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([13,26,23]).
play([5,19,22]).
play([25,10,7,17,5]).
play([3,12,15]).
play([5,8,19,29,3]).
:-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]).
:-play([8,23,16]).
:-play([14,9,26]).
:-play([5,26,18]).
:-play([5,9,5,12,23]).
:-play([6,9,29]).