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