.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 [40] [591] s510_out_0_
--1 1
11- 1
.names [56] [46] [47] s510_out_1_
1-- 1
-1- 1
--1 1
.names [42] [44] [593] s510_out_2_
1-- 1
-1- 1
--1 1
.names [36] [33] s510_out_3_
1- 1
-1 1
.names n_n169 n_n170 [73] s510_out_4_
001 1
.names [36] [51] [599] s510_out_5_
1-- 1
-11 1
.names n_n170 n_n171 n_n174 s510_out_6_
111 1
.names [149] [151] [551] n_n54
1-- 1
-1- 1
--1 1
.names [131] [132] [560] n_n55
1-- 1
-1- 1
--1 1
.names [28] [118] [119] n_n56
1-- 1
-1- 1
--1 1
.names [106] [107] [578] n_n57
1-- 1
-1- 1
--1 1
.names [28] [98] [99] n_n58
1-- 1
-1- 1
--1 1
.names n_n174 [84] [91] n_n59
--1 1
11- 1
.names s510_in_12_ n_n169 [563] [28]
111 1
.names n_n169 n_n170 [53]
11 1
.names n_n171 n_n174 [56]
11 1
.names [163] [164] [26]
1- 1
-1 1
.names n_n171 n_n173 n_n174 [40]
1-- 1
-0- 1
--0 1
.names [52] [27] [29] [73]
1-- 1
-1- 1
--1 1
.names n_n169 n_n172 n_n174 [36]
111 1
.names n_n172 n_n173 n_n174 [51]
010 1
.names n_n171 n_n172 n_n173 [52]
111 1
.names [95] [96] [97] [84]
1-- 1
-1- 1
--1 1
.names s510_in_8_ n_n170 [93] [83]
--1 1
10- 1
.names n_n172 n_n173 [55]
01 1
.names n_n172 n_n173 [24]
11 1
.names n_n171 n_n174 [50]
00 1
.names [168] [549] [558] [41]
1-- 1
-1- 1
--1 1
.names n_n171 n_n172 [54]
10 1
.names s510_in_8_ n_n172 n_n173 [60]
0-- 1
-0- 1
--0 1
.names s510_in_1_ s510_in_2_ [65]
0- 1
-0 1
.names s510_in_8_ n_n171 n_n173 [68]
0-- 1
-0- 1
--0 1
.names n_n171 n_n172 n_n174 [72]
-1- 1
0-0 1
.names [160] [161] [162] [71]
1-- 1
-1- 1
--1 1
.names n_n171 n_n172 n_n174 [79]
-1- 1
0-0 1
.names s510_in_17_ n_n170 n_n172 [81]
0-- 1
-0- 1
--0 1
.names n_n171 n_n172 n_n173 [27]
010 1
100 1
.names n_n171 n_n172 n_n174 [29]
000 1
.names n_n169 [38] [595] [33]
01- 1
0-1 1
.names n_n170 n_n171 [38]
01 1
.names n_n169 n_n171 n_n172 [42]
10- 1
-00 1
.names n_n170 n_n173 [44]
11 1
.names n_n170 [24] [50] [46]
011 1
.names n_n170 [52] [47]
11 1
.names n_n170 n_n172 n_n174 [49]
001 1
.names n_n169 [52] [83] [91]
111 1
.names s510_in_1_ s510_in_2_ n_n170 [93]
111 1
.names s510_in_17_ n_n169 n_n170 [95]
00- 1
-00 1
.names s510_in_12_ n_n169 n_n173 [96]
01- 1
-11 1
.names n_n170 n_n172 [97]
10 1
.names s510_in_9_ n_n171 [581] [98]
111 1
.names n_n173 [101] [585] [99]
11- 1
1-1 1
.names n_n169 [81] [101]
01 1
.names s510_in_8_ n_n169 [102]
01 1
.names [53] [110] [111] [106]
11- 1
1-1 1
.names n_n172 [115] [577] [107]
11- 1
1-1 1
.names n_n170 [562] [563] [108]
011 1
.names [54] [112] [113] [110]
11- 1
1-1 1
.names n_n172 n_n173 [65] [111]
111 1
.names s510_in_12_ s510_in_11_ n_n173 [112]
110 1
.names s510_in_5_ n_n173 [113]
11 1
.names s510_in_17_ n_n169 n_n171 [114]
00- 1
-01 1
.names n_n170 [68] [115]
01 1
.names s510_in_9_ n_n173 [116]
00 1
.names [126] [567] [568] [118]
1-1 1
-11 1
.names n_n171 [571] [572] [119]
11- 1
1-1 1
.names s510_in_11_ n_n172 n_n173 [123]
000 1
.names [129] [130] [565] [126]
1-1 1
-11 1
.names s510_in_3_ n_n172 n_n173 [128]
111 1
.names s510_in_14_ n_n172 n_n174 [129]
100 1
.names s510_in_10_ n_n172 [130]
11 1
.names n_n169 [136] [137] [131]
11- 1
1-1 1
.names n_n170 [26] [41] [132]
11- 1
1-1 1
.names n_n170 [139] [557] [136]
01- 1
0-1 1
.names s510_in_3_ [40] [137]
10 1
.names n_n173 [142] [555] [139]
01- 1
0-1 1
.names s510_in_0_ n_n171 n_n174 [140]
111 1
.names s510_in_16_ [79] [142]
11 1
.names s510_in_13_ n_n171 n_n172 [143]
110 1
.names s510_in_17_ n_n169 [146]
00 1
.names [40] [534] [148]
01 1
.names n_n170 [539] [540] [149]
01- 1
0-1 1
.names n_n174 [541] [542] [150]
011 1
.names n_n170 [168] [549] [151]
11- 1
1-1 1
.names [55] [158] [159] [154]
11- 1
1-1 1
.names s510_in_4_ [24] [50] [156]
011 1
.names s510_in_18_ n_n169 [157]
10 1
.names s510_in_3_ n_n171 n_n174 [158]
001 1
.names s510_in_8_ n_n174 [159]
00 1
.names s510_in_13_ n_n172 n_n173 [160]
000 1
.names s510_in_8_ n_n172 n_n173 [161]
011 1
.names s510_in_0_ n_n174 [162]
01 1
.names s510_in_12_ n_n173 n_n174 [163]
001 1
.names n_n169 n_n172 n_n174 [164]
00- 1
0-0 1
.names s510_in_3_ n_n169 [544] [165]
011 1
.names n_n171 n_n174 [545] [166]
001 1
.names s510_in_2_ [52] [167]
01 1
.names n_n171 [171] [547] [168]
11- 1
1-1 1
.names s510_in_9_ n_n172 n_n173 [169]
010 1
.names s510_in_12_ n_n172 n_n173 [170]
000 1
.names s510_in_5_ [51] [171]
01 1
.names s510_in_8_ n_n169 n_n170 [534]
011 1
.names n_n173 s510_in_16_ [535]
00 1
.names [72] [157] [535] [538]
-1- 1
1-1 1
.names [154] [156] [539]
1- 1
-1 1
.names n_n171 [71] [538] [540]
--1 1
11- 1
.names n_n170 s510_in_7_ [541]
10 1
.names n_n171 n_n172 n_n173 [542]
001 1
.names n_n171 n_n172 n_n173 [544]
011 1
.names n_n173 s510_in_15_ [545]
00 1
.names [170] [169] [547]
1- 1
-1 1
.names [165] [166] [167] [549]
1-- 1
-1- 1
--1 1
.names [26] [148] [150] [551]
1-- 1
-1- 1
--1 1
.names n_n171 s510_in_4_ [554]
01 1
.names s510_in_12_ n_n174 [143] [555]
--1 1
11- 1
.names [24] [140] [554] [556]
-1- 1
1-1 1
.names s510_in_8_ [51] [556] [557]
--1 1
11- 1
.names s510_in_1_ [52] [146] [558]
--1 1
01- 1
.names [36] [541] [542] [559]
1-- 1
-11 1
.names [53] [40] [559] [560]
--1 1
10- 1
.names n_n169 s510_in_12_ [562]
11 1
.names n_n174 n_n173 [563]
10 1
.names n_n173 s510_in_15_ [565]
01 1
.names s510_in_7_ s510_in_6_ [566]
11 1
.names [51] [128] [566] [567]
-1- 1
1-1 1
.names n_n169 n_n170 n_n171 [568]
110 1
.names n_n170 s510_in_2_ [569]
10 1
.names n_n169 [24] [569] [570]
0-- 1
-11 1
.names n_n170 [60] [123] [571]
--1 1
01- 1
.names [171] [547] [570] [572]
1-- 1
-1- 1
--1 1
.names [50] [114] [116] [577]
1-- 1
-1- 1
--1 1
.names s510_out_6_ n_n169 [108] [578]
--1 1
11- 1
.names n_n169 n_n170 n_n172 [581]
111 1
.names n_n170 n_n171 n_n174 [584]
00- 1
1-0 1
.names [54] [102] [584] [585]
1-- 1
-1- 1
--1 1
.names [24] [50] [49] [591]
--1 1
11- 1
.names n_n172 n_n173 n_n174 [593]
01- 1
1-0 1
.names n_n171 n_n172 n_n174 [595]
--0 1
00- 1
.names n_n169 n_n170 n_n171 [599]
001 1
.end