-
Notifications
You must be signed in to change notification settings - Fork 2
/
FP-i2f.txt
7142 lines (7139 loc) · 151 KB
/
FP-i2f.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
7136 7200
1 64
1 64
1 1 62 5234 INV
1 1 63 5235 INV
1 1 5235 5213 INV
2 1 5213 5234 5214 AND
1 1 5214 5215 INV
1 1 5215 5216 INV
2 1 5234 5235 5236 AND
1 1 5236 5237 INV
1 1 5237 5238 INV
1 1 60 5239 INV
1 1 61 5240 INV
2 1 5239 5240 5241 AND
1 1 5241 5242 INV
1 1 5242 5243 INV
2 1 5216 5243 5217 AND
1 1 5217 5218 INV
1 1 5218 5219 INV
2 1 5238 5243 5244 AND
1 1 5244 5245 INV
1 1 5245 5246 INV
1 1 58 5247 INV
1 1 59 5248 INV
2 1 5247 5248 5249 AND
1 1 5249 5250 INV
1 1 5250 5251 INV
1 1 56 5252 INV
1 1 57 5253 INV
2 1 5252 5253 5254 AND
1 1 5254 5255 INV
1 1 5255 5256 INV
2 1 5251 5256 5257 AND
1 1 5257 5258 INV
1 1 5258 5259 INV
2 1 5219 5259 5220 AND
1 1 5220 5221 INV
1 1 5221 5222 INV
2 1 5246 5259 5260 AND
1 1 5260 5261 INV
1 1 5261 5262 INV
1 1 54 5263 INV
1 1 55 5264 INV
2 1 5263 5264 5265 AND
1 1 5265 5266 INV
1 1 5266 5267 INV
1 1 52 5268 INV
1 1 53 5269 INV
2 1 5268 5269 5270 AND
1 1 5270 5271 INV
1 1 5271 5272 INV
2 1 5267 5272 5273 AND
1 1 5273 5274 INV
1 1 5274 5275 INV
1 1 50 5276 INV
1 1 51 5277 INV
2 1 5276 5277 5278 AND
1 1 5278 5279 INV
1 1 5279 5280 INV
1 1 48 5281 INV
1 1 49 5282 INV
2 1 5281 5282 5283 AND
1 1 5283 5284 INV
1 1 5284 5285 INV
2 1 5280 5285 5286 AND
1 1 5286 5287 INV
1 1 5287 5288 INV
2 1 5275 5288 5289 AND
1 1 5289 5290 INV
1 1 5290 5291 INV
2 1 5222 5291 5223 AND
1 1 5223 5224 INV
1 1 5224 5225 INV
2 1 5262 5291 5292 AND
1 1 5292 5293 INV
1 1 5293 5294 INV
1 1 46 5295 INV
1 1 47 5296 INV
2 1 5295 5296 5297 AND
1 1 5297 5298 INV
1 1 5298 5299 INV
1 1 44 5300 INV
1 1 45 5301 INV
2 1 5300 5301 5302 AND
1 1 5302 5303 INV
1 1 5303 5304 INV
2 1 5299 5304 5305 AND
1 1 5305 5306 INV
1 1 5306 5307 INV
1 1 42 5308 INV
1 1 43 5309 INV
2 1 5308 5309 5310 AND
1 1 5310 5311 INV
1 1 5311 5312 INV
1 1 40 5313 INV
1 1 41 5314 INV
2 1 5313 5314 5315 AND
1 1 5315 5316 INV
1 1 5316 5317 INV
2 1 5312 5317 5318 AND
1 1 5318 5319 INV
1 1 5319 5320 INV
2 1 5307 5320 5321 AND
1 1 5321 5322 INV
1 1 5322 5323 INV
1 1 38 5324 INV
1 1 39 5325 INV
2 1 5324 5325 5326 AND
1 1 5326 5327 INV
1 1 5327 5328 INV
1 1 36 5329 INV
1 1 37 5330 INV
2 1 5329 5330 5331 AND
1 1 5331 5332 INV
1 1 5332 5333 INV
2 1 5328 5333 5334 AND
1 1 5334 5335 INV
1 1 5335 5336 INV
1 1 34 5337 INV
1 1 35 5338 INV
2 1 5337 5338 5339 AND
1 1 5339 5340 INV
1 1 5340 5341 INV
1 1 32 5342 INV
1 1 33 5343 INV
2 1 5342 5343 5344 AND
1 1 5344 5345 INV
1 1 5345 5346 INV
2 1 5341 5346 5347 AND
1 1 5347 5348 INV
1 1 5348 5349 INV
2 1 5336 5349 5350 AND
1 1 5350 5351 INV
1 1 5351 5352 INV
2 1 5323 5352 5353 AND
1 1 5353 5354 INV
1 1 5354 5355 INV
2 1 5225 5355 5226 AND
1 1 5226 5227 INV
1 1 5227 5228 INV
2 1 5294 5355 5356 AND
1 1 5356 5357 INV
1 1 5357 5358 INV
1 1 30 5359 INV
1 1 31 5360 INV
2 1 5359 5360 5361 AND
1 1 5361 5362 INV
1 1 5362 5363 INV
1 1 28 5364 INV
1 1 29 5365 INV
2 1 5364 5365 5366 AND
1 1 5366 5367 INV
1 1 5367 5368 INV
2 1 5363 5368 5369 AND
1 1 5369 5370 INV
1 1 5370 5371 INV
1 1 26 5372 INV
1 1 27 5373 INV
2 1 5372 5373 5374 AND
1 1 5374 5375 INV
1 1 5375 5376 INV
1 1 24 5377 INV
1 1 25 5378 INV
2 1 5377 5378 5379 AND
1 1 5379 5380 INV
1 1 5380 5381 INV
2 1 5376 5381 5382 AND
1 1 5382 5383 INV
1 1 5383 5384 INV
2 1 5371 5384 5385 AND
1 1 5385 5386 INV
1 1 5386 5387 INV
1 1 22 5388 INV
1 1 23 5389 INV
2 1 5388 5389 5390 AND
1 1 5390 5391 INV
1 1 5391 5392 INV
1 1 20 5393 INV
1 1 21 5394 INV
2 1 5393 5394 5395 AND
1 1 5395 5396 INV
1 1 5396 5397 INV
2 1 5392 5397 5398 AND
1 1 5398 5399 INV
1 1 5399 5400 INV
1 1 18 5401 INV
1 1 19 5402 INV
2 1 5401 5402 5403 AND
1 1 5403 5404 INV
1 1 5404 5405 INV
1 1 16 5406 INV
1 1 17 5407 INV
2 1 5406 5407 5408 AND
1 1 5408 5409 INV
1 1 5409 5410 INV
2 1 5405 5410 5411 AND
1 1 5411 5412 INV
1 1 5412 5413 INV
2 1 5400 5413 5414 AND
1 1 5414 5415 INV
1 1 5415 5416 INV
2 1 5387 5416 5417 AND
1 1 5417 5418 INV
1 1 5418 5419 INV
1 1 14 5420 INV
1 1 15 5421 INV
2 1 5420 5421 5422 AND
1 1 5422 5423 INV
1 1 5423 5424 INV
1 1 12 5425 INV
1 1 13 5426 INV
2 1 5425 5426 5427 AND
1 1 5427 5428 INV
1 1 5428 5429 INV
2 1 5424 5429 5430 AND
1 1 5430 5431 INV
1 1 5431 5432 INV
1 1 10 5433 INV
1 1 11 5434 INV
2 1 5433 5434 5435 AND
1 1 5435 5436 INV
1 1 5436 5437 INV
1 1 8 5438 INV
1 1 9 5439 INV
2 1 5438 5439 5440 AND
1 1 5440 5441 INV
1 1 5441 5442 INV
2 1 5437 5442 5443 AND
1 1 5443 5444 INV
1 1 5444 5445 INV
2 1 5432 5445 5446 AND
1 1 5446 5447 INV
1 1 5447 5448 INV
1 1 6 5449 INV
1 1 7 5450 INV
2 1 5449 5450 5451 AND
1 1 5451 5452 INV
1 1 5452 5453 INV
1 1 4 5454 INV
1 1 5 5455 INV
2 1 5454 5455 5456 AND
1 1 5456 5457 INV
1 1 5457 5458 INV
2 1 5453 5458 5459 AND
1 1 5459 5460 INV
1 1 5460 5461 INV
1 1 2 5462 INV
1 1 3 5463 INV
2 1 5462 5463 5464 AND
1 1 5464 5465 INV
1 1 5465 5466 INV
1 1 0 5467 INV
1 1 1 5468 INV
2 1 5467 5468 668 XOR
2 1 668 1 669 XOR
2 1 5235 669 670 AND
2 1 668 670 671 XOR
2 1 671 0 1223 XOR
2 1 5467 5468 5469 AND
2 1 5469 5462 683 XOR
2 1 683 2 684 XOR
2 1 5235 684 685 AND
2 1 683 685 686 XOR
2 1 671 686 853 XOR
2 1 5469 5462 64 AND
2 1 64 5463 699 XOR
2 1 699 3 700 XOR
2 1 5235 700 701 AND
2 1 699 701 702 XOR
2 1 64 5463 65 AND
2 1 65 5454 714 XOR
2 1 714 4 715 XOR
2 1 65 5454 66 AND
2 1 66 5455 730 XOR
2 1 730 5 731 XOR
2 1 66 5455 67 AND
2 1 67 5449 745 XOR
2 1 745 6 746 XOR
2 1 67 5449 68 AND
2 1 68 5450 761 XOR
2 1 761 7 762 XOR
2 1 5235 762 763 AND
2 1 761 763 764 XOR
2 1 68 5450 69 AND
2 1 69 5438 554 XOR
2 1 554 8 555 XOR
2 1 5235 555 556 AND
2 1 554 556 557 XOR
2 1 557 764 796 XOR
2 1 69 5438 70 AND
2 1 70 5439 71 AND
2 1 5433 71 72 XOR
2 1 72 10 73 XOR
2 1 70 5439 620 XOR
2 1 620 9 621 XOR
2 1 5433 71 76 AND
2 1 76 5434 604 XOR
2 1 604 11 605 XOR
2 1 76 5434 77 AND
2 1 77 5425 78 AND
2 1 78 5426 584 XOR
2 1 584 13 585 XOR
2 1 78 5426 79 AND
2 1 79 5420 574 XOR
2 1 574 14 575 XOR
2 1 5235 575 576 AND
2 1 574 576 577 XOR
2 1 79 5420 80 AND
2 1 80 5421 81 AND
2 1 81 5406 486 XOR
2 1 486 16 487 XOR
2 1 81 5406 82 AND
2 1 82 5407 479 XOR
2 1 80 5421 564 XOR
2 1 564 15 565 XOR
2 1 5235 565 566 AND
2 1 564 566 567 XOR
2 1 5235 487 488 AND
2 1 486 488 489 XOR
2 1 567 577 1318 XOR
2 1 489 567 1338 XOR
2 1 77 5425 594 XOR
2 1 594 12 595 XOR
2 1 479 17 480 XOR
2 1 5235 480 481 AND
2 1 479 481 482 XOR
2 1 482 489 1362 XOR
2 1 82 5407 83 AND
2 1 83 5401 472 XOR
2 1 472 18 473 XOR
2 1 5235 473 474 AND
2 1 472 474 475 XOR
2 1 475 482 1394 XOR
2 1 83 5401 84 AND
2 1 84 5402 465 XOR
2 1 465 19 466 XOR
2 1 5235 466 467 AND
2 1 465 467 468 XOR
2 1 468 475 1413 XOR
2 1 84 5402 85 AND
2 1 85 5393 458 XOR
2 1 458 20 459 XOR
2 1 5235 459 460 AND
2 1 458 460 461 XOR
2 1 461 468 1433 XOR
2 1 85 5393 86 AND
2 1 86 5394 451 XOR
2 1 451 21 452 XOR
2 1 5235 452 453 AND
2 1 451 453 454 XOR
2 1 454 461 1452 XOR
2 1 86 5394 87 AND
2 1 87 5388 444 XOR
2 1 444 22 445 XOR
2 1 5235 445 446 AND
2 1 444 446 447 XOR
2 1 447 454 1475 XOR
2 1 87 5388 88 AND
2 1 88 5389 437 XOR
2 1 437 23 438 XOR
2 1 5235 438 439 AND
2 1 88 5389 89 AND
2 1 437 439 440 XOR
2 1 440 447 1494 XOR
2 1 89 5377 381 XOR
2 1 381 24 382 XOR
2 1 89 5377 90 AND
2 1 90 5378 91 AND
2 1 91 5372 423 XOR
2 1 423 26 424 XOR
2 1 5235 424 425 AND
2 1 423 425 426 XOR
2 1 90 5378 430 XOR
2 1 430 25 431 XOR
2 1 5235 431 432 AND
2 1 430 432 433 XOR
2 1 426 433 1565 XOR
2 1 5235 73 74 AND
2 1 72 74 75 XOR
2 1 5235 382 383 AND
2 1 381 383 384 XOR
2 1 384 440 1514 XOR
2 1 384 433 1534 XOR
2 1 5235 585 586 AND
2 1 584 586 587 XOR
2 1 577 587 1299 XOR
2 1 5235 595 596 AND
2 1 594 596 597 XOR
2 1 5235 605 606 AND
2 1 604 606 607 XOR
2 1 75 607 1199 XOR
2 1 5235 621 622 AND
2 1 620 622 623 XOR
2 1 75 623 776 XOR
2 1 5235 715 716 AND
2 1 714 716 717 XOR
2 1 702 717 824 XOR
2 1 5235 731 732 AND
2 1 730 732 733 XOR
2 1 5235 746 747 AND
2 1 745 747 748 XOR
2 1 733 748 821 XOR
2 1 557 623 1202 XOR
2 1 748 764 1208 XOR
2 1 717 733 1211 XOR
2 1 686 702 1220 XOR
2 1 597 607 1240 XOR
2 1 587 597 1267 XOR
2 1 91 5372 92 AND
2 1 92 5373 93 AND
2 1 93 5364 409 XOR
2 1 409 28 410 XOR
2 1 5235 410 411 AND
2 1 409 411 412 XOR
2 1 93 5364 94 AND
2 1 94 5365 402 XOR
2 1 402 29 403 XOR
2 1 94 5365 95 AND
2 1 95 5359 96 AND
2 1 96 5360 388 XOR
2 1 95 5359 395 XOR
2 1 395 30 396 XOR
2 1 388 31 389 XOR
2 1 96 5360 97 AND
2 1 97 5342 253 XOR
2 1 253 32 254 XOR
2 1 5235 254 255 AND
2 1 253 255 256 XOR
2 1 256 0 659 XOR
1 1 256 257 INV
2 1 97 5342 98 AND
2 1 98 5343 249 XOR
2 1 249 33 250 XOR
2 1 98 5343 99 AND
2 1 99 5337 245 XOR
2 1 245 34 246 XOR
2 1 5235 246 247 AND
2 1 245 247 248 XOR
2 1 99 5337 100 AND
2 1 100 5338 101 AND
2 1 101 5329 102 AND
2 1 102 5330 103 AND
2 1 103 5324 104 AND
2 1 103 5324 229 XOR
2 1 229 38 230 XOR
2 1 102 5330 233 XOR
2 1 104 5325 105 AND
2 1 105 5313 106 AND
2 1 106 5314 107 AND
2 1 107 5308 108 AND
2 1 108 5309 109 AND
2 1 109 5300 110 AND
2 1 110 5301 111 AND
2 1 111 5295 112 AND
2 1 112 5296 113 AND
2 1 113 5281 189 XOR
2 1 189 48 190 XOR
2 1 5235 190 191 AND
2 1 189 191 192 XOR
2 1 192 489 490 XOR
2 1 113 5281 114 AND
2 1 114 5282 185 XOR
2 1 185 49 186 XOR
2 1 5235 186 187 AND
2 1 185 187 188 XOR
2 1 188 192 2032 XOR
2 1 188 482 483 XOR
2 1 114 5282 115 AND
2 1 115 5276 181 XOR
2 1 181 50 182 XOR
2 1 5235 182 183 AND
2 1 181 183 184 XOR
2 1 184 475 476 XOR
2 1 184 188 2057 XOR
2 1 115 5276 116 AND
2 1 116 5277 177 XOR
2 1 177 51 178 XOR
2 1 5235 178 179 AND
2 1 177 179 180 XOR
2 1 180 468 469 XOR
2 1 180 184 2075 XOR
2 1 116 5277 117 AND
2 1 117 5268 118 AND
2 1 118 5269 119 AND
2 1 119 5263 165 XOR
2 1 119 5263 120 AND
2 1 120 5264 121 AND
2 1 5252 121 122 XOR
2 1 122 56 123 XOR
2 1 5235 123 124 AND
2 1 122 124 125 XOR
2 1 120 5264 161 XOR
2 1 161 55 162 XOR
2 1 5235 162 163 AND
2 1 161 163 164 XOR
2 1 125 164 2171 XOR
2 1 5252 121 126 AND
2 1 126 5253 127 AND
2 1 127 5247 128 AND
2 1 128 5248 129 AND
2 1 129 5239 130 AND
2 1 130 5240 131 AND
2 1 131 5234 132 AND
2 1 131 5234 137 XOR
2 1 137 62 138 XOR
2 1 130 5240 141 XOR
2 1 141 61 142 XOR
2 1 5235 138 139 AND
2 1 137 139 140 XOR
2 1 5235 142 143 AND
2 1 141 143 144 XOR
2 1 140 144 2294 XOR
2 1 129 5239 145 XOR
2 1 145 60 146 XOR
2 1 5235 146 147 AND
2 1 145 147 148 XOR
2 1 144 148 2272 XOR
2 1 148 412 413 XOR
2 1 128 5248 149 XOR
2 1 149 59 150 XOR
2 1 5235 150 151 AND
2 1 149 151 152 XOR
2 1 148 152 2254 XOR
2 1 127 5247 153 XOR
2 1 153 58 154 XOR
2 1 5235 154 155 AND
2 1 153 155 156 XOR
2 1 156 426 427 XOR
2 1 152 156 2235 XOR
2 1 126 5253 157 XOR
2 1 157 57 158 XOR
2 1 5235 158 159 AND
2 1 157 159 160 XOR
2 1 125 160 2189 XOR
2 1 156 160 2217 XOR
2 1 160 433 434 XOR
2 1 165 54 166 XOR
2 1 5235 166 167 AND
2 1 165 167 168 XOR
2 1 164 168 2152 XOR
2 1 168 447 448 XOR
2 1 118 5269 169 XOR
2 1 169 53 170 XOR
2 1 5235 170 171 AND
2 1 169 171 172 XOR
2 1 168 172 2134 XOR
2 1 117 5268 173 XOR
2 1 173 52 174 XOR
2 1 5235 174 175 AND
2 1 173 175 176 XOR
2 1 176 180 2094 XOR
2 1 172 176 2112 XOR
2 1 110 5301 201 XOR
2 1 201 45 202 XOR
2 1 5235 202 203 AND
2 1 201 203 204 XOR
2 1 204 587 588 XOR
2 1 109 5300 205 XOR
2 1 205 44 206 XOR
2 1 5235 206 207 AND
2 1 108 5309 209 XOR
2 1 209 43 210 XOR
2 1 5235 210 211 AND
2 1 209 211 212 XOR
2 1 212 607 608 XOR
2 1 107 5308 213 XOR
2 1 213 42 214 XOR
2 1 5235 214 215 AND
2 1 106 5314 217 XOR
2 1 217 41 218 XOR
2 1 5235 218 219 AND
2 1 217 219 220 XOR
2 1 220 623 624 XOR
2 1 105 5313 221 XOR
2 1 221 40 222 XOR
2 1 5235 222 223 AND
2 1 221 223 224 XOR
2 1 220 224 1866 XOR
2 1 224 557 558 XOR
2 1 104 5325 225 XOR
2 1 225 39 226 XOR
2 1 5235 226 227 AND
2 1 225 227 228 XOR
2 1 228 764 765 XOR
2 1 224 228 1846 XOR
2 1 233 37 234 XOR
2 1 101 5329 237 XOR
2 1 237 36 238 XOR
2 1 100 5338 241 XOR
2 1 241 35 242 XOR
2 1 205 207 208 XOR
2 1 208 212 1937 XOR
2 1 208 597 598 XOR
2 1 164 440 441 XOR
2 1 111 5295 197 XOR
2 1 197 46 198 XOR
2 1 5235 198 199 AND
2 1 197 199 200 XOR
2 1 200 577 578 XOR
2 1 200 204 1977 XOR
2 1 172 454 455 XOR
2 1 5235 230 231 AND
2 1 5235 389 390 AND
2 1 388 390 391 XOR
2 1 256 391 1673 XOR
2 1 5235 396 397 AND
2 1 395 397 398 XOR
2 1 391 398 1655 XOR
2 1 140 398 399 XOR
2 1 112 5296 193 XOR
2 1 193 47 194 XOR
2 1 5235 194 195 AND
2 1 193 195 196 XOR
2 1 192 196 2014 XOR
2 1 196 567 568 XOR
2 1 196 200 1995 XOR
2 1 5235 234 235 AND
2 1 233 235 236 XOR
2 1 236 733 734 XOR
2 1 5235 238 239 AND
2 1 237 239 240 XOR
2 1 240 717 718 XOR
2 1 236 240 1781 XOR
2 1 229 231 232 XOR
2 1 232 748 749 XOR
2 1 228 232 1825 XOR
2 1 232 236 1805 XOR
2 1 125 384 385 XOR
2 1 5235 403 404 AND
2 1 5235 132 133 XOR
2 1 133 63 134 XOR
2 1 204 208 1955 XOR
2 1 5235 242 243 AND
2 1 241 243 244 XOR
2 1 244 702 703 XOR
2 1 240 244 1761 XOR
2 1 176 461 462 XOR
2 1 5235 134 135 AND
2 1 244 248 1740 XOR
2 1 248 686 687 XOR
2 1 5235 250 251 AND
2 1 249 251 252 XOR
2 1 252 256 1693 XOR
2 1 1693 257 258 AND
2 1 258 256 259 XOR
1 1 259 261 INV
2 1 248 259 260 XOR
2 1 260 261 262 AND
2 1 262 259 263 XOR
2 1 244 263 264 XOR
1 1 263 265 INV
2 1 264 265 266 AND
2 1 266 263 267 XOR
2 1 240 267 268 XOR
1 1 267 269 INV
2 1 268 269 270 AND
2 1 270 267 271 XOR
2 1 236 271 272 XOR
1 1 271 273 INV
2 1 272 273 274 AND
2 1 274 271 275 XOR
1 1 275 277 INV
2 1 232 275 276 XOR
2 1 276 277 278 AND
2 1 278 275 279 XOR
2 1 228 279 280 XOR
1 1 279 281 INV
2 1 280 281 282 AND
2 1 282 279 283 XOR
2 1 224 283 284 XOR
1 1 283 285 INV
2 1 284 285 286 AND
2 1 286 283 287 XOR
1 1 287 289 INV
2 1 220 287 288 XOR
2 1 288 289 290 AND
2 1 290 287 291 XOR
1 1 291 293 INV
2 1 402 404 405 XOR
2 1 144 405 406 XOR
2 1 405 412 1617 XOR
2 1 248 252 1720 XOR
2 1 252 671 672 XOR
2 1 398 405 1638 XOR
2 1 213 215 216 XOR
2 1 212 216 1918 XOR
2 1 216 291 292 XOR
2 1 75 216 614 XOR
2 1 216 220 1900 XOR
2 1 292 293 294 AND
2 1 294 291 295 XOR
1 1 295 297 INV
2 1 212 295 296 XOR
2 1 296 297 298 AND
2 1 298 295 299 XOR
2 1 208 299 300 XOR
1 1 299 301 INV
2 1 300 301 302 AND
2 1 302 299 303 XOR
1 1 303 305 INV
2 1 204 303 304 XOR
2 1 304 305 306 AND
2 1 306 303 307 XOR
1 1 307 309 INV
2 1 200 307 308 XOR
2 1 308 309 310 AND
2 1 310 307 311 XOR
1 1 311 313 INV
2 1 196 311 312 XOR
2 1 312 313 314 AND
2 1 314 311 315 XOR
1 1 315 317 INV
2 1 192 315 316 XOR
2 1 316 317 318 AND
2 1 318 315 319 XOR
1 1 319 321 INV
2 1 188 319 320 XOR
2 1 320 321 322 AND
2 1 322 319 323 XOR
2 1 184 323 324 XOR
1 1 323 325 INV
2 1 324 325 326 AND
2 1 326 323 327 XOR
2 1 180 327 328 XOR
1 1 327 329 INV
2 1 328 329 330 AND
2 1 330 327 331 XOR
2 1 176 331 332 XOR
1 1 331 333 INV
2 1 332 333 334 AND
2 1 334 331 335 XOR
1 1 335 337 INV
2 1 172 335 336 XOR
2 1 336 337 338 AND
2 1 338 335 339 XOR
1 1 339 341 INV
2 1 168 339 340 XOR
2 1 340 341 342 AND
2 1 342 339 343 XOR
2 1 164 343 344 XOR
1 1 343 345 INV
2 1 344 345 346 AND
2 1 346 343 347 XOR
2 1 125 347 348 XOR
1 1 347 349 INV
2 1 348 349 350 AND
2 1 350 347 351 XOR
1 1 351 353 INV
2 1 160 351 352 XOR
2 1 352 353 354 AND
2 1 354 351 355 XOR
2 1 156 355 356 XOR
1 1 355 357 INV
2 1 356 357 358 AND
2 1 358 355 359 XOR
1 1 359 361 INV
2 1 152 359 360 XOR
2 1 360 361 362 AND
2 1 362 359 363 XOR
1 1 363 365 INV
2 1 148 363 364 XOR
2 1 364 365 366 AND
2 1 366 363 367 XOR
2 1 144 367 368 XOR
1 1 367 369 INV
2 1 368 369 370 AND
2 1 370 367 371 XOR
1 1 371 373 INV
2 1 140 371 372 XOR
2 1 372 373 374 AND
2 1 374 371 375 XOR
1 1 375 377 INV
2 1 92 5373 416 XOR
2 1 416 27 417 XOR
2 1 5235 417 418 AND
2 1 416 418 419 XOR
2 1 419 426 1582 XOR
2 1 412 419 1600 XOR
2 1 152 419 420 XOR
2 1 133 135 136 XOR
2 1 136 140 2312 XOR
2 1 136 391 392 XOR
2 1 136 375 376 XOR
2 1 376 377 378 AND
2 1 378 375 379 XOR
1 1 379 380 INV
2 1 380 420 421 AND
2 1 152 421 422 XOR
2 1 380 765 766 AND
2 1 228 766 767 XOR
2 1 380 598 599 AND
2 1 380 703 704 AND
2 1 380 385 386 AND
2 1 380 469 470 AND
2 1 380 718 719 AND
2 1 380 427 428 AND
2 1 380 734 735 AND
2 1 236 735 736 XOR
2 1 380 448 449 AND
2 1 380 399 400 AND
2 1 140 400 401 XOR
2 1 380 568 569 AND
2 1 196 569 570 XOR
2 1 380 578 579 AND
2 1 200 579 580 XOR
2 1 401 580 581 XOR
2 1 380 608 609 AND
2 1 212 609 610 XOR
2 1 422 610 611 XOR
2 1 380 462 463 AND
2 1 380 659 660 AND
2 1 256 660 661 XOR
2 1 380 672 673 AND
2 1 252 673 674 XOR
2 1 125 386 387 XOR
2 1 380 392 393 AND
2 1 136 393 394 XOR
2 1 394 570 571 XOR
2 1 380 406 407 AND
2 1 380 558 559 AND
2 1 224 559 560 XOR
2 1 387 560 561 XOR
2 1 144 407 408 XOR
2 1 380 490 491 AND
2 1 192 491 492 XOR
1 1 492 494 INV
2 1 492 661 662 XOR
2 1 380 413 414 AND
2 1 148 414 415 XOR
2 1 380 588 589 AND
2 1 204 589 590 XOR
2 1 408 590 591 XOR
2 1 208 599 600 XOR
2 1 415 600 601 XOR
2 1 156 428 429 XOR
2 1 380 614 615 AND
2 1 216 615 616 XOR
2 1 429 616 617 XOR
2 1 380 624 625 AND
2 1 220 625 626 XOR
2 1 380 434 435 AND
2 1 160 435 436 XOR
2 1 436 626 627 XOR
2 1 380 441 442 AND
2 1 164 442 443 XOR
2 1 443 767 768 XOR
2 1 168 449 450 XOR
2 1 244 704 705 XOR
2 1 380 455 456 AND
2 1 172 456 457 XOR
2 1 176 463 464 XOR
2 1 380 687 688 AND
2 1 240 719 720 XOR
2 1 464 720 721 XOR
2 1 457 736 737 XOR
2 1 180 470 471 XOR
2 1 380 749 750 AND
2 1 232 750 751 XOR
2 1 450 751 752 XOR
2 1 471 705 706 XOR
2 1 380 476 477 AND
2 1 184 477 478 XOR
2 1 248 688 689 XOR
2 1 478 689 690 XOR
2 1 380 483 484 AND
2 1 188 484 485 XOR
2 1 485 492 493 XOR
2 1 485 674 675 XOR
2 1 493 494 495 AND
2 1 495 492 496 XOR
1 1 496 498 INV
2 1 478 496 497 XOR
2 1 497 498 499 AND
2 1 499 496 500 XOR
2 1 471 500 501 XOR
1 1 500 502 INV
2 1 501 502 503 AND
2 1 503 500 504 XOR
2 1 464 504 505 XOR
1 1 504 506 INV
2 1 505 506 507 AND
2 1 507 504 508 XOR
2 1 457 508 509 XOR
1 1 508 510 INV
2 1 509 510 511 AND
2 1 511 508 512 XOR
2 1 450 512 513 XOR
1 1 512 514 INV
2 1 513 514 515 AND
2 1 515 512 516 XOR
2 1 443 516 517 XOR
1 1 516 518 INV
2 1 517 518 519 AND
2 1 519 516 520 XOR
2 1 387 520 521 XOR
1 1 520 522 INV
2 1 521 522 523 AND
2 1 523 520 524 XOR
2 1 436 524 525 XOR
1 1 524 526 INV
2 1 525 526 527 AND
2 1 527 524 528 XOR
2 1 429 528 529 XOR
1 1 528 530 INV
2 1 529 530 531 AND
2 1 531 528 532 XOR
2 1 422 532 533 XOR
1 1 532 534 INV
2 1 533 534 535 AND
2 1 535 532 536 XOR
2 1 415 536 537 XOR
1 1 536 538 INV
2 1 537 538 539 AND
2 1 539 536 540 XOR
2 1 408 540 541 XOR
1 1 540 542 INV
2 1 541 542 543 AND
2 1 543 540 544 XOR
2 1 401 544 545 XOR
1 1 544 546 INV
2 1 545 546 547 AND
2 1 547 544 548 XOR
2 1 394 548 549 XOR
1 1 548 550 INV
2 1 549 550 551 AND
2 1 551 548 552 XOR
1 1 552 553 INV
2 1 553 675 676 AND
2 1 553 706 707 AND
2 1 471 707 708 XOR
2 1 553 617 618 AND
2 1 429 618 619 XOR
2 1 553 591 592 AND
2 1 408 592 593 XOR
2 1 553 571 572 AND
2 1 394 572 573 XOR
2 1 553 662 663 AND
2 1 492 663 664 XOR
2 1 485 676 677 XOR
2 1 553 690 691 AND
2 1 478 691 692 XOR
2 1 619 692 693 XOR
2 1 553 601 602 AND
2 1 553 752 753 AND
2 1 553 737 738 AND
2 1 457 738 739 XOR
2 1 553 627 628 AND
2 1 436 628 629 XOR
2 1 553 768 769 AND
2 1 443 769 770 XOR
2 1 573 770 771 XOR
2 1 415 602 603 XOR
2 1 629 677 678 XOR
2 1 593 739 740 XOR
2 1 450 753 754 XOR
2 1 553 611 612 AND
2 1 422 612 613 XOR
2 1 613 708 709 XOR
2 1 553 561 562 AND
2 1 387 562 563 XOR
2 1 563 629 630 XOR
2 1 563 664 665 XOR
1 1 563 631 INV
2 1 630 631 632 AND
2 1 563 632 633 XOR
2 1 619 633 634 XOR
1 1 633 635 INV
2 1 634 635 636 AND
2 1 636 633 637 XOR
1 1 637 639 INV
2 1 613 637 638 XOR
2 1 638 639 640 AND
2 1 640 637 641 XOR
2 1 603 641 642 XOR
1 1 641 643 INV
2 1 642 643 644 AND
2 1 644 641 645 XOR
1 1 645 647 INV
2 1 593 645 646 XOR
2 1 646 647 648 AND
2 1 648 645 649 XOR
1 1 649 651 INV
2 1 553 581 582 AND
2 1 401 582 583 XOR
2 1 583 754 755 XOR
2 1 583 649 650 XOR
2 1 650 651 652 AND
2 1 652 649 653 XOR
2 1 573 653 654 XOR
1 1 653 655 INV
2 1 654 655 656 AND
2 1 656 653 657 XOR
1 1 657 658 INV
2 1 658 755 756 AND
2 1 658 771 772 AND
2 1 573 772 773 XOR
2 1 658 678 679 AND
2 1 629 679 680 XOR