bax1aadx1acx1bbx1dabx1bddcx1dx1ax1bacax1x12.0abx1daax1cax1bbx1badx1cddbx1dx1ax1acabx1x1abx1daax1abx1aax1abx1ax1cax1bbx1cax1bx1badx1cddbx1badx1ddbx1badx1dbx1badx1bx1dx1ax1truebadx1cddbx1cax1bbx1badx1bx1cax1bx1true12331b10001a10000000000001d10100000000001c110001b10100001c10100001badx1cddbx1badx1bx1cax1bx131b1001a10-1-1-1001d12-1-1-11001c1001b10-12-1002-101c1012-1-11-110121badx1bx1cax1bx1cax1bx1false1badx1bx1truebadx1bx11
true
1badx1ddbx1false2badx1dbx1false1dx1ax1abx1daax1abx1aax1abx1ax1true1d111a111b1111a111d111c111dx1ax1dx1ax1abx1daax1acabx1x1dx1ax1false
AProVE
cb833845625c1ead9ffe8258c791cc945104daa0 rene 20110429 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe