UNFOLD [ 47 [ 45 [ 16 [] [ 36 [ 32 [] [] ] [] ] ] [ 46 [] [] ] ] [ 97 [ 72 [] [ 91 [] [] ] ] [] ] ]
FOLD
SEARCH 47
REMOVE
CURRENT_EXISTS
FOLD
HAS 47
HAS 91
