.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_48 p_41 p_42 p_43 p_44
.latch    n_58 n_22 re pclk 2
.latch    n_451 n_18 re pclk 2
.latch    n_456 n_19 re pclk 2
.latch    n_461 n_20 re pclk 2
.latch    n_466 n_21 re pclk 2
.latch    n_431 n_14 re pclk 2
.latch    n_436 n_15 re pclk 2
.latch    n_441 n_16 re pclk 2
.latch    n_446 n_17 re pclk 2
.latch    n_426 n_13 re pclk 2
.latch    n_59 n_23 re pclk 2
.latch    n_570 n_34 re pclk 2
.latch    n_60 n_24 re pclk 2
.latch    n_562 n_33 re pclk 2
.latch    n_61 n_25 re pclk 2
.latch    n_586 n_36 re pclk 2
.latch    n_62 n_26 re pclk 2
.latch    n_578 n_35 re pclk 2
.latch    n_63 n_27 re pclk 2
.latch    n_602 n_38 re pclk 2
.latch    n_64 n_28 re pclk 2
.latch    n_594 n_37 re pclk 2
.latch    n_65 n_29 re pclk 2
.latch    n_66 n_30 re pclk 2
.latch    n_610 n_39 re pclk 2
.latch    n_546 n_31 re pclk 2
.latch    n_554 n_32 re pclk 2
.names n_329 [101] [932] p_40
--1 1
11- 1
.names n_343 [121] [938] p_45
--1 1
01- 1
.names [168] [941] p_46
1- 1
-1 1
.names [158] [944] p_47
1- 1
-1 1
.names [154] [947] p_48
1- 1
-1 1
.names n_330 [98] [950] p_41
--1 1
11- 1
.names n_335 [114] [953] p_42
--1 1
11- 1
.names n_337 [134] [956] p_43
--1 1
01- 1
.names n_340 [132] [962] p_44
--1 1
01- 1
.names [275] [925] n_58
1- 1
-1 1
.names [272] [273] n_451
1- 1
-1 1
.names [270] [271] n_456
1- 1
-1 1
.names [268] [269] n_461
1- 1
-1 1
.names [266] [267] n_466
1- 1
-1 1
.names [264] [265] n_431
1- 1
-1 1
.names [262] [263] n_436
1- 1
-1 1
.names [260] [261] n_441
1- 1
-1 1
.names [258] [259] n_446
1- 1
-1 1
.names [256] [257] n_426
1- 1
-1 1
.names n_646 [254] [255] n_59
0-- 1
-1- 1
--1 1
.names n_646 [236] [237] n_570
11- 1
1-1 1
.names n_646 [234] [235] n_60
0-- 1
-1- 1
--1 1
.names n_646 [232] [233] n_562
11- 1
1-1 1
.names n_646 [230] [231] n_61
0-- 1
-1- 1
--1 1
.names n_646 [228] [229] n_586
11- 1
1-1 1
.names n_646 [226] [227] n_62
0-- 1
-1- 1
--1 1
.names n_646 [224] [225] n_578
11- 1
1-1 1
.names n_646 [222] [223] n_63
0-- 1
-1- 1
--1 1
.names n_646 [220] [221] n_602
11- 1
1-1 1
.names n_646 [218] [219] n_64
0-- 1
-1- 1
--1 1
.names n_646 [216] [217] n_594
11- 1
1-1 1
.names n_646 [214] [215] n_65
0-- 1
-1- 1
--1 1
.names n_646 [212] [213] n_66
0-- 1
-1- 1
--1 1
.names n_646 [210] [211] n_610
11- 1
1-1 1
.names [208] [209] n_546
1- 1
-1 1
.names n_646 [206] [207] n_554
11- 1
1-1 1
.names [224] [225] n_337
1- 1
-1 1
.names [216] [217] n_343
1- 1
-1 1
.names [218] [219] n_344
1- 1
-1 1
.names [228] [229] n_340
1- 1
-1 1
.names n_337 n_338 n_336 n_339
11- 1
1-1 1
-11 1
.names [222] [223] n_341
1- 1
-1 1
.names n_340 n_339 n_341 n_342
11- 1
1-1 1
-11 1
.names p_3 p_2 p_1 n_646
010 1
.names p_12 n_39 [88] [86]
10- 1
1-1 1
-01 1
.names n_646 [86] n_322
11 1
.names [254] [255] n_329
1- 1
-1 1
.names [206] [207] n_328
1- 1
-1 1
.names [111] [202] [929] n_n73
-1- 1
1-1 1
.names n_329 n_328 n_n73 n_330
11- 1
1-1 1
-11 1
.names [230] [231] n_335
1- 1
-1 1
.names [210] [211] n_349
1- 1
-1 1
.names [236] [237] n_334
1- 1
-1 1
.names n_343 n_344 n_342 n_345
11- 1
1-1 1
-11 1
.names [220] [221] n_346
1- 1
-1 1
.names [214] [215] n_347
1- 1
-1 1
.names n_345 n_346 n_347 n_348
11- 1
1-1 1
-11 1
.names [226] [227] n_338
1- 1
-1 1
.names n_330 n_332 n_331 n_333
11- 1
1-1 1
-11 1
.names n_335 n_334 n_333 n_336
11- 1
1-1 1
-11 1
.names p_12 n_30 [95] [93]
10- 1
1-1 1
-01 1
.names p_3 p_2 p_1 [81]
110 1
.names n_646 n_332 n_331 [98]
111 1
100 1
.names n_646 n_332 n_331 [97]
101 1
110 1
.names n_646 n_328 n_n73 [101]
111 1
100 1
.names [212] [213] n_350
1- 1
-1 1
.names [234] [235] n_332
1- 1
-1 1
.names p_9 n_27 n_716 [103]
10- 1
1-1 1
-01 1
.names p_10 n_28 [103] n_722
10- 1
1-1 1
-01 1
.names p_9 n_36 n_745 [106]
10- 1
1-1 1
-01 1
.names p_10 n_37 [106] n_751
10- 1
1-1 1
-01 1
.names [232] [233] n_331
1- 1
-1 1
.names n_322 [112] [205] [111]
--1 1
11- 1
.names n_646 n_334 n_333 [114]
111 1
100 1
.names p_7 n_34 n_739 [116]
10- 1
1-1 1
-01 1
.names p_8 n_35 [116] n_745
10- 1
1-1 1
-01 1
.names p_7 n_25 n_710 [119]
10- 1
1-1 1
-01 1
.names p_8 n_26 [119] n_716
10- 1
1-1 1
-01 1
.names n_344 n_342 n_646 [121]
011 1
101 1
.names n_646 n_345 n_346 [122]
111 1
100 1
.names n_646 n_348 n_350 [124]
101 1
110 1
.names p_5 n_32 [926] [127]
10- 1
1-1 1
-01 1
.names p_6 n_33 [127] n_739
10- 1
1-1 1
-01 1
.names p_5 n_23 [924] [130]
10- 1
1-1 1
-01 1
.names p_6 n_24 [130] n_710
10- 1
1-1 1
-01 1
.names n_339 n_341 n_646 [132]
011 1
101 1
.names n_646 n_338 n_336 [134]
101 1
110 1
.names p_11 n_38 n_751 [88]
10- 1
1-1 1
-01 1
.names p_11 n_29 n_722 [95]
10- 1
1-1 1
-01 1
.names n_22 n_646 [93] [112]
1-- 1
-0- 1
--0 1
.names p_2 p_1 n_17 [71]
001 1
.names n_578 n_338 n_336 [74]
111 1
100 1
.names p_2 p_1 n_16 [77]
001 1
.names n_61 n_334 n_333 [137]
001 1
010 1
.names p_2 p_1 n_15 [140]
001 1
.names p_2 p_1 n_14 [148]
001 1
.names n_610 n_348 n_350 [154]
11- 1
1-1 1
.names p_2 p_1 n_21 [156]
001 1
.names n_610 n_348 n_350 [158]
111 1
100 1
.names p_2 p_1 n_20 [160]
001 1
.names n_65 n_345 n_346 [168]
001 1
010 1
.names p_2 p_1 n_19 [170]
001 1
.names p_2 p_1 n_18 [181]
001 1
.names n_59 n_328 n_n73 [194]
001 1
010 1
.names p_2 p_1 n_13 [197]
001 1
.names n_646 [86] [928] [202]
101 1
.names n_31 n_646 [93] [205]
10- 1
1-0 1
.names p_5 n_646 [86] [206]
111 1
.names n_32 n_646 [86] [207]
110 1
.names p_4 n_646 [86] [208]
111 1
.names n_31 n_646 [86] [209]
110 1
.names p_12 n_646 [86] [210]
111 1
.names n_39 n_646 [86] [211]
110 1
.names p_12 n_646 [93] [212]
110 1
.names n_30 n_646 [93] [213]
111 1
.names p_11 n_646 [93] [214]
110 1
.names n_29 n_646 [93] [215]
111 1
.names p_10 n_646 [86] [216]
111 1
.names n_37 n_646 [86] [217]
110 1
.names p_10 n_646 [93] [218]
110 1
.names n_28 n_646 [93] [219]
111 1
.names p_11 n_646 [86] [220]
111 1
.names n_38 n_646 [86] [221]
110 1
.names p_9 n_646 [93] [222]
110 1
.names n_27 n_646 [93] [223]
111 1
.names p_8 n_646 [86] [224]
111 1
.names n_35 n_646 [86] [225]
110 1
.names p_8 n_646 [93] [226]
110 1
.names n_26 n_646 [93] [227]
111 1
.names p_9 n_646 [86] [228]
111 1
.names n_36 n_646 [86] [229]
110 1
.names p_7 n_646 [93] [230]
110 1
.names n_25 n_646 [93] [231]
111 1
.names p_6 n_646 [86] [232]
111 1
.names n_33 n_646 [86] [233]
110 1
.names p_6 n_646 [93] [234]
110 1
.names n_24 n_646 [93] [235]
111 1
.names p_7 n_646 [86] [236]
111 1
.names n_34 n_646 [86] [237]
110 1
.names p_5 n_646 [93] [254]
110 1
.names n_23 n_646 [93] [255]
111 1
.names p_2 p_1 n_13 [256]
001 1
.names p_4 p_2 p_1 [257]
110 1
.names p_2 p_1 n_17 [258]
001 1
.names p_8 p_2 p_1 [259]
110 1
.names p_2 p_1 n_16 [260]
001 1
.names p_7 p_2 p_1 [261]
110 1
.names p_2 p_1 n_15 [262]
001 1
.names p_6 p_2 p_1 [263]
110 1
.names p_2 p_1 n_14 [264]
001 1
.names p_5 p_2 p_1 [265]
110 1
.names p_2 p_1 n_21 [266]
001 1
.names p_12 p_2 p_1 [267]
110 1
.names p_2 p_1 n_20 [268]
001 1
.names p_11 p_2 p_1 [269]
110 1
.names p_2 p_1 n_19 [270]
001 1
.names p_10 p_2 p_1 [271]
110 1
.names p_2 p_1 n_18 [272]
001 1
.names p_9 p_2 p_1 [273]
110 1
.names n_22 n_646 [93] [275]
111 1
.names n_22 p_4 [924]
01 1
.names p_4 n_646 [93] [925]
-0- 1
110 1
.names n_31 p_4 [926]
01 1
.names n_31 n_22 [927]
11 1
.names n_646 [93] [927] [928]
111 1
.names n_646 p_4 [929]
11 1
.names p_4 [81] [197] [931]
--1 1
11- 1
.names [194] [931] [932]
1- 1
-1 1
.names n_594 [218] [219] [933]
11- 1
1-1 1
.names n_64 [216] [217] [934]
01- 1
0-1 1
.names p_9 [81] [181] [936]
--1 1
11- 1
.names n_342 [933] [936] [937]
--1 1
11- 1
.names n_342 [934] [937] [938]
--1 1
01- 1
.names p_10 [81] [170] [940]
--1 1
11- 1
.names n_347 [122] [940] [941]
--1 1
11- 1
.names p_11 [81] [160] [943]
--1 1
11- 1
.names n_349 [124] [943] [944]
--1 1
01- 1
.names n_646 [212] [213] [945]
11- 1
1-1 1
.names p_12 [81] [156] [946]
--1 1
11- 1
.names n_348 [945] [946] [947]
--1 1
11- 1
.names p_5 [81] [148] [949]
--1 1
11- 1
.names n_330 [97] [949] [950]
--1 1
01- 1
.names p_6 [81] [140] [952]
--1 1
11- 1
.names [137] [952] [953]
1- 1
-1 1
.names p_7 [81] [77] [955]
--1 1
11- 1
.names [74] [955] [956]
1- 1
-1 1
.names n_586 [222] [223] [957]
11- 1
1-1 1
.names n_63 [228] [229] [958]
01- 1
0-1 1
.names p_8 [81] [71] [960]
--1 1
11- 1
.names n_339 [957] [960] [961]
--1 1
11- 1
.names n_339 [958] [961] [962]
--1 1
01- 1
.end