timesxplusy1plustimesxplusytimes10xtimesx1xplusx0xtimesx002.0timesxplusy1plustimesxplusytimes10xtimesxplusy1timesxplusytimes10timesxplusy1plusytimes10timesxplusy1times10truetimesxplusy1timesxplusytimes10true1231times212plus21112101times20000timesx00plusx0xtimesxplusy1times10false12timesxplusy1plustimesxplusytimes10xfalsetimesxplusy1plusytimes10false
AProVE
20cf63ea9f01bf40524adf2af9b95e39102e7dab rene 20110328 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe