.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 [70] ng62
01 1
.names n_n11 [72] ng167
11 1
.names [73] [438] ng173
11 1
.names [141] [142] ng79
1- 1
-1 1
.names g0 [75] ng69
01 1
.names g0 n_n11 ng137
00 1
.names [77] [443] ng115
11 1
.names g0 ng10 ng60
00 1
.names g0 [78] ng106
01 1
.names [124] [125] ng61
1- 1
-1 1
.names g0 [85] ng200
01 1
.names g0 [86] ng127
01 1
.names g0 [88] ng206
01 1
.names g0 [89] ng89
01 1
.names [58] [90] ng188
01 1
.names ng43 [94] ng84
11 1
.names n_n11 [96] ng194
11 1
.names g0 [97] ng101
01 1
.names n_n11 [454] ng179
11 1
.names g0 [98] ng96
01 1
.names [58] [52] ng183
00 1
.names ng12 [71] [70]
11 1
00 1
.names [151] [152] n_n11
1- 1
-1 1
.names [69] [147] [72]
1- 1
-1 1
.names [53] [434] ng164
1- 1
-1 1
.names [145] [146] [73]
1- 1
-1 1
.names ng60 [143] [57]
1- 1
-1 1
.names ng11 [428] ng43
1- 1
-1 1
.names ng15 ng43 n_n53
10 1
.names [136] [137] [75]
1- 1
-1 1
.names [426] [427] n_n50
11 1
.names ng12 ng21 [53]
1- 1
-1 1
.names [50] [429] [51]
0- 1
-1 1
.names ng20 [134] [77]
1- 1
-1 1
.names [126] [127] [78]
1- 1
-1 1
.names ng12 ng13 [69]
10 1
.names g198 [56] [83]
1- 1
-0 1
.names ng14 ng15 [84]
1- 1
-0 1
.names g2 ng29 [85]
01 1
10 1
.names [120] [121] [86]
1- 1
-1 1
.names g1 ng30 [88]
01 1
10 1
.names ng16 [50] [89]
01 1
10 1
.names [114] [115] [58]
1- 1
-1 1
.names n_n11 [112] [90]
0- 1
-1 1
.names [59] [60] [92]
1- 1
-1 1
.names [108] [109] [94]
1- 1
-1 1
.names [106] [107] [96]
1- 1
-1 1
.names ng18 [54] [97]
11 1
00 1
.names [63] [64] [98]
1- 1
-1 1
.names [432] [433] [102]
1- 1
-1 1
.names ng30 n_n53 [50]
1- 1
-1 1
.names [50] [444] [54]
0- 1
-1 1
.names ng12 [149] [56]
1- 1
-1 1
.names ng21 [435] [68]
0- 1
-1 1
.names ng21 [51] [71]
0- 1
-1 1
.names ng21 [436] [74]
0- 1
-1 1
.names [51] [442] [76]
1- 1
-1 1
.names [81] [130] [80]
1- 1
-1 1
.names [81] [128] [79]
1- 1
-1 1
.names [132] [133] [81]
1- 1
-1 1
.names ng16 ng17 [82]
0- 1
-0 1
.names ng12 ng13 [87]
1- 1
-0 1
.names g213 [53] [91]
1- 1
-0 1
.names ng13 [61] [93]
0- 1
-1 1
.names [110] [111] [95]
1- 1
-1 1
.names [67] [103] [100]
1- 1
-1 1
.names ng16 [65] [99]
0- 1
-1 1
.names ng19 ng18 [101]
0- 1
-1 1
.names n_n11 [92] [52]
11 1
.names ng13 [456] [59]
11 1
.names ng12 [93] [60]
01 1
.names g199 ng21 [61]
01 1
.names [100] [455] [63]
11 1
.names ng17 [99] [64]
11 1
.names ng30 n_n53 [65]
00 1
.names ng17 [101] [67]
01 1
.names ng30 n_n53 [103]
00 1
.names [53] [452] [106]
11 1
.names ng12 [68] [107]
00 1
.names g0 [95] [108]
01 1
.names ng15 [57] [109]
11 1
.names [450] [451] [110]
11 1
.names ng14 ng15 [111]
01 1
.names ng13 [91] [112]
11 1
.names n_n11 [449] [114]
11 1
.names ng18 n_n11 [115]
10 1
.names [51] [448] [120]
01 1
.names ng21 [51] [121]
11 1
.names [446] [447] [124]
11 1
.names ng60 ng11 [125]
11 1
.names [80] [445] [126]
11 1
.names ng19 [79] [127]
11 1
.names ng18 n_n50 [128]
00 1
.names ng19 n_n50 [130]
00 1
.names n_n50 [82] [132]
01 1
.names ng30 n_n53 [133]
00 1
.names n_n50 [50] [134]
11 1
.names [51] [441] [136]
01 1
.names ng13 [76] [137]
11 1
.names [439] [440] [141]
11 1
.names ng14 [57] [142]
11 1
.names g0 ng11 [143]
00 1
.names [74] [437] [145]
11 1
.names g148 ng13 [146]
11 1
.names g147 [56] [147]
11 1
.names ng13 ng21 [149]
11 1
.names [430] [431] [151]
11 1
.names ng22 [102] [152]
01 1
.names ng16 ng19 [426]
11 1
.names ng17 ng18 [427]
00 1
.names ng10 ng14 [428]
0- 1
-1 1
.names n_n50 ng20 [429]
0- 1
-0 1
.names ng29 ng20 [430]
01 1
.names [69] ng21 [431]
10 1
.names ng29 ng20 [432]
0- 1
-1 1
.names [69] ng21 [433]
0- 1
-1 1
.names ng20 ng13 [434]
1- 1
-0 1
.names ng20 ng13 [435]
0- 1
-1 1
.names ng13 g148 [436]
0- 1
-1 1
.names [68] ng12 [437]
10 1
.names n_n11 ng164 [438]
11 1
.names ng14 g0 [439]
00 1
.names ng11 ng10 [440]
11 1
.names [69] ng21 [441]
11 1
.names ng12 ng21 [442]
01 1
10 1
.names [51] g0 [443]
10 1
.names ng17 ng16 [444]
0- 1
-0 1
.names [54] ng18 [445]
01 1
.names ng10 g0 [446]
10 1
.names [84] ng11 [447]
10 1
.names [87] ng21 [448]
10 1
.names [53] ng20 [449]
01 1
.names ng10 ng14 [450]
11 1
.names ng15 ng11 [451]
01 1
.names ng13 g214 [452]
11 1
.names ng164 [69] [453]
10 1
.names [453] [83] [454]
11 1
.names [50] ng16 [455]
11 1
.names ng12 g199 [456]
10 1
.end