tAa=V8anullAa=V7V1Aa=V9c1Ia=V5c0Ia=V9c1FIa=V8anullFIa=V7V1FIa=V5c0Ia<V5c2Aa<=c0V5FINa=a@amarkV0V10aTrueIamemV10V2FAamema@arightV0V11V2Aamema@aleftV0V11V2INa=V11anullAamemV11V2FAamemV1V2FF
postcondition
tAa=V8V3Aa=V7V4Aa=V9c2INNa=a@amarkV6V4aTrueANa=V4anullONa=V3anullAa=V5c1ItAa=V8anullAa=V7V1Aa=V9c1Ia=V5c0Ia=V9c1FIa=V8anullFIa=V7V1FIa=V5c0Ia<V5c2Aa<=c0V5FINa=a@amarkV0V10aTrueIamemV10V2FAamema@arightV0V11V2Aamema@aleftV0V11V2INa=V11anullAamemV11V2FAamemV1V2FF
tAaupdateacolorV6acolorV6V8aFalseAaupdateamarkV6amarkV6V8aTrueAaupdatealeftV6aleftV6V4V3Aa=V7a@aleftV6V4Aa=V8V4INa=a@amarkV6V4aTrueOa=V4anullAtAaupdateacolorV6acolorV6V8aTrueAaupdatealeftV6aleftV6V8V4AaupdatearightV6arightV6V8a@aleftV6V3Aa=V7a@arightV6V3Aa=V8V3INa=a@acolorV6V3aTrueAa=a@amarkV6V4aTrueOa=V4anullAtAtAtAaupdatearightV6arightV6V3V4Aa=V8a@arightV6V3Aa=V7V3Ia=a@acolorV6V3aTrueAa=a@amarkV6V4aTrueOa=V4anullAa=V9c1INa=a@amarkV6V4aTrueANa=V4anullONa=V3anullAa=V5c1ItAa=V8V3Aa=V7V4Aa=V9c2INNa=a@amarkV6V4aTrueANa=V4anullONa=V3anullAa=V5c1ItAa=V8anullAa=V7V1Aa=V9c1Ia=V5c0Ia=V9c1FIa=V8anullFIa=V7V1FIa=V5c0Ia<V5c2Aa<=c0V5FINa=a@amarkV0V10aTrueIamemV10V2FAamema@arightV0V11V2Aamema@aleftV0V11V2INa=V11anullAamemV11V2FAamemV1V2FF
Na=V4anullINa=V4anullIa=V3anullIa=V5c1INa=V5c0Ia<V5c2Aa<=c0V5FINa=a@amarkV0V7aTrueIamemV7V2FAamema@arightV0V8V2Aamema@aleftV0V8V2INa=V8anullAamemV8V2FAamemV1V2FF
precondition
Na=V4anullINa=V4anullIa=V7aTrueIiia=V7aFalsea=V7iaTrueaFalsea=a@amarkV6V4aTrueNa=V4anulla=V7aTrueNa=V3anullFIa=V5c1INa=V5c0Ia<V5c2Aa<=c0V5FINa=a@amarkV0V8aTrueIamemV8V2FAamema@arightV0V9V2Aamema@aleftV0V9V2INa=V9anullAamemV9V2FAamemV1V2FF
Na=V3anullIa=ia@amarkV6V4aTruea=V4anullaTrueIa=V7aTrueIiia=V7aFalsea=V7iaTrueaFalsea=a@amarkV6V4aTrueNa=V4anulla=V7aTrueNa=V3anullFIa=V5c1INa=V5c0Ia<V5c2Aa<=c0V5FINa=a@amarkV0V8aTrueIamemV8V2FAamema@arightV0V9V2Aamema@aleftV0V9V2INa=V9anullAamemV9V2FAamemV1V2FF
Na=V3anullIa=V8V3FIa=a@acolorV6V3aTrueIa=ia@amarkV6V4aTruea=V4anullaTrueIa=V7aTrueIiia=V7aFalsea=V7iaTrueaFalsea=a@amarkV6V4aTrueNa=V4anulla=V7aTrueNa=V3anullFIa=V5c1INa=V5c0Ia<V5c2Aa<=c0V5FINa=a@amarkV0V9aTrueIamemV9V2FAamema@arightV0V10V2Aamema@aleftV0V10V2INa=V10anullAamemV10V2FAamemV1V2FF
Na=V8anullIa=V9a@arightV6V3FIa=V8V3FIa=a@acolorV6V3aTrueIa=ia@amarkV6V4aTruea=V4anullaTrueIa=V7aTrueIiia=V7aFalsea=V7iaTrueaFalsea=a@amarkV6V4aTrueNa=V4anulla=V7aTrueNa=V3anullFIa=V5c1INa=V5c0Ia<V5c2Aa<=c0V5FINa=a@amarkV0V10aTrueIamemV10V2FAamema@arightV0V11V2Aamema@aleftV0V11V2INa=V11anullAamemV11V2FAamemV1V2FF
a=V10V6Aa=V9anullAa=V8V1Aa=V11c1Ia=V5c0Ia=V11c1FIaupdatearightV10arightV6V8V4Ia=acolorV10acolorV6Aa=amarkV10amarkV6Aa=aleftV10aleftV6FIa=V9a@arightV6V3FIa=V8V3FIa=a@acolorV6V3aTrueIa=ia@amarkV6V4aTruea=V4anullaTrueIa=V7aTrueIiia=V7aFalsea=V7iaTrueaFalsea=a@amarkV6V4aTrueNa=V4anulla=V7aTrueNa=V3anullFIa=V5c1INa=V5c0Ia<V5c2Aa<=c0V5FINa=a@amarkV0V12aTrueIamemV12V2FAamema@arightV0V13V2Aamema@aleftV0V13V2INa=V13anullAamemV13V2FAamemV1V2FF
a=V10V6Aa=V9V3Aa=V8V4Aa=V11c2INNa=a@amarkV6V4aTrueANa=V4anullONa=V3anullAa=V5c1Ia=V10V6Aa=V9anullAa=V8V1Aa=V11c1Ia=V5c0Ia=V11c1FIaupdatearightV10arightV6V8V4Ia=acolorV10acolorV6Aa=amarkV10amarkV6Aa=aleftV10aleftV6FIa=V9a@arightV6V3FIa=V8V3FIa=a@acolorV6V3aTrueIa=ia@amarkV6V4aTruea=V4anullaTrueIa=V7aTrueIiia=V7aFalsea=V7iaTrueaFalsea=a@amarkV6V4aTrueNa=V4anulla=V7aTrueNa=V3anullFIa=V5c1INa=V5c0Ia<V5c2Aa<=c0V5FINa=a@amarkV0V12aTrueIamemV12V2FAamema@arightV0V13V2Aamema@aleftV0V13V2INa=V13anullAamemV13V2FAamemV1V2FF
a=arightV10arightV6AaupdateacolorV10acolorV6V9aFalseAaupdateamarkV10amarkV6V9aTrueAaupdatealeftV10aleftV6V4V3Aa=V8a@aleftV6V4Aa=V9V4INa=a@amarkV6V4aTrueOa=V4anullAa=amarkV10amarkV6AaupdateacolorV10acolorV6V9aTrueAaupdatealeftV10aleftV6V9V4AaupdatearightV10arightV6V9a@aleftV6V3Aa=V8a@arightV6V3Aa=V9V3INa=a@acolorV6V3aTrueAa=a@amarkV6V4aTrueOa=V4anullAa=acolorV10acolorV6Aa=amarkV10amarkV6Aa=aleftV10aleftV6AaupdatearightV10arightV6V3V4Aa=V9a@arightV6V3Aa=V8V3Ia=a@acolorV6V3aTrueAa=a@amarkV6V4aTrueOa=V4anullAa=V11c1INa=a@amarkV6V4aTrueANa=V4anullONa=V3anullAa=V5c1Ia=V10V6Aa=V9V3Aa=V8V4Aa=V11c2INNa=a@amarkV6V4aTrueANa=V4anullONa=V3anullAa=V5c1Ia=V10V6Aa=V9anullAa=V8V1Aa=V11c1Ia=V5c0Ia=V11c1FIaupdatearightV10arightV6V8V4Ia=acolorV10acolorV6Aa=amarkV10amarkV6Aa=aleftV10aleftV6FIa=V9a@arightV6V3FIa=V8V3FIa=a@acolorV6V3aTrueIa=ia@amarkV6V4aTruea=V4anullaTrueIa=V7aTrueIiia=V7aFalsea=V7iaTrueaFalsea=a@amarkV6V4aTrueNa=V4anulla=V7aTrueNa=V3anullFIa=V5c1INa=V5c0Ia<V5c2Aa<=c0V5FINa=a@amarkV0V12aTrueIamemV12V2FAamema@aright
Na=V3anullINa=a@acolorV6V3aTrueIa=ia@amarkV6V4aTruea=V4anullaTrueIa=V7aTrueIiia=V7aFalsea=V7iaTrueaFalsea=a@amarkV6V4aTrueNa=V4anulla=V7aTrueNa=V3anullFIa=V5c1INa=V5c0Ia<V5c2Aa<=c0V5FINa=a@amarkV0V8aTrueIamemV8V2FAamema@arightV0V9V2Aamema@aleftV0V9V2INa=V9anullAamemV9V2FAamemV1V2FF
Na=V3anullIa=V8a@arightV6V3FINa=a@acolorV6V3aTrueIa=ia@amarkV6V4aTruea=V4anullaTrueIa=V7aTrueIiia=V7aFalsea=V7iaTrueaFalsea=a@amarkV6V4aTrueNa=V4anulla=V7aTrueNa=V3anullFIa=V5c1INa=V5c0Ia<V5c2Aa<=c0V5FINa=a@amarkV0V9aTrueIamemV9V2FAamema@arightV0V10V2Aamema@aleftV0V10V2INa=V10anullAamemV10V2FAamemV1V2FF
Na=V3anullIaupdatearightV9arightV6V3a@aleftV6V3Ia=acolorV9acolorV6Aa=amarkV9amarkV6Aa=aleftV9aleftV6FIa=V8a@arightV6V3FINa=a@acolorV6V3aTrueIa=ia@amarkV6V4aTruea=V4anullaTrueIa=V7aTrueIiia=V7aFalsea=V7iaTrueaFalsea=a@amarkV6V4aTrueNa=V4anulla=V7aTrueNa=V3anullFIa=V5c1INa=V5c0Ia<V5c2Aa<=c0V5FINa=a@amarkV0V10aTrueIamemV10V2FAamema@arightV0V11V2Aamema@aleftV0V11V2INa=V11anullAamemV11V2FAamemV1V2FF
Na=V3anullIaupdatealeftV10aleftV9V3V4Ia=acolorV10acolorV9Aa=amarkV10amarkV9Aa=arightV10arightV9FIaupdatearightV9arightV6V3a@aleftV6V3Ia=acolorV9acolorV6Aa=amarkV9amarkV6Aa=aleftV9aleftV6FIa=V8a@arightV6V3FINa=a@acolorV6V3aTrueIa=ia@amarkV6V4aTruea=V4anullaTrueIa=V7aTrueIiia=V7aFalsea=V7iaTrueaFalsea=a@amarkV6V4aTrueNa=V4anulla=V7aTrueNa=V3anullFIa=V5c1INa=V5c0Ia<V5c2Aa<=c0V5FINa=a@amarkV0V11aTrueIamemV11V2FAamema@arightV0V12V2Aamema@aleftV0V12V2INa=V12anullAamemV12V2FAamemV1V2FF
a=V11V6Aa=V3anullAa=V8V1Aa=V12c1Ia=V5c0Ia=V12c1FIaupdateacolorV11acolorV10V3aTrueIa=amarkV11amarkV10Aa=arightV11arightV10Aa=aleftV11aleftV10FIaupdatealeftV10aleftV9V3V4Ia=acolorV10acolorV9Aa=amarkV10amarkV9Aa=arightV10arightV9FIaupdatearightV9arightV6V3a@aleftV6V3Ia=acolorV9acolorV6Aa=amarkV9amarkV6Aa=aleftV9aleftV6FIa=V8a@arightV6V3FINa=a@acolorV6V3aTrueIa=ia@amarkV6V4aTruea=V4anullaTrueIa=V7aTrueIiia=V7aFalsea=V7iaTrueaFalsea=a@amarkV6V4aTrueNa=V4anulla=V7aTrueNa=V3anullFIa=V5c1INa=V5c0Ia<V5c2Aa<=c0V5FINa=a@amarkV0V13aTrueIamemV13V2FAamema@arightV0V14V2Aamema@aleftV0V14V2INa=V14anullAamemV14V2FAamemV1V2FF
a=V11V6AtAa=V8V4Aa=V12c2INNa=a@amarkV6V4aTrueANa=V4anullONa=V3anullAa=V5c1Ia=V11V6Aa=V3anullAa=V8V1Aa=V12c1Ia=V5c0Ia=V12c1FIaupdateacolorV11acolorV10V3aTrueIa=amarkV11amarkV10Aa=arightV11arightV10Aa=aleftV11aleftV10FIaupdatealeftV10aleftV9V3V4Ia=acolorV10acolorV9Aa=amarkV10amarkV9Aa=arightV10arightV9FIaupdatearightV9arightV6V3a@aleftV6V3Ia=acolorV9acolorV6Aa=amarkV9amarkV6Aa=aleftV9aleftV6FIa=V8a@arightV6V3FINa=a@acolorV6V3aTrueIa=ia@amarkV6V4aTruea=V4anullaTrueIa=V7aTrueIiia=V7aFalsea=V7iaTrueaFalsea=a@amarkV6V4aTrueNa=V4anulla=V7aTrueNa=V3anullFIa=V5c1INa=V5c0Ia<V5c2Aa<=c0V5FINa=a@amarkV0V13aTrueIamemV13V2FAamema@arightV0V14V2Aamema@aleftV0V14V2INa=V14anullAamemV14V2FAamemV1V2FF
a=arightV11arightV6AaupdateacolorV11acolorV6V3aFalseAaupdateamarkV11amarkV6V3aTrueAaupdatealeftV11aleftV6V4V3Aa=V8a@aleftV6V4Aa=V3V4INa=a@amarkV6V4aTrueOa=V4anullAa=amarkV11amarkV6AaupdateacolorV11acolorV6V3aTrueAaupdatealeftV11aleftV6V3V4AaupdatearightV11arightV6V3a@aleftV6V3Aa=V8a@arightV6V3AtINa=a@acolorV6V3aTrueAa=a@amarkV6V4aTrueOa=V4anullAa=acolorV11acolorV6Aa=amarkV11amarkV6Aa=aleftV11aleftV6AaupdatearightV11arightV6V3V4Aa=V3a@arightV6V3Aa=V8V3Ia=a@acolorV6V3aTrueAa=a@amarkV6V4aTrueOa=V4anullAa=V12c1INa=a@amarkV6V4aTrueANa=V4anullONa=V3anullAa=V5c1Ia=V11V6AtAa=V8V4Aa=V12c2INNa=a@amarkV6V4aTrueANa=V4anullONa=V3anullAa=V5c1Ia=V11V6Aa=V3anullAa=V8V1Aa=V12c1Ia=V5c0Ia=V12c1FIaupdateacolorV11acolorV10V3aTrueIa=amarkV11amarkV10Aa=arightV11arightV10Aa=aleftV11aleftV10FIaupdatealeftV10aleftV9V3V4Ia=acolorV10acolorV9Aa=amarkV10amarkV9Aa=arightV10arightV9FIaupdatearightV9arightV6V3a@aleftV6V3Ia=acolorV9acolorV6Aa=amarkV9amarkV6Aa=aleftV9aleftV6FIa=V8a@arightV6V3FINa=a@acolorV6V3aTrueIa=ia@amarkV6V4aTruea=V4anulla
Na=V4anullIa=V8V4FINa=ia@amarkV6V4aTruea=V4anullaTrueIa=V7aTrueIiia=V7aFalsea=V7iaTrueaFalsea=a@amarkV6V4aTrueNa=V4anulla=V7aTrueNa=V3anullFIa=V5c1INa=V5c0Ia<V5c2Aa<=c0V5FINa=a@amarkV0V9aTrueIamemV9V2FAamema@arightV0V10V2Aamema@aleftV0V10V2INa=V10anullAamemV10V2FAamemV1V2FF
Na=V8anullIa=V9a@aleftV6V4FIa=V8V4FINa=ia@amarkV6V4aTruea=V4anullaTrueIa=V7aTrueIiia=V7aFalsea=V7iaTrueaFalsea=a@amarkV6V4aTrueNa=V4anulla=V7aTrueNa=V3anullFIa=V5c1INa=V5c0Ia<V5c2Aa<=c0V5FINa=a@amarkV0V10aTrueIamemV10V2FAamema@arightV0V11V2Aamema@aleftV0V11V2INa=V11anullAamemV11V2FAamemV1V2FF
Na=V8anullIaupdatealeftV10aleftV6V8V3Ia=acolorV10acolorV6Aa=amarkV10amarkV6Aa=arightV10arightV6FIa=V9a@aleftV6V4FIa=V8V4FINa=ia@amarkV6V4aTruea=V4anullaTrueIa=V7aTrueIiia=V7aFalsea=V7iaTrueaFalsea=a@amarkV6V4aTrueNa=V4anulla=V7aTrueNa=V3anullFIa=V5c1INa=V5c0Ia<V5c2Aa<=c0V5FINa=a@amarkV0V11aTrueIamemV11V2FAamema@arightV0V12V2Aamema@aleftV0V12V2INa=V12anullAamemV12V2FAamemV1V2FF
Na=V8anullIaupdateamarkV11amarkV10V8aTrueIa=acolorV11acolorV10Aa=arightV11arightV10Aa=aleftV11aleftV10FIaupdatealeftV10aleftV6V8V3Ia=acolorV10acolorV6Aa=amarkV10amarkV6Aa=arightV10arightV6FIa=V9a@aleftV6V4FIa=V8V4FINa=ia@amarkV6V4aTruea=V4anullaTrueIa=V7aTrueIiia=V7aFalsea=V7iaTrueaFalsea=a@amarkV6V4aTrueNa=V4anulla=V7aTrueNa=V3anullFIa=V5c1INa=V5c0Ia<V5c2Aa<=c0V5FINa=a@amarkV0V12aTrueIamemV12V2FAamema@arightV0V13V2Aamema@aleftV0V13V2INa=V13anullAamemV13V2FAamemV1V2FF
a=V12V6Aa=V8anullAa=V9V1Aa=V13c1Ia=V5c0Ia=V13c1FIaupdateacolorV12acolorV11V8aFalseIa=amarkV12amarkV11Aa=arightV12arightV11Aa=aleftV12aleftV11FIaupdateamarkV11amarkV10V8aTrueIa=acolorV11acolorV10Aa=arightV11arightV10Aa=aleftV11aleftV10FIaupdatealeftV10aleftV6V8V3Ia=acolorV10acolorV6Aa=amarkV10amarkV6Aa=arightV10arightV6FIa=V9a@aleftV6V4FIa=V8V4FINa=ia@amarkV6V4aTruea=V4anullaTrueIa=V7aTrueIiia=V7aFalsea=V7iaTrueaFalsea=a@amarkV6V4aTrueNa=V4anulla=V7aTrueNa=V3anullFIa=V5c1INa=V5c0Ia<V5c2Aa<=c0V5FINa=a@amarkV0V14aTrueIamemV14V2FAamema@arightV0V15V2Aamema@aleftV0V15V2INa=V15anullAamemV15V2FAamemV1V2FF
a=V12V6Aa=V8V3Aa=V9V4Aa=V13c2INNa=a@amarkV6V4aTrueANa=V4anullONa=V3anullAa=V5c1Ia=V12V6Aa=V8anullAa=V9V1Aa=V13c1Ia=V5c0Ia=V13c1FIaupdateacolorV12acolorV11V8aFalseIa=amarkV12amarkV11Aa=arightV12arightV11Aa=aleftV12aleftV11FIaupdateamarkV11amarkV10V8aTrueIa=acolorV11acolorV10Aa=arightV11arightV10Aa=aleftV11aleftV10FIaupdatealeftV10aleftV6V8V3Ia=acolorV10acolorV6Aa=amarkV10amarkV6Aa=arightV10arightV6FIa=V9a@aleftV6V4FIa=V8V4FINa=ia@amarkV6V4aTruea=V4anullaTrueIa=V7aTrueIiia=V7aFalsea=V7iaTrueaFalsea=a@amarkV6V4aTrueNa=V4anulla=V7aTrueNa=V3anullFIa=V5c1INa=V5c0Ia<V5c2Aa<=c0V5FINa=a@amarkV0V14aTrueIamemV14V2FAamema@arightV0V15V2Aamema@aleftV0V15V2INa=V15anullAamemV15V2FAamemV1V2FF
a=arightV12arightV6AaupdateacolorV12acolorV6V8aFalseAaupdateamarkV12amarkV6V8aTrueAaupdatealeftV12aleftV6V4V3Aa=V9a@aleftV6V4Aa=V8V4INa=a@amarkV6V4aTrueOa=V4anullAa=amarkV12amarkV6AaupdateacolorV12acolorV6V8aTrueAaupdatealeftV12aleftV6V8V4AaupdatearightV12arightV6V8a@aleftV6V3Aa=V9a@arightV6V3Aa=V8V3INa=a@acolorV6V3aTrueAa=a@amarkV6V4aTrueOa=V4anullAa=acolorV12acolorV6Aa=amarkV12amarkV6Aa=aleftV12aleftV6AaupdatearightV12arightV6V3V4Aa=V8a@arightV6V3Aa=V9V3Ia=a@acolorV6V3aTrueAa=a@amarkV6V4aTrueOa=V4anullAa=V13c1INa=a@amarkV6V4aTrueANa=V4anullONa=V3anullAa=V5c1Ia=V12V6Aa=V8V3Aa=V9V4Aa=V13c2INNa=a@amarkV6V4aTrueANa=V4anullONa=V3anullAa=V5c1Ia=V12V6Aa=V8anullAa=V9V1Aa=V13c1Ia=V5c0Ia=V13c1FIaupdateacolorV12acolorV11V8aFalseIa=amarkV12amarkV11Aa=arightV12arightV11Aa=aleftV12aleftV11FIaupdateamarkV11amarkV10V8aTrueIa=acolorV11acolorV10Aa=arightV11arightV10Aa=aleftV11aleftV10FIaupdatealeftV10aleftV6V8V3Ia=acolorV10acolorV6Aa=amarkV10amarkV6Aa=arightV10arightV6FIa=V9a@aleftV6V4FIa=V8V4FINa=ia@amarkV6V4aTruea=V4anulla
tAa=V3anullAa=V4V1Aa=V8c1Ia=V5c0Ia=V8c2FINa=V7aTrueIiia=V7aFalsea=V7iaTrueaFalsea=a@amarkV6V4aTrueNa=V4anulla=V7aTrueNa=V3anullFIa=V5c1INa=V5c0Ia<V5c2Aa<=c0V5FINa=a@amarkV0V9aTrueIamemV9V2FAamema@arightV0V10V2Aamema@aleftV0V10V2INa=V10anullAamemV10V2FAamemV1V2FF
tAtAtAa=V8c2INNa=a@amarkV6V4aTrueANa=V4anullONa=V3anullAa=V5c1ItAa=V3anullAa=V4V1Aa=V8c1Ia=V5c0Ia=V8c2FINa=V7aTrueIiia=V7aFalsea=V7iaTrueaFalsea=a@amarkV6V4aTrueNa=V4anulla=V7aTrueNa=V3anullFIa=V5c1INa=V5c0Ia<V5c2Aa<=c0V5FINa=a@amarkV0V9aTrueIamemV9V2FAamema@arightV0V10V2Aamema@aleftV0V10V2INa=V10anullAamemV10V2FAamemV1V2FF
tAaupdateacolorV6acolorV6V3aFalseAaupdateamarkV6amarkV6V3aTrueAaupdatealeftV6aleftV6V4V3Aa=V4a@aleftV6V4Aa=V3V4INa=a@amarkV6V4aTrueOa=V4anullAtAaupdateacolorV6acolorV6V3aTrueAaupdatealeftV6aleftV6V3V4AaupdatearightV6arightV6V3a@aleftV6V3Aa=V4a@arightV6V3AtINa=a@acolorV6V3aTrueAa=a@amarkV6V4aTrueOa=V4anullAtAtAtAaupdatearightV6arightV6V3V4Aa=V3a@arightV6V3Aa=V4V3Ia=a@acolorV6V3aTrueAa=a@amarkV6V4aTrueOa=V4anullAa=V8c1INa=a@amarkV6V4aTrueANa=V4anullONa=V3anullAa=V5c1ItAtAtAa=V8c2INNa=a@amarkV6V4aTrueANa=V4anullONa=V3anullAa=V5c1ItAa=V3anullAa=V4V1Aa=V8c1Ia=V5c0Ia=V8c2FINa=V7aTrueIiia=V7aFalsea=V7iaTrueaFalsea=a@amarkV6V4aTrueNa=V4anulla=V7aTrueNa=V3anullFIa=V5c1INa=V5c0Ia<V5c2Aa<=c0V5FINa=a@amarkV0V9aTrueIamemV9V2FAamema@arightV0V10V2Aamema@aleftV0V10V2INa=V10anullAamemV10V2FAamemV1V2FF
fINa=V5c1INa=V5c0Ia<V5c2Aa<=c0V5FINa=a@amarkV0V7aTrueIamemV7V2FAamema@arightV0V8V2Aamema@aleftV0V8V2INa=V8anullAamemV8V2FAamemV1V2FF
unreachable point
Na=V4anullINa=V4anullIa=a@arightV6V8a@arightV0V8Aa=a@aleftV6V8a@aleftV0V8INa=a@amarkV6V8aTrueANa=V8anullFAawell_colored_onV2V7V0amarkV6AamemV4V2Aa=V5c1FFINa=a@amarkV0V9aTrueIamemV9V2FAamema@arightV0V10V2Aamema@aleftV0V10V2INa=V10anullAamemV10V2FAamemV1V2FF
a=V5c1Ia=ia@amarkV6V4aTruea=V4anullaTrueIa=a@arightV6V8a@arightV0V8Aa=a@aleftV6V8a@aleftV0V8INa=a@amarkV6V8aTrueANa=V8anullFAawell_colored_onV2V7V0amarkV6AamemV4V2Aa=V5c1FFINa=a@amarkV0V9aTrueIamemV9V2FAamema@arightV0V10V2Aamema@aleftV0V10V2INa=V10anullAamemV10V2FAamemV1V2FF
tAtIa=V5c1Ia=ia@amarkV6V4aTruea=V4anullaTrueIa=a@arightV6V8a@arightV0V8Aa=a@aleftV6V8a@aleftV0V8INa=a@amarkV6V8aTrueANa=V8anullFAawell_colored_onV2V7V0amarkV6AamemV4V2Aa=V5c1FFINa=a@amarkV0V9aTrueIamemV9V2FAamema@arightV0V10V2Aamema@aleftV0V10V2INa=V10anullAamemV10V2FAamemV1V2FF
aunchanged_structureV6V6ItAtIa=V5c1Ia=ia@amarkV6V4aTruea=V4anullaTrueIa=a@arightV6V8a@arightV0V8Aa=a@aleftV6V8a@aleftV0V8INa=a@amarkV6V8aTrueANa=V8anullFAawell_colored_onV2V7V0amarkV6AamemV4V2Aa=V5c1FFINa=a@amarkV0V9aTrueIamemV9V2FAamema@arightV0V10V2Aamema@aleftV0V10V2INa=V10anullAamemV10V2FAamemV1V2FF
awell_colored_onV2V7V0amarkV6Iaunchanged_structureV6V6ItAtIa=V5c1Ia=ia@amarkV6V4aTruea=V4anullaTrueIa=a@arightV6V8a@arightV0V8Aa=a@aleftV6V8a@aleftV0V8INa=a@amarkV6V8aTrueANa=V8anullFAawell_colored_onV2V7V0amarkV6AamemV4V2Aa=V5c1FFINa=a@amarkV0V9aTrueIamemV9V2FAamema@arightV0V10V2Aamema@aleftV0V10V2INa=V10anullAamemV10V2FAamemV1V2FF
a=a@amarkV6V4aTrueINa=V4anullIawell_colored_onV2V7V0amarkV6Iaunchanged_structureV6V6ItAtIa=V5c1Ia=ia@amarkV6V4aTruea=V4anullaTrueIa=a@arightV6V8a@arightV0V8Aa=a@aleftV6V8a@aleftV0V8INa=a@amarkV6V8aTrueANa=V8anullFAawell_colored_onV2V7V0amarkV6AamemV4V2Aa=V5c1FFINa=a@amarkV0V9aTrueIamemV9V2FAamema@arightV0V10V2Aamema@aleftV0V10V2INa=V10anullAamemV10V2FAamemV1V2FF
tAtIa=a@amarkV6V8aTrueONapathV0V4V8INa=V8anullFIa=a@amarkV6V4aTrueINa=V4anullIawell_colored_onV2V7V0amarkV6Iaunchanged_structureV6V6ItAtIa=V5c1Ia=ia@amarkV6V4aTruea=V4anullaTrueIa=a@arightV6V9a@arightV0V9Aa=a@aleftV6V9a@aleftV0V9INa=a@amarkV6V9aTrueANa=V9anullFAawell_colored_onV2V7V0amarkV6AamemV4V2Aa=V5c1FFINa=a@amarkV0V10aTrueIamemV10V2FAamema@arightV0V11V2Aamema@aleftV0V11V2INa=V11anullAamemV11V2FAamemV1V2FF
a<V5c2Aa<=c0V5LaaddV4V7INa=ia@amarkV6V4aTruea=V4anullaTrueIa=a@arightV6V9a@arightV0V9Aa=a@aleftV6V9a@aleftV0V9INa=a@amarkV6V9aTrueANa=V9anullFAawell_colored_onV2V7V0amarkV6AamemV4V2Aa=V5c1FFINa=a@amarkV0V10aTrueIamemV10V2FAamema@arightV0V11V2Aamema@aleftV0V11V2INa=V11anullAamemV11V2FAamemV1V2FF
a<a-acardinalV2acardinalV8a-acardinalV2acardinalV7Aa<=c0a-acardinalV2acardinalV7Ia=arightV12arightV6AaupdateacolorV12acolorV6V9aFalseAaupdateamarkV12amarkV6V9aTrueAaupdatealeftV12aleftV6V4V3Aa=V10a@aleftV6V4Aa=V9V4INa=a@amarkV6V4aTrueOa=V4anullAa=amarkV12amarkV6AaupdateacolorV12acolorV6V9aTrueAaupdatealeftV12aleftV6V9V4AaupdatearightV12arightV6V9a@aleftV6V3Aa=V10a@arightV6V3Aa=V9V3INa=a@acolorV6V3aTrueAa=a@amarkV6V4aTrueOa=V4anullAa=acolorV12acolorV6Aa=amarkV12amarkV6Aa=aleftV12aleftV6AaupdatearightV12arightV6V3V4Aa=V9a@arightV6V3Aa=V10V3Ia=a@acolorV6V3aTrueAa=a@amarkV6V4aTrueOa=V4anullAa=V11c1INa=a@amarkV6V4aTrueANa=V4anullONa=V3anullAa=V5c1Aa=V12V6Aa=V9V3Aa=V10V4Aa=V11c2INNa=a@amarkV6V4aTrueANa=V4anullONa=V3anullAa=V5c1Aa=V12V6Aa=V9anullAa=V10V1Aa=V11c1Ia=V5c0FLaaddV4V7INa=ia@amarkV6V4aTruea=V4anullaTrueIa=a@arightV6V13a@arightV0V13Aa=a@aleftV6V13a@aleftV0V13INa=a@amarkV6V13aTrueANa=V13anullFAawell_colored_onV2V7V0amarkV6AamemV4V2Aa=V5c1FFINa=a@amarkV0V14aTrueIamemV14V2FAamema@arightV0V15V2Aamema@aleftV0V15
variant decrease
a=V11c1Ia=arightV12arightV6AaupdateacolorV12acolorV6V9aFalseAaupdateamarkV12amarkV6V9aTrueAaupdatealeftV12aleftV6V4V3Aa=V10a@aleftV6V4Aa=V9V4INa=a@amarkV6V4aTrueOa=V4anullAa=amarkV12amarkV6AaupdateacolorV12acolorV6V9aTrueAaupdatealeftV12aleftV6V9V4AaupdatearightV12arightV6V9a@aleftV6V3Aa=V10a@arightV6V3Aa=V9V3INa=a@acolorV6V3aTrueAa=a@amarkV6V4aTrueOa=V4anullAa=acolorV12acolorV6Aa=amarkV12amarkV6Aa=aleftV12aleftV6AaupdatearightV12arightV6V3V4Aa=V9a@arightV6V3Aa=V10V3Ia=a@acolorV6V3aTrueAa=a@amarkV6V4aTrueOa=V4anullAa=V11c1INa=a@amarkV6V4aTrueANa=V4anullONa=V3anullAa=V5c1Aa=V12V6Aa=V9V3Aa=V10V4Aa=V11c2INNa=a@amarkV6V4aTrueANa=V4anullONa=V3anullAa=V5c1Aa=V12V6Aa=V9anullAa=V10V1Aa=V11c1Ia=V5c0FLaaddV4V7INa=ia@amarkV6V4aTruea=V4anullaTrueIa=a@arightV6V13a@arightV0V13Aa=a@aleftV6V13a@aleftV0V13INa=a@amarkV6V13aTrueANa=V13anullFAawell_colored_onV2V7V0amarkV6AamemV4V2Aa=V5c1FFINa=a@amarkV0V14aTrueIamemV14V2FAamema@arightV0V15V2Aamema@aleftV0V15V2INa=V15anullAamemV15V2FAamemV1V2FF
amemV10V2Ia=V11c1Ia=arightV12arightV6AaupdateacolorV12acolorV6V9aFalseAaupdateamarkV12amarkV6V9aTrueAaupdatealeftV12aleftV6V4V3Aa=V10a@aleftV6V4Aa=V9V4INa=a@amarkV6V4aTrueOa=V4anullAa=amarkV12amarkV6AaupdateacolorV12acolorV6V9aTrueAaupdatealeftV12aleftV6V9V4AaupdatearightV12arightV6V9a@aleftV6V3Aa=V10a@arightV6V3Aa=V9V3INa=a@acolorV6V3aTrueAa=a@amarkV6V4aTrueOa=V4anullAa=acolorV12acolorV6Aa=amarkV12amarkV6Aa=aleftV12aleftV6AaupdatearightV12arightV6V3V4Aa=V9a@arightV6V3Aa=V10V3Ia=a@acolorV6V3aTrueAa=a@amarkV6V4aTrueOa=V4anullAa=V11c1INa=a@amarkV6V4aTrueANa=V4anullONa=V3anullAa=V5c1Aa=V12V6Aa=V9V3Aa=V10V4Aa=V11c2INNa=a@amarkV6V4aTrueANa=V4anullONa=V3anullAa=V5c1Aa=V12V6Aa=V9anullAa=V10V1Aa=V11c1Ia=V5c0FLaaddV4V7INa=ia@amarkV6V4aTruea=V4anullaTrueIa=a@arightV6V13a@arightV0V13Aa=a@aleftV6V13a@aleftV0V13INa=a@amarkV6V13aTrueANa=V13anullFAawell_colored_onV2V7V0amarkV6AamemV4V2Aa=V5c1FFINa=a@amarkV0V14aTrueIamemV14V2FAamema@arightV0V15V2Aamema@aleftV0V15V2INa=V15anullAamemV15V2FAamemV1V2FF
awell_colored_onV2V8V0amarkV12IamemV10V2Ia=V11c1Ia=arightV12arightV6AaupdateacolorV12acolorV6V9aFalseAaupdateamarkV12amarkV6V9aTrueAaupdatealeftV12aleftV6V4V3Aa=V10a@aleftV6V4Aa=V9V4INa=a@amarkV6V4aTrueOa=V4anullAa=amarkV12amarkV6AaupdateacolorV12acolorV6V9aTrueAaupdatealeftV12aleftV6V9V4AaupdatearightV12arightV6V9a@aleftV6V3Aa=V10a@arightV6V3Aa=V9V3INa=a@acolorV6V3aTrueAa=a@amarkV6V4aTrueOa=V4anullAa=acolorV12acolorV6Aa=amarkV12amarkV6Aa=aleftV12aleftV6AaupdatearightV12arightV6V3V4Aa=V9a@arightV6V3Aa=V10V3Ia=a@acolorV6V3aTrueAa=a@amarkV6V4aTrueOa=V4anullAa=V11c1INa=a@amarkV6V4aTrueANa=V4anullONa=V3anullAa=V5c1Aa=V12V6Aa=V9V3Aa=V10V4Aa=V11c2INNa=a@amarkV6V4aTrueANa=V4anullONa=V3anullAa=V5c1Aa=V12V6Aa=V9anullAa=V10V1Aa=V11c1Ia=V5c0FLaaddV4V7INa=ia@amarkV6V4aTruea=V4anullaTrueIa=a@arightV6V13a@arightV0V13Aa=a@aleftV6V13a@aleftV0V13INa=a@amarkV6V13aTrueANa=V13anullFAawell_colored_onV2V7V0amarkV6AamemV4V2Aa=V5c1FFINa=a@amarkV0V14aTrueIamemV14V2FAamema@arightV0V15V2Aamema@aleftV0V15V2INa=V15anullAamemV15V2FAamemV1
a=a@arightV12V13a@arightV0V13Aa=a@aleftV12V13a@aleftV0V13INa=a@amarkV12V13aTrueANa=V13anullFIawell_colored_onV2V8V0amarkV12IamemV10V2Ia=V11c1Ia=arightV12arightV6AaupdateacolorV12acolorV6V9aFalseAaupdateamarkV12amarkV6V9aTrueAaupdatealeftV12aleftV6V4V3Aa=V10a@aleftV6V4Aa=V9V4INa=a@amarkV6V4aTrueOa=V4anullAa=amarkV12amarkV6AaupdateacolorV12acolorV6V9aTrueAaupdatealeftV12aleftV6V9V4AaupdatearightV12arightV6V9a@aleftV6V3Aa=V10a@arightV6V3Aa=V9V3INa=a@acolorV6V3aTrueAa=a@amarkV6V4aTrueOa=V4anullAa=acolorV12acolorV6Aa=amarkV12amarkV6Aa=aleftV12aleftV6AaupdatearightV12arightV6V3V4Aa=V9a@arightV6V3Aa=V10V3Ia=a@acolorV6V3aTrueAa=a@amarkV6V4aTrueOa=V4anullAa=V11c1INa=a@amarkV6V4aTrueANa=V4anullONa=V3anullAa=V5c1Aa=V12V6Aa=V9V3Aa=V10V4Aa=V11c2INNa=a@amarkV6V4aTrueANa=V4anullONa=V3anullAa=V5c1Aa=V12V6Aa=V9anullAa=V10V1Aa=V11c1Ia=V5c0FLaaddV4V7INa=ia@amarkV6V4aTruea=V4anullaTrueIa=a@arightV6V14a@arightV0V14Aa=a@aleftV6V14a@aleftV0V14INa=a@amarkV6V14aTrueANa=V14anullFAawell_colored_onV2V7V0amarkV6AamemV4V2Aa=V5c1FFINa=a@amark
a<V15c2Aa<=c0V15Ia=a@acolorV16V17a@acolorV12V17Aa=a@amarkV16V17a@amarkV12V17Ia=a@amarkV12V17aTrueONapathV0V14V17INa=V17anullFAa=a@amarkV16V14aTrueINa=V14anullAawell_colored_onV2V8V0amarkV16Aaunchanged_structureV12V16Aa=V13V9Aa=V14V10Aa=V15c1FIa=arightV12arightV6AaupdateacolorV12acolorV6V9aFalseAaupdateamarkV12amarkV6V9aTrueAaupdatealeftV12aleftV6V4V3Aa=V10a@aleftV6V4Aa=V9V4INa=a@amarkV6V4aTrueOa=V4anullAa=amarkV12amarkV6AaupdateacolorV12acolorV6V9aTrueAaupdatealeftV12aleftV6V9V4AaupdatearightV12arightV6V9a@aleftV6V3Aa=V10a@arightV6V3Aa=V9V3INa=a@acolorV6V3aTrueAa=a@amarkV6V4aTrueOa=V4anullAa=acolorV12acolorV6Aa=amarkV12amarkV6Aa=aleftV12aleftV6AaupdatearightV12arightV6V3V4Aa=V9a@arightV6V3Aa=V10V3Ia=a@acolorV6V3aTrueAa=a@amarkV6V4aTrueOa=V4anullAa=V11c1INa=a@amarkV6V4aTrueANa=V4anullONa=V3anullAa=V5c1Aa=V12V6Aa=V9V3Aa=V10V4Aa=V11c2INNa=a@amarkV6V4aTrueANa=V4anullONa=V3anullAa=V5c1Aa=V12V6Aa=V9anullAa=V10V1Aa=V11c1Ia=V5c0FLaaddV4V7INa=ia@amarkV6V4aTruea=V4anullaTrueIa=a@arightV6V18a@arightV0V18Aa=a@aleftV6V18a
a<a-acardinalV2acardinalV8a-acardinalV2acardinalV7Aa<=c0a-acardinalV2acardinalV7Ia=arightV20arightV16AaupdateacolorV20acolorV16V17aFalseAaupdateamarkV20amarkV16V17aTrueAaupdatealeftV20aleftV16V14V13Aa=V18a@aleftV16V14Aa=V17V14INa=a@amarkV16V14aTrueOa=V14anullAa=amarkV20amarkV16AaupdateacolorV20acolorV16V17aTrueAaupdatealeftV20aleftV16V17V14AaupdatearightV20arightV16V17a@aleftV16V13Aa=V18a@arightV16V13Aa=V17V13INa=a@acolorV16V13aTrueAa=a@amarkV16V14aTrueOa=V14anullAa=acolorV20acolorV16Aa=amarkV20amarkV16Aa=aleftV20aleftV16AaupdatearightV20arightV16V13V14Aa=V17a@arightV16V13Aa=V18V13Ia=a@acolorV16V13aTrueAa=a@amarkV16V14aTrueOa=V14anullAa=V19c1INa=a@amarkV16V14aTrueANa=V14anullONa=V13anullAa=V15c1Aa=V20V16Aa=V17V13Aa=V18V14Aa=V19c2INNa=a@amarkV16V14aTrueANa=V14anullONa=V13anullAa=V15c1Aa=V20V16Aa=V17anullAa=V18V1Aa=V19c1Ia=V15c0FIa=a@acolorV16V21a@acolorV12V21Aa=a@amarkV16V21a@amarkV12V21Ia=a@amarkV12V21aTrueONapathV0V14V21INa=V21anullFAa=a@amarkV16V14aTrueINa=V14anullAawell_colored_onV2V8V0amarkV16Aaunchanged_structure
a=V19c1Ia=arightV20arightV16AaupdateacolorV20acolorV16V17aFalseAaupdateamarkV20amarkV16V17aTrueAaupdatealeftV20aleftV16V14V13Aa=V18a@aleftV16V14Aa=V17V14INa=a@amarkV16V14aTrueOa=V14anullAa=amarkV20amarkV16AaupdateacolorV20acolorV16V17aTrueAaupdatealeftV20aleftV16V17V14AaupdatearightV20arightV16V17a@aleftV16V13Aa=V18a@arightV16V13Aa=V17V13INa=a@acolorV16V13aTrueAa=a@amarkV16V14aTrueOa=V14anullAa=acolorV20acolorV16Aa=amarkV20amarkV16Aa=aleftV20aleftV16AaupdatearightV20arightV16V13V14Aa=V17a@arightV16V13Aa=V18V13Ia=a@acolorV16V13aTrueAa=a@amarkV16V14aTrueOa=V14anullAa=V19c1INa=a@amarkV16V14aTrueANa=V14anullONa=V13anullAa=V15c1Aa=V20V16Aa=V17V13Aa=V18V14Aa=V19c2INNa=a@amarkV16V14aTrueANa=V14anullONa=V13anullAa=V15c1Aa=V20V16Aa=V17anullAa=V18V1Aa=V19c1Ia=V15c0FIa=a@acolorV16V21a@acolorV12V21Aa=a@amarkV16V21a@amarkV12V21Ia=a@amarkV12V21aTrueONapathV0V14V21INa=V21anullFAa=a@amarkV16V14aTrueINa=V14anullAawell_colored_onV2V8V0amarkV16Aaunchanged_structureV12V16Aa=V13V9Aa=V14V10Aa=V15c1FIa=arightV12arightV6Aaupdateacolor
amemV18V2Ia=V19c1Ia=arightV20arightV16AaupdateacolorV20acolorV16V17aFalseAaupdateamarkV20amarkV16V17aTrueAaupdatealeftV20aleftV16V14V13Aa=V18a@aleftV16V14Aa=V17V14INa=a@amarkV16V14aTrueOa=V14anullAa=amarkV20amarkV16AaupdateacolorV20acolorV16V17aTrueAaupdatealeftV20aleftV16V17V14AaupdatearightV20arightV16V17a@aleftV16V13Aa=V18a@arightV16V13Aa=V17V13INa=a@acolorV16V13aTrueAa=a@amarkV16V14aTrueOa=V14anullAa=acolorV20acolorV16Aa=amarkV20amarkV16Aa=aleftV20aleftV16AaupdatearightV20arightV16V13V14Aa=V17a@arightV16V13Aa=V18V13Ia=a@acolorV16V13aTrueAa=a@amarkV16V14aTrueOa=V14anullAa=V19c1INa=a@amarkV16V14aTrueANa=V14anullONa=V13anullAa=V15c1Aa=V20V16Aa=V17V13Aa=V18V14Aa=V19c2INNa=a@amarkV16V14aTrueANa=V14anullONa=V13anullAa=V15c1Aa=V20V16Aa=V17anullAa=V18V1Aa=V19c1Ia=V15c0FIa=a@acolorV16V21a@acolorV12V21Aa=a@amarkV16V21a@amarkV12V21Ia=a@amarkV12V21aTrueONapathV0V14V21INa=V21anullFAa=a@amarkV16V14aTrueINa=V14anullAawell_colored_onV2V8V0amarkV16Aaunchanged_structureV12V16Aa=V13V9Aa=V14V10Aa=V15c1FIa=arightV12arightV6Aa
awell_colored_onV2V8V0amarkV20IamemV18V2Ia=V19c1Ia=arightV20arightV16AaupdateacolorV20acolorV16V17aFalseAaupdateamarkV20amarkV16V17aTrueAaupdatealeftV20aleftV16V14V13Aa=V18a@aleftV16V14Aa=V17V14INa=a@amarkV16V14aTrueOa=V14anullAa=amarkV20amarkV16AaupdateacolorV20acolorV16V17aTrueAaupdatealeftV20aleftV16V17V14AaupdatearightV20arightV16V17a@aleftV16V13Aa=V18a@arightV16V13Aa=V17V13INa=a@acolorV16V13aTrueAa=a@amarkV16V14aTrueOa=V14anullAa=acolorV20acolorV16Aa=amarkV20amarkV16Aa=aleftV20aleftV16AaupdatearightV20arightV16V13V14Aa=V17a@arightV16V13Aa=V18V13Ia=a@acolorV16V13aTrueAa=a@amarkV16V14aTrueOa=V14anullAa=V19c1INa=a@amarkV16V14aTrueANa=V14anullONa=V13anullAa=V15c1Aa=V20V16Aa=V17V13Aa=V18V14Aa=V19c2INNa=a@amarkV16V14aTrueANa=V14anullONa=V13anullAa=V15c1Aa=V20V16Aa=V17anullAa=V18V1Aa=V19c1Ia=V15c0FIa=a@acolorV16V21a@acolorV12V21Aa=a@amarkV16V21a@amarkV12V21Ia=a@amarkV12V21aTrueONapathV0V14V21INa=V21anullFAa=a@amarkV16V14aTrueINa=V14anullAawell_colored_onV2V8V0amarkV16Aaunchanged_structureV12V16Aa=V13V9Aa=V14V10
a=a@arightV20V21a@arightV0V21Aa=a@aleftV20V21a@aleftV0V21INa=a@amarkV20V21aTrueANa=V21anullFIawell_colored_onV2V8V0amarkV20IamemV18V2Ia=V19c1Ia=arightV20arightV16AaupdateacolorV20acolorV16V17aFalseAaupdateamarkV20amarkV16V17aTrueAaupdatealeftV20aleftV16V14V13Aa=V18a@aleftV16V14Aa=V17V14INa=a@amarkV16V14aTrueOa=V14anullAa=amarkV20amarkV16AaupdateacolorV20acolorV16V17aTrueAaupdatealeftV20aleftV16V17V14AaupdatearightV20arightV16V17a@aleftV16V13Aa=V18a@arightV16V13Aa=V17V13INa=a@acolorV16V13aTrueAa=a@amarkV16V14aTrueOa=V14anullAa=acolorV20acolorV16Aa=amarkV20amarkV16Aa=aleftV20aleftV16AaupdatearightV20arightV16V13V14Aa=V17a@arightV16V13Aa=V18V13Ia=a@acolorV16V13aTrueAa=a@amarkV16V14aTrueOa=V14anullAa=V19c1INa=a@amarkV16V14aTrueANa=V14anullONa=V13anullAa=V15c1Aa=V20V16Aa=V17V13Aa=V18V14Aa=V19c2INNa=a@amarkV16V14aTrueANa=V14anullONa=V13anullAa=V15c1Aa=V20V16Aa=V17anullAa=V18V1Aa=V19c1Ia=V15c0FIa=a@acolorV16V22a@acolorV12V22Aa=a@amarkV16V22a@amarkV12V22Ia=a@amarkV12V22aTrueONapathV0V14V22INa=V22anullFAa=a@amarkV16V14
a<V23c2Aa<=c0V23Ia=a@acolorV24V25a@acolorV20V25Aa=a@amarkV24V25a@amarkV20V25Ia=a@amarkV20V25aTrueONapathV0V22V25INa=V25anullFAa=a@amarkV24V22aTrueINa=V22anullAawell_colored_onV2V8V0amarkV24Aaunchanged_structureV20V24Aa=V21V17Aa=V22V18Aa=V23c1FIa=arightV20arightV16AaupdateacolorV20acolorV16V17aFalseAaupdateamarkV20amarkV16V17aTrueAaupdatealeftV20aleftV16V14V13Aa=V18a@aleftV16V14Aa=V17V14INa=a@amarkV16V14aTrueOa=V14anullAa=amarkV20amarkV16AaupdateacolorV20acolorV16V17aTrueAaupdatealeftV20aleftV16V17V14AaupdatearightV20arightV16V17a@aleftV16V13Aa=V18a@arightV16V13Aa=V17V13INa=a@acolorV16V13aTrueAa=a@amarkV16V14aTrueOa=V14anullAa=acolorV20acolorV16Aa=amarkV20amarkV16Aa=aleftV20aleftV16AaupdatearightV20arightV16V13V14Aa=V17a@arightV16V13Aa=V18V13Ia=a@acolorV16V13aTrueAa=a@amarkV16V14aTrueOa=V14anullAa=V19c1INa=a@amarkV16V14aTrueANa=V14anullONa=V13anullAa=V15c1Aa=V20V16Aa=V17V13Aa=V18V14Aa=V19c2INNa=a@amarkV16V14aTrueANa=V14anullONa=V13anullAa=V15c1Aa=V20V16Aa=V17anullAa=V18V1Aa=V19c1Ia=V15c0FIa=a@acolorV16V26a@acolor
a=V27c1Ia=arightV28arightV24AaupdateacolorV28acolorV24V25aFalseAaupdateamarkV28amarkV24V25aTrueAaupdatealeftV28aleftV24V22V21Aa=V26a@aleftV24V22Aa=V25V22INa=a@amarkV24V22aTrueOa=V22anullAa=amarkV28amarkV24AaupdateacolorV28acolorV24V25aTrueAaupdatealeftV28aleftV24V25V22AaupdatearightV28arightV24V25a@aleftV24V21Aa=V26a@arightV24V21Aa=V25V21INa=a@acolorV24V21aTrueAa=a@amarkV24V22aTrueOa=V22anullAa=acolorV28acolorV24Aa=amarkV28amarkV24Aa=aleftV28aleftV24AaupdatearightV28arightV24V21V22Aa=V25a@arightV24V21Aa=V26V21Ia=a@acolorV24V21aTrueAa=a@amarkV24V22aTrueOa=V22anullAa=V27c1INa=a@amarkV24V22aTrueANa=V22anullONa=V21anullAa=V23c1Aa=V28V24Aa=V25V21Aa=V26V22Aa=V27c2INNa=a@amarkV24V22aTrueANa=V22anullONa=V21anullAa=V23c1Aa=V28V24Aa=V25anullAa=V26V1Aa=V27c1Ia=V23c0FIa=a@acolorV24V29a@acolorV20V29Aa=a@amarkV24V29a@amarkV20V29Ia=a@amarkV20V29aTrueONapathV0V22V29INa=V29anullFAa=a@amarkV24V22aTrueINa=V22anullAawell_colored_onV2V8V0amarkV24Aaunchanged_structureV20V24Aa=V21V17Aa=V22V18Aa=V23c1FIa=arightV20arightV16Aaupdateacolor
a=V25V3Aa=V26V4Ia=V27c1Ia=arightV28arightV24AaupdateacolorV28acolorV24V25aFalseAaupdateamarkV28amarkV24V25aTrueAaupdatealeftV28aleftV24V22V21Aa=V26a@aleftV24V22Aa=V25V22INa=a@amarkV24V22aTrueOa=V22anullAa=amarkV28amarkV24AaupdateacolorV28acolorV24V25aTrueAaupdatealeftV28aleftV24V25V22AaupdatearightV28arightV24V25a@aleftV24V21Aa=V26a@arightV24V21Aa=V25V21INa=a@acolorV24V21aTrueAa=a@amarkV24V22aTrueOa=V22anullAa=acolorV28acolorV24Aa=amarkV28amarkV24Aa=aleftV28aleftV24AaupdatearightV28arightV24V21V22Aa=V25a@arightV24V21Aa=V26V21Ia=a@acolorV24V21aTrueAa=a@amarkV24V22aTrueOa=V22anullAa=V27c1INa=a@amarkV24V22aTrueANa=V22anullONa=V21anullAa=V23c1Aa=V28V24Aa=V25V21Aa=V26V22Aa=V27c2INNa=a@amarkV24V22aTrueANa=V22anullONa=V21anullAa=V23c1Aa=V28V24Aa=V25anullAa=V26V1Aa=V27c1Ia=V23c0FIa=a@acolorV24V29a@acolorV20V29Aa=a@amarkV24V29a@amarkV20V29Ia=a@amarkV20V29aTrueONapathV0V22V29INa=V29anullFAa=a@amarkV24V22aTrueINa=V22anullAawell_colored_onV2V8V0amarkV24Aaunchanged_structureV20V24Aa=V21V17Aa=V22V18Aa=V23c1FIa=arightV20aright
aunchanged_structureV6V28Ia=V25V3Aa=V26V4Ia=V27c1Ia=arightV28arightV24AaupdateacolorV28acolorV24V25aFalseAaupdateamarkV28amarkV24V25aTrueAaupdatealeftV28aleftV24V22V21Aa=V26a@aleftV24V22Aa=V25V22INa=a@amarkV24V22aTrueOa=V22anullAa=amarkV28amarkV24AaupdateacolorV28acolorV24V25aTrueAaupdatealeftV28aleftV24V25V22AaupdatearightV28arightV24V25a@aleftV24V21Aa=V26a@arightV24V21Aa=V25V21INa=a@acolorV24V21aTrueAa=a@amarkV24V22aTrueOa=V22anullAa=acolorV28acolorV24Aa=amarkV28amarkV24Aa=aleftV28aleftV24AaupdatearightV28arightV24V21V22Aa=V25a@arightV24V21Aa=V26V21Ia=a@acolorV24V21aTrueAa=a@amarkV24V22aTrueOa=V22anullAa=V27c1INa=a@amarkV24V22aTrueANa=V22anullONa=V21anullAa=V23c1Aa=V28V24Aa=V25V21Aa=V26V22Aa=V27c2INNa=a@amarkV24V22aTrueANa=V22anullONa=V21anullAa=V23c1Aa=V28V24Aa=V25anullAa=V26V1Aa=V27c1Ia=V23c0FIa=a@acolorV24V29a@acolorV20V29Aa=a@amarkV24V29a@amarkV20V29Ia=a@amarkV20V29aTrueONapathV0V22V29INa=V29anullFAa=a@amarkV24V22aTrueINa=V22anullAawell_colored_onV2V8V0amarkV24Aaunchanged_structureV20V24Aa=V21V17Aa=V22V
awell_colored_onV2V7V0amarkV28Iaunchanged_structureV6V28Ia=V25V3Aa=V26V4Ia=V27c1Ia=arightV28arightV24AaupdateacolorV28acolorV24V25aFalseAaupdateamarkV28amarkV24V25aTrueAaupdatealeftV28aleftV24V22V21Aa=V26a@aleftV24V22Aa=V25V22INa=a@amarkV24V22aTrueOa=V22anullAa=amarkV28amarkV24AaupdateacolorV28acolorV24V25aTrueAaupdatealeftV28aleftV24V25V22AaupdatearightV28arightV24V25a@aleftV24V21Aa=V26a@arightV24V21Aa=V25V21INa=a@acolorV24V21aTrueAa=a@amarkV24V22aTrueOa=V22anullAa=acolorV28acolorV24Aa=amarkV28amarkV24Aa=aleftV28aleftV24AaupdatearightV28arightV24V21V22Aa=V25a@arightV24V21Aa=V26V21Ia=a@acolorV24V21aTrueAa=a@amarkV24V22aTrueOa=V22anullAa=V27c1INa=a@amarkV24V22aTrueANa=V22anullONa=V21anullAa=V23c1Aa=V28V24Aa=V25V21Aa=V26V22Aa=V27c2INNa=a@amarkV24V22aTrueANa=V22anullONa=V21anullAa=V23c1Aa=V28V24Aa=V25anullAa=V26V1Aa=V27c1Ia=V23c0FIa=a@acolorV24V29a@acolorV20V29Aa=a@amarkV24V29a@amarkV20V29Ia=a@amarkV20V29aTrueONapathV0V22V29INa=V29anullFAa=a@amarkV24V22aTrueINa=V22anullAawell_colored_onV2V8V0amarkV24Aaunchanged_structure
a=a@amarkV28V26aTrueINa=V26anullIawell_colored_onV2V7V0amarkV28Iaunchanged_structureV6V28Ia=V25V3Aa=V26V4Ia=V27c1Ia=arightV28arightV24AaupdateacolorV28acolorV24V25aFalseAaupdateamarkV28amarkV24V25aTrueAaupdatealeftV28aleftV24V22V21Aa=V26a@aleftV24V22Aa=V25V22INa=a@amarkV24V22aTrueOa=V22anullAa=amarkV28amarkV24AaupdateacolorV28acolorV24V25aTrueAaupdatealeftV28aleftV24V25V22AaupdatearightV28arightV24V25a@aleftV24V21Aa=V26a@arightV24V21Aa=V25V21INa=a@acolorV24V21aTrueAa=a@amarkV24V22aTrueOa=V22anullAa=acolorV28acolorV24Aa=amarkV28amarkV24Aa=aleftV28aleftV24AaupdatearightV28arightV24V21V22Aa=V25a@arightV24V21Aa=V26V21Ia=a@acolorV24V21aTrueAa=a@amarkV24V22aTrueOa=V22anullAa=V27c1INa=a@amarkV24V22aTrueANa=V22anullONa=V21anullAa=V23c1Aa=V28V24Aa=V25V21Aa=V26V22Aa=V27c2INNa=a@amarkV24V22aTrueANa=V22anullONa=V21anullAa=V23c1Aa=V28V24Aa=V25anullAa=V26V1Aa=V27c1Ia=V23c0FIa=a@acolorV24V29a@acolorV20V29Aa=a@amarkV24V29a@amarkV20V29Ia=a@amarkV20V29aTrueONapathV0V22V29INa=V29anullFAa=a@amarkV24V22aTrueINa=V22anullAawell_colored_on
a=a@acolorV28V29a@acolorV6V29Aa=a@amarkV28V29a@amarkV6V29Ia=a@amarkV6V29aTrueONapathV0V26V29INa=V29anullFIa=a@amarkV28V26aTrueINa=V26anullIawell_colored_onV2V7V0amarkV28Iaunchanged_structureV6V28Ia=V25V3Aa=V26V4Ia=V27c1Ia=arightV28arightV24AaupdateacolorV28acolorV24V25aFalseAaupdateamarkV28amarkV24V25aTrueAaupdatealeftV28aleftV24V22V21Aa=V26a@aleftV24V22Aa=V25V22INa=a@amarkV24V22aTrueOa=V22anullAa=amarkV28amarkV24AaupdateacolorV28acolorV24V25aTrueAaupdatealeftV28aleftV24V25V22AaupdatearightV28arightV24V25a@aleftV24V21Aa=V26a@arightV24V21Aa=V25V21INa=a@acolorV24V21aTrueAa=a@amarkV24V22aTrueOa=V22anullAa=acolorV28acolorV24Aa=amarkV28amarkV24Aa=aleftV28aleftV24AaupdatearightV28arightV24V21V22Aa=V25a@arightV24V21Aa=V26V21Ia=a@acolorV24V21aTrueAa=a@amarkV24V22aTrueOa=V22anullAa=V27c1INa=a@amarkV24V22aTrueANa=V22anullONa=V21anullAa=V23c1Aa=V28V24Aa=V25V21Aa=V26V22Aa=V27c2INNa=a@amarkV24V22aTrueANa=V22anullONa=V21anullAa=V23c1Aa=V28V24Aa=V25anullAa=V26V1Aa=V27c1Ia=V23c0FIa=a@acolorV24V30a@acolorV20V30Aa=a@amarkV24V30
a<c0c2Aa<=c0c0INa=a@amarkV0V3aTrueIamemV3V2FAamema@arightV0V4V2Aamema@aleftV0V4V2INa=V4anullAamemV4V2FAamemV1V2FF
a=V5c1LaemptyIa=arightV6arightV0AaupdateacolorV6acolorV0V3aFalseAaupdateamarkV6amarkV0V3aTrueAaupdatealeftV6aleftV0anullanullAa=V4a@aleftV0anullAa=V3anullINa=a@amarkV0anullaTrueOtAa=amarkV6amarkV0AaupdateacolorV6acolorV0V3aTrueAaupdatealeftV6aleftV0V3anullAaupdatearightV6arightV0V3a@aleftV0anullAa=V4a@arightV0anullAa=V3anullINa=a@acolorV0anullaTrueAa=a@amarkV0anullaTrueOtAa=acolorV6acolorV0Aa=amarkV6amarkV0Aa=aleftV6aleftV0AaupdatearightV6arightV0anullanullAa=V3a@arightV0anullAa=V4anullIa=a@acolorV0anullaTrueAa=a@amarkV0anullaTrueOtAa=V5c1INa=a@amarkV0anullaTrueAfOfAa=c0c1Aa=V6V0Aa=V3anullAa=V4anullAa=V5c2INNa=a@amarkV0anullaTrueAfOfAa=c0c1Aa=V6V0Aa=V3anullAa=V4V1Aa=V5c1ItFINa=a@amarkV0V8aTrueIamemV8V2FAamema@arightV0V9V2Aamema@aleftV0V9V2INa=V9anullAamemV9V2FAamemV1V2FF
amemV4V2Ia=V5c1LaemptyIa=arightV6arightV0AaupdateacolorV6acolorV0V3aFalseAaupdateamarkV6amarkV0V3aTrueAaupdatealeftV6aleftV0anullanullAa=V4a@aleftV0anullAa=V3anullINa=a@amarkV0anullaTrueOtAa=amarkV6amarkV0AaupdateacolorV6acolorV0V3aTrueAaupdatealeftV6aleftV0V3anullAaupdatearightV6arightV0V3a@aleftV0anullAa=V4a@arightV0anullAa=V3anullINa=a@acolorV0anullaTrueAa=a@amarkV0anullaTrueOtAa=acolorV6acolorV0Aa=amarkV6amarkV0Aa=aleftV6aleftV0AaupdatearightV6arightV0anullanullAa=V3a@arightV0anullAa=V4anullIa=a@acolorV0anullaTrueAa=a@amarkV0anullaTrueOtAa=V5c1INa=a@amarkV0anullaTrueAfOfAa=c0c1Aa=V6V0Aa=V3anullAa=V4anullAa=V5c2INNa=a@amarkV0anullaTrueAfOfAa=c0c1Aa=V6V0Aa=V3anullAa=V4V1Aa=V5c1ItFINa=a@amarkV0V8aTrueIamemV8V2FAamema@arightV0V9V2Aamema@aleftV0V9V2INa=V9anullAamemV9V2FAamemV1V2FF
awell_colored_onV2V7V0amarkV6IamemV4V2Ia=V5c1LaemptyIa=arightV6arightV0AaupdateacolorV6acolorV0V3aFalseAaupdateamarkV6amarkV0V3aTrueAaupdatealeftV6aleftV0anullanullAa=V4a@aleftV0anullAa=V3anullINa=a@amarkV0anullaTrueOtAa=amarkV6amarkV0AaupdateacolorV6acolorV0V3aTrueAaupdatealeftV6aleftV0V3anullAaupdatearightV6arightV0V3a@aleftV0anullAa=V4a@arightV0anullAa=V3anullINa=a@acolorV0anullaTrueAa=a@amarkV0anullaTrueOtAa=acolorV6acolorV0Aa=amarkV6amarkV0Aa=aleftV6aleftV0AaupdatearightV6arightV0anullanullAa=V3a@arightV0anullAa=V4anullIa=a@acolorV0anullaTrueAa=a@amarkV0anullaTrueOtAa=V5c1INa=a@amarkV0anullaTrueAfOfAa=c0c1Aa=V6V0Aa=V3anullAa=V4anullAa=V5c2INNa=a@amarkV0anullaTrueAfOfAa=c0c1Aa=V6V0Aa=V3anullAa=V4V1Aa=V5c1ItFINa=a@amarkV0V8aTrueIamemV8V2FAamema@arightV0V9V2Aamema@aleftV0V9V2INa=V9anullAamemV9V2FAamemV1V2FF
a=a@arightV6V8a@arightV0V8Aa=a@aleftV6V8a@aleftV0V8INa=a@amarkV6V8aTrueANa=V8anullFIawell_colored_onV2V7V0amarkV6IamemV4V2Ia=V5c1LaemptyIa=arightV6arightV0AaupdateacolorV6acolorV0V3aFalseAaupdateamarkV6amarkV0V3aTrueAaupdatealeftV6aleftV0anullanullAa=V4a@aleftV0anullAa=V3anullINa=a@amarkV0anullaTrueOtAa=amarkV6amarkV0AaupdateacolorV6acolorV0V3aTrueAaupdatealeftV6aleftV0V3anullAaupdatearightV6arightV0V3a@aleftV0anullAa=V4a@arightV0anullAa=V3anullINa=a@acolorV0anullaTrueAa=a@amarkV0anullaTrueOtAa=acolorV6acolorV0Aa=amarkV6amarkV0Aa=aleftV6aleftV0AaupdatearightV6arightV0anullanullAa=V3a@arightV0anullAa=V4anullIa=a@acolorV0anullaTrueAa=a@amarkV0anullaTrueOtAa=V5c1INa=a@amarkV0anullaTrueAfOfAa=c0c1Aa=V6V0Aa=V3anullAa=V4anullAa=V5c2INNa=a@amarkV0anullaTrueAfOfAa=c0c1Aa=V6V0Aa=V3anullAa=V4V1Aa=V5c1ItFINa=a@amarkV0V9aTrueIamemV9V2FAamema@arightV0V10V2Aamema@aleftV0V10V2INa=V10anullAamemV10V2FAamemV1V2FF
a<V10c2Aa<=c0V10Ia=a@acolorV11V12a@acolorV6V12Aa=a@amarkV11V12a@amarkV6V12Ia=a@amarkV6V12aTrueONapathV0V9V12INa=V12anullFAa=a@amarkV11V9aTrueINa=V9anullAawell_colored_onV2V7V0amarkV11Aaunchanged_structureV6V11Aa=V8V3Aa=V9V4Aa=V10c1FLaemptyIa=arightV6arightV0AaupdateacolorV6acolorV0V3aFalseAaupdateamarkV6amarkV0V3aTrueAaupdatealeftV6aleftV0anullanullAa=V4a@aleftV0anullAa=V3anullINa=a@amarkV0anullaTrueOtAa=amarkV6amarkV0AaupdateacolorV6acolorV0V3aTrueAaupdatealeftV6aleftV0V3anullAaupdatearightV6arightV0V3a@aleftV0anullAa=V4a@arightV0anullAa=V3anullINa=a@acolorV0anullaTrueAa=a@amarkV0anullaTrueOtAa=acolorV6acolorV0Aa=amarkV6amarkV0Aa=aleftV6aleftV0AaupdatearightV6arightV0anullanullAa=V3a@arightV0anullAa=V4anullIa=a@acolorV0anullaTrueAa=a@amarkV0anullaTrueOtAa=V5c1INa=a@amarkV0anullaTrueAfOfAa=c0c1Aa=V6V0Aa=V3anullAa=V4anullAa=V5c2INNa=a@amarkV0anullaTrueAfOfAa=c0c1Aa=V6V0Aa=V3anullAa=V4V1Aa=V5c1ItFINa=a@amarkV0V13aTrueIamemV13V2FAamema@arightV0V14V2Aamema@aleftV0V14V2INa=V14anullAamemV14V2FAamemV1V2FF
a=V14c2Ia=arightV15arightV11AaupdateacolorV15acolorV11V12aFalseAaupdateamarkV15amarkV11V12aTrueAaupdatealeftV15aleftV11V9V8Aa=V13a@aleftV11V9Aa=V12V9INa=a@amarkV11V9aTrueOa=V9anullAa=amarkV15amarkV11AaupdateacolorV15acolorV11V12aTrueAaupdatealeftV15aleftV11V12V9AaupdatearightV15arightV11V12a@aleftV11V8Aa=V13a@arightV11V8Aa=V12V8INa=a@acolorV11V8aTrueAa=a@amarkV11V9aTrueOa=V9anullAa=acolorV15acolorV11Aa=amarkV15amarkV11Aa=aleftV15aleftV11AaupdatearightV15arightV11V8V9Aa=V12a@arightV11V8Aa=V13V8Ia=a@acolorV11V8aTrueAa=a@amarkV11V9aTrueOa=V9anullAa=V14c1INa=a@amarkV11V9aTrueANa=V9anullONa=V8anullAa=V10c1Aa=V15V11Aa=V12V8Aa=V13V9Aa=V14c2INNa=a@amarkV11V9aTrueANa=V9anullONa=V8anullAa=V10c1Aa=V15V11Aa=V12anullAa=V13V1Aa=V14c1Ia=V10c0FIa=a@acolorV11V16a@acolorV6V16Aa=a@amarkV11V16a@amarkV6V16Ia=a@amarkV6V16aTrueONapathV0V9V16INa=V16anullFAa=a@amarkV11V9aTrueINa=V9anullAawell_colored_onV2V7V0amarkV11Aaunchanged_structureV6V11Aa=V8V3Aa=V9V4Aa=V10c1FLaemptyIa=arightV6arightV0AaupdateacolorV6acolorV0V3aFalseAaupdateamark
assertion
a=a@amarkV15V16aTrueIa=a@amarkV15V19aTrueAamemV19V2ANa=V16anullANa=V19anullIa=V0V17Ia=V19V18Ia=V16V18FFFIa=V14c2Ia=arightV15arightV11AaupdateacolorV15acolorV11V12aFalseAaupdateamarkV15amarkV11V12aTrueAaupdatealeftV15aleftV11V9V8Aa=V13a@aleftV11V9Aa=V12V9INa=a@amarkV11V9aTrueOa=V9anullAa=amarkV15amarkV11AaupdateacolorV15acolorV11V12aTrueAaupdatealeftV15aleftV11V12V9AaupdatearightV15arightV11V12a@aleftV11V8Aa=V13a@arightV11V8Aa=V12V8INa=a@acolorV11V8aTrueAa=a@amarkV11V9aTrueOa=V9anullAa=acolorV15acolorV11Aa=amarkV15amarkV11Aa=aleftV15aleftV11AaupdatearightV15arightV11V8V9Aa=V12a@arightV11V8Aa=V13V8Ia=a@acolorV11V8aTrueAa=a@amarkV11V9aTrueOa=V9anullAa=V14c1INa=a@amarkV11V9aTrueANa=V9anullONa=V8anullAa=V10c1Aa=V15V11Aa=V12V8Aa=V13V9Aa=V14c2INNa=a@amarkV11V9aTrueANa=V9anullONa=V8anullAa=V10c1Aa=V15V11Aa=V12anullAa=V13V1Aa=V14c1Ia=V10c0FIa=a@acolorV11V20a@acolorV6V20Aa=a@amarkV11V20a@amarkV6V20Ia=a@amarkV6V20aTrueONapathV0V9V20INa=V20anullFAa=a@amarkV11V9aTrueINa=V9anullAawell_colored_onV2V7V0amarkV11Aaunchanged_structure
a=a@amarkV15V16aTrueIa=a@amarkV15V21aTrueAamemV21V2ANa=V16anullANa=V21anullIa=V0V17Ia=V21V18Ia=V16V20FIa=a@amarkV15V16aTrueIa=a@amarkV15V22aTrueAamemV22V2ANa=V16anullANa=V22anullIa=V0V17Ia=V22V19Ia=V16V20FAapathV17V19V20AaedgeV17V18V19FFIa=V14c2Ia=arightV15arightV11AaupdateacolorV15acolorV11V12aFalseAaupdateamarkV15amarkV11V12aTrueAaupdatealeftV15aleftV11V9V8Aa=V13a@aleftV11V9Aa=V12V9INa=a@amarkV11V9aTrueOa=V9anullAa=amarkV15amarkV11AaupdateacolorV15acolorV11V12aTrueAaupdatealeftV15aleftV11V12V9AaupdatearightV15arightV11V12a@aleftV11V8Aa=V13a@arightV11V8Aa=V12V8INa=a@acolorV11V8aTrueAa=a@amarkV11V9aTrueOa=V9anullAa=acolorV15acolorV11Aa=amarkV15amarkV11Aa=aleftV15aleftV11AaupdatearightV15arightV11V8V9Aa=V12a@arightV11V8Aa=V13V8Ia=a@acolorV11V8aTrueAa=a@amarkV11V9aTrueOa=V9anullAa=V14c1INa=a@amarkV11V9aTrueANa=V9anullONa=V8anullAa=V10c1Aa=V15V11Aa=V12V8Aa=V13V9Aa=V14c2INNa=a@amarkV11V9aTrueANa=V9anullONa=V8anullAa=V10c1Aa=V15V11Aa=V12anullAa=V13V1Aa=V14c1Ia=V10c0FIa=a@acolorV11V23a@acolorV6V23Aa=a@amarkV11V23a@
a=a@amarkV15V17aTrueIa=a@amarkV15V16aTrueAamemV16V2ANa=V17anullANa=V16anullIapathV0V16V17FIa=V14c2Ia=arightV15arightV11AaupdateacolorV15acolorV11V12aFalseAaupdateamarkV15amarkV11V12aTrueAaupdatealeftV15aleftV11V9V8Aa=V13a@aleftV11V9Aa=V12V9INa=a@amarkV11V9aTrueOa=V9anullAa=amarkV15amarkV11AaupdateacolorV15acolorV11V12aTrueAaupdatealeftV15aleftV11V12V9AaupdatearightV15arightV11V12a@aleftV11V8Aa=V13a@arightV11V8Aa=V12V8INa=a@acolorV11V8aTrueAa=a@amarkV11V9aTrueOa=V9anullAa=acolorV15acolorV11Aa=amarkV15amarkV11Aa=aleftV15aleftV11AaupdatearightV15arightV11V8V9Aa=V12a@arightV11V8Aa=V13V8Ia=a@acolorV11V8aTrueAa=a@amarkV11V9aTrueOa=V9anullAa=V14c1INa=a@amarkV11V9aTrueANa=V9anullONa=V8anullAa=V10c1Aa=V15V11Aa=V12V8Aa=V13V9Aa=V14c2INNa=a@amarkV11V9aTrueANa=V9anullONa=V8anullAa=V10c1Aa=V15V11Aa=V12anullAa=V13V1Aa=V14c1Ia=V10c0FIa=a@acolorV11V18a@acolorV6V18Aa=a@amarkV11V18a@amarkV6V18Ia=a@amarkV6V18aTrueONapathV0V9V18INa=V18anullFAa=a@amarkV11V9aTrueINa=V9anullAawell_colored_onV2V7V0amarkV11Aaunchanged_structureV6V11Aa
aunchanged_structureV0V15Ia=a@amarkV15V17aTrueIa=a@amarkV15V16aTrueAamemV16V2ANa=V17anullANa=V16anullIapathV0V16V17FIa=V14c2Ia=arightV15arightV11AaupdateacolorV15acolorV11V12aFalseAaupdateamarkV15amarkV11V12aTrueAaupdatealeftV15aleftV11V9V8Aa=V13a@aleftV11V9Aa=V12V9INa=a@amarkV11V9aTrueOa=V9anullAa=amarkV15amarkV11AaupdateacolorV15acolorV11V12aTrueAaupdatealeftV15aleftV11V12V9AaupdatearightV15arightV11V12a@aleftV11V8Aa=V13a@arightV11V8Aa=V12V8INa=a@acolorV11V8aTrueAa=a@amarkV11V9aTrueOa=V9anullAa=acolorV15acolorV11Aa=amarkV15amarkV11Aa=aleftV15aleftV11AaupdatearightV15arightV11V8V9Aa=V12a@arightV11V8Aa=V13V8Ia=a@acolorV11V8aTrueAa=a@amarkV11V9aTrueOa=V9anullAa=V14c1INa=a@amarkV11V9aTrueANa=V9anullONa=V8anullAa=V10c1Aa=V15V11Aa=V12V8Aa=V13V9Aa=V14c2INNa=a@amarkV11V9aTrueANa=V9anullONa=V8anullAa=V10c1Aa=V15V11Aa=V12anullAa=V13V1Aa=V14c1Ia=V10c0FIa=a@acolorV11V18a@acolorV6V18Aa=a@amarkV11V18a@amarkV6V18Ia=a@amarkV6V18aTrueONapathV0V9V18INa=V18anullFAa=a@amarkV11V9aTrueINa=V9anullAawell_colored_onV2V7V0amarkV11Aa
a=a@amarkV15V16aTrueINa=V16anullAapathV0V1V16FIaunchanged_structureV0V15Ia=a@amarkV15V18aTrueIa=a@amarkV15V17aTrueAamemV17V2ANa=V18anullANa=V17anullIapathV0V17V18FIa=V14c2Ia=arightV15arightV11AaupdateacolorV15acolorV11V12aFalseAaupdateamarkV15amarkV11V12aTrueAaupdatealeftV15aleftV11V9V8Aa=V13a@aleftV11V9Aa=V12V9INa=a@amarkV11V9aTrueOa=V9anullAa=amarkV15amarkV11AaupdateacolorV15acolorV11V12aTrueAaupdatealeftV15aleftV11V12V9AaupdatearightV15arightV11V12a@aleftV11V8Aa=V13a@arightV11V8Aa=V12V8INa=a@acolorV11V8aTrueAa=a@amarkV11V9aTrueOa=V9anullAa=acolorV15acolorV11Aa=amarkV15amarkV11Aa=aleftV15aleftV11AaupdatearightV15arightV11V8V9Aa=V12a@arightV11V8Aa=V13V8Ia=a@acolorV11V8aTrueAa=a@amarkV11V9aTrueOa=V9anullAa=V14c1INa=a@amarkV11V9aTrueANa=V9anullONa=V8anullAa=V10c1Aa=V15V11Aa=V12V8Aa=V13V9Aa=V14c2INNa=a@amarkV11V9aTrueANa=V9anullONa=V8anullAa=V10c1Aa=V15V11Aa=V12anullAa=V13V1Aa=V14c1Ia=V10c0FIa=a@acolorV11V19a@acolorV6V19Aa=a@amarkV11V19a@amarkV6V19Ia=a@amarkV6V19aTrueONapathV0V9V19INa=V19anullFAa=a@amarkV11V9aTrue
a=a@amarkV15V16a@amarkV0V16INa=V16anullANapathV0V1V16FIa=a@amarkV15V17aTrueINa=V17anullAapathV0V1V17FIaunchanged_structureV0V15Ia=a@amarkV15V19aTrueIa=a@amarkV15V18aTrueAamemV18V2ANa=V19anullANa=V18anullIapathV0V18V19FIa=V14c2Ia=arightV15arightV11AaupdateacolorV15acolorV11V12aFalseAaupdateamarkV15amarkV11V12aTrueAaupdatealeftV15aleftV11V9V8Aa=V13a@aleftV11V9Aa=V12V9INa=a@amarkV11V9aTrueOa=V9anullAa=amarkV15amarkV11AaupdateacolorV15acolorV11V12aTrueAaupdatealeftV15aleftV11V12V9AaupdatearightV15arightV11V12a@aleftV11V8Aa=V13a@arightV11V8Aa=V12V8INa=a@acolorV11V8aTrueAa=a@amarkV11V9aTrueOa=V9anullAa=acolorV15acolorV11Aa=amarkV15amarkV11Aa=aleftV15aleftV11AaupdatearightV15arightV11V8V9Aa=V12a@arightV11V8Aa=V13V8Ia=a@acolorV11V8aTrueAa=a@amarkV11V9aTrueOa=V9anullAa=V14c1INa=a@amarkV11V9aTrueANa=V9anullONa=V8anullAa=V10c1Aa=V15V11Aa=V12V8Aa=V13V9Aa=V14c2INNa=a@amarkV11V9aTrueANa=V9anullONa=V8anullAa=V10c1Aa=V15V11Aa=V12anullAa=V13V1Aa=V14c1Ia=V10c0FIa=a@acolorV11V20a@acolorV6V20Aa=a@amarkV11V20a@amarkV6V20Ia=a@amark
a=a@amarkV15V16a@amarkV0V16INa=V16anullANapathV0V1V16FAa=a@amarkV15V17aTrueINa=V17anullAapathV0V1V17FAaunchanged_structureV0V15Aa=a@amarkV15V19aTrueIa=a@amarkV15V18aTrueAamemV18V2ANa=V19anullANa=V18anullIapathV0V18V19FAa=V14c2Ia=arightV15arightV11AaupdateacolorV15acolorV11V12aFalseAaupdateamarkV15amarkV11V12aTrueAaupdatealeftV15aleftV11V9V8Aa=V13a@aleftV11V9Aa=V12V9INa=a@amarkV11V9aTrueOa=V9anullAa=amarkV15amarkV11AaupdateacolorV15acolorV11V12aTrueAaupdatealeftV15aleftV11V12V9AaupdatearightV15arightV11V12a@aleftV11V8Aa=V13a@arightV11V8Aa=V12V8INa=a@acolorV11V8aTrueAa=a@amarkV11V9aTrueOa=V9anullAa=acolorV15acolorV11Aa=amarkV15amarkV11Aa=aleftV15aleftV11AaupdatearightV15arightV11V8V9Aa=V12a@arightV11V8Aa=V13V8Ia=a@acolorV11V8aTrueAa=a@amarkV11V9aTrueOa=V9anullAa=V14c1INa=a@amarkV11V9aTrueANa=V9anullONa=V8anullAa=V10c1Aa=V15V11Aa=V12V8Aa=V13V9Aa=V14c2INNa=a@amarkV11V9aTrueANa=V9anullONa=V8anullAa=V10c1Aa=V15V11Aa=V12anullAa=V13V1Aa=V14c1Ia=V10c0FAa<V10c2Aa<=c0V10Ia=a@acolorV11V20a@acolorV6V20Aa=a@amarkV11V20a@amark
VC for schorr_waite

