\ Equation counts \ Total E G L N X C B \ 40 40 0 0 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 120 0 120 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 240 120 120 0 \ Minimize obj: 0 b1 + 0 b2 + 0 b3 + 0 b4 + 0 b5 + 0 b6 + 0 b7 + 0 b8 + 0 b9 + 0 b10 + 0 b11 + 0 b12 + 0 b13 + 0 b14 + 0 b15 + 0 b16 + 0 b17 + 0 b18 + 0 b19 + 0 b20 + 0 b21 + 0 b22 + 0 b23 + 0 b24 + 0 b25 + 0 b26 + 0 b27 + 0 b28 + 0 b29 + 0 b30 + 0 b31 + 0 b32 + 0 b33 + 0 b34 + 0 b35 + 0 b36 + 0 b37 + 0 b38 + 0 b39 + 0 b40 + 0 b41 + 0 b42 + 0 b43 + 0 b44 + 0 b45 + 0 b46 + 0 b47 + 0 b48 + 0 b49 + 0 b50 + 0 b51 + 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 + 0 b102 + 0 b103 + 0 b104 + 0 b105 + 0 b106 + 0 b107 + 0 b108 + 0 b109 + 0 b110 + 0 b111 + 0 b112 + 0 b113 + 0 b114 + 0 b115 + 0 b116 + 0 b117 + 0 b118 + 0 b119 + 0 b120 + [ 2 b1 * b4 + 4 b1 * b7 + 6 b1 * b10 + 8 b1 * b13 + 10 b1 * b16 + 12 b1 * b19 + 14 b1 * b22 + 16 b1 * b25 + 18 b1 * b28 + 20 b1 * b31 + 22 b1 * b34 + 24 b1 * b37 + 26 b1 * b40 + 28 b1 * b43 + 30 b1 * b46 + 32 b1 * b49 + 34 b1 * b52 + 36 b1 * b55 + 38 b1 * b58 + 40 b1 * b61 + 42 b1 * b64 + 44 b1 * b67 + 46 b1 * b70 + 48 b1 * b73 + 50 b1 * b76 + 52 b1 * b79 + 54 b1 * b82 + 56 b1 * b85 + 58 b1 * b88 + 60 b1 * b91 + 62 b1 * b94 + 64 b1 * b97 + 66 b1 * b100 + 68 b1 * b103 + 70 b1 * b106 + 72 b1 * b109 + 74 b1 * b112 + 76 b1 * b115 + 78 b1 * b118 + 2 b2 * b5 + 4 b2 * b8 + 6 b2 * b11 + 8 b2 * b14 + 10 b2 * b17 + 12 b2 * b20 + 14 b2 * b23 + 16 b2 * b26 + 18 b2 * b29 + 20 b2 * b32 + 22 b2 * b35 + 24 b2 * b38 + 26 b2 * b41 + 28 b2 * b44 + 30 b2 * b47 + 32 b2 * b50 + 34 b2 * b53 + 36 b2 * b56 + 38 b2 * b59 + 40 b2 * b62 + 42 b2 * b65 + 44 b2 * b68 + 46 b2 * b71 + 48 b2 * b74 + 50 b2 * b77 + 52 b2 * b80 + 54 b2 * b83 + 56 b2 * b86 + 58 b2 * b89 + 60 b2 * b92 + 62 b2 * b95 + 64 b2 * b98 + 66 b2 * b101 + 68 b2 * b104 + 70 b2 * b107 + 72 b2 * b110 + 74 b2 * b113 + 76 b2 * b116 + 78 b2 * b119 + 2 b3 * b6 + 4 b3 * b9 + 6 b3 * b12 + 8 b3 * b15 + 10 b3 * b18 + 12 b3 * b21 + 14 b3 * b24 + 16 b3 * b27 + 18 b3 * b30 + 20 b3 * b33 + 22 b3 * b36 + 24 b3 * b39 + 26 b3 * b42 + 28 b3 * b45 + 30 b3 * b48 + 32 b3 * b51 + 34 b3 * b54 + 36 b3 * b57 + 38 b3 * b60 + 40 b3 * b63 + 42 b3 * b66 + 44 b3 * b69 + 46 b3 * b72 + 48 b3 * b75 + 50 b3 * b78 + 52 b3 * b81 + 54 b3 * b84 + 56 b3 * b87 + 58 b3 * b90 + 60 b3 * b93 + 62 b3 * b96 + 64 b3 * b99 + 66 b3 * b102 + 68 b3 * b105 + 70 b3 * b108 + 72 b3 * b111 + 74 b3 * b114 + 76 b3 * b117 + 78 b3 * b120 + 2 b4 * b7 + 4 b4 * b10 + 6 b4 * b13 + 8 b4 * b16 + 10 b4 * b19 + 12 b4 * b22 + 14 b4 * b25 + 16 b4 * b28 + 18 b4 * b31 + 20 b4 * b34 + 22 b4 * b37 + 24 b4 * b40 + 26 b4 * b43 + 28 b4 * b46 + 30 b4 * b49 + 32 b4 * b52 + 34 b4 * b55 + 36 b4 * b58 + 38 b4 * b61 + 40 b4 * b64 + 42 b4 * b67 + 44 b4 * b70 + 46 b4 * b73 + 48 b4 * b76 + 50 b4 * b79 + 52 b4 * b82 + 54 b4 * b85 + 56 b4 * b88 + 58 b4 * b91 + 60 b4 * b94 + 62 b4 * b97 + 64 b4 * b100 + 66 b4 * b103 + 68 b4 * b106 + 70 b4 * b109 + 72 b4 * b112 + 74 b4 * b115 + 76 b4 * b118 + 2 b5 * b8 + 4 b5 * b11 + 6 b5 * b14 + 8 b5 * b17 + 10 b5 * b20 + 12 b5 * b23 + 14 b5 * b26 + 16 b5 * b29 + 18 b5 * b32 + 20 b5 * b35 + 22 b5 * b38 + 24 b5 * b41 + 26 b5 * b44 + 28 b5 * b47 + 30 b5 * b50 + 32 b5 * b53 + 34 b5 * b56 + 36 b5 * b59 + 38 b5 * b62 + 40 b5 * b65 + 42 b5 * b68 + 44 b5 * b71 + 46 b5 * b74 + 48 b5 * b77 + 50 b5 * b80 + 52 b5 * b83 + 54 b5 * b86 + 56 b5 * b89 + 58 b5 * b92 + 60 b5 * b95 + 62 b5 * b98 + 64 b5 * b101 + 66 b5 * b104 + 68 b5 * b107 + 70 b5 * b110 + 72 b5 * b113 + 74 b5 * b116 + 76 b5 * b119 + 2 b6 * b9 + 4 b6 * b12 + 6 b6 * b15 + 8 b6 * b18 + 10 b6 * b21 + 12 b6 * b24 + 14 b6 * b27 + 16 b6 * b30 + 18 b6 * b33 + 20 b6 * b36 + 22 b6 * b39 + 24 b6 * b42 + 26 b6 * b45 + 28 b6 * b48 + 30 b6 * b51 + 32 b6 * b54 + 34 b6 * b57 + 36 b6 * b60 + 38 b6 * b63 + 40 b6 * b66 + 42 b6 * b69 + 44 b6 * b72 + 46 b6 * b75 + 48 b6 * b78 + 50 b6 * b81 + 52 b6 * b84 + 54 b6 * b87 + 56 b6 * b90 + 58 b6 * b93 + 60 b6 * b96 + 62 b6 * b99 + 64 b6 * b102 + 66 b6 * b105 + 68 b6 * b108 + 70 b6 * b111 + 72 b6 * b114 + 74 b6 * b117 + 76 b6 * b120 + 2 b7 * b10 + 4 b7 * b13 + 6 b7 * b16 + 8 b7 * b19 + 10 b7 * b22 + 12 b7 * b25 + 14 b7 * b28 + 16 b7 * b31 + 18 b7 * b34 + 20 b7 * b37 + 22 b7 * b40 + 24 b7 * b43 + 26 b7 * b46 + 28 b7 * b49 + 30 b7 * b52 + 32 b7 * b55 + 34 b7 * b58 + 36 b7 * b61 + 38 b7 * b64 + 40 b7 * b67 + 42 b7 * b70 + 44 b7 * b73 + 46 b7 * b76 + 48 b7 * b79 + 50 b7 * b82 + 52 b7 * b85 + 54 b7 * b88 + 56 b7 * b91 + 58 b7 * b94 + 60 b7 * b97 + 62 b7 * b100 + 64 b7 * b103 + 66 b7 * b106 + 68 b7 * b109 + 70 b7 * b112 + 72 b7 * b115 + 74 b7 * b118 + 2 b8 * b11 + 4 b8 * b14 + 6 b8 * b17 + 8 b8 * b20 + 10 b8 * b23 + 12 b8 * b26 + 14 b8 * b29 + 16 b8 * b32 + 18 b8 * b35 + 20 b8 * b38 + 22 b8 * b41 + 24 b8 * b44 + 26 b8 * b47 + 28 b8 * b50 + 30 b8 * b53 + 32 b8 * b56 + 34 b8 * b59 + 36 b8 * b62 + 38 b8 * b65 + 40 b8 * b68 + 42 b8 * b71 + 44 b8 * b74 + 46 b8 * b77 + 48 b8 * b80 + 50 b8 * b83 + 52 b8 * b86 + 54 b8 * b89 + 56 b8 * b92 + 58 b8 * b95 + 60 b8 * b98 + 62 b8 * b101 + 64 b8 * b104 + 66 b8 * b107 + 68 b8 * b110 + 70 b8 * b113 + 72 b8 * b116 + 74 b8 * b119 + 2 b9 * b12 + 4 b9 * b15 + 6 b9 * b18 + 8 b9 * b21 + 10 b9 * b24 + 12 b9 * b27 + 14 b9 * b30 + 16 b9 * b33 + 18 b9 * b36 + 20 b9 * b39 + 22 b9 * b42 + 24 b9 * b45 + 26 b9 * b48 + 28 b9 * b51 + 30 b9 * b54 + 32 b9 * b57 + 34 b9 * b60 + 36 b9 * b63 + 38 b9 * b66 + 40 b9 * b69 + 42 b9 * b72 + 44 b9 * b75 + 46 b9 * b78 + 48 b9 * b81 + 50 b9 * b84 + 52 b9 * b87 + 54 b9 * b90 + 56 b9 * b93 + 58 b9 * b96 + 60 b9 * b99 + 62 b9 * b102 + 64 b9 * b105 + 66 b9 * b108 + 68 b9 * b111 + 70 b9 * b114 + 72 b9 * b117 + 74 b9 * b120 + 2 b10 * b13 + 4 b10 * b16 + 6 b10 * b19 + 8 b10 * b22 + 10 b10 * b25 + 12 b10 * b28 + 14 b10 * b31 + 16 b10 * b34 + 18 b10 * b37 + 20 b10 * b40 + 22 b10 * b43 + 24 b10 * b46 + 26 b10 * b49 + 28 b10 * b52 + 30 b10 * b55 + 32 b10 * b58 + 34 b10 * b61 + 36 b10 * b64 + 38 b10 * b67 + 40 b10 * b70 + 42 b10 * b73 + 44 b10 * b76 + 46 b10 * b79 + 48 b10 * b82 + 50 b10 * b85 + 52 b10 * b88 + 54 b10 * b91 + 56 b10 * b94 + 58 b10 * b97 + 60 b10 * b100 + 62 b10 * b103 + 64 b10 * b106 + 66 b10 * b109 + 68 b10 * b112 + 70 b10 * b115 + 72 b10 * b118 + 2 b11 * b14 + 4 b11 * b17 + 6 b11 * b20 + 8 b11 * b23 + 10 b11 * b26 + 12 b11 * b29 + 14 b11 * b32 + 16 b11 * b35 + 18 b11 * b38 + 20 b11 * b41 + 22 b11 * b44 + 24 b11 * b47 + 26 b11 * b50 + 28 b11 * b53 + 30 b11 * b56 + 32 b11 * b59 + 34 b11 * b62 + 36 b11 * b65 + 38 b11 * b68 + 40 b11 * b71 + 42 b11 * b74 + 44 b11 * b77 + 46 b11 * b80 + 48 b11 * b83 + 50 b11 * b86 + 52 b11 * b89 + 54 b11 * b92 + 56 b11 * b95 + 58 b11 * b98 + 60 b11 * b101 + 62 b11 * b104 + 64 b11 * b107 + 66 b11 * b110 + 68 b11 * b113 + 70 b11 * b116 + 72 b11 * b119 + 2 b12 * b15 + 4 b12 * b18 + 6 b12 * b21 + 8 b12 * b24 + 10 b12 * b27 + 12 b12 * b30 + 14 b12 * b33 + 16 b12 * b36 + 18 b12 * b39 + 20 b12 * b42 + 22 b12 * b45 + 24 b12 * b48 + 26 b12 * b51 + 28 b12 * b54 + 30 b12 * b57 + 32 b12 * b60 + 34 b12 * b63 + 36 b12 * b66 + 38 b12 * b69 + 40 b12 * b72 + 42 b12 * b75 + 44 b12 * b78 + 46 b12 * b81 + 48 b12 * b84 + 50 b12 * b87 + 52 b12 * b90 + 54 b12 * b93 + 56 b12 * b96 + 58 b12 * b99 + 60 b12 * b102 + 62 b12 * b105 + 64 b12 * b108 + 66 b12 * b111 + 68 b12 * b114 + 70 b12 * b117 + 72 b12 * b120 + 2 b13 * b16 + 4 b13 * b19 + 6 b13 * b22 + 8 b13 * b25 + 10 b13 * b28 + 12 b13 * b31 + 14 b13 * b34 + 16 b13 * b37 + 18 b13 * b40 + 20 b13 * b43 + 22 b13 * b46 + 24 b13 * b49 + 26 b13 * b52 + 28 b13 * b55 + 30 b13 * b58 + 32 b13 * b61 + 34 b13 * b64 + 36 b13 * b67 + 38 b13 * b70 + 40 b13 * b73 + 42 b13 * b76 + 44 b13 * b79 + 46 b13 * b82 + 48 b13 * b85 + 50 b13 * b88 + 52 b13 * b91 + 54 b13 * b94 + 56 b13 * b97 + 58 b13 * b100 + 60 b13 * b103 + 62 b13 * b106 + 64 b13 * b109 + 66 b13 * b112 + 68 b13 * b115 + 70 b13 * b118 + 2 b14 * b17 + 4 b14 * b20 + 6 b14 * b23 + 8 b14 * b26 + 10 b14 * b29 + 12 b14 * b32 + 14 b14 * b35 + 16 b14 * b38 + 18 b14 * b41 + 20 b14 * b44 + 22 b14 * b47 + 24 b14 * b50 + 26 b14 * b53 + 28 b14 * b56 + 30 b14 * b59 + 32 b14 * b62 + 34 b14 * b65 + 36 b14 * b68 + 38 b14 * b71 + 40 b14 * b74 + 42 b14 * b77 + 44 b14 * b80 + 46 b14 * b83 + 48 b14 * b86 + 50 b14 * b89 + 52 b14 * b92 + 54 b14 * b95 + 56 b14 * b98 + 58 b14 * b101 + 60 b14 * b104 + 62 b14 * b107 + 64 b14 * b110 + 66 b14 * b113 + 68 b14 * b116 + 70 b14 * b119 + 2 b15 * b18 + 4 b15 * b21 + 6 b15 * b24 + 8 b15 * b27 + 10 b15 * b30 + 12 b15 * b33 + 14 b15 * b36 + 16 b15 * b39 + 18 b15 * b42 + 20 b15 * b45 + 22 b15 * b48 + 24 b15 * b51 + 26 b15 * b54 + 28 b15 * b57 + 30 b15 * b60 + 32 b15 * b63 + 34 b15 * b66 + 36 b15 * b69 + 38 b15 * b72 + 40 b15 * b75 + 42 b15 * b78 + 44 b15 * b81 + 46 b15 * b84 + 48 b15 * b87 + 50 b15 * b90 + 52 b15 * b93 + 54 b15 * b96 + 56 b15 * b99 + 58 b15 * b102 + 60 b15 * b105 + 62 b15 * b108 + 64 b15 * b111 + 66 b15 * b114 + 68 b15 * b117 + 70 b15 * b120 + 2 b16 * b19 + 4 b16 * b22 + 6 b16 * b25 + 8 b16 * b28 + 10 b16 * b31 + 12 b16 * b34 + 14 b16 * b37 + 16 b16 * b40 + 18 b16 * b43 + 20 b16 * b46 + 22 b16 * b49 + 24 b16 * b52 + 26 b16 * b55 + 28 b16 * b58 + 30 b16 * b61 + 32 b16 * b64 + 34 b16 * b67 + 36 b16 * b70 + 38 b16 * b73 + 40 b16 * b76 + 42 b16 * b79 + 44 b16 * b82 + 46 b16 * b85 + 48 b16 * b88 + 50 b16 * b91 + 52 b16 * b94 + 54 b16 * b97 + 56 b16 * b100 + 58 b16 * b103 + 60 b16 * b106 + 62 b16 * b109 + 64 b16 * b112 + 66 b16 * b115 + 68 b16 * b118 + 2 b17 * b20 + 4 b17 * b23 + 6 b17 * b26 + 8 b17 * b29 + 10 b17 * b32 + 12 b17 * b35 + 14 b17 * b38 + 16 b17 * b41 + 18 b17 * b44 + 20 b17 * b47 + 22 b17 * b50 + 24 b17 * b53 + 26 b17 * b56 + 28 b17 * b59 + 30 b17 * b62 + 32 b17 * b65 + 34 b17 * b68 + 36 b17 * b71 + 38 b17 * b74 + 40 b17 * b77 + 42 b17 * b80 + 44 b17 * b83 + 46 b17 * b86 + 48 b17 * b89 + 50 b17 * b92 + 52 b17 * b95 + 54 b17 * b98 + 56 b17 * b101 + 58 b17 * b104 + 60 b17 * b107 + 62 b17 * b110 + 64 b17 * b113 + 66 b17 * b116 + 68 b17 * b119 + 2 b18 * b21 + 4 b18 * b24 + 6 b18 * b27 + 8 b18 * b30 + 10 b18 * b33 + 12 b18 * b36 + 14 b18 * b39 + 16 b18 * b42 + 18 b18 * b45 + 20 b18 * b48 + 22 b18 * b51 + 24 b18 * b54 + 26 b18 * b57 + 28 b18 * b60 + 30 b18 * b63 + 32 b18 * b66 + 34 b18 * b69 + 36 b18 * b72 + 38 b18 * b75 + 40 b18 * b78 + 42 b18 * b81 + 44 b18 * b84 + 46 b18 * b87 + 48 b18 * b90 + 50 b18 * b93 + 52 b18 * b96 + 54 b18 * b99 + 56 b18 * b102 + 58 b18 * b105 + 60 b18 * b108 + 62 b18 * b111 + 64 b18 * b114 + 66 b18 * b117 + 68 b18 * b120 + 2 b19 * b22 + 4 b19 * b25 + 6 b19 * b28 + 8 b19 * b31 + 10 b19 * b34 + 12 b19 * b37 + 14 b19 * b40 + 16 b19 * b43 + 18 b19 * b46 + 20 b19 * b49 + 22 b19 * b52 + 24 b19 * b55 + 26 b19 * b58 + 28 b19 * b61 + 30 b19 * b64 + 32 b19 * b67 + 34 b19 * b70 + 36 b19 * b73 + 38 b19 * b76 + 40 b19 * b79 + 42 b19 * b82 + 44 b19 * b85 + 46 b19 * b88 + 48 b19 * b91 + 50 b19 * b94 + 52 b19 * b97 + 54 b19 * b100 + 56 b19 * b103 + 58 b19 * b106 + 60 b19 * b109 + 62 b19 * b112 + 64 b19 * b115 + 66 b19 * b118 + 2 b20 * b23 + 4 b20 * b26 + 6 b20 * b29 + 8 b20 * b32 + 10 b20 * b35 + 12 b20 * b38 + 14 b20 * b41 + 16 b20 * b44 + 18 b20 * b47 + 20 b20 * b50 + 22 b20 * b53 + 24 b20 * b56 + 26 b20 * b59 + 28 b20 * b62 + 30 b20 * b65 + 32 b20 * b68 + 34 b20 * b71 + 36 b20 * b74 + 38 b20 * b77 + 40 b20 * b80 + 42 b20 * b83 + 44 b20 * b86 + 46 b20 * b89 + 48 b20 * b92 + 50 b20 * b95 + 52 b20 * b98 + 54 b20 * b101 + 56 b20 * b104 + 58 b20 * b107 + 60 b20 * b110 + 62 b20 * b113 + 64 b20 * b116 + 66 b20 * b119 + 2 b21 * b24 + 4 b21 * b27 + 6 b21 * b30 + 8 b21 * b33 + 10 b21 * b36 + 12 b21 * b39 + 14 b21 * b42 + 16 b21 * b45 + 18 b21 * b48 + 20 b21 * b51 + 22 b21 * b54 + 24 b21 * b57 + 26 b21 * b60 + 28 b21 * b63 + 30 b21 * b66 + 32 b21 * b69 + 34 b21 * b72 + 36 b21 * b75 + 38 b21 * b78 + 40 b21 * b81 + 42 b21 * b84 + 44 b21 * b87 + 46 b21 * b90 + 48 b21 * b93 + 50 b21 * b96 + 52 b21 * b99 + 54 b21 * b102 + 56 b21 * b105 + 58 b21 * b108 + 60 b21 * b111 + 62 b21 * b114 + 64 b21 * b117 + 66 b21 * b120 + 2 b22 * b25 + 4 b22 * b28 + 6 b22 * b31 + 8 b22 * b34 + 10 b22 * b37 + 12 b22 * b40 + 14 b22 * b43 + 16 b22 * b46 + 18 b22 * b49 + 20 b22 * b52 + 22 b22 * b55 + 24 b22 * b58 + 26 b22 * b61 + 28 b22 * b64 + 30 b22 * b67 + 32 b22 * b70 + 34 b22 * b73 + 36 b22 * b76 + 38 b22 * b79 + 40 b22 * b82 + 42 b22 * b85 + 44 b22 * b88 + 46 b22 * b91 + 48 b22 * b94 + 50 b22 * b97 + 52 b22 * b100 + 54 b22 * b103 + 56 b22 * b106 + 58 b22 * b109 + 60 b22 * b112 + 62 b22 * b115 + 64 b22 * b118 + 2 b23 * b26 + 4 b23 * b29 + 6 b23 * b32 + 8 b23 * b35 + 10 b23 * b38 + 12 b23 * b41 + 14 b23 * b44 + 16 b23 * b47 + 18 b23 * b50 + 20 b23 * b53 + 22 b23 * b56 + 24 b23 * b59 + 26 b23 * b62 + 28 b23 * b65 + 30 b23 * b68 + 32 b23 * b71 + 34 b23 * b74 + 36 b23 * b77 + 38 b23 * b80 + 40 b23 * b83 + 42 b23 * b86 + 44 b23 * b89 + 46 b23 * b92 + 48 b23 * b95 + 50 b23 * b98 + 52 b23 * b101 + 54 b23 * b104 + 56 b23 * b107 + 58 b23 * b110 + 60 b23 * b113 + 62 b23 * b116 + 64 b23 * b119 + 2 b24 * b27 + 4 b24 * b30 + 6 b24 * b33 + 8 b24 * b36 + 10 b24 * b39 + 12 b24 * b42 + 14 b24 * b45 + 16 b24 * b48 + 18 b24 * b51 + 20 b24 * b54 + 22 b24 * b57 + 24 b24 * b60 + 26 b24 * b63 + 28 b24 * b66 + 30 b24 * b69 + 32 b24 * b72 + 34 b24 * b75 + 36 b24 * b78 + 38 b24 * b81 + 40 b24 * b84 + 42 b24 * b87 + 44 b24 * b90 + 46 b24 * b93 + 48 b24 * b96 + 50 b24 * b99 + 52 b24 * b102 + 54 b24 * b105 + 56 b24 * b108 + 58 b24 * b111 + 60 b24 * b114 + 62 b24 * b117 + 64 b24 * b120 + 2 b25 * b28 + 4 b25 * b31 + 6 b25 * b34 + 8 b25 * b37 + 10 b25 * b40 + 12 b25 * b43 + 14 b25 * b46 + 16 b25 * b49 + 18 b25 * b52 + 20 b25 * b55 + 22 b25 * b58 + 24 b25 * b61 + 26 b25 * b64 + 28 b25 * b67 + 30 b25 * b70 + 32 b25 * b73 + 34 b25 * b76 + 36 b25 * b79 + 38 b25 * b82 + 40 b25 * b85 + 42 b25 * b88 + 44 b25 * b91 + 46 b25 * b94 + 48 b25 * b97 + 50 b25 * b100 + 52 b25 * b103 + 54 b25 * b106 + 56 b25 * b109 + 58 b25 * b112 + 60 b25 * b115 + 62 b25 * b118 + 2 b26 * b29 + 4 b26 * b32 + 6 b26 * b35 + 8 b26 * b38 + 10 b26 * b41 + 12 b26 * b44 + 14 b26 * b47 + 16 b26 * b50 + 18 b26 * b53 + 20 b26 * b56 + 22 b26 * b59 + 24 b26 * b62 + 26 b26 * b65 + 28 b26 * b68 + 30 b26 * b71 + 32 b26 * b74 + 34 b26 * b77 + 36 b26 * b80 + 38 b26 * b83 + 40 b26 * b86 + 42 b26 * b89 + 44 b26 * b92 + 46 b26 * b95 + 48 b26 * b98 + 50 b26 * b101 + 52 b26 * b104 + 54 b26 * b107 + 56 b26 * b110 + 58 b26 * b113 + 60 b26 * b116 + 62 b26 * b119 + 2 b27 * b30 + 4 b27 * b33 + 6 b27 * b36 + 8 b27 * b39 + 10 b27 * b42 + 12 b27 * b45 + 14 b27 * b48 + 16 b27 * b51 + 18 b27 * b54 + 20 b27 * b57 + 22 b27 * b60 + 24 b27 * b63 + 26 b27 * b66 + 28 b27 * b69 + 30 b27 * b72 + 32 b27 * b75 + 34 b27 * b78 + 36 b27 * b81 + 38 b27 * b84 + 40 b27 * b87 + 42 b27 * b90 + 44 b27 * b93 + 46 b27 * b96 + 48 b27 * b99 + 50 b27 * b102 + 52 b27 * b105 + 54 b27 * b108 + 56 b27 * b111 + 58 b27 * b114 + 60 b27 * b117 + 62 b27 * b120 + 2 b28 * b31 + 4 b28 * b34 + 6 b28 * b37 + 8 b28 * b40 + 10 b28 * b43 + 12 b28 * b46 + 14 b28 * b49 + 16 b28 * b52 + 18 b28 * b55 + 20 b28 * b58 + 22 b28 * b61 + 24 b28 * b64 + 26 b28 * b67 + 28 b28 * b70 + 30 b28 * b73 + 32 b28 * b76 + 34 b28 * b79 + 36 b28 * b82 + 38 b28 * b85 + 40 b28 * b88 + 42 b28 * b91 + 44 b28 * b94 + 46 b28 * b97 + 48 b28 * b100 + 50 b28 * b103 + 52 b28 * b106 + 54 b28 * b109 + 56 b28 * b112 + 58 b28 * b115 + 60 b28 * b118 + 2 b29 * b32 + 4 b29 * b35 + 6 b29 * b38 + 8 b29 * b41 + 10 b29 * b44 + 12 b29 * b47 + 14 b29 * b50 + 16 b29 * b53 + 18 b29 * b56 + 20 b29 * b59 + 22 b29 * b62 + 24 b29 * b65 + 26 b29 * b68 + 28 b29 * b71 + 30 b29 * b74 + 32 b29 * b77 + 34 b29 * b80 + 36 b29 * b83 + 38 b29 * b86 + 40 b29 * b89 + 42 b29 * b92 + 44 b29 * b95 + 46 b29 * b98 + 48 b29 * b101 + 50 b29 * b104 + 52 b29 * b107 + 54 b29 * b110 + 56 b29 * b113 + 58 b29 * b116 + 60 b29 * b119 + 2 b30 * b33 + 4 b30 * b36 + 6 b30 * b39 + 8 b30 * b42 + 10 b30 * b45 + 12 b30 * b48 + 14 b30 * b51 + 16 b30 * b54 + 18 b30 * b57 + 20 b30 * b60 + 22 b30 * b63 + 24 b30 * b66 + 26 b30 * b69 + 28 b30 * b72 + 30 b30 * b75 + 32 b30 * b78 + 34 b30 * b81 + 36 b30 * b84 + 38 b30 * b87 + 40 b30 * b90 + 42 b30 * b93 + 44 b30 * b96 + 46 b30 * b99 + 48 b30 * b102 + 50 b30 * b105 + 52 b30 * b108 + 54 b30 * b111 + 56 b30 * b114 + 58 b30 * b117 + 60 b30 * b120 + 2 b31 * b34 + 4 b31 * b37 + 6 b31 * b40 + 8 b31 * b43 + 10 b31 * b46 + 12 b31 * b49 + 14 b31 * b52 + 16 b31 * b55 + 18 b31 * b58 + 20 b31 * b61 + 22 b31 * b64 + 24 b31 * b67 + 26 b31 * b70 + 28 b31 * b73 + 30 b31 * b76 + 32 b31 * b79 + 34 b31 * b82 + 36 b31 * b85 + 38 b31 * b88 + 40 b31 * b91 + 42 b31 * b94 + 44 b31 * b97 + 46 b31 * b100 + 48 b31 * b103 + 50 b31 * b106 + 52 b31 * b109 + 54 b31 * b112 + 56 b31 * b115 + 58 b31 * b118 + 2 b32 * b35 + 4 b32 * b38 + 6 b32 * b41 + 8 b32 * b44 + 10 b32 * b47 + 12 b32 * b50 + 14 b32 * b53 + 16 b32 * b56 + 18 b32 * b59 + 20 b32 * b62 + 22 b32 * b65 + 24 b32 * b68 + 26 b32 * b71 + 28 b32 * b74 + 30 b32 * b77 + 32 b32 * b80 + 34 b32 * b83 + 36 b32 * b86 + 38 b32 * b89 + 40 b32 * b92 + 42 b32 * b95 + 44 b32 * b98 + 46 b32 * b101 + 48 b32 * b104 + 50 b32 * b107 + 52 b32 * b110 + 54 b32 * b113 + 56 b32 * b116 + 58 b32 * b119 + 2 b33 * b36 + 4 b33 * b39 + 6 b33 * b42 + 8 b33 * b45 + 10 b33 * b48 + 12 b33 * b51 + 14 b33 * b54 + 16 b33 * b57 + 18 b33 * b60 + 20 b33 * b63 + 22 b33 * b66 + 24 b33 * b69 + 26 b33 * b72 + 28 b33 * b75 + 30 b33 * b78 + 32 b33 * b81 + 34 b33 * b84 + 36 b33 * b87 + 38 b33 * b90 + 40 b33 * b93 + 42 b33 * b96 + 44 b33 * b99 + 46 b33 * b102 + 48 b33 * b105 + 50 b33 * b108 + 52 b33 * b111 + 54 b33 * b114 + 56 b33 * b117 + 58 b33 * b120 + 2 b34 * b37 + 4 b34 * b40 + 6 b34 * b43 + 8 b34 * b46 + 10 b34 * b49 + 12 b34 * b52 + 14 b34 * b55 + 16 b34 * b58 + 18 b34 * b61 + 20 b34 * b64 + 22 b34 * b67 + 24 b34 * b70 + 26 b34 * b73 + 28 b34 * b76 + 30 b34 * b79 + 32 b34 * b82 + 34 b34 * b85 + 36 b34 * b88 + 38 b34 * b91 + 40 b34 * b94 + 42 b34 * b97 + 44 b34 * b100 + 46 b34 * b103 + 48 b34 * b106 + 50 b34 * b109 + 52 b34 * b112 + 54 b34 * b115 + 56 b34 * b118 + 2 b35 * b38 + 4 b35 * b41 + 6 b35 * b44 + 8 b35 * b47 + 10 b35 * b50 + 12 b35 * b53 + 14 b35 * b56 + 16 b35 * b59 + 18 b35 * b62 + 20 b35 * b65 + 22 b35 * b68 + 24 b35 * b71 + 26 b35 * b74 + 28 b35 * b77 + 30 b35 * b80 + 32 b35 * b83 + 34 b35 * b86 + 36 b35 * b89 + 38 b35 * b92 + 40 b35 * b95 + 42 b35 * b98 + 44 b35 * b101 + 46 b35 * b104 + 48 b35 * b107 + 50 b35 * b110 + 52 b35 * b113 + 54 b35 * b116 + 56 b35 * b119 + 2 b36 * b39 + 4 b36 * b42 + 6 b36 * b45 + 8 b36 * b48 + 10 b36 * b51 + 12 b36 * b54 + 14 b36 * b57 + 16 b36 * b60 + 18 b36 * b63 + 20 b36 * b66 + 22 b36 * b69 + 24 b36 * b72 + 26 b36 * b75 + 28 b36 * b78 + 30 b36 * b81 + 32 b36 * b84 + 34 b36 * b87 + 36 b36 * b90 + 38 b36 * b93 + 40 b36 * b96 + 42 b36 * b99 + 44 b36 * b102 + 46 b36 * b105 + 48 b36 * b108 + 50 b36 * b111 + 52 b36 * b114 + 54 b36 * b117 + 56 b36 * b120 + 2 b37 * b40 + 4 b37 * b43 + 6 b37 * b46 + 8 b37 * b49 + 10 b37 * b52 + 12 b37 * b55 + 14 b37 * b58 + 16 b37 * b61 + 18 b37 * b64 + 20 b37 * b67 + 22 b37 * b70 + 24 b37 * b73 + 26 b37 * b76 + 28 b37 * b79 + 30 b37 * b82 + 32 b37 * b85 + 34 b37 * b88 + 36 b37 * b91 + 38 b37 * b94 + 40 b37 * b97 + 42 b37 * b100 + 44 b37 * b103 + 46 b37 * b106 + 48 b37 * b109 + 50 b37 * b112 + 52 b37 * b115 + 54 b37 * b118 + 2 b38 * b41 + 4 b38 * b44 + 6 b38 * b47 + 8 b38 * b50 + 10 b38 * b53 + 12 b38 * b56 + 14 b38 * b59 + 16 b38 * b62 + 18 b38 * b65 + 20 b38 * b68 + 22 b38 * b71 + 24 b38 * b74 + 26 b38 * b77 + 28 b38 * b80 + 30 b38 * b83 + 32 b38 * b86 + 34 b38 * b89 + 36 b38 * b92 + 38 b38 * b95 + 40 b38 * b98 + 42 b38 * b101 + 44 b38 * b104 + 46 b38 * b107 + 48 b38 * b110 + 50 b38 * b113 + 52 b38 * b116 + 54 b38 * b119 + 2 b39 * b42 + 4 b39 * b45 + 6 b39 * b48 + 8 b39 * b51 + 10 b39 * b54 + 12 b39 * b57 + 14 b39 * b60 + 16 b39 * b63 + 18 b39 * b66 + 20 b39 * b69 + 22 b39 * b72 + 24 b39 * b75 + 26 b39 * b78 + 28 b39 * b81 + 30 b39 * b84 + 32 b39 * b87 + 34 b39 * b90 + 36 b39 * b93 + 38 b39 * b96 + 40 b39 * b99 + 42 b39 * b102 + 44 b39 * b105 + 46 b39 * b108 + 48 b39 * b111 + 50 b39 * b114 + 52 b39 * b117 + 54 b39 * b120 + 2 b40 * b43 + 4 b40 * b46 + 6 b40 * b49 + 8 b40 * b52 + 10 b40 * b55 + 12 b40 * b58 + 14 b40 * b61 + 16 b40 * b64 + 18 b40 * b67 + 20 b40 * b70 + 22 b40 * b73 + 24 b40 * b76 + 26 b40 * b79 + 28 b40 * b82 + 30 b40 * b85 + 32 b40 * b88 + 34 b40 * b91 + 36 b40 * b94 + 38 b40 * b97 + 40 b40 * b100 + 42 b40 * b103 + 44 b40 * b106 + 46 b40 * b109 + 48 b40 * b112 + 50 b40 * b115 + 52 b40 * b118 + 2 b41 * b44 + 4 b41 * b47 + 6 b41 * b50 + 8 b41 * b53 + 10 b41 * b56 + 12 b41 * b59 + 14 b41 * b62 + 16 b41 * b65 + 18 b41 * b68 + 20 b41 * b71 + 22 b41 * b74 + 24 b41 * b77 + 26 b41 * b80 + 28 b41 * b83 + 30 b41 * b86 + 32 b41 * b89 + 34 b41 * b92 + 36 b41 * b95 + 38 b41 * b98 + 40 b41 * b101 + 42 b41 * b104 + 44 b41 * b107 + 46 b41 * b110 + 48 b41 * b113 + 50 b41 * b116 + 52 b41 * b119 + 2 b42 * b45 + 4 b42 * b48 + 6 b42 * b51 + 8 b42 * b54 + 10 b42 * b57 + 12 b42 * b60 + 14 b42 * b63 + 16 b42 * b66 + 18 b42 * b69 + 20 b42 * b72 + 22 b42 * b75 + 24 b42 * b78 + 26 b42 * b81 + 28 b42 * b84 + 30 b42 * b87 + 32 b42 * b90 + 34 b42 * b93 + 36 b42 * b96 + 38 b42 * b99 + 40 b42 * b102 + 42 b42 * b105 + 44 b42 * b108 + 46 b42 * b111 + 48 b42 * b114 + 50 b42 * b117 + 52 b42 * b120 + 2 b43 * b46 + 4 b43 * b49 + 6 b43 * b52 + 8 b43 * b55 + 10 b43 * b58 + 12 b43 * b61 + 14 b43 * b64 + 16 b43 * b67 + 18 b43 * b70 + 20 b43 * b73 + 22 b43 * b76 + 24 b43 * b79 + 26 b43 * b82 + 28 b43 * b85 + 30 b43 * b88 + 32 b43 * b91 + 34 b43 * b94 + 36 b43 * b97 + 38 b43 * b100 + 40 b43 * b103 + 42 b43 * b106 + 44 b43 * b109 + 46 b43 * b112 + 48 b43 * b115 + 50 b43 * b118 + 2 b44 * b47 + 4 b44 * b50 + 6 b44 * b53 + 8 b44 * b56 + 10 b44 * b59 + 12 b44 * b62 + 14 b44 * b65 + 16 b44 * b68 + 18 b44 * b71 + 20 b44 * b74 + 22 b44 * b77 + 24 b44 * b80 + 26 b44 * b83 + 28 b44 * b86 + 30 b44 * b89 + 32 b44 * b92 + 34 b44 * b95 + 36 b44 * b98 + 38 b44 * b101 + 40 b44 * b104 + 42 b44 * b107 + 44 b44 * b110 + 46 b44 * b113 + 48 b44 * b116 + 50 b44 * b119 + 2 b45 * b48 + 4 b45 * b51 + 6 b45 * b54 + 8 b45 * b57 + 10 b45 * b60 + 12 b45 * b63 + 14 b45 * b66 + 16 b45 * b69 + 18 b45 * b72 + 20 b45 * b75 + 22 b45 * b78 + 24 b45 * b81 + 26 b45 * b84 + 28 b45 * b87 + 30 b45 * b90 + 32 b45 * b93 + 34 b45 * b96 + 36 b45 * b99 + 38 b45 * b102 + 40 b45 * b105 + 42 b45 * b108 + 44 b45 * b111 + 46 b45 * b114 + 48 b45 * b117 + 50 b45 * b120 + 2 b46 * b49 + 4 b46 * b52 + 6 b46 * b55 + 8 b46 * b58 + 10 b46 * b61 + 12 b46 * b64 + 14 b46 * b67 + 16 b46 * b70 + 18 b46 * b73 + 20 b46 * b76 + 22 b46 * b79 + 24 b46 * b82 + 26 b46 * b85 + 28 b46 * b88 + 30 b46 * b91 + 32 b46 * b94 + 34 b46 * b97 + 36 b46 * b100 + 38 b46 * b103 + 40 b46 * b106 + 42 b46 * b109 + 44 b46 * b112 + 46 b46 * b115 + 48 b46 * b118 + 2 b47 * b50 + 4 b47 * b53 + 6 b47 * b56 + 8 b47 * b59 + 10 b47 * b62 + 12 b47 * b65 + 14 b47 * b68 + 16 b47 * b71 + 18 b47 * b74 + 20 b47 * b77 + 22 b47 * b80 + 24 b47 * b83 + 26 b47 * b86 + 28 b47 * b89 + 30 b47 * b92 + 32 b47 * b95 + 34 b47 * b98 + 36 b47 * b101 + 38 b47 * b104 + 40 b47 * b107 + 42 b47 * b110 + 44 b47 * b113 + 46 b47 * b116 + 48 b47 * b119 + 2 b48 * b51 + 4 b48 * b54 + 6 b48 * b57 + 8 b48 * b60 + 10 b48 * b63 + 12 b48 * b66 + 14 b48 * b69 + 16 b48 * b72 + 18 b48 * b75 + 20 b48 * b78 + 22 b48 * b81 + 24 b48 * b84 + 26 b48 * b87 + 28 b48 * b90 + 30 b48 * b93 + 32 b48 * b96 + 34 b48 * b99 + 36 b48 * b102 + 38 b48 * b105 + 40 b48 * b108 + 42 b48 * b111 + 44 b48 * b114 + 46 b48 * b117 + 48 b48 * b120 + 2 b49 * b52 + 4 b49 * b55 + 6 b49 * b58 + 8 b49 * b61 + 10 b49 * b64 + 12 b49 * b67 + 14 b49 * b70 + 16 b49 * b73 + 18 b49 * b76 + 20 b49 * b79 + 22 b49 * b82 + 24 b49 * b85 + 26 b49 * b88 + 28 b49 * b91 + 30 b49 * b94 + 32 b49 * b97 + 34 b49 * b100 + 36 b49 * b103 + 38 b49 * b106 + 40 b49 * b109 + 42 b49 * b112 + 44 b49 * b115 + 46 b49 * b118 + 2 b50 * b53 + 4 b50 * b56 + 6 b50 * b59 + 8 b50 * b62 + 10 b50 * b65 + 12 b50 * b68 + 14 b50 * b71 + 16 b50 * b74 + 18 b50 * b77 + 20 b50 * b80 + 22 b50 * b83 + 24 b50 * b86 + 26 b50 * b89 + 28 b50 * b92 + 30 b50 * b95 + 32 b50 * b98 + 34 b50 * b101 + 36 b50 * b104 + 38 b50 * b107 + 40 b50 * b110 + 42 b50 * b113 + 44 b50 * b116 + 46 b50 * b119 + 2 b51 * b54 + 4 b51 * b57 + 6 b51 * b60 + 8 b51 * b63 + 10 b51 * b66 + 12 b51 * b69 + 14 b51 * b72 + 16 b51 * b75 + 18 b51 * b78 + 20 b51 * b81 + 22 b51 * b84 + 24 b51 * b87 + 26 b51 * b90 + 28 b51 * b93 + 30 b51 * b96 + 32 b51 * b99 + 34 b51 * b102 + 36 b51 * b105 + 38 b51 * b108 + 40 b51 * b111 + 42 b51 * b114 + 44 b51 * b117 + 46 b51 * b120 + 2 b52 * b55 + 4 b52 * b58 + 6 b52 * b61 + 8 b52 * b64 + 10 b52 * b67 + 12 b52 * b70 + 14 b52 * b73 + 16 b52 * b76 + 18 b52 * b79 + 20 b52 * b82 + 22 b52 * b85 + 24 b52 * b88 + 26 b52 * b91 + 28 b52 * b94 + 30 b52 * b97 + 32 b52 * b100 + 34 b52 * b103 + 36 b52 * b106 + 38 b52 * b109 + 40 b52 * b112 + 42 b52 * b115 + 44 b52 * b118 + 2 b53 * b56 + 4 b53 * b59 + 6 b53 * b62 + 8 b53 * b65 + 10 b53 * b68 + 12 b53 * b71 + 14 b53 * b74 + 16 b53 * b77 + 18 b53 * b80 + 20 b53 * b83 + 22 b53 * b86 + 24 b53 * b89 + 26 b53 * b92 + 28 b53 * b95 + 30 b53 * b98 + 32 b53 * b101 + 34 b53 * b104 + 36 b53 * b107 + 38 b53 * b110 + 40 b53 * b113 + 42 b53 * b116 + 44 b53 * b119 + 2 b54 * b57 + 4 b54 * b60 + 6 b54 * b63 + 8 b54 * b66 + 10 b54 * b69 + 12 b54 * b72 + 14 b54 * b75 + 16 b54 * b78 + 18 b54 * b81 + 20 b54 * b84 + 22 b54 * b87 + 24 b54 * b90 + 26 b54 * b93 + 28 b54 * b96 + 30 b54 * b99 + 32 b54 * b102 + 34 b54 * b105 + 36 b54 * b108 + 38 b54 * b111 + 40 b54 * b114 + 42 b54 * b117 + 44 b54 * b120 + 2 b55 * b58 + 4 b55 * b61 + 6 b55 * b64 + 8 b55 * b67 + 10 b55 * b70 + 12 b55 * b73 + 14 b55 * b76 + 16 b55 * b79 + 18 b55 * b82 + 20 b55 * b85 + 22 b55 * b88 + 24 b55 * b91 + 26 b55 * b94 + 28 b55 * b97 + 30 b55 * b100 + 32 b55 * b103 + 34 b55 * b106 + 36 b55 * b109 + 38 b55 * b112 + 40 b55 * b115 + 42 b55 * b118 + 2 b56 * b59 + 4 b56 * b62 + 6 b56 * b65 + 8 b56 * b68 + 10 b56 * b71 + 12 b56 * b74 + 14 b56 * b77 + 16 b56 * b80 + 18 b56 * b83 + 20 b56 * b86 + 22 b56 * b89 + 24 b56 * b92 + 26 b56 * b95 + 28 b56 * b98 + 30 b56 * b101 + 32 b56 * b104 + 34 b56 * b107 + 36 b56 * b110 + 38 b56 * b113 + 40 b56 * b116 + 42 b56 * b119 + 2 b57 * b60 + 4 b57 * b63 + 6 b57 * b66 + 8 b57 * b69 + 10 b57 * b72 + 12 b57 * b75 + 14 b57 * b78 + 16 b57 * b81 + 18 b57 * b84 + 20 b57 * b87 + 22 b57 * b90 + 24 b57 * b93 + 26 b57 * b96 + 28 b57 * b99 + 30 b57 * b102 + 32 b57 * b105 + 34 b57 * b108 + 36 b57 * b111 + 38 b57 * b114 + 40 b57 * b117 + 42 b57 * b120 + 2 b58 * b61 + 4 b58 * b64 + 6 b58 * b67 + 8 b58 * b70 + 10 b58 * b73 + 12 b58 * b76 + 14 b58 * b79 + 16 b58 * b82 + 18 b58 * b85 + 20 b58 * b88 + 22 b58 * b91 + 24 b58 * b94 + 26 b58 * b97 + 28 b58 * b100 + 30 b58 * b103 + 32 b58 * b106 + 34 b58 * b109 + 36 b58 * b112 + 38 b58 * b115 + 40 b58 * b118 + 2 b59 * b62 + 4 b59 * b65 + 6 b59 * b68 + 8 b59 * b71 + 10 b59 * b74 + 12 b59 * b77 + 14 b59 * b80 + 16 b59 * b83 + 18 b59 * b86 + 20 b59 * b89 + 22 b59 * b92 + 24 b59 * b95 + 26 b59 * b98 + 28 b59 * b101 + 30 b59 * b104 + 32 b59 * b107 + 34 b59 * b110 + 36 b59 * b113 + 38 b59 * b116 + 40 b59 * b119 + 2 b60 * b63 + 4 b60 * b66 + 6 b60 * b69 + 8 b60 * b72 + 10 b60 * b75 + 12 b60 * b78 + 14 b60 * b81 + 16 b60 * b84 + 18 b60 * b87 + 20 b60 * b90 + 22 b60 * b93 + 24 b60 * b96 + 26 b60 * b99 + 28 b60 * b102 + 30 b60 * b105 + 32 b60 * b108 + 34 b60 * b111 + 36 b60 * b114 + 38 b60 * b117 + 40 b60 * b120 + 2 b61 * b64 + 4 b61 * b67 + 6 b61 * b70 + 8 b61 * b73 + 10 b61 * b76 + 12 b61 * b79 + 14 b61 * b82 + 16 b61 * b85 + 18 b61 * b88 + 20 b61 * b91 + 22 b61 * b94 + 24 b61 * b97 + 26 b61 * b100 + 28 b61 * b103 + 30 b61 * b106 + 32 b61 * b109 + 34 b61 * b112 + 36 b61 * b115 + 38 b61 * b118 + 2 b62 * b65 + 4 b62 * b68 + 6 b62 * b71 + 8 b62 * b74 + 10 b62 * b77 + 12 b62 * b80 + 14 b62 * b83 + 16 b62 * b86 + 18 b62 * b89 + 20 b62 * b92 + 22 b62 * b95 + 24 b62 * b98 + 26 b62 * b101 + 28 b62 * b104 + 30 b62 * b107 + 32 b62 * b110 + 34 b62 * b113 + 36 b62 * b116 + 38 b62 * b119 + 2 b63 * b66 + 4 b63 * b69 + 6 b63 * b72 + 8 b63 * b75 + 10 b63 * b78 + 12 b63 * b81 + 14 b63 * b84 + 16 b63 * b87 + 18 b63 * b90 + 20 b63 * b93 + 22 b63 * b96 + 24 b63 * b99 + 26 b63 * b102 + 28 b63 * b105 + 30 b63 * b108 + 32 b63 * b111 + 34 b63 * b114 + 36 b63 * b117 + 38 b63 * b120 + 2 b64 * b67 + 4 b64 * b70 + 6 b64 * b73 + 8 b64 * b76 + 10 b64 * b79 + 12 b64 * b82 + 14 b64 * b85 + 16 b64 * b88 + 18 b64 * b91 + 20 b64 * b94 + 22 b64 * b97 + 24 b64 * b100 + 26 b64 * b103 + 28 b64 * b106 + 30 b64 * b109 + 32 b64 * b112 + 34 b64 * b115 + 36 b64 * b118 + 2 b65 * b68 + 4 b65 * b71 + 6 b65 * b74 + 8 b65 * b77 + 10 b65 * b80 + 12 b65 * b83 + 14 b65 * b86 + 16 b65 * b89 + 18 b65 * b92 + 20 b65 * b95 + 22 b65 * b98 + 24 b65 * b101 + 26 b65 * b104 + 28 b65 * b107 + 30 b65 * b110 + 32 b65 * b113 + 34 b65 * b116 + 36 b65 * b119 + 2 b66 * b69 + 4 b66 * b72 + 6 b66 * b75 + 8 b66 * b78 + 10 b66 * b81 + 12 b66 * b84 + 14 b66 * b87 + 16 b66 * b90 + 18 b66 * b93 + 20 b66 * b96 + 22 b66 * b99 + 24 b66 * b102 + 26 b66 * b105 + 28 b66 * b108 + 30 b66 * b111 + 32 b66 * b114 + 34 b66 * b117 + 36 b66 * b120 + 2 b67 * b70 + 4 b67 * b73 + 6 b67 * b76 + 8 b67 * b79 + 10 b67 * b82 + 12 b67 * b85 + 14 b67 * b88 + 16 b67 * b91 + 18 b67 * b94 + 20 b67 * b97 + 22 b67 * b100 + 24 b67 * b103 + 26 b67 * b106 + 28 b67 * b109 + 30 b67 * b112 + 32 b67 * b115 + 34 b67 * b118 + 2 b68 * b71 + 4 b68 * b74 + 6 b68 * b77 + 8 b68 * b80 + 10 b68 * b83 + 12 b68 * b86 + 14 b68 * b89 + 16 b68 * b92 + 18 b68 * b95 + 20 b68 * b98 + 22 b68 * b101 + 24 b68 * b104 + 26 b68 * b107 + 28 b68 * b110 + 30 b68 * b113 + 32 b68 * b116 + 34 b68 * b119 + 2 b69 * b72 + 4 b69 * b75 + 6 b69 * b78 + 8 b69 * b81 + 10 b69 * b84 + 12 b69 * b87 + 14 b69 * b90 + 16 b69 * b93 + 18 b69 * b96 + 20 b69 * b99 + 22 b69 * b102 + 24 b69 * b105 + 26 b69 * b108 + 28 b69 * b111 + 30 b69 * b114 + 32 b69 * b117 + 34 b69 * b120 + 2 b70 * b73 + 4 b70 * b76 + 6 b70 * b79 + 8 b70 * b82 + 10 b70 * b85 + 12 b70 * b88 + 14 b70 * b91 + 16 b70 * b94 + 18 b70 * b97 + 20 b70 * b100 + 22 b70 * b103 + 24 b70 * b106 + 26 b70 * b109 + 28 b70 * b112 + 30 b70 * b115 + 32 b70 * b118 + 2 b71 * b74 + 4 b71 * b77 + 6 b71 * b80 + 8 b71 * b83 + 10 b71 * b86 + 12 b71 * b89 + 14 b71 * b92 + 16 b71 * b95 + 18 b71 * b98 + 20 b71 * b101 + 22 b71 * b104 + 24 b71 * b107 + 26 b71 * b110 + 28 b71 * b113 + 30 b71 * b116 + 32 b71 * b119 + 2 b72 * b75 + 4 b72 * b78 + 6 b72 * b81 + 8 b72 * b84 + 10 b72 * b87 + 12 b72 * b90 + 14 b72 * b93 + 16 b72 * b96 + 18 b72 * b99 + 20 b72 * b102 + 22 b72 * b105 + 24 b72 * b108 + 26 b72 * b111 + 28 b72 * b114 + 30 b72 * b117 + 32 b72 * b120 + 2 b73 * b76 + 4 b73 * b79 + 6 b73 * b82 + 8 b73 * b85 + 10 b73 * b88 + 12 b73 * b91 + 14 b73 * b94 + 16 b73 * b97 + 18 b73 * b100 + 20 b73 * b103 + 22 b73 * b106 + 24 b73 * b109 + 26 b73 * b112 + 28 b73 * b115 + 30 b73 * b118 + 2 b74 * b77 + 4 b74 * b80 + 6 b74 * b83 + 8 b74 * b86 + 10 b74 * b89 + 12 b74 * b92 + 14 b74 * b95 + 16 b74 * b98 + 18 b74 * b101 + 20 b74 * b104 + 22 b74 * b107 + 24 b74 * b110 + 26 b74 * b113 + 28 b74 * b116 + 30 b74 * b119 + 2 b75 * b78 + 4 b75 * b81 + 6 b75 * b84 + 8 b75 * b87 + 10 b75 * b90 + 12 b75 * b93 + 14 b75 * b96 + 16 b75 * b99 + 18 b75 * b102 + 20 b75 * b105 + 22 b75 * b108 + 24 b75 * b111 + 26 b75 * b114 + 28 b75 * b117 + 30 b75 * b120 + 2 b76 * b79 + 4 b76 * b82 + 6 b76 * b85 + 8 b76 * b88 + 10 b76 * b91 + 12 b76 * b94 + 14 b76 * b97 + 16 b76 * b100 + 18 b76 * b103 + 20 b76 * b106 + 22 b76 * b109 + 24 b76 * b112 + 26 b76 * b115 + 28 b76 * b118 + 2 b77 * b80 + 4 b77 * b83 + 6 b77 * b86 + 8 b77 * b89 + 10 b77 * b92 + 12 b77 * b95 + 14 b77 * b98 + 16 b77 * b101 + 18 b77 * b104 + 20 b77 * b107 + 22 b77 * b110 + 24 b77 * b113 + 26 b77 * b116 + 28 b77 * b119 + 2 b78 * b81 + 4 b78 * b84 + 6 b78 * b87 + 8 b78 * b90 + 10 b78 * b93 + 12 b78 * b96 + 14 b78 * b99 + 16 b78 * b102 + 18 b78 * b105 + 20 b78 * b108 + 22 b78 * b111 + 24 b78 * b114 + 26 b78 * b117 + 28 b78 * b120 + 2 b79 * b82 + 4 b79 * b85 + 6 b79 * b88 + 8 b79 * b91 + 10 b79 * b94 + 12 b79 * b97 + 14 b79 * b100 + 16 b79 * b103 + 18 b79 * b106 + 20 b79 * b109 + 22 b79 * b112 + 24 b79 * b115 + 26 b79 * b118 + 2 b80 * b83 + 4 b80 * b86 + 6 b80 * b89 + 8 b80 * b92 + 10 b80 * b95 + 12 b80 * b98 + 14 b80 * b101 + 16 b80 * b104 + 18 b80 * b107 + 20 b80 * b110 + 22 b80 * b113 + 24 b80 * b116 + 26 b80 * b119 + 2 b81 * b84 + 4 b81 * b87 + 6 b81 * b90 + 8 b81 * b93 + 10 b81 * b96 + 12 b81 * b99 + 14 b81 * b102 + 16 b81 * b105 + 18 b81 * b108 + 20 b81 * b111 + 22 b81 * b114 + 24 b81 * b117 + 26 b81 * b120 + 2 b82 * b85 + 4 b82 * b88 + 6 b82 * b91 + 8 b82 * b94 + 10 b82 * b97 + 12 b82 * b100 + 14 b82 * b103 + 16 b82 * b106 + 18 b82 * b109 + 20 b82 * b112 + 22 b82 * b115 + 24 b82 * b118 + 2 b83 * b86 + 4 b83 * b89 + 6 b83 * b92 + 8 b83 * b95 + 10 b83 * b98 + 12 b83 * b101 + 14 b83 * b104 + 16 b83 * b107 + 18 b83 * b110 + 20 b83 * b113 + 22 b83 * b116 + 24 b83 * b119 + 2 b84 * b87 + 4 b84 * b90 + 6 b84 * b93 + 8 b84 * b96 + 10 b84 * b99 + 12 b84 * b102 + 14 b84 * b105 + 16 b84 * b108 + 18 b84 * b111 + 20 b84 * b114 + 22 b84 * b117 + 24 b84 * b120 + 2 b85 * b88 + 4 b85 * b91 + 6 b85 * b94 + 8 b85 * b97 + 10 b85 * b100 + 12 b85 * b103 + 14 b85 * b106 + 16 b85 * b109 + 18 b85 * b112 + 20 b85 * b115 + 22 b85 * b118 + 2 b86 * b89 + 4 b86 * b92 + 6 b86 * b95 + 8 b86 * b98 + 10 b86 * b101 + 12 b86 * b104 + 14 b86 * b107 + 16 b86 * b110 + 18 b86 * b113 + 20 b86 * b116 + 22 b86 * b119 + 2 b87 * b90 + 4 b87 * b93 + 6 b87 * b96 + 8 b87 * b99 + 10 b87 * b102 + 12 b87 * b105 + 14 b87 * b108 + 16 b87 * b111 + 18 b87 * b114 + 20 b87 * b117 + 22 b87 * b120 + 2 b88 * b91 + 4 b88 * b94 + 6 b88 * b97 + 8 b88 * b100 + 10 b88 * b103 + 12 b88 * b106 + 14 b88 * b109 + 16 b88 * b112 + 18 b88 * b115 + 20 b88 * b118 + 2 b89 * b92 + 4 b89 * b95 + 6 b89 * b98 + 8 b89 * b101 + 10 b89 * b104 + 12 b89 * b107 + 14 b89 * b110 + 16 b89 * b113 + 18 b89 * b116 + 20 b89 * b119 + 2 b90 * b93 + 4 b90 * b96 + 6 b90 * b99 + 8 b90 * b102 + 10 b90 * b105 + 12 b90 * b108 + 14 b90 * b111 + 16 b90 * b114 + 18 b90 * b117 + 20 b90 * b120 + 2 b91 * b94 + 4 b91 * b97 + 6 b91 * b100 + 8 b91 * b103 + 10 b91 * b106 + 12 b91 * b109 + 14 b91 * b112 + 16 b91 * b115 + 18 b91 * b118 + 2 b92 * b95 + 4 b92 * b98 + 6 b92 * b101 + 8 b92 * b104 + 10 b92 * b107 + 12 b92 * b110 + 14 b92 * b113 + 16 b92 * b116 + 18 b92 * b119 + 2 b93 * b96 + 4 b93 * b99 + 6 b93 * b102 + 8 b93 * b105 + 10 b93 * b108 + 12 b93 * b111 + 14 b93 * b114 + 16 b93 * b117 + 18 b93 * b120 + 2 b94 * b97 + 4 b94 * b100 + 6 b94 * b103 + 8 b94 * b106 + 10 b94 * b109 + 12 b94 * b112 + 14 b94 * b115 + 16 b94 * b118 + 2 b95 * b98 + 4 b95 * b101 + 6 b95 * b104 + 8 b95 * b107 + 10 b95 * b110 + 12 b95 * b113 + 14 b95 * b116 + 16 b95 * b119 + 2 b96 * b99 + 4 b96 * b102 + 6 b96 * b105 + 8 b96 * b108 + 10 b96 * b111 + 12 b96 * b114 + 14 b96 * b117 + 16 b96 * b120 + 2 b97 * b100 + 4 b97 * b103 + 6 b97 * b106 + 8 b97 * b109 + 10 b97 * b112 + 12 b97 * b115 + 14 b97 * b118 + 2 b98 * b101 + 4 b98 * b104 + 6 b98 * b107 + 8 b98 * b110 + 10 b98 * b113 + 12 b98 * b116 + 14 b98 * b119 + 2 b99 * b102 + 4 b99 * b105 + 6 b99 * b108 + 8 b99 * b111 + 10 b99 * b114 + 12 b99 * b117 + 14 b99 * b120 + 2 b100 * b103 + 4 b100 * b106 + 6 b100 * b109 + 8 b100 * b112 + 10 b100 * b115 + 12 b100 * b118 + 2 b101 * b104 + 4 b101 * b107 + 6 b101 * b110 + 8 b101 * b113 + 10 b101 * b116 + 12 b101 * b119 + 2 b102 * b105 + 4 b102 * b108 + 6 b102 * b111 + 8 b102 * b114 + 10 b102 * b117 + 12 b102 * b120 + 2 b103 * b106 + 4 b103 * b109 + 6 b103 * b112 + 8 b103 * b115 + 10 b103 * b118 + 2 b104 * b107 + 4 b104 * b110 + 6 b104 * b113 + 8 b104 * b116 + 10 b104 * b119 + 2 b105 * b108 + 4 b105 * b111 + 6 b105 * b114 + 8 b105 * b117 + 10 b105 * b120 + 2 b106 * b109 + 4 b106 * b112 + 6 b106 * b115 + 8 b106 * b118 + 2 b107 * b110 + 4 b107 * b113 + 6 b107 * b116 + 8 b107 * b119 + 2 b108 * b111 + 4 b108 * b114 + 6 b108 * b117 + 8 b108 * b120 + 2 b109 * b112 + 4 b109 * b115 + 6 b109 * b118 + 2 b110 * b113 + 4 b110 * b116 + 6 b110 * b119 + 2 b111 * b114 + 4 b111 * b117 + 6 b111 * b120 + 2 b112 * b115 + 4 b112 * b118 + 2 b113 * b116 + 4 b113 * b119 + 2 b114 * b117 + 4 b114 * b120 + 2 b115 * b118 + 2 b116 * b119 + 2 b117 * b120 ]/2 Subject To e1: b1 + b2 + b3 = 1 e2: b4 + b5 + b6 = 1 e3: b7 + b8 + b9 = 1 e4: b10 + b11 + b12 = 1 e5: b13 + b14 + b15 = 1 e6: b16 + b17 + b18 = 1 e7: b19 + b20 + b21 = 1 e8: b22 + b23 + b24 = 1 e9: b25 + b26 + b27 = 1 e10: b28 + b29 + b30 = 1 e11: b31 + b32 + b33 = 1 e12: b34 + b35 + b36 = 1 e13: b37 + b38 + b39 = 1 e14: b40 + b41 + b42 = 1 e15: b43 + b44 + b45 = 1 e16: b46 + b47 + b48 = 1 e17: b49 + b50 + b51 = 1 e18: b52 + b53 + b54 = 1 e19: b55 + b56 + b57 = 1 e20: b58 + b59 + b60 = 1 e21: b61 + b62 + b63 = 1 e22: b64 + b65 + b66 = 1 e23: b67 + b68 + b69 = 1 e24: b70 + b71 + b72 = 1 e25: b73 + b74 + b75 = 1 e26: b76 + b77 + b78 = 1 e27: b79 + b80 + b81 = 1 e28: b82 + b83 + b84 = 1 e29: b85 + b86 + b87 = 1 e30: b88 + b89 + b90 = 1 e31: b91 + b92 + b93 = 1 e32: b94 + b95 + b96 = 1 e33: b97 + b98 + b99 = 1 e34: b100 + b101 + b102 = 1 e35: b103 + b104 + b105 = 1 e36: b106 + b107 + b108 = 1 e37: b109 + b110 + b111 = 1 e38: b112 + b113 + b114 = 1 e39: b115 + b116 + b117 = 1 e40: b118 + b119 + b120 = 1 Binary b1 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 b92 b93 b94 b95 b96 b97 b98 b99 b100 b101 b102 b103 b104 b105 b106 b107 b108 b109 b110 b111 b112 b113 b114 b115 b116 b117 b118 b119 b120 End