iapermut_allV0V4AamonochromeV4V6alengthV4aRedAamonochromeV4V5V6aWhiteAamonochromeV4c0V5aBlueECapermut_allV0V7AamonochromeV7V1alengthV7aRedAamonochromeV7V8V9aWhiteAamonochromeV7c0V8aBlueAa<=V1alengthV7Aa<=V9V1Aa<=V8V9Aa<=c0V8Aa<a-V1V9a-V1V2Aa<=c0a-V1V2Ia=V9a+V2c1FIa=V8a+V3c1FIaexchangeV4V7V3V2Ia=alengthV7alengthV4FAa<V2alengthV4Aa<=c0V2Aa<V3alengthV4Aa<=c0V3aBlueapermut_allV0V4AamonochromeV4V1alengthV4aRedAamonochromeV4V3V10aWhiteAamonochromeV4c0V3aBlueAa<=V1alengthV4Aa<=V10V1Aa<=V3V10Aa<=c0V3Aa<a-V1V10a-V1V2Aa<=c0a-V1V2Ia=V10a+V2c1FaWhiteapermut_allV0V12AamonochromeV12V11alengthV12aRedAamonochromeV12V3V2aWhiteAamonochromeV12c0V3aBlueAa<=V11alengthV12Aa<=V2V11Aa<=V3V2Aa<=c0V3Aa<a-V11V2a-V1V2Aa<=c0a-V1V2IaexchangeV4V12V11V2Ia=alengthV12alengthV4FAa<V2alengthV4Aa<=c0V2Aa<V11alengthV4Aa<=c0V11Ia=V11a-V1c1FaRedaV4V2Aa<V2alengthV4Aa<=c0V2a<V2V1Iapermut_allV0V4AamonochromeV4V1alengthV4aRedAamonochromeV4V3V2aWhiteAamonochromeV4c0V3aBlueAa<=V1alengthV4Aa<=V2V1Aa<=V3V2Aa<=c0V3Ia=alengthV4alengthV0FAapermut_allV0V0Aamonochrome
VC for dutch_flag

7228be12ddb135c4b71124ae7fb82244 1H0
