.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 ng22 [72] [102] [151] ng167
-1-1 1
011- 1
.names ng22 ng164 [73] [102] [151] ng173
-11-1 1
0111- 1
.names g0 ng14 ng10 ng11 ng79
010- 1
01-0 1
0011 1
.names g0 [75] ng69
01 1
.names g0 ng22 [102] [151] ng137
01-0 1
0-00 1
.names g0 ng20 n_n50 [50] ng115
010- 1
01-0 1
0011 1
.names g0 ng10 ng60
00 1
.names g0 [80] [127] [445] ng106
0-1- 1
01-1 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 ng21 [50] [87] [429] ng127
010-- 1
01--1 1
00110 1
.names g1 g0 ng30 ng206
001 1
100 1
.names g0 ng16 [50] ng89
001 1
010 1
.names ng22 [58] [102] [112] [151] ng188
-0-1- 1
10--0 1
-00-0 1
.names g0 ng14 ng10 ng11 ng15 ng84
0-0-1 1
00-11 1
01-01 1
01110 1
.names ng22 [96] [102] [151] ng194
-1-1 1
011- 1
.names g0 ng16 ng18 ng17 [50] ng101
001-- 1
0-10- 1
0-1-0 1
01011 1
.names ng22 [102] [151] [454] ng179
--11 1
01-1 1
.names g0 [98] ng96
01 1
.names ng22 [58] [92] [102] [151] ng183
-00-- 1
10--0 1
-0-00 1
.names g147 ng12 ng13 ng21 [72]
11-- 1
-10- 1
1-11 1
.names ng12 ng13 ng20 ng21 ng164
1--- 1
-0-- 1
--1- 1
---1 1
.names g148 ng12 ng13 ng20 ng21 [73]
1-1-- 1
-0--0 1
10-0- 1
-000- 1
.names ng14 ng10 ng11 ng15 n_n53
0101 1
.names ng12 ng13 ng21 [50] [429] [75]
-1-0- 1
-1--1 1
011-- 1
110-- 1
10110 1
.names ng19 ng16 ng18 ng17 n_n50
1100 1
.names ng22 ng18 [102] [151] [449] [58]
---11 1
11-0- 1
-100- 1
0-1-1 1
.names g199 ng12 ng13 ng21 [92]
-00- 1
011- 1
00-1 1
.names g214 ng12 ng13 ng20 ng21 [96]
111-- 1
1-1-1 1
-0011 1
.names ng30 ng16 ng17 n_n53 [101] [98]
-01-- 1
0-10- 1
110-1 1
-1011 1
.names ng12 ng13 ng20 ng29 ng21 [102]
0---- 1
-1--- 1
--1-- 1
---0- 1
----1 1
.names ng14 ng10 ng11 ng30 ng15 [50]
---1- 1
010-1 1
.names ng19 ng16 ng18 ng17 [133] [80]
0---- 1
-0--- 1
----1 1
--10- 1
.names ng12 ng13 [87]
1- 1
-0 1
.names ng19 ng18 [101]
0- 1
-1 1
.names g213 ng12 ng13 ng21 [112]
1-1- 1
-010 1
.names ng19 ng16 ng18 ng17 [133] [127]
10--- 1
1---1 1
1-01- 1
1-10- 1
.names ng14 ng10 ng11 ng30 ng15 [133]
1--0- 1
-0-0- 1
--10- 1
---00 1
.names ng12 ng13 ng20 ng29 ng21 [151]
10100 1
.names ng20 ng19 ng16 ng18 ng17 [429]
0---- 1
-0--- 1
--0-- 1
---1- 1
----1 1
.names ng16 ng18 ng17 [50] [445]
1111 1
.names ng12 ng20 ng21 [449]
010 1
.names g198 ng12 ng13 ng20 ng21 [454]
-00-- 1
111-- 1
10-1- 1
1-11- 1
10--1 1
1-1-1 1
-0-10 1
.end