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