#  MINLP written by GAMS Convert at 01/12/18 13:36:49
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#        634      418        0      216        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        993      393      600        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#       6362     1418     4944        0
# 
#  Reformulation has removed 1 variable and 1 equation


var x1 := 0.0347222222222222, >= 0.00347222222222222;
var x2 := 0.0347222222222222, >= 0.00347222222222222;
var x3 := 0.0347222222222222, >= 0.00347222222222222;
var x4 := 0.0347222222222222, >= 0.00347222222222222;
var x5 := 0.0347222222222222, >= 0.00347222222222222;
var x6 := 0.0347222222222222, >= 0.00347222222222222;
var x7 := 0.0347222222222222, >= 0.00347222222222222;
var x8 := 0.0347222222222222, >= 0.00347222222222222;
var x9 := 0.0347222222222222, >= 0.00347222222222222;
var x10 := 0.0347222222222222, >= 0.00347222222222222;
var x11 := 0.0347222222222222, >= 0.00347222222222222;
var x12 := 0.0347222222222222, >= 0.00347222222222222;
var x13 := 0.0347222222222222, >= 0.00347222222222222;
var x14 := 0.0347222222222222, >= 0.00347222222222222;
var x15 := 0.0347222222222222, >= 0.00347222222222222;
var x16 := 0.0347222222222222, >= 0.00347222222222222;
var x17 := 0.0347222222222222, >= 0.00347222222222222;
var x18 := 0.0347222222222222, >= 0.00347222222222222;
var x19 := 0.0347222222222222, >= 0.00347222222222222;
var x20 := 0.0347222222222222, >= 0.00347222222222222;
var x21 := 0.0347222222222222, >= 0.00347222222222222;
var x22 := 0.0347222222222222, >= 0.00347222222222222;
var x23 := 0.0347222222222222, >= 0.00347222222222222;
var x24 := 0.0347222222222222, >= 0.00347222222222222;
var x25 := 0.0347222222222222, >= 0.00347222222222222;
var x26 := 0.0347222222222222, >= 0.00347222222222222;
var x27 := 0.0347222222222222, >= 0.00347222222222222;
var x28 := 0.0347222222222222, >= 0.00347222222222222;
var x29 := 0.0347222222222222, >= 0.00347222222222222;
var x30 := 0.0347222222222222, >= 0.00347222222222222;
var x31 := 0.0347222222222222, >= 0.00347222222222222;
var x32 := 0.0347222222222222, >= 0.00347222222222222;
var x33 := 0.0347222222222222, >= 0.00347222222222222;
var x34 := 0.0347222222222222, >= 0.00347222222222222;
var x35 := 0.0347222222222222, >= 0.00347222222222222;
var x36 := 0.0347222222222222, >= 0.00347222222222222;
var x37 := 0.0347222222222222, >= 0.00347222222222222;
var x38 := 0.0347222222222222, >= 0.00347222222222222;
var x39 := 0.0347222222222222, >= 0.00347222222222222;
var x40 := 0.0347222222222222, >= 0.00347222222222222;
var x41 := 0.0347222222222222, >= 0.00347222222222222;
var x42 := 0.0347222222222222, >= 0.00347222222222222;
var x43 := 0.0347222222222222, >= 0.00347222222222222;
var x44 := 0.0347222222222222, >= 0.00347222222222222;
var x45 := 0.0347222222222222, >= 0.00347222222222222;
var x46 := 0.0347222222222222, >= 0.00347222222222222;
var x47 := 0.0347222222222222, >= 0.00347222222222222;
var x48 := 0.0347222222222222, >= 0.00347222222222222;
var x49 := 0.0347222222222222, >= 0.00347222222222222;
var x50 := 0.0347222222222222, >= 0.00347222222222222;
var x51 := 0.0347222222222222, >= 0.00347222222222222;
var x52 := 0.0347222222222222, >= 0.00347222222222222;
var x53 := 0.0347222222222222, >= 0.00347222222222222;
var x54 := 0.0347222222222222, >= 0.00347222222222222;
var x55 := 0.0347222222222222, >= 0.00347222222222222;
var x56 := 0.0347222222222222, >= 0.00347222222222222;
var x57 := 0.0347222222222222, >= 0.00347222222222222;
var x58 := 0.0347222222222222, >= 0.00347222222222222;
var x59 := 0.0347222222222222, >= 0.00347222222222222;
var x60 := 0.0347222222222222, >= 0.00347222222222222;
var x61 := 0.0347222222222222, >= 0.00347222222222222;
var x62 := 0.0347222222222222, >= 0.00347222222222222;
var x63 := 0.0347222222222222, >= 0.00347222222222222;
var x64 := 0.0347222222222222, >= 0.00347222222222222;
var x65 := 0.0347222222222222, >= 0.00347222222222222;
var x66 := 0.0347222222222222, >= 0.00347222222222222;
var x67 := 0.0347222222222222, >= 0.00347222222222222;
var x68 := 0.0347222222222222, >= 0.00347222222222222;
var x69 := 0.0347222222222222, >= 0.00347222222222222;
var x70 := 0.0347222222222222, >= 0.00347222222222222;
var x71 := 0.0347222222222222, >= 0.00347222222222222;
var x72 := 0.0347222222222222, >= 0.00347222222222222;
var x73 := 0.0347222222222222, >= 0.00347222222222222;
var x74 := 0.0347222222222222, >= 0.00347222222222222;
var x75 := 0.0347222222222222, >= 0.00347222222222222;
var x76 := 0.0347222222222222, >= 0.00347222222222222;
var x77 := 0.0347222222222222, >= 0.00347222222222222;
var x78 := 0.0347222222222222, >= 0.00347222222222222;
var x79 := 0.0347222222222222, >= 0.00347222222222222;
var x80 := 0.0347222222222222, >= 0.00347222222222222;
var x81 := 0.0347222222222222, >= 0.00347222222222222;
var x82 := 0.0347222222222222, >= 0.00347222222222222;
var x83 := 0.0347222222222222, >= 0.00347222222222222;
var x84 := 0.0347222222222222, >= 0.00347222222222222;
var x85 := 0.0347222222222222, >= 0.00347222222222222;
var x86 := 0.0347222222222222, >= 0.00347222222222222;
var x87 := 0.0347222222222222, >= 0.00347222222222222;
var x88 := 0.0347222222222222, >= 0.00347222222222222;
var x89 := 0.0347222222222222, >= 0.00347222222222222;
var x90 := 0.0347222222222222, >= 0.00347222222222222;
var x91 := 0.0347222222222222, >= 0.00347222222222222;
var x92 := 0.0347222222222222, >= 0.00347222222222222;
var x93 := 0.0347222222222222, >= 0.00347222222222222;
var x94 := 0.0347222222222222, >= 0.00347222222222222;
var x95 := 0.0347222222222222, >= 0.00347222222222222;
var x96 := 0.0347222222222222, >= 0.00347222222222222;
var x97 := 0.0347222222222222, >= 0.00347222222222222;
var x98 := 0.0347222222222222, >= 0.00347222222222222;
var x99 := 0.0347222222222222, >= 0.00347222222222222;
var x100 := 0.0347222222222222, >= 0.00347222222222222;
var x101 := 0.0347222222222222, >= 0.00347222222222222;
var x102 := 0.0347222222222222, >= 0.00347222222222222;
var x103 := 0.0347222222222222, >= 0.00347222222222222;
var x104 := 0.0347222222222222, >= 0.00347222222222222;
var x105 := 0.0347222222222222, >= 0.00347222222222222;
var x106 := 0.0347222222222222, >= 0.00347222222222222;
var x107 := 0.0347222222222222, >= 0.00347222222222222;
var x108 := 0.0347222222222222, >= 0.00347222222222222;
var x109 := 0.0347222222222222, >= 0.00347222222222222;
var x110 := 0.0347222222222222, >= 0.00347222222222222;
var x111 := 0.0347222222222222, >= 0.00347222222222222;
var x112 := 0.0347222222222222, >= 0.00347222222222222;
var x113 := 0.0347222222222222, >= 0.00347222222222222;
var x114 := 0.0347222222222222, >= 0.00347222222222222;
var x115 := 0.0347222222222222, >= 0.00347222222222222;
var x116 := 0.0347222222222222, >= 0.00347222222222222;
var x117 := 0.0347222222222222, >= 0.00347222222222222;
var x118 := 0.0347222222222222, >= 0.00347222222222222;
var x119 := 0.0347222222222222, >= 0.00347222222222222;
var x120 := 0.0347222222222222, >= 0.00347222222222222;
var x121 := 0.0347222222222222, >= 0.00347222222222222;
var x122 := 0.0347222222222222, >= 0.00347222222222222;
var x123 := 0.0347222222222222, >= 0.00347222222222222;
var x124 := 0.0347222222222222, >= 0.00347222222222222;
var x125 := 0.0347222222222222, >= 0.00347222222222222;
var x126 := 0.0347222222222222, >= 0.00347222222222222;
var x127 := 0.0347222222222222, >= 0.00347222222222222;
var x128 := 0.0347222222222222, >= 0.00347222222222222;
var x129 := 0.0347222222222222, >= 0.00347222222222222;
var x130 := 0.0347222222222222, >= 0.00347222222222222;
var x131 := 0.0347222222222222, >= 0.00347222222222222;
var x132 := 0.0347222222222222, >= 0.00347222222222222;
var x133 := 0.0347222222222222, >= 0.00347222222222222;
var x134 := 0.0347222222222222, >= 0.00347222222222222;
var x135 := 0.0347222222222222, >= 0.00347222222222222;
var x136 := 0.0347222222222222, >= 0.00347222222222222;
var x137 := 0.0347222222222222, >= 0.00347222222222222;
var x138 := 0.0347222222222222, >= 0.00347222222222222;
var x139 := 0.0347222222222222, >= 0.00347222222222222;
var x140 := 0.0347222222222222, >= 0.00347222222222222;
var x141 := 0.0347222222222222, >= 0.00347222222222222;
var x142 := 0.0347222222222222, >= 0.00347222222222222;
var x143 := 0.0347222222222222, >= 0.00347222222222222;
var x144 := 0.0347222222222222, >= 0.00347222222222222;
var x145 := 0.0347222222222222, >= 0.00347222222222222;
var x146 := 0.0347222222222222, >= 0.00347222222222222;
var x147 := 0.0347222222222222, >= 0.00347222222222222;
var x148 := 0.0347222222222222, >= 0.00347222222222222;
var x149 := 0.0347222222222222, >= 0.00347222222222222;
var x150 := 0.0347222222222222, >= 0.00347222222222222;
var x151 := 0.0347222222222222, >= 0.00347222222222222;
var x152 := 0.0347222222222222, >= 0.00347222222222222;
var x153 := 0.0347222222222222, >= 0.00347222222222222;
var x154 := 0.0347222222222222, >= 0.00347222222222222;
var x155 := 0.0347222222222222, >= 0.00347222222222222;
var x156 := 0.0347222222222222, >= 0.00347222222222222;
var x157 := 0.0347222222222222, >= 0.00347222222222222;
var x158 := 0.0347222222222222, >= 0.00347222222222222;
var x159 := 0.0347222222222222, >= 0.00347222222222222;
var x160 := 0.0347222222222222, >= 0.00347222222222222;
var x161 := 0.0347222222222222, >= 0.00347222222222222;
var x162 := 0.0347222222222222, >= 0.00347222222222222;
var x163 := 0.0347222222222222, >= 0.00347222222222222;
var x164 := 0.0347222222222222, >= 0.00347222222222222;
var x165 := 0.0347222222222222, >= 0.00347222222222222;
var x166 := 0.0347222222222222, >= 0.00347222222222222;
var x167 := 0.0347222222222222, >= 0.00347222222222222;
var x168 := 0.0347222222222222, >= 0.00347222222222222;
var x169 := 0.0347222222222222, >= 0.00347222222222222;
var x170 := 0.0347222222222222, >= 0.00347222222222222;
var x171 := 0.0347222222222222, >= 0.00347222222222222;
var x172 := 0.0347222222222222, >= 0.00347222222222222;
var x173 := 0.0347222222222222, >= 0.00347222222222222;
var x174 := 0.0347222222222222, >= 0.00347222222222222;
var x175 := 0.0347222222222222, >= 0.00347222222222222;
var x176 := 0.0347222222222222, >= 0.00347222222222222;
var x177 := 0.0347222222222222, >= 0.00347222222222222;
var x178 := 0.0347222222222222, >= 0.00347222222222222;
var x179 := 0.0347222222222222, >= 0.00347222222222222;
var x180 := 0.0347222222222222, >= 0.00347222222222222;
var x181 := 0.0347222222222222, >= 0.00347222222222222;
var x182 := 0.0347222222222222, >= 0.00347222222222222;
var x183 := 0.0347222222222222, >= 0.00347222222222222;
var x184 := 0.0347222222222222, >= 0.00347222222222222;
var x185 := 0.0347222222222222, >= 0.00347222222222222;
var x186 := 0.0347222222222222, >= 0.00347222222222222;
var x187 := 0.0347222222222222, >= 0.00347222222222222;
var x188 := 0.0347222222222222, >= 0.00347222222222222;
var x189 := 0.0347222222222222, >= 0.00347222222222222;
var x190 := 0.0347222222222222, >= 0.00347222222222222;
var x191 := 0.0347222222222222, >= 0.00347222222222222;
var x192 := 0.0347222222222222, >= 0.00347222222222222;
var x193 := 1.2, >= 0.12;
var x194 := 1.2, >= 0.12;
var x195 := 1.2, >= 0.12;
var x196 := 1.2, >= 0.12;
var x197 := 1.2, >= 0.12;
var x198 := 1.2, >= 0.12;
var x199 := 1.2, >= 0.12;
var x200 := 1.2, >= 0.12;
var x201 := 1.2, >= 0.12;
var x202 := 1.2, >= 0.12;
var x203 := 1.2, >= 0.12;
var x204 := 1.2, >= 0.12;
var x205 := 1.2, >= 0.12;
var x206 := 1.2, >= 0.12;
var x207 := 1.2, >= 0.12;
var x208 := 1.2, >= 0.12;
var x209 := 1.2, >= 0.12;
var x210 := 1.2, >= 0.12;
var x211 := 1.2, >= 0.12;
var x212 := 1.2, >= 0.12;
var x213 := 1.2, >= 0.12;
var x214 := 1.2, >= 0.12;
var x215 := 1.2, >= 0.12;
var x216 := 1.2, >= 0.12;
var x217 := 1.2, >= 0.12;
var x218 := 1.2, >= 0.12;
var x219 := 1.2, >= 0.12;
var x220 := 1.2, >= 0.12;
var x221 := 1.2, >= 0.12;
var x222 := 1.2, >= 0.12;
var x223 := 1.2, >= 0.12;
var x224 := 1.2, >= 0.12;
var x225 := 1.2, >= 0.12;
var x226 := 1.2, >= 0.12;
var x227 := 1.2, >= 0.12;
var x228 := 1.2, >= 0.12;
var x229 := 1.2, >= 0.12;
var x230 := 1.2, >= 0.12;
var x231 := 1.2, >= 0.12;
var x232 := 1.2, >= 0.12;
var x233 := 1.2, >= 0.12;
var x234 := 1.2, >= 0.12;
var x235 := 1.2, >= 0.12;
var x236 := 1.2, >= 0.12;
var x237 := 1.2, >= 0.12;
var x238 := 1.2, >= 0.12;
var x239 := 1.2, >= 0.12;
var x240 := 1.2, >= 0.12;
var x241 := 1.2, >= 0.12;
var x242 := 1.2, >= 0.12;
var x243 := 1.2, >= 0.12;
var x244 := 1.2, >= 0.12;
var x245 := 1.2, >= 0.12;
var x246 := 1.2, >= 0.12;
var x247 := 1.2, >= 0.12;
var x248 := 1.2, >= 0.12;
var x249 := 1.2, >= 0.12;
var x250 := 1.2, >= 0.12;
var x251 := 1.2, >= 0.12;
var x252 := 1.2, >= 0.12;
var x253 := 1.2, >= 0.12;
var x254 := 1.2, >= 0.12;
var x255 := 1.2, >= 0.12;
var x256 := 1.2, >= 0.12;
var x257 := 1.2, >= 0.12;
var x258 := 1.2, >= 0.12;
var x259 := 1.2, >= 0.12;
var x260 := 1.2, >= 0.12;
var x261 := 1.2, >= 0.12;
var x262 := 1.2, >= 0.12;
var x263 := 1.2, >= 0.12;
var x264 := 1.2, >= 0.12;
var x265 := 1.2, >= 0.12;
var x266 := 1.2, >= 0.12;
var x267 := 1.2, >= 0.12;
var x268 := 1.2, >= 0.12;
var x269 := 1.2, >= 0.12;
var x270 := 1.2, >= 0.12;
var x271 := 1.2, >= 0.12;
var x272 := 1.2, >= 0.12;
var x273 := 1.2, >= 0.12;
var x274 := 1.2, >= 0.12;
var x275 := 1.2, >= 0.12;
var x276 := 1.2, >= 0.12;
var x277 := 1.2, >= 0.12;
var x278 := 1.2, >= 0.12;
var x279 := 1.2, >= 0.12;
var x280 := 1.2, >= 0.12;
var x281 := 1.2, >= 0.12;
var x282 := 1.2, >= 0.12;
var x283 := 1.2, >= 0.12;
var x284 := 1.2, >= 0.12;
var x285 := 1.2, >= 0.12;
var x286 := 1.2, >= 0.12;
var x287 := 1.2, >= 0.12;
var x288 := 1.2, >= 0.12;
var x289 := 1.2, >= 0.12;
var x290 := 1.2, >= 0.12;
var x291 := 1.2, >= 0.12;
var x292 := 1.2, >= 0.12;
var x293 := 1.2, >= 0.12;
var x294 := 1.2, >= 0.12;
var x295 := 1.2, >= 0.12;
var x296 := 1.2, >= 0.12;
var x297 := 1.2, >= 0.12;
var x298 := 1.2, >= 0.12;
var x299 := 1.2, >= 0.12;
var x300 := 1.2, >= 0.12;
var x301 := 1.2, >= 0.12;
var x302 := 1.2, >= 0.12;
var x303 := 1.2, >= 0.12;
var x304 := 1.2, >= 0.12;
var x305 := 1.2, >= 0.12;
var x306 := 1.2, >= 0.12;
var x307 := 1.2, >= 0.12;
var x308 := 1.2, >= 0.12;
var x309 := 1.2, >= 0.12;
var x310 := 1.2, >= 0.12;
var x311 := 1.2, >= 0.12;
var x312 := 1.2, >= 0.12;
var x313 := 1.2, >= 0.12;
var x314 := 1.2, >= 0.12;
var x315 := 1.2, >= 0.12;
var x316 := 1.2, >= 0.12;
var x317 := 1.2, >= 0.12;
var x318 := 1.2, >= 0.12;
var x319 := 1.2, >= 0.12;
var x320 := 1.2, >= 0.12;
var x321 := 1.2, >= 0.12;
var x322 := 1.2, >= 0.12;
var x323 := 1.2, >= 0.12;
var x324 := 1.2, >= 0.12;
var x325 := 1.2, >= 0.12;
var x326 := 1.2, >= 0.12;
var x327 := 1.2, >= 0.12;
var x328 := 1.2, >= 0.12;
var x329 := 1.2, >= 0.12;
var x330 := 1.2, >= 0.12;
var x331 := 1.2, >= 0.12;
var x332 := 1.2, >= 0.12;
var x333 := 1.2, >= 0.12;
var x334 := 1.2, >= 0.12;
var x335 := 1.2, >= 0.12;
var x336 := 1.2, >= 0.12;
var x337 := 1.2, >= 0.12;
var x338 := 1.2, >= 0.12;
var x339 := 1.2, >= 0.12;
var x340 := 1.2, >= 0.12;
var x341 := 1.2, >= 0.12;
var x342 := 1.2, >= 0.12;
var x343 := 1.2, >= 0.12;
var x344 := 1.2, >= 0.12;
var x345 := 1.2, >= 0.12;
var x346 := 1.2, >= 0.12;
var x347 := 1.2, >= 0.12;
var x348 := 1.2, >= 0.12;
var x349 := 1.2, >= 0.12;
var x350 := 1.2, >= 0.12;
var x351 := 1.2, >= 0.12;
var x352 := 1.2, >= 0.12;
var x353 := 1.2, >= 0.12;
var x354 := 1.2, >= 0.12;
var x355 := 1.2, >= 0.12;
var x356 := 1.2, >= 0.12;
var x357 := 1.2, >= 0.12;
var x358 := 1.2, >= 0.12;
var x359 := 1.2, >= 0.12;
var x360 := 1.2, >= 0.12;
var x361 := 1.2, >= 0.12;
var x362 := 1.2, >= 0.12;
var x363 := 1.2, >= 0.12;
var x364 := 1.2, >= 0.12;
var x365 := 1.2, >= 0.12;
var x366 := 1.2, >= 0.12;
var x367 := 1.2, >= 0.12;
var x368 := 1.2, >= 0.12;
var x369 := 1.2, >= 0.12;
var x370 := 1.2, >= 0.12;
var x371 := 1.2, >= 0.12;
var x372 := 1.2, >= 0.12;
var x373 := 1.2, >= 0.12;
var x374 := 1.2, >= 0.12;
var x375 := 1.2, >= 0.12;
var x376 := 1.2, >= 0.12;
var x377 := 1.2, >= 0.12;
var x378 := 1.2, >= 0.12;
var x379 := 1.2, >= 0.12;
var x380 := 1.2, >= 0.12;
var x381 := 1.2, >= 0.12;
var x382 := 1.2, >= 0.12;
var x383 := 1.2, >= 0.12;
var x384 := 1.2, >= 0.12;
var x385 := 0.0416668402777778, >= 0;
var x386 := 0.0416668402777778, >= 0;
var x387 := 0.0416668402777778, >= 0;
var x388 := 0.0416668402777778, >= 0;
var x389 := 0.0416668402777778, >= 0;
var x390 := 0.0416668402777778, >= 0;
var x391 := 0.0416668402777778, >= 0;
var x392 := 0.0416668402777778, >= 0;
var b393 binary := 0.25, >= 0, <= 1;
var b394 binary := 0.25, >= 0, <= 1;
var b395 binary := 0.25, >= 0, <= 1;
var b396 binary := 0.25, >= 0, <= 1;
var b397 binary := 0.25, >= 0, <= 1;
var b398 binary := 0.25, >= 0, <= 1;
var b399 binary := 0.25, >= 0, <= 1;
var b400 binary := 0.25, >= 0, <= 1;
var b401 binary := 0.25, >= 0, <= 1;
var b402 binary := 0.25, >= 0, <= 1;
var b403 binary := 0.25, >= 0, <= 1;
var b404 binary := 0.25, >= 0, <= 1;
var b405 binary := 0.25, >= 0, <= 1;
var b406 binary := 0.25, >= 0, <= 1;
var b407 binary := 0.25, >= 0, <= 1;
var b408 binary := 0.25, >= 0, <= 1;
var b409 binary := 0.25, >= 0, <= 1;
var b410 binary := 0.25, >= 0, <= 1;
var b411 binary := 0.25, >= 0, <= 1;
var b412 binary := 0.25, >= 0, <= 1;
var b413 binary := 0.25, >= 0, <= 1;
var b414 binary := 0.25, >= 0, <= 1;
var b415 binary := 0.25, >= 0, <= 1;
var b416 binary := 0.25, >= 0, <= 1;
var b417 binary := 0.03125, >= 0, <= 1;
var b418 binary := 0.03125, >= 0, <= 1;
var b419 binary := 0.03125, >= 0, <= 1;
var b420 binary := 0.03125, >= 0, <= 1;
var b421 binary := 0.03125, >= 0, <= 1;
var b422 binary := 0.03125, >= 0, <= 1;
var b423 binary := 0.03125, >= 0, <= 1;
var b424 binary := 0.03125, >= 0, <= 1;
var b425 binary := 0.03125, >= 0, <= 1;
var b426 binary := 0.03125, >= 0, <= 1;
var b427 binary := 0.03125, >= 0, <= 1;
var b428 binary := 0.03125, >= 0, <= 1;
var b429 binary := 0.03125, >= 0, <= 1;
var b430 binary := 0.03125, >= 0, <= 1;
var b431 binary := 0.03125, >= 0, <= 1;
var b432 binary := 0.03125, >= 0, <= 1;
var b433 binary := 0.03125, >= 0, <= 1;
var b434 binary := 0.03125, >= 0, <= 1;
var b435 binary := 0.03125, >= 0, <= 1;
var b436 binary := 0.03125, >= 0, <= 1;
var b437 binary := 0.03125, >= 0, <= 1;
var b438 binary := 0.03125, >= 0, <= 1;
var b439 binary := 0.03125, >= 0, <= 1;
var b440 binary := 0.03125, >= 0, <= 1;
var b441 binary := 0.03125, >= 0, <= 1;
var b442 binary := 0.03125, >= 0, <= 1;
var b443 binary := 0.03125, >= 0, <= 1;
var b444 binary := 0.03125, >= 0, <= 1;
var b445 binary := 0.03125, >= 0, <= 1;
var b446 binary := 0.03125, >= 0, <= 1;
var b447 binary := 0.03125, >= 0, <= 1;
var b448 binary := 0.03125, >= 0, <= 1;
var b449 binary := 0.03125, >= 0, <= 1;
var b450 binary := 0.03125, >= 0, <= 1;
var b451 binary := 0.03125, >= 0, <= 1;
var b452 binary := 0.03125, >= 0, <= 1;
var b453 binary := 0.03125, >= 0, <= 1;
var b454 binary := 0.03125, >= 0, <= 1;
var b455 binary := 0.03125, >= 0, <= 1;
var b456 binary := 0.03125, >= 0, <= 1;
var b457 binary := 0.03125, >= 0, <= 1;
var b458 binary := 0.03125, >= 0, <= 1;
var b459 binary := 0.03125, >= 0, <= 1;
var b460 binary := 0.03125, >= 0, <= 1;
var b461 binary := 0.03125, >= 0, <= 1;
var b462 binary := 0.03125, >= 0, <= 1;
var b463 binary := 0.03125, >= 0, <= 1;
var b464 binary := 0.03125, >= 0, <= 1;
var b465 binary := 0.03125, >= 0, <= 1;
var b466 binary := 0.03125, >= 0, <= 1;
var b467 binary := 0.03125, >= 0, <= 1;
var b468 binary := 0.03125, >= 0, <= 1;
var b469 binary := 0.03125, >= 0, <= 1;
var b470 binary := 0.03125, >= 0, <= 1;
var b471 binary := 0.03125, >= 0, <= 1;
var b472 binary := 0.03125, >= 0, <= 1;
var b473 binary := 0.03125, >= 0, <= 1;
var b474 binary := 0.03125, >= 0, <= 1;
var b475 binary := 0.03125, >= 0, <= 1;
var b476 binary := 0.03125, >= 0, <= 1;
var b477 binary := 0.03125, >= 0, <= 1;
var b478 binary := 0.03125, >= 0, <= 1;
var b479 binary := 0.03125, >= 0, <= 1;
var b480 binary := 0.03125, >= 0, <= 1;
var b481 binary := 0.03125, >= 0, <= 1;
var b482 binary := 0.03125, >= 0, <= 1;
var b483 binary := 0.03125, >= 0, <= 1;
var b484 binary := 0.03125, >= 0, <= 1;
var b485 binary := 0.03125, >= 0, <= 1;
var b486 binary := 0.03125, >= 0, <= 1;
var b487 binary := 0.03125, >= 0, <= 1;
var b488 binary := 0.03125, >= 0, <= 1;
var b489 binary := 0.03125, >= 0, <= 1;
var b490 binary := 0.03125, >= 0, <= 1;
var b491 binary := 0.03125, >= 0, <= 1;
var b492 binary := 0.03125, >= 0, <= 1;
var b493 binary := 0.03125, >= 0, <= 1;
var b494 binary := 0.03125, >= 0, <= 1;
var b495 binary := 0.03125, >= 0, <= 1;
var b496 binary := 0.03125, >= 0, <= 1;
var b497 binary := 0.03125, >= 0, <= 1;
var b498 binary := 0.03125, >= 0, <= 1;
var b499 binary := 0.03125, >= 0, <= 1;
var b500 binary := 0.03125, >= 0, <= 1;
var b501 binary := 0.03125, >= 0, <= 1;
var b502 binary := 0.03125, >= 0, <= 1;
var b503 binary := 0.03125, >= 0, <= 1;
var b504 binary := 0.03125, >= 0, <= 1;
var b505 binary := 0.03125, >= 0, <= 1;
var b506 binary := 0.03125, >= 0, <= 1;
var b507 binary := 0.03125, >= 0, <= 1;
var b508 binary := 0.03125, >= 0, <= 1;
var b509 binary := 0.03125, >= 0, <= 1;
var b510 binary := 0.03125, >= 0, <= 1;
var b511 binary := 0.03125, >= 0, <= 1;
var b512 binary := 0.03125, >= 0, <= 1;
var b513 binary := 0.03125, >= 0, <= 1;
var b514 binary := 0.03125, >= 0, <= 1;
var b515 binary := 0.03125, >= 0, <= 1;
var b516 binary := 0.03125, >= 0, <= 1;
var b517 binary := 0.03125, >= 0, <= 1;
var b518 binary := 0.03125, >= 0, <= 1;
var b519 binary := 0.03125, >= 0, <= 1;
var b520 binary := 0.03125, >= 0, <= 1;
var b521 binary := 0.03125, >= 0, <= 1;
var b522 binary := 0.03125, >= 0, <= 1;
var b523 binary := 0.03125, >= 0, <= 1;
var b524 binary := 0.03125, >= 0, <= 1;
var b525 binary := 0.03125, >= 0, <= 1;
var b526 binary := 0.03125, >= 0, <= 1;
var b527 binary := 0.03125, >= 0, <= 1;
var b528 binary := 0.03125, >= 0, <= 1;
var b529 binary := 0.03125, >= 0, <= 1;
var b530 binary := 0.03125, >= 0, <= 1;
var b531 binary := 0.03125, >= 0, <= 1;
var b532 binary := 0.03125, >= 0, <= 1;
var b533 binary := 0.03125, >= 0, <= 1;
var b534 binary := 0.03125, >= 0, <= 1;
var b535 binary := 0.03125, >= 0, <= 1;
var b536 binary := 0.03125, >= 0, <= 1;
var b537 binary := 0.03125, >= 0, <= 1;
var b538 binary := 0.03125, >= 0, <= 1;
var b539 binary := 0.03125, >= 0, <= 1;
var b540 binary := 0.03125, >= 0, <= 1;
var b541 binary := 0.03125, >= 0, <= 1;
var b542 binary := 0.03125, >= 0, <= 1;
var b543 binary := 0.03125, >= 0, <= 1;
var b544 binary := 0.03125, >= 0, <= 1;
var b545 binary := 0.03125, >= 0, <= 1;
var b546 binary := 0.03125, >= 0, <= 1;
var b547 binary := 0.03125, >= 0, <= 1;
var b548 binary := 0.03125, >= 0, <= 1;
var b549 binary := 0.03125, >= 0, <= 1;
var b550 binary := 0.03125, >= 0, <= 1;
var b551 binary := 0.03125, >= 0, <= 1;
var b552 binary := 0.03125, >= 0, <= 1;
var b553 binary := 0.03125, >= 0, <= 1;
var b554 binary := 0.03125, >= 0, <= 1;
var b555 binary := 0.03125, >= 0, <= 1;
var b556 binary := 0.03125, >= 0, <= 1;
var b557 binary := 0.03125, >= 0, <= 1;
var b558 binary := 0.03125, >= 0, <= 1;
var b559 binary := 0.03125, >= 0, <= 1;
var b560 binary := 0.03125, >= 0, <= 1;
var b561 binary := 0.03125, >= 0, <= 1;
var b562 binary := 0.03125, >= 0, <= 1;
var b563 binary := 0.03125, >= 0, <= 1;
var b564 binary := 0.03125, >= 0, <= 1;
var b565 binary := 0.03125, >= 0, <= 1;
var b566 binary := 0.03125, >= 0, <= 1;
var b567 binary := 0.03125, >= 0, <= 1;
var b568 binary := 0.03125, >= 0, <= 1;
var b569 binary := 0.03125, >= 0, <= 1;
var b570 binary := 0.03125, >= 0, <= 1;
var b571 binary := 0.03125, >= 0, <= 1;
var b572 binary := 0.03125, >= 0, <= 1;
var b573 binary := 0.03125, >= 0, <= 1;
var b574 binary := 0.03125, >= 0, <= 1;
var b575 binary := 0.03125, >= 0, <= 1;
var b576 binary := 0.03125, >= 0, <= 1;
var b577 binary := 0.03125, >= 0, <= 1;
var b578 binary := 0.03125, >= 0, <= 1;
var b579 binary := 0.03125, >= 0, <= 1;
var b580 binary := 0.03125, >= 0, <= 1;
var b581 binary := 0.03125, >= 0, <= 1;
var b582 binary := 0.03125, >= 0, <= 1;
var b583 binary := 0.03125, >= 0, <= 1;
var b584 binary := 0.03125, >= 0, <= 1;
var b585 binary := 0.03125, >= 0, <= 1;
var b586 binary := 0.03125, >= 0, <= 1;
var b587 binary := 0.03125, >= 0, <= 1;
var b588 binary := 0.03125, >= 0, <= 1;
var b589 binary := 0.03125, >= 0, <= 1;
var b590 binary := 0.03125, >= 0, <= 1;
var b591 binary := 0.03125, >= 0, <= 1;
var b592 binary := 0.03125, >= 0, <= 1;
var b593 binary := 0.03125, >= 0, <= 1;
var b594 binary := 0.03125, >= 0, <= 1;
var b595 binary := 0.03125, >= 0, <= 1;
var b596 binary := 0.03125, >= 0, <= 1;
var b597 binary := 0.03125, >= 0, <= 1;
var b598 binary := 0.03125, >= 0, <= 1;
var b599 binary := 0.03125, >= 0, <= 1;
var b600 binary := 0.03125, >= 0, <= 1;
var b601 binary := 0.03125, >= 0, <= 1;
var b602 binary := 0.03125, >= 0, <= 1;
var b603 binary := 0.03125, >= 0, <= 1;
var b604 binary := 0.03125, >= 0, <= 1;
var b605 binary := 0.03125, >= 0, <= 1;
var b606 binary := 0.03125, >= 0, <= 1;
var b607 binary := 0.03125, >= 0, <= 1;
var b608 binary := 0.03125, >= 0, <= 1;
var b609 binary := 0.03125, >= 0, <= 1;
var b610 binary := 0.03125, >= 0, <= 1;
var b611 binary := 0.03125, >= 0, <= 1;
var b612 binary := 0.03125, >= 0, <= 1;
var b613 binary := 0.03125, >= 0, <= 1;
var b614 binary := 0.03125, >= 0, <= 1;
var b615 binary := 0.03125, >= 0, <= 1;
var b616 binary := 0.03125, >= 0, <= 1;
var b617 binary := 0.03125, >= 0, <= 1;
var b618 binary := 0.03125, >= 0, <= 1;
var b619 binary := 0.03125, >= 0, <= 1;
var b620 binary := 0.03125, >= 0, <= 1;
var b621 binary := 0.03125, >= 0, <= 1;
var b622 binary := 0.03125, >= 0, <= 1;
var b623 binary := 0.03125, >= 0, <= 1;
var b624 binary := 0.03125, >= 0, <= 1;
var b625 binary := 0.03125, >= 0, <= 1;
var b626 binary := 0.03125, >= 0, <= 1;
var b627 binary := 0.03125, >= 0, <= 1;
var b628 binary := 0.03125, >= 0, <= 1;
var b629 binary := 0.03125, >= 0, <= 1;
var b630 binary := 0.03125, >= 0, <= 1;
var b631 binary := 0.03125, >= 0, <= 1;
var b632 binary := 0.03125, >= 0, <= 1;
var b633 binary := 0.03125, >= 0, <= 1;
var b634 binary := 0.03125, >= 0, <= 1;
var b635 binary := 0.03125, >= 0, <= 1;
var b636 binary := 0.03125, >= 0, <= 1;
var b637 binary := 0.03125, >= 0, <= 1;
var b638 binary := 0.03125, >= 0, <= 1;
var b639 binary := 0.03125, >= 0, <= 1;
var b640 binary := 0.03125, >= 0, <= 1;
var b641 binary := 0.03125, >= 0, <= 1;
var b642 binary := 0.03125, >= 0, <= 1;
var b643 binary := 0.03125, >= 0, <= 1;
var b644 binary := 0.03125, >= 0, <= 1;
var b645 binary := 0.03125, >= 0, <= 1;
var b646 binary := 0.03125, >= 0, <= 1;
var b647 binary := 0.03125, >= 0, <= 1;
var b648 binary := 0.03125, >= 0, <= 1;
var b649 binary := 0.03125, >= 0, <= 1;
var b650 binary := 0.03125, >= 0, <= 1;
var b651 binary := 0.03125, >= 0, <= 1;
var b652 binary := 0.03125, >= 0, <= 1;
var b653 binary := 0.03125, >= 0, <= 1;
var b654 binary := 0.03125, >= 0, <= 1;
var b655 binary := 0.03125, >= 0, <= 1;
var b656 binary := 0.03125, >= 0, <= 1;
var b657 binary := 0.03125, >= 0, <= 1;
var b658 binary := 0.03125, >= 0, <= 1;
var b659 binary := 0.03125, >= 0, <= 1;
var b660 binary := 0.03125, >= 0, <= 1;
var b661 binary := 0.03125, >= 0, <= 1;
var b662 binary := 0.03125, >= 0, <= 1;
var b663 binary := 0.03125, >= 0, <= 1;
var b664 binary := 0.03125, >= 0, <= 1;
var b665 binary := 0.03125, >= 0, <= 1;
var b666 binary := 0.03125, >= 0, <= 1;
var b667 binary := 0.03125, >= 0, <= 1;
var b668 binary := 0.03125, >= 0, <= 1;
var b669 binary := 0.03125, >= 0, <= 1;
var b670 binary := 0.03125, >= 0, <= 1;
var b671 binary := 0.03125, >= 0, <= 1;
var b672 binary := 0.03125, >= 0, <= 1;
var b673 binary := 0.03125, >= 0, <= 1;
var b674 binary := 0.03125, >= 0, <= 1;
var b675 binary := 0.03125, >= 0, <= 1;
var b676 binary := 0.03125, >= 0, <= 1;
var b677 binary := 0.03125, >= 0, <= 1;
var b678 binary := 0.03125, >= 0, <= 1;
var b679 binary := 0.03125, >= 0, <= 1;
var b680 binary := 0.03125, >= 0, <= 1;
var b681 binary := 0.03125, >= 0, <= 1;
var b682 binary := 0.03125, >= 0, <= 1;
var b683 binary := 0.03125, >= 0, <= 1;
var b684 binary := 0.03125, >= 0, <= 1;
var b685 binary := 0.03125, >= 0, <= 1;
var b686 binary := 0.03125, >= 0, <= 1;
var b687 binary := 0.03125, >= 0, <= 1;
var b688 binary := 0.03125, >= 0, <= 1;
var b689 binary := 0.03125, >= 0, <= 1;
var b690 binary := 0.03125, >= 0, <= 1;
var b691 binary := 0.03125, >= 0, <= 1;
var b692 binary := 0.03125, >= 0, <= 1;
var b693 binary := 0.03125, >= 0, <= 1;
var b694 binary := 0.03125, >= 0, <= 1;
var b695 binary := 0.03125, >= 0, <= 1;
var b696 binary := 0.03125, >= 0, <= 1;
var b697 binary := 0.03125, >= 0, <= 1;
var b698 binary := 0.03125, >= 0, <= 1;
var b699 binary := 0.03125, >= 0, <= 1;
var b700 binary := 0.03125, >= 0, <= 1;
var b701 binary := 0.03125, >= 0, <= 1;
var b702 binary := 0.03125, >= 0, <= 1;
var b703 binary := 0.03125, >= 0, <= 1;
var b704 binary := 0.03125, >= 0, <= 1;
var b705 binary := 0.03125, >= 0, <= 1;
var b706 binary := 0.03125, >= 0, <= 1;
var b707 binary := 0.03125, >= 0, <= 1;
var b708 binary := 0.03125, >= 0, <= 1;
var b709 binary := 0.03125, >= 0, <= 1;
var b710 binary := 0.03125, >= 0, <= 1;
var b711 binary := 0.03125, >= 0, <= 1;
var b712 binary := 0.03125, >= 0, <= 1;
var b713 binary := 0.03125, >= 0, <= 1;
var b714 binary := 0.03125, >= 0, <= 1;
var b715 binary := 0.03125, >= 0, <= 1;
var b716 binary := 0.03125, >= 0, <= 1;
var b717 binary := 0.03125, >= 0, <= 1;
var b718 binary := 0.03125, >= 0, <= 1;
var b719 binary := 0.03125, >= 0, <= 1;
var b720 binary := 0.03125, >= 0, <= 1;
var b721 binary := 0.03125, >= 0, <= 1;
var b722 binary := 0.03125, >= 0, <= 1;
var b723 binary := 0.03125, >= 0, <= 1;
var b724 binary := 0.03125, >= 0, <= 1;
var b725 binary := 0.03125, >= 0, <= 1;
var b726 binary := 0.03125, >= 0, <= 1;
var b727 binary := 0.03125, >= 0, <= 1;
var b728 binary := 0.03125, >= 0, <= 1;
var b729 binary := 0.03125, >= 0, <= 1;
var b730 binary := 0.03125, >= 0, <= 1;
var b731 binary := 0.03125, >= 0, <= 1;
var b732 binary := 0.03125, >= 0, <= 1;
var b733 binary := 0.03125, >= 0, <= 1;
var b734 binary := 0.03125, >= 0, <= 1;
var b735 binary := 0.03125, >= 0, <= 1;
var b736 binary := 0.03125, >= 0, <= 1;
var b737 binary := 0.03125, >= 0, <= 1;
var b738 binary := 0.03125, >= 0, <= 1;
var b739 binary := 0.03125, >= 0, <= 1;
var b740 binary := 0.03125, >= 0, <= 1;
var b741 binary := 0.03125, >= 0, <= 1;
var b742 binary := 0.03125, >= 0, <= 1;
var b743 binary := 0.03125, >= 0, <= 1;
var b744 binary := 0.03125, >= 0, <= 1;
var b745 binary := 0.03125, >= 0, <= 1;
var b746 binary := 0.03125, >= 0, <= 1;
var b747 binary := 0.03125, >= 0, <= 1;
var b748 binary := 0.03125, >= 0, <= 1;
var b749 binary := 0.03125, >= 0, <= 1;
var b750 binary := 0.03125, >= 0, <= 1;
var b751 binary := 0.03125, >= 0, <= 1;
var b752 binary := 0.03125, >= 0, <= 1;
var b753 binary := 0.03125, >= 0, <= 1;
var b754 binary := 0.03125, >= 0, <= 1;
var b755 binary := 0.03125, >= 0, <= 1;
var b756 binary := 0.03125, >= 0, <= 1;
var b757 binary := 0.03125, >= 0, <= 1;
var b758 binary := 0.03125, >= 0, <= 1;
var b759 binary := 0.03125, >= 0, <= 1;
var b760 binary := 0.03125, >= 0, <= 1;
var b761 binary := 0.03125, >= 0, <= 1;
var b762 binary := 0.03125, >= 0, <= 1;
var b763 binary := 0.03125, >= 0, <= 1;
var b764 binary := 0.03125, >= 0, <= 1;
var b765 binary := 0.03125, >= 0, <= 1;
var b766 binary := 0.03125, >= 0, <= 1;
var b767 binary := 0.03125, >= 0, <= 1;
var b768 binary := 0.03125, >= 0, <= 1;
var b769 binary := 0.03125, >= 0, <= 1;
var b770 binary := 0.03125, >= 0, <= 1;
var b771 binary := 0.03125, >= 0, <= 1;
var b772 binary := 0.03125, >= 0, <= 1;
var b773 binary := 0.03125, >= 0, <= 1;
var b774 binary := 0.03125, >= 0, <= 1;
var b775 binary := 0.03125, >= 0, <= 1;
var b776 binary := 0.03125, >= 0, <= 1;
var b777 binary := 0.03125, >= 0, <= 1;
var b778 binary := 0.03125, >= 0, <= 1;
var b779 binary := 0.03125, >= 0, <= 1;
var b780 binary := 0.03125, >= 0, <= 1;
var b781 binary := 0.03125, >= 0, <= 1;
var b782 binary := 0.03125, >= 0, <= 1;
var b783 binary := 0.03125, >= 0, <= 1;
var b784 binary := 0.03125, >= 0, <= 1;
var b785 binary := 0.03125, >= 0, <= 1;
var b786 binary := 0.03125, >= 0, <= 1;
var b787 binary := 0.03125, >= 0, <= 1;
var b788 binary := 0.03125, >= 0, <= 1;
var b789 binary := 0.03125, >= 0, <= 1;
var b790 binary := 0.03125, >= 0, <= 1;
var b791 binary := 0.03125, >= 0, <= 1;
var b792 binary := 0.03125, >= 0, <= 1;
var b793 binary := 0.03125, >= 0, <= 1;
var b794 binary := 0.03125, >= 0, <= 1;
var b795 binary := 0.03125, >= 0, <= 1;
var b796 binary := 0.03125, >= 0, <= 1;
var b797 binary := 0.03125, >= 0, <= 1;
var b798 binary := 0.03125, >= 0, <= 1;
var b799 binary := 0.03125, >= 0, <= 1;
var b800 binary := 0.03125, >= 0, <= 1;
var b801 binary := 0.03125, >= 0, <= 1;
var b802 binary := 0.03125, >= 0, <= 1;
var b803 binary := 0.03125, >= 0, <= 1;
var b804 binary := 0.03125, >= 0, <= 1;
var b805 binary := 0.03125, >= 0, <= 1;
var b806 binary := 0.03125, >= 0, <= 1;
var b807 binary := 0.03125, >= 0, <= 1;
var b808 binary := 0.03125, >= 0, <= 1;
var b809 binary := 0.03125, >= 0, <= 1;
var b810 binary := 0.03125, >= 0, <= 1;
var b811 binary := 0.03125, >= 0, <= 1;
var b812 binary := 0.03125, >= 0, <= 1;
var b813 binary := 0.03125, >= 0, <= 1;
var b814 binary := 0.03125, >= 0, <= 1;
var b815 binary := 0.03125, >= 0, <= 1;
var b816 binary := 0.03125, >= 0, <= 1;
var b817 binary := 0.03125, >= 0, <= 1;
var b818 binary := 0.03125, >= 0, <= 1;
var b819 binary := 0.03125, >= 0, <= 1;
var b820 binary := 0.03125, >= 0, <= 1;
var b821 binary := 0.03125, >= 0, <= 1;
var b822 binary := 0.03125, >= 0, <= 1;
var b823 binary := 0.03125, >= 0, <= 1;
var b824 binary := 0.03125, >= 0, <= 1;
var b825 binary := 0.03125, >= 0, <= 1;
var b826 binary := 0.03125, >= 0, <= 1;
var b827 binary := 0.03125, >= 0, <= 1;
var b828 binary := 0.03125, >= 0, <= 1;
var b829 binary := 0.03125, >= 0, <= 1;
var b830 binary := 0.03125, >= 0, <= 1;
var b831 binary := 0.03125, >= 0, <= 1;
var b832 binary := 0.03125, >= 0, <= 1;
var b833 binary := 0.03125, >= 0, <= 1;
var b834 binary := 0.03125, >= 0, <= 1;
var b835 binary := 0.03125, >= 0, <= 1;
var b836 binary := 0.03125, >= 0, <= 1;
var b837 binary := 0.03125, >= 0, <= 1;
var b838 binary := 0.03125, >= 0, <= 1;
var b839 binary := 0.03125, >= 0, <= 1;
var b840 binary := 0.03125, >= 0, <= 1;
var b841 binary := 0.03125, >= 0, <= 1;
var b842 binary := 0.03125, >= 0, <= 1;
var b843 binary := 0.03125, >= 0, <= 1;
var b844 binary := 0.03125, >= 0, <= 1;
var b845 binary := 0.03125, >= 0, <= 1;
var b846 binary := 0.03125, >= 0, <= 1;
var b847 binary := 0.03125, >= 0, <= 1;
var b848 binary := 0.03125, >= 0, <= 1;
var b849 binary := 0.03125, >= 0, <= 1;
var b850 binary := 0.03125, >= 0, <= 1;
var b851 binary := 0.03125, >= 0, <= 1;
var b852 binary := 0.03125, >= 0, <= 1;
var b853 binary := 0.03125, >= 0, <= 1;
var b854 binary := 0.03125, >= 0, <= 1;
var b855 binary := 0.03125, >= 0, <= 1;
var b856 binary := 0.03125, >= 0, <= 1;
var b857 binary := 0.03125, >= 0, <= 1;
var b858 binary := 0.03125, >= 0, <= 1;
var b859 binary := 0.03125, >= 0, <= 1;
var b860 binary := 0.03125, >= 0, <= 1;
var b861 binary := 0.03125, >= 0, <= 1;
var b862 binary := 0.03125, >= 0, <= 1;
var b863 binary := 0.03125, >= 0, <= 1;
var b864 binary := 0.03125, >= 0, <= 1;
var b865 binary := 0.03125, >= 0, <= 1;
var b866 binary := 0.03125, >= 0, <= 1;
var b867 binary := 0.03125, >= 0, <= 1;
var b868 binary := 0.03125, >= 0, <= 1;
var b869 binary := 0.03125, >= 0, <= 1;
var b870 binary := 0.03125, >= 0, <= 1;
var b871 binary := 0.03125, >= 0, <= 1;
var b872 binary := 0.03125, >= 0, <= 1;
var b873 binary := 0.03125, >= 0, <= 1;
var b874 binary := 0.03125, >= 0, <= 1;
var b875 binary := 0.03125, >= 0, <= 1;
var b876 binary := 0.03125, >= 0, <= 1;
var b877 binary := 0.03125, >= 0, <= 1;
var b878 binary := 0.03125, >= 0, <= 1;
var b879 binary := 0.03125, >= 0, <= 1;
var b880 binary := 0.03125, >= 0, <= 1;
var b881 binary := 0.03125, >= 0, <= 1;
var b882 binary := 0.03125, >= 0, <= 1;
var b883 binary := 0.03125, >= 0, <= 1;
var b884 binary := 0.03125, >= 0, <= 1;
var b885 binary := 0.03125, >= 0, <= 1;
var b886 binary := 0.03125, >= 0, <= 1;
var b887 binary := 0.03125, >= 0, <= 1;
var b888 binary := 0.03125, >= 0, <= 1;
var b889 binary := 0.03125, >= 0, <= 1;
var b890 binary := 0.03125, >= 0, <= 1;
var b891 binary := 0.03125, >= 0, <= 1;
var b892 binary := 0.03125, >= 0, <= 1;
var b893 binary := 0.03125, >= 0, <= 1;
var b894 binary := 0.03125, >= 0, <= 1;
var b895 binary := 0.03125, >= 0, <= 1;
var b896 binary := 0.03125, >= 0, <= 1;
var b897 binary := 0.03125, >= 0, <= 1;
var b898 binary := 0.03125, >= 0, <= 1;
var b899 binary := 0.03125, >= 0, <= 1;
var b900 binary := 0.03125, >= 0, <= 1;
var b901 binary := 0.03125, >= 0, <= 1;
var b902 binary := 0.03125, >= 0, <= 1;
var b903 binary := 0.03125, >= 0, <= 1;
var b904 binary := 0.03125, >= 0, <= 1;
var b905 binary := 0.03125, >= 0, <= 1;
var b906 binary := 0.03125, >= 0, <= 1;
var b907 binary := 0.03125, >= 0, <= 1;
var b908 binary := 0.03125, >= 0, <= 1;
var b909 binary := 0.03125, >= 0, <= 1;
var b910 binary := 0.03125, >= 0, <= 1;
var b911 binary := 0.03125, >= 0, <= 1;
var b912 binary := 0.03125, >= 0, <= 1;
var b913 binary := 0.03125, >= 0, <= 1;
var b914 binary := 0.03125, >= 0, <= 1;
var b915 binary := 0.03125, >= 0, <= 1;
var b916 binary := 0.03125, >= 0, <= 1;
var b917 binary := 0.03125, >= 0, <= 1;
var b918 binary := 0.03125, >= 0, <= 1;
var b919 binary := 0.03125, >= 0, <= 1;
var b920 binary := 0.03125, >= 0, <= 1;
var b921 binary := 0.03125, >= 0, <= 1;
var b922 binary := 0.03125, >= 0, <= 1;
var b923 binary := 0.03125, >= 0, <= 1;
var b924 binary := 0.03125, >= 0, <= 1;
var b925 binary := 0.03125, >= 0, <= 1;
var b926 binary := 0.03125, >= 0, <= 1;
var b927 binary := 0.03125, >= 0, <= 1;
var b928 binary := 0.03125, >= 0, <= 1;
var b929 binary := 0.03125, >= 0, <= 1;
var b930 binary := 0.03125, >= 0, <= 1;
var b931 binary := 0.03125, >= 0, <= 1;
var b932 binary := 0.03125, >= 0, <= 1;
var b933 binary := 0.03125, >= 0, <= 1;
var b934 binary := 0.03125, >= 0, <= 1;
var b935 binary := 0.03125, >= 0, <= 1;
var b936 binary := 0.03125, >= 0, <= 1;
var b937 binary := 0.03125, >= 0, <= 1;
var b938 binary := 0.03125, >= 0, <= 1;
var b939 binary := 0.03125, >= 0, <= 1;
var b940 binary := 0.03125, >= 0, <= 1;
var b941 binary := 0.03125, >= 0, <= 1;
var b942 binary := 0.03125, >= 0, <= 1;
var b943 binary := 0.03125, >= 0, <= 1;
var b944 binary := 0.03125, >= 0, <= 1;
var b945 binary := 0.03125, >= 0, <= 1;
var b946 binary := 0.03125, >= 0, <= 1;
var b947 binary := 0.03125, >= 0, <= 1;
var b948 binary := 0.03125, >= 0, <= 1;
var b949 binary := 0.03125, >= 0, <= 1;
var b950 binary := 0.03125, >= 0, <= 1;
var b951 binary := 0.03125, >= 0, <= 1;
var b952 binary := 0.03125, >= 0, <= 1;
var b953 binary := 0.03125, >= 0, <= 1;
var b954 binary := 0.03125, >= 0, <= 1;
var b955 binary := 0.03125, >= 0, <= 1;
var b956 binary := 0.03125, >= 0, <= 1;
var b957 binary := 0.03125, >= 0, <= 1;
var b958 binary := 0.03125, >= 0, <= 1;
var b959 binary := 0.03125, >= 0, <= 1;
var b960 binary := 0.03125, >= 0, <= 1;
var b961 binary := 0.03125, >= 0, <= 1;
var b962 binary := 0.03125, >= 0, <= 1;
var b963 binary := 0.03125, >= 0, <= 1;
var b964 binary := 0.03125, >= 0, <= 1;
var b965 binary := 0.03125, >= 0, <= 1;
var b966 binary := 0.03125, >= 0, <= 1;
var b967 binary := 0.03125, >= 0, <= 1;
var b968 binary := 0.03125, >= 0, <= 1;
var b969 binary := 0.03125, >= 0, <= 1;
var b970 binary := 0.03125, >= 0, <= 1;
var b971 binary := 0.03125, >= 0, <= 1;
var b972 binary := 0.03125, >= 0, <= 1;
var b973 binary := 0.03125, >= 0, <= 1;
var b974 binary := 0.03125, >= 0, <= 1;
var b975 binary := 0.03125, >= 0, <= 1;
var b976 binary := 0.03125, >= 0, <= 1;
var b977 binary := 0.03125, >= 0, <= 1;
var b978 binary := 0.03125, >= 0, <= 1;
var b979 binary := 0.03125, >= 0, <= 1;
var b980 binary := 0.03125, >= 0, <= 1;
var b981 binary := 0.03125, >= 0, <= 1;
var b982 binary := 0.03125, >= 0, <= 1;
var b983 binary := 0.03125, >= 0, <= 1;
var b984 binary := 0.03125, >= 0, <= 1;
var b985 binary := 0.03125, >= 0, <= 1;
var b986 binary := 0.03125, >= 0, <= 1;
var b987 binary := 0.03125, >= 0, <= 1;
var b988 binary := 0.03125, >= 0, <= 1;
var b989 binary := 0.03125, >= 0, <= 1;
var b990 binary := 0.03125, >= 0, <= 1;
var b991 binary := 0.03125, >= 0, <= 1;
var b992 binary := 0.03125, >= 0, <= 1;

