| .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_ beecount_in_1_ n_n50 n_n51 n_n52 beecount_out_0_ |
| 01--- 1 |
| 0-1-- 1 |
| 0--1- 1 |
| 0---0 1 |
| .names beecount_in_0_ beecount_in_1_ n_n50 n_n51 n_n52 beecount_out_1_ |
| 1---- 1 |
| -0001 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_ [23] n_n26 |
| 01 1 |
| .names beecount_in_0_ [21] n_n27 |
| 01 1 |
| .names beecount_in_1_ n_n50 n_n51 n_n52 [20] |
| 1--- 1 |
| -11- 1 |
| --00 1 |
| .names beecount_in_1_ beecount_in_2_ n_n50 n_n51 n_n52 [21] |
| -011- 1 |
| -11-1 1 |
| -1-11 1 |
| 1101- 1 |
| 100-1 1 |
| .names beecount_in_1_ beecount_in_2_ n_n50 n_n51 n_n52 [23] |
| 01--1 1 |
| -01-1 1 |
| -1001 1 |
| 111-0 1 |
| 100-0 1 |
| .end |
