[ x[10] = (x[3]*k[83] + x[4]*k[83] + x[5]*k[83] + x[6]*k[83] + x[7]*k[84] + x[8]*k[84] + x[9]*k[84])/k[84],
  x[11] = (x[6]*k[83] + x[5]*k[83] + x[4]*k[83])/k[84],
  x[12] = (x[6]*k[83] + x[5]*k[83])/k[84],
  x[17] = k[34]*x[15]*k[84]/k[84],
  x[18] = k[34]*x[16]*k[84]/k[84],
  x[31] = (x[13]*k[84] + x[30]*k[84])/k[84],
  x[33] = (x[27]*k[84] + x[32]*k[84])/k[84],
  x[41] = (x[38]*k[84] + x[39]*k[84] + x[40]*k[84])/k[84],
  x[47] = (x[43]*k[84] + x[44]*k[84] + x[45]*k[84] + x[46]*k[84])/k[84],
  x[52] = (x[51]*k[84] + x[49]*k[84])/k[84],
  x[54] = (x[53]*k[84] + x[50]*k[84])/k[84],
  x[57] = (x[55]*k[84] + x[56]*k[84])/k[84],
  x[108] = (x[60]*k[84] + x[61]*k[85] + x[62]*k[86] + x[63]*k[84] + x[64]*k[85] + x[65]*k[86] + x[66]*k[84] + x[67]*k[85] + x[68]*k[86] + x[69]*k[84] + x[70]*k[85] + x[71]*k[86] + x[72]*k[84] + x[73]*k[85] + x[74]*k[86] + x[75]*k[84] + x[76]*k[85] + x[77]*k[86] + x[78]*k[84] + x[79]*k[85] + x[80]*k[86] + x[81]*k[84] + x[82]*k[85] + x[83]*k[86])/k[82],
  x[109] = (x[84]*k[84] + x[85]*k[85] + x[86]*k[86] + x[87]*k[84] + x[88]*k[85] + x[89]*k[86] + x[90]*k[84] + x[91]*k[85] + x[92]*k[86] + x[93]*k[84] + x[94]*k[85] + x[95]*k[86] + x[96]*k[84] + x[97]*k[85] + x[98]*k[86] + x[99]*k[84] + x[100]*k[85] + x[101]*k[86] + x[102]*k[84] + x[103]*k[85] + x[104]*k[86] + x[105]*k[84] + x[106]*k[85] + x[107]*k[86])/k[82],
  x[110] = (x[60]*k[84] + x[61]*k[85] + x[62]*k[86] + x[63]*k[84] + x[64]*k[85] + x[65]*k[86] + x[66]*k[84] + x[67]*k[85] + x[68]*k[86] + x[69]*k[84] + x[70]*k[85] + x[71]*k[86] + x[84]*k[84] + x[85]*k[85] + x[86]*k[86] + x[87]*k[84] + x[88]*k[85] + x[89]*k[86] + x[90]*k[84] + x[91]*k[85] + x[92]*k[86] + x[93]*k[84] + x[94]*k[85] + x[95]*k[86])/k[82],
  x[111] = (x[72]*k[84] + x[73]*k[85] + x[74]*k[86] + x[75]*k[84] + x[76]*k[85] + x[77]*k[86] + x[78]*k[84] + x[79]*k[85] + x[80]*k[86] + x[81]*k[84] + x[82]*k[85] + x[83]*k[86] + x[96]*k[84] + x[97]*k[85] + x[98]*k[86] + x[99]*k[84] + x[100]*k[85] + x[101]*k[86] + x[102]*k[84] + x[103]*k[85] + x[104]*k[86] + x[105]*k[84] + x[106]*k[85] + x[107]*k[86])/k[82],
  x[112] = (x[60]*k[84] + x[61]*k[85] + x[62]*k[86] + x[63]*k[84] + x[64]*k[85] + x[65]*k[86] + x[72]*k[84] + x[73]*k[85] + x[74]*k[86] + x[75]*k[84] + x[76]*k[85] + x[77]*k[86] + x[84]*k[84] + x[85]*k[85] + x[86]*k[86] + x[87]*k[84] + x[88]*k[85] + x[89]*k[86] + x[96]*k[84] + x[97]*k[85] + x[98]*k[86] + x[99]*k[84] + x[100]*k[85] + x[101]*k[86])/k[82],
  x[113] = (x[66]*k[84] + x[67]*k[85] + x[68]*k[86] + x[69]*k[84] + x[70]*k[85] + x[71]*k[86] + x[78]*k[84] + x[79]*k[85] + x[80]*k[86] + x[81]*k[84] + x[82]*k[85] + x[83]*k[86] + x[90]*k[84] + x[91]*k[85] + x[92]*k[86] + x[93]*k[84] + x[94]*k[85] + x[95]*k[86] + x[102]*k[84] + x[103]*k[85] + x[104]*k[86] + x[105]*k[84] + x[106]*k[85] + x[107]*k[86])/k[82],
  x[114] = (x[60]*k[84] + x[61]*k[85] + x[62]*k[86] + x[66]*k[84] + x[67]*k[85] + x[68]*k[86] + x[72]*k[84] + x[73]*k[85] + x[74]*k[86] + x[78]*k[84] + x[79]*k[85] + x[80]*k[86] + x[84]*k[84] + x[85]*k[85] + x[86]*k[86] + x[90]*k[84] + x[91]*k[85] + x[92]*k[86] + x[96]*k[84] + x[97]*k[85] + x[98]*k[86] + x[102]*k[84] + x[103]*k[85] + x[104]*k[86])/k[82],
  x[115] = (x[63]*k[84] + x[64]*k[85] + x[65]*k[86] + x[69]*k[84] + x[70]*k[85] + x[71]*k[86] + x[75]*k[84] + x[76]*k[85] + x[77]*k[86] + x[81]*k[84] + x[82]*k[85] + x[83]*k[86] + x[87]*k[84] + x[88]*k[85] + x[89]*k[86] + x[93]*k[84] + x[94]*k[85] + x[95]*k[86] + x[99]*k[84] + x[100]*k[85] + x[101]*k[86] + x[105]*k[84] + x[106]*k[85] + x[107]*k[86])/k[82],
  x[116] = (x[60]*k[84] + x[63]*k[84] + x[66]*k[84] + x[69]*k[84] + x[72]*k[84] + x[75]*k[84] + x[78]*k[84] + x[81]*k[84] + x[84]*k[84] + x[87]*k[84] + x[90]*k[84] + x[93]*k[84] + x[96]*k[84] + x[99]*k[84] + x[102]*k[84] + x[105]*k[84])/k[82],
  x[117] = (x[61]*k[85] + x[64]*k[85] + x[67]*k[85] + x[70]*k[85] + x[73]*k[85] + x[76]*k[85] + x[79]*k[85] + x[82]*k[85] + x[85]*k[85] + x[88]*k[85] + x[91]*k[85] + x[94]*k[85] + x[97]*k[85] + x[100]*k[85] + x[103]*k[85] + x[106]*k[85])/k[82],
  x[118] = (x[62]*k[86] + x[65]*k[86] + x[68]*k[86] + x[71]*k[86] + x[74]*k[86] + x[77]*k[86] + x[80]*k[86] + x[83]*k[86] + x[86]*k[86] + x[89]*k[86] + x[92]*k[86] + x[95]*k[86] + x[98]*k[86] + x[101]*k[86] + x[104]*k[86] + x[107]*k[86])/k[82],
  x[119] = (x[116]*k[82] + x[117]*k[82] + x[118]*k[82])/k[82],
  1*x[13] + 1*x[30] = k[399],
  1*x[14] + 1*x[48] = k[400],
  1*x[15] + 1*x[16] = k[401],
  1*x[19] + 1*x[20] = k[402],
  1*x[21] + 1*x[22] = k[403],
  1*x[23] + 1*x[24] = k[404],
  1*x[25] + 1*x[26] = k[406] + k[405],
  1*x[27] + 1*x[32] = k[407],
  1*x[35] + 1*x[36] = k[408],
  1*x[38] + 1*x[39] + 1*x[40] = k[409],
  1*x[49] + 1*x[51] = k[410],
  1*x[50] + 1*x[53] = k[411],
  1*x[55] + 1*x[56] = k[412] ]