f0s0fs0ss0fs0*ss0f0f+xs0+ss0fxf+xy*fxfy2.0fs0f0f+xs0fxf+xyfxf+xyfytruef+xyfxf+xs0fxf+xyfytrue11f121+212142s14000fs0f0false
AProVE
20cf63ea9f01bf40524adf2af9b95e39102e7dab rene 20110328 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe