[ x[95] = x[45] + x[46] + x[48] + x[50] + x[72] + x[73] + x[74] + x[76],
  x[96] = x[42] + x[28] + x[70] + x[69],
  x[97] = x[51] + x[77],
  x[98] = x[59] + x[83],
  x[99] = x[33] + x[34] + x[35] + x[36] + x[37] + x[38] + x[39] + x[40] + x[91] + x[92] + x[93] + x[94] + x[64] + x[65] + x[66] + x[67] + x[68],
  x[100] = x[5] + x[7] + x[15] + x[23] + x[25] + x[27] + x[29] + x[32] + x[33] + x[34] + x[35] + x[36] + x[37] + x[88] + x[89] + x[90] + x[91] + x[92] + x[93] + x[94] + x[8] + x[11] + x[17] + x[18] + x[19] + x[20] + x[21] + x[63] + x[64] + x[65] + x[66] + x[67] + x[68],
  1*x[7] + 1*x[9] + 1*x[12] + 1*x[88] + 1*x[89] + 1*x[90] + 1*x[91] + 1*x[92] + 1*x[93] + 1*x[94] = k[95],
  1*x[7] + 1*x[14] + 1*x[15] + 1*x[17] + 1*x[18] + 1*x[19] + 1*x[20] + 1*x[21] + 1*x[23] + 1*x[25] + 1*x[27] + 1*x[29] + 1*x[32] + 1*x[33] + 1*x[34] + 1*x[35] + 1*x[36] + 1*x[37] + 1*x[63] + 1*x[64] + 1*x[65] + 1*x[66] + 1*x[67] + 1*x[68] + 1*x[88] + 1*x[89] + 1*x[90] + 1*x[91] + 1*x[92] + 1*x[93] + 1*x[94] = k[96] + k[97],
  1*x[7] + 1*x[18] + 1*x[19] + 1*x[20] + 1*x[21] + 1*x[22] + 1*x[23] + 1*x[25] + 1*x[27] + 1*x[29] + 1*x[30] + 1*x[34] + 1*x[35] + 1*x[36] + 1*x[37] + 1*x[38] + 1*x[39] + 1*x[65] + 1*x[66] + 1*x[67] + 1*x[68] + 1*x[88] + 1*x[89] + 1*x[90] + 1*x[91] + 1*x[92] + 1*x[93] + 1*x[94] = k[98],
  1*x[19] + 1*x[20] + 1*x[21] + 1*x[24] + 1*x[25] + 1*x[27] + 1*x[29] + 1*x[30] + 1*x[35] + 1*x[36] + 1*x[37] + 1*x[38] + 1*x[66] + 1*x[67] + 1*x[68] + 1*x[88] + 1*x[89] + 1*x[90] + 1*x[92] + 1*x[93] + 1*x[94] = k[99],
  1*x[20] + 1*x[21] + 1*x[26] + 1*x[27] + 1*x[28] + 1*x[29] + 1*x[36] + 1*x[37] + 1*x[42] + 1*x[43] + 1*x[67] + 1*x[68] + 1*x[69] + 1*x[70] + 1*x[71] + 1*x[89] + 1*x[90] + 1*x[93] + 1*x[94] = k[100],
  1*x[31] + 1*x[32] + 1*x[33] + 1*x[34] + 1*x[35] + 1*x[36] + 1*x[37] + 1*x[38] + 1*x[39] + 1*x[40] + 1*x[63] + 1*x[64] + 1*x[65] + 1*x[66] + 1*x[67] + 1*x[68] + 1*x[91] + 1*x[92] + 1*x[93] + 1*x[94] = k[101],
  1*x[41] + 1*x[42] + 1*x[45] + 1*x[46] + 1*x[48] + 1*x[50] + 1*x[70] + 1*x[72] + 1*x[73] + 1*x[74] + 1*x[76] = k[102],
  1*x[44] + 1*x[46] + 1*x[73] = k[103],
  1*x[47] + 1*x[48] + 1*x[49] + 1*x[50] + 1*x[51] + 1*x[52] + 1*x[54] + 1*x[56] + 1*x[58] + 1*x[74] + 1*x[75] + 1*x[76] + 1*x[77] + 1*x[78] + 1*x[79] + 1*x[80] + 1*x[82] = k[104],
  1*x[52] + 1*x[53] + 1*x[54] + 1*x[78] + 1*x[79] = k[105],
  1*x[55] + 1*x[56] + 1*x[57] + 1*x[58] + 1*x[59] + 1*x[61] + 1*x[62] + 1*x[80] + 1*x[81] + 1*x[82] + 1*x[83] + 1*x[84] + 1*x[85] = k[106],
  1*x[60] + 1*x[61] + 1*x[62] + 1*x[84] + 1*x[85] = k[107] ]