[ 1*k[1]*x[3] + 1*k[1]*x[4] = k[1]*k[148],
  1*k[1]*x[5] + 1*k[1]*x[6] = k[1]*k[149],
  1*k[1]*x[7] + 1*k[1]*x[8] = k[1]*k[150],
  1*k[1]*x[9] + 1*k[1]*x[10] = k[1]*k[151],
  1*k[1]*x[11] + 1*k[1]*x[12] + 1*k[1]*x[59] + 1*k[1]*x[60] + 1*k[1]*x[61] + 1*k[1]*x[62] + 1*k[1]*x[63] + 1*k[1]*x[64] + 1*k[1]*x[65] + 1*k[1]*x[66] + 1*k[1]*x[67] + 1*k[1]*x[68] = k[1]*k[152],
  1*k[1]*x[13] + 1*k[1]*x[14] = k[1]*k[153],
  1*k[1]*x[15] + 1*k[1]*x[16] = k[1]*k[154],
  1*k[1]*x[19] + 1*k[1]*x[20] = k[1]*k[155],
  1*k[1]*x[22] + 1*k[1]*x[23] = k[1]*k[156],
  1*k[1]*x[26] + 1*k[1]*x[73] = k[1]*k[157],
  1*k[1]*x[29] + 1*k[1]*x[30] = k[1]*k[158],
  1*k[1]*x[31] + 1*k[1]*x[58] = k[1]*k[159],
  1*k[1]*x[33] + 1*k[1]*x[34] = k[1]*k[160],
  1*k[1]*x[44] + 1*k[1]*x[45] = k[1]*k[161],
  1*k[1]*x[46] + 1*k[1]*x[47] = k[1]*k[162],
  1*k[1]*x[48] + 1*k[1]*x[49] = k[1]*k[163],
  1*k[1]*x[50] + 1*k[1]*x[51] = k[1]*k[164],
  1*k[1]*x[52] + 1*k[1]*x[53] = k[1]*k[165],
  1*k[1]*x[54] + 1*k[1]*x[55] + 1*k[1]*x[75] = k[1]*k[166],
  1*k[1]*x[69] + 1*k[1]*x[70] = k[1]*k[167],
  1*k[1]*x[71] + 1*k[1]*x[72] = k[1]*k[168],
  1*k[1]*x[74] + 1*k[1]*x[75] = k[1]*k[169] ]