.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 pg1 [149] ng523 ng534 [286] [287] [1220] [1292] pg550
----1--- 1
-----1-- 1
-------1 1
1111--1- 1
.names pg6 pg3 pg12 ng36 ng553 [312] [1266] [1299] pg530
-------1 1
-00-110- 1
00011-0- 1
.names pg12 [76] [133] ng553 [276] [1300] pg539
-11--- 1
0---1- 1
0--0-1 1
.names pg12 pg13 [88] [96] [78] [265] [266] [1302] pg549
--1----- 1
---1---- 1
-----1-- 1
------1- 1
00--0--1 1
.names ng279 [256] [342] [343] [344] [1238] [1247] [1311] pg542
0------- 1
-1------ 1
--000011 1
.names pg12 [164] ng553 [134] [239] [241] [1266] [1314] pg532
----1--- 1
-----1-- 1
01------ 1
---1---1 1
--1---01 1
.names [126] [342] [343] [344] [1238] [1282] [1324] [1326] pg537
1------- 1
-1---111 1
--1--111 1
---1-111 1
----1111 1
.names pg12 pg13 ng42 [119] [342] [343] [344] [1238] pg548
---1---- 1
100-0000 1
.names pg12 pg13 [78] [100] [101] [102] [105] [1338] pg551
---1---- 1
----1--- 1
-----1-- 1
------1- 1
000----1 1
.names pg12 pg13 [180] [84] [342] [343] [344] [1238] pg547
---1---- 1
101-0000 1
.names ng40 [69] [71] [342] [343] [344] [1238] [1247] pg552
-1------ 1
--1----- 1
0--00001 1
.names [133] ng553 [134] [59] [1266] [1314] [1324] [1351] pg535
---1---- 1
--1--1-- 1
-1--01-- 1
1-----11 1
.names ng41 pg546
0 1
.names pg7 pg4 pg0 pg10 ng511
1000 1
.names pg12 pg13 ng32 ng523 ng534 ng507
001-1 1
01-11 1
.names pg7 pg6 pg9 pg8 pg10 ng508
01101 1
11010 1
10000 1
.names pg7 pg5 pg9 pg8 pg10 pg11 ng509
00-000 1
101111 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 [78] [342] [343] [344] [1238] [1243] [1244] ng506
11----- 1
1-1---- 1
1--1--- 1
1---1-- 1
1----0- 1
-1----1 1
--1---1 1
---1--1 1
----1-1 1
-----01 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 pg7 pg6 pg9 pg8 pg10 pg11 ng30 ng31 ng513
---0---- 1
00------ 1
-0----0- 1
0-0----0 1
-10----0 1
0---1--0 1
0----0-0 1
--0---00 1
-1--11-0 1
----1100 1
.names ng279 [213] [342] [343] [344] [1238] [1247] [1248] ng514
111----- 1
11-1---- 1
11--1--- 1
11---1-- 1
11----0- 1
11-----1 1
.names pg7 pg6 pg9 pg8 pg10 pg11 ng515
-----0 1
00---- 1
0-00-- 1
-01-0- 1
0-0-0- 1
111-1- 1
-1010- 1
.names pg6 pg5 pg4 pg3 pg2 pg1 ng516
---0-- 1
----00 1
000--- 1
00--0- 1
00---0 1
-01--0 1
-00-11 1
111-11 1
.names pg7 pg6 pg5 pg4 pg9 pg8 pg10 pg11 ng517
11------ 1
1-1----- 1
-01----- 1
-10----- 1
1--1---- 1
-1-0---- 1
--10---- 1
1---0--- 1
-1--0--- 1
--1-0--- 1
0----1-- 1
-1---1-- 1
--1--1-- 1
---1-1-- 1
----01-- 1
1----0-- 1
----0-1- 1
1-----0- 1
-1----0- 1
--1---0- 1
----1-0- 1
-----10- 1
----0--1 1
------01 1
1------0 1
-1-----0 1
--1----0 1
----1--0 1
-----1-0 1
------10 1
00--1--- 1
0-0-1--- 1
-0-11--- 1
--011--- 1
0--01--- 1
-0--10-- 1
--0-10-- 1
---010-- 1
00----1- 1
0-0---1- 1
-0-1--1- 1
--01--1- 1
0--0--1- 1
-0---01- 1
--0--01- 1
---0-01- 1
00-----1 1
0-0----1 1
-0-1---1 1
--01---1 1
0--0---1 1
-0---0-1 1
--0--0-1 1
---0-0-1 1
.names pg12 [76] [133] ng553 [298] [1266] ng518
-01--- 1
0---1- 1
0--1-0 1
.names pg7 pg6 pg10 ng30 ng460 [217] ng519
-1--01 1
1-1-01 1
1--101 1
.names pg12 pg13 [342] [343] [344] [1238] [1290] [88]
1000001 1
.names pg3 pg13 ng33 [96]
100 1
.names pg5 pg4 pg2 [149]
011 1
.names pg5 pg3 pg2 pg1 [316] [317] [1276] [1277] [76]
--0----- 1
---0---- 1
0-----0- 1
-0----0- 1
0------0 1
-0-----0 1
----000- 1
----00-0 1
.names pg5 pg4 pg3 pg12 pg13 [342] [343] [1238] [133]
---101-- 1
---10-1- 1
---10--1 1
00010--- 1
.names pg6 pg5 pg4 pg3 pg2 [157]
-10-- 1
-01-1 1
--001 1
-1-10 1
1110- 1
.names pg6 [117] [194] [342] [343] [344] [1238] [1247] ng279
-0------ 1
0-1----- 1
--11---- 1
--1-1--- 1
--1--1-- 1
--1---1- 1
--1----0 1
.names pg3 ng54 ng553 [134] [165] [1266] [1318] [1319] [164]
---1--1- 1
---1---1 1
--1--01- 1
0-1-10-- 1
101--0-1 1
.names pg5 pg4 pg3 pg2 pg1 [162]
010-- 1
-101- 1
-01-1 1
--001 1
-1-10 1
1110- 1
.names pg6 pg5 pg4 pg3 pg2 [174]
-01-- 1
1-10- 1
--110 1
10-10 1
.names pg7 pg6 pg9 pg8 pg10 pg11 [180]
101-1- 1
111-0- 1
-1100- 1
-110-1 1
01111- 1
01-101 1
.names pg6 pg4 ng54
0- 1
-0 1
.names pg5 pg2 [104]
0- 1
-0 1
.names pg6 pg5 pg4 pg3 pg2 pg1 ng523
-1--10 1
101--1 1
010--1 1
01-1-1 1
-101-1 1
1-10-1 1
-010-1 1
0-1-11 1
1--011 1
1--101 1
1-0-10 1
.names pg5 pg11 [137]
01 1
.names pg7 pg6 pg4 pg2 pg9 pg8 pg10 ng35 [192]
--01---1 1
0110101- 1
0110110- 1
1110010- 1
.names pg3 pg2 [137] [192] [227] [312] [313] [1264] ng553
1-11---- 1
00---1-- 1
00----1- 1
-1--1--1 1
.names pg7 pg9 pg10 [117]
110 1
.names pg8 ng34 [194]
0- 1
-0 1
.names pg7 pg9 pg8 pg10 pg11 ng30 ng32 [78]
------0 1
0-0---- 1
0----0- 1
10-0--- 1
-000--- 1
-0-0-0- 1
11111-- 1
-11110- 1
.names pg7 pg6 pg4 pg2 pg1 pg9 pg8 pg10 [200]
01011101 1
01110101 1
01110110 1
11011010 1
11110010 1
10010000 1
.names pg7 pg9 pg8 pg10 pg11 ng30 ng534
10-1-- 1
1-01-- 1
11-0-- 1
1--10- 1
0-1--1 1
.names pg5 pg4 pg3 pg2 pg1 pg0 ng460
00110- 1
0001-1 1
-00111 1
111111 1
.names pg7 pg9 pg8 pg10 ng34 [213]
--0-- 1
---0- 1
----0 1
11--- 1
.names pg5 pg4 pg3 pg2 pg1 pg0 [217]
----1- 1
1-1--1 1
-01--1 1
--11-1 1
010--1 1
01-1-1 1
-101-1 1
1--101 1
.names pg2 pg1 pg13 [200] [227] [1264] [1271] [134]
--11--1 1
111-11- 1
.names pg7 pg9 pg8 pg10 pg11 [227]
11111 1
01000 1
.names pg3 pg2 [145]
01 1
.names pg7 pg6 pg5 pg4 pg9 pg10 pg11 [165]
-0-0--- 1
1111001 1
.names pg7 pg6 pg4 pg3 pg9 pg8 pg10 [1330] [170]
-------1 1
0111101- 1
1111010- 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 pg3 pg12 ng44 ng553 [189] [67] [1266] [1352] [59]
-0--11-- 1
0001--0- 1
-0-11-01 1
.names pg2 pg1 pg13 [200] [227] [1264] [1271] [1353] [67]
--11--11 1
111-11-1 1
.names pg12 pg13 ng32 ng54 [104] ng523 ng534 [145] [69]
01-0111- 1
0010--11 1
.names pg6 pg12 pg13 ng32 ng523 ng534 [186] [185] [71]
1001-11- 1
101-11-1 1
.names pg7 pg9 pg8 pg10 ng34 [84]
110-1 1
11-01 1
01111 1
.names pg12 pg13 [342] [343] [344] [1238] [1335] [100]
1000001 1
.names pg0 pg12 pg13 [342] [343] [344] [1238] [1336] [101]
11000001 1
.names pg4 pg2 pg1 pg12 pg13 ng523 ng534 [102]
1100111 1
.names pg1 pg12 pg13 [174] ng523 ng534 [105]
101111 1
.names pg7 pg9 pg8 pg10 pg11 ng34 [119]
001-11 1
110-11 1
10-111 1
0-1111 1
11-011 1
.names pg2 pg12 ng553 [134] [170] [1266] [1327] [1328] [126]
-01-10-- 1
10-1--1- 1
10-1---1 1
101--01- 1
.names pg0 pg12 pg13 [162] [342] [343] [344] [1238] [239]
11010000 1
.names pg12 pg13 ng43 ng523 ng534 [241]
01011 1
.names pg7 pg9 pg8 pg10 ng34 [256]
10-11 1
1-011 1
.names pg12 pg13 [342] [343] [344] [1238] [1303] [265]
1000001 1
.names pg1 pg12 pg13 [157] ng523 ng534 [266]
101111 1
.names pg13 ng523 [200] ng534 [227] [1264] [1271] [1272] [276]
100-0--- 1
1-000--- 1
100--0-- 1
1-00-0-- 1
10--0-0- 1
1--00-0- 1
10---00- 1
1--0-00- 1
100----0 1
1-00---0 1
10----00 1
1--0--00 1
.names pg0 pg12 pg13 ng29 [342] [343] [344] [1238] [286]
11000000 1
.names pg3 [342] [343] [1238] [1247] [1290] [287]
100011 1
.names pg13 ng523 [200] ng534 [227] [1264] [1271] [1272] [298]
101---1- 1
1-10--1- 1
10--11-1 1
1--011-1 1
.names pg7 pg6 pg5 pg4 pg9 pg8 pg10 pg11 [312]
01111011 1
11110101 1
.names pg6 ng36 [313]
01 1
.names pg7 pg4 pg0 pg8 pg10 pg11 ng37 [316]
1001011 1
.names pg7 pg6 pg4 pg0 pg9 pg8 pg10 pg11 [317]
11111111 1
.names pg7 pg6 pg9 pg8 pg10 pg11 ng30 ng31 [342]
0-1010-- 1
0-0000-- 1
-10000-- 1
--00000- 1
0-11-0-0 1
0-0-00-0 1
-10-00-0 1
--0-0000 1
.names pg7 pg6 pg9 pg8 pg10 pg11 ng30 ng31 [343]
-0---10- 1
0-00-1-- 1
0-01-1-0 1
-101-1-0 1
0--111-0 1
-1-111-0 1
--01-100 1
---11100 1
.names pg5 pg4 pg3 [344]
000 1
.names pg13 pg12 [1220]
10 1
.names pg4 pg3 pg0 ng46 [1238]
---0 1
010- 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 pg6 pg5 pg4 pg3 [1264]
1111 1
.names pg7 pg9 pg8 pg10 pg11 pg13 ng30 ng32 [1266]
-----1-- 1
10-1---1 1
1-01---1 1
11-0---1 1
1--10--1 1
0-1---11 1
.names pg5 pg3 pg11 [1271]
011 1
.names pg1 pg2 [1272]
11 1
.names pg6 pg4 pg3 pg0 [1276]
1000 1
.names pg7 pg5 pg9 pg8 pg10 pg11 [1277]
000011 1
.names pg13 pg12 [1282]
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 pg12 pg13 ng32 [96] ng523 ng534 [1288] [1289] [1292]
---1---- 1
01--111- 1
001--1-1 1
.names pg5 pg4 pg3 pg2 pg1 pg0 [1296]
---110 1
0-111- 1
01-1-1 1
-101-1 1
1--101 1
.names pg5 pg4 pg3 pg2 [1298]
1011 1
.names pg0 [342] [343] [344] [1238] [1247] [1296] [1298] [1299]
-000011- 1
100001-1 1
.names pg7 pg9 pg8 pg10 pg11 pg13 ng30 ng32 [1300]
-----0-0 1
0-0--0-- 1
0----00- 1
10-0-0-- 1
-000-0-- 1
-0-0-00- 1
111110-- 1
-111100- 1
.names pg5 pg4 pg3 pg2 [1302]
10-1 1
1-01 1
.names pg4 pg3 pg1 [1303]
101 1
.names pg7 pg6 pg9 pg8 pg10 pg11 [1311]
-10-1- 1
1100-- 1
01-11- 1
-1-011 1
.names pg7 pg6 pg4 pg9 pg8 pg10 pg12 [1314]
0101010 1
1100100 1
.names pg7 pg6 pg5 pg9 pg8 pg10 pg11 [1318]
0111000 1
.names pg9 pg8 pg10 pg11 [1319]
1011 1
.names pg5 pg3 pg2 pg1 [316] [317] [1276] [1277] [1324]
11111--- 1
1111-1-- 1
1111--11 1
.names pg7 pg6 pg2 pg9 pg10 ng38 [1326]
1-1-1- 1
-110-1 1
.names pg7 pg6 pg5 pg3 pg9 pg8 pg10 [1327]
--11-1- 1
11--010 1
.names pg7 pg6 pg4 pg3 pg9 pg8 pg10 [1328]
0111101 1
1111010 1
.names pg7 pg6 pg5 pg4 pg9 pg8 pg10 pg11 [1330]
0000-000 1
10011111 1
01111011 1
.names pg5 pg4 pg3 pg2 pg1 pg0 [1335]
110-1- 1
1-001- 1
11--10 1
1-0-10 1
1101-1 1
.names pg5 pg4 pg3 pg1 [1336]
101- 1
1-10 1
.names ng39 pg4 [1338]
11 1
.names ng37 ng38 [1351]
11 1
.names pg6 pg5 pg4 pg3 pg11 [1352]
10111 1
.names pg6 pg5 pg4 [1353]
101 1
.end