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