| .model top |
| .inputs pp pa0 pq pb0 pr pc0 ps pd0 pt pe0 pu pf0 pv pg0 pw ph0 pi0 py pj0 pz \ |
| pk0 pl0 pm0 pn0 po0 pp0 pa pq0 pb pr0 pc ps0 pd pt0 pe pu0 pf pv0 pg pw0 ph \ |
| px0 pi py0 pj pz0 pk pl pm pn po |
| .outputs pa1 pb2 pc2 pc1 pa2 pb1 pe1 pf2 pd1 pg2 pd2 pg1 pe2 pf1 pi1 ph1 ph2 \ |
| pk1 pi2 pj1 pm1 pl1 po1 pn1 pq1 pp1 ps1 pr1 pu1 pt1 pw1 pv1 py1 px1 pz1 |
| .names pf0 pb pr0 [196] pa1 |
| ---1 1 |
| 10-- 1 |
| -01- 1 |
| .names pp pe0 pp0 pg [80] pb2 |
| 01--1 1 |
| 0-1-1 1 |
| -1-01 1 |
| --101 1 |
| .names pb0 pv pm pc1 |
| 11- 1 |
| 1-0 1 |
| .names pf0 pr0 pa2 |
| 1- 1 |
| -1 1 |
| .names pa pb pm pn [92] [631] pb1 |
| -----1 1 |
| 01001- 1 |
| .names pe0 po0 pa pu0 ph pm po [187] pe1 |
| -1-1---- 1 |
| ------01 1 |
| 1-0-000- 1 |
| .names pf0 pm0 pr0 ph px0 [49] [179] pf2 |
| 000001- 1 |
| 000-011 1 |
| .names pc0 pv pm [177] pd1 |
| ---1 1 |
| 11-- 1 |
| 1-0- 1 |
| .names [49] [167] [647] pg2 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names pp pq pv po [652] [655] pd2 |
| -----0 1 |
| 0---0- 1 |
| -0--0- 1 |
| --1-0- 1 |
| ---00- 1 |
| .names po0 pv0 [100] [155] [659] pg1 |
| ---1- 1 |
| 11--- 1 |
| --1-1 1 |
| .names pp pq pv po [652] [655] pe2 |
| ----11 1 |
| 1101-1 1 |
| .names pq pq0 pg pi po [153] pf1 |
| -----1 1 |
| 010--- 1 |
| 01-0-- 1 |
| -10-0- 1 |
| -1-00- 1 |
| .names pu pw pa pe ph [40] ph1 |
| 000011 1 |
| .names pa0 pv pk0 pj [666] [672] [673] ph2 |
| ----000 1 |
| 0-0--00 1 |
| 0--1-00 1 |
| -0-0-00 1 |
| .names pa [109] [133] [134] [685] pk1 |
| --1-- 1 |
| ---1- 1 |
| ----1 1 |
| 11--- 1 |
| .names pa0 pv pk0 pj [666] [672] [673] pi2 |
| -----1- 1 |
| ------1 1 |
| 11--1-- 1 |
| 1--11-- 1 |
| -1101-- 1 |
| .names pp pd0 ph0 pd pj [80] pm1 |
| --1-1- 1 |
| 01-1-1 1 |
| .names pu pe [70] [75] [691] [692] pl1 |
| --1--- 1 |
| -----1 1 |
| 1--1-- 1 |
| -1-1-- 1 |
| 1---1- 1 |
| -1--1- 1 |
| .names pv pi0 pp0 pa ph pi [64] po1 |
| ---0-11 1 |
| 1-10-1- 1 |
| -1-001- 1 |
| .names ph0 ps0 ph pj [57] [710] [711] [712] pn1 |
| -------1 1 |
| ----1-1- 1 |
| -----11- 1 |
| -10---1- 1 |
| 1--0--1- 1 |
| .names pt pi0 ph ps1 |
| 111 1 |
| .names pa0 pk0 pk pl [716] [719] pr1 |
| -----1 1 |
| -1--1- 1 |
| 1-011- 1 |
| .names pa0 pr ps pk0 pw1 |
| 111- 1 |
| -111 1 |
| .names pa pm [122] pv1 |
| 001 1 |
| .names pf0 pg0 ph0 pz pr0 pj py1 |
| --00-1 1 |
| 00000- 1 |
| .names pf0 pg0 ph0 pz pr0 pj px1 |
| --1--- 1 |
| ---1-- 1 |
| 1----0 1 |
| -1---0 1 |
| ----10 1 |
| .names pc0 pd0 pz1 |
| 1- 1 |
| -1 1 |
| .names pu pv pw pa pe pm po [80] |
| 0000001 1 |
| .names pa0 pv pk0 pj pk pl [92] |
| -110-- 1 |
| 11--01 1 |
| 1--101 1 |
| .names pa0 pr pb pj pz0 pl pm [49] |
| 0------ 1 |
| --1-11- 1 |
| -110-10 1 |
| .names pd0 pe0 pp0 ps0 pd po [40] |
| --1--- 1 |
| ---1-- 1 |
| 1---0- 1 |
| -1---0 1 |
| .names pv pc pd pg pi pm [100] |
| 1---0- 1 |
| ---10- 1 |
| 00-0-0 1 |
| 0-00-0 1 |
| .names pa0 pd0 pt pg0 pi0 pj0 pp0 pj [109] |
| 1------- 1 |
| -1------ 1 |
| -----1-- 1 |
| ------1- 1 |
| --1-1--- 1 |
| ---1---0 1 |
| .names pr pv pg0 pk0 pf pj pn [122] |
| -01--0- 1 |
| --1-00- 1 |
| 00-1-0- 1 |
| -1-1-01 1 |
| .names ph0 pc2 |
| 1 1 |
| .names pm0 pi1 |
| 1 1 |
| .names pn0 pj1 |
| 1 1 |
| .names pz pq1 |
| 1 1 |
| .names py pp1 |
| 1 1 |
| .names py0 pu1 |
| 1 1 |
| .names px0 pt1 |
| 1 1 |
| .names pv pp0 pc pd pg [57] |
| 01110 1 |
| .names pp pq pv pp0 pq0 pg po [64] |
| 0-01-1- 1 |
| -001-1- 1 |
| 0-0-11- 1 |
| -00-11- 1 |
| --01-10 1 |
| --0-110 1 |
| .names pp pq pp0 pq0 po [70] |
| 111-1 1 |
| 11-11 1 |
| .names pp pd0 pe0 pv pa pd pg po [75] |
| --100-0- 1 |
| -1-0010- 1 |
| 0-100--1 1 |
| 01-001-1 1 |
| 11-00-01 1 |
| .names pb0 pc0 pd0 pv pw pp0 pd pm [133] |
| 1--0---1 1 |
| -1-0---1 1 |
| --10---1 1 |
| ---0-1-1 1 |
| --101-1- 1 |
| .names pe0 ph0 pk0 pa pq0 ps0 pm [134] |
| 1--1--- 1 |
| -1-1--- 1 |
| --11--- 1 |
| ---11-- 1 |
| ---1-1- 1 |
| 1-----1 1 |
| -1----1 1 |
| --1---1 1 |
| ----1-1 1 |
| -----11 1 |
| .names pp pe0 pa ph pm po [153] |
| 110001 1 |
| .names pp pd0 pu pv pe pg pm po [155] |
| -1-1---- 1 |
| 11---101 1 |
| 110-0-01 1 |
| .names pd0 pe0 pp0 ps0 pd ph po [167] |
| --1--1- 1 |
| ---1-1- 1 |
| 1---01- 1 |
| -1---10 1 |
| .names pp pd0 pv pa pd ph pm po [177] |
| 0100000- 1 |
| -1000000 1 |
| .names pd0 pt pe0 pi0 pp0 ps0 pd po [179] |
| 000-00-- 1 |
| 0-0000-- 1 |
| -00-001- 1 |
| --00001- 1 |
| 00--00-1 1 |
| 0--000-1 1 |
| -0--0011 1 |
| ---00011 1 |
| .names pd0 pu pw pd pe pg pm [187] |
| 11-1-10 1 |
| 1--1110 1 |
| 10010-0 1 |
| .names pa0 pr pv pb pj pl pm pn [196] |
| 1--0---- 1 |
| 1----0-- 1 |
| 1-----1- 1 |
| 1------1 1 |
| 100-0--- 1 |
| .names pg0 pw po0 pc pt0 pj [631] |
| --1-1- 1 |
| 10-1-1 1 |
| .names pt pf0 pi0 pm0 pr0 ph px0 [647] |
| -1----- 1 |
| ---1--- 1 |
| ----1-- 1 |
| ------1 1 |
| 1-1--1- 1 |
| .names pv pp0 pa pq0 pg pi [652] |
| --1--- 1 |
| -----0 1 |
| 10---- 1 |
| -0-0-- 1 |
| 0---0- 1 |
| .names ph0 pi0 py pz [655] |
| 0000 1 |
| .names pp pq pr ps pp0 pa ph po [659] |
| 0-0-100- 1 |
| -00-100- 1 |
| 0--0100- 1 |
| -0-0100- 1 |
| --0-1000 1 |
| ---01000 1 |
| .names pa pb pl pm pn [666] |
| 01100 1 |
| .names pd0 pg0 pz pc pd pj [672] |
| --1--- 1 |
| 1---1- 1 |
| -1-1-1 1 |
| .names pb0 pc0 pd0 ph0 pi0 py ph pi [673] |
| 1------- 1 |
| -1------ 1 |
| ---1---- 1 |
| -----1-- 1 |
| --1---0- 1 |
| ----1--1 1 |
| .names pr ps pg0 pl0 pp0 pb pr0 pm [685] |
| -----11- 1 |
| --1----1 1 |
| 11-1---- 1 |
| 11--1--- 1 |
| .names pd0 pe0 ph0 ph [691] |
| --1- 1 |
| 1--1 1 |
| -1-1 1 |
| .names pa0 pf0 pw ph0 pb pk [692] |
| --11-- 1 |
| -1--1- 1 |
| 1---11 1 |
| .names pp pq pe0 po0 pq0 pg pw0 po [710] |
| ---1--1- 1 |
| 0-1----1 1 |
| 10--10-1 1 |
| .names pu pw pa pe pm [711] |
| 00000 1 |
| .names pv pg0 pa pc pf ph pj pm [712] |
| 110-1-0- 1 |
| -100-010 1 |
| .names pr ps pv pa pb pj pm [716] |
| 1000100 1 |
| .names pt pi0 pj0 pa ph pi [719] |
| --10-- 1 |
| 01--00 1 |
| -1-000 1 |
| .end |
