.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 [38] [187] [305] [308] [1406] s1488_out_3_
---1-- 1
-----1 1
0---1- 1
011--- 1
.names s1488_in_4_ s1488_in_5_ n_n360 n_n361 [121] [292] s1488_out_2_
-----1 1
11001- 1
.names [1415] [1416] [1423] s1488_out_1_
1-- 1
-1- 1
--1 1
.names n_n358 [267] [277] [1427] [1431] s1488_out_0_
-1--- 1
----1 1
1-1-- 1
1--1- 1
.names n_n360 [167] [1415] [1416] [1438] s1488_out_7_
--1-- 1
---1- 1
----1 1
11--- 1
.names [248] [249] [1444] [1445] s1488_out_12_
1--- 1
-1-- 1
--1- 1
---1 1
.names [1455] [1456] s1488_out_6_
1- 1
-1 1
.names s1488_in_4_ s1488_in_5_ n_n360 n_n361 [39] [121] s1488_out_13_
1--01- 1
-1-01- 1
1100-1 1
.names n_n358 [215] [219] [1462] [1467] s1488_out_5_
-1--- 1
----1 1
1-1-- 1
1--1- 1
.names n_n356 n_n361 [206] [204] [1473] s1488_out_10_
----1 1
1-1-- 1
-0-1- 1
.names n_n358 n_n359 n_n361 [1476] [1480] s1488_out_4_
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names s1488_in_6_ [129] [83] [85] s1488_out_11_
--1- 1
---1 1
11-- 1
.names n_n356 n_n358 n_n359 [81] [1458] s1488_out_16_
---1- 1
100-1 1
.names s1488_in_2_ n_n361 [199] [121] [1414] s1488_out_17_
1-1-- 1
-0-11 1
.names s1488_in_4_ s1488_in_5_ n_n361 [39] [75] s1488_out_9_
1001- 1
100-1 1
.names s1488_in_3_ s1488_in_6_ [129] [81] [1457] [1458] s1488_out_14_
---1-- 1
----11 1
101--- 1
.names s1488_in_2_ n_n360 [66] [157] [61] [63] s1488_out_8_
--1--- 1
----1- 1
-----1 1
01-1-- 1
.names [55] [56] s1488_out_15_
1- 1
-1 1
.names n_n356 n_n357 n_n358 n_n360 [137] s1488_out_18_
11101 1
.names s1488_in_7_ [1337] [1338] [1343] [1344] n_n83
---1- 1
----1 1
11--- 1
1-1-- 1
.names [34] [54] [149] [145] [398] [1356] n_n84
----1- 1
-----1 1
-11--- 1
1--1-- 1
.names [1366] [1367] n_n85
1- 1
-1 1
.names n_n358 [33] [164] [358] [1372] [1375] n_n86
---1-- 1
-----1 1
0---1- 1
011--- 1
.names [116] [334] [335] [1379] [1390] n_n87
-1--- 1
--1-- 1
----1 1
0--1- 1
.names [33] [120] [316] [322] [1394] [1402] n_n88
--1--- 1
-----1 1
11---- 1
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_n359 n_n360 [54]
111 1
.names s1488_in_1_ s1488_in_2_ s1488_in_3_ n_n356 n_n357 n_n358 [149]
--00-- 1
---0-1 1
----10 1
11--1- 1
00--1- 1
-1-1-0 1
.names s1488_in_2_ s1488_in_7_ n_n358 n_n359 n_n360 n_n361 [145]
-110-- 1
11---1 1
-1--10 1
-10-01 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 s1488_in_7_ n_n359 n_n361 [65]
110 1
.names s1488_in_2_ s1488_in_7_ n_n357 n_n359 n_n360 [84]
01011 1
.names s1488_in_1_ s1488_in_2_ [90]
01 1
10 1
.names s1488_in_7_ n_n356 n_n357 n_n358 n_n360 [155]
10--0 1
11-01 1
1-110 1
.names s1488_in_4_ s1488_in_5_ s1488_in_2_ n_n356 n_n357 n_n358 [152]
---0-- 1
----1- 1
-----1 1
110--- 1
.names n_n356 n_n358 n_n359 n_n361 [66]
0001 1
.names n_n356 n_n357 n_n358 n_n359 n_n361 [157]
1001- 1
00-01 1
.names s1488_in_4_ s1488_in_5_ s1488_in_2_ n_n356 [64]
--1- 1
---0 1
11-- 1
.names s1488_in_2_ n_n356 n_n357 n_n358 [162]
001- 1
-111 1
.names s1488_in_2_ n_n356 n_n357 n_n358 [159]
-01- 1
1100 1
.names s1488_in_0_ s1488_in_4_ s1488_in_5_ n_n356 n_n357 n_n359 [168]
1---1- 1
-110-0 1
.names s1488_in_2_ n_n356 n_n357 n_n358 n_n359 n_n361 [167]
11-01- 1
-1101- 1
-1110- 1
-0000- 1
-0-001 1
.names s1488_in_1_ s1488_in_2_ s1488_in_3_ s1488_in_6_ [116]
0--- 1
---0 1
-10- 1
.names s1488_in_4_ s1488_in_5_ s1488_in_2_ n_n356 n_n357 n_n358 [172]
0---1- 1
-0--1- 1
--1-1- 1
---01- 1
--1--1 1
---1-1 1
.names n_n356 n_n357 n_n358 n_n359 n_n360 n_n361 [129]
101011 1
.names s1488_in_2_ n_n356 n_n357 n_n358 [181]
11-- 1
-01- 1
0--1 1
.names s1488_in_4_ s1488_in_5_ s1488_in_2_ n_n356 n_n357 n_n358 [189]
----00 1
--111- 1
11-11- 1
.names n_n356 n_n357 n_n359 n_n361 [120]
0001 1
.names n_n356 n_n357 n_n361 [73]
010 1
.names s1488_in_0_ n_n356 n_n357 n_n360 n_n361 [131]
10100 1
.names n_n356 n_n357 n_n358 n_n359 n_n360 n_n361 [199]
01111- 1
100-10 1
.names s1488_in_1_ s1488_in_3_ s1488_in_6_ n_n359 n_n361 [137]
11-01 1
-1001 1
.names s1488_in_0_ s1488_in_1_ s1488_in_4_ s1488_in_5_ [200]
-0-- 1
0-11 1
.names s1488_in_2_ n_n357 n_n358 n_n359 n_n360 n_n361 [206]
-0--0- 1
----01 1
00-1-- 1
-01--1 1
.names s1488_in_4_ s1488_in_5_ n_n357 n_n358 n_n359 n_n360 [204]
----1- 1
---1-0 1
1-0--0 1
-00--0 1
.names s1488_in_4_ s1488_in_5_ [38]
1- 1
-0 1
.names s1488_in_0_ s1488_in_2_ n_n356 n_n357 n_n358 n_n360 [39]
-01-01 1
0-0100 1
.names n_n356 n_n357 n_n358 n_n359 [121]
0000 1
.names s1488_in_7_ n_n359 [138]
11 1
.names s1488_in_0_ s1488_in_1_ s1488_in_3_ s1488_in_6_ [166]
1--- 1
--0- 1
-0-1 1
.names s1488_in_2_ s1488_in_6_ n_n356 n_n357 n_n358 n_n359 [165]
--110- 1
-1101- 1
0-0010 1
.names s1488_in_4_ s1488_in_5_ s1488_in_2_ n_n356 n_n357 [164]
0-0-1 1
-00-1 1
--001 1
.names s1488_in_1_ s1488_in_6_ s1488_in_7_ n_n357 n_n358 n_n360 [176]
-01-1- 1
1-11-0 1
.names s1488_in_0_ s1488_in_2_ n_n356 n_n357 n_n360 n_n361 [187]
-0--10 1
0-010- 1
.names s1488_in_1_ s1488_in_2_ n_n356 n_n357 n_n358 n_n359 [194]
11-11- 1
--1000 1
.names s1488_in_2_ s1488_in_3_ n_n358 n_n359 n_n361 [193]
-11-- 1
--10- 1
1--01 1
.names s1488_in_2_ n_n356 n_n357 n_n358 n_n359 n_n360 [55]
00-111 1
-01011 1
-11010 1
.names n_n356 n_n357 n_n358 n_n359 n_n360 n_n361 [56]
010001 1
.names s1488_in_0_ n_n356 n_n357 n_n358 n_n359 n_n360 [61]
101000 1
.names n_n356 n_n357 n_n358 n_n359 n_n360 [63]
11101 1
.names n_n356 n_n357 n_n358 n_n359 n_n360 [75]
00000 1
.names s1488_in_2_ n_n356 n_n357 n_n358 n_n359 n_n360 [81]
101110 1
.names n_n356 n_n357 n_n358 n_n359 n_n360 n_n361 [83]
100101 1
.names s1488_in_0_ n_n356 n_n357 n_n358 n_n360 n_n361 [85]
101000 1
.names n_n356 n_n357 n_n358 n_n359 n_n360 n_n361 [213]
000011 1
.names s1488_in_5_ [224] [225] [226] [215]
01-- 1
0-1- 1
0--1 1
.names s1488_in_0_ s1488_in_2_ n_n356 n_n359 n_n360 n_n361 [219]
--0001 1
00010- 1
.names s1488_in_2_ n_n356 n_n358 n_n360 n_n361 [224]
01010 1
.names n_n356 n_n357 n_n358 n_n359 n_n360 n_n361 [225]
000000 1
.names s1488_in_0_ n_n356 n_n357 n_n361 [226]
0010 1
.names n_n357 n_n359 n_n361 [241]
001 1
.names s1488_in_0_ s1488_in_4_ s1488_in_5_ n_n356 n_n357 n_n361 [248]
-110-0 1
1--010 1
.names s1488_in_4_ s1488_in_5_ s1488_in_2_ n_n356 n_n360 n_n361 [249]
--1-10 1
---010 1
11--10 1
.names s1488_in_4_ s1488_in_5_ s1488_in_2_ n_n356 n_n360 n_n361 [258]
--1110 1
11-110 1
.names n_n357 n_n358 n_n359 n_n360 [260]
0110 1
.names n_n356 n_n357 n_n359 n_n360 [261]
0110 1
.names s1488_in_1_ n_n356 n_n357 n_n358 n_n359 n_n360 [265]
10-001 1
111101 1
.names s1488_in_1_ n_n357 n_n360 n_n361 [274] [267]
--101 1
1110- 1
.names s1488_in_4_ s1488_in_5_ s1488_in_2_ n_n356 n_n358 [274]
--1-0 1
---00 1
11--0 1
.names s1488_in_1_ n_n356 n_n357 n_n359 n_n360 n_n361 [277]
01--10 1
0000-1 1
.names n_n358 n_n359 n_n360 [282]
110 1
.names s1488_in_2_ [1410] [1411] [1412] [292]
11-- 1
1-1- 1
1--1 1
.names s1488_in_2_ n_n356 n_n357 n_n358 n_n359 n_n360 [305]
11-011 1
-11011 1
-11101 1
-00001 1
.names n_n356 n_n359 n_n360 n_n361 [308]
0101 1
.names s1488_in_7_ [36] [116] [324] [325] [326] [316]
1--1-- 1
1---1- 1
1----1 1
111--- 1
.names s1488_in_7_ n_n356 n_n359 n_n360 [318]
1111 1
.names s1488_in_4_ s1488_in_5_ n_n356 n_n358 [322]
0-10 1
-010 1
.names s1488_in_6_ n_n356 n_n358 n_n361 [324]
1111 1
.names n_n356 n_n357 n_n358 n_n359 n_n361 [325]
0-101 1
10001 1
.names s1488_in_3_ n_n356 n_n357 n_n358 n_n359 n_n361 [326]
----10 1
10-01- 1
-0101- 1
.names n_n356 n_n361 [138] [176] [1385] [1388] [334]
-1---1 1
111--- 1
11-11- 1
.names s1488_in_7_ n_n356 n_n359 n_n361 [335]
1010 1
.names s1488_in_3_ n_n357 n_n358 n_n359 [338]
111- 1
-110 1
.names s1488_in_7_ n_n356 n_n357 n_n359 n_n360 n_n361 [357]
11-1-0 1
11011- 1
.names s1488_in_7_ n_n360 n_n361 [166] [165] [1370] [358]
--11-1 1
111-1- 1
.names s1488_in_7_ n_n356 n_n357 n_n358 n_n360 n_n361 [360]
110100 1
.names s1488_in_6_ s1488_in_7_ n_n357 n_n358 n_n359 n_n360 [377]
110101 1
.names s1488_in_7_ n_n356 n_n357 n_n358 n_n359 n_n360 [380]
110110 1
111010 1
.names s1488_in_7_ n_n356 n_n357 n_n358 n_n359 n_n361 [381]
10-10- 1
101--0 1
.names s1488_in_2_ s1488_in_7_ n_n357 n_n358 n_n360 n_n361 [396]
010111 1
.names n_n357 [51] [64] [407] [408] [398]
0--1- 1
0---1 1
010-- 1
.names s1488_in_3_ s1488_in_7_ n_n356 n_n358 n_n359 n_n360 [407]
1111-1 1
-11101 1
.names s1488_in_7_ n_n356 n_n358 n_n359 n_n360 n_n361 [408]
1100-1 1
110-00 1
.names s1488_in_7_ n_n357 n_n358 n_n360 n_n361 [422]
11001 1
.names s1488_in_7_ n_n356 n_n359 n_n360 n_n361 [423]
10101 1
.names s1488_in_3_ s1488_in_6_ n_n357 n_n358 n_n361 [427]
0-011 1
-1011 1
.names n_n356 n_n357 n_n358 n_n359 n_n361 [433]
-011- 1
001-1 1
.names s1488_in_0_ n_n356 n_n357 [1327]
001 1
.names s1488_in_4_ s1488_in_5_ s1488_in_7_ n_n360 [1328]
1110 1
.names s1488_in_2_ n_n356 n_n357 n_n358 n_n359 n_n361 [1329]
100--- 1
-000-- 1
-11-01 1
.names s1488_in_4_ s1488_in_5_ n_n361 [1330]
110 1
.names s1488_in_3_ s1488_in_6_ n_n361 [1333]
110 1
.names s1488_in_0_ n_n356 n_n357 [137] [193] [1337]
-01-1 1
1111- 1
.names [121] [194] [433] [1330] [1333] [1338]
--1-- 1
1--1- 1
-1--1 1
.names [84] [422] [423] [1327] [1328] [1343]
1---- 1
-1--- 1
--1-- 1
---11 1
.names s1488_in_7_ n_n360 n_n361 [189] [427] [1329] [1344]
11--1- 1
11---1 1
1101-- 1
.names n_n357 n_n359 n_n361 [1347]
101 1
.names s1488_in_0_ s1488_in_1_ s1488_in_3_ s1488_in_6_ [1348]
0011 1
.names s1488_in_7_ n_n358 n_n360 [1349]
110 1
.names n_n356 n_n361 [396] [1347] [1348] [1349] [1356]
--1--- 1
00---1 1
---111 1
.names s1488_in_7_ n_n356 n_n357 n_n358 n_n359 n_n360 [1361]
111111 1
.names [48] [51] [90] [155] [152] [1361] [1366]
1--1-- 1
-1--1- 1
--1--1 1
.names [37] [65] [84] [377] [380] [381] [1367]
-1---- 1
---1-- 1
----1- 1
-----1 1
1-1--- 1
.names s1488_in_7_ n_n359 n_n360 [1368]
110 1
.names s1488_in_7_ n_n356 n_n357 n_n358 n_n360 [1370]
11110 1
.names s1488_in_3_ s1488_in_7_ n_n356 n_n357 n_n359 n_n360 [1372]
-1011- 1
11--11 1
.names [51] [162] [159] [357] [360] [1368] [1375]
---1-- 1
----1- 1
1-1--- 1
-1---1 1
.names s1488_in_7_ n_n356 n_n357 n_n358 n_n361 [1379]
11110 1
.names s1488_in_2_ s1488_in_6_ n_n356 n_n357 n_n358 n_n359 [1381]
-01-1- 1
1-01-0 1
.names s1488_in_3_ s1488_in_0_ [1385]
10 1
.names s1488_in_7_ n_n356 n_n357 n_n358 n_n359 n_n360 [1388]
100--1 1
10000- 1
1101-0 1
1110-0 1
.names s1488_in_7_ n_n360 n_n361 [172] [338] [1381] [1390]
11--1- 1
11---1 1
1101-- 1
.names s1488_in_2_ n_n356 n_n357 n_n358 n_n361 [1394]
1-10- 1
-11-1 1
.names s1488_in_7_ n_n356 n_n357 n_n358 n_n359 n_n360 [1400]
1101-0 1
10-010 1
.names s1488_in_7_ n_n360 n_n361 [181] [318] [1400] [1402]
----1- 1
-----1 1
1101-- 1
.names n_n356 n_n357 n_n359 n_n360 n_n361 [1406]
01-10 1
01001 1
.names s1488_in_0_ n_n356 n_n357 n_n358 n_n359 n_n360 [1410]
-1-011 1
001--0 1
.names n_n356 n_n357 n_n358 n_n359 n_n360 n_n361 [1411]
0---01 1
011-0- 1
0-00-1 1
.names n_n356 n_n357 n_n358 n_n359 n_n360 n_n361 [1412]
1---10 1
00-0-1 1
11101- 1
.names s1488_in_4_ s1488_in_5_ n_n360 [1414]
110 1
.names n_n356 n_n357 n_n358 n_n360 n_n361 [1415]
1-110 1
11000 1
.names s1488_in_2_ n_n356 n_n357 n_n359 n_n360 n_n361 [1416]
-00-01 1
1000-1 1
.names s1488_in_2_ n_n356 n_n358 n_n359 n_n360 n_n361 [1418]
-000-1 1
11--10 1
.names n_n356 n_n357 n_n358 n_n359 n_n360 n_n361 [1420]
0--101 1
011--0 1
.names [131] [121] [282] [1414] [1418] [1420] [1423]
1----- 1
--1--- 1
----1- 1
-----1 1
-1-1-- 1
.names s1488_in_2_ n_n356 n_n357 n_n359 n_n360 n_n361 [1427]
---10- 1
-01-0- 1
-0--01 1
1000-1 1
.names n_n356 n_n357 n_n358 n_n359 n_n360 n_n361 [1428]
1-011- 1
01-001 1
.names [73] [200] [121] [265] [1330] [1428] [1431]
---1-- 1
-----1 1
11---- 1
--1-1- 1
.names n_n358 n_n360 n_n361 [1434]
000 1
.names [168] [258] [260] [261] [1434] [1438]
-1--- 1
--1-- 1
---1- 1
1---1 1
.names n_n356 n_n357 n_n358 n_n359 n_n361 [1444]
---1- 1
-01-- 1
1-0-1 1
.names s1488_in_3_ s1488_in_6_ n_n356 n_n357 n_n358 n_n360 [1445]
--0-1- 1
--01-1 1
0-1--0 1
-01--0 1
--11-0 1
.names s1488_in_4_ s1488_in_5_ s1488_in_2_ n_n359 n_n360 n_n361 [1449]
---00- 1
1-0--0 1
-00--0 1
.names s1488_in_0_ n_n356 n_n357 n_n361 [1450]
--11 1
101- 1
.names s1488_in_4_ s1488_in_5_ s1488_in_2_ n_n356 n_n357 n_n359 [1451]
--1--1 1
---0-1 1
1--01- 1
-0-01- 1
.names n_n356 n_n357 n_n358 n_n359 n_n360 n_n361 [1455]
01--1- 1
--111- 1
1-0-0- 1
-01--0 1
0---10 1
--1001 1
.names n_n356 n_n358 [241] [1449] [1450] [1451] [1456]
1-1--- 1
1--1-- 1
-0--1- 1
-0---1 1
.names n_n356 n_n358 n_n359 [1457]
100 1
.names s1488_in_3_ s1488_in_6_ n_n357 n_n360 n_n361 [1458]
11000 1
.names s1488_in_2_ n_n356 n_n357 n_n360 n_n361 [1462]
-01-0 1
0010- 1
.names n_n356 n_n357 n_n358 n_n359 n_n360 n_n361 [1465]
01--10 1
11110- 1
.names n_n356 n_n358 n_n359 [213] [1458] [1465] [1467]
---1-- 1
-----1 1
100-1- 1
.names s1488_in_2_ n_n356 n_n358 n_n359 n_n360 n_n361 [1473]
--11-- 1
-01-1- 1
-0-11- 1
-100-1 1
110-10 1
.names s1488_in_4_ s1488_in_5_ s1488_in_2_ n_n356 [1476]
11-- 1
--11 1
.names s1488_in_0_ s1488_in_4_ s1488_in_5_ n_n356 n_n357 n_n360 [1480]
-00--- 1
---0-1 1
---1-0 1
1--01- 1
.end