| .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 |