.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_ n_n216 n_n217 n_n218 n_n219 n_n220 [657] s820_out_0_
------1 1
101---- 1
1--1-0- 1
10-11-- 1
1-100-- 1
1--011- 1
11010-- 1
.names s820_in_7_ s820_in_6_ s820_in_5_ [39] [658] s820_out_2_
11-11 1
1-111 1
-1111 1
.names s820_in_13_ s820_in_1_ n_n217 n_n218 n_n219 n_n220 [140] s820_out_1_
0-100-1 1
001001- 1
.names s820_in_16_ n_n216 n_n217 n_n218 n_n219 n_n220 s820_out_4_
11110- 1
100-00 1
.names n_n216 n_n217 n_n218 n_n219 n_n220 s820_out_3_
01--- 1
--1-0 1
0-11- 1
-100- 1
--011 1
1010- 1
.names s820_in_2_ n_n216 n_n218 n_n219 n_n220 s820_out_18_
10011 1
.names s820_in_2_ n_n216 n_n218 n_n219 n_n220 s820_out_17_
10111 1
.names s820_in_12_ n_n216 n_n218 n_n219 n_n220 s820_out_16_
01111 1
.names s820_in_1_ n_n216 n_n217 n_n218 n_n219 n_n220 s820_out_11_
100001 1
.names s820_in_12_ n_n216 n_n218 n_n219 n_n220 s820_out_15_
11111 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_ n_n216 n_n217 n_n218 n_n219 n_n220 s820_out_6_
1110001 1
.names n_n216 n_n217 n_n218 n_n219 s820_out_5_
0000 1
.names s820_in_2_ n_n216 n_n217 n_n218 n_n219 n_n220 s820_out_8_
110001 1
.names n_n216 n_n217 n_n218 n_n219 n_n220 s820_out_7_
10001 1
.names s820_in_1_ s820_in_14_ s820_in_16_ n_n216 n_n217 n_n219 n_n220 \
s820_out_9_
0100000 1
.names s820_in_13_ s820_in_0_ [119] [187] [595] [601] [606] n_n77
-0----1 1
00-1--- 1
00---1- 1
001-1-- 1
.names s820_in_0_ s820_out_16_ [164] [165] [173] n_n78
01--- 1
0-1-- 1
0--1- 1
0---1 1
.names s820_in_0_ s820_out_16_ [143] [144] [173] [626] n_n79
01---- 1
0-1--- 1
0--1-- 1
0---1- 1
0----1 1
.names s820_in_13_ s820_in_1_ s820_in_0_ [107] [646] n_n80
--0-1 1
0101- 1
.names s820_in_0_ n_n217 [50] [53] [54] [655] n_n81
0-1--- 1
0----1 1
01-1-- 1
01--1- 1
.names n_n216 n_n217 n_n218 n_n219 [39]
0101 1
.names s820_in_1_ s820_in_16_ n_n216 n_n217 n_n219 n_n220 [65]
100000 1
.names n_n216 n_n217 n_n218 n_n219 n_n112
1110 1
.names s820_in_7_ s820_in_6_ s820_in_5_ [119]
1-- 1
-11 1
.names s820_in_1_ s820_in_17_ n_n216 n_n217 n_n218 n_n219 n_n220 [37]
-01101- 1
1-10010 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_n218 [61] [132] [135] [136] [637] [640] [107]
--1---- 1
------1 1
1--1--- 1
1---1-- 1
10---1- 1
.names s820_in_15_ n_n216 n_n217 n_n218 n_n219 n_n220 [114]
-1110- 1
100-00 1
.names n_n112 s820_out_10_
1 1
.names n_n112 s820_out_12_
1 1
.names s820_in_3_ s820_in_2_ n_n216 n_n217 n_n218 n_n219 n_n220 [50]
-00---1 1
-0-0--1 1
0---0-1 1
---10-1 1
---0-11 1
--0--01 1
.names s820_in_14_ s820_in_15_ s820_in_16_ n_n216 n_n219 [53]
00010 1
.names s820_in_7_ s820_in_6_ s820_in_2_ n_n216 n_n218 n_n219 n_n220 [54]
--10-0- 1
--1-1-0 1
00100-- 1
.names s820_in_9_ s820_in_8_ s820_in_10_ s820_in_11_ n_n219 [59]
1---0 1
-0--0 1
--1-0 1
---00 1
.names s820_in_13_ s820_in_17_ n_n216 n_n217 n_n218 n_n219 n_n220 [73]
0-1-011 1
-000010 1
.names s820_in_7_ s820_in_6_ n_n216 n_n217 n_n218 n_n219 [132]
1-0101 1
-10101 1
.names s820_in_4_ s820_in_2_ n_n216 n_n217 n_n220 [135]
-0--0 1
1--10 1
--100 1
.names s820_in_2_ n_n216 n_n219 [136]
001 1
.names s820_in_9_ s820_in_8_ s820_in_10_ s820_in_11_ s820_in_2_ n_n216 [140]
111111 1
.names s820_in_7_ s820_in_6_ s820_in_1_ [150] [620] [622] [143]
--11-- 1
--1--1 1
011-1- 1
101-1- 1
.names s820_in_13_ n_n216 n_n217 n_n218 n_n219 n_n220 [144]
101--- 1
1--1-0 1
10-11- 1
1-100- 1
1--011 1
11010- 1
.names s820_in_2_ n_n216 n_n217 n_n218 n_n219 n_n220 [150]
00-1-- 1
-001-- 1
--010- 1
0--1-0 1
.names s820_in_17_ n_n216 n_n217 n_n218 n_n219 [164]
01101 1
.names s820_in_13_ s820_in_1_ n_n217 [170] [615] [616] [165]
01---1 1
0111-- 1
011-1- 1
.names s820_in_9_ s820_in_8_ s820_in_10_ s820_in_11_ s820_in_2_ n_n218 n_n219 \
[170]
0----00 1
-0---00 1
--0--00 1
---0-00 1
----000 1
.names s820_in_14_ s820_in_15_ s820_in_16_ n_n216 n_n217 n_n218 n_n219 [173]
0001110 1
.names s820_in_3_ s820_in_2_ n_n216 n_n217 n_n218 n_n219 n_n220 [176]
0-10001 1
-010001 1
.names s820_in_4_ s820_in_2_ n_n216 n_n217 n_n218 n_n219 n_n220 [187]
-10110- 1
010-1-0 1
-1001-0 1
.names s820_in_2_ n_n216 n_n217 n_n218 n_n219 n_n220 [595]
101010 1
.names s820_in_2_ s820_in_1_ n_n216 n_n217 n_n218 n_n219 n_n220 [601]
-001--- 1
-0--11- 1
-0---11 1
--1--11 1
0-1-11- 1
--1010- 1
--1100- 1
.names s820_in_1_ n_n216 n_n217 n_n218 n_n219 n_n220 [602]
-1-111 1
000-01 1
.names s820_in_14_ s820_in_16_ [65] [37] [114] [176] [602] [606]
--1---- 1
---1--- 1
-----1- 1
------1 1
00--1-- 1
.names s820_in_4_ s820_in_2_ n_n216 n_n218 n_n219 [615]
0-0-- 1
--00- 1
--0-0 1
-0-11 1
.names s820_in_2_ n_n216 n_n218 n_n219 n_n220 [616]
111-0 1
10111 1
.names s820_in_5_ s820_in_2_ n_n216 n_n217 n_n218 n_n219 [620]
010101 1
.names s820_in_2_ n_n216 n_n217 n_n218 n_n219 n_n220 [622]
-00-01 1
10-011 1
.names s820_in_2_ s820_in_1_ n_n216 n_n217 n_n218 n_n219 n_n220 [626]
-01-011 1
-0-1001 1
1-10001 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 s820_in_2_ n_n216 n_n217 n_n218 n_n219 n_n220 [640]
---011 1
001-1- 1
.names s820_in_1_ s820_in_16_ n_n216 n_n217 n_n218 n_n219 n_n220 [643]
-11110- 1
1-00-00 1
-100-00 1
.names s820_out_6_ [37] [81] [73] [140] [629] [643] [646]
1------ 1
-1----- 1
---1--- 1
------1 1
--1--1- 1
----11- 1
.names s820_in_2_ s820_in_13_ s820_in_1_ n_n216 [650]
-1-- 1
--0- 1
1--0 1
.names s820_in_13_ s820_in_1_ n_n216 n_n217 n_n218 n_n219 n_n220 [654]
1-01--- 1
-001--- 1
1---11- 1
-0--11- 1
--1--00 1
.names n_n217 n_n218 [59] [650] [654] [655]
----1 1
011-- 1
01-1- 1
.names s820_in_1_ s820_in_16_ n_n216 n_n217 n_n218 n_n219 n_n220 [657]
0---1-0 1
0-011-- 1
0-0--11 1
0-01--0 1
0-1010- 1
1000-00 1
.names s820_in_2_ s820_in_13_ s820_in_1_ n_n220 [658]
1010 1
.end