a>=a*c2adivV0c2a-V0c1Aa>=V0a*c2adivV0c2Ia>=V0c0F
empty_shape
a=a*c2adivV1c2V1Ia>V1c1Iais_power_of_2V1F
a<a-V2V7a-V3V2Aa<=c0a-V3V2Lago_leftV2V3Ia>V3a+V2c1Iaphase1V2V3V4V5Aa=aV5V8aV6V8Ia<V8V3Aa<a-V2a-V3V2V8FF
variant decrease
a=aV5V8aV6V8Ia<V8V2Aa<a-V7a-V2V7V8FLago_leftV2V3Ia>V3a+V2c1Iaphase1V2V3V4V5Aa=aV5V9aV6V9Ia<V9V3Aa<a-V2a-V3V2V9FF
precondition
aphase1V7V2V4V5Ia=aV5V8aV6V8Ia<V8V2Aa<a-V7a-V2V7V8FLago_leftV2V3Ia>V3a+V2c1Iaphase1V2V3V4V5Aa=aV5V9aV6V9Ia<V9V3Aa<a-V2a-V3V2V9FF
a<a-V3V8a-V3V2Aa<=c0a-V3V2Lago_rightV2V3Iaphase1V7V2V4V6Lago_leftV2V3Ia>V3a+V2c1Iaphase1V2V3V4V5Aa=aV5V9aV6V9Ia<V9V3Aa<a-V2a-V3V2V9FF
a=aV5V9aV6V9Ia<V9V3Aa<a-V8a-V3V8V9FLago_rightV2V3Iaphase1V7V2V4V6Lago_leftV2V3Ia>V3a+V2c1Iaphase1V2V3V4V5Aa=aV5V10aV6V10Ia<V10V3Aa<a-V2a-V3V2V10FF
aphase1V8V3V4V5Ia=aV5V9aV6V9Ia<V9V3Aa<a-V8a-V3V8V9FLago_rightV2V3Iaphase1V7V2V4V6Lago_leftV2V3Ia>V3a+V2c1Iaphase1V2V3V4V5Aa=aV5V10aV6V10Ia<V10V3Aa<a-V2a-V3V2V10FF
aphase1V2V3V4V6Iaphase1ago_rightV2V3V3V4V6Aaphase1ago_leftV2V3V2V4V6ONa>V3a+V2c1Iaphase1V2V3V4V5Aa=aV5V7aV6V7Ia<V7V3Aa<a-V2a-V3V2V7FF
postcondition
aphase1V2V3V4V6Iaphase1ago_rightV2V3V3V4V6Aaphase1ago_leftV2V3V2V4V6ONa>V3a+V2c1Aaphase1V8V3V4V5Aa=aV5V9aV6V9Ia<V9V3Aa<a-V8a-V3V8V9FAa<a-V3V8a-V3V2Aa<=c0a-V3V2Lago_rightV2V3Iaphase1V7V2V4V6Aaphase1V7V2V4V5Aa=aV5V10aV6V10Ia<V10V2Aa<a-V7a-V2V7V10FAa<a-V2V7a-V3V2Aa<=c0a-V3V2Lago_leftV2V3Ia>V3a+V2c1Iaphase1V2V3V4V5Aa=aV5V11aV6V11Ia<V11V3Aa<a-V2a-V3V2V11FF
VC for phase1_frame
aphase1V2V3V4V6Iaphase1V2V3V4V5Ia=aV5V7aV6V7Ia<V7V3Aa<a-V2a-V3V2V7FF
a<a-V8V13a-V9V8Aa<=c0a-V9V8Lago_leftV8V9Ia>V9a+V8c1Iaphase1V8V9V10V12Aa=aV10V14aV11V14Ia<V14V9Aa<a-V8a-V9V8V14FF
a=aV10V14aV11V14Ia<V14V8Aa<a-V13a-V8V13V14FLago_leftV8V9Ia>V9a+V8c1Iaphase1V8V9V10V12Aa=aV10V15aV11V15Ia<V15V9Aa<a-V8a-V9V8V15FF
aphase1V13V8V10V12Ia=aV10V14aV11V14Ia<V14V8Aa<a-V13a-V8V13V14FLago_leftV8V9Ia>V9a+V8c1Iaphase1V8V9V10V12Aa=aV10V15aV11V15Ia<V15V9Aa<a-V8a-V9V8V15FF
a<a-V9V14a-V9V8Aa<=c0a-V9V8Lago_rightV8V9Iaphase1V13V8V11V12Lago_leftV8V9Ia>V9a+V8c1Iaphase1V8V9V10V12Aa=aV10V15aV11V15Ia<V15V9Aa<a-V8a-V9V8V15FF
a=aV10V15aV11V15Ia<V15V9Aa<a-V14a-V9V14V15FLago_rightV8V9Iaphase1V13V8V11V12Lago_leftV8V9Ia>V9a+V8c1Iaphase1V8V9V10V12Aa=aV10V16aV11V16Ia<V16V9Aa<a-V8a-V9V8V16FF
aphase1V14V9V10V12Ia=aV10V15aV11V15Ia<V15V9Aa<a-V14a-V9V14V15FLago_rightV8V9Iaphase1V13V8V11V12Lago_leftV8V9Ia>V9a+V8c1Iaphase1V8V9V10V12Aa=aV10V16aV11V16Ia<V16V9Aa<a-V8a-V9V8V16FF
a=aaa0V8aaa0'V8Ia<V8arightAa<a-alefta-arightaleftV8F
aphase1aleftarightaa0aa
aphase1ago_rightaleftarightarightaa0'aaAaphase1ago_leftaleftarightaleftaa0'aaONa>arighta+aleftc1
aphase1aleftarightaa0'aa
aphase1V8V9V11V12Iaphase1ago_rightV8V9V9V11V12Aaphase1ago_leftV8V9V8V11V12ONa>V9a+V8c1Iaphase1V8V9V10V12Aa=aV10V13aV11V13Ia<V13V9Aa<a-V8a-V9V8V13FF
aphase1V8V9V11V12Iaphase1ago_rightV8V9V9V11V12Aaphase1ago_leftV8V9V8V11V12ONa>V9a+V8c1Aaphase1V14V9V10V12Aa=aV10V15aV11V15Ia<V15V9Aa<a-V14a-V9V14V15FAa<a-V9V14a-V9V8Aa<=c0a-V9V8Lago_rightV8V9Iaphase1V13V8V11V12Aaphase1V13V8V10V12Aa=aV10V16aV11V16Ia<V16V8Aa<a-V13a-V8V13V16FAa<a-V8V13a-V9V8Aa<=c0a-V9V8Lago_leftV8V9Ia>V9a+V8c1Iaphase1V8V9V10V12Aa=aV10V17aV11V17Ia<V17V9Aa<a-V8a-V9V8V17FF
VC for phase1_frame2
aphase1V8V9V11V12Iaphase1V8V9V10V12Ia=aV10V13aV11V13Ia<V13V9Aa<a-V8a-V9V8V13FF
Na=c2c0Ia>V15a+V14c1La-V15V14Iais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV16Aa<V14V15Aa<=c0V14F
a<a-V14V18a-V15V14Aa<=c0a-V15V14La-V14adivV17c2Ia>V15a+V14c1La-V15V14Iais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV16Aa<V14V15Aa<=c0V14F
a<V14alengthV16Aa<V18V14Aa<=c0V18La-V14adivV17c2Ia>V15a+V14c1La-V15V14Iais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV16Aa<V14V15Aa<=c0V14F
a<=c-1a-V18a-V14V18Ia<V14alengthV16Aa<V18V14Aa<=c0V18La-V14adivV17c2Ia>V15a+V14c1La-V15V14Iais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV16Aa<V14V15Aa<=c0V14F
ais_power_of_2a-V14V18Ia<=c-1a-V18a-V14V18Ia<V14alengthV16Aa<V18V14Aa<=c0V18La-V14adivV17c2Ia>V15a+V14c1La-V15V14Iais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV16Aa<V14V15Aa<=c0V14F
Na=c2c0Ia=aV19V21aV16V21Ia>V21V14FAa=aV19V22aV16V22Ia<=V22a-V18V20FAa=aV19V14asumV16a+a-V18V20c1a+V14c1La-V14V18Aaphase1V18V14V16V19Ia=alengthV19alengthV16FLa-V14adivV17c2Ia>V15a+V14c1La-V15V14Iais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV16Aa<V14V15Aa<=c0V14F
a<a-V15V20a-V15V14Aa<=c0a-V15V14La-V15adivV17c2Ia=aV19V22aV16V22Ia>V22V14FAa=aV19V23aV16V23Ia<=V23a-V18V21FAa=aV19V14asumV16a+a-V18V21c1a+V14c1La-V14V18Aaphase1V18V14V16V19Ia=alengthV19alengthV16FLa-V14adivV17c2Ia>V15a+V14c1La-V15V14Iais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV16Aa<V14V15Aa<=c0V14F
a<V15alengthV19Aa<V20V15Aa<=c0V20La-V15adivV17c2Ia=aV19V22aV16V22Ia>V22V14FAa=aV19V23aV16V23Ia<=V23a-V18V21FAa=aV19V14asumV16a+a-V18V21c1a+V14c1La-V14V18Aaphase1V18V14V16V19Ia=alengthV19alengthV16FLa-V14adivV17c2Ia>V15a+V14c1La-V15V14Iais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV16Aa<V14V15Aa<=c0V14F
a<=c-1a-V20a-V15V20Ia<V15alengthV19Aa<V20V15Aa<=c0V20La-V15adivV17c2Ia=aV19V22aV16V22Ia>V22V14FAa=aV19V23aV16V23Ia<=V23a-V18V21FAa=aV19V14asumV16a+a-V18V21c1a+V14c1La-V14V18Aaphase1V18V14V16V19Ia=alengthV19alengthV16FLa-V14adivV17c2Ia>V15a+V14c1La-V15V14Iais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV16Aa<V14V15Aa<=c0V14F
ais_power_of_2a-V15V20Ia<=c-1a-V20a-V15V20Ia<V15alengthV19Aa<V20V15Aa<=c0V20La-V15adivV17c2Ia=aV19V22aV16V22Ia>V22V14FAa=aV19V23aV16V23Ia<=V23a-V18V21FAa=aV19V14asumV16a+a-V18V21c1a+V14c1La-V14V18Aaphase1V18V14V16V19Ia=alengthV19alengthV16FLa-V14adivV17c2Ia>V15a+V14c1La-V15V14Iais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV16Aa<V14V15Aa<=c0V14F
aphase1a-V14adivV17c2V14V16V21Ia=aV21V23aV19V23Ia>V23V15FAa=aV21V24aV19V24Ia<=V24a-V20V22FAa=aV21V15asumV19a+a-V20V22c1a+V15c1La-V15V20Aaphase1V20V15V19V21Ia=alengthV21alengthV19FLa-V15adivV17c2Ia=aV19V26aV16V26Ia>V26V14FAa=aV19V27aV16V27Ia<=V27a-V18V25FAa=aV19V14asumV16a+a-V18V25c1a+V14c1La-V14V18Aaphase1V18V14V16V19Ia=alengthV19alengthV16FLa-V14adivV17c2Ia>V15a+V14c1La-V15V14Iais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV16Aa<V14V15Aa<=c0V14F
assertion
aphase1a-V15adivV17c2V15V16V21Iaphase1a-V14adivV17c2V14V16V21Ia=aV21V23aV19V23Ia>V23V15FAa=aV21V24aV19V24Ia<=V24a-V20V22FAa=aV21V15asumV19a+a-V20V22c1a+V15c1La-V15V20Aaphase1V20V15V19V21Ia=alengthV21alengthV19FLa-V15adivV17c2Ia=aV19V26aV16V26Ia>V26V14FAa=aV19V27aV16V27Ia<=V27a-V18V25FAa=aV19V14asumV16a+a-V18V25c1a+V14c1La-V14V18Aaphase1V18V14V16V19Ia=alengthV19alengthV16FLa-V14adivV17c2Ia>V15a+V14c1La-V15V14Iais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV16Aa<V14V15Aa<=c0V14F
a=aV21V14asumV16a+a-V14a-V15V14c1a+V14c1Iaphase1a-V15adivV17c2V15V16V21Iaphase1a-V14adivV17c2V14V16V21Ia=aV21V23aV19V23Ia>V23V15FAa=aV21V24aV19V24Ia<=V24a-V20V22FAa=aV21V15asumV19a+a-V20V22c1a+V15c1La-V15V20Aaphase1V20V15V19V21Ia=alengthV21alengthV19FLa-V15adivV17c2Ia=aV19V26aV16V26Ia>V26V14FAa=aV19V27aV16V27Ia<=V27a-V18V25FAa=aV19V14asumV16a+a-V18V25c1a+V14c1La-V14V18Aaphase1V18V14V16V19Ia=alengthV19alengthV16FLa-V14adivV17c2Ia>V15a+V14c1La-V15V14Iais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV16Aa<V14V15Aa<=c0V14F
a=aV21V15asumV16a+V14c1a+V15c1Ia=aV21V14asumV16a+a-V14a-V15V14c1a+V14c1Iaphase1a-V15adivV17c2V15V16V21Iaphase1a-V14adivV17c2V14V16V21Ia=aV21V23aV19V23Ia>V23V15FAa=aV21V24aV19V24Ia<=V24a-V20V22FAa=aV21V15asumV19a+a-V20V22c1a+V15c1La-V15V20Aaphase1V20V15V19V21Ia=alengthV21alengthV19FLa-V15adivV17c2Ia=aV19V26aV16V26Ia>V26V14FAa=aV19V27aV16V27Ia<=V27a-V18V25FAa=aV19V14asumV16a+a-V18V25c1a+V14c1La-V14V18Aaphase1V18V14V16V19Ia=alengthV19alengthV16FLa-V14adivV17c2Ia>V15a+V14c1La-V15V14Iais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV16Aa<V14V15Aa<=c0V14F
a<V15alengthV21Aa<=c0V15Ia=aV21V15asumV16a+V14c1a+V15c1Ia=aV21V14asumV16a+a-V14a-V15V14c1a+V14c1Iaphase1a-V15adivV17c2V15V16V21Iaphase1a-V14adivV17c2V14V16V21Ia=aV21V23aV19V23Ia>V23V15FAa=aV21V24aV19V24Ia<=V24a-V20V22FAa=aV21V15asumV19a+a-V20V22c1a+V15c1La-V15V20Aaphase1V20V15V19V21Ia=alengthV21alengthV19FLa-V15adivV17c2Ia=aV19V26aV16V26Ia>V26V14FAa=aV19V27aV16V27Ia<=V27a-V18V25FAa=aV19V14asumV16a+a-V18V25c1a+V14c1La-V14V18Aaphase1V18V14V16V19Ia=alengthV19alengthV16FLa-V14adivV17c2Ia>V15a+V14c1La-V15V14Iais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV16Aa<V14V15Aa<=c0V14F
index in array bounds
a<V14alengthV21Aa<=c0V14Ia=aV21V15asumV16a+V14c1a+V15c1Ia=aV21V14asumV16a+a-V14a-V15V14c1a+V14c1Iaphase1a-V15adivV17c2V15V16V21Iaphase1a-V14adivV17c2V14V16V21Ia=aV21V23aV19V23Ia>V23V15FAa=aV21V24aV19V24Ia<=V24a-V20V22FAa=aV21V15asumV19a+a-V20V22c1a+V15c1La-V15V20Aaphase1V20V15V19V21Ia=alengthV21alengthV19FLa-V15adivV17c2Ia=aV19V26aV16V26Ia>V26V14FAa=aV19V27aV16V27Ia<=V27a-V18V25FAa=aV19V14asumV16a+a-V18V25c1a+V14c1La-V14V18Aaphase1V18V14V16V19Ia=alengthV19alengthV16FLa-V14adivV17c2Ia>V15a+V14c1La-V15V14Iais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV16Aa<V14V15Aa<=c0V14F
a<V15alengthV21Aa<=c0V15La+aV21V14aV21V15Ia=aV21V15asumV16a+V14c1a+V15c1Ia=aV21V14asumV16a+a-V14a-V15V14c1a+V14c1Iaphase1a-V15adivV17c2V15V16V21Iaphase1a-V14adivV17c2V14V16V21Ia=aV21V24aV19V24Ia>V24V15FAa=aV21V25aV19V25Ia<=V25a-V20V23FAa=aV21V15asumV19a+a-V20V23c1a+V15c1La-V15V20Aaphase1V20V15V19V21Ia=alengthV21alengthV19FLa-V15adivV17c2Ia=aV19V27aV16V27Ia>V27V14FAa=aV19V28aV16V28Ia<=V28a-V18V26FAa=aV19V14asumV16a+a-V18V26c1a+V14c1La-V14V18Aaphase1V18V14V16V19Ia=alengthV19alengthV16FLa-V14adivV17c2Ia>V15a+V14c1La-V15V14Iais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV16Aa<V14V15Aa<=c0V14F
aphase1a-V14adivV17c2V14V16V23Ia>V15a+V14c1Ia=V23aV21V15V22Aa=aeltsV23asetaeltsV21V15V22Ia=alengthV23alengthV21FLa+aV21V14aV21V15Ia=aV21V15asumV16a+V14c1a+V15c1Ia=aV21V14asumV16a+a-V14a-V15V14c1a+V14c1Iaphase1a-V15adivV17c2V15V16V21Iaphase1a-V14adivV17c2V14V16V21Ia=aV21V25aV19V25Ia>V25V15FAa=aV21V26aV19V26Ia<=V26a-V20V24FAa=aV21V15asumV19a+a-V20V24c1a+V15c1La-V15V20Aaphase1V20V15V19V21Ia=alengthV21alengthV19FLa-V15adivV17c2Ia=aV19V28aV16V28Ia>V28V14FAa=aV19V29aV16V29Ia<=V29a-V18V27FAa=aV19V14asumV16a+a-V18V27c1a+V14c1La-V14V18Aaphase1V18V14V16V19Ia=alengthV19alengthV16FLa-V14adivV17c2Ia>V15a+V14c1La-V15V14Iais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV16Aa<V14V15Aa<=c0V14F
aphase1a-V15adivV17c2V15V16V23Ia>V15a+V14c1Iaphase1a-V14adivV17c2V14V16V23Ia>V15a+V14c1Ia=V23aV21V15V22Aa=aeltsV23asetaeltsV21V15V22Ia=alengthV23alengthV21FLa+aV21V14aV21V15Ia=aV21V15asumV16a+V14c1a+V15c1Ia=aV21V14asumV16a+a-V14a-V15V14c1a+V14c1Iaphase1a-V15adivV17c2V15V16V21Iaphase1a-V14adivV17c2V14V16V21Ia=aV21V25aV19V25Ia>V25V15FAa=aV21V26aV19V26Ia<=V26a-V20V24FAa=aV21V15asumV19a+a-V20V24c1a+V15c1La-V15V20Aaphase1V20V15V19V21Ia=alengthV21alengthV19FLa-V15adivV17c2Ia=aV19V28aV16V28Ia>V28V14FAa=aV19V29aV16V29Ia<=V29a-V18V27FAa=aV19V14asumV16a+a-V18V27c1a+V14c1La-V14V18Aaphase1V18V14V16V19Ia=alengthV19alengthV16FLa-V14adivV17c2Ia>V15a+V14c1La-V15V14Iais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV16Aa<V14V15Aa<=c0V14F
aphase1V14V15V16V23Iaphase1a-V15adivV17c2V15V16V23Ia>V15a+V14c1Iaphase1a-V14adivV17c2V14V16V23Ia>V15a+V14c1Ia=V23aV21V15V22Aa=aeltsV23asetaeltsV21V15V22Ia=alengthV23alengthV21FLa+aV21V14aV21V15Ia=aV21V15asumV16a+V14c1a+V15c1Ia=aV21V14asumV16a+a-V14a-V15V14c1a+V14c1Iaphase1a-V15adivV17c2V15V16V21Iaphase1a-V14adivV17c2V14V16V21Ia=aV21V25aV19V25Ia>V25V15FAa=aV21V26aV19V26Ia<=V26a-V20V24FAa=aV21V15asumV19a+a-V20V24c1a+V15c1La-V15V20Aaphase1V20V15V19V21Ia=alengthV21alengthV19FLa-V15adivV17c2Ia=aV19V28aV16V28Ia>V28V14FAa=aV19V29aV16V29Ia<=V29a-V18V27FAa=aV19V14asumV16a+a-V18V27c1a+V14c1La-V14V18Aaphase1V18V14V16V19Ia=alengthV19alengthV16FLa-V14adivV17c2Ia>V15a+V14c1La-V15V14Iais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV16Aa<V14V15Aa<=c0V14F
a=aV23V25aV16V25Ia>V25V15FAa=aV23V26aV16V26Ia<=V26a-V14V24FAa=aV23V15asumV16a+a-V14V24c1a+V15c1La-V15V14Iaphase1V14V15V16V23Iaphase1a-V15adivV17c2V15V16V23Ia>V15a+V14c1Iaphase1a-V14adivV17c2V14V16V23Ia>V15a+V14c1Ia=V23aV21V15V22Aa=aeltsV23asetaeltsV21V15V22Ia=alengthV23alengthV21FLa+aV21V14aV21V15Ia=aV21V15asumV16a+V14c1a+V15c1Ia=aV21V14asumV16a+a-V14a-V15V14c1a+V14c1Iaphase1a-V15adivV17c2V15V16V21Iaphase1a-V14adivV17c2V14V16V21Ia=aV21V28aV19V28Ia>V28V15FAa=aV21V29aV19V29Ia<=V29a-V20V27FAa=aV21V15asumV19a+a-V20V27c1a+V15c1La-V15V20Aaphase1V20V15V19V21Ia=alengthV21alengthV19FLa-V15adivV17c2Ia=aV19V31aV16V31Ia>V31V14FAa=aV19V32aV16V32Ia<=V32a-V18V30FAa=aV19V14asumV16a+a-V18V30c1a+V14c1La-V14V18Aaphase1V18V14V16V19Ia=alengthV19alengthV16FLa-V14adivV17c2Ia>V15a+V14c1La-V15V14Iais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV16Aa<V14V15Aa<=c0V14F
a<V15alengthV16Aa<=c0V15INa>V15a+V14c1La-V15V14Iais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV16Aa<V14V15Aa<=c0V14F
a<V14alengthV16Aa<=c0V14INa>V15a+V14c1La-V15V14Iais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV16Aa<V14V15Aa<=c0V14F
a<V15alengthV16Aa<=c0V15La+aV16V14aV16V15INa>V15a+V14c1La-V15V14Iais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV16Aa<V14V15Aa<=c0V14F
aphase1a-V14adivV17c2V14V16V19Ia>V15a+V14c1Ia=V19aV16V15V18Aa=aeltsV19asetaeltsV16V15V18Ia=alengthV19alengthV16FLa+aV16V14aV16V15INa>V15a+V14c1La-V15V14Iais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV16Aa<V14V15Aa<=c0V14F
aphase1a-V15adivV17c2V15V16V19Ia>V15a+V14c1Iaphase1a-V14adivV17c2V14V16V19Ia>V15a+V14c1Ia=V19aV16V15V18Aa=aeltsV19asetaeltsV16V15V18Ia=alengthV19alengthV16FLa+aV16V14aV16V15INa>V15a+V14c1La-V15V14Iais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV16Aa<V14V15Aa<=c0V14F
aphase1V14V15V16V19Iaphase1a-V15adivV17c2V15V16V19Ia>V15a+V14c1Iaphase1a-V14adivV17c2V14V16V19Ia>V15a+V14c1Ia=V19aV16V15V18Aa=aeltsV19asetaeltsV16V15V18Ia=alengthV19alengthV16FLa+aV16V14aV16V15INa>V15a+V14c1La-V15V14Iais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV16Aa<V14V15Aa<=c0V14F
a=aV19V21aV16V21Ia>V21V15FAa=aV19V22aV16V22Ia<=V22a-V14V20FAa=aV19V15asumV16a+a-V14V20c1a+V15c1La-V15V14Iaphase1V14V15V16V19Iaphase1a-V15adivV17c2V15V16V19Ia>V15a+V14c1Iaphase1a-V14adivV17c2V14V16V19Ia>V15a+V14c1Ia=V19aV16V15V18Aa=aeltsV19asetaeltsV16V15V18Ia=alengthV19alengthV16FLa+aV16V14aV16V15INa>V15a+V14c1La-V15V14Iais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV16Aa<V14V15Aa<=c0V14F
ia=aV19V21aV16V21Ia>V21V15FAa=aV19V22aV16V22Ia<=V22a-V14V20FAa=aV19V15asumV16a+a-V14V20c1a+V15c1La-V15V14Aaphase1V14V15V16V19Aaphase1a-V15adivV17c2V15V16V19Ia>V15a+V14c1Aaphase1a-V14adivV17c2V14V16V19Ia>V15a+V14c1Ia=V19aV16V15V18Aa=aeltsV19asetaeltsV16V15V18Ia=alengthV19alengthV16FAa<V15alengthV16Aa<=c0V15La+aV16V14aV16V15Aa<V14alengthV16Aa<=c0V14Aa<V15alengthV16Aa<=c0V15a=aV28V30aV16V30Ia>V30V15FAa=aV28V31aV16V31Ia<=V31a-V14V29FAa=aV28V15asumV16a+a-V14V29c1a+V15c1La-V15V14Aaphase1V14V15V16V28Aaphase1a-V15adivV17c2V15V16V28Ia>V15a+V14c1Aaphase1a-V14adivV17c2V14V16V28Ia>V15a+V14c1Ia=V28aV26V15V27Aa=aeltsV28asetaeltsV26V15V27Ia=alengthV28alengthV26FAa<V15alengthV26Aa<=c0V15La+aV26V14aV26V15Aa<V14alengthV26Aa<=c0V14Aa<V15alengthV26Aa<=c0V15Aa=aV26V15asumV16a+V14c1a+V15c1Aa=aV26V14asumV16a+a-V14a-V15V14c1a+V14c1Aaphase1a-V15adivV17c2V15V16V26Aaphase1a-V14adivV17c2V14V16V26Ia=aV26V33aV24V33Ia>V33V15FAa=aV26V34aV24V34Ia<=V34a-V25V32FAa=aV26V15asumV24a+a-V25V32c1a+V15c1La-V15V25Aaphase1V25V15V24V26Ia=alengthV26alength
VC for upsweep
a<V15alengthV17Aa<=c0V15Iaphase1V14V15V16V17Aa=aV17V15asumV16c0a+a-V14a-V15V14c1Aais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV17Aa<V14V15Aa<=c0V14F
a=aV17V15asumV16c0a+a-V14a-V15V14c1LaV17V15Iaphase1V14V15V16V17Aa=aV17V15asumV16c0a+a-V14a-V15V14c1Aais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV17Aa<V14V15Aa<=c0V14F
a=aV17V14asumV16a+a-V14a-V15V14c1a+V14c1Ia=aV17V15asumV16c0a+a-V14a-V15V14c1LaV17V15Iaphase1V14V15V16V17Aa=aV17V15asumV16c0a+a-V14a-V15V14c1Aais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV17Aa<V14V15Aa<=c0V14F
a<V14alengthV17Aa<=c0V14Ia=aV17V14asumV16a+a-V14a-V15V14c1a+V14c1Ia=aV17V15asumV16c0a+a-V14a-V15V14c1LaV17V15Iaphase1V14V15V16V17Aa=aV17V15asumV16c0a+a-V14a-V15V14c1Aais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV17Aa<V14V15Aa<=c0V14F
a<V15alengthV17Aa<=c0V15Ia=aV17V14asumV16a+a-V14a-V15V14c1a+V14c1Ia=aV17V15asumV16c0a+a-V14a-V15V14c1LaV17V15Iaphase1V14V15V16V17Aa=aV17V15asumV16c0a+a-V14a-V15V14c1Aais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV17Aa<V14V15Aa<=c0V14F
a<V15alengthV17Aa<=c0V15La+aV17V15aV17V14Ia=aV17V14asumV16a+a-V14a-V15V14c1a+V14c1Ia=aV17V15asumV16c0a+a-V14a-V15V14c1LaV17V15Iaphase1V14V15V16V17Aa=aV17V15asumV16c0a+a-V14a-V15V14c1Aais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV17Aa<V14V15Aa<=c0V14F
a<V14alengthV20Aa<=c0V14Ia=V20aV17V15V19Aa=aeltsV20asetaeltsV17V15V19Ia=alengthV20alengthV17FLa+aV17V15aV17V14Ia=aV17V14asumV16a+a-V14a-V15V14c1a+V14c1Ia=aV17V15asumV16c0a+a-V14a-V15V14c1LaV17V15Iaphase1V14V15V16V17Aa=aV17V15asumV16c0a+a-V14a-V15V14c1Aais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV17Aa<V14V15Aa<=c0V14F
a=aV21V15asumV16c0a+V14c1Ia=V21aV20V14V18Aa=aeltsV21asetaeltsV20V14V18Ia=alengthV21alengthV20FIa=V20aV17V15V19Aa=aeltsV20asetaeltsV17V15V19Ia=alengthV20alengthV17FLa+aV17V15aV17V14Ia=aV17V14asumV16a+a-V14a-V15V14c1a+V14c1Ia=aV17V15asumV16c0a+a-V14a-V15V14c1LaV17V15Iaphase1V14V15V16V17Aa=aV17V15asumV16c0a+a-V14a-V15V14c1Aais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV17Aa<V14V15Aa<=c0V14F
aphase1ago_leftV14V15V14V16V17La-V15V14Ia>V15a+V14c1Ia=aV21V15asumV16c0a+V14c1Ia=V21aV20V14V18Aa=aeltsV21asetaeltsV20V14V18Ia=alengthV21alengthV20FIa=V20aV17V15V19Aa=aeltsV20asetaeltsV17V15V19Ia=alengthV20alengthV17FLa+aV17V15aV17V14Ia=aV17V14asumV16a+a-V14a-V15V14c1a+V14c1Ia=aV17V15asumV16c0a+a-V14a-V15V14c1LaV17V15Iaphase1V14V15V16V17Aa=aV17V15asumV16c0a+a-V14a-V15V14c1Aais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV17Aa<V14V15Aa<=c0V14F
aphase1ago_rightV14V15V15V16V17Iaphase1ago_leftV14V15V14V16V17La-V15V14Ia>V15a+V14c1Ia=aV21V15asumV16c0a+V14c1Ia=V21aV20V14V18Aa=aeltsV21asetaeltsV20V14V18Ia=alengthV21alengthV20FIa=V20aV17V15V19Aa=aeltsV20asetaeltsV17V15V19Ia=alengthV20alengthV17FLa+aV17V15aV17V14Ia=aV17V14asumV16a+a-V14a-V15V14c1a+V14c1Ia=aV17V15asumV16c0a+a-V14a-V15V14c1LaV17V15Iaphase1V14V15V16V17Aa=aV17V15asumV16c0a+a-V14a-V15V14c1Aais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV17Aa<V14V15Aa<=c0V14F
aphase1ago_rightV14V15V15V16V21Iaphase1ago_rightV14V15V15V16V17Iaphase1ago_leftV14V15V14V16V17La-V15V14Ia>V15a+V14c1Ia=aV21V15asumV16c0a+V14c1Ia=V21aV20V14V18Aa=aeltsV21asetaeltsV20V14V18Ia=alengthV21alengthV20FIa=V20aV17V15V19Aa=aeltsV20asetaeltsV17V15V19Ia=alengthV20alengthV17FLa+aV17V15aV17V14Ia=aV17V14asumV16a+a-V14a-V15V14c1a+V14c1Ia=aV17V15asumV16c0a+a-V14a-V15V14c1LaV17V15Iaphase1V14V15V16V17Aa=aV17V15asumV16c0a+a-V14a-V15V14c1Aais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV17Aa<V14V15Aa<=c0V14F
Na=c2c0Iaphase1ago_rightV14V15V15V16V21Iaphase1ago_rightV14V15V15V16V17Iaphase1ago_leftV14V15V14V16V17La-V15V14Ia>V15a+V14c1Ia=aV21V15asumV16c0a+V14c1Ia=V21aV20V14V18Aa=aeltsV21asetaeltsV20V14V18Ia=alengthV21alengthV20FIa=V20aV17V15V19Aa=aeltsV20asetaeltsV17V15V19Ia=alengthV20alengthV17FLa+aV17V15aV17V14Ia=aV17V14asumV16a+a-V14a-V15V14c1a+V14c1Ia=aV17V15asumV16c0a+a-V14a-V15V14c1LaV17V15Iaphase1V14V15V16V17Aa=aV17V15asumV16c0a+a-V14a-V15V14c1Aais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV17Aa<V14V15Aa<=c0V14F
a<a-V14V23a-V15V14Aa<=c0a-V15V14La-V14adivV22c2Iaphase1ago_rightV14V15V15V16V21Iaphase1ago_rightV14V15V15V16V17Iaphase1ago_leftV14V15V14V16V17La-V15V14Ia>V15a+V14c1Ia=aV21V15asumV16c0a+V14c1Ia=V21aV20V14V18Aa=aeltsV21asetaeltsV20V14V18Ia=alengthV21alengthV20FIa=V20aV17V15V19Aa=aeltsV20asetaeltsV17V15V19Ia=alengthV20alengthV17FLa+aV17V15aV17V14Ia=aV17V14asumV16a+a-V14a-V15V14c1a+V14c1Ia=aV17V15asumV16c0a+a-V14a-V15V14c1LaV17V15Iaphase1V14V15V16V17Aa=aV17V15asumV16c0a+a-V14a-V15V14c1Aais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV17Aa<V14V15Aa<=c0V14F
a<V14alengthV21Aa<V23V14Aa<=c0V23La-V14adivV22c2Iaphase1ago_rightV14V15V15V16V21Iaphase1ago_rightV14V15V15V16V17Iaphase1ago_leftV14V15V14V16V17La-V15V14Ia>V15a+V14c1Ia=aV21V15asumV16c0a+V14c1Ia=V21aV20V14V18Aa=aeltsV21asetaeltsV20V14V18Ia=alengthV21alengthV20FIa=V20aV17V15V19Aa=aeltsV20asetaeltsV17V15V19Ia=alengthV20alengthV17FLa+aV17V15aV17V14Ia=aV17V14asumV16a+a-V14a-V15V14c1a+V14c1Ia=aV17V15asumV16c0a+a-V14a-V15V14c1LaV17V15Iaphase1V14V15V16V17Aa=aV17V15asumV16c0a+a-V14a-V15V14c1Aais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV17Aa<V14V15Aa<=c0V14F
a<=c-1a-V23a-V14V23Ia<V14alengthV21Aa<V23V14Aa<=c0V23La-V14adivV22c2Iaphase1ago_rightV14V15V15V16V21Iaphase1ago_rightV14V15V15V16V17Iaphase1ago_leftV14V15V14V16V17La-V15V14Ia>V15a+V14c1Ia=aV21V15asumV16c0a+V14c1Ia=V21aV20V14V18Aa=aeltsV21asetaeltsV20V14V18Ia=alengthV21alengthV20FIa=V20aV17V15V19Aa=aeltsV20asetaeltsV17V15V19Ia=alengthV20alengthV17FLa+aV17V15aV17V14Ia=aV17V14asumV16a+a-V14a-V15V14c1a+V14c1Ia=aV17V15asumV16c0a+a-V14a-V15V14c1LaV17V15Iaphase1V14V15V16V17Aa=aV17V15asumV16c0a+a-V14a-V15V14c1Aais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV17Aa<V14V15Aa<=c0V14F
ais_power_of_2a-V14V23Ia<=c-1a-V23a-V14V23Ia<V14alengthV21Aa<V23V14Aa<=c0V23La-V14adivV22c2Iaphase1ago_rightV14V15V15V16V21Iaphase1ago_rightV14V15V15V16V17Iaphase1ago_leftV14V15V14V16V17La-V15V14Ia>V15a+V14c1Ia=aV21V15asumV16c0a+V14c1Ia=V21aV20V14V18Aa=aeltsV21asetaeltsV20V14V18Ia=alengthV21alengthV20FIa=V20aV17V15V19Aa=aeltsV20asetaeltsV17V15V19Ia=alengthV20alengthV17FLa+aV17V15aV17V14Ia=aV17V14asumV16a+a-V14a-V15V14c1a+V14c1Ia=aV17V15asumV16c0a+a-V14a-V15V14c1LaV17V15Iaphase1V14V15V16V17Aa=aV17V15asumV16c0a+a-V14a-V15V14c1Aais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV17Aa<V14V15Aa<=c0V14F
a=aV21V14asumV16c0a+a-V23a-V14V23c1Iais_power_of_2a-V14V23Ia<=c-1a-V23a-V14V23Ia<V14alengthV21Aa<V23V14Aa<=c0V23La-V14adivV22c2Iaphase1ago_rightV14V15V15V16V21Iaphase1ago_rightV14V15V15V16V17Iaphase1ago_leftV14V15V14V16V17La-V15V14Ia>V15a+V14c1Ia=aV21V15asumV16c0a+V14c1Ia=V21aV20V14V18Aa=aeltsV21asetaeltsV20V14V18Ia=alengthV21alengthV20FIa=V20aV17V15V19Aa=aeltsV20asetaeltsV17V15V19Ia=alengthV20alengthV17FLa+aV17V15aV17V14Ia=aV17V14asumV16a+a-V14a-V15V14c1a+V14c1Ia=aV17V15asumV16c0a+a-V14a-V15V14c1LaV17V15Iaphase1V14V15V16V17Aa=aV17V15asumV16c0a+a-V14a-V15V14c1Aais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV17Aa<V14V15Aa<=c0V14F
aphase1V23V14V16V21Ia=aV21V14asumV16c0a+a-V23a-V14V23c1Iais_power_of_2a-V14V23Ia<=c-1a-V23a-V14V23Ia<V14alengthV21Aa<V23V14Aa<=c0V23La-V14adivV22c2Iaphase1ago_rightV14V15V15V16V21Iaphase1ago_rightV14V15V15V16V17Iaphase1ago_leftV14V15V14V16V17La-V15V14Ia>V15a+V14c1Ia=aV21V15asumV16c0a+V14c1Ia=V21aV20V14V18Aa=aeltsV21asetaeltsV20V14V18Ia=alengthV21alengthV20FIa=V20aV17V15V19Aa=aeltsV20asetaeltsV17V15V19Ia=alengthV20alengthV17FLa+aV17V15aV17V14Ia=aV17V14asumV16a+a-V14a-V15V14c1a+V14c1Ia=aV17V15asumV16c0a+a-V14a-V15V14c1LaV17V15Iaphase1V14V15V16V17Aa=aV17V15asumV16c0a+a-V14a-V15V14c1Aais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV17Aa<V14V15Aa<=c0V14F
aphase1ago_rightV14V15V15V16V24Ia=aV24V25aV21V25Ia>V25V14FAa=aV24V26aV21V26Ia<=V26a-V23a-V14V23FAapartial_sumV23V14V16V24Ia=alengthV24alengthV21FLa-V14adivV22c2Iaphase1ago_rightV14V15V15V16V21Iaphase1ago_rightV14V15V15V16V17Iaphase1ago_leftV14V15V14V16V17La-V15V14Ia>V15a+V14c1Ia=aV21V15asumV16c0a+V14c1Ia=V21aV20V14V18Aa=aeltsV21asetaeltsV20V14V18Ia=alengthV21alengthV20FIa=V20aV17V15V19Aa=aeltsV20asetaeltsV17V15V19Ia=alengthV20alengthV17FLa+aV17V15aV17V14Ia=aV17V14asumV16a+a-V14a-V15V14c1a+V14c1Ia=aV17V15asumV16c0a+a-V14a-V15V14c1LaV17V15Iaphase1V14V15V16V17Aa=aV17V15asumV16c0a+a-V14a-V15V14c1Aais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV17Aa<V14V15Aa<=c0V14F
Na=c2c0Iaphase1ago_rightV14V15V15V16V24Ia=aV24V25aV21V25Ia>V25V14FAa=aV24V26aV21V26Ia<=V26a-V23a-V14V23FAapartial_sumV23V14V16V24Ia=alengthV24alengthV21FLa-V14adivV22c2Iaphase1ago_rightV14V15V15V16V21Iaphase1ago_rightV14V15V15V16V17Iaphase1ago_leftV14V15V14V16V17La-V15V14Ia>V15a+V14c1Ia=aV21V15asumV16c0a+V14c1Ia=V21aV20V14V18Aa=aeltsV21asetaeltsV20V14V18Ia=alengthV21alengthV20FIa=V20aV17V15V19Aa=aeltsV20asetaeltsV17V15V19Ia=alengthV20alengthV17FLa+aV17V15aV17V14Ia=aV17V14asumV16a+a-V14a-V15V14c1a+V14c1Ia=aV17V15asumV16c0a+a-V14a-V15V14c1LaV17V15Iaphase1V14V15V16V17Aa=aV17V15asumV16c0a+a-V14a-V15V14c1Aais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV17Aa<V14V15Aa<=c0V14F
a<a-V15V25a-V15V14Aa<=c0a-V15V14La-V15adivV22c2Iaphase1ago_rightV14V15V15V16V24Ia=aV24V26aV21V26Ia>V26V14FAa=aV24V27aV21V27Ia<=V27a-V23a-V14V23FAapartial_sumV23V14V16V24Ia=alengthV24alengthV21FLa-V14adivV22c2Iaphase1ago_rightV14V15V15V16V21Iaphase1ago_rightV14V15V15V16V17Iaphase1ago_leftV14V15V14V16V17La-V15V14Ia>V15a+V14c1Ia=aV21V15asumV16c0a+V14c1Ia=V21aV20V14V18Aa=aeltsV21asetaeltsV20V14V18Ia=alengthV21alengthV20FIa=V20aV17V15V19Aa=aeltsV20asetaeltsV17V15V19Ia=alengthV20alengthV17FLa+aV17V15aV17V14Ia=aV17V14asumV16a+a-V14a-V15V14c1a+V14c1Ia=aV17V15asumV16c0a+a-V14a-V15V14c1LaV17V15Iaphase1V14V15V16V17Aa=aV17V15asumV16c0a+a-V14a-V15V14c1Aais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV17Aa<V14V15Aa<=c0V14F
a<V15alengthV24Aa<V25V15Aa<=c0V25La-V15adivV22c2Iaphase1ago_rightV14V15V15V16V24Ia=aV24V26aV21V26Ia>V26V14FAa=aV24V27aV21V27Ia<=V27a-V23a-V14V23FAapartial_sumV23V14V16V24Ia=alengthV24alengthV21FLa-V14adivV22c2Iaphase1ago_rightV14V15V15V16V21Iaphase1ago_rightV14V15V15V16V17Iaphase1ago_leftV14V15V14V16V17La-V15V14Ia>V15a+V14c1Ia=aV21V15asumV16c0a+V14c1Ia=V21aV20V14V18Aa=aeltsV21asetaeltsV20V14V18Ia=alengthV21alengthV20FIa=V20aV17V15V19Aa=aeltsV20asetaeltsV17V15V19Ia=alengthV20alengthV17FLa+aV17V15aV17V14Ia=aV17V14asumV16a+a-V14a-V15V14c1a+V14c1Ia=aV17V15asumV16c0a+a-V14a-V15V14c1LaV17V15Iaphase1V14V15V16V17Aa=aV17V15asumV16c0a+a-V14a-V15V14c1Aais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV17Aa<V14V15Aa<=c0V14F
a<=c-1a-V25a-V15V25Ia<V15alengthV24Aa<V25V15Aa<=c0V25La-V15adivV22c2Iaphase1ago_rightV14V15V15V16V24Ia=aV24V26aV21V26Ia>V26V14FAa=aV24V27aV21V27Ia<=V27a-V23a-V14V23FAapartial_sumV23V14V16V24Ia=alengthV24alengthV21FLa-V14adivV22c2Iaphase1ago_rightV14V15V15V16V21Iaphase1ago_rightV14V15V15V16V17Iaphase1ago_leftV14V15V14V16V17La-V15V14Ia>V15a+V14c1Ia=aV21V15asumV16c0a+V14c1Ia=V21aV20V14V18Aa=aeltsV21asetaeltsV20V14V18Ia=alengthV21alengthV20FIa=V20aV17V15V19Aa=aeltsV20asetaeltsV17V15V19Ia=alengthV20alengthV17FLa+aV17V15aV17V14Ia=aV17V14asumV16a+a-V14a-V15V14c1a+V14c1Ia=aV17V15asumV16c0a+a-V14a-V15V14c1LaV17V15Iaphase1V14V15V16V17Aa=aV17V15asumV16c0a+a-V14a-V15V14c1Aais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV17Aa<V14V15Aa<=c0V14F
ais_power_of_2a-V15V25Ia<=c-1a-V25a-V15V25Ia<V15alengthV24Aa<V25V15Aa<=c0V25La-V15adivV22c2Iaphase1ago_rightV14V15V15V16V24Ia=aV24V26aV21V26Ia>V26V14FAa=aV24V27aV21V27Ia<=V27a-V23a-V14V23FAapartial_sumV23V14V16V24Ia=alengthV24alengthV21FLa-V14adivV22c2Iaphase1ago_rightV14V15V15V16V21Iaphase1ago_rightV14V15V15V16V17Iaphase1ago_leftV14V15V14V16V17La-V15V14Ia>V15a+V14c1Ia=aV21V15asumV16c0a+V14c1Ia=V21aV20V14V18Aa=aeltsV21asetaeltsV20V14V18Ia=alengthV21alengthV20FIa=V20aV17V15V19Aa=aeltsV20asetaeltsV17V15V19Ia=alengthV20alengthV17FLa+aV17V15aV17V14Ia=aV17V14asumV16a+a-V14a-V15V14c1a+V14c1Ia=aV17V15asumV16c0a+a-V14a-V15V14c1LaV17V15Iaphase1V14V15V16V17Aa=aV17V15asumV16c0a+a-V14a-V15V14c1Aais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV17Aa<V14V15Aa<=c0V14F
a=aV24V15asumV16c0a+a-V25a-V15V25c1Iais_power_of_2a-V15V25Ia<=c-1a-V25a-V15V25Ia<V15alengthV24Aa<V25V15Aa<=c0V25La-V15adivV22c2Iaphase1ago_rightV14V15V15V16V24Ia=aV24V26aV21V26Ia>V26V14FAa=aV24V27aV21V27Ia<=V27a-V23a-V14V23FAapartial_sumV23V14V16V24Ia=alengthV24alengthV21FLa-V14adivV22c2Iaphase1ago_rightV14V15V15V16V21Iaphase1ago_rightV14V15V15V16V17Iaphase1ago_leftV14V15V14V16V17La-V15V14Ia>V15a+V14c1Ia=aV21V15asumV16c0a+V14c1Ia=V21aV20V14V18Aa=aeltsV21asetaeltsV20V14V18Ia=alengthV21alengthV20FIa=V20aV17V15V19Aa=aeltsV20asetaeltsV17V15V19Ia=alengthV20alengthV17FLa+aV17V15aV17V14Ia=aV17V14asumV16a+a-V14a-V15V14c1a+V14c1Ia=aV17V15asumV16c0a+a-V14a-V15V14c1LaV17V15Iaphase1V14V15V16V17Aa=aV17V15asumV16c0a+a-V14a-V15V14c1Aais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV17Aa<V14V15Aa<=c0V14F
aphase1V25V15V16V24Ia=aV24V15asumV16c0a+a-V25a-V15V25c1Iais_power_of_2a-V15V25Ia<=c-1a-V25a-V15V25Ia<V15alengthV24Aa<V25V15Aa<=c0V25La-V15adivV22c2Iaphase1ago_rightV14V15V15V16V24Ia=aV24V26aV21V26Ia>V26V14FAa=aV24V27aV21V27Ia<=V27a-V23a-V14V23FAapartial_sumV23V14V16V24Ia=alengthV24alengthV21FLa-V14adivV22c2Iaphase1ago_rightV14V15V15V16V21Iaphase1ago_rightV14V15V15V16V17Iaphase1ago_leftV14V15V14V16V17La-V15V14Ia>V15a+V14c1Ia=aV21V15asumV16c0a+V14c1Ia=V21aV20V14V18Aa=aeltsV21asetaeltsV20V14V18Ia=alengthV21alengthV20FIa=V20aV17V15V19Aa=aeltsV20asetaeltsV17V15V19Ia=alengthV20alengthV17FLa+aV17V15aV17V14Ia=aV17V14asumV16a+a-V14a-V15V14c1a+V14c1Ia=aV17V15asumV16c0a+a-V14a-V15V14c1LaV17V15Iaphase1V14V15V16V17Aa=aV17V15asumV16c0a+a-V14a-V15V14c1Aais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV17Aa<V14V15Aa<=c0V14F
apartial_suma-V14adivV22c2V14V16V26Ia=aV26V27aV24V27Ia>V27V15FAa=aV26V28aV24V28Ia<=V28a-V25a-V15V25FAapartial_sumV25V15V16V26Ia=alengthV26alengthV24FLa-V15adivV22c2Iaphase1ago_rightV14V15V15V16V24Ia=aV24V29aV21V29Ia>V29V14FAa=aV24V30aV21V30Ia<=V30a-V23a-V14V23FAapartial_sumV23V14V16V24Ia=alengthV24alengthV21FLa-V14adivV22c2Iaphase1ago_rightV14V15V15V16V21Iaphase1ago_rightV14V15V15V16V17Iaphase1ago_leftV14V15V14V16V17La-V15V14Ia>V15a+V14c1Ia=aV21V15asumV16c0a+V14c1Ia=V21aV20V14V18Aa=aeltsV21asetaeltsV20V14V18Ia=alengthV21alengthV20FIa=V20aV17V15V19Aa=aeltsV20asetaeltsV17V15V19Ia=alengthV20alengthV17FLa+aV17V15aV17V14Ia=aV17V14asumV16a+a-V14a-V15V14c1a+V14c1Ia=aV17V15asumV16c0a+a-V14a-V15V14c1LaV17V15Iaphase1V14V15V16V17Aa=aV17V15asumV16c0a+a-V14a-V15V14c1Aais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV17Aa<V14V15Aa<=c0V14F
apartial_suma-V15adivV22c2V15V16V26Iapartial_suma-V14adivV22c2V14V16V26Ia=aV26V27aV24V27Ia>V27V15FAa=aV26V28aV24V28Ia<=V28a-V25a-V15V25FAapartial_sumV25V15V16V26Ia=alengthV26alengthV24FLa-V15adivV22c2Iaphase1ago_rightV14V15V15V16V24Ia=aV24V29aV21V29Ia>V29V14FAa=aV24V30aV21V30Ia<=V30a-V23a-V14V23FAapartial_sumV23V14V16V24Ia=alengthV24alengthV21FLa-V14adivV22c2Iaphase1ago_rightV14V15V15V16V21Iaphase1ago_rightV14V15V15V16V17Iaphase1ago_leftV14V15V14V16V17La-V15V14Ia>V15a+V14c1Ia=aV21V15asumV16c0a+V14c1Ia=V21aV20V14V18Aa=aeltsV21asetaeltsV20V14V18Ia=alengthV21alengthV20FIa=V20aV17V15V19Aa=aeltsV20asetaeltsV17V15V19Ia=alengthV20alengthV17FLa+aV17V15aV17V14Ia=aV17V14asumV16a+a-V14a-V15V14c1a+V14c1Ia=aV17V15asumV16c0a+a-V14a-V15V14c1LaV17V15Iaphase1V14V15V16V17Aa=aV17V15asumV16c0a+a-V14a-V15V14c1Aais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV17Aa<V14V15Aa<=c0V14F
apartial_sumV14V15V16V26Iapartial_suma-V15adivV22c2V15V16V26Iapartial_suma-V14adivV22c2V14V16V26Ia=aV26V27aV24V27Ia>V27V15FAa=aV26V28aV24V28Ia<=V28a-V25a-V15V25FAapartial_sumV25V15V16V26Ia=alengthV26alengthV24FLa-V15adivV22c2Iaphase1ago_rightV14V15V15V16V24Ia=aV24V29aV21V29Ia>V29V14FAa=aV24V30aV21V30Ia<=V30a-V23a-V14V23FAapartial_sumV23V14V16V24Ia=alengthV24alengthV21FLa-V14adivV22c2Iaphase1ago_rightV14V15V15V16V21Iaphase1ago_rightV14V15V15V16V17Iaphase1ago_leftV14V15V14V16V17La-V15V14Ia>V15a+V14c1Ia=aV21V15asumV16c0a+V14c1Ia=V21aV20V14V18Aa=aeltsV21asetaeltsV20V14V18Ia=alengthV21alengthV20FIa=V20aV17V15V19Aa=aeltsV20asetaeltsV17V15V19Ia=alengthV20alengthV17FLa+aV17V15aV17V14Ia=aV17V14asumV16a+a-V14a-V15V14c1a+V14c1Ia=aV17V15asumV16c0a+a-V14a-V15V14c1LaV17V15Iaphase1V14V15V16V17Aa=aV17V15asumV16c0a+a-V14a-V15V14c1Aais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV17Aa<V14V15Aa<=c0V14F
a=aV26V27aV17V27Ia<=V27a-V14a-V15V14FIapartial_sumV14V15V16V26Iapartial_suma-V15adivV22c2V15V16V26Iapartial_suma-V14adivV22c2V14V16V26Ia=aV26V28aV24V28Ia>V28V15FAa=aV26V29aV24V29Ia<=V29a-V25a-V15V25FAapartial_sumV25V15V16V26Ia=alengthV26alengthV24FLa-V15adivV22c2Iaphase1ago_rightV14V15V15V16V24Ia=aV24V30aV21V30Ia>V30V14FAa=aV24V31aV21V31Ia<=V31a-V23a-V14V23FAapartial_sumV23V14V16V24Ia=alengthV24alengthV21FLa-V14adivV22c2Iaphase1ago_rightV14V15V15V16V21Iaphase1ago_rightV14V15V15V16V17Iaphase1ago_leftV14V15V14V16V17La-V15V14Ia>V15a+V14c1Ia=aV21V15asumV16c0a+V14c1Ia=V21aV20V14V18Aa=aeltsV21asetaeltsV20V14V18Ia=alengthV21alengthV20FIa=V20aV17V15V19Aa=aeltsV20asetaeltsV17V15V19Ia=alengthV20alengthV17FLa+aV17V15aV17V14Ia=aV17V14asumV16a+a-V14a-V15V14c1a+V14c1Ia=aV17V15asumV16c0a+a-V14a-V15V14c1LaV17V15Iaphase1V14V15V16V17Aa=aV17V15asumV16c0a+a-V14a-V15V14c1Aais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV17Aa<V14V15Aa<=c0V14F
a=aV26V27aV17V27Ia>V27V15FIa=aV26V28aV17V28Ia<=V28a-V14a-V15V14FIapartial_sumV14V15V16V26Iapartial_suma-V15adivV22c2V15V16V26Iapartial_suma-V14adivV22c2V14V16V26Ia=aV26V29aV24V29Ia>V29V15FAa=aV26V30aV24V30Ia<=V30a-V25a-V15V25FAapartial_sumV25V15V16V26Ia=alengthV26alengthV24FLa-V15adivV22c2Iaphase1ago_rightV14V15V15V16V24Ia=aV24V31aV21V31Ia>V31V14FAa=aV24V32aV21V32Ia<=V32a-V23a-V14V23FAapartial_sumV23V14V16V24Ia=alengthV24alengthV21FLa-V14adivV22c2Iaphase1ago_rightV14V15V15V16V21Iaphase1ago_rightV14V15V15V16V17Iaphase1ago_leftV14V15V14V16V17La-V15V14Ia>V15a+V14c1Ia=aV21V15asumV16c0a+V14c1Ia=V21aV20V14V18Aa=aeltsV21asetaeltsV20V14V18Ia=alengthV21alengthV20FIa=V20aV17V15V19Aa=aeltsV20asetaeltsV17V15V19Ia=alengthV20alengthV17FLa+aV17V15aV17V14Ia=aV17V14asumV16a+a-V14a-V15V14c1a+V14c1Ia=aV17V15asumV16c0a+a-V14a-V15V14c1LaV17V15Iaphase1V14V15V16V17Aa=aV17V15asumV16c0a+a-V14a-V15V14c1Aais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV17Aa<V14V15Aa<=c0V14F
apartial_sumV14V15V16V21INa>V15a+V14c1Ia=aV21V15asumV16c0a+V14c1Ia=V21aV20V14V18Aa=aeltsV21asetaeltsV20V14V18Ia=alengthV21alengthV20FIa=V20aV17V15V19Aa=aeltsV20asetaeltsV17V15V19Ia=alengthV20alengthV17FLa+aV17V15aV17V14Ia=aV17V14asumV16a+a-V14a-V15V14c1a+V14c1Ia=aV17V15asumV16c0a+a-V14a-V15V14c1LaV17V15Iaphase1V14V15V16V17Aa=aV17V15asumV16c0a+a-V14a-V15V14c1Aais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV17Aa<V14V15Aa<=c0V14F
a=aV21V22aV17V22Ia<=V22a-V14a-V15V14FIapartial_sumV14V15V16V21INa>V15a+V14c1Ia=aV21V15asumV16c0a+V14c1Ia=V21aV20V14V18Aa=aeltsV21asetaeltsV20V14V18Ia=alengthV21alengthV20FIa=V20aV17V15V19Aa=aeltsV20asetaeltsV17V15V19Ia=alengthV20alengthV17FLa+aV17V15aV17V14Ia=aV17V14asumV16a+a-V14a-V15V14c1a+V14c1Ia=aV17V15asumV16c0a+a-V14a-V15V14c1LaV17V15Iaphase1V14V15V16V17Aa=aV17V15asumV16c0a+a-V14a-V15V14c1Aais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV17Aa<V14V15Aa<=c0V14F
a=aV21V22aV17V22Ia>V22V15FIa=aV21V23aV17V23Ia<=V23a-V14a-V15V14FIapartial_sumV14V15V16V21INa>V15a+V14c1Ia=aV21V15asumV16c0a+V14c1Ia=V21aV20V14V18Aa=aeltsV21asetaeltsV20V14V18Ia=alengthV21alengthV20FIa=V20aV17V15V19Aa=aeltsV20asetaeltsV17V15V19Ia=alengthV20alengthV17FLa+aV17V15aV17V14Ia=aV17V14asumV16a+a-V14a-V15V14c1a+V14c1Ia=aV17V15asumV16c0a+a-V14a-V15V14c1LaV17V15Iaphase1V14V15V16V17Aa=aV17V15asumV16c0a+a-V14a-V15V14c1Aais_power_of_2a-V15V14Aa<=c-1a-V14a-V15V14Aa<V15alengthV17Aa<V14V15Aa<=c0V14F
ia=aV21V22aV17V22Ia>V22V15FAa=aV21V23aV17V23Ia<=V23a-V14a-V15V14FAapartial_sumV14V15V16V21a=aV28V29aV17V29Ia>V29V15FAa=aV28V30aV17V30Ia<=V30a-V14a-V15V14FAapartial_sumV14V15V16V28Aapartial_suma-V15adivV24c2V15V16V28Aapartial_suma-V14adivV24c2V14V16V28Ia=aV28V31aV26V31Ia>V31V15FAa=aV28V32aV26V32Ia<=V32a-V27a-V15V27FAapartial_sumV27V15V16V28Ia=alengthV28alengthV26FAaphase1V27V15V16V26Aa=aV26V15asumV16c0a+a-V27a-V15V27c1Aais_power_of_2a-V15V27Aa<=c-1a-V27a-V15V27Aa<V15alengthV26Aa<V27V15Aa<=c0V27Aa<a-V15V27a-V15V14Aa<=c0a-V15V14La-V15adivV24c2ANa=c2c0Aaphase1ago_rightV14V15V15V16V26Ia=aV26V33aV21V33Ia>V33V14FAa=aV26V34aV21V34Ia<=V34a-V25a-V14V25FAapartial_sumV25V14V16V26Ia=alengthV26alengthV21FAaphase1V25V14V16V21Aa=aV21V14asumV16c0a+a-V25a-V14V25c1Aais_power_of_2a-V14V25Aa<=c-1a-V25a-V14V25Aa<V14alengthV21Aa<V25V14Aa<=c0V25Aa<a-V14V25a-V15V14Aa<=c0a-V15V14La-V14adivV24c2ANa=c2c0Aaphase1ago_rightV14V15V15V16V21Aaphase1ago_rightV14V15V15V16V17Aaphase1ago_leftV14V15V14V16V17La-V15V14a>V15a+V14c1Aa=aV21V15asumV16c0
VC for downsweep
Na=c2c0LalengthV14Ia=aV15V17aV14V17Ia<V17alengthV15Aa<=c0V17FAa=alengthV15alengthV14FIais_power_of_2alengthV14Aa>=alengthV14c2F
a<V18alengthV14Aa<V17V18Aa<=c0V17La-V16c1La-adivV16c2c1LalengthV14Ia=aV15V19aV14V19Ia<V19alengthV15Aa<=c0V19FAa=alengthV15alengthV14FIais_power_of_2alengthV14Aa>=alengthV14c2F
a<=c-1a-V17a-V18V17Ia<V18alengthV14Aa<V17V18Aa<=c0V17La-V16c1La-adivV16c2c1LalengthV14Ia=aV15V19aV14V19Ia<V19alengthV15Aa<=c0V19FAa=alengthV15alengthV14FIais_power_of_2alengthV14Aa>=alengthV14c2F
ais_power_of_2a-V18V17Ia<=c-1a-V17a-V18V17Ia<V18alengthV14Aa<V17V18Aa<=c0V17La-V16c1La-adivV16c2c1LalengthV14Ia=aV15V19aV14V19Ia<V19alengthV15Aa<=c0V19FAa=alengthV15alengthV14FIais_power_of_2alengthV14Aa>=alengthV14c2F
aphase1V17V18V15V19Ia=aV19V21aV14V21Ia>V21V18FAa=aV19V22aV14V22Ia<=V22a-V17V20FAa=aV19V18asumV14a+a-V17V20c1a+V18c1La-V18V17Aaphase1V17V18V14V19Ia=alengthV19alengthV14FLa-V16c1La-adivV16c2c1LalengthV14Ia=aV15V23aV14V23Ia<V23alengthV15Aa<=c0V23FAa=alengthV15alengthV14FIais_power_of_2alengthV14Aa>=alengthV14c2F
a<V18alengthV19Aa<=c0V18Iaphase1V17V18V15V19Ia=aV19V21aV14V21Ia>V21V18FAa=aV19V22aV14V22Ia<=V22a-V17V20FAa=aV19V18asumV14a+a-V17V20c1a+V18c1La-V18V17Aaphase1V17V18V14V19Ia=alengthV19alengthV14FLa-V16c1La-adivV16c2c1LalengthV14Ia=aV15V23aV14V23Ia<V23alengthV15Aa<=c0V23FAa=alengthV15alengthV14FIais_power_of_2alengthV14Aa>=alengthV14c2F
a<V18alengthV20Aa<V17V18Aa<=c0V17Ia=V20aV19V18c0Aa=aeltsV20asetaeltsV19V18c0Ia=alengthV20alengthV19FIaphase1V17V18V15V19Ia=aV19V22aV14V22Ia>V22V18FAa=aV19V23aV14V23Ia<=V23a-V17V21FAa=aV19V18asumV14a+a-V17V21c1a+V18c1La-V18V17Aaphase1V17V18V14V19Ia=alengthV19alengthV14FLa-V16c1La-adivV16c2c1LalengthV14Ia=aV15V24aV14V24Ia<V24alengthV15Aa<=c0V24FAa=alengthV15alengthV14FIais_power_of_2alengthV14Aa>=alengthV14c2F
a<=c-1a-V17a-V18V17Ia<V18alengthV20Aa<V17V18Aa<=c0V17Ia=V20aV19V18c0Aa=aeltsV20asetaeltsV19V18c0Ia=alengthV20alengthV19FIaphase1V17V18V15V19Ia=aV19V22aV14V22Ia>V22V18FAa=aV19V23aV14V23Ia<=V23a-V17V21FAa=aV19V18asumV14a+a-V17V21c1a+V18c1La-V18V17Aaphase1V17V18V14V19Ia=alengthV19alengthV14FLa-V16c1La-adivV16c2c1LalengthV14Ia=aV15V24aV14V24Ia<V24alengthV15Aa<=c0V24FAa=alengthV15alengthV14FIais_power_of_2alengthV14Aa>=alengthV14c2F
ais_power_of_2a-V18V17Ia<=c-1a-V17a-V18V17Ia<V18alengthV20Aa<V17V18Aa<=c0V17Ia=V20aV19V18c0Aa=aeltsV20asetaeltsV19V18c0Ia=alengthV20alengthV19FIaphase1V17V18V15V19Ia=aV19V22aV14V22Ia>V22V18FAa=aV19V23aV14V23Ia<=V23a-V17V21FAa=aV19V18asumV14a+a-V17V21c1a+V18c1La-V18V17Aaphase1V17V18V14V19Ia=alengthV19alengthV14FLa-V16c1La-adivV16c2c1LalengthV14Ia=aV15V24aV14V24Ia<V24alengthV15Aa<=c0V24FAa=alengthV15alengthV14FIais_power_of_2alengthV14Aa>=alengthV14c2F
a=aV20V18asumV15c0a+a-V17a-V18V17c1Iais_power_of_2a-V18V17Ia<=c-1a-V17a-V18V17Ia<V18alengthV20Aa<V17V18Aa<=c0V17Ia=V20aV19V18c0Aa=aeltsV20asetaeltsV19V18c0Ia=alengthV20alengthV19FIaphase1V17V18V15V19Ia=aV19V22aV14V22Ia>V22V18FAa=aV19V23aV14V23Ia<=V23a-V17V21FAa=aV19V18asumV14a+a-V17V21c1a+V18c1La-V18V17Aaphase1V17V18V14V19Ia=alengthV19alengthV14FLa-V16c1La-adivV16c2c1LalengthV14Ia=aV15V24aV14V24Ia<V24alengthV15Aa<=c0V24FAa=alengthV15alengthV14FIais_power_of_2alengthV14Aa>=alengthV14c2F
aphase1V17V18V15V20Ia=aV20V18asumV15c0a+a-V17a-V18V17c1Iais_power_of_2a-V18V17Ia<=c-1a-V17a-V18V17Ia<V18alengthV20Aa<V17V18Aa<=c0V17Ia=V20aV19V18c0Aa=aeltsV20asetaeltsV19V18c0Ia=alengthV20alengthV19FIaphase1V17V18V15V19Ia=aV19V22aV14V22Ia>V22V18FAa=aV19V23aV14V23Ia<=V23a-V17V21FAa=aV19V18asumV14a+a-V17V21c1a+V18c1La-V18V17Aaphase1V17V18V14V19Ia=alengthV19alengthV14FLa-V16c1La-adivV16c2c1LalengthV14Ia=aV15V24aV14V24Ia<V24alengthV15Aa<=c0V24FAa=alengthV15alengthV14FIais_power_of_2alengthV14Aa>=alengthV14c2F
a=aV21V22asumV15c0V22Ia<=V22V18Aa<a-V17a-V18V17V22FIa=aV21V23aV20V23Ia>V23V18FAa=aV21V24aV20V24Ia<=V24a-V17a-V18V17FAapartial_sumV17V18V15V21Ia=alengthV21alengthV20FIa=V20aV19V18c0Aa=aeltsV20asetaeltsV19V18c0Ia=alengthV20alengthV19FIaphase1V17V18V15V19Ia=aV19V26aV14V26Ia>V26V18FAa=aV19V27aV14V27Ia<=V27a-V17V25FAa=aV19V18asumV14a+a-V17V25c1a+V18c1La-V18V17Aaphase1V17V18V14V19Ia=alengthV19alengthV14FLa-V16c1La-adivV16c2c1LalengthV14Ia=aV15V28aV14V28Ia<V28alengthV15Aa<=c0V28FAa=alengthV15alengthV14FIais_power_of_2alengthV14Aa>=alengthV14c2F
a=aV21V22asumV14c0V22Ia<V22alengthV21Aa<=c0V22FIa=aV21V23asumV15c0V23Ia<=V23V18Aa<a-V17a-V18V17V23FIa=aV21V24aV20V24Ia>V24V18FAa=aV21V25aV20V25Ia<=V25a-V17a-V18V17FAapartial_sumV17V18V15V21Ia=alengthV21alengthV20FIa=V20aV19V18c0Aa=aeltsV20asetaeltsV19V18c0Ia=alengthV20alengthV19FIaphase1V17V18V15V19Ia=aV19V27aV14V27Ia>V27V18FAa=aV19V28aV14V28Ia<=V28a-V17V26FAa=aV19V18asumV14a+a-V17V26c1a+V18c1La-V18V17Aaphase1V17V18V14V19Ia=alengthV19alengthV14FLa-V16c1La-adivV16c2c1LalengthV14Ia=aV15V29aV14V29Ia<V29alengthV15Aa<=c0V29FAa=alengthV15alengthV14FIais_power_of_2alengthV14Aa>=alengthV14c2F
a=aV21V22asumV14c0V22Ia<V22alengthV21Aa<=c0V22FAa=aV21V23asumV15c0V23Ia<=V23V18Aa<a-V17a-V18V17V23FIa=aV21V24aV20V24Ia>V24V18FAa=aV21V25aV20V25Ia<=V25a-V17a-V18V17FAapartial_sumV17V18V15V21Ia=alengthV21alengthV20FAaphase1V17V18V15V20Aa=aV20V18asumV15c0a+a-V17a-V18V17c1Aais_power_of_2a-V18V17Aa<=c-1a-V17a-V18V17Aa<V18alengthV20Aa<V17V18Aa<=c0V17Ia=V20aV19V18c0Aa=aeltsV20asetaeltsV19V18c0Ia=alengthV20alengthV19FAa<V18alengthV19Aa<=c0V18Aaphase1V17V18V15V19Ia=aV19V27aV14V27Ia>V27V18FAa=aV19V28aV14V28Ia<=V28a-V17V26FAa=aV19V18asumV14a+a-V17V26c1a+V18c1La-V18V17Aaphase1V17V18V14V19Ia=alengthV19alengthV14FAais_power_of_2a-V18V17Aa<=c-1a-V17a-V18V17Aa<V18alengthV14Aa<V17V18Aa<=c0V17La-V16c1La-adivV16c2c1ANa=c2c0LalengthV14Ia=aV15V29aV14V29Ia<V29alengthV15Aa<=c0V29FAa=alengthV15alengthV14FIais_power_of_2alengthV14Aa>=alengthV14c2F
VC for compute_sums
a>=c8c0
array creation size
a=apowerc2c3alengthV14Ia=alengthV14c8Aa=aV14V15c0Ia<V15c8Aa<=c0V15FF
a<c0alengthV14Aa<=c0c0Ia=apowerc2c3alengthV14Ia=alengthV14c8Aa=aV14V15c0Ia<V15c8Aa<=c0V15FF
a<c1alengthV15Aa<=c0c1Ia=V15aV14c0c3Aa=aeltsV15asetaeltsV14c0c3Ia=alengthV15alengthV14FIa=apowerc2c3alengthV14Ia=alengthV14c8Aa=aV14V16c0Ia<V16c8Aa<=c0V16FF
a<c2alengthV16Aa<=c0c2Ia=V16aV15c1c1Aa=aeltsV16asetaeltsV15c1c1Ia=alengthV16alengthV15FIa=V15aV14c0c3Aa=aeltsV15asetaeltsV14c0c3Ia=alengthV15alengthV14FIa=apowerc2c3alengthV14Ia=alengthV14c8Aa=aV14V17c0Ia<V17c8Aa<=c0V17FF
a<c3alengthV17Aa<=c0c3Ia=V17aV16c2c7Aa=aeltsV17asetaeltsV16c2c7Ia=alengthV17alengthV16FIa=V16aV15c1c1Aa=aeltsV16asetaeltsV15c1c1Ia=alengthV16alengthV15FIa=V15aV14c0c3Aa=aeltsV15asetaeltsV14c0c3Ia=alengthV15alengthV14FIa=apowerc2c3alengthV14Ia=alengthV14c8Aa=aV14V18c0Ia<V18c8Aa<=c0V18FF
a<c4alengthV18Aa<=c0c4Ia=V18aV17c3c0Aa=aeltsV18asetaeltsV17c3c0Ia=alengthV18alengthV17FIa=V17aV16c2c7Aa=aeltsV17asetaeltsV16c2c7Ia=alengthV17alengthV16FIa=V16aV15c1c1Aa=aeltsV16asetaeltsV15c1c1Ia=alengthV16alengthV15FIa=V15aV14c0c3Aa=aeltsV15asetaeltsV14c0c3Ia=alengthV15alengthV14FIa=apowerc2c3alengthV14Ia=alengthV14c8Aa=aV14V19c0Ia<V19c8Aa<=c0V19FF
a<c5alengthV19Aa<=c0c5Ia=V19aV18c4c4Aa=aeltsV19asetaeltsV18c4c4Ia=alengthV19alengthV18FIa=V18aV17c3c0Aa=aeltsV18asetaeltsV17c3c0Ia=alengthV18alengthV17FIa=V17aV16c2c7Aa=aeltsV17asetaeltsV16c2c7Ia=alengthV17alengthV16FIa=V16aV15c1c1Aa=aeltsV16asetaeltsV15c1c1Ia=alengthV16alengthV15FIa=V15aV14c0c3Aa=aeltsV15asetaeltsV14c0c3Ia=alengthV15alengthV14FIa=apowerc2c3alengthV14Ia=alengthV14c8Aa=aV14V20c0Ia<V20c8Aa<=c0V20FF
a<c6alengthV20Aa<=c0c6Ia=V20aV19c5c1Aa=aeltsV20asetaeltsV19c5c1Ia=alengthV20alengthV19FIa=V19aV18c4c4Aa=aeltsV19asetaeltsV18c4c4Ia=alengthV19alengthV18FIa=V18aV17c3c0Aa=aeltsV18asetaeltsV17c3c0Ia=alengthV18alengthV17FIa=V17aV16c2c7Aa=aeltsV17asetaeltsV16c2c7Ia=alengthV17alengthV16FIa=V16aV15c1c1Aa=aeltsV16asetaeltsV15c1c1Ia=alengthV16alengthV15FIa=V15aV14c0c3Aa=aeltsV15asetaeltsV14c0c3Ia=alengthV15alengthV14FIa=apowerc2c3alengthV14Ia=alengthV14c8Aa=aV14V21c0Ia<V21c8Aa<=c0V21FF
a<c7alengthV21Aa<=c0c7Ia=V21aV20c6c6Aa=aeltsV21asetaeltsV20c6c6Ia=alengthV21alengthV20FIa=V20aV19c5c1Aa=aeltsV20asetaeltsV19c5c1Ia=alengthV20alengthV19FIa=V19aV18c4c4Aa=aeltsV19asetaeltsV18c4c4Ia=alengthV19alengthV18FIa=V18aV17c3c0Aa=aeltsV18asetaeltsV17c3c0Ia=alengthV18alengthV17FIa=V17aV16c2c7Aa=aeltsV17asetaeltsV16c2c7Ia=alengthV17alengthV16FIa=V16aV15c1c1Aa=aeltsV16asetaeltsV15c1c1Ia=alengthV16alengthV15FIa=V15aV14c0c3Aa=aeltsV15asetaeltsV14c0c3Ia=alengthV15alengthV14FIa=apowerc2c3alengthV14Ia=alengthV14c8Aa=aV14V22c0Ia<V22c8Aa<=c0V22FF
a>=alengthV22c2Ia=V22aV21c7c3Aa=aeltsV22asetaeltsV21c7c3Ia=alengthV22alengthV21FIa=V21aV20c6c6Aa=aeltsV21asetaeltsV20c6c6Ia=alengthV21alengthV20FIa=V20aV19c5c1Aa=aeltsV20asetaeltsV19c5c1Ia=alengthV20alengthV19FIa=V19aV18c4c4Aa=aeltsV19asetaeltsV18c4c4Ia=alengthV19alengthV18FIa=V18aV17c3c0Aa=aeltsV18asetaeltsV17c3c0Ia=alengthV18alengthV17FIa=V17aV16c2c7Aa=aeltsV17asetaeltsV16c2c7Ia=alengthV17alengthV16FIa=V16aV15c1c1Aa=aeltsV16asetaeltsV15c1c1Ia=alengthV16alengthV15FIa=V15aV14c0c3Aa=aeltsV15asetaeltsV14c0c3Ia=alengthV15alengthV14FIa=apowerc2c3alengthV14Ia=alengthV14c8Aa=aV14V23c0Ia<V23c8Aa<=c0V23FF
ais_power_of_2alengthV22Ia>=alengthV22c2Ia=V22aV21c7c3Aa=aeltsV22asetaeltsV21c7c3Ia=alengthV22alengthV21FIa=V21aV20c6c6Aa=aeltsV21asetaeltsV20c6c6Ia=alengthV21alengthV20FIa=V20aV19c5c1Aa=aeltsV20asetaeltsV19c5c1Ia=alengthV20alengthV19FIa=V19aV18c4c4Aa=aeltsV19asetaeltsV18c4c4Ia=alengthV19alengthV18FIa=V18aV17c3c0Aa=aeltsV18asetaeltsV17c3c0Ia=alengthV18alengthV17FIa=V17aV16c2c7Aa=aeltsV17asetaeltsV16c2c7Ia=alengthV17alengthV16FIa=V16aV15c1c1Aa=aeltsV16asetaeltsV15c1c1Ia=alengthV16alengthV15FIa=V15aV14c0c3Aa=aeltsV15asetaeltsV14c0c3Ia=alengthV15alengthV14FIa=apowerc2c3alengthV14Ia=alengthV14c8Aa=aV14V23c0Ia<V23c8Aa<=c0V23FF
a=aV23c0c0Ia=aV23V24asumV22c0V24Ia<V24alengthV23Aa<=c0V24FIa=alengthV23alengthV22FIa=V22aV21c7c3Aa=aeltsV22asetaeltsV21c7c3Ia=alengthV22alengthV21FIa=V21aV20c6c6Aa=aeltsV21asetaeltsV20c6c6Ia=alengthV21alengthV20FIa=V20aV19c5c1Aa=aeltsV20asetaeltsV19c5c1Ia=alengthV20alengthV19FIa=V19aV18c4c4Aa=aeltsV19asetaeltsV18c4c4Ia=alengthV19alengthV18FIa=V18aV17c3c0Aa=aeltsV18asetaeltsV17c3c0Ia=alengthV18alengthV17FIa=V17aV16c2c7Aa=aeltsV17asetaeltsV16c2c7Ia=alengthV17alengthV16FIa=V16aV15c1c1Aa=aeltsV16asetaeltsV15c1c1Ia=alengthV16alengthV15FIa=V15aV14c0c3Aa=aeltsV15asetaeltsV14c0c3Ia=alengthV15alengthV14FIa=apowerc2c3alengthV14Ia=alengthV14c8Aa=aV14V25c0Ia<V25c8Aa<=c0V25FF
a=aV23c1c3Ia=aV23c0c0Ia=aV23V24asumV22c0V24Ia<V24alengthV23Aa<=c0V24FIa=alengthV23alengthV22FIa=V22aV21c7c3Aa=aeltsV22asetaeltsV21c7c3Ia=alengthV22alengthV21FIa=V21aV20c6c6Aa=aeltsV21asetaeltsV20c6c6Ia=alengthV21alengthV20FIa=V20aV19c5c1Aa=aeltsV20asetaeltsV19c5c1Ia=alengthV20alengthV19FIa=V19aV18c4c4Aa=aeltsV19asetaeltsV18c4c4Ia=alengthV19alengthV18FIa=V18aV17c3c0Aa=aeltsV18asetaeltsV17c3c0Ia=alengthV18alengthV17FIa=V17aV16c2c7Aa=aeltsV17asetaeltsV16c2c7Ia=alengthV17alengthV16FIa=V16aV15c1c1Aa=aeltsV16asetaeltsV15c1c1Ia=alengthV16alengthV15FIa=V15aV14c0c3Aa=aeltsV15asetaeltsV14c0c3Ia=alengthV15alengthV14FIa=apowerc2c3alengthV14Ia=alengthV14c8Aa=aV14V25c0Ia<V25c8Aa<=c0V25FF
a=aV23c2c4Ia=aV23c1c3Ia=aV23c0c0Ia=aV23V24asumV22c0V24Ia<V24alengthV23Aa<=c0V24FIa=alengthV23alengthV22FIa=V22aV21c7c3Aa=aeltsV22asetaeltsV21c7c3Ia=alengthV22alengthV21FIa=V21aV20c6c6Aa=aeltsV21asetaeltsV20c6c6Ia=alengthV21alengthV20FIa=V20aV19c5c1Aa=aeltsV20asetaeltsV19c5c1Ia=alengthV20alengthV19FIa=V19aV18c4c4Aa=aeltsV19asetaeltsV18c4c4Ia=alengthV19alengthV18FIa=V18aV17c3c0Aa=aeltsV18asetaeltsV17c3c0Ia=alengthV18alengthV17FIa=V17aV16c2c7Aa=aeltsV17asetaeltsV16c2c7Ia=alengthV17alengthV16FIa=V16aV15c1c1Aa=aeltsV16asetaeltsV15c1c1Ia=alengthV16alengthV15FIa=V15aV14c0c3Aa=aeltsV15asetaeltsV14c0c3Ia=alengthV15alengthV14FIa=apowerc2c3alengthV14Ia=alengthV14c8Aa=aV14V25c0Ia<V25c8Aa<=c0V25FF
a=aV23c3c11Ia=aV23c2c4Ia=aV23c1c3Ia=aV23c0c0Ia=aV23V24asumV22c0V24Ia<V24alengthV23Aa<=c0V24FIa=alengthV23alengthV22FIa=V22aV21c7c3Aa=aeltsV22asetaeltsV21c7c3Ia=alengthV22alengthV21FIa=V21aV20c6c6Aa=aeltsV21asetaeltsV20c6c6Ia=alengthV21alengthV20FIa=V20aV19c5c1Aa=aeltsV20asetaeltsV19c5c1Ia=alengthV20alengthV19FIa=V19aV18c4c4Aa=aeltsV19asetaeltsV18c4c4Ia=alengthV19alengthV18FIa=V18aV17c3c0Aa=aeltsV18asetaeltsV17c3c0Ia=alengthV18alengthV17FIa=V17aV16c2c7Aa=aeltsV17asetaeltsV16c2c7Ia=alengthV17alengthV16FIa=V16aV15c1c1Aa=aeltsV16asetaeltsV15c1c1Ia=alengthV16alengthV15FIa=V15aV14c0c3Aa=aeltsV15asetaeltsV14c0c3Ia=alengthV15alengthV14FIa=apowerc2c3alengthV14Ia=alengthV14c8Aa=aV14V25c0Ia<V25c8Aa<=c0V25FF
a=aV23c4c11Ia=aV23c3c11Ia=aV23c2c4Ia=aV23c1c3Ia=aV23c0c0Ia=aV23V24asumV22c0V24Ia<V24alengthV23Aa<=c0V24FIa=alengthV23alengthV22FIa=V22aV21c7c3Aa=aeltsV22asetaeltsV21c7c3Ia=alengthV22alengthV21FIa=V21aV20c6c6Aa=aeltsV21asetaeltsV20c6c6Ia=alengthV21alengthV20FIa=V20aV19c5c1Aa=aeltsV20asetaeltsV19c5c1Ia=alengthV20alengthV19FIa=V19aV18c4c4Aa=aeltsV19asetaeltsV18c4c4Ia=alengthV19alengthV18FIa=V18aV17c3c0Aa=aeltsV18asetaeltsV17c3c0Ia=alengthV18alengthV17FIa=V17aV16c2c7Aa=aeltsV17asetaeltsV16c2c7Ia=alengthV17alengthV16FIa=V16aV15c1c1Aa=aeltsV16asetaeltsV15c1c1Ia=alengthV16alengthV15FIa=V15aV14c0c3Aa=aeltsV15asetaeltsV14c0c3Ia=alengthV15alengthV14FIa=apowerc2c3alengthV14Ia=alengthV14c8Aa=aV14V25c0Ia<V25c8Aa<=c0V25FF
a=aV23c5c15Ia=aV23c4c11Ia=aV23c3c11Ia=aV23c2c4Ia=aV23c1c3Ia=aV23c0c0Ia=aV23V24asumV22c0V24Ia<V24alengthV23Aa<=c0V24FIa=alengthV23alengthV22FIa=V22aV21c7c3Aa=aeltsV22asetaeltsV21c7c3Ia=alengthV22alengthV21FIa=V21aV20c6c6Aa=aeltsV21asetaeltsV20c6c6Ia=alengthV21alengthV20FIa=V20aV19c5c1Aa=aeltsV20asetaeltsV19c5c1Ia=alengthV20alengthV19FIa=V19aV18c4c4Aa=aeltsV19asetaeltsV18c4c4Ia=alengthV19alengthV18FIa=V18aV17c3c0Aa=aeltsV18asetaeltsV17c3c0Ia=alengthV18alengthV17FIa=V17aV16c2c7Aa=aeltsV17asetaeltsV16c2c7Ia=alengthV17alengthV16FIa=V16aV15c1c1Aa=aeltsV16asetaeltsV15c1c1Ia=alengthV16alengthV15FIa=V15aV14c0c3Aa=aeltsV15asetaeltsV14c0c3Ia=alengthV15alengthV14FIa=apowerc2c3alengthV14Ia=alengthV14c8Aa=aV14V25c0Ia<V25c8Aa<=c0V25FF
a=aV23c6c16Ia=aV23c5c15Ia=aV23c4c11Ia=aV23c3c11Ia=aV23c2c4Ia=aV23c1c3Ia=aV23c0c0Ia=aV23V24asumV22c0V24Ia<V24alengthV23Aa<=c0V24FIa=alengthV23alengthV22FIa=V22aV21c7c3Aa=aeltsV22asetaeltsV21c7c3Ia=alengthV22alengthV21FIa=V21aV20c6c6Aa=aeltsV21asetaeltsV20c6c6Ia=alengthV21alengthV20FIa=V20aV19c5c1Aa=aeltsV20asetaeltsV19c5c1Ia=alengthV20alengthV19FIa=V19aV18c4c4Aa=aeltsV19asetaeltsV18c4c4Ia=alengthV19alengthV18FIa=V18aV17c3c0Aa=aeltsV18asetaeltsV17c3c0Ia=alengthV18alengthV17FIa=V17aV16c2c7Aa=aeltsV17asetaeltsV16c2c7Ia=alengthV17alengthV16FIa=V16aV15c1c1Aa=aeltsV16asetaeltsV15c1c1Ia=alengthV16alengthV15FIa=V15aV14c0c3Aa=aeltsV15asetaeltsV14c0c3Ia=alengthV15alengthV14FIa=apowerc2c3alengthV14Ia=alengthV14c8Aa=aV14V25c0Ia<V25c8Aa<=c0V25FF
a=aV23c7c22Ia=aV23c6c16Ia=aV23c5c15Ia=aV23c4c11Ia=aV23c3c11Ia=aV23c2c4Ia=aV23c1c3Ia=aV23c0c0Ia=aV23V24asumV22c0V24Ia<V24alengthV23Aa<=c0V24FIa=alengthV23alengthV22FIa=V22aV21c7c3Aa=aeltsV22asetaeltsV21c7c3Ia=alengthV22alengthV21FIa=V21aV20c6c6Aa=aeltsV21asetaeltsV20c6c6Ia=alengthV21alengthV20FIa=V20aV19c5c1Aa=aeltsV20asetaeltsV19c5c1Ia=alengthV20alengthV19FIa=V19aV18c4c4Aa=aeltsV19asetaeltsV18c4c4Ia=alengthV19alengthV18FIa=V18aV17c3c0Aa=aeltsV18asetaeltsV17c3c0Ia=alengthV18alengthV17FIa=V17aV16c2c7Aa=aeltsV17asetaeltsV16c2c7Ia=alengthV17alengthV16FIa=V16aV15c1c1Aa=aeltsV16asetaeltsV15c1c1Ia=alengthV16alengthV15FIa=V15aV14c0c3Aa=aeltsV15asetaeltsV14c0c3Ia=alengthV15alengthV14FIa=apowerc2c3alengthV14Ia=alengthV14c8Aa=aV14V25c0Ia<V25c8Aa<=c0V25FF
a=aV23c7c22Aa=aV23c6c16Aa=aV23c5c15Aa=aV23c4c11Aa=aV23c3c11Aa=aV23c2c4Aa=aV23c1c3Aa=aV23c0c0Ia=aV23V24asumV22c0V24Ia<V24alengthV23Aa<=c0V24FIa=alengthV23alengthV22FAais_power_of_2alengthV22Aa>=alengthV22c2Ia=V22aV21c7c3Aa=aeltsV22asetaeltsV21c7c3Ia=alengthV22alengthV21FAa<c7alengthV21Aa<=c0c7Ia=V21aV20c6c6Aa=aeltsV21asetaeltsV20c6c6Ia=alengthV21alengthV20FAa<c6alengthV20Aa<=c0c6Ia=V20aV19c5c1Aa=aeltsV20asetaeltsV19c5c1Ia=alengthV20alengthV19FAa<c5alengthV19Aa<=c0c5Ia=V19aV18c4c4Aa=aeltsV19asetaeltsV18c4c4Ia=alengthV19alengthV18FAa<c4alengthV18Aa<=c0c4Ia=V18aV17c3c0Aa=aeltsV18asetaeltsV17c3c0Ia=alengthV18alengthV17FAa<c3alengthV17Aa<=c0c3Ia=V17aV16c2c7Aa=aeltsV17asetaeltsV16c2c7Ia=alengthV17alengthV16FAa<c2alengthV16Aa<=c0c2Ia=V16aV15c1c1Aa=aeltsV16asetaeltsV15c1c1Ia=alengthV16alengthV15FAa<c1alengthV15Aa<=c0c1Ia=V15aV14c0c3Aa=aeltsV15asetaeltsV14c0c3Ia=alengthV15alengthV14FAa<c0alengthV14Aa<=c0c0Aa=apowerc2c3alengthV14Ia=alengthV14c8Aa=aV14V25c0Ia<V25c8Aa<=c0V25FFAa>=c8c0
VC for test_harness
iiiiiiitAa<c7alengthV23Aa<=c0c7tNa=aV23c6c16Aa<c6alengthV23Aa<=c0c6tNa=aV23c5c15Aa<c5alengthV23Aa<=c0c5tNa=aV23c4c11Aa<c4alengthV23Aa<=c0c4tNa=aV23c3c11Aa<c3alengthV23Aa<=c0c3tNa=aV23c2c4Aa<c2alengthV23Aa<=c0c2tNa=aV23c1c3Aa<c1alengthV23Aa<=c0c1tNa=aV23c0c0Aa<c0alengthV23Aa<=c0c0Ia=aV23V24asumV22c0V24Ia<V24alengthV23Aa<=c0V24FIa=alengthV23alengthV22FAais_power_of_2alengthV22Aa>=alengthV22c2Ia=V22aV21c7c3Aa=aeltsV22asetaeltsV21c7c3Ia=alengthV22alengthV21FAa<c7alengthV21Aa<=c0c7Ia=V21aV20c6c6Aa=aeltsV21asetaeltsV20c6c6Ia=alengthV21alengthV20FAa<c6alengthV20Aa<=c0c6Ia=V20aV19c5c1Aa=aeltsV20asetaeltsV19c5c1Ia=alengthV20alengthV19FAa<c5alengthV19Aa<=c0c5Ia=V19aV18c4c4Aa=aeltsV19asetaeltsV18c4c4Ia=alengthV19alengthV18FAa<c4alengthV18Aa<=c0c4Ia=V18aV17c3c0Aa=aeltsV18asetaeltsV17c3c0Ia=alengthV18alengthV17FAa<c3alengthV17Aa<=c0c3Ia=V17aV16c2c7Aa=aeltsV17asetaeltsV16c2c7Ia=alengthV17alengthV16FAa<c2alengthV16Aa<=c0c2Ia=V16aV15c1c1Aa=aeltsV16asetaeltsV15c1c1Ia=alengthV16alengthV15FAa<c1alengthV15Aa<=c0c1Ia=V15aV14c0c3A
VC for bench

