| .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 n_n61 n_n63 [36] bbara_out_0_ |
| 111 1 |
| .names n_n60 [52] [172] [173] n_n23 |
| ---1 1 |
| 11-- 1 |
| 1-1- 1 |
| .names bbara_in_1_ bbara_in_0_ n_n61 [24] [178] n_n24 |
| ----1 1 |
| 0-1-- 1 |
| -01-- 1 |
| 1101- 1 |
| .names bbara_in_1_ bbara_in_0_ n_n62 [20] n_n25 |
| ---1 1 |
| 0-1- 1 |
| -01- 1 |
| .names bbara_in_3_ bbara_in_2_ [25] [16] [182] n_n26 |
| ----1 1 |
| 101-- 1 |
| 10-1- 1 |
| .names bbara_in_3_ bbara_in_2_ n_n62 n_n63 [29] |
| -1-- 1 |
| 0-1- 1 |
| 1-00 1 |
| .names bbara_in_2_ n_n60 n_n62 [24] |
| 110 1 |
| .names bbara_in_1_ bbara_in_0_ n_n60 n_n61 [31] |
| --01 1 |
| 11-0 1 |
| .names bbara_in_1_ bbara_in_0_ n_n60 n_n61 n_n63 [30] |
| --11- 1 |
| ---11 1 |
| 11-0- 1 |
| .names n_n61 n_n63 [25] |
| 11 1 |
| .names bbara_in_3_ bbara_in_2_ bbara_in_1_ bbara_in_0_ [36] |
| --0- 1 |
| ---0 1 |
| 10-- 1 |
| .names bbara_in_3_ n_n62 n_n63 [23] |
| 100 1 |
| .names bbara_in_1_ bbara_in_0_ n_n60 n_n62 n_n63 [33] |
| --01- 1 |
| 11--1 1 |
| .names bbara_in_2_ bbara_in_1_ bbara_in_0_ n_n61 n_n63 [15] |
| -0--1 1 |
| --0-1 1 |
| 1--01 1 |
| .names bbara_in_1_ bbara_in_0_ n_n60 n_n61 n_n62 [16] |
| 11101 1 |
| .names bbara_in_3_ bbara_in_2_ [23] [33] [179] [20] |
| 00-1- 1 |
| -01-1 1 |
| .names bbara_in_2_ bbara_in_1_ bbara_in_0_ n_n61 n_n63 [50] |
| 11100 1 |
| .names bbara_in_3_ bbara_in_2_ n_n61 n_n62 [52] |
| 0010 1 |
| .names bbara_in_1_ bbara_in_0_ n_n60 n_n61 [168] |
| 1101 1 |
| .names bbara_in_2_ bbara_in_1_ bbara_in_0_ n_n62 [172] |
| -0-- 1 |
| --0- 1 |
| 1--1 1 |
| .names [29] [50] [168] [173] |
| -1- 1 |
| 1-1 1 |
| .names bbara_in_3_ bbara_in_2_ n_n62 [31] [30] [178] |
| -011- 1 |
| 10--1 1 |
| .names bbara_in_1_ bbara_in_0_ n_n60 n_n61 [179] |
| 1101 1 |
| .names bbara_in_1_ bbara_in_0_ n_n61 [180] |
| 111 1 |
| .names bbara_in_2_ n_n60 n_n62 [15] [180] [182] |
| ---1- 1 |
| 110-1 1 |
| .end |