minimize obj:  - x392;

subject to

e2: -(b417*x200 + b418*x208 + b419*x216 + b420*x224 + b421*x232 + b422*x240 + 
    b423*x248 + b424*x256 + b425*x264 + b426*x272 + b427*x280 + b428*x288 + 
    b429*x296 + b430*x304 + b431*x312 + b432*x320 + b433*x328 + b434*x336 + 
    b435*x344 + b436*x352 + b437*x360 + b438*x368 + b439*x376 + b440*x384)
     + x193 - 1.2*b393 = 0;

e3: -(b441*x200 + b442*x208 + b443*x216 + b444*x224 + b445*x232 + b446*x240 + 
    b447*x248 + b448*x256 + b449*x264 + b450*x272 + b451*x280 + b452*x288 + 
    b453*x296 + b454*x304 + b455*x312 + b456*x320 + b457*x328 + b458*x336 + 
    b459*x344 + b460*x352 + b461*x360 + b462*x368 + b463*x376 + b464*x384)
     + x201 - 1.2*b394 = 0;

e4: -(b465*x200 + b466*x208 + b467*x216 + b468*x224 + b469*x232 + b470*x240 + 
    b471*x248 + b472*x256 + b473*x264 + b474*x272 + b475*x280 + b476*x288 + 
    b477*x296 + b478*x304 + b479*x312 + b480*x320 + b481*x328 + b482*x336 + 
    b483*x344 + b484*x352 + b485*x360 + b486*x368 + b487*x376 + b488*x384)
     + x209 - 1.2*b395 = 0;

