| .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 [61] [154] [1416] g535 |
| --1 1 |
| 11- 1 |
| .names ng41 g546 |
| 0 1 |
| .names [283] [286] [1427] g537 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names ng34 [162] [276] g548 |
| --1 1 |
| 11- 1 |
| .names [266] [267] g547 |
| 1- 1 |
| -1 1 |
| .names g12 [167] [263] g539 |
| --1 1 |
| 01- 1 |
| .names [250] [252] [1446] g549 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names ng328 [123] [124] g551 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [137] [175] [1457] g530 |
| --1 1 |
| 11- 1 |
| .names [102] [1460] g552 |
| 1- 1 |
| -1 1 |
| .names ng279 [89] [90] g542 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names [70] [1473] [1474] g532 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names ng29 [137] [1484] g550 |
| --1 1 |
| 01- 1 |
| .names g4 g0 [1339] ng511 |
| 001 1 |
| .names g5 g3 g2 ng512 |
| 0-1 1 |
| -01 1 |
| 110 1 |
| .names [133] [419] [1340] ng509 |
| -1- 1 |
| 1-1 1 |
| .names g6 n_n74 [142] ng508 |
| --1 1 |
| 10- 1 |
| .names g6 g9 ng510 |
| 01 1 |
| 10 1 |
| .names [141] [409] [1344] ng515 |
| 00- 1 |
| -00 1 |
| .names [76] [207] [400] ng516 |
| --1 1 |
| 01- 1 |
| .names g8 [101] [395] ng513 |
| 0-0 1 |
| -00 1 |
| .names ng279 [211] [210] ng514 |
| 111 1 |
| .names g10 g11 g9 ng503 |
| 1-- 1 |
| -10 1 |
| .names [355] [356] [357] ng519 |
| 000 1 |
| .names [215] [136] [353] ng502 |
| 10- 1 |
| 1-1 1 |
| .names [87] [220] ng517 |
| 01 1 |
| .names g12 n_n120 [205] ng518 |
| -1- 1 |
| 0-1 1 |
| .names n_n52 n_n68 [1401] ng507 |
| 0-- 1 |
| -11 1 |
| .names [65] [314] [1403] ng506 |
| 10- 1 |
| -00 1 |
| .names n_n138 [213] [1405] ng505 |
| --1 1 |
| 11- 1 |
| .names g7 g11 [308] ng504 |
| --1 1 |
| 01- 1 |
| .names g8 n_n106 [189] n_n74 |
| 10- 1 |
| 0-1 1 |
| .names g2 [118] [1415] [60] |
| 011 1 |
| .names g11 g8 [61] |
| 11 1 |
| .names g6 g4 [135] |
| 10 1 |
| .names g12 [118] [306] [151] |
| 01- 1 |
| 0-1 1 |
| .names n_n120 [300] [1414] [154] |
| -1- 1 |
| 1-1 1 |
| .names n_n59 [65] [1379] n_n120 |
| 111 1 |
| .names g2 g1 n_n133 [138] |
| 111 1 |
| .names g5 g3 g2 [148] |
| 111 1 |
| .names n_n176 n_n73 [1341] [153] |
| 111 1 |
| .names g0 [153] [295] [159] |
| --1 1 |
| 11- 1 |
| .names g11 [163] [277] [162] |
| --1 1 |
| 11- 1 |
| .names g6 [166] [268] [164] |
| --1 1 |
| 11- 1 |
| .names [138] [223] [346] n_n59 |
| --1 1 |
| 11- 1 |
| .names ng544 [264] [1439] [167] |
| -1- 1 |
| 0-1 1 |
| .names ng32 n_n58 [1400] n_n52 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names g4 g1 [68] |
| 0- 1 |
| -0 1 |
| .names [260] [261] [75] |
| 1- 1 |
| -1 1 |
| .names g5 g2 [99] |
| 0- 1 |
| -0 1 |
| .names g1 n_n68 [1401] [152] |
| 111 1 |
| .names g4 g3 [170] |
| 0- 1 |
| -0 1 |
| .names [137] [244] [1449] ng328 |
| -1- 1 |
| 1-1 1 |
| .names g2 g1 [58] |
| 11 1 |
| .names n_n74 [343] [1384] [66] |
| -1- 1 |
| 0-1 1 |
| .names g0 [65] [1356] [137] |
| 100 1 |
| .names g5 g4 g3 [176] |
| -1- 1 |
| 1-0 1 |
| .names [120] [121] [122] [175] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names g6 g4 n_n176 |
| 11 1 |
| .names [99] [152] [105] [177] |
| --1 1 |
| 11- 1 |
| .names n_n124 [193] [192] ng279 |
| 0-- 1 |
| -11 1 |
| .names g7 g10 n_n73 |
| 11 1 |
| .names g9 g8 [103] |
| 0- 1 |
| -0 1 |
| .names n_n125 [93] [94] [181] |
| 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 g5 g11 [132] |
| 01 1 |
| .names g7 g10 g9 n_n106 |
| 100 1 |
| .names g7 g10 g9 [189] |
| 1-- 1 |
| -0- 1 |
| --0 1 |
| .names n_n124 [332] [333] n_n58 |
| 01- 1 |
| 0-1 1 |
| .names n_n58 [325] [1394] n_n68 |
| 01- 1 |
| 0-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 g6 [65] [1356] [192] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names g5 g4 g3 [195] |
| -0- 1 |
| 1-1 1 |
| .names g5 g1 [194] |
| 0- 1 |
| -1 1 |
| .names g10 g9 [92] |
| 1- 1 |
| -0 1 |
| .names [317] [318] [319] ng544 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names g6 g8 n_n106 [142] |
| 001 1 |
| .names [84] [85] [203] |
| 1- 1 |
| -1 1 |
| .names [1387] [1388] [1389] [118] |
| 1-1 1 |
| -11 1 |
| .names ng544 [118] [1399] [205] |
| -1- 1 |
| 1-1 1 |
| .names [58] [407] [1347] [76] |
| -1- 1 |
| 1-1 1 |
| .names g1 [78] [208] [207] |
| 0-- 1 |
| -01 1 |
| .names [65] [1356] [1357] [211] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names ng34 [214] [1358] [210] |
| 0-- 1 |
| -0- 1 |
| --0 1 |
| .names g5 g4 g2 [149] |
| 011 1 |
| .names g6 g5 g4 [213] |
| -1- 1 |
| 1-0 1 |
| .names g6 g4 g3 [212] |
| 0-- 1 |
| -0- 1 |
| --0 1 |
| .names g7 g9 [214] |
| 0- 1 |
| -0 1 |
| .names g7 g9 [1358] n_n125 |
| 0-1 1 |
| -01 1 |
| .names g3 g2 n_n163 [215] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names [140] [1369] [1371] [87] |
| 111 1 |
| .names [222] [221] [1372] [220] |
| --1 1 |
| 11- 1 |
| .names g7 g8 [140] |
| 00 1 |
| .names g7 g9 g8 n_n85 |
| 000 1 |
| .names g0 [153] [348] [223] |
| --1 1 |
| 11- 1 |
| .names ng46 [376] [1355] [65] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names g7 g10 ng30 [224] |
| 0-- 1 |
| -00 1 |
| .names g5 g4 n_n163 |
| 01 1 |
| .names g10 g11 [133] |
| 00 1 |
| .names g9 [140] [230] [229] |
| 01- 1 |
| 0-1 1 |
| .names g10 g8 ng31 [236] |
| 10- 1 |
| -10 1 |
| .names n_n85 [101] [235] [234] |
| 1-- 1 |
| -01 1 |
| .names g7 g6 ng30 [101] |
| 101 1 |
| .names g4 g1 [144] |
| 01 1 |
| .names g5 g3 g11 [146] |
| 011 1 |
| .names n_n124 [281] [69] |
| 1- 1 |
| -1 1 |
| .names g2 g1 [136] |
| 10 1 |
| .names g6 g5 g4 [240] |
| -1- 1 |
| 1-0 1 |
| .names n_n176 n_n133 [405] [78] |
| --1 1 |
| 01- 1 |
| .names g9 g8 [1432] [117] |
| 111 1 |
| .names g11 g9 g8 [119] |
| 110 1 |
| .names g5 g3 [143] |
| 10 1 |
| .names g7 g10 g9 [155] |
| 001 1 |
| 100 1 |
| .names n_n124 [279] [281] [163] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [271] [1435] [1436] [166] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names g6 g5 g4 [174] |
| 10- 1 |
| -11 1 |
| .names n_n138 n_n163 [1459] [180] |
| --1 1 |
| 10- 1 |
| .names n_n163 [136] [1458] [179] |
| --1 1 |
| 01- 1 |
| .names g11 g9 g8 [182] |
| 00- 1 |
| 110 1 |
| .names g5 g3 g2 [185] |
| --1 1 |
| 11- 1 |
| 00- 1 |
| .names g3 g2 g1 [184] |
| 0-- 1 |
| -0- 1 |
| --0 1 |
| .names g7 ng30 [201] |
| 1- 1 |
| -0 1 |
| .names g6 g5 g4 [208] |
| 0-- 1 |
| -1- 1 |
| --0 1 |
| .names g7 g10 g9 [219] |
| 11- 1 |
| 1-0 1 |
| .names g10 g11 n_n85 [222] |
| 1-- 1 |
| -1- 1 |
| --0 1 |
| .names g4 n_n73 [1341] [221] |
| 1-- 1 |
| -0- 1 |
| --0 1 |
| .names g2 [195] [194] [226] |
| 0-- 1 |
| -11 1 |
| .names [232] [231] [394] [230] |
| --1 1 |
| 11- 1 |
| .names g8 ng31 [232] |
| 0- 1 |
| -0 1 |
| .names g6 ng30 [231] |
| 1- 1 |
| -0 1 |
| .names [92] [388] [1353] [235] |
| -1- 1 |
| 1-1 1 |
| .names [65] [1356] [1479] [53] |
| 001 1 |
| .names n_n68 [1401] [1481] [63] |
| 111 1 |
| .names [137] [72] [1477] [70] |
| 11- 1 |
| 1-1 1 |
| .names g4 [185] [184] [72] |
| 111 1 |
| .names g4 g3 g1 [74] |
| 011 1 |
| .names [86] [88] [1468] [80] |
| 1-1 1 |
| -11 1 |
| .names ng43 n_n68 [1401] [83] |
| 011 1 |
| .names n_n176 n_n106 [1470] [84] |
| 111 1 |
| .names g6 g4 ng36 [85] |
| 001 1 |
| .names ng544 [1399] [1466] [86] |
| 111 1 |
| .names g2 [118] [146] [88] |
| 011 1 |
| .names [65] [1356] [1463] [89] |
| 001 1 |
| .names g9 g8 [1464] [90] |
| 0-1 1 |
| -01 1 |
| .names g7 g9 [1461] [93] |
| 101 1 |
| .names g10 [182] [94] |
| 11 1 |
| .names g6 [106] [107] [100] |
| 11- 1 |
| 1-1 1 |
| .names ng40 [65] [1356] [102] |
| 000 1 |
| .names g3 g2 n_n52 [105] |
| 010 1 |
| .names n_n68 [179] [1401] [106] |
| 111 1 |
| .names n_n52 [180] [107] |
| 01 1 |
| .names g4 g3 g2 [108] |
| 001 1 |
| .names [65] [1356] [1454] [114] |
| 001 1 |
| .names g2 g1 [1455] [120] |
| 111 1 |
| .names g4 [148] [121] |
| 01 1 |
| .names g2 [195] [194] [122] |
| 10- 1 |
| 1-0 1 |
| .names g4 [126] [127] [123] |
| 11- 1 |
| 1-1 1 |
| .names [152] [128] [1451] [124] |
| 11- 1 |
| 1-1 1 |
| .names n_n68 [1401] [1450] [126] |
| 111 1 |
| .names ng39 n_n52 [127] |
| 10 1 |
| .names g3 g2 [174] [128] |
| 101 1 |
| .names g6 g4 g3 [241] |
| 110 1 |
| .names [65] [1356] [1448] [244] |
| 001 1 |
| .names g3 [248] [249] [246] |
| 01- 1 |
| 0-1 1 |
| .names g4 g1 g0 [247] |
| 110 1 |
| .names g4 g2 g0 [248] |
| 111 1 |
| .names g2 g1 g0 [249] |
| 01- 1 |
| -10 1 |
| .names [65] [1356] [1442] [250] |
| 001 1 |
| .names n_n52 [99] [170] [251] |
| 001 1 |
| .names [152] [254] [1445] [252] |
| 11- 1 |
| 1-1 1 |
| .names g4 [257] [1444] [254] |
| 01- 1 |
| 0-1 1 |
| .names g5 g3 g2 [256] |
| 110 1 |
| .names g6 g3 g2 [257] |
| 101 1 |
| .names n_n68 [1401] [1440] [260] |
| 111 1 |
| .names g3 g13 ng33 [261] |
| 100 1 |
| .names n_n59 [65] [1379] [263] |
| 011 1 |
| .names [1387] [1388] [1438] [264] |
| 001 1 |
| .names [164] [65] [1356] [266] |
| 100 1 |
| .names ng34 [69] [117] [267] |
| 11- 1 |
| 1-1 1 |
| .names g7 g10 [1431] [268] |
| 111 1 |
| .names g10 g9 g8 [271] |
| 010 1 |
| .names ng42 [65] [1356] [276] |
| 000 1 |
| .names g10 g9 [1429] [277] |
| 1-1 1 |
| -01 1 |
| .names g7 g10 g9 [279] |
| 110 1 |
| .names g7 g9 g8 [281] |
| 110 1 |
| .names n_n120 [138] [159] [283] |
| 111 1 |
| .names [60] [87] [287] [285] |
| 11- 1 |
| 1-1 1 |
| .names g12 [291] [292] [286] |
| 01- 1 |
| 0-1 1 |
| .names g6 [289] [290] [287] |
| 01- 1 |
| 0-1 1 |
| .names g4 [133] [1340] [289] |
| 011 1 |
| .names n_n73 n_n163 [1341] [290] |
| 111 1 |
| .names [118] [306] [1423] [291] |
| 1-1 1 |
| -11 1 |
| .names [293] [294] [1426] [292] |
| 1-1 1 |
| -11 1 |
| .names g2 [118] [1424] [293] |
| 011 1 |
| .names ng544 [1399] [1425] [294] |
| 111 1 |
| .names g6 g9 [1417] [295] |
| 101 1 |
| .names ng44 [60] [299] |
| 01 1 |
| .names [304] [305] [1412] [300] |
| 1-1 1 |
| -11 1 |
| .names ng544 [1399] [1409] [304] |
| 111 1 |
| .names g2 [118] [1410] [305] |
| 011 1 |
| .names g1 ng544 [1399] [306] |
| 111 1 |
| .names g10 g11 g9 [308] |
| 10- 1 |
| 1-0 1 |
| .names ng32 n_n58 [1404] [314] |
| 101 1 |
| .names [320] [321] [1395] [317] |
| 1-1 1 |
| -11 1 |
| .names [153] [58] n_n133 [318] |
| 111 1 |
| .names [58] [322] [323] [319] |
| 11- 1 |
| 1-1 1 |
| .names g4 n_n106 [1342] [320] |
| 011 1 |
| .names n_n74 n_n176 [344] [321] |
| 01- 1 |
| -11 1 |
| .names n_n74 [135] [146] [322] |
| 011 1 |
| .names [140] [1369] [1397] [323] |
| 111 1 |
| .names g1 [1391] [1392] [325] |
| 11- 1 |
| 1-1 1 |
| .names g6 g5 g2 [326] |
| 011 1 |
| .names g6 g5 g4 [328] |
| 010 1 |
| .names g5 g4 g3 [329] |
| 010 1 |
| .names n_n73 [201] [334] [332] |
| 01- 1 |
| -11 1 |
| .names g7 g10 g8 [333] |
| 0-0 1 |
| -00 1 |
| .names g11 g9 g8 [334] |
| 111 1 |
| .names n_n74 [344] [1382] [336] |
| 0-1 1 |
| -11 1 |
| .names g2 [146] [1386] [338] |
| 111 1 |
| .names [148] [153] [340] [339] |
| 11- 1 |
| 1-1 1 |
| .names [140] [133] [1369] [340] |
| 111 1 |
| .names g6 ng36 [343] |
| 01 1 |
| .names g10 g9 [1380] [344] |
| 011 1 |
| .names n_n85 [1373] [1377] [346] |
| 111 1 |
| .names [145] [1339] [1378] [348] |
| 111 1 |
| .names g5 g4 g3 [353] |
| 00- 1 |
| 0-0 1 |
| -10 1 |
| .names [363] [1363] [1364] [355] |
| 1-1 1 |
| -11 1 |
| .names g6 [224] [356] |
| 01 1 |
| .names g1 [360] [1367] [357] |
| 01- 1 |
| 0-1 1 |
| .names [226] [1365] [360] |
| 11 1 |
| .names g5 g4 n_n138 [361] |
| 011 1 |
| .names g1 [366] [1360] [363] |
| 0-1 1 |
| -11 1 |
| .names g5 g3 g1 [365] |
| 010 1 |
| .names g5 g4 g0 [366] |
| 1-1 1 |
| -01 1 |
| .names [236] [1352] [375] |
| 11 1 |
| .names n_n163 [379] [380] [376] |
| 01- 1 |
| 0-1 1 |
| .names g5 [145] [381] [379] |
| 01- 1 |
| 0-1 1 |
| .names g4 g3 g0 [380] |
| 010 1 |
| .names g3 [383] [384] [381] |
| 01- 1 |
| 0-1 1 |
| .names g5 g4 g1 [383] |
| 00- 1 |
| -01 1 |
| .names g2 g0 [384] |
| 01 1 |
| .names g6 ng30 [388] |
| 00 1 |
| .names g7 ng31 [394] |
| 00 1 |
| .names g6 [398] [1349] [395] |
| 11- 1 |
| 1-1 1 |
| .names g11 g8 [92] [398] |
| 110 1 |
| .names g8 ng31 [399] |
| 11 1 |
| .names g3 g1 [78] [400] |
| 00- 1 |
| 0-0 1 |
| .names g6 g3 g2 [405] |
| 110 1 |
| .names g2 g1 [1347] [406] |
| 111 1 |
| .names g2 g1 [240] [407] |
| 101 1 |
| .names g11 [411] [1346] [409] |
| 11- 1 |
| 1-1 1 |
| .names g6 [219] [411] |
| 01 1 |
| .names g7 g9 g8 [412] |
| 100 1 |
| .names g5 n_n73 [1341] [419] |
| 011 1 |
| .names g10 g7 [1339] |
| 01 1 |
| .names g7 g5 g8 [1340] |
| 000 1 |
| .names g11 g9 g8 [1341] |
| 111 1 |
| .names g8 g6 [1342] |
| 00 1 |
| .names g10 g11 g8 [1344] |
| 111 1 |
| .names g9 g6 [1345] |
| 11 1 |
| .names n_n73 [412] [1345] [1346] |
| -1- 1 |
| 0-1 1 |
| .names g4 g6 [1347] |
| 10 1 |
| .names g11 g7 [1348] |
| 01 1 |
| .names [103] [399] [1348] [1349] |
| -1- 1 |
| 0-1 1 |
| .names g7 g11 g9 [1352] |
| 001 1 |
| .names ng31 g8 [1353] |
| 01 1 |
| .names [133] [229] [375] [1354] |
| --1 1 |
| 11- 1 |
| .names g11 [234] [1354] [1355] |
| --1 1 |
| 11- 1 |
| .names g13 g12 [1356] |
| 1- 1 |
| -0 1 |
| .names g6 g9 n_n73 [1357] |
| --0 1 |
| 11- 1 |
| .names g8 g10 [1358] |
| 11 1 |
| .names g5 g4 g3 [1360] |
| 111 1 |
| .names g0 g3 [1361] |
| 10 1 |
| .names n_n163 [365] [1361] [1363] |
| -1- 1 |
| 0-1 1 |
| .names g2 [195] [194] [1364] |
| 111 1 |
| .names g5 g4 g3 [1365] |
| 1-0 1 |
| -00 1 |
| .names [361] g0 [1367] |
| 1- 1 |
| -0 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 [58] [132] [1374] [1377] |
| 111 1 |
| .names g11 g8 ng37 [1378] |
| 111 1 |
| .names g13 g12 [1379] |
| 01 1 |
| .names g8 g7 [1380] |
| 10 1 |
| .names n_n176 n_n138 [132] [1382] |
| 111 1 |
| .names g5 g11 n_n176 [1384] |
| 111 1 |
| .names g2 g3 [1385] |
| 00 1 |
| .names ng35 g4 [1386] |
| 10 1 |
| .names [336] [338] [1387] |
| 1- 1 |
| -1 1 |
| .names [66] [339] [1385] [1388] |
| -1- 1 |
| 1-1 1 |
| .names g13 ng32 n_n58 [1389] |
| 00- 1 |
| 0-1 1 |
| .names g3 g6 [1390] |
| 01 1 |
| .names [329] [328] [1391] |
| 1- 1 |
| -1 1 |
| .names n_n176 n_n133 [405] [1392] |
| --1 1 |
| 01- 1 |
| 10- 1 |
| .names [58] [326] [1390] [1393] |
| -1- 1 |
| 1-1 1 |
| .names [406] [407] [1393] [1394] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names g2 g1 [146] [1395] |
| 101 1 |
| .names g10 g11 n_n133 [1397] |
| 001 1 |
| .names n_n68 g13 [1399] |
| 01 1 |
| .names g13 g12 [1400] |
| 1- 1 |
| -1 1 |
| .names g13 g12 [1401] |
| 10 1 |
| .names g12 g0 [144] [1403] |
| 111 1 |
| .names [149] g12 [1404] |
| 10 1 |
| .names [99] [149] [212] [1405] |
| -1- 1 |
| 0-1 1 |
| .names g2 [135] [146] [1406] |
| 111 1 |
| .names [1406] n_n74 [1407] |
| 10 1 |
| .names g6 g5 g4 [1408] |
| 101 1 |
| .names g2 g1 [1408] [1409] |
| 101 1 |
| .names g6 g5 g4 [1410] |
| 101 1 |
| .names g3 g12 [155] [1412] |
| 101 1 |
| .names ng37 ng38 [1413] |
| 11 1 |
| .names [58] n_n133 [1413] [1414] |
| 111 1 |
| .names g12 g3 [1415] |
| 00 1 |
| .names [151] [299] [1407] [1416] |
| -1- 1 |
| 1-1 1 |
| .names g11 g8 ng38 [1417] |
| 111 1 |
| .names [153] [148] [1419] |
| 11 1 |
| .names g6 g4 g8 [1421] |
| 101 1 |
| .names [1421] n_n106 [1422] |
| 11 1 |
| .names g2 [146] [1422] [1423] |
| 111 1 |
| .names g5 g3 g11 [1424] |
| 011 1 |
| .names g2 g1 [146] [1425] |
| 101 1 |
| .names g6 g4 n_n74 [1426] |
| 110 1 |
| .names [151] [285] [1419] [1427] |
| -1- 1 |
| 1-1 1 |
| .names g7 g11 g8 [1429] |
| 011 1 |
| .names g9 g6 [1431] |
| 10 1 |
| .names g10 g7 [1432] |
| 10 1 |
| .names g10 g7 [1434] |
| 00 1 |
| .names [103] n_n124 [1432] [1435] |
| -1- 1 |
| 0-1 1 |
| .names [61] [119] [1434] [1436] |
| -1- 1 |
| 1-1 1 |
| .names g13 ng32 n_n58 [1438] |
| 00- 1 |
| 0-1 1 |
| .names n_n68 g13 [1439] |
| 01 1 |
| .names g5 g4 [58] [1440] |
| 011 1 |
| .names g3 g0 [68] [1442] |
| 0-0 1 |
| -00 1 |
| .names g6 g5 g3 [1444] |
| 01- 1 |
| -11 1 |
| .names n_n176 [143] [256] [1445] |
| --1 1 |
| 11- 1 |
| .names [251] [260] [261] [1446] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names g5 [246] [247] [1448] |
| 11- 1 |
| 1-1 1 |
| .names g5 g3 [68] [1449] |
| 111 1 |
| .names g5 g2 g1 [1450] |
| 110 1 |
| .names n_n138 n_n163 [241] [1451] |
| --1 1 |
| 01- 1 |
| .names g2 g1 g0 [1453] |
| 110 1 |
| .names [1453] [176] [1454] |
| 11 1 |
| .names g3 g5 [1455] |
| 10 1 |
| .names [60] [66] [114] [1457] |
| --1 1 |
| 11- 1 |
| .names n_n133 [144] [108] [1458] |
| --1 1 |
| 11- 1 |
| .names g5 g4 g2 [1459] |
| 011 1 |
| 101 1 |
| .names n_n176 [177] [100] [1460] |
| --1 1 |
| 11- 1 |
| .names g8 g11 [1461] |
| 01 1 |
| .names [181] g6 [1463] |
| 11 1 |
| .names g7 g10 ng34 [1464] |
| 111 1 |
| .names g2 g1 [146] [1466] |
| 101 1 |
| .names g12 g10 [1467] |
| 01 1 |
| .names [140] [1369] [1467] [1468] |
| 111 1 |
| .names g2 [322] [323] [1469] |
| 11- 1 |
| 1-1 1 |
| .names g5 g11 g8 [1470] |
| 111 1 |
| .names [60] [203] [83] [1473] |
| --1 1 |
| 11- 1 |
| .names [151] [80] [1469] [1474] |
| -1- 1 |
| 1-1 1 |
| .names g1 g2 [1476] |
| 10 1 |
| .names [143] [74] [1476] [1477] |
| -1- 1 |
| 1-1 1 |
| .names g3 g0 [68] [1479] |
| 100 1 |
| .names g4 g2 n_n133 [1480] |
| 0-1 1 |
| -01 1 |
| .names g5 g2 [68] [1481] |
| 111 1 |
| .names n_n52 [63] [1480] [1482] |
| -1- 1 |
| 0-1 1 |
| .names [75] [53] [1482] [1484] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .end |
