2 v_result = 0000000000000007 | 0000000000000000
3 r_result = 0000000000000000
5 v_result = 0000000000000001 | 0000000000000000
6 r_result = 0000000000000000
8 v_result = 0000000000000010 | 0000000000000000
9 r_result = 0000000000000000
11 v_result = 0000000000000010 | 0000000000000000
12 r_result = 0000000000000000
14 v_result = 0000000000000009 | 0000000000000000
15 r_result = 0000000000000000
17 v_result = 0000000000000006 | 0000000000000000
18 r_result = 0000000000000001
20 v_result = 0000000000000010 | 0000000000000000
21 r_result = 0000000000000003
23 v_result = 0000000000000006 | 0000000000000000
24 r_result = 0000000000000001
26 v_result = 0000000000000004 | 0000000000000000
27 r_result = 0000000000000001
29 v_result = 0000000000000003 | 0000000000000000
30 r_result = 0000000000000001
32 v_result = 0000000000000001 | 0000000000000000
33 r_result = 0000000000000000
35 v_result = 0000000000000010 | 0000000000000000
36 r_result = 0000000000000000
38 v_result = 0000000000000010 | 0000000000000000
39 r_result = 0000000000000000
41 v_result = 0000000000000001 | 0000000000000000
42 r_result = 0000000000000000
44 v_result = 0000000000000010 | 0000000000000000
45 r_result = 0000000000000000
47 v_result = 0000000000000010 | 0000000000000000
48 r_result = 0000000000000003
50 v_result = 0000000000000010 | 0000000000000000
51 r_result = 0000000000000003
53 v_result = 0000000000000002 | 0000000000000000
54 r_result = 0000000000000001
56 v_result = 0000000000000006 | 0000000000000000
57 r_result = 0000000000000001
59 v_result = 0000000000000001 | 0000000000000000
60 r_result = 0000000000000001
62 v_result = 0000000000000000 | 0000000000000000
63 r_result = 0000000000000000
65 v_result = 0000000000000000 | 00ff000000000000
66 r_result = 0000000000000000
68 v_result = 00000000ff0000ff | 0000000000000000
69 r_result = 0000000000000000
71 v_result = 0000000000000000 | 0000000000000000
72 r_result = 0000000000000000
74 v_result = 000000ff0000ff00 | 0000000000000000
75 r_result = 0000000000000000
77 v_result = 0000000000000000 | 00000000000000ff
78 r_result = 0000000000000001
80 v_result = 000000ff00000000 | 0000000000000000
81 r_result = 0000000000000001
83 v_result = 000000ff00ff0000 | 00000000000000ff
84 r_result = 0000000000000001
86 v_result = 0000000000000000 | 00000000ff000000
87 r_result = 0000000000000001
89 v_result = 0000000000000000 | 0000000000ff0000
90 r_result = 0000000000000001
92 v_result = ff00000000000000 | 0000ff0000000000
93 r_result = 0000000000000000
95 v_result = 000000ff00ff0000 | 0000000000000000
96 r_result = 0000000000000000
98 v_result = 000000ff00000000 | 0000000000000000
99 r_result = 0000000000000000
101 v_result = 00ff000000000000 | 0000000000000000
102 r_result = 0000000000000000
104 v_result = 0000000000000000 | 0000000000000000
105 r_result = 0000000000000000
107 v_result = 0000000000000000 | 00000000ff000000
108 r_result = 0000000000000001
110 v_result = 00000000ff00ff00 | 000000ff00000000
111 r_result = 0000000000000001
113 v_result = 0000000000000000 | 0000000000000000
114 r_result = 0000000000000003
116 v_result = 0000000000000000 | 0000000000000000
117 r_result = 0000000000000003
119 v_result = ffff000000000000 | ff00000000000000
120 r_result = 0000000000000001
122 v_result = 0000000000000000 | 0000000000000000
123 r_result = 0000000000000000
125 v_result = 0000000000000001 | 0000000000000000
126 r_result = 0000000000000000
128 v_result = 0000000000000000 | 0000000000000000
129 r_result = 0000000000000000
131 v_result = 0000000000000001 | 0000000000000000
132 r_result = 0000000000000000
134 v_result = 0000000000000000 | 0000000000000000
135 r_result = 0000000000000000
137 v_result = 0000000000000000 | 0000000000000000
138 r_result = 0000000000000001
140 v_result = 0000000000000000 | 0000000000000000
141 r_result = 0000000000000001
143 v_result = 0000000000000000 | 0000000000000000
144 r_result = 0000000000000001
146 v_result = 0000000000000000 | 0000000000000000
147 r_result = 0000000000000001
149 v_result = 0000000000000000 | 0000000000000000
150 r_result = 0000000000000001
152 v_result = 0000000000000000 | 0000000000000000
153 r_result = 0000000000000000
155 v_result = 0000000000000000 | 0000000000000000
156 r_result = 0000000000000000
158 v_result = 0000000000000000 | 0000000000000000
159 r_result = 0000000000000000
161 v_result = 0000000000000000 | 0000000000000000
162 r_result = 0000000000000000
164 v_result = 0000000000000000 | 0000000000000000
165 r_result = 0000000000000000
167 v_result = 0000000000000000 | 0000000000000000
168 r_result = 0000000000000001
170 v_result = 0000000000000000 | 0000000000000000
171 r_result = 0000000000000001
173 v_result = 0000000000000000 | 0000000000000000
174 r_result = 0000000000000001
176 v_result = 0000000000000000 | 0000000000000000
177 r_result = 0000000000000001
179 v_result = 0000000000000000 | 0000000000000000
180 r_result = 0000000000000002
182 v_result = ffffffffffffffff | ffffffffff00ffff
183 r_result = 0000000000000000
185 v_result = ffffff00ffffffff | ffffffffffffffff
186 r_result = 0000000000000000
188 v_result = ffffffffffffffff | ffffffffffffffff
189 r_result = 0000000000000000
191 v_result = ffffffff00ffffff | ffffffffffffffff
192 r_result = 0000000000000000
194 v_result = ffffffffffffffff | ff00ffffffffffff
195 r_result = 0000000000000000
197 v_result = ffffffffffffffff | ffffffffffffffff
198 r_result = 0000000000000001
200 v_result = ffffffffffffffff | ffffffffffffffff
201 r_result = 0000000000000001
203 v_result = ff00ffffff00ffff | ffffffffffffffff
204 r_result = 0000000000000001
206 v_result = ffffffffffffffff | ffffffffffffffff
207 r_result = 0000000000000001
209 v_result = ffffffffffffff00 | ffffffffffffffff
210 r_result = 0000000000000001
212 v_result = ffff00ffffffffff | ffffffffffffffff
213 r_result = 0000000000000000
215 v_result = ffffffffffffffff | ffffffff00ff00ff
216 r_result = 0000000000000000
218 v_result = ffffffffffffffff | ffffffffffffffff
219 r_result = 0000000000000000
221 v_result = ffffffff00ffffff | ffffffffffffffff
222 r_result = 0000000000000000
224 v_result = ffffffff00ffff00 | ffffffff00ffffff
225 r_result = 0000000000000000
227 v_result = ffffffff00ff00ff | ffffffffffffffff
228 r_result = 0000000000000001
230 v_result = ffffffffffffffff | ffffffffffffffff
231 r_result = 0000000000000001
233 v_result = ff00ffffffffffff | ffffffffffffffff
234 r_result = 0000000000000001
236 v_result = ffffffffffffffff | ffffffffffffffff
237 r_result = 0000000000000001
239 v_result = ffffffffffff00ff | ffffffffffffffff
240 r_result = 0000000000000001
242 v_result = 0000000000000010 | 0000000000000000
243 r_result = 0000000000000000
245 v_result = 0000000000000010 | 0000000000000000
246 r_result = 0000000000000000
248 v_result = 0000000000000010 | 0000000000000000
249 r_result = 0000000000000000
251 v_result = 0000000000000010 | 0000000000000000
252 r_result = 0000000000000000
254 v_result = 0000000000000010 | 0000000000000000
255 r_result = 0000000000000000
257 v_result = 0000000000000010 | 0000000000000000
258 r_result = 0000000000000003
260 v_result = 0000000000000010 | 0000000000000000
261 r_result = 0000000000000003
263 v_result = 0000000000000010 | 0000000000000000
264 r_result = 0000000000000003
266 v_result = 0000000000000010 | 0000000000000000
267 r_result = 0000000000000003
269 v_result = 0000000000000010 | 0000000000000000
270 r_result = 0000000000000003
272 v_result = 0000000000000010 | 0000000000000000
273 r_result = 0000000000000000
275 v_result = 0000000000000010 | 0000000000000000
276 r_result = 0000000000000000
278 v_result = 0000000000000010 | 0000000000000000
279 r_result = 0000000000000000
281 v_result = 0000000000000010 | 0000000000000000
282 r_result = 0000000000000000
284 v_result = 0000000000000010 | 0000000000000000
285 r_result = 0000000000000000
287 v_result = 0000000000000010 | 0000000000000000
288 r_result = 0000000000000003
290 v_result = 0000000000000010 | 0000000000000000
291 r_result = 0000000000000003
293 v_result = 0000000000000010 | 0000000000000000
294 r_result = 0000000000000003
296 v_result = 0000000000000010 | 0000000000000000
297 r_result = 0000000000000003
299 v_result = 0000000000000010 | 0000000000000000
300 r_result = 0000000000000003
302 v_result = 0000000000000000 | 0000000000000000
303 r_result = 0000000000000000
305 v_result = 0000000000000000 | 0000000000000000
306 r_result = 0000000000000000
308 v_result = 0000000000000000 | 0000000000000000
309 r_result = 0000000000000000
311 v_result = 0000000000000000 | 0000000000000000
312 r_result = 0000000000000000
314 v_result = 0000000000000000 | 0000000000000000
315 r_result = 0000000000000000
317 v_result = 0000000000000000 | 0000000000000000
318 r_result = 0000000000000003
320 v_result = 0000000000000000 | 0000000000000000
321 r_result = 0000000000000003
323 v_result = 0000000000000000 | 0000000000000000
324 r_result = 0000000000000003
326 v_result = 0000000000000000 | 0000000000000000
327 r_result = 0000000000000003
329 v_result = 0000000000000000 | 0000000000000000
330 r_result = 0000000000000003
332 v_result = 0000000000000000 | 0000000000000000
333 r_result = 0000000000000000
335 v_result = 0000000000000000 | 0000000000000000
336 r_result = 0000000000000000
338 v_result = 0000000000000000 | 0000000000000000
339 r_result = 0000000000000000
341 v_result = 0000000000000000 | 0000000000000000
342 r_result = 0000000000000000
344 v_result = 0000000000000000 | 0000000000000000
345 r_result = 0000000000000000
347 v_result = 0000000000000000 | 0000000000000000
348 r_result = 0000000000000003
350 v_result = 0000000000000000 | 0000000000000000
351 r_result = 0000000000000003
353 v_result = 0000000000000000 | 0000000000000000
354 r_result = 0000000000000003
356 v_result = 0000000000000000 | 0000000000000000
357 r_result = 0000000000000003
359 v_result = 0000000000000000 | 0000000000000000
360 r_result = 0000000000000003
362 v_result = 0000000000000000 | 0000000000000000
363 r_result = 0000000000000000
365 v_result = 0000000000000000 | 0000000000000000
366 r_result = 0000000000000000
368 v_result = 0000000000000000 | 0000000000000000
369 r_result = 0000000000000000
371 v_result = 0000000000000000 | 0000000000000000
372 r_result = 0000000000000000
374 v_result = 0000000000000000 | 0000000000000000
375 r_result = 0000000000000000
377 v_result = 0000000000000000 | 0000000000000000
378 r_result = 0000000000000001
380 v_result = 0000000000000000 | 0000000000000000
381 r_result = 0000000000000001
383 v_result = 0000000000000000 | 0000000000000000
384 r_result = 0000000000000001
386 v_result = 0000000000000000 | 0000000000000000
387 r_result = 0000000000000001
389 v_result = 0000000000000000 | 0000000000000000
390 r_result = 0000000000000001
392 v_result = 0000000000000000 | 0000000000000000
393 r_result = 0000000000000000
395 v_result = 0000000000000000 | 0000000000000000
396 r_result = 0000000000000000
398 v_result = 0000000000000000 | 0000000000000000
399 r_result = 0000000000000000
401 v_result = 0000000000000000 | 0000000000000000
402 r_result = 0000000000000000
404 v_result = 0000000000000000 | 0000000000000000
405 r_result = 0000000000000000
407 v_result = 0000000000000000 | 0000000000000000
408 r_result = 0000000000000001
410 v_result = 0000000000000000 | 0000000000000000
411 r_result = 0000000000000001
413 v_result = 0000000000000000 | 0000000000000000
414 r_result = 0000000000000001
416 v_result = 0000000000000000 | 0000000000000000
417 r_result = 0000000000000001
419 v_result = 0000000000000000 | 0000000000000000
420 r_result = 0000000000000001
422 v_result = ffffffffffffffff | ffffffffffffffff
423 r_result = 0000000000000000
425 v_result = ffffffffffffffff | ffffffffffffffff
426 r_result = 0000000000000000
428 v_result = ffffffffffffffff | ffffffffffffffff
429 r_result = 0000000000000000
431 v_result = ffffffffffffffff | ffffffffffffffff
432 r_result = 0000000000000000
434 v_result = ffffffffffffffff | ffffffffffffffff
435 r_result = 0000000000000000
437 v_result = ffffffffffffffff | ffffffffffffffff
438 r_result = 0000000000000001
440 v_result = ffffffffffffffff | ffffffffffffffff
441 r_result = 0000000000000001
443 v_result = ffffffffffffffff | ffffffffffffffff
444 r_result = 0000000000000001
446 v_result = ffffffffffffffff | ffffffffffffffff
447 r_result = 0000000000000001
449 v_result = ffffffffffffffff | ffffffffffffffff
450 r_result = 0000000000000001
452 v_result = ffffffffffffffff | ffffffffffffffff
453 r_result = 0000000000000000
455 v_result = ffffffffffffffff | ffffffffffffffff
456 r_result = 0000000000000000
458 v_result = ffffffffffffffff | ffffffffffffffff
459 r_result = 0000000000000000
461 v_result = ffffffffffffffff | ffffffffffffffff
462 r_result = 0000000000000000
464 v_result = ffffffffffffffff | ffffffffffffffff
465 r_result = 0000000000000000
467 v_result = ffffffffffffffff | ffffffffffffffff
468 r_result = 0000000000000001
470 v_result = ffffffffffffffff | ffffffffffffffff
471 r_result = 0000000000000001
473 v_result = ffffffffffffffff | ffffffffffffffff
474 r_result = 0000000000000001
476 v_result = ffffffffffffffff | ffffffffffffffff
477 r_result = 0000000000000001
479 v_result = ffffffffffffffff | ffffffffffffffff
480 r_result = 0000000000000001
482 v_result = 0000000000000010 | 0000000000000000
483 r_result = 0000000000000000
485 v_result = 0000000000000010 | 0000000000000000
486 r_result = 0000000000000000
488 v_result = 0000000000000010 | 0000000000000000
489 r_result = 0000000000000000
491 v_result = 0000000000000010 | 0000000000000000
492 r_result = 0000000000000000
494 v_result = 0000000000000010 | 0000000000000000
495 r_result = 0000000000000000
497 v_result = 0000000000000010 | 0000000000000000
498 r_result = 0000000000000003
500 v_result = 0000000000000010 | 0000000000000000
501 r_result = 0000000000000003
503 v_result = 0000000000000010 | 0000000000000000
504 r_result = 0000000000000003
506 v_result = 0000000000000010 | 0000000000000000
507 r_result = 0000000000000003
509 v_result = 0000000000000010 | 0000000000000000
510 r_result = 0000000000000003
512 v_result = 0000000000000010 | 0000000000000000
513 r_result = 0000000000000000
515 v_result = 0000000000000010 | 0000000000000000
516 r_result = 0000000000000000
518 v_result = 0000000000000010 | 0000000000000000
519 r_result = 0000000000000000
521 v_result = 0000000000000010 | 0000000000000000
522 r_result = 0000000000000000
524 v_result = 0000000000000010 | 0000000000000000
525 r_result = 0000000000000000
527 v_result = 0000000000000010 | 0000000000000000
528 r_result = 0000000000000003
530 v_result = 0000000000000010 | 0000000000000000
531 r_result = 0000000000000003
533 v_result = 0000000000000010 | 0000000000000000
534 r_result = 0000000000000003
536 v_result = 0000000000000010 | 0000000000000000
537 r_result = 0000000000000003
539 v_result = 0000000000000010 | 0000000000000000
540 r_result = 0000000000000003
542 v_result = 0000000000000000 | 0000000000000000
543 r_result = 0000000000000000
545 v_result = 0000000000000000 | 0000000000000000
546 r_result = 0000000000000000
548 v_result = 0000000000000000 | 0000000000000000
549 r_result = 0000000000000000
551 v_result = 0000000000000000 | 0000000000000000
552 r_result = 0000000000000000
554 v_result = 0000000000000000 | 0000000000000000
555 r_result = 0000000000000000
557 v_result = 0000000000000000 | 0000000000000000
558 r_result = 0000000000000003
560 v_result = 0000000000000000 | 0000000000000000
561 r_result = 0000000000000003
563 v_result = 0000000000000000 | 0000000000000000
564 r_result = 0000000000000003
566 v_result = 0000000000000000 | 0000000000000000
567 r_result = 0000000000000003
569 v_result = 0000000000000000 | 0000000000000000
570 r_result = 0000000000000003
572 v_result = 0000000000000000 | 0000000000000000
573 r_result = 0000000000000000
575 v_result = 0000000000000000 | 0000000000000000
576 r_result = 0000000000000000
578 v_result = 0000000000000000 | 0000000000000000
579 r_result = 0000000000000000
581 v_result = 0000000000000000 | 0000000000000000
582 r_result = 0000000000000000
584 v_result = 0000000000000000 | 0000000000000000
585 r_result = 0000000000000000
587 v_result = 0000000000000000 | 0000000000000000
588 r_result = 0000000000000003
590 v_result = 0000000000000000 | 0000000000000000
591 r_result = 0000000000000003
593 v_result = 0000000000000000 | 0000000000000000
594 r_result = 0000000000000003
596 v_result = 0000000000000000 | 0000000000000000
597 r_result = 0000000000000003
599 v_result = 0000000000000000 | 0000000000000000
600 r_result = 0000000000000003
602 v_result = 0000000000000000 | 0000000000000000
603 r_result = 0000000000000000
605 v_result = 0000000000000000 | 0000000000000000
606 r_result = 0000000000000000
608 v_result = 0000000000000000 | 0000000000000000
609 r_result = 0000000000000000
611 v_result = 0000000000000000 | 0000000000000000
612 r_result = 0000000000000000
614 v_result = 0000000000000000 | 0000000000000000
615 r_result = 0000000000000000
617 v_result = 0000000000000000 | 0000000000000000
618 r_result = 0000000000000001
620 v_result = 0000000000000000 | 0000000000000000
621 r_result = 0000000000000001
623 v_result = 0000000000000000 | 0000000000000000
624 r_result = 0000000000000001
626 v_result = 0000000000000000 | 0000000000000000
627 r_result = 0000000000000001
629 v_result = 0000000000000000 | 0000000000000000
630 r_result = 0000000000000001
632 v_result = 0000000000000000 | 0000000000000000
633 r_result = 0000000000000000
635 v_result = 0000000000000000 | 0000000000000000
636 r_result = 0000000000000000
638 v_result = 0000000000000000 | 0000000000000000
639 r_result = 0000000000000000
641 v_result = 0000000000000000 | 0000000000000000
642 r_result = 0000000000000000
644 v_result = 0000000000000000 | 0000000000000000
645 r_result = 0000000000000000
647 v_result = 0000000000000000 | 0000000000000000
648 r_result = 0000000000000001
650 v_result = 0000000000000000 | 0000000000000000
651 r_result = 0000000000000001
653 v_result = 0000000000000000 | 0000000000000000
654 r_result = 0000000000000001
656 v_result = 0000000000000000 | 0000000000000000
657 r_result = 0000000000000001
659 v_result = 0000000000000000 | 0000000000000000
660 r_result = 0000000000000001
662 v_result = ffffffffffffffff | ffffffffffffffff
663 r_result = 0000000000000000
665 v_result = ffffffffffffffff | ffffffffffffffff
666 r_result = 0000000000000000
668 v_result = ffffffffffffffff | ffffffffffffffff
669 r_result = 0000000000000000
671 v_result = ffffffffffffffff | ffffffffffffffff
672 r_result = 0000000000000000
674 v_result = ffffffffffffffff | ffffffffffffffff
675 r_result = 0000000000000000
677 v_result = ffffffffffffffff | ffffffffffffffff
678 r_result = 0000000000000001
680 v_result = ffffffffffffffff | ffffffffffffffff
681 r_result = 0000000000000001
683 v_result = ffffffffffffffff | ffffffffffffffff
684 r_result = 0000000000000001
686 v_result = ffffffffffffffff | ffffffffffffffff
687 r_result = 0000000000000001
689 v_result = ffffffffffffffff | ffffffffffffffff
690 r_result = 0000000000000001
692 v_result = ffffffffffffffff | ffffffffffffffff
693 r_result = 0000000000000000
695 v_result = ffffffffffffffff | ffffffffffffffff
696 r_result = 0000000000000000
698 v_result = ffffffffffffffff | ffffffffffffffff
699 r_result = 0000000000000000
701 v_result = ffffffffffffffff | ffffffffffffffff
702 r_result = 0000000000000000
704 v_result = ffffffffffffffff | ffffffffffffffff
705 r_result = 0000000000000000
707 v_result = ffffffffffffffff | ffffffffffffffff
708 r_result = 0000000000000001
710 v_result = ffffffffffffffff | ffffffffffffffff
711 r_result = 0000000000000001
713 v_result = ffffffffffffffff | ffffffffffffffff
714 r_result = 0000000000000001
716 v_result = ffffffffffffffff | ffffffffffffffff
717 r_result = 0000000000000001
719 v_result = ffffffffffffffff | ffffffffffffffff
720 r_result = 0000000000000001
722 v_result = 0000000000000010 | 0000000000000000
723 r_result = 0000000000000000
725 v_result = 0000000000000010 | 0000000000000000
726 r_result = 0000000000000000
728 v_result = 0000000000000010 | 0000000000000000
729 r_result = 0000000000000000
731 v_result = 0000000000000010 | 0000000000000000
732 r_result = 0000000000000000
734 v_result = 0000000000000010 | 0000000000000000
735 r_result = 0000000000000000
737 v_result = 0000000000000010 | 0000000000000000
738 r_result = 0000000000000000
740 v_result = 0000000000000010 | 0000000000000000
741 r_result = 0000000000000000
743 v_result = 0000000000000010 | 0000000000000000
744 r_result = 0000000000000000
746 v_result = 0000000000000010 | 0000000000000000
747 r_result = 0000000000000000
749 v_result = 0000000000000010 | 0000000000000000
750 r_result = 0000000000000000
752 v_result = 0000000000000010 | 0000000000000000
753 r_result = 0000000000000000
755 v_result = 0000000000000010 | 0000000000000000
756 r_result = 0000000000000000
758 v_result = 0000000000000010 | 0000000000000000
759 r_result = 0000000000000000
761 v_result = 0000000000000010 | 0000000000000000
762 r_result = 0000000000000000
764 v_result = 0000000000000010 | 0000000000000000
765 r_result = 0000000000000000
767 v_result = 0000000000000010 | 0000000000000000
768 r_result = 0000000000000000
770 v_result = 0000000000000010 | 0000000000000000
771 r_result = 0000000000000000
773 v_result = 0000000000000010 | 0000000000000000
774 r_result = 0000000000000000
776 v_result = 0000000000000010 | 0000000000000000
777 r_result = 0000000000000000
779 v_result = 0000000000000010 | 0000000000000000
780 r_result = 0000000000000000
782 v_result = 0000000000000010 | 0000000000000000
783 r_result = 0000000000000000
785 v_result = 0000000000000010 | 0000000000000000
786 r_result = 0000000000000000
788 v_result = 0000000000000010 | 0000000000000000
789 r_result = 0000000000000000
791 v_result = 0000000000000010 | 0000000000000000
792 r_result = 0000000000000000
794 v_result = 0000000000000010 | 0000000000000000
795 r_result = 0000000000000000
797 v_result = 0000000000000010 | 0000000000000000
798 r_result = 0000000000000000
800 v_result = 0000000000000010 | 0000000000000000
801 r_result = 0000000000000000
803 v_result = 0000000000000001 | 0000000000000000
804 r_result = 0000000000000000
806 v_result = 0000000000000008 | 0000000000000000
807 r_result = 0000000000000000
809 v_result = 0000000000000010 | 0000000000000000
810 r_result = 0000000000000000
812 v_result = 000000000000000d | 0000000000000000
813 r_result = 0000000000000000
815 v_result = 0000000000000010 | 0000000000000000
816 r_result = 0000000000000003
818 v_result = 0000000000000007 | 0000000000000000
819 r_result = 0000000000000001
821 v_result = 0000000000000010 | 0000000000000000
822 r_result = 0000000000000003
824 v_result = 0000000000000010 | 0000000000000000
825 r_result = 0000000000000003
827 v_result = 0000000000000010 | 0000000000000000
828 r_result = 0000000000000003
830 v_result = 0000000000000010 | 0000000000000000
831 r_result = 0000000000000003
833 v_result = 0000000000000010 | 0000000000000000
834 r_result = 0000000000000003
836 v_result = 0000000000000010 | 0000000000000000
837 r_result = 0000000000000003
839 v_result = 0000000000000010 | 0000000000000000
840 r_result = 0000000000000003
842 v_result = 0000000000000010 | 0000000000000000
843 r_result = 0000000000000003
845 v_result = 0000000000000010 | 0000000000000000
846 r_result = 0000000000000003
848 v_result = 0000000000000010 | 0000000000000000
849 r_result = 0000000000000003
851 v_result = 0000000000000010 | 0000000000000000
852 r_result = 0000000000000003
854 v_result = 0000000000000010 | 0000000000000000
855 r_result = 0000000000000003
857 v_result = 0000000000000004 | 0000000000000000
858 r_result = 0000000000000001
860 v_result = 0000000000000010 | 0000000000000000
861 r_result = 0000000000000003
863 v_result = 0000000000000010 | 0000000000000000
864 r_result = 0000000000000003
866 v_result = 0000000000000010 | 0000000000000000
867 r_result = 0000000000000003
869 v_result = 0000000000000010 | 0000000000000000
870 r_result = 0000000000000003
872 v_result = 0000000000000010 | 0000000000000000
873 r_result = 0000000000000003
875 v_result = 0000000000000010 | 0000000000000000
876 r_result = 0000000000000003
878 v_result = 0000000000000010 | 0000000000000000
879 r_result = 0000000000000003
881 v_result = 0000000000000010 | 0000000000000000
882 r_result = 0000000000000003
884 v_result = 0000000000000010 | 0000000000000000
885 r_result = 0000000000000003
887 v_result = 0000000000000010 | 0000000000000000
888 r_result = 0000000000000003
890 v_result = 0000000000000010 | 0000000000000000
891 r_result = 0000000000000003
893 v_result = 0000000000000010 | 0000000000000000
894 r_result = 0000000000000003
896 v_result = 0000000000000010 | 0000000000000000
897 r_result = 0000000000000003
899 v_result = 0000000000000010 | 0000000000000000
900 r_result = 0000000000000003
902 v_result = 0000000000000000 | 0000000000000000
903 r_result = 0000000000000000
905 v_result = 0000000000000000 | 0000000000000000
906 r_result = 0000000000000000
908 v_result = 0000000000000000 | 0000000000000000
909 r_result = 0000000000000000
911 v_result = 0000000000000000 | 0000000000000000
912 r_result = 0000000000000000
914 v_result = 0000000000000000 | 0000000000000000
915 r_result = 0000000000000000
917 v_result = 0000000000000000 | 0000000000000000
918 r_result = 0000000000000000
920 v_result = 0000000000000000 | 0000000000000000
921 r_result = 0000000000000000
923 v_result = 0000000000000000 | 0000000000000000
924 r_result = 0000000000000000
926 v_result = 0000000000000000 | 0000000000000000
927 r_result = 0000000000000000
929 v_result = 0000000000000000 | 0000000000000000
930 r_result = 0000000000000000
932 v_result = 0000000000000000 | 0000000000000000
933 r_result = 0000000000000000
935 v_result = 0000000000000000 | 0000000000000000
936 r_result = 0000000000000000
938 v_result = 0000000000000000 | 0000000000000000
939 r_result = 0000000000000000
941 v_result = 0000000000000000 | 0000000000000000
942 r_result = 0000000000000000
944 v_result = 0000000000000000 | 0000000000000000
945 r_result = 0000000000000000
947 v_result = 0000000000000000 | 0000000000000000
948 r_result = 0000000000000000
950 v_result = 0000000000000000 | 0000000000000000
951 r_result = 0000000000000000
953 v_result = 0000000000000000 | 0000000000000000
954 r_result = 0000000000000000
956 v_result = 0000000000000000 | 0000000000000000
957 r_result = 0000000000000000
959 v_result = 0000000000000000 | 0000000000000000
960 r_result = 0000000000000000
962 v_result = 0000000000000000 | 0000000000000000
963 r_result = 0000000000000000
965 v_result = 0000000000000000 | 0000000000000000
966 r_result = 0000000000000000
968 v_result = 0000000000000000 | 0000000000000000
969 r_result = 0000000000000000
971 v_result = 0000000000000000 | 0000000000000000
972 r_result = 0000000000000000
974 v_result = 0000000000000000 | 0000000000000000
975 r_result = 0000000000000000
977 v_result = 0000000000000000 | 0000000000000000
978 r_result = 0000000000000000
980 v_result = 0000000000000000 | 0000000000000000
981 r_result = 0000000000000000
983 v_result = 0000000000000000 | 0000000000000000
984 r_result = 0000000000000000
986 v_result = 0000000000000000 | 0000000000000000
987 r_result = 0000000000000000
989 v_result = 0000000000000000 | 0000000000000000
990 r_result = 0000000000000000
992 v_result = 0000000000000000 | 0000000000000000
993 r_result = 0000000000000001
995 v_result = 0000000000000000 | 0000000000000000
996 r_result = 0000000000000002
998 v_result = 0000000000000000 | 0000000000000000
999 r_result = 0000000000000002
1001 v_result = 0000000000000000 | 0000000000000000
1002 r_result = 0000000000000002
1004 v_result = 0000000000000000 | 0000000000000000
1005 r_result = 0000000000000001
1007 v_result = 0000000000000000 | 0000000000000000
1008 r_result = 0000000000000001
1010 v_result = 0000000000000000 | 0000000000000000
1011 r_result = 0000000000000002
1013 v_result = 0000000000000000 | 0000000000000000
1014 r_result = 0000000000000001
1016 v_result = 0000000000000000 | 0000000000000000
1017 r_result = 0000000000000001
1019 v_result = 0000000000000000 | 0000000000000000
1020 r_result = 0000000000000002
1022 v_result = 0000000000000000 | 0000000000000000
1023 r_result = 0000000000000002
1025 v_result = 0000000000000000 | 0000000000000000
1026 r_result = 0000000000000002
1028 v_result = 0000000000000000 | 0000000000000000
1029 r_result = 0000000000000001
1031 v_result = 0000000000000000 | 0000000000000000
1032 r_result = 0000000000000001
1034 v_result = 0000000000000000 | 0000000000000000
1035 r_result = 0000000000000001
1037 v_result = 0000000000000000 | 0000000000000000
1038 r_result = 0000000000000001
1040 v_result = 0000000000000000 | 0000000000000000
1041 r_result = 0000000000000001
1043 v_result = 0000000000000000 | 0000000000000000
1044 r_result = 0000000000000001
1046 v_result = 0000000000000000 | 0000000000000000
1047 r_result = 0000000000000001
1049 v_result = 0000000000000000 | 0000000000000000
1050 r_result = 0000000000000002
1052 v_result = 0000000000000000 | 0000000000000000
1053 r_result = 0000000000000001
1055 v_result = 0000000000000000 | 0000000000000000
1056 r_result = 0000000000000001
1058 v_result = 0000000000000000 | 0000000000000000
1059 r_result = 0000000000000001
1061 v_result = 0000000000000000 | 0000000000000000
1062 r_result = 0000000000000002
1064 v_result = 0000000000000000 | 0000000000000000
1065 r_result = 0000000000000001
1067 v_result = 0000000000000000 | 0000000000000000
1068 r_result = 0000000000000002
1070 v_result = 0000000000000000 | 0000000000000000
1071 r_result = 0000000000000001
1073 v_result = 0000000000000000 | 0000000000000000
1074 r_result = 0000000000000002
1076 v_result = 0000000000000000 | 0000000000000000
1077 r_result = 0000000000000001
1079 v_result = 0000000000000000 | 0000000000000000
1080 r_result = 0000000000000001
1082 v_result = 0000000000000000 | 0000000000000000
1083 r_result = 0000000000000000
1085 v_result = 0000000000000000 | 0000000000000000
1086 r_result = 0000000000000000
1088 v_result = 0000000000000000 | 0000000000000000
1089 r_result = 0000000000000000
1091 v_result = 0000000000000000 | 0000000000000000
1092 r_result = 0000000000000000
1094 v_result = 0000000000000000 | 0000000000000000
1095 r_result = 0000000000000000
1097 v_result = 0000000000000001 | 0000000000000000
1098 r_result = 0000000000000001
1100 v_result = 0000000000000000 | 0000000000000000
1101 r_result = 0000000000000001
1103 v_result = 0000000000000000 | 0000000000000000
1104 r_result = 0000000000000001
1106 v_result = 0000000000000000 | 0000000000000000
1107 r_result = 0000000000000001
1109 v_result = 0000000000000000 | 0000000000000000
1110 r_result = 0000000000000001
1112 v_result = 0000000000000004 | 0000000000000000
1113 r_result = 0000000000000000
1115 v_result = 0000000000000000 | 0000000000000000
1116 r_result = 0000000000000000
1118 v_result = 0000000000000000 | 0000000000000000
1119 r_result = 0000000000000000
1121 v_result = 0000000000000000 | 0000000000000000
1122 r_result = 0000000000000000
1124 v_result = 0000000000000000 | 0000000000000000
1125 r_result = 0000000000000000
1127 v_result = 0000000000000000 | 0000000000000000
1128 r_result = 0000000000000002
1130 v_result = 0000000000000000 | 0000000000000000
1131 r_result = 0000000000000001
1133 v_result = 0000000000000000 | 0000000000000000
1134 r_result = 0000000000000001
1136 v_result = 0000000000000000 | 0000000000000000
1137 r_result = 0000000000000001
1139 v_result = 0000000000000010 | 0000000000000000
1140 r_result = 0000000000000003
1142 v_result = ffffffffffffffff | ffffffffffffffff
1143 r_result = 0000000000000000
1145 v_result = ffffffffffffffff | ffffffffffffffff
1146 r_result = 0000000000000000
1148 v_result = ffff00ffffffffff | ffffffffffffffff
1149 r_result = 0000000000000000
1151 v_result = ffffff00ffffffff | 00ff00ffffffffff
1152 r_result = 0000000000000000
1154 v_result = ffffffffffffffff | ffffffffffffffff
1155 r_result = 0000000000000000
1157 v_result = ffffffffffffffff | ffffffffffffffff
1158 r_result = 0000000000000001
1160 v_result = ffffffff000000ff | 00ffffffffff00ff
1161 r_result = 0000000000000001
1163 v_result = ffffffffffffffff | ffffffffffffffff
1164 r_result = 0000000000000001
1166 v_result = ffffffffffffffff | ffffffffffffffff
1167 r_result = 0000000000000001
1169 v_result = 00ffffff00ffffff | ffffff00ffffffff
1170 r_result = 0000000000000001
1172 v_result = ffffffffffffffff | ffffffffffffffff
1173 r_result = 0000000000000000
1175 v_result = ffffffffffffffff | ffffffffffffffff
1176 r_result = 0000000000000000
1178 v_result = ffffffffffffffff | ffffffffffffffff
1179 r_result = 0000000000000000
1181 v_result = ffffffffffffffff | ffffffffffffffff
1182 r_result = 0000000000000000
1184 v_result = ffffffffffffffff | ffffffffffffffff
1185 r_result = 0000000000000000
1187 v_result = ffffffffffffffff | ffffffffffffffff
1188 r_result = 0000000000000001
1190 v_result = ffffffffffffffff | ffffffffffffffff
1191 r_result = 0000000000000001
1193 v_result = ffffffffffffffff | ffffffffffffffff
1194 r_result = 0000000000000001
1196 v_result = ffffffffffffffff | ffffffffffffffff
1197 r_result = 0000000000000001
1199 v_result = ffffffffffffffff | ffffffffffffffff
1200 r_result = 0000000000000001
1202 v_result = 0000000000000010 | 0000000000000000
1203 r_result = 0000000000000000
1205 v_result = 0000000000000010 | 0000000000000000
1206 r_result = 0000000000000000
1208 v_result = 0000000000000000 | 0000000000000000
1209 r_result = 0000000000000000
1211 v_result = 0000000000000010 | 0000000000000000
1212 r_result = 0000000000000000
1214 v_result = 0000000000000010 | 0000000000000000
1215 r_result = 0000000000000000
1217 v_result = 0000000000000010 | 0000000000000000
1218 r_result = 0000000000000003
1220 v_result = 0000000000000010 | 0000000000000000
1221 r_result = 0000000000000003
1223 v_result = 0000000000000010 | 0000000000000000
1224 r_result = 0000000000000003
1226 v_result = 0000000000000006 | 0000000000000000
1227 r_result = 0000000000000001
1229 v_result = 0000000000000010 | 0000000000000000
1230 r_result = 0000000000000003
1232 v_result = 0000000000000010 | 0000000000000000
1233 r_result = 0000000000000000
1235 v_result = 0000000000000001 | 0000000000000000
1236 r_result = 0000000000000000
1238 v_result = 0000000000000010 | 0000000000000000
1239 r_result = 0000000000000000
1241 v_result = 0000000000000000 | 0000000000000000
1242 r_result = 0000000000000000
1244 v_result = 0000000000000002 | 0000000000000000
1245 r_result = 0000000000000000
1247 v_result = 000000000000000d | 0000000000000000
1248 r_result = 0000000000000000
1250 v_result = 0000000000000010 | 0000000000000000
1251 r_result = 0000000000000003
1253 v_result = 0000000000000010 | 0000000000000000
1254 r_result = 0000000000000003
1256 v_result = 000000000000000e | 0000000000000000
1257 r_result = 0000000000000001
1259 v_result = 0000000000000010 | 0000000000000000
1260 r_result = 0000000000000003
1262 v_result = 0000000000000000 | 0000000000000000
1263 r_result = 0000000000000000
1265 v_result = 0000000000000000 | 0000000000000000
1266 r_result = 0000000000000000
1268 v_result = 0000000000000000 | 0000000000000000
1269 r_result = 0000000000000000
1271 v_result = 0000000000000000 | 0000000000000000
1272 r_result = 0000000000000000
1274 v_result = 0000000000000000 | 0000000000000000
1275 r_result = 0000000000000000
1277 v_result = 0000000000000000 | 0000000000000000
1278 r_result = 0000000000000003
1280 v_result = 0000000000000000 | 0000000000000000
1281 r_result = 0000000000000003
1283 v_result = 0000000000000000 | 0000000000000000
1284 r_result = 0000000000000003
1286 v_result = 0000000000000000 | 0000000000000000
1287 r_result = 0000000000000003
1289 v_result = 0000000000000000 | 0000000000000000
1290 r_result = 0000000000000003
1292 v_result = 0000000000000000 | 0000000000000000
1293 r_result = 0000000000000000
1295 v_result = 0000000000000000 | 0000000000000000
1296 r_result = 0000000000000000
1298 v_result = 0000000000000000 | 0000000000000000
1299 r_result = 0000000000000000
1301 v_result = 0000000000000000 | 0000000000000000
1302 r_result = 0000000000000000
1304 v_result = 00ff0000ff00ffff | 0000ff0000ff0000
1305 r_result = 0000000000000000
1307 v_result = 0000000000000000 | 0000000000000000
1308 r_result = 0000000000000003
1310 v_result = 0000000000000000 | 0000000000000000
1311 r_result = 0000000000000003
1313 v_result = 0000000000000000 | 0000000000000000
1314 r_result = 0000000000000003
1316 v_result = 0000000000000000 | 0000000000000000
1317 r_result = 0000000000000003
1319 v_result = 0000000000000000 | 0000000000000000
1320 r_result = 0000000000000003
1322 v_result = 0000000000000000 | 0000000000000000
1323 r_result = 0000000000000000
1325 v_result = 0000000000000000 | 0000000000000000
1326 r_result = 0000000000000000
1328 v_result = 0000000000000000 | 0000000000000000
1329 r_result = 0000000000000000
1331 v_result = 0000000000000000 | 0000000000000000
1332 r_result = 0000000000000000
1334 v_result = 0000000000000000 | 0000000000000000
1335 r_result = 0000000000000000
1337 v_result = 0000000000000002 | 0000000000000000
1338 r_result = 0000000000000001
1340 v_result = 0000000000000000 | 0000000000000000
1341 r_result = 0000000000000001
1343 v_result = 0000000000000000 | 0000000000000000
1344 r_result = 0000000000000001
1346 v_result = 0000000000000000 | 0000000000000000
1347 r_result = 0000000000000001
1349 v_result = 0000000000000000 | 0000000000000000
1350 r_result = 0000000000000001
1352 v_result = 0000000000000006 | 0000000000000000
1353 r_result = 0000000000000000
1355 v_result = 0000000000000000 | 0000000000000000
1356 r_result = 0000000000000000
1358 v_result = 0000000000000002 | 0000000000000000
1359 r_result = 0000000000000000
1361 v_result = 0000000000000000 | 0000000000000000
1362 r_result = 0000000000000000
1364 v_result = 0000000000000000 | 0000000000000000
1365 r_result = 0000000000000000
1367 v_result = 0000000000000000 | 0000000000000000
1368 r_result = 0000000000000001
1370 v_result = 0000000000000010 | 0000000000000000
1371 r_result = 0000000000000003
1373 v_result = 0000000000000010 | 0000000000000000
1374 r_result = 0000000000000003
1376 v_result = 0000000000000000 | 0000000000000000
1377 r_result = 0000000000000001
1379 v_result = 0000000000000000 | 0000000000000000
1380 r_result = 0000000000000001
1382 v_result = ffffffffffff0000 | ffffffffffffffff
1383 r_result = 0000000000000000
1385 v_result = ffffffffffffffff | ffffffffffffffff
1386 r_result = 0000000000000000
1388 v_result = ffffffffffffffff | ffffffffffffffff
1389 r_result = 0000000000000000
1391 v_result = ffffffffffffffff | ffffffffffffffff
1392 r_result = 0000000000000000
1394 v_result = 0000000000000000 | 0000000000000000
1395 r_result = 0000000000000000
1397 v_result = ffff00000000ffff | 0000000000000000
1398 r_result = 0000000000000001
1400 v_result = ffffffffffffffff | ffffffffffffffff
1401 r_result = 0000000000000001
1403 v_result = ffffffffffffffff | ffffffff0000ffff
1404 r_result = 0000000000000001
1406 v_result = 0000ffffffff0000 | ffffffffffff0000
1407 r_result = 0000000000000001
1409 v_result = ffffffffffffffff | ffffffffffffffff
1410 r_result = 0000000000000001
1412 v_result = ffffffffffffffff | ffffffffffffffff
1413 r_result = 0000000000000000
1415 v_result = ffff0000ffffffff | 0000ffffffffffff
1416 r_result = 0000000000000000
1418 v_result = ffffffffffffffff | 0000ffffffffffff
1419 r_result = 0000000000000000
1421 v_result = ffffffffffffffff | ffffffffffffffff
1422 r_result = 0000000000000000
1424 v_result = ffffffffffffffff | ffffffffffffffff
1425 r_result = 0000000000000000
1427 v_result = 000000000000ffff | 00000000ffff0000
1428 r_result = 0000000000000001
1430 v_result = 0000000000000000 | 0000000000000000
1431 r_result = 0000000000000003
1433 v_result = 0000000000000000 | 000000000000ffff
1434 r_result = 0000000000000001
1436 v_result = 0000ffffffff0000 | 0000ffff0000ffff
1437 r_result = 0000000000000001
1439 v_result = ffffffffffffffff | 0000ffff0000ffff
1440 r_result = 0000000000000001
1442 v_result = 0000000000000010 | 0000000000000000
1443 r_result = 0000000000000000
1445 v_result = 0000000000000002 | 0000000000000000
1446 r_result = 0000000000000000
1448 v_result = 0000000000000010 | 0000000000000000
1449 r_result = 0000000000000000
1451 v_result = 0000000000000010 | 0000000000000000
1452 r_result = 0000000000000000
1454 v_result = 0000000000000000 | 0000000000000000
1455 r_result = 0000000000000000
1457 v_result = 0000000000000000 | 0000000000000000
1458 r_result = 0000000000000001
1460 v_result = 0000000000000010 | 0000000000000000
1461 r_result = 0000000000000003
1463 v_result = 0000000000000000 | 0000000000000000
1464 r_result = 0000000000000001
1466 v_result = 0000000000000000 | 0000000000000000
1467 r_result = 0000000000000001
1469 v_result = 0000000000000010 | 0000000000000000
1470 r_result = 0000000000000003
1472 v_result = 0000000000000010 | 0000000000000000
1473 r_result = 0000000000000000
1475 v_result = 0000000000000000 | 0000000000000000
1476 r_result = 0000000000000000
1478 v_result = 0000000000000010 | 0000000000000000
1479 r_result = 0000000000000000
1481 v_result = 0000000000000008 | 0000000000000000
1482 r_result = 0000000000000000
1484 v_result = 0000000000000008 | 0000000000000000
1485 r_result = 0000000000000000
1487 v_result = 0000000000000004 | 0000000000000000
1488 r_result = 0000000000000001
1490 v_result = 0000000000000000 | 0000000000000000
1491 r_result = 0000000000000001
1493 v_result = 0000000000000010 | 0000000000000000
1494 r_result = 0000000000000003
1496 v_result = 0000000000000010 | 0000000000000000
1497 r_result = 0000000000000003
1499 v_result = 0000000000000000 | 0000000000000000
1500 r_result = 0000000000000001
1502 v_result = 0000000000000000 | 0000000000000000
1503 r_result = 0000000000000000
1505 v_result = 000000000000ffff | 000000000000ffff
1506 r_result = 0000000000000000
1508 v_result = ffff0000ffff0000 | ffff000000000000
1509 r_result = 0000000000000000
1511 v_result = ffffffffffffffff | ffffffffffffffff
1512 r_result = 0000000000000000
1514 v_result = 0000000000000000 | 0000000000000000
1515 r_result = 0000000000000000
1517 v_result = 000000000000ffff | 000000000000ffff
1518 r_result = 0000000000000001
1520 v_result = 0000000000000000 | 000000000000ffff
1521 r_result = 0000000000000001
1523 v_result = 0000ffffffffffff | ffffffffffffffff
1524 r_result = 0000000000000001
1526 v_result = 0000000000000000 | 0000000000000000
1527 r_result = 0000000000000003
1529 v_result = ffffffffffffffff | ffffffffffffffff
1530 r_result = 0000000000000001
1532 v_result = 0000000000000000 | 0000000000000000
1533 r_result = 0000000000000000
1535 v_result = 0000000000000000 | 0000000000000000
1536 r_result = 0000000000000000
1538 v_result = 0000ffffffffffff | ffffffffffffffff
1539 r_result = 0000000000000000
1541 v_result = 0000000000000000 | 0000000000000000
1542 r_result = 0000000000000000
1544 v_result = 0000ffffffffffff | ffffffffffffffff
1545 r_result = 0000000000000000
1547 v_result = 0000ffff0000ffff | 00000000ffffffff
1548 r_result = 0000000000000001
1550 v_result = 0000000000000000 | 0000000000000000
1551 r_result = 0000000000000003
1553 v_result = 0000ffff00000000 | ffff000000000000
1554 r_result = 0000000000000001
1556 v_result = 0000000000000000 | 0000000000000000
1557 r_result = 0000000000000003
1559 v_result = 0000000000000000 | 0000000000000000
1560 r_result = 0000000000000003
1562 v_result = 0000000000000010 | 0000000000000000
1563 r_result = 0000000000000000
1565 v_result = 0000000000000000 | 0000000000000000
1566 r_result = 0000000000000000
1568 v_result = 0000000000000000 | 0000000000000000
1569 r_result = 0000000000000000
1571 v_result = 0000000000000000 | 0000000000000000
1572 r_result = 0000000000000000
1574 v_result = 0000000000000000 | 0000000000000000
1575 r_result = 0000000000000000
1577 v_result = 0000000000000010 | 0000000000000000
1578 r_result = 0000000000000003
1580 v_result = 0000000000000000 | 0000000000000000
1581 r_result = 0000000000000001
1583 v_result = 000000000000000c | 0000000000000000
1584 r_result = 0000000000000001
1586 v_result = 0000000000000000 | 0000000000000000
1587 r_result = 0000000000000001
1589 v_result = 0000000000000010 | 0000000000000000
1590 r_result = 0000000000000003
1592 v_result = 0000000000000004 | 0000000000000000
1593 r_result = 0000000000000000
1595 v_result = 0000000000000010 | 0000000000000000
1596 r_result = 0000000000000000
1598 v_result = 0000000000000010 | 0000000000000000
1599 r_result = 0000000000000000
1601 v_result = 0000000000000000 | 0000000000000000
1602 r_result = 0000000000000000
1604 v_result = 0000000000000004 | 0000000000000000
1605 r_result = 0000000000000000
1607 v_result = 0000000000000000 | 0000000000000000
1608 r_result = 0000000000000001
1610 v_result = 0000000000000004 | 0000000000000000
1611 r_result = 0000000000000001
1613 v_result = 0000000000000000 | 0000000000000000
1614 r_result = 0000000000000001
1616 v_result = 0000000000000000 | 0000000000000000
1617 r_result = 0000000000000001
1619 v_result = 0000000000000010 | 0000000000000000
1620 r_result = 0000000000000003
1622 v_result = 0000000000000000 | 0000000000000000
1623 r_result = 0000000000000000
1625 v_result = 0000000000000000 | ffffffff00000000
1626 r_result = 0000000000000000
1628 v_result = 0000000000000000 | 0000000000000000
1629 r_result = 0000000000000000
1631 v_result = ffffffffffffffff | 00000000ffffffff
1632 r_result = 0000000000000000
1634 v_result = ffffffffffffffff | ffffffff00000000
1635 r_result = 0000000000000000
1637 v_result = ffffffffffffffff | ffffffffffffffff
1638 r_result = 0000000000000001
1640 v_result = 0000000000000000 | 0000000000000000
1641 r_result = 0000000000000003
1643 v_result = 0000000000000000 | 0000000000000000
1644 r_result = 0000000000000003
1646 v_result = 0000000000000000 | 0000000000000000
1647 r_result = 0000000000000003
1649 v_result = 00000000ffffffff | ffffffffffffffff
1650 r_result = 0000000000000001
1652 v_result = ffffffffffffffff | ffffffffffffffff
1653 r_result = 0000000000000000
1655 v_result = ffffffffffffffff | 00000000ffffffff
1656 r_result = 0000000000000000
1658 v_result = 00000000ffffffff | 0000000000000000
1659 r_result = 0000000000000000
1661 v_result = ffffffffffffffff | ffffffffffffffff
1662 r_result = 0000000000000000
1664 v_result = ffffffffffffffff | ffffffffffffffff
1665 r_result = 0000000000000000
1667 v_result = 0000000000000000 | 0000000000000000
1668 r_result = 0000000000000003
1670 v_result = ffffffff00000000 | 0000000000000000
1671 r_result = 0000000000000001
1673 v_result = 0000000000000000 | 0000000000000000
1674 r_result = 0000000000000003
1676 v_result = ffffffff00000000 | 0000000000000000
1677 r_result = 0000000000000001
1679 v_result = ffffffff00000000 | 0000000000000000
1680 r_result = 0000000000000001
1682 v_result = 0000000000000010 | 0000000000000000
1683 r_result = 0000000000000000
1685 v_result = 0000000000000000 | 0000000000000000
1686 r_result = 0000000000000000
1688 v_result = 0000000000000000 | 0000000000000000
1689 r_result = 0000000000000000
1691 v_result = 0000000000000004 | 0000000000000000
1692 r_result = 0000000000000000
1694 v_result = 0000000000000000 | 0000000000000000
1695 r_result = 0000000000000000
1697 v_result = 0000000000000010 | 0000000000000000
1698 r_result = 0000000000000003
1700 v_result = 0000000000000000 | 0000000000000000
1701 r_result = 0000000000000001
1703 v_result = 0000000000000000 | 0000000000000000
1704 r_result = 0000000000000001
1706 v_result = 0000000000000000 | 0000000000000000
1707 r_result = 0000000000000001
1709 v_result = 0000000000000000 | 0000000000000000
1710 r_result = 0000000000000001
1712 v_result = 0000000000000008 | 0000000000000000
1713 r_result = 0000000000000000
1715 v_result = 0000000000000010 | 0000000000000000
1716 r_result = 0000000000000000
1718 v_result = 0000000000000010 | 0000000000000000
1719 r_result = 0000000000000000
1721 v_result = 0000000000000000 | 0000000000000000
1722 r_result = 0000000000000000
1724 v_result = 0000000000000010 | 0000000000000000
1725 r_result = 0000000000000000
1727 v_result = 000000000000000c | 0000000000000000
1728 r_result = 0000000000000001
1730 v_result = 000000000000000c | 0000000000000000
1731 r_result = 0000000000000001
1733 v_result = 0000000000000000 | 0000000000000000
1734 r_result = 0000000000000001
1736 v_result = 0000000000000000 | 0000000000000000
1737 r_result = 0000000000000001
1739 v_result = 0000000000000000 | 0000000000000000
1740 r_result = 0000000000000001
1742 v_result = ffffffffffffffff | ffffffffffffffff
1743 r_result = 0000000000000000
1745 v_result = ffffffffffffffff | ffffffffffffffff
1746 r_result = 0000000000000000
1748 v_result = ffffffffffffffff | ffffffffffffffff
1749 r_result = 0000000000000000
1751 v_result = ffffffffffffffff | 00000000ffffffff
1752 r_result = 0000000000000000
1754 v_result = ffffffffffffffff | ffffffffffffffff
1755 r_result = 0000000000000000
1757 v_result = ffffffffffffffff | ffffffffffffffff
1758 r_result = 0000000000000001
1760 v_result = ffffffffffffffff | ffffffffffffffff
1761 r_result = 0000000000000001
1763 v_result = 0000000000000000 | ffffffffffffffff
1764 r_result = 0000000000000001
1766 v_result = 00000000ffffffff | 00000000ffffffff
1767 r_result = 0000000000000001
1769 v_result = ffffffffffffffff | ffffffffffffffff
1770 r_result = 0000000000000001
1772 v_result = ffffffffffffffff | ffffffffffffffff
1773 r_result = 0000000000000000
1775 v_result = 0000000000000000 | 0000000000000000
1776 r_result = 0000000000000000
1778 v_result = 0000000000000000 | 00000000ffffffff
1779 r_result = 0000000000000000
1781 v_result = ffffffffffffffff | ffffffffffffffff
1782 r_result = 0000000000000000
1784 v_result = ffffffffffffffff | ffffffffffffffff
1785 r_result = 0000000000000000
1787 v_result = 0000000000000000 | 0000000000000000
1788 r_result = 0000000000000003
1790 v_result = 0000000000000000 | 0000000000000000
1791 r_result = 0000000000000003
1793 v_result = 0000000000000000 | 00000000ffffffff
1794 r_result = 0000000000000001
1796 v_result = ffffffffffffffff | ffffffffffffffff
1797 r_result = 0000000000000001
1799 v_result = ffffffffffffffff | 00000000ffffffff
1800 r_result = 0000000000000001
1802 v_arg1 = 0019c5b37ba9c8d5 | 32c6df736f9424ae
1803 v_result = 0000000000000000 | 0000000000000000
1804 r_result = 0000000000000000
1806 v_arg1 = 6a00d5c29c5e4141 | 1a0ec704e7df58d4
1807 v_arg2 = 8aaaf38ff4bcf5cb | c7d8d64ffbb63879
1808 v_result = 0000000000000000 | 0000000000000000
1809 r_result = 0000000000000001
1811 v_arg1 = 82aa282bcf564a58 | 5533f733db0e559f
1812 v_arg2 = 3a00ff94ff732079 | 76a7e3690a275049
1813 v_result = 0000000000000000 | 0000000000000000
1814 r_result = 0000000000000002
1816 v_result = 0000000000000010 | 0000000000000000
1817 r_result = 0000000000000003