.model top
.inputs beecount_in_0_ beecount_in_1_ beecount_in_2_ clock
.outputs beecount_out_0_ beecount_out_1_ beecount_out_2_ beecount_out_3_
.latch    n_n25 n_n50 re clock 2
.latch    n_n26 n_n51 re clock 2
.latch    n_n27 n_n52 re clock 2
.names beecount_in_0_ [17] [109] beecount_out_0_
01- 1
0-0 1
.names beecount_in_0_ [17] [109] beecount_out_1_
1-- 1
-01 1
.names beecount_in_0_ [27] beecount_out_2_
01 1
.names beecount_in_0_ [27] beecount_out_3_
1- 1
-0 1
.names [35] [102] [103] n_n25
1-1 1
-11 1
.names beecount_in_0_ [23] n_n26
01 1
.names beecount_in_0_ [14] [108] n_n27
01- 1
0-1 1
.names n_n52 [24] [28] [23]
--1 1
11- 1
.names beecount_in_2_ n_n51 n_n52 [27]
1-- 1
-0- 1
--0 1
.names n_n50 n_n51 [17]
1- 1
-1 1
.names beecount_in_2_ n_n51 n_n52 [22]
11- 1
0-1 1
.names beecount_in_2_ n_n50 [25] [24]
01- 1
1-1 1
.names beecount_in_1_ n_n50 n_n51 [25]
0-- 1
-00 1
.names beecount_in_1_ n_n50 [22] [14]
101 1
.names beecount_in_2_ n_n50 n_n51 [16]
011 1
.names beecount_in_2_ n_n50 [104] [28]
111 1
001 1
.names n_n50 n_n51 [35]
11 1
.names beecount_in_1_ n_n51 n_n52 [102]
1-- 1
-00 1
.names beecount_in_2_ beecount_in_0_ [103]
10 1
.names n_n52 beecount_in_1_ [104]
01 1
.names n_n52 beecount_in_2_ [106]
11 1
.names [17] [16] [106] [108]
-1- 1
1-1 1
.names n_n52 beecount_in_1_ [109]
10 1
.end