[ Eq(1*k223*x5 + 1*k223*x6 + 1*k223*x7 + 1*k223*x8 + 1*k223*x9 + 1*k223*x10 + 1*k223*x17 + 1*k223*x18 + 1*k223*x58, k223*k247),
  Eq(1*k223*x9 + 1*k223*x10 + 1*k223*x18 + 1*k223*x23 + 1*k223*x25 + 1*k223*x57, k223*k248),
  Eq(1*k223*x9 + 1*k223*x10 + 1*k223*x18 + 1*k223*x24 + 1*k223*x25 + 1*k223*x57 + 1*k223*x59, k223*k249),
  Eq(1*k223*x11 + 1*k223*x12 + 1*k223*x13 + 1*k223*x14 + 1*k223*x15 + 1*k223*x16 + 1*k223*x19 + 1*k223*x60, k223*k250),
  Eq(1*k223*x15 + 1*k223*x16 + 1*k223*x20 + 1*k223*x53, k223*k251),
  Eq(1*k223*x15 + 1*k223*x16 + 1*k223*x20 + 1*k223*x54, k223*k252),
  Eq(1*k223*x21 + 1*k223*x22 + 1*k223*x55, k223*k253),
  Eq(1*k223*x26 + 1*k223*x27 + 1*k223*x28 + 1*k223*x50, k223*k254),
  Eq(1*k223*x28 + 1*k223*x29 + 1*k223*x51, k223*k255),
  Eq(1*k223*x30 + 1*k223*x50, k223*k256),
  Eq(1*k223*x31 + 1*k223*x51 + 1*k223*x52, k223*k257),
  Eq(1*k223*x55 + 1*k223*x56, k223*k258),
  Eq(1*k223*x61 + 1*k223*x63 + 1*k223*x64 + 1*k223*x65 + 1*k223*x66 + 1*k224*x75 + 1*k224*x76, k223*k259 + k224*k260),
  Eq(1*k224*x72 + 1*k224*x73 + 1*k224*x74, k224*k261) ]