[ x[91] = x[6] + x[22] + x[10] + 2*x[30] + x[29] + x[9] + 2*x[106] + x[108] + x[7] + x[8] + 2*x[23] + x[21] + x[26] + 2*x[104] + x[107] + x[110],
  x[92] = x[77] + 2*x[85] + x[10] + x[80] + 2*x[102] + x[9] + x[98] + 2*x[78] + x[7] + x[76] + x[81] + 2*x[97] + x[8] + x[99] + x[103] + x[94],
  1*k[205]*x[3] + 1*k[205]*x[4] + 1*k[206]*x[7] + 1*k[206]*x[8] + 1*k[206]*x[9] + 1*k[206]*x[10] + 1*k[206]*x[74] + 1*k[206]*x[75] + 1*k[206]*x[76] + 1*k[206]*x[77] + 2*k[206]*x[78] + 1*k[206]*x[80] + 2*k[206]*x[81] + 2*k[206]*x[85] + 1*k[206]*x[86] + 1*k[206]*x[87] + 1*k[206]*x[88] + 1*k[206]*x[93] + 1*k[206]*x[94] + 1*k[206]*x[96] + 2*k[207]*x[97] + 1*k[207]*x[98] + 1*k[207]*x[99] + 1*k[207]*x[100] + 2*k[207]*x[102] + 2*k[207]*x[103] = k[205]*k[213] + k[206]*k[214] + k[207]*k[215],
  2*k[205]*x[3] + 2*k[205]*x[4] + 1*k[206]*x[15] + 1*k[206]*x[16] + 2*k[206]*x[17] + 2*k[206]*x[18] + 2*k[206]*x[19] + 2*k[206]*x[22] + 2*k[206]*x[24] + 2*k[206]*x[25] + 2*k[206]*x[33] + 2*k[206]*x[34] + 2*k[206]*x[37] + 2*k[206]*x[39] + 2*k[206]*x[45] + 2*k[206]*x[93] + 2*k[206]*x[94] + 1*k[206]*x[95] = k[205]*k[216] + k[206]*k[217],
  2*k[205]*x[3] + 2*k[206]*x[5] + 2*k[206]*x[6] + 2*k[206]*x[7] + 2*k[206]*x[8] + 2*k[206]*x[9] + 2*k[206]*x[10] + 2*k[206]*x[19] + 2*k[206]*x[20] + 2*k[206]*x[21] + 2*k[206]*x[22] + 4*k[206]*x[23] + 4*k[206]*x[26] + 2*k[206]*x[29] + 4*k[206]*x[30] + 2*k[206]*x[96] + 4*k[208]*x[104] + 4*k[208]*x[106] + 2*k[208]*x[107] + 2*k[208]*x[108] + 2*k[208]*x[109] + 4*k[208]*x[110] = k[205]*k[218] + k[206]*k[219] + k[208]*k[220],
  2*k[206]*x[5] + 2*k[206]*x[6] + 1*k[206]*x[14] + 1*k[206]*x[70] + 1*k[206]*x[71] + 2*k[206]*x[72] + 2*k[206]*x[73] + 2*k[206]*x[74] + 2*k[206]*x[77] + 2*k[206]*x[79] + 2*k[206]*x[84] + 2*k[206]*x[86] + 2*k[206]*x[87] + 2*k[206]*x[88] + 2*k[206]*x[96] = k[206]*k[221],
  2*k[206]*x[5] + 2*k[206]*x[6] + 1*k[206]*x[70] + 1*k[206]*x[71] + 2*k[206]*x[72] + 2*k[206]*x[73] + 2*k[206]*x[74] + 2*k[206]*x[77] + 2*k[206]*x[79] + 2*k[206]*x[84] + 2*k[206]*x[86] + 2*k[206]*x[87] + 2*k[206]*x[88] + 1*k[206]*x[89] + 2*k[206]*x[96] = k[206]*k[222],
  1*k[206]*x[9] + 1*k[207]*x[98] + 1*k[207]*x[102] + 1*k[208]*x[105] + 1*k[208]*x[106] + 1*k[208]*x[108] = k[206]*k[223] + k[207]*k[224] + k[208]*k[225],
  1*k[206]*x[10] + 1*k[206]*x[28] + 1*k[206]*x[29] + 1*k[206]*x[30] + 1*k[206]*x[80] + 1*k[206]*x[85] = k[206]*k[226],
  1*k[206]*x[25] + 1*k[206]*x[33] + 1*k[206]*x[34] + 1*k[206]*x[36] + 1*k[206]*x[37] + 1*k[206]*x[39] + 1*k[206]*x[45] + 1*k[206]*x[46] + 1*k[206]*x[48] + 1*k[206]*x[79] + 1*k[206]*x[87] + 1*k[206]*x[88] + 1*k[206]*x[90] = k[206]*k[227],
  1*k[206]*x[32] + 1*k[206]*x[34] + 1*k[206]*x[36] + 1*k[206]*x[37] + 1*k[206]*x[39] + 1*k[206]*x[45] + 1*k[206]*x[46] + 1*k[206]*x[47] = k[206]*k[228],
  1*k[206]*x[35] + 1*k[206]*x[37] + 1*k[206]*x[39] + 1*k[206]*x[45] + 1*k[206]*x[46] + 1*k[206]*x[47] = k[206]*k[229],
  1*k[206]*x[38] + 1*k[206]*x[39] + 1*k[206]*x[40] + 1*k[206]*x[42] + 1*k[206]*x[43] + 1*k[206]*x[45] = k[206]*k[230],
  1*k[206]*x[41] + 1*k[206]*x[42] + 1*k[206]*x[44] + 1*k[206]*x[50] + 1*k[206]*x[52] + 1*k[206]*x[54] = k[206]*k[231],
  1*k[206]*x[49] + 1*k[206]*x[50] = k[206]*k[232],
  1*k[206]*x[51] + 1*k[206]*x[52] + 1*k[206]*x[53] + 1*k[206]*x[54] + 1*k[206]*x[55] + 1*k[206]*x[56] + 1*k[206]*x[58] + 1*k[206]*x[60] + 1*k[206]*x[62] = k[206]*k[233],
  1*k[206]*x[56] + 1*k[206]*x[57] + 1*k[206]*x[58] = k[206]*k[234],
  1*k[206]*x[59] + 1*k[206]*x[60] + 1*k[206]*x[61] + 1*k[206]*x[62] + 1*k[206]*x[63] + 1*k[206]*x[65] + 1*k[206]*x[66] = k[206]*k[235],
  1*k[206]*x[64] + 1*k[206]*x[65] + 1*k[206]*x[66] = k[206]*k[236],
  1*k[206]*x[67] + 1*k[206]*x[68] + 2*k[206]*x[69] = k[206]*k[237] ]