{ 1*k1*x2 + 1*k1*x37 = k1*k163,
  1*k2*x3 + 1*k2*x5 + 1*k2*x43 = k2*k164,
  1*k1*x7 + 1*k1*x13 + 1*k1*x45 = k1*k165,
  1*k1*x12 + 1*k1*x28 = k1*k166,
  1*k2*x14 + 1*k2*x27 = k2*k167,
  1*k2*x31 + 1*k2*x46 = k2*k168,
  1*k1*x35 + 1*k1*x40 = k1*k169 }