.model top
.inputs bbtas_in_0_ bbtas_in_1_ clock
.outputs bbtas_out_1_ bbtas_out_0_
.latch    n_n16 n_n38 re clock 2
.latch    n_n17 n_n39 re clock 2
.latch    n_n18 n_n40 re clock 2
.names bbtas_in_1_ n_n39 n_n40 bbtas_out_1_
101 1
.names bbtas_in_0_ n_n39 n_n40 bbtas_out_0_
101 1
.names n_n38 n_n39 n_n40 [10] n_n16
11-1 1
-010 1
0001 1
0100 1
.names n_n38 n_n39 n_n40 [10] n_n17
11-- 1
1--1 1
-111 1
-010 1
.names n_n38 n_n39 n_n40 [10] n_n18
--11 1
01-1 1
11-0 1
.names bbtas_in_0_ bbtas_in_1_ [10]
1- 1
-1 1
.end