le0ytruelesx0falselesxsylexyminusx0xminus0x0minussxsyminusxygcd0yygcdsx0sxgcdsxsyif_gcdleyxsxsyif_gcdtruexygcdminusxyyif_gcdfalsexygcdminusyxxle200true0s1false0minus2gcd2if_gcd3INNERMOST./TRS/nontermin/AG01/#4.30c.trs