.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 [155] [538] [539] [552] n_n54
----1 1
01--- 1
0-1-- 1
0--1- 1
.names n_n169 n_n170 [132] [137] [139] [557] [560] n_n55
--1---- 1
------1 1
1--1--- 1
10--1-- 1
10---1- 1
.names n_n171 [22] [570] [571] [573] n_n56
----1 1
11--- 1
1-1-- 1
1--1- 1
.names n_n172 [53] [110] [111] [115] [577] [578] n_n57
------1 1
-11---- 1
-1-1--- 1
1---1-- 1
1----1- 1
.names s510_in_12_ n_n169 n_n173 n_n174 [80] [98] n_n58
-----1 1
--1-1- 1
1101-- 1
.names s510_in_8_ s510_in_1_ s510_in_2_ n_n170 [92] [588] n_n59
----1- 1
1--0-1 1
-111-1 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_12_ n_n169 n_n172 n_n173 n_n174 [26]
-00-- 1
-0--0 1
0--01 1
.names s510_in_8_ s510_in_17_ n_n169 n_n170 n_n171 n_n172 n_n174 [80]
0-1---- 1
-00---- 1
--00--- 1
---00-- 1
--0--0- 1
----10- 1
---1--0 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_12_ s510_in_17_ n_n169 n_n170 n_n172 n_n173 n_n174 [92]
0-1---1 1
-00---1 1
--00--1 1
---10-1 1
--1--11 1
.names s510_in_9_ n_n169 n_n170 n_n171 n_n172 [98]
11111 1
.names s510_in_12_ s510_in_11_ s510_in_5_ n_n171 n_n172 n_n173 [110]
--1101 1
11-100 1
.names s510_in_1_ s510_in_2_ n_n172 n_n173 [111]
0-11 1
-011 1
.names s510_in_8_ n_n170 n_n171 n_n173 [115]
00-- 1
-00- 1
-0-0 1
.names s510_in_10_ s510_in_15_ s510_in_14_ n_n172 n_n173 n_n174 [126]
11-10- 1
-11000 1
.names n_n170 [26] [167] [168] [548] [558] [132]
11---- 1
1-1--- 1
1--1-- 1
1---1- 1
1----1 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_8_ n_n169 n_n170 n_n171 n_n173 n_n174 [148]
011011 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_2_ n_n171 n_n172 n_n173 [167]
0111 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_3_ s510_in_15_ n_n169 n_n171 n_n172 n_n173 n_n174 [548]
-0-0-00 1
0-1011- 1
.names n_n170 [26] [148] [150] [167] [168] [548] [552]
-1----- 1
--1---- 1
---1--- 1
1---1-- 1
1----1- 1
1-----1 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 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 n_n169 n_n170 n_n171 [28] [126] [567] [573]
---1-- 1
110-1- 1
110--1 1
.names s510_in_9_ s510_in_17_ n_n169 n_n171 n_n173 n_n174 [577]
-00--- 1
--01-- 1
0---0- 1
---0-0 1
.names s510_in_12_ n_n169 n_n170 n_n171 n_n173 n_n174 [578]
-111-1 1
110-01 1
.names n_n169 n_n171 n_n172 n_n173 [588]
1111 1
.end