[ Eq(1*x1 + 1*x22 + 1*x23 + 1*x24 + 1*x25, k80),
  Eq(1*x2 + 1*x22 + 1*x23 + 1*x24 + 1*x25, k81),
  Eq(1*x3 + 1*x24, k82),
  Eq(1*x4 + 1*x5 + 1*x25 + 1*x26 + 1*x27 + 1*x28 + 1*x31, k83),
  Eq(1*x6 + 1*x12 + 1*x26 + 1*x32, k84),
  Eq(1*x7 + 1*x27, k85),
  Eq(1*x8 + 1*x9 + 1*x14 + 1*x28 + 1*x29 + 1*x32 + 1*x33 + 1*x34, k86),
  Eq(1*x10 + 1*x11 + 1*x31 + 1*x37 + 1*x38, k87),
  Eq(1*x13 + 1*x33 + 1*x35 + 1*x36, k88),
  Eq(1*x15 + 1*x16 + 1*x34, k89),
  Eq(1*x17 + 1*x36 + 1*x46 + 1*x47 + 1*x48, k90 + k91),
  Eq(1*x18 + 1*x37, k92),
  Eq(1*x19 + 1*x20 + 1*x38 + 1*x39 + 1*x40 + 1*x41 + 1*x42 + 1*x44 + 1*x45 + 1*x47 + 1*x50 + 1*x57 + 1*x58, k93 + k94),
  Eq(1*x21 + 1*x39 + 1*x41 + 1*x42, k95),
  Eq(1*x29 + 1*x30 + 1*x35 + 1*x53 + 1*x54 + 1*x55, k96),
  Eq(1*x29 + 1*x30 + 1*x35 + 1*x56, k97),
  Eq(1*x43 + 1*x44 + 1*x45 + 1*x47 + 1*x50, k98),
  Eq(1*x49 + 1*x50 + 1*x51 + 1*x52 + 1*x54, k100 + k99) ]