.model top
.inputs s820_in_9_ s820_in_8_ s820_in_7_ s820_in_6_ s820_in_5_ s820_in_10_ \
s820_in_4_ s820_in_11_ s820_in_3_ s820_in_12_ s820_in_2_ s820_in_13_ \
s820_in_1_ s820_in_14_ s820_in_0_ s820_in_15_ s820_in_16_ s820_in_17_ clock
.outputs s820_out_0_ s820_out_2_ s820_out_1_ s820_out_4_ s820_out_3_ \
s820_out_18_ s820_out_17_ s820_out_16_ s820_out_11_ s820_out_10_ s820_out_15_ \
s820_out_14_ s820_out_13_ s820_out_12_ s820_out_6_ s820_out_5_ s820_out_8_ \
s820_out_7_ s820_out_9_
.latch    n_n77 n_n216 re clock 2
.latch    n_n78 n_n217 re clock 2
.latch    n_n79 n_n218 re clock 2
.latch    n_n80 n_n219 re clock 2
.latch    n_n81 n_n220 re clock 2
.names [35] [657] s820_out_0_
1- 1
-1 1
.names [99] [659] s820_out_2_
11 1
.names [94] [629] s820_out_1_
11 1
.names s820_in_16_ [117] s820_out_4_
11 1
.names [624] [625] s820_out_3_
1- 1
-1 1
.names [62] [77] s820_out_18_
11 1
.names [77] [609] s820_out_17_
11 1
.names s820_in_12_ s820_out_14_ s820_out_16_
01 1
.names s820_out_5_ [660] s820_out_11_
11 1
.names s820_in_12_ s820_out_14_ s820_out_15_
11 1
.names [68] [588] s820_out_14_
11 1
.names n_n220 [75] s820_out_13_
01 1
.names s820_in_3_ s820_out_8_ s820_out_6_
11 1
.names n_n218 [40] s820_out_5_
01 1
.names s820_in_2_ s820_out_7_ s820_out_8_
11 1
.names [592] [593] s820_out_7_
11 1
.names [76] [662] s820_out_9_
11 1
.names s820_in_0_ [113] n_n77
01 1
.names s820_in_0_ [95] n_n78
01 1
.names s820_in_0_ [100] n_n79
01 1
.names s820_in_0_ [105] n_n80
01 1
.names s820_in_0_ [88] n_n81
01 1
.names n_n220 [40] [76]
01 1
.names [655] [656] [88]
1- 1
-1 1
.names n_n219 [79] [66]
01 1
.names [81] [140] [94]
1- 1
-1 1
.names [165] [617] [95]
1- 1
-1 1
.names [79] [594] [39]
11 1
.names s820_in_13_ s820_in_1_ [69]
1- 1
-0 1
.names s820_in_2_ n_n220 [80]
10 1
.names [31] [32] [99]
1- 1
-1 1
.names [143] [628] [100]
1- 1
-1 1
.names n_n216 n_n219 [75]
10 1
.names [74] [646] [105]
1- 1
-1 1
.names [76] [589] [65]
11 1
.names [46] [38] [110]
1- 1
-1 1
.names [178] [606] [113]
1- 1
-1 1
.names [162] [163] [46]
1- 1
-1 1
.names n_n218 [68] [62]
01 1
.names n_n217 [84] [116]
1- 1
-1 1
.names [75] [591] n_n112
11 1
.names [76] n_n112 [117]
1- 1
-1 1
.names n_n219 n_n220 [68]
11 1
.names s820_in_2_ n_n216 [77]
10 1
.names n_n217 [87] [40]
01 1
.names [199] [596] [121]
1- 1
-1 1
.names [598] [599] [120]
1- 1
-1 1
.names s820_in_7_ [192] [119]
1- 1
-1 1
.names [68] [41] [118]
1- 1
-1 1
.names [600] [601] [33]
1- 1
-1 1
.names n_n216 n_n219 [86]
11 1
.names [184] [185] [122]
1- 1
-1 1
.names [122] [590] [37]
11 1
.names n_n217 n_n218 [79]
10 1
.names n_n216 n_n219 [87]
00 1
.names n_n218 n_n219 [84]
11 1
.names [84] [190] [41]
1- 1
-1 1
.names [612] [613] [43]
1- 1
-1 1
.names s820_in_14_ s820_in_16_ [82]
00 1
.names s820_out_16_ [173] [45]
1- 1
-1 1
.names n_n217 n_n218 [83]
01 1
.names s820_in_7_ s820_in_6_ [55]
1- 1
-1 1
.names [634] [635] [61]
1- 1
-1 1
.names s820_in_2_ n_n216 [78]
00 1
.names s820_in_1_ n_n220 [81]
01 1
.names n_n217 n_n220 [85]
00 1
.names [652] [653] [92]
1- 1
-1 1
.names [59] [650] [90]
1- 1
-1 1
.names [53] [54] [89]
1- 1
-1 1
.names [56] [649] [91]
1- 1
-1 1
.names s820_in_2_ n_n219 [93]
0- 1
-1 1
.names [168] [616] [96]
1- 1
-1 1
.names [170] [615] [97]
1- 1
-1 1
.names s820_in_4_ [84] [98]
0- 1
-0 1
.names [622] [623] [102]
1- 1
-1 1
.names [86] [147] [101]
1- 1
-1 1
.names s820_in_7_ s820_in_6_ [104]
01 1
10 1
.names [153] [621] [103]
1- 1
-1 1
.names [131] [641] [107]
1- 1
-1 1
.names [128] [129] [106]
1- 1
-1 1
.names [135] [639] [108]
1- 1
-1 1
.names [138] [638] [109]
1- 1
-1 1
.names [68] [44] [111]
1- 1
-1 1
.names n_n218 n_n220 [112]
1- 1
-0 1
.names s820_in_3_ s820_in_2_ [115]
0- 1
-0 1
.names n_n112 [182] [114]
1- 1
-1 1
.names n_n112 s820_out_10_
1 1
.names n_n112 s820_out_12_
1 1
.names s820_in_5_ [55] [31]
11 1
.names s820_in_7_ s820_in_6_ [32]
11 1
.names s820_in_1_ [110] [34]
01 1
.names s820_in_13_ s820_out_3_ [35]
11 1
.names n_n216 [111] [38]
01 1
.names n_n217 [112] [44]
11 1
.names n_n217 [89] [48]
11 1
.names [83] [90] [49]
11 1
.names n_n220 [92] [50]
11 1
.names [69] [41] [51]
11 1
.names [82] [647] [53]
11 1
.names s820_in_2_ [91] [54]
11 1
.names [55] [648] [56]
01 1
.names n_n218 n_n220 [57]
10 1
.names n_n219 [61] [59]
01 1
.names n_n217 [93] [64]
01 1
.names s820_in_3_ n_n218 [67]
00 1
.names [106] [632] [73]
11 1
.names [69] [107] [74]
01 1
.names s820_in_1_ [76] [123]
11 1
.names [85] [630] [128]
11 1
.names n_n220 [631] [129]
11 1
.names [78] [633] [130]
11 1
.names n_n218 [108] [131]
11 1
.names [39] [55] [132]
11 1
.names [61] [637] [134]
01 1
.names n_n220 [109] [135]
01 1
.names n_n219 [78] [136]
11 1
.names n_n216 n_n217 [137]
10 1
.names s820_in_4_ n_n217 [138]
11 1
.names n_n216 [43] [140]
10 1
.names [101] [618] [142]
11 1
.names s820_in_1_ [102] [143]
11 1
.names s820_in_13_ s820_out_3_ [144]
11 1
.names n_n217 n_n219 [147]
10 1
.names [104] [620] [149]
11 1
.names n_n218 [103] [150]
11 1
.names n_n220 [40] [151]
11 1
.names n_n217 [86] [153]
00 1
.names s820_in_2_ n_n220 [154]
00 1
.names n_n216 [116] [158]
01 1
.names [75] [83] [162]
11 1
.names n_n218 n_n220 [163]
10 1
.names [79] [608] [164]
11 1
.names [69] [96] [165]
01 1
.names [80] [610] [167]
11 1
.names n_n217 [97] [168]
11 1
.names [43] [614] [170]
11 1
.names n_n216 [98] [171]
01 1
.names s820_in_2_ [84] [172]
01 1
.names n_n112 [607] [173]
11 1
.names [82] [114] [175]
11 1
.names s820_out_7_ [115] [176]
11 1
.names [40] [81] [177]
11 1
.names s820_in_13_ [33] [178]
01 1
.names s820_in_15_ [76] [182]
11 1
.names s820_in_1_ [85] [184]
11 1
.names s820_in_17_ n_n217 [185]
01 1
.names [119] [595] [186]
11 1
.names [121] [597] [187]
11 1
.names s820_in_1_ [118] [188]
01 1
.names n_n216 [120] [189]
11 1
.names n_n216 n_n217 [190]
01 1
.names s820_in_6_ s820_in_5_ [192]
11 1
.names s820_in_2_ [84] [194]
01 1
.names n_n219 [83] [195]
01 1
.names n_n217 n_n219 [198]
10 1
.names s820_in_4_ n_n220 [199]
00 1
.names n_n218 n_n216 [588]
11 1
.names s820_in_16_ s820_in_1_ [589]
01 1
.names [86] n_n218 [590]
10 1
.names n_n218 n_n217 [591]
11 1
.names n_n218 n_n217 [592]
00 1
.names [75] n_n220 [593]
11 1
.names n_n219 n_n216 [594]
10 1
.names [39] [80] [595]
11 1
.names [198] [85] [596]
1- 1
-1 1
.names [77] n_n218 [597]
11 1
.names [66] [68] [598]
1- 1
-1 1
.names [195] [194] [599]
1- 1
-1 1
.names [187] [186] [600]
1- 1
-1 1
.names [189] [188] [601]
1- 1
-1 1
.names [177] s820_out_14_ [602]
1- 1
-1 1
.names [37] [65] [603]
1- 1
-1 1
.names [602] [176] [604]
1- 1
-1 1
.names [604] [603] [605]
1- 1
-1 1
.names [605] [175] [606]
1- 1
-1 1
.names [82] s820_in_15_ [607]
10 1
.names [86] s820_in_17_ [608]
10 1
.names [68] n_n218 [609]
11 1
.names n_n218 n_n216 [610]
11 1
.names s820_in_8_ s820_in_9_ [611]
0- 1
-0 1
.names s820_in_11_ s820_in_10_ [612]
0- 1
-0 1
.names [611] s820_in_2_ [613]
1- 1
-0 1
.names n_n219 n_n218 [614]
00 1
.names [171] [172] [615]
1- 1
-1 1
.names s820_out_17_ [167] [616]
1- 1
-1 1
.names [45] [164] [617]
1- 1
-1 1
.names [81] n_n218 [618]
10 1
.names s820_in_2_ s820_in_5_ [619]
10 1
.names [39] [619] [620]
11 1
.names [154] [78] [621]
1- 1
-1 1
.names [151] s820_out_18_ [622]
1- 1
-1 1
.names [150] [149] [623]
1- 1
-1 1
.names [62] [66] [624]
1- 1
-1 1
.names [158] [46] [625]
1- 1
-1 1
.names s820_out_8_ [142] [626]
1- 1
-1 1
.names [626] [45] [627]
1- 1
-1 1
.names [627] [144] [628]
1- 1
-1 1
.names [66] s820_in_13_ [629]
10 1
.names n_n216 s820_in_17_ [630]
00 1
.names n_n216 s820_in_13_ [631]
10 1
.names n_n219 n_n218 [632]
10 1
.names n_n219 n_n217 [633]
11 1
.names s820_in_8_ s820_in_9_ [634]
0- 1
-1 1
.names s820_in_11_ s820_in_10_ [635]
0- 1
-1 1
.names n_n217 s820_in_2_ [636]
01 1
.names [636] [75] [637]
11 1
.names [137] s820_in_2_ [638]
1- 1
-0 1
.names [134] [136] [639]
1- 1
-1 1
.names [130] [62] [640]
1- 1
-1 1
.names [640] [132] [641]
1- 1
-1 1
.names [73] [37] [642]
1- 1
-1 1
.names s820_out_4_ [123] [643]
1- 1
-1 1
.names [642] s820_out_6_ [644]
1- 1
-1 1
.names [643] s820_out_1_ [645]
1- 1
-1 1
.names [645] [644] [646]
1- 1
-1 1
.names [75] s820_in_15_ [647]
10 1
.names n_n218 n_n216 [648]
00 1
.names [57] [87] [649]
1- 1
-1 1
.names [77] [69] [650]
1- 1
-1 1
.names [87] [79] [651]
1- 1
-1 1
.names [67] [78] [652]
1- 1
-1 1
.names [651] [64] [653]
1- 1
-1 1
.names [51] s820_out_13_ [654]
1- 1
-1 1
.names [49] [654] [655]
1- 1
-1 1
.names [48] [50] [656]
1- 1
-1 1
.names [34] [65] [657]
1- 1
-1 1
.names [80] [69] [658]
10 1
.names [658] [39] [659]
11 1
.names n_n220 s820_in_1_ [660]
11 1
.names s820_in_14_ s820_in_1_ [661]
10 1
.names [661] s820_in_16_ [662]
10 1
.end