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_2501020324258if_reach_1501020324258reach4010223248if_reach_2501020304050if_reach_1501020304050reach4010203040edge34112134union211120empty04or201420false00s1010true00eq201020000if_reach_2falsexyedgeuvihreachvyunionihemptyreachxyedgeuvihif_reach_1eqxuxyedgeuvihif_reach_1truexyedgeuvihif_reach_2eqyvxyedgeuvihif_reach_1falsexyedgeuvihreachxyiedgeuvh1if_reach_2501021314150if_reach_1501021314150reach4011213140if_reach_2501020304052if_reach_1501020304052reach4010203042edge30102132union211120empty00or201120false00s1614true00eq281022000reachxyedgeuvihif_reach_1eqxuxyedgeuvihif_reach_1truexyedgeuvihif_reach_2eqyvxyedgeuvihif_reach_1falsexyedgeuvihreachxyiedgeuvhif_reach_1falsexyedgeuvihreachxyiedgeuvhreachxyedgeuvihif_reach_1eqxuxyedgeuvihtrue1if_reach_1501020334052reach4010233044if_reach_2501020304051if_reach_1501020304051reach4010203041edge301021312union241220empty00or201120false00s1010true00eq201020000if_reach_1truexyedgeuvihif_reach_2eqyvxyedgeuvihfalseif_reach_2falsexyedgeuvihorreachxyihreachvyunionihemptyfalseif_reach_2falsexyedgeuvihunionihfalseunionedgexyihunionihtrue1union221024if_reach_2501020334350if_reach_1501020334350reach4010233340edge391112131union211120empty00or201120false00s1010true00eq201021000if_reach_1truexyedgeuviheqyvfalsereachxyedgeuviheqxufalseeqsxsyeqxytrue1eq211120if_reach_2501020304154if_reach_1501020304154reach4010203244edge30102030union201424empty00or201120false00s1818true00eq2214200010