[ Eq(1*x8 + 1*x9 + 1*x10 + 1*x11, k121),
  Eq(1*x10 + 1*x11 + 1*x13 + 1*x14 + 1*x15 + 1*x16, k122),
  Eq(1*x17 + 1*x18, k123),
  Eq(1*x22 + 1*x29 + 1*x30, k124),
  Eq(1*x24 + 1*x25, k125),
  Eq(1*x31 + 1*x32, k126),
  Eq(1*x37 + 1*x38, k127),
  Eq(1*x39 + 1*x40 + 1*x41, k128),
  Eq(1*x41 + 1*x44 + 1*x45, k129),
  Eq(1*x42 + 1*x43 + 1*x44, k130),
  Eq(1*x51 + 1*x52 + 1*x53 + 1*x54 + 1*x55 + 1*x62, k131 + k132) ]