17700003714in-set
00in-set-proofin-set-proof-info
set-branchin-set
24set-branch-proofset-branch-proof-info
set-leafin-set
12set-leaf-proofset-leaf-proof-info
refine-delete-minset-minset-butminset-leaf
310refine-delete-min-proofrefine-delete-min-proof-info
set-butminset-minin-set
38set-butmin-proofset-butmin-proof-info
set-minin-set
24set-min-proofset-min-proof-info
refine-insertset-insert
27refine-insert-proofrefine-insert-proof-info
set-insertin-set
12set-insert-proofset-insert-proof-info