a=V0V1qa=V2aTrueICCa=V2aTrueaBluea=V2aFalsewV0aBlueCa=V2aTrueaReda=V2aFalsewV0aRedCa=V2aTrueaWhitea=V2aFalsewV0aWhiteV1FF
VC for eq_color
ia<a-a-V2c1V1a-V2V1Aa<=c0a-V2V1a<a-a-V2c1V1a-V2V1Aa<=c0a-V2V1a=aV0a-V2c1V3INa>=V1V2F
VC for nb_occ
iia=anb_occV0V1V2V3anb_occV0V1a-V2c1V3a=anb_occV0V1V2V3a+c1anb_occV0V1a-V2c1V3a=aV0a-V2c1V3a=anb_occV0V1V2V3c0a>=V1V2F
a=anb_occV4V5V7V8a+anb_occV4V5V6V8anb_occV4V6V7V8Ia=anb_occV4V5V9V8a+anb_occV4V5V6V8anb_occV4V6V9V8La-V7c1Oa=V7V6Aa<=V6V10Aa<=V5V6Aa<a-V10V6a-V7V6Aa<=c0a-V7V6La-V7c1INa=V7V6Ia<=V6V7Aa<=V5V6F
VC for nb_occ_split
a=anb_occV4V5V7V8a+anb_occV4V5V6V8anb_occV4V6V7V8Ia<=V6V7Aa<=V5V6F
a=anb_occV9V11V12V13anb_occV10V11V12V13Ia=anb_occV9V11V14V13anb_occV10V11V14V13La-V12c1Oa>=V11V12Aa=aV9V16aV10V16Ia<V16V15Aa<=V11V16FAa<a-V15V11a-V12V11Aa<=c0a-V12V11La-V12c1INa>=V11V12Ia=aV9V17aV10V17Ia<V17V12Aa<=V11V17FF
VC for nb_occ_ext
a=anb_occV9V11V12V13anb_occV10V11V12V13Ia=aV9V14aV10V14Ia<V14V12Aa<=V11V14FF
a=anb_occasetV15V18V19V16V17V19anb_occV15V16V17V19Ia<=V17V18Aa<=V16V17F
empty_shape
a=anb_occasetV20V23V24V21V22V24anb_occV20V21V22V24Ia<=V21V22Aa<V23V21F
a=anb_occasetV25V28V29V26V27V29anb_occV25V26V27V29Ia=aV25V28V29Ia<V28V27Aa<=V26V28F
a=anb_occasetV30V33V34V31V32V34a+anb_occV30V31V32V34c1Ia=anb_occasetV30V33V34V31V35V34a+anb_occV30V31V35V34c1La-V32c1Oa=V33a-V32c1ANa=aV30V33V34Aa<V33V36Aa<=V31V33Aa<a-V36V33a-V32V33Aa<=c0a-V32V33La-V32c1INa=V33a-V32c1INa=aV30V33V34Aa<V33V32Aa<=V31V33F
VC for nb_occ_store_eq_neq
a=anb_occasetV30V33V34V31V32V34a+anb_occV30V31V32V34c1INa=aV30V33V34Ia<V33V32Aa<=V31V33F
a=anb_occasetV35V38V40V36V37V39a-anb_occV35V36V37V39c1Ia=anb_occV44V38V37V39a+anb_occV44V38V43V39anb_occV44V43V37V39Aa<=V43V37Aa<=V38V43LasetV35V38V40La+V38c1Ia=anb_occV35V38V37V39a+anb_occV35V38V42V39anb_occV35V42V37V39Aa<=V42V37Aa<=V38V42La+V38c1Ia=anb_occV41V36V37V39a+anb_occV41V36V38V39anb_occV41V38V37V39Aa<=V38V37Aa<=V36V38LasetV35V38V40Ia=anb_occV35V36V37V39a+anb_occV35V36V38V39anb_occV35V38V37V39Aa<=V38V37Aa<=V36V38Ia=aV35V38V39ANa=V39V40Aa<V38V37Aa<=V36V38F
VC for nb_occ_store_neq_eq
a=anb_occasetV35V38V40V36V37V39a-anb_occV35V36V37V39c1Ia=aV35V38V39INa=V39V40Ia<V38V37Aa<=V36V38F
a=anb_occasetV41V44V46V42V43V45anb_occV41V42V43V45Ia=anb_occV50V44V43V45a+anb_occV50V44V49V45anb_occV50V49V43V45Aa<=V49V43Aa<=V44V49LasetV41V44V46La+V44c1Ia=anb_occV41V44V43V45a+anb_occV41V44V48V45anb_occV41V48V43V45Aa<=V48V43Aa<=V44V48La+V44c1Ia=anb_occV47V42V43V45a+anb_occV47V42V44V45anb_occV47V44V43V45Aa<=V44V43Aa<=V42V44LasetV41V44V46Ia=anb_occV41V42V43V45a+anb_occV41V42V44V45anb_occV41V44V43V45Aa<=V44V43Aa<=V42V44INa=aV41V44V45ANa=V45V46Aa<V44V43Aa<=V42V44F
VC for nb_occ_store_neq_neq
a=anb_occasetV41V44V46V42V43V45anb_occV41V42V43V45INa=aV41V44V45INa=V45V46Ia<V44V43Aa<=V42V44F
a=anb_occaeltsV53V54V55V56anb_occaeltsV47V54V55V56Ia<V49V55Aa<=V54V49Aa<V48V55Aa<=V54V48FAa=aV53V57aV47V57INa=V57V49ANa=V57V48FAa=aV53V49aV47V48Aa=aV53V48aV47V49Ia=V53aV52V49V50Aa=aeltsV53asetaeltsV52V49V50Ia=alengthV53alengthV52FAa<V49alengthV52Aa<=c0V49Ia=V52aV47V48V51Aa=aeltsV52asetaeltsV47V48V51Ia=alengthV52alengthV47FAa<V48alengthV47Aa<=c0V48LaV47V49Aa<V49alengthV47Aa<=c0V49LaV47V48Aa<V48alengthV47Aa<=c0V48Ia<V49alengthV47Aa<=c0V49Aa<V48alengthV47Aa<=c0V48F
VC for swap
ia=anb_occaeltsV51c0alengthV51V52anb_occaeltsV47c0alengthV51V52FAamonochromeaeltsV51V54alengthV51aRedAamonochromeaeltsV51V53V54aWhiteAamonochromeaeltsV51c0V53aBlueEECa=anb_occaeltsV55c0alengthV55V58anb_occaeltsV47c0alengthV55V58FAamonochromeaeltsV55V48alengthV55aRedAamonochromeaeltsV55V56V57aWhiteAamonochromeaeltsV55c0V56aBlueAa<=V48alengthV55Aa<=V57V48Aa<=V56V57Aa<=c0V56Aa<a-V48V57a-V48V49Aa<=c0a-V48V49Ia=V57a+V49c1FIa=V56a+V50c1FIa=anb_occaeltsV55V59V60V61anb_occaeltsV51V59V60V61Ia<V49V60Aa<=V59V49Aa<V50V60Aa<=V59V50FAa=aV55V62aV51V62INa=V62V49ANa=V62V50FAa=aV55V49aV51V50Aa=aV55V50aV51V49Ia=alengthV55alengthV51FAa<V49alengthV51Aa<=c0V49Aa<V50alengthV51Aa<=c0V50aBluea=anb_occaeltsV51c0alengthV51V64anb_occaeltsV47c0alengthV51V64FAamonochromeaeltsV51V48alengthV51aRedAamonochromeaeltsV51V50V63aWhiteAamonochromeaeltsV51c0V50aBlueAa<=V48alengthV51Aa<=V63V48Aa<=V50V63Aa<=c0V50Aa<a-V48V63a-V48V49Aa<=c0a-V48V49Ia=V63a+V49c1FaWhitea=anb_occaeltsV66c0alengthV66V67anb_occaeltsV47c0alengthV66V67FAamonochromeaeltsV66V65a
VC for dutch_flag

85651e55f5dfa266a89036e970130c4f 1H0
44d52cdb3e7dffbd4c401e92f2c283c2 3H2
eae9644f68223f0ee91fecf9432b5db7 6H5H4
113324f5d686c00ca1b9a5b5859b5e52 9H8H7H4
e77d408a1da1aa0a4a369b1583af94aa 12H11H10H7H4
8b7d6724fb51540622c996f06e2a4a8a 12H13H11H10H7H4
b663d71632d56e69bd0daf96ce3735b1 12H14H13H11H10H7H4
2256090fb647570ba728ed59a7c75933 16H15H14H13H11H10H7H4
7e13de095db21fcfb2b0271e04ceda12 19H18H17H14H13H11H10H7H4
1a2bbf55b95b05b5665fbdee24e13cd6 22H21H20H17H14H13H11H10H7H4
973e638d984d320f8ad17dedeb059d60 25H24H23H20H17H14H13H11H10H7H4
ee3719c765bf50661fefb4f58aa63ab9 27H26H23H20H17H14H13H11H10H7H4