e5: -(b489*x200 + b490*x208 + b491*x216 + b492*x224 + b493*x232 + b494*x240 + 
    b495*x248 + b496*x256 + b497*x264 + b498*x272 + b499*x280 + b500*x288 + 
    b501*x296 + b502*x304 + b503*x312 + b504*x320 + b505*x328 + b506*x336 + 
    b507*x344 + b508*x352 + b509*x360 + b510*x368 + b511*x376 + b512*x384)
     + x217 - 1.2*b396 = 0;

e6: -(b513*x200 + b514*x208 + b515*x216 + b516*x224 + b517*x232 + b518*x240 + 
    b519*x248 + b520*x256 + b521*x264 + b522*x272 + b523*x280 + b524*x288 + 
    b525*x296 + b526*x304 + b527*x312 + b528*x320 + b529*x328 + b530*x336 + 
    b531*x344 + b532*x352 + b533*x360 + b534*x368 + b535*x376 + b536*x384)
     + x225 - 1.2*b397 = 0;

e7: -(b537*x200 + b538*x208 + b539*x216 + b540*x224 + b541*x232 + b542*x240 + 
    b543*x248 + b544*x256 + b545*x264 + b546*x272 + b547*x280 + b548*x288 + 
    b549*x296 + b550*x304 + b551*x312 + b552*x320 + b553*x328 + b554*x336 + 
    b555*x344 + b556*x352 + b557*x360 + b558*x368 + b559*x376 + b560*x384)
     + x233 - 1.2*b398 = 0;

