-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathskinny128_256.txt
33613 lines (33612 loc) · 764 KB
/
skinny128_256.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
33609 33993
2 128 256
1 128
2 1 335 333 384 XOR
2 1 383 381 385 XOR
2 1 327 325 386 XOR
2 1 367 365 387 XOR
2 1 343 341 388 XOR
2 1 375 373 389 XOR
2 1 359 357 390 XOR
2 1 351 349 391 XOR
2 1 271 269 392 XOR
2 1 319 317 393 XOR
2 1 263 261 394 XOR
2 1 303 301 395 XOR
2 1 279 277 396 XOR
2 1 311 309 397 XOR
2 1 295 293 398 XOR
2 1 287 285 399 XOR
2 1 382 380 400 XOR
2 1 350 348 401 XOR
2 1 334 332 402 XOR
2 1 374 372 403 XOR
2 1 326 324 404 XOR
2 1 358 356 405 XOR
2 1 342 340 406 XOR
2 1 366 364 407 XOR
2 1 318 316 408 XOR
2 1 286 284 409 XOR
2 1 270 268 410 XOR
2 1 310 308 411 XOR
2 1 262 260 412 XOR
2 1 294 292 413 XOR
2 1 278 276 414 XOR
2 1 302 300 415 XOR
2 1 349 347 416 XOR
2 1 365 363 417 XOR
2 1 381 379 418 XOR
2 1 357 355 419 XOR
2 1 333 331 420 XOR
2 1 341 339 421 XOR
2 1 325 323 422 XOR
2 1 373 371 423 XOR
2 1 285 283 424 XOR
2 1 301 299 425 XOR
2 1 317 315 426 XOR
2 1 293 291 427 XOR
2 1 269 267 428 XOR
2 1 277 275 429 XOR
2 1 261 259 430 XOR
2 1 309 307 431 XOR
2 1 364 362 432 XOR
2 1 372 370 433 XOR
2 1 348 346 434 XOR
2 1 340 338 435 XOR
2 1 380 378 436 XOR
2 1 324 322 437 XOR
2 1 332 330 438 XOR
2 1 356 354 439 XOR
2 1 300 298 440 XOR
2 1 308 306 441 XOR
2 1 284 282 442 XOR
2 1 276 274 443 XOR
2 1 316 314 444 XOR
2 1 260 258 445 XOR
2 1 268 266 446 XOR
2 1 292 290 447 XOR
2 1 371 369 448 XOR
2 1 355 353 449 XOR
2 1 363 361 450 XOR
2 1 323 321 451 XOR
2 1 347 345 452 XOR
2 1 331 329 453 XOR
2 1 379 377 454 XOR
2 1 339 337 455 XOR
2 1 307 305 456 XOR
2 1 291 289 457 XOR
2 1 299 297 458 XOR
2 1 259 257 459 XOR
2 1 283 281 460 XOR
2 1 267 265 461 XOR
2 1 315 313 462 XOR
2 1 275 273 463 XOR
2 1 354 352 464 XOR
2 1 338 336 465 XOR
2 1 370 368 466 XOR
2 1 330 328 467 XOR
2 1 362 360 468 XOR
2 1 378 376 469 XOR
2 1 346 344 470 XOR
2 1 322 320 471 XOR
2 1 290 288 472 XOR
2 1 274 272 473 XOR
2 1 306 304 474 XOR
2 1 266 264 475 XOR
2 1 298 296 476 XOR
2 1 314 312 477 XOR
2 1 282 280 478 XOR
2 1 258 256 479 XOR
2 1 337 388 480 XOR
2 1 321 386 481 XOR
2 1 353 390 482 XOR
2 1 377 385 483 XOR
2 1 369 389 484 XOR
2 1 345 391 485 XOR
2 1 361 387 486 XOR
2 1 329 384 487 XOR
2 1 273 396 488 XOR
2 1 257 394 489 XOR
2 1 289 398 490 XOR
2 1 313 393 491 XOR
2 1 305 397 492 XOR
2 1 281 399 493 XOR
2 1 297 395 494 XOR
2 1 265 392 495 XOR
2 1 320 404 496 XOR
2 1 328 402 497 XOR
2 1 336 406 498 XOR
2 1 344 401 499 XOR
2 1 352 405 500 XOR
2 1 360 407 501 XOR
2 1 368 403 502 XOR
2 1 376 400 503 XOR
2 1 256 412 504 XOR
2 1 264 410 505 XOR
2 1 272 414 506 XOR
2 1 280 409 507 XOR
2 1 288 413 508 XOR
2 1 296 415 509 XOR
2 1 304 411 510 XOR
2 1 312 408 511 XOR
2 1 384 420 512 XOR
2 1 385 418 513 XOR
2 1 386 422 514 XOR
2 1 387 417 515 XOR
2 1 388 421 516 XOR
2 1 389 423 517 XOR
2 1 390 419 518 XOR
2 1 391 416 519 XOR
2 1 392 428 520 XOR
2 1 393 426 521 XOR
2 1 394 430 522 XOR
2 1 395 425 523 XOR
2 1 396 429 524 XOR
2 1 397 431 525 XOR
2 1 398 427 526 XOR
2 1 399 424 527 XOR
2 1 400 436 528 XOR
2 1 401 434 529 XOR
2 1 402 438 530 XOR
2 1 403 433 531 XOR
2 1 404 437 532 XOR
2 1 405 439 533 XOR
2 1 406 435 534 XOR
2 1 407 432 535 XOR
2 1 408 444 536 XOR
2 1 409 442 537 XOR
2 1 410 446 538 XOR
2 1 411 441 539 XOR
2 1 412 445 540 XOR
2 1 413 447 541 XOR
2 1 414 443 542 XOR
2 1 415 440 543 XOR
2 1 416 452 544 XOR
2 1 417 450 545 XOR
2 1 418 454 546 XOR
2 1 419 449 547 XOR
2 1 420 453 548 XOR
2 1 421 455 549 XOR
2 1 422 451 550 XOR
2 1 423 448 551 XOR
2 1 424 460 552 XOR
2 1 425 458 553 XOR
2 1 426 462 554 XOR
2 1 427 457 555 XOR
2 1 428 461 556 XOR
2 1 429 463 557 XOR
2 1 430 459 558 XOR
2 1 431 456 559 XOR
2 1 432 468 560 XOR
2 1 433 466 561 XOR
2 1 434 470 562 XOR
2 1 435 465 563 XOR
2 1 436 469 564 XOR
2 1 437 471 565 XOR
2 1 438 467 566 XOR
2 1 439 464 567 XOR
2 1 440 476 568 XOR
2 1 441 474 569 XOR
2 1 442 478 570 XOR
2 1 443 473 571 XOR
2 1 444 477 572 XOR
2 1 445 479 573 XOR
2 1 446 475 574 XOR
2 1 447 472 575 XOR
2 1 448 484 576 XOR
2 1 449 482 577 XOR
2 1 450 486 578 XOR
2 1 451 481 579 XOR
2 1 452 485 580 XOR
2 1 453 487 581 XOR
2 1 454 483 582 XOR
2 1 455 480 583 XOR
2 1 456 492 584 XOR
2 1 457 490 585 XOR
2 1 458 494 586 XOR
2 1 459 489 587 XOR
2 1 460 493 588 XOR
2 1 461 495 589 XOR
2 1 462 491 590 XOR
2 1 463 488 591 XOR
2 1 464 500 592 XOR
2 1 465 498 593 XOR
2 1 466 502 594 XOR
2 1 467 497 595 XOR
2 1 468 501 596 XOR
2 1 469 503 597 XOR
2 1 470 499 598 XOR
2 1 471 496 599 XOR
2 1 472 508 600 XOR
2 1 473 506 601 XOR
2 1 474 510 602 XOR
2 1 475 505 603 XOR
2 1 476 509 604 XOR
2 1 477 511 605 XOR
2 1 478 507 606 XOR
2 1 479 504 607 XOR
2 1 480 516 608 XOR
2 1 481 514 609 XOR
2 1 482 518 610 XOR
2 1 483 513 611 XOR
2 1 484 517 612 XOR
2 1 485 519 613 XOR
2 1 486 515 614 XOR
2 1 487 512 615 XOR
2 1 488 524 616 XOR
2 1 489 522 617 XOR
2 1 490 526 618 XOR
2 1 491 521 619 XOR
2 1 492 525 620 XOR
2 1 493 527 621 XOR
2 1 494 523 622 XOR
2 1 495 520 623 XOR
2 1 496 532 624 XOR
2 1 497 530 625 XOR
2 1 498 534 626 XOR
2 1 499 529 627 XOR
2 1 500 533 628 XOR
2 1 501 535 629 XOR
2 1 502 531 630 XOR
2 1 503 528 631 XOR
2 1 504 540 632 XOR
2 1 505 538 633 XOR
2 1 506 542 634 XOR
2 1 507 537 635 XOR
2 1 508 541 636 XOR
2 1 509 543 637 XOR
2 1 510 539 638 XOR
2 1 511 536 639 XOR
2 1 512 548 640 XOR
2 1 513 546 641 XOR
2 1 514 550 642 XOR
2 1 515 545 643 XOR
2 1 516 549 644 XOR
2 1 517 551 645 XOR
2 1 518 547 646 XOR
2 1 519 544 647 XOR
2 1 520 556 648 XOR
2 1 521 554 649 XOR
2 1 522 558 650 XOR
2 1 523 553 651 XOR
2 1 524 557 652 XOR
2 1 525 559 653 XOR
2 1 526 555 654 XOR
2 1 527 552 655 XOR
2 1 528 564 656 XOR
2 1 529 562 657 XOR
2 1 530 566 658 XOR
2 1 531 561 659 XOR
2 1 532 565 660 XOR
2 1 533 567 661 XOR
2 1 534 563 662 XOR
2 1 535 560 663 XOR
2 1 536 572 664 XOR
2 1 537 570 665 XOR
2 1 538 574 666 XOR
2 1 539 569 667 XOR
2 1 540 573 668 XOR
2 1 541 575 669 XOR
2 1 542 571 670 XOR
2 1 543 568 671 XOR
2 1 544 580 672 XOR
2 1 545 578 673 XOR
2 1 546 582 674 XOR
2 1 547 577 675 XOR
2 1 548 581 676 XOR
2 1 549 583 677 XOR
2 1 550 579 678 XOR
2 1 551 576 679 XOR
2 1 552 588 680 XOR
2 1 553 586 681 XOR
2 1 554 590 682 XOR
2 1 555 585 683 XOR
2 1 556 589 684 XOR
2 1 557 591 685 XOR
2 1 558 587 686 XOR
2 1 559 584 687 XOR
2 1 560 596 688 XOR
2 1 561 594 689 XOR
2 1 562 598 690 XOR
2 1 563 593 691 XOR
2 1 564 597 692 XOR
2 1 565 599 693 XOR
2 1 566 595 694 XOR
2 1 567 592 695 XOR
2 1 568 604 696 XOR
2 1 569 602 697 XOR
2 1 570 606 698 XOR
2 1 571 601 699 XOR
2 1 572 605 700 XOR
2 1 573 607 701 XOR
2 1 574 603 702 XOR
2 1 575 600 703 XOR
2 1 576 612 704 XOR
2 1 577 610 705 XOR
2 1 578 614 706 XOR
2 1 579 609 707 XOR
2 1 580 613 708 XOR
2 1 581 615 709 XOR
2 1 582 611 710 XOR
2 1 583 608 711 XOR
2 1 584 620 712 XOR
2 1 585 618 713 XOR
2 1 586 622 714 XOR
2 1 587 617 715 XOR
2 1 588 621 716 XOR
2 1 589 623 717 XOR
2 1 590 619 718 XOR
2 1 591 616 719 XOR
2 1 592 628 720 XOR
2 1 593 626 721 XOR
2 1 594 630 722 XOR
2 1 595 625 723 XOR
2 1 596 629 724 XOR
2 1 597 631 725 XOR
2 1 598 627 726 XOR
2 1 599 624 727 XOR
2 1 600 636 728 XOR
2 1 601 634 729 XOR
2 1 602 638 730 XOR
2 1 603 633 731 XOR
2 1 604 637 732 XOR
2 1 605 639 733 XOR
2 1 606 635 734 XOR
2 1 607 632 735 XOR
2 1 608 644 736 XOR
2 1 609 642 737 XOR
2 1 610 646 738 XOR
2 1 611 641 739 XOR
2 1 612 645 740 XOR
2 1 613 647 741 XOR
2 1 614 643 742 XOR
2 1 615 640 743 XOR
2 1 616 652 744 XOR
2 1 617 650 745 XOR
2 1 618 654 746 XOR
2 1 619 649 747 XOR
2 1 620 653 748 XOR
2 1 621 655 749 XOR
2 1 622 651 750 XOR
2 1 623 648 751 XOR
2 1 624 660 752 XOR
2 1 625 658 753 XOR
2 1 626 662 754 XOR
2 1 627 657 755 XOR
2 1 628 661 756 XOR
2 1 629 663 757 XOR
2 1 630 659 758 XOR
2 1 631 656 759 XOR
2 1 632 668 760 XOR
2 1 633 666 761 XOR
2 1 634 670 762 XOR
2 1 635 665 763 XOR
2 1 636 669 764 XOR
2 1 637 671 765 XOR
2 1 638 667 766 XOR
2 1 639 664 767 XOR
1 1 7 768 INV
1 1 6 769 INV
1 1 3 770 INV
1 1 2 771 INV
1 1 1 772 INV
1 1 15 773 INV
1 1 14 774 INV
1 1 11 775 INV
1 1 10 776 INV
1 1 9 777 INV
1 1 23 778 INV
1 1 22 779 INV
1 1 19 780 INV
1 1 18 781 INV
1 1 17 782 INV
1 1 31 783 INV
1 1 30 784 INV
1 1 27 785 INV
1 1 26 786 INV
1 1 25 787 INV
1 1 39 788 INV
1 1 38 789 INV
1 1 35 790 INV
1 1 34 791 INV
1 1 33 792 INV
1 1 47 793 INV
1 1 46 794 INV
1 1 43 795 INV
1 1 42 796 INV
1 1 41 797 INV
1 1 55 798 INV
1 1 54 799 INV
1 1 51 800 INV
1 1 50 801 INV
1 1 49 802 INV
1 1 63 803 INV
1 1 62 804 INV
1 1 59 805 INV
1 1 58 806 INV
1 1 57 807 INV
1 1 71 808 INV
1 1 70 809 INV
1 1 67 810 INV
1 1 66 811 INV
1 1 65 812 INV
1 1 79 813 INV
1 1 78 814 INV
1 1 75 815 INV
1 1 74 816 INV
1 1 73 817 INV
1 1 87 818 INV
1 1 86 819 INV
1 1 83 820 INV
1 1 82 821 INV
1 1 81 822 INV
1 1 95 823 INV
1 1 94 824 INV
1 1 91 825 INV
1 1 90 826 INV
1 1 89 827 INV
1 1 103 828 INV
1 1 102 829 INV
1 1 99 830 INV
1 1 98 831 INV
1 1 97 832 INV
1 1 111 833 INV
1 1 110 834 INV
1 1 107 835 INV
1 1 106 836 INV
1 1 105 837 INV
1 1 119 838 INV
1 1 118 839 INV
1 1 115 840 INV
1 1 114 841 INV
1 1 113 842 INV
1 1 127 843 INV
1 1 126 844 INV
1 1 123 845 INV
1 1 122 846 INV
1 1 121 847 INV
2 1 768 769 848 AND
2 1 770 771 849 AND
2 1 771 772 850 AND
2 1 773 774 851 AND
2 1 775 776 852 AND
2 1 776 777 853 AND
2 1 778 779 854 AND
2 1 780 781 855 AND
2 1 781 782 856 AND
2 1 783 784 857 AND
2 1 785 786 858 AND
2 1 786 787 859 AND
2 1 788 789 860 AND
2 1 790 791 861 AND
2 1 791 792 862 AND
2 1 793 794 863 AND
2 1 795 796 864 AND
2 1 796 797 865 AND
2 1 798 799 866 AND
2 1 800 801 867 AND
2 1 801 802 868 AND
2 1 803 804 869 AND
2 1 805 806 870 AND
2 1 806 807 871 AND
2 1 808 809 872 AND
2 1 810 811 873 AND
2 1 811 812 874 AND
2 1 813 814 875 AND
2 1 815 816 876 AND
2 1 816 817 877 AND
2 1 818 819 878 AND
2 1 820 821 879 AND
2 1 821 822 880 AND
2 1 823 824 881 AND
2 1 825 826 882 AND
2 1 826 827 883 AND
2 1 828 829 884 AND
2 1 830 831 885 AND
2 1 831 832 886 AND
2 1 833 834 887 AND
2 1 835 836 888 AND
2 1 836 837 889 AND
2 1 838 839 890 AND
2 1 840 841 891 AND
2 1 841 842 892 AND
2 1 843 844 893 AND
2 1 845 846 894 AND
2 1 846 847 895 AND
2 1 4 848 896 XOR
2 1 0 849 897 XOR
2 1 6 850 898 XOR
2 1 12 851 899 XOR
2 1 8 852 900 XOR
2 1 14 853 901 XOR
2 1 20 854 902 XOR
2 1 16 855 903 XOR
2 1 22 856 904 XOR
2 1 28 857 905 XOR
2 1 24 858 906 XOR
2 1 30 859 907 XOR
2 1 36 860 908 XOR
2 1 32 861 909 XOR
2 1 38 862 910 XOR
2 1 44 863 911 XOR
2 1 40 864 912 XOR
2 1 46 865 913 XOR
2 1 52 866 914 XOR
2 1 48 867 915 XOR
2 1 54 868 916 XOR
2 1 60 869 917 XOR
2 1 56 870 918 XOR
2 1 62 871 919 XOR
2 1 68 872 920 XOR
2 1 64 873 921 XOR
2 1 70 874 922 XOR
2 1 76 875 923 XOR
2 1 72 876 924 XOR
2 1 78 877 925 XOR
2 1 84 878 926 XOR
2 1 80 879 927 XOR
2 1 86 880 928 XOR
2 1 92 881 929 XOR
2 1 88 882 930 XOR
2 1 94 883 931 XOR
2 1 100 884 932 XOR
2 1 96 885 933 XOR
2 1 102 886 934 XOR
2 1 108 887 935 XOR
2 1 104 888 936 XOR
2 1 110 889 937 XOR
2 1 116 890 938 XOR
2 1 112 891 939 XOR
2 1 118 892 940 XOR
2 1 124 893 941 XOR
2 1 120 894 942 XOR
2 1 126 895 943 XOR
1 1 939 944 INV
1 1 938 945 INV
1 1 940 946 INV
1 1 897 947 INV
1 1 896 948 INV
1 1 898 949 INV
1 1 900 950 INV
1 1 899 951 INV
1 1 901 952 INV
1 1 903 953 INV
1 1 902 954 INV
1 1 904 955 INV
1 1 906 956 INV
1 1 905 957 INV
1 1 907 958 INV
1 1 909 959 INV
1 1 908 960 INV
1 1 910 961 INV
1 1 912 962 INV
1 1 911 963 INV
1 1 913 964 INV
1 1 915 965 INV
1 1 914 966 INV
1 1 916 967 INV
1 1 918 968 INV
1 1 917 969 INV
1 1 919 970 INV
1 1 921 971 INV
1 1 920 972 INV
1 1 922 973 INV
1 1 924 974 INV
1 1 923 975 INV
1 1 925 976 INV
1 1 927 977 INV
1 1 926 978 INV
1 1 928 979 INV
1 1 930 980 INV
1 1 929 981 INV
1 1 931 982 INV
1 1 933 983 INV
1 1 932 984 INV
1 1 934 985 INV
1 1 936 986 INV
1 1 935 987 INV
1 1 937 988 INV
1 1 942 989 INV
1 1 941 990 INV
2 1 947 770 991 AND
2 1 948 947 992 AND
2 1 950 775 993 AND
2 1 951 950 994 AND
2 1 953 780 995 AND
2 1 954 953 996 AND
2 1 956 785 997 AND
2 1 957 956 998 AND
2 1 959 790 999 AND
2 1 960 959 1000 AND
2 1 962 795 1001 AND
2 1 963 962 1002 AND
2 1 965 800 1003 AND
2 1 966 965 1004 AND
2 1 968 805 1005 AND
2 1 969 968 1006 AND
2 1 971 810 1007 AND
2 1 972 971 1008 AND
2 1 974 815 1009 AND
2 1 975 974 1010 AND
2 1 977 820 1011 AND
2 1 978 977 1012 AND
2 1 980 825 1013 AND
2 1 981 980 1014 AND
2 1 983 830 1015 AND
2 1 984 983 1016 AND
2 1 986 835 1017 AND
2 1 987 986 1018 AND
2 1 944 840 1019 AND
2 1 945 944 1020 AND
2 1 989 845 1021 AND
2 1 990 989 1022 AND
2 1 1 991 1023 XOR
2 1 5 992 1024 XOR
2 1 9 993 1025 XOR
2 1 13 994 1026 XOR
2 1 17 995 1027 XOR
2 1 21 996 1028 XOR
2 1 25 997 1029 XOR
2 1 29 998 1030 XOR
2 1 33 999 1031 XOR
2 1 37 1000 1032 XOR
2 1 41 1001 1033 XOR
2 1 45 1002 1034 XOR
2 1 49 1003 1035 XOR
2 1 53 1004 1036 XOR
2 1 57 1005 1037 XOR
2 1 61 1006 1038 XOR
2 1 65 1007 1039 XOR
2 1 69 1008 1040 XOR
2 1 73 1009 1041 XOR
2 1 77 1010 1042 XOR
2 1 81 1011 1043 XOR
2 1 85 1012 1044 XOR
2 1 89 1013 1045 XOR
2 1 93 1014 1046 XOR
2 1 97 1015 1047 XOR
2 1 101 1016 1048 XOR
2 1 105 1017 1049 XOR
2 1 109 1018 1050 XOR
2 1 113 1019 1051 XOR
2 1 117 1020 1052 XOR
2 1 121 1021 1053 XOR
2 1 125 1022 1054 XOR
2 1 898 130 1055 XOR
2 1 897 133 1056 XOR
2 1 896 134 1057 XOR
2 1 901 138 1058 XOR
2 1 900 141 1059 XOR
2 1 899 142 1060 XOR
2 1 904 146 1061 XOR
2 1 903 149 1062 XOR
2 1 902 150 1063 XOR
2 1 907 154 1064 XOR
2 1 906 157 1065 XOR
2 1 905 158 1066 XOR
2 1 910 162 1067 XOR
2 1 909 165 1068 XOR
2 1 908 166 1069 XOR
2 1 913 170 1070 XOR
2 1 912 173 1071 XOR
2 1 911 174 1072 XOR
2 1 916 178 1073 XOR
2 1 915 181 1074 XOR
2 1 914 182 1075 XOR
2 1 919 186 1076 XOR
2 1 918 189 1077 XOR
2 1 917 190 1078 XOR
1 1 1052 1079 INV
1 1 1051 1080 INV
1 1 1024 1081 INV
1 1 1023 1082 INV
1 1 1026 1083 INV
1 1 1025 1084 INV
1 1 1028 1085 INV
1 1 1027 1086 INV
1 1 1030 1087 INV
1 1 1029 1088 INV
1 1 1032 1089 INV
1 1 1031 1090 INV
1 1 1034 1091 INV
1 1 1033 1092 INV
1 1 1036 1093 INV
1 1 1035 1094 INV
1 1 1038 1095 INV
1 1 1037 1096 INV
1 1 1040 1097 INV
1 1 1039 1098 INV
1 1 1042 1099 INV
1 1 1041 1100 INV
1 1 1044 1101 INV
1 1 1043 1102 INV
1 1 1046 1103 INV
1 1 1045 1104 INV
1 1 1048 1105 INV
1 1 1047 1106 INV
1 1 1050 1107 INV
1 1 1049 1108 INV
1 1 1054 1109 INV
1 1 943 1110 INV
2 1 1081 948 1111 AND
2 1 1081 949 1112 AND
2 1 1083 951 1113 AND
2 1 1083 952 1114 AND
2 1 1085 954 1115 AND
2 1 1085 955 1116 AND
2 1 1087 957 1117 AND
2 1 1087 958 1118 AND
2 1 1089 960 1119 AND
2 1 1089 961 1120 AND
2 1 1091 963 1121 AND
2 1 1091 964 1122 AND
2 1 1093 966 1123 AND
2 1 1093 967 1124 AND
2 1 1095 969 1125 AND
2 1 1095 970 1126 AND
2 1 1097 972 1127 AND
2 1 1097 973 1128 AND
2 1 1099 975 1129 AND
2 1 1099 976 1130 AND
2 1 1101 978 1131 AND
2 1 1101 979 1132 AND
2 1 1103 981 1133 AND
2 1 1103 982 1134 AND
2 1 1105 984 1135 AND
2 1 1105 985 1136 AND
2 1 1107 987 1137 AND
2 1 1107 988 1138 AND
2 1 1079 945 1139 AND
2 1 1079 946 1140 AND
2 1 1109 990 1141 AND
2 1 1109 1110 1142 AND
2 1 3 1111 1143 XOR
2 1 7 1112 1144 XOR
2 1 11 1113 1145 XOR
2 1 15 1114 1146 XOR
2 1 19 1115 1147 XOR
2 1 23 1116 1148 XOR
2 1 27 1117 1149 XOR
2 1 31 1118 1150 XOR
2 1 35 1119 1151 XOR
2 1 39 1120 1152 XOR
2 1 43 1121 1153 XOR
2 1 47 1122 1154 XOR
2 1 51 1123 1155 XOR
2 1 55 1124 1156 XOR
2 1 59 1125 1157 XOR
2 1 63 1126 1158 XOR
2 1 67 1127 1159 XOR
2 1 71 1128 1160 XOR
2 1 75 1129 1161 XOR
2 1 79 1130 1162 XOR
2 1 83 1131 1163 XOR
2 1 87 1132 1164 XOR
2 1 91 1133 1165 XOR
2 1 95 1134 1166 XOR
2 1 99 1135 1167 XOR
2 1 103 1136 1168 XOR
2 1 107 1137 1169 XOR
2 1 111 1138 1170 XOR
2 1 115 1139 1171 XOR
2 1 119 1140 1172 XOR
2 1 123 1141 1173 XOR
2 1 127 1142 1174 XOR
2 1 1055 258 1175 XOR
2 1 1023 131 1176 XOR
2 1 1056 261 1177 XOR
2 1 1057 262 1178 XOR
2 1 1024 135 1179 XOR
2 1 1058 266 1180 XOR
2 1 1025 139 1181 XOR
2 1 1059 269 1182 XOR
2 1 1060 270 1183 XOR
2 1 1026 143 1184 XOR
2 1 1061 274 1185 XOR
2 1 1027 147 1186 XOR
2 1 1062 277 1187 XOR
2 1 1063 278 1188 XOR
2 1 1028 151 1189 XOR
2 1 1064 282 1190 XOR
2 1 1029 155 1191 XOR
2 1 1065 285 1192 XOR
2 1 1066 286 1193 XOR
2 1 1030 159 1194 XOR
2 1 1067 290 1195 XOR
2 1 1031 163 1196 XOR
2 1 1068 293 1197 XOR
2 1 1069 294 1198 XOR
2 1 1032 167 1199 XOR
2 1 1070 298 1200 XOR
2 1 1033 171 1201 XOR
2 1 1071 301 1202 XOR
2 1 1072 302 1203 XOR
2 1 1034 175 1204 XOR
2 1 1073 306 1205 XOR
2 1 1035 179 1206 XOR
2 1 1074 309 1207 XOR
2 1 1075 310 1208 XOR
2 1 1036 183 1209 XOR
2 1 1076 314 1210 XOR
2 1 1037 187 1211 XOR
2 1 1077 317 1212 XOR
2 1 1078 318 1213 XOR
2 1 1038 191 1214 XOR
1 1 1172 1215 INV
1 1 1144 1216 INV
1 1 1146 1217 INV
1 1 1148 1218 INV
1 1 1150 1219 INV
1 1 1152 1220 INV
1 1 1154 1221 INV
1 1 1156 1222 INV
1 1 1158 1223 INV
1 1 1160 1224 INV
1 1 1162 1225 INV
1 1 1164 1226 INV
1 1 1166 1227 INV
1 1 1168 1228 INV
1 1 1170 1229 INV
1 1 1053 1230 INV
1 1 1174 1231 INV
2 1 1082 1216 1232 AND
2 1 1084 1217 1233 AND
2 1 1086 1218 1234 AND
2 1 1088 1219 1235 AND
2 1 1090 1220 1236 AND
2 1 1092 1221 1237 AND
2 1 1094 1222 1238 AND
2 1 1096 1223 1239 AND
2 1 1098 1224 1240 AND
2 1 1100 1225 1241 AND
2 1 1102 1226 1242 AND
2 1 1104 1227 1243 AND
2 1 1106 1228 1244 AND
2 1 1108 1229 1245 AND
2 1 1080 1215 1246 AND
2 1 1230 1231 1247 AND
2 1 2 1232 1248 XOR
2 1 10 1233 1249 XOR
2 1 18 1234 1250 XOR
2 1 26 1235 1251 XOR
2 1 34 1236 1252 XOR
2 1 42 1237 1253 XOR
2 1 50 1238 1254 XOR
2 1 58 1239 1255 XOR
2 1 66 1240 1256 XOR
2 1 74 1241 1257 XOR
2 1 82 1242 1258 XOR
2 1 90 1243 1259 XOR
2 1 98 1244 1260 XOR
2 1 106 1245 1261 XOR
2 1 114 1246 1262 XOR
2 1 122 1247 1263 XOR
2 1 1144 129 1264 XOR
2 1 1176 259 1265 XOR
2 1 1143 132 1266 XOR
2 1 1179 263 1267 XOR
2 1 1146 137 1268 XOR
2 1 1181 267 1269 XOR
2 1 1145 140 1270 XOR
2 1 1184 271 1271 XOR
2 1 1148 145 1272 XOR
2 1 1186 275 1273 XOR
2 1 1147 148 1274 XOR
2 1 1189 279 1275 XOR
2 1 1150 153 1276 XOR
2 1 1191 283 1277 XOR
2 1 1149 156 1278 XOR
2 1 1194 287 1279 XOR
2 1 1152 161 1280 XOR
2 1 1196 291 1281 XOR
2 1 1151 164 1282 XOR
2 1 1199 295 1283 XOR
2 1 1154 169 1284 XOR
2 1 1201 299 1285 XOR
2 1 1153 172 1286 XOR
2 1 1204 303 1287 XOR
2 1 1156 177 1288 XOR
2 1 1206 307 1289 XOR
2 1 1155 180 1290 XOR
2 1 1209 311 1291 XOR
2 1 1158 185 1292 XOR
2 1 1211 315 1293 XOR
2 1 1157 188 1294 XOR
2 1 1214 319 1295 XOR
2 1 1175 928 1296 XOR
2 1 1177 927 1297 XOR
2 1 1178 926 1298 XOR
2 1 1180 931 1299 XOR
2 1 1182 930 1300 XOR
2 1 1183 929 1301 XOR
2 1 1185 922 1302 XOR
2 1 1187 921 1303 XOR
2 1 1188 920 1304 XOR
2 1 1190 925 1305 XOR
2 1 1192 924 1306 XOR
2 1 1193 923 1307 XOR
2 1 1210 928 1308 XOR
2 1 1212 927 1309 XOR
2 1 1213 926 1310 XOR
2 1 1195 931 1311 XOR
2 1 1197 930 1312 XOR
2 1 1198 929 1313 XOR
2 1 1200 922 1314 XOR
2 1 1202 921 1315 XOR
2 1 1203 920 1316 XOR
2 1 1205 925 1317 XOR
2 1 1207 924 1318 XOR
2 1 1208 923 1319 XOR
2 1 1175 928 1320 XOR
2 1 1177 927 1321 XOR
2 1 1178 926 1322 XOR
2 1 1180 931 1323 XOR
2 1 1182 930 1324 XOR
2 1 1183 929 1325 XOR
2 1 1185 922 1326 XOR
2 1 1187 921 1327 XOR
2 1 1188 920 1328 XOR
2 1 1190 925 1329 XOR
2 1 1192 924 1330 XOR
2 1 1193 923 1331 XOR
1 1 1248 1332 INV
1 1 1160 1333 INV
2 1 1332 128 1334 XOR
2 1 1264 257 1335 XOR
2 1 1266 260 1336 XOR
2 1 1249 136 1337 XOR
2 1 1268 265 1338 XOR
2 1 1270 268 1339 XOR
2 1 1250 144 1340 XOR
2 1 1272 273 1341 XOR
2 1 1274 276 1342 XOR
2 1 1251 152 1343 XOR
2 1 1276 281 1344 XOR
2 1 1278 284 1345 XOR
2 1 1252 160 1346 XOR
2 1 1280 289 1347 XOR
2 1 1282 292 1348 XOR
2 1 1253 168 1349 XOR
2 1 1284 297 1350 XOR
2 1 1286 300 1351 XOR
2 1 1254 176 1352 XOR
2 1 1288 305 1353 XOR
2 1 1290 308 1354 XOR
2 1 1255 184 1355 XOR
2 1 1292 313 1356 XOR
2 1 1294 316 1357 XOR
2 1 1296 937 1358 XOR
2 1 1265 1043 1359 XOR
2 1 1297 936 1360 XOR
2 1 1298 935 1361 XOR
2 1 1267 1044 1362 XOR
2 1 1299 940 1363 XOR
2 1 1269 1045 1364 XOR
2 1 1300 939 1365 XOR
2 1 1301 938 1366 XOR
2 1 1271 1046 1367 XOR
2 1 1302 943 1368 XOR
2 1 1273 1039 1369 XOR
2 1 1303 942 1370 XOR
2 1 1304 941 1371 XOR
2 1 1275 1040 1372 XOR
2 1 1305 934 1373 XOR
2 1 1277 1041 1374 XOR
2 1 1306 933 1375 XOR
2 1 1307 932 1376 XOR
2 1 1279 1042 1377 XOR
2 1 1293 1043 1378 XOR
2 1 1295 1044 1379 XOR