{ 1*k1*x3 + 1*k1*x4 = k1*k148,
  1*k1*x5 + 1*k1*x6 = k1*k149,
  1*k1*x7 + 1*k1*x8 = k1*k150,
  1*k1*x9 + 1*k1*x10 = k1*k151,
  1*k1*x11 + 1*k1*x12 + 1*k1*x59 + 1*k1*x60 + 1*k1*x61 + 1*k1*x62 + 1*k1*x63 + 1*k1*x64 + 1*k1*x65 + 1*k1*x66 + 1*k1*x67 + 1*k1*x68 = k1*k152,
  1*k1*x13 + 1*k1*x14 = k1*k153,
  1*k1*x15 + 1*k1*x16 = k1*k154,
  1*k1*x19 + 1*k1*x20 = k1*k155,
  1*k1*x22 + 1*k1*x23 = k1*k156,
  1*k1*x26 + 1*k1*x73 = k1*k157,
  1*k1*x29 + 1*k1*x30 = k1*k158,
  1*k1*x31 + 1*k1*x58 = k1*k159,
  1*k1*x33 + 1*k1*x34 = k1*k160,
  1*k1*x44 + 1*k1*x45 = k1*k161,
  1*k1*x46 + 1*k1*x47 = k1*k162,
  1*k1*x48 + 1*k1*x49 = k1*k163,
  1*k1*x50 + 1*k1*x51 = k1*k164,
  1*k1*x52 + 1*k1*x53 = k1*k165,
  1*k1*x54 + 1*k1*x55 + 1*k1*x75 = k1*k166,
  1*k1*x69 + 1*k1*x70 = k1*k167,
  1*k1*x71 + 1*k1*x72 = k1*k168,
  1*k1*x74 + 1*k1*x75 = k1*k169 }