.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] [287] [1292] pg550
1--- 1
-1-- 1
--1- 1
---1 1
.names [147] [277] [279] [1297] pg530
-1-- 1
--1- 1
1--1 1
.names [133] [273] [314] [315] [1281] pg539
-1--- 1
1---1 1
1-00- 1
.names [88] [96] [264] [265] [266] pg549
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names pg7 pg9 pg10 [333] [1312] pg542
----1 1
1100- 1
.names pg12 [250] [1321] [1323] pg532
---1 1
01-- 1
0-1- 1
.names pg12 ng171 [170] [125] [130] pg537
---1- 1
0---1 1
001-- 1
.names ng42 [119] [1239] [1240] [1247] pg548
-1--- 1
0-001 1
.names [101] [102] [105] [1340] pg551
1--- 1
-1-- 1
--1- 1
---1 1
.names [180] [84] [1239] [1240] [1247] pg547
-1--- 1
1-001 1
.names [69] [71] [72] pg552
1-- 1
-1- 1
--1 1
.names pg12 [80] [57] [63] [65] pg535
-1--- 1
--1-- 1
0--1- 1
0---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 pg7 pg6 pg9 pg8 pg10 ng508
01101 1
11010 1
10000 1
.names pg5 ng213 [363] ng509
--1 1
00- 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 pg6 pg5 pg4 pg3 pg2 ng505
01--1 1
-01-1 1
-10-1 1
-1-01 1
-1-10 1
1-010 1
.names [206] [1239] [1240] [1243] ng506
11-- 1
1-1- 1
1--0 1
.names pg5 pg4 pg3 pg2 pg1 ng502
0-0-- 1
-10-- 1
--00- 1
--0-1 1
---11 1
00-1- 1
01-0- 1
01--1 1
.names pg5 pg3 pg2 ng512
0-1 1
-01 1
110 1
.names pg6 pg8 [199] [212] [336] ng513
0--10 1
-0-10 1
--010 1
.names pg7 pg9 pg10 [333] [1250] ng514
0---1 1
-0--1 1
--1-1 1
---11 1
.names pg11 [197] [211] ng515
0-1 1
-01 1
.names pg3 pg1 [205] [320] [1255] ng516
0--01 1
-0-01 1
--001 1
.names pg6 pg5 pg4 ng213 [220] ng517
1---1 1
-1--1 1
--1-1 1
---11 1
.names [133] [296] [314] [315] [1281] ng518
-1--- 1
1-1-0 1
1--10 1
.names pg1 [146] [1284] [1286] ng519
1--1 1
-011 1
.names pg5 pg3 ng134
0- 1
-0 1
.names pg12 pg13 ng32 [378] [1213] ng157
0011- 1
001-1 1
.names pg12 pg13 [1239] [1240] [1290] [88]
10001 1
.names pg3 pg13 ng33 [96]
100 1
.names pg5 pg4 pg2 [149]
011 1
.names pg3 [305] [306] [307] [1266] [147]
01--0 1
0-1-0 1
0--10 1
.names pg5 pg4 pg3 pg1 pg0 [154]
---10 1
0-11- 1
01--1 1
-10-1 1
1--01 1
.names pg12 pg13 [1239] [1240] [133]
101- 1
10-1 1
.names pg6 pg5 pg4 pg3 pg2 [157]
-10-- 1
-01-1 1
--001 1
-1-10 1
1110- 1
.names pg7 pg9 pg8 pg10 pg11 [160]
-0-1- 1
100-- 1
0-11- 1
--011 1
.names ng273 ng171 [134] [1313] [80]
10-1 1
1-11 1
.names pg5 pg4 pg3 pg2 pg1 [162]
010-- 1
-101- 1
-01-1 1
--001 1
-1-10 1
1110- 1
.names pg7 pg6 pg9 pg10 ng38 [167]
1--1- 1
-10-1 1
.names pg7 pg9 pg8 pg10 [173]
001- 1
110- 1
10-1 1
0-11 1
11-0 1
.names pg4 pg3 pg2 pg1 pg0 [176]
10-1- 1
-001- 1
1--10 1
-0-10 1
101-1 1
.names pg6 pg5 pg4 pg3 pg2 [174]
-01-- 1
1-10- 1
--110 1
10-10 1
.names pg7 pg6 pg9 pg10 [181] [180]
-1--1 1
1011- 1
.names pg6 pg4 ng54
0- 1
-0 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 pg6 pg5 pg4 pg3 pg2 [190]
101-- 1
010-- 1
01-1- 1
-101- 1
1-10- 1
-010- 1
0-1-1 1
1--01 1
1--10 1
.names pg8 ng34 [194]
0- 1
-0 1
.names [305] [306] [307] [1266] ng171
---1 1
000- 1
.names pg7 pg6 pg9 pg8 pg10 [197]
100-- 1
1-00- 1
10--1 1
-1011 1
.names pg7 pg6 ng30 [98]
101 1
.names pg7 pg9 pg11 ng31 [199]
---1 1
110- 1
.names [56] [301] [1269] [1270] [1271] ng544
-1--- 1
---11 1
1-1-1 1
.names ng511 ng213 [1279] [1280] [201]
1-1- 1
-0-1 1
.names pg4 pg3 pg1 pg0 [203]
-10- 1
1--1 1
-0-1 1
.names pg6 pg5 pg4 pg2 [205]
101- 1
0-11 1
.names pg7 pg6 pg9 pg8 pg10 [144]
10000 1
.names pg7 pg9 pg8 pg10 pg11 ng213
0---- 1
-0--- 1
--0-- 1
---0- 1
----0 1
.names pg6 pg4 pg3 [107]
0-- 1
-0- 1
--0 1
.names ng32 [378] [1213] [1244] [206]
0--- 1
---1 1
-00- 1
.names pg7 pg6 pg9 pg10 pg11 [211]
-0--- 1
--0-- 1
----0 1
1--1- 1
.names pg6 pg9 pg8 pg10 pg11 [212]
0---- 1
-0--- 1
--0-- 1
---1- 1
----0 1
.names pg7 pg9 pg8 pg10 ng34 [213]
--0-- 1
---0- 1
----0 1
11--- 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 pg7 pg8 [136] [221] [1256] [220]
1---- 1
-1--- 1
--01- 1
---10 1
.names pg13 [301] [303] [1270] [1271] [134]
11--- 1
1-1-1 1
1--11 1
.names pg1 [190] [378] [1213] [1219] [68]
--00- 1
0---0 1
-0--0 1
.names pg5 pg4 pg3 pg2 pg1 [146]
000-- 1
1-00- 1
-000- 1
-00-1 1
.names pg7 pg9 pg8 pg10 [56]
0101 1
0110 1
1010 1
.names pg7 pg9 pg8 pg10 pg11 [227]
11111 1
01000 1
.names pg6 pg5 pg4 [136]
111 1
.names pg3 pg2 [145]
01 1
.names pg7 pg9 pg8 pg10 pg11 [152]
01000 1
.names pg6 pg5 pg4 [1320] [165]
0-0- 1
1111 1
.names ng273 ng213 [107] [235] [1329] [170]
---1- 1
1-0-- 1
-0--1 1
.names pg7 pg9 pg8 pg10 pg11 [181]
11-0- 1
-100- 1
-10-1 1
0111- 1
0-101 1
.names pg5 pg4 pg3 pg2 [186]
01-1 1
10-1 1
1-10 1
-010 1
.names pg5 pg4 pg3 pg2 pg1 [185]
1-1-- 1
-0-1- 1
---10 1
.names pg7 pg9 pg10 [189]
-10 1
100 1
.names pg6 pg5 pg9 pg10 pg11 [221]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names ng38 ng37 [133] [1324] [57]
1111 1
.names [134] [189] [66] [1353] [63]
-11- 1
11-1 1
.names ng44 [147] [65]
01 1
.names [305] [306] [307] [1266] [1352] [66]
1--01 1
-1-01 1
--101 1
.names ng54 [104] [68] [73] [1220] [69]
0--1- 1
010-1 1
.names pg6 [68] [185] [77] [1220] [71]
1--1- 1
101-1 1
.names pg12 pg13 ng40 [1239] [1240] [72]
10000 1
.names ng32 [145] [378] [1213] [1214] [73]
111-1 1
11-11 1
.names ng32 [186] [378] [1213] [1214] [77]
111-1 1
11-11 1
.names pg7 pg9 pg8 pg10 ng34 [84]
110-1 1
11-01 1
01111 1
.names pg0 [1239] [1240] [1247] [1336] [101]
10011 1
.names pg12 pg13 [68] [1337] [102]
0101 1
.names ng32 [378] [1213] [1214] [1338] [103]
11-11 1
1-111 1
.names pg1 pg12 pg13 [174] [68] [105]
10110 1
.names pg11 ng34 [173] [119]
111 1
.names pg2 [133] [167] [1324] [125]
1111 1
.names pg2 ng171 [134] [1327] [1328] [130]
10-1- 1
1-11- 1
1-1-1 1
.names pg7 pg6 pg9 pg10 [232]
1100 1
.names pg7 pg8 [136] [237] [1256] [235]
00-1- 1
001-1 1
.names pg6 pg5 pg4 pg10 pg11 [237]
00000 1
.names pg0 [162] [1239] [1240] [1247] [239]
11001 1
.names pg12 pg13 ng43 [68] [241]
0100 1
.names [134] [254] [1319] [250]
1-1 1
-11 1
.names [107] [305] [306] [307] [1266] [254]
01--0 1
0-1-0 1
0--10 1
.names pg7 pg9 pg8 pg10 ng34 [256]
10-11 1
1-011 1
.names ng32 [378] [1213] [1214] [1302] [264]
11-11 1
1-111 1
.names pg12 pg13 [1239] [1240] [1303] [265]
10001 1
.names pg1 pg12 pg13 [157] [68] [266]
10110 1
.names pg12 pg13 ng544 [68] [275] [273]
0---1 1
0101- 1
.names [305] [306] [307] [1300] [275]
0001 1
.names pg12 pg13 [1239] [1240] [1296] [277]
10001 1
.names pg0 [1239] [1240] [1247] [1298] [279]
10011 1
.names ng32 [378] [1213] [1214] [1289] [284]
11-11 1
1-111 1
.names pg1 pg12 pg13 [149] [68] [285]
10110 1
.names pg0 ng29 [1239] [1240] [1247] [286]
10001 1
.names pg3 [1239] [1240] [1247] [1290] [287]
10011 1
.names pg12 ng171 [134] [68] [296]
00-- 1
0-11 1
.names pg2 pg1 [227] [1264] [301]
1111 1
.names pg7 pg9 pg8 pg10 [1269] [303]
01011 1
01101 1
10101 1
.names [56] [309] [1259] [1260] [305]
-1-1 1
1-11 1
.names pg6 ng36 ng273 [1261] [1262] [306]
01--1 1
--111 1
.names pg2 [227] [1264] [307]
111 1
.names pg4 pg2 ng35 [309]
011 1
.names pg9 pg10 [1275] [1276] [314]
0111 1
.names ng511 ng134 ng213 [1279] [1280] [315]
10-1- 1
-00-1 1
.names pg6 pg5 pg4 pg3 pg1 [320]
01-11 1
-1011 1
.names pg6 pg4 pg3 pg2 pg1 [324]
10110 1
.names pg5 pg3 pg2 pg1 [325]
1110 1
.names pg6 [194] [1239] [1240] [1247] [333]
01--- 1
-11-- 1
-1-1- 1
-1--0 1
.names pg7 pg6 pg8 ng30 [336]
1011 1
.names pg5 pg4 pg3 [344]
000 1
.names pg7 pg9 pg8 pg10 ng31 [347]
0101- 1
011-0 1
.names pg7 pg5 pg8 pg10 pg11 [363]
00000 1
.names pg7 pg9 pg8 pg10 pg11 [378]
10-1- 1
1-01- 1
1--10 1
.names pg7 pg9 pg8 pg10 ng30 [1213]
11-0- 1
0-1-1 1
.names pg13 pg12 [1214]
00 1
.names pg6 pg5 pg4 pg2 pg1 [1219]
-1-10 1
1-010 1
.names pg13 pg12 [1220]
10 1
.names pg9 pg8 pg10 ng31 [1232]
000- 1
0-00 1
.names pg9 pg8 pg10 ng31 [1235]
01-0 1
-110 1
.names pg7 pg6 pg9 pg8 ng30 [1236]
-0--0 1
0-00- 1
.names pg4 pg3 pg0 ng46 [1238]
---0 1
010- 1
.names pg11 [98] [347] [1232] [1238] [1239]
----1 1
0-1-- 1
00-1- 1
.names pg11 [98] [344] [1235] [1236] [1240]
--1-- 1
1---1 1
10-1- 1
.names pg4 pg1 pg0 pg12 [1243]
0111 1
.names pg5 pg4 pg2 pg12 [1244]
1--- 1
-0-- 1
--0- 1
---1 1
.names pg13 pg12 [1247]
01 1
.names pg7 pg6 pg9 pg10 [1248]
0--- 1
---0 1
-11- 1
.names [213] [1239] [1240] [1247] [1248] [1250]
11--- 1
1-1-- 1
1--0- 1
1---1 1
.names [215] [324] [325] [1255]
100 1
.names pg9 pg10 pg11 [1256]
111 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 pg6 pg5 pg4 pg3 [1264]
1111 1
.names pg13 ng32 [378] [1213] [1266]
1--- 1
-11- 1
-1-1 1
.names pg6 pg4 pg2 pg1 [1268]
1011 1
.names pg6 pg4 pg2 pg1 [1269]
1110 1
.names ng273 [139] [144] [1268] [1270]
-11- 1
1--1 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 pg8 pg11 ng37 [1279]
111 1
.names pg6 pg4 pg0 [1280]
111 1
.names pg1 pg2 [1281]
0- 1
-0 1
.names pg5 pg4 pg3 pg2 pg1 [1283]
00-1- 1
-0-11 1
1-111 1
.names pg5 pg4 pg3 pg2 pg0 [1284]
1---1 1
-0--1 1
--0-1 1
---11 1
.names [203] [216] [1283] [1286]
01- 1
-10 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 [96] [68] [284] [1220] [1288] [1292]
1---- 1
--1-- 1
-0-11 1
.names [154] pg2 [1296]
11 1
.names pg6 pg12 ng36 ng273 [1261] [1297]
001-- 1
-0-11 1
.names pg5 pg4 pg3 pg2 [1298]
1011 1
.names pg13 ng32 [378] [1213] [1300]
00-- 1
0-00 1
.names pg5 pg4 pg3 pg2 [1302]
10-1 1
1-01 1
.names pg4 pg3 pg1 [1303]
101 1
.names [160] pg6 [1311]
11 1
.names [256] [1239] [1240] [1247] [1311] [1312]
1---- 1
-0011 1
.names pg6 pg4 pg12 [1313]
100 1
.names pg6 pg4 pg12 ng273 [1314]
1001 1
.names pg6 pg5 [152] [1318]
111 1
.names pg9 pg8 pg10 pg11 [1319]
1011 1
.names pg7 pg9 pg10 pg11 [1320]
1001 1
.names pg3 ng171 [134] [165] [1318] [1321]
-0--1 1
--1-1 1
00-1- 1
.names ng171 [134] [239] [241] [1314] [1323]
--1-- 1
---1- 1
0---1 1
-1--1 1
.names pg5 pg3 [201] [314] [1281] [1324]
111-0 1
11-10 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 [176] pg5 [1335]
11 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 [103] [1239] [1240] [1247] [1335] [1340]
1---- 1
-0011 1
.names pg6 pg5 pg4 pg3 pg11 [1352]
10111 1
.names pg6 pg5 pg4 [1353]
101 1
.end