le0ytruelesx0falselesxsylexypredsxxminusx0xminusxsypredminusxygcd0yygcdsx0sxgcdsxsyif_gcdleyxsxsyif_gcdtruexygcdminusxyyif_gcdfalsexygcdminusyxxle200true0s1false0pred1minus2gcd2if_gcd3FULL./TRS/AG01/#4.30c.trs