.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_32 [96] w
11 1
.names n_n80 n_n0 [862] z
0-- 1
-1- 1
--1 1
.names ny_4 [111] [220] n_n76
--1 1
11- 1
.names ny_9 [737] [738] n_n152
000 1
.names ny_22 ny_21 n_n48 ni765
010 1
100 1
.names ny_16 [104] [212] n_n61
--1 1
11- 1
.names ny_23 [94] [209] n_n50
--1 1
01- 1
.names [100] [207] [749] n_n60
-1- 1
1-1 1
.names ny_28 [115] [200] n_n46
--1 1
11- 1
.names ny_29 [756] [757] n_n127
000 1
.names ny_14 ny_13 n_n58 ni461
010 1
100 1
.names ny_21 [740] [741] n_n137
000 1
.names ny_8 [112] [192] n_n71
--1 1
11- 1
.names [188] [189] n_n40
1- 1
-1 1
.names clear x ny_1 n_n162
010 1
.names ny_29 ny_30 n_n38 ni1069
010 1
100 1
.names ny_1 ny_2 [88] ni5
011 1
101 1
.names ny_11 [93] [181] n_n65
--1 1
01- 1
.names ny_24 [107] [176] n_n51
--1 1
11- 1
.names [175] [769] [770] n_n75
1-- 1
-11 1
.names ny_9 ny_10 n_n63 ni309
010 1
100 1
.names ny_17 [773] [774] n_n142
000 1
.names ny_12 [103] [168] n_n66
--1 1
11- 1
.names ny_5 [759] [760] n_n157
000 1
.names ny_5 ny_6 n_n68 ni157
010 1
100 1
.names ny_7 [98] [165] n_n70
--1 1
01- 1
.names ny_13 [744] [745] n_n147
000 1
.names ny_26 ny_25 n_n43 ni917
010 1
100 1
.names ny_20 [106] [156] n_n56
--1 1
11- 1
.names [101] [155] [779] n_n45
-1- 1
1-1 1
.names ny_19 [97] [153] n_n55
--1 1
01- 1
.names ny_32 [114] [148] n_n41
--1 1
11- 1
.names ny_17 ny_18 n_n53 ni613
010 1
100 1
.names ny_25 [751] [752] n_n132
000 1
.names ny_29 ny_31 ny_30 [96]
111 1
.names ny_5 [86] [784] n_n118
011 1
.names [133] [819] [831] n_n80
001 1
.names [72] [837] [844] n_n0
--1 1
11- 1
.names x ny_1 ny_2 [86]
100 1
.names [87] [791] [796] [89]
111 1
.names n_n118 [786] [788] [95]
111 1
.names ny_20 ny_19 [741] n_n48
0-- 1
-0- 1
--1 1
.names clear x [88]
01 1
.names ny_13 [744] [745] [100]
100 1
.names ny_1 ny_2 [760] n_n68
0-- 1
-0- 1
--1 1
.names ny_5 ny_6 [738] n_n63
0-- 1
-0- 1
--1 1
.names ny_11 ny_10 [745] n_n58
0-- 1
-0- 1
--1 1
.names ny_15 ny_14 [774] n_n53
0-- 1
-0- 1
--1 1
.names [95] [789] [790] [87]
111 1
.names [737] [738] [767] [93]
001 1
.names n_n152 [170] [182] [103]
1-- 1
-1- 1
--1 1
.names n_n147 [214] [216] [104]
1-- 1
-1- 1
--1 1
.names [773] [774] [777] [97]
001 1
.names [740] [741] [748] [94]
001 1
.names n_n92 [800] [802] [72]
111 1
.names ny_26 ny_27 [757] n_n38
0-- 1
-0- 1
--1 1
.names n_n142 [158] [160] [106]
1-- 1
-1- 1
--1 1
.names n_n137 [178] [210] [107]
1-- 1
-1- 1
--1 1
.names ny_25 [751] [752] [101]
100 1
.names [89] [797] [799] n_n92
111 1
.names [759] [760] [761] [98]
001 1
.names c_0 x [109]
0- 1
-0 1
.names n_n162 [222] [224] [111]
1-- 1
-1- 1
--1 1
.names n_n157 [194] [196] [112]
1-- 1
-1- 1
--1 1
.names ny_23 ny_21 [752] n_n43
0-- 1
-0- 1
--1 1
.names n_n127 [150] [190] [114]
1-- 1
-1- 1
--1 1
.names n_n132 [202] [204] [115]
1-- 1
-1- 1
--1 1
.names [95] [789] [846] [69]
111 1
.names n_n92 [800] [848] [70]
111 1
.names n_n118 [786] [852] [82]
111 1
.names c_12 ny_12 [95] [83]
111 1
.names c_3 ny_3 [86] [84]
111 1
.names c_11 ny_11 ny_10 [119]
110 1
.names c_10 ny_10 [120]
11 1
.names [95] [833] [121]
11 1
.names n_n118 [786] [838] [124]
111 1
.names [89] [797] [839] [125]
111 1
.names c_1 x ny_1 [126]
111 1
.names c_31 ny_31 ny_30 [127]
110 1
.names c_30 ny_30 [128]
11 1
.names [86] [784] [820] [129]
111 1
.names c_20 ny_20 [89] [130]
111 1
.names [87] [791] [823] [132]
111 1
.names [72] [807] [808] [133]
111 1
.names n_n92 [811] [134]
11 1
.names [89] [797] [815] [136]
111 1
.names [95] [789] [816] [137]
111 1
.names c_24 ny_23 ny_24 [138]
101 1
.names c_23 ny_23 [139]
11 1
.names [87] [791] [793] [140]
111 1
.names n_n118 [795] [141]
11 1
.names n_n92 [800] [801] [142]
111 1
.names c_29 ny_29 [72] [143]
111 1
.names c_8 ny_8 ny_7 [144]
110 1
.names c_7 ny_7 [145]
11 1
.names ny_32 [96] n_n38 [148]
010 1
.names ny_31 [756] [757] [150]
000 1
.names n_n142 ny_19 [160] [153]
11- 1
-11 1
.names ny_27 n_n132 [204] [155]
11- 1
1-1 1
.names ny_20 ny_19 [97] [156]
011 1
.names ny_19 [773] [774] [158]
000 1
.names ny_18 [773] [774] [160]
000 1
.names n_n157 ny_7 [196] [165]
11- 1
-11 1
.names ny_11 ny_12 [93] [168]
101 1
.names ny_11 [737] [738] [170]
000 1
.names n_n162 ny_3 [224] [175]
11- 1
-11 1
.names ny_23 ny_24 [94] [176]
101 1
.names ny_23 [740] [741] [178]
000 1
.names n_n152 ny_11 [182] [181]
11- 1
-11 1
.names ny_10 [737] [738] [182]
000 1
.names [756] [757] [764] [188]
001 1
.names n_n127 ny_31 [190] [189]
11- 1
-11 1
.names ny_30 [756] [757] [190]
000 1
.names ny_8 ny_7 [98] [192]
011 1
.names ny_7 [759] [760] [194]
000 1
.names ny_6 [759] [760] [196]
000 1
.names [101] [754] [200]
11 1
.names ny_27 [751] [752] [202]
000 1
.names ny_26 [751] [752] [204]
000 1
.names ny_15 n_n147 [216] [207]
11- 1
1-1 1
.names ny_23 n_n137 [210] [209]
11- 1
1-1 1
.names ny_22 [740] [741] [210]
000 1
.names [100] [747] [212]
11 1
.names ny_15 [744] [745] [214]
000 1
.names ny_14 [744] [745] [216]
000 1
.names [88] [733] [734] [220]
111 1
.names clear x ny_3 [222]
010 1
.names clear x ny_2 [224]
010 1
.names ny_1 ny_4 [733]
10 1
.names ny_3 ny_2 [734]
11 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_29 ny_31 ny_30 [764]
101 1
.names ny_10 ny_9 [767]
11 1
.names ny_2 ny_1 [769]
11 1
.names clear x ny_3 [770]
010 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_18 ny_17 [777]
11 1
.names ny_27 ny_26 [779]
01 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_6 [144] [145] [795]
01- 1
0-1 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 [140] [141] [142] [805]
1-- 1
-1- 1
--1 1
.names ny_30 ny_31 [807]
00 1
.names c_32 ny_29 ny_32 [808]
101 1
.names c_26 ny_26 ny_25 [811]
110 1
.names x c_2 [812]
11 1
.names ny_2 ny_1 [813]
10 1
.names ny_22 [138] [139] [815]
01- 1
0-1 1
.names ny_14 c_14 [816]
11 1
.names [137] [812] [813] [817]
1-- 1
-11 1
.names [134] [136] [817] [819]
1-- 1
-1- 1
--1 1
.names ny_5 c_5 [820]
11 1
.names ny_16 c_16 [822]
11 1
.names ny_18 c_18 [823]
11 1
.names [87] [129] [822] [824]
-1- 1
1-1 1
.names [824] [132] [825]
1- 1
-1 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 [87] [109] [828] [829]
01- 1
-11 1
.names [130] [825] [829] [830]
001 1
.names n_n92 [826] [830] [831]
0-1 1
-11 1
.names c_13 ny_12 ny_13 [833]
101 1
.names c_4 ny_4 ny_3 [835]
110 1
.names ny_29 [127] [128] [837]
01- 1
0-1 1
.names ny_9 c_9 [838]
11 1
.names ny_22 c_22 [839]
11 1
.names [86] [126] [835] [841]
-1- 1
1-1 1
.names [124] [841] [842]
1- 1
-1 1
.names [121] [125] [842] [844]
1-- 1
-1- 1
--1 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 ny_9 [119] [120] [852]
01- 1
0-1 1
.names ny_6 c_6 [855]
11 1
.names n_n118 [84] [855] [856]
-1- 1
1-1 1
.names [856] [82] [857]
1- 1
-1 1
.names [69] [83] [857] [859]
1-- 1
-1- 1
--1 1
.names [89] [850] [859] [860]
--1 1
11- 1
.names [70] [860] [861]
1- 1
-1 1
.names [143] [805] [861] [862]
1-- 1
-1- 1
--1 1
.end