# coding=utf-8

id = 143
group = 'trees'
number = 50
visible = True
facts = None

solution = '''\
max143([X], X).
max143([H|T], Max):-
  max143(T, Max1),
  ( H > Max1, Max is H
    ;
    H =< Max1, Max is Max1 ).

maxT(t(E), E) :- !.
maxT(Tree, Max) :-
  Tree =.. [t, E|SubTrees],
  getMaxElems(SubTrees, MaxElems),
  max143([E|MaxElems], Max).

getMaxElems([], []).
getMaxElems([SubTree|SubTrees], [MaxElem|MaxElems]) :-
  maxT(SubTree, MaxElem),
  getMaxElems(SubTrees, MaxElems).
'''