## ams_version=1.0 Model Main_fo7_ar25_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 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; Constraint e1 { Definition: { objvar - x44 - x45 - x46 - x47 - x48 - x49 - x50 - x51 - x52 - x53 - x54 - x55 = 0 } } Constraint e2 { Definition: x56 - x57 >= 0; } Constraint e3 { Definition: x58 - x59 >= 0; } Constraint e4 { Definition: i1 - i2 = 0; } Constraint e5 { Definition: - 8.54*i1 - x44 + 0.5*x60 + 0.5*x61 <= 0; } Constraint e6 { Definition: 13*i1 - x45 + 0.5*x62 + 0.5*x63 <= 13; } Constraint e7 { Definition: - 8.54*i3 + 0.5*x60 + 0.5*x64 - x65 <= 0; } Constraint e8 { Definition: 13*i3 + 0.5*x62 + 0.5*x66 - x67 <= 13; } Constraint e9 { Definition: - 8.54*i5 + 0.5*x60 + 0.5*x68 - x69 <= 0; } Constraint e10 { Definition: 13*i5 + 0.5*x62 + 0.5*x70 - x71 <= 13; } Constraint e11 { Definition: - 8.54*i7 + 0.5*x60 + 0.5*x72 - x73 <= 0; } Constraint e12 { Definition: 13*i7 + 0.5*x62 + 0.5*x74 - x75 <= 13; } Constraint e13 { Definition: - 8.54*i9 + 0.5*x60 + 0.5*x76 - x77 <= 0; } Constraint e14 { Definition: 13*i9 + 0.5*x62 + 0.5*x78 - x79 <= 13; } Constraint e15 { Definition: - 8.54*i11 + 0.5*x60 + 0.5*x80 - x81 <= 0; } Constraint e16 { Definition: 13*i11 + 0.5*x62 + 0.5*x82 - x83 <= 13; } Constraint e17 { Definition: - 8.54*i13 - x46 + 0.5*x61 + 0.5*x64 <= 0; } Constraint e18 { Definition: 13*i13 - x47 + 0.5*x63 + 0.5*x66 <= 13; } Constraint e19 { Definition: - 8.54*i15 + 0.5*x61 + 0.5*x68 - x84 <= 0; } Constraint e20 { Definition: 13*i15 + 0.5*x63 + 0.5*x70 - x85 <= 13; } Constraint e21 { Definition: - 8.54*i17 + 0.5*x61 + 0.5*x72 - x86 <= 0; } Constraint e22 { Definition: 13*i17 + 0.5*x63 + 0.5*x74 - x87 <= 13; } Constraint e23 { Definition: - 8.54*i19 + 0.5*x61 + 0.5*x76 - x88 <= 0; } Constraint e24 { Definition: 13*i19 + 0.5*x63 + 0.5*x78 - x89 <= 13; } Constraint e25 { Definition: - 8.54*i21 + 0.5*x61 + 0.5*x80 - x90 <= 0; } Constraint e26 { Definition: 13*i21 + 0.5*x63 + 0.5*x82 - x91 <= 13; } Constraint e27 { Definition: - 8.54*i23 - x48 + 0.5*x64 + 0.5*x68 <= 0; } Constraint e28 { Definition: 13*i23 - x49 + 0.5*x66 + 0.5*x70 <= 13; } Constraint e29 { Definition: - 8.54*i25 + 0.5*x64 + 0.5*x72 - x92 <= 0; } Constraint e30 { Definition: 13*i25 + 0.5*x66 + 0.5*x74 - x93 <= 13; } Constraint e31 { Definition: - 8.54*i27 + 0.5*x64 + 0.5*x76 - x94 <= 0; } Constraint e32 { Definition: 13*i27 + 0.5*x66 + 0.5*x78 - x95 <= 13; } Constraint e33 { Definition: - 8.54*i29 + 0.5*x64 + 0.5*x80 - x96 <= 0; } Constraint e34 { Definition: 13*i29 + 0.5*x66 + 0.5*x82 - x97 <= 13; } Constraint e35 { Definition: - 8.54*i31 - x50 + 0.5*x68 + 0.5*x72 <= 0; } Constraint e36 { Definition: 13*i31 - x51 + 0.5*x70 + 0.5*x74 <= 13; } Constraint e37 { Definition: - 8.54*i33 + 0.5*x68 + 0.5*x76 - x98 <= 0; } Constraint e38 { Definition: 13*i33 + 0.5*x70 + 0.5*x78 - x99 <= 13; } Constraint e39 { Definition: - 8.54*i35 + 0.5*x68 + 0.5*x80 - x100 <= 0; } Constraint e40 { Definition: 13*i35 + 0.5*x70 + 0.5*x82 - x101 <= 13; } Constraint e41 { Definition: - 8.54*i37 - x52 + 0.5*x72 + 0.5*x76 <= 0; } Constraint e42 { Definition: 13*i37 - x53 + 0.5*x74 + 0.5*x78 <= 13; } Constraint e43 { Definition: - 8.54*i39 + 0.5*x72 + 0.5*x80 - x102 <= 0; } Constraint e44 { Definition: 13*i39 + 0.5*x74 + 0.5*x82 - x103 <= 13; } Constraint e45 { Definition: - 8.54*i41 - x54 + 0.5*x76 + 0.5*x80 <= 0; } Constraint e46 { Definition: 13*i41 - x55 + 0.5*x78 + 0.5*x82 <= 13; } Constraint e47 { Definition: - 0.395288*x60 - 0.158112*x62 <= -2; } Constraint e48 { Definition: - 0.158113*x60 - 0.395288*x62 <= -2; } Constraint e49 { Definition: - 0.395288*x61 - 0.158112*x63 <= -2; } Constraint e50 { Definition: - 0.158113*x61 - 0.395288*x63 <= -2; } Constraint e51 { Definition: - 0.395288*x64 - 0.158112*x66 <= -2; } Constraint e52 { Definition: - 0.158113*x64 - 0.395288*x66 <= -2; } Constraint e53 { Definition: - 0.263525*x68 - 0.105408*x70 <= -2; } Constraint e54 { Definition: - 0.117096*x68 - 0.237222*x70 <= -2; } Constraint e55 { Definition: - 0.527037*x72 - 0.210822*x74 <= -2; } Constraint e56 { Definition: - 0.210819*x72 - 0.527044*x74 <= -2; } Constraint e57 { Definition: - 0.527037*x76 - 0.210822*x78 <= -2; } Constraint e58 { Definition: - 0.210819*x76 - 0.527044*x78 <= -2; } Constraint e59 { Definition: - 0.527037*x80 - 0.210822*x82 <= -2; } Constraint e60 { Definition: - 0.210819*x80 - 0.527044*x82 <= -2; } Constraint e61 { Definition: x56 + 0.5*x60 <= 8.54; } Constraint e62 { Definition: - x56 + 0.5*x60 <= 0; } Constraint e63 { Definition: x59 + 0.5*x62 <= 13; } Constraint e64 { Definition: - x59 + 0.5*x62 <= 0; } Constraint e65 { Definition: x57 + 0.5*x61 <= 8.54; } Constraint e66 { Definition: - x57 + 0.5*x61 <= 0; } Constraint e67 { Definition: x58 + 0.5*x63 <= 13; } Constraint e68 { Definition: - x58 + 0.5*x63 <= 0; } Constraint e69 { Definition: 0.5*x64 + x104 <= 8.54; } Constraint e70 { Definition: 0.5*x64 - x104 <= 0; } Constraint e71 { Definition: 0.5*x66 + x105 <= 13; } Constraint e72 { Definition: 0.5*x66 - x105 <= 0; } Constraint e73 { Definition: 0.5*x68 + x106 <= 8.54; } Constraint e74 { Definition: 0.5*x68 - x106 <= 0; } Constraint e75 { Definition: 0.5*x70 + x107 <= 13; } Constraint e76 { Definition: 0.5*x70 - x107 <= 0; } Constraint e77 { Definition: 0.5*x72 + x108 <= 8.54; } Constraint e78 { Definition: 0.5*x72 - x108 <= 0; } Constraint e79 { Definition: 0.5*x74 + x109 <= 13; } Constraint e80 { Definition: 0.5*x74 - x109 <= 0; } Constraint e81 { Definition: 0.5*x76 + x110 <= 8.54; } Constraint e82 { Definition: 0.5*x76 - x110 <= 0; } Constraint e83 { Definition: 0.5*x78 + x111 <= 13; } Constraint e84 { Definition: 0.5*x78 - x111 <= 0; } Constraint e85 { Definition: 0.5*x80 + x112 <= 8.54; } Constraint e86 { Definition: 0.5*x80 - x112 <= 0; } Constraint e87 { Definition: 0.5*x82 + x113 <= 13; } Constraint e88 { Definition: 0.5*x82 - x113 <= 0; } Constraint e89 { Definition: - x44 + x56 - x57 <= 0; } Constraint e90 { Definition: - x44 - x56 + x57 <= 0; } Constraint e91 { Definition: - x45 - x58 + x59 <= 0; } Constraint e92 { Definition: - x45 + x58 - x59 <= 0; } Constraint e93 { Definition: - 8.54*i1 - 8.54*i2 - x56 + x57 + 0.5*x60 + 0.5*x61 <= 0; } Constraint e94 { Definition: - 8.54*i1 + 8.54*i2 + x56 - x57 + 0.5*x60 + 0.5*x61 <= 8.54; } Constraint e95 { Definition: 13*i1 - 13*i2 + x58 - x59 + 0.5*x62 + 0.5*x63 <= 13; } Constraint e96 { Definition: 13*i1 + 13*i2 - x58 + x59 + 0.5*x62 + 0.5*x63 <= 26; } Constraint e97 { Definition: x56 - x65 - x104 <= 0; } Constraint e98 { Definition: - x56 - x65 + x104 <= 0; } Constraint e99 { Definition: x59 - x67 - x105 <= 0; } Constraint e100 { Definition: - x59 - x67 + x105 <= 0; } Constraint e101 { Definition: - 8.54*i3 - 8.54*i4 - x56 + 0.5*x60 + 0.5*x64 + x104 <= 0; } Constraint e102 { Definition: - 8.54*i3 + 8.54*i4 + x56 + 0.5*x60 + 0.5*x64 - x104 <= 8.54; } Constraint e103 { Definition: 13*i3 - 13*i4 - x59 + 0.5*x62 + 0.5*x66 + x105 <= 13; } Constraint e104 { Definition: 13*i3 + 13*i4 + x59 + 0.5*x62 + 0.5*x66 - x105 <= 26; } Constraint e105 { Definition: x56 - x69 - x106 <= 0; } Constraint e106 { Definition: - x56 - x69 + x106 <= 0; } Constraint e107 { Definition: x59 - x71 - x107 <= 0; } Constraint e108 { Definition: - x59 - x71 + x107 <= 0; } Constraint e109 { Definition: - 8.54*i5 - 8.54*i6 - x56 + 0.5*x60 + 0.5*x68 + x106 <= 0; } Constraint e110 { Definition: - 8.54*i5 + 8.54*i6 + x56 + 0.5*x60 + 0.5*x68 - x106 <= 8.54; } Constraint e111 { Definition: 13*i5 - 13*i6 - x59 + 0.5*x62 + 0.5*x70 + x107 <= 13; } Constraint e112 { Definition: 13*i5 + 13*i6 + x59 + 0.5*x62 + 0.5*x70 - x107 <= 26; } Constraint e113 { Definition: x56 - x73 - x108 <= 0; } Constraint e114 { Definition: - x56 - x73 + x108 <= 0; } Constraint e115 { Definition: x59 - x75 - x109 <= 0; } Constraint e116 { Definition: - x59 - x75 + x109 <= 0; } Constraint e117 { Definition: - 8.54*i7 - 8.54*i8 - x56 + 0.5*x60 + 0.5*x72 + x108 <= 0; } Constraint e118 { Definition: - 8.54*i7 + 8.54*i8 + x56 + 0.5*x60 + 0.5*x72 - x108 <= 8.54; } Constraint e119 { Definition: 13*i7 - 13*i8 - x59 + 0.5*x62 + 0.5*x74 + x109 <= 13; } Constraint e120 { Definition: 13*i7 + 13*i8 + x59 + 0.5*x62 + 0.5*x74 - x109 <= 26; } Constraint e121 { Definition: x56 - x77 - x110 <= 0; } Constraint e122 { Definition: - x56 - x77 + x110 <= 0; } Constraint e123 { Definition: x59 - x79 - x111 <= 0; } Constraint e124 { Definition: - x59 - x79 + x111 <= 0; } Constraint e125 { Definition: - 8.54*i9 - 8.54*i10 - x56 + 0.5*x60 + 0.5*x76 + x110 <= 0; } Constraint e126 { Definition: - 8.54*i9 + 8.54*i10 + x56 + 0.5*x60 + 0.5*x76 - x110 <= 8.54; } Constraint e127 { Definition: 13*i9 - 13*i10 - x59 + 0.5*x62 + 0.5*x78 + x111 <= 13; } Constraint e128 { Definition: 13*i9 + 13*i10 + x59 + 0.5*x62 + 0.5*x78 - x111 <= 26; } Constraint e129 { Definition: x56 - x81 - x112 <= 0; } Constraint e130 { Definition: - x56 - x81 + x112 <= 0; } Constraint e131 { Definition: x59 - x83 - x113 <= 0; } Constraint e132 { Definition: - x59 - x83 + x113 <= 0; } Constraint e133 { Definition: - 8.54*i11 - 8.54*i12 - x56 + 0.5*x60 + 0.5*x80 + x112 <= 0; } Constraint e134 { Definition: - 8.54*i11 + 8.54*i12 + x56 + 0.5*x60 + 0.5*x80 - x112 <= 8.54; } Constraint e135 { Definition: 13*i11 - 13*i12 - x59 + 0.5*x62 + 0.5*x82 + x113 <= 13; } Constraint e136 { Definition: 13*i11 + 13*i12 + x59 + 0.5*x62 + 0.5*x82 - x113 <= 26; } Constraint e137 { Definition: - x46 + x57 - x104 <= 0; } Constraint e138 { Definition: - x46 - x57 + x104 <= 0; } Constraint e139 { Definition: - x47 + x58 - x105 <= 0; } Constraint e140 { Definition: - x47 - x58 + x105 <= 0; } Constraint e141 { Definition: - 8.54*i13 - 8.54*i14 - x57 + 0.5*x61 + 0.5*x64 + x104 <= 0; } Constraint e142 { Definition: - 8.54*i13 + 8.54*i14 + x57 + 0.5*x61 + 0.5*x64 - x104 <= 8.54; } Constraint e143 { Definition: 13*i13 - 13*i14 - x58 + 0.5*x63 + 0.5*x66 + x105 <= 13; } Constraint e144 { Definition: 13*i13 + 13*i14 + x58 + 0.5*x63 + 0.5*x66 - x105 <= 26; } Constraint e145 { Definition: x57 - x84 - x106 <= 0; } Constraint e146 { Definition: - x57 - x84 + x106 <= 0; } Constraint e147 { Definition: x58 - x85 - x107 <= 0; } Constraint e148 { Definition: - x58 - x85 + x107 <= 0; } Constraint e149 { Definition: - 8.54*i15 - 8.54*i16 - x57 + 0.5*x61 + 0.5*x68 + x106 <= 0; } Constraint e150 { Definition: - 8.54*i15 + 8.54*i16 + x57 + 0.5*x61 + 0.5*x68 - x106 <= 8.54; } Constraint e151 { Definition: 13*i15 - 13*i16 - x58 + 0.5*x63 + 0.5*x70 + x107 <= 13; } Constraint e152 { Definition: 13*i15 + 13*i16 + x58 + 0.5*x63 + 0.5*x70 - x107 <= 26; } Constraint e153 { Definition: x57 - x86 - x108 <= 0; } Constraint e154 { Definition: - x57 - x86 + x108 <= 0; } Constraint e155 { Definition: x58 - x87 - x109 <= 0; } Constraint e156 { Definition: - x58 - x87 + x109 <= 0; } Constraint e157 { Definition: - 8.54*i17 - 8.54*i18 - x57 + 0.5*x61 + 0.5*x72 + x108 <= 0; } Constraint e158 { Definition: - 8.54*i17 + 8.54*i18 + x57 + 0.5*x61 + 0.5*x72 - x108 <= 8.54; } Constraint e159 { Definition: 13*i17 - 13*i18 - x58 + 0.5*x63 + 0.5*x74 + x109 <= 13; } Constraint e160 { Definition: 13*i17 + 13*i18 + x58 + 0.5*x63 + 0.5*x74 - x109 <= 26; } Constraint e161 { Definition: x57 - x88 - x110 <= 0; } Constraint e162 { Definition: - x57 - x88 + x110 <= 0; } Constraint e163 { Definition: x58 - x89 - x111 <= 0; } Constraint e164 { Definition: - x58 - x89 + x111 <= 0; } Constraint e165 { Definition: - 8.54*i19 - 8.54*i20 - x57 + 0.5*x61 + 0.5*x76 + x110 <= 0; } Constraint e166 { Definition: - 8.54*i19 + 8.54*i20 + x57 + 0.5*x61 + 0.5*x76 - x110 <= 8.54; } Constraint e167 { Definition: 13*i19 - 13*i20 - x58 + 0.5*x63 + 0.5*x78 + x111 <= 13; } Constraint e168 { Definition: 13*i19 + 13*i20 + x58 + 0.5*x63 + 0.5*x78 - x111 <= 26; } Constraint e169 { Definition: x57 - x90 - x112 <= 0; } Constraint e170 { Definition: - x57 - x90 + x112 <= 0; } Constraint e171 { Definition: x58 - x91 - x113 <= 0; } Constraint e172 { Definition: - x58 - x91 + x113 <= 0; } Constraint e173 { Definition: - 8.54*i21 - 8.54*i22 - x57 + 0.5*x61 + 0.5*x80 + x112 <= 0; } Constraint e174 { Definition: - 8.54*i21 + 8.54*i22 + x57 + 0.5*x61 + 0.5*x80 - x112 <= 8.54; } Constraint e175 { Definition: 13*i21 - 13*i22 - x58 + 0.5*x63 + 0.5*x82 + x113 <= 13; } Constraint e176 { Definition: 13*i21 + 13*i22 + x58 + 0.5*x63 + 0.5*x82 - x113 <= 26; } Constraint e177 { Definition: - x48 + x104 - x106 <= 0; } Constraint e178 { Definition: - x48 - x104 + x106 <= 0; } Constraint e179 { Definition: - x49 + x105 - x107 <= 0; } Constraint e180 { Definition: - x49 - x105 + x107 <= 0; } Constraint e181 { Definition: - 8.54*i23 - 8.54*i24 + 0.5*x64 + 0.5*x68 - x104 + x106 <= 0; } Constraint e182 { Definition: - 8.54*i23 + 8.54*i24 + 0.5*x64 + 0.5*x68 + x104 - x106 <= 8.54; } Constraint e183 { Definition: 13*i23 - 13*i24 + 0.5*x66 + 0.5*x70 - x105 + x107 <= 13; } Constraint e184 { Definition: 13*i23 + 13*i24 + 0.5*x66 + 0.5*x70 + x105 - x107 <= 26; } Constraint e185 { Definition: - x92 + x104 - x108 <= 0; } Constraint e186 { Definition: - x92 - x104 + x108 <= 0; } Constraint e187 { Definition: - x93 + x105 - x109 <= 0; } Constraint e188 { Definition: - x93 - x105 + x109 <= 0; } Constraint e189 { Definition: - 8.54*i25 - 8.54*i26 + 0.5*x64 + 0.5*x72 - x104 + x108 <= 0; } Constraint e190 { Definition: - 8.54*i25 + 8.54*i26 + 0.5*x64 + 0.5*x72 + x104 - x108 <= 8.54; } Constraint e191 { Definition: 13*i25 - 13*i26 + 0.5*x66 + 0.5*x74 - x105 + x109 <= 13; } Constraint e192 { Definition: 13*i25 + 13*i26 + 0.5*x66 + 0.5*x74 + x105 - x109 <= 26; } Constraint e193 { Definition: - x94 + x104 - x110 <= 0; } Constraint e194 { Definition: - x94 - x104 + x110 <= 0; } Constraint e195 { Definition: - x95 + x105 - x111 <= 0; } Constraint e196 { Definition: - x95 - x105 + x111 <= 0; } Constraint e197 { Definition: - 8.54*i27 - 8.54*i28 + 0.5*x64 + 0.5*x76 - x104 + x110 <= 0; } Constraint e198 { Definition: - 8.54*i27 + 8.54*i28 + 0.5*x64 + 0.5*x76 + x104 - x110 <= 8.54; } Constraint e199 { Definition: 13*i27 - 13*i28 + 0.5*x66 + 0.5*x78 - x105 + x111 <= 13; } Constraint e200 { Definition: 13*i27 + 13*i28 + 0.5*x66 + 0.5*x78 + x105 - x111 <= 26; } Constraint e201 { Definition: - x96 + x104 - x112 <= 0; } Constraint e202 { Definition: - x96 - x104 + x112 <= 0; } Constraint e203 { Definition: - x97 + x105 - x113 <= 0; } Constraint e204 { Definition: - x97 - x105 + x113 <= 0; } Constraint e205 { Definition: - 8.54*i29 - 8.54*i30 + 0.5*x64 + 0.5*x80 - x104 + x112 <= 0; } Constraint e206 { Definition: - 8.54*i29 + 8.54*i30 + 0.5*x64 + 0.5*x80 + x104 - x112 <= 8.54; } Constraint e207 { Definition: 13*i29 - 13*i30 + 0.5*x66 + 0.5*x82 - x105 + x113 <= 13; } Constraint e208 { Definition: 13*i29 + 13*i30 + 0.5*x66 + 0.5*x82 + x105 - x113 <= 26; } Constraint e209 { Definition: - x50 + x106 - x108 <= 0; } Constraint e210 { Definition: - x50 - x106 + x108 <= 0; } Constraint e211 { Definition: - x51 + x107 - x109 <= 0; } Constraint e212 { Definition: - x51 - x107 + x109 <= 0; } Constraint e213 { Definition: - 8.54*i31 - 8.54*i32 + 0.5*x68 + 0.5*x72 - x106 + x108 <= 0; } Constraint e214 { Definition: - 8.54*i31 + 8.54*i32 + 0.5*x68 + 0.5*x72 + x106 - x108 <= 8.54; } Constraint e215 { Definition: 13*i31 - 13*i32 + 0.5*x70 + 0.5*x74 - x107 + x109 <= 13; } Constraint e216 { Definition: 13*i31 + 13*i32 + 0.5*x70 + 0.5*x74 + x107 - x109 <= 26; } Constraint e217 { Definition: - x98 + x106 - x110 <= 0; } Constraint e218 { Definition: - x98 - x106 + x110 <= 0; } Constraint e219 { Definition: - x99 + x107 - x111 <= 0; } Constraint e220 { Definition: - x99 - x107 + x111 <= 0; } Constraint e221 { Definition: - 8.54*i33 - 8.54*i34 + 0.5*x68 + 0.5*x76 - x106 + x110 <= 0; } Constraint e222 { Definition: - 8.54*i33 + 8.54*i34 + 0.5*x68 + 0.5*x76 + x106 - x110 <= 8.54; } Constraint e223 { Definition: 13*i33 - 13*i34 + 0.5*x70 + 0.5*x78 - x107 + x111 <= 13; } Constraint e224 { Definition: 13*i33 + 13*i34 + 0.5*x70 + 0.5*x78 + x107 - x111 <= 26; } Constraint e225 { Definition: - x100 + x106 - x112 <= 0; } Constraint e226 { Definition: - x100 - x106 + x112 <= 0; } Constraint e227 { Definition: - x101 + x107 - x113 <= 0; } Constraint e228 { Definition: - x101 - x107 + x113 <= 0; } Constraint e229 { Definition: - 8.54*i35 - 8.54*i36 + 0.5*x68 + 0.5*x80 - x106 + x112 <= 0; } Constraint e230 { Definition: - 8.54*i35 + 8.54*i36 + 0.5*x68 + 0.5*x80 + x106 - x112 <= 8.54; } Constraint e231 { Definition: 13*i35 - 13*i36 + 0.5*x70 + 0.5*x82 - x107 + x113 <= 13; } Constraint e232 { Definition: 13*i35 + 13*i36 + 0.5*x70 + 0.5*x82 + x107 - x113 <= 26; } Constraint e233 { Definition: - x52 + x108 - x110 <= 0; } Constraint e234 { Definition: - x52 - x108 + x110 <= 0; } Constraint e235 { Definition: - x53 + x109 - x111 <= 0; } Constraint e236 { Definition: - x53 - x109 + x111 <= 0; } Constraint e237 { Definition: - 8.54*i37 - 8.54*i38 + 0.5*x72 + 0.5*x76 - x108 + x110 <= 0; } Constraint e238 { Definition: - 8.54*i37 + 8.54*i38 + 0.5*x72 + 0.5*x76 + x108 - x110 <= 8.54; } Constraint e239 { Definition: 13*i37 - 13*i38 + 0.5*x74 + 0.5*x78 - x109 + x111 <= 13; } Constraint e240 { Definition: 13*i37 + 13*i38 + 0.5*x74 + 0.5*x78 + x109 - x111 <= 26; } Constraint e241 { Definition: - x102 + x108 - x112 <= 0; } Constraint e242 { Definition: - x102 - x108 + x112 <= 0; } Constraint e243 { Definition: - x103 + x109 - x113 <= 0; } Constraint e244 { Definition: - x103 - x109 + x113 <= 0; } Constraint e245 { Definition: - 8.54*i39 - 8.54*i40 + 0.5*x72 + 0.5*x80 - x108 + x112 <= 0; } Constraint e246 { Definition: - 8.54*i39 + 8.54*i40 + 0.5*x72 + 0.5*x80 + x108 - x112 <= 8.54; } Constraint e247 { Definition: 13*i39 - 13*i40 + 0.5*x74 + 0.5*x82 - x109 + x113 <= 13; } Constraint e248 { Definition: 13*i39 + 13*i40 + 0.5*x74 + 0.5*x82 + x109 - x113 <= 26; } Constraint e249 { Definition: - x54 + x110 - x112 <= 0; } Constraint e250 { Definition: - x54 - x110 + x112 <= 0; } Constraint e251 { Definition: - x55 + x111 - x113 <= 0; } Constraint e252 { Definition: - x55 - x111 + x113 <= 0; } Constraint e253 { Definition: - 8.54*i41 - 8.54*i42 + 0.5*x76 + 0.5*x80 - x110 + x112 <= 0; } Constraint e254 { Definition: - 8.54*i41 + 8.54*i42 + 0.5*x76 + 0.5*x80 + x110 - x112 <= 8.54; } Constraint e255 { Definition: 13*i41 - 13*i42 + 0.5*x78 + 0.5*x82 - x111 + x113 <= 13; } Constraint e256 { Definition: 13*i41 + 13*i42 + 0.5*x78 + 0.5*x82 + x111 - x113 <= 26; } Constraint e257 { Definition: 16/x60 - x62 <= 0; } Constraint e258 { Definition: 16/x62 - x60 <= 0; } Constraint e259 { Definition: 16/x61 - x63 <= 0; } Constraint e260 { Definition: 16/x63 - x61 <= 0; } Constraint e261 { Definition: 16/x64 - x66 <= 0; } Constraint e262 { Definition: 16/x66 - x64 <= 0; } Constraint e263 { Definition: 36/x68 - x70 <= 0; } Constraint e264 { Definition: 36/x70 - x68 <= 0; } Constraint e265 { Definition: 9/x72 - x74 <= 0; } Constraint e266 { Definition: 9/x74 - x72 <= 0; } Constraint e267 { Definition: 9/x76 - x78 <= 0; } Constraint e268 { Definition: 9/x78 - x76 <= 0; } Constraint e269 { Definition: 9/x80 - x82 <= 0; } Constraint e270 { Definition: 9/x82 - x80 <= 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; x60.lower := 2.5298; x60.upper := 6.3246; x61.lower := 2.5298; x61.upper := 6.3246; x62.lower := 2.5298; x62.upper := 6.3246; x63.lower := 2.5298; x63.upper := 6.3246; x64.lower := 2.5298; x64.upper := 6.3246; x66.lower := 2.5298; x66.upper := 6.3246; x68.lower := 3.7947; x68.upper := 8.54; x70.lower := 4.2155; x70.upper := 9.4868; x72.lower := 1.8974; x72.upper := 4.7434; x74.lower := 1.8974; x74.upper := 4.7434; x76.lower := 1.8974; x76.upper := 4.7434; x78.lower := 1.8974; x78.upper := 4.7434; x80.lower := 1.8974; x80.upper := 4.7434; x82.lower := 1.8974; x82.upper := 4.7434; } } MathematicalProgram fo7_ar25_1 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve fo7_ar25_1; } } Procedure MainTermination { Body: { return 1; } } }