.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 [179] [938] p_45
1- 1
-1 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 [146] [950] p_41
1- 1
-1 1
.names [138] [953] p_42
1- 1
-1 1
.names [75] [956] p_43
1- 1
-1 1
.names [69] [962] p_44
1- 1
-1 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 n_329 n_59
0- 1
-1 1
.names n_646 n_334 n_570
11 1
.names n_646 n_332 n_60
0- 1
-1 1
.names n_646 n_331 n_562
11 1
.names n_646 n_335 n_61
0- 1
-1 1
.names n_340 n_646 n_586
11 1
.names n_646 n_338 n_62
0- 1
-1 1
.names n_337 n_646 n_578
11 1
.names n_341 n_646 n_63
1- 1
-0 1
.names n_646 n_346 n_602
11 1
.names n_344 n_646 n_64
1- 1
-0 1
.names n_343 n_646 n_594
11 1
.names n_646 n_347 n_65
0- 1
-1 1
.names n_646 n_350 n_66
0- 1
-1 1
.names n_646 n_349 n_610
11 1
.names [208] [209] n_546
1- 1
-1 1
.names n_646 n_328 n_554
11 1
.names n_646 [86] [80]
10 1
.names n_646 [86] [82]
11 1
.names [224] [225] n_337
1- 1
-1 1
.names [216] [217] n_343
1- 1
-1 1
.names n_646 [93] [83]
11 1
.names n_646 [93] [84]
10 1
.names [218] [219] n_344
1- 1
-1 1
.names [228] [229] n_340
1- 1
-1 1
.names [186] [187] n_339
1- 1
-1 1
.names [222] [223] n_341
1- 1
-1 1
.names n_339 n_341 [85]
1- 1
-1 1
.names [184] [185] n_342
1- 1
-1 1
.names p_2 p_1 [67]
10 1
.names p_3 [67] n_646
01 1
.names [238] [239] [86]
1- 1
-1 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 [202] [203] n_n73
1- 1
-1 1
.names n_328 n_n73 [90]
1- 1
-1 1
.names [192] [193] n_330
1- 1
-1 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 [175] [176] n_345
1- 1
-1 1
.names [220] [221] n_346
1- 1
-1 1
.names [214] [215] n_347
1- 1
-1 1
.names n_346 n_347 [91]
1- 1
-1 1
.names [165] [166] n_348
1- 1
-1 1
.names [226] [227] n_338
1- 1
-1 1
.names [190] [191] n_333
1- 1
-1 1
.names n_334 n_333 [92]
1- 1
-1 1
.names [188] [189] n_336
1- 1
-1 1
.names [277] [278] [93]
1- 1
-1 1
.names n_646 [93] n_323
11 1
.names p_2 p_1 [68]
00 1
.names p_3 [67] [81]
11 1
.names [151] [152] [98]
1- 1
-1 1
.names [149] [150] [97]
1- 1
-1 1
.names n_344 n_342 [99]
1- 1
-1 1
.names [200] [201] [101]
1- 1
-1 1
.names n_328 n_n73 [100]
01 1
10 1
.names [212] [213] n_350
1- 1
-1 1
.names [234] [235] n_332
1- 1
-1 1
.names [283] [284] [103]
1- 1
-1 1
.names n_28 [103] [102]
0- 1
-1 1
.names [281] [282] n_722
1- 1
-1 1
.names [244] [245] [106]
1- 1
-1 1
.names n_37 [106] [105]
0- 1
-1 1
.names [242] [243] n_751
1- 1
-1 1
.names n_338 n_336 [108]
1- 1
-1 1
.names [232] [233] n_331
1- 1
-1 1
.names n_348 n_350 [109]
1- 1
-1 1
.names n_332 n_331 [110]
1- 1
-1 1
.names [204] [205] [111]
1- 1
-1 1
.names [143] [144] [114]
1- 1
-1 1
.names n_334 n_333 [113]
01 1
10 1
.names [248] [249] [116]
1- 1
-1 1
.names n_35 [116] [115]
0- 1
-1 1
.names [246] [247] n_745
1- 1
-1 1
.names [287] [288] [119]
1- 1
-1 1
.names n_26 [119] [118]
0- 1
-1 1
.names [285] [286] n_716
1- 1
-1 1
.names [182] [183] [121]
1- 1
-1 1
.names n_345 n_346 [123]
01 1
10 1
.names [171] [172] [122]
1- 1
-1 1
.names n_348 n_350 [125]
11 1
00 1
.names [161] [162] [124]
1- 1
-1 1
.names [252] [253] [127]
1- 1
-1 1
.names n_33 [127] [126]
0- 1
-1 1
.names [250] [251] n_739
1- 1
-1 1
.names [291] [292] [130]
1- 1
-1 1
.names n_24 [130] [129]
0- 1
-1 1
.names [289] [290] n_710
1- 1
-1 1
.names [72] [73] [132]
1- 1
-1 1
.names [135] [136] [134]
1- 1
-1 1
.names n_338 n_336 [133]
11 1
00 1
.names [240] [241] [88]
1- 1
-1 1
.names n_39 [88] [87]
0- 1
-1 1
.names n_38 n_751 [89]
0- 1
-1 1
.names [279] [280] [95]
1- 1
-1 1
.names n_30 [95] [94]
0- 1
-1 1
.names n_29 n_722 [96]
0- 1
-1 1
.names n_27 n_716 [104]
0- 1
-1 1
.names n_36 n_745 [107]
0- 1
-1 1
.names n_22 n_323 [112]
1- 1
-0 1
.names n_34 n_739 [117]
0- 1
-1 1
.names n_25 n_710 [120]
0- 1
-1 1
.names p_5 n_32 [128]
1- 1
-0 1
.names p_5 n_23 [131]
1- 1
-0 1
.names n_339 [957] [65]
11 1
.names n_339 [958] [66]
01 1
.names n_340 [132] [69]
01 1
.names p_8 [81] [70]
11 1
.names n_17 [68] [71]
11 1
.names n_339 [959] [72]
01 1
.names n_63 n_339 [73]
01 1
.names n_578 [133] [74]
11 1
.names n_337 [134] [75]
01 1
.names p_7 [81] [76]
11 1
.names n_16 [68] [77]
11 1
.names n_336 [954] [135]
01 1
.names n_62 n_336 [136]
01 1
.names n_61 [113] [137]
01 1
.names n_335 [114] [138]
11 1
.names p_6 [81] [139]
11 1
.names n_15 [68] [140]
11 1
.names n_333 [951] [143]
01 1
.names n_570 n_333 [144]
11 1
.names n_330 [97] [145]
01 1
.names n_330 [98] [146]
11 1
.names p_5 [81] [147]
11 1
.names n_14 [68] [148]
11 1
.names n_331 [948] [149]
01 1
.names n_562 n_332 [150]
10 1
.names n_60 n_331 [151]
00 1
.names n_562 n_332 [152]
11 1
.names n_348 [945] [153]
11 1
.names n_610 [109] [154]
11 1
.names p_12 [81] [155]
11 1
.names n_21 [68] [156]
11 1
.names n_349 [124] [157]
01 1
.names n_610 [125] [158]
11 1
.names p_11 [81] [159]
11 1
.names n_20 [68] [160]
11 1
.names n_348 [942] [161]
01 1
.names n_66 n_348 [162]
01 1
.names n_345 [91] [165]
11 1
.names n_346 n_347 [166]
11 1
.names n_347 [122] [167]
11 1
.names n_65 [123] [168]
01 1
.names p_10 [81] [169]
11 1
.names n_19 [68] [170]
11 1
.names n_345 [939] [171]
01 1
.names n_602 n_345 [172]
11 1
.names n_343 [99] [175]
11 1
.names n_344 n_342 [176]
11 1
.names n_342 [933] [177]
11 1
.names n_342 [934] [178]
01 1
.names n_343 [121] [179]
01 1
.names p_9 [81] [180]
11 1
.names n_18 [68] [181]
11 1
.names n_342 [935] [182]
01 1
.names n_64 n_342 [183]
01 1
.names n_340 [85] [184]
11 1
.names n_339 n_341 [185]
11 1
.names n_337 [108] [186]
11 1
.names n_338 n_336 [187]
11 1
.names n_335 [92] [188]
11 1
.names n_334 n_333 [189]
11 1
.names n_330 [110] [190]
11 1
.names n_332 n_331 [191]
11 1
.names n_329 [90] [192]
11 1
.names n_328 n_n73 [193]
11 1
.names n_59 [100] [194]
01 1
.names n_329 [101] [195]
11 1
.names p_4 [81] [196]
11 1
.names n_13 [68] [197]
11 1
.names n_n73 [930] [200]
01 1
.names n_554 n_n73 [201]
11 1
.names [80] [928] [202]
11 1
.names [111] [929] [203]
11 1
.names n_322 [112] [204]
11 1
.names n_31 n_323 [205]
10 1
.names p_5 [82] [206]
11 1
.names n_32 [80] [207]
11 1
.names p_4 [82] [208]
11 1
.names n_31 [80] [209]
11 1
.names p_12 [82] [210]
11 1
.names n_39 [80] [211]
11 1
.names p_12 [84] [212]
11 1
.names n_30 [83] [213]
11 1
.names p_11 [84] [214]
11 1
.names n_29 [83] [215]
11 1
.names p_10 [82] [216]
11 1
.names n_37 [80] [217]
11 1
.names p_10 [84] [218]
11 1
.names n_28 [83] [219]
11 1
.names p_11 [82] [220]
11 1
.names n_38 [80] [221]
11 1
.names p_9 [84] [222]
11 1
.names n_27 [83] [223]
11 1
.names p_8 [82] [224]
11 1
.names n_35 [80] [225]
11 1
.names p_8 [84] [226]
11 1
.names n_26 [83] [227]
11 1
.names p_9 [82] [228]
11 1
.names n_36 [80] [229]
11 1
.names p_7 [84] [230]
11 1
.names n_25 [83] [231]
11 1
.names p_6 [82] [232]
11 1
.names n_33 [80] [233]
11 1
.names p_6 [84] [234]
11 1
.names n_24 [83] [235]
11 1
.names p_7 [82] [236]
11 1
.names n_34 [80] [237]
11 1
.names p_12 [87] [238]
11 1
.names n_39 [88] [239]
01 1
.names p_11 [89] [240]
11 1
.names n_38 n_751 [241]
01 1
.names p_10 [105] [242]
11 1
.names n_37 [106] [243]
01 1
.names p_9 [107] [244]
11 1
.names n_36 n_745 [245]
01 1
.names p_8 [115] [246]
11 1
.names n_35 [116] [247]
01 1
.names p_7 [117] [248]
11 1
.names n_34 n_739 [249]
01 1
.names p_6 [126] [250]
11 1
.names n_33 [127] [251]
01 1
.names [128] [926] [252]
11 1
.names p_5 n_32 [253]
10 1
.names p_5 [84] [254]
11 1
.names n_23 [83] [255]
11 1
.names n_13 [68] [256]
11 1
.names p_4 [67] [257]
11 1
.names n_17 [68] [258]
11 1
.names p_8 [67] [259]
11 1
.names n_16 [68] [260]
11 1
.names p_7 [67] [261]
11 1
.names n_15 [68] [262]
11 1
.names p_6 [67] [263]
11 1
.names n_14 [68] [264]
11 1
.names p_5 [67] [265]
11 1
.names n_21 [68] [266]
11 1
.names p_12 [67] [267]
11 1
.names n_20 [68] [268]
11 1
.names p_11 [67] [269]
11 1
.names n_19 [68] [270]
11 1
.names p_10 [67] [271]
11 1
.names n_18 [68] [272]
11 1
.names p_9 [67] [273]
11 1
.names p_4 [84] [274]
11 1
.names n_22 [83] [275]
11 1
.names p_12 [94] [277]
11 1
.names n_30 [95] [278]
01 1
.names p_11 [96] [279]
11 1
.names n_29 n_722 [280]
01 1
.names p_10 [102] [281]
11 1
.names n_28 [103] [282]
01 1
.names p_9 [104] [283]
11 1
.names n_27 n_716 [284]
01 1
.names p_8 [118] [285]
11 1
.names n_26 [119] [286]
01 1
.names p_7 [120] [287]
11 1
.names n_25 n_710 [288]
01 1
.names p_6 [129] [289]
11 1
.names n_24 [130] [290]
01 1
.names [131] [924] [291]
11 1
.names p_5 n_23 [292]
10 1
.names n_22 p_4 [924]
01 1
.names [274] n_646 [925]
1- 1
-0 1
.names n_31 p_4 [926]
01 1
.names n_31 n_22 [927]
11 1
.names n_323 [927] [928]
11 1
.names n_646 p_4 [929]
11 1
.names n_328 n_646 [930]
01 1
.names [196] [197] [931]
1- 1
-1 1
.names [194] [931] [932]
1- 1
-1 1
.names n_594 n_344 [933]
11 1
.names n_64 n_343 [934]
01 1
.names n_344 n_646 [935]
11 1
.names [180] [181] [936]
1- 1
-1 1
.names [177] [936] [937]
1- 1
-1 1
.names [937] [178] [938]
1- 1
-1 1
.names n_346 n_646 [939]
01 1
.names [169] [170] [940]
1- 1
-1 1
.names [167] [940] [941]
1- 1
-1 1
.names n_350 n_646 [942]
11 1
.names [159] [160] [943]
1- 1
-1 1
.names [157] [943] [944]
1- 1
-1 1
.names n_350 n_646 [945]
11 1
.names [155] [156] [946]
1- 1
-1 1
.names [153] [946] [947]
1- 1
-1 1
.names n_332 n_646 [948]
11 1
.names [147] [148] [949]
1- 1
-1 1
.names [145] [949] [950]
1- 1
-1 1
.names n_334 n_646 [951]
01 1
.names [139] [140] [952]
1- 1
-1 1
.names [137] [952] [953]
1- 1
-1 1
.names n_338 n_646 [954]
11 1
.names [76] [77] [955]
1- 1
-1 1
.names [74] [955] [956]
1- 1
-1 1
.names n_586 n_341 [957]
11 1
.names n_63 n_340 [958]
01 1
.names n_341 n_646 [959]
11 1
.names [70] [71] [960]
1- 1
-1 1
.names [65] [960] [961]
1- 1
-1 1
.names [961] [66] [962]
1- 1
-1 1
.end