def load(self):
        if os.path.exists(self.path):
            with open(self.path, 'r') as f:
                self.body_labels = collections.OrderedDict(json.load(f))
def insert(root, key):
    left, right = split(root, key)
    return merge(merge(left, Treap(key)), right)