.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