46d8479a0fdeca5026d6ca52217a622f 74H73
680c3cc65da03463bcaaf8a41072b159 1H0
7b570de48e57a9e9d0afa86a882f5df6 1H2
dd1d1d05005d5535a521fbe51c4aa158 1H3
6a7b0c17ac15c5f4a0ccad43d1532c16 5H4
23addee00bad740ee7d9893d9ab313e4 5H6
ce2ca212fdb49b2887d05c01f7c62c3c 5H7
b68844f0041f3a328cc9e8a623aae115 5H8
874140316a9786aa7c1b14dda1b06cca 5H9
67e022d9e79e51fa5fddbc5a1c3d51e8 1H10
75881f5b051eb32ba8d4ab5bcb57db19 1H11
08a4fa361515724fb7ea45bd379f49c1 1H12
e25a6ece5072feadc9f82c0c45f5b5a9 5H13
a3694ee3e85a2778bdb9579179371cca 5H14
a3694ee3e85a2778bdb9579179371cca 5H14
0e14beb3a822a769d65f7e2b8493583e 5H15
2663b4da0b3a505e7c51705ae86f0b0f 5H16
5970faf4d76833c0d4da4711395458a1 1H17
65a2bf96d076c7bdc21d5da6486ca7db 1H18
3b93b4ff50b35e4fc3234f63360724dc 1H19
465274c7c0af11e55a308201e0f5b905 5H20
06b8ad735d2cd3580c7dc8b839a14c13 5H21
c7bd3501f301a2ea226d5398bfee237f 5H22
9f8cb72755716c53a0d8a14b45341e09 5H23
449a7de9052e3cbbd52869976199b730 1H24
1e37ff3d7c8a1eb5c9fb53decc7109c6 1H25
963c72c1d04b094adb1864157de85b73 1H26
146deca80eacc97df09cc7517c660680 1H27
f565fe54278f5d763819c431b47600b1 1H28
728a48e92334bdfd208d5b8dc1680026 1H29
849dfc5a3b7520eb59b190ebf396dc5e 31H30
36b46448df358358a2ad367d69cd63c9 5H32
dfd96ae809ceb8ebd53112e7be4b6191 1H33
20b1a59db50fbed30cb59723869e6092 1H34
8068c80546c8eccde331cac77cd2f8c1 1H35
3ff2e6f81eddb1e8da9b0298f1d05570 1H36
9bbbca59df109f2fb7a5eae3f48dbabf 1H37
bc3e021098c14ecd98ff03b594b0a6ec 1H38
498d906ad827473fca58373ab6f7f83a 5H39
6b6bfac3e68dab2ebbd65dbb2c1f1947 41H40
facb14c96f4e5bc0631adce65fd20403 5H42
265deec5ffc82153dd34e702e5846b47 5H43
6e73a32c5760641c2323e66078ae1e40 5H44
35af513bfac3cb81a9ded2dc5b27f7fa 5H45
4ab0a0bb2a281818e8c7afbe8ec2a0af 5H46
5bbf2aa6e92f8d28c3f46e45a2b360b2 41H47
ed6d7faee47025d7fd80619e09bee0f8 5H48
763197757de7b8d313218348f5cd67b8 5H49
f06efbdb9bcf10c58b9f406a8e5662ab 5H50
ded01376a01d8c5b1f2f615f7026aea2 5H51
c12b09b4a980171a90612ca5905b9140 5H52
b0754fe247efcc18bdebc6a7df197c84 1H53
bb45c2b317fa8e6ab0b85b4623664813 1H54
8159466a974f2651c79f86ae72d8e9b3 1H55
ba9b0b63e2e10f4549075eb0dfe9e567 1H56
c3057232a88054f381dead6ca94e50fd 1H57
5f8ee3430d5033cf9a3f34f426f7b0c9 1H58
7c309b7af08c83d766328eb60b35fe15 5H59
14946ba06f43dfa6ada37868a32140b0 5H60
d6f020391a6798003db55244fefd6dbe 5H61
b59bb5bed549e2ee572650e9aa0f9706 5H62
320130345cd001145856e7a13597164f 5H63
16f2b5d9c2d7e5f88852422ad68c2353 5H64
c6e670effba6b2feb710c9cc2a35c6e6 66H65
86384e06c967717baca8973206be7a25 66H69
cd351be633cd3d83344b020e50deda6d 66H67
3a1ec442bdac6fc83e31d046844b557d 66H68
45af27f03b2848291a24f2d72bb8152e 1H70
08d678d14d4120eb2fca73bc9a729891 1H71
0ded4f3f09fd48143be5327982538597 1H72
