eq00trueeq0sxfalseeqsx0falseeqsxsyeqxyortrueytrueorfalseyyunionemptyhhunionedgexyihedgexyunionihreachxyemptyhfalsereachxyedgeuvihif_reach_1eqxuxyedgeuvihif_reach_1truexyedgeuvihif_reach_2eqyvxyedgeuvihif_reach_2truexyedgeuvihtrueif_reach_2falsexyedgeuvihorreachxyihreachvyunionihemptyif_reach_1falsexyedgeuvihreachxyiedgeuvheq200true0s1false0or2union2empty0edge3reach4if_reach_15if_reach_25INNERMOST./TRS/AG01/#3.13.trs