.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