e8: -(b561*x200 + b562*x208 + b563*x216 + b564*x224 + b565*x232 + b566*x240 + 
    b567*x248 + b568*x256 + b569*x264 + b570*x272 + b571*x280 + b572*x288 + 
    b573*x296 + b574*x304 + b575*x312 + b576*x320 + b577*x328 + b578*x336 + 
    b579*x344 + b580*x352 + b581*x360 + b582*x368 + b583*x376 + b584*x384)
     + x241 - 1.2*b399 = 0;

e9: -(b585*x200 + b586*x208 + b587*x216 + b588*x224 + b589*x232 + b590*x240 + 
    b591*x248 + b592*x256 + b593*x264 + b594*x272 + b595*x280 + b596*x288 + 
    b597*x296 + b598*x304 + b599*x312 + b600*x320 + b601*x328 + b602*x336 + 
    b603*x344 + b604*x352 + b605*x360 + b606*x368 + b607*x376 + b608*x384)
     + x249 - 1.2*b400 = 0;

e10: -(b609*x200 + b610*x208 + b611*x216 + b612*x224 + b613*x232 + b614*x240 + 
     b615*x248 + b616*x256 + b617*x264 + b618*x272 + b619*x280 + b620*x288 + 
     b621*x296 + b622*x304 + b623*x312 + b624*x320 + b625*x328 + b626*x336 + 
     b627*x344 + b628*x352 + b629*x360 + b630*x368 + b631*x376 + b632*x384)
      + x257 - 1.2*b401 = 0;

e11: -(b633*x200 + b634*x208 + b635*x216 + b636*x224 + b637*x232 + b638*x240 + 
     b639*x248 + b640*x256 + b641*x264 + b642*x272 + b643*x280 + b644*x288 + 
     b645*x296 + b646*x304 + b647*x312 + b648*x320 + b649*x328 + b650*x336 + 
     b651*x344 + b652*x352 + b653*x360 + b654*x368 + b655*x376 + b656*x384)
      + x265 - 1.2*b402 = 0;

e12: -(b657*x200 + b658*x208 + b659*x216 + b660*x224 + b661*x232 + b662*x240 + 
     b663*x248 + b664*x256 + b665*x264 + b666*x272 + b667*x280 + b668*x288 + 
     b669*x296 + b670*x304 + b671*x312 + b672*x320 + b673*x328 + b674*x336 + 
     b675*x344 + b676*x352 + b677*x360 + b678*x368 + b679*x376 + b680*x384)
      + x273 - 1.2*b403 = 0;

e13: -(b681*x200 + b682*x208 + b683*x216 + b684*x224 + b685*x232 + b686*x240 + 
     b687*x248 + b688*x256 + b689*x264 + b690*x272 + b691*x280 + b692*x288 + 
     b693*x296 + b694*x304 + b695*x312 + b696*x320 + b697*x328 + b698*x336 + 
     b699*x344 + b700*x352 + b701*x360 + b702*x368 + b703*x376 + b704*x384)
      + x281 - 1.2*b404 = 0;

e14: -(b705*x200 + b706*x208 + b707*x216 + b708*x224 + b709*x232 + b710*x240 + 
     b711*x248 + b712*x256 + b713*x264 + b714*x272 + b715*x280 + b716*x288 + 
     b717*x296 + b718*x304 + b719*x312 + b720*x320 + b721*x328 + b722*x336 + 
     b723*x344 + b724*x352 + b725*x360 + b726*x368 + b727*x376 + b728*x384)
      + x289 - 1.2*b405 = 0;

e15: -(b729*x200 + b730*x208 + b731*x216 + b732*x224 + b733*x232 + b734*x240 + 
     b735*x248 + b736*x256 + b737*x264 + b738*x272 + b739*x280 + b740*x288 + 
     b741*x296 + b742*x304 + b743*x312 + b744*x320 + b745*x328 + b746*x336 + 
     b747*x344 + b748*x352 + b749*x360 + b750*x368 + b751*x376 + b752*x384)
      + x297 - 1.2*b406 = 0;

e16: -(b753*x200 + b754*x208 + b755*x216 + b756*x224 + b757*x232 + b758*x240 + 
     b759*x248 + b760*x256 + b761*x264 + b762*x272 + b763*x280 + b764*x288 + 
     b765*x296 + b766*x304 + b767*x312 + b768*x320 + b769*x328 + b770*x336 + 
     b771*x344 + b772*x352 + b773*x360 + b774*x368 + b775*x376 + b776*x384)
      + x305 - 1.2*b407 = 0;

e17: -(b777*x200 + b778*x208 + b779*x216 + b780*x224 + b781*x232 + b782*x240 + 
     b783*x248 + b784*x256 + b785*x264 + b786*x272 + b787*x280 + b788*x288 + 
     b789*x296 + b790*x304 + b791*x312 + b792*x320 + b793*x328 + b794*x336 + 
     b795*x344 + b796*x352 + b797*x360 + b798*x368 + b799*x376 + b800*x384)
      + x313 - 1.2*b408 = 0;

e18: -(b801*x200 + b802*x208 + b803*x216 + b804*x224 + b805*x232 + b806*x240 + 
     b807*x248 + b808*x256 + b809*x264 + b810*x272 + b811*x280 + b812*x288 + 
     b813*x296 + b814*x304 + b815*x312 + b816*x320 + b817*x328 + b818*x336 + 
     b819*x344 + b820*x352 + b821*x360 + b822*x368 + b823*x376 + b824*x384)
      + x321 - 1.2*b409 = 0;

e19: -(b825*x200 + b826*x208 + b827*x216 + b828*x224 + b829*x232 + b830*x240 + 
     b831*x248 + b832*x256 + b833*x264 + b834*x272 + b835*x280 + b836*x288 + 
     b837*x296 + b838*x304 + b839*x312 + b840*x320 + b841*x328 + b842*x336 + 
     b843*x344 + b844*x352 + b845*x360 + b846*x368 + b847*x376 + b848*x384)
      + x329 - 1.2*b410 = 0;

e20: -(b849*x200 + b850*x208 + b851*x216 + b852*x224 + b853*x232 + b854*x240 + 
     b855*x248 + b856*x256 + b857*x264 + b858*x272 + b859*x280 + b860*x288 + 
     b861*x296 + b862*x304 + b863*x312 + b864*x320 + b865*x328 + b866*x336 + 
     b867*x344 + b868*x352 + b869*x360 + b870*x368 + b871*x376 + b872*x384)
      + x337 - 1.2*b411 = 0;

e21: -(b873*x200 + b874*x208 + b875*x216 + b876*x224 + b877*x232 + b878*x240 + 
     b879*x248 + b880*x256 + b881*x264 + b882*x272 + b883*x280 + b884*x288 + 
     b885*x296 + b886*x304 + b887*x312 + b888*x320 + b889*x328 + b890*x336 + 
     b891*x344 + b892*x352 + b893*x360 + b894*x368 + b895*x376 + b896*x384)
      + x345 - 1.2*b412 = 0;

e22: -(b897*x200 + b898*x208 + b899*x216 + b900*x224 + b901*x232 + b902*x240 + 
     b903*x248 + b904*x256 + b905*x264 + b906*x272 + b907*x280 + b908*x288 + 
     b909*x296 + b910*x304 + b911*x312 + b912*x320 + b913*x328 + b914*x336 + 
     b915*x344 + b916*x352 + b917*x360 + b918*x368 + b919*x376 + b920*x384)
      + x353 - 1.2*b413 = 0;

e23: -(b921*x200 + b922*x208 + b923*x216 + b924*x224 + b925*x232 + b926*x240 + 
     b927*x248 + b928*x256 + b929*x264 + b930*x272 + b931*x280 + b932*x288 + 
     b933*x296 + b934*x304 + b935*x312 + b936*x320 + b937*x328 + b938*x336 + 
     b939*x344 + b940*x352 + b941*x360 + b942*x368 + b943*x376 + b944*x384)
      + x361 - 1.2*b414 = 0;

e24: -(b945*x200 + b946*x208 + b947*x216 + b948*x224 + b949*x232 + b950*x240 + 
     b951*x248 + b952*x256 + b953*x264 + b954*x272 + b955*x280 + b956*x288 + 
     b957*x296 + b958*x304 + b959*x312 + b960*x320 + b961*x328 + b962*x336 + 
     b963*x344 + b964*x352 + b965*x360 + b966*x368 + b967*x376 + b968*x384)
      + x369 - 1.2*b415 = 0;

e25: -(b969*x200 + b970*x208 + b971*x216 + b972*x224 + b973*x232 + b974*x240 + 
     b975*x248 + b976*x256 + b977*x264 + b978*x272 + b979*x280 + b980*x288 + 
     b981*x296 + b982*x304 + b983*x312 + b984*x320 + b985*x328 + b986*x336 + 
     b987*x344 + b988*x352 + b989*x360 + b990*x368 + b991*x376 + b992*x384)
      + x377 - 1.2*b416 = 0;

e26: 0.805*x193*x1 + 0.0084*x201*x9 + 0.0948*x241*x49 + 0.0918*x249*x57 - x1*
     x385 = 0;

e27: 0.805*x194*x2 + 0.0084*x202*x10 + 0.0948*x242*x50 + 0.0918*x250*x58 - x2*
     x386 = 0;

e28: 0.805*x195*x3 + 0.0084*x203*x11 + 0.0948*x243*x51 + 0.0918*x251*x59 - x3*
     x387 = 0;

e29: 0.805*x196*x4 + 0.0084*x204*x12 + 0.0948*x244*x52 + 0.0918*x252*x60 - x4*
     x388 = 0;

e30: 0.805*x197*x5 + 0.0084*x205*x13 + 0.0948*x245*x53 + 0.0918*x253*x61 - x5*
     x389 = 0;

e31: 0.805*x198*x6 + 0.0084*x206*x14 + 0.0948*x246*x54 + 0.0918*x254*x62 - x6*
     x390 = 0;

e32: 0.805*x199*x7 + 0.0084*x207*x15 + 0.0948*x247*x55 + 0.0918*x255*x63 - x7*
     x391 = 0;

e33: 0.805*x200*x8 + 0.0084*x208*x16 + 0.0948*x248*x56 + 0.0918*x256*x64 - x8*
     x392 = 0;

e34: 0.0603*x193*x1 + 0.4693*x201*x9 + 0.1616*x209*x17 + 0.095*x241*x49 + 
     0.1356*x249*x57 + 0.0781*x257*x65 - x9*x385 = 0;

e35: 0.0603*x194*x2 + 0.4693*x202*x10 + 0.1616*x210*x18 + 0.095*x242*x50 + 
     0.1356*x250*x58 + 0.0781*x258*x66 - x10*x386 = 0;

e36: 0.0603*x195*x3 + 0.4693*x203*x11 + 0.1616*x211*x19 + 0.095*x243*x51 + 
     0.1356*x251*x59 + 0.0781*x259*x67 - x11*x387 = 0;

e37: 0.0603*x196*x4 + 0.4693*x204*x12 + 0.1616*x212*x20 + 0.095*x244*x52 + 
     0.1356*x252*x60 + 0.0781*x260*x68 - x12*x388 = 0;

e38: 0.0603*x197*x5 + 0.4693*x205*x13 + 0.1616*x213*x21 + 0.095*x245*x53 + 
     0.1356*x253*x61 + 0.0781*x261*x69 - x13*x389 = 0;

e39: 0.0603*x198*x6 + 0.4693*x206*x14 + 0.1616*x214*x22 + 0.095*x246*x54 + 
     0.1356*x254*x62 + 0.0781*x262*x70 - x14*x390 = 0;

e40: 0.0603*x199*x7 + 0.4693*x207*x15 + 0.1616*x215*x23 + 0.095*x247*x55 + 
     0.1356*x255*x63 + 0.0781*x263*x71 - x15*x391 = 0;

e41: 0.0603*x200*x8 + 0.4693*x208*x16 + 0.1616*x216*x24 + 0.095*x248*x56 + 
     0.1356*x256*x64 + 0.0781*x264*x72 - x16*x392 = 0;

e42: 0.1779*x201*x9 + 0.2147*x209*x17 + 0.1649*x217*x25 + 0.087*x249*x57 + 
     0.2556*x257*x65 + 0.1*x265*x73 - x17*x385 = 0;

e43: 0.1779*x202*x10 + 0.2147*x210*x18 + 0.1649*x218*x26 + 0.087*x250*x58 + 
     0.2556*x258*x66 + 0.1*x266*x74 - x18*x386 = 0;

e44: 0.1779*x203*x11 + 0.2147*x211*x19 + 0.1649*x219*x27 + 0.087*x251*x59 + 
     0.2556*x259*x67 + 0.1*x267*x75 - x19*x387 = 0;

e45: 0.1779*x204*x12 + 0.2147*x212*x20 + 0.1649*x220*x28 + 0.087*x252*x60 + 
     0.2556*x260*x68 + 0.1*x268*x76 - x20*x388 = 0;

e46: 0.1779*x205*x13 + 0.2147*x213*x21 + 0.1649*x221*x29 + 0.087*x253*x61 + 
     0.2556*x261*x69 + 0.1*x269*x77 - x21*x389 = 0;

e47: 0.1779*x206*x14 + 0.2147*x214*x22 + 0.1649*x222*x30 + 0.087*x254*x62 + 
     0.2556*x262*x70 + 0.1*x270*x78 - x22*x390 = 0;

e48: 0.1779*x207*x15 + 0.2147*x215*x23 + 0.1649*x223*x31 + 0.087*x255*x63 + 
     0.2556*x263*x71 + 0.1*x271*x79 - x23*x391 = 0;

e49: 0.1779*x208*x16 + 0.2147*x216*x24 + 0.1649*x224*x32 + 0.087*x256*x64 + 
     0.2556*x264*x72 + 0.1*x272*x80 - x24*x392 = 0;

e50: 0.2026*x209*x17 + 0.1786*x217*x25 + 0.1192*x225*x33 + 0.1665*x257*x65 + 
     0.1452*x265*x73 + 0.1879*x273*x81 - x25*x385 = 0;

e51: 0.2026*x210*x18 + 0.1786*x218*x26 + 0.1192*x226*x34 + 0.1665*x258*x66 + 
     0.1452*x266*x74 + 0.1879*x274*x82 - x26*x386 = 0;

e52: 0.2026*x211*x19 + 0.1786*x219*x27 + 0.1192*x227*x35 + 0.1665*x259*x67 + 
     0.1452*x267*x75 + 0.1879*x275*x83 - x27*x387 = 0;

e53: 0.2026*x212*x20 + 0.1786*x220*x28 + 0.1192*x228*x36 + 0.1665*x260*x68 + 
     0.1452*x268*x76 + 0.1879*x276*x84 - x28*x388 = 0;

e54: 0.2026*x213*x21 + 0.1786*x221*x29 + 0.1192*x229*x37 + 0.1665*x261*x69 + 
     0.1452*x269*x77 + 0.1879*x277*x85 - x29*x389 = 0;

e55: 0.2026*x214*x22 + 0.1786*x222*x30 + 0.1192*x230*x38 + 0.1665*x262*x70 + 
     0.1452*x270*x78 + 0.1879*x278*x86 - x30*x390 = 0;

e56: 0.2026*x215*x23 + 0.1786*x223*x31 + 0.1192*x231*x39 + 0.1665*x263*x71 + 
     0.1452*x271*x79 + 0.1879*x279*x87 - x31*x391 = 0;

e57: 0.2026*x216*x24 + 0.1786*x224*x32 + 0.1192*x232*x40 + 0.1665*x264*x72 + 
     0.1452*x272*x80 + 0.1879*x280*x88 - x32*x392 = 0;

e58: 0.206*x217*x25 + 0.2515*x225*x33 + 0.1994*x233*x41 + 0.1675*x265*x73 + 
     0.1756*x273*x81 - x33*x385 = 0;

e59: 0.206*x218*x26 + 0.2515*x226*x34 + 0.1994*x234*x42 + 0.1675*x266*x74 + 
     0.1756*x274*x82 - x34*x386 = 0;

e60: 0.206*x219*x27 + 0.2515*x227*x35 + 0.1994*x235*x43 + 0.1675*x267*x75 + 
     0.1756*x275*x83 - x35*x387 = 0;

e61: 0.206*x220*x28 + 0.2515*x228*x36 + 0.1994*x236*x44 + 0.1675*x268*x76 + 
     0.1756*x276*x84 - x36*x388 = 0;

e62: 0.206*x221*x29 + 0.2515*x229*x37 + 0.1994*x237*x45 + 0.1675*x269*x77 + 
     0.1756*x277*x85 - x37*x389 = 0;

e63: 0.206*x222*x30 + 0.2515*x230*x38 + 0.1994*x238*x46 + 0.1675*x270*x78 + 
     0.1756*x278*x86 - x38*x390 = 0;

e64: 0.206*x223*x31 + 0.2515*x231*x39 + 0.1994*x239*x47 + 0.1675*x271*x79 + 
     0.1756*x279*x87 - x39*x391 = 0;

e65: 0.206*x224*x32 + 0.2515*x232*x40 + 0.1994*x240*x48 + 0.1675*x272*x80 + 
     0.1756*x280*x88 - x40*x392 = 0;

e66: 0.1809*x225*x33 + 0.7953*x233*x41 + 0.0238*x273*x81 - x41*x385 = 0;

