[ Eq(1*k13*x1 + 1*k13*x3 + 1*k13*x4 + 1*k13*x6 + 1*k13*x10 + 1*k13*x12 + 1*k13*x16 + 1*k13*x28 + 1*k13*x30 + 1*k13*x33, k13*k65),
  Eq(1*k13*x2 + 1*k13*x3, k13*k66),
  Eq(1*k13*x7 + 1*k13*x9 + 1*k13*x10 + 1*k13*x12 + 1*k13*x16 + 1*k13*x28 + 1*k13*x30 + 1*k13*x33, k13*k67),
  Eq(1*k13*x8 + 1*k13*x9 + 1*k13*x10 + 1*k13*x12 + 1*k13*x16 + 1*k13*x28 + 1*k13*x30 + 1*k13*x33, k13*k68),
  Eq(1*k13*x11 + 1*k13*x12 + 1*k13*x16 + 1*k13*x28 + 1*k13*x30 + 1*k13*x33, k13*k69),
  Eq(1*k13*x13 + 1*k13*x15 + 1*k13*x16 + 1*k13*x28 + 1*k13*x30 + 1*k13*x33 + 1*k13*x46 + 1*k13*x47 + 1*k13*x48 + 1*k13*x49 + 1*k13*x50 + 1*k13*x51 + 1*k13*x52 + 1*k13*x53 + 1*k13*x54 + 1*k13*x55 + 1*k13*x56 + 1*k13*x57 + 1*k13*x58 + 1*k13*x59 + 1*k13*x60 + 1*k13*x61 + 1*k13*x62 + 1*k13*x63 + 1*k13*x64 + 1*k13*x65 + 1*k13*x66 + 1*k13*x67 + 1*k13*x68 + 1*k13*x69 + 1*k13*x70 + 1*k13*x71 + 1*k13*x72 + 1*k13*x73 + 1*k13*x74 + 1*k13*x75 + 1*k13*x76 + 1*k13*x77 + 1*k13*x78 + 1*k13*x79 + 1*k13*x80 + 1*k13*x81 + 1*k13*x82 + 1*k13*x83 + 1*k13*x84 + 1*k13*x85 + 1*k13*x86 + 1*k13*x87 + 1*k13*x88 + 1*k13*x89 + 1*k13*x90 + 1*k13*x91 + 1*k13*x92 + 1*k13*x93 + 1*k13*x94 + 1*k13*x95 + 1*k13*x96 + 1*k13*x97 + 1*k13*x98 + 1*k13*x99 + 1*k13*x100 + 1*k13*x101 + 1*k13*x102 + 1*k13*x103 + 1*k13*x104 + 1*k13*x105 + 1*k13*x106 + 1*k13*x107 + 1*k13*x108 + 1*k13*x109 + 1*k13*x110 + 1*k13*x111 + 1*k13*x112 + 1*k13*x113 + 1*k13*x114 + 1*k13*x115 + 1*k13*x116 + 1*k13*x117 + 1*k13*x118 + 1*k13*x119 + 1*k13*x120 + 1*k13*x121 + 1*k13*x122 + 1*k13*x123 + 1*k13*x124 + 1*k13*x125 + 1*k13*x126 + 1*k13*x127 + 1*k13*x128 + 1*k13*x129 + 1*k13*x130 + 1*k13*x131 + 1*k13*x132 + 1*k13*x133 + 1*k13*x134 + 1*k13*x135 + 1*k13*x136 + 1*k13*x137 + 1*k13*x138 + 1*k13*x139 + 1*k13*x140 + 1*k13*x141 + 1*k13*x142 + 1*k13*x143 + 1*k13*x144 + 1*k13*x145 + 1*k13*x146 + 1*k13*x147 + 1*k13*x148 + 1*k13*x149 + 1*k13*x150 + 1*k13*x151 + 1*k13*x152 + 1*k13*x153 + 1*k13*x154 + 1*k13*x155 + 1*k13*x156 + 1*k13*x157 + 1*k13*x158 + 1*k13*x159 + 1*k13*x160 + 1*k13*x165, k13*k70),
  Eq(1*k13*x14 + 1*k13*x15 + 1*k13*x16 + 1*k13*x28 + 1*k13*x30 + 1*k13*x33, k13*k71),
  Eq(1*k13*x17 + 1*k13*x19 + 1*k13*x23 + 1*k13*x27 + 1*k13*x28 + 1*k13*x30 + 1*k13*x33 + 1*k13*x166, k13*k72),
  Eq(1*k13*x18 + 1*k13*x19 + 1*k13*x23 + 1*k13*x27 + 1*k13*x28 + 1*k13*x30 + 1*k13*x33 + 1*k13*x166, k13*k73),
  Eq(1*k13*x20 + 1*k13*x22 + 1*k13*x23 + 1*k13*x27 + 1*k13*x28 + 1*k13*x30 + 1*k13*x33 + 1*k13*x166, k13*k74),
  Eq(1*k13*x21 + 1*k13*x22 + 1*k13*x23 + 1*k13*x27 + 1*k13*x28 + 1*k13*x30 + 1*k13*x33 + 1*k13*x166, k13*k75),
  Eq(1*k13*x24 + 1*k13*x27 + 1*k13*x28 + 1*k13*x30 + 1*k13*x33 + 1*k13*x166, k13*k76),
  Eq(1*k13*x25 + 1*k13*x27 + 1*k13*x28 + 1*k13*x30 + 1*k13*x33, k13*k77),
  Eq(1*k13*x29 + 1*k13*x30 + 1*k13*x33, k13*k78),
  Eq(1*k13*x31 + 1*k13*x32 + 1*k13*x33, k13*k79),
  Eq(1*k13*x34 + 1*k13*x46 + 1*k13*x47 + 1*k13*x48 + 1*k13*x49 + 1*k13*x50 + 1*k13*x51 + 1*k13*x52 + 1*k13*x53 + 1*k13*x54 + 1*k13*x55 + 1*k13*x56 + 1*k13*x57 + 1*k13*x58 + 1*k13*x59 + 1*k13*x60 + 1*k13*x61 + 1*k13*x62 + 1*k13*x63 + 1*k13*x64 + 1*k13*x65 + 1*k13*x66 + 1*k13*x67 + 1*k13*x68 + 1*k13*x69 + 1*k13*x70 + 1*k13*x71 + 1*k13*x72 + 1*k13*x73 + 1*k13*x74 + 1*k13*x75 + 1*k13*x76 + 1*k13*x77 + 1*k13*x78 + 1*k13*x79 + 1*k13*x80 + 1*k13*x81 + 1*k13*x82 + 1*k13*x83 + 1*k13*x84 + 1*k13*x85 + 1*k13*x86 + 1*k13*x87 + 1*k13*x88 + 1*k13*x89 + 1*k13*x90 + 1*k13*x91 + 1*k13*x92 + 1*k13*x93 + 1*k13*x94 + 1*k13*x95 + 1*k13*x96 + 1*k13*x97 + 1*k13*x98 + 1*k13*x99 + 1*k13*x100 + 1*k13*x101 + 1*k13*x102 + 1*k13*x103 + 1*k13*x104 + 1*k13*x105 + 1*k13*x106 + 1*k13*x107 + 1*k13*x108 + 1*k13*x109 + 1*k13*x110 + 1*k13*x111 + 1*k13*x112 + 1*k13*x113 + 1*k13*x114 + 1*k13*x115 + 1*k13*x116 + 1*k13*x117 + 1*k13*x118 + 1*k13*x119 + 1*k13*x120 + 1*k13*x121 + 1*k13*x122 + 1*k13*x123 + 1*k13*x124 + 1*k13*x125 + 1*k13*x126 + 1*k13*x127 + 1*k13*x128 + 1*k13*x129 + 1*k13*x130 + 1*k13*x131 + 1*k13*x132 + 1*k13*x133 + 1*k13*x134 + 1*k13*x135 + 1*k13*x136 + 1*k13*x137 + 1*k13*x138 + 1*k13*x139 + 1*k13*x140 + 1*k13*x141 + 1*k13*x142 + 1*k13*x143 + 1*k13*x144 + 1*k13*x145 + 1*k13*x146 + 1*k13*x147 + 1*k13*x148 + 1*k13*x149 + 1*k13*x150 + 1*k13*x151 + 1*k13*x152 + 1*k13*x153 + 1*k13*x154 + 1*k13*x155 + 1*k13*x156 + 1*k13*x157 + 1*k13*x158 + 1*k13*x159 + 1*k13*x160 + 1*k13*x165, k13*k80),
  Eq(1*k13*x35 + 1*k13*x37 + 1*k13*x38 + 1*k13*x40 + 1*k13*x47 + 1*k13*x51 + 1*k13*x57 + 1*k13*x63 + 1*k13*x69 + 1*k13*x75 + 1*k13*x81 + 1*k13*x87 + 1*k13*x93 + 1*k13*x99 + 1*k13*x105 + 1*k13*x111 + 1*k13*x117 + 1*k13*x123 + 1*k13*x129 + 1*k13*x135 + 1*k13*x141 + 1*k13*x147 + 1*k13*x153, k13*k81),
  Eq(1*k13*x36 + 1*k13*x37, k13*k82),
  Eq(1*k13*x41 + 1*k13*x42 + 1*k13*x49 + 1*k13*x53 + 1*k13*x59 + 1*k13*x65 + 1*k13*x71 + 1*k13*x77 + 1*k13*x83 + 1*k13*x89 + 1*k13*x95 + 1*k13*x101 + 1*k13*x107 + 1*k13*x113 + 1*k13*x119 + 1*k13*x125 + 1*k13*x131 + 1*k13*x137 + 1*k13*x143 + 1*k13*x149 + 1*k13*x155, k13*k83),
  Eq(1*k13*x43 + 1*k13*x44 + 1*k13*x55 + 1*k13*x61 + 1*k13*x67 + 1*k13*x73 + 1*k13*x79 + 1*k13*x85 + 1*k13*x91 + 1*k13*x97 + 1*k13*x103 + 1*k13*x109 + 1*k13*x115 + 1*k13*x121 + 1*k13*x127 + 1*k13*x133 + 1*k13*x139 + 1*k13*x145 + 1*k13*x151 + 1*k13*x157 + 1*k13*x160, k13*k84),
  Eq(1*k13*x161 + 1*k13*x162 + 1*k13*x164 + 1*k13*x165, k13*k85),
  Eq(1*k13*x163 + 1*k13*x164 + 1*k13*x165, k13*k86) ]