.model top
.inputs pg7 pg6 pg5 pg4 pg3 pg2 pg1 pg0 pg9 pg8 pclk pg10 pg12 pg11 pg13
.outputs pg550 pg530 pg539 pg549 pg45 pg542 pg532 pg537 pg548 pg551 pg547 \
pg552 pg535 pg546
.latch    ng511 ng38 re pclk 2
.latch    ng507 ng34 re pclk 2
.latch    ng508 ng35 re pclk 2
.latch    ng509 ng36 re pclk 2
.latch    ng510 ng37 re pclk 2
.latch    ng503 ng30 re pclk 2
.latch    ng504 ng31 re pclk 2
.latch    ng505 ng32 re pclk 2
.latch    ng506 ng33 re pclk 2
.latch    ng502 ng29 re pclk 2
.latch    ng512 ng39 re pclk 2
.latch    ng513 ng40 re pclk 2
.latch    ng514 ng41 re pclk 2
.latch    ng515 ng42 re pclk 2
.latch    ng516 ng43 re pclk 2
.latch    ng517 ng44 re pclk 2
.latch    ng518 pg45 re pclk 2
.latch    ng519 ng46 re pclk 2
.names [285] [286] [1294] pg550
1-- 1
-1- 1
--1 1
.names [277] [278] [279] pg530
1-- 1
-1- 1
--1 1
.names [76] [133] [273] pg539
--1 1
11- 1
.names [265] [266] [1307] pg549
1-- 1
-1- 1
--1 1
.names [117] [333] [1312] pg542
--1 1
10- 1
.names [80] [240] [1322] pg532
1-- 1
-1- 1
--1 1
.names [125] [126] pg537
1- 1
-1 1
.names ng42 ng155 [119] pg548
--1 1
01- 1
.names [101] [102] [1342] pg551
1-- 1
-1- 1
--1 1
.names ng155 [180] [84] pg547
--1 1
11- 1
.names pg6 [184] [1350] pg552
--1 1
11- 1
.names [80] [57] [59] pg535
1-- 1
-1- 1
--1 1
.names ng41 pg546
0 1
.names pg7 pg4 [1212] ng511
101 1
.names [53] [78] [1214] ng507
1-- 1
-01 1
.names ng232 [365] [1222] ng508
-1- 1
0-1 1
.names [131] [132] [364] ng509
--1 1
11- 1
.names pg6 pg9 ng510
01 1
10 1
.names pg9 pg10 pg11 ng503
-1- 1
0-1 1
.names pg7 pg11 [357] ng504
--1 1
01- 1
.names [353] [354] [1226] ng505
1-- 1
-1- 1
--1 1
.names ng311 [78] [1244] ng506
01- 1
0-1 1
.names [207] [210] [209] ng502
111 1
.names pg5 pg3 pg2 ng512
0-1 1
-01 1
110 1
.names [212] [335] [336] ng513
100 1
.names [117] [333] [1250] ng514
0-1 1
-11 1
.names ng388 [70] [1251] ng515
01- 1
0-1 1
.names [320] [321] [1255] ng516
001 1
.names [220] [219] ng517
11 1
.names pg12 [222] [297] ng518
--1 1
01- 1
.names pg1 [292] [1286] ng519
1-1 1
-11 1
.names pg5 pg3 ng134
0- 1
-0 1
.names ng523 ng534 [1220] [53]
111 1
.names pg3 pg13 ng33 [96]
100 1
.names pg5 pg4 pg2 [149]
011 1
.names pg4 pg2 pg1 [153]
01- 1
-10 1
.names [1239] [1240] [1247] ng155
001 1
.names pg4 pg2 [60]
01 1
.names [314] [315] [1281] [76]
--1 1
00- 1
.names [1239] [1240] [1282] [133]
1-1 1
-11 1
.names [129] [269] [1304] [157]
1-- 1
-1- 1
--1 1
.names pg4 pg3 pg2 [156]
0-1 1
-01 1
.names pg7 pg10 ng274
0- 1
-0 1
.names ng171 [134] [1314] [80]
0-1 1
-11 1
.names [243] [244] [1315] [162]
1-- 1
-1- 1
--1 1
.names pg3 [177] [115] [176]
--1 1
01- 1
.names [138] [175] [1339] [174]
--1 1
11- 1
.names pg6 [181] [89] [180]
--1 1
11- 1
.names pg6 pg4 ng54
0- 1
-0 1
.names [53] [185] [77] [184]
--1 1
11- 1
.names [53] [104] [73] [183]
--1 1
11- 1
.names pg5 pg4 ng77
1- 1
-0 1
.names pg7 pg9 pg10 ng232
0-- 1
-1- 1
--1 1
.names pg7 pg8 [131]
00 1
.names pg5 pg2 [104]
0- 1
-0 1
.names pg4 pg2 pg1 [139]
010 1
.names [1215] [1216] [1217] [190]
1-- 1
-1- 1
--1 1
.names pg1 [190] [1219] ng523
--1 1
11- 1
.names ng213 [152] [1264] [58]
0-1 1
-11 1
.names pg5 pg11 [137]
01 1
.names [56] [309] [1259] [192]
-1- 1
1-1 1
.names [1239] [1240] [1243] ng311
001 1
.names pg7 pg9 pg10 [117]
110 1
.names pg8 ng34 [194]
0- 1
-0 1
.names pg5 pg4 pg3 [196]
-0- 1
1-1 1
.names pg5 pg1 [195]
0- 1
-1 1
.names ng32 [378] [1213] [78]
0-- 1
-00 1
.names [305] [1265] [1266] ng171
--1 1
00- 1
.names pg11 [326] [327] ng388
11- 1
1-1 1
.names pg6 pg8 [79]
0- 1
-0 1
.names pg7 pg6 ng30 [98]
101 1
.names pg6 pg4 [142]
10 1
.names pg7 pg8 [135]
01 1
.names pg9 pg8 pg11 [202]
0-- 1
-0- 1
--0 1
.names ng274 [202] [1213] ng534
--1 1
01- 1
.names pg2 pg1 [148]
10 1
.names pg3 pg1 [294] [203]
--1 1
10- 1
.names pg3 pg1 [112]
0- 1
-0 1
.names pg7 pg9 [141]
11 1
.names pg9 pg11 [70]
0- 1
-0 1
.names pg9 pg11 [1225] ng213
0-- 1
-0- 1
--1 1
.names pg5 pg10 pg11 [132]
000 1
.names pg6 pg4 pg3 [107]
0-- 1
-0- 1
--0 1
.names pg5 pg3 pg2 [129]
110 1
.names pg3 pg2 [138]
10 1
.names pg4 pg2 [1245] [207]
0-- 1
-0- 1
--1 1
.names pg9 pg10 [1246] [212]
0-- 1
-1- 1
--1 1
.names ng34 [141] [1249] [213]
0-- 1
-1- 1
--1 1
.names pg3 pg1 [1254] [215]
0-- 1
-0- 1
--1 1
.names pg7 ng30 [1285] [216]
--1 1
11- 1
.names [131] [111] [221] [220]
0-- 1
-01 1
.names [70] [1225] [1258] [219]
1-- 1
-1- 1
--1 1
.names ng171 [134] [68] [222]
0-- 1
-11 1
.names pg13 [300] [301] [134]
11- 1
1-1 1
.names ng523 [378] [1213] [68]
0-- 1
-00 1
.names pg9 pg10 [55]
0- 1
-1 1
.names [310] [367] [368] [56]
1-- 1
-1- 1
--1 1
.names pg6 pg5 pg4 [136]
111 1
.names [117] [1343] [1344] [64]
1-- 1
-11 1
.names [136] [1256] [111]
11 1
.names pg3 pg2 [145]
01 1
.names pg2 [196] [195] [228]
0-- 1
-11 1
.names pg8 pg10 [151]
01 1
.names pg9 pg10 [1263] [152]
101 1
.names pg7 pg8 pg10 [161]
--1 1
10- 1
.names ng171 [107] [134] [166]
--1 1
00- 1
.names pg6 pg4 [252] [165]
--1 1
00- 1
.names [234] [235] [236] [170]
1-- 1
-1- 1
--1 1
.names pg6 ng134 ng232 [172]
-0- 1
1-0 1
.names pg6 pg5 pg4 [175]
--1 1
10- 1
.names pg1 [178] [116] [177]
--1 1
11- 1
.names pg4 pg2 pg0 [178]
1-- 1
-0- 1
--0 1
.names [64] [92] [93] [181]
1-- 1
-1- 1
--1 1
.names pg9 pg10 pg11 [182]
10- 1
1-1 1
.names [82] [1349] [186]
1- 1
-1 1
.names ng134 [60] [148] [185]
0-- 1
-1- 1
--1 1
.names pg7 pg9 pg10 [189]
-10 1
100 1
.names pg5 pg4 [138] [210]
--0 1
01- 1
.names pg5 [139] [209]
0- 1
-0 1
.names pg6 pg9 [132] [221]
1-- 1
-1- 1
--0 1
.names pg8 ng31 [226]
0- 1
-0 1
.names pg8 pg10 ng31 [225]
01- 1
1-0 1
.names [133] [1324] [1351] [57]
111 1
.names pg12 [63] [65] [59]
01- 1
0-1 1
.names [189] [66] [67] [63]
11- 1
1-1 1
.names pg3 ng44 ng171 [65]
000 1
.names [137] ng171 [107] [66]
100 1
.names [134] [1353] [67]
11 1
.names ng40 ng155 [72]
01 1
.names [78] [145] [1214] [73]
011 1
.names [78] [186] [1214] [77]
011 1
.names pg5 pg4 pg2 [82]
101 1
.names ng34 [64] [86] [84]
11- 1
1-1 1
.names pg7 pg9 pg8 [86]
110 1
.names pg7 pg10 [1345] [89]
111 1
.names pg7 pg8 [1346] [92]
011 1
.names pg8 [182] [93]
01 1
.names pg0 ng155 [1336] [101]
111 1
.names [53] [1337] [102]
11 1
.names [78] [1214] [1338] [103]
011 1
.names pg1 [53] [174] [105]
111 1
.names pg6 pg4 pg3 [108]
110 1
.names pg4 pg1 pg0 [115]
110 1
.names pg4 pg2 pg0 [116]
111 1
.names [1331] [1332] [1333] [119]
1-1 1
-11 1
.names pg7 pg9 pg8 [121]
110 1
.names pg7 pg9 pg10 [123]
101 1
.names [133] [1324] [1326] [125]
111 1
.names pg12 [130] [229] [126]
01- 1
0-1 1
.names pg6 pg9 ng38 [127]
101 1
.names pg2 [230] [231] [130]
11- 1
1-1 1
.names ng171 [170] [229]
01 1
.names ng171 [134] [1327] [230]
0-1 1
-11 1
.names [134] [1328] [231]
11 1
.names [70] [1225] [1329] [234]
001 1
.names [131] [111] [237] [235]
11- 1
1-1 1
.names [107] [367] [368] [236]
01- 1
0-1 1
.names pg6 pg4 [132] [237]
001 1
.names pg0 ng155 [162] [239]
111 1
.names pg12 [250] [1321] [240]
01- 1
0-1 1
.names pg3 ng77 [247] [243]
00- 1
0-1 1
.names pg4 [129] [244]
11 1
.names pg2 pg1 [247]
01 1
.names ng171 [134] [1318] [249]
0-1 1
-11 1
.names [70] [151] [166] [250]
011 1
.names pg3 ng171 [165] [251]
001 1
.names pg11 ng232 [136] [252]
101 1
.names pg9 pg8 [1309] [256]
0-1 1
-01 1
.names pg9 [161] [259]
01 1
.names pg8 pg10 pg11 [260]
011 1
.names [78] [1214] [1302] [264]
011 1
.names ng155 [1303] [265]
11 1
.names pg1 [53] [157] [266]
111 1
.names pg3 [60] [136] [269]
01- 1
0-1 1
.names pg12 [275] [276] [273]
01- 1
0-1 1
.names [305] [1265] [1300] [275]
001 1
.names [300] [301] [1301] [276]
001 1
.names ng155 [1296] [277]
11 1
.names pg3 ng171 [1297] [278]
001 1
.names pg0 ng155 [1298] [279]
111 1
.names pg5 pg3 pg1 [280]
011 1
.names pg0 [196] [195] [281]
10- 1
1-0 1
.names [78] [1214] [1289] [284]
011 1
.names pg1 [53] [149] [285]
111 1
.names pg0 ng29 ng155 [286]
101 1
.names pg3 ng155 [1290] [287]
111 1
.names [228] [1237] [1284] [292]
0-1 1
-01 1
.names pg4 pg3 pg0 [294]
1-1 1
-01 1
.names [76] [133] [297]
01 1
.names [303] [1270] [1271] [300]
1-1 1
-11 1
.names pg2 pg1 [58] [301]
111 1
.names [367] [368] [1268] [302]
1-1 1
-11 1
.names ng54 [148] [56] [303]
011 1
.names ng232 [139] [1222] [304]
011 1
.names [192] [1260] [305]
11 1
.names [312] [313] [1262] [306]
1-1 1
-11 1
.names pg4 pg2 ng35 [309]
011 1
.names pg7 pg8 [55] [310]
010 1
.names [367] [368] [1261] [312]
1-1 1
-11 1
.names pg6 ng36 [313]
01 1
.names [142] [1273] [1277] [314]
111 1
.names ng134 [316] [317] [315]
01- 1
0-1 1
.names [1211] [1212] [1279] [316]
111 1
.names [70] [1225] [1280] [317]
001 1
.names pg6 pg4 [1253] [320]
0-1 1
-01 1
.names [112] [322] [323] [321]
01- 1
0-1 1
.names pg6 pg4 pg2 [322]
011 1
.names pg6 pg5 pg4 [323]
101 1
.names pg6 pg3 [139] [324]
111 1
.names pg5 pg3 [148] [325]
111 1
.names pg9 [328] [329] [326]
01- 1
0-1 1
.names pg7 pg6 pg10 [327]
101 1
.names pg6 pg8 pg10 [328]
111 1
.names pg7 pg6 pg8 [329]
10- 1
1-0 1
.names pg6 ng155 [194] [333]
0-1 1
-01 1
.names ng31 [79] [337] [335]
10- 1
-01 1
.names pg8 [98] [336]
11 1
.names pg7 pg9 pg11 [337]
110 1
.names pg11 [346] [347] [342]
01- 1
0-1 1
.names pg11 [350] [1236] [343]
11- 1
1-1 1
.names pg5 [228] [1237] [344]
011 1
.names [98] [226] [1231] [346]
011 1
.names pg7 pg9 [225] [347]
011 1
.names [98] [55] [1234] [350]
011 1
.names pg7 pg9 pg8 [351]
000 1
.names pg6 pg4 [138] [353]
101 1
.names pg5 pg2 [107] [354]
111 1
.names pg9 pg10 pg11 [357]
01- 1
-10 1
.names pg5 [70] [1225] [364]
000 1
.names pg6 [367] [368] [365]
11- 1
1-1 1
.names pg7 pg8 [1223] [367]
001 1
.names pg8 ng232 [368]
10 1
.names pg5 pg2 pg1 [371]
110 1
.names pg6 pg3 pg2 [372]
101 1
110 1
.names pg6 pg5 pg4 [373]
010 1
.names pg6 pg4 pg2 [374]
011 1
.names pg5 pg4 pg3 [377]
010 1
.names pg7 pg10 [202] [378]
111 1
.names pg7 pg8 ng30 [379]
011 1
.names pg4 pg7 [1211]
01 1
.names pg10 pg0 [1212]
00 1
.names [379] [117] [1213]
1- 1
-1 1
.names pg13 pg12 [1214]
00 1
.names [374] [373] [1215]
1- 1
-1 1
.names pg5 pg3 ng54 [1216]
0-0 1
-00 1
111 1
.names [372] [377] [1217]
1- 1
-1 1
.names pg6 [139] [371] [1219]
--1 1
11- 1
.names pg13 pg12 [1220]
10 1
.names pg8 pg6 [1222]
00 1
.names pg10 pg9 [1223]
11 1
.names pg7 pg8 pg10 [1225]
0-- 1
-0- 1
--0 1
.names [129] [149] [1226]
1- 1
-1 1
.names pg3 pg4 [1228]
10 1
.names pg5 pg4 pg0 [1229]
1-0 1
-00 1
.names pg10 pg9 [1231]
00 1
.names ng31 pg8 [1234]
01 1
.names pg6 ng30 [351] [1236]
--1 1
00- 1
.names pg5 pg4 pg3 [1237]
1-0 1
-00 1
.names ng46 [1228] [1229] [1238]
0-- 1
-11 1
.names [342] [1238] [1239]
1- 1
-1 1
.names [344] [343] [1240]
1- 1
-1 1
.names pg1 pg4 [1241]
10 1
.names pg0 pg12 [1241] [1243]
111 1
.names [149] pg12 [1244]
0- 1
-1 1
.names pg1 pg3 [1245]
1- 1
-0 1
.names pg6 pg8 pg11 [1246]
0-- 1
-0- 1
--0 1
.names pg13 pg12 [1247]
01 1
.names pg6 pg9 ng274 [1248]
--1 1
11- 1
.names pg10 pg8 [1249]
0- 1
-0 1
.names ng155 [213] [1248] [1250]
01- 1
-11 1
.names pg7 pg6 pg10 [1251]
-0- 1
1-1 1
.names pg5 pg3 pg1 [1253]
111 1
.names pg2 pg6 [1254]
1- 1
-0 1
.names [215] [324] [325] [1255]
100 1
.names pg9 pg10 pg11 [1256]
111 1
.names pg6 pg5 pg4 [1258]
1-- 1
-1- 1
--1 1
.names pg6 pg4 pg2 [1259]
110 1
.names pg5 pg3 pg11 [1260]
011 1
.names [136] pg11 [1261]
11 1
.names pg2 pg3 [1262]
00 1
.names pg7 pg8 pg11 [1263]
000 1
.names pg6 pg4 ng134 [1264]
110 1
.names pg2 [58] [306] [1265]
--1 1
11- 1
.names [78] pg13 [1266]
0- 1
-1 1
.names pg6 pg1 [60] [1268]
111 1
.names [302] [304] [1270]
1- 1
-1 1
.names pg5 pg3 pg11 [1271]
011 1
.names pg0 pg3 [1273]
00 1
.names pg10 pg9 [1274]
10 1
.names [131] [137] [1274] [1277]
111 1
.names pg8 pg11 ng37 [1279]
111 1
.names pg6 pg4 pg0 [1280]
111 1
.names pg1 pg2 [1281]
0- 1
-0 1
.names pg13 pg12 [1282]
01 1
.names pg2 [196] [195] [1283]
111 1
.names pg0 ng77 [138] [1284]
11- 1
1-0 1
.names pg7 pg6 pg10 [1285]
-1- 1
1-1 1
.names [203] [216] [1283] [1286]
01- 1
-10 1
.names [153] pg5 [1288]
11 1
.names pg4 pg2 ng134 [1289]
0-0 1
-00 1
.names pg4 pg1 pg0 [1290]
110 1
.names [284] [96] [1291]
1- 1
-1 1
.names [53] [1288] [1291] [1292]
--1 1
11- 1
.names [1292] [287] [1294]
1- 1
-1 1
.names pg1 pg0 [280] [1295]
--1 1
10- 1
.names pg2 [281] [1295] [1296]
11- 1
1-1 1
.names pg12 [312] [313] [1297]
01- 1
0-1 1
.names pg4 pg2 ng134 [1298]
010 1
.names [78] pg13 [1300]
10 1
.names pg13 ng523 ng534 [1301]
10- 1
1-0 1
.names [156] pg5 [1302]
11 1
.names pg4 pg3 pg1 [1303]
101 1
.names pg5 pg4 pg2 [1304]
10- 1
011 1
.names [264] [96] [1306]
1- 1
-1 1
.names ng155 [1290] [1306] [1307]
--1 1
11- 1
.names pg7 pg10 ng34 [1309]
111 1
.names [141] [260] [1249] [1310]
-1- 1
0-0 1
.names pg6 [259] [1310] [1311]
11- 1
1-1 1
.names ng155 [256] [1311] [1312]
-1- 1
1-1 1
.names pg6 pg4 pg12 [1313]
100 1
.names [367] [368] [1313] [1314]
1-1 1
-11 1
.names pg4 pg2 [112] [1315]
0-0 1
111 1
.names pg5 pg6 [1317]
11 1
.names [55] [1263] [1317] [1318]
011 1
.names [251] [249] [1321]
1- 1
-1 1
.names ng43 [53] [239] [1322]
--1 1
01- 1
.names pg5 pg3 [76] [1324]
110 1
.names pg2 ng274 [127] [1326]
10- 1
1-1 1
.names [172] pg8 [1327]
11 1
.names [107] [367] [368] [1328]
01- 1
0-1 1
.names pg6 pg5 pg4 [1329]
001 1
.names [121] [117] [1331]
1- 1
-1 1
.names [135] [55] [123] [1332]
--1 1
11- 1
.names ng34 pg11 [1333]
11 1
.names [176] pg5 [1335]
11 1
.names pg4 pg1 ng134 [1336]
0-0 1
-00 1
.names pg4 pg2 pg1 [1337]
110 1
.names ng39 pg4 [1338]
11 1
.names pg5 pg4 [108] [1339]
--1 1
01- 1
.names ng155 [103] [1335] [1340]
-1- 1
1-1 1
.names [1340] [105] [1342]
1- 1
-1 1
.names pg9 pg7 [1343]
10 1
.names pg10 pg8 [1344]
11 1
.names pg9 pg6 [1345]
10 1
.names pg11 pg10 [1346]
10 1
.names pg3 pg2 ng77 [1349]
-10 1
101 1
.names ng54 [183] [72] [1350]
--1 1
01- 1
.names ng37 ng38 [1351]
11 1
.names pg6 pg5 pg4 [1353]
101 1
.end