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