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