?- consult('crypto.pro').
%  gv.pro compiled 0.00 sec, 2,992 bytes
% crypto.pro compiled 0.00 sec, 6,088 bytes

Yes
?- genprob.
Problem: numbers = {1,7,7,14,11} and goal = 7

Yes
?- genprob.
Problem: numbers = {13,11,15,4,12} and goal = 10

Yes
?- genprob.
Problem: numbers = {7,13,14,0,13} and goal = 6

Yes
?- genprob.
Problem: numbers = {5,8,14,15,7} and goal = 3

Yes
?- genprob.
Problem: numbers = {8,1,8,8,5} and goal = 7

Yes
?- genprob.
Problem: numbers = {9,3,15,12,13} and goal = 5

Yes
?- genprob.
Problem: numbers = {4,7,15,2,1} and goal = 12

Yes
?- genprob.
Problem: numbers = {0,9,10,9,8} and goal = 11

Yes
?- genprob.
Problem: numbers = {5,12,11,14,5} and goal = 11

Yes
?- genprob.
Problem: numbers = {0,12,1,12,12} and goal = 7

Yes
?- halt.