eq00trueeq0sxfalseeqsx0falseeqsxsyeqxyortrueytrueorfalseyyunionemptyhhunionedgexyihedgexyunionihreachxyemptyhfalsereachxyedgeuvihif_reach_1eqxuxyedgeuvihif_reach_1truexyedgeuvihif_reach_2eqyvxyedgeuvihif_reach_2truexyedgeuvihtrueif_reach_2falsexyedgeuvihorreachxyihreachvyunionihemptyif_reach_1falsexyedgeuvihreachxyiedgeuvheqsxsyeqxyunionedgexyihunionihreachxyedgeuviheqxureachxyedgeuvihif_reach_1eqxuxyedgeuvihif_reach_1truexyedgeuviheqyvif_reach_1truexyedgeuvihif_reach_2eqyvxyedgeuvihif_reach_2falsexyedgeuvihunionihif_reach_2falsexyedgeuvihreachvyunionihemptyif_reach_2falsexyedgeuvihreachxyihif_reach_2falsexyedgeuvihorreachxyihreachvyunionihemptyif_reach_1falsexyedgeuvihreachxyiedgeuvhtrueif_reach_2falsexyedgeuvihreachvyunionihemptyreachxyedgeuvihif_reach_1eqxuxyedgeuvihif_reach_1truexyedgeuvihif_reach_2eqyvxyedgeuvihif_reach_2falsexyedgeuvihreachxyihif_reach_1falsexyedgeuvihreachxyiedgeuvhtrue1if_reach_2501220314150if_reach_1501220314150reach4210213140edge32122133union211122empty01false00s11211true00eq211120001if_reach_2falsexyedgeuvihreachvyunionihemptyreachxyedgeuvihif_reach_1eqxuxyedgeuvihif_reach_1truexyedgeuvihif_reach_2eqyvxyedgeuvihif_reach_1falsexyedgeuvihreachxyiedgeuvhunionemptyhhunionedgexyihedgexyunionih1if_reach_2501220314150if_reach_1501220314150reach4210213140edge31122131union211120empty00false00s1010true00eq201020000reachxyedgeuvihif_reach_1eqxuxyedgeuvihif_reach_1truexyedgeuvihif_reach_2eqyvxyedgeuvihif_reach_1falsexyedgeuvihreachxyiedgeuvhunionemptyhhunionedgexyihedgexyunionihif_reach_1falsexyedgeuvihreachxyiedgeuvhreachxyedgeuvihif_reach_1eqxuxyedgeuvihtrueif_reach_1falsexyedgeuvihreachxyiedgeuvh4true33false22false1reachxyedgeuvihif_reach_1eqxuxyedgeuvih4false53false42false31false2if_reach_1truexyedgeuvihif_reach_2eqyvxyedgeuvihfalseif_reach_2falsexyedgeuvihorreachxyihreachvyunionihemptyfalseif_reach_2falsexyedgeuvihunionihfalseunionedgexyihunionihtrueunion21if_reach_1truexyedgeuviheqyvfalsereachxyedgeuviheqxufalseeqsxsyeqxytrueeq22