.model top
.inputs ck g7 g6 g5 g4 g10 g3 g2 g12 g1 g11 g0 g13 g9 g8
.outputs g535 g546 g537 g548 g547 g539 g549 g551 g530 g552 g542 g532 g550 g45
.latch    ng511 ng38 re ck 2
.latch    ng512 ng39 re ck 2
.latch    ng509 ng36 re ck 2
.latch    ng508 ng35 re ck 2
.latch    ng510 ng37 re ck 2
.latch    ng515 ng42 re ck 2
.latch    ng516 ng43 re ck 2
.latch    ng513 ng40 re ck 2
.latch    ng514 ng41 re ck 2
.latch    ng503 ng30 re ck 2
.latch    ng519 ng46 re ck 2
.latch    ng502 ng29 re ck 2
.latch    ng517 ng44 re ck 2
.latch    ng518 g45 re ck 2
.latch    ng507 ng34 re ck 2
.latch    ng506 ng33 re ck 2
.latch    ng505 ng32 re ck 2
.latch    ng504 ng31 re ck 2
.names g12 n_n74 ng146 [298] [299] [1406] g535
---1-- 1
----1- 1
001--1 1
.names ng41 g546
0 1
.names g12 [148] [153] ng146 [283] [285] [286] g537
----1-- 1
-----1- 1
------1 1
0111--- 1
.names g12 g13 ng42 [65] [275] g548
----1 1
1000- 1
.names g12 g13 [164] [65] [267] g547
----1 1
1010- 1
.names g12 g13 n_n59 [65] [262] g539
----1 1
1001- 1
.names g12 g13 [75] [65] [251] [252] [1442] g549
--1---- 1
----1-- 1
-----1- 1
10-0--1 1
.names g4 ng328 [172] [124] g551
-1-- 1
---1 1
1-1- 1
.names g12 g0 g13 [175] [65] [116] [1454] g530
-----1- 1
1-0-0-1 1
11010-- 1
.names g12 g13 ng40 [65] [1460] g552
----1 1
1000- 1
.names g6 [181] n_n124 [193] [65] [90] [1356] g542
-----1- 1
--10--- 1
11--0-0 1
1-1-0-0 1
.names g12 g0 g13 ng423 [183] [65] g532
---1-- 1
110-10 1
.names g0 ng29 [75] [65] [1356] [1479] [1482] g550
--1---- 1
------1 1
---001- 1
10-00-- 1
.names g7 g4 g10 g0 ng511
1000 1
.names g5 g3 g2 ng512
0-1 1
-01 1
110 1
.names g7 g5 g10 g11 g9 g8 ng509
0000-0 1
101111 1
.names g7 g6 g10 g9 g8 ng508
11001 1
01110 1
10000 1
.names g6 g9 ng510
01 1
10 1
.names g7 g6 g10 g11 g9 g8 ng515
---0-- 1
00---- 1
-00-1- 1
0-0-0- 1
0---00 1
111-1- 1
-10-01 1
.names g6 g5 g4 g3 g2 g1 ng516
---0-- 1
----00 1
000--- 1
00--0- 1
00---0 1
-01--0 1
-00-11 1
111-11 1
.names g7 g6 g8 ng30 [395] ng513
0---0 1
-1--0 1
--0-0 1
---00 1
.names g6 n_n124 [193] [210] [65] [1356] [1357] ng514
-0-11-- 1
--111-- 1
-0-1-1- 1
--11-1- 1
-0-1--1 1
0-11--1 1
.names g10 g11 g9 ng503
1-- 1
-10 1
.names g7 g6 g10 ng30 [355] [357] ng519
-1--00 1
1-1-00 1
1--100 1
.names g5 g4 g3 g2 g1 ng502
0-0-- 1
-10-- 1
--00- 1
--0-1 1
---11 1
00-1- 1
01-0- 1
01--1 1
.names g6 g5 g10 g11 [59] [350] ng517
10---- 1
1-0--- 1
-10--- 1
1--0-- 1
-1-0-- 1
1---0- 1
-1--0- 1
-0---1 1
--0--1 1
---0-1 1
----01 1
.names g12 g13 n_n59 [65] [315] ng518
----1 1
1011- 1
.names g12 g13 ng32 n_n58 [190] ng507
0010- 1
01-01 1
.names g5 g4 g2 g12 [62] [65] [1403] ng506
1----1- 1
-0---1- 1
--0--1- 1
---1-1- 1
----11- 1
1-----0 1
-0----0 1
--0---0 1
---1--0 1
----1-0 1
.names g6 g5 g4 g3 g2 ng505
01--1 1
-01-1 1
-10-1 1
-1-01 1
-1-10 1
1-010 1
.names g7 g10 g11 g9 ng504
0-1- 1
-10- 1
-1-0 1
.names g7 g10 g9 g8 n_n74
0--1 1
-1-1 1
--11 1
1--0 1
-0-0 1
--00 1
.names g5 g3 g2 g11 [57]
0111 1
.names g5 g3 g2 g1 [138]
1111 1
.names g5 g3 g2 [148]
111 1
.names g7 g6 g4 g10 g11 g9 g8 [153]
1111111 1
.names g6 g5 g10 g11 [59] [160] [157]
0----1 1
-1111- 1
.names g7 g6 g10 g11 g9 g8 [164]
101-1- 1
110-1- 1
-10-10 1
-1-110 1
0101-1 1
011-11 1
.names g0 [138] [153] [348] [1376] [1377] n_n59
-1-1-- 1
----11 1
111--- 1
.names g3 g12 g13 ng33 n_n58 [190] [1440] [75]
1-00--- 1
-01-011 1
.names g6 g5 g4 g3 g2 [168]
010-- 1
-101- 1
-1-10 1
1110- 1
1-001 1
.names g12 g0 g13 [65] [1448] [1449] ng328
1-001- 1
1100-1 1
.names g6 g5 g4 g3 g2 [173]
1-10- 1
-010- 1
-01-1 1
10-10 1
-1110 1
.names g12 g13 ng39 ng32 n_n58 [190] [1450] [172]
00110-- 1
01--011 1
.names g2 g1 [58]
11 1
.names g6 g5 g4 g11 ng36 n_n74 [66]
0---1- 1
1111-0 1
.names g5 g4 g3 g2 g1 [175]
01-1- 1
-101- 1
1--10 1
1011- 1
0-111 1
.names g12 g13 ng32 n_n58 [190] [180] [179] [178]
0010-1- 1
01-01-1 1
.names g7 g10 g11 g9 g8 [181]
-100- 1
01--1 1
-1-01 1
-1110 1
1-100 1
.names g12 ng146 [86] [88] [1468] [1469] [1473] ng423
------1 1
--1-1-- 1
---11-- 1
01---1- 1
.names g5 g4 g3 g2 g1 [183]
010-- 1
-101- 1
-01-1 1
-1-10 1
1110- 1
1-001 1
111-0 1
.names g5 g3 n_n133
11 1
.names g7 g6 g4 g10 g11 g9 g8 [188]
1111111 1
0110010 1
.names g7 g10 g11 g9 g8 ng30 n_n58
0---0- 1
0----0 1
10-0-- 1
-0-00- 1
-0-0-0 1
11111- 1
-11110 1
.names g6 g5 g4 g3 g2 g1 [190]
01--1- 1
-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 g7 g10 g9 n_n124
101 1
.names g8 ng34 [193]
0- 1
-0 1
.names g7 g10 g11 g9 g8 ng30 ng32 [62]
------0 1
0---0-- 1
0----0- 1
10-0--- 1
-0-00-- 1
-0-0-0- 1
11111-- 1
-11110- 1
.names g7 g6 g4 g10 g9 g8 [196]
011011 1
111001 1
011110 1
100000 1
.names g7 g6 g4 g9 g8 [59]
01110 1
.names g6 g5 g4 g11 g8 ng36 [1471] [203]
0-0--1- 1
-1-11-1 1
.names g1 [317] [1387] [1388] [1389] [1398] [1399] ng146
--1-1-- 1
---11-- 1
11----1 1
1----11 1
.names g7 g10 g9 g8 ng34 [210]
-0--- 1
---0- 1
----0 1
1-1-- 1
.names g10 g11 ng46 [229] [234] [375] [376] [65]
--0---- 1
-----1- 1
------1 1
-1--1-- 1
00-1--- 1
.names g10 g11 [133]
00 1
.names g7 g6 g9 g8 ng30 ng31 [229]
0-00-- 1
-100-- 1
--000- 1
0-0--0 1
-10--0 1
--0-00 1
.names g7 g6 g10 g9 g8 ng30 ng31 [234]
-0---0- 1
0--00-- 1
0-1-1-0 1
-11-1-0 1
0--01-0 1
-1-01-0 1
--1-100 1
---0100 1
.names g5 g3 g11 [146]
011 1
.names g3 g2 [147]
01 1
.names g7 g5 g4 g10 g11 g9 g8 [160]
00000-0 1
1011111 1
.names g5 g4 g3 g2 [180]
01-1 1
10-1 1
1-10 1
-010 1
.names g5 g4 g3 g2 g1 [179]
-001- 1
1--10 1
-0-10 1
101-1 1
.names g12 g13 ng43 n_n58 [190] [83]
01001 1
.names g13 n_n58 [190] [196] [1395] [1398] [1466] [86]
11---11 1
1-0--11 1
11-11-1 1
1-011-1 1
.names g2 g13 [62] [146] [1387] [1388] [88]
00111- 1
0011-1 1
.names g7 g10 g9 g8 ng34 [90]
110-1 1
11-01 1
.names g5 g2 g12 g1 g13 n_n58 [190] [104]
0-01101 1
-001101 1
.names g3 g2 g12 [66] [1387] [1388] [1389] [116]
00011-1 1
0001-11 1
.names g12 g1 g13 [173] n_n58 [190] [124]
011101 1
.names g5 g4 g3 g2 g12 g13 [62] [251]
10-1000 1
1-01000 1
.names g12 g1 g13 [168] n_n58 [190] [252]
011101 1
.names g12 [317] [1387] [1388] [1398] [1438] [1439] [262]
0-00-1- 1
00--0-1 1
.names g7 g10 g9 g8 ng34 [267]
101-1 1
1-101 1
01111 1
.names g7 g10 g11 g9 g8 ng34 [275]
1011-1 1
1110-1 1
011-11 1
0-1011 1
1-1101 1
.names g12 g13 n_n59 [65] [1418] [283]
10111 1
.names g3 g2 g12 [157] [1387] [1388] [1389] [285]
00011-1 1
0001-11 1
.names g12 [57] ng146 [293] [294] [1422] [1426] [286]
0--1--1 1
0---1-1 1
011--1- 1
.names g2 g13 [62] [1387] [1388] [1424] [293]
0011-1 1
001-11 1
.names g13 n_n58 [190] [196] [1395] [1398] [1425] [294]
11---11 1
1-0--11 1
11-11-1 1
1-011-1 1
.names g6 g11 g9 g8 ng38 [295]
11011 1
.names g11 g8 [301] [304] [305] [1412] [298]
111--- 1
11-1-1 1
11--11 1
.names g3 g2 g12 ng44 [1387] [1388] [1389] [299]
00001-1 1
0000-11 1
.names g12 g13 n_n59 [65] [1414] [301]
10111 1
.names g13 n_n58 [190] [196] [1395] [1398] [1409] [304]
11---11 1
1-0--11 1
11-11-1 1
1-011-1 1
.names g2 g13 [62] [1387] [1388] [1410] [305]
0011-1 1
001-11 1
.names g12 [317] [1387] [1388] [1389] [1398] [1399] [315]
0-1-1-- 1
0--11-- 1
01----1 1
0----11 1
.names g5 g3 g2 g1 g11 [196] [317]
011011 1
.names g5 g4 g3 g2 g11 ng35 [338]
001111 1
.names g6 ng36 [343]
01 1
.names g7 g4 g10 g11 g0 g8 ng37 [348]
1001011 1
.names g7 g4 g10 g11 g9 g8 [350]
11---- 1
0-1--- 1
-11--- 1
1-0--- 1
0--1-- 1
-1-1-- 1
--01-- 1
1--0-- 1
--10-- 1
0---1- 1
-1--1- 1
--0-1- 1
---01- 1
1---0- 1
--1-0- 1
---10- 1
0----1 1
-1---1 1
--0--1 1
---0-1 1
----01 1
1----0 1
--1--0 1
---1-0 1
----10 1
.names g5 g4 g3 g2 g1 g0 [355]
00110- 1
0001-1 1
-00111 1
111111 1
.names g5 g4 g3 g2 g1 g0 [357]
----00 1
000-0- 1
1-000- 1
-0000- 1
01100- 1
.names g7 g10 g11 g9 g8 ng31 [375]
01010- 1
0-0110 1
.names g5 g4 g3 g0 [376]
000- 1
00-0 1
-010 1
.names g7 g6 g10 g11 g9 g8 ng31 [395]
-1---11 1
-10111- 1
11-011- 1
.names g13 g12 [1356]
1- 1
-0 1
.names g7 g6 g10 g9 [1357]
0--- 1
--0- 1
-1-1 1
.names g7 g10 g3 g9 g8 [1376]
01000 1
.names g6 g5 g4 g2 g1 g11 g0 [1377]
1001110 1
.names g6 g5 g4 g3 g2 g11 [1382]
101101 1
.names g6 g5 g4 g11 [1384]
1111 1
.names g7 g10 g9 g8 [338] [1382] [1387]
----1- 1
0011-1 1
1001-1 1
0110-1 1
.names g5 g3 g2 n_n74 [188] [343] [1384] [1388]
-00--1- 1
111-1-- 1
-000--1 1
.names [62] g13 [1389]
10 1
.names g5 g3 g2 g1 g11 [1395]
01101 1
.names g6 g5 g4 g3 g11 [1396]
10011 1
.names g5 g10 g3 g11 [1397]
1010 1
.names n_n74 [153] [58] n_n133 [59] [133] [1396] [1398]
-111--- 1
0-1---1 1
--1111- 1
.names g13 n_n58 [190] [1399]
11- 1
1-0 1
.names g13 g12 [1400]
1- 1
-1 1
.names g4 g12 g1 g0 [1403]
0111 1
.names g6 g5 g4 g3 g2 g11 [1406]
100111 1
.names g6 g5 g4 g2 g1 [1409]
10110 1
.names g6 g5 g4 [1410]
101 1
.names g7 g10 g3 g12 g9 [1412]
00101 1
10100 1
.names g5 g3 g2 g1 ng38 ng37 [1414]
111111 1
.names g12 g3 [1415]
00 1
.names g5 g3 g2 g1 g0 [153] [295] [1418]
1111--1 1
111111- 1
.names g7 g6 g4 g10 g9 g8 [1422]
110001 1
.names g5 g3 g11 [1424]
011 1
.names g5 g3 g2 g1 g11 [1425]
01101 1
.names g7 g6 g4 g10 g9 g8 [1426]
111001 1
011110 1
.names [62] g13 [1438]
10 1
.names g13 n_n58 [190] [1439]
11- 1
1-0 1
.names g5 g4 g2 g1 [1440]
0111 1
.names g4 g3 g1 g0 [1442]
101- 1
1-10 1
.names g5 g4 g3 g2 g1 g0 [1448]
1-001- 1
11--10 1
1-0-10 1
1101-1 1
.names g5 g4 g3 g1 [1449]
101- 1
1-10 1
.names g5 g2 g1 [1450]
110 1
.names g5 g4 g3 g2 g1 g0 [1454]
-1-110 1
1-0110 1
.names g6 g4 [178] [62] [147] [104] [1400] [1460]
1-1---- 1
11---1- 1
11-01-0 1
.names g5 g3 g2 g1 g11 [1466]
01101 1
.names g7 g6 g4 g10 g12 g9 g8 [1468]
0111010 1
.names g2 n_n74 [59] [1396] [1397] [1469]
10-1- 1
1-1-1 1
.names g7 g6 g4 g10 g9 [1471]
11100 1
.names g2 [203] [83] [1387] [1388] [1389] [1415] [1473]
--1---- 1
01-1-11 1
01--111 1
.names g4 g3 g1 g0 [1479]
1110 1
.names g5 g4 g3 g2 [1480]
101- 1
1-10 1
.names g5 g4 g2 g1 [1481]
101- 1
1-10 1
.names g12 g13 ng32 n_n58 [190] [1480] [1481] [1482]
0010-1- 1
01-01-1 1
.end