34b1b41b5f0b662c00825a02761af377 1H0
23c39fb431d66afe02eb6e5cf1a19ee8 1H2H0
4a4ffda7684c2baf3dd688f62383cdd0 14H13H2H0
cd28352793e445527b32e715d1eda85e 4H3H2H0
58b9383c26e306b36b525f1ae499cba5 6H5H2H0
f829aa604df2366ecf407fb66172dc67 6H7H2H0
93c80b86d741fcbdf4196c4dc1143be8 4H8H2H0
c207ce36d9e4d04db4b13bfde9a5849f 6H9H2H0
fa4716f9e1aef2e3d9b46d60ec01c279 6H10H2H0
8eaeda0e9fd3bbc36d646f38af895c4a 12H11H2H0
15431df760ef629bc54a0a28ac0dcb5b 28H27H15H2H0
6b8a102afadbea3c548c9d854e8401a8 4H16H15H2H0
a17d4d69f4af09918b663c84804c7f03 6H17H15H2H0
4572446b5a4ebaa2c6859ae5bc0af1d1 6H18H15H2H0
26f334b9fcbca678128b41f17d5c9e0e 4H19H15H2H0
e5bbef5f4ca6ca23642437a3498f0781 6H20H15H2H0
87867205aa69540344b3a74459d04064 6H21H15H2H0
87b4bf2f07af089cd85aa908070db923 12H26H15H2H0
9c25247edb4d2a07e2fa18580be28253 12H25H24H23H22H15H2H0
656d71ddbae3effc050884fdf7f6c18d 61H60H29H15H2H0
1b97d39d3e7728cb2c3258aa341bd7c1 6H30H29H15H2H0
d4a1b04a3305f7669298aab9cf09b0a8 4H31H29H15H2H0
f2297fc984789fa661f7849796d89328 6H32H29H15H2H0
ff18ee7edc0eae15b386539a6ea4ebc5 6H33H29H15H2H0
7694ff3080cf003fbfcb594824f5efed 6H34H29H15H2H0
8c2c4e95a3e53be923d34467fd2dc495 6H35H29H15H2H0
cb72ab31f16f9867dd8f6acd9b7a8d96 4H36H29H15H2H0
dd9d76f261d4004c9550e4a5ca4d2396 6H37H29H15H2H0
2398adc4379ac5e83c89e45236b15e63 6H38H29H15H2H0
831d389e8e9fe736a8da1445eb098b92 6H39H29H15H2H0
59968c393b3a8952b2c9fc9dae094175 41H40H29H15H2H0
37ee5827699bfd7c0d7f6c97a3c0ce05 41H42H29H15H2H0
5ba45e4f552e69aedd6941f406fca1d3 41H43H29H15H2H0
313c37923b0a55b1dd1bc60f892c6a7d 41H44H29H15H2H0
76af1cbc1f4c412eb482ba4b07c6d5c3 46H45H29H15H2H0
c436a89f1bf6dcf4398862b03a92c2fa 46H47H29H15H2H0
58ced4c6ff95ba6f4bcc14678b6e49a5 46H48H29H15H2H0
59436789821323f5bebc0718a21714b6 41H49H29H15H2H0
3545bc04e3424cfed02729e7dd11e353 41H50H29H15H2H0
9bc96c6bf915271c040bd38749735f1a 12H51H29H15H2H0
ecb5ba501587ab61e8c44efd68ea70de 12H52H29H15H2H0
70de17802e9d1cf387718a6d20146457 46H53H29H15H2H0
88d0da6c04a5631abdd7f48e687222fa 46H54H29H15H2H0
5eec193d15d61821b6896f582dd0ae13 46H55H29H15H2H0
0b6fe74e2c85f6ec9165535145d8dc34 41H56H29H15H2H0
2cbf21be0d388e39a02ad739dda873dc 41H57H29H15H2H0
f6b27357a037288afe1ff415e75deb33 12H58H29H15H2H0
14aedde3330bc4eb19ce60d4c13d387f 12H59H29H15H2H0
5cdba81173dbaabce2282f3779ffc189 97H96H29H15H2H0
387e29ad21bd3c37154c220d465efe84 46H62H29H15H2H0
79dc547c51cf79f89a511bacc6bd945f 41H63H29H15H2H0
15c65501a1d2990a20203b5d5601cbcc 41H64H29H15H2H0
a87abc8740717f267b0eb7b2f0b497a5 46H65H29H15H2H0
f15c049c3f59f80291937a690650dada 46H66H29H15H2H0
c5b4a896b16f1d584a5bcd00da6dace5 46H67H29H15H2H0
8d580d60259596a1e482abd3d86d431c 46H68H29H15H2H0
186a7f51ab7908fde71a8e1b4230f0d9 41H69H29H15H2H0
119ad27d30b38e518292bddb8bc758ba 41H70H29H15H2H0
0e42e83ef3caa8ebdf26b0ea8d518881 41H71H29H15H2H0
cd266fbe2a76e188c680eed8e68a394c 41H72H29H15H2H0
bd66ea930bb26dac3ba4d2a306b1a70a 6H73H29H15H2H0
58579fffe28a1dcaec26928654b1e4e1 4H74H29H15H2H0
64b992cc026ab7500e745348353c30b7 6H75H29H15H2H0
1240034ff35ff8e4654f4518a4bb51f5 6H76H29H15H2H0
a4332e90e7ce6715eb7a995b688204ad 6H77H29H15H2H0
087ed112131be507351a0e0206270d90 6H78H29H15H2H0
67297aaa34be510c537f0d2c7b3cd8da 6H79H29H15H2H0
6dcd7c00d8608e10ef2ecae21b1d4171 41H80H29H15H2H0
045ad90107a964e824b621c8ef064520 6H81H29H15H2H0
4a9b155f0234ea69df2823bf4d7fbe37 4H82H29H15H2H0
352549db58405e639f79068113a92796 6H83H29H15H2H0
e7b4e8dffdb933005cfd6db10bc9478e 6H84H29H15H2H0
157583b5db64c0380f45512944fb1e82 6H85H29H15H2H0
eb654c6a1074b9ee62016af532cbfab6 6H86H29H15H2H0
91818cc356e05fb19e2808dd2d99f5bd 6H87H29H15H2H0
dc1f730d8d71c188ae24114f3942c319 41H88H29H15H2H0
b5893f96c13d88788688138d4cf8df64 41H89H29H15H2H0
64cced75499c55012815f856e7a48f07 12H90H29H15H2H0
078b064f8bc082d47b05b5c8f2b91b6c 12H91H29H15H2H0
825f70dd0a5d74f619f1193b2fdab348 12H92H29H15H2H0
ed647c464e4237064069d585b1193da9 12H93H29H15H2H0
662a6c7644ef25b394af21eca4c405e9 12H94H29H15H2H0
9c9045d1a94a0198a5691b892760a713 12H95H29H15H2H0
6ad7ea7cc5e816c52867ac168c40086f 112H111H29H15H2H0
8d313190d9b258a51bd2e4236e05b0de 6H98H29H15H2H0
dfbd68cd27dd2835bbd9ee7c1f100820 6H99H29H15H2H0
f906c8d369356864bfddc507c9fa8aa7 6H100H29H15H2H0
1b502f3f2743aba6734b064582a03a9b 6H101H29H15H2H0
4b9b19f053482b84c5a2a037f38c6bcc 41H102H29H15H2H0
263af42f261bd5080a0f76fba0586c95 46H103H29H15H2H0
60b1d8f216cb50034062637065849fa5 6H104H29H15H2H0
0995b9b5e96dd896f4a82568fd101c69 6H105H29H15H2H0
7d434af1590ec12ac537f4748aff1ace 6H106H29H15H2H0
0e8ff63abb4296d2e247c177e4d6ae47 6H107H29H15H2H0
69e5104b0fc703a6bb01fa2e420e9ea1 6H108H29H15H2H0
d5df0c9e1d836cda09730f276bfea5dc 41H109H29H15H2H0
26a4974302511474057072960fd906ca 12H110H29H15H2H0
3d816899d554cac4ec2b56042426c1f4 135H134H29H15H2H0
93fd981a5815f1fe947ca5a4597e7c9c 114H113H29H15H2H0
dce048eb934be67d2d1eb28b0c14147d 41H115H29H15H2H0
97c3af4370c772fbaeb370aa30d1ed9f 46H116H29H15H2H0
8eab8325d3f9b2ac1034845a5484256b 46H117H29H15H2H0
15e835142cd3fb5103cce35367cb5987 46H118H29H15H2H0
79806257b3a12a5b8a644f71bc26d9fc 46H119H29H15H2H0
f20ef73647dae4d6827357179ce23ffe 46H120H29H15H2H0
63a646a40b95a394f3fa60494f7504a5 46H121H29H15H2H0
60485494d50d4a7001a37e58c6becb7c 46H122H29H15H2H0
3346c31257ab6639012bcd71b2e69502 46H123H29H15H2H0
670f9c5b174d4a1a4bb68e0779d2a629 6H124H29H15H2H0
b18df16d90cb88b7d9e0a02e0467c450 6H125H29H15H2H0
73bb9677e9b813085b2b02497c121f8e 41H126H29H15H2H0
b0af7cc5efd89957338fb71e93e3de7f 41H127H29H15H2H0
656c628a5e9dc4869ef6d1c42b531b36 41H128H29H15H2H0
14e4310467ac42978c390a46b42c5d1e 41H129H29H15H2H0
7125adba1196d8bd7849a870353eeb4c 41H130H29H15H2H0
59e911d7897785c7fad596149e6a5819 41H131H29H15H2H0
30a06f4d192906be015d55c12a2a4e60 41H132H29H15H2H0
ddb010f57c90fe6c2d6957fc5938de4d 41H133H29H15H2H0
cfd684b2462352d182c7e51a0eac2328 137H136H29H15H2H0
