activeffXmarkcfgfXactivecXmarkdXactivehXmarkcdXactivefXfactiveXactivehXhactiveXfmarkXmarkfXhmarkXmarkhXproperfXfproperXpropercXcproperXpropergXgproperXproperdXdproperXproperhXhproperXfokXokfXcokXokcXgokXokgXdokXokdXhokXokhXtopmarkXtopproperXtopokXtopactiveX2.11active1112f111mark1111c111g111d111h111proper111ok1113top111activefXfactiveXactivehXhactiveXfmarkXmarkfXhmarkXmarkhXproperfXfproperXpropercXcproperXpropergXgproperXproperdXdproperXproperhXhproperXfokXokfXcokXokcXgokXokgXdokXokdXhokXokhXactivefXfactiveXactivefXactiveXactivehXhactiveXactivehXactiveXfmarkXfXhmarkXhXproperfXfproperXproperfXproperXpropercXcproperXpropercXproperXpropergXgproperXpropergXproperXproperdXdproperXproperdXproperXproperhXhproperXproperhXproperXfokXfXcokXcXgokXgXdokXdXhokXhXtrueactivehXactiveXactivefXactiveXtrue1h111f111active111activehXactiveXactivefXactiveXactivehXactiveX1true1activefXactiveX1true1propercXproperXproperfXproperXpropergXproperXproperdXproperXproperhXproperXtrue1c111f111g111d111h111proper111propercXproperXproperfXproperXpropergXproperXproperdXproperXproperhXproperXpropercXproperX1true1properfXproperX1true1propergXproperX1true1properdXproperX1true1properhXproperX1true1activefXfactiveXfalseproperfXfproperXfalseactivehXhactiveXfalseproperhXhproperXfalsepropercXcproperXfalsepropergXgproperXfalseproperdXdproperXfalsefokXfXfmarkXfXtrue1ok111mark111f111fokXfXfmarkXfXfokXfX1true1fmarkXfX1true1hokXhXhmarkXhXtrue1ok111mark111h111hokXhXhmarkXhXhokXhX1true1hmarkXhX1true1cokXcXtrue1ok111c111cokXcXcokXcX1true1gokXgXtrue1ok111g111gokXgXgokXgX1true1dokXdXtrue1ok111d111dokXdXdokXdX1true1AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (17 real / 0 unknown / 0 assumptions / 17 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe