.model top
.inputs bbara_in_3_ bbara_in_2_ bbara_in_1_ bbara_in_0_ clock
.outputs bbara_out_1_ bbara_out_0_
.latch    n_n23 n_n60 re clock 2
.latch    n_n24 n_n61 re clock 2
.latch    n_n25 n_n62 re clock 2
.latch    n_n26 n_n63 re clock 2
.names bbara_in_2_ bbara_in_1_ bbara_in_0_ n_n61 n_n63 bbara_out_1_
1--01 1
-0-01 1
--001 1
.names bbara_in_3_ bbara_in_2_ bbara_in_1_ bbara_in_0_ n_n61 n_n63 \
bbara_out_0_
--0-11 1
---011 1
10--11 1
.names n_n60 [29] [28] [50] [168] n_n23
---1- 1
1-1-- 1
-1--1 1
.names bbara_in_3_ bbara_in_2_ [30] [42] [177] n_n24
---1- 1
----1 1
101-- 1
.names bbara_in_2_ [23] [37] [39] [179] n_n25
--1-- 1
0--1- 1
01--1 1
.names bbara_in_3_ bbara_in_2_ [34] [13] [15] n_n26
---1- 1
----1 1
101-- 1
.names bbara_in_3_ bbara_in_2_ n_n62 n_n63 [29]
-1-- 1
0-1- 1
1-00 1
.names bbara_in_3_ bbara_in_2_ bbara_in_1_ bbara_in_0_ n_n61 n_n62 [28]
--0--- 1
---0-- 1
-1---1 1
00--10 1
.names bbara_in_1_ bbara_in_0_ n_n60 n_n61 n_n63 [30]
--11- 1
---11 1
11-0- 1
.names bbara_in_1_ bbara_in_0_ n_n60 n_n61 n_n62 n_n63 [34]
---1-1 1
11101- 1
.names bbara_in_3_ n_n62 n_n63 [23]
100 1
.names bbara_in_2_ bbara_in_1_ bbara_in_0_ n_n60 n_n61 n_n62 [13]
111110 1
.names bbara_in_2_ bbara_in_1_ bbara_in_0_ n_n61 n_n63 [15]
-0--1 1
--0-1 1
1--01 1
.names bbara_in_1_ bbara_in_0_ n_n62 [37]
0-1 1
-01 1
.names bbara_in_3_ bbara_in_1_ bbara_in_0_ n_n60 n_n62 n_n63 [39]
0--01- 1
011--1 1
.names bbara_in_2_ bbara_in_1_ bbara_in_0_ n_n60 n_n61 n_n62 [42]
0--011 1
011-01 1
.names bbara_in_2_ bbara_in_1_ bbara_in_0_ n_n61 n_n63 [50]
11100 1
.names bbara_in_1_ bbara_in_0_ n_n60 n_n61 [168]
1101 1
.names bbara_in_2_ bbara_in_1_ bbara_in_0_ n_n60 n_n61 n_n62 [177]
-0--1- 1
--0-1- 1
111100 1
.names bbara_in_1_ bbara_in_0_ n_n60 n_n61 [179]
1101 1
.end