.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