def __init__(self, filename=None):
        self.filename = None
        if filename:
            self.load(filename)
def remove(root, key):
    left, right = split(root, key)
    return merge(left, split(right, key + 1)[1])