.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 [89] [591] s510_out_0_
1- 1
-1 1
.names [47] [592] s510_out_1_
1- 1
-1 1
.names [593] [594] s510_out_2_
1- 1
-1 1
.names [36] [33] s510_out_3_
1- 1
-1 1
.names [73] [597] s510_out_4_
11 1
.names [36] [23] s510_out_5_
1- 1
-1 1
.names n_n170 [56] s510_out_6_
11 1
.names [149] [552] n_n54
1- 1
-1 1
.names [132] [561] n_n55
1- 1
-1 1
.names [119] [573] n_n56
1- 1
-1 1
.names [106] [579] n_n57
1- 1
-1 1
.names [99] [586] n_n58
1- 1
-1 1
.names [91] [92] n_n59
1- 1
-1 1
.names [562] [563] [28]
11 1
.names n_n169 n_n170 [53]
11 1
.names [126] [567] [61]
1- 1
-1 1
.names [571] [572] [59]
1- 1
-1 1
.names n_n171 n_n174 [56]
11 1
.names [115] [577] [66]
1- 1
-1 1
.names [110] [111] [63]
1- 1
-1 1
.names [168] [549] [21]
1- 1
-1 1
.names [163] [164] [26]
1- 1
-1 1
.names [541] [542] [35]
11 1
.names n_n174 [533] [40]
0- 1
-1 1
.names [539] [540] [69]
1- 1
-1 1
.names [24] [50] [58]
11 1
.names [27] [596] [73]
1- 1
-1 1
.names n_n174 [553] [36]
11 1
.names [26] [41] [76]
1- 1
-1 1
.names [136] [137] [75]
1- 1
-1 1
.names n_n174 [55] [51]
01 1
.names [101] [585] [80]
1- 1
-1 1
.names [38] [595] [82]
1- 1
-1 1
.names n_n171 [24] [52]
11 1
.names [96] [589] [84]
1- 1
-1 1
.names [93] [94] [83]
1- 1
-1 1
.names n_n172 n_n173 [55]
01 1
.names n_n169 n_n172 [87]
1- 1
-0 1
.names [171] [547] [22]
1- 1
-1 1
.names n_n172 n_n173 [24]
11 1
.names n_n171 n_n174 [50]
00 1
.names n_n172 n_n173 [57]
00 1
.names n_n172 n_n174 [88]
0- 1
-0 1
.names [21] [558] [41]
1- 1
-1 1
.names n_n171 n_n172 [54]
10 1
.names s510_in_8_ [24] [60]
0- 1
-0 1
.names [129] [130] [62]
1- 1
-1 1
.names s510_in_1_ s510_in_2_ [65]
0- 1
-0 1
.names [112] [113] [64]
1- 1
-1 1
.names n_n173 [575] [68]
0- 1
-1 1
.names s510_in_17_ n_n171 [67]
0- 1
-1 1
.names n_n172 [50] [72]
1- 1
-1 1
.names [161] [537] [71]
1- 1
-1 1
.names [158] [159] [70]
1- 1
-1 1
.names n_n171 n_n172 [74]
01 1
10 1
.names [139] [557] [77]
1- 1
-1 1
.names [142] [555] [78]
1- 1
-1 1
.names n_n172 [50] [79]
1- 1
-1 1
.names n_n172 [582] [81]
0- 1
-1 1
.names s510_in_12_ n_n173 [86]
0- 1
-1 1
.names s510_in_17_ n_n170 [85]
0- 1
-0 1
.names [51] [599] [23]
11 1
.names n_n173 [74] [27]
01 1
.names n_n172 [50] [29]
01 1
.names n_n169 [82] [33]
01 1
.names n_n171 n_n172 [37]
00 1
.names n_n170 n_n171 [38]
01 1
.names n_n171 [87] [42]
01 1
.names n_n172 n_n174 [43]
10 1
.names n_n170 n_n173 [44]
11 1
.names n_n170 [58] [46]
01 1
.names n_n170 [52] [47]
11 1
.names n_n174 [590] [49]
11 1
.names n_n170 [40] [89]
11 1
.names [83] [588] [91]
11 1
.names n_n174 [84] [92]
11 1
.names n_n170 [587] [93]
11 1
.names s510_in_8_ n_n170 [94]
10 1
.names n_n169 [85] [95]
01 1
.names n_n169 [86] [96]
11 1
.names n_n170 n_n172 [97]
10 1
.names [580] [581] [98]
11 1
.names n_n173 [80] [99]
11 1
.names n_n169 [81] [101]
01 1
.names s510_in_8_ n_n169 [102]
01 1
.names n_n170 n_n174 [103]
10 1
.names n_n170 n_n171 [104]
00 1
.names [53] [63] [106]
11 1
.names n_n172 [66] [107]
11 1
.names n_n170 [28] [108]
01 1
.names s510_out_6_ n_n169 [109]
11 1
.names [54] [64] [110]
11 1
.names [24] [65] [111]
11 1
.names n_n173 [574] [112]
01 1
.names s510_in_5_ n_n173 [113]
11 1
.names n_n169 [67] [114]
01 1
.names n_n170 [68] [115]
01 1
.names s510_in_9_ n_n173 [116]
00 1
.names [61] [568] [118]
11 1
.names n_n171 [59] [119]
11 1
.names [24] [569] [121]
11 1
.names n_n170 [60] [122]
01 1
.names s510_in_11_ [57] [123]
01 1
.names [62] [565] [126]
11 1
.names [51] [566] [127]
11 1
.names s510_in_3_ [24] [128]
11 1
.names n_n174 [564] [129]
01 1
.names s510_in_10_ n_n172 [130]
11 1
.names n_n169 [75] [131]
11 1
.names n_n170 [76] [132]
11 1
.names [53] [40] [133]
10 1
.names n_n170 [77] [136]
01 1
.names s510_in_3_ [40] [137]
10 1
.names [24] [554] [138]
11 1
.names n_n173 [78] [139]
01 1
.names s510_in_0_ [56] [140]
11 1
.names s510_in_8_ [51] [141]
11 1
.names s510_in_16_ [79] [142]
11 1
.names s510_in_13_ [54] [143]
11 1
.names s510_in_12_ n_n174 [144]
11 1
.names s510_in_1_ [52] [145]
01 1
.names s510_in_17_ n_n169 [146]
00 1
.names [40] [534] [148]
01 1
.names n_n170 [69] [149]
01 1
.names n_n174 [35] [150]
01 1
.names n_n170 [21] [151]
11 1
.names [72] [535] [153]
11 1
.names [55] [70] [154]
11 1
.names n_n171 [71] [155]
11 1
.names s510_in_4_ [58] [156]
01 1
.names s510_in_18_ n_n169 [157]
10 1
.names n_n174 [536] [158]
11 1
.names s510_in_8_ n_n174 [159]
00 1
.names s510_in_13_ [57] [160]
01 1
.names s510_in_8_ [24] [161]
01 1
.names s510_in_0_ n_n174 [162]
01 1
.names n_n174 [532] [163]
11 1
.names n_n169 [88] [164]
01 1
.names [543] [544] [165]
11 1
.names [50] [545] [166]
11 1
.names s510_in_2_ [52] [167]
01 1
.names n_n171 [22] [168]
11 1
.names n_n173 [546] [169]
01 1
.names s510_in_12_ [57] [170]
01 1
.names s510_in_5_ [51] [171]
01 1
.names n_n173 s510_in_12_ [532]
00 1
.names n_n173 n_n171 [533]
0- 1
-1 1
.names [53] s510_in_8_ [534]
10 1
.names n_n173 s510_in_16_ [535]
00 1
.names n_n171 s510_in_3_ [536]
00 1
.names [160] [162] [537]
1- 1
-1 1
.names [153] [157] [538]
1- 1
-1 1
.names [154] [156] [539]
1- 1
-1 1
.names [155] [538] [540]
1- 1
-1 1
.names n_n170 s510_in_7_ [541]
10 1
.names [55] n_n171 [542]
10 1
.names n_n169 s510_in_3_ [543]
10 1
.names [24] n_n171 [544]
10 1
.names n_n173 s510_in_15_ [545]
00 1
.names n_n172 s510_in_9_ [546]
10 1
.names [170] [169] [547]
1- 1
-1 1
.names [165] [166] [548]
1- 1
-1 1
.names [548] [167] [549]
1- 1
-1 1
.names [148] [26] [550]
1- 1
-1 1
.names [550] [150] [551]
1- 1
-1 1
.names [151] [551] [552]
1- 1
-1 1
.names n_n172 n_n169 [553]
11 1
.names n_n171 s510_in_4_ [554]
01 1
.names [143] [144] [555]
1- 1
-1 1
.names [140] [138] [556]
1- 1
-1 1
.names [556] [141] [557]
1- 1
-1 1
.names [145] [146] [558]
1- 1
-1 1
.names [35] [36] [559]
1- 1
-1 1
.names [559] [133] [560]
1- 1
-1 1
.names [131] [560] [561]
1- 1
-1 1
.names n_n169 s510_in_12_ [562]
11 1
.names n_n174 n_n173 [563]
10 1
.names n_n172 s510_in_14_ [564]
01 1
.names n_n173 s510_in_15_ [565]
01 1
.names s510_in_7_ s510_in_6_ [566]
11 1
.names [127] [128] [567]
1- 1
-1 1
.names [53] n_n171 [568]
10 1
.names n_n170 s510_in_2_ [569]
10 1
.names [121] n_n169 [570]
1- 1
-0 1
.names [122] [123] [571]
1- 1
-1 1
.names [22] [570] [572]
1- 1
-1 1
.names [118] [28] [573]
1- 1
-1 1
.names s510_in_11_ s510_in_12_ [574]
11 1
.names n_n171 s510_in_8_ [575]
0- 1
-0 1
.names [116] [50] [576]
1- 1
-1 1
.names [576] [114] [577]
1- 1
-1 1
.names [109] [108] [578]
1- 1
-1 1
.names [107] [578] [579]
1- 1
-1 1
.names n_n171 s510_in_9_ [580]
11 1
.names [53] n_n172 [581]
11 1
.names n_n170 s510_in_17_ [582]
0- 1
-0 1
.names [102] [54] [583]
1- 1
-1 1
.names [104] [103] [584]
1- 1
-1 1
.names [584] [583] [585]
1- 1
-1 1
.names [98] [28] [586]
1- 1
-1 1
.names s510_in_2_ s510_in_1_ [587]
11 1
.names [52] n_n169 [588]
11 1
.names [95] [97] [589]
1- 1
-1 1
.names n_n172 n_n170 [590]
00 1
.names [49] [58] [591]
1- 1
-1 1
.names [46] [56] [592]
1- 1
-1 1
.names [43] [55] [593]
1- 1
-1 1
.names [42] [44] [594]
1- 1
-1 1
.names [37] n_n174 [595]
1- 1
-0 1
.names [29] [52] [596]
1- 1
-1 1
.names n_n170 n_n169 [597]
00 1
.names n_n170 n_n169 [598]
00 1
.names [598] n_n171 [599]
11 1
.end