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