.model top
.inputs lion_in_0_ lion_in_1_ clock
.outputs lion_out
.latch    n_n10 n_n21 re clock 2
.latch    n_n11 n_n22 re clock 2
.names lion_in_1_ n_n21 [8] lion_out
--1 1
01- 1
.names lion_in_1_ [9] n_n10
01 1
.names lion_in_1_ [8] [12] n_n11
--1 1
11- 1
.names lion_in_0_ n_n21 n_n22 [9]
1-- 1
-1- 1
--1 1
.names lion_in_0_ n_n21 n_n22 [8]
--1 1
01- 1
.names lion_in_0_ n_n21 n_n22 [12]
1-1 1
-11 1
.end