person(a).
person(b).
person(c).
person(d).
person(e).
person(f).
person(g).
person(h).
person(i).
person(j).
person(a1).
person(b1).
person(c1).
person(d1).
person(e1).
person(f1).
person(g1).
person(h1).
person(i1).
person(j1).
person(a2).
person(b2).
person(c2).
person(d2).
person(e2).
person(f2).
person(g2).
person(h2).
person(i2).
person(j2).
person(a3).
person(b3).
person(c3).
person(d3).
person(e3).
person(f3).
person(g3).
person(h3).
person(i3).
person(j3).
person(a4).
person(b4).
person(c4).
person(d4).
person(e4).
person(f4).
person(g4).
person(h4).
person(i4).
person(j4).
person(a5).
person(b5).
person(c5).
person(d5).
person(e5).
person(f5).
person(g5).
person(h5).
person(i5).
person(j5).
person(a6).
person(b6).
person(c6).
person(d6).
person(e6).
person(f6).
person(g6).
person(h6).
person(i6).
person(j6).
person(a7).
person(b7).
person(c7).
person(d7).
person(e7).
person(f7).
person(g7).
person(h7).
person(i7).
person(j7).
person(a8).
person(b8).
person(c8).
person(d8).
person(e8).
person(f8).
person(g8).
person(h8).
person(i8).
person(j8).
person(a9).
person(b9).
person(c9).
person(d9).
person(e9).
person(f9).
person(g9).
person(h9).
person(i9).
person(j9).
person(a10).
person(b10).
person(c10).
person(d10).
person(e10).
person(f10).
person(g10).
person(h10).
person(i10).
person(j10).
person(a11).
person(b11).
person(c11).
person(d11).
person(e11).
person(f11).
person(g11).
person(h11).
person(i11).
person(j11).
person(a12).
person(b12).
person(c12).
person(d12).
person(e12).
person(f12).
person(g12).
person(h12).
person(i12).
person(j12).
person(a13).
person(b13).
person(c13).
person(d13).
person(e13).
person(f13).
person(g13).
person(h13).
person(i13).
person(j13).
person(a14).
person(b14).
person(c14).
person(d14).
person(e14).
person(f14).
person(g14).
person(h14).
person(i14).
person(j14).
person(a15).
person(b15).
person(c15).
person(d15).
person(e15).
person(f15).
person(g15).
person(h15).
person(i15).
person(j15).
requires(a,0).
requires(b,0).
requires(c,0).
requires(d,1).
requires(e,2).
requires(f,4).
requires(g,2).
requires(h,1).
requires(i,3).
requires(j,1).
requires(a1,0).
requires(b1,0).
requires(c1,0).
requires(d1,1).
requires(e1,2).
requires(f1,4).
requires(g1,2).
requires(h1,1).
requires(i1,3).
requires(j1,1).
requires(a2,0).
requires(b2,0).
requires(c2,0).
requires(d2,1).
requires(e2,2).
requires(f2,4).
requires(g2,2).
requires(h2,1).
requires(i2,3).
requires(j2,1).
requires(a3,0).
requires(b3,0).
requires(c3,0).
requires(d3,1).
requires(e3,2).
requires(f3,4).
requires(g3,2).
requires(h3,1).
requires(i3,3).
requires(j3,1).
requires(a4,0).
requires(b4,0).
requires(c4,0).
requires(d4,1).
requires(e4,2).
requires(f4,4).
requires(g4,2).
requires(h4,1).
requires(i4,3).
requires(j4,1).
requires(a5,0).
requires(b5,0).
requires(c5,0).
requires(d5,1).
requires(e5,2).
requires(f5,4).
requires(g5,2).
requires(h5,1).
requires(i5,3).
requires(j5,1).
requires(a6,0).
requires(b6,0).
requires(c6,0).
requires(d6,1).
requires(e6,2).
requires(f6,4).
requires(g6,2).
requires(h6,1).
requires(i6,3).
requires(j6,1).
requires(a7,0).
requires(b7,0).
requires(c7,0).
requires(d7,1).
requires(e7,2).
requires(f7,4).
requires(g7,2).
requires(h7,1).
requires(i7,3).
requires(j7,1).
requires(a8,0).
requires(b8,0).
requires(c8,0).
requires(d8,1).
requires(e8,2).
requires(f8,4).
requires(g8,2).
requires(h8,1).
requires(i8,3).
requires(j8,1).
requires(a9,0).
requires(b9,0).
requires(c9,0).
requires(d9,1).
requires(e9,2).
requires(f9,4).
requires(g9,2).
requires(h9,1).
requires(i9,3).
requires(j9,1).
requires(a10,0).
requires(b10,0).
requires(c10,0).
requires(d10,1).
requires(e10,2).
requires(f10,4).
requires(g10,2).
requires(h10,1).
requires(i10,3).
requires(j10,1).
requires(a11,0).
requires(b11,0).
requires(c11,0).
requires(d11,1).
requires(e11,2).
requires(f11,4).
requires(g11,2).
requires(h11,1).
requires(i11,3).
requires(j11,1).
requires(a12,0).
requires(b12,0).
requires(c12,0).
requires(d12,1).
requires(e12,2).
requires(f12,4).
requires(g12,2).
requires(h12,1).
requires(i12,3).
requires(j12,1).
requires(a13,0).
requires(b13,0).
requires(c13,0).
requires(d13,1).
requires(e13,2).
requires(f13,4).
requires(g13,2).
requires(h13,1).
requires(i13,3).
requires(j13,1).
requires(a14,0).
requires(b14,0).
requires(c14,0).
requires(d14,1).
requires(e14,2).
requires(f14,4).
requires(g14,2).
requires(h14,1).
requires(i14,3).
requires(j14,1).
requires(a15,0).
requires(b15,0).
requires(c15,0).
requires(d15,1).
requires(e15,2).
requires(f15,4).
requires(g15,2).
requires(h15,1).
requires(i15,3).
requires(j15,1).
friend(c,d).
friend(c,b).
friend(e,a).
friend(e,b).
friend(f,d).
friend(f,e).
friend(i,j).
friend(h,g).
friend(g,a).
friend(g,e).
friend(i,d).
friend(j,h).
friend(g,h).
friend(f,a1).
friend(c1,d1).
friend(c1,b1).
friend(e1,a1).
friend(e1,b1).
friend(f1,d1).
friend(f1,e1).
friend(i1,j1).
friend(h1,g1).
friend(g1,a1).
friend(g1,e1).
friend(i1,d1).
friend(j1,h1).
friend(g1,h1).
friend(i1,a2).
friend(c2,d2).
friend(c2,b2).
friend(e2,a2).
friend(e2,b2).
friend(f2,d2).
friend(f2,e2).
friend(i2,j2).
friend(h2,g2).
friend(g2,a2).
friend(g2,e2).
friend(i2,d2).
friend(j2,h2).
friend(g2,h2).
friend(f2,a3).
friend(c3,d3).
friend(c3,b3).
friend(e3,a3).
friend(e3,b3).
friend(f3,d3).
friend(f3,e3).
friend(i3,j3).
friend(h3,g3).
friend(g3,a3).
friend(g3,e3).
friend(i3,d3).
friend(j3,h3).
friend(g3,h3).
friend(i3,a4).
friend(c4,d4).
friend(c4,b4).
friend(e4,a4).
friend(e4,b4).
friend(f4,d4).
friend(f4,e4).
friend(i4,j4).
friend(h4,g4).
friend(g4,a4).
friend(g4,e4).
friend(i4,d4).
friend(j4,h4).
friend(g4,h4).
friend(f4,a5).
friend(c5,d5).
friend(c5,b5).
friend(e5,a5).
friend(e5,b5).
friend(f5,d5).
friend(f5,e5).
friend(i5,j5).
friend(h5,g5).
friend(g5,a5).
friend(g5,e5).
friend(i5,d5).
friend(j5,h5).
friend(g5,h5).
friend(i5,a6).
friend(c6,d6).
friend(c6,b6).
friend(e6,a6).
friend(e6,b6).
friend(f6,d6).
friend(f6,e6).
friend(i6,j6).
friend(h6,g6).
friend(g6,a6).
friend(g6,e6).
friend(i6,d6).
friend(j6,h6).
friend(g6,h6).
friend(f6,a7).
friend(c7,d7).
friend(c7,b7).
friend(e7,a7).
friend(e7,b7).
friend(f7,d7).
friend(f7,e7).
friend(i7,j7).
friend(h7,g7).
friend(g7,a7).
friend(g7,e7).
friend(i7,d7).
friend(j7,h7).
friend(g7,h7).
friend(i7,a8).
friend(c8,d8).
friend(c8,b8).
friend(e8,a8).
friend(e8,b8).
friend(f8,d8).
friend(f8,e8).
friend(i8,j8).
friend(h8,g8).
friend(g8,a8).
friend(g8,e8).
friend(i8,d8).
friend(j8,h8).
friend(g8,h8).
friend(f8,a9).
friend(c9,d9).
friend(c9,b9).
friend(e9,a9).
friend(e9,b9).
friend(f9,d9).
friend(f9,e9).
friend(i9,j9).
friend(h9,g9).
friend(g9,a9).
friend(g9,e9).
friend(i9,d9).
friend(j9,h9).
friend(g9,h9).
friend(i9,a10).
friend(c10,d10).
friend(c10,b10).
friend(e10,a10).
friend(e10,b10).
friend(f10,d10).
friend(f10,e10).
friend(i10,j10).
friend(h10,g10).
friend(g10,a10).
friend(g10,e10).
friend(i10,d10).
friend(j10,h10).
friend(g10,h10).
friend(f10,a11).
friend(c11,d11).
friend(c11,b11).
friend(e11,a11).
friend(e11,b11).
friend(f11,d11).
friend(f11,e11).
friend(i11,j11).
friend(h11,g11).
friend(g11,a11).
friend(g11,e11).
friend(i11,d11).
friend(j11,h11).
friend(g11,h11).
friend(i11,a12).
friend(c12,d12).
friend(c12,b12).
friend(e12,a12).
friend(e12,b12).
friend(f12,d12).
friend(f12,e12).
friend(i12,j12).
friend(h12,g12).
friend(g12,a12).
friend(g12,e12).
friend(i12,d12).
friend(j12,h12).
friend(g12,h12).
friend(f12,a13).
friend(c13,d13).
friend(c13,b13).
friend(e13,a13).
friend(e13,b13).
friend(f13,d13).
friend(f13,e13).
friend(i13,j13).
friend(h13,g13).
friend(g13,a13).
friend(g13,e13).
friend(i13,d13).
friend(j13,h13).
friend(g13,h13).
friend(i13,a14).
friend(c14,d14).
friend(c14,b14).
friend(e14,a14).
friend(e14,b14).
friend(f14,d14).
friend(f14,e14).
friend(i14,j14).
friend(h14,g14).
friend(g14,a14).
friend(g14,e14).
friend(i14,d14).
friend(j14,h14).
friend(g14,h14).
friend(f14,a15).
friend(c15,d15).
friend(c15,b15).
friend(e15,a15).
friend(e15,b15).
friend(f15,d15).
friend(f15,e15).
friend(i15,j15).
friend(h15,g15).
friend(g15,a15).
friend(g15,e15).
friend(i15,d15).
friend(j15,h15).
friend(g15,h15).
friend(X,Y) :- person(X), person(Y), friend(Y,X).
coming(X):-requires(X,0).
coming(X):-requires(X,K),count({Y,kc(X,Y)})>=K.
kc(X,Y):-friend(X,Y),coming(Y).