fail_highs.lp

\ File written by HiGHS .lp file handler
min
 obj: +314 x2 +280 x3 +314 x4 +271 x5 +280 x6 +351 x7 +271 x8 +294 x9 +325 x10 +271 x11 +262 x12 +271 x13 +271 x14 +335 x15 +295 x16 +279 x17 +335 x18 +288 x19 +319 x20 +335 x21 +320 x22 +256 x23 +250 x24 +295 x25 +251 x26 +307 x27 +309 x28 +234 x29 +382 x30 +335 x31 +315 x32 +329 x33 +264 x34 +297 x35 +324 x36 +264 x37 +318 x38 +348 x39 +304 x40 +275 x41 +255 x42 +294 x43 +269 x44 +273 x45 +288 x46 +241 x47 +291 x48 +343 x49 +262 x50 +291 x51 +300 x52 +318 x53 +246 x54 +304 x55 +319 x56 +246 x57 +288 x58 +316 x59 +272 x60 +251 x61 +314 x62 +296 x63
 +307 x64 +273 x65 +244 x66 +360 x67 +402 x68 +328 x69 +249 x70 +314 x71 +359 x72 +275 x73 +271 x74 +372 x75 +237 x76 +337 x77 +304 x78 +256 x79 +333 x80 +299 x81 +296 x82 +292 x83 +290 x84 +188 x85 +311 x86 +259 x87 +248 x88 +315 x89 +297 x90 +274 x91 +352 x92 +317 x93 +269 x94 +318 x95 +306 x96 +255 x97 +322 x98 +276 x99 +266 x100 +395 x101 +290 x102 +248 x103 +382 x104 +251 x105 +270 x106 +295 x107 +286 x108 +269 x109 +313 x110 +299 x111 +269 x112 +430 x113 +314 x114 +248 x115 +382 x116 +280 x117 +239 x118 +355 x119 +263 x120 +206 x121 +268 x122 +349
 x123 +234 x124 +291 x125 +293 x126 +273 x127 +297 x128 +367 x129 +297 x130 +342 x131 +414 x132 +254 x133 +332 x134 +382 x135 +294 x136 +363 x137 +396 x138 +287 x139 +337 x140 +348 x141 +329 x142 +308 x143 +354 x144 +341 x145 +375 x146 +328 x147 +271 x148 +333 x149 +299 x150 +281 x151 +289 x152 +361 x153 +309 x154 +336 x155 +340 x156 +304 x157 +371 x158 +318 x159 +277 x160 +326 x161 +218 x162 +240 x163 +300 x164 +317 x165 +312 x166 +340 x167 +302 x168 +286 x169 +285 x170 +271 x171 +260 x172 +355 x173 +315 x174 +280 x175 +320 x176 +277 x177 +226 x178
 +282 x179 +365 x180 +224 x181 +268 x182 +289 x183 +243 x184 +285 x185 +297 x186 +298 x187 +354 x188 +271 x189 +258 x190 +310 x191 +261 x192 +283 x193 +390 x194 +259 x195 +239 x196 +321 x197 +318 x198 +244 x199 +341 x200 +327 x201 +260 x202 +222 x203 +319 x204 +254 x205 +286 x206 +294 x207 +181 x208 +412 x209 +308 x210 +218 x211 +293 x212 +293 x213 +300 x214 +288 x215 +246 x216 +296 x217 +226 x218 +211 x219 +273 x220 +261 x221 +350 x222 +267 x223 +386 x224 +366 x225 +296 x226 +279 x227 +289 x228 +350 x229 +369 x230 +383 x231 +319 x232 +327 x233 +350
 x234 +368 x235 +261 x236 +370 x237 +294 x238 +347 x239 +252 x240 +303 x241 +303 x242 +316 x243 +377 x244 +284 x245 +301 x246 +319 x247 +348 x248 +391 x249 +327 x250 +355 x251 +376 x252 +289 x253 +314 x254 +319 x255 +280 x256 +255 x257 +273 x258 +238 x259 +352 x260 +322 x261 +229 x262 +342 x263 +326 x264 +299 x265 +318 x266 +339 x267 +327 x268 +343 x269 +366 x270 +339 x271 +234 x272 +281 x273 +295 x274 +284 x275 +343 x276 +276 x277 +295 x278 +332 x279 +263 x280 +243 x281 +349 x282 +312 x283 +298 x284 +396 x285 +246 x286 +394 x287 +368 x288 +315 x289
 +372 x290 +308 x291 +363 x292 +314 x293 +294 x294 +248 x295 +285 x296 +392 x297 +379 x298 +437 x299 +312 x300 +320 x301 +272 x302 +367 x303 +298 x304 +307 x305 +359 x306 +370 x307 +317 x308 +410 x309 +302 x310 +295 x311 +321 x312 +379 x313 +315 x314 +247 x315 +267 x316 +409 x317 +293 x318 +370 x319 +393 x320 +335 x321 +316 x322 +263 x323 +340 x324 +298 x325 +288 x326 +418 x327 +288 x328 +397 x329 +393 x330 +352 x331 +281 x332 +399 x333 +323 x334 +306 x335 +437 x336 +341 x337 +378 x338 +438 x339 +260 x340 +366 x341 +426 x342 +332 x343 +391 x344 +408
 x345 +382 x346 +373 x347 +360 x348 +403 x349 +429 x350 +439 x351 +388 x352 +247 x353 +406 x354 +385 x355 +261 x356 +415 x357 +319 x358 +426 x359 +394 x360 +359 x361 +491 x362 +490 x363 +409 x364 +464 x365 +486 x366 +422 x367 +488 x368 +501 x369 +448 x370 +473 x371 +530 x372 +449 x373 +296 x374 +40 x375 +48 x376 +276 x377 +38 x378 +36 x379 +257 x380 +40 x381 +27 x382 +246 x383 +49 x384 +35 x385 +249 x386 +46 x387 +16 x388 +314 x389 +33 x390 +22 x391 +343 x392 +49 x393 +11 x394 +299 x395 +23 x396 +18 x397 +308 x398 +41 x399 +10 x400 +303 x401 +26 x402
 +24 x403 +245 x404 +16 x405 +42 x406 +306 x407 +32 x408 +19 x409 +315 x410 +13 x411 +14 x412 +270 x413 +28 x414 +23 x415 +293 x416 +21 x417 +39 x418 +305 x419 +34 x420 +10 x421 +297 x422 +20 x423 +47 x424 +293 x425 +48 x426 +17 x427 +248 x428 +16 x429 +47 x430 +236 x431 +42 x432 +21 x433 +264 x434 +47 x435 +32 x436 +272 x437 +37 x438 +13 x439 +306 x440 +17 x441 +26 x442 +355 x443 +20 x444 +20 x445 +250 x446 +21 x447 +26 x448 +295 x449 +18 x450 +38 x451 +257 x452 +31 x453 +23 x454 +261 x455 +17 x456 +49 x457 +264 x458 +48 x459 +12 x460 +287 x461 +34
 x462 +22 x463 +271 x464 +29 x465 +15 x466 +352 x467 +26 x468 +23 x469 +44 x470 +32 x471 +34 x472 +283 x473 +32 x474 +16 x475 +310 x476 +18 x477 +43 x478 +253 x479 +23 x480 +23 x481 +355 x482 +26 x483 +22 x484 +322 x485 +32 x486 +13 x487 +268 x488 +26 x489 +49 x490 +322 x491 +30 x492 +39 x493 
