[ Eq(x89, x4 + x18 + x64 + 2*x26 + x25 + x63 + 2*x103 + x105 + x5 + x6 + 2*x19 + x17 + x22 + 2*x101 + x104 + x107),
  Eq(x90, x75 + 2*x83 + x64 + x78 + 2*x99 + x63 + x95 + 2*x76 + x5 + x74 + x79 + 2*x94 + x6 + x96 + x100 + x92),
  Eq(2*k194*x3 + 2*k194*x4 + 2*k194*x5 + 2*k194*x6 + 2*k194*x15 + 2*k194*x16 + 2*k194*x17 + 2*k194*x18 + 4*k194*x19 + 4*k194*x22 + 2*k194*x25 + 4*k194*x26 + 2*k194*x63 + 2*k194*x64 + 4*k196*x101 + 4*k196*x103 + 2*k196*x104 + 2*k196*x105 + 2*k196*x106 + 4*k196*x107, k194*k201 + k196*k202),
  Eq(2*k194*x3 + 2*k194*x4 + 1*k194*x10 + 1*k194*x68 + 1*k194*x69 + 2*k194*x70 + 2*k194*x71 + 2*k194*x72 + 2*k194*x75 + 2*k194*x77 + 2*k194*x82 + 2*k194*x84 + 2*k194*x85 + 2*k194*x86, k194*k203),
  Eq(2*k194*x3 + 2*k194*x4 + 1*k194*x68 + 1*k194*x69 + 2*k194*x70 + 2*k194*x71 + 2*k194*x72 + 2*k194*x75 + 2*k194*x77 + 2*k194*x82 + 2*k194*x84 + 2*k194*x85 + 2*k194*x86 + 1*k194*x87, k194*k204),
  Eq(1*k194*x5 + 1*k194*x6 + 1*k194*x63 + 1*k194*x64 + 1*k194*x72 + 1*k194*x73 + 1*k194*x74 + 1*k194*x75 + 2*k194*x76 + 1*k194*x78 + 2*k194*x79 + 2*k194*x83 + 1*k194*x84 + 1*k194*x85 + 1*k194*x86 + 1*k194*x91 + 1*k194*x92 + 2*k195*x94 + 1*k195*x95 + 1*k195*x96 + 1*k195*x97 + 2*k195*x99 + 2*k195*x100, k194*k205 + k195*k206),
  Eq(1*k194*x11 + 1*k194*x12 + 2*k194*x13 + 2*k194*x14 + 2*k194*x15 + 2*k194*x18 + 2*k194*x20 + 2*k194*x21 + 2*k194*x29 + 2*k194*x30 + 2*k194*x33 + 2*k194*x35 + 2*k194*x41 + 2*k194*x91 + 2*k194*x92 + 1*k194*x93, k194*k207),
  Eq(1*k194*x21 + 1*k194*x29 + 1*k194*x30 + 1*k194*x32 + 1*k194*x33 + 1*k194*x35 + 1*k194*x41 + 1*k194*x42 + 1*k194*x44 + 1*k194*x77 + 1*k194*x85 + 1*k194*x86 + 1*k194*x88, k194*k208),
  Eq(1*k194*x24 + 1*k194*x25 + 1*k194*x26 + 1*k194*x64 + 1*k194*x78 + 1*k194*x83, k194*k209),
  Eq(1*k194*x28 + 1*k194*x30 + 1*k194*x32 + 1*k194*x33 + 1*k194*x35 + 1*k194*x41 + 1*k194*x42 + 1*k194*x43, k194*k210),
  Eq(1*k194*x31 + 1*k194*x33 + 1*k194*x35 + 1*k194*x41 + 1*k194*x42 + 1*k194*x43, k194*k211),
  Eq(1*k194*x34 + 1*k194*x35 + 1*k194*x36 + 1*k194*x38 + 1*k194*x39 + 1*k194*x41, k194*k212),
  Eq(1*k194*x37 + 1*k194*x38 + 1*k194*x40 + 1*k194*x46 + 1*k194*x48 + 1*k194*x50, k194*k213),
  Eq(1*k194*x45 + 1*k194*x46, k194*k214),
  Eq(1*k194*x47 + 1*k194*x48 + 1*k194*x49 + 1*k194*x50 + 1*k194*x51 + 1*k194*x52 + 1*k194*x54 + 1*k194*x56 + 1*k194*x58, k194*k215),
  Eq(1*k194*x52 + 1*k194*x53 + 1*k194*x54, k194*k216),
  Eq(1*k194*x55 + 1*k194*x56 + 1*k194*x57 + 1*k194*x58 + 1*k194*x59 + 1*k194*x61 + 1*k194*x62, k194*k217),
  Eq(1*k194*x60 + 1*k194*x61 + 1*k194*x62, k194*k218),
  Eq(1*k194*x63 + 1*k195*x95 + 1*k195*x99 + 1*k196*x102 + 1*k196*x103 + 1*k196*x105, k194*k219 + k195*k220 + k196*k221),
  Eq(1*k194*x65 + 1*k194*x66 + 2*k194*x67, k194*k222) ]