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