.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_in_1_ s820_in_16_ n_n216 n_n217 n_n218 n_n219 n_n220 \
s820_out_0_
1--01--- 1
1----1-0 1
-0---1-0 1
-0-011-- 1
1--0-11- 1
1---100- 1
-0-0--11 1
1----011 1
-0-01--0 1
1--1010- 1
-0-1010- 1
-1000-00 1
.names s820_in_7_ s820_in_6_ s820_in_5_ [659] s820_out_2_
11-1 1
1-11 1
-111 1
.names s820_in_13_ n_n217 n_n218 n_n219 [94] s820_out_1_
01001 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_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_13_ s820_in_1_ s820_in_0_ n_n218 [135] [639] [641] [646] n_n80
--0----1 1
010---1- 1
01011--- 1
0101-1-- 1
.names s820_in_0_ [88] n_n81
01 1
.names n_n217 n_n218 [50] [53] [54] [59] [650] [654] [88]
--1----- 1
-------1 1
1--1---- 1
1---1--- 1
01---1-- 1
01----1- 1
.names s820_in_9_ s820_in_8_ s820_in_10_ s820_in_11_ s820_in_2_ s820_in_1_ \
n_n216 n_n220 [94]
-----0-1 1
11111-1- 1
.names s820_out_16_ n_n217 [69] [164] [170] [173] [615] [616] [95]
1------- 1
---1---- 1
-----1-- 1
--0----1 1
-10-1--- 1
-10---1- 1
.names s820_in_13_ s820_in_1_ [69]
1- 1
-0 1
.names s820_in_1_ s820_out_16_ [144] [149] [150] [173] [622] [626] [100]
-1------ 1
--1----- 1
-----1-- 1
-------1 1
1--1---- 1
1---1--- 1
1-----1- 1
.names s820_in_13_ [119] [175] [187] [595] [601] [603] [604] [113]
--1----- 1
------1- 1
-------1 1
0--1---- 1
0----1-- 1
01--1--- 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 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_4_ s820_in_2_ n_n216 n_n217 n_n220 [135]
-0--0 1
1--10 1
--100 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_7_ s820_in_6_ s820_in_5_ s820_in_2_ n_n216 n_n217 n_n218 n_n219 \
[149]
01010101 1
10010101 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_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_14_ s820_in_15_ s820_in_16_ n_n216 n_n217 n_n218 n_n219 n_n220 \
[175]
0-01110- 1
01000-00 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_ s820_in_16_ s820_in_17_ n_n216 n_n217 n_n218 n_n219 n_n220 \
[603]
--01101- 1
1--10010 1
10-00-00 1
.names s820_in_3_ s820_in_2_ s820_in_1_ n_n216 n_n217 n_n218 n_n219 n_n220 \
[604]
---1-111 1
--000-01 1
0--10001 1
-0-10001 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_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_9_ s820_in_8_ s820_in_10_ s820_in_11_ s820_in_2_ n_n216 n_n217 \
n_n219 [639]
----00-1 1
01011100 1
.names s820_in_7_ s820_in_6_ s820_in_2_ n_n216 n_n217 n_n218 n_n219 n_n220 \
[641]
-----011 1
--001-1- 1
1--0101- 1
-1-0101- 1
.names s820_in_13_ s820_in_1_ s820_in_17_ n_n216 n_n217 n_n218 n_n219 n_n220 \
[642]
--01101- 1
0--1-011 1
-1-10010 1
--000010 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_in_13_ s820_out_6_ n_n217 n_n218 n_n219 [94] [642] [643] [646]
-1------ 1
------1- 1
-------1 1
0-1001-- 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 s820_in_2_ s820_in_13_ s820_in_1_ n_n216 n_n217 n_n218 n_n219 n_n220 \
[659]
10101010 1
.end