| .model top | |
| .inputs lion_in_0_ lion_in_1_ clock | |
| .outputs lion_out | |
| .latch n_n10 n_n21 re clock 2 | |
| .latch n_n11 n_n22 re clock 2 | |
| .names lion_in_0_ lion_in_1_ n_n21 n_n22 lion_out | |
| ---1 1 | |
| 0-1- 1 | |
| -01- 1 | |
| .names lion_in_0_ lion_in_1_ n_n21 n_n22 n_n10 | |
| 10-- 1 | |
| -01- 1 | |
| -0-1 1 | |
| .names lion_in_0_ lion_in_1_ n_n21 n_n22 n_n11 | |
| 1--1 1 | |
| -1-1 1 | |
| --11 1 | |
| 011- 1 | |
| .end |