[ Eq(x6, x1 + x3 + x2 + x4 + x5),
  Eq(x7, x3 + x4),
  Eq(x14, x11 + x13),
  Eq(x19, x16 + x15 + x18),
  Eq(x26, x17 + x18),
  Eq(x27, x24 + x23 + x22 + x25),
  Eq(x30, x29 + x28 + x38 + x33 + x37),
  Eq(x34, x31 + x38 + x33 + x37),
  Eq(x35, x32 + x37 + x33),
  Eq(x36, x21 + x20 + x23 + x22 + x25),
  Eq(x39, x1 + x2 + x5),
  Eq(1*k52*x1 + 1*k52*x2 + 1*k52*x3 + 1*k52*x4 + 1*k52*x5, k52*k53),
  Eq(1*k52*x8 + 1*k52*x9 + 1*k52*x10 + 1*k52*x11 + 1*k52*x13, k52*k54),
  Eq(1*k52*x11 + 1*k52*x12 + 1*k52*x13, k52*k55),
  Eq(1*k52*x15 + 1*k52*x16 + 1*k52*x18, k52*k56),
  Eq(1*k52*x17 + 1*k52*x18, k52*k57),
  Eq(1*k52*x20 + 1*k52*x21 + 1*k52*x22 + 1*k52*x23 + 1*k52*x25, k52*k58),
  Eq(1*k52*x22 + 1*k52*x23 + 1*k52*x24 + 1*k52*x25, k52*k59),
  Eq(1*k52*x28 + 1*k52*x29 + 1*k52*x33 + 1*k52*x37 + 1*k52*x38, k52*k60),
  Eq(1*k52*x31 + 1*k52*x33 + 1*k52*x37 + 1*k52*x38, k52*k61),
  Eq(1*k52*x32 + 1*k52*x33 + 1*k52*x37, k52*k62) ]