.model top
.inputs p_10 p_12 p_11 pclk p_9 p_8 p_7 p_6 p_5 p_4 p_3 p_2 p_1
.outputs p_40 p_45 p_46 p_47 p_41 p_42 p_43 p_44 p_39
.latch    n_57 n_22 re pclk 2
.latch    n_556 n_18 re pclk 2
.latch    n_561 n_19 re pclk 2
.latch    n_566 n_20 re pclk 2
.latch    n_571 n_21 re pclk 2
.latch    n_536 n_14 re pclk 2
.latch    n_541 n_15 re pclk 2
.latch    n_546 n_16 re pclk 2
.latch    n_551 n_17 re pclk 2
.latch    n_531 n_13 re pclk 2
.latch    n_58 n_23 re pclk 2
.latch    n_675 n_34 re pclk 2
.latch    n_59 n_24 re pclk 2
.latch    n_667 n_33 re pclk 2
.latch    n_60 n_25 re pclk 2
.latch    n_691 n_36 re pclk 2
.latch    n_61 n_26 re pclk 2
.latch    n_683 n_35 re pclk 2
.latch    n_62 n_27 re pclk 2
.latch    n_710 n_38 re pclk 2
.latch    n_63 n_28 re pclk 2
.latch    n_699 n_37 re pclk 2
.latch    n_64 n_29 re pclk 2
.latch    n_643 n_30 re pclk 2
.latch    n_651 n_31 re pclk 2
.latch    n_659 n_32 re pclk 2
.names n_776 n_434 n_433 n_436 n_437 n_n92 [1181] p_40
------1 1
11111-- 1
10001-- 1
10010-- 1
11100-- 1
11-111- 1
1-1111- 1
11-001- 1
1-1001- 1
10-010- 1
1-0010- 1
10-100- 1
1-0100- 1
.names p_3 p_2 p_1 n_452 n_451 n_450 [1186] p_45
------1 1
010111- 1
010001- 1
010010- 1
010100- 1
.names n_454 n_455 n_452 n_451 n_450 n_776 [1189] p_46
------1 1
1111-1- 1
0011-1- 1
0100-1- 1
1000-1- 1
111-11- 1
001-11- 1
11-111- 1
00-111- 1
010-01- 1
100-01- 1
01-001- 1
10-001- 1
.names n_454 n_455 n_452 n_451 n_450 n_776 [74] p_47
------1 1
11---1- 1
1-11-1- 1
-111-1- 1
1-1-11- 1
-11-11- 1
1--111- 1
-1-111- 1
.names n_440 [127] [173] [1194] p_41
--1- 1
---1 1
11-- 1
.names p_3 p_2 p_1 n_443 n_442 n_441 [1199] p_42
------1 1
010111- 1
010001- 1
010010- 1
010100- 1
.names n_443 n_776 n_446 n_445 n_442 n_441 [1203] p_43
------1 1
11111-- 1
11001-- 1
01010-- 1
01100-- 1
1111-1- 1
1100-1- 1
-11111- 1
-10011- 1
0101-0- 1
0110-0- 1
-10100- 1
-11000- 1
.names n_448 [110] [79] [1206] p_44
--1- 1
---1 1
01-- 1
.names p_3 p_2 p_1 n_434 n_433 n_n92 [1209] p_39
------1 1
010111- 1
010001- 1
010010- 1
010100- 1
.names p_4 p_3 p_2 p_1 n_22 [111] n_83 n_57
-1----- 1
--0---- 1
---1--- 1
-01011- 1
1010-0- 1
-010-11 1
.names p_9 p_2 p_1 n_18 n_556
110- 1
-001 1
.names p_10 p_2 p_1 n_19 n_561
110- 1
-001 1
.names p_11 p_2 p_1 n_20 n_566
110- 1
-001 1
.names p_12 p_2 p_1 n_21 n_571
110- 1
-001 1
.names p_5 p_2 p_1 n_14 n_536
110- 1
-001 1
.names p_6 p_2 p_1 n_15 n_541
110- 1
-001 1
.names p_7 p_2 p_1 n_16 n_546
110- 1
-001 1
.names p_8 p_2 p_1 n_17 n_551
110- 1
-001 1
.names p_4 p_2 p_1 n_13 n_531
110- 1
-001 1
.names p_5 p_3 p_2 p_1 n_23 [111] n_83 n_58
-1----- 1
--0---- 1
---1--- 1
-01011- 1
1010-0- 1
-010-11 1
.names p_8 p_3 p_2 p_1 n_34 [97] n_83 n_675
1010-1- 1
-010100 1
.names p_6 p_3 p_2 p_1 n_24 [111] n_83 n_59
-1----- 1
--0---- 1
---1--- 1
-01011- 1
1010-0- 1
-010-11 1
.names p_7 p_3 p_2 p_1 n_33 [97] n_83 n_667
1010-1- 1
-010100 1
.names p_7 p_3 p_2 p_1 n_25 [111] n_83 n_60
-1----- 1
--0---- 1
---1--- 1
-01011- 1
1010-0- 1
-010-11 1
.names p_10 p_3 p_2 p_1 n_36 [97] n_83 n_691
1010-1- 1
-010100 1
.names p_8 p_3 p_2 p_1 n_26 [111] n_83 n_61
-1----- 1
--0---- 1
---1--- 1
-01011- 1
1010-0- 1
-010-11 1
.names p_9 p_3 p_2 p_1 n_35 [97] n_83 n_683
1010-1- 1
-010100 1
.names p_9 p_3 p_2 p_1 n_27 [111] n_83 n_62
-1----- 1
--0---- 1
---1--- 1
-01011- 1
1010-0- 1
-010-11 1
.names p_12 p_3 p_2 p_1 [117] [70] [1174] n_710
------1 1
101011- 1
101010- 1
.names p_10 p_3 p_2 p_1 n_28 [111] n_83 n_63
-1----- 1
--0---- 1
---1--- 1
-01011- 1
1010-0- 1
-010-11 1
.names p_11 p_3 p_2 p_1 n_37 [97] n_83 n_699
1010-1- 1
-010100 1
.names p_11 p_3 p_2 p_1 n_29 [111] n_83 n_64
-1----- 1
--0---- 1
---1--- 1
-01011- 1
1010-0- 1
-010-11 1
.names p_4 p_3 p_2 p_1 [97] [80] n_643
-1---0 1
--0--0 1
---1-0 1
----00 1
10101- 1
.names p_5 p_3 p_2 p_1 n_31 [97] n_83 n_651
1010-1- 1
-010100 1
.names p_6 p_3 p_2 p_1 n_32 [97] n_83 n_659
1010-1- 1
-010100 1
.names p_8 p_3 p_2 p_1 n_26 [111] n_83 n_443
-01011- 1
1010-0- 1
-010-11 1
.names p_10 p_3 p_2 p_1 n_36 [97] n_83 n_448
1010-1- 1
-010100 1
.names p_12 n_21 n_38 n_776 n_83 [98] n_454
1--11- 1
1001-- 1
01-10- 1
0-110- 1
11-101 1
1-1101 1
11-100 1
1-1100 1
.names n_21 n_38 n_776 [1154] [1155] [1156] [1157] n_419
111---- 1
0011111 1
.names p_12 p_3 p_2 p_1 [117] [70] n_455
101011 1
101010 1
.names p_11 p_3 p_2 p_1 n_29 [111] n_83 n_452
-01011- 1
1010-0- 1
-010-11 1
.names p_11 p_3 p_2 p_1 n_37 [97] n_83 n_451
1010-1- 1
-010100 1
.names n_443 n_448 n_446 n_445 n_442 n_449 n_441 n_450
-1---1- 1
-111--- 1
--11-1- 1
111-1-- 1
11-11-- 1
1-1-11- 1
1--111- 1
111---1 1
11-1--1 1
-11-1-1 1
-1-11-1 1
1-1--11 1
1--1-11 1
--1-111 1
---1111 1
.names p_3 p_2 p_1 n_776
010 1
.names p_10 p_12 p_11 [145] [146] [147] [100] [97]
-1-1--- 1
-011-1- 1
-110-1- 1
100111- 1
110011- 1
101110- 1
111010- 1
0001111 1
0100111 1
1001011 1
1100011 1
0011101 1
0110101 1
1011001 1
1110001 1
.names p_5 p_3 p_2 p_1 n_23 [111] n_83 n_434
-01011- 1
1010-0- 1
-010-11 1
.names p_5 p_3 p_2 p_1 n_31 [97] n_83 n_433
1010-1- 1
-010100 1
.names p_7 p_3 p_2 p_1 n_25 [111] n_83 n_440
-01011- 1
1010-0- 1
-010-11 1
.names p_6 p_3 p_2 p_1 n_32 [97] n_83 n_436
1010-1- 1
-010100 1
.names p_6 p_3 p_2 p_1 n_24 [111] n_83 n_437
-01011- 1
1010-0- 1
-010-11 1
.names p_9 p_3 p_2 p_1 n_27 [111] n_83 n_446
-01011- 1
1010-0- 1
-010-11 1
.names p_9 p_3 p_2 p_1 n_35 [97] n_83 n_445
1010-1- 1
-010100 1
.names n_443 n_776 n_446 n_445 n_442 n_449 n_441 [110]
-100-1- 1
-111-0- 1
010-01- 1
01-001- 1
111-10- 1
11-110- 1
111--01 1
11-1-01 1
-11-101 1
-1-1101 1
010--10 1
01-0-10 1
-10-010 1
-1-0010 1
.names p_8 p_3 p_2 p_1 n_34 [97] n_83 n_442
1010-1- 1
-010100 1
.names p_10 p_12 p_11 n_419 [128] [152] [155] [111]
-1-0--- 1
-11--1- 1
-010-1- 1
110-11- 1
111-10- 1
100011- 1
101010- 1
010-111 1
110-011 1
011-101 1
111-001 1
0000111 1
1000011 1
0010101 1
1010001 1
.names n_31 n_776 [144] [1154] [1155] [1156] [1157] [113]
0------ 1
-0----- 1
-111111 1
.names n_23 n_776 [144] [1154] [1155] [1156] [1157] [114]
-0----- 1
0-0---- 1
0--0--- 1
0---0-- 1
0----0- 1
0-----0 1
.names n_35 n_776 [144] [1154] [1155] [1156] [1157] [116]
0------ 1
-0----- 1
-111111 1
.names p_10 p_3 p_2 p_1 n_28 [111] n_83 n_449
-01011- 1
1010-0- 1
-010-11 1
.names n_21 n_38 [1154] [1155] [1156] [1157] [1158] [117]
11----- 1
--11111 1
.names p_7 p_3 p_2 p_1 n_33 [97] n_83 n_439
1010-1- 1
-010100 1
.names n_434 n_433 n_440 n_436 n_437 n_439 n_n92 n_441
--1--1- 1
--111-- 1
---111- 1
1111--- 1
111-1-- 1
11-1-1- 1
11--11- 1
1-11--1 1
-111--1 1
1-1-1-1 1
-11-1-1 1
1--1-11 1
-1-1-11 1
1---111 1
-1--111 1
.names n_24 n_776 [144] [1154] [1155] [1156] [1157] [122]
-0----- 1
0-0---- 1
0--0--- 1
0---0-- 1
0----0- 1
0-----0 1
.names n_27 n_776 [144] [1154] [1155] [1156] [1157] [124]
-0----- 1
0-0---- 1
0--0--- 1
0---0-- 1
0----0- 1
0-----0 1
.names p_4 n_22 n_30 n_776 [97] [111] n_83 n_n92
11-11-- 1
1--110- 1
1--11-1 1
1-11-00 1
-111010 1
.names n_776 n_434 n_433 n_436 n_437 n_439 n_n92 [127]
1--111- 1
1--000- 1
1111-1- 1
111-11- 1
1000-0- 1
100-00- 1
11-1-11 1
1-11-11 1
11--111 1
1-1-111 1
10-0-00 1
1-00-00 1
10--000 1
1-0-000 1
.names n_28 n_776 [144] [1154] [1155] [1156] [1157] [128]
-0----- 1
0-0---- 1
0--0--- 1
0---0-- 1
0----0- 1
0-----0 1
.names n_25 n_776 [144] [1154] [1155] [1156] [1157] [133]
-0----- 1
0-0---- 1
0--0--- 1
0---0-- 1
0----0- 1
0-----0 1
.names n_33 n_776 [144] [1154] [1155] [1156] [1157] [136]
0------ 1
-0----- 1
-111111 1
.names n_34 n_776 [144] [1154] [1155] [1156] [1157] [139]
0------ 1
-0----- 1
-111111 1
.names n_26 n_776 [144] [1154] [1155] [1156] [1157] [140]
-0----- 1
0-0---- 1
0--0--- 1
0---0-- 1
0----0- 1
0-----0 1
.names p_12 p_3 p_2 p_1 n_21 [74]
--001 1
1110- 1
.names n_32 n_776 [144] [1154] [1155] [1156] [1157] [142]
0------ 1
-0----- 1
-111111 1
.names n_21 n_38 [144]
11 1
00 1
.names [1154] [1155] [1156] [1157] [1158] n_83
11111 1
.names n_21 n_38 n_776 [1154] [1155] [1156] [1157] [145]
--0---- 1
00----- 1
1111111 1
.names n_36 n_776 [144] [1154] [1155] [1156] [1157] [146]
0------ 1
-0----- 1
-111111 1
.names n_37 n_776 [144] [1154] [1155] [1156] [1157] [147]
0------ 1
-0----- 1
-111111 1
.names n_30 n_776 [144] [1154] [1155] [1156] [1157] [80]
0------ 1
-0----- 1
-111111 1
.names n_29 n_776 [144] [1154] [1155] [1156] [1157] [152]
-0----- 1
0-0---- 1
0--0--- 1
0---0-- 1
0----0- 1
0-----0 1
.names p_10 p_11 [128] [152] [155] [70]
-1-1- 1
1011- 1
1110- 1
00111 1
10011 1
01101 1
11001 1
.names p_10 p_11 [146] [147] [100] [98]
-1-1- 1
1011- 1
1110- 1
00111 1
10011 1
01101 1
11001 1
.names p_9 p_8 p_7 [116] [136] [139] [103] [100]
1--1--- 1
01-1-1- 1
11-0-1- 1
001111- 1
101011- 1
011110- 1
111010- 1
0001111 1
1000111 1
0011011 1
1010011 1
0101101 1
1100101 1
0111001 1
1110001 1
.names p_6 p_5 p_4 [113] [142] [80] [103]
1---1- 1
01-11- 1
11-10- 1
001111 1
011011 1
101101 1
111001 1
.names p_9 p_8 p_7 [124] [133] [140] [158] [155]
1--1--- 1
01-1-1- 1
11-0-1- 1
001111- 1
101011- 1
011110- 1
111010- 1
0001111 1
1000111 1
0011011 1
1010011 1
0101101 1
1100101 1
0111001 1
1110001 1
.names p_6 p_5 p_4 [114] [122] [160] [158]
1---1- 1
01-11- 1
11-10- 1
001111 1
011011 1
101101 1
111001 1
.names n_22 n_776 [144] [1154] [1155] [1156] [1157] [160]
-0----- 1
0-0---- 1
0--0--- 1
0---0-- 1
0----0- 1
0-----0 1
.names n_691 n_443 n_446 n_445 n_442 n_449 n_441 [79]
1-11-1- 1
1-00-0- 1
111-11- 1
11-111- 1
100-00- 1
10-000- 1
111--11 1
11-1-11 1
1-1-111 1
1--1111 1
100--00 1
10-0-00 1
1-0-000 1
1--0000 1
.names n_434 n_433 n_436 n_437 n_n92 [1191] [173]
--00-1 1
000--1 1
00-0-1 1
0-0-01 1
-00-01 1
0--001 1
-0-001 1
.names n_22 n_23 n_34 n_24 [1154]
1101 1
.names n_33 n_25 n_36 n_26 [1155]
0101 1
.names n_35 n_27 n_28 n_37 [1156]
0110 1
.names n_29 n_30 n_31 n_32 [1157]
1000 1
.names p_3 p_2 p_1 n_21 n_38 [1158]
01011 1
01000 1
.names p_12 p_3 p_2 p_1 n_21 n_38 n_83 [1174]
--001-- 1
1110--- 1
00101-0 1
0010-10 1
.names p_5 p_3 p_2 p_1 n_14 [1181]
--001 1
1110- 1
.names p_10 p_3 p_2 p_1 n_19 [1186]
--001 1
1110- 1
.names p_11 p_3 p_2 p_1 n_20 [1189]
--001 1
1110- 1
.names p_7 n_33 n_25 n_776 [97] [111] n_83 [1190]
00-1-0- 1
0--110- 1
0--1-01 1
0001--0 1
0-011-0 1
-001010 1
.names p_7 n_33 n_25 n_776 [97] [111] n_83 [1191]
01010-0 1
1-01110 1
-101010 1
01-1000 1
.names p_6 p_3 p_2 p_1 n_15 [1193]
--001 1
1110- 1
.names n_434 n_433 n_436 n_437 n_n92 [1190] [1193] [1194]
------1 1
--11-1- 1
111--1- 1
11-1-1- 1
1-1-11- 1
-11-11- 1
1--111- 1
-1-111- 1
.names p_7 p_3 p_2 p_1 n_16 [1199]
--001 1
1110- 1
.names p_8 p_3 p_2 p_1 n_17 [1203]
--001 1
1110- 1
.names p_9 p_3 p_2 p_1 n_18 [1206]
--001 1
1110- 1
.names p_4 p_3 p_2 p_1 n_13 [1209]
--001 1
1110- 1
.end