.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_n4 n_n0 n_n3 [831] [861] z
1---- 1
-1--- 1
--1-- 1
---0- 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 clear ny_22 ny_21 ny_17 ny_20 ny_19 ny_18 ni765
0011111 1
0101111 1
.names ny_16 ny_15 ny_14 [100] [104] n_n61
1---1 1
0111- 1
.names clear ny_22 ny_23 ny_21 ny_17 ny_20 ny_19 ny_18 n_n50
001-1111 1
0-101111 1
01011111 1
.names clear ny_9 ny_15 ny_14 ny_11 ny_10 ny_12 ny_13 n_n60
0110111- 1
011-1110 1
01011111 1
.names ny_28 ny_26 ny_27 [101] [115] n_n46
1---1 1
0111- 1
.names clear ny_28 ny_29 ny_26 ny_27 ny_25 n_n127
010111 1
.names clear ny_9 ny_14 ny_11 ny_10 ny_12 ny_13 ni461
0101111 1
0111110 1
.names clear ny_21 ny_17 ny_20 ny_19 ny_18 n_n137
001111 1
.names ny_8 ny_7 [98] [112] n_n71
1--1 1
011- 1
.names clear ny_28 ny_29 ny_31 ny_30 ny_26 ny_27 ny_25 n_n40
0101-111 1
01-10111 1
01101111 1
.names clear x ny_1 n_n162
010 1
.names clear ny_28 ny_29 ny_30 ny_26 ny_27 ny_25 ni1069
0101111 1
0110111 1
.names clear x ny_1 ny_2 ni5
0101 1
0110 1
.names clear ny_9 ny_8 ny_11 ny_10 ny_5 ny_6 ny_7 n_n65
0011-111 1
0-110111 1
01101111 1
.names ny_23 ny_24 [94] [107] n_n51
-1-1 1
101- 1
.names clear x ny_1 ny_2 ny_3 n_n75
010-1 1
01-01 1
01110 1
.names clear ny_9 ny_8 ny_10 ny_5 ny_6 ny_7 ni309
0011111 1
0110111 1
.names clear ny_16 ny_15 ny_14 ny_17 ny_13 n_n142
011101 1
.names ny_11 ny_12 [93] [103] n_n66
-1-1 1
101- 1
.names clear ny_4 ny_1 ny_2 ny_3 ny_5 n_n157
011110 1
.names clear ny_4 ny_1 ny_2 ny_3 ny_5 ny_6 ni157
0111101 1
0111110 1
.names clear ny_4 ny_1 ny_2 ny_3 ny_5 ny_6 ny_7 n_n70
011110-1 1
01111-01 1
01111110 1
.names clear ny_9 ny_11 ny_10 ny_12 ny_13 n_n147
011110 1
.names clear ny_22 ny_23 ny_21 ny_24 ny_26 ny_25 ni917
0111101 1
0111110 1
.names ny_20 ny_19 [97] [106] n_n56
1--1 1
011- 1
.names clear ny_22 ny_23 ny_21 ny_24 ny_26 ny_27 ny_25 n_n45
0111101- 1
01111-10 1
01111101 1
.names clear ny_16 ny_15 ny_14 ny_17 ny_13 ny_19 ny_18 n_n55
0111011- 1
0111-110 1
01111101 1
.names ny_29 ny_31 ny_30 ny_32 n_n38 [114] n_n41
---1-1 1
11100- 1
.names clear ny_16 ny_15 ny_14 ny_17 ny_13 ny_18 ni613
0111011 1
0111110 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 c_27 ny_28 ny_27 [71] [799] [800] [803] [804] n_n4
-------1 1
1-1111-- 1
-001111- 1
.names ny_26 ny_25 [71] [799] [802] [837] [839] [843] n_n0
-------1 1
--1---1- 1
001111-- 1
.names clear ny_9 ny_11 ny_10 ny_12 ny_13 [100]
011111 1
.names clear ny_9 ny_8 ny_10 ny_5 ny_6 ny_7 [93]
0111111 1
.names clear ny_9 ny_8 ny_11 ny_10 ny_5 ny_6 ny_7 [103]
001--111 1
0-10-111 1
0-1-0111 1
.names clear ny_9 ny_15 ny_14 ny_11 ny_10 ny_12 ny_13 [104]
010-111- 1
01-0111- 1
01--1110 1
.names clear ny_16 ny_15 ny_14 ny_17 ny_13 ny_18 [97]
0111111 1
.names clear ny_22 ny_21 ny_17 ny_20 ny_19 ny_18 [94]
0111111 1
.names clear ny_28 ny_26 ny_27 ny_25 n_n38
1---- 1
-0--- 1
--0-- 1
---0- 1
----0 1
.names clear ny_16 ny_15 ny_14 ny_17 ny_13 ny_19 ny_18 [106]
011101-- 1
0111-10- 1
0111-1-0 1
.names clear ny_22 ny_23 ny_21 ny_17 ny_20 ny_19 ny_18 [107]
00--1111 1
0-0-1111 1
0--01111 1
.names clear ny_22 ny_23 ny_21 ny_24 ny_25 [101]
011111 1
.names n_n118 [786] [788] [789] [790] [791] [796] [797] [71]
11111111 1
.names clear ny_4 ny_1 ny_2 ny_3 ny_5 ny_6 [98]
0111111 1
.names [71] [799] [800] [802] [809] [811] [815] [817] n_n3
-------1 1
1-----1- 1
11---1-- 1
11111--- 1
.names clear ny_4 ny_1 ny_2 ny_3 ny_5 ny_6 ny_7 [112]
011110-- 1
01111-0- 1
01111--0 1
.names clear ny_28 ny_29 ny_31 ny_30 ny_26 ny_27 ny_25 [114]
010--111 1
01-0-111 1
01--0111 1
.names clear ny_22 ny_23 ny_21 ny_24 ny_26 ny_27 ny_25 [115]
011110-- 1
01111-0- 1
01111--0 1
.names ny_8 ny_12 ny_6 ny_7 ny_13 n_n118 [788] [846] [69]
00000111 1
.names n_n118 [786] [788] [789] [790] [791] [796] [850] [81]
11111111 1
.names c_3 x ny_1 ny_2 ny_3 [84]
11001 1
.names c_5 x ny_4 ny_1 ny_2 ny_3 ny_5 [129]
1100001 1
.names n_n118 [786] [788] [789] [790] [791] [796] [821] [130]
11111111 1
.names ny_12 ny_13 n_n118 [786] [788] [790] [791] [823] [132]
00111111 1
.names c_2 x ny_1 ny_2 [135]
1101 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 ny_28 [802]
00 1
.names ny_29 c_29 [803]
11 1
.names n_n118 [786] [788] [789] [790] [791] [793] [795] [804]
1------1 1
1111111- 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 ny_12 ny_13 n_n118 [135] [786] [788] [817]
-----1-- 1
11001-11 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_12 ny_13 n_n118 [129] [786] [788] [790] [822] [824]
---1---- 1
001-1111 1
.names c_17 ny_16 ny_17 [828]
0-- 1
-1- 1
--0 1
.names c_0 x n_n118 [786] [788] [789] [790] [828] [829]
0-0----- 1
-00----- 1
0--0---- 1
-0-0---- 1
0---0--- 1
-0--0--- 1
0----0-- 1
-0---0-- 1
0-----0- 1
-0----0- 1
0------1 1
-0-----1 1
.names c_25 ny_25 [71] [130] [132] [799] [824] [829] [831]
0--00-01 1
-0-00-01 1
--000-01 1
---00001 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_4 c_1 x ny_4 ny_1 ny_2 ny_3 [841]
-11-1-- 1
1-11000 1
.names c_9 ny_9 ny_11 ny_10 n_n118 [786] [833] [841] [843]
-------1 1
11--11-- 1
-000111- 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_6 c_6 [855]
11 1
.names c_12 ny_12 n_n118 [84] [786] [788] [852] [855] [858]
---1---- 1
--1----1 1
--1-1-1- 1
111-11-- 1
.names ny_26 ny_25 [71] [69] [81] [799] [848] [858] [861]
---1---- 1
----1--- 1
-------1 1
001--11- 1
.end