## ams_version=1.0 Model Main_fo9_ar4_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 i57 { Range: integer; } Variable i58 { Range: integer; } Variable i59 { Range: integer; } Variable i60 { Range: integer; } Variable i61 { Range: integer; } Variable i62 { Range: integer; } Variable i63 { Range: integer; } Variable i64 { Range: integer; } Variable i65 { Range: integer; } Variable i66 { Range: integer; } Variable i67 { Range: integer; } Variable i68 { Range: integer; } Variable i69 { Range: integer; } Variable i70 { Range: integer; } Variable i71 { Range: integer; } Variable i72 { Range: integer; } Variable objvar; 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; Variable x148; Variable x149; Variable x150; Variable x151; Variable x152; Variable x153; Variable x154; Variable x155; Variable x156; Variable x157; Variable x158; Variable x159; Variable x160; Variable x161; Variable x162; Variable x163; Variable x164; Variable x165; Variable x166; Variable x167; Variable x168; Variable x169; Variable x170; Variable x171; Variable x172; Variable x173; Variable x174; Variable x175; Variable x176; Variable x177; Variable x178; Variable x179; Variable x180; Variable x181; Constraint e1 { Definition: { objvar - x74 - x75 - x76 - x77 - x78 - x79 - x80 - x81 - x82 - x83 - x84 - x85 - x86 - x87 - x88 - x89 = 0 } } Constraint e2 { Definition: x90 - x91 >= 0; } Constraint e3 { Definition: x92 - x93 >= 0; } Constraint e4 { Definition: i1 - i2 = 0; } Constraint e5 { Definition: - 12*i1 - x74 + 0.5*x94 + 0.5*x95 <= 0; } Constraint e6 { Definition: 13*i1 - x75 + 0.5*x96 + 0.5*x97 <= 13; } Constraint e7 { Definition: - 12*i3 + 0.5*x94 + 0.5*x98 - x99 <= 0; } Constraint e8 { Definition: 13*i3 + 0.5*x96 + 0.5*x100 - x101 <= 13; } Constraint e9 { Definition: - 12*i5 + 0.5*x94 + 0.5*x102 - x103 <= 0; } Constraint e10 { Definition: 13*i5 + 0.5*x96 + 0.5*x104 - x105 <= 13; } Constraint e11 { Definition: - 12*i7 + 0.5*x94 + 0.5*x106 - x107 <= 0; } Constraint e12 { Definition: 13*i7 + 0.5*x96 + 0.5*x108 - x109 <= 13; } Constraint e13 { Definition: - 12*i9 + 0.5*x94 + 0.5*x110 - x111 <= 0; } Constraint e14 { Definition: 13*i9 + 0.5*x96 + 0.5*x112 - x113 <= 13; } Constraint e15 { Definition: - 12*i11 + 0.5*x94 + 0.5*x114 - x115 <= 0; } Constraint e16 { Definition: 13*i11 + 0.5*x96 + 0.5*x116 - x117 <= 13; } Constraint e17 { Definition: - 12*i13 + 0.5*x94 + 0.5*x118 - x119 <= 0; } Constraint e18 { Definition: 13*i13 + 0.5*x96 + 0.5*x120 - x121 <= 13; } Constraint e19 { Definition: - 12*i15 + 0.5*x94 + 0.5*x122 - x123 <= 0; } Constraint e20 { Definition: 13*i15 + 0.5*x96 + 0.5*x124 - x125 <= 13; } Constraint e21 { Definition: - 12*i17 - x76 + 0.5*x95 + 0.5*x98 <= 0; } Constraint e22 { Definition: 13*i17 - x77 + 0.5*x97 + 0.5*x100 <= 13; } Constraint e23 { Definition: - 12*i19 + 0.5*x95 + 0.5*x102 - x126 <= 0; } Constraint e24 { Definition: 13*i19 + 0.5*x97 + 0.5*x104 - x127 <= 13; } Constraint e25 { Definition: - 12*i21 + 0.5*x95 + 0.5*x106 - x128 <= 0; } Constraint e26 { Definition: 13*i21 + 0.5*x97 + 0.5*x108 - x129 <= 13; } Constraint e27 { Definition: - 12*i23 + 0.5*x95 + 0.5*x110 - x130 <= 0; } Constraint e28 { Definition: 13*i23 + 0.5*x97 + 0.5*x112 - x131 <= 13; } Constraint e29 { Definition: - 12*i25 + 0.5*x95 + 0.5*x114 - x132 <= 0; } Constraint e30 { Definition: 13*i25 + 0.5*x97 + 0.5*x116 - x133 <= 13; } Constraint e31 { Definition: - 12*i27 + 0.5*x95 + 0.5*x118 - x134 <= 0; } Constraint e32 { Definition: 13*i27 + 0.5*x97 + 0.5*x120 - x135 <= 13; } Constraint e33 { Definition: - 12*i29 + 0.5*x95 + 0.5*x122 - x136 <= 0; } Constraint e34 { Definition: 13*i29 + 0.5*x97 + 0.5*x124 - x137 <= 13; } Constraint e35 { Definition: - 12*i31 - x78 + 0.5*x98 + 0.5*x102 <= 0; } Constraint e36 { Definition: 13*i31 - x79 + 0.5*x100 + 0.5*x104 <= 13; } Constraint e37 { Definition: - 12*i33 + 0.5*x98 + 0.5*x106 - x138 <= 0; } Constraint e38 { Definition: 13*i33 + 0.5*x100 + 0.5*x108 - x139 <= 13; } Constraint e39 { Definition: - 12*i35 + 0.5*x98 + 0.5*x110 - x140 <= 0; } Constraint e40 { Definition: 13*i35 + 0.5*x100 + 0.5*x112 - x141 <= 13; } Constraint e41 { Definition: - 12*i37 + 0.5*x98 + 0.5*x114 - x142 <= 0; } Constraint e42 { Definition: 13*i37 + 0.5*x100 + 0.5*x116 - x143 <= 13; } Constraint e43 { Definition: - 12*i39 + 0.5*x98 + 0.5*x118 - x144 <= 0; } Constraint e44 { Definition: 13*i39 + 0.5*x100 + 0.5*x120 - x145 <= 13; } Constraint e45 { Definition: - 12*i41 + 0.5*x98 + 0.5*x122 - x146 <= 0; } Constraint e46 { Definition: 13*i41 + 0.5*x100 + 0.5*x124 - x147 <= 13; } Constraint e47 { Definition: - 12*i43 - x80 + 0.5*x102 + 0.5*x106 <= 0; } Constraint e48 { Definition: 13*i43 - x81 + 0.5*x104 + 0.5*x108 <= 13; } Constraint e49 { Definition: - 12*i45 + 0.5*x102 + 0.5*x110 - x148 <= 0; } Constraint e50 { Definition: 13*i45 + 0.5*x104 + 0.5*x112 - x149 <= 13; } Constraint e51 { Definition: - 12*i47 + 0.5*x102 + 0.5*x114 - x150 <= 0; } Constraint e52 { Definition: 13*i47 + 0.5*x104 + 0.5*x116 - x151 <= 13; } Constraint e53 { Definition: - 12*i49 + 0.5*x102 + 0.5*x118 - x152 <= 0; } Constraint e54 { Definition: 13*i49 + 0.5*x104 + 0.5*x120 - x153 <= 13; } Constraint e55 { Definition: - 12*i51 + 0.5*x102 + 0.5*x122 - x154 <= 0; } Constraint e56 { Definition: 13*i51 + 0.5*x104 + 0.5*x124 - x155 <= 13; } Constraint e57 { Definition: - 12*i53 - x82 + 0.5*x106 + 0.5*x110 <= 0; } Constraint e58 { Definition: 13*i53 - x83 + 0.5*x108 + 0.5*x112 <= 13; } Constraint e59 { Definition: - 12*i55 + 0.5*x106 + 0.5*x114 - x156 <= 0; } Constraint e60 { Definition: 13*i55 + 0.5*x108 + 0.5*x116 - x157 <= 13; } Constraint e61 { Definition: - 12*i57 + 0.5*x106 + 0.5*x118 - x158 <= 0; } Constraint e62 { Definition: 13*i57 + 0.5*x108 + 0.5*x120 - x159 <= 13; } Constraint e63 { Definition: - 12*i59 + 0.5*x106 + 0.5*x122 - x160 <= 0; } Constraint e64 { Definition: 13*i59 + 0.5*x108 + 0.5*x124 - x161 <= 13; } Constraint e65 { Definition: - 12*i61 - x84 + 0.5*x110 + 0.5*x114 <= 0; } Constraint e66 { Definition: 13*i61 - x85 + 0.5*x112 + 0.5*x116 <= 13; } Constraint e67 { Definition: - 12*i63 + 0.5*x110 + 0.5*x118 - x162 <= 0; } Constraint e68 { Definition: 13*i63 + 0.5*x112 + 0.5*x120 - x163 <= 13; } Constraint e69 { Definition: - 12*i65 + 0.5*x110 + 0.5*x122 - x164 <= 0; } Constraint e70 { Definition: 13*i65 + 0.5*x112 + 0.5*x124 - x165 <= 13; } Constraint e71 { Definition: - 12*i67 - x86 + 0.5*x114 + 0.5*x118 <= 0; } Constraint e72 { Definition: 13*i67 - x87 + 0.5*x116 + 0.5*x120 <= 13; } Constraint e73 { Definition: - 12*i69 + 0.5*x114 + 0.5*x122 - x166 <= 0; } Constraint e74 { Definition: 13*i69 + 0.5*x116 + 0.5*x124 - x167 <= 13; } Constraint e75 { Definition: - 12*i71 - x88 + 0.5*x118 + 0.5*x122 <= 0; } Constraint e76 { Definition: 13*i71 - x89 + 0.5*x120 + 0.5*x124 <= 13; } Constraint e77 { Definition: - 0.5*x94 - 0.125*x96 <= -2; } Constraint e78 { Definition: - 0.125*x94 - 0.5*x96 <= -2; } Constraint e79 { Definition: - 0.5*x95 - 0.125*x97 <= -2; } Constraint e80 { Definition: - 0.125*x95 - 0.5*x97 <= -2; } Constraint e81 { Definition: - 0.5*x98 - 0.125*x100 <= -2; } Constraint e82 { Definition: - 0.125*x98 - 0.5*x100 <= -2; } Constraint e83 { Definition: - 0.333333*x102 - 0.083333*x104 <= -2; } Constraint e84 { Definition: - 0.083333*x102 - 0.333333*x104 <= -2; } Constraint e85 { Definition: - 0.333333*x106 - 0.083333*x108 <= -2; } Constraint e86 { Definition: - 0.083333*x106 - 0.333333*x108 <= -2; } Constraint e87 { Definition: - 0.666667*x110 - 0.166667*x112 <= -2; } Constraint e88 { Definition: - 0.166667*x110 - 0.666667*x112 <= -2; } Constraint e89 { Definition: - 0.666667*x114 - 0.166667*x116 <= -2; } Constraint e90 { Definition: - 0.166667*x114 - 0.666667*x116 <= -2; } Constraint e91 { Definition: - 0.666667*x118 - 0.166667*x120 <= -2; } Constraint e92 { Definition: - 0.166667*x118 - 0.666667*x120 <= -2; } Constraint e93 { Definition: - 0.666667*x122 - 0.166667*x124 <= -2; } Constraint e94 { Definition: - 0.166667*x122 - 0.666667*x124 <= -2; } Constraint e95 { Definition: x90 + 0.5*x94 <= 12; } Constraint e96 { Definition: - x90 + 0.5*x94 <= 0; } Constraint e97 { Definition: x93 + 0.5*x96 <= 13; } Constraint e98 { Definition: - x93 + 0.5*x96 <= 0; } Constraint e99 { Definition: x91 + 0.5*x95 <= 12; } Constraint e100 { Definition: - x91 + 0.5*x95 <= 0; } Constraint e101 { Definition: x92 + 0.5*x97 <= 13; } Constraint e102 { Definition: - x92 + 0.5*x97 <= 0; } Constraint e103 { Definition: 0.5*x98 + x168 <= 12; } Constraint e104 { Definition: 0.5*x98 - x168 <= 0; } Constraint e105 { Definition: 0.5*x100 + x169 <= 13; } Constraint e106 { Definition: 0.5*x100 - x169 <= 0; } Constraint e107 { Definition: 0.5*x102 + x170 <= 12; } Constraint e108 { Definition: 0.5*x102 - x170 <= 0; } Constraint e109 { Definition: 0.5*x104 + x171 <= 13; } Constraint e110 { Definition: 0.5*x104 - x171 <= 0; } Constraint e111 { Definition: 0.5*x106 + x172 <= 12; } Constraint e112 { Definition: 0.5*x106 - x172 <= 0; } Constraint e113 { Definition: 0.5*x108 + x173 <= 13; } Constraint e114 { Definition: 0.5*x108 - x173 <= 0; } Constraint e115 { Definition: 0.5*x110 + x174 <= 12; } Constraint e116 { Definition: 0.5*x110 - x174 <= 0; } Constraint e117 { Definition: 0.5*x112 + x175 <= 13; } Constraint e118 { Definition: 0.5*x112 - x175 <= 0; } Constraint e119 { Definition: 0.5*x114 + x176 <= 12; } Constraint e120 { Definition: 0.5*x114 - x176 <= 0; } Constraint e121 { Definition: 0.5*x116 + x177 <= 13; } Constraint e122 { Definition: 0.5*x116 - x177 <= 0; } Constraint e123 { Definition: 0.5*x118 + x178 <= 12; } Constraint e124 { Definition: 0.5*x118 - x178 <= 0; } Constraint e125 { Definition: 0.5*x120 + x179 <= 13; } Constraint e126 { Definition: 0.5*x120 - x179 <= 0; } Constraint e127 { Definition: 0.5*x122 + x180 <= 12; } Constraint e128 { Definition: 0.5*x122 - x180 <= 0; } Constraint e129 { Definition: 0.5*x124 + x181 <= 13; } Constraint e130 { Definition: 0.5*x124 - x181 <= 0; } Constraint e131 { Definition: - x74 + x90 - x91 <= 0; } Constraint e132 { Definition: - x74 - x90 + x91 <= 0; } Constraint e133 { Definition: - x75 - x92 + x93 <= 0; } Constraint e134 { Definition: - x75 + x92 - x93 <= 0; } Constraint e135 { Definition: - 12*i1 - 12*i2 - x90 + x91 + 0.5*x94 + 0.5*x95 <= 0; } Constraint e136 { Definition: - 12*i1 + 12*i2 + x90 - x91 + 0.5*x94 + 0.5*x95 <= 12; } Constraint e137 { Definition: 13*i1 - 13*i2 + x92 - x93 + 0.5*x96 + 0.5*x97 <= 13; } Constraint e138 { Definition: 13*i1 + 13*i2 - x92 + x93 + 0.5*x96 + 0.5*x97 <= 26; } Constraint e139 { Definition: x90 - x99 - x168 <= 0; } Constraint e140 { Definition: - x90 - x99 + x168 <= 0; } Constraint e141 { Definition: x93 - x101 - x169 <= 0; } Constraint e142 { Definition: - x93 - x101 + x169 <= 0; } Constraint e143 { Definition: - 12*i3 - 12*i4 - x90 + 0.5*x94 + 0.5*x98 + x168 <= 0; } Constraint e144 { Definition: - 12*i3 + 12*i4 + x90 + 0.5*x94 + 0.5*x98 - x168 <= 12; } Constraint e145 { Definition: 13*i3 - 13*i4 - x93 + 0.5*x96 + 0.5*x100 + x169 <= 13; } Constraint e146 { Definition: 13*i3 + 13*i4 + x93 + 0.5*x96 + 0.5*x100 - x169 <= 26; } Constraint e147 { Definition: x90 - x103 - x170 <= 0; } Constraint e148 { Definition: - x90 - x103 + x170 <= 0; } Constraint e149 { Definition: x93 - x105 - x171 <= 0; } Constraint e150 { Definition: - x93 - x105 + x171 <= 0; } Constraint e151 { Definition: - 12*i5 - 12*i6 - x90 + 0.5*x94 + 0.5*x102 + x170 <= 0; } Constraint e152 { Definition: - 12*i5 + 12*i6 + x90 + 0.5*x94 + 0.5*x102 - x170 <= 12; } Constraint e153 { Definition: 13*i5 - 13*i6 - x93 + 0.5*x96 + 0.5*x104 + x171 <= 13; } Constraint e154 { Definition: 13*i5 + 13*i6 + x93 + 0.5*x96 + 0.5*x104 - x171 <= 26; } Constraint e155 { Definition: x90 - x107 - x172 <= 0; } Constraint e156 { Definition: - x90 - x107 + x172 <= 0; } Constraint e157 { Definition: x93 - x109 - x173 <= 0; } Constraint e158 { Definition: - x93 - x109 + x173 <= 0; } Constraint e159 { Definition: - 12*i7 - 12*i8 - x90 + 0.5*x94 + 0.5*x106 + x172 <= 0; } Constraint e160 { Definition: - 12*i7 + 12*i8 + x90 + 0.5*x94 + 0.5*x106 - x172 <= 12; } Constraint e161 { Definition: 13*i7 - 13*i8 - x93 + 0.5*x96 + 0.5*x108 + x173 <= 13; } Constraint e162 { Definition: 13*i7 + 13*i8 + x93 + 0.5*x96 + 0.5*x108 - x173 <= 26; } Constraint e163 { Definition: x90 - x111 - x174 <= 0; } Constraint e164 { Definition: - x90 - x111 + x174 <= 0; } Constraint e165 { Definition: x93 - x113 - x175 <= 0; } Constraint e166 { Definition: - x93 - x113 + x175 <= 0; } Constraint e167 { Definition: - 12*i9 - 12*i10 - x90 + 0.5*x94 + 0.5*x110 + x174 <= 0; } Constraint e168 { Definition: - 12*i9 + 12*i10 + x90 + 0.5*x94 + 0.5*x110 - x174 <= 12; } Constraint e169 { Definition: 13*i9 - 13*i10 - x93 + 0.5*x96 + 0.5*x112 + x175 <= 13; } Constraint e170 { Definition: 13*i9 + 13*i10 + x93 + 0.5*x96 + 0.5*x112 - x175 <= 26; } Constraint e171 { Definition: x90 - x115 - x176 <= 0; } Constraint e172 { Definition: - x90 - x115 + x176 <= 0; } Constraint e173 { Definition: x93 - x117 - x177 <= 0; } Constraint e174 { Definition: - x93 - x117 + x177 <= 0; } Constraint e175 { Definition: - 12*i11 - 12*i12 - x90 + 0.5*x94 + 0.5*x114 + x176 <= 0; } Constraint e176 { Definition: - 12*i11 + 12*i12 + x90 + 0.5*x94 + 0.5*x114 - x176 <= 12; } Constraint e177 { Definition: 13*i11 - 13*i12 - x93 + 0.5*x96 + 0.5*x116 + x177 <= 13; } Constraint e178 { Definition: 13*i11 + 13*i12 + x93 + 0.5*x96 + 0.5*x116 - x177 <= 26; } Constraint e179 { Definition: x90 - x119 - x178 <= 0; } Constraint e180 { Definition: - x90 - x119 + x178 <= 0; } Constraint e181 { Definition: x93 - x121 - x179 <= 0; } Constraint e182 { Definition: - x93 - x121 + x179 <= 0; } Constraint e183 { Definition: - 12*i13 - 12*i14 - x90 + 0.5*x94 + 0.5*x118 + x178 <= 0; } Constraint e184 { Definition: - 12*i13 + 12*i14 + x90 + 0.5*x94 + 0.5*x118 - x178 <= 12; } Constraint e185 { Definition: 13*i13 - 13*i14 - x93 + 0.5*x96 + 0.5*x120 + x179 <= 13; } Constraint e186 { Definition: 13*i13 + 13*i14 + x93 + 0.5*x96 + 0.5*x120 - x179 <= 26; } Constraint e187 { Definition: x90 - x123 - x180 <= 0; } Constraint e188 { Definition: - x90 - x123 + x180 <= 0; } Constraint e189 { Definition: x93 - x125 - x181 <= 0; } Constraint e190 { Definition: - x93 - x125 + x181 <= 0; } Constraint e191 { Definition: - 12*i15 - 12*i16 - x90 + 0.5*x94 + 0.5*x122 + x180 <= 0; } Constraint e192 { Definition: - 12*i15 + 12*i16 + x90 + 0.5*x94 + 0.5*x122 - x180 <= 12; } Constraint e193 { Definition: 13*i15 - 13*i16 - x93 + 0.5*x96 + 0.5*x124 + x181 <= 13; } Constraint e194 { Definition: 13*i15 + 13*i16 + x93 + 0.5*x96 + 0.5*x124 - x181 <= 26; } Constraint e195 { Definition: - x76 + x91 - x168 <= 0; } Constraint e196 { Definition: - x76 - x91 + x168 <= 0; } Constraint e197 { Definition: - x77 + x92 - x169 <= 0; } Constraint e198 { Definition: - x77 - x92 + x169 <= 0; } Constraint e199 { Definition: - 12*i17 - 12*i18 - x91 + 0.5*x95 + 0.5*x98 + x168 <= 0; } Constraint e200 { Definition: - 12*i17 + 12*i18 + x91 + 0.5*x95 + 0.5*x98 - x168 <= 12; } Constraint e201 { Definition: 13*i17 - 13*i18 - x92 + 0.5*x97 + 0.5*x100 + x169 <= 13; } Constraint e202 { Definition: 13*i17 + 13*i18 + x92 + 0.5*x97 + 0.5*x100 - x169 <= 26; } Constraint e203 { Definition: x91 - x126 - x170 <= 0; } Constraint e204 { Definition: - x91 - x126 + x170 <= 0; } Constraint e205 { Definition: x92 - x127 - x171 <= 0; } Constraint e206 { Definition: - x92 - x127 + x171 <= 0; } Constraint e207 { Definition: - 12*i19 - 12*i20 - x91 + 0.5*x95 + 0.5*x102 + x170 <= 0; } Constraint e208 { Definition: - 12*i19 + 12*i20 + x91 + 0.5*x95 + 0.5*x102 - x170 <= 12; } Constraint e209 { Definition: 13*i19 - 13*i20 - x92 + 0.5*x97 + 0.5*x104 + x171 <= 13; } Constraint e210 { Definition: 13*i19 + 13*i20 + x92 + 0.5*x97 + 0.5*x104 - x171 <= 26; } Constraint e211 { Definition: x91 - x128 - x172 <= 0; } Constraint e212 { Definition: - x91 - x128 + x172 <= 0; } Constraint e213 { Definition: x92 - x129 - x173 <= 0; } Constraint e214 { Definition: - x92 - x129 + x173 <= 0; } Constraint e215 { Definition: - 12*i21 - 12*i22 - x91 + 0.5*x95 + 0.5*x106 + x172 <= 0; } Constraint e216 { Definition: - 12*i21 + 12*i22 + x91 + 0.5*x95 + 0.5*x106 - x172 <= 12; } Constraint e217 { Definition: 13*i21 - 13*i22 - x92 + 0.5*x97 + 0.5*x108 + x173 <= 13; } Constraint e218 { Definition: 13*i21 + 13*i22 + x92 + 0.5*x97 + 0.5*x108 - x173 <= 26; } Constraint e219 { Definition: x91 - x130 - x174 <= 0; } Constraint e220 { Definition: - x91 - x130 + x174 <= 0; } Constraint e221 { Definition: x92 - x131 - x175 <= 0; } Constraint e222 { Definition: - x92 - x131 + x175 <= 0; } Constraint e223 { Definition: - 12*i23 - 12*i24 - x91 + 0.5*x95 + 0.5*x110 + x174 <= 0; } Constraint e224 { Definition: - 12*i23 + 12*i24 + x91 + 0.5*x95 + 0.5*x110 - x174 <= 12; } Constraint e225 { Definition: 13*i23 - 13*i24 - x92 + 0.5*x97 + 0.5*x112 + x175 <= 13; } Constraint e226 { Definition: 13*i23 + 13*i24 + x92 + 0.5*x97 + 0.5*x112 - x175 <= 26; } Constraint e227 { Definition: x91 - x132 - x176 <= 0; } Constraint e228 { Definition: - x91 - x132 + x176 <= 0; } Constraint e229 { Definition: x92 - x133 - x177 <= 0; } Constraint e230 { Definition: - x92 - x133 + x177 <= 0; } Constraint e231 { Definition: - 12*i25 - 12*i26 - x91 + 0.5*x95 + 0.5*x114 + x176 <= 0; } Constraint e232 { Definition: - 12*i25 + 12*i26 + x91 + 0.5*x95 + 0.5*x114 - x176 <= 12; } Constraint e233 { Definition: 13*i25 - 13*i26 - x92 + 0.5*x97 + 0.5*x116 + x177 <= 13; } Constraint e234 { Definition: 13*i25 + 13*i26 + x92 + 0.5*x97 + 0.5*x116 - x177 <= 26; } Constraint e235 { Definition: x91 - x134 - x178 <= 0; } Constraint e236 { Definition: - x91 - x134 + x178 <= 0; } Constraint e237 { Definition: x92 - x135 - x179 <= 0; } Constraint e238 { Definition: - x92 - x135 + x179 <= 0; } Constraint e239 { Definition: - 12*i27 - 12*i28 - x91 + 0.5*x95 + 0.5*x118 + x178 <= 0; } Constraint e240 { Definition: - 12*i27 + 12*i28 + x91 + 0.5*x95 + 0.5*x118 - x178 <= 12; } Constraint e241 { Definition: 13*i27 - 13*i28 - x92 + 0.5*x97 + 0.5*x120 + x179 <= 13; } Constraint e242 { Definition: 13*i27 + 13*i28 + x92 + 0.5*x97 + 0.5*x120 - x179 <= 26; } Constraint e243 { Definition: x91 - x136 - x180 <= 0; } Constraint e244 { Definition: - x91 - x136 + x180 <= 0; } Constraint e245 { Definition: x92 - x137 - x181 <= 0; } Constraint e246 { Definition: - x92 - x137 + x181 <= 0; } Constraint e247 { Definition: - 12*i29 - 12*i30 - x91 + 0.5*x95 + 0.5*x122 + x180 <= 0; } Constraint e248 { Definition: - 12*i29 + 12*i30 + x91 + 0.5*x95 + 0.5*x122 - x180 <= 12; } Constraint e249 { Definition: 13*i29 - 13*i30 - x92 + 0.5*x97 + 0.5*x124 + x181 <= 13; } Constraint e250 { Definition: 13*i29 + 13*i30 + x92 + 0.5*x97 + 0.5*x124 - x181 <= 26; } Constraint e251 { Definition: - x78 + x168 - x170 <= 0; } Constraint e252 { Definition: - x78 - x168 + x170 <= 0; } Constraint e253 { Definition: - x79 + x169 - x171 <= 0; } Constraint e254 { Definition: - x79 - x169 + x171 <= 0; } Constraint e255 { Definition: - 12*i31 - 12*i32 + 0.5*x98 + 0.5*x102 - x168 + x170 <= 0; } Constraint e256 { Definition: - 12*i31 + 12*i32 + 0.5*x98 + 0.5*x102 + x168 - x170 <= 12; } Constraint e257 { Definition: 13*i31 - 13*i32 + 0.5*x100 + 0.5*x104 - x169 + x171 <= 13; } Constraint e258 { Definition: 13*i31 + 13*i32 + 0.5*x100 + 0.5*x104 + x169 - x171 <= 26; } Constraint e259 { Definition: - x138 + x168 - x172 <= 0; } Constraint e260 { Definition: - x138 - x168 + x172 <= 0; } Constraint e261 { Definition: - x139 + x169 - x173 <= 0; } Constraint e262 { Definition: - x139 - x169 + x173 <= 0; } Constraint e263 { Definition: - 12*i33 - 12*i34 + 0.5*x98 + 0.5*x106 - x168 + x172 <= 0; } Constraint e264 { Definition: - 12*i33 + 12*i34 + 0.5*x98 + 0.5*x106 + x168 - x172 <= 12; } Constraint e265 { Definition: 13*i33 - 13*i34 + 0.5*x100 + 0.5*x108 - x169 + x173 <= 13; } Constraint e266 { Definition: 13*i33 + 13*i34 + 0.5*x100 + 0.5*x108 + x169 - x173 <= 26; } Constraint e267 { Definition: - x140 + x168 - x174 <= 0; } Constraint e268 { Definition: - x140 - x168 + x174 <= 0; } Constraint e269 { Definition: - x141 + x169 - x175 <= 0; } Constraint e270 { Definition: - x141 - x169 + x175 <= 0; } Constraint e271 { Definition: - 12*i35 - 12*i36 + 0.5*x98 + 0.5*x110 - x168 + x174 <= 0; } Constraint e272 { Definition: - 12*i35 + 12*i36 + 0.5*x98 + 0.5*x110 + x168 - x174 <= 12; } Constraint e273 { Definition: 13*i35 - 13*i36 + 0.5*x100 + 0.5*x112 - x169 + x175 <= 13; } Constraint e274 { Definition: 13*i35 + 13*i36 + 0.5*x100 + 0.5*x112 + x169 - x175 <= 26; } Constraint e275 { Definition: - x142 + x168 - x176 <= 0; } Constraint e276 { Definition: - x142 - x168 + x176 <= 0; } Constraint e277 { Definition: - x143 + x169 - x177 <= 0; } Constraint e278 { Definition: - x143 - x169 + x177 <= 0; } Constraint e279 { Definition: - 12*i37 - 12*i38 + 0.5*x98 + 0.5*x114 - x168 + x176 <= 0; } Constraint e280 { Definition: - 12*i37 + 12*i38 + 0.5*x98 + 0.5*x114 + x168 - x176 <= 12; } Constraint e281 { Definition: 13*i37 - 13*i38 + 0.5*x100 + 0.5*x116 - x169 + x177 <= 13; } Constraint e282 { Definition: 13*i37 + 13*i38 + 0.5*x100 + 0.5*x116 + x169 - x177 <= 26; } Constraint e283 { Definition: - x144 + x168 - x178 <= 0; } Constraint e284 { Definition: - x144 - x168 + x178 <= 0; } Constraint e285 { Definition: - x145 + x169 - x179 <= 0; } Constraint e286 { Definition: - x145 - x169 + x179 <= 0; } Constraint e287 { Definition: - 12*i39 - 12*i40 + 0.5*x98 + 0.5*x118 - x168 + x178 <= 0; } Constraint e288 { Definition: - 12*i39 + 12*i40 + 0.5*x98 + 0.5*x118 + x168 - x178 <= 12; } Constraint e289 { Definition: 13*i39 - 13*i40 + 0.5*x100 + 0.5*x120 - x169 + x179 <= 13; } Constraint e290 { Definition: 13*i39 + 13*i40 + 0.5*x100 + 0.5*x120 + x169 - x179 <= 26; } Constraint e291 { Definition: - x146 + x168 - x180 <= 0; } Constraint e292 { Definition: - x146 - x168 + x180 <= 0; } Constraint e293 { Definition: - x147 + x169 - x181 <= 0; } Constraint e294 { Definition: - x147 - x169 + x181 <= 0; } Constraint e295 { Definition: - 12*i41 - 12*i42 + 0.5*x98 + 0.5*x122 - x168 + x180 <= 0; } Constraint e296 { Definition: - 12*i41 + 12*i42 + 0.5*x98 + 0.5*x122 + x168 - x180 <= 12; } Constraint e297 { Definition: 13*i41 - 13*i42 + 0.5*x100 + 0.5*x124 - x169 + x181 <= 13; } Constraint e298 { Definition: 13*i41 + 13*i42 + 0.5*x100 + 0.5*x124 + x169 - x181 <= 26; } Constraint e299 { Definition: - x80 + x170 - x172 <= 0; } Constraint e300 { Definition: - x80 - x170 + x172 <= 0; } Constraint e301 { Definition: - x81 + x171 - x173 <= 0; } Constraint e302 { Definition: - x81 - x171 + x173 <= 0; } Constraint e303 { Definition: - 12*i43 - 12*i44 + 0.5*x102 + 0.5*x106 - x170 + x172 <= 0; } Constraint e304 { Definition: - 12*i43 + 12*i44 + 0.5*x102 + 0.5*x106 + x170 - x172 <= 12; } Constraint e305 { Definition: 13*i43 - 13*i44 + 0.5*x104 + 0.5*x108 - x171 + x173 <= 13; } Constraint e306 { Definition: 13*i43 + 13*i44 + 0.5*x104 + 0.5*x108 + x171 - x173 <= 26; } Constraint e307 { Definition: - x148 + x170 - x174 <= 0; } Constraint e308 { Definition: - x148 - x170 + x174 <= 0; } Constraint e309 { Definition: - x149 + x171 - x175 <= 0; } Constraint e310 { Definition: - x149 - x171 + x175 <= 0; } Constraint e311 { Definition: - 12*i45 - 12*i46 + 0.5*x102 + 0.5*x110 - x170 + x174 <= 0; } Constraint e312 { Definition: - 12*i45 + 12*i46 + 0.5*x102 + 0.5*x110 + x170 - x174 <= 12; } Constraint e313 { Definition: 13*i45 - 13*i46 + 0.5*x104 + 0.5*x112 - x171 + x175 <= 13; } Constraint e314 { Definition: 13*i45 + 13*i46 + 0.5*x104 + 0.5*x112 + x171 - x175 <= 26; } Constraint e315 { Definition: - x150 + x170 - x176 <= 0; } Constraint e316 { Definition: - x150 - x170 + x176 <= 0; } Constraint e317 { Definition: - x151 + x171 - x177 <= 0; } Constraint e318 { Definition: - x151 - x171 + x177 <= 0; } Constraint e319 { Definition: - 12*i47 - 12*i48 + 0.5*x102 + 0.5*x114 - x170 + x176 <= 0; } Constraint e320 { Definition: - 12*i47 + 12*i48 + 0.5*x102 + 0.5*x114 + x170 - x176 <= 12; } Constraint e321 { Definition: 13*i47 - 13*i48 + 0.5*x104 + 0.5*x116 - x171 + x177 <= 13; } Constraint e322 { Definition: 13*i47 + 13*i48 + 0.5*x104 + 0.5*x116 + x171 - x177 <= 26; } Constraint e323 { Definition: - x152 + x170 - x178 <= 0; } Constraint e324 { Definition: - x152 - x170 + x178 <= 0; } Constraint e325 { Definition: - x153 + x171 - x179 <= 0; } Constraint e326 { Definition: - x153 - x171 + x179 <= 0; } Constraint e327 { Definition: - 12*i49 - 12*i50 + 0.5*x102 + 0.5*x118 - x170 + x178 <= 0; } Constraint e328 { Definition: - 12*i49 + 12*i50 + 0.5*x102 + 0.5*x118 + x170 - x178 <= 12; } Constraint e329 { Definition: 13*i49 - 13*i50 + 0.5*x104 + 0.5*x120 - x171 + x179 <= 13; } Constraint e330 { Definition: 13*i49 + 13*i50 + 0.5*x104 + 0.5*x120 + x171 - x179 <= 26; } Constraint e331 { Definition: - x154 + x170 - x180 <= 0; } Constraint e332 { Definition: - x154 - x170 + x180 <= 0; } Constraint e333 { Definition: - x155 + x171 - x181 <= 0; } Constraint e334 { Definition: - x155 - x171 + x181 <= 0; } Constraint e335 { Definition: - 12*i51 - 12*i52 + 0.5*x102 + 0.5*x122 - x170 + x180 <= 0; } Constraint e336 { Definition: - 12*i51 + 12*i52 + 0.5*x102 + 0.5*x122 + x170 - x180 <= 12; } Constraint e337 { Definition: 13*i51 - 13*i52 + 0.5*x104 + 0.5*x124 - x171 + x181 <= 13; } Constraint e338 { Definition: 13*i51 + 13*i52 + 0.5*x104 + 0.5*x124 + x171 - x181 <= 26; } Constraint e339 { Definition: - x82 + x172 - x174 <= 0; } Constraint e340 { Definition: - x82 - x172 + x174 <= 0; } Constraint e341 { Definition: - x83 + x173 - x175 <= 0; } Constraint e342 { Definition: - x83 - x173 + x175 <= 0; } Constraint e343 { Definition: - 12*i53 - 12*i54 + 0.5*x106 + 0.5*x110 - x172 + x174 <= 0; } Constraint e344 { Definition: - 12*i53 + 12*i54 + 0.5*x106 + 0.5*x110 + x172 - x174 <= 12; } Constraint e345 { Definition: 13*i53 - 13*i54 + 0.5*x108 + 0.5*x112 - x173 + x175 <= 13; } Constraint e346 { Definition: 13*i53 + 13*i54 + 0.5*x108 + 0.5*x112 + x173 - x175 <= 26; } Constraint e347 { Definition: - x156 + x172 - x176 <= 0; } Constraint e348 { Definition: - x156 - x172 + x176 <= 0; } Constraint e349 { Definition: - x157 + x173 - x177 <= 0; } Constraint e350 { Definition: - x157 - x173 + x177 <= 0; } Constraint e351 { Definition: - 12*i55 - 12*i56 + 0.5*x106 + 0.5*x114 - x172 + x176 <= 0; } Constraint e352 { Definition: - 12*i55 + 12*i56 + 0.5*x106 + 0.5*x114 + x172 - x176 <= 12; } Constraint e353 { Definition: 13*i55 - 13*i56 + 0.5*x108 + 0.5*x116 - x173 + x177 <= 13; } Constraint e354 { Definition: 13*i55 + 13*i56 + 0.5*x108 + 0.5*x116 + x173 - x177 <= 26; } Constraint e355 { Definition: - x158 + x172 - x178 <= 0; } Constraint e356 { Definition: - x158 - x172 + x178 <= 0; } Constraint e357 { Definition: - x159 + x173 - x179 <= 0; } Constraint e358 { Definition: - x159 - x173 + x179 <= 0; } Constraint e359 { Definition: - 12*i57 - 12*i58 + 0.5*x106 + 0.5*x118 - x172 + x178 <= 0; } Constraint e360 { Definition: - 12*i57 + 12*i58 + 0.5*x106 + 0.5*x118 + x172 - x178 <= 12; } Constraint e361 { Definition: 13*i57 - 13*i58 + 0.5*x108 + 0.5*x120 - x173 + x179 <= 13; } Constraint e362 { Definition: 13*i57 + 13*i58 + 0.5*x108 + 0.5*x120 + x173 - x179 <= 26; } Constraint e363 { Definition: - x160 + x172 - x180 <= 0; } Constraint e364 { Definition: - x160 - x172 + x180 <= 0; } Constraint e365 { Definition: - x161 + x173 - x181 <= 0; } Constraint e366 { Definition: - x161 - x173 + x181 <= 0; } Constraint e367 { Definition: - 12*i59 - 12*i60 + 0.5*x106 + 0.5*x122 - x172 + x180 <= 0; } Constraint e368 { Definition: - 12*i59 + 12*i60 + 0.5*x106 + 0.5*x122 + x172 - x180 <= 12; } Constraint e369 { Definition: 13*i59 - 13*i60 + 0.5*x108 + 0.5*x124 - x173 + x181 <= 13; } Constraint e370 { Definition: 13*i59 + 13*i60 + 0.5*x108 + 0.5*x124 + x173 - x181 <= 26; } Constraint e371 { Definition: - x84 + x174 - x176 <= 0; } Constraint e372 { Definition: - x84 - x174 + x176 <= 0; } Constraint e373 { Definition: - x85 + x175 - x177 <= 0; } Constraint e374 { Definition: - x85 - x175 + x177 <= 0; } Constraint e375 { Definition: - 12*i61 - 12*i62 + 0.5*x110 + 0.5*x114 - x174 + x176 <= 0; } Constraint e376 { Definition: - 12*i61 + 12*i62 + 0.5*x110 + 0.5*x114 + x174 - x176 <= 12; } Constraint e377 { Definition: 13*i61 - 13*i62 + 0.5*x112 + 0.5*x116 - x175 + x177 <= 13; } Constraint e378 { Definition: 13*i61 + 13*i62 + 0.5*x112 + 0.5*x116 + x175 - x177 <= 26; } Constraint e379 { Definition: - x162 + x174 - x178 <= 0; } Constraint e380 { Definition: - x162 - x174 + x178 <= 0; } Constraint e381 { Definition: - x163 + x175 - x179 <= 0; } Constraint e382 { Definition: - x163 - x175 + x179 <= 0; } Constraint e383 { Definition: - 12*i63 - 12*i64 + 0.5*x110 + 0.5*x118 - x174 + x178 <= 0; } Constraint e384 { Definition: - 12*i63 + 12*i64 + 0.5*x110 + 0.5*x118 + x174 - x178 <= 12; } Constraint e385 { Definition: 13*i63 - 13*i64 + 0.5*x112 + 0.5*x120 - x175 + x179 <= 13; } Constraint e386 { Definition: 13*i63 + 13*i64 + 0.5*x112 + 0.5*x120 + x175 - x179 <= 26; } Constraint e387 { Definition: - x164 + x174 - x180 <= 0; } Constraint e388 { Definition: - x164 - x174 + x180 <= 0; } Constraint e389 { Definition: - x165 + x175 - x181 <= 0; } Constraint e390 { Definition: - x165 - x175 + x181 <= 0; } Constraint e391 { Definition: - 12*i65 - 12*i66 + 0.5*x110 + 0.5*x122 - x174 + x180 <= 0; } Constraint e392 { Definition: - 12*i65 + 12*i66 + 0.5*x110 + 0.5*x122 + x174 - x180 <= 12; } Constraint e393 { Definition: 13*i65 - 13*i66 + 0.5*x112 + 0.5*x124 - x175 + x181 <= 13; } Constraint e394 { Definition: 13*i65 + 13*i66 + 0.5*x112 + 0.5*x124 + x175 - x181 <= 26; } Constraint e395 { Definition: - x86 + x176 - x178 <= 0; } Constraint e396 { Definition: - x86 - x176 + x178 <= 0; } Constraint e397 { Definition: - x87 + x177 - x179 <= 0; } Constraint e398 { Definition: - x87 - x177 + x179 <= 0; } Constraint e399 { Definition: - 12*i67 - 12*i68 + 0.5*x114 + 0.5*x118 - x176 + x178 <= 0; } Constraint e400 { Definition: - 12*i67 + 12*i68 + 0.5*x114 + 0.5*x118 + x176 - x178 <= 12; } Constraint e401 { Definition: 13*i67 - 13*i68 + 0.5*x116 + 0.5*x120 - x177 + x179 <= 13; } Constraint e402 { Definition: 13*i67 + 13*i68 + 0.5*x116 + 0.5*x120 + x177 - x179 <= 26; } Constraint e403 { Definition: - x166 + x176 - x180 <= 0; } Constraint e404 { Definition: - x166 - x176 + x180 <= 0; } Constraint e405 { Definition: - x167 + x177 - x181 <= 0; } Constraint e406 { Definition: - x167 - x177 + x181 <= 0; } Constraint e407 { Definition: - 12*i69 - 12*i70 + 0.5*x114 + 0.5*x122 - x176 + x180 <= 0; } Constraint e408 { Definition: - 12*i69 + 12*i70 + 0.5*x114 + 0.5*x122 + x176 - x180 <= 12; } Constraint e409 { Definition: 13*i69 - 13*i70 + 0.5*x116 + 0.5*x124 - x177 + x181 <= 13; } Constraint e410 { Definition: 13*i69 + 13*i70 + 0.5*x116 + 0.5*x124 + x177 - x181 <= 26; } Constraint e411 { Definition: - x88 + x178 - x180 <= 0; } Constraint e412 { Definition: - x88 - x178 + x180 <= 0; } Constraint e413 { Definition: - x89 + x179 - x181 <= 0; } Constraint e414 { Definition: - x89 - x179 + x181 <= 0; } Constraint e415 { Definition: - 12*i71 - 12*i72 + 0.5*x118 + 0.5*x122 - x178 + x180 <= 0; } Constraint e416 { Definition: - 12*i71 + 12*i72 + 0.5*x118 + 0.5*x122 + x178 - x180 <= 12; } Constraint e417 { Definition: 13*i71 - 13*i72 + 0.5*x120 + 0.5*x124 - x179 + x181 <= 13; } Constraint e418 { Definition: 13*i71 + 13*i72 + 0.5*x120 + 0.5*x124 + x179 - x181 <= 26; } Constraint e419 { Definition: 16/x94 - x96 <= 0; } Constraint e420 { Definition: 16/x96 - x94 <= 0; } Constraint e421 { Definition: 16/x95 - x97 <= 0; } Constraint e422 { Definition: 16/x97 - x95 <= 0; } Constraint e423 { Definition: 16/x98 - x100 <= 0; } Constraint e424 { Definition: 16/x100 - x98 <= 0; } Constraint e425 { Definition: 36/x102 - x104 <= 0; } Constraint e426 { Definition: 36/x104 - x102 <= 0; } Constraint e427 { Definition: 36/x106 - x108 <= 0; } Constraint e428 { Definition: 36/x108 - x106 <= 0; } Constraint e429 { Definition: 9/x110 - x112 <= 0; } Constraint e430 { Definition: 9/x112 - x110 <= 0; } Constraint e431 { Definition: 9/x114 - x116 <= 0; } Constraint e432 { Definition: 9/x116 - x114 <= 0; } Constraint e433 { Definition: 9/x118 - x120 <= 0; } Constraint e434 { Definition: 9/x120 - x118 <= 0; } Constraint e435 { Definition: 9/x122 - x124 <= 0; } Constraint e436 { Definition: 9/x124 - x122 <= 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; i57.upper := 100; i58.upper := 100; i59.upper := 100; i60.upper := 100; i61.upper := 100; i62.upper := 100; i63.upper := 100; i64.upper := 100; i65.upper := 100; i66.upper := 100; i67.upper := 100; i68.upper := 100; i69.upper := 100; i70.upper := 100; i71.upper := 100; i72.upper := 100; x94.lower := 2; x94.upper := 8; x95.lower := 2; x95.upper := 8; x96.lower := 2; x96.upper := 8; x97.lower := 2; x97.upper := 8; x98.lower := 2; x98.upper := 8; x100.lower := 2; x100.upper := 8; x102.lower := 3; x102.upper := 12; x104.lower := 3; x104.upper := 12; x106.lower := 3; x106.upper := 12; x108.lower := 3; x108.upper := 12; x110.lower := 1.5; x110.upper := 6; x112.lower := 1.5; x112.upper := 6; x114.lower := 1.5; x114.upper := 6; x116.lower := 1.5; x116.upper := 6; x118.lower := 1.5; x118.upper := 6; x120.lower := 1.5; x120.upper := 6; x122.lower := 1.5; x122.upper := 6; x124.lower := 1.5; x124.upper := 6; } } MathematicalProgram fo9_ar4_1 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve fo9_ar4_1; } } Procedure MainTermination { Body: { return 1; } } }