\ Equation counts \ Total E G L N X C B \ 52 1 0 51 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 100 50 50 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 250 200 50 0 \ Minimize obj: 0 x2 + 0 x3 + 0 x4 + 0 x5 + 0 x6 + 0 x7 + 0 x8 + 0 x9 + 0 x10 + 0 x11 + 0 x12 + 0 x13 + 0 x14 + 0 x15 + 0 x16 + 0 x17 + 0 x18 + 0 x19 + 0 x20 + 0 x21 + 0 x22 + 0 x23 + 0 x24 + 0 x25 + 0 x26 + 0 x27 + 0 x28 + 0 x29 + 0 x30 + 0 x31 + 0 x32 + 0 x33 + 0 x34 + 0 x35 + 0 x36 + 0 x37 + 0 x38 + 0 x39 + 0 x40 + 0 x41 + 0 x42 + 0 x43 + 0 x44 + 0 x45 + 0 x46 + 0 x47 + 0 x48 + 0 x49 + 0 x50 + 0 x51 + 0 b52 + 0 b53 + 0 b54 + 0 b55 + 0 b56 + 0 b57 + 0 b58 + 0 b59 + 0 b60 + 0 b61 + 0 b62 + 0 b63 + 0 b64 + 0 b65 + 0 b66 + 0 b67 + 0 b68 + 0 b69 + 0 b70 + 0 b71 + 0 b72 + 0 b73 + 0 b74 + 0 b75 + 0 b76 + 0 b77 + 0 b78 + 0 b79 + 0 b80 + 0 b81 + 0 b82 + 0 b83 + 0 b84 + 0 b85 + 0 b86 + 0 b87 + 0 b88 + 0 b89 + 0 b90 + 0 b91 + 0 b92 + 0 b93 + 0 b94 + 0 b95 + 0 b96 + 0 b97 + 0 b98 + 0 b99 + 0 b100 + 0 b101 + [ 40.7192 x2^2 + 50.1576 x2 * x3 + 35.894 x2 * x4 + 13.084 x2 * x5 + 34.46732 x2 * x6 + 28.68424 x2 * x7 + 41.8688 x2 * x8 + 39.36052 x2 * x9 + 49.9492 x2 * x10 + 40.0948 x2 * x11 + 37.77812 x2 * x12 + 54.6332 x2 * x13 + 24.52916 x2 * x14 + 37.3968 x2 * x15 + 40.0508 x2 * x16 + 31.46264 x2 * x17 + 39.31604 x2 * x18 + 47.4752 x2 * x19 + 32.46688 x2 * x20 + 44.5164 x2 * x21 + 6925.2 x2 * x22 + 5927.36 x2 * x23 + 5993.04 x2 * x24 + 5998.16 x2 * x25 + 6267.8 x2 * x26 + 6287.6 x2 * x27 + 6349.92 x2 * x28 + 5903.72 x2 * x29 + 6051.76 x2 * x30 + 6211.64 x2 * x31 + 5912.8 x2 * x32 + 6151.68 x2 * x33 + 6183.28 x2 * x34 + 6139 x2 * x35 + 6353.64 x2 * x36 + 6108 x2 * x37 + 6188.48 x2 * x38 + 5612.68 x2 * x39 + 6031.16 x2 * x40 + 6146.92 x2 * x41 + 6206.48 x2 * x42 + 6163.64 x2 * x43 + 6119.32 x2 * x44 + 6213.64 x2 * x45 + 6097.44 x2 * x46 + 6070.68 x2 * x47 + 6263.32 x2 * x48 + 6237.68 x2 * x49 + 6354.04 x2 * x50 + 6148.16 x2 * x51 + 64.2294 x3^2 + 43.43 x3 * x4 + 15.66956 x3 * x5 + 44.8128 x3 * x6 + 39.54696 x3 * x7 + 45.0136 x3 * x8 + 32.24068 x3 * x9 + 33.0832 x3 * x10 + 44.9548 x3 * x11 + 23.86136 x3 * x12 + 61.4104 x3 * x13 + 1.519616 x3 * x14 + 52.1704 x3 * x15 + 32.11192 x3 * x16 + 30.6278 x3 * x17 + 31.7884 x3 * x18 + 34.90996 x3 * x19 + 36.00724 x3 * x20 + 57.8464 x3 * x21 + 6932.76 x3 * x22 + 5906.24 x3 * x23 + 5990.36 x3 * x24 + 5999.88 x3 * x25 + 6251.64 x3 * x26 + 6279.64 x3 * x27 + 6370.64 x3 * x28 + 5921.72 x3 * x29 + 6061.2 x3 * x30 + 6189.56 x3 * x31 + 5910.24 x3 * x32 + 6147.88 x3 * x33 + 6188.68 x3 * x34 + 6138.72 x3 * x35 + 6345.28 x3 * x36 + 6107.88 x3 * x37 + 6184.32 x3 * x38 + 5617.28 x3 * x39 + 6039.28 x3 * x40 + 6152.36 x3 * x41 + 6181.68 x3 * x42 + 6153.84 x3 * x43 + 6123.88 x3 * x44 + 6218.68 x3 * x45 + 6098.44 x3 * x46 + 6064.04 x3 * x47 + 6295.92 x3 * x48 + 6240.4 x3 * x49 + 6329.6 x3 * x50 + 6151.68 x3 * x51 + 36.3612 x4^2 + 29.70268 x4 * x5 + 38.80172 x4 * x6 + 56.49 x4 * x7 + 27.98516 x4 * x8 + 39.64052 x4 * x9 + 39.69404 x4 * x10 + 39.01524 x4 * x11 + 52.4964 x4 * x12 + 37.32096 x4 * x13 + 29.48684 x4 * x14 + 50.174 x4 * x15 + 35.49524 x4 * x16 + 38.734 x4 * x17 + 37.91172 x4 * x18 + 27.20136 x4 * x19 + 46.0576 x4 * x20 + 47.2872 x4 * x21 + 6922.28 x4 * x22 + 5917.36 x4 * x23 + 5992.04 x4 * x24 + 5999.68 x4 * x25 + 6248.36 x4 * x26 + 6284.52 x4 * x27 + 6350.72 x4 * x28 + 5926.12 x4 * x29 + 6056.64 x4 * x30 + 6206.4 x4 * x31 + 5904.04 x4 * x32 + 6154.24 x4 * x33 + 6187.28 x4 * x34 + 6138.12 x4 * x35 + 6334.88 x4 * x36 + 6094.72 x4 * x37 + 6196 x4 * x38 + 5621.6 x4 * x39 + 6030.64 x4 * x40 + 6148.28 x4 * x41 + 6189.44 x4 * x42 + 6155.68 x4 * x43 + 6116.76 x4 * x44 + 6223.04 x4 * x45 + 6096 x4 * x46 + 6076.04 x4 * x47 + 6274.28 x4 * x48 + 6240.72 x4 * x49 + 6339.88 x4 * x50 + 6150.64 x4 * x51 + 64.2 x5^2 + 36.49952 x5 * x6 + 34.03104 x5 * x7 + 20.3978 x5 * x8 + 39.76392 x5 * x9 + 31.9768 x5 * x10 + 41.0868 x5 * x11 + 54.7712 x5 * x12 + 31.48616 x5 * x13 + 64.776 x5 * x14 + 30.545 x5 * x15 + 35.264 x5 * x16 + 47.416 x5 * x17 + 40.7832 x5 * x18 + 40.3736 x5 * x19 + 33.66728 x5 * x20 + 19.47424 x5 * x21 + 6944.2 x5 * x22 + 5922.56 x5 * x23 + 6017.4 x5 * x24 + 6011.28 x5 * x25 + 6250.96 x5 * x26 + 6293.96 x5 * x27 + 6365.96 x5 * x28 + 5901.52 x5 * x29 + 6048.76 x5 * x30 + 6256.28 x5 * x31 + 5919.2 x5 * x32 + 6161 x5 * x33 + 6186.16 x5 * x34 + 6138.28 x5 * x35 + 6364.08 x5 * x36 + 6122.04 x5 * x37 + 6194.08 x5 * x38 + 5659.24 x5 * x39 + 6047.2 x5 * x40 + 6134.92 x5 * x41 + 6182.96 x5 * x42 + 6165.36 x5 * x43 + 6113.48 x5 * x44 + 6216.92 x5 * x45 + 6096.28 x5 * x46 + 6057.92 x5 * x47 + 6274.28 x5 * x48 + 6245.36 x5 * x49 + 6347.88 x5 * x50 + 6153.8 x5 * x51 + 44.3688 x6^2 + 15.33128 x6 * x7 + 54.8028 x6 * x8 + 34.12616 x6 * x9 + 36.68424 x6 * x10 + 13.51372 x6 * x11 + 32.176 x6 * x12 + 34.35312 x6 * x13 + 28.1204 x6 * x14 + 33.19152 x6 * x15 + 32.481 x6 * x16 + 36.0992 x6 * x17 + 36.46816 x6 * x18 + 40.4736 x6 * x19 + 54.8432 x6 * x20 + 54.5176 x6 * x21 + 6938.04 x6 * x22 + 5924.12 x6 * x23 + 5988.2 x6 * x24 + 6006.64 x6 * x25 + 6277 x6 * x26 + 6272.2 x6 * x27 + 6376.68 x6 * x28 + 5923.56 x6 * x29 + 6053.68 x6 * x30 + 6215.52 x6 * x31 + 5924.84 x6 * x32 + 6156.6 x6 * x33 + 6186.76 x6 * x34 + 6138.28 x6 * x35 + 6354.48 x6 * x36 + 6104.12 x6 * x37 + 6195.04 x6 * x38 + 5625.4 x6 * x39 + 6024.4 x6 * x40 + 6144.16 x6 * x41 + 6187 x6 * x42 + 6162.64 x6 * x43 + 6118.2 x6 * x44 + 6217.4 x6 * x45 + 6099.4 x6 * x46 + 6083.68 x6 * x47 + 6261 x6 * x48 + 6250.44 x6 * x49 + 6324.4 x6 * x50 + 6137.2 x6 * x51 + 54.491 x7^2 + 43.356 x7 * x9 + 27.26288 x7 * x10 + 73.3376 x7 * x11 + 36.46776 x7 * x12 + 42.214 x7 * x13 + 27.16732 x7 * x14 + 55.5708 x7 * x15 + 41.8564 x7 * x16 + 45.9444 x7 * x17 + 38.94608 x7 * x18 + 25.73916 x7 * x19 + 20.80144 x7 * x20 + 66.476 x7 * x21 + 6916.32 x7 * x22 + 5908.4 x7 * x23 + 5990.48 x7 * x24 + 5996.56 x7 * x25 + 6232.32 x7 * x26 + 6291.84 x7 * x27 + 6347.04 x7 * x28 + 5929.68 x7 * x29 + 6059.76 x7 * x30 + 6202.64 x7 * x31 + 5911 x7 * x32 + 6151.76 x7 * x33 + 6187.56 x7 * x34 + 6138.56 x7 * x35 + 6324.96 x7 * x36 + 6105.44 x7 * x37 + 6187.2 x7 * x38 + 5615.76 x7 * x39 + 6030.96 x7 * x40 + 6149.12 x7 * x41 + 6186.44 x7 * x42 + 6159.6 x7 * x43 + 6117.28 x7 * x44 + 6220.08 x7 * x45 + 6094.24 x7 * x46 + 6061.24 x7 * x47 + 6257.28 x7 * x48 + 6225.68 x7 * x49 + 6343.36 x7 * x50 + 6152.32 x7 * x51 + 70.3456 x8^2 + 43.4528 x8 * x9 + 53.452 x8 * x10 + 16.5644 x8 * x11 + 45.2672 x8 * x12 + 1.947244 x8 * x13 + 65.4208 x8 * x14 + 23.14296 x8 * x15 + 37.96764 x8 * x16 + 38.88996 x8 * x17 + 45.3484 x8 * x18 + 46.7224 x8 * x19 + 50.8832 x8 * x20 + 9.58056 x8 * x21 + 6935.52 x8 * x22 + 5919.8 x8 * x23 + 5987.2 x8 * x24 + 6000.8 x8 * x25 + 6261.96 x8 * x26 + 6301.88 x8 * x27 + 6398.96 x8 * x28 + 5922 x8 * x29 + 6052.8 x8 * x30 + 6232 x8 * x31 + 5918.64 x8 * x32 + 6163.92 x8 * x33 + 6186.32 x8 * x34 + 6138.84 x8 * x35 + 6362.92 x8 * x36 + 6100.36 x8 * x37 + 6190.72 x8 * x38 + 5622.52 x8 * x39 + 6039.72 x8 * x40 + 6145.44 x8 * x41 + 6207.76 x8 * x42 + 6174.56 x8 * x43 + 6113.32 x8 * x44 + 6215.28 x8 * x45 + 6098.96 x8 * x46 + 6066.76 x8 * x47 + 6262.24 x8 * x48 + 6258.96 x8 * x49 + 6334.84 x8 * x50 + 6137.36 x8 * x51 + 21.7496 x9^2 + 41.0164 x9 * x10 + 44.8332 x9 * x11 + 41.476 x9 * x12 + 34.85752 x9 * x13 + 40.8408 x9 * x14 + 40.0096 x9 * x15 + 42.4904 x9 * x16 + 42.1492 x9 * x17 + 43.2764 x9 * x18 + 40.3996 x9 * x19 + 33.7326 x9 * x20 + 37.6832 x9 * x21 + 6928 x9 * x22 + 5926 x9 * x23 + 5994.04 x9 * x24 + 6000.32 x9 * x25 + 6253 x9 * x26 + 6291.24 x9 * x27 + 6356.08 x9 * x28 + 5913.08 x9 * x29 + 6052.4 x9 * x30 + 6229.68 x9 * x31 + 5911 x9 * x32 + 6157.04 x9 * x33 + 6186 x9 * x34 + 6138.72 x9 * x35 + 6340.92 x9 * x36 + 6104.48 x9 * x37 + 6189.68 x9 * x38 + 5625.96 x9 * x39 + 6034.88 x9 * x40 + 6145.24 x9 * x41 + 6198.6 x9 * x42 + 6165.08 x9 * x43 + 6116 x9 * x44 + 6215.16 x9 * x45 + 6096.48 x9 * x46 + 6064.4 x9 * x47 + 6263.08 x9 * x48 + 6237.12 x9 * x49 + 6345.6 x9 * x50 + 6143.44 x9 * x51 + 26.4454 x10^2 + 37.17776 x10 * x11 + 46.7008 x10 * x12 + 39.13716 x10 * x13 + 45.7984 x10 * x14 + 36.28148 x10 * x15 + 40.8376 x10 * x16 + 38.29492 x10 * x17 + 41.3592 x10 * x18 + 39.83292 x10 * x19 + 38.93956 x10 * x20 + 29.40432 x10 * x21 + 6929.72 x10 * x22 + 5927.04 x10 * x23 + 5992.76 x10 * x24 + 5998.16 x10 * x25 + 6262.8 x10 * x26 + 6289.6 x10 * x27 + 6367 x10 * x28 + 5911.12 x10 * x29 + 6050.16 x10 * x30 + 6229.36 x10 * x31 + 5910.8 x10 * x32 + 6158.84 x10 * x33 + 6185.32 x10 * x34 + 6138.52 x10 * x35 + 6349.52 x10 * x36 + 6109.04 x10 * x37 + 6192.44 x10 * x38 + 5631.04 x10 * x39 + 6036.92 x10 * x40 + 6144.32 x10 * x41 + 6200.44 x10 * x42 + 6167.36 x10 * x43 + 6114.84 x10 * x44 + 6210.92 x10 * x45 + 6097.48 x10 * x46 + 6065.92 x10 * x47 + 6258.48 x10 * x48 + 6240.6 x10 * x49 + 6347.2 x10 * x50 + 6141.28 x10 * x51 + 42.9216 x11^2 + 39.03128 x11 * x12 + 52.6048 x11 * x13 + 35.62488 x11 * x14 + 57.62 x11 * x15 + 44.3464 x11 * x16 + 44.636 x11 * x17 + 42.26 x11 * x18 + 31.13948 x11 * x19 + 4.08412 x11 * x20 + 48.0384 x11 * x21 + 6919.72 x11 * x22 + 5914.52 x11 * x23 + 5994 x11 * x24 + 5999.84 x11 * x25 + 6238.88 x11 * x26 + 6290.36 x11 * x27 + 6350.4 x11 * x28 + 5912.76 x11 * x29 + 6054.48 x11 * x30 + 6218.24 x11 * x31 + 5904.68 x11 * x32 + 6151.04 x11 * x33 + 6186.24 x11 * x34 + 6138.84 x11 * x35 + 6336.32 x11 * x36 + 6116.6 x11 * x37 + 6183.72 x11 * x38 + 5642.4 x11 * x39 + 6045.2 x11 * x40 + 6143.4 x11 * x41 + 6184.12 x11 * x42 + 6164.8 x11 * x43 + 6118.88 x11 * x44 + 6214.4 x11 * x45 + 6094.32 x11 * x46 + 6057.68 x11 * x47 + 6265.32 x11 * x48 + 6228.92 x11 * x49 + 6344.04 x11 * x50 + 6140.64 x11 * x51 + 35.3874 x12^2 + 38.29588 x12 * x13 + 50.2032 x12 * x14 + 32.34232 x12 * x15 + 39.65748 x12 * x16 + 41.0852 x12 * x17 + 42.3468 x12 * x18 + 38.03412 x12 * x19 + 33.07952 x12 * x20 + 26.16288 x12 * x21 + 6934.76 x12 * x22 + 5929.04 x12 * x23 + 6003.72 x12 * x24 + 6002.08 x12 * x25 + 6251.88 x12 * x26 + 6295.08 x12 * x27 + 6376.12 x12 * x28 + 5908.72 x12 * x29 + 6050.28 x12 * x30 + 6231.72 x12 * x31 + 5912.88 x12 * x32 + 6163.76 x12 * x33 + 6185.4 x12 * x34 + 6138 x12 * x35 + 6337.56 x12 * x36 + 6101.72 x12 * x37 + 6198.4 x12 * x38 + 5653 x12 * x39 + 6049.16 x12 * x40 + 6142.96 x12 * x41 + 6195.84 x12 * x42 + 6164.16 x12 * x43 + 6113.72 x12 * x44 + 6218.2 x12 * x45 + 6095.76 x12 * x46 + 6064.76 x12 * x47 + 6265.08 x12 * x48 + 6238.16 x12 * x49 + 6345.8 x12 * x50 + 6151.08 x12 * x51 + 54.7278 x13^2 + 9.46816 x13 * x14 + 36.16792 x13 * x15 + 42.1132 x13 * x16 + 32.66004 x13 * x17 + 36.05808 x13 * x18 + 36.43536 x13 * x19 + 18.16856 x13 * x20 + 46.3924 x13 * x21 + 6926.32 x13 * x22 + 5923.72 x13 * x23 + 5991.72 x13 * x24 + 6000.6 x13 * x25 + 6258.32 x13 * x26 + 6278.44 x13 * x27 + 6373.12 x13 * x28 + 5892.04 x13 * x29 + 6053.16 x13 * x30 + 6228.96 x13 * x31 + 5913 x13 * x32 + 6153.2 x13 * x33 + 6184.92 x13 * x34 + 6138.12 x13 * x35 + 6325.8 x13 * x36 + 6120.84 x13 * x37 + 6192.96 x13 * x38 + 5635.24 x13 * x39 + 6041.76 x13 * x40 + 6146.84 x13 * x41 + 6183.48 x13 * x42 + 6161.36 x13 * x43 + 6121.64 x13 * x44 + 6212.84 x13 * x45 + 6097.08 x13 * x46 + 6075.56 x13 * x47 + 6267.56 x13 * x48 + 6229.16 x13 * x49 + 6337.2 x13 * x50 + 6146.6 x13 * x51 + 58.3612 x14^2 + 31.2202 x14 * x15 + 45.2532 x14 * x16 + 49.7384 x14 * x17 + 39.76092 x14 * x18 + 36.98712 x14 * x19 + 39.50944 x14 * x20 + 21.12136 x14 * x21 + 6929.04 x14 * x22 + 5913.72 x14 * x23 + 5995.88 x14 * x24 + 6002.4 x14 * x25 + 6251.8 x14 * x26 + 6298.2 x14 * x27 + 6364.16 x14 * x28 + 5922.2 x14 * x29 + 6053.6 x14 * x30 + 6264.52 x14 * x31 + 5910.84 x14 * x32 + 6168 x14 * x33 + 6187.88 x14 * x34 + 6137.76 x14 * x35 + 6354.8 x14 * x36 + 6130.92 x14 * x37 + 6194.72 x14 * x38 + 5644.12 x14 * x39 + 6049.88 x14 * x40 + 6141.48 x14 * x41 + 6197.36 x14 * x42 + 6170.12 x14 * x43 + 6110.32 x14 * x44 + 6214.64 x14 * x45 + 6095.76 x14 * x46 + 6071.04 x14 * x47 + 6258.48 x14 * x48 + 6224.24 x14 * x49 + 6337.2 x14 * x50 + 6149.8 x14 * x51 + 37.4084 x15^2 + 36.64484 x15 * x16 + 38.73096 x15 * x17 + 38.11008 x15 * x18 + 32.4896 x15 * x19 + 33.9678 x15 * x20 + 35.07628 x15 * x21 + 6921.76 x15 * x22 + 5917.8 x15 * x23 + 5991.8 x15 * x24 + 6003.88 x15 * x25 + 6250.84 x15 * x26 + 6284 x15 * x27 + 6340.48 x15 * x28 + 5920.84 x15 * x29 + 6055.32 x15 * x30 + 6207.72 x15 * x31 + 5901.76 x15 * x32 + 6151.4 x15 * x33 + 6188.08 x15 * x34 + 6139.12 x15 * x35 + 6354.04 x15 * x36 + 6109.24 x15 * x37 + 6189.32 x15 * x38 + 5625.44 x15 * x39 + 6031.44 x15 * x40 + 6146.68 x15 * x41 + 6183.72 x15 * x42 + 6155.8 x15 * x43 + 6117.04 x15 * x44 + 6217.2 x15 * x45 + 6095.6 x15 * x46 + 6062.2 x15 * x47 + 6277.16 x15 * x48 + 6232.4 x15 * x49 + 6353.96 x15 * x50 + 6143.76 x15 * x51 + 24.394 x16^2 + 42.798 x16 * x17 + 42.2844 x16 * x18 + 39.66964 x16 * x19 + 28.13816 x16 * x20 + 47.8944 x16 * x21 + 6929.32 x16 * x22 + 5925.28 x16 * x23 + 5993.12 x16 * x24 + 5997.4 x16 * x25 + 6253.16 x16 * x26 + 6291.28 x16 * x27 + 6363.08 x16 * x28 + 5910 x16 * x29 + 6052.68 x16 * x30 + 6236 x16 * x31 + 5914.84 x16 * x32 + 6158.04 x16 * x33 + 6185.92 x16 * x34 + 6138.32 x16 * x35 + 6334.64 x16 * x36 + 6110.32 x16 * x37 + 6188.48 x16 * x38 + 5624.4 x16 * x39 + 6042.2 x16 * x40 + 6146.76 x16 * x41 + 6197.32 x16 * x42 + 6166.36 x16 * x43 + 6116.72 x16 * x44 + 6214.84 x16 * x45 + 6096.32 x16 * x46 + 6062.4 x16 * x47 + 6257.84 x16 * x48 + 6229.48 x16 * x49 + 6340.44 x16 * x50 + 6142.88 x16 * x51 + 22.675 x17^2 + 41.6732 x17 * x18 + 36.472 x17 * x19 + 33.70984 x17 * x20 + 43.7972 x17 * x21 + 6930.08 x17 * x22 + 5924.72 x17 * x23 + 5992.4 x17 * x24 + 6002.72 x17 * x25 + 6251.92 x17 * x26 + 6290.36 x17 * x27 + 6359.08 x17 * x28 + 5916.56 x17 * x29 + 6053.6 x17 * x30 + 6232.72 x17 * x31 + 5912.56 x17 * x32 + 6158.32 x17 * x33 + 6186.88 x17 * x34 + 6138.48 x17 * x35 + 6338.44 x17 * x36 + 6107.56 x17 * x37 + 6189.48 x17 * x38 + 5631.64 x17 * x39 + 6038.88 x17 * x40 + 6144.84 x17 * x41 + 6195.8 x17 * x42 + 6164.28 x17 * x43 + 6115.36 x17 * x44 + 6216.56 x17 * x45 + 6096.32 x17 * x46 + 6064.64 x17 * x47 + 6264 x17 * x48 + 6234.68 x17 * x49 + 6338.8 x17 * x50 + 6142.72 x17 * x51 + 21.8956 x18^2 + 42.046 x18 * x19 + 34.75268 x18 * x20 + 35.60936 x18 * x21 + 6930 x18 * x22 + 5929.08 x18 * x23 + 5994 x18 * x24 + 6001.04 x18 * x25 + 6254.44 x18 * x26 + 6291.8 x18 * x27 + 6358.56 x18 * x28 + 5911.04 x18 * x29 + 6051.6 x18 * x30 + 6231.2 x18 * x31 + 5911.4 x18 * x32 + 6158.4 x18 * x33 + 6185.96 x18 * x34 + 6138.76 x18 * x35 + 6340.88 x18 * x36 + 6103.56 x18 * x37 + 6190.6 x18 * x38 + 5628.36 x18 * x39 + 6035.32 x18 * x40 + 6144.84 x18 * x41 + 6199.64 x18 * x42 + 6165.68 x18 * x43 + 6115.96 x18 * x44 + 6214.76 x18 * x45 + 6096.72 x18 * x46 + 6064.6 x18 * x47 + 6264.52 x18 * x48 + 6237 x18 * x49 + 6346.92 x18 * x50 + 6143.28 x18 * x51 + 32.8904 x19^2 + 43.7904 x19 * x20 + 20.5954 x19 * x21 + 6933.52 x19 * x22 + 5939.52 x19 * x23 + 6001.2 x19 * x24 + 5998.76 x19 * x25 + 6269.48 x19 * x26 + 6287.92 x19 * x27 + 6366.28 x19 * x28 + 5908.64 x19 * x29 + 6053.36 x19 * x30 + 6243.48 x19 * x31 + 5914.4 x19 * x32 + 6161.2 x19 * x33 + 6184.56 x19 * x34 + 6139.08 x19 * x35 + 6355 x19 * x36 + 6098.56 x19 * x37 + 6192.04 x19 * x38 + 5625.92 x19 * x39 + 6026.6 x19 * x40 + 6145.64 x19 * x41 + 6214.24 x19 * x42 + 6162.12 x19 * x43 + 6117.04 x19 * x44 + 6207.52 x19 * x45 + 6098.2 x19 * x46 + 6067.8 x19 * x47 + 6265.52 x19 * x48 + 6229.4 x19 * x49 + 6354.04 x19 * x50 + 6145.08 x19 * x51 + 52.1594 x20^2 + 16.68156 x20 * x21 + 6930.04 x20 * x22 + 5935 x20 * x23 + 5986.08 x20 * x24 + 5995.4 x20 * x25 + 6272.96 x20 * x26 + 6286.84 x20 * x27 + 6364.6 x20 * x28 + 5918 x20 * x29 + 6054.32 x20 * x30 + 6238.72 x20 * x31 + 5918 x20 * x32 + 6160.36 x20 * x33 + 6187 x20 * x34 + 6139.16 x20 * x35 + 6349.44 x20 * x36 + 6085.96 x20 * x37 + 6202.8 x20 * x38 + 5602.4 x20 * x39 + 6013.92 x20 * x40 + 6149.56 x20 * x41 + 6201.28 x20 * x42 + 6155.92 x20 * x43 + 6110.16 x20 * x44 + 6207.28 x20 * x45 + 6099.32 x20 * x46 + 6076.4 x20 * x47 + 6261.92 x20 * x48 + 6253.48 x20 * x49 + 6356.04 x20 * x50 + 6139.88 x20 * x51 + 67.0936 x21^2 + 6924.48 x21 * x22 + 5910.6 x21 * x23 + 5983.76 x21 * x24 + 6000.68 x21 * x25 + 6250.96 x21 * x26 + 6271.36 x21 * x27 + 6349.32 x21 * x28 + 5933.2 x21 * x29 + 6059.28 x21 * x30 + 6182.4 x21 * x31 + 5918.76 x21 * x32 + 6148.84 x21 * x33 + 6187.6 x21 * x34 + 6137.44 x21 * x35 + 6313.4 x21 * x36 + 6107.64 x21 * x37 + 6179.08 x21 * x38 + 5608.6 x21 * x39 + 6036.12 x21 * x40 + 6149.56 x21 * x41 + 6182.08 x21 * x42 + 6161.64 x21 * x43 + 6125.2 x21 * x44 + 6226.04 x21 * x45 + 6095.56 x21 * x46 + 6073.6 x21 * x47 + 6265.12 x21 * x48 + 6236.72 x21 * x49 + 6305.72 x21 * x50 + 6145.84 x21 * x51 + 2729.7 x22^2 + 6068.08 x22 * x23 + 6234.52 x22 * x24 + 6081.68 x22 * x25 + 6252.64 x22 * x26 + 6046.2 x22 * x27 + 6155.32 x22 * x28 + 6294.52 x22 * x29 + 6113.24 x22 * x30 + 6170.32 x22 * x31 + 6245.24 x22 * x32 + 6184.92 x22 * x33 + 6133.36 x22 * x34 + 6138.52 x22 * x35 + 6199.2 x22 * x36 + 6224.28 x22 * x37 + 6152.72 x22 * x38 + 5953.28 x22 * x39 + 6109.84 x22 * x40 + 6140 x22 * x41 + 6181.48 x22 * x42 + 6112.2 x22 * x43 + 6163.64 x22 * x44 + 6140.92 x22 * x45 + 6153.84 x22 * x46 + 6080.6 x22 * x47 + 5975.24 x22 * x48 + 6055.36 x22 * x49 + 6144.68 x22 * x50 + 6127.76 x22 * x51 + 2678.68 x23^2 + 6149 x23 * x24 + 6180 x23 * x25 + 5821.52 x23 * x26 + 6034.68 x23 * x27 + 6565.8 x23 * x28 + 6328.52 x23 * x29 + 6114.88 x23 * x30 + 5971.24 x23 * x31 + 6222.64 x23 * x32 + 6143.48 x23 * x33 + 6148.12 x23 * x34 + 6144.88 x23 * x35 + 5906.12 x23 * x36 + 6092.2 x23 * x37 + 6101.24 x23 * x38 + 6010.4 x23 * x39 + 6030.64 x23 * x40 + 6170.72 x23 * x41 + 6258.92 x23 * x42 + 6176.76 x23 * x43 + 6128.8 x23 * x44 + 6064.36 x23 * x45 + 6136.52 x23 * x46 + 6076.44 x23 * x47 + 6131.12 x23 * x48 + 6103.28 x23 * x49 + 6126.04 x23 * x50 + 6067.48 x23 * x51 + 2956.52 x24^2 + 6207.64 x24 * x25 + 6197.12 x24 * x26 + 6066.44 x24 * x27 + 5977.96 x24 * x28 + 6051.04 x24 * x29 + 6140.16 x24 * x30 + 6130.6 x24 * x31 + 6149.24 x24 * x32 + 6136.48 x24 * x33 + 6148.96 x24 * x34 + 6144.84 x24 * x35 + 6154.4 x24 * x36 + 6088.44 x24 * x37 + 6139.28 x24 * x38 + 6176.56 x24 * x39 + 6130 x24 * x40 + 6137.68 x24 * x41 + 6044.24 x24 * x42 + 6145.08 x24 * x43 + 6135.2 x24 * x44 + 6149.32 x24 * x45 + 6133.64 x24 * x46 + 6132.56 x24 * x47 + 6176 x24 * x48 + 6144.92 x24 * x49 + 6226.16 x24 * x50 + 6132.44 x24 * x51 + 2960.12 x25^2 + 6142.52 x25 * x26 + 6203.28 x25 * x27 + 6010.52 x25 * x28 + 6161.24 x25 * x29 + 6167.56 x25 * x30 + 6196.36 x25 * x31 + 6128.48 x25 * x32 + 6177.8 x25 * x33 + 6144.96 x25 * x34 + 6141.36 x25 * x35 + 6144.2 x25 * x36 + 6263.28 x25 * x37 + 6176.28 x25 * x38 + 6223.48 x25 * x39 + 6176.12 x25 * x40 + 6139.64 x25 * x41 + 6083.76 x25 * x42 + 6114.88 x25 * x43 + 6163.28 x25 * x44 + 6149.08 x25 * x45 + 6145.72 x25 * x46 + 6109.44 x25 * x47 + 6159.32 x25 * x48 + 6141.56 x25 * x49 + 6137.08 x25 * x50 + 6165.48 x25 * x51 + 2773.22 x26^2 + 6312.08 x26 * x27 + 6460.92 x26 * x28 + 6107.4 x26 * x29 + 6198.28 x26 * x30 + 6012.8 x26 * x31 + 6117.08 x26 * x32 + 6120.88 x26 * x33 + 6151.24 x26 * x34 + 6146.72 x26 * x35 + 5972.12 x26 * x36 + 6170.4 x26 * x37 + 6119.68 x26 * x38 + 6136.28 x26 * x39 + 6187.08 x26 * x40 + 6157 x26 * x41 + 6136.56 x26 * x42 + 6241.56 x26 * x43 + 6119.8 x26 * x44 + 6055.52 x26 * x45 + 6147.44 x26 * x46 + 6121.24 x26 * x47 + 6206.68 x26 * x48 + 6173.84 x26 * x49 + 6123.08 x26 * x50 + 6119.2 x26 * x51 + 2799.7 x27^2 + 6073.4 x27 * x28 + 6194.36 x27 * x29 + 6161.56 x27 * x30 + 6097.08 x27 * x31 + 6117.28 x27 * x32 + 6149.48 x27 * x33 + 6137.56 x27 * x34 + 6136.28 x27 * x35 + 6203.68 x27 * x36 + 6136.44 x27 * x37 + 6153.28 x27 * x38 + 6210.72 x27 * x39 + 6140.2 x27 * x40 + 6139.76 x27 * x41 + 6256.36 x27 * x42 + 6096.16 x27 * x43 + 6155.04 x27 * x44 + 6127.56 x27 * x45 + 6137.88 x27 * x46 + 6219.96 x27 * x47 + 6132.92 x27 * x48 + 6126.6 x27 * x49 + 6185.12 x27 * x50 + 6081.32 x27 * x51 + 2621.7 x28^2 + 5954.8 x28 * x29 + 6201.4 x28 * x30 + 6203 x28 * x31 + 6167.36 x28 * x32 + 6079.04 x28 * x33 + 6145.92 x28 * x34 + 6143.16 x28 * x35 + 6321.92 x28 * x36 + 6332.76 x28 * x37 + 6226.92 x28 * x38 + 6381.24 x28 * x39 + 6202.8 x28 * x40 + 6107.16 x28 * x41 + 5908.36 x28 * x42 + 6053.48 x28 * x43 + 6186.28 x28 * x44 + 6115.32 x28 * x45 + 6154.24 x28 * x46 + 6212.32 x28 * x47 + 6083.76 x28 * x48 + 6186.84 x28 * x49 + 6172.64 x28 * x50 + 6151.56 x28 * x51 + 2966.48 x29^2 + 6189.6 x29 * x30 + 6148.72 x29 * x31 + 6085.24 x29 * x32 + 6117.96 x29 * x33 + 6157.16 x29 * x34 + 6142.76 x29 * x35 + 6173.92 x29 * x36 + 6226.36 x29 * x37 + 6143.52 x29 * x38 + 6151.04 x29 * x39 + 6206.6 x29 * x40 + 6132.8 x29 * x41 + 6080.44 x29 * x42 + 6125.44 x29 * x43 + 6136.72 x29 * x44 + 6171.84 x29 * x45 + 6147.2 x29 * x46 + 6185.44 x29 * x47 + 6204.32 x29 * x48 + 6127.92 x29 * x49 + 6120.4 x29 * x50 + 6185.52 x29 * x51 + 3050.86 x30^2 + 6128.92 x30 * x31 + 6159.76 x30 * x32 + 6145.52 x30 * x33 + 6140.6 x30 * x34 + 6142.64 x30 * x35 + 6169.36 x30 * x36 + 6087 x30 * x37 + 6135.92 x30 * x38 + 6072 x30 * x39 + 6131.56 x30 * x40 + 6147.24 x30 * x41 + 6159.24 x30 * x42 + 6147.76 x30 * x43 + 6142.92 x30 * x44 + 6162.88 x30 * x45 + 6140.2 x30 * x46 + 6128.04 x30 * x47 + 6151.44 x30 * x48 + 6128.08 x30 * x49 + 6152.28 x30 * x50 + 6135.8 x30 * x51 + 2929.18 x31^2 + 6186.48 x31 * x32 + 6138.76 x31 * x33 + 6141.52 x31 * x34 + 6143.44 x31 * x35 + 6130.2 x31 * x36 + 6140.88 x31 * x37 + 6157.88 x31 * x38 + 6110.6 x31 * x39 + 6149.68 x31 * x40 + 6151.04 x31 * x41 + 6201.04 x31 * x42 + 6158.6 x31 * x43 + 6119.36 x31 * x44 + 6129.36 x31 * x45 + 6138.36 x31 * x46 + 6137.56 x31 * x47 + 6145.08 x31 * x48 + 6177.76 x31 * x49 + 6204.76 x31 * x50 + 6113.2 x31 * x51 + 3017.64 x32^2 + 6132.64 x32 * x33 + 6148.36 x32 * x34 + 6140.44 x32 * x35 + 6240.2 x32 * x36 + 6213.6 x32 * x37 + 6133.6 x32 * x38 + 6166.16 x32 * x39 + 6219.16 x32 * x40 + 6138.04 x32 * x41 + 6146.44 x32 * x42 + 6159.84 x32 * x43 + 6140.12 x32 * x44 + 6130.68 x32 * x45 + 6143.12 x32 * x46 + 6182.96 x32 * x47 + 6127.16 x32 * x48 + 6192.2 x32 * x49 + 6161.4 x32 * x50 + 6147.72 x32 * x51 + 3055.3 x33^2 + 6145.96 x33 * x34 + 6143.6 x33 * x35 + 6129.68 x33 * x36 + 6166.92 x33 * x37 + 6146.6 x33 * x38 + 6167.6 x33 * x39 + 6152.52 x33 * x40 + 6128.68 x33 * x41 + 6127.68 x33 * x42 + 6142.36 x33 * x43 + 6141.44 x33 * x44 + 6131.44 x33 * x45 + 6144.2 x33 * x46 + 6154.84 x33 * x47 + 6127.88 x33 * x48 + 6150.48 x33 * x49 + 6130.68 x33 * x50 + 6147.92 x33 * x51 + 3069.96 x34^2 + 6142.84 x34 * x35 + 6150.04 x34 * x36 + 6127.72 x34 * x37 + 6145.24 x34 * x38 + 6134.68 x34 * x39 + 6136.72 x34 * x40 + 6142.92 x34 * x41 + 6149.8 x34 * x42 + 6142.6 x34 * x43 + 6141.72 x34 * x44 + 6139.92 x34 * x45 + 6141.96 x34 * x46 + 6144.72 x34 * x47 + 6153 x34 * x48 + 6143.12 x34 * x49 + 6148.2 x34 * x50 + 6142.04 x34 * x51 + 3071.08 x35^2 + 6145.84 x35 * x36 + 6145.32 x35 * x37 + 6143.36 x35 * x38 + 6144.24 x35 * x39 + 6144.72 x35 * x40 + 6143.84 x35 * x41 + 6144.2 x35 * x42 + 6141.4 x35 * x43 + 6143.12 x35 * x44 + 6141.88 x35 * x45 + 6142.92 x35 * x46 + 6142.76 x35 * x47 + 6140.56 x35 * x48 + 6142.4 x35 * x49 + 6142.4 x35 * x50 + 6141.6 x35 * x51 + 2869.84 x36^2 + 6120.12 x36 * x37 + 6120.6 x36 * x38 + 6311.68 x36 * x39 + 6063 x36 * x40 + 6128.36 x36 * x41 + 6061.36 x36 * x42 + 6161.84 x36 * x43 + 6140.92 x36 * x44 + 6163.72 x36 * x45 + 6147.24 x36 * x46 + 6054.56 x36 * x47 + 6129.52 x36 * x48 + 6165.52 x36 * x49 + 6099.16 x36 * x50 + 6101.04 x36 * x51 + 2942.68 x37^2 + 6118.96 x37 * x38 + 6054.96 x37 * x39 + 6079.68 x37 * x40 + 6153.44 x37 * x41 + 6147.16 x37 * x42 + 6181.88 x37 * x43 + 6128.64 x37 * x44 + 6147.16 x37 * x45 + 6128.56 x37 * x46 + 6131.04 x37 * x47 + 6217.56 x37 * x48 + 6134.8 x37 * x49 + 6187.08 x37 * x50 + 6099.2 x37 * x51 + 3057.68 x38^2 + 6120.48 x38 * x39 + 6135.52 x38 * x40 + 6147.32 x38 * x41 + 6157.44 x38 * x42 + 6142.92 x38 * x43 + 6135.48 x38 * x44 + 6153.88 x38 * x45 + 6142.04 x38 * x46 + 6157.24 x38 * x47 + 6127.36 x38 * x48 + 6132 x38 * x49 + 6135.6 x38 * x50 + 6133.52 x38 * x51 + 2834.06 x39^2 + 6118.16 x39 * x40 + 6133.56 x39 * x41 + 6213.96 x39 * x42 + 6140.4 x39 * x43 + 6123.72 x39 * x44 + 6105.32 x39 * x45 + 6133.4 x39 * x46 + 6140.28 x39 * x47 + 6208.12 x39 * x48 + 6061.88 x39 * x49 + 6223.4 x39 * x50 + 6108.64 x39 * x51 + 3026.64 x40^2 + 6143.84 x40 * x41 + 6134.56 x40 * x42 + 6138.72 x40 * x43 + 6137.52 x40 * x44 + 6135.56 x40 * x45 + 6136.52 x40 * x46 + 6117.8 x40 * x47 + 6110.2 x40 * x48 + 6150.04 x40 * x49 + 6127.32 x40 * x50 + 6114.96 x40 * x51 + 3062.4 x41^2 + 6142.04 x41 * x42 + 6133.48 x41 * x43 + 6142.12 x41 * x44 + 6141.84 x41 * x45 + 6143.32 x41 * x46 + 6146.36 x41 * x47 + 6141.76 x41 * x48 + 6146.24 x41 * x49 + 6151.2 x41 * x50 + 6155.44 x41 * x51 + 2983.66 x42^2 + 6142.8 x42 * x43 + 6154.88 x42 * x44 + 6124.92 x42 * x45 + 6142.64 x42 * x46 + 6098 x42 * x47 + 6155.08 x42 * x48 + 6157.2 x42 * x49 + 6182.88 x42 * x50 + 6120.4 x42 * x51 + 3050.7 x43^2 + 6147.56 x43 * x44 + 6145.36 x43 * x45 + 6143.76 x43 * x46 + 6160.56 x43 * x47 + 6111.8 x43 * x48 + 6128.24 x43 * x49 + 6122.16 x43 * x50 + 6139.6 x43 * x51 + 3068.32 x44^2 + 6145.48 x44 * x45 + 6141.32 x44 * x46 + 6148.96 x44 * x47 + 6156.96 x44 * x48 + 6149.8 x44 * x49 + 6144.8 x44 * x50 + 6149.12 x44 * x51 + 3033.66 x45^2 + 6141.52 x45 * x46 + 6168.44 x45 * x47 + 6167.96 x45 * x48 + 6176.32 x45 * x49 + 6163 x45 * x50 + 6131.92 x45 * x51 + 3070.66 x46^2 + 6142.12 x46 * x47 + 6147.6 x46 * x48 + 6145.2 x46 * x49 + 6149.52 x46 * x50 + 6137.92 x46 * x51 + 3047.18 x47^2 + 6144.32 x47 * x48 + 6123.52 x47 * x49 + 6142.64 x47 * x50 + 6145.88 x47 * x51 + 3007.34 x48^2 + 6149.8 x48 * x49 + 6093.52 x48 * x50 + 6159.56 x48 * x51 + 3042.54 x49^2 + 6104.96 x49 * x50 + 6143.72 x49 * x51 + 3024.62 x50^2 + 6178.4 x50 * x51 + 3056.5 x51^2 ]/2 Subject To e2: x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 + x13 + x14 + x15 + x16 + x17 + x18 + x19 + x20 + x21 + x22 + x23 + x24 + x25 + x26 + x27 + x28 + x29 + x30 + x31 + x32 + x33 + x34 + x35 + x36 + x37 + x38 + x39 + x40 + x41 + x42 + x43 + x44 + x45 + x46 + x47 + x48 + x49 + x50 + x51 = 1 e3: b52 + b53 + b54 + b55 + b56 + b57 + b58 + b59 + b60 + b61 + b62 + b63 + b64 + b65 + b66 + b67 + b68 + b69 + b70 + b71 + b72 + b73 + b74 + b75 + b76 + b77 + b78 + b79 + b80 + b81 + b82 + b83 + b84 + b85 + b86 + b87 + b88 + b89 + b90 + b91 + b92 + b93 + b94 + b95 + b96 + b97 + b98 + b99 + b100 + b101 <= 5 e4: x2 - b52 <= 0 e5: x3 - b53 <= 0 e6: x4 - b54 <= 0 e7: x5 - b55 <= 0 e8: x6 - b56 <= 0 e9: x7 - b57 <= 0 e10: x8 - b58 <= 0 e11: x9 - b59 <= 0 e12: x10 - b60 <= 0 e13: x11 - b61 <= 0 e14: x12 - b62 <= 0 e15: x13 - b63 <= 0 e16: x14 - b64 <= 0 e17: x15 - b65 <= 0 e18: x16 - b66 <= 0 e19: x17 - b67 <= 0 e20: x18 - b68 <= 0 e21: x19 - b69 <= 0 e22: x20 - b70 <= 0 e23: x21 - b71 <= 0 e24: x22 - b72 <= 0 e25: x23 - b73 <= 0 e26: x24 - b74 <= 0 e27: x25 - b75 <= 0 e28: x26 - b76 <= 0 e29: x27 - b77 <= 0 e30: x28 - b78 <= 0 e31: x29 - b79 <= 0 e32: x30 - b80 <= 0 e33: x31 - b81 <= 0 e34: x32 - b82 <= 0 e35: x33 - b83 <= 0 e36: x34 - b84 <= 0 e37: x35 - b85 <= 0 e38: x36 - b86 <= 0 e39: x37 - b87 <= 0 e40: x38 - b88 <= 0 e41: x39 - b89 <= 0 e42: x40 - b90 <= 0 e43: x41 - b91 <= 0 e44: x42 - b92 <= 0 e45: x43 - b93 <= 0 e46: x44 - b94 <= 0 e47: x45 - b95 <= 0 e48: x46 - b96 <= 0 e49: x47 - b97 <= 0 e50: x48 - b98 <= 0 e51: x49 - b99 <= 0 e52: x50 - b100 <= 0 e53: x51 - b101 <= 0 Binary b52 b53 b54 b55 b56 b57 b58 b59 b60 b61 b62 b63 b64 b65 b66 b67 b68 b69 b70 b71 b72 b73 b74 b75 b76 b77 b78 b79 b80 b81 b82 b83 b84 b85 b86 b87 b88 b89 b90 b91 b92 b93 b94 b95 b96 b97 b98 b99 b100 b101 End