atpg-ls/benchmark/c5315.bench

# c5315

INPUT(1)
INPUT(4)
INPUT(11)
INPUT(14)
INPUT(17)
INPUT(20)
INPUT(23)
INPUT(24)
INPUT(25)
INPUT(26)
INPUT(27)
INPUT(31)
INPUT(34)
INPUT(37)
INPUT(40)
INPUT(43)
INPUT(46)
INPUT(49)
INPUT(52)
INPUT(53)
INPUT(54)
INPUT(61)
INPUT(64)
INPUT(67)
INPUT(70)
INPUT(73)
INPUT(76)
INPUT(79)
INPUT(80)
INPUT(81)
INPUT(82)
INPUT(83)
INPUT(86)
INPUT(87)
INPUT(88)
INPUT(91)
INPUT(94)
INPUT(97)
INPUT(100)
INPUT(103)
INPUT(106)
INPUT(109)
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(126)
INPUT(127)
INPUT(128)
INPUT(129)
INPUT(130)
INPUT(131)
INPUT(132)
INPUT(135)
INPUT(136)
INPUT(137)
INPUT(140)
INPUT(141)
INPUT(145)
INPUT(146)
INPUT(149)
INPUT(152)
INPUT(155)
INPUT(158)
INPUT(161)
INPUT(164)
INPUT(167)
INPUT(170)
INPUT(173)
INPUT(176)
INPUT(179)
INPUT(182)
INPUT(185)
INPUT(188)
INPUT(191)
INPUT(194)
INPUT(197)
INPUT(200)
INPUT(203)
INPUT(206)
INPUT(209)
INPUT(210)
INPUT(217)
INPUT(218)
INPUT(225)
INPUT(226)
INPUT(233)
INPUT(234)
INPUT(241)
INPUT(242)
INPUT(245)
INPUT(248)
INPUT(251)
INPUT(254)
INPUT(257)
INPUT(264)
INPUT(265)
INPUT(272)
INPUT(273)
INPUT(280)
INPUT(281)
INPUT(288)
INPUT(289)
INPUT(292)
INPUT(293)
INPUT(299)
INPUT(302)
INPUT(307)
INPUT(308)
INPUT(315)
INPUT(316)
INPUT(323)
INPUT(324)
INPUT(331)
INPUT(332)
INPUT(335)
INPUT(338)
INPUT(341)
INPUT(348)
INPUT(351)
INPUT(358)
INPUT(361)
INPUT(366)
INPUT(369)
INPUT(372)
INPUT(373)
INPUT(374)
INPUT(386)
INPUT(389)
INPUT(400)
INPUT(411)
INPUT(422)
INPUT(435)
INPUT(446)
INPUT(457)
INPUT(468)
INPUT(479)
INPUT(490)
INPUT(503)
INPUT(514)
INPUT(523)
INPUT(534)
INPUT(545)
INPUT(549)
INPUT(552)
INPUT(556)
INPUT(559)
INPUT(562)
INPUT(566)
INPUT(571)
INPUT(574)
INPUT(577)
INPUT(580)
INPUT(583)
INPUT(588)
INPUT(591)
INPUT(592)
INPUT(595)
INPUT(596)
INPUT(597)
INPUT(598)
INPUT(599)
INPUT(603)
INPUT(607)
INPUT(610)
INPUT(613)
INPUT(616)
INPUT(619)
INPUT(625)
INPUT(631)

OUTPUT(709)
OUTPUT(816)
OUTPUT(1066)
OUTPUT(1137)
OUTPUT(1138)
OUTPUT(1139)
OUTPUT(1140)
OUTPUT(1141)
OUTPUT(1142)
OUTPUT(1143)
OUTPUT(1144)
OUTPUT(1145)
OUTPUT(1147)
OUTPUT(1152)
OUTPUT(1153)
OUTPUT(1154)
OUTPUT(1155)
OUTPUT(1972)
OUTPUT(2054)
OUTPUT(2060)
OUTPUT(2061)
OUTPUT(2139)
OUTPUT(2142)
OUTPUT(2309)
OUTPUT(2387)
OUTPUT(2527)
OUTPUT(2584)
OUTPUT(2590)
OUTPUT(2623)
OUTPUT(3357)
OUTPUT(3358)
OUTPUT(3359)
OUTPUT(3360)
OUTPUT(3604)
OUTPUT(3613)
OUTPUT(4272)
OUTPUT(4275)
OUTPUT(4278)
OUTPUT(4279)
OUTPUT(4737)
OUTPUT(4738)
OUTPUT(4739)
OUTPUT(4740)
OUTPUT(5240)
OUTPUT(5388)
OUTPUT(6641)
OUTPUT(6643)
OUTPUT(6646)
OUTPUT(6648)
OUTPUT(6716)
OUTPUT(6877)
OUTPUT(6924)
OUTPUT(6925)
OUTPUT(6926)
OUTPUT(6927)
OUTPUT(7015)
OUTPUT(7363)
OUTPUT(7365)
OUTPUT(7432)
OUTPUT(7449)
OUTPUT(7465)
OUTPUT(7466)
OUTPUT(7467)
OUTPUT(7469)
OUTPUT(7470)
OUTPUT(7471)
OUTPUT(7472)
OUTPUT(7473)
OUTPUT(7474)
OUTPUT(7476)
OUTPUT(7503)
OUTPUT(7504)
OUTPUT(7506)
OUTPUT(7511)
OUTPUT(7515)
OUTPUT(7516)
OUTPUT(7517)
OUTPUT(7518)
OUTPUT(7519)
OUTPUT(7520)
OUTPUT(7521)
OUTPUT(7522)
OUTPUT(7600)
OUTPUT(7601)
OUTPUT(7602)
OUTPUT(7603)
OUTPUT(7604)
OUTPUT(7605)
OUTPUT(7606)
OUTPUT(7607)
OUTPUT(7626)
OUTPUT(7698)
OUTPUT(7699)
OUTPUT(7700)
OUTPUT(7701)
OUTPUT(7702)
OUTPUT(7703)
OUTPUT(7704)
OUTPUT(7705)
OUTPUT(7706)
OUTPUT(7707)
OUTPUT(7735)
OUTPUT(7736)
OUTPUT(7737)
OUTPUT(7738)
OUTPUT(7739)
OUTPUT(7740)
OUTPUT(7741)
OUTPUT(7742)
OUTPUT(7754)
OUTPUT(7755)
OUTPUT(7756)
OUTPUT(7757)
OUTPUT(7758)
OUTPUT(7759)
OUTPUT(7760)
OUTPUT(7761)
OUTPUT(8075)
OUTPUT(8076)
OUTPUT(8123)
OUTPUT(8124)
OUTPUT(8127)
OUTPUT(8128)

