x0[x1][x2][x3][x4]=1&x0[x1][x2][x3][y4]=2&x0[x1][x2][x3][z4]=3&x0[x1][x2][y3][x4]=1&x0[x1][x2][y3][y4]=2&x0[x1][x2][y3][z4]=3&x0[x1][x2][z3][x4]=1&x0[x1][x2][z3][y4]=2&x0[x1][x2][z3][z4]=3&x0[x1][y2][x3][x4]=1&x0[x1][y2][x3][y4]=2&x0[x1][y2][x3][z4]=3&x0[x1][y2][y3][x4]=1&x0[x1][y2][y3][y4]=2&x0[x1][y2][y3][z4]=3&x0[x1][y2][z3][x4]=1&x0[x1][y2][z3][y4]=2&x0[x1][y2][z3][z4]=3&x0[x1][z2][x3][x4]=1&x0[x1][z2][x3][y4]=2&x0[x1][z2][x3][z4]=3&x0[x1][z2][y3][x4]=1&x0[x1][z2][y3][y4]=2&x0[x1][z2][y3][z4]=3&x0[x1][z2][z3][x4]=1&x0[x1][z2][z3][y4]=2&x0[x1][z2][z3][z4]=3&x0[y1][x2][x3][x4]=1&x0[y1][x2][x3][y4]=2&x0[y1][x2][x3][z4]=3&x0[y1][x2][y3][x4]=1&x0[y1][x2][y3][y4]=2&x0[y1][x2][y3][z4]=3&x0[y1][x2][z3][x4]=1&x0[y1][x2][z3][y4]=2&x0[y1][x2][z3][z4]=3&x0[y1][y2][x3][x4]=1&x0[y1][y2][x3][y4]=2&x0[y1][y2][x3][z4]=3&x0[y1][y2][y3][x4]=1&x0[y1][y2][y3][y4]=2&x0[y1][y2][y3][z4]=3&x0[y1][y2][z3][x4]=1&x0[y1][y2][z3][y4]=2&x0[y1][y2][z3][z4]=3&x0[y1][z2][x3][x4]=1&x0[y1][z2][x3][y4]=2&x0[y1][z2][x3][z4]=3&x0[y1][z2][y3][x4]=1&x0[y1][z2][y3][y4]=2&x0[y1][z2][y3][z4]=3&x0[y1][z2][z3][x4]=1&x0[y1][z2][z3][y4]=2&x0[y1][z2][z3][z4]=3&x0[z1][x2][x3][x4]=1&x0[z1][x2][x3][y4]=2&x0[z1][x2][x3][z4]=3&x0[z1][x2][y3][x4]=1&x0[z1][x2][y3][y4]=2&x0[z1][x2][y3][z4]=3&x0[z1][x2][z3][x4]=1&x0[z1][x2][z3][y4]=2&x0[z1][x2][z3][z4]=3&x0[z1][y2][x3][x4]=1&x0[z1][y2][x3][y4]=2&x0[z1][y2][x3][z4]=3&x0[z1][y2][y3][x4]=1&x0[z1][y2][y3][y4]=2&x0[z1][y2][y3][z4]=3&x0[z1][y2][z3][x4]=1&x0[z1][y2][z3][y4]=2&x0[z1][y2][z3][z4]=3&x0[z1][z2][x3][x4]=1&x0[z1][z2][x3][y4]=2&x0[z1][z2][x3][z4]=3&x0[z1][z2][y3][x4]=1&x0[z1][z2][y3][y4]=2&x0[z1][z2][y3][z4]=3&x0[z1][z2][z3][x4]=1&x0[z1][z2][z3][y4]=2&x0[z1][z2][z3][z4]=3&y0[x1][x2][x3][x4]=1&y0[x1][x2][x3][y4]=2&y0[x1][x2][x3][z4]=3&y0[x1][x2][y3][x4]=1&y0[x1][x2][y3][y4]=2&y0[x1][x2][y3][z4]=3&y0[x1][x2][z3][x4]=1&y0[x1][x2][z3][y4]=2&y0[x1][x2][z3][z4]=3&y0[x1][y2][x3][x4]=1&y0[x1][y2][x3][y4]=2&y0[x1][y2][x3][z4]=3&y0[x1][y2][y3][x4]=1&y0[x1][y2][y3][y4]=2&y0[x1][y2][y3][z4]=3&y0[x1][y2][z3][x4]=1&y0[x1][y2][z3][y4]=2&y0[x1][y2][z3][z4]=3&y0[x1][z2][x3][x4]=1&y0[x1][z2][x3][y4]=2&y0[x1][z2][x3][z4]=3&y0[x1][z2][y3][x4]=1&y0[x1][z2][y3][y4]=2&y0[x1][z2][y3][z4]=3&y0[x1][z2][z3][x4]=1&y0[x1][z2][z3][y4]=2&y0[x1][z2][z3][z4]=3&y0[y1][x2][x3][x4]=1&y0[y1][x2][x3][y4]=2&y0[y1][x2][x3][z4]=3&y0[y1][x2][y3][x4]=1&y0[y1][x2][y3][y4]=2&y0[y1][x2][y3][z4]=3&y0[y1][x2][z3][x4]=1&y0[y1][x2][z3][y4]=2&y0[y1][x2][z3][z4]=3&y0[y1][y2][x3][x4]=1&y0[y1][y2][x3][y4]=2&y0[y1][y2][x3][z4]=3&y0[y1][y2][y3][x4]=1&y0[y1][y2][y3][y4]=2&y0[y1][y2][y3][z4]=3&y0[y1][y2][z3][x4]=1&y0[y1][y2][z3][y4]=2&y0[y1][y2][z3][z4]=3&y0[y1][z2][x3][x4]=1&y0[y1][z2][x3][y4]=2&y0[y1][z2][x3][z4]=3&y0[y1][z2][y3][x4]=1&y0[y1][z2][y3][y4]=2&y0[y1][z2][y3][z4]=3&y0[y1][z2][z3][x4]=1&y0[y1][z2][z3][y4]=2&y0[y1][z2][z3][z4]=3&y0[z1][x2][x3][x4]=1&y0[z1][x2][x3][y4]=2&y0[z1][x2][x3][z4]=3&y0[z1][x2][y3][x4]=1&y0[z1][x2][y3][y4]=2&y0[z1][x2][y3][z4]=3&y0[z1][x2][z3][x4]=1&y0[z1][x2][z3][y4]=2&y0[z1][x2][z3][z4]=3&y0[z1][y2][x3][x4]=1&y0[z1][y2][x3][y4]=2&y0[z1][y2][x3][z4]=3&y0[z1][y2][y3][x4]=1&y0[z1][y2][y3][y4]=2&y0[z1][y2][y3][z4]=3&y0[z1][y2][z3][x4]=1&y0[z1][y2][z3][y4]=2&y0[z1][y2][z3][z4]=3&y0[z1][z2][x3][x4]=1&y0[z1][z2][x3][y4]=2&y0[z1][z2][x3][z4]=3&y0[z1][z2][y3][x4]=1&y0[z1][z2][y3][y4]=2&y0[z1][z2][y3][z4]=3&y0[z1][z2][z3][x4]=1&y0[z1][z2][z3][y4]=2&y0[z1][z2][z3][z4]=3&z0[x1][x2][x3][x4]=1&z0[x1][x2][x3][y4]=2&z0[x1][x2][x3][z4]=3&z0[x1][x2][y3][x4]=1&z0[x1][x2][y3][y4]=2&z0[x1][x2][y3][z4]=3&z0[x1][x2][z3][x4]=1&z0[x1][x2][z3][y4]=2&z0[x1][x2][z3][z4]=3&z0[x1][y2][x3][x4]=1&z0[x1][y2][x3][y4]=2&z0[x1][y2][x3][z4]=3&z0[x1][y2][y3][x4]=1&z0[x1][y2][y3][y4]=2&z0[x1][y2][y3][z4]=3&z0[x1][y2][z3][x4]=1&z0[x1][y2][z3][y4]=2&z0[x1][y2][z3][z4]=3&z0[x1][z2][x3][x4]=1&z0[x1][z2][x3][y4]=2&z0[x1][z2][x3][z4]=3&z0[x1][z2][y3][x4]=1&z0[x1][z2][y3][y4]=2&z0[x1][z2][y3][z4]=3&z0[x1][z2][z3][x4]=1&z0[x1][z2][z3][y4]=2&z0[x1][z2][z3][z4]=3&z0[y1][x2][x3][x4]=1&z0[y1][x2][x3][y4]=2&z0[y1][x2][x3][z4]=3&z0[y1][x2][y3][x4]=1&z0[y1][x2][y3][y4]=2&z0[y1][x2][y3][z4]=3&z0[y1][x2][z3][x4]=1&z0[y1][x2][z3][y4]=2&z0[y1][x2][z3][z4]=3&z0[y1][y2][x3][x4]=1&z0[y1][y2][x3][y4]=2&z0[y1][y2][x3][z4]=3&z0[y1][y2][y3][x4]=1&z0[y1][y2][y3][y4]=2&z0[y1][y2][y3][z4]=3&z0[y1][y2][z3][x4]=1&z0[y1][y2][z3][y4]=2&z0[y1][y2][z3][z4]=3&z0[y1][z2][x3][x4]=1&z0[y1][z2][x3][y4]=2&z0[y1][z2][x3][z4]=3&z0[y1][z2][y3][x4]=1&z0[y1][z2][y3][y4]=2&z0[y1][z2][y3][z4]=3&z0[y1][z2][z3][x4]=1&z0[y1][z2][z3][y4]=2&z0[y1][z2][z3][z4]=3&z0[z1][x2][x3][x4]=1&z0[z1][x2][x3][y4]=2&z0[z1][x2][x3][z4]=3&z0[z1][x2][y3][x4]=1&z0[z1][x2][y3][y4]=2&z0[z1][x2][y3][z4]=3&z0[z1][x2][z3][x4]=1&z0[z1][x2][z3][y4]=2&z0[z1][x2][z3][z4]=3&z0[z1][y2][x3][x4]=1&z0[z1][y2][x3][y4]=2&z0[z1][y2][x3][z4]=3&z0[z1][y2][y3][x4]=1&z0[z1][y2][y3][y4]=2&z0[z1][y2][y3][z4]=3&z0[z1][y2][z3][x4]=1&z0[z1][y2][z3][y4]=2&z0[z1][y2][z3][z4]=3&z0[z1][z2][x3][x4]=1&z0[z1][z2][x3][y4]=2&z0[z1][z2][x3][z4]=3&z0[z1][z2][y3][x4]=1&z0[z1][z2][y3][y4]=2&z0[z1][z2][y3][z4]=3&z0[z1][z2][z3][x4]=1&z0[z1][z2][z3][y4]=2&z0[z1][z2][z3][z4]=3