## ams_version=1.0 Model Main_o7_2 { Variable b1 { Range: binary; } Variable b2 { Range: binary; } Variable b3 { Range: binary; } Variable b4 { Range: binary; } Variable b5 { Range: binary; } Variable b6 { Range: binary; } Variable b7 { Range: binary; } Variable b8 { Range: binary; } Variable b9 { Range: binary; } Variable b10 { Range: binary; } Variable b11 { Range: binary; } Variable b12 { Range: binary; } Variable b13 { Range: binary; } Variable b14 { Range: binary; } Variable b15 { Range: binary; } Variable b16 { Range: binary; } Variable b17 { Range: binary; } Variable b18 { Range: binary; } Variable b19 { Range: binary; } Variable b20 { Range: binary; } Variable b21 { Range: binary; } Variable b22 { Range: binary; } Variable b23 { Range: binary; } Variable b24 { Range: binary; } Variable b25 { Range: binary; } Variable b26 { Range: binary; } Variable b27 { Range: binary; } Variable b28 { Range: binary; } Variable b29 { Range: binary; } Variable b30 { Range: binary; } Variable b31 { Range: binary; } Variable b32 { Range: binary; } Variable b33 { Range: binary; } Variable b34 { Range: binary; } Variable b35 { Range: binary; } Variable b36 { Range: binary; } Variable b37 { Range: binary; } Variable b38 { Range: binary; } Variable b39 { Range: binary; } Variable b40 { Range: binary; } Variable b41 { Range: binary; } Variable b42 { Range: binary; } Variable objvar; 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; Constraint e1 { Definition: { objvar - 5*x48 - 5*x49 - x54 - x55 - 3*x58 - 3*x59 - x64 - x65 - 2*x66 - 2*x67 - x72 - x73 - 4*x74 - 4*x75 - 4*x76 - 4*x77 - 2*x82 - 2*x83 - x84 - x85 = 0 } } Constraint e2 { Definition: x102 - x103 <= 0; } Constraint e3 { Definition: 0.5*x86 - x93 + x102 <= 0; } Constraint e4 { Definition: 0.5*x86 - x102 <= 0; } Constraint e5 { Definition: 0.5*x94 - x101 + x109 <= 0; } Constraint e6 { Definition: 0.5*x94 - x109 <= 0; } Constraint e7 { Definition: 0.5*x87 - x93 + x103 <= 0; } Constraint e8 { Definition: 0.5*x87 - x103 <= 0; } Constraint e9 { Definition: 0.5*x95 - x101 + x110 <= 0; } Constraint e10 { Definition: 0.5*x95 - x110 <= 0; } Constraint e11 { Definition: 0.5*x88 - x93 + x104 <= 0; } Constraint e12 { Definition: 0.5*x88 - x104 <= 0; } Constraint e13 { Definition: 0.5*x96 - x101 + x111 <= 0; } Constraint e14 { Definition: 0.5*x96 - x111 <= 0; } Constraint e15 { Definition: 0.5*x89 - x93 + x105 <= 0; } Constraint e16 { Definition: 0.5*x89 - x105 <= 0; } Constraint e17 { Definition: 0.5*x97 - x101 + x112 <= 0; } Constraint e18 { Definition: 0.5*x97 - x112 <= 0; } Constraint e19 { Definition: 0.5*x90 - x93 + x106 <= 0; } Constraint e20 { Definition: 0.5*x90 - x106 <= 0; } Constraint e21 { Definition: 0.5*x98 - x101 + x113 <= 0; } Constraint e22 { Definition: 0.5*x98 - x113 <= 0; } Constraint e23 { Definition: 0.5*x91 - x93 + x107 <= 0; } Constraint e24 { Definition: 0.5*x91 - x107 <= 0; } Constraint e25 { Definition: 0.5*x99 - x101 + x114 <= 0; } Constraint e26 { Definition: 0.5*x99 - x114 <= 0; } Constraint e27 { Definition: 0.5*x92 - x93 + x108 <= 0; } Constraint e28 { Definition: 0.5*x92 - x108 <= 0; } Constraint e29 { Definition: 0.5*x100 - x101 + x115 <= 0; } Constraint e30 { Definition: 0.5*x100 - x115 <= 0; } Constraint e31 { Definition: - x44 + x102 - x103 <= 0; } Constraint e32 { Definition: - x44 - x102 + x103 <= 0; } Constraint e33 { Definition: - x45 + x109 - x110 <= 0; } Constraint e34 { Definition: - x45 - x109 + x110 <= 0; } Constraint e35 { Definition: - 8.54*b1 - 8.54*b2 + 0.5*x86 + 0.5*x87 - x102 + x103 <= 0; } Constraint e36 { Definition: - 8.54*b1 + 8.54*b2 + 0.5*x86 + 0.5*x87 + x102 - x103 <= 8.54; } Constraint e37 { Definition: 13*b1 - 13*b2 + 0.5*x94 + 0.5*x95 - x109 + x110 <= 13; } Constraint e38 { Definition: 13*b1 + 13*b2 + 0.5*x94 + 0.5*x95 + x109 - x110 <= 26; } Constraint e39 { Definition: - x46 + x102 - x104 <= 0; } Constraint e40 { Definition: - x46 - x102 + x104 <= 0; } Constraint e41 { Definition: - x47 + x109 - x111 <= 0; } Constraint e42 { Definition: - x47 - x109 + x111 <= 0; } Constraint e43 { Definition: - 8.54*b3 - 8.54*b4 + 0.5*x86 + 0.5*x88 - x102 + x104 <= 0; } Constraint e44 { Definition: - 8.54*b3 + 8.54*b4 + 0.5*x86 + 0.5*x88 + x102 - x104 <= 8.54; } Constraint e45 { Definition: 13*b3 - 13*b4 + 0.5*x94 + 0.5*x96 - x109 + x111 <= 13; } Constraint e46 { Definition: 13*b3 + 13*b4 + 0.5*x94 + 0.5*x96 + x109 - x111 <= 26; } Constraint e47 { Definition: - x48 + x102 - x105 <= 0; } Constraint e48 { Definition: - x48 - x102 + x105 <= 0; } Constraint e49 { Definition: - x49 + x109 - x112 <= 0; } Constraint e50 { Definition: - x49 - x109 + x112 <= 0; } Constraint e51 { Definition: - 8.54*b5 - 8.54*b6 + 0.5*x86 + 0.5*x89 - x102 + x105 <= 0; } Constraint e52 { Definition: - 8.54*b5 + 8.54*b6 + 0.5*x86 + 0.5*x89 + x102 - x105 <= 8.54; } Constraint e53 { Definition: 13*b5 - 13*b6 + 0.5*x94 + 0.5*x97 - x109 + x112 <= 13; } Constraint e54 { Definition: 13*b5 + 13*b6 + 0.5*x94 + 0.5*x97 + x109 - x112 <= 26; } Constraint e55 { Definition: - x50 + x102 - x106 <= 0; } Constraint e56 { Definition: - x50 - x102 + x106 <= 0; } Constraint e57 { Definition: - x51 + x109 - x113 <= 0; } Constraint e58 { Definition: - x51 - x109 + x113 <= 0; } Constraint e59 { Definition: - 8.54*b7 - 8.54*b8 + 0.5*x86 + 0.5*x90 - x102 + x106 <= 0; } Constraint e60 { Definition: - 8.54*b7 + 8.54*b8 + 0.5*x86 + 0.5*x90 + x102 - x106 <= 8.54; } Constraint e61 { Definition: 13*b7 - 13*b8 + 0.5*x94 + 0.5*x98 - x109 + x113 <= 13; } Constraint e62 { Definition: 13*b7 + 13*b8 + 0.5*x94 + 0.5*x98 + x109 - x113 <= 26; } Constraint e63 { Definition: - x52 + x102 - x107 <= 0; } Constraint e64 { Definition: - x52 - x102 + x107 <= 0; } Constraint e65 { Definition: - x53 + x109 - x114 <= 0; } Constraint e66 { Definition: - x53 - x109 + x114 <= 0; } Constraint e67 { Definition: - 8.54*b9 - 8.54*b10 + 0.5*x86 + 0.5*x91 - x102 + x107 <= 0; } Constraint e68 { Definition: - 8.54*b9 + 8.54*b10 + 0.5*x86 + 0.5*x91 + x102 - x107 <= 8.54; } Constraint e69 { Definition: 13*b9 - 13*b10 + 0.5*x94 + 0.5*x99 - x109 + x114 <= 13; } Constraint e70 { Definition: 13*b9 + 13*b10 + 0.5*x94 + 0.5*x99 + x109 - x114 <= 26; } Constraint e71 { Definition: - x54 + x102 - x108 <= 0; } Constraint e72 { Definition: - x54 - x102 + x108 <= 0; } Constraint e73 { Definition: - x55 + x109 - x115 <= 0; } Constraint e74 { Definition: - x55 - x109 + x115 <= 0; } Constraint e75 { Definition: - 8.54*b11 - 8.54*b12 + 0.5*x86 + 0.5*x92 - x102 + x108 <= 0; } Constraint e76 { Definition: - 8.54*b11 + 8.54*b12 + 0.5*x86 + 0.5*x92 + x102 - x108 <= 8.54; } Constraint e77 { Definition: 13*b11 - 13*b12 + 0.5*x94 + 0.5*x100 - x109 + x115 <= 13; } Constraint e78 { Definition: 13*b11 + 13*b12 + 0.5*x94 + 0.5*x100 + x109 - x115 <= 26; } Constraint e79 { Definition: - x56 + x103 - x104 <= 0; } Constraint e80 { Definition: - x56 - x103 + x104 <= 0; } Constraint e81 { Definition: - x57 + x110 - x111 <= 0; } Constraint e82 { Definition: - x57 - x110 + x111 <= 0; } Constraint e83 { Definition: - 8.54*b13 - 8.54*b14 + 0.5*x87 + 0.5*x88 - x103 + x104 <= 0; } Constraint e84 { Definition: - 8.54*b13 + 8.54*b14 + 0.5*x87 + 0.5*x88 + x103 - x104 <= 8.54; } Constraint e85 { Definition: 13*b13 - 13*b14 + 0.5*x95 + 0.5*x96 - x110 + x111 <= 13; } Constraint e86 { Definition: 13*b13 + 13*b14 + 0.5*x95 + 0.5*x96 + x110 - x111 <= 26; } Constraint e87 { Definition: - x58 + x103 - x105 <= 0; } Constraint e88 { Definition: - x58 - x103 + x105 <= 0; } Constraint e89 { Definition: - x59 + x110 - x112 <= 0; } Constraint e90 { Definition: - x59 - x110 + x112 <= 0; } Constraint e91 { Definition: - 8.54*b15 - 8.54*b16 + 0.5*x87 + 0.5*x89 - x103 + x105 <= 0; } Constraint e92 { Definition: - 8.54*b15 + 8.54*b16 + 0.5*x87 + 0.5*x89 + x103 - x105 <= 8.54; } Constraint e93 { Definition: 13*b15 - 13*b16 + 0.5*x95 + 0.5*x97 - x110 + x112 <= 13; } Constraint e94 { Definition: 13*b15 + 13*b16 + 0.5*x95 + 0.5*x97 + x110 - x112 <= 26; } Constraint e95 { Definition: - x60 + x103 - x106 <= 0; } Constraint e96 { Definition: - x60 - x103 + x106 <= 0; } Constraint e97 { Definition: - x61 + x110 - x113 <= 0; } Constraint e98 { Definition: - x61 - x110 + x113 <= 0; } Constraint e99 { Definition: - 8.54*b17 - 8.54*b18 + 0.5*x87 + 0.5*x90 - x103 + x106 <= 0; } Constraint e100 { Definition: - 8.54*b17 + 8.54*b18 + 0.5*x87 + 0.5*x90 + x103 - x106 <= 8.54; } Constraint e101 { Definition: 13*b17 - 13*b18 + 0.5*x95 + 0.5*x98 - x110 + x113 <= 13; } Constraint e102 { Definition: 13*b17 + 13*b18 + 0.5*x95 + 0.5*x98 + x110 - x113 <= 26; } Constraint e103 { Definition: - x62 + x103 - x107 <= 0; } Constraint e104 { Definition: - x62 - x103 + x107 <= 0; } Constraint e105 { Definition: - x63 + x110 - x114 <= 0; } Constraint e106 { Definition: - x63 - x110 + x114 <= 0; } Constraint e107 { Definition: - 8.54*b19 - 8.54*b20 + 0.5*x87 + 0.5*x91 - x103 + x107 <= 0; } Constraint e108 { Definition: - 8.54*b19 + 8.54*b20 + 0.5*x87 + 0.5*x91 + x103 - x107 <= 8.54; } Constraint e109 { Definition: 13*b19 - 13*b20 + 0.5*x95 + 0.5*x99 - x110 + x114 <= 13; } Constraint e110 { Definition: 13*b19 + 13*b20 + 0.5*x95 + 0.5*x99 + x110 - x114 <= 26; } Constraint e111 { Definition: - x64 + x103 - x108 <= 0; } Constraint e112 { Definition: - x64 - x103 + x108 <= 0; } Constraint e113 { Definition: - x65 + x110 - x115 <= 0; } Constraint e114 { Definition: - x65 - x110 + x115 <= 0; } Constraint e115 { Definition: - 8.54*b21 - 8.54*b22 + 0.5*x87 + 0.5*x92 - x103 + x108 <= 0; } Constraint e116 { Definition: - 8.54*b21 + 8.54*b22 + 0.5*x87 + 0.5*x92 + x103 - x108 <= 8.54; } Constraint e117 { Definition: 13*b21 - 13*b22 + 0.5*x95 + 0.5*x100 - x110 + x115 <= 13; } Constraint e118 { Definition: 13*b21 + 13*b22 + 0.5*x95 + 0.5*x100 + x110 - x115 <= 26; } Constraint e119 { Definition: - x66 + x104 - x105 <= 0; } Constraint e120 { Definition: - x66 - x104 + x105 <= 0; } Constraint e121 { Definition: - x67 + x111 - x112 <= 0; } Constraint e122 { Definition: - x67 - x111 + x112 <= 0; } Constraint e123 { Definition: - 8.54*b23 - 8.54*b24 + 0.5*x88 + 0.5*x89 - x104 + x105 <= 0; } Constraint e124 { Definition: - 8.54*b23 + 8.54*b24 + 0.5*x88 + 0.5*x89 + x104 - x105 <= 8.54; } Constraint e125 { Definition: 13*b23 - 13*b24 + 0.5*x96 + 0.5*x97 - x111 + x112 <= 13; } Constraint e126 { Definition: 13*b23 + 13*b24 + 0.5*x96 + 0.5*x97 + x111 - x112 <= 26; } Constraint e127 { Definition: - x68 + x104 - x106 <= 0; } Constraint e128 { Definition: - x68 - x104 + x106 <= 0; } Constraint e129 { Definition: - x69 + x111 - x113 <= 0; } Constraint e130 { Definition: - x69 - x111 + x113 <= 0; } Constraint e131 { Definition: - 8.54*b25 - 8.54*b26 + 0.5*x88 + 0.5*x90 - x104 + x106 <= 0; } Constraint e132 { Definition: - 8.54*b25 + 8.54*b26 + 0.5*x88 + 0.5*x90 + x104 - x106 <= 8.54; } Constraint e133 { Definition: 13*b25 - 13*b26 + 0.5*x96 + 0.5*x98 - x111 + x113 <= 13; } Constraint e134 { Definition: 13*b25 + 13*b26 + 0.5*x96 + 0.5*x98 + x111 - x113 <= 26; } Constraint e135 { Definition: - x70 + x104 - x107 <= 0; } Constraint e136 { Definition: - x70 - x104 + x107 <= 0; } Constraint e137 { Definition: - x71 + x111 - x114 <= 0; } Constraint e138 { Definition: - x71 - x111 + x114 <= 0; } Constraint e139 { Definition: - 8.54*b27 - 8.54*b28 + 0.5*x88 + 0.5*x91 - x104 + x107 <= 0; } Constraint e140 { Definition: - 8.54*b27 + 8.54*b28 + 0.5*x88 + 0.5*x91 + x104 - x107 <= 8.54; } Constraint e141 { Definition: 13*b27 - 13*b28 + 0.5*x96 + 0.5*x99 - x111 + x114 <= 13; } Constraint e142 { Definition: 13*b27 + 13*b28 + 0.5*x96 + 0.5*x99 + x111 - x114 <= 26; } Constraint e143 { Definition: - x72 + x104 - x108 <= 0; } Constraint e144 { Definition: - x72 - x104 + x108 <= 0; } Constraint e145 { Definition: - x73 + x111 - x115 <= 0; } Constraint e146 { Definition: - x73 - x111 + x115 <= 0; } Constraint e147 { Definition: - 8.54*b29 - 8.54*b30 + 0.5*x88 + 0.5*x92 - x104 + x108 <= 0; } Constraint e148 { Definition: - 8.54*b29 + 8.54*b30 + 0.5*x88 + 0.5*x92 + x104 - x108 <= 8.54; } Constraint e149 { Definition: 13*b29 - 13*b30 + 0.5*x96 + 0.5*x100 - x111 + x115 <= 13; } Constraint e150 { Definition: 13*b29 + 13*b30 + 0.5*x96 + 0.5*x100 + x111 - x115 <= 26; } Constraint e151 { Definition: - x74 + x105 - x106 <= 0; } Constraint e152 { Definition: - x74 - x105 + x106 <= 0; } Constraint e153 { Definition: - x75 + x112 - x113 <= 0; } Constraint e154 { Definition: - x75 - x112 + x113 <= 0; } Constraint e155 { Definition: - 8.54*b31 - 8.54*b32 + 0.5*x89 + 0.5*x90 - x105 + x106 <= 0; } Constraint e156 { Definition: - 8.54*b31 + 8.54*b32 + 0.5*x89 + 0.5*x90 + x105 - x106 <= 8.54; } Constraint e157 { Definition: 13*b31 - 13*b32 + 0.5*x97 + 0.5*x98 - x112 + x113 <= 13; } Constraint e158 { Definition: 13*b31 + 13*b32 + 0.5*x97 + 0.5*x98 + x112 - x113 <= 26; } Constraint e159 { Definition: - x76 + x105 - x107 <= 0; } Constraint e160 { Definition: - x76 - x105 + x107 <= 0; } Constraint e161 { Definition: - x77 + x112 - x114 <= 0; } Constraint e162 { Definition: - x77 - x112 + x114 <= 0; } Constraint e163 { Definition: - 8.54*b33 - 8.54*b34 + 0.5*x89 + 0.5*x91 - x105 + x107 <= 0; } Constraint e164 { Definition: - 8.54*b33 + 8.54*b34 + 0.5*x89 + 0.5*x91 + x105 - x107 <= 8.54; } Constraint e165 { Definition: 13*b33 - 13*b34 + 0.5*x97 + 0.5*x99 - x112 + x114 <= 13; } Constraint e166 { Definition: 13*b33 + 13*b34 + 0.5*x97 + 0.5*x99 + x112 - x114 <= 26; } Constraint e167 { Definition: - x78 + x105 - x108 <= 0; } Constraint e168 { Definition: - x78 - x105 + x108 <= 0; } Constraint e169 { Definition: - x79 + x112 - x115 <= 0; } Constraint e170 { Definition: - x79 - x112 + x115 <= 0; } Constraint e171 { Definition: - 8.54*b35 - 8.54*b36 + 0.5*x89 + 0.5*x92 - x105 + x108 <= 0; } Constraint e172 { Definition: - 8.54*b35 + 8.54*b36 + 0.5*x89 + 0.5*x92 + x105 - x108 <= 8.54; } Constraint e173 { Definition: 13*b35 - 13*b36 + 0.5*x97 + 0.5*x100 - x112 + x115 <= 13; } Constraint e174 { Definition: 13*b35 + 13*b36 + 0.5*x97 + 0.5*x100 + x112 - x115 <= 26; } Constraint e175 { Definition: - x80 + x106 - x107 <= 0; } Constraint e176 { Definition: - x80 - x106 + x107 <= 0; } Constraint e177 { Definition: - x81 + x113 - x114 <= 0; } Constraint e178 { Definition: - x81 - x113 + x114 <= 0; } Constraint e179 { Definition: - 8.54*b37 - 8.54*b38 + 0.5*x90 + 0.5*x91 - x106 + x107 <= 0; } Constraint e180 { Definition: - 8.54*b37 + 8.54*b38 + 0.5*x90 + 0.5*x91 + x106 - x107 <= 8.54; } Constraint e181 { Definition: 13*b37 - 13*b38 + 0.5*x98 + 0.5*x99 - x113 + x114 <= 13; } Constraint e182 { Definition: 13*b37 + 13*b38 + 0.5*x98 + 0.5*x99 + x113 - x114 <= 26; } Constraint e183 { Definition: - x82 + x106 - x108 <= 0; } Constraint e184 { Definition: - x82 - x106 + x108 <= 0; } Constraint e185 { Definition: - x83 + x113 - x115 <= 0; } Constraint e186 { Definition: - x83 - x113 + x115 <= 0; } Constraint e187 { Definition: - 8.54*b39 - 8.54*b40 + 0.5*x90 + 0.5*x92 - x106 + x108 <= 0; } Constraint e188 { Definition: - 8.54*b39 + 8.54*b40 + 0.5*x90 + 0.5*x92 + x106 - x108 <= 8.54; } Constraint e189 { Definition: 13*b39 - 13*b40 + 0.5*x98 + 0.5*x100 - x113 + x115 <= 13; } Constraint e190 { Definition: 13*b39 + 13*b40 + 0.5*x98 + 0.5*x100 + x113 - x115 <= 26; } Constraint e191 { Definition: - x84 + x107 - x108 <= 0; } Constraint e192 { Definition: - x84 - x107 + x108 <= 0; } Constraint e193 { Definition: - x85 + x114 - x115 <= 0; } Constraint e194 { Definition: - x85 - x114 + x115 <= 0; } Constraint e195 { Definition: - 8.54*b41 - 8.54*b42 + 0.5*x91 + 0.5*x92 - x107 + x108 <= 0; } Constraint e196 { Definition: - 8.54*b41 + 8.54*b42 + 0.5*x91 + 0.5*x92 + x107 - x108 <= 8.54; } Constraint e197 { Definition: 13*b41 - 13*b42 + 0.5*x99 + 0.5*x100 - x114 + x115 <= 13; } Constraint e198 { Definition: 13*b41 + 13*b42 + 0.5*x99 + 0.5*x100 + x114 - x115 <= 26; } Constraint e199 { Definition: 16/x86 - x94 <= 0; } Constraint e200 { Definition: 16/x94 - x86 <= 0; } Constraint e201 { Definition: 16/x87 - x95 <= 0; } Constraint e202 { Definition: 16/x95 - x87 <= 0; } Constraint e203 { Definition: 16/x88 - x96 <= 0; } Constraint e204 { Definition: 16/x96 - x88 <= 0; } Constraint e205 { Definition: 36/x89 - x97 <= 0; } Constraint e206 { Definition: 36/x97 - x89 <= 0; } Constraint e207 { Definition: 9/x90 - x98 <= 0; } Constraint e208 { Definition: 9/x98 - x90 <= 0; } Constraint e209 { Definition: 9/x91 - x99 <= 0; } Constraint e210 { Definition: 9/x99 - x91 <= 0; } Constraint e211 { Definition: 9/x92 - x100 <= 0; } Constraint e212 { Definition: 9/x100 - x92 <= 0; } Procedure MainInitialization { Body: { x86.lower := 1.7889; x86.upper := 8.54; x87.lower := 1.7889; x87.upper := 8.54; x88.lower := 1.7889; x88.upper := 8.54; x89.lower := 2.7692; x89.upper := 8.5399; x90.lower := 1.3416; x90.upper := 6.7082; x91.lower := 1.3416; x91.upper := 6.7082; x92.lower := 1.3416; x92.upper := 6.7082; x93.lower := 8.54; x93.upper := 8.54; x94.lower := 1.8735; x94.upper := 8.944; x95.lower := 1.8735; x95.upper := 8.944; x96.lower := 1.8735; x96.upper := 8.944; x97.lower := 4.2155; x97.upper := 13; x98.lower := 1.3416; x98.upper := 6.7082; x99.lower := 1.3416; x99.upper := 6.7082; x100.lower := 1.3416; x100.upper := 6.7082; x101.lower := 13; x101.upper := 13; } } MathematicalProgram o7_2 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve o7_2; } } Procedure MainTermination { Body: { return 1; } } }