.model top
.inputs pg7 pg6 pg5 pg4 pg3 pg2 pg1 pg0 pg9 pg8 pclk pg10 pg12 pg11 pg14 pg13 \
pg16 pg15
.outputs pg701bf pg702 pg726 pg727 pg729
.latch    ng149 ng31 re pclk 2
.latch    ng125 ng27 re pclk 2
.latch    ng129 ng28 re pclk 2
.latch    ng140 ng29 re pclk 2
.latch    ng144 ng30 re pclk 2
.latch    ng328 ng23 re pclk 2
.latch    ng109 ng24 re pclk 2
.latch    ng113 ng25 re pclk 2
.latch    ng118 ng26 re pclk 2
.latch    ng498 ng72 re pclk 2
.latch    ng590 ng83 re pclk 2
.latch    ng707 ng94 re pclk 2
.latch    ng503 ng73 re pclk 2
.latch    ng577 ng82 re pclk 2
.latch    ng713 pg729 re pclk 2
.latch    ng526 ng74 re pclk 2
.latch    ng613 ng85 re pclk 2
.latch    ng693 ng92 re pclk 2
.latch    ng332 ng22 re pclk 2
.latch    ng531 ng75 re pclk 2
.latch    ng608 ng84 re pclk 2
.latch    ng705 pg726 re pclk 2
.latch    ng154 ng32 re pclk 2
.latch    ng242 ng43 re pclk 2
.latch    ng379 ng54 re pclk 2
.latch    ng447 ng65 re pclk 2
.latch    ng159 ng33 re pclk 2
.latch    ng237 ng42 re pclk 2
.latch    ng384 ng55 re pclk 2
.latch    ng441 ng64 re pclk 2
.latch    ng166 ng34 re pclk 2
.latch    ng252 ng45 re pclk 2
.latch    ng365 ng52 re pclk 2
.latch    ng438 ng63 re pclk 2
.latch    ng175 ng35 re pclk 2
.latch    ng247 ng44 re pclk 2
.latch    ng373 ng53 re pclk 2
.latch    ng427 ng62 re pclk 2
.latch    ng189 ng36 re pclk 2
.latch    ng303 ng47 re pclk 2
.latch    ng405 ng58 re pclk 2
.latch    ng469 ng69 re pclk 2
.latch    ng569 ng80 re pclk 2
.latch    ng687 ng91 re pclk 2
.latch    ng193 ng37 re pclk 2
.latch    ng260 ng46 re pclk 2
.latch    ng408 ng59 re pclk 2
.latch    ng464 ng68 re pclk 2
.latch    ng573 ng81 re pclk 2
.latch    ng682 ng90 re pclk 2
.latch    ng198 ng38 re pclk 2
.latch    ng315 ng49 re pclk 2
.latch    ng392 ng56 re pclk 2
.latch    ng459 ng67 re pclk 2
.latch    ng208 ng39 re pclk 2
.latch    ng309 ng48 re pclk 2
.latch    ng397 ng57 re pclk 2
.latch    ng451 ng66 re pclk 2
.latch    ng214 ng40 re pclk 2
.latch    ng360 ng51 re pclk 2
.latch    ng536 ng76 re pclk 2
.latch    ng663 ng87 re pclk 2
.latch    ng218 ng41 re pclk 2
.latch    ng321 ng50 re pclk 2
.latch    ng541 ng77 re pclk 2
.latch    ng657 ng86 re pclk 2
.latch    ng416 ng60 re pclk 2
.latch    ng494 ng71 re pclk 2
.latch    ng548 ng78 re pclk 2
.latch    ng675 ng89 re pclk 2
.latch    ng424 ng61 re pclk 2
.latch    ng477 ng70 re pclk 2
.latch    ng565 ng79 re pclk 2
.latch    ng669 ng88 re pclk 2
.names pg15 pg701bf
0 1
.names ng34 ng87 ng652 ng653 ng172 [1478] pg702
1-00-1 1
-000-1 1
--0001 1
.names pg14 ng90 [1428] [1429] pg727
00-- 1
-000 1
.names pg14 ng31 ng29 ng30 ng92 [465] ng149
111--- 1
11-0-- 1
11--10 1
10010- 1
1001-1 1
.names pg14 ng27 ng24 [467] [468] [1415] ng125
111--- 1
11---0 1
11-00- 1
1001-1 1
100-11 1
.names pg14 [258] ng129
11 1
.names pg14 ng29 ng92 [465] ng140
100- 1
10-1 1
1110 1
.names pg14 ng29 ng30 ng92 [465] ng144
111-- 1
1000- 1
100-1 1
1-110 1
.names pg15 ng23 ng332 ng22 ng328
01-- 1
-1-1 1
1-11 1
.names pg14 ng24 ng46 [168] [467] [1408] ng109
10--1- 1
111-0- 1
11-10- 1
11--01 1
1000-0 1
.names pg14 ng24 ng25 [467] [468] ng113
111-- 1
1001- 1
100-1 1
1-100 1
.names pg14 ng24 ng25 ng26 [467] [468] ng118
11-1-- 1
1-01-- 1
1--100 1
10101- 1
1010-1 1
.names [434] [435] [436] ng498
1-- 1
-1- 1
--1 1
.names ng83 ng589 ng524 [264] [410] [411] ng590
101--- 1
-011-- 1
10--1- 1
10---1 1
.names pg11 pg14 ng94 ng89 ng707
011- 1
11-0 1
.names [403] [404] [405] ng503
1-- 1
-1- 1
--1 1
.names pg9 pg14 ng82 ng91 [1428] [1429] ng577
10---- 1
-110-- 1
-11-1- 1
-11--1 1
1--100 1
.names pg14 ng83 ng597 [410] [411] ng713
1101- 1
110-1 1
.names ng74 ng589 [264] [1437] [1438] [1439] ng526
100--- 1
0011-- 1
001-1- 1
001--1 1
10-000 1
.names pg11 pg14 ng85 ng91 [1428] [1429] ng613
10---- 1
-110-- 1
-11-1- 1
-11--1 1
1--100 1
.names pg10 pg14 pg13 ng92 ng91 ng86 ng693
-0---- 1
--0--- 1
0--1-1 1
1---11 1
.names pg15 ng22 ng47 ng49 ng48 ng50 ng332
11---- 1
-11--- 1
-1-1-- 1
-1--1- 1
-1---1 1
0-1111 1
.names ng74 ng75 ng589 ng524 [264] ng531
010-- 1
-100- 1
-10-0 1
10011 1
.names pg10 pg14 ng84 ng91 [1428] [1429] ng608
10---- 1
-110-- 1
-11-1- 1
-11--1 1
1--100 1
.names pg14 [370] [376] [377] [467] [468] ng705
11---- 1
1-001- 1
1-00-1 1
.names pg14 [279] ng154
11 1
.names pg7 pg14 ng90 [276] [1428] [1429] ng242
0-01-- 1
-1111- 1
-111-1 1
.names pg14 ng92 ng54 ng34 ng172 ng379
100-- 1
1111- 1
1-001 1
111-0 1
.names pg14 ng65 [1428] [1429] ng447
11-- 1
1-00 1
.names pg14 ng32 ng33 [218] ng159
101- 1
1-10 1
1101 1
.names ng262 ng259 [275] ng237
001 1
.names ng92 ng54 ng55 ng34 ng172 [1458] ng384
-01--1 1
010--1 1
1-11-1 1
1-1-01 1
-10011 1
.names pg14 ng64 ng63 [1428] [1429] ng441
11-1- 1
11--1 1
1-100 1
.names pg14 ng34 ng172 ng166
101 1
110 1
.names ng45 ng44 ng259 [166] ng252
100- 1
1-01 1
0100 1
.names pg14 ng53 ng91 [223] ng335 [1459] ng365
10-1-- 1
1-110- 1
1-11-0 1
.names pg14 ng63 [410] [411] ng438
11-- 1
1-1- 1
1--1 1
.names pg14 ng35 ng175
10 1
.names ng44 ng259 [166] ng247
101 1
000 1
.names pg14 ng53 ng91 [234] ng335 [1459] ng373
10-1-- 1
1-110- 1
1-11-0 1
.names pg14 [236] ng427
11 1
.names pg14 ng36 ng91 [418] ng189
100- 1
10-1 1
1110 1
.names pg12 pg14 ng47 ng91 [158] ng303
11-0- 1
11--0 1
-1111 1
.names pg14 ng58 ng57 ng335 ng405
11-0 1
1011 1
.names ng69 ng68 ng67 ng476 [329] [1464] ng469
10-0-- 1
1-00-- 1
1--000 1
01101- 1
0110-1 1
.names pg7 pg14 ng80 ng91 [1428] [1429] ng569
10---- 1
-110-- 1
-11-1- 1
-11--1 1
1--100 1
.names pg10 pg14 pg13 ng91 ng90 ng86 ng687
-0---- 1
--0--- 1
0--1-1 1
1---11 1
.names pg14 ng36 ng91 ng37 [418] ng193
11-1- 1
1000- 1
10-01 1
1-110 1
.names ng45 ng44 ng46 ng259 [166] ng260
0-10- 1
-010- 1
--101 1
11000 1
.names pg14 ng58 ng59 ng335 ng408
101- 1
1-10 1
1101 1
.names ng68 ng67 ng476 [329] [1464] ng464
100-- 1
0101- 1
010-1 1
1-000 1
.names pg8 pg14 ng91 ng81 [1428] [1429] ng573
10---- 1
-101-- 1
-1-11- 1
-1-1-1 1
1-1-00 1
.names pg10 pg14 pg13 ng90 ng86 ng682
-0--- 1
--0-- 1
1---1 1
---11 1
.names pg14 ng36 ng91 ng37 ng38 [418] ng198
11--1- 1
1--01- 1
1-1-10 1
10010- 1
10-101 1
.names pg14 ng91 ng49 ng48 [158] ng315
10-1- 1
1--10 1
111-1 1
.names [261] [1468] ng392
11 1
.names pg14 ng67 [329] [1428] [1429] [1464] ng459
1011-- 1
101-1- 1
10-1-1 1
10--11 1
1101-0 1
110-10 1
.names pg14 ng92 ng34 ng39 ng172 ng208
10-0- 1
1111- 1
1-001 1
11-10 1
.names pg14 ng47 ng91 ng48 [158] ng309
110-- 1
11--0 1
1-111 1
.names pg14 ng58 ng57 ng335 ng397
1-10 1
1001 1
.names pg14 ng65 ng66 [1428] [1429] ng451
1-11- 1
1-1-1 1
11-00 1
.names pg14 ng92 ng34 ng39 ng40 ng172 ng214
1--11- 1
111-1- 1
10-00- 1
11--10 1
1-0001 1
.names pg14 ng53 ng91 ng51 ng335 [1459] ng360
1000-- 1
1-110- 1
1-11-0 1
10-011 1
.names ng74 ng75 ng76 ng589 ng524 [264] ng536
0-10-- 1
-010-- 1
--100- 1
--10-0 1
110011 1
.names pg11 pg14 ng94 ng87 ng663
110- 1
01-1 1
.names pg14 [290] ng218
11 1
.names pg14 ng91 ng49 ng50 [158] ng321
101-- 1
1-1-0 1
11-11 1
.names [274] [1472] ng541
11 1
.names pg14 pg13 ng657
11 1
.names [184] [185] ng416
1- 1
-1 1
.names [181] [182] [183] ng494
1-- 1
-1- 1
--1 1
.names pg9 pg14 ng90 [255] [1428] [1429] ng548
0-01-- 1
-1111- 1
-111-1 1
.names pg11 pg14 ng89 ng88 ng675
011- 1
11-1 1
.names [171] [174] ng424
1- 1
-1 1
.names pg14 [247] [1428] [1429] ng477
111- 1
11-1 1
.names pg6 pg14 ng91 ng79 [1428] [1429] ng565
10---- 1
-101-- 1
-1-11- 1
-1-1-1 1
1-1-00 1
.names pg11 pg14 ng87 ng88 ng669
111- 1
01-1 1
.names ng92 ng34 ng39 ng40 ng172 [1475] ng652
0-00-1 1
-00011 1
.names ng53 ng91 ng61 ng335 [1459] [1476] ng653
101--1 1
1-1111 1
.names ng27 ng24 [467] [468] [1415] [1477] [222]
1----- 1
-1---- 1
----0- 1
-----1 1
--00-- 1
.names pg14 [1428] [1429] ng476
0-- 1
-00 1
.names ng52 ng58 ng91 ng59 ng51 ng335 [223]
1---0- 1
101--- 1
1-10-- 1
0-0-1- 1
1-1--0 1
01-111 1
.names pg9 pg14 ng90 [1428] [1429] ng589
-01-- 1
1-0-- 1
--100 1
.names ng47 ng49 ng48 ng50 [201]
1111 1
.names pg15 ng47 ng49 ng48 ng50 [226]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names ng31 ng29 ng30 ng92 [465] [218]
1010- 1
101-1 1
.names ng31 ng29 ng30 ng92 [465] [1443] ng172
1010-1 1
101-11 1
.names ng85 ng84 ng64 ng90 [168]
0-11 1
-001 1
.names ng90 [1437] [1438] [1439] [1442] ng618
0---- 1
-0001 1
.names ng82 ng74 ng77 ng79 [1438] [1439] ng524
----1- 1
-----1 1
0-1--- 1
1-0--- 1
-0-1-- 1
-1-0-- 1
.names ng52 ng53 ng91 ng51 ng335 [1459] [234]
01---- 1
-1-0-- 1
-11-0- 1
-11--0 1
1001-- 1
10-111 1
.names ng53 ng62 ng91 ng61 ng335 [1459] [236]
01---- 1
-1-0-- 1
-11-0- 1
-11--0 1
1001-- 1
10-111 1
.names pg15 ng23 ng332 ng22 [1455] ng262
00--1 1
-00-1 1
1--01 1
-0-01 1
.names pg4 ng46 ng90 ng78 [168] ng270
-1--1 1
110-- 1
-110- 1
000-0 1
-0110 1
.names ng92 ng54 ng34 ng56 ng172 [158]
-0--- 1
---0- 1
1-1-- 1
1---0 1
.names pg8 ng85 ng84 ng64 ng90 ng597
00-1- 1
-0-11 1
--001 1
00--0 1
1-0-0 1
.names ng69 ng68 ng67 ng70 [329] [1464] [247]
0--1-- 1
-0-1-- 1
--01-- 1
---100 1
11101- 1
1110-1 1
.names ng36 ng91 ng38 [347] [418] [1444] ng335
---1-- 1
001--1 1
0-1-11 1
.names ng74 ng75 ng78 ng524 [264] [1471] [255]
0-1--- 1
-01--- 1
--10-- 1
--1-0- 1
--1--0 1
110111 1
.names ng92 ng34 ng35 [256]
10- 1
0-1 1
.names pg7 pg14 ng90 [1428] [1429] ng259
-01-- 1
1-0-- 1
--100 1
.names ng27 ng28 ng24 [467] [468] [1415] [258]
11---- 1
-11--- 1
-1---0 1
-1-00- 1
0001-1 1
000-11 1
.names pg3 ng85 ng84 ng64 ng90 ng77 ng104
1---0- 1
----10 1
-0-11- 1
--001- 1
.names ng92 ng54 ng55 ng34 ng56 ng172 [261]
-0--1- 1
--0-1- 1
1--11- 1
1---10 1
011-0- 1
-11001 1
.names ng36 ng91 ng38 [414] [418] [1444] [264]
---1-- 1
000--1 1
0-0-11 1
.names ng74 ng75 ng76 ng77 ng524 [264] [274]
---1-- 1
111-11 1
.names pg15 ng23 ng22 ng42 [201] [226] [275]
---1-- 1
00--1- 1
1-0-1- 1
-00-1- 1
10--10 1
.names pg15 ng23 ng332 ng22 ng43 [1455] [276]
----10 1
01--1- 1
-1-11- 1
1-111- 1
00--01 1
-00-01 1
1--001 1
-0-001 1
.names ng31 ng29 ng30 ng92 ng32 [465] [279]
0---1- 1
-1--1- 1
--0-1- 1
---110 1
10100- 1
101-01 1
.names ng92 ng34 ng39 ng40 ng41 ng172 [290]
--1-1- 1
---11- 1
11--1- 1
1---10 1
0-000- 1
-00001 1
.names pg15 ng23 ng332 ng22 ng43 [1455] [166]
----0- 1
-----0 1
01---- 1
-1-1-- 1
1-11-- 1
.names ng42 ng45 [168] [1409] [1411] [231]
001-- 1
00-11 1
01001 1
10010 1
11000 1
.names pg1 ng75 ng43 ng90 [168] [230]
--0-1 1
-001- 1
1-00- 1
-1110 1
0-100 1
.names pg6 ng35 ng62 ng91 ng59 ng90 [268]
--11-1 1
---011 1
11---0 1
.names ng53 ng91 ng60 ng335 [1459] [1473] [171]
101--1 1
1-1111 1
.names pg14 ng53 ng91 ng61 ng335 [1459] [174]
10-1-- 1
1-110- 1
1-11-0 1
.names pg0 pg14 ng63 ng90 [1428] [1429] [181]
100--- 1
1-0100 1
.names pg3 pg14 ng63 ng90 [1428] [1429] [182]
101--- 1
1-1100 1
.names pg14 ng90 ng71 [1428] [1429] [183]
101-- 1
1-11- 1
1-1-1 1
.names ng53 ng91 ng60 ng335 [1459] [1473] [184]
100--1 1
1-0111 1
.names pg14 ng53 ng91 ng60 ng335 [1459] [185]
10-1-- 1
1-110- 1
1-11-0 1
.names ng53 ng62 ng91 ng61 ng335 [1459] [329]
111111 1
.names ng92 ng34 ng172 ng618 [347]
0--1 1
-011 1
.names ng90 [268] [1437] [1438] [1439] [1442] [370]
01---- 1
-10001 1
.names pg6 ng90 [1437] [1438] [1439] [1442] [376]
10---- 1
1-0001 1
-10001 1
.names [231] [230] [410] [411] [1450] [1452] [377]
--1--1 1
---1-1 1
111-1- 1
11-11- 1
.names pg2 pg14 ng63 ng90 [1428] [1429] [403]
100--- 1
1-0100 1
.names pg5 pg14 ng63 ng90 [1428] [1429] [404]
101--- 1
1-1100 1
.names pg14 ng73 ng90 [1428] [1429] [405]
110-- 1
11-1- 1
11--1 1
.names ng90 [256] [1437] [1438] [1439] [1442] [410]
01---- 1
-10001 1
.names ng90 ng38 [1437] [1438] [1439] [1442] [411]
111--- 1
11-1-- 1
11--1- 1
11---0 1
.names ng92 ng34 ng172 ng618 [414]
0--1 1
-111 1
.names ng92 ng34 ng39 ng40 ng41 ng172 [418]
0-001- 1
-00011 1
.names pg1 pg14 ng63 ng90 [1428] [1429] [434]
100--- 1
1-0100 1
.names pg4 pg14 ng63 ng90 [1428] [1429] [435]
101--- 1
1-1100 1
.names pg14 ng72 ng90 [1428] [1429] [436]
110-- 1
11-1- 1
11--1 1
.names ng27 ng28 ng24 [467] [468] [1415] [465]
0101-1 1
010-11 1
.names ng45 ng270 ng104 [471] [473] [1414] [467]
000--- 1
00-1-- 1
-001-- 1
00--00 1
-00-00 1
.names pg4 ng46 ng90 ng78 [168] [468]
000-0 1
-0110 1
.names pg2 ng44 ng90 ng76 [168] [471]
000-0 1
-0110 1
.names ng43 ng42 [168] [1411] [1412] [473]
-11-- 1
11-1- 1
-1-11 1
.names pg4 ng90 ng78 [1408]
10- 1
-10 1
.names pg3 ng90 ng77 [1409]
10- 1
-10 1
.names pg2 ng90 ng76 [1410]
10- 1
-10 1
.names pg0 ng74 ng90 [1411]
-01 1
1-0 1
.names pg1 ng75 ng90 [1412]
-01 1
1-0 1
.names ng43 ng44 [168] [1410] [1412] [1414]
1-1-- 1
-11-- 1
-1-1- 1
1---1 1
-000- 1
.names ng26 ng25 [1415]
11 1
.names ng72 ng73 ng69 ng71 ng70 [1428]
-01-- 1
-10-- 1
00-00 1
.names ng72 ng73 ng68 ng67 ng71 ng70 [1429]
0-1--- 1
1-0--- 1
---01- 1
---10- 1
1----1 1
-1---1 1
----11 1
.names ng82 ng74 ng77 ng79 [1437]
0-1- 1
1-0- 1
-0-1 1
-1-0 1
.names ng75 ng80 ng81 ng76 [1438]
01-- 1
10-- 1
--01 1
--10 1
.names ng82 ng80 ng81 ng78 ng79 [1439]
1--1- 1
-1-1- 1
--11- 1
---11 1
00000 1
.names pg16 ng83 ng66 [1442]
100 1
.names ng33 ng32 [1443]
11 1
.names ng37 ng90 [1437] [1438] [1439] [1442] [1444]
111--- 1
11-1-- 1
11--1- 1
11---0 1
.names ng44 ng46 [168] [1408] [1410] [1450]
001-- 1
00-11 1
01001 1
10010 1
11000 1
.names pg5 ng83 ng90 [1437] [1438] [1439] [1452]
-11--- 1
1-0--- 1
--11-- 1
--1-1- 1
--1--1 1
.names ng42 ng47 ng49 ng48 ng50 [1455]
11111 1
.names pg14 ng92 ng54 ng34 ng56 ng172 [1458]
1-0--- 1
1---0- 1
11-1-- 1
11---0 1
.names ng59 ng58 [1459]
11 1
.names ng58 ng91 ng59 ng90 ng335 [1464]
---0- 1
101-1 1
.names pg14 ng92 ng54 ng34 ng56 ng172 [1468]
1-0--- 1
1---0- 1
11-1-- 1
11---0 1
.names ng77 ng76 [1471]
11 1
.names ng74 ng75 ng589 ng524 [264] [1471] [1472]
0-0--- 1
-00--- 1
--00-- 1
--0-0- 1
--0--0 1
.names ng61 pg14 [1473]
01 1
.names ng88 ng41 [1475]
11 1
.names ng89 ng62 [1476]
11 1
.names ng94 ng28 [1477]
1- 1
-0 1
.names [222] ng90 [1478]
10 1
.end