activeffamarkcfgfaactivefXfactiveXactivegXgactiveXfmarkXmarkfXgmarkXmarkgXproperfXfproperXproperaokapropercXcproperXpropergXgproperXfokXokfXcokXokcXgokXokgXtopmarkXtopproperXtopokXtopactiveX2.0activeffacfgfaactiveffafgfaactiveffagfaactivefXfactiveXactivefXactiveXactivegXgactiveXactivegXactiveXfmarkXfXgmarkXgXproperfXfproperXproperfXproperXpropercXcproperXpropercXproperXpropergXgproperXpropergXproperXfokXfXcokXcXgokXgXtopmarkXtopproperXtopmarkXproperXtopokXtopactiveXtopokXactiveXtruetopokXtopactiveXtopmarkXtopproperXtrue1234567891011121314151top111ok111active111mark1111proper111f1111a00c11g111topokXtopactiveXactiveffamarkcfgfaactivefXfactiveXactivegXgactiveXproperfXfproperXproperaokapropercXcproperXpropergXgproperXgmarkXmarkgXgokXokgXfmarkXmarkfXfokXokfXcokXokcX1top111ok11active10f111a00mark10c10g111activeffamarkcfgfaactivefXfactiveXactivegXgactiveXgmarkXmarkgXgokXokgXfmarkXmarkfXfokXokfXtopokXactiveXfalse2457810121314activegXactiveXactivefXactiveXtrue25810111213activegXactiveX1
true
1activefXactiveX1
true
1activeffacfgfafalse23568101112activeffafgfafalse36891011activeffagfafalse8activefXfactiveXfalse7activegXgactiveXfalse6topmarkXproperXfalse6propercXproperXproperfXproperXpropergXproperXtrue5propercXproperX1
true
1properfXproperX1
true
1propergXproperX1
true
1properfXfproperXfalse4fokXfXfmarkXfXtrue4fokXfX1
true
1fmarkXfX1
true
1propergXgproperXfalse3gokXgXgmarkXgXtruegokXgX1
true
1gmarkXgX1
true
1propercXcproperXfalsecokXcXtruecokXcX1
true
1
AProVE
20cf63ea9f01bf40524adf2af9b95e39102e7dab rene 20110328 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe