Nais_common_prefixV0V1V2a+V3c1INa=aV0a+V1V3aV0a+V2V3Aa<a+V2V3alengthV0Aa<a+V1V3alengthV0Aa<=c0V3F
empty_shape
ais_longest_common_prefixV4V5V6V7INais_common_prefixV4V5V6a+V7c1Aais_common_prefixV4V5V6V7F
ais_common_prefixV8V9V10c0LalengthV8Ia<=V10alengthV8Aa<=c0V10Aa<=V9alengthV8Aa<=c0V9F
loop invariant init
a<V13alengthV8Aa<=c0V13La+V10V12Ia<a+V10V12V11Ia<a+V9V12V11Iais_common_prefixV8V9V10V12FLalengthV8Ia<=V10alengthV8Aa<=c0V10Aa<=V9alengthV8Aa<=c0V9F
index in array bounds
a<V14alengthV8Aa<=c0V14La+V9V12La+V10V12Ia<a+V10V12V11Ia<a+V9V12V11Iais_common_prefixV8V9V10V12FLalengthV8Ia<=V10alengthV8Aa<=c0V10Aa<=V9alengthV8Aa<=c0V9F
a<a-V11V14a-V11V12Aa<=c0a-V11V12Ia=V14a+V12c1FIa=V13aTrueIia=V13aFalsea=V13iaFalseiaFalseaTruea=aV8a+V9V12aV8a+V10V12a<a+V10V12V11a<a+V9V12V11FIais_common_prefixV8V9V10V12FLalengthV8Ia<=V10alengthV8Aa<=c0V10Aa<=V9alengthV8Aa<=c0V9F
loop variant decrease
ais_common_prefixV8V9V10V14Ia=V14a+V12c1FIa=V13aTrueIia=V13aFalsea=V13iaFalseiaFalseaTruea=aV8a+V9V12aV8a+V10V12a<a+V10V12V11a<a+V9V12V11FIais_common_prefixV8V9V10V12FLalengthV8Ia<=V10alengthV8Aa<=c0V10Aa<=V9alengthV8Aa<=c0V9F
loop invariant preservation
ais_longest_common_prefixV8V9V10V12INa=V13aTrueIia=V13aFalsea=V13iaFalseiaFalseaTruea=aV8a+V9V12aV8a+V10V12a<a+V10V12V11a<a+V9V12V11FIais_common_prefixV8V9V10V12FLalengthV8Ia<=V10alengthV8Aa<=c0V10Aa<=V9alengthV8Aa<=c0V9F
postcondition
iais_longest_common_prefixV8V9V10V12ais_common_prefixV8V9V10V14Aa<a-V11V14a-V11V12Aa<=c0a-V11V12Ia=V14a+V12c1Fa=V13aTrueIia=V13aFalsea=V13iaFalseiaFalseaTruea=aV8a+V9V12aV8a+V10V12a<a+V10V12V11a<a+V9V12V11FAa<V16alengthV8Aa<=c0V16La+V9V12Aa<V15alengthV8Aa<=c0V15La+V10V12Ia<a+V10V12V11Ia<a+V9V12V11Iais_common_prefixV8V9V10V12FAais_common_prefixV8V9V10c0LalengthV8Ia<=V10alengthV8Aa<=c0V10Aa<=V9alengthV8Aa<=c0V9F
VC for lcp
tAa<=c2alengthV4Aa<=c0c2Aa<=c1alengthV4Aa<=c0c1Ia=V4aV3c3c5Aa=aeltsV4asetaeltsV3c3c5Ia=alengthV4alengthV3FAa<c3alengthV3Aa<=c0c3Ia=V3aV2c2c2Aa=aeltsV3asetaeltsV2c2c2Ia=alengthV3alengthV2FAa<c2alengthV2Aa<=c0c2Ia=V2aV1c1c2Aa=aeltsV2asetaeltsV1c1c2Ia=alengthV2alengthV1FAa<c1alengthV1Aa<=c0c1Ia=V1aV0c0c1Aa=aeltsV1asetaeltsV0c0c1Ia=alengthV1alengthV0FAa<c0alengthV0Aa<=c0c0Ia=alengthV0c4Aa=aV0V5c0Ia<V5c4Aa<=c0V5FFAa>=c4c0
VC for bench
a<=V1alengthV0Aa<=c0V1LalengthV0INa=V1V2Ia<=V2alengthV0Aa<=c0V2Aa<=V1alengthV0Aa<=c0V1F
precondition
a<=V2alengthV0Aa<=c0V2Ia<=V1alengthV0Aa<=c0V1LalengthV0INa=V1V2Ia<=V2alengthV0Aa<=c0V2Aa<=V1alengthV0Aa<=c0V1F
a<V5alengthV0Aa<=c0V5La+V2V4INa=a+V2V4V3INa=a+V1V4V3Iais_longest_common_prefixV0V1V2V4FLalengthV0INa=V1V2Ia<=V2alengthV0Aa<=c0V2Aa<=V1alengthV0Aa<=c0V1F
a<V6alengthV0Aa<=c0V6La+V1V4La+V2V4INa=a+V2V4V3INa=a+V1V4V3Iais_longest_common_prefixV0V1V2V4FLalengthV0INa=V1V2Ia<=V2alengthV0Aa<=c0V2Aa<=V1alengthV0Aa<=c0V1F
a<V7alengthV0Aa<=c0V7La+V2V4INa<aV0V6aV0V5La+V1V4La+V2V4INa=a+V2V4V3INa=a+V1V4V3Iais_longest_common_prefixV0V1V2V4FLalengthV0INa=V1V2Ia<=V2alengthV0Aa<=c0V2Aa<=V1alengthV0Aa<=c0V1F
a<V8alengthV0Aa<=c0V8La+V1V4La+V2V4INa<aV0V6aV0V5La+V1V4La+V2V4INa=a+V2V4V3INa=a+V1V4V3Iais_longest_common_prefixV0V1V2V4FLalengthV0INa=V1V2Ia<=V2alengthV0Aa<=c0V2Aa<=V1alengthV0Aa<=c0V1F
fINa>aV0V8aV0V7La+V1V4La+V2V4INa<aV0V6aV0V5La+V1V4La+V2V4INa=a+V2V4V3INa=a+V1V4V3Iais_longest_common_prefixV0V1V2V4FLalengthV0INa=V1V2Ia<=V2alengthV0Aa<=c0V2Aa<=V1alengthV0Aa<=c0V1F
unreachable point
a=V1V2Ia=V3c0Iiiiia=V3c1Aa>aV0a+V1V5aV0a+V2V5a=V3c-1a<aV0a+V1V5aV0a+V2V5a=V3c1a=a+V2V5V4a=V3c-1a=a+V1V5V4Aais_longest_common_prefixV0V1V2V5ELalengthV0a=V3c0a=V1V2FIa<=V2alengthV0Aa<=c0V2Aa<=V1alengthV0Aa<=c0V1F
altV0V1V2Ia<V3c0Ia=V1V2Ia=V3c0Iiiiia=V3c1Aa>aV0a+V1V5aV0a+V2V5a=V3c-1a<aV0a+V1V5aV0a+V2V5a=V3c1a=a+V2V5V4a=V3c-1a=a+V1V5V4Aais_longest_common_prefixV0V1V2V5ELalengthV0a=V3c0a=V1V2FIa<=V2alengthV0Aa<=c0V2Aa<=V1alengthV0Aa<=c0V1F
altV0V2V1Ia>V3c0IaltV0V1V2Ia<V3c0Ia=V1V2Ia=V3c0Iiiiia=V3c1Aa>aV0a+V1V5aV0a+V2V5a=V3c-1a<aV0a+V1V5aV0a+V2V5a=V3c1a=a+V2V5V4a=V3c-1a=a+V1V5V4Aais_longest_common_prefixV0V1V2V5ELalengthV0a=V3c0a=V1V2FIa<=V2alengthV0Aa<=c0V2Aa<=V1alengthV0Aa<=c0V1F
altV0V2V1Ia>V3c0AaltV0V1V2Ia<V3c0Aa=V1V2Ia=V3c0Iiiiia=V3c1Aa>aV0a+V1V5aV0a+V2V5a=V3c-1a<aV0a+V1V5aV0a+V2V5a=V3c1a=a+V2V5V4a=V3c-1a=a+V1V5V4Aais_longest_common_prefixV0V1V2V5ELalengthV0a=V3c0a=V1V2FAfINa>aV0V11aV0V10Aa<V11alengthV0Aa<=c0V11La+V1V7Aa<V10alengthV0Aa<=c0V10La+V2V7INa<aV0V9aV0V8Aa<V9alengthV0Aa<=c0V9La+V1V7Aa<V8alengthV0Aa<=c0V8La+V2V7INa=a+V2V7V6INa=a+V1V7V6Iais_longest_common_prefixV0V1V2V7FAa<=V2alengthV0Aa<=c0V2Aa<=V1alengthV0Aa<=c0V1LalengthV0INa=V1V2Ia<=V2alengthV0Aa<=c0V2Aa<=V1alengthV0Aa<=c0V1F
VC for compare
ais_longest_common_prefixV0V1V1a-alengthV0V1Ia<=V1alengthV0Aa<=c0V1F
aleV2V3V5IaleV2V4V5AaleV2V3V4F
apermut_allV7V7Ia<=c0a+V8c1La-alengthV7c1IarangeV7Aa=alengthV7alengthV6F
asorted_subV6aeltsV7c0c0Iapermut_allV7V7Ia<=c0a+V8c1La-alengthV7c1IarangeV7Aa=alengthV7alengthV6F
arangeV7Iasorted_subV6aeltsV7c0c0Iapermut_allV7V7Ia<=c0a+V8c1La-alengthV7c1IarangeV7Aa=alengthV7alengthV6F
a<=V10V10Aa<=c0V10IarangeV9Aasorted_subV6aeltsV9c0V10Aapermut_allV7V9Aa<=V10V8Aa<=c0V10FIa=alengthV9alengthV7FIa<=c0a+V8c1La-alengthV7c1IarangeV7Aa=alengthV7alengthV6F
arangeV9Ia<=V10V10Aa<=c0V10IarangeV9Aasorted_subV6aeltsV9c0V10Aapermut_allV7V9Aa<=V10V8Aa<=c0V10FIa=alengthV9alengthV7FIa<=c0a+V8c1La-alengthV7c1IarangeV7Aa=alengthV7alengthV6F
apermut_allV7V9IarangeV9Ia<=V10V10Aa<=c0V10IarangeV9Aasorted_subV6aeltsV9c0V10Aapermut_allV7V9Aa<=V10V8Aa<=c0V10FIa=alengthV9alengthV7FIa<=c0a+V8c1La-alengthV7c1IarangeV7Aa=alengthV7alengthV6F
asorted_subV6aeltsV9c0V10Iapermut_allV7V9IarangeV9Ia<=V10V10Aa<=c0V10IarangeV9Aasorted_subV6aeltsV9c0V10Aapermut_allV7V9Aa<=V10V8Aa<=c0V10FIa=alengthV9alengthV7FIa<=c0a+V8c1La-alengthV7c1IarangeV7Aa=alengthV7alengthV6F
asorted_subV6aeltsV9V10a+V10c1Iasorted_subV6aeltsV9c0V10Iapermut_allV7V9IarangeV9Ia<=V10V10Aa<=c0V10IarangeV9Aasorted_subV6aeltsV9c0V10Aapermut_allV7V9Aa<=V10V8Aa<=c0V10FIa=alengthV9alengthV7FIa<=c0a+V8c1La-alengthV7c1IarangeV7Aa=alengthV7alengthV6F
aleV6aV9V11aV9V12Ia<=V12V10Aa<=a+V10c1V12Aa<V11V10Aa<=c0V11FIasorted_subV6aeltsV9V10a+V10c1Iasorted_subV6aeltsV9c0V10Iapermut_allV7V9IarangeV9Ia<=V10V10Aa<=c0V10IarangeV9Aasorted_subV6aeltsV9c0V10Aapermut_allV7V9Aa<=V10V8Aa<=c0V10FIa=alengthV9alengthV7FIa<=c0a+V8c1La-alengthV7c1IarangeV7Aa=alengthV7alengthV6F
a<V11alengthV12Aa<=c0V11Ia>V11c0IaleV6aV12V13aV12V14Ia<=V14V10Aa<=a+V11c1V14Aa<V13V11Aa<=c0V13FAasorted_subV6aeltsV12V11a+V10c1Aasorted_subV6aeltsV12c0V11Aapermut_allV7V12AarangeV12Aa<=V11V10Aa<=c0V11Ia=alengthV12alengthV9FIarangeV9Aasorted_subV6aeltsV9c0V10Aapermut_allV7V9Aa<=V10V8Aa<=c0V10FIa=alengthV9alengthV7FIa<=c0a+V8c1La-alengthV7c1IarangeV7Aa=alengthV7alengthV6F
a<V14alengthV12Aa<=c0V14La-V11c1LaV12V11Ia>V11c0IaleV6aV12V15aV12V16Ia<=V16V10Aa<=a+V11c1V16Aa<V15V11Aa<=c0V15FAasorted_subV6aeltsV12V11a+V10c1Aasorted_subV6aeltsV12c0V11Aapermut_allV7V12AarangeV12Aa<=V11V10Aa<=c0V11Ia=alengthV12alengthV9FIarangeV9Aasorted_subV6aeltsV9c0V10Aapermut_allV7V9Aa<=V10V8Aa<=c0V10FIa=alengthV9alengthV7FIa<=c0a+V8c1La-alengthV7c1IarangeV7Aa=alengthV7alengthV6F
a<=V15alengthV6Aa<=c0V15LaV12V14La-V11c1LaV12V11Ia>V11c0IaleV6aV12V16aV12V17Ia<=V17V10Aa<=a+V11c1V17Aa<V16V11Aa<=c0V16FAasorted_subV6aeltsV12V11a+V10c1Aasorted_subV6aeltsV12c0V11Aapermut_allV7V12AarangeV12Aa<=V11V10Aa<=c0V11Ia=alengthV12alengthV9FIarangeV9Aasorted_subV6aeltsV9c0V10Aapermut_allV7V9Aa<=V10V8Aa<=c0V10FIa=alengthV9alengthV7FIa<=c0a+V8c1La-alengthV7c1IarangeV7Aa=alengthV7alengthV6F
a<=V13alengthV6Aa<=c0V13Ia<=V15alengthV6Aa<=c0V15LaV12V14La-V11c1LaV12V11Ia>V11c0IaleV6aV12V16aV12V17Ia<=V17V10Aa<=a+V11c1V17Aa<V16V11Aa<=c0V16FAasorted_subV6aeltsV12V11a+V10c1Aasorted_subV6aeltsV12c0V11Aapermut_allV7V12AarangeV12Aa<=V11V10Aa<=c0V11Ia=alengthV12alengthV9FIarangeV9Aasorted_subV6aeltsV9c0V10Aapermut_allV7V9Aa<=V10V8Aa<=c0V10FIa=alengthV9alengthV7FIa<=c0a+V8c1La-alengthV7c1IarangeV7Aa=alengthV7alengthV6F
a<V11alengthV12Aa<=c0V11La-V11c1Ia=V13aTrueIia=V13aFalsea=V13iaFalseaTruea>V17c0AaltV6V15V16Ia>V17c0AaltV6V16V15Ia<V17c0Aa=V16V15Ia=V17c0ELaV12a-V11c1LaV12V11a>V11c0FIaleV6aV12V18aV12V19Ia<=V19V10Aa<=a+V11c1V19Aa<V18V11Aa<=c0V18FAasorted_subV6aeltsV12V11a+V10c1Aasorted_subV6aeltsV12c0V11Aapermut_allV7V12AarangeV12Aa<=V11V10Aa<=c0V11Ia=alengthV12alengthV9FIarangeV9Aasorted_subV6aeltsV9c0V10Aapermut_allV7V9Aa<=V10V8Aa<=c0V10FIa=alengthV9alengthV7FIa<=c0a+V8c1La-alengthV7c1IarangeV7Aa=alengthV7alengthV6F
a<V14alengthV12Aa<=c0V14LaV12V11La-V11c1Ia=V13aTrueIia=V13aFalsea=V13iaFalseaTruea>V18c0AaltV6V16V17Ia>V18c0AaltV6V17V16Ia<V18c0Aa=V17V16Ia=V18c0ELaV12a-V11c1LaV12V11a>V11c0FIaleV6aV12V19aV12V20Ia<=V20V10Aa<=a+V11c1V20Aa<V19V11Aa<=c0V19FAasorted_subV6aeltsV12V11a+V10c1Aasorted_subV6aeltsV12c0V11Aapermut_allV7V12AarangeV12Aa<=V11V10Aa<=c0V11Ia=alengthV12alengthV9FIarangeV9Aasorted_subV6aeltsV9c0V10Aapermut_allV7V9Aa<=V10V8Aa<=c0V10FIa=alengthV9alengthV7FIa<=c0a+V8c1La-alengthV7c1IarangeV7Aa=alengthV7alengthV6F
a<V11alengthV12Aa<=c0V11LaV12V14LaV12V11La-V11c1Ia=V13aTrueIia=V13aFalsea=V13iaFalseaTruea>V19c0AaltV6V17V18Ia>V19c0AaltV6V18V17Ia<V19c0Aa=V18V17Ia=V19c0ELaV12a-V11c1LaV12V11a>V11c0FIaleV6aV12V20aV12V21Ia<=V21V10Aa<=a+V11c1V21Aa<V20V11Aa<=c0V20FAasorted_subV6aeltsV12V11a+V10c1Aasorted_subV6aeltsV12c0V11Aapermut_allV7V12AarangeV12Aa<=V11V10Aa<=c0V11Ia=alengthV12alengthV9FIarangeV9Aasorted_subV6aeltsV9c0V10Aapermut_allV7V9Aa<=V10V8Aa<=c0V10FIa=alengthV9alengthV7FIa<=c0a+V8c1La-alengthV7c1IarangeV7Aa=alengthV7alengthV6F
a<V14alengthV17Aa<=c0V14Ia=V17aV12V11V16Aa=aeltsV17asetaeltsV12V11V16Ia=alengthV17alengthV12FLaV12V14LaV12V11La-V11c1Ia=V13aTrueIia=V13aFalsea=V13iaFalseaTruea>V20c0AaltV6V18V19Ia>V20c0AaltV6V19V18Ia<V20c0Aa=V19V18Ia=V20c0ELaV12a-V11c1LaV12V11a>V11c0FIaleV6aV12V21aV12V22Ia<=V22V10Aa<=a+V11c1V22Aa<V21V11Aa<=c0V21FAasorted_subV6aeltsV12V11a+V10c1Aasorted_subV6aeltsV12c0V11Aapermut_allV7V12AarangeV12Aa<=V11V10Aa<=c0V11Ia=alengthV12alengthV9FIarangeV9Aasorted_subV6aeltsV9c0V10Aapermut_allV7V9Aa<=V10V8Aa<=c0V10FIa=alengthV9alengthV7FIa<=c0a+V8c1La-alengthV7c1IarangeV7Aa=alengthV7alengthV6F
aexchangeV12V18a-V11c1V11Ia=V18aV17V14V15Aa=aeltsV18asetaeltsV17V14V15Ia=alengthV18alengthV17FIa=V17aV12V11V16Aa=aeltsV17asetaeltsV12V11V16Ia=alengthV17alengthV12FLaV12V14LaV12V11La-V11c1Ia=V13aTrueIia=V13aFalsea=V13iaFalseaTruea>V21c0AaltV6V19V20Ia>V21c0AaltV6V20V19Ia<V21c0Aa=V20V19Ia=V21c0ELaV12a-V11c1LaV12V11a>V11c0FIaleV6aV12V22aV12V23Ia<=V23V10Aa<=a+V11c1V23Aa<V22V11Aa<=c0V22FAasorted_subV6aeltsV12V11a+V10c1Aasorted_subV6aeltsV12c0V11Aapermut_allV7V12AarangeV12Aa<=V11V10Aa<=c0V11Ia=alengthV12alengthV9FIarangeV9Aasorted_subV6aeltsV9c0V10Aapermut_allV7V9Aa<=V10V8Aa<=c0V10FIa=alengthV9alengthV7FIa<=c0a+V8c1La-alengthV7c1IarangeV7Aa=alengthV7alengthV6F
assertion
a<V19V11Aa<=c0V11Ia=V19a-V11c1FIaexchangeV12V18a-V11c1V11Ia=V18aV17V14V15Aa=aeltsV18asetaeltsV17V14V15Ia=alengthV18alengthV17FIa=V17aV12V11V16Aa=aeltsV17asetaeltsV12V11V16Ia=alengthV17alengthV12FLaV12V14LaV12V11La-V11c1Ia=V13aTrueIia=V13aFalsea=V13iaFalseaTruea>V22c0AaltV6V20V21Ia>V22c0AaltV6V21V20Ia<V22c0Aa=V21V20Ia=V22c0ELaV12a-V11c1LaV12V11a>V11c0FIaleV6aV12V23aV12V24Ia<=V24V10Aa<=a+V11c1V24Aa<V23V11Aa<=c0V23FAasorted_subV6aeltsV12V11a+V10c1Aasorted_subV6aeltsV12c0V11Aapermut_allV7V12AarangeV12Aa<=V11V10Aa<=c0V11Ia=alengthV12alengthV9FIarangeV9Aasorted_subV6aeltsV9c0V10Aapermut_allV7V9Aa<=V10V8Aa<=c0V10FIa=alengthV9alengthV7FIa<=c0a+V8c1La-alengthV7c1IarangeV7Aa=alengthV7alengthV6F
a<=V19V10Aa<=c0V19Ia=V19a-V11c1FIaexchangeV12V18a-V11c1V11Ia=V18aV17V14V15Aa=aeltsV18asetaeltsV17V14V15Ia=alengthV18alengthV17FIa=V17aV12V11V16Aa=aeltsV17asetaeltsV12V11V16Ia=alengthV17alengthV12FLaV12V14LaV12V11La-V11c1Ia=V13aTrueIia=V13aFalsea=V13iaFalseaTruea>V22c0AaltV6V20V21Ia>V22c0AaltV6V21V20Ia<V22c0Aa=V21V20Ia=V22c0ELaV12a-V11c1LaV12V11a>V11c0FIaleV6aV12V23aV12V24Ia<=V24V10Aa<=a+V11c1V24Aa<V23V11Aa<=c0V23FAasorted_subV6aeltsV12V11a+V10c1Aasorted_subV6aeltsV12c0V11Aapermut_allV7V12AarangeV12Aa<=V11V10Aa<=c0V11Ia=alengthV12alengthV9FIarangeV9Aasorted_subV6aeltsV9c0V10Aapermut_allV7V9Aa<=V10V8Aa<=c0V10FIa=alengthV9alengthV7FIa<=c0a+V8c1La-alengthV7c1IarangeV7Aa=alengthV7alengthV6F
arangeV18Ia<=V19V10Aa<=c0V19Ia=V19a-V11c1FIaexchangeV12V18a-V11c1V11Ia=V18aV17V14V15Aa=aeltsV18asetaeltsV17V14V15Ia=alengthV18alengthV17FIa=V17aV12V11V16Aa=aeltsV17asetaeltsV12V11V16Ia=alengthV17alengthV12FLaV12V14LaV12V11La-V11c1Ia=V13aTrueIia=V13aFalsea=V13iaFalseaTruea>V22c0AaltV6V20V21Ia>V22c0AaltV6V21V20Ia<V22c0Aa=V21V20Ia=V22c0ELaV12a-V11c1LaV12V11a>V11c0FIaleV6aV12V23aV12V24Ia<=V24V10Aa<=a+V11c1V24Aa<V23V11Aa<=c0V23FAasorted_subV6aeltsV12V11a+V10c1Aasorted_subV6aeltsV12c0V11Aapermut_allV7V12AarangeV12Aa<=V11V10Aa<=c0V11Ia=alengthV12alengthV9FIarangeV9Aasorted_subV6aeltsV9c0V10Aapermut_allV7V9Aa<=V10V8Aa<=c0V10FIa=alengthV9alengthV7FIa<=c0a+V8c1La-alengthV7c1IarangeV7Aa=alengthV7alengthV6F
apermut_allV7V18IarangeV18Ia<=V19V10Aa<=c0V19Ia=V19a-V11c1FIaexchangeV12V18a-V11c1V11Ia=V18aV17V14V15Aa=aeltsV18asetaeltsV17V14V15Ia=alengthV18alengthV17FIa=V17aV12V11V16Aa=aeltsV17asetaeltsV12V11V16Ia=alengthV17alengthV12FLaV12V14LaV12V11La-V11c1Ia=V13aTrueIia=V13aFalsea=V13iaFalseaTruea>V22c0AaltV6V20V21Ia>V22c0AaltV6V21V20Ia<V22c0Aa=V21V20Ia=V22c0ELaV12a-V11c1LaV12V11a>V11c0FIaleV6aV12V23aV12V24Ia<=V24V10Aa<=a+V11c1V24Aa<V23V11Aa<=c0V23FAasorted_subV6aeltsV12V11a+V10c1Aasorted_subV6aeltsV12c0V11Aapermut_allV7V12AarangeV12Aa<=V11V10Aa<=c0V11Ia=alengthV12alengthV9FIarangeV9Aasorted_subV6aeltsV9c0V10Aapermut_allV7V9Aa<=V10V8Aa<=c0V10FIa=alengthV9alengthV7FIa<=c0a+V8c1La-alengthV7c1IarangeV7Aa=alengthV7alengthV6F
asorted_subV6aeltsV18c0V19Iapermut_allV7V18IarangeV18Ia<=V19V10Aa<=c0V19Ia=V19a-V11c1FIaexchangeV12V18a-V11c1V11Ia=V18aV17V14V15Aa=aeltsV18asetaeltsV17V14V15Ia=alengthV18alengthV17FIa=V17aV12V11V16Aa=aeltsV17asetaeltsV12V11V16Ia=alengthV17alengthV12FLaV12V14LaV12V11La-V11c1Ia=V13aTrueIia=V13aFalsea=V13iaFalseaTruea>V22c0AaltV6V20V21Ia>V22c0AaltV6V21V20Ia<V22c0Aa=V21V20Ia=V22c0ELaV12a-V11c1LaV12V11a>V11c0FIaleV6aV12V23aV12V24Ia<=V24V10Aa<=a+V11c1V24Aa<V23V11Aa<=c0V23FAasorted_subV6aeltsV12V11a+V10c1Aasorted_subV6aeltsV12c0V11Aapermut_allV7V12AarangeV12Aa<=V11V10Aa<=c0V11Ia=alengthV12alengthV9FIarangeV9Aasorted_subV6aeltsV9c0V10Aapermut_allV7V9Aa<=V10V8Aa<=c0V10FIa=alengthV9alengthV7FIa<=c0a+V8c1La-alengthV7c1IarangeV7Aa=alengthV7alengthV6F
asorted_subV6aeltsV18V19a+V10c1Iasorted_subV6aeltsV18c0V19Iapermut_allV7V18IarangeV18Ia<=V19V10Aa<=c0V19Ia=V19a-V11c1FIaexchangeV12V18a-V11c1V11Ia=V18aV17V14V15Aa=aeltsV18asetaeltsV17V14V15Ia=alengthV18alengthV17FIa=V17aV12V11V16Aa=aeltsV17asetaeltsV12V11V16Ia=alengthV17alengthV12FLaV12V14LaV12V11La-V11c1Ia=V13aTrueIia=V13aFalsea=V13iaFalseaTruea>V22c0AaltV6V20V21Ia>V22c0AaltV6V21V20Ia<V22c0Aa=V21V20Ia=V22c0ELaV12a-V11c1LaV12V11a>V11c0FIaleV6aV12V23aV12V24Ia<=V24V10Aa<=a+V11c1V24Aa<V23V11Aa<=c0V23FAasorted_subV6aeltsV12V11a+V10c1Aasorted_subV6aeltsV12c0V11Aapermut_allV7V12AarangeV12Aa<=V11V10Aa<=c0V11Ia=alengthV12alengthV9FIarangeV9Aasorted_subV6aeltsV9c0V10Aapermut_allV7V9Aa<=V10V8Aa<=c0V10FIa=alengthV9alengthV7FIa<=c0a+V8c1La-alengthV7c1IarangeV7Aa=alengthV7alengthV6F
aleV6aV18V20aV18V21Ia<=V21V10Aa<=a+V19c1V21Aa<V20V19Aa<=c0V20FIasorted_subV6aeltsV18V19a+V10c1Iasorted_subV6aeltsV18c0V19Iapermut_allV7V18IarangeV18Ia<=V19V10Aa<=c0V19Ia=V19a-V11c1FIaexchangeV12V18a-V11c1V11Ia=V18aV17V14V15Aa=aeltsV18asetaeltsV17V14V15Ia=alengthV18alengthV17FIa=V17aV12V11V16Aa=aeltsV17asetaeltsV12V11V16Ia=alengthV17alengthV12FLaV12V14LaV12V11La-V11c1Ia=V13aTrueIia=V13aFalsea=V13iaFalseaTruea>V24c0AaltV6V22V23Ia>V24c0AaltV6V23V22Ia<V24c0Aa=V23V22Ia=V24c0ELaV12a-V11c1LaV12V11a>V11c0FIaleV6aV12V25aV12V26Ia<=V26V10Aa<=a+V11c1V26Aa<V25V11Aa<=c0V25FAasorted_subV6aeltsV12V11a+V10c1Aasorted_subV6aeltsV12c0V11Aapermut_allV7V12AarangeV12Aa<=V11V10Aa<=c0V11Ia=alengthV12alengthV9FIarangeV9Aasorted_subV6aeltsV9c0V10Aapermut_allV7V9Aa<=V10V8Aa<=c0V10FIa=alengthV9alengthV7FIa<=c0a+V8c1La-alengthV7c1IarangeV7Aa=alengthV7alengthV6F
aleV6aV12a-V11c1aV12V11Ia>V11c0INa=V13aTrueIia=V13aFalsea=V13iaFalseaTruea>V16c0AaltV6V14V15Ia>V16c0AaltV6V15V14Ia<V16c0Aa=V15V14Ia=V16c0ELaV12a-V11c1LaV12V11a>V11c0FIaleV6aV12V17aV12V18Ia<=V18V10Aa<=a+V11c1V18Aa<V17V11Aa<=c0V17FAasorted_subV6aeltsV12V11a+V10c1Aasorted_subV6aeltsV12c0V11Aapermut_allV7V12AarangeV12Aa<=V11V10Aa<=c0V11Ia=alengthV12alengthV9FIarangeV9Aasorted_subV6aeltsV9c0V10Aapermut_allV7V9Aa<=V10V8Aa<=c0V10FIa=alengthV9alengthV7FIa<=c0a+V8c1La-alengthV7c1IarangeV7Aa=alengthV7alengthV6F
apermut_allV7V12IaleV6aV12a-V11c1aV12V11Ia>V11c0INa=V13aTrueIia=V13aFalsea=V13iaFalseaTruea>V16c0AaltV6V14V15Ia>V16c0AaltV6V15V14Ia<V16c0Aa=V15V14Ia=V16c0ELaV12a-V11c1LaV12V11a>V11c0FIaleV6aV12V17aV12V18Ia<=V18V10Aa<=a+V11c1V18Aa<V17V11Aa<=c0V17FAasorted_subV6aeltsV12V11a+V10c1Aasorted_subV6aeltsV12c0V11Aapermut_allV7V12AarangeV12Aa<=V11V10Aa<=c0V11Ia=alengthV12alengthV9FIarangeV9Aasorted_subV6aeltsV9c0V10Aapermut_allV7V9Aa<=V10V8Aa<=c0V10FIa=alengthV9alengthV7FIa<=c0a+V8c1La-alengthV7c1IarangeV7Aa=alengthV7alengthV6F
asorted_subV6aeltsV12c0a+V10c1Iapermut_allV7V12IaleV6aV12a-V11c1aV12V11Ia>V11c0INa=V13aTrueIia=V13aFalsea=V13iaFalseaTruea>V16c0AaltV6V14V15Ia>V16c0AaltV6V15V14Ia<V16c0Aa=V15V14Ia=V16c0ELaV12a-V11c1LaV12V11a>V11c0FIaleV6aV12V17aV12V18Ia<=V18V10Aa<=a+V11c1V18Aa<V17V11Aa<=c0V17FAasorted_subV6aeltsV12V11a+V10c1Aasorted_subV6aeltsV12c0V11Aapermut_allV7V12AarangeV12Aa<=V11V10Aa<=c0V11Ia=alengthV12alengthV9FIarangeV9Aasorted_subV6aeltsV9c0V10Aapermut_allV7V9Aa<=V10V8Aa<=c0V10FIa=alengthV9alengthV7FIa<=c0a+V8c1La-alengthV7c1IarangeV7Aa=alengthV7alengthV6F
arangeV12Iasorted_subV6aeltsV12c0a+V10c1Iapermut_allV7V12IaleV6aV12a-V11c1aV12V11Ia>V11c0INa=V13aTrueIia=V13aFalsea=V13iaFalseaTruea>V16c0AaltV6V14V15Ia>V16c0AaltV6V15V14Ia<V16c0Aa=V15V14Ia=V16c0ELaV12a-V11c1LaV12V11a>V11c0FIaleV6aV12V17aV12V18Ia<=V18V10Aa<=a+V11c1V18Aa<V17V11Aa<=c0V17FAasorted_subV6aeltsV12V11a+V10c1Aasorted_subV6aeltsV12c0V11Aapermut_allV7V12AarangeV12Aa<=V11V10Aa<=c0V11Ia=alengthV12alengthV9FIarangeV9Aasorted_subV6aeltsV9c0V10Aapermut_allV7V9Aa<=V10V8Aa<=c0V10FIa=alengthV9alengthV7FIa<=c0a+V8c1La-alengthV7c1IarangeV7Aa=alengthV7alengthV6F
asortedV6V9IarangeV9Aasorted_subV6aeltsV9c0a+V8c1Aapermut_allV7V9Ia=alengthV9alengthV7FIa<=c0a+V8c1La-alengthV7c1IarangeV7Aa=alengthV7alengthV6F
apermut_allV7V9IasortedV6V9IarangeV9Aasorted_subV6aeltsV9c0a+V8c1Aapermut_allV7V9Ia=alengthV9alengthV7FIa<=c0a+V8c1La-alengthV7c1IarangeV7Aa=alengthV7alengthV6F
apermut_allV7V7AasortedV6V7Ia>c0a+V8c1La-alengthV7c1IarangeV7Aa=alengthV7alengthV6F
out of loop bounds
apermut_allV7V7AasortedV6V7Ia>c0a+V8c1Aapermut_allV7V9AasortedV6V9IarangeV9Aasorted_subV6aeltsV9c0a+V8c1Aapermut_allV7V9AiarangeV12Aasorted_subV6aeltsV12c0a+V10c1Aapermut_allV7V12AaleV6aV12a-V11c1aV12V11Ia>V11c0aleV6aV18V20aV18V21Ia<=V21V10Aa<=a+V19c1V21Aa<V20V19Aa<=c0V20FAasorted_subV6aeltsV18V19a+V10c1Aasorted_subV6aeltsV18c0V19Aapermut_allV7V18AarangeV18Aa<=V19V10Aa<=c0V19Aa<V19V11Aa<=c0V11Ia=V19a-V11c1FAaexchangeV12V18a-V11c1V11Ia=V18aV17V14V15Aa=aeltsV18asetaeltsV17V14V15Ia=alengthV18alengthV17FAa<V14alengthV17Aa<=c0V14Ia=V17aV12V11V16Aa=aeltsV17asetaeltsV12V11V16Ia=alengthV17alengthV12FAa<V11alengthV12Aa<=c0V11LaV12V14Aa<V14alengthV12Aa<=c0V14LaV12V11Aa<V11alengthV12Aa<=c0V11La-V11c1a=V13aTrueIia=V13aFalsea=V13iaFalseaTruea>V24c0AaltV6V22V23Ia>V24c0AaltV6V23V22Ia<V24c0Aa=V23V22Ia=V24c0ELaV12a-V11c1LaV12V11a>V11c0FAa<=V25alengthV6Aa<=c0V25Aa<=V27alengthV6Aa<=c0V27LaV12V26Aa<V26alengthV12Aa<=c0V26La-V11c1LaV12V11Aa<V11alengthV12Aa<=c0V11Ia>V11c0IaleV6aV12V28aV12V29Ia<=V29V10Aa<=a+V11c1V29Aa<V28V11Aa<=c0V28
VC for sort
iiitAa<c3alengthV6Aa<=c0c3tNa=aV6c2c2Aa<c2alengthV6Aa<=c0c2tNa=aV6c1c0Aa<c1alengthV6Aa<=c0c1tNa=aV6c0c3Aa<c0alengthV6Aa<=c0c0Iapermut_allV5V6AasortedV4V6Ia=alengthV6alengthV5FAarangeV5Aa=alengthV5alengthV4Ia>c0a+c3c1AiiitAa<c3alengthV8Aa<=c0c3tNa=aV8c2c2Aa<c2alengthV8Aa<=c0c2tNa=aV8c1c0Aa<c1alengthV8Aa<=c0c1tNa=aV8c0c3Aa<c0alengthV8Aa<=c0c0Iapermut_allV7V8AasortedV4V8Ia=alengthV8alengthV7FAarangeV7Aa=alengthV7alengthV4Ia=aV7V9V9Ia<V9a+c3c1Aa<=c0V9FAa=aV11V12V12Ia<V12a+V10c1Aa<=c0V12FIa=V11aV7V10V10Aa=aeltsV11asetaeltsV7V10V10Ia=alengthV11alengthV7FAa<V10alengthV7Aa<=c0V10Ia=aV7V13V13Ia<V13V10Aa<=c0V13FAa<=V10c3Aa<=c0V10FIa=alengthV7alengthV5FAa=aV5V14V14Ia<V14c0Aa<=c0V14FIa<=c0a+c3c1Ia=alengthV5c4Aa=aV5V15c0Ia<V15c4Aa<=c0V15FFAa>=c4c0Ia=V4aV3c3c6Aa=aeltsV4asetaeltsV3c3c6Ia=alengthV4alengthV3FAa<c3alengthV3Aa<=c0c3Ia=V3aV2c2c8Aa=aeltsV3asetaeltsV2c2c8Ia=alengthV3alengthV2FAa<c2alengthV2Aa<=c0c2Ia=V2aV1c1c8Aa=aeltsV2asetaeltsV1c1c8Ia=alengthV2alengthV1FAa<c1alengthV1Aa<=c0c1Ia=V1aV0c0c7Aa=aeltsV1asetaeltsV0c0c7
asortedV1V0AapermutationaeltsV0alengthV0Aa=alengthV1alengthV0Ia=alengthV1c0Aa=aV1V2c0Ia<V2c0Aa<=c0V2FFAa>=c0c0Ia=alengthV0c0Aa=aV0V3c0Ia<V3c0Aa<=c0V3FFAa>=c0c0
VC for suffixArray
asortedavaluesV0asuffixesV0AapermutationaeltsasuffixesV0alengthasuffixesV0Aa=alengthavaluesV0alengthasuffixesV0FasuffixesV0avaluesV0
a=aV5V4aasuffixesV1V4Aa<V4alengthV5Aa<=c0V4LasuffixesV1Ia<V4alengthavaluesV1Aa<=c0V4Aa=V3avaluesV1Aa=V2asuffixesV1F
VC for select
apermutationaeltsV2alengthV2IapermutationaeltsV1alengthV1Aapermut_allV1V2F
a>=V4c0LalengthV3F
array creation size
a=aV5V7V7Ia<V7c0Aa<=c0V7FIa<=c0a+V6c1La-V4c1Ia=alengthV5V4Aa=aV5V8c0Ia<V8V4Aa<=c0V8FFLalengthV3F
a<V8alengthV7Aa<=c0V8Ia=aV7V9V9Ia<V9V8Aa<=c0V9FAa<=V8V6Aa<=c0V8FIa=alengthV7alengthV5FIa<=c0a+V6c1La-V4c1Ia=alengthV5V4Aa=aV5V10c0Ia<V10V4Aa<=c0V10FFLalengthV3F
a=aV9V10V10Ia<V10a+V8c1Aa<=c0V10FIa=V9aV7V8V8Aa=aeltsV9asetaeltsV7V8V8Ia=alengthV9alengthV7FIa=aV7V11V11Ia<V11V8Aa<=c0V11FAa<=V8V6Aa<=c0V8FIa=alengthV7alengthV5FIa<=c0a+V6c1La-V4c1Ia=alengthV5V4Aa=aV5V12c0Ia<V12V4Aa<=c0V12FFLalengthV3F
a=alengthV7alengthV3Ia=aV7V8V8Ia<V8a+V6c1Aa<=c0V8FIa=alengthV7alengthV5FIa<=c0a+V6c1La-V4c1Ia=alengthV5V4Aa=aV5V9c0Ia<V9V4Aa<=c0V9FFLalengthV3F
arangeV7Ia=alengthV7alengthV3Ia=aV7V8V8Ia<V8a+V6c1Aa<=c0V8FIa=alengthV7alengthV5FIa<=c0a+V6c1La-V4c1Ia=alengthV5V4Aa=aV5V9c0Ia<V9V4Aa<=c0V9FFLalengthV3F
asortedV3V8AapermutationaeltsV8alengthV8Aa=alengthV3alengthV8Iapermut_allV7V8AasortedV3V8Ia=alengthV8alengthV7FIa=aV7V9V9Ia<V9a+V6c1Aa<=c0V9FIa=alengthV7alengthV5FIa<=c0a+V6c1La-V4c1Ia=alengthV5V4Aa=aV5V10c0Ia<V10V4Aa<=c0V10FFLalengthV3F
a=avaluesV9V3ItIa=asuffixesV9V8Aa=avaluesV9V3Aa=V11avaluesV9Aa=V10asuffixesV9FIapermut_allV7V8AasortedV3V8Ia=alengthV8alengthV7FIa=aV7V12V12Ia<V12a+V6c1Aa<=c0V12FIa=alengthV7alengthV5FIa<=c0a+V6c1La-V4c1Ia=alengthV5V4Aa=aV5V13c0Ia<V13V4Aa<=c0V13FFLalengthV3F
a=avaluesV8V3ItAtIa=asuffixesV8V7Aa=avaluesV8V3Aa=V10avaluesV8Aa=V9asuffixesV8FAasortedV3V7AapermutationaeltsV7alengthV7Aa=alengthV3alengthV7Iapermut_allV5V7AasortedV3V7Ia=alengthV7alengthV5FAarangeV5Aa=alengthV5alengthV3Ia>c0a+V6c1La-V4c1Ia=alengthV5V4Aa=aV5V11c0Ia<V11V4Aa<=c0V11FFLalengthV3F
a=avaluesV8V3ItAtIa=asuffixesV8V7Aa=avaluesV8V3Aa=V10avaluesV8Aa=V9asuffixesV8FAasortedV3V7AapermutationaeltsV7alengthV7Aa=alengthV3alengthV7Iapermut_allV5V7AasortedV3V7Ia=alengthV7alengthV5FAarangeV5Aa=alengthV5alengthV3Ia>c0a+V6c1Aa=avaluesV13V3ItAtIa=asuffixesV13V12Aa=avaluesV13V3Aa=V15avaluesV13Aa=V14asuffixesV13FAasortedV3V12AapermutationaeltsV12alengthV12Aa=alengthV3alengthV12Iapermut_allV11V12AasortedV3V12Ia=alengthV12alengthV11FAarangeV11Aa=alengthV11alengthV3Ia=aV11V16V16Ia<V16a+V6c1Aa<=c0V16FAa=aV18V19V19Ia<V19a+V17c1Aa<=c0V19FIa=V18aV11V17V17Aa=aeltsV18asetaeltsV11V17V17Ia=alengthV18alengthV11FAa<V17alengthV11Aa<=c0V17Ia=aV11V20V20Ia<V20V17Aa<=c0V20FAa<=V17V6Aa<=c0V17FIa=alengthV11alengthV5FAa=aV5V21V21Ia<V21c0Aa<=c0V21FIa<=c0a+V6c1La-V4c1Ia=alengthV5V4Aa=aV5V22c0Ia<V22V4Aa<=c0V22FFAa>=V4c0LalengthV3F
VC for create
a<V7alengthV8Aa<=c0V7LasuffixesV3La-V6c1Ia<V6alengthavaluesV3Aa<c0V6Aa=V5avaluesV3Aa=V4asuffixesV3F
a<V6alengthV10Aa<=c0V6LasuffixesV3LaV8V7LasuffixesV3La-V6c1Ia<V6alengthavaluesV3Aa<c0V6Aa=V5avaluesV3Aa=V4asuffixesV3F
a<=V11alengthV12Aa<=c0V11LavaluesV3LaV10V6LasuffixesV3LaV8V7LasuffixesV3La-V6c1Ia<V6alengthavaluesV3Aa<c0V6Aa=V5avaluesV3Aa=V4asuffixesV3F
a<=V9alengthV12Aa<=c0V9Ia<=V11alengthV12Aa<=c0V11LavaluesV3LaV10V6LasuffixesV3LaV8V7LasuffixesV3La-V6c1Ia<V6alengthavaluesV3Aa<c0V6Aa=V5avaluesV3Aa=V4asuffixesV3F
ais_longest_common_prefixavaluesV3aasuffixesV3a-V6c1aasuffixesV3V6V13Iais_longest_common_prefixV12V11V9V13FLavaluesV3LaV10V6LasuffixesV3LaV8V7LasuffixesV3La-V6c1Ia<V6alengthavaluesV3Aa<c0V6Aa=V5avaluesV3Aa=V4asuffixesV3F
ais_longest_common_prefixavaluesV3aasuffixesV3a-V6c1aasuffixesV3V6V13Iais_longest_common_prefixV12V11V9V13FAa<=V9alengthV12Aa<=c0V9Aa<=V11alengthV12Aa<=c0V11LavaluesV3LaV10V6Aa<V6alengthV10Aa<=c0V6LasuffixesV3LaV8V7Aa<V7alengthV8Aa<=c0V7LasuffixesV3La-V6c1Ia<V6alengthavaluesV3Aa<c0V6Aa=V5avaluesV3Aa=V4asuffixesV3F
iiiittNa=aV11c3c1Aa<c3alengthV11Aa<=c0c3LasuffixesV5tNa=aV10c2c2Aa<c2alengthV10Aa<=c0c2LasuffixesV5tNa=aV9c1c0Aa<c1alengthV9Aa<=c0c1LasuffixesV5tNa=aV8c0c3Aa<c0alengthV8Aa<=c0c0LasuffixesV5Ia=avaluesV5V4Aa=V7avaluesV5Aa=V6asuffixesV5FIa=V4aV3c3c6Aa=aeltsV4asetaeltsV3c3c6Ia=alengthV4alengthV3FAa<c3alengthV3Aa<=c0c3Ia=V3aV2c2c8Aa=aeltsV3asetaeltsV2c2c8Ia=alengthV3alengthV2FAa<c2alengthV2Aa<=c0c2Ia=V2aV1c1c8Aa=aeltsV2asetaeltsV1c1c8Ia=alengthV2alengthV1FAa<c1alengthV1Aa<=c0c1Ia=V1aV0c0c7Aa=aeltsV1asetaeltsV0c0c7Ia=alengthV1alengthV0FAa<c0alengthV0Aa<=c0c0Ia=alengthV0c4Aa=aV0V12c0Ia<V12c4Aa<=c0V12FFAa>=c4c0
ais_longest_common_prefixV0V2V1V3Iais_longest_common_prefixV0V1V2V3Ia<=V2alengthV0Aa<=c0V2Aa<=V1alengthV0Aa<=c0V1F
ais_common_prefixV4V6V7V8Iais_common_prefixV4V5V7V8IaleV4V6V7AaleV4V5V6F
a<=V13V14Iais_longest_common_prefixV9V11V12V14Aais_longest_common_prefixV9V10V12V13IaleV9V11V12AaleV9V10V11F
a<=V20alengthV15Aa<=c0V20Ia<=c1a+V22c1La-alengthV15c1Ia=V21alengthV15FIa=V20c0FIa=V19c0FIa=avaluesV16V15Aa=V18avaluesV16Aa=V17asuffixesV16FIa>alengthV15c0F
a<=V19alengthV15Aa<=c0V19Ia<=V20alengthV15Aa<=c0V20Ia<=c1a+V22c1La-alengthV15c1Ia=V21alengthV15FIa=V20c0FIa=V19c0FIa=avaluesV16V15Aa=V18avaluesV16Aa=V17asuffixesV16FIa>alengthV15c0F
ais_longest_common_prefixV15V19V21V20ANa=V19V21Aa<=V21alengthV15Aa<=c0V21Ia<=V19alengthV15Aa<=c0V19Ia<=V20alengthV15Aa<=c0V20Ia<=c1a+V22c1La-alengthV15c1Ia=V21alengthV15FIa=V20c0FIa=V19c0FIa=avaluesV16V15Aa=V18avaluesV16Aa=V17asuffixesV16FIa>alengthV15c0F
a>=V20V25Iais_longest_common_prefixV15aasuffixesV16V23aasuffixesV16V24V25Aa<V24c1Aa<V23V24Aa<=c0V23FIais_longest_common_prefixV15V19V21V20ANa=V19V21Aa<=V21alengthV15Aa<=c0V21Ia<=V19alengthV15Aa<=c0V19Ia<=V20alengthV15Aa<=c0V20Ia<=c1a+V22c1La-alengthV15c1Ia=V21alengthV15FIa=V20c0FIa=V19c0FIa=avaluesV16V15Aa=V18avaluesV16Aa=V17asuffixesV16FIa>alengthV15c0F
a<V26alengthavaluesV16Aa<c0V26ItIa>=V24V29Iais_longest_common_prefixV15aasuffixesV16V27aasuffixesV16V28V29Aa<V28V26Aa<V27V28Aa<=c0V27FAais_longest_common_prefixV15V25V23V24ANa=V25V23Aa<=V23alengthV15Aa<=c0V23Aa<=V25alengthV15Aa<=c0V25Aa<=V24alengthV15Aa<=c0V24Aa<=V26V22Aa<=c1V26FFIa<=c1a+V22c1La-alengthV15c1Ia=V21alengthV15FIa=V20c0FIa=V19c0FIa=avaluesV16V15Aa=V18avaluesV16Aa=V17asuffixesV16FIa>alengthV15c0F
a<V26alengthavaluesV16Aa<=c0V26ItIa>V27V24Iais_longest_common_prefixavaluesV16aasuffixesV16a-V26c1aasuffixesV16V26V27FItIa>=V24V30Iais_longest_common_prefixV15aasuffixesV16V28aasuffixesV16V29V30Aa<V29V26Aa<V28V29Aa<=c0V28FAais_longest_common_prefixV15V25V23V24ANa=V25V23Aa<=V23alengthV15Aa<=c0V23Aa<=V25alengthV15Aa<=c0V25Aa<=V24alengthV15Aa<=c0V24Aa<=V26V22Aa<=c1V26FFIa<=c1a+V22c1La-alengthV15c1Ia=V21alengthV15FIa=V20c0FIa=V19c0FIa=avaluesV16V15Aa=V18avaluesV16Aa=V17asuffixesV16FIa>alengthV15c0F
a<V29alengthavaluesV16Aa<=c0V29ItLa-V26c1Ia=V28aasuffixesV16V26FItIa>V27V24Iais_longest_common_prefixavaluesV16aasuffixesV16a-V26c1aasuffixesV16V26V27FItIa>=V24V32Iais_longest_common_prefixV15aasuffixesV16V30aasuffixesV16V31V32Aa<V31V26Aa<V30V31Aa<=c0V30FAais_longest_common_prefixV15V25V23V24ANa=V25V23Aa<=V23alengthV15Aa<=c0V23Aa<=V25alengthV15Aa<=c0V25Aa<=V24alengthV15Aa<=c0V24Aa<=V26V22Aa<=c1V26FFIa<=c1a+V22c1La-alengthV15c1Ia=V21alengthV15FIa=V20c0FIa=V19c0FIa=avaluesV16V15Aa=V18avaluesV16Aa=V17asuffixesV16FIa>alengthV15c0F
a<=V31alengthV15Aa<=c0V31Ia=V31V27FIa=V30aasuffixesV16V29FItLa-V26c1Ia=V28aasuffixesV16V26FItIa>V27V24Iais_longest_common_prefixavaluesV16aasuffixesV16a-V26c1aasuffixesV16V26V27FItIa>=V24V34Iais_longest_common_prefixV15aasuffixesV16V32aasuffixesV16V33V34Aa<V33V26Aa<V32V33Aa<=c0V32FAais_longest_common_prefixV15V25V23V24ANa=V25V23Aa<=V23alengthV15Aa<=c0V23Aa<=V25alengthV15Aa<=c0V25Aa<=V24alengthV15Aa<=c0V24Aa<=V26V22Aa<=c1V26FFIa<=c1a+V22c1La-alengthV15c1Ia=V21alengthV15FIa=V20c0FIa=V19c0FIa=avaluesV16V15Aa=V18avaluesV16Aa=V17asuffixesV16FIa>alengthV15c0F
a<=V28alengthV15Aa<=c0V28Ia<=V31alengthV15Aa<=c0V31Ia=V31V27FIa=V30aasuffixesV16V29FItLa-V26c1Ia=V28aasuffixesV16V26FItIa>V27V24Iais_longest_common_prefixavaluesV16aasuffixesV16a-V26c1aasuffixesV16V26V27FItIa>=V24V34Iais_longest_common_prefixV15aasuffixesV16V32aasuffixesV16V33V34Aa<V33V26Aa<V32V33Aa<=c0V32FAais_longest_common_prefixV15V25V23V24ANa=V25V23Aa<=V23alengthV15Aa<=c0V23Aa<=V25alengthV15Aa<=c0V25Aa<=V24alengthV15Aa<=c0V24Aa<=V26V22Aa<=c1V26FFIa<=c1a+V22c1La-alengthV15c1Ia=V21alengthV15FIa=V20c0FIa=V19c0FIa=avaluesV16V15Aa=V18avaluesV16Aa=V17asuffixesV16FIa>alengthV15c0F
ais_longest_common_prefixV15V28V30V31ANa=V28V30Aa<=V30alengthV15Aa<=c0V30Ia<=V28alengthV15Aa<=c0V28Ia<=V31alengthV15Aa<=c0V31Ia=V31V27FIa=V30aasuffixesV16V29FItLa-V26c1Ia=V28aasuffixesV16V26FItIa>V27V24Iais_longest_common_prefixavaluesV16aasuffixesV16a-V26c1aasuffixesV16V26V27FItIa>=V24V34Iais_longest_common_prefixV15aasuffixesV16V32aasuffixesV16V33V34Aa<V33V26Aa<V32V33Aa<=c0V32FAais_longest_common_prefixV15V25V23V24ANa=V25V23Aa<=V23alengthV15Aa<=c0V23Aa<=V25alengthV15Aa<=c0V25Aa<=V24alengthV15Aa<=c0V24Aa<=V26V22Aa<=c1V26FFIa<=c1a+V22c1La-alengthV15c1Ia=V21alengthV15FIa=V20c0FIa=V19c0FIa=avaluesV16V15Aa=V18avaluesV16Aa=V17asuffixesV16FIa>alengthV15c0F
a>=V31V34Iais_longest_common_prefixV15aasuffixesV16V32aasuffixesV16V33V34Aa<V33a+V26c1Aa<V32V33Aa<=c0V32FIais_longest_common_prefixV15V28V30V31ANa=V28V30Aa<=V30alengthV15Aa<=c0V30Ia<=V28alengthV15Aa<=c0V28Ia<=V31alengthV15Aa<=c0V31Ia=V31V27FIa=V30aasuffixesV16V29FItLa-V26c1Ia=V28aasuffixesV16V26FItIa>V27V24Iais_longest_common_prefixavaluesV16aasuffixesV16a-V26c1aasuffixesV16V26V27FItIa>=V24V37Iais_longest_common_prefixV15aasuffixesV16V35aasuffixesV16V36V37Aa<V36V26Aa<V35V36Aa<=c0V35FAais_longest_common_prefixV15V25V23V24ANa=V25V23Aa<=V23alengthV15Aa<=c0V23Aa<=V25alengthV15Aa<=c0V25Aa<=V24alengthV15Aa<=c0V24Aa<=V26V22Aa<=c1V26FFIa<=c1a+V22c1La-alengthV15c1Ia=V21alengthV15FIa=V20c0FIa=V19c0FIa=avaluesV16V15Aa=V18avaluesV16Aa=V17asuffixesV16FIa>alengthV15c0F
a<=V24alengthV15Aa<=c0V24INa>V27V24Iais_longest_common_prefixavaluesV16aasuffixesV16a-V26c1aasuffixesV16V26V27FItIa>=V24V30Iais_longest_common_prefixV15aasuffixesV16V28aasuffixesV16V29V30Aa<V29V26Aa<V28V29Aa<=c0V28FAais_longest_common_prefixV15V25V23V24ANa=V25V23Aa<=V23alengthV15Aa<=c0V23Aa<=V25alengthV15Aa<=c0V25Aa<=V24alengthV15Aa<=c0V24Aa<=V26V22Aa<=c1V26FFIa<=c1a+V22c1La-alengthV15c1Ia=V21alengthV15FIa=V20c0FIa=V19c0FIa=avaluesV16V15Aa=V18avaluesV16Aa=V17asuffixesV16FIa>alengthV15c0F
a<=V25alengthV15Aa<=c0V25Ia<=V24alengthV15Aa<=c0V24INa>V27V24Iais_longest_common_prefixavaluesV16aasuffixesV16a-V26c1aasuffixesV16V26V27FItIa>=V24V30Iais_longest_common_prefixV15aasuffixesV16V28aasuffixesV16V29V30Aa<V29V26Aa<V28V29Aa<=c0V28FAais_longest_common_prefixV15V25V23V24ANa=V25V23Aa<=V23alengthV15Aa<=c0V23Aa<=V25alengthV15Aa<=c0V25Aa<=V24alengthV15Aa<=c0V24Aa<=V26V22Aa<=c1V26FFIa<=c1a+V22c1La-alengthV15c1Ia=V21alengthV15FIa=V20c0FIa=V19c0FIa=avaluesV16V15Aa=V18avaluesV16Aa=V17asuffixesV16FIa>alengthV15c0F
ais_longest_common_prefixV15V25V23V24ANa=V25V23Aa<=V23alengthV15Aa<=c0V23Ia<=V25alengthV15Aa<=c0V25Ia<=V24alengthV15Aa<=c0V24INa>V27V24Iais_longest_common_prefixavaluesV16aasuffixesV16a-V26c1aasuffixesV16V26V27FItIa>=V24V30Iais_longest_common_prefixV15aasuffixesV16V28aasuffixesV16V29V30Aa<V29V26Aa<V28V29Aa<=c0V28FAais_longest_common_prefixV15V25V23V24ANa=V25V23Aa<=V23alengthV15Aa<=c0V23Aa<=V25alengthV15Aa<=c0V25Aa<=V24alengthV15Aa<=c0V24Aa<=V26V22Aa<=c1V26FFIa<=c1a+V22c1La-alengthV15c1Ia=V21alengthV15FIa=V20c0FIa=V19c0FIa=avaluesV16V15Aa=V18avaluesV16Aa=V17asuffixesV16FIa>alengthV15c0F
a>=V24V30Iais_longest_common_prefixV15aasuffixesV16V28aasuffixesV16V29V30Aa<V29a+V26c1Aa<V28V29Aa<=c0V28FIais_longest_common_prefixV15V25V23V24ANa=V25V23Aa<=V23alengthV15Aa<=c0V23Ia<=V25alengthV15Aa<=c0V25Ia<=V24alengthV15Aa<=c0V24INa>V27V24Iais_longest_common_prefixavaluesV16aasuffixesV16a-V26c1aasuffixesV16V26V27FItIa>=V24V33Iais_longest_common_prefixV15aasuffixesV16V31aasuffixesV16V32V33Aa<V32V26Aa<V31V32Aa<=c0V31FAais_longest_common_prefixV15V25V23V24ANa=V25V23Aa<=V23alengthV15Aa<=c0V23Aa<=V25alengthV15Aa<=c0V25Aa<=V24alengthV15Aa<=c0V24Aa<=V26V22Aa<=c1V26FFIa<=c1a+V22c1La-alengthV15c1Ia=V21alengthV15FIa=V20c0FIa=V19c0FIa=avaluesV16V15Aa=V18avaluesV16Aa=V17asuffixesV16FIa>alengthV15c0F
a>=V24V28Iais_longest_common_prefixV15aasuffixesV16V26aasuffixesV16V27V28ANa=V26V27Aa<V27alengthV15Aa<=c0V27Aa<V26alengthV15Aa<=c0V26FIa>=V24V31Iais_longest_common_prefixV15aasuffixesV16V29aasuffixesV16V30V31Aa<V30a+V22c1Aa<V29V30Aa<=c0V29FAais_longest_common_prefixV15V25V23V24ANa=V25V23Aa<=V23alengthV15Aa<=c0V23Aa<=V25alengthV15Aa<=c0V25Aa<=V24alengthV15Aa<=c0V24FIa<=c1a+V22c1La-alengthV15c1Ia=V21alengthV15FIa=V20c0FIa=V19c0FIa=avaluesV16V15Aa=V18avaluesV16Aa=V17asuffixesV16FIa>alengthV15c0F
a>alengthaac0
a=asa_valuesavaluesasaAa=asa_suffixesasuffixesasa
a=avaluesasaaa
a=asolStartc0
a=asolLengthc0
a=asolStart2alengthaa
a<=c1a+aoc1
a<=c0asolLength1
a<=asolLength1alengthaa
a<=c0asolStart1
a<=asolStart1alengthaa
a<=c0asolStart21
a<=asolStart21alengthaa
Na=asolStart1asolStart21
ais_longest_common_prefixaaasolStart1asolStart21asolLength1
a>=asolLength1V17Iais_longest_common_prefixaaaasuffixesasaV15aasuffixesasaV16V17Aa<V16a+aoc1Aa<V15V16Aa<=c0V15F
a>=asolLength1V20Iais_longest_common_prefixaaaasuffixesasaV18aasuffixesasaV19V20ANa=V18V19Aa<V19alengthaaAa<=c0V19Aa<V18alengthaaAa<=c0V18F
a<=c0ax
a<axay
a<ayalengthaa
asurjectiveaeltsasuffixesasaalengthaa
asserted formula
a=aaeltsasuffixesasaV22V21Aa<V22alengthaaAa<=c0V22EIa<V21alengthaaAa<=c0V21F
a=aaeltsasuffixesasaV23axAa<V23alengthaaAa<=c0V23EIa<axalengthaaAa<=c0ax
a=aaeltsasuffixesasaV24ayAa<V24alengthaaAa<=c0V24EIa<ayalengthaaAa<=c0ay
a=ayaasuffixesasaV26Aa=axaasuffixesasaV25ANa=V25V26Aa<V26alengthaaAa<=c0V26Aa<V25alengthaaAa<=c0V25E
a=ayaasuffixesasaV25Aa=axaasuffixesasaV24ANa=V24V25Aa<V25alengthaaAa<=c0V25Aa<V24alengthaaAa<=c0V24E
a=ayaasuffixesasaV24Aa=axaasuffixesasaV23ANa=V23V24Aa<V24alengthaaAa<=c0V24Aa<V23alengthaaAa<=c0V23E
a=ayaasuffixesasaV22Aa=axaasuffixesasaV21ANa=V21V22Aa<V22alengthaaAa<=c0V22Aa<V21alengthaaAa<=c0V21E
a=V27aasuffixesV16V29Aa=V26aasuffixesV16V28ANa=V28V29Aa<V29alengthV15Aa<=c0V29Aa<V28alengthV15Aa<=c0V28EIa<V27alengthV15Aa<V26V27Aa<=c0V26FIa>=V24V32Iais_longest_common_prefixV15aasuffixesV16V30aasuffixesV16V31V32ANa=V30V31Aa<V31alengthV15Aa<=c0V31Aa<V30alengthV15Aa<=c0V30FIa>=V24V35Iais_longest_common_prefixV15aasuffixesV16V33aasuffixesV16V34V35Aa<V34a+V22c1Aa<V33V34Aa<=c0V33FAais_longest_common_prefixV15V25V23V24ANa=V25V23Aa<=V23alengthV15Aa<=c0V23Aa<=V25alengthV15Aa<=c0V25Aa<=V24alengthV15Aa<=c0V24FIa<=c1a+V22c1La-alengthV15c1Ia=V21alengthV15FIa=V20c0FIa=V19c0FIa=avaluesV16V15Aa=V18avaluesV16Aa=V17asuffixesV16FIa>alengthV15c0F
a<=V24alengthV15Aa<=c0V24Ia=V27aasuffixesV16V29Aa=V26aasuffixesV16V28ANa=V28V29Aa<V29alengthV15Aa<=c0V29Aa<V28alengthV15Aa<=c0V28EIa<V27alengthV15Aa<V26V27Aa<=c0V26FIa>=V24V32Iais_longest_common_prefixV15aasuffixesV16V30aasuffixesV16V31V32ANa=V30V31Aa<V31alengthV15Aa<=c0V31Aa<V30alengthV15Aa<=c0V30FIa>=V24V35Iais_longest_common_prefixV15aasuffixesV16V33aasuffixesV16V34V35Aa<V34a+V22c1Aa<V33V34Aa<=c0V33FAais_longest_common_prefixV15V25V23V24ANa=V25V23Aa<=V23alengthV15Aa<=c0V23Aa<=V25alengthV15Aa<=c0V25Aa<=V24alengthV15Aa<=c0V24FIa<=c1a+V22c1La-alengthV15c1Ia=V21alengthV15FIa=V20c0FIa=V19c0FIa=avaluesV16V15Aa=V18avaluesV16Aa=V17asuffixesV16FIa>alengthV15c0F
a<=V25alengthV15Aa<=c0V25Ia<=V24alengthV15Aa<=c0V24Ia=V27aasuffixesV16V29Aa=V26aasuffixesV16V28ANa=V28V29Aa<V29alengthV15Aa<=c0V29Aa<V28alengthV15Aa<=c0V28EIa<V27alengthV15Aa<V26V27Aa<=c0V26FIa>=V24V32Iais_longest_common_prefixV15aasuffixesV16V30aasuffixesV16V31V32ANa=V30V31Aa<V31alengthV15Aa<=c0V31Aa<V30alengthV15Aa<=c0V30FIa>=V24V35Iais_longest_common_prefixV15aasuffixesV16V33aasuffixesV16V34V35Aa<V34a+V22c1Aa<V33V34Aa<=c0V33FAais_longest_common_prefixV15V25V23V24ANa=V25V23Aa<=V23alengthV15Aa<=c0V23Aa<=V25alengthV15Aa<=c0V25Aa<=V24alengthV15Aa<=c0V24FIa<=c1a+V22c1La-alengthV15c1Ia=V21alengthV15FIa=V20c0FIa=V19c0FIa=avaluesV16V15Aa=V18avaluesV16Aa=V17asuffixesV16FIa>alengthV15c0F
ais_longest_common_prefixV15V25V23V24ANa=V25V23Aa<=V23alengthV15Aa<=c0V23Ia<=V25alengthV15Aa<=c0V25Ia<=V24alengthV15Aa<=c0V24Ia=V27aasuffixesV16V29Aa=V26aasuffixesV16V28ANa=V28V29Aa<V29alengthV15Aa<=c0V29Aa<V28alengthV15Aa<=c0V28EIa<V27alengthV15Aa<V26V27Aa<=c0V26FIa>=V24V32Iais_longest_common_prefixV15aasuffixesV16V30aasuffixesV16V31V32ANa=V30V31Aa<V31alengthV15Aa<=c0V31Aa<V30alengthV15Aa<=c0V30FIa>=V24V35Iais_longest_common_prefixV15aasuffixesV16V33aasuffixesV16V34V35Aa<V34a+V22c1Aa<V33V34Aa<=c0V33FAais_longest_common_prefixV15V25V23V24ANa=V25V23Aa<=V23alengthV15Aa<=c0V23Aa<=V25alengthV15Aa<=c0V25Aa<=V24alengthV15Aa<=c0V24FIa<=c1a+V22c1La-alengthV15c1Ia=V21alengthV15FIa=V20c0FIa=V19c0FIa=avaluesV16V15Aa=V18avaluesV16Aa=V17asuffixesV16FIa>alengthV15c0F
a=V22aasuffixesasaV24Aa=V21aasuffixesasaV23ANa=V23V24Aa<V24alengthaaAa<=c0V24Aa<V23alengthaaAa<=c0V23EIa<V22alengthaaAa<V21V22Aa<=c0V21F
a<=asolLength1alengthaaAa<=c0asolLength1
a<=asolStart1alengthaaAa<=c0asolStart1
ais_longest_common_prefixaaasolStart1asolStart21asolLength1ANa=asolStart1asolStart21Aa<=asolStart21alengthaaAa<=c0asolStart21
ais_longest_common_prefixaaaxayal
a=ayaasuffixesasaV26Aa=axaasuffixesasaV25ANa=V25V26Aa<V26alengthaaAa<=c0V26Aa<V25alengthaaAa<=c0V25EIa<ayalengthaaAa<axayAa<=c0ax
a>=asolLength1al
a>=V24V28Iais_longest_common_prefixV15V26V27V28Aa<V27alengthV15Aa<V26V27Aa<=c0V26FIais_longest_common_prefixV15V25V23V24ANa=V25V23Aa<=V23alengthV15Aa<=c0V23Ia<=V25alengthV15Aa<=c0V25Ia<=V24alengthV15Aa<=c0V24Ia=V30aasuffixesV16V32Aa=V29aasuffixesV16V31ANa=V31V32Aa<V32alengthV15Aa<=c0V32Aa<V31alengthV15Aa<=c0V31EIa<V30alengthV15Aa<V29V30Aa<=c0V29FIa>=V24V35Iais_longest_common_prefixV15aasuffixesV16V33aasuffixesV16V34V35ANa=V33V34Aa<V34alengthV15Aa<=c0V34Aa<V33alengthV15Aa<=c0V33FIa>=V24V38Iais_longest_common_prefixV15aasuffixesV16V36aasuffixesV16V37V38Aa<V37a+V22c1Aa<V36V37Aa<=c0V36FAais_longest_common_prefixV15V25V23V24ANa=V25V23Aa<=V23alengthV15Aa<=c0V23Aa<=V25alengthV15Aa<=c0V25Aa<=V24alengthV15Aa<=c0V24FIa<=c1a+V22c1La-alengthV15c1Ia=V21alengthV15FIa=V20c0FIa=V19c0FIa=avaluesV16V15Aa=V18avaluesV16Aa=V17asuffixesV16FIa>alengthV15c0F
a>=V20V25Iais_longest_common_prefixV15V23V24V25Aa<V24alengthV15Aa<V23V24Aa<=c0V23FAais_longest_common_prefixV15V19V21V20ANa=V19V21Aa<=V21alengthV15Aa<=c0V21Aa<=V19alengthV15Aa<=c0V19Aa<=V20alengthV15Aa<=c0V20Aa=V27aasuffixesV16V29Aa=V26aasuffixesV16V28ANa=V28V29Aa<V29alengthV15Aa<=c0V29Aa<V28alengthV15Aa<=c0V28EIa<V27alengthV15Aa<V26V27Aa<=c0V26FAa>=V20V32Iais_longest_common_prefixV15aasuffixesV16V30aasuffixesV16V31V32ANa=V30V31Aa<V31alengthV15Aa<=c0V31Aa<V30alengthV15Aa<=c0V30FIa>c1a+V22c1La-alengthV15c1Ia=V21alengthV15FIa=V20c0FIa=V19c0FIa=avaluesV16V15Aa=V18avaluesV16Aa=V17asuffixesV16FIa>alengthV15c0F
a>=V20V25Iais_longest_common_prefixV15V23V24V25Aa<V24alengthV15Aa<V23V24Aa<=c0V23FAais_longest_common_prefixV15V19V21V20ANa=V19V21Aa<=V21alengthV15Aa<=c0V21Aa<=V19alengthV15Aa<=c0V19Aa<=V20alengthV15Aa<=c0V20Aa=V27aasuffixesV16V29Aa=V26aasuffixesV16V28ANa=V28V29Aa<V29alengthV15Aa<=c0V29Aa<V28alengthV15Aa<=c0V28EIa<V27alengthV15Aa<V26V27Aa<=c0V26FAa>=V20V32Iais_longest_common_prefixV15aasuffixesV16V30aasuffixesV16V31V32ANa=V30V31Aa<V31alengthV15Aa<=c0V31Aa<V30alengthV15Aa<=c0V30FIa>c1a+V22c1Aa>=V34V38Iais_longest_common_prefixV15V36V37V38Aa<V37alengthV15Aa<V36V37Aa<=c0V36FAais_longest_common_prefixV15V35V33V34ANa=V35V33Aa<=V33alengthV15Aa<=c0V33Aa<=V35alengthV15Aa<=c0V35Aa<=V34alengthV15Aa<=c0V34Aa=V40aasuffixesV16V42Aa=V39aasuffixesV16V41ANa=V41V42Aa<V42alengthV15Aa<=c0V42Aa<V41alengthV15Aa<=c0V41EIa<V40alengthV15Aa<V39V40Aa<=c0V39FAa>=V34V45Iais_longest_common_prefixV15aasuffixesV16V43aasuffixesV16V44V45ANa=V43V44Aa<V44alengthV15Aa<=c0V44Aa<V43alengthV15Aa<=c0V43FIa>=V34V48Iais_longest_common_prefixV15aasuffixes
VC for lrs
ittNa=V7c1Ia>=V6V10Iais_longest_common_prefixV4V8V9V10Aa<V9alengthV4Aa<V8V9Aa<=c0V8FAais_longest_common_prefixV4V7V5V6ANa=V7V5Aa<=V5alengthV4Aa<=c0V5Aa<=V7alengthV4Aa<=c0V7Aa<=V6alengthV4Aa<=c0V6FAa>alengthV4c0Ia=V4aV3c3c6Aa=aeltsV4asetaeltsV3c3c6Ia=alengthV4alengthV3FAa<c3alengthV3Aa<=c0c3Ia=V3aV2c2c8Aa=aeltsV3asetaeltsV2c2c8Ia=alengthV3alengthV2FAa<c2alengthV2Aa<=c0c2Ia=V2aV1c1c8Aa=aeltsV2asetaeltsV1c1c8Ia=alengthV2alengthV1FAa<c1alengthV1Aa<=c0c1Ia=V1aV0c0c7Aa=aeltsV1asetaeltsV0c0c7Ia=alengthV1alengthV0FAa<c0alengthV0Aa<=c0c0Ia=alengthV0c4Aa=aV0V11c0Ia<V11c4Aa<=c0V11FFAa>=c4c0

