ap3Iap2Iap1
ap3Aap2Aap1
ap1
a=c1c1Iap3Oap2Oap1
empty_shape
ap2
ap3
ap3Oap2Oap1
destruct premise
ap3Iap2
ap3V0Iap2V0Iap1V0F
ap1ax
ap2ay
ap3az
ap3V3EOap2V2EOap1V1E
a=c1c1Iap3V4Oap2V4Oap1V4F
ap3V3Aap2V2Aap1V1E
ap3V6EOap2V5EOap1V4E
a=c1c1Iap3V7Oap2V7Oap1V7F
aaIab
aa
ac
ab
abAacIaa
aaIabAabAacIaa
aaAaaIabAabAacIaa
t
ap4
ap5
ap6
ap7
ap2Aap1
ap7Oap6Oap5Aap4Aap3
ap7Oap6Oap5Aap4Aap3Oap2Aap1
f
apaz
apazAa=aCc1aCc4
apazAa=aEaTrueaFc4
apazAa=aCV0aDE
a=aEaTrueaFc4
a=c1c4
a=aCc1aCc4
a=aCaxaD
apazAa=aCaxaD
apazANa=aCV0aDE
apazANa=aCc1aCc4
Na=aCc1aCc4
apazANa=aEaTrueaFc4

85c108e444aa5a7ea92e1937153ee691 4H3H7H1H0
bbb247645abb7186e8d983741b149d1b 8H2H7H1
a199d66a38b3815c89157b3bb1bc59c2 4H3H7H1H9
bbb247645abb7186e8d983741b149d1b 8H2H7H1
41b8e23ace89d69ae4e4d39f0dc0304b 8H5H7H1
ab53d6c70825443140865571b399badb 4H3H7H1H6
bcac93ebcf107df182db156dee4e7b4f 4H3H7H6H5H2H0
f0ba3f8331b1d768e69fc45f000942be 4H3H2H1H0
82298ca8708d6bcd19eb1c96f903482d 4H3H5H1H0
0497e4aa3a30f58c9091a496d37af880 4H3H6H1H0
bdec98b52a318abdd2a2b3fe769be148 4H18H17H16H10
66cf4fafffad79f1393ccc9408e235ac 4H15H11H16H10
408516922416dcb3765d90a8fd82663a 4H15H12H16H10
b01574893d40d968e0eb7d820c32ed79 4H15H13H16H10
967a73938f0be46e8b161d21d6f467af 4H15H14H13H12H11H10
f0f4645225a820650d361c5a0acdfc08 4H21H24
9fb7baef48d8f014cdc1988f0a0e13a1 4H21H19H23
6127298b9e4b6acb5facc4926c4b6c5c 8H20H19
3eab7c9d6f1303e6d47b91da6d1430bc 4H21H19H22H21
0657bf635042274ec9fba43c03362c4e 4H21H25
db4cf4a9c82322cdb32cee9887b5db50 4H21H20H19H23
5328456116c4192dde1fffc9cdb612f8 4H26H33
64dec2361c22e5ed8c43028f14ffff4a 4H26H31
2bd0d22cbeaeef5ee09aaffdf5a79482 4H26H32
b58e831beb993e31192086971cb505cc 4H26H5H2
e55dfc2fe852e734e75e5b5d0b85aa29 4H26H28H27H6
2cbfe83e9914e7005c8e92204c579d40 4H26H29H27H6
b305e84e20f068e884dd995a322a1c3a 4H26H30H27H6
3efba9fcc8f4e412bdcd9360f51b6fd7 4H26H37H36H38
0b807f8d457c05d83b9a98715664652f 4H26H37H36H43
5244d8cc489fa97528f5fc232b17a6bc 4H26H37H36H35H42
cc32d59adfa393797a4aef6b72e70148 4H26H37H36H35H34
814e4f46d8f988a5b9c8ca0aa3dd559c 4H26H37H35H41H38
9fafbadbd6c1e8a3c7c97cab1619ff18 4H26H37H35H40H38
c5696429ad4f7156f00ae212160eb0cc 4H26H35H39H36H38
60ca51ce351f615e24449a37906df71d 4H26H35H34H36H38
cc32d59adfa393797a4aef6b72e70148 4H26H37H36H35H34
06eb7a39574957fd4cfa553fdc96e1eb 4H26H47H45H44
d5746a2a7858263f5b992ef1dbc7a05e 4H26H47H45H35
bb93152e7424bd7cf2c733574c454188 4H26H47H35H46H44
3f92caf447796076ca16c487cbc72c7b 4H26H35H45H44
