XIHF 0000000000000000 ^ 0000000000000000 = 0000000000000000 (cc=0)
XIHF 0000000000000001 ^ 0000000000000000 = 0000000000000001 (cc=0)
XIHF 000000000000FFFF ^ 0000000000000000 = 000000000000FFFF (cc=0)
XIHF 0000000000007FFF ^ 0000000000000000 = 0000000000007FFF (cc=0)
XIHF 0000000000008000 ^ 0000000000000000 = 0000000000008000 (cc=0)
XIHF 00000000FFFFFFFF ^ 0000000000000000 = 00000000FFFFFFFF (cc=0)
XIHF 0000000080000000 ^ 0000000000000000 = 0000000080000000 (cc=0)
XIHF 000000007FFFFFFF ^ 0000000000000000 = 000000007FFFFFFF (cc=0)
XIHF AAAAAAAAAAAAAAAA ^ 0000000000000000 = AAAAAAAAAAAAAAAA (cc=1)
XIHF 8000000000000000 ^ 0000000000000000 = 8000000000000000 (cc=1)
XIHF FFFFFFFFFFFFFFFF ^ 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
XIHF 5555555555555555 ^ 0000000000000000 = 5555555555555555 (cc=1)
XIHF 0000000000000000 ^ 00000000000000FF = 000000FF00000000 (cc=1)
XIHF 0000000000000001 ^ 00000000000000FF = 000000FF00000001 (cc=1)
XIHF 000000000000FFFF ^ 00000000000000FF = 000000FF0000FFFF (cc=1)
XIHF 0000000000007FFF ^ 00000000000000FF = 000000FF00007FFF (cc=1)
XIHF 0000000000008000 ^ 00000000000000FF = 000000FF00008000 (cc=1)
XIHF 00000000FFFFFFFF ^ 00000000000000FF = 000000FFFFFFFFFF (cc=1)
XIHF 0000000080000000 ^ 00000000000000FF = 000000FF80000000 (cc=1)
XIHF 000000007FFFFFFF ^ 00000000000000FF = 000000FF7FFFFFFF (cc=1)
XIHF AAAAAAAAAAAAAAAA ^ 00000000000000FF = AAAAAA55AAAAAAAA (cc=1)
XIHF 8000000000000000 ^ 00000000000000FF = 800000FF00000000 (cc=1)
XIHF FFFFFFFFFFFFFFFF ^ 00000000000000FF = FFFFFF00FFFFFFFF (cc=1)
XIHF 5555555555555555 ^ 00000000000000FF = 555555AA55555555 (cc=1)
XIHF 0000000000000000 ^ 0000000000000055 = 0000005500000000 (cc=1)
XIHF 0000000000000001 ^ 0000000000000055 = 0000005500000001 (cc=1)
XIHF 000000000000FFFF ^ 0000000000000055 = 000000550000FFFF (cc=1)
XIHF 0000000000007FFF ^ 0000000000000055 = 0000005500007FFF (cc=1)
XIHF 0000000000008000 ^ 0000000000000055 = 0000005500008000 (cc=1)
XIHF 00000000FFFFFFFF ^ 0000000000000055 = 00000055FFFFFFFF (cc=1)
XIHF 0000000080000000 ^ 0000000000000055 = 0000005580000000 (cc=1)
XIHF 000000007FFFFFFF ^ 0000000000000055 = 000000557FFFFFFF (cc=1)
XIHF AAAAAAAAAAAAAAAA ^ 0000000000000055 = AAAAAAFFAAAAAAAA (cc=1)
XIHF 8000000000000000 ^ 0000000000000055 = 8000005500000000 (cc=1)
XIHF FFFFFFFFFFFFFFFF ^ 0000000000000055 = FFFFFFAAFFFFFFFF (cc=1)
XIHF 5555555555555555 ^ 0000000000000055 = 5555550055555555 (cc=1)
XIHF 0000000000000000 ^ 00000000000000AA = 000000AA00000000 (cc=1)
XIHF 0000000000000001 ^ 00000000000000AA = 000000AA00000001 (cc=1)
XIHF 000000000000FFFF ^ 00000000000000AA = 000000AA0000FFFF (cc=1)
XIHF 0000000000007FFF ^ 00000000000000AA = 000000AA00007FFF (cc=1)
XIHF 0000000000008000 ^ 00000000000000AA = 000000AA00008000 (cc=1)
XIHF 00000000FFFFFFFF ^ 00000000000000AA = 000000AAFFFFFFFF (cc=1)
XIHF 0000000080000000 ^ 00000000000000AA = 000000AA80000000 (cc=1)
XIHF 000000007FFFFFFF ^ 00000000000000AA = 000000AA7FFFFFFF (cc=1)
XIHF AAAAAAAAAAAAAAAA ^ 00000000000000AA = AAAAAA00AAAAAAAA (cc=1)
XIHF 8000000000000000 ^ 00000000000000AA = 800000AA00000000 (cc=1)
XIHF FFFFFFFFFFFFFFFF ^ 00000000000000AA = FFFFFF55FFFFFFFF (cc=1)
XIHF 5555555555555555 ^ 00000000000000AA = 555555FF55555555 (cc=1)
XIHF 0000000000000000 ^ 000000000000FFFF = 0000FFFF00000000 (cc=1)
XIHF 0000000000000001 ^ 000000000000FFFF = 0000FFFF00000001 (cc=1)
XIHF 000000000000FFFF ^ 000000000000FFFF = 0000FFFF0000FFFF (cc=1)
XIHF 0000000000007FFF ^ 000000000000FFFF = 0000FFFF00007FFF (cc=1)
XIHF 0000000000008000 ^ 000000000000FFFF = 0000FFFF00008000 (cc=1)
XIHF 00000000FFFFFFFF ^ 000000000000FFFF = 0000FFFFFFFFFFFF (cc=1)
XIHF 0000000080000000 ^ 000000000000FFFF = 0000FFFF80000000 (cc=1)
XIHF 000000007FFFFFFF ^ 000000000000FFFF = 0000FFFF7FFFFFFF (cc=1)
XIHF AAAAAAAAAAAAAAAA ^ 000000000000FFFF = AAAA5555AAAAAAAA (cc=1)
XIHF 8000000000000000 ^ 000000000000FFFF = 8000FFFF00000000 (cc=1)
XIHF FFFFFFFFFFFFFFFF ^ 000000000000FFFF = FFFF0000FFFFFFFF (cc=1)
XIHF 5555555555555555 ^ 000000000000FFFF = 5555AAAA55555555 (cc=1)
XIHF 0000000000000000 ^ 0000000000005555 = 0000555500000000 (cc=1)
XIHF 0000000000000001 ^ 0000000000005555 = 0000555500000001 (cc=1)
XIHF 000000000000FFFF ^ 0000000000005555 = 000055550000FFFF (cc=1)
XIHF 0000000000007FFF ^ 0000000000005555 = 0000555500007FFF (cc=1)
XIHF 0000000000008000 ^ 0000000000005555 = 0000555500008000 (cc=1)
XIHF 00000000FFFFFFFF ^ 0000000000005555 = 00005555FFFFFFFF (cc=1)
XIHF 0000000080000000 ^ 0000000000005555 = 0000555580000000 (cc=1)
XIHF 000000007FFFFFFF ^ 0000000000005555 = 000055557FFFFFFF (cc=1)
XIHF AAAAAAAAAAAAAAAA ^ 0000000000005555 = AAAAFFFFAAAAAAAA (cc=1)
XIHF 8000000000000000 ^ 0000000000005555 = 8000555500000000 (cc=1)
XIHF FFFFFFFFFFFFFFFF ^ 0000000000005555 = FFFFAAAAFFFFFFFF (cc=1)
XIHF 5555555555555555 ^ 0000000000005555 = 5555000055555555 (cc=1)
XIHF 0000000000000000 ^ 000000000000AAAA = 0000AAAA00000000 (cc=1)
XIHF 0000000000000001 ^ 000000000000AAAA = 0000AAAA00000001 (cc=1)
XIHF 000000000000FFFF ^ 000000000000AAAA = 0000AAAA0000FFFF (cc=1)
XIHF 0000000000007FFF ^ 000000000000AAAA = 0000AAAA00007FFF (cc=1)
XIHF 0000000000008000 ^ 000000000000AAAA = 0000AAAA00008000 (cc=1)
XIHF 00000000FFFFFFFF ^ 000000000000AAAA = 0000AAAAFFFFFFFF (cc=1)
XIHF 0000000080000000 ^ 000000000000AAAA = 0000AAAA80000000 (cc=1)
XIHF 000000007FFFFFFF ^ 000000000000AAAA = 0000AAAA7FFFFFFF (cc=1)
XIHF AAAAAAAAAAAAAAAA ^ 000000000000AAAA = AAAA0000AAAAAAAA (cc=1)
XIHF 8000000000000000 ^ 000000000000AAAA = 8000AAAA00000000 (cc=1)
XIHF FFFFFFFFFFFFFFFF ^ 000000000000AAAA = FFFF5555FFFFFFFF (cc=1)
XIHF 5555555555555555 ^ 000000000000AAAA = 5555FFFF55555555 (cc=1)
XIHF 0000000000000000 ^ 00000000FFFF0000 = FFFF000000000000 (cc=1)
XIHF 0000000000000001 ^ 00000000FFFF0000 = FFFF000000000001 (cc=1)
XIHF 000000000000FFFF ^ 00000000FFFF0000 = FFFF00000000FFFF (cc=1)
XIHF 0000000000007FFF ^ 00000000FFFF0000 = FFFF000000007FFF (cc=1)
XIHF 0000000000008000 ^ 00000000FFFF0000 = FFFF000000008000 (cc=1)
XIHF 00000000FFFFFFFF ^ 00000000FFFF0000 = FFFF0000FFFFFFFF (cc=1)
XIHF 0000000080000000 ^ 00000000FFFF0000 = FFFF000080000000 (cc=1)
XIHF 000000007FFFFFFF ^ 00000000FFFF0000 = FFFF00007FFFFFFF (cc=1)
XIHF AAAAAAAAAAAAAAAA ^ 00000000FFFF0000 = 5555AAAAAAAAAAAA (cc=1)
XIHF 8000000000000000 ^ 00000000FFFF0000 = 7FFF000000000000 (cc=1)
XIHF FFFFFFFFFFFFFFFF ^ 00000000FFFF0000 = 0000FFFFFFFFFFFF (cc=1)
XIHF 5555555555555555 ^ 00000000FFFF0000 = AAAA555555555555 (cc=1)
XIHF 0000000000000000 ^ 0000000055550000 = 5555000000000000 (cc=1)
XIHF 0000000000000001 ^ 0000000055550000 = 5555000000000001 (cc=1)
XIHF 000000000000FFFF ^ 0000000055550000 = 555500000000FFFF (cc=1)
XIHF 0000000000007FFF ^ 0000000055550000 = 5555000000007FFF (cc=1)
XIHF 0000000000008000 ^ 0000000055550000 = 5555000000008000 (cc=1)
XIHF 00000000FFFFFFFF ^ 0000000055550000 = 55550000FFFFFFFF (cc=1)
XIHF 0000000080000000 ^ 0000000055550000 = 5555000080000000 (cc=1)
XIHF 000000007FFFFFFF ^ 0000000055550000 = 555500007FFFFFFF (cc=1)
XIHF AAAAAAAAAAAAAAAA ^ 0000000055550000 = FFFFAAAAAAAAAAAA (cc=1)
XIHF 8000000000000000 ^ 0000000055550000 = D555000000000000 (cc=1)
XIHF FFFFFFFFFFFFFFFF ^ 0000000055550000 = AAAAFFFFFFFFFFFF (cc=1)
XIHF 5555555555555555 ^ 0000000055550000 = 0000555555555555 (cc=1)
XIHF 0000000000000000 ^ 00000000AAAA0000 = AAAA000000000000 (cc=1)
XIHF 0000000000000001 ^ 00000000AAAA0000 = AAAA000000000001 (cc=1)
XIHF 000000000000FFFF ^ 00000000AAAA0000 = AAAA00000000FFFF (cc=1)
XIHF 0000000000007FFF ^ 00000000AAAA0000 = AAAA000000007FFF (cc=1)
XIHF 0000000000008000 ^ 00000000AAAA0000 = AAAA000000008000 (cc=1)
XIHF 00000000FFFFFFFF ^ 00000000AAAA0000 = AAAA0000FFFFFFFF (cc=1)
XIHF 0000000080000000 ^ 00000000AAAA0000 = AAAA000080000000 (cc=1)
XIHF 000000007FFFFFFF ^ 00000000AAAA0000 = AAAA00007FFFFFFF (cc=1)
XIHF AAAAAAAAAAAAAAAA ^ 00000000AAAA0000 = 0000AAAAAAAAAAAA (cc=1)
XIHF 8000000000000000 ^ 00000000AAAA0000 = 2AAA000000000000 (cc=1)
XIHF FFFFFFFFFFFFFFFF ^ 00000000AAAA0000 = 5555FFFFFFFFFFFF (cc=1)
XIHF 5555555555555555 ^ 00000000AAAA0000 = FFFF555555555555 (cc=1)
XIHF 0000000000000000 ^ 00000000FFFFFFFF = FFFFFFFF00000000 (cc=1)
XIHF 0000000000000001 ^ 00000000FFFFFFFF = FFFFFFFF00000001 (cc=1)
XIHF 000000000000FFFF ^ 00000000FFFFFFFF = FFFFFFFF0000FFFF (cc=1)
XIHF 0000000000007FFF ^ 00000000FFFFFFFF = FFFFFFFF00007FFF (cc=1)
XIHF 0000000000008000 ^ 00000000FFFFFFFF = FFFFFFFF00008000 (cc=1)
XIHF 00000000FFFFFFFF ^ 00000000FFFFFFFF = FFFFFFFFFFFFFFFF (cc=1)
XIHF 0000000080000000 ^ 00000000FFFFFFFF = FFFFFFFF80000000 (cc=1)
XIHF 000000007FFFFFFF ^ 00000000FFFFFFFF = FFFFFFFF7FFFFFFF (cc=1)
XIHF AAAAAAAAAAAAAAAA ^ 00000000FFFFFFFF = 55555555AAAAAAAA (cc=1)
XIHF 8000000000000000 ^ 00000000FFFFFFFF = 7FFFFFFF00000000 (cc=1)
XIHF FFFFFFFFFFFFFFFF ^ 00000000FFFFFFFF = 00000000FFFFFFFF (cc=0)
XIHF 5555555555555555 ^ 00000000FFFFFFFF = AAAAAAAA55555555 (cc=1)
XIHF 0000000000000000 ^ 0000000055555555 = 5555555500000000 (cc=1)
XIHF 0000000000000001 ^ 0000000055555555 = 5555555500000001 (cc=1)
XIHF 000000000000FFFF ^ 0000000055555555 = 555555550000FFFF (cc=1)
XIHF 0000000000007FFF ^ 0000000055555555 = 5555555500007FFF (cc=1)
XIHF 0000000000008000 ^ 0000000055555555 = 5555555500008000 (cc=1)
XIHF 00000000FFFFFFFF ^ 0000000055555555 = 55555555FFFFFFFF (cc=1)
XIHF 0000000080000000 ^ 0000000055555555 = 5555555580000000 (cc=1)
XIHF 000000007FFFFFFF ^ 0000000055555555 = 555555557FFFFFFF (cc=1)
XIHF AAAAAAAAAAAAAAAA ^ 0000000055555555 = FFFFFFFFAAAAAAAA (cc=1)
XIHF 8000000000000000 ^ 0000000055555555 = D555555500000000 (cc=1)
XIHF FFFFFFFFFFFFFFFF ^ 0000000055555555 = AAAAAAAAFFFFFFFF (cc=1)
XIHF 5555555555555555 ^ 0000000055555555 = 0000000055555555 (cc=0)
XIHF 0000000000000000 ^ 00000000AAAAAAAA = AAAAAAAA00000000 (cc=1)
XIHF 0000000000000001 ^ 00000000AAAAAAAA = AAAAAAAA00000001 (cc=1)
XIHF 000000000000FFFF ^ 00000000AAAAAAAA = AAAAAAAA0000FFFF (cc=1)
XIHF 0000000000007FFF ^ 00000000AAAAAAAA = AAAAAAAA00007FFF (cc=1)
XIHF 0000000000008000 ^ 00000000AAAAAAAA = AAAAAAAA00008000 (cc=1)
XIHF 00000000FFFFFFFF ^ 00000000AAAAAAAA = AAAAAAAAFFFFFFFF (cc=1)
XIHF 0000000080000000 ^ 00000000AAAAAAAA = AAAAAAAA80000000 (cc=1)
XIHF 000000007FFFFFFF ^ 00000000AAAAAAAA = AAAAAAAA7FFFFFFF (cc=1)
XIHF AAAAAAAAAAAAAAAA ^ 00000000AAAAAAAA = 00000000AAAAAAAA (cc=0)
XIHF 8000000000000000 ^ 00000000AAAAAAAA = 2AAAAAAA00000000 (cc=1)
XIHF FFFFFFFFFFFFFFFF ^ 00000000AAAAAAAA = 55555555FFFFFFFF (cc=1)
XIHF 5555555555555555 ^ 00000000AAAAAAAA = FFFFFFFF55555555 (cc=1)
XILF 0000000000000000 ^ 0000000000000000 = 0000000000000000 (cc=0)
XILF 0000000000000001 ^ 0000000000000000 = 0000000000000001 (cc=1)
XILF 000000000000FFFF ^ 0000000000000000 = 000000000000FFFF (cc=1)
XILF 0000000000007FFF ^ 0000000000000000 = 0000000000007FFF (cc=1)
XILF 0000000000008000 ^ 0000000000000000 = 0000000000008000 (cc=1)
XILF 00000000FFFFFFFF ^ 0000000000000000 = 00000000FFFFFFFF (cc=1)
XILF 0000000080000000 ^ 0000000000000000 = 0000000080000000 (cc=1)
XILF 000000007FFFFFFF ^ 0000000000000000 = 000000007FFFFFFF (cc=1)
XILF AAAAAAAAAAAAAAAA ^ 0000000000000000 = AAAAAAAAAAAAAAAA (cc=1)
XILF 8000000000000000 ^ 0000000000000000 = 8000000000000000 (cc=0)
XILF FFFFFFFFFFFFFFFF ^ 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
XILF 5555555555555555 ^ 0000000000000000 = 5555555555555555 (cc=1)
XILF 0000000000000000 ^ 00000000000000FF = 00000000000000FF (cc=1)
XILF 0000000000000001 ^ 00000000000000FF = 00000000000000FE (cc=1)
XILF 000000000000FFFF ^ 00000000000000FF = 000000000000FF00 (cc=1)
XILF 0000000000007FFF ^ 00000000000000FF = 0000000000007F00 (cc=1)
XILF 0000000000008000 ^ 00000000000000FF = 00000000000080FF (cc=1)
XILF 00000000FFFFFFFF ^ 00000000000000FF = 00000000FFFFFF00 (cc=1)
XILF 0000000080000000 ^ 00000000000000FF = 00000000800000FF (cc=1)
XILF 000000007FFFFFFF ^ 00000000000000FF = 000000007FFFFF00 (cc=1)
XILF AAAAAAAAAAAAAAAA ^ 00000000000000FF = AAAAAAAAAAAAAA55 (cc=1)
XILF 8000000000000000 ^ 00000000000000FF = 80000000000000FF (cc=1)
XILF FFFFFFFFFFFFFFFF ^ 00000000000000FF = FFFFFFFFFFFFFF00 (cc=1)
XILF 5555555555555555 ^ 00000000000000FF = 55555555555555AA (cc=1)
XILF 0000000000000000 ^ 0000000000000055 = 0000000000000055 (cc=1)
XILF 0000000000000001 ^ 0000000000000055 = 0000000000000054 (cc=1)
XILF 000000000000FFFF ^ 0000000000000055 = 000000000000FFAA (cc=1)
XILF 0000000000007FFF ^ 0000000000000055 = 0000000000007FAA (cc=1)
XILF 0000000000008000 ^ 0000000000000055 = 0000000000008055 (cc=1)
XILF 00000000FFFFFFFF ^ 0000000000000055 = 00000000FFFFFFAA (cc=1)
XILF 0000000080000000 ^ 0000000000000055 = 0000000080000055 (cc=1)
XILF 000000007FFFFFFF ^ 0000000000000055 = 000000007FFFFFAA (cc=1)
XILF AAAAAAAAAAAAAAAA ^ 0000000000000055 = AAAAAAAAAAAAAAFF (cc=1)
XILF 8000000000000000 ^ 0000000000000055 = 8000000000000055 (cc=1)
XILF FFFFFFFFFFFFFFFF ^ 0000000000000055 = FFFFFFFFFFFFFFAA (cc=1)
XILF 5555555555555555 ^ 0000000000000055 = 5555555555555500 (cc=1)
XILF 0000000000000000 ^ 00000000000000AA = 00000000000000AA (cc=1)
XILF 0000000000000001 ^ 00000000000000AA = 00000000000000AB (cc=1)
XILF 000000000000FFFF ^ 00000000000000AA = 000000000000FF55 (cc=1)
XILF 0000000000007FFF ^ 00000000000000AA = 0000000000007F55 (cc=1)
XILF 0000000000008000 ^ 00000000000000AA = 00000000000080AA (cc=1)
XILF 00000000FFFFFFFF ^ 00000000000000AA = 00000000FFFFFF55 (cc=1)
XILF 0000000080000000 ^ 00000000000000AA = 00000000800000AA (cc=1)
XILF 000000007FFFFFFF ^ 00000000000000AA = 000000007FFFFF55 (cc=1)
XILF AAAAAAAAAAAAAAAA ^ 00000000000000AA = AAAAAAAAAAAAAA00 (cc=1)
XILF 8000000000000000 ^ 00000000000000AA = 80000000000000AA (cc=1)
XILF FFFFFFFFFFFFFFFF ^ 00000000000000AA = FFFFFFFFFFFFFF55 (cc=1)
XILF 5555555555555555 ^ 00000000000000AA = 55555555555555FF (cc=1)
XILF 0000000000000000 ^ 000000000000FFFF = 000000000000FFFF (cc=1)
XILF 0000000000000001 ^ 000000000000FFFF = 000000000000FFFE (cc=1)
XILF 000000000000FFFF ^ 000000000000FFFF = 0000000000000000 (cc=0)
XILF 0000000000007FFF ^ 000000000000FFFF = 0000000000008000 (cc=1)
XILF 0000000000008000 ^ 000000000000FFFF = 0000000000007FFF (cc=1)
XILF 00000000FFFFFFFF ^ 000000000000FFFF = 00000000FFFF0000 (cc=1)
XILF 0000000080000000 ^ 000000000000FFFF = 000000008000FFFF (cc=1)
XILF 000000007FFFFFFF ^ 000000000000FFFF = 000000007FFF0000 (cc=1)
XILF AAAAAAAAAAAAAAAA ^ 000000000000FFFF = AAAAAAAAAAAA5555 (cc=1)
XILF 8000000000000000 ^ 000000000000FFFF = 800000000000FFFF (cc=1)
XILF FFFFFFFFFFFFFFFF ^ 000000000000FFFF = FFFFFFFFFFFF0000 (cc=1)
XILF 5555555555555555 ^ 000000000000FFFF = 555555555555AAAA (cc=1)
XILF 0000000000000000 ^ 0000000000005555 = 0000000000005555 (cc=1)
XILF 0000000000000001 ^ 0000000000005555 = 0000000000005554 (cc=1)
XILF 000000000000FFFF ^ 0000000000005555 = 000000000000AAAA (cc=1)
XILF 0000000000007FFF ^ 0000000000005555 = 0000000000002AAA (cc=1)
XILF 0000000000008000 ^ 0000000000005555 = 000000000000D555 (cc=1)
XILF 00000000FFFFFFFF ^ 0000000000005555 = 00000000FFFFAAAA (cc=1)
XILF 0000000080000000 ^ 0000000000005555 = 0000000080005555 (cc=1)
XILF 000000007FFFFFFF ^ 0000000000005555 = 000000007FFFAAAA (cc=1)
XILF AAAAAAAAAAAAAAAA ^ 0000000000005555 = AAAAAAAAAAAAFFFF (cc=1)
XILF 8000000000000000 ^ 0000000000005555 = 8000000000005555 (cc=1)
XILF FFFFFFFFFFFFFFFF ^ 0000000000005555 = FFFFFFFFFFFFAAAA (cc=1)
XILF 5555555555555555 ^ 0000000000005555 = 5555555555550000 (cc=1)
XILF 0000000000000000 ^ 000000000000AAAA = 000000000000AAAA (cc=1)
XILF 0000000000000001 ^ 000000000000AAAA = 000000000000AAAB (cc=1)
XILF 000000000000FFFF ^ 000000000000AAAA = 0000000000005555 (cc=1)
XILF 0000000000007FFF ^ 000000000000AAAA = 000000000000D555 (cc=1)
XILF 0000000000008000 ^ 000000000000AAAA = 0000000000002AAA (cc=1)
XILF 00000000FFFFFFFF ^ 000000000000AAAA = 00000000FFFF5555 (cc=1)
XILF 0000000080000000 ^ 000000000000AAAA = 000000008000AAAA (cc=1)
XILF 000000007FFFFFFF ^ 000000000000AAAA = 000000007FFF5555 (cc=1)
XILF AAAAAAAAAAAAAAAA ^ 000000000000AAAA = AAAAAAAAAAAA0000 (cc=1)
XILF 8000000000000000 ^ 000000000000AAAA = 800000000000AAAA (cc=1)
XILF FFFFFFFFFFFFFFFF ^ 000000000000AAAA = FFFFFFFFFFFF5555 (cc=1)
XILF 5555555555555555 ^ 000000000000AAAA = 555555555555FFFF (cc=1)
XILF 0000000000000000 ^ 00000000FFFF0000 = 00000000FFFF0000 (cc=1)
XILF 0000000000000001 ^ 00000000FFFF0000 = 00000000FFFF0001 (cc=1)
XILF 000000000000FFFF ^ 00000000FFFF0000 = 00000000FFFFFFFF (cc=1)
XILF 0000000000007FFF ^ 00000000FFFF0000 = 00000000FFFF7FFF (cc=1)
XILF 0000000000008000 ^ 00000000FFFF0000 = 00000000FFFF8000 (cc=1)
XILF 00000000FFFFFFFF ^ 00000000FFFF0000 = 000000000000FFFF (cc=1)
XILF 0000000080000000 ^ 00000000FFFF0000 = 000000007FFF0000 (cc=1)
XILF 000000007FFFFFFF ^ 00000000FFFF0000 = 000000008000FFFF (cc=1)
XILF AAAAAAAAAAAAAAAA ^ 00000000FFFF0000 = AAAAAAAA5555AAAA (cc=1)
XILF 8000000000000000 ^ 00000000FFFF0000 = 80000000FFFF0000 (cc=1)
XILF FFFFFFFFFFFFFFFF ^ 00000000FFFF0000 = FFFFFFFF0000FFFF (cc=1)
XILF 5555555555555555 ^ 00000000FFFF0000 = 55555555AAAA5555 (cc=1)
XILF 0000000000000000 ^ 0000000055550000 = 0000000055550000 (cc=1)
XILF 0000000000000001 ^ 0000000055550000 = 0000000055550001 (cc=1)
XILF 000000000000FFFF ^ 0000000055550000 = 000000005555FFFF (cc=1)
XILF 0000000000007FFF ^ 0000000055550000 = 0000000055557FFF (cc=1)
XILF 0000000000008000 ^ 0000000055550000 = 0000000055558000 (cc=1)
XILF 00000000FFFFFFFF ^ 0000000055550000 = 00000000AAAAFFFF (cc=1)
XILF 0000000080000000 ^ 0000000055550000 = 00000000D5550000 (cc=1)
XILF 000000007FFFFFFF ^ 0000000055550000 = 000000002AAAFFFF (cc=1)
XILF AAAAAAAAAAAAAAAA ^ 0000000055550000 = AAAAAAAAFFFFAAAA (cc=1)
XILF 8000000000000000 ^ 0000000055550000 = 8000000055550000 (cc=1)
XILF FFFFFFFFFFFFFFFF ^ 0000000055550000 = FFFFFFFFAAAAFFFF (cc=1)
XILF 5555555555555555 ^ 0000000055550000 = 5555555500005555 (cc=1)
XILF 0000000000000000 ^ 00000000AAAA0000 = 00000000AAAA0000 (cc=1)
XILF 0000000000000001 ^ 00000000AAAA0000 = 00000000AAAA0001 (cc=1)
XILF 000000000000FFFF ^ 00000000AAAA0000 = 00000000AAAAFFFF (cc=1)
XILF 0000000000007FFF ^ 00000000AAAA0000 = 00000000AAAA7FFF (cc=1)
XILF 0000000000008000 ^ 00000000AAAA0000 = 00000000AAAA8000 (cc=1)
XILF 00000000FFFFFFFF ^ 00000000AAAA0000 = 000000005555FFFF (cc=1)
XILF 0000000080000000 ^ 00000000AAAA0000 = 000000002AAA0000 (cc=1)
XILF 000000007FFFFFFF ^ 00000000AAAA0000 = 00000000D555FFFF (cc=1)
XILF AAAAAAAAAAAAAAAA ^ 00000000AAAA0000 = AAAAAAAA0000AAAA (cc=1)
XILF 8000000000000000 ^ 00000000AAAA0000 = 80000000AAAA0000 (cc=1)
XILF FFFFFFFFFFFFFFFF ^ 00000000AAAA0000 = FFFFFFFF5555FFFF (cc=1)
XILF 5555555555555555 ^ 00000000AAAA0000 = 55555555FFFF5555 (cc=1)
XILF 0000000000000000 ^ 00000000FFFFFFFF = 00000000FFFFFFFF (cc=1)
XILF 0000000000000001 ^ 00000000FFFFFFFF = 00000000FFFFFFFE (cc=1)
XILF 000000000000FFFF ^ 00000000FFFFFFFF = 00000000FFFF0000 (cc=1)
XILF 0000000000007FFF ^ 00000000FFFFFFFF = 00000000FFFF8000 (cc=1)
XILF 0000000000008000 ^ 00000000FFFFFFFF = 00000000FFFF7FFF (cc=1)
XILF 00000000FFFFFFFF ^ 00000000FFFFFFFF = 0000000000000000 (cc=0)
XILF 0000000080000000 ^ 00000000FFFFFFFF = 000000007FFFFFFF (cc=1)
XILF 000000007FFFFFFF ^ 00000000FFFFFFFF = 0000000080000000 (cc=1)
XILF AAAAAAAAAAAAAAAA ^ 00000000FFFFFFFF = AAAAAAAA55555555 (cc=1)
XILF 8000000000000000 ^ 00000000FFFFFFFF = 80000000FFFFFFFF (cc=1)
XILF FFFFFFFFFFFFFFFF ^ 00000000FFFFFFFF = FFFFFFFF00000000 (cc=0)
XILF 5555555555555555 ^ 00000000FFFFFFFF = 55555555AAAAAAAA (cc=1)
XILF 0000000000000000 ^ 0000000055555555 = 0000000055555555 (cc=1)
XILF 0000000000000001 ^ 0000000055555555 = 0000000055555554 (cc=1)
XILF 000000000000FFFF ^ 0000000055555555 = 000000005555AAAA (cc=1)
XILF 0000000000007FFF ^ 0000000055555555 = 0000000055552AAA (cc=1)
XILF 0000000000008000 ^ 0000000055555555 = 000000005555D555 (cc=1)
XILF 00000000FFFFFFFF ^ 0000000055555555 = 00000000AAAAAAAA (cc=1)
XILF 0000000080000000 ^ 0000000055555555 = 00000000D5555555 (cc=1)
XILF 000000007FFFFFFF ^ 0000000055555555 = 000000002AAAAAAA (cc=1)
XILF AAAAAAAAAAAAAAAA ^ 0000000055555555 = AAAAAAAAFFFFFFFF (cc=1)
XILF 8000000000000000 ^ 0000000055555555 = 8000000055555555 (cc=1)
XILF FFFFFFFFFFFFFFFF ^ 0000000055555555 = FFFFFFFFAAAAAAAA (cc=1)
XILF 5555555555555555 ^ 0000000055555555 = 5555555500000000 (cc=0)
XILF 0000000000000000 ^ 00000000AAAAAAAA = 00000000AAAAAAAA (cc=1)
XILF 0000000000000001 ^ 00000000AAAAAAAA = 00000000AAAAAAAB (cc=1)
XILF 000000000000FFFF ^ 00000000AAAAAAAA = 00000000AAAA5555 (cc=1)
XILF 0000000000007FFF ^ 00000000AAAAAAAA = 00000000AAAAD555 (cc=1)
XILF 0000000000008000 ^ 00000000AAAAAAAA = 00000000AAAA2AAA (cc=1)
XILF 00000000FFFFFFFF ^ 00000000AAAAAAAA = 0000000055555555 (cc=1)
XILF 0000000080000000 ^ 00000000AAAAAAAA = 000000002AAAAAAA (cc=1)
XILF 000000007FFFFFFF ^ 00000000AAAAAAAA = 00000000D5555555 (cc=1)
XILF AAAAAAAAAAAAAAAA ^ 00000000AAAAAAAA = AAAAAAAA00000000 (cc=0)
XILF 8000000000000000 ^ 00000000AAAAAAAA = 80000000AAAAAAAA (cc=1)
XILF FFFFFFFFFFFFFFFF ^ 00000000AAAAAAAA = FFFFFFFF55555555 (cc=1)
XILF 5555555555555555 ^ 00000000AAAAAAAA = 55555555FFFFFFFF (cc=1)