| NIHF + 0000000000000000 & 0000000000000000 = 0000000000000000 (cc=0) |
| NIHF + 0000000000000001 & 0000000000000000 = 0000000000000001 (cc=0) |
| NIHF + 000000000000FFFF & 0000000000000000 = 000000000000FFFF (cc=0) |
| NIHF + 0000000000007FFF & 0000000000000000 = 0000000000007FFF (cc=0) |
| NIHF + 0000000000008000 & 0000000000000000 = 0000000000008000 (cc=0) |
| NIHF + 00000000FFFFFFFF & 0000000000000000 = 00000000FFFFFFFF (cc=0) |
| NIHF + 0000000080000000 & 0000000000000000 = 0000000080000000 (cc=0) |
| NIHF + 000000007FFFFFFF & 0000000000000000 = 000000007FFFFFFF (cc=0) |
| NIHF + AAAAAAAAAAAAAAAA & 0000000000000000 = 00000000AAAAAAAA (cc=0) |
| NIHF + 8000000000000000 & 0000000000000000 = 0000000000000000 (cc=0) |
| NIHF + FFFFFFFFFFFFFFFF & 0000000000000000 = 00000000FFFFFFFF (cc=0) |
| NIHF + 5555555555555555 & 0000000000000000 = 0000000055555555 (cc=0) |
| NIHF + 0000000000000000 & 00000000000000FF = 0000000000000000 (cc=0) |
| NIHF + 0000000000000001 & 00000000000000FF = 0000000000000001 (cc=0) |
| NIHF + 000000000000FFFF & 00000000000000FF = 000000000000FFFF (cc=0) |
| NIHF + 0000000000007FFF & 00000000000000FF = 0000000000007FFF (cc=0) |
| NIHF + 0000000000008000 & 00000000000000FF = 0000000000008000 (cc=0) |
| NIHF + 00000000FFFFFFFF & 00000000000000FF = 00000000FFFFFFFF (cc=0) |
| NIHF + 0000000080000000 & 00000000000000FF = 0000000080000000 (cc=0) |
| NIHF + 000000007FFFFFFF & 00000000000000FF = 000000007FFFFFFF (cc=0) |
| NIHF + AAAAAAAAAAAAAAAA & 00000000000000FF = 000000AAAAAAAAAA (cc=1) |
| NIHF + 8000000000000000 & 00000000000000FF = 0000000000000000 (cc=0) |
| NIHF + FFFFFFFFFFFFFFFF & 00000000000000FF = 000000FFFFFFFFFF (cc=1) |
| NIHF + 5555555555555555 & 00000000000000FF = 0000005555555555 (cc=1) |
| NIHF + 0000000000000000 & 0000000000000055 = 0000000000000000 (cc=0) |
| NIHF + 0000000000000001 & 0000000000000055 = 0000000000000001 (cc=0) |
| NIHF + 000000000000FFFF & 0000000000000055 = 000000000000FFFF (cc=0) |
| NIHF + 0000000000007FFF & 0000000000000055 = 0000000000007FFF (cc=0) |
| NIHF + 0000000000008000 & 0000000000000055 = 0000000000008000 (cc=0) |
| NIHF + 00000000FFFFFFFF & 0000000000000055 = 00000000FFFFFFFF (cc=0) |
| NIHF + 0000000080000000 & 0000000000000055 = 0000000080000000 (cc=0) |
| NIHF + 000000007FFFFFFF & 0000000000000055 = 000000007FFFFFFF (cc=0) |
| NIHF + AAAAAAAAAAAAAAAA & 0000000000000055 = 00000000AAAAAAAA (cc=0) |
| NIHF + 8000000000000000 & 0000000000000055 = 0000000000000000 (cc=0) |
| NIHF + FFFFFFFFFFFFFFFF & 0000000000000055 = 00000055FFFFFFFF (cc=1) |
| NIHF + 5555555555555555 & 0000000000000055 = 0000005555555555 (cc=1) |
| NIHF + 0000000000000000 & 00000000000000AA = 0000000000000000 (cc=0) |
| NIHF + 0000000000000001 & 00000000000000AA = 0000000000000001 (cc=0) |
| NIHF + 000000000000FFFF & 00000000000000AA = 000000000000FFFF (cc=0) |
| NIHF + 0000000000007FFF & 00000000000000AA = 0000000000007FFF (cc=0) |
| NIHF + 0000000000008000 & 00000000000000AA = 0000000000008000 (cc=0) |
| NIHF + 00000000FFFFFFFF & 00000000000000AA = 00000000FFFFFFFF (cc=0) |
| NIHF + 0000000080000000 & 00000000000000AA = 0000000080000000 (cc=0) |
| NIHF + 000000007FFFFFFF & 00000000000000AA = 000000007FFFFFFF (cc=0) |
| NIHF + AAAAAAAAAAAAAAAA & 00000000000000AA = 000000AAAAAAAAAA (cc=1) |
| NIHF + 8000000000000000 & 00000000000000AA = 0000000000000000 (cc=0) |
| NIHF + FFFFFFFFFFFFFFFF & 00000000000000AA = 000000AAFFFFFFFF (cc=1) |
| NIHF + 5555555555555555 & 00000000000000AA = 0000000055555555 (cc=0) |
| NIHF + 0000000000000000 & 000000000000FFFF = 0000000000000000 (cc=0) |
| NIHF + 0000000000000001 & 000000000000FFFF = 0000000000000001 (cc=0) |
| NIHF + 000000000000FFFF & 000000000000FFFF = 000000000000FFFF (cc=0) |
| NIHF + 0000000000007FFF & 000000000000FFFF = 0000000000007FFF (cc=0) |
| NIHF + 0000000000008000 & 000000000000FFFF = 0000000000008000 (cc=0) |
| NIHF + 00000000FFFFFFFF & 000000000000FFFF = 00000000FFFFFFFF (cc=0) |
| NIHF + 0000000080000000 & 000000000000FFFF = 0000000080000000 (cc=0) |
| NIHF + 000000007FFFFFFF & 000000000000FFFF = 000000007FFFFFFF (cc=0) |
| NIHF + AAAAAAAAAAAAAAAA & 000000000000FFFF = 0000AAAAAAAAAAAA (cc=1) |
| NIHF + 8000000000000000 & 000000000000FFFF = 0000000000000000 (cc=0) |
| NIHF + FFFFFFFFFFFFFFFF & 000000000000FFFF = 0000FFFFFFFFFFFF (cc=1) |
| NIHF + 5555555555555555 & 000000000000FFFF = 0000555555555555 (cc=1) |
| NIHF + 0000000000000000 & 0000000000005555 = 0000000000000000 (cc=0) |
| NIHF + 0000000000000001 & 0000000000005555 = 0000000000000001 (cc=0) |
| NIHF + 000000000000FFFF & 0000000000005555 = 000000000000FFFF (cc=0) |
| NIHF + 0000000000007FFF & 0000000000005555 = 0000000000007FFF (cc=0) |
| NIHF + 0000000000008000 & 0000000000005555 = 0000000000008000 (cc=0) |
| NIHF + 00000000FFFFFFFF & 0000000000005555 = 00000000FFFFFFFF (cc=0) |
| NIHF + 0000000080000000 & 0000000000005555 = 0000000080000000 (cc=0) |
| NIHF + 000000007FFFFFFF & 0000000000005555 = 000000007FFFFFFF (cc=0) |
| NIHF + AAAAAAAAAAAAAAAA & 0000000000005555 = 00000000AAAAAAAA (cc=0) |
| NIHF + 8000000000000000 & 0000000000005555 = 0000000000000000 (cc=0) |
| NIHF + FFFFFFFFFFFFFFFF & 0000000000005555 = 00005555FFFFFFFF (cc=1) |
| NIHF + 5555555555555555 & 0000000000005555 = 0000555555555555 (cc=1) |
| NIHF + 0000000000000000 & 000000000000AAAA = 0000000000000000 (cc=0) |
| NIHF + 0000000000000001 & 000000000000AAAA = 0000000000000001 (cc=0) |
| NIHF + 000000000000FFFF & 000000000000AAAA = 000000000000FFFF (cc=0) |
| NIHF + 0000000000007FFF & 000000000000AAAA = 0000000000007FFF (cc=0) |
| NIHF + 0000000000008000 & 000000000000AAAA = 0000000000008000 (cc=0) |
| NIHF + 00000000FFFFFFFF & 000000000000AAAA = 00000000FFFFFFFF (cc=0) |
| NIHF + 0000000080000000 & 000000000000AAAA = 0000000080000000 (cc=0) |
| NIHF + 000000007FFFFFFF & 000000000000AAAA = 000000007FFFFFFF (cc=0) |
| NIHF + AAAAAAAAAAAAAAAA & 000000000000AAAA = 0000AAAAAAAAAAAA (cc=1) |
| NIHF + 8000000000000000 & 000000000000AAAA = 0000000000000000 (cc=0) |
| NIHF + FFFFFFFFFFFFFFFF & 000000000000AAAA = 0000AAAAFFFFFFFF (cc=1) |
| NIHF + 5555555555555555 & 000000000000AAAA = 0000000055555555 (cc=0) |
| NIHF + 0000000000000000 & 00000000FFFF0000 = 0000000000000000 (cc=0) |
| NIHF + 0000000000000001 & 00000000FFFF0000 = 0000000000000001 (cc=0) |
| NIHF + 000000000000FFFF & 00000000FFFF0000 = 000000000000FFFF (cc=0) |
| NIHF + 0000000000007FFF & 00000000FFFF0000 = 0000000000007FFF (cc=0) |
| NIHF + 0000000000008000 & 00000000FFFF0000 = 0000000000008000 (cc=0) |
| NIHF + 00000000FFFFFFFF & 00000000FFFF0000 = 00000000FFFFFFFF (cc=0) |
| NIHF + 0000000080000000 & 00000000FFFF0000 = 0000000080000000 (cc=0) |
| NIHF + 000000007FFFFFFF & 00000000FFFF0000 = 000000007FFFFFFF (cc=0) |
| NIHF + AAAAAAAAAAAAAAAA & 00000000FFFF0000 = AAAA0000AAAAAAAA (cc=1) |
| NIHF + 8000000000000000 & 00000000FFFF0000 = 8000000000000000 (cc=1) |
| NIHF + FFFFFFFFFFFFFFFF & 00000000FFFF0000 = FFFF0000FFFFFFFF (cc=1) |
| NIHF + 5555555555555555 & 00000000FFFF0000 = 5555000055555555 (cc=1) |
| NIHF + 0000000000000000 & 0000000055550000 = 0000000000000000 (cc=0) |
| NIHF + 0000000000000001 & 0000000055550000 = 0000000000000001 (cc=0) |
| NIHF + 000000000000FFFF & 0000000055550000 = 000000000000FFFF (cc=0) |
| NIHF + 0000000000007FFF & 0000000055550000 = 0000000000007FFF (cc=0) |
| NIHF + 0000000000008000 & 0000000055550000 = 0000000000008000 (cc=0) |
| NIHF + 00000000FFFFFFFF & 0000000055550000 = 00000000FFFFFFFF (cc=0) |
| NIHF + 0000000080000000 & 0000000055550000 = 0000000080000000 (cc=0) |
| NIHF + 000000007FFFFFFF & 0000000055550000 = 000000007FFFFFFF (cc=0) |
| NIHF + AAAAAAAAAAAAAAAA & 0000000055550000 = 00000000AAAAAAAA (cc=0) |
| NIHF + 8000000000000000 & 0000000055550000 = 0000000000000000 (cc=0) |
| NIHF + FFFFFFFFFFFFFFFF & 0000000055550000 = 55550000FFFFFFFF (cc=1) |
| NIHF + 5555555555555555 & 0000000055550000 = 5555000055555555 (cc=1) |
| NIHF + 0000000000000000 & 00000000AAAA0000 = 0000000000000000 (cc=0) |
| NIHF + 0000000000000001 & 00000000AAAA0000 = 0000000000000001 (cc=0) |
| NIHF + 000000000000FFFF & 00000000AAAA0000 = 000000000000FFFF (cc=0) |
| NIHF + 0000000000007FFF & 00000000AAAA0000 = 0000000000007FFF (cc=0) |
| NIHF + 0000000000008000 & 00000000AAAA0000 = 0000000000008000 (cc=0) |
| NIHF + 00000000FFFFFFFF & 00000000AAAA0000 = 00000000FFFFFFFF (cc=0) |
| NIHF + 0000000080000000 & 00000000AAAA0000 = 0000000080000000 (cc=0) |
| NIHF + 000000007FFFFFFF & 00000000AAAA0000 = 000000007FFFFFFF (cc=0) |
| NIHF + AAAAAAAAAAAAAAAA & 00000000AAAA0000 = AAAA0000AAAAAAAA (cc=1) |
| NIHF + 8000000000000000 & 00000000AAAA0000 = 8000000000000000 (cc=1) |
| NIHF + FFFFFFFFFFFFFFFF & 00000000AAAA0000 = AAAA0000FFFFFFFF (cc=1) |
| NIHF + 5555555555555555 & 00000000AAAA0000 = 0000000055555555 (cc=0) |
| NIHF + 0000000000000000 & 00000000FFFFFFFF = 0000000000000000 (cc=0) |
| NIHF + 0000000000000001 & 00000000FFFFFFFF = 0000000000000001 (cc=0) |
| NIHF + 000000000000FFFF & 00000000FFFFFFFF = 000000000000FFFF (cc=0) |
| NIHF + 0000000000007FFF & 00000000FFFFFFFF = 0000000000007FFF (cc=0) |
| NIHF + 0000000000008000 & 00000000FFFFFFFF = 0000000000008000 (cc=0) |
| NIHF + 00000000FFFFFFFF & 00000000FFFFFFFF = 00000000FFFFFFFF (cc=0) |
| NIHF + 0000000080000000 & 00000000FFFFFFFF = 0000000080000000 (cc=0) |
| NIHF + 000000007FFFFFFF & 00000000FFFFFFFF = 000000007FFFFFFF (cc=0) |
| NIHF + AAAAAAAAAAAAAAAA & 00000000FFFFFFFF = AAAAAAAAAAAAAAAA (cc=1) |
| NIHF + 8000000000000000 & 00000000FFFFFFFF = 8000000000000000 (cc=1) |
| NIHF + FFFFFFFFFFFFFFFF & 00000000FFFFFFFF = FFFFFFFFFFFFFFFF (cc=1) |
| NIHF + 5555555555555555 & 00000000FFFFFFFF = 5555555555555555 (cc=1) |
| NIHF + 0000000000000000 & 0000000055555555 = 0000000000000000 (cc=0) |
| NIHF + 0000000000000001 & 0000000055555555 = 0000000000000001 (cc=0) |
| NIHF + 000000000000FFFF & 0000000055555555 = 000000000000FFFF (cc=0) |
| NIHF + 0000000000007FFF & 0000000055555555 = 0000000000007FFF (cc=0) |
| NIHF + 0000000000008000 & 0000000055555555 = 0000000000008000 (cc=0) |
| NIHF + 00000000FFFFFFFF & 0000000055555555 = 00000000FFFFFFFF (cc=0) |
| NIHF + 0000000080000000 & 0000000055555555 = 0000000080000000 (cc=0) |
| NIHF + 000000007FFFFFFF & 0000000055555555 = 000000007FFFFFFF (cc=0) |
| NIHF + AAAAAAAAAAAAAAAA & 0000000055555555 = 00000000AAAAAAAA (cc=0) |
| NIHF + 8000000000000000 & 0000000055555555 = 0000000000000000 (cc=0) |
| NIHF + FFFFFFFFFFFFFFFF & 0000000055555555 = 55555555FFFFFFFF (cc=1) |
| NIHF + 5555555555555555 & 0000000055555555 = 5555555555555555 (cc=1) |
| NIHF + 0000000000000000 & 00000000AAAAAAAA = 0000000000000000 (cc=0) |
| NIHF + 0000000000000001 & 00000000AAAAAAAA = 0000000000000001 (cc=0) |
| NIHF + 000000000000FFFF & 00000000AAAAAAAA = 000000000000FFFF (cc=0) |
| NIHF + 0000000000007FFF & 00000000AAAAAAAA = 0000000000007FFF (cc=0) |
| NIHF + 0000000000008000 & 00000000AAAAAAAA = 0000000000008000 (cc=0) |
| NIHF + 00000000FFFFFFFF & 00000000AAAAAAAA = 00000000FFFFFFFF (cc=0) |
| NIHF + 0000000080000000 & 00000000AAAAAAAA = 0000000080000000 (cc=0) |
| NIHF + 000000007FFFFFFF & 00000000AAAAAAAA = 000000007FFFFFFF (cc=0) |
| NIHF + AAAAAAAAAAAAAAAA & 00000000AAAAAAAA = AAAAAAAAAAAAAAAA (cc=1) |
| NIHF + 8000000000000000 & 00000000AAAAAAAA = 8000000000000000 (cc=1) |
| NIHF + FFFFFFFFFFFFFFFF & 00000000AAAAAAAA = AAAAAAAAFFFFFFFF (cc=1) |
| NIHF + 5555555555555555 & 00000000AAAAAAAA = 0000000055555555 (cc=0) |
