aaIab
aa
destruct premise
ac
ab
empty_shape
abAacIaa
aaAaaIabAabAacIaa

0657bf635042274ec9fba43c03362c4e 5H3H7
db4cf4a9c82322cdb32cee9887b5db50 5H3H1H0H6
173147f04b0e57b72561068c4cd96576 2H1H1H0
c60cf7993a1d9f03a13eae580bd832c5 5H3H1H0H4H3
