1x 0000000000000000 ^ 0000000000000000 = 0000000000000000 (cc=0)
2x 0000000000000001 ^ 0000000000000000 = 0000000000000001 (cc=1)
3x 000000000000FFFF ^ 0000000000000000 = 000000000000FFFF (cc=1)
4x 0000000000007FFF ^ 0000000000000000 = 0000000000007FFF (cc=1)
5x 0000000000008000 ^ 0000000000000000 = 0000000000008000 (cc=1)
6x 00000000FFFFFFFF ^ 0000000000000000 = 00000000FFFFFFFF (cc=1)
7x 0000000080000000 ^ 0000000000000000 = 0000000080000000 (cc=1)
8x 000000007FFFFFFF ^ 0000000000000000 = 000000007FFFFFFF (cc=1)
9x AAAAAAAAAAAAAAAA ^ 0000000000000000 = AAAAAAAAAAAAAAAA (cc=1)
10x 8000000000000000 ^ 0000000000000000 = 8000000000000000 (cc=0)
11x FFFFFFFFFFFFFFFF ^ 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
12x 5555555555555555 ^ 0000000000000000 = 5555555555555555 (cc=1)
13xg 0000000000000000 ^ 0000000000000000 = 0000000000000000 (cc=0)
14xg 0000000000000001 ^ 0000000000000000 = 0000000000000001 (cc=1)
15xg 000000000000FFFF ^ 0000000000000000 = 000000000000FFFF (cc=1)
16xg 0000000000007FFF ^ 0000000000000000 = 0000000000007FFF (cc=1)
17xg 0000000000008000 ^ 0000000000000000 = 0000000000008000 (cc=1)
18xg 00000000FFFFFFFF ^ 0000000000000000 = 00000000FFFFFFFF (cc=1)
19xg 0000000080000000 ^ 0000000000000000 = 0000000080000000 (cc=1)
20xg 000000007FFFFFFF ^ 0000000000000000 = 000000007FFFFFFF (cc=1)
21xg AAAAAAAAAAAAAAAA ^ 0000000000000000 = AAAAAAAAAAAAAAAA (cc=1)
22xg 8000000000000000 ^ 0000000000000000 = 8000000000000000 (cc=1)
23xg FFFFFFFFFFFFFFFF ^ 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
24xg 5555555555555555 ^ 0000000000000000 = 5555555555555555 (cc=1)
25xr 0000000000000000 ^ 0000000000000000 = 0000000000000000 (cc=0)
26xr 0000000000000001 ^ 0000000000000000 = 0000000000000001 (cc=1)
27xr 000000000000FFFF ^ 0000000000000000 = 000000000000FFFF (cc=1)
28xr 0000000000007FFF ^ 0000000000000000 = 0000000000007FFF (cc=1)
29xr 0000000000008000 ^ 0000000000000000 = 0000000000008000 (cc=1)
30xr 00000000FFFFFFFF ^ 0000000000000000 = 00000000FFFFFFFF (cc=1)
31xr 0000000080000000 ^ 0000000000000000 = 0000000080000000 (cc=1)
32xr 000000007FFFFFFF ^ 0000000000000000 = 000000007FFFFFFF (cc=1)
33xr AAAAAAAAAAAAAAAA ^ 0000000000000000 = AAAAAAAAAAAAAAAA (cc=1)
34xr 8000000000000000 ^ 0000000000000000 = 8000000000000000 (cc=0)
35xr FFFFFFFFFFFFFFFF ^ 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
36xr 5555555555555555 ^ 0000000000000000 = 5555555555555555 (cc=1)
37xgr 0000000000000000 ^ 0000000000000000 = 0000000000000000 (cc=0)
38xgr 0000000000000001 ^ 0000000000000000 = 0000000000000001 (cc=1)
39xgr 000000000000FFFF ^ 0000000000000000 = 000000000000FFFF (cc=1)
40xgr 0000000000007FFF ^ 0000000000000000 = 0000000000007FFF (cc=1)
41xgr 0000000000008000 ^ 0000000000000000 = 0000000000008000 (cc=1)
42xgr 00000000FFFFFFFF ^ 0000000000000000 = 00000000FFFFFFFF (cc=1)
43xgr 0000000080000000 ^ 0000000000000000 = 0000000080000000 (cc=1)
44xgr 000000007FFFFFFF ^ 0000000000000000 = 000000007FFFFFFF (cc=1)
45xgr AAAAAAAAAAAAAAAA ^ 0000000000000000 = AAAAAAAAAAAAAAAA (cc=1)
46xgr 8000000000000000 ^ 0000000000000000 = 8000000000000000 (cc=1)
47xgr FFFFFFFFFFFFFFFF ^ 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
48xgr 5555555555555555 ^ 0000000000000000 = 5555555555555555 (cc=1)
49xy 0000000000000000 ^ 0000000000000000 = 0000000000000000 (cc=0)
50xy 0000000000000001 ^ 0000000000000000 = 0000000000000001 (cc=1)
51xy 000000000000FFFF ^ 0000000000000000 = 000000000000FFFF (cc=1)
52xy 0000000000007FFF ^ 0000000000000000 = 0000000000007FFF (cc=1)
53xy 0000000000008000 ^ 0000000000000000 = 0000000000008000 (cc=1)
54xy 00000000FFFFFFFF ^ 0000000000000000 = 00000000FFFFFFFF (cc=1)
55xy 0000000080000000 ^ 0000000000000000 = 0000000080000000 (cc=1)
56xy 000000007FFFFFFF ^ 0000000000000000 = 000000007FFFFFFF (cc=1)
57xy AAAAAAAAAAAAAAAA ^ 0000000000000000 = AAAAAAAAAAAAAAAA (cc=1)
58xy 8000000000000000 ^ 0000000000000000 = 8000000000000000 (cc=0)
59xy FFFFFFFFFFFFFFFF ^ 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
60xy 5555555555555555 ^ 0000000000000000 = 5555555555555555 (cc=1)
61x 0000000000000000 ^ 5555555555555555 = 0000000055555555 (cc=1)
62x 0000000000000001 ^ 5555555555555555 = 0000000055555554 (cc=1)
63x 000000000000FFFF ^ 5555555555555555 = 000000005555AAAA (cc=1)
64x 0000000000007FFF ^ 5555555555555555 = 0000000055552AAA (cc=1)
65x 0000000000008000 ^ 5555555555555555 = 000000005555D555 (cc=1)
66x 00000000FFFFFFFF ^ 5555555555555555 = 00000000AAAAAAAA (cc=1)
67x 0000000080000000 ^ 5555555555555555 = 00000000D5555555 (cc=1)
68x 000000007FFFFFFF ^ 5555555555555555 = 000000002AAAAAAA (cc=1)
69x AAAAAAAAAAAAAAAA ^ 5555555555555555 = AAAAAAAAFFFFFFFF (cc=1)
70x 8000000000000000 ^ 5555555555555555 = 8000000055555555 (cc=1)
71x FFFFFFFFFFFFFFFF ^ 5555555555555555 = FFFFFFFFAAAAAAAA (cc=1)
72x 5555555555555555 ^ 5555555555555555 = 5555555500000000 (cc=0)
73xg 0000000000000000 ^ 5555555555555555 = 5555555555555555 (cc=1)
74xg 0000000000000001 ^ 5555555555555555 = 5555555555555554 (cc=1)
75xg 000000000000FFFF ^ 5555555555555555 = 555555555555AAAA (cc=1)
76xg 0000000000007FFF ^ 5555555555555555 = 5555555555552AAA (cc=1)
77xg 0000000000008000 ^ 5555555555555555 = 555555555555D555 (cc=1)
78xg 00000000FFFFFFFF ^ 5555555555555555 = 55555555AAAAAAAA (cc=1)
79xg 0000000080000000 ^ 5555555555555555 = 55555555D5555555 (cc=1)
80xg 000000007FFFFFFF ^ 5555555555555555 = 555555552AAAAAAA (cc=1)
81xg AAAAAAAAAAAAAAAA ^ 5555555555555555 = FFFFFFFFFFFFFFFF (cc=1)
82xg 8000000000000000 ^ 5555555555555555 = D555555555555555 (cc=1)
83xg FFFFFFFFFFFFFFFF ^ 5555555555555555 = AAAAAAAAAAAAAAAA (cc=1)
84xg 5555555555555555 ^ 5555555555555555 = 0000000000000000 (cc=0)
85xr 0000000000000000 ^ 5555555555555555 = 0000000055555555 (cc=1)
86xr 0000000000000001 ^ 5555555555555555 = 0000000055555554 (cc=1)
87xr 000000000000FFFF ^ 5555555555555555 = 000000005555AAAA (cc=1)
88xr 0000000000007FFF ^ 5555555555555555 = 0000000055552AAA (cc=1)
89xr 0000000000008000 ^ 5555555555555555 = 000000005555D555 (cc=1)
90xr 00000000FFFFFFFF ^ 5555555555555555 = 00000000AAAAAAAA (cc=1)
91xr 0000000080000000 ^ 5555555555555555 = 00000000D5555555 (cc=1)
92xr 000000007FFFFFFF ^ 5555555555555555 = 000000002AAAAAAA (cc=1)
93xr AAAAAAAAAAAAAAAA ^ 5555555555555555 = AAAAAAAAFFFFFFFF (cc=1)
94xr 8000000000000000 ^ 5555555555555555 = 8000000055555555 (cc=1)
95xr FFFFFFFFFFFFFFFF ^ 5555555555555555 = FFFFFFFFAAAAAAAA (cc=1)
96xr 5555555555555555 ^ 5555555555555555 = 5555555500000000 (cc=0)
97xgr 0000000000000000 ^ 5555555555555555 = 5555555555555555 (cc=1)
98xgr 0000000000000001 ^ 5555555555555555 = 5555555555555554 (cc=1)
99xgr 000000000000FFFF ^ 5555555555555555 = 555555555555AAAA (cc=1)
100xgr 0000000000007FFF ^ 5555555555555555 = 5555555555552AAA (cc=1)
101xgr 0000000000008000 ^ 5555555555555555 = 555555555555D555 (cc=1)
102xgr 00000000FFFFFFFF ^ 5555555555555555 = 55555555AAAAAAAA (cc=1)
103xgr 0000000080000000 ^ 5555555555555555 = 55555555D5555555 (cc=1)
104xgr 000000007FFFFFFF ^ 5555555555555555 = 555555552AAAAAAA (cc=1)
105xgr AAAAAAAAAAAAAAAA ^ 5555555555555555 = FFFFFFFFFFFFFFFF (cc=1)
106xgr 8000000000000000 ^ 5555555555555555 = D555555555555555 (cc=1)
107xgr FFFFFFFFFFFFFFFF ^ 5555555555555555 = AAAAAAAAAAAAAAAA (cc=1)
108xgr 5555555555555555 ^ 5555555555555555 = 0000000000000000 (cc=0)
109xy 0000000000000000 ^ 5555555555555555 = 0000000055555555 (cc=1)
110xy 0000000000000001 ^ 5555555555555555 = 0000000055555554 (cc=1)
111xy 000000000000FFFF ^ 5555555555555555 = 000000005555AAAA (cc=1)
112xy 0000000000007FFF ^ 5555555555555555 = 0000000055552AAA (cc=1)
113xy 0000000000008000 ^ 5555555555555555 = 000000005555D555 (cc=1)
114xy 00000000FFFFFFFF ^ 5555555555555555 = 00000000AAAAAAAA (cc=1)
115xy 0000000080000000 ^ 5555555555555555 = 00000000D5555555 (cc=1)
116xy 000000007FFFFFFF ^ 5555555555555555 = 000000002AAAAAAA (cc=1)
117xy AAAAAAAAAAAAAAAA ^ 5555555555555555 = AAAAAAAAFFFFFFFF (cc=1)
118xy 8000000000000000 ^ 5555555555555555 = 8000000055555555 (cc=1)
119xy FFFFFFFFFFFFFFFF ^ 5555555555555555 = FFFFFFFFAAAAAAAA (cc=1)
120xy 5555555555555555 ^ 5555555555555555 = 5555555500000000 (cc=0)
121x 0000000000000000 ^ AAAAAAAAAAAAAAAA = 00000000AAAAAAAA (cc=1)
122x 0000000000000001 ^ AAAAAAAAAAAAAAAA = 00000000AAAAAAAB (cc=1)
123x 000000000000FFFF ^ AAAAAAAAAAAAAAAA = 00000000AAAA5555 (cc=1)
124x 0000000000007FFF ^ AAAAAAAAAAAAAAAA = 00000000AAAAD555 (cc=1)
125x 0000000000008000 ^ AAAAAAAAAAAAAAAA = 00000000AAAA2AAA (cc=1)
126x 00000000FFFFFFFF ^ AAAAAAAAAAAAAAAA = 0000000055555555 (cc=1)
127x 0000000080000000 ^ AAAAAAAAAAAAAAAA = 000000002AAAAAAA (cc=1)
128x 000000007FFFFFFF ^ AAAAAAAAAAAAAAAA = 00000000D5555555 (cc=1)
129x AAAAAAAAAAAAAAAA ^ AAAAAAAAAAAAAAAA = AAAAAAAA00000000 (cc=0)
130x 8000000000000000 ^ AAAAAAAAAAAAAAAA = 80000000AAAAAAAA (cc=1)
131x FFFFFFFFFFFFFFFF ^ AAAAAAAAAAAAAAAA = FFFFFFFF55555555 (cc=1)
132x 5555555555555555 ^ AAAAAAAAAAAAAAAA = 55555555FFFFFFFF (cc=1)
133xg 0000000000000000 ^ AAAAAAAAAAAAAAAA = AAAAAAAAAAAAAAAA (cc=1)
134xg 0000000000000001 ^ AAAAAAAAAAAAAAAA = AAAAAAAAAAAAAAAB (cc=1)
135xg 000000000000FFFF ^ AAAAAAAAAAAAAAAA = AAAAAAAAAAAA5555 (cc=1)
136xg 0000000000007FFF ^ AAAAAAAAAAAAAAAA = AAAAAAAAAAAAD555 (cc=1)
137xg 0000000000008000 ^ AAAAAAAAAAAAAAAA = AAAAAAAAAAAA2AAA (cc=1)
138xg 00000000FFFFFFFF ^ AAAAAAAAAAAAAAAA = AAAAAAAA55555555 (cc=1)
139xg 0000000080000000 ^ AAAAAAAAAAAAAAAA = AAAAAAAA2AAAAAAA (cc=1)
140xg 000000007FFFFFFF ^ AAAAAAAAAAAAAAAA = AAAAAAAAD5555555 (cc=1)
141xg AAAAAAAAAAAAAAAA ^ AAAAAAAAAAAAAAAA = 0000000000000000 (cc=0)
142xg 8000000000000000 ^ AAAAAAAAAAAAAAAA = 2AAAAAAAAAAAAAAA (cc=1)
143xg FFFFFFFFFFFFFFFF ^ AAAAAAAAAAAAAAAA = 5555555555555555 (cc=1)
144xg 5555555555555555 ^ AAAAAAAAAAAAAAAA = FFFFFFFFFFFFFFFF (cc=1)
145xr 0000000000000000 ^ AAAAAAAAAAAAAAAA = 00000000AAAAAAAA (cc=1)
146xr 0000000000000001 ^ AAAAAAAAAAAAAAAA = 00000000AAAAAAAB (cc=1)
147xr 000000000000FFFF ^ AAAAAAAAAAAAAAAA = 00000000AAAA5555 (cc=1)
148xr 0000000000007FFF ^ AAAAAAAAAAAAAAAA = 00000000AAAAD555 (cc=1)
149xr 0000000000008000 ^ AAAAAAAAAAAAAAAA = 00000000AAAA2AAA (cc=1)
150xr 00000000FFFFFFFF ^ AAAAAAAAAAAAAAAA = 0000000055555555 (cc=1)
151xr 0000000080000000 ^ AAAAAAAAAAAAAAAA = 000000002AAAAAAA (cc=1)
152xr 000000007FFFFFFF ^ AAAAAAAAAAAAAAAA = 00000000D5555555 (cc=1)
153xr AAAAAAAAAAAAAAAA ^ AAAAAAAAAAAAAAAA = AAAAAAAA00000000 (cc=0)
154xr 8000000000000000 ^ AAAAAAAAAAAAAAAA = 80000000AAAAAAAA (cc=1)
155xr FFFFFFFFFFFFFFFF ^ AAAAAAAAAAAAAAAA = FFFFFFFF55555555 (cc=1)
156xr 5555555555555555 ^ AAAAAAAAAAAAAAAA = 55555555FFFFFFFF (cc=1)
157xgr 0000000000000000 ^ AAAAAAAAAAAAAAAA = AAAAAAAAAAAAAAAA (cc=1)
158xgr 0000000000000001 ^ AAAAAAAAAAAAAAAA = AAAAAAAAAAAAAAAB (cc=1)
159xgr 000000000000FFFF ^ AAAAAAAAAAAAAAAA = AAAAAAAAAAAA5555 (cc=1)
160xgr 0000000000007FFF ^ AAAAAAAAAAAAAAAA = AAAAAAAAAAAAD555 (cc=1)
161xgr 0000000000008000 ^ AAAAAAAAAAAAAAAA = AAAAAAAAAAAA2AAA (cc=1)
162xgr 00000000FFFFFFFF ^ AAAAAAAAAAAAAAAA = AAAAAAAA55555555 (cc=1)
163xgr 0000000080000000 ^ AAAAAAAAAAAAAAAA = AAAAAAAA2AAAAAAA (cc=1)
164xgr 000000007FFFFFFF ^ AAAAAAAAAAAAAAAA = AAAAAAAAD5555555 (cc=1)
165xgr AAAAAAAAAAAAAAAA ^ AAAAAAAAAAAAAAAA = 0000000000000000 (cc=0)
166xgr 8000000000000000 ^ AAAAAAAAAAAAAAAA = 2AAAAAAAAAAAAAAA (cc=1)
167xgr FFFFFFFFFFFFFFFF ^ AAAAAAAAAAAAAAAA = 5555555555555555 (cc=1)
168xgr 5555555555555555 ^ AAAAAAAAAAAAAAAA = FFFFFFFFFFFFFFFF (cc=1)
169xy 0000000000000000 ^ AAAAAAAAAAAAAAAA = 00000000AAAAAAAA (cc=1)
170xy 0000000000000001 ^ AAAAAAAAAAAAAAAA = 00000000AAAAAAAB (cc=1)
171xy 000000000000FFFF ^ AAAAAAAAAAAAAAAA = 00000000AAAA5555 (cc=1)
172xy 0000000000007FFF ^ AAAAAAAAAAAAAAAA = 00000000AAAAD555 (cc=1)
173xy 0000000000008000 ^ AAAAAAAAAAAAAAAA = 00000000AAAA2AAA (cc=1)
174xy 00000000FFFFFFFF ^ AAAAAAAAAAAAAAAA = 0000000055555555 (cc=1)
175xy 0000000080000000 ^ AAAAAAAAAAAAAAAA = 000000002AAAAAAA (cc=1)
176xy 000000007FFFFFFF ^ AAAAAAAAAAAAAAAA = 00000000D5555555 (cc=1)
177xy AAAAAAAAAAAAAAAA ^ AAAAAAAAAAAAAAAA = AAAAAAAA00000000 (cc=0)
178xy 8000000000000000 ^ AAAAAAAAAAAAAAAA = 80000000AAAAAAAA (cc=1)
179xy FFFFFFFFFFFFFFFF ^ AAAAAAAAAAAAAAAA = FFFFFFFF55555555 (cc=1)
180xy 5555555555555555 ^ AAAAAAAAAAAAAAAA = 55555555FFFFFFFF (cc=1)
181x 0000000000000000 ^ 8000000000000000 = 0000000080000000 (cc=1)
182x 0000000000000001 ^ 8000000000000000 = 0000000080000001 (cc=1)
183x 000000000000FFFF ^ 8000000000000000 = 000000008000FFFF (cc=1)
184x 0000000000007FFF ^ 8000000000000000 = 0000000080007FFF (cc=1)
185x 0000000000008000 ^ 8000000000000000 = 0000000080008000 (cc=1)
186x 00000000FFFFFFFF ^ 8000000000000000 = 000000007FFFFFFF (cc=1)
187x 0000000080000000 ^ 8000000000000000 = 0000000000000000 (cc=0)
188x 000000007FFFFFFF ^ 8000000000000000 = 00000000FFFFFFFF (cc=1)
189x AAAAAAAAAAAAAAAA ^ 8000000000000000 = AAAAAAAA2AAAAAAA (cc=1)
190x 8000000000000000 ^ 8000000000000000 = 8000000080000000 (cc=1)
191x FFFFFFFFFFFFFFFF ^ 8000000000000000 = FFFFFFFF7FFFFFFF (cc=1)
192x 5555555555555555 ^ 8000000000000000 = 55555555D5555555 (cc=1)
193xg 0000000000000000 ^ 8000000000000000 = 8000000000000000 (cc=1)
194xg 0000000000000001 ^ 8000000000000000 = 8000000000000001 (cc=1)
195xg 000000000000FFFF ^ 8000000000000000 = 800000000000FFFF (cc=1)
196xg 0000000000007FFF ^ 8000000000000000 = 8000000000007FFF (cc=1)
197xg 0000000000008000 ^ 8000000000000000 = 8000000000008000 (cc=1)
198xg 00000000FFFFFFFF ^ 8000000000000000 = 80000000FFFFFFFF (cc=1)
199xg 0000000080000000 ^ 8000000000000000 = 8000000080000000 (cc=1)
200xg 000000007FFFFFFF ^ 8000000000000000 = 800000007FFFFFFF (cc=1)
201xg AAAAAAAAAAAAAAAA ^ 8000000000000000 = 2AAAAAAAAAAAAAAA (cc=1)
202xg 8000000000000000 ^ 8000000000000000 = 0000000000000000 (cc=0)
203xg FFFFFFFFFFFFFFFF ^ 8000000000000000 = 7FFFFFFFFFFFFFFF (cc=1)
204xg 5555555555555555 ^ 8000000000000000 = D555555555555555 (cc=1)
205xr 0000000000000000 ^ 8000000000000000 = 0000000000000000 (cc=0)
206xr 0000000000000001 ^ 8000000000000000 = 0000000000000001 (cc=1)
207xr 000000000000FFFF ^ 8000000000000000 = 000000000000FFFF (cc=1)
208xr 0000000000007FFF ^ 8000000000000000 = 0000000000007FFF (cc=1)
209xr 0000000000008000 ^ 8000000000000000 = 0000000000008000 (cc=1)
210xr 00000000FFFFFFFF ^ 8000000000000000 = 00000000FFFFFFFF (cc=1)
211xr 0000000080000000 ^ 8000000000000000 = 0000000080000000 (cc=1)
212xr 000000007FFFFFFF ^ 8000000000000000 = 000000007FFFFFFF (cc=1)
213xr AAAAAAAAAAAAAAAA ^ 8000000000000000 = AAAAAAAAAAAAAAAA (cc=1)
214xr 8000000000000000 ^ 8000000000000000 = 8000000000000000 (cc=0)
215xr FFFFFFFFFFFFFFFF ^ 8000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
216xr 5555555555555555 ^ 8000000000000000 = 5555555555555555 (cc=1)
217xgr 0000000000000000 ^ 8000000000000000 = 8000000000000000 (cc=1)
218xgr 0000000000000001 ^ 8000000000000000 = 8000000000000001 (cc=1)
219xgr 000000000000FFFF ^ 8000000000000000 = 800000000000FFFF (cc=1)
220xgr 0000000000007FFF ^ 8000000000000000 = 8000000000007FFF (cc=1)
221xgr 0000000000008000 ^ 8000000000000000 = 8000000000008000 (cc=1)
222xgr 00000000FFFFFFFF ^ 8000000000000000 = 80000000FFFFFFFF (cc=1)
223xgr 0000000080000000 ^ 8000000000000000 = 8000000080000000 (cc=1)
224xgr 000000007FFFFFFF ^ 8000000000000000 = 800000007FFFFFFF (cc=1)
225xgr AAAAAAAAAAAAAAAA ^ 8000000000000000 = 2AAAAAAAAAAAAAAA (cc=1)
226xgr 8000000000000000 ^ 8000000000000000 = 0000000000000000 (cc=0)
227xgr FFFFFFFFFFFFFFFF ^ 8000000000000000 = 7FFFFFFFFFFFFFFF (cc=1)
228xgr 5555555555555555 ^ 8000000000000000 = D555555555555555 (cc=1)
229xy 0000000000000000 ^ 8000000000000000 = 0000000080000000 (cc=1)
230xy 0000000000000001 ^ 8000000000000000 = 0000000080000001 (cc=1)
231xy 000000000000FFFF ^ 8000000000000000 = 000000008000FFFF (cc=1)
232xy 0000000000007FFF ^ 8000000000000000 = 0000000080007FFF (cc=1)
233xy 0000000000008000 ^ 8000000000000000 = 0000000080008000 (cc=1)
234xy 00000000FFFFFFFF ^ 8000000000000000 = 000000007FFFFFFF (cc=1)
235xy 0000000080000000 ^ 8000000000000000 = 0000000000000000 (cc=0)
236xy 000000007FFFFFFF ^ 8000000000000000 = 00000000FFFFFFFF (cc=1)
237xy AAAAAAAAAAAAAAAA ^ 8000000000000000 = AAAAAAAA2AAAAAAA (cc=1)
238xy 8000000000000000 ^ 8000000000000000 = 8000000080000000 (cc=1)
239xy FFFFFFFFFFFFFFFF ^ 8000000000000000 = FFFFFFFF7FFFFFFF (cc=1)
240xy 5555555555555555 ^ 8000000000000000 = 55555555D5555555 (cc=1)
241x 0000000000000000 ^ FFFFFFFFFFFFFFFF = 00000000FFFFFFFF (cc=1)
242x 0000000000000001 ^ FFFFFFFFFFFFFFFF = 00000000FFFFFFFE (cc=1)
243x 000000000000FFFF ^ FFFFFFFFFFFFFFFF = 00000000FFFF0000 (cc=1)
244x 0000000000007FFF ^ FFFFFFFFFFFFFFFF = 00000000FFFF8000 (cc=1)
245x 0000000000008000 ^ FFFFFFFFFFFFFFFF = 00000000FFFF7FFF (cc=1)
246x 00000000FFFFFFFF ^ FFFFFFFFFFFFFFFF = 0000000000000000 (cc=0)
247x 0000000080000000 ^ FFFFFFFFFFFFFFFF = 000000007FFFFFFF (cc=1)
248x 000000007FFFFFFF ^ FFFFFFFFFFFFFFFF = 0000000080000000 (cc=1)
249x AAAAAAAAAAAAAAAA ^ FFFFFFFFFFFFFFFF = AAAAAAAA55555555 (cc=1)
250x 8000000000000000 ^ FFFFFFFFFFFFFFFF = 80000000FFFFFFFF (cc=1)
251x FFFFFFFFFFFFFFFF ^ FFFFFFFFFFFFFFFF = FFFFFFFF00000000 (cc=0)
252x 5555555555555555 ^ FFFFFFFFFFFFFFFF = 55555555AAAAAAAA (cc=1)
253xg 0000000000000000 ^ FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFF (cc=1)
254xg 0000000000000001 ^ FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFE (cc=1)
255xg 000000000000FFFF ^ FFFFFFFFFFFFFFFF = FFFFFFFFFFFF0000 (cc=1)
256xg 0000000000007FFF ^ FFFFFFFFFFFFFFFF = FFFFFFFFFFFF8000 (cc=1)
257xg 0000000000008000 ^ FFFFFFFFFFFFFFFF = FFFFFFFFFFFF7FFF (cc=1)
258xg 00000000FFFFFFFF ^ FFFFFFFFFFFFFFFF = FFFFFFFF00000000 (cc=1)
259xg 0000000080000000 ^ FFFFFFFFFFFFFFFF = FFFFFFFF7FFFFFFF (cc=1)
260xg 000000007FFFFFFF ^ FFFFFFFFFFFFFFFF = FFFFFFFF80000000 (cc=1)
261xg AAAAAAAAAAAAAAAA ^ FFFFFFFFFFFFFFFF = 5555555555555555 (cc=1)
262xg 8000000000000000 ^ FFFFFFFFFFFFFFFF = 7FFFFFFFFFFFFFFF (cc=1)
263xg FFFFFFFFFFFFFFFF ^ FFFFFFFFFFFFFFFF = 0000000000000000 (cc=0)
264xg 5555555555555555 ^ FFFFFFFFFFFFFFFF = AAAAAAAAAAAAAAAA (cc=1)
265xr 0000000000000000 ^ FFFFFFFFFFFFFFFF = 00000000FFFFFFFF (cc=1)
266xr 0000000000000001 ^ FFFFFFFFFFFFFFFF = 00000000FFFFFFFE (cc=1)
267xr 000000000000FFFF ^ FFFFFFFFFFFFFFFF = 00000000FFFF0000 (cc=1)
268xr 0000000000007FFF ^ FFFFFFFFFFFFFFFF = 00000000FFFF8000 (cc=1)
269xr 0000000000008000 ^ FFFFFFFFFFFFFFFF = 00000000FFFF7FFF (cc=1)
270xr 00000000FFFFFFFF ^ FFFFFFFFFFFFFFFF = 0000000000000000 (cc=0)
271xr 0000000080000000 ^ FFFFFFFFFFFFFFFF = 000000007FFFFFFF (cc=1)
272xr 000000007FFFFFFF ^ FFFFFFFFFFFFFFFF = 0000000080000000 (cc=1)
273xr AAAAAAAAAAAAAAAA ^ FFFFFFFFFFFFFFFF = AAAAAAAA55555555 (cc=1)
274xr 8000000000000000 ^ FFFFFFFFFFFFFFFF = 80000000FFFFFFFF (cc=1)
275xr FFFFFFFFFFFFFFFF ^ FFFFFFFFFFFFFFFF = FFFFFFFF00000000 (cc=0)
276xr 5555555555555555 ^ FFFFFFFFFFFFFFFF = 55555555AAAAAAAA (cc=1)
277xgr 0000000000000000 ^ FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFF (cc=1)
278xgr 0000000000000001 ^ FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFE (cc=1)
279xgr 000000000000FFFF ^ FFFFFFFFFFFFFFFF = FFFFFFFFFFFF0000 (cc=1)
280xgr 0000000000007FFF ^ FFFFFFFFFFFFFFFF = FFFFFFFFFFFF8000 (cc=1)
281xgr 0000000000008000 ^ FFFFFFFFFFFFFFFF = FFFFFFFFFFFF7FFF (cc=1)
282xgr 00000000FFFFFFFF ^ FFFFFFFFFFFFFFFF = FFFFFFFF00000000 (cc=1)
283xgr 0000000080000000 ^ FFFFFFFFFFFFFFFF = FFFFFFFF7FFFFFFF (cc=1)
284xgr 000000007FFFFFFF ^ FFFFFFFFFFFFFFFF = FFFFFFFF80000000 (cc=1)
285xgr AAAAAAAAAAAAAAAA ^ FFFFFFFFFFFFFFFF = 5555555555555555 (cc=1)
286xgr 8000000000000000 ^ FFFFFFFFFFFFFFFF = 7FFFFFFFFFFFFFFF (cc=1)
287xgr FFFFFFFFFFFFFFFF ^ FFFFFFFFFFFFFFFF = 0000000000000000 (cc=0)
288xgr 5555555555555555 ^ FFFFFFFFFFFFFFFF = AAAAAAAAAAAAAAAA (cc=1)
289xy 0000000000000000 ^ FFFFFFFFFFFFFFFF = 00000000FFFFFFFF (cc=1)
290xy 0000000000000001 ^ FFFFFFFFFFFFFFFF = 00000000FFFFFFFE (cc=1)
291xy 000000000000FFFF ^ FFFFFFFFFFFFFFFF = 00000000FFFF0000 (cc=1)
292xy 0000000000007FFF ^ FFFFFFFFFFFFFFFF = 00000000FFFF8000 (cc=1)
293xy 0000000000008000 ^ FFFFFFFFFFFFFFFF = 00000000FFFF7FFF (cc=1)
294xy 00000000FFFFFFFF ^ FFFFFFFFFFFFFFFF = 0000000000000000 (cc=0)
295xy 0000000080000000 ^ FFFFFFFFFFFFFFFF = 000000007FFFFFFF (cc=1)
296xy 000000007FFFFFFF ^ FFFFFFFFFFFFFFFF = 0000000080000000 (cc=1)
297xy AAAAAAAAAAAAAAAA ^ FFFFFFFFFFFFFFFF = AAAAAAAA55555555 (cc=1)
298xy 8000000000000000 ^ FFFFFFFFFFFFFFFF = 80000000FFFFFFFF (cc=1)
299xy FFFFFFFFFFFFFFFF ^ FFFFFFFFFFFFFFFF = FFFFFFFF00000000 (cc=0)
300xy 5555555555555555 ^ FFFFFFFFFFFFFFFF = 55555555AAAAAAAA (cc=1)
301x 0000000000000000 ^ 7FFFFFFF00000000 = 000000007FFFFFFF (cc=1)
302x 0000000000000001 ^ 7FFFFFFF00000000 = 000000007FFFFFFE (cc=1)
303x 000000000000FFFF ^ 7FFFFFFF00000000 = 000000007FFF0000 (cc=1)
304x 0000000000007FFF ^ 7FFFFFFF00000000 = 000000007FFF8000 (cc=1)
305x 0000000000008000 ^ 7FFFFFFF00000000 = 000000007FFF7FFF (cc=1)
306x 00000000FFFFFFFF ^ 7FFFFFFF00000000 = 0000000080000000 (cc=1)
307x 0000000080000000 ^ 7FFFFFFF00000000 = 00000000FFFFFFFF (cc=1)
308x 000000007FFFFFFF ^ 7FFFFFFF00000000 = 0000000000000000 (cc=0)
309x AAAAAAAAAAAAAAAA ^ 7FFFFFFF00000000 = AAAAAAAAD5555555 (cc=1)
310x 8000000000000000 ^ 7FFFFFFF00000000 = 800000007FFFFFFF (cc=1)
311x FFFFFFFFFFFFFFFF ^ 7FFFFFFF00000000 = FFFFFFFF80000000 (cc=1)
312x 5555555555555555 ^ 7FFFFFFF00000000 = 555555552AAAAAAA (cc=1)
313xg 0000000000000000 ^ 7FFFFFFF00000000 = 7FFFFFFF00000000 (cc=1)
314xg 0000000000000001 ^ 7FFFFFFF00000000 = 7FFFFFFF00000001 (cc=1)
315xg 000000000000FFFF ^ 7FFFFFFF00000000 = 7FFFFFFF0000FFFF (cc=1)
316xg 0000000000007FFF ^ 7FFFFFFF00000000 = 7FFFFFFF00007FFF (cc=1)
317xg 0000000000008000 ^ 7FFFFFFF00000000 = 7FFFFFFF00008000 (cc=1)
318xg 00000000FFFFFFFF ^ 7FFFFFFF00000000 = 7FFFFFFFFFFFFFFF (cc=1)
319xg 0000000080000000 ^ 7FFFFFFF00000000 = 7FFFFFFF80000000 (cc=1)
320xg 000000007FFFFFFF ^ 7FFFFFFF00000000 = 7FFFFFFF7FFFFFFF (cc=1)
321xg AAAAAAAAAAAAAAAA ^ 7FFFFFFF00000000 = D5555555AAAAAAAA (cc=1)
322xg 8000000000000000 ^ 7FFFFFFF00000000 = FFFFFFFF00000000 (cc=1)
323xg FFFFFFFFFFFFFFFF ^ 7FFFFFFF00000000 = 80000000FFFFFFFF (cc=1)
324xg 5555555555555555 ^ 7FFFFFFF00000000 = 2AAAAAAA55555555 (cc=1)
325xr 0000000000000000 ^ 7FFFFFFF00000000 = 0000000000000000 (cc=0)
326xr 0000000000000001 ^ 7FFFFFFF00000000 = 0000000000000001 (cc=1)
327xr 000000000000FFFF ^ 7FFFFFFF00000000 = 000000000000FFFF (cc=1)
328xr 0000000000007FFF ^ 7FFFFFFF00000000 = 0000000000007FFF (cc=1)
329xr 0000000000008000 ^ 7FFFFFFF00000000 = 0000000000008000 (cc=1)
330xr 00000000FFFFFFFF ^ 7FFFFFFF00000000 = 00000000FFFFFFFF (cc=1)
331xr 0000000080000000 ^ 7FFFFFFF00000000 = 0000000080000000 (cc=1)
332xr 000000007FFFFFFF ^ 7FFFFFFF00000000 = 000000007FFFFFFF (cc=1)
333xr AAAAAAAAAAAAAAAA ^ 7FFFFFFF00000000 = AAAAAAAAAAAAAAAA (cc=1)
334xr 8000000000000000 ^ 7FFFFFFF00000000 = 8000000000000000 (cc=0)
335xr FFFFFFFFFFFFFFFF ^ 7FFFFFFF00000000 = FFFFFFFFFFFFFFFF (cc=1)
336xr 5555555555555555 ^ 7FFFFFFF00000000 = 5555555555555555 (cc=1)
337xgr 0000000000000000 ^ 7FFFFFFF00000000 = 7FFFFFFF00000000 (cc=1)
338xgr 0000000000000001 ^ 7FFFFFFF00000000 = 7FFFFFFF00000001 (cc=1)
339xgr 000000000000FFFF ^ 7FFFFFFF00000000 = 7FFFFFFF0000FFFF (cc=1)
340xgr 0000000000007FFF ^ 7FFFFFFF00000000 = 7FFFFFFF00007FFF (cc=1)
341xgr 0000000000008000 ^ 7FFFFFFF00000000 = 7FFFFFFF00008000 (cc=1)
342xgr 00000000FFFFFFFF ^ 7FFFFFFF00000000 = 7FFFFFFFFFFFFFFF (cc=1)
343xgr 0000000080000000 ^ 7FFFFFFF00000000 = 7FFFFFFF80000000 (cc=1)
344xgr 000000007FFFFFFF ^ 7FFFFFFF00000000 = 7FFFFFFF7FFFFFFF (cc=1)
345xgr AAAAAAAAAAAAAAAA ^ 7FFFFFFF00000000 = D5555555AAAAAAAA (cc=1)
346xgr 8000000000000000 ^ 7FFFFFFF00000000 = FFFFFFFF00000000 (cc=1)
347xgr FFFFFFFFFFFFFFFF ^ 7FFFFFFF00000000 = 80000000FFFFFFFF (cc=1)
348xgr 5555555555555555 ^ 7FFFFFFF00000000 = 2AAAAAAA55555555 (cc=1)
349xy 0000000000000000 ^ 7FFFFFFF00000000 = 000000007FFFFFFF (cc=1)
350xy 0000000000000001 ^ 7FFFFFFF00000000 = 000000007FFFFFFE (cc=1)
351xy 000000000000FFFF ^ 7FFFFFFF00000000 = 000000007FFF0000 (cc=1)
352xy 0000000000007FFF ^ 7FFFFFFF00000000 = 000000007FFF8000 (cc=1)
353xy 0000000000008000 ^ 7FFFFFFF00000000 = 000000007FFF7FFF (cc=1)
354xy 00000000FFFFFFFF ^ 7FFFFFFF00000000 = 0000000080000000 (cc=1)
355xy 0000000080000000 ^ 7FFFFFFF00000000 = 00000000FFFFFFFF (cc=1)
356xy 000000007FFFFFFF ^ 7FFFFFFF00000000 = 0000000000000000 (cc=0)
357xy AAAAAAAAAAAAAAAA ^ 7FFFFFFF00000000 = AAAAAAAAD5555555 (cc=1)
358xy 8000000000000000 ^ 7FFFFFFF00000000 = 800000007FFFFFFF (cc=1)
359xy FFFFFFFFFFFFFFFF ^ 7FFFFFFF00000000 = FFFFFFFF80000000 (cc=1)
360xy 5555555555555555 ^ 7FFFFFFF00000000 = 555555552AAAAAAA (cc=1)
361x 0000000000000000 ^ 8000000000000000 = 0000000080000000 (cc=1)
362x 0000000000000001 ^ 8000000000000000 = 0000000080000001 (cc=1)
363x 000000000000FFFF ^ 8000000000000000 = 000000008000FFFF (cc=1)
364x 0000000000007FFF ^ 8000000000000000 = 0000000080007FFF (cc=1)
365x 0000000000008000 ^ 8000000000000000 = 0000000080008000 (cc=1)
366x 00000000FFFFFFFF ^ 8000000000000000 = 000000007FFFFFFF (cc=1)
367x 0000000080000000 ^ 8000000000000000 = 0000000000000000 (cc=0)
368x 000000007FFFFFFF ^ 8000000000000000 = 00000000FFFFFFFF (cc=1)
369x AAAAAAAAAAAAAAAA ^ 8000000000000000 = AAAAAAAA2AAAAAAA (cc=1)
370x 8000000000000000 ^ 8000000000000000 = 8000000080000000 (cc=1)
371x FFFFFFFFFFFFFFFF ^ 8000000000000000 = FFFFFFFF7FFFFFFF (cc=1)
372x 5555555555555555 ^ 8000000000000000 = 55555555D5555555 (cc=1)
373xg 0000000000000000 ^ 8000000000000000 = 8000000000000000 (cc=1)
374xg 0000000000000001 ^ 8000000000000000 = 8000000000000001 (cc=1)
375xg 000000000000FFFF ^ 8000000000000000 = 800000000000FFFF (cc=1)
376xg 0000000000007FFF ^ 8000000000000000 = 8000000000007FFF (cc=1)
377xg 0000000000008000 ^ 8000000000000000 = 8000000000008000 (cc=1)
378xg 00000000FFFFFFFF ^ 8000000000000000 = 80000000FFFFFFFF (cc=1)
379xg 0000000080000000 ^ 8000000000000000 = 8000000080000000 (cc=1)
380xg 000000007FFFFFFF ^ 8000000000000000 = 800000007FFFFFFF (cc=1)
381xg AAAAAAAAAAAAAAAA ^ 8000000000000000 = 2AAAAAAAAAAAAAAA (cc=1)
382xg 8000000000000000 ^ 8000000000000000 = 0000000000000000 (cc=0)
383xg FFFFFFFFFFFFFFFF ^ 8000000000000000 = 7FFFFFFFFFFFFFFF (cc=1)
384xg 5555555555555555 ^ 8000000000000000 = D555555555555555 (cc=1)
385xr 0000000000000000 ^ 8000000000000000 = 0000000000000000 (cc=0)
386xr 0000000000000001 ^ 8000000000000000 = 0000000000000001 (cc=1)
387xr 000000000000FFFF ^ 8000000000000000 = 000000000000FFFF (cc=1)
388xr 0000000000007FFF ^ 8000000000000000 = 0000000000007FFF (cc=1)
389xr 0000000000008000 ^ 8000000000000000 = 0000000000008000 (cc=1)
390xr 00000000FFFFFFFF ^ 8000000000000000 = 00000000FFFFFFFF (cc=1)
391xr 0000000080000000 ^ 8000000000000000 = 0000000080000000 (cc=1)
392xr 000000007FFFFFFF ^ 8000000000000000 = 000000007FFFFFFF (cc=1)
393xr AAAAAAAAAAAAAAAA ^ 8000000000000000 = AAAAAAAAAAAAAAAA (cc=1)
394xr 8000000000000000 ^ 8000000000000000 = 8000000000000000 (cc=0)
395xr FFFFFFFFFFFFFFFF ^ 8000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
396xr 5555555555555555 ^ 8000000000000000 = 5555555555555555 (cc=1)
397xgr 0000000000000000 ^ 8000000000000000 = 8000000000000000 (cc=1)
398xgr 0000000000000001 ^ 8000000000000000 = 8000000000000001 (cc=1)
399xgr 000000000000FFFF ^ 8000000000000000 = 800000000000FFFF (cc=1)
400xgr 0000000000007FFF ^ 8000000000000000 = 8000000000007FFF (cc=1)
401xgr 0000000000008000 ^ 8000000000000000 = 8000000000008000 (cc=1)
402xgr 00000000FFFFFFFF ^ 8000000000000000 = 80000000FFFFFFFF (cc=1)
403xgr 0000000080000000 ^ 8000000000000000 = 8000000080000000 (cc=1)
404xgr 000000007FFFFFFF ^ 8000000000000000 = 800000007FFFFFFF (cc=1)
405xgr AAAAAAAAAAAAAAAA ^ 8000000000000000 = 2AAAAAAAAAAAAAAA (cc=1)
406xgr 8000000000000000 ^ 8000000000000000 = 0000000000000000 (cc=0)
407xgr FFFFFFFFFFFFFFFF ^ 8000000000000000 = 7FFFFFFFFFFFFFFF (cc=1)
408xgr 5555555555555555 ^ 8000000000000000 = D555555555555555 (cc=1)
409xy 0000000000000000 ^ 8000000000000000 = 0000000080000000 (cc=1)
410xy 0000000000000001 ^ 8000000000000000 = 0000000080000001 (cc=1)
411xy 000000000000FFFF ^ 8000000000000000 = 000000008000FFFF (cc=1)
412xy 0000000000007FFF ^ 8000000000000000 = 0000000080007FFF (cc=1)
413xy 0000000000008000 ^ 8000000000000000 = 0000000080008000 (cc=1)
414xy 00000000FFFFFFFF ^ 8000000000000000 = 000000007FFFFFFF (cc=1)
415xy 0000000080000000 ^ 8000000000000000 = 0000000000000000 (cc=0)
416xy 000000007FFFFFFF ^ 8000000000000000 = 00000000FFFFFFFF (cc=1)
417xy AAAAAAAAAAAAAAAA ^ 8000000000000000 = AAAAAAAA2AAAAAAA (cc=1)
418xy 8000000000000000 ^ 8000000000000000 = 8000000080000000 (cc=1)
419xy FFFFFFFFFFFFFFFF ^ 8000000000000000 = FFFFFFFF7FFFFFFF (cc=1)
420xy 5555555555555555 ^ 8000000000000000 = 55555555D5555555 (cc=1)
421x 0000000000000000 ^ AAAAAAAA00000000 = 00000000AAAAAAAA (cc=1)
422x 0000000000000001 ^ AAAAAAAA00000000 = 00000000AAAAAAAB (cc=1)
423x 000000000000FFFF ^ AAAAAAAA00000000 = 00000000AAAA5555 (cc=1)
424x 0000000000007FFF ^ AAAAAAAA00000000 = 00000000AAAAD555 (cc=1)
425x 0000000000008000 ^ AAAAAAAA00000000 = 00000000AAAA2AAA (cc=1)
426x 00000000FFFFFFFF ^ AAAAAAAA00000000 = 0000000055555555 (cc=1)
427x 0000000080000000 ^ AAAAAAAA00000000 = 000000002AAAAAAA (cc=1)
428x 000000007FFFFFFF ^ AAAAAAAA00000000 = 00000000D5555555 (cc=1)
429x AAAAAAAAAAAAAAAA ^ AAAAAAAA00000000 = AAAAAAAA00000000 (cc=0)
430x 8000000000000000 ^ AAAAAAAA00000000 = 80000000AAAAAAAA (cc=1)
431x FFFFFFFFFFFFFFFF ^ AAAAAAAA00000000 = FFFFFFFF55555555 (cc=1)
432x 5555555555555555 ^ AAAAAAAA00000000 = 55555555FFFFFFFF (cc=1)
433xg 0000000000000000 ^ AAAAAAAA00000000 = AAAAAAAA00000000 (cc=1)
434xg 0000000000000001 ^ AAAAAAAA00000000 = AAAAAAAA00000001 (cc=1)
435xg 000000000000FFFF ^ AAAAAAAA00000000 = AAAAAAAA0000FFFF (cc=1)
436xg 0000000000007FFF ^ AAAAAAAA00000000 = AAAAAAAA00007FFF (cc=1)
437xg 0000000000008000 ^ AAAAAAAA00000000 = AAAAAAAA00008000 (cc=1)
438xg 00000000FFFFFFFF ^ AAAAAAAA00000000 = AAAAAAAAFFFFFFFF (cc=1)
439xg 0000000080000000 ^ AAAAAAAA00000000 = AAAAAAAA80000000 (cc=1)
440xg 000000007FFFFFFF ^ AAAAAAAA00000000 = AAAAAAAA7FFFFFFF (cc=1)
441xg AAAAAAAAAAAAAAAA ^ AAAAAAAA00000000 = 00000000AAAAAAAA (cc=1)
442xg 8000000000000000 ^ AAAAAAAA00000000 = 2AAAAAAA00000000 (cc=1)
443xg FFFFFFFFFFFFFFFF ^ AAAAAAAA00000000 = 55555555FFFFFFFF (cc=1)
444xg 5555555555555555 ^ AAAAAAAA00000000 = FFFFFFFF55555555 (cc=1)
445xr 0000000000000000 ^ AAAAAAAA00000000 = 0000000000000000 (cc=0)
446xr 0000000000000001 ^ AAAAAAAA00000000 = 0000000000000001 (cc=1)
447xr 000000000000FFFF ^ AAAAAAAA00000000 = 000000000000FFFF (cc=1)
448xr 0000000000007FFF ^ AAAAAAAA00000000 = 0000000000007FFF (cc=1)
449xr 0000000000008000 ^ AAAAAAAA00000000 = 0000000000008000 (cc=1)
450xr 00000000FFFFFFFF ^ AAAAAAAA00000000 = 00000000FFFFFFFF (cc=1)
451xr 0000000080000000 ^ AAAAAAAA00000000 = 0000000080000000 (cc=1)
452xr 000000007FFFFFFF ^ AAAAAAAA00000000 = 000000007FFFFFFF (cc=1)
453xr AAAAAAAAAAAAAAAA ^ AAAAAAAA00000000 = AAAAAAAAAAAAAAAA (cc=1)
454xr 8000000000000000 ^ AAAAAAAA00000000 = 8000000000000000 (cc=0)
455xr FFFFFFFFFFFFFFFF ^ AAAAAAAA00000000 = FFFFFFFFFFFFFFFF (cc=1)
456xr 5555555555555555 ^ AAAAAAAA00000000 = 5555555555555555 (cc=1)
457xgr 0000000000000000 ^ AAAAAAAA00000000 = AAAAAAAA00000000 (cc=1)
458xgr 0000000000000001 ^ AAAAAAAA00000000 = AAAAAAAA00000001 (cc=1)
459xgr 000000000000FFFF ^ AAAAAAAA00000000 = AAAAAAAA0000FFFF (cc=1)
460xgr 0000000000007FFF ^ AAAAAAAA00000000 = AAAAAAAA00007FFF (cc=1)
461xgr 0000000000008000 ^ AAAAAAAA00000000 = AAAAAAAA00008000 (cc=1)
462xgr 00000000FFFFFFFF ^ AAAAAAAA00000000 = AAAAAAAAFFFFFFFF (cc=1)
463xgr 0000000080000000 ^ AAAAAAAA00000000 = AAAAAAAA80000000 (cc=1)
464xgr 000000007FFFFFFF ^ AAAAAAAA00000000 = AAAAAAAA7FFFFFFF (cc=1)
465xgr AAAAAAAAAAAAAAAA ^ AAAAAAAA00000000 = 00000000AAAAAAAA (cc=1)
466xgr 8000000000000000 ^ AAAAAAAA00000000 = 2AAAAAAA00000000 (cc=1)
467xgr FFFFFFFFFFFFFFFF ^ AAAAAAAA00000000 = 55555555FFFFFFFF (cc=1)
468xgr 5555555555555555 ^ AAAAAAAA00000000 = FFFFFFFF55555555 (cc=1)
469xy 0000000000000000 ^ AAAAAAAA00000000 = 00000000AAAAAAAA (cc=1)
470xy 0000000000000001 ^ AAAAAAAA00000000 = 00000000AAAAAAAB (cc=1)
471xy 000000000000FFFF ^ AAAAAAAA00000000 = 00000000AAAA5555 (cc=1)
472xy 0000000000007FFF ^ AAAAAAAA00000000 = 00000000AAAAD555 (cc=1)
473xy 0000000000008000 ^ AAAAAAAA00000000 = 00000000AAAA2AAA (cc=1)
474xy 00000000FFFFFFFF ^ AAAAAAAA00000000 = 0000000055555555 (cc=1)
475xy 0000000080000000 ^ AAAAAAAA00000000 = 000000002AAAAAAA (cc=1)
476xy 000000007FFFFFFF ^ AAAAAAAA00000000 = 00000000D5555555 (cc=1)
477xy AAAAAAAAAAAAAAAA ^ AAAAAAAA00000000 = AAAAAAAA00000000 (cc=0)
478xy 8000000000000000 ^ AAAAAAAA00000000 = 80000000AAAAAAAA (cc=1)
479xy FFFFFFFFFFFFFFFF ^ AAAAAAAA00000000 = FFFFFFFF55555555 (cc=1)
480xy 5555555555555555 ^ AAAAAAAA00000000 = 55555555FFFFFFFF (cc=1)
481x 0000000000000000 ^ FFFFFFFF00000000 = 00000000FFFFFFFF (cc=1)
482x 0000000000000001 ^ FFFFFFFF00000000 = 00000000FFFFFFFE (cc=1)
483x 000000000000FFFF ^ FFFFFFFF00000000 = 00000000FFFF0000 (cc=1)
484x 0000000000007FFF ^ FFFFFFFF00000000 = 00000000FFFF8000 (cc=1)
485x 0000000000008000 ^ FFFFFFFF00000000 = 00000000FFFF7FFF (cc=1)
486x 00000000FFFFFFFF ^ FFFFFFFF00000000 = 0000000000000000 (cc=0)
487x 0000000080000000 ^ FFFFFFFF00000000 = 000000007FFFFFFF (cc=1)
488x 000000007FFFFFFF ^ FFFFFFFF00000000 = 0000000080000000 (cc=1)
489x AAAAAAAAAAAAAAAA ^ FFFFFFFF00000000 = AAAAAAAA55555555 (cc=1)
490x 8000000000000000 ^ FFFFFFFF00000000 = 80000000FFFFFFFF (cc=1)
491x FFFFFFFFFFFFFFFF ^ FFFFFFFF00000000 = FFFFFFFF00000000 (cc=0)
492x 5555555555555555 ^ FFFFFFFF00000000 = 55555555AAAAAAAA (cc=1)
493xg 0000000000000000 ^ FFFFFFFF00000000 = FFFFFFFF00000000 (cc=1)
494xg 0000000000000001 ^ FFFFFFFF00000000 = FFFFFFFF00000001 (cc=1)
495xg 000000000000FFFF ^ FFFFFFFF00000000 = FFFFFFFF0000FFFF (cc=1)
496xg 0000000000007FFF ^ FFFFFFFF00000000 = FFFFFFFF00007FFF (cc=1)
497xg 0000000000008000 ^ FFFFFFFF00000000 = FFFFFFFF00008000 (cc=1)
498xg 00000000FFFFFFFF ^ FFFFFFFF00000000 = FFFFFFFFFFFFFFFF (cc=1)
499xg 0000000080000000 ^ FFFFFFFF00000000 = FFFFFFFF80000000 (cc=1)
500xg 000000007FFFFFFF ^ FFFFFFFF00000000 = FFFFFFFF7FFFFFFF (cc=1)
501xg AAAAAAAAAAAAAAAA ^ FFFFFFFF00000000 = 55555555AAAAAAAA (cc=1)
502xg 8000000000000000 ^ FFFFFFFF00000000 = 7FFFFFFF00000000 (cc=1)
503xg FFFFFFFFFFFFFFFF ^ FFFFFFFF00000000 = 00000000FFFFFFFF (cc=1)
504xg 5555555555555555 ^ FFFFFFFF00000000 = AAAAAAAA55555555 (cc=1)
505xr 0000000000000000 ^ FFFFFFFF00000000 = 0000000000000000 (cc=0)
506xr 0000000000000001 ^ FFFFFFFF00000000 = 0000000000000001 (cc=1)
507xr 000000000000FFFF ^ FFFFFFFF00000000 = 000000000000FFFF (cc=1)
508xr 0000000000007FFF ^ FFFFFFFF00000000 = 0000000000007FFF (cc=1)
509xr 0000000000008000 ^ FFFFFFFF00000000 = 0000000000008000 (cc=1)
510xr 00000000FFFFFFFF ^ FFFFFFFF00000000 = 00000000FFFFFFFF (cc=1)
511xr 0000000080000000 ^ FFFFFFFF00000000 = 0000000080000000 (cc=1)
512xr 000000007FFFFFFF ^ FFFFFFFF00000000 = 000000007FFFFFFF (cc=1)
513xr AAAAAAAAAAAAAAAA ^ FFFFFFFF00000000 = AAAAAAAAAAAAAAAA (cc=1)
514xr 8000000000000000 ^ FFFFFFFF00000000 = 8000000000000000 (cc=0)
515xr FFFFFFFFFFFFFFFF ^ FFFFFFFF00000000 = FFFFFFFFFFFFFFFF (cc=1)
516xr 5555555555555555 ^ FFFFFFFF00000000 = 5555555555555555 (cc=1)
517xgr 0000000000000000 ^ FFFFFFFF00000000 = FFFFFFFF00000000 (cc=1)
518xgr 0000000000000001 ^ FFFFFFFF00000000 = FFFFFFFF00000001 (cc=1)
519xgr 000000000000FFFF ^ FFFFFFFF00000000 = FFFFFFFF0000FFFF (cc=1)
520xgr 0000000000007FFF ^ FFFFFFFF00000000 = FFFFFFFF00007FFF (cc=1)
521xgr 0000000000008000 ^ FFFFFFFF00000000 = FFFFFFFF00008000 (cc=1)
522xgr 00000000FFFFFFFF ^ FFFFFFFF00000000 = FFFFFFFFFFFFFFFF (cc=1)
523xgr 0000000080000000 ^ FFFFFFFF00000000 = FFFFFFFF80000000 (cc=1)
524xgr 000000007FFFFFFF ^ FFFFFFFF00000000 = FFFFFFFF7FFFFFFF (cc=1)
525xgr AAAAAAAAAAAAAAAA ^ FFFFFFFF00000000 = 55555555AAAAAAAA (cc=1)
526xgr 8000000000000000 ^ FFFFFFFF00000000 = 7FFFFFFF00000000 (cc=1)
527xgr FFFFFFFFFFFFFFFF ^ FFFFFFFF00000000 = 00000000FFFFFFFF (cc=1)
528xgr 5555555555555555 ^ FFFFFFFF00000000 = AAAAAAAA55555555 (cc=1)
529xy 0000000000000000 ^ FFFFFFFF00000000 = 00000000FFFFFFFF (cc=1)
530xy 0000000000000001 ^ FFFFFFFF00000000 = 00000000FFFFFFFE (cc=1)
531xy 000000000000FFFF ^ FFFFFFFF00000000 = 00000000FFFF0000 (cc=1)
532xy 0000000000007FFF ^ FFFFFFFF00000000 = 00000000FFFF8000 (cc=1)
533xy 0000000000008000 ^ FFFFFFFF00000000 = 00000000FFFF7FFF (cc=1)
534xy 00000000FFFFFFFF ^ FFFFFFFF00000000 = 0000000000000000 (cc=0)
535xy 0000000080000000 ^ FFFFFFFF00000000 = 000000007FFFFFFF (cc=1)
536xy 000000007FFFFFFF ^ FFFFFFFF00000000 = 0000000080000000 (cc=1)
537xy AAAAAAAAAAAAAAAA ^ FFFFFFFF00000000 = AAAAAAAA55555555 (cc=1)
538xy 8000000000000000 ^ FFFFFFFF00000000 = 80000000FFFFFFFF (cc=1)
539xy FFFFFFFFFFFFFFFF ^ FFFFFFFF00000000 = FFFFFFFF00000000 (cc=0)
540xy 5555555555555555 ^ FFFFFFFF00000000 = 55555555AAAAAAAA (cc=1)
541x 0000000000000000 ^ 000000007FFFFFFF = 0000000000000000 (cc=0)
542x 0000000000000001 ^ 000000007FFFFFFF = 0000000000000001 (cc=1)
543x 000000000000FFFF ^ 000000007FFFFFFF = 000000000000FFFF (cc=1)
544x 0000000000007FFF ^ 000000007FFFFFFF = 0000000000007FFF (cc=1)
545x 0000000000008000 ^ 000000007FFFFFFF = 0000000000008000 (cc=1)
546x 00000000FFFFFFFF ^ 000000007FFFFFFF = 00000000FFFFFFFF (cc=1)
547x 0000000080000000 ^ 000000007FFFFFFF = 0000000080000000 (cc=1)
548x 000000007FFFFFFF ^ 000000007FFFFFFF = 000000007FFFFFFF (cc=1)
549x AAAAAAAAAAAAAAAA ^ 000000007FFFFFFF = AAAAAAAAAAAAAAAA (cc=1)
550x 8000000000000000 ^ 000000007FFFFFFF = 8000000000000000 (cc=0)
551x FFFFFFFFFFFFFFFF ^ 000000007FFFFFFF = FFFFFFFFFFFFFFFF (cc=1)
552x 5555555555555555 ^ 000000007FFFFFFF = 5555555555555555 (cc=1)
553xg 0000000000000000 ^ 000000007FFFFFFF = 000000007FFFFFFF (cc=1)
554xg 0000000000000001 ^ 000000007FFFFFFF = 000000007FFFFFFE (cc=1)
555xg 000000000000FFFF ^ 000000007FFFFFFF = 000000007FFF0000 (cc=1)
556xg 0000000000007FFF ^ 000000007FFFFFFF = 000000007FFF8000 (cc=1)
557xg 0000000000008000 ^ 000000007FFFFFFF = 000000007FFF7FFF (cc=1)
558xg 00000000FFFFFFFF ^ 000000007FFFFFFF = 0000000080000000 (cc=1)
559xg 0000000080000000 ^ 000000007FFFFFFF = 00000000FFFFFFFF (cc=1)
560xg 000000007FFFFFFF ^ 000000007FFFFFFF = 0000000000000000 (cc=0)
561xg AAAAAAAAAAAAAAAA ^ 000000007FFFFFFF = AAAAAAAAD5555555 (cc=1)
562xg 8000000000000000 ^ 000000007FFFFFFF = 800000007FFFFFFF (cc=1)
563xg FFFFFFFFFFFFFFFF ^ 000000007FFFFFFF = FFFFFFFF80000000 (cc=1)
564xg 5555555555555555 ^ 000000007FFFFFFF = 555555552AAAAAAA (cc=1)
565xr 0000000000000000 ^ 000000007FFFFFFF = 000000007FFFFFFF (cc=1)
566xr 0000000000000001 ^ 000000007FFFFFFF = 000000007FFFFFFE (cc=1)
567xr 000000000000FFFF ^ 000000007FFFFFFF = 000000007FFF0000 (cc=1)
568xr 0000000000007FFF ^ 000000007FFFFFFF = 000000007FFF8000 (cc=1)
569xr 0000000000008000 ^ 000000007FFFFFFF = 000000007FFF7FFF (cc=1)
570xr 00000000FFFFFFFF ^ 000000007FFFFFFF = 0000000080000000 (cc=1)
571xr 0000000080000000 ^ 000000007FFFFFFF = 00000000FFFFFFFF (cc=1)
572xr 000000007FFFFFFF ^ 000000007FFFFFFF = 0000000000000000 (cc=0)
573xr AAAAAAAAAAAAAAAA ^ 000000007FFFFFFF = AAAAAAAAD5555555 (cc=1)
574xr 8000000000000000 ^ 000000007FFFFFFF = 800000007FFFFFFF (cc=1)
575xr FFFFFFFFFFFFFFFF ^ 000000007FFFFFFF = FFFFFFFF80000000 (cc=1)
576xr 5555555555555555 ^ 000000007FFFFFFF = 555555552AAAAAAA (cc=1)
577xgr 0000000000000000 ^ 000000007FFFFFFF = 000000007FFFFFFF (cc=1)
578xgr 0000000000000001 ^ 000000007FFFFFFF = 000000007FFFFFFE (cc=1)
579xgr 000000000000FFFF ^ 000000007FFFFFFF = 000000007FFF0000 (cc=1)
580xgr 0000000000007FFF ^ 000000007FFFFFFF = 000000007FFF8000 (cc=1)
581xgr 0000000000008000 ^ 000000007FFFFFFF = 000000007FFF7FFF (cc=1)
582xgr 00000000FFFFFFFF ^ 000000007FFFFFFF = 0000000080000000 (cc=1)
583xgr 0000000080000000 ^ 000000007FFFFFFF = 00000000FFFFFFFF (cc=1)
584xgr 000000007FFFFFFF ^ 000000007FFFFFFF = 0000000000000000 (cc=0)
585xgr AAAAAAAAAAAAAAAA ^ 000000007FFFFFFF = AAAAAAAAD5555555 (cc=1)
586xgr 8000000000000000 ^ 000000007FFFFFFF = 800000007FFFFFFF (cc=1)
587xgr FFFFFFFFFFFFFFFF ^ 000000007FFFFFFF = FFFFFFFF80000000 (cc=1)
588xgr 5555555555555555 ^ 000000007FFFFFFF = 555555552AAAAAAA (cc=1)
589xy 0000000000000000 ^ 000000007FFFFFFF = 0000000000000000 (cc=0)
590xy 0000000000000001 ^ 000000007FFFFFFF = 0000000000000001 (cc=1)
591xy 000000000000FFFF ^ 000000007FFFFFFF = 000000000000FFFF (cc=1)
592xy 0000000000007FFF ^ 000000007FFFFFFF = 0000000000007FFF (cc=1)
593xy 0000000000008000 ^ 000000007FFFFFFF = 0000000000008000 (cc=1)
594xy 00000000FFFFFFFF ^ 000000007FFFFFFF = 00000000FFFFFFFF (cc=1)
595xy 0000000080000000 ^ 000000007FFFFFFF = 0000000080000000 (cc=1)
596xy 000000007FFFFFFF ^ 000000007FFFFFFF = 000000007FFFFFFF (cc=1)
597xy AAAAAAAAAAAAAAAA ^ 000000007FFFFFFF = AAAAAAAAAAAAAAAA (cc=1)
598xy 8000000000000000 ^ 000000007FFFFFFF = 8000000000000000 (cc=0)
599xy FFFFFFFFFFFFFFFF ^ 000000007FFFFFFF = FFFFFFFFFFFFFFFF (cc=1)
600xy 5555555555555555 ^ 000000007FFFFFFF = 5555555555555555 (cc=1)
601x 0000000000000000 ^ 0000000080000000 = 0000000000000000 (cc=0)
602x 0000000000000001 ^ 0000000080000000 = 0000000000000001 (cc=1)
603x 000000000000FFFF ^ 0000000080000000 = 000000000000FFFF (cc=1)
604x 0000000000007FFF ^ 0000000080000000 = 0000000000007FFF (cc=1)
605x 0000000000008000 ^ 0000000080000000 = 0000000000008000 (cc=1)
606x 00000000FFFFFFFF ^ 0000000080000000 = 00000000FFFFFFFF (cc=1)
607x 0000000080000000 ^ 0000000080000000 = 0000000080000000 (cc=1)
608x 000000007FFFFFFF ^ 0000000080000000 = 000000007FFFFFFF (cc=1)
609x AAAAAAAAAAAAAAAA ^ 0000000080000000 = AAAAAAAAAAAAAAAA (cc=1)
610x 8000000000000000 ^ 0000000080000000 = 8000000000000000 (cc=0)
611x FFFFFFFFFFFFFFFF ^ 0000000080000000 = FFFFFFFFFFFFFFFF (cc=1)
612x 5555555555555555 ^ 0000000080000000 = 5555555555555555 (cc=1)
613xg 0000000000000000 ^ 0000000080000000 = 0000000080000000 (cc=1)
614xg 0000000000000001 ^ 0000000080000000 = 0000000080000001 (cc=1)
615xg 000000000000FFFF ^ 0000000080000000 = 000000008000FFFF (cc=1)
616xg 0000000000007FFF ^ 0000000080000000 = 0000000080007FFF (cc=1)
617xg 0000000000008000 ^ 0000000080000000 = 0000000080008000 (cc=1)
618xg 00000000FFFFFFFF ^ 0000000080000000 = 000000007FFFFFFF (cc=1)
619xg 0000000080000000 ^ 0000000080000000 = 0000000000000000 (cc=0)
620xg 000000007FFFFFFF ^ 0000000080000000 = 00000000FFFFFFFF (cc=1)
621xg AAAAAAAAAAAAAAAA ^ 0000000080000000 = AAAAAAAA2AAAAAAA (cc=1)
622xg 8000000000000000 ^ 0000000080000000 = 8000000080000000 (cc=1)
623xg FFFFFFFFFFFFFFFF ^ 0000000080000000 = FFFFFFFF7FFFFFFF (cc=1)
624xg 5555555555555555 ^ 0000000080000000 = 55555555D5555555 (cc=1)
625xr 0000000000000000 ^ 0000000080000000 = 0000000080000000 (cc=1)
626xr 0000000000000001 ^ 0000000080000000 = 0000000080000001 (cc=1)
627xr 000000000000FFFF ^ 0000000080000000 = 000000008000FFFF (cc=1)
628xr 0000000000007FFF ^ 0000000080000000 = 0000000080007FFF (cc=1)
629xr 0000000000008000 ^ 0000000080000000 = 0000000080008000 (cc=1)
630xr 00000000FFFFFFFF ^ 0000000080000000 = 000000007FFFFFFF (cc=1)
631xr 0000000080000000 ^ 0000000080000000 = 0000000000000000 (cc=0)
632xr 000000007FFFFFFF ^ 0000000080000000 = 00000000FFFFFFFF (cc=1)
633xr AAAAAAAAAAAAAAAA ^ 0000000080000000 = AAAAAAAA2AAAAAAA (cc=1)
634xr 8000000000000000 ^ 0000000080000000 = 8000000080000000 (cc=1)
635xr FFFFFFFFFFFFFFFF ^ 0000000080000000 = FFFFFFFF7FFFFFFF (cc=1)
636xr 5555555555555555 ^ 0000000080000000 = 55555555D5555555 (cc=1)
637xgr 0000000000000000 ^ 0000000080000000 = 0000000080000000 (cc=1)
638xgr 0000000000000001 ^ 0000000080000000 = 0000000080000001 (cc=1)
639xgr 000000000000FFFF ^ 0000000080000000 = 000000008000FFFF (cc=1)
640xgr 0000000000007FFF ^ 0000000080000000 = 0000000080007FFF (cc=1)
641xgr 0000000000008000 ^ 0000000080000000 = 0000000080008000 (cc=1)
642xgr 00000000FFFFFFFF ^ 0000000080000000 = 000000007FFFFFFF (cc=1)
643xgr 0000000080000000 ^ 0000000080000000 = 0000000000000000 (cc=0)
644xgr 000000007FFFFFFF ^ 0000000080000000 = 00000000FFFFFFFF (cc=1)
645xgr AAAAAAAAAAAAAAAA ^ 0000000080000000 = AAAAAAAA2AAAAAAA (cc=1)
646xgr 8000000000000000 ^ 0000000080000000 = 8000000080000000 (cc=1)
647xgr FFFFFFFFFFFFFFFF ^ 0000000080000000 = FFFFFFFF7FFFFFFF (cc=1)
648xgr 5555555555555555 ^ 0000000080000000 = 55555555D5555555 (cc=1)
649xy 0000000000000000 ^ 0000000080000000 = 0000000000000000 (cc=0)
650xy 0000000000000001 ^ 0000000080000000 = 0000000000000001 (cc=1)
651xy 000000000000FFFF ^ 0000000080000000 = 000000000000FFFF (cc=1)
652xy 0000000000007FFF ^ 0000000080000000 = 0000000000007FFF (cc=1)
653xy 0000000000008000 ^ 0000000080000000 = 0000000000008000 (cc=1)
654xy 00000000FFFFFFFF ^ 0000000080000000 = 00000000FFFFFFFF (cc=1)
655xy 0000000080000000 ^ 0000000080000000 = 0000000080000000 (cc=1)
656xy 000000007FFFFFFF ^ 0000000080000000 = 000000007FFFFFFF (cc=1)
657xy AAAAAAAAAAAAAAAA ^ 0000000080000000 = AAAAAAAAAAAAAAAA (cc=1)
658xy 8000000000000000 ^ 0000000080000000 = 8000000000000000 (cc=0)
659xy FFFFFFFFFFFFFFFF ^ 0000000080000000 = FFFFFFFFFFFFFFFF (cc=1)
660xy 5555555555555555 ^ 0000000080000000 = 5555555555555555 (cc=1)
661x 0000000000000000 ^ 0000000055555555 = 0000000000000000 (cc=0)
662x 0000000000000001 ^ 0000000055555555 = 0000000000000001 (cc=1)
663x 000000000000FFFF ^ 0000000055555555 = 000000000000FFFF (cc=1)
664x 0000000000007FFF ^ 0000000055555555 = 0000000000007FFF (cc=1)
665x 0000000000008000 ^ 0000000055555555 = 0000000000008000 (cc=1)
666x 00000000FFFFFFFF ^ 0000000055555555 = 00000000FFFFFFFF (cc=1)
667x 0000000080000000 ^ 0000000055555555 = 0000000080000000 (cc=1)
668x 000000007FFFFFFF ^ 0000000055555555 = 000000007FFFFFFF (cc=1)
669x AAAAAAAAAAAAAAAA ^ 0000000055555555 = AAAAAAAAAAAAAAAA (cc=1)
670x 8000000000000000 ^ 0000000055555555 = 8000000000000000 (cc=0)
671x FFFFFFFFFFFFFFFF ^ 0000000055555555 = FFFFFFFFFFFFFFFF (cc=1)
672x 5555555555555555 ^ 0000000055555555 = 5555555555555555 (cc=1)
673xg 0000000000000000 ^ 0000000055555555 = 0000000055555555 (cc=1)
674xg 0000000000000001 ^ 0000000055555555 = 0000000055555554 (cc=1)
675xg 000000000000FFFF ^ 0000000055555555 = 000000005555AAAA (cc=1)
676xg 0000000000007FFF ^ 0000000055555555 = 0000000055552AAA (cc=1)
677xg 0000000000008000 ^ 0000000055555555 = 000000005555D555 (cc=1)
678xg 00000000FFFFFFFF ^ 0000000055555555 = 00000000AAAAAAAA (cc=1)
679xg 0000000080000000 ^ 0000000055555555 = 00000000D5555555 (cc=1)
680xg 000000007FFFFFFF ^ 0000000055555555 = 000000002AAAAAAA (cc=1)
681xg AAAAAAAAAAAAAAAA ^ 0000000055555555 = AAAAAAAAFFFFFFFF (cc=1)
682xg 8000000000000000 ^ 0000000055555555 = 8000000055555555 (cc=1)
683xg FFFFFFFFFFFFFFFF ^ 0000000055555555 = FFFFFFFFAAAAAAAA (cc=1)
684xg 5555555555555555 ^ 0000000055555555 = 5555555500000000 (cc=1)
685xr 0000000000000000 ^ 0000000055555555 = 0000000055555555 (cc=1)
686xr 0000000000000001 ^ 0000000055555555 = 0000000055555554 (cc=1)
687xr 000000000000FFFF ^ 0000000055555555 = 000000005555AAAA (cc=1)
688xr 0000000000007FFF ^ 0000000055555555 = 0000000055552AAA (cc=1)
689xr 0000000000008000 ^ 0000000055555555 = 000000005555D555 (cc=1)
690xr 00000000FFFFFFFF ^ 0000000055555555 = 00000000AAAAAAAA (cc=1)
691xr 0000000080000000 ^ 0000000055555555 = 00000000D5555555 (cc=1)
692xr 000000007FFFFFFF ^ 0000000055555555 = 000000002AAAAAAA (cc=1)
693xr AAAAAAAAAAAAAAAA ^ 0000000055555555 = AAAAAAAAFFFFFFFF (cc=1)
694xr 8000000000000000 ^ 0000000055555555 = 8000000055555555 (cc=1)
695xr FFFFFFFFFFFFFFFF ^ 0000000055555555 = FFFFFFFFAAAAAAAA (cc=1)
696xr 5555555555555555 ^ 0000000055555555 = 5555555500000000 (cc=0)
697xgr 0000000000000000 ^ 0000000055555555 = 0000000055555555 (cc=1)
698xgr 0000000000000001 ^ 0000000055555555 = 0000000055555554 (cc=1)
699xgr 000000000000FFFF ^ 0000000055555555 = 000000005555AAAA (cc=1)
700xgr 0000000000007FFF ^ 0000000055555555 = 0000000055552AAA (cc=1)
701xgr 0000000000008000 ^ 0000000055555555 = 000000005555D555 (cc=1)
702xgr 00000000FFFFFFFF ^ 0000000055555555 = 00000000AAAAAAAA (cc=1)
703xgr 0000000080000000 ^ 0000000055555555 = 00000000D5555555 (cc=1)
704xgr 000000007FFFFFFF ^ 0000000055555555 = 000000002AAAAAAA (cc=1)
705xgr AAAAAAAAAAAAAAAA ^ 0000000055555555 = AAAAAAAAFFFFFFFF (cc=1)
706xgr 8000000000000000 ^ 0000000055555555 = 8000000055555555 (cc=1)
707xgr FFFFFFFFFFFFFFFF ^ 0000000055555555 = FFFFFFFFAAAAAAAA (cc=1)
708xgr 5555555555555555 ^ 0000000055555555 = 5555555500000000 (cc=1)
709xy 0000000000000000 ^ 0000000055555555 = 0000000000000000 (cc=0)
710xy 0000000000000001 ^ 0000000055555555 = 0000000000000001 (cc=1)
711xy 000000000000FFFF ^ 0000000055555555 = 000000000000FFFF (cc=1)
712xy 0000000000007FFF ^ 0000000055555555 = 0000000000007FFF (cc=1)
713xy 0000000000008000 ^ 0000000055555555 = 0000000000008000 (cc=1)
714xy 00000000FFFFFFFF ^ 0000000055555555 = 00000000FFFFFFFF (cc=1)
715xy 0000000080000000 ^ 0000000055555555 = 0000000080000000 (cc=1)
716xy 000000007FFFFFFF ^ 0000000055555555 = 000000007FFFFFFF (cc=1)
717xy AAAAAAAAAAAAAAAA ^ 0000000055555555 = AAAAAAAAAAAAAAAA (cc=1)
718xy 8000000000000000 ^ 0000000055555555 = 8000000000000000 (cc=0)
719xy FFFFFFFFFFFFFFFF ^ 0000000055555555 = FFFFFFFFFFFFFFFF (cc=1)
720xy 5555555555555555 ^ 0000000055555555 = 5555555555555555 (cc=1)
721x 0000000000000000 ^ 00000000FFFFFFFF = 0000000000000000 (cc=0)
722x 0000000000000001 ^ 00000000FFFFFFFF = 0000000000000001 (cc=1)
723x 000000000000FFFF ^ 00000000FFFFFFFF = 000000000000FFFF (cc=1)
724x 0000000000007FFF ^ 00000000FFFFFFFF = 0000000000007FFF (cc=1)
725x 0000000000008000 ^ 00000000FFFFFFFF = 0000000000008000 (cc=1)
726x 00000000FFFFFFFF ^ 00000000FFFFFFFF = 00000000FFFFFFFF (cc=1)
727x 0000000080000000 ^ 00000000FFFFFFFF = 0000000080000000 (cc=1)
728x 000000007FFFFFFF ^ 00000000FFFFFFFF = 000000007FFFFFFF (cc=1)
729x AAAAAAAAAAAAAAAA ^ 00000000FFFFFFFF = AAAAAAAAAAAAAAAA (cc=1)
730x 8000000000000000 ^ 00000000FFFFFFFF = 8000000000000000 (cc=0)
731x FFFFFFFFFFFFFFFF ^ 00000000FFFFFFFF = FFFFFFFFFFFFFFFF (cc=1)
732x 5555555555555555 ^ 00000000FFFFFFFF = 5555555555555555 (cc=1)
733xg 0000000000000000 ^ 00000000FFFFFFFF = 00000000FFFFFFFF (cc=1)
734xg 0000000000000001 ^ 00000000FFFFFFFF = 00000000FFFFFFFE (cc=1)
735xg 000000000000FFFF ^ 00000000FFFFFFFF = 00000000FFFF0000 (cc=1)
736xg 0000000000007FFF ^ 00000000FFFFFFFF = 00000000FFFF8000 (cc=1)
737xg 0000000000008000 ^ 00000000FFFFFFFF = 00000000FFFF7FFF (cc=1)
738xg 00000000FFFFFFFF ^ 00000000FFFFFFFF = 0000000000000000 (cc=0)
739xg 0000000080000000 ^ 00000000FFFFFFFF = 000000007FFFFFFF (cc=1)
740xg 000000007FFFFFFF ^ 00000000FFFFFFFF = 0000000080000000 (cc=1)
741xg AAAAAAAAAAAAAAAA ^ 00000000FFFFFFFF = AAAAAAAA55555555 (cc=1)
742xg 8000000000000000 ^ 00000000FFFFFFFF = 80000000FFFFFFFF (cc=1)
743xg FFFFFFFFFFFFFFFF ^ 00000000FFFFFFFF = FFFFFFFF00000000 (cc=1)
744xg 5555555555555555 ^ 00000000FFFFFFFF = 55555555AAAAAAAA (cc=1)
745xr 0000000000000000 ^ 00000000FFFFFFFF = 00000000FFFFFFFF (cc=1)
746xr 0000000000000001 ^ 00000000FFFFFFFF = 00000000FFFFFFFE (cc=1)
747xr 000000000000FFFF ^ 00000000FFFFFFFF = 00000000FFFF0000 (cc=1)
748xr 0000000000007FFF ^ 00000000FFFFFFFF = 00000000FFFF8000 (cc=1)
749xr 0000000000008000 ^ 00000000FFFFFFFF = 00000000FFFF7FFF (cc=1)
750xr 00000000FFFFFFFF ^ 00000000FFFFFFFF = 0000000000000000 (cc=0)
751xr 0000000080000000 ^ 00000000FFFFFFFF = 000000007FFFFFFF (cc=1)
752xr 000000007FFFFFFF ^ 00000000FFFFFFFF = 0000000080000000 (cc=1)
753xr AAAAAAAAAAAAAAAA ^ 00000000FFFFFFFF = AAAAAAAA55555555 (cc=1)
754xr 8000000000000000 ^ 00000000FFFFFFFF = 80000000FFFFFFFF (cc=1)
755xr FFFFFFFFFFFFFFFF ^ 00000000FFFFFFFF = FFFFFFFF00000000 (cc=0)
756xr 5555555555555555 ^ 00000000FFFFFFFF = 55555555AAAAAAAA (cc=1)
757xgr 0000000000000000 ^ 00000000FFFFFFFF = 00000000FFFFFFFF (cc=1)
758xgr 0000000000000001 ^ 00000000FFFFFFFF = 00000000FFFFFFFE (cc=1)
759xgr 000000000000FFFF ^ 00000000FFFFFFFF = 00000000FFFF0000 (cc=1)
760xgr 0000000000007FFF ^ 00000000FFFFFFFF = 00000000FFFF8000 (cc=1)
761xgr 0000000000008000 ^ 00000000FFFFFFFF = 00000000FFFF7FFF (cc=1)
762xgr 00000000FFFFFFFF ^ 00000000FFFFFFFF = 0000000000000000 (cc=0)
763xgr 0000000080000000 ^ 00000000FFFFFFFF = 000000007FFFFFFF (cc=1)
764xgr 000000007FFFFFFF ^ 00000000FFFFFFFF = 0000000080000000 (cc=1)
765xgr AAAAAAAAAAAAAAAA ^ 00000000FFFFFFFF = AAAAAAAA55555555 (cc=1)
766xgr 8000000000000000 ^ 00000000FFFFFFFF = 80000000FFFFFFFF (cc=1)
767xgr FFFFFFFFFFFFFFFF ^ 00000000FFFFFFFF = FFFFFFFF00000000 (cc=1)
768xgr 5555555555555555 ^ 00000000FFFFFFFF = 55555555AAAAAAAA (cc=1)
769xy 0000000000000000 ^ 00000000FFFFFFFF = 0000000000000000 (cc=0)
770xy 0000000000000001 ^ 00000000FFFFFFFF = 0000000000000001 (cc=1)
771xy 000000000000FFFF ^ 00000000FFFFFFFF = 000000000000FFFF (cc=1)
772xy 0000000000007FFF ^ 00000000FFFFFFFF = 0000000000007FFF (cc=1)
773xy 0000000000008000 ^ 00000000FFFFFFFF = 0000000000008000 (cc=1)
774xy 00000000FFFFFFFF ^ 00000000FFFFFFFF = 00000000FFFFFFFF (cc=1)
775xy 0000000080000000 ^ 00000000FFFFFFFF = 0000000080000000 (cc=1)
776xy 000000007FFFFFFF ^ 00000000FFFFFFFF = 000000007FFFFFFF (cc=1)
777xy AAAAAAAAAAAAAAAA ^ 00000000FFFFFFFF = AAAAAAAAAAAAAAAA (cc=1)
778xy 8000000000000000 ^ 00000000FFFFFFFF = 8000000000000000 (cc=0)
779xy FFFFFFFFFFFFFFFF ^ 00000000FFFFFFFF = FFFFFFFFFFFFFFFF (cc=1)
780xy 5555555555555555 ^ 00000000FFFFFFFF = 5555555555555555 (cc=1)
781x 0000000000000000 ^ 000000000000FFFF = 0000000000000000 (cc=0)
782x 0000000000000001 ^ 000000000000FFFF = 0000000000000001 (cc=1)
783x 000000000000FFFF ^ 000000000000FFFF = 000000000000FFFF (cc=1)
784x 0000000000007FFF ^ 000000000000FFFF = 0000000000007FFF (cc=1)
785x 0000000000008000 ^ 000000000000FFFF = 0000000000008000 (cc=1)
786x 00000000FFFFFFFF ^ 000000000000FFFF = 00000000FFFFFFFF (cc=1)
787x 0000000080000000 ^ 000000000000FFFF = 0000000080000000 (cc=1)
788x 000000007FFFFFFF ^ 000000000000FFFF = 000000007FFFFFFF (cc=1)
789x AAAAAAAAAAAAAAAA ^ 000000000000FFFF = AAAAAAAAAAAAAAAA (cc=1)
790x 8000000000000000 ^ 000000000000FFFF = 8000000000000000 (cc=0)
791x FFFFFFFFFFFFFFFF ^ 000000000000FFFF = FFFFFFFFFFFFFFFF (cc=1)
792x 5555555555555555 ^ 000000000000FFFF = 5555555555555555 (cc=1)
793xg 0000000000000000 ^ 000000000000FFFF = 000000000000FFFF (cc=1)
794xg 0000000000000001 ^ 000000000000FFFF = 000000000000FFFE (cc=1)
795xg 000000000000FFFF ^ 000000000000FFFF = 0000000000000000 (cc=0)
796xg 0000000000007FFF ^ 000000000000FFFF = 0000000000008000 (cc=1)
797xg 0000000000008000 ^ 000000000000FFFF = 0000000000007FFF (cc=1)
798xg 00000000FFFFFFFF ^ 000000000000FFFF = 00000000FFFF0000 (cc=1)
799xg 0000000080000000 ^ 000000000000FFFF = 000000008000FFFF (cc=1)
800xg 000000007FFFFFFF ^ 000000000000FFFF = 000000007FFF0000 (cc=1)
801xg AAAAAAAAAAAAAAAA ^ 000000000000FFFF = AAAAAAAAAAAA5555 (cc=1)
802xg 8000000000000000 ^ 000000000000FFFF = 800000000000FFFF (cc=1)
803xg FFFFFFFFFFFFFFFF ^ 000000000000FFFF = FFFFFFFFFFFF0000 (cc=1)
804xg 5555555555555555 ^ 000000000000FFFF = 555555555555AAAA (cc=1)
805xr 0000000000000000 ^ 000000000000FFFF = 000000000000FFFF (cc=1)
806xr 0000000000000001 ^ 000000000000FFFF = 000000000000FFFE (cc=1)
807xr 000000000000FFFF ^ 000000000000FFFF = 0000000000000000 (cc=0)
808xr 0000000000007FFF ^ 000000000000FFFF = 0000000000008000 (cc=1)
809xr 0000000000008000 ^ 000000000000FFFF = 0000000000007FFF (cc=1)
810xr 00000000FFFFFFFF ^ 000000000000FFFF = 00000000FFFF0000 (cc=1)
811xr 0000000080000000 ^ 000000000000FFFF = 000000008000FFFF (cc=1)
812xr 000000007FFFFFFF ^ 000000000000FFFF = 000000007FFF0000 (cc=1)
813xr AAAAAAAAAAAAAAAA ^ 000000000000FFFF = AAAAAAAAAAAA5555 (cc=1)
814xr 8000000000000000 ^ 000000000000FFFF = 800000000000FFFF (cc=1)
815xr FFFFFFFFFFFFFFFF ^ 000000000000FFFF = FFFFFFFFFFFF0000 (cc=1)
816xr 5555555555555555 ^ 000000000000FFFF = 555555555555AAAA (cc=1)
817xgr 0000000000000000 ^ 000000000000FFFF = 000000000000FFFF (cc=1)
818xgr 0000000000000001 ^ 000000000000FFFF = 000000000000FFFE (cc=1)
819xgr 000000000000FFFF ^ 000000000000FFFF = 0000000000000000 (cc=0)
820xgr 0000000000007FFF ^ 000000000000FFFF = 0000000000008000 (cc=1)
821xgr 0000000000008000 ^ 000000000000FFFF = 0000000000007FFF (cc=1)
822xgr 00000000FFFFFFFF ^ 000000000000FFFF = 00000000FFFF0000 (cc=1)
823xgr 0000000080000000 ^ 000000000000FFFF = 000000008000FFFF (cc=1)
824xgr 000000007FFFFFFF ^ 000000000000FFFF = 000000007FFF0000 (cc=1)
825xgr AAAAAAAAAAAAAAAA ^ 000000000000FFFF = AAAAAAAAAAAA5555 (cc=1)
826xgr 8000000000000000 ^ 000000000000FFFF = 800000000000FFFF (cc=1)
827xgr FFFFFFFFFFFFFFFF ^ 000000000000FFFF = FFFFFFFFFFFF0000 (cc=1)
828xgr 5555555555555555 ^ 000000000000FFFF = 555555555555AAAA (cc=1)
829xy 0000000000000000 ^ 000000000000FFFF = 0000000000000000 (cc=0)
830xy 0000000000000001 ^ 000000000000FFFF = 0000000000000001 (cc=1)
831xy 000000000000FFFF ^ 000000000000FFFF = 000000000000FFFF (cc=1)
832xy 0000000000007FFF ^ 000000000000FFFF = 0000000000007FFF (cc=1)
833xy 0000000000008000 ^ 000000000000FFFF = 0000000000008000 (cc=1)
834xy 00000000FFFFFFFF ^ 000000000000FFFF = 00000000FFFFFFFF (cc=1)
835xy 0000000080000000 ^ 000000000000FFFF = 0000000080000000 (cc=1)
836xy 000000007FFFFFFF ^ 000000000000FFFF = 000000007FFFFFFF (cc=1)
837xy AAAAAAAAAAAAAAAA ^ 000000000000FFFF = AAAAAAAAAAAAAAAA (cc=1)
838xy 8000000000000000 ^ 000000000000FFFF = 8000000000000000 (cc=0)
839xy FFFFFFFFFFFFFFFF ^ 000000000000FFFF = FFFFFFFFFFFFFFFF (cc=1)
840xy 5555555555555555 ^ 000000000000FFFF = 5555555555555555 (cc=1)
841x 0000000000000000 ^ 0000000000007FFF = 0000000000000000 (cc=0)
842x 0000000000000001 ^ 0000000000007FFF = 0000000000000001 (cc=1)
843x 000000000000FFFF ^ 0000000000007FFF = 000000000000FFFF (cc=1)
844x 0000000000007FFF ^ 0000000000007FFF = 0000000000007FFF (cc=1)
845x 0000000000008000 ^ 0000000000007FFF = 0000000000008000 (cc=1)
846x 00000000FFFFFFFF ^ 0000000000007FFF = 00000000FFFFFFFF (cc=1)
847x 0000000080000000 ^ 0000000000007FFF = 0000000080000000 (cc=1)
848x 000000007FFFFFFF ^ 0000000000007FFF = 000000007FFFFFFF (cc=1)
849x AAAAAAAAAAAAAAAA ^ 0000000000007FFF = AAAAAAAAAAAAAAAA (cc=1)
850x 8000000000000000 ^ 0000000000007FFF = 8000000000000000 (cc=0)
851x FFFFFFFFFFFFFFFF ^ 0000000000007FFF = FFFFFFFFFFFFFFFF (cc=1)
852x 5555555555555555 ^ 0000000000007FFF = 5555555555555555 (cc=1)
853xg 0000000000000000 ^ 0000000000007FFF = 0000000000007FFF (cc=1)
854xg 0000000000000001 ^ 0000000000007FFF = 0000000000007FFE (cc=1)
855xg 000000000000FFFF ^ 0000000000007FFF = 0000000000008000 (cc=1)
856xg 0000000000007FFF ^ 0000000000007FFF = 0000000000000000 (cc=0)
857xg 0000000000008000 ^ 0000000000007FFF = 000000000000FFFF (cc=1)
858xg 00000000FFFFFFFF ^ 0000000000007FFF = 00000000FFFF8000 (cc=1)
859xg 0000000080000000 ^ 0000000000007FFF = 0000000080007FFF (cc=1)
860xg 000000007FFFFFFF ^ 0000000000007FFF = 000000007FFF8000 (cc=1)
861xg AAAAAAAAAAAAAAAA ^ 0000000000007FFF = AAAAAAAAAAAAD555 (cc=1)
862xg 8000000000000000 ^ 0000000000007FFF = 8000000000007FFF (cc=1)
863xg FFFFFFFFFFFFFFFF ^ 0000000000007FFF = FFFFFFFFFFFF8000 (cc=1)
864xg 5555555555555555 ^ 0000000000007FFF = 5555555555552AAA (cc=1)
865xr 0000000000000000 ^ 0000000000007FFF = 0000000000007FFF (cc=1)
866xr 0000000000000001 ^ 0000000000007FFF = 0000000000007FFE (cc=1)
867xr 000000000000FFFF ^ 0000000000007FFF = 0000000000008000 (cc=1)
868xr 0000000000007FFF ^ 0000000000007FFF = 0000000000000000 (cc=0)
869xr 0000000000008000 ^ 0000000000007FFF = 000000000000FFFF (cc=1)
870xr 00000000FFFFFFFF ^ 0000000000007FFF = 00000000FFFF8000 (cc=1)
871xr 0000000080000000 ^ 0000000000007FFF = 0000000080007FFF (cc=1)
872xr 000000007FFFFFFF ^ 0000000000007FFF = 000000007FFF8000 (cc=1)
873xr AAAAAAAAAAAAAAAA ^ 0000000000007FFF = AAAAAAAAAAAAD555 (cc=1)
874xr 8000000000000000 ^ 0000000000007FFF = 8000000000007FFF (cc=1)
875xr FFFFFFFFFFFFFFFF ^ 0000000000007FFF = FFFFFFFFFFFF8000 (cc=1)
876xr 5555555555555555 ^ 0000000000007FFF = 5555555555552AAA (cc=1)
877xgr 0000000000000000 ^ 0000000000007FFF = 0000000000007FFF (cc=1)
878xgr 0000000000000001 ^ 0000000000007FFF = 0000000000007FFE (cc=1)
879xgr 000000000000FFFF ^ 0000000000007FFF = 0000000000008000 (cc=1)
880xgr 0000000000007FFF ^ 0000000000007FFF = 0000000000000000 (cc=0)
881xgr 0000000000008000 ^ 0000000000007FFF = 000000000000FFFF (cc=1)
882xgr 00000000FFFFFFFF ^ 0000000000007FFF = 00000000FFFF8000 (cc=1)
883xgr 0000000080000000 ^ 0000000000007FFF = 0000000080007FFF (cc=1)
884xgr 000000007FFFFFFF ^ 0000000000007FFF = 000000007FFF8000 (cc=1)
885xgr AAAAAAAAAAAAAAAA ^ 0000000000007FFF = AAAAAAAAAAAAD555 (cc=1)
886xgr 8000000000000000 ^ 0000000000007FFF = 8000000000007FFF (cc=1)
887xgr FFFFFFFFFFFFFFFF ^ 0000000000007FFF = FFFFFFFFFFFF8000 (cc=1)
888xgr 5555555555555555 ^ 0000000000007FFF = 5555555555552AAA (cc=1)
889xy 0000000000000000 ^ 0000000000007FFF = 0000000000000000 (cc=0)
890xy 0000000000000001 ^ 0000000000007FFF = 0000000000000001 (cc=1)
891xy 000000000000FFFF ^ 0000000000007FFF = 000000000000FFFF (cc=1)
892xy 0000000000007FFF ^ 0000000000007FFF = 0000000000007FFF (cc=1)
893xy 0000000000008000 ^ 0000000000007FFF = 0000000000008000 (cc=1)
894xy 00000000FFFFFFFF ^ 0000000000007FFF = 00000000FFFFFFFF (cc=1)
895xy 0000000080000000 ^ 0000000000007FFF = 0000000080000000 (cc=1)
896xy 000000007FFFFFFF ^ 0000000000007FFF = 000000007FFFFFFF (cc=1)
897xy AAAAAAAAAAAAAAAA ^ 0000000000007FFF = AAAAAAAAAAAAAAAA (cc=1)
898xy 8000000000000000 ^ 0000000000007FFF = 8000000000000000 (cc=0)
899xy FFFFFFFFFFFFFFFF ^ 0000000000007FFF = FFFFFFFFFFFFFFFF (cc=1)
900xy 5555555555555555 ^ 0000000000007FFF = 5555555555555555 (cc=1)
901x 0000000000000000 ^ 0000000000008000 = 0000000000000000 (cc=0)
902x 0000000000000001 ^ 0000000000008000 = 0000000000000001 (cc=1)
903x 000000000000FFFF ^ 0000000000008000 = 000000000000FFFF (cc=1)
904x 0000000000007FFF ^ 0000000000008000 = 0000000000007FFF (cc=1)
905x 0000000000008000 ^ 0000000000008000 = 0000000000008000 (cc=1)
906x 00000000FFFFFFFF ^ 0000000000008000 = 00000000FFFFFFFF (cc=1)
907x 0000000080000000 ^ 0000000000008000 = 0000000080000000 (cc=1)
908x 000000007FFFFFFF ^ 0000000000008000 = 000000007FFFFFFF (cc=1)
909x AAAAAAAAAAAAAAAA ^ 0000000000008000 = AAAAAAAAAAAAAAAA (cc=1)
910x 8000000000000000 ^ 0000000000008000 = 8000000000000000 (cc=0)
911x FFFFFFFFFFFFFFFF ^ 0000000000008000 = FFFFFFFFFFFFFFFF (cc=1)
912x 5555555555555555 ^ 0000000000008000 = 5555555555555555 (cc=1)
913xg 0000000000000000 ^ 0000000000008000 = 0000000000008000 (cc=1)
914xg 0000000000000001 ^ 0000000000008000 = 0000000000008001 (cc=1)
915xg 000000000000FFFF ^ 0000000000008000 = 0000000000007FFF (cc=1)
916xg 0000000000007FFF ^ 0000000000008000 = 000000000000FFFF (cc=1)
917xg 0000000000008000 ^ 0000000000008000 = 0000000000000000 (cc=0)
918xg 00000000FFFFFFFF ^ 0000000000008000 = 00000000FFFF7FFF (cc=1)
919xg 0000000080000000 ^ 0000000000008000 = 0000000080008000 (cc=1)
920xg 000000007FFFFFFF ^ 0000000000008000 = 000000007FFF7FFF (cc=1)
921xg AAAAAAAAAAAAAAAA ^ 0000000000008000 = AAAAAAAAAAAA2AAA (cc=1)
922xg 8000000000000000 ^ 0000000000008000 = 8000000000008000 (cc=1)
923xg FFFFFFFFFFFFFFFF ^ 0000000000008000 = FFFFFFFFFFFF7FFF (cc=1)
924xg 5555555555555555 ^ 0000000000008000 = 555555555555D555 (cc=1)
925xr 0000000000000000 ^ 0000000000008000 = 0000000000008000 (cc=1)
926xr 0000000000000001 ^ 0000000000008000 = 0000000000008001 (cc=1)
927xr 000000000000FFFF ^ 0000000000008000 = 0000000000007FFF (cc=1)
928xr 0000000000007FFF ^ 0000000000008000 = 000000000000FFFF (cc=1)
929xr 0000000000008000 ^ 0000000000008000 = 0000000000000000 (cc=0)
930xr 00000000FFFFFFFF ^ 0000000000008000 = 00000000FFFF7FFF (cc=1)
931xr 0000000080000000 ^ 0000000000008000 = 0000000080008000 (cc=1)
932xr 000000007FFFFFFF ^ 0000000000008000 = 000000007FFF7FFF (cc=1)
933xr AAAAAAAAAAAAAAAA ^ 0000000000008000 = AAAAAAAAAAAA2AAA (cc=1)
934xr 8000000000000000 ^ 0000000000008000 = 8000000000008000 (cc=1)
935xr FFFFFFFFFFFFFFFF ^ 0000000000008000 = FFFFFFFFFFFF7FFF (cc=1)
936xr 5555555555555555 ^ 0000000000008000 = 555555555555D555 (cc=1)
937xgr 0000000000000000 ^ 0000000000008000 = 0000000000008000 (cc=1)
938xgr 0000000000000001 ^ 0000000000008000 = 0000000000008001 (cc=1)
939xgr 000000000000FFFF ^ 0000000000008000 = 0000000000007FFF (cc=1)
940xgr 0000000000007FFF ^ 0000000000008000 = 000000000000FFFF (cc=1)
941xgr 0000000000008000 ^ 0000000000008000 = 0000000000000000 (cc=0)
942xgr 00000000FFFFFFFF ^ 0000000000008000 = 00000000FFFF7FFF (cc=1)
943xgr 0000000080000000 ^ 0000000000008000 = 0000000080008000 (cc=1)
944xgr 000000007FFFFFFF ^ 0000000000008000 = 000000007FFF7FFF (cc=1)
945xgr AAAAAAAAAAAAAAAA ^ 0000000000008000 = AAAAAAAAAAAA2AAA (cc=1)
946xgr 8000000000000000 ^ 0000000000008000 = 8000000000008000 (cc=1)
947xgr FFFFFFFFFFFFFFFF ^ 0000000000008000 = FFFFFFFFFFFF7FFF (cc=1)
948xgr 5555555555555555 ^ 0000000000008000 = 555555555555D555 (cc=1)
949xy 0000000000000000 ^ 0000000000008000 = 0000000000000000 (cc=0)
950xy 0000000000000001 ^ 0000000000008000 = 0000000000000001 (cc=1)
951xy 000000000000FFFF ^ 0000000000008000 = 000000000000FFFF (cc=1)
952xy 0000000000007FFF ^ 0000000000008000 = 0000000000007FFF (cc=1)
953xy 0000000000008000 ^ 0000000000008000 = 0000000000008000 (cc=1)
954xy 00000000FFFFFFFF ^ 0000000000008000 = 00000000FFFFFFFF (cc=1)
955xy 0000000080000000 ^ 0000000000008000 = 0000000080000000 (cc=1)
956xy 000000007FFFFFFF ^ 0000000000008000 = 000000007FFFFFFF (cc=1)
957xy AAAAAAAAAAAAAAAA ^ 0000000000008000 = AAAAAAAAAAAAAAAA (cc=1)
958xy 8000000000000000 ^ 0000000000008000 = 8000000000000000 (cc=0)
959xy FFFFFFFFFFFFFFFF ^ 0000000000008000 = FFFFFFFFFFFFFFFF (cc=1)
960xy 5555555555555555 ^ 0000000000008000 = 5555555555555555 (cc=1)
961x 0000000000000000 ^ 000000000000FFFF = 0000000000000000 (cc=0)
962x 0000000000000001 ^ 000000000000FFFF = 0000000000000001 (cc=1)
963x 000000000000FFFF ^ 000000000000FFFF = 000000000000FFFF (cc=1)
964x 0000000000007FFF ^ 000000000000FFFF = 0000000000007FFF (cc=1)
965x 0000000000008000 ^ 000000000000FFFF = 0000000000008000 (cc=1)
966x 00000000FFFFFFFF ^ 000000000000FFFF = 00000000FFFFFFFF (cc=1)
967x 0000000080000000 ^ 000000000000FFFF = 0000000080000000 (cc=1)
968x 000000007FFFFFFF ^ 000000000000FFFF = 000000007FFFFFFF (cc=1)
969x AAAAAAAAAAAAAAAA ^ 000000000000FFFF = AAAAAAAAAAAAAAAA (cc=1)
970x 8000000000000000 ^ 000000000000FFFF = 8000000000000000 (cc=0)
971x FFFFFFFFFFFFFFFF ^ 000000000000FFFF = FFFFFFFFFFFFFFFF (cc=1)
972x 5555555555555555 ^ 000000000000FFFF = 5555555555555555 (cc=1)
973xg 0000000000000000 ^ 000000000000FFFF = 000000000000FFFF (cc=1)
974xg 0000000000000001 ^ 000000000000FFFF = 000000000000FFFE (cc=1)
975xg 000000000000FFFF ^ 000000000000FFFF = 0000000000000000 (cc=0)
976xg 0000000000007FFF ^ 000000000000FFFF = 0000000000008000 (cc=1)
977xg 0000000000008000 ^ 000000000000FFFF = 0000000000007FFF (cc=1)
978xg 00000000FFFFFFFF ^ 000000000000FFFF = 00000000FFFF0000 (cc=1)
979xg 0000000080000000 ^ 000000000000FFFF = 000000008000FFFF (cc=1)
980xg 000000007FFFFFFF ^ 000000000000FFFF = 000000007FFF0000 (cc=1)
981xg AAAAAAAAAAAAAAAA ^ 000000000000FFFF = AAAAAAAAAAAA5555 (cc=1)
982xg 8000000000000000 ^ 000000000000FFFF = 800000000000FFFF (cc=1)
983xg FFFFFFFFFFFFFFFF ^ 000000000000FFFF = FFFFFFFFFFFF0000 (cc=1)
984xg 5555555555555555 ^ 000000000000FFFF = 555555555555AAAA (cc=1)
985xr 0000000000000000 ^ 000000000000FFFF = 000000000000FFFF (cc=1)
986xr 0000000000000001 ^ 000000000000FFFF = 000000000000FFFE (cc=1)
987xr 000000000000FFFF ^ 000000000000FFFF = 0000000000000000 (cc=0)
988xr 0000000000007FFF ^ 000000000000FFFF = 0000000000008000 (cc=1)
989xr 0000000000008000 ^ 000000000000FFFF = 0000000000007FFF (cc=1)
990xr 00000000FFFFFFFF ^ 000000000000FFFF = 00000000FFFF0000 (cc=1)
991xr 0000000080000000 ^ 000000000000FFFF = 000000008000FFFF (cc=1)
992xr 000000007FFFFFFF ^ 000000000000FFFF = 000000007FFF0000 (cc=1)
993xr AAAAAAAAAAAAAAAA ^ 000000000000FFFF = AAAAAAAAAAAA5555 (cc=1)
994xr 8000000000000000 ^ 000000000000FFFF = 800000000000FFFF (cc=1)
995xr FFFFFFFFFFFFFFFF ^ 000000000000FFFF = FFFFFFFFFFFF0000 (cc=1)
996xr 5555555555555555 ^ 000000000000FFFF = 555555555555AAAA (cc=1)
997xgr 0000000000000000 ^ 000000000000FFFF = 000000000000FFFF (cc=1)
998xgr 0000000000000001 ^ 000000000000FFFF = 000000000000FFFE (cc=1)
999xgr 000000000000FFFF ^ 000000000000FFFF = 0000000000000000 (cc=0)
1000xgr 0000000000007FFF ^ 000000000000FFFF = 0000000000008000 (cc=1)
1001xgr 0000000000008000 ^ 000000000000FFFF = 0000000000007FFF (cc=1)
1002xgr 00000000FFFFFFFF ^ 000000000000FFFF = 00000000FFFF0000 (cc=1)
1003xgr 0000000080000000 ^ 000000000000FFFF = 000000008000FFFF (cc=1)
1004xgr 000000007FFFFFFF ^ 000000000000FFFF = 000000007FFF0000 (cc=1)
1005xgr AAAAAAAAAAAAAAAA ^ 000000000000FFFF = AAAAAAAAAAAA5555 (cc=1)
1006xgr 8000000000000000 ^ 000000000000FFFF = 800000000000FFFF (cc=1)
1007xgr FFFFFFFFFFFFFFFF ^ 000000000000FFFF = FFFFFFFFFFFF0000 (cc=1)
1008xgr 5555555555555555 ^ 000000000000FFFF = 555555555555AAAA (cc=1)
1009xy 0000000000000000 ^ 000000000000FFFF = 0000000000000000 (cc=0)
1010xy 0000000000000001 ^ 000000000000FFFF = 0000000000000001 (cc=1)
1011xy 000000000000FFFF ^ 000000000000FFFF = 000000000000FFFF (cc=1)
1012xy 0000000000007FFF ^ 000000000000FFFF = 0000000000007FFF (cc=1)
1013xy 0000000000008000 ^ 000000000000FFFF = 0000000000008000 (cc=1)
1014xy 00000000FFFFFFFF ^ 000000000000FFFF = 00000000FFFFFFFF (cc=1)
1015xy 0000000080000000 ^ 000000000000FFFF = 0000000080000000 (cc=1)
1016xy 000000007FFFFFFF ^ 000000000000FFFF = 000000007FFFFFFF (cc=1)
1017xy AAAAAAAAAAAAAAAA ^ 000000000000FFFF = AAAAAAAAAAAAAAAA (cc=1)
1018xy 8000000000000000 ^ 000000000000FFFF = 8000000000000000 (cc=0)
1019xy FFFFFFFFFFFFFFFF ^ 000000000000FFFF = FFFFFFFFFFFFFFFF (cc=1)
1020xy 5555555555555555 ^ 000000000000FFFF = 5555555555555555 (cc=1)
1021xi 0000000000000000 ^ 0000000000000000 = 0000000000000000 (cc=0)
1022xi 0000000000000001 ^ 0000000000000000 = 0000000000000001 (cc=0)
1023xi 000000000000FFFF ^ 0000000000000000 = 000000000000FFFF (cc=0)
1024xi 0000000000007FFF ^ 0000000000000000 = 0000000000007FFF (cc=0)
1025xi 0000000000008000 ^ 0000000000000000 = 0000000000008000 (cc=0)
1026xi 00000000FFFFFFFF ^ 0000000000000000 = 00000000FFFFFFFF (cc=0)
1027xi 0000000080000000 ^ 0000000000000000 = 0000000080000000 (cc=0)
1028xi 000000007FFFFFFF ^ 0000000000000000 = 000000007FFFFFFF (cc=0)
1029xi AAAAAAAAAAAAAAAA ^ 0000000000000000 = AAAAAAAAAAAAAAAA (cc=1)
1030xi 8000000000000000 ^ 0000000000000000 = 8000000000000000 (cc=1)
1031xi FFFFFFFFFFFFFFFF ^ 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
1032xi 5555555555555555 ^ 0000000000000000 = 5555555555555555 (cc=1)
1033xi 0000000000000000 ^ 00000000000000FF = FF00000000000000 (cc=1)
1034xi 0000000000000001 ^ 00000000000000FF = FF00000000000001 (cc=1)
1035xi 000000000000FFFF ^ 00000000000000FF = FF0000000000FFFF (cc=1)
1036xi 0000000000007FFF ^ 00000000000000FF = FF00000000007FFF (cc=1)
1037xi 0000000000008000 ^ 00000000000000FF = FF00000000008000 (cc=1)
1038xi 00000000FFFFFFFF ^ 00000000000000FF = FF000000FFFFFFFF (cc=1)
1039xi 0000000080000000 ^ 00000000000000FF = FF00000080000000 (cc=1)
1040xi 000000007FFFFFFF ^ 00000000000000FF = FF0000007FFFFFFF (cc=1)
1041xi AAAAAAAAAAAAAAAA ^ 00000000000000FF = 55AAAAAAAAAAAAAA (cc=1)
1042xi 8000000000000000 ^ 00000000000000FF = 7F00000000000000 (cc=1)
1043xi FFFFFFFFFFFFFFFF ^ 00000000000000FF = 00FFFFFFFFFFFFFF (cc=0)
1044xi 5555555555555555 ^ 00000000000000FF = AA55555555555555 (cc=1)
1045xi 0000000000000000 ^ 0000000000000080 = 8000000000000000 (cc=1)
1046xi 0000000000000001 ^ 0000000000000080 = 8000000000000001 (cc=1)
1047xi 000000000000FFFF ^ 0000000000000080 = 800000000000FFFF (cc=1)
1048xi 0000000000007FFF ^ 0000000000000080 = 8000000000007FFF (cc=1)
1049xi 0000000000008000 ^ 0000000000000080 = 8000000000008000 (cc=1)
1050xi 00000000FFFFFFFF ^ 0000000000000080 = 80000000FFFFFFFF (cc=1)
1051xi 0000000080000000 ^ 0000000000000080 = 8000000080000000 (cc=1)
1052xi 000000007FFFFFFF ^ 0000000000000080 = 800000007FFFFFFF (cc=1)
1053xi AAAAAAAAAAAAAAAA ^ 0000000000000080 = 2AAAAAAAAAAAAAAA (cc=1)
1054xi 8000000000000000 ^ 0000000000000080 = 0000000000000000 (cc=0)
1055xi FFFFFFFFFFFFFFFF ^ 0000000000000080 = 7FFFFFFFFFFFFFFF (cc=1)
1056xi 5555555555555555 ^ 0000000000000080 = D555555555555555 (cc=1)
1057xi 0000000000000000 ^ 00000000000000AA = AA00000000000000 (cc=1)
1058xi 0000000000000001 ^ 00000000000000AA = AA00000000000001 (cc=1)
1059xi 000000000000FFFF ^ 00000000000000AA = AA0000000000FFFF (cc=1)
1060xi 0000000000007FFF ^ 00000000000000AA = AA00000000007FFF (cc=1)
1061xi 0000000000008000 ^ 00000000000000AA = AA00000000008000 (cc=1)
1062xi 00000000FFFFFFFF ^ 00000000000000AA = AA000000FFFFFFFF (cc=1)
1063xi 0000000080000000 ^ 00000000000000AA = AA00000080000000 (cc=1)
1064xi 000000007FFFFFFF ^ 00000000000000AA = AA0000007FFFFFFF (cc=1)
1065xi AAAAAAAAAAAAAAAA ^ 00000000000000AA = 00AAAAAAAAAAAAAA (cc=0)
1066xi 8000000000000000 ^ 00000000000000AA = 2A00000000000000 (cc=1)
1067xi FFFFFFFFFFFFFFFF ^ 00000000000000AA = 55FFFFFFFFFFFFFF (cc=1)
1068xi 5555555555555555 ^ 00000000000000AA = FF55555555555555 (cc=1)
1069xi 0000000000000000 ^ 0000000000000055 = 5500000000000000 (cc=1)
1070xi 0000000000000001 ^ 0000000000000055 = 5500000000000001 (cc=1)
1071xi 000000000000FFFF ^ 0000000000000055 = 550000000000FFFF (cc=1)
1072xi 0000000000007FFF ^ 0000000000000055 = 5500000000007FFF (cc=1)
1073xi 0000000000008000 ^ 0000000000000055 = 5500000000008000 (cc=1)
1074xi 00000000FFFFFFFF ^ 0000000000000055 = 55000000FFFFFFFF (cc=1)
1075xi 0000000080000000 ^ 0000000000000055 = 5500000080000000 (cc=1)
1076xi 000000007FFFFFFF ^ 0000000000000055 = 550000007FFFFFFF (cc=1)
1077xi AAAAAAAAAAAAAAAA ^ 0000000000000055 = FFAAAAAAAAAAAAAA (cc=1)
1078xi 8000000000000000 ^ 0000000000000055 = D500000000000000 (cc=1)
1079xi FFFFFFFFFFFFFFFF ^ 0000000000000055 = AAFFFFFFFFFFFFFF (cc=1)
1080xi 5555555555555555 ^ 0000000000000055 = 0055555555555555 (cc=0)
1081xiy 0000000000000000 ^ 0000000000000000 = 0000000000000000 (cc=0)
1082xiy 0000000000000001 ^ 0000000000000000 = 0000000000000001 (cc=0)
1083xiy 000000000000FFFF ^ 0000000000000000 = 000000000000FFFF (cc=0)
1084xiy 0000000000007FFF ^ 0000000000000000 = 0000000000007FFF (cc=0)
1085xiy 0000000000008000 ^ 0000000000000000 = 0000000000008000 (cc=0)
1086xiy 00000000FFFFFFFF ^ 0000000000000000 = 00000000FFFFFFFF (cc=0)
1087xiy 0000000080000000 ^ 0000000000000000 = 0000000080000000 (cc=0)
1088xiy 000000007FFFFFFF ^ 0000000000000000 = 000000007FFFFFFF (cc=0)
1089xiy AAAAAAAAAAAAAAAA ^ 0000000000000000 = AAAAAAAAAAAAAAAA (cc=1)
1090xiy 8000000000000000 ^ 0000000000000000 = 8000000000000000 (cc=1)
1091xiy FFFFFFFFFFFFFFFF ^ 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
1092xiy 5555555555555555 ^ 0000000000000000 = 5555555555555555 (cc=1)
1093xiy 0000000000000000 ^ 00000000000000FF = FF00000000000000 (cc=1)
1094xiy 0000000000000001 ^ 00000000000000FF = FF00000000000001 (cc=1)
1095xiy 000000000000FFFF ^ 00000000000000FF = FF0000000000FFFF (cc=1)
1096xiy 0000000000007FFF ^ 00000000000000FF = FF00000000007FFF (cc=1)
1097xiy 0000000000008000 ^ 00000000000000FF = FF00000000008000 (cc=1)
1098xiy 00000000FFFFFFFF ^ 00000000000000FF = FF000000FFFFFFFF (cc=1)
1099xiy 0000000080000000 ^ 00000000000000FF = FF00000080000000 (cc=1)
1100xiy 000000007FFFFFFF ^ 00000000000000FF = FF0000007FFFFFFF (cc=1)
1101xiy AAAAAAAAAAAAAAAA ^ 00000000000000FF = 55AAAAAAAAAAAAAA (cc=1)
1102xiy 8000000000000000 ^ 00000000000000FF = 7F00000000000000 (cc=1)
1103xiy FFFFFFFFFFFFFFFF ^ 00000000000000FF = 00FFFFFFFFFFFFFF (cc=0)
1104xiy 5555555555555555 ^ 00000000000000FF = AA55555555555555 (cc=1)
1105xiy 0000000000000000 ^ 0000000000000080 = 8000000000000000 (cc=1)
1106xiy 0000000000000001 ^ 0000000000000080 = 8000000000000001 (cc=1)
1107xiy 000000000000FFFF ^ 0000000000000080 = 800000000000FFFF (cc=1)
1108xiy 0000000000007FFF ^ 0000000000000080 = 8000000000007FFF (cc=1)
1109xiy 0000000000008000 ^ 0000000000000080 = 8000000000008000 (cc=1)
1110xiy 00000000FFFFFFFF ^ 0000000000000080 = 80000000FFFFFFFF (cc=1)
1111xiy 0000000080000000 ^ 0000000000000080 = 8000000080000000 (cc=1)
1112xiy 000000007FFFFFFF ^ 0000000000000080 = 800000007FFFFFFF (cc=1)
1113xiy AAAAAAAAAAAAAAAA ^ 0000000000000080 = 2AAAAAAAAAAAAAAA (cc=1)
1114xiy 8000000000000000 ^ 0000000000000080 = 0000000000000000 (cc=0)
1115xiy FFFFFFFFFFFFFFFF ^ 0000000000000080 = 7FFFFFFFFFFFFFFF (cc=1)
1116xiy 5555555555555555 ^ 0000000000000080 = D555555555555555 (cc=1)
1117xiy 0000000000000000 ^ 00000000000000AA = AA00000000000000 (cc=1)
1118xiy 0000000000000001 ^ 00000000000000AA = AA00000000000001 (cc=1)
1119xiy 000000000000FFFF ^ 00000000000000AA = AA0000000000FFFF (cc=1)
1120xiy 0000000000007FFF ^ 00000000000000AA = AA00000000007FFF (cc=1)
1121xiy 0000000000008000 ^ 00000000000000AA = AA00000000008000 (cc=1)
1122xiy 00000000FFFFFFFF ^ 00000000000000AA = AA000000FFFFFFFF (cc=1)
1123xiy 0000000080000000 ^ 00000000000000AA = AA00000080000000 (cc=1)
1124xiy 000000007FFFFFFF ^ 00000000000000AA = AA0000007FFFFFFF (cc=1)
1125xiy AAAAAAAAAAAAAAAA ^ 00000000000000AA = 00AAAAAAAAAAAAAA (cc=0)
1126xiy 8000000000000000 ^ 00000000000000AA = 2A00000000000000 (cc=1)
1127xiy FFFFFFFFFFFFFFFF ^ 00000000000000AA = 55FFFFFFFFFFFFFF (cc=1)
1128xiy 5555555555555555 ^ 00000000000000AA = FF55555555555555 (cc=1)
1129xiy 0000000000000000 ^ 0000000000000055 = 5500000000000000 (cc=1)
1130xiy 0000000000000001 ^ 0000000000000055 = 5500000000000001 (cc=1)
1131xiy 000000000000FFFF ^ 0000000000000055 = 550000000000FFFF (cc=1)
1132xiy 0000000000007FFF ^ 0000000000000055 = 5500000000007FFF (cc=1)
1133xiy 0000000000008000 ^ 0000000000000055 = 5500000000008000 (cc=1)
1134xiy 00000000FFFFFFFF ^ 0000000000000055 = 55000000FFFFFFFF (cc=1)
1135xiy 0000000080000000 ^ 0000000000000055 = 5500000080000000 (cc=1)
1136xiy 000000007FFFFFFF ^ 0000000000000055 = 550000007FFFFFFF (cc=1)
1137xiy AAAAAAAAAAAAAAAA ^ 0000000000000055 = FFAAAAAAAAAAAAAA (cc=1)
1138xiy 8000000000000000 ^ 0000000000000055 = D500000000000000 (cc=1)
1139xiy FFFFFFFFFFFFFFFF ^ 0000000000000055 = AAFFFFFFFFFFFFFF (cc=1)
1140xiy 5555555555555555 ^ 0000000000000055 = 0055555555555555 (cc=0)
1141