x 0000000000000000 ^ 0000000000000000 = 0000000000000000 (cc=0)
x 0000000000000001 ^ 0000000000000000 = 0000000000000001 (cc=1)
x 000000000000FFFF ^ 0000000000000000 = 000000000000FFFF (cc=1)
x 0000000000007FFF ^ 0000000000000000 = 0000000000007FFF (cc=1)
x 0000000000008000 ^ 0000000000000000 = 0000000000008000 (cc=1)
x 00000000FFFFFFFF ^ 0000000000000000 = 00000000FFFFFFFF (cc=1)
x 0000000080000000 ^ 0000000000000000 = 0000000080000000 (cc=1)
x 000000007FFFFFFF ^ 0000000000000000 = 000000007FFFFFFF (cc=1)
x AAAAAAAAAAAAAAAA ^ 0000000000000000 = AAAAAAAAAAAAAAAA (cc=1)
x 8000000000000000 ^ 0000000000000000 = 8000000000000000 (cc=0)
x FFFFFFFFFFFFFFFF ^ 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
x 5555555555555555 ^ 0000000000000000 = 5555555555555555 (cc=1)
xg 0000000000000000 ^ 0000000000000000 = 0000000000000000 (cc=0)
xg 0000000000000001 ^ 0000000000000000 = 0000000000000001 (cc=1)
xg 000000000000FFFF ^ 0000000000000000 = 000000000000FFFF (cc=1)
xg 0000000000007FFF ^ 0000000000000000 = 0000000000007FFF (cc=1)
xg 0000000000008000 ^ 0000000000000000 = 0000000000008000 (cc=1)
xg 00000000FFFFFFFF ^ 0000000000000000 = 00000000FFFFFFFF (cc=1)
xg 0000000080000000 ^ 0000000000000000 = 0000000080000000 (cc=1)
xg 000000007FFFFFFF ^ 0000000000000000 = 000000007FFFFFFF (cc=1)
xg AAAAAAAAAAAAAAAA ^ 0000000000000000 = AAAAAAAAAAAAAAAA (cc=1)
xg 8000000000000000 ^ 0000000000000000 = 8000000000000000 (cc=1)
xg FFFFFFFFFFFFFFFF ^ 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
xg 5555555555555555 ^ 0000000000000000 = 5555555555555555 (cc=1)
xr 0000000000000000 ^ 0000000000000000 = 0000000000000000 (cc=0)
xr 0000000000000001 ^ 0000000000000000 = 0000000000000001 (cc=1)
xr 000000000000FFFF ^ 0000000000000000 = 000000000000FFFF (cc=1)
xr 0000000000007FFF ^ 0000000000000000 = 0000000000007FFF (cc=1)
xr 0000000000008000 ^ 0000000000000000 = 0000000000008000 (cc=1)
xr 00000000FFFFFFFF ^ 0000000000000000 = 00000000FFFFFFFF (cc=1)
xr 0000000080000000 ^ 0000000000000000 = 0000000080000000 (cc=1)
xr 000000007FFFFFFF ^ 0000000000000000 = 000000007FFFFFFF (cc=1)
xr AAAAAAAAAAAAAAAA ^ 0000000000000000 = AAAAAAAAAAAAAAAA (cc=1)
xr 8000000000000000 ^ 0000000000000000 = 8000000000000000 (cc=0)
xr FFFFFFFFFFFFFFFF ^ 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
xr 5555555555555555 ^ 0000000000000000 = 5555555555555555 (cc=1)
xgr 0000000000000000 ^ 0000000000000000 = 0000000000000000 (cc=0)
xgr 0000000000000001 ^ 0000000000000000 = 0000000000000001 (cc=1)
xgr 000000000000FFFF ^ 0000000000000000 = 000000000000FFFF (cc=1)
xgr 0000000000007FFF ^ 0000000000000000 = 0000000000007FFF (cc=1)
xgr 0000000000008000 ^ 0000000000000000 = 0000000000008000 (cc=1)
xgr 00000000FFFFFFFF ^ 0000000000000000 = 00000000FFFFFFFF (cc=1)
xgr 0000000080000000 ^ 0000000000000000 = 0000000080000000 (cc=1)
xgr 000000007FFFFFFF ^ 0000000000000000 = 000000007FFFFFFF (cc=1)
xgr AAAAAAAAAAAAAAAA ^ 0000000000000000 = AAAAAAAAAAAAAAAA (cc=1)
xgr 8000000000000000 ^ 0000000000000000 = 8000000000000000 (cc=1)
xgr FFFFFFFFFFFFFFFF ^ 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
xgr 5555555555555555 ^ 0000000000000000 = 5555555555555555 (cc=1)
xy 0000000000000000 ^ 0000000000000000 = 0000000000000000 (cc=0)
xy 0000000000000001 ^ 0000000000000000 = 0000000000000001 (cc=1)
xy 000000000000FFFF ^ 0000000000000000 = 000000000000FFFF (cc=1)
xy 0000000000007FFF ^ 0000000000000000 = 0000000000007FFF (cc=1)
xy 0000000000008000 ^ 0000000000000000 = 0000000000008000 (cc=1)
xy 00000000FFFFFFFF ^ 0000000000000000 = 00000000FFFFFFFF (cc=1)
xy 0000000080000000 ^ 0000000000000000 = 0000000080000000 (cc=1)
xy 000000007FFFFFFF ^ 0000000000000000 = 000000007FFFFFFF (cc=1)
xy AAAAAAAAAAAAAAAA ^ 0000000000000000 = AAAAAAAAAAAAAAAA (cc=1)
xy 8000000000000000 ^ 0000000000000000 = 8000000000000000 (cc=0)
xy FFFFFFFFFFFFFFFF ^ 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
xy 5555555555555555 ^ 0000000000000000 = 5555555555555555 (cc=1)
x 0000000000000000 ^ 5555555555555555 = 0000000055555555 (cc=1)
x 0000000000000001 ^ 5555555555555555 = 0000000055555554 (cc=1)
x 000000000000FFFF ^ 5555555555555555 = 000000005555AAAA (cc=1)
x 0000000000007FFF ^ 5555555555555555 = 0000000055552AAA (cc=1)
x 0000000000008000 ^ 5555555555555555 = 000000005555D555 (cc=1)
x 00000000FFFFFFFF ^ 5555555555555555 = 00000000AAAAAAAA (cc=1)
x 0000000080000000 ^ 5555555555555555 = 00000000D5555555 (cc=1)
x 000000007FFFFFFF ^ 5555555555555555 = 000000002AAAAAAA (cc=1)
x AAAAAAAAAAAAAAAA ^ 5555555555555555 = AAAAAAAAFFFFFFFF (cc=1)
x 8000000000000000 ^ 5555555555555555 = 8000000055555555 (cc=1)
x FFFFFFFFFFFFFFFF ^ 5555555555555555 = FFFFFFFFAAAAAAAA (cc=1)
x 5555555555555555 ^ 5555555555555555 = 5555555500000000 (cc=0)
xg 0000000000000000 ^ 5555555555555555 = 5555555555555555 (cc=1)
xg 0000000000000001 ^ 5555555555555555 = 5555555555555554 (cc=1)
xg 000000000000FFFF ^ 5555555555555555 = 555555555555AAAA (cc=1)
xg 0000000000007FFF ^ 5555555555555555 = 5555555555552AAA (cc=1)
xg 0000000000008000 ^ 5555555555555555 = 555555555555D555 (cc=1)
xg 00000000FFFFFFFF ^ 5555555555555555 = 55555555AAAAAAAA (cc=1)
xg 0000000080000000 ^ 5555555555555555 = 55555555D5555555 (cc=1)
xg 000000007FFFFFFF ^ 5555555555555555 = 555555552AAAAAAA (cc=1)
xg AAAAAAAAAAAAAAAA ^ 5555555555555555 = FFFFFFFFFFFFFFFF (cc=1)
xg 8000000000000000 ^ 5555555555555555 = D555555555555555 (cc=1)
xg FFFFFFFFFFFFFFFF ^ 5555555555555555 = AAAAAAAAAAAAAAAA (cc=1)
xg 5555555555555555 ^ 5555555555555555 = 0000000000000000 (cc=0)
xr 0000000000000000 ^ 5555555555555555 = 0000000055555555 (cc=1)
xr 0000000000000001 ^ 5555555555555555 = 0000000055555554 (cc=1)
xr 000000000000FFFF ^ 5555555555555555 = 000000005555AAAA (cc=1)
xr 0000000000007FFF ^ 5555555555555555 = 0000000055552AAA (cc=1)
xr 0000000000008000 ^ 5555555555555555 = 000000005555D555 (cc=1)
xr 00000000FFFFFFFF ^ 5555555555555555 = 00000000AAAAAAAA (cc=1)
xr 0000000080000000 ^ 5555555555555555 = 00000000D5555555 (cc=1)
xr 000000007FFFFFFF ^ 5555555555555555 = 000000002AAAAAAA (cc=1)
xr AAAAAAAAAAAAAAAA ^ 5555555555555555 = AAAAAAAAFFFFFFFF (cc=1)
xr 8000000000000000 ^ 5555555555555555 = 8000000055555555 (cc=1)
xr FFFFFFFFFFFFFFFF ^ 5555555555555555 = FFFFFFFFAAAAAAAA (cc=1)
xr 5555555555555555 ^ 5555555555555555 = 5555555500000000 (cc=0)
xgr 0000000000000000 ^ 5555555555555555 = 5555555555555555 (cc=1)
xgr 0000000000000001 ^ 5555555555555555 = 5555555555555554 (cc=1)
xgr 000000000000FFFF ^ 5555555555555555 = 555555555555AAAA (cc=1)
xgr 0000000000007FFF ^ 5555555555555555 = 5555555555552AAA (cc=1)
xgr 0000000000008000 ^ 5555555555555555 = 555555555555D555 (cc=1)
xgr 00000000FFFFFFFF ^ 5555555555555555 = 55555555AAAAAAAA (cc=1)
xgr 0000000080000000 ^ 5555555555555555 = 55555555D5555555 (cc=1)
xgr 000000007FFFFFFF ^ 5555555555555555 = 555555552AAAAAAA (cc=1)
xgr AAAAAAAAAAAAAAAA ^ 5555555555555555 = FFFFFFFFFFFFFFFF (cc=1)
xgr 8000000000000000 ^ 5555555555555555 = D555555555555555 (cc=1)
xgr FFFFFFFFFFFFFFFF ^ 5555555555555555 = AAAAAAAAAAAAAAAA (cc=1)
xgr 5555555555555555 ^ 5555555555555555 = 0000000000000000 (cc=0)
xy 0000000000000000 ^ 5555555555555555 = 0000000055555555 (cc=1)
xy 0000000000000001 ^ 5555555555555555 = 0000000055555554 (cc=1)
xy 000000000000FFFF ^ 5555555555555555 = 000000005555AAAA (cc=1)
xy 0000000000007FFF ^ 5555555555555555 = 0000000055552AAA (cc=1)
xy 0000000000008000 ^ 5555555555555555 = 000000005555D555 (cc=1)
xy 00000000FFFFFFFF ^ 5555555555555555 = 00000000AAAAAAAA (cc=1)
xy 0000000080000000 ^ 5555555555555555 = 00000000D5555555 (cc=1)
xy 000000007FFFFFFF ^ 5555555555555555 = 000000002AAAAAAA (cc=1)
xy AAAAAAAAAAAAAAAA ^ 5555555555555555 = AAAAAAAAFFFFFFFF (cc=1)
xy 8000000000000000 ^ 5555555555555555 = 8000000055555555 (cc=1)
xy FFFFFFFFFFFFFFFF ^ 5555555555555555 = FFFFFFFFAAAAAAAA (cc=1)
xy 5555555555555555 ^ 5555555555555555 = 5555555500000000 (cc=0)
x 0000000000000000 ^ AAAAAAAAAAAAAAAA = 00000000AAAAAAAA (cc=1)
x 0000000000000001 ^ AAAAAAAAAAAAAAAA = 00000000AAAAAAAB (cc=1)
x 000000000000FFFF ^ AAAAAAAAAAAAAAAA = 00000000AAAA5555 (cc=1)
x 0000000000007FFF ^ AAAAAAAAAAAAAAAA = 00000000AAAAD555 (cc=1)
x 0000000000008000 ^ AAAAAAAAAAAAAAAA = 00000000AAAA2AAA (cc=1)
x 00000000FFFFFFFF ^ AAAAAAAAAAAAAAAA = 0000000055555555 (cc=1)
x 0000000080000000 ^ AAAAAAAAAAAAAAAA = 000000002AAAAAAA (cc=1)
x 000000007FFFFFFF ^ AAAAAAAAAAAAAAAA = 00000000D5555555 (cc=1)
x AAAAAAAAAAAAAAAA ^ AAAAAAAAAAAAAAAA = AAAAAAAA00000000 (cc=0)
x 8000000000000000 ^ AAAAAAAAAAAAAAAA = 80000000AAAAAAAA (cc=1)
x FFFFFFFFFFFFFFFF ^ AAAAAAAAAAAAAAAA = FFFFFFFF55555555 (cc=1)
x 5555555555555555 ^ AAAAAAAAAAAAAAAA = 55555555FFFFFFFF (cc=1)
xg 0000000000000000 ^ AAAAAAAAAAAAAAAA = AAAAAAAAAAAAAAAA (cc=1)
xg 0000000000000001 ^ AAAAAAAAAAAAAAAA = AAAAAAAAAAAAAAAB (cc=1)
xg 000000000000FFFF ^ AAAAAAAAAAAAAAAA = AAAAAAAAAAAA5555 (cc=1)
xg 0000000000007FFF ^ AAAAAAAAAAAAAAAA = AAAAAAAAAAAAD555 (cc=1)
xg 0000000000008000 ^ AAAAAAAAAAAAAAAA = AAAAAAAAAAAA2AAA (cc=1)
xg 00000000FFFFFFFF ^ AAAAAAAAAAAAAAAA = AAAAAAAA55555555 (cc=1)
xg 0000000080000000 ^ AAAAAAAAAAAAAAAA = AAAAAAAA2AAAAAAA (cc=1)
xg 000000007FFFFFFF ^ AAAAAAAAAAAAAAAA = AAAAAAAAD5555555 (cc=1)
xg AAAAAAAAAAAAAAAA ^ AAAAAAAAAAAAAAAA = 0000000000000000 (cc=0)
xg 8000000000000000 ^ AAAAAAAAAAAAAAAA = 2AAAAAAAAAAAAAAA (cc=1)
xg FFFFFFFFFFFFFFFF ^ AAAAAAAAAAAAAAAA = 5555555555555555 (cc=1)
xg 5555555555555555 ^ AAAAAAAAAAAAAAAA = FFFFFFFFFFFFFFFF (cc=1)
xr 0000000000000000 ^ AAAAAAAAAAAAAAAA = 00000000AAAAAAAA (cc=1)
xr 0000000000000001 ^ AAAAAAAAAAAAAAAA = 00000000AAAAAAAB (cc=1)
xr 000000000000FFFF ^ AAAAAAAAAAAAAAAA = 00000000AAAA5555 (cc=1)
xr 0000000000007FFF ^ AAAAAAAAAAAAAAAA = 00000000AAAAD555 (cc=1)
xr 0000000000008000 ^ AAAAAAAAAAAAAAAA = 00000000AAAA2AAA (cc=1)
xr 00000000FFFFFFFF ^ AAAAAAAAAAAAAAAA = 0000000055555555 (cc=1)
xr 0000000080000000 ^ AAAAAAAAAAAAAAAA = 000000002AAAAAAA (cc=1)
xr 000000007FFFFFFF ^ AAAAAAAAAAAAAAAA = 00000000D5555555 (cc=1)
xr AAAAAAAAAAAAAAAA ^ AAAAAAAAAAAAAAAA = AAAAAAAA00000000 (cc=0)
xr 8000000000000000 ^ AAAAAAAAAAAAAAAA = 80000000AAAAAAAA (cc=1)
xr FFFFFFFFFFFFFFFF ^ AAAAAAAAAAAAAAAA = FFFFFFFF55555555 (cc=1)
xr 5555555555555555 ^ AAAAAAAAAAAAAAAA = 55555555FFFFFFFF (cc=1)
xgr 0000000000000000 ^ AAAAAAAAAAAAAAAA = AAAAAAAAAAAAAAAA (cc=1)
xgr 0000000000000001 ^ AAAAAAAAAAAAAAAA = AAAAAAAAAAAAAAAB (cc=1)
xgr 000000000000FFFF ^ AAAAAAAAAAAAAAAA = AAAAAAAAAAAA5555 (cc=1)
xgr 0000000000007FFF ^ AAAAAAAAAAAAAAAA = AAAAAAAAAAAAD555 (cc=1)
xgr 0000000000008000 ^ AAAAAAAAAAAAAAAA = AAAAAAAAAAAA2AAA (cc=1)
xgr 00000000FFFFFFFF ^ AAAAAAAAAAAAAAAA = AAAAAAAA55555555 (cc=1)
xgr 0000000080000000 ^ AAAAAAAAAAAAAAAA = AAAAAAAA2AAAAAAA (cc=1)
xgr 000000007FFFFFFF ^ AAAAAAAAAAAAAAAA = AAAAAAAAD5555555 (cc=1)
xgr AAAAAAAAAAAAAAAA ^ AAAAAAAAAAAAAAAA = 0000000000000000 (cc=0)
xgr 8000000000000000 ^ AAAAAAAAAAAAAAAA = 2AAAAAAAAAAAAAAA (cc=1)
xgr FFFFFFFFFFFFFFFF ^ AAAAAAAAAAAAAAAA = 5555555555555555 (cc=1)
xgr 5555555555555555 ^ AAAAAAAAAAAAAAAA = FFFFFFFFFFFFFFFF (cc=1)
xy 0000000000000000 ^ AAAAAAAAAAAAAAAA = 00000000AAAAAAAA (cc=1)
xy 0000000000000001 ^ AAAAAAAAAAAAAAAA = 00000000AAAAAAAB (cc=1)
xy 000000000000FFFF ^ AAAAAAAAAAAAAAAA = 00000000AAAA5555 (cc=1)
xy 0000000000007FFF ^ AAAAAAAAAAAAAAAA = 00000000AAAAD555 (cc=1)
xy 0000000000008000 ^ AAAAAAAAAAAAAAAA = 00000000AAAA2AAA (cc=1)
xy 00000000FFFFFFFF ^ AAAAAAAAAAAAAAAA = 0000000055555555 (cc=1)
xy 0000000080000000 ^ AAAAAAAAAAAAAAAA = 000000002AAAAAAA (cc=1)
xy 000000007FFFFFFF ^ AAAAAAAAAAAAAAAA = 00000000D5555555 (cc=1)
xy AAAAAAAAAAAAAAAA ^ AAAAAAAAAAAAAAAA = AAAAAAAA00000000 (cc=0)
xy 8000000000000000 ^ AAAAAAAAAAAAAAAA = 80000000AAAAAAAA (cc=1)
xy FFFFFFFFFFFFFFFF ^ AAAAAAAAAAAAAAAA = FFFFFFFF55555555 (cc=1)
xy 5555555555555555 ^ AAAAAAAAAAAAAAAA = 55555555FFFFFFFF (cc=1)
x 0000000000000000 ^ 8000000000000000 = 0000000080000000 (cc=1)
x 0000000000000001 ^ 8000000000000000 = 0000000080000001 (cc=1)
x 000000000000FFFF ^ 8000000000000000 = 000000008000FFFF (cc=1)
x 0000000000007FFF ^ 8000000000000000 = 0000000080007FFF (cc=1)
x 0000000000008000 ^ 8000000000000000 = 0000000080008000 (cc=1)
x 00000000FFFFFFFF ^ 8000000000000000 = 000000007FFFFFFF (cc=1)
x 0000000080000000 ^ 8000000000000000 = 0000000000000000 (cc=0)
x 000000007FFFFFFF ^ 8000000000000000 = 00000000FFFFFFFF (cc=1)
x AAAAAAAAAAAAAAAA ^ 8000000000000000 = AAAAAAAA2AAAAAAA (cc=1)
x 8000000000000000 ^ 8000000000000000 = 8000000080000000 (cc=1)
x FFFFFFFFFFFFFFFF ^ 8000000000000000 = FFFFFFFF7FFFFFFF (cc=1)
x 5555555555555555 ^ 8000000000000000 = 55555555D5555555 (cc=1)
xg 0000000000000000 ^ 8000000000000000 = 8000000000000000 (cc=1)
xg 0000000000000001 ^ 8000000000000000 = 8000000000000001 (cc=1)
xg 000000000000FFFF ^ 8000000000000000 = 800000000000FFFF (cc=1)
xg 0000000000007FFF ^ 8000000000000000 = 8000000000007FFF (cc=1)
xg 0000000000008000 ^ 8000000000000000 = 8000000000008000 (cc=1)
xg 00000000FFFFFFFF ^ 8000000000000000 = 80000000FFFFFFFF (cc=1)
xg 0000000080000000 ^ 8000000000000000 = 8000000080000000 (cc=1)
xg 000000007FFFFFFF ^ 8000000000000000 = 800000007FFFFFFF (cc=1)
xg AAAAAAAAAAAAAAAA ^ 8000000000000000 = 2AAAAAAAAAAAAAAA (cc=1)
xg 8000000000000000 ^ 8000000000000000 = 0000000000000000 (cc=0)
xg FFFFFFFFFFFFFFFF ^ 8000000000000000 = 7FFFFFFFFFFFFFFF (cc=1)
xg 5555555555555555 ^ 8000000000000000 = D555555555555555 (cc=1)
xr 0000000000000000 ^ 8000000000000000 = 0000000000000000 (cc=0)
xr 0000000000000001 ^ 8000000000000000 = 0000000000000001 (cc=1)
xr 000000000000FFFF ^ 8000000000000000 = 000000000000FFFF (cc=1)
xr 0000000000007FFF ^ 8000000000000000 = 0000000000007FFF (cc=1)
xr 0000000000008000 ^ 8000000000000000 = 0000000000008000 (cc=1)
xr 00000000FFFFFFFF ^ 8000000000000000 = 00000000FFFFFFFF (cc=1)
xr 0000000080000000 ^ 8000000000000000 = 0000000080000000 (cc=1)
xr 000000007FFFFFFF ^ 8000000000000000 = 000000007FFFFFFF (cc=1)
xr AAAAAAAAAAAAAAAA ^ 8000000000000000 = AAAAAAAAAAAAAAAA (cc=1)
xr 8000000000000000 ^ 8000000000000000 = 8000000000000000 (cc=0)
xr FFFFFFFFFFFFFFFF ^ 8000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
xr 5555555555555555 ^ 8000000000000000 = 5555555555555555 (cc=1)
xgr 0000000000000000 ^ 8000000000000000 = 8000000000000000 (cc=1)
xgr 0000000000000001 ^ 8000000000000000 = 8000000000000001 (cc=1)
xgr 000000000000FFFF ^ 8000000000000000 = 800000000000FFFF (cc=1)
xgr 0000000000007FFF ^ 8000000000000000 = 8000000000007FFF (cc=1)
xgr 0000000000008000 ^ 8000000000000000 = 8000000000008000 (cc=1)
xgr 00000000FFFFFFFF ^ 8000000000000000 = 80000000FFFFFFFF (cc=1)
xgr 0000000080000000 ^ 8000000000000000 = 8000000080000000 (cc=1)
xgr 000000007FFFFFFF ^ 8000000000000000 = 800000007FFFFFFF (cc=1)
xgr AAAAAAAAAAAAAAAA ^ 8000000000000000 = 2AAAAAAAAAAAAAAA (cc=1)
xgr 8000000000000000 ^ 8000000000000000 = 0000000000000000 (cc=0)
xgr FFFFFFFFFFFFFFFF ^ 8000000000000000 = 7FFFFFFFFFFFFFFF (cc=1)
xgr 5555555555555555 ^ 8000000000000000 = D555555555555555 (cc=1)
xy 0000000000000000 ^ 8000000000000000 = 0000000080000000 (cc=1)
xy 0000000000000001 ^ 8000000000000000 = 0000000080000001 (cc=1)
xy 000000000000FFFF ^ 8000000000000000 = 000000008000FFFF (cc=1)
xy 0000000000007FFF ^ 8000000000000000 = 0000000080007FFF (cc=1)
xy 0000000000008000 ^ 8000000000000000 = 0000000080008000 (cc=1)
xy 00000000FFFFFFFF ^ 8000000000000000 = 000000007FFFFFFF (cc=1)
xy 0000000080000000 ^ 8000000000000000 = 0000000000000000 (cc=0)
xy 000000007FFFFFFF ^ 8000000000000000 = 00000000FFFFFFFF (cc=1)
xy AAAAAAAAAAAAAAAA ^ 8000000000000000 = AAAAAAAA2AAAAAAA (cc=1)
xy 8000000000000000 ^ 8000000000000000 = 8000000080000000 (cc=1)
xy FFFFFFFFFFFFFFFF ^ 8000000000000000 = FFFFFFFF7FFFFFFF (cc=1)
xy 5555555555555555 ^ 8000000000000000 = 55555555D5555555 (cc=1)
x 0000000000000000 ^ FFFFFFFFFFFFFFFF = 00000000FFFFFFFF (cc=1)
x 0000000000000001 ^ FFFFFFFFFFFFFFFF = 00000000FFFFFFFE (cc=1)
x 000000000000FFFF ^ FFFFFFFFFFFFFFFF = 00000000FFFF0000 (cc=1)
x 0000000000007FFF ^ FFFFFFFFFFFFFFFF = 00000000FFFF8000 (cc=1)
x 0000000000008000 ^ FFFFFFFFFFFFFFFF = 00000000FFFF7FFF (cc=1)
x 00000000FFFFFFFF ^ FFFFFFFFFFFFFFFF = 0000000000000000 (cc=0)
x 0000000080000000 ^ FFFFFFFFFFFFFFFF = 000000007FFFFFFF (cc=1)
x 000000007FFFFFFF ^ FFFFFFFFFFFFFFFF = 0000000080000000 (cc=1)
x AAAAAAAAAAAAAAAA ^ FFFFFFFFFFFFFFFF = AAAAAAAA55555555 (cc=1)
x 8000000000000000 ^ FFFFFFFFFFFFFFFF = 80000000FFFFFFFF (cc=1)
x FFFFFFFFFFFFFFFF ^ FFFFFFFFFFFFFFFF = FFFFFFFF00000000 (cc=0)
x 5555555555555555 ^ FFFFFFFFFFFFFFFF = 55555555AAAAAAAA (cc=1)
xg 0000000000000000 ^ FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFF (cc=1)
xg 0000000000000001 ^ FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFE (cc=1)
xg 000000000000FFFF ^ FFFFFFFFFFFFFFFF = FFFFFFFFFFFF0000 (cc=1)
xg 0000000000007FFF ^ FFFFFFFFFFFFFFFF = FFFFFFFFFFFF8000 (cc=1)
xg 0000000000008000 ^ FFFFFFFFFFFFFFFF = FFFFFFFFFFFF7FFF (cc=1)
xg 00000000FFFFFFFF ^ FFFFFFFFFFFFFFFF = FFFFFFFF00000000 (cc=1)
xg 0000000080000000 ^ FFFFFFFFFFFFFFFF = FFFFFFFF7FFFFFFF (cc=1)
xg 000000007FFFFFFF ^ FFFFFFFFFFFFFFFF = FFFFFFFF80000000 (cc=1)
xg AAAAAAAAAAAAAAAA ^ FFFFFFFFFFFFFFFF = 5555555555555555 (cc=1)
xg 8000000000000000 ^ FFFFFFFFFFFFFFFF = 7FFFFFFFFFFFFFFF (cc=1)
xg FFFFFFFFFFFFFFFF ^ FFFFFFFFFFFFFFFF = 0000000000000000 (cc=0)
xg 5555555555555555 ^ FFFFFFFFFFFFFFFF = AAAAAAAAAAAAAAAA (cc=1)
xr 0000000000000000 ^ FFFFFFFFFFFFFFFF = 00000000FFFFFFFF (cc=1)
xr 0000000000000001 ^ FFFFFFFFFFFFFFFF = 00000000FFFFFFFE (cc=1)
xr 000000000000FFFF ^ FFFFFFFFFFFFFFFF = 00000000FFFF0000 (cc=1)
xr 0000000000007FFF ^ FFFFFFFFFFFFFFFF = 00000000FFFF8000 (cc=1)
xr 0000000000008000 ^ FFFFFFFFFFFFFFFF = 00000000FFFF7FFF (cc=1)
xr 00000000FFFFFFFF ^ FFFFFFFFFFFFFFFF = 0000000000000000 (cc=0)
xr 0000000080000000 ^ FFFFFFFFFFFFFFFF = 000000007FFFFFFF (cc=1)
xr 000000007FFFFFFF ^ FFFFFFFFFFFFFFFF = 0000000080000000 (cc=1)
xr AAAAAAAAAAAAAAAA ^ FFFFFFFFFFFFFFFF = AAAAAAAA55555555 (cc=1)
xr 8000000000000000 ^ FFFFFFFFFFFFFFFF = 80000000FFFFFFFF (cc=1)
xr FFFFFFFFFFFFFFFF ^ FFFFFFFFFFFFFFFF = FFFFFFFF00000000 (cc=0)
xr 5555555555555555 ^ FFFFFFFFFFFFFFFF = 55555555AAAAAAAA (cc=1)
xgr 0000000000000000 ^ FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFF (cc=1)
xgr 0000000000000001 ^ FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFE (cc=1)
xgr 000000000000FFFF ^ FFFFFFFFFFFFFFFF = FFFFFFFFFFFF0000 (cc=1)
xgr 0000000000007FFF ^ FFFFFFFFFFFFFFFF = FFFFFFFFFFFF8000 (cc=1)
xgr 0000000000008000 ^ FFFFFFFFFFFFFFFF = FFFFFFFFFFFF7FFF (cc=1)
xgr 00000000FFFFFFFF ^ FFFFFFFFFFFFFFFF = FFFFFFFF00000000 (cc=1)
xgr 0000000080000000 ^ FFFFFFFFFFFFFFFF = FFFFFFFF7FFFFFFF (cc=1)
xgr 000000007FFFFFFF ^ FFFFFFFFFFFFFFFF = FFFFFFFF80000000 (cc=1)
xgr AAAAAAAAAAAAAAAA ^ FFFFFFFFFFFFFFFF = 5555555555555555 (cc=1)
xgr 8000000000000000 ^ FFFFFFFFFFFFFFFF = 7FFFFFFFFFFFFFFF (cc=1)
xgr FFFFFFFFFFFFFFFF ^ FFFFFFFFFFFFFFFF = 0000000000000000 (cc=0)
xgr 5555555555555555 ^ FFFFFFFFFFFFFFFF = AAAAAAAAAAAAAAAA (cc=1)
xy 0000000000000000 ^ FFFFFFFFFFFFFFFF = 00000000FFFFFFFF (cc=1)
xy 0000000000000001 ^ FFFFFFFFFFFFFFFF = 00000000FFFFFFFE (cc=1)
xy 000000000000FFFF ^ FFFFFFFFFFFFFFFF = 00000000FFFF0000 (cc=1)
xy 0000000000007FFF ^ FFFFFFFFFFFFFFFF = 00000000FFFF8000 (cc=1)
xy 0000000000008000 ^ FFFFFFFFFFFFFFFF = 00000000FFFF7FFF (cc=1)
xy 00000000FFFFFFFF ^ FFFFFFFFFFFFFFFF = 0000000000000000 (cc=0)
xy 0000000080000000 ^ FFFFFFFFFFFFFFFF = 000000007FFFFFFF (cc=1)
xy 000000007FFFFFFF ^ FFFFFFFFFFFFFFFF = 0000000080000000 (cc=1)
xy AAAAAAAAAAAAAAAA ^ FFFFFFFFFFFFFFFF = AAAAAAAA55555555 (cc=1)
xy 8000000000000000 ^ FFFFFFFFFFFFFFFF = 80000000FFFFFFFF (cc=1)
xy FFFFFFFFFFFFFFFF ^ FFFFFFFFFFFFFFFF = FFFFFFFF00000000 (cc=0)
xy 5555555555555555 ^ FFFFFFFFFFFFFFFF = 55555555AAAAAAAA (cc=1)
x 0000000000000000 ^ 7FFFFFFF00000000 = 000000007FFFFFFF (cc=1)
x 0000000000000001 ^ 7FFFFFFF00000000 = 000000007FFFFFFE (cc=1)
x 000000000000FFFF ^ 7FFFFFFF00000000 = 000000007FFF0000 (cc=1)
x 0000000000007FFF ^ 7FFFFFFF00000000 = 000000007FFF8000 (cc=1)
x 0000000000008000 ^ 7FFFFFFF00000000 = 000000007FFF7FFF (cc=1)
x 00000000FFFFFFFF ^ 7FFFFFFF00000000 = 0000000080000000 (cc=1)
x 0000000080000000 ^ 7FFFFFFF00000000 = 00000000FFFFFFFF (cc=1)
x 000000007FFFFFFF ^ 7FFFFFFF00000000 = 0000000000000000 (cc=0)
x AAAAAAAAAAAAAAAA ^ 7FFFFFFF00000000 = AAAAAAAAD5555555 (cc=1)
x 8000000000000000 ^ 7FFFFFFF00000000 = 800000007FFFFFFF (cc=1)
x FFFFFFFFFFFFFFFF ^ 7FFFFFFF00000000 = FFFFFFFF80000000 (cc=1)
x 5555555555555555 ^ 7FFFFFFF00000000 = 555555552AAAAAAA (cc=1)
xg 0000000000000000 ^ 7FFFFFFF00000000 = 7FFFFFFF00000000 (cc=1)
xg 0000000000000001 ^ 7FFFFFFF00000000 = 7FFFFFFF00000001 (cc=1)
xg 000000000000FFFF ^ 7FFFFFFF00000000 = 7FFFFFFF0000FFFF (cc=1)
xg 0000000000007FFF ^ 7FFFFFFF00000000 = 7FFFFFFF00007FFF (cc=1)
xg 0000000000008000 ^ 7FFFFFFF00000000 = 7FFFFFFF00008000 (cc=1)
xg 00000000FFFFFFFF ^ 7FFFFFFF00000000 = 7FFFFFFFFFFFFFFF (cc=1)
xg 0000000080000000 ^ 7FFFFFFF00000000 = 7FFFFFFF80000000 (cc=1)
xg 000000007FFFFFFF ^ 7FFFFFFF00000000 = 7FFFFFFF7FFFFFFF (cc=1)
xg AAAAAAAAAAAAAAAA ^ 7FFFFFFF00000000 = D5555555AAAAAAAA (cc=1)
xg 8000000000000000 ^ 7FFFFFFF00000000 = FFFFFFFF00000000 (cc=1)
xg FFFFFFFFFFFFFFFF ^ 7FFFFFFF00000000 = 80000000FFFFFFFF (cc=1)
xg 5555555555555555 ^ 7FFFFFFF00000000 = 2AAAAAAA55555555 (cc=1)
xr 0000000000000000 ^ 7FFFFFFF00000000 = 0000000000000000 (cc=0)
xr 0000000000000001 ^ 7FFFFFFF00000000 = 0000000000000001 (cc=1)
xr 000000000000FFFF ^ 7FFFFFFF00000000 = 000000000000FFFF (cc=1)
xr 0000000000007FFF ^ 7FFFFFFF00000000 = 0000000000007FFF (cc=1)
xr 0000000000008000 ^ 7FFFFFFF00000000 = 0000000000008000 (cc=1)
xr 00000000FFFFFFFF ^ 7FFFFFFF00000000 = 00000000FFFFFFFF (cc=1)
xr 0000000080000000 ^ 7FFFFFFF00000000 = 0000000080000000 (cc=1)
xr 000000007FFFFFFF ^ 7FFFFFFF00000000 = 000000007FFFFFFF (cc=1)
xr AAAAAAAAAAAAAAAA ^ 7FFFFFFF00000000 = AAAAAAAAAAAAAAAA (cc=1)
xr 8000000000000000 ^ 7FFFFFFF00000000 = 8000000000000000 (cc=0)
xr FFFFFFFFFFFFFFFF ^ 7FFFFFFF00000000 = FFFFFFFFFFFFFFFF (cc=1)
xr 5555555555555555 ^ 7FFFFFFF00000000 = 5555555555555555 (cc=1)
xgr 0000000000000000 ^ 7FFFFFFF00000000 = 7FFFFFFF00000000 (cc=1)
xgr 0000000000000001 ^ 7FFFFFFF00000000 = 7FFFFFFF00000001 (cc=1)
xgr 000000000000FFFF ^ 7FFFFFFF00000000 = 7FFFFFFF0000FFFF (cc=1)
xgr 0000000000007FFF ^ 7FFFFFFF00000000 = 7FFFFFFF00007FFF (cc=1)
xgr 0000000000008000 ^ 7FFFFFFF00000000 = 7FFFFFFF00008000 (cc=1)
xgr 00000000FFFFFFFF ^ 7FFFFFFF00000000 = 7FFFFFFFFFFFFFFF (cc=1)
xgr 0000000080000000 ^ 7FFFFFFF00000000 = 7FFFFFFF80000000 (cc=1)
xgr 000000007FFFFFFF ^ 7FFFFFFF00000000 = 7FFFFFFF7FFFFFFF (cc=1)
xgr AAAAAAAAAAAAAAAA ^ 7FFFFFFF00000000 = D5555555AAAAAAAA (cc=1)
xgr 8000000000000000 ^ 7FFFFFFF00000000 = FFFFFFFF00000000 (cc=1)
xgr FFFFFFFFFFFFFFFF ^ 7FFFFFFF00000000 = 80000000FFFFFFFF (cc=1)
xgr 5555555555555555 ^ 7FFFFFFF00000000 = 2AAAAAAA55555555 (cc=1)
xy 0000000000000000 ^ 7FFFFFFF00000000 = 000000007FFFFFFF (cc=1)
xy 0000000000000001 ^ 7FFFFFFF00000000 = 000000007FFFFFFE (cc=1)
xy 000000000000FFFF ^ 7FFFFFFF00000000 = 000000007FFF0000 (cc=1)
xy 0000000000007FFF ^ 7FFFFFFF00000000 = 000000007FFF8000 (cc=1)
xy 0000000000008000 ^ 7FFFFFFF00000000 = 000000007FFF7FFF (cc=1)
xy 00000000FFFFFFFF ^ 7FFFFFFF00000000 = 0000000080000000 (cc=1)
xy 0000000080000000 ^ 7FFFFFFF00000000 = 00000000FFFFFFFF (cc=1)
xy 000000007FFFFFFF ^ 7FFFFFFF00000000 = 0000000000000000 (cc=0)
xy AAAAAAAAAAAAAAAA ^ 7FFFFFFF00000000 = AAAAAAAAD5555555 (cc=1)
xy 8000000000000000 ^ 7FFFFFFF00000000 = 800000007FFFFFFF (cc=1)
xy FFFFFFFFFFFFFFFF ^ 7FFFFFFF00000000 = FFFFFFFF80000000 (cc=1)
xy 5555555555555555 ^ 7FFFFFFF00000000 = 555555552AAAAAAA (cc=1)
x 0000000000000000 ^ 8000000000000000 = 0000000080000000 (cc=1)
x 0000000000000001 ^ 8000000000000000 = 0000000080000001 (cc=1)
x 000000000000FFFF ^ 8000000000000000 = 000000008000FFFF (cc=1)
x 0000000000007FFF ^ 8000000000000000 = 0000000080007FFF (cc=1)
x 0000000000008000 ^ 8000000000000000 = 0000000080008000 (cc=1)
x 00000000FFFFFFFF ^ 8000000000000000 = 000000007FFFFFFF (cc=1)
x 0000000080000000 ^ 8000000000000000 = 0000000000000000 (cc=0)
x 000000007FFFFFFF ^ 8000000000000000 = 00000000FFFFFFFF (cc=1)
x AAAAAAAAAAAAAAAA ^ 8000000000000000 = AAAAAAAA2AAAAAAA (cc=1)
x 8000000000000000 ^ 8000000000000000 = 8000000080000000 (cc=1)
x FFFFFFFFFFFFFFFF ^ 8000000000000000 = FFFFFFFF7FFFFFFF (cc=1)
x 5555555555555555 ^ 8000000000000000 = 55555555D5555555 (cc=1)
xg 0000000000000000 ^ 8000000000000000 = 8000000000000000 (cc=1)
xg 0000000000000001 ^ 8000000000000000 = 8000000000000001 (cc=1)
xg 000000000000FFFF ^ 8000000000000000 = 800000000000FFFF (cc=1)
xg 0000000000007FFF ^ 8000000000000000 = 8000000000007FFF (cc=1)
xg 0000000000008000 ^ 8000000000000000 = 8000000000008000 (cc=1)
xg 00000000FFFFFFFF ^ 8000000000000000 = 80000000FFFFFFFF (cc=1)
xg 0000000080000000 ^ 8000000000000000 = 8000000080000000 (cc=1)
xg 000000007FFFFFFF ^ 8000000000000000 = 800000007FFFFFFF (cc=1)
xg AAAAAAAAAAAAAAAA ^ 8000000000000000 = 2AAAAAAAAAAAAAAA (cc=1)
xg 8000000000000000 ^ 8000000000000000 = 0000000000000000 (cc=0)
xg FFFFFFFFFFFFFFFF ^ 8000000000000000 = 7FFFFFFFFFFFFFFF (cc=1)
xg 5555555555555555 ^ 8000000000000000 = D555555555555555 (cc=1)
xr 0000000000000000 ^ 8000000000000000 = 0000000000000000 (cc=0)
xr 0000000000000001 ^ 8000000000000000 = 0000000000000001 (cc=1)
xr 000000000000FFFF ^ 8000000000000000 = 000000000000FFFF (cc=1)
xr 0000000000007FFF ^ 8000000000000000 = 0000000000007FFF (cc=1)
xr 0000000000008000 ^ 8000000000000000 = 0000000000008000 (cc=1)
xr 00000000FFFFFFFF ^ 8000000000000000 = 00000000FFFFFFFF (cc=1)
xr 0000000080000000 ^ 8000000000000000 = 0000000080000000 (cc=1)
xr 000000007FFFFFFF ^ 8000000000000000 = 000000007FFFFFFF (cc=1)
xr AAAAAAAAAAAAAAAA ^ 8000000000000000 = AAAAAAAAAAAAAAAA (cc=1)
xr 8000000000000000 ^ 8000000000000000 = 8000000000000000 (cc=0)
xr FFFFFFFFFFFFFFFF ^ 8000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
xr 5555555555555555 ^ 8000000000000000 = 5555555555555555 (cc=1)
xgr 0000000000000000 ^ 8000000000000000 = 8000000000000000 (cc=1)
xgr 0000000000000001 ^ 8000000000000000 = 8000000000000001 (cc=1)
xgr 000000000000FFFF ^ 8000000000000000 = 800000000000FFFF (cc=1)
xgr 0000000000007FFF ^ 8000000000000000 = 8000000000007FFF (cc=1)
xgr 0000000000008000 ^ 8000000000000000 = 8000000000008000 (cc=1)
xgr 00000000FFFFFFFF ^ 8000000000000000 = 80000000FFFFFFFF (cc=1)
xgr 0000000080000000 ^ 8000000000000000 = 8000000080000000 (cc=1)
xgr 000000007FFFFFFF ^ 8000000000000000 = 800000007FFFFFFF (cc=1)
xgr AAAAAAAAAAAAAAAA ^ 8000000000000000 = 2AAAAAAAAAAAAAAA (cc=1)
xgr 8000000000000000 ^ 8000000000000000 = 0000000000000000 (cc=0)
xgr FFFFFFFFFFFFFFFF ^ 8000000000000000 = 7FFFFFFFFFFFFFFF (cc=1)
xgr 5555555555555555 ^ 8000000000000000 = D555555555555555 (cc=1)
xy 0000000000000000 ^ 8000000000000000 = 0000000080000000 (cc=1)
xy 0000000000000001 ^ 8000000000000000 = 0000000080000001 (cc=1)
xy 000000000000FFFF ^ 8000000000000000 = 000000008000FFFF (cc=1)
xy 0000000000007FFF ^ 8000000000000000 = 0000000080007FFF (cc=1)
xy 0000000000008000 ^ 8000000000000000 = 0000000080008000 (cc=1)
xy 00000000FFFFFFFF ^ 8000000000000000 = 000000007FFFFFFF (cc=1)
xy 0000000080000000 ^ 8000000000000000 = 0000000000000000 (cc=0)
xy 000000007FFFFFFF ^ 8000000000000000 = 00000000FFFFFFFF (cc=1)
xy AAAAAAAAAAAAAAAA ^ 8000000000000000 = AAAAAAAA2AAAAAAA (cc=1)
xy 8000000000000000 ^ 8000000000000000 = 8000000080000000 (cc=1)
xy FFFFFFFFFFFFFFFF ^ 8000000000000000 = FFFFFFFF7FFFFFFF (cc=1)
xy 5555555555555555 ^ 8000000000000000 = 55555555D5555555 (cc=1)
x 0000000000000000 ^ AAAAAAAA00000000 = 00000000AAAAAAAA (cc=1)
x 0000000000000001 ^ AAAAAAAA00000000 = 00000000AAAAAAAB (cc=1)
x 000000000000FFFF ^ AAAAAAAA00000000 = 00000000AAAA5555 (cc=1)
x 0000000000007FFF ^ AAAAAAAA00000000 = 00000000AAAAD555 (cc=1)
x 0000000000008000 ^ AAAAAAAA00000000 = 00000000AAAA2AAA (cc=1)
x 00000000FFFFFFFF ^ AAAAAAAA00000000 = 0000000055555555 (cc=1)
x 0000000080000000 ^ AAAAAAAA00000000 = 000000002AAAAAAA (cc=1)
x 000000007FFFFFFF ^ AAAAAAAA00000000 = 00000000D5555555 (cc=1)
x AAAAAAAAAAAAAAAA ^ AAAAAAAA00000000 = AAAAAAAA00000000 (cc=0)
x 8000000000000000 ^ AAAAAAAA00000000 = 80000000AAAAAAAA (cc=1)
x FFFFFFFFFFFFFFFF ^ AAAAAAAA00000000 = FFFFFFFF55555555 (cc=1)
x 5555555555555555 ^ AAAAAAAA00000000 = 55555555FFFFFFFF (cc=1)
xg 0000000000000000 ^ AAAAAAAA00000000 = AAAAAAAA00000000 (cc=1)
xg 0000000000000001 ^ AAAAAAAA00000000 = AAAAAAAA00000001 (cc=1)
xg 000000000000FFFF ^ AAAAAAAA00000000 = AAAAAAAA0000FFFF (cc=1)
xg 0000000000007FFF ^ AAAAAAAA00000000 = AAAAAAAA00007FFF (cc=1)
xg 0000000000008000 ^ AAAAAAAA00000000 = AAAAAAAA00008000 (cc=1)
xg 00000000FFFFFFFF ^ AAAAAAAA00000000 = AAAAAAAAFFFFFFFF (cc=1)
xg 0000000080000000 ^ AAAAAAAA00000000 = AAAAAAAA80000000 (cc=1)
xg 000000007FFFFFFF ^ AAAAAAAA00000000 = AAAAAAAA7FFFFFFF (cc=1)
xg AAAAAAAAAAAAAAAA ^ AAAAAAAA00000000 = 00000000AAAAAAAA (cc=1)
xg 8000000000000000 ^ AAAAAAAA00000000 = 2AAAAAAA00000000 (cc=1)
xg FFFFFFFFFFFFFFFF ^ AAAAAAAA00000000 = 55555555FFFFFFFF (cc=1)
xg 5555555555555555 ^ AAAAAAAA00000000 = FFFFFFFF55555555 (cc=1)
xr 0000000000000000 ^ AAAAAAAA00000000 = 0000000000000000 (cc=0)
xr 0000000000000001 ^ AAAAAAAA00000000 = 0000000000000001 (cc=1)
xr 000000000000FFFF ^ AAAAAAAA00000000 = 000000000000FFFF (cc=1)
xr 0000000000007FFF ^ AAAAAAAA00000000 = 0000000000007FFF (cc=1)
xr 0000000000008000 ^ AAAAAAAA00000000 = 0000000000008000 (cc=1)
xr 00000000FFFFFFFF ^ AAAAAAAA00000000 = 00000000FFFFFFFF (cc=1)
xr 0000000080000000 ^ AAAAAAAA00000000 = 0000000080000000 (cc=1)
xr 000000007FFFFFFF ^ AAAAAAAA00000000 = 000000007FFFFFFF (cc=1)
xr AAAAAAAAAAAAAAAA ^ AAAAAAAA00000000 = AAAAAAAAAAAAAAAA (cc=1)
xr 8000000000000000 ^ AAAAAAAA00000000 = 8000000000000000 (cc=0)
xr FFFFFFFFFFFFFFFF ^ AAAAAAAA00000000 = FFFFFFFFFFFFFFFF (cc=1)
xr 5555555555555555 ^ AAAAAAAA00000000 = 5555555555555555 (cc=1)
xgr 0000000000000000 ^ AAAAAAAA00000000 = AAAAAAAA00000000 (cc=1)
xgr 0000000000000001 ^ AAAAAAAA00000000 = AAAAAAAA00000001 (cc=1)
xgr 000000000000FFFF ^ AAAAAAAA00000000 = AAAAAAAA0000FFFF (cc=1)
xgr 0000000000007FFF ^ AAAAAAAA00000000 = AAAAAAAA00007FFF (cc=1)
xgr 0000000000008000 ^ AAAAAAAA00000000 = AAAAAAAA00008000 (cc=1)
xgr 00000000FFFFFFFF ^ AAAAAAAA00000000 = AAAAAAAAFFFFFFFF (cc=1)
xgr 0000000080000000 ^ AAAAAAAA00000000 = AAAAAAAA80000000 (cc=1)
xgr 000000007FFFFFFF ^ AAAAAAAA00000000 = AAAAAAAA7FFFFFFF (cc=1)
xgr AAAAAAAAAAAAAAAA ^ AAAAAAAA00000000 = 00000000AAAAAAAA (cc=1)
xgr 8000000000000000 ^ AAAAAAAA00000000 = 2AAAAAAA00000000 (cc=1)
xgr FFFFFFFFFFFFFFFF ^ AAAAAAAA00000000 = 55555555FFFFFFFF (cc=1)
xgr 5555555555555555 ^ AAAAAAAA00000000 = FFFFFFFF55555555 (cc=1)
xy 0000000000000000 ^ AAAAAAAA00000000 = 00000000AAAAAAAA (cc=1)
xy 0000000000000001 ^ AAAAAAAA00000000 = 00000000AAAAAAAB (cc=1)
xy 000000000000FFFF ^ AAAAAAAA00000000 = 00000000AAAA5555 (cc=1)
xy 0000000000007FFF ^ AAAAAAAA00000000 = 00000000AAAAD555 (cc=1)
xy 0000000000008000 ^ AAAAAAAA00000000 = 00000000AAAA2AAA (cc=1)
xy 00000000FFFFFFFF ^ AAAAAAAA00000000 = 0000000055555555 (cc=1)
xy 0000000080000000 ^ AAAAAAAA00000000 = 000000002AAAAAAA (cc=1)
xy 000000007FFFFFFF ^ AAAAAAAA00000000 = 00000000D5555555 (cc=1)
xy AAAAAAAAAAAAAAAA ^ AAAAAAAA00000000 = AAAAAAAA00000000 (cc=0)
xy 8000000000000000 ^ AAAAAAAA00000000 = 80000000AAAAAAAA (cc=1)
xy FFFFFFFFFFFFFFFF ^ AAAAAAAA00000000 = FFFFFFFF55555555 (cc=1)
xy 5555555555555555 ^ AAAAAAAA00000000 = 55555555FFFFFFFF (cc=1)
x 0000000000000000 ^ FFFFFFFF00000000 = 00000000FFFFFFFF (cc=1)
x 0000000000000001 ^ FFFFFFFF00000000 = 00000000FFFFFFFE (cc=1)
x 000000000000FFFF ^ FFFFFFFF00000000 = 00000000FFFF0000 (cc=1)
x 0000000000007FFF ^ FFFFFFFF00000000 = 00000000FFFF8000 (cc=1)
x 0000000000008000 ^ FFFFFFFF00000000 = 00000000FFFF7FFF (cc=1)
x 00000000FFFFFFFF ^ FFFFFFFF00000000 = 0000000000000000 (cc=0)
x 0000000080000000 ^ FFFFFFFF00000000 = 000000007FFFFFFF (cc=1)
x 000000007FFFFFFF ^ FFFFFFFF00000000 = 0000000080000000 (cc=1)
x AAAAAAAAAAAAAAAA ^ FFFFFFFF00000000 = AAAAAAAA55555555 (cc=1)
x 8000000000000000 ^ FFFFFFFF00000000 = 80000000FFFFFFFF (cc=1)
x FFFFFFFFFFFFFFFF ^ FFFFFFFF00000000 = FFFFFFFF00000000 (cc=0)
x 5555555555555555 ^ FFFFFFFF00000000 = 55555555AAAAAAAA (cc=1)
xg 0000000000000000 ^ FFFFFFFF00000000 = FFFFFFFF00000000 (cc=1)
xg 0000000000000001 ^ FFFFFFFF00000000 = FFFFFFFF00000001 (cc=1)
xg 000000000000FFFF ^ FFFFFFFF00000000 = FFFFFFFF0000FFFF (cc=1)
xg 0000000000007FFF ^ FFFFFFFF00000000 = FFFFFFFF00007FFF (cc=1)
xg 0000000000008000 ^ FFFFFFFF00000000 = FFFFFFFF00008000 (cc=1)
xg 00000000FFFFFFFF ^ FFFFFFFF00000000 = FFFFFFFFFFFFFFFF (cc=1)
xg 0000000080000000 ^ FFFFFFFF00000000 = FFFFFFFF80000000 (cc=1)
xg 000000007FFFFFFF ^ FFFFFFFF00000000 = FFFFFFFF7FFFFFFF (cc=1)
xg AAAAAAAAAAAAAAAA ^ FFFFFFFF00000000 = 55555555AAAAAAAA (cc=1)
xg 8000000000000000 ^ FFFFFFFF00000000 = 7FFFFFFF00000000 (cc=1)
xg FFFFFFFFFFFFFFFF ^ FFFFFFFF00000000 = 00000000FFFFFFFF (cc=1)
xg 5555555555555555 ^ FFFFFFFF00000000 = AAAAAAAA55555555 (cc=1)
xr 0000000000000000 ^ FFFFFFFF00000000 = 0000000000000000 (cc=0)
xr 0000000000000001 ^ FFFFFFFF00000000 = 0000000000000001 (cc=1)
xr 000000000000FFFF ^ FFFFFFFF00000000 = 000000000000FFFF (cc=1)
xr 0000000000007FFF ^ FFFFFFFF00000000 = 0000000000007FFF (cc=1)
xr 0000000000008000 ^ FFFFFFFF00000000 = 0000000000008000 (cc=1)
xr 00000000FFFFFFFF ^ FFFFFFFF00000000 = 00000000FFFFFFFF (cc=1)
xr 0000000080000000 ^ FFFFFFFF00000000 = 0000000080000000 (cc=1)
xr 000000007FFFFFFF ^ FFFFFFFF00000000 = 000000007FFFFFFF (cc=1)
xr AAAAAAAAAAAAAAAA ^ FFFFFFFF00000000 = AAAAAAAAAAAAAAAA (cc=1)
xr 8000000000000000 ^ FFFFFFFF00000000 = 8000000000000000 (cc=0)
xr FFFFFFFFFFFFFFFF ^ FFFFFFFF00000000 = FFFFFFFFFFFFFFFF (cc=1)
xr 5555555555555555 ^ FFFFFFFF00000000 = 5555555555555555 (cc=1)
xgr 0000000000000000 ^ FFFFFFFF00000000 = FFFFFFFF00000000 (cc=1)
xgr 0000000000000001 ^ FFFFFFFF00000000 = FFFFFFFF00000001 (cc=1)
xgr 000000000000FFFF ^ FFFFFFFF00000000 = FFFFFFFF0000FFFF (cc=1)
xgr 0000000000007FFF ^ FFFFFFFF00000000 = FFFFFFFF00007FFF (cc=1)
xgr 0000000000008000 ^ FFFFFFFF00000000 = FFFFFFFF00008000 (cc=1)
xgr 00000000FFFFFFFF ^ FFFFFFFF00000000 = FFFFFFFFFFFFFFFF (cc=1)
xgr 0000000080000000 ^ FFFFFFFF00000000 = FFFFFFFF80000000 (cc=1)
xgr 000000007FFFFFFF ^ FFFFFFFF00000000 = FFFFFFFF7FFFFFFF (cc=1)
xgr AAAAAAAAAAAAAAAA ^ FFFFFFFF00000000 = 55555555AAAAAAAA (cc=1)
xgr 8000000000000000 ^ FFFFFFFF00000000 = 7FFFFFFF00000000 (cc=1)
xgr FFFFFFFFFFFFFFFF ^ FFFFFFFF00000000 = 00000000FFFFFFFF (cc=1)
xgr 5555555555555555 ^ FFFFFFFF00000000 = AAAAAAAA55555555 (cc=1)
xy 0000000000000000 ^ FFFFFFFF00000000 = 00000000FFFFFFFF (cc=1)
xy 0000000000000001 ^ FFFFFFFF00000000 = 00000000FFFFFFFE (cc=1)
xy 000000000000FFFF ^ FFFFFFFF00000000 = 00000000FFFF0000 (cc=1)
xy 0000000000007FFF ^ FFFFFFFF00000000 = 00000000FFFF8000 (cc=1)
xy 0000000000008000 ^ FFFFFFFF00000000 = 00000000FFFF7FFF (cc=1)
xy 00000000FFFFFFFF ^ FFFFFFFF00000000 = 0000000000000000 (cc=0)
xy 0000000080000000 ^ FFFFFFFF00000000 = 000000007FFFFFFF (cc=1)
xy 000000007FFFFFFF ^ FFFFFFFF00000000 = 0000000080000000 (cc=1)
xy AAAAAAAAAAAAAAAA ^ FFFFFFFF00000000 = AAAAAAAA55555555 (cc=1)
xy 8000000000000000 ^ FFFFFFFF00000000 = 80000000FFFFFFFF (cc=1)
xy FFFFFFFFFFFFFFFF ^ FFFFFFFF00000000 = FFFFFFFF00000000 (cc=0)
xy 5555555555555555 ^ FFFFFFFF00000000 = 55555555AAAAAAAA (cc=1)
x 0000000000000000 ^ 000000007FFFFFFF = 0000000000000000 (cc=0)
x 0000000000000001 ^ 000000007FFFFFFF = 0000000000000001 (cc=1)
x 000000000000FFFF ^ 000000007FFFFFFF = 000000000000FFFF (cc=1)
x 0000000000007FFF ^ 000000007FFFFFFF = 0000000000007FFF (cc=1)
x 0000000000008000 ^ 000000007FFFFFFF = 0000000000008000 (cc=1)
x 00000000FFFFFFFF ^ 000000007FFFFFFF = 00000000FFFFFFFF (cc=1)
x 0000000080000000 ^ 000000007FFFFFFF = 0000000080000000 (cc=1)
x 000000007FFFFFFF ^ 000000007FFFFFFF = 000000007FFFFFFF (cc=1)
x AAAAAAAAAAAAAAAA ^ 000000007FFFFFFF = AAAAAAAAAAAAAAAA (cc=1)
x 8000000000000000 ^ 000000007FFFFFFF = 8000000000000000 (cc=0)
x FFFFFFFFFFFFFFFF ^ 000000007FFFFFFF = FFFFFFFFFFFFFFFF (cc=1)
x 5555555555555555 ^ 000000007FFFFFFF = 5555555555555555 (cc=1)
xg 0000000000000000 ^ 000000007FFFFFFF = 000000007FFFFFFF (cc=1)
xg 0000000000000001 ^ 000000007FFFFFFF = 000000007FFFFFFE (cc=1)
xg 000000000000FFFF ^ 000000007FFFFFFF = 000000007FFF0000 (cc=1)
xg 0000000000007FFF ^ 000000007FFFFFFF = 000000007FFF8000 (cc=1)
xg 0000000000008000 ^ 000000007FFFFFFF = 000000007FFF7FFF (cc=1)
xg 00000000FFFFFFFF ^ 000000007FFFFFFF = 0000000080000000 (cc=1)
xg 0000000080000000 ^ 000000007FFFFFFF = 00000000FFFFFFFF (cc=1)
xg 000000007FFFFFFF ^ 000000007FFFFFFF = 0000000000000000 (cc=0)
xg AAAAAAAAAAAAAAAA ^ 000000007FFFFFFF = AAAAAAAAD5555555 (cc=1)
xg 8000000000000000 ^ 000000007FFFFFFF = 800000007FFFFFFF (cc=1)
xg FFFFFFFFFFFFFFFF ^ 000000007FFFFFFF = FFFFFFFF80000000 (cc=1)
xg 5555555555555555 ^ 000000007FFFFFFF = 555555552AAAAAAA (cc=1)
xr 0000000000000000 ^ 000000007FFFFFFF = 000000007FFFFFFF (cc=1)
xr 0000000000000001 ^ 000000007FFFFFFF = 000000007FFFFFFE (cc=1)
xr 000000000000FFFF ^ 000000007FFFFFFF = 000000007FFF0000 (cc=1)
xr 0000000000007FFF ^ 000000007FFFFFFF = 000000007FFF8000 (cc=1)
xr 0000000000008000 ^ 000000007FFFFFFF = 000000007FFF7FFF (cc=1)
xr 00000000FFFFFFFF ^ 000000007FFFFFFF = 0000000080000000 (cc=1)
xr 0000000080000000 ^ 000000007FFFFFFF = 00000000FFFFFFFF (cc=1)
xr 000000007FFFFFFF ^ 000000007FFFFFFF = 0000000000000000 (cc=0)
xr AAAAAAAAAAAAAAAA ^ 000000007FFFFFFF = AAAAAAAAD5555555 (cc=1)
xr 8000000000000000 ^ 000000007FFFFFFF = 800000007FFFFFFF (cc=1)
xr FFFFFFFFFFFFFFFF ^ 000000007FFFFFFF = FFFFFFFF80000000 (cc=1)
xr 5555555555555555 ^ 000000007FFFFFFF = 555555552AAAAAAA (cc=1)
xgr 0000000000000000 ^ 000000007FFFFFFF = 000000007FFFFFFF (cc=1)
xgr 0000000000000001 ^ 000000007FFFFFFF = 000000007FFFFFFE (cc=1)
xgr 000000000000FFFF ^ 000000007FFFFFFF = 000000007FFF0000 (cc=1)
xgr 0000000000007FFF ^ 000000007FFFFFFF = 000000007FFF8000 (cc=1)
xgr 0000000000008000 ^ 000000007FFFFFFF = 000000007FFF7FFF (cc=1)
xgr 00000000FFFFFFFF ^ 000000007FFFFFFF = 0000000080000000 (cc=1)
xgr 0000000080000000 ^ 000000007FFFFFFF = 00000000FFFFFFFF (cc=1)
xgr 000000007FFFFFFF ^ 000000007FFFFFFF = 0000000000000000 (cc=0)
xgr AAAAAAAAAAAAAAAA ^ 000000007FFFFFFF = AAAAAAAAD5555555 (cc=1)
xgr 8000000000000000 ^ 000000007FFFFFFF = 800000007FFFFFFF (cc=1)
xgr FFFFFFFFFFFFFFFF ^ 000000007FFFFFFF = FFFFFFFF80000000 (cc=1)
xgr 5555555555555555 ^ 000000007FFFFFFF = 555555552AAAAAAA (cc=1)
xy 0000000000000000 ^ 000000007FFFFFFF = 0000000000000000 (cc=0)
xy 0000000000000001 ^ 000000007FFFFFFF = 0000000000000001 (cc=1)
xy 000000000000FFFF ^ 000000007FFFFFFF = 000000000000FFFF (cc=1)
xy 0000000000007FFF ^ 000000007FFFFFFF = 0000000000007FFF (cc=1)
xy 0000000000008000 ^ 000000007FFFFFFF = 0000000000008000 (cc=1)
xy 00000000FFFFFFFF ^ 000000007FFFFFFF = 00000000FFFFFFFF (cc=1)
xy 0000000080000000 ^ 000000007FFFFFFF = 0000000080000000 (cc=1)
xy 000000007FFFFFFF ^ 000000007FFFFFFF = 000000007FFFFFFF (cc=1)
xy AAAAAAAAAAAAAAAA ^ 000000007FFFFFFF = AAAAAAAAAAAAAAAA (cc=1)
xy 8000000000000000 ^ 000000007FFFFFFF = 8000000000000000 (cc=0)
xy FFFFFFFFFFFFFFFF ^ 000000007FFFFFFF = FFFFFFFFFFFFFFFF (cc=1)
xy 5555555555555555 ^ 000000007FFFFFFF = 5555555555555555 (cc=1)
x 0000000000000000 ^ 0000000080000000 = 0000000000000000 (cc=0)
x 0000000000000001 ^ 0000000080000000 = 0000000000000001 (cc=1)
x 000000000000FFFF ^ 0000000080000000 = 000000000000FFFF (cc=1)
x 0000000000007FFF ^ 0000000080000000 = 0000000000007FFF (cc=1)
x 0000000000008000 ^ 0000000080000000 = 0000000000008000 (cc=1)
x 00000000FFFFFFFF ^ 0000000080000000 = 00000000FFFFFFFF (cc=1)
x 0000000080000000 ^ 0000000080000000 = 0000000080000000 (cc=1)
x 000000007FFFFFFF ^ 0000000080000000 = 000000007FFFFFFF (cc=1)
x AAAAAAAAAAAAAAAA ^ 0000000080000000 = AAAAAAAAAAAAAAAA (cc=1)
x 8000000000000000 ^ 0000000080000000 = 8000000000000000 (cc=0)
x FFFFFFFFFFFFFFFF ^ 0000000080000000 = FFFFFFFFFFFFFFFF (cc=1)
x 5555555555555555 ^ 0000000080000000 = 5555555555555555 (cc=1)
xg 0000000000000000 ^ 0000000080000000 = 0000000080000000 (cc=1)
xg 0000000000000001 ^ 0000000080000000 = 0000000080000001 (cc=1)
xg 000000000000FFFF ^ 0000000080000000 = 000000008000FFFF (cc=1)
xg 0000000000007FFF ^ 0000000080000000 = 0000000080007FFF (cc=1)
xg 0000000000008000 ^ 0000000080000000 = 0000000080008000 (cc=1)
xg 00000000FFFFFFFF ^ 0000000080000000 = 000000007FFFFFFF (cc=1)
xg 0000000080000000 ^ 0000000080000000 = 0000000000000000 (cc=0)
xg 000000007FFFFFFF ^ 0000000080000000 = 00000000FFFFFFFF (cc=1)
xg AAAAAAAAAAAAAAAA ^ 0000000080000000 = AAAAAAAA2AAAAAAA (cc=1)
xg 8000000000000000 ^ 0000000080000000 = 8000000080000000 (cc=1)
xg FFFFFFFFFFFFFFFF ^ 0000000080000000 = FFFFFFFF7FFFFFFF (cc=1)
xg 5555555555555555 ^ 0000000080000000 = 55555555D5555555 (cc=1)
xr 0000000000000000 ^ 0000000080000000 = 0000000080000000 (cc=1)
xr 0000000000000001 ^ 0000000080000000 = 0000000080000001 (cc=1)
xr 000000000000FFFF ^ 0000000080000000 = 000000008000FFFF (cc=1)
xr 0000000000007FFF ^ 0000000080000000 = 0000000080007FFF (cc=1)
xr 0000000000008000 ^ 0000000080000000 = 0000000080008000 (cc=1)
xr 00000000FFFFFFFF ^ 0000000080000000 = 000000007FFFFFFF (cc=1)
xr 0000000080000000 ^ 0000000080000000 = 0000000000000000 (cc=0)
xr 000000007FFFFFFF ^ 0000000080000000 = 00000000FFFFFFFF (cc=1)
xr AAAAAAAAAAAAAAAA ^ 0000000080000000 = AAAAAAAA2AAAAAAA (cc=1)
xr 8000000000000000 ^ 0000000080000000 = 8000000080000000 (cc=1)
xr FFFFFFFFFFFFFFFF ^ 0000000080000000 = FFFFFFFF7FFFFFFF (cc=1)
xr 5555555555555555 ^ 0000000080000000 = 55555555D5555555 (cc=1)
xgr 0000000000000000 ^ 0000000080000000 = 0000000080000000 (cc=1)
xgr 0000000000000001 ^ 0000000080000000 = 0000000080000001 (cc=1)
xgr 000000000000FFFF ^ 0000000080000000 = 000000008000FFFF (cc=1)
xgr 0000000000007FFF ^ 0000000080000000 = 0000000080007FFF (cc=1)
xgr 0000000000008000 ^ 0000000080000000 = 0000000080008000 (cc=1)
xgr 00000000FFFFFFFF ^ 0000000080000000 = 000000007FFFFFFF (cc=1)
xgr 0000000080000000 ^ 0000000080000000 = 0000000000000000 (cc=0)
xgr 000000007FFFFFFF ^ 0000000080000000 = 00000000FFFFFFFF (cc=1)
xgr AAAAAAAAAAAAAAAA ^ 0000000080000000 = AAAAAAAA2AAAAAAA (cc=1)
xgr 8000000000000000 ^ 0000000080000000 = 8000000080000000 (cc=1)
xgr FFFFFFFFFFFFFFFF ^ 0000000080000000 = FFFFFFFF7FFFFFFF (cc=1)
xgr 5555555555555555 ^ 0000000080000000 = 55555555D5555555 (cc=1)
xy 0000000000000000 ^ 0000000080000000 = 0000000000000000 (cc=0)
xy 0000000000000001 ^ 0000000080000000 = 0000000000000001 (cc=1)
xy 000000000000FFFF ^ 0000000080000000 = 000000000000FFFF (cc=1)
xy 0000000000007FFF ^ 0000000080000000 = 0000000000007FFF (cc=1)
xy 0000000000008000 ^ 0000000080000000 = 0000000000008000 (cc=1)
xy 00000000FFFFFFFF ^ 0000000080000000 = 00000000FFFFFFFF (cc=1)
xy 0000000080000000 ^ 0000000080000000 = 0000000080000000 (cc=1)
xy 000000007FFFFFFF ^ 0000000080000000 = 000000007FFFFFFF (cc=1)
xy AAAAAAAAAAAAAAAA ^ 0000000080000000 = AAAAAAAAAAAAAAAA (cc=1)
xy 8000000000000000 ^ 0000000080000000 = 8000000000000000 (cc=0)
xy FFFFFFFFFFFFFFFF ^ 0000000080000000 = FFFFFFFFFFFFFFFF (cc=1)
xy 5555555555555555 ^ 0000000080000000 = 5555555555555555 (cc=1)
x 0000000000000000 ^ 0000000055555555 = 0000000000000000 (cc=0)
x 0000000000000001 ^ 0000000055555555 = 0000000000000001 (cc=1)
x 000000000000FFFF ^ 0000000055555555 = 000000000000FFFF (cc=1)
x 0000000000007FFF ^ 0000000055555555 = 0000000000007FFF (cc=1)
x 0000000000008000 ^ 0000000055555555 = 0000000000008000 (cc=1)
x 00000000FFFFFFFF ^ 0000000055555555 = 00000000FFFFFFFF (cc=1)
x 0000000080000000 ^ 0000000055555555 = 0000000080000000 (cc=1)
x 000000007FFFFFFF ^ 0000000055555555 = 000000007FFFFFFF (cc=1)
x AAAAAAAAAAAAAAAA ^ 0000000055555555 = AAAAAAAAAAAAAAAA (cc=1)
x 8000000000000000 ^ 0000000055555555 = 8000000000000000 (cc=0)
x FFFFFFFFFFFFFFFF ^ 0000000055555555 = FFFFFFFFFFFFFFFF (cc=1)
x 5555555555555555 ^ 0000000055555555 = 5555555555555555 (cc=1)
xg 0000000000000000 ^ 0000000055555555 = 0000000055555555 (cc=1)
xg 0000000000000001 ^ 0000000055555555 = 0000000055555554 (cc=1)
xg 000000000000FFFF ^ 0000000055555555 = 000000005555AAAA (cc=1)
xg 0000000000007FFF ^ 0000000055555555 = 0000000055552AAA (cc=1)
xg 0000000000008000 ^ 0000000055555555 = 000000005555D555 (cc=1)
xg 00000000FFFFFFFF ^ 0000000055555555 = 00000000AAAAAAAA (cc=1)
xg 0000000080000000 ^ 0000000055555555 = 00000000D5555555 (cc=1)
xg 000000007FFFFFFF ^ 0000000055555555 = 000000002AAAAAAA (cc=1)
xg AAAAAAAAAAAAAAAA ^ 0000000055555555 = AAAAAAAAFFFFFFFF (cc=1)
xg 8000000000000000 ^ 0000000055555555 = 8000000055555555 (cc=1)
xg FFFFFFFFFFFFFFFF ^ 0000000055555555 = FFFFFFFFAAAAAAAA (cc=1)
xg 5555555555555555 ^ 0000000055555555 = 5555555500000000 (cc=1)
xr 0000000000000000 ^ 0000000055555555 = 0000000055555555 (cc=1)
xr 0000000000000001 ^ 0000000055555555 = 0000000055555554 (cc=1)
xr 000000000000FFFF ^ 0000000055555555 = 000000005555AAAA (cc=1)
xr 0000000000007FFF ^ 0000000055555555 = 0000000055552AAA (cc=1)
xr 0000000000008000 ^ 0000000055555555 = 000000005555D555 (cc=1)
xr 00000000FFFFFFFF ^ 0000000055555555 = 00000000AAAAAAAA (cc=1)
xr 0000000080000000 ^ 0000000055555555 = 00000000D5555555 (cc=1)
xr 000000007FFFFFFF ^ 0000000055555555 = 000000002AAAAAAA (cc=1)
xr AAAAAAAAAAAAAAAA ^ 0000000055555555 = AAAAAAAAFFFFFFFF (cc=1)
xr 8000000000000000 ^ 0000000055555555 = 8000000055555555 (cc=1)
xr FFFFFFFFFFFFFFFF ^ 0000000055555555 = FFFFFFFFAAAAAAAA (cc=1)
xr 5555555555555555 ^ 0000000055555555 = 5555555500000000 (cc=0)
xgr 0000000000000000 ^ 0000000055555555 = 0000000055555555 (cc=1)
xgr 0000000000000001 ^ 0000000055555555 = 0000000055555554 (cc=1)
xgr 000000000000FFFF ^ 0000000055555555 = 000000005555AAAA (cc=1)
xgr 0000000000007FFF ^ 0000000055555555 = 0000000055552AAA (cc=1)
xgr 0000000000008000 ^ 0000000055555555 = 000000005555D555 (cc=1)
xgr 00000000FFFFFFFF ^ 0000000055555555 = 00000000AAAAAAAA (cc=1)
xgr 0000000080000000 ^ 0000000055555555 = 00000000D5555555 (cc=1)
xgr 000000007FFFFFFF ^ 0000000055555555 = 000000002AAAAAAA (cc=1)
xgr AAAAAAAAAAAAAAAA ^ 0000000055555555 = AAAAAAAAFFFFFFFF (cc=1)
xgr 8000000000000000 ^ 0000000055555555 = 8000000055555555 (cc=1)
xgr FFFFFFFFFFFFFFFF ^ 0000000055555555 = FFFFFFFFAAAAAAAA (cc=1)
xgr 5555555555555555 ^ 0000000055555555 = 5555555500000000 (cc=1)
xy 0000000000000000 ^ 0000000055555555 = 0000000000000000 (cc=0)
xy 0000000000000001 ^ 0000000055555555 = 0000000000000001 (cc=1)
xy 000000000000FFFF ^ 0000000055555555 = 000000000000FFFF (cc=1)
xy 0000000000007FFF ^ 0000000055555555 = 0000000000007FFF (cc=1)
xy 0000000000008000 ^ 0000000055555555 = 0000000000008000 (cc=1)
xy 00000000FFFFFFFF ^ 0000000055555555 = 00000000FFFFFFFF (cc=1)
xy 0000000080000000 ^ 0000000055555555 = 0000000080000000 (cc=1)
xy 000000007FFFFFFF ^ 0000000055555555 = 000000007FFFFFFF (cc=1)
xy AAAAAAAAAAAAAAAA ^ 0000000055555555 = AAAAAAAAAAAAAAAA (cc=1)
xy 8000000000000000 ^ 0000000055555555 = 8000000000000000 (cc=0)
xy FFFFFFFFFFFFFFFF ^ 0000000055555555 = FFFFFFFFFFFFFFFF (cc=1)
xy 5555555555555555 ^ 0000000055555555 = 5555555555555555 (cc=1)
x 0000000000000000 ^ 00000000FFFFFFFF = 0000000000000000 (cc=0)
x 0000000000000001 ^ 00000000FFFFFFFF = 0000000000000001 (cc=1)
x 000000000000FFFF ^ 00000000FFFFFFFF = 000000000000FFFF (cc=1)
x 0000000000007FFF ^ 00000000FFFFFFFF = 0000000000007FFF (cc=1)
x 0000000000008000 ^ 00000000FFFFFFFF = 0000000000008000 (cc=1)
x 00000000FFFFFFFF ^ 00000000FFFFFFFF = 00000000FFFFFFFF (cc=1)
x 0000000080000000 ^ 00000000FFFFFFFF = 0000000080000000 (cc=1)
x 000000007FFFFFFF ^ 00000000FFFFFFFF = 000000007FFFFFFF (cc=1)
x AAAAAAAAAAAAAAAA ^ 00000000FFFFFFFF = AAAAAAAAAAAAAAAA (cc=1)
x 8000000000000000 ^ 00000000FFFFFFFF = 8000000000000000 (cc=0)
x FFFFFFFFFFFFFFFF ^ 00000000FFFFFFFF = FFFFFFFFFFFFFFFF (cc=1)
x 5555555555555555 ^ 00000000FFFFFFFF = 5555555555555555 (cc=1)
xg 0000000000000000 ^ 00000000FFFFFFFF = 00000000FFFFFFFF (cc=1)
xg 0000000000000001 ^ 00000000FFFFFFFF = 00000000FFFFFFFE (cc=1)
xg 000000000000FFFF ^ 00000000FFFFFFFF = 00000000FFFF0000 (cc=1)
xg 0000000000007FFF ^ 00000000FFFFFFFF = 00000000FFFF8000 (cc=1)
xg 0000000000008000 ^ 00000000FFFFFFFF = 00000000FFFF7FFF (cc=1)
xg 00000000FFFFFFFF ^ 00000000FFFFFFFF = 0000000000000000 (cc=0)
xg 0000000080000000 ^ 00000000FFFFFFFF = 000000007FFFFFFF (cc=1)
xg 000000007FFFFFFF ^ 00000000FFFFFFFF = 0000000080000000 (cc=1)
xg AAAAAAAAAAAAAAAA ^ 00000000FFFFFFFF = AAAAAAAA55555555 (cc=1)
xg 8000000000000000 ^ 00000000FFFFFFFF = 80000000FFFFFFFF (cc=1)
xg FFFFFFFFFFFFFFFF ^ 00000000FFFFFFFF = FFFFFFFF00000000 (cc=1)
xg 5555555555555555 ^ 00000000FFFFFFFF = 55555555AAAAAAAA (cc=1)
xr 0000000000000000 ^ 00000000FFFFFFFF = 00000000FFFFFFFF (cc=1)
xr 0000000000000001 ^ 00000000FFFFFFFF = 00000000FFFFFFFE (cc=1)
xr 000000000000FFFF ^ 00000000FFFFFFFF = 00000000FFFF0000 (cc=1)
xr 0000000000007FFF ^ 00000000FFFFFFFF = 00000000FFFF8000 (cc=1)
xr 0000000000008000 ^ 00000000FFFFFFFF = 00000000FFFF7FFF (cc=1)
xr 00000000FFFFFFFF ^ 00000000FFFFFFFF = 0000000000000000 (cc=0)
xr 0000000080000000 ^ 00000000FFFFFFFF = 000000007FFFFFFF (cc=1)
xr 000000007FFFFFFF ^ 00000000FFFFFFFF = 0000000080000000 (cc=1)
xr AAAAAAAAAAAAAAAA ^ 00000000FFFFFFFF = AAAAAAAA55555555 (cc=1)
xr 8000000000000000 ^ 00000000FFFFFFFF = 80000000FFFFFFFF (cc=1)
xr FFFFFFFFFFFFFFFF ^ 00000000FFFFFFFF = FFFFFFFF00000000 (cc=0)
xr 5555555555555555 ^ 00000000FFFFFFFF = 55555555AAAAAAAA (cc=1)
xgr 0000000000000000 ^ 00000000FFFFFFFF = 00000000FFFFFFFF (cc=1)
xgr 0000000000000001 ^ 00000000FFFFFFFF = 00000000FFFFFFFE (cc=1)
xgr 000000000000FFFF ^ 00000000FFFFFFFF = 00000000FFFF0000 (cc=1)
xgr 0000000000007FFF ^ 00000000FFFFFFFF = 00000000FFFF8000 (cc=1)
xgr 0000000000008000 ^ 00000000FFFFFFFF = 00000000FFFF7FFF (cc=1)
xgr 00000000FFFFFFFF ^ 00000000FFFFFFFF = 0000000000000000 (cc=0)
xgr 0000000080000000 ^ 00000000FFFFFFFF = 000000007FFFFFFF (cc=1)
xgr 000000007FFFFFFF ^ 00000000FFFFFFFF = 0000000080000000 (cc=1)
xgr AAAAAAAAAAAAAAAA ^ 00000000FFFFFFFF = AAAAAAAA55555555 (cc=1)
xgr 8000000000000000 ^ 00000000FFFFFFFF = 80000000FFFFFFFF (cc=1)
xgr FFFFFFFFFFFFFFFF ^ 00000000FFFFFFFF = FFFFFFFF00000000 (cc=1)
xgr 5555555555555555 ^ 00000000FFFFFFFF = 55555555AAAAAAAA (cc=1)
xy 0000000000000000 ^ 00000000FFFFFFFF = 0000000000000000 (cc=0)
xy 0000000000000001 ^ 00000000FFFFFFFF = 0000000000000001 (cc=1)
xy 000000000000FFFF ^ 00000000FFFFFFFF = 000000000000FFFF (cc=1)
xy 0000000000007FFF ^ 00000000FFFFFFFF = 0000000000007FFF (cc=1)
xy 0000000000008000 ^ 00000000FFFFFFFF = 0000000000008000 (cc=1)
xy 00000000FFFFFFFF ^ 00000000FFFFFFFF = 00000000FFFFFFFF (cc=1)
xy 0000000080000000 ^ 00000000FFFFFFFF = 0000000080000000 (cc=1)
xy 000000007FFFFFFF ^ 00000000FFFFFFFF = 000000007FFFFFFF (cc=1)
xy AAAAAAAAAAAAAAAA ^ 00000000FFFFFFFF = AAAAAAAAAAAAAAAA (cc=1)
xy 8000000000000000 ^ 00000000FFFFFFFF = 8000000000000000 (cc=0)
xy FFFFFFFFFFFFFFFF ^ 00000000FFFFFFFF = FFFFFFFFFFFFFFFF (cc=1)
xy 5555555555555555 ^ 00000000FFFFFFFF = 5555555555555555 (cc=1)
x 0000000000000000 ^ 000000000000FFFF = 0000000000000000 (cc=0)
x 0000000000000001 ^ 000000000000FFFF = 0000000000000001 (cc=1)
x 000000000000FFFF ^ 000000000000FFFF = 000000000000FFFF (cc=1)
x 0000000000007FFF ^ 000000000000FFFF = 0000000000007FFF (cc=1)
x 0000000000008000 ^ 000000000000FFFF = 0000000000008000 (cc=1)
x 00000000FFFFFFFF ^ 000000000000FFFF = 00000000FFFFFFFF (cc=1)
x 0000000080000000 ^ 000000000000FFFF = 0000000080000000 (cc=1)
x 000000007FFFFFFF ^ 000000000000FFFF = 000000007FFFFFFF (cc=1)
x AAAAAAAAAAAAAAAA ^ 000000000000FFFF = AAAAAAAAAAAAAAAA (cc=1)
x 8000000000000000 ^ 000000000000FFFF = 8000000000000000 (cc=0)
x FFFFFFFFFFFFFFFF ^ 000000000000FFFF = FFFFFFFFFFFFFFFF (cc=1)
x 5555555555555555 ^ 000000000000FFFF = 5555555555555555 (cc=1)
xg 0000000000000000 ^ 000000000000FFFF = 000000000000FFFF (cc=1)
xg 0000000000000001 ^ 000000000000FFFF = 000000000000FFFE (cc=1)
xg 000000000000FFFF ^ 000000000000FFFF = 0000000000000000 (cc=0)
xg 0000000000007FFF ^ 000000000000FFFF = 0000000000008000 (cc=1)
xg 0000000000008000 ^ 000000000000FFFF = 0000000000007FFF (cc=1)
xg 00000000FFFFFFFF ^ 000000000000FFFF = 00000000FFFF0000 (cc=1)
xg 0000000080000000 ^ 000000000000FFFF = 000000008000FFFF (cc=1)
xg 000000007FFFFFFF ^ 000000000000FFFF = 000000007FFF0000 (cc=1)
xg AAAAAAAAAAAAAAAA ^ 000000000000FFFF = AAAAAAAAAAAA5555 (cc=1)
xg 8000000000000000 ^ 000000000000FFFF = 800000000000FFFF (cc=1)
xg FFFFFFFFFFFFFFFF ^ 000000000000FFFF = FFFFFFFFFFFF0000 (cc=1)
xg 5555555555555555 ^ 000000000000FFFF = 555555555555AAAA (cc=1)
xr 0000000000000000 ^ 000000000000FFFF = 000000000000FFFF (cc=1)
xr 0000000000000001 ^ 000000000000FFFF = 000000000000FFFE (cc=1)
xr 000000000000FFFF ^ 000000000000FFFF = 0000000000000000 (cc=0)
xr 0000000000007FFF ^ 000000000000FFFF = 0000000000008000 (cc=1)
xr 0000000000008000 ^ 000000000000FFFF = 0000000000007FFF (cc=1)
xr 00000000FFFFFFFF ^ 000000000000FFFF = 00000000FFFF0000 (cc=1)
xr 0000000080000000 ^ 000000000000FFFF = 000000008000FFFF (cc=1)
xr 000000007FFFFFFF ^ 000000000000FFFF = 000000007FFF0000 (cc=1)
xr AAAAAAAAAAAAAAAA ^ 000000000000FFFF = AAAAAAAAAAAA5555 (cc=1)
xr 8000000000000000 ^ 000000000000FFFF = 800000000000FFFF (cc=1)
xr FFFFFFFFFFFFFFFF ^ 000000000000FFFF = FFFFFFFFFFFF0000 (cc=1)
xr 5555555555555555 ^ 000000000000FFFF = 555555555555AAAA (cc=1)
xgr 0000000000000000 ^ 000000000000FFFF = 000000000000FFFF (cc=1)
xgr 0000000000000001 ^ 000000000000FFFF = 000000000000FFFE (cc=1)
xgr 000000000000FFFF ^ 000000000000FFFF = 0000000000000000 (cc=0)
xgr 0000000000007FFF ^ 000000000000FFFF = 0000000000008000 (cc=1)
xgr 0000000000008000 ^ 000000000000FFFF = 0000000000007FFF (cc=1)
xgr 00000000FFFFFFFF ^ 000000000000FFFF = 00000000FFFF0000 (cc=1)
xgr 0000000080000000 ^ 000000000000FFFF = 000000008000FFFF (cc=1)
xgr 000000007FFFFFFF ^ 000000000000FFFF = 000000007FFF0000 (cc=1)
xgr AAAAAAAAAAAAAAAA ^ 000000000000FFFF = AAAAAAAAAAAA5555 (cc=1)
xgr 8000000000000000 ^ 000000000000FFFF = 800000000000FFFF (cc=1)
xgr FFFFFFFFFFFFFFFF ^ 000000000000FFFF = FFFFFFFFFFFF0000 (cc=1)
xgr 5555555555555555 ^ 000000000000FFFF = 555555555555AAAA (cc=1)
xy 0000000000000000 ^ 000000000000FFFF = 0000000000000000 (cc=0)
xy 0000000000000001 ^ 000000000000FFFF = 0000000000000001 (cc=1)
xy 000000000000FFFF ^ 000000000000FFFF = 000000000000FFFF (cc=1)
xy 0000000000007FFF ^ 000000000000FFFF = 0000000000007FFF (cc=1)
xy 0000000000008000 ^ 000000000000FFFF = 0000000000008000 (cc=1)
xy 00000000FFFFFFFF ^ 000000000000FFFF = 00000000FFFFFFFF (cc=1)
xy 0000000080000000 ^ 000000000000FFFF = 0000000080000000 (cc=1)
xy 000000007FFFFFFF ^ 000000000000FFFF = 000000007FFFFFFF (cc=1)
xy AAAAAAAAAAAAAAAA ^ 000000000000FFFF = AAAAAAAAAAAAAAAA (cc=1)
xy 8000000000000000 ^ 000000000000FFFF = 8000000000000000 (cc=0)
xy FFFFFFFFFFFFFFFF ^ 000000000000FFFF = FFFFFFFFFFFFFFFF (cc=1)
xy 5555555555555555 ^ 000000000000FFFF = 5555555555555555 (cc=1)
x 0000000000000000 ^ 0000000000007FFF = 0000000000000000 (cc=0)
x 0000000000000001 ^ 0000000000007FFF = 0000000000000001 (cc=1)
x 000000000000FFFF ^ 0000000000007FFF = 000000000000FFFF (cc=1)
x 0000000000007FFF ^ 0000000000007FFF = 0000000000007FFF (cc=1)
x 0000000000008000 ^ 0000000000007FFF = 0000000000008000 (cc=1)
x 00000000FFFFFFFF ^ 0000000000007FFF = 00000000FFFFFFFF (cc=1)
x 0000000080000000 ^ 0000000000007FFF = 0000000080000000 (cc=1)
x 000000007FFFFFFF ^ 0000000000007FFF = 000000007FFFFFFF (cc=1)
x AAAAAAAAAAAAAAAA ^ 0000000000007FFF = AAAAAAAAAAAAAAAA (cc=1)
x 8000000000000000 ^ 0000000000007FFF = 8000000000000000 (cc=0)
x FFFFFFFFFFFFFFFF ^ 0000000000007FFF = FFFFFFFFFFFFFFFF (cc=1)
x 5555555555555555 ^ 0000000000007FFF = 5555555555555555 (cc=1)
xg 0000000000000000 ^ 0000000000007FFF = 0000000000007FFF (cc=1)
xg 0000000000000001 ^ 0000000000007FFF = 0000000000007FFE (cc=1)
xg 000000000000FFFF ^ 0000000000007FFF = 0000000000008000 (cc=1)
xg 0000000000007FFF ^ 0000000000007FFF = 0000000000000000 (cc=0)
xg 0000000000008000 ^ 0000000000007FFF = 000000000000FFFF (cc=1)
xg 00000000FFFFFFFF ^ 0000000000007FFF = 00000000FFFF8000 (cc=1)
xg 0000000080000000 ^ 0000000000007FFF = 0000000080007FFF (cc=1)
xg 000000007FFFFFFF ^ 0000000000007FFF = 000000007FFF8000 (cc=1)
xg AAAAAAAAAAAAAAAA ^ 0000000000007FFF = AAAAAAAAAAAAD555 (cc=1)
xg 8000000000000000 ^ 0000000000007FFF = 8000000000007FFF (cc=1)
xg FFFFFFFFFFFFFFFF ^ 0000000000007FFF = FFFFFFFFFFFF8000 (cc=1)
xg 5555555555555555 ^ 0000000000007FFF = 5555555555552AAA (cc=1)
xr 0000000000000000 ^ 0000000000007FFF = 0000000000007FFF (cc=1)
xr 0000000000000001 ^ 0000000000007FFF = 0000000000007FFE (cc=1)
xr 000000000000FFFF ^ 0000000000007FFF = 0000000000008000 (cc=1)
xr 0000000000007FFF ^ 0000000000007FFF = 0000000000000000 (cc=0)
xr 0000000000008000 ^ 0000000000007FFF = 000000000000FFFF (cc=1)
xr 00000000FFFFFFFF ^ 0000000000007FFF = 00000000FFFF8000 (cc=1)
xr 0000000080000000 ^ 0000000000007FFF = 0000000080007FFF (cc=1)
xr 000000007FFFFFFF ^ 0000000000007FFF = 000000007FFF8000 (cc=1)
xr AAAAAAAAAAAAAAAA ^ 0000000000007FFF = AAAAAAAAAAAAD555 (cc=1)
xr 8000000000000000 ^ 0000000000007FFF = 8000000000007FFF (cc=1)
xr FFFFFFFFFFFFFFFF ^ 0000000000007FFF = FFFFFFFFFFFF8000 (cc=1)
xr 5555555555555555 ^ 0000000000007FFF = 5555555555552AAA (cc=1)
xgr 0000000000000000 ^ 0000000000007FFF = 0000000000007FFF (cc=1)
xgr 0000000000000001 ^ 0000000000007FFF = 0000000000007FFE (cc=1)
xgr 000000000000FFFF ^ 0000000000007FFF = 0000000000008000 (cc=1)
xgr 0000000000007FFF ^ 0000000000007FFF = 0000000000000000 (cc=0)
xgr 0000000000008000 ^ 0000000000007FFF = 000000000000FFFF (cc=1)
xgr 00000000FFFFFFFF ^ 0000000000007FFF = 00000000FFFF8000 (cc=1)
xgr 0000000080000000 ^ 0000000000007FFF = 0000000080007FFF (cc=1)
xgr 000000007FFFFFFF ^ 0000000000007FFF = 000000007FFF8000 (cc=1)
xgr AAAAAAAAAAAAAAAA ^ 0000000000007FFF = AAAAAAAAAAAAD555 (cc=1)
xgr 8000000000000000 ^ 0000000000007FFF = 8000000000007FFF (cc=1)
xgr FFFFFFFFFFFFFFFF ^ 0000000000007FFF = FFFFFFFFFFFF8000 (cc=1)
xgr 5555555555555555 ^ 0000000000007FFF = 5555555555552AAA (cc=1)
xy 0000000000000000 ^ 0000000000007FFF = 0000000000000000 (cc=0)
xy 0000000000000001 ^ 0000000000007FFF = 0000000000000001 (cc=1)
xy 000000000000FFFF ^ 0000000000007FFF = 000000000000FFFF (cc=1)
xy 0000000000007FFF ^ 0000000000007FFF = 0000000000007FFF (cc=1)
xy 0000000000008000 ^ 0000000000007FFF = 0000000000008000 (cc=1)
xy 00000000FFFFFFFF ^ 0000000000007FFF = 00000000FFFFFFFF (cc=1)
xy 0000000080000000 ^ 0000000000007FFF = 0000000080000000 (cc=1)
xy 000000007FFFFFFF ^ 0000000000007FFF = 000000007FFFFFFF (cc=1)
xy AAAAAAAAAAAAAAAA ^ 0000000000007FFF = AAAAAAAAAAAAAAAA (cc=1)
xy 8000000000000000 ^ 0000000000007FFF = 8000000000000000 (cc=0)
xy FFFFFFFFFFFFFFFF ^ 0000000000007FFF = FFFFFFFFFFFFFFFF (cc=1)
xy 5555555555555555 ^ 0000000000007FFF = 5555555555555555 (cc=1)
x 0000000000000000 ^ 0000000000008000 = 0000000000000000 (cc=0)
x 0000000000000001 ^ 0000000000008000 = 0000000000000001 (cc=1)
x 000000000000FFFF ^ 0000000000008000 = 000000000000FFFF (cc=1)
x 0000000000007FFF ^ 0000000000008000 = 0000000000007FFF (cc=1)
x 0000000000008000 ^ 0000000000008000 = 0000000000008000 (cc=1)
x 00000000FFFFFFFF ^ 0000000000008000 = 00000000FFFFFFFF (cc=1)
x 0000000080000000 ^ 0000000000008000 = 0000000080000000 (cc=1)
x 000000007FFFFFFF ^ 0000000000008000 = 000000007FFFFFFF (cc=1)
x AAAAAAAAAAAAAAAA ^ 0000000000008000 = AAAAAAAAAAAAAAAA (cc=1)
x 8000000000000000 ^ 0000000000008000 = 8000000000000000 (cc=0)
x FFFFFFFFFFFFFFFF ^ 0000000000008000 = FFFFFFFFFFFFFFFF (cc=1)
x 5555555555555555 ^ 0000000000008000 = 5555555555555555 (cc=1)
xg 0000000000000000 ^ 0000000000008000 = 0000000000008000 (cc=1)
xg 0000000000000001 ^ 0000000000008000 = 0000000000008001 (cc=1)
xg 000000000000FFFF ^ 0000000000008000 = 0000000000007FFF (cc=1)
xg 0000000000007FFF ^ 0000000000008000 = 000000000000FFFF (cc=1)
xg 0000000000008000 ^ 0000000000008000 = 0000000000000000 (cc=0)
xg 00000000FFFFFFFF ^ 0000000000008000 = 00000000FFFF7FFF (cc=1)
xg 0000000080000000 ^ 0000000000008000 = 0000000080008000 (cc=1)
xg 000000007FFFFFFF ^ 0000000000008000 = 000000007FFF7FFF (cc=1)
xg AAAAAAAAAAAAAAAA ^ 0000000000008000 = AAAAAAAAAAAA2AAA (cc=1)
xg 8000000000000000 ^ 0000000000008000 = 8000000000008000 (cc=1)
xg FFFFFFFFFFFFFFFF ^ 0000000000008000 = FFFFFFFFFFFF7FFF (cc=1)
xg 5555555555555555 ^ 0000000000008000 = 555555555555D555 (cc=1)
xr 0000000000000000 ^ 0000000000008000 = 0000000000008000 (cc=1)
xr 0000000000000001 ^ 0000000000008000 = 0000000000008001 (cc=1)
xr 000000000000FFFF ^ 0000000000008000 = 0000000000007FFF (cc=1)
xr 0000000000007FFF ^ 0000000000008000 = 000000000000FFFF (cc=1)
xr 0000000000008000 ^ 0000000000008000 = 0000000000000000 (cc=0)
xr 00000000FFFFFFFF ^ 0000000000008000 = 00000000FFFF7FFF (cc=1)
xr 0000000080000000 ^ 0000000000008000 = 0000000080008000 (cc=1)
xr 000000007FFFFFFF ^ 0000000000008000 = 000000007FFF7FFF (cc=1)
xr AAAAAAAAAAAAAAAA ^ 0000000000008000 = AAAAAAAAAAAA2AAA (cc=1)
xr 8000000000000000 ^ 0000000000008000 = 8000000000008000 (cc=1)
xr FFFFFFFFFFFFFFFF ^ 0000000000008000 = FFFFFFFFFFFF7FFF (cc=1)
xr 5555555555555555 ^ 0000000000008000 = 555555555555D555 (cc=1)
xgr 0000000000000000 ^ 0000000000008000 = 0000000000008000 (cc=1)
xgr 0000000000000001 ^ 0000000000008000 = 0000000000008001 (cc=1)
xgr 000000000000FFFF ^ 0000000000008000 = 0000000000007FFF (cc=1)
xgr 0000000000007FFF ^ 0000000000008000 = 000000000000FFFF (cc=1)
xgr 0000000000008000 ^ 0000000000008000 = 0000000000000000 (cc=0)
xgr 00000000FFFFFFFF ^ 0000000000008000 = 00000000FFFF7FFF (cc=1)
xgr 0000000080000000 ^ 0000000000008000 = 0000000080008000 (cc=1)
xgr 000000007FFFFFFF ^ 0000000000008000 = 000000007FFF7FFF (cc=1)
xgr AAAAAAAAAAAAAAAA ^ 0000000000008000 = AAAAAAAAAAAA2AAA (cc=1)
xgr 8000000000000000 ^ 0000000000008000 = 8000000000008000 (cc=1)
xgr FFFFFFFFFFFFFFFF ^ 0000000000008000 = FFFFFFFFFFFF7FFF (cc=1)
xgr 5555555555555555 ^ 0000000000008000 = 555555555555D555 (cc=1)
xy 0000000000000000 ^ 0000000000008000 = 0000000000000000 (cc=0)
xy 0000000000000001 ^ 0000000000008000 = 0000000000000001 (cc=1)
xy 000000000000FFFF ^ 0000000000008000 = 000000000000FFFF (cc=1)
xy 0000000000007FFF ^ 0000000000008000 = 0000000000007FFF (cc=1)
xy 0000000000008000 ^ 0000000000008000 = 0000000000008000 (cc=1)
xy 00000000FFFFFFFF ^ 0000000000008000 = 00000000FFFFFFFF (cc=1)
xy 0000000080000000 ^ 0000000000008000 = 0000000080000000 (cc=1)
xy 000000007FFFFFFF ^ 0000000000008000 = 000000007FFFFFFF (cc=1)
xy AAAAAAAAAAAAAAAA ^ 0000000000008000 = AAAAAAAAAAAAAAAA (cc=1)
xy 8000000000000000 ^ 0000000000008000 = 8000000000000000 (cc=0)
xy FFFFFFFFFFFFFFFF ^ 0000000000008000 = FFFFFFFFFFFFFFFF (cc=1)
xy 5555555555555555 ^ 0000000000008000 = 5555555555555555 (cc=1)
x 0000000000000000 ^ 000000000000FFFF = 0000000000000000 (cc=0)
x 0000000000000001 ^ 000000000000FFFF = 0000000000000001 (cc=1)
x 000000000000FFFF ^ 000000000000FFFF = 000000000000FFFF (cc=1)
x 0000000000007FFF ^ 000000000000FFFF = 0000000000007FFF (cc=1)
x 0000000000008000 ^ 000000000000FFFF = 0000000000008000 (cc=1)
x 00000000FFFFFFFF ^ 000000000000FFFF = 00000000FFFFFFFF (cc=1)
x 0000000080000000 ^ 000000000000FFFF = 0000000080000000 (cc=1)
x 000000007FFFFFFF ^ 000000000000FFFF = 000000007FFFFFFF (cc=1)
x AAAAAAAAAAAAAAAA ^ 000000000000FFFF = AAAAAAAAAAAAAAAA (cc=1)
x 8000000000000000 ^ 000000000000FFFF = 8000000000000000 (cc=0)
x FFFFFFFFFFFFFFFF ^ 000000000000FFFF = FFFFFFFFFFFFFFFF (cc=1)
x 5555555555555555 ^ 000000000000FFFF = 5555555555555555 (cc=1)
xg 0000000000000000 ^ 000000000000FFFF = 000000000000FFFF (cc=1)
xg 0000000000000001 ^ 000000000000FFFF = 000000000000FFFE (cc=1)
xg 000000000000FFFF ^ 000000000000FFFF = 0000000000000000 (cc=0)
xg 0000000000007FFF ^ 000000000000FFFF = 0000000000008000 (cc=1)
xg 0000000000008000 ^ 000000000000FFFF = 0000000000007FFF (cc=1)
xg 00000000FFFFFFFF ^ 000000000000FFFF = 00000000FFFF0000 (cc=1)
xg 0000000080000000 ^ 000000000000FFFF = 000000008000FFFF (cc=1)
xg 000000007FFFFFFF ^ 000000000000FFFF = 000000007FFF0000 (cc=1)
xg AAAAAAAAAAAAAAAA ^ 000000000000FFFF = AAAAAAAAAAAA5555 (cc=1)
xg 8000000000000000 ^ 000000000000FFFF = 800000000000FFFF (cc=1)
xg FFFFFFFFFFFFFFFF ^ 000000000000FFFF = FFFFFFFFFFFF0000 (cc=1)
xg 5555555555555555 ^ 000000000000FFFF = 555555555555AAAA (cc=1)
xr 0000000000000000 ^ 000000000000FFFF = 000000000000FFFF (cc=1)
xr 0000000000000001 ^ 000000000000FFFF = 000000000000FFFE (cc=1)
xr 000000000000FFFF ^ 000000000000FFFF = 0000000000000000 (cc=0)
xr 0000000000007FFF ^ 000000000000FFFF = 0000000000008000 (cc=1)
xr 0000000000008000 ^ 000000000000FFFF = 0000000000007FFF (cc=1)
xr 00000000FFFFFFFF ^ 000000000000FFFF = 00000000FFFF0000 (cc=1)
xr 0000000080000000 ^ 000000000000FFFF = 000000008000FFFF (cc=1)
xr 000000007FFFFFFF ^ 000000000000FFFF = 000000007FFF0000 (cc=1)
xr AAAAAAAAAAAAAAAA ^ 000000000000FFFF = AAAAAAAAAAAA5555 (cc=1)
xr 8000000000000000 ^ 000000000000FFFF = 800000000000FFFF (cc=1)
xr FFFFFFFFFFFFFFFF ^ 000000000000FFFF = FFFFFFFFFFFF0000 (cc=1)
xr 5555555555555555 ^ 000000000000FFFF = 555555555555AAAA (cc=1)
xgr 0000000000000000 ^ 000000000000FFFF = 000000000000FFFF (cc=1)
xgr 0000000000000001 ^ 000000000000FFFF = 000000000000FFFE (cc=1)
xgr 000000000000FFFF ^ 000000000000FFFF = 0000000000000000 (cc=0)
xgr 0000000000007FFF ^ 000000000000FFFF = 0000000000008000 (cc=1)
xgr 0000000000008000 ^ 000000000000FFFF = 0000000000007FFF (cc=1)
xgr 00000000FFFFFFFF ^ 000000000000FFFF = 00000000FFFF0000 (cc=1)
xgr 0000000080000000 ^ 000000000000FFFF = 000000008000FFFF (cc=1)
xgr 000000007FFFFFFF ^ 000000000000FFFF = 000000007FFF0000 (cc=1)
xgr AAAAAAAAAAAAAAAA ^ 000000000000FFFF = AAAAAAAAAAAA5555 (cc=1)
xgr 8000000000000000 ^ 000000000000FFFF = 800000000000FFFF (cc=1)
xgr FFFFFFFFFFFFFFFF ^ 000000000000FFFF = FFFFFFFFFFFF0000 (cc=1)
xgr 5555555555555555 ^ 000000000000FFFF = 555555555555AAAA (cc=1)
xy 0000000000000000 ^ 000000000000FFFF = 0000000000000000 (cc=0)
xy 0000000000000001 ^ 000000000000FFFF = 0000000000000001 (cc=1)
xy 000000000000FFFF ^ 000000000000FFFF = 000000000000FFFF (cc=1)
xy 0000000000007FFF ^ 000000000000FFFF = 0000000000007FFF (cc=1)
xy 0000000000008000 ^ 000000000000FFFF = 0000000000008000 (cc=1)
xy 00000000FFFFFFFF ^ 000000000000FFFF = 00000000FFFFFFFF (cc=1)
xy 0000000080000000 ^ 000000000000FFFF = 0000000080000000 (cc=1)
xy 000000007FFFFFFF ^ 000000000000FFFF = 000000007FFFFFFF (cc=1)
xy AAAAAAAAAAAAAAAA ^ 000000000000FFFF = AAAAAAAAAAAAAAAA (cc=1)
xy 8000000000000000 ^ 000000000000FFFF = 8000000000000000 (cc=0)
xy FFFFFFFFFFFFFFFF ^ 000000000000FFFF = FFFFFFFFFFFFFFFF (cc=1)
xy 5555555555555555 ^ 000000000000FFFF = 5555555555555555 (cc=1)
xi 0000000000000000 ^ 0000000000000000 = 0000000000000000 (cc=0)
xi 0000000000000001 ^ 0000000000000000 = 0000000000000001 (cc=0)
xi 000000000000FFFF ^ 0000000000000000 = 000000000000FFFF (cc=0)
xi 0000000000007FFF ^ 0000000000000000 = 0000000000007FFF (cc=0)
xi 0000000000008000 ^ 0000000000000000 = 0000000000008000 (cc=0)
xi 00000000FFFFFFFF ^ 0000000000000000 = 00000000FFFFFFFF (cc=0)
xi 0000000080000000 ^ 0000000000000000 = 0000000080000000 (cc=0)
xi 000000007FFFFFFF ^ 0000000000000000 = 000000007FFFFFFF (cc=0)
xi AAAAAAAAAAAAAAAA ^ 0000000000000000 = AAAAAAAAAAAAAAAA (cc=1)
xi 8000000000000000 ^ 0000000000000000 = 8000000000000000 (cc=1)
xi FFFFFFFFFFFFFFFF ^ 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
xi 5555555555555555 ^ 0000000000000000 = 5555555555555555 (cc=1)
xi 0000000000000000 ^ 00000000000000FF = FF00000000000000 (cc=1)
xi 0000000000000001 ^ 00000000000000FF = FF00000000000001 (cc=1)
xi 000000000000FFFF ^ 00000000000000FF = FF0000000000FFFF (cc=1)
xi 0000000000007FFF ^ 00000000000000FF = FF00000000007FFF (cc=1)
xi 0000000000008000 ^ 00000000000000FF = FF00000000008000 (cc=1)
xi 00000000FFFFFFFF ^ 00000000000000FF = FF000000FFFFFFFF (cc=1)
xi 0000000080000000 ^ 00000000000000FF = FF00000080000000 (cc=1)
xi 000000007FFFFFFF ^ 00000000000000FF = FF0000007FFFFFFF (cc=1)
xi AAAAAAAAAAAAAAAA ^ 00000000000000FF = 55AAAAAAAAAAAAAA (cc=1)
xi 8000000000000000 ^ 00000000000000FF = 7F00000000000000 (cc=1)
xi FFFFFFFFFFFFFFFF ^ 00000000000000FF = 00FFFFFFFFFFFFFF (cc=0)
xi 5555555555555555 ^ 00000000000000FF = AA55555555555555 (cc=1)
xi 0000000000000000 ^ 0000000000000080 = 8000000000000000 (cc=1)
xi 0000000000000001 ^ 0000000000000080 = 8000000000000001 (cc=1)
xi 000000000000FFFF ^ 0000000000000080 = 800000000000FFFF (cc=1)
xi 0000000000007FFF ^ 0000000000000080 = 8000000000007FFF (cc=1)
xi 0000000000008000 ^ 0000000000000080 = 8000000000008000 (cc=1)
xi 00000000FFFFFFFF ^ 0000000000000080 = 80000000FFFFFFFF (cc=1)
xi 0000000080000000 ^ 0000000000000080 = 8000000080000000 (cc=1)
xi 000000007FFFFFFF ^ 0000000000000080 = 800000007FFFFFFF (cc=1)
xi AAAAAAAAAAAAAAAA ^ 0000000000000080 = 2AAAAAAAAAAAAAAA (cc=1)
xi 8000000000000000 ^ 0000000000000080 = 0000000000000000 (cc=0)
xi FFFFFFFFFFFFFFFF ^ 0000000000000080 = 7FFFFFFFFFFFFFFF (cc=1)
xi 5555555555555555 ^ 0000000000000080 = D555555555555555 (cc=1)
xi 0000000000000000 ^ 00000000000000AA = AA00000000000000 (cc=1)
xi 0000000000000001 ^ 00000000000000AA = AA00000000000001 (cc=1)
xi 000000000000FFFF ^ 00000000000000AA = AA0000000000FFFF (cc=1)
xi 0000000000007FFF ^ 00000000000000AA = AA00000000007FFF (cc=1)
xi 0000000000008000 ^ 00000000000000AA = AA00000000008000 (cc=1)
xi 00000000FFFFFFFF ^ 00000000000000AA = AA000000FFFFFFFF (cc=1)
xi 0000000080000000 ^ 00000000000000AA = AA00000080000000 (cc=1)
xi 000000007FFFFFFF ^ 00000000000000AA = AA0000007FFFFFFF (cc=1)
xi AAAAAAAAAAAAAAAA ^ 00000000000000AA = 00AAAAAAAAAAAAAA (cc=0)
xi 8000000000000000 ^ 00000000000000AA = 2A00000000000000 (cc=1)
xi FFFFFFFFFFFFFFFF ^ 00000000000000AA = 55FFFFFFFFFFFFFF (cc=1)
xi 5555555555555555 ^ 00000000000000AA = FF55555555555555 (cc=1)
xi 0000000000000000 ^ 0000000000000055 = 5500000000000000 (cc=1)
xi 0000000000000001 ^ 0000000000000055 = 5500000000000001 (cc=1)
xi 000000000000FFFF ^ 0000000000000055 = 550000000000FFFF (cc=1)
xi 0000000000007FFF ^ 0000000000000055 = 5500000000007FFF (cc=1)
xi 0000000000008000 ^ 0000000000000055 = 5500000000008000 (cc=1)
xi 00000000FFFFFFFF ^ 0000000000000055 = 55000000FFFFFFFF (cc=1)
xi 0000000080000000 ^ 0000000000000055 = 5500000080000000 (cc=1)
xi 000000007FFFFFFF ^ 0000000000000055 = 550000007FFFFFFF (cc=1)
xi AAAAAAAAAAAAAAAA ^ 0000000000000055 = FFAAAAAAAAAAAAAA (cc=1)
xi 8000000000000000 ^ 0000000000000055 = D500000000000000 (cc=1)
xi FFFFFFFFFFFFFFFF ^ 0000000000000055 = AAFFFFFFFFFFFFFF (cc=1)
xi 5555555555555555 ^ 0000000000000055 = 0055555555555555 (cc=0)
xiy 0000000000000000 ^ 0000000000000000 = 0000000000000000 (cc=0)
xiy 0000000000000001 ^ 0000000000000000 = 0000000000000001 (cc=0)
xiy 000000000000FFFF ^ 0000000000000000 = 000000000000FFFF (cc=0)
xiy 0000000000007FFF ^ 0000000000000000 = 0000000000007FFF (cc=0)
xiy 0000000000008000 ^ 0000000000000000 = 0000000000008000 (cc=0)
xiy 00000000FFFFFFFF ^ 0000000000000000 = 00000000FFFFFFFF (cc=0)
xiy 0000000080000000 ^ 0000000000000000 = 0000000080000000 (cc=0)
xiy 000000007FFFFFFF ^ 0000000000000000 = 000000007FFFFFFF (cc=0)
xiy AAAAAAAAAAAAAAAA ^ 0000000000000000 = AAAAAAAAAAAAAAAA (cc=1)
xiy 8000000000000000 ^ 0000000000000000 = 8000000000000000 (cc=1)
xiy FFFFFFFFFFFFFFFF ^ 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
xiy 5555555555555555 ^ 0000000000000000 = 5555555555555555 (cc=1)
xiy 0000000000000000 ^ 00000000000000FF = FF00000000000000 (cc=1)
xiy 0000000000000001 ^ 00000000000000FF = FF00000000000001 (cc=1)
xiy 000000000000FFFF ^ 00000000000000FF = FF0000000000FFFF (cc=1)
xiy 0000000000007FFF ^ 00000000000000FF = FF00000000007FFF (cc=1)
xiy 0000000000008000 ^ 00000000000000FF = FF00000000008000 (cc=1)
xiy 00000000FFFFFFFF ^ 00000000000000FF = FF000000FFFFFFFF (cc=1)
xiy 0000000080000000 ^ 00000000000000FF = FF00000080000000 (cc=1)
xiy 000000007FFFFFFF ^ 00000000000000FF = FF0000007FFFFFFF (cc=1)
xiy AAAAAAAAAAAAAAAA ^ 00000000000000FF = 55AAAAAAAAAAAAAA (cc=1)
xiy 8000000000000000 ^ 00000000000000FF = 7F00000000000000 (cc=1)
xiy FFFFFFFFFFFFFFFF ^ 00000000000000FF = 00FFFFFFFFFFFFFF (cc=0)
xiy 5555555555555555 ^ 00000000000000FF = AA55555555555555 (cc=1)
xiy 0000000000000000 ^ 0000000000000080 = 8000000000000000 (cc=1)
xiy 0000000000000001 ^ 0000000000000080 = 8000000000000001 (cc=1)
xiy 000000000000FFFF ^ 0000000000000080 = 800000000000FFFF (cc=1)
xiy 0000000000007FFF ^ 0000000000000080 = 8000000000007FFF (cc=1)
xiy 0000000000008000 ^ 0000000000000080 = 8000000000008000 (cc=1)
xiy 00000000FFFFFFFF ^ 0000000000000080 = 80000000FFFFFFFF (cc=1)
xiy 0000000080000000 ^ 0000000000000080 = 8000000080000000 (cc=1)
xiy 000000007FFFFFFF ^ 0000000000000080 = 800000007FFFFFFF (cc=1)
xiy AAAAAAAAAAAAAAAA ^ 0000000000000080 = 2AAAAAAAAAAAAAAA (cc=1)
xiy 8000000000000000 ^ 0000000000000080 = 0000000000000000 (cc=0)
xiy FFFFFFFFFFFFFFFF ^ 0000000000000080 = 7FFFFFFFFFFFFFFF (cc=1)
xiy 5555555555555555 ^ 0000000000000080 = D555555555555555 (cc=1)
xiy 0000000000000000 ^ 00000000000000AA = AA00000000000000 (cc=1)
xiy 0000000000000001 ^ 00000000000000AA = AA00000000000001 (cc=1)
xiy 000000000000FFFF ^ 00000000000000AA = AA0000000000FFFF (cc=1)
xiy 0000000000007FFF ^ 00000000000000AA = AA00000000007FFF (cc=1)
xiy 0000000000008000 ^ 00000000000000AA = AA00000000008000 (cc=1)
xiy 00000000FFFFFFFF ^ 00000000000000AA = AA000000FFFFFFFF (cc=1)
xiy 0000000080000000 ^ 00000000000000AA = AA00000080000000 (cc=1)
xiy 000000007FFFFFFF ^ 00000000000000AA = AA0000007FFFFFFF (cc=1)
xiy AAAAAAAAAAAAAAAA ^ 00000000000000AA = 00AAAAAAAAAAAAAA (cc=0)
xiy 8000000000000000 ^ 00000000000000AA = 2A00000000000000 (cc=1)
xiy FFFFFFFFFFFFFFFF ^ 00000000000000AA = 55FFFFFFFFFFFFFF (cc=1)
xiy 5555555555555555 ^ 00000000000000AA = FF55555555555555 (cc=1)
xiy 0000000000000000 ^ 0000000000000055 = 5500000000000000 (cc=1)
xiy 0000000000000001 ^ 0000000000000055 = 5500000000000001 (cc=1)
xiy 000000000000FFFF ^ 0000000000000055 = 550000000000FFFF (cc=1)
xiy 0000000000007FFF ^ 0000000000000055 = 5500000000007FFF (cc=1)
xiy 0000000000008000 ^ 0000000000000055 = 5500000000008000 (cc=1)
xiy 00000000FFFFFFFF ^ 0000000000000055 = 55000000FFFFFFFF (cc=1)
xiy 0000000080000000 ^ 0000000000000055 = 5500000080000000 (cc=1)
xiy 000000007FFFFFFF ^ 0000000000000055 = 550000007FFFFFFF (cc=1)
xiy AAAAAAAAAAAAAAAA ^ 0000000000000055 = FFAAAAAAAAAAAAAA (cc=1)
xiy 8000000000000000 ^ 0000000000000055 = D500000000000000 (cc=1)
xiy FFFFFFFFFFFFFFFF ^ 0000000000000055 = AAFFFFFFFFFFFFFF (cc=1)
xiy 5555555555555555 ^ 0000000000000055 = 0055555555555555 (cc=0)