.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 [298] [1416] g535
1- 1
-1 1
.names ng41 g546
0 1
.names [286] [1428] g537
1- 1
-1 1
.names [275] [276] g548
1- 1
-1 1
.names [266] [267] g547
1- 1
-1 1
.names [262] [263] g539
1- 1
-1 1
.names [250] [1447] g549
1- 1
-1 1
.names ng328 [1452] g551
1- 1
-1 1
.names [115] [1457] g530
1- 1
-1 1
.names [102] [1460] g552
1- 1
-1 1
.names ng279 [1465] g542
0- 1
-1 1
.names ng423 [70] g532
1- 1
-1 1
.names [64] [1484] g550
1- 1
-1 1
.names [145] [1339] ng511
11 1
.names g2 n_n133 ng512
01 1
10 1
.names [134] [419] ng509
1- 1
-1 1
.names [142] [415] ng508
1- 1
-1 1
.names g6 g9 ng510
01 1
10 1
.names [408] [409] ng515
00 1
.names [400] [401] ng516
1- 1
-1 1
.names [395] [396] ng513
00 1
.names ng279 [1359] ng514
11 1
.names g10 [368] ng503
1- 1
-1 1
.names [357] [1368] ng519
00 1
.names [216] [215] ng502
11 1
.names [87] [220] ng517
01 1
.names n_n120 [315] ng518
1- 1
-1 1
.names n_n52 [52] ng507
0- 1
-1 1
.names [313] [314] ng506
00 1
.names [311] [1405] ng505
1- 1
-1 1
.names [308] [309] ng504
1- 1
-1 1
.names [417] [418] n_n74
1- 1
-1 1
.names g2 [146] [57]
11 1
.names n_n45 [1415] [60]
01 1
.names g11 g8 [61]
11 1
.names g6 g4 [135]
10 1
.names g12 ng146 [151]
01 1
.names [300] [301] [154]
1- 1
-1 1
.names n_n59 [150] n_n120
11 1
.names [58] n_n133 [138]
11 1
.names g2 n_n133 [148]
11 1
.names n_n176 n_n114 [153]
11 1
.names [295] [296] [159]
1- 1
-1 1
.names [291] [292] [158]
1- 1
-1 1
.names [87] [287] [157]
1- 1
-1 1
.names [65] [1356] n_n54
1- 1
-1 1
.names [277] [278] [162]
1- 1
-1 1
.names [69] [117] [165]
1- 1
-1 1
.names [268] [269] [164]
1- 1
-1 1
.names [346] [347] n_n59
1- 1
-1 1
.names [65] [1379] [150]
11 1
.names [264] [265] [167]
1- 1
-1 1
.names [62] [1400] n_n52
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 [52] [152]
11 1
.names g4 g3 [170]
0- 1
-0 1
.names g3 g0 [169]
0- 1
-0 1
.names [254] [1445] [168]
1- 1
-1 1
.names [244] [245] ng328
1- 1
-1 1
.names [128] [1451] [173]
1- 1
-1 1
.names [126] [127] [172]
1- 1
-1 1
.names g2 g1 [58]
11 1
.names [342] [343] [66]
1- 1
-1 1
.names g0 n_n54 [137]
10 1
.names g4 [143] [176]
1- 1
-1 1
.names [122] [1456] [175]
1- 1
-1 1
.names g6 g4 n_n176
11 1
.names [106] [107] [178]
1- 1
-1 1
.names [104] [105] [177]
1- 1
-1 1
.names n_n124 [373] ng279
0- 1
-1 1
.names g7 g10 n_n73
11 1
.names g9 g8 [103]
0- 1
-0 1
.names [94] [1462] [181]
1- 1
-1 1
.names [1473] [1474] ng423
1- 1
-1 1
.names [72] [1477] [183]
1- 1
-1 1
.names g5 g3 n_n133
11 1
.names n_n68 [1401] [52]
11 1
.names g4 g2 [187]
0- 1
-0 1
.names g4 g0 [145]
00 1
.names g3 g2 n_n138
10 1
.names n_n74 [344] [55]
0- 1
-1 1
.names g5 g11 [132]
01 1
.names [153] [340] [188]
1- 1
-1 1
.names [1387] [1388] ng553
1- 1
-1 1
.names g10 [139] n_n106
01 1
.names g9 [1343] [189]
0- 1
-1 1
.names n_n124 [200] n_n58
01 1
.names [325] [1394] [190]
1- 1
-1 1
.names n_n58 [190] n_n68
01 1
.names g6 g9 [141]
10 1
.names g7 [92] n_n124
10 1
.names g8 ng34 [193]
0- 1
-0 1
.names g6 n_n54 [192]
0- 1
-1 1
.names ng32 n_n58 [62]
0- 1
-1 1
.names g4 n_n133 [195]
0- 1
-1 1
.names g5 g1 [194]
0- 1
-1 1
.names [195] [194] ng81
11 1
.names g10 g9 [92]
1- 1
-0 1
.names g7 g9 [139]
10 1
.names n_n73 [1341] n_n114
11 1
.names [133] [1340] [134]
11 1
.names [322] [323] [54]
1- 1
-1 1
.names [320] [321] [196]
1- 1
-1 1
.names [317] [1398] ng544
1- 1
-1 1
.names [246] [247] [197]
1- 1
-1 1
.names [332] [333] [200]
1- 1
-1 1
.names n_n106 [1342] [142]
11 1
.names [140] [1369] [59]
11 1
.names [86] [88] [204]
1- 1
-1 1
.names [84] [85] [203]
1- 1
-1 1
.names ng553 [1389] [118]
11 1
.names ng544 [1399] [131]
11 1
.names [118] [306] ng146
1- 1
-1 1
.names [118] [131] [205]
1- 1
-1 1
.names [406] [407] [76]
1- 1
-1 1
.names g1 [402] [207]
0- 1
-1 1
.names g1 [78] [206]
0- 1
-0 1
.names g11 g9 [209]
0- 1
-0 1
.names n_n54 [1357] [211]
1- 1
-1 1
.names ng34 n_n125 [210]
0- 1
-0 1
.names g2 n_n163 [149]
11 1
.names g5 [135] [213]
1- 1
-1 1
.names g3 n_n176 [212]
0- 1
-0 1
.names g7 g9 [214]
0- 1
-0 1
.names [214] [1358] n_n125
11 1
.names [136] [353] [216]
0- 1
-1 1
.names n_n138 n_n163 [215]
0- 1
-1 1
.names [411] [1346] [218]
1- 1
-1 1
.names [59] [1371] [87]
11 1
.names [350] [1372] [220]
1- 1
-1 1
.names g7 g8 [140]
00 1
.names g9 [140] n_n85
01 1
.names [348] [349] [223]
1- 1
-1 1
.names ng46 n_n10 [65]
0- 1
-1 1
.names [363] [1363] [227]
1- 1
-1 1
.names [360] [1367] [225]
1- 1
-1 1
.names g7 [358] [224]
0- 1
-1 1
.names g5 g4 n_n163
01 1
.names g10 g11 [133]
00 1
.names n_n85 [391] [229]
1- 1
-1 1
.names [133] [229] ng471
11 1
.names [389] [390] [236]
1- 1
-1 1
.names n_n85 [385] [234]
1- 1
-1 1
.names [379] [380] [233]
1- 1
-1 1
.names [376] [1355] n_n10
1- 1
-1 1
.names ng30 [1350] [101]
11 1
.names [398] [1349] [239]
1- 1
-1 1
.names g4 g1 [144]
01 1
.names g2 [118] n_n45
1- 1
-0 1
.names g3 [132] [146]
11 1
.names n_n124 [281] [69]
1- 1
-1 1
.names g2 g1 [136]
10 1
.names g5 [135] [240]
1- 1
-1 1
.names [404] [405] [78]
1- 1
-1 1
.names [103] [1432] [117]
01 1
.names g8 [1433] [119]
01 1
.names g5 g4 [130]
0- 1
-1 1
.names g5 g3 [143]
10 1
.names g3 g2 [147]
01 1
.names [304] [305] [156]
1- 1
-1 1
.names n_n106 [302] [155]
1- 1
-1 1
.names [289] [290] [160]
1- 1
-1 1
.names [293] [294] [161]
1- 1
-1 1
.names [69] [279] [163]
1- 1
-1 1
.names [1436] [1437] [166]
1- 1
-1 1
.names [257] [1444] [171]
1- 1
-1 1
.names [242] [243] [174]
1- 1
-1 1
.names [112] [1459] [180]
1- 1
-1 1
.names [110] [1458] [179]
1- 1
-1 1
.names [119] [96] [182]
1- 1
-1 1
.names n_n133 [77] [185]
1- 1
-1 1
.names g3 [58] [184]
0- 1
-0 1
.names g5 g2 [186]
0- 1
-1 1
.names [1391] [1392] [191]
1- 1
-1 1
.names [248] [249] [198]
1- 1
-1 1
.names g2 g0 [199]
0- 1
-0 1
.names n_n73 [334] [202]
0- 1
-1 1
.names g7 ng30 [201]
1- 1
-0 1
.names g6 n_n163 [208]
0- 1
-0 1
.names g4 g3 [217]
0- 1
-0 1
.names n_n73 [139] [219]
1- 1
-1 1
.names n_n85 [133] [222]
0- 1
-0 1
.names g4 n_n114 [221]
1- 1
-0 1
.names g2 ng81 [226]
0- 1
-1 1
.names g1 [366] [228]
0- 1
-1 1
.names [393] [394] [230]
1- 1
-1 1
.names g8 ng31 [232]
0- 1
-0 1
.names g6 ng30 [231]
1- 1
-0 1
.names [145] [381] [237]
1- 1
-1 1
.names [387] [388] [235]
1- 1
-1 1
.names [383] [384] [238]
1- 1
-1 1
.names n_n54 [1479] [53]
01 1
.names n_n52 [1480] [56]
01 1
.names [52] [1481] [63]
11 1
.names ng29 [137] [64]
01 1
.names [137] [183] [70]
11 1
.names [185] [1475] [72]
11 1
.names [143] [1476] [73]
11 1
.names g3 [144] [74]
11 1
.names n_n138 [186] [77]
01 1
.names [204] [1468] [80]
11 1
.names [151] [1469] [81]
11 1
.names [60] [203] [82]
11 1
.names ng43 [52] [83]
01 1
.names [1470] [1471] [84]
11 1
.names ng36 [1472] [85]
11 1
.names [131] [1466] [86]
11 1
.names n_n45 [146] [88]
01 1
.names n_n54 [1463] [89]
01 1
.names [103] [1464] [90]
11 1
.names [139] [1461] [93]
11 1
.names g10 [182] [94]
11 1
.names g11 g9 [96]
00 1
.names n_n176 [177] [98]
11 1
.names g6 [178] [100]
11 1
.names ng40 n_n54 [102]
00 1
.names [99] [152] [104]
11 1
.names n_n52 [147] [105]
01 1
.names [52] [179] [106]
11 1
.names n_n52 [180] [107]
01 1
.names g4 [147] [108]
01 1
.names n_n133 [144] [109]
11 1
.names n_n163 [136] [110]
01 1
.names g4 [99] [111]
00 1
.names n_n138 n_n163 [112]
10 1
.names n_n54 [1454] [114]
01 1
.names [137] [175] [115]
11 1
.names [60] [66] [116]
11 1
.names [58] [1455] [120]
11 1
.names g4 [148] [121]
01 1
.names g2 ng81 [122]
10 1
.names g4 [172] [123]
11 1
.names [152] [173] [124]
11 1
.names [52] [1450] [126]
11 1
.names ng39 n_n52 [127]
10 1
.names n_n138 [174] [128]
11 1
.names n_n138 n_n163 [129]
01 1
.names g3 n_n176 [241]
01 1
.names g5 g4 [242]
11 1
.names g6 g5 [243]
10 1
.names n_n54 [1448] [244]
01 1
.names [137] [1449] [245]
11 1
.names g3 [198] [246]
01 1
.names g0 [68] [247]
00 1
.names g4 [199] [248]
10 1
.names g1 [199] [249]
11 1
.names n_n54 [1442] [250]
01 1
.names n_n52 [1443] [251]
01 1
.names [152] [168] [252]
11 1
.names g4 [171] [254]
01 1
.names n_n176 [143] [255]
11 1
.names g5 n_n138 [256]
11 1
.names g6 [147] [257]
11 1
.names g6 g5 [258]
01 1
.names [52] [1440] [260]
11 1
.names ng33 [1441] [261]
01 1
.names g12 [167] [262]
01 1
.names n_n59 [150] [263]
01 1
.names ng553 [1438] [264]
01 1
.names ng544 [1439] [265]
01 1
.names n_n54 [164] [266]
01 1
.names ng34 [165] [267]
11 1
.names n_n73 [1431] [268]
11 1
.names g6 [166] [269]
11 1
.names [61] [1434] [270]
11 1
.names g8 [92] [271]
00 1
.names ng34 [162] [275]
11 1
.names ng42 n_n54 [276]
00 1
.names [92] [1429] [277]
11 1
.names g11 [163] [278]
11 1
.names g9 n_n73 [279]
01 1
.names g8 [1430] [281]
01 1
.names n_n120 [1418] [283]
11 1
.names [151] [1419] [284]
11 1
.names [60] [157] [285]
11 1
.names g12 [158] [286]
01 1
.names g6 [160] [287]
01 1
.names g4 [134] [289]
01 1
.names n_n114 n_n163 [290]
11 1
.names ng146 [1423] [291]
11 1
.names [161] [1426] [292]
11 1
.names n_n45 [1424] [293]
01 1
.names [131] [1425] [294]
11 1
.names [141] [1417] [295]
11 1
.names g0 [153] [296]
11 1
.names [151] [1407] [297]
11 1
.names [61] [154] [298]
11 1
.names ng44 [60] [299]
01 1
.names [156] [1412] [300]
11 1
.names n_n120 [1414] [301]
11 1
.names g7 [92] [302]
00 1
.names [131] [1409] [304]
11 1
.names n_n45 [1410] [305]
01 1
.names g1 [131] [306]
11 1
.names g10 [209] [308]
11 1
.names g7 g11 [309]
01 1
.names [99] [212] [310]
01 1
.names n_n138 [213] [311]
11 1
.names [65] [1403] [313]
01 1
.names [62] [1404] [314]
01 1
.names g12 [205] [315]
01 1
.names [196] [1395] [317]
11 1
.names [138] [153] [318]
11 1
.names [58] [54] [319]
11 1
.names g4 [142] [320]
01 1
.names n_n176 [55] [321]
11 1
.names n_n74 [1396] [322]
01 1
.names [59] [1397] [323]
11 1
.names [58] [1390] [324]
11 1
.names g1 [191] [325]
11 1
.names g6 [99] [326]
00 1
.names g6 [130] [328]
00 1
.names g3 n_n163 [329]
01 1
.names n_n176 n_n133 [330]
10 1
.names [202] [201] [332]
11 1
.names g8 n_n73 [333]
00 1
.names g9 [61] [334]
11 1
.names [55] [1382] [336]
11 1
.names [66] [1385] [337]
11 1
.names [57] [1386] [338]
11 1
.names [148] [188] [339]
11 1
.names [59] [133] [340]
11 1
.names n_n74 [1384] [342]
01 1
.names g6 ng36 [343]
01 1
.names [92] [1380] [344]
01 1
.names [1376] [1377] [346]
11 1
.names [138] [223] [347]
11 1
.names ng511 [1378] [348]
11 1
.names g0 [153] [349]
11 1
.names [222] [221] [350]
11 1
.names [130] [217] [353]
11 1
.names [227] [1364] [355]
11 1
.names g6 [224] [356]
01 1
.names g1 [225] [357]
01 1
.names g10 ng30 [358]
00 1
.names [226] [1365] [360]
11 1
.names [130] [1366] [361]
11 1
.names [228] [1360] [363]
11 1
.names n_n163 [1361] [364]
01 1
.names g1 [1362] [365]
01 1
.names g0 n_n163 [366]
10 1
.names g11 g9 [368]
10 1
.names g6 g9 [370]
11 1
.names [193] [192] [373]
11 1
.names [236] [1352] [375]
11 1
.names n_n163 [233] [376]
01 1
.names g11 [234] [377]
11 1
.names g5 [237] [379]
01 1
.names g3 [145] [380]
11 1
.names g3 [238] [381]
01 1
.names g4 ng81 [383]
01 1
.names g2 g0 [384]
01 1
.names [101] [235] [385]
01 1
.names [92] [1353] [387]
11 1
.names g6 ng30 [388]
00 1
.names g8 ng31 [389]
10 1
.names g10 g8 [390]
10 1
.names g9 [230] [391]
01 1
.names [232] [231] [393]
11 1
.names g7 ng31 [394]
00 1
.names g6 [239] [395]
11 1
.names g8 [101] [396]
11 1
.names [103] [1348] [397]
01 1
.names [61] [92] [398]
10 1
.names g8 ng31 [399]
11 1
.names g3 [206] [400]
01 1
.names [76] [207] [401]
01 1
.names [78] [208] [402]
01 1
.names n_n176 n_n133 [404]
01 1
.names g6 n_n138 [405]
11 1
.names [58] [1347] [406]
11 1
.names [136] [240] [407]
11 1
.names [141] [1344] [408]
11 1
.names g11 [218] [409]
11 1
.names n_n73 [1345] [410]
01 1
.names g6 [219] [411]
01 1
.names g8 [139] [412]
01 1
.names g6 n_n74 [415]
10 1
.names g8 [189] [417]
01 1
.names g8 n_n106 [418]
10 1
.names g5 n_n114 [419]
01 1
.names g10 g7 [1339]
01 1
.names [140] g5 [1340]
10 1
.names [61] g9 [1341]
11 1
.names g8 g6 [1342]
00 1
.names g10 g7 [1343]
0- 1
-1 1
.names [61] g10 [1344]
11 1
.names g9 g6 [1345]
11 1
.names [412] [410] [1346]
1- 1
-1 1
.names g4 g6 [1347]
10 1
.names g11 g7 [1348]
01 1
.names [397] [399] [1349]
1- 1
-1 1
.names g6 g7 [1350]
01 1
.names g11 g7 [1351]
00 1
.names [1351] g9 [1352]
11 1
.names ng31 g8 [1353]
01 1
.names ng471 [375] [1354]
1- 1
-1 1
.names [1354] [377] [1355]
1- 1
-1 1
.names g13 g12 [1356]
1- 1
-0 1
.names [370] n_n73 [1357]
1- 1
-0 1
.names g8 g10 [1358]
11 1
.names [211] [210] [1359]
11 1
.names n_n133 g4 [1360]
11 1
.names g0 g3 [1361]
10 1
.names g3 g5 [1362]
10 1
.names [365] [364] [1363]
1- 1
-1 1
.names ng81 g2 [1364]
11 1
.names n_n163 g3 [1365]
00 1
.names n_n163 n_n138 [1366]
11 1
.names [361] g0 [1367]
1- 1
-0 1
.names [355] [356] [1368]
1- 1
-1 1
.names n_n176 g9 [1369]
11 1
.names g10 g5 [1370]
11 1
.names [1370] g11 [1371]
11 1
.names g5 g6 [1372]
1- 1
-1 1
.names g3 g10 [1373]
01 1
.names [135] g0 [1374]
10 1
.names [132] [58] [1375]
11 1
.names n_n85 [1373] [1376]
11 1
.names [1375] [1374] [1377]
11 1
.names [61] ng37 [1378]
11 1
.names g13 g12 [1379]
01 1
.names g8 g7 [1380]
10 1
.names n_n138 n_n176 [1381]
11 1
.names [1381] [132] [1382]
11 1
.names g11 g5 [1383]
11 1
.names [1383] n_n176 [1384]
11 1
.names g2 g3 [1385]
00 1
.names ng35 g4 [1386]
10 1
.names [336] [338] [1387]
1- 1
-1 1
.names [337] [339] [1388]
1- 1
-1 1
.names [62] g13 [1389]
10 1
.names g3 g6 [1390]
01 1
.names [329] [328] [1391]
1- 1
-1 1
.names [78] [330] [1392]
1- 1
-1 1
.names [326] [324] [1393]
1- 1
-1 1
.names [76] [1393] [1394]
1- 1
-1 1
.names [57] g1 [1395]
10 1
.names [146] [135] [1396]
11 1
.names [133] n_n133 [1397]
11 1
.names [319] [318] [1398]
1- 1
-1 1
.names n_n68 g13 [1399]
01 1
.names g13 g12 [1400]
1- 1
-1 1
.names g13 g12 [1401]
10 1
.names g0 g12 [1402]
11 1
.names [1402] [144] [1403]
11 1
.names [149] g12 [1404]
10 1
.names [310] [149] [1405]
1- 1
-1 1
.names [57] [135] [1406]
11 1
.names [1406] n_n74 [1407]
10 1
.names n_n163 g6 [1408]
11 1
.names [1408] [136] [1409]
11 1
.names n_n176 g5 [1410]
10 1
.names g12 g3 [1411]
01 1
.names [155] [1411] [1412]
11 1
.names ng37 ng38 [1413]
11 1
.names [138] [1413] [1414]
11 1
.names g12 g3 [1415]
00 1
.names [297] [299] [1416]
1- 1
-1 1
.names [61] ng38 [1417]
11 1
.names [159] [138] [1418]
11 1
.names [153] [148] [1419]
11 1
.names g4 g6 [1420]
01 1
.names [1420] g8 [1421]
11 1
.names [1421] n_n106 [1422]
11 1
.names [1422] [57] [1423]
11 1
.names [132] g3 [1424]
11 1
.names [57] g1 [1425]
10 1
.names n_n74 n_n176 [1426]
01 1
.names [284] [285] [1427]
1- 1
-1 1
.names [1427] [283] [1428]
1- 1
-1 1
.names [61] g7 [1429]
10 1
.names g9 g7 [1430]
11 1
.names g9 g6 [1431]
10 1
.names g10 g7 [1432]
10 1
.names g9 g11 [1433]
11 1
.names g10 g7 [1434]
00 1
.names [117] n_n124 [1435]
1- 1
-1 1
.names [270] [119] [1436]
1- 1
-1 1
.names [1435] [271] [1437]
1- 1
-1 1
.names [62] g13 [1438]
10 1
.names n_n68 g13 [1439]
01 1
.names n_n163 [58] [1440]
11 1
.names g13 g3 [1441]
01 1
.names [169] [68] [1442]
10 1
.names [170] [99] [1443]
10 1
.names [258] n_n133 [1444]
1- 1
-1 1
.names [256] [255] [1445]
1- 1
-1 1
.names [75] [251] [1446]
1- 1
-1 1
.names [1446] [252] [1447]
1- 1
-1 1
.names [197] g5 [1448]
11 1
.names n_n133 [68] [1449]
11 1
.names [99] g1 [1450]
00 1
.names [241] [129] [1451]
1- 1
-1 1
.names [123] [124] [1452]
1- 1
-1 1
.names [58] g0 [1453]
10 1
.names [1453] [176] [1454]
11 1
.names g3 g5 [1455]
10 1
.names [121] [120] [1456]
1- 1
-1 1
.names [114] [116] [1457]
1- 1
-1 1
.names [109] [108] [1458]
1- 1
-1 1
.names [111] [149] [1459]
1- 1
-1 1
.names [98] [100] [1460]
1- 1
-1 1
.names g8 g11 [1461]
01 1
.names [93] n_n125 [1462]
1- 1
-1 1
.names [181] g6 [1463]
11 1
.names n_n73 ng34 [1464]
11 1
.names [89] [90] [1465]
1- 1
-1 1
.names [57] g1 [1466]
10 1
.names g12 g10 [1467]
01 1
.names [59] [1467] [1468]
11 1
.names [54] g2 [1469]
11 1
.names [61] g5 [1470]
11 1
.names n_n106 n_n176 [1471]
11 1
.names g4 g6 [1472]
00 1
.names [82] [83] [1473]
1- 1
-1 1
.names [81] [80] [1474]
1- 1
-1 1
.names [184] g4 [1475]
11 1
.names g1 g2 [1476]
10 1
.names [74] [73] [1477]
1- 1
-1 1
.names g0 g3 [1478]
01 1
.names [1478] [68] [1479]
10 1
.names [187] n_n133 [1480]
11 1
.names [99] [68] [1481]
01 1
.names [63] [56] [1482]
1- 1
-1 1
.names [1482] [75] [1483]
1- 1
-1 1
.names [53] [1483] [1484]
1- 1
-1 1
.end