a>=anorm2V0V1c0.p0e0F
empty_shape
a=apV2V3V4V5V6anorm2a+V2a*V6V4a+V3a*V6V5F
a>=apV7V8V9V10V11c0.p0e0F
a=a*a/V12V13V13V12INa=V13c0.p0e0F
a=a+a+a+a*V14V14a*V15V15a*a*c1.p1e0a-a/a+a*V14V16a*V15V17a+a*V16V16a*V17V17a+a*V14V16a*V15V17a*a*a-a/a+a*V14V16a*V15V17a+a*V16V16a*V17V17a-a/a+a*V14V16a*V15V17a+a*V16V16a*V17V17a+a*V16V16a*V17V17a-a+a*V14V14a*V15V15a/a*a+a*V14V16a*V15V17a+a*V14V16a*V15V17a+a*V16V16a*V17V17Ia>a+a*V16V16a*V17V17c0.p0e0F
a=a+a+a+asqrV14asqrV15a*a*c1.p1e0a-a/a+a*V14V16a*V15V17a+asqrV16asqrV17a+a*V14V16a*V15V17a*asqra-a/a+a*V14V16a*V15V17a+asqrV16asqrV17a+asqrV16asqrV17a-a+asqrV14asqrV15a/asqra+a*V14V16a*V15V17a+asqrV16asqrV17Ia>a+asqrV16asqrV17c0.p0e0F
a=a+a+a+asqrV14asqrV15a*a*c1.p1e0a-a/adotV14V15V16V17a+asqrV16asqrV17adotV14V15V16V17a*asqra-a/adotV14V15V16V17a+asqrV16asqrV17a+asqrV16asqrV17a-a+asqrV14asqrV15a/asqradotV14V15V16V17a+asqrV16asqrV17Ia>a+asqrV16asqrV17c0.p0e0F
a=a+a+anorm2V14V15a*a*c1.p1e0a-a/adotV14V15V16V17anorm2V16V17adotV14V15V16V17a*asqra-a/adotV14V15V16V17anorm2V16V17anorm2V16V17a-anorm2V14V15a/asqradotV14V15V16V17anorm2V16V17Ia>anorm2V16V17c0.p0e0F
a=apV14V15V16V17a-a/adotV14V15V16V17anorm2V16V17a-anorm2V14V15a/asqradotV14V15V16V17anorm2V16V17Ia>anorm2V16V17c0.p0e0F
a>=a-anorm2V18V19a/asqradotV18V19V20V21anorm2V20V21c0.p0e0Ia>anorm2V20V21c0.p0e0F
a>=a*anorm2V24V25apV22V23V24V25a/a-adotV22V23V24V25anorm2V24V25c0.p0e0Ia>anorm2V24V25c0.p0e0F
a<=asqradotV26V27V28V29a*anorm2V26V27anorm2V28V29Ia>anorm2V28V29c0.p0e0F
a=V31c0.p0e0Oa=V30c0.p0e0Ia=anorm2V30V31c0.p0e0F
a<=asqradotV32V33V34V35a*anorm2V32V33anorm2V34V35Ia=anorm2V34V35c0.p0e0F
a<=asqradotV36V37V38V39a*anorm2V36V37anorm2V38V39F
a>=anormV40V41c0.p0e0F
a<=V42asqrtV43Ia<=asqrV42V43Aa<=c0.p0e0asqrV42Aa<=c0.p0e0V42F
a<=adotV44V45V46V47a*anormV44V45anormV46V47F
a<=anorm2a+V0V2a+V1V3asqra+anormV0V1anormV2V3F
a<=asqrtV4V5Ia<=V4asqrV5Aa<=c0.p0e0V4Aa<=c0.p0e0V5F
a<=anorma+V6V8a+V7V9a+anormV6V7anormV8V9F

185aa02d27c7cc06b9139b4f72f87dac 1H0
528d08aa20930b77628f8356a02c554d 1H2H0
f3a93290f53cda9308451e312a5578a1 1H3H2H0
54c5a28daa593f86ebce46ebae2eacf1 1H4H3H2H0
af54a70e8e41067c3404919aa27f4819 1H9H4H3H2H0
ae9da5b03111c8e3c82bce4555dae837 1H8H4H3H2H0
a74ee049876a2e41b9cb7bb8a5644d26 1H7H4H3H2H0
c55bd7b8f06899f7e01246274d8cacea 1H6H4H3H2H0
b537fa79ba343bf47e9132053f53563b 1H5H4H3H2H0
b34805caae651970d81823a7832725b9 1H10H9H4H3H2H0
f300ef0a573ff4f5b9f0e301409119b8 1H11H10H9H4H3H2H0
f620fca10d2f779125f2b933d030cf94 1H12H11H10H9H4H3H2H0
7baaec5995e1b2be6c7882909b75fd0f 1H13H12H11H10H9H4H3H2H0
cdd389a4406ff676389f23af782d3d5c 1H14H13H12H11H10H9H4H3H2H0
cc28cbd2767fadfc55ff2cc961580650 1H15H14H13H12H11H10H9H4H3H2H0
50504f700e1142fa07581f14a839bfbe 1H16H15H14H13H12H11H10H9H4H3H2H0
57a8e24e5aa6c63c9883abfde2ac356a 1H17H16H15H14H13H12H11H10H9H4H3H2H0
012a06320fdfae98267bde2684a03057 1H18H17H16H15H14H13H12H11H10H9H4H3H2H0
19a2377a488f23caff41735cda0e01bc 1H19
258802d00c144df2f03e868520dc64f5 1H20H19
f43110ac405c2b9e1642600b662d5ed8 1H21H20H19
