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