## ams_version=1.0 Model Main_pooling_digabel18 { Variable objvar; Variable x2 { Range: nonnegative; } Variable x3 { Range: nonnegative; } Variable x4 { Range: nonnegative; } Variable x5 { Range: nonnegative; } Variable x6 { Range: nonnegative; } Variable x7 { Range: nonnegative; } Variable x8 { Range: nonnegative; } Variable x9 { Range: nonnegative; } Variable x10 { Range: nonnegative; } Variable x11 { Range: nonnegative; } Variable x12 { Range: nonnegative; } Variable x13 { Range: nonnegative; } Variable x14 { Range: nonnegative; } Variable x15 { Range: nonnegative; } Variable x16 { Range: nonnegative; } Variable x17 { Range: nonnegative; } Variable x18 { Range: nonnegative; } Variable x19 { Range: nonnegative; } Variable x20 { Range: nonnegative; } Variable x21 { Range: nonnegative; } Variable x22 { Range: nonnegative; } Variable x23 { Range: nonnegative; } Variable x24 { Range: nonnegative; } Variable x25 { Range: nonnegative; } Variable x26 { Range: nonnegative; } Variable x27 { Range: nonnegative; } Variable x28 { Range: nonnegative; } Variable x29 { Range: nonnegative; } Variable x30 { Range: nonnegative; } Variable x31 { Range: nonnegative; } Variable x32 { Range: nonnegative; } Variable x33 { Range: nonnegative; } Variable x34 { Range: nonnegative; } Variable x35 { Range: nonnegative; } Variable x36 { Range: nonnegative; } Variable x37 { Range: nonnegative; } Variable x38 { Range: nonnegative; } Variable x39 { Range: nonnegative; } Variable x40 { Range: nonnegative; } Variable x41 { Range: nonnegative; } Variable x42 { Range: nonnegative; } Variable x43 { Range: nonnegative; } Variable x44 { Range: nonnegative; } Variable x45 { Range: nonnegative; } Variable x46 { Range: nonnegative; } Variable x47 { Range: nonnegative; } Variable x48 { Range: nonnegative; } Variable x49 { Range: nonnegative; } Variable x50 { Range: nonnegative; } Variable x51 { Range: nonnegative; } Variable x52 { Range: nonnegative; } Variable x53 { Range: nonnegative; } Variable x54 { Range: nonnegative; } 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; 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; Variable x182; Variable x183; Variable x184; Variable x185; Variable x186; Variable x187; Variable x188; Variable x189; Variable x190; Variable x191; Variable x192; Variable x193; Variable x194; Variable x195; Variable x196; Variable x197; Variable x198; Variable x199; Variable x200; Variable x201; Variable x202; Variable x203; Variable x204; Variable x205 { Range: nonnegative; } Variable x206 { Range: nonnegative; } Variable x207 { Range: nonnegative; } Variable x208 { Range: nonnegative; } Variable x209 { Range: nonnegative; } Constraint e1 { Definition: { - objvar - 56.4*x2 + 42.3*x3 + 42.3*x4 + 141*x5 + 56.4*x6 + 155.1*x7 + 70.5*x8 + 70.5*x9 + 42.3*x10 - 14.1*x11 + 84.6*x12 + 84.6*x13 + 126.9*x14 + 126.9*x15 + 126.9*x16 + 126.9*x17 + 70.5*x18 + 14.1*x19 - 56.4*x20 - 56.4*x21 - 112.8*x22 + 98.7*x23 - 56.4*x24 - 155.1*x25 - 155.1*x26 - 211.5*x27 - 56.4*x28 - 56.4*x29 + 98.7*x30 + 197.4*x31 + 42.3*x32 + 56.4*x33 + 56.4*x34 + 70.5*x35 + 70.5*x36 + 42.3*x37 + 42.3*x38 + 84.6*x39 + 84.6*x40 + 239.7*x41 + 84.6*x42 + 126.9*x43 + 126.9*x44 + 282*x45 + 126.9*x46 + 126.9*x47 + 126.9*x48 - 70.5*x49 + 70.5*x50 - 126.9*x51 - 56.4*x52 - 56.4*x53 - 253.8*x54 = 0 } } Constraint e2 { Definition: { x2 + x23 + x24 + x29 + x30 + x31 - x32 - x33 - x34 - x35 - x36 - x37 - x38 - x39 - x40 - x42 - x43 - x44 - x46 - x47 - x48 - x49 - x50 - x51 - x52 - x53 - x54 + x205 + x206 + x207 + x208 + x209 <= 10 } } Constraint e3 { Definition: x3 + x4 + x5 + x32 <= 10; } Constraint e4 { Definition: x6 + x7 + x33 + x34 <= 10; } Constraint e5 { Definition: x8 + x9 + x35 + x36 <= 10; } Constraint e6 { Definition: x10 + x11 + x31 + x37 + x38 - x49 - x51 - x54 <= 10; } Constraint e7 { Definition: x12 + x13 + x39 + x40 + x41 + x42 <= 10; } Constraint e8 { Definition: x14 + x15 + x43 + x44 + x45 + x46 <= 10; } Constraint e9 { Definition: x16 + x17 + x47 + x48 + x49 <= 10; } Constraint e10 { Definition: x18 + x19 + x50 + x51 <= 10; } Constraint e11 { Definition: x20 + x21 + x22 + x52 + x53 + x54 <= 10; } Constraint e12 { Definition: { x3 + x6 + x8 + x10 + x12 + x14 + x16 + x18 + x20 + x25 + x205 + x208 <= 0.496454 } } Constraint e13 { Definition: { x4 + x9 + x13 + x15 + x17 + x21 + x26 + x31 + x206 + x207 + x209 <= 2.41135 } } Constraint e14 { Definition: x2 + x11 + x19 + x22 + x24 + x27 + x29 <= 6.73759; } Constraint e15 { Definition: x5 + x7 + x23 + x28 + x30 <= 0.35461; } Constraint e16 { Definition: x23 + x207 <= 10; } Constraint e17 { Definition: x25 + x26 + x27 + x28 <= 10; } Constraint e18 { Definition: x29 + x30 + x208 + x209 <= 10; } Constraint e19 { Definition: x23 - x32 - x33 - x35 - x39 - x43 - x47 + x207 >= 0; } Constraint e20 { Definition: x24 - x37 - x40 - x44 - x48 - x52 >= 0; } Constraint e21 { Definition: { x29 + x30 - x34 - x36 - x38 - x42 - x46 - x50 - x53 + x208 + x209 >= 0 } } Constraint e22 { Definition: x31 - x49 - x51 - x54 >= 0; } Constraint e23 { Definition: x31 - x49 - x51 - x54 >= 0; } Constraint e24 { Definition: { x55*x23 - 3.34802*x23 + x207*x55 - 3.34802*x207 + 3.25991*x32 - 0.484581*x33 + 0.220264*x35 + 0.792952*x39 + 1.32159*x43 + 2.55507*x47 = 0 } } Constraint e25 { Definition: { x56*x24 - 3.34802*x24 + 1.32159*x37 + 0.792952*x40 + 1.32159*x44 + 2.55507*x48 + 1.4978*x52 = 0 } } Constraint e26 { Definition: x57*x25 + x57*x26 + x57*x27 + x57*x28 - 2.55507*x41 - 2.02643*x45 = 0; } Constraint e27 { Definition: { x58*x29 - 3.34802*x29 + x58*x30 - 3.34802*x30 + x208*x58 - 3.34802*x208 + x209*x58 - 3.34802*x209 - 0.484581*x34 + 0.220264*x36 + 1.32159*x38 + 0.792952*x42 + 1.32159*x46 + 2.29075*x50 + 1.4978*x53 = 0 } } Constraint e28 { Definition: x59*x31 - 5.37445*x31 + 4.5815*x49 + 4.31718*x51 + 3.52423*x54 = 0; } Constraint e29 { Definition: { x57*x25 - 0.0881057*x25 + x208*x58 - 0.0881057*x208 + 3.74449*x6 + 3.03965*x8 + 1.93833*x10 + 2.46696*x12 + 1.93833*x14 + 0.704846*x16 + 0.969163*x18 + 1.76211*x20 + 3.25991*x205 >= 0 } } Constraint e30 { Definition: { x57*x25 - 10*x25 + x208*x58 - 10*x208 - 9.91189*x3 - 6.1674*x6 - 6.87225*x8 - 7.97357*x10 - 7.44493*x12 - 7.97357*x14 - 9.20705*x16 - 8.94273*x18 - 8.14978*x20 - 6.65198*x205 <= 0 } } Constraint e31 { Definition: { x57*x26 - 0.0881057*x26 + x59*x31 - 0.0881057*x31 + x207*x55 - 0.0881057* x207 + x209*x58 - 0.0881057*x209 + 3.03965*x9 + 2.46696*x13 + 1.93833*x15 + 0.704846*x17 + 1.76211*x21 + 3.25991*x206 >= 0 } } Constraint e32 { Definition: { x57*x26 - 6.82819*x26 + x59*x31 - 6.82819*x31 + x207*x55 - 6.82819*x207 + x209*x58 - 6.82819*x209 - 6.74009*x4 - 3.70044*x9 - 4.27313*x13 - 4.80176*x15 - 6.03524*x17 - 4.97797*x21 - 3.48018*x206 <= 0 } } Constraint e33 { Definition: { x56*x24 - 0.792952*x24 + x57*x27 - 0.792952*x27 + x58*x29 - 0.792952*x29 + 2.55507*x2 + 1.23348*x11 + 0.264317*x19 + 1.05727*x22 >= 0 } } Constraint e34 { Definition: { x56*x24 - 2.37885*x24 + x57*x27 - 2.37885*x27 + x58*x29 - 2.37885*x29 + 0.969163*x2 - 0.352423*x11 - 1.32159*x19 - 0.528634*x22 <= 0 } } Constraint e35 { Definition: { x55*x23 - 0.0881057*x23 + x57*x28 - 0.0881057*x28 + x58*x30 - 0.0881057* x30 + 3.74449*x7 >= 0 } } Constraint e36 { Definition: { x55*x23 - 6.60793*x23 + x57*x28 - 6.60793*x28 + x58*x30 - 6.60793*x30 - 6.51982*x5 - 2.77533*x7 <= 0 } } Constraint e37 { Definition: { x60*x23 - 4.01042*x23 + x207*x60 - 4.01042*x207 + 1.71875*x32 - 0.677083*x33 - 1.14583*x35 + 2.03125*x39 + 2.29167*x43 + 1.97917*x47 = 0 } } Constraint e38 { Definition: { x61*x24 - 4.01042*x24 - 0.9375*x37 + 2.03125*x40 + 2.29167*x44 + 1.97917*x48 + 3.17708*x52 = 0 } } Constraint e39 { Definition: x62*x25 + x62*x26 + x62*x27 + x62*x28 - 1.97917*x41 - 1.71875*x45 = 0; } Constraint e40 { Definition: { x63*x29 - 4.01042*x29 + x63*x30 - 4.01042*x30 + x208*x63 - 4.01042*x208 + x209*x63 - 4.01042*x209 - 0.677083*x34 - 1.14583*x36 - 0.9375*x38 + 2.03125*x42 + 2.29167*x46 + 1.97917*x50 + 3.17708*x53 = 0 } } Constraint e41 { Definition: x64*x31 - 8.95833*x31 + 6.92708*x49 + 6.92708*x51 + 8.125*x54 = 0; } Constraint e42 { Definition: { x62*x25 - 0.833333*x25 + x208*x63 - 0.833333*x208 + 1.45833*x3 + 3.85417*x6 + 4.32292*x8 + 4.11458*x10 + 1.14583*x12 + 0.885417*x14 + 1.19792*x16 + 1.19792*x18 + 3.17708*x205 >= 0 } } Constraint e43 { Definition: { x62*x25 - 10*x25 + x208*x63 - 10*x208 - 7.70833*x3 - 5.3125*x6 - 4.84375*x8 - 5.05208*x10 - 8.02083*x12 - 8.28125*x14 - 7.96875*x16 - 7.96875*x18 - 9.16667*x20 - 5.98958*x205 <= 0 } } Constraint e44 { Definition: { x62*x26 - 0.833333*x26 + x64*x31 - 0.833333*x31 + x207*x60 - 0.833333* x207 + x209*x63 - 0.833333*x209 + 1.45833*x4 + 4.32292*x9 + 1.14583*x13 + 0.885417*x15 + 1.19792*x17 + 3.17708*x206 >= 0 } } Constraint e45 { Definition: { x62*x26 - 9.6875*x26 + x64*x31 - 9.6875*x31 + x207*x60 - 9.6875*x207 + x209*x63 - 9.6875*x209 - 7.39583*x4 - 4.53125*x9 - 7.70833*x13 - 7.96875*x15 - 7.65625*x17 - 8.85417*x21 - 5.67708*x206 <= 0 } } Constraint e46 { Definition: { x61*x24 - 0.833333*x24 + x62*x27 - 0.833333*x27 + x63*x29 - 0.833333*x29 + 3.17708*x2 + 4.11458*x11 + 1.19792*x19 >= 0 } } Constraint e47 { Definition: { x61*x24 - 8.85417*x24 + x62*x27 - 8.85417*x27 + x63*x29 - 8.85417*x29 - 4.84375*x2 - 3.90625*x11 - 6.82292*x19 - 8.02083*x22 <= 0 } } Constraint e48 { Definition: { x60*x23 - 0.833333*x23 + x62*x28 - 0.833333*x28 + x63*x30 - 0.833333*x30 + 1.45833*x5 + 3.85417*x7 >= 0 } } Constraint e49 { Definition: { x60*x23 - 3.54167*x23 + x62*x28 - 3.54167*x28 + x63*x30 - 3.54167*x30 - 1.25*x5 + 1.14583*x7 <= 0 } } Constraint e50 { Definition: { x65*x23 - 1.61157*x23 + x207*x65 - 1.61157*x207 + 1.52893*x32 + 0.909091*x33 + 0.206612*x35 + 0.123967*x39 - 2.43802*x43 + 0.0826446*x47 = 0 } } Constraint e51 { Definition: { x66*x24 - 1.61157*x24 + 0.206612*x37 + 0.123967*x40 - 2.43802*x44 + 0.0826446*x48 - 1.36364*x52 = 0 } } Constraint e52 { Definition: x67*x25 + x67*x26 + x67*x27 + x67*x28 - 1.4876*x41 - 4.04959*x45 = 0; } Constraint e53 { Definition: { x68*x29 - 1.61157*x29 + x68*x30 - 1.61157*x30 + x208*x68 - 1.61157*x208 + x209*x68 - 1.61157*x209 + 0.909091*x34 + 0.206612*x36 + 0.206612*x38 + 0.123967*x42 - 2.43802*x46 - 1.8595*x50 - 1.36364*x53 = 0 } } Constraint e54 { Definition: x69*x31 - 3.01653*x31 + 1.4876*x49 - 0.454545*x51 + 0.0413223*x54 = 0; } Constraint e55 { Definition: { x67*x25 - 0.0826446*x25 + x208*x68 - 0.0826446*x208 + 0.619835*x6 + 1.32231*x8 + 1.32231*x10 + 1.40496*x12 + 3.96694*x14 + 1.44628*x16 + 3.38843*x18 + 2.89256*x20 + 1.52893*x205 >= 0 } } Constraint e56 { Definition: { x67*x25 - 3.34711*x25 + x208*x68 - 3.34711*x208 - 3.26446*x3 - 2.64463*x6 - 1.94215*x8 - 1.94215*x10 - 1.8595*x12 + 0.702479*x14 - 1.81818*x16 + 0.123967*x18 - 0.371901*x20 - 1.73554*x205 <= 0 } } Constraint e57 { Definition: { x67*x26 - 0.0826446*x26 + x69*x31 - 0.0826446*x31 + x207*x65 - 0.0826446* x207 + x209*x68 - 0.0826446*x209 + 1.32231*x9 + 1.40496*x13 + 3.96694*x15 + 1.44628*x17 + 2.89256*x21 + 1.52893*x206 >= 0 } } Constraint e58 { Definition: { x67*x26 - 3.76033*x26 + x69*x31 - 3.76033*x31 + x207*x65 - 3.76033*x207 + x209*x68 - 3.76033*x209 - 3.67769*x4 - 2.35537*x9 - 2.27273*x13 + 0.289256*x15 - 2.2314*x17 - 0.785124*x21 - 2.14876*x206 <= 0 } } Constraint e59 { Definition: { x66*x24 - 0.702479*x24 + x67*x27 - 0.702479*x27 + x68*x29 - 0.702479*x29 + 0.909091*x2 + 0.702479*x11 + 2.7686*x19 + 2.27273*x22 >= 0 } } Constraint e60 { Definition: { x66*x24 - 10*x24 + x67*x27 - 10*x27 + x68*x29 - 10*x29 - 8.38843*x2 - 8.59504*x11 - 6.52893*x19 - 7.02479*x22 <= 0 } } Constraint e61 { Definition: { x65*x23 - 0.0826446*x23 + x67*x28 - 0.0826446*x28 + x68*x30 - 0.0826446* x30 + 0.619835*x7 >= 0 } } Constraint e62 { Definition: { x65*x23 - 8.96694*x23 + x67*x28 - 8.96694*x28 + x68*x30 - 8.96694*x30 - 8.8843*x5 - 8.26446*x7 <= 0 } } Constraint e63 { Definition: { x70*x23 - 1.98312*x23 + x207*x70 - 1.98312*x207 + 1.72996*x32 - 1.22363*x33 + 0.843882*x35 + 1.26582*x39 - 1.13924*x43 - 0.379747*x47 = 0 } } Constraint e64 { Definition: { x71*x24 - 1.98312*x24 - 1.01266*x37 + 1.26582*x40 - 1.13924*x44 - 0.379747*x48 + 1.35021*x52 = 0 } } Constraint e65 { Definition: x72*x25 + x72*x26 + x72*x27 + x72*x28 - 0.7173*x41 - 3.12236*x45 = 0; } Constraint e66 { Definition: { x73*x29 - 1.98312*x29 + x73*x30 - 1.98312*x30 + x208*x73 - 1.98312*x208 + x209*x73 - 1.98312*x209 - 1.22363*x34 + 0.843882*x36 - 1.01266*x38 + 1.26582*x42 - 1.13924*x46 + 1.56118*x50 + 1.35021*x53 = 0 } } Constraint e67 { Definition: x74*x31 - 4.9789*x31 + 2.61603*x49 + 4.55696*x51 + 4.34599*x54 = 0; } Constraint e68 { Definition: { x72*x25 - 0.253165*x25 + x208*x73 - 0.253165*x208 + 2.95359*x6 + 0.886076*x8 + 2.74262*x10 + 0.464135*x12 + 2.8692*x14 + 2.1097*x16 + 0.168776*x18 + 0.379747*x20 + 1.72996*x205 >= 0 } } Constraint e69 { Definition: { x72*x25 - 10*x25 + x208*x73 - 10*x208 - 9.74684*x3 - 6.79325*x6 - 8.86076*x8 - 7.00422*x10 - 9.2827*x12 - 6.87764*x14 - 7.63713*x16 - 9.57806*x18 - 9.36709*x20 - 8.01688*x205 <= 0 } } Constraint e70 { Definition: { x72*x26 - 0.253165*x26 + x74*x31 - 0.253165*x31 + x207*x70 - 0.253165* x207 + x209*x73 - 0.253165*x209 + 0.886076*x9 + 0.464135*x13 + 2.8692*x15 + 2.1097*x17 + 0.379747*x21 + 1.72996*x206 >= 0 } } Constraint e71 { Definition: { x72*x26 - 9.83122*x26 + x74*x31 - 9.83122*x31 + x207*x70 - 9.83122*x207 + x209*x73 - 9.83122*x209 - 9.57806*x4 - 8.69198*x9 - 9.11392*x13 - 6.70886*x15 - 7.46835*x17 - 9.19831*x21 - 7.8481*x206 <= 0 } } Constraint e72 { Definition: { x71*x24 - 0.421941*x24 + x72*x27 - 0.421941*x27 + x73*x29 - 0.421941*x29 + 1.56118*x2 + 2.57384*x11 + 0.21097*x22 >= 0 } } Constraint e73 { Definition: { x71*x24 - 6.24473*x24 + x72*x27 - 6.24473*x27 + x73*x29 - 6.24473*x29 - 4.2616*x2 - 3.24895*x11 - 5.82278*x19 - 5.61181*x22 <= 0 } } Constraint e74 { Definition: { x70*x23 - 0.253165*x23 + x72*x28 - 0.253165*x28 + x73*x30 - 0.253165*x30 + 2.95359*x7 >= 0 } } Constraint e75 { Definition: { x70*x23 - 6.75105*x23 + x72*x28 - 6.75105*x28 + x73*x30 - 6.75105*x30 - 6.49789*x5 - 3.5443*x7 <= 0 } } Constraint e76 { Definition: { x75*x23 - 3.58025*x23 + x207*x75 - 3.58025*x207 + 2.38683*x32 + 0.781893*x33 + 0.164609*x35 + 2.71605*x39 + 0.0823045*x43 + 1.7284*x47 = 0 } } Constraint e77 { Definition: { x76*x24 - 3.58025*x24 - 0.329218*x37 + 2.71605*x40 + 0.0823045*x44 + 1.7284*x48 + 1.97531*x52 = 0 } } Constraint e78 { Definition: x77*x25 + x77*x26 + x77*x27 + x77*x28 - 0.864198*x41 - 3.49794*x45 = 0; } Constraint e79 { Definition: { x78*x29 - 3.58025*x29 + x78*x30 - 3.58025*x30 + x208*x78 - 3.58025*x208 + x209*x78 - 3.58025*x209 + 0.781893*x34 + 0.164609*x36 - 0.329218*x38 + 2.71605*x42 + 0.0823045*x46 + 0.205761*x50 + 1.97531*x53 = 0 } } Constraint e80 { Definition: x79*x31 - 7.48971*x31 + 5.63786*x49 + 4.11523*x51 + 5.88477*x54 = 0; } Constraint e81 { Definition: { x77*x25 - 0.864198*x25 + x208*x78 - 0.864198*x208 + 0.329218*x3 + 1.93416*x6 + 2.55144*x8 + 3.04527*x10 + 2.63374*x14 + 0.987654*x16 + 2.51029*x18 + 0.740741*x20 + 2.71605*x205 >= 0 } } Constraint e82 { Definition: { x77*x25 - 5.02058*x25 + x208*x78 - 5.02058*x208 - 3.82716*x3 - 2.22222*x6 - 1.60494*x8 - 1.11111*x10 - 4.15638*x12 - 1.52263*x14 - 3.16872*x16 - 1.64609*x18 - 3.41564*x20 - 1.44033*x205 <= 0 } } Constraint e83 { Definition: { x77*x26 - 0.864198*x26 + x79*x31 - 0.864198*x31 + x207*x75 - 0.864198* x207 + x209*x78 - 0.864198*x209 + 0.329218*x4 + 2.55144*x9 + 2.63374*x15 + 0.987654*x17 + 0.740741*x21 + 2.71605*x206 >= 0 } } Constraint e84 { Definition: { x77*x26 - 3.29218*x26 + x79*x31 - 3.29218*x31 + x207*x75 - 3.29218*x207 + x209*x78 - 3.29218*x209 - 2.09877*x4 + 0.123457*x9 - 2.42798*x13 + 0.205761*x15 - 1.44033*x17 - 1.68724*x21 + 0.288066*x206 <= 0 } } Constraint e85 { Definition: { x76*x24 - 0.864198*x24 + x77*x27 - 0.864198*x27 + x78*x29 - 0.864198*x29 + 2.71605*x2 + 3.04527*x11 + 2.51029*x19 + 0.740741*x22 >= 0 } } Constraint e86 { Definition: { x76*x24 - 9.58848*x24 + x77*x27 - 9.58848*x27 + x78*x29 - 9.58848*x29 - 6.00823*x2 - 5.67901*x11 - 6.21399*x19 - 7.98354*x22 <= 0 } } Constraint e87 { Definition: { x75*x23 - 0.864198*x23 + x77*x28 - 0.864198*x28 + x78*x30 - 0.864198*x30 + 0.329218*x5 + 1.93416*x7 >= 0 } } Constraint e88 { Definition: { x75*x23 - 10*x23 + x77*x28 - 10*x28 + x78*x30 - 10*x30 - 8.80658*x5 - 7.20165*x7 <= 0 } } Constraint e89 { Definition: { x80*x23 - 1.97183*x23 + x207*x80 - 1.97183*x207 - 1.31455*x32 + 0.28169*x33 - 0.375587*x35 + 1.64319*x39 - 1.40845*x43 - 0.798122*x47 = 0 } } Constraint e90 { Definition: { x81*x24 - 1.97183*x24 - 2.58216*x37 + 1.64319*x40 - 1.40845*x44 - 0.798122*x48 + 0.422535*x52 = 0 } } Constraint e91 { Definition: x82*x25 + x82*x26 + x82*x27 + x82*x28 - 0.328638*x41 - 3.38028*x45 = 0; } Constraint e92 { Definition: { x83*x29 - 1.97183*x29 + x83*x30 - 1.97183*x30 + x208*x83 - 1.97183*x208 + x209*x83 - 1.97183*x209 + 0.28169*x34 - 0.375587*x36 - 2.58216*x38 + 1.64319*x42 - 1.40845*x46 - 2.15962*x50 + 0.422535*x53 = 0 } } Constraint e93 { Definition: x84*x31 - 6.52582*x31 + 3.75587*x49 + 2.39437*x51 + 4.97653*x54 = 0; } Constraint e94 { Definition: { x82*x25 - 0.328638*x25 + x208*x83 - 0.328638*x208 + 2.95775*x3 + 1.3615*x6 + 2.01878*x8 + 4.22535*x10 + 3.05164*x14 + 2.44131*x16 + 3.80282*x18 + 1.22066*x20 + 1.64319*x205 >= 0 } } Constraint e95 { Definition: { x82*x25 - 4.46009*x25 + x208*x83 - 4.46009*x208 - 1.17371*x3 - 2.76995*x6 - 2.11268*x8 + 0.0938967*x10 - 4.13146*x12 - 1.07981*x14 - 1.69014*x16 - 0.328638*x18 - 2.9108*x20 - 2.48826*x205 <= 0 } } Constraint e96 { Definition: { x82*x26 - 0.328638*x26 + x84*x31 - 0.328638*x31 + x207*x80 - 0.328638* x207 + x209*x83 - 0.328638*x209 + 2.95775*x4 + 2.01878*x9 + 3.05164*x15 + 2.44131*x17 + 1.22066*x21 + 1.64319*x206 >= 0 } } Constraint e97 { Definition: { x82*x26 - 10*x26 + x84*x31 - 10*x31 + x207*x80 - 10*x207 + x209*x83 - 10* x209 - 6.71362*x4 - 7.65258*x9 - 9.67136*x13 - 6.61972*x15 - 7.23005*x17 - 8.4507*x21 - 8.02817*x206 <= 0 } } Constraint e98 { Definition: { x81*x24 - 0.328638*x24 + x82*x27 - 0.328638*x27 + x83*x29 - 0.328638*x29 + 1.64319*x2 + 4.22535*x11 + 3.80282*x19 + 1.22066*x22 >= 0 } } Constraint e99 { Definition: { x81*x24 - 2.34742*x24 + x82*x27 - 2.34742*x27 + x83*x29 - 2.34742*x29 - 0.375587*x2 + 2.20657*x11 + 1.78404*x19 - 0.798122*x22 <= 0 } } Constraint e100 { Definition: { x80*x23 - 0.328638*x23 + x82*x28 - 0.328638*x28 + x83*x30 - 0.328638*x30 + 2.95775*x5 + 1.3615*x7 >= 0 } } Constraint e101 { Definition: { x80*x23 - 9.06103*x23 + x82*x28 - 9.06103*x28 + x83*x30 - 9.06103*x30 - 5.77465*x5 - 7.37089*x7 <= 0 } } Constraint e102 { Definition: { x85*x23 - 2.25806*x23 + x207*x85 - 2.25806*x207 + 0.698925*x32 - 0.591398*x33 - 0.967742*x35 - 2.41935*x39 + 0.645161*x43 - 2.74194*x47 = 0 } } Constraint e103 { Definition: { x86*x24 - 2.25806*x24 + 1.50538*x37 - 2.41935*x40 + 0.645161*x44 - 2.74194*x48 - 0.967742*x52 = 0 } } Constraint e104 { Definition: x87*x25 + x87*x26 + x87*x27 + x87*x28 - 4.67742*x41 - 1.6129*x45 = 0; } Constraint e105 { Definition: { x88*x29 - 2.25806*x29 + x88*x30 - 2.25806*x30 + x208*x88 - 2.25806*x208 + x209*x88 - 2.25806*x209 - 0.591398*x34 - 0.967742*x36 + 1.50538*x38 - 2.41935*x42 + 0.645161*x46 - 1.45161*x50 - 0.967742*x53 = 0 } } Constraint e106 { Definition: x89*x31 - 3.01075*x31 - 1.98925*x49 - 0.698925*x51 - 0.215054*x54 = 0; } Constraint e107 { Definition: { x87*x25 - 0.752688*x25 + x208*x88 - 0.752688*x208 + 0.806452*x3 + 2.09677*x6 + 2.47312*x8 + 3.92473*x12 + 0.860215*x14 + 4.24731*x16 + 2.95699*x18 + 2.47312*x20 + 1.50538*x205 >= 0 } } Constraint e108 { Definition: { x87*x25 - 8.65591*x25 + x208*x88 - 8.65591*x208 - 7.09677*x3 - 5.80645*x6 - 5.43011*x8 - 7.90323*x10 - 3.97849*x12 - 7.04301*x14 - 3.65591*x16 - 4.94624*x18 - 5.43011*x20 - 6.39785*x205 <= 0 } } Constraint e109 { Definition: { x87*x26 - 0.752688*x26 + x89*x31 - 0.752688*x31 + x207*x85 - 0.752688* x207 + x209*x88 - 0.752688*x209 + 0.806452*x4 + 2.47312*x9 + 3.92473*x13 + 0.860215*x15 + 4.24731*x17 + 2.47312*x21 + 1.50538*x206 >= 0 } } Constraint e110 { Definition: { x87*x26 - 6.02151*x26 + x89*x31 - 6.02151*x31 + x207*x85 - 6.02151*x207 + x209*x88 - 6.02151*x209 - 4.46237*x4 - 2.7957*x9 - 1.34409*x13 - 4.4086*x15 - 1.02151*x17 - 2.7957*x21 - 3.76344*x206 <= 0 } } Constraint e111 { Definition: { x86*x24 - 0.752688*x24 + x87*x27 - 0.752688*x27 + x88*x29 - 0.752688*x29 + 1.50538*x2 + 2.95699*x19 + 2.47312*x22 >= 0 } } Constraint e112 { Definition: { x86*x24 - 10*x24 + x87*x27 - 10*x27 + x88*x29 - 10*x29 - 7.74194*x2 - 9.24731*x11 - 6.29032*x19 - 6.77419*x22 <= 0 } } Constraint e113 { Definition: { x85*x23 - 0.752688*x23 + x87*x28 - 0.752688*x28 + x88*x30 - 0.752688*x30 + 0.806452*x5 + 2.09677*x7 >= 0 } } Constraint e114 { Definition: { x85*x23 - 3.76344*x23 + x87*x28 - 3.76344*x28 + x88*x30 - 3.76344*x30 - 2.2043*x5 - 0.913978*x7 <= 0 } } Constraint e115 { Definition: { x90*x23 - 0.12*x23 + x207*x90 - 0.12*x207 - x32 - 2.92*x33 - 2.76*x35 + 0.04*x39 - x43 - 1.84*x47 = 0 } } Constraint e116 { Definition: { x91*x24 - 0.12*x24 - 3.8*x37 + 0.04*x40 - x44 - 1.84*x48 - 1.96*x52 = 0 } } Constraint e117 { Definition: x92*x25 + x92*x26 + x92*x27 + x92*x28 - 0.08*x41 - 1.12*x45 = 0; } Constraint e118 { Definition: { x93*x29 - 0.12*x29 + x93*x30 - 0.12*x30 + x208*x93 - 0.12*x208 + x209* x93 - 0.12*x209 - 2.92*x34 - 2.76*x36 - 3.8*x38 + 0.04*x42 - x46 - 0.92*x50 - 1.96*x53 = 0 } } Constraint e119 { Definition: x94*x31 - 4.04*x31 + 2.08*x49 + 3*x51 + 1.96*x54 = 0; } Constraint e120 { Definition: { x92*x25 - 0.08*x25 + x208*x93 - 0.08*x208 + 1.04*x3 + 2.96*x6 + 2.8*x8 + 3.84*x10 + 1.04*x14 + 1.88*x16 + 0.96*x18 + 2*x20 + 0.04*x205 >= 0 } } Constraint e121 { Definition: { x92*x25 - 10*x25 + x208*x93 - 10*x208 - 8.88*x3 - 6.96*x6 - 7.12*x8 - 6.08*x10 - 9.92*x12 - 8.88*x14 - 8.04*x16 - 8.96*x18 - 7.92*x20 - 9.88*x205 <= 0 } } Constraint e122 { Definition: { x92*x26 - 0.08*x26 + x94*x31 - 0.08*x31 + x207*x90 - 0.08*x207 + x209* x93 - 0.08*x209 + 1.04*x4 + 2.8*x9 + 1.04*x15 + 1.88*x17 + 2*x21 + 0.04*x206 >= 0 } } Constraint e123 { Definition: { x92*x26 - 7.72*x26 + x94*x31 - 7.72*x31 + x207*x90 - 7.72*x207 + x209* x93 - 7.72*x209 - 6.6*x4 - 4.84*x9 - 7.64*x13 - 6.6*x15 - 5.76*x17 - 5.64*x21 - 7.6*x206 <= 0 } } Constraint e124 { Definition: { x91*x24 - 0.08*x24 + x92*x27 - 0.08*x27 + x93*x29 - 0.08*x29 + 0.04*x2 + 3.84*x11 + 0.96*x19 + 2*x22 >= 0 } } Constraint e125 { Definition: { x91*x24 - 6.04*x24 + x92*x27 - 6.04*x27 + x93*x29 - 6.04*x29 - 5.92*x2 - 2.12*x11 - 5*x19 - 3.96*x22 <= 0 } } Constraint e126 { Definition: { x90*x23 - 0.08*x23 + x92*x28 - 0.08*x28 + x93*x30 - 0.08*x30 + 1.04*x5 + 2.96*x7 >= 0 } } Constraint e127 { Definition: { x90*x23 - 2.2*x23 + x92*x28 - 2.2*x28 + x93*x30 - 2.2*x30 - 1.08*x5 + 0.84*x7 <= 0 } } Constraint e128 { Definition: { x95*x23 - 2.59414*x23 + x207*x95 - 2.59414*x207 - 1.21339*x32 - 0.627615*x33 + 2.42678*x35 + 1.46444*x39 - 0.794979*x43 + 2.46862*x47 = 0 } } Constraint e129 { Definition: { x96*x24 - 2.59414*x24 + 2.38494*x37 + 1.46444*x40 - 0.794979*x44 + 2.46862*x48 - 1.58996*x52 = 0 } } Constraint e130 { Definition: x97*x25 + x97*x26 + x97*x27 + x97*x28 - 1.12971*x41 - 3.38912*x45 = 0; } Constraint e131 { Definition: { x98*x29 - 2.59414*x29 + x98*x30 - 2.59414*x30 + x208*x98 - 2.59414*x208 + x209*x98 - 2.59414*x209 - 0.627615*x34 + 2.42678*x36 + 2.38494*x38 + 1.46444*x42 - 0.794979*x46 - 1.58996*x53 = 0 } } Constraint e132 { Definition: x99*x31 - 2.80335*x31 + 2.67782*x49 + 0.209205*x51 - 1.38075*x54 = 0; } Constraint e133 { Definition: { x97*x25 - 0.125523*x25 + x208*x98 - 0.125523*x208 + 3.68201*x3 + 3.09623*x6 + 0.041841*x8 + 0.083682*x10 + 1.00418*x12 + 3.2636*x14 + 2.46862*x18 + 4.05858*x20 + 2.46862*x205 >= 0 } } Constraint e134 { Definition: { x97*x25 - 2.88703*x25 + x208*x98 - 2.88703*x208 + 0.920502*x3 + 0.334728*x6 - 2.71967*x8 - 2.67782*x10 - 1.75732*x12 + 0.502092*x14 - 2.76151*x16 - 0.292887*x18 + 1.29707*x20 - 0.292887*x205 <= 0 } } Constraint e135 { Definition: { x97*x26 - 0.125523*x26 + x99*x31 - 0.125523*x31 + x207*x95 - 0.125523* x207 + x209*x98 - 0.125523*x209 + 3.68201*x4 + 0.041841*x9 + 1.00418*x13 + 3.2636*x15 + 4.05858*x21 + 2.46862*x206 >= 0 } } Constraint e136 { Definition: { x97*x26 - 4.39331*x26 + x99*x31 - 4.39331*x31 + x207*x95 - 4.39331*x207 + x209*x98 - 4.39331*x209 - 0.585774*x4 - 4.22594*x9 - 3.2636*x13 - 1.00418*x15 - 4.26778*x17 - 0.209205*x21 - 1.79916*x206 <= 0 } } Constraint e137 { Definition: { x96*x24 - 0.125523*x24 + x97*x27 - 0.125523*x27 + x98*x29 - 0.125523*x29 + 2.46862*x2 + 0.083682*x11 + 2.46862*x19 + 4.05858*x22 >= 0 } } Constraint e138 { Definition: { x96*x24 - 3.64017*x24 + x97*x27 - 3.64017*x27 + x98*x29 - 3.64017*x29 - 1.04603*x2 - 3.43096*x11 - 1.04603*x19 + 0.543933*x22 <= 0 } } Constraint e139 { Definition: { x95*x23 - 0.125523*x23 + x97*x28 - 0.125523*x28 + x98*x30 - 0.125523*x30 + 3.68201*x5 + 3.09623*x7 >= 0 } } Constraint e140 { Definition: { x95*x23 - 10*x23 + x97*x28 - 10*x28 + x98*x30 - 10*x30 - 6.19247*x5 - 6.77824*x7 <= 0 } } Constraint e141 { Definition: { x100*x23 - 2.87671*x23 + x207*x100 - 2.87671*x207 + 1.41553*x32 + 0.365297*x33 - 0.273973*x35 + 1.00457*x39 + 2.37443*x43 + 1.73516*x47 = 0 } } Constraint e142 { Definition: { x101*x24 - 2.87671*x24 + 1.09589*x37 + 1.00457*x40 + 2.37443*x44 + 1.73516*x48 + 0.684932*x52 = 0 } } Constraint e143 { Definition: { x102*x25 + x102*x26 + x102*x27 + x102*x28 - 1.87215*x41 - 0.502283*x45 = 0 } } Constraint e144 { Definition: { x103*x29 - 2.87671*x29 + x103*x30 - 2.87671*x30 + x208*x103 - 2.87671* x208 + x209*x103 - 2.87671*x209 + 0.365297*x34 - 0.273973*x36 + 1.09589*x38 + 1.00457*x42 + 2.37443*x46 - 0.228311*x50 + 0.684932*x53 = 0 } } Constraint e145 { Definition: x104*x31 - 4.65753*x31 + 3.51598*x49 + 1.55251*x51 + 2.46575*x54 = 0; } Constraint e146 { Definition: { x102*x25 - 0.502283*x25 + x208*x103 - 0.502283*x208 + 0.958904*x3 + 2.00913*x6 + 2.6484*x8 + 1.27854*x10 + 1.36986*x12 + 0.639269*x16 + 2.60274*x18 + 1.6895*x20 + 2.37443*x205 >= 0 } } Constraint e147 { Definition: { x102*x25 - 10*x25 + x208*x103 - 10*x208 - 8.53881*x3 - 7.48858*x6 - 6.84932*x8 - 8.21918*x10 - 8.12785*x12 - 9.49772*x14 - 8.85845*x16 - 6.89498*x18 - 7.80822*x20 - 7.12329*x205 <= 0 } } Constraint e148 { Definition: { x102*x26 - 0.502283*x26 + x104*x31 - 0.502283*x31 + x207*x100 - 0.502283 *x207 + x209*x103 - 0.502283*x209 + 0.958904*x4 + 2.6484*x9 + 1.36986*x13 + 0.639269*x17 + 1.6895*x21 + 2.37443*x206 >= 0 } } Constraint e149 { Definition: { x102*x26 - 3.60731*x26 + x104*x31 - 3.60731*x31 + x207*x100 - 3.60731* x207 + x209*x103 - 3.60731*x209 - 2.14612*x4 - 0.456621*x9 - 1.73516*x13 - 3.10502*x15 - 2.46575*x17 - 1.41553*x21 - 0.730594*x206 <= 0 } } Constraint e150 { Definition: { x101*x24 - 0.502283*x24 + x102*x27 - 0.502283*x27 + x103*x29 - 0.502283* x29 + 2.37443*x2 + 1.27854*x11 + 2.60274*x19 + 1.6895*x22 >= 0 } } Constraint e151 { Definition: { x101*x24 - 5.43379*x24 + x102*x27 - 5.43379*x27 + x103*x29 - 5.43379*x29 - 2.55708*x2 - 3.65297*x11 - 2.32877*x19 - 3.24201*x22 <= 0 } } Constraint e152 { Definition: { x100*x23 - 0.502283*x23 + x102*x28 - 0.502283*x28 + x103*x30 - 0.502283* x30 + 0.958904*x5 + 2.00913*x7 >= 0 } } Constraint e153 { Definition: { x100*x23 - 3.78995*x23 + x102*x28 - 3.78995*x28 + x103*x30 - 3.78995*x30 - 2.32877*x5 - 1.27854*x7 <= 0 } } Constraint e154 { Definition: { x105*x23 - 2.5*x23 + x207*x105 - 2.5*x207 - 1.57895*x32 - 1.31579*x33 + 1.77632*x35 - 3.61842*x39 + 0.197368*x43 - 0.855263*x47 = 0 } } Constraint e155 { Definition: { x106*x24 - 2.5*x24 - 0.657895*x37 - 3.61842*x40 + 0.197368*x44 - 0.855263*x48 - 2.89474*x52 = 0 } } Constraint e156 { Definition: { x107*x25 + x107*x26 + x107*x27 + x107*x28 - 6.11842*x41 - 2.30263*x45 = 0 } } Constraint e157 { Definition: { x108*x29 - 2.5*x29 + x108*x30 - 2.5*x30 + x208*x108 - 2.5*x208 + x209* x108 - 2.5*x209 - 1.31579*x34 + 1.77632*x36 - 0.657895*x38 - 3.61842*x42 + 0.197368*x46 - 3.42105*x50 - 2.89474*x53 = 0 } } Constraint e158 { Definition: { x109*x31 - 5.65789*x31 + 2.30263*x49 - 0.263158*x51 + 0.263158*x54 = 0 } } Constraint e159 { Definition: { x107*x25 - 0.723684*x25 + x208*x108 - 0.723684*x208 + 3.35526*x3 + 3.09211*x6 + 2.43421*x10 + 5.39474*x12 + 1.57895*x14 + 2.63158*x16 + 5.19737*x18 + 4.67105*x20 + 1.77632*x205 >= 0 } } Constraint e160 { Definition: { x107*x25 - 9.14474*x25 + x208*x108 - 9.14474*x208 - 5.06579*x3 - 5.32895*x6 - 8.42105*x8 - 5.98684*x10 - 3.02632*x12 - 6.84211*x14 - 5.78947*x16 - 3.22368*x18 - 3.75*x20 - 6.64474*x205 <= 0 } } Constraint e161 { Definition: { x107*x26 - 0.723684*x26 + x109*x31 - 0.723684*x31 + x207*x105 - 0.723684 *x207 + x209*x108 - 0.723684*x209 + 3.35526*x4 + 5.39474*x13 + 1.57895*x15 + 2.63158*x17 + 4.67105*x21 + 1.77632*x206 >= 0 } } Constraint e162 { Definition: { x107*x26 - 9.53947*x26 + x109*x31 - 9.53947*x31 + x207*x105 - 9.53947* x207 + x209*x108 - 9.53947*x209 - 5.46053*x4 - 8.81579*x9 - 3.42105*x13 - 7.23684*x15 - 6.18421*x17 - 4.14474*x21 - 7.03947*x206 <= 0 } } Constraint e163 { Definition: { x106*x24 - 0.723684*x24 + x107*x27 - 0.723684*x27 + x108*x29 - 0.723684* x29 + 1.77632*x2 + 2.43421*x11 + 5.19737*x19 + 4.67105*x22 >= 0 } } Constraint e164 { Definition: { x106*x24 - 10*x24 + x107*x27 - 10*x27 + x108*x29 - 10*x29 - 7.5*x2 - 6.84211*x11 - 4.07895*x19 - 4.60526*x22 <= 0 } } Constraint e165 { Definition: { x105*x23 - 0.723684*x23 + x107*x28 - 0.723684*x28 + x108*x30 - 0.723684* x30 + 3.35526*x5 + 3.09211*x7 >= 0 } } Constraint e166 { Definition: { x105*x23 - 5.98684*x23 + x107*x28 - 5.98684*x28 + x108*x30 - 5.98684*x30 - 1.90789*x5 - 2.17105*x7 <= 0 } } Constraint e167 { Definition: { x110*x23 - 1.49254*x23 + x207*x110 - 1.49254*x207 - 1.9403*x32 - 0.447761*x33 - 5.89552*x35 - 3.50746*x39 - 3.65672*x43 - 0.447761*x47 = 0 } } Constraint e168 { Definition: { x111*x24 - 1.49254*x24 - 1.56716*x37 - 3.50746*x40 - 3.65672*x44 - 0.447761*x48 - 5.29851*x52 = 0 } } Constraint e169 { Definition: x112*x25 + x112*x26 + x112*x27 + x112*x28 - 5*x41 - 5.14925*x45 = 0; } Constraint e170 { Definition: { x113*x29 - 1.49254*x29 + x113*x30 - 1.49254*x30 + x208*x113 - 1.49254* x208 + x209*x113 - 1.49254*x209 - 0.447761*x34 - 5.89552*x36 - 1.56716*x38 - 3.50746*x42 - 3.65672*x46 - 2.16418*x50 - 5.29851*x53 = 0 } } Constraint e171 { Definition: x114*x31 - 4.55224*x31 + 2.61194*x49 + 0.895522*x51 - 2.23881*x54 = 0; } Constraint e172 { Definition: { x112*x25 - 1.49254*x25 + x208*x113 - 1.49254*x208 + 1.9403*x3 + 0.447761*x6 + 5.89552*x8 + 1.56716*x10 + 3.50746*x12 + 3.65672*x14 + 0.447761*x16 + 2.16418*x18 + 5.29851*x20 >= 0 } } Constraint e173 { Definition: { x112*x25 - 6.64179*x25 + x208*x113 - 6.64179*x208 - 3.20896*x3 - 4.70149*x6 + 0.746269*x8 - 3.58209*x10 - 1.64179*x12 - 1.49254*x14 - 4.70149*x16 - 2.98507*x18 + 0.149254*x20 - 5.14925*x205 <= 0 } } Constraint e174 { Definition: { x112*x26 - 1.49254*x26 + x114*x31 - 1.49254*x31 + x207*x110 - 1.49254* x207 + x209*x113 - 1.49254*x209 + 1.9403*x4 + 5.89552*x9 + 3.50746*x13 + 3.65672*x15 + 0.447761*x17 + 5.29851*x21 >= 0 } } Constraint e175 { Definition: { x112*x26 - 10*x26 + x114*x31 - 10*x31 + x207*x110 - 10*x207 + x209*x113 - 10*x209 - 6.56716*x4 - 2.61194*x9 - 5*x13 - 4.85075*x15 - 8.0597*x17 - 3.20896*x21 - 8.50746*x206 <= 0 } } Constraint e176 { Definition: { x111*x24 - 1.49254*x24 + x112*x27 - 1.49254*x27 + x113*x29 - 1.49254*x29 + 1.56716*x11 + 2.16418*x19 + 5.29851*x22 >= 0 } } Constraint e177 { Definition: { x111*x24 - 5.44776*x24 + x112*x27 - 5.44776*x27 + x113*x29 - 5.44776*x29 - 3.95522*x2 - 2.38806*x11 - 1.79104*x19 + 1.34328*x22 <= 0 } } Constraint e178 { Definition: { x110*x23 - 1.49254*x23 + x112*x28 - 1.49254*x28 + x113*x30 - 1.49254*x30 + 1.9403*x5 + 0.447761*x7 >= 0 } } Constraint e179 { Definition: { x110*x23 - 6.86567*x23 + x112*x28 - 6.86567*x28 + x113*x30 - 6.86567*x30 - 3.43284*x5 - 4.92537*x7 <= 0 } } Constraint e180 { Definition: { x115*x23 - 1.20603*x23 + x207*x115 - 1.20603*x207 - 1.05528*x32 + 0.0502513*x33 - 1.8593*x35 - 2.61307*x39 + 0.653266*x43 - 3.26633*x47 = 0 } } Constraint e181 { Definition: { x116*x24 - 1.20603*x24 - 0.603015*x37 - 2.61307*x40 + 0.653266*x44 - 3.26633*x48 + 0.351759*x52 = 0 } } Constraint e182 { Definition: { x117*x25 + x117*x26 + x117*x27 + x117*x28 - 3.8191*x41 - 0.552764*x45 = 0 } } Constraint e183 { Definition: { x118*x29 - 1.20603*x29 + x118*x30 - 1.20603*x30 + x208*x118 - 1.20603* x208 + x209*x118 - 1.20603*x209 + 0.0502513*x34 - 1.8593*x36 - 0.603015*x38 - 2.61307*x42 + 0.653266*x46 - 0.653266*x50 + 0.351759*x53 = 0 } } Constraint e184 { Definition: x119*x31 - 3.01508*x31 - 1.45729*x49 + 1.15578*x51 + 2.1608*x54 = 0; } Constraint e185 { Definition: { x117*x25 - 0.552764*x25 + x208*x118 - 0.552764*x208 + 1.70854*x3 + 0.603015*x6 + 2.51256*x8 + 1.25628*x10 + 3.26633*x12 + 3.9196*x16 + 1.30653*x18 + 0.301508*x20 + 0.653266*x205 >= 0 } } Constraint e186 { Definition: { x117*x25 - 9.39698*x25 + x208*x118 - 9.39698*x208 - 7.13568*x3 - 8.24121*x6 - 6.33166*x8 - 7.58794*x10 - 5.57789*x12 - 8.84422*x14 - 4.92462*x16 - 7.53769*x18 - 8.54271*x20 - 8.19095*x205 <= 0 } } Constraint e187 { Definition: { x117*x26 - 0.552764*x26 + x119*x31 - 0.552764*x31 + x207*x115 - 0.552764 *x207 + x209*x118 - 0.552764*x209 + 1.70854*x4 + 2.51256*x9 + 3.26633*x13 + 3.9196*x17 + 0.301508*x21 + 0.653266*x206 >= 0 } } Constraint e188 { Definition: { x117*x26 - 10*x26 + x119*x31 - 10*x31 + x207*x115 - 10*x207 + x209*x118 - 10*x209 - 7.73869*x4 - 6.93467*x9 - 6.1809*x13 - 9.44724*x15 - 5.52764*x17 - 9.14573*x21 - 8.79397*x206 <= 0 } } Constraint e189 { Definition: { x116*x24 - 0.552764*x24 + x117*x27 - 0.552764*x27 + x118*x29 - 0.552764* x29 + 0.653266*x2 + 1.25628*x11 + 1.30653*x19 + 0.301508*x22 >= 0 } } Constraint e190 { Definition: { x116*x24 - 2.91457*x24 + x117*x27 - 2.91457*x27 + x118*x29 - 2.91457*x29 - 1.70854*x2 - 1.10553*x11 - 1.05528*x19 - 2.0603*x22 <= 0 } } Constraint e191 { Definition: { x115*x23 - 0.552764*x23 + x117*x28 - 0.552764*x28 + x118*x30 - 0.552764* x30 + 1.70854*x5 + 0.603015*x7 >= 0 } } Constraint e192 { Definition: { x115*x23 - 6.03015*x23 + x117*x28 - 6.03015*x28 + x118*x30 - 6.03015*x30 - 3.76884*x5 - 4.87437*x7 <= 0 } } Constraint e193 { Definition: { x120*x23 - 4.80198*x23 + x207*x120 - 4.80198*x207 + 3.56436*x32 + 1.9802*x33 + 3.51485*x35 + 3.36634*x39 + 2.82178*x43 + 0.544554*x47 = 0 } } Constraint e194 { Definition: { x121*x24 - 4.80198*x24 + 1.83168*x37 + 3.36634*x40 + 2.82178*x44 + 0.544554*x48 + 1.58416*x52 = 0 } } Constraint e195 { Definition: { x122*x25 + x122*x26 + x122*x27 + x122*x28 - 1.43564*x41 - 1.9802*x45 = 0 } } Constraint e196 { Definition: { x123*x29 - 4.80198*x29 + x123*x30 - 4.80198*x30 + x208*x123 - 4.80198* x208 + x209*x123 - 4.80198*x209 + 1.9802*x34 + 3.51485*x36 + 1.83168*x38 + 3.36634*x42 + 2.82178*x46 + 1.18812*x50 + 1.58416*x53 = 0 } } Constraint e197 { Definition: x124*x31 - 7.77228*x31 + 3.51485*x49 + 4.15842*x51 + 4.55446*x54 = 0; } Constraint e198 { Definition: { x122*x25 - 1.23762*x25 + x208*x123 - 1.23762*x208 + 1.58416*x6 + 0.049505*x8 + 1.73267*x10 + 0.19802*x12 + 0.742574*x14 + 3.0198*x16 + 2.37624*x18 + 1.9802*x20 + 3.56436*x205 >= 0 } } Constraint e199 { Definition: { x122*x25 - 10*x25 + x208*x123 - 10*x208 - 8.76238*x3 - 7.17822*x6 - 8.71287*x8 - 7.0297*x10 - 8.56436*x12 - 8.0198*x14 - 5.74257*x16 - 6.38614*x18 - 6.78218*x20 - 5.19802*x205 <= 0 } } Constraint e200 { Definition: { x122*x26 - 1.23762*x26 + x124*x31 - 1.23762*x31 + x207*x120 - 1.23762* x207 + x209*x123 - 1.23762*x209 + 0.049505*x9 + 0.19802*x13 + 0.742574*x15 + 3.0198*x17 + 1.9802*x21 + 3.56436*x206 >= 0 } } Constraint e201 { Definition: { x122*x26 - 2.77228*x26 + x124*x31 - 2.77228*x31 + x207*x120 - 2.77228* x207 + x209*x123 - 2.77228*x209 - 1.53465*x4 - 1.48515*x9 - 1.33663*x13 - 0.792079*x15 + 1.48515*x17 + 0.445545*x21 + 2.0297*x206 <= 0 } } Constraint e202 { Definition: { x121*x24 - 1.28713*x24 + x122*x27 - 1.28713*x27 + x123*x29 - 1.28713*x29 + 3.51485*x2 + 1.68317*x11 + 2.32673*x19 + 1.93069*x22 >= 0 } } Constraint e203 { Definition: { x121*x24 - 3.66337*x24 + x122*x27 - 3.66337*x27 + x123*x29 - 3.66337*x29 + 1.13861*x2 - 0.693069*x11 - 0.049505*x19 - 0.445545*x22 <= 0 } } Constraint e204 { Definition: { x120*x23 - 1.23762*x23 + x122*x28 - 1.23762*x28 + x123*x30 - 1.23762*x30 + 1.58416*x7 >= 0 } } Constraint e205 { Definition: { x120*x23 - 8.16832*x23 + x122*x28 - 8.16832*x28 + x123*x30 - 8.16832*x30 - 6.93069*x5 - 5.34653*x7 <= 0 } } Constraint e206 { Definition: { x125*x23 - 2.72727*x23 + x207*x125 - 2.72727*x207 - 0.76555*x32 - 1.33971*x33 + 2.63158*x35 + 0.191388*x39 + 2.39234*x43 + 0.62201*x47 = 0 } } Constraint e207 { Definition: { x126*x24 - 2.72727*x24 - 1.24402*x37 + 0.191388*x40 + 2.39234*x44 + 0.62201*x48 - 0.191388*x52 = 0 } } Constraint e208 { Definition: { x127*x25 + x127*x26 + x127*x27 + x127*x28 - 2.53589*x41 - 0.334928*x45 = 0 } } Constraint e209 { Definition: { x128*x29 - 2.72727*x29 + x128*x30 - 2.72727*x30 + x208*x128 - 2.72727* x208 + x209*x128 - 2.72727*x209 - 1.33971*x34 + 2.63158*x36 - 1.24402*x38 + 0.191388*x42 + 2.39234*x46 + 1.62679*x50 - 0.191388*x53 = 0 } } Constraint e210 { Definition: x129*x31 - 6.69856*x31 + 4.5933*x49 + 5.59809*x51 + 3.7799*x54 = 0; } Constraint e211 { Definition: { x127*x25 - 0.0956938*x25 + x208*x128 - 0.0956938*x208 + 3.39713*x3 + 3.97129*x6 + 3.8756*x10 + 2.44019*x12 + 0.239234*x14 + 2.00957*x16 + 1.00478*x18 + 2.82297*x20 + 2.63158*x205 >= 0 } } Constraint e212 { Definition: { x127*x25 - 10*x25 + x208*x128 - 10*x208 - 6.50718*x3 - 5.93301*x6 - 9.90431*x8 - 6.02871*x10 - 7.46411*x12 - 9.66507*x14 - 7.89474*x16 - 8.89952*x18 - 7.08134*x20 - 7.27273*x205 <= 0 } } Constraint e213 { Definition: { x127*x26 - 0.0956938*x26 + x129*x31 - 0.0956938*x31 + x207*x125 - 0.0956938*x207 + x209*x128 - 0.0956938*x209 + 3.39713*x4 + 2.44019*x13 + 0.239234*x15 + 2.00957*x17 + 2.82297*x21 + 2.63158*x206 >= 0 } } Constraint e214 { Definition: { x127*x26 - 8.13397*x26 + x129*x31 - 8.13397*x31 + x207*x125 - 8.13397* x207 + x209*x128 - 8.13397*x209 - 4.64115*x4 - 8.03828*x9 - 5.59809*x13 - 7.79904*x15 - 6.02871*x17 - 5.21531*x21 - 5.4067*x206 <= 0 } } Constraint e215 { Definition: { x126*x24 - 0.0956938*x24 + x127*x27 - 0.0956938*x27 + x128*x29 - 0.0956938*x29 + 2.63158*x2 + 3.8756*x11 + 1.00478*x19 + 2.82297*x22 >= 0 } } Constraint e216 { Definition: { x126*x24 - 4.25837*x24 + x127*x27 - 4.25837*x27 + x128*x29 - 4.25837*x29 - 1.5311*x2 - 0.287081*x11 - 3.15789*x19 - 1.33971*x22 <= 0 } } Constraint e217 { Definition: { x125*x23 - 0.0956938*x23 + x127*x28 - 0.0956938*x28 + x128*x30 - 0.0956938*x30 + 3.39713*x5 + 3.97129*x7 >= 0 } } Constraint e218 { Definition: { x125*x23 - 8.18182*x23 + x127*x28 - 8.18182*x28 + x128*x30 - 8.18182*x30 - 4.689*x5 - 4.11483*x7 <= 0 } } Constraint e219 { Definition: { x130*x23 - 0.357143*x23 + x207*x130 - 0.357143*x207 - 5.05952*x32 - 0.654762*x33 - 3.45238*x35 - 4.16667*x39 - 1.0119*x43 + 0.0595238*x47 = 0 } } Constraint e220 { Definition: { x131*x24 - 0.357143*x24 - 3.92857*x37 - 4.16667*x40 - 1.0119*x44 + 0.0595238*x48 - 0.297619*x52 = 0 } } Constraint e221 { Definition: { x132*x25 + x132*x26 + x132*x27 + x132*x28 - 4.52381*x41 - 1.36905*x45 = 0 } } Constraint e222 { Definition: { x133*x29 - 0.357143*x29 + x133*x30 - 0.357143*x30 + x208*x133 - 0.357143 *x208 + x209*x133 - 0.357143*x209 - 0.654762*x34 - 3.45238*x36 - 3.92857*x38 - 4.16667*x42 - 1.0119*x46 - 3.33333*x50 - 0.297619*x53 = 0 } } Constraint e223 { Definition: x134*x31 - 4.64286*x31 + 4.34524*x49 + 0.952381*x51 + 3.9881*x54 = 0; } Constraint e224 { Definition: { x132*x25 - 0.297619*x25 + x208*x133 - 0.297619*x208 + 5.11905*x3 + 0.714286*x6 + 3.5119*x8 + 3.9881*x10 + 4.22619*x12 + 1.07143*x14 + 3.39286*x18 + 0.357143*x20 + 0.0595238*x205 >= 0 } } Constraint e225 { Definition: { x132*x25 - 3.45238*x25 + x208*x133 - 3.45238*x208 + 1.96429*x3 - 2.44048*x6 + 0.357143*x8 + 0.833333*x10 + 1.07143*x12 - 2.08333*x14 - 3.15476*x16 + 0.238095*x18 - 2.79762*x20 - 3.09524*x205 <= 0 } } Constraint e226 { Definition: { x132*x26 - 0.297619*x26 + x134*x31 - 0.297619*x31 + x207*x130 - 0.297619 *x207 + x209*x133 - 0.297619*x209 + 5.11905*x4 + 3.5119*x9 + 4.22619*x13 + 1.07143*x15 + 0.357143*x21 + 0.0595238*x206 >= 0 } } Constraint e227 { Definition: { x132*x26 - 4.7619*x26 + x134*x31 - 4.7619*x31 + x207*x130 - 4.7619*x207 + x209*x133 - 4.7619*x209 + 0.654762*x4 - 0.952381*x9 - 0.238095*x13 - 3.39286*x15 - 4.46429*x17 - 4.10714*x21 - 4.40476*x206 <= 0 } } Constraint e228 { Definition: { x131*x24 - 0.297619*x24 + x132*x27 - 0.297619*x27 + x133*x29 - 0.297619* x29 + 0.0595238*x2 + 3.9881*x11 + 3.39286*x19 + 0.357143*x22 >= 0 } } Constraint e229 { Definition: { x131*x24 - 4.52381*x24 + x132*x27 - 4.52381*x27 + x133*x29 - 4.52381*x29 - 4.16667*x2 - 0.238095*x11 - 0.833333*x19 - 3.86905*x22 <= 0 } } Constraint e230 { Definition: { x130*x23 - 0.297619*x23 + x132*x28 - 0.297619*x28 + x133*x30 - 0.297619* x30 + 5.11905*x5 + 0.714286*x7 >= 0 } } Constraint e231 { Definition: { x130*x23 - 10*x23 + x132*x28 - 10*x28 + x133*x30 - 10*x30 - 4.58333*x5 - 8.9881*x7 <= 0 } } Constraint e232 { Definition: { x135*x23 - 4.0566*x23 + x207*x135 - 4.0566*x207 + 0.330189*x32 + 2.5*x33 + 1.98113*x35 + 1.36792*x39 + 2.26415*x43 + 1.22642*x47 = 0 } } Constraint e233 { Definition: { x136*x24 - 4.0566*x24 + 0.707547*x37 + 1.36792*x40 + 2.26415*x44 + 1.22642*x48 + 1.27358*x52 = 0 } } Constraint e234 { Definition: { x137*x25 + x137*x26 + x137*x27 + x137*x28 - 2.68868*x41 - 1.79245*x45 = 0 } } Constraint e235 { Definition: { x138*x29 - 4.0566*x29 + x138*x30 - 4.0566*x30 + x208*x138 - 4.0566*x208 + x209*x138 - 4.0566*x209 + 2.5*x34 + 1.98113*x36 + 0.707547*x38 + 1.36792*x42 + 2.26415*x46 + 1.88679*x50 + 1.27358*x53 = 0 } } Constraint e236 { Definition: x139*x31 - 7.40566*x31 + 4.57547*x49 + 5.23585*x51 + 4.62264*x54 = 0; } Constraint e237 { Definition: { x137*x25 - 1.5566*x25 + x208*x138 - 1.5566*x208 + 2.16981*x3 + 0.518868*x8 + 1.79245*x10 + 1.13208*x12 + 0.235849*x14 + 1.27358*x16 + 0.613208*x18 + 1.22642*x20 + 2.5*x205 >= 0 } } Constraint e238 { Definition: { x137*x25 - 10*x25 + x208*x138 - 10*x208 - 6.27358*x3 - 8.4434*x6 - 7.92453*x8 - 6.65094*x10 - 7.31132*x12 - 8.20755*x14 - 7.16981*x16 - 7.83019*x18 - 7.21698*x20 - 5.9434*x205 <= 0 } } Constraint e239 { Definition: { x137*x26 - 1.5566*x26 + x139*x31 - 1.5566*x31 + x207*x135 - 1.5566*x207 + x209*x138 - 1.5566*x209 + 2.16981*x4 + 0.518868*x9 + 1.13208*x13 + 0.235849*x15 + 1.27358*x17 + 1.22642*x21 + 2.5*x206 >= 0 } } Constraint e240 { Definition: { x137*x26 - 6.08491*x26 + x139*x31 - 6.08491*x31 + x207*x135 - 6.08491* x207 + x209*x138 - 6.08491*x209 - 2.35849*x4 - 4.00943*x9 - 3.39623*x13 - 4.29245*x15 - 3.25472*x17 - 3.30189*x21 - 2.0283*x206 <= 0 } } Constraint e241 { Definition: { x136*x24 - 1.5566*x24 + x137*x27 - 1.5566*x27 + x138*x29 - 1.5566*x29 + 2.5*x2 + 1.79245*x11 + 0.613208*x19 + 1.22642*x22 >= 0 } } Constraint e242 { Definition: { x136*x24 - 2.87736*x24 + x137*x27 - 2.87736*x27 + x138*x29 - 2.87736*x29 + 1.17925*x2 + 0.471698*x11 - 0.707547*x19 - 0.0943396*x22 <= 0 } } Constraint e243 { Definition: { x135*x23 - 1.5566*x23 + x137*x28 - 1.5566*x28 + x138*x30 - 1.5566*x30 + 2.16981*x5 >= 0 } } Constraint e244 { Definition: { x135*x23 - 5.84906*x23 + x137*x28 - 5.84906*x28 + x138*x30 - 5.84906*x30 - 2.12264*x5 - 4.29245*x7 <= 0 } } Constraint e245 { Definition: { x140*x23 - 3.27103*x23 + x207*x140 - 3.27103*x207 + 2.33645*x32 - 0.981308*x33 + 3.08411*x35 + 1.21495*x39 + 3.03738*x43 + 1.21495*x47 = 0 } } Constraint e246 { Definition: { x141*x24 - 3.27103*x24 - 0.560748*x37 + 1.21495*x40 + 3.03738*x44 + 1.21495*x48 + 3.2243*x52 = 0 } } Constraint e247 { Definition: { x142*x25 + x142*x26 + x142*x27 + x142*x28 - 2.05607*x41 - 0.233645*x45 = 0 } } Constraint e248 { Definition: { x143*x29 - 3.27103*x29 + x143*x30 - 3.27103*x30 + x208*x143 - 3.27103* x208 + x209*x143 - 3.27103*x209 - 0.981308*x34 + 3.08411*x36 - 0.560748*x38 + 1.21495*x42 + 3.03738*x46 + 2.61682*x50 + 3.2243*x53 = 0 } } Constraint e249 { Definition: x144*x31 - 7.1028*x31 + 5.04673*x49 + 6.4486*x51 + 7.05607*x54 = 0; } Constraint e250 { Definition: { x142*x25 - 0.046729*x25 + x208*x143 - 0.046729*x208 + 0.88785*x3 + 4.20561*x6 + 0.140187*x8 + 3.78505*x10 + 2.00935*x12 + 0.186916*x14 + 2.00935*x16 + 0.607477*x18 + 3.2243*x205 >= 0 } } Constraint e251 { Definition: { x142*x25 - 9.85981*x25 + x208*x143 - 9.85981*x208 - 8.92523*x3 - 5.60748*x6 - 9.6729*x8 - 6.02804*x10 - 7.80374*x12 - 9.62617*x14 - 7.80374*x16 - 9.20561*x18 - 9.81308*x20 - 6.58879*x205 <= 0 } } Constraint e252 { Definition: { x142*x26 - 0.046729*x26 + x144*x31 - 0.046729*x31 + x207*x140 - 0.046729 *x207 + x209*x143 - 0.046729*x209 + 0.88785*x4 + 0.140187*x9 + 2.00935*x13 + 0.186916*x15 + 2.00935*x17 + 3.2243*x206 >= 0 } } Constraint e253 { Definition: { x142*x26 - 5.37383*x26 + x144*x31 - 5.37383*x31 + x207*x140 - 5.37383* x207 + x209*x143 - 5.37383*x209 - 4.43925*x4 - 5.18692*x9 - 3.31776*x13 - 5.14019*x15 - 3.31776*x17 - 5.3271*x21 - 2.1028*x206 <= 0 } } Constraint e254 { Definition: { x141*x24 - 0.046729*x24 + x142*x27 - 0.046729*x27 + x143*x29 - 0.046729* x29 + 3.2243*x2 + 3.78505*x11 + 0.607477*x19 >= 0 } } Constraint e255 { Definition: { x141*x24 - 6.26168*x24 + x142*x27 - 6.26168*x27 + x143*x29 - 6.26168*x29 - 2.99065*x2 - 2.42991*x11 - 5.60748*x19 - 6.21495*x22 <= 0 } } Constraint e256 { Definition: { x140*x23 - 0.046729*x23 + x142*x28 - 0.046729*x28 + x143*x30 - 0.046729* x30 + 0.88785*x5 + 4.20561*x7 >= 0 } } Constraint e257 { Definition: { x140*x23 - 10*x23 + x142*x28 - 10*x28 + x143*x30 - 10*x30 - 9.06542*x5 - 5.74766*x7 <= 0 } } Constraint e258 { Definition: { x145*x23 - 1.04803*x23 + x207*x145 - 1.04803*x207 - 2.35808*x32 - 1.39738*x33 + 0.69869*x35 + 0.611354*x39 - 0.917031*x43 - 2.18341*x47 = 0 } } Constraint e259 { Definition: { x146*x24 - 1.04803*x24 + 0.131004*x37 + 0.611354*x40 - 0.917031*x44 - 2.18341*x48 - 2.35808*x52 = 0 } } Constraint e260 { Definition: { x147*x25 + x147*x26 + x147*x27 + x147*x28 - 0.436681*x41 - 1.96507*x45 = 0 } } Constraint e261 { Definition: { x148*x29 - 1.04803*x29 + x148*x30 - 1.04803*x30 + x208*x148 - 1.04803* x208 + x209*x148 - 1.04803*x209 - 1.39738*x34 + 0.69869*x36 + 0.131004*x38 + 0.611354*x42 - 0.917031*x46 - 1.9214*x50 - 2.35808*x53 = 0 } } Constraint e262 { Definition: x149*x31 - 1.96507*x31 - 1.26638*x49 - 1.00437*x51 - 1.44105*x54 = 0; } Constraint e263 { Definition: { x147*x25 - 0.349345*x25 + x208*x148 - 0.349345*x208 + 3.05677*x3 + 2.09607*x6 + 0.567686*x10 + 0.0873362*x12 + 1.61572*x14 + 2.8821*x16 + 2.62009*x18 + 3.05677*x20 + 0.69869*x205 >= 0 } } Constraint e264 { Definition: { x147*x25 - 6.89956*x25 + x208*x148 - 6.89956*x208 - 3.49345*x3 - 4.45415*x6 - 6.55022*x8 - 5.98253*x10 - 6.46288*x12 - 4.9345*x14 - 3.66812*x16 - 3.93013*x18 - 3.49345*x20 - 5.85153*x205 <= 0 } } Constraint e265 { Definition: { x147*x26 - 0.349345*x26 + x149*x31 - 0.349345*x31 + x207*x145 - 0.349345 *x207 + x209*x148 - 0.349345*x209 + 3.05677*x4 + 0.0873362*x13 + 1.61572*x15 + 2.8821*x17 + 3.05677*x21 + 0.69869*x206 >= 0 } } Constraint e266 { Definition: { x147*x26 - 3.44978*x26 + x149*x31 - 3.44978*x31 + x207*x145 - 3.44978* x207 + x209*x148 - 3.44978*x209 - 0.0436681*x4 - 3.10044*x9 - 3.0131*x13 - 1.48472*x15 - 0.218341*x17 - 0.0436681*x21 - 2.40175*x206 <= 0 } } Constraint e267 { Definition: { x146*x24 - 0.349345*x24 + x147*x27 - 0.349345*x27 + x148*x29 - 0.349345* x29 + 0.69869*x2 + 0.567686*x11 + 2.62009*x19 + 3.05677*x22 >= 0 } } Constraint e268 { Definition: { x146*x24 - 9.34498*x24 + x147*x27 - 9.34498*x27 + x148*x29 - 9.34498*x29 - 8.29694*x2 - 8.42795*x11 - 6.37555*x19 - 5.93886*x22 <= 0 } } Constraint e269 { Definition: { x145*x23 - 0.349345*x23 + x147*x28 - 0.349345*x28 + x148*x30 - 0.349345* x30 + 3.05677*x5 + 2.09607*x7 >= 0 } } Constraint e270 { Definition: { x145*x23 - 10*x23 + x147*x28 - 10*x28 + x148*x30 - 10*x30 - 6.59389*x5 - 7.55459*x7 <= 0 } } Constraint e271 { Definition: { x150*x23 - 5.88235*x23 + x207*x150 - 5.88235*x207 + 5.41176*x32 + 5.23529*x33 + 4.29412*x35 + 1.05882*x39 + 3.94118*x43 = 0 } } Constraint e272 { Definition: { x151*x24 - 5.88235*x24 + 2.64706*x37 + 1.05882*x40 + 3.94118*x44 + 2*x52 = 0 } } Constraint e273 { Definition: { x152*x25 + x152*x26 + x152*x27 + x152*x28 - 4.82353*x41 - 1.94118*x45 = 0 } } Constraint e274 { Definition: { x153*x29 - 5.88235*x29 + x153*x30 - 5.88235*x30 + x208*x153 - 5.88235* x208 + x209*x153 - 5.88235*x209 + 5.23529*x34 + 4.29412*x36 + 2.64706*x38 + 1.05882*x42 + 3.94118*x46 + 0.647059*x50 + 2*x53 = 0 } } Constraint e275 { Definition: x154*x31 - 9.11765*x31 + 3.23529*x49 + 3.88235*x51 + 5.23529*x54 = 0; } Constraint e276 { Definition: { x152*x25 - 0.470588*x25 + x208*x153 - 0.470588*x208 + 0.176471*x6 + 1.11765*x8 + 2.76471*x10 + 4.35294*x12 + 1.47059*x14 + 5.41176*x16 + 4.76471*x18 + 3.41176*x20 + 5.41176*x205 >= 0 } } Constraint e277 { Definition: { x152*x25 - 9.94118*x25 + x208*x153 - 9.94118*x208 - 9.47059*x3 - 9.29412*x6 - 8.35294*x8 - 6.70588*x10 - 5.11765*x12 - 8*x14 - 4.05882*x16 - 4.70588*x18 - 6.05882*x20 - 4.05882*x205 <= 0 } } Constraint e278 { Definition: { x152*x26 - 0.470588*x26 + x154*x31 - 0.470588*x31 + x207*x150 - 0.470588 *x207 + x209*x153 - 0.470588*x209 + 1.11765*x9 + 4.35294*x13 + 1.47059*x15 + 5.41176*x17 + 3.41176*x21 + 5.41176*x206 >= 0 } } Constraint e279 { Definition: { x152*x26 - 10*x26 + x154*x31 - 10*x31 + x207*x150 - 10*x207 + x209*x153 - 10*x209 - 9.52941*x4 - 8.41176*x9 - 5.17647*x13 - 8.05882*x15 - 4.11765*x17 - 6.11765*x21 - 4.11765*x206 <= 0 } } Constraint e280 { Definition: { x151*x24 - 0.647059*x24 + x152*x27 - 0.647059*x27 + x153*x29 - 0.647059* x29 + 5.23529*x2 + 2.58824*x11 + 4.58824*x19 + 3.23529*x22 >= 0 } } Constraint e281 { Definition: { x151*x24 - 3.76471*x24 + x152*x27 - 3.76471*x27 + x153*x29 - 3.76471*x29 + 2.11765*x2 - 0.529412*x11 + 1.47059*x19 + 0.117647*x22 <= 0 } } Constraint e282 { Definition: { x150*x23 - 0.470588*x23 + x152*x28 - 0.470588*x28 + x153*x30 - 0.470588* x30 + 0.176471*x7 >= 0 } } Constraint e283 { Definition: { x150*x23 - 4.47059*x23 + x152*x28 - 4.47059*x28 + x153*x30 - 4.47059*x30 - 4*x5 - 3.82353*x7 <= 0 } } Constraint e284 { Definition: { x155*x23 - 0.90535*x23 + x207*x155 - 0.90535*x207 - 0.823045*x32 - 0.699588*x33 - 1.19342*x35 + 0.576132*x39 + 0.781893*x43 - 1.8107*x47 = 0 } } Constraint e285 { Definition: { x156*x24 - 0.90535*x24 - 2.92181*x37 + 0.576132*x40 + 0.781893*x44 - 1.8107*x48 - 0.617284*x52 = 0 } } Constraint e286 { Definition: { x157*x25 + x157*x26 + x157*x27 + x157*x28 - 0.329218*x41 - 0.123457*x45 = 0 } } Constraint e287 { Definition: { x158*x29 - 0.90535*x29 + x158*x30 - 0.90535*x30 + x208*x158 - 0.90535* x208 + x209*x158 - 0.90535*x209 - 0.699588*x34 - 1.19342*x36 - 2.92181*x38 + 0.576132*x42 + 0.781893*x46 - 0.37037*x50 - 0.617284*x53 = 0 } } Constraint e288 { Definition: x159*x31 - 4.73251*x31 + 2.01646*x49 + 3.45679*x51 + 3.20988*x54 = 0; } Constraint e289 { Definition: { x157*x25 - 0.123457*x25 + x208*x158 - 0.123457*x208 + 1.60494*x3 + 1.48148*x6 + 1.97531*x8 + 3.7037*x10 + 0.205761*x12 + 2.59259*x16 + 1.15226*x18 + 1.39918*x20 + 0.781893*x205 >= 0 } } Constraint e290 { Definition: { x157*x25 - 9.01235*x25 + x208*x158 - 9.01235*x208 - 7.28395*x3 - 7.40741*x6 - 6.91358*x8 - 5.18519*x10 - 8.68313*x12 - 8.88889*x14 - 6.2963*x16 - 7.73663*x18 - 7.48971*x20 - 8.107*x205 <= 0 } } Constraint e291 { Definition: { x157*x26 - 0.123457*x26 + x159*x31 - 0.123457*x31 + x207*x155 - 0.123457 *x207 + x209*x158 - 0.123457*x209 + 1.60494*x4 + 1.97531*x9 + 0.205761*x13 + 2.59259*x17 + 1.39918*x21 + 0.781893*x206 >= 0 } } Constraint e292 { Definition: { x157*x26 - 2.71605*x26 + x159*x31 - 2.71605*x31 + x207*x155 - 2.71605* x207 + x209*x158 - 2.71605*x209 - 0.987654*x4 - 0.617284*x9 - 2.38683*x13 - 2.59259*x15 - 1.19342*x21 - 1.8107*x206 <= 0 } } Constraint e293 { Definition: { x156*x24 - 0.123457*x24 + x157*x27 - 0.123457*x27 + x158*x29 - 0.123457* x29 + 0.781893*x2 + 3.7037*x11 + 1.15226*x19 + 1.39918*x22 >= 0 } } Constraint e294 { Definition: { x156*x24 - 10*x24 + x157*x27 - 10*x27 + x158*x29 - 10*x29 - 9.09465*x2 - 6.17284*x11 - 8.72428*x19 - 8.47737*x22 <= 0 } } Constraint e295 { Definition: { x155*x23 - 0.123457*x23 + x157*x28 - 0.123457*x28 + x158*x30 - 0.123457* x30 + 1.60494*x5 + 1.48148*x7 >= 0 } } Constraint e296 { Definition: { x155*x23 - 3.53909*x23 + x157*x28 - 3.53909*x28 + x158*x30 - 3.53909*x30 - 1.8107*x5 - 1.93416*x7 <= 0 } } Constraint e297 { Definition: { x160*x23 - 0.350877*x23 + x207*x160 - 0.350877*x207 + 0.0877193*x32 - 7.98246*x33 - 2.98246*x35 - 7.45614*x39 - 1.75439*x43 - 7.36842*x47 = 0 } } Constraint e298 { Definition: { x161*x24 - 0.350877*x24 - 3.24561*x37 - 7.45614*x40 - 1.75439*x44 - 7.36842*x48 - 5.70175*x52 = 0 } } Constraint e299 { Definition: { x162*x25 + x162*x26 + x162*x27 + x162*x28 - 7.80702*x41 - 2.10526*x45 = 0 } } Constraint e300 { Definition: { x163*x29 - 0.350877*x29 + x163*x30 - 0.350877*x30 + x208*x163 - 0.350877 *x208 + x209*x163 - 0.350877*x209 - 7.98246*x34 - 2.98246*x36 - 3.24561*x38 - 7.45614*x42 - 1.75439*x46 - 7.7193*x50 - 5.70175*x53 = 0 } } Constraint e301 { Definition: x164*x31 - 3.94737*x31 - 3.77193*x49 - 4.12281*x51 - 2.10526*x54 = 0; } Constraint e302 { Definition: { x162*x25 - 0.263158*x25 + x208*x163 - 0.263158*x208 + 8.07018*x6 + 3.07018*x8 + 3.33333*x10 + 7.54386*x12 + 1.84211*x14 + 7.45614*x16 + 7.80702*x18 + 5.78947*x20 + 0.0877193*x205 >= 0 } } Constraint e303 { Definition: { x162*x25 - 5*x25 + x208*x163 - 5*x208 - 4.73684*x3 + 3.33333*x6 - 1.66667*x8 - 1.40351*x10 + 2.80702*x12 - 2.89474*x14 + 2.7193*x16 + 3.07018*x18 + 1.05263*x20 - 4.64912*x205 <= 0 } } Constraint e304 { Definition: { x162*x26 - 0.263158*x26 + x164*x31 - 0.263158*x31 + x207*x160 - 0.263158 *x207 + x209*x163 - 0.263158*x209 + 3.07018*x9 + 7.54386*x13 + 1.84211*x15 + 7.45614*x17 + 5.78947*x21 + 0.0877193*x206 >= 0 } } Constraint e305 { Definition: { x162*x26 - 10*x26 + x164*x31 - 10*x31 + x207*x160 - 10*x207 + x209*x163 - 10*x209 - 9.73684*x4 - 6.66667*x9 - 2.19298*x13 - 7.89474*x15 - 2.2807*x17 - 3.94737*x21 - 9.64912*x206 <= 0 } } Constraint e306 { Definition: { x161*x24 - 0.350877*x24 + x162*x27 - 0.350877*x27 + x163*x29 - 0.350877* x29 + 3.24561*x11 + 7.7193*x19 + 5.70175*x22 >= 0 } } Constraint e307 { Definition: { x161*x24 - 6.84211*x24 + x162*x27 - 6.84211*x27 + x163*x29 - 6.84211*x29 - 6.49123*x2 - 3.24561*x11 + 1.22807*x19 - 0.789474*x22 <= 0 } } Constraint e308 { Definition: { x160*x23 - 0.263158*x23 + x162*x28 - 0.263158*x28 + x163*x30 - 0.263158* x30 + 8.07018*x7 >= 0 } } Constraint e309 { Definition: { x160*x23 - 6.75439*x23 + x162*x28 - 6.75439*x28 + x163*x30 - 6.75439*x30 - 6.49123*x5 + 1.57895*x7 <= 0 } } Constraint e310 { Definition: { x165*x23 - 1.52542*x23 + x207*x165 - 1.52542*x207 - 2.0339*x32 - 2.41525*x33 - 2.62712*x35 - 2.71186*x39 - 1.22881*x43 - 1.48305*x47 = 0 } } Constraint e311 { Definition: { x166*x24 - 1.52542*x24 - 0.0423729*x37 - 2.71186*x40 - 1.22881*x44 - 1.48305*x48 + 1.01695*x52 = 0 } } Constraint e312 { Definition: { x167*x25 + x167*x26 + x167*x27 + x167*x28 - 4.23729*x41 - 2.75424*x45 = 0 } } Constraint e313 { Definition: { x168*x29 - 1.52542*x29 + x168*x30 - 1.52542*x30 + x208*x168 - 1.52542* x208 + x209*x168 - 1.52542*x209 - 2.41525*x34 - 2.62712*x36 - 0.0423729*x38 - 2.71186*x42 - 1.22881*x46 - 1.44068*x50 + 1.01695*x53 = 0 } } Constraint e314 { Definition: { x169*x31 - 3.09322*x31 + 0.0847458*x49 + 0.127119*x51 + 2.58475*x54 = 0 } } Constraint e315 { Definition: { x167*x25 - 0.508475*x25 + x208*x168 - 0.508475*x208 + 3.05085*x3 + 3.4322*x6 + 3.64407*x8 + 1.05932*x10 + 3.72881*x12 + 2.24576*x14 + 2.5*x16 + 2.45763*x18 + 1.01695*x205 >= 0 } } Constraint e316 { Definition: { x167*x25 - 3.60169*x25 + x208*x168 - 3.60169*x208 - 0.0423729*x3 + 0.338983*x6 + 0.550847*x8 - 2.0339*x10 + 0.635593*x12 - 0.847458*x14 - 0.59322*x16 - 0.635593*x18 - 3.09322*x20 - 2.07627*x205 <= 0 } } Constraint e317 { Definition: { x167*x26 - 0.508475*x26 + x169*x31 - 0.508475*x31 + x207*x165 - 0.508475 *x207 + x209*x168 - 0.508475*x209 + 3.05085*x4 + 3.64407*x9 + 3.72881*x13 + 2.24576*x15 + 2.5*x17 + 1.01695*x206 >= 0 } } Constraint e318 { Definition: { x167*x26 - 7.5*x26 + x169*x31 - 7.5*x31 + x207*x165 - 7.5*x207 + x209* x168 - 7.5*x209 - 3.94068*x4 - 3.34746*x9 - 3.26271*x13 - 4.74576*x15 - 4.49153*x17 - 6.99153*x21 - 5.97458*x206 <= 0 } } Constraint e319 { Definition: { x166*x24 - 0.508475*x24 + x167*x27 - 0.508475*x27 + x168*x29 - 0.508475* x29 + 1.01695*x2 + 1.05932*x11 + 2.45763*x19 >= 0 } } Constraint e320 { Definition: { x166*x24 - 10*x24 + x167*x27 - 10*x27 + x168*x29 - 10*x29 - 8.47458*x2 - 8.4322*x11 - 7.0339*x19 - 9.49153*x22 <= 0 } } Constraint e321 { Definition: { x165*x23 - 0.508475*x23 + x167*x28 - 0.508475*x28 + x168*x30 - 0.508475* x30 + 3.05085*x5 + 3.4322*x7 >= 0 } } Constraint e322 { Definition: { x165*x23 - 6.52542*x23 + x167*x28 - 6.52542*x28 + x168*x30 - 6.52542*x30 - 2.9661*x5 - 2.58475*x7 <= 0 } } Constraint e323 { Definition: { x170*x23 - 2.54545*x23 + x207*x170 - 2.54545*x207 + 0.272727*x32 + 1.81818*x33 + 1.90909*x35 + 2.31818*x39 + 0.909091*x43 - 1.27273*x47 = 0 } } Constraint e324 { Definition: { x171*x24 - 2.54545*x24 + 0.863636*x37 + 2.31818*x40 + 0.909091*x44 - 1.27273*x48 = 0 } } Constraint e325 { Definition: { x172*x25 + x172*x26 + x172*x27 + x172*x28 - 0.227273*x41 - 1.63636*x45 = 0 } } Constraint e326 { Definition: { x173*x29 - 2.54545*x29 + x173*x30 - 2.54545*x30 + x208*x173 - 2.54545* x208 + x209*x173 - 2.54545*x209 + 1.81818*x34 + 1.90909*x36 + 0.863636*x38 + 2.31818*x42 + 0.909091*x46 - 1.27273*x50 = 0 } } Constraint e327 { Definition: { x174*x31 - 4.22727*x31 + 0.409091*x49 + 0.409091*x51 + 1.68182*x54 = 0 } } Constraint e328 { Definition: { x172*x25 - 0.227273*x25 + x208*x173 - 0.227273*x208 + 2.04545*x3 + 0.5*x6 + 0.409091*x8 + 1.45455*x10 + 1.40909*x14 + 3.59091*x16 + 3.59091*x18 + 2.31818*x20 + 2.31818*x205 >= 0 } } Constraint e329 { Definition: { x172*x25 - 9.77273*x25 + x208*x173 - 9.77273*x208 - 7.5*x3 - 9.04545*x6 - 9.13636*x8 - 8.09091*x10 - 9.54545*x12 - 8.13636*x14 - 5.95455*x16 - 5.95455*x18 - 7.22727*x20 - 7.22727*x205 <= 0 } } Constraint e330 { Definition: { x172*x26 - 0.227273*x26 + x174*x31 - 0.227273*x31 + x207*x170 - 0.227273 *x207 + x209*x173 - 0.227273*x209 + 2.04545*x4 + 0.409091*x9 + 1.40909*x15 + 3.59091*x17 + 2.31818*x21 + 2.31818*x206 >= 0 } } Constraint e331 { Definition: { x172*x26 - 10*x26 + x174*x31 - 10*x31 + x207*x170 - 10*x207 + x209*x173 - 10*x209 - 7.72727*x4 - 9.36364*x9 - 9.77273*x13 - 8.36364*x15 - 6.18182*x17 - 7.45455*x21 - 7.45455*x206 <= 0 } } Constraint e332 { Definition: { x171*x24 - 0.227273*x24 + x172*x27 - 0.227273*x27 + x173*x29 - 0.227273* x29 + 2.31818*x2 + 1.45455*x11 + 3.59091*x19 + 2.31818*x22 >= 0 } } Constraint e333 { Definition: { x171*x24 - 8*x24 + x172*x27 - 8*x27 + x173*x29 - 8*x29 - 5.45455*x2 - 6.31818*x11 - 4.18182*x19 - 5.45455*x22 <= 0 } } Constraint e334 { Definition: { x170*x23 - 0.227273*x23 + x172*x28 - 0.227273*x28 + x173*x30 - 0.227273* x30 + 2.04545*x5 + 0.5*x7 >= 0 } } Constraint e335 { Definition: { x170*x23 - 9.54545*x23 + x172*x28 - 9.54545*x28 + x173*x30 - 9.54545*x30 - 7.27273*x5 - 8.81818*x7 <= 0 } } Constraint e336 { Definition: { x175*x23 - 1.14754*x23 + x207*x175 - 1.14754*x207 - 4.42623*x32 + 0.819672*x33 - 2.37705*x35 - 1.96721*x39 - 0.409836*x43 - 5*x47 = 0 } } Constraint e337 { Definition: { x176*x24 - 1.14754*x24 - 5.98361*x37 - 1.96721*x40 - 0.409836*x44 - 5*x48 - 4.5082*x52 = 0 } } Constraint e338 { Definition: { x177*x25 + x177*x26 + x177*x27 + x177*x28 - 3.11475*x41 - 1.55738*x45 = 0 } } Constraint e339 { Definition: { x178*x29 - 1.14754*x29 + x178*x30 - 1.14754*x30 + x208*x178 - 1.14754* x208 + x209*x178 - 1.14754*x209 + 0.819672*x34 - 2.37705*x36 - 5.98361*x38 - 1.96721*x42 - 0.409836*x46 - 4.67213*x50 - 4.5082*x53 = 0 } } Constraint e340 { Definition: x179*x31 - 8.27869*x31 + 2.13115*x49 + 2.45902*x51 + 2.62295*x54 = 0; } Constraint e341 { Definition: { x177*x25 - 0.327869*x25 + x208*x178 - 0.327869*x208 + 5.2459*x3 + 3.19672*x8 + 6.80328*x10 + 2.78689*x12 + 1.22951*x14 + 5.81967*x16 + 5.4918*x18 + 5.32787*x20 + 0.819672*x205 >= 0 } } Constraint e342 { Definition: { x177*x25 - 4.34426*x25 + x208*x178 - 4.34426*x208 + 1.22951*x3 - 4.01639*x6 - 0.819672*x8 + 2.78689*x10 - 1.22951*x12 - 2.78689*x14 + 1.80328*x16 + 1.47541*x18 + 1.31148*x20 - 3.19672*x205 <= 0 } } Constraint e343 { Definition: { x177*x26 - 0.327869*x26 + x179*x31 - 0.327869*x31 + x207*x175 - 0.327869 *x207 + x209*x178 - 0.327869*x209 + 5.2459*x4 + 3.19672*x9 + 2.78689*x13 + 1.22951*x15 + 5.81967*x17 + 5.32787*x21 + 0.819672*x206 >= 0 } } Constraint e344 { Definition: { x177*x26 - 5.98361*x26 + x179*x31 - 5.98361*x31 + x207*x175 - 5.98361* x207 + x209*x178 - 5.98361*x209 - 0.409836*x4 - 2.45902*x9 - 2.86885*x13 - 4.42623*x15 + 0.163934*x17 - 0.327869*x21 - 4.83607*x206 <= 0 } } Constraint e345 { Definition: { x176*x24 - 0.327869*x24 + x177*x27 - 0.327869*x27 + x178*x29 - 0.327869* x29 + 0.819672*x2 + 6.80328*x11 + 5.4918*x19 + 5.32787*x22 >= 0 } } Constraint e346 { Definition: { x176*x24 - 8.44262*x24 + x177*x27 - 8.44262*x27 + x178*x29 - 8.44262*x29 - 7.29508*x2 - 1.31148*x11 - 2.62295*x19 - 2.78689*x22 <= 0 } } Constraint e347 { Definition: { x175*x23 - 0.327869*x23 + x177*x28 - 0.327869*x28 + x178*x30 - 0.327869* x30 + 5.2459*x5 >= 0 } } Constraint e348 { Definition: { x175*x23 - 10*x23 + x177*x28 - 10*x28 + x178*x30 - 10*x30 - 4.42623*x5 - 9.67213*x7 <= 0 } } Constraint e349 { Definition: { x180*x23 - 2.58065*x23 + x207*x180 - 2.58065*x207 - 1.45161*x32 + 2.41935*x33 + 1.08871*x35 + 2.05645*x39 + 1.89516*x43 + 1.57258*x47 = 0 } } Constraint e350 { Definition: { x181*x24 - 2.58065*x24 - 1.45161*x37 + 2.05645*x40 + 1.89516*x44 + 1.57258*x48 + 1.00806*x52 = 0 } } Constraint e351 { Definition: { x182*x25 + x182*x26 + x182*x27 + x182*x28 - 0.524194*x41 - 0.685484*x45 = 0 } } Constraint e352 { Definition: { x183*x29 - 2.58065*x29 + x183*x30 - 2.58065*x30 + x208*x183 - 2.58065* x208 + x209*x183 - 2.58065*x209 + 2.41935*x34 + 1.08871*x36 - 1.45161*x38 + 2.05645*x42 + 1.89516*x46 - 1.25*x50 + 1.00806*x53 = 0 } } Constraint e353 { Definition: x184*x31 - 6.6129*x31 + 5.60484*x49 + 2.78226*x51 + 5.04032*x54 = 0; } Constraint e354 { Definition: { x182*x25 - 0.16129*x25 + x208*x183 - 0.16129*x208 + 3.87097*x3 + 1.33065*x8 + 3.87097*x10 + 0.362903*x12 + 0.524194*x14 + 0.846774*x16 + 3.66935*x18 + 1.41129*x20 + 2.41935*x205 >= 0 } } Constraint e355 { Definition: { x182*x25 - 7.01613*x25 + x208*x183 - 7.01613*x208 - 2.98387*x3 - 6.85484*x6 - 5.52419*x8 - 2.98387*x10 - 6.49194*x12 - 6.33065*x14 - 6.00806*x16 - 3.18548*x18 - 5.44355*x20 - 4.43548*x205 <= 0 } } Constraint e356 { Definition: { x182*x26 - 0.16129*x26 + x184*x31 - 0.16129*x31 + x207*x180 - 0.16129* x207 + x209*x183 - 0.16129*x209 + 3.87097*x4 + 1.33065*x9 + 0.362903*x13 + 0.524194*x15 + 0.846774*x17 + 1.41129*x21 + 2.41935*x206 >= 0 } } Constraint e357 { Definition: { x182*x26 - 8.46774*x26 + x184*x31 - 8.46774*x31 + x207*x180 - 8.46774* x207 + x209*x183 - 8.46774*x209 - 4.43548*x4 - 6.97581*x9 - 7.94355*x13 - 7.78226*x15 - 7.45968*x17 - 6.89516*x21 - 5.8871*x206 <= 0 } } Constraint e358 { Definition: { x181*x24 - 0.16129*x24 + x182*x27 - 0.16129*x27 + x183*x29 - 0.16129*x29 + 2.41935*x2 + 3.87097*x11 + 3.66935*x19 + 1.41129*x22 >= 0 } } Constraint e359 { Definition: { x181*x24 - 10*x24 + x182*x27 - 10*x27 + x183*x29 - 10*x29 - 7.41935*x2 - 5.96774*x11 - 6.16935*x19 - 8.42742*x22 <= 0 } } Constraint e360 { Definition: { x180*x23 - 0.16129*x23 + x182*x28 - 0.16129*x28 + x183*x30 - 0.16129*x30 + 3.87097*x5 >= 0 } } Constraint e361 { Definition: { x180*x23 - 4.79839*x23 + x182*x28 - 4.79839*x28 + x183*x30 - 4.79839*x30 - 0.766129*x5 - 4.6371*x7 <= 0 } } Constraint e362 { Definition: { x185*x23 - 1.9708*x23 + x207*x185 - 1.9708*x207 - 2.40876*x32 + 0.583942*x33 + 1.16788*x35 - 5.25547*x39 - 3.50365*x43 - 3.43066*x47 = 0 } } Constraint e363 { Definition: { x186*x24 - 1.9708*x24 - 0.145985*x37 - 5.25547*x40 - 3.50365*x44 - 3.43066*x48 - 2.55474*x52 = 0 } } Constraint e364 { Definition: { x187*x25 + x187*x26 + x187*x27 + x187*x28 - 7.22628*x41 - 5.47445*x45 = 0 } } Constraint e365 { Definition: { x188*x29 - 1.9708*x29 + x188*x30 - 1.9708*x30 + x208*x188 - 1.9708*x208 + x209*x188 - 1.9708*x209 + 0.583942*x34 + 1.16788*x36 - 0.145985*x38 - 5.25547*x42 - 3.50365*x46 - 4.9635*x50 - 2.55474*x53 = 0 } } Constraint e366 { Definition: x189*x31 - 4.08759*x31 - 1.31387*x49 - 2.84672*x51 - 0.437956*x54 = 0; } Constraint e367 { Definition: { x187*x25 - 0.80292*x25 + x208*x188 - 0.80292*x208 + 3.57664*x3 + 0.583942*x6 + 1.31387*x10 + 6.42336*x12 + 4.67153*x14 + 4.59854*x16 + 6.13139*x18 + 3.72263*x20 + 1.16788*x205 >= 0 } } Constraint e368 { Definition: { x187*x25 - 5.62044*x25 + x208*x188 - 5.62044*x208 - 1.24088*x3 - 4.23358*x6 - 4.81752*x8 - 3.50365*x10 + 1.60584*x12 - 0.145985*x14 - 0.218978*x16 + 1.31387*x18 - 1.09489*x20 - 3.64964*x205 <= 0 } } Constraint e369 { Definition: { x187*x26 - 0.80292*x26 + x189*x31 - 0.80292*x31 + x207*x185 - 0.80292* x207 + x209*x188 - 0.80292*x209 + 3.57664*x4 + 6.42336*x13 + 4.67153*x15 + 4.59854*x17 + 3.72263*x21 + 1.16788*x206 >= 0 } } Constraint e370 { Definition: { x187*x26 - 6.56934*x26 + x189*x31 - 6.56934*x31 + x207*x185 - 6.56934* x207 + x209*x188 - 6.56934*x209 - 2.18978*x4 - 5.76642*x9 + 0.656934*x13 - 1.09489*x15 - 1.16788*x17 - 2.0438*x21 - 4.59854*x206 <= 0 } } Constraint e371 { Definition: { x186*x24 - 0.80292*x24 + x187*x27 - 0.80292*x27 + x188*x29 - 0.80292*x29 + 1.16788*x2 + 1.31387*x11 + 6.13139*x19 + 3.72263*x22 >= 0 } } Constraint e372 { Definition: { x186*x24 - 10*x24 + x187*x27 - 10*x27 + x188*x29 - 10*x29 - 8.0292*x2 - 7.88321*x11 - 3.06569*x19 - 5.47445*x22 <= 0 } } Constraint e373 { Definition: { x185*x23 - 0.80292*x23 + x187*x28 - 0.80292*x28 + x188*x30 - 0.80292*x30 + 3.57664*x5 + 0.583942*x7 >= 0 } } Constraint e374 { Definition: { x185*x23 - 5.18248*x23 + x187*x28 - 5.18248*x28 + x188*x30 - 5.18248*x30 - 0.80292*x5 - 3.79562*x7 <= 0 } } Constraint e375 { Definition: { x190*x23 - 2.52688*x23 + x207*x190 - 2.52688*x207 - 2.58065*x32 + 2.36559*x33 - 2.84946*x35 - 2.84946*x39 - 2.90323*x43 - 2.36559*x47 = 0 } } Constraint e376 { Definition: { x191*x24 - 2.52688*x24 - 2.41935*x37 - 2.84946*x40 - 2.90323*x44 - 2.36559*x48 + 0.537634*x52 = 0 } } Constraint e377 { Definition: { x192*x25 + x192*x26 + x192*x27 + x192*x28 - 5.37634*x41 - 5.43011*x45 = 0 } } Constraint e378 { Definition: { x193*x29 - 2.52688*x29 + x193*x30 - 2.52688*x30 + x208*x193 - 2.52688* x208 + x209*x193 - 2.52688*x209 + 2.36559*x34 - 2.84946*x36 - 2.41935*x38 - 2.84946*x42 - 2.90323*x46 + 0.268817*x50 + 0.537634*x53 = 0 } } Constraint e379 { Definition: x194*x31 - 7.47312*x31 + 2.58065*x49 + 5.21505*x51 + 5.48387*x54 = 0; } Constraint e380 { Definition: { x192*x25 - 0.16129*x25 + x208*x193 - 0.16129*x208 + 4.94624*x3 + 5.21505*x8 + 4.78495*x10 + 5.21505*x12 + 5.26882*x14 + 4.73118*x16 + 2.09677*x18 + 1.82796*x20 + 2.36559*x205 >= 0 } } Constraint e381 { Definition: { x192*x25 - 8.92473*x25 + x208*x193 - 8.92473*x208 - 3.8172*x3 - 8.76344*x6 - 3.54839*x8 - 3.97849*x10 - 3.54839*x12 - 3.49462*x14 - 4.03226*x16 - 6.66667*x18 - 6.93548*x20 - 6.39785*x205 <= 0 } } Constraint e382 { Definition: { x192*x26 - 0.16129*x26 + x194*x31 - 0.16129*x31 + x207*x190 - 0.16129* x207 + x209*x193 - 0.16129*x209 + 4.94624*x4 + 5.21505*x9 + 5.21505*x13 + 5.26882*x15 + 4.73118*x17 + 1.82796*x21 + 2.36559*x206 >= 0 } } Constraint e383 { Definition: { x192*x26 - 4.24731*x26 + x194*x31 - 4.24731*x31 + x207*x190 - 4.24731* x207 + x209*x193 - 4.24731*x209 + 0.860215*x4 + 1.12903*x9 + 1.12903*x13 + 1.1828*x15 + 0.645161*x17 - 2.25806*x21 - 1.72043*x206 <= 0 } } Constraint e384 { Definition: { x191*x24 - 0.16129*x24 + x192*x27 - 0.16129*x27 + x193*x29 - 0.16129*x29 + 2.36559*x2 + 4.78495*x11 + 2.09677*x19 + 1.82796*x22 >= 0 } } Constraint e385 { Definition: { x191*x24 - 10*x24 + x192*x27 - 10*x27 + x193*x29 - 10*x29 - 7.47312*x2 - 5.05376*x11 - 7.74194*x19 - 8.01075*x22 <= 0 } } Constraint e386 { Definition: { x190*x23 - 0.16129*x23 + x192*x28 - 0.16129*x28 + x193*x30 - 0.16129*x30 + 4.94624*x5 >= 0 } } Constraint e387 { Definition: { x190*x23 - 5.69892*x23 + x192*x28 - 5.69892*x28 + x193*x30 - 5.69892*x30 - 0.591398*x5 - 5.53763*x7 <= 0 } } Constraint e388 { Definition: { x195*x23 - 2.86458*x23 + x207*x195 - 2.86458*x207 - 1.19792*x32 + 0.520833*x33 + 0.260417*x35 + 1.66667*x39 - 0.78125*x43 + 2.44792*x47 = 0 } } Constraint e389 { Definition: { x196*x24 - 2.86458*x24 + 1.04167*x37 + 1.66667*x40 - 0.78125*x44 + 2.44792*x48 - 1.875*x52 = 0 } } Constraint e390 { Definition: { x197*x25 + x197*x26 + x197*x27 + x197*x28 - 1.19792*x41 - 3.64583*x45 = 0 } } Constraint e391 { Definition: { x198*x29 - 2.86458*x29 + x198*x30 - 2.86458*x30 + x208*x198 - 2.86458* x208 + x209*x198 - 2.86458*x209 + 0.520833*x34 + 0.260417*x36 + 1.04167*x38 + 1.66667*x42 - 0.78125*x46 - 0.677083*x50 - 1.875*x53 = 0 } } Constraint e392 { Definition: x199*x31 - 4.6875*x31 + 4.27083*x49 + 1.14583*x51 - 0.0520833*x54 = 0; } Constraint e393 { Definition: { x197*x25 - 0.416667*x25 + x208*x198 - 0.416667*x208 + 3.64583*x3 + 1.92708*x6 + 2.1875*x8 + 1.40625*x10 + 0.78125*x12 + 3.22917*x14 + 3.125*x18 + 4.32292*x20 + 2.44792*x205 >= 0 } } Constraint e394 { Definition: { x197*x25 - 5.05208*x25 + x208*x198 - 5.05208*x208 - 0.989583*x3 - 2.70833*x6 - 2.44792*x8 - 3.22917*x10 - 3.85417*x12 - 1.40625*x14 - 4.63542*x16 - 1.51042*x18 - 0.3125*x20 - 2.1875*x205 <= 0 } } Constraint e395 { Definition: { x197*x26 - 0.416667*x26 + x199*x31 - 0.416667*x31 + x207*x195 - 0.416667 *x207 + x209*x198 - 0.416667*x209 + 3.64583*x4 + 2.1875*x9 + 0.78125*x13 + 3.22917*x15 + 4.32292*x21 + 2.44792*x206 >= 0 } } Constraint e396 { Definition: { x197*x26 - 5.625*x26 + x199*x31 - 5.625*x31 + x207*x195 - 5.625*x207 + x209*x198 - 5.625*x209 - 1.5625*x4 - 3.02083*x9 - 4.42708*x13 - 1.97917*x15 - 5.20833*x17 - 0.885417*x21 - 2.76042*x206 <= 0 } } Constraint e397 { Definition: { x196*x24 - 0.416667*x24 + x197*x27 - 0.416667*x27 + x198*x29 - 0.416667* x29 + 2.44792*x2 + 1.40625*x11 + 3.125*x19 + 4.32292*x22 >= 0 } } Constraint e398 { Definition: { x196*x24 - 9.79167*x24 + x197*x27 - 9.79167*x27 + x198*x29 - 9.79167*x29 - 6.92708*x2 - 7.96875*x11 - 6.25*x19 - 5.05208*x22 <= 0 } } Constraint e399 { Definition: { x195*x23 - 0.416667*x23 + x197*x28 - 0.416667*x28 + x198*x30 - 0.416667* x30 + 3.64583*x5 + 1.92708*x7 >= 0 } } Constraint e400 { Definition: { x195*x23 - 10*x23 + x197*x28 - 10*x28 + x198*x30 - 10*x30 - 5.9375*x5 - 7.65625*x7 <= 0 } } Constraint e401 { Definition: { x200*x23 - 2.69663*x23 + x207*x200 - 2.69663*x207 + 2.30337*x32 - 2.02247*x33 - 2.07865*x35 - 2.69663*x39 + 0.449438*x43 + 0.224719*x47 = 0 } } Constraint e402 { Definition: { x201*x24 - 2.69663*x24 + 1.23596*x37 - 2.69663*x40 + 0.449438*x44 + 0.224719*x48 + 1.06742*x52 = 0 } } Constraint e403 { Definition: { x202*x25 + x202*x26 + x202*x27 + x202*x28 - 5.39326*x41 - 2.24719*x45 = 0 } } Constraint e404 { Definition: { x203*x29 - 2.69663*x29 + x203*x30 - 2.69663*x30 + x208*x203 - 2.69663* x208 + x209*x203 - 2.69663*x209 - 2.02247*x34 - 2.07865*x36 + 1.23596*x38 - 2.69663*x42 + 0.449438*x46 + 2.24719*x50 + 1.06742*x53 = 0 } } Constraint e405 { Definition: x204*x31 - 4.1573*x31 + 1.68539*x49 + 3.70787*x51 + 2.52809*x54 = 0; } Constraint e406 { Definition: { x202*x25 - 0.393258*x25 + x208*x203 - 0.393258*x208 + 4.32584*x6 + 4.38202*x8 + 1.06742*x10 + 5*x12 + 1.85393*x14 + 2.07865*x16 + 0.0561798*x18 + 1.23596*x20 + 2.30337*x205 >= 0 } } Constraint e407 { Definition: { x202*x25 - 6.46067*x25 + x208*x203 - 6.46067*x208 - 6.06742*x3 - 1.74157*x6 - 1.68539*x8 - 5*x10 - 1.06742*x12 - 4.21348*x14 - 3.98876*x16 - 6.01124*x18 - 4.83146*x20 - 3.76404*x205 <= 0 } } Constraint e408 { Definition: { x202*x26 - 0.393258*x26 + x204*x31 - 0.393258*x31 + x207*x200 - 0.393258 *x207 + x209*x203 - 0.393258*x209 + 4.38202*x9 + 5*x13 + 1.85393*x15 + 2.07865*x17 + 1.23596*x21 + 2.30337*x206 >= 0 } } Constraint e409 { Definition: { x202*x26 - 10*x26 + x204*x31 - 10*x31 + x207*x200 - 10*x207 + x209*x203 - 10*x209 - 9.60674*x4 - 5.22472*x9 - 4.60674*x13 - 7.75281*x15 - 7.52809*x17 - 8.37079*x21 - 7.30337*x206 <= 0 } } Constraint e410 { Definition: { x201*x24 - 0.449438*x24 + x202*x27 - 0.449438*x27 + x203*x29 - 0.449438* x29 + 2.24719*x2 + 1.01124*x11 + 1.17978*x22 >= 0 } } Constraint e411 { Definition: { x201*x24 - 8.82022*x24 + x202*x27 - 8.82022*x27 + x203*x29 - 8.82022*x29 - 6.1236*x2 - 7.35955*x11 - 8.37079*x19 - 7.19101*x22 <= 0 } } Constraint e412 { Definition: { x200*x23 - 0.393258*x23 + x202*x28 - 0.393258*x28 + x203*x30 - 0.393258* x30 + 4.32584*x7 >= 0 } } Constraint e413 { Definition: { x200*x23 - 6.46067*x23 + x202*x28 - 6.46067*x28 + x203*x30 - 6.46067*x30 - 6.06742*x5 - 1.74157*x7 <= 0 } } Procedure MainInitialization { Body: { x2.upper := 6.73759; x3.upper := 0.496454; x4.upper := 2.41135; x5.upper := 0.35461; x6.upper := 0.496454; x7.upper := 0.35461; x8.upper := 0.496454; x9.upper := 2.41135; x10.upper := 0.496454; x11.upper := 6.73759; x12.upper := 0.496454; x13.upper := 2.41135; x14.upper := 0.496454; x15.upper := 2.41135; x16.upper := 0.496454; x17.upper := 2.41135; x18.upper := 0.496454; x19.upper := 6.73759; x20.upper := 0.496454; x21.upper := 2.41135; x22.upper := 6.73759; x23.upper := 0.35461; x24.upper := 6.73759; x25.upper := 0.496454; x26.upper := 2.41135; x27.upper := 6.73759; x28.upper := 0.35461; x29.upper := 6.73759; x30.upper := 0.35461; x31.upper := 2.41135; x32.upper := 10; x33.upper := 10; x34.upper := 10; x35.upper := 10; x36.upper := 10; x37.upper := 10; x38.upper := 10; x39.upper := 10; x40.upper := 10; x41.upper := 10; x42.upper := 10; x43.upper := 10; x44.upper := 10; x45.upper := 10; x46.upper := 10; x47.upper := 10; x48.upper := 10; x49.upper := 10; x50.upper := 10; x51.upper := 10; x52.upper := 10; x53.upper := 10; x54.upper := 10; x55.lower := 0.0881057; x55.upper := 3.8326; x56.lower := 0.792952; x56.upper := 3.34802; x57.lower := 2.02643; x57.upper := 2.55507; x58.lower := 1.05727; x58.upper := 3.8326; x59.lower := 0.792952; x59.upper := 3.34802; x60.lower := 1.71875; x60.upper := 5.15625; x61.lower := 0.833333; x61.upper := 4.94792; x62.lower := 1.71875; x62.upper := 1.97917; x63.lower := 0.833333; x63.upper := 5.15625; x64.lower := 0.833333; x64.upper := 4.94792; x65.lower := 0.0826446; x65.upper := 4.04959; x66.lower := 1.40496; x66.upper := 4.04959; x67.lower := 1.4876; x67.upper := 4.04959; x68.lower := 0.702479; x68.upper := 4.04959; x69.lower := 1.40496; x69.upper := 3.47107; x70.lower := 0.253165; x70.upper := 3.20675; x71.lower := 0.632911; x71.upper := 3.12236; x72.lower := 0.7173; x72.upper := 3.12236; x73.lower := 0.421941; x73.upper := 3.20675; x74.lower := 0.421941; x74.upper := 2.99578; x75.lower := 0.864198; x75.upper := 3.58025; x76.lower := 0.864198; x76.upper := 3.90947; x77.lower := 0.864198; x77.upper := 3.49794; x78.lower := 0.864198; x78.upper := 3.90947; x79.lower := 1.60494; x79.upper := 3.90947; x80.lower := 0.328638; x80.upper := 3.38028; x81.lower := 0.328638; x81.upper := 4.55399; x82.lower := 0.328638; x82.upper := 3.38028; x83.lower := 0.328638; x83.upper := 4.55399; x84.lower := 1.5493; x84.upper := 4.55399; x85.lower := 1.55914; x85.upper := 5; x86.lower := 0.752688; x86.upper := 5; x87.lower := 1.6129; x87.upper := 4.67742; x88.lower := 0.752688; x88.upper := 4.67742; x89.lower := 0.752688; x89.upper := 5; x90.lower := 0.08; x90.upper := 3.04; x91.lower := 0.08; x91.upper := 3.92; x92.lower := 0.08; x92.upper := 1.12; x93.lower := 0.08; x93.upper := 3.92; x94.lower := 0.12; x94.upper := 3.92; x95.lower := 0.125523; x95.upper := 3.80753; x96.lower := 0.125523; x96.upper := 4.1841; x97.lower := 1.12971; x97.upper := 3.38912; x98.lower := 0.167364; x98.upper := 4.1841; x99.lower := 0.125523; x99.upper := 4.1841; x100.lower := 0.502283; x100.upper := 3.15068; x101.lower := 0.502283; x101.upper := 2.87671; x102.lower := 0.502283; x102.upper := 1.87215; x103.lower := 0.502283; x103.upper := 3.15068; x104.lower := 1.14155; x104.upper := 3.10502; x105.lower := 0.723684; x105.upper := 6.11842; x106.lower := 2.30263; x106.upper := 6.11842; x107.lower := 2.30263; x107.upper := 6.11842; x108.lower := 0.723684; x108.upper := 6.11842; x109.lower := 2.5; x109.upper := 5.92105; x110.lower := 1.49254; x110.upper := 7.38806; x111.lower := 1.49254; x111.upper := 6.79104; x112.lower := 5; x112.upper := 5.14925; x113.lower := 1.49254; x113.upper := 7.38806; x114.lower := 1.49254; x114.upper := 6.79104; x115.lower := 0.552764; x115.upper := 4.47236; x116.lower := 0.552764; x116.upper := 4.47236; x117.lower := 0.552764; x117.upper := 3.8191; x118.lower := 0.552764; x118.upper := 3.8191; x119.lower := 0.854271; x119.upper := 4.47236; x120.lower := 1.23762; x120.upper := 4.80198; x121.lower := 1.43564; x121.upper := 4.80198; x122.lower := 1.43564; x122.upper := 1.9802; x123.lower := 1.28713; x123.upper := 4.80198; x124.lower := 2.9703; x124.upper := 4.80198; x125.lower := 0.0956938; x125.upper := 4.06699; x126.lower := 0.334928; x126.upper := 3.97129; x127.lower := 0.334928; x127.upper := 2.53589; x128.lower := 0.0956938; x128.upper := 4.06699; x129.lower := 1.10048; x129.upper := 3.97129; x130.lower := 0.297619; x130.upper := 5.41667; x131.lower := 0.297619; x131.upper := 4.52381; x132.lower := 1.36905; x132.upper := 4.52381; x133.lower := 0.357143; x133.upper := 4.52381; x134.lower := 0.297619; x134.upper := 4.28571; x135.lower := 1.5566; x135.upper := 4.0566; x136.lower := 1.79245; x136.upper := 4.0566; x137.lower := 1.79245; x137.upper := 2.68868; x138.lower := 1.5566; x138.upper := 4.0566; x139.lower := 2.16981; x139.upper := 4.0566; x140.lower := 0.186916; x140.upper := 4.25234; x141.lower := 0.046729; x141.upper := 3.83178; x142.lower := 0.233645; x142.upper := 2.05607; x143.lower := 0.046729; x143.upper := 4.25234; x144.lower := 0.046729; x144.upper := 3.83178; x145.lower := 0.349345; x145.upper := 3.40611; x146.lower := 0.436681; x146.upper := 3.40611; x147.lower := 0.436681; x147.upper := 1.96507; x148.lower := 0.349345; x148.upper := 3.40611; x149.lower := 0.917031; x149.upper := 3.40611; x150.lower := 0.470588; x150.upper := 5.88235; x151.lower := 1.94118; x151.upper := 5.88235; x152.lower := 1.94118; x152.upper := 4.82353; x153.lower := 0.647059; x153.upper := 5.88235; x154.lower := 3.23529; x154.upper := 5.88235; x155.lower := 0.123457; x155.upper := 2.71605; x156.lower := 0.123457; x156.upper := 3.82716; x157.lower := 0.123457; x157.upper := 0.329218; x158.lower := 0.123457; x158.upper := 3.82716; x159.lower := 0.90535; x159.upper := 3.82716; x160.lower := 0.263158; x160.upper := 8.33333; x161.lower := 0.350877; x161.upper := 7.80702; x162.lower := 2.10526; x162.upper := 7.80702; x163.lower := 0.350877; x163.upper := 8.33333; x164.lower := 0.350877; x164.upper := 8.07018; x165.lower := 1.52542; x165.upper := 4.23729; x166.lower := 0.508475; x166.upper := 4.23729; x167.lower := 2.75424; x167.upper := 4.23729; x168.lower := 0.508475; x168.upper := 4.23729; x169.lower := 0.508475; x169.upper := 3.00847; x170.lower := 0.227273; x170.upper := 3.81818; x171.lower := 0.227273; x171.upper := 3.81818; x172.lower := 0.227273; x172.upper := 1.63636; x173.lower := 0.227273; x173.upper := 3.81818; x174.lower := 1.68182; x174.upper := 3.81818; x175.lower := 0.327869; x175.upper := 6.14754; x176.lower := 1.14754; x176.upper := 7.13115; x177.lower := 1.55738; x177.upper := 3.11475; x178.lower := 0.327869; x178.upper := 7.13115; x179.lower := 1.14754; x179.upper := 7.13115; x180.lower := 0.16129; x180.upper := 4.03226; x181.lower := 0.524194; x181.upper := 4.03226; x182.lower := 0.524194; x182.upper := 0.685484; x183.lower := 0.16129; x183.upper := 4.03226; x184.lower := 1.00806; x184.upper := 4.03226; x185.lower := 0.80292; x185.upper := 7.22628; x186.lower := 1.9708; x186.upper := 7.22628; x187.lower := 5.47445; x187.upper := 7.22628; x188.lower := 0.80292; x188.upper := 7.22628; x189.lower := 1.9708; x189.upper := 6.93431; x190.lower := 0.16129; x190.upper := 5.43011; x191.lower := 1.98925; x191.upper := 5.43011; x192.lower := 5.37634; x192.upper := 5.43011; x193.lower := 0.16129; x193.upper := 5.43011; x194.lower := 1.98925; x194.upper := 4.94624; x195.lower := 0.416667; x195.upper := 4.0625; x196.lower := 0.416667; x196.upper := 4.73958; x197.lower := 1.19792; x197.upper := 3.64583; x198.lower := 1.19792; x198.upper := 4.73958; x199.lower := 0.416667; x199.upper := 4.73958; x200.lower := 0.393258; x200.upper := 5.39326; x201.lower := 1.46067; x201.upper := 5.39326; x202.lower := 2.24719; x202.upper := 5.39326; x203.lower := 0.449438; x203.upper := 5.39326; x204.lower := 0.449438; x204.upper := 2.69663; x205.upper := 0.496454; x206.upper := 2.41135; x207.upper := 2.41135; x208.upper := 0.496454; x209.upper := 2.41135; } } MathematicalProgram pooling_digabel18 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: NLP; } Procedure MainExecution { Body: { solve pooling_digabel18; } } Procedure MainTermination { Body: { return 1; } } }