#BEGIN: [Mon Sep 4 17:40:14 2023] #HOST: s01 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-cpu-banbaralab-longest1 #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 --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /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 f9b2556a069d6866bbf50982e414ba7d21c1b023700b7f9f7f933fe8939c2f3e 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 64 65 67 68 74 75 77 81 87 89 92 95 100 105 109 111 120 121 129 134 136 138 139 141 144 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 64 65 67 68 69 74 75 81 87 89 92 95 100 105 109 111 120 121 129 134 136 138 139 141 144 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 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 69 74 75 81 87 89 92 95 100 105 109 111 120 121 129 134 136 138 139 141 144 145 148 152 155 159 161 163 164 166 168 170 178 179 180 183 186 190 192 202 203 205 208 a 6 10 16 18 20 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 69 74 75 76 81 87 89 92 95 100 105 109 111 120 121 129 134 136 138 139 141 144 145 148 152 155 159 161 163 164 166 168 170 178 179 180 183 190 192 202 203 205 208 a 6 10 16 18 20 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 74 75 76 77 81 87 89 92 95 100 105 109 111 120 121 129 134 136 138 139 141 144 145 148 152 155 159 161 163 164 166 168 170 178 179 180 183 190 192 202 203 205 208 a 6 10 16 18 20 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 74 75 76 77 81 87 89 92 95 100 105 109 111 120 121 129 134 135 136 138 139 141 144 145 148 152 155 159 161 163 166 168 170 178 179 180 183 190 192 202 203 205 208 a 6 10 16 18 20 26 28 35 36 37 41 42 47 48 54 56 57 59 60 64 65 67 68 69 74 75 76 81 87 89 92 95 100 105 109 111 120 121 129 134 135 136 138 139 141 144 145 148 152 155 159 161 163 166 168 170 178 179 180 183 190 192 202 203 205 208 a 6 10 16 18 20 26 28 35 36 37 38 41 42 47 48 54 56 57 59 60 64 65 67 68 69 74 75 76 81 87 89 92 95 100 105 109 111 120 121 129 134 135 136 138 139 141 144 148 152 155 159 161 163 166 168 170 178 179 180 183 190 192 202 203 205 208 a 6 10 16 18 20 26 28 36 37 38 39 41 42 47 48 54 56 57 59 60 64 65 67 68 69 74 75 76 81 87 89 92 95 100 105 109 111 120 121 129 134 135 136 138 139 141 144 148 152 155 159 161 163 166 168 170 178 179 180 183 190 192 202 203 205 208 a 6 7 10 16 18 20 26 28 36 37 38 39 41 42 47 48 54 56 57 59 60 64 65 67 68 69 74 75 76 81 87 89 92 95 100 105 109 111 120 121 129 134 135 136 138 139 141 144 148 152 155 159 161 163 166 168 170 178 180 183 190 192 202 203 205 208 a 6 7 10 16 18 20 26 28 36 37 38 39 41 42 47 48 54 56 57 59 64 65 67 68 69 74 75 76 81 87 89 92 93 95 100 105 109 111 120 121 129 134 135 136 138 139 141 144 148 152 155 159 161 163 166 168 170 178 180 183 190 192 202 203 205 208 a 7 10 16 18 20 26 28 36 37 38 39 41 42 47 48 54 56 57 59 64 65 67 68 69 74 75 76 81 87 89 92 93 95 100 105 109 111 112 120 121 129 134 135 136 138 139 141 144 148 152 155 159 161 163 166 168 170 178 180 183 190 192 202 203 205 208 a 7 10 16 18 20 26 28 36 37 38 39 41 42 47 48 54 56 57 59 64 65 67 68 69 74 75 76 81 86 87 89 92 93 95 100 105 111 112 120 121 129 134 135 136 138 139 141 144 148 152 155 159 161 163 166 168 170 178 180 183 190 192 202 203 205 208 a 7 10 16 18 20 26 28 36 37 39 41 42 47 48 54 56 57 59 64 65 67 68 69 74 75 76 81 86 87 89 92 93 95 100 105 111 112 120 121 129 134 135 136 138 139 141 144 145 148 152 155 159 161 163 166 168 170 178 180 183 190 192 202 203 205 208 a 7 10 16 18 20 26 28 36 37 39 41 42 47 48 54 56 57 59 64 65 67 68 69 74 75 76 81 86 87 89 91 92 93 95 100 105 111 112 120 121 129 134 135 136 138 139 141 144 145 148 152 155 159 161 163 166 168 170 178 180 183 190 192 202 203 205 a 7 10 16 18 20 26 28 36 37 39 41 42 47 48 54 56 57 64 65 67 68 69 74 75 76 81 86 87 89 91 92 93 95 100 105 111 112 120 121 129 134 135 136 138 139 141 144 145 148 152 155 159 161 163 166 168 170 178 180 183 190 192 195 202 203 205 a 7 10 16 18 20 26 28 36 37 39 41 42 47 48 54 56 57 64 65 67 68 69 74 75 76 81 87 89 91 92 93 95 100 105 109 111 112 120 121 129 134 135 136 138 139 141 144 145 148 152 155 159 161 163 166 168 170 178 180 183 190 192 195 202 203 205 a 7 10 16 18 20 26 28 36 37 39 41 42 47 48 54 56 57 64 65 67 68 69 74 75 76 81 89 91 92 93 95 100 105 109 111 112 120 121 129 134 135 136 138 139 141 144 145 148 152 155 159 161 163 166 168 170 178 180 183 190 192 195 202 203 205 208 a 7 10 16 18 20 26 28 36 37 39 41 42 47 48 54 56 57 64 65 67 68 69 74 75 76 81 89 91 92 93 95 100 104 105 109 111 112 120 121 129 134 135 136 138 139 141 145 148 152 155 159 161 163 166 168 170 178 180 183 190 192 195 202 203 205 208 a 7 10 16 18 20 26 28 36 37 39 41 42 47 48 54 56 57 64 65 67 68 69 74 75 76 81 87 89 91 92 93 95 100 104 105 109 111 112 120 121 129 134 135 136 138 139 141 145 148 152 155 159 161 163 166 168 170 178 180 183 190 192 195 202 203 205 a 7 10 16 18 20 26 28 36 37 39 41 42 47 48 54 56 57 64 65 67 68 69 74 75 76 81 87 89 91 92 93 95 100 104 105 109 111 112 120 122 129 134 135 136 138 139 141 145 148 152 155 159 161 163 166 168 170 178 180 183 190 192 195 202 203 205 a 7 10 16 18 20 26 28 36 37 39 41 42 47 48 54 56 57 64 65 67 68 69 74 75 76 81 87 89 91 92 93 95 100 105 109 111 112 120 122 129 134 135 136 138 139 141 144 145 148 152 155 159 161 163 166 168 170 178 180 183 190 192 195 202 203 205 a 7 10 16 18 20 26 28 36 37 39 41 42 47 48 54 56 57 59 64 65 67 68 69 74 75 76 81 87 89 91 92 93 95 100 105 109 111 112 120 122 129 134 135 136 138 139 141 144 145 148 152 155 159 161 163 166 168 170 178 180 183 190 192 195 202 205 a 7 10 18 20 26 28 36 37 39 41 42 47 48 54 56 57 59 64 65 67 68 69 74 75 76 81 87 89 91 92 93 95 100 105 109 111 112 120 122 129 134 135 136 138 139 141 144 145 148 152 155 159 161 163 166 168 170 178 180 183 190 192 195 202 203 205 a 7 10 18 20 26 28 36 37 39 41 42 47 48 54 56 57 59 64 65 67 68 69 74 75 76 81 87 89 91 92 93 95 100 105 109 111 112 120 121 129 134 135 136 138 139 141 144 145 148 152 155 159 161 163 166 168 170 178 180 183 190 192 195 202 203 205 a 7 10 18 20 26 28 36 37 39 41 42 47 48 54 56 57 59 64 65 67 68 69 74 75 76 81 87 89 91 92 93 95 100 105 109 111 112 120 121 129 134 135 136 138 139 141 144 145 148 152 155 159 161 163 166 168 170 178 183 190 192 195 202 203 205 208 a 7 10 18 20 26 28 36 37 39 41 42 47 48 54 56 57 59 64 65 67 68 69 74 75 76 81 87 89 91 92 93 95 100 105 109 111 112 120 121 129 134 135 136 138 139 141 144 145 148 152 155 159 161 163 166 168 170 178 180 183 190 192 195 202 203 208 a 7 18 20 26 28 36 37 39 41 42 47 48 54 56 57 59 64 65 67 68 69 74 75 76 81 87 89 91 92 93 95 100 105 109 111 112 120 121 129 134 135 136 138 139 141 144 145 148 152 155 159 161 163 166 168 170 178 180 183 190 192 195 202 203 205 208 a 7 16 18 20 26 28 36 37 39 41 42 47 48 54 56 57 59 64 65 67 68 69 74 75 76 81 87 89 91 92 93 95 100 105 109 111 112 120 121 129 134 135 136 138 139 141 144 145 148 152 155 159 161 163 166 168 170 178 180 183 190 192 195 202 203 205 a 7 16 18 20 26 28 36 37 39 41 42 47 48 54 56 57 59 64 65 67 68 74 75 76 77 81 87 89 91 92 93 95 100 105 109 111 112 120 121 129 134 135 136 138 139 141 144 145 148 152 155 159 161 163 166 168 170 178 180 183 190 192 195 202 203 205 a 7 13 16 18 20 26 28 36 37 39 41 42 47 48 54 56 57 59 64 65 67 68 74 75 76 77 81 87 89 91 92 93 95 100 105 109 111 112 120 121 129 134 135 136 138 139 141 144 145 148 152 155 159 161 163 166 168 170 178 180 183 190 192 195 202 205 a 7 13 16 18 20 26 28 36 37 39 41 42 47 48 54 56 57 59 64 65 67 68 74 75 76 77 81 87 89 91 92 93 95 100 109 111 112 120 121 129 134 135 136 138 139 141 144 145 148 152 155 159 161 163 166 168 170 178 180 183 190 192 194 195 202 205 a 7 13 16 18 20 26 28 36 37 39 41 42 47 48 54 56 57 59 64 65 67 68 74 75 76 77 81 87 89 91 92 93 95 100 109 111 112 120 121 129 134 135 136 138 139 141 144 148 152 155 159 161 163 166 168 170 178 180 183 190 192 194 195 202 203 205 a 7 16 18 20 26 28 36 37 39 41 42 47 48 54 56 57 59 64 65 67 68 74 75 76 77 81 87 89 91 92 93 95 100 109 111 112 120 121 129 134 135 136 138 139 141 144 148 152 155 159 161 163 166 168 170 178 180 183 190 192 194 195 202 203 205 208 a 7 16 18 20 26 28 36 37 39 41 42 47 48 54 56 57 59 65 67 68 74 75 76 77 81 87 89 91 92 93 95 100 109 111 112 120 121 129 134 135 136 138 139 141 144 148 152 155 159 161 163 166 168 170 178 180 181 183 190 192 194 195 202 203 205 208 a 7 16 18 20 26 28 36 37 39 41 42 47 48 54 56 57 59 65 67 68 74 75 76 77 81 87 89 91 92 93 95 100 105 109 111 112 120 121 129 134 135 136 138 139 141 144 148 152 155 159 161 163 166 168 170 178 180 181 183 190 192 195 202 203 205 208 a 7 10 16 18 20 26 28 36 37 39 41 42 47 48 54 57 59 65 67 68 74 75 76 77 81 87 89 91 92 93 95 100 105 109 111 112 120 121 129 134 135 136 138 139 141 144 148 152 155 159 161 163 166 168 170 178 180 181 183 190 192 195 202 203 205 208 a 7 10 16 18 20 26 28 30 36 37 39 41 42 47 48 54 57 59 65 67 68 74 75 76 77 81 87 89 91 92 93 95 105 109 111 112 120 121 129 134 135 136 138 139 141 144 148 152 155 159 161 163 166 168 170 178 180 181 183 190 192 195 202 203 205 208 a 10 16 18 20 26 28 30 36 37 39 41 42 47 48 54 56 57 59 65 67 68 74 75 76 77 81 87 89 91 92 93 95 105 109 111 112 120 121 129 134 135 136 138 139 141 144 148 152 155 159 161 163 166 168 170 178 180 181 183 190 192 195 202 203 205 208 a 10 16 18 20 26 28 30 36 37 39 41 42 47 48 54 56 57 59 65 67 68 74 75 76 77 81 87 89 91 92 93 95 109 111 112 120 121 129 134 135 136 138 139 141 144 148 152 155 159 161 163 166 168 170 178 180 181 183 190 192 194 195 202 203 205 208 a 10 16 18 20 28 30 36 37 39 41 42 47 48 54 56 57 59 65 67 68 74 75 76 77 81 87 89 91 92 93 95 109 111 112 120 121 129 134 135 136 138 139 141 144 145 148 152 155 159 161 163 166 168 170 178 180 181 183 190 192 194 195 202 203 205 208 a 10 16 18 20 28 30 36 37 39 41 42 47 48 54 56 57 59 65 67 68 74 75 76 77 81 87 89 91 92 93 95 109 111 112 120 121 129 134 135 136 138 139 141 144 145 148 152 155 159 161 163 166 168 170 176 178 180 181 183 190 192 194 195 202 203 205 a 10 16 18 20 28 30 36 37 39 41 42 47 48 54 56 57 59 65 67 68 74 75 76 77 81 87 89 91 92 93 95 109 111 112 120 121 129 134 135 136 138 139 141 144 145 148 152 155 159 161 163 166 168 170 176 178 180 181 183 190 192 194 195 199 202 205 a 10 16 18 20 28 30 36 37 39 41 42 47 48 54 56 57 59 65 67 68 74 75 76 77 81 87 89 91 92 93 95 109 111 112 120 129 134 135 136 138 139 141 144 145 148 152 155 159 161 163 166 168 170 176 178 180 181 183 190 192 194 195 199 202 203 205 a 10 16 18 20 28 30 36 37 39 41 42 47 48 54 56 57 59 65 67 68 74 75 76 77 81 87 89 91 92 93 95 109 111 112 120 129 134 135 136 138 139 141 144 145 148 152 155 159 161 163 166 168 170 176 178 180 181 183 190 192 194 195 197 199 202 205 a 10 16 18 20 28 36 37 39 41 42 47 48 54 56 57 59 65 67 68 74 75 76 77 81 87 89 91 92 93 95 100 109 111 112 120 129 134 135 136 138 139 141 144 145 148 152 155 159 161 163 166 168 170 176 178 180 181 183 190 192 194 195 197 199 202 205 a 16 18 20 28 36 37 39 41 42 47 48 54 56 57 59 65 67 68 74 75 76 77 81 87 89 91 92 93 95 100 109 111 112 120 121 129 134 135 136 138 139 141 144 145 148 152 155 159 161 163 166 168 170 176 178 180 181 183 190 192 194 195 197 199 202 205 a 16 18 20 26 28 36 37 39 41 42 47 48 54 56 57 59 65 67 68 74 75 76 77 81 87 89 91 92 93 95 100 109 111 112 120 121 129 134 135 136 138 139 141 144 145 148 152 155 159 161 163 166 168 170 176 178 180 181 183 190 192 194 195 197 199 202 a 16 18 20 26 28 36 37 39 41 42 47 48 49 54 56 57 59 65 67 68 74 75 76 77 81 87 89 91 92 93 95 100 109 111 112 120 121 129 135 136 138 139 141 144 145 148 152 155 159 161 163 166 168 170 176 178 180 181 183 190 192 194 195 197 199 202 a 16 18 20 26 28 36 37 39 41 42 44 47 48 49 54 56 57 59 65 67 68 74 75 76 77 87 89 91 92 93 95 100 109 111 112 120 121 129 135 136 138 139 141 144 145 148 152 155 159 161 163 166 168 170 176 178 180 181 183 190 192 194 195 197 199 202 a 10 16 18 20 26 28 36 37 39 41 42 44 47 48 49 54 56 57 59 65 67 68 74 75 76 77 87 89 91 92 93 95 100 109 111 112 120 121 129 135 136 138 139 141 144 145 148 152 155 159 161 163 166 168 170 176 178 180 181 183 190 192 194 195 197 199 a 10 16 18 20 26 28 36 37 39 41 42 44 47 48 49 54 56 57 59 65 67 68 74 76 77 87 89 91 92 93 95 100 109 111 112 120 121 129 135 136 138 139 141 144 145 147 148 152 155 159 161 163 166 168 170 176 178 180 181 183 190 192 194 195 197 199 a 10 18 20 26 28 36 37 39 41 42 44 47 48 49 54 56 57 59 65 67 68 74 76 77 87 89 91 92 93 95 100 109 111 112 120 121 129 135 136 138 139 141 144 145 147 148 152 155 159 161 163 166 168 170 176 178 180 181 183 190 192 194 195 197 199 202 a 10 13 18 20 26 28 36 37 39 41 42 44 47 48 49 54 56 57 59 65 67 68 74 76 77 87 89 91 92 93 95 100 109 111 112 120 121 129 136 138 139 141 144 145 147 148 152 155 159 161 163 166 168 170 176 178 180 181 183 190 192 194 195 197 199 202 a 13 18 20 26 28 36 37 39 41 42 44 47 48 49 54 56 57 59 65 67 68 74 76 77 87 89 91 92 93 95 100 109 111 112 120 121 129 136 138 139 141 144 145 147 148 152 155 159 161 163 164 166 168 170 176 178 180 181 183 190 192 194 195 197 199 202 a 13 18 26 28 36 37 39 41 42 44 47 48 49 54 56 57 59 65 67 68 74 76 77 87 89 91 92 93 95 100 109 111 112 120 121 129 136 138 139 141 144 145 147 148 152 155 159 161 163 164 166 168 170 176 178 180 181 183 190 192 194 195 197 199 202 208 a 13 26 28 36 37 39 41 42 44 47 48 49 54 56 57 59 65 67 68 74 76 77 87 89 91 92 93 95 98 100 109 111 112 120 121 129 136 138 139 141 144 145 147 148 152 155 159 161 163 164 166 168 170 176 178 180 181 183 190 192 194 195 197 199 202 208 a 13 26 28 36 37 39 41 42 44 47 48 49 54 56 57 59 65 67 74 76 77 87 89 91 92 93 95 98 100 109 111 112 120 121 129 136 138 139 141 144 145 147 148 152 155 159 161 163 164 166 168 170 172 176 178 180 181 183 190 192 194 195 197 199 202 208 a 25 26 28 36 37 39 41 42 44 47 48 49 54 56 57 59 65 67 74 76 77 87 89 91 92 93 95 98 100 109 111 112 120 121 129 136 138 139 141 144 145 147 148 152 155 159 161 163 164 166 168 170 172 176 178 180 181 183 190 192 194 195 197 199 202 208 a 7 26 28 36 37 39 41 42 44 47 48 49 54 56 57 59 65 67 74 76 77 87 89 91 92 93 95 98 100 109 111 112 120 121 129 136 138 139 141 144 145 147 148 152 155 159 161 163 164 166 168 170 172 176 178 180 181 183 190 192 194 195 197 199 202 208 a 7 13 26 28 36 37 39 41 42 44 47 48 49 54 56 57 59 65 67 74 76 77 89 91 92 93 95 98 100 109 111 112 120 121 129 136 138 139 141 144 145 147 148 152 155 159 161 163 164 166 168 170 172 176 178 180 181 183 190 192 194 195 197 199 202 208 a 7 13 26 28 36 37 39 41 42 44 47 48 54 56 57 59 65 67 74 76 77 89 91 92 93 95 98 100 109 111 112 120 121 129 136 138 139 141 144 145 147 148 152 155 159 161 163 164 166 168 170 172 176 178 180 181 183 190 192 194 195 197 199 202 205 208 a 7 13 26 28 36 37 39 41 42 47 48 54 56 57 59 65 67 74 76 77 81 89 91 92 93 95 98 100 109 111 112 120 121 129 136 138 139 141 144 145 147 148 152 155 159 161 163 164 166 168 170 172 176 178 180 181 183 190 192 194 195 197 199 202 205 208 a 7 13 26 28 36 37 39 41 42 47 48 54 56 57 59 65 67 74 76 77 81 87 89 91 92 93 95 98 100 109 111 112 120 121 129 136 138 139 141 144 145 147 148 152 155 159 161 163 164 166 168 170 172 176 178 180 183 190 192 194 195 197 199 202 205 208 a 7 13 26 28 36 37 39 41 42 47 48 54 56 57 59 65 67 74 76 77 81 87 89 91 92 93 95 98 100 109 111 112 120 121 129 136 138 139 141 144 145 147 148 152 155 159 161 163 164 166 168 170 172 178 180 181 183 190 192 194 195 197 199 202 205 208 a 7 26 28 36 37 39 41 42 47 48 54 56 57 59 65 67 74 76 77 81 87 89 91 92 93 95 98 100 109 111 112 120 121 129 136 138 139 141 144 145 147 148 152 155 159 161 163 164 166 168 170 172 178 180 181 183 190 192 194 195 197 199 202 203 205 208 a 7 26 28 36 37 39 41 42 47 48 54 56 57 59 65 67 74 76 77 81 87 89 91 92 93 95 98 100 109 111 112 120 121 129 136 138 139 144 145 147 148 152 155 159 161 163 164 166 168 170 172 176 178 180 181 183 190 192 194 195 197 199 202 203 205 208 a 7 26 28 36 37 39 41 42 47 48 54 56 57 59 65 67 74 76 77 81 87 89 91 92 93 95 98 100 109 111 112 120 121 129 136 138 139 141 144 145 147 148 152 155 159 161 163 164 166 168 170 172 176 178 180 181 183 190 192 194 195 197 199 202 203 208 a 7 26 28 36 37 39 41 42 47 48 54 56 57 59 65 67 74 76 77 81 87 89 91 92 93 95 98 100 109 111 112 120 121 129 134 136 138 139 141 144 145 147 148 152 155 159 161 163 164 166 168 170 172 176 178 180 181 183 190 192 194 195 197 199 202 208 a 7 20 26 28 36 37 39 41 42 47 48 54 56 57 59 65 67 74 76 77 81 87 89 91 92 93 95 98 100 109 111 112 120 121 129 134 136 138 139 141 144 145 147 148 152 155 159 161 163 164 166 168 170 172 176 178 180 181 183 190 192 194 195 197 202 208 a 7 20 25 26 28 36 37 39 41 42 47 48 54 56 57 59 65 67 74 76 77 81 87 89 91 92 93 95 98 100 109 111 112 120 121 129 134 136 138 139 141 144 145 147 148 152 155 159 161 163 164 166 168 170 172 176 178 180 181 183 192 194 195 197 202 208 a 7 20 24 25 26 28 36 37 39 41 42 47 48 54 56 57 59 65 67 74 76 77 81 87 89 91 92 93 95 98 100 109 111 112 120 121 129 134 136 138 139 141 144 145 147 148 152 155 159 161 163 164 166 168 172 176 178 180 181 183 192 194 195 197 202 208 a 7 20 24 25 26 28 36 37 39 41 42 47 48 54 56 57 59 65 67 76 77 81 87 89 91 92 93 95 98 100 109 111 112 120 121 129 134 136 138 139 140 141 144 145 147 148 152 155 159 161 163 164 166 168 172 176 178 180 181 183 192 194 195 197 202 208 a 7 20 24 25 26 28 36 37 39 41 42 47 48 54 56 57 59 65 67 76 77 81 87 89 91 92 93 95 98 100 109 111 112 120 121 134 136 138 139 140 141 144 145 147 148 152 155 159 161 163 164 166 168 172 176 178 180 181 183 192 194 195 197 199 202 208 a 7 20 24 25 26 28 36 37 39 41 42 47 48 54 56 57 59 65 67 76 77 81 87 89 91 92 93 95 98 100 109 111 112 120 121 129 134 136 138 139 140 141 144 145 147 148 152 155 159 161 163 164 166 168 172 176 178 180 181 183 192 194 195 199 202 208 a 7 20 24 25 26 28 36 37 39 41 42 47 48 54 56 57 59 65 67 75 76 77 81 87 89 91 92 93 95 98 100 109 111 112 120 121 129 134 136 138 139 140 141 144 145 148 152 155 159 161 163 164 166 168 172 176 178 180 181 183 192 194 195 199 202 208 a 7 10 20 24 25 26 28 36 37 39 41 42 47 54 56 57 59 65 67 75 76 77 81 87 89 91 92 93 95 98 100 109 111 112 120 121 129 134 136 138 139 140 141 144 145 148 152 155 159 161 163 164 166 168 172 176 178 180 181 183 192 194 195 199 202 208 a 7 10 20 24 25 26 28 36 37 39 41 42 47 54 56 57 59 61 65 67 75 76 77 81 87 89 91 92 93 95 98 100 109 111 112 120 121 129 134 136 138 139 140 141 144 145 148 152 155 159 161 163 164 166 168 172 176 178 180 181 183 194 195 199 202 208 a 7 10 20 24 25 28 36 37 39 41 42 47 54 56 57 59 61 65 67 75 76 77 81 87 89 91 92 93 95 98 100 109 111 112 120 121 129 134 136 138 139 140 141 144 145 148 152 155 159 161 163 164 166 168 172 176 178 180 181 183 184 194 195 199 202 208 a 7 10 20 24 25 28 36 37 39 41 42 47 48 54 56 57 59 61 65 67 75 76 77 81 87 89 91 92 93 95 98 100 109 111 112 120 121 129 134 136 138 139 140 141 144 145 148 152 155 159 161 163 164 166 168 172 176 178 180 181 183 184 194 195 199 202 a 7 10 20 24 25 28 36 37 39 41 42 47 48 54 56 57 59 61 65 67 75 76 77 81 87 89 91 92 93 95 98 100 104 109 111 112 120 121 129 134 136 138 139 140 141 145 148 152 155 159 161 163 164 166 168 172 176 178 180 181 183 184 194 195 199 202 a 10 16 20 24 25 28 36 37 39 41 42 47 48 54 56 57 59 61 65 67 75 76 77 81 87 89 91 92 93 95 98 100 104 109 111 112 120 121 129 134 136 138 139 140 141 145 148 152 155 159 161 163 164 166 168 172 176 178 180 181 183 184 194 195 199 202 a 10 16 24 25 28 36 37 39 41 42 47 48 54 56 57 59 61 65 67 75 76 77 81 87 89 91 92 93 95 98 100 104 109 111 112 120 121 129 134 136 138 139 140 141 145 148 152 155 159 161 163 164 166 168 172 176 178 180 181 183 184 190 194 195 199 202 a 10 16 25 28 36 37 39 41 42 47 48 54 56 57 59 61 65 67 75 76 77 81 87 89 91 92 93 95 98 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 172 176 178 180 181 183 184 190 194 195 199 202 a 10 16 25 26 28 36 37 39 41 42 47 48 54 56 57 59 61 65 67 75 76 77 81 87 89 91 92 93 95 98 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 172 176 178 180 181 183 184 190 194 195 202 a 10 16 25 26 28 36 37 39 41 42 47 48 54 56 57 59 61 65 67 75 76 77 81 87 89 91 92 93 95 98 100 104 109 111 120 121 129 134 136 138 139 140 141 145 148 152 155 159 161 163 164 166 168 170 172 176 178 180 181 183 184 190 194 195 197 202 a 10 16 25 26 28 36 37 39 41 42 47 48 54 56 57 59 61 65 67 75 77 81 87 89 91 92 93 95 98 100 104 109 111 120 121 129 134 136 138 139 140 141 145 148 152 155 159 161 163 164 166 168 170 172 176 178 180 181 183 184 186 190 194 195 197 202 a 10 16 25 26 28 36 37 39 41 42 47 48 54 56 57 59 61 65 67 75 77 81 87 89 91 92 93 95 98 100 104 109 111 120 121 129 134 135 136 138 139 140 141 145 148 152 155 159 161 163 166 168 170 172 176 178 180 181 183 184 186 190 194 195 197 202 a 10 20 25 26 28 36 37 39 41 42 47 48 54 56 57 59 61 65 67 75 77 81 87 89 91 92 93 95 98 100 104 109 111 120 121 129 134 135 136 138 139 140 141 145 148 152 155 159 161 163 166 168 170 172 176 178 180 181 183 184 186 190 194 195 197 202 a 10 20 25 26 28 36 39 41 42 47 48 54 56 57 59 61 65 67 75 77 81 87 89 91 92 93 95 98 100 104 109 111 112 120 121 129 134 135 136 138 139 140 141 145 148 152 155 159 161 163 166 168 170 172 176 178 180 181 183 184 186 190 194 195 197 202 a 10 20 25 26 28 36 37 39 41 42 47 48 54 56 57 59 61 65 67 75 77 81 87 89 91 92 93 95 98 100 104 109 111 112 120 121 129 134 135 136 138 139 140 141 145 148 152 155 159 161 163 166 168 170 172 176 178 180 181 183 184 186 190 194 195 197 a 7 10 20 25 26 28 36 37 39 41 42 47 48 54 56 57 59 61 65 67 75 77 81 87 89 91 92 93 95 98 100 104 109 111 112 120 121 129 134 135 136 138 139 140 141 145 148 152 155 159 161 163 166 168 170 172 176 178 180 181 183 184 186 194 195 197 a 7 10 20 25 26 28 36 37 39 41 42 47 48 52 54 56 57 59 61 65 67 75 77 81 87 89 91 92 93 95 98 100 104 109 111 112 120 121 129 134 135 136 138 139 140 141 145 148 152 155 159 161 163 166 168 170 172 176 178 180 181 183 184 186 194 197 a 7 10 25 26 28 36 37 39 41 42 47 48 52 54 56 57 59 61 65 67 75 77 81 87 89 91 92 93 95 98 100 104 109 111 112 120 121 129 134 135 136 138 139 140 141 145 148 152 155 159 161 163 166 168 170 172 176 178 180 181 183 184 186 194 197 199 a 10 13 25 26 28 36 37 39 41 42 47 48 52 54 56 57 59 61 65 67 75 77 81 87 89 91 92 93 95 98 100 104 109 111 112 120 121 129 134 135 136 138 139 140 141 145 148 152 155 159 161 163 166 168 170 172 176 178 180 181 183 184 186 194 197 199 a 10 13 20 25 26 28 37 39 41 42 47 48 52 54 56 57 59 61 65 67 75 77 81 87 89 91 92 93 95 98 100 104 109 111 112 120 121 129 134 135 136 138 139 140 141 145 148 152 155 159 161 163 166 168 170 172 176 178 180 181 183 184 186 194 197 199 a 10 13 20 25 26 28 36 37 39 41 42 47 48 52 54 56 57 59 61 65 67 75 77 81 87 89 91 92 93 95 98 100 104 109 111 112 120 121 129 134 135 136 138 139 140 141 145 148 152 155 159 161 163 166 168 170 172 176 178 180 181 183 184 186 194 197 a 10 13 20 25 26 28 36 37 39 41 42 47 48 52 54 56 57 59 61 65 67 75 77 81 87 89 91 92 93 95 98 100 104 109 111 112 120 121 129 134 135 136 138 139 140 141 145 148 152 155 159 161 163 166 168 170 172 176 178 180 181 183 184 194 197 199 a 10 13 20 25 26 28 36 37 39 41 42 47 48 52 54 56 57 59 61 65 67 75 77 81 87 89 91 92 93 95 98 100 104 109 111 112 120 121 129 134 135 136 138 139 140 141 145 148 152 155 159 161 163 166 168 170 172 176 178 180 181 184 194 197 199 204 a 10 13 20 25 26 28 37 39 41 42 47 48 52 54 56 57 59 61 65 67 75 77 81 87 89 91 92 93 95 98 100 104 109 111 112 120 121 129 134 135 136 138 139 140 141 145 148 152 155 159 161 163 166 168 170 172 176 178 180 181 184 186 194 197 199 204 a 10 13 20 25 26 36 37 39 41 42 47 48 52 54 56 57 59 61 65 67 75 77 81 87 89 91 92 93 95 98 100 104 109 111 112 120 121 129 134 135 136 138 139 140 141 145 148 152 155 159 161 163 166 168 170 172 176 178 180 181 184 186 194 197 199 204 a 10 13 20 25 26 36 37 39 41 42 47 48 52 54 56 57 59 65 67 75 77 81 87 89 91 92 93 95 98 100 104 109 111 112 120 121 129 134 135 136 138 139 140 141 145 148 152 155 159 161 163 166 168 170 172 176 178 180 181 184 186 192 194 197 199 204 a 10 13 20 25 26 28 36 37 39 41 42 47 48 52 56 57 59 65 67 75 77 81 87 89 91 92 93 95 98 100 104 109 111 112 120 121 129 134 135 136 138 139 140 141 145 148 152 155 159 161 163 166 168 170 172 176 178 180 181 184 186 192 194 197 199 204 a 10 13 20 25 26 28 36 37 39 41 42 47 48 52 56 57 59 65 67 75 77 81 87 89 91 92 93 95 98 100 104 109 111 112 120 121 129 133 134 135 136 138 139 140 141 148 152 155 159 161 163 166 168 170 172 176 178 180 181 184 186 192 194 197 199 204 a 10 13 20 25 26 28 36 37 39 41 42 47 48 52 56 57 59 65 67 75 77 81 87 88 89 91 92 93 95 98 100 104 109 111 112 120 121 129 133 134 135 136 138 139 140 141 148 152 155 159 163 166 168 170 172 176 178 180 181 184 186 192 194 197 199 204 a 10 13 20 25 26 28 36 37 39 41 42 47 48 52 54 56 57 59 65 67 75 77 81 87 88 89 91 92 93 95 98 100 104 109 111 112 120 121 129 133 134 135 136 138 139 140 141 148 152 155 159 163 166 168 170 172 176 178 180 181 184 186 192 194 199 204 a 10 20 25 26 28 36 37 39 41 42 47 48 52 54 56 57 59 65 67 75 77 81 87 88 89 91 92 93 95 98 100 104 109 111 112 120 121 129 133 134 135 136 138 139 140 141 148 152 155 159 163 166 168 170 172 176 178 180 181 184 186 190 192 194 199 204 a 20 25 26 28 36 37 39 41 42 47 48 52 54 56 57 59 65 67 75 77 81 87 88 89 91 92 93 95 98 100 104 109 111 112 120 121 129 133 134 135 136 138 139 140 141 148 152 155 159 163 166 168 170 172 176 178 180 181 184 186 190 192 194 197 199 204 a 20 26 28 36 37 39 41 42 47 48 52 54 56 57 59 65 67 75 77 81 87 88 89 91 92 93 95 98 100 104 109 111 112 120 121 129 133 134 135 136 138 139 140 141 148 152 155 159 163 166 168 170 172 176 178 180 181 184 186 190 192 194 195 197 199 204 a 10 20 26 28 36 37 39 41 42 47 48 52 54 56 57 59 65 67 75 77 81 87 88 89 91 92 93 95 98 100 104 109 111 112 120 121 129 133 134 135 136 138 139 140 141 148 152 155 159 163 166 168 170 172 176 178 180 181 184 186 190 192 194 197 199 204 a 10 20 26 28 36 37 39 41 42 47 48 52 54 56 57 59 65 67 75 77 81 87 88 89 91 92 93 95 98 100 104 109 111 112 120 121 129 133 134 135 136 138 139 140 141 148 152 155 159 163 166 168 170 172 176 178 180 181 184 186 190 194 195 197 199 204 a 10 13 20 26 28 36 37 39 41 42 47 48 52 54 56 57 59 65 67 75 77 81 87 88 89 91 92 93 95 98 100 104 109 111 112 120 121 129 133 134 136 138 139 140 141 148 152 155 159 163 166 168 170 172 176 178 180 181 184 186 190 194 195 197 199 204 a 10 20 26 28 36 37 39 41 42 47 48 52 54 56 57 59 65 67 75 77 81 87 88 89 91 92 93 95 98 100 104 109 111 112 120 121 129 133 134 136 138 139 140 141 148 152 155 159 163 166 168 170 172 176 178 180 181 184 186 190 192 194 195 197 199 204 a 10 20 26 28 36 37 39 41 42 47 48 52 54 56 57 59 65 67 75 77 81 87 88 89 91 92 93 95 98 100 104 109 111 112 120 121 129 133 134 135 136 138 139 140 141 148 152 155 159 163 166 168 170 172 176 178 180 181 184 186 190 192 194 195 197 199 a 10 20 26 28 36 37 39 41 42 47 48 52 54 56 57 59 65 67 75 77 81 87 88 89 91 92 93 95 98 100 104 109 111 112 120 121 129 133 134 135 136 139 140 141 148 152 155 159 163 166 168 170 172 176 178 180 181 184 186 190 192 194 195 197 199 204 a 7 10 20 26 28 36 37 39 41 42 47 48 52 54 56 57 59 65 67 75 77 81 87 88 89 91 92 93 95 98 100 104 109 111 112 120 121 129 133 134 135 136 139 141 148 152 155 159 163 166 168 170 172 176 178 180 181 184 186 190 192 194 195 197 199 204 a 7 10 20 26 28 36 37 39 41 42 47 48 52 54 56 57 59 65 67 75 77 81 87 88 89 91 92 93 95 98 100 104 109 111 112 120 121 129 133 134 135 136 139 141 148 152 155 159 162 163 166 168 170 172 176 178 180 181 184 186 190 192 194 195 197 204 a 7 10 20 26 28 36 37 39 41 42 47 48 52 54 56 57 59 65 67 75 77 81 87 88 89 91 92 93 95 98 100 104 109 111 112 120 121 129 133 134 135 136 138 139 141 148 152 155 159 162 163 166 168 170 172 176 178 180 181 184 186 190 192 194 195 204 a 7 10 20 26 28 36 37 39 41 42 47 48 52 54 56 57 59 65 67 75 77 87 88 89 91 92 93 95 98 100 104 109 111 112 120 121 129 133 134 135 136 138 139 141 148 152 155 159 162 163 166 168 170 172 176 178 180 181 184 186 190 192 194 195 197 204 a 7 10 20 26 28 36 37 39 41 42 47 48 52 54 56 57 59 65 67 75 77 88 89 91 92 93 95 98 100 104 109 111 112 120 121 129 133 134 135 136 138 139 140 141 148 152 155 159 162 163 166 168 170 172 176 178 180 181 184 186 190 192 194 195 197 204 a 7 20 26 28 36 37 39 41 42 47 48 52 54 56 57 59 65 67 75 77 87 88 89 91 92 93 95 98 100 104 109 111 112 120 121 129 133 134 135 136 138 139 140 141 148 152 155 159 162 163 166 168 170 172 176 178 180 181 184 186 190 192 194 195 197 204 a 7 20 26 28 36 37 38 39 41 42 47 48 52 54 56 57 59 65 75 77 87 88 89 91 92 93 95 98 100 104 109 111 112 120 121 129 133 134 135 136 138 139 140 141 148 152 155 159 162 163 166 168 170 172 176 178 180 181 184 186 190 192 194 195 197 204 a 7 20 25 26 28 36 37 38 39 41 42 47 48 52 54 56 57 59 65 75 77 87 88 89 91 92 95 98 100 104 109 111 112 120 121 129 133 134 135 136 138 139 140 141 148 152 155 159 162 163 166 168 170 172 176 178 180 181 184 186 190 192 194 195 197 204 a 7 20 25 26 28 36 37 38 39 41 42 47 48 52 54 56 57 59 60 65 75 77 87 88 89 92 95 98 100 104 109 111 112 120 121 129 133 134 135 136 138 139 140 141 148 152 155 159 162 163 166 168 170 172 176 178 180 181 184 186 190 192 194 195 197 204 a 7 20 25 26 28 36 37 38 39 41 47 48 52 54 56 57 59 60 65 75 77 87 88 89 92 95 98 100 104 109 111 112 120 121 129 133 134 135 136 138 139 140 141 148 152 155 159 162 163 166 168 170 172 176 178 180 181 184 186 190 192 194 195 197 202 204 a 7 20 25 26 28 36 37 38 39 41 47 48 52 54 56 57 59 60 65 75 77 87 88 89 92 95 98 100 104 109 111 112 120 121 129 133 134 135 136 138 139 140 141 148 152 155 159 162 163 166 168 170 172 176 178 180 181 186 190 192 194 195 197 202 203 204 a 7 20 25 26 28 36 37 38 39 41 47 48 52 54 56 57 59 60 65 67 75 77 87 88 89 92 95 98 100 104 109 111 112 120 121 129 133 134 135 136 138 139 140 141 148 152 155 159 162 163 166 168 170 172 176 178 180 181 186 190 192 194 195 197 202 203 a 7 20 25 26 28 36 37 38 39 47 48 52 54 56 57 59 60 65 67 75 77 81 87 88 89 92 95 98 100 104 109 111 112 120 121 129 133 134 135 136 138 139 140 141 148 152 155 159 162 163 166 168 170 172 176 178 180 181 186 190 192 194 195 197 202 203 a 7 20 25 26 28 36 37 38 39 42 47 48 52 54 56 57 59 60 65 67 75 77 81 87 88 89 92 95 98 100 104 109 111 112 120 121 129 133 134 135 136 138 139 140 141 148 152 155 159 162 163 166 170 172 176 178 180 181 186 190 192 194 195 197 202 203 a 7 20 25 26 28 36 37 38 39 42 47 48 52 54 56 57 59 60 65 67 75 77 81 87 88 89 92 95 98 100 104 109 111 112 120 121 129 133 134 135 136 138 139 140 141 148 152 155 159 162 163 166 168 170 172 176 178 180 181 186 190 192 194 195 197 202 a 7 20 25 26 28 36 37 38 39 42 47 48 52 54 56 57 59 60 65 67 69 75 81 87 88 89 92 95 98 100 104 109 111 112 120 121 129 133 134 135 136 138 139 140 141 148 152 155 159 162 163 166 168 170 172 176 178 180 181 186 190 192 194 195 197 202 a 7 20 25 26 28 36 37 38 39 41 42 47 48 52 54 56 57 59 60 65 67 69 75 81 87 88 89 92 95 98 100 104 109 111 112 120 121 129 133 134 135 136 138 139 140 141 148 152 155 159 162 163 166 168 170 172 176 178 180 181 186 190 192 194 197 202 a 7 20 25 26 28 36 37 38 39 41 42 47 48 52 54 56 57 59 60 65 67 69 75 81 87 88 89 92 95 98 100 104 109 111 112 120 121 129 133 134 135 136 138 139 140 141 148 152 155 159 162 163 166 168 170 172 176 178 180 181 186 190 194 197 202 203 a 7 20 25 26 28 36 37 38 39 41 42 47 48 52 54 56 57 59 60 65 67 69 75 81 87 88 89 92 95 98 100 104 109 111 112 120 121 129 133 134 135 136 138 139 140 141 148 152 155 159 162 163 166 168 170 172 176 178 180 181 186 190 194 195 202 203 a 7 20 25 26 28 36 37 38 39 41 42 47 48 52 54 56 57 59 60 65 67 69 75 81 87 88 89 92 95 98 100 104 109 111 112 120 121 129 133 134 135 136 138 139 140 141 148 152 155 159 162 163 166 168 170 172 176 178 180 181 186 190 195 197 202 203 a 7 20 25 26 28 36 37 38 39 41 42 47 48 52 54 56 57 59 60 65 67 69 75 81 87 88 89 92 95 98 100 104 109 111 112 120 121 129 133 134 135 136 138 139 140 141 148 152 155 159 162 163 166 168 170 172 176 178 180 181 186 190 194 195 197 203 a 7 25 26 28 36 37 38 39 41 42 47 48 52 54 56 57 59 60 65 67 69 75 81 87 88 89 92 95 98 100 104 109 111 112 120 121 129 133 134 135 136 138 139 140 141 148 152 155 159 162 163 166 168 170 172 176 178 180 181 183 186 190 194 195 197 203 a 7 25 26 28 36 37 38 39 41 42 47 48 52 54 56 57 59 65 67 69 75 81 87 88 89 92 93 95 98 100 104 109 111 112 120 121 129 133 134 135 136 138 139 140 141 148 152 155 159 162 163 166 168 170 172 176 178 180 181 183 186 190 194 195 197 203 a 7 16 25 26 28 36 37 38 39 41 42 47 52 54 56 57 59 65 67 69 75 81 87 88 89 92 93 95 98 100 104 109 111 112 120 121 129 133 134 135 136 138 139 140 141 148 152 155 159 162 163 166 168 170 172 176 178 180 181 183 186 190 194 195 197 203 a 7 16 25 26 28 31 36 37 38 39 41 47 52 54 56 57 59 65 67 69 75 81 87 88 89 92 93 95 98 100 104 109 111 112 120 121 129 133 134 135 136 138 139 140 141 148 152 155 159 162 163 166 168 170 172 176 178 180 181 183 186 190 194 195 197 203 a 7 16 25 26 28 31 36 37 38 39 41 47 52 54 56 57 59 65 67 69 75 81 87 88 89 92 93 95 98 100 104 109 111 112 120 121 129 133 134 136 138 139 140 141 148 152 155 159 162 163 164 166 168 170 172 176 178 180 181 183 186 190 194 195 197 203 a 16 25 26 28 31 36 37 38 39 41 47 52 54 56 57 59 65 67 69 75 81 87 88 89 92 93 95 98 100 104 109 111 112 120 121 129 133 134 136 138 139 140 141 148 152 155 159 162 163 164 166 168 170 172 175 176 178 180 181 183 186 190 194 195 197 203 a 16 25 26 31 36 37 38 39 41 47 52 54 56 57 59 65 67 69 75 81 87 88 89 91 92 93 95 98 100 104 109 111 112 120 121 129 133 134 136 138 139 140 141 148 152 155 159 162 163 164 166 168 170 172 175 176 178 180 181 183 186 190 194 195 197 203 a 16 17 25 26 31 36 37 38 39 41 47 52 54 56 57 59 65 67 69 75 81 87 88 89 91 92 93 95 98 100 104 109 111 112 120 121 129 133 134 136 138 139 140 141 148 152 159 162 163 164 166 168 170 172 175 176 178 180 181 183 186 190 194 195 197 203 a 16 17 25 26 31 36 37 38 39 41 47 52 54 57 59 65 67 69 75 79 81 87 88 89 91 92 93 95 98 100 104 109 111 112 120 121 129 133 134 136 138 139 140 141 148 152 159 162 163 164 166 168 170 172 175 176 178 180 181 183 186 190 194 195 197 203 a 16 17 22 25 26 31 36 37 38 39 41 52 54 57 59 65 67 69 75 79 81 87 88 89 91 92 93 95 98 100 104 109 111 112 120 121 129 133 134 136 138 139 140 141 148 152 159 162 163 164 166 168 170 172 175 176 178 180 181 183 186 190 194 195 197 203 a 16 17 22 25 26 31 34 36 37 38 39 41 52 54 57 59 67 69 75 79 81 87 88 89 91 92 93 95 98 100 104 109 111 112 120 121 129 133 134 136 138 139 140 141 148 152 159 162 163 164 166 168 170 172 175 176 178 180 181 183 186 190 194 195 197 203 a 16 17 22 25 26 31 34 36 37 38 39 41 52 54 57 59 67 69 75 79 81 87 88 89 91 92 93 95 98 100 104 109 111 112 120 121 124 129 133 134 136 138 139 140 141 148 152 159 162 163 164 166 168 172 175 176 178 180 181 183 186 190 194 195 197 203 a 16 17 22 25 26 31 34 36 37 38 39 41 52 54 57 59 66 67 69 75 79 81 87 88 89 91 92 93 95 98 100 104 109 111 112 120 121 124 129 133 134 136 138 139 140 141 152 159 162 163 164 166 168 172 175 176 178 180 181 183 186 190 194 195 197 203 a 16 17 22 25 26 31 34 36 37 38 39 41 52 54 57 59 66 67 69 79 81 87 88 89 91 92 93 95 98 100 104 109 111 112 120 121 124 129 133 134 136 138 139 140 141 152 159 162 163 164 166 168 172 175 176 178 180 181 183 186 190 194 195 196 197 203 a 16 17 22 25 26 31 34 36 37 38 39 52 54 57 59 62 66 67 69 79 81 87 88 89 91 92 93 95 98 100 104 109 111 112 120 121 124 129 133 134 136 138 139 140 141 152 159 162 163 164 166 168 172 175 176 178 180 181 183 186 190 194 195 196 197 203 a 16 17 22 25 26 31 34 36 37 38 39 52 54 57 59 62 66 67 69 79 87 88 89 91 92 93 95 98 100 104 109 111 112 120 121 124 129 133 134 136 138 139 140 141 147 152 159 162 163 164 166 168 172 175 176 178 180 181 183 186 190 194 195 196 197 203 a 15 16 17 22 25 26 31 34 36 37 38 39 52 54 57 59 62 66 67 69 79 87 88 89 91 92 93 95 98 100 104 109 111 112 120 121 124 129 133 134 136 139 140 141 147 152 159 162 163 164 166 168 172 175 176 178 180 181 183 186 190 194 195 196 197 203 a 15 16 17 22 25 26 31 34 36 37 38 39 52 54 57 59 62 66 67 69 79 87 88 89 91 92 93 95 98 100 104 109 111 112 120 121 124 129 133 134 136 139 140 141 147 152 159 162 163 164 166 168 172 175 176 178 180 183 186 190 194 195 196 197 203 208 a 8 15 16 17 22 25 26 31 34 36 37 38 39 52 54 57 59 62 66 67 69 79 87 88 89 91 92 93 95 98 100 104 109 111 112 120 121 124 129 133 134 136 139 140 141 147 152 159 162 163 164 166 168 175 176 178 180 183 186 190 194 195 196 197 203 208 a 8 15 16 17 22 25 26 31 34 36 37 38 39 52 54 57 59 62 66 67 69 79 87 88 89 91 92 93 95 98 100 104 109 112 120 121 123 124 129 133 134 136 139 140 141 147 152 159 162 163 164 166 168 175 176 178 180 183 186 190 194 195 196 197 203 208 a 8 15 16 17 22 25 26 31 34 36 37 38 39 52 54 57 59 62 66 67 69 74 79 87 88 89 91 92 93 95 98 100 104 109 112 120 121 123 124 129 133 134 136 139 141 147 152 159 162 163 164 166 168 175 176 178 180 183 186 190 194 195 196 197 203 208 a 8 15 16 17 22 25 26 31 34 36 37 38 39 46 52 54 57 59 62 66 67 69 74 79 87 88 89 91 92 93 95 98 104 109 112 120 121 123 124 129 133 134 136 139 141 147 152 159 162 163 164 166 168 175 176 178 180 183 186 190 194 195 196 197 203 208 a 8 15 16 17 22 25 26 31 34 36 37 38 39 46 52 54 57 59 62 66 67 69 74 79 87 88 89 91 92 93 95 98 104 109 112 120 121 123 124 129 133 134 136 139 141 147 152 159 162 163 164 166 175 176 178 180 183 185 186 190 194 195 196 197 203 208 a 8 15 16 17 22 25 26 31 34 36 37 39 40 46 52 54 57 59 62 66 67 69 74 79 87 88 89 91 92 93 95 98 104 109 112 120 121 123 124 129 133 134 136 139 141 147 152 159 162 163 164 166 175 176 178 180 183 185 186 190 194 195 196 197 203 208 a 8 15 16 17 22 25 26 31 34 36 37 39 40 46 54 57 59 62 66 67 69 74 79 87 88 89 91 92 93 95 98 104 109 112 120 121 123 124 129 133 134 136 139 141 147 152 157 159 162 163 164 166 175 176 178 180 183 185 186 190 194 195 196 197 203 208 a 8 15 16 17 22 25 26 31 34 36 37 39 40 46 54 57 59 62 66 67 69 74 79 87 88 89 91 92 93 95 98 104 109 112 118 120 121 123 124 129 133 134 136 139 141 147 157 159 162 163 164 166 175 176 178 180 183 185 186 190 194 195 196 197 203 208 a 8 15 16 17 22 25 26 31 34 36 37 39 40 46 54 57 59 62 66 67 69 74 79 87 88 89 91 92 93 95 98 104 109 112 116 118 120 121 123 124 129 133 134 139 141 147 157 159 162 163 164 166 175 176 178 180 183 185 186 190 194 195 196 197 203 208 a 8 15 16 17 22 25 26 31 34 36 37 39 40 46 49 54 57 59 62 66 67 69 74 79 87 88 89 91 92 93 95 98 104 109 112 116 118 120 121 123 124 129 133 139 141 147 157 159 162 163 164 166 175 176 178 180 183 185 186 190 194 195 196 197 203 208 a 4 8 15 16 17 22 26 31 34 36 37 39 40 46 49 54 57 59 62 66 67 69 74 79 87 88 89 91 92 93 95 98 104 109 112 116 118 120 121 123 124 129 133 139 141 147 157 159 162 163 164 166 175 176 178 180 183 185 186 190 194 195 196 197 203 208 a 4 8 15 16 17 22 26 31 34 36 37 39 40 46 49 54 57 59 62 66 67 69 74 79 87 88 89 91 92 93 94 95 98 104 109 112 116 118 120 121 123 124 129 133 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 22 26 31 34 36 37 39 40 46 49 54 57 59 62 66 67 69 74 79 87 88 89 91 92 93 94 95 98 104 109 116 118 120 121 123 124 129 133 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 22 26 31 34 36 37 39 40 46 49 54 57 59 62 66 67 69 74 79 87 88 89 91 92 93 94 95 104 109 116 118 120 121 123 124 129 132 133 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 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 133 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 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 133 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 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: 172 #END: [Mon Sep 4 18:10:15 2023]