e67: 0.1809*x226*x34 + 0.7953*x234*x42 + 0.0238*x274*x82 - x42*x386 = 0;

e68: 0.1809*x227*x35 + 0.7953*x235*x43 + 0.0238*x275*x83 - x43*x387 = 0;

e69: 0.1809*x228*x36 + 0.7953*x236*x44 + 0.0238*x276*x84 - x44*x388 = 0;

e70: 0.1809*x229*x37 + 0.7953*x237*x45 + 0.0238*x277*x85 - x45*x389 = 0;

e71: 0.1809*x230*x38 + 0.7953*x238*x46 + 0.0238*x278*x86 - x46*x390 = 0;

e72: 0.1809*x231*x39 + 0.7953*x239*x47 + 0.0238*x279*x87 - x47*x391 = 0;

e73: 0.1809*x232*x40 + 0.7953*x240*x48 + 0.0238*x280*x88 - x48*x392 = 0;

e74: 0.0274*x193*x1 + 0.1159*x201*x9 + 0.7946*x241*x49 + 0.0088*x249*x57 + 
     0.0132*x281*x89 + 0.0402*x289*x97 - x49*x385 = 0;

e75: 0.0274*x194*x2 + 0.1159*x202*x10 + 0.7946*x242*x50 + 0.0088*x250*x58 + 
     0.0132*x282*x90 + 0.0402*x290*x98 - x50*x386 = 0;

e76: 0.0274*x195*x3 + 0.1159*x203*x11 + 0.7946*x243*x51 + 0.0088*x251*x59 + 
     0.0132*x283*x91 + 0.0402*x291*x99 - x51*x387 = 0;

e77: 0.0274*x196*x4 + 0.1159*x204*x12 + 0.7946*x244*x52 + 0.0088*x252*x60 + 
     0.0132*x284*x92 + 0.0402*x292*x100 - x52*x388 = 0;

e78: 0.0274*x197*x5 + 0.1159*x205*x13 + 0.7946*x245*x53 + 0.0088*x253*x61 + 
     0.0132*x285*x93 + 0.0402*x293*x101 - x53*x389 = 0;

e79: 0.0274*x198*x6 + 0.1159*x206*x14 + 0.7946*x246*x54 + 0.0088*x254*x62 + 
     0.0132*x286*x94 + 0.0402*x294*x102 - x54*x390 = 0;

e80: 0.0274*x199*x7 + 0.1159*x207*x15 + 0.7946*x247*x55 + 0.0088*x255*x63 + 
     0.0132*x287*x95 + 0.0402*x295*x103 - x55*x391 = 0;

e81: 0.0274*x200*x8 + 0.1159*x208*x16 + 0.7946*x248*x56 + 0.0088*x256*x64 + 
     0.0132*x288*x96 + 0.0402*x296*x104 - x56*x392 = 0;

e82: 0.041*x193*x1 + 0.0877*x201*x9 + 0.2708*x209*x17 + 0.0883*x241*x49 + 
     0.3146*x249*x57 + 0.0457*x257*x65 + 0.0571*x281*x89 + 0.0154*x289*x97 + 
     0.0793*x297*x105 - x57*x385 = 0;

e83: 0.041*x194*x2 + 0.0877*x202*x10 + 0.2708*x210*x18 + 0.0883*x242*x50 + 
     0.3146*x250*x58 + 0.0457*x258*x66 + 0.0571*x282*x90 + 0.0154*x290*x98 + 
     0.0793*x298*x106 - x58*x386 = 0;

e84: 0.041*x195*x3 + 0.0877*x203*x11 + 0.2708*x211*x19 + 0.0883*x243*x51 + 
     0.3146*x251*x59 + 0.0457*x259*x67 + 0.0571*x283*x91 + 0.0154*x291*x99 + 
     0.0793*x299*x107 - x59*x387 = 0;

e85: 0.041*x196*x4 + 0.0877*x204*x12 + 0.2708*x212*x20 + 0.0883*x244*x52 + 
     0.3146*x252*x60 + 0.0457*x260*x68 + 0.0571*x284*x92 + 0.0154*x292*x100 + 
     0.0793*x300*x108 - x60*x388 = 0;

e86: 0.041*x197*x5 + 0.0877*x205*x13 + 0.2708*x213*x21 + 0.0883*x245*x53 + 
     0.3146*x253*x61 + 0.0457*x261*x69 + 0.0571*x285*x93 + 0.0154*x293*x101 + 
     0.0793*x301*x109 - x61*x389 = 0;

e87: 0.041*x198*x6 + 0.0877*x206*x14 + 0.2708*x214*x22 + 0.0883*x246*x54 + 
     0.3146*x254*x62 + 0.0457*x262*x70 + 0.0571*x286*x94 + 0.0154*x294*x102 + 
     0.0793*x302*x110 - x62*x390 = 0;

e88: 0.041*x199*x7 + 0.0877*x207*x15 + 0.2708*x215*x23 + 0.0883*x247*x55 + 
     0.3146*x255*x63 + 0.0457*x263*x71 + 0.0571*x287*x95 + 0.0154*x295*x103 + 
     0.0793*x303*x111 - x63*x391 = 0;

e89: 0.041*x200*x8 + 0.0877*x208*x16 + 0.2708*x216*x24 + 0.0883*x248*x56 + 
     0.3146*x256*x64 + 0.0457*x264*x72 + 0.0571*x288*x96 + 0.0154*x296*x104 + 
     0.0793*x304*x112 - x64*x392 = 0;

e90: 0.1769*x201*x9 + 0.1774*x209*x17 + 0.0096*x217*x25 + 0.0777*x249*x57 + 
     0.4427*x257*x65 + 0.0509*x265*x73 + 0.0067*x289*x97 + 0.0308*x297*x105 + 
     0.0273*x305*x113 - x65*x385 = 0;

e91: 0.1769*x202*x10 + 0.1774*x210*x18 + 0.0096*x218*x26 + 0.0777*x250*x58 + 
     0.4427*x258*x66 + 0.0509*x266*x74 + 0.0067*x290*x98 + 0.0308*x298*x106 + 
     0.0273*x306*x114 - x66*x386 = 0;

e92: 0.1769*x203*x11 + 0.1774*x211*x19 + 0.0096*x219*x27 + 0.0777*x251*x59 + 
     0.4427*x259*x67 + 0.0509*x267*x75 + 0.0067*x291*x99 + 0.0308*x299*x107 + 
     0.0273*x307*x115 - x67*x387 = 0;

e93: 0.1769*x204*x12 + 0.1774*x212*x20 + 0.0096*x220*x28 + 0.0777*x252*x60 + 
     0.4427*x260*x68 + 0.0509*x268*x76 + 0.0067*x292*x100 + 0.0308*x300*x108 + 
     0.0273*x308*x116 - x68*x388 = 0;

e94: 0.1769*x205*x13 + 0.1774*x213*x21 + 0.0096*x221*x29 + 0.0777*x253*x61 + 
     0.4427*x261*x69 + 0.0509*x269*x77 + 0.0067*x293*x101 + 0.0308*x301*x109 + 
     0.0273*x309*x117 - x69*x389 = 0;

e95: 0.1769*x206*x14 + 0.1774*x214*x22 + 0.0096*x222*x30 + 0.0777*x254*x62 + 
     0.4427*x262*x70 + 0.0509*x270*x78 + 0.0067*x294*x102 + 0.0308*x302*x110 + 
     0.0273*x310*x118 - x70*x390 = 0;

e96: 0.1769*x207*x15 + 0.1774*x215*x23 + 0.0096*x223*x31 + 0.0777*x255*x63 + 
     0.4427*x263*x71 + 0.0509*x271*x79 + 0.0067*x295*x103 + 0.0308*x303*x111 + 
     0.0273*x311*x119 - x71*x391 = 0;

e97: 0.1769*x208*x16 + 0.1774*x216*x24 + 0.0096*x224*x32 + 0.0777*x256*x64 + 
     0.4427*x264*x72 + 0.0509*x272*x80 + 0.0067*x296*x104 + 0.0308*x304*x112 + 
     0.0273*x312*x120 - x72*x392 = 0;

e98: 0.0495*x209*x17 + 0.2784*x217*x25 + 0.1861*x225*x33 + 0.0328*x257*x65 + 
     0.3675*x265*x73 + 0.0057*x273*x81 + 0.0334*x297*x105 + 0.0296*x305*x113 + 
     0.0171*x313*x121 - x73*x385 = 0;

e99: 0.0495*x210*x18 + 0.2784*x218*x26 + 0.1861*x226*x34 + 0.0328*x258*x66 + 
     0.3675*x266*x74 + 0.0057*x274*x82 + 0.0334*x298*x106 + 0.0296*x306*x114 + 
     0.0171*x314*x122 - x74*x386 = 0;

e100: 0.0495*x211*x19 + 0.2784*x219*x27 + 0.1861*x227*x35 + 0.0328*x259*x67 + 
      0.3675*x267*x75 + 0.0057*x275*x83 + 0.0334*x299*x107 + 0.0296*x307*x115
       + 0.0171*x315*x123 - x75*x387 = 0;

e101: 0.0495*x212*x20 + 0.2784*x220*x28 + 0.1861*x228*x36 + 0.0328*x260*x68 + 
      0.3675*x268*x76 + 0.0057*x276*x84 + 0.0334*x300*x108 + 0.0296*x308*x116
       + 0.0171*x316*x124 - x76*x388 = 0;

e102: 0.0495*x213*x21 + 0.2784*x221*x29 + 0.1861*x229*x37 + 0.0328*x261*x69 + 
      0.3675*x269*x77 + 0.0057*x277*x85 + 0.0334*x301*x109 + 0.0296*x309*x117
       + 0.0171*x317*x125 - x77*x389 = 0;

e103: 0.0495*x214*x22 + 0.2784*x222*x30 + 0.1861*x230*x38 + 0.0328*x262*x70 + 
      0.3675*x270*x78 + 0.0057*x278*x86 + 0.0334*x302*x110 + 0.0296*x310*x118
       + 0.0171*x318*x126 - x78*x390 = 0;

e104: 0.0495*x215*x23 + 0.2784*x223*x31 + 0.1861*x231*x39 + 0.0328*x263*x71 + 
      0.3675*x271*x79 + 0.0057*x279*x87 + 0.0334*x303*x111 + 0.0296*x311*x119
       + 0.0171*x319*x127 - x79*x391 = 0;

e105: 0.0495*x216*x24 + 0.2784*x224*x32 + 0.1861*x232*x40 + 0.0328*x264*x72 + 
      0.3675*x272*x80 + 0.0057*x280*x88 + 0.0334*x304*x112 + 0.0296*x312*x120
       + 0.0171*x320*x128 - x80*x392 = 0;

e106: 0.2074*x217*x25 + 0.2112*x225*x33 + 0.076*x233*x41 + 0.0095*x265*x73 + 
      0.4159*x273*x81 + 0.0222*x305*x113 + 0.0579*x313*x121 - x81*x385 = 0;

e107: 0.2074*x218*x26 + 0.2112*x226*x34 + 0.076*x234*x42 + 0.0095*x266*x74 + 
      0.4159*x274*x82 + 0.0222*x306*x114 + 0.0579*x314*x122 - x82*x386 = 0;

e108: 0.2074*x219*x27 + 0.2112*x227*x35 + 0.076*x235*x43 + 0.0095*x267*x75 + 
      0.4159*x275*x83 + 0.0222*x307*x115 + 0.0579*x315*x123 - x83*x387 = 0;

e109: 0.2074*x220*x28 + 0.2112*x228*x36 + 0.076*x236*x44 + 0.0095*x268*x76 + 
      0.4159*x276*x84 + 0.0222*x308*x116 + 0.0579*x316*x124 - x84*x388 = 0;

e110: 0.2074*x221*x29 + 0.2112*x229*x37 + 0.076*x237*x45 + 0.0095*x269*x77 + 
      0.4159*x277*x85 + 0.0222*x309*x117 + 0.0579*x317*x125 - x85*x389 = 0;

e111: 0.2074*x222*x30 + 0.2112*x230*x38 + 0.076*x238*x46 + 0.0095*x270*x78 + 
      0.4159*x278*x86 + 0.0222*x310*x118 + 0.0579*x318*x126 - x86*x390 = 0;

e112: 0.2074*x223*x31 + 0.2112*x231*x39 + 0.076*x239*x47 + 0.0095*x271*x79 + 
      0.4159*x279*x87 + 0.0222*x311*x119 + 0.0579*x319*x127 - x87*x391 = 0;

e113: 0.2074*x224*x32 + 0.2112*x232*x40 + 0.076*x240*x48 + 0.0095*x272*x80 + 
      0.4159*x280*x88 + 0.0222*x312*x120 + 0.0579*x320*x128 - x88*x392 = 0;

e114: 0.0606*x241*x49 + 0.0443*x249*x57 + 0.7699*x281*x89 + 0.009*x289*x97 + 
      0.0396*x321*x129 + 0.0767*x329*x137 - x89*x385 = 0;

e115: 0.0606*x242*x50 + 0.0443*x250*x58 + 0.7699*x282*x90 + 0.009*x290*x98 + 
      0.0396*x322*x130 + 0.0767*x330*x138 - x90*x386 = 0;

e116: 0.0606*x243*x51 + 0.0443*x251*x59 + 0.7699*x283*x91 + 0.009*x291*x99 + 
      0.0396*x323*x131 + 0.0767*x331*x139 - x91*x387 = 0;

e117: 0.0606*x244*x52 + 0.0443*x252*x60 + 0.7699*x284*x92 + 0.009*x292*x100 + 
      0.0396*x324*x132 + 0.0767*x332*x140 - x92*x388 = 0;

e118: 0.0606*x245*x53 + 0.0443*x253*x61 + 0.7699*x285*x93 + 0.009*x293*x101 + 
      0.0396*x325*x133 + 0.0767*x333*x141 - x93*x389 = 0;

e119: 0.0606*x246*x54 + 0.0443*x254*x62 + 0.7699*x286*x94 + 0.009*x294*x102 + 
      0.0396*x326*x134 + 0.0767*x334*x142 - x94*x390 = 0;

e120: 0.0606*x247*x55 + 0.0443*x255*x63 + 0.7699*x287*x95 + 0.009*x295*x103 + 
      0.0396*x327*x135 + 0.0767*x335*x143 - x95*x391 = 0;

e121: 0.0606*x248*x56 + 0.0443*x256*x64 + 0.7699*x288*x96 + 0.009*x296*x104 + 
      0.0396*x328*x136 + 0.0767*x336*x144 - x96*x392 = 0;

e122: 0.0259*x241*x49 + 0.0594*x249*x57 + 0.0178*x257*x65 + 0.074*x281*x89 + 
      0.5665*x289*x97 + 0.052*x297*x105 + 0.0606*x321*x129 + 0.1055*x329*x137
       + 0.0383*x337*x145 - x97*x385 = 0;

e123: 0.0259*x242*x50 + 0.0594*x250*x58 + 0.0178*x258*x66 + 0.074*x282*x90 + 
      0.5665*x290*x98 + 0.052*x298*x106 + 0.0606*x322*x130 + 0.1055*x330*x138
       + 0.0383*x338*x146 - x98*x386 = 0;

e124: 0.0259*x243*x51 + 0.0594*x251*x59 + 0.0178*x259*x67 + 0.074*x283*x91 + 
      0.5665*x291*x99 + 0.052*x299*x107 + 0.0606*x323*x131 + 0.1055*x331*x139
       + 0.0383*x339*x147 - x99*x387 = 0;

e125: 0.0259*x244*x52 + 0.0594*x252*x60 + 0.0178*x260*x68 + 0.074*x284*x92 + 
      0.5665*x292*x100 + 0.052*x300*x108 + 0.0606*x324*x132 + 0.1055*x332*x140
       + 0.0383*x340*x148 - x100*x388 = 0;

e126: 0.0259*x245*x53 + 0.0594*x253*x61 + 0.0178*x261*x69 + 0.074*x285*x93 + 
      0.5665*x293*x101 + 0.052*x301*x109 + 0.0606*x325*x133 + 0.1055*x333*x141
       + 0.0383*x341*x149 - x101*x389 = 0;

e127: 0.0259*x246*x54 + 0.0594*x254*x62 + 0.0178*x262*x70 + 0.074*x286*x94 + 
      0.5665*x294*x102 + 0.052*x302*x110 + 0.0606*x326*x134 + 0.1055*x334*x142
       + 0.0383*x342*x150 - x102*x390 = 0;

e128: 0.0259*x247*x55 + 0.0594*x255*x63 + 0.0178*x263*x71 + 0.074*x287*x95 + 
      0.5665*x295*x103 + 0.052*x303*x111 + 0.0606*x327*x135 + 0.1055*x335*x143
       + 0.0383*x343*x151 - x103*x391 = 0;

e129: 0.0259*x248*x56 + 0.0594*x256*x64 + 0.0178*x264*x72 + 0.074*x288*x96 + 
      0.5665*x296*x104 + 0.052*x304*x112 + 0.0606*x328*x136 + 0.1055*x336*x144
       + 0.0383*x344*x152 - x104*x392 = 0;

e130: 0.0384*x249*x57 + 0.0223*x257*x65 + 0.0158*x265*x73 + 0.032*x289*x97 + 
      0.6291*x297*x105 + 0.0803*x305*x113 + 0.1152*x329*x137 + 0.0489*x337*x145
       + 0.0179*x345*x153 - x105*x385 = 0;

e131: 0.0384*x250*x58 + 0.0223*x258*x66 + 0.0158*x266*x74 + 0.032*x290*x98 + 
      0.6291*x298*x106 + 0.0803*x306*x114 + 0.1152*x330*x138 + 0.0489*x338*x146
       + 0.0179*x346*x154 - x106*x386 = 0;

e132: 0.0384*x251*x59 + 0.0223*x259*x67 + 0.0158*x267*x75 + 0.032*x291*x99 + 
      0.6291*x299*x107 + 0.0803*x307*x115 + 0.1152*x331*x139 + 0.0489*x339*x147
       + 0.0179*x347*x155 - x107*x387 = 0;

e133: 0.0384*x252*x60 + 0.0223*x260*x68 + 0.0158*x268*x76 + 0.032*x292*x100 + 
      0.6291*x300*x108 + 0.0803*x308*x116 + 0.1152*x332*x140 + 0.0489*x340*x148
       + 0.0179*x348*x156 - x108*x388 = 0;

e134: 0.0384*x253*x61 + 0.0223*x261*x69 + 0.0158*x269*x77 + 0.032*x293*x101 + 
      0.6291*x301*x109 + 0.0803*x309*x117 + 0.1152*x333*x141 + 0.0489*x341*x149
       + 0.0179*x349*x157 - x109*x389 = 0;

e135: 0.0384*x254*x62 + 0.0223*x262*x70 + 0.0158*x270*x78 + 0.032*x294*x102 + 
      0.6291*x302*x110 + 0.0803*x310*x118 + 0.1152*x334*x142 + 0.0489*x342*x150
       + 0.0179*x350*x158 - x110*x390 = 0;

e136: 0.0384*x255*x63 + 0.0223*x263*x71 + 0.0158*x271*x79 + 0.032*x295*x103 + 
      0.6291*x303*x111 + 0.0803*x311*x119 + 0.1152*x335*x143 + 0.0489*x343*x151
       + 0.0179*x351*x159 - x111*x391 = 0;

