.model top
.inputs s420_in_9_ s420_in_8_ s420_in_7_ s420_in_6_ s420_in_10_ s420_in_11_ \
s420_in_12_ s420_in_13_ s420_in_1_ s420_in_14_ s420_in_0_ s420_in_15_ \
s420_in_16_ s420_in_17_ s420_in_5_ s420_in_18_ s420_in_4_ s420_in_3_ \
s420_in_2_ clock
.outputs s420_out_1_ s420_out_0_
.latch    n_n23 n_n55 re clock 2
.latch    n_n24 n_n56 re clock 2
.latch    n_n25 n_n57 re clock 2
.latch    n_n26 n_n58 re clock 2
.latch    n_n27 n_n59 re clock 2
.names n_n55 n_n56 n_n57 n_n59 s420_out_1_
0000 1
.names s420_in_1_ s420_in_0_ s420_in_18_ n_n55 [15] s420_out_0_
-11-- 1
--1-1 1
1-10- 1
.names s420_in_17_ s420_in_18_ n_n55 n_n23
1-- 1
-0- 1
--0 1
.names n_n23 [29] [28] [177] n_n24
0-1- 1
-1-1 1
.names s420_in_17_ n_n23 n_n57 [31] [30] n_n25
-0--1 1
0-11- 1
.names s420_in_17_ s420_in_18_ n_n55 n_n58 [183] n_n26
0101- 1
011-1 1
.names s420_in_17_ s420_in_18_ n_n55 [33] [42] n_n27
----1 1
0111- 1
.names s420_in_18_ n_n57 n_n59 [29]
1-- 1
-10 1
.names n_n56 n_n57 n_n58 n_n59 [28]
01-- 1
-1-1 1
0-01 1
.names s420_in_18_ n_n55 n_n56 n_n59 [31]
10-- 1
1-11 1
-010 1
1-00 1
.names n_n56 n_n57 n_n58 n_n59 [30]
--1- 1
10-0 1
.names n_n56 n_n57 n_n59 [33]
00- 1
-10 1
.names s420_in_3_ s420_in_2_ n_n56 n_n59 [35]
1-11 1
-101 1
-110 1
.names n_n55 n_n57 [35] [189] [190] [15]
101-- 1
11-1- 1
11--1 1
.names s420_in_17_ s420_in_18_ n_n55 n_n57 n_n59 [42]
010-1 1
01-01 1
.names s420_in_17_ n_n55 n_n56 [177]
001 1
.names n_n56 n_n57 n_n59 [183]
101 1
.names s420_in_4_ s420_in_3_ n_n56 n_n59 [189]
1-01 1
-100 1
.names s420_in_5_ s420_in_2_ n_n56 n_n59 [190]
-111 1
1-10 1
.end