eq00trueeq0sxfalseeqsx0falseeqsxsyeqxyortrueytrueorfalseyyandtrueyyandfalseyfalsesizeempty0sizeedgexyissizeile0ytruelesx0falselesxsylexyreachablexyireachxy0iireachxycijif1eqxyxycijif1truexycijtrueif1falsexycijif2lecsizejxycijif2falsexycijfalseif2truexycemptyjfalseif2truexycedgeuvijorif2truexycijandeqxureachvyscjjeqsxsyeqxysizeedgexyisizeilesxsylexyreachablexyireachxy0iireachxycijeqxyreachxycijif1eqxyxycijif1falsexycijsizejif1falsexycijlecsizejif1falsexycijif2lecsizejxycijif2truexycedgeuvijreachvyscjjif2truexycedgeuvijeqxuif2truexycedgeuvijandeqxureachvyscjjif2truexycedgeuvijif2truexycijif2truexycedgeuvijorif2truexycijandeqxureachvyscjjtruereachablexyireachxy0iifalseif2truexycedgeuvijif2truexycijif2truexycedgeuvijreachvyscjjreachxycijif1eqxyxycijif1falsexycijif2lecsizejxycijtrueif2truexycedgeuvijorif2truexycijandeqxureachvyscjjfalseif2truexycedgeuvijandeqxureachvyscjjfalseif2truexycedgeuvijeqxufalseif1falsexycijlecsizejfalselesxsylexytrue1le281120s1411if1falsexycijsizejfalsesizeedgexyisizeitrue1size1510edge301021311reachxycijeqxyfalseeqsxsyeqxytrue1eq281120s1411