| .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 [298] [299] [1362] [1366] s1494_out_8_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names s1494_in_2_ [61] [126] [1368] [1374] s1494_out_11_ |
| 11--- 1 |
| --11- 1 |
| 1---1 1 |
| .names s1494_in_5_ s1494_in_4_ [52] [126] [284] s1494_out_9_ |
| 01--1 1 |
| 0111- 1 |
| .names n_n376 n_n378 n_n380 [281] [1368] s1494_out_12_ |
| ---1- 1 |
| 000-1 1 |
| .names [85] [1378] [1379] [1380] s1494_out_10_ |
| -11- 1 |
| 1--1 1 |
| .names [40] [265] [1389] [1390] s1494_out_4_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [249] [253] [1398] [1399] [1400] s1494_out_5_ |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names [40] [140] [295] [296] [1409] s1494_out_6_ |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names [223] [224] [225] [1416] [1417] s1494_out_7_ |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names n_n376 [167] [208] [1424] [1427] s1494_out_0_ |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| 11--- 1 |
| .names n_n379 n_n381 [176] [1434] [1435] s1494_out_1_ |
| ---1- 1 |
| ----1 1 |
| 011-- 1 |
| .names [1446] [1447] s1494_out_2_ |
| 1- 1 |
| -1 1 |
| .names [127] [88] [135] [1449] [1450] s1494_out_17_ |
| -1--- 1 |
| --11- 1 |
| 1---1 1 |
| .names [88] [106] [1453] [1454] s1494_out_3_ |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names s1494_in_5_ [52] [126] [284] [1462] s1494_out_18_ |
| ----1 1 |
| 0--1- 1 |
| 011-- 1 |
| .names s1494_in_2_ n_n380 [143] [126] [1368] s1494_out_15_ |
| ---11 1 |
| 111-- 1 |
| .names [144] [55] [56] [1463] s1494_out_16_ |
| -1-- 1 |
| --1- 1 |
| 1--1 1 |
| .names s1494_in_6_ s1494_in_3_ s1494_out_10_ n_n379 [127] s1494_out_13_ |
| --1-- 1 |
| 01-11 1 |
| .names n_n376 n_n379 [1314] s1494_out_14_ |
| 011 1 |
| .names s1494_in_7_ n_n379 [187] [403] [1290] n_n83 |
| 1-1-- 1 |
| 11-1- 1 |
| 11--1 1 |
| .names s1494_in_7_ n_n379 [382] [1309] [1310] n_n84 |
| --1-- 1 |
| 11-1- 1 |
| 11--1 1 |
| .names s1494_in_7_ [363] [372] [1326] n_n85 |
| -1-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names s1494_in_7_ n_n379 [172] [342] n_n86 |
| ---1 1 |
| 111- 1 |
| .names s1494_in_7_ [328] [336] [1347] [1348] n_n87 |
| -1--- 1 |
| 1-1-- 1 |
| 1--1- 1 |
| 1---1 1 |
| .names s1494_in_7_ n_n379 [307] [308] [1352] n_n88 |
| --1-- 1 |
| 11-1- 1 |
| 11--1 1 |
| .names n_n376 n_n377 n_n378 n_n379 n_n381 [143] |
| 0-0-0 1 |
| 0111- 1 |
| .names n_n376 n_n379 n_n380 n_n381 [42] |
| 0011 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 s1494_in_2_ n_n376 n_n380 [132] |
| 010 1 |
| .names s1494_in_7_ n_n379 [38] |
| 11 1 |
| .names n_n376 n_n377 n_n378 n_n380 [127] |
| 1101 1 |
| .names n_n376 n_n378 [36] |
| 00 1 |
| .names n_n376 n_n380 [39] |
| 10 1 |
| .names n_n377 n_n378 [51] |
| 11 1 |
| .names n_n376 n_n377 n_n378 n_n380 n_n381 [64] |
| 10001 1 |
| .names n_n376 n_n377 n_n378 n_n380 [139] |
| 0010 1 |
| .names s1494_in_2_ n_n376 n_n377 n_n378 n_n380 [158] |
| ---10 1 |
| -111- 1 |
| -0-01 1 |
| 1-1-0 1 |
| 1001- 1 |
| .names [274] [276] [278] [1382] [40] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names [140] [295] [296] [61] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n376 n_n377 n_n378 n_n379 [78] |
| 0011 1 |
| .names s1494_in_0_ n_n377 n_n378 n_n381 [86] |
| 1100 1 |
| .names s1494_in_5_ s1494_in_4_ n_n376 n_n378 [141] |
| 1100 1 |
| .names s1494_in_5_ s1494_in_4_ [35] |
| 0- 1 |
| -1 1 |
| .names s1494_in_5_ s1494_in_4_ s1494_in_2_ n_n377 n_n379 [79] |
| 0-011 1 |
| -1011 1 |
| .names n_n376 n_n377 n_n378 n_n380 n_n381 [164] |
| -1-1- 1 |
| 0-00- 1 |
| 100-1 1 |
| .names s1494_in_2_ n_n377 n_n378 n_n380 n_n381 [162] |
| -10-0 1 |
| 0--10 1 |
| .names n_n377 n_n379 n_n380 n_n381 [85] |
| 1001 1 |
| .names s1494_in_2_ n_n376 n_n377 n_n378 n_n380 [168] |
| -0-0- 1 |
| 1-10- 1 |
| -00-0 1 |
| .names s1494_in_2_ n_n377 n_n378 n_n379 n_n380 [167] |
| ---11 1 |
| 001-- 1 |
| .names [36] [87] [173] [356] [358] [172] |
| -1--- 1 |
| ---1- 1 |
| ----1 1 |
| 1-1-- 1 |
| .names n_n376 n_n379 n_n380 [123] |
| 110 1 |
| .names s1494_in_0_ s1494_in_2_ n_n377 n_n380 n_n381 [177] |
| 0-1-0 1 |
| -0-10 1 |
| .names n_n376 n_n377 n_n378 n_n380 [176] |
| 1-01 1 |
| 0010 1 |
| .names s1494_in_0_ n_n376 n_n377 n_n378 n_n381 [88] |
| 10100 1 |
| .names n_n376 n_n380 [135] |
| 11 1 |
| .names n_n376 n_n381 [125] |
| 10 1 |
| .names [408] [410] [411] [1300] [1301] [187] |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names s1494_in_5_ s1494_in_4_ s1494_in_2_ [54] |
| --1 1 |
| 11- 1 |
| .names s1494_in_0_ n_n376 [98] |
| 1- 1 |
| -1 1 |
| .names n_n376 n_n377 n_n378 n_n379 n_n380 [106] |
| 00111 1 |
| .names n_n376 n_n377 n_n379 n_n380 n_n381 [142] |
| 00001 1 |
| .names n_n376 n_n378 n_n379 n_n381 [140] |
| 0001 1 |
| .names n_n376 n_n377 n_n378 n_n380 [199] |
| 00-1 1 |
| 1010 1 |
| .names s1494_in_0_ s1494_in_2_ n_n377 n_n380 n_n381 [200] |
| 0-1-0 1 |
| -0-10 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 s1494_in_2_ n_n376 n_n377 n_n378 n_n380 [60] |
| ---10 1 |
| 1001- 1 |
| .names n_n377 n_n379 n_n381 [201] |
| -1- 1 |
| 1-0 1 |
| .names n_n376 n_n378 n_n379 n_n381 [71] |
| 1001 1 |
| .names n_n377 n_n379 n_n381 [99] |
| 101 1 |
| .names s1494_in_2_ n_n376 n_n378 [149] |
| -1- 1 |
| 0-0 1 |
| .names s1494_in_6_ s1494_in_3_ s1494_in_1_ s1494_in_2_ n_n377 [152] |
| 0---- 1 |
| -0--- 1 |
| --0-- 1 |
| ---0- 1 |
| ----0 1 |
| .names s1494_in_0_ n_n377 n_n379 n_n381 [156] |
| 01-0 1 |
| -000 1 |
| .names s1494_in_5_ s1494_in_4_ s1494_in_2_ n_n376 n_n378 [161] |
| 0---- 1 |
| -0--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names s1494_in_2_ n_n376 n_n378 n_n380 [171] |
| 00-0 1 |
| -010 1 |
| .names s1494_in_0_ s1494_in_6_ s1494_in_3_ s1494_in_1_ [173] |
| --0- 1 |
| 00-- 1 |
| 0--1 1 |
| 11-0 1 |
| .names s1494_in_3_ n_n376 n_n377 n_n380 n_n381 [189] |
| -001- 1 |
| 0--10 1 |
| .names s1494_in_0_ s1494_in_5_ s1494_in_4_ n_n377 n_n378 [192] |
| ---11 1 |
| 0111- 1 |
| .names n_n377 n_n378 n_n379 n_n381 [197] |
| 010- 1 |
| 1-01 1 |
| 0-00 1 |
| .names n_n377 n_n378 n_n379 n_n380 n_n381 [55] |
| 01011 1 |
| .names n_n376 n_n378 n_n379 n_n380 n_n381 [56] |
| 01011 1 |
| .names s1494_in_0_ s1494_in_2_ n_n376 n_n379 n_n381 [66] |
| 00110 1 |
| .names n_n376 n_n378 n_n379 n_n380 n_n381 [83] |
| 10011 1 |
| .names n_n376 n_n377 n_n378 n_n379 n_n380 [96] |
| -010- 1 |
| 10-00 1 |
| .names s1494_in_2_ n_n376 n_n378 [102] |
| 111 1 |
| .names n_n377 n_n378 n_n379 n_n380 [118] |
| 1110 1 |
| .names s1494_in_2_ n_n376 n_n378 n_n379 n_n380 [202] |
| 11110 1 |
| .names n_n376 n_n377 n_n379 n_n380 n_n381 [204] |
| 01011 1 |
| .names n_n381 [218] [219] [1422] [208] |
| 01-- 1 |
| 0-1- 1 |
| 0--1 1 |
| .names s1494_in_2_ n_n376 n_n380 [218] |
| 101 1 |
| .names s1494_in_5_ s1494_in_4_ n_n377 n_n380 [219] |
| 0-00 1 |
| -100 1 |
| .names s1494_in_1_ n_n376 n_n378 n_n380 n_n381 [222] |
| 01010 1 |
| .names n_n378 [85] [123] [54] [223] |
| 01-- 1 |
| 0-11 1 |
| .names s1494_in_1_ [233] [1412] [224] |
| 11- 1 |
| 1-1 1 |
| .names [53] [36] [156] [237] [238] [225] |
| -1-1- 1 |
| -1--1 1 |
| 111-- 1 |
| .names n_n376 n_n377 n_n378 n_n380 n_n381 [226] |
| 00101 1 |
| .names n_n376 n_n377 n_n379 n_n380 [227] |
| 1010 1 |
| .names n_n376 n_n378 n_n379 n_n380 [233] |
| 1010 1 |
| .names s1494_in_1_ n_n377 n_n379 n_n380 n_n381 [237] |
| 01--0 1 |
| 0011- 1 |
| .names s1494_in_2_ n_n377 n_n380 [238] |
| 101 1 |
| .names n_n376 n_n378 n_n380 n_n381 [244] |
| 1010 1 |
| .names n_n381 [260] [1393] [1394] [249] |
| 01-- 1 |
| 0-1- 1 |
| 0--1 1 |
| .names s1494_in_5_ s1494_in_4_ s1494_in_2_ n_n379 [253] |
| --11 1 |
| 11-1 1 |
| .names s1494_in_5_ s1494_in_4_ n_n376 [260] |
| 110 1 |
| .names s1494_in_0_ n_n377 n_n378 n_n379 [1387] [265] |
| ---01 1 |
| 1100- 1 |
| .names s1494_in_2_ n_n376 n_n378 n_n379 n_n380 [266] |
| 11110 1 |
| .names s1494_in_2_ n_n376 n_n377 n_n378 n_n380 [274] |
| 10001 1 |
| .names n_n376 n_n377 n_n378 n_n379 n_n380 [276] |
| 11110 1 |
| .names s1494_in_2_ n_n376 n_n377 n_n378 n_n380 [278] |
| 11100 1 |
| .names n_n376 [200] [285] [1377] [281] |
| --11 1 |
| 01-1 1 |
| .names n_n376 n_n378 [200] [285] [284] |
| -0-1 1 |
| 001- 1 |
| .names s1494_in_2_ n_n376 n_n377 n_n379 n_n380 [285] |
| 01110 1 |
| .names s1494_in_0_ n_n376 n_n377 n_n378 n_n381 [290] |
| 00100 1 |
| .names n_n376 n_n377 n_n378 n_n380 n_n381 [295] |
| 01100 1 |
| .names n_n376 n_n377 n_n379 n_n380 n_n381 [296] |
| 01011 1 |
| .names s1494_in_0_ n_n376 n_n377 [298] |
| 101 1 |
| .names s1494_in_2_ n_n376 n_n380 n_n381 [299] |
| 1--1 1 |
| -0-1 1 |
| --11 1 |
| .names s1494_in_7_ [316] [317] [1359] [307] |
| 11-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names s1494_in_3_ n_n376 n_n377 [313] [308] |
| 1--1 1 |
| 101- 1 |
| .names s1494_in_5_ s1494_in_4_ s1494_in_2_ n_n377 n_n378 [309] |
| 0--10 1 |
| -0-10 1 |
| --110 1 |
| .names s1494_in_0_ s1494_in_6_ s1494_in_1_ n_n376 n_n378 [313] |
| 0--00 1 |
| -0-00 1 |
| --100 1 |
| .names n_n377 n_n378 n_n380 n_n381 [321] [316] |
| --1-1 1 |
| -011- 1 |
| 1-10- 1 |
| .names n_n378 [125] [152] [325] [1357] [317] |
| 1--1- 1 |
| 1---1 1 |
| 111-- 1 |
| .names n_n376 n_n377 n_n380 n_n381 [318] |
| 0011 1 |
| .names s1494_in_5_ s1494_in_4_ s1494_in_2_ n_n376 n_n378 [321] |
| 0--00 1 |
| -0-00 1 |
| --100 1 |
| .names s1494_in_2_ n_n376 n_n377 n_n380 [325] |
| 1100 1 |
| .names s1494_in_7_ n_n379 [158] [328] |
| 111 1 |
| .names n_n376 n_n380 [99] [340] [336] |
| 101- 1 |
| 10-1 1 |
| .names n_n376 n_n377 n_n378 n_n379 [337] |
| 1010 1 |
| .names s1494_in_6_ s1494_in_3_ s1494_in_1_ s1494_in_2_ n_n378 [340] |
| 11111 1 |
| .names s1494_in_7_ n_n380 [1332] [1333] [1334] [342] |
| 1---1 1 |
| 111-- 1 |
| 11-1- 1 |
| .names n_n376 n_n377 n_n378 n_n379 n_n381 [346] |
| 11001 1 |
| .names s1494_in_3_ s1494_in_2_ n_n377 n_n381 [350] |
| 0110 1 |
| .names n_n376 n_n377 n_n378 n_n381 [351] |
| 01-0 1 |
| 0011 1 |
| .names s1494_in_3_ n_n376 n_n380 [356] |
| 101 1 |
| .names n_n377 n_n378 n_n380 n_n381 [358] |
| 0001 1 |
| .names n_n377 [132] [38] [60] [367] [363] |
| --11- 1 |
| 111-- 1 |
| 1-1-1 1 |
| .names s1494_in_6_ s1494_in_3_ n_n376 n_n378 n_n380 [367] |
| 1-101 1 |
| -1101 1 |
| .names s1494_in_3_ n_n376 n_n377 n_n380 n_n381 [371] |
| 101-0 1 |
| -0100 1 |
| .names n_n380 [376] [1323] [372] |
| 11- 1 |
| 1-1 1 |
| .names s1494_in_1_ s1494_in_2_ n_n376 n_n377 n_n378 [376] |
| 11010 1 |
| 00010 1 |
| .names s1494_in_7_ [39] [197] [1317] [1318] [382] |
| 1--1- 1 |
| 1---1 1 |
| 111-- 1 |
| .names s1494_in_2_ n_n377 n_n378 n_n380 [385] |
| 001- 1 |
| 00-1 1 |
| .names s1494_in_3_ n_n376 n_n377 n_n378 n_n381 [391] |
| 0011- 1 |
| -0111 1 |
| .names s1494_in_2_ n_n377 n_n379 n_n380 n_n381 [392] |
| 11001 1 |
| .names n_n376 n_n378 n_n380 n_n381 [393] |
| 0100 1 |
| .names n_n376 n_n377 n_n379 n_n380 n_n381 [394] |
| 00011 1 |
| .names n_n376 n_n377 n_n378 n_n380 n_n381 [401] |
| 00001 1 |
| .names s1494_in_3_ n_n381 [406] [403] |
| 00- 1 |
| 0-1 1 |
| .names s1494_in_2_ n_n376 n_n378 n_n380 [404] |
| 0110 1 |
| .names s1494_in_0_ n_n376 n_n381 [405] |
| 1-0 1 |
| -10 1 |
| .names s1494_in_6_ n_n376 n_n377 n_n378 n_n380 [406] |
| 01101 1 |
| .names n_n377 n_n378 n_n379 n_n381 [415] [408] |
| 11--1 1 |
| 1101- 1 |
| .names n_n378 [419] [1295] [410] |
| 01- 1 |
| 0-1 1 |
| .names n_n376 n_n379 [99] [192] [422] [411] |
| 0-1-- 1 |
| 0---1 1 |
| 00-1- 1 |
| .names n_n376 n_n377 n_n378 n_n380 [413] |
| 1011 1 |
| .names s1494_in_6_ s1494_in_1_ s1494_in_2_ n_n376 n_n380 [415] |
| 11010 1 |
| .names s1494_in_6_ s1494_in_3_ n_n376 n_n377 n_n381 [419] |
| 11100 1 |
| .names s1494_in_3_ n_n377 n_n378 n_n380 [422] |
| 1111 1 |
| .names n_n376 n_n377 n_n380 [1287] |
| 110 1 |
| .names [54] [401] [404] [405] [1287] [1290] |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| 1---1 1 |
| .names n_n376 n_n379 n_n380 n_n381 [1295] |
| --10 1 |
| 1001 1 |
| .names n_n377 n_n379 n_n381 [42] [141] [1300] |
| ---1- 1 |
| 000-1 1 |
| .names s1494_in_2_ [189] [413] [1301] |
| --1 1 |
| 11- 1 |
| .names n_n376 n_n377 n_n378 n_n380 [1305] |
| 1100 1 |
| .names s1494_in_6_ s1494_in_3_ s1494_in_1_ n_n381 [1306] |
| 1100 1 |
| .names n_n376 n_n377 n_n378 n_n380 [1307] |
| 10-1 1 |
| 0-10 1 |
| .names s1494_in_6_ n_n376 n_n378 n_n380 [385] [1309] |
| ----1 1 |
| 0101- 1 |
| .names [98] [34] [1305] [1306] [1307] [1310] |
| ----1 1 |
| -11-- 1 |
| 0--1- 1 |
| .names n_n376 n_n377 n_n378 n_n380 [1311] |
| 0001 1 |
| .names n_n379 n_n376 [1313] |
| 10 1 |
| .names s1494_in_6_ s1494_in_3_ s1494_in_1_ n_n381 [1314] |
| 01-0 1 |
| -110 1 |
| .names s1494_in_0_ n_n376 n_n379 [392] [1314] [1317] |
| ---1- 1 |
| 101-1 1 |
| .names [34] [391] [393] [394] [1311] [1318] |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| 1---1 1 |
| .names n_n376 n_n377 n_n378 n_n381 [1323] |
| --00 1 |
| 11-0 1 |
| .names n_n376 n_n377 n_n379 n_n380 n_n381 [1324] |
| 0-011 1 |
| -0001 1 |
| .names [139] [371] [1324] [1326] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n376 n_n377 n_n378 n_n381 [54] [1332] |
| 110-- 1 |
| 0-000 1 |
| .names [71] [350] [351] [1333] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names n_n377 n_n381 [171] [346] [1334] |
| ---1 1 |
| 111- 1 |
| .names n_n377 n_n380 n_n381 [1343] |
| 010 1 |
| .names s1494_in_2_ n_n377 n_n381 [1344] |
| 011 1 |
| .names [126] [161] [1343] [1344] [1347] |
| -11- 1 |
| 1--1 1 |
| .names s1494_in_0_ [142] [337] [1313] [1314] [1348] |
| -1--- 1 |
| --1-- 1 |
| 0--11 1 |
| .names n_n377 n_n378 n_n380 [1350] |
| 0-1 1 |
| 110 1 |
| .names n_n376 n_n378 n_n381 [309] [1350] [1352] |
| ---1- 1 |
| ----1 1 |
| 001-- 1 |
| .names s1494_in_2_ n_n379 n_n380 n_n381 [1357] |
| -001 1 |
| 0-10 1 |
| .names n_n377 n_n379 n_n381 [149] [318] [1359] |
| ----1 1 |
| 1011- 1 |
| .names s1494_in_2_ n_n378 n_n380 [1362] |
| -1- 1 |
| 1-1 1 |
| .names s1494_in_5_ s1494_in_4_ n_n376 n_n377 n_n379 [1366] |
| 11--- 1 |
| 00--- 1 |
| ---01 1 |
| --1-0 1 |
| .names s1494_in_5_ s1494_in_4_ n_n377 n_n379 n_n381 [1368] |
| 11000 1 |
| .names n_n376 n_n377 n_n378 n_n379 n_n380 [1373] |
| --001 1 |
| 1--10 1 |
| 00-11 1 |
| .names [142] [290] [1373] [1374] |
| 1-- 1 |
| -1- 1 |
| --1 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_6_ s1494_in_3_ n_n377 n_n379 n_n381 [1379] |
| 11000 1 |
| .names s1494_in_2_ n_n376 n_n378 [1380] |
| 100 1 |
| .names n_n376 n_n377 n_n378 n_n379 n_n381 [1382] |
| 1--10 1 |
| 1100- 1 |
| .names s1494_in_5_ s1494_in_4_ n_n376 n_n380 [1386] |
| 1110 1 |
| .names s1494_in_5_ s1494_in_4_ n_n376 n_n378 n_n380 [1387] |
| --101 1 |
| 1100- 1 |
| .names n_n377 n_n378 [142] [1386] [1389] |
| --1- 1 |
| 10-1 1 |
| .names n_n378 n_n379 n_n381 [106] [266] [1390] |
| ---1- 1 |
| ----1 1 |
| 001-- 1 |
| .names s1494_in_2_ n_n378 n_n380 [1393] |
| -1- 1 |
| 1-1 1 |
| .names s1494_in_6_ s1494_in_3_ n_n376 n_n380 [1394] |
| 0-1- 1 |
| -01- 1 |
| --11 1 |
| .names s1494_in_0_ n_n376 n_n377 n_n378 n_n381 [1398] |
| 1-1-0 1 |
| -11-0 1 |
| -0101 1 |
| .names n_n376 n_n377 n_n379 n_n380 n_n381 [1399] |
| -01-- 1 |
| --11- 1 |
| 1-001 1 |
| .names n_n376 n_n377 n_n378 n_n380 n_n381 [1400] |
| 1-1-- 1 |
| --10- 1 |
| 00-11 1 |
| .names n_n377 n_n379 n_n380 [1406] |
| 000 1 |
| .names [78] [86] [141] [244] [1406] [1409] |
| 1---- 1 |
| -1--- 1 |
| ---1- 1 |
| --1-1 1 |
| .names n_n376 n_n377 n_n378 n_n379 n_n381 [1412] |
| 0011- 1 |
| 1-001 1 |
| .names [140] [50] [43] [201] [226] [1416] |
| ----1 1 |
| 11--- 1 |
| --11- 1 |
| .names [42] [51] [64] [222] [227] [1417] |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| 11--- 1 |
| .names n_n376 n_n377 n_n378 n_n380 [1422] |
| --1- 1 |
| 10-0 1 |
| .names n_n376 n_n377 n_n378 n_n379 n_n380 [1424] |
| 1-10- 1 |
| -1-11 1 |
| .names n_n377 n_n378 n_n379 n_n380 n_n381 [1425] |
| 0101- 1 |
| 1-001 1 |
| .names n_n379 [168] [1425] [1427] |
| --1 1 |
| 11- 1 |
| .names s1494_in_5_ s1494_in_4_ n_n376 n_n378 [1429] |
| 0-00 1 |
| -100 1 |
| .names n_n376 n_n380 [79] [177] [1429] [1434] |
| ---11 1 |
| 101-- 1 |
| .names [64] [118] [202] [204] [1435] |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names n_n376 n_n378 n_n379 n_n380 n_n381 [1440] |
| -1-1- 1 |
| 0-011 1 |
| .names n_n376 n_n377 n_n378 n_n379 n_n381 [1442] |
| -11-1 1 |
| 1--00 1 |
| .names [86] [79] [96] [102] [1440] [1446] |
| 1---- 1 |
| -1--- 1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| .names n_n379 [35] [164] [162] [1442] [1447] |
| ----1 1 |
| 1-1-- 1 |
| -1-1- 1 |
| .names n_n377 n_n378 n_n379 n_n381 [1449] |
| 1101 1 |
| .names n_n379 s1494_in_6_ [1450] |
| 11 1 |
| .names n_n377 n_n378 n_n380 [42] [140] [1453] |
| 11-1- 1 |
| 0-0-1 1 |
| .names s1494_in_2_ n_n379 [199] [83] [1454] |
| ---1 1 |
| 011- 1 |
| .names s1494_in_2_ n_n376 n_n378 [1457] |
| 000 1 |
| .names [140] [50] [43] [201] [66] [1458] |
| ----1 1 |
| 11--- 1 |
| --11- 1 |
| .names [85] [1378] [1379] [1457] [1459] |
| -11- 1 |
| 1--1 1 |
| .names n_n379 [127] [64] [1458] [1459] [1462] |
| ---1- 1 |
| ----1 1 |
| 01--- 1 |
| 1-1-- 1 |
| .names s1494_in_2_ n_n376 n_n377 n_n378 [1463] |
| 0011 1 |
| .end |
