.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