apermut_allV0V0AasortedV0Ia>c0a+V1c1Aapermut_allV0V2AasortedV2Iasorted_subV2c0a+V1c1Aapermut_allV0V2Aiasorted_subV5c0a+V3c1Aapermut_allV0V5a<=aV10V12aV10V13Ia<=V13V3Aa<=a+V11c1V13Aa<V12V11Aa<=c0V12FAasorted_subV10V11a+V3c1Aasorted_subV10c0V11Aapermut_allV0V10Aa<=V11V3Aa<=c0V11Aa<V11V4Aa<=c0V4Ia=V11a-V4c1FAaexchangeV5V10a-V4c1V4Ia=V10aV9V6V7Aa=aeltsV10asetaeltsV9V6V7Ia=alengthV10alengthV9FAa<V6alengthV9Aa<=c0V6Ia=V9aV5V4V8Aa=aeltsV9asetaeltsV5V4V8Ia=alengthV9alengthV5FAa<V4alengthV5Aa<=c0V4LaV5V6Aa<V6alengthV5Aa<=c0V6LaV5V4Aa<V4alengthV5Aa<=c0V4La-V4c1a>aV5a-V4c1aV5V4Aa>V4c0Aa<V14alengthV5Aa<=c0V14La-V4c1Aa<V4alengthV5Aa<=c0V4Ia>V4c0Ia<=aV5V15aV5V16Ia<=V16V3Aa<=a+V4c1V16Aa<V15V4Aa<=c0V15FAasorted_subV5V4a+V3c1Aasorted_subV5c0V4Aapermut_allV0V5Aa<=V4V3Aa<=c0V4Ia=alengthV5alengthV2FAa<=aV2V17aV2V18Ia<=V18V3Aa<=a+V3c1V18Aa<V17V3Aa<=c0V17FAasorted_subV2V3a+V3c1Aasorted_subV2c0V3Aapermut_allV0V2Aa<=V3V3Aa<=c0V3Iasorted_subV2c0V3Aapermut_allV0V2Aa<=V3V1Aa<=c0V3FIa=alengthV2alengthV0FAasorted_subV0c0c0Aapermut_allV0V
VC for sort
aleV0V0F
aleV2V1INaleV1V2F
aleV3V5IaleV4V5AaleV3V4F
apermut_allV6V6AasortedV6Ia>c0a+V7c1Aapermut_allV6V8AasortedV8Iasorted_subV8c0a+V7c1Aapermut_allV6V8Aiasorted_subV11c0a+V9c1Aapermut_allV6V11aleaV17V19aV17V20Ia<=V20V9Aa<=a+V18c1V20Aa<V19V18Aa<=c0V19FAasorted_subV17V18a+V9c1Aasorted_subV17c0V18Aapermut_allV6V17Aa<=V18V9Aa<=c0V18Aa<V18V10Aa<=c0V10Ia=V18a-V10c1FAaexchangeV11V17a-V10c1V10Ia=V17aV16V13V14Aa=aeltsV17asetaeltsV16V13V14Ia=alengthV17alengthV16FAa<V13alengthV16Aa<=c0V13Ia=V16aV11V10V15Aa=aeltsV16asetaeltsV11V10V15Ia=alengthV16alengthV11FAa<V10alengthV11Aa<=c0V10LaV11V13Aa<V13alengthV11Aa<=c0V13LaV11V10Aa<V10alengthV11Aa<=c0V10La-V10c1a=V12aTrueIia=V12aFalsea=V12iaTrueaFalsealeaV11a-V10c1aV11V10a>V10c0FAa<V21alengthV11Aa<=c0V21La-V10c1Aa<V10alengthV11Aa<=c0V10Ia>V10c0IaleaV11V22aV11V23Ia<=V23V9Aa<=a+V10c1V23Aa<V22V10Aa<=c0V22FAasorted_subV11V10a+V9c1Aasorted_subV11c0V10Aapermut_allV6V11Aa<=V10V9Aa<=c0V10Ia=alengthV11alengthV8FAaleaV8V24aV8V25Ia<=V25V9Aa<=a+V9c1V25Aa<V24V9Aa<=c0V24FAasorted_subV8V9a+V9c1Aasorted_subV8c0V9Aapermut_allV6V8Aa<=V9V9Aa<=c0V9
aleV0V1V1F
aleV2V4V3INaleV2V3V4F
aleV5V6V8IaleV5V7V8AaleV5V6V7F
apermut_allV10V10AasortedV9V10Ia>c0a+V11c1Aapermut_allV10V12AasortedV9V12Iasorted_subV9aeltsV12c0a+V11c1Aapermut_allV10V12Aiasorted_subV9aeltsV15c0a+V13c1Aapermut_allV10V15aleV9aV21V23aV21V24Ia<=V24V13Aa<=a+V22c1V24Aa<V23V22Aa<=c0V23FAasorted_subV9aeltsV21V22a+V13c1Aasorted_subV9aeltsV21c0V22Aapermut_allV10V21Aa<=V22V13Aa<=c0V22Aa<V22V14Aa<=c0V14Ia=V22a-V14c1FAasorted_subV9aeltsV21a-V14c1a+V13c1AaexchangeV15V21a-V14c1V14Ia=V21aV20V17V18Aa=aeltsV21asetaeltsV20V17V18Ia=alengthV21alengthV20FAa<V17alengthV20Aa<=c0V17Ia=V20aV15V14V19Aa=aeltsV20asetaeltsV15V14V19Ia=alengthV20alengthV15FAa<V14alengthV15Aa<=c0V14LaV15V17Aa<V17alengthV15Aa<=c0V17LaV15V14Aa<V14alengthV15Aa<=c0V14La-V14c1a=V16aTrueIia=V16aFalsea=V16iaTrueaFalsealeV9aV15a-V14c1aV15V14a>V14c0FAa<V25alengthV15Aa<=c0V25La-V14c1Aa<V14alengthV15Aa<=c0V14Ia>V14c0IaleV9aV15V26aV15V27Ia<=V27V13Aa<=a+V14c1V27Aa<V26V14Aa<=c0V26FAasorted_subV9aeltsV15V14a+V13c1Aasorted_subV9aeltsV15c0V14Aapermut_allV10V15Aa<=V14V13Aa<=c0V14Ia=alengthV15alengthV12FAaleV9aV12V28aV12V
apermut_allV10V10AasortedV9V10Ia>c0a+V11c1Aapermut_allV10V12AasortedV9V12Iasorted_subV9V12c0a+V11c1Aapermut_allV10V12Aiasorted_subV9V15c0a+V13c1Aapermut_allV10V15aleV9aV21V23aV21V24Ia<=V24V13Aa<=a+V22c1V24Aa<V23V22Aa<=c0V23FAasorted_subV9V21V22a+V13c1Aasorted_subV9V21c0V22Aapermut_allV10V21Aa<=V22V13Aa<=c0V22Aa<V22V14Aa<=c0V14Ia=V22a-V14c1FAaexchangeV15V21a-V14c1V14Ia=V21aV20V17V18Aa=aeltsV21asetaeltsV20V17V18Ia=alengthV21alengthV20FAa<V17alengthV20Aa<=c0V17Ia=V20aV15V14V19Aa=aeltsV20asetaeltsV15V14V19Ia=alengthV20alengthV15FAa<V14alengthV15Aa<=c0V14LaV15V17Aa<V17alengthV15Aa<=c0V17LaV15V14Aa<V14alengthV15Aa<=c0V14La-V14c1a=V16aTrueIia=V16aFalsea=V16iaTrueaFalsealeV9aV15a-V14c1aV15V14a>V14c0FAa<V25alengthV15Aa<=c0V25La-V14c1Aa<V14alengthV15Aa<=c0V14Ia>V14c0IaleV9aV15V26aV15V27Ia<=V27V13Aa<=a+V14c1V27Aa<V26V14Aa<=c0V26FAasorted_subV9V15V14a+V13c1Aasorted_subV9V15c0V14Aapermut_allV10V15Aa<=V14V13Aa<=c0V14Ia=alengthV15alengthV12FAaleV9aV12V28aV12V29Ia<=V29V13Aa<=a+V13c1V29Aa<V28V13Aa<=c0V28FAasorted_subV9V12V13a

fd1cb54dbc5163524e0862aa4d289c19 1H0
53a0b832a72e2ca3f17f65381b15a198 1H5H4H3H2
d3cb69f24dd92e4d7192151ea53b1e7d 1H9H8H7H6
566acb8df44c734fbfcf97612d911806 1H10H8H7H6
