{ 1*k1*x5 + 1*k1*x42 = k1*k196,
  2*k2*x6 + 1*k2*x7 + 1*k2*x8 + 1*k2*x9 + 1*k2*x13 + 1*k2*x20 + 1*k2*x24 + 1*k2*x27 + 1*k2*x29 + 2*k2*x37 + 1*k2*x38 + 1*k2*x43 + 1*k2*x46 = k2*k197,
  1*k2*x6 + 1*k2*x8 + 1*k2*x48 = k2*k198,
  1*k1*x10 + 1*k1*x18 + 1*k1*x50 = k1*k199,
  1*k1*x12 + 1*k1*x17 = k1*k200,
  1*k2*x19 + 1*k2*x32 = k2*k201,
  1*k2*x36 + 1*k2*x51 = k2*k202,
  1*k1*x40 + 1*k1*x45 = k1*k203 }