abV0F
abaa
abaj
empty_shape
abV1FIabaa
abV2FIabV1E
true case
fIabV0F
false case
NabV0F
abai
destruct premise
Nabai
abV0FIabai
abV1FIabV0E
NabV0E
fINabV0E
abV1F
NNabV0E

63a43f40dc0cfea83c05e63bfd90348a 3H14
2a4417039b6cb00fc53af9adbf66acfc 6H5H15
57167959cc11b2995c0a6a2afbc40ec1 6H14H12
df40ec31a18d4da474f06f3a26020b65 3H13H12
06d1924859e551d834a5641f508fb9aa 3H0H10H12
f74ed2fe1b5a9ff312fbb8442e5711cd 11H10H10
848a1dc61ec3b7b571ddef14c69e7d4d 8H5H18
c5baee7d85fe5f38ad88dd1fd4e61e24 3H4H18
5b43bcac32a94e13f875ea97bb9e2d81 3H17H1H18
606f0cf7f6204c7629ba4adfaeab92f9 3H17H1H16
c68c070171bfa20b03833c854e25a764 6H5H0
ad06b1779f7a52e12734a2d545fc18be 3H4H0
49719656a69b14a44780151516ee0dfe 3H2H1H0
2442877f093c988d90054b3380c5c48d 8H5H9
f3115068842c5a94343d258fec0e1914 8H5H7
