id = 122
group = 'sorting'
number = 29
visible = True
facts = None

solution = '''\
sins(X, [], [X]).
sins(X, [Y|T], [X,Y|T]) :-
  X =< Y.
sins(X, [Y|T], [Y|L]) :-
  X > Y,
  sins(X, T, L).
'''