.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 n_n319 [100] [770] pz
1-- 1
-11 1
.names n_n369 [70] ni209
11 1
00 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 n_n368 [72] [725] ni113
11- 1
1-0 1
001 1
.names n_n369 n_n148 [70] ni208
01- 1
-11 1
100 1
.names n_n363 [72] ni13
11 1
00 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_n147 [124] ni110
11 1
00 1
.names n_n363 n_n146 [72] ni12
01- 1
-11 1
100 1
.names n_n370 n_n371 n_n157 ni210
10- 1
1-0 1
011 1
.names n_n378 n_n379 [91] ni503
10- 1
1-1 1
010 1
.names n_n371 n_n157 ni211
01 1
10 1
.names n_n151 [127] ni502
11 1
00 1
.names n_n149 [128] ni306
11 1
00 1
.names n_n380 [73] [729] ni505
11- 1
1-0 1
001 1
.names n_n384 [89] ni700
11 1
00 1
.names n_n372 n_n373 [92] ni307
10- 1
1-1 1
010 1
.names n_n379 [91] ni504
11 1
00 1
.names n_n385 [77] [731] ni701
11- 1
1-0 1
001 1
.names n_n373 [92] ni308
11 1
00 1
.names n_n381 [77] ni601
11 1
00 1
.names n_n374 [70] [727] ni309
11- 1
1-0 1
001 1
.names n_n381 n_n152 [77] ni600
01- 1
-11 1
100 1
.names n_n150 n_n375 [73] ni404
10- 1
1-1 1
010 1
.names n_n383 n_n161 ni603
01 1
10 1
.names n_n375 [73] ni405
11 1
00 1
.names n_n383 n_n382 n_n161 ni602
01- 1
-10 1
101 1
.names n_n376 n_n377 n_n159 ni406
10- 1
1-0 1
011 1
.names n_n384 n_n154 [89] ni699
01- 1
-11 1
100 1
.names n_n377 n_n159 ni407
01 1
10 1
.names n_n153 [125] ni698
11 1
00 1
.names n_n315 [85] [138] n_n319
1-- 1
-1- 1
--1 1
.names [97] [758] [764] [95]
111 1
.names pc_28 n_n152 [69] [100]
--1 1
11- 1
.names n_n373 [92] [728] n_n159
101 1
.names n_n383 n_n382 n_n161 [77]
0-- 1
-0- 1
--0 1
.names pp_0 n_n364 n_n365 [72]
0-- 1
-0- 1
--0 1
.names n_n370 n_n371 n_n157 [70]
0-- 1
-0- 1
--0 1
.names n_n379 [91] [730] n_n161
101 1
.names [175] [176] [734] n_n308
1-1 1
-11 1
.names [169] [170] [740] n_n310
1-1 1
-11 1
.names n_n308 n_n310 [162] n_n311
1-- 1
-1- 1
--1 1
.names [94] [748] [753] [97]
111 1
.names pc_16 n_n149 [148] [108]
--1 1
11- 1
.names n_n311 [146] [154] n_n315
1-- 1
-1- 1
--1 1
.names n_n364 n_n365 [99]
00 1
.names n_n367 [86] [726] n_n157
101 1
.names n_n368 [72] [725] [86]
0-- 1
-1- 1
--0 1
.names [735] [736] [737] [94]
111 1
.names n_n366 n_n367 [86] [124]
0-- 1
-0- 1
--1 1
.names n_n376 n_n377 n_n159 [73]
0-- 1
-0- 1
--0 1
.names n_n384 n_n154 [89] [125]
0-- 1
-0- 1
--1 1
.names n_n385 [77] [731] [89]
0-- 1
-1- 1
--0 1
.names n_n378 n_n379 [91] [127]
0-- 1
-0- 1
--1 1
.names n_n372 n_n373 [92] [128]
0-- 1
-0- 1
--1 1
.names n_n380 [73] [729] [91]
0-- 1
-1- 1
--0 1
.names n_n374 [70] [727] [92]
0-- 1
-1- 1
--0 1
.names n_n152 [79] [80] [69]
01- 1
0-1 1
.names n_n385 [81] [82] [79]
01- 1
0-1 1
.names pc_29 n_n385 [80]
11 1
.names n_n384 [83] [84] [81]
01- 1
0-1 1
.names pc_30 n_n384 [82]
11 1
.names pc_32 n_n154 n_n153 [83]
101 1
.names pc_31 n_n154 [84]
11 1
.names [95] [132] [133] [85]
11- 1
1-1 1
.names n_n151 [134] [135] [132]
01- 1
0-1 1
.names pc_24 n_n151 [133]
11 1
.names n_n383 [136] [137] [134]
01- 1
0-1 1
.names pc_25 n_n383 [135]
11 1
.names pc_27 n_n381 n_n382 [136]
110 1
.names pc_26 n_n382 [137]
11 1
.names [140] [141] [760] [138]
1-1 1
-11 1
.names n_n150 [142] [143] [140]
01- 1
0-1 1
.names pc_20 n_n150 [141]
11 1
.names n_n380 [144] [145] [142]
01- 1
0-1 1
.names pc_21 n_n380 [143]
11 1
.names pc_23 n_n378 n_n379 [144]
110 1
.names pc_22 n_n379 [145]
11 1
.names pp_0 [97] [108] [146]
111 1
.names n_n149 [150] [151] [148]
01- 1
0-1 1
.names n_n377 [152] [153] [150]
01- 1
0-1 1
.names pc_17 n_n377 [151]
11 1
.names pc_19 n_n375 n_n376 [152]
110 1
.names pc_18 n_n376 [153]
11 1
.names [156] [157] [750] [154]
1-1 1
-11 1
.names n_n148 [158] [159] [156]
01- 1
0-1 1
.names pc_12 n_n148 [157]
11 1
.names n_n374 [160] [161] [158]
01- 1
0-1 1
.names pc_13 n_n374 [159]
11 1
.names pc_15 n_n372 n_n373 [160]
110 1
.names pc_14 n_n373 [161]
11 1
.names pp_0 [743] [744] [162]
11- 1
1-1 1
.names pc_2 n_n364 n_n365 [166]
110 1
.names n_n147 [171] [172] [169]
01- 1
0-1 1
.names pc_8 n_n147 [170]
11 1
.names n_n371 [173] [174] [171]
01- 1
0-1 1
.names pc_9 n_n371 [172]
11 1
.names pc_11 n_n369 n_n370 [173]
110 1
.names pc_10 n_n370 [174]
11 1
.names n_n146 [177] [178] [175]
01- 1
0-1 1
.names pc_4 n_n146 [176]
11 1
.names n_n368 [179] [180] [177]
01- 1
0-1 1
.names pc_5 n_n368 [178]
11 1
.names pc_7 n_n366 n_n367 [179]
110 1
.names pc_6 n_n367 [180]
11 1
.names n_n146 n_n363 [725]
11 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 [99] [734]
101 1
.names n_n367 n_n366 [735]
00 1
.names n_n363 n_n368 [736]
00 1
.names n_n364 n_n365 n_n146 [737]
000 1
.names [94] pp_0 [740]
11 1
.names n_n363 pc_3 [741]
11 1
.names pc_1 pc_0 n_n365 [743]
-1- 1
1-1 1
.names [99] [166] [741] [744]
-1- 1
1-1 1
.names n_n147 n_n369 [746]
00 1
.names n_n370 n_n371 [746] [748]
001 1
.names pp_0 [94] [748] [750]
111 1
.names n_n372 n_n148 [751]
00 1
.names n_n373 n_n374 [751] [753]
001 1
.names n_n375 n_n149 [756]
00 1
.names n_n376 n_n377 [756] [758]
001 1
.names pp_0 [97] [758] [760]
111 1
.names pp_0 n_n378 n_n150 [763]
100 1
.names n_n380 n_n379 [763] [764]
001 1
.names n_n381 n_n151 [767]
00 1
.names n_n382 n_n383 [768]
00 1
.names [95] [767] [768] [770]
111 1
.end