.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