a=a+c2c3a+c3c3
empty_shape
a=a+c0c0c2
a=a+c1.p0e0c13.p-1e-1c11.p0e-1
t
asserted formula

6031ba0185914280f568a87cee832784 1H0
99a971a9b5f4d9524d6b356d1e5085b9 1H4
e87a57572ab4ef8f90d678ac0281c799 1H4H2
e84813d2be97dc1ea79845040e6c9edb 1H4H3H2
4c2deb8f5e08a9d4e49e3c2a59418f41 5H3H2
d0c2fe014b7012a44827c190b7fb2ff1 5H2
c68da3383e57a8f8fb6d1d7861e99e56 1H4
c68da3383e57a8f8fb6d1d7861e99e56 1H4
