# coding=utf-8

id = 135
number = 42
visible = False
facts = None

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