e137: 0.0384*x256*x64 + 0.0223*x264*x72 + 0.0158*x272*x80 + 0.032*x296*x104 + 
      0.6291*x304*x112 + 0.0803*x312*x120 + 0.1152*x336*x144 + 0.0489*x344*x152
       + 0.0179*x352*x160 - x112*x392 = 0;

e138: 0.0322*x257*x65 + 0.0179*x265*x73 + 0.0017*x273*x81 + 0.106*x297*x105 + 
      0.718*x305*x113 + 0.0279*x313*x121 + 0.026*x337*x145 + 0.0703*x345*x153
       - x113*x385 = 0;

e139: 0.0322*x258*x66 + 0.0179*x266*x74 + 0.0017*x274*x82 + 0.106*x298*x106 + 
      0.718*x306*x114 + 0.0279*x314*x122 + 0.026*x338*x146 + 0.0703*x346*x154
       - x114*x386 = 0;

e140: 0.0322*x259*x67 + 0.0179*x267*x75 + 0.0017*x275*x83 + 0.106*x299*x107 + 
      0.718*x307*x115 + 0.0279*x315*x123 + 0.026*x339*x147 + 0.0703*x347*x155
       - x115*x387 = 0;

e141: 0.0322*x260*x68 + 0.0179*x268*x76 + 0.0017*x276*x84 + 0.106*x300*x108 + 
      0.718*x308*x116 + 0.0279*x316*x124 + 0.026*x340*x148 + 0.0703*x348*x156
       - x116*x388 = 0;

e142: 0.0322*x261*x69 + 0.0179*x269*x77 + 0.0017*x277*x85 + 0.106*x301*x109 + 
      0.718*x309*x117 + 0.0279*x317*x125 + 0.026*x341*x149 + 0.0703*x349*x157
       - x117*x389 = 0;

e143: 0.0322*x262*x70 + 0.0179*x270*x78 + 0.0017*x278*x86 + 0.106*x302*x110 + 
      0.718*x310*x118 + 0.0279*x318*x126 + 0.026*x342*x150 + 0.0703*x350*x158
       - x118*x390 = 0;

e144: 0.0322*x263*x71 + 0.0179*x271*x79 + 0.0017*x279*x87 + 0.106*x303*x111 + 
      0.718*x311*x119 + 0.0279*x319*x127 + 0.026*x343*x151 + 0.0703*x351*x159
       - x119*x391 = 0;

e145: 0.0322*x264*x72 + 0.0179*x272*x80 + 0.0017*x280*x88 + 0.106*x304*x112 + 
      0.718*x312*x120 + 0.0279*x320*x128 + 0.026*x344*x152 + 0.0703*x352*x160
       - x120*x392 = 0;

e146: 0.0301*x265*x73 + 0.1163*x273*x81 + 0.0469*x305*x113 + 0.7683*x313*x121
       + 0.0384*x345*x153 - x121*x385 = 0;

e147: 0.0301*x266*x74 + 0.1163*x274*x82 + 0.0469*x306*x114 + 0.7683*x314*x122
       + 0.0384*x346*x154 - x122*x386 = 0;

e148: 0.0301*x267*x75 + 0.1163*x275*x83 + 0.0469*x307*x115 + 0.7683*x315*x123
       + 0.0384*x347*x155 - x123*x387 = 0;

e149: 0.0301*x268*x76 + 0.1163*x276*x84 + 0.0469*x308*x116 + 0.7683*x316*x124
       + 0.0384*x348*x156 - x124*x388 = 0;

e150: 0.0301*x269*x77 + 0.1163*x277*x85 + 0.0469*x309*x117 + 0.7683*x317*x125
       + 0.0384*x349*x157 - x125*x389 = 0;

e151: 0.0301*x270*x78 + 0.1163*x278*x86 + 0.0469*x310*x118 + 0.7683*x318*x126
       + 0.0384*x350*x158 - x126*x390 = 0;

e152: 0.0301*x271*x79 + 0.1163*x279*x87 + 0.0469*x311*x119 + 0.7683*x319*x127
       + 0.0384*x351*x159 - x127*x391 = 0;

e153: 0.0301*x272*x80 + 0.1163*x280*x88 + 0.0469*x312*x120 + 0.7683*x320*x128
       + 0.0384*x352*x160 - x128*x392 = 0;

e154: 0.1014*x281*x89 + 0.0928*x289*x97 + 0.4066*x321*x129 + 0.0963*x329*x137
       + 0.1273*x353*x161 + 0.1756*x361*x169 - x129*x385 = 0;

e155: 0.1014*x282*x90 + 0.0928*x290*x98 + 0.4066*x322*x130 + 0.0963*x330*x138
       + 0.1273*x354*x162 + 0.1756*x362*x170 - x130*x386 = 0;

e156: 0.1014*x283*x91 + 0.0928*x291*x99 + 0.4066*x323*x131 + 0.0963*x331*x139
       + 0.1273*x355*x163 + 0.1756*x363*x171 - x131*x387 = 0;

e157: 0.1014*x284*x92 + 0.0928*x292*x100 + 0.4066*x324*x132 + 0.0963*x332*x140
       + 0.1273*x356*x164 + 0.1756*x364*x172 - x132*x388 = 0;

e158: 0.1014*x285*x93 + 0.0928*x293*x101 + 0.4066*x325*x133 + 0.0963*x333*x141
       + 0.1273*x357*x165 + 0.1756*x365*x173 - x133*x389 = 0;

e159: 0.1014*x286*x94 + 0.0928*x294*x102 + 0.4066*x326*x134 + 0.0963*x334*x142
       + 0.1273*x358*x166 + 0.1756*x366*x174 - x134*x390 = 0;

e160: 0.1014*x287*x95 + 0.0928*x295*x103 + 0.4066*x327*x135 + 0.0963*x335*x143
       + 0.1273*x359*x167 + 0.1756*x367*x175 - x135*x391 = 0;

e161: 0.1014*x288*x96 + 0.0928*x296*x104 + 0.4066*x328*x136 + 0.0963*x336*x144
       + 0.1273*x360*x168 + 0.1756*x368*x176 - x136*x392 = 0;

e162: 0.0717*x281*x89 + 0.0516*x289*x97 + 0.0711*x297*x105 + 0.0215*x321*x129
       + 0.5179*x329*x137 + 0.0428*x337*x145 + 0.0353*x353*x161 + 0.0995*x361*
      x169 + 0.0887*x369*x177 - x137*x385 = 0;

e163: 0.0717*x282*x90 + 0.0516*x290*x98 + 0.0711*x298*x106 + 0.0215*x322*x130
       + 0.5179*x330*x138 + 0.0428*x338*x146 + 0.0353*x354*x162 + 0.0995*x362*
      x170 + 0.0887*x370*x178 - x138*x386 = 0;

e164: 0.0717*x283*x91 + 0.0516*x291*x99 + 0.0711*x299*x107 + 0.0215*x323*x131
       + 0.5179*x331*x139 + 0.0428*x339*x147 + 0.0353*x355*x163 + 0.0995*x363*
      x171 + 0.0887*x371*x179 - x139*x387 = 0;

e165: 0.0717*x284*x92 + 0.0516*x292*x100 + 0.0711*x300*x108 + 0.0215*x324*x132
       + 0.5179*x332*x140 + 0.0428*x340*x148 + 0.0353*x356*x164 + 0.0995*x364*
      x172 + 0.0887*x372*x180 - x140*x388 = 0;

e166: 0.0717*x285*x93 + 0.0516*x293*x101 + 0.0711*x301*x109 + 0.0215*x325*x133
       + 0.5179*x333*x141 + 0.0428*x341*x149 + 0.0353*x357*x165 + 0.0995*x365*
      x173 + 0.0887*x373*x181 - x141*x389 = 0;

e167: 0.0717*x286*x94 + 0.0516*x294*x102 + 0.0711*x302*x110 + 0.0215*x326*x134
       + 0.5179*x334*x142 + 0.0428*x342*x150 + 0.0353*x358*x166 + 0.0995*x366*
      x174 + 0.0887*x374*x182 - x142*x390 = 0;

e168: 0.0717*x287*x95 + 0.0516*x295*x103 + 0.0711*x303*x111 + 0.0215*x327*x135
       + 0.5179*x335*x143 + 0.0428*x343*x151 + 0.0353*x359*x167 + 0.0995*x367*
      x175 + 0.0887*x375*x183 - x143*x391 = 0;

e169: 0.0717*x288*x96 + 0.0516*x296*x104 + 0.0711*x304*x112 + 0.0215*x328*x136
       + 0.5179*x336*x144 + 0.0428*x344*x152 + 0.0353*x360*x168 + 0.0995*x368*
      x176 + 0.0887*x376*x184 - x144*x392 = 0;

e170: 0.1063*x289*x97 + 0.0891*x297*x105 + 0.0014*x305*x113 + 0.0696*x329*x137
       + 0.5949*x337*x145 + 0.0712*x345*x153 + 0.0162*x361*x169 + 0.0513*x369*
      x177 - x145*x385 = 0;

e171: 0.1063*x290*x98 + 0.0891*x298*x106 + 0.0014*x306*x114 + 0.0696*x330*x138
       + 0.5949*x338*x146 + 0.0712*x346*x154 + 0.0162*x362*x170 + 0.0513*x370*
      x178 - x146*x386 = 0;

e172: 0.1063*x291*x99 + 0.0891*x299*x107 + 0.0014*x307*x115 + 0.0696*x331*x139
       + 0.5949*x339*x147 + 0.0712*x347*x155 + 0.0162*x363*x171 + 0.0513*x371*
      x179 - x147*x387 = 0;

e173: 0.1063*x292*x100 + 0.0891*x300*x108 + 0.0014*x308*x116 + 0.0696*x332*x140
       + 0.5949*x340*x148 + 0.0712*x348*x156 + 0.0162*x364*x172 + 0.0513*x372*
      x180 - x148*x388 = 0;

e174: 0.1063*x293*x101 + 0.0891*x301*x109 + 0.0014*x309*x117 + 0.0696*x333*x141
       + 0.5949*x341*x149 + 0.0712*x349*x157 + 0.0162*x365*x173 + 0.0513*x373*
      x181 - x149*x389 = 0;

e175: 0.1063*x294*x102 + 0.0891*x302*x110 + 0.0014*x310*x118 + 0.0696*x334*x142
       + 0.5949*x342*x150 + 0.0712*x350*x158 + 0.0162*x366*x174 + 0.0513*x374*
      x182 - x150*x390 = 0;

e176: 0.1063*x295*x103 + 0.0891*x303*x111 + 0.0014*x311*x119 + 0.0696*x335*x143
       + 0.5949*x343*x151 + 0.0712*x351*x159 + 0.0162*x367*x175 + 0.0513*x375*
      x183 - x151*x391 = 0;

e177: 0.1063*x296*x104 + 0.0891*x304*x112 + 0.0014*x312*x120 + 0.0696*x336*x144
       + 0.5949*x344*x152 + 0.0712*x352*x160 + 0.0162*x368*x176 + 0.0513*x376*
      x184 - x152*x392 = 0;

e178: 0.0833*x297*x105 + 0.0925*x305*x113 + 0.0607*x313*x121 + 0.0166*x337*x145
       + 0.7193*x345*x153 + 0.0275*x369*x177 - x153*x385 = 0;

e179: 0.0833*x298*x106 + 0.0925*x306*x114 + 0.0607*x314*x122 + 0.0166*x338*x146
       + 0.7193*x346*x154 + 0.0275*x370*x178 - x154*x386 = 0;

e180: 0.0833*x299*x107 + 0.0925*x307*x115 + 0.0607*x315*x123 + 0.0166*x339*x147
       + 0.7193*x347*x155 + 0.0275*x371*x179 - x155*x387 = 0;

e181: 0.0833*x300*x108 + 0.0925*x308*x116 + 0.0607*x316*x124 + 0.0166*x340*x148
       + 0.7193*x348*x156 + 0.0275*x372*x180 - x156*x388 = 0;

e182: 0.0833*x301*x109 + 0.0925*x309*x117 + 0.0607*x317*x125 + 0.0166*x341*x149
       + 0.7193*x349*x157 + 0.0275*x373*x181 - x157*x389 = 0;

e183: 0.0833*x302*x110 + 0.0925*x310*x118 + 0.0607*x318*x126 + 0.0166*x342*x150
       + 0.7193*x350*x158 + 0.0275*x374*x182 - x158*x390 = 0;

e184: 0.0833*x303*x111 + 0.0925*x311*x119 + 0.0607*x319*x127 + 0.0166*x343*x151
       + 0.7193*x351*x159 + 0.0275*x375*x183 - x159*x391 = 0;

e185: 0.0833*x304*x112 + 0.0925*x312*x120 + 0.0607*x320*x128 + 0.0166*x344*x152
       + 0.7193*x352*x160 + 0.0275*x376*x184 - x160*x392 = 0;

e186: 0.2369*x321*x129 + 0.0415*x329*x137 + 0.1653*x353*x161 + 0.2546*x361*x169
       + 0.3016*x377*x185 - x161*x385 = 0;

e187: 0.2369*x322*x130 + 0.0415*x330*x138 + 0.1653*x354*x162 + 0.2546*x362*x170
       + 0.3016*x378*x186 - x162*x386 = 0;

e188: 0.2369*x323*x131 + 0.0415*x331*x139 + 0.1653*x355*x163 + 0.2546*x363*x171
       + 0.3016*x379*x187 - x163*x387 = 0;

e189: 0.2369*x324*x132 + 0.0415*x332*x140 + 0.1653*x356*x164 + 0.2546*x364*x172
       + 0.3016*x380*x188 - x164*x388 = 0;

e190: 0.2369*x325*x133 + 0.0415*x333*x141 + 0.1653*x357*x165 + 0.2546*x365*x173
       + 0.3016*x381*x189 - x165*x389 = 0;

e191: 0.2369*x326*x134 + 0.0415*x334*x142 + 0.1653*x358*x166 + 0.2546*x366*x174
       + 0.3016*x382*x190 - x166*x390 = 0;

e192: 0.2369*x327*x135 + 0.0415*x335*x143 + 0.1653*x359*x167 + 0.2546*x367*x175
       + 0.3016*x383*x191 - x167*x391 = 0;

e193: 0.2369*x328*x136 + 0.0415*x336*x144 + 0.1653*x360*x168 + 0.2546*x368*x176
       + 0.3016*x384*x192 - x168*x392 = 0;

e194: 0.07*x321*x129 + 0.0293*x329*x137 + 0.068*x337*x145 + 0.0442*x353*x161 + 
      0.677*x361*x169 + 0.0505*x369*x177 + 0.061*x377*x185 - x169*x385 = 0;

e195: 0.07*x322*x130 + 0.0293*x330*x138 + 0.068*x338*x146 + 0.0442*x354*x162 + 
      0.677*x362*x170 + 0.0505*x370*x178 + 0.061*x378*x186 - x170*x386 = 0;

e196: 0.07*x323*x131 + 0.0293*x331*x139 + 0.068*x339*x147 + 0.0442*x355*x163 + 
      0.677*x363*x171 + 0.0505*x371*x179 + 0.061*x379*x187 - x171*x387 = 0;

e197: 0.07*x324*x132 + 0.0293*x332*x140 + 0.068*x340*x148 + 0.0442*x356*x164 + 
      0.677*x364*x172 + 0.0505*x372*x180 + 0.061*x380*x188 - x172*x388 = 0;

e198: 0.07*x325*x133 + 0.0293*x333*x141 + 0.068*x341*x149 + 0.0442*x357*x165 + 
      0.677*x365*x173 + 0.0505*x373*x181 + 0.061*x381*x189 - x173*x389 = 0;

e199: 0.07*x326*x134 + 0.0293*x334*x142 + 0.068*x342*x150 + 0.0442*x358*x166 + 
      0.677*x366*x174 + 0.0505*x374*x182 + 0.061*x382*x190 - x174*x390 = 0;

e200: 0.07*x327*x135 + 0.0293*x335*x143 + 0.068*x343*x151 + 0.0442*x359*x167 + 
      0.677*x367*x175 + 0.0505*x375*x183 + 0.061*x383*x191 - x175*x391 = 0;

e201: 0.07*x328*x136 + 0.0293*x336*x144 + 0.068*x344*x152 + 0.0442*x360*x168 + 
      0.677*x368*x176 + 0.0505*x376*x184 + 0.061*x384*x192 - x176*x392 = 0;

e202: 0.0244*x329*x137 + 0.0332*x337*x145 + 0.013*x345*x153 + 0.0612*x361*x169
       + 0.8682*x369*x177 - x177*x385 = 0;

e203: 0.0244*x330*x138 + 0.0332*x338*x146 + 0.013*x346*x154 + 0.0612*x362*x170
       + 0.8682*x370*x178 - x178*x386 = 0;

e204: 0.0244*x331*x139 + 0.0332*x339*x147 + 0.013*x347*x155 + 0.0612*x363*x171
       + 0.8682*x371*x179 - x179*x387 = 0;

e205: 0.0244*x332*x140 + 0.0332*x340*x148 + 0.013*x348*x156 + 0.0612*x364*x172
       + 0.8682*x372*x180 - x180*x388 = 0;

e206: 0.0244*x333*x141 + 0.0332*x341*x149 + 0.013*x349*x157 + 0.0612*x365*x173
       + 0.8682*x373*x181 - x181*x389 = 0;

e207: 0.0244*x334*x142 + 0.0332*x342*x150 + 0.013*x350*x158 + 0.0612*x366*x174
       + 0.8682*x374*x182 - x182*x390 = 0;

e208: 0.0244*x335*x143 + 0.0332*x343*x151 + 0.013*x351*x159 + 0.0612*x367*x175
       + 0.8682*x375*x183 - x183*x391 = 0;

e209: 0.0244*x336*x144 + 0.0332*x344*x152 + 0.013*x352*x160 + 0.0612*x368*x176
       + 0.8682*x376*x184 - x184*x392 = 0;

e210: 0.1076*x353*x161 + 0.027*x361*x169 + 0.8654*x377*x185 - x185*x385 = 0;

e211: 0.1076*x354*x162 + 0.027*x362*x170 + 0.8654*x378*x186 - x186*x386 = 0;

e212: 0.1076*x355*x163 + 0.027*x363*x171 + 0.8654*x379*x187 - x187*x387 = 0;

e213: 0.1076*x356*x164 + 0.027*x364*x172 + 0.8654*x380*x188 - x188*x388 = 0;

e214: 0.1076*x357*x165 + 0.027*x365*x173 + 0.8654*x381*x189 - x189*x389 = 0;

e215: 0.1076*x358*x166 + 0.027*x366*x174 + 0.8654*x382*x190 - x190*x390 = 0;

e216: 0.1076*x359*x167 + 0.027*x367*x175 + 0.8654*x383*x191 - x191*x391 = 0;

e217: 0.1076*x360*x168 + 0.027*x368*x176 + 0.8654*x384*x192 - x192*x392 = 0;

e218: -(x193 - 0.1092*x193*x1) + x194 = 0;

e219: -(x194 - 0.1092*x194*x2) + x195 = 0;

e220: -(x195 - 0.1092*x195*x3) + x196 = 0;

e221: -(x196 - 0.1092*x196*x4) + x197 = 0;

e222: -(x197 - 0.1092*x197*x5) + x198 = 0;

