| .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 [72] n_n3 [831] [837] [844] [862] z |
| -1---- 1 |
| --0--- 1 |
| ----1- 1 |
| -----1 1 |
| 1--1-- 1 |
| .names clear x ny_4 ny_1 ny_2 ny_3 n_n76 |
| 0110-- 1 |
| 011-0- 1 |
| 011--0 1 |
| 010111 1 |
| .names clear ny_9 ny_8 ny_5 ny_6 ny_7 n_n152 |
| 001111 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 clear ny_28 ny_29 ny_26 ny_27 ny_25 n_n127 |
| 010111 1 |
| .names ny_14 ny_13 n_n58 ni461 |
| 010 1 |
| 100 1 |
| .names clear ny_21 ny_17 ny_20 ny_19 ny_18 n_n137 |
| 001111 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 clear ny_16 ny_15 ny_14 ny_17 ny_13 n_n142 |
| 011101 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 clear ny_4 ny_1 ny_2 ny_3 ny_5 n_n157 |
| 011110 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 clear ny_9 ny_11 ny_10 ny_12 ny_13 n_n147 |
| 011110 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 clear ny_22 ny_23 ny_21 ny_24 ny_25 n_n132 |
| 011110 1 |
| .names x ny_4 ny_1 ny_2 ny_3 ny_5 n_n118 |
| 100000 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 n_n118 [786] [788] [789] [790] [791] n_n103 |
| 111111 1 |
| .names n_n103 [796] [797] [799] [800] [802] [72] |
| 111111 1 |
| .names clear ny_28 ny_26 ny_27 ny_25 n_n38 |
| 1---- 1 |
| -0--- 1 |
| --0-- 1 |
| ---0- 1 |
| ----0 1 |
| .names [72] [134] [809] [818] n_n3 |
| -1-- 1 |
| ---1 1 |
| 1-1- 1 |
| .names n_n103 [129] [131] [796] [821] [823] n_n1 |
| -1---- 1 |
| --1--- 1 |
| 1----1 1 |
| 1--11- 1 |
| .names ny_19 ny_18 n_n103 [797] [799] [826] [68] |
| 1----- 1 |
| -1---- 1 |
| --0--- 1 |
| ---0-- 1 |
| ----0- 1 |
| -----1 1 |
| .names n_n118 [786] [788] [789] [790] [828] [110] |
| 0----- 1 |
| -0---- 1 |
| --0--- 1 |
| ---0-- 1 |
| ----0- 1 |
| -----1 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_12 ny_13 n_n118 [786] [788] [846] [69] |
| 001111 1 |
| .names n_n103 [796] [797] [799] [800] [848] [70] |
| 111111 1 |
| .names c_12 ny_12 n_n118 [786] [788] [83] |
| 11111 1 |
| .names c_3 x ny_1 ny_2 ny_3 [84] |
| 11001 1 |
| .names ny_8 ny_6 ny_7 n_n118 [788] [833] [121] |
| 000111 1 |
| .names c_4 x ny_4 ny_1 ny_2 ny_3 [122] |
| 111000 1 |
| .names c_1 x ny_1 [126] |
| 111 1 |
| .names c_5 ny_5 [92] [129] |
| 111 1 |
| .names n_n118 [786] [788] [789] [790] [822] [131] |
| 111111 1 |
| .names ny_19 ny_18 n_n103 [797] [799] [811] [134] |
| 001111 1 |
| .names c_2 x ny_1 ny_2 [135] |
| 1101 1 |
| .names n_n103 [796] [797] [799] [800] [801] [142] |
| 111111 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_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 c_19 ny_19 ny_18 n_n118 n_n103 [795] [804] |
| ---1-1 1 |
| 110-1- 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 ny_14 c_14 [816] |
| 11 1 |
| .names n_n118 [135] [786] [788] [789] [816] [817] |
| -1---- 1 |
| 1-1111 1 |
| .names ny_19 ny_18 n_n103 [797] [815] [817] [818] |
| -----1 1 |
| 00111- 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_25 c_25 [826] |
| 0- 1 |
| -0 1 |
| .names c_17 ny_16 ny_17 [828] |
| 0-- 1 |
| -1- 1 |
| --0 1 |
| .names c_0 x n_n1 [68] [110] [831] |
| 0-011 1 |
| -0011 1 |
| .names c_13 ny_12 ny_13 [833] |
| 101 1 |
| .names c_31 c_30 ny_29 ny_31 ny_30 [837] |
| -10-1 1 |
| 1-010 1 |
| .names ny_22 c_22 [839] |
| 11 1 |
| .names c_9 ny_9 n_n118 [122] [126] [786] [842] |
| ---1-- 1 |
| ----1- 1 |
| 111--1 1 |
| .names n_n103 [121] [796] [797] [839] [842] [844] |
| -1---- 1 |
| -----1 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 c_6 ny_6 n_n118 [84] [786] [852] [857] |
| ---1-- 1 |
| 111--- 1 |
| --1-11 1 |
| .names n_n103 [69] [83] [796] [850] [857] [860] |
| -1---- 1 |
| --1--- 1 |
| -----1 1 |
| 1--11- 1 |
| .names [72] [70] [142] [803] [804] [860] [862] |
| -1---- 1 |
| --1--- 1 |
| ----1- 1 |
| -----1 1 |
| 1--1-- 1 |
| .end |
