play([7,17,22]).
play([10,2,8]).
:-play([13,23,22,17,15,20]).
:-play([11,18,20,9,22]).