.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 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_1_ n_n216 n_n220 [43] [629] s820_out_1_
0-1-1 1
-1-01 1
.names s820_in_16_ [117] s820_out_4_
11 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_ s820_out_5_ n_n220 s820_out_11_
111 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_ s820_out_7_ s820_out_6_
111 1
.names n_n216 n_n217 n_n218 n_n219 s820_out_5_
0000 1
.names s820_in_2_ s820_out_7_ s820_out_8_
11 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_ [76] s820_out_9_
0101 1
.names s820_in_13_ s820_in_0_ [600] [601] [606] n_n77
-0--1 1
001-- 1
00-1- 1
.names s820_in_13_ s820_in_1_ s820_in_0_ [96] [617] n_n78
--0-1 1
0101- 1
.names s820_in_1_ s820_in_0_ [622] [623] [628] n_n79
-0--1 1
101-- 1
10-1- 1
.names s820_in_0_ [69] [131] [641] [646] n_n80
0---1 1
001-- 1
00-1- 1
.names s820_in_0_ [48] [49] [50] [654] n_n81
01--- 1
0-1-- 1
0--1- 1
0---1 1
.names n_n216 n_n217 n_n219 n_n220 [76]
0000 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_2_ n_n220 [80]
10 1
.names n_n216 n_n217 n_n218 n_n219 n_n220 [110]
--1-0 1
011-- 1
0--11 1
01--0 1
1010- 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_n218 n_n219 n_n220 [117]
1110- 1
00-00 1
.names s820_in_4_ n_n217 n_n219 n_n220 [121]
-10- 1
0--0 1
-0-0 1
.names s820_in_2_ n_n217 n_n218 n_n219 n_n220 [120]
---11 1
0-11- 1
-010- 1
-100- 1
.names s820_in_7_ s820_in_6_ s820_in_5_ [119]
1-- 1
-11 1
.names n_n216 n_n217 n_n218 n_n219 n_n220 [118]
01--- 1
--11- 1
---11 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_9_ s820_in_8_ s820_in_10_ s820_in_11_ s820_in_2_ [43]
0---- 1
-0--- 1
--0-- 1
---0- 1
----0 1
.names s820_in_14_ s820_in_16_ [82]
00 1
.names s820_in_14_ s820_in_15_ s820_in_16_ s820_out_16_ n_n112 [45]
---1- 1
000-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 n_n217 [43] [614] [615] [616] [96]
----1 1
1--1- 1
111-- 1
.names n_n216 n_n217 n_n219 [101]
1-1 1
-10 1
.names s820_in_7_ s820_in_6_ [104]
01 1
10 1
.names s820_in_2_ n_n216 n_n217 n_n219 n_n220 [103]
00--- 1
-00-- 1
--00- 1
0---0 1
.names s820_in_13_ s820_in_17_ n_n216 n_n217 n_n220 [106]
0-1-1 1
-0000 1
.names n_n112 s820_out_10_
1 1
.names n_n112 s820_out_12_
1 1
.names s820_in_2_ n_n217 [53] [56] [649] [48]
-11-- 1
11-1- 1
11--1 1
.names n_n217 n_n218 [59] [650] [49]
011- 1
01-1 1
.names n_n220 [652] [653] [50]
11- 1
1-1 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_ n_n216 n_n218 [56]
0000 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_1_ n_n216 n_n217 n_n219 n_n220 [123]
10000 1
.names s820_in_2_ n_n216 n_n217 n_n219 [130]
0011 1
.names n_n218 [61] [135] [136] [637] [131]
1-1-- 1
1--1- 1
10--1 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_17_ n_n216 n_n217 n_n218 n_n219 [164]
01101 1
.names s820_in_1_ n_n216 n_n217 n_n219 n_n220 [177]
00001 1
.names s820_in_15_ n_n216 n_n217 n_n219 n_n220 [182]
10000 1
.names n_n216 n_n218 n_n219 [590]
101 1
.names s820_in_2_ n_n216 n_n218 [597]
101 1
.names [39] [80] [121] [119] [597] [600]
--1-1 1
11-1- 1
.names s820_in_1_ n_n216 [120] [118] [601]
-11- 1
0--1 1
.names s820_in_1_ s820_in_16_ [76] [122] [590] [603]
---11 1
101-- 1
.names s820_in_3_ s820_in_2_ s820_out_14_ s820_out_7_ [177] [604]
--1-- 1
----1 1
0--1- 1
-0-1- 1
.names n_n112 [82] [182] [603] [604] [606]
---1- 1
----1 1
11--- 1
-11-- 1
.names s820_in_14_ s820_in_15_ s820_in_16_ [607]
000 1
.names n_n219 n_n218 [614]
00 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_out_16_ n_n112 [164] [607] [617]
1--- 1
--1- 1
-1-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_out_18_ n_n216 n_n217 n_n219 n_n220 [622]
1---- 1
-0001 1
.names n_n218 [39] [104] [103] [619] [623]
1--1- 1
-11-1 1
.names s820_in_2_ s820_out_7_ [101] [618] [626]
11-- 1
--11 1
.names s820_in_13_ s820_out_3_ [45] [626] [628]
--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 s820_in_7_ s820_in_6_ [39] [62] [130] [641]
---1- 1
----1 1
1-1-- 1
-11-- 1
.names n_n216 n_n218 n_n219 [122] [106] [642]
-01-1 1
1011- 1
.names s820_in_16_ [117] [123] [643]
--1 1
11- 1
.names s820_out_1_ s820_out_6_ [642] [643] [646]
1--- 1
-1-- 1
--1- 1
---1 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 s820_in_3_ s820_in_2_ n_n216 n_n218 [652]
-00- 1
0--0 1
.names s820_in_2_ n_n216 n_n217 n_n218 n_n219 [653]
0-0-- 1
--10- 1
--0-1 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 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