iia<=a*c2anumofV0V5c0alengthV0alengthV0FIa>c0a+V4c1Aa<=a*c2anumofV0V7c0alengthV0alengthV0FIa<=a*c2V6V1Aa=V6anumofV0aV0c0c0a+V4c1Aia<=a*c2V6V1Aa=V6anumofV0aV0c0c0a+V8c1ia<=a*c2V9V1Aa=V9anumofV0aV0c0c0a+V8c1a>a*c2anumofV0aV0c0c0alengthV0alengthV0a>a*c2V9V1Ia=V9a+V6c1Fa=aV0V8aV0c0Aa<V8alengthV0Aa<=c0V8Ia<=a*c2V6V1Aa=V6anumofV0aV0c0c0V8Aa<=V8V4Aa<=c0V8FFAa<=a*c2V3V1Aa=V3anumofV0aV0c0c0c0Ia<=c0a+V4c1La-V1c1Ia=V3c0Fa>a*c2anumofV0aV0c0c0alengthV0alengthV0a>a*c2c0V1a<=a*c2anumofV0V10c0alengthV0alengthV0FtIa>c0a+V2c1Aiia<=a*c2anumofV0V15c0alengthV0alengthV0FIa>c0a+V14c1Aa<=a*c2anumofV0V17c0alengthV0alengthV0FIa<=a*c2V16V1Aa=V16anumofV0V12c0a+V14c1Aia<=a*c2V16V1Aa=V16anumofV0V12c0a+V18c1ia<=a*c2V19V1Aa=V19anumofV0V12c0a+V18c1a>a*c2anumofV0V12c0alengthV0alengthV0a>a*c2V19V1Ia=V19a+V16c1Fa=aV0V18V12Aa<V18alengthV0Aa<=c0V18Ia<=a*c2V16V1Aa=V16anumofV0V12c0V18Aa<=V18V14Aa<=c0V18FFAa<=a*c2V13V1Aa=V13anumofV0V12c0c0Ia<=c0a+V14c1La-V1c1Ia=V13c0Fa>a*c2anumofV0V12c0alengthV0alengthV0a>a*c2V11V1a<=a*c2anumofV0V20c0alengthV0alength
VC for mjrty

f1f9c44e686b3dd4a64ca6ce56597317 1H0
