| .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_1_ beecount_in_2_ n_n50 n_n51 n_n52 n_n25 |
| 011--- 1 |
| 0-111- 1 |
| 0-1-00 1 |
| .names beecount_in_0_ beecount_in_1_ beecount_in_2_ n_n50 n_n51 n_n52 n_n26 |
| 001--1 1 |
| 0-01-1 1 |
| 0-1001 1 |
| 0111-0 1 |
| 0100-0 1 |
| .names beecount_in_0_ beecount_in_1_ beecount_in_2_ n_n50 n_n51 n_n52 n_n27 |
| 0-011- 1 |
| 0-11-1 1 |
| 0-1-11 1 |
| 01101- 1 |
| 0100-1 1 |
| .end |
