.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_436 n_435 n_437 [1181] p_40
----1 1
1111- 1
1001- 1
1010- 1
1100- 1
.names n_452 [143] [193] [1187] p_45
--1- 1
---1 1
11-- 1
.names n_454 n_455 n_453 n_776 [1189] p_46
----1 1
1111- 1
0011- 1
0101- 1
1001- 1
.names n_454 n_455 n_453 n_776 [74] p_47
----1 1
11-1- 1
1-11- 1
-111- 1
.names n_440 [127] [173] [1194] p_41
--1- 1
---1 1
11-- 1
.names n_443 n_776 n_442 n_441 [1199] p_42
----1 1
1111- 1
0101- 1
0110- 1
1100- 1
.names n_446 [108] [88] [1203] p_43
--1- 1
---1 1
11-- 1
.names n_448 n_776 n_447 n_449 [1206] p_44
----1 1
1111- 1
0101- 1
0110- 1
1100- 1
.names n_434 [132] [64] [1209] p_39
--1- 1
---1 1
11-- 1
.names p_4 n_22 n_776 [111] n_83 n_57
--0-- 1
-111- 1
1-10- 1
--111 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 n_23 n_776 [111] n_83 n_58
--0-- 1
-111- 1
1-10- 1
--111 1
.names p_8 n_34 n_776 [97] n_83 n_675
1-11- 1
-1100 1
.names p_6 n_24 n_776 [111] n_83 n_59
--0-- 1
-111- 1
1-10- 1
--111 1
.names p_7 n_33 n_776 [97] n_83 n_667
1-11- 1
-1100 1
.names p_7 n_25 n_776 [111] n_83 n_60
--0-- 1
-111- 1
1-10- 1
--111 1
.names p_10 n_36 n_776 [97] n_83 n_691
1-11- 1
-1100 1
.names p_8 n_26 n_776 [111] n_83 n_61
--0-- 1
-111- 1
1-10- 1
--111 1
.names p_9 n_35 n_776 [97] n_83 n_683
1-11- 1
-1100 1
.names p_9 n_27 n_776 [111] n_83 n_62
--0-- 1
-111- 1
1-10- 1
--111 1
.names [74] [237] [238] n_710
1-- 1
-1- 1
--1 1
.names p_10 n_28 n_776 [111] n_83 n_63
--0-- 1
-111- 1
1-10- 1
--111 1
.names p_11 n_37 n_776 [97] n_83 n_699
1-11- 1
-1100 1
.names p_11 n_29 n_776 [111] n_83 n_64
--0-- 1
-111- 1
1-10- 1
--111 1
.names p_4 n_30 n_776 [97] n_83 n_643
1-11- 1
-1100 1
.names p_5 n_31 n_776 [97] n_83 n_651
1-11- 1
-1100 1
.names p_6 n_32 n_776 [97] n_83 n_659
1-11- 1
-1100 1
.names p_8 n_26 n_776 [111] n_83 n_443
-111- 1
1-10- 1
--111 1
.names p_10 n_36 n_776 [97] n_83 n_448
1-11- 1
-1100 1
.names n_21 n_38 [73]
1- 1
-1 1
.names p_12 [73] n_776 n_83 [98] n_454
101-- 1
1-11- 1
0110- 1
11101 1
11100 1
.names n_21 n_38 n_776 n_83 n_419
--11 1
111- 1
.names p_12 n_776 n_83 [70] [355] n_455
1111- 1
1110- 1
11-11 1
11-01 1
.names p_11 n_29 n_776 [111] n_83 n_452
-111- 1
1-10- 1
--111 1
.names p_11 n_37 n_776 [97] n_83 n_451
1-11- 1
-1100 1
.names n_448 n_452 n_451 n_447 n_449 n_453
-11-- 1
11-1- 1
1-11- 1
11--1 1
1-1-1 1
-1-11 1
--111 1
.names p_2 p_1 [67]
10 1
.names p_3 p_2 p_1 n_776
010 1
.names p_12 p_11 [145] [147] [99] [97]
1-1-- 1
0111- 1
1101- 1
00111 1
10011 1
01101 1
11001 1
.names p_5 n_23 n_776 [111] n_83 n_434
-111- 1
1-10- 1
--111 1
.names p_5 n_31 n_776 [97] n_83 n_433
1-11- 1
-1100 1
.names p_7 n_25 n_776 [111] n_83 n_440
-111- 1
1-10- 1
--111 1
.names p_6 n_32 n_776 [97] n_83 n_436
1-11- 1
-1100 1
.names p_4 n_434 n_433 [148] [219] n_435
-11-- 1
-1--1 1
--1-1 1
11-1- 1
1-11- 1
.names p_6 n_24 n_776 [111] n_83 n_437
-111- 1
1-10- 1
--111 1
.names p_9 n_27 n_776 [111] n_83 n_446
-111- 1
1-10- 1
--111 1
.names p_9 n_35 n_776 [97] n_83 n_445
1-11- 1
-1100 1
.names n_443 n_446 n_445 n_442 n_441 n_447
-11-- 1
11-1- 1
1-11- 1
11--1 1
1-1-1 1
-1-11 1
--111 1
.names n_443 n_776 n_445 n_442 n_441 [108]
1111- 1
0100- 1
111-1 1
-1111 1
010-0 1
-1000 1
.names p_8 n_34 n_776 [97] n_83 n_442
1-11- 1
-1100 1
.names p_12 p_11 n_419 [152] [154] [111]
1-0-- 1
11-1- 1
0101- 1
10-11 1
11-01 1
00011 1
01001 1
.names p_3 p_2 p_1 n_31 n_83 [113]
1---- 1
-0--- 1
--1-- 1
---0- 1
----1 1
.names p_3 p_2 p_1 n_23 n_83 [114]
1---- 1
-0--- 1
--1-- 1
---00 1
.names p_3 p_2 p_1 n_35 n_83 [116]
1---- 1
-0--- 1
--1-- 1
---0- 1
----1 1
.names p_10 n_28 n_776 [111] n_83 n_449
-111- 1
1-10- 1
--111 1
.names n_21 n_38 n_83 [117]
--1 1
11- 1
.names p_7 n_33 n_776 [97] n_83 n_439
1-11- 1
-1100 1
.names n_440 n_436 n_435 n_437 n_439 n_441
1---1 1
111-- 1
11-1- 1
1-11- 1
-11-1 1
-1-11 1
--111 1
.names p_3 p_2 p_1 n_24 n_83 [122]
1---- 1
-0--- 1
--1-- 1
---00 1
.names p_3 p_2 p_1 n_27 n_83 [124]
1---- 1
-0--- 1
--1-- 1
---00 1
.names n_776 n_436 n_435 n_437 n_439 [127]
111-1 1
11-11 1
1-111 1
100-0 1
10-00 1
1-000 1
.names p_3 p_2 p_1 n_28 n_83 [128]
1---- 1
-0--- 1
--1-- 1
---00 1
.names p_4 n_776 n_433 [148] [219] [132]
-11-1 1
1111- 1
010-0 1
-1000 1
.names p_3 p_2 p_1 n_25 n_83 [133]
1---- 1
-0--- 1
--1-- 1
---00 1
.names p_3 p_2 p_1 n_33 n_83 [136]
1---- 1
-0--- 1
--1-- 1
---0- 1
----1 1
.names p_3 p_2 p_1 n_34 n_83 [139]
1---- 1
-0--- 1
--1-- 1
---0- 1
----1 1
.names p_3 p_2 p_1 n_26 n_83 [140]
1---- 1
-0--- 1
--1-- 1
---00 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_32 n_83 [142]
1---- 1
-0--- 1
--1-- 1
---0- 1
----1 1
.names n_448 n_451 n_776 n_447 n_449 [143]
1111- 1
0010- 1
111-1 1
-1111 1
001-0 1
-0100 1
.names [1154] [1155] [1156] [1157] [1158] n_83
11111 1
.names n_21 n_38 n_776 n_83 [145]
--0- 1
---1 1
00-- 1
.names p_3 p_2 p_1 n_36 n_83 [146]
1---- 1
-0--- 1
--1-- 1
---0- 1
----1 1
.names p_3 p_2 p_1 n_37 n_83 [147]
1---- 1
-0--- 1
--1-- 1
---0- 1
----1 1
.names p_3 p_2 p_1 n_30 n_83 [80]
1---- 1
-0--- 1
--1-- 1
---0- 1
----1 1
.names n_776 [97] [111] [80] [1179] [148]
0--0- 1
--00- 1
110-- 1
11--1 1
.names p_3 p_2 p_1 n_29 n_83 [152]
1---- 1
-0--- 1
--1-- 1
---00 1
.names p_10 p_9 [124] [128] [156] [154]
1--1- 1
0111- 1
1110- 1
00111 1
01011 1
10101 1
11001 1
.names p_11 n_29 n_776 n_83 [154] [70]
1-0-- 1
10-0- 1
0-0-1 1
111-1 1
1-111 1
00-01 1
.names p_11 n_37 n_776 n_83 [99] [98]
10--- 1
1-0-- 1
1--1- 1
00--1 1
0-0-1 1
0--11 1
11101 1
.names p_10 p_9 [116] [146] [101] [99]
1--1- 1
0111- 1
1110- 1
00111 1
01011 1
10101 1
11001 1
.names p_8 p_7 [136] [139] [103] [101]
1--1- 1
0111- 1
1110- 1
00111 1
01011 1
10101 1
11001 1
.names p_6 p_5 [113] [142] [1167] [103]
1--1- 1
0111- 1
1110- 1
00111 1
01011 1
10101 1
11001 1
.names p_8 p_7 [133] [140] [158] [156]
1--1- 1
0111- 1
1110- 1
00111 1
01011 1
10101 1
11001 1
.names p_6 p_5 [114] [122] [1162] [158]
1--1- 1
0111- 1
1110- 1
00111 1
01011 1
10101 1
11001 1
.names p_4 n_58 n_433 [148] [219] [64]
-00-1 1
1001- 1
001-0 1
-0100 1
.names n_62 n_443 n_445 n_442 n_441 [88]
0101- 1
0010- 1
010-1 1
0-011 1
001-0 1
0-100 1
.names n_667 n_440 n_436 n_435 n_437 [173]
1000- 1
100-0 1
10-00 1
.names n_699 n_448 n_452 n_447 n_449 [193]
1000- 1
100-0 1
1-000 1
.names n_776 [97] [111] [1177] [219]
1011 1
.names p_12 p_3 [67] [117] [70] [237]
10111 1
10110 1
.names p_12 n_21 n_38 n_776 n_83 [238]
01-10 1
0-110 1
.names n_21 n_38 [355]
11 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_4 n_22 n_776 n_83 [1162]
1-0- 1
10-0 1
.names p_4 n_30 n_776 n_83 [1167]
10-- 1
1-0- 1
1--1 1
.names n_22 n_30 n_776 n_83 [1177]
1110 1
.names n_83 n_22 [1179]
1- 1
-1 1
.names p_5 p_3 p_2 p_1 n_14 [1181]
--001 1
1110- 1
.names n_64 n_451 [1183]
00 1
.names p_10 p_3 p_2 p_1 n_19 [1186]
--001 1
1110- 1
.names n_448 n_447 n_449 [1183] [1186] [1187]
----1 1
11-1- 1
1-11- 1
-111- 1
.names p_11 p_3 p_2 p_1 n_20 [1189]
--001 1
1110- 1
.names n_60 n_439 [1190]
00 1
.names p_6 p_3 p_2 p_1 n_15 [1193]
--001 1
1110- 1
.names n_436 n_435 n_437 [1190] [1193] [1194]
----1 1
11-1- 1
1-11- 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