ia<=aV0V3aV0V4Ia<=V4V2Aa<=V3V4FAa<=aV0V5aV0V3Ia<=V5V3Aa<=V1V5FAapermut_subV0V0V1a+V2c1iia<=aV8V3aV8V9Ia<=V9V2Aa<=V3V9FAa<=aV8V10aV8V3Ia<=V10V3Aa<=V1V10FAapermut_subV0V8V1a+V2c1Aa>=aV8V11aV8a-V7c1Aa=aV8V11aV8V12Aa<=V12V2Aa<=V7V12EIa<=V11V2Aa<=V7V11FAtIa<V13V7Aa<=V1V13FAapermut_subV8V8V1a+V2c1a<=aV14V3aV14V15Ia<=V15V2Aa<=V3V15FAa<=aV14V16aV14V3Ia<=V16V3Aa<=V1V16FAapermut_subV0V14V1a+V2c1Aa>=aV14V17aV14a-V7c1Aa=aV14V17aV8V18Aa<=V18V2Aa<=V7V18EIa<=V17V2Aa<=V7V17FAa=aV14V19aV8V19Ia<V19V7Aa<=V1V19FAapermut_subV8V14V1a+V2c1Ia<=aV14V3aV14V20Ia<=V20V2Aa<=V3V20FAa<=aV14V21aV14V3Ia<=V21V3Aa<=V7V21FAapermut_subV8V14V7a+V2c1Ia=alengthV14alengthV8FAa<V2alengthV8Aa<=V3V2Aa<=V7V3Aa<=c0V7Aa<a-V2V7a-V2V1Aa<=c0a-V2V1a<=V7V3Aa<=aV8V22aV8a+V6c1Aa=aV8V22aV8V23Aa<=V23V6Aa<=V1V23EIa<=V22V6Aa<=V1V22FAtIa<=V24V2Aa<V6V24FAapermut_subV8V8V1a+V2c1ia<=aV25V3aV25V26Ia<=V26V2Aa<=V3V26FAa<=aV25V27aV25V3Ia<=V27V3Aa<=V1V27FAapermut_subV0V25V1a+V2c1Aa>=aV25V28aV25a-V7c1Aa=aV25V28aV25V29Aa<=V29V2Aa<=V7V29EIa<=V28V2Aa<=V7V28FAtIa<V30V7Aa<=V1V30FA
VC for find

20aee9227f9e35a1b52a8e113843c4b5 1H0
