pravil(yaroslavmudryiy,1019,1054).
pravil(izyaslavpervyiy,1054,1077).
pravil(vsevolodpervyiy,1078,1093).
pravil(svyatopolkvtoroy,1092,1112).
pravil(vladimirmonomah,1113,1125).
pravil(mstislavvelikiy,1125,1132).
pravitel(X,Y) :- pravil(X,A,B),Y>=A,Y=<B.
solve(Y) :-
pravitel(X,Y),
nl,
fail.
cHJhdmlsKHlhcm9zbGF2bXVkcnlpeSwxMDE5LDEwNTQpLgpwcmF2aWwoaXp5YXNsYXZwZXJ2eWl5LDEwNTQsMTA3NykuCnByYXZpbCh2c2V2b2xvZHBlcnZ5aXksMTA3OCwxMDkzKS4KcHJhdmlsKHN2eWF0b3BvbGt2dG9yb3ksMTA5MiwxMTEyKS4KcHJhdmlsKHZsYWRpbWlybW9ub21haCwxMTEzLDExMjUpLgpwcmF2aWwobXN0aXNsYXZ2ZWxpa2l5LDExMjUsMTEzMikuCgpwcmF2aXRlbChYLFkpIDotIHByYXZpbChYLEEsQiksWT49QSxZPTxCLiAKCnNvbHZlKFkpIDotCiBwcmF2aXRlbChYLFkpLAogd3JpdGUoWCksCiBubCwKIGZhaWwuCg==