| .model top |
| .inputs ck g2 g1 g0 |
| .outputs g214 g148 g147 g213 g199 g198 |
| .latch ng62 ng12 re ck 2 |
| .latch ng167 g147 re ck 2 |
| .latch ng173 g148 re ck 2 |
| .latch ng79 ng14 re ck 2 |
| .latch ng69 ng13 re ck 2 |
| .latch ng137 ng22 re ck 2 |
| .latch ng115 ng20 re ck 2 |
| .latch ng60 ng10 re ck 2 |
| .latch ng106 ng19 re ck 2 |
| .latch ng61 ng11 re ck 2 |
| .latch ng200 ng29 re ck 2 |
| .latch ng127 ng21 re ck 2 |
| .latch ng206 ng30 re ck 2 |
| .latch ng89 ng16 re ck 2 |
| .latch ng188 g213 re ck 2 |
| .latch ng84 ng15 re ck 2 |
| .latch ng194 g214 re ck 2 |
| .latch ng101 ng18 re ck 2 |
| .latch ng179 g198 re ck 2 |
| .latch ng96 ng17 re ck 2 |
| .latch ng183 g199 re ck 2 |
| .names g0 ng12 ng21 [50] [429] ng62 |
| 010-- 1 |
| 01-0- 1 |
| 01--1 1 |
| 00110 1 |
| .names g147 ng12 ng13 ng21 n_n11 ng167 |
| 11--1 1 |
| -10-1 1 |
| 1-111 1 |
| .names g148 ng12 ng13 ng20 ng21 [438] ng173 |
| 1-1--1 1 |
| -0--01 1 |
| 10-0-1 1 |
| -000-1 1 |
| .names g0 ng14 ng10 ng11 ng79 |
| 010- 1 |
| 01-0 1 |
| 0011 1 |
| .names g0 ng12 ng13 ng21 [50] [429] ng69 |
| 0-1-0- 1 |
| 0-1--1 1 |
| 0011-- 1 |
| 0110-- 1 |
| 010110 1 |
| .names g0 n_n11 ng137 |
| 00 1 |
| .names g0 ng20 n_n50 [50] ng115 |
| 010- 1 |
| 01-0 1 |
| 0011 1 |
| .names g0 ng10 ng60 |
| 00 1 |
| .names g0 [78] ng106 |
| 01 1 |
| .names g0 ng14 ng10 ng11 ng15 ng61 |
| 0-01- 1 |
| 0110- 1 |
| 0-100 1 |
| .names g2 g0 ng29 ng200 |
| 001 1 |
| 100 1 |
| .names g0 ng12 ng13 ng21 [50] [429] ng127 |
| 0--10- 1 |
| 0--1-1 1 |
| 01-010 1 |
| 0-0010 1 |
| .names g1 g0 ng30 ng206 |
| 001 1 |
| 100 1 |
| .names g0 [89] ng89 |
| 01 1 |
| .names ng12 ng20 ng21 ng18 n_n11 [112] ng188 |
| ---00- 1 |
| 1--0-1 1 |
| -0-0-1 1 |
| --10-1 1 |
| 1---11 1 |
| -0--11 1 |
| --1-11 1 |
| .names g0 ng14 ng10 ng11 ng15 ng84 |
| 0-0-1 1 |
| 00-11 1 |
| 01-01 1 |
| 01110 1 |
| .names g214 ng12 ng13 ng20 ng21 n_n11 ng194 |
| 111--1 1 |
| 1-1-11 1 |
| -00111 1 |
| .names g0 ng16 ng18 ng17 [50] ng101 |
| 001-- 1 |
| 0-10- 1 |
| 0-1-0 1 |
| 01011 1 |
| .names g198 ng12 ng13 ng20 ng21 n_n11 ng179 |
| -00--1 1 |
| 111--1 1 |
| 10-1-1 1 |
| 1-11-1 1 |
| 10--11 1 |
| 1-1-11 1 |
| -0-101 1 |
| .names g0 ng30 ng16 ng17 n_n53 [101] ng96 |
| 0-01-- 1 |
| 00-10- 1 |
| 0110-1 1 |
| 0-1011 1 |
| .names ng12 ng20 ng21 ng18 n_n11 [92] ng183 |
| ---00- 1 |
| 1--0-0 1 |
| -0-0-0 1 |
| --10-0 1 |
| 1---10 1 |
| -0--10 1 |
| --1-10 1 |
| .names ng12 ng13 ng22 ng20 ng29 ng21 n_n11 |
| 0-0--- 1 |
| -10--- 1 |
| --01-- 1 |
| --0-0- 1 |
| --0--1 1 |
| 10-100 1 |
| .names ng14 ng10 ng11 ng15 n_n53 |
| 0101 1 |
| .names ng19 ng16 ng18 ng17 n_n50 |
| 1100 1 |
| .names ng19 ng30 ng16 ng18 ng17 n_n53 [78] |
| 1-0--- 1 |
| 1--01- 1 |
| 1--10- 1 |
| 10---0 1 |
| 01111- 1 |
| 0-1111 1 |
| .names ng14 ng10 ng11 ng30 ng16 ng15 [89] |
| ---10- 1 |
| 1--01- 1 |
| -0-01- 1 |
| --101- 1 |
| ---010 1 |
| 010-01 1 |
| .names g199 ng12 ng13 ng21 [92] |
| -00- 1 |
| 011- 1 |
| 00-1 1 |
| .names ng14 ng10 ng11 ng30 ng15 [50] |
| ---1- 1 |
| 010-1 1 |
| .names ng19 ng18 [101] |
| 0- 1 |
| -1 1 |
| .names g213 ng12 ng13 ng21 [112] |
| 1-1- 1 |
| -010 1 |
| .names ng20 ng19 ng16 ng18 ng17 [429] |
| 0---- 1 |
| -0--- 1 |
| --0-- 1 |
| ---1- 1 |
| ----1 1 |
| .names ng12 ng13 ng22 ng20 ng29 ng21 [438] |
| --01-- 1 |
| --0--1 1 |
| 110--- 1 |
| 000--- 1 |
| 1-0-0- 1 |
| -00-0- 1 |
| 10-100 1 |
| .end |