.model top
.inputs s510_in_12_ s510_in_11_ s510_in_10_ s510_in_9_ s510_in_5_ s510_in_6_ \
s510_in_7_ s510_in_8_ s510_in_1_ s510_in_2_ s510_in_3_ s510_in_4_ s510_in_0_ \
s510_in_18_ s510_in_17_ clock s510_in_16_ s510_in_15_ s510_in_14_ s510_in_13_
.outputs s510_out_0_ s510_out_1_ s510_out_2_ s510_out_3_ s510_out_4_ \
s510_out_5_ s510_out_6_
.latch    n_n54 n_n169 re clock 2
.latch    n_n55 n_n170 re clock 2
.latch    n_n56 n_n171 re clock 2
.latch    n_n57 n_n172 re clock 2
.latch    n_n58 n_n173 re clock 2
.latch    n_n59 n_n174 re clock 2
.names n_n170 n_n171 n_n172 n_n173 n_n174 s510_out_0_
11--- 1
1--0- 1
1---0 1
0-0-1 1
-0110 1
.names n_n170 n_n171 n_n172 n_n173 n_n174 s510_out_1_
-1--1 1
1111- 1
00110 1
.names n_n169 n_n170 n_n171 n_n172 n_n173 n_n174 s510_out_2_
1-0--- 1
--00-- 1
-1--1- 1
---01- 1
---1-0 1
.names n_n169 n_n170 n_n171 n_n172 n_n174 s510_out_3_
0---0 1
001-- 1
0-00- 1
1--11 1
.names n_n169 n_n170 n_n171 n_n172 n_n173 n_n174 s510_out_4_
00111- 1
00010- 1
00100- 1
0000-0 1
.names n_n169 n_n170 n_n171 n_n172 n_n173 n_n174 s510_out_5_
1--1-1 1
001010 1
.names n_n170 n_n171 n_n174 s510_out_6_
111 1
.names n_n170 [150] [155] [168] [538] [539] [549] [550] n_n54
-1------ 1
-------1 1
0-1----- 1
1--1---- 1
0---1--- 1
0----1-- 1
1-----1- 1
.names n_n170 [26] [168] [549] [558] [561] n_n55
-----1 1
11---- 1
1-1--- 1
1--1-- 1
1---1- 1
.names n_n171 [28] [53] [22] [126] [567] [570] [571] n_n56
-1------ 1
1--1---- 1
1-----1- 1
1------1 1
0-1-1--- 1
0-1--1-- 1
.names n_n169 n_n170 n_n172 [66] [63] [578] n_n57
-----1 1
--11-- 1
11--1- 1
.names [99] [586] n_n58
1- 1
-1 1
.names s510_in_12_ s510_in_17_ n_n169 n_n170 n_n172 n_n173 n_n174 [91] n_n59
-------1 1
0-1---1- 1
-00---1- 1
--00--1- 1
---10-1- 1
--1--11- 1
.names s510_in_12_ n_n169 n_n173 n_n174 [28]
1101 1
.names n_n169 n_n170 [53]
11 1
.names s510_in_9_ s510_in_8_ s510_in_17_ n_n169 n_n170 n_n171 n_n173 n_n174 \
[66]
--00---- 1
-0--0--- 1
---0-1-- 1
----00-- 1
0-----0- 1
----0-0- 1
-----0-0 1
.names s510_in_12_ s510_in_11_ s510_in_5_ s510_in_1_ s510_in_2_ n_n171 n_n172 \
n_n173 [63]
---0--11 1
----0-11 1
--1--101 1
11---100 1
.names s510_in_12_ n_n169 n_n172 n_n173 n_n174 [26]
-00-- 1
-0--0 1
0--01 1
.names s510_in_12_ s510_in_9_ s510_in_5_ n_n172 n_n173 n_n174 [22]
-0-10- 1
0--00- 1
--0010 1
.names s510_in_8_ s510_in_1_ s510_in_2_ n_n169 n_n170 n_n171 n_n172 n_n173 \
[91]
1--10111 1
-1111111 1
.names s510_in_8_ s510_in_17_ n_n169 n_n170 n_n171 n_n172 n_n173 n_n174 [99]
0-1---1- 1
-00---1- 1
--00--1- 1
---00-1- 1
--0--01- 1
----101- 1
---1--10 1
.names s510_in_10_ s510_in_15_ s510_in_14_ n_n172 n_n173 n_n174 [126]
11-10- 1
-11000 1
.names s510_in_3_ n_n171 n_n173 n_n174 [137]
1011 1
.names s510_in_12_ s510_in_16_ s510_in_13_ n_n171 n_n172 n_n173 n_n174 [139]
-1--10- 1
1----01 1
--1100- 1
-1-0-00 1
.names s510_in_7_ n_n170 n_n171 n_n172 n_n173 n_n174 [150]
010010 1
.names s510_in_8_ s510_in_0_ s510_in_13_ n_n171 n_n172 n_n173 n_n174 [155]
-0-1--1 1
0--111- 1
--0100- 1
.names s510_in_12_ s510_in_9_ s510_in_5_ n_n171 n_n172 n_n173 n_n174 [168]
-0-110- 1
0--100- 1
--01010 1
.names s510_in_18_ s510_in_16_ n_n169 n_n171 n_n172 n_n173 n_n174 [538]
1-0---- 1
-0--10- 1
-0-0-00 1
.names s510_in_8_ s510_in_3_ s510_in_4_ n_n171 n_n172 n_n173 n_n174 [539]
0---010 1
-0-0011 1
--00110 1
.names s510_in_2_ s510_in_3_ s510_in_15_ n_n169 n_n171 n_n172 n_n173 n_n174 \
[549]
0---111- 1
--0-0-00 1
-0-1011- 1
.names s510_in_12_ s510_in_8_ n_n169 n_n170 n_n171 n_n172 n_n173 n_n174 [550]
--0--0-- 1
--0----0 1
0-----01 1
-0110-11 1
.names s510_in_8_ s510_in_4_ s510_in_0_ n_n171 n_n172 n_n173 n_n174 [557]
--11--1 1
-1-011- 1
1---010 1
.names s510_in_1_ s510_in_17_ n_n169 n_n171 n_n172 n_n173 [558]
-00--- 1
0--111 1
.names s510_in_7_ n_n169 n_n170 n_n171 n_n172 n_n173 n_n174 [560]
-1--1-1 1
0-1001- 1
-110-11 1
.names n_n169 n_n170 [137] [139] [557] [560] [561]
-----1 1
1-1--- 1
10-1-- 1
10--1- 1
.names s510_in_6_ s510_in_7_ s510_in_3_ n_n172 n_n173 n_n174 [567]
--111- 1
11-010 1
.names s510_in_2_ n_n169 n_n170 n_n172 n_n173 [570]
-0--- 1
0-111 1
.names s510_in_11_ s510_in_8_ n_n170 n_n172 n_n173 [571]
-00-- 1
--00- 1
--0-0 1
0--00 1
.names s510_in_12_ n_n169 n_n170 n_n171 n_n173 n_n174 [578]
-111-1 1
110-01 1
.names s510_in_12_ s510_in_9_ n_n169 n_n170 n_n171 n_n172 n_n173 n_n174 [586]
1-1---01 1
-11111-- 1
.end