samplefile2.txt

INPUT(1)
INPUT(2)
INPUT(3)
INPUT(4)
INPUT(5)
INPUT(6)
INPUT(7)
INPUT(8)
INPUT(9)
INPUT(10)
INPUT(11)
INPUT(12)
INPUT(13)
INPUT(14)
INPUT(15)
INPUT(16)
INPUT(17)
INPUT(18)
INPUT(19)
INPUT(20)
INPUT(21)
INPUT(22)
INPUT(23)
INPUT(24)
INPUT(25)
INPUT(26)
INPUT(27)
INPUT(28)
INPUT(29)
INPUT(30)
INPUT(31)
INPUT(32)
INPUT(33)
INPUT(34)
INPUT(35)
INPUT(36)
INPUT(37)
INPUT(38)
INPUT(39)
INPUT(40)
INPUT(41)
INPUT(42)
INPUT(43)
INPUT(44)
INPUT(45)
INPUT(46)
INPUT(47)
INPUT(48)
INPUT(49)
INPUT(50)
INPUT(51)
INPUT(52)
INPUT(53)
INPUT(54)
INPUT(55)
INPUT(56)
INPUT(57)
INPUT(58)
INPUT(59)
INPUT(60)
INPUT(61)
INPUT(62)
INPUT(63)
INPUT(64)
INPUT(65)
INPUT(66)
INPUT(67)
INPUT(68)
INPUT(69)
INPUT(70)
INPUT(71)
INPUT(72)
INPUT(73)
INPUT(74)
INPUT(75)
INPUT(76)
INPUT(77)
INPUT(78)
INPUT(79)
INPUT(80)
INPUT(81)
INPUT(82)
INPUT(83)
INPUT(84)
INPUT(85)
INPUT(86)
INPUT(87)
INPUT(88)
INPUT(89)
INPUT(90)
INPUT(91)
INPUT(92)
INPUT(93)
INPUT(94)
INPUT(95)
INPUT(96)
INPUT(97)
INPUT(98)
INPUT(99)
INPUT(100)
INPUT(101)
INPUT(102)
INPUT(103)
INPUT(104)
INPUT(105)
INPUT(106)
INPUT(107)
INPUT(108)
INPUT(109)
INPUT(110)
INPUT(111)
INPUT(112)
INPUT(113)
INPUT(114)
INPUT(115)
INPUT(116)
INPUT(117)
INPUT(118)
INPUT(119)
INPUT(120)
INPUT(121)
INPUT(122)
INPUT(123)
INPUT(124)
INPUT(125)
INPUT(126)
INPUT(127)
INPUT(128)
INPUT(129)
INPUT(130)
INPUT(131)
INPUT(132)
INPUT(133)
INPUT(134)
INPUT(135)
INPUT(136)
INPUT(137)
INPUT(138)
INPUT(139)
INPUT(140)
INPUT(141)
INPUT(142)
INPUT(143)
INPUT(144)
INPUT(145)
INPUT(146)
INPUT(147)
INPUT(148)
INPUT(149)
INPUT(150)
INPUT(151)
INPUT(152)
INPUT(153)
INPUT(154)
INPUT(155)
INPUT(156)
INPUT(157)

OUTPUT(2531)
OUTPUT(2532)
OUTPUT(2533)
OUTPUT(2534)
OUTPUT(2535)
OUTPUT(2536)
OUTPUT(2537)
OUTPUT(2538)
OUTPUT(2539)
OUTPUT(2540)
OUTPUT(2541)
OUTPUT(2542)
OUTPUT(2543)
OUTPUT(2544)
OUTPUT(2545)
OUTPUT(2546)
OUTPUT(2547)
OUTPUT(2548)
OUTPUT(2549)
OUTPUT(2550)
OUTPUT(2551)
OUTPUT(2552)
OUTPUT(2553)
OUTPUT(2554)
OUTPUT(2555)
OUTPUT(2556)
OUTPUT(2557)
OUTPUT(2558)
OUTPUT(2559)
OUTPUT(2560)
OUTPUT(2561)
OUTPUT(2562)
OUTPUT(2563)
OUTPUT(2564)
OUTPUT(2565)
OUTPUT(2566)
OUTPUT(2567)
OUTPUT(2568)
OUTPUT(2569)
OUTPUT(2570)
OUTPUT(2571)
OUTPUT(2572)
OUTPUT(2573)
OUTPUT(2574)
OUTPUT(2575)
OUTPUT(2576)
OUTPUT(2577)
OUTPUT(2578)
OUTPUT(2579)
OUTPUT(2580)
OUTPUT(2581)
OUTPUT(2582)
OUTPUT(2583)
OUTPUT(2584)
OUTPUT(2585)
OUTPUT(2586)
OUTPUT(2587)
OUTPUT(2588)
OUTPUT(2589)
OUTPUT(2590)
OUTPUT(2591)
OUTPUT(2592)
OUTPUT(2593)
OUTPUT(2594)

