ftruexyfgtxyplus2xplus1ygtsx0truegt0yfalsegtsxsygtxyplus1xplusxs0plus2xplusxss0plus0yyplussxysplusxyf3true0gt2plus21plus11s100false0plus2FULLemmes-nonloop-ex1_3.trs