# coding=utf-8

id = 138
group = 'trees'
number = 48
visible = True
facts = None

solution = '''\
deleteBT138(X, b(nil, X, nil), nil).
deleteBT138(X, b(b(Ls, E, Rs), X, R), b(L, E, R)) :-
  deleteBT138(E, b(Ls, E, Rs), L).
deleteBT138(X, b(L, X, b(Ls, E, Rs)), b(L, E, R)) :-
  deleteBT138(E, b(Ls, E, Rs), R).
deleteBT138(X, b(L, E, R), b(L1, E, R)) :-
  deleteBT138(X, L, L1).
deleteBT138(X, b(L, E, R), b(L, E, R1)) :-
  deleteBT138(X, R, R1).

insertBT(X, T, NewT) :-
  deleteBT138(X, NewT, T).
'''