## ams_version=1.0 Model Main_bchoco08 { Variable x1; Variable x2; Variable x3; Variable x4; Variable x5; Variable x6; Variable x7; Variable x8; Variable x9; Variable x10; Variable x11 { Range: nonnegative; } Variable x12 { Range: nonnegative; } Variable x13 { Range: nonnegative; } Variable x14 { Range: nonnegative; } Variable x15 { Range: nonnegative; } Variable x16 { Range: nonnegative; } Variable x17 { Range: nonnegative; } Variable x18 { Range: nonnegative; } Variable x19 { Range: nonnegative; } 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 { Range: nonnegative; } Variable x41 { Range: nonnegative; } Variable x42 { Range: nonnegative; } Variable x43 { Range: nonnegative; } Variable x44 { Range: nonnegative; } Variable x45 { Range: nonnegative; } Variable x46 { Range: nonnegative; } Variable x47 { Range: nonnegative; } Variable x48 { Range: nonnegative; } 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 { Range: nonnegative; } 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 { Range: nonnegative; } 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 b160 { Range: binary; } Variable b161 { Range: binary; } 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 objvar; Constraint e1 { Definition: - x1 + objvar = 0; } Constraint e2 { Definition: - x11 + 0.001*b160 <= 0; } Constraint e3 { Definition: - x12 + 0.001*b161 <= 0; } Constraint e4 { Definition: - x13 + 0.001*b162 <= 0; } Constraint e5 { Definition: - x14 + 0.001*b163 <= 0; } Constraint e6 { Definition: - x15 + 0.001*b164 <= 0; } Constraint e7 { Definition: - x16 + 0.001*b165 <= 0; } Constraint e8 { Definition: - x17 + 0.001*b166 <= 0; } Constraint e9 { Definition: - x18 + 0.001*b167 <= 0; } Constraint e10 { Definition: - x19 + 0.001*b168 <= 0; } Constraint e11 { Definition: x11 - 10*b160 <= 0; } Constraint e12 { Definition: x12 - 10*b161 <= 0; } Constraint e13 { Definition: x13 - 10*b162 <= 0; } Constraint e14 { Definition: x14 - 10*b163 <= 0; } Constraint e15 { Definition: x15 - 10*b164 <= 0; } Constraint e16 { Definition: x16 - 10*b165 <= 0; } Constraint e17 { Definition: x17 - 10*b166 <= 0; } Constraint e18 { Definition: x18 - 10*b167 <= 0; } Constraint e19 { Definition: x19 - 10*b168 <= 0; } Constraint e20 { Definition: - x40 + 0.001*b160 <= 0; } Constraint e21 { Definition: - x41 + 0.001*b161 <= 0; } Constraint e22 { Definition: - x42 + 0.001*b162 <= 0; } Constraint e23 { Definition: - x43 + 0.001*b163 <= 0; } Constraint e24 { Definition: - x44 + 0.001*b164 <= 0; } Constraint e25 { Definition: - x45 + 0.001*b165 <= 0; } Constraint e26 { Definition: - x46 + 0.001*b166 <= 0; } Constraint e27 { Definition: - x47 + 0.001*b167 <= 0; } Constraint e28 { Definition: - x48 + 0.001*b168 <= 0; } Constraint e29 { Definition: x40 - 10*b160 <= 0; } Constraint e30 { Definition: x41 - 10*b161 <= 0; } Constraint e31 { Definition: x42 - 10*b162 <= 0; } Constraint e32 { Definition: x43 - 10*b163 <= 0; } Constraint e33 { Definition: x44 - 10*b164 <= 0; } Constraint e34 { Definition: x45 - 10*b165 <= 0; } Constraint e35 { Definition: x46 - 10*b166 <= 0; } Constraint e36 { Definition: x47 - 10*b167 <= 0; } Constraint e37 { Definition: x48 - 10*b168 <= 0; } Constraint e38 { Definition: b160 - b161 >= 0; } Constraint e39 { Definition: b161 - b162 >= 0; } Constraint e40 { Definition: b162 - b163 >= 0; } Constraint e41 { Definition: b163 - b164 >= 0; } Constraint e42 { Definition: b164 - b165 >= 0; } Constraint e43 { Definition: b165 - b166 >= 0; } Constraint e44 { Definition: b166 - b167 >= 0; } Constraint e45 { Definition: b167 - b168 >= 0; } Constraint e46 { Definition: - 10000000000*x2 + 10000000000*x11 + x20 = 0; } Constraint e47 { Definition: 2000000000.00001*x1*x2 - 1000000000*x3 + 1000000000*x12 + x21 = 0; } Constraint e48 { Definition: { 200000000*x1*x3 - 100000000*x2 - 100000000*x4 - 100000000*x11 + 100000000*x13 + x22 = 0 } } Constraint e49 { Definition: { 20000000*x1*x4 - 10000000*x3 - 10000000*x5 - 10000000*x12 + 10000000*x14 + x23 = 0 } } Constraint e50 { Definition: { 2000000*x1*x5 - 1000000*x4 - 1000000*x6 - 1000000*x13 + 1000000*x15 + x24 = 0 } } Constraint e51 { Definition: { 200000*x1*x6 - 100000*x5 - 100000*x7 - 100000*x14 + 100000*x16 + x25 = 0 } } Constraint e52 { Definition: 20000*x1*x7 - 10000*x6 - 10000*x8 - 10000*x15 + 10000*x17 + x26 = 0; } Constraint e53 { Definition: 2000*x1*x8 - 1000*x7 - 1000*x9 - 1000*x16 + 1000*x18 + x27 = 0; } Constraint e54 { Definition: 200*x1*x9 - 100*x8 - 100*x10 - 100*x17 + 100*x19 + x28 = 0; } Constraint e55 { Definition: 20*x1*x10 - 10*x9 - 10*x18 + x29 = 0; } Constraint e56 { Definition: - x10 - x19 + x30 = 0; } Constraint e57 { Definition: - x2 + 1E-5*x3 - 1E-10*x4 + x31 = 0; } Constraint e58 { Definition: - x3 + 2E-5*x4 - 3E-10*x5 + x32 = 0; } Constraint e59 { Definition: - x4 + 3E-5*x5 - 6E-10*x6 + x33 = 0; } Constraint e60 { Definition: - x5 + 4E-5*x6 - 1E-9*x7 + x34 = 0; } Constraint e61 { Definition: - x6 + 5E-5*x7 - 1.5E-9*x8 + x35 = 0; } Constraint e62 { Definition: - x7 + 6E-5*x8 - 2.1E-9*x9 + x36 = 0; } Constraint e63 { Definition: - x8 + 7E-5*x9 - 2.8E-9*x10 + x37 = 0; } Constraint e64 { Definition: - x9 + 8E-5*x10 + x38 = 0; } Constraint e65 { Definition: - x10 + x39 = 0; } Constraint e66 { Definition: - x11 + 1E-5*x12 - 1E-10*x13 + x40 = 0; } Constraint e67 { Definition: - x12 + 2E-5*x13 - 3E-10*x14 + x41 = 0; } Constraint e68 { Definition: - x13 + 3E-5*x14 - 6E-10*x15 + x42 = 0; } Constraint e69 { Definition: - x14 + 4E-5*x15 - 1E-9*x16 + x43 = 0; } Constraint e70 { Definition: - x15 + 5E-5*x16 - 1.5E-9*x17 + x44 = 0; } Constraint e71 { Definition: - x16 + 6E-5*x17 - 2.1E-9*x18 + x45 = 0; } Constraint e72 { Definition: - x17 + 7E-5*x18 - 2.8E-9*x19 + x46 = 0; } Constraint e73 { Definition: - x18 + 8E-5*x19 + x47 = 0; } Constraint e74 { Definition: - x19 + x48 = 0; } Constraint e75 { Definition: - x20 + 1E-5*x21 - 1E-10*x22 + x49 = 0; } Constraint e76 { Definition: - x21 + 2E-5*x22 - 3E-10*x23 + x50 = 0; } Constraint e77 { Definition: - x22 + 3E-5*x23 - 6E-10*x24 + x51 = 0; } Constraint e78 { Definition: - x23 + 4E-5*x24 - 1E-9*x25 + x52 = 0; } Constraint e79 { Definition: - x24 + 5E-5*x25 - 1.5E-9*x26 + x53 = 0; } Constraint e80 { Definition: - x25 + 6E-5*x26 - 2.1E-9*x27 + x54 = 0; } Constraint e81 { Definition: - x26 + 7E-5*x27 - 2.8E-9*x28 + x55 = 0; } Constraint e82 { Definition: - x27 + 8E-5*x28 - 3.6E-9*x29 + x56 = 0; } Constraint e83 { Definition: - x28 + 9E-5*x29 - 4.5E-9*x30 + x57 = 0; } Constraint e84 { Definition: - x29 + 0.0001*x30 + x58 = 0; } Constraint e85 { Definition: - x30 + x59 = 0; } Constraint e86 { Definition: - x39 + x60 = 0; } Constraint e87 { Definition: - x37 + x61 = 0; } Constraint e88 { Definition: - x35 + x62 = 0; } Constraint e89 { Definition: - x33 + x63 = 0; } Constraint e90 { Definition: - x31 + x64 = 0; } Constraint e91 { Definition: - x38 + x65 = 0; } Constraint e92 { Definition: - x36 + x66 = 0; } Constraint e93 { Definition: - x34 + x67 = 0; } Constraint e94 { Definition: - x32 + x68 = 0; } Constraint e95 { Definition: x69 = 0; } Constraint e96 { Definition: x60*x66/x65 - x61 + x70 = 0; } Constraint e97 { Definition: x60*x67/x65 - x62 + x71 = 0; } Constraint e98 { Definition: x60*x68/x65 - x63 + x72 = 0; } Constraint e99 { Definition: x60*x69/x65 - x64 + x73 = 0; } Constraint e100 { Definition: x65*x71/x70 - x66 + x75 = 0; } Constraint e101 { Definition: x65*x72/x70 - x67 + x76 = 0; } Constraint e102 { Definition: x65*x73/x70 - x68 + x77 = 0; } Constraint e103 { Definition: x65*x74/x70 - x69 + x78 = 0; } Constraint e104 { Definition: x70*x76/x75 - x71 + x80 = 0; } Constraint e105 { Definition: x70*x77/x75 - x72 + x81 = 0; } Constraint e106 { Definition: x70*x78/x75 - x73 + x82 = 0; } Constraint e107 { Definition: x70*x79/x75 - x74 + x83 = 0; } Constraint e108 { Definition: x75*x81/x80 - x76 + x85 = 0; } Constraint e109 { Definition: x75*x82/x80 - x77 + x86 = 0; } Constraint e110 { Definition: x75*x83/x80 - x78 + x87 = 0; } Constraint e111 { Definition: x75*x84/x80 - x79 + x88 = 0; } Constraint e112 { Definition: x80*x86/x85 - x81 + x90 = 0; } Constraint e113 { Definition: x80*x87/x85 - x82 + x91 = 0; } Constraint e114 { Definition: x80*x88/x85 - x83 + x92 = 0; } Constraint e115 { Definition: x80*x89/x85 - x84 + x93 = 0; } Constraint e116 { Definition: x85*x91/x90 - x86 + x95 = 0; } Constraint e117 { Definition: x85*x92/x90 - x87 + x96 = 0; } Constraint e118 { Definition: x85*x93/x90 - x88 + x97 = 0; } Constraint e119 { Definition: x85*x94/x90 - x89 + x98 = 0; } Constraint e120 { Definition: x74 = 0; } Constraint e121 { Definition: x79 = 0; } Constraint e122 { Definition: x84 = 0; } Constraint e123 { Definition: x89 = 0; } Constraint e124 { Definition: x94 = 0; } Constraint e125 { Definition: x99 = 0; } Constraint e126 { Definition: - x59 + x100 = 0; } Constraint e127 { Definition: - x57 + x101 = 0; } Constraint e128 { Definition: - x55 + x102 = 0; } Constraint e129 { Definition: - x53 + x103 = 0; } Constraint e130 { Definition: - x51 + x104 = 0; } Constraint e131 { Definition: - x49 + x105 = 0; } Constraint e132 { Definition: - x58 + x106 = 0; } Constraint e133 { Definition: - x56 + x107 = 0; } Constraint e134 { Definition: - x54 + x108 = 0; } Constraint e135 { Definition: - x52 + x109 = 0; } Constraint e136 { Definition: - x50 + x110 = 0; } Constraint e137 { Definition: x111 = 0; } Constraint e138 { Definition: x100*x107/x106 - x101 + x112 = 0; } Constraint e139 { Definition: x100*x108/x106 - x102 + x113 = 0; } Constraint e140 { Definition: x100*x109/x106 - x103 + x114 = 0; } Constraint e141 { Definition: x100*x110/x106 - x104 + x115 = 0; } Constraint e142 { Definition: x100*x111/x106 - x105 + x116 = 0; } Constraint e143 { Definition: x106*x113/x112 - x107 + x118 = 0; } Constraint e144 { Definition: x106*x114/x112 - x108 + x119 = 0; } Constraint e145 { Definition: x106*x115/x112 - x109 + x120 = 0; } Constraint e146 { Definition: x106*x116/x112 - x110 + x121 = 0; } Constraint e147 { Definition: x106*x117/x112 - x111 + x122 = 0; } Constraint e148 { Definition: x112*x119/x118 - x113 + x124 = 0; } Constraint e149 { Definition: x112*x120/x118 - x114 + x125 = 0; } Constraint e150 { Definition: x112*x121/x118 - x115 + x126 = 0; } Constraint e151 { Definition: x112*x122/x118 - x116 + x127 = 0; } Constraint e152 { Definition: x112*x123/x118 - x117 + x128 = 0; } Constraint e153 { Definition: x118*x125/x124 - x119 + x130 = 0; } Constraint e154 { Definition: x118*x126/x124 - x120 + x131 = 0; } Constraint e155 { Definition: x118*x127/x124 - x121 + x132 = 0; } Constraint e156 { Definition: x118*x128/x124 - x122 + x133 = 0; } Constraint e157 { Definition: x118*x129/x124 - x123 + x134 = 0; } Constraint e158 { Definition: x124*x131/x130 - x125 + x136 = 0; } Constraint e159 { Definition: x124*x132/x130 - x126 + x137 = 0; } Constraint e160 { Definition: x124*x133/x130 - x127 + x138 = 0; } Constraint e161 { Definition: x124*x134/x130 - x128 + x139 = 0; } Constraint e162 { Definition: x124*x135/x130 - x129 + x140 = 0; } Constraint e163 { Definition: x130*x137/x136 - x131 + x142 = 0; } Constraint e164 { Definition: x130*x138/x136 - x132 + x143 = 0; } Constraint e165 { Definition: x130*x139/x136 - x133 + x144 = 0; } Constraint e166 { Definition: x130*x140/x136 - x134 + x145 = 0; } Constraint e167 { Definition: x130*x141/x136 - x135 + x146 = 0; } Constraint e168 { Definition: x136*x143/x142 - x137 + x148 = 0; } Constraint e169 { Definition: x136*x144/x142 - x138 + x149 = 0; } Constraint e170 { Definition: x136*x145/x142 - x139 + x150 = 0; } Constraint e171 { Definition: x136*x146/x142 - x140 + x151 = 0; } Constraint e172 { Definition: x136*x147/x142 - x141 + x152 = 0; } Constraint e173 { Definition: x142*x149/x148 - x143 + x154 = 0; } Constraint e174 { Definition: x142*x150/x148 - x144 + x155 = 0; } Constraint e175 { Definition: x142*x151/x148 - x145 + x156 = 0; } Constraint e176 { Definition: x142*x152/x148 - x146 + x157 = 0; } Constraint e177 { Definition: x142*x153/x148 - x147 + x158 = 0; } Constraint e178 { Definition: x117 = 0; } Constraint e179 { Definition: x123 = 0; } Constraint e180 { Definition: x129 = 0; } Constraint e181 { Definition: x135 = 0; } Constraint e182 { Definition: x141 = 0; } Constraint e183 { Definition: x147 = 0; } Constraint e184 { Definition: x153 = 0; } Constraint e185 { Definition: x159 = 0; } Constraint e186 { Definition: x46*x47 - x45*x48 - 1E-5*b168 >= 0; } Constraint e187 { Definition: x45*x46*x47 - x45*x45*x48 + x43*x47*x48 - x44*x47*x47 - 1E-5*b167 >= 0; } Constraint e188 { Definition: { x44*x45*x46*x47 - x45**2*x44*x48 - x44**2*x47**2 + 2*x43*x44*x47*x48 + x43*x45*x46*x48 - x43**2*x48**2 - x46**2*x43*x47 + x42*x46*x47**2 - x42* x45*x47*x48 - x41*x46*x47*x48 + x41*x45*x48**2 + (x44*x45 - x43*x46)*(1 - b167) - 1E-5*b166 >= 0 } } Constraint e189 { Definition: { x41*x45*x46**2*x47 - x43**2*x46**2*x47 + 2*x42*x43*x46*x47**2 - x41*x44* x46*x47**2 - x40*x45*x46*x47**2 + x43*x44*x45*x46*x47 - x41*x43*x46*x47* x48 - x45**2*x42*x46*x47 + x43**2*x45*x46*x48 - x45**2*x41*x46*x48 + x40 *x44*x47**3 - x42**2*x47**3 + x42*x44*x45*x47**2 + 2*x41*x42*x47**2*x48 - x40*x43*x47**2*x48 - x44**2*x43*x47**2 - 3*x42*x43*x45*x47*x48 - x41 **2*x47*x48**2 + 2*x43**2*x44*x47*x48 + x45**2*x40*x47*x48 - x43**3*x48 **2 - x43*x44*x45**2*x48 + 2*x41*x43*x45*x48**2 + x45**3*x42*x48 + (x43* x44*x45 - x43**2*x46 - x45**2*x42 + x41*x45*x46)*(1 - b167) - 1E-5*b165 >= 0 } } Constraint e190 { Definition: { x41**3*x48**3 - x40*x42*x45*x46*x47**2 + 2*x41*x42*x45*x46**2*x47 - x40 **2*x46*x47**3 + x44**3*x41*x47**2 - x43**3*x42*x48**2 - x41**2*x46**3* x47 + 2*x40*x42*x44*x47**3 - x44**2*x40*x45*x47**2 + 2*x40*x41*x46**2* x47**2 + x42**2*x44*x45*x47**2 - x42**2*x45**2*x46*x47 - 3*x41**2*x42* x47*x48**2 + x40*x41*x45**2*x48**2 - 2*x41**2*x44*x45*x48**2 + x40**2* x45*x47**2*x48 + 3*x42**2*x41*x47**2*x48 + x41**2*x45*x46**2*x48 - x40* x44*x45**3*x48 + x44**2*x41*x45**2*x48 - 3*x41*x42*x44*x46*x47**2 + x40* x44*x45**2*x46*x47 - x44**2*x41*x45*x46*x47 + x42**2*x45**3*x48 - 2*x40* x41*x44*x47**2*x48 + x40*x42*x45**2*x47*x48 + x41*x42*x44*x45*x47*x48 - 3*x40*x41*x45*x46*x47*x48 + 3*x41**2*x44*x46*x47*x48 - 2*x41*x42*x45**2* x46*x48 - x41**2*x43*x46*x48**2 - x42*x43*x44**2*x47**2 + 2*x42**2*x43* x46*x47**2 + x43**2*x41*x44*x48**2 - x43**2*x40*x45*x48**2 - x43**2*x42* x46**2*x47 + x40*x43*x45**2*x46*x48 - x41*x43*x44*x45*x46*x48 - x40*x43* x45*x46**2*x47 + x42*x43*x44*x45*x46*x47 + x41*x43*x44*x46**2*x47 + 2* x43**2*x42*x44*x47*x48 + x43**2*x42*x45*x46*x48 + 2*x40*x41*x43*x47*x48 **2 + 3*x41*x42*x43*x45*x48**2 - 2*x40*x42*x43*x47**2*x48 + 2*x40*x43* x44*x45*x47*x48 - 3*x42**2*x43*x45*x47*x48 - 2*x41*x43*x44**2*x47*x48 - x41*x42*x43*x46*x47*x48 - x42*x43*x44*x45**2*x48 - x47**3*x42**3 + (x42* x43*x44*x45 - x43**2*x42*x46 - x42**2*x45**2 + 2*x41*x42*x45*x46 + x41* x43*x44*x46 - x41**2*x46**2 - x44**2*x41*x45 + x40*x44*x45**2 - x40*x43* x45*x46)*(1 - b167) + (x42*x43 - x41*x44)*(1 - b165) - 1E-5*b164 >= 0 } } Constraint e191 { Definition: { 4*x41**2*x40*x43*x47*x48**2 - 2*x40*x41*x44*x45**3*x48 - 2*x43**3*x40* x44*x47*x48 - 4*x40**2*x43*x45**2*x47*x48 + 3*x40**2*x43*x45*x46*x47**2 + 4*x40**2*x41*x45*x47**2*x48 + x40**2*x44*x45**2*x47**2 - x42**3*x41* x47**3 + x43**4*x40*x48**2 + x40**2*x48*x45**4 - 2*x40*x42*x43**2*x46* x47**2 - x43**3*x40*x45*x46*x48 + x43**2*x40*x44*x45**2*x48 - x40*x42* x43*x45**3*x48 - 4*x40*x41*x43**2*x45*x48**2 - 2*x40*x41*x44**2*x45*x47 **2 + 3*x40*x41*x42*x44*x47**3 - 3*x41**2*x40*x44*x47**2*x48 + 4*x40*x41 *x43*x44*x45*x47*x48 - x41**3*x43*x46*x48**2 - x41*x42*x43*x44*x45**2* x48 + x41**2*x44**3*x47**2 + 2*x41**2*x42*x45*x46**2*x47 + x41**2*x43* x44*x46**2*x47 - x41**2*x42*x43*x46*x47*x48 - x41**2*x43*x44*x45*x46*x48 - 2*x41**2*x42*x45**2*x46*x48 - 3*x41**2*x42*x44*x46*x47**2 - x41**2* x44**2*x45*x46*x47 + 3*x41**2*x42*x43*x45*x48**2 + x41**2*x42*x44*x45* x47*x48 - 2*x41**2*x43*x44**2*x47*x48 + x42**2*x41*x44*x45*x47**2 - x42 **2*x41*x45**2*x46*x47 + x42**2*x41*x45**3*x48 - x41*x42*x43*x44**2*x47 **2 + 2*x42**2*x41*x43*x46*x47**2 - x41*x42*x43**2*x46**2*x47 + x41*x42* x43*x44*x45*x46*x47 + 2*x41*x42*x43**2*x44*x47*x48 + x41*x42*x43**2*x45* x46*x48 - 3*x42**2*x41*x43*x45*x47*x48 + 2*x41**2*x40*x45**2*x48**2 + x48**3*x41**4 + 3*x41**2*x40*x46**2*x47**2 + x40*x42*x43*x45**2*x46*x47 - x43**2*x40*x44*x45*x46*x47 - 5*x40*x41*x42*x43*x47**2*x48 + 3*x40*x41 *x43*x45**2*x46*x48 + x40*x41*x42*x45**2*x47*x48 + 2*x40*x41*x44*x45**2* x46*x47 - 5*x41**2*x40*x45*x46*x47*x48 - x40*x42*x43*x44*x45*x47**2 + x40*x41*x43*x44*x46*x47**2 + 3*x40*x42*x43**2*x45*x47*x48 + x40*x41*x43 **2*x46*x47*x48 - x40*x41*x42*x45*x46*x47**2 - 3*x40*x41*x43*x45*x46**2* x47 - 2*x40**2*x43*x44*x47**3 - x40**2*x42*x45*x47**3 - 3*x40**2*x41*x46 *x47**3 + 2*x40**2*x43**2*x47**2*x48 - x40**2*x45**3*x46*x47 + x42**2* x40*x43*x47**3 + x43**2*x40*x44**2*x47**2 + x43**3*x40*x46**2*x47 - 2* x41**3*x44*x45*x48**2 + x40**3*x47**4 + 3*x41**3*x44*x46*x47*x48 - 3*x41 **3*x42*x47*x48**2 + x41**2*x43**2*x44*x48**2 + 3*x41**2*x42**2*x47**2* x48 + x41**2*x44**2*x45**2*x48 - x41*x42*x43**3*x48**2 + x41**3*x45*x46 **2*x48 - x41**3*x47*x46**3 + (x43**3*x40*x46 - x41*x42*x43**2*x46 - x43 **2*x40*x44*x45 - 3*x40*x41*x43*x45*x46 + x41**2*x43*x46*x44 + x41*x42* x43*x44*x45 + x40*x42*x43*x45**2 - x41**3*x46**2 + 2*x41**2*x42*x45*x46 - x41**2*x44**2*x45 - x42**2*x41*x45**2 + 2*x40*x41*x44*x45**2 - x40**2 *x45**3)*(1 - b167) + (x41*x42*x43 - x41**2*x44 - x43**2*x40)*(1 - b165) - 1E-5*b163 >= 0 } } Procedure MainInitialization { Body: { x1.lower := 0.95; x1.upper := 1; x2.lower := 0.001; x2.upper := 10; x3.lower := 0.001; x3.upper := 10; x4.lower := 0.001; x4.upper := 10; x5.lower := 0.001; x5.upper := 10; x6.lower := 0.001; x6.upper := 10; x7.lower := 0.001; x7.upper := 10; x8.lower := 0.001; x8.upper := 10; x9.lower := 0.001; x9.upper := 10; x10.lower := 0.001; x10.upper := 10; x20.lower := 0.001; x20.upper := 10; x21.lower := 0.001; x21.upper := 10; x22.lower := 0.001; x22.upper := 10; x23.lower := 0.001; x23.upper := 10; x24.lower := 0.001; x24.upper := 10; x25.lower := 0.001; x25.upper := 10; x26.lower := 0.001; x26.upper := 10; x27.lower := 0.001; x27.upper := 10; x28.lower := 0.001; x28.upper := 10; x29.lower := 0.001; x29.upper := 10; x30.lower := 0.001; x30.upper := 10; x31.lower := 0.001; x31.upper := 10; x32.lower := 0.001; x32.upper := 10; x33.lower := 0.001; x33.upper := 10; x34.lower := 0.001; x34.upper := 10; x35.lower := 0.001; x35.upper := 10; x36.lower := 0.001; x36.upper := 10; x37.lower := 0.001; x37.upper := 10; x38.lower := 0.001; x38.upper := 10; x39.lower := 0.001; x39.upper := 10; x49.lower := 0.001; x49.upper := 10; x50.lower := 0.001; x50.upper := 10; x51.lower := 0.001; x51.upper := 10; x52.lower := 0.001; x52.upper := 10; x53.lower := 0.001; x53.upper := 10; x54.lower := 0.001; x54.upper := 10; x55.lower := 0.001; x55.upper := 10; x56.lower := 0.001; x56.upper := 10; x57.lower := 0.001; x57.upper := 10; x58.lower := 0.001; x58.upper := 10; x59.lower := 0.001; x59.upper := 10; x60.lower := 0.001; x60.upper := 10; x61.lower := 0.001; x61.upper := 10; x62.lower := 0.001; x62.upper := 10; x63.lower := 0.001; x63.upper := 10; x64.lower := 0.001; x64.upper := 10; x65.lower := 0.001; x65.upper := 10; x66.lower := 0.001; x66.upper := 10; x67.lower := 0.001; x67.upper := 10; x68.lower := 0.001; x68.upper := 10; x69.upper := 10; x70.lower := 1E-5; x70.upper := 10; x71.lower := -10; x71.upper := 10; x72.lower := -10; x72.upper := 10; x73.lower := -10; x73.upper := 10; x74.lower := -10; x74.upper := 10; x75.lower := 1E-5; x75.upper := 10; x76.lower := -10; x76.upper := 10; x77.lower := -10; x77.upper := 10; x78.lower := -10; x78.upper := 10; x79.lower := -10; x79.upper := 10; x80.lower := 1E-5; x80.upper := 10; x81.lower := -10; x81.upper := 10; x82.lower := -10; x82.upper := 10; x83.lower := -10; x83.upper := 10; x84.lower := -10; x84.upper := 10; x85.lower := 1E-5; x85.upper := 10; x86.lower := -10; x86.upper := 10; x87.lower := -10; x87.upper := 10; x88.lower := -10; x88.upper := 10; x89.lower := -10; x89.upper := 10; x90.lower := 1E-5; x90.upper := 10; x91.lower := -10; x91.upper := 10; x92.lower := -10; x92.upper := 10; x93.lower := -10; x93.upper := 10; x94.lower := -10; x94.upper := 10; x95.lower := 1E-5; x95.upper := 10; x96.lower := -10; x96.upper := 10; x97.lower := -10; x97.upper := 10; x98.lower := -10; x98.upper := 10; x99.lower := -10; x99.upper := 10; x100.lower := 0.001; x100.upper := 10; x101.lower := 0.001; x101.upper := 10; x102.lower := 0.001; x102.upper := 10; x103.lower := 0.001; x103.upper := 10; x104.lower := 0.001; x104.upper := 10; x105.lower := 0.001; x105.upper := 10; x106.lower := 0.001; x106.upper := 10; x107.lower := 0.001; x107.upper := 10; x108.lower := 0.001; x108.upper := 10; x109.lower := 0.001; x109.upper := 10; x110.lower := 0.001; x110.upper := 10; x111.upper := 10; x112.lower := 1E-5; x112.upper := 10; x113.lower := -10; x113.upper := 10; x114.lower := -10; x114.upper := 10; x115.lower := -10; x115.upper := 10; x116.lower := -10; x116.upper := 10; x117.lower := -10; x117.upper := 10; x118.lower := 1E-5; x118.upper := 10; x119.lower := -10; x119.upper := 10; x120.lower := -10; x120.upper := 10; x121.lower := -10; x121.upper := 10; x122.lower := -10; x122.upper := 10; x123.lower := -10; x123.upper := 10; x124.lower := 1E-5; x124.upper := 10; x125.lower := -10; x125.upper := 10; x126.lower := -10; x126.upper := 10; x127.lower := -10; x127.upper := 10; x128.lower := -10; x128.upper := 10; x129.lower := -10; x129.upper := 10; x130.lower := 1E-5; x130.upper := 10; x131.lower := -10; x131.upper := 10; x132.lower := -10; x132.upper := 10; x133.lower := -10; x133.upper := 10; x134.lower := -10; x134.upper := 10; x135.lower := -10; x135.upper := 10; x136.lower := 1E-5; x136.upper := 10; x137.lower := -10; x137.upper := 10; x138.lower := -10; x138.upper := 10; x139.lower := -10; x139.upper := 10; x140.lower := -10; x140.upper := 10; x141.lower := -10; x141.upper := 10; x142.lower := 1E-5; x142.upper := 10; x143.lower := -10; x143.upper := 10; x144.lower := -10; x144.upper := 10; x145.lower := -10; x145.upper := 10; x146.lower := -10; x146.upper := 10; x147.lower := -10; x147.upper := 10; x148.lower := 1E-5; x148.upper := 10; x149.lower := -10; x149.upper := 10; x150.lower := -10; x150.upper := 10; x151.lower := -10; x151.upper := 10; x152.lower := -10; x152.upper := 10; x153.lower := -10; x153.upper := 10; x154.lower := 1E-5; x154.upper := 10; x155.lower := -10; x155.upper := 10; x156.lower := -10; x156.upper := 10; x157.lower := -10; x157.upper := 10; x158.lower := -10; x158.upper := 10; x159.lower := -10; x159.upper := 10; b160.lower := 1; b160.upper := 1; } } MathematicalProgram bchoco08 { Objective: objvar; Direction: maximize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve bchoco08; } } Procedure MainTermination { Body: { return 1; } } }