| .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 g11 g8 [154] [1416] g535 |
| ---1 1 |
| 111- 1 |
| .names ng41 g546 |
| 0 1 |
| .names [283] [286] [1427] g537 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names ng42 [65] [275] [1356] g548 |
| --1- 1 |
| 00-0 1 |
| .names [164] [65] [267] [1356] g547 |
| --1- 1 |
| 10-0 1 |
| .names n_n59 [65] [262] [1379] g539 |
| --1- 1 |
| 01-1 1 |
| .names [152] [168] [250] [1446] g549 |
| --1- 1 |
| ---1 1 |
| 11-- 1 |
| .names [123] [124] [244] [245] g551 |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [114] [115] [116] g530 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [98] [100] [102] g552 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n124 [373] [1465] g542 |
| --1 1 |
| 10- 1 |
| .names [70] [80] [81] [1473] g532 |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [53] [64] [1483] g550 |
| 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 g10 g11 [419] [1340] ng509 |
| --1- 1 |
| 00-1 1 |
| .names g6 g8 n_n106 [189] ng508 |
| 111- 1 |
| 001- 1 |
| 10-0 1 |
| 1-10 1 |
| .names g6 g9 ng510 |
| 01 1 |
| 10 1 |
| .names g6 g9 [409] [1344] ng515 |
| 0-0- 1 |
| -10- 1 |
| --00 1 |
| .names [76] [207] [400] ng516 |
| --1 1 |
| 01- 1 |
| .names [395] [396] ng513 |
| 00 1 |
| .names n_n124 [373] [1359] ng514 |
| 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 g2 g1 [215] [353] ng502 |
| 0-1- 1 |
| -11- 1 |
| --11 1 |
| .names [87] [222] [221] [1372] ng517 |
| 0--1 1 |
| 011- 1 |
| .names n_n59 [65] [315] [1379] ng518 |
| --1- 1 |
| 11-1 1 |
| .names n_n52 n_n58 [190] [1401] ng507 |
| 0--- 1 |
| -011 1 |
| .names [65] [314] [1403] ng506 |
| 10- 1 |
| -00 1 |
| .names g3 g2 [213] [1405] ng505 |
| ---1 1 |
| 101- 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 [301] [304] [305] [1412] [154] |
| 1--- 1 |
| -1-1 1 |
| --11 1 |
| .names g5 g3 g2 g1 [138] |
| 1111 1 |
| .names g5 g3 g2 [148] |
| 111 1 |
| .names g6 g4 n_n73 [1341] [153] |
| 1111 1 |
| .names g6 [87] [289] [290] [157] |
| -1-- 1 |
| 0-1- 1 |
| 0--1 1 |
| .names g11 [92] [163] [1429] [162] |
| 1-1- 1 |
| -1-1 1 |
| .names g7 g10 g9 g8 [165] |
| 101- 1 |
| 1-10 1 |
| 0111 1 |
| .names [268] [269] [164] |
| 1- 1 |
| -1 1 |
| .names [138] [346] [348] [349] n_n59 |
| -1-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names ng32 n_n124 [200] [1400] n_n52 |
| 0--- 1 |
| ---1 1 |
| -01- 1 |
| .names g5 g2 [99] |
| 0- 1 |
| -0 1 |
| .names g1 n_n58 [190] [1401] [152] |
| 1011 1 |
| .names g4 [171] [255] [256] [168] |
| --1- 1 |
| ---1 1 |
| 01-- 1 |
| .names n_n138 n_n163 [174] [241] [173] |
| ---1 1 |
| 01-- 1 |
| 1-1- 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 g2 ng81 [120] [121] [175] |
| --1- 1 |
| ---1 1 |
| 10-- 1 |
| .names g6 g4 n_n176 |
| 11 1 |
| .names g7 g10 n_n73 |
| 11 1 |
| .names [185] [73] [74] [1475] [183] |
| -1-- 1 |
| --1- 1 |
| 1--1 1 |
| .names g5 g3 n_n133 |
| 11 1 |
| .names g4 g0 [145] |
| 00 1 |
| .names g3 g2 n_n138 |
| 10 1 |
| .names g7 g10 g9 g8 [55] |
| 0011 1 |
| 1001 1 |
| 0110 1 |
| .names g7 g10 g9 n_n106 |
| 100 1 |
| .names g7 g10 g9 [189] |
| 1-- 1 |
| -0- 1 |
| --0 1 |
| .names g7 g10 g9 [200] n_n58 |
| 0--1 1 |
| -1-1 1 |
| --01 1 |
| .names g1 [76] [191] [1393] [190] |
| -1-- 1 |
| ---1 1 |
| 1-1- 1 |
| .names g6 g9 [141] |
| 10 1 |
| .names g7 g10 g9 n_n124 |
| 101 1 |
| .names g8 ng34 [193] |
| 0- 1 |
| -0 1 |
| .names g5 g4 g3 g1 ng81 |
| 00-- 1 |
| -0-1 1 |
| 1-11 1 |
| .names g10 g9 [92] |
| 1- 1 |
| -0 1 |
| .names [320] [321] [1395] [1398] ng544 |
| ---1 1 |
| 1-1- 1 |
| -11- 1 |
| .names g8 n_n73 [201] [334] [200] |
| 00-- 1 |
| -01- 1 |
| --11 1 |
| .names n_n176 n_n106 [85] [1470] [203] |
| --1- 1 |
| 11-1 1 |
| .names [336] [338] [1388] [1389] [118] |
| 1--1 1 |
| -1-1 1 |
| --11 1 |
| .names g1 ng544 [118] [1399] ng146 |
| --1- 1 |
| 11-1 1 |
| .names g2 g1 [240] [406] [76] |
| ---1 1 |
| 101- 1 |
| .names g1 [208] [404] [405] [207] |
| 0--- 1 |
| -100 1 |
| .names ng34 n_n125 [210] |
| 0- 1 |
| -0 1 |
| .names g6 g5 g4 [213] |
| -1- 1 |
| 1-0 1 |
| .names g6 g4 g3 [212] |
| 0-- 1 |
| -0- 1 |
| --0 1 |
| .names g7 g10 g9 g8 n_n125 |
| 01-1 1 |
| -101 1 |
| .names g5 g4 g3 g2 [215] |
| --0- 1 |
| ---1 1 |
| 01-- 1 |
| .names g7 g8 [1369] [1371] [87] |
| 0011 1 |
| .names g7 g8 [140] |
| 00 1 |
| .names g7 g9 g8 n_n85 |
| 000 1 |
| .names ng46 [376] [377] [1354] [65] |
| 0--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [228] [364] [365] [1360] [227] |
| -1-- 1 |
| --1- 1 |
| 1--1 1 |
| .names g5 g4 n_n163 |
| 01 1 |
| .names g10 g11 [133] |
| 00 1 |
| .names g9 [140] [393] [394] [229] |
| 01-- 1 |
| 0-1- 1 |
| 0--1 1 |
| .names n_n85 [101] [387] [388] [234] |
| 1--- 1 |
| -01- 1 |
| -0-1 1 |
| .names g7 g6 ng30 [101] |
| 101 1 |
| .names g2 [1387] [1388] [1389] n_n45 |
| 1--- 1 |
| ---0 1 |
| -00- 1 |
| .names g5 g3 g11 [146] |
| 011 1 |
| .names g6 g5 g4 [240] |
| -1- 1 |
| 1-0 1 |
| .names g11 g9 g8 [119] |
| 110 1 |
| .names g7 g10 g9 [155] |
| 001 1 |
| 100 1 |
| .names g7 g10 g9 g8 [163] |
| 101- 1 |
| 110- 1 |
| 1-10 1 |
| .names g6 g5 g3 g2 [171] |
| 01-- 1 |
| -11- 1 |
| 1-01 1 |
| .names g6 g5 g4 [174] |
| 10- 1 |
| -11 1 |
| .names g5 g4 g3 g2 [180] |
| 01-1 1 |
| 10-1 1 |
| 1-10 1 |
| -010 1 |
| .names [108] [109] [110] [179] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names g5 g3 g2 [185] |
| --1 1 |
| 11- 1 |
| 00- 1 |
| .names n_n176 n_n133 [405] [1391] [191] |
| --1- 1 |
| ---1 1 |
| 01-- 1 |
| 10-- 1 |
| .names g4 g2 g1 g0 [198] |
| -01- 1 |
| --10 1 |
| 11-1 1 |
| .names g7 ng30 [201] |
| 1- 1 |
| -0 1 |
| .names g6 g5 g4 [208] |
| 0-- 1 |
| -1- 1 |
| --0 1 |
| .names g10 g11 n_n85 [222] |
| 1-- 1 |
| -1- 1 |
| --0 1 |
| .names g7 g4 g10 [1341] [221] |
| 0--- 1 |
| -1-- 1 |
| --0- 1 |
| ---0 1 |
| .names g5 g4 g1 g0 [228] |
| --0- 1 |
| 1--1 1 |
| -0-1 1 |
| .names g3 [145] [383] [384] [237] |
| -1-- 1 |
| 0-1- 1 |
| 0--1 1 |
| .names g12 g13 [65] [1479] [53] |
| 1001 1 |
| .names n_n52 [1480] [56] |
| 01 1 |
| .names n_n58 [190] [1401] [1481] [63] |
| 0111 1 |
| .names g0 ng29 [65] [1356] [64] |
| 1000 1 |
| .names g0 [183] [65] [1356] [70] |
| 1100 1 |
| .names g5 g3 g2 g1 [73] |
| 1001 1 |
| .names g4 g3 g1 [74] |
| 011 1 |
| .names n_n45 [146] [86] [1468] [80] |
| --11 1 |
| 01-1 1 |
| .names g12 ng146 [1469] [81] |
| 011 1 |
| .names ng43 n_n58 [190] [1401] [83] |
| 0011 1 |
| .names g6 g4 ng36 [85] |
| 001 1 |
| .names g1 [57] ng544 [1399] [86] |
| 0111 1 |
| .names g9 g8 [1464] [90] |
| 0-1 1 |
| -01 1 |
| .names g7 g11 g9 g8 [93] |
| 1100 1 |
| .names g10 g11 g9 g8 [94] |
| 100- 1 |
| 1110 1 |
| .names [99] [152] n_n176 [105] [98] |
| --11 1 |
| 111- 1 |
| .names g6 n_n52 [180] [106] [100] |
| 1--1 1 |
| 101- 1 |
| .names g12 g13 ng40 [65] [102] |
| 1000 1 |
| .names g3 g2 n_n52 [105] |
| 010 1 |
| .names n_n58 [190] [179] [1401] [106] |
| 0111 1 |
| .names g4 g3 g2 [108] |
| 001 1 |
| .names g5 g4 g3 g1 [109] |
| 1011 1 |
| .names g5 g4 g2 g1 [110] |
| 1-10 1 |
| -010 1 |
| .names g12 g13 [65] [1454] [114] |
| 1001 1 |
| .names g0 [175] [65] [1356] [115] |
| 1100 1 |
| .names g3 g12 [66] n_n45 [116] |
| 0010 1 |
| .names g5 g3 g2 g1 [120] |
| 0111 1 |
| .names g5 g4 g3 g2 [121] |
| 1011 1 |
| .names g4 ng39 n_n52 [126] [123] |
| 1--1 1 |
| 110- 1 |
| .names [152] [173] [124] |
| 11 1 |
| .names n_n58 [190] [1401] [1450] [126] |
| 0111 1 |
| .names g6 g4 g3 [241] |
| 110 1 |
| .names g12 g13 [65] [1448] [244] |
| 1001 1 |
| .names g0 [65] [1356] [1449] [245] |
| 1001 1 |
| .names g4 g1 g0 [247] |
| 110 1 |
| .names g12 g13 [65] [1442] [250] |
| 1001 1 |
| .names g6 g5 g4 g3 [255] |
| 1110 1 |
| .names g5 g3 g2 [256] |
| 110 1 |
| .names n_n58 [190] [1401] [1440] [260] |
| 0111 1 |
| .names g3 g13 ng33 [261] |
| 100 1 |
| .names g12 ng544 [264] [1439] [262] |
| 0-1- 1 |
| 00-1 1 |
| .names [336] [338] [1388] [1438] [264] |
| 0001 1 |
| .names ng34 [165] [267] |
| 11 1 |
| .names g7 g6 g10 g9 [268] |
| 1011 1 |
| .names g6 [119] [270] [1437] [269] |
| 11-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names g7 g10 g11 g8 [270] |
| 0011 1 |
| .names ng34 [162] [275] |
| 11 1 |
| .names n_n59 [65] [1379] [1418] [283] |
| 1111 1 |
| .names g3 g12 [157] n_n45 [285] |
| 0010 1 |
| .names g12 ng146 [292] [1423] [286] |
| 0-1- 1 |
| 01-1 1 |
| .names g4 g10 g11 [1340] [289] |
| 0001 1 |
| .names g7 g10 n_n163 [1341] [290] |
| 1111 1 |
| .names n_n45 [294] [1424] [1426] [292] |
| -1-1 1 |
| 0-11 1 |
| .names g1 [57] ng544 [1399] [294] |
| 0111 1 |
| .names g0 n_n176 n_n73 [1341] [296] |
| 1111 1 |
| .names g3 g12 ng44 n_n45 [299] |
| 0000 1 |
| .names n_n59 [65] [1379] [1414] [301] |
| 1111 1 |
| .names [317] [1398] [1399] [1409] [304] |
| 1-11 1 |
| -111 1 |
| .names g6 g5 g4 n_n45 [305] |
| 1010 1 |
| .names ng32 n_n124 [200] [1404] [314] |
| 11-1 1 |
| 1-01 1 |
| .names g12 ng544 [118] [1399] [315] |
| 0-1- 1 |
| 01-1 1 |
| .names g1 [57] [320] [321] [317] |
| 011- 1 |
| 01-1 1 |
| .names [138] n_n176 n_n73 [1341] [318] |
| 1111 1 |
| .names g6 g4 g8 n_n106 [320] |
| 0001 1 |
| .names g6 g4 [55] [321] |
| 111 1 |
| .names g6 g4 n_n74 [146] [322] |
| 1001 1 |
| .names g7 g8 [1369] [1397] [323] |
| 0011 1 |
| .names g6 g3 g2 g1 [324] |
| 1011 1 |
| .names g11 g9 g8 [334] |
| 111 1 |
| .names g5 g11 [55] [1381] [336] |
| 0111 1 |
| .names n_n74 [343] [1384] [1385] [337] |
| -1-1 1 |
| 0-11 1 |
| .names g4 ng35 [57] [338] |
| 011 1 |
| .names g7 g8 [133] [1369] [340] |
| 0011 1 |
| .names g6 ng36 [343] |
| 01 1 |
| .names n_n85 [1373] [1374] [1375] [346] |
| 1111 1 |
| .names g11 g8 ng511 ng37 [348] |
| 1111 1 |
| .names g0 n_n176 n_n73 [1341] [349] |
| 1111 1 |
| .names g5 g4 g3 [353] |
| 00- 1 |
| 0-0 1 |
| -10 1 |
| .names g7 g6 g10 ng30 [356] |
| 00-- 1 |
| -000 1 |
| .names g2 ng81 [1365] [360] |
| 0-1 1 |
| -11 1 |
| .names g5 g4 g3 g2 [361] |
| 0110 1 |
| .names g5 g4 g3 g0 [364] |
| 1-01 1 |
| -001 1 |
| .names g5 g3 g1 [365] |
| 010 1 |
| .names g6 [193] [65] [1356] [373] |
| 01-- 1 |
| -11- 1 |
| -1-1 1 |
| .names g10 g8 ng31 [1352] [375] |
| 10-1 1 |
| -101 1 |
| .names g5 g4 [237] [380] [376] |
| 1--1 1 |
| -0-1 1 |
| 001- 1 |
| .names g11 [234] [377] |
| 11 1 |
| .names g4 g3 g0 [380] |
| 010 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 g6 g8 ng30 ng31 [393] |
| 10-- 1 |
| -00- 1 |
| 1--0 1 |
| --00 1 |
| .names g7 ng31 [394] |
| 00 1 |
| .names g6 [397] [398] [399] [395] |
| 11-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names g7 g6 g8 ng30 [396] |
| 1011 1 |
| .names g7 g11 g9 g8 [397] |
| 1011 1 |
| .names g10 g11 g9 g8 [398] |
| 0111 1 |
| .names g8 ng31 [399] |
| 11 1 |
| .names g3 g1 [404] [405] [400] |
| 00-- 1 |
| 0-00 1 |
| .names g6 g5 g4 g3 [404] |
| 01-1 1 |
| -101 1 |
| .names g6 g3 g2 [405] |
| 110 1 |
| .names g6 g4 g2 g1 [406] |
| 0111 1 |
| .names g11 [410] [411] [412] [409] |
| 11-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names g7 g6 g10 g9 [410] |
| 01-1 1 |
| -101 1 |
| .names g7 g6 g10 g9 [411] |
| 101- 1 |
| 10-0 1 |
| .names g7 g9 g8 [412] |
| 100 1 |
| .names g7 g5 g10 [1341] [419] |
| 1011 1 |
| .names g7 g5 g8 [1340] |
| 000 1 |
| .names g11 g9 g8 [1341] |
| 111 1 |
| .names g10 g11 g8 [1344] |
| 111 1 |
| .names g7 g11 g9 [1352] |
| 001 1 |
| .names g10 g11 [229] [375] [1354] |
| ---1 1 |
| 001- 1 |
| .names g13 g12 [1356] |
| 1- 1 |
| -0 1 |
| .names g7 g6 g10 g9 [1357] |
| 0--- 1 |
| --0- 1 |
| -1-1 1 |
| .names [210] [65] [1356] [1357] [1359] |
| 11-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names g5 g4 g3 [1360] |
| 111 1 |
| .names g5 g4 g3 [1365] |
| 1-0 1 |
| -00 1 |
| .names [361] g0 [1367] |
| 1- 1 |
| -0 1 |
| .names g2 ng81 [227] [356] [1368] |
| ---1 1 |
| 111- 1 |
| .names g6 g4 g9 [1369] |
| 111 1 |
| .names g5 g10 g11 [1371] |
| 111 1 |
| .names g5 g6 [1372] |
| 1- 1 |
| -1 1 |
| .names g3 g10 [1373] |
| 01 1 |
| .names g6 g4 g0 [1374] |
| 100 1 |
| .names g5 g2 g1 g11 [1375] |
| 0111 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 g4 ng35 [57] [336] [1387] |
| ---1 1 |
| 011- 1 |
| .names [148] [153] [337] [340] [1388] |
| --1- 1 |
| 11-- 1 |
| 1--1 1 |
| .names g13 ng32 n_n124 [200] [1389] |
| 00-- 1 |
| 0-01 1 |
| .names g6 g5 g4 g3 [1391] |
| 010- 1 |
| -010 1 |
| .names g6 g5 g2 [324] [1393] |
| ---1 1 |
| 011- 1 |
| .names [57] g1 [1395] |
| 10 1 |
| .names g5 g10 g3 g11 [1397] |
| 1010 1 |
| .names [58] [318] [322] [323] [1398] |
| -1-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names g13 [190] n_n124 [200] [1399] |
| 10-- 1 |
| 1-01 1 |
| .names g13 g12 [1400] |
| 1- 1 |
| -1 1 |
| .names g13 g12 [1401] |
| 10 1 |
| .names g4 g12 g1 g0 [1403] |
| 0111 1 |
| .names g5 g4 g2 g12 [1404] |
| 0110 1 |
| .names g5 g4 g2 [212] [1405] |
| 011- 1 |
| 1-11 1 |
| .names g6 g4 n_n74 [57] [1407] |
| 1001 1 |
| .names g6 g5 g4 [1408] |
| 101 1 |
| .names g2 g1 [1408] [1409] |
| 101 1 |
| .names g3 g12 [155] [1412] |
| 101 1 |
| .names ng38 ng37 [138] [1414] |
| 111 1 |
| .names g12 g3 [1415] |
| 00 1 |
| .names g12 ng146 [299] [1407] [1416] |
| --1- 1 |
| 01-1 1 |
| .names g11 g8 ng38 [1417] |
| 111 1 |
| .names [138] [141] [296] [1417] [1418] |
| 1-1- 1 |
| 11-1 1 |
| .names [148] n_n176 n_n73 [1341] [1419] |
| 1111 1 |
| .names g6 g4 g8 [1421] |
| 101 1 |
| .names [57] n_n106 [1421] [1423] |
| 111 1 |
| .names g5 g3 g11 [1424] |
| 011 1 |
| .names g6 g4 n_n74 [1426] |
| 110 1 |
| .names g12 ng146 [285] [1419] [1427] |
| --1- 1 |
| 01-1 1 |
| .names g7 g11 g8 [1429] |
| 011 1 |
| .names g7 g10 g9 g8 [1437] |
| 101- 1 |
| -010 1 |
| 0111 1 |
| .names g13 ng32 n_n124 [200] [1438] |
| 00-- 1 |
| 0-01 1 |
| .names g13 [190] n_n124 [200] [1439] |
| 10-- 1 |
| 1-01 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 n_n52 [260] [261] [1443] [1446] |
| -1-- 1 |
| --1- 1 |
| 0--1 1 |
| .names g5 g3 [198] [247] [1448] |
| 1--1 1 |
| 101- 1 |
| .names g5 g4 g3 g1 [1449] |
| 101- 1 |
| 1-10 1 |
| .names g5 g2 g1 [1450] |
| 110 1 |
| .names g2 g1 g0 [176] [1454] |
| 1101 1 |
| .names g6 n_n125 [93] [94] [1463] |
| 11-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names g7 g10 ng34 [1464] |
| 111 1 |
| .names [65] [90] [1356] [1463] [1465] |
| -1-- 1 |
| 0-01 1 |
| .names g12 g10 [1467] |
| 01 1 |
| .names g7 g8 [1369] [1467] [1468] |
| 0011 1 |
| .names g2 [322] [323] [1469] |
| 11- 1 |
| 1-1 1 |
| .names g5 g11 g8 [1470] |
| 111 1 |
| .names [203] n_n45 [83] [1415] [1473] |
| --1- 1 |
| 10-1 1 |
| .names g4 g3 g2 g1 [1475] |
| 10-- 1 |
| 1-0- 1 |
| 1--0 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 [56] [63] [260] [261] [1483] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .end |
