.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_6 p_1 n_40 n_41 n_39 n_211 n_172
---001-- 1
---0-10- 1
---0-1-0 1
00--01-- 1
11-111-- 1
01-110-- 1
10-100-- 1
000--10- 1
0-0-010- 1
0---1011 1
---01011 1
000--1-0 1
0-0-01-0 1
00---100 1
0---0100 1
1111-11- 1
1-11111- 1
0111-01- 1
0-11101- 1
1001-00- 1
1-01000- 1
1111-1-1 1
1-1111-1 1
0111-0-1 1
0-1110-1 1
11-1-111 1
1--11111 1
01-1-011 1
1001-0-0 1
1-0100-0 1
10-1-000 1
1--10000 1
.names n_42 [173] n_173
11 1
00 1
.names p_10 p_9 p_1 n_42 n_43 n_217 n_174
--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_10 p_11 p_9 p_1 n_44 n_42 n_43 n_217 n_175
---010-- 1
---01-0- 1
---01--0 1
00--1-0- 1
000-10-- 1
11-11-1- 1
10-10-1- 1
01-10-0- 1
-00-100- 1
-0--0111 1
---00111 1
000-1--0 1
00--10-0 1
-00-1-00 1
-0--1000 1
111111-- 1
101101-- 1
010100-- 1
-111111- 1
-011011- 1
-101000- 1
11111--1 1
10110--1 1
11-111-1 1
10-101-1 1
-1111-11 1
-0110-11 1
-1-11111 1
01010--0 1
01-100-0 1
-1010-00 1
-1-10000 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_4 p_3 p_1 n_36 n_37 n_38 n_169
---0--1 1
000---1 1
00--0-1 1
00---01 1
0-0--01 1
0---001 1
11-1-11 1
1001--0 1
10-10-0 1
01-1-10 1
10-1-00 1
1-01-00 1
1--1000 1
11111-1 1
1-11111 1
01111-0 1
0-11110 1
.names p_6 p_1 n_39 n_211 n_170
0-01 1
-001 1
0-10 1
-010 1
1111 1
1100 1
.names p_7 p_6 p_1 n_40 n_39 n_211 n_171
--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_34 p_33 p_32 p_1 n_2 n_65 n_66 [255] n_203
1--11--- 1
----1-11 1
11-1--1- 1
-1-11-1- 1
11-1---1 1
-1-11--1 1
1--1--11 1
1111-1-- 1
-11111-- 1
1-11-11- 1
--11111- 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 p_23 p_24 p_22 p_1 n_56 n_55 n_57 n_243 n_188
---00-1- 1
---0-01- 1
---0--10 1
00--0-1- 1
11-11-1- 1
000--01- 1
-00-001- 1
10-11-0- 1
01-10-0- 1
-0--1101 1
---01101 1
000---10 1
-00-0-10 1
00---010 1
-0--0010 1
1111-11- 1
-111111- 1
1011-10- 1
-011110- 1
0101-00- 1
-101000- 1
1111--11 1
-1111-11 1
11-1-111 1
-1-11111 1
1011--01 1
-0111-01 1
10-1-101 1
0101--00 1
-1010-00 1
01-1-000 1
-1-10000 1
.names p_12 p_14 p_13 p_1 n_45 n_46 n_47 n_223 n_178
---00-1- 1
---0-01- 1
---0--10 1
-00--01- 1
000-0-1- 1
-111-11- 1
00--001- 1
-011-10- 1
-101-00- 1
-0--1101 1
---01101 1
000---10 1
-00-0-10 1
00---010 1
-0--0010 1
11111-1- 1
11-1111- 1
10111-0- 1
01010-0- 1
10-1110- 1
01-1000- 1
1111--11 1
-1111-11 1
11-1-111 1
-1-11111 1
1011--01 1
-0111-01 1
10-1-101 1
0101--00 1
-1010-00 1
01-1-000 1
-1-10000 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 n_48 [191] n_179
11 1
00 1
.names p_25 p_26 p_1 n_58 n_59 [269] n_190
-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 p_33 p_32 p_1 n_65 n_66 [255] n_197
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_16 p_15 p_1 n_48 n_49 n_229 n_180
--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_56 n_55 n_57 [90] n_243 [144] [85] [73] n_189
--0--01- 1
--1--10- 1
1-10-1-- 1
0-01-0-- 1
0--1-01- 1
1--0-10- 1
111-11-- 1
-11011-- 1
000-00-- 1
-00100-- 1
00--001- 1
-0-1001- 1
11--110- 1
-1-0110- 1
000--0-1 1
-001-0-1 1
0-0-00-1 1
--0100-1 1
00---011 1
-0-1-011 1
0---0011 1
---10011 1
111--1-0 1
-110-1-0 1
1-1-11-0 1
--1011-0 1
11---100 1
-1-0-100 1
1---1100 1
---01100 1
.names p_34 p_33 p_32 p_1 n_2 n_65 n_66 [255] n_198
---01-0- 1
---01--0 1
00--1-0- 1
0---0-11 1
---00-11 1
11-11-1- 1
01-10-1- 1
10-10-0- 1
11-11--1 1
01-10--1 1
1--11-11 1
000-1--0 1
00--10-0 1
0-0-1-00 1
0---1000 1
111111-- 1
011101-- 1
1-11111- 1
0-11011- 1
10010--0 1
10-100-0 1
1-010-00 1
1--10000 1
.names p_16 p_15 p_17 p_1 n_48 n_49 n_50 n_229 n_181
---00-1- 1
---0-01- 1
---0--10 1
0-0--01- 1
000-0-1- 1
1-11-11- 1
-00-001- 1
1-01-10- 1
0-11-00- 1
--0-1101 1
---01101 1
000---10 1
0-0-0-10 1
-00--010 1
--0-0010 1
11111-1- 1
-111111- 1
11011-0- 1
00110-0- 1
-101110- 1
-011000- 1
1111--11 1
1-111-11 1
-111-111 1
--111111 1
1101--01 1
1-011-01 1
-101-101 1
0011--00 1
0-110-00 1
-011-000 1
--110000 1
.names p_27 p_26 p_1 n_60 n_59 [185] [269] [270] n_192
0--0-0-- 1
--00-0-- 1
--0-00-- 1
1-11-1-- 1
00--00-- 1
-0-000-- 1
---1111- 1
---111-1 1
--0--000 1
111-11-- 1
-11111-- 1
111--11- 1
-111-11- 1
1-1-111- 1
111--1-1 1
-111-1-1 1
1-1-11-1 1
00---000 1
-0-0-000 1
0---0000 1
---00000 1
.names n_48 n_49 n_50 [87] [67] n_229 [97] [143] n_182
--10---1 1
--01---0 1
-11-0--1 1
-1-00--1 1
-00-1--0 1
-0-11--0 1
111--1-1 1
11-0-1-1 1
1-1-01-1 1
1--001-1 1
111---01 1
11-0--01 1
1-1-0-01 1
1--00-01 1
-11--101 1
-1-0-101 1
--1-0101 1
---00101 1
000--0-0 1
00-1-0-0 1
0-0-10-0 1
0--110-0 1
000---10 1
00-1--10 1
0-0-1-10 1
0--11-10 1
-00--010 1
-0-1-010 1
--0-1010 1
---11010 1
.names p_27 p_25 p_26 p_1 n_58 n_60 n_59 [269] n_191
---0-10- 1
---0-1-0 1
0-0--10- 1
0----011 1
---0-011 1
1-11-11- 1
0-11-01- 1
1-01-00- 1
1-11-1-1 1
0-11-0-1 1
1--1-111 1
000--1-0 1
0-0-01-0 1
00---100 1
0---0100 1
111111-- 1
011110-- 1
11-1111- 1
01-1101- 1
1001-0-0 1
1-0100-0 1
10-1-000 1
1--10000 1
.names p_18 p_19 p_1 n_51 n_52 [283] n_183
-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 p_30 p_29 p_1 n_62 n_63 n_257 n_194
--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_20 p_18 p_19 p_1 n_51 n_52 n_53 [283] n_184
---0-01- 1
---0--10 1
0-0--01- 1
0----101 1
---0-101 1
1-11-11- 1
0-11-10- 1
1-01-00- 1
1-11--11 1
1--1-111 1
0-11--01 1
000---10 1
0-0-0-10 1
00---010 1
0---0010 1
11111-1- 1
11-1111- 1
01111-0- 1
01-1110- 1
1001--00 1
1-010-00 1
10-1-000 1
1--10000 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_20 p_19 p_1 n_52 n_53 [187] [283] [284] n_185
--00-0-- 1
0---00-- 1
--0-00-- 1
1-1-11-- 1
00-0-0-- 1
-0-000-- 1
---1111- 1
---111-1 1
--0--000 1
1111-1-- 1
-11111-- 1
111--11- 1
1-11-11- 1
-11-111- 1
111--1-1 1
1-11-1-1 1
-11-11-1 1
00---000 1
0--0-000 1
-0--0000 1
---00000 1
.names n_62 n_64 n_63 n_257 [74] [94] [72] [171] n_196
-1----01 1
-0----10 1
-11--0-1 1
--1--001 1
-00--1-0 1
--0--110 1
1111---1 1
111-0--1 1
-1110--1 1
11-1-0-1 1
11--00-1 1
-1-100-1 1
1-11--01 1
1-1-0-01 1
--110-01 1
1--1-001 1
1---0001 1
---10001 1
0000---0 1
000-1--0 1
-0001--0 1
00-0-1-0 1
00--11-0 1
-0-011-0 1
0-00--10 1
0-0-1-10 1
--001-10 1
0--0-110 1
0---1110 1
---01110 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 p_30 p_31 p_29 p_1 n_62 n_64 n_63 n_257 n_195
---001-- 1
---0-10- 1
---0-1-0 1
00---10- 1
000-01-- 1
11-1-11- 1
10-1-01- 1
-00-010- 1
01-1-00- 1
-0--1011 1
---01011 1
000--1-0 1
00--01-0 1
-00--100 1
-0--0100 1
111111-- 1
101110-- 1
010100-- 1
-111111- 1
-011101- 1
-101000- 1
1111-1-1 1
11-111-1 1
1011-0-1 1
10-110-1 1
-111-111 1
-1-11111 1
-011-011 1
0101-0-0 1
01-100-0 1
-101-000 1
-1-10000 1
.names p_17 p_1 [87]
0- 1
-0 1
.names p_23 p_1 [90]
0- 1
-0 1
.names p_5 p_4 p_3 p_1 n_36 n_37 n_38 n_211
1--1--1 1
11-1-1- 1
-1-1-11 1
11111-- 1
1-1111- 1
-1111-1 1
--11111 1
.names p_6 p_1 [89]
0- 1
-0 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_52 n_53 n_54 [93] [84] [71] [283] [284] n_243
--10---- 1
-11--0-- 1
-1-0-0-- 1
111-0--- 1
11-00--- 1
1-1-00-- 1
1--000-- 1
111---1- 1
11-0--1- 1
-11-0-1- 1
-1-00-1- 1
1-1--01- 1
1--0-01- 1
--1-001- 1
---0001- 1
111----1 1
11-0---1 1
-11-0--1 1
-1-00--1 1
1-1--0-1 1
1--0-0-1 1
--1-00-1 1
---000-1 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_59 n_61 [68] [91] [88] [269] [270] n_257
--1-0--- 1
1-10---- 1
1--00--- 1
111--0-- 1
-110-0-- 1
11--00-- 1
-1-000-- 1
111---1- 1
-110--1- 1
11--0-1- 1
-1-00-1- 1
1-1--01- 1
--10-01- 1
1---001- 1
---0001- 1
111----1 1
-110---1 1
11--0--1 1
-1-00--1 1
1-1--0-1 1
--10-0-1 1
1---00-1 1
---000-1 1
.names p_12 p_14 p_13 p_1 n_45 n_46 n_47 n_223 n_229
-1-1--1- 1
-111-1-- 1
--11-11- 1
----1111 1
11111--- 1
11-111-- 1
1-111-1- 1
1--1111- 1
1111---1 1
-1111--1 1
11-1-1-1 1
-1-111-1 1
1-11--11 1
--111-11 1
1--1-111 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 p_25 p_1 n_58 [144]
0-0 1
-00 1
111 1
.names p_25 p_1 n_58 [145]
--1 1
11- 1
.names p_8 p_1 [77]
0- 1
-0 1
.names p_8 p_7 p_6 p_1 n_40 n_41 n_39 n_211 n_217
1--1-1-- 1
11-11--- 1
-1-111-- 1
----1111 1
1111--1- 1
1-111-1- 1
-111-11- 1
--11111- 1
1111---1 1
1-111--1 1
-111-1-1 1
--1111-1 1
11-1--11 1
1--11-11 1
-1-1-111 1
.names p_10 p_11 p_9 p_1 n_44 n_42 n_43 n_217 n_223
-1-11--- 1
11-1--1- 1
1--11-1- 1
----1111 1
1111-1-- 1
1-1111-- 1
-111-11- 1
--11111- 1
1111---1 1
1-111--1 1
11-1-1-1 1
1--111-1 1
-111--11 1
--111-11 1
-1-1-111 1
.names p_12 p_1 [75]
0- 1
-0 1
.names p_18 p_1 n_51 [148]
--1 1
11- 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 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 n_65 [164]
--1 1
11- 1
.names p_13 p_1 [96]
0- 1
-0 1
.names n_44 n_42 n_43 [81] n_217 [75] [79] [82] [166]
0----1-1 1
1----0-0 1
0-01-1-- 1
1-10-0-- 1
--01-1-1 1
--10-0-0 1
000-01-- 1
00-101-- 1
111-10-- 1
11-010-- 1
000--11- 1
00-1-11- 1
0-0-011- 1
0--1011- 1
111--00- 1
11-0-00- 1
1-1-100- 1
1--0100- 1
-00-01-1 1
-0-101-1 1
-00--111 1
-0-1-111 1
--0-0111 1
---10111 1
-11-10-0 1
-1-010-0 1
-11--000 1
-1-0-000 1
--1-1000 1
---01000 1
.names p_20 p_1 [71]
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 n_40 n_41 n_39 n_211 [89] [77] [79] [92] [173]
-0---11- 1
-1---00- 1
00----11 1
0----111 1
11----00 1
1----000 1
0000--1- 1
000-1-1- 1
00-01-1- 1
0-00-11- 1
0-0-111- 1
0--0111- 1
1111--0- 1
111-0-0- 1
11-10-0- 1
1-11-00- 1
1-1-000- 1
1--1000- 1
-000--11 1
-00-1-11 1
-0-01-11 1
--00-111 1
--0-1111 1
---01111 1
-111--00 1
-11-0-00 1
-1-10-00 1
--11-000 1
--1-0000 1
---10000 1
.names p_28 p_1 n_61 [185]
0-0 1
-00 1
111 1
.names p_21 p_1 n_54 [187]
0-0 1
-00 1
111 1
.names n_45 n_46 n_47 [97] n_223 [75] [95] [96] [191]
--01--1- 1
--10--0- 1
-001---1 1
-0-1--11 1
-110---0 1
-1-0--00 1
11101--- 1
00010--- 1
0001-1-- 1
-00101-- 1
1110-0-- 1
-11010-- 1
00-10-1- 1
00-1-11- 1
-0-1011- 1
11-01-0- 1
11-0-00- 1
-1-0100- 1
0-010--1 1
0-01-1-1 1
--0101-1 1
0--10-11 1
0--1-111 1
---10111 1
1-101--0 1
1-10-0-0 1
--1010-0 1
1--01-00 1
1--0-000 1
---01000 1
.names n_62 n_64 n_63 n_257 [74] [94] [72] [164] [255]
-1----01 1
-11--0-1 1
--1--001 1
1111---1 1
111-0--1 1
-1110--1 1
11-1-0-1 1
11--00-1 1
-1-100-1 1
1-11--01 1
1-1-0-01 1
--110-01 1
1--1-001 1
1---0001 1
---10001 1
.names n_56 n_55 n_57 [90] n_243 [145] [85] [73] [269]
--1--10- 1
1-10-1-- 1
1--0-10- 1
111-11-- 1
-11011-- 1
11--110- 1
-1-0110- 1
111--1-0 1
-110-1-0 1
1-1-11-0 1
--1011-0 1
11---100 1
-1-0-100 1
1---1100 1
---01100 1
.names p_25 p_1 n_58 [270]
111 1
.names n_48 n_49 n_50 [87] [67] n_229 [97] [148] [283]
--10---1 1
-11-0--1 1
-1-00--1 1
111--1-1 1
11-0-1-1 1
1-1-01-1 1
1--001-1 1
111---01 1
11-0--01 1
1-1-0-01 1
1--00-01 1
-11--101 1
-1-0-101 1
--1-0101 1
---00101 1
.names p_18 p_1 n_51 [284]
111 1
.end