.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 [166] n_176
11 1
00 1
.names p_8 p_7 p_1 n_40 n_41 [341] n_172
0---01 1
--0-01 1
--0-10 1
1-1-11 1
00--10 1
0--010 1
11111- 1
01110- 1
101-00 1
1-1000 1
.names n_41 n_42 [77] [79] [341] [342] n_173
0111-- 1
1001-- 1
0010-- 1
1100-- 1
10-11- 1
-0011- 1
11-01- 1
-1001- 1
10-1-1 1
-001-1 1
11-0-1 1
-100-1 1
01-100 1
-11100 1
00-000 1
-01000 1
.names p_10 p_1 n_43 n_219 n_174
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names p_10 p_11 p_1 n_44 n_43 n_219 n_175
--010- 1
--01-0 1
00-10- 1
-0-011 1
--0011 1
00-1-0 1
-0-100 1
11111- 1
10101- 1
01100- 1
1111-1 1
1010-1 1
-11111 1
0110-0 1
-11000 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 n_38 [180] n_169
11 1
00 1
.names p_6 p_5 p_1 n_38 n_39 n_209 n_170
--001- 1
--0-10 1
00-01- 1
0--101 1
--0101 1
00--10 1
0--010 1
11111- 1
01110- 1
10100- 1
111-11 1
1-1111 1
011-01 1
101-00 1
1-1000 1
.names n_38 n_39 n_209 [86] [89] [186] n_171
-1--01 1
-0--10 1
111--1 1
11-0-1 1
-110-1 1
1-1-01 1
1--001 1
--1001 1
000--0 1
00-1-0 1
-001-0 1
0-0-10 1
0--110 1
--0110 1
.names p_34 p_1 n_2 [251] n_203
---1 1
111- 1
.names p_12 p_13 p_1 n_45 n_46 n_223 n_177
--001- 1
--0-10 1
00-01- 1
-0-101 1
--0101 1
00--10 1
-0-010 1
11111- 1
10110- 1
01100- 1
111-11 1
-11111 1
101-01 1
011-00 1
-11000 1
.names n_56 n_55 [90] n_243 [73] [179] n_188
1-0--1 1
0-1--0 1
11-1-1 1
-101-1 1
11--01 1
-10-01 1
1--101 1
--0101 1
00-0-0 1
-010-0 1
00--10 1
-01-10 1
0--010 1
--1010 1
.names n_45 n_46 n_223 [75] [96] [189] n_178
-1--01 1
-0--10 1
111--1 1
11-0-1 1
-110-1 1
1-1-01 1
1--001 1
--1001 1
000--0 1
00-1-0 1
-001-0 1
0-0-10 1
0--110 1
--0110 1
.names p_23 p_22 p_1 n_56 n_55 n_243 n_187
--010- 1
--01-0 1
00-10- 1
0--011 1
--0011 1
00-1-0 1
0--100 1
11111- 1
01101- 1
10100- 1
1111-1 1
0110-1 1
1-1111 1
1010-0 1
1-1000 1
.names p_14 p_15 p_1 n_47 n_48 [291] n_179
-0--01 1
--0-01 1
--0-10 1
-11-11 1
00--10 1
-0-010 1
11111- 1
10110- 1
011-00 1
-11000 1
.names n_58 n_59 [70] [88] [271] [272] n_190
0111-- 1
1001-- 1
0010-- 1
1100-- 1
10-11- 1
-0011- 1
11-01- 1
-1001- 1
10-1-1 1
-001-1 1
11-0-1 1
-100-1 1
01-100 1
-11100 1
00-000 1
-01000 1
.names p_33 p_32 p_1 n_65 n_66 n_263 n_197
--001- 1
--0-10 1
00-01- 1
0--101 1
--0101 1
00--10 1
0--010 1
11111- 1
01110- 1
10100- 1
111-11 1
1-1111 1
011-01 1
101-00 1
1-1000 1
.names p_15 p_1 n_48 [130] [291] [292] n_180
0-00-- 1
-000-- 1
--111- 1
--11-1 1
1111-- 1
11-11- 1
11-1-1 1
0--000 1
-0-000 1
--0000 1
.names p_24 p_25 p_1 n_58 n_57 [271] n_189
-0-0-1 1
--00-1 1
--01-0 1
-111-1 1
00-1-0 1
-0-100 1
11111- 1
10101- 1
0110-0 1
-11000 1
.names n_65 n_66 [76] n_263 [78] [174] n_198
-10--1 1
-01--0 1
11-1-1 1
1-01-1 1
11--01 1
1-0-01 1
-1-101 1
--0101 1
00-0-0 1
0-10-0 1
00--10 1
0-1-10 1
-0-010 1
--1010 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_28 p_1 n_60 n_61 n_253 n_192
--001- 1
--0-10 1
00-01- 1
-0-101 1
--0101 1
00--10 1
-0-010 1
11111- 1
10110- 1
01100- 1
111-11 1
-11111 1
101-01 1
011-00 1
-11000 1
.names p_18 p_17 p_1 n_50 n_51 n_233 n_182
--001- 1
--0-10 1
00-01- 1
0--101 1
--0101 1
00--10 1
0--010 1
11111- 1
01110- 1
10100- 1
111-11 1
1-1111 1
011-01 1
101-00 1
1-1000 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 n_50 n_51 n_233 [87] [69] [178] n_183
-1--01 1
-0--10 1
111--1 1
11-0-1 1
-110-1 1
1-1-01 1
1--001 1
--1001 1
000--0 1
00-1-0 1
-001-0 1
0-0-10 1
0--110 1
--0110 1
.names p_30 p_29 p_1 n_62 n_63 [261] n_194
0---01 1
--0-01 1
--0-10 1
1-1-11 1
00--10 1
0--010 1
11111- 1
01110- 1
101-00 1
1-1000 1
.names p_20 p_19 p_1 n_52 n_53 [281] n_184
0---01 1
--0-01 1
--0-10 1
1-1-11 1
00--10 1
0--010 1
11111- 1
01110- 1
101-00 1
1-1000 1
.names n_60 n_61 n_253 [68] [91] [160] n_193
-1--01 1
-0--10 1
111--1 1
11-0-1 1
-110-1 1
1-1-01 1
1--001 1
--1001 1
000--0 1
00-1-0 1
-001-0 1
0-0-10 1
0--110 1
--0110 1
.names p_20 p_1 n_53 [187] [281] [282] n_185
0-00-- 1
-000-- 1
--111- 1
--11-1 1
1111-- 1
11-11- 1
11-1-1 1
0--000 1
-0-000 1
--0000 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 p_22 p_1 n_55 n_243 n_186
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names n_64 n_63 [94] [72] [261] [262] n_195
1011-- 1
0101-- 1
0010-- 1
1100-- 1
01-11- 1
0-011- 1
11-01- 1
1-001- 1
01-1-1 1
0-01-1 1
11-0-1 1
1-00-1 1
10-100 1
1-1100 1
00-000 1
0-1000 1
.names p_16 p_1 n_49 [130]
0-0 1
-00 1
111 1
.names n_48 n_49 [67] [97] [291] [292] n_233
-10--- 1
11-0-- 1
1-00-- 1
11--1- 1
1-0-1- 1
-1-01- 1
--001- 1
11---1 1
1-0--1 1
-1-0-1 1
--00-1 1
.names p_17 p_1 [87]
0- 1
-0 1
.names p_23 p_1 [90]
0- 1
-0 1
.names n_58 n_59 [70] [88] [271] [272] n_253
-1-0-- 1
110--- 1
1-00-- 1
11--1- 1
-10-1- 1
1--01- 1
--001- 1
11---1 1
-10--1 1
1--0-1 1
--00-1 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_41 n_42 [77] [79] [341] [342] n_219
-1-0-- 1
110--- 1
1-00-- 1
11--1- 1
-10-1- 1
1--01- 1
--001- 1
11---1 1
-10--1 1
1--0-1 1
--00-1 1
.names p_10 p_1 [81]
0- 1
-0 1
.names p_16 p_1 [67]
0- 1
-0 1
.names p_21 p_1 [93]
0- 1
-0 1
.names n_53 n_54 [93] [71] [281] [282] n_243
-10--- 1
11-0-- 1
1-00-- 1
11--1- 1
1-0-1- 1
-1-01- 1
--001- 1
11---1 1
1-0--1 1
-1-0-1 1
--00-1 1
.names p_27 p_1 [68]
0- 1
-0 1
.names p_28 p_1 [91]
0- 1
-0 1
.names p_33 p_1 [76]
0- 1
-0 1
.names p_15 p_1 [97]
0- 1
-0 1
.names p_25 p_1 [70]
0- 1
-0 1
.names p_8 p_1 [77]
0- 1
-0 1
.names p_10 p_11 p_1 n_44 n_43 n_219 n_223
-111-- 1
---111 1
111-1- 1
1-111- 1
111--1 1
1-11-1 1
-11-11 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 n_62 [150]
--1 1
11- 1
.names p_30 p_1 [94]
0- 1
-0 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 n_47 [156]
--1 1
11- 1
.names p_31 p_1 [72]
0- 1
-0 1
.names n_64 n_63 [94] [72] [261] [262] n_263
1--0-- 1
110--- 1
-100-- 1
11--1- 1
1-0-1- 1
-1-01- 1
--001- 1
11---1 1
1-0--1 1
-1-0-1 1
--00-1 1
.names p_19 p_1 n_52 [158]
--1 1
11- 1
.names p_29 p_1 n_62 [160]
0-0 1
-00 1
111 1
.names p_7 p_1 n_40 [162]
--1 1
11- 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 n_44 n_43 n_219 [81] [75] [82] [166]
0---11 1
1---00 1
000-1- 1
00-11- 1
0-011- 1
111-0- 1
11-00- 1
1-100- 1
-00-11 1
-0-111 1
--0111 1
-11-00 1
-1-000 1
--1000 1
.names p_20 p_1 [71]
0- 1
-0 1
.names p_34 p_1 n_2 [169]
--1 1
11- 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_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_5 p_4 p_3 p_1 n_36 n_37 [180]
---0-- 1
000--- 1
00--0- 1
00---0 1
0-0--0 1
0---00 1
11-1-1 1
11111- 1
1-1111 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_14 p_1 n_47 [189]
0-0 1
-00 1
111 1
.names n_65 n_66 [76] n_263 [78] [169] [251]
-10--1 1
11-1-1 1
1-01-1 1
11--01 1
1-0-01 1
-1-101 1
--0101 1
.names n_60 n_61 n_253 [68] [91] [150] [261]
-1--01 1
111--1 1
11-0-1 1
-110-1 1
1-1-01 1
1--001 1
--1001 1
.names p_29 p_1 n_62 [262]
111 1
.names n_56 n_55 [90] n_243 [152] [73] [271]
1-0-1- 1
11-11- 1
-1011- 1
11--10 1
-10-10 1
1--110 1
--0110 1
.names p_24 p_1 n_57 [272]
111 1
.names n_50 n_51 n_233 [87] [69] [158] [281]
-1--01 1
111--1 1
11-0-1 1
-110-1 1
1-1-01 1
1--001 1
--1001 1
.names p_19 p_1 n_52 [282]
111 1
.names n_45 n_46 n_223 [75] [156] [96] [291]
-1--10 1
111-1- 1
11-01- 1
-1101- 1
1-1-10 1
1--010 1
--1010 1
.names p_14 p_1 n_47 [292]
111 1
.names n_38 n_39 n_209 [86] [89] [162] [341]
-1--01 1
111--1 1
11-0-1 1
-110-1 1
1-1-01 1
1--001 1
--1001 1
.names p_7 p_1 n_40 [342]
111 1
.end