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