kMarked_*1Marked_iiMarked_k *zyx *(x,1)x *(1,y)y *(i(x),x)1 *(x,i(x))1 *(x, *(y,z)) *( *(x,y),z)i(1)1 *( *(x,y),i(y))x *( *(x,i(y)),y)xi(i(x))xi( *(x,y)) *(i(y),i(x))k(x,1)1k(x,x)1 *(k(x,y),k(y,x))1 *( *(i(x),k(y,z)),x)k( *( *(i(x),y),x), *( *(i(x),z),x))k( *(x,i(y)), *(y,i(x)))1 *(x,1)x *(1,y)y *(i(x),x)1 *(x,i(x))1 *(x, *(y,z)) *( *(x,y),z)i(1)1 *( *(x,y),i(y))x *( *(x,i(y)),y)xi(i(x))xi( *(x,y)) *(i(y),i(x))k(x,1)1k(x,x)1 *(k(x,y),k(y,x))1 *( *(i(x),k(y,z)),x)k( *( *(i(x),y),x), *( *(i(x),z),x))k( *(x,i(y)), *(y,i(x)))1Marked_*(x, *(y,z))Marked_*( *(x,y),z)Marked_*(x, *(y,z))Marked_*(x,y)Marked_i( *(x,y))Marked_*(i(y),i(x))Marked_i( *(x,y))Marked_i(y)Marked_i( *(x,y))Marked_i(x)Marked_*( *(i(x),k(y,z)),x)Marked_k( *( *(i(x),y),x), *( *(i(x),z),x))Marked_*( *(i(x),k(y,z)),x)Marked_*( *(i(x),y),x)Marked_*( *(i(x),k(y,z)),x)Marked_*(i(x),y)Marked_*( *(i(x),k(y,z)),x)Marked_*( *(i(x),z),x)Marked_*( *(i(x),k(y,z)),x)Marked_*(i(x),z) *(x,1)x *(1,y)y *(i(x),x)1 *(x,i(x))1 *(x, *(y,z)) *( *(x,y),z)i(1)1 *( *(x,y),i(y))x *( *(x,i(y)),y)xi(i(x))xi( *(x,y)) *(i(y),i(x))k(x,1)1k(x,x)1 *(k(x,y),k(y,x))1 *( *(i(x),k(y,z)),x)k( *( *(i(x),y),x), *( *(i(x),z),x))k( *(x,i(y)), *(y,i(x)))1Marked_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) *(x,1)x *(1,y)y *(i(x),x)1 *(x,i(x))1 *(x, *(y,z)) *( *(x,y),z)i(1)1 *( *(x,y),i(y))x *( *(x,i(y)),y)xi(i(x))xi( *(x,y)) *(i(y),i(x))k(x,1)1k(x,x)1 *(k(x,y),k(y,x))1 *( *(i(x),k(y,z)),x)k( *( *(i(x),y),x), *( *(i(x),z),x))k( *(x,i(y)), *(y,i(x)))1 *(x,1)x *(1,y)y *(i(x),x)1 *(x,i(x))1 *(x, *(y,z)) *( *(x,y),z)i(1)1 *( *(x,y),i(y))x *( *(x,i(y)),y)xi(i(x))xi( *(x,y)) *(i(y),i(x))k(x,1)1k(x,x)1 *(k(x,y),k(y,x))1 *( *(i(x),k(y,z)),x)k( *( *(i(x),y),x), *( *(i(x),z),x))k( *(x,i(y)), *(y,i(x)))1Marked_*(x, *(y,z))Marked_*( *(x,y),z)Marked_*(x, *(y,z))Marked_*(x,y)Marked_*( *(i(x),k(y,z)),x)Marked_*( *(i(x),y),x)Marked_*( *(i(x),k(y,z)),x)Marked_*(i(x),y)Marked_*( *(i(x),k(y,z)),x)Marked_*( *(i(x),z),x)Marked_*( *(i(x),k(y,z)),x)Marked_*(i(x),z) *22210i1010Marked_*1210k2110