282 = AND(1, 3)
283 = NOT(118)
284 = NOT(127)
285 = AND(142, 141, 140, 139)
286 = NOT(282)
287 = AND(2, 11, 121)
288 = NOT(121)
291 = AND(29, 29)
292 = NOT(115)
295 = NOT(8)
298 = NOT(8)
301 = NOT(117)
313 = NOT(120)
325 = NOT(122)
329 = NOT(123)
335 = AND(9, 123)
336 = AND(106, 64, 76, 32)
339 = AND(96, 43, 86, 53)
342 = NOT(117)
354 = NOT(120)
366 = NOT(125)
370 = NOT(126)
374 = NOT(145)
386 = NOT(146)
398 = NOT(148)
399 = NOT(149)
400 = NOT(150)
401 = NOT(151)
402 = NOT(152)
403 = NOT(153)
404 = NOT(156)
405 = NOT(145)
417 = NOT(146)
429 = NOT(12)
435 = NOT(12)
442 = NOT(157)
443 = AND(7, 121)
447 = NOT(128)
451 = NOT(129)
455 = NOT(130)
459 = NOT(131)
463 = NOT(132)
467 = NOT(133)
471 = NOT(134)
475 = NOT(135)
479 = NOT(136)
485 = NOT(23)
491 = NOT(23)
497 = NOT(138)
503 = NOT(139)
507 = NOT(140)
511 = NOT(141)
515 = NOT(142)
519 = NOT(143)
522 = NOT(144)
525 = NOT(154)
526 = NOT(155)
527 = NOT(126)
530 = NOT(125)
533 = NOT(128)
536 = NOT(130)
539 = NOT(129)
542 = NOT(132)
545 = NOT(131)
548 = NOT(134)
551 = NOT(133)
554 = NOT(136)
557 = NOT(135)
560 = NOT(138)
563 = NOT(140)
566 = NOT(139)
569 = NOT(142)
572 = NOT(141)
575 = NOT(144)
578 = NOT(143)
581 = NOT(291)
584 = NAND(149, 398)
585 = NAND(148, 399)
586 = NAND(151, 400)
587 = NAND(150, 401)
588 = NAND(153, 402)
589 = NAND(152, 403)
590 = NAND(155, 525)
591 = NAND(154, 526)
592 = AND(147, 443)
593 = NOT(336)
594 = NOT(339)
595 = AND(339, 336)
598 = NOT(295)
603 = NOT(301)
614 = NOT(313)
625 = AND(62, 301, 313)
626 = AND(52, 301, 313)
627 = AND(61, 301, 313)
628 = AND(60, 301, 313)
629 = AND(59, 301, 313)
630 = AND(9, 329)
631 = NOT(295)
636 = NOT(342)
647 = NOT(354)
658 = AND(58, 342, 354)
659 = AND(57, 342, 354)
660 = AND(56, 342, 354)
661 = AND(55, 342, 354)
662 = AND(54, 342, 354)
663 = NOT(374)
674 = NOT(386)
685 = AND(90, 374, 386)
686 = AND(89, 374, 386)
687 = AND(88, 374, 386)
688 = AND(87, 374, 386)
689 = AND(374, 386)
690 = NAND(584, 585)
694 = NAND(586, 587)
698 = NAND(588, 589)
701 = NOT(533)
702 = NAND(533, 404)
703 = NOT(536)
704 = NOT(539)
705 = NOT(542)
706 = NOT(545)
707 = NOT(405)
718 = NOT(417)
729 = AND(94, 405, 417)
730 = AND(85, 405, 417)
731 = AND(93, 405, 417)
732 = AND(92, 405, 417)
733 = AND(91, 405, 417)
734 = NOT(429)
739 = NOT(435)
745 = NOT(560)
746 = NAND(560, 442)
747 = NOT(563)
748 = NOT(566)
749 = NOT(569)
750 = NOT(572)
751 = NOT(298)
756 = NOT(298)
761 = NOT(485)
766 = NOT(491)
771 = NOT(527)
772 = NOT(530)
773 = NOT(548)
774 = NOT(551)
775 = NOT(554)
776 = NOT(557)
777 = NAND(590, 591)
780 = NOT(366)
783 = NOT(370)
786 = NOT(447)
789 = NOT(451)
792 = NOT(455)
795 = NOT(459)
798 = NOT(463)
801 = NOT(467)
804 = NOT(471)
807 = NOT(475)
810 = NOT(575)
811 = NOT(578)
812 = NOT(479)
815 = NOT(497)
818 = NOT(503)
821 = NOT(507)
824 = NOT(511)
827 = NOT(515)
830 = AND(147, 593)
831 = AND(119, 594)
832 = OR(630, 335)
833 = NAND(156, 701)
834 = NAND(539, 703)
835 = NAND(536, 704)
836 = NAND(545, 705)
837 = NAND(542, 706)
838 = NAND(157, 745)
839 = NAND(566, 747)
840 = NAND(563, 748)
841 = NAND(572, 749)
842 = NAND(569, 750)
843 = NAND(530, 771)
844 = NAND(527, 772)
845 = NAND(551, 773)
846 = NAND(548, 774)
847 = NAND(557, 775)
848 = NAND(554, 776)
849 = NAND(578, 810)
850 = NAND(575, 811)
851 = NOT(830)
852 = NOT(831)
853 = AND(73, 603, 614)
854 = AND(41, 301, 614)
855 = AND(51, 603, 313)
856 = AND(63, 603, 614)
857 = AND(31, 301, 614)
858 = AND(42, 603, 313)
859 = AND(72, 603, 614)
860 = AND(40, 301, 614)
861 = AND(50, 603, 313)
862 = AND(71, 603, 614)
863 = AND(39, 301, 614)
864 = AND(49, 603, 313)
865 = AND(70, 603, 614)
866 = AND(38, 301, 614)
867 = AND(48, 603, 313)
868 = AND(69, 636, 647)
869 = AND(37, 342, 647)
870 = AND(47, 636, 354)
871 = AND(68, 636, 647)
872 = AND(36, 342, 647)
873 = AND(46, 636, 354)
874 = AND(67, 636, 647)
875 = AND(35, 342, 647)
876 = AND(636, 354)
877 = AND(66, 636, 647)
878 = AND(34, 342, 647)
879 = AND(45, 636, 354)
880 = AND(65, 636, 647)
881 = AND(33, 342, 647)
882 = AND(44, 636, 354)
883 = AND(110, 663, 674)
884 = AND(80, 374, 674)
885 = AND(100, 663, 386)
886 = AND(109, 663, 674)
887 = AND(79, 374, 674)
888 = AND(99, 663, 386)
889 = AND(108, 663, 674)
890 = AND(78, 374, 674)
891 = AND(98, 663, 386)
892 = AND(107, 663, 674)
893 = AND(77, 374, 674)
894 = AND(97, 663, 386)
895 = AND(663, 674)
896 = AND(374, 674)
897 = AND(663, 386)
898 = NOT(690)
901 = NOT(694)
904 = NAND(833, 702)
908 = NAND(834, 835)
912 = NAND(836, 837)
915 = NOT(698)
918 = NOT(698)
921 = NOT(780)
922 = NOT(783)
923 = NOT(786)
924 = NOT(789)
925 = NOT(792)
926 = NOT(795)
927 = NOT(798)
928 = NOT(801)
929 = NOT(804)
930 = NOT(807)
931 = AND(114, 707, 718)
932 = AND(84, 405, 718)
933 = AND(104, 707, 417)
934 = AND(105, 707, 718)
935 = AND(75, 405, 718)
936 = AND(95, 707, 417)
937 = AND(113, 707, 718)
938 = AND(83, 405, 718)
939 = AND(103, 707, 417)
940 = AND(112, 707, 718)
941 = AND(82, 405, 718)
942 = AND(102, 707, 417)
943 = AND(111, 707, 718)
944 = AND(81, 405, 718)
945 = AND(101, 707, 417)
946 = AND(13, 734)
947 = AND(4, 734)
948 = AND(14, 734)
949 = AND(5, 734)
950 = AND(15, 739)
951 = AND(16, 739)
952 = AND(17, 739)
953 = AND(6, 739)
954 = AND(18, 739)
955 = NAND(838, 746)
959 = NAND(839, 840)
963 = NAND(841, 842)
966 = AND(19, 761)
967 = AND(24, 761)
968 = AND(20, 761)
969 = AND(25, 761)
970 = AND(21, 766)
971 = AND(26, 766)
972 = AND(27, 766)
973 = AND(22, 766)
974 = NOT(812)
975 = NOT(815)
976 = NOT(818)
977 = NOT(821)
978 = NOT(824)
979 = NOT(827)
980 = NAND(843, 844)
983 = NOT(777)
984 = NAND(847, 848)
987 = NAND(845, 846)
990 = NAND(849, 850)
993 = AND(851, 852)
998 = OR(853, 854, 855, 625)
1002 = OR(856, 857, 858, 626)
1008 = OR(859, 860, 861, 627)
1014 = OR(862, 863, 864, 628)
1017 = OR(865, 866, 867, 629)
1021 = OR(868, 869, 870, 658)
1026 = OR(871, 872, 873, 659)
1030 = OR(874, 875, 876, 660)
1033 = OR(877, 878, 879, 661)
1036 = OR(880, 881, 882, 662)
1039 = OR(883, 884, 885, 685)
1044 = OR(886, 887, 888, 686)
1049 = OR(889, 890, 891, 687)
1053 = OR(892, 893, 894, 688)
1058 = OR(895, 896, 897, 689)
1062 = OR(934, 935, 936, 730)
1067 = OR(937, 938, 939, 731)
1072 = OR(940, 941, 942, 732)
1076 = OR(943, 944, 945, 733)
1079 = OR(931, 932, 933, 729)
1082 = NOT(904)
1085 = NOT(908)
1088 = NOT(915)
1089 = NOT(918)
1090 = NOT(912)
1093 = NOT(912)
1096 = AND(694, 690, 915)
1097 = AND(901, 898, 918)
1098 = NOT(955)
1101 = NOT(959)
1104 = NOT(963)
1107 = NOT(963)
1110 = NOT(990)
1111 = NOT(980)
1112 = NAND(980, 983)
1113 = NOT(984)
1114 = NOT(987)
1115 = AND(998, 122)
1116 = AND(1008, 122)
1117 = AND(1002, 122)
1118 = AND(288, 116, 28, 993)
1119 = AND(288, 116, 993, 286)
1120 = NOT(998)
1123 = NOT(1008)
1126 = AND(1002, 329)
1127 = AND(1008, 329)
1128 = AND(1021, 123)
1129 = NOT(998)
1132 = NOT(1002)
1137 = NOT(1008)
1144 = NOT(1014)
1148 = NOT(1017)
1152 = NOT(1021)
1159 = NOT(1026)
1166 = NOT(1030)
1171 = NOT(1033)
1176 = NOT(1036)
1181 = NAND(519, 1053)
1184 = NAND(522, 1058)
1187 = NOT(1072)
1190 = AND(1039, 284)
1193 = NOT(1044)
1196 = AND(898, 694, 1088)
1197 = AND(690, 901, 1089)
1198 = AND(1002, 429)
1199 = AND(1008, 429)
1200 = AND(1014, 429)
1201 = AND(1017, 429)
1202 = AND(1021, 435)
1203 = AND(1026, 435)
1204 = AND(1030, 435)
1205 = AND(1033, 435)
1206 = AND(1036, 435)
1207 = NOT(1079)
1208 = AND(1062, 485)
1209 = AND(1067, 485)
1210 = AND(1072, 485)
1211 = AND(1076, 485)
1212 = AND(1039, 491)
1213 = AND(1044, 491)
1214 = AND(1049, 491)
1215 = AND(1053, 491)
1216 = NOT(1002)
1219 = NAND(777, 1111)
1220 = NAND(987, 1113)
1221 = NAND(984, 1114)
1222 = NOT(1062)
1225 = NOT(1072)
1228 = NOT(1067)
1231 = NOT(1039)
1234 = NOT(1076)
1237 = NOT(1049)
1240 = NOT(1044)
1243 = NOT(1058)
1246 = NOT(1053)
1249 = NOT(1090)
1250 = NOT(1093)
1251 = NOR(1196, 1096)
1252 = NOR(1197, 1097)
1253 = AND(908, 904, 1090)
1254 = AND(1085, 1082, 1093)
1255 = OR(973, 1215)
1256 = NOT(1104)
1257 = NOT(1107)
1258 = AND(959, 955, 1104)
1259 = AND(1101, 1098, 1107)
1260 = NAND(1219, 1112)
1263 = NAND(1220, 1221)
1266 = OR(946, 1198)
1269 = OR(947, 1199)
1272 = OR(948, 1200)
1275 = OR(949, 1201)
1278 = OR(950, 1202)
1281 = OR(951, 1203)
1284 = OR(952, 1204)
1287 = OR(953, 1205)
1290 = OR(954, 1206)
1293 = OR(966, 1208)
1296 = OR(967, 1209)
1299 = OR(968, 1210)
1302 = OR(969, 1211)
1305 = OR(970, 1212)
1308 = OR(971, 1213)
1311 = OR(972, 1214)
1314 = AND(1193, 1190, 30)
1320 = NOT(1190)
1321 = NAND(283, 1123)
1326 = AND(1120, 329)
1327 = AND(1148, 123)
1328 = AND(1144, 329)
1329 = NOT(1144)
1336 = NOT(1148)
1342 = NOT(1159)
1345 = NOT(1166)
1348 = NOT(1171)
1351 = NOT(1176)
1354 = AND(519, 1181)
1355 = AND(1181, 1053)
1356 = AND(522, 1184)
1357 = AND(1184, 1058)
1358 = AND(1082, 908, 1249)
1359 = AND(904, 1085, 1250)
1360 = NOT(1222)
1361 = NAND(1222, 1207)
1362 = NOT(1225)
1363 = NOT(1228)
1364 = NOT(1231)
1365 = NOT(1234)
1366 = AND(1098, 959, 1256)
1367 = AND(955, 1101, 1257)
1368 = NOT(1132)
1371 = NOT(1129)
1374 = NOT(1137)
1377 = NOT(1152)
1380 = NOT(1123)
1383 = NOT(1216)
1384 = NOT(1132)
1387 = NOT(1129)
1390 = NOT(1137)
1393 = NOT(1120)
1396 = NOT(1137)
1399 = NOT(1137)
1402 = NAND(1252, 1251)
1405 = NOT(1237)
1406 = NOT(1240)
1407 = NOT(1243)
1408 = NOT(1246)
1409 = AND(30, 1193, 1320)
1412 = OR(1127, 1327)
1415 = OR(1328, 1128)
1418 = OR(1354, 1355)
1421 = OR(1356, 1357)
1424 = NOR(1358, 1253)
1425 = NOR(1359, 1254)
1426 = NOT(1260)
1427 = NOT(1263)
1428 = NAND(1266, 921)
1429 = NOT(1266)
1430 = NAND(1269, 922)
1431 = NOT(1269)
1432 = NAND(1272, 923)
1433 = NOT(1272)
1434 = NAND(1275, 924)
1435 = NOT(1275)
1436 = NAND(1278, 925)
1437 = NOT(1278)
1438 = NAND(1281, 926)
1439 = NOT(1281)
1440 = NAND(1284, 927)
1441 = NOT(1284)
1442 = NAND(1287, 928)
1443 = NOT(1287)
1444 = NAND(1290, 929)
1445 = NOT(1290)
1446 = NAND(1293, 930)
1447 = NOT(1293)
1448 = NAND(1079, 1360)
1449 = NAND(1228, 1362)
1450 = NAND(1225, 1363)
1451 = NAND(1234, 1364)
1452 = NAND(1231, 1365)
1453 = NOR(1366, 1258)
1454 = NOR(1367, 1259)
1455 = NAND(1296, 974)
1456 = NOT(1296)
1457 = NAND(1299, 975)
1458 = NOT(1299)
1459 = NAND(1302, 976)
1460 = NOT(1302)
1461 = NAND(1305, 977)
1462 = NOT(1305)
1463 = NAND(1308, 978)
1464 = NOT(1308)
1465 = NAND(1311, 979)
1466 = NOT(1311)
1467 = NAND(1240, 1405)
1468 = NAND(1237, 1406)
1469 = NAND(1246, 1407)
1470 = NAND(1243, 1408)
1471 = AND(1321, 325)
1472 = NOT(1314)
1475 = NOT(1368)
1476 = NOT(1371)
1477 = NOT(1374)
1478 = NOT(1377)
1479 = NOT(1321)
1483 = NOT(1384)
1484 = NOT(1387)
1485 = NOT(1390)
1486 = NOT(1393)
1487 = NOT(1396)
1488 = NOT(1314)
1493 = NOT(1314)
1497 = AND(1321, 123)
1498 = NOT(1314)
1502 = NOT(1314)
1507 = NAND(1402, 1426)
1508 = NOT(1399)
1509 = NOT(1402)
1510 = NAND(780, 1429)
1511 = NAND(783, 1431)
1512 = NAND(786, 1433)
1513 = NAND(789, 1435)
1514 = NAND(792, 1437)
1515 = NAND(795, 1439)
1516 = NAND(798, 1441)
1517 = NAND(801, 1443)
1518 = NAND(804, 1445)
1519 = NAND(807, 1447)
1520 = NAND(1448, 1361)
1524 = NAND(1449, 1450)
1528 = NAND(1451, 1452)
1531 = NAND(812, 1456)
1532 = NAND(815, 1458)
1533 = NAND(818, 1460)
1534 = NAND(821, 1462)
1535 = NAND(824, 1464)
1536 = NAND(827, 1466)
1537 = NOT(1329)
1540 = NOT(1336)
1543 = NOT(1345)
1546 = NOT(1342)
1549 = NOT(1351)
1552 = NOT(1348)
1555 = NOT(1380)
1556 = NAND(1380, 1383)
1557 = NOT(1329)
1560 = NOT(1345)
1563 = NOT(1342)
1566 = NOT(1351)
1569 = NOT(1348)
1572 = NOT(1321)
1575 = NOT(1329)
1578 = NOT(1336)
1581 = NOT(1329)
1584 = NOT(1336)
1587 = NAND(1425, 1424)
1590 = NAND(1469, 1470)
1593 = NAND(1467, 1468)
1596 = NAND(1454, 1453)
1599 = NAND(1371, 1475)
1600 = NAND(1368, 1476)
1601 = NAND(1387, 1483)
1602 = NAND(1384, 1484)
1603 = OR(1126, 1497)
1606 = NAND(1260, 1509)
1607 = NOT(1418)
1610 = NOT(1421)
1613 = NOT(1409)
1616 = NOT(1409)
1619 = NAND(1428, 1510)
1620 = NAND(1430, 1511)
1621 = NAND(1432, 1512)
1622 = NAND(1434, 1513)
1623 = NAND(1436, 1514)
1624 = NAND(1438, 1515)
1625 = NAND(1440, 1516)
1626 = NAND(1442, 1517)
1627 = NAND(1444, 1518)
1628 = NAND(1446, 1519)
1629 = NAND(1455, 1531)
1630 = NAND(1457, 1532)
1631 = NAND(1459, 1533)
1632 = NAND(1461, 1534)
1633 = NAND(1463, 1535)
1634 = NAND(1465, 1536)
1635 = NAND(1216, 1555)
1636 = NOT(1472)
1640 = AND(1176, 1488)
1641 = AND(1062, 1488)
1642 = AND(1067, 1488)
1643 = AND(1187, 1488)
1644 = AND(1152, 1493)
1645 = AND(1159, 1493)
1646 = NAND(1599, 1600)
1650 = NOT(1537)
1651 = NAND(1537, 1477)
1652 = NAND(1540, 1478)
1653 = NOT(1540)
1654 = NOT(1479)
1657 = NAND(1601, 1602)
1661 = NOT(1557)
1662 = NAND(1557, 1485)
1663 = NOT(1575)
1664 = AND(1152, 1498)
1665 = AND(1159, 1498)
1666 = AND(1176, 1502)
1667 = AND(1062, 1502)
1668 = AND(1067, 1502)
1669 = AND(1187, 1502)
1670 = NOT(1493)
1675 = NOT(1578)
1676 = NOT(1498)
1681 = NAND(1606, 1507)
1682 = NOT(1581)
1683 = NOT(1584)
1684 = NOT(1472)
1688 = NOT(1587)
1689 = NAND(1587, 1427)
1690 = NOT(1628)
1691 = NOT(1627)
1692 = NOT(1626)
1693 = NOT(1625)
1694 = NOT(1624)
1695 = NOT(1623)
1696 = NOT(1622)
1697 = NOT(1621)
1698 = NOT(1620)
1699 = NOT(1619)
1700 = NOT(1634)
1701 = NOT(1633)
1702 = NOT(1632)
1703 = NOT(1631)
1704 = NOT(1630)
1705 = NOT(1629)
1706 = NOT(1520)
1709 = NOT(1524)
1712 = NOT(1528)
1715 = NOT(1528)
1718 = NOT(1596)
1719 = NAND(1596, 1110)
1720 = NOT(1543)
1721 = NOT(1546)
1722 = NOT(1549)
1723 = NOT(1552)
1724 = NOT(1560)
1725 = NOT(1563)
1726 = NOT(1566)
1727 = NOT(1569)
1728 = NAND(1635, 1556)
1731 = NOT(1572)
1732 = NOT(1590)
1733 = NOT(1593)
1734 = AND(1421, 1610)
1735 = AND(1418, 1607)
1736 = NAND(1374, 1650)
1737 = NAND(1377, 1653)
1738 = NAND(1390, 1661)
1739 = NOT(1613)
1744 = NOT(1613)
1749 = NOT(1681)
1750 = NAND(1263, 1688)
1751 = AND(1690, 1691, 1692, 1693, 1694)
1752 = AND(1695, 1696, 1697, 1698, 1699)
1753 = AND(1255, 1700)
1754 = AND(1701, 1702, 1703, 1704, 1705)
1755 = NAND(990, 1718)
1756 = NOT(1616)
1761 = NOT(1616)
1766 = NAND(1546, 1720)
1767 = NAND(1543, 1721)
1768 = NAND(1552, 1722)
1769 = NAND(1549, 1723)
1770 = NAND(1563, 1724)
1771 = NAND(1560, 1725)
1772 = NAND(1569, 1726)
1773 = NAND(1566, 1727)
1774 = NAND(1593, 1732)
1775 = NAND(1590, 1733)
1776 = OR(1734, 1610)
1777 = OR(1735, 1607)
1778 = AND(1152, 1670)
1779 = AND(1159, 1670)
1780 = AND(1166, 1670)
1781 = AND(1171, 1670)
1782 = NOT(1646)
1785 = NAND(1736, 1651)
1789 = NAND(1652, 1737)
1792 = NOT(1657)
1795 = NAND(1738, 1662)
1798 = AND(1152, 1676)
1799 = AND(1159, 1676)
1800 = AND(1166, 1676)
1801 = AND(1171, 1676)
1802 = AND(1749, 10)
1805 = NOT(1636)
1811 = NAND(1750, 1689)
1814 = AND(1751, 1752)
1815 = AND(1753, 1754)
1816 = NOT(1684)
1822 = NOT(1712)
1823 = NOT(1715)
1824 = AND(1524, 1520, 1712)
1825 = AND(1709, 1706, 1715)
1826 = NAND(1755, 1719)
1829 = NOT(1636)
1835 = NOT(1636)
1840 = NOT(1684)
1846 = NOT(1684)
1851 = NAND(1768, 1769)
1854 = NAND(1766, 1767)
1857 = NOT(1728)
1858 = NAND(1728, 1731)
1859 = NAND(1772, 1773)
1862 = NAND(1770, 1771)
1865 = NAND(1774, 1775)
1868 = AND(1640, 1739)
1869 = AND(1641, 1739)
1870 = AND(1642, 1739)
1871 = AND(1643, 1739)
1872 = OR(1778, 1644)
1873 = OR(1779, 1645)
1874 = AND(1780, 598)
1875 = AND(1781, 598)
1876 = OR(1798, 1664)
1877 = OR(1799, 1665)
1878 = AND(1800, 631)
1879 = AND(1801, 631)
1880 = AND(1666, 1744)
1881 = AND(1667, 1744)
1882 = AND(1668, 1744)
1883 = AND(1669, 1744)
1884 = AND(1814, 1815, 832)
1887 = AND(1706, 1524, 1822)
1888 = AND(1520, 1709, 1823)
1889 = NAND(1572, 1857)
1890 = NOT(1868)
1893 = NOT(1869)
1896 = NOT(1870)
1899 = NOT(1871)
1902 = AND(1872, 598)
1903 = AND(1873, 598)
1904 = NOT(1874)
1907 = NOT(1875)
1910 = NOT(1785)
1913 = NOT(1789)
1916 = NOT(1789)
1919 = NOT(1795)
1922 = NOT(1795)
1925 = AND(366, 1805)
1926 = AND(1876, 631)
1927 = AND(1877, 631)
1928 = NOT(1878)
1931 = NOT(1879)
1934 = NOT(1880)
1937 = NOT(1881)
1940 = NOT(1882)
1943 = NOT(1883)
1946 = NOT(1802)
1947 = AND(366, 1816)
1948 = NOT(1805)
1953 = AND(370, 1805)
1954 = AND(447, 1805)
1955 = AND(451, 1805)
1956 = NOT(1816)
1961 = AND(370, 1816)
1962 = AND(447, 1816)
1963 = AND(451, 1816)
1964 = NOR(1887, 1824)
1965 = NOR(1888, 1825)
1966 = NOT(1865)
1967 = NOT(1829)
1970 = AND(455, 1829)
1971 = AND(459, 1829)
1972 = AND(463, 1829)
1973 = AND(467, 1829)
1974 = AND(471, 1835)
1975 = AND(475, 1835)
1976 = AND(479, 1835)
1977 = AND(497, 1835)
1978 = NOT(1840)
1981 = AND(455, 1840)
1982 = AND(459, 1840)
1983 = AND(463, 1840)
1984 = AND(467, 1840)
1985 = AND(471, 1846)
1986 = AND(475, 1846)
1987 = AND(479, 1846)
1988 = AND(497, 1846)
1989 = NOT(1851)
1990 = NOT(1854)
1991 = NOT(1859)
1992 = NOT(1862)
1993 = NAND(1858, 1889)
1996 = NOT(1902)
1999 = NOT(1903)
2002 = NOT(1926)
2005 = NOT(1927)
2008 = AND(1972, 751)
2011 = AND(1973, 751)
2014 = AND(1974, 1756)
2017 = AND(1975, 1756)
2020 = AND(1976, 1756)
2023 = AND(1977, 1756)
2026 = AND(1983, 756)
2029 = AND(1984, 756)
2032 = AND(1985, 1761)
2035 = AND(1986, 1761)
2038 = AND(1987, 1761)
2041 = AND(1988, 1761)
2044 = NAND(1854, 1989)
2045 = NAND(1851, 1990)
2046 = NAND(1862, 1991)
2047 = NAND(1859, 1992)
2048 = NAND(1965, 1964)
2051 = NOT(1913)
2052 = NOT(1916)
2053 = NOT(1919)
2054 = NOT(1922)
2055 = AND(1785, 1646, 1913)
2056 = AND(1910, 1782, 1916)
2057 = AND(1657, 1479, 1919)
2058 = AND(1792, 1654, 1922)
2059 = NAND(1993, 1486)
2060 = NOT(1993)
2061 = AND(479, 1948)
2062 = AND(479, 1956)
2063 = AND(497, 1948)
2064 = AND(503, 1948)
2065 = AND(507, 1948)
2066 = AND(497, 1956)
2067 = AND(503, 1956)
2068 = AND(507, 1956)
2069 = AND(511, 1967)
2070 = AND(515, 1967)
2071 = AND(511, 1978)
2072 = AND(515, 1978)
2073 = NAND(2044, 2045)
2076 = NAND(2046, 2047)
2079 = NOT(1899)
2082 = NOT(1896)
2085 = NOT(1893)
2088 = NOT(1890)
2091 = NOT(1907)
2094 = NOT(1904)
2097 = NOT(1943)
2100 = NOT(1940)
2103 = NOT(1937)
2106 = NOT(1934)
2109 = NOT(1931)
2112 = NOT(1928)
2115 = AND(1782, 1785, 2051)
2116 = AND(1646, 1910, 2052)
2117 = AND(1654, 1657, 2053)
2118 = AND(1479, 1792, 2054)
2119 = NAND(1393, 2060)
2120 = OR(2061, 1925)
2121 = NAND(2048, 1966)
2122 = AND(2023, 1899)
2123 = AND(2020, 1896)
2124 = AND(2017, 1893)
2125 = AND(1890, 2014)
2126 = AND(2011, 1907)
2127 = AND(2008, 1904)
2128 = OR(2062, 1947)
2129 = AND(2041, 1943)
2130 = AND(2038, 1940)
2131 = AND(2035, 1937)
2132 = AND(1934, 2032)
2133 = AND(2029, 1931)
2134 = AND(2026, 1928)
2135 = OR(2063, 1953)
2138 = OR(2064, 1954)
2141 = OR(2065, 1955)
2144 = OR(2066, 1961)
2147 = OR(2067, 1962)
2150 = OR(2068, 1963)
2153 = NOT(2048)
2154 = OR(2069, 1970)
2155 = OR(2070, 1971)
2156 = OR(2071, 1981)
2157 = OR(2072, 1982)
2158 = NOT(2023)
2161 = NOT(2020)
2164 = NOT(2017)
2167 = NOT(2014)
2170 = NOT(2011)
2173 = NOT(2008)
2176 = NOT(1999)
2179 = NOT(1996)
2182 = NOT(2041)
2185 = NOT(2038)
2188 = NOT(2035)
2191 = NOT(2032)
2194 = NOT(2029)
2197 = NOT(2026)
2200 = NOT(2005)
2203 = NOT(2002)
2206 = NAND(2059, 2119)
2207 = NOR(2115, 2055)
2208 = NOR(2116, 2056)
2209 = NOR(2117, 2057)
2210 = NOR(2118, 2058)
2211 = NOT(2073)
2212 = NOT(2076)
2213 = AND(2120, 1132)
2214 = NAND(1865, 2153)
2215 = NOT(2079)
2216 = NOT(2082)
2217 = NOT(2085)
2218 = NOT(2088)
2219 = NOT(2091)
2220 = NOT(2094)
2221 = AND(2128, 1132)
2222 = NOT(2097)
2223 = NOT(2100)
2224 = NOT(2103)
2225 = NOT(2106)
2226 = NOT(2109)
2227 = NOT(2112)
2228 = AND(2154, 751)
2231 = AND(2155, 751)
2234 = AND(2156, 756)
2237 = AND(2157, 756)
2240 = AND(2206, 325)
2241 = AND(2138, 1329)
2242 = AND(2135, 1137)
2243 = NAND(2214, 2121)
2244 = NOT(2158)
2245 = NAND(2158, 2215)
2246 = NOT(2161)
2247 = NAND(2161, 2216)
2248 = NOT(2164)
2249 = NAND(2164, 2217)
2250 = NOT(2167)
2251 = NAND(2167, 2218)
2252 = NOT(2170)
2253 = NAND(2170, 2219)
2254 = NOT(2173)
2255 = NAND(2173, 2220)
2256 = NOT(2176)
2257 = NOT(2179)
2258 = AND(2141, 1336)
2259 = AND(2147, 1329)
2260 = AND(2144, 1137)
2261 = NOT(2182)
2262 = NAND(2182, 2222)
2263 = NOT(2185)
2264 = NAND(2185, 2223)
2265 = NOT(2188)
2266 = NAND(2188, 2224)
2267 = NOT(2191)
2268 = NAND(2191, 2225)
2269 = NOT(2194)
2270 = NAND(2194, 2226)
2271 = NOT(2197)
2272 = NAND(2197, 2227)
2273 = NOT(2200)
2274 = NOT(2203)
2275 = AND(2150, 1336)
2276 = NAND(2208, 2207)
2279 = NAND(2210, 2209)
2282 = NOT(2138)
2285 = NOT(2135)
2288 = NOT(2141)
2291 = NOT(2147)
2294 = NOT(2144)
2297 = NOT(2150)
2300 = NOT(2243)
2301 = NAND(2079, 2244)
2302 = NAND(2082, 2246)
2303 = NAND(2085, 2248)
2304 = NAND(2088, 2250)
2305 = NAND(2091, 2252)
2306 = NAND(2094, 2254)
2307 = AND(2231, 1999)
2308 = AND(2228, 1996)
2309 = NAND(2097, 2261)
2310 = NAND(2100, 2263)
2311 = NAND(2103, 2265)
2312 = NAND(2106, 2267)
2313 = NAND(2109, 2269)
2314 = NAND(2112, 2271)
2315 = AND(2237, 2005)
2316 = AND(2234, 2002)
2317 = NOT(2231)
2320 = NOT(2228)
2323 = NOT(2237)
2326 = NOT(2234)
2329 = NOT(2276)
2330 = NAND(2276, 2211)
2331 = NOT(2279)
2332 = NAND(2279, 2212)
2333 = NOT(2282)
2334 = NAND(2282, 1663)
2335 = NAND(2285, 1487)
2336 = NOT(2285)
2337 = AND(2300, 581)
2340 = NAND(2301, 2245)
2345 = NAND(2302, 2247)
2349 = NAND(2303, 2249)
2352 = NAND(2304, 2251)
2353 = NAND(2305, 2253)
2359 = NAND(2306, 2255)
2364 = NOT(2288)
2365 = NAND(2288, 1675)
2366 = NOT(2291)
2367 = NAND(2291, 1682)
2368 = NAND(2294, 1508)
2369 = NOT(2294)
2370 = NAND(2309, 2262)
2375 = NAND(2310, 2264)
2379 = NAND(2311, 2266)
2382 = NAND(2312, 2268)
2383 = NAND(2313, 2270)
2389 = NAND(2314, 2272)
2394 = NOT(2297)
2395 = NAND(2297, 1683)
2396 = NAND(2073, 2329)
2397 = NAND(2076, 2331)
2398 = NAND(1575, 2333)
2399 = NAND(1396, 2336)
2400 = NOT(2317)
2401 = NAND(2317, 2256)
2402 = NOT(2320)
2403 = NAND(2320, 2257)
2404 = NAND(1578, 2364)
2405 = NAND(1581, 2366)
2406 = NAND(1399, 2369)
2407 = NOT(2323)
2408 = NAND(2323, 2273)
2409 = NOT(2326)
2410 = NAND(2326, 2274)
2411 = NAND(1584, 2394)
2412 = NAND(2396, 2330)
2413 = NAND(2397, 2332)
2414 = NAND(2398, 2334)
2417 = NAND(2399, 2335)
2418 = NOT(2337)
2419 = NAND(2176, 2400)
2420 = NAND(2179, 2402)
2421 = NAND(2404, 2365)
2422 = AND(2345, 2352, 2349, 2340)
2423 = AND(2340, 2123)
2424 = AND(2345, 2340, 2124)
2425 = AND(2349, 2340, 2125, 2345)
2426 = AND(2353, 2127)
2427 = AND(2359, 2353, 2307)
2428 = NAND(2405, 2367)
2431 = NAND(2406, 2368)
2432 = NAND(2200, 2407)
2433 = NAND(2203, 2409)
2434 = NAND(2411, 2395)
2435 = AND(2375, 2382, 2379, 2370)
2436 = AND(2370, 2130)
2437 = AND(2375, 2370, 2131)
2438 = AND(2379, 2370, 2132, 2375)
2439 = AND(2383, 2134)
2440 = AND(2389, 2383, 2315)
2441 = NOT(2412)
2442 = AND(2413, 123)
2443 = NAND(2419, 2401)
2447 = NAND(2420, 2403)
2450 = NOT(2422)
2451 = OR(2122, 2423, 2424, 2425)
2454 = NAND(2432, 2408)
2458 = NAND(2433, 2410)
2461 = NOT(2435)
2462 = OR(2129, 2436, 2437, 2438)
2465 = AND(2414, 2242)
2466 = AND(2417, 2414, 2213)
2467 = OR(1326, 2442)
2470 = AND(2441, 581)
2473 = AND(2428, 2260)
2474 = AND(2431, 2428, 2221)
2475 = OR(2241, 2465, 2466)
2476 = NOT(2451)
2477 = AND(2359, 2421, 2443, 2353, 2447)
2478 = AND(2443, 2353, 2308, 2359)
2479 = AND(2447, 2443, 2353, 2258, 2359)
2480 = OR(2259, 2473, 2474)
2481 = NOT(2462)
2482 = AND(2389, 2434, 2454, 2383, 2458)
2483 = AND(2454, 2383, 2316, 2389)
2484 = AND(2458, 2454, 2383, 2275, 2389)
2485 = OR(2126, 2426, 2427, 2478, 2479)
2486 = AND(2477, 2475)
2487 = NAND(2476, 2450)
2488 = NOT(2470)
2489 = OR(2133, 2439, 2440, 2483, 2484)
2490 = AND(2482, 2480)
2491 = NAND(2481, 2461)
2492 = OR(2485, 2486)
2495 = AND(2418, 2488, 1826)
2496 = OR(2489, 2490)
2499 = NOT(2492)
2500 = AND(2487, 2492)
2501 = NOT(2496)
2502 = AND(2491, 2496)
2503 = AND(2451, 2499)
2504 = AND(2462, 2501)
2505 = OR(2503, 2500)
2508 = OR(2504, 2502)
2512 = NAND(2508, 2505)
2515 = AND(2508, 2512)
2516 = AND(2512, 2505)
2517 = OR(2515, 2516)
2520 = NOT(2517)
2523 = AND(2517, 2520)
2524 = OR(2523, 2520)
2527 = AND(1811, 1946, 2524)
2528 = AND(2495, 2527, 993)
2531 = NOT(115)
2532 = NOT(115)
2533 = NOT(115)
2534 = NOT(124)
2535 = NOT(124)
2536 = NOT(137)
2537 = NOT(137)
2538 = NOT(137)
2539 = NOT(32)
2540 = NOT(106)
2541 = NOT(64)
2542 = NOT(76)
2543 = NOT(53)
2544 = NOT(96)
2545 = NOT(43)
2546 = NOT(86)
2547 = NOT(285)
2548 = NOT(287)
2549 = NOT(292)
2550 = AND(74, 292)
2551 = NOT(443)
2552 = NAND(119, 443)
2553 = NOT(592)
2554 = NOT(595)
2555 = NOT(595)
2556 = NOT(993)
2557 = NOT(1044)
2558 = NOT(1049)
2559 = NOT(1039)
2560 = NOT(1026)
2561 = NOT(1021)
2562 = NOT(1017)
2563 = OR(325, 1117)
2564 = NOT(1118)
2565 = NOT(1119)
2566 = NOT(1144)
2567 = NOT(1148)
2568 = NOT(1152)
2569 = NOT(1159)
2570 = NOT(1166)
2571 = NOT(1171)
2572 = NOT(1176)
2573 = NOT(1412)
2574 = NOT(1412)
2575 = NOT(1415)
2576 = NOT(1415)
2577 = OR(1471, 1116)
2578 = NOT(1603)
2579 = NOT(1603)
2580 = NAND(1776, 1777)
2581 = NOT(1802)
2582 = NOT(1826)
2583 = NOT(1811)
2584 = NOT(1884)
2585 = NOT(1884)
2586 = OR(2240, 1115)
2587 = NOT(2337)
2588 = NOT(2467)
2589 = NOT(2467)
2590 = NOT(2470)
2591 = NOT(2508)
2592 = NOT(2524)
2593 = NOT(2528)
2594 = NOT(2528)