Marked_iftruefalseifvuzyxif(true,x,y)xif(false,x,y)yif(x,y,y)yif(if(x,y,z),u,v)if(x,if(y,u,v),if(z,u,v))if(x,if(x,y,z),z)if(x,y,z)if(x,y,if(x,y,z))if(x,y,z)if(true,x,y)xif(false,x,y)yif(x,y,y)yif(if(x,y,z),u,v)if(x,if(y,u,v),if(z,u,v))if(x,if(x,y,z),z)if(x,y,z)if(x,y,if(x,y,z))if(x,y,z)Marked_if(if(x,y,z),u,v)Marked_if(x,if(y,u,v),if(z,u,v))Marked_if(if(x,y,z),u,v)Marked_if(y,u,v)Marked_if(if(x,y,z),u,v)Marked_if(z,u,v)if(true,x,y)xif(false,x,y)yif(x,y,y)yif(if(x,y,z),u,v)if(x,if(y,u,v),if(z,u,v))if(x,if(x,y,z),z)if(x,y,z)if(x,y,if(x,y,z))if(x,y,z)Marked_if(if(x,y,z),u,v)Marked_if(x,if(y,u,v),if(z,u,v))Marked_if(if(x,y,z),u,v)Marked_if(y,u,v)Marked_if(if(x,y,z),u,v)Marked_if(z,u,v)Marked_if1Marked_if(if(x,y,z),u,v)Marked_if(z,u,v)Marked_if(if(x,y,z),u,v)Marked_if(y,u,v)Marked_if(if(x,y,z),u,v)Marked_if(x,if(y,u,v),if(z,u,v))if(true,x,y)xif(false,x,y)yif(x,y,y)yif(if(x,y,z),u,v)if(x,if(y,u,v),if(z,u,v))if(x,if(x,y,z),z)if(x,y,z)if(x,y,if(x,y,z))if(x,y,z)