eq00trueeq0sxfalseeqsx0falseeqsxsyeqxyortrueytrueorfalseyyunionemptyhhunionedgexyihedgexyunionihisEmptyemptytrueisEmptyedgexyifalsefromedgexyixtoedgexyiyrestedgexyiirestemptyemptyreachxyihif1eqxyisEmptyieqxfromieqytoixyihif1trueb1b2b3xyihtrueif1falseb1b2b3xyihif2b1b2b3xyihif2trueb2b3xyihfalseif2falseb2b3xyihif3b2b3xyihif3falseb3xyihreachxyrestiedgefromitoihif3trueb3xyihif4b3xyihif4truexyihtrueif4falsexyihorreachxyrestihreachtoiyunionrestihemptyeq200true0s1false0or2union2empty0edge3isEmpty1from1to1rest1reach4if18if27if36if45FULL./TRS/SchneiderKamp/trs/thiemann04.trs