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).
company(a8).
company(b8).
company(c8).
company(d8).
company(e8).
company(f8).
company(p8).
company(q8).
company(x8).
company(z8).
company(a9).
company(b9).
company(c9).
company(d9).
company(e9).
company(f9).
company(p9).
company(q9).
company(x9).
company(z9).
company(a10).
company(b10).
company(c10).
company(d10).
company(e10).
company(f10).
company(p10).
company(q10).
company(x10).
company(z10).
company(a11).
company(b11).
company(c11).
company(d11).
company(e11).
company(f11).
company(p11).
company(q11).
company(x11).
company(z11).
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,30).
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).
owns(q7,b8,30).
owns(b8,c8,25).
owns(a8,d8,36).
owns(d8,e8,63).
owns(b8,a8,48).
owns(c8,d8,30).
owns(d8,b8,52).
owns(e8,c8,30).
owns(f8,p8,30).
owns(p8,q8,52).
owns(q8,x8,51).
owns(x8,z8,70).
owns(z8,x8,20).
owns(x8,q8,20).
owns(q8,b9,60).
owns(b9,c9,25).
owns(a9,d9,36).
owns(d9,e9,63).
owns(b9,a9,48).
owns(c9,d9,30).
owns(d9,b9,52).
owns(e9,c9,30).
owns(f9,p9,30).
owns(p9,q9,52).
owns(q9,x9,51).
owns(x9,z9,70).
owns(z9,x9,20).
owns(x9,q9,20).
owns(q9,b10,70).
owns(b10,c10,25).
owns(a10,d10,36).
owns(d10,e10,63).
owns(b10,a10,48).
owns(c10,d10,30).
owns(d10,b10,52).
owns(e10,c10,30).
owns(f10,p10,30).
owns(p10,q10,52).
owns(q10,x10,51).
owns(x10,z10,70).
owns(z10,x10,20).
owns(x10,q10,20).
owns(q10,b11,60).
owns(b11,c11,25).
owns(a11,d11,36).
owns(d11,e11,63).
owns(b11,a11,48).
owns(c11,d11,30).
owns(d11,b11,52).
owns(e11,c11,30).
owns(f11,p11,30).
owns(p11,q11,52).
owns(q11,x11,51).
owns(x11,z11,70).
owns(z11,x11,20).
owns(x11,q11,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.