#BEGIN: [Mon Sep 4 22:27:25 2023] #HOST: s16 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-cpu-banbaralab-longest2 #INSTANCE1: /benchmark/random_instance/random_instance018_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance018_graph004_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance018_graph004.col /benchmark/random_instance/random_instance018_graph004_01.dat c /benchmark/random_instance/random_instance018_graph004.col c /benchmark/random_instance/random_instance018_graph004_01.dat s 131 162 137 175 83 57 116 164 122 180 68 17 10 218 6 207 97 173 43 93 34 211 179 2 62 31 230 49 157 96 95 30 204 91 167 15 140 119 16 82 99 23 58 177 142 20 64 126 168 189 199 112 225 108 84 200 9 27 53 35 104 172 13 19 29 229 1 101 156 176 224 190 90 203 120 38 t 81 179 36 80 210 189 44 233 204 65 169 206 22 37 112 188 14 66 113 26 193 23 45 90 183 186 18 40 227 177 137 33 61 27 88 55 83 182 127 72 103 11 190 59 97 176 149 202 115 15 100 181 6 166 170 9 208 232 64 155 49 185 4 120 146 229 118 68 10 180 87 57 102 218 94 109 a YES a 1 2 6 9 10 13 15 16 17 19 20 23 27 29 30 31 34 35 38 43 49 53 57 58 62 64 68 82 83 84 90 91 93 95 96 97 99 101 104 108 112 116 119 120 122 126 131 137 140 142 156 157 162 164 167 168 172 173 175 176 177 179 180 189 190 199 200 203 204 207 211 218 224 225 229 230 a 1 2 6 9 10 13 15 16 17 19 20 23 27 29 30 31 34 35 38 43 49 53 57 58 62 64 68 82 83 84 90 91 93 95 96 97 99 101 104 108 112 116 119 120 122 126 131 137 140 142 156 157 162 164 167 168 172 173 175 176 177 180 189 190 199 200 203 204 207 211 218 224 225 226 229 230 a 1 2 6 9 10 13 16 17 19 20 23 27 29 30 31 34 35 38 43 49 53 57 58 62 64 68 82 83 84 90 91 93 95 96 97 99 101 104 108 112 116 119 120 122 126 131 137 140 142 156 157 162 164 167 168 172 173 175 176 177 180 189 190 199 200 203 204 207 211 218 221 224 225 226 229 230 a 1 2 6 9 10 13 16 17 19 20 23 27 29 30 31 34 35 38 43 49 53 57 58 62 64 68 82 83 84 90 91 93 95 96 97 99 101 104 108 112 116 119 120 122 126 131 137 138 140 142 156 162 164 167 168 172 173 175 176 177 180 189 190 199 200 203 204 207 211 218 221 224 225 226 229 230 a 1 2 6 9 10 13 16 17 19 20 23 27 29 30 31 34 35 38 43 49 53 57 58 62 64 68 82 83 84 90 91 93 95 96 97 99 101 104 108 112 116 119 120 122 124 126 131 137 138 140 142 156 162 164 167 168 172 173 175 176 177 180 189 190 199 200 203 204 207 211 218 221 224 225 229 230 a 1 2 6 9 10 13 16 17 19 20 23 27 29 30 31 34 35 38 43 49 53 57 58 62 64 68 82 83 84 89 90 91 93 95 96 97 99 101 104 108 112 116 119 120 122 124 126 131 138 140 142 156 162 164 167 168 172 173 175 176 177 180 189 190 199 200 203 204 207 211 218 221 224 225 229 230 a 1 2 6 9 10 13 16 17 19 20 23 27 29 30 31 33 34 35 38 43 49 53 57 58 62 64 68 82 83 89 90 91 93 95 96 97 99 101 104 108 112 116 119 120 122 124 126 131 138 140 142 156 162 164 167 168 172 173 175 176 177 180 189 190 199 200 203 204 207 211 218 221 224 225 229 230 a 1 2 6 9 10 13 16 17 19 20 23 27 29 30 31 33 34 35 38 43 49 53 57 58 62 64 68 82 83 89 90 91 93 95 96 97 99 101 104 108 111 112 116 119 120 122 124 126 131 138 140 142 156 162 164 167 168 172 173 175 176 177 180 190 199 200 203 204 207 211 218 221 224 225 229 230 a 1 2 6 9 10 13 16 17 19 20 23 27 29 30 31 33 34 35 38 43 49 53 57 58 64 68 80 82 83 89 90 91 93 95 96 97 99 101 104 108 111 112 116 119 120 122 124 126 131 138 140 142 156 162 164 167 168 172 173 175 176 177 180 190 199 200 203 204 207 211 218 221 224 225 229 230 a 1 2 5 6 9 10 13 16 17 19 20 23 27 29 30 31 33 34 35 38 43 49 53 57 58 64 80 82 83 89 90 91 93 95 96 97 99 101 104 108 111 112 116 119 120 122 124 126 131 138 140 142 156 162 164 167 168 172 173 175 176 177 180 190 199 200 203 204 207 211 218 221 224 225 229 230 a 1 2 5 6 9 10 13 16 17 19 20 23 29 30 31 33 34 35 38 43 49 53 57 58 64 80 82 83 89 90 91 93 95 96 97 99 101 104 108 111 112 116 119 120 122 124 126 131 138 140 142 156 162 164 167 168 172 173 175 176 177 180 190 199 200 203 204 207 211 218 221 222 224 225 229 230 a 1 2 5 6 9 10 13 16 17 19 20 23 29 30 31 33 34 35 38 43 49 53 57 58 64 80 82 83 89 90 91 93 95 96 97 99 101 104 108 111 112 116 119 120 122 126 131 138 140 142 156 157 162 164 167 168 172 173 175 176 177 180 190 199 200 203 204 207 211 218 221 222 224 225 229 230 a 1 2 5 6 7 9 10 13 16 17 19 20 23 29 30 31 33 34 35 38 43 49 53 57 58 64 80 82 83 89 90 91 93 95 96 97 99 101 104 108 111 112 116 119 120 122 126 131 138 140 142 156 157 162 164 167 168 172 173 175 176 177 180 190 199 200 203 204 211 218 221 222 224 225 229 230 a 1 2 5 6 7 9 10 13 16 17 19 20 23 29 30 31 33 34 35 38 43 49 53 57 58 64 80 82 83 89 90 91 93 95 96 97 99 101 104 108 111 112 116 119 120 122 126 131 138 139 140 142 156 157 162 164 167 168 172 173 175 176 177 180 190 199 200 203 204 211 218 221 222 224 229 230 a 1 2 5 6 7 9 10 13 16 17 19 20 23 29 30 31 33 34 35 38 43 49 53 57 58 64 80 82 83 89 90 91 93 95 96 97 99 101 104 108 111 112 116 119 120 122 126 131 138 139 140 142 156 157 161 162 164 167 168 172 173 175 176 177 180 190 199 200 203 211 218 221 222 224 229 230 a 1 2 5 6 7 9 10 13 16 17 19 20 23 29 30 31 33 34 35 38 43 49 53 57 58 64 80 82 83 89 90 91 93 95 96 97 99 101 104 108 111 112 116 119 120 122 126 131 138 139 140 142 156 157 161 162 164 167 168 172 175 176 177 180 190 199 200 203 211 218 221 222 224 227 229 230 a 1 2 5 6 7 9 10 13 16 17 19 20 23 29 30 31 33 34 35 38 43 49 53 57 58 64 80 82 83 90 91 93 95 96 97 99 101 104 108 111 112 116 119 120 122 126 131 138 139 140 142 155 156 157 161 162 164 167 168 172 175 176 177 180 190 199 200 203 211 218 221 222 224 227 229 230 a 1 5 6 7 9 10 13 16 17 19 20 23 29 30 31 33 34 35 38 43 49 53 57 58 64 80 82 83 90 91 93 95 96 97 99 101 104 108 111 112 116 119 120 122 126 131 138 139 140 142 155 156 157 161 162 164 167 168 172 175 176 177 180 190 199 200 203 211 215 218 221 222 224 227 229 230 a 1 5 6 7 9 10 13 16 17 19 20 23 29 30 31 33 34 35 38 43 49 53 57 58 61 64 80 82 90 91 93 95 96 97 99 101 104 108 111 112 116 119 120 122 126 131 138 139 140 142 155 156 157 161 162 164 167 168 172 175 176 177 180 190 199 200 203 211 215 218 221 222 224 227 229 230 a 1 5 6 7 9 10 13 16 17 19 20 23 27 29 30 31 33 34 35 38 43 49 53 57 58 61 64 80 82 90 91 93 95 96 97 99 101 104 108 111 112 116 119 120 122 126 131 138 139 140 142 155 156 157 161 162 164 167 168 172 175 176 177 180 190 199 200 203 211 215 218 221 224 227 229 230 a 1 5 6 7 9 10 13 16 17 19 20 23 27 29 30 31 33 34 35 38 43 49 53 57 58 61 64 80 82 83 90 91 93 95 96 97 99 101 104 108 111 112 116 119 120 122 126 131 138 139 140 142 155 156 157 161 162 164 167 168 172 175 176 177 180 190 199 200 203 211 215 218 221 224 227 229 a 1 5 6 7 9 10 13 16 17 19 20 23 27 29 30 31 33 34 35 38 43 49 53 57 58 61 64 80 82 83 90 91 93 95 96 97 99 101 104 108 111 112 116 119 120 122 126 131 138 139 140 142 155 156 157 162 164 167 168 172 175 176 177 180 190 199 200 203 211 215 218 221 224 225 227 229 a 1 5 6 7 9 10 13 16 17 19 20 23 27 29 30 31 33 34 35 38 43 49 53 57 58 61 64 80 82 83 90 91 93 95 96 97 99 101 104 108 111 112 116 119 120 126 131 138 139 140 142 155 156 157 162 164 167 168 172 175 176 177 180 190 199 200 203 210 211 215 218 221 224 225 227 229 a 1 5 6 7 9 10 13 16 17 19 20 23 27 29 30 31 33 34 35 38 43 49 53 57 58 61 64 80 82 83 90 91 93 95 96 97 99 101 104 108 111 112 116 119 120 126 131 138 139 140 142 155 156 157 162 164 167 168 172 175 176 177 180 190 199 200 203 204 210 211 215 218 221 224 225 227 a 1 5 6 7 9 10 13 16 17 19 20 23 27 29 30 31 33 34 35 38 43 49 53 57 58 64 80 82 83 89 90 91 93 95 96 97 99 101 104 108 111 112 116 119 120 126 131 138 139 140 142 155 156 157 162 164 167 168 172 175 176 177 180 190 199 200 203 204 210 211 215 218 221 224 225 227 a 1 5 6 7 9 10 13 16 17 19 20 23 27 29 30 31 33 34 35 38 43 49 53 57 58 64 77 80 82 83 89 91 93 95 96 97 99 101 104 108 111 112 116 119 120 126 131 138 139 140 142 155 156 157 162 164 167 168 172 175 176 177 180 190 199 200 203 204 210 211 215 218 221 224 225 227 a 1 5 6 7 9 10 13 16 17 19 20 23 27 29 30 31 33 34 35 38 43 49 53 57 58 64 77 80 82 83 89 91 93 95 96 97 99 101 104 108 111 112 116 119 120 126 130 131 138 139 140 142 155 156 157 162 164 167 168 172 175 176 177 180 190 199 200 203 204 210 211 215 218 221 224 225 a 1 5 6 7 9 10 13 16 17 19 20 23 29 30 31 33 34 35 38 43 49 53 57 58 64 77 80 82 83 89 91 93 95 96 97 99 101 104 108 111 112 116 119 120 126 130 131 138 139 140 142 155 156 157 162 164 167 168 172 175 176 177 180 190 199 200 203 204 210 211 215 218 221 222 224 225 a 1 5 6 7 9 10 13 16 17 19 20 23 29 30 31 33 34 35 38 43 53 57 58 64 77 80 82 83 89 91 93 95 96 97 99 101 104 108 111 112 116 119 120 126 130 131 138 139 140 142 155 156 157 162 164 167 168 172 175 176 177 180 190 199 200 203 204 210 211 215 218 221 222 224 225 229 a 1 5 6 7 9 10 13 16 17 19 20 23 29 30 31 33 34 35 38 43 53 57 58 64 77 80 82 83 89 91 93 95 96 97 99 101 104 108 111 112 113 116 119 120 126 130 131 138 139 140 155 156 157 162 164 167 168 172 175 176 177 180 190 199 200 203 204 210 211 215 218 221 222 224 225 229 a 1 5 6 7 9 10 13 16 17 19 20 23 29 30 31 33 34 35 38 43 53 57 58 64 77 80 82 83 89 91 93 95 96 99 101 104 108 111 112 113 116 119 120 126 130 131 138 139 140 155 156 157 162 164 167 168 172 175 176 177 180 190 199 200 203 204 210 211 214 215 218 221 222 224 225 229 a 1 5 6 7 9 10 13 16 17 19 20 23 29 30 31 33 34 35 38 43 53 57 58 64 77 80 82 83 89 91 93 95 96 99 101 104 108 111 112 113 116 119 120 122 126 130 131 138 139 140 155 156 157 162 164 167 168 172 175 176 177 180 190 199 200 203 204 211 214 215 218 221 222 224 225 229 a 1 5 6 7 10 13 16 17 19 20 23 29 30 31 33 34 35 38 43 53 57 58 64 77 80 82 83 89 91 93 95 96 97 99 101 104 108 111 112 113 116 119 120 122 126 130 131 138 139 140 155 156 157 162 164 167 168 172 175 176 177 180 190 199 200 203 204 211 214 215 218 221 222 224 225 229 a 1 5 6 7 10 13 16 17 19 20 23 29 30 31 33 34 35 38 43 53 57 58 64 77 80 82 83 89 91 93 95 96 97 99 101 104 108 111 112 113 116 119 120 126 130 131 138 139 140 155 156 157 162 164 167 168 172 175 176 177 180 190 199 200 203 204 211 214 215 218 221 222 224 225 228 229 a 1 5 6 7 10 13 16 17 19 20 23 29 30 31 33 34 35 38 43 53 57 58 64 77 80 82 83 89 91 93 95 96 97 99 101 104 108 111 112 113 116 119 120 126 130 131 138 139 140 155 156 157 162 164 167 168 172 175 176 177 180 190 199 200 203 204 210 211 214 215 221 222 224 225 228 229 a 1 5 6 7 10 13 16 17 19 20 23 29 30 31 33 34 35 38 43 53 57 58 64 77 80 82 83 91 93 95 96 97 99 101 104 108 111 112 113 116 119 120 126 127 130 131 138 139 140 155 156 157 162 164 167 168 172 175 176 177 180 190 199 200 203 204 210 211 214 215 221 222 224 225 228 229 a 1 5 6 7 10 13 16 17 19 20 23 29 30 31 33 34 35 38 43 53 57 58 64 77 80 82 83 91 93 95 96 97 99 101 104 108 111 112 113 116 119 120 126 127 130 131 138 139 140 156 157 162 164 167 168 172 173 175 176 177 180 190 199 200 203 204 210 211 214 215 221 222 224 225 228 229 a 1 2 5 6 7 10 13 16 17 19 20 23 29 30 31 33 34 35 38 43 53 57 58 64 77 80 82 83 91 93 95 96 97 99 101 104 108 111 112 113 116 119 120 126 127 130 131 138 139 140 156 157 162 164 167 168 172 173 175 176 177 180 190 199 200 203 204 210 211 214 221 222 224 225 228 229 a 1 2 5 6 7 10 13 16 17 19 20 23 29 30 31 33 34 35 38 43 53 57 58 64 77 80 82 83 91 93 95 96 97 99 101 102 104 108 111 112 113 116 119 120 126 127 130 131 138 139 140 156 157 162 164 167 168 172 173 175 176 177 180 190 199 200 204 210 211 214 221 222 224 225 228 229 a 1 5 6 7 10 13 16 17 19 20 23 29 30 31 33 34 35 38 43 53 57 58 64 77 80 82 83 91 93 95 96 97 99 101 102 104 108 111 112 113 116 119 120 126 127 130 131 138 139 140 156 157 162 164 167 168 172 173 175 176 177 180 190 199 200 204 210 211 214 215 221 222 224 225 228 229 a 1 5 7 10 13 16 17 19 20 23 29 30 31 33 34 35 38 43 53 57 58 64 77 80 82 83 91 93 95 96 97 99 101 102 104 108 111 112 113 116 119 120 126 127 130 131 138 139 140 156 157 162 164 167 168 172 173 175 176 177 180 190 199 200 204 210 211 214 215 218 221 222 224 225 228 229 a 1 5 7 10 13 16 17 19 20 23 29 30 31 33 34 35 38 43 53 57 58 61 64 77 80 82 83 91 93 95 96 97 99 101 102 104 108 111 112 113 116 119 120 126 127 130 131 138 139 140 156 157 162 164 167 168 172 173 175 176 177 190 199 200 204 210 211 214 215 218 221 222 224 225 228 229 a 1 5 7 10 13 16 17 19 20 23 29 30 31 33 34 35 36 38 43 53 57 58 61 64 77 80 82 83 91 93 95 96 97 99 101 102 104 108 111 112 113 116 119 120 126 127 130 131 138 139 140 156 157 162 164 167 168 172 173 175 176 177 190 199 200 210 211 214 215 218 221 222 224 225 228 229 a 1 5 7 10 13 16 17 19 20 23 29 30 31 33 34 35 36 38 43 50 53 57 58 61 64 77 80 82 83 91 93 95 96 97 99 101 102 104 108 111 112 113 116 119 120 126 127 130 131 138 139 140 156 157 162 164 167 168 172 173 175 176 177 190 199 200 210 211 214 215 218 221 224 225 228 229 a 1 5 7 10 13 16 17 19 20 23 29 30 31 33 34 35 36 38 43 50 53 57 58 61 64 77 80 82 83 91 93 95 97 99 101 102 104 108 111 112 113 116 119 120 126 127 130 131 138 139 140 156 157 162 164 167 168 172 173 175 176 177 190 199 200 210 211 214 215 218 219 221 224 225 228 229 a 1 5 10 13 16 17 19 20 23 29 30 31 33 34 35 36 38 43 50 53 57 58 61 64 77 80 82 83 91 93 95 97 99 101 102 104 108 111 112 113 116 119 120 126 127 130 131 138 139 140 156 157 162 164 167 168 172 173 175 176 177 190 199 200 210 211 214 215 218 219 221 224 225 226 228 229 a 1 5 10 13 16 17 19 20 23 29 30 31 33 34 35 36 38 43 45 50 53 57 61 64 77 80 82 83 91 93 95 97 99 101 102 104 108 111 112 113 116 119 120 126 127 130 131 138 139 140 156 157 162 164 167 168 172 173 175 176 177 190 199 200 210 211 214 215 218 219 221 224 225 226 228 229 a 1 5 6 10 13 16 17 19 20 23 29 30 31 33 34 35 36 38 43 45 50 53 57 61 64 77 80 82 83 91 93 95 97 99 101 102 104 108 111 112 113 116 119 120 126 127 130 131 138 139 140 156 157 162 164 167 168 172 173 175 176 177 190 199 200 210 211 214 215 218 219 221 224 225 226 228 a 1 5 6 10 13 16 17 19 20 23 29 30 31 33 34 35 36 38 43 45 50 53 57 61 64 77 80 82 83 91 93 95 97 99 101 102 104 108 111 112 113 116 119 120 126 127 130 131 138 139 140 156 157 162 164 167 168 172 175 176 177 182 190 199 200 210 211 214 215 218 219 221 224 225 226 228 a 1 5 6 10 13 16 17 19 20 23 29 30 31 33 34 35 36 38 43 45 50 53 57 61 64 77 80 82 83 91 93 95 97 99 101 102 104 108 111 112 113 116 119 120 126 127 130 131 138 139 140 143 156 157 162 164 167 168 172 175 176 177 182 190 199 200 210 211 214 218 219 221 224 225 226 228 a 1 5 6 10 13 16 17 19 20 23 29 30 31 33 34 35 36 38 43 45 50 53 57 61 64 77 80 82 83 91 93 95 97 99 101 102 104 108 111 112 113 116 119 120 126 127 131 138 139 140 143 156 157 162 164 167 168 172 175 176 177 182 190 199 200 210 211 214 218 219 221 224 225 226 227 228 a 1 5 6 10 13 16 17 19 20 23 27 29 30 31 33 34 35 36 38 43 45 50 53 57 61 64 77 80 82 83 91 93 95 97 99 101 102 104 108 111 112 113 116 119 120 126 127 131 138 139 140 143 156 157 162 164 167 168 172 175 176 177 182 190 199 200 210 211 214 218 219 221 224 225 226 228 a 1 6 10 13 16 17 19 20 23 27 29 30 31 33 34 35 36 38 43 45 50 53 57 61 64 77 80 82 83 91 93 94 95 97 99 101 102 104 108 111 112 113 116 119 120 126 127 131 138 139 140 143 156 157 162 164 167 168 172 175 176 177 182 190 199 200 210 211 214 218 219 221 224 225 226 228 a 1 7 10 13 16 17 19 20 23 27 29 30 31 33 34 35 36 38 43 45 50 53 57 61 64 77 80 82 83 91 93 94 95 97 99 101 102 104 108 111 112 113 116 119 120 126 127 131 138 139 140 143 156 157 162 164 167 168 172 175 176 177 182 190 199 200 210 211 214 218 219 221 224 225 226 228 a 1 7 10 13 16 17 19 20 23 27 29 30 31 33 34 35 36 38 43 45 50 53 57 61 64 77 80 82 83 91 93 94 95 97 99 101 102 104 108 111 112 113 116 119 120 126 127 131 138 139 140 143 155 156 157 162 164 167 168 172 175 176 177 182 190 199 200 210 211 214 218 219 221 224 225 228 a 1 7 10 13 16 17 19 20 23 27 29 30 31 33 34 35 36 38 43 45 50 53 57 61 64 77 80 82 83 91 93 94 95 97 99 101 102 104 108 111 112 113 116 119 120 126 127 131 138 139 140 143 155 156 157 162 164 167 168 172 175 176 177 182 190 199 200 210 211 214 218 221 224 225 226 228 a 1 7 10 13 16 17 19 20 23 27 29 30 31 33 34 35 36 38 43 45 50 53 57 61 64 77 80 82 83 91 93 94 95 97 99 101 102 104 108 111 112 113 116 119 120 126 127 131 138 139 140 143 155 156 157 162 164 167 168 172 175 176 177 182 190 199 200 210 211 214 218 219 221 224 225 226 a 1 7 10 13 16 17 19 20 23 27 29 30 31 33 34 35 36 38 43 45 50 53 57 61 64 77 80 82 83 91 93 94 95 97 99 101 102 104 108 111 112 113 116 119 120 126 127 131 138 139 140 143 155 156 157 162 164 167 168 172 175 176 177 182 190 199 200 210 211 214 215 218 219 221 225 226 a 1 7 10 13 16 17 20 23 27 29 30 31 33 34 35 36 38 43 45 50 53 57 61 64 68 77 80 82 83 91 93 94 95 97 99 101 102 104 108 111 112 113 116 119 120 126 127 131 138 139 140 143 155 156 157 162 164 167 168 172 175 176 177 182 190 199 200 210 211 214 215 218 219 221 225 226 a 1 7 10 13 16 17 20 23 27 29 30 31 33 34 35 36 38 43 45 50 53 57 61 64 68 77 80 82 83 91 93 94 95 97 99 101 102 104 108 111 112 113 116 119 120 126 127 131 138 139 140 143 155 156 157 161 162 164 167 168 172 175 176 177 182 190 199 200 210 211 214 215 218 219 221 226 a 1 7 10 13 16 17 20 23 27 29 30 31 33 34 35 36 38 43 45 50 53 57 61 64 68 77 80 82 83 91 93 94 95 97 99 101 102 104 108 111 112 113 116 119 120 126 127 131 138 139 140 143 155 156 157 161 162 164 167 168 172 175 176 177 182 190 199 200 210 211 214 215 218 219 221 227 a 1 7 10 13 16 17 19 20 23 27 29 30 31 33 34 35 36 38 43 45 50 53 57 61 64 68 77 80 82 83 91 93 94 95 97 99 101 102 104 108 111 112 113 116 119 120 126 127 131 138 139 140 143 155 156 157 161 162 164 167 168 172 175 176 177 182 190 199 200 210 211 214 215 218 219 221 a 1 7 10 13 16 17 19 20 23 27 29 30 31 33 34 35 36 38 43 45 50 53 57 61 64 67 68 77 80 82 83 91 93 94 95 97 99 101 102 104 108 111 112 113 116 119 120 126 127 131 138 139 140 143 155 156 157 161 162 164 167 168 172 175 176 177 182 190 199 200 210 211 214 215 218 219 a 1 7 10 13 16 17 19 20 23 27 29 30 31 33 34 35 36 38 43 45 50 53 57 61 64 67 68 77 80 82 83 91 94 95 97 99 101 102 104 108 111 112 113 116 119 120 126 127 131 138 139 140 141 143 155 156 157 161 162 164 167 168 172 175 176 177 182 190 199 200 210 211 214 215 218 219 a 1 7 10 13 16 17 19 20 23 27 29 30 31 33 34 35 36 38 43 45 50 53 57 61 64 67 68 77 80 82 83 91 94 95 99 101 102 104 108 111 112 113 116 119 120 126 127 131 138 139 140 141 143 155 156 157 161 162 163 164 167 168 172 175 176 177 182 190 199 200 210 211 214 215 218 219 a 1 7 10 13 16 17 19 20 23 27 29 30 31 33 34 35 36 38 43 45 50 53 57 61 64 67 68 77 80 82 83 91 94 95 99 101 102 104 108 111 112 113 116 119 120 126 127 131 138 139 140 141 143 155 156 157 161 162 163 164 167 168 172 175 176 177 182 190 199 200 210 211 214 215 218 229 a 1 7 10 13 16 17 19 20 23 27 29 30 31 33 34 35 36 38 43 45 50 53 57 61 64 67 68 77 80 82 83 91 94 95 99 101 102 104 108 111 112 113 116 119 120 126 127 131 138 139 140 141 143 155 156 157 161 162 163 164 167 172 175 176 177 182 190 199 200 210 211 214 215 218 227 229 a 1 7 10 13 16 17 19 20 23 27 29 30 31 33 34 35 36 38 43 45 50 53 57 61 64 67 68 77 80 82 83 91 94 95 99 101 102 103 104 108 111 112 113 116 119 120 126 127 131 138 139 140 143 155 156 157 161 162 163 164 167 172 175 176 177 182 190 199 200 210 211 214 215 218 227 229 a 1 7 10 13 16 17 19 20 23 27 29 30 31 33 34 35 36 38 43 45 50 53 57 61 64 67 68 77 80 82 83 91 94 95 99 101 102 103 104 108 111 112 113 116 119 120 126 127 131 138 139 140 143 155 156 157 161 162 163 164 172 175 176 177 182 190 199 200 208 210 211 214 215 218 227 229 a 1 7 10 13 16 17 19 20 23 27 29 30 31 33 34 35 36 38 43 45 50 53 57 61 64 67 68 77 80 82 83 91 94 95 99 101 102 103 104 108 111 112 113 116 119 120 126 127 131 138 139 140 143 155 157 161 162 163 164 172 175 176 177 182 190 199 200 208 210 211 214 215 218 227 229 232 a 1 7 10 13 16 17 19 20 23 27 29 30 31 33 34 35 36 38 43 45 50 53 57 61 64 67 68 77 80 81 82 83 91 94 95 99 101 102 103 104 108 111 112 113 116 119 120 126 127 131 139 140 143 155 157 161 162 163 164 172 175 176 177 182 190 199 200 208 210 211 214 215 218 227 229 232 a 1 7 10 13 16 17 19 20 23 27 29 30 31 33 34 35 36 38 43 45 50 53 57 61 64 67 68 77 80 81 82 83 87 91 94 95 99 101 102 103 104 108 111 112 113 116 119 120 126 127 131 139 140 143 155 157 161 162 163 164 172 175 176 177 182 190 199 200 208 210 211 214 218 227 229 232 a 1 7 10 13 16 17 19 20 23 27 29 31 33 34 35 36 38 43 45 50 53 57 61 64 67 68 77 80 81 82 83 87 91 94 95 99 101 102 103 104 108 111 112 113 116 119 120 126 127 131 139 140 143 146 155 157 161 162 163 164 172 175 176 177 182 190 199 200 208 210 211 214 218 227 229 232 a 1 7 10 13 16 17 19 20 23 27 29 31 33 34 35 36 38 43 45 53 57 61 64 67 68 77 80 81 82 83 87 91 94 95 99 101 102 103 104 108 111 112 113 116 119 120 126 127 131 139 140 143 146 155 157 161 162 163 164 172 175 176 177 180 182 190 199 200 208 210 211 214 218 227 229 232 a 1 7 10 13 16 17 19 20 23 27 29 31 33 34 35 36 38 43 45 53 57 61 64 67 68 77 80 81 82 83 87 91 94 95 99 101 102 103 104 108 111 112 113 116 119 120 126 127 131 139 140 143 146 155 157 161 162 163 164 175 176 177 180 182 190 199 200 202 208 210 211 214 218 227 229 232 a 1 7 10 13 16 17 19 20 23 27 29 31 33 34 36 38 43 45 53 57 61 64 67 68 77 80 81 82 83 87 91 94 95 99 101 102 103 104 108 111 112 113 116 119 120 126 127 131 139 140 143 146 155 157 161 162 163 164 175 176 177 179 180 182 190 199 200 202 208 210 211 214 218 227 229 232 a 1 7 10 16 17 19 20 23 27 29 31 33 34 36 38 43 45 53 57 61 64 67 68 77 80 81 82 83 87 91 94 95 97 99 101 102 103 104 108 111 112 113 116 119 120 126 127 131 139 140 143 146 155 157 161 162 163 164 175 176 177 179 180 182 190 199 200 202 208 210 211 214 218 227 229 232 a 1 7 10 16 17 19 20 23 27 29 31 33 34 36 38 43 45 53 57 61 64 67 68 77 80 81 82 83 87 91 94 95 97 99 101 102 103 104 108 111 112 113 116 119 120 126 127 131 137 139 140 146 155 157 161 162 163 164 175 176 177 179 180 182 190 199 200 202 208 210 211 214 218 227 229 232 a 6 7 10 16 17 19 20 23 27 29 31 33 34 36 38 43 45 53 57 61 64 67 68 77 80 81 82 83 87 91 94 95 97 99 101 102 103 104 108 111 112 113 116 119 120 126 127 131 137 139 140 146 155 157 161 162 163 164 175 176 177 179 180 182 190 199 200 202 208 210 211 214 218 227 229 232 a 6 7 10 16 17 19 20 23 27 29 31 33 34 36 38 43 45 53 57 61 64 67 68 77 80 81 82 83 87 91 94 95 97 99 101 102 103 104 108 111 112 113 116 119 120 126 127 131 137 139 140 146 155 157 161 162 163 164 176 177 179 180 182 190 199 200 202 206 208 210 211 214 218 227 229 232 a 6 7 10 16 17 19 20 23 27 29 31 33 34 36 38 43 45 53 57 61 64 67 68 77 80 81 82 83 87 91 94 95 97 99 101 102 103 104 111 112 113 116 119 120 126 127 131 137 139 140 146 155 157 161 162 163 164 176 177 179 180 181 182 190 199 200 202 206 208 210 211 214 218 227 229 232 a 6 7 10 16 17 19 20 23 27 29 31 33 34 36 38 43 45 53 57 61 64 67 68 77 80 81 82 83 87 91 94 95 97 99 101 102 103 104 109 111 112 113 116 119 120 126 127 131 137 140 146 155 157 161 162 163 164 176 177 179 180 181 182 190 199 200 202 206 208 210 211 214 218 227 229 232 a 6 7 10 16 17 19 20 23 27 29 31 33 34 36 38 43 45 53 57 61 64 67 68 80 81 82 83 87 91 94 95 97 99 101 102 103 104 109 111 112 113 116 119 120 126 127 131 137 140 146 155 157 161 162 163 164 169 176 177 179 180 181 182 190 199 200 202 206 208 210 211 214 218 227 229 232 a 6 7 9 10 16 17 19 20 23 27 29 31 33 34 36 43 45 53 57 61 64 67 68 80 81 82 83 87 91 94 95 97 99 101 102 103 104 109 111 112 113 116 119 120 126 127 131 137 140 146 155 157 161 162 163 164 169 176 177 179 180 181 182 190 199 200 202 206 208 210 211 214 218 227 229 232 a 6 7 9 10 16 17 19 20 23 27 29 31 33 34 36 43 45 53 57 61 64 67 68 80 81 82 83 87 91 94 95 97 99 101 102 103 104 109 111 112 113 116 119 120 126 127 131 137 140 146 155 157 162 163 164 169 176 177 179 180 181 182 190 199 200 202 204 206 208 210 211 214 218 227 229 232 a 6 7 9 10 16 17 19 20 23 27 29 31 33 34 36 43 45 53 57 61 64 67 68 80 81 82 83 87 91 94 97 99 101 102 103 104 109 111 112 113 116 119 120 126 127 131 137 140 146 155 157 162 163 164 169 176 177 179 180 181 182 183 190 199 200 202 204 206 208 210 211 214 218 227 229 232 a 6 7 9 10 16 17 19 20 23 27 29 31 33 34 36 43 45 53 57 61 64 67 68 80 81 82 83 87 91 94 97 99 101 102 103 109 111 112 113 115 116 119 120 126 127 131 137 140 146 155 157 162 163 164 169 176 177 179 180 181 182 183 190 199 200 202 204 206 208 210 211 214 218 227 229 232 a 6 7 9 10 16 17 19 20 23 27 29 31 33 34 36 43 45 53 57 61 64 67 68 80 81 82 83 87 91 94 97 99 101 102 103 109 111 112 113 115 116 119 120 126 127 131 137 140 146 155 157 162 163 164 169 176 177 179 180 181 182 183 186 190 199 200 202 204 206 208 210 214 218 227 229 232 a 6 7 9 10 16 17 19 20 23 27 29 31 33 34 36 43 45 53 57 61 64 67 68 80 81 82 83 87 90 91 94 97 99 101 102 103 109 111 112 113 115 116 120 126 127 131 137 140 146 155 157 162 163 164 169 176 177 179 180 181 182 183 186 190 199 200 202 204 206 208 210 214 218 227 229 232 a 6 7 9 10 16 17 19 20 23 27 29 31 33 34 36 43 45 53 57 61 64 67 68 80 81 82 83 87 90 91 94 97 99 101 102 103 109 111 112 113 115 116 120 126 127 131 137 140 146 155 157 162 163 164 169 176 177 179 180 181 182 183 186 188 190 200 202 204 206 208 210 214 218 227 229 232 a 6 7 9 10 16 17 19 20 23 27 29 31 33 34 36 43 45 53 57 61 64 67 68 80 81 82 83 87 90 91 94 97 99 101 102 103 109 111 112 113 115 116 118 120 126 127 137 140 146 155 157 162 163 164 169 176 177 179 180 181 182 183 186 188 190 200 202 204 206 208 210 214 218 227 229 232 a 6 7 9 10 16 17 19 20 23 27 29 31 33 36 43 45 53 57 61 64 67 68 80 81 82 83 87 90 91 94 97 99 101 102 103 109 111 112 113 115 116 118 120 126 127 137 140 146 155 157 162 163 164 169 170 176 177 179 180 181 182 183 186 188 190 200 202 204 206 208 210 214 218 227 229 232 a 6 7 9 10 16 17 19 20 23 27 29 31 33 36 43 45 53 57 61 64 67 68 80 81 82 83 87 88 90 94 97 99 101 102 103 109 111 112 113 115 116 118 120 126 127 137 140 146 155 157 162 163 164 169 170 176 177 179 180 181 182 183 186 188 190 200 202 204 206 208 210 214 218 227 229 232 a 6 7 9 10 16 17 19 20 23 27 29 31 33 36 43 45 53 57 61 64 67 68 80 81 82 83 87 88 90 94 97 99 101 102 103 109 111 112 113 115 116 118 120 126 127 137 140 146 155 162 163 164 169 170 176 177 179 180 181 182 183 186 188 190 193 200 202 204 206 208 210 214 218 227 229 232 a 6 7 9 10 16 17 19 20 23 27 29 31 33 36 43 45 53 57 61 64 67 68 80 81 82 83 87 88 90 94 97 99 101 102 103 109 111 112 113 115 118 120 126 127 137 140 146 155 162 163 164 169 170 176 177 179 180 181 182 183 185 186 188 190 193 200 202 204 206 208 210 214 218 227 229 232 a 6 7 9 10 15 16 17 19 20 23 27 29 31 33 36 43 45 53 57 61 64 67 68 80 81 82 83 87 88 90 94 97 101 102 103 109 111 112 113 115 118 120 126 127 137 140 146 155 162 163 164 169 170 176 177 179 180 181 182 183 185 186 188 190 193 200 202 204 206 208 210 214 218 227 229 232 a 6 7 9 10 15 16 17 19 20 22 23 27 29 31 33 36 43 45 53 57 61 64 68 80 81 82 83 87 88 90 94 97 101 102 103 109 111 112 113 115 118 120 126 127 137 140 146 155 162 163 164 169 170 176 177 179 180 181 182 183 185 186 188 190 193 200 202 204 206 208 210 214 218 227 229 232 a 4 6 7 9 10 15 16 17 19 20 22 23 27 29 31 33 36 43 45 53 57 61 64 68 80 81 82 83 87 88 90 94 97 102 103 109 111 112 113 115 118 120 126 127 137 140 146 155 162 163 164 169 170 176 177 179 180 181 182 183 185 186 188 190 193 200 202 204 206 208 210 214 218 227 229 232 a 4 6 7 9 10 15 16 17 19 20 22 23 27 29 31 33 36 43 45 53 57 61 64 68 80 81 82 83 87 88 90 94 97 102 103 109 111 112 113 115 118 120 127 137 140 146 155 162 163 164 169 170 176 177 179 180 181 182 183 185 186 188 190 193 200 202 204 206 208 210 214 218 227 229 232 233 a 4 6 7 9 10 15 16 17 19 20 22 23 27 29 31 33 36 43 45 53 57 61 64 68 80 81 82 83 87 88 90 94 97 102 103 109 112 113 115 118 120 127 137 140 146 155 162 163 164 169 170 176 177 179 180 181 182 183 185 186 188 189 190 193 200 202 204 206 208 210 214 218 227 229 232 233 a 4 6 7 9 10 15 16 17 19 20 22 23 27 29 31 33 36 43 45 57 61 64 68 80 81 82 83 87 88 90 94 97 102 103 109 112 113 115 118 120 127 137 140 146 149 155 162 163 164 169 170 176 177 179 180 181 182 183 185 186 188 189 190 193 200 202 204 206 208 210 214 218 227 229 232 233 a 4 6 9 10 14 15 16 17 19 20 22 23 27 29 31 33 36 43 45 57 61 64 68 80 81 82 83 87 88 90 94 97 102 103 109 112 113 115 118 120 127 137 140 146 149 155 162 163 164 169 170 176 177 179 180 181 182 183 185 186 188 189 190 193 200 202 204 206 208 210 214 218 227 229 232 233 a 4 6 9 10 14 15 16 17 18 19 20 22 23 27 29 31 33 36 45 57 61 64 68 80 81 82 83 87 88 90 94 97 102 103 109 112 113 115 118 120 127 137 140 146 149 155 162 163 164 169 170 176 177 179 180 181 182 183 185 186 188 189 190 193 200 202 204 206 208 210 214 218 227 229 232 233 a 4 6 9 10 14 15 16 17 18 19 20 22 23 27 29 31 33 36 45 57 61 64 68 80 81 82 83 87 88 90 94 97 100 102 103 109 112 113 115 118 120 127 137 146 149 155 162 163 164 169 170 176 177 179 180 181 182 183 185 186 188 189 190 193 200 202 204 206 208 210 214 218 227 229 232 233 a 4 6 9 10 11 14 15 16 17 18 19 20 22 23 27 29 31 33 36 45 57 61 64 68 80 81 82 83 87 88 90 94 97 100 102 103 109 112 113 115 118 120 127 137 146 149 155 162 164 169 170 176 177 179 180 181 182 183 185 186 188 189 190 193 200 202 204 206 208 210 214 218 227 229 232 233 a 4 6 9 10 11 14 15 16 17 18 19 20 22 23 27 29 31 33 36 45 49 57 61 64 68 80 81 82 83 87 88 90 94 97 100 102 103 109 112 113 115 118 120 127 137 146 149 155 162 164 169 170 176 177 179 180 181 182 183 185 186 188 189 190 193 200 202 204 206 208 210 218 227 229 232 233 a 4 6 9 10 11 14 15 16 17 18 19 20 22 23 27 29 31 33 36 40 45 49 57 61 64 68 80 81 82 83 87 88 90 94 97 100 102 103 109 112 113 115 118 120 127 137 146 149 155 164 169 170 176 177 179 180 181 182 183 185 186 188 189 190 193 200 202 204 206 208 210 218 227 229 232 233 a 4 6 9 10 11 14 15 16 17 18 19 20 22 23 27 29 31 33 36 40 45 49 57 61 64 68 72 80 81 83 87 88 90 94 97 100 102 103 109 112 113 115 118 120 127 137 146 149 155 164 169 170 176 177 179 180 181 182 183 185 186 188 189 190 193 200 202 204 206 208 210 218 227 229 232 233 a 4 6 9 10 11 14 15 16 17 18 19 20 22 23 26 27 29 33 36 40 45 49 57 61 64 68 72 80 81 83 87 88 90 94 97 100 102 103 109 112 113 115 118 120 127 137 146 149 155 164 169 170 176 177 179 180 181 182 183 185 186 188 189 190 193 200 202 204 206 208 210 218 227 229 232 233 a 4 6 9 10 11 14 15 16 18 19 20 22 23 26 27 29 33 36 40 45 49 57 59 61 64 68 72 80 81 83 87 88 90 94 97 100 102 103 109 112 113 115 118 120 127 137 146 149 155 164 169 170 176 177 179 180 181 182 183 185 186 188 189 190 193 200 202 204 206 208 210 218 227 229 232 233 a 4 6 9 10 11 14 15 16 18 19 20 22 23 26 27 29 33 36 40 45 49 57 59 61 64 68 72 80 81 83 87 88 90 94 97 100 102 103 109 112 113 115 118 120 127 137 146 149 155 166 169 170 176 177 179 180 181 182 183 185 186 188 189 190 193 200 202 204 206 208 210 218 227 229 232 233 a 4 6 9 10 11 14 15 16 18 20 22 23 26 27 29 33 36 37 40 45 49 57 59 61 64 68 72 80 81 83 87 88 90 94 97 100 102 103 109 112 113 115 118 120 127 137 146 149 155 166 169 170 176 177 179 180 181 182 183 185 186 188 189 190 193 200 202 204 206 208 210 218 227 229 232 233 a 4 6 9 10 11 14 15 16 18 20 22 23 26 27 29 33 36 37 40 45 49 55 57 59 61 64 68 72 80 81 83 87 88 90 94 97 100 102 103 109 112 113 115 118 120 127 137 146 149 155 166 169 170 176 177 179 180 181 182 183 185 186 188 189 190 193 202 204 206 208 210 218 227 229 232 233 a 4 6 9 10 11 14 15 16 18 20 22 23 26 27 33 36 37 40 44 45 49 55 57 59 61 64 68 72 80 81 83 87 88 90 94 97 100 102 103 109 112 113 115 118 120 127 137 146 149 155 166 169 170 176 177 179 180 181 182 183 185 186 188 189 190 193 202 204 206 208 210 218 227 229 232 233 a 4 6 9 10 11 14 15 18 20 22 23 26 27 33 36 37 40 44 45 49 55 57 59 61 64 65 68 72 80 81 83 87 88 90 94 97 100 102 103 109 112 113 115 118 120 127 137 146 149 155 166 169 170 176 177 179 180 181 182 183 185 186 188 189 190 193 202 204 206 208 210 218 227 229 232 233 a 4 6 9 10 11 14 15 18 22 23 26 27 33 36 37 40 44 45 49 55 57 59 61 64 65 66 68 72 80 81 83 87 88 90 94 97 100 102 103 109 112 113 115 118 120 127 137 146 149 155 166 169 170 176 177 179 180 181 182 183 185 186 188 189 190 193 202 204 206 208 210 218 227 229 232 233 c Step: 115 #END: [Mon Sep 4 22:35:42 2023]