Y[1]*X[2]*X[3]*Y[4]*Y[5]*X[6]*X[7] + X[1]*X[2]*Y[3]*Y[4]*Y[5]*Y[6]*Y[8] + X[1]*X[2]*Y[3]*X[4]*Y[5]*X[7]*X[8] + X[1]*Y[2]*Y[3]*Y[4]*Y[6]*Y[7]*Y[8] + X[1]*X[2]*X[3]*X[5]*X[6]*X[7]*Y[8] + X[1]*Y[2]*Y[4]*X[5]*X[6]*Y[7]*Y[8] + Y[1]*Y[3]*X[4]*X[5]*X[6]*Y[7]*Y[8] + Y[2]*X[3]*Y[4]*X[5]*X[6]*Y[7]*X[8] + X[1]*X[2]*X[3]*X[4]*X[5]*Y[6]*Y[9] + Y[1]*X[2]*X[3]*Y[4]*X[5]*Y[7]*X[9] + X[1]*Y[2]*Y[3]*X[4]*Y[6]*Y[7]*X[9] + X[1]*Y[2]*X[3]*X[5]*X[6]*X[7]*Y[9] + X[1]*X[2]*Y[4]*Y[5]*X[6]*Y[7]*X[9] + Y[1]*X[3]*Y[4]*Y[5]*X[6]*Y[7]*X[9] + Y[2]*Y[3]*X[4]*Y[5]*X[6]*X[7]*Y[9] + Y[1]*Y[2]*X[3]*Y[4]*X[5]*Y[8]*X[9] + Y[1]*X[2]*Y[3]*X[4]*Y[6]*Y[8]*Y[9] + Y[1]*X[2]*X[3]*Y[5]*Y[6]*X[8]*X[9] + X[1]*Y[2]*X[4]*Y[5]*Y[6]*X[8]*Y[9] + X[1]*Y[3]*X[4]*Y[5]*Y[6]*Y[8]*Y[9] + X[2]*Y[3]*Y[4]*X[5]*X[6]*X[8]*X[9] + Y[1]*Y[2]*Y[3]*X[4]*X[7]*Y[8]*X[9] + X[1]*Y[2]*X[3]*X[5]*X[7]*X[8]*X[9] + X[1]*X[2]*Y[4]*Y[5]*X[7]*X[8]*X[9] + Y[1]*Y[3]*Y[4]*X[5]*Y[7]*Y[8]*X[9] + Y[2]*Y[3]*Y[4]*X[5]*X[7]*X[8]*X[9] + Y[1]*Y[2]*Y[3]*X[6]*Y[7]*Y[8]*Y[9] + Y[1]*X[2]*X[4]*X[6]*X[7]*X[8]*Y[9] + Y[1]*X[3]*X[4]*Y[6]*X[7]*X[8]*Y[9] + X[2]*Y[3]*X[4]*X[6]*X[7]*Y[8]*Y[9] + X[1]*X[2]*X[5]*X[6]*Y[7]*Y[8]*X[9] + X[1]*X[3]*X[5]*Y[6]*X[7]*Y[8]*X[9] + X[2]*Y[3]*X[5]*X[6]*X[7]*Y[8]*X[9] + X[1]*Y[4]*Y[5]*X[6]*X[7]*Y[8]*X[9] + Y[2]*X[4]*X[5]*X[6]*Y[7]*Y[8]*X[9] + X[3]*X[4]*Y[5]*X[6]*X[7]*X[8]*X[9] + Y[1]*X[2]*Y[3]*Y[4]*X[5]*Y[6]*Y[10] + Y[1]*X[2]*Y[3]*Y[4]*Y[5]*X[7]*X[10] + Y[1]*X[2]*X[3]*Y[4]*Y[6]*X[7]*Y[10] + Y[1]*X[2]*X[3]*X[5]*X[6]*X[7]*Y[10] + Y[1]*Y[2]*X[4]*Y[5]*X[6]*Y[7]*X[10] + Y[1]*X[3]*Y[4]*X[5]*Y[6]*X[7]*X[10] + Y[2]*Y[3]*Y[4]*Y[5]*Y[6]*X[7]*Y[10] + X[1]*X[2]*X[3]*X[4]*Y[5]*Y[8]*X[10] + Y[1]*X[2]*X[3]*X[4]*Y[6]*Y[8]*Y[10] + X[1]*X[2]*Y[3]*X[5]*Y[6]*Y[8]*X[10] + X[1]*X[2]*X[4]*X[5]*X[6]*X[8]*Y[10] + X[1]*X[3]*Y[4]*Y[5]*Y[6]*Y[8]*Y[10] + Y[2]*X[3]*Y[4]*Y[5]*X[6]*X[8]*X[10] + Y[1]*X[2]*X[3]*X[4]*X[7]*Y[8]*X[10] + Y[1]*Y[2]*X[3]*Y[5]*X[7]*Y[8]*Y[10] + Y[1]*Y[2]*X[4]*X[5]*Y[7]*X[8]*X[10] + Y[1]*Y[3]*Y[4]*Y[5]*Y[7]*X[8]*Y[10] + Y[2]*X[3]*Y[4]*Y[5]*X[7]*X[8]*Y[10] + X[1]*Y[2]*Y[3]*X[6]*Y[7]*X[8]*X[10] + Y[1]*Y[2]*X[4]*Y[6]*Y[7]*Y[8]*X[10] + X[1]*Y[3]*Y[4]*Y[6]*Y[7]*X[8]*Y[10] + Y[2]*Y[3]*Y[4]*Y[6]*X[7]*Y[8]*X[10] + X[1]*X[2]*X[5]*Y[6]*X[7]*X[8]*X[10] + X[1]*X[3]*X[5]*Y[6]*Y[7]*Y[8]*X[10] + Y[2]*X[3]*Y[5]*Y[6]*Y[7]*X[8]*Y[10] + Y[1]*Y[4]*Y[5]*Y[6]*Y[7]*Y[8]*Y[10] + Y[2]*X[4]*X[5]*X[6]*Y[7]*X[8]*Y[10] + X[3]*Y[4]*X[5]*X[6]*X[7]*X[8]*X[10] + X[1]*X[2]*X[3]*X[4]*Y[5]*Y[9]*Y[10] + Y[1]*X[2]*Y[3]*X[4]*Y[6]*X[9]*Y[10] + X[1]*X[2]*Y[3]*X[5]*Y[6]*X[9]*Y[10] + X[1]*X[2]*Y[4]*X[5]*X[6]*Y[9]*X[10] + X[1]*Y[3]*Y[4]*Y[5]*X[6]*Y[9]*X[10] + X[2]*Y[3]*Y[4]*X[5]*X[6]*Y[9]*X[10] + X[1]*Y[2]*Y[3]*X[4]*X[7]*X[9]*X[10] + Y[1]*X[2]*Y[3]*Y[5]*X[7]*X[9]*Y[10] + Y[1]*Y[2]*Y[4]*X[5]*X[7]*Y[9]*Y[10] + X[1]*Y[3]*Y[4]*X[5]*X[7]*Y[9]*Y[10] + X[2]*Y[3]*Y[4]*Y[5]*X[7]*Y[9]*Y[10] + X[1]*Y[2]*Y[3]*X[6]*X[7]*X[9]*Y[10] + Y[1]*X[2]*X[4]*Y[6]*Y[7]*X[9]*X[10] + Y[1]*X[3]*Y[4]*Y[6]*Y[7]*Y[9]*X[10] + Y[2]*Y[3]*X[4]*Y[6]*X[7]*X[9]*Y[10] + X[1]*Y[2]*Y[5]*X[6]*Y[7]*X[9]*Y[10] + X[1]*X[3]*X[5]*Y[6]*Y[7]*X[9]*Y[10] + Y[2]*Y[3]*X[5]*X[6]*X[7]*Y[9]*X[10] + Y[1]*X[4]*Y[5]*X[6]*Y[7]*X[9]*Y[10] + Y[2]*X[4]*X[5]*X[6]*X[7]*Y[9]*Y[10] + Y[3]*X[4]*Y[5]*X[6]*Y[7]*Y[9]*Y[10] + X[1]*X[2]*X[3]*Y[4]*X[8]*Y[9]*Y[10] + X[1]*Y[2]*X[3]*Y[5]*Y[8]*Y[9]*Y[10] + X[1]*X[2]*X[4]*Y[5]*Y[8]*X[9]*Y[10] + Y[1]*Y[3]*X[4]*Y[5]*X[8]*X[9]*X[10] + X[2]*Y[3]*X[4]*Y[5]*Y[8]*X[9]*X[10] + Y[1]*Y[2]*X[3]*X[6]*Y[8]*Y[9]*X[10] + Y[1]*Y[2]*X[4]*Y[6]*Y[8]*Y[9]*Y[10] + Y[1]*Y[3]*X[4]*Y[6]*X[8]*Y[9]*X[10] + X[2]*Y[3]*X[4]*Y[6]*X[8]*Y[9]*Y[10] + X[1]*Y[2]*X[5]*Y[6]*X[8]*Y[9]*X[10] + X[1]*X[3]*Y[5]*X[6]*X[8]*Y[9]*X[10] + X[2]*X[3]*Y[5]*Y[6]*Y[8]*X[9]*X[10] + X[1]*X[4]*X[5]*Y[6]*Y[8]*Y[9]*Y[10] + X[2]*X[4]*X[5]*X[6]*X[8]*X[9]*X[10] + Y[3]*Y[4]*X[5]*X[6]*X[8]*Y[9]*Y[10] + Y[1]*X[2]*X[3]*Y[7]*X[8]*Y[9]*Y[10] + Y[1]*X[2]*X[4]*Y[7]*Y[8]*Y[9]*X[10] + Y[1]*Y[3]*Y[4]*Y[7]*X[8]*Y[9]*X[10] + X[2]*Y[3]*X[4]*Y[7]*X[8]*Y[9]*X[10] + X[1]*Y[2]*Y[5]*Y[7]*Y[8]*X[9]*X[10] + X[1]*X[3]*Y[5]*Y[7]*Y[8]*Y[9]*X[10] + Y[2]*X[3]*Y[5]*X[7]*Y[8]*X[9]*X[10] + Y[1]*X[4]*X[5]*X[7]*X[8]*X[9]*X[10] + Y[2]*Y[4]*Y[5]*X[7]*X[8]*X[9]*X[10] + X[3]*Y[4]*Y[5]*X[7]*Y[8]*Y[9]*X[10] + X[1]*X[2]*Y[6]*Y[7]*X[8]*X[9]*X[10] + Y[1]*X[3]*X[6]*Y[7]*Y[8]*Y[9]*Y[10] + Y[2]*Y[3]*Y[6]*Y[7]*Y[8]*Y[9]*X[10] + Y[1]*X[4]*Y[6]*Y[7]*Y[8]*X[9]*Y[10] + Y[2]*X[4]*Y[6]*X[7]*Y[8]*Y[9]*X[10] + X[3]*X[4]*Y[6]*X[7]*X[8]*X[9]*Y[10] + X[1]*X[5]*X[6]*Y[7]*Y[8]*Y[9]*Y[10] + Y[2]*X[5]*Y[6]*Y[7]*X[8]*Y[9]*Y[10] + X[3]*Y[5]*Y[6]*Y[7]*X[8]*Y[9]*X[10] + Y[4]*X[5]*Y[6]*Y[7]*Y[8]*Y[9]*Y[10] + Y[1]*X[2]*Y[3]*Y[4]*Y[5]*X[6]*Y[7]*Y[8] + Y[1]*Y[2]*Y[3]*Y[4]*Y[5]*X[6]*X[7]*Y[9] + Y[1]*Y[2]*Y[3]*Y[4]*Y[5]*X[6]*Y[8]*X[9] + Y[1]*Y[2]*X[3]*X[4]*X[5]*X[7]*Y[8]*X[9] + Y[1]*X[2]*X[3]*X[4]*X[6]*Y[7]*Y[8]*X[9] + X[1]*Y[2]*X[3]*X[5]*X[6]*X[7]*Y[8]*X[9] + X[1]*X[2]*X[4]*Y[5]*X[6]*Y[7]*X[8]*X[9] + X[1]*X[3]*Y[4]*X[5]*Y[6]*X[7]*Y[8]*Y[9] + Y[2]*Y[3]*Y[4]*X[5]*X[6]*Y[7]*X[8]*X[9] + Y[1]*X[2]*X[3]*X[4]*Y[5]*X[6]*X[7]*Y[10] + Y[1]*X[2]*Y[3]*X[4]*X[5]*X[6]*X[8]*Y[10] + Y[1]*X[2]*X[3]*Y[4]*X[5]*X[7]*Y[8]*X[10] + Y[1]*X[2]*X[3]*X[4]*X[6]*Y[7]*X[8]*X[10] + Y[1]*X[2]*Y[3]*X[5]*Y[6]*X[7]*Y[8]*X[10] + X[1]*Y[2]*Y[4]*Y[5]*Y[6]*Y[7]*X[8]*X[10] + X[1]*X[3]*X[4]*Y[5]*Y[6]*X[7]*X[8]*X[10] + Y[2]*Y[3]*Y[4]*Y[5]*Y[6]*X[7]*X[8]*X[10] + X[1]*Y[2]*Y[3]*Y[4]*Y[5]*X[6]*Y[9]*Y[10] + X[1]*X[2]*X[3]*Y[4]*Y[5]*X[7]*Y[9]*Y[10] + Y[1]*X[2]*X[3]*Y[4]*X[6]*Y[7]*Y[9]*X[10] + X[1]*X[2]*X[3]*Y[5]*Y[6]*Y[7]*X[9]*Y[10] + X[1]*X[2]*Y[4]*Y[5]*X[6]*Y[7]*Y[9]*Y[10] + X[1]*X[3]*X[4]*X[5]*X[6]*Y[7]*Y[9]*X[10] + Y[2]*X[3]*X[4]*Y[5]*X[6]*X[7]*Y[9]*X[10] + X[1]*Y[2]*X[3]*X[4]*Y[5]*Y[8]*X[9]*Y[10] + Y[1]*Y[2]*Y[3]*X[4]*Y[6]*X[8]*Y[9]*Y[10] + Y[1]*Y[2]*X[3]*Y[5]*Y[6]*X[8]*X[9]*X[10] + Y[1]*X[2]*Y[4]*X[5]*Y[6]*X[8]*X[9]*X[10] + X[1]*Y[3]*Y[4]*Y[5]*Y[6]*X[8]*Y[9]*X[10] + X[2]*Y[3]*Y[4]*X[5]*X[6]*Y[8]*Y[9]*Y[10] + X[1]*Y[2]*X[3]*X[4]*Y[7]*X[8]*X[9]*X[10] + Y[1]*Y[2]*X[3]*X[5]*X[7]*X[8]*X[9]*Y[10] + Y[1]*X[2]*X[4]*X[5]*Y[7]*X[8]*X[9]*Y[10] + Y[1]*Y[3]*Y[4]*Y[5]*Y[7]*X[8]*X[9]*X[10] + Y[2]*Y[3]*Y[4]*X[5]*X[7]*Y[8]*X[9]*Y[10] + Y[1]*Y[2]*Y[3]*X[6]*X[7]*X[8]*X[9]*Y[10] + X[1]*X[2]*X[4]*X[6]*X[7]*X[8]*Y[9]*X[10] + X[1]*Y[3]*X[4]*X[6]*Y[7]*Y[8]*Y[9]*X[10] + Y[2]*Y[3]*Y[4]*X[6]*X[7]*Y[8]*X[9]*X[10] + Y[1]*Y[2]*X[5]*Y[6]*Y[7]*X[8]*X[9]*Y[10] + Y[1]*Y[3]*X[5]*Y[6]*X[7]*X[8]*Y[9]*X[10] + Y[2]*X[3]*Y[5]*X[6]*Y[7]*X[8]*Y[9]*Y[10] + Y[1]*Y[4]*Y[5]*Y[6]*Y[7]*Y[8]*X[9]*X[10] + Y[2]*Y[4]*X[5]*Y[6]*Y[7]*X[8]*X[9]*X[10] + X[3]*Y[4]*Y[5]*Y[6]*X[7]*X[8]*Y[9]*X[10] + X[1]*X[2]*X[3]*Y[4]*X[5]*X[6]*Y[7]*X[8]*X[9] + Y[1]*X[2]*X[3]*X[4]*X[5]*Y[6]*Y[7]*X[8]*X[10] + Y[1]*Y[2]*X[3]*X[4]*X[5]*X[6]*X[7]*Y[9]*X[10] + X[1]*Y[2]*Y[3]*X[4]*X[5]*Y[6]*X[8]*Y[9]*Y[10] + X[1]*X[2]*X[3]*Y[4]*X[5]*X[7]*X[8]*X[9]*Y[10] + Y[1]*X[2]*Y[3]*Y[4]*Y[6]*Y[7]*Y[8]*Y[9]*X[10] + X[1]*Y[2]*X[3]*X[5]*Y[6]*X[7]*X[8]*Y[9]*Y[10] + X[1]*X[2]*Y[4]*X[5]*Y[6]*Y[7]*X[8]*Y[9]*X[10] + X[1]*Y[3]*X[4]*Y[5]*Y[6]*Y[7]*X[8]*X[9]*Y[10] + Y[2]*X[3]*X[4]*Y[5]*X[6]*X[7]*X[8]*Y[9]*Y[10] + Y[1]*Y[2]*Y[3]*X[4]*Y[5]*Y[6]*Y[7]*X[8]*X[9]*Y[10]