.model top
.inputs p_30 p_20 p_10 p_12 p_23 p_34 p_11 p_24 p_33 pclk p_14 p_21 p_32 p_13 \
p_22 p_31 p_16 p_27 p_15 p_28 p_9 p_18 p_25 p_8 p_17 p_26 p_7 p_6 p_19 p_5 \
p_29 p_4 p_3 p_1
.outputs p_68
.latch    n_176 n_44 re pclk 2
.latch    n_172 n_40 re pclk 2
.latch    n_173 n_41 re pclk 2
.latch    n_174 n_42 re pclk 2
.latch    n_175 n_43 re pclk 2
.latch    n_168 n_36 re pclk 2
.latch    n_169 n_37 re pclk 2
.latch    n_170 n_38 re pclk 2
.latch    n_171 n_39 re pclk 2
.latch    n_203 n_2 re pclk 2
.latch    n_177 n_45 re pclk 2
.latch    n_188 n_56 re pclk 2
.latch    n_178 n_46 re pclk 2
.latch    n_187 n_55 re pclk 2
.latch    n_179 n_47 re pclk 2
.latch    n_190 n_58 re pclk 2
.latch    n_197 n_65 re pclk 2
.latch    n_180 n_48 re pclk 2
.latch    n_189 n_57 re pclk 2
.latch    n_198 n_66 re pclk 2
.latch    n_181 n_49 re pclk 2
.latch    n_192 n_60 re pclk 2
.latch    n_182 n_50 re pclk 2
.latch    n_191 n_59 re pclk 2
.latch    n_183 n_51 re pclk 2
.latch    n_194 n_62 re pclk 2
.latch    n_184 n_52 re pclk 2
.latch    n_193 n_61 re pclk 2
.latch    n_185 n_53 re pclk 2
.latch    n_196 n_64 re pclk 2
.latch    n_186 n_54 re pclk 2
.latch    n_195 n_63 re pclk 2
.names p_3 p_1 n_36 p_68
0-1 1
-01 1
110 1
.names p_12 p_1 n_45 n_223 n_176
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names p_8 p_1 n_41 n_215 n_172
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names n_42 [173] n_173
11 1
00 1
.names n_42 n_217 [79] [175] n_174
11-1 1
1-01 1
-101 1
00-0 1
0-10 1
-010 1
.names [176] [335] [336] n_175
11- 1
1-1 1
000 1
.names n_37 [177] n_168
11 1
00 1
.names n_38 [180] n_169
11 1
00 1
.names n_38 n_209 [86] [183] n_170
11-1 1
1-01 1
-101 1
00-0 1
0-10 1
-010 1
.names [186] [343] [344] n_171
11- 1
1-1 1
000 1
.names p_34 p_1 n_2 [251] n_203
---1 1
111- 1
.names n_45 n_223 [75] [190] n_177
11-1 1
1-01 1
-101 1
00-0 1
0-10 1
-010 1
.names n_56 n_245 [90] [179] n_188
11-1 1
1-01 1
-101 1
00-0 1
0-10 1
-010 1
.names [189] [293] [294] n_178
11- 1
1-1 1
000 1
.names n_56 [184] n_187
11 1
00 1
.names p_15 p_1 n_48 n_229 n_179
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names p_26 p_1 n_59 n_251 n_190
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names n_66 [168] n_197
11 1
00 1
.names n_48 [130] n_229 [97] n_180
111- 1
000- 1
00-1 1
-001 1
11-0 1
-110 1
.names [144] [271] [272] n_189
11- 1
1-1 1
000 1
.names n_66 n_265 [76] [174] n_198
11-1 1
1-01 1
-101 1
00-0 1
0-10 1
-010 1
.names [181] [287] [288] n_181
11- 1
1-1 1
000 1
.names [185] [265] [266] n_192
11- 1
1-1 1
000 1
.names p_18 p_1 n_51 n_235 n_182
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names n_59 [133] n_251 [88] n_191
111- 1
000- 1
00-1 1
-001 1
11-0 1
-110 1
.names n_51 n_235 [69] [178] n_183
11-1 1
1-01 1
-101 1
00-0 1
0-10 1
-010 1
.names n_62 n_257 [74] [188] n_194
11-1 1
1-01 1
-101 1
00-0 1
0-10 1
-010 1
.names n_53 [71] [281] [282] n_184
011- 1
101- 1
01-1 1
10-1 1
1100 1
0000 1
.names p_29 p_1 n_62 n_257 n_193
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names p_21 p_1 n_54 n_241 n_185
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names p_32 p_1 n_65 n_263 n_196
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names n_55 [159] n_186
11 1
00 1
.names n_64 [72] [259] [260] n_195
011- 1
101- 1
01-1 1
10-1 1
1100 1
0000 1
.names p_16 p_1 n_49 [130]
0-0 1
-00 1
111 1
.names p_17 p_1 [87]
0- 1
-0 1
.names n_50 [87] [287] [288] n_235
10-- 1
1-1- 1
-01- 1
1--1 1
-0-1 1
.names p_22 p_1 n_55 n_243 n_245
--11 1
111- 1
11-1 1
.names p_23 p_1 [90]
0- 1
-0 1
.names p_27 p_1 n_60 [133]
0-0 1
-00 1
111 1
.names p_4 p_1 n_37 n_n185 n_209
--11 1
111- 1
11-1 1
.names p_5 p_1 [86]
0- 1
-0 1
.names p_6 p_1 n_39 [135]
--1 1
11- 1
.names p_10 p_1 n_43 [136]
--1 1
11- 1
.names p_16 p_1 n_49 [137]
--1 1
11- 1
.names n_53 [71] [281] [282] n_241
10-- 1
1-1- 1
-01- 1
1--1 1
-0-1 1
.names p_21 p_1 [93]
0- 1
-0 1
.names p_21 p_1 n_54 n_241 n_243
--11 1
111- 1
11-1 1
.names p_27 p_1 n_60 [139]
--1 1
11- 1
.names p_28 p_1 [91]
0- 1
-0 1
.names n_61 [91] [265] [266] n_257
10-- 1
1-1- 1
-01- 1
1--1 1
-0-1 1
.names p_32 p_1 n_65 n_263 n_265
--11 1
111- 1
11-1 1
.names p_33 p_1 [76]
0- 1
-0 1
.names n_47 [95] [293] [294] n_229
10-- 1
1-1- 1
-01- 1
1--1 1
-0-1 1
.names p_15 p_1 [97]
0- 1
-0 1
.names p_25 p_1 n_58 [144]
0-0 1
-00 1
111 1
.names p_25 p_1 [70]
0- 1
-0 1
.names n_58 [70] [271] [272] n_251
10-- 1
1-1- 1
-01- 1
1--1 1
-0-1 1
.names p_3 p_1 n_36 n_n185
111 1
.names n_40 [92] [343] [344] n_215
10-- 1
1-1- 1
-01- 1
1--1 1
-0-1 1
.names p_8 p_1 [77]
0- 1
-0 1
.names p_8 p_1 n_41 n_215 n_217
--11 1
111- 1
11-1 1
.names n_44 [82] [335] [336] n_223
10-- 1
1-1- 1
-01- 1
1--1 1
-0-1 1
.names p_12 p_1 [75]
0- 1
-0 1
.names p_18 p_1 [69]
0- 1
-0 1
.names p_26 p_1 [88]
0- 1
-0 1
.names p_29 p_1 [74]
0- 1
-0 1
.names p_30 p_1 n_63 [151]
--1 1
11- 1
.names p_24 p_1 n_57 [152]
--1 1
11- 1
.names p_9 p_1 [79]
0- 1
-0 1
.names p_14 p_1 [95]
0- 1
-0 1
.names p_31 p_1 [72]
0- 1
-0 1
.names n_64 [72] [259] [260] n_263
10-- 1
1-1- 1
-01- 1
1--1 1
-0-1 1
.names p_19 p_1 n_52 [158]
--1 1
11- 1
.names n_54 n_241 [93] [73] [159]
00-1 1
0-11 1
-011 1
11-0 1
1-00 1
-100 1
.names p_4 p_1 [83]
0- 1
-0 1
.names p_7 p_1 [92]
0- 1
-0 1
.names p_22 p_1 [73]
0- 1
-0 1
.names p_32 p_1 [78]
0- 1
-0 1
.names p_13 p_1 n_46 [165]
--1 1
11- 1
.names p_20 p_1 [71]
0- 1
-0 1
.names n_65 [76] n_263 [78] [168]
101- 1
010- 1
01-1 1
-101 1
10-0 1
-010 1
.names p_34 p_1 n_2 [169]
--1 1
11- 1
.names p_11 p_1 [82]
0- 1
-0 1
.names n_41 n_215 [77] [79] [173]
00-1 1
0-11 1
-011 1
11-0 1
1-00 1
-100 1
.names p_34 p_1 n_2 [174]
0-0 1
-00 1
111 1
.names p_10 p_1 n_43 [175]
0-0 1
-00 1
111 1
.names p_11 p_1 n_44 [176]
0-0 1
-00 1
111 1
.names p_4 p_3 p_1 n_36 [177]
--0- 1
00-- 1
0--0 1
1111 1
.names p_19 p_1 n_52 [178]
0-0 1
-00 1
111 1
.names p_24 p_1 n_57 [179]
0-0 1
-00 1
111 1
.names n_37 [86] n_n185 [83] [180]
101- 1
010- 1
01-1 1
-101 1
10-0 1
-010 1
.names p_17 p_1 n_50 [181]
0-0 1
-00 1
111 1
.names p_6 p_1 n_39 [183]
0-0 1
-00 1
111 1
.names n_55 [90] n_243 [73] [184]
101- 1
010- 1
01-1 1
-101 1
10-0 1
-010 1
.names p_28 p_1 n_61 [185]
0-0 1
-00 1
111 1
.names p_7 p_1 n_40 [186]
0-0 1
-00 1
111 1
.names p_30 p_1 n_63 [188]
0-0 1
-00 1
111 1
.names p_14 p_1 n_47 [189]
0-0 1
-00 1
111 1
.names p_13 p_1 n_46 [190]
0-0 1
-00 1
111 1
.names n_66 n_265 [76] [169] [251]
11-1 1
1-01 1
-101 1
.names n_62 n_257 [74] [151] [259]
11-1 1
1-01 1
-101 1
.names p_30 p_1 n_63 [260]
111 1
.names n_59 [139] n_251 [88] [265]
111- 1
11-0 1
-110 1
.names p_27 p_1 n_60 [266]
111 1
.names n_56 n_245 [90] [152] [271]
11-1 1
1-01 1
-101 1
.names p_24 p_1 n_57 [272]
111 1
.names n_51 n_235 [69] [158] [281]
11-1 1
1-01 1
-101 1
.names p_19 p_1 n_52 [282]
111 1
.names n_48 [137] n_229 [97] [287]
111- 1
11-0 1
-110 1
.names p_16 p_1 n_49 [288]
111 1
.names n_45 n_223 [75] [165] [293]
11-1 1
1-01 1
-101 1
.names p_13 p_1 n_46 [294]
111 1
.names n_42 [136] n_217 [79] [335]
111- 1
11-0 1
-110 1
.names p_10 p_1 n_43 [336]
111 1
.names n_38 n_209 [86] [135] [343]
11-1 1
1-01 1
-101 1
.names p_6 p_1 n_39 [344]
111 1
.end