e223: -(x198 - 0.1092*x198*x6) + x199 = 0;

e224: -(x199 - 0.1092*x199*x7) + x200 = 0;

e225: -(x201 - 0.1092*x201*x9) + x202 = 0;

e226: -(x202 - 0.1092*x202*x10) + x203 = 0;

e227: -(x203 - 0.1092*x203*x11) + x204 = 0;

e228: -(x204 - 0.1092*x204*x12) + x205 = 0;

e229: -(x205 - 0.1092*x205*x13) + x206 = 0;

e230: -(x206 - 0.1092*x206*x14) + x207 = 0;

e231: -(x207 - 0.1092*x207*x15) + x208 = 0;

e232: -(x209 - 0.1092*x209*x17) + x210 = 0;

e233: -(x210 - 0.1092*x210*x18) + x211 = 0;

e234: -(x211 - 0.1092*x211*x19) + x212 = 0;

e235: -(x212 - 0.1092*x212*x20) + x213 = 0;

e236: -(x213 - 0.1092*x213*x21) + x214 = 0;

e237: -(x214 - 0.1092*x214*x22) + x215 = 0;

e238: -(x215 - 0.1092*x215*x23) + x216 = 0;

e239: -(x217 - 0.1092*x217*x25) + x218 = 0;

e240: -(x218 - 0.1092*x218*x26) + x219 = 0;

e241: -(x219 - 0.1092*x219*x27) + x220 = 0;

e242: -(x220 - 0.1092*x220*x28) + x221 = 0;

e243: -(x221 - 0.1092*x221*x29) + x222 = 0;

e244: -(x222 - 0.1092*x222*x30) + x223 = 0;

e245: -(x223 - 0.1092*x223*x31) + x224 = 0;

e246: -(x225 - 0.1092*x225*x33) + x226 = 0;

e247: -(x226 - 0.1092*x226*x34) + x227 = 0;

e248: -(x227 - 0.1092*x227*x35) + x228 = 0;

e249: -(x228 - 0.1092*x228*x36) + x229 = 0;

e250: -(x229 - 0.1092*x229*x37) + x230 = 0;

e251: -(x230 - 0.1092*x230*x38) + x231 = 0;

e252: -(x231 - 0.1092*x231*x39) + x232 = 0;

e253: -(x233 - 0.1092*x233*x41) + x234 = 0;

e254: -(x234 - 0.1092*x234*x42) + x235 = 0;

e255: -(x235 - 0.1092*x235*x43) + x236 = 0;

e256: -(x236 - 0.1092*x236*x44) + x237 = 0;

e257: -(x237 - 0.1092*x237*x45) + x238 = 0;

e258: -(x238 - 0.1092*x238*x46) + x239 = 0;

e259: -(x239 - 0.1092*x239*x47) + x240 = 0;

e260: -(x241 - 0.1092*x241*x49) + x242 = 0;

e261: -(x242 - 0.1092*x242*x50) + x243 = 0;

e262: -(x243 - 0.1092*x243*x51) + x244 = 0;

e263: -(x244 - 0.1092*x244*x52) + x245 = 0;

e264: -(x245 - 0.1092*x245*x53) + x246 = 0;

e265: -(x246 - 0.1092*x246*x54) + x247 = 0;

e266: -(x247 - 0.1092*x247*x55) + x248 = 0;

e267: -(x249 - 0.1092*x249*x57) + x250 = 0;

e268: -(x250 - 0.1092*x250*x58) + x251 = 0;

e269: -(x251 - 0.1092*x251*x59) + x252 = 0;

e270: -(x252 - 0.1092*x252*x60) + x253 = 0;

e271: -(x253 - 0.1092*x253*x61) + x254 = 0;

e272: -(x254 - 0.1092*x254*x62) + x255 = 0;

e273: -(x255 - 0.1092*x255*x63) + x256 = 0;

e274: -(x257 - 0.1092*x257*x65) + x258 = 0;

e275: -(x258 - 0.1092*x258*x66) + x259 = 0;

e276: -(x259 - 0.1092*x259*x67) + x260 = 0;

e277: -(x260 - 0.1092*x260*x68) + x261 = 0;

e278: -(x261 - 0.1092*x261*x69) + x262 = 0;

e279: -(x262 - 0.1092*x262*x70) + x263 = 0;

e280: -(x263 - 0.1092*x263*x71) + x264 = 0;

e281: -(x265 - 0.1092*x265*x73) + x266 = 0;

e282: -(x266 - 0.1092*x266*x74) + x267 = 0;

e283: -(x267 - 0.1092*x267*x75) + x268 = 0;

e284: -(x268 - 0.1092*x268*x76) + x269 = 0;

e285: -(x269 - 0.1092*x269*x77) + x270 = 0;

e286: -(x270 - 0.1092*x270*x78) + x271 = 0;

e287: -(x271 - 0.1092*x271*x79) + x272 = 0;

e288: -(x273 - 0.1092*x273*x81) + x274 = 0;

e289: -(x274 - 0.1092*x274*x82) + x275 = 0;

e290: -(x275 - 0.1092*x275*x83) + x276 = 0;

e291: -(x276 - 0.1092*x276*x84) + x277 = 0;

e292: -(x277 - 0.1092*x277*x85) + x278 = 0;

e293: -(x278 - 0.1092*x278*x86) + x279 = 0;

e294: -(x279 - 0.1092*x279*x87) + x280 = 0;

e295: -(x281 - 0.1092*x281*x89) + x282 = 0;

e296: -(x282 - 0.1092*x282*x90) + x283 = 0;

e297: -(x283 - 0.1092*x283*x91) + x284 = 0;

e298: -(x284 - 0.1092*x284*x92) + x285 = 0;

e299: -(x285 - 0.1092*x285*x93) + x286 = 0;

e300: -(x286 - 0.1092*x286*x94) + x287 = 0;

e301: -(x287 - 0.1092*x287*x95) + x288 = 0;

e302: -(x289 - 0.1092*x289*x97) + x290 = 0;

e303: -(x290 - 0.1092*x290*x98) + x291 = 0;

e304: -(x291 - 0.1092*x291*x99) + x292 = 0;

e305: -(x292 - 0.1092*x292*x100) + x293 = 0;

e306: -(x293 - 0.1092*x293*x101) + x294 = 0;

e307: -(x294 - 0.1092*x294*x102) + x295 = 0;

e308: -(x295 - 0.1092*x295*x103) + x296 = 0;

e309: -(x297 - 0.1092*x297*x105) + x298 = 0;

e310: -(x298 - 0.1092*x298*x106) + x299 = 0;

e311: -(x299 - 0.1092*x299*x107) + x300 = 0;

e312: -(x300 - 0.1092*x300*x108) + x301 = 0;

e313: -(x301 - 0.1092*x301*x109) + x302 = 0;

e314: -(x302 - 0.1092*x302*x110) + x303 = 0;

e315: -(x303 - 0.1092*x303*x111) + x304 = 0;

e316: -(x305 - 0.1092*x305*x113) + x306 = 0;

e317: -(x306 - 0.1092*x306*x114) + x307 = 0;

e318: -(x307 - 0.1092*x307*x115) + x308 = 0;

e319: -(x308 - 0.1092*x308*x116) + x309 = 0;

e320: -(x309 - 0.1092*x309*x117) + x310 = 0;

e321: -(x310 - 0.1092*x310*x118) + x311 = 0;

e322: -(x311 - 0.1092*x311*x119) + x312 = 0;

e323: -(x313 - 0.1092*x313*x121) + x314 = 0;

e324: -(x314 - 0.1092*x314*x122) + x315 = 0;

e325: -(x315 - 0.1092*x315*x123) + x316 = 0;

e326: -(x316 - 0.1092*x316*x124) + x317 = 0;

e327: -(x317 - 0.1092*x317*x125) + x318 = 0;

e328: -(x318 - 0.1092*x318*x126) + x319 = 0;

e329: -(x319 - 0.1092*x319*x127) + x320 = 0;

e330: -(x321 - 0.1092*x321*x129) + x322 = 0;

e331: -(x322 - 0.1092*x322*x130) + x323 = 0;

e332: -(x323 - 0.1092*x323*x131) + x324 = 0;

e333: -(x324 - 0.1092*x324*x132) + x325 = 0;

e334: -(x325 - 0.1092*x325*x133) + x326 = 0;

e335: -(x326 - 0.1092*x326*x134) + x327 = 0;

e336: -(x327 - 0.1092*x327*x135) + x328 = 0;

e337: -(x329 - 0.1092*x329*x137) + x330 = 0;

e338: -(x330 - 0.1092*x330*x138) + x331 = 0;

e339: -(x331 - 0.1092*x331*x139) + x332 = 0;

e340: -(x332 - 0.1092*x332*x140) + x333 = 0;

e341: -(x333 - 0.1092*x333*x141) + x334 = 0;

e342: -(x334 - 0.1092*x334*x142) + x335 = 0;

e343: -(x335 - 0.1092*x335*x143) + x336 = 0;

e344: -(x337 - 0.1092*x337*x145) + x338 = 0;

e345: -(x338 - 0.1092*x338*x146) + x339 = 0;

e346: -(x339 - 0.1092*x339*x147) + x340 = 0;

e347: -(x340 - 0.1092*x340*x148) + x341 = 0;

e348: -(x341 - 0.1092*x341*x149) + x342 = 0;

e349: -(x342 - 0.1092*x342*x150) + x343 = 0;

e350: -(x343 - 0.1092*x343*x151) + x344 = 0;

e351: -(x345 - 0.1092*x345*x153) + x346 = 0;

e352: -(x346 - 0.1092*x346*x154) + x347 = 0;

e353: -(x347 - 0.1092*x347*x155) + x348 = 0;

e354: -(x348 - 0.1092*x348*x156) + x349 = 0;

e355: -(x349 - 0.1092*x349*x157) + x350 = 0;

e356: -(x350 - 0.1092*x350*x158) + x351 = 0;

e357: -(x351 - 0.1092*x351*x159) + x352 = 0;

e358: -(x353 - 0.1092*x353*x161) + x354 = 0;

e359: -(x354 - 0.1092*x354*x162) + x355 = 0;

e360: -(x355 - 0.1092*x355*x163) + x356 = 0;

e361: -(x356 - 0.1092*x356*x164) + x357 = 0;

e362: -(x357 - 0.1092*x357*x165) + x358 = 0;

e363: -(x358 - 0.1092*x358*x166) + x359 = 0;

e364: -(x359 - 0.1092*x359*x167) + x360 = 0;

e365: -(x361 - 0.1092*x361*x169) + x362 = 0;

e366: -(x362 - 0.1092*x362*x170) + x363 = 0;

e367: -(x363 - 0.1092*x363*x171) + x364 = 0;

e368: -(x364 - 0.1092*x364*x172) + x365 = 0;

e369: -(x365 - 0.1092*x365*x173) + x366 = 0;

e370: -(x366 - 0.1092*x366*x174) + x367 = 0;

e371: -(x367 - 0.1092*x367*x175) + x368 = 0;

e372: -(x369 - 0.1092*x369*x177) + x370 = 0;

e373: -(x370 - 0.1092*x370*x178) + x371 = 0;

e374: -(x371 - 0.1092*x371*x179) + x372 = 0;

e375: -(x372 - 0.1092*x372*x180) + x373 = 0;

e376: -(x373 - 0.1092*x373*x181) + x374 = 0;

e377: -(x374 - 0.1092*x374*x182) + x375 = 0;

e378: -(x375 - 0.1092*x375*x183) + x376 = 0;

e379: -(x377 - 0.1092*x377*x185) + x378 = 0;

e380: -(x378 - 0.1092*x378*x186) + x379 = 0;

e381: -(x379 - 0.1092*x379*x187) + x380 = 0;

e382: -(x380 - 0.1092*x380*x188) + x381 = 0;

e383: -(x381 - 0.1092*x381*x189) + x382 = 0;

e384: -(x382 - 0.1092*x382*x190) + x383 = 0;

e385: -(x383 - 0.1092*x383*x191) + x384 = 0;

e386: x193*x1 + x201*x9 + x209*x17 + x217*x25 + x225*x33 + x233*x41 + x241*x49
       + x249*x57 + x257*x65 + x265*x73 + x273*x81 + x281*x89 + x289*x97 + x297
      *x105 + x305*x113 + x313*x121 + x321*x129 + x329*x137 + x337*x145 + x345*
      x153 + x353*x161 + x361*x169 + x369*x177 + x377*x185 = 1;

e387: x194*x2 + x202*x10 + x210*x18 + x218*x26 + x226*x34 + x234*x42 + x242*x50
       + x250*x58 + x258*x66 + x266*x74 + x274*x82 + x282*x90 + x290*x98 + x298
      *x106 + x306*x114 + x314*x122 + x322*x130 + x330*x138 + x338*x146 + x346*
      x154 + x354*x162 + x362*x170 + x370*x178 + x378*x186 = 1;

e388: x195*x3 + x203*x11 + x211*x19 + x219*x27 + x227*x35 + x235*x43 + x243*x51
       + x251*x59 + x259*x67 + x267*x75 + x275*x83 + x283*x91 + x291*x99 + x299
      *x107 + x307*x115 + x315*x123 + x323*x131 + x331*x139 + x339*x147 + x347*
      x155 + x355*x163 + x363*x171 + x371*x179 + x379*x187 = 1;

e389: x196*x4 + x204*x12 + x212*x20 + x220*x28 + x228*x36 + x236*x44 + x244*x52
       + x252*x60 + x260*x68 + x268*x76 + x276*x84 + x284*x92 + x292*x100 + 
      x300*x108 + x308*x116 + x316*x124 + x324*x132 + x332*x140 + x340*x148 + 
      x348*x156 + x356*x164 + x364*x172 + x372*x180 + x380*x188 = 1;

e390: x197*x5 + x205*x13 + x213*x21 + x221*x29 + x229*x37 + x237*x45 + x245*x53
       + x253*x61 + x261*x69 + x269*x77 + x277*x85 + x285*x93 + x293*x101 + 
      x301*x109 + x309*x117 + x317*x125 + x325*x133 + x333*x141 + x341*x149 + 
      x349*x157 + x357*x165 + x365*x173 + x373*x181 + x381*x189 = 1;

e391: x198*x6 + x206*x14 + x214*x22 + x222*x30 + x230*x38 + x238*x46 + x246*x54
       + x254*x62 + x262*x70 + x270*x78 + x278*x86 + x286*x94 + x294*x102 + 
      x302*x110 + x310*x118 + x318*x126 + x326*x134 + x334*x142 + x342*x150 + 
      x350*x158 + x358*x166 + x366*x174 + x374*x182 + x382*x190 = 1;

e392: x199*x7 + x207*x15 + x215*x23 + x223*x31 + x231*x39 + x239*x47 + x247*x55
       + x255*x63 + x263*x71 + x271*x79 + x279*x87 + x287*x95 + x295*x103 + 
      x303*x111 + x311*x119 + x319*x127 + x327*x135 + x335*x143 + x343*x151 + 
      x351*x159 + x359*x167 + x367*x175 + x375*x183 + x383*x191 = 1;

e393: x200*x8 + x208*x16 + x216*x24 + x224*x32 + x232*x40 + x240*x48 + x248*x56
       + x256*x64 + x264*x72 + x272*x80 + x280*x88 + x288*x96 + x296*x104 + 
      x304*x112 + x312*x120 + x320*x128 + x328*x136 + x336*x144 + x344*x152 + 
      x352*x160 + x360*x168 + x368*x176 + x376*x184 + x384*x192 = 1;

e394: x193*x1 <= 0.0833333333333333;

e395: x194*x2 <= 0.0833333333333333;

e396: x195*x3 <= 0.0833333333333333;

e397: x196*x4 <= 0.0833333333333333;

e398: x197*x5 <= 0.0833333333333333;

e399: x198*x6 <= 0.0833333333333333;

e400: x199*x7 <= 0.0833333333333333;

e401: x200*x8 <= 0.0833333333333333;

e402: x201*x9 <= 0.0833333333333333;

e403: x202*x10 <= 0.0833333333333333;

e404: x203*x11 <= 0.0833333333333333;

e405: x204*x12 <= 0.0833333333333333;

e406: x205*x13 <= 0.0833333333333333;

e407: x206*x14 <= 0.0833333333333333;

e408: x207*x15 <= 0.0833333333333333;

e409: x208*x16 <= 0.0833333333333333;

e410: x209*x17 <= 0.0833333333333333;

e411: x210*x18 <= 0.0833333333333333;

e412: x211*x19 <= 0.0833333333333333;

e413: x212*x20 <= 0.0833333333333333;

e414: x213*x21 <= 0.0833333333333333;

e415: x214*x22 <= 0.0833333333333333;

e416: x215*x23 <= 0.0833333333333333;

e417: x216*x24 <= 0.0833333333333333;

e418: x217*x25 <= 0.0833333333333333;

e419: x218*x26 <= 0.0833333333333333;

e420: x219*x27 <= 0.0833333333333333;

e421: x220*x28 <= 0.0833333333333333;

e422: x221*x29 <= 0.0833333333333333;

e423: x222*x30 <= 0.0833333333333333;

e424: x223*x31 <= 0.0833333333333333;

e425: x224*x32 <= 0.0833333333333333;

e426: x225*x33 <= 0.0833333333333333;

e427: x226*x34 <= 0.0833333333333333;

e428: x227*x35 <= 0.0833333333333333;

e429: x228*x36 <= 0.0833333333333333;

e430: x229*x37 <= 0.0833333333333333;

e431: x230*x38 <= 0.0833333333333333;

e432: x231*x39 <= 0.0833333333333333;

e433: x232*x40 <= 0.0833333333333333;

e434: x233*x41 <= 0.0833333333333333;

e435: x234*x42 <= 0.0833333333333333;

e436: x235*x43 <= 0.0833333333333333;

e437: x236*x44 <= 0.0833333333333333;

e438: x237*x45 <= 0.0833333333333333;

e439: x238*x46 <= 0.0833333333333333;

e440: x239*x47 <= 0.0833333333333333;

e441: x240*x48 <= 0.0833333333333333;

e442: x241*x49 <= 0.0833333333333333;

e443: x242*x50 <= 0.0833333333333333;

e444: x243*x51 <= 0.0833333333333333;

e445: x244*x52 <= 0.0833333333333333;

e446: x245*x53 <= 0.0833333333333333;

e447: x246*x54 <= 0.0833333333333333;

e448: x247*x55 <= 0.0833333333333333;

e449: x248*x56 <= 0.0833333333333333;

e450: x249*x57 <= 0.0833333333333333;

e451: x250*x58 <= 0.0833333333333333;

e452: x251*x59 <= 0.0833333333333333;

e453: x252*x60 <= 0.0833333333333333;

e454: x253*x61 <= 0.0833333333333333;

e455: x254*x62 <= 0.0833333333333333;

e456: x255*x63 <= 0.0833333333333333;

e457: x256*x64 <= 0.0833333333333333;

e458: x257*x65 <= 0.0833333333333333;

e459: x258*x66 <= 0.0833333333333333;

e460: x259*x67 <= 0.0833333333333333;

e461: x260*x68 <= 0.0833333333333333;

e462: x261*x69 <= 0.0833333333333333;

e463: x262*x70 <= 0.0833333333333333;

e464: x263*x71 <= 0.0833333333333333;

e465: x264*x72 <= 0.0833333333333333;

e466: x265*x73 <= 0.0833333333333333;

