a=aV0V2V1Aa<V2alengthV0Aa<=c0V2Ia=V2V5ANa>aV0V5V1ANa<aV0V5V1Aa<=V5V4Aa<=V3V5La+V3adiva-V4V3c2Aa<=V3V4Aa<=V6V4Aa<=V3V6Ia=aV0V6V1Ia<V6alengthV0Aa<=c0V6FAa<V4alengthV0Aa<=c0V3EFANa=aV0V7V1Ia<V7alengthV0Aa<=c0V7FINa<=V8V9Aa<=V10V9Aa<=V8V10Ia=aV0V10V1Ia<V10alengthV0Aa<=c0V10FAa<V9alengthV0Aa<=c0V8EAa<=V15V14Aa<=V13V15Ia=aV0V15V1Ia<V15alengthV0Aa<=c0V15FAa<V14alengthV0Aa<=c0V13Aa<a-V14V13a-V12V11Aa<=c0a-V12V11Iia=V13V11Aa=V14a-V16c1Aa>aV0V16V1a=V14V12Aa=V13a+V16c1a<aV0V16V1Aa<=V16V12Aa<=V11V16La+V11adiva-V12V11c2FAa<V17alengthV0Aa<=c0V17INa<aV0V17V1Aa<V17alengthV0Aa<=c0V17Ia<=V17V12Aa<=V11V17Aa<=V17V12Aa<=V11V17La+V11adiva-V12V11c2ANa=c2c0Ia<=V11V12Ia<=V18V12Aa<=V11V18Ia=aV0V18V1Ia<V18alengthV0Aa<=c0V18FAa<V12alengthV0Aa<=c0V11FAa<=V19a-alengthV0c1Aa<=c0V19Ia=aV0V19V1Ia<V19alengthV0Aa<=c0V19FAa<a-alengthV0c1alengthV0Aa<=c0c0Ia<=aV0V20aV0V21Ia<V21alengthV0Aa<=V20V21Aa<=c0V20FF
VC for binary_search
a=aV0V2V1Aa<V2alengthV0Aa<=c0V2Ia=V2V5ANa>aV0V5V1ANa<aV0V5V1Aa<=V5V4Aa<=V3V5EAa<=V3V4Aa<=V6V4Aa<=V3V6Ia=aV0V6V1Ia<V6alengthV0Aa<=c0V6FAa<V4alengthV0Aa<=c0V3EFANa=aV0V7V1Ia<V7alengthV0Aa<=c0V7FINa<=V8V9Aa<=V10V9Aa<=V8V10Ia=aV0V10V1Ia<V10alengthV0Aa<=c0V10FAa<V9alengthV0Aa<=c0V8EAa<=V15V14Aa<=V13V15Ia=aV0V15V1Ia<V15alengthV0Aa<=c0V15FAa<V14alengthV0Aa<=c0V13Aa<a-V14V13a-V12V11Aa<=c0a-V12V11Iia=V13V11Aa=V14a-V16c1Aa>aV0V16V1a=V14V12Aa=V13a+V16c1a<aV0V16V1Aa<=V16V12Aa<=V11V16EFAa<V17alengthV0Aa<=c0V17INa<aV0V17V1Aa<V17alengthV0Aa<=c0V17Ia<=V17V12Aa<=V11V17FAa<=V11V12Ia<=V11V12Ia<=V18V12Aa<=V11V18Ia=aV0V18V1Ia<V18alengthV0Aa<=c0V18FAa<V12alengthV0Aa<=c0V11FAa<=V19a-alengthV0c1Aa<=c0V19Ia=aV0V19V1Ia<V19alengthV0Aa<=c0V19FAa<a-alengthV0c1alengthV0Aa<=c0c0Ia<=aV0V20aV0V21Ia<V21alengthV0Aa<=V20V21Aa<=c0V20FF
a=aV0aint32'intV2V1Aa<aint32'intV2aint32'intalengthV0Aa<=c0aint32'intV2Ia=V2V8ANa>aint32'intaV0aint32'intV8aint32'intV1ANa<aint32'intaV0aint32'intV8aint32'intV1Aa<=aint32'intV8aint32'intV5Aa<=aint32'intV4aint32'intV8Aa=aint32'intV8a+aint32'intV4aint32'intV7EAa=aint32'intV7adivaint32'intV6c2EAa=aint32'intV6a-aint32'intV5aint32'intV4EAa<=aint32'intV4aint32'intV5Aa<=V9aint32'intV5Aa<=aint32'intV4V9Ia=aV0V9V1Ia<V9aint32'intalengthV0Aa<=c0V9FAa<aint32'intV5aint32'intalengthV0Aa<=c0aint32'intV4EAa=aint32'intV3a-aint32'intalengthV0c1EFANa=aV0V10V1Ia<V10aint32'intalengthV0Aa<=c0V10FINa<=aint32'intV12aint32'intV13Aa<=V14aint32'intV13Aa<=aint32'intV12V14Ia=aV0V14V1Ia<V14aint32'intalengthV0Aa<=c0V14FAa<aint32'intV13aint32'intalengthV0Aa<=c0aint32'intV12EAa=aint32'intV11a-aint32'intalengthV0c1EAa<=V21aint32'intV20Aa<=aint32'intV19V21Ia=aV0V21V1Ia<V21aint32'intalengthV0Aa<=c0V21FAa<aint32'intV20aint32'intalengthV0Aa<=c0aint32'intV19Aa<a-aint32'intV20aint32'intV19a-aint32'intV18aint32'intV17Aa<=c0a-aint32'intV18aint32'intV
ia=aV0V3c0Ia<V3V1Aa<=c0V3FAa=aV0V1c1Aa<V1alengthV0Aa<=c0V1a=aV0V6c0Ia<V6V4Aa<=c0V6FAa=aV0V5c1Aa<V5alengthV0Aa<=V4V5Aa<=c0V4Aa<a-V5V4a-V2V1Aa<=c0a-V2V1Iia=V5V2Aa=V4a+V7c1a=V4V1Aa=V5V7a=aV0V7c1La+V1adiva-V2V1c2FAa<V8alengthV0Aa<=c0V8La+V1adiva-V2V1c2ANa=c2c0a<V1V2Ia=aV0V9c0Ia<V9V1Aa<=c0V9FAa=aV0V2c1Aa<V2alengthV0Aa<=V1V2Aa<=c0V1FAa=aV0V10c0Ia<V10c0Aa<=c0V10FAa=aV0a-alengthV0c1c1Aa<a-alengthV0c1alengthV0Aa<=c0a-alengthV0c1Aa<=c0c0Ia=aV0a-alengthV0c1c1Aa<=aV0V12c1Aa<=aV0V11aV0V12Aa<=c0aV0V11Ia<V12alengthV0Aa<=V11V12Aa<=c0V11FAa<c0alengthV0F

2ffd92a81f71c61338182747a5ddb224 1H0
3d24db97988af71d13e969b448c2f451 1H2
fdc2ae14843a6c51eb28fd7c116ac021 1H3
764177b2ca289f133edc0851573a0748 1H4
