a=aenum_elementsV2a++atree_elementsV0aenum_elementsV1ICa=V2V1aEmptya=aenum_elementsV2a++atree_elementsV3aenum_elementsaNextV4V5V1aNodeVVVV0FACtaEmptyCfaEmptya=V10V6Oa=V9V6aNodeVwVV0aNodeVVVV0F
VC for enum
a=aelementsaiterator'mkV1atree_elementsV0Ia=aenum_elementsV1a++atree_elementsV0aenum_elementsaDoneFF
VC for create_iterator
ahasNextaiterator'mkV0qa=V1aTrueICa=V1aFalseaDonea=V1aTruewV0FF
VC for hasNext
CfaDonea=aelementsV1aConsV2aelementsaiterator'mkV6Ia=V6V5FIa=aenum_elementsV5a++atree_elementsV3aenum_elementsV4FaNextVVVV0IahasNextV1Laiterator'mkV0F
VC for next
amemV0V1qa=V2aTrueICa=V2aFalseaEmptyia=V2iiaFalseaTrueamemV0V5aTruea=V0V4a=V2iaFalseaTrueamemV0V3a<V0V4aNodeVVVV1FACtaEmptyiabstV8ACfaEmptya=V10V8Oa=V9V8aNodeVwVV1INa=V0V7abstV6ACfaEmptya=V12V6Oa=V11V6aNodeVwVV1a<V0V7aNodeVVVV1IabstV1F
VC for bst_mem
CamemV3V1Oa=V3V0qamemV3V2FANamemV0V1AabstV2LaNodeaEmptyV0aEmptyaEmptyiiamemV0V1IamemV0V6AamemV9V1Oa=V9V0qamemV9V8FANamemV0V1AabstV8LaNodeV4V5V7IamemV10V6Oa=V10V0qamemV10V7FANamemV0V6AabstV7FAabstV6ACfaEmptya=V12V6Oa=V11V6aNodeVwVV1amemV0V1IamemV0V4AamemV15V1Oa=V15V0qamemV15V14FANamemV0V1AabstV14LaNodeV13V5V6IamemV16V4Oa=V16V0qamemV16V13FANamemV0V4AabstV13FAabstV4ACfaEmptya=V18V4Oa=V17V4aNodeVwVV1a<V0V5amemV0V1a=V0V5aNodeVVVV1IabstV1F
VC for bst_add
abstV0E
VC for itree
abstatreeV0FatreeV0
tIa=atreeV2V1Aa=V3atreeV2FAabstV1LaEmpty
VC for create
amemV3atreeV1qamemV3V4AabstV4LatreeV1Ia=V2atreeV1F
VC for contains
amemV5atreeV1Oa=V5V3qamemV5atreeV1FAamemV3atreeV1qtItAtIamemV3V4AamemV9atreeV1Oa=V9V3qamemV9atreeV7FAamemV3atreeV1qfIa=V8atreeV7AabstV8Ia=V8V6FIamemV10V4Oa=V10V3qamemV10V6FANamemV3V4AabstV6FAabstV4LatreeV1Ia=V2atreeV1F
VC for add
tIa=atreeV4V3Aa=V5atreeV4FAabstV3LatreeV1Ia=V2atreeV1F
VC for snapshot
a=aelementsV4atree_elementsatreeV1Ia=aelementsV4atree_elementsatreeV1Laiterator'mkV3FIa=V2atreeV1F
VC for iterator
abstatreeV22Aa<alengthaelementsV19alengthaelementsV17Aa<=c0alengthaelementsV17IamemV25atreeV15Oa=V25V21qamemV25atreeV22FAamemV21atreeV15qa=V24aFalseFIa=V23atreeV22FIa=V16atreeV15AabstV16La*V20c3Ia=aelementsV17aConsV20aelementsV19FLaiterator'mkV18FAahasNextV17IahasNextV17IabstV16Laiterator'mkV14FAabstatreeV8Ia=aelementsaiterator'mkV13atree_elementsatreeV11FItAtIa=atreeV11atreeV8Aa=V12atreeV11FItAtAamemc2atreeV8IamemV26atreeV5Oa=V26c3qamemV26atreeV8FAamemc3atreeV5qa=V10aFalseFIa=V9atreeV8FItAtIamemV27atreeV2Oa=V27c2qamemV27atreeV5FAamemc2atreeV2qa=V7aFalseFIa=V6atreeV5FItAtIamemV28atreeV0Oa=V28c1qamemV28atreeV2FAamemc1atreeV0qa=V4aFalseFIa=V3atreeV2FItAtIa=atreeV0aEmptyAa=V1atreeV0F
VC for test

03c19bd434d52e6574d0618c7fb340df 1H0
032a49f37a0cd4da34aaa562d9eb24dd 3H2
d6c350b1eb1bf89c1f6d1e7be6870476 5H4
4ecbb1f52b08754d4d55dd113fa5c8d1 7H6
9db7e2cc6d7260aefe8cd99260a371bc 9H8
52dbdb47643562c061b80b626f3263d7 11H10
e1b6e14fe1dfeb4fb6ad1328e9ba6aeb 13H12
467a8ecb68150e10248887e2fcebbae2 16H15H14
7dd2c650a74bbc5970ee4579082f5d98 18H17H14
4460586bb65c7a8248a37c3f661daab5 20H19H14
aa6a981858fd301ec07850047230c76e 22H21H14
33550a75f287508ca21de72d3fda54bb 24H23H14
ba50e95c94d86c86b041c70064509362 26H25
