play([7,17,22]).
play([10,2,8]).
play([12,10,4,9,11]).
play([10,19,25]).
:-play([13,23,22,17,15,20]).
:-play([11,18,20,9,22]).
:-play([14,11,5,20,3]).
:-play([6,10,25,25,22]).