| .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 pj2 px ph1 pi0 pk2 py ph2 pk1 pz \ |
| pi2 pj1 pk0 pl0 pm1 pn2 pl1 pm0 po2 pl2 pn0 po1 pm2 pn1 po0 pp0 pq1 pr2 pa pp1 \ |
| pq0 ps2 pb pp2 pr0 ps1 pq2 pr1 ps0 pt0 pu1 pv2 pt1 pu0 pt2 pv0 pw1 pg pu2 pv1 \ |
| pw0 ph px0 py1 pi px1 py0 pz0 pk pz1 pl pm pn po |
| .outputs pc3 pd4 pe5 pb3 pd5 pe4 pa3 pf4 pg5 pf5 pg4 pa5 pg3 pa4 pf3 pb4 pc5 \ |
| pe3 pb5 pc4 pd3 pk3 pl4 pm5 pj3 pl5 pm4 pi3 pn4 po5 ph3 pn5 po4 ph4 pi5 po3 \ |
| ph5 pi4 pn3 pj4 pk5 pm3 pj5 pk4 pl3 ps3 pt4 pr3 pu4 pq3 pv4 pp3 pw4 pp4 pw3 \ |
| pq4 pv3 pw2 pr4 pu3 ps4 pt3 pz2 pz3 px2 py3 px3 py2 px4 py4 pz4 |
| .names ph0 pi0 ps2 pt2 [104] pc3 |
| -01-1 1 |
| 10-10 1 |
| 00-00 1 |
| .names pc1 [110] pd4 |
| 01 1 |
| .names pc1 pk2 pl2 pm2 pb pu0 pu2 pe5 |
| 0010--- 1 |
| 010---1 1 |
| 010-10- 1 |
| 011-0-0 1 |
| 011--10 1 |
| .names pk1 pb3 |
| 0 1 |
| .names pc1 pk2 pb pu0 pu2 pd5 |
| 00--1 1 |
| 0010- 1 |
| 010-0 1 |
| 01-10 1 |
| .names pc1 pe1 pn2 pl1 po2 pr2 pp2 pq2 pe4 |
| 0--1---- 1 |
| 011-0000 1 |
| .names pj1 pa3 |
| 0 1 |
| .names pg0 pi0 pv2 [116] pf4 |
| 00-1 1 |
| -001 1 |
| .names pc1 pe1 pd1 pk2 pn2 pl2 pm2 pg5 |
| 01--0-- 1 |
| 0-1-0-- 1 |
| 00011-- 1 |
| 000-10- 1 |
| 0--0011 1 |
| 000-1-0 1 |
| .names pc1 pk2 pl2 pm2 pb pu0 pu2 pf5 |
| 0-01--- 1 |
| 0110--1 1 |
| 011010- 1 |
| 01110-0 1 |
| 0111-10 1 |
| .names pe1 pm0 po1 pn1 [231] [839] pg4 |
| ----1- 1 |
| 0--1-1 1 |
| -1-1-1 1 |
| 100--1 1 |
| .names pc0 pe1 pi0 ph2 pi2 pm0 [74] nk11 pa5 |
| 1-----1- 1 |
| -001---0 1 |
| --01-1-0 1 |
| -10-10-0 1 |
| .names pc1 pi0 [121] pg3 |
| 001 1 |
| .names pc1 [122] pa4 |
| 01 1 |
| .names pg0 pi0 pm0 pv2 [83] pf3 |
| -1--- 1 |
| ----1 1 |
| 0-1-- 1 |
| --10- 1 |
| .names pc1 [124] pb4 |
| 01 1 |
| .names pe1 pe0 pj2 pi0 pm0 [74] nk11 pc5 |
| -1---1- 1 |
| 0-10--0 1 |
| --101-0 1 |
| .names pc1 pe1 pl0 pn2 po2 pr2 pp2 pq2 pe3 |
| 0-1----- 1 |
| 01-10000 1 |
| .names pd0 pe1 pj2 pi0 pi2 pm0 [74] nk11 pb5 |
| 1-----1- 1 |
| -0-01--0 1 |
| ---011-0 1 |
| -110-0-0 1 |
| .names pc1 [127] pc4 |
| 01 1 |
| .names pc1 pk0 [99] pd3 |
| 01- 1 |
| 0-1 1 |
| .names pc1 pi0 pr0 pk3 |
| 001 1 |
| .names pe1 pi0 pm0 ps1 pt1 pn [74] nk11 pl4 |
| -----11- 1 |
| 00-1---0 1 |
| -011---0 1 |
| 100-1--0 1 |
| .names pc1 pl1 ps2 pt2 pm5 |
| 00-1 1 |
| 0-01 1 |
| 0110 1 |
| .names pc1 pi0 pq0 pj3 |
| 001 1 |
| .names pb1 pe1 pi0 pm0 pn1 pl5 |
| 100-- 1 |
| 1-01- 1 |
| -1001 1 |
| .names pe1 pi0 pm0 pu1 pt1 po [74] nk11 pm4 |
| -----11- 1 |
| 00--1--0 1 |
| -01-1--0 1 |
| 1001---0 1 |
| .names pc1 pi0 pp0 pi3 |
| 001 1 |
| .names pp pe1 pi0 pm0 pu1 pv1 [74] nk11 pn4 |
| 1-----1- 1 |
| -00-1--0 1 |
| --011--0 1 |
| -100-1-0 1 |
| .names pf0 pg0 pi0 pv2 [104] po5 |
| -00-0 1 |
| --000 1 |
| 0001- 1 |
| .names pc1 pi0 po0 ph3 |
| 001 1 |
| .names pi0 pk2 pl2 pm2 pb pu0 pu2 pn5 |
| 0---10- 1 |
| 01----1 1 |
| 0-0---1 1 |
| 0--0--1 1 |
| .names pq pe1 pi0 pm0 pw1 pv1 [74] nk11 po4 |
| 1-----1- 1 |
| -00--1-0 1 |
| --01-1-0 1 |
| -1001--0 1 |
| .names pe1 pi0 pm0 po1 pp1 nk11 ph4 |
| -1---- 1 |
| -----1 1 |
| 0--1-- 1 |
| --11-- 1 |
| 1-0-0- 1 |
| .names pc1 pn2 po2 pp2 px3 [76] pi5 |
| 0--1-1 1 |
| -1101- 1 |
| .names pi0 pa po3 |
| 01 1 |
| .names pc1 pe1 pd1 pk2 pn2 po2 pl2 pm2 ph5 |
| 0---01-- 1 |
| 01--10-- 1 |
| 0-1-10-- 1 |
| 0001-1-- 1 |
| 000--10- 1 |
| 000--1-0 1 |
| 0--01011 1 |
| .names pe1 pi0 pm0 pq1 pp1 pk [74] nk11 pi4 |
| -----11- 1 |
| 00--1--0 1 |
| -01-1--0 1 |
| 1001---0 1 |
| .names pi0 pb pn3 |
| 01 1 |
| .names pe1 pi0 pm0 pq1 pr1 pl [74] nk11 pj4 |
| -----11- 1 |
| 00-1---0 1 |
| -011---0 1 |
| 100-1--0 1 |
| .names pc1 pn2 po2 pr2 pp2 pq2 px3 [76] pk5 |
| 0--10--- 1 |
| 0--1-0-- 1 |
| 0--1---1 1 |
| -110111- 1 |
| .names pc1 pi0 pt0 pm3 |
| 001 1 |
| .names pc1 pn2 po2 pp2 pq2 nb14 [137] pj5 |
| 0---1-1 1 |
| 011101- 1 |
| .names pe1 pi0 pm0 ps1 pr1 pm [74] nk11 pk4 |
| -----11- 1 |
| 00--1--0 1 |
| -01-1--0 1 |
| 1001---0 1 |
| .names pc1 pi0 ps0 pl3 |
| 001 1 |
| .names pi0 py0 ps3 |
| 01 1 |
| .names pb2 pa2 pe1 pv pi0 pm0 [74] nk11 pt4 |
| ---1--1- 1 |
| -10-0--0 1 |
| -1--01-0 1 |
| 1-1-00-0 1 |
| .names pi0 px0 pr3 |
| 01 1 |
| .names pb2 pc2 pe1 pw pi0 pm0 [74] nk11 pu4 |
| ---1--1- 1 |
| 1-0-0--0 1 |
| 1---01-0 1 |
| -11-00-0 1 |
| .names pi0 pw0 pq3 |
| 01 1 |
| .names pc2 pe1 pd2 px pi0 pm0 [74] nk11 pv4 |
| ---1--1- 1 |
| 10--0--0 1 |
| 1---01-0 1 |
| -11-00-0 1 |
| .names pi0 pv0 pp3 |
| 01 1 |
| .names pe1 pd2 pe2 pi0 py pm0 [74] nk11 pw4 |
| ----1-1- 1 |
| 01-0---0 1 |
| -1-0-1-0 1 |
| 1-10-0-0 1 |
| .names pr pe1 pi0 pm0 pw1 px1 [74] nk11 pp4 |
| 1-----1- 1 |
| -00-1--0 1 |
| --011--0 1 |
| -100-1-0 1 |
| .names pg0 ph0 pi0 pm1 pv2 pg ph pi pw3 |
| 00101--- 1 |
| 0-1011-- 1 |
| 0-101-1- 1 |
| 0-101--1 1 |
| .names ps pe1 pi0 pm0 py1 px1 [74] nk11 pq4 |
| 1-----1- 1 |
| -00--1-0 1 |
| --01-1-0 1 |
| -1001--0 1 |
| .names [99] [881] pv3 |
| 1- 1 |
| -1 1 |
| .names pf1 pw2 |
| 0 1 |
| .names pe1 pt pi0 pm0 py1 pz1 [74] nk11 pr4 |
| -1----1- 1 |
| 0-0-1--0 1 |
| --011--0 1 |
| 1-00-1-0 1 |
| .names pa1 pi0 pu3 |
| 10 1 |
| .names pa2 pe1 pu pi0 pm0 pz1 [74] nk11 ps4 |
| --1---1- 1 |
| -0-0-1-0 1 |
| ---011-0 1 |
| 11-00--0 1 |
| .names pi0 pz0 pt3 |
| 01 1 |
| .names pi1 pz2 |
| 0 1 |
| .names pc1 [138] pz3 |
| 01 1 |
| .names pg1 px2 |
| 0 1 |
| .names pc1 [140] py3 |
| 01 1 |
| .names pc1 pe1 pd1 pk2 pl2 pm2 px3 |
| 01---- 1 |
| 0-1--- 1 |
| 0--011 1 |
| .names ph1 py2 |
| 0 1 |
| .names pe1 pf2 pe2 pi0 pz pm0 [74] nk11 px4 |
| ----1-1- 1 |
| 0-10---0 1 |
| --10-1-0 1 |
| 11-0-0-0 1 |
| .names pa0 pe1 pf2 pg2 pi0 pm0 [74] nk11 py4 |
| 1-----1- 1 |
| -01-0--0 1 |
| --1-01-0 1 |
| -1-100-0 1 |
| .names pb0 pe1 pg2 pi0 ph2 pm0 [74] nk11 pz4 |
| 1-----1- 1 |
| -010---0 1 |
| --10-1-0 1 |
| -1-010-0 1 |
| .names pe1 pk1 pn2 po2 pr2 pp2 pq2 pt0 [110] |
| 01------ 1 |
| -11----- 1 |
| -1-0---- 1 |
| -1--1--- 1 |
| -1---1-- 1 |
| -1----1- 1 |
| -1-----1 1 |
| 1-010001 1 |
| .names pk2 pm1 pl2 pm2 pg ph [116] |
| -1---- 1 |
| 0-1100 1 |
| .names pe1 pd1 pk2 pl2 pm2 nb14 |
| 1---- 1 |
| -1--- 1 |
| --011 1 |
| .names pg0 ph0 pi0 pm1 pv2 pg ph pi [74] |
| 10011--- 1 |
| 1-0111-- 1 |
| 1-011-1- 1 |
| 1-011--1 1 |
| .names pe1 pn2 po2 pn0 pr2 pp2 pq2 [121] |
| ---1--- 1 |
| 110-000 1 |
| .names pe1 ph1 pn2 po2 pr2 pq0 pp2 pq2 [122] |
| 01------ 1 |
| -11----- 1 |
| -1-0---- 1 |
| -1--1--- 1 |
| -1---1-- 1 |
| -1----1- 1 |
| -1-----1 1 |
| 1-010100 1 |
| .names pg0 ph0 pm1 pv2 pg ph pi [83] |
| 1-01--- 1 |
| 11-1000 1 |
| .names pe1 pi1 pn2 po2 pr2 pp2 pr0 pq2 [124] |
| 01------ 1 |
| -11----- 1 |
| -1-0---- 1 |
| -1--1--- 1 |
| -1---1-- 1 |
| -1----1- 1 |
| -1-----1 1 |
| 1-010010 1 |
| .names pe1 pj1 pn2 po2 pr2 pp2 pq2 ps0 [127] |
| 01------ 1 |
| -11----- 1 |
| -1-0---- 1 |
| -1--1--- 1 |
| -1---1-- 1 |
| -1----1- 1 |
| -1-----1 1 |
| 1-010001 1 |
| .names pg0 ph0 pm1 pv2 pg ph pi nk11 |
| 1011--- 1 |
| 1-111-- 1 |
| 1-11-1- 1 |
| 1-11--1 1 |
| .names pe1 pd1 pk2 pn2 po2 pl2 pm2 [76] |
| ---0--- 1 |
| ----0-- 1 |
| 001---- 1 |
| 00---0- 1 |
| 00----0 1 |
| .names pf0 pg0 ph0 pm1 pv2 pg ph pi [99] |
| 1---1--- 1 |
| -1-01--- 1 |
| -11-1000 1 |
| .names pe1 pn2 po2 pr2 pp2 pq2 pi [104] |
| 0------ 1 |
| -0----- 1 |
| --1---- 1 |
| ---0--- 1 |
| ----1-- 1 |
| -----00 1 |
| .names pe1 pg1 pn2 po2 pp0 pr2 pp2 pq2 [138] |
| 01------ 1 |
| -11----- 1 |
| -1-0---- 1 |
| -1--1--- 1 |
| -1---1-- 1 |
| -1----1- 1 |
| -1-----1 1 |
| 1-011000 1 |
| .names pe1 pf1 pn2 po2 po0 pr2 pp2 pq2 [140] |
| 01------ 1 |
| -11----- 1 |
| -1-0---- 1 |
| -1--1--- 1 |
| -1---1-- 1 |
| -1----1- 1 |
| -1-----1 1 |
| 1-011000 1 |
| .names pe1 pd1 pk2 pn2 po2 pl2 pm2 pp2 [137] |
| ---0---- 1 |
| ----0--- 1 |
| -------0 1 |
| 001----- 1 |
| 00---0-- 1 |
| 00----0- 1 |
| .names pg0 pi0 pm1 pv2 pi [231] |
| 10111 1 |
| .names pg0 ph0 pi0 pm1 pv2 pg ph [839] |
| 0-0---- 1 |
| --00--- 1 |
| --0-0-- 1 |
| -10--00 1 |
| .names pe1 pi0 pn2 po2 pr2 pp2 pq2 pi [881] |
| -1------ 1 |
| 1-10101- 1 |
| 1-1010-1 1 |
| .end |
