ftruexfgtx0doublexgtsx0truegt0yfalsegtsxsygtxydoublexplusxxplus0yyplussxyplusxsyf2true0gt200double1s1false0plus2FULLemmes-nonloop-ex3_2.trs