.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 n_36 [129] p_68
11 1
00 1
.names n_45 [166] n_176
11 1
00 1
.names n_41 [170] n_172
11 1
00 1
.names n_42 [173] n_173
11 1
00 1
.names n_219 [175] n_174
11 1
00 1
.names n_221 [176] n_175
11 1
00 1
.names n_37 [177] n_168
11 1
00 1
.names n_38 [180] n_169
11 1
00 1
.names n_211 [183] n_170
11 1
00 1
.names n_213 [186] n_171
11 1
00 1
.names [251] [252] n_203
1- 1
-1 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 [184] n_187
11 1
00 1
.names n_48 [191] n_179
11 1
00 1
.names n_59 [182] n_190
11 1
00 1
.names n_66 [168] n_197
11 1
00 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 [153] n_184
11 1
00 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 [159] n_186
11 1
00 1
.names n_64 [154] n_195
11 1
00 1
.names p_3 p_1 [129]
0- 1
-0 1
.names [289] [290] n_231
1- 1
-1 1
.names n_49 [67] [130]
01 1
10 1
.names [287] [288] n_233
1- 1
-1 1
.names p_17 p_1 [87]
0- 1
-0 1
.names n_50 [87] [131]
1- 1
-0 1
.names [285] [286] n_235
1- 1
-1 1
.names [275] [276] n_245
1- 1
-1 1
.names p_23 p_1 [90]
0- 1
-0 1
.names n_245 [90] [132]
1- 1
-0 1
.names [273] [274] n_247
1- 1
-1 1
.names [267] [268] n_253
1- 1
-1 1
.names n_60 [68] [133]
01 1
10 1
.names [347] [348] n_209
1- 1
-1 1
.names p_5 p_1 [86]
0- 1
-0 1
.names n_209 [86] [134]
1- 1
-0 1
.names [345] [346] n_211
1- 1
-1 1
.names p_6 p_1 [89]
0- 1
-0 1
.names n_39 [89] [135]
1- 1
-0 1
.names [343] [344] n_213
1- 1
-1 1
.names [337] [338] n_219
1- 1
-1 1
.names p_10 p_1 [81]
0- 1
-0 1
.names n_43 [81] [136]
1- 1
-0 1
.names [335] [336] n_221
1- 1
-1 1
.names p_16 p_1 [67]
0- 1
-0 1
.names n_49 [67] [137]
1- 1
-0 1
.names [279] [280] n_241
1- 1
-1 1
.names p_21 p_1 [93]
0- 1
-0 1
.names n_54 [93] [138]
1- 1
-0 1
.names [277] [278] n_243
1- 1
-1 1
.names p_27 p_1 [68]
0- 1
-0 1
.names n_60 [68] [139]
1- 1
-0 1
.names [265] [266] n_255
1- 1
-1 1
.names p_28 p_1 [91]
0- 1
-0 1
.names n_61 [91] [140]
1- 1
-0 1
.names [263] [264] n_257
1- 1
-1 1
.names [255] [256] n_265
1- 1
-1 1
.names p_33 p_1 [76]
0- 1
-0 1
.names n_265 [76] [141]
1- 1
-0 1
.names [253] [254] n_166
1- 1
-1 1
.names [291] [292] n_229
1- 1
-1 1
.names p_15 p_1 [97]
0- 1
-0 1
.names n_229 [97] [142]
1- 1
-0 1
.names n_51 [69] [143]
01 1
10 1
.names [271] [272] n_249
1- 1
-1 1
.names n_58 [70] [144]
01 1
10 1
.names p_25 p_1 [70]
0- 1
-0 1
.names n_58 [70] [145]
1- 1
-0 1
.names [269] [270] n_251
1- 1
-1 1
.names n_36 [1042] n_n185
11 1
.names [341] [342] n_215
1- 1
-1 1
.names p_8 p_1 [77]
0- 1
-0 1
.names n_215 [77] [146]
1- 1
-0 1
.names [339] [340] n_217
1- 1
-1 1
.names [333] [334] n_223
1- 1
-1 1
.names p_12 p_1 [75]
0- 1
-0 1
.names n_223 [75] [147]
1- 1
-0 1
.names [295] [296] n_225
1- 1
-1 1
.names p_18 p_1 [69]
0- 1
-0 1
.names n_51 [69] [148]
1- 1
-0 1
.names [283] [284] n_237
1- 1
-1 1
.names p_26 p_1 [88]
0- 1
-0 1
.names n_251 [88] [149]
1- 1
-0 1
.names p_29 p_1 [74]
0- 1
-0 1
.names n_62 [74] [150]
1- 1
-0 1
.names [261] [262] n_259
1- 1
-1 1
.names p_30 p_1 [94]
0- 1
-0 1
.names n_63 [94] [151]
1- 1
-0 1
.names [259] [260] n_261
1- 1
-1 1
.names p_24 p_1 [85]
0- 1
-0 1
.names n_57 [85] [152]
1- 1
-0 1
.names n_239 [71] [153]
01 1
10 1
.names n_261 [72] [154]
01 1
10 1
.names p_9 p_1 [79]
0- 1
-0 1
.names n_217 [79] [155]
1- 1
-0 1
.names [293] [294] n_227
1- 1
-1 1
.names p_14 p_1 [95]
0- 1
-0 1
.names n_47 [95] [156]
1- 1
-0 1
.names p_31 p_1 [72]
0- 1
-0 1
.names n_261 [72] [157]
1- 1
-0 1
.names [257] [258] n_263
1- 1
-1 1
.names p_19 p_1 [84]
0- 1
-0 1
.names n_52 [84] [158]
1- 1
-0 1
.names [281] [282] n_239
1- 1
-1 1
.names n_243 [73] [159]
01 1
10 1
.names n_62 [74] [160]
01 1
10 1
.names p_4 p_1 [83]
0- 1
-0 1
.names n_n185 [83] [161]
1- 1
-0 1
.names p_7 p_1 [92]
0- 1
-0 1
.names n_40 [92] [162]
1- 1
-0 1
.names p_22 p_1 [73]
0- 1
-0 1
.names n_243 [73] [163]
1- 1
-0 1
.names p_32 p_1 [78]
0- 1
-0 1
.names n_65 [78] [164]
1- 1
-0 1
.names p_13 p_1 [96]
0- 1
-0 1
.names n_46 [96] [165]
1- 1
-0 1
.names n_223 [75] [166]
01 1
10 1
.names p_20 p_1 [71]
0- 1
-0 1
.names n_239 [71] [167]
1- 1
-0 1
.names n_265 [76] [168]
01 1
10 1
.names p_34 p_1 [80]
0- 1
-0 1
.names n_2 [80] [169]
1- 1
-0 1
.names n_215 [77] [170]
01 1
10 1
.names n_65 [78] [171]
01 1
10 1
.names p_11 p_1 [82]
0- 1
-0 1
.names n_44 [82] [172]
1- 1
-0 1
.names n_217 [79] [173]
01 1
10 1
.names n_2 [80] [174]
01 1
10 1
.names n_43 [81] [175]
01 1
10 1
.names n_44 [82] [176]
01 1
10 1
.names n_n185 [83] [177]
01 1
10 1
.names n_52 [84] [178]
01 1
10 1
.names n_57 [85] [179]
01 1
10 1
.names n_209 [86] [180]
01 1
10 1
.names n_50 [87] [181]
01 1
10 1
.names n_251 [88] [182]
01 1
10 1
.names n_39 [89] [183]
01 1
10 1
.names n_245 [90] [184]
01 1
10 1
.names n_61 [91] [185]
01 1
10 1
.names n_40 [92] [186]
01 1
10 1
.names n_54 [93] [187]
01 1
10 1
.names n_63 [94] [188]
01 1
10 1
.names n_47 [95] [189]
01 1
10 1
.names n_46 [96] [190]
01 1
10 1
.names n_229 [97] [191]
01 1
10 1
.names n_166 [169] [251]
11 1
.names n_2 [80] [252]
10 1
.names n_66 [141] [253]
11 1
.names n_265 [76] [254]
10 1
.names n_263 [164] [255]
11 1
.names n_65 [78] [256]
10 1
.names n_64 [157] [257]
11 1
.names n_261 [72] [258]
10 1
.names n_259 [151] [259]
11 1
.names n_63 [94] [260]
10 1
.names n_257 [150] [261]
11 1
.names n_62 [74] [262]
10 1
.names n_255 [140] [263]
11 1
.names n_61 [91] [264]
10 1
.names n_253 [139] [265]
11 1
.names n_60 [68] [266]
10 1
.names n_59 [149] [267]
11 1
.names n_251 [88] [268]
10 1
.names n_249 [145] [269]
11 1
.names n_58 [70] [270]
10 1
.names n_247 [152] [271]
11 1
.names n_57 [85] [272]
10 1
.names n_56 [132] [273]
11 1
.names n_245 [90] [274]
10 1
.names n_55 [163] [275]
11 1
.names n_243 [73] [276]
10 1
.names n_241 [138] [277]
11 1
.names n_54 [93] [278]
10 1
.names n_53 [167] [279]
11 1
.names n_239 [71] [280]
10 1
.names n_237 [158] [281]
11 1
.names n_52 [84] [282]
10 1
.names n_235 [148] [283]
11 1
.names n_51 [69] [284]
10 1
.names n_233 [131] [285]
11 1
.names n_50 [87] [286]
10 1
.names n_231 [137] [287]
11 1
.names n_49 [67] [288]
10 1
.names n_48 [142] [289]
11 1
.names n_229 [97] [290]
10 1
.names n_227 [156] [291]
11 1
.names n_47 [95] [292]
10 1
.names n_225 [165] [293]
11 1
.names n_46 [96] [294]
10 1
.names n_45 [147] [295]
11 1
.names n_223 [75] [296]
10 1
.names n_221 [172] [333]
11 1
.names n_44 [82] [334]
10 1
.names n_219 [136] [335]
11 1
.names n_43 [81] [336]
10 1
.names n_42 [155] [337]
11 1
.names n_217 [79] [338]
10 1
.names n_41 [146] [339]
11 1
.names n_215 [77] [340]
10 1
.names n_213 [162] [341]
11 1
.names n_40 [92] [342]
10 1
.names n_211 [135] [343]
11 1
.names n_39 [89] [344]
10 1
.names n_38 [134] [345]
11 1
.names n_209 [86] [346]
10 1
.names n_37 [161] [347]
11 1
.names n_n185 [83] [348]
10 1
.names p_1 p_3 [1042]
11 1
.end