Marked_i1iMarked_..zyx.(1,x)x.(x,1)x.(i(x),x)1.(x,i(x))1i(1)1i(i(x))x.(i(y),.(y,z))z.(y,.(i(y),z))z.(.(x,y),z).(x,.(y,z))i(.(x,y)).(i(y),i(x)).(1,x)x.(x,1)x.(i(x),x)1.(x,i(x))1i(1)1i(i(x))x.(i(y),.(y,z))z.(y,.(i(y),z))z.(.(x,y),z).(x,.(y,z))i(.(x,y)).(i(y),i(x))Marked_.(.(x,y),z)Marked_.(x,.(y,z))Marked_.(.(x,y),z)Marked_.(y,z)Marked_i(.(x,y))Marked_.(i(y),i(x))Marked_i(.(x,y))Marked_i(y)Marked_i(.(x,y))Marked_i(x).(1,x)x.(x,1)x.(i(x),x)1.(x,i(x))1i(1)1i(i(x))x.(i(y),.(y,z))z.(y,.(i(y),z))z.(.(x,y),z).(x,.(y,z))i(.(x,y)).(i(y),i(x))Marked_i(.(x,y))Marked_i(y)Marked_i(.(x,y))Marked_i(x)Marked_i1Marked_i(.(x,y))Marked_i(x)Marked_i(.(x,y))Marked_i(y).(1,x)x.(x,1)x.(i(x),x)1.(x,i(x))1i(1)1i(i(x))x.(i(y),.(y,z))z.(y,.(i(y),z))z.(.(x,y),z).(x,.(y,z))i(.(x,y)).(i(y),i(x)).(1,x)x.(x,1)x.(i(x),x)1.(x,i(x))1i(1)1i(i(x))x.(i(y),.(y,z))z.(y,.(i(y),z))z.(.(x,y),z).(x,.(y,z))i(.(x,y)).(i(y),i(x))Marked_.(.(x,y),z)Marked_.(x,.(y,z))Marked_.(.(x,y),z)Marked_.(y,z)Marked_.1Marked_.(.(x,y),z)Marked_.(y,z)Marked_.(.(x,y),z)Marked_.(x,.(y,z)).(1,x)x.(x,1)x.(i(x),x)1.(x,i(x))1i(1)1i(i(x))x.(i(y),.(y,z))z.(y,.(i(y),z))z.(.(x,y),z).(x,.(y,z))i(.(x,y)).(i(y),i(x))