## ams_version=1.0 Model Main_deb10 { Variable x1 { Range: nonnegative; } Variable x2; Variable x3 { Range: nonnegative; } Variable x4; Variable x5 { Range: nonnegative; } Variable x6; Variable x7; Variable x8 { Range: nonnegative; } Variable x9; Variable x10; Variable x11; Variable x12; Variable x13; Variable x14; Variable x15; Variable x16 { Range: nonnegative; } 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 { Range: nonnegative; } Variable x66; Variable x67 { Range: nonnegative; } Variable x68; Variable x69 { Range: nonnegative; } Variable x70; Variable x71; Variable x72 { Range: nonnegative; } Variable x73; Variable x74; Variable x75; Variable x76; Variable x77; Variable x78; Variable x79; Variable x80 { Range: nonnegative; } 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 { Range: nonnegative; } Variable x131; Variable x132 { Range: nonnegative; } Variable x133; Variable x134 { Range: nonnegative; } Variable x135 { Range: nonnegative; } Variable x136; Variable x137 { Range: nonnegative; } Variable x138 { Range: nonnegative; } Variable x139 { Range: nonnegative; } Variable x140 { Range: nonnegative; } Variable x141 { Range: nonnegative; } Variable x142 { Range: nonnegative; } Variable x143 { Range: nonnegative; } Variable x144; Variable x145; Variable x146 { Range: nonnegative; } Variable x147; Variable x148 { Range: nonnegative; } Variable x149; Variable x150 { Range: nonnegative; } Variable x151 { Range: nonnegative; } Variable x152; Variable x153 { Range: nonnegative; } Variable x154 { Range: nonnegative; } Variable x155 { Range: nonnegative; } Variable x156 { Range: nonnegative; } Variable x157 { Range: nonnegative; } Variable x158 { Range: nonnegative; } Variable x159 { Range: nonnegative; } Variable x160; Variable objvar; Variable b162 { Range: binary; } Variable b163 { Range: binary; } Variable b164 { Range: binary; } Variable b165 { Range: binary; } Variable b166 { Range: binary; } Variable b167 { Range: binary; } Variable b168 { Range: binary; } Variable b169 { Range: binary; } Variable b170 { Range: binary; } Variable b171 { Range: binary; } Variable b172 { Range: binary; } Variable b173 { Range: binary; } Variable b174 { Range: binary; } Variable b175 { Range: binary; } Variable b176 { Range: binary; } Variable b177 { Range: binary; } Variable b178 { Range: binary; } Variable b179 { Range: binary; } Variable b180 { Range: binary; } Variable b181 { Range: binary; } Variable b182 { Range: binary; } Variable b183 { Range: binary; } Constraint e1 { Definition: { -(15.8964171454635*x1*x1 + x1*x2*(-2.26704183302539*cos(x34 - x33) - 18.5374266808153*sin(x34 - x33)) + x1*x5*(-13.6293753124381*cos(x37 - x33) - 7.07407023136926*sin(x37 - x33))) + x65 = 0 } } Constraint e2 { Definition: { -(x2*x1*(-2.26704183302539*cos(x33 - x34) - 18.5374266808153*sin(x33 - x34 )) + 3.53430764694598*x2*x2 + x2*x3*(-1.26726581392059*cos(x35 - x34) - 7.28131607739717*sin(x35 - x34))) + x66 = 0 } } Constraint e3 { Definition: { -(x3*x2*(-1.26726581392059*cos(x34 - x35) - 7.28131607739717*sin(x34 - x35 )) + 1.5448109718374*x3*x3 + x3*x4*(-0.27754515791681*cos(x36 - x35) - 1.6615816969355*sin(x36 - x35))) + x67 = 0 } } Constraint e4 { Definition: { -(x4*x3*(-0.27754515791681*cos(x35 - x36) - 1.6615816969355*sin(x35 - x36) ) + 2.29003563010891*x4*x4 + x4*x6*(-0.864296115364742*cos(x38 - x36) - 6.06886185353939*sin(x38 - x36)) + x4*x7*(-0.824884423842853*cos(x39 - x36 ) - 6.35284123437183*sin(x39 - x36)) + x4*x9*(-0.323309932984507*cos(x41 - x36) - 3.06668980551481*sin(x41 - x36)) - 10*x4*x16*sin(x48 - x36)) + x68 = 0 } } Constraint e5 { Definition: { -(x5*x1*(-13.6293753124381*cos(x33 - x37) - 7.07407023136926*sin(x33 - x37 )) + 14.9328222636193*x5*x5 + x5*x6*(-0.556466438117951*cos(x38 - x37) - 3.59715804640533*sin(x38 - x37)) + x5*x7*(-0.746980513063235*cos(x39 - x37 ) - 3.99601522253739*sin(x39 - x37))) + x69 = 0 } } Constraint e6 { Definition: { -(x6*x4*(-0.864296115364742*cos(x36 - x38) - 6.06886185353939*sin(x36 - x38)) + x6*x5*(-0.556466438117951*cos(x37 - x38) - 3.59715804640533*sin( x37 - x38)) + 1.42076255348269*x6*x6) + x70 = 0.28 } } Constraint e7 { Definition: { -(x7*x4*(-0.824884423842853*cos(x36 - x39) - 6.35284123437183*sin(x36 - x39)) + x7*x5*(-0.746980513063235*cos(x37 - x39) - 3.99601522253739*sin( x37 - x39)) + 8.01827911901728*x7*x7 + x7*x8*(-6.44641418211119*cos(x40 - x39) - 56.4061240934729*sin(x40 - x39)) - 20*x7*x15*sin(x47 - x39)) + x71 = 0 } } Constraint e8 { Definition: { -(x8*x7*(-6.44641418211119*cos(x39 - x40) - 56.4061240934729*sin(x39 - x40 )) + 7.92491432585426*x8*x8 + x8*x9*(-1.47850014374307*cos(x41 - x40) - 12.7315290155653*sin(x41 - x40))) + x72 = 0 } } Constraint e9 { Definition: { -(x9*x4*(-0.323309932984507*cos(x36 - x41) - 3.06668980551481*sin(x36 - x41)) + x9*x8*(-1.47850014374307*cos(x40 - x41) - 12.7315290155653*sin(x40 - x41)) + 3.67227520253507*x9*x9 + x9*x10*(-1.53864841883629*cos(x42 - x41) - 12.6331133336033*sin(x42 - x41)) + x9*x11*(-0.331816706971196*cos( x43 - x41) - 2.02240182793204*sin(x43 - x41)) - 6.66666666666667*x9*x14* sin(x46 - x41)) + x73 = 0 } } Constraint e10 { Definition: { -(x10*x9*(-1.53864841883629*cos(x41 - x42) - 12.6331133336033*sin(x41 - x42)) + 1.87592107119826*x10*x10 + x10*x11*(-0.337272652361963*cos(x43 - x42) - 2.74800558799463*sin(x43 - x42)) - 6.66666666666667*x10*x12*sin( x44 - x42)) + x74 = 0 } } Constraint e11 { Definition: { -(x11*x9*(-0.331816706971196*cos(x41 - x43) - 2.02240182793204*sin(x41 - x43)) + x11*x10*(-0.337272652361963*cos(x42 - x43) - 2.74800558799463* sin(x42 - x43)) + 0.669089359333159*x11*x11 - 6.66666666666667*x11*x13* sin(x45 - x43)) + x75 = 0.3 } } Constraint e12 { Definition: 6.66666666666667*x12*x10*sin(x42 - x44) + x76 = 0.56; } Constraint e13 { Definition: 6.66666666666667*x13*x11*sin(x43 - x45) + x77 = 0; } Constraint e14 { Definition: 6.66666666666667*x14*x9*sin(x41 - x46) + x78 = 0.44; } Constraint e15 { Definition: 20*x15*x7*sin(x39 - x47) + x79 = 2.4; } Constraint e16 { Definition: 10*x16*x4*sin(x36 - x48) + x80 = 0; } Constraint e17 { Definition: { -(25.4742969121846*x1*x1 + x1*x2*(2.26704183302539*sin(x34 - x33) - 18.5374266808153*cos(x34 - x33)) + x1*x5*(13.6293753124381*sin(x37 - x33) - 7.07407023136926*cos(x37 - x33))) + x81 + x129 - x145 = 0 } } Constraint e18 { Definition: { -(x2*x1*(2.26704183302539*sin(x33 - x34) - 18.5374266808153*cos(x33 - x34 )) + 25.7248427582125*x2*x2 + x2*x3*(1.26726581392059*sin(x35 - x34) - 7.28131607739717*cos(x35 - x34))) + x82 + x130 - x146 = 0 } } Constraint e19 { Definition: { -(x3*x2*(1.26726581392059*sin(x34 - x35) - 7.28131607739717*cos(x34 - x35 )) + 8.82609777433267*x3*x3 + x3*x4*(0.27754515791681*sin(x36 - x35) - 1.6615816969355*cos(x36 - x35))) + x83 + x131 - x147 = 0 } } Constraint e20 { Definition: { -(x4*x3*(0.27754515791681*sin(x35 - x36) - 1.6615816969355*cos(x35 - x36) ) + 27.0030745903615*x4*x4 + x4*x6*(0.864296115364742*sin(x38 - x36) - 6.06886185353939*cos(x38 - x36)) + x4*x7*(0.824884423842853*sin(x39 - x36 ) - 6.35284123437183*cos(x39 - x36)) + x4*x9*(0.323309932984507*sin(x41 - x36) - 3.06668980551481*cos(x41 - x36)) - 10*x4*x16*cos(x48 - x36)) + x84 + x132 - x148 = 0 } } Constraint e21 { Definition: { -(x5*x1*(13.6293753124381*sin(x33 - x37) - 7.07407023136926*cos(x33 - x37 )) + 14.428443500312*x5*x5 + x5*x6*(0.556466438117951*sin(x38 - x37) - 3.59715804640533*cos(x38 - x37)) + x5*x7*(0.746980513063235*sin(x39 - x37 ) - 3.99601522253739*cos(x39 - x37))) + x85 + x133 - x149 = 0 } } Constraint e22 { Definition: { -(x6*x4*(0.864296115364742*sin(x36 - x38) - 6.06886185353939*cos(x36 - x38)) + x6*x5*(0.556466438117951*sin(x37 - x38) - 3.59715804640533*cos( x37 - x38)) + 9.58501989994471*x6*x6) + x86 + x134 - x150 = 0.08 } } Constraint e23 { Definition: { -(x7*x4*(0.824884423842853*sin(x36 - x39) - 6.35284123437183*cos(x36 - x39)) + x7*x5*(0.746980513063235*sin(x37 - x39) - 3.99601522253739*cos( x37 - x39)) + 86.6293805503822*x7*x7 + x7*x8*(6.44641418211119*sin(x40 - x39) - 56.4061240934729*cos(x40 - x39)) - 20*x7*x15*cos(x47 - x39)) + x87 + x135 - x151 = -0.5 } } Constraint e24 { Definition: { -(x8*x7*(6.44641418211119*sin(x39 - x40) - 56.4061240934729*cos(x39 - x40 )) + 69.1318531090383*x8*x8 + x8*x9*(1.47850014374307*sin(x41 - x40) - 12.7315290155653*cos(x41 - x40))) + x88 + x136 - x152 = 0 } } Constraint e25 { Definition: { -(x9*x4*(0.323309932984507*sin(x36 - x41) - 3.06668980551481*cos(x36 - x41)) + x9*x8*(1.47850014374307*sin(x40 - x41) - 12.7315290155653*cos(x40 - x41)) + 37.0715006492821*x9*x9 + x9*x10*(1.53864841883629*sin(x42 - x41) - 12.6331133336033*cos(x42 - x41)) + x9*x11*(0.331816706971196*sin( x43 - x41) - 2.02240182793204*cos(x43 - x41)) - 6.66666666666667*x9*x14* cos(x46 - x41)) + x89 + x137 - x153 = -0.2 } } Constraint e26 { Definition: { -(x10*x9*(1.53864841883629*sin(x41 - x42) - 12.6331133336033*cos(x41 - x42)) + 22.0194855882646*x10*x10 + x10*x11*(0.337272652361963*sin(x43 - x42) - 2.74800558799463*cos(x43 - x42)) - 6.66666666666667*x10*x12*cos( x44 - x42)) + x90 + x138 - x154 = -0.2 } } Constraint e27 { Definition: { -(x11*x9*(0.331816706971196*sin(x41 - x43) - 2.02240182793204*cos(x41 - x43)) + x11*x10*(0.337272652361963*sin(x42 - x43) - 2.74800558799463*cos( x42 - x43)) + 11.3946740825933*x11*x11 - 6.66666666666667*x11*x13*cos(x45 - x43)) + x91 + x139 - x155 = 0.1 } } Constraint e28 { Definition: { -(6.66666666666667*x12*x12 - 6.66666666666667*x12*x10*cos(x42 - x44)) + x92 + x140 - x156 = -0.08 } } Constraint e29 { Definition: { -(6.66666666666667*x13*x13 - 6.66666666666667*x13*x11*cos(x43 - x45)) + x93 + x141 - x157 = -0.2 } } Constraint e30 { Definition: { -(6.66666666666667*x14*x14 - 6.66666666666667*x14*x9*cos(x41 - x46)) + x94 + x142 - x158 = -0.1 } } Constraint e31 { Definition: -(20*x15*x15 - 20*x15*x7*cos(x39 - x47)) + x95 + x143 - x159 = 0; } Constraint e32 { Definition: -(10*x16*x16 - 10*x16*x4*cos(x36 - x48)) + x96 + x144 - x160 = 0; } Constraint e33 { Definition: x33 = 0; } Constraint e34 { Definition: { 15.8964171454635*x17*x17 + x17*x18*(-2.26704183302539*cos(x50 - x49) - 18.5374266808153*sin(x50 - x49)) + x17*x21*(-13.6293753124381*cos(x53 - x49) - 7.07407023136926*sin(x53 - x49)) - x97 = 0 } } Constraint e35 { Definition: { x18*x17*(-2.26704183302539*cos(x49 - x50) - 18.5374266808153*sin(x49 - x50)) + 3.53430764694598*x18*x18 + x18*x19*(-1.26726581392059*cos(x51 - x50) - 7.28131607739717*sin(x51 - x50)) - x98 = 0 } } Constraint e36 { Definition: { x19*x18*(-1.26726581392059*cos(x50 - x51) - 7.28131607739717*sin(x50 - x51)) + 1.5448109718374*x19*x19 + x19*x20*(-0.27754515791681*cos(x52 - x51) - 1.6615816969355*sin(x52 - x51)) - x99 = 0 } } Constraint e37 { Definition: { x20*x19*(-0.27754515791681*cos(x51 - x52) - 1.6615816969355*sin(x51 - x52 )) + 2.29003563010891*x20*x20 + x20*x22*(-0.864296115364742*cos(x54 - x52 ) - 6.06886185353939*sin(x54 - x52)) + x20*x23*(-0.824884423842853*cos( x55 - x52) - 6.35284123437183*sin(x55 - x52)) + x20*x25*(- 0.323309932984507*cos(x57 - x52) - 3.06668980551481*sin(x57 - x52)) - 10* x20*x32*sin(x64 - x52) - x100 = 0 } } Constraint e38 { Definition: { x21*x17*(-13.6293753124381*cos(x49 - x53) - 7.07407023136926*sin(x49 - x53)) + 14.9328222636193*x21*x21 + x21*x22*(-0.556466438117951*cos(x54 - x53) - 3.59715804640533*sin(x54 - x53)) + x21*x23*(-0.746980513063235* cos(x55 - x53) - 3.99601522253739*sin(x55 - x53)) - x101 = 0 } } Constraint e39 { Definition: { x22*x20*(-0.864296115364742*cos(x52 - x54) - 6.06886185353939*sin(x52 - x54)) + x22*x21*(-0.556466438117951*cos(x53 - x54) - 3.59715804640533* sin(x53 - x54)) + 1.42076255348269*x22*x22 - x102 = 0 } } Constraint e40 { Definition: { x23*x20*(-0.824884423842853*cos(x52 - x55) - 6.35284123437183*sin(x52 - x55)) + x23*x21*(-0.746980513063235*cos(x53 - x55) - 3.99601522253739* sin(x53 - x55)) + 8.01827911901728*x23*x23 + x23*x24*(-6.44641418211119* cos(x56 - x55) - 56.4061240934729*sin(x56 - x55)) - 20*x23*x31*sin(x63 - x55) - x103 = 0 } } Constraint e41 { Definition: { x24*x23*(-6.44641418211119*cos(x55 - x56) - 56.4061240934729*sin(x55 - x56)) + 7.92491432585426*x24*x24 + x24*x25*(-1.47850014374307*cos(x57 - x56) - 12.7315290155653*sin(x57 - x56)) - x104 = 0 } } Constraint e42 { Definition: { x25*x20*(-0.323309932984507*cos(x52 - x57) - 3.06668980551481*sin(x52 - x57)) + x25*x24*(-1.47850014374307*cos(x56 - x57) - 12.7315290155653*sin( x56 - x57)) + 3.67227520253507*x25*x25 + x25*x26*(-1.53864841883629*cos( x58 - x57) - 12.6331133336033*sin(x58 - x57)) + x25*x27*(- 0.331816706971196*cos(x59 - x57) - 2.02240182793204*sin(x59 - x57)) - 6.66666666666667*x25*x30*sin(x62 - x57) - x105 = 0 } } Constraint e43 { Definition: { x26*x25*(-1.53864841883629*cos(x57 - x58) - 12.6331133336033*sin(x57 - x58)) + 1.87592107119826*x26*x26 + x26*x27*(-0.337272652361963*cos(x59 - x58) - 2.74800558799463*sin(x59 - x58)) - 6.66666666666667*x26*x28*sin( x60 - x58) - x106 = 0 } } Constraint e44 { Definition: { x27*x25*(-0.331816706971196*cos(x57 - x59) - 2.02240182793204*sin(x57 - x59)) + x27*x26*(-0.337272652361963*cos(x58 - x59) - 2.74800558799463* sin(x58 - x59)) + 0.669089359333159*x27*x27 - 6.66666666666667*x27*x29* sin(x61 - x59) - x107 = 0 } } Constraint e45 { Definition: -6.66666666666667*x28*x26*sin(x58 - x60) - x108 = 0; } Constraint e46 { Definition: -6.66666666666667*x29*x27*sin(x59 - x61) - x109 = 0; } Constraint e47 { Definition: -6.66666666666667*x30*x25*sin(x57 - x62) - x110 = 0; } Constraint e48 { Definition: -20*x31*x23*sin(x55 - x63) - x111 = 0; } Constraint e49 { Definition: -10*x32*x20*sin(x52 - x64) - x112 = 0; } Constraint e50 { Definition: { 25.4742969121846*x17*x17 + x17*x18*(2.26704183302539*sin(x50 - x49) - 18.5374266808153*cos(x50 - x49)) + x17*x21*(13.6293753124381*sin(x53 - x49) - 7.07407023136926*cos(x53 - x49)) - x113 - x129 + x145 = 0 } } Constraint e51 { Definition: { x18*x17*(2.26704183302539*sin(x49 - x50) - 18.5374266808153*cos(x49 - x50 )) + 25.7248427582125*x18*x18 + x18*x19*(1.26726581392059*sin(x51 - x50) - 7.28131607739717*cos(x51 - x50)) - x114 - x130 + x146 = 0 } } Constraint e52 { Definition: { x19*x18*(1.26726581392059*sin(x50 - x51) - 7.28131607739717*cos(x50 - x51 )) + 8.82609777433267*x19*x19 + x19*x20*(0.27754515791681*sin(x52 - x51) - 1.6615816969355*cos(x52 - x51)) - x115 - x131 + x147 = 0 } } Constraint e53 { Definition: { x20*x19*(0.27754515791681*sin(x51 - x52) - 1.6615816969355*cos(x51 - x52) ) + 27.0030745903615*x20*x20 + x20*x22*(0.864296115364742*sin(x54 - x52) - 6.06886185353939*cos(x54 - x52)) + x20*x23*(0.824884423842853*sin(x55 - x52) - 6.35284123437183*cos(x55 - x52)) + x20*x25*(0.323309932984507* sin(x57 - x52) - 3.06668980551481*cos(x57 - x52)) - 10*x20*x32*cos(x64 - x52) - x116 - x132 + x148 = 0 } } Constraint e54 { Definition: { x21*x17*(13.6293753124381*sin(x49 - x53) - 7.07407023136926*cos(x49 - x53 )) + 14.428443500312*x21*x21 + x21*x22*(0.556466438117951*sin(x54 - x53) - 3.59715804640533*cos(x54 - x53)) + x21*x23*(0.746980513063235*sin(x55 - x53) - 3.99601522253739*cos(x55 - x53)) - x117 - x133 + x149 = 0 } } Constraint e55 { Definition: { x22*x20*(0.864296115364742*sin(x52 - x54) - 6.06886185353939*cos(x52 - x54)) + x22*x21*(0.556466438117951*sin(x53 - x54) - 3.59715804640533*cos( x53 - x54)) + 9.58501989994471*x22*x22 - x118 - x134 + x150 = 0 } } Constraint e56 { Definition: { x23*x20*(0.824884423842853*sin(x52 - x55) - 6.35284123437183*cos(x52 - x55)) + x23*x21*(0.746980513063235*sin(x53 - x55) - 3.99601522253739*cos( x53 - x55)) + 86.6293805503822*x23*x23 + x23*x24*(6.44641418211119*sin( x56 - x55) - 56.4061240934729*cos(x56 - x55)) - 20*x23*x31*cos(x63 - x55) - x119 - x135 + x151 = 0.5 } } Constraint e57 { Definition: { x24*x23*(6.44641418211119*sin(x55 - x56) - 56.4061240934729*cos(x55 - x56 )) + 69.1318531090383*x24*x24 + x24*x25*(1.47850014374307*sin(x57 - x56) - 12.7315290155653*cos(x57 - x56)) - x120 - x136 + x152 = 0 } } Constraint e58 { Definition: { x25*x20*(0.323309932984507*sin(x52 - x57) - 3.06668980551481*cos(x52 - x57)) + x25*x24*(1.47850014374307*sin(x56 - x57) - 12.7315290155653*cos( x56 - x57)) + 37.0715006492821*x25*x25 + x25*x26*(1.53864841883629*sin( x58 - x57) - 12.6331133336033*cos(x58 - x57)) + x25*x27*( 0.331816706971196*sin(x59 - x57) - 2.02240182793204*cos(x59 - x57)) - 6.66666666666667*x25*x30*cos(x62 - x57) - x121 - x137 + x153 = 0.2 } } Constraint e59 { Definition: { x26*x25*(1.53864841883629*sin(x57 - x58) - 12.6331133336033*cos(x57 - x58 )) + 22.0194855882646*x26*x26 + x26*x27*(0.337272652361963*sin(x59 - x58) - 2.74800558799463*cos(x59 - x58)) - 6.66666666666667*x26*x28*cos(x60 - x58) - x122 - x138 + x154 = 0.2 } } Constraint e60 { Definition: { x27*x25*(0.331816706971196*sin(x57 - x59) - 2.02240182793204*cos(x57 - x59)) + x27*x26*(0.337272652361963*sin(x58 - x59) - 2.74800558799463*cos( x58 - x59)) + 11.3946740825933*x27*x27 - 6.66666666666667*x27*x29*cos(x61 - x59) - x123 - x139 + x155 = 0 } } Constraint e61 { Definition: { 6.66666666666667*x28*x28 - 6.66666666666667*x28*x26*cos(x58 - x60) - x124 - x140 + x156 = 0.2 } } Constraint e62 { Definition: { 6.66666666666667*x29*x29 - 6.66666666666667*x29*x27*cos(x59 - x61) - x125 - x141 + x157 = 0.2 } } Constraint e63 { Definition: { 6.66666666666667*x30*x30 - 6.66666666666667*x30*x25*cos(x57 - x62) - x126 - x142 + x158 = 0.2 } } Constraint e64 { Definition: 20*x31*x31 - 20*x31*x23*cos(x55 - x63) - x127 - x143 + x159 = 0.5; } Constraint e65 { Definition: 10*x32*x32 - 10*x32*x20*cos(x52 - x64) - x128 - x144 + x160 = 0; } Constraint e66 { Definition: - x97 >= -4; } Constraint e67 { Definition: - x99 >= -0.8; } Constraint e68 { Definition: - x101 >= -1.2; } Constraint e69 { Definition: - x104 >= -0.24; } Constraint e70 { Definition: - x112 >= -0.5; } Constraint e71 { Definition: x97 >= 0; } Constraint e72 { Definition: x99 >= 0; } Constraint e73 { Definition: x101 >= 0; } Constraint e74 { Definition: x104 >= 0; } Constraint e75 { Definition: x112 >= 0; } Constraint e76 { Definition: - x113 >= -0.6; } Constraint e77 { Definition: - x115 >= -0.2; } Constraint e78 { Definition: - x117 >= -0.6; } Constraint e79 { Definition: - x120 >= -0.13; } Constraint e80 { Definition: - x128 >= -0.24; } Constraint e81 { Definition: x113 >= -0.2; } Constraint e82 { Definition: x115 >= -0.08; } Constraint e83 { Definition: x117 >= -0.3; } Constraint e84 { Definition: x120 >= -0.1; } Constraint e85 { Definition: x128 >= -0.04; } Constraint e86 { Definition: x98 <= 0; } Constraint e87 { Definition: x100 <= 0; } Constraint e88 { Definition: x102 <= -0.329411764705882; } Constraint e89 { Definition: x103 <= 0; } Constraint e90 { Definition: x105 <= 0; } Constraint e91 { Definition: x106 <= 0; } Constraint e92 { Definition: x107 <= -0.352941176470588; } Constraint e93 { Definition: x108 <= -0.658823529411765; } Constraint e94 { Definition: x109 <= 0; } Constraint e95 { Definition: x110 <= -0.517647058823529; } Constraint e96 { Definition: x111 <= -2.82352941176471; } Constraint e97 { Definition: x114 <= 0; } Constraint e98 { Definition: x116 <= 0; } Constraint e99 { Definition: x118 <= -0.0941176470588235; } Constraint e100 { Definition: x119 <= 0; } Constraint e101 { Definition: x121 <= 0; } Constraint e102 { Definition: x122 <= 0; } Constraint e103 { Definition: x123 <= -0.117647058823529; } Constraint e104 { Definition: x124 <= -0.141176470588235; } Constraint e105 { Definition: x125 <= 0; } Constraint e106 { Definition: x126 <= -0.117647058823529; } Constraint e107 { Definition: x127 <= -0.588235294117648; } Constraint e108 { Definition: { - 100*x130 - 100*x132 - 100*x134 - 100*x135 - 100*x137 - 100*x138 - 100*x139 - 100*x140 - 100*x141 - 100*x142 - 100*x143 - 100*x146 - 100*x148 - 100*x150 - 100*x151 - 100*x153 - 100*x154 - 100*x155 - 100*x156 - 100*x157 - 100*x158 - 100*x159 + objvar - 10*b162 - 10*b163 - 10*b164 - 10*b165 - 10*b166 - 10*b167 - 10*b168 - 10*b169 - 10*b170 - 10*b171 - 10*b172 - 10*b173 - 10*b174 - 10*b175 - 10*b176 - 10*b177 - 10*b178 - 10*b179 - 10*b180 - 10*b181 - 10*b182 - 10*b183 = 0 } } Constraint e109 { Definition: x130 - 0.4*b162 <= 0; } Constraint e110 { Definition: x132 - 0.4*b163 <= 0; } Constraint e111 { Definition: x134 - 0.4*b164 <= 0; } Constraint e112 { Definition: x135 - 0.4*b165 <= 0; } Constraint e113 { Definition: x137 - 0.4*b166 <= 0; } Constraint e114 { Definition: x138 - 0.4*b167 <= 0; } Constraint e115 { Definition: x139 - 0.4*b168 <= 0; } Constraint e116 { Definition: x140 - 0.4*b169 <= 0; } Constraint e117 { Definition: x141 - 0.4*b170 <= 0; } Constraint e118 { Definition: x142 - 0.4*b171 <= 0; } Constraint e119 { Definition: x143 - 0.4*b172 <= 0; } Constraint e120 { Definition: x146 - 0.4*b173 <= 0; } Constraint e121 { Definition: x148 - 0.4*b174 <= 0; } Constraint e122 { Definition: x150 - 0.4*b175 <= 0; } Constraint e123 { Definition: x151 - 0.4*b176 <= 0; } Constraint e124 { Definition: x153 - 0.4*b177 <= 0; } Constraint e125 { Definition: x154 - 0.4*b178 <= 0; } Constraint e126 { Definition: x155 - 0.4*b179 <= 0; } Constraint e127 { Definition: x156 - 0.4*b180 <= 0; } Constraint e128 { Definition: x157 - 0.4*b181 <= 0; } Constraint e129 { Definition: x158 - 0.4*b182 <= 0; } Constraint e130 { Definition: x159 - 0.4*b183 <= 0; } Procedure MainInitialization { Body: { x2.lower := 0.9; x2.upper := 1.05; x4.lower := 0.9; x4.upper := 1.05; x6.lower := 0.9; x6.upper := 1.05; x7.lower := 0.9; x7.upper := 1.05; x9.lower := 0.9; x9.upper := 1.05; x10.lower := 0.9; x10.upper := 1.05; x11.lower := 0.9; x11.upper := 1.05; x12.lower := 0.9; x12.upper := 1.05; x13.lower := 0.9; x13.upper := 1.05; x14.lower := 0.9; x14.upper := 1.05; x15.lower := 0.9; x15.upper := 1.05; x17.lower := 1.06; x17.upper := 1.06; x49.lower := 0; x49.upper := 0; x65.upper := 4; x66.lower := 0; x66.upper := 0; x67.upper := 0.8; x68.lower := 0; x68.upper := 0; x69.upper := 1.2; x70.lower := 0; x70.upper := 0; x71.lower := 0; x71.upper := 0; x72.upper := 0.24; x73.lower := 0; x73.upper := 0; x74.lower := 0; x74.upper := 0; x75.lower := 0; x75.upper := 0; x76.lower := 0; x76.upper := 0; x77.lower := 0; x77.upper := 0; x78.lower := 0; x78.upper := 0; x79.lower := 0; x79.upper := 0; x80.upper := 0.5; x81.lower := -0.2; x81.upper := 0.6; x82.lower := 0; x82.upper := 0; x83.lower := -0.08; x83.upper := 0.2; x84.lower := 0; x84.upper := 0; x85.lower := -0.3; x85.upper := 0.6; x86.lower := 0; x86.upper := 0; x87.lower := 0; x87.upper := 0; x88.lower := -0.1; x88.upper := 0.13; x89.lower := 0; x89.upper := 0; x90.lower := 0; x90.upper := 0; x91.lower := 0; x91.upper := 0; x92.lower := 0; x92.upper := 0; x93.lower := 0; x93.upper := 0; x94.lower := 0; x94.upper := 0; x95.lower := 0; x95.upper := 0; x96.lower := -0.04; x96.upper := 0.24; x129.lower := 0; x129.upper := 0; x131.lower := 0; x131.upper := 0; x133.lower := 0; x133.upper := 0; x136.lower := 0; x136.upper := 0; x144.lower := 0; x144.upper := 0; x145.lower := 0; x145.upper := 0; x147.lower := 0; x147.upper := 0; x149.lower := 0; x149.upper := 0; x152.lower := 0; x152.upper := 0; x160.lower := 0; x160.upper := 0; b173.lower := 0; b173.upper := 0; b174.lower := 0; b174.upper := 0; b175.lower := 0; b175.upper := 0; b176.lower := 0; b176.upper := 0; b177.lower := 0; b177.upper := 0; b178.lower := 0; b178.upper := 0; b179.lower := 0; b179.upper := 0; b180.lower := 0; b180.upper := 0; b181.lower := 0; b181.upper := 0; b182.lower := 0; b182.upper := 0; b183.lower := 0; b183.upper := 0; x1.l := 1; x2.l := 1; x3.l := 1; x4.l := 1; x5.l := 1; x6.l := 1; x7.l := 1; x8.l := 1; x9.l := 1; x10.l := 1; x11.l := 1; x12.l := 1; x13.l := 1; x14.l := 1; x15.l := 1; x16.l := 1; x18.l := 1.066509; x19.l := 1.068869; x20.l := 0.920165; x21.l := 0.956102; x22.l := 0.909677; x23.l := 0.89072; x24.l := 0.899717; x25.l := 0.92757; x26.l := 0.942703; x27.l := 0.952092; x28.l := 0.951126; x29.l := 0.982623; x30.l := 0.940819; x31.l := 0.880136; x32.l := 0.944062; } } MathematicalProgram deb10 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve deb10; } } Procedure MainTermination { Body: { return 1; } } }