.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 s820_in_13_ s820_out_3_ [657] s820_out_0_
--1 1
11- 1
.names [39] [99] [658] s820_out_2_
111 1
.names [94] [629] s820_out_1_
11 1
.names s820_in_16_ [76] n_n112 s820_out_4_
11- 1
1-1 1
.names [158] [162] [163] [624] s820_out_3_
1--- 1
-1-- 1
--1- 1
---1 1
.names s820_in_2_ n_n216 [62] s820_out_18_
101 1
.names s820_in_2_ n_n216 [609] s820_out_17_
101 1
.names s820_in_12_ s820_out_14_ s820_out_16_
01 1
.names s820_in_1_ s820_out_5_ n_n220 s820_out_11_
111 1
.names s820_in_12_ s820_out_14_ s820_out_15_
11 1
.names n_n216 n_n218 n_n219 n_n220 s820_out_14_
1111 1
.names n_n216 n_n219 n_n220 s820_out_13_
100 1
.names s820_in_3_ s820_in_2_ [592] [593] s820_out_6_
1111 1
.names n_n216 n_n217 n_n218 n_n219 s820_out_5_
0000 1
.names s820_in_2_ n_n217 n_n218 [593] s820_out_8_
1001 1
.names n_n217 n_n218 [593] s820_out_7_
001 1
.names s820_in_1_ s820_in_14_ s820_in_16_ [76] s820_out_9_
0101 1
.names s820_in_13_ s820_in_0_ [33] [606] n_n77
-0-1 1
001- 1
.names s820_in_0_ [69] [96] [617] n_n78
0--1 1
001- 1
.names s820_in_0_ [143] [144] [627] n_n79
01-- 1
0-1- 1
0--1 1
.names s820_in_0_ [105] n_n80
01 1
.names s820_in_0_ [49] [654] [656] n_n81
01-- 1
0-1- 1
0--1 1
.names n_n216 n_n217 n_n219 n_n220 [76]
0000 1
.names n_n216 [81] [612] [613] [94]
-1-- 1
1-00 1
.names n_n216 n_n217 n_n218 n_n219 [39]
0101 1
.names s820_in_13_ s820_in_1_ [69]
1- 1
-0 1
.names s820_in_7_ s820_in_6_ s820_in_5_ [99]
11- 1
1-1 1
-11 1
.names [69] [107] [644] [645] [105]
--1- 1
---1 1
01-- 1
.names n_n216 [111] [162] [163] [110]
--1- 1
---1 1
01-- 1
.names n_n218 n_n219 n_n220 [62]
011 1
.names n_n216 n_n217 n_n218 n_n219 n_n112
1110 1
.names n_n216 n_n217 n_n219 [40]
000 1
.names s820_in_4_ n_n217 n_n219 n_n220 [121]
-10- 1
0--0 1
-0-0 1
.names s820_in_7_ s820_in_6_ s820_in_5_ [119]
1-- 1
-11 1
.names [186] [187] [188] [189] [33]
1--- 1
-1-- 1
--1- 1
---1 1
.names s820_in_1_ s820_in_17_ n_n217 n_n220 [122]
-01- 1
1-00 1
.names n_n216 n_n217 n_n218 n_n219 [41]
01-- 1
--11 1
.names s820_in_14_ s820_in_16_ [82]
00 1
.names s820_in_12_ s820_out_14_ n_n112 [607] [45]
01-- 1
--11 1
.names n_n217 n_n218 [83]
01 1
.names s820_in_7_ s820_in_6_ [55]
1- 1
-1 1
.names s820_in_9_ s820_in_8_ s820_in_10_ s820_in_11_ [61]
1--- 1
-0-- 1
--1- 1
---0 1
.names s820_in_1_ n_n220 [81]
01 1
.names n_n217 [170] [615] [616] [96]
---1 1
11-- 1
1-1- 1
.names n_n216 n_n217 n_n219 [101]
1-1 1
-10 1
.names n_n218 [135] [639] [641] [107]
---1 1
11-- 1
1-1- 1
.names s820_in_4_ s820_in_2_ n_n216 n_n217 [109]
-0-- 1
1--1 1
--10 1
.names n_n217 n_n218 n_n219 n_n220 [111]
11-- 1
--11 1
1--0 1
.names n_n112 s820_out_10_
1 1
.names n_n112 s820_out_12_
1 1
.names n_n219 [83] [61] [650] [49]
-1-1 1
011- 1
.names n_n220 [64] [651] [652] [50]
11-- 1
1-1- 1
1--1 1
.names s820_in_14_ s820_in_16_ [647] [53]
001 1
.names s820_in_2_ [56] [649] [54]
11- 1
1-1 1
.names s820_in_7_ s820_in_6_ n_n216 n_n218 [56]
0000 1
.names s820_in_2_ n_n217 n_n219 [64]
00- 1
-01 1
.names n_n218 n_n219 [128] [129] [73]
011- 1
01-1 1
.names s820_in_17_ n_n216 n_n217 n_n220 [128]
0000 1
.names s820_in_13_ n_n216 n_n220 [129]
011 1
.names s820_in_2_ n_n216 n_n217 n_n219 [130]
0011 1
.names n_n220 [109] [135]
01 1
.names s820_in_2_ n_n216 n_n219 [136]
001 1
.names s820_in_1_ [149] [150] [622] [143]
11-- 1
1-1- 1
1--1 1
.names s820_in_13_ s820_out_3_ [144]
11 1
.names s820_in_7_ s820_in_6_ [39] [619] [149]
0111 1
1011 1
.names n_n218 [153] [621] [150]
11- 1
1-1 1
.names n_n216 n_n217 n_n219 n_n220 [151]
0001 1
.names n_n216 n_n217 n_n219 [153]
00- 1
-00 1
.names n_n216 n_n217 n_n218 n_n219 [158]
01-- 1
0-11 1
.names n_n216 n_n217 n_n218 n_n219 [162]
1010 1
.names n_n218 n_n220 [163]
10 1
.names s820_in_2_ n_n216 n_n218 n_n220 [167]
1110 1
.names s820_in_10_ s820_in_11_ [613] [614] [170]
0--1 1
-0-1 1
--11 1
.names s820_in_4_ n_n216 n_n218 n_n219 [171]
00-- 1
-00- 1
-0-0 1
.names s820_in_15_ [76] n_n112 [82] [175]
--11 1
11-1 1
.names s820_in_3_ s820_in_2_ [592] [593] [176]
0-11 1
-011 1
.names s820_in_2_ n_n220 [39] [119] [186]
1011 1
.names s820_in_2_ n_n216 n_n218 [121] [187]
1011 1
.names s820_in_1_ n_n219 n_n220 [41] [188]
0--1 1
011- 1
.names n_n216 [598] [599] [189]
11- 1
1-1 1
.names s820_in_16_ s820_in_1_ [589]
01 1
.names n_n216 n_n218 n_n219 [590]
101 1
.names n_n218 n_n217 [592]
00 1
.names n_n216 n_n219 n_n220 [593]
101 1
.names n_n217 n_n218 n_n219 n_n220 [598]
--11 1
100- 1
.names s820_in_2_ n_n217 n_n218 n_n219 [599]
0-11 1
-010 1
.names s820_in_1_ s820_out_14_ n_n220 [40] [602]
-1-- 1
0-11 1
.names [76] [122] [589] [590] [603]
1-1- 1
-1-1 1
.names [175] [176] [602] [603] [606]
1--- 1
-1-- 1
--1- 1
---1 1
.names s820_in_14_ s820_in_15_ s820_in_16_ [607]
000 1
.names s820_in_17_ n_n216 n_n219 [608]
011 1
.names n_n218 n_n219 n_n220 [609]
111 1
.names s820_in_11_ s820_in_10_ [612]
0- 1
-0 1
.names s820_in_9_ s820_in_8_ s820_in_2_ [613]
0-- 1
-0- 1
--0 1
.names n_n219 n_n218 [614]
00 1
.names s820_in_2_ n_n218 n_n219 [171] [615]
---1 1
011- 1
.names s820_in_2_ n_n216 [167] [609] [616]
--1- 1
10-1 1
.names n_n217 n_n218 [45] [608] [617]
--1- 1
10-1 1
.names s820_in_1_ n_n218 n_n220 [618]
001 1
.names s820_in_2_ s820_in_5_ [619]
10 1
.names s820_in_2_ n_n216 n_n220 [621]
00- 1
0-0 1
.names s820_in_2_ n_n216 [62] [151] [622]
---1 1
101- 1
.names n_n217 n_n218 n_n219 n_n220 [624]
100- 1
-011 1
.names s820_out_8_ [45] [101] [618] [627]
1--- 1
-1-- 1
--11 1
.names s820_in_13_ n_n217 n_n218 n_n219 [629]
0100 1
.names s820_in_2_ n_n216 n_n217 n_n219 [637]
1100 1
.names [61] [136] [637] [639]
-1- 1
0-1 1
.names [39] [62] [55] [130] [641]
-1-- 1
---1 1
1-1- 1
.names s820_in_1_ s820_in_16_ [76] n_n112 [643]
1-1- 1
-11- 1
-1-1 1
.names s820_out_6_ [122] [73] [590] [644]
1--- 1
--1- 1
-1-1 1
.names [94] [629] [643] [645]
--1 1
11- 1
.names s820_in_15_ n_n216 n_n219 [647]
010 1
.names n_n216 n_n218 n_n219 n_n220 [649]
0-0- 1
-1-0 1
.names s820_in_2_ s820_in_13_ s820_in_1_ n_n216 [650]
-1-- 1
--0- 1
1--0 1
.names n_n216 n_n217 n_n218 n_n219 [651]
-10- 1
0--0 1
.names s820_in_3_ s820_in_2_ n_n216 n_n218 [652]
-00- 1
0--0 1
.names s820_in_13_ s820_in_1_ s820_out_13_ [41] [654]
--1- 1
1--1 1
-0-1 1
.names n_n217 [50] [53] [54] [656]
-1-- 1
1-1- 1
1--1 1
.names s820_in_1_ s820_in_16_ [76] [110] [657]
0--1 1
101- 1
.names s820_in_2_ s820_in_13_ s820_in_1_ n_n220 [658]
1010 1
.end