.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 [195] [932] p_40
1- 1
-1 1
.names n_343 n_344 n_342 n_646 [936] p_45
----1 1
1111- 1
0011- 1
0101- 1
1001- 1
.names [122] [168] [214] [215] [940] p_46
-1--- 1
----1 1
1-1-- 1
1--1- 1
.names n_646 n_349 n_348 n_350 [943] p_47
----1 1
1111- 1
1001- 1
1010- 1
1100- 1
.names n_646 n_349 n_348 n_350 [946] p_48
----1 1
111-- 1
11-1- 1
1-11- 1
.names [145] [146] [949] p_41
1-- 1
-1- 1
--1 1
.names [138] [953] p_42
1- 1
-1 1
.names n_337 n_646 n_338 n_336 [955] p_43
----1 1
1111- 1
0101- 1
0110- 1
1100- 1
.names [132] [66] [228] [229] [961] p_44
-1--- 1
----1 1
1-00- 1
.names [275] [925] n_58
1- 1
-1 1
.names p_9 p_2 p_1 n_18 n_451
110- 1
-001 1
.names p_10 p_2 p_1 n_19 n_456
110- 1
-001 1
.names p_11 p_2 p_1 n_20 n_461
110- 1
-001 1
.names p_12 p_2 p_1 n_21 n_466
110- 1
-001 1
.names p_5 p_2 p_1 n_14 n_431
110- 1
-001 1
.names p_6 p_2 p_1 n_15 n_436
110- 1
-001 1
.names p_7 p_2 p_1 n_16 n_441
110- 1
-001 1
.names p_8 p_2 p_1 n_17 n_446
110- 1
-001 1
.names p_4 p_2 p_1 n_13 n_426
110- 1
-001 1
.names p_3 p_2 p_1 [254] [255] n_59
1---- 1
-0--- 1
--1-- 1
---1- 1
----1 1
.names p_3 p_2 p_1 [236] [237] n_570
0101- 1
010-1 1
.names p_3 p_2 p_1 [234] [235] n_60
1---- 1
-0--- 1
--1-- 1
---1- 1
----1 1
.names p_3 p_2 p_1 [232] [233] n_562
0101- 1
010-1 1
.names p_3 p_2 p_1 [230] [231] n_61
1---- 1
-0--- 1
--1-- 1
---1- 1
----1 1
.names p_3 p_2 p_1 [228] [229] n_586
0101- 1
010-1 1
.names p_3 p_2 p_1 [226] [227] n_62
1---- 1
-0--- 1
--1-- 1
---1- 1
----1 1
.names p_3 p_2 p_1 [224] [225] n_578
0101- 1
010-1 1
.names p_3 p_2 p_1 [222] [223] n_63
1---- 1
-0--- 1
--1-- 1
---1- 1
----1 1
.names p_3 p_2 p_1 [220] [221] n_602
0101- 1
010-1 1
.names p_3 p_2 p_1 [218] [219] n_64
1---- 1
-0--- 1
--1-- 1
---1- 1
----1 1
.names p_3 p_2 p_1 [216] [217] n_594
0101- 1
010-1 1
.names p_3 p_2 p_1 [214] [215] n_65
1---- 1
-0--- 1
--1-- 1
---1- 1
----1 1
.names p_12 n_30 n_646 [95] n_66
--0- 1
1111 1
1110 1
.names p_12 n_39 n_646 [88] n_610
011- 1
101- 1
1-11 1
-110 1
.names [208] [209] n_546
1- 1
-1 1
.names p_3 p_2 p_1 [206] [207] n_554
0101- 1
010-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 [222] [223] n_341
1- 1
-1 1
.names n_337 n_340 n_341 n_338 n_336 n_342
-11-- 1
11-1- 1
1-11- 1
11--1 1
1-1-1 1
-1-11 1
--111 1
.names p_3 p_2 p_1 n_646
010 1
.names p_12 n_39 n_646 [88] n_322
101- 1
1-11 1
-011 1
.names [254] [255] n_329
1- 1
-1 1
.names [206] [207] n_328
1- 1
-1 1
.names [230] [231] n_335
1- 1
-1 1
.names p_12 n_39 n_646 [88] n_349
011- 1
101- 1
1-11 1
-110 1
.names [236] [237] n_334
1- 1
-1 1
.names [220] [221] n_346
1- 1
-1 1
.names [214] [215] n_347
1- 1
-1 1
.names n_343 n_344 n_342 n_346 n_347 n_348
---11 1
11-1- 1
1-11- 1
-111- 1
11--1 1
1-1-1 1
-11-1 1
.names [226] [227] n_338
1- 1
-1 1
.names n_334 [190] [191] [230] [231] n_336
11--- 1
1-1-- 1
1--1- 1
-1-1- 1
--11- 1
1---1 1
-1--1 1
--1-1 1
.names n_646 [232] [233] [234] [235] [98]
11-1- 1
1-11- 1
11--1 1
1-1-1 1
10000 1
.names n_646 [232] [233] [234] [235] [97]
1001- 1
100-1 1
11-00 1
1-100 1
.names p_12 n_30 n_646 [95] n_350
1111 1
1110 1
.names p_9 p_8 n_26 n_27 [119] [103]
1--0- 1
110-- 1
-100- 1
11--1 1
1-0-1 1
-1-01 1
--001 1
.names p_9 p_8 n_36 n_35 [116] [106]
1-0-- 1
11-0- 1
-100- 1
11--1 1
-10-1 1
1--01 1
--001 1
.names [232] [233] [234] [235] [110]
1--- 1
-1-- 1
--1- 1
---1 1
.names p_7 p_6 n_34 n_33 [127] [116]
1-0-- 1
11-0- 1
-100- 1
11--1 1
-10-1 1
1--01 1
--001 1
.names p_7 p_6 n_24 n_25 [130] [119]
1--0- 1
110-- 1
-100- 1
11--1 1
1-0-1 1
-1-01 1
--001 1
.names n_343 n_344 n_342 n_646 n_346 [122]
11-11 1
1-111 1
-1111 1
00-10 1
0-010 1
-0010 1
.names p_5 p_4 n_31 n_32 [127]
1--0 1
110- 1
-100 1
.names p_5 p_4 n_22 n_23 [130]
1--0 1
110- 1
-100 1
.names n_337 n_341 n_646 n_338 n_336 [132]
1011- 1
0110- 1
101-1 1
-0111 1
011-0 1
-1100 1
.names p_10 p_11 n_38 n_37 [106] [88]
-10-- 1
11-0- 1
1-00- 1
11--1 1
1-0-1 1
-1-01 1
--001 1
.names p_10 p_11 n_28 n_29 [103] [95]
-1-0- 1
110-- 1
1-00- 1
11--1 1
-10-1 1
1--01 1
--001 1
.names p_12 n_22 n_30 n_646 [95] [112]
-1--- 1
---0- 1
0-1-- 1
0---0 1
--1-0 1
.names n_338 n_336 [224] [225] [958] [66]
00--1 1
0-001 1
-0001 1
.names n_646 n_335 n_334 [190] [191] [138]
1111- 1
111-1 1
11000 1
.names n_329 n_328 [97] [202] [203] [145]
001-- 1
0-100 1
-0100 1
.names n_329 n_328 [98] [202] [203] [146]
111-- 1
1-11- 1
-111- 1
1-1-1 1
-11-1 1
.names n_65 n_343 n_344 n_342 n_346 [168]
000-1 1
00-01 1
0-001 1
011-0 1
01-10 1
0-110 1
.names n_329 n_328 [110] [202] [203] [190]
111-- 1
1-11- 1
-111- 1
1-1-1 1
-11-1 1
.names [232] [233] [234] [235] [191]
1-1- 1
-11- 1
1--1 1
-1-1 1
.names n_646 n_329 n_328 [202] [203] [195]
1111- 1
111-1 1
11000 1
.names p_12 n_39 n_646 [88] [928] [202]
011-1 1
0-101 1
-1101 1
.names n_322 [112] [205] [929] [203]
--11 1
11-1 1
.names p_12 n_30 n_31 n_646 [95] [205]
--10- 1
011-- 1
0-1-0 1
-11-0 1
.names p_12 p_5 n_39 n_646 [88] [206]
1101- 1
11-11 1
-1011 1
.names p_12 n_39 n_32 n_646 [88] [207]
0111- 1
0-110 1
-1110 1
.names p_12 p_4 n_39 n_646 [88] [208]
1101- 1
11-11 1
-1011 1
.names p_12 n_39 n_31 n_646 [88] [209]
0111- 1
0-110 1
-1110 1
.names p_12 p_11 n_30 n_646 [95] [214]
0111- 1
01-10 1
-1110 1
.names p_12 n_29 n_30 n_646 [95] [215]
1101- 1
11-11 1
-1011 1
.names p_10 p_12 n_39 n_646 [88] [216]
1101- 1
11-11 1
1-011 1
.names p_12 n_37 n_39 n_646 [88] [217]
0111- 1
01-10 1
-1110 1
.names p_10 p_12 n_30 n_646 [95] [218]
1011- 1
10-10 1
1-110 1
.names p_12 n_28 n_30 n_646 [95] [219]
1101- 1
11-11 1
-1011 1
.names p_12 p_11 n_39 n_646 [88] [220]
1101- 1
11-11 1
-1011 1
.names p_12 n_38 n_39 n_646 [88] [221]
0111- 1
01-10 1
-1110 1
.names p_12 p_9 n_30 n_646 [95] [222]
0111- 1
01-10 1
-1110 1
.names p_12 n_27 n_30 n_646 [95] [223]
1101- 1
11-11 1
-1011 1
.names p_12 p_8 n_39 n_646 [88] [224]
1101- 1
11-11 1
-1011 1
.names p_12 n_35 n_39 n_646 [88] [225]
0111- 1
01-10 1
-1110 1
.names p_12 p_8 n_30 n_646 [95] [226]
0111- 1
01-10 1
-1110 1
.names p_12 n_26 n_30 n_646 [95] [227]
1101- 1
11-11 1
-1011 1
.names p_12 p_9 n_39 n_646 [88] [228]
1101- 1
11-11 1
-1011 1
.names p_12 n_36 n_39 n_646 [88] [229]
0111- 1
01-10 1
-1110 1
.names p_12 p_7 n_30 n_646 [95] [230]
0111- 1
01-10 1
-1110 1
.names p_12 n_25 n_30 n_646 [95] [231]
1101- 1
11-11 1
-1011 1
.names p_12 p_6 n_39 n_646 [88] [232]
1101- 1
11-11 1
-1011 1
.names p_12 n_33 n_39 n_646 [88] [233]
0111- 1
01-10 1
-1110 1
.names p_12 p_6 n_30 n_646 [95] [234]
0111- 1
01-10 1
-1110 1
.names p_12 n_24 n_30 n_646 [95] [235]
1101- 1
11-11 1
-1011 1
.names p_12 p_7 n_39 n_646 [88] [236]
1101- 1
11-11 1
-1011 1
.names p_12 n_34 n_39 n_646 [88] [237]
0111- 1
01-10 1
-1110 1
.names p_12 p_5 n_30 n_646 [95] [254]
0111- 1
01-10 1
-1110 1
.names p_12 n_23 n_30 n_646 [95] [255]
1101- 1
11-11 1
-1011 1
.names p_12 n_22 n_30 n_646 [95] [275]
1101- 1
11-11 1
-1011 1
.names p_12 p_4 n_30 n_646 [95] [925]
---0- 1
0111- 1
01-10 1
-1110 1
.names n_31 n_22 [927]
11 1
.names p_12 n_30 n_646 [95] [927] [928]
101-1 1
1-111 1
-0111 1
.names p_4 p_3 p_2 p_1 [929]
1010 1
.names p_4 p_3 p_2 p_1 n_13 [931]
--001 1
1110- 1
.names n_59 n_328 [202] [203] [931] [932]
----1 1
001-- 1
00-1- 1
0100- 1
.names p_9 p_3 p_2 p_1 n_18 [936]
--001 1
1110- 1
.names p_10 p_3 p_2 p_1 n_19 [940]
--001 1
1110- 1
.names p_11 p_3 p_2 p_1 n_20 [943]
--001 1
1110- 1
.names p_12 p_3 p_2 p_1 n_21 [946]
--001 1
1110- 1
.names p_5 p_3 p_2 p_1 n_14 [949]
--001 1
1110- 1
.names p_6 p_3 p_2 p_1 n_15 [952]
--001 1
1110- 1
.names n_61 n_334 [190] [191] [952] [953]
----1 1
001-- 1
00-1- 1
0100- 1
.names p_7 p_3 p_2 p_1 n_16 [955]
--001 1
1110- 1
.names n_646 [222] [223] [228] [229] [957]
11-1- 1
1-11- 1
11--1 1
1-1-1 1
.names n_646 [222] [223] [228] [229] [958]
1001- 1
100-1 1
.names p_8 p_3 p_2 p_1 n_17 [960]
--001 1
1110- 1
.names n_337 n_338 n_336 [957] [960] [961]
----1 1
11-1- 1
1-11- 1
-111- 1
.end