activegXmarkhXactivecmarkdactivehdmarkgcpropergXgproperXproperhXhproperXpropercokcproperdokdgokXokgXhokXokhXtopmarkXtopproperXtopokXtopactiveX2.0activegXhXactivehdgcpropergXgproperXpropergXproperXproperhXhproperXproperhXproperXgokXgXhokXhXtopmarkXtopproperXtopmarkXproperXtopokXtopactiveXtopokXactiveXtruetopokXtopactiveXtopmarkXtopproperXtrue12345678931top10002002000001ok10001000101001active10001001001001mark11002001000001proper10002010100001g13200003300001h12000003000001c0301d0030topokXtopactiveXactivegXmarkhXactivecmarkdactivehdmarkgcpropergXgproperXproperhXhproperXpropercokcproperdokdhokXokhXgokXokgX1top111ok1111active10g10mark10h10c00d00activegXmarkhXactivecmarkdactivehdmarkgctopokXactiveXfalse24678activegXhXfalse2467activehdgcfalse2456topmarkXproperXfalse4properhXproperXpropergXproperXtrue3properhXproperX1
true
1propergXproperX1
true
1propergXgproperXfalse3properhXhproperXfalse2gokXgXtruegokXgX1
true
1hokXhXtruehokXhX1
true
1
AProVE
cb833845625c1ead9ffe8258c791cc945104daa0 rene 20110429 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe