## ams_version=1.0 Model Main_fo8 { 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 b43 { Range: binary; } Variable b44 { Range: binary; } Variable b45 { Range: binary; } Variable b46 { Range: binary; } Variable b47 { Range: binary; } Variable b48 { Range: binary; } Variable b49 { Range: binary; } Variable b50 { Range: binary; } Variable b51 { Range: binary; } Variable b52 { Range: binary; } Variable b53 { Range: binary; } Variable b54 { Range: binary; } Variable b55 { Range: binary; } Variable b56 { Range: binary; } Variable objvar; 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; Constraint e1 { Definition: { objvar - x58 - x59 - x72 - x73 - x84 - x85 - x94 - x95 - x102 - x103 - x108 - x109 - x112 - x113 = 0 } } Constraint e2 { Definition: x132 - x133 <= 0; } Constraint e3 { Definition: 0.5*x114 - x122 + x132 <= 0; } Constraint e4 { Definition: 0.5*x114 - x132 <= 0; } Constraint e5 { Definition: 0.5*x123 - x131 + x140 <= 0; } Constraint e6 { Definition: 0.5*x123 - x140 <= 0; } Constraint e7 { Definition: 0.5*x115 - x122 + x133 <= 0; } Constraint e8 { Definition: 0.5*x115 - x133 <= 0; } Constraint e9 { Definition: 0.5*x124 - x131 + x141 <= 0; } Constraint e10 { Definition: 0.5*x124 - x141 <= 0; } Constraint e11 { Definition: 0.5*x116 - x122 + x134 <= 0; } Constraint e12 { Definition: 0.5*x116 - x134 <= 0; } Constraint e13 { Definition: 0.5*x125 - x131 + x142 <= 0; } Constraint e14 { Definition: 0.5*x125 - x142 <= 0; } Constraint e15 { Definition: 0.5*x117 - x122 + x135 <= 0; } Constraint e16 { Definition: 0.5*x117 - x135 <= 0; } Constraint e17 { Definition: 0.5*x126 - x131 + x143 <= 0; } Constraint e18 { Definition: 0.5*x126 - x143 <= 0; } Constraint e19 { Definition: 0.5*x118 - x122 + x136 <= 0; } Constraint e20 { Definition: 0.5*x118 - x136 <= 0; } Constraint e21 { Definition: 0.5*x127 - x131 + x144 <= 0; } Constraint e22 { Definition: 0.5*x127 - x144 <= 0; } Constraint e23 { Definition: 0.5*x119 - x122 + x137 <= 0; } Constraint e24 { Definition: 0.5*x119 - x137 <= 0; } Constraint e25 { Definition: 0.5*x128 - x131 + x145 <= 0; } Constraint e26 { Definition: 0.5*x128 - x145 <= 0; } Constraint e27 { Definition: 0.5*x120 - x122 + x138 <= 0; } Constraint e28 { Definition: 0.5*x120 - x138 <= 0; } Constraint e29 { Definition: 0.5*x129 - x131 + x146 <= 0; } Constraint e30 { Definition: 0.5*x129 - x146 <= 0; } Constraint e31 { Definition: 0.5*x121 - x122 + x139 <= 0; } Constraint e32 { Definition: 0.5*x121 - x139 <= 0; } Constraint e33 { Definition: 0.5*x130 - x131 + x147 <= 0; } Constraint e34 { Definition: 0.5*x130 - x147 <= 0; } Constraint e35 { Definition: - x58 + x132 - x133 <= 0; } Constraint e36 { Definition: - x58 - x132 + x133 <= 0; } Constraint e37 { Definition: - x59 + x140 - x141 <= 0; } Constraint e38 { Definition: - x59 - x140 + x141 <= 0; } Constraint e39 { Definition: - 11.31*b1 - 11.31*b2 + 0.5*x114 + 0.5*x115 - x132 + x133 <= 0; } Constraint e40 { Definition: - 11.31*b1 + 11.31*b2 + 0.5*x114 + 0.5*x115 + x132 - x133 <= 11.31; } Constraint e41 { Definition: 13*b1 - 13*b2 + 0.5*x123 + 0.5*x124 - x140 + x141 <= 13; } Constraint e42 { Definition: 13*b1 + 13*b2 + 0.5*x123 + 0.5*x124 + x140 - x141 <= 26; } Constraint e43 { Definition: - x60 + x132 - x134 <= 0; } Constraint e44 { Definition: - x60 - x132 + x134 <= 0; } Constraint e45 { Definition: - x61 + x140 - x142 <= 0; } Constraint e46 { Definition: - x61 - x140 + x142 <= 0; } Constraint e47 { Definition: - 11.31*b3 - 11.31*b4 + 0.5*x114 + 0.5*x116 - x132 + x134 <= 0; } Constraint e48 { Definition: - 11.31*b3 + 11.31*b4 + 0.5*x114 + 0.5*x116 + x132 - x134 <= 11.31; } Constraint e49 { Definition: 13*b3 - 13*b4 + 0.5*x123 + 0.5*x125 - x140 + x142 <= 13; } Constraint e50 { Definition: 13*b3 + 13*b4 + 0.5*x123 + 0.5*x125 + x140 - x142 <= 26; } Constraint e51 { Definition: - x62 + x132 - x135 <= 0; } Constraint e52 { Definition: - x62 - x132 + x135 <= 0; } Constraint e53 { Definition: - x63 + x140 - x143 <= 0; } Constraint e54 { Definition: - x63 - x140 + x143 <= 0; } Constraint e55 { Definition: - 11.31*b5 - 11.31*b6 + 0.5*x114 + 0.5*x117 - x132 + x135 <= 0; } Constraint e56 { Definition: - 11.31*b5 + 11.31*b6 + 0.5*x114 + 0.5*x117 + x132 - x135 <= 11.31; } Constraint e57 { Definition: 13*b5 - 13*b6 + 0.5*x123 + 0.5*x126 - x140 + x143 <= 13; } Constraint e58 { Definition: 13*b5 + 13*b6 + 0.5*x123 + 0.5*x126 + x140 - x143 <= 26; } Constraint e59 { Definition: - x64 + x132 - x136 <= 0; } Constraint e60 { Definition: - x64 - x132 + x136 <= 0; } Constraint e61 { Definition: - x65 + x140 - x144 <= 0; } Constraint e62 { Definition: - x65 - x140 + x144 <= 0; } Constraint e63 { Definition: - 11.31*b7 - 11.31*b8 + 0.5*x114 + 0.5*x118 - x132 + x136 <= 0; } Constraint e64 { Definition: - 11.31*b7 + 11.31*b8 + 0.5*x114 + 0.5*x118 + x132 - x136 <= 11.31; } Constraint e65 { Definition: 13*b7 - 13*b8 + 0.5*x123 + 0.5*x127 - x140 + x144 <= 13; } Constraint e66 { Definition: 13*b7 + 13*b8 + 0.5*x123 + 0.5*x127 + x140 - x144 <= 26; } Constraint e67 { Definition: - x66 + x132 - x137 <= 0; } Constraint e68 { Definition: - x66 - x132 + x137 <= 0; } Constraint e69 { Definition: - x67 + x140 - x145 <= 0; } Constraint e70 { Definition: - x67 - x140 + x145 <= 0; } Constraint e71 { Definition: - 11.31*b9 - 11.31*b10 + 0.5*x114 + 0.5*x119 - x132 + x137 <= 0; } Constraint e72 { Definition: - 11.31*b9 + 11.31*b10 + 0.5*x114 + 0.5*x119 + x132 - x137 <= 11.31; } Constraint e73 { Definition: 13*b9 - 13*b10 + 0.5*x123 + 0.5*x128 - x140 + x145 <= 13; } Constraint e74 { Definition: 13*b9 + 13*b10 + 0.5*x123 + 0.5*x128 + x140 - x145 <= 26; } Constraint e75 { Definition: - x68 + x132 - x138 <= 0; } Constraint e76 { Definition: - x68 - x132 + x138 <= 0; } Constraint e77 { Definition: - x69 + x140 - x146 <= 0; } Constraint e78 { Definition: - x69 - x140 + x146 <= 0; } Constraint e79 { Definition: - 11.31*b11 - 11.31*b12 + 0.5*x114 + 0.5*x120 - x132 + x138 <= 0; } Constraint e80 { Definition: - 11.31*b11 + 11.31*b12 + 0.5*x114 + 0.5*x120 + x132 - x138 <= 11.31; } Constraint e81 { Definition: 13*b11 - 13*b12 + 0.5*x123 + 0.5*x129 - x140 + x146 <= 13; } Constraint e82 { Definition: 13*b11 + 13*b12 + 0.5*x123 + 0.5*x129 + x140 - x146 <= 26; } Constraint e83 { Definition: - x70 + x132 - x139 <= 0; } Constraint e84 { Definition: - x70 - x132 + x139 <= 0; } Constraint e85 { Definition: - x71 + x140 - x147 <= 0; } Constraint e86 { Definition: - x71 - x140 + x147 <= 0; } Constraint e87 { Definition: - 11.31*b13 - 11.31*b14 + 0.5*x114 + 0.5*x121 - x132 + x139 <= 0; } Constraint e88 { Definition: - 11.31*b13 + 11.31*b14 + 0.5*x114 + 0.5*x121 + x132 - x139 <= 11.31; } Constraint e89 { Definition: 13*b13 - 13*b14 + 0.5*x123 + 0.5*x130 - x140 + x147 <= 13; } Constraint e90 { Definition: 13*b13 + 13*b14 + 0.5*x123 + 0.5*x130 + x140 - x147 <= 26; } Constraint e91 { Definition: - x72 + x133 - x134 <= 0; } Constraint e92 { Definition: - x72 - x133 + x134 <= 0; } Constraint e93 { Definition: - x73 + x141 - x142 <= 0; } Constraint e94 { Definition: - x73 - x141 + x142 <= 0; } Constraint e95 { Definition: - 11.31*b15 - 11.31*b16 + 0.5*x115 + 0.5*x116 - x133 + x134 <= 0; } Constraint e96 { Definition: - 11.31*b15 + 11.31*b16 + 0.5*x115 + 0.5*x116 + x133 - x134 <= 11.31; } Constraint e97 { Definition: 13*b15 - 13*b16 + 0.5*x124 + 0.5*x125 - x141 + x142 <= 13; } Constraint e98 { Definition: 13*b15 + 13*b16 + 0.5*x124 + 0.5*x125 + x141 - x142 <= 26; } Constraint e99 { Definition: - x74 + x133 - x135 <= 0; } Constraint e100 { Definition: - x74 - x133 + x135 <= 0; } Constraint e101 { Definition: - x75 + x141 - x143 <= 0; } Constraint e102 { Definition: - x75 - x141 + x143 <= 0; } Constraint e103 { Definition: - 11.31*b17 - 11.31*b18 + 0.5*x115 + 0.5*x117 - x133 + x135 <= 0; } Constraint e104 { Definition: - 11.31*b17 + 11.31*b18 + 0.5*x115 + 0.5*x117 + x133 - x135 <= 11.31; } Constraint e105 { Definition: 13*b17 - 13*b18 + 0.5*x124 + 0.5*x126 - x141 + x143 <= 13; } Constraint e106 { Definition: 13*b17 + 13*b18 + 0.5*x124 + 0.5*x126 + x141 - x143 <= 26; } Constraint e107 { Definition: - x76 + x133 - x136 <= 0; } Constraint e108 { Definition: - x76 - x133 + x136 <= 0; } Constraint e109 { Definition: - x77 + x141 - x144 <= 0; } Constraint e110 { Definition: - x77 - x141 + x144 <= 0; } Constraint e111 { Definition: - 11.31*b19 - 11.31*b20 + 0.5*x115 + 0.5*x118 - x133 + x136 <= 0; } Constraint e112 { Definition: - 11.31*b19 + 11.31*b20 + 0.5*x115 + 0.5*x118 + x133 - x136 <= 11.31; } Constraint e113 { Definition: 13*b19 - 13*b20 + 0.5*x124 + 0.5*x127 - x141 + x144 <= 13; } Constraint e114 { Definition: 13*b19 + 13*b20 + 0.5*x124 + 0.5*x127 + x141 - x144 <= 26; } Constraint e115 { Definition: - x78 + x133 - x137 <= 0; } Constraint e116 { Definition: - x78 - x133 + x137 <= 0; } Constraint e117 { Definition: - x79 + x141 - x145 <= 0; } Constraint e118 { Definition: - x79 - x141 + x145 <= 0; } Constraint e119 { Definition: - 11.31*b21 - 11.31*b22 + 0.5*x115 + 0.5*x119 - x133 + x137 <= 0; } Constraint e120 { Definition: - 11.31*b21 + 11.31*b22 + 0.5*x115 + 0.5*x119 + x133 - x137 <= 11.31; } Constraint e121 { Definition: 13*b21 - 13*b22 + 0.5*x124 + 0.5*x128 - x141 + x145 <= 13; } Constraint e122 { Definition: 13*b21 + 13*b22 + 0.5*x124 + 0.5*x128 + x141 - x145 <= 26; } Constraint e123 { Definition: - x80 + x133 - x138 <= 0; } Constraint e124 { Definition: - x80 - x133 + x138 <= 0; } Constraint e125 { Definition: - x81 + x141 - x146 <= 0; } Constraint e126 { Definition: - x81 - x141 + x146 <= 0; } Constraint e127 { Definition: - 11.31*b23 - 11.31*b24 + 0.5*x115 + 0.5*x120 - x133 + x138 <= 0; } Constraint e128 { Definition: - 11.31*b23 + 11.31*b24 + 0.5*x115 + 0.5*x120 + x133 - x138 <= 11.31; } Constraint e129 { Definition: 13*b23 - 13*b24 + 0.5*x124 + 0.5*x129 - x141 + x146 <= 13; } Constraint e130 { Definition: 13*b23 + 13*b24 + 0.5*x124 + 0.5*x129 + x141 - x146 <= 26; } Constraint e131 { Definition: - x82 + x133 - x139 <= 0; } Constraint e132 { Definition: - x82 - x133 + x139 <= 0; } Constraint e133 { Definition: - x83 + x141 - x147 <= 0; } Constraint e134 { Definition: - x83 - x141 + x147 <= 0; } Constraint e135 { Definition: - 11.31*b25 - 11.31*b26 + 0.5*x115 + 0.5*x121 - x133 + x139 <= 0; } Constraint e136 { Definition: - 11.31*b25 + 11.31*b26 + 0.5*x115 + 0.5*x121 + x133 - x139 <= 11.31; } Constraint e137 { Definition: 13*b25 - 13*b26 + 0.5*x124 + 0.5*x130 - x141 + x147 <= 13; } Constraint e138 { Definition: 13*b25 + 13*b26 + 0.5*x124 + 0.5*x130 + x141 - x147 <= 26; } Constraint e139 { Definition: - x84 + x134 - x135 <= 0; } Constraint e140 { Definition: - x84 - x134 + x135 <= 0; } Constraint e141 { Definition: - x85 + x142 - x143 <= 0; } Constraint e142 { Definition: - x85 - x142 + x143 <= 0; } Constraint e143 { Definition: - 11.31*b27 - 11.31*b28 + 0.5*x116 + 0.5*x117 - x134 + x135 <= 0; } Constraint e144 { Definition: - 11.31*b27 + 11.31*b28 + 0.5*x116 + 0.5*x117 + x134 - x135 <= 11.31; } Constraint e145 { Definition: 13*b27 - 13*b28 + 0.5*x125 + 0.5*x126 - x142 + x143 <= 13; } Constraint e146 { Definition: 13*b27 + 13*b28 + 0.5*x125 + 0.5*x126 + x142 - x143 <= 26; } Constraint e147 { Definition: - x86 + x134 - x136 <= 0; } Constraint e148 { Definition: - x86 - x134 + x136 <= 0; } Constraint e149 { Definition: - x87 + x142 - x144 <= 0; } Constraint e150 { Definition: - x87 - x142 + x144 <= 0; } Constraint e151 { Definition: - 11.31*b29 - 11.31*b30 + 0.5*x116 + 0.5*x118 - x134 + x136 <= 0; } Constraint e152 { Definition: - 11.31*b29 + 11.31*b30 + 0.5*x116 + 0.5*x118 + x134 - x136 <= 11.31; } Constraint e153 { Definition: 13*b29 - 13*b30 + 0.5*x125 + 0.5*x127 - x142 + x144 <= 13; } Constraint e154 { Definition: 13*b29 + 13*b30 + 0.5*x125 + 0.5*x127 + x142 - x144 <= 26; } Constraint e155 { Definition: - x88 + x134 - x137 <= 0; } Constraint e156 { Definition: - x88 - x134 + x137 <= 0; } Constraint e157 { Definition: - x89 + x142 - x145 <= 0; } Constraint e158 { Definition: - x89 - x142 + x145 <= 0; } Constraint e159 { Definition: - 11.31*b31 - 11.31*b32 + 0.5*x116 + 0.5*x119 - x134 + x137 <= 0; } Constraint e160 { Definition: - 11.31*b31 + 11.31*b32 + 0.5*x116 + 0.5*x119 + x134 - x137 <= 11.31; } Constraint e161 { Definition: 13*b31 - 13*b32 + 0.5*x125 + 0.5*x128 - x142 + x145 <= 13; } Constraint e162 { Definition: 13*b31 + 13*b32 + 0.5*x125 + 0.5*x128 + x142 - x145 <= 26; } Constraint e163 { Definition: - x90 + x134 - x138 <= 0; } Constraint e164 { Definition: - x90 - x134 + x138 <= 0; } Constraint e165 { Definition: - x91 + x142 - x146 <= 0; } Constraint e166 { Definition: - x91 - x142 + x146 <= 0; } Constraint e167 { Definition: - 11.31*b33 - 11.31*b34 + 0.5*x116 + 0.5*x120 - x134 + x138 <= 0; } Constraint e168 { Definition: - 11.31*b33 + 11.31*b34 + 0.5*x116 + 0.5*x120 + x134 - x138 <= 11.31; } Constraint e169 { Definition: 13*b33 - 13*b34 + 0.5*x125 + 0.5*x129 - x142 + x146 <= 13; } Constraint e170 { Definition: 13*b33 + 13*b34 + 0.5*x125 + 0.5*x129 + x142 - x146 <= 26; } Constraint e171 { Definition: - x92 + x134 - x139 <= 0; } Constraint e172 { Definition: - x92 - x134 + x139 <= 0; } Constraint e173 { Definition: - x93 + x142 - x147 <= 0; } Constraint e174 { Definition: - x93 - x142 + x147 <= 0; } Constraint e175 { Definition: - 11.31*b35 - 11.31*b36 + 0.5*x116 + 0.5*x121 - x134 + x139 <= 0; } Constraint e176 { Definition: - 11.31*b35 + 11.31*b36 + 0.5*x116 + 0.5*x121 + x134 - x139 <= 11.31; } Constraint e177 { Definition: 13*b35 - 13*b36 + 0.5*x125 + 0.5*x130 - x142 + x147 <= 13; } Constraint e178 { Definition: 13*b35 + 13*b36 + 0.5*x125 + 0.5*x130 + x142 - x147 <= 26; } Constraint e179 { Definition: - x94 + x135 - x136 <= 0; } Constraint e180 { Definition: - x94 - x135 + x136 <= 0; } Constraint e181 { Definition: - x95 + x143 - x144 <= 0; } Constraint e182 { Definition: - x95 - x143 + x144 <= 0; } Constraint e183 { Definition: - 11.31*b37 - 11.31*b38 + 0.5*x117 + 0.5*x118 - x135 + x136 <= 0; } Constraint e184 { Definition: - 11.31*b37 + 11.31*b38 + 0.5*x117 + 0.5*x118 + x135 - x136 <= 11.31; } Constraint e185 { Definition: 13*b37 - 13*b38 + 0.5*x126 + 0.5*x127 - x143 + x144 <= 13; } Constraint e186 { Definition: 13*b37 + 13*b38 + 0.5*x126 + 0.5*x127 + x143 - x144 <= 26; } Constraint e187 { Definition: - x96 + x135 - x137 <= 0; } Constraint e188 { Definition: - x96 - x135 + x137 <= 0; } Constraint e189 { Definition: - x97 + x143 - x145 <= 0; } Constraint e190 { Definition: - x97 - x143 + x145 <= 0; } Constraint e191 { Definition: - 11.31*b39 - 11.31*b40 + 0.5*x117 + 0.5*x119 - x135 + x137 <= 0; } Constraint e192 { Definition: - 11.31*b39 + 11.31*b40 + 0.5*x117 + 0.5*x119 + x135 - x137 <= 11.31; } Constraint e193 { Definition: 13*b39 - 13*b40 + 0.5*x126 + 0.5*x128 - x143 + x145 <= 13; } Constraint e194 { Definition: 13*b39 + 13*b40 + 0.5*x126 + 0.5*x128 + x143 - x145 <= 26; } Constraint e195 { Definition: - x98 + x135 - x138 <= 0; } Constraint e196 { Definition: - x98 - x135 + x138 <= 0; } Constraint e197 { Definition: - x99 + x143 - x146 <= 0; } Constraint e198 { Definition: - x99 - x143 + x146 <= 0; } Constraint e199 { Definition: - 11.31*b41 - 11.31*b42 + 0.5*x117 + 0.5*x120 - x135 + x138 <= 0; } Constraint e200 { Definition: - 11.31*b41 + 11.31*b42 + 0.5*x117 + 0.5*x120 + x135 - x138 <= 11.31; } Constraint e201 { Definition: 13*b41 - 13*b42 + 0.5*x126 + 0.5*x129 - x143 + x146 <= 13; } Constraint e202 { Definition: 13*b41 + 13*b42 + 0.5*x126 + 0.5*x129 + x143 - x146 <= 26; } Constraint e203 { Definition: - x100 + x135 - x139 <= 0; } Constraint e204 { Definition: - x100 - x135 + x139 <= 0; } Constraint e205 { Definition: - x101 + x143 - x147 <= 0; } Constraint e206 { Definition: - x101 - x143 + x147 <= 0; } Constraint e207 { Definition: - 11.31*b43 - 11.31*b44 + 0.5*x117 + 0.5*x121 - x135 + x139 <= 0; } Constraint e208 { Definition: - 11.31*b43 + 11.31*b44 + 0.5*x117 + 0.5*x121 + x135 - x139 <= 11.31; } Constraint e209 { Definition: 13*b43 - 13*b44 + 0.5*x126 + 0.5*x130 - x143 + x147 <= 13; } Constraint e210 { Definition: 13*b43 + 13*b44 + 0.5*x126 + 0.5*x130 + x143 - x147 <= 26; } Constraint e211 { Definition: - x102 + x136 - x137 <= 0; } Constraint e212 { Definition: - x102 - x136 + x137 <= 0; } Constraint e213 { Definition: - x103 + x144 - x145 <= 0; } Constraint e214 { Definition: - x103 - x144 + x145 <= 0; } Constraint e215 { Definition: - 11.31*b45 - 11.31*b46 + 0.5*x118 + 0.5*x119 - x136 + x137 <= 0; } Constraint e216 { Definition: - 11.31*b45 + 11.31*b46 + 0.5*x118 + 0.5*x119 + x136 - x137 <= 11.31; } Constraint e217 { Definition: 13*b45 - 13*b46 + 0.5*x127 + 0.5*x128 - x144 + x145 <= 13; } Constraint e218 { Definition: 13*b45 + 13*b46 + 0.5*x127 + 0.5*x128 + x144 - x145 <= 26; } Constraint e219 { Definition: - x104 + x136 - x138 <= 0; } Constraint e220 { Definition: - x104 - x136 + x138 <= 0; } Constraint e221 { Definition: - x105 + x144 - x146 <= 0; } Constraint e222 { Definition: - x105 - x144 + x146 <= 0; } Constraint e223 { Definition: - 11.31*b47 - 11.31*b48 + 0.5*x118 + 0.5*x120 - x136 + x138 <= 0; } Constraint e224 { Definition: - 11.31*b47 + 11.31*b48 + 0.5*x118 + 0.5*x120 + x136 - x138 <= 11.31; } Constraint e225 { Definition: 13*b47 - 13*b48 + 0.5*x127 + 0.5*x129 - x144 + x146 <= 13; } Constraint e226 { Definition: 13*b47 + 13*b48 + 0.5*x127 + 0.5*x129 + x144 - x146 <= 26; } Constraint e227 { Definition: - x106 + x136 - x139 <= 0; } Constraint e228 { Definition: - x106 - x136 + x139 <= 0; } Constraint e229 { Definition: - x107 + x144 - x147 <= 0; } Constraint e230 { Definition: - x107 - x144 + x147 <= 0; } Constraint e231 { Definition: - 11.31*b49 - 11.31*b50 + 0.5*x118 + 0.5*x121 - x136 + x139 <= 0; } Constraint e232 { Definition: - 11.31*b49 + 11.31*b50 + 0.5*x118 + 0.5*x121 + x136 - x139 <= 11.31; } Constraint e233 { Definition: 13*b49 - 13*b50 + 0.5*x127 + 0.5*x130 - x144 + x147 <= 13; } Constraint e234 { Definition: 13*b49 + 13*b50 + 0.5*x127 + 0.5*x130 + x144 - x147 <= 26; } Constraint e235 { Definition: - x108 + x137 - x138 <= 0; } Constraint e236 { Definition: - x108 - x137 + x138 <= 0; } Constraint e237 { Definition: - x109 + x145 - x146 <= 0; } Constraint e238 { Definition: - x109 - x145 + x146 <= 0; } Constraint e239 { Definition: - 11.31*b51 - 11.31*b52 + 0.5*x119 + 0.5*x120 - x137 + x138 <= 0; } Constraint e240 { Definition: - 11.31*b51 + 11.31*b52 + 0.5*x119 + 0.5*x120 + x137 - x138 <= 11.31; } Constraint e241 { Definition: 13*b51 - 13*b52 + 0.5*x128 + 0.5*x129 - x145 + x146 <= 13; } Constraint e242 { Definition: 13*b51 + 13*b52 + 0.5*x128 + 0.5*x129 + x145 - x146 <= 26; } Constraint e243 { Definition: - x110 + x137 - x139 <= 0; } Constraint e244 { Definition: - x110 - x137 + x139 <= 0; } Constraint e245 { Definition: - x111 + x145 - x147 <= 0; } Constraint e246 { Definition: - x111 - x145 + x147 <= 0; } Constraint e247 { Definition: - 11.31*b53 - 11.31*b54 + 0.5*x119 + 0.5*x121 - x137 + x139 <= 0; } Constraint e248 { Definition: - 11.31*b53 + 11.31*b54 + 0.5*x119 + 0.5*x121 + x137 - x139 <= 11.31; } Constraint e249 { Definition: 13*b53 - 13*b54 + 0.5*x128 + 0.5*x130 - x145 + x147 <= 13; } Constraint e250 { Definition: 13*b53 + 13*b54 + 0.5*x128 + 0.5*x130 + x145 - x147 <= 26; } Constraint e251 { Definition: - x112 + x138 - x139 <= 0; } Constraint e252 { Definition: - x112 - x138 + x139 <= 0; } Constraint e253 { Definition: - x113 + x146 - x147 <= 0; } Constraint e254 { Definition: - x113 - x146 + x147 <= 0; } Constraint e255 { Definition: - 11.31*b55 - 11.31*b56 + 0.5*x120 + 0.5*x121 - x138 + x139 <= 0; } Constraint e256 { Definition: - 11.31*b55 + 11.31*b56 + 0.5*x120 + 0.5*x121 + x138 - x139 <= 11.31; } Constraint e257 { Definition: 13*b55 - 13*b56 + 0.5*x129 + 0.5*x130 - x146 + x147 <= 13; } Constraint e258 { Definition: 13*b55 + 13*b56 + 0.5*x129 + 0.5*x130 + x146 - x147 <= 26; } Constraint e259 { Definition: 16/x114 - x123 <= 0; } Constraint e260 { Definition: 16/x123 - x114 <= 0; } Constraint e261 { Definition: 16/x115 - x124 <= 0; } Constraint e262 { Definition: 16/x124 - x115 <= 0; } Constraint e263 { Definition: 16/x116 - x125 <= 0; } Constraint e264 { Definition: 16/x125 - x116 <= 0; } Constraint e265 { Definition: 36/x117 - x126 <= 0; } Constraint e266 { Definition: 36/x126 - x117 <= 0; } Constraint e267 { Definition: 36/x118 - x127 <= 0; } Constraint e268 { Definition: 36/x127 - x118 <= 0; } Constraint e269 { Definition: 9/x119 - x128 <= 0; } Constraint e270 { Definition: 9/x128 - x119 <= 0; } Constraint e271 { Definition: 9/x120 - x129 <= 0; } Constraint e272 { Definition: 9/x129 - x120 <= 0; } Constraint e273 { Definition: 9/x121 - x130 <= 0; } Constraint e274 { Definition: 9/x130 - x121 <= 0; } Procedure MainInitialization { Body: { x114.lower := 2; x114.upper := 8; x115.lower := 2; x115.upper := 8; x116.lower := 2; x116.upper := 8; x117.lower := 3; x117.upper := 11.31; x118.lower := 3; x118.upper := 11.31; x119.lower := 1.5; x119.upper := 6; x120.lower := 1.5; x120.upper := 6; x121.lower := 1.5; x121.upper := 6; x122.lower := 11.31; x122.upper := 11.31; x123.lower := 2; x123.upper := 8; x124.lower := 2; x124.upper := 8; x125.lower := 2; x125.upper := 8; x126.lower := 3.183; x126.upper := 12; x127.lower := 3.183; x127.upper := 12; x128.lower := 1.5; x128.upper := 6; x129.lower := 1.5; x129.upper := 6; x130.lower := 1.5; x130.upper := 6; x131.lower := 13; x131.upper := 13; } } MathematicalProgram fo8 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve fo8; } } Procedure MainTermination { Body: { return 1; } } }