[ Eq(1*x1 + 1*x2 + 1*x4 + 1*x25, k61 + k62 + k63),
  Eq(1*x2 + 1*x3 + 1*x4, k64),
  Eq(1*x4 + 1*x5, k65),
  Eq(1*x6 + 1*x8 + 1*x10 + 2*x17 + 1*x35 + 2*x36 + 1*x42 + 1*x43 + 1*x44 + 2*x46 + 2*x47, k66),
  Eq(1*x6 + 1*x10 + 1*x15 + 1*x42 + 1*x43 + 1*x44, k67),
  Eq(1*x7 + 1*x10 + 1*x43 + 1*x44, k68),
  Eq(1*x8 + 1*x9, k69),
  Eq(1*x9 + 2*x11 + 1*x15 + 2*x28 + 1*x35, k70),
  Eq(1*x9 + 2*x13 + 1*x15 + 2*x16 + 2*x27 + 2*x28 + 2*x29 + 1*x35 + 2*x40, k71),
  Eq(4*x9 + 8*x13 + 4*x15 + 8*x23 + 8*x26 + 8*x27 + 8*x28 + 8*x29 + 8*x30 + 8*x31 + 8*x32 + 8*x33 + 8*x34 + 4*x35 + 8*x37 + 8*x38 + 8*x39 + 16*x40 + 8*x41 + 8*x47 + 8*x48 + 8*x50, k72 + k73),
  Eq(1*x9 + 1*x15 + 2*x16 + 2*x18 + 2*x27 + 2*x28 + 2*x29 + 1*x35 + 2*x40 + 2*x41, k74),
  Eq(4*x9 + 4*x15 + 8*x18 + 8*x23 + 8*x26 + 8*x27 + 8*x28 + 8*x29 + 8*x30 + 8*x31 + 8*x32 + 8*x33 + 8*x34 + 4*x35 + 8*x37 + 8*x38 + 8*x39 + 16*x40 + 16*x41 + 8*x47 + 8*x48 + 8*x50, k75 + k76),
  Eq(1*x10 + 1*x14 + 1*x44, k77),
  Eq(1*x11 + 1*x17 + 1*x28 + 1*x35 + 1*x36 + 1*x46 + 1*x47, k78),
  Eq(1*x12 + 1*x13 + 1*x29 + 1*x40, k79),
  Eq(1*x12 + 1*x18 + 1*x29 + 1*x40 + 1*x41, k80),
  Eq(1*x13 + 1*x16 + 1*x17 + 1*x27 + 1*x28 + 1*x29 + 1*x35 + 1*x36 + 1*x40 + 1*x46 + 1*x47, k81),
  Eq(1*x13 + 1*x17 + 1*x37 + 1*x40 + 1*x47, k82),
  Eq(1*x16 + 1*x17 + 1*x18 + 1*x27 + 1*x28 + 1*x29 + 1*x35 + 1*x36 + 1*x40 + 1*x41 + 1*x46 + 1*x47, k83),
  Eq(1*x17 + 1*x18 + 1*x37 + 1*x40 + 1*x41 + 1*x47, k84),
  Eq(1*x19 + 1*x23 + 1*x33 + 1*x34 + 1*x50, k85),
  Eq(1*x20 + 1*x23 + 1*x50, k86),
  Eq(1*x21 + 1*x23 + 1*x34 + 1*x50, k87),
  Eq(1*x22 + 1*x23 + 1*x32 + 1*x33 + 1*x34 + 1*x50, k88),
  Eq(1*x23 + 1*x24 + 1*x31 + 1*x32 + 1*x33 + 1*x34 + 1*x50, k89),
  Eq(1*x23 + 1*x26 + 1*x27 + 1*x28 + 1*x29 + 1*x30 + 1*x31 + 1*x32 + 1*x33 + 1*x34 + 1*x35 + 1*x36 + 1*x38 + 1*x39 + 1*x40 + 1*x41 + 1*x46 + 1*x47 + 1*x48 + 1*x50, k91 + k90),
  Eq(1*x45 + 1*x46 + 1*x47 + 1*x48, k92) ]