a=aaddV0V1aaddabw_andV0V1abw_orV0V1F
empty_shape
a=aaddaaddV2V3V4aaddabw_andaaddabw_andV2V3abw_orV2V3V4abw_oraaddabw_andV2V3abw_orV2V3V4F
a=a+ato_intaxato_intaya+ato_intabw_andaxayato_intabw_oraxay
a=a+ato_intV2ato_intV3a+ato_intabw_andV2V3ato_intabw_orV2V3F

428e057f19d0934bc63fd91e32547800 1H0
5be7f63fe9af98966eda31957900ed08 1H2H0
428e057f19d0934bc63fd91e32547800 1H0
f88888ba3f3f037b4a9d21be3e353a1b 1H4H0
abcefb85e5330177f4d9073b835169e8 1H3H0
