ftruexyfgtxyplus2xplus1ygtsx0truegt0yfalsegtsxsygtxyplus1xpluss0xplus2xplusss0xplus0yyplussxysplusxyf3true0gt2plus21plus11s100false0plus2FULLemmes-nonloop-ex1_5.trs