.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_18_ n_n55 n_n57 [37] [35] [191] s420_out_0_
1----1 1
1111-- 1
110-1- 1
.names s420_in_17_ s420_in_18_ n_n55 n_n23
1-- 1
-0- 1
--0 1
.names s420_in_17_ s420_in_18_ n_n55 [28] [54] n_n24
----1 1
0111- 1
.names s420_in_17_ s420_in_18_ n_n55 [30] [48] n_n25
----1 1
0111- 1
.names s420_in_17_ s420_in_18_ n_n55 n_n58 [47] n_n26
----1 1
0101- 1
.names s420_in_17_ s420_in_18_ n_n55 n_n56 n_n57 n_n59 n_n27
010--1 1
01--01 1
01100- 1
011-10 1
.names n_n56 n_n57 n_n58 n_n59 [28]
01-- 1
-1-1 1
0-01 1
.names n_n56 n_n57 n_n58 n_n59 [30]
--1- 1
10-0 1
.names s420_in_5_ s420_in_4_ s420_in_3_ s420_in_2_ n_n56 n_n59 [37]
---111 1
-1--01 1
1---10 1
--1-00 1
.names s420_in_3_ s420_in_2_ n_n56 n_n59 [35]
1-11 1
-101 1
-110 1
.names s420_in_17_ s420_in_18_ n_n55 n_n56 n_n57 n_n59 [47]
011101 1
.names s420_in_17_ s420_in_18_ n_n55 n_n56 n_n57 n_n59 [48]
010-1- 1
01-111 1
0-0110 1
01-010 1
.names s420_in_17_ s420_in_18_ n_n55 n_n56 n_n57 n_n59 [54]
0101-- 1
0-0110 1
.names s420_in_1_ s420_in_0_ n_n55 [191]
-1- 1
1-0 1
.end