-
Notifications
You must be signed in to change notification settings - Fork 2
/
FP-add.txt
15643 lines (15640 loc) · 350 KB
/
FP-add.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
15637 15765
2 64 64
1 64
2 1 52 116 179 XOR
2 1 60 61 532 AND
2 1 532 62 533 AND
2 1 58 59 534 AND
2 1 56 57 535 AND
2 1 534 535 536 AND
2 1 54 55 537 AND
2 1 52 53 538 AND
2 1 537 538 539 AND
2 1 536 539 540 AND
2 1 533 540 541 AND
1 1 84 543 INV
1 1 85 544 INV
2 1 543 544 545 AND
1 1 545 546 INV
1 1 82 547 INV
1 1 83 548 INV
2 1 547 548 549 AND
1 1 549 550 INV
1 1 80 554 INV
1 1 81 555 INV
2 1 554 555 556 AND
1 1 556 557 INV
1 1 78 558 INV
1 1 79 559 INV
2 1 558 559 560 AND
1 1 560 561 INV
1 1 76 568 INV
1 1 77 569 INV
2 1 568 569 570 AND
1 1 570 571 INV
1 1 74 572 INV
1 1 75 573 INV
2 1 572 573 574 AND
1 1 574 575 INV
1 1 72 579 INV
1 1 73 580 INV
2 1 579 580 581 AND
1 1 581 582 INV
1 1 70 583 INV
1 1 71 584 INV
2 1 583 584 585 AND
1 1 585 586 INV
1 1 68 596 INV
1 1 69 597 INV
2 1 596 597 598 AND
1 1 598 599 INV
1 1 66 600 INV
1 1 67 601 INV
2 1 600 601 602 AND
1 1 602 603 INV
1 1 65 607 INV
1 1 100 615 INV
1 1 101 616 INV
2 1 615 616 617 AND
1 1 617 618 INV
1 1 98 619 INV
1 1 99 620 INV
2 1 619 620 621 AND
1 1 621 622 INV
1 1 96 626 INV
1 1 97 627 INV
2 1 626 627 628 AND
1 1 628 629 INV
1 1 94 630 INV
1 1 95 631 INV
2 1 630 631 632 AND
1 1 632 633 INV
1 1 92 640 INV
1 1 93 641 INV
2 1 640 641 642 AND
1 1 642 643 INV
1 1 90 644 INV
1 1 91 645 INV
2 1 644 645 646 AND
1 1 646 647 INV
1 1 88 651 INV
1 1 89 652 INV
2 1 651 652 653 AND
1 1 653 654 INV
1 1 86 655 INV
1 1 87 656 INV
2 1 655 656 657 AND
1 1 657 658 INV
1 1 108 667 INV
1 1 109 668 INV
2 1 667 668 669 AND
1 1 669 670 INV
1 1 106 671 INV
1 1 107 672 INV
2 1 671 672 673 AND
1 1 673 674 INV
1 1 104 678 INV
1 1 105 679 INV
2 1 678 679 680 AND
1 1 680 681 INV
1 1 102 682 INV
1 1 103 683 INV
2 1 682 683 684 AND
1 1 684 685 INV
1 1 112 693 INV
1 1 113 694 INV
2 1 693 694 695 AND
1 1 695 696 INV
1 1 110 697 INV
1 1 111 698 INV
2 1 697 698 699 AND
1 1 699 700 INV
2 1 124 125 714 AND
2 1 714 126 715 AND
2 1 122 123 716 AND
2 1 120 121 717 AND
2 1 716 717 718 AND
2 1 118 119 719 AND
2 1 116 117 720 AND
2 1 719 720 721 AND
2 1 718 721 722 AND
2 1 715 722 723 AND
2 1 0 64 726 XOR
2 1 53 54 770 AND
1 1 770 771 INV
1 1 771 772 INV
2 1 57 58 776 AND
2 1 55 56 777 AND
2 1 776 777 778 AND
1 1 778 779 INV
1 1 779 780 INV
2 1 61 62 784 AND
2 1 59 60 785 AND
2 1 784 785 786 AND
1 1 786 787 INV
1 1 787 788 INV
1 1 48 792 INV
2 1 792 693 233 AND
1 1 233 234 INV
1 1 234 235 INV
1 1 49 793 INV
2 1 793 694 230 AND
1 1 230 231 INV
1 1 231 232 INV
2 1 232 235 236 AND
1 1 236 237 INV
1 1 237 238 INV
2 1 792 793 794 AND
1 1 794 795 INV
1 1 46 799 INV
2 1 799 697 242 AND
1 1 242 243 INV
1 1 243 244 INV
1 1 47 800 INV
2 1 800 698 239 AND
1 1 239 240 INV
1 1 240 241 INV
2 1 241 244 245 AND
1 1 245 246 INV
1 1 246 247 INV
2 1 238 247 248 AND
1 1 248 249 INV
1 1 249 250 INV
2 1 799 800 801 AND
1 1 801 802 INV
1 1 44 803 INV
2 1 803 667 257 AND
1 1 257 258 INV
1 1 258 259 INV
1 1 45 804 INV
2 1 804 668 254 AND
1 1 254 255 INV
1 1 255 256 INV
2 1 256 259 260 AND
1 1 260 261 INV
1 1 261 262 INV
2 1 803 804 805 AND
1 1 805 806 INV
1 1 42 810 INV
2 1 810 671 266 AND
1 1 266 267 INV
1 1 267 268 INV
1 1 43 811 INV
2 1 811 672 263 AND
1 1 263 264 INV
1 1 264 265 INV
2 1 265 268 269 AND
1 1 269 270 INV
1 1 270 271 INV
2 1 262 271 272 AND
1 1 272 273 INV
1 1 273 274 INV
2 1 810 811 812 AND
1 1 812 813 INV
1 1 40 814 INV
2 1 814 678 278 AND
1 1 278 279 INV
1 1 279 280 INV
1 1 41 815 INV
2 1 815 679 275 AND
1 1 275 276 INV
1 1 276 277 INV
2 1 277 280 281 AND
1 1 281 282 INV
1 1 282 283 INV
2 1 814 815 816 AND
1 1 816 817 INV
1 1 38 824 INV
2 1 824 682 287 AND
1 1 287 288 INV
1 1 288 289 INV
1 1 39 825 INV
2 1 825 683 284 AND
1 1 284 285 INV
1 1 285 286 INV
2 1 286 289 290 AND
1 1 290 291 INV
1 1 291 292 INV
2 1 283 292 293 AND
1 1 293 294 INV
1 1 294 295 INV
2 1 274 295 296 AND
1 1 296 297 INV
1 1 297 298 INV
2 1 824 825 826 AND
1 1 826 827 INV
1 1 36 828 INV
2 1 828 615 305 AND
1 1 305 306 INV
1 1 306 307 INV
1 1 37 829 INV
2 1 829 616 302 AND
1 1 302 303 INV
1 1 303 304 INV
2 1 304 307 308 AND
1 1 308 309 INV
1 1 309 310 INV
2 1 828 829 830 AND
1 1 830 831 INV
1 1 34 835 INV
2 1 835 619 314 AND
1 1 314 315 INV
1 1 315 316 INV
1 1 35 836 INV
2 1 836 620 311 AND
1 1 311 312 INV
1 1 312 313 INV
2 1 313 316 317 AND
1 1 317 318 INV
1 1 318 319 INV
2 1 310 319 320 AND
1 1 320 321 INV
1 1 321 322 INV
2 1 835 836 837 AND
1 1 837 838 INV
1 1 32 839 INV
2 1 839 626 326 AND
1 1 326 327 INV
1 1 327 328 INV
1 1 33 840 INV
2 1 840 627 323 AND
1 1 323 324 INV
1 1 324 325 INV
2 1 325 328 329 AND
1 1 329 330 INV
1 1 330 331 INV
2 1 839 840 841 AND
1 1 841 842 INV
1 1 30 855 INV
2 1 855 630 335 AND
1 1 335 336 INV
1 1 336 337 INV
1 1 31 856 INV
2 1 856 631 332 AND
1 1 332 333 INV
1 1 333 334 INV
2 1 334 337 338 AND
1 1 338 339 INV
1 1 339 340 INV
2 1 331 340 341 AND
1 1 341 342 INV
1 1 342 343 INV
2 1 322 343 344 AND
1 1 344 345 INV
1 1 345 346 INV
2 1 855 856 857 AND
1 1 857 858 INV
1 1 28 859 INV
2 1 859 640 350 AND
1 1 350 351 INV
1 1 351 352 INV
1 1 29 860 INV
2 1 860 641 347 AND
1 1 347 348 INV
1 1 348 349 INV
2 1 349 352 353 AND
1 1 353 354 INV
1 1 354 355 INV
2 1 859 860 861 AND
1 1 861 862 INV
1 1 26 866 INV
2 1 866 644 359 AND
1 1 359 360 INV
1 1 360 361 INV
1 1 27 867 INV
2 1 867 645 356 AND
1 1 356 357 INV
1 1 357 358 INV
2 1 358 361 362 AND
1 1 362 363 INV
1 1 363 364 INV
2 1 355 364 365 AND
1 1 365 366 INV
1 1 366 367 INV
2 1 866 867 868 AND
1 1 868 869 INV
1 1 24 870 INV
2 1 870 651 371 AND
1 1 371 372 INV
1 1 372 373 INV
1 1 25 871 INV
2 1 871 652 368 AND
1 1 368 369 INV
1 1 369 370 INV
2 1 370 373 374 AND
1 1 374 375 INV
1 1 375 376 INV
2 1 870 871 872 AND
1 1 872 873 INV
1 1 22 880 INV
2 1 880 655 380 AND
1 1 380 381 INV
1 1 381 382 INV
1 1 23 881 INV
2 1 881 656 377 AND
1 1 377 378 INV
1 1 378 379 INV
2 1 379 382 383 AND
1 1 383 384 INV
1 1 384 385 INV
2 1 376 385 386 AND
1 1 386 387 INV
1 1 387 388 INV
2 1 367 388 389 AND
1 1 389 390 INV
1 1 390 391 INV
2 1 346 391 392 AND
1 1 392 393 INV
1 1 393 394 INV
2 1 880 881 882 AND
1 1 882 883 INV
1 1 20 884 INV
2 1 884 543 401 AND
1 1 401 402 INV
1 1 402 403 INV
1 1 21 885 INV
2 1 885 544 398 AND
1 1 398 399 INV
1 1 399 400 INV
2 1 400 403 404 AND
1 1 404 405 INV
1 1 405 406 INV
2 1 884 885 886 AND
1 1 886 887 INV
1 1 18 891 INV
2 1 891 547 410 AND
1 1 410 411 INV
1 1 411 412 INV
1 1 19 892 INV
2 1 892 548 407 AND
1 1 407 408 INV
1 1 408 409 INV
2 1 409 412 413 AND
1 1 413 414 INV
1 1 414 415 INV
2 1 406 415 416 AND
1 1 416 417 INV
1 1 417 418 INV
2 1 891 892 893 AND
1 1 893 894 INV
1 1 16 895 INV
2 1 895 554 422 AND
1 1 422 423 INV
1 1 423 424 INV
1 1 17 896 INV
2 1 896 555 419 AND
1 1 419 420 INV
1 1 420 421 INV
2 1 421 424 425 AND
1 1 425 426 INV
1 1 426 427 INV
2 1 895 896 897 AND
1 1 897 898 INV
1 1 14 908 INV
2 1 908 558 431 AND
1 1 431 432 INV
1 1 432 433 INV
1 1 15 909 INV
2 1 909 559 428 AND
1 1 428 429 INV
1 1 429 430 INV
2 1 430 433 434 AND
1 1 434 435 INV
1 1 435 436 INV
2 1 427 436 437 AND
1 1 437 438 INV
1 1 438 439 INV
2 1 418 439 440 AND
1 1 440 441 INV
1 1 441 442 INV
2 1 908 909 910 AND
1 1 910 911 INV
1 1 12 912 INV
2 1 912 568 446 AND
1 1 446 447 INV
1 1 447 448 INV
1 1 13 913 INV
2 1 913 569 443 AND
1 1 443 444 INV
1 1 444 445 INV
2 1 445 448 449 AND
1 1 449 450 INV
1 1 450 451 INV
2 1 912 913 914 AND
1 1 914 915 INV
1 1 10 919 INV
2 1 919 572 455 AND
1 1 455 456 INV
1 1 456 457 INV
1 1 11 920 INV
2 1 920 573 452 AND
1 1 452 453 INV
1 1 453 454 INV
2 1 454 457 458 AND
1 1 458 459 INV
1 1 459 460 INV
2 1 451 460 461 AND
1 1 461 462 INV
1 1 462 463 INV
2 1 919 920 921 AND
1 1 921 922 INV
1 1 8 923 INV
2 1 923 579 467 AND
1 1 467 468 INV
1 1 468 469 INV
1 1 9 924 INV
2 1 924 580 464 AND
1 1 464 465 INV
1 1 465 466 INV
2 1 466 469 470 AND
1 1 470 471 INV
1 1 471 472 INV
2 1 923 924 925 AND
1 1 925 926 INV
1 1 6 933 INV
2 1 933 583 476 AND
1 1 476 477 INV
1 1 477 478 INV
1 1 7 934 INV
2 1 934 584 473 AND
1 1 473 474 INV
1 1 474 475 INV
2 1 475 478 479 AND
1 1 479 480 INV
1 1 480 481 INV
2 1 472 481 482 AND
1 1 482 483 INV
1 1 483 484 INV
2 1 463 484 485 AND
1 1 485 486 INV
1 1 486 487 INV
2 1 442 487 488 AND
1 1 488 489 INV
1 1 489 490 INV
2 1 933 934 935 AND
1 1 935 936 INV
1 1 4 937 INV
2 1 937 596 494 AND
1 1 494 495 INV
1 1 495 496 INV
1 1 5 938 INV
2 1 938 597 491 AND
1 1 491 492 INV
1 1 492 493 INV
2 1 493 496 497 AND
1 1 497 498 INV
1 1 498 499 INV
2 1 937 938 939 AND
1 1 939 940 INV
1 1 2 944 INV
2 1 944 600 503 AND
1 1 503 504 INV
1 1 504 505 INV
1 1 3 945 INV
2 1 945 601 500 AND
1 1 500 501 INV
1 1 501 502 INV
2 1 502 505 506 AND
1 1 506 507 INV
1 1 507 508 INV
2 1 499 508 509 AND
1 1 509 510 INV
1 1 510 511 INV
2 1 944 945 946 AND
1 1 946 947 INV
1 1 1 948 INV
2 1 948 607 512 AND
1 1 512 513 INV
1 1 513 514 INV
1 1 115 973 INV
2 1 117 118 977 AND
1 1 977 978 INV
1 1 978 979 INV
2 1 121 122 983 AND
2 1 119 120 984 AND
2 1 983 984 985 AND
1 1 985 986 INV
1 1 986 987 INV
2 1 125 126 991 AND
2 1 123 124 992 AND
2 1 991 992 993 AND
1 1 993 994 INV
1 1 994 995 INV
1 1 696 999 INV
1 1 114 1000 INV
2 1 1000 973 691 AND
1 1 691 692 INV
2 1 999 1000 1001 AND
1 1 1001 1002 INV
1 1 1002 1003 INV
1 1 700 1004 INV
2 1 999 1004 701 AND
1 1 701 702 INV
1 1 670 1005 INV
2 1 1004 1005 1006 AND
1 1 1006 1007 INV
1 1 1007 1008 INV
1 1 674 1009 INV
2 1 1005 1009 675 AND
1 1 675 676 INV
1 1 676 677 INV
1 1 681 1010 INV
2 1 1009 1010 1011 AND
1 1 1011 1012 INV
1 1 1012 1013 INV
2 1 1008 1013 1014 AND
1 1 1014 1015 INV
1 1 1015 1016 INV
1 1 685 1017 INV
2 1 1010 1017 686 AND
1 1 686 687 INV
1 1 687 688 INV
2 1 677 688 689 AND
1 1 689 690 INV
1 1 618 1018 INV
2 1 1017 1018 1019 AND
1 1 1019 1020 INV
1 1 1020 1021 INV
1 1 622 1022 INV
2 1 1018 1022 623 AND
1 1 623 624 INV
1 1 624 625 INV
1 1 629 1023 INV
2 1 1022 1023 1024 AND
1 1 1024 1025 INV
1 1 1025 1026 INV
2 1 1021 1026 1027 AND
1 1 1027 1028 INV
1 1 1028 1029 INV
2 1 1016 1029 1030 AND
1 1 1030 1031 INV
1 1 1031 1032 INV
2 1 1003 1032 1033 AND
1 1 1033 1034 INV
1 1 1034 1035 INV
1 1 633 1036 INV
2 1 1023 1036 634 AND
1 1 634 635 INV
1 1 635 636 INV
2 1 625 636 637 AND
1 1 637 638 INV
1 1 638 639 INV
1 1 643 1037 INV
2 1 1036 1037 1038 AND
1 1 1038 1039 INV
1 1 1039 1040 INV
1 1 647 1041 INV
2 1 1037 1041 648 AND
1 1 648 649 INV
1 1 649 650 INV
1 1 654 1042 INV
2 1 1041 1042 1043 AND
1 1 1043 1044 INV
1 1 1044 1045 INV
2 1 1040 1045 1046 AND
1 1 1046 1047 INV
1 1 1047 1048 INV
1 1 658 1049 INV
2 1 1042 1049 659 AND
1 1 659 660 INV
1 1 660 661 INV
2 1 650 661 662 AND
1 1 662 663 INV
1 1 663 664 INV
2 1 639 664 665 AND
1 1 665 666 INV
1 1 546 1050 INV
2 1 1049 1050 1051 AND
1 1 1051 1052 INV
1 1 1052 1053 INV
1 1 550 1054 INV
2 1 1050 1054 551 AND
1 1 551 552 INV
1 1 552 553 INV
1 1 557 1055 INV
2 1 1054 1055 1056 AND
1 1 1056 1057 INV
1 1 1057 1058 INV
2 1 1053 1058 1059 AND
1 1 1059 1060 INV
1 1 1060 1061 INV
2 1 1048 1061 1062 AND
1 1 1062 1063 INV
1 1 1063 1064 INV
1 1 561 1065 INV
2 1 1055 1065 562 AND
1 1 562 563 INV
1 1 563 564 INV
2 1 553 564 565 AND
1 1 565 566 INV
1 1 566 567 INV
1 1 571 1066 INV
2 1 1065 1066 1067 AND
1 1 1067 1068 INV
1 1 1068 1069 INV
1 1 575 1070 INV
2 1 1066 1070 576 AND
1 1 576 577 INV
1 1 577 578 INV
1 1 582 1071 INV
2 1 1070 1071 1072 AND
1 1 1072 1073 INV
1 1 1073 1074 INV
2 1 1069 1074 1075 AND
1 1 1075 1076 INV
1 1 1076 1077 INV
1 1 586 1078 INV
2 1 1071 1078 587 AND
1 1 587 588 INV
1 1 588 589 INV
2 1 578 589 590 AND
1 1 590 591 INV
1 1 591 592 INV
2 1 567 592 593 AND
1 1 593 594 INV
1 1 594 595 INV
1 1 599 1079 INV
2 1 1078 1079 1080 AND
1 1 1080 1081 INV
1 1 1081 1082 INV
1 1 603 1083 INV
2 1 1079 1083 604 AND
1 1 604 605 INV
1 1 605 606 INV
1 1 64 1105 INV
2 1 1105 607 608 AND
1 1 608 609 INV
1 1 609 1084 INV
2 1 606 1084 610 AND
1 1 610 611 INV
1 1 611 612 INV
2 1 595 612 613 AND
1 1 613 614 INV
2 1 1083 1084 1085 AND
1 1 1085 1086 INV
1 1 1086 1087 INV
2 1 1082 1087 1088 AND
1 1 1088 1089 INV
1 1 1089 1090 INV
2 1 1077 1090 1091 AND
1 1 1091 1092 INV
1 1 1092 1093 INV
2 1 1064 1093 1094 AND
1 1 1094 1095 INV
1 1 1095 1096 INV
2 1 1035 1096 1097 AND
1 1 1097 1098 INV
1 1 1098 1099 INV
1 1 1099 1100 INV
2 1 1105 0 1106 AND
1 1 1106 1107 INV
2 1 1107 65 1108 XOR
2 1 1106 1 1109 XOR
2 1 1108 1109 1110 AND
2 1 1110 1107 1111 XOR
2 1 1111 66 1112 XOR
2 1 1111 2 1113 XOR
1 1 1113 1114 INV
2 1 1112 1114 1115 AND
2 1 1115 1111 1116 XOR
2 1 1116 67 1117 XOR
2 1 1116 3 1118 XOR
1 1 1118 1119 INV
2 1 1117 1119 1120 AND
2 1 1120 1116 1121 XOR
2 1 1121 68 1122 XOR
2 1 1121 4 1123 XOR
1 1 1123 1124 INV
2 1 1122 1124 1125 AND
2 1 1125 1121 1126 XOR
2 1 1126 69 1127 XOR
2 1 1126 5 1128 XOR
1 1 1128 1129 INV
2 1 1127 1129 1130 AND
2 1 1130 1126 1131 XOR
2 1 1131 70 1132 XOR
2 1 1131 6 1133 XOR
1 1 1133 1134 INV
2 1 1132 1134 1135 AND
2 1 1135 1131 1136 XOR
2 1 1136 71 1137 XOR
2 1 1136 7 1138 XOR
1 1 1138 1139 INV
2 1 1137 1139 1140 AND
2 1 1140 1136 1141 XOR
2 1 1141 72 1142 XOR
2 1 1141 8 1143 XOR
1 1 1143 1144 INV
2 1 1142 1144 1145 AND
2 1 1145 1141 1146 XOR
2 1 1146 73 1147 XOR
2 1 1146 9 1148 XOR
1 1 1148 1149 INV
2 1 1147 1149 1150 AND
2 1 1150 1146 1151 XOR
2 1 1151 74 1152 XOR
2 1 1151 10 1153 XOR
1 1 1153 1154 INV
2 1 1152 1154 1155 AND
2 1 1155 1151 1156 XOR
2 1 1156 75 1157 XOR
2 1 1156 11 1158 XOR
1 1 1158 1159 INV
2 1 1157 1159 1160 AND
2 1 1160 1156 1161 XOR
2 1 1161 76 1162 XOR
2 1 1161 12 1163 XOR
1 1 1163 1164 INV
2 1 1162 1164 1165 AND
2 1 1165 1161 1166 XOR
2 1 1166 77 1167 XOR
2 1 1166 13 1168 XOR
1 1 1168 1169 INV
2 1 1167 1169 1170 AND
2 1 1170 1166 1171 XOR
2 1 1171 78 1172 XOR
2 1 1171 14 1173 XOR
1 1 1173 1174 INV
2 1 1172 1174 1175 AND
2 1 1175 1171 1176 XOR
2 1 1176 79 1177 XOR
2 1 1176 15 1178 XOR
1 1 1178 1179 INV
2 1 1177 1179 1180 AND
2 1 1180 1176 1181 XOR
2 1 1181 80 1182 XOR
2 1 1181 16 1183 XOR
1 1 1183 1184 INV
2 1 1182 1184 1185 AND
2 1 1185 1181 1186 XOR
2 1 1186 81 1187 XOR
2 1 1186 17 1188 XOR
1 1 1188 1189 INV
2 1 1187 1189 1190 AND
2 1 1190 1186 1191 XOR
2 1 1191 82 1192 XOR
2 1 1191 18 1193 XOR
1 1 1193 1194 INV
2 1 1192 1194 1195 AND
2 1 1195 1191 1196 XOR
2 1 1196 83 1197 XOR
2 1 1196 19 1198 XOR
1 1 1198 1199 INV
2 1 1197 1199 1200 AND
2 1 1200 1196 1201 XOR
2 1 1201 84 1202 XOR
2 1 1201 20 1203 XOR
1 1 1203 1204 INV
2 1 1202 1204 1205 AND
2 1 1205 1201 1206 XOR
2 1 1206 85 1207 XOR
2 1 1206 21 1208 XOR
1 1 1208 1209 INV
2 1 1207 1209 1210 AND
2 1 1210 1206 1211 XOR
2 1 1211 86 1212 XOR
2 1 1211 22 1213 XOR
1 1 1213 1214 INV
2 1 1212 1214 1215 AND
2 1 1215 1211 1216 XOR
2 1 1216 87 1217 XOR
2 1 1216 23 1218 XOR
1 1 1218 1219 INV
2 1 1217 1219 1220 AND
2 1 1220 1216 1221 XOR
2 1 1221 88 1222 XOR
2 1 1221 24 1223 XOR
1 1 1223 1224 INV
2 1 1222 1224 1225 AND
2 1 1225 1221 1226 XOR
2 1 1226 89 1227 XOR
2 1 1226 25 1228 XOR
1 1 1228 1229 INV
2 1 1227 1229 1230 AND
2 1 1230 1226 1231 XOR
2 1 1231 90 1232 XOR
2 1 1231 26 1233 XOR
1 1 1233 1234 INV
2 1 1232 1234 1235 AND
2 1 1235 1231 1236 XOR
2 1 1236 91 1237 XOR
2 1 1236 27 1238 XOR
1 1 1238 1239 INV
2 1 1237 1239 1240 AND
2 1 1240 1236 1241 XOR
2 1 1241 92 1242 XOR
2 1 1241 28 1243 XOR
1 1 1243 1244 INV
2 1 1242 1244 1245 AND
2 1 1245 1241 1246 XOR
2 1 1246 93 1247 XOR
2 1 1246 29 1248 XOR
1 1 1248 1249 INV
2 1 1247 1249 1250 AND
2 1 1250 1246 1251 XOR
2 1 1251 94 1252 XOR
2 1 1251 30 1253 XOR
1 1 1253 1254 INV
2 1 1252 1254 1255 AND
2 1 1255 1251 1256 XOR
2 1 1256 95 1257 XOR
2 1 1256 31 1258 XOR
1 1 1258 1259 INV
2 1 1257 1259 1260 AND
2 1 1260 1256 1261 XOR
2 1 1261 96 1262 XOR
2 1 1261 32 1263 XOR
1 1 1263 1264 INV
2 1 1262 1264 1265 AND
2 1 1265 1261 1266 XOR
2 1 1266 97 1267 XOR
2 1 1266 33 1268 XOR
1 1 1268 1269 INV
2 1 1267 1269 1270 AND
2 1 1270 1266 1271 XOR
2 1 1271 98 1272 XOR
2 1 1271 34 1273 XOR
1 1 1273 1274 INV
2 1 1272 1274 1275 AND
2 1 1275 1271 1276 XOR
2 1 1276 99 1277 XOR
2 1 1276 35 1278 XOR
1 1 1278 1279 INV
2 1 1277 1279 1280 AND
2 1 1280 1276 1281 XOR
2 1 1281 100 1282 XOR
2 1 1281 36 1283 XOR
1 1 1283 1284 INV
2 1 1282 1284 1285 AND
2 1 1285 1281 1286 XOR
2 1 1286 101 1287 XOR
2 1 1286 37 1288 XOR
1 1 1288 1289 INV
2 1 1287 1289 1290 AND
2 1 1290 1286 1291 XOR
2 1 1291 102 1292 XOR
2 1 1291 38 1293 XOR
1 1 1293 1294 INV
2 1 1292 1294 1295 AND
2 1 1295 1291 1296 XOR
2 1 1296 103 1297 XOR
2 1 1296 39 1298 XOR
1 1 1298 1299 INV
2 1 1297 1299 1300 AND
2 1 1300 1296 1301 XOR
2 1 1301 104 1302 XOR
2 1 1301 40 1303 XOR
1 1 1303 1304 INV
2 1 1302 1304 1305 AND
2 1 1305 1301 1306 XOR
2 1 1306 105 1307 XOR
2 1 1306 41 1308 XOR
1 1 1308 1309 INV
2 1 1307 1309 1310 AND
2 1 1310 1306 1311 XOR
2 1 1311 106 1312 XOR
2 1 1311 42 1313 XOR
1 1 1313 1314 INV
2 1 1312 1314 1315 AND
2 1 1315 1311 1316 XOR
2 1 1316 107 1317 XOR
2 1 1316 43 1318 XOR
1 1 1318 1319 INV
2 1 1317 1319 1320 AND
2 1 1320 1316 1321 XOR
2 1 1321 108 1322 XOR
2 1 1321 44 1323 XOR
1 1 1323 1324 INV
2 1 1322 1324 1325 AND
2 1 1325 1321 1326 XOR
2 1 1326 109 1327 XOR
2 1 1326 45 1328 XOR
1 1 1328 1329 INV
2 1 1327 1329 1330 AND
2 1 1330 1326 1331 XOR
2 1 1331 110 1332 XOR
2 1 1331 46 1333 XOR
1 1 1333 1334 INV
2 1 1332 1334 1335 AND
2 1 1335 1331 1336 XOR
2 1 1336 111 1337 XOR
2 1 1336 47 1338 XOR
1 1 1338 1339 INV
2 1 1337 1339 1340 AND
2 1 1340 1336 1341 XOR
2 1 1341 112 1342 XOR
2 1 1341 48 1343 XOR
1 1 1343 1344 INV
2 1 1342 1344 1345 AND
2 1 1345 1341 1346 XOR
2 1 1346 113 1347 XOR
2 1 1346 49 1348 XOR
1 1 1348 1349 INV
2 1 1347 1349 1350 AND
2 1 1350 1346 1351 XOR
2 1 1351 114 1352 XOR
2 1 1351 50 1353 XOR
1 1 1353 1354 INV
2 1 1352 1354 1355 AND
2 1 1355 1351 1356 XOR
2 1 1356 115 1357 XOR
2 1 1356 51 1358 XOR
1 1 1358 1359 INV
2 1 1357 1359 1360 AND
2 1 1360 1356 1361 XOR
1 1 1361 1362 INV
1 1 60 1368 INV
1 1 61 1369 INV
2 1 1368 1369 1370 AND
1 1 1370 1371 INV
1 1 1371 1372 INV
1 1 62 1373 INV
2 1 1372 1373 1374 AND
1 1 1374 1375 INV
1 1 1375 1376 INV
1 1 58 1377 INV
1 1 59 1378 INV
2 1 1377 1378 1379 AND
1 1 1379 1380 INV
1 1 1380 1381 INV
1 1 56 1382 INV
1 1 57 1383 INV
2 1 1382 1383 1384 AND
1 1 1384 1385 INV
1 1 1385 1386 INV
2 1 1381 1386 1387 AND
1 1 1387 1388 INV
1 1 1388 1389 INV
1 1 54 1390 INV
1 1 55 1391 INV
2 1 1390 1391 1392 AND
1 1 1392 1393 INV
1 1 1393 1394 INV
1 1 52 1395 INV
2 1 1395 116 128 AND
2 1 128 117 131 XOR
2 1 131 53 180 XOR
2 1 179 180 181 XOR
1 1 1395 766 INV
1 1 128 129 INV
2 1 129 53 130 XOR
2 1 130 131 132 AND
2 1 132 129 133 XOR
2 1 133 118 135 XOR
1 1 135 136 INV
2 1 136 54 184 XOR
2 1 133 54 134 XOR
2 1 134 136 137 AND
2 1 137 133 138 XOR
2 1 138 55 139 XOR
2 1 138 119 140 XOR
1 1 140 141 INV
2 1 139 141 142 AND
2 1 141 55 188 XOR
2 1 142 138 143 XOR
2 1 143 56 144 XOR
2 1 143 120 145 XOR
1 1 145 146 INV
2 1 146 56 192 XOR
2 1 144 146 147 AND