\ Equation counts \ Total E G L N X C B \ 1 0 0 1 0 0 0 0 \ \ Variable counts \ x b i s1s s2s sc si \ Total cont binary integer sos1 sos2 scont sint \ 80 0 80 0 0 0 0 0 \ \ Nonzero counts \ Total const NL DLL \ 160 80 80 0 \ Minimize obj: 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 + [ - 182 b2 * b3 - 84 b2 * b4 - 64 b2 * b5 - 32 b2 * b6 - 10 b2 * b7 - 46 b2 * b8 - 40 b2 * b9 - 172 b2 * b10 - 2 b2 * b11 - 112 b2 * b12 - 42 b2 * b13 - 82 b2 * b14 - 78 b2 * b15 - 6 b2 * b16 - 78 b2 * b17 - 2 b2 * b18 - 62 b2 * b19 - 140 b2 * b20 - 104 b2 * b21 - 136 b2 * b22 - 14 b2 * b23 - 30 b2 * b24 - 140 b2 * b25 - 146 b2 * b26 - 132 b2 * b27 - 162 b2 * b28 - 6 b2 * b29 - 106 b2 * b30 - 40 b2 * b31 - 100 b2 * b32 - 158 b2 * b33 - 46 b2 * b34 - 176 b2 * b35 - 10 b2 * b36 - 138 b2 * b37 - 142 b2 * b38 - 44 b2 * b39 - 72 b2 * b40 - 136 b2 * b41 - 60 b2 * b42 - 16 b2 * b43 - 190 b2 * b44 - 86 b2 * b45 - 26 b2 * b46 - 36 b2 * b47 - 2 b2 * b48 - 128 b2 * b49 - 36 b2 * b50 - 132 b2 * b51 - 48 b2 * b52 - 152 b2 * b53 - 108 b2 * b54 - 192 b2 * b55 - 196 b2 * b56 - 84 b2 * b57 - 56 b2 * b58 - 116 b2 * b59 - 48 b2 * b60 - 156 b2 * b61 - 154 b2 * b62 - 68 b2 * b63 - 126 b2 * b64 - 170 b2 * b65 - 108 b2 * b66 - 4 b2 * b67 - 86 b2 * b68 - 182 b2 * b69 - 100 b3 * b4 - 184 b3 * b5 - 8 b3 * b6 - 126 b3 * b7 - 50 b3 * b8 - 52 b3 * b9 - 182 b3 * b10 - 78 b3 * b11 - 40 b3 * b12 - 78 b3 * b13 - 198 b3 * b14 - 24 b3 * b15 - 20 b3 * b16 - 172 b3 * b17 - 114 b3 * b18 - 78 b3 * b19 - 20 b3 * b20 - 180 b3 * b21 - 50 b3 * b22 - 8 b3 * b23 - 182 b3 * b24 - 104 b3 * b25 - 182 b3 * b26 - 24 b3 * b27 - 36 b3 * b29 - 32 b3 * b30 - 66 b3 * b31 - 188 b3 * b32 - 22 b3 * b33 - 196 b3 * b34 - 170 b3 * b35 - 4 b3 * b36 - 106 b3 * b37 - 128 b3 * b38 - 118 b3 * b40 - 160 b3 * b42 - 78 b3 * b43 - 8 b3 * b44 - 164 b3 * b45 - 178 b3 * b46 - 40 b3 * b47 - 70 b3 * b48 - 134 b3 * b49 - 152 b3 * b50 - 98 b3 * b51 - 96 b3 * b52 - 170 b3 * b53 - 92 b3 * b54 - 146 b3 * b55 - 10 b3 * b56 - 90 b3 * b57 - 62 b3 * b58 - 168 b3 * b59 - 166 b3 * b60 - 156 b3 * b61 - 126 b3 * b62 - 76 b3 * b63 - 154 b3 * b65 - 158 b3 * b66 - 56 b3 * b68 - 114 b3 * b70 - 106 b3 * b71 - 70 b3 * b72 - 176 b3 * b73 - 12 b3 * b74 - 136 b3 * b75 - 56 b3 * b76 - 158 b3 * b77 - 72 b3 * b78 - 162 b3 * b79 - 194 b3 * b80 - 44 b4 * b5 - 200 b4 * b6 - 48 b4 * b7 - 14 b4 * b8 - 138 b4 * b9 - 20 b4 * b10 - 140 b4 * b11 - 114 b4 * b12 - 142 b4 * b14 - 200 b4 * b15 - 88 b4 * b16 - 148 b4 * b17 - 70 b4 * b18 - 110 b4 * b19 - 146 b4 * b20 - 188 b4 * b21 - 70 b4 * b22 - 176 b4 * b23 - 140 b4 * b24 - 8 b4 * b25 - 186 b4 * b26 - 84 b4 * b27 - 80 b4 * b28 - 70 b4 * b29 - 94 b4 * b30 - 126 b4 * b31 - 90 b4 * b32 - 190 b4 * b34 - 12 b4 * b35 - 34 b4 * b36 - 182 b4 * b37 - 184 b4 * b38 - 124 b4 * b39 - 90 b4 * b40 - 20 b4 * b41 - 86 b4 * b42 - 146 b4 * b43 - 114 b4 * b44 - 156 b4 * b45 - 182 b4 * b46 - 82 b4 * b48 - 152 b4 * b49 - 166 b4 * b50 - 188 b4 * b51 - 96 b4 * b52 - 176 b4 * b53 - 166 b4 * b55 - 168 b4 * b56 - 150 b4 * b57 - 192 b4 * b58 - 10 b4 * b59 - 8 b4 * b60 - 186 b4 * b61 - 82 b4 * b62 - 82 b4 * b63 - 30 b4 * b64 - 132 b4 * b65 - 38 b4 * b66 - 118 b4 * b68 - 26 b4 * b69 - 150 b4 * b70 - 96 b4 * b71 - 98 b4 * b73 - 86 b4 * b74 - 160 b4 * b75 - 104 b4 * b77 - 112 b4 * b78 - 126 b4 * b79 - 4 b4 * b80 - 16 b4 * b81 - 86 b5 * b6 - 46 b5 * b7 - 30 b5 * b8 - 156 b5 * b9 - 44 b5 * b10 - 64 b5 * b11 - 124 b5 * b12 - 102 b5 * b14 - 128 b5 * b15 - 52 b5 * b16 - 192 b5 * b18 - 92 b5 * b19 - 20 b5 * b20 - 158 b5 * b21 - 138 b5 * b22 - 6 b5 * b23 - 18 b5 * b24 - 4 b5 * b25 - 94 b5 * b26 - 170 b5 * b27 - 188 b5 * b28 - 168 b5 * b29 - 174 b5 * b30 - 142 b5 * b31 - 196 b5 * b36 - 78 b5 * b37 - 144 b5 * b38 - 2 b5 * b39 - 188 b5 * b40 - 126 b5 * b41 - 120 b5 * b42 - 34 b5 * b43 - 178 b5 * b44 - 108 b5 * b45 - 72 b5 * b46 - 104 b5 * b47 - 130 b5 * b48 - 90 b5 * b49 - 28 b5 * b50 - 190 b5 * b51 - 192 b5 * b52 - 68 b5 * b54 - 106 b5 * b55 - 154 b5 * b57 - 12 b5 * b58 - 30 b5 * b59 - 14 b5 * b61 - 20 b5 * b62 - 76 b5 * b63 - 130 b5 * b64 - 176 b5 * b65 - 136 b5 * b66 - 86 b5 * b67 - 82 b5 * b68 - 186 b5 * b69 - 78 b5 * b70 - 98 b5 * b71 - 86 b5 * b72 - 14 b5 * b73 - 196 b5 * b74 - 94 b5 * b75 - 132 b5 * b76 - 190 b5 * b77 - 92 b5 * b78 - 56 b5 * b79 - 34 b5 * b81 - 72 b6 * b7 - 196 b6 * b9 - 54 b6 * b11 - 40 b6 * b12 - 50 b6 * b14 - 52 b6 * b15 - 154 b6 * b16 - 80 b6 * b17 - 44 b6 * b19 - 54 b6 * b20 - 174 b6 * b21 - 10 b6 * b22 - 8 b6 * b23 - 114 b6 * b24 - 58 b6 * b26 - 142 b6 * b28 - 24 b6 * b29 - 38 b6 * b30 - 6 b6 * b31 - 178 b6 * b32 - 14 b6 * b33 - 40 b6 * b34 - 106 b6 * b36 - 162 b6 * b37 - 186 b6 * b38 - 158 b6 * b39 - 50 b6 * b40 - 156 b6 * b41 - 122 b6 * b42 - 86 b6 * b43 - 190 b6 * b44 - 182 b6 * b45 - 78 b6 * b46 - 108 b6 * b47 - 36 b6 * b48 - 88 b6 * b49 - 18 b6 * b51 - 48 b6 * b52 - 12 b6 * b53 - 100 b6 * b54 - 94 b6 * b55 - 150 b6 * b56 - 168 b6 * b57 - 10 b6 * b58 - 158 b6 * b59 - 128 b6 * b60 - 178 b6 * b61 - 86 b6 * b62 - 130 b6 * b63 - 178 b6 * b64 - 154 b6 * b65 - 130 b6 * b66 - 64 b6 * b68 - 36 b6 * b69 - 2 b6 * b70 - 18 b6 * b71 - 136 b6 * b72 - 144 b6 * b73 - 62 b6 * b75 - 112 b6 * b76 - 2 b6 * b77 - 26 b6 * b78 - 48 b6 * b79 - 84 b6 * b81 - 124 b7 * b8 - 68 b7 * b10 - 64 b7 * b12 - 92 b7 * b13 - 72 b7 * b14 - 198 b7 * b15 - 134 b7 * b16 - 134 b7 * b17 - 144 b7 * b19 - 54 b7 * b20 - 198 b7 * b21 - 178 b7 * b22 - 180 b7 * b23 - 140 b7 * b24 - 68 b7 * b25 - 78 b7 * b26 - 196 b7 * b27 - 194 b7 * b28 - 158 b7 * b29 - 28 b7 * b31 - 196 b7 * b32 - 90 b7 * b33 - 134 b7 * b34 - 176 b7 * b35 - 176 b7 * b36 - 190 b7 * b37 - 176 b7 * b38 - 130 b7 * b39 - 194 b7 * b40 - 16 b7 * b41 - 134 b7 * b42 - 172 b7 * b43 - 116 b7 * b44 - 150 b7 * b45 - 44 b7 * b46 - 18 b7 * b47 - 90 b7 * b48 - 116 b7 * b49 - 146 b7 * b50 - 88 b7 * b51 - 86 b7 * b52 - 188 b7 * b53 - 10 b7 * b54 - 100 b7 * b55 - 148 b7 * b56 - 158 b7 * b57 - 4 b7 * b58 - 102 b7 * b59 - 52 b7 * b62 - 146 b7 * b63 - 94 b7 * b64 - 164 b7 * b65 - 12 b7 * b66 - 64 b7 * b67 - 36 b7 * b68 - 4 b7 * b69 - 124 b7 * b70 - 98 b7 * b71 - 142 b7 * b72 - 4 b7 * b74 - 14 b7 * b75 - 42 b7 * b76 - 178 b7 * b77 - 106 b7 * b78 - 114 b7 * b79 - 88 b7 * b81 - 144 b8 * b9 - 80 b8 * b10 - 114 b8 * b11 - 70 b8 * b12 - 40 b8 * b13 - 46 b8 * b15 - 76 b8 * b16 - 58 b8 * b17 - 62 b8 * b18 - 148 b8 * b19 - 50 b8 * b20 - 60 b8 * b21 - 98 b8 * b22 - 56 b8 * b23 - 136 b8 * b25 - 194 b8 * b26 - 94 b8 * b27 - 78 b8 * b28 - 154 b8 * b29 - 90 b8 * b30 - 144 b8 * b31 - 174 b8 * b32 - 10 b8 * b34 - 10 b8 * b35 - 12 b8 * b36 - 36 b8 * b37 - 6 b8 * b38 - 80 b8 * b39 - 164 b8 * b40 - 30 b8 * b41 - 34 b8 * b42 - 162 b8 * b43 - 194 b8 * b44 - 138 b8 * b45 - 186 b8 * b46 - 192 b8 * b47 - 158 b8 * b48 - 140 b8 * b49 - 112 b8 * b50 - 166 b8 * b51 - 192 b8 * b52 - 78 b8 * b53 - 186 b8 * b54 - 64 b8 * b55 - 160 b8 * b56 - 140 b8 * b57 - 132 b8 * b58 - 86 b8 * b59 - 180 b8 * b60 - 8 b8 * b61 - 120 b8 * b62 - 100 b8 * b63 - 42 b8 * b64 - 92 b8 * b65 - 106 b8 * b66 - 16 b8 * b67 - 88 b8 * b68 - 2 b8 * b69 - 154 b8 * b70 - 124 b8 * b71 - 54 b8 * b73 - 114 b8 * b74 - 20 b8 * b75 - 40 b8 * b78 - 176 b8 * b79 - 190 b8 * b80 - 116 b8 * b81 - 68 b9 * b10 - 186 b9 * b11 - 118 b9 * b12 - 112 b9 * b13 - 102 b9 * b14 - 194 b9 * b15 - 118 b9 * b17 - 90 b9 * b18 - 116 b9 * b19 - 154 b9 * b20 - 34 b9 * b21 - 44 b9 * b22 - 164 b9 * b23 - 152 b9 * b24 - 72 b9 * b26 - 86 b9 * b27 - 6 b9 * b28 - 86 b9 * b29 - 186 b9 * b30 - 194 b9 * b31 - 174 b9 * b32 - 66 b9 * b34 - 36 b9 * b35 - 190 b9 * b36 - 12 b9 * b37 - 184 b9 * b38 - 182 b9 * b39 - 98 b9 * b40 - 86 b9 * b41 - 68 b9 * b42 - 162 b9 * b43 - 50 b9 * b44 - 68 b9 * b46 - 82 b9 * b47 - 168 b9 * b48 - 4 b9 * b49 - 120 b9 * b50 - 144 b9 * b51 - 168 b9 * b52 - 16 b9 * b53 - 22 b9 * b54 - 8 b9 * b55 - 194 b9 * b56 - 126 b9 * b57 - 108 b9 * b58 - 10 b9 * b59 - 142 b9 * b60 - 16 b9 * b61 - 124 b9 * b62 - 140 b9 * b63 - 146 b9 * b65 - 48 b9 * b66 - 126 b9 * b67 - 200 b9 * b68 - 156 b9 * b69 - 196 b9 * b72 - 98 b9 * b73 - 36 b9 * b74 - 148 b9 * b75 - 2 b9 * b76 - 150 b9 * b78 - 54 b9 * b79 - 152 b9 * b80 - 84 b9 * b81 - 144 b10 * b11 - 94 b10 * b13 - 8 b10 * b14 - 10 b10 * b15 - 98 b10 * b16 - 28 b10 * b17 - 108 b10 * b19 - 34 b10 * b20 - 38 b10 * b21 - 10 b10 * b22 - 134 b10 * b23 - 144 b10 * b24 - 152 b10 * b25 - 100 b10 * b26 - 96 b10 * b27 - 102 b10 * b28 - 166 b10 * b29 - 72 b10 * b30 - 6 b10 * b31 - 170 b10 * b32 - 16 b10 * b34 - 196 b10 * b36 - 8 b10 * b37 - 80 b10 * b38 - 126 b10 * b39 - 64 b10 * b40 - 108 b10 * b42 - 4 b10 * b44 - 34 b10 * b45 - 106 b10 * b46 - 120 b10 * b47 - 34 b10 * b48 - 108 b10 * b49 - 38 b10 * b50 - 180 b10 * b51 - 160 b10 * b52 - 72 b10 * b53 - 158 b10 * b54 - 198 b10 * b55 - 88 b10 * b56 - 162 b10 * b57 - 34 b10 * b59 - 100 b10 * b60 - 158 b10 * b62 - 198 b10 * b63 - 124 b10 * b64 - 86 b10 * b65 - 194 b10 * b67 - 186 b10 * b68 - 50 b10 * b69 - 88 b10 * b71 - 194 b10 * b72 - 120 b10 * b73 - 150 b10 * b74 - 158 b10 * b75 - 146 b10 * b76 - 88 b10 * b77 - 198 b10 * b79 - 132 b10 * b80 - 174 b10 * b81 - 200 b11 * b12 - 44 b11 * b13 - 140 b11 * b14 - 170 b11 * b15 - 72 b11 * b17 - 60 b11 * b18 - 166 b11 * b19 - 140 b11 * b20 - 40 b11 * b21 - 36 b11 * b22 - 198 b11 * b23 - 22 b11 * b24 - 2 b11 * b25 - 54 b11 * b26 - 66 b11 * b27 - 122 b11 * b28 - 92 b11 * b29 - 18 b11 * b30 - 12 b11 * b31 - 158 b11 * b32 - 6 b11 * b33 - 142 b11 * b34 - 130 b11 * b35 - 168 b11 * b36 - 174 b11 * b37 - 20 b11 * b38 - 116 b11 * b39 - 18 b11 * b40 - 62 b11 * b41 - 66 b11 * b42 - 194 b11 * b43 - 38 b11 * b44 - 58 b11 * b45 - 24 b11 * b46 - 6 b11 * b47 - 136 b11 * b48 - 140 b11 * b49 - 32 b11 * b50 - 192 b11 * b51 - 176 b11 * b52 - 38 b11 * b53 - 64 b11 * b54 - 54 b11 * b55 - 108 b11 * b56 - 198 b11 * b57 - 22 b11 * b58 - 44 b11 * b59 - 2 b11 * b60 - 192 b11 * b61 - 126 b11 * b63 - 168 b11 * b64 - 166 b11 * b65 - 126 b11 * b66 - 44 b11 * b67 - 62 b11 * b68 - 146 b11 * b69 - 6 b11 * b70 - 168 b11 * b71 - 150 b11 * b72 - 134 b11 * b74 - 94 b11 * b75 - 12 b11 * b76 - 74 b11 * b77 - 188 b11 * b78 - 76 b11 * b79 - 166 b11 * b80 - 94 b11 * b81 - 6 b12 * b13 - 128 b12 * b14 - 170 b12 * b15 - 90 b12 * b16 - 102 b12 * b17 - 86 b12 * b18 - 112 b12 * b19 - 94 b12 * b20 - 98 b12 * b21 - 114 b12 * b22 - 188 b12 * b23 - 180 b12 * b24 - 16 b12 * b25 - 72 b12 * b26 - 140 b12 * b27 - 132 b12 * b28 - 118 b12 * b29 - 114 b12 * b30 - 164 b12 * b31 - 156 b12 * b32 - 176 b12 * b33 - 144 b12 * b35 - 70 b12 * b36 - 64 b12 * b37 - 138 b12 * b38 - 178 b12 * b39 - 18 b12 * b40 - 140 b12 * b42 - 22 b12 * b43 - 12 b12 * b44 - 148 b12 * b45 - 124 b12 * b46 - 22 b12 * b47 - 154 b12 * b48 - 34 b12 * b49 - 6 b12 * b51 - 112 b12 * b53 - 16 b12 * b55 - 176 b12 * b56 - 176 b12 * b57 - 108 b12 * b58 - 72 b12 * b59 - 168 b12 * b60 - 118 b12 * b62 - 50 b12 * b64 - 104 b12 * b65 - 160 b12 * b66 - 32 b12 * b68 - 84 b12 * b69 - 120 b12 * b70 - 38 b12 * b71 - 48 b12 * b72 - 4 b12 * b73 - 60 b12 * b74 - 70 b12 * b75 - 142 b12 * b76 - 176 b12 * b77 - 70 b12 * b78 - 182 b12 * b79 - 142 b12 * b80 - 28 b12 * b81 - 182 b13 * b14 - 190 b13 * b15 - 76 b13 * b16 - 98 b13 * b17 - 132 b13 * b18 - 152 b13 * b19 - 108 b13 * b21 - 152 b13 * b22 - 200 b13 * b23 - 176 b13 * b24 - 106 b13 * b25 - 164 b13 * b26 - 86 b13 * b27 - 146 b13 * b28 - 140 b13 * b29 - 12 b13 * b30 - 8 b13 * b31 - 170 b13 * b32 - 28 b13 * b33 - 30 b13 * b34 - 40 b13 * b36 - 46 b13 * b37 - 12 b13 * b38 - 112 b13 * b40 - 2 b13 * b41 - 18 b13 * b42 - 84 b13 * b43 - 40 b13 * b44 - 10 b13 * b45 - 66 b13 * b46 - 60 b13 * b47 - 128 b13 * b48 - 168 b13 * b49 - 198 b13 * b50 - 100 b13 * b52 - 72 b13 * b53 - 182 b13 * b54 - 102 b13 * b55 - 168 b13 * b56 - 38 b13 * b57 - 182 b13 * b58 - 174 b13 * b59 - 28 b13 * b60 - 132 b13 * b61 - 118 b13 * b62 - 128 b13 * b63 - 72 b13 * b65 - 122 b13 * b66 - 148 b13 * b67 - 70 b13 * b68 - 116 b13 * b69 - 170 b13 * b71 - 22 b13 * b72 - 24 b13 * b73 - 100 b13 * b74 - 16 b13 * b75 - 82 b13 * b76 - 50 b13 * b77 - 146 b13 * b78 - 168 b13 * b79 - 40 b13 * b80 - 128 b13 * b81 - 182 b14 * b16 - 40 b14 * b17 - 110 b14 * b18 - 100 b14 * b19 - 94 b14 * b20 - 10 b14 * b21 - 122 b14 * b22 - 32 b14 * b23 - 30 b14 * b24 - 54 b14 * b25 - 64 b14 * b26 - 48 b14 * b27 - 88 b14 * b28 - 38 b14 * b29 - 120 b14 * b30 - 112 b14 * b31 - 140 b14 * b32 - 190 b14 * b33 - 100 b14 * b34 - 64 b14 * b35 - 32 b14 * b36 - 146 b14 * b37 - 146 b14 * b38 - 112 b14 * b39 - 102 b14 * b40 - 106 b14 * b41 - 130 b14 * b42 - 62 b14 * b43 - 6 b14 * b44 - 160 b14 * b45 - 152 b14 * b46 - 168 b14 * b47 - 120 b14 * b48 - 6 b14 * b49 - 138 b14 * b50 - 154 b14 * b51 - 56 b14 * b52 - 146 b14 * b53 - 50 b14 * b54 - 196 b14 * b55 - 106 b14 * b56 - 186 b14 * b57 - 4 b14 * b59 - 40 b14 * b60 - 68 b14 * b61 - 134 b14 * b62 - 104 b14 * b64 - 92 b14 * b65 - 154 b14 * b66 - 36 b14 * b68 - 112 b14 * b69 - 116 b14 * b70 - 62 b14 * b73 - 54 b14 * b74 - 106 b14 * b75 - 98 b14 * b76 - 160 b14 * b78 - 18 b14 * b79 - 180 b14 * b80 - 98 b14 * b81 - 196 b15 * b16 - 110 b15 * b17 - 182 b15 * b18 - 76 b15 * b19 - 132 b15 * b20 - 168 b15 * b21 - 184 b15 * b22 - 72 b15 * b23 - 26 b15 * b24 - 180 b15 * b25 - 116 b15 * b26 - 78 b15 * b27 - 36 b15 * b28 - 102 b15 * b29 - 42 b15 * b30 - 2 b15 * b32 - 102 b15 * b33 - 100 b15 * b34 - 124 b15 * b35 - 118 b15 * b36 - 52 b15 * b37 - 100 b15 * b38 - 188 b15 * b39 - 152 b15 * b40 - 22 b15 * b41 - 200 b15 * b42 - 36 b15 * b43 - 116 b15 * b44 - 54 b15 * b45 - 76 b15 * b46 - 174 b15 * b47 - 6 b15 * b48 - 40 b15 * b49 - 12 b15 * b50 - 164 b15 * b51 - 64 b15 * b53 - 30 b15 * b54 - 74 b15 * b55 - 122 b15 * b56 - 92 b15 * b57 - 156 b15 * b59 - 150 b15 * b60 - 118 b15 * b61 - 126 b15 * b63 - 54 b15 * b64 - 54 b15 * b65 - 110 b15 * b66 - 198 b15 * b67 - 74 b15 * b68 - 94 b15 * b69 - 22 b15 * b70 - 94 b15 * b71 - 96 b15 * b72 - 94 b15 * b73 - 26 b15 * b74 - 182 b15 * b75 - 6 b15 * b76 - 170 b15 * b77 - 54 b15 * b78 - 38 b15 * b79 - 162 b15 * b80 - 108 b15 * b81 - 146 b16 * b17 - 86 b16 * b18 - 186 b16 * b19 - 82 b16 * b20 - 142 b16 * b21 - 108 b16 * b22 - 134 b16 * b23 - 16 b16 * b24 - 104 b16 * b25 - 28 b16 * b27 - 178 b16 * b29 - 120 b16 * b30 - 182 b16 * b31 - 108 b16 * b32 - 8 b16 * b33 - 44 b16 * b34 - 24 b16 * b35 - 150 b16 * b36 - 130 b16 * b37 - 142 b16 * b38 - 190 b16 * b39 - 168 b16 * b40 - 184 b16 * b41 - 74 b16 * b42 - 10 b16 * b43 - 20 b16 * b44 - 200 b16 * b45 - 32 b16 * b46 - 136 b16 * b47 - 20 b16 * b49 - 86 b16 * b50 - 52 b16 * b51 - 100 b16 * b52 - 182 b16 * b53 - 122 b16 * b54 - 162 b16 * b55 - 8 b16 * b56 - 92 b16 * b57 - 56 b16 * b58 - 178 b16 * b59 - 142 b16 * b60 - 136 b16 * b61 - 122 b16 * b62 - 44 b16 * b63 - 18 b16 * b64 - 118 b16 * b65 - 198 b16 * b66 - 46 b16 * b67 - 188 b16 * b68 - 42 b16 * b69 - 40 b16 * b70 - 124 b16 * b71 - 106 b16 * b72 - 16 b16 * b73 - 86 b16 * b74 - 184 b16 * b76 - 108 b16 * b78 - 80 b16 * b79 - 46 b16 * b80 - 196 b16 * b81 - 98 b17 * b18 - 6 b17 * b21 - 186 b17 * b22 - 188 b17 * b23 - 140 b17 * b24 - 90 b17 * b25 - 24 b17 * b26 - 38 b17 * b27 - 44 b17 * b28 - 200 b17 * b29 - 14 b17 * b30 - 102 b17 * b31 - 88 b17 * b32 - 158 b17 * b33 - 132 b17 * b34 - 60 b17 * b35 - 96 b17 * b37 - 16 b17 * b38 - 72 b17 * b39 - 116 b17 * b40 - 200 b17 * b41 - 138 b17 * b42 - 160 b17 * b43 - 60 b17 * b44 - 40 b17 * b45 - 148 b17 * b46 - 146 b17 * b47 - 92 b17 * b48 - 178 b17 * b49 - 46 b17 * b50 - 46 b17 * b52 - 70 b17 * b54 - 16 b17 * b55 - 112 b17 * b56 - 194 b17 * b57 - 86 b17 * b59 - 174 b17 * b60 - 14 b17 * b62 - 116 b17 * b63 - 110 b17 * b64 - 194 b17 * b65 - 124 b17 * b66 - 106 b17 * b67 - 14 b17 * b68 - 2 b17 * b70 - 4 b17 * b72 - 108 b17 * b73 - 100 b17 * b74 - 106 b17 * b75 - 18 b17 * b76 - 10 b17 * b77 - 100 b17 * b78 - 200 b17 * b79 - 128 b17 * b80 - 184 b17 * b81 - 106 b18 * b20 - 106 b18 * b21 - 156 b18 * b22 - 14 b18 * b23 - 74 b18 * b24 - 24 b18 * b25 - 200 b18 * b26 - 138 b18 * b27 - 16 b18 * b28 - 12 b18 * b29 - 160 b18 * b30 - 84 b18 * b31 - 106 b18 * b32 - 92 b18 * b34 - 96 b18 * b35 - 200 b18 * b37 - 64 b18 * b38 - 96 b18 * b39 - 192 b18 * b40 - 16 b18 * b41 - 26 b18 * b42 - 198 b18 * b43 - 150 b18 * b44 - 168 b18 * b45 - 188 b18 * b46 - 190 b18 * b48 - 86 b18 * b49 - 180 b18 * b50 - 26 b18 * b51 - 38 b18 * b52 - 138 b18 * b53 - 12 b18 * b54 - 84 b18 * b55 - 36 b18 * b56 - 96 b18 * b57 - 8 b18 * b58 - 156 b18 * b59 - 68 b18 * b62 - 190 b18 * b63 - 34 b18 * b64 - 14 b18 * b65 - 106 b18 * b66 - 96 b18 * b67 - 66 b18 * b68 - 164 b18 * b69 - 58 b18 * b70 - 104 b18 * b71 - 42 b18 * b72 - 122 b18 * b73 - 56 b18 * b76 - 76 b18 * b77 - 4 b18 * b78 - 126 b18 * b79 - 184 b18 * b81 - 182 b19 * b20 - 116 b19 * b21 - 38 b19 * b22 - 110 b19 * b23 - 74 b19 * b24 - 6 b19 * b25 - 136 b19 * b26 - 8 b19 * b27 - 156 b19 * b28 - 146 b19 * b29 - 60 b19 * b30 - 130 b19 * b31 - 28 b19 * b32 - 20 b19 * b34 - 126 b19 * b35 - 38 b19 * b36 - 32 b19 * b37 - 172 b19 * b38 - 20 b19 * b39 - 28 b19 * b40 - 124 b19 * b41 - 112 b19 * b42 - 98 b19 * b43 - 162 b19 * b44 - 130 b19 * b45 - 10 b19 * b46 - 132 b19 * b47 - 32 b19 * b48 - 78 b19 * b49 - 122 b19 * b50 - 72 b19 * b51 - 96 b19 * b52 - 64 b19 * b53 - 128 b19 * b54 - 54 b19 * b55 - 136 b19 * b56 - 180 b19 * b57 - 102 b19 * b58 - 132 b19 * b59 - 150 b19 * b60 - 118 b19 * b61 - 116 b19 * b62 - 54 b19 * b63 - 52 b19 * b64 - 44 b19 * b65 - 96 b19 * b66 - 200 b19 * b67 - 120 b19 * b68 - 96 b19 * b69 - 150 b19 * b70 - 110 b19 * b71 - 38 b19 * b72 - 72 b19 * b73 - 50 b19 * b74 - 178 b19 * b75 - 78 b19 * b76 - 160 b19 * b78 - 182 b19 * b79 - 12 b19 * b80 - 148 b19 * b81 - 86 b20 * b21 - 114 b20 * b22 - 82 b20 * b23 - 120 b20 * b24 - 118 b20 * b25 - 178 b20 * b26 - 6 b20 * b29 - 110 b20 * b30 - 120 b20 * b31 - 30 b20 * b32 - 174 b20 * b33 - 30 b20 * b34 - 166 b20 * b36 - 198 b20 * b37 - 156 b20 * b38 - 90 b20 * b39 - 192 b20 * b40 - 64 b20 * b41 - 40 b20 * b42 - 102 b20 * b43 - 174 b20 * b44 - 134 b20 * b45 - 198 b20 * b46 - 80 b20 * b48 - 18 b20 * b49 - 166 b20 * b50 - 142 b20 * b51 - 92 b20 * b52 - 34 b20 * b53 - 2 b20 * b57 - 34 b20 * b59 - 58 b20 * b60 - 28 b20 * b61 - 56 b20 * b62 - 6 b20 * b63 - 118 b20 * b64 - 34 b20 * b65 - 148 b20 * b66 - 166 b20 * b67 - 36 b20 * b68 - 12 b20 * b70 - 36 b20 * b71 - 162 b20 * b72 - 76 b20 * b74 - 74 b20 * b75 - 78 b20 * b76 - 4 b20 * b77 - 54 b20 * b78 - 58 b20 * b79 - 34 b20 * b80 - 154 b21 * b23 - 120 b21 * b24 - 196 b21 * b25 - 112 b21 * b26 - 76 b21 * b27 - 40 b21 * b28 - 200 b21 * b29 - 138 b21 * b30 - 170 b21 * b31 - 24 b21 * b32 - 96 b21 * b33 - 60 b21 * b35 - 196 b21 * b36 - 42 b21 * b37 - 116 b21 * b38 - 142 b21 * b39 - 54 b21 * b40 - 44 b21 * b41 - 70 b21 * b42 - 168 b21 * b43 - 14 b21 * b44 - 6 b21 * b46 - 64 b21 * b47 - 180 b21 * b49 - 74 b21 * b50 - 152 b21 * b51 - 142 b21 * b52 - 50 b21 * b53 - 74 b21 * b54 - 136 b21 * b55 - 110 b21 * b56 - 102 b21 * b57 - 26 b21 * b58 - 134 b21 * b59 - 120 b21 * b60 - 96 b21 * b61 - 162 b21 * b62 - 180 b21 * b63 - 196 b21 * b64 - 82 b21 * b65 - 74 b21 * b66 - 78 b21 * b67 - 40 b21 * b68 - 138 b21 * b69 - 162 b21 * b70 - 108 b21 * b71 - 100 b21 * b72 - 186 b21 * b73 - 96 b21 * b74 - 104 b21 * b75 - 46 b21 * b76 - 4 b21 * b77 - 72 b21 * b78 - 76 b21 * b79 - 38 b21 * b80 - 120 b21 * b81 - 94 b22 * b23 - 104 b22 * b24 - 200 b22 * b25 - 86 b22 * b26 - 164 b22 * b27 - 68 b22 * b28 - 48 b22 * b29 - 42 b22 * b30 - 174 b22 * b31 - 188 b22 * b32 - 142 b22 * b33 - 196 b22 * b34 - 44 b22 * b35 - 142 b22 * b36 - 18 b22 * b37 - 190 b22 * b38 - 108 b22 * b39 - 178 b22 * b40 - 16 b22 * b41 - 26 b22 * b42 - 86 b22 * b43 - 110 b22 * b44 - 104 b22 * b45 - 32 b22 * b47 - 160 b22 * b48 - 188 b22 * b49 - 18 b22 * b50 - 10 b22 * b51 - 196 b22 * b52 - 118 b22 * b53 - 38 b22 * b54 - 8 b22 * b56 - 186 b22 * b58 - 152 b22 * b60 - 8 b22 * b61 - 140 b22 * b63 - 156 b22 * b64 - 56 b22 * b65 - 40 b22 * b66 - 22 b22 * b67 - 178 b22 * b68 - 152 b22 * b69 - 92 b22 * b70 - 112 b22 * b71 - 26 b22 * b72 - 164 b22 * b73 - 4 b22 * b74 - 162 b22 * b75 - 94 b22 * b76 - 158 b22 * b77 - 52 b22 * b78 - 44 b22 * b79 - 48 b22 * b80 - 130 b22 * b81 - 20 b23 * b24 - 26 b23 * b25 - 86 b23 * b26 - 10 b23 * b28 - 116 b23 * b29 - 116 b23 * b30 - 42 b23 * b31 - 32 b23 * b32 - 20 b23 * b33 - 94 b23 * b34 - 72 b23 * b35 - 112 b23 * b36 - 36 b23 * b37 - 140 b23 * b38 - 86 b23 * b39 - 130 b23 * b40 - 136 b23 * b41 - 110 b23 * b42 - 82 b23 * b43 - 4 b23 * b44 - 14 b23 * b45 - 196 b23 * b46 - 72 b23 * b47 - 38 b23 * b48 - 30 b23 * b49 - 62 b23 * b50 - 152 b23 * b51 - 48 b23 * b52 - 190 b23 * b53 - 148 b23 * b54 - 118 b23 * b55 - 122 b23 * b56 - 130 b23 * b58 - 30 b23 * b59 - 160 b23 * b61 - 136 b23 * b62 - 20 b23 * b63 - 46 b23 * b65 - 60 b23 * b66 - 28 b23 * b67 - 10 b23 * b68 - 154 b23 * b69 - 14 b23 * b70 - 150 b23 * b71 - 98 b23 * b72 - 42 b23 * b73 - 140 b23 * b74 - 174 b23 * b75 - 116 b23 * b76 - 80 b23 * b77 - 128 b23 * b78 - 14 b23 * b79 - 50 b23 * b80 - 48 b23 * b81 - 48 b24 * b25 - 68 b24 * b26 - 50 b24 * b28 - 110 b24 * b31 - 120 b24 * b32 - 84 b24 * b33 - 84 b24 * b34 - 192 b24 * b35 - 22 b24 * b36 - 46 b24 * b37 - 146 b24 * b38 - 100 b24 * b39 - 88 b24 * b40 - 52 b24 * b41 - 120 b24 * b43 - 190 b24 * b44 - 124 b24 * b45 - 128 b24 * b46 - 84 b24 * b47 - 196 b24 * b48 - 192 b24 * b49 - 18 b24 * b50 - 124 b24 * b52 - 8 b24 * b53 - 32 b24 * b55 - 44 b24 * b56 - 54 b24 * b57 - 62 b24 * b58 - 18 b24 * b59 - 36 b24 * b60 - 8 b24 * b61 - 110 b24 * b62 - 4 b24 * b63 - 4 b24 * b64 - 32 b24 * b65 - 120 b24 * b66 - 152 b24 * b67 - 138 b24 * b68 - 14 b24 * b69 - 32 b24 * b70 - 126 b24 * b71 - 38 b24 * b72 - 12 b24 * b73 - 42 b24 * b74 - 194 b24 * b76 - 88 b24 * b77 - 138 b24 * b78 - 174 b24 * b79 - 110 b24 * b80 - 44 b24 * b81 - 38 b25 * b26 - 162 b25 * b27 - 104 b25 * b28 - 20 b25 * b29 - 12 b25 * b30 - 114 b25 * b31 - 116 b25 * b32 - 126 b25 * b33 - 72 b25 * b34 - 134 b25 * b35 - 12 b25 * b36 - 166 b25 * b37 - 20 b25 * b38 - 14 b25 * b39 - 14 b25 * b40 - 152 b25 * b42 - 24 b25 * b43 - 54 b25 * b44 - 132 b25 * b45 - 100 b25 * b46 - 122 b25 * b47 - 158 b25 * b48 - 194 b25 * b49 - 12 b25 * b50 - 36 b25 * b51 - 94 b25 * b52 - 62 b25 * b53 - 60 b25 * b54 - 64 b25 * b56 - 34 b25 * b57 - 72 b25 * b58 - 30 b25 * b59 - 98 b25 * b60 - 50 b25 * b61 - 108 b25 * b62 - 64 b25 * b63 - 60 b25 * b64 - 154 b25 * b65 - 176 b25 * b66 - 4 b25 * b67 - 36 b25 * b68 - 188 b25 * b69 - 126 b25 * b70 - 66 b25 * b71 - 86 b25 * b72 - 126 b25 * b73 - 42 b25 * b74 - 78 b25 * b75 - 84 b25 * b76 - 164 b25 * b77 - 148 b25 * b78 - 120 b25 * b80 - 132 b25 * b81 - 150 b26 * b27 - 62 b26 * b28 - 14 b26 * b29 - 136 b26 * b30 - 118 b26 * b31 - 154 b26 * b32 - 80 b26 * b34 - 24 b26 * b35 - 66 b26 * b36 - 72 b26 * b37 - 74 b26 * b38 - 110 b26 * b39 - 120 b26 * b40 - 30 b26 * b41 - 184 b26 * b42 - 54 b26 * b45 - 40 b26 * b47 - 136 b26 * b48 - 108 b26 * b49 - 94 b26 * b50 - 92 b26 * b51 - 96 b26 * b52 - 48 b26 * b53 - 48 b26 * b54 - 90 b26 * b55 - 120 b26 * b56 - 148 b26 * b57 - 122 b26 * b59 - 182 b26 * b60 - 126 b26 * b61 - 8 b26 * b63 - 156 b26 * b64 - 100 b26 * b65 - 26 b26 * b66 - 184 b26 * b67 - 80 b26 * b68 - 6 b26 * b69 - 140 b26 * b70 - 126 b26 * b71 - 96 b26 * b73 - 62 b26 * b74 - 44 b26 * b75 - 14 b26 * b76 - 190 b26 * b77 - 48 b26 * b78 - 100 b26 * b79 - 72 b26 * b80 - 172 b26 * b81 - 132 b27 * b28 - 156 b27 * b30 - 136 b27 * b31 - 48 b27 * b32 - 172 b27 * b33 - 156 b27 * b34 - 96 b27 * b35 - 88 b27 * b36 - 62 b27 * b37 - 32 b27 * b38 - 110 b27 * b39 - 108 b27 * b40 - 4 b27 * b41 - 32 b27 * b42 - 26 b27 * b43 - 92 b27 * b44 - 146 b27 * b46 - 56 b27 * b47 - 156 b27 * b48 - 190 b27 * b49 - 18 b27 * b50 - 110 b27 * b51 - 128 b27 * b52 - 200 b27 * b53 - 104 b27 * b54 - 102 b27 * b55 - 192 b27 * b56 - 158 b27 * b57 - 84 b27 * b58 - 180 b27 * b59 - 148 b27 * b60 - 144 b27 * b61 - 174 b27 * b62 - 172 b27 * b63 - 126 b27 * b65 - 14 b27 * b66 - 22 b27 * b68 - 18 b27 * b69 - 112 b27 * b70 - 164 b27 * b71 - 32 b27 * b73 - 156 b27 * b74 - 22 b27 * b75 - 190 b27 * b79 - 44 b27 * b80 - 174 b27 * b81 - 58 b28 * b30 - 48 b28 * b31 - 76 b28 * b32 - 58 b28 * b33 - 172 b28 * b34 - 18 b28 * b35 - 130 b28 * b36 - 186 b28 * b37 - 70 b28 * b38 - 146 b28 * b39 - 70 b28 * b40 - 44 b28 * b41 - 40 b28 * b42 - 198 b28 * b43 - 134 b28 * b44 - 96 b28 * b45 - 94 b28 * b46 - 10 b28 * b47 - 140 b28 * b48 - 158 b28 * b49 - 52 b28 * b51 - 124 b28 * b52 - 14 b28 * b53 - 50 b28 * b54 - 162 b28 * b55 - 18 b28 * b56 - 100 b28 * b57 - 184 b28 * b59 - 80 b28 * b60 - 180 b28 * b61 - 40 b28 * b62 - 176 b28 * b63 - 128 b28 * b64 - 58 b28 * b65 - 2 b28 * b66 - 104 b28 * b67 - 84 b28 * b68 - 168 b28 * b69 - 134 b28 * b71 - 126 b28 * b72 - 182 b28 * b73 - 64 b28 * b74 - 152 b28 * b75 - 38 b28 * b76 - 166 b28 * b77 - 162 b28 * b78 - 42 b28 * b79 - 12 b28 * b80 - 150 b28 * b81 - 88 b29 * b30 - 128 b29 * b31 - 124 b29 * b32 - 190 b29 * b33 - 154 b29 * b34 - 110 b29 * b35 - 124 b29 * b36 - 68 b29 * b37 - 70 b29 * b38 - 70 b29 * b39 - 52 b29 * b40 - 82 b29 * b41 - 168 b29 * b42 - 62 b29 * b43 - 30 b29 * b44 - 148 b29 * b45 - 200 b29 * b46 - 180 b29 * b47 - 150 b29 * b48 - 132 b29 * b49 - 162 b29 * b50 - 28 b29 * b51 - 98 b29 * b52 - 66 b29 * b53 - 150 b29 * b54 - 188 b29 * b55 - 92 b29 * b57 - 188 b29 * b58 - 84 b29 * b59 - 142 b29 * b60 - 40 b29 * b61 - 68 b29 * b62 - 4 b29 * b63 - 70 b29 * b64 - 16 b29 * b66 - 122 b29 * b67 - 28 b29 * b68 - 32 b29 * b69 - 96 b29 * b70 - 20 b29 * b71 - 124 b29 * b72 - 194 b29 * b73 - 138 b29 * b74 - 136 b29 * b75 - 124 b29 * b78 - 168 b29 * b79 - 24 b29 * b80 - 104 b30 * b31 - 196 b30 * b32 - 106 b30 * b33 - 88 b30 * b34 - 182 b30 * b35 - 88 b30 * b36 - 14 b30 * b37 - 80 b30 * b38 - 118 b30 * b39 - 102 b30 * b40 - 98 b30 * b41 - 32 b30 * b42 - 166 b30 * b43 - 18 b30 * b44 - 44 b30 * b45 - 128 b30 * b47 - 54 b30 * b48 - 128 b30 * b50 - 10 b30 * b51 - 136 b30 * b52 - 46 b30 * b53 - 50 b30 * b54 - 74 b30 * b55 - 50 b30 * b56 - 130 b30 * b57 - 140 b30 * b58 - 62 b30 * b59 - 150 b30 * b60 - 44 b30 * b62 - 28 b30 * b63 - 178 b30 * b64 - 180 b30 * b65 - 80 b30 * b68 - 78 b30 * b69 - 160 b30 * b70 - 130 b30 * b71 - 122 b30 * b72 - 22 b30 * b73 - 130 b30 * b74 - 38 b30 * b75 - 54 b30 * b76 - 168 b30 * b77 - 114 b30 * b78 - 142 b30 * b79 - 30 b30 * b80 - 112 b30 * b81 - 148 b31 * b32 - 2 b31 * b33 - 130 b31 * b34 - 116 b31 * b35 - 128 b31 * b36 - 62 b31 * b37 - 192 b31 * b38 - 128 b31 * b39 - 120 b31 * b40 - 54 b31 * b43 - 106 b31 * b44 - 116 b31 * b45 - 160 b31 * b46 - 48 b31 * b47 - 180 b31 * b48 - 144 b31 * b49 - 60 b31 * b50 - 86 b31 * b51 - 124 b31 * b53 - 170 b31 * b54 - 198 b31 * b55 - 184 b31 * b56 - 72 b31 * b57 - 76 b31 * b58 - 20 b31 * b60 - 18 b31 * b61 - 2 b31 * b62 - 180 b31 * b64 - 30 b31 * b65 - 40 b31 * b66 - 122 b31 * b68 - 92 b31 * b69 - 182 b31 * b70 - 76 b31 * b71 - 62 b31 * b73 - 24 b31 * b75 - 62 b31 * b76 - 152 b31 * b77 - 26 b31 * b78 - 120 b31 * b79 - 120 b31 * b80 - 82 b31 * b81 - 168 b32 * b33 - 148 b32 * b37 - 46 b32 * b38 - 132 b32 * b39 - 74 b32 * b40 - 82 b32 * b41 - 26 b32 * b42 - 42 b32 * b43 - 112 b32 * b44 - 140 b32 * b45 - 82 b32 * b46 - 108 b32 * b47 - 34 b32 * b48 - 56 b32 * b50 - 156 b32 * b51 - 192 b32 * b52 - 84 b32 * b53 - 36 b32 * b54 - 74 b32 * b55 - 62 b32 * b56 - 172 b32 * b57 - 106 b32 * b58 - 96 b32 * b59 - 42 b32 * b61 - 134 b32 * b62 - 88 b32 * b63 - 186 b32 * b64 - 10 b32 * b65 - 78 b32 * b66 - 174 b32 * b68 - 78 b32 * b69 - 182 b32 * b70 - 2 b32 * b71 - 168 b32 * b72 - 118 b32 * b73 - 54 b32 * b75 - 134 b32 * b76 - 24 b32 * b77 - 158 b32 * b78 - 134 b32 * b79 - 140 b32 * b80 - 88 b32 * b81 - 144 b33 * b34 - 76 b33 * b35 - 32 b33 * b36 - 40 b33 * b37 - 110 b33 * b38 - 4 b33 * b39 - 118 b33 * b40 - 190 b33 * b41 - 158 b33 * b42 - 120 b33 * b43 - 44 b33 * b44 - 6 b33 * b45 - 140 b33 * b46 - 134 b33 * b47 - 148 b33 * b48 - 190 b33 * b49 - 84 b33 * b50 - 172 b33 * b51 - 142 b33 * b52 - 158 b33 * b53 - 76 b33 * b54 - 106 b33 * b55 - 194 b33 * b56 - 52 b33 * b57 - 146 b33 * b58 - 84 b33 * b59 - 78 b33 * b60 - 162 b33 * b61 - 118 b33 * b62 - 196 b33 * b63 - 162 b33 * b64 - 84 b33 * b65 - 114 b33 * b66 - 182 b33 * b67 - 18 b33 * b68 - 26 b33 * b69 - 158 b33 * b70 - 50 b33 * b71 - 124 b33 * b73 - 128 b33 * b74 - 114 b33 * b75 - 108 b33 * b76 - 150 b33 * b77 - 52 b33 * b78 - 144 b33 * b79 - 166 b33 * b80 - 168 b33 * b81 - 112 b34 * b35 - 40 b34 * b36 - 182 b34 * b37 - 156 b34 * b39 - 178 b34 * b40 - 188 b34 * b41 - 82 b34 * b42 - 94 b34 * b43 - 152 b34 * b45 - 130 b34 * b46 - 86 b34 * b47 - 162 b34 * b48 - 18 b34 * b49 - 16 b34 * b50 - 178 b34 * b51 - 160 b34 * b52 - 102 b34 * b53 - 182 b34 * b54 - 28 b34 * b55 - 138 b34 * b56 - 146 b34 * b58 - 74 b34 * b59 - 108 b34 * b60 - 6 b34 * b61 - 4 b34 * b62 - 60 b34 * b63 - 150 b34 * b64 - 130 b34 * b65 - 118 b34 * b66 - 166 b34 * b67 - 36 b34 * b68 - 192 b34 * b69 - 100 b34 * b70 - 200 b34 * b71 - 196 b34 * b72 - 74 b34 * b73 - 66 b34 * b74 - 38 b34 * b75 - 124 b34 * b76 - 172 b34 * b77 - 130 b34 * b78 - 42 b34 * b79 - 150 b34 * b80 - 106 b34 * b81 - 68 b35 * b38 - 66 b35 * b39 - 174 b35 * b40 - 92 b35 * b41 - 40 b35 * b42 - 114 b35 * b43 - 54 b35 * b44 - 170 b35 * b45 - 186 b35 * b46 - 140 b35 * b47 - 76 b35 * b48 - 26 b35 * b49 - 178 b35 * b50 - 48 b35 * b51 - 96 b35 * b52 - 132 b35 * b53 - 40 b35 * b54 - 64 b35 * b55 - 128 b35 * b56 - 166 b35 * b57 - 88 b35 * b58 - 48 b35 * b59 - 138 b35 * b60 - 54 b35 * b61 - 122 b35 * b62 - 60 b35 * b63 - 188 b35 * b64 - 36 b35 * b65 - 108 b35 * b66 - 186 b35 * b67 - 134 b35 * b68 - 42 b35 * b69 - 66 b35 * b70 - 28 b35 * b71 - 18 b35 * b72 - 12 b35 * b73 - 164 b35 * b74 - 58 b35 * b75 - 198 b35 * b76 - 156 b35 * b77 - 176 b35 * b78 - 42 b35 * b79 - 40 b35 * b80 - 40 b35 * b81 - 72 b36 * b37 - 100 b36 * b38 - 94 b36 * b39 - 192 b36 * b41 - 146 b36 * b42 - 160 b36 * b43 - 176 b36 * b44 - 140 b36 * b45 - 16 b36 * b46 - 190 b36 * b48 - 76 b36 * b49 - 200 b36 * b50 - 36 b36 * b51 - 198 b36 * b52 - 48 b36 * b53 - 200 b36 * b54 - 190 b36 * b55 - 126 b36 * b56 - 106 b36 * b57 - 180 b36 * b58 - 166 b36 * b59 - 36 b36 * b60 - 84 b36 * b61 - 140 b36 * b63 - 124 b36 * b64 - 84 b36 * b65 - 104 b36 * b67 - 104 b36 * b68 - 64 b36 * b69 - 178 b36 * b72 - 180 b36 * b73 - 106 b36 * b74 - 98 b36 * b75 - 126 b36 * b76 - 46 b36 * b77 - 54 b36 * b78 - 110 b36 * b79 - 124 b36 * b80 - 200 b36 * b81 - 118 b37 * b38 - 40 b37 * b39 - 48 b37 * b40 - 92 b37 * b41 - 122 b37 * b42 - 134 b37 * b43 - 154 b37 * b44 - 194 b37 * b46 - 158 b37 * b47 - 20 b37 * b48 - 92 b37 * b49 - 112 b37 * b50 - 150 b37 * b51 - 4 b37 * b52 - 14 b37 * b53 - 30 b37 * b54 - 68 b37 * b55 - 194 b37 * b56 - 160 b37 * b57 - 156 b37 * b58 - 92 b37 * b59 - 2 b37 * b60 - 180 b37 * b61 - 110 b37 * b62 - 142 b37 * b63 - 68 b37 * b65 - 192 b37 * b66 - 198 b37 * b67 - 158 b37 * b68 - 12 b37 * b69 - 184 b37 * b70 - 122 b37 * b71 - 94 b37 * b72 - 134 b37 * b73 - 58 b37 * b74 - 36 b37 * b76 - 66 b37 * b77 - 64 b37 * b78 - 12 b37 * b79 - 46 b37 * b81 - 56 b38 * b39 - 8 b38 * b40 - 138 b38 * b41 - 90 b38 * b42 - 156 b38 * b43 - 108 b38 * b45 - 118 b38 * b46 - 100 b38 * b47 - 74 b38 * b48 - 66 b38 * b49 - 160 b38 * b50 - 196 b38 * b51 - 154 b38 * b52 - 198 b38 * b54 - 112 b38 * b56 - 116 b38 * b58 - 120 b38 * b59 - 38 b38 * b61 - 192 b38 * b62 - 186 b38 * b63 - 32 b38 * b64 - 38 b38 * b65 - 34 b38 * b66 - 52 b38 * b68 - 22 b38 * b70 - 64 b38 * b71 - 48 b38 * b72 - 20 b38 * b73 - 132 b38 * b74 - 174 b38 * b76 - 4 b38 * b77 - 74 b38 * b78 - 76 b38 * b79 - 56 b38 * b80 - 90 b38 * b81 - 42 b39 * b40 - 154 b39 * b41 - 134 b39 * b42 - 134 b39 * b43 - 96 b39 * b44 - 104 b39 * b45 - 82 b39 * b46 - 54 b39 * b47 - 130 b39 * b48 - 76 b39 * b49 - 102 b39 * b50 - 146 b39 * b51 - 48 b39 * b52 - 12 b39 * b53 - 16 b39 * b55 - 30 b39 * b56 - 200 b39 * b58 - 64 b39 * b59 - 20 b39 * b60 - 36 b39 * b61 - 128 b39 * b62 - 26 b39 * b63 - 54 b39 * b64 - 6 b39 * b65 - 146 b39 * b66 - 182 b39 * b67 - 194 b39 * b68 - 30 b39 * b69 - 86 b39 * b70 - 114 b39 * b71 - 162 b39 * b72 - 118 b39 * b73 - 148 b39 * b75 - 168 b39 * b76 - 106 b39 * b77 - 174 b39 * b78 - 20 b39 * b79 - 126 b39 * b80 - 140 b39 * b81 - 122 b40 * b41 - 136 b40 * b42 - 128 b40 * b43 - 10 b40 * b44 - 192 b40 * b45 - 176 b40 * b46 - 180 b40 * b47 - 48 b40 * b48 - 16 b40 * b49 - 134 b40 * b50 - 194 b40 * b51 - 76 b40 * b52 - 168 b40 * b53 - 158 b40 * b55 - 64 b40 * b56 - 74 b40 * b57 - 80 b40 * b58 - 84 b40 * b59 - 190 b40 * b60 - 60 b40 * b61 - 62 b40 * b62 - 54 b40 * b63 - 180 b40 * b64 - 168 b40 * b65 - 58 b40 * b66 - 20 b40 * b67 - 180 b40 * b68 - 44 b40 * b69 - 156 b40 * b70 - 68 b40 * b71 - 114 b40 * b72 - 44 b40 * b73 - 10 b40 * b75 - 72 b40 * b76 - 34 b40 * b77 - 196 b40 * b78 - 162 b40 * b79 - 106 b40 * b80 - 32 b40 * b81 - 80 b41 * b42 - 116 b41 * b43 - 4 b41 * b44 - 10 b41 * b45 - 122 b41 * b46 - 62 b41 * b47 - 182 b41 * b48 - 168 b41 * b49 - 124 b41 * b50 - 44 b41 * b51 - 116 b41 * b52 - 114 b41 * b53 - 102 b41 * b54 - 38 b41 * b56 - 102 b41 * b57 - 140 b41 * b58 - 30 b41 * b59 - 38 b41 * b61 - 44 b41 * b62 - 26 b41 * b63 - 98 b41 * b64 - 46 b41 * b65 - 98 b41 * b66 - 116 b41 * b67 - 48 b41 * b68 - 86 b41 * b69 - 158 b41 * b70 - 200 b41 * b72 - 138 b41 * b74 - 92 b41 * b75 - 114 b41 * b76 - 64 b41 * b77 - 176 b41 * b78 - 116 b41 * b79 - 82 b41 * b80 - 72 b41 * b81 - 148 b42 * b43 - 2 b42 * b44 - 4 b42 * b45 - 100 b42 * b48 - 128 b42 * b50 - 16 b42 * b52 - 94 b42 * b53 - 56 b42 * b54 - 30 b42 * b55 - 186 b42 * b56 - 174 b42 * b57 - 40 b42 * b58 - 112 b42 * b59 - 120 b42 * b60 - 50 b42 * b61 - 182 b42 * b62 - 30 b42 * b63 - 32 b42 * b64 - 22 b42 * b65 - 84 b42 * b66 - 40 b42 * b67 - 118 b42 * b68 - 56 b42 * b69 - 66 b42 * b70 - 176 b42 * b71 - 20 b42 * b72 - 58 b42 * b73 - 186 b42 * b74 - 96 b42 * b75 - 66 b42 * b76 - 112 b42 * b77 - 34 b42 * b78 - 156 b42 * b79 - 194 b42 * b80 - 136 b42 * b81 - 146 b43 * b44 - 160 b43 * b46 - 4 b43 * b47 - 186 b43 * b48 - 86 b43 * b49 - 132 b43 * b50 - 146 b43 * b51 - 56 b43 * b52 - 44 b43 * b53 - 80 b43 * b54 - 162 b43 * b55 - 96 b43 * b57 - 134 b43 * b58 - 166 b43 * b59 - 36 b43 * b60 - 26 b43 * b61 - 26 b43 * b62 - 28 b43 * b63 - 16 b43 * b64 - 36 b43 * b66 - 174 b43 * b67 - 36 b43 * b68 - 188 b43 * b69 - 194 b43 * b70 - 38 b43 * b71 - 48 b43 * b72 - 18 b43 * b73 - 70 b43 * b74 - 30 b43 * b75 - 14 b43 * b76 - 84 b43 * b77 - 82 b43 * b78 - 72 b43 * b79 - 12 b43 * b80 - 20 b43 * b81 - 64 b44 * b45 - 14 b44 * b47 - 116 b44 * b48 - 142 b44 * b49 - 148 b44 * b50 - 112 b44 * b51 - 112 b44 * b52 - 112 b44 * b53 - 104 b44 * b54 - 94 b44 * b55 - 142 b44 * b56 - 68 b44 * b57 - 102 b44 * b58 - 110 b44 * b59 - 56 b44 * b60 - 60 b44 * b61 - 10 b44 * b62 - 110 b44 * b63 - 92 b44 * b64 - 6 b44 * b65 - 20 b44 * b66 - 78 b44 * b67 - 82 b44 * b68 - 158 b44 * b69 - 136 b44 * b70 - 24 b44 * b71 - 28 b44 * b72 - 114 b44 * b73 - 176 b44 * b74 - 44 b44 * b75 - 94 b44 * b76 - 2 b44 * b77 - 14 b44 * b78 - 168 b44 * b79 - 180 b44 * b81 - 44 b45 * b46 - 64 b45 * b49 - 28 b45 * b50 - 134 b45 * b51 - 176 b45 * b52 - 126 b45 * b53 - 118 b45 * b54 - 144 b45 * b56 - 198 b45 * b57 - 148 b45 * b58 - 74 b45 * b59 - 38 b45 * b60 - 74 b45 * b61 - 118 b45 * b62 - 90 b45 * b64 - 186 b45 * b65 - 112 b45 * b66 - 120 b45 * b68 - 76 b45 * b69 - 2 b45 * b71 - 56 b45 * b72 - 34 b45 * b73 - 80 b45 * b74 - 74 b45 * b75 - 74 b45 * b76 - 36 b45 * b77 - 192 b45 * b78 - 114 b45 * b79 - 126 b45 * b80 - 100 b45 * b81 - 94 b46 * b47 - 102 b46 * b48 - 182 b46 * b49 - 68 b46 * b50 - 156 b46 * b51 - 38 b46 * b52 - 192 b46 * b53 - 160 b46 * b54 - 84 b46 * b56 - 6 b46 * b57 - 162 b46 * b58 - 10 b46 * b59 - 126 b46 * b60 - 48 b46 * b61 - 170 b46 * b62 - 16 b46 * b63 - 76 b46 * b64 - 200 b46 * b65 - 126 b46 * b66 - 40 b46 * b67 - 82 b46 * b68 - 118 b46 * b69 - 38 b46 * b70 - 62 b46 * b73 - 164 b46 * b74 - 46 b46 * b75 - 10 b46 * b76 - 98 b46 * b77 - 130 b46 * b78 - 70 b46 * b79 - 52 b46 * b80 - 104 b46 * b81 - 152 b47 * b48 - 62 b47 * b49 - 178 b47 * b50 - 96 b47 * b51 - 84 b47 * b52 - 194 b47 * b53 - 160 b47 * b54 - 94 b47 * b55 - 88 b47 * b56 - 118 b47 * b57 - 134 b47 * b58 - 30 b47 * b59 - 76 b47 * b60 - 90 b47 * b61 - 168 b47 * b62 - 22 b47 * b63 - 42 b47 * b64 - 58 b47 * b66 - 58 b47 * b67 - 168 b47 * b69 - 86 b47 * b70 - 100 b47 * b72 - 88 b47 * b73 - 152 b47 * b74 - 170 b47 * b75 - 4 b47 * b76 - 90 b47 * b77 - 150 b47 * b78 - 172 b47 * b79 - 52 b47 * b80 - 32 b47 * b81 - 158 b48 * b49 - 40 b48 * b50 - 66 b48 * b51 - 72 b48 * b52 - 124 b48 * b53 - 28 b48 * b54 - 136 b48 * b55 - 16 b48 * b56 - 98 b48 * b57 - 100 b48 * b58 - 162 b48 * b59 - 112 b48 * b60 - 30 b48 * b62 - 186 b48 * b63 - 106 b48 * b64 - 168 b48 * b66 - 8 b48 * b68 - 50 b48 * b69 - 24 b48 * b70 - 128 b48 * b72 - 148 b48 * b73 - 48 b48 * b74 - 26 b48 * b75 - 178 b48 * b76 - 50 b48 * b77 - 148 b48 * b78 - 20 b48 * b79 - 2 b48 * b80 - 62 b48 * b81 - 10 b49 * b50 - 86 b49 * b51 - 142 b49 * b52 - 166 b49 * b53 - 110 b49 * b54 - 152 b49 * b55 - 52 b49 * b56 - 112 b49 * b57 - 110 b49 * b59 - 92 b49 * b60 - 56 b49 * b61 - 154 b49 * b62 - 52 b49 * b63 - 82 b49 * b64 - 50 b49 * b66 - 66 b49 * b67 - 42 b49 * b68 - 106 b49 * b70 - 108 b49 * b72 - 146 b49 * b73 - 110 b49 * b75 - 186 b49 * b76 - 64 b49 * b77 - 100 b49 * b78 - 160 b49 * b79 - 116 b49 * b80 - 148 b49 * b81 - 84 b50 * b52 - 24 b50 * b53 - 30 b50 * b54 - 72 b50 * b55 - 84 b50 * b56 - 42 b50 * b57 - 142 b50 * b58 - 178 b50 * b59 - 156 b50 * b60 - 76 b50 * b61 - 102 b50 * b62 - 58 b50 * b63 - 80 b50 * b64 - 136 b50 * b65 - 164 b50 * b66 - 102 b50 * b67 - 114 b50 * b68 - 84 b50 * b69 - 36 b50 * b70 - 8 b50 * b71 - 58 b50 * b72 - 102 b50 * b73 - 54 b50 * b74 - 80 b50 * b75 - 154 b50 * b76 - 26 b50 * b77 - 82 b50 * b78 - 120 b50 * b79 - 176 b50 * b80 - 156 b50 * b81 - 78 b51 * b53 - 10 b51 * b54 - 184 b51 * b55 - 112 b51 * b56 - 130 b51 * b57 - 142 b51 * b58 - 78 b51 * b59 - 74 b51 * b60 - 50 b51 * b61 - 146 b51 * b62 - 174 b51 * b64 - 148 b51 * b65 - 148 b51 * b66 - 36 b51 * b67 - 158 b51 * b68 - 2 b51 * b69 - 178 b51 * b70 - 4 b51 * b71 - 192 b51 * b72 - 86 b51 * b73 - 6 b51 * b74 - 40 b51 * b75 - 124 b51 * b77 - 190 b51 * b78 - 138 b51 * b79 - 156 b51 * b81 - 16 b52 * b53 - 200 b52 * b54 - 110 b52 * b55 - 80 b52 * b56 - 92 b52 * b57 - 108 b52 * b58 - 178 b52 * b59 - 160 b52 * b60 - 130 b52 * b61 - 196 b52 * b62 - 152 b52 * b63 - 114 b52 * b64 - 200 b52 * b65 - 24 b52 * b66 - 164 b52 * b67 - 176 b52 * b68 - 102 b52 * b69 - 152 b52 * b70 - 36 b52 * b73 - 42 b52 * b74 - 74 b52 * b75 - 108 b52 * b76 - 170 b52 * b77 - 64 b52 * b78 - 88 b52 * b79 - 58 b52 * b80 - 118 b52 * b81 - 162 b53 * b54 - 90 b53 * b55 - 140 b53 * b57 - 180 b53 * b58 - 16 b53 * b60 - 182 b53 * b61 - 12 b53 * b62 - 108 b53 * b64 - 172 b53 * b65 - 100 b53 * b66 - 94 b53 * b67 - 162 b53 * b68 - 164 b53 * b69 - 124 b53 * b70 - 136 b53 * b71 - 82 b53 * b72 - 160 b53 * b73 - 66 b53 * b74 - 148 b53 * b75 - 144 b53 * b76 - 164 b53 * b77 - 24 b53 * b78 - 4 b53 * b79 - 150 b53 * b80 - 138 b53 * b81 - 92 b54 * b55 - 10 b54 * b56 - 74 b54 * b57 - 74 b54 * b58 - 196 b54 * b59 - 8 b54 * b60 - 70 b54 * b61 - 146 b54 * b62 - 2 b54 * b64 - 40 b54 * b66 - 198 b54 * b67 - 30 b54 * b68 - 166 b54 * b69 - 132 b54 * b70 - 156 b54 * b71 - 66 b54 * b72 - 14 b54 * b73 - 100 b54 * b75 - 118 b54 * b77 - 130 b54 * b78 - 192 b54 * b80 - 168 b54 * b81 - 134 b55 * b56 - 158 b55 * b57 - 156 b55 * b59 - 116 b55 * b60 - 106 b55 * b62 - 44 b55 * b63 - 4 b55 * b64 - 124 b55 * b65 - 92 b55 * b66 - 32 b55 * b67 - 2 b55 * b68 - 98 b55 * b69 - 36 b55 * b70 - 76 b55 * b71 - 188 b55 * b72 - 84 b55 * b74 - 122 b55 * b75 - 28 b55 * b76 - 184 b55 * b77 - 62 b55 * b78 - 52 b55 * b79 - 20 b55 * b80 - 146 b55 * b81 - 82 b56 * b57 - 90 b56 * b58 - 148 b56 * b59 - 16 b56 * b61 - 126 b56 * b62 - 146 b56 * b63 - 108 b56 * b64 - 40 b56 * b65 - 176 b56 * b66 - 88 b56 * b67 - 126 b56 * b68 - 138 b56 * b69 - 86 b56 * b70 - 88 b56 * b71 - 200 b56 * b72 - 42 b56 * b73 - 180 b56 * b74 - 60 b56 * b75 - 96 b56 * b76 - 108 b56 * b77 - 200 b56 * b78 - 136 b56 * b79 - 126 b56 * b80 - 164 b56 * b81 - 164 b57 * b58 - 98 b57 * b59 - 112 b57 * b60 - 166 b57 * b61 - 102 b57 * b64 - 178 b57 * b66 - 144 b57 * b67 - 194 b57 * b68 - 66 b57 * b69 - 156 b57 * b70 - 130 b57 * b71 - 58 b57 * b72 - 140 b57 * b73 - 56 b57 * b74 - 190 b57 * b75 - 190 b57 * b76 - 82 b57 * b77 - 120 b57 * b78 - 4 b57 * b79 - 146 b57 * b80 - 30 b57 * b81 - 38 b58 * b59 - 146 b58 * b61 - 44 b58 * b62 - 20 b58 * b63 - 154 b58 * b65 - 190 b58 * b66 - 136 b58 * b68 - 6 b58 * b69 - 180 b58 * b70 - 72 b58 * b71 - 64 b58 * b72 - 68 b58 * b73 - 38 b58 * b75 - 6 b58 * b77 - 32 b58 * b78 - 14 b58 * b79 - 36 b58 * b80 - 38 b58 * b81 - 28 b59 * b60 - 164 b59 * b62 - 96 b59 * b63 - 190 b59 * b64 - 136 b59 * b65 - 82 b59 * b66 - 62 b59 * b67 - 58 b59 * b68 - 80 b59 * b69 - 124 b59 * b70 - 122 b59 * b71 - 118 b59 * b72 - 66 b59 * b73 - 76 b59 * b74 - 66 b59 * b75 - 34 b59 * b76 - 172 b59 * b77 - 86 b59 * b79 - 22 b59 * b80 - 22 b59 * b81 - 142 b60 * b62 - 68 b60 * b63 - 144 b60 * b64 - 8 b60 * b65 - 70 b60 * b66 - 136 b60 * b67 - 180 b60 * b68 - 52 b60 * b69 - 132 b60 * b70 - 90 b60 * b71 - 62 b60 * b72 - 20 b60 * b73 - 190 b60 * b74 - 100 b60 * b75 - 156 b60 * b76 - 176 b60 * b77 - 22 b60 * b78 - 78 b60 * b79 - 116 b60 * b80 - 152 b60 * b81 - 182 b61 * b62 - 54 b61 * b63 - 4 b61 * b64 - 2 b61 * b65 - 150 b61 * b66 - 86 b61 * b67 - 152 b61 * b68 - 52 b61 * b69 - 40 b61 * b70 - 50 b61 * b71 - 198 b61 * b72 - 122 b61 * b73 - 6 b61 * b75 - 30 b61 * b76 - 184 b61 * b77 - 92 b61 * b78 - 64 b61 * b79 - 192 b61 * b80 - 180 b61 * b81 - 14 b62 * b63 - 90 b62 * b64 - 186 b62 * b65 - 12 b62 * b66 - 196 b62 * b67 - 70 b62 * b68 - 132 b62 * b69 - 182 b62 * b70 - 78 b62 * b71 - 110 b62 * b72 - 174 b62 * b73 - 194 b62 * b75 - 14 b62 * b77 - 76 b62 * b78 - 146 b62 * b79 - 82 b62 * b80 - 4 b62 * b81 - 188 b63 * b64 - 2 b63 * b65 - 26 b63 * b66 - 58 b63 * b67 - 134 b63 * b68 - 158 b63 * b69 - 98 b63 * b70 - 126 b63 * b71 - 90 b63 * b72 - 148 b63 * b73 - 24 b63 * b74 - 158 b63 * b75 - 184 b63 * b76 - 144 b63 * b77 - 48 b63 * b78 - 178 b63 * b79 - 192 b63 * b80 - 98 b63 * b81 - 24 b64 * b65 - 166 b64 * b66 - 26 b64 * b67 - 22 b64 * b68 - 170 b64 * b69 - 146 b64 * b70 - 36 b64 * b71 - 184 b64 * b72 - 194 b64 * b73 - 148 b64 * b74 - 66 b64 * b75 - 80 b64 * b76 - 8 b64 * b77 - 34 b64 * b78 - 42 b64 * b79 - 166 b64 * b80 - 20 b64 * b81 - 100 b65 * b66 - 88 b65 * b68 - 86 b65 * b69 - 198 b65 * b70 - 52 b65 * b71 - 162 b65 * b72 - 98 b65 * b73 - 68 b65 * b74 - 146 b65 * b75 - 4 b65 * b76 - 34 b65 * b77 - 100 b65 * b78 - 16 b65 * b79 - 146 b65 * b80 - 186 b65 * b81 - 8 b66 * b67 - 10 b66 * b68 - 154 b66 * b69 - 74 b66 * b70 - 152 b66 * b71 - 34 b66 * b72 - 86 b66 * b73 - 88 b66 * b74 - 168 b66 * b75 - 170 b66 * b76 - 114 b66 * b77 - 60 b66 * b78 - 194 b66 * b79 - 178 b66 * b80 - 52 b66 * b81 - 126 b67 * b68 - 122 b67 * b70 - 132 b67 * b71 - 4 b67 * b72 - 48 b67 * b73 - 168 b67 * b74 - 14 b67 * b75 - 176 b67 * b76 - 22 b67 * b77 - 174 b67 * b78 - 88 b67 * b79 - 194 b67 * b80 - 146 b67 * b81 - 178 b68 * b69 - 88 b68 * b70 - 44 b68 * b71 - 50 b68 * b72 - 180 b68 * b73 - 24 b68 * b74 - 102 b68 * b75 - 164 b68 * b76 - 52 b68 * b77 - 58 b68 * b78 - 154 b68 * b79 - 58 b68 * b80 - 158 b68 * b81 - 8 b69 * b70 - 4 b69 * b71 - 20 b69 * b72 - 82 b69 * b73 - 34 b69 * b74 - 54 b69 * b75 - 52 b69 * b76 - 36 b69 * b77 - 188 b69 * b78 - 164 b69 * b79 - 174 b69 * b80 - 42 b69 * b81 - 172 b70 * b71 - 124 b70 * b72 - 160 b70 * b74 - 172 b70 * b75 - 128 b70 * b76 - 124 b70 * b77 - 80 b70 * b79 - 86 b70 * b80 - 106 b70 * b81 - 68 b71 * b72 - 126 b71 * b73 - 120 b71 * b74 - 28 b71 * b75 - 102 b71 * b76 - 2 b71 * b77 - 82 b71 * b78 - 96 b71 * b79 - 102 b71 * b80 - 114 b71 * b81 - 40 b72 * b73 - 80 b72 * b75 - 74 b72 * b77 - 178 b72 * b78 - 24 b72 * b79 - 148 b72 * b80 - 184 b72 * b81 - 110 b73 * b74 - 76 b73 * b76 - 22 b73 * b77 - 200 b73 * b78 - 108 b73 * b79 - 40 b73 * b80 - 72 b73 * b81 - 130 b74 * b75 - 124 b74 * b76 - 76 b74 * b77 - 194 b74 * b78 - 70 b74 * b79 - 136 b74 * b80 - 126 b74 * b81 - 154 b75 * b76 - 192 b75 * b77 - 26 b75 * b78 - 130 b75 * b79 - 116 b75 * b80 - 64 b75 * b81 - 26 b76 * b77 - 116 b76 * b79 - 186 b76 * b80 - 44 b76 * b81 - 120 b77 * b78 - 70 b77 * b79 - 50 b77 * b80 - 2 b77 * b81 - 86 b78 * b79 - 160 b78 * b80 - 80 b78 * b81 - 42 b79 * b80 - 82 b80 * b81 ]/2 Subject To e2: 14 b2 + 7 b3 + 17 b4 + 16 b5 + 25 b6 + 26 b7 + 19 b8 + 10 b9 + 42 b10 + 10 b11 + 11 b12 + 18 b13 + 17 b14 + 36 b15 + 41 b16 + 38 b17 + 8 b18 + 49 b19 + 50 b20 + 28 b21 + 42 b22 + 5 b23 + 43 b24 + 12 b25 + 2 b26 + 13 b27 + 36 b28 + 9 b29 + 26 b30 + 26 b31 + 46 b32 + 27 b33 + 43 b34 + 8 b35 + 48 b36 + 15 b37 + 6 b38 + 34 b39 + 20 b40 + 24 b41 + 9 b42 + 32 b43 + 48 b44 + 44 b45 + 20 b46 + 8 b47 + 26 b48 + 32 b49 + 25 b50 + 5 b51 + 41 b52 + 21 b53 + 50 b54 + 30 b55 + 5 b56 + 28 b57 + 28 b58 + 22 b59 + 26 b60 + 17 b61 + 36 b62 + 32 b63 + 6 b64 + 24 b65 + 16 b66 + 6 b67 + 40 b68 + 14 b69 + 33 b70 + 43 b71 + 19 b72 + 22 b73 + 26 b74 + 18 b75 + 37 b76 + 33 b77 + 16 b78 + 30 b79 + 34 b80 + 15 b81 <= 1555 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 End