.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