st
 con1: +1 x2 +1 x4 +1 x7 +1 x10 +1 x12 +1 x15 +1 x18 +1 x21 +1 x24 +1 x27 +1 x30 +1 x33 +1 x36 +1 x39 +1 x45 +1 x48 +1 x51 +1 x77 +1 x80 +1 x83 +1 x86 +1 x89 +1 x101 +1 x113 +1 x116 +1 x128 +1 x131 +1 x134 +1 x140 +1 x143 +1 x146 +1 x149 +1 x152 +1 x155 +1 x158 +1 x161 +1 x167 +1 x176 +1 x179 +1 x188 +1 x194 +1 x197 +1 x206 +1 x209 +1 x224 +1 x230 +1 x233 +1 x248 +1 x251 +1 x254 +1 x263 +1 x266 +1 x269 +1 x272 +1 x284 +1 x287 +1 x290 +1 x299 +1 x314 +1 x317 +1 x320 +1 x329 +1 x338 +1 x341 +1 x344 +1 x347 +1 x350 +1 x359 +1 x362 +1 x365 +1 x368 +1 x371
 +1 x377 +1 x401 +1 x410 +1 x467 +1 x470 +1 x476 +1 x485 +1 x491 >= +1
 con2: +1 x2 +1 x4 +1 x7 +1 x10 +1 x12 +1 x15 +1 x18 +1 x21 +1 x24 +1 x27 +1 x30 +1 x33 +1 x36 +1 x39 +1 x42 +1 x45 +1 x48 +1 x51 +1 x54 +1 x57 +1 x60 +1 x77 +1 x80 +1 x83 +1 x86 +1 x89 +1 x101 +1 x113 +1 x116 +1 x128 +1 x131 +1 x134 +1 x140 +1 x143 +1 x146 +1 x149 +1 x152 +1 x155 +1 x158 +1 x161 +1 x167 +1 x176 +1 x179 +1 x188 +1 x194 +1 x197 +1 x206 +1 x209 +1 x224 +1 x230 +1 x233 +1 x248 +1 x251 +1 x254 +1 x263 +1 x266 +1 x269 +1 x272 +1 x284 +1 x287 +1 x290 +1 x299 +1 x314 +1 x317 +1 x320 +1 x329 +1 x338 +1 x341 +1 x344 +1 x347 +1 x350 +1 x359 +1
 x362 +1 x365 +1 x368 +1 x371 +1 x377 +1 x401 +1 x410 +1 x467 +1 x470 +1 x476 +1 x485 +1 x491 = +1
 con3: +1 x5 +1 x8 +1 x11 +1 x13 +1 x16 +1 x19 +1 x22 +1 x25 +1 x28 +1 x31 +1 x34 +1 x37 +1 x40 +1 x43 +1 x46 +1 x49 +1 x52 +1 x55 +1 x58 +1 x61 +1 x63 +1 x66 +1 x68 +1 x69 +1 x71 +1 x72 +1 x75 +1 x78 +1 x81 +1 x84 +1 x87 +1 x90 +1 x92 +1 x93 +1 x96 +1 x99 +1 x102 +1 x104 +1 x105 +1 x107 +1 x108 +1 x111 +1 x114 +1 x117 +1 x119 +1 x120 +1 x122 +1 x123 +1 x126 +1 x129 +1 x132 +1 x135 +1 x137 +1 x138 +1 x141 +1 x144 +1 x147 +1 x150 +1 x153 +1 x156 +1 x159 +1 x162 +1 x165 +1 x168 +1 x171 +1 x173 +1 x174 +1 x177 +1 x180 +1 x183 +1 x186 +1 x189 +1 x191 +1
 x192 +1 x195 +1 x198 +1 x200 +1 x201 +1 x204 +1 x207 +1 x210 +1 x212 +1 x213 +1 x216 +1 x219 +1 x221 +1 x222 +1 x225 +1 x228 +1 x231 +1 x234 +1 x237 +1 x239 +1 x240 +1 x242 +1 x243 +1 x246 +1 x249 +1 x252 +1 x255 +1 x257 +1 x258 +1 x261 +1 x264 +1 x267 +1 x270 +1 x273 +1 x276 +1 x278 +1 x279 +1 x281 +1 x282 +1 x285 +1 x288 +1 x291 +1 x294 +1 x296 +1 x297 +1 x300 +1 x303 +1 x306 +1 x309 +1 x311 +1 x312 +1 x315 +1 x318 +1 x321 +1 x324 +1 x326 +1 x327 +1 x330 +1 x333 +1 x335 +1 x336 +1 x339 +1 x342 +1 x345 +1 x348 +1 x351 +1 x354 +1 x357 +1 x360 +1 x363
 +1 x366 +1 x369 +1 x372 +1 x374 +1 x375 +1 x378 +1 x381 +1 x383 +1 x384 +1 x386 +1 x387 +1 x390 +1 x393 +1 x396 +1 x398 +1 x399 +1 x402 +1 x405 +1 x407 +1 x408 +1 x411 +1 x414 +1 x416 +1 x417 +1 x420 +1 x423 +1 x425 +1 x426 +1 x428 +1 x429 +1 x432 +1 x435 +1 x438 +1 x440 +1 x441 +1 x443 +1 x444 +1 x447 +1 x449 +1 x450 +1 x452 +1 x453 +1 x456 +1 x459 +1 x462 +1 x464 +1 x465 +1 x468 +1 x471 +1 x474 +1 x477 +1 x480 +1 x482 +1 x483 +1 x486 +1 x488 +1 x489 +1 x492 = +1
 con4: +1 x3 +1 x6 +1 x9 +1 x14 +1 x17 +1 x20 +1 x23 +1 x26 +1 x29 +1 x32 +1 x35 +1 x38 +1 x41 +1 x44 +1 x47 +1 x50 +1 x53 +1 x56 +1 x59 +1 x62 +1 x64 +1 x65 +1 x67 +1 x70 +1 x73 +1 x74 +1 x76 +1 x79 +1 x82 +1 x85 +1 x88 +1 x91 +1 x94 +1 x95 +1 x97 +1 x98 +1 x100 +1 x103 +1 x106 +1 x109 +1 x110 +1 x112 +1 x115 +1 x118 +1 x121 +1 x124 +1 x125 +1 x127 +1 x130 +1 x133 +1 x136 +1 x139 +1 x142 +1 x145 +1 x148 +1 x151 +1 x154 +1 x157 +1 x160 +1 x163 +1 x164 +1 x166 +1 x169 +1 x170 +1 x172 +1 x175 +1 x178 +1 x181 +1 x182 +1 x184 +1 x185 +1 x187 +1 x190 +1 x193
 +1 x196 +1 x199 +1 x202 +1 x203 +1 x205 +1 x208 +1 x211 +1 x214 +1 x215 +1 x217 +1 x218 +1 x220 +1 x223 +1 x226 +1 x227 +1 x229 +1 x232 +1 x235 +1 x236 +1 x238 +1 x241 +1 x244 +1 x245 +1 x247 +1 x250 +1 x253 +1 x256 +1 x259 +1 x260 +1 x262 +1 x265 +1 x268 +1 x271 +1 x274 +1 x275 +1 x277 +1 x280 +1 x283 +1 x286 +1 x289 +1 x292 +1 x293 +1 x295 +1 x298 +1 x301 +1 x302 +1 x304 +1 x305 +1 x307 +1 x308 +1 x310 +1 x313 +1 x316 +1 x319 +1 x322 +1 x323 +1 x325 +1 x328 +1 x331 +1 x332 +1 x334 +1 x337 +1 x340 +1 x343 +1 x346 +1 x349 +1 x352 +1 x353 +1 x355 +1
 x356 +1 x358 +1 x361 +1 x364 +1 x367 +1 x370 +1 x373 +1 x376 +1 x379 +1 x380 +1 x382 +1 x385 +1 x388 +1 x389 +1 x391 +1 x392 +1 x394 +1 x395 +1 x397 +1 x400 +1 x403 +1 x404 +1 x406 +1 x409 +1 x412 +1 x413 +1 x415 +1 x418 +1 x419 +1 x421 +1 x422 +1 x424 +1 x427 +1 x430 +1 x431 +1 x433 +1 x434 +1 x436 +1 x437 +1 x439 +1 x442 +1 x445 +1 x446 +1 x448 +1 x451 +1 x454 +1 x455 +1 x457 +1 x458 +1 x460 +1 x461 +1 x463 +1 x466 +1 x469 +1 x472 +1 x473 +1 x475 +1 x478 +1 x479 +1 x481 +1 x484 +1 x487 +1 x490 +1 x493 = +1
 con5: +1 x5 +1 x8 +1 x11 +1 x13 +1 x16 +1 x19 +1 x25 +1 x28 +1 x31 +1 x34 +1 x37 +1 x40 +1 x46 +1 x49 +1 x52 +1 x55 +1 x58 +1 x61 +1 x63 +1 x66 +1 x68 +1 x69 +1 x71 +1 x72 +1 x75 +1 x78 +1 x81 +1 x84 +1 x87 +1 x90 +1 x92 +1 x93 +1 x96 +1 x102 +1 x104 +1 x105 +1 x107 +1 x108 +1 x111 +1 x114 +1 x119 +1 x120 +1 x122 +1 x123 +1 x126 +1 x129 +1 x132 +1 x135 +1 x137 +1 x138 +1 x141 +1 x144 +1 x150 +1 x153 +1 x156 +1 x159 +1 x162 +1 x165 +1 x168 +1 x171 +1 x173 +1 x174 +1 x176 +1 x177 +1 x180 +1 x183 +1 x186 +1 x189 +1 x191 +1 x192 +1 x195 +1 x198 +1 x200 +1
 x212 +1 x213 +1 x221 +1 x222 +1 x225 +1 x231 +1 x239 +1 x240 +1 x242 +1 x243 +1 x246 +1 x248 +1 x249 +1 x252 +1 x255 +1 x257 +1 x261 +1 x264 +1 x273 +1 x278 +1 x279 +1 x281 +1 x282 +1 x285 +1 x288 +1 x291 +1 x294 +1 x296 +1 x297 +1 x300 +1 x303 +1 x311 +1 x312 +1 x315 +1 x320 +1 x321 +1 x322 +1 x326 +1 x327 +1 x329 +1 x330 +1 x333 +1 x335 +1 x338 +1 x339 +1 x341 +1 x342 +1 x357 +1 x362 +1 x363 +1 x365 +1 x366 +1 x368 +1 x369 +1 x371 +1 x372 +1 x374 +1 x383 +1 x386 +1 x398 +1 x407 +1 x416 +1 x425 +1 x428 +1 x440 +1 x441 +1 x442 +1 x443 +1 x449 +1 x452
 +1 x464 +1 x482 +1 x488 = +1
 con6: +1 x2 +1 x4 +1 x7 +1 x10 +1 x12 +1 x15 +1 x18 +1 x21 +1 x24 +1 x25 +1 x27 +1 x30 +1 x33 +1 x36 +1 x39 +1 x40 +1 x42 +1 x45 +1 x48 +1 x49 +1 x51 +1 x54 +1 x55 +1 x57 +1 x68 +1 x77 +1 x80 +1 x83 +1 x84 +1 x86 +1 x89 +1 x101 +1 x108 +1 x109 +1 x111 +1 x113 +1 x123 +1 x128 +1 x131 +1 x132 +1 x134 +1 x140 +1 x143 +1 x146 +1 x152 +1 x155 +1 x158 +1 x161 +1 x167 +1 x176 +1 x179 +1 x188 +1 x204 +1 x206 +1 x207 +1 x209 +1 x210 +1 x230 +1 x242 +1 x243 +1 x263 +1 x266 +1 x267 +1 x269 +1 x272 +1 x279 +1 x284 +1 x290 +1 x291 +1 x299 +1 x300 +1 x306 +1 x314 +1
 x324 +1 x327 +1 x338 +1 x339 +1 x347 +1 x348 +1 x354 +1 x357 +1 x359 +1 x360 +1 x362 +1 x363 +1 x365 +1 x366 +1 x368 +1 x369 +1 x371 +1 x372 +1 x377 +1 x401 +1 x410 +1 x414 +1 x415 +1 x443 +1 x467 +1 x476 +1 x485 +1 x491 = +1
 con7: +1 x5 +1 x8 +1 x11 +1 x13 +1 x16 +1 x19 +1 x22 +1 x25 +1 x28 +1 x31 +1 x34 +1 x37 +1 x39 +1 x40 +1 x43 +1 x46 +1 x49 +1 x52 +1 x54 +1 x55 +1 x57 +1 x58 +1 x61 +1 x63 +1 x66 +1 x69 +1 x71 +1 x72 +1 x75 +1 x78 +1 x80 +1 x81 +1 x83 +1 x84 +1 x86 +1 x87 +1 x89 +1 x90 +1 x93 +1 x96 +1 x99 +1 x102 +1 x104 +1 x105 +1 x107 +1 x114 +1 x116 +1 x117 +1 x119 +1 x120 +1 x122 +1 x123 +1 x126 +1 x129 +1 x131 +1 x132 +1 x134 +1 x135 +1 x137 +1 x138 +1 x150 +1 x152 +1 x153 +1 x155 +1 x156 +1 x157 +1 x159 +1 x162 +1 x171 +1 x173 +1 x174 +1 x177 +1 x180 +1 x183 +1
 x186 +1 x189 +1 x191 +1 x192 +1 x194 +1 x195 +1 x197 +1 x198 +1 x200 +1 x201 +1 x204 +1 x210 +1 x212 +1 x213 +1 x216 +1 x219 +1 x221 +1 x225 +1 x233 +1 x234 +1 x239 +1 x242 +1 x243 +1 x255 +1 x257 +1 x258 +1 x273 +1 x278 +1 x279 +1 x281 +1 x287 +1 x288 +1 x289 +1 x290 +1 x291 +1 x292 +1 x294 +1 x295 +1 x296 +1 x297 +1 x298 +1 x304 +1 x306 +1 x307 +1 x309 +1 x310 +1 x311 +1 x312 +1 x313 +1 x315 +1 x316 +1 x318 +1 x319 +1 x322 +1 x325 +1 x326 +1 x334 +1 x335 +1 x374 +1 x383 +1 x386 +1 x398 +1 x407 +1 x416 +1 x425 +1 x440 +1 x443 +1 x449 +1 x464 +1 x477
 +1 x478 +1 x482 +1 x488 = +1
 con8: +1 x7 +1 x14 +1 x20 +1 x23 +1 x32 +1 x53 +1 x56 +1 x62 +1 x64 +1 x65 +1 x67 +1 x70 +1 x73 +1 x76 +1 x77 +1 x82 +1 x86 +1 x88 +1 x89 +1 x91 +1 x94 +1 x97 +1 x98 +1 x100 +1 x101 +1 x103 +1 x106 +1 x109 +1 x110 +1 x112 +1 x113 +1 x115 +1 x116 +1 x121 +1 x124 +1 x125 +1 x127 +1 x145 +1 x155 +1 x157 +1 x158 +1 x160 +1 x178 +1 x181 +1 x182 +1 x184 +1 x187 +1 x188 +1 x190 +1 x193 +1 x196 +1 x203 +1 x214 +1 x227 +1 x236 +1 x241 +1 x244 +1 x245 +1 x253 +1 x254 +1 x259 +1 x266 +1 x268 +1 x272 +1 x274 +1 x275 +1 x277 +1 x280 +1 x283 +1 x284 +1 x286 +1 x293
 +1 x295 +1 x298 +1 x299 +1 x301 +1 x302 +1 x307 +1 x308 +1 x317 +1 x318 +1 x319 +1 x320 +1 x321 +1 x322 +1 x323 +1 x327 +1 x328 +1 x333 +1 x334 +1 x336 +1 x337 +1 x350 +1 x351 +1 x352 +1 x356 +1 x365 +1 x366 +1 x367 +1 x368 +1 x369 +1 x370 +1 x371 +1 x372 +1 x373 +1 x377 +1 x380 +1 x389 +1 x392 +1 x395 +1 x419 +1 x438 +1 x439 +1 x446 +1 x458 +1 x467 +1 x473 +1 x479 = +1
 con9: +1 x3 +1 x6 +1 x9 +1 x14 +1 x17 +1 x20 +1 x32 +1 x35 +1 x38 +1 x41 +1 x44 +1 x59 +1 x62 +1 x64 +1 x65 +1 x67 +1 x70 +1 x73 +1 x74 +1 x76 +1 x79 +1 x82 +1 x85 +1 x95 +1 x97 +1 x98 +1 x100 +1 x103 +1 x106 +1 x109 +1 x110 +1 x112 +1 x115 +1 x118 +1 x125 +1 x127 +1 x128 +1 x130 +1 x133 +1 x136 +1 x139 +1 x142 +1 x145 +1 x151 +1 x154 +1 x160 +1 x161 +1 x163 +1 x164 +1 x166 +1 x169 +1 x170 +1 x172 +1 x175 +1 x182 +1 x184 +1 x187 +1 x193 +1 x196 +1 x198 +1 x199 +1 x200 +1 x202 +1 x205 +1 x215 +1 x217 +1 x218 +1 x220 +1 x226 +1 x235 +1 x241 +1 x242 +1
 x244 +1 x245 +1 x247 +1 x249 +1 x250 +1 x260 +1 x266 +1 x268 +1 x271 +1 x274 +1 x275 +1 x280 +1 x282 +1 x283 +1 x284 +1 x285 +1 x286 +1 x289 +1 x292 +1 x296 +1 x297 +1 x298 +1 x302 +1 x305 +1 x307 +1 x308 +1 x309 +1 x310 +1 x312 +1 x323 +1 x330 +1 x331 +1 x332 +1 x336 +1 x337 +1 x342 +1 x343 +1 x345 +1 x346 +1 x349 +1 x352 +1 x353 +1 x354 +1 x355 +1 x356 +1 x357 +1 x358 +1 x361 +1 x364 +1 x367 +1 x370 +1 x380 +1 x384 +1 x385 +1 x389 +1 x392 +1 x395 +1 x404 +1 x413 +1 x419 +1 x422 +1 x431 +1 x434 +1 x437 +1 x446 +1 x455 +1 x458 +1 x461 +1 x473 +1 x479 =
 +1
 con10: +1 x14 +1 x17 +1 x20 +1 x26 +1 x31 +1 x35 +1 x38 +1 x41 +1 x43 +1 x44 +1 x49 +1 x50 +1 x52 +1 x53 +1 x55 +1 x56 +1 x58 +1 x59 +1 x62 +1 x67 +1 x68 +1 x69 +1 x71 +1 x72 +1 x73 +1 x75 +1 x78 +1 x82 +1 x92 +1 x98 +1 x104 +1 x119 +1 x125 +1 x127 +1 x129 +1 x130 +1 x132 +1 x133 +1 x135 +1 x136 +1 x137 +1 x138 +1 x142 +1 x159 +1 x160 +1 x164 +1 x165 +1 x166 +1 x168 +1 x169 +1 x170 +1 x173 +1 x191 +1 x210 +1 x211 +1 x213 +1 x214 +1 x216 +1 x217 +1 x222 +1 x223 +1 x225 +1 x231 +1 x232 +1 x234 +1 x235 +1 x237 +1 x238 +1 x239 +1 x246 +1 x249 +1 x252 +1
 x253 +1 x255 +1 x256 +1 x258 +1 x264 +1 x267 +1 x270 +1 x271 +1 x273 +1 x274 +1 x276 +1 x277 +1 x279 +1 x280 +1 x282 +1 x283 +1 x285 +1 x286 +1 x293 +1 x297 +1 x302 +1 x303 +1 x309 +1 x310 +1 x323 +1 x327 +1 x328 +1 x332 +1 x336 +1 x337 +1 x339 +1 x340 +1 x342 +1 x343 +1 x345 +1 x346 +1 x348 +1 x349 +1 x351 +1 x352 +1 x363 +1 x364 +1 x369 +1 x370 +1 x372 +1 x373 +1 x380 +1 x389 +1 x395 +1 x404 +1 x413 +1 x422 +1 x431 +1 x435 +1 x436 +1 x437 +1 x443 +1 x473 +1 x482 = +1
 con11: +1 x2 +1 x3 +1 x4 +1 x6 +1 x9 +1 x10 +1 x14 +1 x15 +1 x17 +1 x18 +1 x20 +1 x21 +1 x23 +1 x24 +1 x26 +1 x29 +1 x32 +1 x35 +1 x36 +1 x38 +1 x39 +1 x41 +1 x42 +1 x44 +1 x45 +1 x47 +1 x48 +1 x50 +1 x51 +1 x53 +1 x54 +1 x56 +1 x57 +1 x59 +1 x60 +1 x62 +1 x64 +1 x65 +1 x67 +1 x74 +1 x95 +1 x98 +1 x106 +1 x109 +1 x112 +1 x113 +1 x115 +1 x128 +1 x130 +1 x152 +1 x154 +1 x161 +1 x163 +1 x164 +1 x166 +1 x167 +1 x169 +1 x182 +1 x184 +1 x187 +1 x197 +1 x199 +1 x203 +1 x215 +1 x217 +1 x218 +1 x220 +1 x223 +1 x227 +1 x229 +1 x230 +1 x232 +1 x233 +1 x254 +1
 x255 +1 x256 +1 x260 +1 x261 +1 x262 +1 x269 +1 x272 +1 x274 +1 x280 +1 x283 +1 x290 +1 x292 +1 x305 +1 x307 +1 x314 +1 x327 +1 x328 +1 x329 +1 x330 +1 x331 +1 x338 +1 x339 +1 x340 +1 x349 +1 x350 +1 x351 +1 x352 +1 x353 +1 x357 +1 x358 +1 x361 +1 x364 +1 x367 +1 x370 +1 x373 +1 x380 +1 x390 +1 x391 +1 x401 +1 x419 +1 x437 +1 x455 +1 x458 +1 x461 +1 x473 +1 x476 = +1
 con12: +1 x2 +1 x4 +1 x7 +1 x10 +1 x12 +1 x15 +1 x18 +1 x21 +1 x23 +1 x24 +1 x27 +1 x29 +1 x30 +1 x32 +1 x33 +1 x35 +1 x36 +1 x38 +1 x42 +1 x44 +1 x45 +1 x47 +1 x48 +1 x50 +1 x51 +1 x53 +1 x54 +1 x56 +1 x57 +1 x59 +1 x60 +1 x62 +1 x67 +1 x70 +1 x73 +1 x76 +1 x77 +1 x79 +1 x80 +1 x82 +1 x83 +1 x86 +1 x88 +1 x89 +1 x91 +1 x94 +1 x95 +1 x110 +1 x116 +1 x118 +1 x125 +1 x128 +1 x131 +1 x134 +1 x136 +1 x139 +1 x158 +1 x160 +1 x161 +1 x163 +1 x164 +1 x170 +1 x176 +1 x187 +1 x188 +1 x190 +1 x194 +1 x196 +1 x197 +1 x205 +1 x206 +1 x211 +1 x214 +1 x215 +1 x220
 +1 x223 +1 x224 +1 x226 +1 x227 +1 x230 +1 x232 +1 x235 +1 x238 +1 x241 +1 x244 +1 x248 +1 x250 +1 x251 +1 x253 +1 x260 +1 x262 +1 x263 +1 x265 +1 x269 +1 x271 +1 x272 +1 x274 +1 x277 +1 x283 +1 x284 +1 x286 +1 x298 +1 x299 +1 x300 +1 x301 +1 x305 +1 x307 +1 x310 +1 x317 +1 x319 +1 x322 +1 x325 +1 x331 +1 x334 +1 x340 +1 x343 +1 x346 +1 x352 +1 x353 +1 x355 +1 x358 +1 x361 +1 x364 +1 x367 +1 x370 +1 x373 +1 x377 +1 x381 +1 x382 +1 x392 +1 x401 +1 x410 +1 x419 = +1
 con13: +1 x2 +1 x4 +1 x7 +1 x10 +1 x12 +1 x24 +1 x27 +1 x30 +1 x33 +1 x36 +1 x39 +1 x42 +1 x45 +1 x60 +1 x77 +1 x80 +1 x83 +1 x86 +1 x89 +1 x90 +1 x93 +1 x96 +1 x101 +1 x116 +1 x122 +1 x128 +1 x131 +1 x134 +1 x135 +1 x138 +1 x140 +1 x143 +1 x146 +1 x147 +1 x149 +1 x152 +1 x155 +1 x158 +1 x161 +1 x162 +1 x167 +1 x176 +1 x179 +1 x188 +1 x191 +1 x194 +1 x197 +1 x198 +1 x201 +1 x206 +1 x209 +1 x210 +1 x221 +1 x224 +1 x248 +1 x254 +1 x263 +1 x264 +1 x265 +1 x266 +1 x269 +1 x272 +1 x282 +1 x284 +1 x287 +1 x290 +1 x297 +1 x298 +1 x303 +1 x304 +1 x314 +1 x317
 +1 x318 +1 x319 +1 x329 +1 x338 +1 x341 +1 x344 +1 x347 +1 x350 +1 x359 +1 x362 +1 x365 +1 x368 +1 x371 +1 x377 +1 x401 +1 x410 +1 x452 +1 x467 +1 x476 +1 x485 +1 x488 +1 x489 +1 x490 +1 x491 = +1
 con14: +1 x2 +1 x4 +1 x7 +1 x10 +1 x12 +1 x15 +1 x18 +1 x21 +1 x24 +1 x27 +1 x30 +1 x33 +1 x39 +1 x42 +1 x45 +1 x48 +1 x51 +1 x54 +1 x57 +1 x77 +1 x83 +1 x86 +1 x87 +1 x89 +1 x101 +1 x104 +1 x113 +1 x116 +1 x140 +1 x143 +1 x146 +1 x149 +1 x152 +1 x158 +1 x161 +1 x176 +1 x179 +1 x186 +1 x188 +1 x206 +1 x209 +1 x224 +1 x228 +1 x230 +1 x231 +1 x232 +1 x233 +1 x237 +1 x238 +1 x254 +1 x266 +1 x284 +1 x285 +1 x286 +1 x287 +1 x288 +1 x294 +1 x299 +1 x300 +1 x301 +1 x303 +1 x304 +1 x306 +1 x307 +1 x312 +1 x314 +1 x317 +1 x329 +1 x338 +1 x341 +1 x344 +1 x377 +1
 x401 +1 x410 +1 x453 +1 x454 +1 x467 +1 x476 +1 x485 +1 x491 = +1
 con15: +1 x2 +1 x4 +1 x7 +1 x10 +1 x12 +1 x15 +1 x18 +1 x21 +1 x24 +1 x26 +1 x27 +1 x29 +1 x30 +1 x33 +1 x36 +1 x38 +1 x39 +1 x41 +1 x42 +1 x45 +1 x47 +1 x48 +1 x50 +1 x51 +1 x54 +1 x56 +1 x57 +1 x77 +1 x80 +1 x97 +1 x100 +1 x101 +1 x113 +1 x116 +1 x121 +1 x128 +1 x143 +1 x146 +1 x148 +1 x149 +1 x151 +1 x152 +1 x155 +1 x158 +1 x160 +1 x161 +1 x164 +1 x167 +1 x176 +1 x188 +1 x193 +1 x194 +1 x196 +1 x197 +1 x199 +1 x209 +1 x211 +1 x215 +1 x223 +1 x224 +1 x226 +1 x230 +1 x233 +1 x251 +1 x253 +1 x254 +1 x259 +1 x263 +1 x266 +1 x269 +1 x272 +1 x277 +1 x283
 +1 x287 +1 x290 +1 x295 +1 x299 +1 x306 +1 x314 +1 x324 +1 x333 +1 x338 +1 x339 +1 x341 +1 x342 +1 x344 +1 x347 +1 x350 +1 x359 +1 x362 +1 x365 +1 x368 +1 x371 +1 x377 +1 x387 +1 x388 +1 x401 +1 x410 +1 x467 +1 x476 +1 x485 +1 x491 = +1
 con16: +1 x3 +1 x6 +1 x9 +1 x14 +1 x16 +1 x17 +1 x20 +1 x22 +1 x23 +1 x26 +1 x28 +1 x29 +1 x32 +1 x38 +1 x44 +1 x53 +1 x56 +1 x59 +1 x62 +1 x63 +1 x64 +1 x65 +1 x67 +1 x68 +1 x74 +1 x79 +1 x82 +1 x91 +1 x93 +1 x94 +1 x95 +1 x97 +1 x98 +1 x104 +1 x107 +1 x110 +1 x123 +1 x124 +1 x126 +1 x127 +1 x128 +1 x129 +1 x130 +1 x131 +1 x132 +1 x133 +1 x134 +1 x135 +1 x136 +1 x137 +1 x138 +1 x139 +1 x141 +1 x142 +1 x144 +1 x145 +1 x147 +1 x148 +1 x150 +1 x151 +1 x153 +1 x154 +1 x156 +1 x157 +1 x160 +1 x164 +1 x166 +1 x169 +1 x170 +1 x172 +1 x173 +1 x182 +1 x185 +1
 x186 +1 x187 +1 x193 +1 x197 +1 x198 +1 x199 +1 x201 +1 x202 +1 x204 +1 x205 +1 x211 +1 x215 +1 x227 +1 x229 +1 x234 +1 x235 +1 x236 +1 x238 +1 x249 +1 x250 +1 x260 +1 x283 +1 x288 +1 x289 +1 x291 +1 x292 +1 x293 +1 x295 +1 x301 +1 x302 +1 x305 +1 x308 +1 x309 +1 x310 +1 x312 +1 x313 +1 x320 +1 x321 +1 x322 +1 x323 +1 x327 +1 x328 +1 x332 +1 x344 +1 x345 +1 x346 +1 x354 +1 x355 +1 x366 +1 x367 +1 x369 +1 x370 +1 x372 +1 x373 +1 x378 +1 x379 +1 x389 +1 x392 +1 x395 +1 x419 +1 x422 +1 x434 +1 x449 +1 x455 +1 x458 +1 x461 +1 x473 +1 x479 = +1
 con17: +1 x2 +1 x4 +1 x7 +1 x10 +1 x12 +1 x15 +1 x16 +1 x18 +1 x21 +1 x22 +1 x24 +1 x27 +1 x30 +1 x33 +1 x36 +1 x39 +1 x40 +1 x45 +1 x48 +1 x51 +1 x68 +1 x72 +1 x75 +1 x77 +1 x78 +1 x80 +1 x81 +1 x83 +1 x84 +1 x86 +1 x87 +1 x89 +1 x90 +1 x92 +1 x101 +1 x102 +1 x113 +1 x116 +1 x117 +1 x119 +1 x120 +1 x123 +1 x126 +1 x128 +1 x129 +1 x131 +1 x132 +1 x134 +1 x135 +1 x140 +1 x141 +1 x143 +1 x144 +1 x146 +1 x147 +1 x149 +1 x150 +1 x152 +1 x153 +1 x155 +1 x156 +1 x158 +1 x159 +1 x161 +1 x165 +1 x167 +1 x168 +1 x171 +1 x174 +1 x176 +1 x177 +1 x179 +1 x180 +1
 x188 +1 x194 +1 x195 +1 x197 +1 x198 +1 x206 +1 x207 +1 x209 +1 x210 +1 x224 +1 x230 +1 x231 +1 x233 +1 x239 +1 x248 +1 x249 +1 x251 +1 x252 +1 x254 +1 x255 +1 x263 +1 x264 +1 x266 +1 x267 +1 x269 +1 x270 +1 x272 +1 x273 +1 x274 +1 x284 +1 x285 +1 x287 +1 x288 +1 x290 +1 x299 +1 x314 +1 x317 +1 x320 +1 x326 +1 x329 +1 x330 +1 x335 +1 x338 +1 x339 +1 x341 +1 x342 +1 x344 +1 x345 +1 x347 +1 x348 +1 x350 +1 x351 +1 x359 +1 x360 +1 x362 +1 x363 +1 x365 +1 x366 +1 x368 +1 x369 +1 x371 +1 x372 +1 x374 +1 x377 +1 x383 +1 x398 +1 x401 +1 x410 +1 x416 +1 x425
 +1 x464 +1 x467 +1 x470 +1 x471 +1 x472 +1 x476 +1 x482 +1 x485 +1 x491 = +1
 con18: +1 x3 +1 x5 +1 x6 +1 x8 +1 x9 +1 x11 +1 x13 +1 x16 +1 x19 +1 x20 +1 x22 +1 x25 +1 x28 +1 x31 +1 x32 +1 x34 +1 x35 +1 x37 +1 x38 +1 x40 +1 x41 +1 x43 +1 x46 +1 x47 +1 x49 +1 x50 +1 x52 +1 x53 +1 x55 +1 x56 +1 x58 +1 x59 +1 x61 +1 x62 +1 x68 +1 x69 +1 x71 +1 x81 +1 x82 +1 x87 +1 x88 +1 x90 +1 x91 +1 x92 +1 x98 +1 x99 +1 x100 +1 x104 +1 x105 +1 x108 +1 x109 +1 x110 +1 x111 +1 x112 +1 x114 +1 x115 +1 x119 +1 x122 +1 x125 +1 x129 +1 x130 +1 x135 +1 x137 +1 x138 +1 x139 +1 x141 +1 x142 +1 x144 +1 x145 +1 x147 +1 x148 +1 x165 +1 x166 +1 x171 +1 x172 +1
 x173 +1 x174 +1 x175 +1 x177 +1 x178 +1 x180 +1 x181 +1 x183 +1 x184 +1 x185 +1 x195 +1 x198 +1 x201 +1 x204 +1 x207 +1 x212 +1 x213 +1 x214 +1 x215 +1 x216 +1 x217 +1 x219 +1 x220 +1 x221 +1 x222 +1 x223 +1 x225 +1 x226 +1 x228 +1 x229 +1 x231 +1 x234 +1 x235 +1 x236 +1 x237 +1 x238 +1 x239 +1 x242 +1 x245 +1 x252 +1 x253 +1 x255 +1 x256 +1 x257 +1 x264 +1 x265 +1 x267 +1 x268 +1 x271 +1 x275 +1 x278 +1 x281 +1 x282 +1 x283 +1 x285 +1 x291 +1 x292 +1 x293 +1 x294 +1 x296 +1 x298 +1 x301 +1 x306 +1 x307 +1 x308 +1 x311 +1 x318 +1 x319 +1 x324 +1 x325
 +1 x326 +1 x335 +1 x345 +1 x346 +1 x348 +1 x349 +1 x351 +1 x352 +1 x354 +1 x355 +1 x356 +1 x363 +1 x364 +1 x366 +1 x367 +1 x370 +1 x373 +1 x374 +1 x383 +1 x386 +1 x389 +1 x392 +1 x395 +1 x398 +1 x407 +1 x413 +1 x422 +1 x428 +1 x434 +1 x437 +1 x440 +1 x443 +1 x446 +1 x452 +1 x461 +1 x464 +1 x482 +1 x488 +1 x492 +1 x493 = +1
 con19: +1 x9 +1 x14 +1 x17 +1 x20 +1 x26 +1 x29 +1 x32 +1 x35 +1 x47 +1 x53 +1 x56 +1 x59 +1 x64 +1 x65 +1 x67 +1 x70 +1 x72 +1 x73 +1 x74 +1 x76 +1 x79 +1 x81 +1 x82 +1 x84 +1 x85 +1 x88 +1 x91 +1 x94 +1 x95 +1 x97 +1 x98 +1 x100 +1 x106 +1 x109 +1 x110 +1 x112 +1 x115 +1 x118 +1 x121 +1 x124 +1 x125 +1 x127 +1 x130 +1 x133 +1 x136 +1 x139 +1 x142 +1 x148 +1 x154 +1 x155 +1 x156 +1 x157 +1 x160 +1 x163 +1 x164 +1 x169 +1 x170 +1 x172 +1 x175 +1 x178 +1 x180 +1 x181 +1 x182 +1 x184 +1 x185 +1 x187 +1 x193 +1 x196 +1 x199 +1 x202 +1 x203 +1 x205 +1 x208
 +1 x214 +1 x215 +1 x217 +1 x218 +1 x223 +1 x224 +1 x225 +1 x226 +1 x227 +1 x228 +1 x229 +1 x232 +1 x235 +1 x236 +1 x238 +1 x241 +1 x244 +1 x245 +1 x247 +1 x248 +1 x249 +1 x250 +1 x253 +1 x260 +1 x262 +1 x265 +1 x268 +1 x271 +1 x275 +1 x277 +1 x280 +1 x286 +1 x289 +1 x292 +1 x293 +1 x294 +1 x295 +1 x302 +1 x304 +1 x305 +1 x308 +1 x317 +1 x318 +1 x319 +1 x323 +1 x324 +1 x325 +1 x329 +1 x330 +1 x331 +1 x332 +1 x333 +1 x334 +1 x336 +1 x337 +1 x353 +1 x356 +1 x362 +1 x363 +1 x364 +1 x368 +1 x369 +1 x370 +1 x371 +1 x372 +1 x373 +1 x380 +1 x389 +1 x392 +1
 x395 +1 x404 +1 x407 +1 x413 +1 x419 +1 x422 +1 x431 +1 x434 +1 x437 +1 x440 +1 x446 +1 x455 +1 x458 +1 x461 +1 x473 +1 x474 +1 x475 +1 x479 = +1
 con20: +1 x5 +1 x7 +1 x8 +1 x10 +1 x11 +1 x13 +1 x15 +1 x16 +1 x18 +1 x19 +1 x21 +1 x22 +1 x25 +1 x28 +1 x30 +1 x31 +1 x33 +1 x34 +1 x36 +1 x37 +1 x39 +1 x40 +1 x42 +1 x43 +1 x45 +1 x46 +1 x48 +1 x49 +1 x51 +1 x52 +1 x54 +1 x57 +1 x58 +1 x60 +1 x61 +1 x63 +1 x66 +1 x69 +1 x71 +1 x75 +1 x77 +1 x78 +1 x80 +1 x81 +1 x86 +1 x99 +1 x101 +1 x105 +1 x107 +1 x108 +1 x111 +1 x113 +1 x114 +1 x116 +1 x117 +1 x120 +1 x122 +1 x123 +1 x126 +1 x140 +1 x146 +1 x147 +1 x152 +1 x155 +1 x158 +1 x159 +1 x161 +1 x162 +1 x165 +1 x167 +1 x168 +1 x171 +1 x176 +1 x191 +1 x194
 +1 x200 +1 x207 +1 x209 +1 x212 +1 x213 +1 x216 +1 x221 +1 x222 +1 x224 +1 x228 +1 x229 +1 x230 +1 x231 +1 x232 +1 x233 +1 x240 +1 x241 +1 x242 +1 x244 +1 x257 +1 x260 +1 x263 +1 x266 +1 x267 +1 x268 +1 x269 +1 x270 +1 x271 +1 x278 +1 x279 +1 x281 +1 x290 +1 x292 +1 x296 +1 x298 +1 x304 +1 x311 +1 x315 +1 x316 +1 x326 +1 x329 +1 x331 +1 x335 +1 x341 +1 x343 +1 x344 +1 x346 +1 x347 +1 x349 +1 x350 +1 x352 +1 x355 +1 x358 +1 x362 +1 x364 +1 x365 +1 x367 +1 x368 +1 x370 +1 x371 +1 x373 +1 x407 +1 x410 +1 x428 +1 x440 +1 x443 +1 x449 +1 x456 +1 x457 +1
 x464 +1 x467 +1 x488 = +1
 con21: +1 x3 +1 x6 +1 x9 +1 x14 +1 x17 +1 x20 +1 x23 +1 x26 +1 x29 +1 x32 +1 x35 +1 x38 +1 x41 +1 x44 +1 x47 +1 x50 +1 x53 +1 x56 +1 x59 +1 x62 +1 x64 +1 x67 +1 x70 +1 x73 +1 x74 +1 x76 +1 x88 +1 x91 +1 x95 +1 x97 +1 x98 +1 x100 +1 x103 +1 x106 +1 x109 +1 x110 +1 x112 +1 x115 +1 x118 +1 x121 +1 x125 +1 x127 +1 x130 +1 x133 +1 x139 +1 x148 +1 x151 +1 x154 +1 x157 +1 x160 +1 x163 +1 x164 +1 x166 +1 x169 +1 x170 +1 x172 +1 x175 +1 x178 +1 x181 +1 x182 +1 x185 +1 x187 +1 x190 +1 x193 +1 x196 +1 x199 +1 x201 +1 x202 +1 x203 +1 x205 +1 x208 +1 x211 +1 x214
 +1 x215 +1 x217 +1 x218 +1 x220 +1 x223 +1 x226 +1 x227 +1 x229 +1 x232 +1 x235 +1 x236 +1 x238 +1 x241 +1 x244 +1 x245 +1 x247 +1 x250 +1 x251 +1 x252 +1 x253 +1 x256 +1 x259 +1 x260 +1 x262 +1 x265 +1 x268 +1 x271 +1 x274 +1 x275 +1 x280 +1 x283 +1 x286 +1 x289 +1 x292 +1 x293 +1 x295 +1 x298 +1 x302 +1 x305 +1 x308 +1 x317 +1 x318 +1 x319 +1 x320 +1 x321 +1 x322 +1 x323 +1 x332 +1 x336 +1 x337 +1 x338 +1 x339 +1 x340 +1 x353 +1 x354 +1 x355 +1 x356 +1 x357 +1 x358 +1 x359 +1 x360 +1 x361 +1 x362 +1 x364 +1 x365 +1 x367 +1 x370 +1 x373 +1 x380 +1
 x389 +1 x392 +1 x393 +1 x394 +1 x404 +1 x413 +1 x422 +1 x431 +1 x434 +1 x446 +1 x455 +1 x458 +1 x461 +1 x473 +1 x479 = +1
 con22: +1 x2 +1 x4 +1 x7 +1 x10 +1 x12 +1 x15 +1 x18 +1 x21 +1 x24 +1 x27 +1 x30 +1 x31 +1 x33 +1 x36 +1 x39 +1 x42 +1 x45 +1 x46 +1 x48 +1 x49 +1 x51 +1 x54 +1 x57 +1 x60 +1 x77 +1 x80 +1 x83 +1 x86 +1 x89 +1 x101 +1 x113 +1 x114 +1 x116 +1 x117 +1 x128 +1 x129 +1 x131 +1 x132 +1 x134 +1 x140 +1 x143 +1 x146 +1 x158 +1 x167 +1 x179 +1 x180 +1 x183 +1 x186 +1 x188 +1 x189 +1 x192 +1 x194 +1 x197 +1 x209 +1 x224 +1 x233 +1 x246 +1 x248 +1 x251 +1 x263 +1 x266 +1 x267 +1 x269 +1 x270 +1 x276 +1 x279 +1 x282 +1 x287 +1 x288 +1 x297 +1 x299 +1 x303 +1 x306
 +1 x309 +1 x312 +1 x313 +1 x314 +1 x329 +1 x330 +1 x333 +1 x334 +1 x336 +1 x347 +1 x348 +1 x350 +1 x351 +1 x357 +1 x359 +1 x360 +1 x362 +1 x363 +1 x365 +1 x366 +1 x368 +1 x369 +1 x371 +1 x372 +1 x375 +1 x376 +1 x377 +1 x401 +1 x467 +1 x476 +1 x485 +1 x491 = +1
 con23: +1 x2 +1 x4 +1 x15 +1 x18 +1 x19 +1 x21 +1 x24 +1 x27 +1 x42 +1 x51 +1 x54 +1 x57 +1 x60 +1 x61 +1 x66 +1 x67 +1 x77 +1 x80 +1 x83 +1 x86 +1 x89 +1 x90 +1 x94 +1 x95 +1 x101 +1 x105 +1 x106 +1 x108 +1 x126 +1 x131 +1 x143 +1 x146 +1 x148 +1 x149 +1 x174 +1 x175 +1 x176 +1 x179 +1 x205 +1 x213 +1 x214 +1 x224 +1 x226 +1 x227 +1 x228 +1 x233 +1 x248 +1 x254 +1 x256 +1 x258 +1 x261 +1 x262 +1 x266 +1 x267 +1 x268 +1 x269 +1 x270 +1 x271 +1 x272 +1 x273 +1 x278 +1 x284 +1 x285 +1 x287 +1 x289 +1 x298 +1 x306 +1 x307 +1 x311 +1 x314 +1 x320 +1 x321
 +1 x322 +1 x324 +1 x325 +1 x326 +1 x341 +1 x342 +1 x343 +1 x344 +1 x345 +1 x346 +1 x347 +1 x348 +1 x349 +1 x357 +1 x358 +1 x359 +1 x360 +1 x361 +1 x371 +1 x372 +1 x373 +1 x377 +1 x389 +1 x401 +1 x410 +1 x447 +1 x448 +1 x476 +1 x485 +1 x491 = +1
 con24: +1 x5 +1 x8 +1 x11 +1 x13 +1 x16 +1 x19 +1 x22 +1 x25 +1 x28 +1 x34 +1 x63 +1 x66 +1 x68 +1 x69 +1 x71 +1 x72 +1 x73 +1 x75 +1 x78 +1 x81 +1 x84 +1 x87 +1 x90 +1 x92 +1 x93 +1 x94 +1 x96 +1 x99 +1 x102 +1 x104 +1 x107 +1 x108 +1 x110 +1 x111 +1 x112 +1 x114 +1 x117 +1 x119 +1 x120 +1 x122 +1 x123 +1 x126 +1 x129 +1 x132 +1 x135 +1 x137 +1 x138 +1 x141 +1 x144 +1 x147 +1 x150 +1 x153 +1 x156 +1 x165 +1 x168 +1 x171 +1 x173 +1 x174 +1 x183 +1 x185 +1 x186 +1 x189 +1 x191 +1 x192 +1 x195 +1 x198 +1 x200 +1 x201 +1 x202 +1 x203 +1 x204 +1 x207 +1
 x208 +1 x210 +1 x212 +1 x213 +1 x221 +1 x222 +1 x225 +1 x228 +1 x231 +1 x234 +1 x239 +1 x240 +1 x242 +1 x243 +1 x246 +1 x249 +1 x255 +1 x257 +1 x258 +1 x259 +1 x261 +1 x264 +1 x267 +1 x268 +1 x270 +1 x273 +1 x278 +1 x281 +1 x285 +1 x286 +1 x288 +1 x291 +1 x294 +1 x296 +1 x297 +1 x302 +1 x303 +1 x306 +1 x311 +1 x312 +1 x313 +1 x321 +1 x322 +1 x324 +1 x325 +1 x326 +1 x327 +1 x328 +1 x330 +1 x331 +1 x335 +1 x336 +1 x339 +1 x342 +1 x348 +1 x351 +1 x354 +1 x357 +1 x360 +1 x363 +1 x366 +1 x369 +1 x372 +1 x374 +1 x383 +1 x386 +1 x398 +1 x404 +1 x407 +1 x416
 +1 x425 +1 x428 +1 x440 +1 x443 +1 x449 +1 x452 +1 x455 +1 x464 +1 x480 +1 x481 +1 x482 +1 x488 = +1
 con25: +1 x2 +1 x4 +1 x7 +1 x10 +1 x12 +1 x15 +1 x18 +1 x21 +1 x24 +1 x27 +1 x30 +1 x33 +1 x36 +1 x39 +1 x42 +1 x45 +1 x48 +1 x51 +1 x52 +1 x54 +1 x55 +1 x57 +1 x60 +1 x61 +1 x63 +1 x66 +1 x67 +1 x69 +1 x72 +1 x75 +1 x80 +1 x83 +1 x92 +1 x113 +1 x137 +1 x140 +1 x142 +1 x143 +1 x144 +1 x145 +1 x149 +1 x150 +1 x152 +1 x153 +1 x154 +1 x155 +1 x158 +1 x161 +1 x165 +1 x166 +1 x167 +1 x174 +1 x175 +1 x176 +1 x177 +1 x179 +1 x183 +1 x188 +1 x189 +1 x192 +1 x197 +1 x209 +1 x219 +1 x228 +1 x229 +1 x232 +1 x233 +1 x235 +1 x240 +1 x244 +1 x246 +1 x247 +1 x251 +1
 x253 +1 x263 +1 x264 +1 x265 +1 x266 +1 x268 +1 x272 +1 x273 +1 x274 +1 x276 +1 x277 +1 x293 +1 x298 +1 x301 +1 x308 +1 x312 +1 x313 +1 x314 +1 x320 +1 x321 +1 x322 +1 x325 +1 x331 +1 x334 +1 x337 +1 x340 +1 x349 +1 x352 +1 x355 +1 x358 +1 x361 +1 x364 +1 x367 +1 x370 +1 x373 +1 x377 +1 x386 +1 x392 +1 x410 +1 x416 +1 x417 +1 x418 +1 x425 +1 x428 +1 x452 +1 x467 +1 x476 +1 x485 +1 x491 = +1
 con26: +1 x3 +1 x6 +1 x9 +1 x14 +1 x20 +1 x23 +1 x26 +1 x29 +1 x32 +1 x35 +1 x44 +1 x50 +1 x51 +1 x53 +1 x65 +1 x70 +1 x73 +1 x74 +1 x76 +1 x79 +1 x85 +1 x88 +1 x91 +1 x94 +1 x97 +1 x98 +1 x100 +1 x103 +1 x118 +1 x121 +1 x124 +1 x125 +1 x130 +1 x133 +1 x136 +1 x139 +1 x158 +1 x160 +1 x161 +1 x163 +1 x164 +1 x166 +1 x170 +1 x172 +1 x175 +1 x178 +1 x179 +1 x181 +1 x182 +1 x184 +1 x185 +1 x187 +1 x193 +1 x202 +1 x203 +1 x205 +1 x206 +1 x208 +1 x209 +1 x211 +1 x214 +1 x215 +1 x217 +1 x218 +1 x223 +1 x226 +1 x227 +1 x229 +1 x230 +1 x236 +1 x238 +1 x241 +1
 x243 +1 x244 +1 x245 +1 x246 +1 x247 +1 x248 +1 x254 +1 x256 +1 x260 +1 x269 +1 x270 +1 x271 +1 x272 +1 x274 +1 x275 +1 x282 +1 x283 +1 x286 +1 x293 +1 x295 +1 x298 +1 x299 +1 x300 +1 x301 +1 x302 +1 x305 +1 x308 +1 x309 +1 x310 +1 x315 +1 x316 +1 x317 +1 x319 +1 x320 +1 x322 +1 x323 +1 x329 +1 x332 +1 x341 +1 x353 +1 x356 +1 x380 +1 x389 +1 x395 +1 x404 +1 x413 +1 x419 +1 x422 +1 x431 +1 x434 +1 x437 +1 x446 +1 x455 +1 x461 +1 x465 +1 x466 +1 x473 +1 x479 +1 x485 +1 x491 = +1
 con27: +1 x2 +1 x4 +1 x7 +1 x12 +1 x15 +1 x18 +1 x21 +1 x27 +1 x30 +1 x33 +1 x36 +1 x39 +1 x42 +1 x48 +1 x60 +1 x76 +1 x77 +1 x80 +1 x82 +1 x83 +1 x85 +1 x89 +1 x101 +1 x113 +1 x116 +1 x131 +1 x134 +1 x140 +1 x143 +1 x149 +1 x152 +1 x155 +1 x158 +1 x176 +1 x179 +1 x182 +1 x188 +1 x194 +1 x197 +1 x199 +1 x206 +1 x208 +1 x209 +1 x224 +1 x230 +1 x233 +1 x241 +1 x248 +1 x251 +1 x253 +1 x254 +1 x256 +1 x261 +1 x262 +1 x263 +1 x266 +1 x268 +1 x276 +1 x277 +1 x284 +1 x285 +1 x286 +1 x287 +1 x290 +1 x312 +1 x313 +1 x314 +1 x320 +1 x329 +1 x338 +1 x341 +1 x344
 +1 x347 +1 x350 +1 x359 +1 x362 +1 x365 +1 x368 +1 x371 +1 x377 +1 x392 +1 x401 +1 x410 +1 x426 +1 x427 +1 x434 +1 x458 +1 x467 +1 x476 +1 x485 +1 x491 = +1
 con28: +1 x7 +1 x10 +1 x12 +1 x15 +1 x18 +1 x21 +1 x24 +1 x27 +1 x30 +1 x33 +1 x36 +1 x39 +1 x42 +1 x45 +1 x48 +1 x51 +1 x54 +1 x57 +1 x60 +1 x65 +1 x74 +1 x77 +1 x80 +1 x86 +1 x95 +1 x101 +1 x113 +1 x115 +1 x116 +1 x118 +1 x121 +1 x124 +1 x128 +1 x131 +1 x134 +1 x140 +1 x143 +1 x146 +1 x149 +1 x152 +1 x155 +1 x167 +1 x168 +1 x169 +1 x186 +1 x187 +1 x188 +1 x189 +1 x190 +1 x205 +1 x206 +1 x208 +1 x224 +1 x226 +1 x229 +1 x237 +1 x238 +1 x247 +1 x248 +1 x249 +1 x250 +1 x251 +1 x254 +1 x255 +1 x256 +1 x259 +1 x262 +1 x263 +1 x265 +1 x266 +1 x272 +1 x273
 +1 x274 +1 x276 +1 x294 +1 x295 +1 x297 +1 x298 +1 x303 +1 x304 +1 x306 +1 x307 +1 x315 +1 x316 +1 x332 +1 x333 +1 x334 +1 x344 +1 x345 +1 x346 +1 x348 +1 x349 +1 x354 +1 x355 +1 x360 +1 x361 +1 x364 +1 x367 +1 x370 +1 x373 +1 x377 +1 x392 +1 x401 +1 x410 +1 x467 +1 x468 +1 x469 +1 x476 +1 x485 +1 x491 = +1
 con29: +1 x5 +1 x8 +1 x11 +1 x13 +1 x16 +1 x17 +1 x19 +1 x22 +1 x25 +1 x28 +1 x31 +1 x34 +1 x37 +1 x40 +1 x43 +1 x46 +1 x49 +1 x52 +1 x55 +1 x58 +1 x61 +1 x62 +1 x63 +1 x64 +1 x71 +1 x78 +1 x79 +1 x81 +1 x84 +1 x85 +1 x87 +1 x88 +1 x90 +1 x91 +1 x92 +1 x96 +1 x99 +1 x102 +1 x103 +1 x104 +1 x105 +1 x106 +1 x107 +1 x108 +1 x111 +1 x115 +1 x117 +1 x119 +1 x120 +1 x123 +1 x129 +1 x141 +1 x147 +1 x148 +1 x150 +1 x151 +1 x153 +1 x154 +1 x156 +1 x157 +1 x162 +1 x163 +1 x165 +1 x166 +1 x168 +1 x169 +1 x171 +1 x172 +1 x173 +1 x177 +1 x178 +1 x180 +1 x181 +1
 x183 +1 x184 +1 x186 +1 x189 +1 x190 +1 x191 +1 x192 +1 x204 +1 x207 +1 x209 +1 x210 +1 x211 +1 x212 +1 x213 +1 x216 +1 x218 +1 x219 +1 x221 +1 x222 +1 x223 +1 x225 +1 x228 +1 x231 +1 x234 +1 x235 +1 x237 +1 x238 +1 x239 +1 x240 +1 x241 +1 x246 +1 x257 +1 x258 +1 x259 +1 x261 +1 x262 +1 x264 +1 x265 +1 x273 +1 x279 +1 x281 +1 x291 +1 x292 +1 x299 +1 x300 +1 x301 +1 x315 +1 x316 +1 x323 +1 x324 +1 x325 +1 x326 +1 x328 +1 x337 +1 x338 +1 x341 +1 x343 +1 x344 +1 x350 +1 x374 +1 x383 +1 x386 +1 x398 +1 x411 +1 x412 +1 x416 +1 x425 +1 x428 +1 x431 +1 x434
 +1 x449 +1 x452 +1 x458 +1 x464 +1 x479 +1 x482 = +1
 con30: +1 x3 +1 x6 +1 x9 +1 x17 +1 x20 +1 x23 +1 x26 +1 x32 +1 x35 +1 x38 +1 x41 +1 x50 +1 x53 +1 x56 +1 x64 +1 x65 +1 x67 +1 x70 +1 x73 +1 x74 +1 x76 +1 x79 +1 x88 +1 x89 +1 x91 +1 x94 +1 x95 +1 x97 +1 x98 +1 x103 +1 x106 +1 x109 +1 x110 +1 x112 +1 x118 +1 x121 +1 x124 +1 x125 +1 x127 +1 x130 +1 x133 +1 x136 +1 x139 +1 x142 +1 x145 +1 x148 +1 x149 +1 x151 +1 x154 +1 x157 +1 x160 +1 x163 +1 x164 +1 x166 +1 x169 +1 x170 +1 x172 +1 x178 +1 x181 +1 x182 +1 x183 +1 x184 +1 x185 +1 x187 +1 x190 +1 x193 +1 x196 +1 x199 +1 x203 +1 x212 +1 x214 +1 x216 +1 x217
 +1 x218 +1 x220 +1 x223 +1 x225 +1 x226 +1 x227 +1 x229 +1 x232 +1 x235 +1 x236 +1 x238 +1 x241 +1 x243 +1 x244 +1 x245 +1 x246 +1 x247 +1 x248 +1 x249 +1 x250 +1 x251 +1 x252 +1 x253 +1 x256 +1 x258 +1 x259 +1 x260 +1 x261 +1 x262 +1 x265 +1 x275 +1 x280 +1 x282 +1 x283 +1 x286 +1 x287 +1 x289 +1 x293 +1 x296 +1 x302 +1 x305 +1 x308 +1 x313 +1 x315 +1 x316 +1 x319 +1 x323 +1 x328 +1 x332 +1 x336 +1 x337 +1 x347 +1 x348 +1 x349 +1 x353 +1 x356 +1 x357 +1 x358 +1 x359 +1 x360 +1 x361 +1 x362 +1 x363 +1 x364 +1 x365 +1 x366 +1 x367 +1 x368 +1 x369 +1
 x370 +1 x371 +1 x373 +1 x374 +1 x380 +1 x389 +1 x392 +1 x395 +1 x404 +1 x413 +1 x419 +1 x422 +1 x431 +1 x434 +1 x437 +1 x443 +1 x446 +1 x455 +1 x458 +1 x461 +1 x473 +1 x479 +1 x483 +1 x484 = +1
 con31: +1 x2 +1 x4 +1 x7 +1 x10 +1 x12 +1 x24 +1 x27 +1 x30 +1 x60 +1 x64 +1 x68 +1 x101 +1 x102 +1 x105 +1 x111 +1 x113 +1 x116 +1 x128 +1 x129 +1 x131 +1 x134 +1 x140 +1 x143 +1 x144 +1 x146 +1 x149 +1 x151 +1 x152 +1 x155 +1 x156 +1 x157 +1 x158 +1 x159 +1 x167 +1 x179 +1 x186 +1 x190 +1 x192 +1 x193 +1 x194 +1 x195 +1 x201 +1 x202 +1 x206 +1 x207 +1 x209 +1 x219 +1 x233 +1 x235 +1 x239 +1 x240 +1 x241 +1 x242 +1 x244 +1 x247 +1 x250 +1 x254 +1 x255 +1 x256 +1 x258 +1 x259 +1 x260 +1 x263 +1 x269 +1 x270 +1 x271 +1 x276 +1 x277 +1 x281 +1 x290 +1
 x296 +1 x299 +1 x301 +1 x307 +1 x309 +1 x310 +1 x313 +1 x314 +1 x320 +1 x321 +1 x322 +1 x329 +1 x331 +1 x337 +1 x341 +1 x343 +1 x347 +1 x349 +1 x350 +1 x352 +1 x355 +1 x359 +1 x361 +1 x362 +1 x364 +1 x365 +1 x367 +1 x368 +1 x370 +1 x371 +1 x373 +1 x377 +1 x383 +1 x401 +1 x410 +1 x419 +1 x450 +1 x451 +1 x467 +1 x476 +1 x485 +1 x491 = +1
 con32: +1 x5 +1 x8 +1 x11 +1 x13 +1 x19 +1 x22 +1 x25 +1 x27 +1 x28 +1 x30 +1 x31 +1 x34 +1 x37 +1 x39 +1 x40 +1 x43 +1 x46 +1 x49 +1 x52 +1 x55 +1 x58 +1 x60 +1 x61 +1 x63 +1 x68 +1 x69 +1 x71 +1 x72 +1 x75 +1 x78 +1 x81 +1 x90 +1 x92 +1 x93 +1 x96 +1 x99 +1 x102 +1 x104 +1 x105 +1 x107 +1 x108 +1 x111 +1 x113 +1 x114 +1 x116 +1 x117 +1 x118 +1 x119 +1 x120 +1 x121 +1 x122 +1 x123 +1 x124 +1 x131 +1 x132 +1 x135 +1 x137 +1 x138 +1 x141 +1 x143 +1 x144 +1 x146 +1 x147 +1 x149 +1 x150 +1 x153 +1 x156 +1 x159 +1 x165 +1 x171 +1 x172 +1 x173 +1 x174 +1
 x175 +1 x177 +1 x180 +1 x183 +1 x191 +1 x200 +1 x204 +1 x206 +1 x207 +1 x209 +1 x210 +1 x212 +1 x221 +1 x222 +1 x225 +1 x228 +1 x231 +1 x237 +1 x239 +1 x240 +1 x243 +1 x257 +1 x276 +1 x278 +1 x279 +1 x280 +1 x285 +1 x287 +1 x288 +1 x299 +1 x300 +1 x306 +1 x311 +1 x315 +1 x326 +1 x327 +1 x333 +1 x334 +1 x335 +1 x341 +1 x342 +1 x344 +1 x345 +1 x350 +1 x351 +1 x354 +1 x357 +1 x359 +1 x360 +1 x362 +1 x363 +1 x365 +1 x366 +1 x368 +1 x369 +1 x371 +1 x372 +1 x374 +1 x407 +1 x416 +1 x425 +1 x432 +1 x433 +1 x440 +1 x443 +1 x449 +1 x464 +1 x482 +1 x488 = +1
 con33: +1 x3 +1 x6 +1 x9 +1 x14 +1 x17 +1 x20 +1 x23 +1 x26 +1 x29 +1 x32 +1 x35 +1 x38 +1 x41 +1 x44 +1 x47 +1 x50 +1 x53 +1 x56 +1 x59 +1 x62 +1 x64 +1 x65 +1 x67 +1 x69 +1 x70 +1 x73 +1 x74 +1 x76 +1 x79 +1 x82 +1 x85 +1 x88 +1 x91 +1 x93 +1 x94 +1 x95 +1 x96 +1 x97 +1 x98 +1 x99 +1 x100 +1 x103 +1 x106 +1 x109 +1 x110 +1 x112 +1 x115 +1 x118 +1 x119 +1 x120 +1 x121 +1 x124 +1 x125 +1 x127 +1 x130 +1 x133 +1 x136 +1 x141 +1 x142 +1 x144 +1 x145 +1 x148 +1 x163 +1 x164 +1 x169 +1 x170 +1 x175 +1 x182 +1 x185 +1 x187 +1 x189 +1 x190 +1 x193 +1 x195 +1
 x196 +1 x198 +1 x199 +1 x203 +1 x215 +1 x218 +1 x220 +1 x223 +1 x226 +1 x227 +1 x229 +1 x231 +1 x232 +1 x234 +1 x235 +1 x236 +1 x237 +1 x238 +1 x240 +1 x241 +1 x243 +1 x244 +1 x245 +1 x246 +1 x247 +1 x249 +1 x250 +1 x259 +1 x260 +1 x264 +1 x265 +1 x267 +1 x268 +1 x275 +1 x276 +1 x277 +1 x279 +1 x280 +1 x282 +1 x283 +1 x289 +1 x293 +1 x294 +1 x295 +1 x301 +1 x302 +1 x305 +1 x307 +1 x308 +1 x313 +1 x316 +1 x317 +1 x318 +1 x319 +1 x323 +1 x324 +1 x325 +1 x327 +1 x328 +1 x330 +1 x331 +1 x332 +1 x339 +1 x340 +1 x342 +1 x343 +1 x346 +1 x349 +1 x353 +1 x355
 +1 x356 +1 x358 +1 x361 +1 x364 +1 x367 +1 x370 +1 x373 +1 x380 +1 x389 +1 x392 +1 x395 +1 x402 +1 x403 +1 x404 +1 x413 +1 x419 +1 x422 +1 x431 +1 x434 +1 x437 +1 x446 +1 x455 +1 x458 +1 x461 +1 x473 +1 x479 +1 x482 = +1
 con34: +1 x3 +1 x6 +1 x9 +1 x12 +1 x14 +1 x17 +1 x20 +1 x23 +1 x26 +1 x29 +1 x32 +1 x33 +1 x35 +1 x36 +1 x38 +1 x41 +1 x44 +1 x45 +1 x47 +1 x48 +1 x50 +1 x53 +1 x56 +1 x59 +1 x60 +1 x62 +1 x64 +1 x65 +1 x67 +1 x70 +1 x73 +1 x74 +1 x76 +1 x77 +1 x79 +1 x82 +1 x83 +1 x85 +1 x86 +1 x88 +1 x89 +1 x91 +1 x94 +1 x95 +1 x97 +1 x98 +1 x100 +1 x103 +1 x110 +1 x125 +1 x139 +1 x140 +1 x142 +1 x143 +1 x145 +1 x146 +1 x148 +1 x149 +1 x151 +1 x154 +1 x164 +1 x166 +1 x167 +1 x170 +1 x176 +1 x178 +1 x179 +1 x181 +1 x182 +1 x184 +1 x185 +1 x187 +1 x190 +1 x193 +1 x194
 +1 x196 +1 x202 +1 x203 +1 x206 +1 x208 +1 x211 +1 x214 +1 x215 +1 x217 +1 x218 +1 x220 +1 x224 +1 x226 +1 x227 +1 x229 +1 x230 +1 x232 +1 x236 +1 x245 +1 x247 +1 x253 +1 x260 +1 x272 +1 x274 +1 x275 +1 x277 +1 x280 +1 x284 +1 x290 +1 x291 +1 x292 +1 x293 +1 x303 +1 x304 +1 x305 +1 x308 +1 x309 +1 x310 +1 x314 +1 x319 +1 x324 +1 x325 +1 x327 +1 x328 +1 x332 +1 x333 +1 x334 +1 x342 +1 x343 +1 x346 +1 x349 +1 x352 +1 x353 +1 x355 +1 x356 +1 x358 +1 x361 +1 x364 +1 x367 +1 x370 +1 x373 +1 x380 +1 x395 +1 x404 +1 x413 +1 x419 +1 x422 +1 x431 +1 x437 +1
 x446 +1 x455 +1 x458 +1 x461 +1 x462 +1 x463 +1 x467 +1 x473 +1 x479 = +1
 con35: +1 x5 +1 x8 +1 x11 +1 x13 +1 x16 +1 x19 +1 x22 +1 x25 +1 x28 +1 x31 +1 x37 +1 x40 +1 x43 +1 x46 +1 x49 +1 x52 +1 x63 +1 x66 +1 x68 +1 x69 +1 x71 +1 x72 +1 x75 +1 x78 +1 x81 +1 x84 +1 x87 +1 x90 +1 x92 +1 x93 +1 x96 +1 x99 +1 x102 +1 x104 +1 x105 +1 x107 +1 x108 +1 x111 +1 x114 +1 x115 +1 x117 +1 x119 +1 x120 +1 x122 +1 x123 +1 x126 +1 x129 +1 x132 +1 x133 +1 x135 +1 x137 +1 x138 +1 x141 +1 x144 +1 x147 +1 x150 +1 x153 +1 x156 +1 x159 +1 x162 +1 x165 +1 x168 +1 x171 +1 x173 +1 x174 +1 x180 +1 x181 +1 x183 +1 x186 +1 x189 +1 x191 +1 x192 +1 x194
 +1 x195 +1 x196 +1 x198 +1 x200 +1 x201 +1 x204 +1 x207 +1 x210 +1 x212 +1 x213 +1 x216 +1 x219 +1 x221 +1 x222 +1 x228 +1 x231 +1 x234 +1 x236 +1 x237 +1 x239 +1 x240 +1 x242 +1 x243 +1 x246 +1 x249 +1 x250 +1 x252 +1 x255 +1 x257 +1 x258 +1 x261 +1 x264 +1 x267 +1 x270 +1 x273 +1 x276 +1 x278 +1 x281 +1 x282 +1 x288 +1 x291 +1 x294 +1 x296 +1 x300 +1 x303 +1 x304 +1 x309 +1 x311 +1 x315 +1 x317 +1 x318 +1 x321 +1 x324 +1 x326 +1 x327 +1 x330 +1 x333 +1 x335 +1 x339 +1 x340 +1 x342 +1 x345 +1 x348 +1 x351 +1 x353 +1 x354 +1 x357 +1 x360 +1 x363 +1
 x366 +1 x369 +1 x372 +1 x374 +1 x383 +1 x386 +1 x396 +1 x397 +1 x398 +1 x407 +1 x416 +1 x425 +1 x428 +1 x440 +1 x443 +1 x446 +1 x449 +1 x452 +1 x464 +1 x482 +1 x488 = +1
 con36: +1 x3 +1 x5 +1 x6 +1 x8 +1 x9 +1 x11 +1 x13 +1 x16 +1 x19 +1 x22 +1 x23 +1 x25 +1 x28 +1 x31 +1 x34 +1 x37 +1 x40 +1 x41 +1 x43 +1 x46 +1 x47 +1 x49 +1 x52 +1 x53 +1 x55 +1 x56 +1 x58 +1 x59 +1 x61 +1 x62 +1 x63 +1 x64 +1 x66 +1 x68 +1 x69 +1 x70 +1 x71 +1 x72 +1 x75 +1 x84 +1 x92 +1 x93 +1 x95 +1 x96 +1 x99 +1 x102 +1 x107 +1 x109 +1 x111 +1 x112 +1 x114 +1 x119 +1 x123 +1 x124 +1 x126 +1 x127 +1 x129 +1 x137 +1 x138 +1 x139 +1 x141 +1 x142 +1 x144 +1 x145 +1 x147 +1 x156 +1 x157 +1 x159 +1 x160 +1 x162 +1 x163 +1 x167 +1 x168 +1 x169 +1 x172
 +1 x173 +1 x174 +1 x175 +1 x177 +1 x178 +1 x180 +1 x181 +1 x189 +1 x190 +1 x191 +1 x192 +1 x200 +1 x201 +1 x202 +1 x203 +1 x204 +1 x207 +1 x208 +1 x212 +1 x213 +1 x219 +1 x220 +1 x222 +1 x223 +1 x225 +1 x231 +1 x234 +1 x237 +1 x239 +1 x243 +1 x244 +1 x258 +1 x259 +1 x261 +1 x262 +1 x264 +1 x270 +1 x271 +1 x278 +1 x281 +1 x288 +1 x291 +1 x292 +1 x294 +1 x295 +1 x296 +1 x297 +1 x300 +1 x309 +1 x310 +1 x311 +1 x320 +1 x321 +1 x322 +1 x333 +1 x334 +1 x335 +1 x347 +1 x348 +1 x349 +1 x350 +1 x351 +1 x354 +1 x355 +1 x356 +1 x357 +1 x358 +1 x360 +1 x363 +1
 x366 +1 x369 +1 x372 +1 x386 +1 x392 +1 x398 +1 x407 +1 x408 +1 x409 +1 x413 +1 x416 +1 x425 +1 x428 +1 x440 +1 x443 +1 x449 +1 x452 +1 x482 = +1
 con37: +1 x2 +1 x4 +1 x5 +1 x7 +1 x8 +1 x10 +1 x11 +1 x13 +1 x15 +1 x18 +1 x21 +1 x28 +1 x30 +1 x31 +1 x33 +1 x34 +1 x36 +1 x37 +1 x43 +1 x46 +1 x52 +1 x55 +1 x58 +1 x61 +1 x66 +1 x68 +1 x71 +1 x72 +1 x77 +1 x78 +1 x80 +1 x83 +1 x84 +1 x86 +1 x87 +1 x89 +1 x92 +1 x93 +1 x101 +1 x102 +1 x107 +1 x108 +1 x111 +1 x113 +1 x114 +1 x117 +1 x120 +1 x122 +1 x126 +1 x127 +1 x131 +1 x132 +1 x134 +1 x135 +1 x137 +1 x138 +1 x140 +1 x141 +1 x146 +1 x149 +1 x150 +1 x158 +1 x159 +1 x161 +1 x162 +1 x165 +1 x167 +1 x168 +1 x169 +1 x171 +1 x173 +1 x174 +1 x176 +1 x177 +1
 x178 +1 x183 +1 x188 +1 x192 +1 x194 +1 x195 +1 x200 +1 x204 +1 x205 +1 x207 +1 x210 +1 x216 +1 x219 +1 x220 +1 x222 +1 x224 +1 x230 +1 x248 +1 x251 +1 x252 +1 x254 +1 x257 +1 x258 +1 x269 +1 x273 +1 x278 +1 x284 +1 x285 +1 x287 +1 x288 +1 x289 +1 x290 +1 x299 +1 x311 +1 x314 +1 x315 +1 x316 +1 x317 +1 x320 +1 x321 +1 x329 +1 x333 +1 x335 +1 x338 +1 x344 +1 x347 +1 x350 +1 x359 +1 x362 +1 x365 +1 x368 +1 x371 +1 x374 +1 x383 +1 x386 +1 x398 +1 x401 +1 x407 +1 x410 +1 x416 +1 x425 +1 x428 +1 x440 +1 x444 +1 x445 +1 x449 +1 x452 +1 x464 +1 x467 +1 x476
 +1 x485 +1 x488 +1 x491 = +1
 con38: +1 x3 +1 x6 +1 x14 +1 x17 +1 x20 +1 x23 +1 x26 +1 x29 +1 x35 +1 x38 +1 x44 +1 x47 +1 x50 +1 x64 +1 x65 +1 x67 +1 x70 +1 x73 +1 x74 +1 x75 +1 x76 +1 x79 +1 x82 +1 x85 +1 x88 +1 x91 +1 x94 +1 x95 +1 x97 +1 x98 +1 x103 +1 x104 +1 x106 +1 x109 +1 x110 +1 x112 +1 x118 +1 x121 +1 x124 +1 x125 +1 x127 +1 x130 +1 x133 +1 x136 +1 x138 +1 x139 +1 x142 +1 x145 +1 x148 +1 x151 +1 x153 +1 x154 +1 x155 +1 x157 +1 x160 +1 x163 +1 x164 +1 x166 +1 x169 +1 x170 +1 x172 +1 x175 +1 x178 +1 x181 +1 x182 +1 x184 +1 x185 +1 x187 +1 x190 +1 x193 +1 x196 +1 x199 +1 x200
 +1 x202 +1 x203 +1 x205 +1 x208 +1 x211 +1 x214 +1 x215 +1 x217 +1 x218 +1 x220 +1 x227 +1 x229 +1 x232 +1 x234 +1 x235 +1 x236 +1 x237 +1 x238 +1 x241 +1 x242 +1 x244 +1 x245 +1 x247 +1 x250 +1 x251 +1 x252 +1 x253 +1 x256 +1 x259 +1 x260 +1 x262 +1 x265 +1 x268 +1 x269 +1 x270 +1 x271 +1 x274 +1 x275 +1 x277 +1 x279 +1 x280 +1 x286 +1 x289 +1 x293 +1 x295 +1 x297 +1 x302 +1 x303 +1 x305 +1 x308 +1 x309 +1 x310 +1 x323 +1 x324 +1 x325 +1 x330 +1 x331 +1 x332 +1 x336 +1 x337 +1 x339 +1 x340 +1 x345 +1 x346 +1 x351 +1 x352 +1 x353 +1 x356 +1 x363 +1
 x366 +1 x367 +1 x369 +1 x372 +1 x380 +1 x389 +1 x392 +1 x395 +1 x398 +1 x404 +1 x413 +1 x419 +1 x422 +1 x431 +1 x434 +1 x437 +1 x446 +1 x455 +1 x458 +1 x459 +1 x460 +1 x461 +1 x473 +1 x479 = +1
 con39: +1 x16 +1 x19 +1 x22 +1 x25 +1 x28 +1 x31 +1 x34 +1 x37 +1 x40 +1 x43 +1 x58 +1 x63 +1 x66 +1 x68 +1 x69 +1 x71 +1 x72 +1 x75 +1 x78 +1 x81 +1 x84 +1 x87 +1 x90 +1 x92 +1 x93 +1 x96 +1 x99 +1 x102 +1 x104 +1 x105 +1 x107 +1 x108 +1 x111 +1 x114 +1 x117 +1 x119 +1 x120 +1 x122 +1 x123 +1 x126 +1 x129 +1 x132 +1 x135 +1 x137 +1 x138 +1 x141 +1 x144 +1 x147 +1 x150 +1 x153 +1 x156 +1 x159 +1 x162 +1 x165 +1 x168 +1 x173 +1 x177 +1 x180 +1 x189 +1 x191 +1 x192 +1 x195 +1 x200 +1 x204 +1 x212 +1 x213 +1 x216 +1 x221 +1 x222 +1 x225 +1 x228 +1 x231 +1
 x234 +1 x237 +1 x239 +1 x240 +1 x242 +1 x243 +1 x249 +1 x252 +1 x255 +1 x257 +1 x258 +1 x261 +1 x263 +1 x264 +1 x267 +1 x270 +1 x276 +1 x278 +1 x281 +1 x282 +1 x284 +1 x285 +1 x287 +1 x288 +1 x289 +1 x290 +1 x291 +1 x296 +1 x297 +1 x303 +1 x311 +1 x315 +1 x316 +1 x318 +1 x321 +1 x324 +1 x326 +1 x327 +1 x330 +1 x335 +1 x336 +1 x339 +1 x342 +1 x345 +1 x348 +1 x351 +1 x354 +1 x357 +1 x360 +1 x363 +1 x366 +1 x369 +1 x372 +1 x374 +1 x383 +1 x386 +1 x398 +1 x407 +1 x416 +1 x425 +1 x428 +1 x429 +1 x430 +1 x440 +1 x443 +1 x449 +1 x452 +1 x482 +1 x488 = +1
 con40: +1 x5 +1 x8 +1 x11 +1 x13 +1 x16 +1 x19 +1 x22 +1 x25 +1 x34 +1 x37 +1 x40 +1 x43 +1 x46 +1 x49 +1 x55 +1 x58 +1 x63 +1 x66 +1 x68 +1 x69 +1 x71 +1 x72 +1 x75 +1 x78 +1 x81 +1 x84 +1 x87 +1 x90 +1 x92 +1 x93 +1 x96 +1 x99 +1 x100 +1 x102 +1 x104 +1 x105 +1 x106 +1 x107 +1 x108 +1 x114 +1 x117 +1 x119 +1 x120 +1 x122 +1 x123 +1 x126 +1 x132 +1 x134 +1 x135 +1 x136 +1 x137 +1 x138 +1 x141 +1 x144 +1 x147 +1 x150 +1 x151 +1 x153 +1 x156 +1 x159 +1 x162 +1 x165 +1 x168 +1 x171 +1 x173 +1 x174 +1 x177 +1 x180 +1 x183 +1 x185 +1 x186 +1 x189 +1 x191
 +1 x195 +1 x198 +1 x200 +1 x201 +1 x204 +1 x207 +1 x210 +1 x212 +1 x213 +1 x214 +1 x216 +1 x219 +1 x221 +1 x222 +1 x225 +1 x234 +1 x237 +1 x239 +1 x240 +1 x242 +1 x243 +1 x245 +1 x246 +1 x247 +1 x249 +1 x250 +1 x252 +1 x255 +1 x257 +1 x258 +1 x261 +1 x267 +1 x275 +1 x276 +1 x278 +1 x279 +1 x281 +1 x288 +1 x291 +1 x294 +1 x296 +1 x297 +1 x299 +1 x300 +1 x301 +1 x303 +1 x304 +1 x305 +1 x311 +1 x312 +1 x313 +1 x317 +1 x318 +1 x319 +1 x326 +1 x333 +1 x334 +1 x335 +1 x336 +1 x337 +1 x339 +1 x340 +1 x342 +1 x343 +1 x345 +1 x348 +1 x351 +1 x354 +1 x357 +1
 x360 +1 x374 +1 x383 +1 x386 +1 x398 +1 x405 +1 x406 +1 x407 +1 x416 +1 x425 +1 x428 +1 x440 +1 x443 +1 x449 +1 x452 +1 x464 +1 x482 +1 x488 = +1
 con41: +1 x3 +1 x6 +1 x9 +1 x14 +1 x17 +1 x20 +1 x23 +1 x26 +1 x29 +1 x32 +1 x35 +1 x38 +1 x41 +1 x44 +1 x47 +1 x50 +1 x53 +1 x56 +1 x59 +1 x62 +1 x65 +1 x70 +1 x74 +1 x76 +1 x79 +1 x82 +1 x85 +1 x88 +1 x91 +1 x94 +1 x97 +1 x100 +1 x101 +1 x103 +1 x106 +1 x109 +1 x110 +1 x112 +1 x113 +1 x115 +1 x116 +1 x118 +1 x121 +1 x124 +1 x125 +1 x127 +1 x128 +1 x130 +1 x133 +1 x136 +1 x139 +1 x142 +1 x145 +1 x148 +1 x151 +1 x154 +1 x157 +1 x170 +1 x172 +1 x184 +1 x185 +1 x187 +1 x188 +1 x190 +1 x193 +1 x194 +1 x196 +1 x197 +1 x199 +1 x202 +1 x203 +1 x205 +1 x208
 +1 x209 +1 x211 +1 x214 +1 x217 +1 x218 +1 x220 +1 x224 +1 x226 +1 x227 +1 x229 +1 x230 +1 x232 +1 x236 +1 x245 +1 x247 +1 x262 +1 x263 +1 x265 +1 x271 +1 x275 +1 x277 +1 x280 +1 x283 +1 x290 +1 x292 +1 x293 +1 x295 +1 x298 +1 x299 +1 x300 +1 x301 +1 x302 +1 x308 +1 x316 +1 x320 +1 x323 +1 x328 +1 x329 +1 x331 +1 x332 +1 x337 +1 x338 +1 x340 +1 x344 +1 x346 +1 x356 +1 x358 +1 x359 +1 x361 +1 x362 +1 x365 +1 x368 +1 x371 +1 x380 +1 x389 +1 x395 +1 x399 +1 x400 +1 x404 +1 x413 +1 x419 +1 x422 +1 x431 +1 x437 +1 x446 +1 x455 +1 x458 +1 x461 +1 x473 +1
 x479 = +1
 con42: +1 x9 +1 x14 +1 x17 +1 x20 +1 x23 +1 x29 +1 x32 +1 x35 +1 x38 +1 x41 +1 x44 +1 x47 +1 x50 +1 x53 +1 x56 +1 x59 +1 x62 +1 x64 +1 x65 +1 x67 +1 x70 +1 x73 +1 x74 +1 x79 +1 x85 +1 x88 +1 x94 +1 x95 +1 x96 +1 x97 +1 x98 +1 x100 +1 x103 +1 x106 +1 x109 +1 x110 +1 x112 +1 x115 +1 x118 +1 x121 +1 x123 +1 x124 +1 x127 +1 x130 +1 x132 +1 x133 +1 x135 +1 x136 +1 x139 +1 x142 +1 x145 +1 x148 +1 x151 +1 x153 +1 x154 +1 x157 +1 x160 +1 x163 +1 x164 +1 x170 +1 x172 +1 x175 +1 x178 +1 x180 +1 x181 +1 x182 +1 x184 +1 x186 +1 x187 +1 x190 +1 x199 +1 x201 +1 x202
 +1 x205 +1 x211 +1 x218 +1 x220 +1 x222 +1 x223 +1 x225 +1 x226 +1 x227 +1 x229 +1 x231 +1 x232 +1 x235 +1 x236 +1 x241 +1 x244 +1 x245 +1 x247 +1 x250 +1 x253 +1 x256 +1 x259 +1 x260 +1 x261 +1 x262 +1 x268 +1 x271 +1 x274 +1 x275 +1 x277 +1 x280 +1 x283 +1 x289 +1 x293 +1 x295 +1 x297 +1 x302 +1 x305 +1 x306 +1 x307 +1 x308 +1 x309 +1 x310 +1 x323 +1 x327 +1 x328 +1 x330 +1 x331 +1 x332 +1 x333 +1 x334 +1 x336 +1 x337 +1 x339 +1 x340 +1 x342 +1 x343 +1 x353 +1 x354 +1 x355 +1 x356 +1 x363 +1 x364 +1 x366 +1 x367 +1 x372 +1 x373 +1 x380 +1 x389 +1
 x392 +1 x395 +1 x404 +1 x420 +1 x421 +1 x422 +1 x431 +1 x434 +1 x437 +1 x458 +1 x461 +1 x479 = +1
 con43: +1 x5 +1 x8 +1 x11 +1 x13 +1 x16 +1 x19 +1 x22 +1 x25 +1 x28 +1 x31 +1 x34 +1 x37 +1 x40 +1 x43 +1 x46 +1 x49 +1 x52 +1 x55 +1 x58 +1 x61 +1 x63 +1 x66 +1 x68 +1 x72 +1 x75 +1 x78 +1 x81 +1 x84 +1 x87 +1 x90 +1 x92 +1 x93 +1 x96 +1 x99 +1 x102 +1 x103 +1 x104 +1 x105 +1 x107 +1 x108 +1 x111 +1 x114 +1 x117 +1 x119 +1 x122 +1 x126 +1 x129 +1 x132 +1 x137 +1 x141 +1 x144 +1 x145 +1 x147 +1 x150 +1 x153 +1 x154 +1 x156 +1 x157 +1 x159 +1 x162 +1 x168 +1 x171 +1 x173 +1 x174 +1 x177 +1 x180 +1 x191 +1 x192 +1 x195 +1 x198 +1 x200 +1 x201 +1 x204 +1
 x210 +1 x212 +1 x213 +1 x216 +1 x217 +1 x219 +1 x221 +1 x222 +1 x225 +1 x228 +1 x234 +1 x237 +1 x239 +1 x240 +1 x243 +1 x244 +1 x246 +1 x249 +1 x252 +1 x255 +1 x257 +1 x261 +1 x264 +1 x267 +1 x270 +1 x273 +1 x276 +1 x278 +1 x279 +1 x281 +1 x282 +1 x285 +1 x288 +1 x291 +1 x292 +1 x294 +1 x303 +1 x306 +1 x307 +1 x311 +1 x312 +1 x313 +1 x318 +1 x319 +1 x321 +1 x326 +1 x327 +1 x328 +1 x330 +1 x331 +1 x335 +1 x336 +1 x337 +1 x345 +1 x346 +1 x351 +1 x352 +1 x360 +1 x361 +1 x363 +1 x366 +1 x369 +1 x372 +1 x374 +1 x383 +1 x386 +1 x398 +1 x407 +1 x416 +1 x423
 +1 x424 +1 x425 +1 x428 +1 x440 +1 x443 +1 x449 +1 x452 +1 x464 +1 x482 +1 x488 = +1
 con44: +1 x3 +1 x6 +1 x9 +1 x14 +1 x17 +1 x23 +1 x26 +1 x29 +1 x32 +1 x41 +1 x44 +1 x47 +1 x59 +1 x64 +1 x65 +1 x67 +1 x70 +1 x73 +1 x74 +1 x76 +1 x79 +1 x82 +1 x85 +1 x88 +1 x91 +1 x94 +1 x95 +1 x97 +1 x98 +1 x100 +1 x101 +1 x103 +1 x106 +1 x109 +1 x110 +1 x112 +1 x115 +1 x118 +1 x121 +1 x124 +1 x125 +1 x127 +1 x130 +1 x133 +1 x136 +1 x139 +1 x140 +1 x142 +1 x145 +1 x146 +1 x148 +1 x151 +1 x154 +1 x157 +1 x160 +1 x163 +1 x166 +1 x170 +1 x175 +1 x178 +1 x179 +1 x181 +1 x182 +1 x184 +1 x185 +1 x188 +1 x190 +1 x193 +1 x196 +1 x197 +1 x199 +1 x202 +1 x203
 +1 x205 +1 x206 +1 x208 +1 x211 +1 x214 +1 x215 +1 x217 +1 x218 +1 x227 +1 x230 +1 x233 +1 x235 +1 x236 +1 x245 +1 x248 +1 x250 +1 x251 +1 x252 +1 x253 +1 x254 +1 x256 +1 x259 +1 x260 +1 x265 +1 x268 +1 x275 +1 x280 +1 x287 +1 x289 +1 x293 +1 x302 +1 x304 +1 x305 +1 x308 +1 x310 +1 x323 +1 x325 +1 x328 +1 x332 +1 x338 +1 x340 +1 x341 +1 x343 +1 x347 +1 x349 +1 x350 +1 x352 +1 x353 +1 x355 +1 x356 +1 x358 +1 x359 +1 x361 +1 x368 +1 x380 +1 x389 +1 x395 +1 x404 +1 x413 +1 x419 +1 x422 +1 x431 +1 x434 +1 x437 +1 x446 +1 x455 +1 x461 +1 x473 +1 x479 +1
 x486 +1 x487 = +1
