.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 s420_in_17_ s420_in_18_ n_n55 n_n56 n_n57 n_n58 n_n59 n_n24
0101--- 1
01101-- 1
011-1-1 1
0-011-0 1
0110-01 1
.names s420_in_17_ s420_in_18_ n_n55 n_n56 n_n57 n_n58 n_n59 n_n25
010-1-- 1
011--1- 1
01-11-1 1
0-011-0 1
01-01-0 1
01110-0 1
.names s420_in_17_ s420_in_18_ n_n55 n_n56 n_n57 n_n58 n_n59 n_n26
010--1- 1
01110-1 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 s420_in_5_ s420_in_4_ s420_in_3_ s420_in_2_ n_n55 n_n56 n_n57 n_n59 \
[15]
---11111 1
-1--1011 1
--1-1101 1
---11001 1
1---1110 1
--1-1010 1
---11100 1
.end