ftruexyfgtxydoublexsygtsx0truegt0yfalsegtsxsygtxydoublexplusxxplus0yyplussxyplusxsyf3true0gt2double1s100false0plus2FULLemmes-nonloop-ex2_3.trs