[ Eq(x88, x80 + x79),
  Eq(1*x7 + 1*x8 + 1*x11 + 1*x12 + 1*x13 + 1*x15 + 1*x16 + 1*x18 + 1*x19 + 1*x26 + 1*x55 + 1*x59, k189),
  Eq(1*x9 + 1*x10 + 1*x13 + 1*x16 + 1*x22 + 1*x33, k190),
  Eq(1*x14 + 1*x15 + 1*x16 + 1*x18 + 1*x19 + 1*x20 + 1*x21 + 1*x22 + 1*x23 + 1*x24 + 1*x26 + 1*x28 + 1*x55 + 1*x57 + 1*x59 + 1*x61, k191),
  Eq(1*x17 + 1*x18 + 1*x19 + 1*x20 + 1*x23 + 1*x24 + 1*x26 + 1*x28 + 1*x55 + 1*x56 + 1*x57 + 1*x59 + 1*x61, k192),
  Eq(1*x25 + 1*x26 + 1*x27 + 1*x28 + 1*x30 + 1*x32 + 1*x35, k193),
  Eq(1*x29 + 1*x30 + 1*x31 + 1*x32 + 1*x33, k194),
  Eq(1*x34 + 1*x35 + 1*x36 + 1*x38 + 1*x40 + 1*x48 + 1*x89, k195),
  Eq(1*x37 + 1*x38 + 1*x39 + 1*x40 + 1*x41 + 1*x43 + 1*x45 + 1*x50 + 1*x51, k196),
  Eq(1*x42 + 1*x43 + 1*x44 + 1*x45 + 1*x46 + 1*x53 + 1*x54 + 1*x55 + 1*x57, k197),
  Eq(1*x47 + 1*x48, k198),
  Eq(1*x49 + 1*x50 + 1*x51, k199),
  Eq(1*x52 + 1*x53 + 1*x54, k200),
  Eq(1*x59 + 1*x60 + 1*x61 + 1*x63 + 1*x107 + 1*x109, k201),
  Eq(1*x64 + 1*x65 + 1*x66 + 1*x67 + 1*x69 + 1*x70 + 1*x72 + 1*x108 + 1*x109, k202),
  Eq(1*x68 + 1*x69 + 1*x70, k203),
  Eq(1*x71 + 1*x72 + 1*x73 + 1*x75 + 1*x77 + 1*x78 + 1*x79 + 1*x84 + 1*x85 + 1*x86 + 1*x87, k204),
  Eq(1*x74 + 1*x75 + 1*x77 + 1*x78 + 1*x79 + 1*x80 + 1*x81 + 1*x82 + 1*x84 + 1*x85 + 1*x86 + 1*x87, k205),
  Eq(1*x76 + 1*x77 + 1*x78 + 1*x86 + 1*x87, k206),
  Eq(1*x81 + 1*x82 + 1*x83 + 1*x84 + 1*x85 + 1*x86 + 1*x87, k207),
  Eq(1*x94 + 1*x95 + 1*x96, k208),
  Eq(1*x101 + 1*x102 + 1*x105, k209) ]