.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 [70] [143] [805] [860] [863] z
1---- 1
-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 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 ny_13 n_n58 n_n61
10--0 1
1-0-0 1
1--00 1
01110 1
.names ny_23 [77] [94] n_n50
11- 1
0-1 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 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_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 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 ny_11 [93] [74] n_n65
01- 1
1-1 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 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_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 clear ny_4 ny_1 ny_2 ny_3 ny_5 ny_6 ni157
0111101 1
0111110 1
.names ny_7 [78] [98] n_n70
11- 1
0-1 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_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_19 [76] [97] n_n55
11- 1
0-1 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 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 n_n118 [786] [788] [789] [790] [791] [796] [89]
1111111 1
.names clear ny_17 ny_20 ny_19 ny_18 n_n48
1---- 1
-0--- 1
--0-- 1
---0- 1
----0 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_9 ny_8 ny_10 ny_5 ny_6 ny_7 [93]
0111111 1
.names clear ny_16 ny_15 ny_14 ny_17 ny_13 ny_18 [76]
011101- 1
0111-10 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 [77]
00-1111 1
0-01111 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_9 ny_8 ny_10 ny_5 ny_6 ny_7 [74]
001-111 1
0-10111 1
.names clear ny_4 ny_1 ny_2 ny_3 ny_5 ny_6 [78]
011110- 1
01111-0 1
.names clear ny_4 ny_1 ny_2 ny_3 ny_5 ny_6 [98]
0111111 1
.names c_25 ny_21 ny_20 ny_25 [89] [799] [68]
0----- 1
-1---- 1
--1--- 1
---0-- 1
----0- 1
-----0 1
.names c_0 x [109]
0- 1
-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_12 ny_13 n_n118 [786] [788] [846] [69]
001111 1
.names ny_21 ny_26 ny_20 ny_25 [89] [799] [848] [70]
0000111 1
.names c_3 x ny_1 ny_2 ny_3 [84]
11001 1
.names ny_21 ny_20 [89] [799] [800] [802] [837] [123]
0011111 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] [823] [132]
1111111 1
.names ny_21 ny_20 [89] [799] [800] [802] [809] [133]
0011111 1
.names c_2 x ny_1 ny_2 [135]
1101 1
.names n_n118 [786] [788] [789] [790] [791] [793] [140]
1111111 1
.names c_8 c_7 ny_8 ny_6 ny_7 n_n118 [141]
-1-011 1
1-1001 1
.names ny_21 ny_20 [89] [799] [800] [802] [803] [143]
0011111 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 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 [89] [140] [141] [797] [799] [800] [801] [805]
-1----- 1
--1---- 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 ny_14 c_14 [816]
11 1
.names ny_12 ny_13 n_n118 [135] [786] [788] [816] [817]
---1--- 1
001-111 1
.names ny_21 ny_20 [89] [799] [811] [815] [817] [819]
------1 1
001--1- 1
00111-- 1
.names ny_16 c_16 [822]
11 1
.names ny_18 c_18 [823]
11 1
.names n_n118 [129] [786] [788] [789] [790] [822] [824]
-1----- 1
1-11111 1
.names c_17 ny_16 ny_17 [828]
0-- 1
-1- 1
--0 1
.names n_n118 [109] [786] [788] [789] [790] [828] [829]
01----- 1
-10---- 1
-1-0--- 1
-1--0-- 1
-1---0- 1
-1----1 1
.names c_20 ny_20 [89] [132] [824] [829] [830]
0--001 1
-0-001 1
--0001 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 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 n_n118 [786] [788] [833] [841] [843]
------1 1
1111--- 1
--1111- 1
.names c_22 ny_22 ny_21 ny_20 [89] [843] [844]
-----1 1
11001- 1
.names c_15 ny_15 ny_14 [846]
110 1
.names c_28 ny_28 ny_27 [848]
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 ny_6 c_6 [855]
11 1
.names n_n118 [84] [786] [788] [852] [853] [855] [858]
-1----- 1
1-----1 1
1-1-1-- 1
1-11-1- 1
.names c_21 ny_21 ny_20 [89] [69] [858] [860]
----1- 1
-----1 1
1101-- 1
.names [68] [123] [133] [819] [830] [844] [863]
0----- 1
-1---- 1
--1--- 1
---1-- 1
----0- 1
-----1 1
.end