.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 [194] [1188] p_45
1- 1
-1 1
.names [183] [1189] p_46
1- 1
-1 1
.names [74] [179] p_47
1- 1
-1 1
.names [174] [1195] p_41
1- 1
-1 1
.names [167] [1201] p_42
1- 1
-1 1
.names [89] [1204] p_43
1- 1
-1 1
.names [81] [1207] p_44
1- 1
-1 1
.names [65] [1210] p_39
1- 1
-1 1
.names [1164] [1165] n_57
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] [69]
11 1
.names [69] n_83 [71]
11 1
.names n_776 [111] [94]
10 1
.names [252] [1170] n_443
1- 1
-1 1
.names n_776 [97] [92]
11 1
.names n_418 [63] [95]
00 1
.names [254] [255] n_448
1- 1
-1 1
.names n_21 n_38 [73]
1- 1
-1 1
.names [244] [245] n_454
1- 1
-1 1
.names n_776 [117] n_419
11 1
.names [242] [243] n_455
1- 1
-1 1
.names [230] [1176] n_452
1- 1
-1 1
.names [232] [233] n_451
1- 1
-1 1
.names [199] [200] n_450
1- 1
-1 1
.names n_451 n_450 [96]
1- 1
-1 1
.names [190] [191] n_453
1- 1
-1 1
.names p_2 p_1 [67]
10 1
.names p_3 [67] n_776
01 1
.names [266] [267] [97]
1- 1
-1 1
.names n_776 [97] n_418
11 1
.names [299] [1166] n_434
1- 1
-1 1
.names [225] [226] n_433
1- 1
-1 1
.names [257] [1169] n_440
1- 1
-1 1
.names [223] [224] n_436
1- 1
-1 1
.names [217] [218] n_435
1- 1
-1 1
.names [262] [1168] n_437
1- 1
-1 1
.names n_435 n_437 [105]
1- 1
-1 1
.names [207] [208] n_438
1- 1
-1 1
.names [247] [1171] n_446
1- 1
-1 1
.names [203] [204] n_444
1- 1
-1 1
.names [249] [250] n_445
1- 1
-1 1
.names n_444 n_445 [106]
1- 1
-1 1
.names [201] [202] n_447
1- 1
-1 1
.names p_2 p_1 [68]
00 1
.names p_3 [67] [93]
11 1
.names [163] [164] [108]
1- 1
-1 1
.names n_444 n_445 [107]
01 1
10 1
.names [86] [87] [110]
1- 1
-1 1
.names n_447 n_449 [109]
11 1
00 1
.names [264] [265] n_442
1- 1
-1 1
.names [323] [324] [111]
1- 1
-1 1
.names n_776 [111] n_428
11 1
.names n_31 [63] [113]
0- 1
-1 1
.names p_5 [113] n_99
11 1
00 1
.names n_776 [115] [114]
0- 1
-0 1
.names p_5 [114] n_119
11 1
00 1
.names n_35 [63] [116]
0- 1
-1 1
.names p_9 [116] n_91
11 1
00 1
.names [235] [1175] n_449
1- 1
-1 1
.names n_83 [355] [117]
1- 1
-1 1
.names [259] [260] n_439
1- 1
-1 1
.names n_438 n_439 [118]
1- 1
-1 1
.names [205] [206] n_441
1- 1
-1 1
.names n_442 n_441 [119]
1- 1
-1 1
.names n_454 [121] [120]
11 1
00 1
.names n_776 [123] [122]
0- 1
-0 1
.names p_6 [122] n_117
11 1
00 1
.names n_776 [125] [124]
0- 1
-0 1
.names p_9 [124] n_111
11 1
00 1
.names [219] [220] n_n92
1- 1
-1 1
.names n_433 n_n92 [126]
1- 1
-1 1
.names [177] [178] [127]
1- 1
-1 1
.names n_776 [129] [128]
0- 1
-0 1
.names p_10 [128] n_109
11 1
00 1
.names [170] [171] [130]
1- 1
-1 1
.names [77] [78] [132]
1- 1
-1 1
.names n_433 n_n92 [131]
01 1
10 1
.names n_776 [134] [133]
0- 1
-0 1
.names p_7 [133] n_115
11 1
00 1
.names n_447 n_449 [135]
1- 1
-1 1
.names n_33 [63] [136]
0- 1
-1 1
.names p_7 [136] n_95
11 1
00 1
.names n_435 n_437 [138]
11 1
00 1
.names [213] [214] [137]
1- 1
-1 1
.names n_34 [63] [139]
0- 1
-1 1
.names p_8 [139] n_93
11 1
00 1
.names n_776 [141] [140]
0- 1
-0 1
.names p_8 [140] n_113
11 1
00 1
.names [240] [241] [74]
1- 1
-1 1
.names n_32 [63] [142]
0- 1
-1 1
.names p_6 [142] n_97
11 1
00 1
.names [197] [198] [143]
1- 1
-1 1
.names n_21 n_38 [144]
11 1
00 1
.names [1160] [1161] n_83
11 1
.names [73] [63] [145]
0- 1
-1 1
.names p_12 [145] n_85
11 1
00 1
.names n_36 [63] [146]
0- 1
-1 1
.names p_10 [146] n_89
11 1
00 1
.names n_37 [63] [147]
0- 1
-1 1
.names p_11 [147] n_87
11 1
00 1
.names n_30 [63] [80]
0- 1
-1 1
.names [221] [222] [148]
1- 1
-1 1
.names [181] [182] [150]
1- 1
-1 1
.names n_776 [153] [152]
0- 1
-0 1
.names p_11 [152] n_107
11 1
00 1
.names n_776 n_83 [63]
0- 1
-1 1
.names [327] [328] [154]
1- 1
-1 1
.names [325] [326] [70]
1- 1
-1 1
.names [268] [269] [98]
1- 1
-1 1
.names [270] [271] [99]
1- 1
-1 1
.names [272] [273] [100]
1- 1
-1 1
.names [274] [275] [101]
1- 1
-1 1
.names [276] [277] [102]
1- 1
-1 1
.names [278] [279] [103]
1- 1
-1 1
.names [280] [281] [104]
1- 1
-1 1
.names n_419 [70] [112]
0- 1
-1 1
.names n_23 n_83 [115]
1- 1
-1 1
.names n_455 n_453 [121]
11 1
00 1
.names n_24 n_83 [123]
1- 1
-1 1
.names n_27 n_83 [125]
1- 1
-1 1
.names n_28 n_83 [129]
1- 1
-1 1
.names n_25 n_83 [134]
1- 1
-1 1
.names n_26 n_83 [141]
1- 1
-1 1
.names n_428 [1179] [149]
0- 1
-1 1
.names n_455 n_453 [151]
1- 1
-1 1
.names n_29 n_83 [153]
1- 1
-1 1
.names [329] [330] [155]
1- 1
-1 1
.names [331] [332] [156]
1- 1
-1 1
.names [333] [334] [157]
1- 1
-1 1
.names [335] [336] [158]
1- 1
-1 1
.names [337] [338] [159]
1- 1
-1 1
.names n_776 [339] [160]
0- 1
-1 1
.names n_58 [131] [64]
01 1
.names n_434 [132] [65]
11 1
.names p_4 [93] [66]
11 1
.names n_13 [68] [72]
11 1
.names n_n92 [1208] [77]
01 1
.names n_651 n_n92 [78]
11 1
.names n_691 [109] [79]
11 1
.names n_448 [110] [81]
01 1
.names p_9 [93] [82]
11 1
.names n_18 [68] [83]
11 1
.names n_447 [1205] [86]
01 1
.names n_63 n_447 [87]
01 1
.names n_62 [107] [88]
01 1
.names n_446 [108] [89]
11 1
.names p_8 [93] [90]
11 1
.names n_17 [68] [91]
11 1
.names n_444 [1202] [163]
01 1
.names n_683 n_444 [164]
11 1
.names n_441 [1196] [165]
11 1
.names n_441 [1197] [166]
01 1
.names n_443 [130] [167]
11 1
.names p_7 [93] [168]
11 1
.names n_16 [68] [169]
11 1
.names n_441 [1198] [170]
01 1
.names n_675 n_441 [171]
11 1
.names n_438 [1190] [172]
11 1
.names n_438 [1191] [173]
01 1
.names n_440 [127] [174]
11 1
.names p_6 [93] [175]
11 1
.names n_15 [68] [176]
11 1
.names n_438 [1192] [177]
01 1
.names n_667 n_438 [178]
11 1
.names n_776 [150] [179]
11 1
.names n_454 [151] [181]
11 1
.names n_455 n_453 [182]
11 1
.names n_776 [120] [183]
11 1
.names p_11 [93] [184]
11 1
.names n_20 [68] [185]
11 1
.names n_452 [96] [190]
11 1
.names n_451 n_450 [191]
11 1
.names n_450 [1183] [192]
11 1
.names n_450 [1184] [193]
01 1
.names n_452 [143] [194]
11 1
.names p_10 [93] [195]
11 1
.names n_19 [68] [196]
11 1
.names n_450 [1185] [197]
01 1
.names n_699 n_450 [198]
11 1
.names n_448 [135] [199]
11 1
.names n_447 n_449 [200]
11 1
.names n_446 [106] [201]
11 1
.names n_444 n_445 [202]
11 1
.names n_443 [119] [203]
11 1
.names n_442 n_441 [204]
11 1
.names n_440 [118] [205]
11 1
.names n_438 n_439 [206]
11 1
.names n_436 [105] [207]
11 1
.names n_435 n_437 [208]
11 1
.names n_436 [137] [209]
01 1
.names n_659 [138] [210]
11 1
.names p_5 [93] [211]
11 1
.names n_14 [68] [212]
11 1
.names n_435 [1180] [213]
01 1
.names n_59 n_435 [214]
01 1
.names n_434 [126] [217]
11 1
.names n_433 n_n92 [218]
11 1
.names n_428 [1178] [219]
11 1
.names p_4 [148] [220]
11 1
.names [92] [149] [221]
11 1
.names n_428 [80] [222]
00 1
.names n_32 [95] [223]
11 1
.names p_6 [92] [224]
11 1
.names n_31 [95] [225]
11 1
.names p_5 [92] [226]
11 1
.names p_4 [92] [227]
11 1
.names n_418 [80] [228]
00 1
.names p_11 [94] [229]
11 1
.names n_29 [69] [230]
11 1
.names n_37 [95] [232]
11 1
.names p_11 [92] [233]
11 1
.names p_10 [94] [234]
11 1
.names n_28 [69] [235]
11 1
.names n_455 [1172] [237]
11 1
.names n_454 [1173] [238]
11 1
.names p_12 [93] [240]
11 1
.names n_21 [68] [241]
11 1
.names p_12 [94] [242]
11 1
.names [69] n_419 [243]
11 1
.names [95] [73] [244]
11 1
.names p_12 [92] [245]
11 1
.names p_9 [94] [246]
11 1
.names n_27 [69] [247]
11 1
.names n_35 [95] [249]
11 1
.names p_9 [92] [250]
11 1
.names p_8 [94] [251]
11 1
.names n_26 [69] [252]
11 1
.names n_36 [95] [254]
11 1
.names p_10 [92] [255]
11 1
.names p_7 [94] [256]
11 1
.names n_25 [69] [257]
11 1
.names n_33 [95] [259]
11 1
.names p_7 [92] [260]
11 1
.names p_6 [94] [261]
11 1
.names n_24 [69] [262]
11 1
.names n_34 [95] [264]
11 1
.names p_8 [92] [265]
11 1
.names n_85 [98] [266]
01 1
.names p_12 [145] [267]
11 1
.names n_87 [99] [268]
01 1
.names p_11 [147] [269]
11 1
.names n_89 [100] [270]
01 1
.names p_10 [146] [271]
11 1
.names n_91 [101] [272]
01 1
.names p_9 [116] [273]
11 1
.names n_93 [102] [274]
01 1
.names p_8 [139] [275]
11 1
.names n_95 [103] [276]
01 1
.names p_7 [136] [277]
11 1
.names n_97 [104] [278]
01 1
.names p_6 [142] [279]
11 1
.names n_99 [1167] [280]
01 1
.names p_5 [113] [281]
11 1
.names p_5 [94] [298]
11 1
.names n_23 [69] [299]
11 1
.names n_13 [68] [301]
11 1
.names p_4 [67] [302]
11 1
.names n_17 [68] [303]
11 1
.names p_8 [67] [304]
11 1
.names n_16 [68] [305]
11 1
.names p_7 [67] [306]
11 1
.names n_15 [68] [307]
11 1
.names p_6 [67] [308]
11 1
.names n_14 [68] [309]
11 1
.names p_5 [67] [310]
11 1
.names n_21 [68] [311]
11 1
.names p_12 [67] [312]
11 1
.names n_20 [68] [313]
11 1
.names p_11 [67] [314]
11 1
.names n_19 [68] [315]
11 1
.names p_10 [67] [316]
11 1
.names n_18 [68] [317]
11 1
.names p_9 [67] [318]
11 1
.names p_4 [94] [319]
11 1
.names n_22 [69] [320]
11 1
.names [70] [1163] [323]
11 1
.names p_12 [112] [324]
11 1
.names n_107 [154] [325]
01 1
.names p_11 [152] [326]
11 1
.names n_109 [155] [327]
01 1
.names p_10 [128] [328]
11 1
.names n_111 [156] [329]
01 1
.names p_9 [124] [330]
11 1
.names n_113 [157] [331]
01 1
.names p_8 [140] [332]
11 1
.names n_115 [158] [333]
01 1
.names p_7 [133] [334]
11 1
.names n_117 [159] [335]
01 1
.names p_6 [122] [336]
11 1
.names n_119 [1162] [337]
01 1
.names p_5 [114] [338]
11 1
.names n_22 n_83 [339]
00 1
.names n_21 n_38 [355]
11 1
.names n_23 n_22 [1146]
11 1
.names n_24 n_34 [1147]
10 1
.names n_25 n_33 [1148]
10 1
.names n_26 n_36 [1149]
10 1
.names n_27 n_35 [1150]
10 1
.names n_37 n_28 [1151]
01 1
.names n_30 n_29 [1152]
01 1
.names n_32 n_31 [1153]
00 1
.names [1147] [1146] [1154]
11 1
.names [1149] [1148] [1155]
11 1
.names [1151] [1150] [1156]
11 1
.names [1153] [1152] [1157]
11 1
.names [144] n_776 [1158]
11 1
.names [1155] [1154] [1159]
11 1
.names [1157] [1156] [1160]
11 1
.names [1159] [1158] [1161]
11 1
.names [160] p_4 [1162]
11 1
.names n_419 p_12 [1163]
00 1
.names [71] n_776 [1164]
1- 1
-0 1
.names [320] [319] [1165]
1- 1
-1 1
.names [298] [71] [1166]
1- 1
-1 1
.names [80] p_4 [1167]
11 1
.names [261] [71] [1168]
1- 1
-1 1
.names [256] [71] [1169]
1- 1
-1 1
.names [251] [71] [1170]
1- 1
-1 1
.names [246] [71] [1171]
1- 1
-1 1
.names [67] p_12 [1172]
11 1
.names n_776 p_12 [1173]
10 1
.names [238] [74] [1174]
1- 1
-1 1
.names [234] [71] [1175]
1- 1
-1 1
.names [229] [71] [1176]
1- 1
-1 1
.names [80] n_22 [1177]
01 1
.names n_418 [1177] [1178]
01 1
.names n_83 n_22 [1179]
1- 1
-1 1
.names n_437 n_776 [1180]
11 1
.names [211] [212] [1181]
1- 1
-1 1
.names [209] [1181] [1182]
1- 1
-1 1
.names n_64 n_451 [1183]
00 1
.names n_452 n_699 [1184]
01 1
.names n_451 n_776 [1185]
01 1
.names [195] [196] [1186]
1- 1
-1 1
.names [192] [1186] [1187]
1- 1
-1 1
.names [1187] [193] [1188]
1- 1
-1 1
.names [184] [185] [1189]
1- 1
-1 1
.names n_60 n_439 [1190]
00 1
.names n_440 n_667 [1191]
01 1
.names n_439 n_776 [1192]
01 1
.names [175] [176] [1193]
1- 1
-1 1
.names [172] [1193] [1194]
1- 1
-1 1
.names [1194] [173] [1195]
1- 1
-1 1
.names n_61 n_442 [1196]
00 1
.names n_443 n_675 [1197]
01 1
.names n_442 n_776 [1198]
01 1
.names [168] [169] [1199]
1- 1
-1 1
.names [165] [1199] [1200]
1- 1
-1 1
.names [1200] [166] [1201]
1- 1
-1 1
.names n_445 n_776 [1202]
01 1
.names [90] [91] [1203]
1- 1
-1 1
.names [88] [1203] [1204]
1- 1
-1 1
.names n_449 n_776 [1205]
11 1
.names [82] [83] [1206]
1- 1
-1 1
.names [79] [1206] [1207]
1- 1
-1 1
.names n_433 n_776 [1208]
01 1
.names [66] [72] [1209]
1- 1
-1 1
.names [64] [1209] [1210]
1- 1
-1 1
.end