[ Eq(x91, x6 + x22 + x10 + 2*x30 + x29 + x9 + 2*x106 + x108 + x7 + x8 + 2*x23 + x21 + x26 + 2*x104 + x107 + x110),
  Eq(x92, x77 + 2*x85 + x10 + x80 + 2*x102 + x9 + x98 + 2*x78 + x7 + x76 + x81 + 2*x97 + x8 + x99 + x103 + x94),
  Eq(1*k205*x3 + 1*k205*x4 + 1*k206*x7 + 1*k206*x8 + 1*k206*x9 + 1*k206*x10 + 1*k206*x74 + 1*k206*x75 + 1*k206*x76 + 1*k206*x77 + 2*k206*x78 + 1*k206*x80 + 2*k206*x81 + 2*k206*x85 + 1*k206*x86 + 1*k206*x87 + 1*k206*x88 + 1*k206*x93 + 1*k206*x94 + 1*k206*x96 + 2*k207*x97 + 1*k207*x98 + 1*k207*x99 + 1*k207*x100 + 2*k207*x102 + 2*k207*x103, k205*k213 + k206*k214 + k207*k215),
  Eq(2*k205*x3 + 2*k205*x4 + 1*k206*x15 + 1*k206*x16 + 2*k206*x17 + 2*k206*x18 + 2*k206*x19 + 2*k206*x22 + 2*k206*x24 + 2*k206*x25 + 2*k206*x33 + 2*k206*x34 + 2*k206*x37 + 2*k206*x39 + 2*k206*x45 + 2*k206*x93 + 2*k206*x94 + 1*k206*x95, k205*k216 + k206*k217),
  Eq(2*k205*x3 + 2*k206*x5 + 2*k206*x6 + 2*k206*x7 + 2*k206*x8 + 2*k206*x9 + 2*k206*x10 + 2*k206*x19 + 2*k206*x20 + 2*k206*x21 + 2*k206*x22 + 4*k206*x23 + 4*k206*x26 + 2*k206*x29 + 4*k206*x30 + 2*k206*x96 + 4*k208*x104 + 4*k208*x106 + 2*k208*x107 + 2*k208*x108 + 2*k208*x109 + 4*k208*x110, k205*k218 + k206*k219 + k208*k220),
  Eq(2*k206*x5 + 2*k206*x6 + 1*k206*x14 + 1*k206*x70 + 1*k206*x71 + 2*k206*x72 + 2*k206*x73 + 2*k206*x74 + 2*k206*x77 + 2*k206*x79 + 2*k206*x84 + 2*k206*x86 + 2*k206*x87 + 2*k206*x88 + 2*k206*x96, k206*k221),
  Eq(2*k206*x5 + 2*k206*x6 + 1*k206*x70 + 1*k206*x71 + 2*k206*x72 + 2*k206*x73 + 2*k206*x74 + 2*k206*x77 + 2*k206*x79 + 2*k206*x84 + 2*k206*x86 + 2*k206*x87 + 2*k206*x88 + 1*k206*x89 + 2*k206*x96, k206*k222),
  Eq(1*k206*x9 + 1*k207*x98 + 1*k207*x102 + 1*k208*x105 + 1*k208*x106 + 1*k208*x108, k206*k223 + k207*k224 + k208*k225),
  Eq(1*k206*x10 + 1*k206*x28 + 1*k206*x29 + 1*k206*x30 + 1*k206*x80 + 1*k206*x85, k206*k226),
  Eq(1*k206*x25 + 1*k206*x33 + 1*k206*x34 + 1*k206*x36 + 1*k206*x37 + 1*k206*x39 + 1*k206*x45 + 1*k206*x46 + 1*k206*x48 + 1*k206*x79 + 1*k206*x87 + 1*k206*x88 + 1*k206*x90, k206*k227),
  Eq(1*k206*x32 + 1*k206*x34 + 1*k206*x36 + 1*k206*x37 + 1*k206*x39 + 1*k206*x45 + 1*k206*x46 + 1*k206*x47, k206*k228),
  Eq(1*k206*x35 + 1*k206*x37 + 1*k206*x39 + 1*k206*x45 + 1*k206*x46 + 1*k206*x47, k206*k229),
  Eq(1*k206*x38 + 1*k206*x39 + 1*k206*x40 + 1*k206*x42 + 1*k206*x43 + 1*k206*x45, k206*k230),
  Eq(1*k206*x41 + 1*k206*x42 + 1*k206*x44 + 1*k206*x50 + 1*k206*x52 + 1*k206*x54, k206*k231),
  Eq(1*k206*x49 + 1*k206*x50, k206*k232),
  Eq(1*k206*x51 + 1*k206*x52 + 1*k206*x53 + 1*k206*x54 + 1*k206*x55 + 1*k206*x56 + 1*k206*x58 + 1*k206*x60 + 1*k206*x62, k206*k233),
  Eq(1*k206*x56 + 1*k206*x57 + 1*k206*x58, k206*k234),
  Eq(1*k206*x59 + 1*k206*x60 + 1*k206*x61 + 1*k206*x62 + 1*k206*x63 + 1*k206*x65 + 1*k206*x66, k206*k235),
  Eq(1*k206*x64 + 1*k206*x65 + 1*k206*x66, k206*k236),
  Eq(1*k206*x67 + 1*k206*x68 + 2*k206*x69, k206*k237) ]