e467: x266*x74 <= 0.0833333333333333;

e468: x267*x75 <= 0.0833333333333333;

e469: x268*x76 <= 0.0833333333333333;

e470: x269*x77 <= 0.0833333333333333;

e471: x270*x78 <= 0.0833333333333333;

e472: x271*x79 <= 0.0833333333333333;

e473: x272*x80 <= 0.0833333333333333;

e474: x273*x81 <= 0.0833333333333333;

e475: x274*x82 <= 0.0833333333333333;

e476: x275*x83 <= 0.0833333333333333;

e477: x276*x84 <= 0.0833333333333333;

e478: x277*x85 <= 0.0833333333333333;

e479: x278*x86 <= 0.0833333333333333;

e480: x279*x87 <= 0.0833333333333333;

e481: x280*x88 <= 0.0833333333333333;

e482: x281*x89 <= 0.0833333333333333;

e483: x282*x90 <= 0.0833333333333333;

e484: x283*x91 <= 0.0833333333333333;

e485: x284*x92 <= 0.0833333333333333;

e486: x285*x93 <= 0.0833333333333333;

e487: x286*x94 <= 0.0833333333333333;

e488: x287*x95 <= 0.0833333333333333;

e489: x288*x96 <= 0.0833333333333333;

e490: x289*x97 <= 0.0833333333333333;

e491: x290*x98 <= 0.0833333333333333;

e492: x291*x99 <= 0.0833333333333333;

e493: x292*x100 <= 0.0833333333333333;

e494: x293*x101 <= 0.0833333333333333;

e495: x294*x102 <= 0.0833333333333333;

e496: x295*x103 <= 0.0833333333333333;

e497: x296*x104 <= 0.0833333333333333;

e498: x297*x105 <= 0.0833333333333333;

e499: x298*x106 <= 0.0833333333333333;

e500: x299*x107 <= 0.0833333333333333;

e501: x300*x108 <= 0.0833333333333333;

e502: x301*x109 <= 0.0833333333333333;

e503: x302*x110 <= 0.0833333333333333;

e504: x303*x111 <= 0.0833333333333333;

e505: x304*x112 <= 0.0833333333333333;

e506: x305*x113 <= 0.0833333333333333;

e507: x306*x114 <= 0.0833333333333333;

e508: x307*x115 <= 0.0833333333333333;

e509: x308*x116 <= 0.0833333333333333;

e510: x309*x117 <= 0.0833333333333333;

e511: x310*x118 <= 0.0833333333333333;

e512: x311*x119 <= 0.0833333333333333;

e513: x312*x120 <= 0.0833333333333333;

e514: x313*x121 <= 0.0833333333333333;

e515: x314*x122 <= 0.0833333333333333;

e516: x315*x123 <= 0.0833333333333333;

e517: x316*x124 <= 0.0833333333333333;

e518: x317*x125 <= 0.0833333333333333;

e519: x318*x126 <= 0.0833333333333333;

e520: x319*x127 <= 0.0833333333333333;

e521: x320*x128 <= 0.0833333333333333;

e522: x321*x129 <= 0.0833333333333333;

e523: x322*x130 <= 0.0833333333333333;

e524: x323*x131 <= 0.0833333333333333;

e525: x324*x132 <= 0.0833333333333333;

e526: x325*x133 <= 0.0833333333333333;

e527: x326*x134 <= 0.0833333333333333;

e528: x327*x135 <= 0.0833333333333333;

e529: x328*x136 <= 0.0833333333333333;

e530: x329*x137 <= 0.0833333333333333;

e531: x330*x138 <= 0.0833333333333333;

e532: x331*x139 <= 0.0833333333333333;

e533: x332*x140 <= 0.0833333333333333;

e534: x333*x141 <= 0.0833333333333333;

e535: x334*x142 <= 0.0833333333333333;

e536: x335*x143 <= 0.0833333333333333;

e537: x336*x144 <= 0.0833333333333333;

e538: x337*x145 <= 0.0833333333333333;

e539: x338*x146 <= 0.0833333333333333;

e540: x339*x147 <= 0.0833333333333333;

e541: x340*x148 <= 0.0833333333333333;

e542: x341*x149 <= 0.0833333333333333;

e543: x342*x150 <= 0.0833333333333333;

e544: x343*x151 <= 0.0833333333333333;

e545: x344*x152 <= 0.0833333333333333;

e546: x345*x153 <= 0.0833333333333333;

e547: x346*x154 <= 0.0833333333333333;

e548: x347*x155 <= 0.0833333333333333;

e549: x348*x156 <= 0.0833333333333333;

e550: x349*x157 <= 0.0833333333333333;

e551: x350*x158 <= 0.0833333333333333;

e552: x351*x159 <= 0.0833333333333333;

e553: x352*x160 <= 0.0833333333333333;

e554: x353*x161 <= 0.0833333333333333;

e555: x354*x162 <= 0.0833333333333333;

e556: x355*x163 <= 0.0833333333333333;

e557: x356*x164 <= 0.0833333333333333;

e558: x357*x165 <= 0.0833333333333333;

e559: x358*x166 <= 0.0833333333333333;

e560: x359*x167 <= 0.0833333333333333;

e561: x360*x168 <= 0.0833333333333333;

e562: x361*x169 <= 0.0833333333333333;

e563: x362*x170 <= 0.0833333333333333;

e564: x363*x171 <= 0.0833333333333333;

e565: x364*x172 <= 0.0833333333333333;

e566: x365*x173 <= 0.0833333333333333;

e567: x366*x174 <= 0.0833333333333333;

e568: x367*x175 <= 0.0833333333333333;

e569: x368*x176 <= 0.0833333333333333;

e570: x369*x177 <= 0.0833333333333333;

e571: x370*x178 <= 0.0833333333333333;

e572: x371*x179 <= 0.0833333333333333;

e573: x372*x180 <= 0.0833333333333333;

e574: x373*x181 <= 0.0833333333333333;

e575: x374*x182 <= 0.0833333333333333;

e576: x375*x183 <= 0.0833333333333333;

e577: x376*x184 <= 0.0833333333333333;

e578: x377*x185 <= 0.0833333333333333;

e579: x378*x186 <= 0.0833333333333333;

e580: x379*x187 <= 0.0833333333333333;

e581: x380*x188 <= 0.0833333333333333;

e582: x381*x189 <= 0.0833333333333333;

e583: x382*x190 <= 0.0833333333333333;

e584: x383*x191 <= 0.0833333333333333;

e585: x384*x192 <= 0.0833333333333333;

e586:    b393 + b417 + b418 + b419 + b420 + b421 + b422 + b423 + b424 + b425
       + b426 + b427 + b428 + b429 + b430 + b431 + b432 + b433 + b434 + b435
       + b436 + b437 + b438 + b439 + b440 = 1;

e587:    b394 + b441 + b442 + b443 + b444 + b445 + b446 + b447 + b448 + b449
       + b450 + b451 + b452 + b453 + b454 + b455 + b456 + b457 + b458 + b459
       + b460 + b461 + b462 + b463 + b464 = 1;

e588:    b395 + b465 + b466 + b467 + b468 + b469 + b470 + b471 + b472 + b473
       + b474 + b475 + b476 + b477 + b478 + b479 + b480 + b481 + b482 + b483
       + b484 + b485 + b486 + b487 + b488 = 1;

e589:    b396 + b489 + b490 + b491 + b492 + b493 + b494 + b495 + b496 + b497
       + b498 + b499 + b500 + b501 + b502 + b503 + b504 + b505 + b506 + b507
       + b508 + b509 + b510 + b511 + b512 = 1;

e590:    b397 + b513 + b514 + b515 + b516 + b517 + b518 + b519 + b520 + b521
       + b522 + b523 + b524 + b525 + b526 + b527 + b528 + b529 + b530 + b531
       + b532 + b533 + b534 + b535 + b536 = 1;

e591:    b398 + b537 + b538 + b539 + b540 + b541 + b542 + b543 + b544 + b545
       + b546 + b547 + b548 + b549 + b550 + b551 + b552 + b553 + b554 + b555
       + b556 + b557 + b558 + b559 + b560 = 1;

e592:    b399 + b561 + b562 + b563 + b564 + b565 + b566 + b567 + b568 + b569
       + b570 + b571 + b572 + b573 + b574 + b575 + b576 + b577 + b578 + b579
       + b580 + b581 + b582 + b583 + b584 = 1;

e593:    b400 + b585 + b586 + b587 + b588 + b589 + b590 + b591 + b592 + b593
       + b594 + b595 + b596 + b597 + b598 + b599 + b600 + b601 + b602 + b603
       + b604 + b605 + b606 + b607 + b608 = 1;

e594:    b401 + b609 + b610 + b611 + b612 + b613 + b614 + b615 + b616 + b617
       + b618 + b619 + b620 + b621 + b622 + b623 + b624 + b625 + b626 + b627
       + b628 + b629 + b630 + b631 + b632 = 1;

e595:    b402 + b633 + b634 + b635 + b636 + b637 + b638 + b639 + b640 + b641
       + b642 + b643 + b644 + b645 + b646 + b647 + b648 + b649 + b650 + b651
       + b652 + b653 + b654 + b655 + b656 = 1;

e596:    b403 + b657 + b658 + b659 + b660 + b661 + b662 + b663 + b664 + b665
       + b666 + b667 + b668 + b669 + b670 + b671 + b672 + b673 + b674 + b675
       + b676 + b677 + b678 + b679 + b680 = 1;

e597:    b404 + b681 + b682 + b683 + b684 + b685 + b686 + b687 + b688 + b689
       + b690 + b691 + b692 + b693 + b694 + b695 + b696 + b697 + b698 + b699
       + b700 + b701 + b702 + b703 + b704 = 1;

e598:    b405 + b705 + b706 + b707 + b708 + b709 + b710 + b711 + b712 + b713
       + b714 + b715 + b716 + b717 + b718 + b719 + b720 + b721 + b722 + b723
       + b724 + b725 + b726 + b727 + b728 = 1;

e599:    b406 + b729 + b730 + b731 + b732 + b733 + b734 + b735 + b736 + b737
       + b738 + b739 + b740 + b741 + b742 + b743 + b744 + b745 + b746 + b747
       + b748 + b749 + b750 + b751 + b752 = 1;

e600:    b407 + b753 + b754 + b755 + b756 + b757 + b758 + b759 + b760 + b761
       + b762 + b763 + b764 + b765 + b766 + b767 + b768 + b769 + b770 + b771
       + b772 + b773 + b774 + b775 + b776 = 1;

e601:    b408 + b777 + b778 + b779 + b780 + b781 + b782 + b783 + b784 + b785
       + b786 + b787 + b788 + b789 + b790 + b791 + b792 + b793 + b794 + b795
       + b796 + b797 + b798 + b799 + b800 = 1;

e602:    b409 + b801 + b802 + b803 + b804 + b805 + b806 + b807 + b808 + b809
       + b810 + b811 + b812 + b813 + b814 + b815 + b816 + b817 + b818 + b819
       + b820 + b821 + b822 + b823 + b824 = 1;

e603:    b410 + b825 + b826 + b827 + b828 + b829 + b830 + b831 + b832 + b833
       + b834 + b835 + b836 + b837 + b838 + b839 + b840 + b841 + b842 + b843
       + b844 + b845 + b846 + b847 + b848 = 1;

e604:    b411 + b849 + b850 + b851 + b852 + b853 + b854 + b855 + b856 + b857
       + b858 + b859 + b860 + b861 + b862 + b863 + b864 + b865 + b866 + b867
       + b868 + b869 + b870 + b871 + b872 = 1;

e605:    b412 + b873 + b874 + b875 + b876 + b877 + b878 + b879 + b880 + b881
       + b882 + b883 + b884 + b885 + b886 + b887 + b888 + b889 + b890 + b891
       + b892 + b893 + b894 + b895 + b896 = 1;

e606:    b413 + b897 + b898 + b899 + b900 + b901 + b902 + b903 + b904 + b905
       + b906 + b907 + b908 + b909 + b910 + b911 + b912 + b913 + b914 + b915
       + b916 + b917 + b918 + b919 + b920 = 1;

e607:    b414 + b921 + b922 + b923 + b924 + b925 + b926 + b927 + b928 + b929
       + b930 + b931 + b932 + b933 + b934 + b935 + b936 + b937 + b938 + b939
       + b940 + b941 + b942 + b943 + b944 = 1;

e608:    b415 + b945 + b946 + b947 + b948 + b949 + b950 + b951 + b952 + b953
       + b954 + b955 + b956 + b957 + b958 + b959 + b960 + b961 + b962 + b963
       + b964 + b965 + b966 + b967 + b968 = 1;

e609:    b416 + b969 + b970 + b971 + b972 + b973 + b974 + b975 + b976 + b977
       + b978 + b979 + b980 + b981 + b982 + b983 + b984 + b985 + b986 + b987
       + b988 + b989 + b990 + b991 + b992 = 1;

e610:    b417 + b441 + b465 + b489 + b513 + b537 + b561 + b585 + b609 + b633
       + b657 + b681 + b705 + b729 + b753 + b777 + b801 + b825 + b849 + b873
       + b897 + b921 + b945 + b969 <= 1;

e611:    b418 + b442 + b466 + b490 + b514 + b538 + b562 + b586 + b610 + b634
       + b658 + b682 + b706 + b730 + b754 + b778 + b802 + b826 + b850 + b874
       + b898 + b922 + b946 + b970 <= 1;

e612:    b419 + b443 + b467 + b491 + b515 + b539 + b563 + b587 + b611 + b635
       + b659 + b683 + b707 + b731 + b755 + b779 + b803 + b827 + b851 + b875
       + b899 + b923 + b947 + b971 <= 1;

e613:    b420 + b444 + b468 + b492 + b516 + b540 + b564 + b588 + b612 + b636
       + b660 + b684 + b708 + b732 + b756 + b780 + b804 + b828 + b852 + b876
       + b900 + b924 + b948 + b972 <= 1;

e614:    b421 + b445 + b469 + b493 + b517 + b541 + b565 + b589 + b613 + b637
       + b661 + b685 + b709 + b733 + b757 + b781 + b805 + b829 + b853 + b877
       + b901 + b925 + b949 + b973 <= 1;

e615:    b422 + b446 + b470 + b494 + b518 + b542 + b566 + b590 + b614 + b638
       + b662 + b686 + b710 + b734 + b758 + b782 + b806 + b830 + b854 + b878
       + b902 + b926 + b950 + b974 <= 1;

e616:    b423 + b447 + b471 + b495 + b519 + b543 + b567 + b591 + b615 + b639
       + b663 + b687 + b711 + b735 + b759 + b783 + b807 + b831 + b855 + b879
       + b903 + b927 + b951 + b975 <= 1;

e617:    b424 + b448 + b472 + b496 + b520 + b544 + b568 + b592 + b616 + b640
       + b664 + b688 + b712 + b736 + b760 + b784 + b808 + b832 + b856 + b880
       + b904 + b928 + b952 + b976 <= 1;

e618:    b425 + b449 + b473 + b497 + b521 + b545 + b569 + b593 + b617 + b641
       + b665 + b689 + b713 + b737 + b761 + b785 + b809 + b833 + b857 + b881
       + b905 + b929 + b953 + b977 <= 1;

e619:    b426 + b450 + b474 + b498 + b522 + b546 + b570 + b594 + b618 + b642
       + b666 + b690 + b714 + b738 + b762 + b786 + b810 + b834 + b858 + b882
       + b906 + b930 + b954 + b978 <= 1;

e620:    b427 + b451 + b475 + b499 + b523 + b547 + b571 + b595 + b619 + b643
       + b667 + b691 + b715 + b739 + b763 + b787 + b811 + b835 + b859 + b883
       + b907 + b931 + b955 + b979 <= 1;

e621:    b428 + b452 + b476 + b500 + b524 + b548 + b572 + b596 + b620 + b644
       + b668 + b692 + b716 + b740 + b764 + b788 + b812 + b836 + b860 + b884
       + b908 + b932 + b956 + b980 <= 1;

e622:    b429 + b453 + b477 + b501 + b525 + b549 + b573 + b597 + b621 + b645
       + b669 + b693 + b717 + b741 + b765 + b789 + b813 + b837 + b861 + b885
       + b909 + b933 + b957 + b981 <= 1;

e623:    b430 + b454 + b478 + b502 + b526 + b550 + b574 + b598 + b622 + b646
       + b670 + b694 + b718 + b742 + b766 + b790 + b814 + b838 + b862 + b886
       + b910 + b934 + b958 + b982 <= 1;

e624:    b431 + b455 + b479 + b503 + b527 + b551 + b575 + b599 + b623 + b647
       + b671 + b695 + b719 + b743 + b767 + b791 + b815 + b839 + b863 + b887
       + b911 + b935 + b959 + b983 <= 1;

e625:    b432 + b456 + b480 + b504 + b528 + b552 + b576 + b600 + b624 + b648
       + b672 + b696 + b720 + b744 + b768 + b792 + b816 + b840 + b864 + b888
       + b912 + b936 + b960 + b984 <= 1;

e626:    b433 + b457 + b481 + b505 + b529 + b553 + b577 + b601 + b625 + b649
       + b673 + b697 + b721 + b745 + b769 + b793 + b817 + b841 + b865 + b889
       + b913 + b937 + b961 + b985 <= 1;

e627:    b434 + b458 + b482 + b506 + b530 + b554 + b578 + b602 + b626 + b650
       + b674 + b698 + b722 + b746 + b770 + b794 + b818 + b842 + b866 + b890
       + b914 + b938 + b962 + b986 <= 1;

e628:    b435 + b459 + b483 + b507 + b531 + b555 + b579 + b603 + b627 + b651
       + b675 + b699 + b723 + b747 + b771 + b795 + b819 + b843 + b867 + b891
       + b915 + b939 + b963 + b987 <= 1;

e629:    b436 + b460 + b484 + b508 + b532 + b556 + b580 + b604 + b628 + b652
       + b676 + b700 + b724 + b748 + b772 + b796 + b820 + b844 + b868 + b892
       + b916 + b940 + b964 + b988 <= 1;

e630:    b437 + b461 + b485 + b509 + b533 + b557 + b581 + b605 + b629 + b653
       + b677 + b701 + b725 + b749 + b773 + b797 + b821 + b845 + b869 + b893
       + b917 + b941 + b965 + b989 <= 1;

e631:    b438 + b462 + b486 + b510 + b534 + b558 + b582 + b606 + b630 + b654
       + b678 + b702 + b726 + b750 + b774 + b798 + b822 + b846 + b870 + b894
       + b918 + b942 + b966 + b990 <= 1;

e632:    b439 + b463 + b487 + b511 + b535 + b559 + b583 + b607 + b631 + b655
       + b679 + b703 + b727 + b751 + b775 + b799 + b823 + b847 + b871 + b895
       + b919 + b943 + b967 + b991 <= 1;

e633:    b440 + b464 + b488 + b512 + b536 + b560 + b584 + b608 + b632 + b656
       + b680 + b704 + b728 + b752 + b776 + b800 + b824 + b848 + b872 + b896
       + b920 + b944 + b968 + b992 <= 1;

e634:    b393 + b394 + b395 + b396 + b397 + b398 + b399 + b400 + b401 + b402
       + b403 + b404 + b405 + b406 + b407 + b408 + b409 + b410 + b411 + b412
       + b413 + b414 + b415 + b416 = 6;