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