65557650a9f82d947afa2155ddc99197 1H0
e55f10e2a9f08dfe596c1bf93afd538c 1H2H0
229e327b790d36fa79b4057bc49b205b 15H14H2H0
d371aacf90c1e3fcf64c0349188298ae 4H3H2H0
63cf09f95ca34aee49144273a09328b5 6H5H2H0
78fb633c113689eded60990b6cf34cfe 6H7H2H0
3dfe2cc469d1556f2a919088ecee892d 9H8H2H0
a390022327e02c8a1d67e02eb5d2ebc7 11H10H2H0
a3918f66dc81007afdbfe0c2d0b081f9 13H12H2H0
54e147898e6fad82c2027367d769f2f2 17H16
6e0f1ef09378b2c9a7961dfe6eaef131 31H30
cc4648b656c79bbc82f3f124051b8a4d 19H18
4360606535403d7a4b98bac886c9fe11 19H20
5adebb92b8cf8a07a758bba1c6c04e85 6H21
8e5d50b611b3c3f7795e315b49aa8f2d 6H22
9ce63b4b6cb8e05888138a81cc7b989f 6H23
264d5d207876794cf70b63b0e3a3dbe8 6H24
d66337545324c31fd4f0580d0565a047 26H25
0eec3ce5f0b92234c48742e2d85099e6 13H27
7a107d4f38bed69ae46aab20af122d28 13H28
219669beba4c9feb12682ce31c970bce 13H29
ae65b2d2656ef4ab77e7583608b789c1 1H32
7eae0627848b7817a65ecccbff6cbfe3 1H33H32
6b6d4b8ba476b4f4509ebd83d1d216c1 69H68H33H32
a13386583716527c19e650d301e851d5 4H34H33H32
e268a28dedd32b2f6c1be6c69a13e9dd 4H35H33H32
f4dce9afacb44696ce03a41e6d1f152c 4H36H33H32
266d5192d59fe86b9d4ef5c456f54f65 4H37H33H32
1ef4293c09735b1712e2922a9a86a13e 4H38H33H32
d197920566232b0bcd212cf1d54a9fd0 4H39H33H32
8e588cc7e2d0a355bdc8b6be3bba6258 4H40H33H32
d7a556c1a94d3ad57db90ab5c1d6f4d0 4H41H33H32
59f5587cd6d3e08959c4f0a43d0ad90d 4H42H33H32
dde86b2571db997d86c38f5d9dadf96d 6H43H33H32
6042cda9ba4e8666f387328007ef6cc2 6H44H33H32
61c456a217fc76cd8cb3bd4a9d369cc9 19H45H33H32
1f8d556a501ede0ab020e320559e84f4 19H46H33H32
40aa775c596f1d112d6f0cafb8a90d0e 6H47H33H32
be75eece60e4a5ebb936fd273656f804 6H48H33H32
bbf8150e55502d41563a64cec063f64b 6H49H33H32
a1b332000a81d83d3e1d66ac03aa8ea4 6H50H33H32
888d024ea7e602bd82ef4769f4e6859a 52H51H33H32
ae3406a19ff728124af604b01943df4e 9H53H33H32
c0caedf2fa23b9812ba0ee583d3f3555 11H54H33H32
05b03298be45c628a37f14ffa73d38f0 11H55H33H32
4bc78b857449995113bbf9f278baa809 11H56H33H32
81086893b57d11ee33608600239fe9a5 11H57H33H32
88238d31c3ade44739ad966b89b4911c 11H58H33H32
c509adb7f462224891655bd7424955fc 11H59H33H32
e1986e26adfafde0887f29641bf3f498 52H60H33H32
1c2e7ca0370a0811a8768011b1ff4690 11H61H33H32
8ad012a2c7f150b60bbb652202f0603f 11H62H33H32
a3a9150c3183f624386af47b4875fa64 11H63H33H32
267a4b1621964ccf5bcc6dd44ee6d2a6 13H64H33H32
4bf47500695a6584169b05f468eab3e8 13H65H33H32
6f16af87196cf98e984e36cfe2a157a8 67H66H33H32
e27506ae59cd0f252af1c680929b933d 17H70
065efa3241393fc1c31792b8f93d09f6 72H71
44f33b185e168a051d992ee57374f25b 75H74H73
f9fe1d589843073a3093d7a972471ab1 1H76H73
e4b458217d0eea155b9f57736c201337 88H87H76H73
590c6300bed17b29c372fe405dc4878d 78H77H76H73
fb7ba69ec071e368ca028f3336f3c58a 4H79H76H73
745db67fc2b41dc39c1910342279b4da 6H80H76H73
065a70fc0407d2972ed9e92cfe89397f 11H81H76H73
155cc5139fc33120df17ffceaf64c505 19H82H76H73
2ddccff6bfaa8a5aa132022ec7d079e3 19H83H76H73
c50e23f85feed8532bd553a5be21ead8 19H84H76H73
dedf381d049f14e6ad5f3d9269068da3 13H85H76H73
2bd0fe221dfd4067d61f15adcec259e6 67H86H76H73
7df2523d48ce028f0dc19246b1521a44 15H94H76H73
68d5a23c760935c08447ba20345bc24b 6H89H76H73
3ad7a419c1da0c5f630a34e4f2a6591b 6H90H76H73
64c66d65aaf739284b8cb9140e6e7437 19H91H76H73
d0b61201655d1a01dc13ccae1df311fc 19H92H76H73
5aa4bb625dbaf6bb5e09d341a717f854 13H93H76H73
ae5583569e595996f6357a763f9d9957 17H95
737b14c787670db1aa3968b6a071084a 1H96
b6c18884f5df7c9b2637f671a73613ea 1H97H96
11edb7d87472b3ad66e0b9a39fc2aae5 1H98H97H96
cc6e5137e3de633de422525efb74448f 158H157H98H97H96
5fc51ec79158f073d36f6dc9e65ce609 4H99H98H97H96
57701539bb431ac793d9deed3e5788cc 4H100H98H97H96
d9be7127499dac8d01dca0da91db17f1 4H101H98H97H96
4d92152cc835a27452df4f6a0bc757d2 4H102H98H97H96
adc5b7dee9609f47e475b3e70934d9e8 19H103H98H97H96
b1200dabe6847be39a5e67b3ae33c69b 19H104H98H97H96
3e899a6c875ea3538bfd3637864c701f 19H105H98H97H96
4ef641cf131efdedabfe8a9ffbfd785b 11H106H98H97H96
edeca10bb0da6d3c5eb92dabd83599bd 11H107H98H97H96
d43e9dca90e6e1ac026d8eba0c6ad4aa 11H108H98H97H96
73895bf30746f086f192bdf6bf1315b3 11H109H98H97H96
140a2d394977d0de35f345383564daec 11H110H98H97H96
609854fe3063d9fcb082fa826c3d80e6 11H111H98H97H96
004c8e634cc5efee7968bba97f34ce24 11H112H98H97H96
4263fa61c0ac8d0926a3b83a64d91ee5 11H113H98H97H96
ec85c3827c02340aef028340a817523f 52H114H98H97H96
973997f263b38559e2b3eba58e4af86f 52H144H98H97H96
86dcb8d3af39edbea37ed7a3c68b2f82 52H143H134H133H132H131H130H129H128H127H126H125H124H123H122H121H120H119H118H117H116H115H98H97H96
32068fb5c373ef2e517d9cfad55d4d49 136H135H134H133H132H131H130H129H128H127H126H125H124H123H122H121H120H119H118H117H116H115H98H97H96
062c5e3ac240e62b149d54c025b347e3 52H143H135H134H133H132H131H130H129H128H127H126H125H124H123H122H121H120H119H118H117H116H115H98H97H96
2157b3156bac493fb493971165d98293 52H142H137H134H133H132H131H130H129H128H127H126H125H124H123H122H121H120H119H118H117H116H115H98H97H96
49cc1c7d7d106409d1e0c88552f11d4e 52H141H138H137H134H133H132H131H130H129H128H127H126H125H124H123H122H121H120H119H118H117H116H115H98H97H96
b4c2d8a74159e9ac95195b9d91bc9aef 52H140H139H138H137H134H133H132H131H130H129H128H127H126H125H124H123H122H121H120H119H118H117H116H115H98H97H96
82df18e21bfb5c7aa214b658f854b373 13H145H98H97H96
ce98abaac3be9427fa907df41cba183a 13H146H98H97H96
aee8a92be922294479147a6270ff37f9 13H147H98H97H96
190c02452b162ceb71726a1b8d5f67cf 13H155H98H97H96
4a36dcd2a73ef3b05f627fcf6f446c57 13H154H152H134H133H132H151H150H149H148H131H130H129H128H127H126H125H124H123H122H121H120H119H118H117H116H115H98H97H96
61c5a6e7d83e0d910c593aff24e92821 13H154H153H152H134H133H132H151H150H149H148H131H130H129H128H127H126H125H124H123H122H121H120H119H118H117H116H115H98H97H96
31a96064cdd9d8b55a7609be3d8b1915 67H156H98H97H96
a908eb97b9e0ee760fa2e2aa43256bfc 17H159
