| .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_n315 [67] [85] [138] pz |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names n_n369 [70] ni209 |
| 11 1 |
| 00 1 |
| .names n_n366 [71] ni111 |
| 11 1 |
| 00 1 |
| .names n_n367 n_n368 [72] [725] ni112 |
| 10-- 1 |
| 1-1- 1 |
| 1--0 1 |
| 0101 1 |
| .names n_n368 n_n363 n_n146 [72] ni113 |
| 10-- 1 |
| 1-0- 1 |
| 1--1 1 |
| 0110 1 |
| .names n_n369 n_n148 [70] ni208 |
| 01- 1 |
| -11 1 |
| 100 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_n147 [71] ni110 |
| 01- 1 |
| -11 1 |
| 100 1 |
| .names n_n146 [126] ni12 |
| 11 1 |
| 00 1 |
| .names n_n370 n_n371 [71] [726] ni210 |
| 10-- 1 |
| 1-1- 1 |
| 1--0 1 |
| 0101 1 |
| .names n_n378 [75] ni503 |
| 11 1 |
| 00 1 |
| .names n_n366 n_n147 n_n371 [71] ni211 |
| 0-1- 1 |
| -01- 1 |
| --11 1 |
| 1100 1 |
| .names n_n378 n_n151 [75] ni502 |
| 01- 1 |
| -11 1 |
| 100 1 |
| .names n_n149 n_n372 [76] ni306 |
| 10- 1 |
| 1-1 1 |
| 010 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 [77] [731] ni700 |
| 10-- 1 |
| 1-1- 1 |
| 1--0 1 |
| 0101 1 |
| .names n_n372 [76] ni307 |
| 11 1 |
| 00 1 |
| .names n_n380 n_n379 [73] [729] ni504 |
| 01-- 1 |
| -11- 1 |
| -1-0 1 |
| 1001 1 |
| .names n_n385 n_n381 n_n152 [77] ni701 |
| 10-- 1 |
| 1-0- 1 |
| 1--1 1 |
| 0110 1 |
| .names n_n373 n_n374 [70] [727] ni308 |
| 10-- 1 |
| 1-1- 1 |
| 1--0 1 |
| 0101 1 |
| .names n_n381 [77] ni601 |
| 11 1 |
| 00 1 |
| .names n_n369 n_n148 n_n374 [70] ni309 |
| 0-1- 1 |
| -01- 1 |
| --11 1 |
| 1100 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_n378 n_n151 n_n383 [75] ni603 |
| 0-1- 1 |
| -01- 1 |
| --11 1 |
| 1100 1 |
| .names n_n375 [73] ni405 |
| 11 1 |
| 00 1 |
| .names n_n383 n_n382 [75] [730] ni602 |
| 01-- 1 |
| -11- 1 |
| -1-0 1 |
| 1001 1 |
| .names n_n376 n_n377 [76] [728] ni406 |
| 10-- 1 |
| 1-1- 1 |
| 1--0 1 |
| 0101 1 |
| .names n_n154 [74] ni699 |
| 11 1 |
| 00 1 |
| .names n_n149 n_n372 n_n377 [76] ni407 |
| 0-1- 1 |
| -01- 1 |
| --11 1 |
| 1100 1 |
| .names n_n154 n_n153 [74] ni698 |
| 01- 1 |
| -11 1 |
| 100 1 |
| .names [97] [758] [762] [763] [95] |
| 1111 1 |
| .names pc_28 n_n152 [79] [80] [100] |
| 11-- 1 |
| -01- 1 |
| -0-1 1 |
| .names n_n373 n_n374 [70] [727] [76] |
| 0--- 1 |
| -0-- 1 |
| --1- 1 |
| ---0 1 |
| .names n_n383 n_n382 [75] [730] [77] |
| 0--- 1 |
| -0-- 1 |
| --1- 1 |
| ---0 1 |
| .names pp_0 n_n364 n_n365 [72] |
| 0-- 1 |
| -0- 1 |
| --0 1 |
| .names n_n370 n_n371 [71] [726] [70] |
| 0--- 1 |
| -0-- 1 |
| --1- 1 |
| ---0 1 |
| .names n_n380 n_n379 [73] [729] [75] |
| 0--- 1 |
| -0-- 1 |
| --1- 1 |
| ---0 1 |
| .names pc_8 n_n147 [169] [740] n_n310 |
| --11 1 |
| 11-1 1 |
| .names [737] [738] [748] [753] [97] |
| 1111 1 |
| .names n_n310 [146] [154] [745] n_n315 |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names n_n367 n_n368 [72] [725] [71] |
| 0--- 1 |
| -0-- 1 |
| --1- 1 |
| ---0 1 |
| .names n_n376 n_n377 [76] [728] [73] |
| 0--- 1 |
| -0-- 1 |
| --1- 1 |
| ---0 1 |
| .names pp_0 n_n363 n_n364 n_n365 [126] |
| 0--- 1 |
| -0-- 1 |
| --0- 1 |
| ---0 1 |
| .names n_n384 n_n385 [77] [731] [74] |
| 0--- 1 |
| -0-- 1 |
| --1- 1 |
| ---0 1 |
| .names pc_31 pc_32 n_n154 n_n153 [103] |
| 1-1- 1 |
| -101 1 |
| .names pc_14 pc_15 n_n372 n_n373 [107] |
| 1--1 1 |
| -110 1 |
| .names pc_18 pc_19 n_n375 n_n376 [110] |
| 1--1 1 |
| -110 1 |
| .names pc_7 pc_6 n_n366 n_n367 [113] |
| -1-1 1 |
| 1-10 1 |
| .names pc_10 pc_11 n_n369 n_n370 [116] |
| 1--1 1 |
| -110 1 |
| .names pc_22 pc_23 n_n378 n_n379 [119] |
| 1--1 1 |
| -110 1 |
| .names pc_27 pc_26 n_n381 n_n382 [122] |
| -1-1 1 |
| 1-10 1 |
| .names [100] [770] [67] |
| 11 1 |
| .names pc_30 n_n384 n_n385 [103] [79] |
| 110- 1 |
| -001 1 |
| .names pc_29 n_n385 [80] |
| 11 1 |
| .names pc_24 n_n151 [95] [132] [85] |
| --11 1 |
| 111- 1 |
| .names pc_25 n_n151 n_n383 [122] [132] |
| 101- 1 |
| -001 1 |
| .names pc_20 n_n150 [140] [760] [138] |
| --11 1 |
| 11-1 1 |
| .names pc_21 n_n380 n_n150 [119] [140] |
| 110- 1 |
| -001 1 |
| .names pp_0 [97] [148] [149] [146] |
| 111- 1 |
| 11-1 1 |
| .names pc_17 n_n149 n_n377 [110] [148] |
| 101- 1 |
| -001 1 |
| .names pc_16 n_n149 [149] |
| 11 1 |
| .names pc_12 n_n148 [156] [750] [154] |
| --11 1 |
| 11-1 1 |
| .names pc_13 n_n148 n_n374 [107] [156] |
| 101- 1 |
| -001 1 |
| .names pp_0 [165] [166] [743] [162] |
| 11-- 1 |
| 1-1- 1 |
| 1--1 1 |
| .names pc_3 n_n363 n_n364 n_n365 [165] |
| 1100 1 |
| .names pc_2 n_n364 n_n365 [166] |
| 110 1 |
| .names pc_9 n_n147 n_n371 [116] [169] |
| 101- 1 |
| -001 1 |
| .names pc_5 n_n368 n_n146 [113] [175] |
| 110- 1 |
| -001 1 |
| .names pc_4 n_n146 [176] |
| 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 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 pp_0 [737] [738] [740] |
| 111 1 |
| .names pc_1 pc_0 n_n365 [743] |
| -1- 1 |
| 1-1 1 |
| .names [162] [175] [176] [734] [745] |
| 1--- 1 |
| -1-1 1 |
| --11 1 |
| .names n_n369 n_n147 n_n370 n_n371 [748] |
| 0000 1 |
| .names pp_0 [737] [738] [748] [750] |
| 1111 1 |
| .names n_n148 n_n372 n_n373 n_n374 [753] |
| 0000 1 |
| .names n_n149 n_n375 n_n376 n_n377 [758] |
| 0000 1 |
| .names pp_0 [97] [758] [760] |
| 111 1 |
| .names n_n379 n_n380 [762] |
| 00 1 |
| .names pp_0 n_n378 n_n150 [763] |
| 100 1 |
| .names n_n380 n_n379 [763] [764] |
| 001 1 |
| .names n_n151 n_n381 n_n383 n_n382 [769] |
| 0000 1 |
| .names [97] [758] [764] [769] [770] |
| 1111 1 |
| .end |