company(a).
company(b).
company(c).
company(d).
company(e).
company(f).
company(p).
company(q).
company(x).
company(z).
company(a1).
company(b1).
company(c1).
company(d1).
company(e1).
company(f1).
company(p1).
company(q1).
company(x1).
company(z1).
company(a2).
company(b2).
company(c2).
company(d2).
company(e2).
company(f2).
company(p2).
company(q2).
company(x2).
company(z2).
company(a3).
company(b3).
company(c3).
company(d3).
company(e3).
company(f3).
company(p3).
company(q3).
company(x3).
company(z3).
company(a4).
company(b4).
company(c4).
company(d4).
company(e4).
company(f4).
company(p4).
company(q4).
company(x4).
company(z4).
company(a5).
company(b5).
company(c5).
company(d5).
company(e5).
company(f5).
company(p5).
company(q5).
company(x5).
company(z5).
company(a6).
company(b6).
company(c6).
company(d6).
company(e6).
company(f6).
company(p6).
company(q6).
company(x6).
company(z6).
company(a7).
company(b7).
company(c7).
company(d7).
company(e7).
company(f7).
company(p7).
company(q7).
company(x7).
company(z7).
owns(b,c,25).
owns(a,d,36).
owns(d,e,63).
owns(b,a,48).
owns(c,d,30).
owns(d,b,52).
owns(e,c,30).
owns(f,p,30).
owns(p,q,52).
owns(q,x,51).
owns(x,z,70).
owns(z,x,20).
owns(x,q,20).
owns(q,b1,60).
owns(b1,c1,25).
owns(a1,d1,36).
owns(d1,e1,63).
owns(b1,a1,48).
owns(c1,d1,30).
owns(d1,b1,52).
owns(e1,c1,30).
owns(f1,p1,30).
owns(p1,q1,52).
owns(q1,x1,51).
owns(x1,z1,70).
owns(z1,x1,20).
owns(x1,q1,20).
owns(q1,b2,70).
owns(b2,c2,25).
owns(a2,d2,36).
owns(d2,e2,63).
owns(b2,a2,48).
owns(c2,d2,30).
owns(d2,b2,52).
owns(e2,c2,30).
owns(f2,p2,30).
owns(p2,q2,52).
owns(q2,x2,51).
owns(x2,z2,70).
owns(z2,x2,20).
owns(x2,q2,20).
owns(q2,b3,60).
owns(b3,c3,25).
owns(a3,d3,36).
owns(d3,e3,63).
owns(b3,a3,48).
owns(c3,d3,30).
owns(d3,b3,52).
owns(e3,c3,30).
owns(f3,p3,30).
owns(p3,q3,52).
owns(q3,x3,51).
owns(x3,z3,70).
owns(z3,x3,20).
owns(x3,q3,20).
owns(q3,b4,60).
owns(b4,c4,25).
owns(a4,d4,36).
owns(d4,e4,63).
owns(b4,a4,48).
owns(c4,d4,30).
owns(d4,b4,52).
owns(e4,c4,30).
owns(f4,p4,30).
owns(p4,q4,52).
owns(q4,x4,51).
owns(x4,z4,70).
owns(z4,x4,20).
owns(x4,q4,20).
owns(q4,b5,60).
owns(b5,c5,25).
owns(a5,d5,36).
owns(d5,e5,63).
owns(b5,a5,48).
owns(c5,d5,30).
owns(d5,b5,52).
owns(e5,c5,30).
owns(f5,p5,30).
owns(p5,q5,52).
owns(q5,x5,51).
owns(x5,z5,70).
owns(z5,x5,20).
owns(x5,q5,20).
owns(q5,b6,70).
owns(b6,c6,25).
owns(a6,d6,36).
owns(d6,e6,63).
owns(b6,a6,48).
owns(c6,d6,30).
owns(d6,b6,52).
owns(e6,c6,30).
owns(f6,p6,30).
owns(p6,q6,52).
owns(q6,x6,51).
owns(x6,z6,70).
owns(z6,x6,20).
owns(x6,q6,20).
owns(q6,b7,20).
owns(b7,c7,25).
owns(a7,d7,36).
owns(d7,e7,63).
owns(b7,a7,48).
owns(c7,d7,30).
owns(d7,b7,52).
owns(e7,c7,30).
owns(f7,p7,30).
owns(p7,q7,52).
owns(q7,x7,51).
owns(x7,z7,70).
owns(z7,x7,20).
owns(x7,q7,20).
controls(X,Y,N) :- owns(X,Y,N).
controls(X,Y,N) :- company(X),control(X,Z),owns(Z,Y,N).
control(X,Y) :- company(X),company(Y),sum({A,controls(X,Y,A)})>49.