| .model top |
| .inputs s1494_in_0_ s1494_in_7_ s1494_in_5_ s1494_in_6_ s1494_in_3_ \ |
| s1494_in_4_ s1494_in_1_ s1494_in_2_ clock |
| .outputs s1494_out_8_ s1494_out_11_ s1494_out_9_ s1494_out_12_ s1494_out_10_ \ |
| s1494_out_4_ s1494_out_5_ s1494_out_6_ s1494_out_7_ s1494_out_0_ s1494_out_1_ \ |
| s1494_out_2_ s1494_out_17_ s1494_out_3_ s1494_out_18_ s1494_out_15_ \ |
| s1494_out_16_ s1494_out_13_ s1494_out_14_ |
| .latch n_n83 n_n376 re clock 2 |
| .latch n_n84 n_n377 re clock 2 |
| .latch n_n85 n_n378 re clock 2 |
| .latch n_n86 n_n379 re clock 2 |
| .latch n_n87 n_n380 re clock 2 |
| .latch n_n88 n_n381 re clock 2 |
| .names [1363] [1364] [1367] s1494_out_8_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names s1494_in_2_ [44] [166] s1494_out_11_ |
| -1- 1 |
| 1-1 1 |
| .names [283] [284] [1376] s1494_out_9_ |
| 1-1 1 |
| -11 1 |
| .names [44] [281] s1494_out_12_ |
| 1- 1 |
| -1 1 |
| .names [73] [279] s1494_out_10_ |
| 1- 1 |
| -1 1 |
| .names [265] [1390] [1391] s1494_out_4_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [249] [1401] [1402] s1494_out_5_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [1407] [1408] [1410] s1494_out_6_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [225] [1418] [1419] s1494_out_7_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [207] [1425] [1428] s1494_out_0_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [1432] [1433] [1436] s1494_out_1_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [1443] [1444] [1447] s1494_out_2_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [88] [93] [94] s1494_out_17_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [1452] [1453] [1454] s1494_out_3_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [72] [1462] s1494_out_18_ |
| 1- 1 |
| -1 1 |
| .names [44] [130] [143] s1494_out_15_ |
| 1-- 1 |
| -11 1 |
| .names [47] [55] [56] s1494_out_16_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [73] [41] [279] s1494_out_13_ |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [45] [113] [1313] s1494_out_14_ |
| 101 1 |
| .names s1494_in_7_ [187] [399] n_n83 |
| --1 1 |
| 11- 1 |
| .names [381] [382] n_n84 |
| 1- 1 |
| -1 1 |
| .names [38] [178] [364] n_n85 |
| --1 1 |
| 11- 1 |
| .names [342] [343] n_n86 |
| 1- 1 |
| -1 1 |
| .names [38] [158] [329] n_n87 |
| --1 1 |
| 11- 1 |
| .names [306] [307] n_n88 |
| 1- 1 |
| -1 1 |
| .names [53] [52] [126] [44] |
| 111 1 |
| .names s1494_in_2_ n_n380 [130] |
| 11 1 |
| .names n_n379 [136] [65] [143] |
| --1 1 |
| 11- 1 |
| .names n_n379 n_n381 [37] |
| 01 1 |
| .names n_n377 n_n378 n_n380 [134] |
| 011 1 |
| .names n_n376 n_n377 n_n378 [136] |
| 011 1 |
| .names n_n379 n_n380 n_n381 [144] |
| 11- 1 |
| 0-1 1 |
| .names s1494_in_5_ s1494_in_4_ [53] |
| 11 1 |
| .names n_n376 n_n379 [77] |
| 10 1 |
| .names n_n377 n_n379 [84] |
| 01 1 |
| .names s1494_in_2_ n_n376 n_n380 [132] |
| 010 1 |
| .names s1494_in_7_ n_n379 [38] |
| 11 1 |
| .names n_n376 n_n378 [36] |
| 00 1 |
| .names n_n376 n_n380 [39] |
| 10 1 |
| .names n_n376 n_n378 n_n380 [48] |
| 101 1 |
| .names n_n377 n_n378 [51] |
| 11 1 |
| .names n_n377 [43] [139] |
| 01 1 |
| .names [236] [237] [238] [155] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [78] [71] [233] [154] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [60] [332] [1340] [158] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names s1494_in_6_ s1494_in_1_ [45] |
| 0- 1 |
| -1 1 |
| .names s1494_in_3_ n_n381 [113] |
| 0- 1 |
| -1 1 |
| .names [140] [295] [296] [61] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n377 n_n379 [1404] [78] |
| 011 1 |
| .names n_n377 n_n380 [121] |
| 00 1 |
| .names s1494_in_5_ s1494_in_4_ [35] |
| 0- 1 |
| -1 1 |
| .names s1494_in_2_ n_n379 [1431] [79] |
| 011 1 |
| .names s1494_in_2_ n_n378 [129] |
| 11 1 |
| .names n_n376 n_n378 n_n380 [163] |
| -1- 1 |
| 1-0 1 |
| .names [61] [1372] [1373] [166] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n379 n_n380 [76] |
| 11 1 |
| .names n_n380 [99] [85] |
| 01 1 |
| .names [36] [87] [215] [168] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [52] [107] [1378] [73] |
| 101 1 |
| .names n_n376 n_n379 n_n380 [123] |
| 110 1 |
| .names [97] [128] [177] |
| 1- 1 |
| -1 1 |
| .names n_n377 [48] [43] [176] |
| -1- 1 |
| 0-1 1 |
| .names n_n377 n_n381 [1448] [88] |
| 101 1 |
| .names n_n376 n_n380 [135] |
| 11 1 |
| .names n_n376 n_n381 [125] |
| 10 1 |
| .names s1494_in_2_ n_n379 [131] |
| 01 1 |
| .names n_n377 [60] [179] [178] |
| -1- 1 |
| 1-1 1 |
| .names [411] [1302] [1303] [187] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n377 n_n381 [49] |
| 10 1 |
| .names s1494_in_5_ s1494_in_4_ s1494_in_2_ [54] |
| --1 1 |
| 11- 1 |
| .names n_n376 n_n377 n_n380 [67] |
| 001 1 |
| .names s1494_in_0_ n_n376 [98] |
| 1- 1 |
| -1 1 |
| .names n_n378 n_n380 [133] |
| 10 1 |
| .names n_n377 n_n381 [137] |
| 11 1 |
| .names n_n377 n_n378 [120] |
| 10 1 |
| .names n_n377 n_n380 [1342] [142] |
| 001 1 |
| .names n_n379 n_n381 [36] [140] |
| 011 1 |
| .names [39] [67] [122] [199] |
| -1- 1 |
| 1-1 1 |
| .names s1494_in_5_ s1494_in_4_ s1494_in_2_ [34] |
| 0-- 1 |
| -0- 1 |
| --1 1 |
| .names n_n377 n_n380 [50] |
| 01 1 |
| .names s1494_in_2_ n_n377 n_n378 [87] |
| 110 1 |
| .names n_n376 n_n378 n_n380 [43] |
| 010 1 |
| .names n_n377 n_n379 n_n381 [52] |
| 000 1 |
| .names n_n376 n_n378 n_n380 [126] |
| 000 1 |
| .names n_n377 n_n378 [122] |
| 01 1 |
| .names [133] [122] [1320] [60] |
| 1-- 1 |
| -11 1 |
| .names n_n377 n_n379 n_n381 [201] |
| -1- 1 |
| 1-0 1 |
| .names n_n378 n_n381 [124] |
| 01 1 |
| .names n_n376 n_n377 n_n380 [138] |
| 100 1 |
| .names n_n379 n_n381 [1328] [71] |
| 011 1 |
| .names s1494_in_6_ s1494_in_3_ [107] |
| 0- 1 |
| -0 1 |
| .names n_n377 n_n379 n_n381 [99] |
| 101 1 |
| .names s1494_in_2_ n_n380 n_n381 [97] |
| 010 1 |
| .names s1494_in_0_ n_n377 n_n381 [128] |
| 010 1 |
| .names [36] [147] [314] [146] |
| --1 1 |
| 11- 1 |
| .names s1494_in_0_ s1494_in_6_ s1494_in_1_ [147] |
| 0-- 1 |
| -0- 1 |
| --1 1 |
| .names [324] [325] [1357] [151] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [36] [34] [1353] [150] |
| --1 1 |
| 11- 1 |
| .names s1494_in_2_ n_n376 n_n378 [149] |
| -1- 1 |
| 0-0 1 |
| .names [107] [99] [1345] [160] |
| -1- 1 |
| 0-1 1 |
| .names s1494_in_0_ s1494_in_3_ [45] [173] |
| -0- 1 |
| 0-1 1 |
| 1-0 1 |
| .names n_n377 n_n378 n_n381 [175] |
| 1-0 1 |
| 011 1 |
| .names [132] [48] [180] [179] |
| 1-- 1 |
| -11 1 |
| .names s1494_in_6_ s1494_in_3_ [180] |
| 1- 1 |
| -1 1 |
| .names n_n379 [192] [1298] [191] |
| --1 1 |
| 01- 1 |
| .names [37] [132] [1292] [188] |
| 1-- 1 |
| -11 1 |
| .names [53] [51] [1297] [192] |
| -1- 1 |
| 1-1 1 |
| .names n_n377 n_n378 n_n380 [195] |
| 01- 1 |
| 0-1 1 |
| .names n_n377 [48] [1466] [41] |
| 111 1 |
| .names s1494_in_2_ [136] [144] [47] |
| 011 1 |
| .names n_n379 n_n381 [134] [55] |
| 011 1 |
| .names n_n378 [37] [1291] [56] |
| 111 1 |
| .names n_n376 n_n378 n_n381 [65] |
| 000 1 |
| .names s1494_in_2_ n_n379 [1456] [66] |
| 011 1 |
| .names n_n380 [99] [1457] [68] |
| 011 1 |
| .names n_n377 n_n379 [48] [69] |
| 101 1 |
| .names n_n379 [124] [138] [70] |
| 111 1 |
| .names s1494_in_5_ [283] [284] [72] |
| 01- 1 |
| 0-1 1 |
| .names [37] [36] [121] [81] |
| 111 1 |
| .names [37] [51] [1291] [82] |
| 111 1 |
| .names n_n379 n_n381 [48] [83] |
| 011 1 |
| .names [37] [51] [135] [93] |
| 111 1 |
| .names n_n377 [48] [1450] [94] |
| 111 1 |
| .names [35] [97] [111] [100] |
| 11- 1 |
| 1-1 1 |
| .names n_n379 [114] [1439] [101] |
| 11- 1 |
| 1-1 1 |
| .names s1494_in_2_ n_n376 n_n378 [102] |
| 111 1 |
| .names n_n376 n_n379 n_n381 [103] |
| 100 1 |
| .names n_n377 n_n378 n_n381 [104] |
| 111 1 |
| .names n_n378 n_n380 [105] |
| 11 1 |
| .names n_n377 n_n378 n_n381 [111] |
| 100 1 |
| .names n_n378 n_n381 [1438] [114] |
| 011 1 |
| .names n_n377 n_n378 [1430] [118] |
| 111 1 |
| .names [39] [131] [1431] [203] |
| 111 1 |
| .names n_n377 [37] [1291] [204] |
| 111 1 |
| .names n_n376 [76] [213] [206] |
| 11- 1 |
| 1-1 1 |
| .names n_n379 [168] [207] |
| 11 1 |
| .names n_n381 [1422] [1423] [208] |
| 01- 1 |
| 0-1 1 |
| .names n_n376 n_n378 n_n379 [210] |
| 110 1 |
| .names n_n377 n_n379 n_n380 [211] |
| 111 1 |
| .names s1494_in_2_ n_n377 n_n378 [213] |
| 001 1 |
| .names n_n376 n_n377 n_n380 [215] |
| 000 1 |
| .names s1494_in_2_ n_n376 n_n380 [218] |
| 101 1 |
| .names n_n378 [85] [231] [223] |
| 01- 1 |
| 0-1 1 |
| .names n_n376 n_n378 [155] [225] |
| 001 1 |
| .names n_n377 n_n381 [43] [226] |
| 011 1 |
| .names n_n377 n_n379 [39] [227] |
| 011 1 |
| .names [37] [51] [1291] [228] |
| 111 1 |
| .names [123] [54] [231] |
| 11 1 |
| .names n_n378 [123] [233] |
| 01 1 |
| .names [53] [52] [128] [236] |
| 11- 1 |
| 1-1 1 |
| .names s1494_in_1_ [49] [239] [237] |
| 01- 1 |
| 0-1 1 |
| .names s1494_in_2_ n_n377 n_n380 [238] |
| 101 1 |
| .names n_n377 n_n379 n_n380 [239] |
| 011 1 |
| .names [43] [201] [241] |
| 11 1 |
| .names [37] [36] [50] [242] |
| 111 1 |
| .names [53] [36] [1406] [243] |
| 111 1 |
| .names n_n381 [1394] [1395] [249] |
| 01- 1 |
| 0-1 1 |
| .names n_n376 n_n378 [137] [250] |
| 001 1 |
| .names n_n377 n_n381 [98] [251] |
| 101 1 |
| .names n_n379 [54] [253] |
| 11 1 |
| .names s1494_in_6_ s1494_in_3_ n_n376 [259] |
| 0-1 1 |
| -01 1 |
| .names s1494_in_5_ s1494_in_4_ n_n376 [260] |
| 110 1 |
| .names [53] [39] [120] [264] |
| 111 1 |
| .names n_n379 [271] [1387] [265] |
| 01- 1 |
| 0-1 1 |
| .names n_n378 n_n379 n_n381 [267] |
| 001 1 |
| .names s1494_in_0_ n_n377 n_n378 [271] |
| 110 1 |
| .names n_n377 n_n380 [1381] [274] |
| 011 1 |
| .names n_n376 n_n379 n_n381 [275] |
| 110 1 |
| .names n_n380 [99] [1380] [279] |
| 011 1 |
| .names [285] [286] [1377] [281] |
| 1-1 1 |
| -11 1 |
| .names [52] [126] [283] |
| 11 1 |
| .names n_n378 [285] [286] [284] |
| 01- 1 |
| 0-1 1 |
| .names s1494_in_2_ n_n377 [123] [285] |
| 011 1 |
| .names n_n376 [97] [128] [286] |
| 01- 1 |
| 0-1 1 |
| .names n_n378 n_n379 n_n380 [289] |
| 001 1 |
| .names n_n377 n_n381 [43] [295] |
| 101 1 |
| .names n_n377 [37] [1291] [296] |
| 111 1 |
| .names s1494_in_0_ n_n376 n_n377 [298] |
| 101 1 |
| .names [38] [308] [1352] [306] |
| 11- 1 |
| 1-1 1 |
| .names s1494_in_7_ [317] [1360] [307] |
| 11- 1 |
| 1-1 1 |
| .names s1494_in_3_ [146] [308] |
| 11 1 |
| .names n_n376 n_n378 n_n381 [311] |
| 001 1 |
| .names n_n376 n_n377 [314] |
| 01 1 |
| .names [99] [149] [315] |
| 11 1 |
| .names n_n378 [151] [317] |
| 11 1 |
| .names [125] [1355] [1356] [324] |
| 11- 1 |
| 1-1 1 |
| .names s1494_in_2_ [138] [325] |
| 11 1 |
| .names n_n379 n_n380 n_n381 [326] |
| 001 1 |
| .names s1494_in_7_ [1348] [1349] [329] |
| 11- 1 |
| 1-1 1 |
| .names s1494_in_2_ n_n377 n_n380 [330] |
| 110 1 |
| .names n_n376 n_n377 n_n378 [331] |
| 111 1 |
| .names n_n376 n_n378 n_n380 [332] |
| 001 1 |
| .names [36] [34] [1343] [334] |
| 0-1 1 |
| -11 1 |
| .names [126] [1344] [335] |
| 11 1 |
| .names n_n376 n_n380 [160] [336] |
| 101 1 |
| .names n_n376 n_n379 [122] [337] |
| 101 1 |
| .names s1494_in_7_ [345] [1334] [342] |
| 11- 1 |
| 1-1 1 |
| .names [38] [357] [1338] [343] |
| 11- 1 |
| 1-1 1 |
| .names [137] [43] [347] [344] |
| 11- 1 |
| 1-1 1 |
| .names n_n380 [1332] [1333] [345] |
| 11- 1 |
| 1-1 1 |
| .names n_n377 [37] [1328] [346] |
| 111 1 |
| .names s1494_in_2_ n_n376 n_n380 [347] |
| 000 1 |
| .names n_n377 n_n381 [1330] [350] |
| 101 1 |
| .names n_n376 [175] [351] |
| 01 1 |
| .names n_n376 n_n377 n_n378 [352] |
| 110 1 |
| .names s1494_in_3_ n_n376 n_n380 [356] |
| 101 1 |
| .names n_n376 n_n378 [173] [357] |
| 001 1 |
| .names n_n377 n_n380 [124] [358] |
| 001 1 |
| .names s1494_in_7_ [372] [1326] [364] |
| 11- 1 |
| 1-1 1 |
| .names s1494_in_3_ n_n380 [1321] [371] |
| 1-1 1 |
| -01 1 |
| .names n_n380 [376] [1323] [372] |
| 11- 1 |
| 1-1 1 |
| .names s1494_in_1_ s1494_in_2_ [1322] [376] |
| 111 1 |
| 001 1 |
| .names n_n376 n_n377 n_n381 [377] |
| 110 1 |
| .names [38] [1309] [1310] [381] |
| 11- 1 |
| 1-1 1 |
| .names s1494_in_7_ [1318] [1319] [382] |
| 11- 1 |
| 1-1 1 |
| .names [39] [120] [34] [383] |
| 111 1 |
| .names [45] [113] [98] [384] |
| 000 1 |
| .names s1494_in_2_ [195] [385] |
| 01 1 |
| .names n_n376 n_n377 n_n380 [386] |
| 101 1 |
| .names [36] [34] [50] [389] |
| 111 1 |
| .names [39] [396] [1312] [390] |
| 11- 1 |
| 1-1 1 |
| .names s1494_in_2_ n_n380 [99] [392] |
| 101 1 |
| .names n_n381 [43] [393] |
| 01 1 |
| .names n_n377 [37] [1291] [394] |
| 011 1 |
| .names n_n377 n_n378 n_n379 [396] |
| 010 1 |
| .names [38] [403] [1290] [399] |
| 11- 1 |
| 1-1 1 |
| .names [54] [1287] [402] |
| 11 1 |
| .names s1494_in_3_ n_n381 [406] [403] |
| 00- 1 |
| 0-1 1 |
| .names n_n378 [132] [404] |
| 11 1 |
| .names s1494_in_0_ n_n376 n_n381 [405] |
| 1-0 1 |
| -10 1 |
| .names s1494_in_6_ n_n377 [48] [406] |
| 011 1 |
| .names s1494_in_2_ [67] [417] [409] |
| 11- 1 |
| 1-1 1 |
| .names n_n378 [419] [1295] [410] |
| 01- 1 |
| 0-1 1 |
| .names n_n376 [191] [411] |
| 01 1 |
| .names [53] [36] [52] [412] |
| 111 1 |
| .names n_n376 [134] [413] |
| 11 1 |
| .names s1494_in_3_ n_n380 n_n381 [417] |
| 010 1 |
| .names s1494_in_6_ s1494_in_3_ [1294] [419] |
| 111 1 |
| .names n_n380 n_n381 [421] |
| 10 1 |
| .names n_n376 n_n378 n_n381 [1286] |
| 001 1 |
| .names n_n376 n_n377 n_n380 [1287] |
| 110 1 |
| .names [121] [405] [1286] [1288] |
| -1- 1 |
| 1-1 1 |
| .names [402] [404] [1288] [1290] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n380 n_n376 [1291] |
| 10 1 |
| .names s1494_in_1_ s1494_in_6_ [1292] |
| 11 1 |
| .names n_n376 n_n377 n_n381 [1294] |
| 100 1 |
| .names [37] [39] [421] [1295] |
| --1 1 |
| 11- 1 |
| .names n_n380 s1494_in_3_ [1296] |
| 11 1 |
| .names n_n377 s1494_in_0_ [1297] |
| 10 1 |
| .names [51] [99] [1296] [1298] |
| -1- 1 |
| 1-1 1 |
| .names [37] [412] [1291] [1300] |
| -1- 1 |
| 1-1 1 |
| .names [51] [188] [1300] [1302] |
| --1 1 |
| 11- 1 |
| .names [409] [410] [413] [1303] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [386] [43] [1307] |
| 1- 1 |
| -1 1 |
| .names s1494_in_6_ [48] [385] [1309] |
| --1 1 |
| 01- 1 |
| .names [383] [384] [1307] [1310] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n377 n_n379 n_n381 [1312] |
| 101 1 |
| 000 1 |
| .names n_n379 n_n376 [1313] |
| 10 1 |
| .names [136] [113] [389] [1315] |
| --1 1 |
| 11- 1 |
| .names s1494_in_0_ s1494_out_14_ [392] [1317] |
| --1 1 |
| 11- 1 |
| .names [393] [394] [1315] [1318] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [1317] [390] [1319] |
| 1- 1 |
| -1 1 |
| .names n_n376 s1494_in_2_ [1320] |
| 01 1 |
| .names n_n376 n_n377 n_n381 [1321] |
| 010 1 |
| .names n_n376 n_n377 n_n378 [1322] |
| 010 1 |
| .names n_n378 n_n381 [377] [1323] |
| --1 1 |
| 00- 1 |
| .names [37] [121] [1291] [1324] |
| 11- 1 |
| 1-1 1 |
| .names [139] [371] [1324] [1326] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n378 n_n376 [1328] |
| 01 1 |
| .names n_n376 n_n378 n_n381 [1329] |
| 000 1 |
| .names s1494_in_2_ s1494_in_3_ [1330] |
| 10 1 |
| .names [54] [352] [1329] [1332] |
| -1- 1 |
| 0-1 1 |
| .names [71] [350] [351] [1333] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [344] [346] [1334] |
| 1- 1 |
| -1 1 |
| .names [87] [356] [358] [1338] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [331] [330] [1340] |
| 1- 1 |
| -1 1 |
| .names n_n376 n_n379 n_n381 [1342] |
| 001 1 |
| .names n_n377 n_n380 n_n381 [1343] |
| 010 1 |
| .names s1494_in_2_ n_n377 n_n381 [1344] |
| 011 1 |
| .names s1494_in_1_ s1494_in_2_ n_n378 [1345] |
| 111 1 |
| .names [121] [337] [1342] [1346] |
| -1- 1 |
| 1-1 1 |
| .names s1494_in_0_ s1494_out_14_ [1346] [1348] |
| --1 1 |
| 01- 1 |
| .names [334] [335] [336] [1349] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n377 n_n378 n_n380 [1350] |
| 0-1 1 |
| 110 1 |
| .names [120] [34] [311] [1351] |
| --1 1 |
| 11- 1 |
| .names [1351] [1350] [1352] |
| 1- 1 |
| -1 1 |
| .names n_n377 n_n378 n_n381 [1353] |
| -01 1 |
| 1-0 1 |
| .names s1494_in_2_ s1494_in_1_ [1355] |
| 0- 1 |
| -0 1 |
| .names s1494_in_6_ s1494_in_3_ n_n377 [1356] |
| 0-- 1 |
| -0- 1 |
| --0 1 |
| .names [326] [97] [1357] |
| 1- 1 |
| -1 1 |
| .names n_n381 [67] [315] [1359] |
| --1 1 |
| 11- 1 |
| .names n_n380 [150] [1359] [1360] |
| --1 1 |
| 11- 1 |
| .names s1494_in_2_ n_n378 n_n380 [1362] |
| -1- 1 |
| 1-1 1 |
| .names n_n376 n_n379 [53] [1363] |
| --1 1 |
| 10- 1 |
| .names s1494_in_5_ s1494_in_4_ [84] [1364] |
| --1 1 |
| 00- 1 |
| .names [1362] [298] [1365] |
| 1- 1 |
| -1 1 |
| .names n_n381 [132] [1365] [1367] |
| --1 1 |
| 10- 1 |
| .names [289] [123] [1371] |
| 1- 1 |
| -1 1 |
| .names [36] [142] [128] [1372] |
| -1- 1 |
| 1-1 1 |
| .names n_n379 [67] [1371] [1373] |
| --1 1 |
| 11- 1 |
| .names s1494_in_4_ s1494_in_5_ [1376] |
| 10 1 |
| .names s1494_in_5_ s1494_in_4_ n_n378 [1377] |
| 1-0 1 |
| -10 1 |
| .names n_n376 n_n378 n_n380 [1378] |
| 100 1 |
| .names s1494_in_2_ n_n376 n_n378 [1380] |
| 100 1 |
| .names s1494_in_2_ n_n376 n_n378 [1381] |
| 100 1 |
| .names [77] [120] [275] [1382] |
| --1 1 |
| 11- 1 |
| .names [51] [123] [274] [1383] |
| --1 1 |
| 11- 1 |
| .names [39] [87] [1382] [1384] |
| --1 1 |
| 11- 1 |
| .names n_n379 n_n378 [1385] |
| 11 1 |
| .names [53] [36] [48] [1387] |
| --1 1 |
| 11- 1 |
| .names [67] [267] [1385] [1388] |
| -1- 1 |
| 1-1 1 |
| .names [121] [264] [1342] [1389] |
| -1- 1 |
| 1-1 1 |
| .names [129] [123] [1388] [1390] |
| --1 1 |
| 11- 1 |
| .names [1383] [1384] [1389] [1391] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names s1494_in_2_ n_n378 n_n380 [1393] |
| -1- 1 |
| 1-1 1 |
| .names n_n376 n_n380 [259] [1394] |
| --1 1 |
| 11- 1 |
| .names [1393] [260] [1395] |
| 1- 1 |
| -1 1 |
| .names n_n377 n_n379 n_n380 [1396] |
| 01- 1 |
| -11 1 |
| .names n_n376 n_n378 n_n380 [1397] |
| 11- 1 |
| -10 1 |
| .names [37] [39] [1396] [1399] |
| --1 1 |
| 11- 1 |
| .names n_n381 [67] [1397] [1400] |
| --1 1 |
| 11- 1 |
| .names [250] [251] [253] [1401] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [1400] [1399] [1402] |
| 1- 1 |
| -1 1 |
| .names n_n378 n_n376 [1404] |
| 10 1 |
| .names n_n378 s1494_in_0_ [1405] |
| 01 1 |
| .names n_n377 n_n379 n_n380 [1406] |
| 000 1 |
| .names [78] [49] [1405] [1407] |
| 1-- 1 |
| -11 1 |
| .names n_n381 [48] [243] [1408] |
| --1 1 |
| 01- 1 |
| .names [61] [1383] [1384] [1410] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n381 s1494_in_1_ [1411] |
| 00 1 |
| .names [124] [138] [227] [1414] |
| --1 1 |
| 11- 1 |
| .names [48] [228] [1411] [1415] |
| -1- 1 |
| 1-1 1 |
| .names [226] [241] [242] [1416] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names s1494_in_1_ [154] [223] [1418] |
| --1 1 |
| 11- 1 |
| .names [1414] [1415] [1416] [1419] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [138] n_n378 [1422] |
| 1- 1 |
| -1 1 |
| .names [121] [35] [218] [1423] |
| --1 1 |
| 11- 1 |
| .names [211] [210] [1424] |
| 1- 1 |
| -1 1 |
| .names n_n379 [134] [85] [1425] |
| --1 1 |
| 01- 1 |
| .names [206] [208] [1424] [1428] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names s1494_in_5_ s1494_in_4_ [36] [1429] |
| 0-1 1 |
| -11 1 |
| .names n_n380 n_n379 [1430] |
| 01 1 |
| .names s1494_in_5_ s1494_in_4_ n_n377 [1431] |
| 0-1 1 |
| -11 1 |
| .names [124] [138] [118] [1432] |
| --1 1 |
| 11- 1 |
| .names [129] [123] [204] [1433] |
| --1 1 |
| 11- 1 |
| .names [177] [203] [1429] [1434] |
| -1- 1 |
| 1-1 1 |
| .names [37] [176] [1434] [1436] |
| --1 1 |
| 11- 1 |
| .names n_n379 n_n377 [1437] |
| 00 1 |
| .names n_n377 n_n376 [1438] |
| 01 1 |
| .names n_n377 n_n380 [126] [1439] |
| --1 1 |
| 11- 1 |
| .names [37] [105] [1291] [1440] |
| -1- 1 |
| 1-1 1 |
| .names [49] [102] [1405] [1441] |
| -1- 1 |
| 1-1 1 |
| .names [104] [103] [1442] |
| 1- 1 |
| -1 1 |
| .names [79] [163] [1437] [1443] |
| 1-- 1 |
| -11 1 |
| .names [1441] [1440] [1444] |
| 1- 1 |
| -1 1 |
| .names [100] [101] [1442] [1447] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names s1494_in_0_ n_n376 n_n378 [1448] |
| 100 1 |
| .names n_n379 s1494_in_6_ [1450] |
| 11 1 |
| .names [88] [67] [1385] [1452] |
| 1-- 1 |
| -11 1 |
| .names [82] [81] [1453] |
| 1- 1 |
| -1 1 |
| .names [131] [199] [83] [1454] |
| --1 1 |
| 11- 1 |
| .names s1494_in_0_ n_n376 n_n381 [1456] |
| 010 1 |
| .names s1494_in_2_ n_n376 n_n378 [1457] |
| 000 1 |
| .names [66] [241] [242] [1458] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [68] [73] [1459] |
| 1- 1 |
| -1 1 |
| .names [70] [69] [1460] |
| 1- 1 |
| -1 1 |
| .names [1458] [1459] [1460] [1462] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names s1494_in_6_ s1494_in_3_ n_n379 [1466] |
| 011 1 |
| .end |
