.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_10 p_3 p_2 p_1 n_19 n_452 n_451 n_450 p_45
--001--- 1
1110---- 1
-010-111 1
-010-001 1
-010-010 1
-010-100 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 [174] [1195] p_41
1- 1
-1 1
.names p_7 p_3 p_2 p_1 n_16 n_443 n_442 n_441 p_42
--001--- 1
1110---- 1
-010-111 1
-010-001 1
-010-010 1
-010-100 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 [81] [1207] p_44
1- 1
-1 1
.names p_4 p_3 p_2 p_1 n_13 n_434 n_433 n_n92 p_39
--001--- 1
1110---- 1
-010-111 1
-010-001 1
-010-010 1
-010-100 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 p_3 p_2 p_1 n_21 n_38 n_83 [98] n_454
1010--1- 1
101000-- 1
00101-0- 1
0010-10- 1
10101-01 1
1010-101 1
10101-00 1
1010-100 1
.names p_3 p_2 p_1 n_21 n_38 [1159] [1160] n_419
01011-- 1
0100011 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] [272] [273] [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
000111-1 1
010011-1 1
100101-1 1
110001-1 1
001110-1 1
011010-1 1
101100-1 1
111000-1 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 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] [329] [330] [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
010-11-1 1
110-01-1 1
011-10-1 1
111-00-1 1
0000111- 1
1000011- 1
0010101- 1
1010001- 1
000011-1 1
100001-1 1
001010-1 1
101000-1 1
.names p_9 n_21 n_35 n_38 n_776 [1159] [1160] n_91
1-0---- 1
1---0-- 1
0-1-10- 1
0-1-1-0 1
00111-- 1
01101-- 1
11-1111 1
10-0111 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 p_3 p_2 p_1 n_21 n_38 [1159] [1160] [117]
---11-- 1
0100011 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 p_3 p_2 p_1 n_21 n_24 n_38 [1159] [1160] [122]
1------- 1
-0------ 1
--1----- 1
----0-0- 1
----0--0 1
---001-- 1
---100-- 1
.names p_9 n_21 n_27 n_38 n_776 [1159] [1160] n_111
1---0-- 1
0-1-1-- 1
1-0--0- 1
1-0---0 1
1001--- 1
1100--- 1
01-1111 1
00-0111 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 p_3 p_2 p_1 n_21 n_38 n_28 [1159] [1160] [128]
1------- 1
-0------ 1
--1----- 1
-----00- 1
-----0-0 1
---010-- 1
---100-- 1
.names p_3 p_2 p_1 n_21 n_25 n_38 [1159] [1160] [133]
1------- 1
-0------ 1
--1----- 1
----0-0- 1
----0--0 1
---001-- 1
---100-- 1
.names p_3 p_2 p_1 n_21 n_33 n_38 [1159] [1160] [136]
1------- 1
-0------ 1
--1----- 1
----0--- 1
0101-111 1
0100-011 1
.names p_3 p_2 p_1 n_21 n_34 n_38 [1159] [1160] [139]
1------- 1
-0------ 1
--1----- 1
----0--- 1
0101-111 1
0100-011 1
.names p_3 p_2 p_1 n_21 n_26 n_38 [1159] [1160] [140]
1------- 1
-0------ 1
--1----- 1
----0-0- 1
----0--0 1
---001-- 1
---100-- 1
.names p_12 p_3 p_2 p_1 n_21 [74]
--001 1
1110- 1
.names p_3 p_2 p_1 n_21 n_38 n_32 [1159] [1160] [142]
1------- 1
-0------ 1
--1----- 1
-----0-- 1
01011-11 1
01000-11 1
.names n_21 n_38 [144]
11 1
00 1
.names p_3 p_2 p_1 n_21 n_38 [1159] [1160] n_83
0101111 1
0100011 1
.names p_3 p_2 p_1 n_21 n_38 [1159] [1160] [145]
1------ 1
-0----- 1
--1---- 1
---00-- 1
0101111 1
.names p_3 p_2 p_1 n_21 n_36 n_38 [1159] [1160] [146]
1------- 1
-0------ 1
--1----- 1
----0--- 1
0101-111 1
0100-011 1
.names p_3 p_2 p_1 n_21 n_38 n_37 [1159] [1160] [147]
1------- 1
-0------ 1
--1----- 1
-----0-- 1
01011-11 1
01000-11 1
.names p_3 p_2 p_1 n_21 n_38 n_30 [1159] [1160] [80]
1------- 1
-0------ 1
--1----- 1
-----0-- 1
01011-11 1
01000-11 1
.names p_3 p_2 p_1 n_21 n_38 n_29 [1159] [1160] [152]
1------- 1
-0------ 1
--1----- 1
-----00- 1
-----0-0 1
---010-- 1
---100-- 1
.names p_10 p_11 [128] [152] [329] [330] [70]
-1-1-- 1
1011-- 1
1110-- 1
00111- 1
10011- 1
01101- 1
11001- 1
0011-1 1
1001-1 1
0110-1 1
1100-1 1
.names p_10 p_11 [146] [147] [272] [273] [98]
-1-1-- 1
1011-- 1
1110-- 1
00111- 1
10011- 1
01101- 1
11001- 1
0011-1 1
1001-1 1
0110-1 1
1100-1 1
.names p_5 p_4 n_30 n_31 n_776 [144] [1159] [1160] [104]
1--0---- 1
1---0--- 1
01--0--- 1
0100---- 1
1---1111 1
110110-- 1
11011-0- 1
01--1111 1
11011--0 1
.names p_5 p_4 n_22 n_23 n_776 [144] [1159] [1160] [159]
1---0--- 1
01--0--- 1
1--0-0-- 1
1--0--0- 1
1--0---0 1
0100-0-- 1
0100--0- 1
0100---0 1
110110-- 1
11011-0- 1
11011--0 1
.names n_443 n_448 n_776 n_446 n_445 n_442 n_449 n_441 [81]
-0100-1- 1
-0111-0- 1
0010-01- 1
001-001- 1
1011-10- 1
101-110- 1
1011--01 1
101-1-01 1
-011-101 1
-01-1101 1
0010--10 1
001-0-10 1
-010-010 1
-01-0010 1
.names n_776 n_434 n_433 n_440 n_436 n_437 n_439 n_n92 [174]
1--1111- 1
1--1000- 1
11111-1- 1
1111-11- 1
10010-0- 1
1001-00- 1
11-11-11 1
1-111-11 1
11-1-111 1
1-11-111 1
10-10-00 1
1-010-00 1
10-1-000 1
1-01-000 1
.names p_8 p_7 p_6 n_91 [136] [139] [142] [104] [272]
1--0-1-- 1
01-011-- 1
11-010-- 1
0010111- 1
0110011- 1
1010101- 1
1110001- 1
00001111 1
01000111 1
10001011 1
11000011 1
00101101 1
01100101 1
10101001 1
11100001 1
.names p_9 n_21 n_35 n_38 n_776 [1159] [1160] [273]
1-0---- 1
1---0-- 1
11-1111 1
10-0111 1
.names p_8 p_7 p_6 [122] n_111 [133] [140] [159] [329]
1---0-1- 1
01--011- 1
11--010- 1
0011011- 1
0111001- 1
1011010- 1
1111000- 1
00010111 1
00100111 1
01010011 1
01100011 1
10010101 1
10100101 1
11010001 1
11100001 1
.names p_9 n_21 n_27 n_38 n_776 [1159] [1160] [330]
1---0-- 1
1-0--0- 1
1-0---0 1
1001--- 1
1100--- 1
.names n_22 n_23 n_34 n_24 n_33 n_25 n_36 n_26 [1159]
11010101 1
.names n_35 n_27 n_28 n_37 n_29 n_30 n_31 n_32 [1160]
01101000 1
.names p_12 p_3 p_2 p_1 n_21 n_38 [1159] [1160] [1174]
--001--- 1
1110---- 1
001001-- 1
001010-- 1
00101-0- 1
0010-10- 1
00101--0 1
0010-1-0 1
.names p_5 p_3 p_2 p_1 n_14 [1181]
--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] [1191] [1193] [1195]
-------1 1
--11-1-- 1
--00--1- 1
111--1-- 1
11-1-1-- 1
1-1-11-- 1
-11-11-- 1
1--111-- 1
-1-111-- 1
000---1- 1
00-0--1- 1
0-0-0-1- 1
-00-0-1- 1
0--00-1- 1
-0-00-1- 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 n_691 n_443 n_446 n_445 n_442 n_449 n_441 [1206] [1207]
-------1 1
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
.end