ia=V2asumV0c1a+V1c1a=V4asumV0c1V5Aa<=V5a+V1c1Aa<=c1V5Aa<a-V1V5a-V1V3Aa<=c0a-V1V3Ia=V5a+V3c1FIa=V4a+V2aV0V3FAa<V3alengthV0Aa<=c0V3a<=V3V1Ia=V2asumV0c1V3Aa<=V3a+V1c1Aa<=c1V3FAa=c0asumV0c1c1Aa<=c1a+V1c1Aa<=c1c1Ia<V1alengthV0Aa<=c0V1F
VC for sum
ia=V0a+a*V3V1V2Aa<V2V1Aa<=c0V2a=V0a+a*V5V1V4Aa<=c0V4Aa<V4V2Aa<=c0V2Ia=V5a+V3c1FIa=V4a-V2V1Fa>=V2V1Ia=V0a+a*V3V1V2Aa<=c0V2FAa=V0a+a*c0V1V0Aa<=c0V0Ia<c0V1Aa<=c0V0F
VC for division

a8e36ad11468ef9c5bf1ad345abbbb74 1H0
476b877d8503e2eef9411f7179a6a7dc 3H2
