.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_ [12] beecount_out_0_
00 1
.names beecount_in_0_ [12] beecount_out_1_
1- 1
-1 1
.names beecount_in_0_ beecount_in_2_ n_n51 n_n52 beecount_out_2_
01-- 1
0-0- 1
0--0 1
.names beecount_in_0_ beecount_in_2_ n_n51 n_n52 beecount_out_3_
1--- 1
-011 1
.names beecount_in_0_ beecount_in_2_ [20] n_n25
011 1
.names beecount_in_0_ n_n52 [24] [28] n_n26
0--1 1
011- 1
.names beecount_in_0_ [22] [105] [108] n_n27
0--1 1
011- 1
.names beecount_in_1_ n_n50 n_n51 n_n52 [20]
1--- 1
-11- 1
--00 1
.names beecount_in_2_ n_n51 n_n52 [22]
11- 1
0-1 1
.names beecount_in_1_ beecount_in_2_ n_n50 n_n51 [24]
01-- 1
-01- 1
-100 1
.names beecount_in_1_ n_n50 n_n51 n_n52 [12]
0001 1
.names beecount_in_1_ beecount_in_2_ n_n50 n_n52 [28]
1110 1
1000 1
.names n_n50 beecount_in_1_ [105]
01 1
.names beecount_in_2_ n_n50 n_n51 n_n52 [108]
011- 1
11-1 1
1-11 1
.end