.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 s1488_in_4_ s1488_in_5_ n_n358 [187] [308] [1407] s1488_out_3_
-----1 1
--0-1- 1
1-01-- 1
-001-- 1
.names s1488_in_2_ n_n361 [47] [188] s1488_out_2_
-01- 1
1--1 1
.names [43] [47] [1418] [1422] s1488_out_1_
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n358 [202] [1432] s1488_out_0_
--1 1
11- 1
.names [43] [168] [258] [259] [260] [261] [1434] s1488_out_7_
1------ 1
--1---- 1
---1--- 1
----1-- 1
-----1- 1
-1----1 1
.names [248] [249] [1444] [1445] s1488_out_12_
1--- 1
-1-- 1
--1- 1
---1 1
.names n_n356 n_n358 [178] [1450] [1451] [1455] s1488_out_6_
-----1 1
1-1--- 1
-0-1-- 1
-0--1- 1
.names s1488_in_4_ s1488_in_5_ n_n361 [47] [39] s1488_out_13_
--01- 1
1-0-1 1
-10-1 1
.names n_n356 n_n358 n_n359 [213] [1458] [1465] [1468] s1488_out_5_
---1--- 1
-----1- 1
------1 1
100-1-- 1
.names [99] [1474] s1488_out_10_
1- 1
-1 1
.names s1488_in_0_ s1488_in_4_ s1488_in_5_ n_n356 n_n357 n_n360 [1479] \
s1488_out_4_
------1 1
-00---- 1
---0-1- 1
---1-0- 1
1--01-- 1
.names [88] [1483] s1488_out_11_
1- 1
-1 1
.names s1488_in_2_ n_n356 n_n357 n_n358 n_n359 n_n360 [1458] s1488_out_16_
-1-00-1 1
101110- 1
.names n_n361 [47] [77] s1488_out_17_
--1 1
01- 1
.names s1488_in_4_ s1488_in_5_ n_n361 [151] s1488_out_9_
1001 1
.names s1488_in_3_ s1488_in_6_ [129] [81] [1457] [1458] s1488_out_14_
---1-- 1
----11 1
101--- 1
.names [62] [1490] s1488_out_8_
1- 1
-1 1
.names s1488_in_2_ n_n356 n_n357 n_n358 n_n359 n_n360 n_n361 s1488_out_15_
00-111- 1
-01011- 1
-11010- 1
-010001 1
.names n_n356 n_n357 n_n358 n_n360 [137] s1488_out_18_
11101 1
.names [84] [418] [421] [1342] [1344] n_n83
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names n_n356 n_n357 [54] [149] [145] [1358] n_n84
-----1 1
--11-- 1
01--1- 1
.names [380] [381] [383] [1362] [1366] n_n85
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names s1488_in_7_ n_n360 n_n361 [166] [165] [1370] [1376] n_n86
------1 1
--11-1- 1
111-1-- 1
.names n_n356 n_n361 [138] [176] [1385] [1388] [1391] n_n87
------1 1
-1---1- 1
111---- 1
11-11-- 1
.names s1488_in_7_ [324] [325] [326] [327] [1403] n_n88
-----1 1
11---- 1
1-1--- 1
1--1-- 1
1---1- 1
.names s1488_in_7_ n_n360 [33]
11 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 s1488_in_0_ s1488_in_2_ n_n356 n_n357 n_n358 n_n359 n_n360 [151]
-01-0-1 1
0-010-0 1
--00000 1
.names s1488_in_7_ n_n360 n_n361 [51]
110 1
.names s1488_in_2_ s1488_in_7_ n_n357 n_n359 n_n360 [84]
01011 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 s1488_in_2_ n_n356 n_n357 n_n358 n_n359 n_n360 n_n361 [43]
-00--01 1
-1-1-10 1
100-0-1 1
-110-00 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_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 s1488_in_2_ s1488_in_3_ s1488_in_6_ n_n356 n_n357 n_n358 n_n359 [171]
--01-1- 1
-1--11- 1
----110 1
1--01-0 1
.names s1488_in_4_ s1488_in_5_ s1488_in_2_ n_n357 n_n359 n_n360 n_n361 [178]
----00- 1
---00-1 1
1-0---0 1
-00---0 1
.names n_n356 n_n357 n_n358 n_n359 n_n360 n_n361 [129]
101011 1
.names s1488_in_4_ s1488_in_5_ n_n356 n_n357 n_n358 n_n359 n_n360 [47]
1100000 1
.names s1488_in_0_ n_n356 n_n357 n_n358 n_n359 n_n360 n_n361 [188]
-0---01 1
-1---10 1
-1-011- 1
001--0- 1
-011-0- 1
-00-0-1 1
-0-00-1 1
-11101- 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 s1488_in_0_ s1488_in_2_ n_n356 n_n357 n_n359 n_n360 n_n361 [196]
--01--0 1
-001-0- 1
--0-001 1
000-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_4_ s1488_in_5_ n_n356 n_n357 n_n358 n_n359 n_n361 [104]
1100000 1
.names s1488_in_1_ s1488_in_2_ n_n356 n_n357 n_n359 n_n360 n_n361 [202]
----10- 1
--01-0- 1
--0--01 1
0-1--10 1
0-000-1 1
-1000-1 1
.names s1488_in_1_ s1488_in_4_ s1488_in_5_ s1488_in_2_ n_n356 n_n357 n_n358 \
[201]
1----1- 1
---1--0 1
----0-0 1
-11---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 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_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_ n_n356 n_n357 n_n358 n_n359 n_n360 n_n361 [62]
010011- 1
000-011 1
.names s1488_in_2_ n_n356 n_n357 n_n358 n_n359 n_n360 n_n361 [77]
101111- 1
1100-10 1
.names s1488_in_2_ n_n356 n_n357 n_n358 n_n359 n_n360 [81]
101110 1
.names s1488_in_6_ n_n356 n_n357 n_n358 n_n359 n_n360 n_n361 [88]
1101011 1
.names s1488_in_4_ s1488_in_5_ n_n357 n_n358 n_n359 n_n360 n_n361 [99]
----1-0 1
---1-00 1
1-0--00 1
-00--00 1
.names n_n356 n_n357 n_n358 n_n359 n_n360 n_n361 [213]
000011 1
.names n_n356 n_n357 n_n358 n_n359 n_n360 n_n361 [225]
000000 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 s1488_in_2_ n_n356 n_n357 n_n358 n_n359 n_n360 n_n361 [259]
11-011- 1
-11011- 1
-11101- 1
-00001- 1
-0-0011 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_0_ s1488_in_1_ s1488_in_4_ s1488_in_5_ n_n356 n_n357 n_n361 \
[266]
-0--010 1
0-11010 1
.names n_n356 n_n359 n_n360 n_n361 [308]
0101 1
.names s1488_in_2_ s1488_in_7_ n_n356 n_n357 n_n358 n_n360 n_n361 [314]
111--10 1
-101-10 1
01--110 1
.names s1488_in_7_ n_n356 n_n359 n_n360 [318]
1111 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 s1488_in_1_ s1488_in_2_ s1488_in_3_ s1488_in_6_ n_n356 n_n357 n_n358 \
[327]
0---111 1
---0111 1
-10-111 1
.names s1488_in_7_ n_n356 n_n359 n_n361 [335]
1010 1
.names s1488_in_2_ s1488_in_7_ n_n356 n_n357 n_n358 n_n359 n_n360 [355]
0101-10 1
-111110 1
.names s1488_in_2_ s1488_in_7_ n_n356 n_n357 n_n358 n_n360 n_n361 [356]
-101-10 1
1110010 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_n356 n_n357 n_n358 n_n360 n_n361 [360]
110100 1
.names s1488_in_4_ s1488_in_5_ s1488_in_2_ s1488_in_7_ n_n356 n_n357 n_n360 \
[372]
0-01-11 1
-001-11 1
--01011 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_7_ n_n356 n_n357 n_n358 n_n359 n_n360 n_n361 [382]
10--001 1
11-0011 1
1-11001 1
.names s1488_in_2_ s1488_in_7_ n_n356 n_n357 n_n358 n_n359 n_n360 [383]
0110011 1
.names s1488_in_2_ s1488_in_7_ n_n357 n_n358 n_n360 n_n361 [396]
010111 1
.names s1488_in_0_ s1488_in_1_ s1488_in_3_ s1488_in_6_ n_n357 n_n359 n_n361 \
[400]
0011101 1
.names n_n356 n_n361 [401]
00 1
.names s1488_in_4_ s1488_in_5_ s1488_in_2_ s1488_in_7_ n_n356 n_n360 n_n361 \
[409]
0-01110 1
-001110 1
.names s1488_in_0_ s1488_in_4_ s1488_in_5_ s1488_in_7_ n_n356 n_n357 n_n360 \
[418]
0111010 1
.names s1488_in_7_ [137] [194] [432] [1333] [1335] [1336] [421]
1--1--- 1
1-----1 1
1-1-1-- 1
11---1- 1
.names s1488_in_3_ s1488_in_6_ n_n357 n_n358 n_n361 [427]
0-011 1
-1011 1
.names s1488_in_2_ s1488_in_3_ n_n356 n_n357 n_n358 n_n359 n_n361 [432]
-1011-- 1
--0110- 1
1-01-01 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_3_ s1488_in_6_ n_n361 [1333]
110 1
.names s1488_in_0_ n_n356 n_n357 [1335]
111 1
.names s1488_in_4_ s1488_in_5_ n_n356 n_n357 n_n358 n_n359 n_n361 [1336]
---011- 1
--001-1 1
1100000 1
.names s1488_in_7_ n_n356 n_n357 n_n358 n_n359 n_n360 n_n361 [1342]
1-10-01 1
10--101 1
.names s1488_in_7_ n_n360 n_n361 [189] [427] [1329] [1344]
11--1- 1
11---1 1
1101-- 1
.names s1488_in_7_ n_n358 n_n360 [1349]
110 1
.names s1488_in_3_ s1488_in_7_ n_n356 n_n358 n_n359 n_n360 n_n361 [1353]
1111-1- 1
-11101- 1
-1100-1 1
-110-00 1
.names n_n357 [396] [400] [401] [409] [1349] [1353] [1358]
-1----- 1
0---1-- 1
--1--1- 1
---1-1- 1
0-----1 1
.names s1488_in_7_ n_n356 n_n357 n_n358 n_n359 n_n360 [1361]
111111 1
.names s1488_in_6_ s1488_in_7_ n_n357 n_n358 n_n359 n_n360 n_n361 [1362]
-1--1-0 1
110101- 1
.names s1488_in_1_ s1488_in_2_ [51] [152] [382] [1361] [1366]
----1- 1
--11-- 1
01---1 1
10---1 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 n_n358 [355] [356] [357] [360] [372] [1372] [1376]
-1----- 1
--1---- 1
---1--- 1
----1-- 1
0----1- 1
0-----1 1
.names s1488_in_7_ n_n356 n_n357 n_n358 n_n361 [1379]
11110 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 n_n361 [33] [116] [172] [171] [335] [1379] [1391]
-----1- 1
-1--1-- 1
--0---1 1
01-1--- 1
.names s1488_in_2_ n_n356 n_n357 n_n358 n_n361 [1394]
1-10- 1
-11-1 1
.names s1488_in_4_ s1488_in_5_ n_n356 n_n357 n_n358 n_n359 n_n361 [1395]
0-1-0-- 1
-01-0-- 1
--00-01 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 [314] [318] [1394] [1395] [1400] [1403]
--1---- 1
---1--- 1
------1 1
11--1-- 1
11---1- 1
.names s1488_in_2_ n_n356 n_n357 n_n358 n_n359 n_n360 n_n361 [1407]
-01--10 1
11-011- 1
-11011- 1
-11101- 1
-00001- 1
-01-001 1
.names s1488_in_2_ n_n356 n_n358 n_n359 n_n360 n_n361 [1418]
-000-1 1
11--10 1
.names s1488_in_0_ n_n356 n_n357 n_n358 n_n359 n_n360 n_n361 [1422]
---110- 1
-0--101 1
-011--0 1
101--00 1
.names n_n356 n_n357 n_n358 n_n359 n_n360 n_n361 [1428]
1-011- 1
01-001 1
.names n_n360 n_n361 [104] [201] [265] [266] [1428] [1432]
--1---- 1
----1-- 1
-----1- 1
------1 1
10-1--- 1
.names n_n358 n_n360 n_n361 [1434]
000 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_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 n_n359 [1457]
100 1
.names s1488_in_3_ s1488_in_6_ n_n357 n_n360 n_n361 [1458]
11000 1
.names s1488_in_0_ s1488_in_2_ n_n356 n_n357 n_n358 n_n360 n_n361 [1464]
0-01--0 1
-01-010 1
.names n_n356 n_n357 n_n358 n_n359 n_n360 n_n361 [1465]
01--10 1
11110- 1
.names s1488_in_5_ n_n358 [196] [225] [1464] [1468]
-11-- 1
0--1- 1
0---1 1
.names s1488_in_2_ n_n356 n_n357 n_n358 n_n359 n_n360 n_n361 [1474]
---11-- 1
-0-1-1- 1
-0--11- 1
-10--0- 1
-1---01 1
010-1-- 1
-101--1 1
-1-00-1 1
11-0-10 1
.names s1488_in_4_ s1488_in_5_ s1488_in_2_ n_n356 n_n358 n_n359 n_n361 [1479]
----1-- 1
-----1- 1
------1 1
11----- 1
--11--- 1
.names s1488_in_0_ n_n356 n_n357 n_n358 n_n359 n_n360 n_n361 [1483]
-100101 1
1010-00 1
.names s1488_in_0_ n_n356 n_n357 n_n358 n_n359 n_n360 n_n361 [1490]
-0-00-1 1
-11101- 1
101000- 1
.end