.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_ [27] beecount_out_2_
01 1
.names beecount_in_0_ [27] beecount_out_3_
1- 1
-0 1
.names [20] [103] n_n25
11 1
.names beecount_in_0_ [23] n_n26
01 1
.names beecount_in_0_ [21] n_n27
01 1
.names [35] [102] [20]
1- 1
-1 1
.names [14] [108] [21]
1- 1
-1 1
.names [28] [29] [23]
1- 1
-1 1
.names n_n52 [110] [27]
0- 1
-1 1
.names n_n50 n_n51 [17]
1- 1
-1 1
.names [18] [19] [22]
1- 1
-1 1
.names beecount_in_2_ n_n50 [26]
11 1
00 1
.names [30] [31] [24]
1- 1
-1 1
.names beecount_in_1_ [17] [25]
0- 1
-0 1
.names [17] [109] [12]
01 1
.names [22] [105] [14]
11 1
.names [17] [106] [15]
11 1
.names n_n51 [107] [16]
11 1
.names beecount_in_2_ n_n51 [18]
11 1
.names beecount_in_2_ n_n52 [19]
01 1
.names [26] [104] [28]
11 1
.names n_n52 [24] [29]
11 1
.names beecount_in_2_ [25] [30]
11 1
.names beecount_in_2_ n_n50 [31]
01 1
.names n_n51 n_n52 [34]
00 1
.names n_n50 n_n51 [35]
11 1
.names [34] beecount_in_1_ [102]
1- 1
-1 1
.names beecount_in_2_ beecount_in_0_ [103]
10 1
.names n_n52 beecount_in_1_ [104]
01 1
.names n_n50 beecount_in_1_ [105]
01 1
.names n_n52 beecount_in_2_ [106]
11 1
.names n_n50 beecount_in_2_ [107]
10 1
.names [16] [15] [108]
1- 1
-1 1
.names n_n52 beecount_in_1_ [109]
10 1
.names n_n51 beecount_in_2_ [110]
0- 1
-1 1
.end