AvlTree-3.1: Balanced binary trees using the AVL algorithm.