| .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 [151] [298] [299] [1407] g535 |
| -1-- 1 |
| --1- 1 |
| 1--1 1 |
| .names ng41 g546 |
| 0 1 |
| .names [151] [283] [285] [286] [1419] g537 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| 1---1 1 |
| .names ng42 ng46 n_n10 [275] [1356] g548 |
| ---1- 1 |
| 010-0 1 |
| .names ng46 [164] n_n10 [267] [1356] g547 |
| ---1- 1 |
| 110-0 1 |
| .names g12 ng544 [263] [264] [1439] g539 |
| --1-- 1 |
| 0--1- 1 |
| 00--1 1 |
| .names [75] [250] [251] [252] g549 |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [244] [245] [1452] g551 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [114] [115] [116] g530 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names g6 [98] [102] [106] [107] g552 |
| -1--- 1 |
| --1-- 1 |
| 1--1- 1 |
| 1---1 1 |
| .names g7 g10 g9 [373] [1465] g542 |
| ----1 1 |
| 1010- 1 |
| .names [70] [1473] [1474] g532 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [75] [53] [56] [63] [64] g550 |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names g7 g4 g10 g0 ng511 |
| 1000 1 |
| .names g5 g3 g2 ng512 |
| 0-1 1 |
| -01 1 |
| 110 1 |
| .names g5 n_n114 [134] ng509 |
| --1 1 |
| 01- 1 |
| .names g7 g6 g10 g9 g8 ng508 |
| 11001 1 |
| 01110 1 |
| 10000 1 |
| .names g6 g9 ng510 |
| 01 1 |
| 10 1 |
| .names g11 [218] [408] ng515 |
| 0-0 1 |
| -00 1 |
| .names g3 g1 [76] [78] [208] ng516 |
| 00--- 1 |
| -00-- 1 |
| 0--0- 1 |
| --001 1 |
| .names g6 [396] [398] [1349] ng513 |
| 00-- 1 |
| -000 1 |
| .names g7 g10 g9 [373] [1359] ng514 |
| 0---1 1 |
| -1--1 1 |
| --0-1 1 |
| ---11 1 |
| .names g10 g11 g9 ng503 |
| 1-- 1 |
| -10 1 |
| .names g1 [360] [1367] [1368] ng519 |
| 1--0 1 |
| -000 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 g5 g10 g11 [59] [220] ng517 |
| 0---1 1 |
| -0--1 1 |
| --0-1 1 |
| ---01 1 |
| .names ng46 n_n59 n_n10 [315] [1379] ng518 |
| ---1- 1 |
| 01--1 1 |
| -11-1 1 |
| .names g12 g13 ng32 n_n58 [190] ng507 |
| 0010- 1 |
| 01-01 1 |
| .names ng46 [62] n_n10 [1403] [1404] ng506 |
| 01--- 1 |
| -11-- 1 |
| -1-0- 1 |
| 0---0 1 |
| --1-0 1 |
| ---00 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 g11 g8 [61] |
| 11 1 |
| .names g12 g1 ng544 [118] [1399] [151] |
| 0--1- 1 |
| 011-1 1 |
| .names g5 g3 g2 g1 [138] |
| 1111 1 |
| .names g5 g3 g2 [148] |
| 111 1 |
| .names g5 g10 g11 [59] [287] [157] |
| ----1 1 |
| 1111- 1 |
| .names g7 g10 g11 g9 g8 [162] |
| 1011- 1 |
| 1110- 1 |
| 011-1 1 |
| 0-101 1 |
| 1-110 1 |
| .names g7 g6 g10 g9 [166] [164] |
| -1--1 1 |
| 1011- 1 |
| .names [138] [223] [1374] [1375] [1376] n_n59 |
| 11--- 1 |
| --111 1 |
| .names n_n58 [190] [261] [1401] [1440] [75] |
| --1-- 1 |
| 01-11 1 |
| .names g5 g2 [99] |
| 0- 1 |
| -0 1 |
| .names g6 g5 g4 g3 g2 [168] |
| 010-- 1 |
| -101- 1 |
| -1-10 1 |
| 1110- 1 |
| 1-001 1 |
| .names g6 g5 g4 g3 g2 [173] |
| 1-10- 1 |
| -010- 1 |
| -01-1 1 |
| 10-10 1 |
| -1110 1 |
| .names g2 g1 [58] |
| 11 1 |
| .names g6 ng36 n_n74 [1384] [66] |
| 01-- 1 |
| --01 1 |
| .names g5 g4 g3 [176] |
| -1- 1 |
| 1-0 1 |
| .names g5 g4 g3 g2 g1 [175] |
| 01-1- 1 |
| -101- 1 |
| 1--10 1 |
| 1011- 1 |
| 0-111 1 |
| .names g6 g4 n_n176 |
| 11 1 |
| .names g7 g10 g11 g9 g8 [181] |
| -100- 1 |
| 01--1 1 |
| -1-01 1 |
| -1110 1 |
| 1-100 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 g4 g0 [145] |
| 00 1 |
| .names g7 g10 g9 g8 [55] |
| 0011 1 |
| 1001 1 |
| 0110 1 |
| .names g5 g11 [132] |
| 01 1 |
| .names g7 ng30 n_n124 [202] [333] n_n58 |
| --0-1 1 |
| 1-01- 1 |
| -001- 1 |
| .names g1 [76] [191] [1393] [190] |
| -1-- 1 |
| ---1 1 |
| 1-1- 1 |
| .names g7 g10 g9 n_n124 |
| 101 1 |
| .names g8 ng34 [193] |
| 0- 1 |
| -0 1 |
| .names ng32 n_n124 [202] [201] [333] [62] |
| 0---- 1 |
| -0--1 1 |
| -011- 1 |
| .names g7 g10 g11 g9 g8 n_n114 |
| 11111 1 |
| .names g7 g5 g10 g11 g8 [134] |
| 00000 1 |
| .names [138] n_n176 n_n114 [317] [319] ng544 |
| ---1- 1 |
| ----1 1 |
| 111-- 1 |
| .names g4 g3 g2 g1 g0 [197] |
| -001- 1 |
| 1--10 1 |
| -0-10 1 |
| 101-1 1 |
| .names g7 g6 g10 g9 g8 [142] |
| 10000 1 |
| .names g7 g6 g4 g9 g8 [59] |
| 01110 1 |
| .names g6 g4 ng36 [1470] [1471] [203] |
| ---11 1 |
| 001-- 1 |
| .names g13 [62] [337] [339] [1387] [118] |
| 011-- 1 |
| 01-1- 1 |
| 01--1 1 |
| .names g6 g5 g4 g2 g1 [76] |
| -1-10 1 |
| 0-111 1 |
| 1-010 1 |
| .names g7 g10 g9 g8 ng34 [210] |
| -0--- 1 |
| ---0- 1 |
| ----0 1 |
| 1-1-- 1 |
| .names g7 g6 g10 g9 g8 [218] |
| 101-- 1 |
| 01-1- 1 |
| -101- 1 |
| 10-0- 1 |
| 1--00 1 |
| .names g6 g5 g4 n_n114 [222] [220] |
| 1---- 1 |
| -1--- 1 |
| --1-1 1 |
| ---01 1 |
| .names g7 g9 g8 n_n85 |
| 000 1 |
| .names g0 ng511 n_n176 n_n114 [1378] [223] |
| -1--1 1 |
| 1-11- 1 |
| .names g5 g4 g3 g1 g0 [227] |
| 0-10- 1 |
| 1-0-1 1 |
| -00-1 1 |
| 1110- 1 |
| 111-1 1 |
| .names g5 g4 n_n163 |
| 01 1 |
| .names g10 g11 [133] |
| 00 1 |
| .names g7 g9 g8 [133] [230] ng471 |
| -0-11 1 |
| 0001- 1 |
| .names g5 g3 [145] [383] [384] [233] |
| 0-1-- 1 |
| -11-- 1 |
| 00-1- 1 |
| 00--1 1 |
| .names n_n163 ng471 [233] [375] [377] n_n10 |
| -1--- 1 |
| ---1- 1 |
| ----1 1 |
| 0-1-- 1 |
| .names g7 g6 ng30 [101] |
| 101 1 |
| .names g6 g5 g4 g3 g2 [78] |
| 01-1- 1 |
| -101- 1 |
| 1--10 1 |
| .names g7 g10 g11 g9 g8 [166] |
| 10-1- 1 |
| -0-10 1 |
| --110 1 |
| 001-1 1 |
| 01-11 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 g6 g5 g4 g3 g2 [191] |
| 101-- 1 |
| 010-- 1 |
| 01-1- 1 |
| -101- 1 |
| 1-10- 1 |
| -010- 1 |
| 1--10 1 |
| .names g7 g10 g11 g9 g8 [202] |
| 0---- 1 |
| -0--- 1 |
| --111 1 |
| .names g7 ng30 [201] |
| 1- 1 |
| -0 1 |
| .names g6 g5 g4 [208] |
| 0-- 1 |
| -1- 1 |
| --0 1 |
| .names g7 g10 g11 g9 g8 [222] |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names g7 g6 g8 ng30 ng31 [230] |
| -10-- 1 |
| --00- 1 |
| 0---0 1 |
| -1--0 1 |
| ---00 1 |
| .names g12 g13 ng46 n_n10 [1479] [53] |
| 10101 1 |
| .names g12 g13 [62] [1480] [56] |
| 0001 1 |
| .names g12 g13 n_n58 [190] [1481] [63] |
| 01011 1 |
| .names g0 ng46 ng29 n_n10 [1356] [64] |
| 11000 1 |
| .names g0 ng46 [183] n_n10 [1356] [70] |
| 11100 1 |
| .names g12 g13 ng43 n_n58 [190] [83] |
| 01001 1 |
| .names g13 n_n58 [190] ng544 [1466] [86] |
| 11-11 1 |
| 1-011 1 |
| .names g5 g3 g2 g11 [118] [88] |
| 01011 1 |
| .names g7 g10 g9 g8 ng34 [90] |
| 110-1 1 |
| 11-01 1 |
| .names g6 g4 [104] [105] [98] |
| 111- 1 |
| 11-1 1 |
| .names g12 g13 ng40 ng46 n_n10 [102] |
| 10010 1 |
| .names g1 [99] n_n58 [190] [1401] [104] |
| 11011 1 |
| .names g3 g2 g12 g13 [62] [105] |
| 01000 1 |
| .names g12 g13 n_n58 [190] [179] [106] |
| 01011 1 |
| .names g12 g13 [62] [180] [107] |
| 0001 1 |
| .names g12 g13 ng46 n_n10 [1454] [114] |
| 10101 1 |
| .names g0 ng46 [175] n_n10 [1356] [115] |
| 11100 1 |
| .names g3 g2 g12 [66] [118] [116] |
| 00011 1 |
| .names g1 [173] n_n58 [190] [1401] [124] |
| 11011 1 |
| .names g12 g13 n_n58 [190] [1450] [126] |
| 01011 1 |
| .names g12 g13 ng39 [62] [127] |
| 0010 1 |
| .names g12 g13 ng46 n_n10 [1448] [244] |
| 10101 1 |
| .names g0 ng46 n_n10 [1356] [1449] [245] |
| 11001 1 |
| .names g12 g13 ng46 n_n10 [1442] [250] |
| 10101 1 |
| .names g12 g13 [62] [1443] [251] |
| 0001 1 |
| .names g1 [168] n_n58 [190] [1401] [252] |
| 11011 1 |
| .names g3 g13 ng33 [261] |
| 100 1 |
| .names g12 g13 ng46 n_n59 n_n10 [263] |
| 1000- 1 |
| 10-01 1 |
| .names g13 [62] [337] [339] [1387] [264] |
| 01000 1 |
| .names g7 g10 g9 g8 ng34 [267] |
| 101-1 1 |
| 1-101 1 |
| 01111 1 |
| .names ng34 [162] [275] |
| 11 1 |
| .names ng46 n_n59 n_n10 [1379] [1418] [283] |
| 01-11 1 |
| -1111 1 |
| .names g3 g2 g12 [157] [118] [285] |
| 00011 1 |
| .names g12 [291] [293] [294] [1426] [286] |
| 01--- 1 |
| 0-1-1 1 |
| 0--11 1 |
| .names g6 g5 g4 n_n114 [134] [287] |
| 0-0-1 1 |
| 0011- 1 |
| .names g1 ng544 [118] [1399] [1423] [291] |
| --1-1 1 |
| 11-11 1 |
| .names g5 g3 g2 g11 [118] [293] |
| 01011 1 |
| .names g13 n_n58 [190] ng544 [1425] [294] |
| 11-11 1 |
| 1-011 1 |
| .names g6 g11 g9 g8 ng38 [295] |
| 11011 1 |
| .names [61] [301] [304] [305] [1412] [298] |
| 11--- 1 |
| 1-1-1 1 |
| 1--11 1 |
| .names g3 g2 g12 ng44 [118] [299] |
| 00001 1 |
| .names ng46 n_n59 n_n10 [1379] [1414] [301] |
| 01-11 1 |
| -1111 1 |
| .names g13 n_n58 [190] ng544 [1409] [304] |
| 11-11 1 |
| 1-011 1 |
| .names g6 g5 g4 g2 [118] [305] |
| 10101 1 |
| .names g12 ng544 [118] [1399] [315] |
| 0-1- 1 |
| 01-1 1 |
| .names g6 g4 [55] [142] [1395] [317] |
| -0-11 1 |
| 111-1 1 |
| .names n_n74 [58] [59] [1396] [1397] [319] |
| 01-1- 1 |
| -11-1 1 |
| .names g7 g10 g8 [333] |
| 0-0 1 |
| -00 1 |
| .names g6 ng36 n_n74 [1384] [1385] [337] |
| 01--1 1 |
| --011 1 |
| .names [148] n_n176 n_n114 [59] [133] [339] |
| 111-- 1 |
| 1--11 1 |
| .names g7 g6 g10 ng30 [356] |
| 00-- 1 |
| -000 1 |
| .names g5 g4 g3 g2 g1 [360] |
| 000-- 1 |
| 1-00- 1 |
| -000- 1 |
| -00-1 1 |
| .names g6 ng46 [193] n_n10 [1356] [373] |
| 0-1-- 1 |
| -01-- 1 |
| --11- 1 |
| --1-1 1 |
| .names g10 g8 ng31 [1352] [375] |
| 10-1 1 |
| -101 1 |
| .names g11 n_n85 [101] [387] [388] [377] |
| 11--- 1 |
| 1-01- 1 |
| 1-0-1 1 |
| .names g5 g4 g1 [383] |
| 00- 1 |
| -01 1 |
| .names g2 g0 [384] |
| 01 1 |
| .names g10 g9 g8 ng31 [387] |
| 1-10 1 |
| -010 1 |
| .names g6 ng30 [388] |
| 00 1 |
| .names g7 g6 g8 ng30 [396] |
| 1011 1 |
| .names g10 g11 g9 g8 [398] |
| 0111 1 |
| .names g6 g10 g11 g9 g8 [408] |
| 11101 1 |
| .names g7 g11 g9 g8 ng31 [1349] |
| ---11 1 |
| 1011- 1 |
| .names g7 g11 g9 [1352] |
| 001 1 |
| .names g13 g12 [1356] |
| 1- 1 |
| -0 1 |
| .names g7 g6 g10 g9 [1357] |
| 0--- 1 |
| --0- 1 |
| -1-1 1 |
| .names ng46 [210] n_n10 [1356] [1357] [1359] |
| 01--- 1 |
| -11-- 1 |
| -1-1- 1 |
| -1--1 1 |
| .names g5 g4 g3 g2 g1 [1364] |
| 00-1- 1 |
| -0-11 1 |
| 1-111 1 |
| .names g5 g4 g3 g2 g0 [1367] |
| ----0 1 |
| 0110- 1 |
| .names [227] [356] [1364] [1368] |
| -1- 1 |
| 1-1 1 |
| .names g6 g4 g0 [1374] |
| 100 1 |
| .names g5 g2 g1 g11 [1375] |
| 0111 1 |
| .names g7 g10 g3 g9 g8 [1376] |
| 01000 1 |
| .names g11 g8 ng37 [1378] |
| 111 1 |
| .names g13 g12 [1379] |
| 01 1 |
| .names g6 g4 g3 g2 [1381] |
| 1110 1 |
| .names g6 g5 g4 g11 [1384] |
| 1111 1 |
| .names g2 g3 [1385] |
| 00 1 |
| .names ng35 g4 [1386] |
| 10 1 |
| .names [57] [55] [132] [1381] [1386] [1387] |
| 1---1 1 |
| -111- 1 |
| .names g6 g5 g3 g2 g1 [1393] |
| 01-1- 1 |
| 1-011 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 g13 n_n58 [190] [1399] |
| 11- 1 |
| 1-0 1 |
| .names g13 g12 [1401] |
| 10 1 |
| .names g4 g12 g1 g0 [1403] |
| 0111 1 |
| .names g5 g4 g2 g12 [1404] |
| 0110 1 |
| .names g6 g4 n_n74 [57] [1407] |
| 1001 1 |
| .names g6 g5 g4 g2 g1 [1409] |
| 10110 1 |
| .names g7 g10 g3 g12 g9 [1412] |
| 00101 1 |
| 10100 1 |
| .names ng38 ng37 [138] [1414] |
| 111 1 |
| .names g12 g3 [1415] |
| 00 1 |
| .names g0 [138] n_n176 n_n114 [295] [1418] |
| -1--1 1 |
| 1111- 1 |
| .names g6 g4 [148] n_n114 [1419] |
| 1111 1 |
| .names g6 g4 g8 [1421] |
| 101 1 |
| .names g7 g10 g9 [57] [1421] [1423] |
| 10011 1 |
| .names g5 g3 g2 g1 g11 [1425] |
| 01101 1 |
| .names g6 g4 n_n74 [1426] |
| 110 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 [1443] |
| 10-1 1 |
| 1-01 1 |
| .names [197] g5 [1448] |
| 11 1 |
| .names g5 g4 g3 g1 [1449] |
| 101- 1 |
| 1-10 1 |
| .names g5 g2 g1 [1450] |
| 110 1 |
| .names g4 [124] [126] [127] [1452] |
| -1-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names g2 g1 g0 [176] [1454] |
| 1101 1 |
| .names [181] g6 [1463] |
| 11 1 |
| .names ng46 n_n10 [90] [1356] [1463] [1465] |
| --1-- 1 |
| 10-01 1 |
| .names g5 g3 g2 g1 g11 [1466] |
| 01101 1 |
| .names g10 g12 [59] [1468] |
| 101 1 |
| .names g2 n_n74 [59] [1396] [1397] [1469] |
| 10-1- 1 |
| 1-1-1 1 |
| .names g5 g11 g8 [1470] |
| 111 1 |
| .names g7 g6 g4 g10 g9 [1471] |
| 11100 1 |
| .names g2 [203] [118] [83] [1415] [1473] |
| ---1- 1 |
| 011-1 1 |
| .names [151] [86] [88] [1468] [1469] [1474] |
| -1-1- 1 |
| --11- 1 |
| 1---1 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 |
| .end |
