#BEGIN: [Tue Sep 5 07:54:45 2023] #HOST: s04 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-wallclock-banbaralab-longest2 #INSTANCE1: /benchmark/random_instance/random_instance016_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance016_graph004_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance016_graph004.col /benchmark/random_instance/random_instance016_graph004_01.dat c /benchmark/random_instance/random_instance016_graph004.col c /benchmark/random_instance/random_instance016_graph004_01.dat TIMEOUT 1800 c send SIGTERM to CID 949141edbcec75264bbe6f70e1ed45b2f338748a3976029245e41fcd504267d4 s 192 67 41 24 56 68 205 141 100 202 145 105 109 159 64 36 121 179 20 35 203 28 18 6 75 60 77 186 136 74 37 92 134 148 48 152 178 59 138 129 163 95 180 89 208 16 190 161 166 111 155 139 168 10 183 57 164 54 65 87 104 47 42 81 120 26 t 185 22 139 88 15 34 36 154 120 37 132 31 141 163 180 6 118 69 164 203 62 39 93 95 66 4 32 183 104 49 175 186 159 116 190 157 18 26 147 46 67 79 91 109 17 208 197 124 121 40 74 16 89 176 129 178 195 94 87 123 57 125 54 196 59 8 a YES a 6 10 16 18 20 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 178 179 180 183 186 190 192 202 203 205 208 a 6 10 16 18 20 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 65 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 176 178 179 180 183 186 190 192 202 203 205 208 a 6 10 16 18 20 24 26 28 35 36 37 41 42 47 48 56 57 59 60 65 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 176 178 179 180 181 183 186 190 192 202 203 205 208 a 6 10 16 18 20 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 65 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 120 121 129 136 138 139 141 145 148 152 155 159 161 163 164 166 168 176 178 179 180 181 183 186 190 192 202 203 205 208 a 10 13 16 18 20 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 65 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 120 121 129 136 138 139 141 145 148 152 155 159 161 163 164 166 168 176 178 179 180 181 183 186 190 192 202 203 205 208 a 10 13 16 18 20 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 65 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 112 120 121 129 136 138 139 141 145 148 152 155 159 161 163 164 166 168 176 178 179 180 181 183 186 190 192 202 205 208 a 10 13 16 18 20 24 26 28 35 36 37 41 42 47 48 54 56 57 59 60 65 67 68 74 75 77 81 87 89 92 95 100 105 109 111 112 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 176 178 179 180 181 183 186 190 192 202 205 208 a 10 13 16 18 20 24 26 28 35 36 37 41 47 48 54 56 57 59 60 65 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 176 178 179 180 181 183 186 190 192 202 205 208 a 10 13 18 20 24 26 28 35 36 37 41 47 48 54 56 57 59 60 65 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 176 178 179 180 181 183 184 186 190 192 202 205 208 a 10 13 16 18 20 24 26 28 35 36 37 41 47 48 54 56 57 59 60 65 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 176 178 179 180 181 183 184 186 190 192 202 208 a 10 13 16 18 20 26 28 35 36 37 41 47 48 54 56 57 59 60 65 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 176 178 179 180 181 183 184 186 190 192 202 205 208 a 10 13 16 18 20 26 28 35 36 37 41 42 47 48 54 56 57 59 60 65 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 176 178 179 181 183 184 186 190 192 202 205 208 a 10 13 16 18 20 26 28 35 36 37 41 42 47 48 54 56 57 59 60 65 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 170 176 178 179 181 183 184 186 190 192 202 208 a 10 13 16 18 20 26 28 35 36 37 41 42 47 48 54 56 57 59 60 65 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 141 145 148 152 155 161 163 164 166 168 170 175 176 178 179 181 183 184 186 190 192 202 208 a 10 13 16 18 20 26 28 35 36 37 41 42 47 48 54 56 59 60 65 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 170 175 176 178 179 181 183 184 186 190 192 202 208 a 10 13 16 18 20 26 28 35 37 41 42 47 48 54 56 57 59 60 65 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 170 175 176 178 179 181 183 184 186 190 192 202 208 a 10 13 16 18 20 26 28 35 36 37 41 42 47 48 54 56 57 59 60 65 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 170 175 176 178 179 181 183 184 186 190 192 202 a 10 13 18 20 26 28 35 36 37 41 42 47 48 54 56 57 59 60 65 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 170 175 176 178 179 181 183 184 186 190 192 202 208 a 10 13 16 18 20 26 28 35 36 37 41 42 47 48 54 56 57 59 60 65 67 68 74 75 77 81 87 89 92 100 104 105 109 111 112 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 170 175 176 178 179 181 183 184 186 190 192 202 208 a 10 13 16 18 20 26 28 35 36 37 41 42 47 48 54 56 57 59 60 65 67 74 75 77 81 87 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 170 175 176 178 179 181 183 184 186 190 192 202 208 a 8 10 13 16 18 20 26 28 35 36 37 41 42 47 48 54 56 57 59 60 65 67 74 75 77 81 87 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 170 175 176 178 179 181 183 184 186 190 192 208 a 8 10 13 16 18 20 26 28 35 36 37 41 42 47 48 54 56 57 59 60 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 170 175 176 178 179 181 183 184 186 190 192 208 a 8 10 13 16 18 20 26 28 35 36 37 41 42 47 48 54 56 57 59 60 65 67 68 74 75 77 87 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 170 175 176 178 179 181 183 184 186 190 192 208 a 8 10 13 16 18 20 26 28 35 36 37 41 42 47 48 54 56 57 59 60 65 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 141 145 152 155 159 161 163 164 166 168 170 175 176 178 179 181 183 184 186 190 192 208 a 8 10 13 16 18 20 26 28 35 36 37 41 42 47 48 54 56 57 59 60 65 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 170 175 176 178 179 181 183 184 186 190 208 a 10 13 16 18 20 26 28 35 36 37 41 42 47 48 54 56 57 59 60 65 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 170 175 176 178 179 181 183 184 186 190 202 208 a 13 16 18 20 26 28 35 36 37 41 42 47 48 54 56 57 59 60 65 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 170 175 176 178 179 180 181 183 184 186 190 202 208 a 13 16 18 20 26 28 35 36 37 41 42 47 48 54 56 57 59 60 65 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 170 176 178 179 180 181 183 184 186 190 202 205 208 a 10 13 16 18 20 26 28 35 36 37 41 42 47 48 54 56 57 59 60 65 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 170 176 178 179 180 181 183 184 186 190 202 208 a 10 13 16 18 20 26 28 35 37 41 42 47 48 54 56 57 59 60 65 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 170 176 178 179 180 181 183 184 186 190 192 202 208 a 10 13 16 18 20 26 28 37 41 42 47 48 54 56 57 59 60 65 67 68 74 75 77 81 87 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 170 176 178 179 180 181 183 184 186 190 192 195 202 208 a 10 13 16 18 20 26 28 37 41 42 47 48 54 56 57 59 60 65 67 68 74 75 77 81 87 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 170 176 178 179 180 181 183 184 186 190 192 195 202 205 208 a 10 13 16 18 20 26 28 37 41 42 47 48 54 56 57 59 60 65 67 68 74 75 77 81 87 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 170 176 178 179 180 181 183 186 190 192 195 202 203 205 208 a 10 13 16 18 20 26 28 36 37 41 42 47 48 54 56 57 59 60 65 67 68 74 75 77 81 87 92 95 100 104 109 111 112 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 170 176 178 179 180 181 183 186 190 192 195 202 203 205 208 a 10 16 18 20 26 28 36 37 41 42 47 48 52 54 56 57 59 60 65 67 68 74 75 77 81 87 92 95 100 104 109 111 112 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 170 176 178 179 180 181 183 186 190 192 195 202 203 205 208 a 10 13 16 18 20 26 28 36 37 41 42 47 48 52 54 56 57 59 60 65 67 68 74 75 77 81 87 92 95 100 104 109 111 112 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 170 176 178 179 180 181 183 186 190 192 195 202 203 208 a 10 13 16 18 20 26 28 35 36 37 41 42 47 48 52 54 56 57 59 60 65 67 68 74 75 77 81 87 92 95 100 104 109 111 112 120 121 129 134 136 138 139 141 145 148 152 155 159 161 163 164 166 168 170 176 178 179 180 181 183 186 190 192 202 203 208 a 10 13 16 18 20 26 28 35 36 37 41 42 47 48 52 54 56 57 59 60 65 67 68 75 77 81 87 92 95 100 104 109 111 112 120 121 129 134 136 138 139 140 141 145 148 152 155 159 161 163 164 166 168 170 176 178 179 180 181 183 186 190 192 202 203 208 a 10 13 16 18 20 26 28 35 36 37 41 42 47 48 52 54 56 57 59 60 65 67 75 77 81 87 92 95 100 104 109 111 112 120 121 129 134 136 138 139 140 141 145 148 152 155 159 161 163 164 166 168 170 176 178 179 180 181 183 186 190 192 199 202 203 208 a 10 13 16 18 20 26 28 35 36 37 41 47 48 52 54 56 57 59 60 65 67 68 75 77 81 87 92 95 100 104 109 111 112 120 121 129 134 136 138 139 140 141 145 148 152 155 159 161 163 164 166 168 170 176 178 179 180 181 183 186 190 192 199 202 203 208 a 10 13 16 18 20 26 28 35 36 37 41 42 47 48 52 54 56 57 60 65 67 68 75 77 81 87 92 95 100 104 109 111 112 120 121 129 134 136 138 139 140 141 145 148 152 155 159 161 163 164 166 168 170 176 178 179 180 181 183 186 190 192 199 202 203 208 a 10 13 16 18 20 26 28 35 36 37 41 42 47 48 52 54 56 57 60 65 67 68 75 77 81 87 89 92 95 100 104 109 111 112 120 121 129 134 136 139 140 141 145 148 152 155 159 161 163 164 166 168 170 176 178 179 180 181 183 186 190 192 199 202 203 208 a 10 13 16 18 20 26 28 35 36 37 41 42 47 48 52 54 56 57 60 65 67 68 75 77 81 87 89 92 95 100 104 109 111 112 120 121 129 134 136 139 140 141 145 148 152 155 159 161 163 164 166 168 170 176 178 179 180 181 183 186 190 192 199 202 205 208 a 10 13 16 18 20 26 28 35 36 37 41 42 47 48 52 54 56 57 60 65 66 67 68 75 77 81 87 89 92 95 100 104 109 111 112 120 121 129 134 136 139 140 141 145 148 152 155 159 161 163 164 166 168 176 178 179 180 181 183 186 190 192 199 202 205 208 a 10 13 16 18 20 26 28 35 36 37 41 42 47 48 52 54 56 57 60 65 66 67 68 75 77 81 87 89 92 95 100 104 105 109 111 112 120 121 129 134 136 139 140 141 145 148 152 155 159 161 163 164 166 168 176 178 179 180 181 183 186 190 192 202 205 208 a 10 13 16 18 20 26 28 36 37 39 41 42 47 48 52 54 56 57 60 65 66 67 68 75 77 81 87 89 92 95 100 104 105 109 111 112 120 121 129 134 136 139 140 141 145 148 152 155 159 161 163 164 166 168 176 178 179 180 181 183 186 190 192 202 205 208 a 10 13 16 18 20 26 28 36 37 39 41 42 47 48 52 54 56 57 60 65 66 67 68 75 77 81 87 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 140 145 148 152 155 159 161 163 164 166 168 176 178 179 180 181 183 186 190 192 202 205 208 a 10 13 16 18 20 26 28 36 37 39 41 42 47 48 52 54 56 57 60 65 66 67 68 69 75 81 87 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 140 145 148 152 155 159 161 163 164 166 168 176 178 179 180 181 183 186 190 192 202 205 208 a 10 13 16 18 20 26 28 36 37 39 41 42 47 48 52 54 56 57 60 65 66 67 68 69 75 81 87 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 140 141 145 148 152 155 159 161 163 164 166 168 176 178 179 180 181 183 186 190 192 202 205 a 10 13 16 18 20 26 28 36 37 39 41 42 47 48 52 54 56 57 60 65 66 67 68 69 75 81 87 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 140 141 145 148 152 155 159 161 163 164 166 168 176 178 179 180 181 186 190 192 202 203 205 a 10 13 16 18 20 26 28 36 37 39 41 42 47 48 52 54 56 57 59 60 65 66 67 68 69 75 81 87 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 140 141 145 148 152 155 159 161 163 164 166 168 176 178 179 180 181 186 190 192 202 203 a 10 13 16 18 20 26 28 36 37 39 41 42 47 48 52 54 56 57 59 60 65 66 67 68 69 75 81 87 89 92 95 100 104 109 111 112 120 121 129 134 136 138 139 140 141 145 148 152 155 159 161 163 164 166 168 176 178 179 180 181 186 190 192 199 202 203 a 10 13 16 18 20 26 28 36 37 39 41 42 47 48 52 54 56 57 59 60 65 66 67 68 69 75 81 87 89 92 95 100 104 109 111 112 120 121 129 134 136 138 139 140 141 145 148 152 155 159 161 163 164 166 168 176 178 179 180 181 186 190 192 199 203 205 a 10 13 16 18 20 26 28 36 37 41 42 47 48 52 54 56 57 59 60 65 66 67 68 69 75 81 87 89 92 95 100 104 109 111 112 120 121 129 134 136 138 139 140 141 145 148 152 155 159 161 163 164 166 168 176 178 179 180 181 186 190 192 197 199 203 205 a 10 13 16 18 20 26 28 35 36 37 41 42 47 48 52 54 56 57 59 60 65 66 67 68 69 75 81 87 89 92 95 100 104 109 111 112 121 129 134 136 138 139 140 141 145 148 152 155 159 161 163 164 166 168 176 178 179 180 181 186 190 192 197 199 203 205 a 10 13 16 18 20 26 28 35 36 37 42 47 48 52 54 56 57 59 60 65 66 67 68 69 75 81 87 89 92 95 100 104 109 111 112 121 129 134 136 138 139 140 141 145 148 152 155 159 161 163 164 166 168 176 178 179 180 181 183 186 190 192 197 199 203 205 a 10 13 16 18 20 26 28 35 36 37 42 47 48 52 54 56 57 59 60 65 66 67 68 69 75 81 87 89 92 100 104 109 111 112 120 121 129 134 136 138 139 140 141 145 148 152 155 159 161 163 164 166 168 176 178 179 180 181 183 186 190 192 197 199 203 205 a 10 13 16 18 20 26 28 35 36 37 42 47 48 52 54 56 57 59 60 66 67 68 69 75 81 87 89 92 95 100 104 109 111 112 120 121 129 134 136 138 139 140 141 145 148 152 155 159 161 163 164 166 168 176 178 179 180 181 183 186 190 192 197 199 203 205 a 10 13 16 18 20 26 28 36 37 42 47 48 52 54 56 57 59 60 66 67 68 69 75 81 87 89 92 95 100 104 109 111 112 120 121 129 134 136 138 139 140 141 145 148 152 155 159 161 163 164 166 168 176 178 179 180 181 183 186 190 192 195 197 199 203 205 a 10 13 16 18 20 26 28 36 37 41 42 47 48 52 54 56 57 59 60 66 67 68 69 75 81 87 89 92 95 100 104 109 111 112 120 121 129 134 136 138 139 140 141 145 148 152 155 159 161 163 164 166 168 176 178 179 180 181 183 186 190 192 195 197 199 203 a 10 13 16 18 20 26 28 36 37 41 42 47 48 52 54 56 57 59 60 66 67 68 69 75 81 87 89 92 95 100 104 109 111 112 120 121 129 134 136 138 139 140 141 145 148 152 155 159 161 163 164 166 168 176 178 179 180 181 183 186 190 192 195 197 199 206 a 10 13 16 18 20 26 28 36 37 41 42 47 48 52 54 56 57 59 60 66 67 68 69 75 81 87 89 92 95 100 104 109 111 112 120 121 129 134 136 138 139 140 141 145 148 152 155 159 161 163 164 166 168 176 178 179 180 181 183 186 190 192 195 197 199 202 a 10 16 18 20 26 28 36 37 41 42 47 48 52 54 56 57 59 60 66 67 68 69 75 81 87 89 92 95 100 104 109 111 112 120 121 129 134 136 138 139 140 141 145 148 152 155 159 161 163 164 166 168 176 178 179 180 181 183 186 190 192 195 197 199 202 208 a 10 13 16 18 20 26 28 36 37 41 42 47 48 52 54 56 57 59 60 66 67 68 69 75 81 87 89 92 95 100 104 109 111 112 120 121 129 134 136 138 139 140 141 145 148 152 155 159 161 163 164 166 168 176 178 179 180 181 183 186 190 192 195 197 202 208 a 10 13 16 18 20 26 28 36 37 41 42 47 48 52 54 56 57 59 60 66 67 68 69 75 81 87 89 92 95 100 104 109 111 112 120 121 129 134 136 138 139 140 141 148 152 155 159 161 163 164 166 168 176 178 179 180 181 183 186 190 192 195 197 199 202 208 a 10 13 16 18 20 26 28 36 37 41 42 47 48 52 54 56 57 59 60 65 66 67 68 69 75 81 87 89 92 95 100 104 109 111 120 121 129 134 136 138 139 140 141 148 152 155 159 161 163 164 166 168 176 178 179 180 181 183 186 190 192 195 197 199 202 208 a 10 13 16 18 20 26 28 35 36 37 41 42 47 48 52 54 56 57 59 60 65 66 67 68 69 75 81 87 89 92 95 100 104 109 111 120 121 129 134 136 138 139 140 141 148 152 155 159 161 163 164 166 168 176 178 179 180 181 183 186 190 192 197 199 202 208 a 10 13 16 18 20 26 28 35 36 37 41 42 47 48 52 54 56 57 59 60 65 66 67 68 69 75 81 87 89 92 95 100 104 109 111 120 121 129 134 136 138 139 140 141 148 152 155 159 161 163 164 166 168 176 178 179 180 181 183 186 190 192 197 202 205 208 a 10 13 16 18 20 26 28 35 36 37 41 42 47 48 52 54 56 57 59 60 65 66 67 68 69 75 81 87 89 92 95 100 104 109 111 112 120 121 129 134 136 138 139 140 141 148 152 155 159 161 163 166 168 176 178 179 180 181 183 186 190 192 197 202 205 208 a 10 16 18 20 26 28 35 36 37 41 42 47 48 52 54 56 57 59 60 65 66 67 68 69 75 81 87 89 92 95 100 104 109 111 112 120 121 129 134 136 138 139 140 141 145 148 152 155 159 161 163 166 168 176 178 179 180 181 183 186 190 192 197 202 205 208 a 10 13 16 18 20 26 28 35 36 37 41 42 47 48 52 54 56 57 59 60 65 66 67 68 69 75 81 87 89 92 95 100 104 109 111 112 120 121 129 134 136 138 139 140 141 145 148 152 155 159 161 163 166 168 176 178 179 180 181 183 186 190 192 202 205 208 a 10 13 16 18 20 26 28 35 36 37 41 42 47 48 52 54 56 57 59 60 65 66 67 68 69 75 81 87 89 92 95 100 104 109 111 112 120 121 129 134 136 138 139 140 141 145 148 152 155 159 161 163 164 166 168 176 178 179 180 181 183 186 192 202 205 208 a 10 13 16 18 20 26 28 35 36 37 42 47 48 52 54 56 57 59 60 65 66 67 68 69 75 81 87 89 92 95 100 104 109 111 112 120 121 129 134 136 138 139 140 141 145 148 152 155 159 161 163 164 166 168 176 178 179 180 181 183 186 192 202 203 205 208 a 10 13 16 18 20 26 28 35 36 37 42 47 48 52 54 56 57 59 60 65 66 67 68 69 81 87 89 92 95 100 104 109 111 112 120 121 129 134 136 138 139 140 141 145 147 148 152 155 159 161 163 164 166 168 176 178 179 180 181 183 186 192 202 203 205 208 a 10 13 16 18 20 26 28 35 36 37 42 47 48 52 54 57 59 60 65 66 67 68 69 81 87 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 140 141 145 147 148 152 155 159 161 163 164 166 168 176 178 179 180 181 183 186 192 202 203 205 208 a 10 13 16 18 20 26 28 35 36 37 41 42 47 48 52 54 57 59 60 65 66 67 68 69 81 87 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 140 141 145 147 148 152 155 159 161 163 164 166 168 176 178 179 180 181 183 186 192 202 203 205 a 10 13 16 18 20 26 28 35 36 37 41 47 48 52 54 57 59 60 65 66 67 68 69 81 87 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 140 141 145 147 148 152 155 159 161 163 164 166 168 176 178 179 180 181 183 186 192 202 203 205 208 a 10 13 16 18 20 26 28 35 36 37 38 41 47 48 52 54 57 59 60 65 66 67 68 69 81 87 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 140 141 147 148 152 155 159 161 163 164 166 168 176 178 179 180 181 183 186 192 202 203 205 208 a 10 13 16 18 20 26 28 35 36 37 38 41 47 48 52 54 57 59 60 65 66 67 68 69 81 87 88 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 140 141 147 148 152 155 159 163 164 166 168 176 178 179 180 181 183 186 192 202 203 205 208 a 10 13 18 20 26 28 35 36 37 38 41 42 47 48 52 54 57 59 60 65 66 67 68 69 81 87 88 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 140 141 147 148 152 155 159 163 164 166 168 176 178 179 180 181 183 186 192 202 203 205 208 a 10 13 18 20 26 28 35 36 37 38 41 42 47 48 52 54 57 59 60 65 66 67 68 69 81 87 88 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 140 141 147 148 152 155 159 163 164 166 168 176 178 179 180 181 183 186 190 202 203 205 208 a 10 13 16 18 20 26 28 35 36 37 38 41 42 47 48 52 54 57 59 60 65 66 67 68 69 81 87 88 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 140 141 147 148 152 155 159 163 164 166 168 176 178 179 180 181 183 186 190 202 203 205 a 10 13 16 18 20 26 28 36 37 38 41 42 47 48 52 54 57 59 60 65 66 67 68 69 81 87 88 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 140 141 147 148 152 155 159 162 163 164 166 168 176 178 179 180 181 183 186 190 202 203 205 a 10 13 16 18 20 26 28 36 37 38 41 42 47 48 52 54 57 59 60 65 67 68 69 81 87 88 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 140 141 147 148 152 155 159 162 163 164 166 168 170 176 178 179 180 181 183 186 190 202 203 205 a 10 13 16 17 18 20 26 28 36 37 38 41 42 47 48 52 54 57 59 60 65 67 68 69 81 87 88 89 92 95 100 104 105 109 111 112 120 121 129 134 136 138 139 140 141 147 148 152 159 162 163 164 166 168 170 176 178 179 180 181 183 186 190 202 203 205 a 10 13 16 17 18 20 26 28 36 37 38 41 42 47 48 52 54 57 59 60 65 67 68 69 81 86 87 88 89 92 95 100 104 105 111 112 120 121 129 134 136 138 139 140 141 147 148 152 159 162 163 164 166 168 170 176 178 179 180 181 183 186 190 202 203 205 a 10 13 16 17 18 20 26 28 36 37 38 39 41 42 47 48 52 54 57 59 60 65 67 68 69 81 86 87 88 89 92 95 100 104 105 111 112 120 121 129 134 136 138 139 140 147 148 152 159 162 163 164 166 168 170 176 178 179 180 181 183 186 190 202 203 205 a 10 13 16 17 18 20 26 28 36 37 38 39 41 42 47 48 52 54 56 57 59 60 65 67 68 69 81 86 87 88 89 92 95 100 104 105 111 112 120 121 129 134 136 138 139 140 147 148 152 159 162 163 164 166 168 170 176 178 179 180 181 183 186 190 202 203 a 10 13 16 17 18 20 26 28 36 37 38 39 41 42 47 48 52 54 56 57 59 60 65 67 68 69 81 86 87 88 89 92 95 100 104 105 111 112 120 121 129 134 136 138 139 140 147 148 152 159 162 163 164 166 168 170 176 178 179 180 181 183 186 190 202 208 a 10 13 16 17 18 20 26 28 36 37 38 39 41 42 47 48 52 54 56 57 59 60 65 67 68 69 81 86 87 88 89 92 95 100 104 105 111 112 120 121 129 134 136 138 139 140 147 148 152 159 162 163 164 166 168 170 176 178 179 180 181 186 190 202 204 208 a 10 13 16 17 18 20 26 28 36 37 38 39 41 42 47 48 52 54 56 57 59 60 65 67 68 69 81 86 87 88 89 92 95 100 104 105 111 112 115 120 121 129 134 136 138 139 140 147 148 152 159 162 163 164 166 168 170 176 179 180 181 186 190 202 204 208 a 10 13 16 17 18 20 26 28 36 37 38 39 41 42 47 48 52 54 56 57 59 60 65 67 68 69 81 86 87 88 89 92 95 100 104 105 111 112 113 115 120 129 134 136 138 139 140 147 148 152 159 162 163 164 166 168 170 176 179 180 181 186 190 202 204 208 a 10 13 16 17 18 20 26 28 36 37 38 39 41 42 47 48 52 54 56 57 59 60 65 67 68 69 81 86 87 88 89 92 95 100 104 105 111 112 113 115 120 129 134 136 138 139 140 147 148 152 159 162 163 164 166 168 170 176 179 180 181 190 195 202 204 208 a 10 13 16 17 18 20 26 28 36 37 38 39 41 42 47 48 54 56 57 59 60 65 67 68 69 76 81 86 87 88 89 92 95 100 104 105 111 112 113 115 120 129 134 136 138 139 140 147 148 152 159 162 163 164 166 168 170 176 179 180 181 190 195 202 204 208 a 10 13 16 17 18 20 26 28 36 37 38 39 41 42 47 48 54 56 57 59 60 65 67 68 69 76 81 86 88 89 92 95 100 104 105 111 112 113 115 120 129 134 136 138 139 140 141 147 148 152 159 162 163 164 166 168 170 176 179 180 181 190 195 202 204 208 a 10 13 16 17 18 20 26 28 36 37 38 39 41 42 47 48 54 56 57 59 60 65 67 68 69 76 81 86 88 89 92 95 100 104 105 111 112 113 115 129 134 136 138 139 140 141 147 148 151 152 159 162 163 164 166 168 170 176 179 180 181 190 195 202 204 208 a 10 13 16 17 18 20 26 28 36 37 38 39 41 42 47 48 56 57 59 60 65 67 68 69 76 81 86 88 89 92 95 100 104 105 111 112 113 115 129 132 134 136 138 139 140 141 147 148 151 152 159 162 163 164 166 168 170 176 179 180 181 190 195 202 204 208 a 10 13 16 17 18 20 26 28 36 37 38 39 41 42 47 48 56 57 59 60 65 67 68 69 76 81 86 88 89 92 95 100 105 111 112 113 115 129 132 134 136 138 139 140 141 144 147 148 151 152 159 162 163 164 166 168 170 176 179 180 181 190 195 202 204 208 a 10 13 16 17 18 20 26 28 36 37 38 39 41 42 47 48 56 57 59 60 65 67 68 69 76 81 86 88 89 92 95 100 105 111 112 113 115 129 132 134 136 138 139 140 141 147 148 151 152 159 162 163 164 166 168 170 176 179 180 181 190 195 202 204 206 208 a 7 10 13 16 17 18 20 26 28 36 37 38 39 41 42 47 48 56 57 59 60 65 67 68 69 76 81 86 88 89 92 95 100 105 111 112 113 115 129 132 134 136 138 139 140 141 147 148 151 152 159 162 163 164 166 168 170 176 180 181 190 195 202 204 206 208 a 7 10 13 16 17 18 20 26 28 36 37 38 39 41 42 47 48 56 57 59 60 65 66 67 68 69 76 81 86 88 89 92 95 100 105 111 112 113 115 129 132 134 136 138 139 140 141 147 148 151 152 159 162 163 164 166 168 176 180 181 190 195 202 204 206 208 a 7 10 13 16 17 18 20 26 28 30 36 37 38 39 41 42 47 48 56 57 59 60 65 66 67 68 69 76 81 86 88 89 92 95 105 111 112 113 115 129 132 134 136 138 139 140 141 147 148 151 152 159 162 163 164 166 168 176 180 181 190 195 202 204 206 208 a 7 10 13 16 17 18 20 26 28 30 36 37 38 39 41 42 47 48 56 57 59 60 65 66 67 68 69 76 81 86 88 89 92 95 105 111 112 115 121 129 132 134 136 138 139 140 141 147 148 151 152 159 162 163 164 166 168 176 180 181 190 195 202 204 206 208 a 7 10 13 16 17 18 20 26 28 30 36 37 38 39 41 42 47 48 56 57 59 60 65 66 67 68 69 76 81 86 88 89 92 95 104 105 111 112 115 121 129 132 134 136 138 139 140 141 147 148 151 152 159 162 163 164 166 168 176 180 181 190 195 202 204 206 a 7 10 13 16 17 18 20 26 28 30 36 37 38 39 41 42 47 48 56 57 59 60 65 66 67 68 69 76 81 86 88 89 92 95 104 105 111 112 113 115 129 132 134 136 138 139 140 141 147 148 151 152 159 162 163 164 166 168 176 180 181 190 195 202 204 206 a 7 10 13 16 17 18 20 26 28 30 36 37 38 39 41 42 47 48 56 57 59 60 65 66 67 68 69 76 81 86 88 89 92 95 104 105 111 112 113 115 129 132 134 136 138 139 140 141 147 148 151 152 159 162 163 164 166 168 176 180 181 190 195 202 204 208 a 7 10 13 16 17 18 20 26 28 30 36 37 38 39 40 41 42 47 48 56 57 59 60 65 66 67 68 69 76 81 86 88 89 92 95 104 105 111 112 113 115 129 132 134 136 138 139 141 147 148 151 152 159 162 163 164 166 168 176 180 181 190 195 202 204 208 a 7 10 13 16 18 20 26 28 30 36 37 38 39 40 41 42 47 48 56 57 59 60 65 66 67 68 69 76 81 86 88 89 92 95 104 105 111 112 113 115 129 132 134 136 138 139 141 147 148 151 152 159 162 163 164 166 168 176 180 181 190 192 195 202 204 208 a 7 10 13 16 18 20 26 28 30 36 37 38 39 40 41 42 47 48 56 57 59 60 65 66 67 68 69 76 81 86 88 89 92 95 104 105 111 112 113 115 129 132 134 136 138 139 141 147 148 151 152 159 162 163 164 166 168 176 180 181 192 195 202 203 204 208 a 7 10 13 16 18 20 26 28 30 36 37 38 39 41 42 47 48 56 57 59 60 65 66 67 68 69 76 81 86 88 89 92 95 104 105 111 112 113 115 129 132 134 136 138 139 140 141 147 148 151 152 159 162 163 164 166 168 176 180 181 192 195 202 203 204 208 a 7 10 13 16 18 20 26 28 30 36 37 38 39 41 42 47 48 56 57 59 60 65 66 67 68 69 76 81 86 88 89 92 95 104 111 112 113 115 129 132 134 136 138 139 140 141 147 148 151 152 159 162 163 164 166 168 176 180 181 192 194 195 202 203 204 208 a 7 10 13 16 18 20 26 28 30 36 37 38 39 41 42 47 48 56 57 59 60 65 66 67 68 69 76 81 86 88 89 92 95 104 111 112 113 115 129 132 134 136 138 139 140 141 147 148 151 152 159 162 163 164 166 168 176 180 181 182 194 195 202 203 204 208 a 7 10 13 16 18 20 26 28 30 36 37 38 39 41 42 47 48 56 57 59 65 66 67 68 69 76 81 86 88 89 92 93 95 104 111 112 113 115 129 132 134 136 138 139 140 141 147 148 151 152 159 162 163 164 166 168 176 180 181 182 194 195 202 203 204 208 a 7 10 13 16 18 20 26 28 30 36 37 38 39 41 42 47 48 56 57 59 65 66 67 68 69 76 81 86 88 89 92 93 95 104 111 112 113 115 118 129 132 134 136 138 139 140 141 147 148 151 159 162 163 164 166 168 176 180 181 182 194 195 202 203 204 208 a 7 10 13 16 18 20 26 28 36 37 38 39 41 42 47 48 56 57 59 65 66 67 68 69 76 81 86 88 89 92 93 95 100 104 111 112 113 115 118 129 132 134 136 138 139 140 141 147 148 151 159 162 163 164 166 168 176 180 181 182 194 195 202 203 204 208 a 7 10 13 16 18 20 26 28 36 37 38 39 41 42 44 47 48 56 57 59 65 66 67 68 69 76 86 88 89 92 93 95 100 104 111 112 113 115 118 129 132 134 136 138 139 140 141 147 148 151 159 162 163 164 166 168 176 180 181 182 194 195 202 203 204 208 a 7 10 13 16 18 20 26 28 36 37 38 39 41 42 44 47 48 56 57 59 65 66 67 68 69 76 86 88 89 92 93 95 100 104 111 112 113 118 129 132 134 136 138 139 140 141 147 148 151 159 162 163 164 166 168 176 178 180 181 182 194 195 202 203 204 208 a 7 10 13 16 18 20 26 28 36 37 38 39 41 42 44 47 48 56 57 59 65 66 67 68 69 76 86 88 89 92 93 95 100 104 112 113 118 123 129 132 134 136 138 139 140 141 147 148 151 159 162 163 164 166 168 176 178 180 181 182 194 195 202 203 204 208 a 7 10 13 16 18 20 26 28 36 37 38 39 41 42 44 47 48 56 57 59 65 66 67 68 69 76 86 88 89 92 93 95 100 104 112 113 118 122 123 129 132 134 136 138 139 140 141 147 148 151 159 162 163 164 166 168 178 180 181 182 194 195 202 203 204 208 a 7 10 13 16 18 20 26 28 36 37 39 41 42 44 47 48 56 57 59 65 66 67 68 69 76 86 88 89 92 93 95 100 104 112 113 118 122 123 129 132 134 136 138 139 140 141 147 148 151 159 162 163 164 166 168 178 180 181 182 194 195 202 203 204 206 208 a 7 10 13 16 18 20 26 28 36 37 39 41 42 44 47 48 56 57 59 65 66 67 68 69 76 86 88 89 92 93 95 100 104 111 112 113 118 122 129 132 134 136 138 139 140 141 147 148 151 159 162 163 164 166 168 178 180 181 182 194 195 202 203 204 206 208 a 7 10 13 16 20 26 28 36 37 39 41 42 44 47 48 56 57 59 65 66 67 68 69 76 86 88 89 92 93 95 100 104 111 112 113 118 122 129 132 133 134 136 138 139 140 141 147 148 151 159 162 163 164 166 168 178 180 181 182 194 195 202 203 204 206 208 a 7 10 13 16 20 26 28 36 37 39 41 42 44 47 48 56 57 59 65 66 67 68 69 76 86 88 89 92 93 95 100 104 108 111 112 113 118 122 129 132 133 134 136 138 139 140 141 147 148 151 159 162 163 164 166 168 178 181 182 194 195 202 203 204 206 208 a 1 7 10 13 16 20 26 28 36 37 39 41 42 44 47 48 56 57 59 65 66 67 68 69 76 86 88 92 93 95 100 104 108 111 112 113 118 122 129 132 133 134 136 138 139 140 141 147 148 151 159 162 163 164 166 168 178 181 182 194 195 202 203 204 206 208 a 1 7 10 13 16 17 20 26 28 36 37 39 41 42 44 47 48 56 57 59 65 66 67 68 69 76 86 88 92 93 95 100 104 108 111 112 113 118 122 129 132 133 134 136 138 139 140 141 147 148 151 159 162 163 164 166 168 178 181 182 194 195 202 203 204 208 a 1 7 10 13 16 17 20 26 28 36 37 39 41 42 44 47 48 56 57 59 65 66 67 68 69 76 86 88 92 93 95 100 104 108 111 112 113 118 122 129 132 133 134 136 137 138 139 140 141 147 148 151 159 162 163 164 166 168 178 181 182 194 195 203 204 208 a 1 7 10 13 16 17 20 26 28 36 37 39 41 42 44 47 48 56 57 59 65 66 67 68 76 86 88 92 93 95 100 104 108 111 112 113 118 122 129 132 133 134 136 137 138 139 140 141 147 148 151 159 162 163 164 166 168 178 181 182 194 195 203 204 206 208 a 1 7 10 13 16 17 20 26 28 36 37 39 41 42 44 47 48 56 57 59 65 66 67 68 76 86 88 92 93 95 100 104 108 111 112 113 118 122 129 132 133 134 136 137 138 139 140 141 147 148 151 159 162 163 164 166 168 178 181 182 194 195 197 203 206 208 a 1 7 10 13 16 17 20 26 28 36 37 39 41 42 44 47 48 56 57 59 65 66 67 68 76 86 88 92 93 95 100 104 108 111 112 113 118 122 129 132 133 134 136 137 138 139 140 141 147 148 151 159 162 163 164 166 168 178 181 182 184 194 195 197 206 208 a 1 7 10 13 16 17 20 26 28 36 37 39 41 42 44 47 48 56 57 59 65 66 67 68 76 86 88 92 93 95 100 104 108 111 112 113 118 122 129 131 132 133 134 136 137 138 139 140 141 147 148 151 159 162 163 164 166 168 178 181 182 184 194 195 197 206 a 1 7 10 13 16 17 20 26 28 36 37 39 41 42 44 47 48 56 57 59 65 66 67 68 76 86 88 92 93 95 100 104 108 111 112 113 118 122 129 131 132 134 136 137 138 139 140 141 147 148 151 159 162 163 164 166 168 171 178 181 182 184 194 195 197 206 a 1 7 10 13 16 17 20 26 28 36 37 39 42 44 47 48 56 57 59 62 65 66 67 68 76 86 88 92 93 95 100 104 108 111 112 113 118 122 129 131 132 134 136 137 138 139 140 141 147 148 151 159 162 163 164 166 168 171 178 181 182 184 194 195 197 206 a 1 7 10 13 16 17 20 26 28 36 37 39 42 44 47 48 56 57 59 60 62 65 66 67 68 76 86 88 92 95 100 104 108 111 112 113 118 122 129 131 132 134 136 137 138 139 140 141 147 148 151 159 162 163 164 166 168 171 178 181 182 184 194 195 197 206 a 1 7 10 13 16 17 20 26 28 36 37 39 42 44 47 48 56 57 59 60 61 62 65 66 67 68 76 86 88 92 95 100 104 108 111 112 113 118 122 129 131 132 134 136 137 138 139 140 141 147 148 151 159 162 163 164 166 168 171 178 181 182 184 194 195 197 a 1 7 10 13 16 17 20 26 28 36 37 39 42 44 47 48 56 57 59 61 62 65 66 67 68 76 86 88 92 93 95 100 104 108 111 112 113 118 122 129 131 132 134 136 137 138 139 140 141 147 148 151 159 162 163 164 166 168 171 178 181 182 184 194 195 197 a 1 7 10 13 16 17 20 26 28 36 37 39 42 44 47 48 56 57 59 61 62 65 66 67 68 76 86 88 92 93 95 100 104 108 111 112 113 118 129 131 132 134 136 137 138 139 140 141 147 148 151 159 162 163 164 166 168 171 178 181 182 184 194 195 197 206 a 1 7 10 13 16 17 20 25 26 28 36 37 39 42 44 47 48 56 57 59 61 62 65 66 67 76 86 88 92 93 95 100 104 108 111 112 113 118 129 131 132 134 136 137 138 139 140 141 147 148 151 159 162 163 164 166 168 171 178 181 182 184 194 195 197 206 a 1 7 10 13 16 17 20 25 26 28 36 37 39 42 44 47 48 56 57 59 61 62 65 66 67 76 86 88 92 93 95 100 104 108 111 112 113 118 129 131 132 134 136 138 139 140 141 147 148 151 159 162 163 164 166 168 171 178 181 182 184 194 195 197 202 206 a 1 7 10 13 16 17 20 25 26 28 36 37 39 42 44 47 48 56 57 59 62 65 66 67 76 86 88 92 93 95 100 104 108 111 112 113 118 129 131 132 134 136 138 139 140 141 147 148 151 159 162 163 164 166 168 171 175 178 181 182 184 194 195 197 202 206 a 1 7 10 13 16 17 20 26 28 36 37 39 42 44 47 48 56 57 59 62 65 66 67 76 86 88 92 93 95 100 104 108 111 112 113 118 122 129 131 132 134 136 138 139 140 141 147 148 151 159 162 163 164 166 168 171 175 178 181 182 184 194 195 197 202 206 a 1 7 10 13 16 17 20 26 28 36 37 39 42 44 47 48 56 57 59 62 65 66 67 76 86 92 93 95 100 104 108 111 112 113 118 122 129 131 132 134 136 138 139 140 141 145 147 148 151 159 162 163 164 166 168 171 175 178 181 182 184 194 195 197 202 206 a 7 10 13 16 17 20 26 28 36 37 39 42 44 47 48 56 57 59 62 65 66 67 76 86 89 92 93 95 100 104 108 111 112 113 118 122 129 131 132 134 136 138 139 140 141 145 147 148 151 159 162 163 164 166 168 171 175 178 181 182 184 194 195 197 202 206 a 7 10 13 16 17 20 26 28 36 37 39 42 44 47 48 56 57 62 65 66 67 68 76 86 89 92 93 95 100 104 108 111 112 113 118 122 129 131 132 134 136 138 139 140 141 145 147 148 151 159 162 163 164 166 168 171 175 178 181 182 184 194 195 197 202 206 a 7 10 13 16 17 20 25 26 28 36 37 39 42 44 47 48 56 57 62 65 66 67 76 86 89 92 93 95 100 104 108 111 112 113 118 122 129 131 132 134 136 138 139 140 141 145 147 148 151 159 162 163 164 166 168 171 175 178 181 182 184 194 195 197 202 206 a 7 10 13 16 17 20 25 26 28 36 37 38 39 42 44 47 48 56 57 62 65 66 67 76 86 89 92 93 95 100 104 108 111 112 113 118 122 129 131 132 134 136 138 139 140 141 147 148 151 159 162 163 164 166 168 171 175 178 181 182 184 194 195 197 202 206 a 7 10 13 16 17 20 25 26 28 36 37 38 39 42 44 47 48 56 57 61 62 65 66 67 76 86 89 92 93 95 100 104 108 111 112 113 118 122 129 131 132 134 136 138 139 140 141 147 148 151 159 162 163 164 166 168 171 178 181 182 184 194 195 197 202 206 a 7 10 13 16 17 20 25 26 28 36 37 38 39 42 44 47 48 56 57 61 62 65 66 67 76 86 89 92 93 95 100 104 108 111 112 113 118 122 129 131 132 134 136 137 138 139 140 141 147 148 151 159 162 163 164 166 168 171 178 181 182 184 194 195 197 206 a 7 10 13 16 17 20 25 26 28 36 37 38 39 42 44 47 48 56 57 61 62 65 66 67 76 86 89 92 93 95 100 104 108 111 112 113 118 122 129 131 134 136 137 138 139 140 141 147 148 151 159 162 163 164 166 168 171 172 178 181 182 184 194 195 197 206 a 7 10 13 16 17 20 25 26 28 36 37 38 39 42 44 47 48 56 57 61 62 65 66 67 76 86 89 92 93 95 100 104 108 111 112 113 118 122 129 131 134 137 138 139 140 141 147 148 151 159 162 163 164 166 168 171 172 173 178 181 182 184 194 195 197 206 a 7 10 13 16 17 20 25 26 28 36 37 38 39 42 44 47 48 56 57 62 65 66 67 76 86 89 91 92 93 95 100 104 108 111 112 113 118 122 129 131 134 137 138 139 140 141 147 148 151 159 162 163 164 166 168 171 172 173 178 181 182 184 194 195 197 206 a 7 10 13 16 17 20 25 26 28 36 37 38 39 42 44 47 48 56 57 62 65 66 67 76 86 89 91 92 93 95 100 104 108 112 113 118 122 123 129 131 134 137 138 139 140 141 147 148 151 159 162 163 164 166 168 171 172 173 178 181 182 184 194 195 197 206 a 7 10 13 16 17 20 25 26 28 36 37 38 39 42 44 47 48 56 57 62 65 66 67 76 86 89 91 92 93 95 100 104 108 112 113 118 120 122 123 129 131 134 137 138 139 140 141 147 148 159 162 163 164 166 168 171 172 173 178 181 182 184 194 195 197 206 a 7 10 13 16 17 20 25 26 28 36 37 38 39 42 44 47 48 56 57 62 65 66 67 76 86 89 91 92 93 95 100 104 108 112 113 118 120 122 123 129 131 133 134 137 138 139 140 141 147 148 159 162 163 164 166 168 172 173 178 181 182 184 194 195 197 206 a 7 10 13 16 17 20 25 26 36 37 38 39 42 44 47 48 56 57 62 65 66 67 76 86 89 91 92 93 95 100 104 108 112 113 118 120 122 123 129 131 133 134 137 138 139 140 141 147 148 159 162 163 164 166 168 172 173 175 178 181 182 184 194 195 197 206 a 7 10 13 16 17 20 25 26 36 37 38 39 42 44 47 48 56 57 61 62 65 66 67 76 86 89 91 92 93 95 100 104 108 112 113 118 120 122 123 129 131 133 134 137 138 139 140 141 147 148 159 162 163 164 166 168 172 173 178 181 182 184 194 195 197 206 a 7 10 13 16 17 18 20 25 26 36 37 38 39 42 44 47 48 56 57 61 62 65 66 67 76 86 89 91 92 93 95 100 104 108 112 113 118 120 122 123 129 131 134 137 138 139 140 141 147 148 159 162 163 164 166 168 172 173 178 181 182 184 194 195 197 206 a 7 10 13 16 17 18 20 25 26 36 37 38 39 42 44 47 48 56 57 61 62 65 66 67 76 86 89 91 92 93 100 104 108 112 113 118 120 122 123 129 131 134 137 138 139 140 141 147 148 159 162 163 164 166 168 172 173 178 181 182 183 184 194 195 197 206 a 7 10 13 16 17 18 20 25 26 36 37 38 39 42 44 47 48 56 57 61 62 65 66 67 76 86 89 91 92 93 100 104 108 112 113 118 120 122 123 129 131 132 134 137 138 139 140 141 147 148 159 162 163 164 166 168 173 178 181 182 183 184 194 195 197 206 a 7 10 13 16 17 18 20 25 26 36 37 38 39 42 44 47 48 56 57 61 62 65 66 67 76 86 89 91 92 93 100 104 108 112 113 118 120 123 129 131 132 134 137 138 139 140 141 147 148 159 162 163 164 166 168 173 176 178 181 182 183 184 194 195 197 206 a 7 10 13 16 17 18 20 25 26 36 37 38 39 42 44 47 48 56 57 61 62 65 66 67 76 86 89 91 92 93 100 104 108 111 112 113 118 120 129 131 132 134 137 138 139 140 141 147 148 159 162 163 164 166 168 173 176 178 181 182 183 184 194 195 197 206 a 7 10 13 16 17 18 20 25 26 36 37 38 39 42 44 47 48 56 57 61 62 65 66 67 76 86 89 91 92 93 100 104 108 111 112 113 118 120 129 131 132 134 137 138 139 140 141 147 148 159 162 163 164 166 168 173 176 178 181 182 183 184 194 197 206 208 a 7 10 13 16 17 18 20 25 26 36 37 38 39 42 44 47 48 56 57 61 62 65 66 67 76 86 89 91 92 93 100 104 108 112 113 118 120 123 129 131 132 134 137 138 139 140 141 147 148 159 162 163 164 166 168 173 176 178 181 182 183 184 194 197 206 208 a 7 10 13 16 17 18 20 25 26 28 36 37 38 39 42 44 47 48 56 57 61 62 65 66 67 76 86 89 91 92 93 100 104 108 112 113 118 120 123 129 131 132 134 137 138 139 140 141 147 148 159 162 163 164 166 168 173 176 178 181 182 183 184 194 197 206 a 10 13 16 17 18 20 25 26 28 36 37 38 39 42 44 47 48 56 57 61 62 65 66 67 76 86 89 90 91 92 93 100 104 108 112 113 118 120 123 129 131 132 134 137 138 139 140 141 147 148 159 162 163 164 166 168 173 176 178 181 182 183 184 194 197 206 a 10 13 16 17 18 20 25 26 28 36 37 38 39 42 44 47 48 56 57 61 62 65 66 67 76 86 89 91 92 93 96 100 104 108 112 113 118 120 123 129 131 132 134 137 138 139 140 141 147 148 159 162 163 164 166 168 173 176 178 181 182 183 184 194 197 206 a 10 13 16 17 18 20 25 26 28 36 37 38 39 42 44 47 48 56 57 61 62 65 66 67 76 86 89 91 92 93 96 100 104 108 112 113 118 120 123 129 131 132 134 138 139 140 141 147 148 159 162 163 164 166 168 173 176 178 181 182 183 184 194 197 202 206 a 10 13 16 17 18 20 25 26 28 36 37 38 39 42 44 47 48 56 57 61 62 65 66 67 76 86 89 91 92 93 96 100 104 108 112 113 118 120 123 129 131 132 134 135 138 139 140 141 147 148 159 162 163 166 168 173 176 178 181 182 183 184 194 197 202 206 a 10 13 16 17 18 20 25 26 28 36 37 38 39 42 44 47 48 56 57 61 62 65 66 67 76 86 89 92 93 96 100 104 108 112 113 118 120 123 129 131 132 134 135 138 139 140 141 147 148 159 162 163 166 168 171 173 176 178 181 182 183 184 194 197 202 206 a 10 13 16 17 18 20 25 26 28 36 37 38 39 42 44 47 48 56 57 61 62 65 66 67 76 77 86 89 92 93 96 100 104 108 112 113 118 120 123 129 131 132 134 135 138 139 140 141 147 148 159 162 163 166 168 171 173 176 178 181 182 183 184 194 197 202 a 10 13 16 17 18 20 25 26 28 37 38 39 42 44 47 48 56 57 61 62 65 66 67 76 77 86 88 89 92 93 96 100 104 108 112 113 118 120 123 129 131 132 134 135 138 139 140 141 147 148 159 162 163 166 168 171 173 176 178 181 182 183 184 194 197 202 a 10 13 16 17 18 20 25 26 28 37 38 39 42 44 47 48 56 57 61 62 65 66 67 76 77 86 88 89 92 93 96 100 104 108 112 113 118 120 123 129 131 132 134 135 138 139 140 141 146 147 159 162 163 166 168 171 173 176 178 181 182 183 184 194 197 202 a 10 13 16 17 18 20 25 26 28 37 38 39 42 44 47 48 56 57 61 62 65 66 67 77 86 88 89 92 93 96 100 104 108 112 113 118 120 123 129 131 132 134 135 138 139 140 141 146 147 159 162 163 166 168 171 173 176 177 178 181 182 183 184 194 197 202 a 10 13 16 17 18 20 25 26 28 37 38 39 42 44 47 48 56 57 61 62 65 66 67 77 86 88 89 92 93 96 100 104 108 112 113 118 120 123 129 131 132 134 135 138 139 140 141 146 147 159 162 163 166 168 171 173 176 177 178 181 182 184 194 197 202 204 a 10 13 16 17 18 20 25 26 28 37 38 39 42 44 47 48 56 57 61 62 65 66 67 77 86 88 89 92 93 96 100 104 108 112 113 118 120 123 129 131 132 134 135 138 139 140 141 146 147 159 162 163 166 168 171 173 176 177 178 181 182 184 194 197 202 208 a 10 13 16 17 18 20 25 26 28 37 38 39 42 44 47 48 56 57 61 62 65 66 67 77 86 88 89 92 93 96 100 104 108 112 113 116 118 120 123 129 131 132 135 138 139 140 141 146 147 159 162 163 166 168 171 173 176 177 178 181 182 184 194 197 202 208 a 10 13 16 17 18 20 25 26 28 37 38 39 42 44 47 48 54 56 57 61 62 65 66 67 77 86 88 89 92 93 96 104 108 112 113 116 118 120 123 129 131 132 135 138 139 140 141 146 147 159 162 163 166 168 171 173 176 177 178 181 182 184 194 197 202 208 a 10 13 16 17 18 20 25 26 28 36 37 38 39 42 44 47 48 54 56 57 61 62 65 66 67 77 86 88 89 92 93 96 104 108 112 113 116 118 120 123 129 131 132 135 138 139 140 141 146 147 159 162 163 166 168 171 173 176 178 181 182 184 194 197 202 208 a 10 13 16 17 18 20 25 26 28 36 37 38 39 42 44 47 48 54 56 57 61 62 65 66 67 77 86 88 89 92 93 96 104 108 112 113 116 118 120 123 129 131 132 138 139 140 141 146 147 159 162 163 166 168 171 173 176 178 181 182 183 184 194 197 202 208 a 10 13 16 17 18 20 25 26 28 36 37 38 39 42 47 48 54 56 57 61 62 65 66 67 77 86 88 89 92 93 96 104 108 112 113 116 118 120 123 129 131 132 138 139 140 141 146 147 159 162 163 164 166 168 171 173 176 178 181 182 183 184 194 197 202 208 a 10 13 16 17 18 20 25 26 28 36 37 38 39 42 47 48 54 56 57 61 62 65 66 67 77 86 88 89 92 93 96 104 108 112 116 118 120 123 129 131 132 138 139 140 141 146 147 159 162 163 164 166 168 171 173 176 178 181 182 183 184 186 194 197 202 208 a 10 13 16 17 18 20 25 26 28 36 37 38 39 40 42 47 48 54 56 57 61 62 65 66 67 77 86 88 89 92 93 96 104 108 112 116 118 120 123 129 131 132 138 139 141 146 147 159 162 163 164 166 168 171 173 176 178 181 182 183 184 186 194 197 202 208 a 8 10 13 16 17 18 20 25 26 28 36 37 38 39 40 42 47 48 54 56 57 61 62 65 66 67 77 86 88 89 92 93 96 104 108 112 116 118 120 123 129 131 132 138 139 141 146 147 159 162 163 164 166 168 171 173 176 178 181 182 183 184 186 194 197 208 a 8 10 13 16 17 18 20 25 26 28 36 37 38 39 40 42 47 48 54 56 57 61 62 65 66 67 77 86 88 89 91 92 93 104 108 112 116 118 120 123 129 131 132 138 139 141 146 147 159 162 163 164 166 168 171 173 176 178 181 182 183 184 186 194 197 208 a 8 10 13 16 17 18 20 25 26 28 36 37 38 39 40 42 47 48 54 56 57 61 62 65 66 67 77 86 88 89 91 92 93 104 108 112 116 118 120 123 124 129 131 132 138 139 141 146 147 159 162 163 164 166 168 171 173 176 178 181 182 183 186 194 197 208 a 8 10 13 16 17 18 25 26 28 36 37 38 39 40 42 47 48 54 56 57 61 62 65 66 67 77 86 88 89 91 92 93 104 108 112 116 118 120 123 124 129 131 132 138 139 141 146 147 159 162 163 164 166 168 171 173 176 178 181 182 183 186 194 197 203 208 a 8 10 13 16 17 18 25 26 28 36 37 38 39 40 42 47 48 54 56 57 61 62 65 66 67 77 86 88 89 91 92 93 104 108 112 116 118 120 121 123 124 129 131 132 138 139 141 147 159 162 163 164 166 168 171 173 176 178 181 182 183 186 194 197 203 208 a 8 10 13 16 17 18 25 26 28 36 37 38 39 40 47 48 54 56 57 61 62 65 66 67 77 86 88 89 91 92 93 95 104 108 112 116 118 120 121 123 124 129 131 132 138 139 141 147 159 162 163 164 166 168 171 173 176 178 181 182 183 186 194 197 203 208 a 8 10 13 16 17 18 25 26 28 36 37 38 39 40 47 48 54 56 57 61 62 66 67 77 86 88 89 91 92 93 95 104 108 112 116 118 120 121 123 124 129 131 132 138 139 141 147 159 162 163 164 166 168 171 173 176 178 181 182 183 186 194 196 197 203 208 a 8 10 13 16 17 18 26 28 36 37 38 39 40 47 48 54 56 57 61 62 66 67 74 77 86 88 89 91 92 93 95 104 108 112 116 118 120 121 123 124 129 131 132 138 139 141 147 159 162 163 164 166 168 171 173 176 178 181 182 183 186 194 196 197 203 208 a 8 10 16 17 18 26 28 36 37 38 39 40 47 48 54 56 57 61 62 66 67 74 77 86 88 89 91 92 93 95 104 108 112 116 118 120 121 123 124 129 131 132 138 139 141 147 159 162 163 164 166 168 171 173 176 178 181 182 183 186 194 195 196 197 203 208 a 8 10 16 17 18 26 28 36 37 38 39 40 47 48 49 54 56 57 61 62 66 67 74 77 86 88 89 91 92 93 95 104 108 112 116 118 120 121 123 124 129 131 132 138 139 141 147 159 162 163 164 166 168 173 176 178 181 182 183 186 194 195 196 197 203 208 a 8 10 16 17 18 26 28 36 37 38 39 40 47 48 49 54 56 57 61 62 66 67 74 77 86 88 89 91 92 93 95 104 112 116 118 120 121 123 124 129 131 132 138 139 141 147 159 162 163 164 166 168 173 176 178 180 181 182 183 186 194 195 196 197 203 208 a 8 10 16 17 18 26 28 36 37 38 39 40 47 48 49 54 56 57 62 66 67 74 77 86 88 89 91 92 93 95 104 112 116 118 120 121 123 124 129 131 132 138 139 141 147 159 162 163 164 166 168 173 175 176 178 180 181 182 183 186 194 195 196 197 203 208 a 4 8 10 16 17 18 26 28 36 37 38 39 40 48 49 54 56 57 62 66 67 74 77 86 88 89 91 92 93 95 104 112 116 118 120 121 123 124 129 131 132 138 139 141 147 159 162 163 164 166 168 173 175 176 178 180 181 182 183 186 194 195 196 197 203 208 a 4 8 10 16 17 18 26 28 36 37 38 39 40 48 49 54 57 62 66 67 74 77 79 86 88 89 91 92 93 95 104 112 116 118 120 121 123 124 129 131 132 138 139 141 147 159 162 163 164 166 168 173 175 176 178 180 181 182 183 186 194 195 196 197 203 208 a 4 8 10 16 17 18 26 28 31 36 37 38 39 40 48 49 54 57 62 66 67 74 77 79 86 88 89 91 93 95 104 112 116 118 120 121 123 124 129 131 132 138 139 141 147 159 162 163 164 166 168 173 175 176 178 180 181 182 183 186 194 195 196 197 203 208 a 4 8 10 16 17 18 26 28 31 36 37 38 39 40 48 49 54 57 62 66 67 74 77 79 88 89 91 93 95 104 109 112 116 118 120 121 123 124 129 131 132 138 139 141 147 159 162 163 164 166 168 173 175 176 178 180 181 182 183 186 194 195 196 197 203 208 a 4 8 10 15 16 17 18 26 28 31 36 37 38 39 40 48 49 54 57 62 66 67 74 77 79 88 89 91 93 95 104 109 112 116 118 120 121 123 124 129 131 132 139 141 147 159 162 163 164 166 168 173 175 176 178 180 181 182 183 186 194 195 196 197 203 208 a 4 8 10 15 16 17 18 26 28 31 36 37 38 39 40 48 49 54 57 62 66 67 74 77 79 87 88 89 91 93 95 104 109 112 116 118 120 121 123 124 129 131 132 139 141 147 159 162 163 164 166 168 175 176 178 180 181 182 183 186 194 195 196 197 203 208 a 4 8 10 15 16 17 18 26 31 34 36 37 38 39 40 48 49 54 57 62 66 67 74 77 79 87 88 89 91 93 95 104 109 112 116 118 120 121 123 124 129 131 132 139 141 147 159 162 163 164 166 168 175 176 178 180 181 182 183 186 194 195 196 197 203 208 a 4 8 10 15 16 17 18 26 31 34 36 37 38 39 40 48 49 54 57 59 62 66 67 74 77 79 87 88 89 91 93 95 104 109 112 116 118 120 121 123 124 129 131 132 139 141 147 159 162 163 164 166 175 176 178 180 181 182 183 186 194 195 196 197 203 208 a 4 8 10 15 16 17 18 26 31 34 36 37 38 39 40 48 49 54 57 59 62 66 67 74 77 79 87 88 89 91 93 95 104 109 112 116 118 120 121 123 124 129 131 132 139 141 147 159 162 163 164 166 175 176 178 180 182 183 185 186 194 195 196 197 203 208 a 4 8 15 16 17 18 26 31 34 36 37 38 39 40 46 48 49 54 57 59 62 66 67 74 77 79 87 88 89 91 93 95 104 109 112 116 118 120 121 123 124 129 131 132 139 141 147 159 162 163 164 166 175 176 178 180 182 183 185 186 194 195 196 197 203 208 a 4 8 15 16 17 18 26 31 34 36 37 39 40 46 48 49 54 57 59 62 66 67 74 77 79 87 88 89 91 93 95 104 109 112 116 118 120 121 123 124 129 131 132 139 141 147 157 159 162 163 164 166 175 176 178 180 182 183 185 186 194 195 196 197 203 208 a 4 8 15 16 17 18 26 31 34 36 37 39 40 46 48 49 54 57 59 62 66 67 74 77 79 87 88 89 91 93 94 95 104 109 112 116 118 120 121 123 124 129 131 132 139 141 147 157 159 162 163 164 166 175 176 178 180 182 183 185 186 195 196 197 203 208 a 4 8 15 16 17 18 22 26 31 34 36 37 39 40 46 48 49 54 57 59 62 66 67 74 79 87 88 89 91 93 94 95 104 109 112 116 118 120 121 123 124 129 131 132 139 141 147 157 159 162 163 164 166 175 176 178 180 182 183 185 186 195 196 197 203 208 a 4 8 15 16 17 18 22 26 31 34 36 37 39 40 46 48 49 54 57 59 62 66 67 69 74 79 87 88 89 91 93 94 95 104 109 112 116 118 120 121 123 124 129 132 139 141 147 157 159 162 163 164 166 175 176 178 180 182 183 185 186 195 196 197 203 208 a 4 8 15 16 17 18 22 26 31 34 36 37 39 40 46 48 49 54 57 59 62 66 67 69 74 79 87 88 89 91 93 94 95 104 109 112 116 118 120 121 123 124 129 132 139 141 147 157 159 162 163 164 166 175 176 178 180 183 185 186 190 195 196 197 203 208 a 4 6 8 15 16 17 18 22 26 31 34 36 37 39 40 46 48 49 54 57 59 62 66 67 69 74 79 87 88 89 91 93 94 95 104 109 116 118 120 121 123 124 129 132 139 141 147 157 159 162 163 164 166 175 176 178 180 183 185 186 190 195 196 197 203 208 a 4 6 8 15 16 17 18 22 26 31 32 34 36 37 39 40 46 49 54 57 59 62 66 67 69 74 79 87 88 89 91 93 94 95 104 109 116 118 120 121 123 124 129 132 139 141 147 157 159 162 163 164 166 175 176 178 180 183 185 186 190 195 196 197 203 208 a 4 6 8 15 16 17 18 22 26 31 32 34 36 37 39 40 46 49 54 57 59 62 66 67 69 74 79 87 88 89 91 93 94 95 104 109 116 118 120 121 123 124 129 132 139 141 147 154 157 159 163 164 166 175 176 178 180 183 185 186 190 195 196 197 203 208 a 4 6 8 15 16 17 18 22 26 31 32 34 36 37 39 40 46 49 54 57 59 62 66 67 69 74 79 87 88 89 91 93 94 95 104 109 116 118 120 121 123 124 125 129 132 139 141 147 154 157 159 163 164 175 176 178 180 183 185 186 190 195 196 197 203 208 c Step: 211 #END: [Tue Sep 5 08:24:46 2023]