.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