.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 [70] [860] [863] z
1--- 1
-1-- 1
--1- 1
---1 1
.names ny_2 ny_3 [221] [735] n_n76
--1- 1
11-1 1
.names ny_9 ny_5 ny_6 [738] n_n152
0110 1
.names ny_22 ny_21 [740] [741] ni765
0100 1
1000 1
.names ny_16 [75] [212] [214] n_n61
--1- 1
11-- 1
1--1 1
.names ny_23 [77] [94] n_n50
11- 1
0-1 1
.names ny_15 [75] [206] n_n60
--1 1
11- 1
.names ny_28 [80] [200] [202] n_n46
--1- 1
11-- 1
1--1 1
.names ny_29 ny_26 ny_27 [757] n_n127
0110 1
.names ny_14 ny_13 [744] [745] ni461
0100 1
1000 1
.names ny_21 ny_20 ny_19 [741] n_n137
0110 1
.names ny_8 [78] [192] [194] n_n71
--1- 1
11-- 1
1--1 1
.names ny_31 [79] [188] n_n40
--1 1
11- 1
.names clear x ny_1 n_n162
010 1
.names ny_29 ny_30 [756] [757] ni1069
0100 1
1000 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_24 [77] [176] [178] n_n51
--1- 1
11-- 1
1--1 1
.names ny_1 ny_2 ny_3 [88] n_n75
0-11 1
-011 1
1101 1
.names ny_9 ny_10 [737] [738] ni309
0100 1
1000 1
.names ny_15 ny_14 ny_17 [774] n_n142
1100 1
.names ny_12 [74] [168] [170] n_n66
--1- 1
11-- 1
1--1 1
.names ny_1 ny_2 ny_5 [760] n_n157
1100 1
.names ny_5 ny_6 [759] [760] ni157
0100 1
1000 1
.names ny_7 [78] [98] n_n70
11- 1
0-1 1
.names ny_11 ny_10 ny_13 [745] n_n147
1100 1
.names ny_26 ny_25 [751] [752] ni917
0100 1
1000 1
.names ny_20 [76] [156] [158] n_n56
--1- 1
11-- 1
1--1 1
.names ny_27 [80] [154] n_n45
--1 1
11- 1
.names ny_19 [76] [97] n_n55
11- 1
0-1 1
.names ny_32 [79] [148] [150] n_n41
--1- 1
11-- 1
1--1 1
.names ny_17 ny_18 [773] [774] ni613
0100 1
1000 1
.names ny_23 ny_21 ny_25 [752] n_n132
1100 1
.names ny_4 ny_3 ny_5 [86] n_n118
0001 1
.names [72] [142] [803] [804] n_n4
-1-- 1
---1 1
1-1- 1
.names ny_29 [72] [113] [844] n_n0
---1 1
011- 1
.names x ny_1 ny_2 [86]
100 1
.names ny_5 [86] [784] [786] [91]
0111 1
.names c_11 c_10 ny_11 ny_10 [102]
-1-1 1
1-10 1
.names clear x [88]
01 1
.names [91] [788] [789] [790] [87]
1111 1
.names ny_5 ny_6 [738] [767] [93]
1101 1
.names ny_17 ny_18 [773] [774] [76]
0-00 1
-000 1
.names ny_15 ny_14 [774] [777] [97]
1101 1
.names ny_22 ny_21 [740] [741] [77]
0-00 1
-000 1
.names ny_20 ny_19 [741] [748] [94]
1101 1
.names [71] [799] [800] [802] [72]
1111 1
.names c_8 c_7 ny_8 ny_7 [105]
-1-1 1
1-10 1
.names ny_9 ny_10 [737] [738] [74]
0-00 1
-000 1
.names ny_14 ny_13 [744] [745] [75]
0-00 1
-000 1
.names [87] [791] [796] [797] [71]
1111 1
.names clear x ny_1 ny_2 [73]
010- 1
01-0 1
.names ny_5 ny_6 [759] [760] [78]
0-00 1
-000 1
.names ny_1 ny_2 [760] [761] [98]
1101 1
.names c_24 c_23 ny_23 ny_24 [108]
-11- 1
1-01 1
.names [72] [134] [809] [818] n_n3
-1-- 1
---1 1
1-1- 1
.names c_25 ny_25 [71] [799] [68]
0--- 1
-0-- 1
--0- 1
---0 1
.names c_31 c_30 ny_31 ny_30 [113]
-1-1 1
1-10 1
.names ny_29 ny_30 [756] [757] [79]
0-00 1
-000 1
.names ny_26 ny_25 [751] [752] [80]
0-00 1
-000 1
.names [91] [788] [789] [846] [69]
1111 1
.names [71] [799] [800] [848] [70]
1111 1
.names [87] [791] [796] [850] [81]
1111 1
.names c_12 ny_12 [91] [788] [83]
1111 1
.names c_3 ny_3 [86] [84]
111 1
.names ny_5 [86] [784] [855] [85]
0111 1
.names [91] [788] [833] [121]
111 1
.names c_1 x ny_1 [126]
111 1
.names ny_4 ny_3 [86] [820] [129]
0011 1
.names [87] [791] [796] [821] [130]
1111 1
.names ny_16 ny_17 [87] [823] [132]
0011 1
.names [71] [799] [811] [134]
111 1
.names c_2 x ny_1 ny_2 [135]
1101 1
.names [91] [788] [789] [816] [137]
1111 1
.names ny_6 n_n118 [105] [141]
011 1
.names [71] [799] [800] [801] [142]
1111 1
.names ny_26 ny_27 [757] [781] [148]
1101 1
.names ny_31 ny_26 ny_27 [757] [150]
0110 1
.names ny_25 [751] [752] [779] [154]
1001 1
.names [773] [774] [777] [778] [156]
0011 1
.names ny_15 ny_14 ny_19 [774] [158]
1100 1
.names [737] [738] [767] [775] [168]
0011 1
.names ny_11 ny_5 ny_6 [738] [170]
0110 1
.names [740] [741] [748] [768] [176]
0011 1
.names ny_23 ny_20 ny_19 [741] [178]
0110 1
.names ny_26 ny_27 [757] [764] [188]
1101 1
.names [759] [760] [761] [762] [192]
0011 1
.names ny_1 ny_2 ny_7 [760] [194]
1100 1
.names ny_25 [751] [752] [754] [200]
1001 1
.names ny_23 ny_21 ny_27 [752] [202]
1100 1
.names ny_13 [744] [745] [749] [206]
1001 1
.names ny_13 [744] [745] [747] [212]
1001 1
.names ny_15 ny_11 ny_10 [745] [214]
0110 1
.names ny_4 [73] [222] [221]
11- 1
1-1 1
.names clear x ny_3 [222]
010 1
.names clear x ny_4 ny_1 [735]
0101 1
.names ny_6 ny_5 [737]
0- 1
-0 1
.names clear ny_8 ny_7 [738]
1-- 1
-0- 1
--0 1
.names ny_19 ny_20 [740]
0- 1
-0 1
.names clear ny_17 ny_18 [741]
1-- 1
-0- 1
--0 1
.names ny_10 ny_11 [744]
0- 1
-0 1
.names clear ny_9 ny_12 [745]
1-- 1
-0- 1
--0 1
.names ny_16 ny_15 ny_14 [747]
011 1
.names ny_21 ny_22 [748]
11 1
.names ny_14 ny_15 [749]
10 1
.names ny_21 ny_23 [751]
0- 1
-0 1
.names clear ny_22 ny_24 [752]
1-- 1
-0- 1
--0 1
.names ny_28 ny_26 ny_27 [754]
011 1
.names ny_27 ny_26 [756]
0- 1
-0 1
.names clear ny_28 ny_25 [757]
1-- 1
-0- 1
--0 1
.names ny_2 ny_1 [759]
0- 1
-0 1
.names clear ny_4 ny_3 [760]
1-- 1
-0- 1
--0 1
.names ny_6 ny_5 [761]
11 1
.names ny_7 ny_8 [762]
10 1
.names ny_29 ny_31 ny_30 [764]
101 1
.names ny_10 ny_9 [767]
11 1
.names ny_24 ny_23 [768]
01 1
.names ny_14 ny_15 [773]
0- 1
-0 1
.names clear ny_16 ny_13 [774]
1-- 1
-0- 1
--0 1
.names ny_12 ny_11 [775]
01 1
.names ny_18 ny_17 [777]
11 1
.names ny_19 ny_20 [778]
10 1
.names ny_27 ny_26 [779]
01 1
.names ny_29 ny_31 ny_30 ny_32 [781]
1110 1
.names ny_3 ny_4 [784]
00 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 [87] [141] [791] [793] [804]
-1-- 1
1-11 1
.names c_32 ny_29 ny_32 [808]
101 1
.names ny_31 ny_30 [808] [809]
001 1
.names c_26 ny_26 ny_25 [811]
110 1
.names ny_14 c_14 [816]
11 1
.names [137] [135] [817]
1- 1
-1 1
.names ny_22 [71] [108] [817] [818]
---1 1
011- 1
.names ny_5 c_5 [820]
11 1
.names ny_20 c_20 [821]
11 1
.names ny_18 c_18 [823]
11 1
.names c_16 ny_16 [87] [129] [824]
---1 1
111- 1
.names c_17 ny_16 ny_17 [828]
0-- 1
-1- 1
--0 1
.names c_0 x [87] [828] [829]
0-0- 1
-00- 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 ny_9 c_9 [838]
11 1
.names [86] [126] [835] [841]
-1- 1
1-1 1
.names [91] [121] [838] [841] [843]
-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 [102] ny_9 [852]
10 1
.names ny_6 c_6 [855]
11 1
.names [91] [84] [85] [852] [857]
-1-- 1
--1- 1
1--1 1
.names [69] [81] [83] [857] [860]
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n0 n_n3 [68] [830] [863]
1--- 1
-1-- 1
--0- 1
---0 1
.end