eq00trueeq0sxfalseeqsx0falseeqsxsyeqxyortrueytrueorfalseyyandtrueyyandfalseyfalsesizeempty0sizeedgexyissizeile0ytruelesx0falselesxsylexyreachablexyireachxy0iireachxycijif1eqxyxycijif1truexycijtrueif1falsexycijif2lecsizejxycijif2falsexycijfalseif2truexycemptyjfalseif2truexycedgeuvijorif2truexycijandeqxureachvyscjjeqsxsyeqxysizeedgexyisizeilesxsylexyreachablexyireachxy0iireachxycijeqxyreachxycijif1eqxyxycijif1falsexycijsizejif1falsexycijlecsizejif1falsexycijif2lecsizejxycijif2truexycedgeuvijreachvyscjjif2truexycedgeuvijeqxuif2truexycedgeuvijandeqxureachvyscjjif2truexycedgeuvijif2truexycijif2truexycedgeuvijorif2truexycijandeqxureachvyscjjtruereachablexyireachxy0iifalseif2truexycedgeuvijif2truexycijif2truexycedgeuvijreachvyscjjreachxycijif1eqxyxycijif1falsexycijif2lecsizejxycijtrueif2truexycedgeuvijorif2truexycijandeqxureachvyscjjfalseif2truexycedgeuvijandeqxureachvyscjjfalseif2truexycedgeuvijeqxufalseif1falsexycijlecsizejfalselesxsylexytrue1le2211210if260102030405060if160102030405060reach501020304050reachable34122030le211020edge30102433size1410empty012and201820or201820false00s14112true00eq201122002if1falsexycijsizejfalsesizeedgexyisizeitrue1size1212if260102030405060if160102030405060reach501020304050reachable38102030le201121edge30102731size1411empty02and201120or201120false00s1410true00eq201320000reachxycijeqxyfalseeqsxsyeqxytrue1eq2211210if260102030405060if160102030405060reach501020304050reachable34122030le211020edge30102433size1410empty012and201820or201820false00s14112true00eq201122002