| .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 pc_28 n_n152 n_n313 [101] [85] [138] [146] [770] pz |
| --1----- 1 |
| ----1--- 1 |
| -----1-- 1 |
| ------1- 1 |
| 11-----1 1 |
| -0-1---1 1 |
| .names n_n369 n_n366 n_n147 n_n370 n_n371 [71] ni209 |
| 10---- 1 |
| 1-0--- 1 |
| 1--0-- 1 |
| 1---0- 1 |
| 1----1 1 |
| 011110 1 |
| .names pp_0 n_n366 n_n367 n_n368 n_n363 n_n364 n_n365 n_n146 ni111 |
| 01------ 1 |
| -10----- 1 |
| -1-0---- 1 |
| -1--0--- 1 |
| -1---0-- 1 |
| -1----0- 1 |
| -1-----0 1 |
| 10111111 1 |
| .names pp_0 n_n367 n_n368 n_n363 n_n364 n_n365 n_n146 ni112 |
| 01----- 1 |
| -10---- 1 |
| -1-0--- 1 |
| -1--0-- 1 |
| -1---0- 1 |
| -1----0 1 |
| 1011111 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_n369 n_n366 n_n148 n_n147 n_n370 n_n371 [71] ni208 |
| 0-1---- 1 |
| -01---- 1 |
| --10--- 1 |
| --1-0-- 1 |
| --1--0- 1 |
| --1---1 1 |
| 1101110 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_n147 [124] ni110 |
| 11 1 |
| 00 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_n147 n_n370 n_n371 [71] ni210 |
| 0-1-- 1 |
| -01-- 1 |
| --10- 1 |
| --1-1 1 |
| 11010 1 |
| .names n_n378 n_n380 n_n379 n_n150 n_n375 n_n376 n_n377 n_n159 ni503 |
| 10------ 1 |
| 1-0----- 1 |
| 1--0---- 1 |
| 1---0--- 1 |
| 1----0-- 1 |
| 1-----0- 1 |
| 1------0 1 |
| 01111111 1 |
| .names n_n366 n_n147 n_n371 [71] ni211 |
| 0-1- 1 |
| -01- 1 |
| --11 1 |
| 1100 1 |
| .names n_n378 n_n151 n_n380 n_n379 n_n376 n_n377 n_n159 [729] ni502 |
| 01------ 1 |
| -10----- 1 |
| -1-0---- 1 |
| -1--0--- 1 |
| -1---0-- 1 |
| -1----0- 1 |
| -1-----0 1 |
| 10111111 1 |
| .names n_n149 [128] ni306 |
| 11 1 |
| 00 1 |
| .names n_n380 n_n150 n_n375 n_n376 n_n377 n_n159 ni505 |
| 10---- 1 |
| 1-0--- 1 |
| 1--0-- 1 |
| 1---0- 1 |
| 1----0 1 |
| 011111 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_n370 n_n371 n_n372 n_n373 n_n374 [71] [726] [727] ni307 |
| 0-1----- 1 |
| -01----- 1 |
| --10---- 1 |
| --1-0--- 1 |
| --1--1-- 1 |
| --1---0- 1 |
| --1----0 1 |
| 11011011 1 |
| .names n_n380 n_n379 n_n150 n_n375 n_n376 n_n377 n_n159 ni504 |
| 01----- 1 |
| -10---- 1 |
| -1-0--- 1 |
| -1--0-- 1 |
| -1---0- 1 |
| -1----0 1 |
| 1011111 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_n366 n_n147 n_n370 n_n371 n_n373 n_n374 [71] [727] ni308 |
| 0---1--- 1 |
| -0--1--- 1 |
| --0-1--- 1 |
| ---01--- 1 |
| ----10-- 1 |
| ----1-1- 1 |
| ----1--0 1 |
| 11110101 1 |
| .names n_n381 n_n382 [93] ni601 |
| 10- 1 |
| 1-1 1 |
| 010 1 |
| .names n_n369 n_n366 n_n148 n_n147 n_n370 n_n371 n_n374 [71] ni309 |
| 0-----1- 1 |
| -0----1- 1 |
| --0---1- 1 |
| ---0--1- 1 |
| ----0-1- 1 |
| -----01- 1 |
| ------11 1 |
| 11111100 1 |
| .names n_n381 n_n152 n_n382 [93] ni600 |
| 01-- 1 |
| -10- 1 |
| -1-1 1 |
| 1010 1 |
| .names n_n150 n_n375 n_n376 n_n377 n_n159 ni404 |
| 10--- 1 |
| 1-0-- 1 |
| 1--0- 1 |
| 1---0 1 |
| 01111 1 |
| .names n_n380 n_n379 n_n383 n_n376 n_n377 n_n159 [729] [730] ni603 |
| 0-1----- 1 |
| -01----- 1 |
| --10---- 1 |
| --1-0--- 1 |
| --1--0-- 1 |
| --1---0- 1 |
| --1----0 1 |
| 11011111 1 |
| .names n_n375 n_n376 n_n377 n_n159 ni405 |
| 10-- 1 |
| 1-0- 1 |
| 1--0 1 |
| 0111 1 |
| .names n_n382 [93] ni602 |
| 11 1 |
| 00 1 |
| .names n_n376 n_n377 n_n159 ni406 |
| 10- 1 |
| 1-0 1 |
| 011 1 |
| .names n_n384 n_n385 n_n381 n_n152 n_n382 n_n154 [93] ni699 |
| 0----1- 1 |
| -0---1- 1 |
| --0--1- 1 |
| ---0-1- 1 |
| ----01- 1 |
| -----11 1 |
| 1111100 1 |
| .names n_n377 n_n159 ni407 |
| 01 1 |
| 10 1 |
| .names n_n384 n_n385 n_n381 n_n152 n_n382 n_n154 n_n153 [93] ni698 |
| 0-----1- 1 |
| -0----1- 1 |
| --0---1- 1 |
| ---0--1- 1 |
| ----0-1- 1 |
| -----01- 1 |
| ------11 1 |
| 11111100 1 |
| .names n_n370 n_n371 n_n373 n_n374 [71] [726] [727] [728] n_n159 |
| 11110111 1 |
| .names pc_3 pc_2 pc_1 pc_0 n_n363 n_n364 n_n365 [104] |
| ---1--- 1 |
| --1---1 1 |
| -1---10 1 |
| 1---100 1 |
| .names pc_12 pc_13 pc_14 pc_15 n_n148 n_n372 n_n373 n_n374 [105] |
| 1---1--- 1 |
| -1--0--1 1 |
| --1-0-10 1 |
| ---10100 1 |
| .names pp_0 [104] [105] [111] [94] [114] [734] [748] n_n313 |
| 11------ 1 |
| ---1--1- 1 |
| 1---11-- 1 |
| 1-1-1--1 1 |
| .names pc_17 pc_18 pc_19 pc_16 n_n149 n_n375 n_n376 n_n377 [108] |
| ---11--- 1 |
| 1---0--1 1 |
| -1--0-10 1 |
| --1-0100 1 |
| .names pp_0 n_n367 n_n368 n_n363 n_n364 n_n365 n_n146 [71] |
| 0------ 1 |
| -0----- 1 |
| --0---- 1 |
| ---0--- 1 |
| ----0-- 1 |
| -----0- 1 |
| ------0 1 |
| .names pc_7 pc_6 pc_5 pc_4 n_n366 n_n367 n_n368 n_n146 [111] |
| ---1---1 1 |
| --1---10 1 |
| -1---100 1 |
| 1---1000 1 |
| .names n_n366 n_n367 n_n368 n_n363 n_n364 n_n365 n_n146 [94] |
| 0000000 1 |
| .names pc_10 pc_11 pc_9 pc_8 n_n369 n_n147 n_n370 n_n371 [114] |
| ---1-1-- 1 |
| --1--0-1 1 |
| 1----010 1 |
| -1--1000 1 |
| .names pc_20 pc_22 pc_21 pc_23 n_n378 n_n380 n_n379 n_n150 [117] |
| 1------1 1 |
| --1--1-0 1 |
| -1---010 1 |
| ---11000 1 |
| .names pc_27 pc_24 pc_26 pc_25 n_n151 n_n381 n_n383 n_n382 [120] |
| -1--1--- 1 |
| ---10-1- 1 |
| --1-0-01 1 |
| 1---0100 1 |
| .names pp_0 n_n366 n_n367 n_n368 n_n363 n_n364 n_n365 n_n146 [124] |
| 0------- 1 |
| -0------ 1 |
| --0----- 1 |
| ---0---- 1 |
| ----0--- 1 |
| -----0-- 1 |
| ------0- 1 |
| -------0 1 |
| .names n_n370 n_n371 n_n372 n_n373 n_n374 [71] [726] [727] [128] |
| 0------- 1 |
| -0------ 1 |
| --0----- 1 |
| ---0---- 1 |
| ----0--- 1 |
| -----1-- 1 |
| ------0- 1 |
| -------0 1 |
| .names n_n380 n_n379 n_n383 n_n376 n_n377 n_n159 [729] [730] [93] |
| 0------- 1 |
| -0------ 1 |
| --0----- 1 |
| ---0---- 1 |
| ----0--- 1 |
| -----0-- 1 |
| ------0- 1 |
| -------0 1 |
| .names pc_31 pc_32 pc_30 pc_29 n_n384 n_n385 n_n154 n_n153 [101] |
| ---1-1-- 1 |
| --1-10-- 1 |
| 1---001- 1 |
| -1--0001 1 |
| .names [94] [120] [748] [753] [758] [764] [85] |
| 111111 1 |
| .names pp_0 [94] [117] [748] [753] [758] [138] |
| 111111 1 |
| .names pp_0 n_n369 n_n147 n_n370 n_n371 [108] [94] [753] [146] |
| 10000111 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 pp_0 n_n363 n_n364 n_n365 [734] |
| 1000 1 |
| .names n_n369 n_n147 n_n370 n_n371 [748] |
| 0000 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 n_n378 n_n380 n_n379 n_n150 [764] |
| 10000 1 |
| .names n_n151 n_n381 n_n383 n_n382 [769] |
| 0000 1 |
| .names [94] [748] [753] [758] [764] [769] [770] |
| 111111 1 |
| .end |
