iasorted_subV0V1a+V2c1Aapermut_subV0V0V1a+V2c1asorted_subV7V1a+V2c1Aapermut_subV0V7V1a+V2c1Aaqs_partitionV6V7V1V2V4V3c42Iasorted_subV7V4a+V2c1Aapermut_subV6V7V4a+V2c1Ia=alengthV7alengthV6FAa<V2alengthV6Aa<=V4V2Aa<=c0V4Aa<a-V2V4a-V2V1Aa<=c0a-V2V1Aaqs_partitionV5V6V1V2V4V3c42Iasorted_subV6V1a+V3c1Aapermut_subV5V6V1a+V3c1Ia=alengthV6alengthV5FAa<V3alengthV5Aa<=V1V3Aa<=c0V1Aa<a-V3V1a-V2V1Aa<=c0a-V2V1Ia>=aV5V8c42Ia<=V8V2Aa<=V4V8FAa=aV5V9c42Ia<V9V4Aa<V3V9FAa<=aV5V10c42Ia<=V10V3Aa<=V1V10FAapermut_subV0V5V1a+V2c1Aa<=V4V2Aa<V3V4Aa<=V1V3Ia=alengthV5alengthV0FAa<V2alengthV0Aa<V1V2Aa<=c0V1a<V1V2Ia<V2alengthV0Aa<=V1V2Aa<=c0V1F
VC for quicksort
iasortedV0Aapermut_allV0V0asortedV2Aapermut_allV0V2Iasorted_subV2c0a+V1c1Aapermut_subV0V2c0a+V1c1Ia=alengthV2alengthV0FAa<V1alengthV0Aa<=c0V1Aa<=c0c0La-alengthV0c1a>alengthV0c0F
VC for qs

43c14703e067b215cce507e1252c88b5 1H0
a1a842680fd705905048770b4930992f 3H2
