## ams_version=1.0 Model Main_deb6 { Variable x1; Variable x2; Variable x3; Variable x4; Variable x5; Variable x6; Variable x7; Variable x8; Variable x9; Variable x10; Variable x11; Variable x12; Variable x13; Variable x14; Variable x15; Variable x16; Variable x17; Variable x18; Variable x19; Variable x20; Variable x21; Variable x22; Variable x23; Variable x24; Variable x25; Variable x26; Variable x27; Variable x28; Variable x29; Variable x30; Variable x31; Variable x32; Variable x33; Variable x34; Variable x35; Variable x36; Variable x37; Variable x38; Variable x39; Variable x40; Variable x41; Variable x42; Variable x43; Variable x44; Variable x45; Variable x46; Variable x47; Variable x48; Variable x49; Variable x50; Variable x51; Variable x52; Variable x53; Variable x54; Variable x55; Variable x56; Variable x57; Variable x58; Variable x59; Variable x60; Variable x61; Variable x62; Variable x63; Variable x64; Variable x65; Variable x66; Variable x67; Variable x68; Variable x69; Variable x70; Variable x71; Variable x72; Variable x73; Variable x74; Variable x75; Variable x76; Variable x77; Variable x78; Variable x79; Variable x80; Variable x81; Variable x82; Variable x83; Variable x84; Variable x85; Variable x86; Variable x87; Variable x88; Variable x89; Variable x90; Variable x91; Variable x92; Variable x93; Variable x94; Variable x95; Variable x96; Variable x97; Variable x98; Variable x99; Variable x100; Variable x101; Variable x102; Variable x103; Variable x104; Variable x105; Variable x106; Variable x107; Variable x108; Variable x109; Variable x110; Variable x111; Variable x112; Variable x113; Variable x114; Variable x115; Variable x116; Variable x117; Variable x118; Variable x119; Variable x120; Variable x121; Variable x122; Variable x123; Variable x124; Variable x125; Variable x126; Variable x127; Variable x128; Variable x129; Variable x130; Variable x131; Variable x132; Variable x133; Variable x134; Variable x135; Variable x136; Variable x137; Variable x138; Variable x139; Variable x140; Variable x141; Variable x142; Variable x143; Variable x144; Variable x145; Variable x146; Variable x147; Variable x148; Variable x149; Variable x150; Variable x151; Variable x152; Variable x153; Variable x154; Variable x155; Variable x156; Variable x157; Variable x158; Variable x159; Variable x160; Variable x161; Variable x162; Variable x163; Variable x164; Variable x165; Variable x166; Variable x167; Variable x168; Variable x169; Variable x170; Variable x171 { Range: nonpositive; } Variable x172 { Range: nonpositive; } Variable x173 { Range: nonpositive; } Variable x174; Variable x175 { Range: nonpositive; } Variable x176; Variable x177 { Range: nonpositive; } Variable x178 { Range: nonpositive; } Variable x179 { Range: nonpositive; } Variable x180 { Range: nonpositive; } Variable x181 { Range: nonpositive; } Variable x182 { Range: nonpositive; } Variable x183; Variable x184; Variable x185 { Range: nonpositive; } Variable x186 { Range: nonpositive; } Variable x187 { Range: nonpositive; } Variable x188; Variable x189 { Range: nonpositive; } Variable x190; Variable x191 { Range: nonpositive; } Variable x192 { Range: nonpositive; } Variable x193 { Range: nonpositive; } Variable x194 { Range: nonpositive; } Variable x195 { Range: nonpositive; } Variable x196 { Range: nonpositive; } Variable x197; Variable x198; Variable x199 { Range: nonpositive; } Variable x200 { Range: nonpositive; } Variable x201 { Range: nonpositive; } Variable x202; Variable x203 { Range: nonpositive; } Variable x204; Variable x205 { Range: nonpositive; } Variable x206 { Range: nonpositive; } Variable x207 { Range: nonpositive; } Variable x208 { Range: nonpositive; } Variable x209 { Range: nonpositive; } Variable x210 { Range: nonpositive; } Variable x211; Variable x212; Variable x213 { Range: nonpositive; } Variable x214 { Range: nonpositive; } Variable x215 { Range: nonpositive; } Variable x216; Variable x217 { Range: nonpositive; } Variable x218; Variable x219 { Range: nonpositive; } Variable x220 { Range: nonpositive; } Variable x221 { Range: nonpositive; } Variable x222 { Range: nonpositive; } Variable x223 { Range: nonpositive; } Variable x224 { Range: nonpositive; } Variable x225; Variable x226; Variable x227 { Range: nonpositive; } Variable x228 { Range: nonpositive; } Variable x229 { Range: nonpositive; } Variable x230; Variable x231 { Range: nonpositive; } Variable x232; Variable x233 { Range: nonpositive; } Variable x234 { Range: nonpositive; } Variable x235 { Range: nonpositive; } Variable x236 { Range: nonpositive; } Variable x237 { Range: nonpositive; } Variable x238 { Range: nonpositive; } Variable x239; Variable x240; Variable x241 { Range: nonpositive; } Variable x242 { Range: nonpositive; } Variable x243 { Range: nonpositive; } Variable x244; Variable x245 { Range: nonpositive; } Variable x246; Variable x247 { Range: nonpositive; } Variable x248 { Range: nonpositive; } Variable x249 { Range: nonpositive; } Variable x250 { Range: nonpositive; } Variable x251 { Range: nonpositive; } Variable x252 { Range: nonpositive; } Variable x253; Variable x254; Variable x255 { Range: nonpositive; } Variable x256 { Range: nonpositive; } Variable x257 { Range: nonpositive; } Variable x258; Variable x259 { Range: nonpositive; } Variable x260; Variable x261 { Range: nonpositive; } Variable x262 { Range: nonpositive; } Variable x263 { Range: nonpositive; } Variable x264 { Range: nonpositive; } Variable x265 { Range: nonpositive; } Variable x266 { Range: nonpositive; } Variable x267; Variable x268; Variable x269 { Range: nonpositive; } Variable x270 { Range: nonpositive; } Variable x271 { Range: nonpositive; } Variable x272; Variable x273 { Range: nonpositive; } Variable x274; Variable x275 { Range: nonpositive; } Variable x276 { Range: nonpositive; } Variable x277 { Range: nonpositive; } Variable x278 { Range: nonpositive; } Variable x279 { Range: nonpositive; } Variable x280 { Range: nonpositive; } Variable x281; Variable x282; Variable x283 { Range: nonpositive; } Variable x284 { Range: nonpositive; } Variable x285 { Range: nonpositive; } Variable x286; Variable x287 { Range: nonpositive; } Variable x288; Variable x289 { Range: nonpositive; } Variable x290 { Range: nonpositive; } Variable x291 { Range: nonpositive; } Variable x292 { Range: nonpositive; } Variable x293 { Range: nonpositive; } Variable x294 { Range: nonpositive; } Variable x295; Variable x296; Variable x297 { Range: nonpositive; } Variable x298 { Range: nonpositive; } Variable x299 { Range: nonpositive; } Variable x300; Variable x301 { Range: nonpositive; } Variable x302; Variable x303 { Range: nonpositive; } Variable x304 { Range: nonpositive; } Variable x305 { Range: nonpositive; } Variable x306 { Range: nonpositive; } Variable x307 { Range: nonpositive; } Variable x308 { Range: nonpositive; } Variable x309; Variable x310; Variable x311 { Range: nonpositive; } Variable x312 { Range: nonpositive; } Variable x313 { Range: nonpositive; } Variable x314; Variable x315 { Range: nonpositive; } Variable x316; Variable x317 { Range: nonpositive; } Variable x318 { Range: nonpositive; } Variable x319 { Range: nonpositive; } Variable x320 { Range: nonpositive; } Variable x321 { Range: nonpositive; } Variable x322 { Range: nonpositive; } Variable x323; Variable x324; Variable x325 { Range: nonpositive; } Variable x326 { Range: nonpositive; } Variable x327 { Range: nonpositive; } Variable x328; Variable x329 { Range: nonpositive; } Variable x330; Variable x331 { Range: nonpositive; } Variable x332 { Range: nonpositive; } Variable x333 { Range: nonpositive; } Variable x334 { Range: nonpositive; } Variable x335 { Range: nonpositive; } Variable x336 { Range: nonpositive; } Variable x337; Variable x338; Variable x339 { Range: nonnegative; } Variable x340 { Range: nonnegative; } Variable x341 { Range: nonnegative; } Variable x342; Variable x343 { Range: nonnegative; } Variable x344; Variable x345 { Range: nonnegative; } Variable x346 { Range: nonnegative; } Variable x347 { Range: nonnegative; } Variable x348 { Range: nonnegative; } Variable x349 { Range: nonnegative; } Variable x350 { Range: nonnegative; } Variable x351; Variable x352; Variable x353 { Range: nonnegative; } Variable x354 { Range: nonnegative; } Variable x355 { Range: nonnegative; } Variable x356; Variable x357 { Range: nonnegative; } Variable x358; Variable x359 { Range: nonnegative; } Variable x360 { Range: nonnegative; } Variable x361 { Range: nonnegative; } Variable x362 { Range: nonnegative; } Variable x363 { Range: nonnegative; } Variable x364 { Range: nonnegative; } Variable x365 { Range: nonnegative; } Variable x366 { Range: nonnegative; } Variable x367 { Range: nonnegative; } Variable x368 { Range: nonnegative; } Variable x369 { Range: nonnegative; } Variable x370 { Range: nonnegative; } Variable x371 { Range: nonnegative; } Variable x372 { Range: nonnegative; } Variable x373 { Range: nonnegative; } Variable x374 { Range: nonnegative; } Variable x375 { Range: nonnegative; } Variable x376 { Range: nonnegative; } Variable x377 { Range: nonnegative; } Variable x378 { Range: nonnegative; } Variable x379 { Range: nonnegative; } Variable x380 { Range: nonnegative; } Variable x381 { Range: nonnegative; } Variable x382 { Range: nonnegative; } Variable x383 { Range: nonnegative; } Variable x384 { Range: nonnegative; } Variable x385 { Range: nonnegative; } Variable x386 { Range: nonnegative; } Variable x387 { Range: nonnegative; } Variable x388 { Range: nonnegative; } Variable x389 { Range: nonnegative; } Variable x390 { Range: nonnegative; } Variable x391 { Range: nonnegative; } Variable x392 { Range: nonnegative; } Variable x393 { Range: nonnegative; } Variable x394 { Range: nonnegative; } Variable x395 { Range: nonnegative; } Variable x396 { Range: nonnegative; } Variable x397 { Range: nonnegative; } Variable x398 { Range: nonnegative; } Variable x399 { Range: nonnegative; } Variable x400 { Range: nonnegative; } Variable x401 { Range: nonnegative; } Variable x402 { Range: nonnegative; } Variable x403 { Range: nonnegative; } Variable x404 { Range: nonnegative; } Variable x405 { Range: nonnegative; } Variable x406 { Range: nonnegative; } Variable x407 { Range: nonnegative; } Variable x408 { Range: nonnegative; } Variable x409 { Range: nonnegative; } Variable x410 { Range: nonnegative; } Variable x411 { Range: nonnegative; } Variable x412 { Range: nonnegative; } Variable x413 { Range: nonnegative; } Variable x414 { Range: nonnegative; } Variable x415 { Range: nonnegative; } Variable x416 { Range: nonnegative; } Variable x417 { Range: nonnegative; } Variable x418 { Range: nonnegative; } Variable x419 { Range: nonnegative; } Variable x420 { Range: nonnegative; } Variable x421 { Range: nonnegative; } Variable x422 { Range: nonnegative; } Variable x423 { Range: nonnegative; } Variable x424 { Range: nonnegative; } Variable x425 { Range: nonnegative; } Variable x426 { Range: nonnegative; } Variable x427 { Range: nonnegative; } Variable x428 { Range: nonnegative; } Variable x429 { Range: nonnegative; } Variable x430 { Range: nonnegative; } Variable x431 { Range: nonnegative; } Variable x432 { Range: nonnegative; } Variable x433 { Range: nonnegative; } Variable x434 { Range: nonnegative; } Variable x435 { Range: nonnegative; } Variable x436 { Range: nonnegative; } Variable x437 { Range: nonnegative; } Variable x438 { Range: nonnegative; } Variable x439 { Range: nonnegative; } Variable x440 { Range: nonnegative; } Variable x441 { Range: nonnegative; } Variable x442 { Range: nonnegative; } Variable x443 { Range: nonnegative; } Variable x444 { Range: nonnegative; } Variable x445 { Range: nonnegative; } Variable x446 { Range: nonnegative; } Variable x447 { Range: nonnegative; } Variable x448 { Range: nonnegative; } Variable objvar; Variable b450 { Range: binary; } Variable b451 { Range: binary; } Variable b452 { Range: binary; } Variable b453 { Range: binary; } Variable b454 { Range: binary; } Variable b455 { Range: binary; } Variable b456 { Range: binary; } Variable b457 { Range: binary; } Variable b458 { Range: binary; } Variable b459 { Range: binary; } Variable b460 { Range: binary; } Variable b461 { Range: binary; } Variable b462 { Range: binary; } Variable b463 { Range: binary; } Variable b464 { Range: binary; } Variable b465 { Range: binary; } Variable b466 { Range: binary; } Variable b467 { Range: binary; } Variable b468 { Range: binary; } Variable b469 { Range: binary; } Variable x470 { Range: nonnegative; } Variable x471 { Range: nonnegative; } Variable x472 { Range: nonnegative; } Variable x473 { Range: nonnegative; } Variable x474 { Range: nonnegative; } Variable x475 { Range: nonnegative; } Variable x476; Constraint e1 { Definition: { -(11.0241606565663*x1*x1 + x1*x2*(-9.99826320159607*cos(x86 - x85) - 30.5261730463591*sin(x86 - x85)) + x1*x5*(-1.02589745497019*cos(x89 - x85) - 4.23498368233483*sin(x89 - x85))) + x169 = 0 } } Constraint e2 { Definition: { -(x2*x1*(-9.99826320159607*cos(x85 - x86) - 30.5261730463591*sin(x85 - x86 )) + 14.5204552116128*x2*x2 + x2*x3*(-1.1350191923074*cos(x87 - x86) - 4.78186315175772*sin(x87 - x86)) + x2*x4*(-1.68603315061494*cos(x88 - x86) - 5.11583832587208*sin(x88 - x86)) + x2*x5*(-1.70113966709441*cos(x89 - x86) - 5.19392739796971*sin(x89 - x86))) + x170 = 0 } } Constraint e3 { Definition: { -(x3*x2*(-1.1350191923074*cos(x86 - x87) - 4.78186315175772*sin(x86 - x87) ) + 3.12099490223296*x3*x3 + x3*x4*(-1.98597570992556*cos(x88 - x87) - 5.06881697759392*sin(x88 - x87))) + x171 = 0 } } Constraint e4 { Definition: { -(x4*x2*(-1.68603315061494*cos(x86 - x88) - 5.11583832587208*sin(x86 - x88 )) + x4*x3*(-1.98597570992556*cos(x87 - x88) - 5.06881697759392*sin(x87 - x88)) + 10.5129895220362*x4*x4 + x4*x5*(-6.84098066149567*cos(x89 - x88) - 21.5785539816916*sin(x89 - x88)) - 4.78194338179036*x4*x7*sin(x91 - x88 ) - 1.79797907152361*x4*x9*sin(x93 - x88)) + x172 = 0 } } Constraint e5 { Definition: { -(x5*x1*(-1.02589745497019*cos(x85 - x89) - 4.23498368233483*sin(x85 - x89 )) + x5*x2*(-1.70113966709441*cos(x86 - x89) - 5.19392739796971*sin(x86 - x89)) + x5*x4*(-6.84098066149567*cos(x88 - x89) - 21.5785539816916*sin(x88 - x89)) + 9.56801778356026*x5*x5 - 3.96793905245615*x5*x6*sin(x90 - x89)) + x173 = 0 } } Constraint e6 { Definition: { -(6.57992340746622*x6*x6 - 3.96793905245615*x6*x5*sin(x89 - x90) + x6*x11* (-1.95502856317726*cos(x95 - x90) - 4.09407434424044*sin(x95 - x90)) + x6* x12*(-1.52596744045097*cos(x96 - x90) - 3.1759639650294*sin(x96 - x90)) + x6*x13*(-3.09892740383799*cos(x97 - x90) - 6.10275544819312*sin(x97 - x90) )) + x174 = 0 } } Constraint e7 { Definition: { -(-4.78194338179036*x7*x4*sin(x88 - x91) - 5.67697984672154*x7*x8*sin(x92 - x91) - 9.09008271975275*x7*x9*sin(x93 - x91)) + x175 = 0 } } Constraint e8 { Definition: 5.67697984672154*x8*x7*sin(x91 - x92) + x176 = 0; } Constraint e9 { Definition: { -(-1.79797907152361*x9*x4*sin(x88 - x93) - 9.09008271975275*x9*x7*sin(x91 - x93) + 5.32605503946736*x9*x9 + x9*x10*(-3.90204955244743*cos(x94 - x93 ) - 10.3653941270609*sin(x94 - x93)) + x9*x14*(-1.42400548701993*cos(x98 - x93) - 3.0290504569306*sin(x98 - x93))) + x177 = 0 } } Constraint e10 { Definition: { -(x10*x9*(-3.90204955244743*cos(x93 - x94) - 10.3653941270609*sin(x93 - x94)) + 5.78293430614783*x10*x10 + x10*x11*(-1.8808847537004*cos(x95 - x94) - 4.40294374946052*sin(x95 - x94))) + x178 = 0 } } Constraint e11 { Definition: { -(x11*x6*(-1.95502856317726*cos(x90 - x95) - 4.09407434424044*sin(x90 - x95)) + x11*x10*(-1.8808847537004*cos(x94 - x95) - 4.40294374946052*sin( x94 - x95)) + 3.83591331687766*x11*x11) + x179 = 0 } } Constraint e12 { Definition: { -(x12*x6*(-1.52596744045097*cos(x90 - x96) - 3.1759639650294*sin(x90 - x96)) + 4.01499202727289*x12*x12 + x12*x13*(-2.48902458682192*cos(x97 - x96) - 2.25197462617221*sin(x97 - x96))) + x180 = 0 } } Constraint e13 { Definition: { -(x13*x6*(-3.09892740383799*cos(x90 - x97) - 6.10275544819312*sin(x90 - x97)) + x13*x12*(-2.48902458682192*cos(x96 - x97) - 2.25197462617221*sin( x96 - x97)) + 6.72494614846623*x13*x13 + x13*x14*(-1.13699415780633*cos( x98 - x97) - 2.31496347510535*sin(x98 - x97))) + x181 = 0 } } Constraint e14 { Definition: { -(x14*x9*(-1.42400548701993*cos(x93 - x98) - 3.0290504569306*sin(x93 - x98)) + x14*x13*(-1.13699415780633*cos(x97 - x98) - 2.31496347510535*sin( x97 - x98)) + 2.56099964482626*x14*x14) + x182 = 0 } } Constraint e15 { Definition: { -(6.02502905576822*x15*x15 + x15*x16*(-4.99913160079804*cos(x100 - x99) - 15.2630865231796*sin(x100 - x99)) + x15*x19*(-1.02589745497019*cos( x103 - x99) - 4.23498368233483*sin(x103 - x99))) + x183 = 0 } } Constraint e16 { Definition: { -(x16*x15*(-4.99913160079804*cos(x99 - x100) - 15.2630865231796*sin(x99 - x100)) + 9.52132361081478*x16*x16 + x16*x17*(-1.1350191923074*cos(x101 - x100) - 4.78186315175772*sin(x101 - x100)) + x16*x18*(- 1.68603315061494*cos(x102 - x100) - 5.11583832587208*sin(x102 - x100)) + x16*x19*(-1.70113966709441*cos(x103 - x100) - 5.19392739796971*sin(x103 - x100))) + x184 = 0 } } Constraint e17 { Definition: { -(x17*x16*(-1.1350191923074*cos(x100 - x101) - 4.78186315175772*sin(x100 - x101)) + 3.12099490223296*x17*x17 + x17*x18*(-1.98597570992556*cos( x102 - x101) - 5.06881697759392*sin(x102 - x101))) + x185 = 0 } } Constraint e18 { Definition: { -(x18*x16*(-1.68603315061494*cos(x100 - x102) - 5.11583832587208*sin(x100 - x102)) + x18*x17*(-1.98597570992556*cos(x101 - x102) - 5.06881697759392*sin(x101 - x102)) + 10.5129895220362*x18*x18 + x18*x19*( -6.84098066149567*cos(x103 - x102) - 21.5785539816916*sin(x103 - x102)) - 4.78194338179036*x18*x21*sin(x105 - x102) - 1.79797907152361*x18*x23* sin(x107 - x102)) + x186 = 0 } } Constraint e19 { Definition: { -(x19*x15*(-1.02589745497019*cos(x99 - x103) - 4.23498368233483*sin(x99 - x103)) + x19*x16*(-1.70113966709441*cos(x100 - x103) - 5.19392739796971*sin(x100 - x103)) + x19*x18*(-6.84098066149567*cos(x102 - x103) - 21.5785539816916*sin(x102 - x103)) + 9.56801778356026*x19*x19 - 3.96793905245615*x19*x20*sin(x104 - x103)) + x187 = 0 } } Constraint e20 { Definition: { -(6.57992340746622*x20*x20 - 3.96793905245615*x20*x19*sin(x103 - x104) + x20*x25*(-1.95502856317726*cos(x109 - x104) - 4.09407434424044*sin(x109 - x104)) + x20*x26*(-1.52596744045097*cos(x110 - x104) - 3.1759639650294 *sin(x110 - x104)) + x20*x27*(-3.09892740383799*cos(x111 - x104) - 6.10275544819312*sin(x111 - x104))) + x188 = 0 } } Constraint e21 { Definition: { -(-4.78194338179036*x21*x18*sin(x102 - x105) - 5.67697984672154*x21*x22* sin(x106 - x105) - 9.09008271975275*x21*x23*sin(x107 - x105)) + x189 = 0 } } Constraint e22 { Definition: 5.67697984672154*x22*x21*sin(x105 - x106) + x190 = 0; } Constraint e23 { Definition: { -(-1.79797907152361*x23*x18*sin(x102 - x107) - 9.09008271975275*x23*x21* sin(x105 - x107) + 5.32605503946736*x23*x23 + x23*x24*(-3.90204955244743* cos(x108 - x107) - 10.3653941270609*sin(x108 - x107)) + x23*x28*(- 1.42400548701993*cos(x112 - x107) - 3.0290504569306*sin(x112 - x107))) + x191 = 0 } } Constraint e24 { Definition: { -(x24*x23*(-3.90204955244743*cos(x107 - x108) - 10.3653941270609*sin(x107 - x108)) + 5.78293430614783*x24*x24 + x24*x25*(-1.8808847537004*cos(x109 - x108) - 4.40294374946052*sin(x109 - x108))) + x192 = 0 } } Constraint e25 { Definition: { -(x25*x20*(-1.95502856317726*cos(x104 - x109) - 4.09407434424044*sin(x104 - x109)) + x25*x24*(-1.8808847537004*cos(x108 - x109) - 4.40294374946052 *sin(x108 - x109)) + 3.83591331687766*x25*x25) + x193 = 0 } } Constraint e26 { Definition: { -(x26*x20*(-1.52596744045097*cos(x104 - x110) - 3.1759639650294*sin(x104 - x110)) + 4.01499202727289*x26*x26 + x26*x27*(-2.48902458682192*cos( x111 - x110) - 2.25197462617221*sin(x111 - x110))) + x194 = 0 } } Constraint e27 { Definition: { -(x27*x20*(-3.09892740383799*cos(x104 - x111) - 6.10275544819312*sin(x104 - x111)) + x27*x26*(-2.48902458682192*cos(x110 - x111) - 2.25197462617221*sin(x110 - x111)) + 6.72494614846623*x27*x27 + x27*x28*( -1.13699415780633*cos(x112 - x111) - 2.31496347510535*sin(x112 - x111))) + x195 = 0 } } Constraint e28 { Definition: { -(x28*x23*(-1.42400548701993*cos(x107 - x112) - 3.0290504569306*sin(x107 - x112)) + x28*x27*(-1.13699415780633*cos(x111 - x112) - 2.31496347510535*sin(x111 - x112)) + 2.56099964482626*x28*x28) + x196 = 0 } } Constraint e29 { Definition: { -(9.99826320159607*x29*x29 + x29*x30*(-9.99826320159607*cos(x114 - x113) - 30.5261730463591*sin(x114 - x113))) + x197 = 0 } } Constraint e30 { Definition: { -(x30*x29*(-9.99826320159607*cos(x113 - x114) - 30.5261730463591*sin(x113 - x114)) + 14.5204552116128*x30*x30 + x30*x31*(-1.1350191923074*cos(x115 - x114) - 4.78186315175772*sin(x115 - x114)) + x30*x32*(- 1.68603315061494*cos(x116 - x114) - 5.11583832587208*sin(x116 - x114)) + x30*x33*(-1.70113966709441*cos(x117 - x114) - 5.19392739796971*sin(x117 - x114))) + x198 = 0 } } Constraint e31 { Definition: { -(x31*x30*(-1.1350191923074*cos(x114 - x115) - 4.78186315175772*sin(x114 - x115)) + 3.12099490223296*x31*x31 + x31*x32*(-1.98597570992556*cos( x116 - x115) - 5.06881697759392*sin(x116 - x115))) + x199 = 0 } } Constraint e32 { Definition: { -(x32*x30*(-1.68603315061494*cos(x114 - x116) - 5.11583832587208*sin(x114 - x116)) + x32*x31*(-1.98597570992556*cos(x115 - x116) - 5.06881697759392*sin(x115 - x116)) + 10.5129895220362*x32*x32 + x32*x33*( -6.84098066149567*cos(x117 - x116) - 21.5785539816916*sin(x117 - x116)) - 4.78194338179036*x32*x35*sin(x119 - x116) - 1.79797907152361*x32*x37* sin(x121 - x116)) + x200 = 0 } } Constraint e33 { Definition: { -(x33*x30*(-1.70113966709441*cos(x114 - x117) - 5.19392739796971*sin(x114 - x117)) + x33*x32*(-6.84098066149567*cos(x116 - x117) - 21.5785539816916*sin(x116 - x117)) + 8.54212032859007*x33*x33 - 3.96793905245615*x33*x34*sin(x118 - x117)) + x201 = 0 } } Constraint e34 { Definition: { -(6.57992340746622*x34*x34 - 3.96793905245615*x34*x33*sin(x117 - x118) + x34*x39*(-1.95502856317726*cos(x123 - x118) - 4.09407434424044*sin(x123 - x118)) + x34*x40*(-1.52596744045097*cos(x124 - x118) - 3.1759639650294 *sin(x124 - x118)) + x34*x41*(-3.09892740383799*cos(x125 - x118) - 6.10275544819312*sin(x125 - x118))) + x202 = 0 } } Constraint e35 { Definition: { -(-4.78194338179036*x35*x32*sin(x116 - x119) - 5.67697984672154*x35*x36* sin(x120 - x119) - 9.09008271975275*x35*x37*sin(x121 - x119)) + x203 = 0 } } Constraint e36 { Definition: 5.67697984672154*x36*x35*sin(x119 - x120) + x204 = 0; } Constraint e37 { Definition: { -(-1.79797907152361*x37*x32*sin(x116 - x121) - 9.09008271975275*x37*x35* sin(x119 - x121) + 5.32605503946736*x37*x37 + x37*x38*(-3.90204955244743* cos(x122 - x121) - 10.3653941270609*sin(x122 - x121)) + x37*x42*(- 1.42400548701993*cos(x126 - x121) - 3.0290504569306*sin(x126 - x121))) + x205 = 0 } } Constraint e38 { Definition: { -(x38*x37*(-3.90204955244743*cos(x121 - x122) - 10.3653941270609*sin(x121 - x122)) + 5.78293430614783*x38*x38 + x38*x39*(-1.8808847537004*cos(x123 - x122) - 4.40294374946052*sin(x123 - x122))) + x206 = 0 } } Constraint e39 { Definition: { -(x39*x34*(-1.95502856317726*cos(x118 - x123) - 4.09407434424044*sin(x118 - x123)) + x39*x38*(-1.8808847537004*cos(x122 - x123) - 4.40294374946052 *sin(x122 - x123)) + 3.83591331687766*x39*x39) + x207 = 0 } } Constraint e40 { Definition: { -(x40*x34*(-1.52596744045097*cos(x118 - x124) - 3.1759639650294*sin(x118 - x124)) + 4.01499202727289*x40*x40 + x40*x41*(-2.48902458682192*cos( x125 - x124) - 2.25197462617221*sin(x125 - x124))) + x208 = 0 } } Constraint e41 { Definition: { -(x41*x34*(-3.09892740383799*cos(x118 - x125) - 6.10275544819312*sin(x118 - x125)) + x41*x40*(-2.48902458682192*cos(x124 - x125) - 2.25197462617221*sin(x124 - x125)) + 6.72494614846623*x41*x41 + x41*x42*( -1.13699415780633*cos(x126 - x125) - 2.31496347510535*sin(x126 - x125))) + x209 = 0 } } Constraint e42 { Definition: { -(x42*x37*(-1.42400548701993*cos(x121 - x126) - 3.0290504569306*sin(x121 - x126)) + x42*x41*(-1.13699415780633*cos(x125 - x126) - 2.31496347510535*sin(x125 - x126)) + 2.56099964482626*x42*x42) + x210 = 0 } } Constraint e43 { Definition: { -(11.0241606565663*x43*x43 + x43*x44*(-9.99826320159607*cos(x128 - x127) - 30.5261730463591*sin(x128 - x127)) + x43*x47*(-1.02589745497019*cos( x131 - x127) - 4.23498368233483*sin(x131 - x127))) + x211 = 0 } } Constraint e44 { Definition: { -(x44*x43*(-9.99826320159607*cos(x127 - x128) - 30.5261730463591*sin(x127 - x128)) + 12.8344220609979*x44*x44 + x44*x45*(-1.1350191923074*cos(x129 - x128) - 4.78186315175772*sin(x129 - x128)) + x44*x47*(- 1.70113966709441*cos(x131 - x128) - 5.19392739796971*sin(x131 - x128))) + x212 = 0 } } Constraint e45 { Definition: { -(x45*x44*(-1.1350191923074*cos(x128 - x129) - 4.78186315175772*sin(x128 - x129)) + 3.12099490223296*x45*x45 + x45*x46*(-1.98597570992556*cos( x130 - x129) - 5.06881697759392*sin(x130 - x129))) + x213 = 0 } } Constraint e46 { Definition: { -(x46*x45*(-1.98597570992556*cos(x129 - x130) - 5.06881697759392*sin(x129 - x130)) + 8.82695637142123*x46*x46 + x46*x47*(-6.84098066149567*cos( x131 - x130) - 21.5785539816916*sin(x131 - x130)) - 4.78194338179036*x46* x49*sin(x133 - x130) - 1.79797907152361*x46*x51*sin(x135 - x130)) + x214 = 0 } } Constraint e47 { Definition: { -(x47*x43*(-1.02589745497019*cos(x127 - x131) - 4.23498368233483*sin(x127 - x131)) + x47*x44*(-1.70113966709441*cos(x128 - x131) - 5.19392739796971*sin(x128 - x131)) + x47*x46*(-6.84098066149567*cos(x130 - x131) - 21.5785539816916*sin(x130 - x131)) + 9.56801778356026*x47*x47 - 3.96793905245615*x47*x48*sin(x132 - x131)) + x215 = 0 } } Constraint e48 { Definition: { -(6.57992340746622*x48*x48 - 3.96793905245615*x48*x47*sin(x131 - x132) + x48*x53*(-1.95502856317726*cos(x137 - x132) - 4.09407434424044*sin(x137 - x132)) + x48*x54*(-1.52596744045097*cos(x138 - x132) - 3.1759639650294 *sin(x138 - x132)) + x48*x55*(-3.09892740383799*cos(x139 - x132) - 6.10275544819312*sin(x139 - x132))) + x216 = 0 } } Constraint e49 { Definition: { -(-4.78194338179036*x49*x46*sin(x130 - x133) - 5.67697984672154*x49*x50* sin(x134 - x133) - 9.09008271975275*x49*x51*sin(x135 - x133)) + x217 = 0 } } Constraint e50 { Definition: 5.67697984672154*x50*x49*sin(x133 - x134) + x218 = 0; } Constraint e51 { Definition: { -(-1.79797907152361*x51*x46*sin(x130 - x135) - 9.09008271975275*x51*x49* sin(x133 - x135) + 5.32605503946736*x51*x51 + x51*x52*(-3.90204955244743* cos(x136 - x135) - 10.3653941270609*sin(x136 - x135)) + x51*x56*(- 1.42400548701993*cos(x140 - x135) - 3.0290504569306*sin(x140 - x135))) + x219 = 0 } } Constraint e52 { Definition: { -(x52*x51*(-3.90204955244743*cos(x135 - x136) - 10.3653941270609*sin(x135 - x136)) + 5.78293430614783*x52*x52 + x52*x53*(-1.8808847537004*cos(x137 - x136) - 4.40294374946052*sin(x137 - x136))) + x220 = 0 } } Constraint e53 { Definition: { -(x53*x48*(-1.95502856317726*cos(x132 - x137) - 4.09407434424044*sin(x132 - x137)) + x53*x52*(-1.8808847537004*cos(x136 - x137) - 4.40294374946052 *sin(x136 - x137)) + 3.83591331687766*x53*x53) + x221 = 0 } } Constraint e54 { Definition: { -(x54*x48*(-1.52596744045097*cos(x132 - x138) - 3.1759639650294*sin(x132 - x138)) + 4.01499202727289*x54*x54 + x54*x55*(-2.48902458682192*cos( x139 - x138) - 2.25197462617221*sin(x139 - x138))) + x222 = 0 } } Constraint e55 { Definition: { -(x55*x48*(-3.09892740383799*cos(x132 - x139) - 6.10275544819312*sin(x132 - x139)) + x55*x54*(-2.48902458682192*cos(x138 - x139) - 2.25197462617221*sin(x138 - x139)) + 6.72494614846623*x55*x55 + x55*x56*( -1.13699415780633*cos(x140 - x139) - 2.31496347510535*sin(x140 - x139))) + x223 = 0 } } Constraint e56 { Definition: { -(x56*x51*(-1.42400548701993*cos(x135 - x140) - 3.0290504569306*sin(x135 - x140)) + x56*x55*(-1.13699415780633*cos(x139 - x140) - 2.31496347510535*sin(x139 - x140)) + 2.56099964482626*x56*x56) + x224 = 0 } } Constraint e57 { Definition: { -(11.0241606565663*x57*x57 + x57*x58*(-9.99826320159607*cos(x142 - x141) - 30.5261730463591*sin(x142 - x141)) + x57*x61*(-1.02589745497019*cos( x145 - x141) - 4.23498368233483*sin(x145 - x141))) + x225 = 0 } } Constraint e58 { Definition: { -(x58*x57*(-9.99826320159607*cos(x141 - x142) - 30.5261730463591*sin(x141 - x142)) + 14.5204552116128*x58*x58 + x58*x59*(-1.1350191923074*cos(x143 - x142) - 4.78186315175772*sin(x143 - x142)) + x58*x60*(- 1.68603315061494*cos(x144 - x142) - 5.11583832587208*sin(x144 - x142)) + x58*x61*(-1.70113966709441*cos(x145 - x142) - 5.19392739796971*sin(x145 - x142))) + x226 = 0 } } Constraint e59 { Definition: { -(x59*x58*(-1.1350191923074*cos(x142 - x143) - 4.78186315175772*sin(x142 - x143)) + 3.12099490223296*x59*x59 + x59*x60*(-1.98597570992556*cos( x144 - x143) - 5.06881697759392*sin(x144 - x143))) + x227 = 0 } } Constraint e60 { Definition: { -(x60*x58*(-1.68603315061494*cos(x142 - x144) - 5.11583832587208*sin(x142 - x144)) + x60*x59*(-1.98597570992556*cos(x143 - x144) - 5.06881697759392*sin(x143 - x144)) + 10.5129895220362*x60*x60 + x60*x61*( -6.84098066149567*cos(x145 - x144) - 21.5785539816916*sin(x145 - x144)) - 4.78194338179036*x60*x63*sin(x147 - x144) - 1.79797907152361*x60*x65* sin(x149 - x144)) + x228 = 0 } } Constraint e61 { Definition: { -(x61*x57*(-1.02589745497019*cos(x141 - x145) - 4.23498368233483*sin(x141 - x145)) + x61*x58*(-1.70113966709441*cos(x142 - x145) - 5.19392739796971*sin(x142 - x145)) + x61*x60*(-6.84098066149567*cos(x144 - x145) - 21.5785539816916*sin(x144 - x145)) + 9.56801778356026*x61*x61 - 3.96793905245615*x61*x62*sin(x146 - x145)) + x229 = 0 } } Constraint e62 { Definition: { -(3.48099600362823*x62*x62 - 3.96793905245615*x62*x61*sin(x145 - x146) + x62*x67*(-1.95502856317726*cos(x151 - x146) - 4.09407434424044*sin(x151 - x146)) + x62*x68*(-1.52596744045097*cos(x152 - x146) - 3.1759639650294 *sin(x152 - x146))) + x230 = 0 } } Constraint e63 { Definition: { -(-4.78194338179036*x63*x60*sin(x144 - x147) - 5.67697984672154*x63*x64* sin(x148 - x147) - 9.09008271975275*x63*x65*sin(x149 - x147)) + x231 = 0 } } Constraint e64 { Definition: 5.67697984672154*x64*x63*sin(x147 - x148) + x232 = 0; } Constraint e65 { Definition: { -(-1.79797907152361*x65*x60*sin(x144 - x149) - 9.09008271975275*x65*x63* sin(x147 - x149) + 5.32605503946736*x65*x65 + x65*x66*(-3.90204955244743* cos(x150 - x149) - 10.3653941270609*sin(x150 - x149)) + x65*x70*(- 1.42400548701993*cos(x154 - x149) - 3.0290504569306*sin(x154 - x149))) + x233 = 0 } } Constraint e66 { Definition: { -(x66*x65*(-3.90204955244743*cos(x149 - x150) - 10.3653941270609*sin(x149 - x150)) + 5.78293430614783*x66*x66 + x66*x67*(-1.8808847537004*cos(x151 - x150) - 4.40294374946052*sin(x151 - x150))) + x234 = 0 } } Constraint e67 { Definition: { -(x67*x62*(-1.95502856317726*cos(x146 - x151) - 4.09407434424044*sin(x146 - x151)) + x67*x66*(-1.8808847537004*cos(x150 - x151) - 4.40294374946052 *sin(x150 - x151)) + 3.83591331687766*x67*x67) + x235 = 0 } } Constraint e68 { Definition: { -(x68*x62*(-1.52596744045097*cos(x146 - x152) - 3.1759639650294*sin(x146 - x152)) + 4.01499202727289*x68*x68 + x68*x69*(-2.48902458682192*cos( x153 - x152) - 2.25197462617221*sin(x153 - x152))) + x236 = 0 } } Constraint e69 { Definition: { -(x69*x68*(-2.48902458682192*cos(x152 - x153) - 2.25197462617221*sin(x152 - x153)) + 3.62601874462825*x69*x69 + x69*x70*(-1.13699415780633*cos( x154 - x153) - 2.31496347510535*sin(x154 - x153))) + x237 = 0 } } Constraint e70 { Definition: { -(x70*x65*(-1.42400548701993*cos(x149 - x154) - 3.0290504569306*sin(x149 - x154)) + x70*x69*(-1.13699415780633*cos(x153 - x154) - 2.31496347510535*sin(x153 - x154)) + 2.56099964482626*x70*x70) + x238 = 0 } } Constraint e71 { Definition: { -(11.0241606565663*x71*x71 + x71*x72*(-9.99826320159607*cos(x156 - x155) - 30.5261730463591*sin(x156 - x155)) + x71*x75*(-1.02589745497019*cos( x159 - x155) - 4.23498368233483*sin(x159 - x155))) + x239 = 0 } } Constraint e72 { Definition: { -(x72*x71*(-9.99826320159607*cos(x155 - x156) - 30.5261730463591*sin(x155 - x156)) + 14.5204552116128*x72*x72 + x72*x73*(-1.1350191923074*cos(x157 - x156) - 4.78186315175772*sin(x157 - x156)) + x72*x74*(- 1.68603315061494*cos(x158 - x156) - 5.11583832587208*sin(x158 - x156)) + x72*x75*(-1.70113966709441*cos(x159 - x156) - 5.19392739796971*sin(x159 - x156))) + x240 = 0 } } Constraint e73 { Definition: { -(x73*x72*(-1.1350191923074*cos(x156 - x157) - 4.78186315175772*sin(x156 - x157)) + 3.12099490223296*x73*x73 + x73*x74*(-1.98597570992556*cos( x158 - x157) - 5.06881697759392*sin(x158 - x157))) + x241 = 0 } } Constraint e74 { Definition: { -(x74*x72*(-1.68603315061494*cos(x156 - x158) - 5.11583832587208*sin(x156 - x158)) + x74*x73*(-1.98597570992556*cos(x157 - x158) - 5.06881697759392*sin(x157 - x158)) + 10.5129895220362*x74*x74 + x74*x75*( -6.84098066149567*cos(x159 - x158) - 21.5785539816916*sin(x159 - x158)) - 4.78194338179036*x74*x77*sin(x161 - x158) - 1.79797907152361*x74*x79* sin(x163 - x158)) + x242 = 0 } } Constraint e75 { Definition: { -(x75*x71*(-1.02589745497019*cos(x155 - x159) - 4.23498368233483*sin(x155 - x159)) + x75*x72*(-1.70113966709441*cos(x156 - x159) - 5.19392739796971*sin(x156 - x159)) + x75*x74*(-6.84098066149567*cos(x158 - x159) - 21.5785539816916*sin(x158 - x159)) + 9.56801778356026*x75*x75 - 3.96793905245615*x75*x76*sin(x160 - x159)) + x243 = 0 } } Constraint e76 { Definition: { -(6.57992340746622*x76*x76 - 3.96793905245615*x76*x75*sin(x159 - x160) + x76*x81*(-1.95502856317726*cos(x165 - x160) - 4.09407434424044*sin(x165 - x160)) + x76*x82*(-1.52596744045097*cos(x166 - x160) - 3.1759639650294 *sin(x166 - x160)) + x76*x83*(-3.09892740383799*cos(x167 - x160) - 6.10275544819312*sin(x167 - x160))) + x244 = 0 } } Constraint e77 { Definition: { -(-4.78194338179036*x77*x74*sin(x158 - x161) - 5.67697984672154*x77*x78* sin(x162 - x161) - 9.09008271975275*x77*x79*sin(x163 - x161)) + x245 = 0 } } Constraint e78 { Definition: 5.67697984672154*x78*x77*sin(x161 - x162) + x246 = 0; } Constraint e79 { Definition: { -(-1.79797907152361*x79*x74*sin(x158 - x163) - 9.09008271975275*x79*x77* sin(x161 - x163) + 3.90204955244743*x79*x79 + x79*x80*(-3.90204955244743* cos(x164 - x163) - 10.3653941270609*sin(x164 - x163))) + x247 = 0 } } Constraint e80 { Definition: { -(x80*x79*(-3.90204955244743*cos(x163 - x164) - 10.3653941270609*sin(x163 - x164)) + 5.78293430614783*x80*x80 + x80*x81*(-1.8808847537004*cos(x165 - x164) - 4.40294374946052*sin(x165 - x164))) + x248 = 0 } } Constraint e81 { Definition: { -(x81*x76*(-1.95502856317726*cos(x160 - x165) - 4.09407434424044*sin(x160 - x165)) + x81*x80*(-1.8808847537004*cos(x164 - x165) - 4.40294374946052 *sin(x164 - x165)) + 3.83591331687766*x81*x81) + x249 = 0 } } Constraint e82 { Definition: { -(x82*x76*(-1.52596744045097*cos(x160 - x166) - 3.1759639650294*sin(x160 - x166)) + 4.01499202727289*x82*x82 + x82*x83*(-2.48902458682192*cos( x167 - x166) - 2.25197462617221*sin(x167 - x166))) + x250 = 0 } } Constraint e83 { Definition: { -(x83*x76*(-3.09892740383799*cos(x160 - x167) - 6.10275544819312*sin(x160 - x167)) + x83*x82*(-2.48902458682192*cos(x166 - x167) - 2.25197462617221*sin(x166 - x167)) + 6.72494614846623*x83*x83 + x83*x84*( -1.13699415780633*cos(x168 - x167) - 2.31496347510535*sin(x168 - x167))) + x251 = 0 } } Constraint e84 { Definition: { -(x84*x83*(-1.13699415780633*cos(x167 - x168) - 2.31496347510535*sin(x167 - x168)) + 1.13699415780633*x84*x84) + x252 = 0 } } Constraint e85 { Definition: { -(34.6837567286939*x1*x1 + x1*x2*(9.99826320159607*sin(x86 - x85) - 30.5261730463591*cos(x86 - x85)) + x1*x5*(1.02589745497019*sin(x89 - x85) - 4.23498368233483*cos(x89 - x85))) + x253 + x337 - x351 = 0 } } Constraint e86 { Definition: { -(x2*x1*(9.99826320159607*sin(x85 - x86) - 30.5261730463591*cos(x85 - x86 )) + 45.5074019219586*x2*x2 + x2*x3*(1.1350191923074*sin(x87 - x86) - 4.78186315175772*cos(x87 - x86)) + x2*x4*(1.68603315061494*sin(x88 - x86) - 5.11583832587208*cos(x88 - x86)) + x2*x5*(1.70113966709441*sin(x89 - x86) - 5.19392739796971*cos(x89 - x86))) + x254 + x338 - x352 = 0 } } Constraint e87 { Definition: { -(x3*x2*(1.1350191923074*sin(x86 - x87) - 4.78186315175772*cos(x86 - x87) ) + 9.81148012935164*x3*x3 + x3*x4*(1.98597570992556*sin(x88 - x87) - 5.06881697759392*cos(x88 - x87))) + x255 + x339 - x353 = 0 } } Constraint e88 { Definition: { -(x4*x2*(1.68603315061494*sin(x86 - x88) - 5.11583832587208*cos(x86 - x88 )) + x4*x3*(1.98597570992556*sin(x87 - x88) - 5.06881697759392*cos(x87 - x88)) + 38.3007317384716*x4*x4 + x4*x5*(6.84098066149567*sin(x89 - x88) - 21.5785539816916*cos(x89 - x88)) - 4.78194338179036*x4*x7*cos(x91 - x88) - 1.79797907152361*x4*x9*cos(x93 - x88)) + x256 + x340 - x354 = 0 } } Constraint e89 { Definition: { -(x5*x1*(1.02589745497019*sin(x85 - x89) - 4.23498368233483*cos(x85 - x89 )) + x5*x2*(1.70113966709441*sin(x86 - x89) - 5.19392739796971*cos(x86 - x89)) + x5*x4*(6.84098066149567*sin(x88 - x89) - 21.5785539816916*cos(x88 - x89)) + 34.9274041144523*x5*x5 - 3.96793905245615*x5*x6*cos(x90 - x89) ) + x257 + x341 - x355 = 0 } } Constraint e90 { Definition: { -(17.3407328099191*x6*x6 - 3.96793905245615*x6*x5*cos(x89 - x90) + x6*x11 *(1.95502856317726*sin(x95 - x90) - 4.09407434424044*cos(x95 - x90)) + x6 *x12*(1.52596744045097*sin(x96 - x90) - 3.1759639650294*cos(x96 - x90)) + x6*x13*(3.09892740383799*sin(x97 - x90) - 6.10275544819312*cos(x97 - x90))) + x258 + x342 - x356 = 0 } } Constraint e91 { Definition: { -(19.5490059482647*x7*x7 - 4.78194338179036*x7*x4*cos(x88 - x91) - 5.67697984672154*x7*x8*cos(x92 - x91) - 9.09008271975275*x7*x9*cos(x93 - x91)) + x259 + x343 - x357 = 0 } } Constraint e92 { Definition: { -(5.67697984672154*x8*x8 - 5.67697984672154*x8*x7*cos(x91 - x92)) + x260 + x344 - x358 = 0 } } Constraint e93 { Definition: { -(-1.79797907152361*x9*x4*cos(x88 - x93) - 9.09008271975275*x9*x7*cos(x91 - x93) + 24.2825063752679*x9*x9 + x9*x10*(3.90204955244743*sin(x94 - x93 ) - 10.3653941270609*cos(x94 - x93)) + x9*x14*(1.42400548701993*sin(x98 - x93) - 3.0290504569306*cos(x98 - x93))) + x261 + x345 - x359 = 0 } } Constraint e94 { Definition: { -(x10*x9*(3.90204955244743*sin(x93 - x94) - 10.3653941270609*cos(x93 - x94)) + 14.7683378765214*x10*x10 + x10*x11*(1.8808847537004*sin(x95 - x94 ) - 4.40294374946052*cos(x95 - x94))) + x262 + x346 - x360 = 0 } } Constraint e95 { Definition: { -(x11*x6*(1.95502856317726*sin(x90 - x95) - 4.09407434424044*cos(x90 - x95)) + x11*x10*(1.8808847537004*sin(x94 - x95) - 4.40294374946052*cos( x94 - x95)) + 8.49701809370096*x11*x11) + x263 + x347 - x361 = 0 } } Constraint e96 { Definition: { -(x12*x6*(1.52596744045097*sin(x90 - x96) - 3.1759639650294*cos(x90 - x96 )) + 5.42793859120161*x12*x12 + x12*x13*(2.48902458682192*sin(x97 - x96) - 2.25197462617221*cos(x97 - x96))) + x264 + x348 - x362 = 0 } } Constraint e97 { Definition: { -(x13*x6*(3.09892740383799*sin(x90 - x97) - 6.10275544819312*cos(x90 - x97)) + x13*x12*(2.48902458682192*sin(x96 - x97) - 2.25197462617221*cos( x96 - x97)) + 10.6696935494707*x13*x13 + x13*x14*(1.13699415780633*sin( x98 - x97) - 2.31496347510535*cos(x98 - x97))) + x265 + x349 - x363 = 0 } } Constraint e98 { Definition: { -(x14*x9*(1.42400548701993*sin(x93 - x98) - 3.0290504569306*cos(x93 - x98 )) + x14*x13*(1.13699415780633*sin(x97 - x98) - 2.31496347510535*cos(x97 - x98)) + 5.34401393203596*x14*x14) + x266 + x350 - x364 = 0 } } Constraint e99 { Definition: { -(19.4470702055144*x15*x15 + x15*x16*(4.99913160079804*sin(x100 - x99) - 15.2630865231796*cos(x100 - x99)) + x15*x19*(1.02589745497019*sin(x103 - x99) - 4.23498368233483*cos(x103 - x99))) + x267 + x337 - x351 = 0 } } Constraint e100 { Definition: { -(x16*x15*(4.99913160079804*sin(x99 - x100) - 15.2630865231796*cos(x99 - x100)) + 30.2707153987791*x16*x16 + x16*x17*(1.1350191923074*sin(x101 - x100) - 4.78186315175772*cos(x101 - x100)) + x16*x18*( 1.68603315061494*sin(x102 - x100) - 5.11583832587208*cos(x102 - x100)) + x16*x19*(1.70113966709441*sin(x103 - x100) - 5.19392739796971*cos( x103 - x100))) + x268 + x338 - x352 = 0 } } Constraint e101 { Definition: { -(x17*x16*(1.1350191923074*sin(x100 - x101) - 4.78186315175772*cos(x100 - x101)) + 9.81148012935164*x17*x17 + x17*x18*(1.98597570992556*sin( x102 - x101) - 5.06881697759392*cos(x102 - x101))) + x269 + x339 - x353 = 0 } } Constraint e102 { Definition: { -(x18*x16*(1.68603315061494*sin(x100 - x102) - 5.11583832587208*cos(x100 - x102)) + x18*x17*(1.98597570992556*sin(x101 - x102) - 5.06881697759392*cos(x101 - x102)) + 38.3007317384716*x18*x18 + x18*x19* (6.84098066149567*sin(x103 - x102) - 21.5785539816916*cos(x103 - x102)) - 4.78194338179036*x18*x21*cos(x105 - x102) - 1.79797907152361*x18*x23* cos(x107 - x102)) + x270 + x340 - x354 = 0 } } Constraint e103 { Definition: { -(x19*x15*(1.02589745497019*sin(x99 - x103) - 4.23498368233483*cos(x99 - x103)) + x19*x16*(1.70113966709441*sin(x100 - x103) - 5.19392739796971*cos(x100 - x103)) + x19*x18*(6.84098066149567*sin(x102 - x103) - 21.5785539816916*cos(x102 - x103)) + 34.9274041144523*x19*x19 - 3.96793905245615*x19*x20*cos(x104 - x103)) + x271 + x341 - x355 = 0 } } Constraint e104 { Definition: { -(17.3407328099191*x20*x20 - 3.96793905245615*x20*x19*cos(x103 - x104) + x20*x25*(1.95502856317726*sin(x109 - x104) - 4.09407434424044*cos( x109 - x104)) + x20*x26*(1.52596744045097*sin(x110 - x104) - 3.1759639650294*cos(x110 - x104)) + x20*x27*(3.09892740383799*sin(x111 - x104) - 6.10275544819312*cos(x111 - x104))) + x272 + x342 - x356 = 0 } } Constraint e105 { Definition: { -(19.5490059482647*x21*x21 - 4.78194338179036*x21*x18*cos(x102 - x105) - 5.67697984672154*x21*x22*cos(x106 - x105) - 9.09008271975275*x21*x23* cos(x107 - x105)) + x273 + x343 - x357 = 0 } } Constraint e106 { Definition: { -(5.67697984672154*x22*x22 - 5.67697984672154*x22*x21*cos(x105 - x106)) + x274 + x344 - x358 = 0 } } Constraint e107 { Definition: { -(-1.79797907152361*x23*x18*cos(x102 - x107) - 9.09008271975275*x23*x21* cos(x105 - x107) + 24.2825063752679*x23*x23 + x23*x24*(3.90204955244743* sin(x108 - x107) - 10.3653941270609*cos(x108 - x107)) + x23*x28*( 1.42400548701993*sin(x112 - x107) - 3.0290504569306*cos(x112 - x107))) + x275 + x345 - x359 = 0 } } Constraint e108 { Definition: { -(x24*x23*(3.90204955244743*sin(x107 - x108) - 10.3653941270609*cos(x107 - x108)) + 14.7683378765214*x24*x24 + x24*x25*(1.8808847537004*sin(x109 - x108) - 4.40294374946052*cos(x109 - x108))) + x276 + x346 - x360 = 0 } } Constraint e109 { Definition: { -(x25*x20*(1.95502856317726*sin(x104 - x109) - 4.09407434424044*cos(x104 - x109)) + x25*x24*(1.8808847537004*sin(x108 - x109) - 4.40294374946052 *cos(x108 - x109)) + 8.49701809370096*x25*x25) + x277 + x347 - x361 = 0 } } Constraint e110 { Definition: { -(x26*x20*(1.52596744045097*sin(x104 - x110) - 3.1759639650294*cos(x104 - x110)) + 5.42793859120161*x26*x26 + x26*x27*(2.48902458682192*sin( x111 - x110) - 2.25197462617221*cos(x111 - x110))) + x278 + x348 - x362 = 0 } } Constraint e111 { Definition: { -(x27*x20*(3.09892740383799*sin(x104 - x111) - 6.10275544819312*cos(x104 - x111)) + x27*x26*(2.48902458682192*sin(x110 - x111) - 2.25197462617221*cos(x110 - x111)) + 10.6696935494707*x27*x27 + x27*x28* (1.13699415780633*sin(x112 - x111) - 2.31496347510535*cos(x112 - x111))) + x279 + x349 - x363 = 0 } } Constraint e112 { Definition: { -(x28*x23*(1.42400548701993*sin(x107 - x112) - 3.0290504569306*cos(x107 - x112)) + x28*x27*(1.13699415780633*sin(x111 - x112) - 2.31496347510535*cos(x111 - x112)) + 5.34401393203596*x28*x28) + x280 + x350 - x364 = 0 } } Constraint e113 { Definition: { -(30.4733730463591*x29*x29 + x29*x30*(9.99826320159607*sin(x114 - x113) - 30.5261730463591*cos(x114 - x113))) + x281 + x337 - x351 = 0 } } Constraint e114 { Definition: { -(x30*x29*(9.99826320159607*sin(x113 - x114) - 30.5261730463591*cos(x113 - x114)) + 45.5074019219586*x30*x30 + x30*x31*(1.1350191923074*sin(x115 - x114) - 4.78186315175772*cos(x115 - x114)) + x30*x32*( 1.68603315061494*sin(x116 - x114) - 5.11583832587208*cos(x116 - x114)) + x30*x33*(1.70113966709441*sin(x117 - x114) - 5.19392739796971*cos( x117 - x114))) + x282 + x338 - x352 = 0 } } Constraint e115 { Definition: { -(x31*x30*(1.1350191923074*sin(x114 - x115) - 4.78186315175772*cos(x114 - x115)) + 9.81148012935164*x31*x31 + x31*x32*(1.98597570992556*sin( x116 - x115) - 5.06881697759392*cos(x116 - x115))) + x283 + x339 - x353 = 0 } } Constraint e116 { Definition: { -(x32*x30*(1.68603315061494*sin(x114 - x116) - 5.11583832587208*cos(x114 - x116)) + x32*x31*(1.98597570992556*sin(x115 - x116) - 5.06881697759392*cos(x115 - x116)) + 38.3007317384716*x32*x32 + x32*x33* (6.84098066149567*sin(x117 - x116) - 21.5785539816916*cos(x117 - x116)) - 4.78194338179036*x32*x35*cos(x119 - x116) - 1.79797907152361*x32*x37* cos(x121 - x116)) + x284 + x340 - x354 = 0 } } Constraint e117 { Definition: { -(x33*x30*(1.70113966709441*sin(x114 - x117) - 5.19392739796971*cos(x114 - x117)) + x33*x32*(6.84098066149567*sin(x116 - x117) - 21.5785539816916*cos(x116 - x117)) + 30.7170204321175*x33*x33 - 3.96793905245615*x33*x34*cos(x118 - x117)) + x285 + x341 - x355 = 0 } } Constraint e118 { Definition: { -(17.3407328099191*x34*x34 - 3.96793905245615*x34*x33*cos(x117 - x118) + x34*x39*(1.95502856317726*sin(x123 - x118) - 4.09407434424044*cos( x123 - x118)) + x34*x40*(1.52596744045097*sin(x124 - x118) - 3.1759639650294*cos(x124 - x118)) + x34*x41*(3.09892740383799*sin(x125 - x118) - 6.10275544819312*cos(x125 - x118))) + x286 + x342 - x356 = 0 } } Constraint e119 { Definition: { -(19.5490059482647*x35*x35 - 4.78194338179036*x35*x32*cos(x116 - x119) - 5.67697984672154*x35*x36*cos(x120 - x119) - 9.09008271975275*x35*x37* cos(x121 - x119)) + x287 + x343 - x357 = 0 } } Constraint e120 { Definition: { -(5.67697984672154*x36*x36 - 5.67697984672154*x36*x35*cos(x119 - x120)) + x288 + x344 - x358 = 0 } } Constraint e121 { Definition: { -(-1.79797907152361*x37*x32*cos(x116 - x121) - 9.09008271975275*x37*x35* cos(x119 - x121) + 24.2825063752679*x37*x37 + x37*x38*(3.90204955244743* sin(x122 - x121) - 10.3653941270609*cos(x122 - x121)) + x37*x42*( 1.42400548701993*sin(x126 - x121) - 3.0290504569306*cos(x126 - x121))) + x289 + x345 - x359 = 0 } } Constraint e122 { Definition: { -(x38*x37*(3.90204955244743*sin(x121 - x122) - 10.3653941270609*cos(x121 - x122)) + 14.7683378765214*x38*x38 + x38*x39*(1.8808847537004*sin(x123 - x122) - 4.40294374946052*cos(x123 - x122))) + x290 + x346 - x360 = 0 } } Constraint e123 { Definition: { -(x39*x34*(1.95502856317726*sin(x118 - x123) - 4.09407434424044*cos(x118 - x123)) + x39*x38*(1.8808847537004*sin(x122 - x123) - 4.40294374946052 *cos(x122 - x123)) + 8.49701809370096*x39*x39) + x291 + x347 - x361 = 0 } } Constraint e124 { Definition: { -(x40*x34*(1.52596744045097*sin(x118 - x124) - 3.1759639650294*cos(x118 - x124)) + 5.42793859120161*x40*x40 + x40*x41*(2.48902458682192*sin( x125 - x124) - 2.25197462617221*cos(x125 - x124))) + x292 + x348 - x362 = 0 } } Constraint e125 { Definition: { -(x41*x34*(3.09892740383799*sin(x118 - x125) - 6.10275544819312*cos(x118 - x125)) + x41*x40*(2.48902458682192*sin(x124 - x125) - 2.25197462617221*cos(x124 - x125)) + 10.6696935494707*x41*x41 + x41*x42* (1.13699415780633*sin(x126 - x125) - 2.31496347510535*cos(x126 - x125))) + x293 + x349 - x363 = 0 } } Constraint e126 { Definition: { -(x42*x37*(1.42400548701993*sin(x121 - x126) - 3.0290504569306*cos(x121 - x126)) + x42*x41*(1.13699415780633*sin(x125 - x126) - 2.31496347510535*cos(x125 - x126)) + 5.34401393203596*x42*x42) + x294 + x350 - x364 = 0 } } Constraint e127 { Definition: { -(34.6837567286939*x43*x43 + x43*x44*(9.99826320159607*sin(x128 - x127) - 30.5261730463591*cos(x128 - x127)) + x43*x47*(1.02589745497019*sin( x131 - x127) - 4.23498368233483*cos(x131 - x127))) + x295 + x337 - x351 = 0 } } Constraint e128 { Definition: { -(x44*x43*(9.99826320159607*sin(x127 - x128) - 30.5261730463591*cos(x127 - x128)) + 40.4102635960865*x44*x44 + x44*x45*(1.1350191923074*sin(x129 - x128) - 4.78186315175772*cos(x129 - x128)) + x44*x47*( 1.70113966709441*sin(x131 - x128) - 5.19392739796971*cos(x131 - x128))) + x296 + x338 - x352 = 0 } } Constraint e129 { Definition: { -(x45*x44*(1.1350191923074*sin(x128 - x129) - 4.78186315175772*cos(x128 - x129)) + 9.81148012935164*x45*x45 + x45*x46*(1.98597570992556*sin( x130 - x129) - 5.06881697759392*cos(x130 - x129))) + x297 + x339 - x353 = 0 } } Constraint e130 { Definition: { -(x46*x45*(1.98597570992556*sin(x129 - x130) - 5.06881697759392*cos(x129 - x130)) + 33.2035934125995*x46*x46 + x46*x47*(6.84098066149567*sin( x131 - x130) - 21.5785539816916*cos(x131 - x130)) - 4.78194338179036*x46 *x49*cos(x133 - x130) - 1.79797907152361*x46*x51*cos(x135 - x130)) + x298 + x340 - x354 = 0 } } Constraint e131 { Definition: { -(x47*x43*(1.02589745497019*sin(x127 - x131) - 4.23498368233483*cos(x127 - x131)) + x47*x44*(1.70113966709441*sin(x128 - x131) - 5.19392739796971*cos(x128 - x131)) + x47*x46*(6.84098066149567*sin(x130 - x131) - 21.5785539816916*cos(x130 - x131)) + 34.9274041144523*x47*x47 - 3.96793905245615*x47*x48*cos(x132 - x131)) + x299 + x341 - x355 = 0 } } Constraint e132 { Definition: { -(17.3407328099191*x48*x48 - 3.96793905245615*x48*x47*cos(x131 - x132) + x48*x53*(1.95502856317726*sin(x137 - x132) - 4.09407434424044*cos( x137 - x132)) + x48*x54*(1.52596744045097*sin(x138 - x132) - 3.1759639650294*cos(x138 - x132)) + x48*x55*(3.09892740383799*sin(x139 - x132) - 6.10275544819312*cos(x139 - x132))) + x300 + x342 - x356 = 0 } } Constraint e133 { Definition: { -(19.5490059482647*x49*x49 - 4.78194338179036*x49*x46*cos(x130 - x133) - 5.67697984672154*x49*x50*cos(x134 - x133) - 9.09008271975275*x49*x51* cos(x135 - x133)) + x301 + x343 - x357 = 0 } } Constraint e134 { Definition: { -(5.67697984672154*x50*x50 - 5.67697984672154*x50*x49*cos(x133 - x134)) + x302 + x344 - x358 = 0 } } Constraint e135 { Definition: { -(-1.79797907152361*x51*x46*cos(x130 - x135) - 9.09008271975275*x51*x49* cos(x133 - x135) + 24.2825063752679*x51*x51 + x51*x52*(3.90204955244743* sin(x136 - x135) - 10.3653941270609*cos(x136 - x135)) + x51*x56*( 1.42400548701993*sin(x140 - x135) - 3.0290504569306*cos(x140 - x135))) + x303 + x345 - x359 = 0 } } Constraint e136 { Definition: { -(x52*x51*(3.90204955244743*sin(x135 - x136) - 10.3653941270609*cos(x135 - x136)) + 14.7683378765214*x52*x52 + x52*x53*(1.8808847537004*sin(x137 - x136) - 4.40294374946052*cos(x137 - x136))) + x304 + x346 - x360 = 0 } } Constraint e137 { Definition: { -(x53*x48*(1.95502856317726*sin(x132 - x137) - 4.09407434424044*cos(x132 - x137)) + x53*x52*(1.8808847537004*sin(x136 - x137) - 4.40294374946052 *cos(x136 - x137)) + 8.49701809370096*x53*x53) + x305 + x347 - x361 = 0 } } Constraint e138 { Definition: { -(x54*x48*(1.52596744045097*sin(x132 - x138) - 3.1759639650294*cos(x132 - x138)) + 5.42793859120161*x54*x54 + x54*x55*(2.48902458682192*sin( x139 - x138) - 2.25197462617221*cos(x139 - x138))) + x306 + x348 - x362 = 0 } } Constraint e139 { Definition: { -(x55*x48*(3.09892740383799*sin(x132 - x139) - 6.10275544819312*cos(x132 - x139)) + x55*x54*(2.48902458682192*sin(x138 - x139) - 2.25197462617221*cos(x138 - x139)) + 10.6696935494707*x55*x55 + x55*x56* (1.13699415780633*sin(x140 - x139) - 2.31496347510535*cos(x140 - x139))) + x307 + x349 - x363 = 0 } } Constraint e140 { Definition: { -(x56*x51*(1.42400548701993*sin(x135 - x140) - 3.0290504569306*cos(x135 - x140)) + x56*x55*(1.13699415780633*sin(x139 - x140) - 2.31496347510535*cos(x139 - x140)) + 5.34401393203596*x56*x56) + x308 + x350 - x364 = 0 } } Constraint e141 { Definition: { -(34.6837567286939*x57*x57 + x57*x58*(9.99826320159607*sin(x142 - x141) - 30.5261730463591*cos(x142 - x141)) + x57*x61*(1.02589745497019*sin( x145 - x141) - 4.23498368233483*cos(x145 - x141))) + x309 + x337 - x351 = 0 } } Constraint e142 { Definition: { -(x58*x57*(9.99826320159607*sin(x141 - x142) - 30.5261730463591*cos(x141 - x142)) + 45.5074019219586*x58*x58 + x58*x59*(1.1350191923074*sin(x143 - x142) - 4.78186315175772*cos(x143 - x142)) + x58*x60*( 1.68603315061494*sin(x144 - x142) - 5.11583832587208*cos(x144 - x142)) + x58*x61*(1.70113966709441*sin(x145 - x142) - 5.19392739796971*cos( x145 - x142))) + x310 + x338 - x352 = 0 } } Constraint e143 { Definition: { -(x59*x58*(1.1350191923074*sin(x142 - x143) - 4.78186315175772*cos(x142 - x143)) + 9.81148012935164*x59*x59 + x59*x60*(1.98597570992556*sin( x144 - x143) - 5.06881697759392*cos(x144 - x143))) + x311 + x339 - x353 = 0 } } Constraint e144 { Definition: { -(x60*x58*(1.68603315061494*sin(x142 - x144) - 5.11583832587208*cos(x142 - x144)) + x60*x59*(1.98597570992556*sin(x143 - x144) - 5.06881697759392*cos(x143 - x144)) + 38.3007317384716*x60*x60 + x60*x61* (6.84098066149567*sin(x145 - x144) - 21.5785539816916*cos(x145 - x144)) - 4.78194338179036*x60*x63*cos(x147 - x144) - 1.79797907152361*x60*x65* cos(x149 - x144)) + x312 + x340 - x354 = 0 } } Constraint e145 { Definition: { -(x61*x57*(1.02589745497019*sin(x141 - x145) - 4.23498368233483*cos(x141 - x145)) + x61*x58*(1.70113966709441*sin(x142 - x145) - 5.19392739796971*cos(x142 - x145)) + x61*x60*(6.84098066149567*sin(x144 - x145) - 21.5785539816916*cos(x144 - x145)) + 34.9274041144523*x61*x61 - 3.96793905245615*x61*x62*cos(x146 - x145)) + x313 + x341 - x355 = 0 } } Constraint e146 { Definition: { -(11.237977361726*x62*x62 - 3.96793905245615*x62*x61*cos(x145 - x146) + x62*x67*(1.95502856317726*sin(x151 - x146) - 4.09407434424044*cos(x151 - x146)) + x62*x68*(1.52596744045097*sin(x152 - x146) - 3.1759639650294 *cos(x152 - x146))) + x314 + x342 - x356 = 0 } } Constraint e147 { Definition: { -(19.5490059482647*x63*x63 - 4.78194338179036*x63*x60*cos(x144 - x147) - 5.67697984672154*x63*x64*cos(x148 - x147) - 9.09008271975275*x63*x65* cos(x149 - x147)) + x315 + x343 - x357 = 0 } } Constraint e148 { Definition: { -(5.67697984672154*x64*x64 - 5.67697984672154*x64*x63*cos(x147 - x148)) + x316 + x344 - x358 = 0 } } Constraint e149 { Definition: { -(-1.79797907152361*x65*x60*cos(x144 - x149) - 9.09008271975275*x65*x63* cos(x147 - x149) + 24.2825063752679*x65*x65 + x65*x66*(3.90204955244743* sin(x150 - x149) - 10.3653941270609*cos(x150 - x149)) + x65*x70*( 1.42400548701993*sin(x154 - x149) - 3.0290504569306*cos(x154 - x149))) + x317 + x345 - x359 = 0 } } Constraint e150 { Definition: { -(x66*x65*(3.90204955244743*sin(x149 - x150) - 10.3653941270609*cos(x149 - x150)) + 14.7683378765214*x66*x66 + x66*x67*(1.8808847537004*sin(x151 - x150) - 4.40294374946052*cos(x151 - x150))) + x318 + x346 - x360 = 0 } } Constraint e151 { Definition: { -(x67*x62*(1.95502856317726*sin(x146 - x151) - 4.09407434424044*cos(x146 - x151)) + x67*x66*(1.8808847537004*sin(x150 - x151) - 4.40294374946052 *cos(x150 - x151)) + 8.49701809370096*x67*x67) + x319 + x347 - x361 = 0 } } Constraint e152 { Definition: { -(x68*x62*(1.52596744045097*sin(x146 - x152) - 3.1759639650294*cos(x146 - x152)) + 5.42793859120161*x68*x68 + x68*x69*(2.48902458682192*sin( x153 - x152) - 2.25197462617221*cos(x153 - x152))) + x320 + x348 - x362 = 0 } } Constraint e153 { Definition: { -(x69*x68*(2.48902458682192*sin(x152 - x153) - 2.25197462617221*cos(x152 - x153)) + 4.56693810127756*x69*x69 + x69*x70*(1.13699415780633*sin( x154 - x153) - 2.31496347510535*cos(x154 - x153))) + x321 + x349 - x363 = 0 } } Constraint e154 { Definition: { -(x70*x65*(1.42400548701993*sin(x149 - x154) - 3.0290504569306*cos(x149 - x154)) + x70*x69*(1.13699415780633*sin(x153 - x154) - 2.31496347510535*cos(x153 - x154)) + 5.34401393203596*x70*x70) + x322 + x350 - x364 = 0 } } Constraint e155 { Definition: { -(34.6837567286939*x71*x71 + x71*x72*(9.99826320159607*sin(x156 - x155) - 30.5261730463591*cos(x156 - x155)) + x71*x75*(1.02589745497019*sin( x159 - x155) - 4.23498368233483*cos(x159 - x155))) + x323 + x337 - x351 = 0 } } Constraint e156 { Definition: { -(x72*x71*(9.99826320159607*sin(x155 - x156) - 30.5261730463591*cos(x155 - x156)) + 45.5074019219586*x72*x72 + x72*x73*(1.1350191923074*sin(x157 - x156) - 4.78186315175772*cos(x157 - x156)) + x72*x74*( 1.68603315061494*sin(x158 - x156) - 5.11583832587208*cos(x158 - x156)) + x72*x75*(1.70113966709441*sin(x159 - x156) - 5.19392739796971*cos( x159 - x156))) + x324 + x338 - x352 = 0 } } Constraint e157 { Definition: { -(x73*x72*(1.1350191923074*sin(x156 - x157) - 4.78186315175772*cos(x156 - x157)) + 9.81148012935164*x73*x73 + x73*x74*(1.98597570992556*sin( x158 - x157) - 5.06881697759392*cos(x158 - x157))) + x325 + x339 - x353 = 0 } } Constraint e158 { Definition: { -(x74*x72*(1.68603315061494*sin(x156 - x158) - 5.11583832587208*cos(x156 - x158)) + x74*x73*(1.98597570992556*sin(x157 - x158) - 5.06881697759392*cos(x157 - x158)) + 38.3007317384716*x74*x74 + x74*x75* (6.84098066149567*sin(x159 - x158) - 21.5785539816916*cos(x159 - x158)) - 4.78194338179036*x74*x77*cos(x161 - x158) - 1.79797907152361*x74*x79* cos(x163 - x158)) + x326 + x340 - x354 = 0 } } Constraint e159 { Definition: { -(x75*x71*(1.02589745497019*sin(x155 - x159) - 4.23498368233483*cos(x155 - x159)) + x75*x72*(1.70113966709441*sin(x156 - x159) - 5.19392739796971*cos(x156 - x159)) + x75*x74*(6.84098066149567*sin(x158 - x159) - 21.5785539816916*cos(x158 - x159)) + 34.9274041144523*x75*x75 - 3.96793905245615*x75*x76*cos(x160 - x159)) + x327 + x341 - x355 = 0 } } Constraint e160 { Definition: { -(17.3407328099191*x76*x76 - 3.96793905245615*x76*x75*cos(x159 - x160) + x76*x81*(1.95502856317726*sin(x165 - x160) - 4.09407434424044*cos( x165 - x160)) + x76*x82*(1.52596744045097*sin(x166 - x160) - 3.1759639650294*cos(x166 - x160)) + x76*x83*(3.09892740383799*sin(x167 - x160) - 6.10275544819312*cos(x167 - x160))) + x328 + x342 - x356 = 0 } } Constraint e161 { Definition: { -(19.5490059482647*x77*x77 - 4.78194338179036*x77*x74*cos(x158 - x161) - 5.67697984672154*x77*x78*cos(x162 - x161) - 9.09008271975275*x77*x79* cos(x163 - x161)) + x329 + x343 - x357 = 0 } } Constraint e162 { Definition: { -(5.67697984672154*x78*x78 - 5.67697984672154*x78*x77*cos(x161 - x162)) + x330 + x344 - x358 = 0 } } Constraint e163 { Definition: { -(-1.79797907152361*x79*x74*cos(x158 - x163) - 9.09008271975275*x79*x77* cos(x161 - x163) + 21.2534559183373*x79*x79 + x79*x80*(3.90204955244743* sin(x164 - x163) - 10.3653941270609*cos(x164 - x163))) + x331 + x345 - x359 = 0 } } Constraint e164 { Definition: { -(x80*x79*(3.90204955244743*sin(x163 - x164) - 10.3653941270609*cos(x163 - x164)) + 14.7683378765214*x80*x80 + x80*x81*(1.8808847537004*sin(x165 - x164) - 4.40294374946052*cos(x165 - x164))) + x332 + x346 - x360 = 0 } } Constraint e165 { Definition: { -(x81*x76*(1.95502856317726*sin(x160 - x165) - 4.09407434424044*cos(x160 - x165)) + x81*x80*(1.8808847537004*sin(x164 - x165) - 4.40294374946052 *cos(x164 - x165)) + 8.49701809370096*x81*x81) + x333 + x347 - x361 = 0 } } Constraint e166 { Definition: { -(x82*x76*(1.52596744045097*sin(x160 - x166) - 3.1759639650294*cos(x160 - x166)) + 5.42793859120161*x82*x82 + x82*x83*(2.48902458682192*sin( x167 - x166) - 2.25197462617221*cos(x167 - x166))) + x334 + x348 - x362 = 0 } } Constraint e167 { Definition: { -(x83*x76*(3.09892740383799*sin(x160 - x167) - 6.10275544819312*cos(x160 - x167)) + x83*x82*(2.48902458682192*sin(x166 - x167) - 2.25197462617221*cos(x166 - x167)) + 10.6696935494707*x83*x83 + x83*x84* (1.13699415780633*sin(x168 - x167) - 2.31496347510535*cos(x168 - x167))) + x335 + x349 - x363 = 0 } } Constraint e168 { Definition: { -(x84*x83*(1.13699415780633*sin(x167 - x168) - 2.31496347510535*cos(x167 - x168)) + 2.31496347510535*x84*x84) + x336 + x350 - x364 = 0 } } Constraint e169 { Definition: x85 = 0; } Constraint e170 { Definition: x99 = 0; } Constraint e171 { Definition: x113 = 0; } Constraint e172 { Definition: x127 = 0; } Constraint e173 { Definition: x141 = 0; } Constraint e174 { Definition: x155 = 0; } Constraint e175 { Definition: - x169 >= -5; } Constraint e176 { Definition: - x170 >= -0.7; } Constraint e177 { Definition: - x174 >= 0; } Constraint e178 { Definition: - x176 >= 0; } Constraint e179 { Definition: - x183 >= -5; } Constraint e180 { Definition: - x184 >= -0.7; } Constraint e181 { Definition: - x188 >= 0; } Constraint e182 { Definition: - x190 >= 0; } Constraint e183 { Definition: - x197 >= -5; } Constraint e184 { Definition: - x198 >= -0.7; } Constraint e185 { Definition: - x202 >= 0; } Constraint e186 { Definition: - x204 >= 0; } Constraint e187 { Definition: - x211 >= -5; } Constraint e188 { Definition: - x212 >= -0.7; } Constraint e189 { Definition: - x216 >= 0; } Constraint e190 { Definition: - x218 >= 0; } Constraint e191 { Definition: - x225 >= -5; } Constraint e192 { Definition: - x226 >= -0.7; } Constraint e193 { Definition: - x230 >= 0; } Constraint e194 { Definition: - x232 >= 0; } Constraint e195 { Definition: - x239 >= -5; } Constraint e196 { Definition: - x240 >= -0.7; } Constraint e197 { Definition: - x244 >= 0; } Constraint e198 { Definition: - x246 >= 0; } Constraint e199 { Definition: x169 >= 0; } Constraint e200 { Definition: x170 >= 0.3; } Constraint e201 { Definition: x174 >= 0; } Constraint e202 { Definition: x176 >= 0; } Constraint e203 { Definition: x183 >= 0; } Constraint e204 { Definition: x184 >= 0.3; } Constraint e205 { Definition: x188 >= 0; } Constraint e206 { Definition: x190 >= 0; } Constraint e207 { Definition: x197 >= 0; } Constraint e208 { Definition: x198 >= 0.3; } Constraint e209 { Definition: x202 >= 0; } Constraint e210 { Definition: x204 >= 0; } Constraint e211 { Definition: x211 >= 0; } Constraint e212 { Definition: x212 >= 0.3; } Constraint e213 { Definition: x216 >= 0; } Constraint e214 { Definition: x218 >= 0; } Constraint e215 { Definition: x225 >= 0; } Constraint e216 { Definition: x226 >= 0.3; } Constraint e217 { Definition: x230 >= 0; } Constraint e218 { Definition: x232 >= 0; } Constraint e219 { Definition: x239 >= 0; } Constraint e220 { Definition: x240 >= 0.3; } Constraint e221 { Definition: x244 >= 0; } Constraint e222 { Definition: x246 >= 0; } Constraint e223 { Definition: - x253 >= -3; } Constraint e224 { Definition: - x254 >= -0.5; } Constraint e225 { Definition: - x258 >= -0.24; } Constraint e226 { Definition: - x260 >= -0.24; } Constraint e227 { Definition: - x267 >= -3; } Constraint e228 { Definition: - x268 >= -0.5; } Constraint e229 { Definition: - x272 >= -0.24; } Constraint e230 { Definition: - x274 >= -0.24; } Constraint e231 { Definition: - x281 >= -3; } Constraint e232 { Definition: - x282 >= -0.5; } Constraint e233 { Definition: - x286 >= -0.24; } Constraint e234 { Definition: - x288 >= -0.24; } Constraint e235 { Definition: - x295 >= -3; } Constraint e236 { Definition: - x296 >= -0.5; } Constraint e237 { Definition: - x300 >= -0.24; } Constraint e238 { Definition: - x302 >= -0.24; } Constraint e239 { Definition: - x309 >= -3; } Constraint e240 { Definition: - x310 >= -0.5; } Constraint e241 { Definition: - x314 >= -0.24; } Constraint e242 { Definition: - x316 >= -0.24; } Constraint e243 { Definition: - x323 >= -3; } Constraint e244 { Definition: - x324 >= -0.5; } Constraint e245 { Definition: - x328 >= -0.24; } Constraint e246 { Definition: - x330 >= -0.24; } Constraint e247 { Definition: x253 >= -1; } Constraint e248 { Definition: x254 >= -0.4; } Constraint e249 { Definition: x258 >= -0.06; } Constraint e250 { Definition: x260 >= -0.06; } Constraint e251 { Definition: x267 >= -1; } Constraint e252 { Definition: x268 >= -0.4; } Constraint e253 { Definition: x272 >= -0.06; } Constraint e254 { Definition: x274 >= -0.06; } Constraint e255 { Definition: x281 >= -1; } Constraint e256 { Definition: x282 >= -0.4; } Constraint e257 { Definition: x286 >= -0.06; } Constraint e258 { Definition: x288 >= -0.06; } Constraint e259 { Definition: x295 >= -1; } Constraint e260 { Definition: x296 >= -0.4; } Constraint e261 { Definition: x300 >= -0.06; } Constraint e262 { Definition: x302 >= -0.06; } Constraint e263 { Definition: x309 >= -1; } Constraint e264 { Definition: x310 >= -0.4; } Constraint e265 { Definition: x314 >= -0.06; } Constraint e266 { Definition: x316 >= -0.06; } Constraint e267 { Definition: x323 >= -1; } Constraint e268 { Definition: x324 >= -0.4; } Constraint e269 { Definition: x328 >= -0.06; } Constraint e270 { Definition: x330 >= -0.06; } Constraint e271 { Definition: - x367 + 0.266244539346611*x470 = 0; } Constraint e272 { Definition: - x368 + 0.173289768991459*x470 = 0; } Constraint e273 { Definition: - x369 + 0.131954098916527*x470 = 0; } Constraint e274 { Definition: - x371 = 0; } Constraint e275 { Definition: - x373 + 0.0937836278103844*x470 = 0; } Constraint e276 { Definition: - x374 + 0.0832968379137402*x470 = 0; } Constraint e277 { Definition: - x375 + 0.0407086769174398*x470 = 0; } Constraint e278 { Definition: - x376 + 0.10011613323169*x470 = 0; } Constraint e279 { Definition: - x377 + 0.0670623498726457*x470 = 0; } Constraint e280 { Definition: - x378 + 0.0435439669995023*x470 = 0; } Constraint e281 { Definition: - x381 + 0.266244539346611*x471 = 0; } Constraint e282 { Definition: - x382 + 0.173289768991459*x471 = 0; } Constraint e283 { Definition: - x383 + 0.131954098916527*x471 = 0; } Constraint e284 { Definition: - x385 = 0; } Constraint e285 { Definition: - x387 + 0.0937836278103844*x471 = 0; } Constraint e286 { Definition: - x388 + 0.0832968379137402*x471 = 0; } Constraint e287 { Definition: - x389 + 0.0407086769174398*x471 = 0; } Constraint e288 { Definition: - x390 + 0.10011613323169*x471 = 0; } Constraint e289 { Definition: - x391 + 0.0670623498726457*x471 = 0; } Constraint e290 { Definition: - x392 + 0.0435439669995023*x471 = 0; } Constraint e291 { Definition: - x395 + 0.266244539346611*x472 = 0; } Constraint e292 { Definition: - x396 + 0.173289768991459*x472 = 0; } Constraint e293 { Definition: - x397 + 0.131954098916527*x472 = 0; } Constraint e294 { Definition: - x399 = 0; } Constraint e295 { Definition: - x401 + 0.0937836278103844*x472 = 0; } Constraint e296 { Definition: - x402 + 0.0832968379137402*x472 = 0; } Constraint e297 { Definition: - x403 + 0.0407086769174398*x472 = 0; } Constraint e298 { Definition: - x404 + 0.10011613323169*x472 = 0; } Constraint e299 { Definition: - x405 + 0.0670623498726457*x472 = 0; } Constraint e300 { Definition: - x406 + 0.0435439669995023*x472 = 0; } Constraint e301 { Definition: - x409 + 0.266244539346611*x473 = 0; } Constraint e302 { Definition: - x410 + 0.173289768991459*x473 = 0; } Constraint e303 { Definition: - x411 + 0.131954098916527*x473 = 0; } Constraint e304 { Definition: - x413 = 0; } Constraint e305 { Definition: - x415 + 0.0937836278103844*x473 = 0; } Constraint e306 { Definition: - x416 + 0.0832968379137402*x473 = 0; } Constraint e307 { Definition: - x417 + 0.0407086769174398*x473 = 0; } Constraint e308 { Definition: - x418 + 0.10011613323169*x473 = 0; } Constraint e309 { Definition: - x419 + 0.0670623498726457*x473 = 0; } Constraint e310 { Definition: - x420 + 0.0435439669995023*x473 = 0; } Constraint e311 { Definition: - x423 + 0.266244539346611*x474 = 0; } Constraint e312 { Definition: - x424 + 0.173289768991459*x474 = 0; } Constraint e313 { Definition: - x425 + 0.131954098916527*x474 = 0; } Constraint e314 { Definition: - x427 = 0; } Constraint e315 { Definition: - x429 + 0.0937836278103844*x474 = 0; } Constraint e316 { Definition: - x430 + 0.0832968379137402*x474 = 0; } Constraint e317 { Definition: - x431 + 0.0407086769174398*x474 = 0; } Constraint e318 { Definition: - x432 + 0.10011613323169*x474 = 0; } Constraint e319 { Definition: - x433 + 0.0670623498726457*x474 = 0; } Constraint e320 { Definition: - x434 + 0.0435439669995023*x474 = 0; } Constraint e321 { Definition: - x437 + 0.266244539346611*x475 = 0; } Constraint e322 { Definition: - x438 + 0.173289768991459*x475 = 0; } Constraint e323 { Definition: - x439 + 0.131954098916527*x475 = 0; } Constraint e324 { Definition: - x441 = 0; } Constraint e325 { Definition: - x443 + 0.0937836278103844*x475 = 0; } Constraint e326 { Definition: - x444 + 0.0832968379137402*x475 = 0; } Constraint e327 { Definition: - x445 + 0.0407086769174398*x475 = 0; } Constraint e328 { Definition: - x446 + 0.10011613323169*x475 = 0; } Constraint e329 { Definition: - x447 + 0.0670623498726457*x475 = 0; } Constraint e330 { Definition: - x448 + 0.0435439669995023*x475 = 0; } Constraint e331 { Definition: x171 - 4.9578947368421*x255 = 0; } Constraint e332 { Definition: x172 - 2.418410041841*x256 = 0; } Constraint e333 { Definition: x173 - 29.7499999999998*x257 = 0; } Constraint e334 { Definition: x175 = 0; } Constraint e335 { Definition: x177 - 1.77710843373494*x261 = 0; } Constraint e336 { Definition: x178 - 5.08620689655173*x262 = 0; } Constraint e337 { Definition: x179 - 2.32758620689655*x263 = 0; } Constraint e338 { Definition: x180 - 22.5624999999998*x264 = 0; } Constraint e339 { Definition: x181 - 4.05172413793104*x265 = 0; } Constraint e340 { Definition: x182 - 2.98*x266 = 0; } Constraint e341 { Definition: x185 - 4.9578947368421*x269 = 0; } Constraint e342 { Definition: x186 - 2.418410041841*x270 = 0; } Constraint e343 { Definition: x187 - 29.7499999999998*x271 = 0; } Constraint e344 { Definition: x189 = 0; } Constraint e345 { Definition: x191 - 1.77710843373494*x275 = 0; } Constraint e346 { Definition: x192 - 5.08620689655173*x276 = 0; } Constraint e347 { Definition: x193 - 2.32758620689655*x277 = 0; } Constraint e348 { Definition: x194 - 22.5624999999998*x278 = 0; } Constraint e349 { Definition: x195 - 4.05172413793104*x279 = 0; } Constraint e350 { Definition: x196 - 2.98*x280 = 0; } Constraint e351 { Definition: x199 - 4.9578947368421*x283 = 0; } Constraint e352 { Definition: x200 - 2.418410041841*x284 = 0; } Constraint e353 { Definition: x201 - 29.7499999999998*x285 = 0; } Constraint e354 { Definition: x203 = 0; } Constraint e355 { Definition: x205 - 1.77710843373494*x289 = 0; } Constraint e356 { Definition: x206 - 5.08620689655173*x290 = 0; } Constraint e357 { Definition: x207 - 2.32758620689655*x291 = 0; } Constraint e358 { Definition: x208 - 22.5624999999998*x292 = 0; } Constraint e359 { Definition: x209 - 4.05172413793104*x293 = 0; } Constraint e360 { Definition: x210 - 2.98*x294 = 0; } Constraint e361 { Definition: x213 - 4.9578947368421*x297 = 0; } Constraint e362 { Definition: x214 - 2.418410041841*x298 = 0; } Constraint e363 { Definition: x215 - 29.7499999999998*x299 = 0; } Constraint e364 { Definition: x217 = 0; } Constraint e365 { Definition: x219 - 1.77710843373494*x303 = 0; } Constraint e366 { Definition: x220 - 5.08620689655173*x304 = 0; } Constraint e367 { Definition: x221 - 2.32758620689655*x305 = 0; } Constraint e368 { Definition: x222 - 22.5624999999998*x306 = 0; } Constraint e369 { Definition: x223 - 4.05172413793104*x307 = 0; } Constraint e370 { Definition: x224 - 2.98*x308 = 0; } Constraint e371 { Definition: x227 - 4.9578947368421*x311 = 0; } Constraint e372 { Definition: x228 - 2.418410041841*x312 = 0; } Constraint e373 { Definition: x229 - 29.7499999999998*x313 = 0; } Constraint e374 { Definition: x231 = 0; } Constraint e375 { Definition: x233 - 1.77710843373494*x317 = 0; } Constraint e376 { Definition: x234 - 5.08620689655173*x318 = 0; } Constraint e377 { Definition: x235 - 2.32758620689655*x319 = 0; } Constraint e378 { Definition: x236 - 22.5624999999998*x320 = 0; } Constraint e379 { Definition: x237 - 4.05172413793104*x321 = 0; } Constraint e380 { Definition: x238 - 2.98*x322 = 0; } Constraint e381 { Definition: x241 - 4.9578947368421*x325 = 0; } Constraint e382 { Definition: x242 - 2.418410041841*x326 = 0; } Constraint e383 { Definition: x243 - 29.7499999999998*x327 = 0; } Constraint e384 { Definition: x245 = 0; } Constraint e385 { Definition: x247 - 1.77710843373494*x331 = 0; } Constraint e386 { Definition: x248 - 5.08620689655173*x332 = 0; } Constraint e387 { Definition: x249 - 2.32758620689655*x333 = 0; } Constraint e388 { Definition: x250 - 22.5624999999998*x334 = 0; } Constraint e389 { Definition: x251 - 4.05172413793104*x335 = 0; } Constraint e390 { Definition: x252 - 2.98*x336 = 0; } Constraint e391 { Definition: -sqrt(1e-8 + sqr(x169) + sqr(x253)) + x365 = -0.0001; } Constraint e392 { Definition: -sqrt(1e-8 + sqr(x170) + sqr(x254)) + x366 = -0.0001; } Constraint e393 { Definition: -sqrt(1e-8 + sqr(x171) + sqr(x255)) + x367 = -0.0001; } Constraint e394 { Definition: -sqrt(1e-8 + sqr(x172) + sqr(x256)) + x368 = -0.0001; } Constraint e395 { Definition: -sqrt(1e-8 + sqr(x173) + sqr(x257)) + x369 = -0.0001; } Constraint e396 { Definition: -sqrt(1e-8 + sqr(x174) + sqr(x258)) + x370 = -0.0001; } Constraint e397 { Definition: -sqrt(1e-8 + sqr(x175) + sqr(x259)) + x371 = -0.0001; } Constraint e398 { Definition: -sqrt(1e-8 + sqr(x176) + sqr(x260)) + x372 = -0.0001; } Constraint e399 { Definition: -sqrt(1e-8 + sqr(x177) + sqr(x261)) + x373 = -0.0001; } Constraint e400 { Definition: -sqrt(1e-8 + sqr(x178) + sqr(x262)) + x374 = -0.0001; } Constraint e401 { Definition: -sqrt(1e-8 + sqr(x179) + sqr(x263)) + x375 = -0.0001; } Constraint e402 { Definition: -sqrt(1e-8 + sqr(x180) + sqr(x264)) + x376 = -0.0001; } Constraint e403 { Definition: -sqrt(1e-8 + sqr(x181) + sqr(x265)) + x377 = -0.0001; } Constraint e404 { Definition: -sqrt(1e-8 + sqr(x182) + sqr(x266)) + x378 = -0.0001; } Constraint e405 { Definition: -sqrt(1e-8 + sqr(x183) + sqr(x267)) + x379 = -0.0001; } Constraint e406 { Definition: -sqrt(1e-8 + sqr(x184) + sqr(x268)) + x380 = -0.0001; } Constraint e407 { Definition: -sqrt(1e-8 + sqr(x185) + sqr(x269)) + x381 = -0.0001; } Constraint e408 { Definition: -sqrt(1e-8 + sqr(x186) + sqr(x270)) + x382 = -0.0001; } Constraint e409 { Definition: -sqrt(1e-8 + sqr(x187) + sqr(x271)) + x383 = -0.0001; } Constraint e410 { Definition: -sqrt(1e-8 + sqr(x188) + sqr(x272)) + x384 = -0.0001; } Constraint e411 { Definition: -sqrt(1e-8 + sqr(x189) + sqr(x273)) + x385 = -0.0001; } Constraint e412 { Definition: -sqrt(1e-8 + sqr(x190) + sqr(x274)) + x386 = -0.0001; } Constraint e413 { Definition: -sqrt(1e-8 + sqr(x191) + sqr(x275)) + x387 = -0.0001; } Constraint e414 { Definition: -sqrt(1e-8 + sqr(x192) + sqr(x276)) + x388 = -0.0001; } Constraint e415 { Definition: -sqrt(1e-8 + sqr(x193) + sqr(x277)) + x389 = -0.0001; } Constraint e416 { Definition: -sqrt(1e-8 + sqr(x194) + sqr(x278)) + x390 = -0.0001; } Constraint e417 { Definition: -sqrt(1e-8 + sqr(x195) + sqr(x279)) + x391 = -0.0001; } Constraint e418 { Definition: -sqrt(1e-8 + sqr(x196) + sqr(x280)) + x392 = -0.0001; } Constraint e419 { Definition: -sqrt(1e-8 + sqr(x197) + sqr(x281)) + x393 = -0.0001; } Constraint e420 { Definition: -sqrt(1e-8 + sqr(x198) + sqr(x282)) + x394 = -0.0001; } Constraint e421 { Definition: -sqrt(1e-8 + sqr(x199) + sqr(x283)) + x395 = -0.0001; } Constraint e422 { Definition: -sqrt(1e-8 + sqr(x200) + sqr(x284)) + x396 = -0.0001; } Constraint e423 { Definition: -sqrt(1e-8 + sqr(x201) + sqr(x285)) + x397 = -0.0001; } Constraint e424 { Definition: -sqrt(1e-8 + sqr(x202) + sqr(x286)) + x398 = -0.0001; } Constraint e425 { Definition: -sqrt(1e-8 + sqr(x203) + sqr(x287)) + x399 = -0.0001; } Constraint e426 { Definition: -sqrt(1e-8 + sqr(x204) + sqr(x288)) + x400 = -0.0001; } Constraint e427 { Definition: -sqrt(1e-8 + sqr(x205) + sqr(x289)) + x401 = -0.0001; } Constraint e428 { Definition: -sqrt(1e-8 + sqr(x206) + sqr(x290)) + x402 = -0.0001; } Constraint e429 { Definition: -sqrt(1e-8 + sqr(x207) + sqr(x291)) + x403 = -0.0001; } Constraint e430 { Definition: -sqrt(1e-8 + sqr(x208) + sqr(x292)) + x404 = -0.0001; } Constraint e431 { Definition: -sqrt(1e-8 + sqr(x209) + sqr(x293)) + x405 = -0.0001; } Constraint e432 { Definition: -sqrt(1e-8 + sqr(x210) + sqr(x294)) + x406 = -0.0001; } Constraint e433 { Definition: -sqrt(1e-8 + sqr(x211) + sqr(x295)) + x407 = -0.0001; } Constraint e434 { Definition: -sqrt(1e-8 + sqr(x212) + sqr(x296)) + x408 = -0.0001; } Constraint e435 { Definition: -sqrt(1e-8 + sqr(x213) + sqr(x297)) + x409 = -0.0001; } Constraint e436 { Definition: -sqrt(1e-8 + sqr(x214) + sqr(x298)) + x410 = -0.0001; } Constraint e437 { Definition: -sqrt(1e-8 + sqr(x215) + sqr(x299)) + x411 = -0.0001; } Constraint e438 { Definition: -sqrt(1e-8 + sqr(x216) + sqr(x300)) + x412 = -0.0001; } Constraint e439 { Definition: -sqrt(1e-8 + sqr(x217) + sqr(x301)) + x413 = -0.0001; } Constraint e440 { Definition: -sqrt(1e-8 + sqr(x218) + sqr(x302)) + x414 = -0.0001; } Constraint e441 { Definition: -sqrt(1e-8 + sqr(x219) + sqr(x303)) + x415 = -0.0001; } Constraint e442 { Definition: -sqrt(1e-8 + sqr(x220) + sqr(x304)) + x416 = -0.0001; } Constraint e443 { Definition: -sqrt(1e-8 + sqr(x221) + sqr(x305)) + x417 = -0.0001; } Constraint e444 { Definition: -sqrt(1e-8 + sqr(x222) + sqr(x306)) + x418 = -0.0001; } Constraint e445 { Definition: -sqrt(1e-8 + sqr(x223) + sqr(x307)) + x419 = -0.0001; } Constraint e446 { Definition: -sqrt(1e-8 + sqr(x224) + sqr(x308)) + x420 = -0.0001; } Constraint e447 { Definition: -sqrt(1e-8 + sqr(x225) + sqr(x309)) + x421 = -0.0001; } Constraint e448 { Definition: -sqrt(1e-8 + sqr(x226) + sqr(x310)) + x422 = -0.0001; } Constraint e449 { Definition: -sqrt(1e-8 + sqr(x227) + sqr(x311)) + x423 = -0.0001; } Constraint e450 { Definition: -sqrt(1e-8 + sqr(x228) + sqr(x312)) + x424 = -0.0001; } Constraint e451 { Definition: -sqrt(1e-8 + sqr(x229) + sqr(x313)) + x425 = -0.0001; } Constraint e452 { Definition: -sqrt(1e-8 + sqr(x230) + sqr(x314)) + x426 = -0.0001; } Constraint e453 { Definition: -sqrt(1e-8 + sqr(x231) + sqr(x315)) + x427 = -0.0001; } Constraint e454 { Definition: -sqrt(1e-8 + sqr(x232) + sqr(x316)) + x428 = -0.0001; } Constraint e455 { Definition: -sqrt(1e-8 + sqr(x233) + sqr(x317)) + x429 = -0.0001; } Constraint e456 { Definition: -sqrt(1e-8 + sqr(x234) + sqr(x318)) + x430 = -0.0001; } Constraint e457 { Definition: -sqrt(1e-8 + sqr(x235) + sqr(x319)) + x431 = -0.0001; } Constraint e458 { Definition: -sqrt(1e-8 + sqr(x236) + sqr(x320)) + x432 = -0.0001; } Constraint e459 { Definition: -sqrt(1e-8 + sqr(x237) + sqr(x321)) + x433 = -0.0001; } Constraint e460 { Definition: -sqrt(1e-8 + sqr(x238) + sqr(x322)) + x434 = -0.0001; } Constraint e461 { Definition: -sqrt(1e-8 + sqr(x239) + sqr(x323)) + x435 = -0.0001; } Constraint e462 { Definition: -sqrt(1e-8 + sqr(x240) + sqr(x324)) + x436 = -0.0001; } Constraint e463 { Definition: -sqrt(1e-8 + sqr(x241) + sqr(x325)) + x437 = -0.0001; } Constraint e464 { Definition: -sqrt(1e-8 + sqr(x242) + sqr(x326)) + x438 = -0.0001; } Constraint e465 { Definition: -sqrt(1e-8 + sqr(x243) + sqr(x327)) + x439 = -0.0001; } Constraint e466 { Definition: -sqrt(1e-8 + sqr(x244) + sqr(x328)) + x440 = -0.0001; } Constraint e467 { Definition: -sqrt(1e-8 + sqr(x245) + sqr(x329)) + x441 = -0.0001; } Constraint e468 { Definition: -sqrt(1e-8 + sqr(x246) + sqr(x330)) + x442 = -0.0001; } Constraint e469 { Definition: -sqrt(1e-8 + sqr(x247) + sqr(x331)) + x443 = -0.0001; } Constraint e470 { Definition: -sqrt(1e-8 + sqr(x248) + sqr(x332)) + x444 = -0.0001; } Constraint e471 { Definition: -sqrt(1e-8 + sqr(x249) + sqr(x333)) + x445 = -0.0001; } Constraint e472 { Definition: -sqrt(1e-8 + sqr(x250) + sqr(x334)) + x446 = -0.0001; } Constraint e473 { Definition: -sqrt(1e-8 + sqr(x251) + sqr(x335)) + x447 = -0.0001; } Constraint e474 { Definition: -sqrt(1e-8 + sqr(x252) + sqr(x336)) + x448 = -0.0001; } Constraint e475 { Definition: { - x367 - x368 - x369 - x371 - x373 - x374 - x375 - x376 - x377 - x378 + x470 = 0 } } Constraint e476 { Definition: { - x381 - x382 - x383 - x385 - x387 - x388 - x389 - x390 - x391 - x392 + x471 = 0 } } Constraint e477 { Definition: { - x395 - x396 - x397 - x399 - x401 - x402 - x403 - x404 - x405 - x406 + x472 = 0 } } Constraint e478 { Definition: { - x409 - x410 - x411 - x413 - x415 - x416 - x417 - x418 - x419 - x420 + x473 = 0 } } Constraint e479 { Definition: { - x423 - x424 - x425 - x427 - x429 - x430 - x431 - x432 - x433 - x434 + x474 = 0 } } Constraint e480 { Definition: { - x437 - x438 - x439 - x441 - x443 - x444 - x445 - x446 - x447 - x448 + x475 = 0 } } Constraint e481 { Definition: - x470 + x476 <= 0; } Constraint e482 { Definition: - x471 + x476 <= 0; } Constraint e483 { Definition: - x472 + x476 <= 0; } Constraint e484 { Definition: - x473 + x476 <= 0; } Constraint e485 { Definition: - x474 + x476 <= 0; } Constraint e486 { Definition: - x475 + x476 <= 0; } Constraint e487 { Definition: { - 100*x339 - 100*x340 - 100*x341 - 100*x343 - 100*x345 - 100*x346 - 100*x347 - 100*x348 - 100*x349 - 100*x350 - 100*x353 - 100*x354 - 100*x355 - 100*x357 - 100*x359 - 100*x360 - 100*x361 - 100*x362 - 100*x363 - 100*x364 + objvar - 10*b450 - 10*b451 - 10*b452 - 10*b453 - 10*b454 - 10*b455 - 10*b456 - 10*b457 - 10*b458 - 10*b459 - 10*b460 - 10*b461 - 10*b462 - 10*b463 - 10*b464 - 10*b465 - 10*b466 - 10*b467 - 10*b468 - 10*b469 = 0 } } Constraint e488 { Definition: x339 - 0.75*b450 <= 0; } Constraint e489 { Definition: x340 - 0.75*b451 <= 0; } Constraint e490 { Definition: x341 - 0.75*b452 <= 0; } Constraint e491 { Definition: x343 - 0.75*b453 <= 0; } Constraint e492 { Definition: x345 - 0.75*b454 <= 0; } Constraint e493 { Definition: x346 - 0.75*b455 <= 0; } Constraint e494 { Definition: x347 - 0.75*b456 <= 0; } Constraint e495 { Definition: x348 - 0.75*b457 <= 0; } Constraint e496 { Definition: x349 - 0.75*b458 <= 0; } Constraint e497 { Definition: x350 - 0.75*b459 <= 0; } Constraint e498 { Definition: x353 - 0.75*b460 <= 0; } Constraint e499 { Definition: x354 - 0.75*b461 <= 0; } Constraint e500 { Definition: x355 - 0.75*b462 <= 0; } Constraint e501 { Definition: x357 - 0.75*b463 <= 0; } Constraint e502 { Definition: x359 - 0.75*b464 <= 0; } Constraint e503 { Definition: x360 - 0.75*b465 <= 0; } Constraint e504 { Definition: x361 - 0.75*b466 <= 0; } Constraint e505 { Definition: x362 - 0.75*b467 <= 0; } Constraint e506 { Definition: x363 - 0.75*b468 <= 0; } Constraint e507 { Definition: x364 - 0.75*b469 <= 0; } Constraint e508 { Definition: 0.85*x476 >= 3.60935230932057; } Procedure MainInitialization { Body: { x1.lower := 1.06; x1.upper := 1.06; x2.lower := 0.95; x2.upper := 1.05; x3.lower := 0.95; x3.upper := 1.05; x4.lower := 0.95; x4.upper := 1.05; x5.lower := 0.95; x5.upper := 1.05; x6.lower := 0.95; x6.upper := 1.05; x7.lower := 0.95; x7.upper := 1.05; x8.lower := 0.95; x8.upper := 1.05; x9.lower := 0.95; x9.upper := 1.05; x10.lower := 0.95; x10.upper := 1.05; x11.lower := 0.95; x11.upper := 1.05; x12.lower := 0.95; x12.upper := 1.05; x13.lower := 0.95; x13.upper := 1.05; x14.lower := 0.95; x14.upper := 1.05; x15.lower := 1.06; x15.upper := 1.06; x16.lower := 0.95; x16.upper := 1.05; x17.lower := 0.95; x17.upper := 1.05; x18.lower := 0.95; x18.upper := 1.05; x19.lower := 0.95; x19.upper := 1.05; x20.lower := 0.95; x20.upper := 1.05; x21.lower := 0.95; x21.upper := 1.05; x22.lower := 0.95; x22.upper := 1.05; x23.lower := 0.95; x23.upper := 1.05; x24.lower := 0.95; x24.upper := 1.05; x25.lower := 0.95; x25.upper := 1.05; x26.lower := 0.95; x26.upper := 1.05; x27.lower := 0.95; x27.upper := 1.05; x28.lower := 0.95; x28.upper := 1.05; x29.lower := 1.06; x29.upper := 1.06; x30.lower := 0.95; x30.upper := 1.05; x31.lower := 0.95; x31.upper := 1.05; x32.lower := 0.95; x32.upper := 1.05; x33.lower := 0.95; x33.upper := 1.05; x34.lower := 0.95; x34.upper := 1.05; x35.lower := 0.95; x35.upper := 1.05; x36.lower := 0.95; x36.upper := 1.05; x37.lower := 0.95; x37.upper := 1.05; x38.lower := 0.95; x38.upper := 1.05; x39.lower := 0.95; x39.upper := 1.05; x40.lower := 0.95; x40.upper := 1.05; x41.lower := 0.95; x41.upper := 1.05; x42.lower := 0.95; x42.upper := 1.05; x43.lower := 1.06; x43.upper := 1.06; x44.lower := 0.95; x44.upper := 1.05; x45.lower := 0.95; x45.upper := 1.05; x46.lower := 0.95; x46.upper := 1.05; x47.lower := 0.95; x47.upper := 1.05; x48.lower := 0.95; x48.upper := 1.05; x49.lower := 0.95; x49.upper := 1.05; x50.lower := 0.95; x50.upper := 1.05; x51.lower := 0.95; x51.upper := 1.05; x52.lower := 0.95; x52.upper := 1.05; x53.lower := 0.95; x53.upper := 1.05; x54.lower := 0.95; x54.upper := 1.05; x55.lower := 0.95; x55.upper := 1.05; x56.lower := 0.95; x56.upper := 1.05; x57.lower := 1.06; x57.upper := 1.06; x58.lower := 0.95; x58.upper := 1.05; x59.lower := 0.95; x59.upper := 1.05; x60.lower := 0.95; x60.upper := 1.05; x61.lower := 0.95; x61.upper := 1.05; x62.lower := 0.95; x62.upper := 1.05; x63.lower := 0.95; x63.upper := 1.05; x64.lower := 0.95; x64.upper := 1.05; x65.lower := 0.95; x65.upper := 1.05; x66.lower := 0.95; x66.upper := 1.05; x67.lower := 0.95; x67.upper := 1.05; x68.lower := 0.95; x68.upper := 1.05; x69.lower := 0.95; x69.upper := 1.05; x70.lower := 0.95; x70.upper := 1.05; x71.lower := 1.06; x71.upper := 1.06; x72.lower := 0.95; x72.upper := 1.05; x73.lower := 0.95; x73.upper := 1.05; x74.lower := 0.95; x74.upper := 1.05; x75.lower := 0.95; x75.upper := 1.05; x76.lower := 0.95; x76.upper := 1.05; x77.lower := 0.95; x77.upper := 1.05; x78.lower := 0.95; x78.upper := 1.05; x79.lower := 0.95; x79.upper := 1.05; x80.lower := 0.95; x80.upper := 1.05; x81.lower := 0.95; x81.upper := 1.05; x82.lower := 0.95; x82.upper := 1.05; x83.lower := 0.95; x83.upper := 1.05; x84.lower := 0.95; x84.upper := 1.05; x337.lower := 0; x337.upper := 0; x338.lower := 0; x338.upper := 0; x342.lower := 0; x342.upper := 0; x344.lower := 0; x344.upper := 0; x351.lower := 0; x351.upper := 0; x352.lower := 0; x352.upper := 0; x356.lower := 0; x356.upper := 0; x358.lower := 0; x358.upper := 0; x2.l := 1.036605; x3.l := 0.967758; x4.l := 0.979347; x5.l := 0.986086; x6.l := 1.014063; x7.l := 1.009737; x9.l := 1.006778; x10.l := 0.995889; x11.l := 0.996847; x12.l := 0.971053; x13.l := 0.99092; x14.l := 0.986834; x16.l := 1.015027; x18.l := 0.963902; x19.l := 0.970898; x20.l := 1.001034; x21.l := 0.996002; x22.l := 1.036778; x23.l := 0.993505; x24.l := 0.982947; x25.l := 0.984067; x26.l := 0.958786; x27.l := 0.97837; x28.l := 0.974265; x30.l := 1.024847; x34.l := 0.988717; x35.l := 0.986004; x36.l := 1.027162; x37.l := 0.985277; x38.l := 0.975271; x39.l := 0.975156; x41.l := 0.968879; x42.l := 0.966784; x44.l := 1.03988; x45.l := 0.959106; x46.l := 0.955132; x47.l := 0.964938; x48.l := 0.988408; x49.l := 0.989128; x50.l := 1.030166; x51.l := 0.986453; x52.l := 0.976034; x53.l := 0.975047; x55.l := 0.968578; x56.l := 0.967535; x58.l := 1.040545; x59.l := 0.984004; x60.l := 0.993806; x61.l := 1.001381; x62.l := 1.034943; x63.l := 1.017379; x65.l := 1.015387; x66.l := 1.008229; x67.l := 1.01419; x68.l := 0.973746; x70.l := 0.974049; x72.l := 1.031224; x73.l := 0.975677; x74.l := 0.987197; x75.l := 0.99069; x76.l := 1.007545; x77.l := 1.017538; x79.l := 1.017359; x80.l := 1.005468; x81.l := 1.000309; x82.l := 0.966208; x83.l := 0.977665; x169.l := 4.295512; x170.l := 0.3; x171.l := -1.144414; x172.l := -0.702199; x173.l := -0.578281; x177.l := -0.358389; x178.l := -0.358389; x179.l := -0.164008; x180.l := -0.438571; x181.l := -0.285496; x182.l := -0.181017; x183.l := 4.258266; x184.l := 0.3; x185.l := -1.118099; x186.l := -0.686052; x187.l := -0.564984; x191.l := -0.350148; x192.l := -0.350148; x193.l := -0.160237; x194.l := -0.428486; x195.l := -0.278931; x196.l := -0.176854; x197.l := 3.614092; x198.l := 0.7; x199.l := -1.046667; x200.l := -0.642222; x201.l := -0.528889; x205.l := -0.327778; x206.l := -0.327778; x207.l := -0.15; x208.l := -0.401111; x209.l := -0.261111; x210.l := -0.165556; x211.l := 3.960316; x212.l := 0.3; x213.l := -1.046667; x214.l := -0.642222; x215.l := -0.528889; x219.l := -0.327778; x220.l := -0.327778; x221.l := -0.15; x222.l := -0.401111; x223.l := -0.261111; x224.l := -0.165556; x225.l := 3.627272; x226.l := 0.560943; x227.l := -1.046667; x228.l := -0.642222; x229.l := -0.528889; x233.l := -0.327778; x234.l := -0.327778; x235.l := -0.15; x236.l := -0.401111; x237.l := -0.261111; x238.l := -0.165556; x239.l := 3.882269; x240.l := 0.3; x241.l := -1.046667; x242.l := -0.642222; x243.l := -0.528889; x247.l := -0.327778; x248.l := -0.327778; x249.l := -0.15; x250.l := -0.401111; x251.l := -0.261111; x252.l := -0.165556; x253.l := 0.078084; x254.l := 0.5; x255.l := -0.230827; x256.l := -0.290356; x257.l := -0.019438; x258.l := 0.24; x260.l := 0.24; x261.l := -0.20167; x262.l := -0.070463; x263.l := -0.070463; x264.l := -0.019438; x265.l := -0.070463; x266.l := -0.060744; x267.l := 0.326997; x268.l := 0.5; x269.l := -0.225519; x270.l := -0.283679; x271.l := -0.018991; x272.l := 0.24; x274.l := 0.24; x275.l := -0.197032; x276.l := -0.068843; x277.l := -0.068843; x278.l := -0.018991; x279.l := -0.068843; x280.l := -0.059347; x281.l := 0.186841; x282.l := 0.5; x283.l := -0.211111; x284.l := -0.265556; x285.l := -0.017778; x286.l := 0.24; x288.l := 0.24; x289.l := -0.184444; x290.l := -0.064444; x291.l := -0.064444; x292.l := -0.017778; x293.l := -0.064444; x294.l := -0.055556; x295.l := 0.210194; x296.l := 0.5; x297.l := -0.211111; x298.l := -0.265556; x299.l := -0.017778; x300.l := 0.161438; x302.l := 0.24; x303.l := -0.184444; x304.l := -0.064444; x305.l := -0.064444; x306.l := -0.017778; x307.l := -0.064444; x308.l := -0.055556; x309.l := 0.001121; x310.l := 0.265153; x311.l := -0.211111; x312.l := -0.265556; x313.l := -0.017778; x314.l := 0.24; x316.l := 0.19445; x317.l := -0.184444; x318.l := -0.064444; x319.l := -0.064444; x320.l := -0.017778; x321.l := -0.064444; x322.l := -0.055556; x323.l := 0.32103; x324.l := 0.019577; x325.l := -0.211111; x326.l := -0.265556; x327.l := -0.017778; x328.l := 0.186972; x330.l := 0.193498; x331.l := -0.184444; x332.l := -0.064444; x333.l := -0.064444; x334.l := -0.017778; x335.l := -0.064444; x336.l := -0.055556; } } MathematicalProgram deb6 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve deb6; } } Procedure MainTermination { Body: { return 1; } } }