.model top
.inputs pg6 pg19 pg5 pg29 pg4 pg3 pg2 pg1 pg9 pg8 pclk pg30 pg20 pg10 pg12 \
pg23 pg34 pg11 pg24 pg33 pg14 pg21 pg32 pg13 pg22 pg31 pg16 pg27 pg15 pg28 \
pg18 pg25 pg36 pg17 pg26 pg35
.outputs pg100bf pg106bf pg107 pg92 pg91 pg103bf pg83 pg94 pg104bf pg84 pg85 \
pg105bf pg98bf pg86bf pg97bf pg99bf pg101bf pg89bf pg87bf pg90 pg96bf pg88bf \
pg95bf
.latch    ng141 ng73 re pclk 2
.latch    ng133 ng69 re pclk 2
.latch    ng138 ng70 re pclk 2
.latch    ng139 ng71 re pclk 2
.latch    ng140 ng72 re pclk 2
.latch    ng276 ng65 re pclk 2
.latch    ng306 ng66 re pclk 2
.latch    ng278 ng67 re pclk 2
.latch    ng122 ng68 re pclk 2
.latch    ng300 ng64 re pclk 2
.latch    ng142 ng74 re pclk 2
.latch    ng271 ng75 re pclk 2
.latch    ng272 ng76 re pclk 2
.latch    ng273 ng77 re pclk 2
.latch    ng274 ng78 re pclk 2
.latch    ng275 ng79 re pclk 2
.latch    ng276 ng80 re pclk 2
.latch    ng277 ng81 re pclk 2
.latch    ng278 ng82 re pclk 2
.names pg4 pg35 ng69 pg100bf
1-- 1
-0- 1
--0 1
.names pg3 pg17 ng78 [65] [373] pg106bf
-0--- 1
--0-- 1
0--1- 1
0---1 1
.names pg4 pg18 ng79 pg107
011 1
.names pg12 pg11 pg13 pg28 pg92
1111 1
.names pg3 pg14 ng75 [122] [383] pg103bf
-0--- 1
--0-- 1
0--1- 1
0---1 1
.names pg19 pg4 ng80 pg83
101 1
.names pg3 pg15 ng76 [126] [380] pg104bf
-0--- 1
--0-- 1
0--1- 1
0---1 1
.names pg4 pg20 ng81 pg84
011 1
.names pg4 pg21 ng82 pg85
011 1
.names pg3 pg16 ng77 [131] [377] pg105bf
-0--- 1
--0-- 1
0--1- 1
0---1 1
.names pg4 pg33 ng71 pg98bf
1-- 1
-0- 1
--0 1
.names [122] [383] pg86bf
1- 1
-1 1
.names pg32 ng72 [126] [380] pg97bf
0--- 1
-0-- 1
--1- 1
---1 1
.names pg34 ng70 [131] [377] pg99bf
0--- 1
-0-- 1
--1- 1
---1 1
.names pg36 ng68 [134] [373] pg101bf
0--- 1
-0-- 1
--1- 1
---1 1
.names pg3 pg9 pg10 pg13 [373] pg89bf
----1 1
0110- 1
.names pg3 pg9 pg10 pg13 [380] pg87bf
----1 1
0010- 1
.names pg12 pg26 ng293 [77] [63] pg90
110-0 1
11-00 1
.names pg4 pg31 ng73 pg96bf
1-- 1
-0- 1
--0 1
.names [131] [377] pg88bf
1- 1
-1 1
.names pg30 ng74 [122] [383] pg95bf
0--- 1
-0-- 1
--1- 1
---1 1
.names pg4 ng73 ng74 [122] [383] ng141
01-1- 1
01--1 1
--100 1
.names pg4 ng69 ng70 [131] [377] ng133
01-1- 1
01--1 1
--100 1
.names pg4 ng69 ng70 [131] [377] ng138
1---- 1
-0--- 1
--100 1
.names pg4 ng71 ng72 [126] [380] ng139
01-1- 1
01--1 1
--100 1
.names pg4 ng71 ng72 [126] [380] ng140
1---- 1
-0--- 1
--100 1
.names pg3 ng66 ng77 ng303 [66] [377] ng276
--011- 1
01-11- 1
0--111 1
.names pg3 ng77 [131] [377] ng306
11-- 1
-100 1
.names pg3 pg2 ng78 [65] [373] ng278
101-- 1
-0100 1
.names pg3 pg9 pg10 pg13 ng68 [373] ng122
1---10 1
-0--10 1
--0-10 1
---110 1
.names pg3 ng75 [122] [383] ng300
11-- 1
-100 1
.names pg4 ng73 ng74 [122] [383] ng142
1---- 1
-0--- 1
--100 1
.names pg2 pg8 ng300 [105] ng271
0-1- 1
-11- 1
-1-1 1
.names pg5 [81] [100] ng272
--1 1
11- 1
.names pg6 [80] [96] ng273
--1 1
11- 1
.names pg1 ng278 [75] ng274
-1- 1
1-1 1
.names pg3 ng75 [122] [383] [400] ng275
11--1 1
-1001 1
.names pg3 ng66 ng77 [66] [377] ng277
1-11- 1
-0110 1
.names pg3 pg9 pg10 pg13 ng78 [373] ng309
1---1- 1
-0--10 1
--0-10 1
---110 1
.names pg3 pg9 pg10 pg13 ng76 [380] ng303
1---1- 1
-1--10 1
--0-10 1
---110 1
.names pg3 pg2 ng78 [65] [373] [66]
-00-- 1
00-1- 1
00--1 1
.names pg3 pg9 pg10 pg13 ng68 [373] ng293
1---10 1
-0--10 1
--0-10 1
---110 1
.names pg9 pg10 pg13 [65]
110 1
.names pg3 ng75 ng309 [122] [383] [399] [75]
--1--- 1
-0---1 1
0--1-1 1
0---11 1
.names ng73 ng74 [65] [122] [383] [413] [77]
--1--- 1
11-001 1
.names pg3 ng306 ng75 [122] [383] [398] [80]
-1---- 1
--0--1 1
0--1-1 1
0---11 1
.names pg3 ng75 ng303 [122] [383] [395] [81]
--1--- 1
-0---1 1
0--1-1 1
0---11 1
.names pg4 ng71 ng72 [126] [380] [68]
01100 1
.names pg10 ng73 ng74 [89] [122] [383] [79]
---1-- 1
011-00 1
.names pg27 pg91
1 1
.names pg29 pg94
1 1
.names pg4 pg9 pg13 [79] [87] [63]
0-0-1 1
0001- 1
.names pg9 pg10 ng69 ng70 [131] [377] [87]
101100 1
.names pg10 ng71 ng72 [126] [380] [89]
11100 1
.names pg3 pg2 ng77 [131] [377] [96]
101-- 1
-0100 1
.names pg3 pg2 ng76 [126] [380] [100]
101-- 1
-0100 1
.names ng73 ng74 [122] [383] [392] [105]
11001 1
.names pg3 ng77 ng303 [131] [377] [381] [122]
-00--1 1
0-01-1 1
0-0-11 1
.names pg3 pg9 pg10 pg13 [126]
0010 1
.names pg3 pg2 ng66 ng78 [65] [373] [131]
-010-- 1
001-1- 1
001--1 1
.names pg3 pg9 pg10 pg13 [134]
0110 1
.names pg3 pg11 pg25 ng67 [373]
--0- 1
---1 1
00-- 1
.names pg3 pg9 pg10 pg11 pg24 pg13 [377]
----0- 1
0--0-- 1
010--0 1
.names pg3 pg23 pg11 ng65 [380]
-0-- 1
---1 1
0-0- 1
.names pg3 pg2 ng64 ng78 [65] [373] [381]
-010-- 1
001-1- 1
001--1 1
.names pg3 pg9 pg10 pg11 pg13 pg22 [383]
-----0 1
0--0-- 1
000-0- 1
.names pg4 pg3 ng78 [65] [373] [391]
0-0-- 1
00-1- 1
00--1 1
.names pg3 ng77 ng303 [131] [377] [391] [392]
-00--1 1
0-01-1 1
0-0-11 1
.names pg3 ng77 ng309 [68] [131] [377] [395]
-001-- 1
0-011- 1
0-01-1 1
.names pg4 pg3 ng78 [65] [373] [396]
0-0-- 1
00-1- 1
00--1 1
.names ng69 ng70 ng303 [131] [377] [396] [398]
110001 1
.names pg3 ng77 ng303 ng293 [131] [377] [399]
-001-- 1
0-011- 1
0-01-1 1
.names pg3 ng66 ng77 ng303 [66] [377] [400]
--001- 1
01-01- 1
0--011 1
.names pg4 pg11 ng71 ng72 [126] [380] [412]
001100 1
.names ng69 ng70 [131] [377] [412] [413]
11001 1
.end