| .model top |
| .inputs bbara_in_3_ bbara_in_2_ bbara_in_1_ bbara_in_0_ clock |
| .outputs bbara_out_1_ bbara_out_0_ |
| .latch n_n23 n_n60 re clock 2 |
| .latch n_n24 n_n61 re clock 2 |
| .latch n_n25 n_n62 re clock 2 |
| .latch n_n26 n_n63 re clock 2 |
| .names bbara_in_2_ bbara_in_1_ bbara_in_0_ n_n61 n_n63 bbara_out_1_ |
| 1--01 1 |
| -0-01 1 |
| --001 1 |
| .names bbara_in_3_ bbara_in_2_ bbara_in_1_ bbara_in_0_ n_n61 n_n63 \ |
| bbara_out_0_ |
| --0-11 1 |
| ---011 1 |
| 10--11 1 |
| .names bbara_in_3_ bbara_in_2_ bbara_in_1_ bbara_in_0_ n_n60 n_n61 n_n62 n_n63 \ |
| n_n23 |
| --0-1--- 1 |
| ---01--- 1 |
| -1--1-1- 1 |
| -11101-- 1 |
| 00--110- 1 |
| -111-0-0 1 |
| 0-11011- 1 |
| 1-110100 1 |
| .names bbara_in_3_ bbara_in_2_ bbara_in_1_ bbara_in_0_ n_n60 n_n61 n_n62 n_n63 \ |
| n_n24 |
| --0--1-- 1 |
| ---0-1-- 1 |
| 10--11-- 1 |
| -0--011- 1 |
| 10---1-1 1 |
| 1011-0-- 1 |
| -011-01- 1 |
| -111100- 1 |
| .names bbara_in_3_ bbara_in_2_ bbara_in_1_ bbara_in_0_ n_n60 n_n61 n_n62 n_n63 \ |
| n_n25 |
| --0---1- 1 |
| ---0--1- 1 |
| 00--0-1- 1 |
| 0011---1 1 |
| 10110100 1 |
| .names bbara_in_3_ bbara_in_2_ bbara_in_1_ bbara_in_0_ n_n60 n_n61 n_n62 n_n63 \ |
| n_n26 |
| --0----1 1 |
| ---0---1 1 |
| -1---0-1 1 |
| 10---1-1 1 |
| -111110- 1 |
| 1011101- 1 |
| .end |