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