.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_2_ [10] tav_out_2_
011 1
.names tav_in_1_ tav_in_2_ [10] tav_out_1_
101 1
.names tav_in_0_ n_n34 n_n35 [16] tav_out_0_
1--1 1
110- 1
.names tav_in_3_ n_n34 n_n35 [14] tav_out_3_
1--1 1
110- 1
.names n_n34 n_n11
0 1
.names n_n34 n_n35 n_n23
01 1
10 1
.names tav_in_0_ tav_in_3_ n_n34 n_n35 [10]
00-- 1
--10 1
.names tav_in_1_ tav_in_0_ tav_in_2_ [14]
000 1
.names tav_in_1_ tav_in_3_ tav_in_2_ [16]
000 1
.end