activeffamarkfgfaactivegXgactiveXgmarkXmarkgXproperfXfproperXproperaokapropergXgproperXfokXokfXgokXokgXtopmarkXtopproperXtopokXtopactiveX2.0activeffafgfaactiveffagfaactivegXgactiveXactivegXactiveXgmarkXgXproperfXfproperXproperfXproperXpropergXgproperXpropergXproperXfokXfXgokXgXtopmarkXtopproperXtopmarkXproperXtopokXtopactiveXtopokXactiveXtruetopokXtopactiveXtopmarkXtopproperXtrue123456789101131top100001ok10001active100000001mark10100000100011proper1000001f100001001a000g100101topokXtopactiveXactiveffamarkfgfaactivegXgactiveXproperfXfproperXproperaokapropergXgproperXgmarkXmarkgXgokXokgXfokXokfX1top111ok11active10f10a00mark10g111activeffamarkfgfaactivegXgactiveXgmarkXmarkgXgokXokgXtopokXactiveXfalse2457910activegXactiveXtrue25789activegXactiveX1
true
1activeffafgfafalse23578activeffagfafalse3567activegXgactiveXfalse5topmarkXproperXfalse4propergXproperXproperfXproperXtrue3propergXproperX1
true
1properfXproperX1
true
1propergXgproperXfalse3gokXgXgmarkXgXtrue2gokXgX1
true
1gmarkXgX1
true
1properfXfproperXfalsefokXfXtruefokXfX1
true
1
AProVE
cb833845625c1ead9ffe8258c791cc945104daa0 rene 20110429 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe