ftruexyfgtxyplus2xplus1ygtsx0truegt0yfalsegtsxsygtxyplus1xpluss0xplus2xplusss0xplus0yyplussxyplusxsyf3true0gt2plus21plus11s100false0plus2FULLemmes-nonloop-ex1_4.trs