aprc0
empty_shape
apra+V0c1IaprV0Ia<=c0V0F
aprV1Ia<=c0V1F
apV2Ia<=c0V2F
apV0Ia<=c0V0FIapV1IapV2Ia<V2V1Aa<=c0V2FIa<=c0V1F
apV3Ia<=azeroV3FIapV4IapV5Ia<V5V4Aa<=azeroV5FIa<=azeroV4F
apV6Ia<=c0V6F
apV0Iapa-V0c2ONa>=V0c2Aa<=c0V1Aa<V1V0Aa<=c0V0La-V0c2Ia>=V0c2Ia<=c0V0F
VC for ind
apV0Ia<=c0V0F
apV1Ia<=c0V1F
iapV0apV0IapV2Aa<=c0V2Aa<V2V1Aa<=c0V1Ia=V2a-V1c2Fa>=V1c2IapV0IapV1Aa<=c0V1FAapV0IapV0Aa<=c0V0Ia<=c0V0F
iapV0apa+V2c1AapV2Aa<=V2V0Aa<=c0V2Aa<a-V0V2a-V0V1Aa<=c0a-V0V1Ia=V2a+V1c2Fa<=V1a-V0c2Iapa+V1c1AapV1Aa<=V1V0Aa<=c0V1FAapa+c0c1Aapc0Aa<=c0V0Aa<=c0c0Ia<=c0V0F

7973bb190c1967de2ce1a5ee98b3985f 1H0
921bff3c0426e9bc8ef0450327bd5343 1H2H0
7add1494383b3dede293adfe0aed5470 1H4H3H2H0
9bc64ac5498587484af8cb705be49443 1H7H6H5
faa83666c517d244a94b1cdc6d7906b8 9H8
1a1141ac2a75b2eca7cec5d6a8c96026 1H11H10
da8b16a93049f7e4881a6b562712824c 9H12
5b21fc4a112afdabb01853dd7ac057e6 1H11H10
ca9f5bf2c206b82a1244bab77d2ffcfc 9H13
5b21fc4a112afdabb01853dd7ac057e6 1H11H10
