.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 n_45 n_223 [75] n_176
011 1
101 1
110 1
000 1
.names n_41 n_215 [77] n_172
011 1
101 1
110 1
000 1
.names n_42 n_217 [79] n_173
011 1
101 1
110 1
000 1
.names n_219 [175] n_174
11 1
00 1
.names n_221 [176] n_175
11 1
00 1
.names n_37 n_n185 [83] n_168
011 1
101 1
110 1
000 1
.names n_38 n_209 [86] n_169
011 1
101 1
110 1
000 1
.names n_211 [183] n_170
11 1
00 1
.names n_213 [186] n_171
11 1
00 1
.names n_2 n_166 [80] n_203
11- 1
1-0 1
-10 1
.names n_225 [190] n_177
11 1
00 1
.names n_247 [179] n_188
11 1
00 1
.names n_227 [189] n_178
11 1
00 1
.names n_56 n_245 [90] n_187
011 1
101 1
110 1
000 1
.names n_48 n_229 [97] n_179
011 1
101 1
110 1
000 1
.names n_59 n_251 [88] n_190
011 1
101 1
110 1
000 1
.names n_66 n_265 [76] n_197
011 1
101 1
110 1
000 1
.names n_231 [130] n_180
11 1
00 1
.names n_249 [144] n_189
11 1
00 1
.names n_166 [174] n_198
11 1
00 1
.names n_233 [181] n_181
11 1
00 1
.names n_255 [185] n_192
11 1
00 1
.names n_235 [143] n_182
11 1
00 1
.names n_253 [133] n_191
11 1
00 1
.names n_237 [178] n_183
11 1
00 1
.names n_259 [188] n_194
11 1
00 1
.names n_53 n_239 [71] n_184
011 1
101 1
110 1
000 1
.names n_257 [160] n_193
11 1
00 1
.names n_241 [187] n_185
11 1
00 1
.names n_263 [171] n_196
11 1
00 1
.names n_55 n_243 [73] n_186
011 1
101 1
110 1
000 1
.names n_64 n_261 [72] n_195
011 1
101 1
110 1
000 1
.names n_48 n_229 [97] n_231
11- 1
1-0 1
-10 1
.names p_16 p_1 n_49 [130]
0-0 1
-00 1
111 1
.names n_49 n_231 [67] n_233
11- 1
1-0 1
-10 1
.names p_17 p_1 [87]
0- 1
-0 1
.names n_50 n_233 [87] n_235
11- 1
1-0 1
-10 1
.names n_55 n_243 [73] n_245
11- 1
1-0 1
-10 1
.names p_23 p_1 [90]
0- 1
-0 1
.names n_56 n_245 [90] n_247
11- 1
1-0 1
-10 1
.names n_59 n_251 [88] n_253
11- 1
1-0 1
-10 1
.names p_27 p_1 n_60 [133]
0-0 1
-00 1
111 1
.names n_37 n_n185 [83] n_209
11- 1
1-0 1
-10 1
.names p_5 p_1 [86]
0- 1
-0 1
.names n_38 n_209 [86] n_211
11- 1
1-0 1
-10 1
.names p_6 p_1 [89]
0- 1
-0 1
.names n_39 n_211 [89] n_213
11- 1
1-0 1
-10 1
.names n_42 n_217 [79] n_219
11- 1
1-0 1
-10 1
.names p_10 p_1 [81]
0- 1
-0 1
.names n_43 n_219 [81] n_221
11- 1
1-0 1
-10 1
.names p_16 p_1 [67]
0- 1
-0 1
.names n_53 n_239 [71] n_241
11- 1
1-0 1
-10 1
.names p_21 p_1 [93]
0- 1
-0 1
.names n_54 n_241 [93] n_243
11- 1
1-0 1
-10 1
.names p_27 p_1 [68]
0- 1
-0 1
.names n_60 n_253 [68] n_255
11- 1
1-0 1
-10 1
.names p_28 p_1 [91]
0- 1
-0 1
.names n_61 n_255 [91] n_257
11- 1
1-0 1
-10 1
.names n_65 n_263 [78] n_265
11- 1
1-0 1
-10 1
.names p_33 p_1 [76]
0- 1
-0 1
.names n_66 n_265 [76] n_166
11- 1
1-0 1
-10 1
.names n_47 n_227 [95] n_229
11- 1
1-0 1
-10 1
.names p_15 p_1 [97]
0- 1
-0 1
.names p_18 p_1 n_51 [143]
0-0 1
-00 1
111 1
.names n_57 n_247 [85] n_249
11- 1
1-0 1
-10 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 n_249 [70] n_251
11- 1
1-0 1
-10 1
.names p_3 p_1 n_36 n_n185
111 1
.names n_40 n_213 [92] n_215
11- 1
1-0 1
-10 1
.names p_8 p_1 [77]
0- 1
-0 1
.names n_41 n_215 [77] n_217
11- 1
1-0 1
-10 1
.names n_44 n_221 [82] n_223
11- 1
1-0 1
-10 1
.names p_12 p_1 [75]
0- 1
-0 1
.names n_45 n_223 [75] n_225
11- 1
1-0 1
-10 1
.names p_18 p_1 [69]
0- 1
-0 1
.names n_51 n_235 [69] n_237
11- 1
1-0 1
-10 1
.names p_26 p_1 [88]
0- 1
-0 1
.names p_29 p_1 [74]
0- 1
-0 1
.names n_62 n_257 [74] n_259
11- 1
1-0 1
-10 1
.names p_30 p_1 [94]
0- 1
-0 1
.names n_63 n_259 [94] n_261
11- 1
1-0 1
-10 1
.names p_24 p_1 [85]
0- 1
-0 1
.names p_9 p_1 [79]
0- 1
-0 1
.names n_46 n_225 [96] n_227
11- 1
1-0 1
-10 1
.names p_14 p_1 [95]
0- 1
-0 1
.names p_31 p_1 [72]
0- 1
-0 1
.names n_64 n_261 [72] n_263
11- 1
1-0 1
-10 1
.names p_19 p_1 [84]
0- 1
-0 1
.names n_52 n_237 [84] n_239
11- 1
1-0 1
-10 1
.names p_29 p_1 n_62 [160]
0-0 1
-00 1
111 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 [96]
0- 1
-0 1
.names p_20 p_1 [71]
0- 1
-0 1
.names p_34 p_1 [80]
0- 1
-0 1
.names p_32 p_1 n_65 [171]
0-0 1
-00 1
111 1
.names p_11 p_1 [82]
0- 1
-0 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_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 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 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_21 p_1 n_54 [187]
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
.end