Apply unknownprop_30912f2cca40a10142321c491284d8399f9fb6058ea49ef0a3ac5fa1be4efa52 with
4ae4a.. (4ae4a.. 4a7ef..).
Apply unknownprop_67a9b4da3479f0b3ecc9f46f5080b801e2df28e772a8a9215f9b75577fbd1e20 with
4ae4a.. (4ae4a.. 4a7ef..).
The subproof is completed by applying unknownprop_db15d8db2f5eec557f7b3f5a742d4a0a45fde052cadd58f24d03c6c32a463f49.