eq00trueeq0sxfalseeqsx0falseeqsxsyeqxyortrueytrueorfalseyyunionemptyhhunionedgexyihedgexyunionihreachxyemptyhfalsereachxyedgeuvihif_reach_1eqxuxyedgeuvihif_reach_1truexyedgeuvihif_reach_2eqyvxyedgeuvihif_reach_2truexyedgeuvihtrueif_reach_2falsexyedgeuvihorreachxyihreachvyunionihemptyif_reach_1falsexyedgeuvihreachxyiedgeuvheqsxsyeqxyunionedgexyihunionihreachxyedgeuvihif_reach_1eqxuxyedgeuvihreachxyedgeuviheqxuif_reach_1truexyedgeuvihif_reach_2eqyvxyedgeuvihif_reach_1truexyedgeuviheqyvif_reach_2falsexyedgeuvihorreachxyihreachvyunionihemptyif_reach_2falsexyedgeuvihreachxyihif_reach_2falsexyedgeuvihreachvyunionihemptyif_reach_2falsexyedgeuvihunionihif_reach_1falsexyedgeuvihreachxyiedgeuvhtruereachxyedgeuvihif_reach_1eqxuxyedgeuvihif_reach_1truexyedgeuvihif_reach_2eqyvxyedgeuvihif_reach_2falsexyedgeuvihreachxyihif_reach_2falsexyedgeuvihreachvyunionihemptyif_reach_1falsexyedgeuvihreachxyiedgeuvhtrue1234561reach41314edge3113if_reach_151415eq20true00if_reach_251415false00union21112empty00000s10or212reach40if_reach_150if_reach_250reachxyedgeuvihif_reach_1eqxuxyedgeuvihif_reach_1truexyedgeuvihif_reach_2eqyvxyedgeuvihif_reach_1falsexyedgeuvihreachxyiedgeuvhif_reach_1falsexyedgeuvihreachxyiedgeuvhreachxyedgeuvihif_reach_1eqxuxyedgeuvihtrue1reach43if_reach_154reachxyedgeuvihif_reach_1eqxuxyedgeuvihreachxyedgeuvihif_reach_1eqxuxyedgeuvihfalseif_reach_1truexyedgeuvihif_reach_2eqyvxyedgeuvihfalsereachxyedgeuviheqxufalse3if_reach_1truexyedgeuviheqyvfalse2eqsxsyeqxytrue2eq22if_reach_2falsexyedgeuvihunionihfalseunionedgexyihunionihtrueunion21if_reach_2falsexyedgeuvihorreachxyihreachvyunionihemptyfalse