Marked_::iMarked_iezyx:(x,x)e:(x,e)xi(:(x,y)):(y,x):(:(x,y),z):(x,:(z,i(y))):(e,x)i(x)i(i(x))xi(e)e:(x,:(y,i(x)))i(y):(x,:(y,:(i(x),z))):(i(z),y):(i(x),:(y,x))i(y):(i(x),:(y,:(x,z))):(i(z),y):(x,x)e:(x,e)xi(:(x,y)):(y,x):(:(x,y),z):(x,:(z,i(y))):(e,x)i(x)i(i(x))xi(e)e:(x,:(y,i(x)))i(y):(x,:(y,:(i(x),z))):(i(z),y):(i(x),:(y,x))i(y):(i(x),:(y,:(x,z))):(i(z),y)Marked_i(:(x,y))Marked_:(y,x)Marked_:(:(x,y),z)Marked_:(x,:(z,i(y)))Marked_:(:(x,y),z)Marked_:(z,i(y))Marked_:(:(x,y),z)Marked_i(y)Marked_:(e,x)Marked_i(x)Marked_:(x,:(y,i(x)))Marked_i(y)Marked_:(x,:(y,:(i(x),z)))Marked_:(i(z),y)Marked_:(x,:(y,:(i(x),z)))Marked_i(z)Marked_:(i(x),:(y,x))Marked_i(y)Marked_:(i(x),:(y,:(x,z)))Marked_:(i(z),y)Marked_:(i(x),:(y,:(x,z)))Marked_i(z):(x,x)e:(x,e)xi(:(x,y)):(y,x):(:(x,y),z):(x,:(z,i(y))):(e,x)i(x)i(i(x))xi(e)e:(x,:(y,i(x)))i(y):(x,:(y,:(i(x),z))):(i(z),y):(i(x),:(y,x))i(y):(i(x),:(y,:(x,z))):(i(z),y)Marked_i(:(x,y))Marked_:(y,x)Marked_:(:(x,y),z)Marked_:(x,:(z,i(y)))Marked_:(:(x,y),z)Marked_:(z,i(y))Marked_:(:(x,y),z)Marked_i(y)Marked_:(e,x)Marked_i(x)Marked_:(x,:(y,i(x)))Marked_i(y)Marked_:(x,:(y,:(i(x),z)))Marked_:(i(z),y)Marked_:(x,:(y,:(i(x),z)))Marked_i(z)Marked_:(i(x),:(y,x))Marked_i(y)Marked_:(i(x),:(y,:(x,z)))Marked_:(i(z),y)Marked_:(i(x),:(y,:(x,z)))Marked_i(z)e0Marked_i10i10:2110Marked_:2110Marked_:(:(x,y),z)Marked_:(z,i(y))Marked_:(:(x,y),z)Marked_i(y)Marked_:(e,x)Marked_i(x)Marked_:(x,:(y,i(x)))Marked_i(y)Marked_:(x,:(y,:(i(x),z)))Marked_:(i(z),y)Marked_:(x,:(y,:(i(x),z)))Marked_i(z)Marked_:(i(x),:(y,x))Marked_i(y)Marked_:(i(x),:(y,:(x,z)))Marked_:(i(z),y)Marked_:(i(x),:(y,:(x,z)))Marked_i(z):(x,x)e:(x,e)xi(:(x,y)):(y,x):(:(x,y),z):(x,:(z,i(y))):(e,x)i(x)i(i(x))xi(e)e:(x,:(y,i(x)))i(y):(x,:(y,:(i(x),z))):(i(z),y):(i(x),:(y,x))i(y):(i(x),:(y,:(x,z))):(i(z),y)Marked_i(:(x,y))Marked_:(y,x)Marked_:(:(x,y),z)Marked_:(x,:(z,i(y))):(x,x)e:(x,e)xi(:(x,y)):(y,x):(:(x,y),z):(x,:(z,i(y))):(e,x)i(x)i(i(x))xi(e)e:(x,:(y,i(x)))i(y):(x,:(y,:(i(x),z))):(i(z),y):(i(x),:(y,x))i(y):(i(x),:(y,:(x,z))):(i(z),y)Marked_:(:(x,y),z)Marked_:(x,:(z,i(y)))Marked_:1Marked_:(:(x,y),z)Marked_:(x,:(z,i(y))):(x,x)e:(x,e)xi(:(x,y)):(y,x):(:(x,y),z):(x,:(z,i(y))):(e,x)i(x)i(i(x))xi(e)e:(x,:(y,i(x)))i(y):(x,:(y,:(i(x),z))):(i(z),y):(i(x),:(y,x))i(y):(i(x),:(y,:(x,z))):(i(z),y)