943 lines
20 KiB
Plaintext
943 lines
20 KiB
Plaintext
# c1908
|
|
|
|
INPUT(1)
|
|
INPUT(4)
|
|
INPUT(7)
|
|
INPUT(10)
|
|
INPUT(13)
|
|
INPUT(16)
|
|
INPUT(19)
|
|
INPUT(22)
|
|
INPUT(25)
|
|
INPUT(28)
|
|
INPUT(31)
|
|
INPUT(34)
|
|
INPUT(37)
|
|
INPUT(40)
|
|
INPUT(43)
|
|
INPUT(46)
|
|
INPUT(49)
|
|
INPUT(53)
|
|
INPUT(56)
|
|
INPUT(60)
|
|
INPUT(63)
|
|
INPUT(66)
|
|
INPUT(69)
|
|
INPUT(72)
|
|
INPUT(76)
|
|
INPUT(79)
|
|
INPUT(82)
|
|
INPUT(85)
|
|
INPUT(88)
|
|
INPUT(91)
|
|
INPUT(94)
|
|
INPUT(99)
|
|
INPUT(104)
|
|
|
|
OUTPUT(2753)
|
|
OUTPUT(2754)
|
|
OUTPUT(2755)
|
|
OUTPUT(2756)
|
|
OUTPUT(2762)
|
|
OUTPUT(2767)
|
|
OUTPUT(2768)
|
|
OUTPUT(2779)
|
|
OUTPUT(2780)
|
|
OUTPUT(2781)
|
|
OUTPUT(2782)
|
|
OUTPUT(2783)
|
|
OUTPUT(2784)
|
|
OUTPUT(2785)
|
|
OUTPUT(2786)
|
|
OUTPUT(2787)
|
|
OUTPUT(2811)
|
|
OUTPUT(2886)
|
|
OUTPUT(2887)
|
|
OUTPUT(2888)
|
|
OUTPUT(2889)
|
|
OUTPUT(2890)
|
|
OUTPUT(2891)
|
|
OUTPUT(2892)
|
|
OUTPUT(2899)
|
|
|
|
190 = NOT(1)
|
|
194 = NOT(4)
|
|
197 = NOT(7)
|
|
201 = NOT(10)
|
|
206 = NOT(13)
|
|
209 = NOT(16)
|
|
212 = NOT(19)
|
|
216 = NOT(22)
|
|
220 = NOT(25)
|
|
225 = NOT(28)
|
|
229 = NOT(31)
|
|
232 = NOT(34)
|
|
235 = NOT(37)
|
|
239 = NOT(40)
|
|
243 = NOT(43)
|
|
247 = NOT(46)
|
|
251 = NAND(63, 88)
|
|
252 = NAND(66, 91)
|
|
253 = NOT(72)
|
|
256 = NOT(72)
|
|
257 = BUFF(69)
|
|
260 = BUFF(69)
|
|
263 = NOT(76)
|
|
266 = NOT(79)
|
|
269 = NOT(82)
|
|
272 = NOT(85)
|
|
275 = NOT(104)
|
|
276 = NOT(104)
|
|
277 = NOT(88)
|
|
280 = NOT(91)
|
|
283 = BUFF(94)
|
|
290 = NOT(94)
|
|
297 = BUFF(94)
|
|
300 = NOT(94)
|
|
303 = BUFF(99)
|
|
306 = NOT(99)
|
|
313 = NOT(99)
|
|
316 = BUFF(104)
|
|
319 = NOT(104)
|
|
326 = BUFF(104)
|
|
331 = BUFF(104)
|
|
338 = NOT(104)
|
|
343 = BUFF(1)
|
|
346 = BUFF(4)
|
|
349 = BUFF(7)
|
|
352 = BUFF(10)
|
|
355 = BUFF(13)
|
|
358 = BUFF(16)
|
|
361 = BUFF(19)
|
|
364 = BUFF(22)
|
|
367 = BUFF(25)
|
|
370 = BUFF(28)
|
|
373 = BUFF(31)
|
|
376 = BUFF(34)
|
|
379 = BUFF(37)
|
|
382 = BUFF(40)
|
|
385 = BUFF(43)
|
|
388 = BUFF(46)
|
|
534 = NOT(343)
|
|
535 = NOT(346)
|
|
536 = NOT(349)
|
|
537 = NOT(352)
|
|
538 = NOT(355)
|
|
539 = NOT(358)
|
|
540 = NOT(361)
|
|
541 = NOT(364)
|
|
542 = NOT(367)
|
|
543 = NOT(370)
|
|
544 = NOT(373)
|
|
545 = NOT(376)
|
|
546 = NOT(379)
|
|
547 = NOT(382)
|
|
548 = NOT(385)
|
|
549 = NOT(388)
|
|
550 = NAND(306, 331)
|
|
551 = NAND(306, 331)
|
|
552 = NAND(306, 331)
|
|
553 = NAND(306, 331)
|
|
554 = NAND(306, 331)
|
|
555 = NAND(306, 331)
|
|
556 = BUFF(190)
|
|
559 = BUFF(194)
|
|
562 = BUFF(206)
|
|
565 = BUFF(209)
|
|
568 = BUFF(225)
|
|
571 = BUFF(243)
|
|
574 = AND(63, 319)
|
|
577 = BUFF(220)
|
|
580 = BUFF(229)
|
|
583 = BUFF(232)
|
|
586 = AND(66, 319)
|
|
589 = BUFF(239)
|
|
592 = AND(49, 253, 319)
|
|
595 = BUFF(247)
|
|
598 = BUFF(239)
|
|
601 = NAND(326, 277)
|
|
602 = NAND(326, 280)
|
|
603 = NAND(260, 72)
|
|
608 = NAND(260, 300)
|
|
612 = NAND(256, 300)
|
|
616 = BUFF(201)
|
|
619 = BUFF(216)
|
|
622 = BUFF(220)
|
|
625 = BUFF(239)
|
|
628 = BUFF(190)
|
|
631 = BUFF(190)
|
|
634 = BUFF(194)
|
|
637 = BUFF(229)
|
|
640 = BUFF(197)
|
|
643 = AND(56, 257, 319)
|
|
646 = BUFF(232)
|
|
649 = BUFF(201)
|
|
652 = BUFF(235)
|
|
655 = AND(60, 257, 319)
|
|
658 = BUFF(263)
|
|
661 = BUFF(263)
|
|
664 = BUFF(266)
|
|
667 = BUFF(266)
|
|
670 = BUFF(269)
|
|
673 = BUFF(269)
|
|
676 = BUFF(272)
|
|
679 = BUFF(272)
|
|
682 = AND(251, 316)
|
|
685 = AND(252, 316)
|
|
688 = BUFF(197)
|
|
691 = BUFF(197)
|
|
694 = BUFF(212)
|
|
697 = BUFF(212)
|
|
700 = BUFF(247)
|
|
703 = BUFF(247)
|
|
706 = BUFF(235)
|
|
709 = BUFF(235)
|
|
712 = BUFF(201)
|
|
715 = BUFF(201)
|
|
718 = BUFF(206)
|
|
721 = BUFF(216)
|
|
724 = AND(53, 253, 319)
|
|
727 = BUFF(243)
|
|
730 = BUFF(220)
|
|
733 = BUFF(220)
|
|
736 = BUFF(209)
|
|
739 = BUFF(216)
|
|
742 = BUFF(225)
|
|
745 = BUFF(243)
|
|
748 = BUFF(212)
|
|
751 = BUFF(225)
|
|
886 = NOT(682)
|
|
887 = NOT(685)
|
|
888 = NOT(616)
|
|
889 = NOT(619)
|
|
890 = NOT(622)
|
|
891 = NOT(625)
|
|
892 = NOT(631)
|
|
893 = NOT(643)
|
|
894 = NOT(649)
|
|
895 = NOT(652)
|
|
896 = NOT(655)
|
|
897 = AND(49, 612)
|
|
898 = AND(56, 608)
|
|
899 = NAND(53, 612)
|
|
903 = NAND(60, 608)
|
|
907 = NAND(49, 612)
|
|
910 = NAND(56, 608)
|
|
913 = NOT(661)
|
|
914 = NOT(658)
|
|
915 = NOT(667)
|
|
916 = NOT(664)
|
|
917 = NOT(673)
|
|
918 = NOT(670)
|
|
919 = NOT(679)
|
|
920 = NOT(676)
|
|
921 = NAND(277, 297, 326, 603)
|
|
922 = NAND(280, 297, 326, 603)
|
|
923 = NAND(303, 338, 603)
|
|
926 = AND(303, 338, 603)
|
|
935 = BUFF(556)
|
|
938 = NOT(688)
|
|
939 = BUFF(556)
|
|
942 = NOT(691)
|
|
943 = BUFF(562)
|
|
946 = NOT(694)
|
|
947 = BUFF(562)
|
|
950 = NOT(697)
|
|
951 = BUFF(568)
|
|
954 = NOT(700)
|
|
955 = BUFF(568)
|
|
958 = NOT(703)
|
|
959 = BUFF(574)
|
|
962 = BUFF(574)
|
|
965 = BUFF(580)
|
|
968 = NOT(706)
|
|
969 = BUFF(580)
|
|
972 = NOT(709)
|
|
973 = BUFF(586)
|
|
976 = NOT(712)
|
|
977 = BUFF(586)
|
|
980 = NOT(715)
|
|
981 = BUFF(592)
|
|
984 = NOT(628)
|
|
985 = BUFF(592)
|
|
988 = NOT(718)
|
|
989 = NOT(721)
|
|
990 = NOT(634)
|
|
991 = NOT(724)
|
|
992 = NOT(727)
|
|
993 = NOT(637)
|
|
994 = BUFF(595)
|
|
997 = NOT(730)
|
|
998 = BUFF(595)
|
|
1001 = NOT(733)
|
|
1002 = NOT(736)
|
|
1003 = NOT(739)
|
|
1004 = NOT(640)
|
|
1005 = NOT(742)
|
|
1006 = NOT(745)
|
|
1007 = NOT(646)
|
|
1008 = NOT(748)
|
|
1009 = NOT(751)
|
|
1010 = BUFF(559)
|
|
1013 = BUFF(559)
|
|
1016 = BUFF(565)
|
|
1019 = BUFF(565)
|
|
1022 = BUFF(571)
|
|
1025 = BUFF(571)
|
|
1028 = BUFF(577)
|
|
1031 = BUFF(577)
|
|
1034 = BUFF(583)
|
|
1037 = BUFF(583)
|
|
1040 = BUFF(589)
|
|
1043 = BUFF(589)
|
|
1046 = BUFF(598)
|
|
1049 = BUFF(598)
|
|
1054 = NAND(619, 888)
|
|
1055 = NAND(616, 889)
|
|
1063 = NAND(625, 890)
|
|
1064 = NAND(622, 891)
|
|
1067 = NAND(655, 895)
|
|
1068 = NAND(652, 896)
|
|
1119 = NAND(721, 988)
|
|
1120 = NAND(718, 989)
|
|
1121 = NAND(727, 991)
|
|
1122 = NAND(724, 992)
|
|
1128 = NAND(739, 1002)
|
|
1129 = NAND(736, 1003)
|
|
1130 = NAND(745, 1005)
|
|
1131 = NAND(742, 1006)
|
|
1132 = NAND(751, 1008)
|
|
1133 = NAND(748, 1009)
|
|
1148 = NOT(939)
|
|
1149 = NOT(935)
|
|
1150 = NAND(1054, 1055)
|
|
1151 = NOT(943)
|
|
1152 = NOT(947)
|
|
1153 = NOT(955)
|
|
1154 = NOT(951)
|
|
1155 = NOT(962)
|
|
1156 = NOT(969)
|
|
1157 = NOT(977)
|
|
1158 = NAND(1063, 1064)
|
|
1159 = NOT(985)
|
|
1160 = NAND(985, 892)
|
|
1161 = NOT(998)
|
|
1162 = NAND(1067, 1068)
|
|
1163 = NOT(899)
|
|
1164 = BUFF(899)
|
|
1167 = NOT(903)
|
|
1168 = BUFF(903)
|
|
1171 = NAND(921, 923)
|
|
1188 = NAND(922, 923)
|
|
1205 = NOT(1010)
|
|
1206 = NAND(1010, 938)
|
|
1207 = NOT(1013)
|
|
1208 = NAND(1013, 942)
|
|
1209 = NOT(1016)
|
|
1210 = NAND(1016, 946)
|
|
1211 = NOT(1019)
|
|
1212 = NAND(1019, 950)
|
|
1213 = NOT(1022)
|
|
1214 = NAND(1022, 954)
|
|
1215 = NOT(1025)
|
|
1216 = NAND(1025, 958)
|
|
1217 = NOT(1028)
|
|
1218 = NOT(959)
|
|
1219 = NOT(1031)
|
|
1220 = NOT(1034)
|
|
1221 = NAND(1034, 968)
|
|
1222 = NOT(965)
|
|
1223 = NOT(1037)
|
|
1224 = NAND(1037, 972)
|
|
1225 = NOT(1040)
|
|
1226 = NAND(1040, 976)
|
|
1227 = NOT(973)
|
|
1228 = NOT(1043)
|
|
1229 = NAND(1043, 980)
|
|
1230 = NOT(981)
|
|
1231 = NAND(981, 984)
|
|
1232 = NAND(1119, 1120)
|
|
1235 = NAND(1121, 1122)
|
|
1238 = NOT(1046)
|
|
1239 = NAND(1046, 997)
|
|
1240 = NOT(994)
|
|
1241 = NOT(1049)
|
|
1242 = NAND(1049, 1001)
|
|
1243 = NAND(1128, 1129)
|
|
1246 = NAND(1130, 1131)
|
|
1249 = NAND(1132, 1133)
|
|
1252 = BUFF(907)
|
|
1255 = BUFF(907)
|
|
1258 = BUFF(910)
|
|
1261 = BUFF(910)
|
|
1264 = NOT(1150)
|
|
1267 = NAND(631, 1159)
|
|
1309 = NAND(688, 1205)
|
|
1310 = NAND(691, 1207)
|
|
1311 = NAND(694, 1209)
|
|
1312 = NAND(697, 1211)
|
|
1313 = NAND(700, 1213)
|
|
1314 = NAND(703, 1215)
|
|
1315 = NAND(706, 1220)
|
|
1316 = NAND(709, 1223)
|
|
1317 = NAND(712, 1225)
|
|
1318 = NAND(715, 1228)
|
|
1319 = NOT(1158)
|
|
1322 = NAND(628, 1230)
|
|
1327 = NAND(730, 1238)
|
|
1328 = NAND(733, 1241)
|
|
1334 = NOT(1162)
|
|
1344 = NAND(1267, 1160)
|
|
1345 = NAND(1249, 894)
|
|
1346 = NOT(1249)
|
|
1348 = NOT(1255)
|
|
1349 = NOT(1252)
|
|
1350 = NOT(1261)
|
|
1351 = NOT(1258)
|
|
1352 = NAND(1309, 1206)
|
|
1355 = NAND(1310, 1208)
|
|
1358 = NAND(1311, 1210)
|
|
1361 = NAND(1312, 1212)
|
|
1364 = NAND(1313, 1214)
|
|
1367 = NAND(1314, 1216)
|
|
1370 = NAND(1315, 1221)
|
|
1373 = NAND(1316, 1224)
|
|
1376 = NAND(1317, 1226)
|
|
1379 = NAND(1318, 1229)
|
|
1383 = NAND(1322, 1231)
|
|
1386 = NOT(1232)
|
|
1387 = NAND(1232, 990)
|
|
1388 = NOT(1235)
|
|
1389 = NAND(1235, 993)
|
|
1390 = NAND(1327, 1239)
|
|
1393 = NAND(1328, 1242)
|
|
1396 = NOT(1243)
|
|
1397 = NAND(1243, 1004)
|
|
1398 = NOT(1246)
|
|
1399 = NAND(1246, 1007)
|
|
1409 = NOT(1319)
|
|
1412 = NAND(649, 1346)
|
|
1413 = NOT(1334)
|
|
1416 = BUFF(1264)
|
|
1419 = BUFF(1264)
|
|
1433 = NAND(634, 1386)
|
|
1434 = NAND(637, 1388)
|
|
1438 = NAND(640, 1396)
|
|
1439 = NAND(646, 1398)
|
|
1440 = NOT(1344)
|
|
1443 = NAND(1355, 1148)
|
|
1444 = NOT(1355)
|
|
1445 = NAND(1352, 1149)
|
|
1446 = NOT(1352)
|
|
1447 = NAND(1358, 1151)
|
|
1448 = NOT(1358)
|
|
1451 = NAND(1361, 1152)
|
|
1452 = NOT(1361)
|
|
1453 = NAND(1367, 1153)
|
|
1454 = NOT(1367)
|
|
1455 = NAND(1364, 1154)
|
|
1456 = NOT(1364)
|
|
1457 = NAND(1373, 1156)
|
|
1458 = NOT(1373)
|
|
1459 = NAND(1379, 1157)
|
|
1460 = NOT(1379)
|
|
1461 = NOT(1383)
|
|
1462 = NAND(1393, 1161)
|
|
1463 = NOT(1393)
|
|
1464 = NAND(1345, 1412)
|
|
1468 = NOT(1370)
|
|
1469 = NAND(1370, 1222)
|
|
1470 = NOT(1376)
|
|
1471 = NAND(1376, 1227)
|
|
1472 = NAND(1387, 1433)
|
|
1475 = NOT(1390)
|
|
1476 = NAND(1390, 1240)
|
|
1478 = NAND(1389, 1434)
|
|
1481 = NAND(1399, 1439)
|
|
1484 = NAND(1397, 1438)
|
|
1487 = NAND(939, 1444)
|
|
1488 = NAND(935, 1446)
|
|
1489 = NAND(943, 1448)
|
|
1490 = NOT(1419)
|
|
1491 = NOT(1416)
|
|
1492 = NAND(947, 1452)
|
|
1493 = NAND(955, 1454)
|
|
1494 = NAND(951, 1456)
|
|
1495 = NAND(969, 1458)
|
|
1496 = NAND(977, 1460)
|
|
1498 = NAND(998, 1463)
|
|
1499 = NOT(1440)
|
|
1500 = NAND(965, 1468)
|
|
1501 = NAND(973, 1470)
|
|
1504 = NAND(994, 1475)
|
|
1510 = NOT(1464)
|
|
1513 = NAND(1443, 1487)
|
|
1514 = NAND(1445, 1488)
|
|
1517 = NAND(1447, 1489)
|
|
1520 = NAND(1451, 1492)
|
|
1521 = NAND(1453, 1493)
|
|
1522 = NAND(1455, 1494)
|
|
1526 = NAND(1457, 1495)
|
|
1527 = NAND(1459, 1496)
|
|
1528 = NOT(1472)
|
|
1529 = NAND(1462, 1498)
|
|
1530 = NOT(1478)
|
|
1531 = NOT(1481)
|
|
1532 = NOT(1484)
|
|
1534 = NAND(1471, 1501)
|
|
1537 = NAND(1469, 1500)
|
|
1540 = NAND(1476, 1504)
|
|
1546 = NOT(1513)
|
|
1554 = NOT(1521)
|
|
1557 = NOT(1526)
|
|
1561 = NOT(1520)
|
|
1567 = NAND(1484, 1531)
|
|
1568 = NAND(1481, 1532)
|
|
1569 = NOT(1510)
|
|
1571 = NOT(1527)
|
|
1576 = NOT(1529)
|
|
1588 = BUFF(1522)
|
|
1591 = NOT(1534)
|
|
1593 = NOT(1537)
|
|
1594 = NAND(1540, 1530)
|
|
1595 = NOT(1540)
|
|
1596 = NAND(1567, 1568)
|
|
1600 = BUFF(1517)
|
|
1603 = BUFF(1517)
|
|
1606 = BUFF(1522)
|
|
1609 = BUFF(1522)
|
|
1612 = BUFF(1514)
|
|
1615 = BUFF(1514)
|
|
1620 = BUFF(1557)
|
|
1623 = BUFF(1554)
|
|
1635 = NOT(1571)
|
|
1636 = NAND(1478, 1595)
|
|
1638 = NAND(1576, 1569)
|
|
1639 = NOT(1576)
|
|
1640 = BUFF(1561)
|
|
1643 = BUFF(1561)
|
|
1647 = BUFF(1546)
|
|
1651 = BUFF(1546)
|
|
1658 = BUFF(1554)
|
|
1661 = BUFF(1557)
|
|
1664 = BUFF(1557)
|
|
1671 = NAND(1596, 893)
|
|
1672 = NOT(1596)
|
|
1675 = NOT(1600)
|
|
1677 = NOT(1603)
|
|
1678 = NAND(1606, 1217)
|
|
1679 = NOT(1606)
|
|
1680 = NAND(1609, 1219)
|
|
1681 = NOT(1609)
|
|
1682 = NOT(1612)
|
|
1683 = NOT(1615)
|
|
1685 = NAND(1594, 1636)
|
|
1688 = NAND(1510, 1639)
|
|
1697 = BUFF(1588)
|
|
1701 = BUFF(1588)
|
|
1706 = NAND(643, 1672)
|
|
1707 = NOT(1643)
|
|
1708 = NAND(1647, 1675)
|
|
1709 = NOT(1647)
|
|
1710 = NAND(1651, 1677)
|
|
1711 = NOT(1651)
|
|
1712 = NAND(1028, 1679)
|
|
1713 = NAND(1031, 1681)
|
|
1714 = BUFF(1620)
|
|
1717 = BUFF(1620)
|
|
1720 = NAND(1658, 1593)
|
|
1721 = NOT(1658)
|
|
1723 = NAND(1638, 1688)
|
|
1727 = NOT(1661)
|
|
1728 = NOT(1640)
|
|
1730 = NOT(1664)
|
|
1731 = BUFF(1623)
|
|
1734 = BUFF(1623)
|
|
1740 = NAND(1685, 1528)
|
|
1741 = NOT(1685)
|
|
1742 = NAND(1671, 1706)
|
|
1746 = NAND(1600, 1709)
|
|
1747 = NAND(1603, 1711)
|
|
1748 = NAND(1678, 1712)
|
|
1751 = NAND(1680, 1713)
|
|
1759 = NAND(1537, 1721)
|
|
1761 = NOT(1697)
|
|
1762 = NAND(1697, 1727)
|
|
1763 = NOT(1701)
|
|
1764 = NAND(1701, 1730)
|
|
1768 = NOT(1717)
|
|
1769 = NAND(1472, 1741)
|
|
1772 = NAND(1723, 1413)
|
|
1773 = NOT(1723)
|
|
1774 = NAND(1708, 1746)
|
|
1777 = NAND(1710, 1747)
|
|
1783 = NOT(1731)
|
|
1784 = NAND(1731, 1682)
|
|
1785 = NOT(1714)
|
|
1786 = NOT(1734)
|
|
1787 = NAND(1734, 1683)
|
|
1788 = NAND(1720, 1759)
|
|
1791 = NAND(1661, 1761)
|
|
1792 = NAND(1664, 1763)
|
|
1795 = NAND(1751, 1155)
|
|
1796 = NOT(1751)
|
|
1798 = NAND(1740, 1769)
|
|
1801 = NAND(1334, 1773)
|
|
1802 = NAND(1742, 290)
|
|
1807 = NOT(1748)
|
|
1808 = NAND(1748, 1218)
|
|
1809 = NAND(1612, 1783)
|
|
1810 = NAND(1615, 1786)
|
|
1812 = NAND(1791, 1762)
|
|
1815 = NAND(1792, 1764)
|
|
1818 = BUFF(1742)
|
|
1821 = NAND(1777, 1490)
|
|
1822 = NOT(1777)
|
|
1823 = NAND(1774, 1491)
|
|
1824 = NOT(1774)
|
|
1825 = NAND(962, 1796)
|
|
1826 = NAND(1788, 1409)
|
|
1827 = NOT(1788)
|
|
1830 = NAND(1772, 1801)
|
|
1837 = NAND(959, 1807)
|
|
1838 = NAND(1809, 1784)
|
|
1841 = NAND(1810, 1787)
|
|
1848 = NAND(1419, 1822)
|
|
1849 = NAND(1416, 1824)
|
|
1850 = NAND(1795, 1825)
|
|
1852 = NAND(1319, 1827)
|
|
1855 = NAND(1815, 1707)
|
|
1856 = NOT(1815)
|
|
1857 = NOT(1818)
|
|
1858 = NAND(1798, 290)
|
|
1864 = NOT(1812)
|
|
1865 = NAND(1812, 1728)
|
|
1866 = BUFF(1798)
|
|
1869 = BUFF(1802)
|
|
1872 = BUFF(1802)
|
|
1875 = NAND(1808, 1837)
|
|
1878 = NAND(1821, 1848)
|
|
1879 = NAND(1823, 1849)
|
|
1882 = NAND(1841, 1768)
|
|
1883 = NOT(1841)
|
|
1884 = NAND(1826, 1852)
|
|
1885 = NAND(1643, 1856)
|
|
1889 = NAND(1830, 290)
|
|
1895 = NOT(1838)
|
|
1896 = NAND(1838, 1785)
|
|
1897 = NAND(1640, 1864)
|
|
1898 = NOT(1850)
|
|
1902 = BUFF(1830)
|
|
1910 = NOT(1878)
|
|
1911 = NAND(1717, 1883)
|
|
1912 = NOT(1884)
|
|
1913 = NAND(1855, 1885)
|
|
1915 = NOT(1866)
|
|
1919 = NAND(1872, 919)
|
|
1920 = NOT(1872)
|
|
1921 = NAND(1869, 920)
|
|
1922 = NOT(1869)
|
|
1923 = NOT(1875)
|
|
1924 = NAND(1714, 1895)
|
|
1927 = BUFF(1858)
|
|
1930 = BUFF(1858)
|
|
1933 = NAND(1865, 1897)
|
|
1936 = NAND(1882, 1911)
|
|
1937 = NOT(1898)
|
|
1938 = NOT(1902)
|
|
1941 = NAND(679, 1920)
|
|
1942 = NAND(676, 1922)
|
|
1944 = BUFF(1879)
|
|
1947 = NOT(1913)
|
|
1950 = BUFF(1889)
|
|
1953 = BUFF(1889)
|
|
1958 = BUFF(1879)
|
|
1961 = NAND(1896, 1924)
|
|
1965 = AND(1910, 601)
|
|
1968 = AND(602, 1912)
|
|
1975 = NAND(1930, 917)
|
|
1976 = NOT(1930)
|
|
1977 = NAND(1927, 918)
|
|
1978 = NOT(1927)
|
|
1979 = NAND(1919, 1941)
|
|
1980 = NAND(1921, 1942)
|
|
1985 = NOT(1933)
|
|
1987 = NOT(1936)
|
|
1999 = NOT(1944)
|
|
2000 = NAND(1944, 1937)
|
|
2002 = NOT(1947)
|
|
2003 = NAND(1947, 1499)
|
|
2004 = NAND(1953, 1350)
|
|
2005 = NOT(1953)
|
|
2006 = NAND(1950, 1351)
|
|
2007 = NOT(1950)
|
|
2008 = NAND(673, 1976)
|
|
2009 = NAND(670, 1978)
|
|
2012 = NOT(1979)
|
|
2013 = NOT(1958)
|
|
2014 = NAND(1958, 1923)
|
|
2015 = NOT(1961)
|
|
2016 = NAND(1961, 1635)
|
|
2018 = NOT(1965)
|
|
2019 = NOT(1968)
|
|
2020 = NAND(1898, 1999)
|
|
2021 = NOT(1987)
|
|
2022 = NAND(1987, 1591)
|
|
2023 = NAND(1440, 2002)
|
|
2024 = NAND(1261, 2005)
|
|
2025 = NAND(1258, 2007)
|
|
2026 = NAND(1975, 2008)
|
|
2027 = NAND(1977, 2009)
|
|
2030 = NOT(1980)
|
|
2033 = BUFF(1980)
|
|
2036 = NAND(1875, 2013)
|
|
2037 = NAND(1571, 2015)
|
|
2038 = NAND(2020, 2000)
|
|
2039 = NAND(1534, 2021)
|
|
2040 = NAND(2023, 2003)
|
|
2041 = NAND(2004, 2024)
|
|
2042 = NAND(2006, 2025)
|
|
2047 = NOT(2026)
|
|
2052 = NAND(2036, 2014)
|
|
2055 = NAND(2037, 2016)
|
|
2060 = NOT(2038)
|
|
2061 = NAND(2039, 2022)
|
|
2062 = NAND(2040, 290)
|
|
2067 = NOT(2041)
|
|
2068 = NOT(2027)
|
|
2071 = BUFF(2027)
|
|
2076 = NOT(2052)
|
|
2077 = NOT(2055)
|
|
2078 = NAND(2060, 290)
|
|
2081 = NAND(2061, 290)
|
|
2086 = NOT(2042)
|
|
2089 = BUFF(2042)
|
|
2104 = AND(2030, 2068)
|
|
2119 = AND(2033, 2068)
|
|
2129 = AND(2030, 2071)
|
|
2143 = AND(2033, 2071)
|
|
2148 = BUFF(2062)
|
|
2151 = BUFF(2062)
|
|
2196 = BUFF(2078)
|
|
2199 = BUFF(2078)
|
|
2202 = BUFF(2081)
|
|
2205 = BUFF(2081)
|
|
2214 = NAND(2151, 915)
|
|
2215 = NOT(2151)
|
|
2216 = NAND(2148, 916)
|
|
2217 = NOT(2148)
|
|
2222 = NAND(2199, 1348)
|
|
2223 = NOT(2199)
|
|
2224 = NAND(2196, 1349)
|
|
2225 = NOT(2196)
|
|
2226 = NAND(2205, 913)
|
|
2227 = NOT(2205)
|
|
2228 = NAND(2202, 914)
|
|
2229 = NOT(2202)
|
|
2230 = NAND(667, 2215)
|
|
2231 = NAND(664, 2217)
|
|
2232 = NAND(1255, 2223)
|
|
2233 = NAND(1252, 2225)
|
|
2234 = NAND(661, 2227)
|
|
2235 = NAND(658, 2229)
|
|
2236 = NAND(2214, 2230)
|
|
2237 = NAND(2216, 2231)
|
|
2240 = NAND(2222, 2232)
|
|
2241 = NAND(2224, 2233)
|
|
2244 = NAND(2226, 2234)
|
|
2245 = NAND(2228, 2235)
|
|
2250 = NOT(2236)
|
|
2253 = NOT(2240)
|
|
2256 = NOT(2244)
|
|
2257 = NOT(2237)
|
|
2260 = BUFF(2237)
|
|
2263 = NOT(2241)
|
|
2266 = AND(1164, 2241)
|
|
2269 = NOT(2245)
|
|
2272 = AND(1168, 2245)
|
|
2279 = NAND(2067, 2012, 2047, 2250, 899, 2256, 2253, 903)
|
|
2286 = BUFF(2266)
|
|
2297 = BUFF(2266)
|
|
2315 = BUFF(2272)
|
|
2326 = BUFF(2272)
|
|
2340 = AND(2086, 2257)
|
|
2353 = AND(2089, 2257)
|
|
2361 = AND(2086, 2260)
|
|
2375 = AND(2089, 2260)
|
|
2384 = AND(338, 2279, 313, 313)
|
|
2385 = AND(1163, 2263)
|
|
2386 = AND(1164, 2263)
|
|
2426 = AND(1167, 2269)
|
|
2427 = AND(1168, 2269)
|
|
2537 = NAND(2286, 2315, 2361, 2104, 1171)
|
|
2540 = NAND(2286, 2315, 2340, 2129, 1171)
|
|
2543 = NAND(2286, 2315, 2340, 2119, 1171)
|
|
2546 = NAND(2286, 2315, 2353, 2104, 1171)
|
|
2549 = NAND(2297, 2315, 2375, 2119, 1188)
|
|
2552 = NAND(2297, 2326, 2361, 2143, 1188)
|
|
2555 = NAND(2297, 2326, 2375, 2129, 1188)
|
|
2558 = AND(2286, 2315, 2361, 2104, 1171)
|
|
2561 = AND(2286, 2315, 2340, 2129, 1171)
|
|
2564 = AND(2286, 2315, 2340, 2119, 1171)
|
|
2567 = AND(2286, 2315, 2353, 2104, 1171)
|
|
2570 = AND(2297, 2315, 2375, 2119, 1188)
|
|
2573 = AND(2297, 2326, 2361, 2143, 1188)
|
|
2576 = AND(2297, 2326, 2375, 2129, 1188)
|
|
2594 = NAND(2286, 2427, 2361, 2129, 1171)
|
|
2597 = NAND(2297, 2427, 2361, 2119, 1171)
|
|
2600 = NAND(2297, 2427, 2375, 2104, 1171)
|
|
2603 = NAND(2297, 2427, 2340, 2143, 1171)
|
|
2606 = NAND(2297, 2427, 2353, 2129, 1188)
|
|
2611 = NAND(2386, 2326, 2361, 2129, 1188)
|
|
2614 = NAND(2386, 2326, 2361, 2119, 1188)
|
|
2617 = NAND(2386, 2326, 2375, 2104, 1188)
|
|
2620 = NAND(2386, 2326, 2353, 2129, 1188)
|
|
2627 = NAND(2297, 2427, 2340, 2104, 926)
|
|
2628 = NAND(2386, 2326, 2340, 2104, 926)
|
|
2629 = NAND(2386, 2427, 2361, 2104, 926)
|
|
2630 = NAND(2386, 2427, 2340, 2129, 926)
|
|
2631 = NAND(2386, 2427, 2340, 2119, 926)
|
|
2632 = NAND(2386, 2427, 2353, 2104, 926)
|
|
2633 = NAND(2386, 2426, 2340, 2104, 926)
|
|
2634 = NAND(2385, 2427, 2340, 2104, 926)
|
|
2639 = AND(2286, 2427, 2361, 2129, 1171)
|
|
2642 = AND(2297, 2427, 2361, 2119, 1171)
|
|
2645 = AND(2297, 2427, 2375, 2104, 1171)
|
|
2648 = AND(2297, 2427, 2340, 2143, 1171)
|
|
2651 = AND(2297, 2427, 2353, 2129, 1188)
|
|
2655 = AND(2386, 2326, 2361, 2129, 1188)
|
|
2658 = AND(2386, 2326, 2361, 2119, 1188)
|
|
2661 = AND(2386, 2326, 2375, 2104, 1188)
|
|
2664 = AND(2386, 2326, 2353, 2129, 1188)
|
|
2669 = NAND(2558, 534)
|
|
2670 = NOT(2558)
|
|
2671 = NAND(2561, 535)
|
|
2672 = NOT(2561)
|
|
2673 = NAND(2564, 536)
|
|
2674 = NOT(2564)
|
|
2675 = NAND(2567, 537)
|
|
2676 = NOT(2567)
|
|
2682 = NAND(2570, 543)
|
|
2683 = NOT(2570)
|
|
2688 = NAND(2573, 548)
|
|
2689 = NOT(2573)
|
|
2690 = NAND(2576, 549)
|
|
2691 = NOT(2576)
|
|
2710 = AND(2627, 2628, 2629, 2630, 2631, 2632, 2633, 2634)
|
|
2720 = NAND(343, 2670)
|
|
2721 = NAND(346, 2672)
|
|
2722 = NAND(349, 2674)
|
|
2723 = NAND(352, 2676)
|
|
2724 = NAND(2639, 538)
|
|
2725 = NOT(2639)
|
|
2726 = NAND(2642, 539)
|
|
2727 = NOT(2642)
|
|
2728 = NAND(2645, 540)
|
|
2729 = NOT(2645)
|
|
2730 = NAND(2648, 541)
|
|
2731 = NOT(2648)
|
|
2732 = NAND(2651, 542)
|
|
2733 = NOT(2651)
|
|
2734 = NAND(370, 2683)
|
|
2735 = NAND(2655, 544)
|
|
2736 = NOT(2655)
|
|
2737 = NAND(2658, 545)
|
|
2738 = NOT(2658)
|
|
2739 = NAND(2661, 546)
|
|
2740 = NOT(2661)
|
|
2741 = NAND(2664, 547)
|
|
2742 = NOT(2664)
|
|
2743 = NAND(385, 2689)
|
|
2744 = NAND(388, 2691)
|
|
2745 = NAND(2537, 2540, 2543, 2546, 2594, 2597, 2600, 2603)
|
|
2746 = NAND(2606, 2549, 2611, 2614, 2617, 2620, 2552, 2555)
|
|
2747 = AND(2537, 2540, 2543, 2546, 2594, 2597, 2600, 2603)
|
|
2750 = AND(2606, 2549, 2611, 2614, 2617, 2620, 2552, 2555)
|
|
2753 = NAND(2669, 2720)
|
|
2754 = NAND(2671, 2721)
|
|
2755 = NAND(2673, 2722)
|
|
2756 = NAND(2675, 2723)
|
|
2757 = NAND(355, 2725)
|
|
2758 = NAND(358, 2727)
|
|
2759 = NAND(361, 2729)
|
|
2760 = NAND(364, 2731)
|
|
2761 = NAND(367, 2733)
|
|
2762 = NAND(2682, 2734)
|
|
2763 = NAND(373, 2736)
|
|
2764 = NAND(376, 2738)
|
|
2765 = NAND(379, 2740)
|
|
2766 = NAND(382, 2742)
|
|
2767 = NAND(2688, 2743)
|
|
2768 = NAND(2690, 2744)
|
|
2773 = AND(2745, 275)
|
|
2776 = AND(2746, 276)
|
|
2779 = NAND(2724, 2757)
|
|
2780 = NAND(2726, 2758)
|
|
2781 = NAND(2728, 2759)
|
|
2782 = NAND(2730, 2760)
|
|
2783 = NAND(2732, 2761)
|
|
2784 = NAND(2735, 2763)
|
|
2785 = NAND(2737, 2764)
|
|
2786 = NAND(2739, 2765)
|
|
2787 = NAND(2741, 2766)
|
|
2788 = AND(2747, 2750, 2710)
|
|
2789 = NAND(2747, 2750)
|
|
2800 = AND(338, 2279, 99, 2788)
|
|
2807 = NAND(2773, 2018)
|
|
2808 = NOT(2773)
|
|
2809 = NAND(2776, 2019)
|
|
2810 = NOT(2776)
|
|
2811 = NOR(2384, 2800)
|
|
2812 = AND(897, 283, 2789)
|
|
2815 = AND(76, 283, 2789)
|
|
2818 = AND(82, 283, 2789)
|
|
2821 = AND(85, 283, 2789)
|
|
2824 = AND(898, 283, 2789)
|
|
2827 = NAND(1965, 2808)
|
|
2828 = NAND(1968, 2810)
|
|
2829 = AND(79, 283, 2789)
|
|
2843 = NAND(2807, 2827)
|
|
2846 = NAND(2809, 2828)
|
|
2850 = NAND(2812, 2076)
|
|
2851 = NAND(2815, 2077)
|
|
2852 = NAND(2818, 1915)
|
|
2853 = NAND(2821, 1857)
|
|
2854 = NAND(2824, 1938)
|
|
2857 = NOT(2812)
|
|
2858 = NOT(2815)
|
|
2859 = NOT(2818)
|
|
2860 = NOT(2821)
|
|
2861 = NOT(2824)
|
|
2862 = NOT(2829)
|
|
2863 = NAND(2829, 1985)
|
|
2866 = NAND(2052, 2857)
|
|
2867 = NAND(2055, 2858)
|
|
2868 = NAND(1866, 2859)
|
|
2869 = NAND(1818, 2860)
|
|
2870 = NAND(1902, 2861)
|
|
2871 = NAND(2843, 886)
|
|
2872 = NOT(2843)
|
|
2873 = NAND(2846, 887)
|
|
2874 = NOT(2846)
|
|
2875 = NAND(1933, 2862)
|
|
2876 = NAND(2866, 2850)
|
|
2877 = NAND(2867, 2851)
|
|
2878 = NAND(2868, 2852)
|
|
2879 = NAND(2869, 2853)
|
|
2880 = NAND(2870, 2854)
|
|
2881 = NAND(682, 2872)
|
|
2882 = NAND(685, 2874)
|
|
2883 = NAND(2875, 2863)
|
|
2886 = AND(2876, 550)
|
|
2887 = AND(551, 2877)
|
|
2888 = AND(553, 2878)
|
|
2889 = AND(2879, 554)
|
|
2890 = AND(555, 2880)
|
|
2891 = NAND(2871, 2881)
|
|
2892 = NAND(2873, 2882)
|
|
2895 = NAND(2883, 1461)
|
|
2896 = NOT(2883)
|
|
2897 = NAND(1383, 2896)
|
|
2898 = NAND(2895, 2897)
|
|
2899 = AND(2898, 552)
|