play([17,7,8,7,28,5]).
play([9,22,17,11,9,12]).
play([19,5,5,11,24]).
play([15,19,28]).
play([11,16,15,20]).
play([25,8,12,6,27]).
play([5,19,5,19]).
play([13,8,10,15]).
play([4,24,13,17]).
play([16,5,21]).
:-play([18,24,24,12]).
:-play([12,6,25,20]).
:-play([11,25,14,4,26]).
:-play([17,25,19,29,4]).
:-play([16,17,29,13,7]).
:-play([4,13,19]).
:-play([19,23,30,14,6]).
:-play([12,19,16,29,24]).
:-play([13,5,30,9,20]).
:-play([22,15,20,3,9]).