r(0..125).
w(10).
q(K) :- r(X), w(K), min({X,p(X)})>K.
p(X) :- q(K), r(X), w(K).