.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 [58] [90] ng188
01 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 ng18 [54] ng101
011 1
000 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 ng19 ng18 ng17 [64] [103] [455] ng96
0---1-- 1
0----11 1
00-0--1 1
0-10--1 1
.names g199 ng12 ng13 ng22 ng21 [58] ng183
---1-0 1
11---0 1
1-1--0 1
-10--0 1
-01-00 1
.names ng14 ng10 ng11 ng15 n_n53
0101 1
.names ng12 ng13 ng22 ng20 ng29 ng21 ng18 [58]
0-1---1 1
-11---1 1
--10--1 1
--1-1-1 1
--1--11 1
0-01-0- 1
10-0101 1
.names g213 ng12 ng13 ng22 ng20 ng29 ng21 [90]
1-1---- 1
-0-1--- 1
--11--- 1
---10-- 1
---1-1- 1
---1--1 1
-01---0 1
-10-010 1
.names ng14 ng10 ng11 ng30 ng15 [50]
---1- 1
010-1 1
.names ng14 ng10 ng11 ng30 ng16 ng15 ng17 [54]
----0-- 1
------0 1
1--0--- 1
-0-0--- 1
--10--- 1
---0-0- 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 ng14 ng10 ng11 ng30 ng15 [103]
1--0- 1
-0-0- 1
--10- 1
---00 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