.model top
.inputs tav_in_1_ tav_in_0_ tav_in_3_ tav_in_2_ clock
.outputs tav_out_2_ tav_out_1_ tav_out_0_ tav_out_3_
.latch    n_n11 n_n34 re clock 2
.latch    n_n23 n_n35 re clock 2
.names tav_in_1_ tav_in_0_ tav_in_3_ tav_in_2_ n_n34 n_n35 tav_out_2_
0001-- 1
0--110 1
.names tav_in_1_ tav_in_0_ tav_in_3_ tav_in_2_ n_n34 n_n35 tav_out_1_
1000-- 1
1--010 1
.names tav_in_1_ tav_in_0_ tav_in_3_ tav_in_2_ n_n34 n_n35 tav_out_0_
-1--10 1
0100-- 1
.names tav_in_1_ tav_in_0_ tav_in_3_ tav_in_2_ n_n34 n_n35 tav_out_3_
--1-10 1
0010-- 1
.names n_n34 n_n11
0 1
.names n_n34 n_n35 n_n23
01 1
10 1
.end