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