activeffamarkfgfamarkfXactivefXmarkaactiveamarkgXactivegmarkXfmarkXfXfactiveXfXgmarkXgXgactiveXgX2.1xaa'activeffa'xmarkfgfa'xmarkfXactivefXmarka'xactivea'xmarkgXactivegmarkXfmarkXfXfactiveXfXgmarkXgXgactiveXgXa'ffactivexa'fgfmarkxfmarkXfactiveXa'markxa'activexgmarkXmarkgactiveXmarkfXfXactivefXfXmarkgXgXactivegXgXa'ffactivexa'fgfmarkxa'ffactivexfgfmarkxa'ffactivexgfmarkxa'ffactivexfmarkxa'ffactivexmarkxfmarkXfactiveXfmarkXactiveXa'markxa'activexa'markxactivexgmarkXmarkgactiveXgmarkXgactiveXgmarkXactiveXtruea'markxa'activexa'ffactivexa'fgfmarkxtrue1mark111f111g111active111a'111a'markxa'activexa'ffactivexa'fgfmarkxmarkfXfXmarkgXgXgmarkXmarkgactiveXfmarkXfactiveXactivefXfXactivegXgXmarkfXfXmarkgXgXgmarkXmarkgactiveXfmarkXfactiveXactivefXfXactivegXgX1a'1221active11f1121g10mark11a'markxa'activex1mark1111f131g121active111a'131activefXfXactivegXgXa'ffactivexfgfmarkxfalsea'ffactivexfmarkxfalsea'ffactivexgfmarkxfalsefmarkXfactiveXtrue1active111f111g111mark111f111fmarkXfactiveXactivefXfXactivegXgXmarkgXgXgmarkXmarkgactiveXmarkfXfXfmarkXfactiveXactivefXfXactivegXgXmarkgXgXgmarkXmarkgactiveXmarkfXfXfmarkXfactiveX1active111f1331g1121mark1111f131activefXfXactivegXgXgmarkXgactiveXtrue1active111f111g111mark111g111gmarkXgactiveXactivefXfXactivegXgXmarkgXgXgmarkXmarkgactiveXmarkfXfXfmarkXfactiveXactivefXfXactivegXgXmarkgXgXgmarkXmarkgactiveXmarkfXfXfmarkXfactiveX1active111f1331g1121mark1111g131activefXfXactivegXgXa'ffactivexmarkxfalsefmarkXactiveXfalsea'markxactivexfalsegmarkXmarkgactiveXfalsegmarkXactiveXfalseAProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (13 real / 0 unknown / 0 assumptions / 13 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe