le0YtruelesX0falselesXsYleXYminus0Y0minussXYifMinuslesXYsXYifMinustruesXY0ifMinusfalsesXYsminusXYquot0sY0quotsXsYsquotminusXYsY2.0lesXsYleXYminussXYifMinuslesXYsXYminussXYlesXYifMinusfalsesXYminusXYquotsXsYquotminusXYsYquotsXsYminusXYtruequotsXsYquotminusXYsYtrue12341quot211s1111minus211000ifMinus312le20false00true00minus0Y0minussXYifMinuslesXYsXYifMinusfalsesXYsminusXYifMinustruesXY0quotsXsYminusXYfalse123minussXYifMinuslesXYsXYifMinusfalsesXYminusXYtrue121minus2111s1111ifMinus3112le20false00000true00minussXYifMinuslesXYsXYminussXYifMinuslesXYsXYfalseminussXYlesXYfalse1lesXsYleXYtrue1le22112s121lesXsYleXY1le212s1111
AProVE
cb833845625c1ead9ffe8258c791cc945104daa0 rene 20110429 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe