minusx0xminussxsyminusxyle0ytruelesx0falselesxsylexyquot0sy0quotsxsysquotminussxsysyminus200s1le2true0false0quot2FULL./TRS/nontermin/AG01/#4.30a.trs