ftruesxfeq0minusxxdoublesxdouble00doublesxssdoublexminusx0xminus0y0minussxsyminusxyeq00trueeqsx0falseeq0syfalseeqsxsyeqxyf2true0s1eq200minus2double1false0FULLemmes-nonloop-ex5_2.trs