| .model top |
| .inputs c_6 c_5 c_4 c_19 c_3 c_29 c_2 c_1 c_0 ck c_13 c_24 c_14 c_23 c_11 c_22 \ |
| c_12 c_21 c_17 c_28 c_31 c_18 c_27 c_32 c_15 c_26 c_16 c_25 clear c_30 c_20 \ |
| c_10 x c_9 c_8 c_7 |
| .outputs w z |
| .latch n_n76 ny_4 re ck 2 |
| .latch n_n152 ny_9 re ck 2 |
| .latch ni765 ny_22 re ck 2 |
| .latch n_n61 ny_16 re ck 2 |
| .latch n_n50 ny_23 re ck 2 |
| .latch n_n60 ny_15 re ck 2 |
| .latch n_n46 ny_28 re ck 2 |
| .latch n_n127 ny_29 re ck 2 |
| .latch ni461 ny_14 re ck 2 |
| .latch n_n137 ny_21 re ck 2 |
| .latch n_n71 ny_8 re ck 2 |
| .latch n_n40 ny_31 re ck 2 |
| .latch n_n162 ny_1 re ck 2 |
| .latch ni1069 ny_30 re ck 2 |
| .latch ni5 ny_2 re ck 2 |
| .latch n_n65 ny_11 re ck 2 |
| .latch n_n51 ny_24 re ck 2 |
| .latch n_n75 ny_3 re ck 2 |
| .latch ni309 ny_10 re ck 2 |
| .latch n_n142 ny_17 re ck 2 |
| .latch n_n66 ny_12 re ck 2 |
| .latch n_n157 ny_5 re ck 2 |
| .latch ni157 ny_6 re ck 2 |
| .latch n_n70 ny_7 re ck 2 |
| .latch n_n147 ny_13 re ck 2 |
| .latch ni917 ny_26 re ck 2 |
| .latch n_n56 ny_20 re ck 2 |
| .latch n_n45 ny_27 re ck 2 |
| .latch n_n55 ny_19 re ck 2 |
| .latch n_n41 ny_32 re ck 2 |
| .latch ni613 ny_18 re ck 2 |
| .latch n_n132 ny_25 re ck 2 |
| .names ny_29 ny_31 ny_30 ny_32 w |
| 1111 1 |
| .names n_n80 [123] [844] [862] z |
| 0--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names ny_4 ny_2 ny_3 [111] [735] n_n76 |
| 1--1- 1 |
| -11-1 1 |
| .names ny_9 n_n63 n_n152 |
| 00 1 |
| .names ny_22 ny_21 n_n48 ni765 |
| 010 1 |
| 100 1 |
| .names ny_16 ny_15 ny_14 ny_13 n_n58 n_n61 |
| 10--0 1 |
| 1-0-0 1 |
| 1--00 1 |
| 01110 1 |
| .names ny_22 ny_23 ny_21 n_n48 n_n50 |
| 01-0 1 |
| -100 1 |
| 1010 1 |
| .names ny_15 ny_14 ny_13 n_n58 n_n60 |
| 10-0 1 |
| 1-00 1 |
| 0110 1 |
| .names ny_28 ny_26 ny_27 ny_25 n_n43 n_n46 |
| 10--0 1 |
| 1-0-0 1 |
| 1--00 1 |
| 01110 1 |
| .names ny_29 n_n38 n_n127 |
| 00 1 |
| .names ny_14 ny_13 n_n58 ni461 |
| 010 1 |
| 100 1 |
| .names ny_21 n_n48 n_n137 |
| 00 1 |
| .names ny_8 ny_5 ny_6 ny_7 n_n68 n_n71 |
| 10--0 1 |
| 1-0-0 1 |
| 1--00 1 |
| 01110 1 |
| .names ny_29 ny_31 ny_30 n_n38 n_n40 |
| 01-0 1 |
| -100 1 |
| 1010 1 |
| .names clear x ny_1 n_n162 |
| 010 1 |
| .names ny_29 ny_30 n_n38 ni1069 |
| 010 1 |
| 100 1 |
| .names clear x ny_1 ny_2 ni5 |
| 0101 1 |
| 0110 1 |
| .names ny_9 ny_11 ny_10 n_n63 n_n65 |
| 01-0 1 |
| -100 1 |
| 1010 1 |
| .names ny_22 ny_23 ny_21 ny_24 n_n48 n_n51 |
| 0--10 1 |
| -0-10 1 |
| --010 1 |
| 11100 1 |
| .names clear x ny_1 ny_2 ny_3 n_n75 |
| 010-1 1 |
| 01-01 1 |
| 01110 1 |
| .names ny_9 ny_10 n_n63 ni309 |
| 010 1 |
| 100 1 |
| .names ny_17 n_n53 n_n142 |
| 00 1 |
| .names ny_9 ny_11 ny_10 ny_12 n_n63 n_n66 |
| 0--10 1 |
| -0-10 1 |
| --010 1 |
| 11100 1 |
| .names ny_5 n_n68 n_n157 |
| 00 1 |
| .names ny_5 ny_6 n_n68 ni157 |
| 010 1 |
| 100 1 |
| .names ny_5 ny_6 ny_7 n_n68 n_n70 |
| 0-10 1 |
| -010 1 |
| 1100 1 |
| .names ny_13 n_n58 n_n147 |
| 00 1 |
| .names ny_26 ny_25 n_n43 ni917 |
| 010 1 |
| 100 1 |
| .names ny_17 ny_20 ny_19 ny_18 n_n53 n_n56 |
| 01--0 1 |
| -10-0 1 |
| -1-00 1 |
| 10110 1 |
| .names ny_26 ny_27 ny_25 n_n43 n_n45 |
| 01-0 1 |
| -100 1 |
| 1010 1 |
| .names ny_17 ny_19 ny_18 n_n53 n_n55 |
| 01-0 1 |
| -100 1 |
| 1010 1 |
| .names ny_29 ny_31 ny_30 ny_32 n_n38 n_n41 |
| 0--10 1 |
| -0-10 1 |
| --010 1 |
| 11100 1 |
| .names ny_17 ny_18 n_n53 ni613 |
| 010 1 |
| 100 1 |
| .names ny_25 n_n43 n_n132 |
| 00 1 |
| .names [68] [133] [819] [830] n_n80 |
| 1001 1 |
| .names x ny_1 ny_2 [86] |
| 100 1 |
| .names ny_5 [92] [786] [788] [789] [99] |
| 01111 1 |
| .names clear ny_17 ny_20 ny_19 ny_18 n_n48 |
| 1---- 1 |
| -0--- 1 |
| --0-- 1 |
| ---0- 1 |
| ----0 1 |
| .names x ny_4 ny_1 ny_2 ny_3 [92] |
| 10000 1 |
| .names clear ny_4 ny_1 ny_2 ny_3 n_n68 |
| 1---- 1 |
| -0--- 1 |
| --0-- 1 |
| ---0- 1 |
| ----0 1 |
| .names clear ny_8 ny_5 ny_6 ny_7 n_n63 |
| 1---- 1 |
| -0--- 1 |
| --0-- 1 |
| ---0- 1 |
| ----0 1 |
| .names clear ny_9 ny_11 ny_10 ny_12 n_n58 |
| 1---- 1 |
| -0--- 1 |
| --0-- 1 |
| ---0- 1 |
| ----0 1 |
| .names clear ny_16 ny_15 ny_14 ny_13 n_n53 |
| 1---- 1 |
| -0--- 1 |
| --0-- 1 |
| ---0- 1 |
| ----0 1 |
| .names clear ny_28 ny_26 ny_27 ny_25 n_n38 |
| 1---- 1 |
| -0--- 1 |
| --0-- 1 |
| ---0- 1 |
| ----0 1 |
| .names [99] [790] [791] [796] [797] [71] |
| 11111 1 |
| .names c_25 ny_25 [71] [799] [68] |
| 0--- 1 |
| -0-- 1 |
| --0- 1 |
| ---0 1 |
| .names clear x ny_1 ny_2 ny_3 [111] |
| 010-- 1 |
| 01-0- 1 |
| 01--0 1 |
| .names clear ny_22 ny_23 ny_21 ny_24 n_n43 |
| 1---- 1 |
| -0--- 1 |
| --0-- 1 |
| ---0- 1 |
| ----0 1 |
| .names ny_26 ny_25 [71] [799] [848] [70] |
| 00111 1 |
| .names [99] [790] [791] [796] [850] [81] |
| 11111 1 |
| .names ny_5 [92] [786] [852] [82] |
| 0111 1 |
| .names ny_5 [92] [786] [788] [853] [83] |
| 01111 1 |
| .names c_3 x ny_1 ny_2 ny_3 [84] |
| 11001 1 |
| .names ny_5 [92] [786] [788] [833] [121] |
| 01111 1 |
| .names [71] [799] [800] [802] [837] [123] |
| 11111 1 |
| .names c_9 ny_9 ny_5 [92] [786] [124] |
| 11011 1 |
| .names c_1 x ny_1 [126] |
| 111 1 |
| .names c_5 ny_5 [92] [129] |
| 111 1 |
| .names [99] [790] [791] [796] [821] [130] |
| 11111 1 |
| .names ny_15 ny_14 [99] [791] [823] [132] |
| 00111 1 |
| .names [71] [799] [800] [802] [809] [133] |
| 11111 1 |
| .names c_2 x ny_1 ny_2 [135] |
| 1101 1 |
| .names ny_5 [92] [795] [141] |
| 011 1 |
| .names [71] [799] [800] [802] [803] [143] |
| 11111 1 |
| .names clear x ny_4 ny_1 [735] |
| 0101 1 |
| .names ny_8 ny_6 ny_7 [786] |
| 000 1 |
| .names ny_9 ny_11 ny_10 [788] |
| 000 1 |
| .names ny_13 ny_12 [789] |
| 00 1 |
| .names ny_14 ny_15 [790] |
| 00 1 |
| .names ny_17 ny_16 [791] |
| 00 1 |
| .names c_19 ny_19 ny_18 [793] |
| 110 1 |
| .names c_8 c_7 ny_8 ny_6 ny_7 [795] |
| -1-01 1 |
| 1-100 1 |
| .names ny_18 ny_19 [796] |
| 00 1 |
| .names ny_20 ny_21 [797] |
| 00 1 |
| .names ny_22 ny_23 ny_24 [799] |
| 000 1 |
| .names ny_25 ny_26 [800] |
| 00 1 |
| .names ny_27 c_27 [801] |
| 11 1 |
| .names ny_27 ny_28 [802] |
| 00 1 |
| .names ny_29 c_29 [803] |
| 11 1 |
| .names [99] [141] [790] [791] [793] [804] |
| -1--- 1 |
| 1-111 1 |
| .names [71] [799] [800] [801] [804] [805] |
| ----1 1 |
| 1111- 1 |
| .names c_32 ny_29 ny_31 ny_30 ny_32 [809] |
| 10001 1 |
| .names c_26 ny_26 ny_25 [811] |
| 110 1 |
| .names c_24 c_23 ny_22 ny_23 ny_24 [815] |
| -101- 1 |
| 1-001 1 |
| .names c_14 ny_14 [99] [135] [817] |
| ---1 1 |
| 111- 1 |
| .names [71] [799] [811] [815] [817] [819] |
| ----1 1 |
| 1--1- 1 |
| 111-- 1 |
| .names ny_20 c_20 [821] |
| 11 1 |
| .names ny_16 c_16 [822] |
| 11 1 |
| .names ny_18 c_18 [823] |
| 11 1 |
| .names ny_15 ny_14 [99] [129] [822] [824] |
| ---1- 1 |
| 001-1 1 |
| .names c_17 ny_16 ny_17 [828] |
| 0-- 1 |
| -1- 1 |
| --0 1 |
| .names c_0 x [99] [790] [828] [829] |
| 0-0-- 1 |
| -00-- 1 |
| 0--0- 1 |
| -0-0- 1 |
| 0---1 1 |
| -0--1 1 |
| .names [130] [132] [824] [829] [830] |
| 0001 1 |
| .names c_13 ny_12 ny_13 [833] |
| 101 1 |
| .names c_4 ny_4 ny_3 [835] |
| 110 1 |
| .names c_31 c_30 ny_29 ny_31 ny_30 [837] |
| -10-1 1 |
| 1-010 1 |
| .names [86] [121] [124] [126] [835] [843] |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| 1---1 1 |
| .names c_22 ny_22 [71] [843] [844] |
| ---1 1 |
| 111- 1 |
| .names c_15 ny_15 ny_14 [846] |
| 110 1 |
| .names c_28 ny_28 ny_27 [848] |
| 110 1 |
| .names c_21 ny_21 ny_20 [850] |
| 110 1 |
| .names c_11 c_10 ny_9 ny_11 ny_10 [852] |
| -10-1 1 |
| 1-010 1 |
| .names ny_12 c_12 [853] |
| 11 1 |
| .names c_6 ny_5 ny_6 [92] [84] [856] |
| ----1 1 |
| 1011- 1 |
| .names [99] [82] [83] [846] [856] [859] |
| -1--- 1 |
| --1-- 1 |
| ----1 1 |
| 1--1- 1 |
| .names [70] [81] [143] [805] [859] [862] |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .end |
