ftruesxfeq0minusxxdoublesxdoublexdoubleAkkx0doubleAkk0yydoubleAkksxydoubleAkkxssyminusx0xminus0y0minussxsyminusxyeq00trueeqsx0falseeq0syfalseeqsxsyeqxyf2true0s1eq200minus2double1doubleAkk2false0FULLemmes-nonloop-ex5_1.trs