| .model top |
| .inputs s1488_in_0_ s1488_in_1_ s1488_in_4_ s1488_in_5_ s1488_in_2_ \ |
| s1488_in_3_ clock s1488_in_6_ s1488_in_7_ |
| .outputs s1488_out_3_ s1488_out_2_ s1488_out_1_ s1488_out_0_ s1488_out_7_ \ |
| s1488_out_12_ s1488_out_6_ s1488_out_13_ s1488_out_5_ s1488_out_10_ \ |
| s1488_out_4_ s1488_out_11_ s1488_out_16_ s1488_out_17_ s1488_out_9_ \ |
| s1488_out_14_ s1488_out_8_ s1488_out_15_ s1488_out_18_ |
| .latch n_n83 n_n356 re clock 2 |
| .latch n_n84 n_n357 re clock 2 |
| .latch n_n85 n_n358 re clock 2 |
| .latch n_n86 n_n359 re clock 2 |
| .latch n_n87 n_n360 re clock 2 |
| .latch n_n88 n_n361 re clock 2 |
| .names n_n358 [186] [1407] s1488_out_3_ |
| --1 1 |
| 01- 1 |
| .names s1488_in_2_ [188] [293] s1488_out_2_ |
| --1 1 |
| 11- 1 |
| .names [1415] [1416] [1423] s1488_out_1_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [268] [1432] s1488_out_0_ |
| 1- 1 |
| -1 1 |
| .names [43] [259] [1438] s1488_out_7_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [248] [1444] [1447] s1488_out_12_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [232] [233] [1455] s1488_out_6_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n361 [47] [227] s1488_out_13_ |
| 01- 1 |
| 0-1 1 |
| .names [1465] [1466] [1468] s1488_out_5_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [99] [100] [1473] s1488_out_10_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [1479] [1480] s1488_out_4_ |
| 1- 1 |
| -1 1 |
| .names [83] [85] [88] s1488_out_11_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [53] [58] [1484] s1488_out_16_ |
| -1- 1 |
| 1-1 1 |
| .names n_n361 [47] [77] s1488_out_17_ |
| --1 1 |
| 01- 1 |
| .names [151] [1486] s1488_out_9_ |
| 11 1 |
| .names [58] [71] [81] s1488_out_14_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [62] [1490] s1488_out_8_ |
| 1- 1 |
| -1 1 |
| .names n_n359 [195] [56] s1488_out_15_ |
| --1 1 |
| 11- 1 |
| .names n_n360 [36] [137] s1488_out_18_ |
| 011 1 |
| .names s1488_in_7_ [192] [1345] n_n83 |
| --1 1 |
| 11- 1 |
| .names [398] [1356] [1357] n_n84 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [382] [1363] [1367] n_n85 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [358] [359] [1375] n_n86 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [334] [1391] n_n87 |
| 1- 1 |
| -1 1 |
| .names [315] [316] [1402] n_n88 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names s1488_in_7_ n_n360 [33] |
| 11 1 |
| .names n_n356 n_n357 [34] |
| 01 1 |
| .names s1488_in_7_ n_n360 [49] |
| 10 1 |
| .names s1488_in_7_ n_n359 n_n360 [54] |
| 111 1 |
| .names n_n357 n_n358 n_n361 [140] |
| 011 1 |
| .names [407] [408] [409] [147] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [75] [229] [230] [151] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n356 n_n357 n_n358 [36] |
| 111 1 |
| .names n_n356 n_n358 [37] |
| 10 1 |
| .names n_n359 n_n361 [48] |
| 01 1 |
| .names s1488_in_7_ n_n360 n_n361 [51] |
| 110 1 |
| .names n_n357 n_n358 [52] |
| 01 1 |
| .names s1488_in_7_ n_n359 n_n361 [65] |
| 110 1 |
| .names s1488_in_1_ s1488_in_2_ [90] |
| 01 1 |
| 10 1 |
| .names [49] [126] [141] [153] |
| 11- 1 |
| 1-1 1 |
| .names n_n356 n_n357 n_n360 [53] |
| 010 1 |
| .names n_n359 n_n361 [142] [66] |
| 011 1 |
| .names n_n359 [36] [107] |
| 01 1 |
| .names s1488_in_2_ n_n360 [136] |
| 01 1 |
| .names n_n360 n_n361 [50] |
| 10 1 |
| .names s1488_in_3_ s1488_in_6_ n_n357 [67] |
| 0-- 1 |
| -0- 1 |
| --1 1 |
| .names n_n356 n_n358 [109] |
| 01 1 |
| .names n_n356 n_n357 n_n360 [130] |
| 011 1 |
| .names n_n357 [54] [65] [160] |
| --1 1 |
| 01- 1 |
| .names s1488_in_2_ [34] [122] [159] |
| -1- 1 |
| 1-1 1 |
| .names s1488_in_4_ s1488_in_5_ s1488_in_2_ [40] |
| --1 1 |
| 11- 1 |
| .names [288] [289] [1416] [43] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n360 n_n361 [127] |
| 00 1 |
| .names n_n359 n_n360 [139] |
| 10 1 |
| .names [41] [264] [1433] [168] |
| -1- 1 |
| 0-1 1 |
| .names s1488_in_2_ s1488_in_3_ [1377] [116] |
| --1 1 |
| 10- 1 |
| .names [339] [340] [1382] [172] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [120] [322] [1394] [182] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names s1488_in_4_ s1488_in_5_ [41] |
| 0- 1 |
| -0 1 |
| .names s1488_in_0_ n_n356 n_n357 [108] |
| 101 1 |
| .names s1488_in_2_ n_n356 [134] |
| 11 1 |
| .names [107] [121] [311] [42] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n359 n_n361 [53] [87] |
| 011 1 |
| .names [38] [187] [308] [186] |
| --1 1 |
| 11- 1 |
| .names n_n358 [35] [1414] [47] |
| 011 1 |
| .names [1410] [1411] [1412] [188] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [430] [1336] [1337] [192] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [427] [428] [429] [190] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [40] [128] [426] [189] |
| --1 1 |
| 11- 1 |
| .names [57] [59] [60] [195] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [67] [127] [1457] [58] |
| 011 1 |
| .names n_n361 [35] [120] |
| 11 1 |
| .names [224] [225] [226] [197] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n356 n_n357 n_n361 [73] |
| 010 1 |
| .names n_n356 n_n360 n_n361 [124] |
| 001 1 |
| .names n_n356 n_n357 n_n358 [122] |
| 100 1 |
| .names s1488_in_1_ s1488_in_6_ [1334] [137] |
| 1-1 1 |
| -01 1 |
| .names n_n358 [35] [1330] [104] |
| 011 1 |
| .names n_n356 n_n358 [1408] [111] |
| 101 1 |
| .names n_n356 n_n357 n_n358 [203] |
| 0-0 1 |
| 111 1 |
| .names s1488_in_2_ n_n356 n_n358 [135] |
| 110 1 |
| .names n_n356 n_n357 [143] |
| 00 1 |
| .names n_n356 n_n357 n_n359 [35] |
| 000 1 |
| .names n_n356 n_n358 [125] |
| 11 1 |
| .names s1488_in_4_ s1488_in_5_ [38] |
| 1- 1 |
| -0 1 |
| .names n_n358 [35] [121] |
| 01 1 |
| .names n_n356 n_n357 n_n358 [126] |
| 110 1 |
| .names s1488_in_3_ n_n358 n_n359 [44] |
| 11- 1 |
| -10 1 |
| .names s1488_in_1_ s1488_in_6_ [45] |
| 1- 1 |
| -0 1 |
| .names n_n356 n_n357 n_n358 [141] |
| 101 1 |
| .names s1488_in_7_ n_n359 [138] |
| 11 1 |
| .names n_n356 n_n358 [142] |
| 00 1 |
| .names n_n356 n_n359 n_n361 [102] |
| -1- 1 |
| 0-1 1 |
| .names n_n361 [35] [301] [103] |
| --1 1 |
| 11- 1 |
| .names s1488_in_2_ n_n358 [119] |
| 1- 1 |
| -0 1 |
| .names n_n356 n_n357 [128] |
| 11 1 |
| .names s1488_in_1_ n_n357 [133] |
| 11 1 |
| .names s1488_in_1_ s1488_in_2_ n_n358 [150] |
| --0 1 |
| 11- 1 |
| 00- 1 |
| .names n_n356 n_n357 n_n358 [156] |
| 0-- 1 |
| -11 1 |
| .names n_n357 [40] [376] [164] |
| --1 1 |
| 10- 1 |
| .names s1488_in_4_ s1488_in_5_ [170] |
| 1- 1 |
| -1 1 |
| .names [138] [176] [1385] [175] |
| 1-- 1 |
| -11 1 |
| .names [49] [133] [350] [176] |
| --1 1 |
| 11- 1 |
| .names n_n361 [328] [329] [185] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n356 n_n357 n_n358 [184] |
| 0-1 1 |
| 100 1 |
| .names s1488_in_0_ [53] [309] [187] |
| --1 1 |
| 01- 1 |
| .names s1488_in_2_ n_n359 n_n360 [207] |
| --0 1 |
| 01- 1 |
| .names n_n358 [48] [53] [56] |
| 011 1 |
| .names s1488_in_2_ n_n360 [109] [57] |
| 011 1 |
| .names n_n358 [130] [59] |
| 01 1 |
| .names n_n360 [126] [60] |
| 01 1 |
| .names [53] [1488] [61] |
| 11 1 |
| .names [136] [120] [69] [62] |
| 11- 1 |
| 1-1 1 |
| .names n_n359 n_n360 [36] [63] |
| 011 1 |
| .names n_n359 [122] [69] |
| 11 1 |
| .names [141] [1482] [1487] [71] |
| 111 1 |
| .names n_n358 n_n360 [35] [75] |
| 001 1 |
| .names s1488_in_2_ [79] [80] [77] |
| 11- 1 |
| 1-1 1 |
| .names n_n358 n_n359 [130] [79] |
| 111 1 |
| .names n_n360 n_n361 [122] [80] |
| 101 1 |
| .names [53] [1484] [81] |
| 11 1 |
| .names [122] [1481] [83] |
| 11 1 |
| .names n_n358 [53] [1417] [85] |
| 011 1 |
| .names s1488_in_6_ [141] [1482] [88] |
| 111 1 |
| .names s1488_in_4_ s1488_in_5_ [92] |
| 00 1 |
| .names n_n359 n_n361 [112] [99] |
| 10- 1 |
| -01 1 |
| .names n_n356 [117] [1470] [100] |
| 11- 1 |
| 1-1 1 |
| .names n_n360 n_n361 [135] [101] |
| 101 1 |
| .names n_n356 n_n358 [48] [105] |
| 101 1 |
| .names n_n358 n_n360 [114] [112] |
| 10- 1 |
| -01 1 |
| .names s1488_in_4_ s1488_in_5_ n_n357 [114] |
| 1-0 1 |
| -00 1 |
| .names n_n357 [207] [117] |
| 01 1 |
| .names n_n361 [35] [1459] [213] |
| 111 1 |
| .names n_n358 [219] [1462] [214] |
| 11- 1 |
| 1-1 1 |
| .names n_n356 n_n357 [50] [217] |
| 011 1 |
| .names [48] [222] [1461] [219] |
| 1-1 1 |
| -11 1 |
| .names s1488_in_0_ s1488_in_2_ n_n359 [222] |
| 001 1 |
| .names n_n360 n_n361 [1463] [224] |
| 101 1 |
| .names n_n358 [127] [35] [225] |
| 011 1 |
| .names s1488_in_0_ [73] [226] |
| 01 1 |
| .names [170] [229] [230] [227] |
| 11- 1 |
| 1-1 1 |
| .names n_n356 n_n358 [136] [229] |
| 101 1 |
| .names s1488_in_0_ n_n358 [53] [230] |
| 001 1 |
| .names n_n360 [37] [238] [231] |
| 01- 1 |
| 0-1 1 |
| .names n_n356 [241] [1449] [232] |
| 11- 1 |
| 1-1 1 |
| .names n_n358 [1450] [1451] [233] |
| 01- 1 |
| 0-1 1 |
| .names n_n358 n_n359 n_n360 [234] |
| 111 1 |
| .names n_n357 n_n358 n_n361 [235] |
| 010 1 |
| .names n_n356 n_n360 n_n361 [236] |
| 010 1 |
| .names n_n358 n_n359 n_n361 [238] |
| 101 1 |
| .names n_n357 n_n359 n_n361 [241] |
| 001 1 |
| .names n_n359 n_n360 [242] |
| 00 1 |
| .names s1488_in_2_ n_n356 n_n359 [243] |
| 1-1 1 |
| -01 1 |
| .names n_n356 n_n360 [67] [247] |
| 101 1 |
| .names n_n361 [108] [255] [248] |
| 01- 1 |
| 0-1 1 |
| .names n_n356 [50] [40] [249] |
| 01- 1 |
| -11 1 |
| .names n_n356 n_n358 n_n361 [250] |
| 101 1 |
| .names s1488_in_4_ s1488_in_5_ n_n356 [255] |
| 110 1 |
| .names [40] [1435] [258] |
| 11 1 |
| .names n_n360 [66] [42] [259] |
| 11- 1 |
| 1-1 1 |
| .names n_n357 n_n358 [139] [260] |
| 011 1 |
| .names n_n359 [53] [261] |
| 11 1 |
| .names s1488_in_0_ n_n357 [264] |
| 11 1 |
| .names s1488_in_1_ [73] [272] [266] |
| 01- 1 |
| -11 1 |
| .names [50] [133] [274] [267] |
| 11- 1 |
| 1-1 1 |
| .names n_n358 [277] [1427] [268] |
| 11- 1 |
| 1-1 1 |
| .names s1488_in_0_ s1488_in_4_ s1488_in_5_ [272] |
| 011 1 |
| .names n_n356 n_n358 [40] [274] |
| 00- 1 |
| -01 1 |
| .names s1488_in_2_ n_n361 [35] [276] |
| 111 1 |
| .names s1488_in_1_ [103] [277] |
| 01 1 |
| .names n_n360 n_n361 [134] [280] |
| 101 1 |
| .names n_n359 [124] [281] |
| 11 1 |
| .names n_n358 n_n359 n_n360 [282] |
| 110 1 |
| .names n_n358 [73] [283] |
| 11 1 |
| .names n_n360 n_n361 [126] [288] |
| 001 1 |
| .names n_n360 n_n361 [125] [289] |
| 101 1 |
| .names s1488_in_2_ n_n361 [35] [291] |
| 111 1 |
| .names n_n361 [47] [293] |
| 01 1 |
| .names n_n359 n_n360 [36] [294] |
| 011 1 |
| .names n_n356 n_n360 n_n361 [301] |
| 110 1 |
| .names n_n356 n_n357 [50] [304] |
| 011 1 |
| .names n_n359 [124] [308] |
| 11 1 |
| .names s1488_in_2_ n_n360 n_n361 [309] |
| 010 1 |
| .names n_n359 [135] [126] [311] |
| 11- 1 |
| 1-1 1 |
| .names [51] [119] [1392] [314] |
| 10- 1 |
| 1-1 1 |
| .names s1488_in_7_ n_n360 [182] [315] |
| 111 1 |
| .names s1488_in_7_ [326] [1399] [316] |
| 11- 1 |
| 1-1 1 |
| .names n_n358 [49] [1340] [317] |
| 011 1 |
| .names n_n356 [54] [318] |
| 11 1 |
| .names s1488_in_2_ n_n357 n_n358 [320] |
| 110 1 |
| .names n_n356 n_n357 n_n361 [321] |
| 111 1 |
| .names n_n356 n_n358 [41] [322] |
| 101 1 |
| .names n_n356 n_n358 [1396] [324] |
| 111 1 |
| .names n_n359 n_n361 [184] [325] |
| 011 1 |
| .names n_n359 [185] [326] |
| 11 1 |
| .names [36] [352] [1377] [327] |
| 11- 1 |
| 1-1 1 |
| .names s1488_in_3_ n_n356 n_n358 [328] |
| 100 1 |
| .names n_n356 n_n357 n_n358 [329] |
| 010 1 |
| .names [33] [338] [1381] [332] |
| 11- 1 |
| 1-1 1 |
| .names [51] [172] [333] |
| 11 1 |
| .names n_n361 [343] [1388] [334] |
| 11- 1 |
| 1-1 1 |
| .names n_n356 [65] [335] |
| 01 1 |
| .names s1488_in_6_ n_n356 n_n358 [337] |
| 011 1 |
| .names n_n357 [44] [338] |
| 11 1 |
| .names s1488_in_2_ n_n357 n_n358 [339] |
| 11- 1 |
| 1-1 1 |
| .names s1488_in_4_ s1488_in_5_ n_n357 [340] |
| 0-1 1 |
| -01 1 |
| .names n_n356 [175] [343] |
| 11 1 |
| .names s1488_in_7_ n_n360 [143] [344] |
| 111 1 |
| .names s1488_in_7_ n_n360 [126] [345] |
| 101 1 |
| .names s1488_in_7_ n_n358 [35] [346] |
| 101 1 |
| .names s1488_in_6_ s1488_in_7_ n_n358 [350] |
| 011 1 |
| .names s1488_in_2_ s1488_in_3_ [352] |
| 10 1 |
| .names [36] [370] [1368] [355] |
| 1-1 1 |
| -11 1 |
| .names [51] [159] [356] |
| 11 1 |
| .names n_n356 [160] [357] |
| 11 1 |
| .names n_n361 [365] [366] [358] |
| 11- 1 |
| 1-1 1 |
| .names n_n358 [372] [1372] [359] |
| 01- 1 |
| 0-1 1 |
| .names n_n361 [49] [141] [360] |
| 011 1 |
| .names [45] [1369] [1370] [365] |
| 0-1 1 |
| -11 1 |
| .names [33] [368] [1371] [366] |
| 11- 1 |
| 1-1 1 |
| .names s1488_in_2_ n_n358 [35] [368] |
| 011 1 |
| .names s1488_in_2_ n_n356 n_n357 [370] |
| 001 1 |
| .names s1488_in_7_ n_n360 [164] [372] |
| 111 1 |
| .names n_n356 n_n357 [138] [373] |
| 011 1 |
| .names s1488_in_2_ n_n356 n_n357 [376] |
| 001 1 |
| .names [33] [52] [1359] [377] |
| 111 1 |
| .names [54] [36] [90] [378] |
| 111 1 |
| .names [51] [122] [385] [379] |
| 10- 1 |
| 1-1 1 |
| .names n_n359 [153] [380] |
| 11 1 |
| .names s1488_in_7_ [73] [389] [381] |
| 11- 1 |
| 1-1 1 |
| .names [48] [391] [392] [382] |
| 11- 1 |
| 1-1 1 |
| .names [54] [37] [1326] [383] |
| 111 1 |
| .names s1488_in_4_ s1488_in_5_ s1488_in_2_ [385] |
| 110 1 |
| .names n_n356 n_n358 n_n359 [389] |
| 010 1 |
| .names s1488_in_7_ n_n360 [156] [391] |
| 101 1 |
| .names s1488_in_7_ n_n360 [37] [392] |
| 111 1 |
| .names [400] [401] [1349] [395] |
| 1-1 1 |
| -11 1 |
| .names [34] [402] [1351] [397] |
| 11- 1 |
| 1-1 1 |
| .names n_n357 [147] [398] |
| 01 1 |
| .names [54] [412] [1355] [399] |
| 11- 1 |
| 1-1 1 |
| .names [45] [1346] [1347] [400] |
| 011 1 |
| .names n_n356 n_n361 [401] |
| 00 1 |
| .names s1488_in_7_ [405] [406] [402] |
| 11- 1 |
| 1-1 1 |
| .names n_n358 n_n359 [405] |
| 10 1 |
| .names s1488_in_2_ n_n361 [406] |
| 11 1 |
| .names [44] [1352] [407] |
| 11 1 |
| .names [37] [410] [411] [408] |
| 11- 1 |
| 1-1 1 |
| .names n_n356 [51] [40] [409] |
| 110 1 |
| .names s1488_in_7_ n_n360 n_n361 [410] |
| 100 1 |
| .names s1488_in_7_ n_n359 n_n361 [411] |
| 101 1 |
| .names n_n357 [150] [412] |
| 11 1 |
| .names [49] [41] [1327] [418] |
| 101 1 |
| .names [51] [189] [419] |
| 11 1 |
| .names n_n357 [49] [1339] [422] |
| 111 1 |
| .names n_n361 [49] [1340] [423] |
| 111 1 |
| .names n_n357 n_n358 [426] |
| 00 1 |
| .names s1488_in_3_ s1488_in_6_ [140] [427] |
| 0-1 1 |
| -11 1 |
| .names n_n356 n_n357 [119] [428] |
| 001 1 |
| .names n_n359 n_n361 [128] [429] |
| 011 1 |
| .names [437] [438] [1333] [430] |
| 1-1 1 |
| -11 1 |
| .names [45] [1334] [1335] [431] |
| 111 1 |
| .names [34] [44] [435] [432] |
| 11- 1 |
| 1-1 1 |
| .names s1488_in_2_ n_n359 n_n361 [435] |
| 101 1 |
| .names s1488_in_1_ n_n357 [1331] [437] |
| 111 1 |
| .names n_n359 [122] [438] |
| 01 1 |
| .names n_n357 s1488_in_2_ [1326] |
| 00 1 |
| .names s1488_in_0_ n_n356 n_n357 [1327] |
| 001 1 |
| .names s1488_in_4_ s1488_in_5_ n_n361 [1330] |
| 110 1 |
| .names n_n358 s1488_in_2_ [1331] |
| 11 1 |
| .names s1488_in_3_ s1488_in_6_ n_n361 [1333] |
| 110 1 |
| .names s1488_in_3_ n_n359 n_n361 [1334] |
| 101 1 |
| .names s1488_in_0_ n_n356 n_n357 [1335] |
| 111 1 |
| .names [52] [104] [102] [1336] |
| -1- 1 |
| 1-1 1 |
| .names [432] [431] [1337] |
| 1- 1 |
| -1 1 |
| .names n_n361 n_n358 [1339] |
| 10 1 |
| .names n_n359 n_n356 [1340] |
| 10 1 |
| .names [54] [418] [1326] [1341] |
| -1- 1 |
| 1-1 1 |
| .names [423] [422] [1342] |
| 1- 1 |
| -1 1 |
| .names [33] [190] [419] [1344] |
| --1 1 |
| 11- 1 |
| .names [1341] [1342] [1344] [1345] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names s1488_in_3_ s1488_in_0_ [1346] |
| 10 1 |
| .names n_n357 n_n359 n_n361 [1347] |
| 101 1 |
| .names s1488_in_7_ n_n358 n_n360 [1349] |
| 110 1 |
| .names s1488_in_2_ s1488_in_7_ n_n360 [1350] |
| 011 1 |
| .names [49] [51] [1339] [1351] |
| -1- 1 |
| 1-1 1 |
| .names s1488_in_7_ n_n356 n_n360 [1352] |
| 111 1 |
| .names s1488_in_3_ n_n356 n_n358 [1354] |
| 00- 1 |
| -01 1 |
| .names [1354] [135] [1355] |
| 1- 1 |
| -1 1 |
| .names [140] [395] [1350] [1356] |
| -1- 1 |
| 1-1 1 |
| .names [399] [397] [1357] |
| 1- 1 |
| -1 1 |
| .names n_n359 s1488_in_6_ [1359] |
| 01 1 |
| .names [377] [65] [1362] |
| 1- 1 |
| -1 1 |
| .names [379] [378] [1363] |
| 1- 1 |
| -1 1 |
| .names [383] [381] [1364] |
| 1- 1 |
| -1 1 |
| .names [380] [1362] [1364] [1367] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names s1488_in_7_ n_n359 n_n360 [1368] |
| 110 1 |
| .names s1488_in_3_ s1488_in_0_ [1369] |
| 0- 1 |
| -1 1 |
| .names s1488_in_7_ n_n360 [36] [1370] |
| 101 1 |
| .names s1488_in_6_ [126] [141] [1371] |
| -1- 1 |
| 1-1 1 |
| .names s1488_in_3_ [54] [373] [1372] |
| --1 1 |
| 11- 1 |
| .names [360] [355] [1373] |
| 1- 1 |
| -1 1 |
| .names [356] [357] [1373] [1375] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names s1488_in_6_ s1488_in_1_ [1377] |
| 0- 1 |
| -0 1 |
| .names s1488_in_7_ n_n361 [36] [1379] |
| 101 1 |
| .names n_n359 s1488_in_2_ [1380] |
| 01 1 |
| .names [34] [337] [1380] [1381] |
| -1- 1 |
| 1-1 1 |
| .names n_n356 n_n357 n_n358 [1382] |
| 01- 1 |
| 1-1 1 |
| .names s1488_in_3_ s1488_in_0_ [1385] |
| 10 1 |
| .names [49] [141] [344] [1386] |
| --1 1 |
| 11- 1 |
| .names [345] [346] [1386] [1388] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [116] [335] [1379] [1389] |
| -1- 1 |
| 0-1 1 |
| .names [332] [333] [1389] [1391] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names s1488_in_2_ n_n356 n_n357 [1392] |
| 11- 1 |
| -01 1 |
| .names [321] [320] [1394] |
| 1- 1 |
| -1 1 |
| .names n_n361 s1488_in_6_ [1396] |
| 11 1 |
| .names [324] [325] [327] [1399] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [49] [141] [317] [1400] |
| --1 1 |
| 11- 1 |
| .names [314] [318] [1400] [1402] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [48] [53] [304] [1406] |
| --1 1 |
| 11- 1 |
| .names n_n360 [42] [1406] [1407] |
| --1 1 |
| 11- 1 |
| .names n_n360 n_n359 [1408] |
| 11 1 |
| .names [48] [124] [142] [1409] |
| -1- 1 |
| 1-1 1 |
| .names s1488_in_0_ [53] [111] [1410] |
| --1 1 |
| 01- 1 |
| .names n_n358 [53] [1409] [1411] |
| --1 1 |
| 11- 1 |
| .names [294] [103] [1412] |
| 1- 1 |
| -1 1 |
| .names s1488_in_4_ s1488_in_5_ n_n360 [1414] |
| 110 1 |
| .names [127] [126] [289] [1415] |
| --1 1 |
| 11- 1 |
| .names n_n357 [124] [291] [1416] |
| --1 1 |
| 01- 1 |
| .names n_n361 s1488_in_0_ [1417] |
| 01 1 |
| .names [53] [282] [1417] [1419] |
| -1- 1 |
| 1-1 1 |
| .names [66] [47] [280] [1421] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [281] [283] [1419] [1422] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [1422] [1421] [1423] |
| 1- 1 |
| -1 1 |
| .names s1488_in_1_ n_n359 n_n360 [1425] |
| 101 1 |
| .names n_n360 [34] [102] [1426] |
| 01- 1 |
| 0-1 1 |
| .names [1426] [276] [1427] |
| 1- 1 |
| -1 1 |
| .names [104] [203] [1425] [1429] |
| 1-- 1 |
| -11 1 |
| .names [87] [111] [266] [1430] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [267] [1429] [1430] [1432] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n359 n_n356 [1433] |
| 00 1 |
| .names n_n358 n_n360 n_n361 [1434] |
| 000 1 |
| .names n_n356 n_n360 n_n361 [1435] |
| 110 1 |
| .names [168] [261] [1434] [1437] |
| -1- 1 |
| 1-1 1 |
| .names [258] [260] [1437] [1438] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n357 n_n358 n_n359 [1442] |
| --1 1 |
| 01- 1 |
| .names n_n356 n_n358 [130] [1443] |
| --1 1 |
| 01- 1 |
| .names [1442] [250] [1444] |
| 1- 1 |
| -1 1 |
| .names [247] [249] [1443] [1447] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n361 s1488_in_2_ [1448] |
| 00 1 |
| .names [38] [242] [1448] [1449] |
| -1- 1 |
| 1-1 1 |
| .names n_n357 n_n361 [108] [1450] |
| --1 1 |
| 11- 1 |
| .names [34] [38] [243] [1451] |
| --1 1 |
| 11- 1 |
| .names [234] [130] [1452] |
| 1- 1 |
| -1 1 |
| .names [236] [235] [1453] |
| 1- 1 |
| -1 1 |
| .names [231] [1452] [1453] [1455] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n356 n_n358 n_n359 [1457] |
| 100 1 |
| .names n_n360 n_n358 [1459] |
| 10 1 |
| .names n_n360 n_n356 [1461] |
| 00 1 |
| .names s1488_in_2_ [53] [73] [1462] |
| --1 1 |
| 01- 1 |
| .names s1488_in_2_ n_n356 n_n358 [1463] |
| 010 1 |
| .names [36] [139] [217] [1465] |
| --1 1 |
| 11- 1 |
| .names [213] [58] [1466] |
| 1- 1 |
| -1 1 |
| .names s1488_in_5_ [197] [214] [1468] |
| --1 1 |
| 01- 1 |
| .names n_n360 n_n356 [1469] |
| 10 1 |
| .names n_n360 n_n361 [140] [1470] |
| --1 1 |
| 01- 1 |
| .names n_n358 n_n359 [1469] [1471] |
| 11- 1 |
| 1-1 1 |
| -11 1 |
| .names [101] [105] [1471] [1473] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n358 n_n359 n_n361 [1475] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n356 n_n360 [1477] |
| 01 1 |
| 10 1 |
| .names [41] [134] [1475] [1479] |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names [108] [92] [1477] [1480] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n359 n_n360 n_n361 [1481] |
| 101 1 |
| .names n_n359 n_n360 n_n361 [1482] |
| 011 1 |
| .names s1488_in_2_ n_n358 n_n359 [1484] |
| 111 1 |
| .names s1488_in_4_ s1488_in_5_ n_n361 [1486] |
| 100 1 |
| .names s1488_in_6_ s1488_in_3_ [1487] |
| 01 1 |
| .names s1488_in_0_ n_n358 n_n359 [1488] |
| 100 1 |
| .names [66] [61] [63] [1490] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .end |
