{ x89 = x4 + x18 + x64 + 2*x26 + x25 + x63 + 2*x103 + x105 + x5 + x6 + 2*x19 + x17 + x22 + 2*x101 + x104 + x107,
  x90 = x75 + 2*x83 + x64 + x78 + 2*x99 + x63 + x95 + 2*x76 + x5 + x74 + x79 + 2*x94 + x6 + x96 + x100 + x92,
  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,
  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,
  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,
  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,
  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,
  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,
  1*k194*x24 + 1*k194*x25 + 1*k194*x26 + 1*k194*x64 + 1*k194*x78 + 1*k194*x83 = k194*k209,
  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,
  1*k194*x31 + 1*k194*x33 + 1*k194*x35 + 1*k194*x41 + 1*k194*x42 + 1*k194*x43 = k194*k211,
  1*k194*x34 + 1*k194*x35 + 1*k194*x36 + 1*k194*x38 + 1*k194*x39 + 1*k194*x41 = k194*k212,
  1*k194*x37 + 1*k194*x38 + 1*k194*x40 + 1*k194*x46 + 1*k194*x48 + 1*k194*x50 = k194*k213,
  1*k194*x45 + 1*k194*x46 = k194*k214,
  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,
  1*k194*x52 + 1*k194*x53 + 1*k194*x54 = k194*k216,
  1*k194*x55 + 1*k194*x56 + 1*k194*x57 + 1*k194*x58 + 1*k194*x59 + 1*k194*x61 + 1*k194*x62 = k194*k217,
  1*k194*x60 + 1*k194*x61 + 1*k194*x62 = k194*k218,
  1*k194*x63 + 1*k195*x95 + 1*k195*x99 + 1*k196*x102 + 1*k196*x103 + 1*k196*x105 = k194*k219 + k195*k220 + k196*k221,
  1*k194*x65 + 1*k194*x66 + 2*k194*x67 = k194*k222 }