{ 1*k1*x2 + 1*k1*x38 = k1*k169,
  2*k2*x3 + 1*k2*x4 + 1*k2*x5 + 1*k2*x6 + 1*k2*x10 + 1*k2*x16 + 1*k2*x20 + 1*k2*x23 + 1*k2*x25 + 2*k2*x33 + 1*k2*x34 + 1*k2*x39 + 1*k2*x42 = k2*k170,
  1*k2*x3 + 1*k2*x5 + 1*k2*x44 = k2*k171,
  1*k1*x7 + 1*k1*x14 + 1*k1*x46 = k1*k172,
  1*k1*x9 + 1*k1*x13 = k1*k173,
  1*k2*x15 + 1*k2*x28 = k2*k174,
  1*k2*x32 + 1*k2*x47 = k2*k175,
  1*k1*x36 + 1*k1*x41 = k1*k176 }