a=V3V0Aa=V4V1Ia=V4a-V2V3FIa=V3a-V2V1FIa=V2a+V0V1FF
VC for swap
a=aint32'intV3aint32'intV0Aa=aint32'intV4aint32'intV1Ia=aint32'intV4iia-aint32'intV2aint32'intV3a-a-aint32'intV2aint32'intV3awidtha>a-aint32'intV2aint32'intV3aint32'maxInta+a-aint32'intV2aint32'intV3awidtha<a-aint32'intV2aint32'intV3aint32'minIntFIa=aint32'intV3iia-aint32'intV2aint32'intV1a-a-aint32'intV2aint32'intV1awidtha>a-aint32'intV2aint32'intV1aint32'maxInta+a-aint32'intV2aint32'intV1awidtha<a-aint32'intV2aint32'intV1aint32'minIntFIa=aint32'intV2iia+aint32'intV0aint32'intV1a-a+aint32'intV0aint32'intV1awidtha>a+aint32'intV0aint32'intV1aint32'maxInta+a+aint32'intV0aint32'intV1awidtha<a+aint32'intV0aint32'intV1aint32'minIntFIain_boundsV1Aain_boundsV0F
a=aint32'intV5aint32'intV0Aa=aint32'intV7aint32'intV1Ia=V7V6FIa=aint32'intV6iia-aint32'intV3aint32'intV5a-a-aint32'intV3aint32'intV5awidtha>a-aint32'intV3aint32'intV5aint32'maxInta+a-aint32'intV3aint32'intV5awidtha<a-aint32'intV3aint32'intV5aint32'minIntFIa=V5V4FIa=aint32'intV4iia-aint32'intV3aint32'intV1a-a-aint32'intV3aint32'intV1awidtha>a-aint32'intV3aint32'intV1aint32'maxInta+a-aint32'intV3aint32'intV1awidtha<a-aint32'intV3aint32'intV1aint32'minIntFIa=V3V2FIa=aint32'intV2iia+aint32'intV0aint32'intV1a-a+aint32'intV0aint32'intV1awidtha>a+aint32'intV0aint32'intV1aint32'maxInta+a+aint32'intV0aint32'intV1awidtha<a+aint32'intV0aint32'intV1aint32'minIntFIain_boundsV1Aain_boundsV0F
VC for swap_ref
a=V3V0Aa=V4V1Ia=V4abw_xorV2V3FIa=V3abw_xorV2V1FIa=V2abw_xorV0V1FF

60ad9af6f843413b1f1fd3ef13a00aa9 1H0
290075cf9f6bb032ed7b0e233082060b 1H2
7f732740bf25491ed84b1fc976026d62 4H3
19ddb7ceced35624b34816be206bb33b 1H5
