## ams_version=1.0 Model Main_fo8_ar2_1 { Variable i1 { Range: integer; } Variable i2 { Range: integer; } Variable i3 { Range: integer; } Variable i4 { Range: integer; } Variable i5 { Range: integer; } Variable i6 { Range: integer; } Variable i7 { Range: integer; } Variable i8 { Range: integer; } Variable i9 { Range: integer; } Variable i10 { Range: integer; } Variable i11 { Range: integer; } Variable i12 { Range: integer; } Variable i13 { Range: integer; } Variable i14 { Range: integer; } Variable i15 { Range: integer; } Variable i16 { Range: integer; } Variable i17 { Range: integer; } Variable i18 { Range: integer; } Variable i19 { Range: integer; } Variable i20 { Range: integer; } Variable i21 { Range: integer; } Variable i22 { Range: integer; } Variable i23 { Range: integer; } Variable i24 { Range: integer; } Variable i25 { Range: integer; } Variable i26 { Range: integer; } Variable i27 { Range: integer; } Variable i28 { Range: integer; } Variable i29 { Range: integer; } Variable i30 { Range: integer; } Variable i31 { Range: integer; } Variable i32 { Range: integer; } Variable i33 { Range: integer; } Variable i34 { Range: integer; } Variable i35 { Range: integer; } Variable i36 { Range: integer; } Variable i37 { Range: integer; } Variable i38 { Range: integer; } Variable i39 { Range: integer; } Variable i40 { Range: integer; } Variable i41 { Range: integer; } Variable i42 { Range: integer; } Variable i43 { Range: integer; } Variable i44 { Range: integer; } Variable i45 { Range: integer; } Variable i46 { Range: integer; } Variable i47 { Range: integer; } Variable i48 { Range: integer; } Variable i49 { Range: integer; } Variable i50 { Range: integer; } Variable i51 { Range: integer; } Variable i52 { Range: integer; } Variable i53 { Range: integer; } Variable i54 { Range: integer; } Variable i55 { Range: integer; } Variable i56 { Range: integer; } 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; Constraint e1 { Definition: { objvar - x58 - x59 - x60 - x61 - x62 - x63 - x64 - x65 - x66 - x67 - x68 - x69 - x70 - x71 = 0 } } Constraint e2 { Definition: x72 - x73 >= 0; } Constraint e3 { Definition: x74 - x75 >= 0; } Constraint e4 { Definition: i1 - i2 = 0; } Constraint e5 { Definition: - 11.31*i1 - x58 + 0.5*x76 + 0.5*x77 <= 0; } Constraint e6 { Definition: 13*i1 - x59 + 0.5*x78 + 0.5*x79 <= 13; } Constraint e7 { Definition: - 11.31*i3 + 0.5*x76 + 0.5*x80 - x81 <= 0; } Constraint e8 { Definition: 13*i3 + 0.5*x78 + 0.5*x82 - x83 <= 13; } Constraint e9 { Definition: - 11.31*i5 + 0.5*x76 + 0.5*x84 - x85 <= 0; } Constraint e10 { Definition: 13*i5 + 0.5*x78 + 0.5*x86 - x87 <= 13; } Constraint e11 { Definition: - 11.31*i7 + 0.5*x76 + 0.5*x88 - x89 <= 0; } Constraint e12 { Definition: 13*i7 + 0.5*x78 + 0.5*x90 - x91 <= 13; } Constraint e13 { Definition: - 11.31*i9 + 0.5*x76 + 0.5*x92 - x93 <= 0; } Constraint e14 { Definition: 13*i9 + 0.5*x78 + 0.5*x94 - x95 <= 13; } Constraint e15 { Definition: - 11.31*i11 + 0.5*x76 + 0.5*x96 - x97 <= 0; } Constraint e16 { Definition: 13*i11 + 0.5*x78 + 0.5*x98 - x99 <= 13; } Constraint e17 { Definition: - 11.31*i13 + 0.5*x76 + 0.5*x100 - x101 <= 0; } Constraint e18 { Definition: 13*i13 + 0.5*x78 + 0.5*x102 - x103 <= 13; } Constraint e19 { Definition: - 11.31*i15 - x60 + 0.5*x77 + 0.5*x80 <= 0; } Constraint e20 { Definition: 13*i15 - x61 + 0.5*x79 + 0.5*x82 <= 13; } Constraint e21 { Definition: - 11.31*i17 + 0.5*x77 + 0.5*x84 - x104 <= 0; } Constraint e22 { Definition: 13*i17 + 0.5*x79 + 0.5*x86 - x105 <= 13; } Constraint e23 { Definition: - 11.31*i19 + 0.5*x77 + 0.5*x88 - x106 <= 0; } Constraint e24 { Definition: 13*i19 + 0.5*x79 + 0.5*x90 - x107 <= 13; } Constraint e25 { Definition: - 11.31*i21 + 0.5*x77 + 0.5*x92 - x108 <= 0; } Constraint e26 { Definition: 13*i21 + 0.5*x79 + 0.5*x94 - x109 <= 13; } Constraint e27 { Definition: - 11.31*i23 + 0.5*x77 + 0.5*x96 - x110 <= 0; } Constraint e28 { Definition: 13*i23 + 0.5*x79 + 0.5*x98 - x111 <= 13; } Constraint e29 { Definition: - 11.31*i25 + 0.5*x77 + 0.5*x100 - x112 <= 0; } Constraint e30 { Definition: 13*i25 + 0.5*x79 + 0.5*x102 - x113 <= 13; } Constraint e31 { Definition: - 11.31*i27 - x62 + 0.5*x80 + 0.5*x84 <= 0; } Constraint e32 { Definition: 13*i27 - x63 + 0.5*x82 + 0.5*x86 <= 13; } Constraint e33 { Definition: - 11.31*i29 + 0.5*x80 + 0.5*x88 - x114 <= 0; } Constraint e34 { Definition: 13*i29 + 0.5*x82 + 0.5*x90 - x115 <= 13; } Constraint e35 { Definition: - 11.31*i31 + 0.5*x80 + 0.5*x92 - x116 <= 0; } Constraint e36 { Definition: 13*i31 + 0.5*x82 + 0.5*x94 - x117 <= 13; } Constraint e37 { Definition: - 11.31*i33 + 0.5*x80 + 0.5*x96 - x118 <= 0; } Constraint e38 { Definition: 13*i33 + 0.5*x82 + 0.5*x98 - x119 <= 13; } Constraint e39 { Definition: - 11.31*i35 + 0.5*x80 + 0.5*x100 - x120 <= 0; } Constraint e40 { Definition: 13*i35 + 0.5*x82 + 0.5*x102 - x121 <= 13; } Constraint e41 { Definition: - 11.31*i37 - x64 + 0.5*x84 + 0.5*x88 <= 0; } Constraint e42 { Definition: 13*i37 - x65 + 0.5*x86 + 0.5*x90 <= 13; } Constraint e43 { Definition: - 11.31*i39 + 0.5*x84 + 0.5*x92 - x122 <= 0; } Constraint e44 { Definition: 13*i39 + 0.5*x86 + 0.5*x94 - x123 <= 13; } Constraint e45 { Definition: - 11.31*i41 + 0.5*x84 + 0.5*x96 - x124 <= 0; } Constraint e46 { Definition: 13*i41 + 0.5*x86 + 0.5*x98 - x125 <= 13; } Constraint e47 { Definition: - 11.31*i43 + 0.5*x84 + 0.5*x100 - x126 <= 0; } Constraint e48 { Definition: 13*i43 + 0.5*x86 + 0.5*x102 - x127 <= 13; } Constraint e49 { Definition: - 11.31*i45 - x66 + 0.5*x88 + 0.5*x92 <= 0; } Constraint e50 { Definition: 13*i45 - x67 + 0.5*x90 + 0.5*x94 <= 13; } Constraint e51 { Definition: - 11.31*i47 + 0.5*x88 + 0.5*x96 - x128 <= 0; } Constraint e52 { Definition: 13*i47 + 0.5*x90 + 0.5*x98 - x129 <= 13; } Constraint e53 { Definition: - 11.31*i49 + 0.5*x88 + 0.5*x100 - x130 <= 0; } Constraint e54 { Definition: 13*i49 + 0.5*x90 + 0.5*x102 - x131 <= 13; } Constraint e55 { Definition: - 11.31*i51 - x68 + 0.5*x92 + 0.5*x96 <= 0; } Constraint e56 { Definition: 13*i51 - x69 + 0.5*x94 + 0.5*x98 <= 13; } Constraint e57 { Definition: - 11.31*i53 + 0.5*x92 + 0.5*x100 - x132 <= 0; } Constraint e58 { Definition: 13*i53 + 0.5*x94 + 0.5*x102 - x133 <= 13; } Constraint e59 { Definition: - 11.31*i55 - x70 + 0.5*x96 + 0.5*x100 <= 0; } Constraint e60 { Definition: 13*i55 - x71 + 0.5*x98 + 0.5*x102 <= 13; } Constraint e61 { Definition: - 0.353557*x76 - 0.176775*x78 <= -2; } Constraint e62 { Definition: - 0.176775*x76 - 0.353556*x78 <= -2; } Constraint e63 { Definition: - 0.353557*x77 - 0.176775*x79 <= -2; } Constraint e64 { Definition: - 0.176775*x77 - 0.353556*x79 <= -2; } Constraint e65 { Definition: - 0.353557*x80 - 0.176775*x82 <= -2; } Constraint e66 { Definition: - 0.176775*x80 - 0.353556*x82 <= -2; } Constraint e67 { Definition: - 0.235705*x84 - 0.11785*x86 <= -2; } Constraint e68 { Definition: - 0.117851*x84 - 0.235703*x86 <= -2; } Constraint e69 { Definition: - 0.235705*x88 - 0.11785*x90 <= -2; } Constraint e70 { Definition: - 0.117851*x88 - 0.235703*x90 <= -2; } Constraint e71 { Definition: - 0.471409*x92 - 0.2357*x94 <= -2; } Constraint e72 { Definition: - 0.235705*x92 - 0.4714*x94 <= -2; } Constraint e73 { Definition: - 0.471409*x96 - 0.2357*x98 <= -2; } Constraint e74 { Definition: - 0.235705*x96 - 0.4714*x98 <= -2; } Constraint e75 { Definition: - 0.471409*x100 - 0.2357*x102 <= -2; } Constraint e76 { Definition: - 0.235705*x100 - 0.4714*x102 <= -2; } Constraint e77 { Definition: x72 + 0.5*x76 <= 11.31; } Constraint e78 { Definition: - x72 + 0.5*x76 <= 0; } Constraint e79 { Definition: x75 + 0.5*x78 <= 13; } Constraint e80 { Definition: - x75 + 0.5*x78 <= 0; } Constraint e81 { Definition: x73 + 0.5*x77 <= 11.31; } Constraint e82 { Definition: - x73 + 0.5*x77 <= 0; } Constraint e83 { Definition: x74 + 0.5*x79 <= 13; } Constraint e84 { Definition: - x74 + 0.5*x79 <= 0; } Constraint e85 { Definition: 0.5*x80 + x134 <= 11.31; } Constraint e86 { Definition: 0.5*x80 - x134 <= 0; } Constraint e87 { Definition: 0.5*x82 + x135 <= 13; } Constraint e88 { Definition: 0.5*x82 - x135 <= 0; } Constraint e89 { Definition: 0.5*x84 + x136 <= 11.31; } Constraint e90 { Definition: 0.5*x84 - x136 <= 0; } Constraint e91 { Definition: 0.5*x86 + x137 <= 13; } Constraint e92 { Definition: 0.5*x86 - x137 <= 0; } Constraint e93 { Definition: 0.5*x88 + x138 <= 11.31; } Constraint e94 { Definition: 0.5*x88 - x138 <= 0; } Constraint e95 { Definition: 0.5*x90 + x139 <= 13; } Constraint e96 { Definition: 0.5*x90 - x139 <= 0; } Constraint e97 { Definition: 0.5*x92 + x140 <= 11.31; } Constraint e98 { Definition: 0.5*x92 - x140 <= 0; } Constraint e99 { Definition: 0.5*x94 + x141 <= 13; } Constraint e100 { Definition: 0.5*x94 - x141 <= 0; } Constraint e101 { Definition: 0.5*x96 + x142 <= 11.31; } Constraint e102 { Definition: 0.5*x96 - x142 <= 0; } Constraint e103 { Definition: 0.5*x98 + x143 <= 13; } Constraint e104 { Definition: 0.5*x98 - x143 <= 0; } Constraint e105 { Definition: 0.5*x100 + x144 <= 11.31; } Constraint e106 { Definition: 0.5*x100 - x144 <= 0; } Constraint e107 { Definition: 0.5*x102 + x145 <= 13; } Constraint e108 { Definition: 0.5*x102 - x145 <= 0; } Constraint e109 { Definition: - x58 + x72 - x73 <= 0; } Constraint e110 { Definition: - x58 - x72 + x73 <= 0; } Constraint e111 { Definition: - x59 - x74 + x75 <= 0; } Constraint e112 { Definition: - x59 + x74 - x75 <= 0; } Constraint e113 { Definition: - 11.31*i1 - 11.31*i2 - x72 + x73 + 0.5*x76 + 0.5*x77 <= 0; } Constraint e114 { Definition: - 11.31*i1 + 11.31*i2 + x72 - x73 + 0.5*x76 + 0.5*x77 <= 11.31; } Constraint e115 { Definition: 13*i1 - 13*i2 + x74 - x75 + 0.5*x78 + 0.5*x79 <= 13; } Constraint e116 { Definition: 13*i1 + 13*i2 - x74 + x75 + 0.5*x78 + 0.5*x79 <= 26; } Constraint e117 { Definition: x72 - x81 - x134 <= 0; } Constraint e118 { Definition: - x72 - x81 + x134 <= 0; } Constraint e119 { Definition: x75 - x83 - x135 <= 0; } Constraint e120 { Definition: - x75 - x83 + x135 <= 0; } Constraint e121 { Definition: - 11.31*i3 - 11.31*i4 - x72 + 0.5*x76 + 0.5*x80 + x134 <= 0; } Constraint e122 { Definition: - 11.31*i3 + 11.31*i4 + x72 + 0.5*x76 + 0.5*x80 - x134 <= 11.31; } Constraint e123 { Definition: 13*i3 - 13*i4 - x75 + 0.5*x78 + 0.5*x82 + x135 <= 13; } Constraint e124 { Definition: 13*i3 + 13*i4 + x75 + 0.5*x78 + 0.5*x82 - x135 <= 26; } Constraint e125 { Definition: x72 - x85 - x136 <= 0; } Constraint e126 { Definition: - x72 - x85 + x136 <= 0; } Constraint e127 { Definition: x75 - x87 - x137 <= 0; } Constraint e128 { Definition: - x75 - x87 + x137 <= 0; } Constraint e129 { Definition: - 11.31*i5 - 11.31*i6 - x72 + 0.5*x76 + 0.5*x84 + x136 <= 0; } Constraint e130 { Definition: - 11.31*i5 + 11.31*i6 + x72 + 0.5*x76 + 0.5*x84 - x136 <= 11.31; } Constraint e131 { Definition: 13*i5 - 13*i6 - x75 + 0.5*x78 + 0.5*x86 + x137 <= 13; } Constraint e132 { Definition: 13*i5 + 13*i6 + x75 + 0.5*x78 + 0.5*x86 - x137 <= 26; } Constraint e133 { Definition: x72 - x89 - x138 <= 0; } Constraint e134 { Definition: - x72 - x89 + x138 <= 0; } Constraint e135 { Definition: x75 - x91 - x139 <= 0; } Constraint e136 { Definition: - x75 - x91 + x139 <= 0; } Constraint e137 { Definition: - 11.31*i7 - 11.31*i8 - x72 + 0.5*x76 + 0.5*x88 + x138 <= 0; } Constraint e138 { Definition: - 11.31*i7 + 11.31*i8 + x72 + 0.5*x76 + 0.5*x88 - x138 <= 11.31; } Constraint e139 { Definition: 13*i7 - 13*i8 - x75 + 0.5*x78 + 0.5*x90 + x139 <= 13; } Constraint e140 { Definition: 13*i7 + 13*i8 + x75 + 0.5*x78 + 0.5*x90 - x139 <= 26; } Constraint e141 { Definition: x72 - x93 - x140 <= 0; } Constraint e142 { Definition: - x72 - x93 + x140 <= 0; } Constraint e143 { Definition: x75 - x95 - x141 <= 0; } Constraint e144 { Definition: - x75 - x95 + x141 <= 0; } Constraint e145 { Definition: - 11.31*i9 - 11.31*i10 - x72 + 0.5*x76 + 0.5*x92 + x140 <= 0; } Constraint e146 { Definition: - 11.31*i9 + 11.31*i10 + x72 + 0.5*x76 + 0.5*x92 - x140 <= 11.31; } Constraint e147 { Definition: 13*i9 - 13*i10 - x75 + 0.5*x78 + 0.5*x94 + x141 <= 13; } Constraint e148 { Definition: 13*i9 + 13*i10 + x75 + 0.5*x78 + 0.5*x94 - x141 <= 26; } Constraint e149 { Definition: x72 - x97 - x142 <= 0; } Constraint e150 { Definition: - x72 - x97 + x142 <= 0; } Constraint e151 { Definition: x75 - x99 - x143 <= 0; } Constraint e152 { Definition: - x75 - x99 + x143 <= 0; } Constraint e153 { Definition: - 11.31*i11 - 11.31*i12 - x72 + 0.5*x76 + 0.5*x96 + x142 <= 0; } Constraint e154 { Definition: - 11.31*i11 + 11.31*i12 + x72 + 0.5*x76 + 0.5*x96 - x142 <= 11.31; } Constraint e155 { Definition: 13*i11 - 13*i12 - x75 + 0.5*x78 + 0.5*x98 + x143 <= 13; } Constraint e156 { Definition: 13*i11 + 13*i12 + x75 + 0.5*x78 + 0.5*x98 - x143 <= 26; } Constraint e157 { Definition: x72 - x101 - x144 <= 0; } Constraint e158 { Definition: - x72 - x101 + x144 <= 0; } Constraint e159 { Definition: x75 - x103 - x145 <= 0; } Constraint e160 { Definition: - x75 - x103 + x145 <= 0; } Constraint e161 { Definition: - 11.31*i13 - 11.31*i14 - x72 + 0.5*x76 + 0.5*x100 + x144 <= 0; } Constraint e162 { Definition: - 11.31*i13 + 11.31*i14 + x72 + 0.5*x76 + 0.5*x100 - x144 <= 11.31; } Constraint e163 { Definition: 13*i13 - 13*i14 - x75 + 0.5*x78 + 0.5*x102 + x145 <= 13; } Constraint e164 { Definition: 13*i13 + 13*i14 + x75 + 0.5*x78 + 0.5*x102 - x145 <= 26; } Constraint e165 { Definition: - x60 + x73 - x134 <= 0; } Constraint e166 { Definition: - x60 - x73 + x134 <= 0; } Constraint e167 { Definition: - x61 + x74 - x135 <= 0; } Constraint e168 { Definition: - x61 - x74 + x135 <= 0; } Constraint e169 { Definition: - 11.31*i15 - 11.31*i16 - x73 + 0.5*x77 + 0.5*x80 + x134 <= 0; } Constraint e170 { Definition: - 11.31*i15 + 11.31*i16 + x73 + 0.5*x77 + 0.5*x80 - x134 <= 11.31; } Constraint e171 { Definition: 13*i15 - 13*i16 - x74 + 0.5*x79 + 0.5*x82 + x135 <= 13; } Constraint e172 { Definition: 13*i15 + 13*i16 + x74 + 0.5*x79 + 0.5*x82 - x135 <= 26; } Constraint e173 { Definition: x73 - x104 - x136 <= 0; } Constraint e174 { Definition: - x73 - x104 + x136 <= 0; } Constraint e175 { Definition: x74 - x105 - x137 <= 0; } Constraint e176 { Definition: - x74 - x105 + x137 <= 0; } Constraint e177 { Definition: - 11.31*i17 - 11.31*i18 - x73 + 0.5*x77 + 0.5*x84 + x136 <= 0; } Constraint e178 { Definition: - 11.31*i17 + 11.31*i18 + x73 + 0.5*x77 + 0.5*x84 - x136 <= 11.31; } Constraint e179 { Definition: 13*i17 - 13*i18 - x74 + 0.5*x79 + 0.5*x86 + x137 <= 13; } Constraint e180 { Definition: 13*i17 + 13*i18 + x74 + 0.5*x79 + 0.5*x86 - x137 <= 26; } Constraint e181 { Definition: x73 - x106 - x138 <= 0; } Constraint e182 { Definition: - x73 - x106 + x138 <= 0; } Constraint e183 { Definition: x74 - x107 - x139 <= 0; } Constraint e184 { Definition: - x74 - x107 + x139 <= 0; } Constraint e185 { Definition: - 11.31*i19 - 11.31*i20 - x73 + 0.5*x77 + 0.5*x88 + x138 <= 0; } Constraint e186 { Definition: - 11.31*i19 + 11.31*i20 + x73 + 0.5*x77 + 0.5*x88 - x138 <= 11.31; } Constraint e187 { Definition: 13*i19 - 13*i20 - x74 + 0.5*x79 + 0.5*x90 + x139 <= 13; } Constraint e188 { Definition: 13*i19 + 13*i20 + x74 + 0.5*x79 + 0.5*x90 - x139 <= 26; } Constraint e189 { Definition: x73 - x108 - x140 <= 0; } Constraint e190 { Definition: - x73 - x108 + x140 <= 0; } Constraint e191 { Definition: x74 - x109 - x141 <= 0; } Constraint e192 { Definition: - x74 - x109 + x141 <= 0; } Constraint e193 { Definition: - 11.31*i21 - 11.31*i22 - x73 + 0.5*x77 + 0.5*x92 + x140 <= 0; } Constraint e194 { Definition: - 11.31*i21 + 11.31*i22 + x73 + 0.5*x77 + 0.5*x92 - x140 <= 11.31; } Constraint e195 { Definition: 13*i21 - 13*i22 - x74 + 0.5*x79 + 0.5*x94 + x141 <= 13; } Constraint e196 { Definition: 13*i21 + 13*i22 + x74 + 0.5*x79 + 0.5*x94 - x141 <= 26; } Constraint e197 { Definition: x73 - x110 - x142 <= 0; } Constraint e198 { Definition: - x73 - x110 + x142 <= 0; } Constraint e199 { Definition: x74 - x111 - x143 <= 0; } Constraint e200 { Definition: - x74 - x111 + x143 <= 0; } Constraint e201 { Definition: - 11.31*i23 - 11.31*i24 - x73 + 0.5*x77 + 0.5*x96 + x142 <= 0; } Constraint e202 { Definition: - 11.31*i23 + 11.31*i24 + x73 + 0.5*x77 + 0.5*x96 - x142 <= 11.31; } Constraint e203 { Definition: 13*i23 - 13*i24 - x74 + 0.5*x79 + 0.5*x98 + x143 <= 13; } Constraint e204 { Definition: 13*i23 + 13*i24 + x74 + 0.5*x79 + 0.5*x98 - x143 <= 26; } Constraint e205 { Definition: x73 - x112 - x144 <= 0; } Constraint e206 { Definition: - x73 - x112 + x144 <= 0; } Constraint e207 { Definition: x74 - x113 - x145 <= 0; } Constraint e208 { Definition: - x74 - x113 + x145 <= 0; } Constraint e209 { Definition: - 11.31*i25 - 11.31*i26 - x73 + 0.5*x77 + 0.5*x100 + x144 <= 0; } Constraint e210 { Definition: - 11.31*i25 + 11.31*i26 + x73 + 0.5*x77 + 0.5*x100 - x144 <= 11.31; } Constraint e211 { Definition: 13*i25 - 13*i26 - x74 + 0.5*x79 + 0.5*x102 + x145 <= 13; } Constraint e212 { Definition: 13*i25 + 13*i26 + x74 + 0.5*x79 + 0.5*x102 - x145 <= 26; } Constraint e213 { Definition: - x62 + x134 - x136 <= 0; } Constraint e214 { Definition: - x62 - x134 + x136 <= 0; } Constraint e215 { Definition: - x63 + x135 - x137 <= 0; } Constraint e216 { Definition: - x63 - x135 + x137 <= 0; } Constraint e217 { Definition: - 11.31*i27 - 11.31*i28 + 0.5*x80 + 0.5*x84 - x134 + x136 <= 0; } Constraint e218 { Definition: - 11.31*i27 + 11.31*i28 + 0.5*x80 + 0.5*x84 + x134 - x136 <= 11.31; } Constraint e219 { Definition: 13*i27 - 13*i28 + 0.5*x82 + 0.5*x86 - x135 + x137 <= 13; } Constraint e220 { Definition: 13*i27 + 13*i28 + 0.5*x82 + 0.5*x86 + x135 - x137 <= 26; } Constraint e221 { Definition: - x114 + x134 - x138 <= 0; } Constraint e222 { Definition: - x114 - x134 + x138 <= 0; } Constraint e223 { Definition: - x115 + x135 - x139 <= 0; } Constraint e224 { Definition: - x115 - x135 + x139 <= 0; } Constraint e225 { Definition: - 11.31*i29 - 11.31*i30 + 0.5*x80 + 0.5*x88 - x134 + x138 <= 0; } Constraint e226 { Definition: - 11.31*i29 + 11.31*i30 + 0.5*x80 + 0.5*x88 + x134 - x138 <= 11.31; } Constraint e227 { Definition: 13*i29 - 13*i30 + 0.5*x82 + 0.5*x90 - x135 + x139 <= 13; } Constraint e228 { Definition: 13*i29 + 13*i30 + 0.5*x82 + 0.5*x90 + x135 - x139 <= 26; } Constraint e229 { Definition: - x116 + x134 - x140 <= 0; } Constraint e230 { Definition: - x116 - x134 + x140 <= 0; } Constraint e231 { Definition: - x117 + x135 - x141 <= 0; } Constraint e232 { Definition: - x117 - x135 + x141 <= 0; } Constraint e233 { Definition: - 11.31*i31 - 11.31*i32 + 0.5*x80 + 0.5*x92 - x134 + x140 <= 0; } Constraint e234 { Definition: - 11.31*i31 + 11.31*i32 + 0.5*x80 + 0.5*x92 + x134 - x140 <= 11.31; } Constraint e235 { Definition: 13*i31 - 13*i32 + 0.5*x82 + 0.5*x94 - x135 + x141 <= 13; } Constraint e236 { Definition: 13*i31 + 13*i32 + 0.5*x82 + 0.5*x94 + x135 - x141 <= 26; } Constraint e237 { Definition: - x118 + x134 - x142 <= 0; } Constraint e238 { Definition: - x118 - x134 + x142 <= 0; } Constraint e239 { Definition: - x119 + x135 - x143 <= 0; } Constraint e240 { Definition: - x119 - x135 + x143 <= 0; } Constraint e241 { Definition: - 11.31*i33 - 11.31*i34 + 0.5*x80 + 0.5*x96 - x134 + x142 <= 0; } Constraint e242 { Definition: - 11.31*i33 + 11.31*i34 + 0.5*x80 + 0.5*x96 + x134 - x142 <= 11.31; } Constraint e243 { Definition: 13*i33 - 13*i34 + 0.5*x82 + 0.5*x98 - x135 + x143 <= 13; } Constraint e244 { Definition: 13*i33 + 13*i34 + 0.5*x82 + 0.5*x98 + x135 - x143 <= 26; } Constraint e245 { Definition: - x120 + x134 - x144 <= 0; } Constraint e246 { Definition: - x120 - x134 + x144 <= 0; } Constraint e247 { Definition: - x121 + x135 - x145 <= 0; } Constraint e248 { Definition: - x121 - x135 + x145 <= 0; } Constraint e249 { Definition: - 11.31*i35 - 11.31*i36 + 0.5*x80 + 0.5*x100 - x134 + x144 <= 0; } Constraint e250 { Definition: - 11.31*i35 + 11.31*i36 + 0.5*x80 + 0.5*x100 + x134 - x144 <= 11.31; } Constraint e251 { Definition: 13*i35 - 13*i36 + 0.5*x82 + 0.5*x102 - x135 + x145 <= 13; } Constraint e252 { Definition: 13*i35 + 13*i36 + 0.5*x82 + 0.5*x102 + x135 - x145 <= 26; } Constraint e253 { Definition: - x64 + x136 - x138 <= 0; } Constraint e254 { Definition: - x64 - x136 + x138 <= 0; } Constraint e255 { Definition: - x65 + x137 - x139 <= 0; } Constraint e256 { Definition: - x65 - x137 + x139 <= 0; } Constraint e257 { Definition: - 11.31*i37 - 11.31*i38 + 0.5*x84 + 0.5*x88 - x136 + x138 <= 0; } Constraint e258 { Definition: - 11.31*i37 + 11.31*i38 + 0.5*x84 + 0.5*x88 + x136 - x138 <= 11.31; } Constraint e259 { Definition: 13*i37 - 13*i38 + 0.5*x86 + 0.5*x90 - x137 + x139 <= 13; } Constraint e260 { Definition: 13*i37 + 13*i38 + 0.5*x86 + 0.5*x90 + x137 - x139 <= 26; } Constraint e261 { Definition: - x122 + x136 - x140 <= 0; } Constraint e262 { Definition: - x122 - x136 + x140 <= 0; } Constraint e263 { Definition: - x123 + x137 - x141 <= 0; } Constraint e264 { Definition: - x123 - x137 + x141 <= 0; } Constraint e265 { Definition: - 11.31*i39 - 11.31*i40 + 0.5*x84 + 0.5*x92 - x136 + x140 <= 0; } Constraint e266 { Definition: - 11.31*i39 + 11.31*i40 + 0.5*x84 + 0.5*x92 + x136 - x140 <= 11.31; } Constraint e267 { Definition: 13*i39 - 13*i40 + 0.5*x86 + 0.5*x94 - x137 + x141 <= 13; } Constraint e268 { Definition: 13*i39 + 13*i40 + 0.5*x86 + 0.5*x94 + x137 - x141 <= 26; } Constraint e269 { Definition: - x124 + x136 - x142 <= 0; } Constraint e270 { Definition: - x124 - x136 + x142 <= 0; } Constraint e271 { Definition: - x125 + x137 - x143 <= 0; } Constraint e272 { Definition: - x125 - x137 + x143 <= 0; } Constraint e273 { Definition: - 11.31*i41 - 11.31*i42 + 0.5*x84 + 0.5*x96 - x136 + x142 <= 0; } Constraint e274 { Definition: - 11.31*i41 + 11.31*i42 + 0.5*x84 + 0.5*x96 + x136 - x142 <= 11.31; } Constraint e275 { Definition: 13*i41 - 13*i42 + 0.5*x86 + 0.5*x98 - x137 + x143 <= 13; } Constraint e276 { Definition: 13*i41 + 13*i42 + 0.5*x86 + 0.5*x98 + x137 - x143 <= 26; } Constraint e277 { Definition: - x126 + x136 - x144 <= 0; } Constraint e278 { Definition: - x126 - x136 + x144 <= 0; } Constraint e279 { Definition: - x127 + x137 - x145 <= 0; } Constraint e280 { Definition: - x127 - x137 + x145 <= 0; } Constraint e281 { Definition: - 11.31*i43 - 11.31*i44 + 0.5*x84 + 0.5*x100 - x136 + x144 <= 0; } Constraint e282 { Definition: - 11.31*i43 + 11.31*i44 + 0.5*x84 + 0.5*x100 + x136 - x144 <= 11.31; } Constraint e283 { Definition: 13*i43 - 13*i44 + 0.5*x86 + 0.5*x102 - x137 + x145 <= 13; } Constraint e284 { Definition: 13*i43 + 13*i44 + 0.5*x86 + 0.5*x102 + x137 - x145 <= 26; } Constraint e285 { Definition: - x66 + x138 - x140 <= 0; } Constraint e286 { Definition: - x66 - x138 + x140 <= 0; } Constraint e287 { Definition: - x67 + x139 - x141 <= 0; } Constraint e288 { Definition: - x67 - x139 + x141 <= 0; } Constraint e289 { Definition: - 11.31*i45 - 11.31*i46 + 0.5*x88 + 0.5*x92 - x138 + x140 <= 0; } Constraint e290 { Definition: - 11.31*i45 + 11.31*i46 + 0.5*x88 + 0.5*x92 + x138 - x140 <= 11.31; } Constraint e291 { Definition: 13*i45 - 13*i46 + 0.5*x90 + 0.5*x94 - x139 + x141 <= 13; } Constraint e292 { Definition: 13*i45 + 13*i46 + 0.5*x90 + 0.5*x94 + x139 - x141 <= 26; } Constraint e293 { Definition: - x128 + x138 - x142 <= 0; } Constraint e294 { Definition: - x128 - x138 + x142 <= 0; } Constraint e295 { Definition: - x129 + x139 - x143 <= 0; } Constraint e296 { Definition: - x129 - x139 + x143 <= 0; } Constraint e297 { Definition: - 11.31*i47 - 11.31*i48 + 0.5*x88 + 0.5*x96 - x138 + x142 <= 0; } Constraint e298 { Definition: - 11.31*i47 + 11.31*i48 + 0.5*x88 + 0.5*x96 + x138 - x142 <= 11.31; } Constraint e299 { Definition: 13*i47 - 13*i48 + 0.5*x90 + 0.5*x98 - x139 + x143 <= 13; } Constraint e300 { Definition: 13*i47 + 13*i48 + 0.5*x90 + 0.5*x98 + x139 - x143 <= 26; } Constraint e301 { Definition: - x130 + x138 - x144 <= 0; } Constraint e302 { Definition: - x130 - x138 + x144 <= 0; } Constraint e303 { Definition: - x131 + x139 - x145 <= 0; } Constraint e304 { Definition: - x131 - x139 + x145 <= 0; } Constraint e305 { Definition: - 11.31*i49 - 11.31*i50 + 0.5*x88 + 0.5*x100 - x138 + x144 <= 0; } Constraint e306 { Definition: - 11.31*i49 + 11.31*i50 + 0.5*x88 + 0.5*x100 + x138 - x144 <= 11.31; } Constraint e307 { Definition: 13*i49 - 13*i50 + 0.5*x90 + 0.5*x102 - x139 + x145 <= 13; } Constraint e308 { Definition: 13*i49 + 13*i50 + 0.5*x90 + 0.5*x102 + x139 - x145 <= 26; } Constraint e309 { Definition: - x68 + x140 - x142 <= 0; } Constraint e310 { Definition: - x68 - x140 + x142 <= 0; } Constraint e311 { Definition: - x69 + x141 - x143 <= 0; } Constraint e312 { Definition: - x69 - x141 + x143 <= 0; } Constraint e313 { Definition: - 11.31*i51 - 11.31*i52 + 0.5*x92 + 0.5*x96 - x140 + x142 <= 0; } Constraint e314 { Definition: - 11.31*i51 + 11.31*i52 + 0.5*x92 + 0.5*x96 + x140 - x142 <= 11.31; } Constraint e315 { Definition: 13*i51 - 13*i52 + 0.5*x94 + 0.5*x98 - x141 + x143 <= 13; } Constraint e316 { Definition: 13*i51 + 13*i52 + 0.5*x94 + 0.5*x98 + x141 - x143 <= 26; } Constraint e317 { Definition: - x132 + x140 - x144 <= 0; } Constraint e318 { Definition: - x132 - x140 + x144 <= 0; } Constraint e319 { Definition: - x133 + x141 - x145 <= 0; } Constraint e320 { Definition: - x133 - x141 + x145 <= 0; } Constraint e321 { Definition: - 11.31*i53 - 11.31*i54 + 0.5*x92 + 0.5*x100 - x140 + x144 <= 0; } Constraint e322 { Definition: - 11.31*i53 + 11.31*i54 + 0.5*x92 + 0.5*x100 + x140 - x144 <= 11.31; } Constraint e323 { Definition: 13*i53 - 13*i54 + 0.5*x94 + 0.5*x102 - x141 + x145 <= 13; } Constraint e324 { Definition: 13*i53 + 13*i54 + 0.5*x94 + 0.5*x102 + x141 - x145 <= 26; } Constraint e325 { Definition: - x70 + x142 - x144 <= 0; } Constraint e326 { Definition: - x70 - x142 + x144 <= 0; } Constraint e327 { Definition: - x71 + x143 - x145 <= 0; } Constraint e328 { Definition: - x71 - x143 + x145 <= 0; } Constraint e329 { Definition: - 11.31*i55 - 11.31*i56 + 0.5*x96 + 0.5*x100 - x142 + x144 <= 0; } Constraint e330 { Definition: - 11.31*i55 + 11.31*i56 + 0.5*x96 + 0.5*x100 + x142 - x144 <= 11.31; } Constraint e331 { Definition: 13*i55 - 13*i56 + 0.5*x98 + 0.5*x102 - x143 + x145 <= 13; } Constraint e332 { Definition: 13*i55 + 13*i56 + 0.5*x98 + 0.5*x102 + x143 - x145 <= 26; } Constraint e333 { Definition: 16/x76 - x78 <= 0; } Constraint e334 { Definition: 16/x78 - x76 <= 0; } Constraint e335 { Definition: 16/x77 - x79 <= 0; } Constraint e336 { Definition: 16/x79 - x77 <= 0; } Constraint e337 { Definition: 16/x80 - x82 <= 0; } Constraint e338 { Definition: 16/x82 - x80 <= 0; } Constraint e339 { Definition: 36/x84 - x86 <= 0; } Constraint e340 { Definition: 36/x86 - x84 <= 0; } Constraint e341 { Definition: 36/x88 - x90 <= 0; } Constraint e342 { Definition: 36/x90 - x88 <= 0; } Constraint e343 { Definition: 9/x92 - x94 <= 0; } Constraint e344 { Definition: 9/x94 - x92 <= 0; } Constraint e345 { Definition: 9/x96 - x98 <= 0; } Constraint e346 { Definition: 9/x98 - x96 <= 0; } Constraint e347 { Definition: 9/x100 - x102 <= 0; } Constraint e348 { Definition: 9/x102 - x100 <= 0; } Procedure MainInitialization { Body: { i1.upper := 100; i2.upper := 100; i3.upper := 100; i4.upper := 100; i5.upper := 100; i6.upper := 100; i7.upper := 100; i8.upper := 100; i9.upper := 100; i10.upper := 100; i11.upper := 100; i12.upper := 100; i13.upper := 100; i14.upper := 100; i15.upper := 100; i16.upper := 100; i17.upper := 100; i18.upper := 100; i19.upper := 100; i20.upper := 100; i21.upper := 100; i22.upper := 100; i23.upper := 100; i24.upper := 100; i25.upper := 100; i26.upper := 100; i27.upper := 100; i28.upper := 100; i29.upper := 100; i30.upper := 100; i31.upper := 100; i32.upper := 100; i33.upper := 100; i34.upper := 100; i35.upper := 100; i36.upper := 100; i37.upper := 100; i38.upper := 100; i39.upper := 100; i40.upper := 100; i41.upper := 100; i42.upper := 100; i43.upper := 100; i44.upper := 100; i45.upper := 100; i46.upper := 100; i47.upper := 100; i48.upper := 100; i49.upper := 100; i50.upper := 100; i51.upper := 100; i52.upper := 100; i53.upper := 100; i54.upper := 100; i55.upper := 100; i56.upper := 100; x76.lower := 2.8284; x76.upper := 5.6569; x77.lower := 2.8284; x77.upper := 5.6569; x78.lower := 2.8284; x78.upper := 5.6569; x79.lower := 2.8284; x79.upper := 5.6569; x80.lower := 2.8284; x80.upper := 5.6569; x82.lower := 2.8284; x82.upper := 5.6569; x84.lower := 4.2426; x84.upper := 8.4853; x86.lower := 4.2426; x86.upper := 8.4853; x88.lower := 4.2426; x88.upper := 8.4853; x90.lower := 4.2426; x90.upper := 8.4853; x92.lower := 2.1213; x92.upper := 4.2426; x94.lower := 2.1213; x94.upper := 4.2426; x96.lower := 2.1213; x96.upper := 4.2426; x98.lower := 2.1213; x98.upper := 4.2426; x100.lower := 2.1213; x100.upper := 4.2426; x102.lower := 2.1213; x102.upper := 4.2426; } } MathematicalProgram fo8_ar2_1 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve fo8_ar2_1; } } Procedure MainTermination { Body: { return 1; } } }