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