| .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 ng22 ng20 ng29 ng21 ng167 |
| 1110--- 1 |
| 11-01-- 1 |
| -1001-- 1 |
| 11-0-0- 1 |
| -100-0- 1 |
| 11-0--1 1 |
| 1-10--1 1 |
| -100--1 1 |
| -10-100 1 |
| .names g148 ng12 ng13 ng22 ng20 ng21 ng173 |
| 1110-- 1 |
| 1-101- 1 |
| -0000- 1 |
| 1-10-1 1 |
| -000-0 1 |
| -0-010 1 |
| 10-001 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 ng12 ng13 ng22 ng20 ng29 ng21 ng137 |
| 00-1--- 1 |
| 0-11--- 1 |
| 0--10-- 1 |
| 0--1-1- 1 |
| 0--1--1 1 |
| 010-010 1 |
| .names g0 ng20 ng19 ng16 ng18 ng17 [50] ng115 |
| 010---- 1 |
| 01-0--- 1 |
| 01--1-- 1 |
| 01---1- 1 |
| 01----0 1 |
| 0011001 1 |
| .names g0 ng10 ng60 |
| 00 1 |
| .names g0 ng19 ng30 ng16 ng18 ng17 n_n53 ng106 |
| 01-0--- 1 |
| 01--01- 1 |
| 01--10- 1 |
| 010---0 1 |
| 001111- 1 |
| 00-1111 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 ng14 ng10 ng11 ng30 ng16 ng15 ng89 |
| 0---10- 1 |
| 01--01- 1 |
| 0-0-01- 1 |
| 0--101- 1 |
| 0---010 1 |
| 0010-01 1 |
| .names g213 ng12 ng13 ng22 ng20 ng29 ng21 ng18 ng188 |
| -0-1---0 1 |
| --11---0 1 |
| ---10--0 1 |
| ---1-1-0 1 |
| ---1--10 1 |
| 1110---- 1 |
| 1-100--- 1 |
| 1-10--1- 1 |
| 111----0 1 |
| 1-1-0--0 1 |
| 1-1---10 1 |
| -0100-0- 1 |
| -01-0-00 1 |
| -10-0100 1 |
| .names g0 ng14 ng10 ng11 ng15 ng84 |
| 0-0-1 1 |
| 00-11 1 |
| 01-01 1 |
| 01110 1 |
| .names g214 ng12 ng13 ng22 ng20 ng21 ng194 |
| 1110-- 1 |
| 1-10-1 1 |
| -00011 1 |
| .names g0 [97] ng101 |
| 01 1 |
| .names g198 ng12 ng13 ng22 ng20 ng21 ng179 |
| -000-- 1 |
| 1110-- 1 |
| 10-01- 1 |
| 1-101- 1 |
| 10-0-1 1 |
| 1-10-1 1 |
| -0-010 1 |
| .names g0 [100] [64] [455] ng96 |
| 0-1- 1 |
| 01-1 1 |
| .names g199 ng12 ng13 ng22 ng20 ng29 ng21 ng18 ng183 |
| 11-----0 1 |
| -10----0 1 |
| -0-1---0 1 |
| --11---0 1 |
| ---10--0 1 |
| ---1-1-0 1 |
| ---1--10 1 |
| 1110---- 1 |
| 11-01--- 1 |
| -1001--- 1 |
| 1-100--- 1 |
| 11-0-0-- 1 |
| -100-0-- 1 |
| 11-0--1- 1 |
| 1-10--1- 1 |
| -100--1- 1 |
| 1-1-0--0 1 |
| 1-1---10 1 |
| -0100-0- 1 |
| -10-100- 1 |
| -01-0-00 1 |
| .names ng14 ng10 ng11 ng15 n_n53 |
| 0101 1 |
| .names ng14 ng10 ng11 ng30 ng16 ng15 ng18 ng17 [97] |
| ----0-1- 1 |
| ------10 1 |
| 1--0--1- 1 |
| -0-0--1- 1 |
| --10--1- 1 |
| ---0-01- 1 |
| ---11-01 1 |
| 010-1101 1 |
| .names ng14 ng10 ng11 ng30 ng15 [50] |
| ---1- 1 |
| 010-1 1 |
| .names ng14 ng10 ng19 ng11 ng30 ng15 ng18 ng17 [100] |
| 1---0--- 1 |
| -0--0--- 1 |
| ---10--- 1 |
| ----00-- 1 |
| --0----0 1 |
| ------10 1 |
| .names ng14 ng10 ng11 ng30 ng16 ng15 ng17 [64] |
| ----0-1 1 |
| 1--0--1 1 |
| -0-0--1 1 |
| --10--1 1 |
| ---0-01 1 |
| .names ng20 ng19 ng16 ng18 ng17 [429] |
| 0---- 1 |
| -0--- 1 |
| --0-- 1 |
| ---1- 1 |
| ----1 1 |
| .names ng14 ng10 ng11 ng30 ng16 ng15 [455] |
| ---11- 1 |
| 010-11 1 |
| .end |