| .model top |
| .inputs pc_10 pc_11 pc_12 pp_0 pclk pc_9 pc_8 pc_13 pc_7 pc_14 pc_6 pc_15 pc_5 \ |
| pc_16 pc_4 pc_3 pc_2 pc_1 pc_0 |
| .outputs pz |
| .latch ni209 n_n185 re pclk 2 |
| .latch ni111 n_n182 re pclk 2 |
| .latch ni112 n_n183 re pclk 2 |
| .latch ni113 n_n184 re pclk 2 |
| .latch ni208 n_n76 re pclk 2 |
| .latch ni13 n_n179 re pclk 2 |
| .latch ni14 n_n180 re pclk 2 |
| .latch ni15 n_n181 re pclk 2 |
| .latch ni110 n_n75 re pclk 2 |
| .latch ni12 n_n74 re pclk 2 |
| .latch ni210 n_n186 re pclk 2 |
| .latch ni211 n_n187 re pclk 2 |
| .latch ni306 n_n77 re pclk 2 |
| .latch ni307 n_n78 re pclk 2 |
| .latch ni308 n_n188 re pclk 2 |
| .latch ni309 n_n189 re pclk 2 |
| .names pc_12 n_n76 n_n155 [49] [52] [375] pz |
| --1--- 1 |
| 11-1-1 1 |
| -0-111 1 |
| .names n_n185 n_n182 n_n75 n_n186 n_n187 [38] ni209 |
| 10---- 1 |
| 1-0--- 1 |
| 1--0-- 1 |
| 1---0- 1 |
| 1----1 1 |
| 011110 1 |
| .names pp_0 n_n182 n_n183 n_n184 n_n179 n_n180 n_n181 n_n74 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_n183 n_n184 n_n179 n_n180 n_n181 n_n74 ni112 |
| 01----- 1 |
| -10---- 1 |
| -1-0--- 1 |
| -1--0-- 1 |
| -1---0- 1 |
| -1----0 1 |
| 1011111 1 |
| .names pp_0 n_n184 n_n179 n_n180 n_n181 n_n74 ni113 |
| 01---- 1 |
| -10--- 1 |
| -1-0-- 1 |
| -1--0- 1 |
| -1---0 1 |
| 101111 1 |
| .names n_n185 n_n182 n_n76 n_n75 n_n186 n_n187 [38] ni208 |
| 0-1---- 1 |
| -01---- 1 |
| --10--- 1 |
| --1-0-- 1 |
| --1--0- 1 |
| --1---1 1 |
| 1101110 1 |
| .names pp_0 n_n179 n_n180 n_n181 ni13 |
| 01-- 1 |
| -10- 1 |
| -1-0 1 |
| 1011 1 |
| .names pp_0 n_n180 n_n181 ni14 |
| 01- 1 |
| -10 1 |
| 101 1 |
| .names pp_0 n_n181 ni15 |
| 01 1 |
| 10 1 |
| .names n_n75 [63] ni110 |
| 11 1 |
| 00 1 |
| .names pp_0 n_n179 n_n180 n_n181 n_n74 ni12 |
| 0---1 1 |
| -0--1 1 |
| --0-1 1 |
| ---01 1 |
| 11110 1 |
| .names n_n182 n_n75 n_n186 n_n187 [38] ni210 |
| 0-1-- 1 |
| -01-- 1 |
| --10- 1 |
| --1-1 1 |
| 11010 1 |
| .names n_n182 n_n75 n_n187 [38] ni211 |
| 0-1- 1 |
| -01- 1 |
| --11 1 |
| 1100 1 |
| .names n_n77 [65] ni306 |
| 11 1 |
| 00 1 |
| .names n_n186 n_n187 n_n78 n_n188 n_n189 [38] [355] [356] ni307 |
| 0-1----- 1 |
| -01----- 1 |
| --10---- 1 |
| --1-0--- 1 |
| --1--1-- 1 |
| --1---0- 1 |
| --1----0 1 |
| 11011011 1 |
| .names n_n182 n_n75 n_n186 n_n187 n_n188 n_n189 [38] [356] ni308 |
| 0---1--- 1 |
| -0--1--- 1 |
| --0-1--- 1 |
| ---01--- 1 |
| ----10-- 1 |
| ----1-1- 1 |
| ----1--0 1 |
| 11110101 1 |
| .names n_n185 n_n182 n_n76 n_n75 n_n186 n_n187 n_n189 [38] ni309 |
| 0-----1- 1 |
| -0----1- 1 |
| --0---1- 1 |
| ---0--1- 1 |
| ----0-1- 1 |
| -----01- 1 |
| ------11 1 |
| 11111100 1 |
| .names pp_0 n_n179 n_n180 n_n181 [55] [60] [70] [362] n_n155 |
| ------1- 1 |
| ----1--1 1 |
| 1000-1-- 1 |
| .names n_n182 n_n183 n_n184 n_n179 n_n180 n_n181 n_n74 [49] |
| 0000000 1 |
| .names pp_0 n_n183 n_n184 n_n179 n_n180 n_n181 n_n74 [38] |
| 0------ 1 |
| -0----- 1 |
| --0---- 1 |
| ---0--- 1 |
| ----0-- 1 |
| -----0- 1 |
| ------0 1 |
| .names pc_10 pc_11 pc_9 pc_8 n_n185 n_n75 n_n186 n_n187 [55] |
| ---1-1-- 1 |
| --1--0-1 1 |
| 1----010 1 |
| -1--1000 1 |
| .names pc_7 pc_6 pc_5 pc_4 n_n182 n_n183 n_n184 n_n74 [60] |
| ---1---1 1 |
| --1---10 1 |
| -1---100 1 |
| 1---1000 1 |
| .names pp_0 n_n182 n_n183 n_n184 n_n179 n_n180 n_n181 n_n74 [63] |
| 0------- 1 |
| -0------ 1 |
| --0----- 1 |
| ---0---- 1 |
| ----0--- 1 |
| -----0-- 1 |
| ------0- 1 |
| -------0 1 |
| .names n_n186 n_n187 n_n78 n_n188 n_n189 [38] [355] [356] [65] |
| 0------- 1 |
| -0------ 1 |
| --0----- 1 |
| ---0---- 1 |
| ----0--- 1 |
| -----1-- 1 |
| ------0- 1 |
| -------0 1 |
| .names pc_13 pc_14 pc_15 pc_16 n_n77 n_n78 n_n188 n_n189 [52] |
| 1------1 1 |
| -1----10 1 |
| --1--100 1 |
| ---11000 1 |
| .names pp_0 pc_3 pc_2 pc_1 pc_0 n_n179 n_n180 n_n181 [70] |
| 1---1--- 1 |
| 1--1---1 1 |
| 1-1---10 1 |
| 11---100 1 |
| .names n_n75 n_n182 [355] |
| 11 1 |
| .names n_n76 n_n185 [356] |
| 11 1 |
| .names pp_0 n_n182 n_n183 n_n184 n_n179 n_n180 n_n181 n_n74 [362] |
| 10000000 1 |
| .names pp_0 n_n185 n_n75 n_n186 n_n187 [375] |
| 10000 1 |
| .end |