sMarked_ijMarked_g0hfMarked_fh1Marked_kkMarked_h2h2iguzyxf(j(x,y),y)g(f(x,k(y)))f(x,h1(y,z))h2(0,x,h1(y,z))g(h2(x,y,h1(z,u)))h2(s(x),y,h1(z,u))h2(x,j(y,h1(z,u)),h1(z,u))h2(s(x),y,h1(s(z),u))i(f(x,h(y)))yi(h2(s(x),y,h1(x,z)))zk(h(x))h1(0,x)k(h1(x,y))h1(s(x),y)f(j(x,y),y)g(f(x,k(y)))f(x,h1(y,z))h2(0,x,h1(y,z))g(h2(x,y,h1(z,u)))h2(s(x),y,h1(z,u))h2(x,j(y,h1(z,u)),h1(z,u))h2(s(x),y,h1(s(z),u))i(f(x,h(y)))yi(h2(s(x),y,h1(x,z)))zk(h(x))h1(0,x)k(h1(x,y))h1(s(x),y)Marked_f(j(x,y),y)Marked_g(f(x,k(y)))Marked_f(j(x,y),y)Marked_f(x,k(y))Marked_f(j(x,y),y)Marked_k(y)Marked_f(x,h1(y,z))Marked_h2(0,x,h1(y,z))Marked_g(h2(x,y,h1(z,u)))Marked_h2(s(x),y,h1(z,u))Marked_h2(x,j(y,h1(z,u)),h1(z,u))Marked_h2(s(x),y,h1(s(z),u))f(j(x,y),y)g(f(x,k(y)))f(x,h1(y,z))h2(0,x,h1(y,z))g(h2(x,y,h1(z,u)))h2(s(x),y,h1(z,u))h2(x,j(y,h1(z,u)),h1(z,u))h2(s(x),y,h1(s(z),u))i(f(x,h(y)))yi(h2(s(x),y,h1(x,z)))zk(h(x))h1(0,x)k(h1(x,y))h1(s(x),y)Marked_f(j(x,y),y)Marked_f(x,k(y))Marked_f1Marked_f(j(x,y),y)Marked_f(x,k(y))f(j(x,y),y)g(f(x,k(y)))f(x,h1(y,z))h2(0,x,h1(y,z))g(h2(x,y,h1(z,u)))h2(s(x),y,h1(z,u))h2(x,j(y,h1(z,u)),h1(z,u))h2(s(x),y,h1(s(z),u))i(f(x,h(y)))yi(h2(s(x),y,h1(x,z)))zk(h(x))h1(0,x)k(h1(x,y))h1(s(x),y)f(j(x,y),y)g(f(x,k(y)))f(x,h1(y,z))h2(0,x,h1(y,z))g(h2(x,y,h1(z,u)))h2(s(x),y,h1(z,u))h2(x,j(y,h1(z,u)),h1(z,u))h2(s(x),y,h1(s(z),u))i(f(x,h(y)))yi(h2(s(x),y,h1(x,z)))zk(h(x))h1(0,x)k(h1(x,y))h1(s(x),y)Marked_h2(x,j(y,h1(z,u)),h1(z,u))Marked_h2(s(x),y,h1(s(z),u))Marked_h22Marked_h2(x,j(y,h1(z,u)),h1(z,u))Marked_h2(s(x),y,h1(s(z),u))f(j(x,y),y)g(f(x,k(y)))f(x,h1(y,z))h2(0,x,h1(y,z))g(h2(x,y,h1(z,u)))h2(s(x),y,h1(z,u))h2(x,j(y,h1(z,u)),h1(z,u))h2(s(x),y,h1(s(z),u))i(f(x,h(y)))yi(h2(s(x),y,h1(x,z)))zk(h(x))h1(0,x)k(h1(x,y))h1(s(x),y)