a<V0V2Ia<V1V2Ia<V0V1F
a<c0c1
apply premises
a<c1c2
a<c0c2
empty_shape
arV0V2IarV1V2IarV0V1F
araaab
arabac
araaac
arV1V2V4IarV0V3V4IarV0V2V3FFF
a=aaV7Iarc5V6V7Iarc4V5V6F
arV8aaabF
arV9abacF
arc1aaac

ad1e8227a66f2bc683cfd22cc8e51d27 5H4H0
e59ac609ba5cd0594f700433fe1b75e9 2H1H0
2832458e761308d2052611dd4b03c8f5 2H3H0
901c9d876a385efe1f70ec8c7ab57bac 5H9H8H7H6
0ddb7ef03d5bbda913657c7d06ea3ae0 2H7H8H7H6
cf1960fc051111839eec3bc2b1bd28f3 2H8H8H7H6
8c26a768e6557f21a4a2e5373db1949c 5H14H13H12H11H10
