.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 ng29 [140] [285] [1294] pg550
--1- 1
---1 1
01-- 1
.names [147] [1297] [1299] pg530
--1 1
11- 1
.names [133] ng141 [273] [1281] pg539
--1- 1
10-- 1
1--1 1
.names [88] [265] [266] [1306] pg549
1--- 1
-1-- 1
--1- 1
---1 1
.names ng279 [159] [257] [1309] pg542
0--- 1
--1- 1
-1-1 1
.names [80] [240] [1322] pg532
1-- 1
-1- 1
--1 1
.names [133] [126] [1324] [1326] pg537
-1-- 1
1-11 1
.names pg11 ng34 [173] [120] pg548
---1 1
111- 1
.names [140] [102] [1336] [1342] pg551
-1-- 1
---1 1
1-1- 1
.names ng34 [179] [85] 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 pg0 pg10 ng511
1000 1
.names pg12 pg13 ng157 [68] ng507
--1- 1
01-0 1
.names pg6 pg8 ng232 [367] ng508
1--1 1
110- 1
000- 1
.names pg7 pg8 [132] [364] ng509
---1 1
001- 1
.names pg6 pg9 ng510
01 1
10 1
.names pg9 pg10 pg11 ng503
-1- 1
0-1 1
.names pg7 pg9 pg10 pg11 ng504
-01- 1
0--1 1
--10 1
.names [104] [107] [353] [1226] ng505
--1- 1
---1 1
01-- 1
.names [206] [1239] [1240] [1243] ng506
11-- 1
1-1- 1
1--0 1
.names [207] [210] [209] ng502
111 1
.names pg5 pg3 pg2 ng512
0-1 1
-01 1
110 1
.names pg9 pg10 ng360 [1246] ng513
0-0- 1
-10- 1
--01 1
.names ng34 ng279 ng161 [214] ng514
01-1 1
-111 1
.names pg9 pg11 ng388 [1251] ng515
0-0- 1
-00- 1
--01 1
.names ng411 [1255] ng516
01 1
.names pg7 pg8 [219] [318] ng517
1-1- 1
-11- 1
--11 1
.names [133] ng141 [296] [1281] ng518
--1- 1
11-0 1
.names pg1 [146] [1284] [1286] ng519
1--1 1
-011 1
.names pg5 pg3 ng134
0- 1
-0 1
.names pg12 pg13 ng32 ng534 ng157
0011 1
.names [1239] [1240] [1247] [1290] [88]
0011 1
.names pg0 [1239] [1240] [1247] [140]
1001 1
.names pg5 pg4 pg2 [149]
011 1
.names pg3 [305] [1265] [1266] [147]
01-0 1
0-10 1
.names pg12 pg13 [1239] [1240] [133]
101- 1
10-1 1
.names pg3 [158] [1305] [157]
--1 1
01- 1
.names pg7 pg10 ng274
0- 1
-0 1
.names pg8 ng34 [117] [193] ng279
--0- 1
0--1 1
-0-1 1
.names pg9 pg8 [159]
0- 1
-0 1
.names ng273 ng171 [134] [1313] [80]
10-1 1
1-11 1
.names pg3 [163] [244] [1315] [162]
--1- 1
---1 1
01-- 1
.names pg7 pg9 pg8 pg10 [173]
001- 1
110- 1
10-1 1
0-11 1
11-0 1
.names pg3 pg2 [175] [1339] [174]
---1 1
101- 1
.names [89] [90] [180]
1- 1
-1 1
.names pg7 pg9 pg8 pg10 [179]
110- 1
11-0 1
0111 1
.names pg6 pg4 ng54
0- 1
-0 1
.names [68] [185] [77] [1220] [184]
--1- 1
01-1 1
.names [104] [68] [73] [1220] [183]
--1- 1
10-1 1
.names pg7 pg9 pg10 ng232
0-- 1
-1- 1
--1 1
.names pg7 pg8 [131]
00 1
.names pg7 pg9 pg8 pg10 ng273
0101 1
1010 1
.names pg5 pg2 [104]
0- 1
-0 1
.names pg4 pg2 pg1 [139]
010 1
.names [372] [377] [1215] [1216] [190]
1--- 1
-1-- 1
--1- 1
---1 1
.names pg7 pg9 pg10 [117]
110 1
.names pg6 [1239] [1240] [1247] [193]
0--- 1
-1-- 1
--1- 1
---0 1
.names pg5 pg4 pg3 pg1 ng81
00-- 1
-0-1 1
1-11 1
.names [305] [1265] [1266] ng171
--1 1
00- 1
.names pg9 pg11 [198] [327] ng388
-1-1 1
011- 1
.names pg7 pg6 ng30 [98]
101 1
.names pg7 pg9 pg11 ng31 [199]
---1 1
110- 1
.names pg6 pg8 [199] [336] ng360
---1 1
111- 1
.names ng134 [314] [316] [317] ng141
-1-- 1
0-1- 1
0--1 1
.names pg9 pg8 pg11 [202]
0-- 1
-0- 1
--0 1
.names ng274 [117] [202] [379] ng534
-1-- 1
---1 1
0-1- 1
.names pg4 pg3 pg1 pg0 [203]
-10- 1
1--1 1
-0-1 1
.names pg3 pg1 [112]
0- 1
-0 1
.names pg6 pg5 pg4 pg2 [205]
101- 1
0-11 1
.names ng54 [112] [205] [1253] ng411
-01- 1
1--1 1
.names pg7 pg9 pg8 pg10 ng161
--0- 1
---0 1
11-- 1
.names pg9 pg11 [70]
0- 1
-0 1
.names pg5 pg10 pg11 [132]
000 1
.names pg6 pg4 pg3 [107]
0-- 1
-0- 1
--0 1
.names ng32 ng534 [1244] [206]
0-- 1
-0- 1
--1 1
.names pg4 pg3 pg2 pg1 [207]
0--- 1
-0-- 1
--0- 1
---1 1
.names [1239] [1240] [1247] [1248] [214]
1--- 1
-1-- 1
--0- 1
---1 1
.names pg6 pg3 pg2 pg1 [215]
0--- 1
-0-- 1
--1- 1
---0 1
.names pg7 pg6 pg10 ng30 [216]
-1-- 1
1-1- 1
1--1 1
.names pg9 pg11 [1225] [1258] [219]
0--- 1
-0-- 1
--1- 1
---1 1
.names pg13 [300] [301] [134]
11- 1
1-1 1
.names pg1 [190] ng534 [1219] [68]
--0- 1
0--0 1
-0-0 1
.names pg2 ng81 [1237] [146]
0-1 1
-11 1
.names [98] [351] [352] [1235] [224]
-1-- 1
--1- 1
0--1 1
.names [98] [225] [1232] [1233] [223]
0-1- 1
-1-1 1
.names pg9 pg10 [55]
0- 1
-1 1
.names pg7 pg9 pg8 pg10 [56]
0101 1
0110 1
1010 1
.names [70] [55] [1225] [1263] [227]
0-0- 1
-0-1 1
.names pg6 pg5 pg4 [136]
111 1
.names pg7 pg9 pg8 pg10 [64]
11-0 1
0111 1
.names pg6 pg4 [143]
00 1
.names pg3 pg2 [145]
01 1
.names pg6 pg5 pg4 pg2 [158]
--01 1
111- 1
.names pg5 pg4 pg2 pg1 [163]
01-- 1
--01 1
.names [131] [171] [234] [236] [170]
--1- 1
---1 1
11-- 1
.names ng171 [134] [1327] [1328] [169]
0-1- 1
-11- 1
-1-1 1
.names [132] [136] [143] [1256] [171]
1-1- 1
-1-1 1
.names pg6 pg5 pg4 [175]
--1 1
10- 1
.names pg4 pg2 pg1 pg0 [177]
1-1- 1
-01- 1
--10 1
11-1 1
.names pg5 pg4 pg3 pg2 [186]
01-1 1
10-1 1
1-10 1
-010 1
.names pg2 pg1 [1348] [185]
--1 1
10- 1
.names pg7 pg9 pg10 [189]
-10 1
100 1
.names pg7 pg6 pg8 pg10 [198]
10-- 1
1-0- 1
-111 1
.names pg5 pg4 pg3 pg2 [210]
--0- 1
---1 1
01-- 1
.names pg5 pg4 pg2 pg1 [209]
0--- 1
-1-- 1
--0- 1
---1 1
.names pg5 pg4 pg3 pg2 [218]
1--- 1
-0-- 1
--0- 1
---1 1
.names pg8 pg10 ng31 [225]
01- 1
1-0 1
.names ng38 ng37 [133] [1324] [57]
1111 1
.names pg12 ng44 [147] [63] [59]
0--1 1
001- 1
.names [189] [66] [67] [63]
11- 1
1-1 1
.names [305] [1265] [1266] [1352] [66]
1-01 1
-101 1
.names pg13 [300] [301] [1353] [67]
11-1 1
1-11 1
.names ng40 [1239] [1240] [1247] [72]
0001 1
.names ng32 ng534 [145] [1214] [73]
1111 1
.names ng32 ng534 [186] [1214] [77]
1111 1
.names [180] [1239] [1240] [1247] [85]
1001 1
.names pg7 pg6 pg9 pg10 [89]
1011 1
.names pg6 [64] [92] [93] [90]
11-- 1
1-1- 1
1--1 1
.names pg7 pg8 pg10 pg11 [92]
0101 1
.names pg9 pg8 pg10 pg11 [93]
100- 1
10-1 1
.names [1239] [1240] [1247] [1335] [100]
0011 1
.names pg12 pg13 [68] [1337] [102]
0101 1
.names ng32 ng534 [1214] [1338] [103]
1111 1
.names pg1 [174] [68] [1220] [105]
1101 1
.names pg4 pg1 pg0 [115]
110 1
.names ng42 [1239] [1240] [1247] [120]
0001 1
.names pg2 pg12 [169] [229] [126]
-0-1 1
101- 1
.names pg6 pg9 ng38 [127]
101 1
.names [170] [305] [1265] [1266] [229]
11-0 1
1-10 1
.names pg7 pg6 pg9 pg10 [232]
1100 1
.names pg9 pg11 [1225] [1329] [234]
1101 1
.names pg6 pg4 pg3 ng273 [236]
1111 1
.names pg12 [249] [250] [251] [240]
01-- 1
0-1- 1
0--1 1
.names pg12 pg13 ng43 [68] [241]
0100 1
.names pg5 pg4 pg3 pg2 [244]
1110 1
.names ng171 [134] [1318] [249]
0-1 1
-11 1
.names [134] [254] [1319] [250]
1-1 1
-11 1
.names [147] [136] [143] [1320] [251]
1-1- 1
11-1 1
.names [107] [305] [1265] [1266] [254]
01-0 1
0-10 1
.names [1239] [1240] [1247] [1311] [257]
0011 1
.names pg7 pg9 pg8 pg10 [259]
-0-1 1
100- 1
.names pg8 pg10 pg11 [260]
011 1
.names ng32 ng534 [1214] [1302] [264]
1111 1
.names [1239] [1240] [1247] [1303] [265]
0011 1
.names pg1 [157] [68] [1220] [266]
1101 1
.names pg12 [275] [276] [273]
01- 1
0-1 1
.names [305] [1265] [1300] [275]
001 1
.names pg13 [68] [300] [301] [276]
1100 1
.names [1239] [1240] [1247] [1296] [277]
0011 1
.names pg12 pg13 [68] [1288] [283]
0101 1
.names ng32 ng534 [1214] [1289] [284]
1111 1
.names pg1 [149] [68] [1220] [285]
1101 1
.names pg12 ng171 [298] [296]
00- 1
0-1 1
.names pg13 [68] [300] [301] [298]
111- 1
11-1 1
.names [302] [303] [304] [1271] [300]
1--1 1
-1-1 1
--11 1
.names pg2 pg1 [227] [1264] [301]
1111 1
.names ng273 [1268] [302]
11 1
.names [56] [1269] [303]
11 1
.names pg6 pg8 ng232 [139] [304]
0001 1
.names [56] [309] [1259] [1260] [305]
-1-1 1
1-11 1
.names ng273 [313] [1261] [1262] [306]
-1-1 1
1-11 1
.names pg4 pg2 ng35 [309]
011 1
.names pg6 ng36 [313]
01 1
.names pg9 pg10 [1275] [1276] [314]
0111 1
.names pg8 pg11 ng511 ng37 [316]
1111 1
.names pg9 pg11 [1225] [1280] [317]
1101 1
.names [132] [136] [1256] [1257] [318]
00-- 1
0-0- 1
-0-1 1
--01 1
.names pg5 pg3 pg2 pg1 [325]
1110 1
.names pg7 pg6 pg10 [327]
101 1
.names pg7 pg6 pg8 ng30 [336]
1011 1
.names pg4 pg3 pg0 [341]
010 1
.names pg5 pg2 ng81 [1237] [344]
00-1 1
0-11 1
.names pg7 pg9 pg8 [351]
000 1
.names pg6 ng30 [352]
00 1
.names pg6 pg4 pg3 pg2 [353]
1010 1
.names pg5 pg9 pg11 [1225] [364]
0110 1
.names pg7 pg9 pg8 pg10 [367]
0101 1
.names pg6 pg4 pg2 pg1 [370]
1010 1
.names pg6 pg3 pg2 [372]
101 1
110 1
.names pg5 pg4 pg3 [377]
010 1
.names pg7 pg8 ng30 [379]
011 1
.names pg13 pg12 [1214]
00 1
.names pg6 pg5 pg4 pg2 [1215]
010- 1
0-11 1
.names pg6 pg5 pg4 pg3 [1216]
101- 1
01-1 1
-101 1
1-10 1
.names pg5 pg2 pg1 [370] [1219]
---1 1
110- 1
.names pg13 pg12 [1220]
10 1
.names pg7 pg8 pg10 [1225]
0-- 1
-0- 1
--0 1
.names pg5 pg4 pg3 pg2 [1226]
01-1 1
1-10 1
.names pg9 pg8 pg10 ng31 [1232]
000- 1
0-00 1
.names pg9 pg7 [1233]
10 1
.names pg9 pg8 pg10 ng31 [1235]
01-0 1
-110 1
.names pg5 pg4 pg3 [1237]
1-0 1
-00 1
.names pg11 ng46 [223] [341] [1239]
-0-- 1
---1 1
0-1- 1
.names pg11 [224] [344] [1240]
--1 1
11- 1
.names pg4 pg1 pg0 pg12 [1243]
0111 1
.names pg5 pg4 pg2 pg12 [1244]
1--- 1
-0-- 1
--0- 1
---1 1
.names pg6 pg8 pg11 [1246]
0-- 1
-0- 1
--0 1
.names pg13 pg12 [1247]
01 1
.names pg7 pg6 pg9 pg10 [1248]
0--- 1
---0 1
-11- 1
.names pg7 pg6 pg10 [1251]
-0- 1
1-1 1
.names pg3 pg6 [1252]
11 1
.names pg5 pg3 pg1 [1253]
111 1
.names [139] [215] [325] [1252] [1255]
010- 1
-100 1
.names pg9 pg10 pg11 [1256]
111 1
.names pg9 pg6 [1257]
1- 1
-1 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 pg6 pg5 pg4 pg11 [1261]
1111 1
.names pg2 pg3 [1262]
00 1
.names pg7 pg8 pg11 [1263]
000 1
.names pg6 pg5 pg4 pg3 [1264]
1111 1
.names pg2 [227] [306] [1264] [1265]
--1- 1
11-1 1
.names pg13 ng32 ng534 [1266]
1-- 1
-11 1
.names pg6 pg4 pg2 pg1 [1268]
1011 1
.names pg6 pg4 pg2 pg1 [1269]
1110 1
.names pg5 pg3 pg11 [1271]
011 1
.names pg7 pg5 pg8 pg11 [1275]
0001 1
.names pg6 pg4 pg3 pg0 [1276]
1000 1
.names pg6 pg4 pg0 [1280]
111 1
.names pg1 pg2 [1281]
0- 1
-0 1
.names [218] pg0 [1284]
11 1
.names pg2 ng81 [203] [216] [1286]
0--1 1
-0-1 1
--01 1
.names pg5 pg4 pg2 pg1 [1288]
101- 1
1-10 1
.names pg5 pg4 pg3 pg2 [1289]
101- 1
1-10 1
.names pg4 pg1 pg0 [1290]
110 1
.names pg3 pg13 ng33 [284] [1291]
---1 1
100- 1
.names pg3 [88] [283] [1291] [1294]
--1- 1
---1 1
11-- 1
.names pg5 pg3 pg1 pg0 [1295]
--10 1
011- 1
.names pg2 pg0 ng81 [1295] [1296]
1--1 1
110- 1
.names pg12 ng273 [313] [1261] [1297]
0-1- 1
01-1 1
.names pg5 pg4 pg3 pg2 [1298]
1011 1
.names [140] [277] [1298] [1299]
-1- 1
1-1 1
.names pg13 ng32 ng534 [1300]
00- 1
0-0 1
.names pg5 pg4 pg3 pg2 [1302]
10-1 1
1-01 1
.names pg4 pg3 pg1 [1303]
101 1
.names pg5 pg4 pg3 pg2 [1305]
10-- 1
01-1 1
1-10 1
.names pg3 pg13 ng33 [264] [1306]
---1 1
100- 1
.names pg7 pg10 ng34 [1309]
111 1
.names pg6 ng161 [259] [260] [1311]
10-- 1
1-1- 1
1--1 1
.names pg6 pg4 pg12 [1313]
100 1
.names pg4 pg3 pg2 pg1 [1315]
101- 1
01-1 1
1-10 1
.names pg5 pg6 [1317]
11 1
.names pg9 pg10 [1263] [1317] [1318]
1011 1
.names pg9 pg8 pg10 pg11 [1319]
1011 1
.names pg7 pg9 pg10 pg11 [1320]
1001 1
.names [140] [162] [241] [1322]
--1 1
11- 1
.names pg5 pg3 ng141 [1281] [1324]
1110 1
.names pg7 pg2 pg10 [127] [1326]
-1-1 1
111- 1
.names pg5 pg3 pg8 [232] [1327]
--11 1
111- 1
.names pg6 pg4 pg3 ng273 [1328]
1111 1
.names pg6 pg5 pg4 [1329]
001 1
.names pg5 pg3 [177] [115] [1335]
1--1 1
101- 1
.names pg5 pg4 pg3 pg1 [1336]
101- 1
1-10 1
.names pg4 pg2 pg1 [1337]
110 1
.names ng39 pg4 [1338]
11 1
.names pg6 pg5 pg4 pg3 [1339]
-01- 1
1-10 1
.names [100] [103] [105] [1342]
1-- 1
-1- 1
--1 1
.names pg5 pg4 pg3 pg2 [1348]
1-1- 1
-0-1 1
.names pg6 pg4 [183] [72] [1350]
---1 1
111- 1
.names pg5 pg11 [107] [1352]
010 1
.names pg6 pg5 pg4 [1353]
101 1
.end