# coding=utf-8

id = 135
group = 'trees'
number = 42
visible = True
facts = None

solution = '''\
memberBT(X, b(_, X, _)).
memberBT(X, b(L, _, _)) :-
  memberBT(X, L).
memberBT(X, b(_, _, R)) :-
  memberBT(X, R).
'''