709 = BUFF(141)
816 = BUFF(293)
1042 = AND(135, 631)
1043 = NOT(591)
1066 = BUFF(592)
1067 = NOT(595)
1080 = NOT(596)
1092 = NOT(597)
1104 = NOT(598)
1137 = NOT(545)
1138 = NOT(348)
1139 = NOT(366)
1140 = AND(552, 562)
1141 = NOT(549)
1142 = NOT(545)
1143 = NOT(545)
1144 = NOT(338)
1145 = NOT(358)
1146 = NAND(373, 1)
1147 = AND(141, 145)
1148 = NOT(592)
1149 = NOT(1042)
1150 = AND(1043, 27)
1151 = AND(386, 556)
1152 = NOT(245)
1153 = NOT(552)
1154 = NOT(562)
1155 = NOT(559)
1156 = AND(386, 559, 556, 552)
1157 = NOT(566)
1161 = BUFF(571)
1173 = BUFF(574)
1185 = BUFF(571)
1197 = BUFF(574)
1209 = BUFF(137)
1213 = BUFF(137)
1216 = BUFF(141)
1219 = NOT(583)
1223 = BUFF(577)
1235 = BUFF(580)
1247 = BUFF(577)
1259 = BUFF(580)
1271 = BUFF(254)
1280 = BUFF(251)
1292 = BUFF(251)
1303 = BUFF(248)
1315 = BUFF(248)
1327 = BUFF(610)
1339 = BUFF(607)
1351 = BUFF(613)
1363 = BUFF(616)
1375 = BUFF(210)
1378 = BUFF(210)
1381 = BUFF(218)
1384 = BUFF(218)
1387 = BUFF(226)
1390 = BUFF(226)
1393 = BUFF(234)
1396 = BUFF(234)
1415 = BUFF(257)
1418 = BUFF(257)
1421 = BUFF(265)
1424 = BUFF(265)
1427 = BUFF(273)
1430 = BUFF(273)
1433 = BUFF(281)
1436 = BUFF(281)
1455 = BUFF(335)
1462 = BUFF(335)
1469 = BUFF(206)
1475 = AND(27, 31)
1479 = BUFF(1)
1482 = BUFF(588)
1492 = BUFF(293)
1495 = BUFF(302)
1498 = BUFF(308)
1501 = BUFF(308)
1504 = BUFF(316)
1507 = BUFF(316)
1510 = BUFF(324)
1513 = BUFF(324)
1516 = BUFF(341)
1519 = BUFF(341)
1522 = BUFF(351)
1525 = BUFF(351)
1542 = BUFF(257)
1545 = BUFF(257)
1548 = BUFF(265)
1551 = BUFF(265)
1554 = BUFF(273)
1557 = BUFF(273)
1560 = BUFF(281)
1563 = BUFF(281)
1566 = BUFF(332)
1573 = BUFF(332)
1580 = BUFF(549)
1583 = AND(31, 27)
1588 = NOT(588)
1594 = BUFF(324)
1597 = BUFF(324)
1600 = BUFF(341)
1603 = BUFF(341)
1606 = BUFF(351)
1609 = BUFF(351)
1612 = BUFF(293)
1615 = BUFF(302)
1618 = BUFF(308)
1621 = BUFF(308)
1624 = BUFF(316)
1627 = BUFF(316)
1630 = BUFF(361)
1633 = BUFF(361)
1636 = BUFF(210)
1639 = BUFF(210)
1642 = BUFF(218)
1645 = BUFF(218)
1648 = BUFF(226)
1651 = BUFF(226)
1654 = BUFF(234)
1657 = BUFF(234)
1660 = NOT(324)
1663 = BUFF(242)
1675 = BUFF(242)
1685 = BUFF(254)
1697 = BUFF(610)
1709 = BUFF(607)
1721 = BUFF(625)
1727 = BUFF(619)
1731 = BUFF(613)
1743 = BUFF(616)
1755 = NOT(599)
1758 = NOT(603)
1761 = BUFF(619)
1769 = BUFF(625)
1777 = BUFF(619)
1785 = BUFF(625)
1793 = BUFF(619)
1800 = BUFF(625)
1807 = BUFF(619)
1814 = BUFF(625)
1821 = BUFF(299)
1824 = BUFF(446)
1827 = BUFF(457)
1830 = BUFF(468)
1833 = BUFF(422)
1836 = BUFF(435)
1839 = BUFF(389)
1842 = BUFF(400)
1845 = BUFF(411)
1848 = BUFF(374)
1851 = BUFF(4)
1854 = BUFF(446)
1857 = BUFF(457)
1860 = BUFF(468)
1863 = BUFF(435)
1866 = BUFF(389)
1869 = BUFF(400)
1872 = BUFF(411)
1875 = BUFF(422)
1878 = BUFF(374)
1881 = BUFF(479)
1884 = BUFF(490)
1887 = BUFF(503)
1890 = BUFF(514)
1893 = BUFF(523)
1896 = BUFF(534)
1899 = BUFF(54)
1902 = BUFF(479)
1905 = BUFF(503)
1908 = BUFF(514)
1911 = BUFF(523)
1914 = BUFF(534)
1917 = BUFF(490)
1920 = BUFF(361)
1923 = BUFF(369)
1926 = BUFF(341)
1929 = BUFF(351)
1932 = BUFF(308)
1935 = BUFF(316)
1938 = BUFF(293)
1941 = BUFF(302)
1944 = BUFF(281)
1947 = BUFF(289)
1950 = BUFF(265)
1953 = BUFF(273)
1956 = BUFF(234)
1959 = BUFF(257)
1962 = BUFF(218)
1965 = BUFF(226)
1968 = BUFF(210)
1972 = NOT(1146)
2054 = AND(136, 1148)
2060 = NOT(1150)
2061 = NOT(1151)
2139 = BUFF(1209)
2142 = BUFF(1216)
2309 = BUFF(1479)
2349 = AND(1104, 514)
2350 = OR(1067, 514)
2387 = BUFF(1580)
2527 = BUFF(1821)
2584 = NOT(1580)
2585 = AND(170, 1161, 1173)
2586 = AND(173, 1161, 1173)
2587 = AND(167, 1161, 1173)
2588 = AND(164, 1161, 1173)
2589 = AND(161, 1161, 1173)
2590 = NAND(1475, 140)
2591 = AND(185, 1185, 1197)
2592 = AND(158, 1185, 1197)
2593 = AND(152, 1185, 1197)
2594 = AND(146, 1185, 1197)
2595 = AND(170, 1223, 1235)
2596 = AND(173, 1223, 1235)
2597 = AND(167, 1223, 1235)
2598 = AND(164, 1223, 1235)
2599 = AND(161, 1223, 1235)
2600 = AND(185, 1247, 1259)
2601 = AND(158, 1247, 1259)
2602 = AND(152, 1247, 1259)
2603 = AND(146, 1247, 1259)
2604 = AND(106, 1731, 1743)
2605 = AND(61, 1327, 1339)
2606 = AND(106, 1697, 1709)
2607 = AND(49, 1697, 1709)
2608 = AND(103, 1697, 1709)
2609 = AND(40, 1697, 1709)
2610 = AND(37, 1697, 1709)
2611 = AND(20, 1327, 1339)
2612 = AND(17, 1327, 1339)
2613 = AND(70, 1327, 1339)
2614 = AND(64, 1327, 1339)
2615 = AND(49, 1731, 1743)
2616 = AND(103, 1731, 1743)
2617 = AND(40, 1731, 1743)
2618 = AND(37, 1731, 1743)
2619 = AND(20, 1351, 1363)
2620 = AND(17, 1351, 1363)
2621 = AND(70, 1351, 1363)
2622 = AND(64, 1351, 1363)
2623 = NOT(1475)
2624 = AND(123, 1758, 599)
2625 = AND(1777, 1785)
2626 = AND(61, 1351, 1363)
2627 = AND(1761, 1769)
2628 = NOT(1824)
2629 = NOT(1827)
2630 = NOT(1830)
2631 = NOT(1833)
2632 = NOT(1836)
2633 = NOT(1839)
2634 = NOT(1842)
2635 = NOT(1845)
2636 = NOT(1848)
2637 = NOT(1851)
2638 = NOT(1854)
2639 = NOT(1857)
2640 = NOT(1860)
2641 = NOT(1863)
2642 = NOT(1866)
2643 = NOT(1869)
2644 = NOT(1872)
2645 = NOT(1875)
2646 = NOT(1878)
2647 = BUFF(1209)
2653 = NOT(1161)
2664 = NOT(1173)
2675 = BUFF(1209)
2681 = NOT(1185)
2692 = NOT(1197)
2703 = AND(179, 1185, 1197)
2704 = BUFF(1479)
2709 = NOT(1881)
2710 = NOT(1884)
2711 = NOT(1887)
2712 = NOT(1890)
2713 = NOT(1893)
2714 = NOT(1896)
2715 = NOT(1899)
2716 = NOT(1902)
2717 = NOT(1905)
2718 = NOT(1908)
2719 = NOT(1911)
2720 = NOT(1914)
2721 = NOT(1917)
2722 = BUFF(1213)
2728 = NOT(1223)
2739 = NOT(1235)
2750 = BUFF(1213)
2756 = NOT(1247)
2767 = NOT(1259)
2778 = AND(179, 1247, 1259)
2779 = NOT(1327)
2790 = NOT(1339)
2801 = NOT(1351)
2812 = NOT(1363)
2823 = NOT(1375)
2824 = NOT(1378)
2825 = NOT(1381)
2826 = NOT(1384)
2827 = NOT(1387)
2828 = NOT(1390)
2829 = NOT(1393)
2830 = NOT(1396)
2831 = AND(1104, 457, 1378)
2832 = AND(1104, 468, 1384)
2833 = AND(1104, 422, 1390)
2834 = AND(1104, 435, 1396)
2835 = AND(1067, 1375)
2836 = AND(1067, 1381)
2837 = AND(1067, 1387)
2838 = AND(1067, 1393)
2839 = NOT(1415)
2840 = NOT(1418)
2841 = NOT(1421)
2842 = NOT(1424)
2843 = NOT(1427)
2844 = NOT(1430)
2845 = NOT(1433)
2846 = NOT(1436)
2847 = AND(1104, 389, 1418)
2848 = AND(1104, 400, 1424)
2849 = AND(1104, 411, 1430)
2850 = AND(1104, 374, 1436)
2851 = AND(1067, 1415)
2852 = AND(1067, 1421)
2853 = AND(1067, 1427)
2854 = AND(1067, 1433)
2855 = NOT(1455)
2861 = NOT(1462)
2867 = AND(292, 1455)
2868 = AND(288, 1455)
2869 = AND(280, 1455)
2870 = AND(272, 1455)
2871 = AND(264, 1455)
2872 = AND(241, 1462)
2873 = AND(233, 1462)
2874 = AND(225, 1462)
2875 = AND(217, 1462)
2876 = AND(209, 1462)
2877 = BUFF(1216)
2882 = NOT(1482)
2891 = NOT(1475)
2901 = NOT(1492)
2902 = NOT(1495)
2903 = NOT(1498)
2904 = NOT(1501)
2905 = NOT(1504)
2906 = NOT(1507)
2907 = AND(1303, 1495)
2908 = AND(1303, 479, 1501)
2909 = AND(1303, 490, 1507)
2910 = AND(1663, 1492)
2911 = AND(1663, 1498)
2912 = AND(1663, 1504)
2913 = NOT(1510)
2914 = NOT(1513)
2915 = NOT(1516)
2916 = NOT(1519)
2917 = NOT(1522)
2918 = NOT(1525)
2919 = AND(1104, 503, 1513)
2920 = NOT(2349)
2921 = AND(1104, 523, 1519)
2922 = AND(1104, 534, 1525)
2923 = AND(1067, 1510)
2924 = AND(1067, 1516)
2925 = AND(1067, 1522)
2926 = NOT(1542)
2927 = NOT(1545)
2928 = NOT(1548)
2929 = NOT(1551)
2930 = NOT(1554)
2931 = NOT(1557)
2932 = NOT(1560)
2933 = NOT(1563)
2934 = AND(1303, 389, 1545)
2935 = AND(1303, 400, 1551)
2936 = AND(1303, 411, 1557)
2937 = AND(1303, 374, 1563)
2938 = AND(1663, 1542)
2939 = AND(1663, 1548)
2940 = AND(1663, 1554)
2941 = AND(1663, 1560)
2942 = NOT(1566)
2948 = NOT(1573)
2954 = AND(372, 1566)
2955 = AND(366, 1566)
2956 = AND(358, 1566)
2957 = AND(348, 1566)
2958 = AND(338, 1566)
2959 = AND(331, 1573)
2960 = AND(323, 1573)
2961 = AND(315, 1573)
2962 = AND(307, 1573)
2963 = AND(299, 1573)
2964 = NOT(1588)
2969 = AND(83, 1588)
2970 = AND(86, 1588)
2971 = AND(88, 1588)
2972 = AND(88, 1588)
2973 = NOT(1594)
2974 = NOT(1597)
2975 = NOT(1600)
2976 = NOT(1603)
2977 = NOT(1606)
2978 = NOT(1609)
2979 = AND(1315, 503, 1597)
2980 = AND(1315, 514)
2981 = AND(1315, 523, 1603)
2982 = AND(1315, 534, 1609)
2983 = AND(1675, 1594)
2984 = OR(1675, 514)
2985 = AND(1675, 1600)
2986 = AND(1675, 1606)
2987 = NOT(1612)
2988 = NOT(1615)
2989 = NOT(1618)
2990 = NOT(1621)
2991 = NOT(1624)
2992 = NOT(1627)
2993 = AND(1315, 1615)
2994 = AND(1315, 479, 1621)
2995 = AND(1315, 490, 1627)
2996 = AND(1675, 1612)
2997 = AND(1675, 1618)
2998 = AND(1675, 1624)
2999 = NOT(1630)
3000 = BUFF(1469)
3003 = BUFF(1469)
3006 = NOT(1633)
3007 = BUFF(1469)
3010 = BUFF(1469)
3013 = AND(1315, 1630)
3014 = AND(1315, 1633)
3015 = NOT(1636)
3016 = NOT(1639)
3017 = NOT(1642)
3018 = NOT(1645)
3019 = NOT(1648)
3020 = NOT(1651)
3021 = NOT(1654)
3022 = NOT(1657)
3023 = AND(1303, 457, 1639)
3024 = AND(1303, 468, 1645)
3025 = AND(1303, 422, 1651)
3026 = AND(1303, 435, 1657)
3027 = AND(1663, 1636)
3028 = AND(1663, 1642)
3029 = AND(1663, 1648)
3030 = AND(1663, 1654)
3031 = NOT(1920)
3032 = NOT(1923)
3033 = NOT(1926)
3034 = NOT(1929)
3035 = BUFF(1660)
3038 = BUFF(1660)
3041 = NOT(1697)
3052 = NOT(1709)
3063 = NOT(1721)
3068 = NOT(1727)
3071 = AND(97, 1721)
3072 = AND(94, 1721)
3073 = AND(97, 1721)
3074 = AND(94, 1721)
3075 = NOT(1731)
3086 = NOT(1743)
3097 = NOT(1761)
3108 = NOT(1769)
3119 = NOT(1777)
3130 = NOT(1785)
3141 = NOT(1944)
3142 = NOT(1947)
3143 = NOT(1950)
3144 = NOT(1953)
3145 = NOT(1956)
3146 = NOT(1959)
3147 = NOT(1793)
3158 = NOT(1800)
3169 = NOT(1807)
3180 = NOT(1814)
3191 = BUFF(1821)
3194 = NOT(1932)
3195 = NOT(1935)
3196 = NOT(1938)
3197 = NOT(1941)
3198 = NOT(1962)
3199 = NOT(1965)
3200 = BUFF(1469)
3203 = NOT(1968)
3357 = BUFF(2704)
3358 = BUFF(2704)
3359 = BUFF(2704)
3360 = BUFF(2704)
3401 = AND(457, 1092, 2824)
3402 = AND(468, 1092, 2826)
3403 = AND(422, 1092, 2828)
3404 = AND(435, 1092, 2830)
3405 = AND(1080, 2823)
3406 = AND(1080, 2825)
3407 = AND(1080, 2827)
3408 = AND(1080, 2829)
3409 = AND(389, 1092, 2840)
3410 = AND(400, 1092, 2842)
3411 = AND(411, 1092, 2844)
3412 = AND(374, 1092, 2846)
3413 = AND(1080, 2839)
3414 = AND(1080, 2841)
3415 = AND(1080, 2843)
3416 = AND(1080, 2845)
3444 = AND(1280, 2902)
3445 = AND(479, 1280, 2904)
3446 = AND(490, 1280, 2906)
3447 = AND(1685, 2901)
3448 = AND(1685, 2903)
3449 = AND(1685, 2905)
3450 = AND(503, 1092, 2914)
3451 = AND(523, 1092, 2916)
3452 = AND(534, 1092, 2918)
3453 = AND(1080, 2913)
3454 = AND(1080, 2915)
3455 = AND(1080, 2917)
3456 = AND(2920, 2350)
3459 = AND(389, 1280, 2927)
3460 = AND(400, 1280, 2929)
3461 = AND(411, 1280, 2931)
3462 = AND(374, 1280, 2933)
3463 = AND(1685, 2926)
3464 = AND(1685, 2928)
3465 = AND(1685, 2930)
3466 = AND(1685, 2932)
3481 = AND(503, 1292, 2974)
3482 = NOT(2980)
3483 = AND(523, 1292, 2976)
3484 = AND(534, 1292, 2978)
3485 = AND(1271, 2973)
3486 = AND(1271, 2975)
3487 = AND(1271, 2977)
3488 = AND(1292, 2988)
3489 = AND(479, 1292, 2990)
3490 = AND(490, 1292, 2992)
3491 = AND(1271, 2987)
3492 = AND(1271, 2989)
3493 = AND(1271, 2991)
3502 = AND(1292, 2999)
3503 = AND(1292, 3006)
3504 = AND(457, 1280, 3016)
3505 = AND(468, 1280, 3018)
3506 = AND(422, 1280, 3020)
3507 = AND(435, 1280, 3022)
3508 = AND(1685, 3015)
3509 = AND(1685, 3017)
3510 = AND(1685, 3019)
3511 = AND(1685, 3021)
3512 = NAND(1923, 3031)
3513 = NAND(1920, 3032)
3514 = NAND(1929, 3033)
3515 = NAND(1926, 3034)
3558 = NAND(1947, 3141)
3559 = NAND(1944, 3142)
3560 = NAND(1953, 3143)
3561 = NAND(1950, 3144)
3562 = NAND(1959, 3145)
3563 = NAND(1956, 3146)
3604 = BUFF(3191)
3605 = NAND(1935, 3194)
3606 = NAND(1932, 3195)
3607 = NAND(1941, 3196)
3608 = NAND(1938, 3197)
3609 = NAND(1965, 3198)
3610 = NAND(1962, 3199)
3613 = NOT(3191)
3614 = AND(2882, 2891)
3615 = AND(1482, 2891)
3616 = AND(200, 2653, 1173)
3617 = AND(203, 2653, 1173)
3618 = AND(197, 2653, 1173)
3619 = AND(194, 2653, 1173)
3620 = AND(191, 2653, 1173)
3621 = AND(182, 2681, 1197)
3622 = AND(188, 2681, 1197)
3623 = AND(155, 2681, 1197)
3624 = AND(149, 2681, 1197)
3625 = AND(2882, 2891)
3626 = AND(1482, 2891)
3627 = AND(200, 2728, 1235)
3628 = AND(203, 2728, 1235)
3629 = AND(197, 2728, 1235)
3630 = AND(194, 2728, 1235)
3631 = AND(191, 2728, 1235)
3632 = AND(182, 2756, 1259)
3633 = AND(188, 2756, 1259)
3634 = AND(155, 2756, 1259)
3635 = AND(149, 2756, 1259)
3636 = AND(2882, 2891)
3637 = AND(1482, 2891)
3638 = AND(109, 3075, 1743)
3639 = AND(2882, 2891)
3640 = AND(1482, 2891)
3641 = AND(11, 2779, 1339)
3642 = AND(109, 3041, 1709)
3643 = AND(46, 3041, 1709)
3644 = AND(100, 3041, 1709)
3645 = AND(91, 3041, 1709)
3646 = AND(43, 3041, 1709)
3647 = AND(76, 2779, 1339)
3648 = AND(73, 2779, 1339)
3649 = AND(67, 2779, 1339)
3650 = AND(14, 2779, 1339)
3651 = AND(46, 3075, 1743)
3652 = AND(100, 3075, 1743)
3653 = AND(91, 3075, 1743)
3654 = AND(43, 3075, 1743)
3655 = AND(76, 2801, 1363)
3656 = AND(73, 2801, 1363)
3657 = AND(67, 2801, 1363)
3658 = AND(14, 2801, 1363)
3659 = AND(120, 3119, 1785)
3660 = AND(11, 2801, 1363)
3661 = AND(118, 3097, 1769)
3662 = AND(176, 2681, 1197)
3663 = AND(176, 2756, 1259)
3664 = OR(2831, 3401)
3665 = OR(2832, 3402)
3666 = OR(2833, 3403)
3667 = OR(2834, 3404)
3668 = OR(2835, 3405, 457)
3669 = OR(2836, 3406, 468)
3670 = OR(2837, 3407, 422)
3671 = OR(2838, 3408, 435)
3672 = OR(2847, 3409)
3673 = OR(2848, 3410)
3674 = OR(2849, 3411)
3675 = OR(2850, 3412)
3676 = OR(2851, 3413, 389)
3677 = OR(2852, 3414, 400)
3678 = OR(2853, 3415, 411)
3679 = OR(2854, 3416, 374)
3680 = AND(289, 2855)
3681 = AND(281, 2855)
3682 = AND(273, 2855)
3683 = AND(265, 2855)
3684 = AND(257, 2855)
3685 = AND(234, 2861)
3686 = AND(226, 2861)
3687 = AND(218, 2861)
3688 = AND(210, 2861)
3689 = AND(206, 2861)
3691 = NOT(2891)
3700 = OR(2907, 3444)
3701 = OR(2908, 3445)
3702 = OR(2909, 3446)
3703 = OR(2911, 3448, 479)
3704 = OR(2912, 3449, 490)
3705 = OR(2910, 3447)
3708 = OR(2919, 3450)
3709 = OR(2921, 3451)
3710 = OR(2922, 3452)
3711 = OR(2923, 3453, 503)
3712 = OR(2924, 3454, 523)
3713 = OR(2925, 3455, 534)
3715 = OR(2934, 3459)
3716 = OR(2935, 3460)
3717 = OR(2936, 3461)
3718 = OR(2937, 3462)
3719 = OR(2938, 3463, 389)
3720 = OR(2939, 3464, 400)
3721 = OR(2940, 3465, 411)
3722 = OR(2941, 3466, 374)
3723 = AND(369, 2942)
3724 = AND(361, 2942)
3725 = AND(351, 2942)
3726 = AND(341, 2942)
3727 = AND(324, 2948)
3728 = AND(316, 2948)
3729 = AND(308, 2948)
3730 = AND(302, 2948)
3731 = AND(293, 2948)
3732 = OR(2942, 2958)
3738 = AND(83, 2964)
3739 = AND(87, 2964)
3740 = AND(34, 2964)
3741 = AND(34, 2964)
3742 = OR(2979, 3481)
3743 = OR(2981, 3483)
3744 = OR(2982, 3484)
3745 = OR(2983, 3485, 503)
3746 = OR(2985, 3486, 523)
3747 = OR(2986, 3487, 534)
3748 = OR(2993, 3488)
3749 = OR(2994, 3489)
3750 = OR(2995, 3490)
3751 = OR(2997, 3492, 479)
3752 = OR(2998, 3493, 490)
3753 = NOT(3000)
3754 = NOT(3003)
3755 = NOT(3007)
3756 = NOT(3010)
3757 = OR(3013, 3502)
3758 = AND(1315, 446, 3003)
3759 = OR(3014, 3503)
3760 = AND(1315, 446, 3010)
3761 = AND(1675, 3000)
3762 = AND(1675, 3007)
3763 = OR(3023, 3504)
3764 = OR(3024, 3505)
3765 = OR(3025, 3506)
3766 = OR(3026, 3507)
3767 = OR(3027, 3508, 457)
3768 = OR(3028, 3509, 468)
3769 = OR(3029, 3510, 422)
3770 = OR(3030, 3511, 435)
3771 = NAND(3512, 3513)
3775 = NAND(3514, 3515)
3779 = NOT(3035)
3780 = NOT(3038)
3781 = AND(117, 3097, 1769)
3782 = AND(126, 3097, 1769)
3783 = AND(127, 3097, 1769)
3784 = AND(128, 3097, 1769)
3785 = AND(131, 3119, 1785)
3786 = AND(129, 3119, 1785)
3787 = AND(119, 3119, 1785)
3788 = AND(130, 3119, 1785)
3789 = NAND(3558, 3559)
3793 = NAND(3560, 3561)
3797 = NAND(3562, 3563)
3800 = AND(122, 3147, 1800)
3801 = AND(113, 3147, 1800)
3802 = AND(53, 3147, 1800)
3803 = AND(114, 3147, 1800)
3804 = AND(115, 3147, 1800)
3805 = AND(52, 3169, 1814)
3806 = AND(112, 3169, 1814)
3807 = AND(116, 3169, 1814)
3808 = AND(121, 3169, 1814)
3809 = AND(123, 3169, 1814)
3810 = NAND(3607, 3608)
3813 = NAND(3605, 3606)
3816 = AND(3482, 2984)
3819 = OR(2996, 3491)
3822 = NOT(3200)
3823 = NAND(3200, 3203)
3824 = NAND(3609, 3610)
3827 = NOT(3456)
3828 = OR(3739, 2970)
3829 = OR(3740, 2971)
3830 = OR(3741, 2972)
3831 = OR(3738, 2969)
3834 = NOT(3664)
3835 = NOT(3665)
3836 = NOT(3666)
3837 = NOT(3667)
3838 = NOT(3672)
3839 = NOT(3673)
3840 = NOT(3674)
3841 = NOT(3675)
3842 = OR(3681, 2868)
3849 = OR(3682, 2869)
3855 = OR(3683, 2870)
3861 = OR(3684, 2871)
3867 = OR(3685, 2872)
3873 = OR(3686, 2873)
3881 = OR(3687, 2874)
3887 = OR(3688, 2875)
3893 = OR(3689, 2876)
3908 = NOT(3701)
3909 = NOT(3702)
3911 = NOT(3700)
3914 = NOT(3708)
3915 = NOT(3709)
3916 = NOT(3710)
3917 = NOT(3715)
3918 = NOT(3716)
3919 = NOT(3717)
3920 = NOT(3718)
3921 = OR(3724, 2955)
3927 = OR(3725, 2956)
3933 = OR(3726, 2957)
3942 = OR(3727, 2959)
3948 = OR(3728, 2960)
3956 = OR(3729, 2961)
3962 = OR(3730, 2962)
3968 = OR(3731, 2963)
3975 = NOT(3742)
3976 = NOT(3743)
3977 = NOT(3744)
3978 = NOT(3749)
3979 = NOT(3750)
3980 = AND(446, 1292, 3754)
3981 = AND(446, 1292, 3756)
3982 = AND(1271, 3753)
3983 = AND(1271, 3755)
3984 = NOT(3757)
3987 = NOT(3759)
3988 = NOT(3763)
3989 = NOT(3764)
3990 = NOT(3765)
3991 = NOT(3766)
3998 = AND(3456, 3119, 3130)
4008 = OR(3723, 2954)
4011 = OR(3680, 2867)
4021 = NOT(3748)
4024 = NAND(1968, 3822)
4027 = NOT(3705)
4031 = AND(3828, 1583)
4032 = AND(24, 2882, 3691)
4033 = AND(25, 1482, 3691)
4034 = AND(26, 2882, 3691)
4035 = AND(81, 1482, 3691)
4036 = AND(3829, 1583)
4037 = AND(79, 2882, 3691)
4038 = AND(23, 1482, 3691)
4039 = AND(82, 2882, 3691)
4040 = AND(80, 1482, 3691)
4041 = AND(3830, 1583)
4042 = AND(3831, 1583)
4067 = AND(3732, 514)
4080 = AND(514, 3732)
4088 = AND(3834, 3668)
4091 = AND(3835, 3669)
4094 = AND(3836, 3670)
4097 = AND(3837, 3671)
4100 = AND(3838, 3676)
4103 = AND(3839, 3677)
4106 = AND(3840, 3678)
4109 = AND(3841, 3679)
4144 = AND(3908, 3703)
4147 = AND(3909, 3704)
4150 = BUFF(3705)
4153 = AND(3914, 3711)
4156 = AND(3915, 3712)
4159 = AND(3916, 3713)
4183 = OR(3758, 3980)
4184 = OR(3760, 3981)
4185 = OR(3761, 3982, 446)
4186 = OR(3762, 3983, 446)
4188 = NOT(3771)
4191 = NOT(3775)
4196 = AND(3775, 3771, 3035)
4197 = AND(3987, 3119, 3130)
4198 = AND(3920, 3722)
4199 = NOT(3816)
4200 = NOT(3789)
4203 = NOT(3793)
4206 = BUFF(3797)
4209 = BUFF(3797)
4212 = BUFF(3732)
4215 = BUFF(3732)
4219 = BUFF(3732)
4223 = NOT(3810)
4224 = NOT(3813)
4225 = AND(3918, 3720)
4228 = AND(3919, 3721)
4231 = AND(3991, 3770)
4234 = AND(3917, 3719)
4237 = AND(3989, 3768)
4240 = AND(3990, 3769)
4243 = AND(3988, 3767)
4246 = AND(3976, 3746)
4249 = AND(3977, 3747)
4252 = AND(3975, 3745)
4255 = AND(3978, 3751)
4258 = AND(3979, 3752)
4263 = NOT(3819)
4264 = NAND(4024, 3823)
4267 = NOT(3824)
4268 = AND(446, 3893)
4269 = NOT(3911)
4270 = NOT(3984)
4271 = AND(3893, 446)
4272 = NOT(4031)
4273 = OR(4032, 4033, 3614, 3615)
4274 = OR(4034, 4035, 3625, 3626)
4275 = NOT(4036)
4276 = OR(4037, 4038, 3636, 3637)
4277 = OR(4039, 4040, 3639, 3640)
4278 = NOT(4041)
4279 = NOT(4042)
4280 = AND(3887, 457)
4284 = AND(3881, 468)
4290 = AND(422, 3873)
4297 = AND(3867, 435)
4298 = AND(3861, 389)
4301 = AND(3855, 400)
4305 = AND(3849, 411)
4310 = AND(3842, 374)
4316 = AND(457, 3887)
4320 = AND(468, 3881)
4325 = AND(422, 3873)
4331 = AND(435, 3867)
4332 = AND(389, 3861)
4336 = AND(400, 3855)
4342 = AND(411, 3849)
4349 = AND(374, 3842)
4357 = NOT(3968)
4364 = NOT(3962)
4375 = BUFF(3962)
4379 = AND(3956, 479)
4385 = AND(490, 3948)
4392 = AND(3942, 503)
4396 = AND(3933, 523)
4400 = AND(3927, 534)
4405 = NOT(3921)
4412 = BUFF(3921)
4418 = NOT(3968)
4425 = NOT(3962)
4436 = BUFF(3962)
4440 = AND(479, 3956)
4445 = AND(490, 3948)
4451 = AND(503, 3942)
4456 = AND(523, 3933)
4462 = AND(534, 3927)
4469 = BUFF(3921)
4477 = NOT(3921)
4512 = BUFF(3968)
4515 = NOT(4183)
4516 = NOT(4184)
4521 = NOT(4008)
4523 = NOT(4011)
4524 = NOT(4198)
4532 = NOT(3984)
4547 = AND(3911, 3169, 3180)
4548 = BUFF(3893)
4551 = BUFF(3887)
4554 = BUFF(3881)
4557 = BUFF(3873)
4560 = BUFF(3867)
4563 = BUFF(3861)
4566 = BUFF(3855)
4569 = BUFF(3849)
4572 = BUFF(3842)
4575 = NOR(422, 3873)
4578 = BUFF(3893)
4581 = BUFF(3887)
4584 = BUFF(3881)
4587 = BUFF(3867)
4590 = BUFF(3861)
4593 = BUFF(3855)
4596 = BUFF(3849)
4599 = BUFF(3873)
4602 = BUFF(3842)
4605 = NOR(422, 3873)
4608 = NOR(374, 3842)
4611 = BUFF(3956)
4614 = BUFF(3948)
4617 = BUFF(3942)
4621 = BUFF(3933)
4624 = BUFF(3927)
4627 = NOR(490, 3948)
4630 = BUFF(3956)
4633 = BUFF(3942)
4637 = BUFF(3933)
4640 = BUFF(3927)
4643 = BUFF(3948)
4646 = NOR(490, 3948)
4649 = BUFF(3927)
4652 = BUFF(3933)
4655 = BUFF(3921)
4658 = BUFF(3942)
4662 = BUFF(3956)
4665 = BUFF(3948)
4668 = BUFF(3968)
4671 = BUFF(3962)
4674 = BUFF(3873)
4677 = BUFF(3867)
4680 = BUFF(3887)
4683 = BUFF(3881)
4686 = BUFF(3893)
4689 = BUFF(3849)
4692 = BUFF(3842)
4695 = BUFF(3861)
4698 = BUFF(3855)
4701 = NAND(3813, 4223)
4702 = NAND(3810, 4224)
4720 = NOT(4021)
4721 = NAND(4021, 4263)
4724 = NOT(4147)
4725 = NOT(4144)
4726 = NOT(4159)
4727 = NOT(4156)
4728 = NOT(4153)
4729 = NOT(4097)
4730 = NOT(4094)
4731 = NOT(4091)
4732 = NOT(4088)
4733 = NOT(4109)
4734 = NOT(4106)
4735 = NOT(4103)
4736 = NOT(4100)
4737 = AND(4273, 2877)
4738 = AND(4274, 2877)
4739 = AND(4276, 2877)
4740 = AND(4277, 2877)
4741 = AND(4150, 1758, 1755)
4855 = NOT(4212)
4856 = NAND(4212, 2712)
4908 = NAND(4215, 2718)
4909 = NOT(4215)
4939 = AND(4515, 4185)
4942 = AND(4516, 4186)
4947 = NOT(4219)
4953 = AND(4188, 3775, 3779)
4954 = AND(3771, 4191, 3780)
4955 = AND(4191, 4188, 3038)
4956 = AND(4109, 3097, 3108)
4957 = AND(4106, 3097, 3108)
4958 = AND(4103, 3097, 3108)
4959 = AND(4100, 3097, 3108)
4960 = AND(4159, 3119, 3130)
4961 = AND(4156, 3119, 3130)
4965 = NOT(4225)
4966 = NOT(4228)
4967 = NOT(4231)
4968 = NOT(4234)
4972 = NOT(4246)
4973 = NOT(4249)
4974 = NOT(4252)
4975 = NAND(4252, 4199)
4976 = NOT(4206)
4977 = NOT(4209)
4978 = AND(3793, 3789, 4206)
4979 = AND(4203, 4200, 4209)
4980 = AND(4097, 3147, 3158)
4981 = AND(4094, 3147, 3158)
4982 = AND(4091, 3147, 3158)
4983 = AND(4088, 3147, 3158)
4984 = AND(4153, 3169, 3180)
4985 = AND(4147, 3169, 3180)
4986 = AND(4144, 3169, 3180)
4987 = AND(4150, 3169, 3180)
5049 = NAND(4701, 4702)
5052 = NOT(4237)
5053 = NOT(4240)
5054 = NOT(4243)
5055 = NOT(4255)
5056 = NOT(4258)
5057 = NAND(3819, 4720)
5058 = NOT(4264)
5059 = NAND(4264, 4267)
5060 = AND(4724, 4725, 4269, 4027)
5061 = AND(4726, 4727, 3827, 4728)
5062 = AND(4729, 4730, 4731, 4732)
5063 = AND(4733, 4734, 4735, 4736)
5065 = AND(4357, 4375)
5066 = AND(4364, 4357, 4379)
5067 = AND(4418, 4436)
5068 = AND(4425, 4418, 4440)
5069 = NOT(4548)
5070 = NAND(4548, 2628)
5071 = NOT(4551)
5072 = NAND(4551, 2629)
5073 = NOT(4554)
5074 = NAND(4554, 2630)
5075 = NOT(4557)
5076 = NAND(4557, 2631)
5077 = NOT(4560)
5078 = NAND(4560, 2632)
5079 = NOT(4563)
5080 = NAND(4563, 2633)
5081 = NOT(4566)
5082 = NAND(4566, 2634)
5083 = NOT(4569)
5084 = NAND(4569, 2635)
5085 = NOT(4572)
5086 = NAND(4572, 2636)
5087 = NOT(4575)
5088 = NAND(4578, 2638)
5089 = NOT(4578)
5090 = NAND(4581, 2639)
5091 = NOT(4581)
5092 = NAND(4584, 2640)
5093 = NOT(4584)
5094 = NAND(4587, 2641)
5095 = NOT(4587)
5096 = NAND(4590, 2642)
5097 = NOT(4590)
5098 = NAND(4593, 2643)
5099 = NOT(4593)
5100 = NAND(4596, 2644)
5101 = NOT(4596)
5102 = NAND(4599, 2645)
5103 = NOT(4599)
5104 = NAND(4602, 2646)
5105 = NOT(4602)
5106 = NOT(4611)
5107 = NAND(4611, 2709)
5108 = NOT(4614)
5109 = NAND(4614, 2710)
5110 = NOT(4617)
5111 = NAND(4617, 2711)
5112 = NAND(1890, 4855)
5113 = NOT(4621)
5114 = NAND(4621, 2713)
5115 = NOT(4624)
5116 = NAND(4624, 2714)
5117 = AND(4364, 4379)
5118 = AND(4364, 4379)
5119 = AND(54, 4405)
5120 = NOT(4627)
5121 = NAND(4630, 2716)
5122 = NOT(4630)
5123 = NAND(4633, 2717)
5124 = NOT(4633)
5125 = NAND(1908, 4909)
5126 = NAND(4637, 2719)
5127 = NOT(4637)
5128 = NAND(4640, 2720)
5129 = NOT(4640)
5130 = NAND(4643, 2721)
5131 = NOT(4643)
5132 = AND(4425, 4440)
5133 = AND(4425, 4440)
5135 = NOT(4649)
5136 = NOT(4652)
5137 = NAND(4655, 4521)
5138 = NOT(4655)
5139 = NOT(4658)
5140 = NAND(4658, 4947)
5141 = NOT(4674)
5142 = NOT(4677)
5143 = NOT(4680)
5144 = NOT(4683)
5145 = NAND(4686, 4523)
5146 = NOT(4686)
5147 = NOR(4953, 4196)
5148 = NOR(4954, 4955)
5150 = NOT(4524)
5153 = NAND(4228, 4965)
5154 = NAND(4225, 4966)
5155 = NAND(4234, 4967)
5156 = NAND(4231, 4968)
5157 = NOT(4532)
5160 = NAND(4249, 4972)
5161 = NAND(4246, 4973)
5162 = NAND(3816, 4974)
5163 = AND(4200, 3793, 4976)
5164 = AND(3789, 4203, 4977)
5165 = AND(4942, 3147, 3158)
5166 = NOT(4512)
5169 = BUFF(4290)
5172 = NOT(4605)
5173 = BUFF(4325)
5176 = NOT(4608)
5177 = BUFF(4349)
5180 = BUFF(4405)
5183 = BUFF(4357)
5186 = BUFF(4357)
5189 = BUFF(4364)
5192 = BUFF(4364)
5195 = BUFF(4385)
5198 = NOT(4646)
5199 = BUFF(4418)
5202 = BUFF(4425)
5205 = BUFF(4445)
5208 = BUFF(4418)
5211 = BUFF(4425)
5214 = BUFF(4477)
5217 = BUFF(4469)
5220 = BUFF(4477)
5223 = NOT(4662)
5224 = NOT(4665)
5225 = NOT(4668)
5226 = NOT(4671)
5227 = NOT(4689)
5228 = NOT(4692)
5229 = NOT(4695)
5230 = NOT(4698)
5232 = NAND(4240, 5052)
5233 = NAND(4237, 5053)
5234 = NAND(4258, 5055)
5235 = NAND(4255, 5056)
5236 = NAND(4721, 5057)
5239 = NAND(3824, 5058)
5240 = AND(5060, 5061, 4270)
5241 = NOT(4939)
5242 = NAND(1824, 5069)
5243 = NAND(1827, 5071)
5244 = NAND(1830, 5073)
5245 = NAND(1833, 5075)
5246 = NAND(1836, 5077)
5247 = NAND(1839, 5079)
5248 = NAND(1842, 5081)
5249 = NAND(1845, 5083)
5250 = NAND(1848, 5085)
5252 = NAND(1854, 5089)
5253 = NAND(1857, 5091)
5254 = NAND(1860, 5093)
5255 = NAND(1863, 5095)
5256 = NAND(1866, 5097)
5257 = NAND(1869, 5099)
5258 = NAND(1872, 5101)
5259 = NAND(1875, 5103)
5260 = NAND(1878, 5105)
5261 = NAND(1881, 5106)
5262 = NAND(1884, 5108)
5263 = NAND(1887, 5110)
5264 = NAND(5112, 4856)
5274 = NAND(1893, 5113)
5275 = NAND(1896, 5115)
5282 = NAND(1902, 5122)
5283 = NAND(1905, 5124)
5284 = NAND(4908, 5125)
5298 = NAND(1911, 5127)
5299 = NAND(1914, 5129)
5300 = NAND(1917, 5131)
5303 = NAND(4652, 5135)
5304 = NAND(4649, 5136)
5305 = NAND(4008, 5138)
5306 = NAND(4219, 5139)
5307 = NAND(4677, 5141)
5308 = NAND(4674, 5142)
5309 = NAND(4683, 5143)
5310 = NAND(4680, 5144)
5311 = NAND(4011, 5146)
5312 = NOT(5049)
5315 = NAND(5153, 5154)
5319 = NAND(5155, 5156)
5324 = NAND(5160, 5161)
5328 = NAND(5162, 4975)
5331 = NOR(5163, 4978)
5332 = NOR(5164, 4979)
5346 = OR(4412, 5119)
5363 = NAND(4665, 5223)
5364 = NAND(4662, 5224)
5365 = NAND(4671, 5225)
5366 = NAND(4668, 5226)
5367 = NAND(4692, 5227)
5368 = NAND(4689, 5228)
5369 = NAND(4698, 5229)
5370 = NAND(4695, 5230)
5371 = NAND(5148, 5147)
5374 = BUFF(4939)
5377 = NAND(5232, 5233)
5382 = NAND(5234, 5235)
5385 = NAND(5239, 5059)
5388 = AND(5062, 5063, 5241)
5389 = NAND(5242, 5070)
5396 = NAND(5243, 5072)
5407 = NAND(5244, 5074)
5418 = NAND(5245, 5076)
5424 = NAND(5246, 5078)
5431 = NAND(5247, 5080)
5441 = NAND(5248, 5082)
5452 = NAND(5249, 5084)
5462 = NAND(5250, 5086)
5469 = NOT(5169)
5470 = NAND(5088, 5252)
5477 = NAND(5090, 5253)
5488 = NAND(5092, 5254)
5498 = NAND(5094, 5255)
5506 = NAND(5096, 5256)
5520 = NAND(5098, 5257)
5536 = NAND(5100, 5258)
5549 = NAND(5102, 5259)
5555 = NAND(5104, 5260)
5562 = NAND(5261, 5107)
5573 = NAND(5262, 5109)
5579 = NAND(5263, 5111)
5595 = NAND(5274, 5114)
5606 = NAND(5275, 5116)
5616 = NAND(5180, 2715)
5617 = NOT(5180)
5618 = NOT(5183)
5619 = NOT(5186)
5620 = NOT(5189)
5621 = NOT(5192)
5622 = NOT(5195)
5624 = NAND(5121, 5282)
5634 = NAND(5123, 5283)
5655 = NAND(5126, 5298)
5671 = NAND(5128, 5299)
5684 = NAND(5130, 5300)
5690 = NOT(5202)
5691 = NOT(5211)
5692 = NAND(5303, 5304)
5696 = NAND(5137, 5305)
5700 = NAND(5306, 5140)
5703 = NAND(5307, 5308)
5707 = NAND(5309, 5310)
5711 = NAND(5145, 5311)
5726 = AND(5166, 4512)
5727 = NOT(5173)
5728 = NOT(5177)
5730 = NOT(5199)
5731 = NOT(5205)
5732 = NOT(5208)
5733 = NOT(5214)
5734 = NOT(5217)
5735 = NOT(5220)
5736 = NAND(5365, 5366)
5739 = NAND(5363, 5364)
5742 = NAND(5369, 5370)
5745 = NAND(5367, 5368)
5755 = NOT(5236)
5756 = NAND(5332, 5331)
5954 = AND(5264, 4396)
5955 = NAND(1899, 5617)
5956 = NOT(5346)
6005 = AND(5284, 4456)
6006 = AND(5284, 4456)
6023 = NOT(5371)
6024 = NAND(5371, 5312)
6025 = NOT(5315)
6028 = NOT(5324)
6031 = BUFF(5319)
6034 = BUFF(5319)
6037 = BUFF(5328)
6040 = BUFF(5328)
6044 = NOT(5385)
6045 = OR(5166, 5726)
6048 = BUFF(5264)
6051 = BUFF(5284)
6054 = BUFF(5284)
6065 = NOT(5374)
6066 = NAND(5374, 5054)
6067 = NOT(5377)
6068 = NOT(5382)
6069 = NAND(5382, 5755)
6071 = AND(5470, 4316)
6072 = AND(5477, 5470, 4320)
6073 = AND(5488, 5470, 4325, 5477)
6074 = AND(5562, 4357, 4385, 4364)
6075 = AND(5389, 4280)
6076 = AND(5396, 5389, 4284)
6077 = AND(5407, 5389, 4290, 5396)
6078 = AND(5624, 4418, 4445, 4425)
6079 = NOT(5418)
6080 = AND(5396, 5418, 5407, 5389)
6083 = AND(5396, 4284)
6084 = AND(5407, 4290, 5396)
6085 = AND(5418, 5407, 5396)
6086 = AND(5396, 4284)
6087 = AND(4290, 5407, 5396)
6088 = AND(5407, 4290)
6089 = AND(5418, 5407)
6090 = AND(5407, 4290)
6091 = AND(5431, 5462, 5441, 5424, 5452)
6094 = AND(5424, 4298)
6095 = AND(5431, 5424, 4301)
6096 = AND(5441, 5424, 4305, 5431)
6097 = AND(5452, 5441, 5424, 4310, 5431)
6098 = AND(5431, 4301)
6099 = AND(5441, 4305, 5431)
6100 = AND(5452, 5441, 4310, 5431)
6101 = AND(4, 5462, 5441, 5452, 5431)
6102 = AND(4305, 5441)
6103 = AND(5452, 5441, 4310)
6104 = AND(4, 5462, 5441, 5452)
6105 = AND(5452, 4310)
6106 = AND(4, 5462, 5452)
6107 = AND(4, 5462)
6108 = AND(5549, 5488, 5477, 5470)
6111 = AND(5477, 4320)
6112 = AND(5488, 4325, 5477)
6113 = AND(5549, 5488, 5477)
6114 = AND(5477, 4320)
6115 = AND(5488, 4325, 5477)
6116 = AND(5488, 4325)
6117 = AND(5555, 5536, 5520, 5506, 5498)
6120 = AND(5498, 4332)
6121 = AND(5506, 5498, 4336)
6122 = AND(5520, 5498, 4342, 5506)
6123 = AND(5536, 5520, 5498, 4349, 5506)
6124 = AND(5506, 4336)
6125 = AND(5520, 4342, 5506)
6126 = AND(5536, 5520, 4349, 5506)
6127 = AND(5555, 5520, 5506, 5536)
6128 = AND(5506, 4336)
6129 = AND(5520, 4342, 5506)
6130 = AND(5536, 5520, 4349, 5506)
6131 = AND(5520, 4342)
6132 = AND(5536, 5520, 4349)
6133 = AND(5555, 5520, 5536)
6134 = AND(5520, 4342)
6135 = AND(5536, 5520, 4349)
6136 = AND(5536, 4349)
6137 = AND(5549, 5488)
6138 = AND(5555, 5536)
6139 = NOT(5573)
6140 = AND(4364, 5573, 5562, 4357)
6143 = AND(5562, 4385, 4364)
6144 = AND(5573, 5562, 4364)
6145 = AND(4385, 5562, 4364)
6146 = AND(5562, 4385)
6147 = AND(5573, 5562)
6148 = AND(5562, 4385)
6149 = AND(5264, 4405, 5595, 5579, 5606)
6152 = AND(5579, 4067)
6153 = AND(5264, 5579, 4396)
6154 = AND(5595, 5579, 4400, 5264)
6155 = AND(5606, 5595, 5579, 4412, 5264)
6156 = AND(5595, 4400, 5264)
6157 = AND(5606, 5595, 4412, 5264)
6158 = AND(54, 4405, 5595, 5606, 5264)
6159 = AND(4400, 5595)
6160 = AND(5606, 5595, 4412)
6161 = AND(54, 4405, 5595, 5606)
6162 = AND(5606, 4412)
6163 = AND(54, 4405, 5606)
6164 = NAND(5616, 5955)
6168 = AND(5684, 5624, 4425, 4418)
6171 = AND(5624, 4445, 4425)
6172 = AND(5684, 5624, 4425)
6173 = AND(5624, 4445, 4425)
6174 = AND(5624, 4445)
6175 = AND(4477, 5671, 5655, 5284, 5634)
6178 = AND(5634, 4080)
6179 = AND(5284, 5634, 4456)
6180 = AND(5655, 5634, 4462, 5284)
6181 = AND(5671, 5655, 5634, 4469, 5284)
6182 = AND(5655, 4462, 5284)
6183 = AND(5671, 5655, 4469, 5284)
6184 = AND(4477, 5655, 5284, 5671)
6185 = AND(5655, 4462, 5284)
6186 = AND(5671, 5655, 4469, 5284)
6187 = AND(5655, 4462)
6188 = AND(5671, 5655, 4469)
6189 = AND(4477, 5655, 5671)
6190 = AND(5655, 4462)
6191 = AND(5671, 5655, 4469)
6192 = AND(5671, 4469)
6193 = AND(5684, 5624)
6194 = AND(4477, 5671)
6197 = NOT(5692)
6200 = NOT(5696)
6203 = NOT(5703)
6206 = NOT(5707)
6209 = BUFF(5700)
6212 = BUFF(5700)
6215 = BUFF(5711)
6218 = BUFF(5711)
6221 = NAND(5049, 6023)
6234 = NOT(5756)
6235 = NAND(5756, 6044)
6238 = BUFF(5462)
6241 = BUFF(5389)
6244 = BUFF(5389)
6247 = BUFF(5396)
6250 = BUFF(5396)
6253 = BUFF(5407)
6256 = BUFF(5407)
6259 = BUFF(5424)
6262 = BUFF(5431)
6265 = BUFF(5441)
6268 = BUFF(5452)
6271 = BUFF(5549)
6274 = BUFF(5488)
6277 = BUFF(5470)
6280 = BUFF(5477)
6283 = BUFF(5549)
6286 = BUFF(5488)
6289 = BUFF(5470)
6292 = BUFF(5477)
6295 = BUFF(5555)
6298 = BUFF(5536)
6301 = BUFF(5498)
6304 = BUFF(5520)
6307 = BUFF(5506)
6310 = BUFF(5506)
6313 = BUFF(5555)
6316 = BUFF(5536)
6319 = BUFF(5498)
6322 = BUFF(5520)
6325 = BUFF(5562)
6328 = BUFF(5562)
6331 = BUFF(5579)
6335 = BUFF(5595)
6338 = BUFF(5606)
6341 = BUFF(5684)
6344 = BUFF(5624)
6347 = BUFF(5684)
6350 = BUFF(5624)
6353 = BUFF(5671)
6356 = BUFF(5634)
6359 = BUFF(5655)
6364 = BUFF(5671)
6367 = BUFF(5634)
6370 = BUFF(5655)
6373 = NOT(5736)
6374 = NOT(5739)
6375 = NOT(5742)
6376 = NOT(5745)
6377 = NAND(4243, 6065)
6378 = NAND(5236, 6068)
6382 = OR(4268, 6071, 6072, 6073)
6386 = OR(3968, 5065, 5066, 6074)
6388 = OR(4271, 6075, 6076, 6077)
6392 = OR(3968, 5067, 5068, 6078)
6397 = OR(4297, 6094, 6095, 6096, 6097)
6411 = OR(4320, 6116)
6415 = OR(4331, 6120, 6121, 6122, 6123)
6419 = OR(4342, 6136)
6427 = OR(4392, 6152, 6153, 6154, 6155)
6434 = NOT(6048)
6437 = OR(4440, 6174)
6441 = OR(4451, 6178, 6179, 6180, 6181)
6445 = OR(4462, 6192)
6448 = NOT(6051)
6449 = NOT(6054)
6466 = NAND(6221, 6024)
6469 = NOT(6031)
6470 = NOT(6034)
6471 = NOT(6037)
6472 = NOT(6040)
6473 = AND(5315, 4524, 6031)
6474 = AND(6025, 5150, 6034)
6475 = AND(5324, 4532, 6037)
6476 = AND(6028, 5157, 6040)
6477 = NAND(5385, 6234)
6478 = NAND(6045, 132)
6482 = OR(4280, 6083, 6084, 6085)
6486 = NOR(4280, 6086, 6087)
6490 = OR(4284, 6088, 6089)
6494 = NOR(4284, 6090)
6500 = OR(4298, 6098, 6099, 6100, 6101)
6504 = OR(4301, 6102, 6103, 6104)
6508 = OR(4305, 6105, 6106)
6512 = OR(4310, 6107)
6516 = OR(4316, 6111, 6112, 6113)
6526 = NOR(4316, 6114, 6115)
6536 = OR(4336, 6131, 6132, 6133)
6539 = OR(4332, 6124, 6125, 6126, 6127)
6553 = NOR(4336, 6134, 6135)
6556 = NOR(4332, 6128, 6129, 6130)
6566 = OR(4375, 5117, 6143, 6144)
6569 = NOR(4375, 5118, 6145)
6572 = OR(4379, 6146, 6147)
6575 = NOR(4379, 6148)
6580 = OR(4067, 5954, 6156, 6157, 6158)
6584 = OR(4396, 6159, 6160, 6161)
6587 = OR(4400, 6162, 6163)
6592 = OR(4436, 5132, 6171, 6172)
6599 = NOR(4436, 5133, 6173)
6606 = OR(4456, 6187, 6188, 6189)
6609 = OR(4080, 6005, 6182, 6183, 6184)
6619 = NOR(4456, 6190, 6191)
6622 = NOR(4080, 6006, 6185, 6186)
6630 = NAND(5739, 6373)
6631 = NAND(5736, 6374)
6632 = NAND(5745, 6375)
6633 = NAND(5742, 6376)
6634 = NAND(6377, 6066)
6637 = NAND(6069, 6378)
6640 = NOT(6164)
6641 = AND(6108, 6117)
6643 = AND(6140, 6149)
6646 = AND(6168, 6175)
6648 = AND(6080, 6091)
6650 = NAND(6238, 2637)
6651 = NOT(6238)
6653 = NOT(6241)
6655 = NOT(6244)
6657 = NOT(6247)
6659 = NOT(6250)
6660 = NAND(6253, 5087)
6661 = NOT(6253)
6662 = NAND(6256, 5469)
6663 = NOT(6256)
6664 = AND(6091, 4)
6666 = NOT(6259)
6668 = NOT(6262)
6670 = NOT(6265)
6672 = NOT(6268)
6675 = NOT(6117)
6680 = NOT(6280)
6681 = NOT(6292)
6682 = NOT(6307)
6683 = NOT(6310)
6689 = NAND(6325, 5120)
6690 = NOT(6325)
6691 = NAND(6328, 5622)
6692 = NOT(6328)
6693 = AND(6149, 54)
6695 = NOT(6331)
6698 = NOT(6335)
6699 = NAND(6338, 5956)
6700 = NOT(6338)
6703 = NOT(6175)
6708 = NOT(6209)
6709 = NOT(6212)
6710 = NOT(6215)
6711 = NOT(6218)
6712 = AND(5696, 5692, 6209)
6713 = AND(6200, 6197, 6212)
6714 = AND(5707, 5703, 6215)
6715 = AND(6206, 6203, 6218)
6716 = BUFF(6466)
6718 = AND(6164, 1777, 3130)
6719 = AND(5150, 5315, 6469)
6720 = AND(4524, 6025, 6470)
6721 = AND(5157, 5324, 6471)
6722 = AND(4532, 6028, 6472)
6724 = NAND(6477, 6235)
6739 = NOT(6271)
6740 = NOT(6274)
6741 = NOT(6277)
6744 = NOT(6283)
6745 = NOT(6286)
6746 = NOT(6289)
6751 = NOT(6295)
6752 = NOT(6298)
6753 = NOT(6301)
6754 = NOT(6304)
6755 = NOT(6322)
6760 = NOT(6313)
6761 = NOT(6316)
6762 = NOT(6319)
6772 = NOT(6341)
6773 = NOT(6344)
6776 = NOT(6347)
6777 = NOT(6350)
6782 = NOT(6353)
6783 = NOT(6356)
6784 = NOT(6359)
6785 = NOT(6370)
6790 = NOT(6364)
6791 = NOT(6367)
6792 = NAND(6630, 6631)
6795 = NAND(6632, 6633)
6801 = AND(6108, 6415)
6802 = AND(6427, 6140)
6803 = AND(6397, 6080)
6804 = AND(6168, 6441)
6805 = NOT(6466)
6806 = NAND(1851, 6651)
6807 = NOT(6482)
6808 = NAND(6482, 6653)
6809 = NOT(6486)
6810 = NAND(6486, 6655)
6811 = NOT(6490)
6812 = NAND(6490, 6657)
6813 = NOT(6494)
6814 = NAND(6494, 6659)
6815 = NAND(4575, 6661)
6816 = NAND(5169, 6663)
6817 = OR(6397, 6664)
6823 = NOT(6500)
6824 = NAND(6500, 6666)
6825 = NOT(6504)
6826 = NAND(6504, 6668)
6827 = NOT(6508)
6828 = NAND(6508, 6670)
6829 = NOT(6512)
6830 = NAND(6512, 6672)
6831 = NOT(6415)
6834 = NOT(6566)
6835 = NAND(6566, 5618)
6836 = NOT(6569)
6837 = NAND(6569, 5619)
6838 = NOT(6572)
6839 = NAND(6572, 5620)
6840 = NOT(6575)
6841 = NAND(6575, 5621)
6842 = NAND(4627, 6690)
6843 = NAND(5195, 6692)
6844 = OR(6427, 6693)
6850 = NOT(6580)
6851 = NAND(6580, 6695)
6852 = NOT(6584)
6853 = NAND(6584, 6434)
6854 = NOT(6587)
6855 = NAND(6587, 6698)
6856 = NAND(5346, 6700)
6857 = NOT(6441)
6860 = AND(6197, 5696, 6708)
6861 = AND(5692, 6200, 6709)
6862 = AND(6203, 5707, 6710)
6863 = AND(5703, 6206, 6711)
6866 = OR(4197, 6718, 3785)
6872 = NOR(6719, 6473)
6873 = NOR(6720, 6474)
6874 = NOR(6721, 6475)
6875 = NOR(6722, 6476)
6876 = NOT(6637)
6877 = BUFF(6724)
6879 = AND(6045, 6478)
6880 = AND(6478, 132)
6881 = OR(6411, 6137)
6884 = NOT(6516)
6885 = NOT(6411)
6888 = NOT(6526)
6889 = NOT(6536)
6890 = NAND(6536, 5176)
6891 = OR(6419, 6138)
6894 = NOT(6539)
6895 = NOT(6553)
6896 = NAND(6553, 5728)
6897 = NOT(6419)
6900 = NOT(6556)
6901 = OR(6437, 6193)
6904 = NOT(6592)
6905 = NOT(6437)
6908 = NOT(6599)
6909 = OR(6445, 6194)
6912 = NOT(6606)
6913 = NOT(6609)
6914 = NOT(6619)
6915 = NAND(6619, 5734)
6916 = NOT(6445)
6919 = NOT(6622)
6922 = NOT(6634)
6923 = NAND(6634, 6067)
6924 = OR(6382, 6801)
6925 = OR(6386, 6802)
6926 = OR(6388, 6803)
6927 = OR(6392, 6804)
6930 = NOT(6724)
6932 = NAND(6650, 6806)
6935 = NAND(6241, 6807)
6936 = NAND(6244, 6809)
6937 = NAND(6247, 6811)
6938 = NAND(6250, 6813)
6939 = NAND(6660, 6815)
6940 = NAND(6662, 6816)
6946 = NAND(6259, 6823)
6947 = NAND(6262, 6825)
6948 = NAND(6265, 6827)
6949 = NAND(6268, 6829)
6953 = NAND(5183, 6834)
6954 = NAND(5186, 6836)
6955 = NAND(5189, 6838)
6956 = NAND(5192, 6840)
6957 = NAND(6689, 6842)
6958 = NAND(6691, 6843)
6964 = NAND(6331, 6850)
6965 = NAND(6048, 6852)
6966 = NAND(6335, 6854)
6967 = NAND(6699, 6856)
6973 = NOR(6860, 6712)
6974 = NOR(6861, 6713)
6975 = NOR(6862, 6714)
6976 = NOR(6863, 6715)
6977 = NOT(6792)
6978 = NOT(6795)
6979 = OR(6879, 6880)
6987 = NAND(4608, 6889)
6990 = NAND(5177, 6895)
6999 = NAND(5217, 6914)
7002 = NAND(5377, 6922)
7003 = NAND(6873, 6872)
7006 = NAND(6875, 6874)
7011 = AND(6866, 2681, 2692)
7012 = AND(6866, 2756, 2767)
7013 = AND(6866, 2779, 2790)
7015 = NOT(6866)
7016 = AND(6866, 2801, 2812)
7018 = NAND(6935, 6808)
7019 = NAND(6936, 6810)
7020 = NAND(6937, 6812)
7021 = NAND(6938, 6814)
7022 = NOT(6939)
7023 = NOT(6817)
7028 = NAND(6946, 6824)
7031 = NAND(6947, 6826)
7034 = NAND(6948, 6828)
7037 = NAND(6949, 6830)
7040 = AND(6817, 6079)
7041 = AND(6831, 6675)
7044 = NAND(6953, 6835)
7045 = NAND(6954, 6837)
7046 = NAND(6955, 6839)
7047 = NAND(6956, 6841)
7048 = NOT(6957)
7049 = NOT(6844)
7054 = NAND(6964, 6851)
7057 = NAND(6965, 6853)
7060 = NAND(6966, 6855)
7064 = AND(6844, 6139)
7065 = AND(6857, 6703)
7072 = NOT(6881)
7073 = NAND(6881, 5172)
7074 = NOT(6885)
7075 = NAND(6885, 5727)
7076 = NAND(6890, 6987)
7079 = NOT(6891)
7080 = NAND(6896, 6990)
7083 = NOT(6897)
7084 = NOT(6901)
7085 = NAND(6901, 5198)
7086 = NOT(6905)
7087 = NAND(6905, 5731)
7088 = NOT(6909)
7089 = NAND(6909, 6912)
7090 = NAND(6915, 6999)
7093 = NOT(6916)
7094 = NAND(6974, 6973)
7097 = NAND(6976, 6975)
7101 = NAND(7002, 6923)
7105 = NOT(6932)
7110 = NOT(6967)
7114 = AND(6979, 603, 1755)
7115 = NOT(7019)
7116 = NOT(7021)
7125 = AND(6817, 7018)
7126 = AND(6817, 7020)
7127 = AND(6817, 7022)
7130 = NOT(7045)
7131 = NOT(7047)
7139 = AND(6844, 7044)
7140 = AND(6844, 7046)
7141 = AND(6844, 7048)
7146 = AND(6932, 1761, 3108)
7147 = AND(6967, 1777, 3130)
7149 = NOT(7003)
7150 = NOT(7006)
7151 = NAND(7006, 6876)
7152 = NAND(4605, 7072)
7153 = NAND(5173, 7074)
7158 = NAND(4646, 7084)
7159 = NAND(5205, 7086)
7160 = NAND(6606, 7088)
7166 = NOT(7037)
7167 = NOT(7034)
7168 = NOT(7031)
7169 = NOT(7028)
7170 = NOT(7060)
7171 = NOT(7057)
7172 = NOT(7054)
7173 = AND(7115, 7023)
7174 = AND(7116, 7023)
7175 = AND(6940, 7023)
7176 = AND(5418, 7023)
7177 = NOT(7041)
7178 = AND(7130, 7049)
7179 = AND(7131, 7049)
7180 = AND(6958, 7049)
7181 = AND(5573, 7049)
7182 = NOT(7065)
7183 = NOT(7094)
7184 = NAND(7094, 6977)
7185 = NOT(7097)
7186 = NAND(7097, 6978)
7187 = AND(7037, 1761, 3108)
7188 = AND(7034, 1761, 3108)
7189 = AND(7031, 1761, 3108)
7190 = OR(4956, 7146, 3781)
7196 = AND(7060, 1777, 3130)
7197 = AND(7057, 1777, 3130)
7198 = OR(4960, 7147, 3786)
7204 = NAND(7101, 7149)
7205 = NOT(7101)
7206 = NAND(6637, 7150)
7207 = AND(7028, 1793, 3158)
7208 = AND(7054, 1807, 3180)
7209 = NAND(7073, 7152)
7212 = NAND(7075, 7153)
7215 = NOT(7076)
7216 = NAND(7076, 7079)
7217 = NOT(7080)
7218 = NAND(7080, 7083)
7219 = NAND(7085, 7158)
7222 = NAND(7087, 7159)
7225 = NAND(7089, 7160)
7228 = NOT(7090)
7229 = NAND(7090, 7093)
7236 = OR(7173, 7125)
7239 = OR(7174, 7126)
7242 = OR(7175, 7127)
7245 = OR(7176, 7040)
7250 = OR(7178, 7139)
7257 = OR(7179, 7140)
7260 = OR(7180, 7141)
7263 = OR(7181, 7064)
7268 = NAND(6792, 7183)
7269 = NAND(6795, 7185)
7270 = OR(4957, 7187, 3782)
7276 = OR(4958, 7188, 3783)
7282 = OR(4959, 7189, 3784)
7288 = OR(4961, 7196, 3787)
7294 = OR(3998, 7197, 3788)
7300 = NAND(7003, 7205)
7301 = NAND(7206, 7151)
7304 = OR(4980, 7207, 3800)
7310 = OR(4984, 7208, 3805)
7320 = NAND(6891, 7215)
7321 = NAND(6897, 7217)
7328 = NAND(6916, 7228)
7338 = AND(7190, 1185, 2692)
7339 = AND(7198, 2681, 2692)
7340 = AND(7190, 1247, 2767)
7341 = AND(7198, 2756, 2767)
7342 = AND(7190, 1327, 2790)
7349 = AND(7198, 2779, 2790)
7357 = AND(7198, 2801, 2812)
7363 = NOT(7198)
7364 = AND(7190, 1351, 2812)
7365 = NOT(7190)
7394 = NAND(7268, 7184)
7397 = NAND(7269, 7186)
7402 = NAND(7204, 7300)
7405 = NOT(7209)
7406 = NAND(7209, 6884)
7407 = NOT(7212)
7408 = NAND(7212, 6888)
7409 = NAND(7320, 7216)
7412 = NAND(7321, 7218)
7415 = NOT(7219)
7416 = NAND(7219, 6904)
7417 = NOT(7222)
7418 = NAND(7222, 6908)
7419 = NOT(7225)
7420 = NAND(7225, 6913)
7421 = NAND(7328, 7229)
7424 = NOT(7245)
7425 = NOT(7242)
7426 = NOT(7239)
7427 = NOT(7236)
7428 = NOT(7263)
7429 = NOT(7260)
7430 = NOT(7257)
7431 = NOT(7250)
7432 = NOT(7250)
7433 = AND(7310, 2653, 2664)
7434 = AND(7304, 1161, 2664)
7435 = OR(7011, 7338, 3621, 2591)
7436 = AND(7270, 1185, 2692)
7437 = AND(7288, 2681, 2692)
7438 = AND(7276, 1185, 2692)
7439 = AND(7294, 2681, 2692)
7440 = AND(7282, 1185, 2692)
7441 = AND(7310, 2728, 2739)
7442 = AND(7304, 1223, 2739)
7443 = OR(7012, 7340, 3632, 2600)
7444 = AND(7270, 1247, 2767)
7445 = AND(7288, 2756, 2767)
7446 = AND(7276, 1247, 2767)
7447 = AND(7294, 2756, 2767)
7448 = AND(7282, 1247, 2767)
7449 = OR(7013, 7342, 3641, 2605)
7450 = AND(7310, 3041, 3052)
7451 = AND(7304, 1697, 3052)
7452 = AND(7294, 2779, 2790)
7453 = AND(7282, 1327, 2790)
7454 = AND(7288, 2779, 2790)
7455 = AND(7276, 1327, 2790)
7456 = AND(7270, 1327, 2790)
7457 = AND(7310, 3075, 3086)
7458 = AND(7304, 1731, 3086)
7459 = AND(7294, 2801, 2812)
7460 = AND(7282, 1351, 2812)
7461 = AND(7288, 2801, 2812)
7462 = AND(7276, 1351, 2812)
7463 = AND(7270, 1351, 2812)
7464 = AND(7250, 603, 599)
7465 = NOT(7310)
7466 = NOT(7294)
7467 = NOT(7288)
7468 = NOT(7301)
7469 = OR(7016, 7364, 3660, 2626)
7470 = NOT(7304)
7471 = NOT(7282)
7472 = NOT(7276)
7473 = NOT(7270)
7474 = BUFF(7394)
7476 = BUFF(7397)
7479 = AND(7301, 3068)
7481 = AND(7245, 1793, 3158)
7482 = AND(7242, 1793, 3158)
7483 = AND(7239, 1793, 3158)
7484 = AND(7236, 1793, 3158)
7485 = AND(7263, 1807, 3180)
7486 = AND(7260, 1807, 3180)
7487 = AND(7257, 1807, 3180)
7488 = AND(7250, 1807, 3180)
7489 = NAND(6979, 7250)
7492 = NAND(6516, 7405)
7493 = NAND(6526, 7407)
7498 = NAND(6592, 7415)
7499 = NAND(6599, 7417)
7500 = NAND(6609, 7419)
7503 = AND(7105, 7166, 7167, 7168, 7169, 7424, 7425, 7426, 7427)
7504 = AND(6640, 7110, 7170, 7171, 7172, 7428, 7429, 7430, 7431)
7505 = OR(7433, 7434, 3616, 2585)
7506 = AND(7435, 2675)
7507 = OR(7339, 7436, 3622, 2592)
7508 = OR(7437, 7438, 3623, 2593)
7509 = OR(7439, 7440, 3624, 2594)
7510 = OR(7441, 7442, 3627, 2595)
7511 = AND(7443, 2750)
7512 = OR(7341, 7444, 3633, 2601)
7513 = OR(7445, 7446, 3634, 2602)
7514 = OR(7447, 7448, 3635, 2603)
7515 = OR(7450, 7451, 3646, 2610)
7516 = OR(7452, 7453, 3647, 2611)
7517 = OR(7454, 7455, 3648, 2612)
7518 = OR(7349, 7456, 3649, 2613)
7519 = OR(7457, 7458, 3654, 2618)
7520 = OR(7459, 7460, 3655, 2619)
7521 = OR(7461, 7462, 3656, 2620)
7522 = OR(7357, 7463, 3657, 2621)
7525 = OR(4741, 7114, 2624, 7464)
7526 = AND(7468, 3119, 3130)
7527 = NOT(7394)
7528 = NOT(7397)
7529 = NOT(7402)
7530 = AND(7402, 3068)
7531 = OR(4981, 7481, 3801)
7537 = OR(4982, 7482, 3802)
7543 = OR(4983, 7483, 3803)
7549 = OR(5165, 7484, 3804)
7555 = OR(4985, 7485, 3806)
7561 = OR(4986, 7486, 3807)
7567 = OR(4547, 7487, 3808)
7573 = OR(4987, 7488, 3809)
7579 = NAND(7492, 7406)
7582 = NAND(7493, 7408)
7585 = NOT(7409)
7586 = NAND(7409, 6894)
7587 = NOT(7412)
7588 = NAND(7412, 6900)
7589 = NAND(7498, 7416)
7592 = NAND(7499, 7418)
7595 = NAND(7500, 7420)
7598 = NOT(7421)
7599 = NAND(7421, 6919)
7600 = AND(7505, 2647)
7601 = AND(7507, 2675)
7602 = AND(7508, 2675)
7603 = AND(7509, 2675)
7604 = AND(7510, 2722)
7605 = AND(7512, 2750)
7606 = AND(7513, 2750)
7607 = AND(7514, 2750)
7624 = AND(6979, 7489)
7625 = AND(7489, 7250)
7626 = AND(1149, 7525)
7631 = AND(562, 7527, 7528, 6805, 6930)
7636 = AND(7529, 3097, 3108)
7657 = NAND(6539, 7585)
7658 = NAND(6556, 7587)
7665 = NAND(6622, 7598)
7666 = AND(7555, 2653, 2664)
7667 = AND(7531, 1161, 2664)
7668 = AND(7561, 2653, 2664)
7669 = AND(7537, 1161, 2664)
7670 = AND(7567, 2653, 2664)
7671 = AND(7543, 1161, 2664)
7672 = AND(7573, 2653, 2664)
7673 = AND(7549, 1161, 2664)
7674 = AND(7555, 2728, 2739)
7675 = AND(7531, 1223, 2739)
7676 = AND(7561, 2728, 2739)
7677 = AND(7537, 1223, 2739)
7678 = AND(7567, 2728, 2739)
7679 = AND(7543, 1223, 2739)
7680 = AND(7573, 2728, 2739)
7681 = AND(7549, 1223, 2739)
7682 = AND(7573, 3075, 3086)
7683 = AND(7549, 1731, 3086)
7684 = AND(7573, 3041, 3052)
7685 = AND(7549, 1697, 3052)
7686 = AND(7567, 3041, 3052)
7687 = AND(7543, 1697, 3052)
7688 = AND(7561, 3041, 3052)
7689 = AND(7537, 1697, 3052)
7690 = AND(7555, 3041, 3052)
7691 = AND(7531, 1697, 3052)
7692 = AND(7567, 3075, 3086)
7693 = AND(7543, 1731, 3086)
7694 = AND(7561, 3075, 3086)
7695 = AND(7537, 1731, 3086)
7696 = AND(7555, 3075, 3086)
7697 = AND(7531, 1731, 3086)
7698 = OR(7624, 7625)
7699 = NOT(7573)
7700 = NOT(7567)
7701 = NOT(7561)
7702 = NOT(7555)
7703 = AND(1156, 7631, 245)
7704 = NOT(7549)
7705 = NOT(7543)
7706 = NOT(7537)
7707 = NOT(7531)
7708 = NOT(7579)
7709 = NAND(7579, 6739)
7710 = NOT(7582)
7711 = NAND(7582, 6744)
7712 = NAND(7657, 7586)
7715 = NAND(7658, 7588)
7718 = NOT(7589)
7719 = NAND(7589, 6772)
7720 = NOT(7592)
7721 = NAND(7592, 6776)
7722 = NOT(7595)
7723 = NAND(7595, 5733)
7724 = NAND(7665, 7599)
7727 = OR(7666, 7667, 3617, 2586)
7728 = OR(7668, 7669, 3618, 2587)
7729 = OR(7670, 7671, 3619, 2588)
7730 = OR(7672, 7673, 3620, 2589)
7731 = OR(7674, 7675, 3628, 2596)
7732 = OR(7676, 7677, 3629, 2597)
7733 = OR(7678, 7679, 3630, 2598)
7734 = OR(7680, 7681, 3631, 2599)
7735 = OR(7682, 7683, 3638, 2604)
7736 = OR(7684, 7685, 3642, 2606)
7737 = OR(7686, 7687, 3643, 2607)
7738 = OR(7688, 7689, 3644, 2608)
7739 = OR(7690, 7691, 3645, 2609)
7740 = OR(7692, 7693, 3651, 2615)
7741 = OR(7694, 7695, 3652, 2616)
7742 = OR(7696, 7697, 3653, 2617)
7743 = NAND(6271, 7708)
7744 = NAND(6283, 7710)
7749 = NAND(6341, 7718)
7750 = NAND(6347, 7720)
7751 = NAND(5214, 7722)
7754 = AND(7727, 2647)
7755 = AND(7728, 2647)
7756 = AND(7729, 2647)
7757 = AND(7730, 2647)
7758 = AND(7731, 2722)
7759 = AND(7732, 2722)
7760 = AND(7733, 2722)
7761 = AND(7734, 2722)
7762 = NAND(7743, 7709)
7765 = NAND(7744, 7711)
7768 = NOT(7712)
7769 = NAND(7712, 6751)
7770 = NOT(7715)
7771 = NAND(7715, 6760)
7772 = NAND(7749, 7719)
7775 = NAND(7750, 7721)
7778 = NAND(7751, 7723)
7781 = NOT(7724)
7782 = NAND(7724, 5735)
7787 = NAND(6295, 7768)
7788 = NAND(6313, 7770)
7795 = NAND(5220, 7781)
7796 = NOT(7762)
7797 = NAND(7762, 6740)
7798 = NOT(7765)
7799 = NAND(7765, 6745)
7800 = NAND(7787, 7769)
7803 = NAND(7788, 7771)
7806 = NOT(7772)
7807 = NAND(7772, 6773)
7808 = NOT(7775)
7809 = NAND(7775, 6777)
7810 = NOT(7778)
7811 = NAND(7778, 6782)
7812 = NAND(7795, 7782)
7815 = NAND(6274, 7796)
7816 = NAND(6286, 7798)
7821 = NAND(6344, 7806)
7822 = NAND(6350, 7808)
7823 = NAND(6353, 7810)
7826 = NAND(7815, 7797)
7829 = NAND(7816, 7799)
7832 = NOT(7800)
7833 = NAND(7800, 6752)
7834 = NOT(7803)
7835 = NAND(7803, 6761)
7836 = NAND(7821, 7807)
7839 = NAND(7822, 7809)
7842 = NAND(7823, 7811)
7845 = NOT(7812)
7846 = NAND(7812, 6790)
7851 = NAND(6298, 7832)
7852 = NAND(6316, 7834)
7859 = NAND(6364, 7845)
7860 = NOT(7826)
7861 = NAND(7826, 6741)
7862 = NOT(7829)
7863 = NAND(7829, 6746)
7864 = NAND(7851, 7833)
7867 = NAND(7852, 7835)
7870 = NOT(7836)
7871 = NAND(7836, 5730)
7872 = NOT(7839)
7873 = NAND(7839, 5732)
7874 = NOT(7842)
7875 = NAND(7842, 6783)
7876 = NAND(7859, 7846)
7879 = NAND(6277, 7860)
7880 = NAND(6289, 7862)
7885 = NAND(5199, 7870)
7886 = NAND(5208, 7872)
7887 = NAND(6356, 7874)
7890 = NAND(7879, 7861)
7893 = NAND(7880, 7863)
7896 = NOT(7864)
7897 = NAND(7864, 6753)
7898 = NOT(7867)
7899 = NAND(7867, 6762)
7900 = NAND(7885, 7871)
7903 = NAND(7886, 7873)
7906 = NAND(7887, 7875)
7909 = NOT(7876)
7910 = NAND(7876, 6791)
7917 = NAND(6301, 7896)
7918 = NAND(6319, 7898)
7923 = NAND(6367, 7909)
7924 = NOT(7890)
7925 = NAND(7890, 6680)
7926 = NOT(7893)
7927 = NAND(7893, 6681)
7928 = NOT(7900)
7929 = NAND(7900, 5690)
7930 = NOT(7903)
7931 = NAND(7903, 5691)
7932 = NAND(7917, 7897)
7935 = NAND(7918, 7899)
7938 = NOT(7906)
7939 = NAND(7906, 6784)
7940 = NAND(7923, 7910)
7943 = NAND(6280, 7924)
7944 = NAND(6292, 7926)
7945 = NAND(5202, 7928)
7946 = NAND(5211, 7930)
7951 = NAND(6359, 7938)
7954 = NAND(7943, 7925)
7957 = NAND(7944, 7927)
7960 = NAND(7945, 7929)
7963 = NAND(7946, 7931)
7966 = NOT(7932)
7967 = NAND(7932, 6754)
7968 = NOT(7935)
7969 = NAND(7935, 6755)
7970 = NAND(7951, 7939)
7973 = NOT(7940)
7974 = NAND(7940, 6785)
7984 = NAND(6304, 7966)
7985 = NAND(6322, 7968)
7987 = NAND(6370, 7973)
7988 = AND(7957, 6831, 1157)
7989 = AND(7954, 6415, 1157)
7990 = AND(7957, 7041, 566)
7991 = AND(7954, 7177, 566)
7992 = NOT(7970)
7993 = NAND(7970, 6448)
7994 = AND(7963, 6857, 1219)
7995 = AND(7960, 6441, 1219)
7996 = AND(7963, 7065, 583)
7997 = AND(7960, 7182, 583)
7998 = NAND(7984, 7967)
8001 = NAND(7985, 7969)
8004 = NAND(7987, 7974)
8009 = NAND(6051, 7992)
8013 = OR(7988, 7989, 7990, 7991)
8017 = OR(7994, 7995, 7996, 7997)
8020 = NOT(7998)
8021 = NAND(7998, 6682)
8022 = NOT(8001)
8023 = NAND(8001, 6683)
8025 = NAND(8009, 7993)
8026 = NOT(8004)
8027 = NAND(8004, 6449)
8031 = NAND(6307, 8020)
8032 = NAND(6310, 8022)
8033 = NOT(8013)
8034 = NAND(6054, 8026)
8035 = AND(583, 8025)
8036 = NOT(8017)
8037 = NAND(8031, 8021)
8038 = NAND(8032, 8023)
8039 = NAND(8034, 8027)
8040 = NOT(8038)
8041 = AND(566, 8037)
8042 = NOT(8039)
8043 = AND(8040, 1157)
8044 = AND(8042, 1219)
8045 = OR(8043, 8041)
8048 = OR(8044, 8035)
8055 = NAND(8045, 8033)
8056 = NOT(8045)
8057 = NAND(8048, 8036)
8058 = NOT(8048)
8059 = NAND(8013, 8056)
8060 = NAND(8017, 8058)
8061 = NAND(8055, 8059)
8064 = NAND(8057, 8060)
8071 = AND(8064, 1777, 3130)
8072 = AND(8061, 1761, 3108)
8073 = NOT(8061)
8074 = NOT(8064)
8075 = OR(7526, 8071, 3659, 2625)
8076 = OR(7636, 8072, 3661, 2627)
8077 = AND(8073, 1727)
8078 = AND(8074, 1727)
8079 = OR(7530, 8077)
8082 = OR(7479, 8078)
8089 = AND(8079, 3063)
8090 = AND(8082, 3063)
8091 = AND(8079, 3063)
8092 = AND(8082, 3063)
8093 = OR(8089, 3071)
8096 = OR(8090, 3072)
8099 = OR(8091, 3073)
8102 = OR(8092, 3074)
8113 = AND(8102, 2779, 2790)
8114 = AND(8099, 1327, 2790)
8115 = AND(8102, 2801, 2812)
8116 = AND(8099, 1351, 2812)
8117 = AND(8096, 2681, 2692)
8118 = AND(8093, 1185, 2692)
8119 = AND(8096, 2756, 2767)
8120 = AND(8093, 1247, 2767)
8121 = OR(8117, 8118, 3662, 2703)
8122 = OR(8119, 8120, 3663, 2778)
8123 = OR(8113, 8114, 3650, 2614)
8124 = OR(8115, 8116, 3658, 2622)
8125 = AND(8121, 2675)
8126 = AND(8122, 2750)
8127 = NOT(8125)
8128 = NOT(8126)