Use treap from p1_utils