\ Equation counts \ Total E G L N X C B \ 480 0 0 480 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 90 0 90 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 1530 1440 90 0 \ Minimize obj: 2 b2 - 5 b3 + 5 b4 + 5 b5 - 6 b6 - 12 b7 + 2 b8 - 4 b9 + 4 b10 + b11 - 6 b12 - 7 b13 + 5 b14 - 2 b15 - b16 - 7 b17 + 6 b18 - 5 b19 + b20 + 2 b21 - 4 b22 + 5 b23 - 3 b24 - 13 b25 - 3 b26 + b27 - 8 b28 - 2 b29 - 7 b30 + 6 b31 + 9 b32 + 2 b33 + 13 b34 + 2 b35 + b36 - 5 b37 + 2 b38 - 3 b39 - 10 b40 - b41 - 4 b42 + 9 b43 + 3 b44 - 7 b45 + 14 b46 - 3 b47 + 16 b48 + 12 b49 - 13 b50 + 18 b51 - 3 b52 + 9 b53 - 9 b54 + 8 b55 - 6 b56 + 9 b57 - 10 b58 + 16 b59 - 2 b60 + 5 b61 - 18 b62 - 9 b63 + b64 - 7 b65 - 4 b66 - 8 b67 + b68 - 14 b69 + 11 b70 - b71 + 2 b72 + 10 b73 - 8 b74 - 10 b75 - 6 b76 - 10 b77 - 17 b78 + b79 - b80 + 9 b81 - 6 b82 - 2 b83 + 5 b84 - 7 b85 + 10 b86 - 7 b87 - 15 b88 + 0 b89 + 0 b90 + 0 b91 + [ - 4 b2 * b47 + 4 b2 * b50 - 4 b2 * b58 - 4 b2 * b60 + 4 b2 * b62 + 4 b2 * b63 + 4 b2 * b64 + 4 b2 * b65 + 4 b2 * b66 + 4 b2 * b69 - 4 b2 * b70 - 4 b2 * b71 - 4 b2 * b72 - 4 b2 * b73 - 4 b2 * b77 + 4 b2 * b78 - 4 b2 * b80 - 4 b2 * b81 + 4 b2 * b82 - 4 b2 * b83 - 4 b2 * b84 + 4 b2 * b85 + 4 b2 * b87 + 4 b2 * b88 - 4 b2 * b89 - 4 b2 * b90 - 4 b3 * b47 + 4 b3 * b54 + 4 b3 * b56 - 4 b3 * b58 - 4 b3 * b60 + 4 b3 * b62 + 4 b3 * b63 + 4 b3 * b64 + 4 b3 * b65 + 4 b3 * b66 + 4 b3 * b69 + 4 b3 * b71 + 4 b3 * b72 - 4 b3 * b73 + 4 b3 * b74 + 4 b3 * b75 + 4 b3 * b76 - 4 b3 * b77 + 4 b3 * b78 - 4 b3 * b80 - 4 b3 * b81 - 4 b3 * b83 - 4 b3 * b84 + 4 b3 * b87 + 4 b3 * b88 - 4 b3 * b89 - 4 b3 * b90 + 4 b4 * b50 - 4 b4 * b54 - 4 b4 * b56 + 4 b4 * b63 - 4 b4 * b65 - 4 b4 * b66 - 4 b4 * b70 - 4 b4 * b71 - 4 b4 * b72 - 4 b4 * b73 - 4 b4 * b75 - 4 b4 * b76 + 4 b4 * b80 + 4 b4 * b81 + 4 b4 * b83 + 4 b4 * b84 - 4 b4 * b89 - 4 b5 * b46 - 4 b5 * b48 + 4 b5 * b50 - 4 b5 * b51 - 4 b5 * b53 - 4 b5 * b54 - 4 b5 * b55 - 4 b5 * b56 - 4 b5 * b57 - 4 b5 * b59 + 4 b5 * b62 + 4 b5 * b63 - 4 b5 * b65 - 4 b5 * b66 + 4 b5 * b69 - 4 b5 * b70 - 4 b5 * b71 - 4 b5 * b72 - 4 b5 * b73 - 4 b5 * b75 - 4 b5 * b76 + 4 b5 * b78 + 4 b5 * b80 + 4 b5 * b81 + 4 b5 * b82 + 4 b5 * b83 + 4 b5 * b84 + 4 b5 * b85 + 4 b5 * b87 + 4 b5 * b88 - 4 b5 * b89 + 4 b6 * b47 + 4 b6 * b50 + 4 b6 * b52 + 4 b6 * b54 + 4 b6 * b56 + 4 b6 * b60 + 4 b6 * b62 + 4 b6 * b63 - 4 b6 * b67 + 4 b6 * b69 - 4 b6 * b70 - 4 b6 * b71 - 4 b6 * b72 - 4 b6 * b73 - 4 b6 * b77 + 4 b6 * b78 - 4 b6 * b80 + 4 b6 * b82 - 4 b6 * b83 + 4 b6 * b85 + 4 b6 * b86 + 4 b6 * b87 + 4 b6 * b88 - 4 b6 * b89 + 4 b7 * b47 + 4 b7 * b50 + 4 b7 * b52 + 4 b7 * b54 + 4 b7 * b56 + 4 b7 * b60 + 4 b7 * b62 + 4 b7 * b65 + 4 b7 * b66 - 4 b7 * b67 + 4 b7 * b69 + 4 b7 * b71 + 4 b7 * b72 + 4 b7 * b74 + 4 b7 * b75 + 4 b7 * b76 - 4 b7 * b77 + 4 b7 * b78 - 4 b7 * b80 - 4 b7 * b81 - 4 b7 * b83 - 4 b7 * b84 + 4 b7 * b86 + 4 b7 * b87 + 4 b7 * b88 - 4 b7 * b89 - 4 b8 * b46 - 4 b8 * b48 + 4 b8 * b50 - 4 b8 * b51 + 4 b8 * b52 - 4 b8 * b53 + 4 b8 * b54 - 4 b8 * b55 - 4 b8 * b57 + 4 b8 * b58 - 4 b8 * b59 + 4 b8 * b60 + 4 b8 * b63 + 4 b8 * b64 + 4 b8 * b65 + 4 b8 * b67 + 4 b8 * b68 - 4 b8 * b70 - 4 b8 * b71 - 4 b8 * b72 - 4 b8 * b73 - 4 b8 * b76 - 4 b8 * b79 + 4 b8 * b83 + 4 b8 * b84 - 4 b8 * b89 - 4 b9 * b46 - 4 b9 * b48 - 4 b9 * b49 + 4 b9 * b50 - 4 b9 * b51 + 4 b9 * b52 + 4 b9 * b54 - 4 b9 * b57 + 4 b9 * b58 - 4 b9 * b59 + 4 b9 * b60 + 4 b9 * b63 + 4 b9 * b64 + 4 b9 * b65 + 4 b9 * b67 + 4 b9 * b68 + 4 b9 * b71 + 4 b9 * b75 - 4 b9 * b80 - 4 b9 * b81 - 4 b10 * b46 - 4 b10 * b48 - 4 b10 * b51 - 4 b10 * b52 - 4 b10 * b53 - 4 b10 * b55 - 4 b10 * b57 - 4 b10 * b59 - 4 b10 * b60 + 4 b10 * b62 - 4 b10 * b64 - 4 b10 * b68 + 4 b10 * b69 + 4 b10 * b75 + 4 b10 * b76 + 4 b10 * b77 + 4 b10 * b78 - 4 b10 * b81 + 4 b10 * b82 - 4 b10 * b84 + 4 b10 * b85 - 4 b10 * b86 + 4 b10 * b87 + 4 b10 * b88 - 4 b11 * b46 - 4 b11 * b48 - 4 b11 * b49 - 4 b11 * b50 - 4 b11 * b51 - 4 b11 * b52 + 4 b11 * b54 + 4 b11 * b56 - 4 b11 * b57 - 4 b11 * b59 - 4 b11 * b60 + 4 b11 * b62 - 4 b11 * b63 - 4 b11 * b64 + 4 b11 * b65 + 4 b11 * b66 - 4 b11 * b68 + 4 b11 * b69 + 4 b11 * b71 + 4 b11 * b72 + 4 b11 * b74 + 4 b11 * b75 + 4 b11 * b76 + 4 b11 * b77 + 4 b11 * b78 - 4 b11 * b80 - 4 b11 * b81 - 4 b11 * b83 - 4 b11 * b84 - 4 b11 * b86 + 4 b11 * b87 + 4 b11 * b88 + 4 b11 * b89 + 4 b12 * b50 - 4 b12 * b52 - 4 b12 * b54 + 4 b12 * b62 + 4 b12 * b63 - 4 b12 * b64 - 4 b12 * b65 + 4 b12 * b69 - 4 b12 * b70 - 4 b12 * b71 - 4 b12 * b72 - 4 b12 * b73 + 4 b12 * b76 + 4 b12 * b77 + 4 b12 * b78 + 4 b12 * b79 + 4 b12 * b80 + 4 b12 * b81 + 4 b12 * b82 + 4 b12 * b85 + 4 b12 * b87 + 4 b12 * b88 - 4 b12 * b89 + 4 b12 * b90 - 4 b13 * b52 + 4 b13 * b56 + 4 b13 * b62 - 4 b13 * b64 + 4 b13 * b66 + 4 b13 * b69 - 4 b13 * b70 + 4 b13 * b72 + 4 b13 * b74 + 4 b13 * b76 + 4 b13 * b77 + 4 b13 * b78 - 4 b13 * b83 - 4 b13 * b84 + 4 b13 * b87 + 4 b13 * b88 + 4 b13 * b90 - 4 b14 * b46 - 4 b14 * b48 + 4 b14 * b50 - 4 b14 * b51 - 4 b14 * b53 - 4 b14 * b55 - 4 b14 * b56 - 4 b14 * b57 - 4 b14 * b59 + 4 b14 * b62 + 4 b14 * b63 - 4 b14 * b66 + 4 b14 * b69 - 4 b14 * b70 - 4 b14 * b71 - 4 b14 * b72 - 4 b14 * b73 - 4 b14 * b76 + 4 b14 * b78 - 4 b14 * b79 + 4 b14 * b82 + 4 b14 * b83 + 4 b14 * b84 + 4 b14 * b85 + 4 b14 * b87 + 4 b14 * b88 - 4 b14 * b89 - 4 b15 * b46 - 4 b15 * b48 - 4 b15 * b49 - 4 b15 * b51 + 4 b15 * b54 - 4 b15 * b57 - 4 b15 * b59 + 4 b15 * b62 + 4 b15 * b65 + 4 b15 * b69 + 4 b15 * b71 + 4 b15 * b74 + 4 b15 * b75 + 4 b15 * b78 - 4 b15 * b80 - 4 b15 * b81 + 4 b15 * b87 + 4 b15 * b88 - 4 b16 * b46 - 4 b16 * b48 + 4 b16 * b50 - 4 b16 * b51 + 4 b16 * b52 - 4 b16 * b53 + 4 b16 * b54 - 4 b16 * b55 + 4 b16 * b56 - 4 b16 * b57 + 4 b16 * b58 - 4 b16 * b59 + 4 b16 * b62 + 4 b16 * b63 + 4 b16 * b64 + 4 b16 * b65 + 4 b16 * b66 + 4 b16 * b67 + 4 b16 * b69 - 4 b16 * b70 - 4 b16 * b71 - 4 b16 * b72 - 4 b16 * b73 + 4 b16 * b78 - 4 b16 * b81 + 4 b16 * b82 - 4 b16 * b84 + 4 b16 * b85 - 4 b16 * b86 + 4 b16 * b87 + 4 b16 * b88 - 4 b16 * b89 - 4 b16 * b90 - 4 b17 * b46 - 4 b17 * b48 - 4 b17 * b49 + 4 b17 * b50 - 4 b17 * b51 + 4 b17 * b52 + 4 b17 * b54 + 4 b17 * b56 - 4 b17 * b57 + 4 b17 * b58 - 4 b17 * b59 + 4 b17 * b62 + 4 b17 * b63 + 4 b17 * b64 + 4 b17 * b65 + 4 b17 * b66 + 4 b17 * b67 + 4 b17 * b69 + 4 b17 * b71 + 4 b17 * b72 - 4 b17 * b73 + 4 b17 * b74 + 4 b17 * b75 + 4 b17 * b76 + 4 b17 * b78 - 4 b17 * b80 - 4 b17 * b81 - 4 b17 * b83 - 4 b17 * b84 - 4 b17 * b86 + 4 b17 * b87 + 4 b17 * b88 - 4 b17 * b90 + 4 b18 * b47 - 4 b18 * b48 - 4 b18 * b49 - 4 b18 * b51 - 4 b18 * b53 - 4 b18 * b54 - 4 b18 * b55 - 4 b18 * b56 + 4 b18 * b58 + 4 b18 * b60 - 4 b18 * b61 - 4 b18 * b63 - 4 b18 * b64 - 4 b18 * b65 - 4 b18 * b66 - 4 b18 * b69 - 4 b18 * b71 - 4 b18 * b72 + 4 b18 * b73 - 4 b18 * b75 - 4 b18 * b76 + 4 b18 * b77 + 4 b18 * b80 + 4 b18 * b81 + 4 b18 * b82 + 4 b18 * b83 + 4 b18 * b84 + 4 b18 * b85 - 4 b18 * b87 - 4 b18 * b88 + 4 b18 * b89 + 4 b18 * b90 + 4 b19 * b47 + 4 b19 * b50 + 4 b19 * b52 + 4 b19 * b54 + 4 b19 * b56 + 4 b19 * b60 + 4 b19 * b62 - 4 b19 * b63 - 4 b19 * b64 - 4 b19 * b65 - 4 b19 * b66 - 4 b19 * b69 + 4 b19 * b73 + 4 b19 * b81 + 4 b19 * b84 - 4 b19 * b88 + 4 b19 * b90 - 4 b20 * b48 - 4 b20 * b49 + 4 b20 * b50 - 4 b20 * b51 + 4 b20 * b52 - 4 b20 * b53 + 4 b20 * b54 - 4 b20 * b55 + 4 b20 * b58 + 4 b20 * b60 - 4 b20 * b61 - 4 b20 * b72 + 4 b20 * b73 - 4 b20 * b74 - 4 b20 * b76 + 4 b20 * b77 - 4 b20 * b78 - 4 b20 * b79 + 4 b20 * b80 + 4 b20 * b81 - 4 b20 * b82 + 4 b20 * b83 + 4 b20 * b84 - 4 b20 * b87 - 4 b20 * b88 + 4 b20 * b89 + 4 b20 * b90 + 4 b21 * b47 - 4 b21 * b48 - 4 b21 * b49 - 4 b21 * b50 - 4 b21 * b51 - 4 b21 * b52 - 4 b21 * b53 - 4 b21 * b55 + 4 b21 * b58 - 4 b21 * b61 - 4 b21 * b63 - 4 b21 * b64 - 4 b21 * b65 - 4 b21 * b66 - 4 b21 * b69 + 4 b21 * b71 + 4 b21 * b72 + 4 b21 * b74 + 4 b21 * b75 + 4 b21 * b76 + 4 b21 * b77 + 4 b21 * b78 + 4 b21 * b80 + 4 b21 * b83 - 4 b21 * b87 + 4 b21 * b89 + 4 b22 * b47 - 4 b22 * b52 - 4 b22 * b54 + 4 b22 * b58 + 4 b22 * b60 - 4 b22 * b63 - 4 b22 * b64 - 4 b22 * b65 - 4 b22 * b66 - 4 b22 * b69 - 4 b22 * b70 - 4 b22 * b71 + 4 b22 * b73 + 4 b22 * b76 + 4 b22 * b77 + 4 b22 * b78 + 4 b22 * b79 + 4 b22 * b80 + 4 b22 * b81 + 4 b22 * b82 + 4 b22 * b83 + 4 b22 * b84 - 4 b22 * b87 - 4 b22 * b88 + 4 b22 * b89 + 4 b22 * b90 + 4 b23 * b47 - 4 b23 * b48 - 4 b23 * b49 - 4 b23 * b51 - 4 b23 * b53 - 4 b23 * b55 - 4 b23 * b56 + 4 b23 * b58 + 4 b23 * b60 - 4 b23 * b61 - 4 b23 * b63 - 4 b23 * b64 - 4 b23 * b65 - 4 b23 * b66 - 4 b23 * b69 - 4 b23 * b72 + 4 b23 * b73 - 4 b23 * b76 + 4 b23 * b77 - 4 b23 * b79 + 4 b23 * b80 + 4 b23 * b81 + 4 b23 * b83 + 4 b23 * b84 + 4 b23 * b85 - 4 b23 * b87 - 4 b23 * b88 + 4 b23 * b89 + 4 b23 * b90 - 4 b24 * b48 - 4 b24 * b49 + 4 b24 * b50 - 4 b24 * b51 + 4 b24 * b52 - 4 b24 * b53 + 4 b24 * b54 - 4 b24 * b55 + 4 b24 * b56 + 4 b24 * b58 - 4 b24 * b61 + 4 b24 * b62 + 4 b24 * b77 + 4 b24 * b80 + 4 b24 * b83 - 4 b24 * b87 + 4 b24 * b89 + 4 b25 * b46 + 4 b25 * b47 + 4 b25 * b49 + 4 b25 * b50 + 4 b25 * b51 + 4 b25 * b52 + 4 b25 * b53 + 4 b25 * b54 + 4 b25 * b55 + 4 b25 * b56 + 4 b25 * b59 + 4 b25 * b60 + 4 b25 * b61 + 4 b25 * b62 + 4 b25 * b65 + 4 b25 * b66 - 4 b25 * b67 + 4 b25 * b71 + 4 b25 * b72 + 4 b25 * b75 + 4 b25 * b76 - 4 b25 * b77 - 4 b25 * b80 - 4 b25 * b81 - 4 b25 * b82 - 4 b25 * b83 - 4 b25 * b84 - 4 b25 * b85 + 4 b25 * b86 + 4 b25 * b87 - 4 b25 * b89 - 4 b26 * b46 - 4 b26 * b48 + 4 b26 * b50 + 4 b26 * b52 + 4 b26 * b53 + 4 b26 * b54 + 4 b26 * b58 + 4 b26 * b60 - 4 b26 * b61 + 4 b26 * b63 + 4 b26 * b64 + 4 b26 * b65 + 4 b26 * b67 + 4 b26 * b68 + 4 b26 * b71 - 4 b26 * b74 + 4 b26 * b75 - 4 b26 * b78 - 4 b26 * b80 - 4 b26 * b81 - 4 b26 * b82 - 4 b26 * b87 - 4 b26 * b88 - 4 b27 * b49 - 4 b27 * b50 - 4 b27 * b51 - 4 b27 * b52 + 4 b27 * b53 + 4 b27 * b54 + 4 b27 * b55 + 4 b27 * b56 - 4 b27 * b59 - 4 b27 * b60 - 4 b27 * b63 - 4 b27 * b64 + 4 b27 * b65 + 4 b27 * b66 - 4 b27 * b68 + 4 b27 * b71 + 4 b27 * b72 + 4 b27 * b74 + 4 b27 * b75 + 4 b27 * b76 + 4 b27 * b77 + 4 b27 * b78 - 4 b27 * b80 - 4 b27 * b81 - 4 b27 * b82 - 4 b27 * b83 - 4 b27 * b84 - 4 b27 * b85 - 4 b27 * b86 + 4 b27 * b88 + 4 b27 * b89 + 4 b28 * b46 + 4 b28 * b48 + 4 b28 * b49 - 4 b28 * b52 + 4 b28 * b55 + 4 b28 * b56 + 4 b28 * b57 + 4 b28 * b59 + 4 b28 * b61 - 4 b28 * b64 + 4 b28 * b66 - 4 b28 * b70 + 4 b28 * b72 + 4 b28 * b76 + 4 b28 * b77 + 4 b28 * b78 - 4 b28 * b83 - 4 b28 * b84 - 4 b28 * b85 + 4 b28 * b90 + 4 b29 * b53 + 4 b29 * b54 + 4 b29 * b65 + 4 b29 * b71 + 4 b29 * b75 - 4 b29 * b80 - 4 b29 * b81 - 4 b29 * b82 - 4 b30 * b46 - 4 b30 * b48 + 4 b30 * b50 + 4 b30 * b52 + 4 b30 * b53 + 4 b30 * b54 + 4 b30 * b55 + 4 b30 * b56 + 4 b30 * b58 - 4 b30 * b59 + 4 b30 * b62 + 4 b30 * b63 + 4 b30 * b64 + 4 b30 * b65 + 4 b30 * b66 + 4 b30 * b67 + 4 b30 * b69 + 4 b30 * b71 + 4 b30 * b72 - 4 b30 * b73 + 4 b30 * b75 + 4 b30 * b76 - 4 b30 * b80 - 4 b30 * b81 - 4 b30 * b82 - 4 b30 * b83 - 4 b30 * b84 - 4 b30 * b85 - 4 b30 * b86 + 4 b30 * b88 - 4 b30 * b90 - 4 b31 * b46 - 4 b31 * b49 - 4 b31 * b51 - 4 b31 * b53 - 4 b31 * b55 - 4 b31 * b59 - 4 b31 * b61 + 4 b31 * b63 + 4 b31 * b64 + 4 b31 * b65 + 4 b31 * b67 + 4 b31 * b68 - 4 b31 * b72 - 4 b31 * b74 - 4 b31 * b76 + 4 b31 * b77 - 4 b31 * b78 - 4 b31 * b79 + 4 b31 * b80 - 4 b31 * b82 + 4 b31 * b83 + 4 b31 * b84 - 4 b31 * b86 - 4 b31 * b87 - 4 b31 * b88 + 4 b31 * b89 - 4 b32 * b46 - 4 b32 * b47 - 4 b32 * b49 - 4 b32 * b50 - 4 b32 * b51 - 4 b32 * b52 - 4 b32 * b53 - 4 b32 * b54 - 4 b32 * b55 - 4 b32 * b56 - 4 b32 * b59 - 4 b32 * b60 - 4 b32 * b61 - 4 b32 * b62 - 4 b32 * b63 - 4 b32 * b64 + 4 b32 * b67 - 4 b32 * b68 + 4 b32 * b71 + 4 b32 * b72 + 4 b32 * b74 + 4 b32 * b75 + 4 b32 * b76 + 4 b32 * b77 + 4 b32 * b78 + 4 b32 * b80 - 4 b32 * b81 + 4 b32 * b83 - 4 b32 * b84 - 4 b32 * b86 - 4 b32 * b87 + 4 b32 * b88 + 4 b32 * b89 - 4 b33 * b47 - 4 b33 * b50 - 4 b33 * b52 - 4 b33 * b54 - 4 b33 * b56 - 4 b33 * b60 - 4 b33 * b62 - 4 b33 * b64 - 4 b33 * b65 + 4 b33 * b67 - 4 b33 * b70 - 4 b33 * b71 + 4 b33 * b76 + 4 b33 * b77 + 4 b33 * b78 + 4 b33 * b79 + 4 b33 * b80 + 4 b33 * b81 + 4 b33 * b82 + 4 b33 * b83 - 4 b33 * b86 - 4 b33 * b87 + 4 b33 * b89 + 4 b33 * b90 - 4 b34 * b46 - 4 b34 * b47 - 4 b34 * b49 - 4 b34 * b50 - 4 b34 * b51 - 4 b34 * b52 - 4 b34 * b53 - 4 b34 * b54 - 4 b34 * b55 - 4 b34 * b56 - 4 b34 * b59 - 4 b34 * b60 - 4 b34 * b61 - 4 b34 * b62 - 4 b34 * b66 + 4 b34 * b67 - 4 b34 * b72 - 4 b34 * b76 + 4 b34 * b77 - 4 b34 * b79 + 4 b34 * b80 + 4 b34 * b83 + 4 b34 * b84 + 4 b34 * b85 - 4 b34 * b86 - 4 b34 * b87 + 4 b34 * b89 - 4 b35 * b46 - 4 b35 * b49 - 4 b35 * b51 - 4 b35 * b53 - 4 b35 * b55 - 4 b35 * b59 - 4 b35 * b61 + 4 b35 * b63 + 4 b35 * b64 + 4 b35 * b65 + 4 b35 * b66 + 4 b35 * b67 + 4 b35 * b69 - 4 b35 * b73 + 4 b35 * b77 + 4 b35 * b80 - 4 b35 * b81 + 4 b35 * b83 - 4 b35 * b84 - 4 b35 * b86 - 4 b35 * b87 + 4 b35 * b88 + 4 b35 * b89 - 4 b35 * b90 + 4 b36 * b46 + 4 b36 * b48 - 4 b36 * b49 - 4 b36 * b50 - 4 b36 * b51 - 4 b36 * b52 - 4 b36 * b54 + 4 b36 * b55 - 4 b36 * b58 - 4 b36 * b59 - 4 b36 * b60 + 4 b36 * b61 - 4 b36 * b63 - 4 b36 * b64 - 4 b36 * b65 - 4 b36 * b67 - 4 b36 * b68 + 4 b36 * b71 + 4 b36 * b72 + 4 b36 * b74 + 4 b36 * b75 + 4 b36 * b76 + 4 b36 * b77 + 4 b36 * b78 + 4 b36 * b79 - 4 b36 * b81 + 4 b36 * b82 - 4 b36 * b83 - 4 b36 * b84 - 4 b36 * b86 + 4 b36 * b87 + 4 b36 * b88 + 4 b36 * b89 + 4 b37 * b46 + 4 b37 * b48 + 4 b37 * b49 - 4 b37 * b50 - 4 b37 * b52 - 4 b37 * b54 + 4 b37 * b55 + 4 b37 * b57 - 4 b37 * b58 + 4 b37 * b59 - 4 b37 * b60 + 4 b37 * b61 - 4 b37 * b63 - 4 b37 * b64 - 4 b37 * b65 - 4 b37 * b67 - 4 b37 * b68 - 4 b37 * b70 - 4 b37 * b71 + 4 b37 * b72 + 4 b37 * b74 + 4 b37 * b76 + 4 b37 * b77 + 4 b37 * b78 + 4 b37 * b79 + 4 b37 * b80 + 4 b37 * b81 + 4 b37 * b82 - 4 b37 * b83 - 4 b37 * b84 + 4 b37 * b87 + 4 b37 * b88 + 4 b37 * b90 + 4 b38 * b46 + 4 b38 * b48 - 4 b38 * b50 - 4 b38 * b52 - 4 b38 * b54 - 4 b38 * b58 - 4 b38 * b60 + 4 b38 * b61 - 4 b38 * b63 - 4 b38 * b64 - 4 b38 * b65 - 4 b38 * b67 - 4 b38 * b68 + 4 b38 * b74 + 4 b38 * b78 + 4 b38 * b82 + 4 b38 * b87 + 4 b38 * b88 + 4 b39 * b55 - 4 b39 * b59 + 4 b39 * b61 + 4 b39 * b72 - 4 b39 * b73 + 4 b39 * b74 + 4 b39 * b76 + 4 b39 * b78 + 4 b39 * b79 - 4 b39 * b81 + 4 b39 * b82 - 4 b39 * b83 - 4 b39 * b84 - 4 b39 * b86 + 4 b39 * b87 + 4 b39 * b88 - 4 b39 * b90 + 4 b40 * b46 + 4 b40 * b48 + 4 b40 * b49 + 4 b40 * b50 - 4 b40 * b54 + 4 b40 * b55 + 4 b40 * b57 + 4 b40 * b59 + 4 b40 * b60 + 4 b40 * b61 + 4 b40 * b63 - 4 b40 * b65 + 4 b40 * b68 - 4 b40 * b71 - 4 b40 * b72 - 4 b40 * b74 + 4 b40 * b79 + 4 b40 * b80 + 4 b40 * b81 + 4 b40 * b82 + 4 b40 * b84 + 4 b40 * b86 - 4 b40 * b88 - 4 b40 * b89 + 4 b41 * b49 + 4 b41 * b50 + 4 b41 * b51 + 4 b41 * b52 - 4 b41 * b55 - 4 b41 * b56 + 4 b41 * b59 + 4 b41 * b60 + 4 b41 * b63 + 4 b41 * b64 - 4 b41 * b66 + 4 b41 * b68 - 4 b41 * b71 - 4 b41 * b72 - 4 b41 * b74 - 4 b41 * b75 - 4 b41 * b76 - 4 b41 * b77 - 4 b41 * b78 - 4 b41 * b79 + 4 b41 * b81 + 4 b41 * b83 + 4 b41 * b84 + 4 b41 * b85 + 4 b41 * b86 - 4 b41 * b88 - 4 b41 * b89 - 4 b42 * b46 - 4 b42 * b48 + 4 b42 * b49 + 4 b42 * b50 + 4 b42 * b51 + 4 b42 * b52 + 4 b42 * b54 + 4 b42 * b56 + 4 b42 * b58 + 4 b42 * b62 + 4 b42 * b63 + 4 b42 * b64 + 4 b42 * b65 + 4 b42 * b66 + 4 b42 * b67 + 4 b42 * b69 - 4 b42 * b71 - 4 b42 * b72 - 4 b42 * b74 - 4 b42 * b75 - 4 b42 * b76 - 4 b42 * b77 - 4 b42 * b78 - 4 b42 * b89 - 4 b43 * b46 - 4 b43 * b48 - 4 b43 * b49 + 4 b43 * b52 + 4 b43 * b54 - 4 b43 * b55 - 4 b43 * b56 - 4 b43 * b57 - 4 b43 * b59 - 4 b43 * b61 + 4 b43 * b64 + 4 b43 * b65 - 4 b43 * b66 + 4 b43 * b70 + 4 b43 * b71 - 4 b43 * b72 - 4 b43 * b76 - 4 b43 * b77 - 4 b43 * b78 - 4 b43 * b79 - 4 b43 * b80 - 4 b43 * b81 - 4 b43 * b82 + 4 b43 * b83 + 4 b43 * b84 + 4 b43 * b85 - 4 b43 * b90 - 4 b44 * b46 - 4 b44 * b48 - 4 b44 * b49 + 4 b44 * b50 + 4 b44 * b52 + 4 b44 * b54 - 4 b44 * b55 + 4 b44 * b56 - 4 b44 * b57 + 4 b44 * b58 - 4 b44 * b59 - 4 b44 * b61 + 4 b44 * b62 + 4 b44 * b63 + 4 b44 * b64 + 4 b44 * b65 + 4 b44 * b66 + 4 b44 * b67 + 4 b44 * b69 + 4 b44 * b70 + 4 b44 * b71 - 4 b44 * b73 - 4 b44 * b76 - 4 b44 * b77 - 4 b44 * b78 - 4 b44 * b79 - 4 b44 * b80 - 4 b44 * b81 - 4 b44 * b82 - 4 b44 * b84 - 4 b44 * b86 + 4 b44 * b88 - 4 b44 * b90 - 4 b45 * b46 - 4 b45 * b48 + 4 b45 * b50 + 4 b45 * b52 + 4 b45 * b54 + 4 b45 * b55 + 4 b45 * b56 + 4 b45 * b58 - 4 b45 * b59 + 4 b45 * b62 + 4 b45 * b63 + 4 b45 * b64 + 4 b45 * b65 + 4 b45 * b66 + 4 b45 * b67 + 4 b45 * b69 + 4 b45 * b72 - 4 b45 * b73 + 4 b45 * b76 + 4 b45 * b79 - 4 b45 * b81 - 4 b45 * b83 - 4 b45 * b84 - 4 b45 * b85 - 4 b45 * b86 + 4 b45 * b88 - 4 b45 * b90 - 4 b46 * b91 - 4 b48 * b91 - 4 b49 * b91 - 4 b51 * b91 - 4 b57 * b91 - 4 b59 * b91 + 4 b62 * b91 + 4 b69 * b91 + 4 b74 * b91 + 4 b78 * b91 + 4 b87 * b91 + 4 b88 * b91 ]/2 Subject To e2: - b2 + b3 + b4 <= 1 e3: b4 - b5 + b91 <= 1 e4: b4 - b6 + b7 <= 1 e5: b4 - b8 + b9 <= 1 e6: b4 - b10 + b11 <= 1 e7: b4 - b12 + b13 <= 1 e8: b4 - b14 + b15 <= 1 e9: b4 - b16 + b17 <= 1 e10: b2 - b5 + b18 <= 1 e11: b2 - b6 + b19 <= 1 e12: b2 - b8 + b20 <= 1 e13: b2 - b10 + b21 <= 1 e14: b2 - b12 + b22 <= 1 e15: b2 - b14 + b23 <= 1 e16: b2 - b16 + b24 <= 1 e17: b5 - b6 + b25 <= 1 e18: b5 - b8 + b26 <= 1 e19: b5 - b10 + b27 <= 1 e20: b5 - b12 + b28 <= 1 e21: b5 - b14 + b29 <= 1 e22: b5 - b16 + b30 <= 1 e23: b6 - b8 + b31 <= 1 e24: b6 - b10 + b32 <= 1 e25: b6 - b12 + b33 <= 1 e26: b6 - b14 + b34 <= 1 e27: b6 - b16 + b35 <= 1 e28: b8 - b10 + b36 <= 1 e29: b8 - b12 + b37 <= 1 e30: b8 - b14 + b38 <= 1 e31: b8 - b16 + b39 <= 1 e32: b10 - b12 + b40 <= 1 e33: b10 - b14 + b41 <= 1 e34: b10 - b16 + b42 <= 1 e35: b12 - b14 + b43 <= 1 e36: b12 - b16 + b44 <= 1 e37: b14 - b16 + b45 <= 1 e38: b3 + b18 - b91 <= 1 e39: b3 - b7 + b19 <= 1 e40: b3 - b9 + b20 <= 1 e41: b3 - b11 + b21 <= 1 e42: b3 - b13 + b22 <= 1 e43: b3 - b15 + b23 <= 1 e44: b3 - b17 + b24 <= 1 e45: - b7 + b25 + b91 <= 1 e46: - b9 + b26 + b91 <= 1 e47: - b11 + b27 + b91 <= 1 e48: - b13 + b28 + b91 <= 1 e49: - b15 + b29 + b91 <= 1 e50: - b17 + b30 + b91 <= 1 e51: b7 - b9 + b31 <= 1 e52: b7 - b11 + b32 <= 1 e53: b7 - b13 + b33 <= 1 e54: b7 - b15 + b34 <= 1 e55: b7 - b17 + b35 <= 1 e56: b9 - b11 + b36 <= 1 e57: b9 - b13 + b37 <= 1 e58: b9 - b15 + b38 <= 1 e59: b9 - b17 + b39 <= 1 e60: b11 - b13 + b40 <= 1 e61: b11 - b15 + b41 <= 1 e62: b11 - b17 + b42 <= 1 e63: b13 - b15 + b43 <= 1 e64: b13 - b17 + b44 <= 1 e65: b15 - b17 + b45 <= 1 e66: b18 - b19 + b25 <= 1 e67: b18 - b20 + b26 <= 1 e68: b18 - b21 + b27 <= 1 e69: b18 - b22 + b28 <= 1 e70: b18 - b23 + b29 <= 1 e71: b18 - b24 + b30 <= 1 e72: b19 - b20 + b31 <= 1 e73: b19 - b21 + b32 <= 1 e74: b19 - b22 + b33 <= 1 e75: b19 - b23 + b34 <= 1 e76: b19 - b24 + b35 <= 1 e77: b20 - b21 + b36 <= 1 e78: b20 - b22 + b37 <= 1 e79: b20 - b23 + b38 <= 1 e80: b20 - b24 + b39 <= 1 e81: b21 - b22 + b40 <= 1 e82: b21 - b23 + b41 <= 1 e83: b21 - b24 + b42 <= 1 e84: b22 - b23 + b43 <= 1 e85: b22 - b24 + b44 <= 1 e86: b23 - b24 + b45 <= 1 e87: b25 - b26 + b31 <= 1 e88: b25 - b27 + b32 <= 1 e89: b25 - b28 + b33 <= 1 e90: b25 - b29 + b34 <= 1 e91: b25 - b30 + b35 <= 1 e92: b26 - b27 + b36 <= 1 e93: b26 - b28 + b37 <= 1 e94: b26 - b29 + b38 <= 1 e95: b26 - b30 + b39 <= 1 e96: b27 - b28 + b40 <= 1 e97: b27 - b29 + b41 <= 1 e98: b27 - b30 + b42 <= 1 e99: b28 - b29 + b43 <= 1 e100: b28 - b30 + b44 <= 1 e101: b29 - b30 + b45 <= 1 e102: b31 - b32 + b36 <= 1 e103: b31 - b33 + b37 <= 1 e104: b31 - b34 + b38 <= 1 e105: b31 - b35 + b39 <= 1 e106: b32 - b33 + b40 <= 1 e107: b32 - b34 + b41 <= 1 e108: b32 - b35 + b42 <= 1 e109: b33 - b34 + b43 <= 1 e110: b33 - b35 + b44 <= 1 e111: b34 - b35 + b45 <= 1 e112: b36 - b37 + b40 <= 1 e113: b36 - b38 + b41 <= 1 e114: b36 - b39 + b42 <= 1 e115: b37 - b38 + b43 <= 1 e116: b37 - b39 + b44 <= 1 e117: b38 - b39 + b45 <= 1 e118: b40 - b41 + b43 <= 1 e119: b40 - b42 + b44 <= 1 e120: b41 - b42 + b45 <= 1 e121: b43 - b44 + b45 <= 1 e122: b2 - b3 - b4 <= 0 e123: - b4 + b5 - b91 <= 0 e124: - b4 + b6 - b7 <= 0 e125: - b4 + b8 - b9 <= 0 e126: - b4 + b10 - b11 <= 0 e127: - b4 + b12 - b13 <= 0 e128: - b4 + b14 - b15 <= 0 e129: - b4 + b16 - b17 <= 0 e130: - b2 + b5 - b18 <= 0 e131: - b2 + b6 - b19 <= 0 e132: - b2 + b8 - b20 <= 0 e133: - b2 + b10 - b21 <= 0 e134: - b2 + b12 - b22 <= 0 e135: - b2 + b14 - b23 <= 0 e136: - b2 + b16 - b24 <= 0 e137: - b5 + b6 - b25 <= 0 e138: - b5 + b8 - b26 <= 0 e139: - b5 + b10 - b27 <= 0 e140: - b5 + b12 - b28 <= 0 e141: - b5 + b14 - b29 <= 0 e142: - b5 + b16 - b30 <= 0 e143: - b6 + b8 - b31 <= 0 e144: - b6 + b10 - b32 <= 0 e145: - b6 + b12 - b33 <= 0 e146: - b6 + b14 - b34 <= 0 e147: - b6 + b16 - b35 <= 0 e148: - b8 + b10 - b36 <= 0 e149: - b8 + b12 - b37 <= 0 e150: - b8 + b14 - b38 <= 0 e151: - b8 + b16 - b39 <= 0 e152: - b10 + b12 - b40 <= 0 e153: - b10 + b14 - b41 <= 0 e154: - b10 + b16 - b42 <= 0 e155: - b12 + b14 - b43 <= 0 e156: - b12 + b16 - b44 <= 0 e157: - b14 + b16 - b45 <= 0 e158: - b3 - b18 + b91 <= 0 e159: - b3 + b7 - b19 <= 0 e160: - b3 + b9 - b20 <= 0 e161: - b3 + b11 - b21 <= 0 e162: - b3 + b13 - b22 <= 0 e163: - b3 + b15 - b23 <= 0 e164: - b3 + b17 - b24 <= 0 e165: b7 - b25 - b91 <= 0 e166: b9 - b26 - b91 <= 0 e167: b11 - b27 - b91 <= 0 e168: b13 - b28 - b91 <= 0 e169: b15 - b29 - b91 <= 0 e170: b17 - b30 - b91 <= 0 e171: - b7 + b9 - b31 <= 0 e172: - b7 + b11 - b32 <= 0 e173: - b7 + b13 - b33 <= 0 e174: - b7 + b15 - b34 <= 0 e175: - b7 + b17 - b35 <= 0 e176: - b9 + b11 - b36 <= 0 e177: - b9 + b13 - b37 <= 0 e178: - b9 + b15 - b38 <= 0 e179: - b9 + b17 - b39 <= 0 e180: - b11 + b13 - b40 <= 0 e181: - b11 + b15 - b41 <= 0 e182: - b11 + b17 - b42 <= 0 e183: - b13 + b15 - b43 <= 0 e184: - b13 + b17 - b44 <= 0 e185: - b15 + b17 - b45 <= 0 e186: - b18 + b19 - b25 <= 0 e187: - b18 + b20 - b26 <= 0 e188: - b18 + b21 - b27 <= 0 e189: - b18 + b22 - b28 <= 0 e190: - b18 + b23 - b29 <= 0 e191: - b18 + b24 - b30 <= 0 e192: - b19 + b20 - b31 <= 0 e193: - b19 + b21 - b32 <= 0 e194: - b19 + b22 - b33 <= 0 e195: - b19 + b23 - b34 <= 0 e196: - b19 + b24 - b35 <= 0 e197: - b20 + b21 - b36 <= 0 e198: - b20 + b22 - b37 <= 0 e199: - b20 + b23 - b38 <= 0 e200: - b20 + b24 - b39 <= 0 e201: - b21 + b22 - b40 <= 0 e202: - b21 + b23 - b41 <= 0 e203: - b21 + b24 - b42 <= 0 e204: - b22 + b23 - b43 <= 0 e205: - b22 + b24 - b44 <= 0 e206: - b23 + b24 - b45 <= 0 e207: - b25 + b26 - b31 <= 0 e208: - b25 + b27 - b32 <= 0 e209: - b25 + b28 - b33 <= 0 e210: - b25 + b29 - b34 <= 0 e211: - b25 + b30 - b35 <= 0 e212: - b26 + b27 - b36 <= 0 e213: - b26 + b28 - b37 <= 0 e214: - b26 + b29 - b38 <= 0 e215: - b26 + b30 - b39 <= 0 e216: - b27 + b28 - b40 <= 0 e217: - b27 + b29 - b41 <= 0 e218: - b27 + b30 - b42 <= 0 e219: - b28 + b29 - b43 <= 0 e220: - b28 + b30 - b44 <= 0 e221: - b29 + b30 - b45 <= 0 e222: - b31 + b32 - b36 <= 0 e223: - b31 + b33 - b37 <= 0 e224: - b31 + b34 - b38 <= 0 e225: - b31 + b35 - b39 <= 0 e226: - b32 + b33 - b40 <= 0 e227: - b32 + b34 - b41 <= 0 e228: - b32 + b35 - b42 <= 0 e229: - b33 + b34 - b43 <= 0 e230: - b33 + b35 - b44 <= 0 e231: - b34 + b35 - b45 <= 0 e232: - b36 + b37 - b40 <= 0 e233: - b36 + b38 - b41 <= 0 e234: - b36 + b39 - b42 <= 0 e235: - b37 + b38 - b43 <= 0 e236: - b37 + b39 - b44 <= 0 e237: - b38 + b39 - b45 <= 0 e238: - b40 + b41 - b43 <= 0 e239: - b40 + b42 - b44 <= 0 e240: - b41 + b42 - b45 <= 0 e241: - b43 + b44 - b45 <= 0 e242: - b46 + b47 + b48 <= 1 e243: b48 - b49 + b50 <= 1 e244: b48 - b51 + b52 <= 1 e245: b48 - b53 + b54 <= 1 e246: b48 - b55 + b56 <= 1 e247: b48 - b57 + b58 <= 1 e248: b48 - b59 + b60 <= 1 e249: b48 - b61 + b62 <= 1 e250: b46 - b49 + b63 <= 1 e251: b46 - b51 + b64 <= 1 e252: b46 - b53 + b65 <= 1 e253: b46 - b55 + b66 <= 1 e254: b46 - b57 + b67 <= 1 e255: b46 - b59 + b68 <= 1 e256: b46 - b61 + b69 <= 1 e257: b49 - b51 + b70 <= 1 e258: b49 - b53 + b71 <= 1 e259: b49 - b55 + b72 <= 1 e260: b49 - b57 + b89 <= 1 e261: b49 - b59 + b73 <= 1 e262: b49 - b61 + b74 <= 1 e263: b51 - b53 + b75 <= 1 e264: b51 - b55 + b76 <= 1 e265: b51 - b57 + b77 <= 1 e266: b51 - b59 + b90 <= 1 e267: b51 - b61 + b78 <= 1 e268: b53 - b55 + b79 <= 1 e269: b53 - b57 + b80 <= 1 e270: b53 - b59 + b81 <= 1 e271: b53 - b61 + b82 <= 1 e272: b55 - b57 + b83 <= 1 e273: b55 - b59 + b84 <= 1 e274: b55 - b61 + b85 <= 1 e275: b57 - b59 + b86 <= 1 e276: b57 - b61 + b87 <= 1 e277: b59 - b61 + b88 <= 1 e278: b47 - b50 + b63 <= 1 e279: b47 - b52 + b64 <= 1 e280: b47 - b54 + b65 <= 1 e281: b47 - b56 + b66 <= 1 e282: b47 - b58 + b67 <= 1 e283: b47 - b60 + b68 <= 1 e284: b47 - b62 + b69 <= 1 e285: b50 - b52 + b70 <= 1 e286: b50 - b54 + b71 <= 1 e287: b50 - b56 + b72 <= 1 e288: b50 - b58 + b89 <= 1 e289: b50 - b60 + b73 <= 1 e290: b50 - b62 + b74 <= 1 e291: b52 - b54 + b75 <= 1 e292: b52 - b56 + b76 <= 1 e293: b52 - b58 + b77 <= 1 e294: b52 - b60 + b90 <= 1 e295: b52 - b62 + b78 <= 1 e296: b54 - b56 + b79 <= 1 e297: b54 - b58 + b80 <= 1 e298: b54 - b60 + b81 <= 1 e299: b54 - b62 + b82 <= 1 e300: b56 - b58 + b83 <= 1 e301: b56 - b60 + b84 <= 1 e302: b56 - b62 + b85 <= 1 e303: b58 - b60 + b86 <= 1 e304: b58 - b62 + b87 <= 1 e305: b60 - b62 + b88 <= 1 e306: b63 - b64 + b70 <= 1 e307: b63 - b65 + b71 <= 1 e308: b63 - b66 + b72 <= 1 e309: b63 - b67 + b89 <= 1 e310: b63 - b68 + b73 <= 1 e311: b63 - b69 + b74 <= 1 e312: b64 - b65 + b75 <= 1 e313: b64 - b66 + b76 <= 1 e314: b64 - b67 + b77 <= 1 e315: b64 - b68 + b90 <= 1 e316: b64 - b69 + b78 <= 1 e317: b65 - b66 + b79 <= 1 e318: b65 - b67 + b80 <= 1 e319: b65 - b68 + b81 <= 1 e320: b65 - b69 + b82 <= 1 e321: b66 - b67 + b83 <= 1 e322: b66 - b68 + b84 <= 1 e323: b66 - b69 + b85 <= 1 e324: b67 - b68 + b86 <= 1 e325: b67 - b69 + b87 <= 1 e326: b68 - b69 + b88 <= 1 e327: b70 - b71 + b75 <= 1 e328: b70 - b72 + b76 <= 1 e329: b70 + b77 - b89 <= 1 e330: b70 - b73 + b90 <= 1 e331: b70 - b74 + b78 <= 1 e332: b71 - b72 + b79 <= 1 e333: b71 + b80 - b89 <= 1 e334: b71 - b73 + b81 <= 1 e335: b71 - b74 + b82 <= 1 e336: b72 + b83 - b89 <= 1 e337: b72 - b73 + b84 <= 1 e338: b72 - b74 + b85 <= 1 e339: - b73 + b86 + b89 <= 1 e340: - b74 + b87 + b89 <= 1 e341: b73 - b74 + b88 <= 1 e342: b75 - b76 + b79 <= 1 e343: b75 - b77 + b80 <= 1 e344: b75 + b81 - b90 <= 1 e345: b75 - b78 + b82 <= 1 e346: b76 - b77 + b83 <= 1 e347: b76 + b84 - b90 <= 1 e348: b76 - b78 + b85 <= 1 e349: b77 + b86 - b90 <= 1 e350: b77 - b78 + b87 <= 1 e351: - b78 + b88 + b90 <= 1 e352: b79 - b80 + b83 <= 1 e353: b79 - b81 + b84 <= 1 e354: b79 - b82 + b85 <= 1 e355: b80 - b81 + b86 <= 1 e356: b80 - b82 + b87 <= 1 e357: b81 - b82 + b88 <= 1 e358: b83 - b84 + b86 <= 1 e359: b83 - b85 + b87 <= 1 e360: b84 - b85 + b88 <= 1 e361: b86 - b87 + b88 <= 1 e362: b46 - b47 - b48 <= 0 e363: - b48 + b49 - b50 <= 0 e364: - b48 + b51 - b52 <= 0 e365: - b48 + b53 - b54 <= 0 e366: - b48 + b55 - b56 <= 0 e367: - b48 + b57 - b58 <= 0 e368: - b48 + b59 - b60 <= 0 e369: - b48 + b61 - b62 <= 0 e370: - b46 + b49 - b63 <= 0 e371: - b46 + b51 - b64 <= 0 e372: - b46 + b53 - b65 <= 0 e373: - b46 + b55 - b66 <= 0 e374: - b46 + b57 - b67 <= 0 e375: - b46 + b59 - b68 <= 0 e376: - b46 + b61 - b69 <= 0 e377: - b49 + b51 - b70 <= 0 e378: - b49 + b53 - b71 <= 0 e379: - b49 + b55 - b72 <= 0 e380: - b49 + b57 - b89 <= 0 e381: - b49 + b59 - b73 <= 0 e382: - b49 + b61 - b74 <= 0 e383: - b51 + b53 - b75 <= 0 e384: - b51 + b55 - b76 <= 0 e385: - b51 + b57 - b77 <= 0 e386: - b51 + b59 - b90 <= 0 e387: - b51 + b61 - b78 <= 0 e388: - b53 + b55 - b79 <= 0 e389: - b53 + b57 - b80 <= 0 e390: - b53 + b59 - b81 <= 0 e391: - b53 + b61 - b82 <= 0 e392: - b55 + b57 - b83 <= 0 e393: - b55 + b59 - b84 <= 0 e394: - b55 + b61 - b85 <= 0 e395: - b57 + b59 - b86 <= 0 e396: - b57 + b61 - b87 <= 0 e397: - b59 + b61 - b88 <= 0 e398: - b47 + b50 - b63 <= 0 e399: - b47 + b52 - b64 <= 0 e400: - b47 + b54 - b65 <= 0 e401: - b47 + b56 - b66 <= 0 e402: - b47 + b58 - b67 <= 0 e403: - b47 + b60 - b68 <= 0 e404: - b47 + b62 - b69 <= 0 e405: - b50 + b52 - b70 <= 0 e406: - b50 + b54 - b71 <= 0 e407: - b50 + b56 - b72 <= 0 e408: - b50 + b58 - b89 <= 0 e409: - b50 + b60 - b73 <= 0 e410: - b50 + b62 - b74 <= 0 e411: - b52 + b54 - b75 <= 0 e412: - b52 + b56 - b76 <= 0 e413: - b52 + b58 - b77 <= 0 e414: - b52 + b60 - b90 <= 0 e415: - b52 + b62 - b78 <= 0 e416: - b54 + b56 - b79 <= 0 e417: - b54 + b58 - b80 <= 0 e418: - b54 + b60 - b81 <= 0 e419: - b54 + b62 - b82 <= 0 e420: - b56 + b58 - b83 <= 0 e421: - b56 + b60 - b84 <= 0 e422: - b56 + b62 - b85 <= 0 e423: - b58 + b60 - b86 <= 0 e424: - b58 + b62 - b87 <= 0 e425: - b60 + b62 - b88 <= 0 e426: - b63 + b64 - b70 <= 0 e427: - b63 + b65 - b71 <= 0 e428: - b63 + b66 - b72 <= 0 e429: - b63 + b67 - b89 <= 0 e430: - b63 + b68 - b73 <= 0 e431: - b63 + b69 - b74 <= 0 e432: - b64 + b65 - b75 <= 0 e433: - b64 + b66 - b76 <= 0 e434: - b64 + b67 - b77 <= 0 e435: - b64 + b68 - b90 <= 0 e436: - b64 + b69 - b78 <= 0 e437: - b65 + b66 - b79 <= 0 e438: - b65 + b67 - b80 <= 0 e439: - b65 + b68 - b81 <= 0 e440: - b65 + b69 - b82 <= 0 e441: - b66 + b67 - b83 <= 0 e442: - b66 + b68 - b84 <= 0 e443: - b66 + b69 - b85 <= 0 e444: - b67 + b68 - b86 <= 0 e445: - b67 + b69 - b87 <= 0 e446: - b68 + b69 - b88 <= 0 e447: - b70 + b71 - b75 <= 0 e448: - b70 + b72 - b76 <= 0 e449: - b70 - b77 + b89 <= 0 e450: - b70 + b73 - b90 <= 0 e451: - b70 + b74 - b78 <= 0 e452: - b71 + b72 - b79 <= 0 e453: - b71 - b80 + b89 <= 0 e454: - b71 + b73 - b81 <= 0 e455: - b71 + b74 - b82 <= 0 e456: - b72 - b83 + b89 <= 0 e457: - b72 + b73 - b84 <= 0 e458: - b72 + b74 - b85 <= 0 e459: b73 - b86 - b89 <= 0 e460: b74 - b87 - b89 <= 0 e461: - b73 + b74 - b88 <= 0 e462: - b75 + b76 - b79 <= 0 e463: - b75 + b77 - b80 <= 0 e464: - b75 - b81 + b90 <= 0 e465: - b75 + b78 - b82 <= 0 e466: - b76 + b77 - b83 <= 0 e467: - b76 - b84 + b90 <= 0 e468: - b76 + b78 - b85 <= 0 e469: - b77 - b86 + b90 <= 0 e470: - b77 + b78 - b87 <= 0 e471: b78 - b88 - b90 <= 0 e472: - b79 + b80 - b83 <= 0 e473: - b79 + b81 - b84 <= 0 e474: - b79 + b82 - b85 <= 0 e475: - b80 + b81 - b86 <= 0 e476: - b80 + b82 - b87 <= 0 e477: - b81 + b82 - b88 <= 0 e478: - b83 + b84 - b86 <= 0 e479: - b83 + b85 - b87 <= 0 e480: - b84 + b85 - b88 <= 0 e481: - b86 + b87 - b88 <= 0 Binary b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20 b21 b22 b23 b24 b25 b26 b27 b28 b29 b30 b31 b32 b33 b34 b35 b36 b37 b38 b39 b40 b41 b42 b43 b44 b45 b46 b47 b48 b49 b50 b51 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 End