.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    ng293 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 pg25 pg17 ng67 ng78 [83] pg106bf
--0--- 1
----0- 1
00---- 1
0--1-- 1
0----0 1
.names pg4 pg18 ng79 pg107
011 1
.names pg12 pg11 pg13 pg28 pg92
1111 1
.names pg3 pg14 ng75 [117] [370] pg103bf
-0--- 1
--0-- 1
0--1- 1
0---1 1
.names pg19 pg4 ng80 pg83
101 1
.names pg3 pg23 pg15 ng65 ng76 [79] pg104bf
--0--- 1
----0- 1
00---- 1
0--1-- 1
0----0 1
.names pg4 pg20 ng81 pg84
011 1
.names pg4 pg21 ng82 pg85
011 1
.names pg3 pg16 ng77 [122] [366] pg105bf
-0--- 1
--0-- 1
0--1- 1
0---1 1
.names pg4 pg33 ng71 pg98bf
1-- 1
-0- 1
--0 1
.names [117] [370] pg86bf
1- 1
-1 1
.names pg23 pg32 ng72 ng65 [79] pg97bf
0---- 1
-0--- 1
--0-- 1
---1- 1
----0 1
.names pg34 ng70 [122] [366] pg99bf
0--- 1
-0-- 1
--1- 1
---1 1
.names pg25 pg36 ng67 ng68 [83] pg101bf
0---- 1
-0--- 1
--1-- 1
---0- 1
----0 1
.names pg25 ng67 [83] pg89bf
0-- 1
-1- 1
--0 1
.names pg23 ng65 [79] pg87bf
0-- 1
-1- 1
--0 1
.names pg26 ng270 pg90
10 1
.names pg4 pg31 ng73 pg96bf
1-- 1
-0- 1
--0 1
.names [122] [366] pg88bf
1- 1
-1 1
.names pg30 ng74 [117] [370] pg95bf
0--- 1
-0-- 1
--1- 1
---1 1
.names pg4 ng73 ng74 [117] [370] ng141
01-1- 1
01--1 1
--100 1
.names pg4 ng69 ng70 [122] [366] ng133
01-1- 1
01--1 1
--100 1
.names pg4 ng69 ng70 [122] [366] ng138
1---- 1
-0--- 1
--100 1
.names pg4 pg23 ng71 ng72 ng65 [79] ng139
001--- 1
0-1-1- 1
0-1--0 1
-1-101 1
.names pg4 pg23 ng71 ng72 ng65 [79] ng140
1----- 1
--0--- 1
-1-101 1
.names pg3 ng66 ng77 ng303 [67] [366] ng276
--011- 1
01-11- 1
0--111 1
.names pg3 ng77 [122] [366] ng306
11-- 1
-100 1
.names pg3 pg2 pg25 ng67 ng78 [83] ng278
10--1- 1
-01011 1
.names pg25 ng67 ng68 [83] ng293
1011 1
.names pg3 ng75 [117] [370] ng300
11-- 1
-100 1
.names pg4 ng73 ng74 [117] [370] ng142
1---- 1
-0--- 1
--100 1
.names pg2 pg8 ng300 [109] ng271
0-1- 1
-11- 1
-1-1 1
.names pg5 pg2 ng303 [105] ng272
1-1- 1
-01- 1
1--1 1
.names pg6 pg2 ng306 [101] ng273
1-1- 1
-01- 1
1--1 1
.names pg1 ng278 [78] ng274
-1- 1
1-1 1
.names pg3 ng75 [117] [370] [384] ng275
11--1 1
-1001 1
.names pg3 ng66 ng77 [67] [366] ng277
1-11- 1
-0110 1
.names pg3 pg25 ng67 ng78 [83] ng309
1--1- 1
-1011 1
.names pg3 pg23 ng65 ng76 [79] ng303
1--1- 1
-1011 1
.names pg3 pg2 pg25 ng67 ng78 [83] [67]
-0--0- 1
000--- 1
00-1-- 1
00---0 1
.names pg4 pg13 [89] [91] [92] [399] ng270
-----1 1
-01--- 1
00-1-- 1
00--1- 1
.names pg3 ng75 ng309 [117] [370] [383] [78]
--1--- 1
-0---1 1
0--1-1 1
0---11 1
.names pg3 pg9 pg10 pg11 pg13 [79]
1---- 1
-1-1- 1
--01- 1
---11 1
.names pg23 ng71 ng72 ng65 [79] [68]
11101 1
.names pg3 pg9 pg10 pg11 pg13 [83]
1---- 1
-0-1- 1
--01- 1
---11 1
.names pg27 pg91
1 1
.names pg29 pg94
1 1
.names pg9 pg10 pg25 ng67 ng68 [83] [89]
111011 1
.names pg9 pg10 ng69 ng70 [122] [366] [91]
101100 1
.names pg9 ng74 [94] [117] [370] [398] [92]
0-1--- 1
01-001 1
.names pg10 pg23 ng71 ng72 ng65 [79] [94]
111101 1
.names pg3 ng75 [117] [370] [380] [382] [101]
-0--11 1
0-1-11 1
0--111 1
.names pg3 ng75 [117] [370] [380] [381] [105]
-0--11 1
0-1-11 1
0--111 1
.names pg4 ng73 ng74 [117] [370] [379] [109]
011001 1
.names pg3 ng77 ng303 [122] [366] [368] [117]
-00--1 1
0-01-1 1
0-0-11 1
.names pg3 pg2 ng66 ng78 [83] [363] [122]
-010-- 1
001-0- 1
001--0 1
.names ng67 pg25 [363]
01 1
.names pg3 pg9 pg10 pg11 pg24 pg13 [366]
----0- 1
0--0-- 1
010--0 1
.names pg3 pg2 ng64 ng78 [83] [363] [368]
-010-- 1
001-0- 1
001--0 1
.names pg3 pg9 pg10 pg11 pg13 pg22 [370]
-----0 1
0--0-- 1
000-0- 1
.names ng73 pg4 [378]
10 1
.names pg3 ng77 ng309 ng303 [122] [366] [379]
-000-- 1
0-001- 1
0-00-1 1
.names pg4 pg3 pg25 ng67 ng78 [83] [380]
0---0- 1
000--- 1
00-1-- 1
00---0 1
.names pg3 ng77 [68] [122] [366] [381]
-01-- 1
0-11- 1
0-1-1 1
.names ng69 ng70 ng303 [122] [366] [382]
11000 1
.names pg3 ng293 ng77 ng303 [122] [366] [383]
-100-- 1
01-01- 1
01-0-1 1
.names pg3 ng66 ng77 ng303 [67] [366] [384]
--001- 1
01-01- 1
0--011 1
.names pg11 pg25 ng67 ng68 [83] [393]
01011 1
.names ng69 ng70 [68] [122] [366] [393] [395]
111001 1
.names ng73 pg10 [398]
10 1
.names pg12 ng74 [117] [370] [378] [395] [399]
0----- 1
-10011 1
.end