.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 ng53 ng62 ng89 ng61 [157] [208] [1475] [1479] pg702
0----0-1 1
-0---0-1 1
--0--0-1 1
---0-0-1 1
----00-1 1
0-----01 1
-0----01 1
--0---01 1
---0--01 1
----0-01 1
.names ng90 ng476 pg727
01 1
.names pg14 ng31 ng30 [220] ng149
110- 1
11-0 1
1011 1
.names pg14 ng27 ng24 ng25 ng26 [467] [468] ng125
111---- 1
11-0--- 1
11--0-- 1
11---00 1
100111- 1
10011-1 1
.names pg14 ng27 ng28 ng24 ng25 ng26 [467] [468] ng129
111----- 1
1-11---- 1
1-1-0--- 1
1-1--0-- 1
1-1---00 1
1000111- 1
100011-1 1
.names pg14 [259] ng140
11 1
.names pg14 ng30 [220] ng144
101 1
110 1
.names pg15 ng23 ng22 ng328
01- 1
1-1 1
-11 1
.names pg14 ng24 [467] [468] ng109
101- 1
10-1 1
1100 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 pg4 pg1 pg14 ng72 ng63 ng90 ng616 ng498
1-0-1-- 1
-10-0-- 1
--11-0- 1
--11--1 1
1---110 1
-1--010 1
.names pg9 ng90 ng476 ng604 [408] ng590
00-1- 1
-101- 1
00--1 1
-10-1 1
.names pg11 pg14 ng94 ng89 ng707
011- 1
11-0 1
.names pg5 pg2 pg14 ng73 ng63 ng90 ng616 ng503
1-0-1-- 1
-10-0-- 1
--11-0- 1
--11--1 1
1---110 1
-1--010 1
.names pg9 pg14 ng82 ng91 ng616 ng577
10--- 1
-110- 1
-11-1 1
1--10 1
.names ng90 ng38 [256] [1439] [1440] [1442] [1447] ng713
0-1---1 1
11-1--1 1
11--1-1 1
11---01 1
--10011 1
.names pg9 ng74 ng90 ng476 ng604 ng526
000-1 1
-0101 1
010-0 1
-1100 1
.names pg11 pg14 ng85 ng91 ng616 ng613
10--- 1
-110- 1
-11-1 1
1--10 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 pg9 ng74 ng75 ng90 ng476 ng604 ng531
0010-- 1
-0110- 1
0-10-0 1
--1100 1
0100-1 1
-10101 1
.names pg10 pg14 ng84 ng91 ng616 ng608
10--- 1
-110- 1
-11-1 1
1--10 1
.names pg14 ng435 [370] [376] [379] [467] [468] [1452] ng705
1-1----- 1
10-0-1-- 1
10-0--1- 1
1--001-0 1
1--00-10 1
.names pg14 ng31 ng30 ng32 [220] ng154
10-1- 1
1-01- 1
1--10 1
11101 1
.names pg7 ng43 ng90 ng476 ng262 ng242
000-1 1
00-01 1
-0101 1
010-0 1
01-00 1
-1100 1
.names pg14 ng31 ng30 ng92 ng54 ng34 [220] [1443] ng379
1--00--- 1
10-11--- 1
1-011--- 1
1--111-- 1
1--11-0- 1
1--11--0 1
111-0011 1
.names pg14 ng65 [212] ng447
--1 1
11- 1
.names pg14 ng31 ng30 ng32 ng33 [220] ng159
10--1- 1
1-0-1- 1
1--01- 1
1---10 1
111101 1
.names pg7 ng90 ng476 ng262 [275] ng237
00-01 1
0-001 1
-1001 1
.names pg14 [158] [242] ng384
111 1
.names pg14 ng64 ng63 ng616 ng441
11-1 1
1-10 1
.names pg14 ng31 ng30 ng32 ng33 ng34 [220] ng166
10---1- 1
1-0--1- 1
1--0-1- 1
1---01- 1
1----10 1
1111101 1
.names pg7 ng43 ng45 ng44 ng90 ng476 ng262 ng252
001-0-- 1
0-100-- 1
001--0- 1
0-10-0- 1
-01-10- 1
--1010- 1
0-1-0-0 1
0-1--00 1
--1-100 1
01010-1 1
0101-01 1
-101101 1
.names pg14 ng52 ng53 ng51 [157] ng365
11--0 1
1100- 1
10011 1
.names pg14 ng63 ng90 ng38 [256] [1439] [1440] [1442] ng438
11------ 1
1-0-1--- 1
1-11-1-- 1
1-11--1- 1
1-11---0 1
1---1001 1
.names pg14 ng35 ng175
10 1
.names pg7 ng43 ng44 ng90 ng476 ng262 ng247
0010-- 1
001-0- 1
-0110- 1
0-10-0 1
0-1-00 1
--1100 1
0100-1 1
010-01 1
-10101 1
.names pg14 ng52 ng53 ng51 [157] ng373
1-1-0 1
11011 1
.names pg14 ng53 ng62 ng61 [157] ng427
101-- 1
1-10- 1
1-1-0 1
11011 1
.names pg14 ng36 ng91 ng41 [208] ng189
100-- 1
1110- 1
10-11 1
111-0 1
.names pg12 pg14 ng47 ng91 [158] ng303
11-0- 1
11--0 1
-1111 1
.names ng57 [211] [332] ng405
--1 1
11- 1
.names ng69 ng476 [196] ng469
101 1
000 1
.names pg7 pg14 ng80 ng91 ng616 ng569
10--- 1
-110- 1
-11-1 1
1--10 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 ng41 [208] ng193
11-1-- 1
1000-- 1
1-110- 1
1-11-0 1
10-011 1
.names pg7 ng43 ng45 ng44 ng46 ng90 ng476 ng262 ng260
00--10-- 1
0-0-10-- 1
0--010-- 1
00--1-0- 1
0-0-1-0- 1
0--01-0- 1
-0--110- 1
--0-110- 1
---0110- 1
0---10-0 1
0---1-00 1
----1100 1
011100-1 1
01110-01 1
-1110101 1
.names pg14 ng59 [246] ng408
111 1
100 1
.names ng476 [252] ng464
01 1
.names pg8 pg14 ng91 ng81 ng616 ng573
10--- 1
-101- 1
-1-11 1
1-1-0 1
.names pg10 pg14 pg13 ng90 ng86 ng682
-0--- 1
--0-- 1
1---1 1
---11 1
.names pg14 ng36 ng91 ng37 ng38 ng41 [208] ng198
11--1-- 1
1--01-- 1
1-1-10- 1
1-1-1-0 1
10010-- 1
10-1011 1
.names pg14 ng91 ng49 ng48 [158] ng315
10-1- 1
1--10 1
111-1 1
.names pg14 ng55 ng56 [172] ng392
1-11 1
1100 1
.names ng53 ng62 ng91 ng90 ng67 ng61 ng476 [219] ng459
---00-0- 1
--0-0-01 1
0-111-0- 1
-0111-0- 1
--11100- 1
0--11-00 1
-0-11-00 1
--111-00 1
--011-00 1
---11000 1
111-0101 1
.names pg14 ng31 ng30 ng92 ng34 ng39 [220] [1443] ng208
1--0-0-- 1
10-1-1-- 1
1-01-1-- 1
1--111-- 1
1--1-10- 1
1--1-1-0 1
111-0011 1
.names pg14 ng47 ng91 ng48 [158] ng309
110-- 1
11--0 1
1-111 1
.names ng57 [211] [295] ng397
--1 1
01- 1
.names pg14 ng65 ng66 ng616 ng451
1-11 1
11-0 1
.names pg14 [289] ng214
11 1
.names pg14 ng53 ng51 [157] ng360
1-10 1
1001 1
.names pg9 ng74 ng75 ng90 ng76 ng476 ng604 ng536
00-01-- 1
0-001-- 1
-0-110- 1
--0110- 1
0--01-0 1
---1100 1
01100-1 1
-111001 1
.names pg11 pg14 ng94 ng87 ng663
110- 1
01-1 1
.names pg14 ng41 [208] ng218
101 1
110 1
.names pg14 ng91 ng49 ng50 [158] ng321
101-- 1
1-1-0 1
11-11 1
.names pg9 ng74 ng75 ng90 ng76 ng77 ng476 ng604 ng541
00-0-1-- 1
0-00-1-- 1
0--001-- 1
-0-1-10- 1
--01-10- 1
---1010- 1
0--0-1-0 1
---1-100 1
011010-1 1
-1111001 1
.names pg14 pg13 ng657
11 1
.names pg14 ng53 ng60 ng61 [157] ng416
101-- 1
1-1-0 1
11001 1
.names pg3 pg0 pg14 ng63 ng90 ng71 ng616 ng494
1-01--- 1
-100--- 1
--1-01- 1
--1--11 1
1--11-0 1
-1-01-0 1
.names ng74 ng75 ng76 ng77 ng78 ng589 ng604 ng548
0---10- 1
-0--10- 1
--0-10- 1
---010- 1
----100 1
1111001 1
.names pg11 pg14 ng89 ng88 ng675
011- 1
11-1 1
.names pg14 ng53 ng60 ng61 [157] ng424
10-1- 1
1--10 1
11101 1
.names ng69 ng70 ng476 [196] ng477
010- 1
-101 1
1000 1
.names pg6 pg14 ng91 ng79 ng616 ng565
10--- 1
-101- 1
-1-11 1
1-1-0 1
.names pg11 pg14 ng87 ng88 ng669
111- 1
01-1 1
.names pg14 ng72 ng73 ng69 ng68 ng67 ng71 ng70 ng476
0------- 1
-0000001 1
-1111110 1
-1001110 1
-0110110 1
-0000110 1
-1111000 1
-1001000 1
-0110000 1
.names pg9 ng90 ng476 ng589
10- 1
-11 1
.names pg1 ng85 ng75 ng84 ng64 ng90 ng102
--0--1 1
1----0 1
-0--11 1
---001 1
.names pg16 ng83 ng90 ng66 [1439] [1440] ng618
--0--- 1
10-000 1
.names ng92 ng34 ng35 ng90 ng38 [1439] [1440] [1442] ng435
10-0---- 1
0-10---- 1
---111-- 1
---11-1- 1
---11--0 1
10---001 1
0-1--001 1
.names ng82 ng80 ng81 ng78 ng79 [1440] ng524
-----1 1
1--1-- 1
-1-1-- 1
--11-- 1
---11- 1
00000- 1
.names ng72 ng73 ng69 ng68 ng67 ng71 ng70 ng616
-01---- 1
-10---- 1
0--1--- 1
1--0--- 1
----01- 1
----10- 1
1-----1 1
-1----1 1
-----11 1
00---00 1
.names ng36 ng91 ng38 ng41 [208] [347] [1444] [1459] [157]
-0------ 1
-----1-1 1
0-111-11 1
.names ng31 ng30 ng92 ng34 ng39 ng40 [220] [1443] [208]
--0-00-- 1
11-00011 1
.names pg2 ng85 ng84 ng64 ng90 ng76 ng103
1---0- 1
----10 1
-0-11- 1
--001- 1
.names pg15 ng23 ng22 ng42 ng47 ng49 ng48 ng50 ng262
00-11111 1
1-011111 1
-0011111 1
.names ng27 ng28 ng29 ng24 ng92 [467] [468] [1415] [220]
--0-0--- 1
0100-1-1 1
0100--11 1
.names pg14 ng72 ng73 ng69 ng68 ng67 ng71 ng70 [212]
10000001 1
11111110 1
11001110 1
10110110 1
10000110 1
11111000 1
11001000 1
10110000 1
.names pg4 pg8 ng85 ng84 ng64 ng46 ng90 ng78 ng270
1----10- 1
0----00- 1
-----110 1
--0-111- 1
---0011- 1
0-11-0-1 1
--11-011 1
--1-1011 1
---10011 1
001-10-1 1
.names ng36 ng91 ng38 ng41 [208] [347] [1444] [1459] [219]
-----1-1 1
001---11 1
0-111-11 1
.names ng31 ng30 ng92 ng54 ng34 ng56 [220] [1443] [158]
---0---- 1
-----0-- 1
0-1----- 1
-01----- 1
--1-1--- 1
--1---0- 1
--1----0 1
.names ng31 ng30 ng92 ng54 ng55 ng34 [220] [1443] [242]
---01--- 1
0-1-1--- 1
-01-1--- 1
--010--- 1
--1-11-- 1
--1-1-0- 1
--1-1--0 1
11-10011 1
.names ng36 ng91 ng38 ng41 [208] [347] [1444] [1462] [211]
-----1-1 1
001---11 1
0-111-11 1
.names ng53 ng62 ng91 ng68 ng90 ng67 ng61 [219] [252]
---1-0-- 1
---001-- 1
0-111--- 1
-0111--- 1
--111-0- 1
--00-1-1 1
0--11--0 1
-0-11--0 1
--111--0 1
--011--0 1
---11-00 1
1110-111 1
.names ng92 ng34 ng35 [256]
10- 1
0-1 1
.names ng27 ng28 ng29 ng24 ng92 [467] [468] [1415] [259]
--0-0--- 1
1-1-1--- 1
-01-1--- 1
--111--- 1
--1-1--0 1
--1-100- 1
0100-1-1 1
0100--11 1
.names pg3 ng85 ng84 ng64 ng90 ng77 ng104
1---0- 1
----10 1
-0-11- 1
--001- 1
.names ng36 ng91 ng38 ng41 ng524 [208] [414] [1444] ng604
----1-1- 1
000-1--1 1
0-0111-1 1
.names pg2 pg8 ng85 ng84 ng64 ng44 ng90 ng76 [159]
0----10- 1
1----00- 1
-----010 1
--0-101- 1
---0001- 1
0-11-1-1 1
--11-111 1
--1-1111 1
---10111 1
001-11-1 1
.names pg15 ng23 ng22 ng42 ng47 ng49 ng48 ng50 [275]
---1---- 1
00--1111 1
1-0-1111 1
-00-1111 1
.names ng31 ng30 ng92 ng34 ng39 ng40 [220] [1443] [289]
----11-- 1
0-1--1-- 1
-01--1-- 1
--11-1-- 1
--0-00-- 1
--1--10- 1
--1--1-0 1
11-00011 1
.names ng31 ng30 ng92 ng32 ng54 ng33 ng34 [220] [172]
----0--- 1
0-1----- 1
-01----- 1
--10---- 1
--1--0-- 1
--1---1- 1
--1----0 1
.names ng53 ng62 ng91 ng68 ng90 ng67 ng61 [219] [196]
---0---- 1
-----0-- 1
0-1-1--- 1
-01-1--- 1
--1-1-0- 1
0---1--0 1
-0--1--0 1
--1-1--0 1
--0-1--0 1
----1-00 1
.names pg1 pg8 ng85 ng75 ng84 ng43 ng64 ng90 [230]
---0-0-1 1
0----1-0 1
1----0-0 1
--0--011 1
----0001 1
0-1111-- 1
--1111-1 1
--11-111 1
---11101 1
0011-11- 1
.names pg0 pg8 ng74 ng85 ng84 ng42 ng64 ng90 [233]
--0--0-1 1
0----1-0 1
1----0-0 1
---0-011 1
----0001 1
0-1111-- 1
--1111-1 1
--11-111 1
--1-1101 1
0011-11- 1
.names pg3 pg8 ng85 ng84 ng64 ng45 ng90 ng77 [232]
0----10- 1
1----00- 1
-----010 1
--0-101- 1
---0001- 1
0-11-1-1 1
--11-111 1
--1-1111 1
---10111 1
001-11-1 1
.names ng36 ng58 ng91 ng38 ng41 [208] [347] [1444] [246]
-0------ 1
1-----0- 1
---0--0- 1
------00 1
--1-0-0- 1
--1--00- 1
.names pg6 ng35 ng62 ng91 ng59 ng90 [268]
--11-1 1
---011 1
11---0 1
.names ng36 ng91 ng38 ng41 [208] [347] [1444] [1469] [295]
1----0-1 1
--0--0-1 1
-----001 1
-1-0-0-1 1
-1--00-1 1
.names ng36 ng91 ng38 ng41 [208] [347] [1444] [1461] [332]
1----0-1 1
--0--0-1 1
-----001 1
-1-0-0-1 1
-1--00-1 1
.names ng31 ng30 ng92 ng32 ng33 ng34 ng618 [220] [347]
--0---1- 1
11-11011 1
.names pg16 ng83 ng90 ng66 [268] [1439] [1440] [370]
--0-1-- 1
10-0100 1
.names pg6 pg16 ng83 ng90 ng66 [1439] [1440] [376]
1--0--- 1
110-000 1
-101000 1
.names ng270 [159] [230] [233] [232] [379]
01111 1
.names ng83 ng90 ng38 [256] [1439] [1440] [408]
1---1- 1
1----1 1
111--- 1
10-1-- 1
.names ng31 ng30 ng92 ng32 ng33 ng34 ng618 [220] [414]
--0---1- 1
11-11111 1
.names ng43 ng45 ng44 ng102 ng103 ng270 ng104 [1413] [467]
-0---00- 1
-00-00-- 1
--0-000- 1
000010-- 1
001000-- 1
0-00100- 1
0-10000- 1
000-10-0 1
-00010-0 1
001-00-0 1
-01000-0 1
0-0-1000 1
--001000 1
0-1-0000 1
--100000 1
.names pg4 pg8 ng85 ng84 ng64 ng46 ng90 ng78 [468]
0----00- 1
0-11-0-1 1
--11-011 1
--1-1011 1
---10011 1
001-10-1 1
.names pg0 ng74 ng85 ng84 ng42 ng64 ng90 [1413]
-0--1-1 1
1---1-0 1
--0-111 1
---0101 1
.names ng26 ng25 [1415]
11 1
.names ng82 ng80 ng81 ng78 ng79 [1439]
1--1- 1
-1-1- 1
--11- 1
---11 1
00000 1
.names ng82 ng74 ng75 ng80 ng81 ng76 ng77 ng79 [1440]
--01---- 1
--10---- 1
----01-- 1
----10-- 1
0-----1- 1
1-----0- 1
-0-----1 1
-1-----0 1
.names pg16 ng83 ng66 [1442]
100 1
.names ng33 ng32 [1443]
11 1
.names pg16 ng83 ng37 ng90 ng66 [1439] [1440] [1444]
0-11--- 1
-111--- 1
--111-- 1
--11-1- 1
--11--1 1
.names pg8 pg14 ng83 ng85 ng84 ng64 ng90 [1447]
-1111-- 1
0111-1- 1
-111-11 1
-11-101 1
0111--0 1
111-1-0 1
.names pg5 ng83 ng90 [1439] [1440] [1452]
-11-- 1
1-0-- 1
--11- 1
--1-1 1
.names ng59 ng58 [1459]
11 1
.names ng58 pg14 [1461]
11 1
.names ng58 pg14 [1462]
01 1
.names ng57 pg14 [1469]
11 1
.names ng88 ng41 [1475]
11 1
.names ng94 ng28 [1477]
1- 1
-0 1
.names ng27 ng24 ng25 ng26 ng90 [467] [468] [1477] [1478]
1---0--- 1
-1--0--- 1
--0-0--- 1
---00--- 1
----0--1 1
----000- 1
.names ng31 ng30 ng32 ng33 ng34 ng87 [220] [1478] [1479]
0------1 1
-0-----1 1
--0----1 1
---0---1 1
----1--1 1
-----0-1 1
------01 1
.end