## ams_version=1.0 Model Main_feedtray2 { Variable b1 { Range: binary; } Variable b2 { Range: binary; } Variable b3 { Range: binary; } Variable b4 { Range: binary; } Variable b5 { Range: binary; } Variable b6 { Range: binary; } Variable b7 { Range: binary; } Variable b8 { Range: binary; } Variable b9 { Range: binary; } Variable b10 { Range: binary; } Variable b11 { Range: binary; } Variable b12 { Range: binary; } Variable b13 { Range: binary; } Variable b14 { Range: binary; } Variable b15 { Range: binary; } Variable b16 { Range: binary; } Variable b17 { Range: binary; } Variable b18 { Range: binary; } Variable b19 { Range: binary; } Variable b20 { Range: binary; } Variable b21 { Range: binary; } Variable b22 { Range: binary; } Variable b23 { Range: binary; } Variable b24 { Range: binary; } Variable b25 { Range: binary; } Variable b26 { Range: binary; } Variable b27 { Range: binary; } Variable b28 { Range: binary; } Variable b29 { Range: binary; } Variable b30 { Range: binary; } Variable b31 { Range: binary; } Variable b32 { Range: binary; } Variable b33 { Range: binary; } Variable b34 { Range: binary; } Variable b35 { Range: binary; } Variable b36 { Range: binary; } 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 { Range: nonnegative; } Variable x56 { Range: nonnegative; } Variable x57 { Range: nonnegative; } Variable x58 { Range: nonnegative; } Variable x59 { Range: nonnegative; } Variable x60 { Range: nonnegative; } Variable x61 { Range: nonnegative; } Variable x62 { Range: nonnegative; } Variable x63 { Range: nonnegative; } Variable x64 { Range: nonnegative; } Variable x65 { Range: nonnegative; } Variable x66 { Range: nonnegative; } Variable x67 { Range: nonnegative; } Variable x68 { Range: nonnegative; } Variable x69 { Range: nonnegative; } Variable x70 { Range: nonnegative; } Variable x71 { Range: nonnegative; } Variable x72 { Range: nonnegative; } Variable x73 { Range: nonnegative; } Variable x74 { Range: nonnegative; } Variable x75 { Range: nonnegative; } Variable x76 { Range: nonnegative; } Variable x77 { Range: nonnegative; } Variable x78 { Range: nonnegative; } Variable x79 { Range: nonnegative; } Variable x80 { Range: nonnegative; } Variable x81 { Range: nonnegative; } Variable x82 { Range: nonnegative; } Variable x83 { Range: nonnegative; } Variable x84 { Range: nonnegative; } Variable x85 { Range: nonnegative; } Variable x86 { Range: nonnegative; } Variable x87 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: x87*x61 + 1000*b1 <= 1000.024; } Constraint e2 { Definition: x87*x63 + 1000*b2 <= 1000.024; } Constraint e3 { Definition: x87*x65 + 1000*b3 <= 1000.024; } Constraint e4 { Definition: x87*x67 + 1000*b4 <= 1000.024; } Constraint e5 { Definition: x87*x69 + 1000*b5 <= 1000.024; } Constraint e6 { Definition: x87*x71 + 1000*b6 <= 1000.024; } Constraint e7 { Definition: x87*x73 + 1000*b7 <= 1000.024; } Constraint e8 { Definition: x87*x75 + 1000*b8 <= 1000.024; } Constraint e9 { Definition: x87*x77 + 1000*b9 <= 1000.024; } Constraint e10 { Definition: x87*x79 + 1000*b10 <= 1000.024; } Constraint e11 { Definition: x87*x81 + 1000*b11 <= 1000.024; } Constraint e12 { Definition: x87*x83 + 1000*b12 <= 1000.024; } Constraint e13 { Definition: { (100*b14 + 100*b15 + 100*b16 + 100*b17 + 100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x39 + x86*x63 - (100*b15 + 100*b16 + 100*b17 + 100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100 *b23 + 100*b24 + x85)*x41 - x86*x61 - 80*b14 - 1000*b2 + 1000*b26 <= 1000 } } Constraint e14 { Definition: { (100*b14 + 100*b15 + 100*b16 + 100*b17 + 100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x40 + x86*x64 - (100*b15 + 100*b16 + 100*b17 + 100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100 *b23 + 100*b24 + x85)*x42 - x86*x62 - 20*b14 - 1000*b2 + 1000*b26 <= 1000 } } Constraint e15 { Definition: { (100*b15 + 100*b16 + 100*b17 + 100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x41 + x86*x65 - (100*b16 + 100*b17 + 100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85 )*x43 - x86*x63 - 80*b15 - 1000*b3 + 1000*b27 <= 1000 } } Constraint e16 { Definition: { (100*b15 + 100*b16 + 100*b17 + 100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x42 + x86*x66 - (100*b16 + 100*b17 + 100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85 )*x44 - x86*x64 - 20*b15 - 1000*b3 + 1000*b27 <= 1000 } } Constraint e17 { Definition: { (100*b16 + 100*b17 + 100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x43 + x86*x67 - (100*b17 + 100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x45 - x86*x65 - 80 *b16 - 1000*b4 + 1000*b28 <= 1000 } } Constraint e18 { Definition: { (100*b16 + 100*b17 + 100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x44 + x86*x68 - (100*b17 + 100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x46 - x86*x66 - 20 *b16 - 1000*b4 + 1000*b28 <= 1000 } } Constraint e19 { Definition: { (100*b17 + 100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x45 + x86*x69 - (100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x47 - x86*x67 - 80*b17 - 1000*b5 + 1000*b29 <= 1000 } } Constraint e20 { Definition: { (100*b17 + 100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x46 + x86*x70 - (100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x48 - x86*x68 - 20*b17 - 1000*b5 + 1000*b29 <= 1000 } } Constraint e21 { Definition: { (100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x47 + x86*x71 - (100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x49 - x86*x69 - 80*b18 - 1000*b6 + 1000*b30 <= 1000 } } Constraint e22 { Definition: { (100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x48 + x86*x72 - (100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x50 - x86*x70 - 20*b18 - 1000*b6 + 1000*b30 <= 1000 } } Constraint e23 { Definition: { (100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x49 + x86*x73 - (100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x51 - x86*x71 - 80*b19 - 1000*b7 + 1000*b31 <= 1000 } } Constraint e24 { Definition: { (100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x50 + x86*x74 - (100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x52 - x86*x72 - 20*b19 - 1000*b7 + 1000*b31 <= 1000 } } Constraint e25 { Definition: { (100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x51 + x86*x75 - ( 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x53 - x86*x73 - 80*b20 - 1000*b8 + 1000*b32 <= 1000 } } Constraint e26 { Definition: { (100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x52 + x86*x76 - ( 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x54 - x86*x74 - 20*b20 - 1000*b8 + 1000*b32 <= 1000 } } Constraint e27 { Definition: { (100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x53 + x86*x77 - (100*b22 + 100*b23 + 100*b24 + x85)*x55 - x86*x75 - 80*b21 - 1000*b9 + 1000*b33 <= 1000 } } Constraint e28 { Definition: { (100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x54 + x86*x78 - (100*b22 + 100*b23 + 100*b24 + x85)*x56 - x86*x76 - 20*b21 - 1000*b9 + 1000*b33 <= 1000 } } Constraint e29 { Definition: { (100*b22 + 100*b23 + 100*b24 + x85)*x55 + x86*x79 - (100*b23 + 100*b24 + x85)*x57 - x86*x77 - 80*b22 - 1000*b10 + 1000*b34 <= 1000 } } Constraint e30 { Definition: { (100*b22 + 100*b23 + 100*b24 + x85)*x56 + x86*x80 - (100*b23 + 100*b24 + x85)*x58 - x86*x78 - 20*b22 - 1000*b10 + 1000*b34 <= 1000 } } Constraint e31 { Definition: { (100*b23 + 100*b24 + x85)*x57 + x86*x81 - (100*b24 + x85)*x59 - x86*x79 - 80*b23 - 1000*b11 + 1000*b35 <= 1000 } } Constraint e32 { Definition: { (100*b23 + 100*b24 + x85)*x58 + x86*x82 - (100*b24 + x85)*x60 - x86*x80 - 20*b23 - 1000*b11 + 1000*b35 <= 1000 } } Constraint e33 { Definition: x86*x61 - (100 + x85)*x39 + 80*x37 = 0; } Constraint e34 { Definition: x86*x62 - (100 + x85)*x40 + 80*x38 = 0; } Constraint e35 { Definition: { (100*b14 + 100*b15 + 100*b16 + 100*b17 + 100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x39 + x86*x63 - (100*b15 + 100*b16 + 100*b17 + 100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100 *b23 + 100*b24 + x85)*x41 - x86*x61 - 80*b14 - 1000*b2 + 1000*b26 >= 1000 } } Constraint e36 { Definition: { (100*b14 + 100*b15 + 100*b16 + 100*b17 + 100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x40 + x86*x64 - (100*b15 + 100*b16 + 100*b17 + 100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100 *b23 + 100*b24 + x85)*x42 - x86*x62 - 20*b14 - 1000*b2 + 1000*b26 >= 1000 } } Constraint e37 { Definition: { (100*b15 + 100*b16 + 100*b17 + 100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x41 + x86*x65 - (100*b16 + 100*b17 + 100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85 )*x43 - x86*x63 - 80*b15 - 1000*b3 + 1000*b27 >= 1000 } } Constraint e38 { Definition: { (100*b15 + 100*b16 + 100*b17 + 100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x42 + x86*x66 - (100*b16 + 100*b17 + 100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85 )*x44 - x86*x64 - 20*b15 - 1000*b3 + 1000*b27 >= 1000 } } Constraint e39 { Definition: { (100*b16 + 100*b17 + 100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x43 + x86*x67 - (100*b17 + 100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x45 - x86*x65 - 80 *b16 - 1000*b4 + 1000*b28 >= 1000 } } Constraint e40 { Definition: { (100*b16 + 100*b17 + 100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x44 + x86*x68 - (100*b17 + 100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x46 - x86*x66 - 20 *b16 - 1000*b4 + 1000*b28 >= 1000 } } Constraint e41 { Definition: { (100*b17 + 100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x45 + x86*x69 - (100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x47 - x86*x67 - 80*b17 - 1000*b5 + 1000*b29 >= 1000 } } Constraint e42 { Definition: { (100*b17 + 100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x46 + x86*x70 - (100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x48 - x86*x68 - 20*b17 - 1000*b5 + 1000*b29 >= 1000 } } Constraint e43 { Definition: { (100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x47 + x86*x71 - (100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x49 - x86*x69 - 80*b18 - 1000*b6 + 1000*b30 >= 1000 } } Constraint e44 { Definition: { (100*b18 + 100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x48 + x86*x72 - (100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x50 - x86*x70 - 20*b18 - 1000*b6 + 1000*b30 >= 1000 } } Constraint e45 { Definition: { (100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x49 + x86*x73 - (100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x51 - x86*x71 - 80*b19 - 1000*b7 + 1000*b31 >= 1000 } } Constraint e46 { Definition: { (100*b19 + 100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x50 + x86*x74 - (100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x52 - x86*x72 - 20*b19 - 1000*b7 + 1000*b31 >= 1000 } } Constraint e47 { Definition: { (100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x51 + x86*x75 - ( 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x53 - x86*x73 - 80*b20 - 1000*b8 + 1000*b32 >= 1000 } } Constraint e48 { Definition: { (100*b20 + 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x52 + x86*x76 - ( 100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x54 - x86*x74 - 20*b20 - 1000*b8 + 1000*b32 >= 1000 } } Constraint e49 { Definition: { (100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x53 + x86*x77 - (100*b22 + 100*b23 + 100*b24 + x85)*x55 - x86*x75 - 80*b21 - 1000*b9 + 1000*b33 >= 1000 } } Constraint e50 { Definition: { (100*b21 + 100*b22 + 100*b23 + 100*b24 + x85)*x54 + x86*x78 - (100*b22 + 100*b23 + 100*b24 + x85)*x56 - x86*x76 - 20*b21 - 1000*b9 + 1000*b33 >= 1000 } } Constraint e51 { Definition: { (100*b22 + 100*b23 + 100*b24 + x85)*x55 + x86*x79 - (100*b23 + 100*b24 + x85)*x57 - x86*x77 - 80*b22 - 1000*b10 + 1000*b34 >= 1000 } } Constraint e52 { Definition: { (100*b22 + 100*b23 + 100*b24 + x85)*x56 + x86*x80 - (100*b23 + 100*b24 + x85)*x58 - x86*x78 - 20*b22 - 1000*b10 + 1000*b34 >= 1000 } } Constraint e53 { Definition: { (100*b23 + 100*b24 + x85)*x57 + x86*x81 - (100*b24 + x85)*x59 - x86*x79 - 80*b23 - 1000*b11 + 1000*b35 >= 1000 } } Constraint e54 { Definition: { (100*b23 + 100*b24 + x85)*x58 + x86*x82 - (100*b24 + x85)*x60 - x86*x80 - 20*b23 - 1000*b11 + 1000*b35 >= 1000 } } Constraint e55 { Definition: x85*x39 + x87*x63 - x86*x61 + 1000*b2 <= 1000; } Constraint e56 { Definition: x85*x40 + x87*x64 - x86*x62 + 1000*b2 <= 1000; } Constraint e57 { Definition: x85*x41 + x87*x65 - x86*x63 + 1000*b3 <= 1000; } Constraint e58 { Definition: x85*x42 + x87*x66 - x86*x64 + 1000*b3 <= 1000; } Constraint e59 { Definition: x85*x43 + x87*x67 - x86*x65 + 1000*b4 <= 1000; } Constraint e60 { Definition: x85*x44 + x87*x68 - x86*x66 + 1000*b4 <= 1000; } Constraint e61 { Definition: x85*x45 + x87*x69 - x86*x67 + 1000*b5 <= 1000; } Constraint e62 { Definition: x85*x46 + x87*x70 - x86*x68 + 1000*b5 <= 1000; } Constraint e63 { Definition: x85*x47 + x87*x71 - x86*x69 + 1000*b6 <= 1000; } Constraint e64 { Definition: x85*x48 + x87*x72 - x86*x70 + 1000*b6 <= 1000; } Constraint e65 { Definition: x85*x49 + x87*x73 - x86*x71 + 1000*b7 <= 1000; } Constraint e66 { Definition: x85*x50 + x87*x74 - x86*x72 + 1000*b7 <= 1000; } Constraint e67 { Definition: x85*x51 + x87*x75 - x86*x73 + 1000*b8 <= 1000; } Constraint e68 { Definition: x85*x52 + x87*x76 - x86*x74 + 1000*b8 <= 1000; } Constraint e69 { Definition: x85*x53 + x87*x77 - x86*x75 + 1000*b9 <= 1000; } Constraint e70 { Definition: x85*x54 + x87*x78 - x86*x76 + 1000*b9 <= 1000; } Constraint e71 { Definition: x85*x55 + x87*x79 - x86*x77 + 1000*b10 <= 1000; } Constraint e72 { Definition: x85*x56 + x87*x80 - x86*x78 + 1000*b10 <= 1000; } Constraint e73 { Definition: x85*x57 + x87*x81 - x86*x79 + 1000*b11 <= 1000; } Constraint e74 { Definition: x85*x58 + x87*x82 - x86*x80 + 1000*b11 <= 1000; } Constraint e75 { Definition: x85*x59 + x87*x83 - x86*x81 + 1000*b12 <= 1000; } Constraint e76 { Definition: x85*x60 + x87*x84 - x86*x82 + 1000*b12 <= 1000; } Constraint e77 { Definition: x85*x39 + x87*x63 - x86*x61 - 1000*b2 >= -1000; } Constraint e78 { Definition: x85*x40 + x87*x64 - x86*x62 - 1000*b2 >= -1000; } Constraint e79 { Definition: x85*x41 + x87*x65 - x86*x63 - 1000*b3 >= -1000; } Constraint e80 { Definition: x85*x42 + x87*x66 - x86*x64 - 1000*b3 >= -1000; } Constraint e81 { Definition: x85*x43 + x87*x67 - x86*x65 - 1000*b4 >= -1000; } Constraint e82 { Definition: x85*x44 + x87*x68 - x86*x66 - 1000*b4 >= -1000; } Constraint e83 { Definition: x85*x45 + x87*x69 - x86*x67 - 1000*b5 >= -1000; } Constraint e84 { Definition: x85*x46 + x87*x70 - x86*x68 - 1000*b5 >= -1000; } Constraint e85 { Definition: x85*x47 + x87*x71 - x86*x69 - 1000*b6 >= -1000; } Constraint e86 { Definition: x85*x48 + x87*x72 - x86*x70 - 1000*b6 >= -1000; } Constraint e87 { Definition: x85*x49 + x87*x73 - x86*x71 - 1000*b7 >= -1000; } Constraint e88 { Definition: x85*x50 + x87*x74 - x86*x72 - 1000*b7 >= -1000; } Constraint e89 { Definition: x85*x51 + x87*x75 - x86*x73 - 1000*b8 >= -1000; } Constraint e90 { Definition: x85*x52 + x87*x76 - x86*x74 - 1000*b8 >= -1000; } Constraint e91 { Definition: x85*x53 + x87*x77 - x86*x75 - 1000*b9 >= -1000; } Constraint e92 { Definition: x85*x54 + x87*x78 - x86*x76 - 1000*b9 >= -1000; } Constraint e93 { Definition: x85*x55 + x87*x79 - x86*x77 - 1000*b10 >= -1000; } Constraint e94 { Definition: x85*x56 + x87*x80 - x86*x78 - 1000*b10 >= -1000; } Constraint e95 { Definition: x85*x57 + x87*x81 - x86*x79 - 1000*b11 >= -1000; } Constraint e96 { Definition: x85*x58 + x87*x82 - x86*x80 - 1000*b11 >= -1000; } Constraint e97 { Definition: x85*x59 + x87*x83 - x86*x81 - 1000*b12 >= -1000; } Constraint e98 { Definition: x85*x60 + x87*x84 - x86*x82 - 1000*b12 >= -1000; } Constraint e99 { Definition: -objvar*x87 + x85 = 0; } Constraint e100 { Definition: { b13 + b14 + b15 + b16 + b17 + b18 + b19 + b20 + b21 + b22 + b23 + b24 = 1 } } Constraint e101 { Definition: b1 + b2 + b3 + b4 + b5 + b6 + b7 + b8 + b9 + b10 + b11 + b12 = 1; } Constraint e102 { Definition: { b25 + b26 + b27 + b28 + b29 + b30 + b31 + b32 + b33 + b34 + b35 + b36 = 12 } } Constraint e103 { Definition: { b1 + 2*b2 + 3*b3 + 4*b4 + 5*b5 + 6*b6 + 7*b7 + 8*b8 + 9*b9 + 10*b10 + 11*b11 + 12*b12 = 12 } } Constraint e104 { Definition: { - b1 - 2*b2 - 3*b3 - 4*b4 - 5*b5 - 6*b6 - 7*b7 - 8*b8 - 9*b9 - 10*b10 - 11*b11 - 12*b12 + b13 + 2*b14 + 3*b15 + 4*b16 + 5*b17 + 6*b18 + 7*b19 + 8*b20 + 9*b21 + 10*b22 + 11*b23 + 12*b24 <= 0 } } Constraint e105 { Definition: b1 - b25 <= 0; } Constraint e106 { Definition: b2 - b26 <= 0; } Constraint e107 { Definition: b3 - b27 <= 0; } Constraint e108 { Definition: b4 - b28 <= 0; } Constraint e109 { Definition: b5 - b29 <= 0; } Constraint e110 { Definition: b6 - b30 <= 0; } Constraint e111 { Definition: b7 - b31 <= 0; } Constraint e112 { Definition: b8 - b32 <= 0; } Constraint e113 { Definition: b9 - b33 <= 0; } Constraint e114 { Definition: b10 - b34 <= 0; } Constraint e115 { Definition: b11 - b35 <= 0; } Constraint e116 { Definition: b12 - b36 <= 0; } Constraint e117 { Definition: b13 - b25 <= 0; } Constraint e118 { Definition: b14 - b26 <= 0; } Constraint e119 { Definition: b15 - b27 <= 0; } Constraint e120 { Definition: b16 - b28 <= 0; } Constraint e121 { Definition: b17 - b29 <= 0; } Constraint e122 { Definition: b18 - b30 <= 0; } Constraint e123 { Definition: b19 - b31 <= 0; } Constraint e124 { Definition: b20 - b32 <= 0; } Constraint e125 { Definition: b21 - b33 <= 0; } Constraint e126 { Definition: b22 - b34 <= 0; } Constraint e127 { Definition: b23 - b35 <= 0; } Constraint e128 { Definition: b24 - b36 <= 0; } Constraint e129 { Definition: { - b1 - b2 - b3 - b4 - b5 - b6 - b7 - b8 - b9 - b10 - b11 - b12 + b25 <= 0 } } Constraint e130 { Definition: - b2 - b3 - b4 - b5 - b6 - b7 - b8 - b9 - b10 - b11 - b12 + b26 <= 0; } Constraint e131 { Definition: - b3 - b4 - b5 - b6 - b7 - b8 - b9 - b10 - b11 - b12 + b27 <= 0; } Constraint e132 { Definition: - b4 - b5 - b6 - b7 - b8 - b9 - b10 - b11 - b12 + b28 <= 0; } Constraint e133 { Definition: - b5 - b6 - b7 - b8 - b9 - b10 - b11 - b12 + b29 <= 0; } Constraint e134 { Definition: - b6 - b7 - b8 - b9 - b10 - b11 - b12 + b30 <= 0; } Constraint e135 { Definition: - b7 - b8 - b9 - b10 - b11 - b12 + b31 <= 0; } Constraint e136 { Definition: - b8 - b9 - b10 - b11 - b12 + b32 <= 0; } Constraint e137 { Definition: - b9 - b10 - b11 - b12 + b33 <= 0; } Constraint e138 { Definition: - b10 - b11 - b12 + b34 <= 0; } Constraint e139 { Definition: - b11 - b12 + b35 <= 0; } Constraint e140 { Definition: - b12 + b36 <= 0; } Constraint e141 { Definition: - b25 - x61 - x62 <= 0; } Constraint e142 { Definition: - b26 - x63 - x64 <= 0; } Constraint e143 { Definition: - b27 - x65 - x66 <= 0; } Constraint e144 { Definition: - b28 - x67 - x68 <= 0; } Constraint e145 { Definition: - b29 - x69 - x70 <= 0; } Constraint e146 { Definition: - b30 - x71 - x72 <= 0; } Constraint e147 { Definition: - b31 - x73 - x74 <= 0; } Constraint e148 { Definition: - b32 - x75 - x76 <= 0; } Constraint e149 { Definition: - b33 - x77 - x78 <= 0; } Constraint e150 { Definition: - b34 - x79 - x80 <= 0; } Constraint e151 { Definition: - b35 - x81 - x82 <= 0; } Constraint e152 { Definition: - b36 - x83 - x84 <= 0; } Constraint e153 { Definition: b25 - x61 - x62 <= 0; } Constraint e154 { Definition: b26 - x63 - x64 <= 0; } Constraint e155 { Definition: b27 - x65 - x66 <= 0; } Constraint e156 { Definition: b28 - x67 - x68 <= 0; } Constraint e157 { Definition: b29 - x69 - x70 <= 0; } Constraint e158 { Definition: b30 - x71 - x72 <= 0; } Constraint e159 { Definition: b31 - x73 - x74 <= 0; } Constraint e160 { Definition: b32 - x75 - x76 <= 0; } Constraint e161 { Definition: b33 - x77 - x78 <= 0; } Constraint e162 { Definition: b34 - x79 - x80 <= 0; } Constraint e163 { Definition: b35 - x81 - x82 <= 0; } Constraint e164 { Definition: b36 - x83 - x84 <= 0; } Constraint e165 { Definition: - b25 - x37 - x38 <= 0; } Constraint e166 { Definition: - b26 - x39 - x40 <= 0; } Constraint e167 { Definition: - b27 - x41 - x42 <= 0; } Constraint e168 { Definition: - b28 - x43 - x44 <= 0; } Constraint e169 { Definition: - b29 - x45 - x46 <= 0; } Constraint e170 { Definition: - b30 - x47 - x48 <= 0; } Constraint e171 { Definition: - b31 - x49 - x50 <= 0; } Constraint e172 { Definition: - b32 - x51 - x52 <= 0; } Constraint e173 { Definition: - b33 - x53 - x54 <= 0; } Constraint e174 { Definition: - b34 - x55 - x56 <= 0; } Constraint e175 { Definition: - b35 - x57 - x58 <= 0; } Constraint e176 { Definition: - b36 - x59 - x60 <= 0; } Constraint e177 { Definition: b25 - x37 - x38 <= 0; } Constraint e178 { Definition: b26 - x39 - x40 <= 0; } Constraint e179 { Definition: b27 - x41 - x42 <= 0; } Constraint e180 { Definition: b28 - x43 - x44 <= 0; } Constraint e181 { Definition: b29 - x45 - x46 <= 0; } Constraint e182 { Definition: b30 - x47 - x48 <= 0; } Constraint e183 { Definition: b31 - x49 - x50 <= 0; } Constraint e184 { Definition: b32 - x51 - x52 <= 0; } Constraint e185 { Definition: b33 - x53 - x54 <= 0; } Constraint e186 { Definition: b34 - x55 - x56 <= 0; } Constraint e187 { Definition: b35 - x57 - x58 <= 0; } Constraint e188 { Definition: b36 - x59 - x60 <= 0; } Constraint e189 { Definition: - b25 - x61 - x62 >= -2; } Constraint e190 { Definition: - b26 - x63 - x64 >= -2; } Constraint e191 { Definition: - b27 - x65 - x66 >= -2; } Constraint e192 { Definition: - b28 - x67 - x68 >= -2; } Constraint e193 { Definition: - b29 - x69 - x70 >= -2; } Constraint e194 { Definition: - b30 - x71 - x72 >= -2; } Constraint e195 { Definition: - b31 - x73 - x74 >= -2; } Constraint e196 { Definition: - b32 - x75 - x76 >= -2; } Constraint e197 { Definition: - b33 - x77 - x78 >= -2; } Constraint e198 { Definition: - b34 - x79 - x80 >= -2; } Constraint e199 { Definition: - b35 - x81 - x82 >= -2; } Constraint e200 { Definition: - b36 - x83 - x84 >= -2; } Constraint e201 { Definition: b25 - x61 - x62 >= -2; } Constraint e202 { Definition: b26 - x63 - x64 >= -2; } Constraint e203 { Definition: b27 - x65 - x66 >= -2; } Constraint e204 { Definition: b28 - x67 - x68 >= -2; } Constraint e205 { Definition: b29 - x69 - x70 >= -2; } Constraint e206 { Definition: b30 - x71 - x72 >= -2; } Constraint e207 { Definition: b31 - x73 - x74 >= -2; } Constraint e208 { Definition: b32 - x75 - x76 >= -2; } Constraint e209 { Definition: b33 - x77 - x78 >= -2; } Constraint e210 { Definition: b34 - x79 - x80 >= -2; } Constraint e211 { Definition: b35 - x81 - x82 >= -2; } Constraint e212 { Definition: b36 - x83 - x84 >= -2; } Constraint e213 { Definition: - b25 - x37 - x38 >= -2; } Constraint e214 { Definition: - b26 - x39 - x40 >= -2; } Constraint e215 { Definition: - b27 - x41 - x42 >= -2; } Constraint e216 { Definition: - b28 - x43 - x44 >= -2; } Constraint e217 { Definition: - b29 - x45 - x46 >= -2; } Constraint e218 { Definition: - b30 - x47 - x48 >= -2; } Constraint e219 { Definition: - b31 - x49 - x50 >= -2; } Constraint e220 { Definition: - b32 - x51 - x52 >= -2; } Constraint e221 { Definition: - b33 - x53 - x54 >= -2; } Constraint e222 { Definition: - b34 - x55 - x56 >= -2; } Constraint e223 { Definition: - b35 - x57 - x58 >= -2; } Constraint e224 { Definition: - b36 - x59 - x60 >= -2; } Constraint e225 { Definition: b25 - x37 - x38 >= -2; } Constraint e226 { Definition: b26 - x39 - x40 >= -2; } Constraint e227 { Definition: b27 - x41 - x42 >= -2; } Constraint e228 { Definition: b28 - x43 - x44 >= -2; } Constraint e229 { Definition: b29 - x45 - x46 >= -2; } Constraint e230 { Definition: b30 - x47 - x48 >= -2; } Constraint e231 { Definition: b31 - x49 - x50 >= -2; } Constraint e232 { Definition: b32 - x51 - x52 >= -2; } Constraint e233 { Definition: b33 - x53 - x54 >= -2; } Constraint e234 { Definition: b34 - x55 - x56 >= -2; } Constraint e235 { Definition: b35 - x57 - x58 >= -2; } Constraint e236 { Definition: b36 - x59 - x60 >= -2; } Constraint e237 { Definition: (x37 + 5.13435*x38)*x61 - x37 + 1000*b25 <= 1000; } Constraint e238 { Definition: (x37 + 5.13435*x38)*x62 - 5.13435*x38 + 1000*b25 <= 1000; } Constraint e239 { Definition: (x39 + 5.13435*x40)*x63 - x39 + 1000*b26 <= 1000; } Constraint e240 { Definition: (x39 + 5.13435*x40)*x64 - 5.13435*x40 + 1000*b26 <= 1000; } Constraint e241 { Definition: (x41 + 5.13435*x42)*x65 - x41 + 1000*b27 <= 1000; } Constraint e242 { Definition: (x41 + 5.13435*x42)*x66 - 5.13435*x42 + 1000*b27 <= 1000; } Constraint e243 { Definition: (x43 + 5.13435*x44)*x67 - x43 + 1000*b28 <= 1000; } Constraint e244 { Definition: (x43 + 5.13435*x44)*x68 - 5.13435*x44 + 1000*b28 <= 1000; } Constraint e245 { Definition: (x45 + 5.13435*x46)*x69 - x45 + 1000*b29 <= 1000; } Constraint e246 { Definition: (x45 + 5.13435*x46)*x70 - 5.13435*x46 + 1000*b29 <= 1000; } Constraint e247 { Definition: (x47 + 5.13435*x48)*x71 - x47 + 1000*b30 <= 1000; } Constraint e248 { Definition: (x47 + 5.13435*x48)*x72 - 5.13435*x48 + 1000*b30 <= 1000; } Constraint e249 { Definition: (x49 + 5.13435*x50)*x73 - x49 + 1000*b31 <= 1000; } Constraint e250 { Definition: (x49 + 5.13435*x50)*x74 - 5.13435*x50 + 1000*b31 <= 1000; } Constraint e251 { Definition: (x51 + 5.13435*x52)*x75 - x51 + 1000*b32 <= 1000; } Constraint e252 { Definition: (x51 + 5.13435*x52)*x76 - 5.13435*x52 + 1000*b32 <= 1000; } Constraint e253 { Definition: (x53 + 5.13435*x54)*x77 - x53 + 1000*b33 <= 1000; } Constraint e254 { Definition: (x53 + 5.13435*x54)*x78 - 5.13435*x54 + 1000*b33 <= 1000; } Constraint e255 { Definition: (x55 + 5.13435*x56)*x79 - x55 + 1000*b34 <= 1000; } Constraint e256 { Definition: (x55 + 5.13435*x56)*x80 - 5.13435*x56 + 1000*b34 <= 1000; } Constraint e257 { Definition: (x57 + 5.13435*x58)*x81 - x57 + 1000*b35 <= 1000; } Constraint e258 { Definition: (x57 + 5.13435*x58)*x82 - 5.13435*x58 + 1000*b35 <= 1000; } Constraint e259 { Definition: (x59 + 5.13435*x60)*x83 - x59 + 1000*b36 <= 1000; } Constraint e260 { Definition: (x59 + 5.13435*x60)*x84 - 5.13435*x60 + 1000*b36 <= 1000; } Constraint e261 { Definition: (x37 + 5.13435*x38)*x61 - x37 - 1000*b25 >= -1000; } Constraint e262 { Definition: (x37 + 5.13435*x38)*x62 - 5.13435*x38 - 1000*b25 >= -1000; } Constraint e263 { Definition: (x39 + 5.13435*x40)*x63 - x39 - 1000*b26 >= -1000; } Constraint e264 { Definition: (x39 + 5.13435*x40)*x64 - 5.13435*x40 - 1000*b26 >= -1000; } Constraint e265 { Definition: (x41 + 5.13435*x42)*x65 - x41 - 1000*b27 >= -1000; } Constraint e266 { Definition: (x41 + 5.13435*x42)*x66 - 5.13435*x42 - 1000*b27 >= -1000; } Constraint e267 { Definition: (x43 + 5.13435*x44)*x67 - x43 - 1000*b28 >= -1000; } Constraint e268 { Definition: (x43 + 5.13435*x44)*x68 - 5.13435*x44 - 1000*b28 >= -1000; } Constraint e269 { Definition: (x45 + 5.13435*x46)*x69 - x45 - 1000*b29 >= -1000; } Constraint e270 { Definition: (x45 + 5.13435*x46)*x70 - 5.13435*x46 - 1000*b29 >= -1000; } Constraint e271 { Definition: (x47 + 5.13435*x48)*x71 - x47 - 1000*b30 >= -1000; } Constraint e272 { Definition: (x47 + 5.13435*x48)*x72 - 5.13435*x48 - 1000*b30 >= -1000; } Constraint e273 { Definition: (x49 + 5.13435*x50)*x73 - x49 - 1000*b31 >= -1000; } Constraint e274 { Definition: (x49 + 5.13435*x50)*x74 - 5.13435*x50 - 1000*b31 >= -1000; } Constraint e275 { Definition: (x51 + 5.13435*x52)*x75 - x51 - 1000*b32 >= -1000; } Constraint e276 { Definition: (x51 + 5.13435*x52)*x76 - 5.13435*x52 - 1000*b32 >= -1000; } Constraint e277 { Definition: (x53 + 5.13435*x54)*x77 - x53 - 1000*b33 >= -1000; } Constraint e278 { Definition: (x53 + 5.13435*x54)*x78 - 5.13435*x54 - 1000*b33 >= -1000; } Constraint e279 { Definition: (x55 + 5.13435*x56)*x79 - x55 - 1000*b34 >= -1000; } Constraint e280 { Definition: (x55 + 5.13435*x56)*x80 - 5.13435*x56 - 1000*b34 >= -1000; } Constraint e281 { Definition: (x57 + 5.13435*x58)*x81 - x57 - 1000*b35 >= -1000; } Constraint e282 { Definition: (x57 + 5.13435*x58)*x82 - 5.13435*x58 - 1000*b35 >= -1000; } Constraint e283 { Definition: (x59 + 5.13435*x60)*x83 - x59 - 1000*b36 >= -1000; } Constraint e284 { Definition: (x59 + 5.13435*x60)*x84 - 5.13435*x60 - 1000*b36 >= -1000; } Procedure MainInitialization { Body: { x37.upper := 1; x38.upper := 1; x39.upper := 1; x40.upper := 1; x41.upper := 1; x42.upper := 1; x43.upper := 1; x44.upper := 1; x45.upper := 1; x46.upper := 1; x47.upper := 1; x48.upper := 1; x49.upper := 1; x50.upper := 1; x51.upper := 1; x52.upper := 1; x53.upper := 1; x54.upper := 1; x55.upper := 1; x56.upper := 1; x57.upper := 1; x58.upper := 1; x59.upper := 1; x60.upper := 1; x61.upper := 1; x62.upper := 1; x63.upper := 1; x64.upper := 1; x65.upper := 1; x66.upper := 1; x67.upper := 1; x68.upper := 1; x69.upper := 1; x70.upper := 1; x71.upper := 1; x72.upper := 1; x73.upper := 1; x74.upper := 1; x75.upper := 1; x76.upper := 1; x77.upper := 1; x78.upper := 1; x79.upper := 1; x80.upper := 1; x81.upper := 1; x82.upper := 1; x83.upper := 1; x84.upper := 1; x87.upper := 100; objvar.lower := 0; objvar.upper := 5; } } MathematicalProgram feedtray2 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve feedtray2; } } Procedure MainTermination { Body: { return 1; } } }