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