ftruexfgtx0doublexgtsx0truegt0yfalsegtsxsygtxydoublextimesss0xtimes0y0timessxyplustimesxyyplus0yyplussxyplusxsyf2true0gt200double1s1false0times2plus2FULLemmes-nonloop-ex3_3.trs