id = 110
group = 'lists'
number = 17
visible = True
facts = None

solution = '''\
dup([], []).
dup([H|T], [H,H|TT]) :-
  dup(T, TT).
'''