eq00trueeq0sxfalseeqsx0falseeqsxsyeqxyortrueytrueorfalseyyandtrueyyandfalseyfalsesizeempty0sizeedgexyissizeile0ytruelesx0falselesxsylexyreachablexyireachxy0iireachxycijif1eqxyxycijif1truexycijtrueif1falsexycijif2lecsizejxycijif2falsexycijfalseif2truexycemptyjfalseif2truexycedgeuvijorif2truexycijandeqxureachvyscjjeq200true0s1false0or2and2size1empty0edge3le2reachable3reach5if16if26FULL./TRS/SchneiderKamp/trs/thiemann37.trs