gXhactivateXcdhn__dgn__cdn__dcn__cactivaten__ddactivaten__ccactivateXX2.1gXhactivateXcdhn__dgn__cdn__dactivaten__ccgx0chn__ddactivaten__cgXhactivateXgXactivateXcdhn__dgn__cactivaten__cctruehn__dgn__cgXhactivateXgXhactivateXcdhn__dgn__cdn__dactivaten__cchn__dgn__cgXhactivateXactivaten__cccddn__dcdactivaten__c0gn__cgXhactivateXhactivaten__c1activaten__cchc1cdhd1dn__dhn__dhn__dgn__cgn__cAProVEunknownStatistics for single proof: 100,00 % (8 real / 0 unknown / 0 assumptions / 8 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe