a<=V0V0F
a=V1V2Ia<=V2V1Ia<=V1V2F
a<=V3V5Ia<=V4V5Ia<=V3V4F
asortedaConsV6V8IasortedaConsV7V8Ia<=V6V7F
empty_shape
a<=V9V11IamemV11V10FIasortedaConsV9V10F
asortedaConsc1aConsc2aConsc3aNil

f41893be4df22680e605e7e17e055b82 4H3H2H1H0
36f2bbe7f20a4984274f539c4c561ce6 4H5H3H2H1H0
28c2deaa31d70db2ee0dfe80a3fdc12b 4H0
7faf7ccc9f55ec7848650df428d4106c 4H1H0
12b91f862bed464bcc0fa1e68a6b5de2 4H2H1H0
3f418c3f6c4ac0e9a01f2859dd96740a 4H6H5H3H2H1H0
