Update treap_extended.txt