.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_44 n_45 n_221 [75] [82] n_176
1011- 1
0101- 1
1110- 1
0000- 1
01-11 1
-1011 1
00-01 1
-0001 1
10-10 1
-0110 1
11-00 1
-1100 1
.names n_40 n_41 n_213 [77] [92] n_172
1011- 1
0101- 1
1110- 1
0000- 1
01-11 1
-1011 1
00-01 1
-0001 1
10-10 1
-0110 1
11-00 1
-1100 1
.names p_9 p_1 n_42 n_217 n_173
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names p_9 p_1 n_42 n_217 [175] n_174
--111 1
0-0-0 1
-00-0 1
0--00 1
-0-00 1
--000 1
111-1 1
11-11 1
.names p_11 p_1 n_44 n_221 n_175
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names p_4 p_3 p_1 n_36 n_37 n_168
--0-1 1
00--1 1
0--01 1
101-0 1
1-100 1
11111 1
01110 1
.names p_5 p_1 n_38 n_209 n_169
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names p_5 p_1 n_38 n_209 [183] n_170
--111 1
0-0-0 1
-00-0 1
0--00 1
-0-00 1
--000 1
111-1 1
11-11 1
.names p_7 p_1 n_40 n_213 n_171
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names n_2 n_66 n_265 [76] [80] n_203
1---0 1
111-- 1
11-0- 1
1-10- 1
-11-0 1
-1-00 1
--100 1
.names p_13 p_1 n_46 n_225 n_177
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names p_23 p_1 n_56 n_245 [179] n_188
--111 1
0-0-0 1
-00-0 1
0--00 1
-0-00 1
--000 1
111-1 1
11-11 1
.names p_13 p_1 n_46 n_225 [189] n_178
--111 1
0-0-0 1
-00-0 1
0--00 1
-0-00 1
--000 1
111-1 1
11-11 1
.names p_23 p_1 n_56 n_245 n_187
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 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 n_58 n_59 n_249 [70] [88] n_190
101-1 1
010-1 1
01-11 1
-1011 1
10-01 1
-0101 1
111-0 1
000-0 1
00-10 1
-0010 1
11-00 1
-1100 1
.names p_33 p_1 n_66 n_265 n_197
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names p_15 p_1 n_48 [130] n_229 n_180
0-00- 1
-000- 1
--111 1
0--00 1
-0-00 1
--000 1
1111- 1
11-11 1
.names p_25 p_1 n_58 n_249 n_189
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names p_33 p_1 n_66 n_265 [174] n_198
--111 1
0-0-0 1
-00-0 1
0--00 1
-0-00 1
--000 1
111-1 1
11-11 1
.names p_17 p_1 n_50 n_233 n_181
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names p_27 p_1 n_60 n_253 [185] n_192
--111 1
0-0-0 1
-00-0 1
0--00 1
-0-00 1
--000 1
111-1 1
11-11 1
.names p_17 p_1 n_50 n_233 [143] n_182
--111 1
0-0-0 1
-00-0 1
0--00 1
-0-00 1
--000 1
111-1 1
11-11 1
.names p_27 p_1 n_60 n_253 n_191
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names p_19 p_1 n_52 n_237 n_183
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names p_29 p_1 n_62 n_257 [188] n_194
--111 1
0-0-0 1
-00-0 1
0--00 1
-0-00 1
--000 1
111-1 1
11-11 1
.names n_52 n_53 n_237 [84] [71] n_184
101-1 1
010-1 1
01-11 1
-1011 1
10-01 1
-0101 1
111-0 1
000-0 1
00-10 1
-0010 1
11-00 1
-1100 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_31 p_1 n_64 n_261 [171] n_196
--111 1
0-0-0 1
-00-0 1
0--00 1
-0-00 1
--000 1
111-1 1
11-11 1
.names n_55 n_54 n_241 [93] [73] n_186
011-1 1
100-1 1
10-11 1
1-011 1
01-01 1
0-101 1
111-0 1
000-0 1
00-10 1
0-010 1
11-00 1
1-100 1
.names p_31 p_1 n_64 n_261 n_195
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names p_16 p_1 n_49 [130]
0-0 1
-00 1
111 1
.names n_48 n_49 [67] n_229 [97] n_233
-10-- 1
11-1- 1
1-01- 1
11--0 1
1-0-0 1
-1-10 1
--010 1
.names p_17 p_1 [87]
0- 1
-0 1
.names n_55 n_54 n_241 [93] [73] n_245
1---0 1
111-- 1
11-0- 1
1-10- 1
-11-0 1
-1-00 1
--100 1
.names p_23 p_1 [90]
0- 1
-0 1
.names n_58 n_59 n_249 [70] [88] n_253
-1--0 1
111-- 1
11-0- 1
-110- 1
1-1-0 1
1--00 1
--100 1
.names p_4 p_3 p_1 n_36 n_37 n_209
1-1-1 1
1111- 1
-1111 1
.names p_5 p_1 [86]
0- 1
-0 1
.names p_6 p_1 [89]
0- 1
-0 1
.names n_38 n_39 n_209 [86] [89] n_213
-1--0 1
111-- 1
11-0- 1
-110- 1
1-1-0 1
1--00 1
--100 1
.names p_10 p_1 [81]
0- 1
-0 1
.names n_42 n_43 [81] n_217 [79] n_221
-10-- 1
11-1- 1
1-01- 1
11--0 1
1-0-0 1
-1-10 1
--010 1
.names p_16 p_1 [67]
0- 1
-0 1
.names n_52 n_53 n_237 [84] [71] n_241
-1--0 1
111-- 1
11-0- 1
-110- 1
1-1-0 1
1--00 1
--100 1
.names p_21 p_1 [93]
0- 1
-0 1
.names p_27 p_1 [68]
0- 1
-0 1
.names p_28 p_1 [91]
0- 1
-0 1
.names n_60 n_61 n_253 [68] [91] n_257
-1--0 1
111-- 1
11-0- 1
-110- 1
1-1-0 1
1--00 1
--100 1
.names n_65 n_64 n_261 [72] [78] n_265
1---0 1
111-- 1
11-0- 1
1-10- 1
-11-0 1
-1-00 1
--100 1
.names p_33 p_1 [76]
0- 1
-0 1
.names n_46 n_47 n_225 [95] [96] n_229
-1-0- 1
111-- 1
1-10- 1
11--0 1
-11-0 1
1--00 1
--100 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_56 n_57 n_245 [90] [85] n_249
-1--0 1
111-- 1
11-0- 1
-110- 1
1-1-0 1
1--00 1
--100 1
.names p_25 p_1 [70]
0- 1
-0 1
.names p_8 p_1 [77]
0- 1
-0 1
.names n_40 n_41 n_213 [77] [92] n_217
-1-0- 1
111-- 1
1-10- 1
11--0 1
-11-0 1
1--00 1
--100 1
.names p_12 p_1 [75]
0- 1
-0 1
.names n_44 n_45 n_221 [75] [82] n_225
-1-0- 1
111-- 1
1-10- 1
11--0 1
-11-0 1
1--00 1
--100 1
.names p_18 p_1 [69]
0- 1
-0 1
.names n_50 n_51 n_233 [87] [69] n_237
-1--0 1
111-- 1
11-0- 1
-110- 1
1-1-0 1
1--00 1
--100 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 [94]
0- 1
-0 1
.names n_62 n_63 n_257 [74] [94] n_261
-1--0 1
111-- 1
11-0- 1
-110- 1
1-1-0 1
1--00 1
--100 1
.names p_24 p_1 [85]
0- 1
-0 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 p_19 p_1 [84]
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_24 p_1 n_57 [179]
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_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
.end