.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_n172 n_n173 n_n174 [594] s510_out_2_
---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 [73] s510_out_4_
001 1
.names n_n169 n_n172 n_n173 n_n174 [599] s510_out_5_
11-1- 1
-0101 1
.names n_n170 n_n171 n_n174 s510_out_6_
111 1
.names n_n170 [539] [540] [552] n_n54
---1 1
01-- 1
0-1- 1
.names [35] [36] [131] [132] [133] n_n55
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [28] [118] [119] n_n56
1-- 1
-1- 1
--1 1
.names [106] [107] [108] [109] n_n57
1--- 1
-1-- 1
--1- 1
---1 1
.names [28] [98] [99] n_n58
1-- 1
-1- 1
--1 1
.names n_n174 [83] [96] [588] [589] n_n59
1-1-- 1
-1-1- 1
1---1 1
.names s510_in_12_ n_n169 n_n173 n_n174 [28]
1101 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_7_ n_n170 n_n171 n_n172 n_n173 [35]
01001 1
.names n_n171 n_n172 n_n173 n_n174 [73]
111- 1
010- 1
100- 1
00-0 1
.names n_n169 n_n172 n_n174 [36]
111 1
.names s510_in_8_ s510_in_1_ s510_in_2_ n_n170 [83]
1--0 1
-111 1
.names n_n171 n_n172 [54]
10 1
.names s510_in_10_ s510_in_14_ n_n172 n_n174 [62]
1-1- 1
-100 1
.names s510_in_12_ s510_in_11_ s510_in_5_ n_n173 [64]
--11 1
11-0 1
.names s510_in_8_ s510_in_3_ n_n171 n_n174 [70]
0--0 1
-001 1
.names s510_in_12_ n_n169 n_n173 [96]
01- 1
-11 1
.names s510_in_9_ n_n169 n_n170 n_n171 n_n172 [98]
11111 1
.names n_n173 [101] [583] [584] [99]
11-- 1
1-1- 1
1--1 1
.names s510_in_17_ n_n169 n_n170 n_n172 [101]
00-- 1
-00- 1
-0-0 1
.names n_n169 n_n170 [54] [64] [111] [106]
11--1 1
1111- 1
.names n_n172 [114] [115] [576] [107]
11-- 1
1-1- 1
1--1 1
.names s510_in_12_ n_n169 n_n170 n_n173 n_n174 [108]
11001 1
.names n_n169 n_n170 n_n171 n_n174 [109]
1111 1
.names s510_in_1_ s510_in_2_ n_n172 n_n173 [111]
0-11 1
-011 1
.names s510_in_17_ n_n169 n_n171 [114]
00- 1
-01 1
.names s510_in_8_ n_n170 n_n171 n_n173 [115]
00-- 1
-00- 1
-0-0 1
.names [62] [127] [128] [565] [568] [118]
-1--1 1
--1-1 1
1--11 1
.names n_n171 [171] [547] [570] [571] [119]
11--- 1
1-1-- 1
1--1- 1
1---1 1
.names s510_in_6_ s510_in_7_ n_n172 n_n173 n_n174 [127]
11010 1
.names s510_in_3_ n_n172 n_n173 [128]
111 1
.names n_n169 n_n170 [137] [139] [557] [131]
1-1-- 1
10-1- 1
10--1 1
.names n_n170 [26] [168] [549] [558] [132]
11--- 1
1-1-- 1
1--1- 1
1---1 1
.names n_n169 n_n170 n_n171 n_n173 n_n174 [133]
11011 1
.names s510_in_3_ n_n171 n_n173 n_n174 [137]
1011 1
.names s510_in_4_ n_n171 n_n172 n_n173 [138]
1011 1
.names n_n173 [142] [555] [139]
01- 1
0-1 1
.names s510_in_8_ n_n172 n_n173 n_n174 [141]
1010 1
.names s510_in_16_ n_n171 n_n172 n_n174 [142]
1-1- 1
10-0 1
.names s510_in_1_ n_n171 n_n172 n_n173 [145]
0111 1
.names s510_in_16_ n_n171 n_n172 n_n173 n_n174 [153]
0-10- 1
00-00 1
.names s510_in_4_ n_n171 n_n172 n_n173 n_n174 [156]
00110 1
.names s510_in_18_ n_n169 [157]
10 1
.names s510_in_8_ n_n172 n_n173 [161]
011 1
.names s510_in_3_ n_n169 n_n171 n_n172 n_n173 [165]
01011 1
.names s510_in_15_ n_n171 n_n173 n_n174 [166]
0000 1
.names s510_in_2_ n_n171 n_n172 n_n173 [167]
0111 1
.names n_n171 [171] [547] [168]
11- 1
1-1 1
.names s510_in_5_ n_n172 n_n173 n_n174 [171]
0010 1
.names n_n173 n_n171 [533]
0- 1
-1 1
.names s510_in_8_ n_n169 n_n170 [534]
011 1
.names s510_in_0_ s510_in_13_ n_n172 n_n173 n_n174 [537]
0---1 1
-000- 1
.names n_n172 n_n173 [70] [156] [539]
---1 1
011- 1
.names n_n171 [153] [157] [161] [537] [540]
-1--- 1
--1-- 1
1--1- 1
1---1 1
.names s510_in_12_ s510_in_9_ n_n172 n_n173 [547]
-010 1
0-00 1
.names [165] [166] [167] [549]
1-- 1
-1- 1
--1 1
.names n_n174 [26] [35] [533] [534] [551]
-1--- 1
0-1-- 1
1--01 1
.names n_n170 [168] [549] [551] [552]
---1 1
11-- 1
1-1- 1
.names s510_in_12_ s510_in_13_ n_n171 n_n172 n_n174 [555]
1---1 1
-110- 1
.names s510_in_0_ n_n171 n_n174 [138] [141] [557]
---1- 1
----1 1
111-- 1
.names s510_in_17_ n_n169 [145] [558]
--1 1
00- 1
.names n_n173 s510_in_15_ [565]
01 1
.names n_n169 n_n170 n_n171 [568]
110 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_9_ n_n171 n_n173 n_n174 [576]
0-0- 1
-0-0 1
.names s510_in_8_ n_n169 n_n171 n_n172 [583]
01-- 1
--10 1
.names n_n170 n_n171 n_n174 [584]
00- 1
1-0 1
.names n_n169 n_n171 n_n172 n_n173 [588]
1111 1
.names s510_in_17_ n_n169 n_n170 n_n172 [589]
00-- 1
-00- 1
--10 1
.names n_n169 n_n170 n_n171 n_n172 n_n173 [594]
1-0-- 1
--00- 1
-1--1 1
.names n_n169 n_n170 n_n171 [599]
001 1
.end