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([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]).