ftruexfgtx0doublexgtsx0truegt0yfalsegtsxsygtxydoublextimesss0xtimes0y0timessxyplusytimesxyplus0yyplussxyplusxsyf2true0gt200double1s1false0times2plus2FULLemmes-nonloop-ex3_4.trs