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