ftruesxfeq0minusxxdoublesxdoublexplusxxplus0yyplussxyplusxsyminusx0xminus0y0minussxsyminusxyeq00trueeqsx0falseeq0syfalseeqsxsyeqxyf2true0s1eq200minus2double1plus2false0FULLemmes-nonloop-ex5_3.trs