minus0y0minussx0sxminussxsyminusxyle0ytruelesx0falselesxsylexyiftruexyxiffalsexyyperfectp0falseperfectpsxfxs0sxsxf0y0utruef0yszufalsefsx0zufxuminuszsxufsxsyzuiflexyfsxminusyxzufxuzuminus200s1le2true0false0if3perfectp1f4INNERMOST./TRS/Ste92/perfect2.trs