bounds
 x1 = 0
 x494 = 0
bin
gen
 x2
 x3
 x4
 x5
 x6
 x7
 x8
 x9
 x10
 x11
 x12
 x13
 x14
 x15
 x16
 x17
 x18
 x19
 x20
 x21
 x22
 x23
 x24
 x25
 x26
 x27
 x28
 x29
 x30
 x31
 x32
 x33
 x34
 x35
 x36
 x37
 x38
 x39
 x40
 x41
 x42
 x43
 x44
 x45
 x46
 x47
 x48
 x49
 x50
 x51
 x52
 x53
 x54
 x55
 x56
 x57
 x58
 x59
 x60
 x61
 x62
 x63
 x64
 x65
 x66
 x67
 x68
 x69
 x70
 x71
 x72
 x73
 x74
 x75
 x76
 x77
 x78
 x79
 x80
 x81
 x82
 x83
 x84
 x85
 x86
 x87
 x88
 x89
 x90
 x91
 x92
 x93
 x94
 x95
 x96
 x97
 x98
 x99
 x100
 x101
 x102
 x103
 x104
 x105
 x106
 x107
 x108
 x109
 x110
 x111
 x112
 x113
 x114
 x115
 x116
 x117
 x118
 x119
 x120
 x121
 x122
 x123
 x124
 x125
 x126
 x127
 x128
 x129
 x130
 x131
 x132
 x133
 x134
 x135
 x136
 x137
 x138
 x139
 x140
 x141
 x142
 x143
 x144
 x145
 x146
 x147
 x148
 x149
 x150
 x151
 x152
 x153
 x154
 x155
 x156
 x157
 x158
 x159
 x160
 x161
 x162
 x163
 x164
 x165
 x166
 x167
 x168
 x169
 x170
 x171
 x172
 x173
 x174
 x175
 x176
 x177
 x178
 x179
 x180
 x181
 x182
 x183
 x184
 x185
 x186
 x187
 x188
 x189
 x190
 x191
 x192
 x193
 x194
 x195
 x196
 x197
 x198
 x199
 x200
 x201
 x202
 x203
 x204
 x205
 x206
 x207
 x208
 x209
 x210
 x211
 x212
 x213
 x214
 x215
 x216
 x217
 x218
 x219
 x220
 x221
 x222
 x223
 x224
 x225
 x226
 x227
 x228
 x229
 x230
 x231
 x232
 x233
 x234
 x235
 x236
 x237
 x238
 x239
 x240
 x241
 x242
 x243
 x244
 x245
 x246
 x247
 x248
 x249
 x250
 x251
 x252
 x253
 x254
 x255
 x256
 x257
 x258
 x259
 x260
 x261
 x262
 x263
 x264
 x265
 x266
 x267
 x268
 x269
 x270
 x271
 x272
 x273
 x274
 x275
 x276
 x277
 x278
 x279
 x280
 x281
 x282
 x283
 x284
 x285
 x286
 x287
 x288
 x289
 x290
 x291
 x292
 x293
 x294
 x295
 x296
 x297
 x298
 x299
 x300
 x301
 x302
 x303
 x304
 x305
 x306
 x307
 x308
 x309
 x310
 x311
 x312
 x313
 x314
 x315
 x316
 x317
 x318
 x319
 x320
 x321
 x322
 x323
 x324
 x325
 x326
 x327
 x328
 x329
 x330
 x331
 x332
 x333
 x334
 x335
 x336
 x337
 x338
 x339
 x340
 x341
 x342
 x343
 x344
 x345
 x346
 x347
 x348
 x349
 x350
 x351
 x352
 x353
 x354
 x355
 x356
 x357
 x358
 x359
 x360
 x361
 x362
 x363
 x364
 x365
 x366
 x367
 x368
 x369
 x370
 x371
 x372
 x373
 x374
 x375
 x376
 x377
 x378
 x379
 x380
 x381
 x382
 x383
 x384
 x385
 x386
 x387
 x388
 x389
 x390
 x391
 x392
 x393
 x394
 x395
 x396
 x397
 x398
 x399
 x400
 x401
 x402
 x403
 x404
 x405
 x406
 x407
 x408
 x409
 x410
 x411
 x412
 x413
 x414
 x415
 x416
 x417
 x418
 x419
 x420
 x421
 x422
 x423
 x424
 x425
 x426
 x427
 x428
 x429
 x430
 x431
 x432
 x433
 x434
 x435
 x436
 x437
 x438
 x439
 x440
 x441
 x442
 x443
 x444
 x445
 x446
 x447
 x448
 x449
 x450
 x451
 x452
 x453
 x454
 x455
 x456
 x457
 x458
 x459
 x460
 x461
 x462
 x463
 x464
 x465
 x466
 x467
 x468
 x469
 x470
 x471
 x472
 x473
 x474
 x475
 x476
 x477
 x478
 x479
 x480
 x481
 x482
 x483
 x484
 x485
 x486
 x487
 x488
 x489
 x490
 x491
 x492
 x493
semi
end