.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 [210] [1182] p_40
1- 1
-1 1
.names n_452 [143] [1188] p_45
--1 1
11- 1
.names n_776 [120] [1189] p_46
--1 1
11- 1
.names n_776 [74] [150] p_47
-1- 1
1-1 1
.names n_440 [127] [1195] p_41
--1 1
11- 1
.names n_443 [130] [1201] p_42
--1 1
11- 1
.names n_446 [108] [1204] p_43
--1 1
11- 1
.names n_448 [110] [1207] p_44
--1 1
01- 1
.names n_434 [132] [1210] p_39
--1 1
11- 1
.names [319] [320] [1164] n_57
1-- 1
-1- 1
--1 1
.names [317] [318] n_556
1- 1
-1 1
.names [315] [316] n_561
1- 1
-1 1
.names [313] [314] n_566
1- 1
-1 1
.names [311] [312] n_571
1- 1
-1 1
.names [309] [310] n_536
1- 1
-1 1
.names [307] [308] n_541
1- 1
-1 1
.names [305] [306] n_546
1- 1
-1 1
.names [303] [304] n_551
1- 1
-1 1
.names [301] [302] n_531
1- 1
-1 1
.names n_776 n_434 n_58
0- 1
-1 1
.names n_776 n_442 n_675
11 1
.names n_776 n_437 n_59
0- 1
-1 1
.names n_776 n_439 n_667
11 1
.names n_776 n_440 n_60
0- 1
-1 1
.names n_448 n_776 n_691
11 1
.names n_443 n_776 n_61
1- 1
-0 1
.names n_776 n_445 n_683
11 1
.names n_776 n_446 n_62
0- 1
-1 1
.names [237] [1174] n_710
1- 1
-1 1
.names n_776 n_449 n_63
0- 1
-1 1
.names n_451 n_776 n_699
11 1
.names n_452 n_776 n_64
1- 1
-0 1
.names [227] [228] n_643
1- 1
-1 1
.names n_776 n_433 n_651
11 1
.names n_776 n_436 n_659
11 1
.names n_776 [111] n_83 [71]
111 1
.names [71] [251] [252] n_443
1-- 1
-1- 1
--1 1
.names n_776 [97] [92]
11 1
.names n_776 [97] n_83 [95]
100 1
.names n_36 [95] [255] n_448
--1 1
11- 1
.names n_21 n_38 [73]
1- 1
-1 1
.names [95] [73] [245] n_454
--1 1
11- 1
.names n_776 [117] n_419
11 1
.names [242] [243] n_455
1- 1
-1 1
.names [71] [229] [230] n_452
1-- 1
-1- 1
--1 1
.names n_37 [95] [233] n_451
--1 1
11- 1
.names n_448 n_447 n_449 n_450
11- 1
1-1 1
-11 1
.names n_452 n_451 n_450 n_453
11- 1
1-1 1
-11 1
.names p_3 p_2 p_1 n_776
010 1
.names p_12 [145] [98] [97]
11- 1
011 1
101 1
.names [71] [298] [299] n_434
1-- 1
-1- 1
--1 1
.names n_31 [95] [226] n_433
--1 1
11- 1
.names [71] [256] [257] n_440
1-- 1
-1- 1
--1 1
.names n_32 [95] [224] n_436
--1 1
11- 1
.names n_434 n_433 n_n92 n_435
11- 1
1-1 1
-11 1
.names [71] [261] [262] n_437
1-- 1
-1- 1
--1 1
.names n_436 n_435 n_437 n_438
11- 1
1-1 1
-11 1
.names [71] [246] [247] n_446
1-- 1
-1- 1
--1 1
.names n_443 n_442 n_441 n_444
11- 1
1-1 1
-11 1
.names n_35 [95] [250] n_445
--1 1
11- 1
.names n_446 n_444 n_445 n_447
11- 1
1-1 1
-11 1
.names p_3 p_2 p_1 [93]
110 1
.names n_776 n_444 n_445 [108]
111 1
100 1
.names n_776 n_447 n_449 [110]
101 1
110 1
.names n_34 [95] [265] n_442
--1 1
11- 1
.names p_12 n_419 [70] [111]
10- 1
1-1 1
001 1
.names n_31 [63] [113]
0- 1
-1 1
.names n_776 [115] [114]
0- 1
-0 1
.names n_35 [63] [116]
0- 1
-1 1
.names [71] [234] [235] n_449
1-- 1
-1- 1
--1 1
.names [355] [1160] [1161] [117]
1-- 1
-11 1
.names n_33 [95] [260] n_439
--1 1
11- 1
.names n_440 n_438 n_439 n_441
11- 1
1-1 1
-11 1
.names n_454 n_455 n_453 [120]
111 1
001 1
010 1
100 1
.names n_776 [123] [122]
0- 1
-0 1
.names n_776 [125] [124]
0- 1
-0 1
.names p_4 [148] [219] n_n92
--1 1
11- 1
.names n_776 n_438 n_439 [127]
111 1
100 1
.names n_776 [129] [128]
0- 1
-0 1
.names n_776 n_442 n_441 [130]
111 1
100 1
.names n_776 n_433 n_n92 [132]
111 1
100 1
.names n_776 [134] [133]
0- 1
-0 1
.names n_33 [63] [136]
0- 1
-1 1
.names n_776 n_435 n_437 [137]
101 1
110 1
.names n_34 [63] [139]
0- 1
-1 1
.names n_776 [141] [140]
0- 1
-0 1
.names p_12 [93] [241] [74]
--1 1
11- 1
.names n_32 [63] [142]
0- 1
-1 1
.names n_451 n_450 n_776 [143]
111 1
001 1
.names [1156] [1157] [1161] n_83
111 1
.names n_21 n_38 [63] [145]
--1 1
00- 1
.names n_36 [63] [146]
0- 1
-1 1
.names n_37 [63] [147]
0- 1
-1 1
.names n_30 [63] [80]
0- 1
-1 1
.names [92] [149] [222] [148]
--1 1
11- 1
.names n_454 n_455 n_453 [150]
11- 1
1-1 1
-11 1
.names n_776 [153] [152]
0- 1
-0 1
.names n_776 [1160] [1161] [63]
0-- 1
-11 1
.names p_10 [128] [155] [154]
11- 1
011 1
101 1
.names p_11 [152] [154] [70]
11- 1
011 1
101 1
.names p_11 [147] [99] [98]
11- 1
011 1
101 1
.names p_10 [146] [100] [99]
11- 1
011 1
101 1
.names p_9 [116] [101] [100]
11- 1
011 1
101 1
.names p_8 [139] [102] [101]
11- 1
011 1
101 1
.names p_7 [136] [103] [102]
11- 1
011 1
101 1
.names p_6 [142] [104] [103]
11- 1
011 1
101 1
.names p_5 [113] [1167] [104]
11- 1
011 1
101 1
.names n_23 [1160] [1161] [115]
1-- 1
-11 1
.names n_24 [1160] [1161] [123]
1-- 1
-11 1
.names n_27 [1160] [1161] [125]
1-- 1
-11 1
.names n_28 [1160] [1161] [129]
1-- 1
-11 1
.names n_25 [1160] [1161] [134]
1-- 1
-11 1
.names n_26 [1160] [1161] [141]
1-- 1
-11 1
.names n_776 [111] [1179] [149]
0-- 1
-0- 1
--1 1
.names n_29 [1160] [1161] [153]
1-- 1
-11 1
.names p_9 [124] [156] [155]
11- 1
011 1
101 1
.names p_8 [140] [157] [156]
11- 1
011 1
101 1
.names p_7 [133] [158] [157]
11- 1
011 1
101 1
.names p_6 [122] [159] [158]
11- 1
011 1
101 1
.names p_5 [114] [1162] [159]
11- 1
011 1
101 1
.names n_58 n_433 n_n92 [64]
001 1
010 1
.names p_2 p_1 n_13 [72]
001 1
.names n_691 n_447 n_449 [79]
111 1
100 1
.names p_2 p_1 n_18 [83]
001 1
.names n_62 n_444 n_445 [88]
001 1
010 1
.names p_2 p_1 n_17 [91]
001 1
.names p_2 p_1 n_16 [169]
001 1
.names p_2 p_1 n_15 [176]
001 1
.names p_2 p_1 n_20 [185]
001 1
.names p_2 p_1 n_19 [196]
001 1
.names n_659 n_435 n_437 [210]
111 1
100 1
.names p_2 p_1 n_14 [212]
001 1
.names n_776 [111] [1178] [219]
111 1
.names n_776 [111] [80] [222]
0-0 1
-00 1
.names p_6 n_776 [97] [224]
111 1
.names p_5 n_776 [97] [226]
111 1
.names p_4 n_776 [97] [227]
111 1
.names n_776 [97] [80] [228]
0-0 1
-00 1
.names p_11 n_776 [111] [229]
110 1
.names n_29 n_776 [111] [230]
111 1
.names p_11 n_776 [97] [233]
111 1
.names p_10 n_776 [111] [234]
110 1
.names n_28 n_776 [111] [235]
111 1
.names [242] [243] [1172] [237]
1-1 1
-11 1
.names p_2 p_1 n_21 [241]
001 1
.names p_12 n_776 [111] [242]
110 1
.names n_776 [111] [117] [243]
111 1
.names p_12 n_776 [97] [245]
111 1
.names p_9 n_776 [111] [246]
110 1
.names n_27 n_776 [111] [247]
111 1
.names p_9 n_776 [97] [250]
111 1
.names p_8 n_776 [111] [251]
110 1
.names n_26 n_776 [111] [252]
111 1
.names p_10 n_776 [97] [255]
111 1
.names p_7 n_776 [111] [256]
110 1
.names n_25 n_776 [111] [257]
111 1
.names p_7 n_776 [97] [260]
111 1
.names p_6 n_776 [111] [261]
110 1
.names n_24 n_776 [111] [262]
111 1
.names p_8 n_776 [97] [265]
111 1
.names p_5 n_776 [111] [298]
110 1
.names n_23 n_776 [111] [299]
111 1
.names p_2 p_1 n_13 [301]
001 1
.names p_4 p_2 p_1 [302]
110 1
.names p_2 p_1 n_17 [303]
001 1
.names p_8 p_2 p_1 [304]
110 1
.names p_2 p_1 n_16 [305]
001 1
.names p_7 p_2 p_1 [306]
110 1
.names p_2 p_1 n_15 [307]
001 1
.names p_6 p_2 p_1 [308]
110 1
.names p_2 p_1 n_14 [309]
001 1
.names p_5 p_2 p_1 [310]
110 1
.names p_2 p_1 n_21 [311]
001 1
.names p_12 p_2 p_1 [312]
110 1
.names p_2 p_1 n_20 [313]
001 1
.names p_11 p_2 p_1 [314]
110 1
.names p_2 p_1 n_19 [315]
001 1
.names p_10 p_2 p_1 [316]
110 1
.names p_2 p_1 n_18 [317]
001 1
.names p_9 p_2 p_1 [318]
110 1
.names p_4 n_776 [111] [319]
110 1
.names n_22 n_776 [111] [320]
111 1
.names n_22 [1160] [1161] [339]
00- 1
0-0 1
.names n_21 n_38 [355]
11 1
.names n_23 n_22 [1146]
11 1
.names n_25 n_33 [1148]
10 1
.names n_27 n_35 [1150]
10 1
.names n_30 n_29 [1152]
01 1
.names n_32 n_31 [1153]
00 1
.names n_34 n_24 [1146] [1154]
011 1
.names n_36 n_26 [1148] [1155]
011 1
.names n_28 n_37 [1150] [1156]
101 1
.names n_31 n_32 [1152] [1157]
001 1
.names n_21 n_38 n_776 [1158]
111 1
001 1
.names [1152] [1153] [1156] [1160]
111 1
.names [1154] [1155] [1158] [1161]
111 1
.names p_4 n_776 [339] [1162]
10- 1
1-1 1
.names n_776 [111] n_83 [1164]
0-- 1
111 1
.names p_4 n_30 [63] [1167]
10- 1
1-1 1
.names p_12 p_2 p_1 [1172]
110 1
.names n_776 p_12 [1173]
10 1
.names n_454 [74] [1173] [1174]
-1- 1
1-1 1
.names n_22 n_30 [63] [1177]
110 1
.names n_776 [97] [1177] [1178]
0-1 1
-01 1
.names n_22 [1160] [1161] [1179]
1-- 1
-11 1
.names p_5 [93] [212] [1181]
--1 1
11- 1
.names n_436 [137] [1181] [1182]
--1 1
01- 1
.names n_452 n_451 n_776 [1183]
001 1
.names n_452 n_451 n_776 [1184]
011 1
.names p_10 [93] [196] [1186]
--1 1
11- 1
.names n_450 [1183] [1186] [1187]
--1 1
11- 1
.names n_450 [1184] [1187] [1188]
--1 1
01- 1
.names p_11 [93] [185] [1189]
--1 1
11- 1
.names n_776 n_440 n_439 [1190]
100 1
.names n_776 n_440 n_439 [1191]
101 1
.names p_6 [93] [176] [1193]
--1 1
11- 1
.names n_438 [1190] [1193] [1194]
--1 1
11- 1
.names n_438 [1191] [1194] [1195]
--1 1
01- 1
.names n_443 n_776 n_442 [1196]
010 1
.names n_443 n_776 n_442 [1197]
011 1
.names p_7 [93] [169] [1199]
--1 1
11- 1
.names n_441 [1196] [1199] [1200]
--1 1
11- 1
.names n_441 [1197] [1200] [1201]
--1 1
01- 1
.names p_8 [93] [91] [1203]
--1 1
11- 1
.names [88] [1203] [1204]
1- 1
-1 1
.names p_9 [93] [83] [1206]
--1 1
11- 1
.names [79] [1206] [1207]
1- 1
-1 1
.names p_4 [93] [72] [1209]
--1 1
11- 1
.names [64] [1209] [1210]
1- 1
-1 1
.end