| .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 [651] [652] pd4 |
| 1- 1 |
| -1 1 |
| .names pm0 pp0 pv0 pb3 |
| 10- 1 |
| -11 1 |
| .names pr1 nq10 [653] pe4 |
| --1 1 |
| 11- 1 |
| .names pl0 pp0 pw0 pa3 |
| 10- 1 |
| -11 1 |
| .names ps1 nq10 [654] pf4 |
| --1 1 |
| 11- 1 |
| .names pt1 nq10 [655] pg4 |
| --1 1 |
| 11- 1 |
| .names [170] [660] [661] pg3 |
| 1-- 1 |
| -11 1 |
| .names pl1 nz9 [164] pa4 |
| 11- 1 |
| 1-1 1 |
| .names pa pb [162] pf3 |
| 0-- 1 |
| -1- 1 |
| --1 1 |
| .names pm1 nz9 [164] pb4 |
| 11- 1 |
| 1-1 1 |
| .names [152] [153] pe3 |
| 1- 1 |
| -1 1 |
| .names pn1 nz9 [164] pc4 |
| 11- 1 |
| 1-1 1 |
| .names po0 pp0 pt0 pd3 |
| 10- 1 |
| -11 1 |
| .names nh10 [71] [671] pj2 |
| 0-1 1 |
| -11 1 |
| .names pv0 [68] [663] pk3 |
| 111 1 |
| .names [80] [662] [674] pl4 |
| 011 1 |
| .names pu0 [68] [663] pj3 |
| 111 1 |
| .names [160] [161] pk2 |
| 1- 1 |
| -1 1 |
| .names [146] [147] [675] pm4 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names pt0 [68] [663] pi3 |
| 111 1 |
| .names pa pb [677] pn4 |
| 101 1 |
| .names pg [68] [663] ph3 |
| 111 1 |
| .names [141] [678] pi2 |
| 1- 1 |
| -1 1 |
| .names [137] [688] [689] po4 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names pu1 nq10 [691] ph4 |
| --1 1 |
| 11- 1 |
| .names py po1 pp0 pn2 |
| -11 1 |
| 1-0 1 |
| .names pz0 [68] [663] po3 |
| 111 1 |
| .names pv1 nq10 [692] pi4 |
| --1 1 |
| 11- 1 |
| .names py0 [68] [663] pn3 |
| 111 1 |
| .names pz pn1 pp0 po2 |
| -11 1 |
| 1-0 1 |
| .names pw1 nq10 [693] pj4 |
| --1 1 |
| 11- 1 |
| .names pb2 pb [647] pl2 |
| 101 1 |
| .names px0 [68] [663] pm3 |
| 111 1 |
| .names px no10 [122] pk4 |
| --1 1 |
| 11- 1 |
| .names pw0 [68] [663] pl3 |
| 111 1 |
| .names pc2 pb [144] pm2 |
| --1 1 |
| 10- 1 |
| .names pc0 pk1 pp0 pr2 |
| -11 1 |
| 1-0 1 |
| .names pd1 nz9 [164] ps3 |
| 11- 1 |
| 1-1 1 |
| .names pf2 nf10 pt4 |
| 11 1 |
| .names pc1 nz9 [164] pr3 |
| 11- 1 |
| 1-1 1 |
| .names pd0 pj1 pp0 ps2 |
| -11 1 |
| 1-0 1 |
| .names pg2 nf10 [112] pu4 |
| --1 1 |
| 11- 1 |
| .names pa0 pm1 pp0 pp2 |
| -11 1 |
| 1-0 1 |
| .names pb1 nz9 [164] pq3 |
| 11- 1 |
| 1-1 1 |
| .names ph2 nf10 pv4 |
| 11 1 |
| .names [108] [109] pp3 |
| 1- 1 |
| -1 1 |
| .names pb0 pl1 pp0 pq2 |
| -11 1 |
| 1-0 1 |
| .names [73] [703] pp4 |
| 1- 1 |
| -1 1 |
| .names pg1 pg0 pp0 pv2 |
| 1-1 1 |
| -10 1 |
| .names ph1 nz9 [164] pw3 |
| 11- 1 |
| 1-1 1 |
| .names [73] [95] [705] pq4 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names pg1 nz9 [164] pv3 |
| 11- 1 |
| 1-1 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 pf1 nz9 [164] pu3 |
| 11- 1 |
| 1-1 1 |
| .names pe2 nf10 [88] ps4 |
| --1 1 |
| 11- 1 |
| .names pe1 nz9 [164] pt3 |
| 11- 1 |
| 1-1 1 |
| .names pf0 ph1 pp0 pu2 |
| -11 1 |
| 1-0 1 |
| .names pk0 pp0 px0 pz2 |
| 10- 1 |
| -11 1 |
| .names pk1 nz9 [164] pz3 |
| 11- 1 |
| 1-1 1 |
| .names pi0 pp0 pz0 px2 |
| 10- 1 |
| -11 1 |
| .names pj1 nz9 [164] py3 |
| 11- 1 |
| 1-1 1 |
| .names pi1 nz9 [164] px3 |
| 11- 1 |
| 1-1 1 |
| .names pj0 pp0 py0 py2 |
| 10- 1 |
| -11 1 |
| .names nd10 nh10 nj10 nq10 |
| 011 1 |
| .names [67] [647] [648] no10 |
| 111 1 |
| .names pb2 pb [67] |
| 10 1 |
| .names pa pb [79] |
| 0- 1 |
| -1 1 |
| .names pe2 ph2 nd10 |
| 01 1 |
| 10 1 |
| .names pb2 pb pf [69] |
| 101 1 |
| .names pc2 pb [71] [85] |
| 100 1 |
| .names [68] [663] nz9 |
| 11 1 |
| .names pb2 pa2 [662] na10 |
| 111 1 |
| .names pc2 pb nh10 |
| 10 1 |
| .names [667] [668] [669] nt10 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names pa2 pr0 [70] |
| 10 1 |
| .names pb2 pa2 [71] |
| 0- 1 |
| -1 1 |
| .names pb2 pa2 [80] |
| 0- 1 |
| -0 1 |
| .names nq10 na10 [116] nf10 |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names [69] nt10 [104] [73] |
| --1 1 |
| 11- 1 |
| .names pf2 pe2 ph2 [68] |
| 111 1 |
| 001 1 |
| 010 1 |
| 100 1 |
| .names pb2 pa2 nj10 |
| 01 1 |
| .names pf2 pe2 [81] |
| 0- 1 |
| -0 1 |
| .names pc2 [69] nt10 [88] |
| 01- 1 |
| -11 1 |
| .names nd10 nh10 nj10 [95] |
| 111 1 |
| .names pb2 pc2 pb [96] |
| 100 1 |
| .names pc2 pa2 [699] [100] |
| 011 1 |
| .names pa2 pp0 [69] [101] |
| 111 1 |
| .names pb2 pb [701] [102] |
| 101 1 |
| .names pc2 pb pf [104] |
| 000 1 |
| .names nz9 [164] [696] [108] |
| 1-1 1 |
| -11 1 |
| .names pa1 [68] [663] [109] |
| 111 1 |
| .names pc2 pa2 [69] [112] |
| 001 1 |
| .names nd10 nh10 [71] [116] |
| 010 1 |
| .names pp [69] [650] [122] |
| 111 1 |
| .names po [69] [650] [124] |
| 111 1 |
| .names pn [69] [650] [129] |
| 111 1 |
| .names pm [69] [650] [134] |
| 111 1 |
| .names [80] [662] [681] [136] |
| 1-1 1 |
| -01 1 |
| .names na10 nt10 [683] [137] |
| 001 1 |
| .names [85] [671] [687] [139] |
| 011 1 |
| .names nh10 [71] [671] [140] |
| 001 1 |
| .names pp0 nh10 [144] [141] |
| 11- 1 |
| 1-1 1 |
| .names pb2 pa2 pb [144] |
| 0-0 1 |
| -00 1 |
| .names nd10 [85] [671] [146] |
| 11- 1 |
| 1-0 1 |
| .names pz1 [85] [671] [147] |
| 11- 1 |
| 1-0 1 |
| .names [160] [161] [666] [152] |
| 1-1 1 |
| -11 1 |
| .names pc2 [69] nt10 [153] |
| 01- 1 |
| -11 1 |
| .names pa2 pr0 ps0 [156] |
| 100 1 |
| .names pa2 ph2 pr0 [157] |
| 100 1 |
| .names pa2 pd2 pr0 [158] |
| 100 1 |
| .names pa2 pg2 pr0 [159] |
| 110 1 |
| .names py1 nh10 [71] [160] |
| 110 1 |
| .names pp1 nh10 nj10 [161] |
| 111 1 |
| .names pc2 pf pg [162] |
| 001 1 |
| .names pg2 [68] [664] [164] |
| 011 1 |
| 101 1 |
| .names [67] [656] [657] [170] |
| 111 1 |
| .names pl [69] [650] [173] |
| 111 1 |
| .names pk [69] [650] [176] |
| 111 1 |
| .names pj [69] [650] [181] |
| 111 1 |
| .names pi [69] [650] [186] |
| 111 1 |
| .names pb1 pc2 [647] |
| 10 1 |
| .names pf pa2 [648] |
| 10 1 |
| .names pc2 pa2 pb1 [650] |
| 000 1 |
| .names pq no10 [186] [651] |
| --1 1 |
| 11- 1 |
| .names pq1 py1 nq10 [652] |
| 1-1 1 |
| -11 1 |
| .names pr no10 [181] [653] |
| --1 1 |
| 11- 1 |
| .names ps no10 [176] [654] |
| --1 1 |
| 11- 1 |
| .names pt no10 [173] [655] |
| --1 1 |
| 11- 1 |
| .names ps0 pa2 [656] |
| 01 1 |
| .names pg pf [657] |
| 10 1 |
| .names pf ps0 [660] |
| 00 1 |
| .names pc2 pb pg [661] |
| 001 1 |
| .names pc2 pb pf [662] |
| 100 1 |
| .names pr0 [80] [662] [663] |
| 001 1 |
| .names pr0 [80] [662] [664] |
| 101 1 |
| .names pe2 ph2 pq0 [666] |
| 110 1 |
| 000 1 |
| .names px1 [70] [81] [667] |
| 11- 1 |
| -11 1 |
| .names [157] [156] [668] |
| 1- 1 |
| -1 1 |
| .names [159] [158] [669] |
| 1- 1 |
| -1 1 |
| .names pc2 pb nj10 [671] |
| 00- 1 |
| -00 1 |
| .names pf2 pe2 ph2 [673] |
| 001 1 |
| .names pg2 pd2 [673] [674] |
| 101 1 |
| .names pb2 pa2 [79] [675] |
| --1 1 |
| 00- 1 |
| .names pe pd [677] |
| 10 1 |
| .names pb1 pp0 ph [678] |
| 11- 1 |
| -01 1 |
| .names pc2 pp0 pb [679] |
| 100 1 |
| .names pb2 pa2 pr0 [680] |
| 111 1 |
| .names [680] [679] [681] |
| 11 1 |
| .names nh10 [70] [80] [683] |
| 110 1 |
| .names pc2 pp0 pb [685] |
| 01- 1 |
| -11 1 |
| .names pa2 pr0 [685] [686] |
| 101 1 |
| .names pc2 pb pf [687] |
| 0-0 1 |
| -10 1 |
| .names pm2 [136] [686] [688] |
| -1- 1 |
| 1-1 1 |
| .names [140] [139] [689] |
| 1- 1 |
| -1 1 |
| .names pu no10 [134] [691] |
| --1 1 |
| 11- 1 |
| .names pv no10 [129] [692] |
| --1 1 |
| 11- 1 |
| .names pw no10 [124] [693] |
| --1 1 |
| 11- 1 |
| .names pg pr0 [696] |
| 11 1 |
| .names pb pp0 [699] |
| 01 1 |
| .names pa2 pc2 [701] |
| 10 1 |
| .names [100] [101] [102] [703] |
| 1-- 1 |
| -1- 1 |
| --1 1 |
| .names pb2 pa2 pb [704] |
| 100 1 |
| .names nd10 [96] [704] [705] |
| -1- 1 |
| 1-1 1 |
| .end |
