| .model top |
| .inputs pa1 pb2 pp pa0 pc2 pq pb0 pc1 pr pa2 pb1 pc0 ps pd0 pe1 pf2 pt pd1 pe0 \ |
| pg2 pu pd2 pf0 pg1 pv pe2 pf1 pg0 pw ph0 pi1 px ph1 pi0 py ph2 pj0 pk1 pz pj1 \ |
| pk0 pl0 pm1 pl1 pm0 pn0 po1 pn1 po0 pp0 pq1 pa pp1 pq0 pb pr0 ps1 pr1 ps0 pd \ |
| pt0 pu1 pe pt1 pu0 pf pv0 pw1 pg pv1 pw0 ph px0 py1 pi px1 py0 pj pz0 pk pz1 \ |
| pl pm pn po |
| .outputs pc3 pd4 pb3 pe4 pa3 pf4 pg4 pg3 pa4 pf3 pb4 pe3 pc4 pd3 pj2 pk3 pl4 \ |
| pj3 pk2 pm4 pi3 pn4 ph3 pi2 po4 ph4 pn2 po3 pi4 pn3 po2 pj4 pl2 pm3 pk4 pl3 \ |
| pm2 pr2 ps3 pt4 pr3 ps2 pu4 pp2 pq3 pv4 pp3 pq2 pp4 pv2 pw3 pq4 pv3 pw2 pr4 \ |
| pt2 pu3 ps4 pt3 pu2 pz2 pz3 px2 py3 px3 py2 |
| .names pn0 pp0 pu0 pc3 |
| 10- 1 |
| -11 1 |
| .names [185] [186] [187] [188] pd4 |
| 1--- 1 |
| -1-- 1 |
| --1- 1 |
| ---1 1 |
| .names pm0 pp0 pv0 pb3 |
| 10- 1 |
| -11 1 |
| .names [180] [181] [182] pe4 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names pl0 pp0 pw0 pa3 |
| 10- 1 |
| -11 1 |
| .names [175] [176] [177] pf4 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [172] [173] [174] pg4 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names pb2 pc2 pa2 pb ps0 pf pg pg3 |
| -0-0001 1 |
| 1-10001 1 |
| .names pf2 pg2 pe2 ph2 pl1 pr0 na10 pa4 |
| 1-11101 1 |
| 0-01101 1 |
| 0-10101 1 |
| 1-00101 1 |
| 0111111 1 |
| 1011111 1 |
| 1101111 1 |
| 0001111 1 |
| 1110111 1 |
| 0010111 1 |
| 0100111 1 |
| 1000111 1 |
| .names pc2 pa pb pf pg pf3 |
| -0--- 1 |
| --1-- 1 |
| 0--01 1 |
| .names pf2 pg2 pe2 ph2 pm1 pr0 na10 pb4 |
| 1-11101 1 |
| 0-01101 1 |
| 0-10101 1 |
| 1-00101 1 |
| 0111111 1 |
| 1011111 1 |
| 1101111 1 |
| 0001111 1 |
| 1110111 1 |
| 0010111 1 |
| 0100111 1 |
| 1000111 1 |
| .names pc2 pk2 [69] [666] [669] [670] pe3 |
| 0-1--- 1 |
| -1-1-- 1 |
| --1-1- 1 |
| --1--1 1 |
| .names pf2 pg2 pe2 ph2 pn1 pr0 na10 pc4 |
| 1-11101 1 |
| 0-01101 1 |
| 0-10101 1 |
| 1-00101 1 |
| 0111111 1 |
| 1011111 1 |
| 1101111 1 |
| 0001111 1 |
| 1110111 1 |
| 0010111 1 |
| 0100111 1 |
| 1000111 1 |
| .names po0 pp0 pt0 pd3 |
| 10- 1 |
| -11 1 |
| .names pb2 pc2 pa2 pb pj2 |
| -0-0 1 |
| 1-10 1 |
| 0-00 1 |
| .names pf2 pe2 ph2 pv0 [663] pk3 |
| 11111 1 |
| 00111 1 |
| 01011 1 |
| 10011 1 |
| .names pb2 pc2 pa2 pb pf [674] pl4 |
| 111001 1 |
| .names pf2 pe2 ph2 pu0 [663] pj3 |
| 11111 1 |
| 00111 1 |
| 01011 1 |
| 10011 1 |
| .names pb2 pc2 pa2 pp1 pb py1 pk2 |
| 01110- 1 |
| 110-01 1 |
| .names pb2 pc2 pa2 pb pz1 [676] pm4 |
| -----1 1 |
| ---11- 1 |
| 01101- 1 |
| 11001- 1 |
| .names pf2 pe2 ph2 pt0 [663] pi3 |
| 11111 1 |
| 00111 1 |
| 01011 1 |
| 10011 1 |
| .names pa pb pd pe pn4 |
| 1001 1 |
| .names pf2 pe2 ph2 pg [663] ph3 |
| 11111 1 |
| 00111 1 |
| 01011 1 |
| 10011 1 |
| .names pb2 pc2 pa2 pb1 pp0 pb ph pi2 |
| ---11-- 1 |
| ----0-1 1 |
| 0---10- 1 |
| -1--10- 1 |
| --0-10- 1 |
| .names [669] [670] [684] [688] [689] po4 |
| ---1- 1 |
| ----1 1 |
| 001-- 1 |
| .names [133] [134] [135] ph4 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names py po1 pp0 pn2 |
| -11 1 |
| 1-0 1 |
| .names pf2 pe2 ph2 pz0 [663] po3 |
| 11111 1 |
| 00111 1 |
| 01011 1 |
| 10011 1 |
| .names [128] [129] [130] pi4 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names pf2 pe2 ph2 py0 [663] pn3 |
| 11111 1 |
| 00111 1 |
| 01011 1 |
| 10011 1 |
| .names pz pn1 pp0 po2 |
| -11 1 |
| 1-0 1 |
| .names [123] [124] [125] pj4 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names pb2 pc2 pb1 pb pl2 |
| 1010 1 |
| .names pf2 pe2 ph2 px0 [663] pm3 |
| 11111 1 |
| 00111 1 |
| 01011 1 |
| 10011 1 |
| .names [121] [122] pk4 |
| 1- 1 |
| -1 1 |
| .names pf2 pe2 ph2 pw0 [663] pl3 |
| 11111 1 |
| 00111 1 |
| 01011 1 |
| 10011 1 |
| .names pb2 pc2 pa2 pb pm2 |
| 0--0 1 |
| -1-0 1 |
| --00 1 |
| .names pc0 pk1 pp0 pr2 |
| -11 1 |
| 1-0 1 |
| .names pf2 pd1 pg2 pe2 ph2 pr0 na10 ps3 |
| 11-1101 1 |
| 01-0101 1 |
| 01-1001 1 |
| 11-0001 1 |
| 0111111 1 |
| 1101111 1 |
| 1110111 1 |
| 0100111 1 |
| 1111011 1 |
| 0101011 1 |
| 0110011 1 |
| 1100011 1 |
| .names pf2 nf10 pt4 |
| 11 1 |
| .names pc1 pf2 pg2 pe2 ph2 pr0 na10 pr3 |
| 11-1101 1 |
| 10-0101 1 |
| 10-1001 1 |
| 11-0001 1 |
| 1011111 1 |
| 1101111 1 |
| 1110111 1 |
| 1000111 1 |
| 1111011 1 |
| 1001011 1 |
| 1010011 1 |
| 1100011 1 |
| .names pd0 pj1 pp0 ps2 |
| -11 1 |
| 1-0 1 |
| .names pb2 pc2 pa2 pg2 pb pf nf10 pu4 |
| ---1--1 1 |
| 100-01- 1 |
| .names pa0 pm1 pp0 pp2 |
| -11 1 |
| 1-0 1 |
| .names pb1 pf2 pg2 pe2 ph2 pr0 na10 pq3 |
| 11-1101 1 |
| 10-0101 1 |
| 10-1001 1 |
| 11-0001 1 |
| 1011111 1 |
| 1101111 1 |
| 1110111 1 |
| 1000111 1 |
| 1111011 1 |
| 1001011 1 |
| 1010011 1 |
| 1100011 1 |
| .names pb2 pc2 pa2 pe2 ph2 pb pf pv4 |
| 011110- 1 |
| 110110- 1 |
| 111-100 1 |
| .names pa1 pg2 pr0 pg na10 [68] pp3 |
| 1-0-11 1 |
| -01111 1 |
| -11110 1 |
| .names pb0 pl1 pp0 pq2 |
| -11 1 |
| 1-0 1 |
| .names pb2 pc2 pb pf [669] [670] [703] pp4 |
| ------1 1 |
| -000--- 1 |
| 1-011-- 1 |
| 1-01-1- 1 |
| .names pg1 pg0 pp0 pv2 |
| 1-1 1 |
| -10 1 |
| .names pf2 pg2 pe2 ph1 ph2 pr0 na10 pw3 |
| 1-11101 1 |
| 0-01101 1 |
| 0-11001 1 |
| 1-01001 1 |
| 0111111 1 |
| 1011111 1 |
| 1101111 1 |
| 0001111 1 |
| 1111011 1 |
| 0011011 1 |
| 0101011 1 |
| 1001011 1 |
| .names pb2 pc2 pb pf [669] [670] [706] pq4 |
| ------1 1 |
| -000--- 1 |
| 1-011-- 1 |
| 1-01-1- 1 |
| .names pf2 pg2 pg1 pe2 ph2 pr0 na10 pv3 |
| 1-11101 1 |
| 0-10101 1 |
| 0-11001 1 |
| 1-10001 1 |
| 0111111 1 |
| 1011111 1 |
| 1110111 1 |
| 0010111 1 |
| 1111011 1 |
| 0011011 1 |
| 0110011 1 |
| 1010011 1 |
| .names pa1 ph0 pp0 pw2 |
| 1-1 1 |
| -10 1 |
| .names pd2 nf10 pr4 |
| 11 1 |
| .names pe0 pi1 pp0 pt2 |
| -11 1 |
| 1-0 1 |
| .names pf2 pg2 pe2 pf1 ph2 pr0 na10 pu3 |
| 1-11101 1 |
| 0-01101 1 |
| 0-11001 1 |
| 1-01001 1 |
| 0111111 1 |
| 1011111 1 |
| 1101111 1 |
| 0001111 1 |
| 1111011 1 |
| 0011011 1 |
| 0101011 1 |
| 1001011 1 |
| .names pb2 pc2 pb pf [89] [669] [670] ps4 |
| ----1-- 1 |
| 1001--- 1 |
| 1-01-1- 1 |
| 1-01--1 1 |
| .names pe1 pf2 pg2 pe2 ph2 pr0 na10 pt3 |
| 11-1101 1 |
| 10-0101 1 |
| 10-1001 1 |
| 11-0001 1 |
| 1011111 1 |
| 1101111 1 |
| 1110111 1 |
| 1000111 1 |
| 1111011 1 |
| 1001011 1 |
| 1010011 1 |
| 1100011 1 |
| .names pf0 ph1 pp0 pu2 |
| -11 1 |
| 1-0 1 |
| .names pk0 pp0 px0 pz2 |
| 10- 1 |
| -11 1 |
| .names pf2 pg2 pe2 ph2 pk1 pr0 na10 pz3 |
| 1-11101 1 |
| 0-01101 1 |
| 0-10101 1 |
| 1-00101 1 |
| 0111111 1 |
| 1011111 1 |
| 1101111 1 |
| 0001111 1 |
| 1110111 1 |
| 0010111 1 |
| 0100111 1 |
| 1000111 1 |
| .names pi0 pp0 pz0 px2 |
| 10- 1 |
| -11 1 |
| .names pf2 pg2 pe2 ph2 pj1 pr0 na10 py3 |
| 1-11101 1 |
| 0-01101 1 |
| 0-10101 1 |
| 1-00101 1 |
| 0111111 1 |
| 1011111 1 |
| 1101111 1 |
| 0001111 1 |
| 1110111 1 |
| 0010111 1 |
| 0100111 1 |
| 1000111 1 |
| .names pf2 pg2 pe2 pi1 ph2 pr0 na10 px3 |
| 1-11101 1 |
| 0-01101 1 |
| 0-11001 1 |
| 1-01001 1 |
| 0111111 1 |
| 1011111 1 |
| 1101111 1 |
| 0001111 1 |
| 1111011 1 |
| 0011011 1 |
| 0101011 1 |
| 1001011 1 |
| .names pj0 pp0 py0 py2 |
| 10- 1 |
| -11 1 |
| .names pb2 pb pf [69] |
| 101 1 |
| .names pb2 pc2 pa2 pb pf na10 |
| 11100 1 |
| .names pb2 pc2 pa2 pe2 ph2 pb pf nf10 |
| 111--00 1 |
| 011110- 1 |
| 110110- 1 |
| 011000- 1 |
| 110000- 1 |
| .names pf2 pe2 ph2 [68] |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names pb2 pc2 pa2 pe2 ph2 pb pf [89] |
| 011110- 1 |
| 110110- 1 |
| 1111-00 1 |
| .names pb2 pc2 pa2 pb1 px pb pf [121] |
| 1001101 1 |
| .names pb2 pp pc2 pa2 pb1 pb pf [122] |
| 1100001 1 |
| .names pb2 pc2 pa2 pb1 pw pb pf [123] |
| 1001101 1 |
| .names pb2 pc2 pa2 pb1 pb pf po [124] |
| 1000011 1 |
| .names pb2 pc2 pa2 pe2 ph2 pb pw1 [125] |
| 0111101 1 |
| 0110001 1 |
| .names pb2 pc2 pa2 pb1 pv pb pf [128] |
| 1001101 1 |
| .names pb2 pc2 pa2 pb1 pb pf pn [129] |
| 1000011 1 |
| .names pb2 pc2 pa2 pe2 ph2 pb pv1 [130] |
| 0111101 1 |
| 0110001 1 |
| .names pb2 pc2 pa2 pb1 pu pb pf [133] |
| 1001101 1 |
| .names pb2 pc2 pa2 pb1 pb pf pm [134] |
| 1000011 1 |
| .names pb2 pc2 pa2 pe2 ph2 pb pu1 [135] |
| 0111101 1 |
| 0110001 1 |
| .names pb2 pc2 pa2 pb1 pt pb pf [172] |
| 1001101 1 |
| .names pb2 pc2 pa2 pb1 pb pf pl [173] |
| 1000011 1 |
| .names pb2 pc2 pa2 pe2 ph2 pb pt1 [174] |
| 0111101 1 |
| 0110001 1 |
| .names pb2 pc2 pa2 pb1 ps pb pf [175] |
| 1001101 1 |
| .names pb2 pc2 pa2 pb1 pb pf pk [176] |
| 1000011 1 |
| .names pb2 pc2 pa2 pe2 ph2 pb ps1 [177] |
| 0111101 1 |
| 0110001 1 |
| .names pb2 pc2 pr pa2 pb1 pb pf [180] |
| 1010101 1 |
| .names pb2 pc2 pa2 pb1 pb pf pj [181] |
| 1000011 1 |
| .names pb2 pc2 pa2 pe2 ph2 pb pr1 [182] |
| 0111101 1 |
| 0110001 1 |
| .names pb2 pc2 pq pa2 pb1 pb pf [185] |
| 1010101 1 |
| .names pb2 pc2 pa2 pb1 pb pf pi [186] |
| 1000011 1 |
| .names pb2 pc2 pa2 pe2 ph2 pb py1 [187] |
| 0111101 1 |
| 0110001 1 |
| .names pb2 pc2 pa2 pe2 ph2 pq1 pb [188] |
| 0111110 1 |
| 0110010 1 |
| .names pb2 pc2 pa2 pb pr0 pf [663] |
| 111000 1 |
| .names pe2 ph2 pq0 [666] |
| 110 1 |
| 000 1 |
| .names pa2 pg2 pd2 pr0 [669] |
| 11-0 1 |
| 1-00 1 |
| .names pa2 pf2 pe2 ph2 pr0 ps0 px1 [670] |
| 10--0-- 1 |
| 1-0-0-- 1 |
| 1--00-- 1 |
| 1---00- 1 |
| 1---0-1 1 |
| .names pf2 pg2 pd2 pe2 ph2 [674] |
| 01001 1 |
| .names pb2 pc2 pa2 pe2 ph2 pa pb [676] |
| -----0- 1 |
| ------1 1 |
| 0-0---- 1 |
| 01101-0 1 |
| 11001-0 1 |
| 01110-0 1 |
| 11010-0 1 |
| .names pb2 pc2 pa2 pb pr0 pf [684] |
| 111001 1 |
| .names pb2 pc2 pa2 pp0 pb pr0 pf [688] |
| 001100- 1 |
| 1110011 1 |
| .names pb2 pc2 pa2 pb pf [689] |
| -0-00 1 |
| 1000- 1 |
| .names pb2 pc2 pa2 pp0 pb pf [703] |
| 101-0- 1 |
| -0110- 1 |
| 1-1101 1 |
| .names pb2 pc2 pa2 pe2 ph2 pb [706] |
| 10---0 1 |
| 1-0010 1 |
| 1-0100 1 |
| 011010 1 |
| 011100 1 |
| .end |
