.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_0_ lion_in_1_ n_n21 n_n22 lion_out
---1 1
0-1- 1
-01- 1
.names lion_in_0_ lion_in_1_ n_n21 n_n22 n_n10
10-- 1
-01- 1
-0-1 1
.names lion_in_0_ lion_in_1_ n_n21 n_n22 n_n11
1--1 1
-1-1 1
--11 1
011- 1
.end