-
Notifications
You must be signed in to change notification settings - Fork 2
/
LSSS_to_GC.txt
11643 lines (11640 loc) · 262 KB
/
LSSS_to_GC.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
11637 13173
3 512 512 512
1 64
1 1 1086 12471 INV
1 1 1085 12470 INV
1 1 1084 12469 INV
1 1 1083 12468 INV
1 1 1082 12467 INV
1 1 1081 12466 INV
1 1 1080 12465 INV
1 1 1079 12464 INV
1 1 1078 12463 INV
1 1 1077 12462 INV
1 1 1076 12461 INV
1 1 1075 12460 INV
1 1 1074 12459 INV
1 1 1073 12458 INV
1 1 1072 12457 INV
1 1 1071 12456 INV
1 1 1070 12455 INV
1 1 1069 12454 INV
1 1 1068 12453 INV
1 1 1067 12452 INV
1 1 1066 12451 INV
1 1 1065 12450 INV
1 1 1064 12449 INV
1 1 1063 12448 INV
1 1 1062 12447 INV
1 1 1061 12446 INV
1 1 1060 12445 INV
1 1 1059 12444 INV
1 1 1058 12443 INV
1 1 1057 12442 INV
1 1 1056 12441 INV
1 1 1055 12440 INV
1 1 1054 12439 INV
1 1 1053 12438 INV
1 1 1052 12437 INV
1 1 1051 12436 INV
1 1 1050 12435 INV
1 1 1049 12434 INV
1 1 1048 12433 INV
1 1 1047 12432 INV
1 1 1046 12431 INV
1 1 1045 12430 INV
1 1 1044 12429 INV
1 1 1043 12428 INV
1 1 1042 12427 INV
1 1 1041 12426 INV
1 1 1040 12425 INV
1 1 1039 12424 INV
1 1 1038 12423 INV
1 1 1037 12422 INV
1 1 1036 12421 INV
1 1 1035 12420 INV
1 1 1034 12419 INV
1 1 1033 12418 INV
1 1 1032 12417 INV
1 1 1031 12416 INV
1 1 1030 12415 INV
1 1 1029 12414 INV
1 1 1028 12413 INV
1 1 1027 12412 INV
1 1 1026 12411 INV
1 1 1025 12410 INV
1 1 1024 5248 INV
2 1 0 512 6968 AND
2 1 0 512 7479 XOR
1 1 7479 1541 INV
2 1 1541 1024 10748 AND
2 1 7479 1024 7992 XOR
2 1 1025 10748 1544 XOR
2 1 1 513 12598 XOR
2 1 2 514 12599 XOR
2 1 3 515 12600 XOR
2 1 4 516 12601 XOR
2 1 5 517 12602 XOR
2 1 6 518 12603 XOR
2 1 7 519 12604 XOR
2 1 8 520 12605 XOR
2 1 9 521 12606 XOR
2 1 10 522 12607 XOR
2 1 11 523 12608 XOR
2 1 12 524 12609 XOR
2 1 13 525 12610 XOR
2 1 14 526 12611 XOR
2 1 15 527 12612 XOR
2 1 16 528 12613 XOR
2 1 17 529 12614 XOR
2 1 18 530 12615 XOR
2 1 19 531 12616 XOR
2 1 20 532 12617 XOR
2 1 21 533 12618 XOR
2 1 22 534 12619 XOR
2 1 23 535 12620 XOR
2 1 24 536 12621 XOR
2 1 25 537 12622 XOR
2 1 26 538 12623 XOR
2 1 27 539 12624 XOR
2 1 28 540 12625 XOR
2 1 29 541 12626 XOR
2 1 30 542 12627 XOR
2 1 31 543 12628 XOR
2 1 32 544 12629 XOR
2 1 33 545 12630 XOR
2 1 34 546 12631 XOR
2 1 35 547 12632 XOR
2 1 36 548 12633 XOR
2 1 37 549 12634 XOR
2 1 38 550 12635 XOR
2 1 39 551 12636 XOR
2 1 40 552 12637 XOR
2 1 41 553 12638 XOR
2 1 42 554 12639 XOR
2 1 43 555 12640 XOR
2 1 44 556 12641 XOR
2 1 45 557 12642 XOR
2 1 46 558 12643 XOR
2 1 47 559 12644 XOR
2 1 48 560 12645 XOR
2 1 49 561 12646 XOR
2 1 50 562 12647 XOR
2 1 51 563 12648 XOR
2 1 52 564 12649 XOR
2 1 53 565 12650 XOR
2 1 54 566 12651 XOR
2 1 55 567 12652 XOR
2 1 56 568 12653 XOR
2 1 57 569 12654 XOR
2 1 58 570 12655 XOR
2 1 59 571 12656 XOR
2 1 60 572 12657 XOR
2 1 61 573 12658 XOR
2 1 62 574 12659 XOR
2 1 63 575 12660 XOR
2 1 64 576 12661 XOR
2 1 65 577 12662 XOR
2 1 66 578 12663 XOR
2 1 67 579 12664 XOR
2 1 68 580 12665 XOR
2 1 69 581 12666 XOR
2 1 70 582 12667 XOR
2 1 71 583 12668 XOR
2 1 72 584 12669 XOR
2 1 73 585 12670 XOR
2 1 74 586 12671 XOR
2 1 75 587 12672 XOR
2 1 76 588 12673 XOR
2 1 77 589 12674 XOR
2 1 78 590 12675 XOR
2 1 79 591 12676 XOR
2 1 80 592 12677 XOR
2 1 81 593 12678 XOR
2 1 82 594 12679 XOR
2 1 83 595 12680 XOR
2 1 84 596 12681 XOR
2 1 85 597 12682 XOR
2 1 86 598 12683 XOR
2 1 87 599 12684 XOR
2 1 88 600 12685 XOR
2 1 89 601 12686 XOR
2 1 90 602 12687 XOR
2 1 91 603 12688 XOR
2 1 92 604 12689 XOR
2 1 93 605 12690 XOR
2 1 94 606 12691 XOR
2 1 95 607 12692 XOR
2 1 96 608 12693 XOR
2 1 97 609 12694 XOR
2 1 98 610 12695 XOR
2 1 99 611 12696 XOR
2 1 100 612 12697 XOR
2 1 101 613 12698 XOR
2 1 102 614 12699 XOR
2 1 103 615 12700 XOR
2 1 104 616 12701 XOR
2 1 105 617 12702 XOR
2 1 106 618 12703 XOR
2 1 107 619 12704 XOR
2 1 108 620 12705 XOR
2 1 109 621 12706 XOR
2 1 110 622 12707 XOR
2 1 111 623 12708 XOR
2 1 112 624 12709 XOR
2 1 113 625 12710 XOR
2 1 114 626 12711 XOR
2 1 115 627 12712 XOR
2 1 116 628 12713 XOR
2 1 117 629 12714 XOR
2 1 118 630 12715 XOR
2 1 119 631 12716 XOR
2 1 120 632 12717 XOR
2 1 121 633 12718 XOR
2 1 122 634 12719 XOR
2 1 123 635 12720 XOR
2 1 124 636 12721 XOR
2 1 125 637 12722 XOR
2 1 126 638 12723 XOR
2 1 127 639 12724 XOR
2 1 128 640 12725 XOR
2 1 129 641 12726 XOR
2 1 130 642 12727 XOR
2 1 131 643 12728 XOR
2 1 132 644 12729 XOR
2 1 133 645 12730 XOR
2 1 134 646 12731 XOR
2 1 135 647 12732 XOR
2 1 136 648 12733 XOR
2 1 137 649 12734 XOR
2 1 138 650 12735 XOR
2 1 139 651 12736 XOR
2 1 140 652 12737 XOR
2 1 141 653 12738 XOR
2 1 142 654 12739 XOR
2 1 143 655 12740 XOR
2 1 144 656 12741 XOR
2 1 145 657 12742 XOR
2 1 146 658 12743 XOR
2 1 147 659 12744 XOR
2 1 148 660 12745 XOR
2 1 149 661 12746 XOR
2 1 150 662 12747 XOR
2 1 151 663 12748 XOR
2 1 152 664 12749 XOR
2 1 153 665 12750 XOR
2 1 154 666 12751 XOR
2 1 155 667 12752 XOR
2 1 156 668 12753 XOR
2 1 157 669 12754 XOR
2 1 158 670 12755 XOR
2 1 159 671 12756 XOR
2 1 160 672 12757 XOR
2 1 161 673 12758 XOR
2 1 162 674 12759 XOR
2 1 163 675 12760 XOR
2 1 164 676 12761 XOR
2 1 165 677 12762 XOR
2 1 166 678 12763 XOR
2 1 167 679 12764 XOR
2 1 168 680 12765 XOR
2 1 169 681 12766 XOR
2 1 170 682 12767 XOR
2 1 171 683 12768 XOR
2 1 172 684 12769 XOR
2 1 173 685 12770 XOR
2 1 174 686 12771 XOR
2 1 175 687 12772 XOR
2 1 176 688 12773 XOR
2 1 177 689 12774 XOR
2 1 178 690 12775 XOR
2 1 179 691 12776 XOR
2 1 180 692 12777 XOR
2 1 181 693 12778 XOR
2 1 182 694 12779 XOR
2 1 183 695 12780 XOR
2 1 184 696 12781 XOR
2 1 185 697 12782 XOR
2 1 186 698 12783 XOR
2 1 187 699 12784 XOR
2 1 188 700 12785 XOR
2 1 189 701 12786 XOR
2 1 190 702 12787 XOR
2 1 191 703 12788 XOR
2 1 192 704 12789 XOR
2 1 193 705 12790 XOR
2 1 194 706 12791 XOR
2 1 195 707 12792 XOR
2 1 196 708 12793 XOR
2 1 197 709 12794 XOR
2 1 198 710 12795 XOR
2 1 199 711 12796 XOR
2 1 200 712 12797 XOR
2 1 201 713 12798 XOR
2 1 202 714 12799 XOR
2 1 203 715 12800 XOR
2 1 204 716 12801 XOR
2 1 205 717 12802 XOR
2 1 206 718 12803 XOR
2 1 207 719 12804 XOR
2 1 208 720 12805 XOR
2 1 209 721 12806 XOR
2 1 210 722 12807 XOR
2 1 211 723 12808 XOR
2 1 212 724 12809 XOR
2 1 213 725 12810 XOR
2 1 214 726 12811 XOR
2 1 215 727 12812 XOR
2 1 216 728 12813 XOR
2 1 217 729 12814 XOR
2 1 218 730 12815 XOR
2 1 219 731 12816 XOR
2 1 220 732 12817 XOR
2 1 221 733 12818 XOR
2 1 222 734 12819 XOR
2 1 223 735 12820 XOR
2 1 224 736 12821 XOR
2 1 225 737 12822 XOR
2 1 226 738 12823 XOR
2 1 227 739 12824 XOR
2 1 228 740 12825 XOR
2 1 229 741 12826 XOR
2 1 230 742 12827 XOR
2 1 231 743 12828 XOR
2 1 232 744 12829 XOR
2 1 233 745 12830 XOR
2 1 234 746 12831 XOR
2 1 235 747 12832 XOR
2 1 236 748 12833 XOR
2 1 237 749 12834 XOR
2 1 238 750 12835 XOR
2 1 239 751 12836 XOR
2 1 240 752 12837 XOR
2 1 241 753 12838 XOR
2 1 242 754 12839 XOR
2 1 243 755 12840 XOR
2 1 244 756 12841 XOR
2 1 245 757 12842 XOR
2 1 246 758 12843 XOR
2 1 247 759 12844 XOR
2 1 248 760 12845 XOR
2 1 249 761 12846 XOR
2 1 250 762 12847 XOR
2 1 251 763 12848 XOR
2 1 252 764 12849 XOR
2 1 253 765 12850 XOR
2 1 254 766 12851 XOR
2 1 255 767 12852 XOR
2 1 256 768 12853 XOR
2 1 257 769 12854 XOR
2 1 258 770 12855 XOR
2 1 259 771 12856 XOR
2 1 260 772 12857 XOR
2 1 261 773 12858 XOR
2 1 262 774 12859 XOR
2 1 263 775 12860 XOR
2 1 264 776 12861 XOR
2 1 265 777 12862 XOR
2 1 266 778 12863 XOR
2 1 267 779 12864 XOR
2 1 268 780 12865 XOR
2 1 269 781 12866 XOR
2 1 270 782 12867 XOR
2 1 271 783 12868 XOR
2 1 272 784 12869 XOR
2 1 273 785 12870 XOR
2 1 274 786 12871 XOR
2 1 275 787 12872 XOR
2 1 276 788 12873 XOR
2 1 277 789 12874 XOR
2 1 278 790 12875 XOR
2 1 279 791 12876 XOR
2 1 280 792 12877 XOR
2 1 281 793 12878 XOR
2 1 282 794 12879 XOR
2 1 283 795 12880 XOR
2 1 284 796 12881 XOR
2 1 285 797 12882 XOR
2 1 286 798 12883 XOR
2 1 287 799 12884 XOR
2 1 288 800 12885 XOR
2 1 289 801 12886 XOR
2 1 290 802 12887 XOR
2 1 291 803 12888 XOR
2 1 292 804 12889 XOR
2 1 293 805 12890 XOR
2 1 294 806 12891 XOR
2 1 295 807 12892 XOR
2 1 296 808 12893 XOR
2 1 297 809 12894 XOR
2 1 298 810 12895 XOR
2 1 299 811 12896 XOR
2 1 300 812 12897 XOR
2 1 301 813 12898 XOR
2 1 302 814 12899 XOR
2 1 303 815 12900 XOR
2 1 304 816 12901 XOR
2 1 305 817 12902 XOR
2 1 306 818 12903 XOR
2 1 307 819 12904 XOR
2 1 308 820 12905 XOR
2 1 309 821 12906 XOR
2 1 310 822 12907 XOR
2 1 311 823 12908 XOR
2 1 312 824 12909 XOR
2 1 313 825 12910 XOR
2 1 314 826 12911 XOR
2 1 315 827 12912 XOR
2 1 316 828 12913 XOR
2 1 317 829 12914 XOR
2 1 318 830 12915 XOR
2 1 319 831 12916 XOR
2 1 320 832 12917 XOR
2 1 321 833 12918 XOR
2 1 322 834 12919 XOR
2 1 323 835 12920 XOR
2 1 324 836 12921 XOR
2 1 325 837 12922 XOR
2 1 326 838 12923 XOR
2 1 327 839 12924 XOR
2 1 328 840 12925 XOR
2 1 329 841 12926 XOR
2 1 330 842 12927 XOR
2 1 331 843 12928 XOR
2 1 332 844 12929 XOR
2 1 333 845 12930 XOR
2 1 334 846 12931 XOR
2 1 335 847 12932 XOR
2 1 336 848 12933 XOR
2 1 337 849 12934 XOR
2 1 338 850 12935 XOR
2 1 339 851 12936 XOR
2 1 340 852 12937 XOR
2 1 341 853 12938 XOR
2 1 342 854 12939 XOR
2 1 343 855 12940 XOR
2 1 344 856 12941 XOR
2 1 345 857 12942 XOR
2 1 346 858 12943 XOR
2 1 347 859 12944 XOR
2 1 348 860 12945 XOR
2 1 349 861 12946 XOR
2 1 350 862 12947 XOR
2 1 351 863 12948 XOR
2 1 352 864 12949 XOR
2 1 353 865 12950 XOR
2 1 354 866 12951 XOR
2 1 355 867 12952 XOR
2 1 356 868 12953 XOR
2 1 357 869 12954 XOR
2 1 358 870 12955 XOR
2 1 359 871 12956 XOR
2 1 360 872 12957 XOR
2 1 361 873 12958 XOR
2 1 362 874 12959 XOR
2 1 363 875 12960 XOR
2 1 364 876 12961 XOR
2 1 365 877 12962 XOR
2 1 366 878 12963 XOR
2 1 367 879 12964 XOR
2 1 368 880 12965 XOR
2 1 369 881 12966 XOR
2 1 370 882 12967 XOR
2 1 371 883 12968 XOR
2 1 372 884 12969 XOR
2 1 373 885 12970 XOR
2 1 374 886 12971 XOR
2 1 375 887 12972 XOR
2 1 376 888 12973 XOR
2 1 377 889 12974 XOR
2 1 378 890 12975 XOR
2 1 379 891 12976 XOR
2 1 380 892 12977 XOR
2 1 381 893 12978 XOR
2 1 382 894 12979 XOR
2 1 383 895 12980 XOR
2 1 384 896 12981 XOR
2 1 385 897 12982 XOR
2 1 386 898 12983 XOR
2 1 387 899 12984 XOR
2 1 388 900 12985 XOR
2 1 389 901 12986 XOR
2 1 390 902 12987 XOR
2 1 391 903 12988 XOR
2 1 392 904 12989 XOR
2 1 393 905 12990 XOR
2 1 394 906 12991 XOR
2 1 395 907 12992 XOR
2 1 396 908 12993 XOR
2 1 397 909 12994 XOR
2 1 398 910 12995 XOR
2 1 399 911 12996 XOR
2 1 400 912 12997 XOR
2 1 401 913 12998 XOR
2 1 402 914 12999 XOR
2 1 403 915 13000 XOR
2 1 404 916 13001 XOR
2 1 405 917 13002 XOR
2 1 406 918 13003 XOR
2 1 407 919 13004 XOR
2 1 408 920 13005 XOR
2 1 409 921 13006 XOR
2 1 410 922 13007 XOR
2 1 411 923 13008 XOR
2 1 412 924 13009 XOR
2 1 413 925 13010 XOR
2 1 414 926 13011 XOR
2 1 415 927 13012 XOR
2 1 416 928 13013 XOR
2 1 417 929 13014 XOR
2 1 418 930 13015 XOR
2 1 419 931 13016 XOR
2 1 420 932 13017 XOR
2 1 421 933 13018 XOR
2 1 422 934 13019 XOR
2 1 423 935 13020 XOR
2 1 424 936 13021 XOR
2 1 425 937 13022 XOR
2 1 426 938 13023 XOR
2 1 427 939 13024 XOR
2 1 428 940 13025 XOR
2 1 429 941 13026 XOR
2 1 430 942 13027 XOR
2 1 431 943 13028 XOR
2 1 432 944 13029 XOR
2 1 433 945 13030 XOR
2 1 434 946 13031 XOR
2 1 435 947 13032 XOR
2 1 436 948 13033 XOR
2 1 437 949 13034 XOR
2 1 438 950 13035 XOR
2 1 439 951 13036 XOR
2 1 440 952 13037 XOR
2 1 441 953 13038 XOR
2 1 442 954 13039 XOR
2 1 443 955 13040 XOR
2 1 444 956 13041 XOR
2 1 445 957 13042 XOR
2 1 446 958 13043 XOR
2 1 447 959 13044 XOR
2 1 448 960 13045 XOR
2 1 449 961 13046 XOR
2 1 450 962 13047 XOR
2 1 451 963 13048 XOR
2 1 452 964 13049 XOR
2 1 453 965 13050 XOR
2 1 454 966 13051 XOR
2 1 455 967 13052 XOR
2 1 456 968 13053 XOR
2 1 457 969 13054 XOR
2 1 458 970 13055 XOR
2 1 459 971 13056 XOR
2 1 460 972 13057 XOR
2 1 461 973 13058 XOR
2 1 462 974 13059 XOR
2 1 463 975 13060 XOR
2 1 464 976 13061 XOR
2 1 465 977 13062 XOR
2 1 466 978 13063 XOR
2 1 467 979 13064 XOR
2 1 468 980 13065 XOR
2 1 469 981 13066 XOR
2 1 470 982 13067 XOR
2 1 471 983 13068 XOR
2 1 472 984 13069 XOR
2 1 473 985 13070 XOR
2 1 474 986 13071 XOR
2 1 475 987 13072 XOR
2 1 476 988 13073 XOR
2 1 477 989 13074 XOR
2 1 478 990 13075 XOR
2 1 479 991 13076 XOR
2 1 480 992 13077 XOR
2 1 481 993 13078 XOR
2 1 482 994 13079 XOR
2 1 483 995 13080 XOR
2 1 484 996 13081 XOR
2 1 485 997 13082 XOR
2 1 486 998 13083 XOR
2 1 487 999 13084 XOR
2 1 488 1000 13085 XOR
2 1 489 1001 13086 XOR
2 1 490 1002 13087 XOR
2 1 491 1003 13088 XOR
2 1 492 1004 13089 XOR
2 1 493 1005 13090 XOR
2 1 494 1006 13091 XOR
2 1 495 1007 13092 XOR
2 1 496 1008 13093 XOR
2 1 497 1009 13094 XOR
2 1 498 1010 13095 XOR
2 1 499 1011 13096 XOR
2 1 500 1012 13097 XOR
2 1 501 1013 13098 XOR
2 1 502 1014 13099 XOR
2 1 503 1015 13100 XOR
2 1 504 1016 13101 XOR
2 1 505 1017 13102 XOR
2 1 506 1018 13103 XOR
2 1 507 1019 13104 XOR
2 1 508 1020 13105 XOR
2 1 509 1021 13106 XOR
2 1 510 1022 13107 XOR
2 1 511 1023 13108 XOR
2 1 12598 6968 7480 XOR
1 1 7480 10237 INV
2 1 7480 1025 3075 XOR
2 1 3075 10748 7993 XOR
2 1 10237 10748 1543 XOR
2 1 1543 1544 1542 AND
2 1 1542 10748 10749 XOR
2 1 1026 10749 1547 XOR
2 1 1 6968 5436 XOR
2 1 513 6968 5437 XOR
2 1 5436 5437 5435 AND
2 1 5435 6968 6969 XOR
2 1 12599 6969 7481 XOR
1 1 7481 10238 INV
2 1 7481 1026 3076 XOR
2 1 3076 10749 7994 XOR
2 1 10238 10749 1546 XOR
2 1 1546 1547 1545 AND
2 1 1545 10749 10750 XOR
2 1 1027 10750 1550 XOR
2 1 2 6969 5439 XOR
2 1 514 6969 5440 XOR
2 1 5439 5440 5438 AND
2 1 5438 6969 6970 XOR
2 1 12600 6970 7482 XOR
1 1 7482 10239 INV
2 1 7482 1027 3077 XOR
2 1 3077 10750 7995 XOR
2 1 10239 10750 1549 XOR
2 1 1549 1550 1548 AND
2 1 1548 10750 10751 XOR
2 1 1028 10751 1553 XOR
2 1 3 6970 5442 XOR
2 1 515 6970 5443 XOR
2 1 5442 5443 5441 AND
2 1 5441 6970 6971 XOR
2 1 12601 6971 7483 XOR
1 1 7483 10240 INV
2 1 7483 1028 3078 XOR
2 1 3078 10751 7996 XOR
2 1 10240 10751 1552 XOR
2 1 1552 1553 1551 AND
2 1 1551 10751 10752 XOR
2 1 1029 10752 1556 XOR
2 1 4 6971 5445 XOR
2 1 516 6971 5446 XOR
2 1 5445 5446 5444 AND
2 1 5444 6971 6972 XOR
2 1 12602 6972 7484 XOR
1 1 7484 10241 INV
2 1 7484 1029 3079 XOR
2 1 3079 10752 7997 XOR
2 1 10241 10752 1555 XOR
2 1 1555 1556 1554 AND
2 1 1554 10752 10753 XOR
2 1 1030 10753 1559 XOR
2 1 5 6972 5448 XOR
2 1 517 6972 5449 XOR
2 1 5448 5449 5447 AND
2 1 5447 6972 6973 XOR
2 1 12603 6973 7485 XOR
1 1 7485 10242 INV
2 1 7485 1030 3080 XOR
2 1 3080 10753 7998 XOR
2 1 10242 10753 1558 XOR
2 1 1558 1559 1557 AND
2 1 1557 10753 10754 XOR
2 1 1031 10754 1562 XOR
2 1 6 6973 5451 XOR
2 1 518 6973 5452 XOR
2 1 5451 5452 5450 AND
2 1 5450 6973 6974 XOR
2 1 12604 6974 7486 XOR
1 1 7486 10243 INV
2 1 7486 1031 3081 XOR
2 1 3081 10754 7999 XOR
2 1 10243 10754 1561 XOR
2 1 1561 1562 1560 AND
2 1 1560 10754 10755 XOR
2 1 1032 10755 1565 XOR
2 1 7 6974 5454 XOR
2 1 519 6974 5455 XOR
2 1 5454 5455 5453 AND
2 1 5453 6974 6975 XOR
2 1 12605 6975 7487 XOR
1 1 7487 10244 INV
2 1 7487 1032 3082 XOR
2 1 3082 10755 8000 XOR
2 1 10244 10755 1564 XOR
2 1 1564 1565 1563 AND
2 1 1563 10755 10756 XOR
2 1 1033 10756 1568 XOR
2 1 8 6975 5457 XOR
2 1 520 6975 5458 XOR
2 1 5457 5458 5456 AND
2 1 5456 6975 6976 XOR
2 1 12606 6976 7488 XOR
1 1 7488 10245 INV
2 1 7488 1033 3083 XOR
2 1 3083 10756 8001 XOR
2 1 10245 10756 1567 XOR
2 1 1567 1568 1566 AND
2 1 1566 10756 10757 XOR
2 1 1034 10757 1571 XOR
2 1 9 6976 5460 XOR
2 1 521 6976 5461 XOR
2 1 5460 5461 5459 AND
2 1 5459 6976 6977 XOR
2 1 12607 6977 7489 XOR
1 1 7489 10246 INV
2 1 7489 1034 3084 XOR
2 1 3084 10757 8002 XOR
2 1 10246 10757 1570 XOR
2 1 1570 1571 1569 AND
2 1 1569 10757 10758 XOR
2 1 1035 10758 1574 XOR
2 1 10 6977 5463 XOR
2 1 522 6977 5464 XOR
2 1 5463 5464 5462 AND
2 1 5462 6977 6978 XOR
2 1 12608 6978 7490 XOR
1 1 7490 10247 INV
2 1 7490 1035 3085 XOR
2 1 3085 10758 8003 XOR
2 1 10247 10758 1573 XOR
2 1 1573 1574 1572 AND
2 1 1572 10758 10759 XOR
2 1 1036 10759 1577 XOR
2 1 11 6978 5466 XOR
2 1 523 6978 5467 XOR
2 1 5466 5467 5465 AND
2 1 5465 6978 6979 XOR
2 1 12609 6979 7491 XOR
1 1 7491 10248 INV
2 1 7491 1036 3086 XOR
2 1 3086 10759 8004 XOR
2 1 10248 10759 1576 XOR
2 1 1576 1577 1575 AND
2 1 1575 10759 10760 XOR
2 1 1037 10760 1580 XOR
2 1 12 6979 5469 XOR
2 1 524 6979 5470 XOR
2 1 5469 5470 5468 AND
2 1 5468 6979 6980 XOR
2 1 12610 6980 7492 XOR
1 1 7492 10249 INV
2 1 7492 1037 3087 XOR
2 1 3087 10760 8005 XOR
2 1 10249 10760 1579 XOR
2 1 1579 1580 1578 AND
2 1 1578 10760 10761 XOR
2 1 1038 10761 1583 XOR
2 1 13 6980 5472 XOR
2 1 525 6980 5473 XOR
2 1 5472 5473 5471 AND
2 1 5471 6980 6981 XOR
2 1 12611 6981 7493 XOR
1 1 7493 10250 INV
2 1 7493 1038 3088 XOR
2 1 3088 10761 8006 XOR
2 1 10250 10761 1582 XOR
2 1 1582 1583 1581 AND
2 1 1581 10761 10762 XOR
2 1 1039 10762 1586 XOR
2 1 14 6981 5475 XOR
2 1 526 6981 5476 XOR
2 1 5475 5476 5474 AND
2 1 5474 6981 6982 XOR
2 1 12612 6982 7494 XOR
1 1 7494 10251 INV
2 1 7494 1039 3089 XOR
2 1 3089 10762 8007 XOR
2 1 10251 10762 1585 XOR
2 1 1585 1586 1584 AND
2 1 1584 10762 10763 XOR
2 1 1040 10763 1589 XOR
2 1 15 6982 5478 XOR
2 1 527 6982 5479 XOR
2 1 5478 5479 5477 AND
2 1 5477 6982 6983 XOR
2 1 12613 6983 7495 XOR
1 1 7495 10252 INV
2 1 7495 1040 3090 XOR
2 1 3090 10763 8008 XOR
2 1 10252 10763 1588 XOR
2 1 1588 1589 1587 AND
2 1 1587 10763 10764 XOR
2 1 1041 10764 1592 XOR
2 1 16 6983 5481 XOR
2 1 528 6983 5482 XOR
2 1 5481 5482 5480 AND
2 1 5480 6983 6984 XOR
2 1 12614 6984 7496 XOR
1 1 7496 10253 INV
2 1 7496 1041 3091 XOR
2 1 3091 10764 8009 XOR
2 1 10253 10764 1591 XOR
2 1 1591 1592 1590 AND
2 1 1590 10764 10765 XOR
2 1 1042 10765 1595 XOR
2 1 17 6984 5484 XOR
2 1 529 6984 5485 XOR
2 1 5484 5485 5483 AND
2 1 5483 6984 6985 XOR
2 1 12615 6985 7497 XOR
1 1 7497 10254 INV
2 1 7497 1042 3092 XOR
2 1 3092 10765 8010 XOR
2 1 10254 10765 1594 XOR
2 1 1594 1595 1593 AND
2 1 1593 10765 10766 XOR
2 1 1043 10766 1598 XOR
2 1 18 6985 5487 XOR
2 1 530 6985 5488 XOR
2 1 5487 5488 5486 AND
2 1 5486 6985 6986 XOR
2 1 12616 6986 7498 XOR
1 1 7498 10255 INV
2 1 7498 1043 3093 XOR
2 1 3093 10766 8011 XOR
2 1 10255 10766 1597 XOR
2 1 1597 1598 1596 AND
2 1 1596 10766 10767 XOR
2 1 1044 10767 1601 XOR
2 1 19 6986 5490 XOR
2 1 531 6986 5491 XOR
2 1 5490 5491 5489 AND
2 1 5489 6986 6987 XOR
2 1 12617 6987 7499 XOR
1 1 7499 10256 INV
2 1 7499 1044 3094 XOR
2 1 3094 10767 8012 XOR
2 1 10256 10767 1600 XOR
2 1 1600 1601 1599 AND
2 1 1599 10767 10768 XOR
2 1 1045 10768 1604 XOR
2 1 20 6987 5493 XOR
2 1 532 6987 5494 XOR
2 1 5493 5494 5492 AND
2 1 5492 6987 6988 XOR
2 1 12618 6988 7500 XOR
1 1 7500 10257 INV
2 1 7500 1045 3095 XOR
2 1 3095 10768 8013 XOR
2 1 10257 10768 1603 XOR
2 1 1603 1604 1602 AND
2 1 1602 10768 10769 XOR
2 1 1046 10769 1607 XOR
2 1 21 6988 5496 XOR
2 1 533 6988 5497 XOR
2 1 5496 5497 5495 AND
2 1 5495 6988 6989 XOR
2 1 12619 6989 7501 XOR
1 1 7501 10258 INV
2 1 7501 1046 3096 XOR
2 1 3096 10769 8014 XOR
2 1 10258 10769 1606 XOR
2 1 1606 1607 1605 AND
2 1 1605 10769 10770 XOR
2 1 1047 10770 1610 XOR
2 1 22 6989 5499 XOR
2 1 534 6989 5500 XOR
2 1 5499 5500 5498 AND
2 1 5498 6989 6990 XOR
2 1 12620 6990 7502 XOR
1 1 7502 10259 INV
2 1 7502 1047 3097 XOR
2 1 3097 10770 8015 XOR
2 1 10259 10770 1609 XOR
2 1 1609 1610 1608 AND
2 1 1608 10770 10771 XOR
2 1 1048 10771 1613 XOR
2 1 23 6990 5502 XOR
2 1 535 6990 5503 XOR
2 1 5502 5503 5501 AND
2 1 5501 6990 6991 XOR
2 1 12621 6991 7503 XOR
1 1 7503 10260 INV
2 1 7503 1048 3098 XOR
2 1 3098 10771 8016 XOR
2 1 10260 10771 1612 XOR
2 1 1612 1613 1611 AND
2 1 1611 10771 10772 XOR
2 1 1049 10772 1616 XOR
2 1 24 6991 5505 XOR
2 1 536 6991 5506 XOR
2 1 5505 5506 5504 AND
2 1 5504 6991 6992 XOR
2 1 12622 6992 7504 XOR
1 1 7504 10261 INV
2 1 7504 1049 3099 XOR
2 1 3099 10772 8017 XOR
2 1 10261 10772 1615 XOR
2 1 1615 1616 1614 AND
2 1 1614 10772 10773 XOR
2 1 1050 10773 1619 XOR
2 1 25 6992 5508 XOR
2 1 537 6992 5509 XOR
2 1 5508 5509 5507 AND
2 1 5507 6992 6993 XOR
2 1 12623 6993 7505 XOR
1 1 7505 10262 INV
2 1 7505 1050 3100 XOR
2 1 3100 10773 8018 XOR
2 1 10262 10773 1618 XOR
2 1 1618 1619 1617 AND
2 1 1617 10773 10774 XOR
2 1 1051 10774 1622 XOR
2 1 26 6993 5511 XOR
2 1 538 6993 5512 XOR
2 1 5511 5512 5510 AND
2 1 5510 6993 6994 XOR
2 1 12624 6994 7506 XOR
1 1 7506 10263 INV
2 1 7506 1051 3101 XOR
2 1 3101 10774 8019 XOR
2 1 10263 10774 1621 XOR
2 1 1621 1622 1620 AND
2 1 1620 10774 10775 XOR
2 1 1052 10775 1625 XOR
2 1 27 6994 5514 XOR
2 1 539 6994 5515 XOR
2 1 5514 5515 5513 AND
2 1 5513 6994 6995 XOR
2 1 12625 6995 7507 XOR
1 1 7507 10264 INV
2 1 7507 1052 3102 XOR
2 1 3102 10775 8020 XOR
2 1 10264 10775 1624 XOR
2 1 1624 1625 1623 AND
2 1 1623 10775 10776 XOR
2 1 1053 10776 1628 XOR
2 1 28 6995 5517 XOR
2 1 540 6995 5518 XOR
2 1 5517 5518 5516 AND
2 1 5516 6995 6996 XOR
2 1 12626 6996 7508 XOR
1 1 7508 10265 INV
2 1 7508 1053 3103 XOR
2 1 3103 10776 8021 XOR
2 1 10265 10776 1627 XOR
2 1 1627 1628 1626 AND
2 1 1626 10776 10777 XOR
2 1 1054 10777 1631 XOR
2 1 29 6996 5520 XOR
2 1 541 6996 5521 XOR
2 1 5520 5521 5519 AND
2 1 5519 6996 6997 XOR
2 1 12627 6997 7509 XOR
1 1 7509 10266 INV
2 1 7509 1054 3104 XOR
2 1 3104 10777 8022 XOR
2 1 10266 10777 1630 XOR
2 1 1630 1631 1629 AND
2 1 1629 10777 10778 XOR
2 1 1055 10778 1634 XOR
2 1 30 6997 5523 XOR
2 1 542 6997 5524 XOR
2 1 5523 5524 5522 AND
2 1 5522 6997 6998 XOR
2 1 12628 6998 7510 XOR
1 1 7510 10267 INV
2 1 7510 1055 3105 XOR
2 1 3105 10778 8023 XOR
2 1 10267 10778 1633 XOR
2 1 1633 1634 1632 AND
2 1 1632 10778 10779 XOR
2 1 1056 10779 1637 XOR
2 1 31 6998 5526 XOR
2 1 543 6998 5527 XOR
2 1 5526 5527 5525 AND
2 1 5525 6998 6999 XOR
2 1 12629 6999 7511 XOR
1 1 7511 10268 INV
2 1 7511 1056 3106 XOR
2 1 3106 10779 8024 XOR
2 1 10268 10779 1636 XOR
2 1 1636 1637 1635 AND
2 1 1635 10779 10780 XOR
2 1 1057 10780 1640 XOR
2 1 32 6999 5529 XOR
2 1 544 6999 5530 XOR
2 1 5529 5530 5528 AND
2 1 5528 6999 7000 XOR
2 1 12630 7000 7512 XOR
1 1 7512 10269 INV
2 1 7512 1057 3107 XOR
2 1 3107 10780 8025 XOR
2 1 10269 10780 1639 XOR
2 1 1639 1640 1638 AND
2 1 1638 10780 10781 XOR
2 1 1058 10781 1643 XOR
2 1 33 7000 5532 XOR
2 1 545 7000 5533 XOR
2 1 5532 5533 5531 AND
2 1 5531 7000 7001 XOR
2 1 12631 7001 7513 XOR
1 1 7513 10270 INV
2 1 7513 1058 3108 XOR
2 1 3108 10781 8026 XOR
2 1 10270 10781 1642 XOR
2 1 1642 1643 1641 AND
2 1 1641 10781 10782 XOR
2 1 1059 10782 1646 XOR
2 1 34 7001 5535 XOR
2 1 546 7001 5536 XOR
2 1 5535 5536 5534 AND
2 1 5534 7001 7002 XOR
2 1 12632 7002 7514 XOR
1 1 7514 10271 INV
2 1 7514 1059 3109 XOR
2 1 3109 10782 8027 XOR
2 1 10271 10782 1645 XOR
2 1 1645 1646 1644 AND
2 1 1644 10782 10783 XOR
2 1 1060 10783 1649 XOR