[ x[89] = x[4] + x[18] + x[64] + 2*x[26] + x[25] + x[63] + 2*x[103] + x[105] + x[5] + x[6] + 2*x[19] + x[17] + x[22] + 2*x[101] + x[104] + x[107],
  x[90] = x[75] + 2*x[83] + x[64] + x[78] + 2*x[99] + x[63] + x[95] + 2*x[76] + x[5] + x[74] + x[79] + 2*x[94] + x[6] + x[96] + x[100] + x[92],
  2*k[194]*x[3] + 2*k[194]*x[4] + 2*k[194]*x[5] + 2*k[194]*x[6] + 2*k[194]*x[15] + 2*k[194]*x[16] + 2*k[194]*x[17] + 2*k[194]*x[18] + 4*k[194]*x[19] + 4*k[194]*x[22] + 2*k[194]*x[25] + 4*k[194]*x[26] + 2*k[194]*x[63] + 2*k[194]*x[64] + 4*k[196]*x[101] + 4*k[196]*x[103] + 2*k[196]*x[104] + 2*k[196]*x[105] + 2*k[196]*x[106] + 4*k[196]*x[107] = k[194]*k[201] + k[196]*k[202],
  2*k[194]*x[3] + 2*k[194]*x[4] + 1*k[194]*x[10] + 1*k[194]*x[68] + 1*k[194]*x[69] + 2*k[194]*x[70] + 2*k[194]*x[71] + 2*k[194]*x[72] + 2*k[194]*x[75] + 2*k[194]*x[77] + 2*k[194]*x[82] + 2*k[194]*x[84] + 2*k[194]*x[85] + 2*k[194]*x[86] = k[194]*k[203],
  2*k[194]*x[3] + 2*k[194]*x[4] + 1*k[194]*x[68] + 1*k[194]*x[69] + 2*k[194]*x[70] + 2*k[194]*x[71] + 2*k[194]*x[72] + 2*k[194]*x[75] + 2*k[194]*x[77] + 2*k[194]*x[82] + 2*k[194]*x[84] + 2*k[194]*x[85] + 2*k[194]*x[86] + 1*k[194]*x[87] = k[194]*k[204],
  1*k[194]*x[5] + 1*k[194]*x[6] + 1*k[194]*x[63] + 1*k[194]*x[64] + 1*k[194]*x[72] + 1*k[194]*x[73] + 1*k[194]*x[74] + 1*k[194]*x[75] + 2*k[194]*x[76] + 1*k[194]*x[78] + 2*k[194]*x[79] + 2*k[194]*x[83] + 1*k[194]*x[84] + 1*k[194]*x[85] + 1*k[194]*x[86] + 1*k[194]*x[91] + 1*k[194]*x[92] + 2*k[195]*x[94] + 1*k[195]*x[95] + 1*k[195]*x[96] + 1*k[195]*x[97] + 2*k[195]*x[99] + 2*k[195]*x[100] = k[194]*k[205] + k[195]*k[206],
  1*k[194]*x[11] + 1*k[194]*x[12] + 2*k[194]*x[13] + 2*k[194]*x[14] + 2*k[194]*x[15] + 2*k[194]*x[18] + 2*k[194]*x[20] + 2*k[194]*x[21] + 2*k[194]*x[29] + 2*k[194]*x[30] + 2*k[194]*x[33] + 2*k[194]*x[35] + 2*k[194]*x[41] + 2*k[194]*x[91] + 2*k[194]*x[92] + 1*k[194]*x[93] = k[194]*k[207],
  1*k[194]*x[21] + 1*k[194]*x[29] + 1*k[194]*x[30] + 1*k[194]*x[32] + 1*k[194]*x[33] + 1*k[194]*x[35] + 1*k[194]*x[41] + 1*k[194]*x[42] + 1*k[194]*x[44] + 1*k[194]*x[77] + 1*k[194]*x[85] + 1*k[194]*x[86] + 1*k[194]*x[88] = k[194]*k[208],
  1*k[194]*x[24] + 1*k[194]*x[25] + 1*k[194]*x[26] + 1*k[194]*x[64] + 1*k[194]*x[78] + 1*k[194]*x[83] = k[194]*k[209],
  1*k[194]*x[28] + 1*k[194]*x[30] + 1*k[194]*x[32] + 1*k[194]*x[33] + 1*k[194]*x[35] + 1*k[194]*x[41] + 1*k[194]*x[42] + 1*k[194]*x[43] = k[194]*k[210],
  1*k[194]*x[31] + 1*k[194]*x[33] + 1*k[194]*x[35] + 1*k[194]*x[41] + 1*k[194]*x[42] + 1*k[194]*x[43] = k[194]*k[211],
  1*k[194]*x[34] + 1*k[194]*x[35] + 1*k[194]*x[36] + 1*k[194]*x[38] + 1*k[194]*x[39] + 1*k[194]*x[41] = k[194]*k[212],
  1*k[194]*x[37] + 1*k[194]*x[38] + 1*k[194]*x[40] + 1*k[194]*x[46] + 1*k[194]*x[48] + 1*k[194]*x[50] = k[194]*k[213],
  1*k[194]*x[45] + 1*k[194]*x[46] = k[194]*k[214],
  1*k[194]*x[47] + 1*k[194]*x[48] + 1*k[194]*x[49] + 1*k[194]*x[50] + 1*k[194]*x[51] + 1*k[194]*x[52] + 1*k[194]*x[54] + 1*k[194]*x[56] + 1*k[194]*x[58] = k[194]*k[215],
  1*k[194]*x[52] + 1*k[194]*x[53] + 1*k[194]*x[54] = k[194]*k[216],
  1*k[194]*x[55] + 1*k[194]*x[56] + 1*k[194]*x[57] + 1*k[194]*x[58] + 1*k[194]*x[59] + 1*k[194]*x[61] + 1*k[194]*x[62] = k[194]*k[217],
  1*k[194]*x[60] + 1*k[194]*x[61] + 1*k[194]*x[62] = k[194]*k[218],
  1*k[194]*x[63] + 1*k[195]*x[95] + 1*k[195]*x[99] + 1*k[196]*x[102] + 1*k[196]*x[103] + 1*k[196]*x[105] = k[194]*k[219] + k[195]*k[220] + k[196]*k[221],
  1*k[194]*x[65] + 1*k[194]*x[66] + 2*k[194]*x[67] = k[194]*k[222] ]