iftrueXiffalseYp00psXXleq0YtrueleqsX0falseleqsXsYleqXYdiffXYifleqXYif1true0false0p100s1leq2diff2OUTERMOST./TRS/outermost/TRCSR/Ex1_GM03_L.trs