| .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 pq pl2 [186] [648] [652] pd4 |
| --1-- 1 |
| ----1 1 |
| 11-1- 1 |
| .names pm0 pp0 pv0 pb3 |
| 10- 1 |
| -11 1 |
| .names pr pl2 [181] [182] [648] pe4 |
| --1-- 1 |
| ---1- 1 |
| 11--1 1 |
| .names pl0 pp0 pw0 pa3 |
| 10- 1 |
| -11 1 |
| .names ps pl2 [176] [177] [648] pf4 |
| --1-- 1 |
| ---1- 1 |
| 11--1 1 |
| .names pt pl2 [173] [174] [648] pg4 |
| --1-- 1 |
| ---1- 1 |
| 11--1 1 |
| .names pf pg [171] [658] pg3 |
| --1- 1 |
| 01-1 1 |
| .names pg2 pl1 pr0 na10 [68] pa4 |
| -1011 1 |
| 01111 1 |
| 11110 1 |
| .names pc2 pa pb pf pg pf3 |
| -0--- 1 |
| --1-- 1 |
| 0--01 1 |
| .names pg2 pm1 pr0 na10 [68] pb4 |
| -1011 1 |
| 01111 1 |
| 11110 1 |
| .names [153] [160] [161] [666] pe3 |
| 1--- 1 |
| -1-1 1 |
| --11 1 |
| .names pg2 pn1 pr0 na10 [68] pc4 |
| -1011 1 |
| 01111 1 |
| 11110 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 pr0 pv0 na10 [68] pk3 |
| 0111 1 |
| .names na10 [674] pl4 |
| 11 1 |
| .names pr0 pu0 na10 [68] pj3 |
| 0111 1 |
| .names [160] [161] pk2 |
| 1- 1 |
| -1 1 |
| .names pe2 ph2 pz1 pj2 [675] pm4 |
| ----1 1 |
| --10- 1 |
| 01-0- 1 |
| 10-0- 1 |
| .names pr0 pt0 na10 [68] pi3 |
| 0111 1 |
| .names pa pb pd pe pn4 |
| 1001 1 |
| .names pr0 pg na10 [68] ph3 |
| 0111 1 |
| .names pb1 pp0 ph [141] pi2 |
| ---1 1 |
| 11-- 1 |
| -01- 1 |
| .names [137] [688] [689] po4 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names pu pl2 [134] [135] [648] ph4 |
| --1-- 1 |
| ---1- 1 |
| 11--1 1 |
| .names py po1 pp0 pn2 |
| -11 1 |
| 1-0 1 |
| .names pr0 pz0 na10 [68] po3 |
| 0111 1 |
| .names pv pl2 [129] [130] [648] pi4 |
| --1-- 1 |
| ---1- 1 |
| 11--1 1 |
| .names pr0 py0 na10 [68] pn3 |
| 0111 1 |
| .names pz pn1 pp0 po2 |
| -11 1 |
| 1-0 1 |
| .names pw pl2 [124] [125] [648] pj4 |
| --1-- 1 |
| ---1- 1 |
| 11--1 1 |
| .names pb2 pc2 pb1 pb pl2 |
| 1010 1 |
| .names pr0 px0 na10 [68] pm3 |
| 0111 1 |
| .names pa2 px pf pl2 [122] pk4 |
| ----1 1 |
| 0111- 1 |
| .names pr0 pw0 na10 [68] pl3 |
| 0111 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 pd1 pg2 pr0 na10 [68] ps3 |
| 1-011 1 |
| 10111 1 |
| 11110 1 |
| .names pf2 nd10 [72] [85] na10 pt4 |
| 1---1 1 |
| 101-- 1 |
| 10-1- 1 |
| .names pc1 pg2 pr0 na10 [68] pr3 |
| 1-011 1 |
| 10111 1 |
| 11110 1 |
| .names pd0 pj1 pp0 ps2 |
| -11 1 |
| 1-0 1 |
| .names [112] [113] pu4 |
| 1- 1 |
| -1 1 |
| .names pa0 pm1 pp0 pp2 |
| -11 1 |
| 1-0 1 |
| .names pb1 pg2 pr0 na10 [68] pq3 |
| 1-011 1 |
| 10111 1 |
| 11110 1 |
| .names pe2 ph2 [72] [85] na10 pv4 |
| -1--1 1 |
| 111-- 1 |
| 11-1- 1 |
| .names pa1 pr0 na10 [68] [108] pp3 |
| ----1 1 |
| 1011- 1 |
| .names pb0 pl1 pp0 pq2 |
| -11 1 |
| 1-0 1 |
| .names [73] [101] [702] pp4 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names pg1 pg0 pp0 pv2 |
| 1-1 1 |
| -10 1 |
| .names pg2 ph1 pr0 na10 [68] pw3 |
| -1011 1 |
| 01111 1 |
| 11110 1 |
| .names nd10 [72] [73] [96] [704] pq4 |
| --1-- 1 |
| ---1- 1 |
| 11--- 1 |
| 1---1 1 |
| .names pg2 pg1 pr0 na10 [68] pv3 |
| -1011 1 |
| 01111 1 |
| 11110 1 |
| .names pa1 ph0 pp0 pw2 |
| 1-1 1 |
| -10 1 |
| .names pd2 nd10 [72] [85] na10 pr4 |
| 1---1 1 |
| 101-- 1 |
| 10-1- 1 |
| .names pe0 pi1 pp0 pt2 |
| -11 1 |
| 1-0 1 |
| .names pg2 pf1 pr0 na10 [68] pu3 |
| -1011 1 |
| 01111 1 |
| 11110 1 |
| .names [88] [89] ps4 |
| 1- 1 |
| -1 1 |
| .names pe1 pg2 pr0 na10 [68] pt3 |
| 1-011 1 |
| 10111 1 |
| 11110 1 |
| .names pf0 ph1 pp0 pu2 |
| -11 1 |
| 1-0 1 |
| .names pk0 pp0 px0 pz2 |
| 10- 1 |
| -11 1 |
| .names pg2 pk1 pr0 na10 [68] pz3 |
| -1011 1 |
| 01111 1 |
| 11110 1 |
| .names pi0 pp0 pz0 px2 |
| 10- 1 |
| -11 1 |
| .names pg2 pj1 pr0 na10 [68] py3 |
| -1011 1 |
| 01111 1 |
| 11110 1 |
| .names pg2 pi1 pr0 na10 [68] px3 |
| -1011 1 |
| 01111 1 |
| 11110 1 |
| .names pj0 pp0 py0 py2 |
| 10- 1 |
| -11 1 |
| .names pe2 ph2 nd10 |
| 01 1 |
| 10 1 |
| .names pb2 pb pf [69] |
| 101 1 |
| .names pb2 pc2 pa2 pb [72] |
| 0110 1 |
| .names pb2 pc2 pa2 pb [85] |
| 1100 1 |
| .names pb2 pc2 pa2 pb pf na10 |
| 11100 1 |
| .names [69] [104] [667] [668] [669] [73] |
| -1--- 1 |
| 1-1-- 1 |
| 1--1- 1 |
| 1---1 1 |
| .names pf2 pe2 ph2 [68] |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names pc2 [69] [667] [668] [669] [88] |
| 01--- 1 |
| -11-- 1 |
| -1-1- 1 |
| -1--1 1 |
| .names pe2 ph2 [72] [85] na10 [89] |
| 1---1 1 |
| 111-- 1 |
| 11-1- 1 |
| .names pb2 pc2 pb [96] |
| 100 1 |
| .names pb2 pa2 pp0 pb pf [101] |
| 11101 1 |
| .names pc2 pb pf [104] |
| 000 1 |
| .names pg2 pr0 pg na10 [68] [108] |
| 01111 1 |
| 11110 1 |
| .names pb2 pc2 pa2 pb pf [112] |
| 10001 1 |
| .names pg2 nd10 [72] [85] na10 [113] |
| 1---1 1 |
| 101-- 1 |
| 10-1- 1 |
| .names pb2 pp pb pf [650] [122] |
| 11011 1 |
| .names pb2 pb pf po [650] [124] |
| 10111 1 |
| .names pe2 ph2 pw1 [72] [125] |
| 1111 1 |
| 0011 1 |
| .names pb2 pb pf pn [650] [129] |
| 10111 1 |
| .names pe2 ph2 pv1 [72] [130] |
| 1111 1 |
| 0011 1 |
| .names pb2 pb pf pm [650] [134] |
| 10111 1 |
| .names pe2 ph2 pu1 [72] [135] |
| 1111 1 |
| 0011 1 |
| .names na10 [667] [668] [669] [683] [137] |
| 00001 1 |
| .names pb2 pc2 pa2 pp0 pb [141] |
| 0--10 1 |
| -1-10 1 |
| --010 1 |
| .names pc2 [69] [667] [668] [669] [153] |
| 01--- 1 |
| -11-- 1 |
| -1-1- 1 |
| -1--1 1 |
| .names pb2 pc2 pa2 pb py1 [160] |
| 11001 1 |
| .names pb2 pc2 pa2 pp1 pb [161] |
| 01110 1 |
| .names pc2 pb ps0 pf pg [171] |
| 00001 1 |
| .names pb2 pb pf pl [650] [173] |
| 10111 1 |
| .names pe2 ph2 pt1 [72] [174] |
| 1111 1 |
| 0011 1 |
| .names pb2 pb pf pk [650] [176] |
| 10111 1 |
| .names pe2 ph2 ps1 [72] [177] |
| 1111 1 |
| 0011 1 |
| .names pb2 pb pf pj [650] [181] |
| 10111 1 |
| .names pe2 ph2 pr1 [72] [182] |
| 1111 1 |
| 0011 1 |
| .names pb2 pb pf pi [650] [186] |
| 10111 1 |
| .names pf pa2 [648] |
| 10 1 |
| .names pc2 pa2 pb1 [650] |
| 000 1 |
| .names pe2 ph2 pq1 py1 [72] [652] |
| 111-1 1 |
| 001-1 1 |
| 11-11 1 |
| 00-11 1 |
| .names pb2 pa2 pb ps0 [658] |
| 1100 1 |
| .names pe2 ph2 pq0 [666] |
| 110 1 |
| 000 1 |
| .names pa2 pf2 pe2 pr0 px1 [667] |
| 10-0- 1 |
| 1-00- 1 |
| 1--01 1 |
| .names pa2 ph2 pr0 ps0 [668] |
| 100- 1 |
| 1-00 1 |
| .names pa2 pg2 pd2 pr0 [669] |
| 11-0 1 |
| 1-00 1 |
| .names pf2 pg2 pd2 pe2 ph2 [674] |
| 01001 1 |
| .names pb2 pa2 pa pb [675] |
| --0- 1 |
| ---1 1 |
| 00-- 1 |
| .names pc2 pp0 pb [679] |
| 100 1 |
| .names pb2 pa2 pr0 [680] |
| 111 1 |
| .names pb2 pc2 pa2 pb pr0 [683] |
| 11100 1 |
| .names pc2 pa2 pp0 pb pr0 [686] |
| 011-0 1 |
| -1110 1 |
| .names pm2 na10 [679] [680] [686] [688] |
| 1---1 1 |
| -011- 1 |
| .names pb2 pc2 pa2 pb pf [689] |
| -0-00 1 |
| 1000- 1 |
| .names pb2 pc2 pa2 pp0 pb [702] |
| 101-0 1 |
| -0110 1 |
| .names pb2 pa2 pb [704] |
| 100 1 |
| .end |
