.model top
.inputs pc_20 pc_31 pc_10 pc_32 pc_11 pc_22 pc_12 pc_21 pc_30 pp_0 pc_17 pc_28 \
pc_18 pc_27 pc_19 pclk pc_9 pc_29 pc_8 pc_13 pc_24 pc_7 pc_14 pc_23 pc_6 pc_15 \
pc_26 pc_5 pc_16 pc_25 pc_4 pc_3 pc_2 pc_1 pc_0
.outputs pz
.latch    ni209 n_n369 re pclk 2
.latch    ni111 n_n366 re pclk 2
.latch    ni112 n_n367 re pclk 2
.latch    ni113 n_n368 re pclk 2
.latch    ni208 n_n148 re pclk 2
.latch    ni13 n_n363 re pclk 2
.latch    ni14 n_n364 re pclk 2
.latch    ni15 n_n365 re pclk 2
.latch    ni110 n_n147 re pclk 2
.latch    ni12 n_n146 re pclk 2
.latch    ni210 n_n370 re pclk 2
.latch    ni503 n_n378 re pclk 2
.latch    ni211 n_n371 re pclk 2
.latch    ni502 n_n151 re pclk 2
.latch    ni306 n_n149 re pclk 2
.latch    ni505 n_n380 re pclk 2
.latch    ni700 n_n384 re pclk 2
.latch    ni307 n_n372 re pclk 2
.latch    ni504 n_n379 re pclk 2
.latch    ni701 n_n385 re pclk 2
.latch    ni308 n_n373 re pclk 2
.latch    ni601 n_n381 re pclk 2
.latch    ni309 n_n374 re pclk 2
.latch    ni600 n_n152 re pclk 2
.latch    ni404 n_n150 re pclk 2
.latch    ni603 n_n383 re pclk 2
.latch    ni405 n_n375 re pclk 2
.latch    ni602 n_n382 re pclk 2
.latch    ni406 n_n376 re pclk 2
.latch    ni699 n_n154 re pclk 2
.latch    ni407 n_n377 re pclk 2
.latch    ni698 n_n153 re pclk 2
.names [95] n_n313 [120] [67] [138] [146] pz
-1---- 1
---1-- 1
----1- 1
-----1 1
1-1--- 1
.names n_n369 n_n367 n_n370 n_n371 [86] [726] ni209
10---- 1
1-0--- 1
1--0-- 1
1---1- 1
1----0 1
011101 1
.names n_n366 n_n367 [86] ni111
10- 1
1-1 1
010 1
.names n_n367 [86] ni112
11 1
00 1
.names pp_0 n_n368 n_n363 n_n364 n_n365 n_n146 ni113
01---- 1
-10--- 1
-1-0-- 1
-1--0- 1
-1---0 1
101111 1
.names n_n148 [123] ni208
11 1
00 1
.names pp_0 n_n363 n_n364 n_n365 ni13
01-- 1
-10- 1
-1-0 1
1011 1
.names pp_0 n_n364 n_n365 ni14
01- 1
-10 1
101 1
.names pp_0 n_n365 ni15
01 1
10 1
.names n_n366 n_n367 n_n147 [86] ni110
0-1- 1
-01- 1
--11 1
1100 1
.names pp_0 n_n363 n_n364 n_n365 n_n146 ni12
0---1 1
-0--1 1
--0-1 1
---01 1
11110 1
.names n_n366 n_n367 n_n147 n_n370 n_n371 [86] ni210
0--1-- 1
-0-1-- 1
--01-- 1
---10- 1
---1-1 1
111010 1
.names n_n378 n_n380 n_n379 n_n150 n_n375 [73] ni503
10---- 1
1-0--- 1
1--0-- 1
1---0- 1
1----1 1
011110 1
.names n_n366 n_n367 n_n147 n_n371 [86] ni211
0--1- 1
-0-1- 1
--01- 1
---11 1
11100 1
.names n_n378 n_n151 n_n380 n_n379 [73] [729] ni502
01---- 1
-10--- 1
-1-0-- 1
-1--1- 1
-1---0 1
101101 1
.names n_n149 n_n372 n_n373 n_n374 n_n158 ni306
10--- 1
1-0-- 1
1--0- 1
1---0 1
01111 1
.names n_n380 n_n150 n_n375 [73] ni505
10-- 1
1-0- 1
1--1 1
0110 1
.names n_n384 n_n385 n_n381 n_n152 n_n382 [93] ni700
10---- 1
1-0--- 1
1--0-- 1
1---0- 1
1----1 1
011110 1
.names n_n372 n_n373 n_n374 n_n158 ni307
10-- 1
1-0- 1
1--0 1
0111 1
.names n_n380 n_n379 n_n150 n_n375 [73] ni504
01--- 1
-10-- 1
-1-0- 1
-1--1 1
10110 1
.names n_n385 n_n381 n_n152 n_n382 [93] ni701
10--- 1
1-0-- 1
1--0- 1
1---1 1
01110 1
.names n_n373 n_n374 n_n158 ni308
10- 1
1-0 1
011 1
.names n_n381 n_n382 [93] ni601
10- 1
1-1 1
010 1
.names n_n374 n_n158 ni309
01 1
10 1
.names n_n381 n_n152 n_n382 [93] ni600
01-- 1
-10- 1
-1-1 1
1010 1
.names n_n150 n_n375 [73] ni404
10- 1
1-1 1
010 1
.names n_n380 n_n379 n_n383 [73] [729] [730] ni603
0-1--- 1
-01--- 1
--11-- 1
--1-0- 1
--1--0 1
110011 1
.names n_n375 [73] ni405
11 1
00 1
.names n_n382 [93] ni602
11 1
00 1
.names n_n373 n_n374 n_n376 n_n377 n_n158 [728] ni406
0-1--- 1
-01--- 1
--10-- 1
--1-0- 1
--1--0 1
110111 1
.names n_n384 n_n385 n_n382 n_n154 [93] [731] ni699
0--1-- 1
-0-1-- 1
--01-- 1
---11- 1
---1-0 1
111001 1
.names n_n149 n_n372 n_n373 n_n374 n_n377 n_n158 ni407
0---1- 1
-0--1- 1
--0-1- 1
---01- 1
----10 1
111101 1
.names n_n153 [125] ni698
11 1
00 1
.names [737] [738] [748] [753] [758] [764] [95]
111111 1
.names pc_28 pc_29 n_n385 n_n152 [102] [100]
1--1- 1
-110- 1
--001 1
.names n_n367 n_n370 n_n371 [86] [726] [727] n_n158
111011 1
.names pc_4 n_n146 [112] [734] n_n308
11-1 1
-011 1
.names pp_0 pc_8 n_n147 [115] [737] [738] n_n310
111-11 1
1-0111 1
.names pc_12 n_n148 [106] [105]
11- 1
-01 1
.names n_n308 n_n310 [105] [162] [750] n_n313
1---- 1
-1--- 1
---1- 1
--1-1 1
.names pp_0 n_n368 n_n363 n_n364 n_n365 n_n146 [86]
0----- 1
-0---- 1
--0--- 1
---0-- 1
----0- 1
-----0 1
.names pc_24 n_n151 [121] [120]
11- 1
-01 1
.names n_n369 n_n367 n_n370 n_n371 [86] [726] [123]
0----- 1
-0---- 1
--0--- 1
---0-- 1
----1- 1
-----0 1
.names n_n373 n_n374 n_n376 n_n377 n_n158 [728] [73]
0----- 1
-0---- 1
--0--- 1
---0-- 1
----0- 1
-----0 1
.names n_n384 n_n385 n_n382 n_n154 [93] [731] [125]
0----- 1
-0---- 1
--0--- 1
---0-- 1
----1- 1
-----0 1
.names n_n380 n_n379 n_n383 [73] [729] [730] [93]
0----- 1
-0---- 1
--0--- 1
---1-- 1
----0- 1
-----0 1
.names pc_31 pc_32 pc_30 n_n384 n_n154 n_n153 [102]
--11-- 1
1--01- 1
-1-001 1
.names pc_13 pc_14 pc_15 n_n372 n_n373 n_n374 [106]
1----1 1
-1--10 1
--1100 1
.names pc_17 pc_18 pc_19 n_n375 n_n376 n_n377 [109]
1----1 1
-1--10 1
--1100 1
.names pc_7 pc_6 pc_5 n_n366 n_n367 n_n368 [112]
--1--1 1
-1--10 1
1--100 1
.names pc_10 pc_11 pc_9 n_n369 n_n370 n_n371 [115]
--1--1 1
1---10 1
-1-100 1
.names pc_22 pc_21 pc_23 n_n378 n_n380 n_n379 [118]
-1--1- 1
1---01 1
--1100 1
.names pc_27 pc_26 pc_25 n_n381 n_n383 n_n382 [121]
--1-1- 1
-1--01 1
1--100 1
.names n_n151 n_n381 n_n383 n_n382 [95] [100] [67]
000011 1
.names pc_20 n_n150 [118] [760] [138]
11-1 1
-011 1
.names pc_16 n_n149 [109] [755] [146]
11-1 1
-011 1
.names pp_0 pc_1 pc_0 n_n365 [744] [162]
1-1-- 1
1---1 1
11-1- 1
.names n_n147 n_n366 [726]
11 1
.names n_n148 n_n369 [727]
11 1
.names n_n372 n_n149 [728]
11 1
.names n_n375 n_n150 [729]
11 1
.names n_n151 n_n378 [730]
11 1
.names n_n152 n_n381 [731]
11 1
.names pp_0 n_n363 n_n364 n_n365 [734]
1000 1
.names n_n364 n_n365 n_n146 [737]
000 1
.names n_n366 n_n367 n_n368 n_n363 [738]
0000 1
.names pc_3 pc_2 n_n363 n_n364 n_n365 [744]
-1-10 1
1-100 1
.names n_n369 n_n147 n_n370 n_n371 [748]
0000 1
.names pp_0 n_n364 n_n365 n_n146 [738] [748] [750]
100011 1
.names n_n148 n_n372 n_n373 n_n374 [753]
0000 1
.names pp_0 [737] [738] [748] [753] [755]
11111 1
.names n_n149 n_n375 n_n376 n_n377 [758]
0000 1
.names pp_0 [737] [738] [748] [753] [758] [760]
111111 1
.names pp_0 n_n378 n_n380 n_n379 n_n150 [764]
10000 1
.end