Marked_BSLWBnotMarked_gegeMinMarked_LogIMarked_-LogBSMarked_not1Marked_andandlMarked_MinOMarked_+ValSizeMarked_OfalseMarked_ififrMarked_Val+Marked_SizeLog'MaxMarked_Log'-Marked_WBtrueNMarked_Max0zyxO(0)0+(0,x)x+(x,0)x+(O(x),O(y))O(+(x,y))+(O(x),I(y))I(+(x,y))+(I(x),O(y))I(+(x,y))+(I(x),I(y))O(+(+(x,y),I(0)))+(x,+(y,z))+(+(x,y),z)-(x,0)x-(0,x)0-(O(x),O(y))O(-(x,y))-(O(x),I(y))I(-(-(x,y),I(1)))-(I(x),O(y))I(-(x,y))-(I(x),I(y))O(-(x,y))not(true)falsenot(false)trueand(x,true)xand(x,false)falseif(true,x,y)xif(false,x,y)yge(O(x),O(y))ge(x,y)ge(O(x),I(y))not(ge(y,x))ge(I(x),O(y))ge(x,y)ge(I(x),I(y))ge(x,y)ge(x,0)truege(0,O(x))ge(0,x)ge(0,I(x))falseLog'(0)0Log'(I(x))+(Log'(x),I(0))Log'(O(x))if(ge(x,I(0)),+(Log'(x),I(0)),0)Log(x)-(Log'(x),I(0))Val(L(x))xVal(N(x,l,r))xMin(L(x))xMin(N(x,l,r))Min(l)Max(L(x))xMax(N(x,l,r))Max(r)BS(L(x))trueBS(N(x,l,r))and(and(ge(x,Max(l)),ge(Min(r),x)),and(BS(l),BS(r)))Size(L(x))I(0)Size(N(x,l,r))+(+(Size(l),Size(r)),I(1))WB(L(x))trueWB(N(x,l,r))and(if(ge(Size(l),Size(r)),ge(I(0),-(Size(l),Size(r))), ge(I(0),-(Size(r),Size(l)))),and(WB(l),WB(r)))O(0)0+(0,x)x+(x,0)x+(O(x),O(y))O(+(x,y))+(O(x),I(y))I(+(x,y))+(I(x),O(y))I(+(x,y))+(I(x),I(y))O(+(+(x,y),I(0)))+(x,+(y,z))+(+(x,y),z)-(x,0)x-(0,x)0-(O(x),O(y))O(-(x,y))-(O(x),I(y))I(-(-(x,y),I(1)))-(I(x),O(y))I(-(x,y))-(I(x),I(y))O(-(x,y))not(true)falsenot(false)trueand(x,true)xand(x,false)falseif(true,x,y)xif(false,x,y)yge(O(x),O(y))ge(x,y)ge(O(x),I(y))not(ge(y,x))ge(I(x),O(y))ge(x,y)ge(I(x),I(y))ge(x,y)ge(x,0)truege(0,O(x))ge(0,x)ge(0,I(x))falseLog'(0)0Log'(I(x))+(Log'(x),I(0))Log'(O(x))if(ge(x,I(0)),+(Log'(x),I(0)),0)Log(x)-(Log'(x),I(0))Val(L(x))xVal(N(x,l,r))xMin(L(x))xMin(N(x,l,r))Min(l)Max(L(x))xMax(N(x,l,r))Max(r)BS(L(x))trueBS(N(x,l,r))and(and(ge(x,Max(l)),ge(Min(r),x)),and(BS(l),BS(r)))Size(L(x))I(0)Size(N(x,l,r))+(+(Size(l),Size(r)),I(1))WB(L(x))trueWB(N(x,l,r))and(if(ge(Size(l),Size(r)),ge(I(0),-(Size(l),Size(r))), ge(I(0),-(Size(r),Size(l)))),and(WB(l),WB(r)))Marked_+(O(x),O(y))Marked_O(+(x,y))Marked_+(O(x),O(y))Marked_+(x,y)Marked_+(O(x),I(y))Marked_+(x,y)Marked_+(I(x),O(y))Marked_+(x,y)Marked_+(I(x),I(y))Marked_O(+(+(x,y),I(0)))Marked_+(I(x),I(y))Marked_+(+(x,y),I(0))Marked_+(I(x),I(y))Marked_+(x,y)Marked_+(x,+(y,z))Marked_+(+(x,y),z)Marked_+(x,+(y,z))Marked_+(x,y)Marked_-(O(x),O(y))Marked_O(-(x,y))Marked_-(O(x),O(y))Marked_-(x,y)Marked_-(O(x),I(y))Marked_-(-(x,y),I(1))Marked_-(O(x),I(y))Marked_-(x,y)Marked_-(I(x),O(y))Marked_-(x,y)Marked_-(I(x),I(y))Marked_O(-(x,y))Marked_-(I(x),I(y))Marked_-(x,y)Marked_ge(O(x),O(y))Marked_ge(x,y)Marked_ge(O(x),I(y))Marked_not(ge(y,x))Marked_ge(O(x),I(y))Marked_ge(y,x)Marked_ge(I(x),O(y))Marked_ge(x,y)Marked_ge(I(x),I(y))Marked_ge(x,y)Marked_ge(0,O(x))Marked_ge(0,x)Marked_Log'(I(x))Marked_+(Log'(x),I(0))Marked_Log'(I(x))Marked_Log'(x)Marked_Log'(O(x))Marked_if(ge(x,I(0)),+(Log'(x),I(0)),0)Marked_Log'(O(x))Marked_ge(x,I(0))Marked_Log'(O(x))Marked_+(Log'(x),I(0))Marked_Log'(O(x))Marked_Log'(x)Marked_Log(x)Marked_-(Log'(x),I(0))Marked_Log(x)Marked_Log'(x)Marked_Min(N(x,l,r))Marked_Min(l)Marked_Max(N(x,l,r))Marked_Max(r)Marked_BS(N(x,l,r))Marked_and(and(ge(x,Max(l)),ge(Min(r),x)),and(BS(l),BS(r)))Marked_BS(N(x,l,r))Marked_and(ge(x,Max(l)),ge(Min(r),x))Marked_BS(N(x,l,r))Marked_ge(x,Max(l))Marked_BS(N(x,l,r))Marked_Max(l)Marked_BS(N(x,l,r))Marked_ge(Min(r),x)Marked_BS(N(x,l,r))Marked_Min(r)Marked_BS(N(x,l,r))Marked_and(BS(l),BS(r))Marked_BS(N(x,l,r))Marked_BS(l)Marked_BS(N(x,l,r))Marked_BS(r)Marked_Size(N(x,l,r))Marked_+(+(Size(l),Size(r)),I(1))Marked_Size(N(x,l,r))Marked_+(Size(l),Size(r))Marked_Size(N(x,l,r))Marked_Size(l)Marked_Size(N(x,l,r))Marked_Size(r)Marked_WB(N(x,l,r))Marked_and(if(ge(Size(l),Size(r)),ge(I(0),-(Size(l),Size(r))), ge(I(0),-(Size(r),Size(l)))),and(WB(l),WB(r)))Marked_WB(N(x,l,r))Marked_if(ge(Size(l),Size(r)),ge(I(0),-(Size(l),Size(r))), ge(I(0),-(Size(r),Size(l))))Marked_WB(N(x,l,r))Marked_ge(Size(l),Size(r))Marked_WB(N(x,l,r))Marked_Size(l)Marked_WB(N(x,l,r))Marked_Size(r)Marked_WB(N(x,l,r))Marked_ge(I(0),-(Size(l),Size(r)))Marked_WB(N(x,l,r))Marked_-(Size(l),Size(r))Marked_WB(N(x,l,r))Marked_Size(l)Marked_WB(N(x,l,r))Marked_Size(r)Marked_WB(N(x,l,r))Marked_ge(I(0),-(Size(r),Size(l)))Marked_WB(N(x,l,r))Marked_-(Size(r),Size(l))Marked_WB(N(x,l,r))Marked_Size(r)Marked_WB(N(x,l,r))Marked_Size(l)Marked_WB(N(x,l,r))Marked_and(WB(l),WB(r))Marked_WB(N(x,l,r))Marked_WB(l)Marked_WB(N(x,l,r))Marked_WB(r)O(0)0+(0,x)x+(x,0)x+(O(x),O(y))O(+(x,y))+(O(x),I(y))I(+(x,y))+(I(x),O(y))I(+(x,y))+(I(x),I(y))O(+(+(x,y),I(0)))+(x,+(y,z))+(+(x,y),z)-(x,0)x-(0,x)0-(O(x),O(y))O(-(x,y))-(O(x),I(y))I(-(-(x,y),I(1)))-(I(x),O(y))I(-(x,y))-(I(x),I(y))O(-(x,y))not(true)falsenot(false)trueand(x,true)xand(x,false)falseif(true,x,y)xif(false,x,y)yge(O(x),O(y))ge(x,y)ge(O(x),I(y))not(ge(y,x))ge(I(x),O(y))ge(x,y)ge(I(x),I(y))ge(x,y)ge(x,0)truege(0,O(x))ge(0,x)ge(0,I(x))falseLog'(0)0Log'(I(x))+(Log'(x),I(0))Log'(O(x))if(ge(x,I(0)),+(Log'(x),I(0)),0)Log(x)-(Log'(x),I(0))Val(L(x))xVal(N(x,l,r))xMin(L(x))xMin(N(x,l,r))Min(l)Max(L(x))xMax(N(x,l,r))Max(r)BS(L(x))trueBS(N(x,l,r))and(and(ge(x,Max(l)),ge(Min(r),x)),and(BS(l),BS(r)))Size(L(x))I(0)Size(N(x,l,r))+(+(Size(l),Size(r)),I(1))WB(L(x))trueWB(N(x,l,r))and(if(ge(Size(l),Size(r)),ge(I(0),-(Size(l),Size(r))), ge(I(0),-(Size(r),Size(l)))),and(WB(l),WB(r)))Marked_Log'(I(x))Marked_Log'(x)Marked_Log'(O(x))Marked_Log'(x)00N130true0-10Marked_Log'30Max10Log'10+110r30if120false0Size120Val230O110l0and20120BS0Log110I110Min10ge0not0WB0L30O(0)0+(0,x)x+(x,0)x+(O(x),O(y))O(+(x,y))+(O(x),I(y))I(+(x,y))+(I(x),O(y))I(+(x,y))+(I(x),I(y))O(+(+(x,y),I(0)))+(x,+(y,z))+(+(x,y),z)-(x,0)x-(0,x)0-(O(x),O(y))O(-(x,y))-(O(x),I(y))I(-(-(x,y),I(1)))-(I(x),O(y))I(-(x,y))-(I(x),I(y))O(-(x,y))not(true)falsenot(false)trueand(x,true)xand(x,false)falseif(true,x,y)xif(false,x,y)yge(O(x),O(y))ge(x,y)ge(O(x),I(y))not(ge(y,x))ge(I(x),O(y))ge(x,y)ge(I(x),I(y))ge(x,y)ge(x,0)truege(0,O(x))ge(0,x)ge(0,I(x))falseLog'(0)0Log'(I(x))+(Log'(x),I(0))Log'(O(x))if(ge(x,I(0)),+(Log'(x),I(0)),0)Log(x)-(Log'(x),I(0))Val(L(x))xVal(N(x,l,r))xMin(L(x))xMin(N(x,l,r))Min(l)Max(L(x))xMax(N(x,l,r))Max(r)BS(L(x))trueBS(N(x,l,r))and(and(ge(x,Max(l)),ge(Min(r),x)),and(BS(l),BS(r)))Size(L(x))I(0)Size(N(x,l,r))+(+(Size(l),Size(r)),I(1))WB(L(x))trueWB(N(x,l,r))and(if(ge(Size(l),Size(r)),ge(I(0),-(Size(l),Size(r))), ge(I(0),-(Size(r),Size(l)))),and(WB(l),WB(r)))Marked_+(O(x),O(y))Marked_+(x,y)Marked_+(O(x),I(y))Marked_+(x,y)Marked_+(I(x),O(y))Marked_+(x,y)Marked_+(I(x),I(y))Marked_+(+(x,y),I(0))Marked_+(I(x),I(y))Marked_+(x,y)Marked_+(x,+(y,z))Marked_+(+(x,y),z)Marked_+(x,+(y,z))Marked_+(x,y)00N220true0-10Max10Log'20+120r0if120false0Size10Val230Marked_+10O110l0and1010BS0Log130I110Min20ge0not0WB0L130Marked_+(O(x),O(y))Marked_+(x,y)Marked_+(O(x),I(y))Marked_+(x,y)Marked_+(I(x),O(y))Marked_+(x,y)Marked_+(I(x),I(y))Marked_+(x,y)O(0)0+(0,x)x+(x,0)x+(O(x),O(y))O(+(x,y))+(O(x),I(y))I(+(x,y))+(I(x),O(y))I(+(x,y))+(I(x),I(y))O(+(+(x,y),I(0)))+(x,+(y,z))+(+(x,y),z)-(x,0)x-(0,x)0-(O(x),O(y))O(-(x,y))-(O(x),I(y))I(-(-(x,y),I(1)))-(I(x),O(y))I(-(x,y))-(I(x),I(y))O(-(x,y))not(true)falsenot(false)trueand(x,true)xand(x,false)falseif(true,x,y)xif(false,x,y)yge(O(x),O(y))ge(x,y)ge(O(x),I(y))not(ge(y,x))ge(I(x),O(y))ge(x,y)ge(I(x),I(y))ge(x,y)ge(x,0)truege(0,O(x))ge(0,x)ge(0,I(x))falseLog'(0)0Log'(I(x))+(Log'(x),I(0))Log'(O(x))if(ge(x,I(0)),+(Log'(x),I(0)),0)Log(x)-(Log'(x),I(0))Val(L(x))xVal(N(x,l,r))xMin(L(x))xMin(N(x,l,r))Min(l)Max(L(x))xMax(N(x,l,r))Max(r)BS(L(x))trueBS(N(x,l,r))and(and(ge(x,Max(l)),ge(Min(r),x)),and(BS(l),BS(r)))Size(L(x))I(0)Size(N(x,l,r))+(+(Size(l),Size(r)),I(1))WB(L(x))trueWB(N(x,l,r))and(if(ge(Size(l),Size(r)),ge(I(0),-(Size(l),Size(r))), ge(I(0),-(Size(r),Size(l)))),and(WB(l),WB(r)))Marked_+(I(x),I(y))Marked_+(+(x,y),I(0))Marked_+(x,+(y,z))Marked_+(+(x,y),z)Marked_+(x,+(y,z))Marked_+(x,y)O(0)0+(0,x)x+(x,0)x+(O(x),O(y))O(+(x,y))+(O(x),I(y))I(+(x,y))+(I(x),O(y))I(+(x,y))+(I(x),I(y))O(+(+(x,y),I(0)))+(x,+(y,z))+(+(x,y),z)-(x,0)x-(0,x)0-(O(x),O(y))O(-(x,y))-(O(x),I(y))I(-(-(x,y),I(1)))-(I(x),O(y))I(-(x,y))-(I(x),I(y))O(-(x,y))not(true)falsenot(false)trueand(x,true)xand(x,false)falseif(true,x,y)xif(false,x,y)yge(O(x),O(y))ge(x,y)ge(O(x),I(y))not(ge(y,x))ge(I(x),O(y))ge(x,y)ge(I(x),I(y))ge(x,y)ge(x,0)truege(0,O(x))ge(0,x)ge(0,I(x))falseLog'(0)0Log'(I(x))+(Log'(x),I(0))Log'(O(x))if(ge(x,I(0)),+(Log'(x),I(0)),0)Log(x)-(Log'(x),I(0))Val(L(x))xVal(N(x,l,r))xMin(L(x))xMin(N(x,l,r))Min(l)Max(L(x))xMax(N(x,l,r))Max(r)BS(L(x))trueBS(N(x,l,r))and(and(ge(x,Max(l)),ge(Min(r),x)),and(BS(l),BS(r)))Size(L(x))I(0)Size(N(x,l,r))+(+(Size(l),Size(r)),I(1))WB(L(x))trueWB(N(x,l,r))and(if(ge(Size(l),Size(r)),ge(I(0),-(Size(l),Size(r))), ge(I(0),-(Size(r),Size(l)))),and(WB(l),WB(r)))Marked_+(x,+(y,z))Marked_+(+(x,y),z)Marked_+(x,+(y,z))Marked_+(x,y)0000000000000000000N010000000100100001000011000010000011000000000true000000000000000000-000000000100010001000000000000000000Max000000000001101110000000000Log'000000000000000011000000000+010000000100010001100010001000000000r001000101000000000if000000000000000000100010001100010001000000000false000000000000000000Size000000000000011000000000000Val111111111111001001000000000Marked_+000000000000000000000100000000000000O001000000000000001000000000l010000000000000000and0000000001000100010000000000000000001000000000000000000BS000000000000000000000000000Log111111111000000011000000000I001000000000000001000000000Min000000000111000000000000000ge000000000000000000000000000000000000not000000000000000000000000000WB000000000000000000000000000L010000010111101100000000000O(0)0+(0,x)x+(x,0)x+(O(x),O(y))O(+(x,y))+(O(x),I(y))I(+(x,y))+(I(x),O(y))I(+(x,y))+(I(x),I(y))O(+(+(x,y),I(0)))+(x,+(y,z))+(+(x,y),z)-(x,0)x-(0,x)0-(O(x),O(y))O(-(x,y))-(O(x),I(y))I(-(-(x,y),I(1)))-(I(x),O(y))I(-(x,y))-(I(x),I(y))O(-(x,y))not(true)falsenot(false)trueand(x,true)xand(x,false)falseif(true,x,y)xif(false,x,y)yge(O(x),O(y))ge(x,y)ge(O(x),I(y))not(ge(y,x))ge(I(x),O(y))ge(x,y)ge(I(x),I(y))ge(x,y)ge(x,0)truege(0,O(x))ge(0,x)ge(0,I(x))falseLog'(0)0Log'(I(x))+(Log'(x),I(0))Log'(O(x))if(ge(x,I(0)),+(Log'(x),I(0)),0)Log(x)-(Log'(x),I(0))Val(L(x))xVal(N(x,l,r))xMin(L(x))xMin(N(x,l,r))Min(l)Max(L(x))xMax(N(x,l,r))Max(r)BS(L(x))trueBS(N(x,l,r))and(and(ge(x,Max(l)),ge(Min(r),x)),and(BS(l),BS(r)))Size(L(x))I(0)Size(N(x,l,r))+(+(Size(l),Size(r)),I(1))WB(L(x))trueWB(N(x,l,r))and(if(ge(Size(l),Size(r)),ge(I(0),-(Size(l),Size(r))), ge(I(0),-(Size(r),Size(l)))),and(WB(l),WB(r)))Marked_+(I(x),I(y))Marked_+(+(x,y),I(0))00N220true0-10Max20Log'20+120r0if110false0Size20Val230Marked_+130O110l0and2010BS0Log120I110Min20ge20not0WB0L230O(0)0+(0,x)x+(x,0)x+(O(x),O(y))O(+(x,y))+(O(x),I(y))I(+(x,y))+(I(x),O(y))I(+(x,y))+(I(x),I(y))O(+(+(x,y),I(0)))+(x,+(y,z))+(+(x,y),z)-(x,0)x-(0,x)0-(O(x),O(y))O(-(x,y))-(O(x),I(y))I(-(-(x,y),I(1)))-(I(x),O(y))I(-(x,y))-(I(x),I(y))O(-(x,y))not(true)falsenot(false)trueand(x,true)xand(x,false)falseif(true,x,y)xif(false,x,y)yge(O(x),O(y))ge(x,y)ge(O(x),I(y))not(ge(y,x))ge(I(x),O(y))ge(x,y)ge(I(x),I(y))ge(x,y)ge(x,0)truege(0,O(x))ge(0,x)ge(0,I(x))falseLog'(0)0Log'(I(x))+(Log'(x),I(0))Log'(O(x))if(ge(x,I(0)),+(Log'(x),I(0)),0)Log(x)-(Log'(x),I(0))Val(L(x))xVal(N(x,l,r))xMin(L(x))xMin(N(x,l,r))Min(l)Max(L(x))xMax(N(x,l,r))Max(r)BS(L(x))trueBS(N(x,l,r))and(and(ge(x,Max(l)),ge(Min(r),x)),and(BS(l),BS(r)))Size(L(x))I(0)Size(N(x,l,r))+(+(Size(l),Size(r)),I(1))WB(L(x))trueWB(N(x,l,r))and(if(ge(Size(l),Size(r)),ge(I(0),-(Size(l),Size(r))), ge(I(0),-(Size(r),Size(l)))),and(WB(l),WB(r)))Marked_ge(O(x),O(y))Marked_ge(x,y)Marked_ge(O(x),I(y))Marked_ge(y,x)Marked_ge(I(x),O(y))Marked_ge(x,y)Marked_ge(I(x),I(y))Marked_ge(x,y)00N2220true0-10Max10Log'20+120r0if120false0Size10Val230O210l20and2010BS20Log130I210Min20ge0Marked_ge220not0WB20L230O(0)0+(0,x)x+(x,0)x+(O(x),O(y))O(+(x,y))+(O(x),I(y))I(+(x,y))+(I(x),O(y))I(+(x,y))+(I(x),I(y))O(+(+(x,y),I(0)))+(x,+(y,z))+(+(x,y),z)-(x,0)x-(0,x)0-(O(x),O(y))O(-(x,y))-(O(x),I(y))I(-(-(x,y),I(1)))-(I(x),O(y))I(-(x,y))-(I(x),I(y))O(-(x,y))not(true)falsenot(false)trueand(x,true)xand(x,false)falseif(true,x,y)xif(false,x,y)yge(O(x),O(y))ge(x,y)ge(O(x),I(y))not(ge(y,x))ge(I(x),O(y))ge(x,y)ge(I(x),I(y))ge(x,y)ge(x,0)truege(0,O(x))ge(0,x)ge(0,I(x))falseLog'(0)0Log'(I(x))+(Log'(x),I(0))Log'(O(x))if(ge(x,I(0)),+(Log'(x),I(0)),0)Log(x)-(Log'(x),I(0))Val(L(x))xVal(N(x,l,r))xMin(L(x))xMin(N(x,l,r))Min(l)Max(L(x))xMax(N(x,l,r))Max(r)BS(L(x))trueBS(N(x,l,r))and(and(ge(x,Max(l)),ge(Min(r),x)),and(BS(l),BS(r)))Size(L(x))I(0)Size(N(x,l,r))+(+(Size(l),Size(r)),I(1))WB(L(x))trueWB(N(x,l,r))and(if(ge(Size(l),Size(r)),ge(I(0),-(Size(l),Size(r))), ge(I(0),-(Size(r),Size(l)))),and(WB(l),WB(r)))Marked_ge(0,O(x))Marked_ge(0,x)00N1230true0-10Max20Log'20+120r0if120false0Size10Val230O110l10and1010BS0Log130I110Min10ge0Marked_ge30not0WB0L130O(0)0+(0,x)x+(x,0)x+(O(x),O(y))O(+(x,y))+(O(x),I(y))I(+(x,y))+(I(x),O(y))I(+(x,y))+(I(x),I(y))O(+(+(x,y),I(0)))+(x,+(y,z))+(+(x,y),z)-(x,0)x-(0,x)0-(O(x),O(y))O(-(x,y))-(O(x),I(y))I(-(-(x,y),I(1)))-(I(x),O(y))I(-(x,y))-(I(x),I(y))O(-(x,y))not(true)falsenot(false)trueand(x,true)xand(x,false)falseif(true,x,y)xif(false,x,y)yge(O(x),O(y))ge(x,y)ge(O(x),I(y))not(ge(y,x))ge(I(x),O(y))ge(x,y)ge(I(x),I(y))ge(x,y)ge(x,0)truege(0,O(x))ge(0,x)ge(0,I(x))falseLog'(0)0Log'(I(x))+(Log'(x),I(0))Log'(O(x))if(ge(x,I(0)),+(Log'(x),I(0)),0)Log(x)-(Log'(x),I(0))Val(L(x))xVal(N(x,l,r))xMin(L(x))xMin(N(x,l,r))Min(l)Max(L(x))xMax(N(x,l,r))Max(r)BS(L(x))trueBS(N(x,l,r))and(and(ge(x,Max(l)),ge(Min(r),x)),and(BS(l),BS(r)))Size(L(x))I(0)Size(N(x,l,r))+(+(Size(l),Size(r)),I(1))WB(L(x))trueWB(N(x,l,r))and(if(ge(Size(l),Size(r)),ge(I(0),-(Size(l),Size(r))), ge(I(0),-(Size(r),Size(l)))),and(WB(l),WB(r)))Marked_-(O(x),O(y))Marked_-(x,y)Marked_-(O(x),I(y))Marked_-(-(x,y),I(1))Marked_-(O(x),I(y))Marked_-(x,y)Marked_-(I(x),O(y))Marked_-(x,y)Marked_-(I(x),I(y))Marked_-(x,y)00N220true0-10Max10Log'230+120r0if120false0Size30Val330O210l0and10110BS0Log330Marked_-110I210Min20ge0not0WB10L230