Marked_ff0szyxf(x,0,0)s(x)f(0,y,0)s(y)f(0,0,z)s(z)f(s(0),y,z)f(0,s(y),s(z))f(s(x),s(y),0)f(x,y,s(0))f(s(x),0,s(z))f(x,s(0),z)f(0,s(0),s(0))s(s(0))f(s(x),s(y),s(z))f(x,y,f(s(x),s(y),z))f(0,s(s(y)),s(0))f(0,y,s(0))f(0,s(0),s(s(z)))f(0,s(0),z)f(0,s(s(y)),s(s(z)))f(0,y,f(0,s(s(y)),s(z)))f(x,0,0)s(x)f(0,y,0)s(y)f(0,0,z)s(z)f(s(0),y,z)f(0,s(y),s(z))f(s(x),s(y),0)f(x,y,s(0))f(s(x),0,s(z))f(x,s(0),z)f(0,s(0),s(0))s(s(0))f(s(x),s(y),s(z))f(x,y,f(s(x),s(y),z))f(0,s(s(y)),s(0))f(0,y,s(0))f(0,s(0),s(s(z)))f(0,s(0),z)f(0,s(s(y)),s(s(z)))f(0,y,f(0,s(s(y)),s(z)))Marked_f(s(0),y,z)Marked_f(0,s(y),s(z))Marked_f(s(x),s(y),0)Marked_f(x,y,s(0))Marked_f(s(x),0,s(z))Marked_f(x,s(0),z)Marked_f(s(x),s(y),s(z))Marked_f(x,y,f(s(x),s(y),z))Marked_f(s(x),s(y),s(z))Marked_f(s(x),s(y),z)Marked_f(0,s(s(y)),s(0))Marked_f(0,y,s(0))Marked_f(0,s(0),s(s(z)))Marked_f(0,s(0),z)Marked_f(0,s(s(y)),s(s(z)))Marked_f(0,y,f(0,s(s(y)),s(z)))Marked_f(0,s(s(y)),s(s(z)))Marked_f(0,s(s(y)),s(z))f(x,0,0)s(x)f(0,y,0)s(y)f(0,0,z)s(z)f(s(0),y,z)f(0,s(y),s(z))f(s(x),s(y),0)f(x,y,s(0))f(s(x),0,s(z))f(x,s(0),z)f(0,s(0),s(0))s(s(0))f(s(x),s(y),s(z))f(x,y,f(s(x),s(y),z))f(0,s(s(y)),s(0))f(0,y,s(0))f(0,s(0),s(s(z)))f(0,s(0),z)f(0,s(s(y)),s(s(z)))f(0,y,f(0,s(s(y)),s(z)))Marked_f(s(x),s(y),0)Marked_f(x,y,s(0))Marked_f(s(x),0,s(z))Marked_f(x,s(0),z)Marked_f(s(x),s(y),s(z))Marked_f(x,y,f(s(x),s(y),z))Marked_f(s(x),s(y),s(z))Marked_f(s(x),s(y),z)Marked_f1Marked_f(s(x),s(y),s(z))Marked_f(x,y,f(s(x),s(y),z))Marked_f(s(x),0,s(z))Marked_f(x,s(0),z)Marked_f(s(x),s(y),0)Marked_f(x,y,s(0))f(x,0,0)s(x)f(0,y,0)s(y)f(0,0,z)s(z)f(s(0),y,z)f(0,s(y),s(z))f(s(x),s(y),0)f(x,y,s(0))f(s(x),0,s(z))f(x,s(0),z)f(0,s(0),s(0))s(s(0))f(s(x),s(y),s(z))f(x,y,f(s(x),s(y),z))f(0,s(s(y)),s(0))f(0,y,s(0))f(0,s(0),s(s(z)))f(0,s(0),z)f(0,s(s(y)),s(s(z)))f(0,y,f(0,s(s(y)),s(z)))Marked_f(s(x),s(y),s(z))Marked_f(s(x),s(y),z)f(x,0,0)s(x)f(0,y,0)s(y)f(0,0,z)s(z)f(s(0),y,z)f(0,s(y),s(z))f(s(x),s(y),0)f(x,y,s(0))f(s(x),0,s(z))f(x,s(0),z)f(0,s(0),s(0))s(s(0))f(s(x),s(y),s(z))f(x,y,f(s(x),s(y),z))f(0,s(s(y)),s(0))f(0,y,s(0))f(0,s(0),s(s(z)))f(0,s(0),z)f(0,s(s(y)),s(s(z)))f(0,y,f(0,s(s(y)),s(z)))Marked_f(s(x),s(y),s(z))Marked_f(s(x),s(y),z)Marked_f3Marked_f(s(x),s(y),s(z))Marked_f(s(x),s(y),z)f(x,0,0)s(x)f(0,y,0)s(y)f(0,0,z)s(z)f(s(0),y,z)f(0,s(y),s(z))f(s(x),s(y),0)f(x,y,s(0))f(s(x),0,s(z))f(x,s(0),z)f(0,s(0),s(0))s(s(0))f(s(x),s(y),s(z))f(x,y,f(s(x),s(y),z))f(0,s(s(y)),s(0))f(0,y,s(0))f(0,s(0),s(s(z)))f(0,s(0),z)f(0,s(s(y)),s(s(z)))f(0,y,f(0,s(s(y)),s(z)))f(x,0,0)s(x)f(0,y,0)s(y)f(0,0,z)s(z)f(s(0),y,z)f(0,s(y),s(z))f(s(x),s(y),0)f(x,y,s(0))f(s(x),0,s(z))f(x,s(0),z)f(0,s(0),s(0))s(s(0))f(s(x),s(y),s(z))f(x,y,f(s(x),s(y),z))f(0,s(s(y)),s(0))f(0,y,s(0))f(0,s(0),s(s(z)))f(0,s(0),z)f(0,s(s(y)),s(s(z)))f(0,y,f(0,s(s(y)),s(z)))Marked_f(0,s(s(y)),s(s(z)))Marked_f(0,y,f(0,s(s(y)),s(z)))Marked_f(0,s(s(y)),s(s(z)))Marked_f(0,s(s(y)),s(z))Marked_f2Marked_f(0,s(s(y)),s(s(z)))Marked_f(0,y,f(0,s(s(y)),s(z)))f(x,0,0)s(x)f(0,y,0)s(y)f(0,0,z)s(z)f(s(0),y,z)f(0,s(y),s(z))f(s(x),s(y),0)f(x,y,s(0))f(s(x),0,s(z))f(x,s(0),z)f(0,s(0),s(0))s(s(0))f(s(x),s(y),s(z))f(x,y,f(s(x),s(y),z))f(0,s(s(y)),s(0))f(0,y,s(0))f(0,s(0),s(s(z)))f(0,s(0),z)f(0,s(s(y)),s(s(z)))f(0,y,f(0,s(s(y)),s(z)))Marked_f(0,s(s(y)),s(s(z)))Marked_f(0,s(s(y)),s(z))f(x,0,0)s(x)f(0,y,0)s(y)f(0,0,z)s(z)f(s(0),y,z)f(0,s(y),s(z))f(s(x),s(y),0)f(x,y,s(0))f(s(x),0,s(z))f(x,s(0),z)f(0,s(0),s(0))s(s(0))f(s(x),s(y),s(z))f(x,y,f(s(x),s(y),z))f(0,s(s(y)),s(0))f(0,y,s(0))f(0,s(0),s(s(z)))f(0,s(0),z)f(0,s(s(y)),s(s(z)))f(0,y,f(0,s(s(y)),s(z)))Marked_f(0,s(s(y)),s(s(z)))Marked_f(0,s(s(y)),s(z))Marked_f3Marked_f(0,s(s(y)),s(s(z)))Marked_f(0,s(s(y)),s(z))f(x,0,0)s(x)f(0,y,0)s(y)f(0,0,z)s(z)f(s(0),y,z)f(0,s(y),s(z))f(s(x),s(y),0)f(x,y,s(0))f(s(x),0,s(z))f(x,s(0),z)f(0,s(0),s(0))s(s(0))f(s(x),s(y),s(z))f(x,y,f(s(x),s(y),z))f(0,s(s(y)),s(0))f(0,y,s(0))f(0,s(0),s(s(z)))f(0,s(0),z)f(0,s(s(y)),s(s(z)))f(0,y,f(0,s(s(y)),s(z)))f(x,0,0)s(x)f(0,y,0)s(y)f(0,0,z)s(z)f(s(0),y,z)f(0,s(y),s(z))f(s(x),s(y),0)f(x,y,s(0))f(s(x),0,s(z))f(x,s(0),z)f(0,s(0),s(0))s(s(0))f(s(x),s(y),s(z))f(x,y,f(s(x),s(y),z))f(0,s(s(y)),s(0))f(0,y,s(0))f(0,s(0),s(s(z)))f(0,s(0),z)f(0,s(s(y)),s(s(z)))f(0,y,f(0,s(s(y)),s(z)))Marked_f(0,s(s(y)),s(0))Marked_f(0,y,s(0))Marked_f2Marked_f(0,s(s(y)),s(0))Marked_f(0,y,s(0))f(x,0,0)s(x)f(0,y,0)s(y)f(0,0,z)s(z)f(s(0),y,z)f(0,s(y),s(z))f(s(x),s(y),0)f(x,y,s(0))f(s(x),0,s(z))f(x,s(0),z)f(0,s(0),s(0))s(s(0))f(s(x),s(y),s(z))f(x,y,f(s(x),s(y),z))f(0,s(s(y)),s(0))f(0,y,s(0))f(0,s(0),s(s(z)))f(0,s(0),z)f(0,s(s(y)),s(s(z)))f(0,y,f(0,s(s(y)),s(z)))f(x,0,0)s(x)f(0,y,0)s(y)f(0,0,z)s(z)f(s(0),y,z)f(0,s(y),s(z))f(s(x),s(y),0)f(x,y,s(0))f(s(x),0,s(z))f(x,s(0),z)f(0,s(0),s(0))s(s(0))f(s(x),s(y),s(z))f(x,y,f(s(x),s(y),z))f(0,s(s(y)),s(0))f(0,y,s(0))f(0,s(0),s(s(z)))f(0,s(0),z)f(0,s(s(y)),s(s(z)))f(0,y,f(0,s(s(y)),s(z)))Marked_f(0,s(0),s(s(z)))Marked_f(0,s(0),z)Marked_f3Marked_f(0,s(0),s(s(z)))Marked_f(0,s(0),z)f(x,0,0)s(x)f(0,y,0)s(y)f(0,0,z)s(z)f(s(0),y,z)f(0,s(y),s(z))f(s(x),s(y),0)f(x,y,s(0))f(s(x),0,s(z))f(x,s(0),z)f(0,s(0),s(0))s(s(0))f(s(x),s(y),s(z))f(x,y,f(s(x),s(y),z))f(0,s(s(y)),s(0))f(0,y,s(0))f(0,s(0),s(s(z)))f(0,s(0),z)f(0,s(s(y)),s(s(z)))f(0,y,f(0,s(s(y)),s(z)))