#BEGIN: [Tue Sep 5 01:31:38 2023] #HOST: s05 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-wallclock-banbaralab-longest1 #INSTANCE1: /benchmark/random_instance/random_instance016_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance016_graph005_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance016_graph005.col /benchmark/random_instance/random_instance016_graph005_01.dat c /benchmark/random_instance/random_instance016_graph005.col c /benchmark/random_instance/random_instance016_graph005_01.dat TIMEOUT 1800 c send SIGTERM to CID 0a001c9e943e94feae7095b96177f5572d854435974f2a8a42ee9fd07761c2aa s 66 4 205 62 156 36 116 35 75 104 99 158 152 78 198 11 145 91 97 120 2 71 194 42 203 50 168 139 161 34 13 180 187 46 133 166 135 33 94 174 84 140 192 5 160 10 181 90 28 40 165 98 55 108 23 184 102 147 77 131 127 26 186 101 162 54 193 150 129 188 115 196 t 46 200 70 171 192 19 62 5 52 122 137 177 48 25 110 4 135 44 134 194 43 120 147 170 92 114 51 99 58 208 55 60 169 189 100 138 37 32 108 121 89 91 191 183 142 42 56 11 6 196 145 139 64 129 69 3 166 109 186 88 118 175 102 98 57 53 31 181 72 184 36 123 a YES a 2 4 5 10 11 13 23 26 28 33 34 35 36 40 42 46 50 54 55 62 66 71 75 77 78 84 90 91 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 192 193 194 196 198 203 205 a 2 4 5 10 11 13 23 25 26 28 33 35 36 40 42 46 50 54 55 62 66 71 75 77 78 84 90 91 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 192 193 194 196 198 203 205 a 2 4 5 10 11 13 23 25 26 28 33 35 36 40 41 42 46 50 54 55 62 66 71 75 77 78 84 90 91 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 198 203 205 a 2 4 5 10 11 13 23 26 28 33 34 35 36 40 41 42 46 50 54 55 62 66 71 75 77 78 84 90 91 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 198 203 205 a 2 4 5 10 11 13 23 26 28 33 34 35 36 40 41 42 46 50 54 55 62 66 71 72 75 77 78 84 90 91 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 139 140 145 147 150 152 156 158 160 162 165 166 168 174 180 181 184 186 187 188 193 194 196 198 203 205 a 2 4 5 10 11 13 23 26 28 33 34 35 36 40 41 42 46 50 54 55 62 66 71 72 75 77 78 84 90 91 94 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 138 139 140 145 147 150 152 156 158 160 162 165 166 168 174 180 181 184 186 187 188 193 194 196 203 205 a 2 5 10 11 13 23 26 28 33 34 35 36 40 41 42 46 50 54 55 62 66 71 72 75 77 78 84 90 91 94 95 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 138 139 140 145 147 150 152 156 158 160 162 165 166 168 174 180 181 184 186 187 188 193 194 196 203 205 a 2 5 10 11 13 23 25 26 28 33 35 36 40 41 42 46 50 54 55 62 66 71 72 75 77 78 84 90 91 94 95 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 138 139 140 145 147 150 152 156 158 160 162 165 166 168 174 180 181 184 186 187 188 193 194 196 203 205 a 2 5 10 11 13 23 25 26 28 33 35 36 40 41 42 46 50 54 55 62 66 71 75 77 78 84 90 91 94 95 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 138 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 193 194 196 203 205 a 2 5 10 11 13 23 25 26 28 33 35 36 40 42 46 50 54 55 62 66 71 75 77 78 84 90 91 94 95 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 138 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 186 187 188 192 193 194 196 203 205 a 2 5 10 11 13 23 25 26 28 33 35 36 40 42 46 50 54 55 62 66 71 75 77 84 90 91 94 95 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 138 139 140 145 147 150 152 156 158 160 161 162 165 166 168 174 180 181 184 185 186 187 188 192 193 194 196 203 205 a 2 5 10 11 13 23 25 26 28 33 35 36 40 42 46 50 54 55 62 66 71 75 77 84 87 90 91 94 95 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 138 139 140 145 147 150 152 156 158 160 161 162 165 166 174 180 181 184 185 186 187 188 192 193 194 196 203 205 a 2 5 10 11 13 22 23 25 26 28 33 35 36 40 42 46 50 54 55 62 66 71 75 77 84 87 90 91 94 95 98 99 101 102 104 108 115 116 120 127 129 131 133 135 138 139 140 145 147 150 152 156 158 160 161 162 165 166 174 180 181 184 185 186 187 188 192 193 194 196 203 205 a 2 5 10 11 13 22 23 25 26 28 33 35 36 40 42 46 50 54 55 62 66 71 75 77 84 87 90 91 94 95 98 99 101 102 104 108 115 116 120 127 129 131 133 135 138 139 140 145 147 149 150 152 156 158 160 161 162 165 166 174 180 181 184 185 186 187 188 192 193 194 196 205 a 2 5 10 11 13 23 25 26 28 33 35 36 40 42 46 50 54 55 62 66 71 75 77 84 87 90 91 94 95 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 138 139 140 145 147 149 150 152 156 158 160 161 162 165 166 174 180 181 184 185 186 187 188 192 193 194 196 205 a 2 5 10 13 23 25 26 28 33 35 36 40 42 46 50 54 55 62 65 66 71 75 77 84 87 90 91 94 95 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 138 139 140 145 147 149 150 152 156 158 160 161 162 165 166 174 180 181 184 185 186 187 188 192 193 194 196 205 a 2 5 10 13 23 25 26 28 33 35 36 40 42 46 50 54 55 62 65 66 71 72 75 77 84 87 90 91 94 95 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 138 139 140 145 147 149 150 152 156 158 160 162 165 166 174 180 181 184 185 186 187 188 192 193 194 196 205 a 2 5 10 13 23 25 26 28 33 35 36 40 42 46 50 54 55 62 65 66 71 72 75 77 78 84 87 90 91 94 95 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 138 139 140 145 147 149 150 152 156 158 160 162 165 166 174 180 181 184 186 187 188 192 193 194 196 205 a 2 5 10 13 23 25 26 28 33 35 36 40 42 46 50 54 55 62 65 66 71 72 75 77 78 84 87 90 91 94 95 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 138 139 140 142 145 147 149 150 152 156 158 160 162 165 166 174 180 181 184 186 187 188 192 193 194 205 a 2 5 10 13 23 25 26 28 32 33 35 36 40 42 46 50 54 55 62 65 66 71 72 75 77 78 84 87 90 91 95 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 138 139 140 142 145 147 149 150 152 156 158 160 162 165 166 174 180 181 184 186 187 188 192 193 194 205 a 2 10 13 14 23 25 26 28 32 33 35 36 40 42 46 50 54 55 62 65 66 71 72 75 77 78 84 87 90 91 95 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 138 139 140 142 145 147 149 150 152 156 158 160 162 165 166 174 180 181 184 186 187 188 192 193 194 205 a 2 4 10 13 14 23 25 26 28 32 35 36 40 42 46 50 54 55 62 65 66 71 72 75 77 78 84 87 90 91 95 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 138 139 140 142 145 147 149 150 152 156 158 160 162 165 166 174 180 181 184 186 187 188 192 193 194 205 a 4 10 13 14 23 25 26 28 32 33 35 36 40 42 46 50 54 55 62 65 66 71 72 75 77 78 84 87 90 91 95 97 98 99 101 102 104 108 115 116 120 127 129 131 133 135 138 139 140 142 145 147 149 150 152 156 158 160 162 165 166 174 180 181 184 186 187 188 192 193 194 205 a 4 10 13 14 23 25 26 28 32 33 35 36 40 42 46 50 54 55 62 65 66 71 72 75 77 78 84 87 90 91 95 97 98 99 101 102 108 115 116 120 127 129 131 133 135 138 139 140 142 145 147 149 150 152 156 158 160 162 165 166 174 176 180 181 184 186 187 188 192 193 194 205 a 4 10 13 14 23 25 26 28 32 33 35 36 40 42 46 50 54 55 62 65 66 71 72 75 77 84 87 90 91 95 97 98 99 101 102 108 115 116 120 127 129 131 133 135 138 139 140 142 145 147 149 150 152 156 158 160 162 165 166 174 176 180 181 184 185 186 187 188 192 193 194 205 a 4 10 13 14 23 25 26 28 32 33 35 36 40 42 46 54 55 62 65 66 71 72 75 77 84 87 90 91 95 97 98 99 101 102 108 115 116 120 127 129 131 133 135 137 138 139 140 142 145 147 149 150 152 156 158 160 162 165 166 174 176 180 181 184 185 186 187 188 192 193 194 205 a 4 10 13 14 23 25 26 28 32 33 35 36 40 42 46 54 55 62 65 66 71 72 75 84 87 90 91 95 97 98 99 101 102 108 115 116 120 127 129 131 133 135 137 138 139 140 142 145 147 149 150 152 156 158 160 162 165 166 174 176 180 181 184 185 186 187 188 192 193 194 199 205 a 10 13 14 23 25 26 28 32 33 35 36 40 42 46 54 55 62 65 66 71 72 75 84 87 90 91 95 97 98 99 101 102 108 115 116 120 127 129 131 133 135 137 138 139 140 142 145 147 149 150 152 156 158 160 162 165 166 174 176 180 181 184 185 186 187 188 192 193 194 199 203 205 a 10 13 14 23 25 26 28 32 33 35 36 40 42 46 54 55 62 65 66 71 72 75 78 84 87 90 91 95 97 98 99 101 102 108 115 116 120 127 129 131 133 135 137 138 139 140 142 145 147 149 150 152 156 158 160 162 165 166 174 176 180 181 184 186 187 188 192 193 194 199 203 205 a 10 13 14 17 23 25 26 28 32 33 35 36 40 42 46 54 55 62 65 66 71 72 75 78 84 87 90 91 95 97 99 101 102 108 115 116 120 127 129 131 133 135 137 138 139 140 142 145 147 149 150 152 156 158 160 162 165 166 174 176 180 181 184 186 187 188 192 193 194 199 203 205 a 10 13 14 17 23 25 26 28 32 33 35 36 40 42 46 54 55 62 65 66 71 75 78 84 87 90 91 95 97 99 101 102 108 115 116 120 127 129 131 133 135 137 138 139 140 142 145 147 149 150 152 156 158 160 161 162 165 166 174 176 180 181 184 186 187 188 192 193 194 199 203 205 a 4 10 13 14 17 23 26 28 32 33 35 36 40 42 46 54 55 62 65 66 71 75 78 84 87 90 91 95 97 99 101 102 108 115 116 120 127 129 131 133 135 137 138 139 140 142 145 147 149 150 152 156 158 160 161 162 165 166 174 176 180 181 184 186 187 188 192 193 194 199 203 205 a 4 10 13 14 17 23 26 28 32 33 35 36 40 42 46 54 55 62 65 66 71 75 77 78 84 87 90 91 95 97 99 101 102 108 115 116 120 127 129 131 133 135 137 138 139 140 142 145 147 149 150 152 156 158 160 161 162 165 166 174 176 180 181 184 186 187 188 192 193 194 203 205 a 4 10 13 14 17 23 25 26 28 32 33 35 36 40 42 46 54 55 62 65 66 71 75 77 78 84 87 90 91 95 97 99 101 102 108 115 116 120 127 129 131 133 135 137 138 139 140 142 145 147 149 150 152 156 158 160 161 162 165 166 174 176 180 181 184 186 187 188 192 193 194 203 a 4 10 13 14 17 23 25 26 28 32 33 35 36 40 42 46 54 55 62 65 66 71 75 77 78 84 87 90 91 95 97 99 101 102 108 115 116 120 127 129 131 133 135 137 138 139 140 142 145 147 149 150 152 156 158 160 161 162 165 166 172 176 180 181 184 186 187 188 192 193 194 203 a 4 10 13 14 17 23 25 26 28 32 33 35 36 40 41 42 46 54 55 62 65 66 71 75 77 78 84 87 90 91 95 97 99 101 102 108 115 116 120 127 129 131 133 135 137 138 139 140 142 145 147 149 150 152 156 158 160 161 162 165 166 172 176 180 181 184 186 187 188 193 194 203 a 4 10 13 17 23 25 26 28 32 33 35 36 40 41 42 46 54 55 62 64 65 66 71 75 77 78 84 87 90 91 95 97 99 101 102 108 115 116 120 127 129 131 133 135 137 138 139 140 142 145 147 149 150 152 156 158 160 161 162 165 166 172 176 180 181 184 186 187 188 193 194 203 a 4 10 11 13 17 23 25 26 28 32 33 35 36 40 41 42 46 54 55 62 64 66 71 75 77 78 84 87 90 91 95 97 99 101 102 108 115 116 120 127 129 131 133 135 137 138 139 140 142 145 147 149 150 152 156 158 160 161 162 165 166 172 176 180 181 184 186 187 188 193 194 203 a 4 10 11 13 17 23 25 26 28 32 33 35 36 40 41 42 46 54 55 62 64 66 71 75 77 84 87 90 91 95 97 99 101 102 108 115 116 118 120 127 129 131 133 135 137 138 139 140 142 145 147 149 150 152 156 158 160 161 162 165 166 172 176 180 181 184 186 187 188 193 194 203 a 4 10 11 13 17 23 25 26 28 32 33 35 36 40 41 42 46 54 55 62 64 66 71 75 77 84 87 90 91 95 97 99 101 102 108 115 116 118 120 127 129 131 133 135 137 138 139 140 142 145 147 149 150 152 156 158 160 161 162 165 172 176 180 181 184 186 187 188 193 194 196 203 a 4 5 10 11 13 17 23 25 26 28 32 33 35 36 40 41 42 46 54 55 62 64 66 71 75 77 84 87 90 91 95 97 99 101 102 108 115 116 118 120 127 129 131 133 135 137 138 139 140 142 145 147 149 150 152 156 158 160 161 162 165 172 176 180 181 184 186 187 188 193 194 196 a 5 10 11 13 17 23 25 26 28 32 33 35 36 40 41 42 46 54 55 62 64 66 71 75 77 84 87 90 91 95 97 99 101 102 108 115 116 118 120 127 129 131 133 135 137 138 139 140 142 145 147 149 150 152 156 158 160 161 162 165 166 172 176 180 181 184 186 187 188 193 194 196 a 5 10 11 13 17 23 25 26 28 32 33 35 36 40 41 42 46 54 55 62 64 66 71 75 77 84 87 90 91 95 97 99 101 102 108 115 116 118 120 127 129 131 133 135 137 138 139 140 142 145 147 149 150 152 156 158 160 161 165 166 172 176 180 181 184 185 186 187 188 193 194 196 a 2 5 10 11 13 17 23 25 26 28 32 33 35 36 40 41 42 46 54 55 62 64 66 71 75 77 84 87 90 91 95 97 99 101 102 108 115 116 118 120 127 129 131 133 135 137 138 139 140 142 145 147 149 150 152 158 160 161 165 166 172 176 180 181 184 185 186 187 188 193 194 196 a 2 5 10 11 13 17 23 25 26 28 32 33 35 36 40 41 42 46 54 55 62 64 66 71 75 77 84 87 90 91 95 97 99 101 102 108 115 116 118 120 127 129 131 133 135 137 138 139 140 142 145 149 150 152 156 158 160 161 165 166 172 176 180 181 184 185 186 187 188 193 194 196 a 2 5 10 11 17 23 25 26 28 32 33 35 36 40 41 42 46 54 55 62 64 66 71 75 77 84 87 90 91 95 97 99 101 102 108 115 116 118 120 123 127 129 131 133 135 137 138 139 140 142 145 149 150 152 156 158 160 161 165 166 172 176 180 181 184 185 186 187 188 193 194 196 a 2 5 11 17 23 25 26 28 32 33 35 36 40 41 42 46 54 55 62 64 66 71 75 77 84 87 90 91 95 97 99 101 102 108 115 116 118 120 123 127 129 131 133 135 137 138 139 140 142 145 147 149 150 152 156 158 160 161 165 166 172 176 180 181 184 185 186 187 188 193 194 196 a 5 11 17 23 25 26 28 32 33 35 36 40 41 42 46 54 55 62 64 66 71 75 77 84 87 90 91 95 97 99 101 102 108 115 116 118 120 123 127 129 131 133 135 137 138 139 140 142 145 147 149 150 152 156 158 160 161 162 165 166 172 176 180 181 184 185 186 187 188 193 194 196 a 11 17 23 25 26 28 32 33 35 36 40 41 42 46 54 55 62 64 66 71 75 77 84 87 90 91 95 97 99 101 102 108 115 116 118 120 123 127 129 131 133 135 137 138 139 140 142 145 147 149 150 152 156 158 160 161 162 165 166 172 176 180 181 184 185 186 187 188 193 194 196 203 a 11 17 25 26 28 32 33 35 36 40 41 42 46 54 55 62 64 66 71 75 77 84 87 90 91 95 97 99 101 102 108 115 116 118 120 123 127 129 131 133 135 137 138 139 140 142 145 147 149 150 152 156 158 160 161 162 165 166 172 176 178 180 181 184 185 186 187 188 193 194 196 203 a 11 17 25 26 28 32 33 35 36 40 41 42 46 50 54 55 62 64 66 71 75 77 84 87 90 91 95 97 99 101 102 108 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 150 152 156 158 160 161 162 165 166 172 176 178 180 181 184 185 186 187 188 193 194 196 203 a 17 25 26 28 32 33 35 36 40 41 42 46 50 54 55 62 64 65 66 71 75 77 84 87 90 91 95 97 99 101 102 108 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 150 152 156 158 160 161 162 165 166 172 176 178 180 181 184 185 186 187 188 193 194 196 203 a 5 17 25 26 28 32 33 35 36 40 41 42 46 50 54 55 62 64 65 66 71 75 77 84 87 90 91 95 97 99 101 102 108 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 150 152 156 158 160 161 162 165 166 172 176 178 180 181 184 185 186 187 188 193 196 203 a 17 25 26 28 32 33 35 36 40 41 42 46 50 54 55 62 64 65 66 69 71 75 77 84 87 90 91 95 97 99 101 102 108 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 150 152 156 158 160 161 162 165 166 172 176 178 180 181 184 185 186 187 188 193 196 203 a 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 55 62 64 65 66 69 71 75 77 84 87 90 91 95 97 99 101 102 108 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 150 152 156 158 160 161 162 165 166 172 176 178 180 184 185 186 187 188 193 196 203 a 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 55 56 62 64 65 66 69 71 75 77 84 87 90 91 95 97 99 101 102 108 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 150 152 156 158 160 161 162 165 166 172 176 178 180 184 185 186 188 193 196 203 a 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 55 56 62 64 65 66 69 71 75 77 84 87 90 91 95 97 99 101 102 108 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 150 152 156 158 160 161 162 165 166 172 176 178 180 184 185 186 188 193 194 196 a 5 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 55 56 62 64 65 66 69 71 75 77 84 87 90 91 95 97 99 101 102 108 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 150 152 156 158 161 162 165 166 172 176 178 180 184 185 186 188 193 194 196 a 5 10 17 25 26 28 32 33 36 40 41 42 46 47 50 54 55 56 62 64 65 66 69 71 75 77 84 87 90 91 95 97 99 101 102 108 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 150 152 156 158 161 162 165 166 172 176 178 180 184 185 186 188 193 194 196 a 5 10 17 25 26 28 32 33 36 40 41 42 46 47 50 54 55 56 62 64 65 66 69 71 75 77 84 87 90 91 95 97 99 101 102 108 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 150 152 156 158 161 162 165 166 172 176 178 180 184 185 186 188 193 194 205 a 5 10 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 55 56 62 64 65 66 69 75 77 84 87 90 91 95 97 99 101 102 108 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 150 152 156 158 161 162 165 166 172 176 178 180 184 185 186 188 193 194 205 a 5 10 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 56 62 64 65 66 69 71 75 77 84 87 90 91 95 97 99 101 102 108 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 150 152 156 158 161 162 165 166 172 176 178 180 184 185 186 188 193 194 205 a 5 10 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 56 62 64 65 66 69 71 75 77 84 87 90 91 95 97 99 101 102 108 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 150 152 156 158 160 161 162 165 166 172 176 178 180 184 185 186 188 193 205 a 5 10 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 56 62 64 65 66 69 71 75 77 84 87 90 91 95 97 99 101 102 108 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 150 152 156 158 160 161 162 165 172 176 178 180 184 185 186 188 193 194 205 a 5 10 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 56 62 64 65 66 69 71 75 77 84 87 90 91 95 97 99 101 102 108 115 116 118 120 123 127 131 133 135 138 139 140 142 145 147 149 150 152 156 158 160 161 162 165 166 172 176 178 180 184 185 186 188 193 194 205 a 5 10 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 56 62 64 65 66 69 71 75 77 84 87 90 91 95 97 99 101 102 108 115 116 120 123 127 131 133 135 138 139 140 142 145 147 149 150 152 156 158 160 161 162 165 166 172 176 178 180 184 185 186 188 193 194 201 205 a 5 10 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 56 62 64 65 66 69 71 75 77 84 87 90 91 95 97 99 101 102 108 110 115 116 120 123 127 131 133 135 138 139 140 142 145 147 149 152 156 158 160 161 162 165 166 172 176 178 180 184 185 186 188 193 194 201 205 a 5 10 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 56 62 64 65 66 69 71 75 77 84 87 90 91 95 97 99 101 102 108 110 115 116 118 120 123 127 131 133 135 138 139 140 142 145 147 149 152 156 158 160 161 162 165 166 172 176 178 180 184 185 186 188 193 194 205 a 5 10 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 56 62 64 65 66 69 71 75 77 84 87 90 91 95 97 99 101 102 108 110 115 116 118 120 121 123 127 131 133 135 138 139 140 142 145 147 149 152 156 158 160 161 162 165 166 172 176 178 184 185 186 188 193 194 205 a 5 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 56 62 63 64 65 66 69 71 75 77 84 87 90 91 95 97 99 101 102 108 110 115 116 118 120 121 123 127 131 133 135 138 139 140 142 145 147 149 152 156 158 160 161 162 165 166 172 176 178 184 185 186 188 193 194 205 a 5 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 55 56 62 63 64 65 66 69 71 75 77 84 87 90 91 95 97 99 101 102 108 110 115 116 118 120 121 123 127 131 133 135 138 139 140 142 145 147 149 152 156 158 160 161 162 165 166 172 176 178 184 185 186 188 193 194 a 5 17 26 28 32 33 35 36 40 41 42 46 47 50 54 55 56 62 63 64 65 66 69 71 75 77 84 87 90 91 95 97 99 101 102 108 110 115 116 118 120 121 123 127 129 131 133 135 138 139 140 142 145 147 149 152 156 158 160 161 162 165 166 172 176 178 184 185 186 188 193 194 a 5 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 55 56 62 63 64 65 66 69 71 75 77 84 87 90 91 95 97 99 101 102 108 110 115 116 118 120 121 123 127 129 131 133 135 138 139 140 142 145 147 149 152 156 158 160 161 162 165 166 172 176 178 184 185 186 188 193 a 5 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 55 56 62 63 64 65 66 69 71 75 77 84 87 90 91 95 97 99 101 102 108 110 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 152 156 158 160 161 162 165 166 172 176 178 180 184 185 186 188 193 a 5 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 55 56 62 63 64 65 66 69 71 75 77 84 87 90 91 95 97 99 101 102 108 110 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 152 156 158 160 161 162 166 172 176 178 180 184 185 186 188 193 194 a 4 5 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 55 56 62 63 64 65 66 69 71 75 77 84 87 90 91 95 97 99 101 102 108 110 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 152 156 158 160 161 162 166 172 176 178 180 184 185 186 188 194 a 4 5 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 55 56 62 63 64 65 69 71 75 77 82 84 87 90 91 95 97 99 101 102 108 110 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 152 156 158 160 161 162 166 172 176 178 180 184 185 186 188 194 a 4 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 55 56 62 63 64 65 69 71 75 77 82 84 87 90 91 95 97 99 101 102 108 110 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 152 156 158 160 161 162 166 172 176 178 180 184 185 186 188 194 205 a 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 55 56 62 63 64 65 66 69 71 75 77 82 84 87 90 91 95 97 99 101 102 108 110 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 152 156 158 160 161 162 166 172 176 178 180 184 185 186 188 194 205 a 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 55 56 62 63 64 65 66 69 71 75 77 82 84 87 90 91 95 97 99 101 102 108 110 115 116 118 120 123 127 129 131 133 135 138 139 140 142 147 149 152 156 158 160 161 162 165 166 172 176 178 180 184 185 186 188 194 205 a 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 55 56 62 63 64 65 66 69 71 75 77 82 84 87 90 91 95 97 99 101 102 108 110 115 116 118 120 123 127 129 131 133 135 138 139 140 142 147 149 152 156 158 160 162 165 166 172 176 178 180 184 185 186 188 193 194 205 a 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 55 56 62 63 64 65 66 69 71 75 77 82 84 87 90 91 95 97 99 101 102 108 110 115 116 118 120 123 127 129 131 133 135 138 139 140 142 147 149 152 156 158 160 161 162 165 166 172 176 178 180 184 185 186 193 194 205 a 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 55 56 62 63 64 65 66 69 71 75 77 82 84 90 91 92 95 97 99 101 102 108 110 115 116 118 120 123 127 129 131 133 135 138 139 140 142 147 149 152 156 158 160 161 162 165 166 172 176 178 180 184 185 186 193 194 205 a 17 25 26 28 32 33 35 36 40 41 42 46 47 48 50 54 55 56 62 63 64 65 66 69 71 75 77 82 84 90 91 92 95 97 99 101 102 108 110 115 116 118 120 123 127 129 131 133 135 138 139 140 142 147 149 156 158 160 161 162 165 166 172 176 178 180 184 185 186 193 194 205 a 17 25 26 28 32 33 35 36 40 41 42 46 47 48 50 54 55 62 63 64 65 66 69 71 75 77 82 84 90 91 92 95 97 99 101 102 108 110 115 116 118 120 123 127 129 131 133 135 138 139 140 142 147 149 156 158 160 161 162 165 166 172 176 178 180 184 185 186 187 193 194 205 a 17 25 26 28 32 33 35 40 41 42 46 47 48 50 54 55 62 63 64 65 66 69 71 75 77 82 84 90 91 92 95 97 99 101 102 108 110 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 156 158 160 161 162 165 166 172 176 178 180 184 185 186 187 193 194 205 a 17 25 26 28 32 33 35 36 40 41 42 46 47 48 50 54 55 62 63 64 65 66 69 71 75 77 82 84 90 91 92 95 97 99 101 102 108 110 115 116 118 120 123 127 129 131 133 138 139 140 142 145 147 149 156 158 160 161 162 165 166 172 176 178 180 184 185 186 187 193 194 205 a 4 17 25 26 28 32 33 35 36 40 41 42 46 47 48 50 54 55 62 63 64 65 66 69 71 75 77 82 84 90 91 92 95 97 99 101 102 108 110 115 116 118 120 123 127 129 131 133 138 139 140 142 145 147 149 156 158 160 161 162 165 166 172 176 178 180 184 185 187 193 194 205 a 4 17 25 26 28 32 33 35 36 40 41 42 46 47 48 50 54 55 62 63 64 65 66 69 71 75 77 82 84 90 92 95 97 99 101 102 108 110 115 116 118 120 123 127 129 131 133 138 139 140 142 145 147 149 156 158 160 161 162 165 166 172 176 178 180 184 185 187 193 194 196 205 a 4 17 25 26 32 33 35 36 40 41 42 46 47 48 50 54 55 62 63 64 65 66 69 71 75 77 82 84 90 92 95 97 99 101 102 108 110 115 116 118 120 123 127 129 131 133 138 139 140 142 145 147 149 156 158 160 161 162 165 166 172 176 178 180 184 185 187 188 193 194 196 205 a 4 9 17 25 26 32 33 35 36 40 41 42 46 47 48 50 54 55 62 63 64 65 66 69 71 75 77 82 84 90 92 95 97 99 101 102 108 110 115 116 118 120 123 127 129 131 133 138 139 140 142 145 147 149 156 160 161 162 165 166 172 176 178 180 184 185 187 188 193 194 196 205 a 4 9 17 25 26 28 32 35 36 40 41 42 46 47 48 50 54 55 62 63 64 65 66 69 71 75 77 82 84 90 92 95 97 99 101 102 108 110 115 116 118 120 123 127 129 131 133 138 139 140 142 145 147 149 156 160 161 162 165 166 172 176 178 180 184 185 187 188 193 194 196 205 a 4 9 25 26 28 32 35 36 40 41 42 46 47 48 50 54 55 62 63 64 65 66 69 71 75 77 82 84 90 92 95 97 99 101 102 108 110 115 116 118 120 123 127 129 131 133 138 139 140 142 145 147 149 156 160 161 162 165 166 172 176 178 180 184 185 186 187 188 193 194 196 205 a 4 9 25 26 28 32 35 36 40 41 42 46 47 48 50 54 55 62 63 64 65 66 69 71 75 77 82 84 90 92 95 97 99 101 102 108 110 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 156 160 161 162 165 166 172 176 178 180 184 185 186 187 188 193 194 196 205 a 4 9 25 26 28 32 35 36 40 41 42 46 47 50 54 55 62 63 64 65 66 69 71 75 77 82 84 90 92 95 97 99 101 102 108 110 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 152 156 160 161 162 165 166 172 176 178 180 184 185 186 187 188 193 194 196 205 a 4 9 25 26 28 32 35 36 40 41 42 46 47 50 54 55 62 63 64 65 66 69 71 75 77 82 84 90 92 95 97 99 101 102 108 110 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 152 156 160 161 162 165 166 172 176 178 180 184 185 186 188 193 194 196 205 a 4 9 25 26 28 32 35 40 41 42 46 47 50 54 55 62 63 64 65 66 69 71 75 77 82 84 90 91 92 95 97 99 101 102 108 110 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 152 156 160 161 162 165 166 172 176 178 180 184 185 186 188 193 194 196 205 a 4 9 25 26 28 32 33 35 40 41 42 46 47 50 54 55 62 63 64 65 66 69 71 75 77 82 84 90 91 92 95 97 99 101 102 108 110 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 152 156 160 161 162 165 166 172 176 178 180 184 185 186 188 193 196 205 a 4 9 17 25 26 28 32 33 35 40 41 42 46 47 50 54 55 62 63 64 65 66 69 71 75 77 82 84 90 92 95 97 99 101 102 108 110 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 152 156 160 161 162 165 166 172 176 178 180 184 185 186 188 193 196 205 a 4 9 17 25 26 28 32 33 35 40 41 42 46 47 50 54 55 62 63 64 65 66 69 71 75 77 82 84 87 90 95 97 99 101 102 108 110 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 152 156 160 161 162 165 166 172 176 178 180 184 185 186 188 193 196 205 a 4 9 10 17 25 26 28 32 33 35 40 41 42 46 47 50 54 55 62 64 65 66 69 71 75 77 82 84 87 90 95 97 99 101 102 108 110 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 152 156 160 161 162 165 166 172 176 178 180 184 185 186 188 193 196 205 a 4 9 10 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 55 62 64 65 66 69 71 75 77 82 84 87 95 97 99 101 102 108 110 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 152 156 160 161 162 165 166 172 176 178 180 184 185 186 188 193 196 205 a 4 9 10 17 25 26 32 33 35 36 40 41 42 46 47 50 54 55 62 64 65 66 69 71 75 77 82 84 87 90 95 97 99 101 102 108 110 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 152 156 160 161 162 165 166 172 176 178 180 184 185 186 188 193 196 205 a 4 9 10 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 62 64 65 66 69 71 75 77 82 84 87 90 95 97 99 101 102 108 110 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 152 156 160 161 162 165 166 172 176 178 180 184 185 186 188 193 196 205 a 4 9 10 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 62 64 65 66 69 71 75 77 82 84 87 90 95 97 99 101 102 108 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 150 152 156 160 161 162 165 166 172 176 178 180 184 185 186 188 193 196 205 a 4 9 10 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 62 64 65 66 69 71 75 77 82 84 87 90 95 97 99 101 102 108 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 150 152 156 160 161 162 165 166 172 176 178 180 184 185 186 187 188 193 205 a 4 9 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 62 63 64 65 66 69 71 75 77 82 84 87 90 95 97 99 101 102 108 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 150 152 156 160 161 162 165 166 172 176 178 180 184 185 186 187 188 193 205 a 4 9 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 62 63 64 65 66 69 71 75 77 82 84 87 90 95 97 99 101 102 108 115 116 118 120 123 127 131 133 135 138 139 140 142 145 147 149 150 152 156 160 161 162 165 166 172 176 178 180 184 185 186 187 188 193 196 205 a 4 9 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 62 63 64 65 66 69 71 75 77 82 84 87 90 95 97 99 101 102 108 115 116 118 120 123 127 131 133 135 138 139 140 142 145 147 149 150 152 156 160 161 162 165 166 172 176 178 180 184 185 186 187 188 193 194 205 a 4 9 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 62 63 64 65 66 69 71 75 77 82 84 87 90 91 95 97 99 101 102 108 115 116 118 120 123 127 131 133 135 138 139 140 142 145 147 149 150 152 156 160 161 162 165 166 172 176 178 180 184 185 186 187 188 193 205 a 4 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 62 63 64 65 66 69 71 75 77 82 84 87 90 91 95 97 99 101 102 108 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 150 152 156 160 161 162 165 166 172 176 178 180 184 185 186 187 188 193 205 a 4 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 55 62 63 64 65 66 69 71 75 77 82 84 87 90 91 95 97 99 101 102 108 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 150 152 156 160 161 162 165 166 172 176 178 180 184 185 186 187 188 193 a 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 55 62 63 64 65 66 69 71 75 77 82 84 87 90 91 95 97 99 101 102 108 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 150 152 156 158 160 161 162 165 166 172 176 178 180 184 185 186 187 188 193 a 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 55 62 63 64 65 66 69 71 75 77 82 84 87 90 91 95 97 99 101 102 104 108 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 150 152 156 158 160 161 162 165 166 172 178 180 184 185 186 187 188 193 a 4 17 25 26 28 32 35 36 40 41 42 46 47 50 54 55 62 63 64 65 66 69 71 75 77 82 84 87 90 91 95 97 99 101 102 104 108 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 150 152 156 158 160 161 162 165 166 172 178 180 184 185 186 187 188 193 a 4 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 55 62 63 64 65 66 69 71 75 77 82 84 87 90 91 95 97 99 101 102 104 108 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 150 152 156 158 160 161 162 165 166 172 178 180 184 185 186 187 188 a 4 25 26 28 32 33 35 36 40 41 42 46 47 50 54 55 62 63 64 65 66 69 71 75 77 82 84 87 90 91 95 97 99 101 102 104 108 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 150 152 156 158 160 161 162 165 166 172 178 180 184 185 186 187 188 196 a 4 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 55 62 63 64 65 66 69 71 75 77 82 84 87 90 91 95 97 99 101 102 104 108 115 116 118 120 123 127 129 131 133 135 138 139 140 142 145 147 149 150 152 156 158 160 161 162 165 166 172 180 184 185 186 187 188 196 a 4 17 25 26 28 32 33 35 36 40 41 42 46 47 50 54 55 62 63 64 65 66 69 71 75 77 82 84 87 90 91 95 97 99 101 102 104 108 115 116 118 120 121 123 127 129 131 133 135 138 139 140 142 145 147 149 150 152 156 158 160 161 162 165 166 172 184 185 186 187 188 196 a 4 17 25 26 32 33 35 36 40 41 42 46 47 50 54 55 58 62 63 64 65 66 69 71 75 77 82 84 87 90 91 95 97 99 101 102 104 108 115 116 118 120 121 123 127 129 131 133 135 138 139 140 142 145 147 149 150 152 156 158 160 161 162 165 166 172 184 185 186 187 188 196 a 4 17 25 26 32 33 35 36 40 41 42 46 47 50 54 55 58 62 63 64 65 66 69 71 75 77 82 84 87 90 91 95 97 99 101 102 104 108 115 116 118 120 121 123 127 129 131 133 134 135 138 139 140 142 145 147 149 150 156 158 160 161 162 165 166 172 184 185 186 187 188 196 a 4 17 25 26 32 33 35 36 40 41 42 46 47 50 54 55 58 62 63 64 65 66 69 71 75 77 82 84 87 90 91 95 97 99 101 102 104 108 110 115 116 118 120 121 123 127 129 131 133 134 135 138 139 140 142 145 147 149 156 158 160 161 162 165 166 172 184 185 186 187 188 196 a 4 17 25 26 32 33 35 36 40 41 42 46 47 48 50 54 55 58 62 63 64 65 66 69 71 75 77 82 84 90 91 95 97 99 101 102 104 108 110 115 116 118 120 121 123 127 129 131 133 134 135 138 139 140 142 145 147 149 156 158 160 161 162 165 166 172 184 185 186 187 188 196 a 4 17 25 26 32 33 35 36 40 41 42 46 47 48 50 54 55 58 62 63 64 65 66 69 71 75 77 82 84 90 91 92 95 97 99 101 102 104 108 110 115 116 118 120 121 123 127 129 131 133 134 135 138 139 140 142 145 147 149 156 158 160 161 162 166 172 184 185 186 187 188 196 a 4 17 25 26 32 33 35 36 40 41 42 46 47 48 50 54 55 58 60 62 63 64 65 66 69 71 75 77 82 84 90 91 92 95 99 101 102 104 108 110 115 116 118 120 121 123 127 129 131 133 134 135 138 139 140 142 145 147 149 156 158 160 161 162 166 172 184 185 186 187 188 196 a 4 17 25 26 32 33 35 36 40 41 42 46 47 48 50 54 55 58 60 62 63 64 65 66 69 71 72 75 77 82 84 90 91 92 95 99 101 102 104 108 110 115 116 118 120 121 123 127 129 131 133 134 135 138 139 140 142 145 147 149 156 158 160 162 166 172 184 185 186 187 188 196 a 3 4 17 25 26 32 33 35 36 40 41 42 46 47 48 50 54 55 58 60 62 63 64 65 66 69 71 72 75 77 82 84 90 91 92 95 99 101 102 104 108 110 115 116 118 120 121 123 127 129 131 133 134 135 138 139 140 142 145 147 149 156 158 160 166 172 184 185 186 187 188 196 a 3 4 17 25 26 32 33 35 36 40 41 42 46 47 48 50 54 55 58 60 62 63 64 65 66 69 71 72 75 77 82 84 89 90 91 92 95 99 101 102 104 108 110 115 116 118 120 121 123 127 129 131 133 134 135 138 139 140 142 145 147 149 156 160 166 172 184 185 186 187 188 196 a 3 4 5 17 25 26 32 33 35 36 40 41 42 46 47 48 50 54 55 58 60 62 63 64 65 66 69 71 72 75 77 82 84 89 90 91 92 95 99 101 102 104 108 110 115 116 118 120 121 123 127 129 131 133 134 135 138 139 140 142 145 147 149 156 160 166 172 184 185 186 187 196 a 3 4 5 17 25 26 32 33 35 36 40 41 42 46 47 48 50 51 54 55 58 60 62 63 64 65 66 69 71 72 75 77 82 84 89 90 91 92 95 99 101 102 104 108 110 115 118 120 121 123 127 129 131 133 134 135 138 139 140 142 145 147 149 156 160 166 172 184 185 186 187 196 a 3 4 5 17 25 26 32 33 35 36 40 41 42 46 47 48 50 51 54 55 58 60 62 63 64 65 66 69 71 72 75 77 82 84 89 90 91 92 95 99 101 102 104 108 110 115 118 120 121 123 127 129 131 133 134 135 138 139 140 142 145 147 149 156 160 166 172 184 185 186 194 196 a 3 4 5 17 25 26 32 33 35 36 40 41 42 43 46 48 50 51 54 55 58 60 62 63 64 65 66 69 71 72 75 77 82 84 89 90 91 92 95 99 101 102 104 108 110 115 118 120 121 123 127 129 131 133 134 135 138 139 140 142 145 147 149 156 160 166 172 184 185 186 194 196 a 3 4 5 17 25 26 32 33 36 40 41 42 43 46 48 50 51 54 55 58 60 62 63 64 65 66 69 71 72 75 77 82 84 89 90 91 92 95 99 101 102 104 108 110 115 118 120 121 123 127 129 131 133 134 135 138 139 140 142 145 147 149 156 160 166 172 183 184 185 186 194 196 a 3 4 5 17 25 26 32 33 36 40 41 42 43 46 48 50 51 54 55 58 60 62 63 64 65 66 69 70 71 72 75 77 82 89 90 91 92 95 99 101 102 104 108 110 115 118 120 121 123 127 129 131 133 134 135 138 139 140 142 145 147 149 156 160 166 172 183 184 185 186 194 196 a 3 4 5 17 25 26 32 33 36 40 41 42 43 46 48 50 51 54 55 58 60 62 63 64 65 66 69 70 71 72 75 82 89 90 91 92 95 99 101 102 104 108 110 115 118 120 121 123 127 129 131 133 134 135 138 139 140 142 145 147 149 156 160 166 170 172 183 184 185 186 194 196 a 3 4 5 17 25 26 32 33 36 40 41 42 43 44 46 48 50 51 54 55 58 60 62 63 64 65 66 69 70 71 72 75 82 89 90 91 92 95 99 101 102 104 108 110 115 118 120 121 123 127 129 131 133 134 135 138 139 140 142 145 147 149 160 166 170 172 183 184 185 186 194 196 a 3 4 5 25 26 32 33 36 40 41 42 43 44 46 48 50 51 54 55 58 60 62 63 64 65 66 69 70 71 72 75 82 89 90 91 92 95 98 99 101 102 104 108 110 115 118 120 121 123 127 129 131 133 134 135 138 139 140 142 145 147 149 160 166 170 172 183 184 185 186 194 196 a 3 4 5 25 32 33 36 40 41 42 43 44 46 48 50 51 54 55 58 60 62 63 64 65 66 69 70 71 72 75 82 89 90 91 92 95 98 99 101 102 104 108 109 110 115 118 120 121 123 127 129 131 133 134 135 138 139 140 142 145 147 149 160 166 170 172 183 184 185 186 194 196 a 3 4 5 25 32 33 36 40 41 42 43 44 46 48 51 54 55 58 60 62 63 64 65 66 69 70 71 72 75 82 89 90 91 92 95 98 99 101 102 104 108 109 110 115 118 120 121 123 127 129 131 133 134 135 137 138 139 140 142 145 147 149 160 166 170 172 183 184 185 186 194 196 a 3 4 5 25 32 33 36 40 41 42 43 44 46 48 51 54 55 56 58 60 62 63 64 65 66 69 70 71 72 75 82 89 90 91 92 95 98 99 101 102 108 109 110 115 118 120 121 123 127 129 131 133 134 135 137 138 139 140 142 145 147 149 160 166 170 172 183 184 185 186 194 196 a 3 4 5 25 32 33 36 40 41 42 43 44 46 48 51 54 55 56 58 60 62 63 64 65 66 69 70 71 72 75 82 89 90 91 92 95 98 99 101 102 108 109 110 115 118 120 121 123 129 131 133 134 135 137 138 139 140 142 145 147 149 160 166 169 170 172 183 184 185 186 194 196 a 3 4 5 25 32 33 36 40 42 43 44 46 48 51 54 55 56 58 60 62 63 64 65 66 69 70 71 72 75 82 88 89 90 91 92 95 98 99 101 102 108 109 110 115 118 120 121 123 129 131 133 134 135 137 138 139 140 142 145 147 149 160 166 169 170 172 183 184 185 186 194 196 a 3 4 5 25 32 33 36 40 42 43 44 46 48 51 54 55 56 58 60 62 63 64 65 66 69 70 71 72 75 82 88 89 90 91 92 95 98 99 101 102 108 109 110 115 118 120 121 123 129 131 133 134 135 137 138 139 140 142 145 147 149 166 169 170 171 172 183 184 185 186 194 196 a 3 4 5 25 32 33 36 40 42 43 44 46 48 51 53 54 55 56 58 60 62 63 64 65 66 69 70 71 72 75 82 88 89 90 91 92 95 98 99 101 102 108 109 110 115 118 120 121 123 129 131 133 134 135 137 138 139 140 142 145 147 149 166 169 170 171 172 183 184 186 194 196 a 3 4 5 25 32 33 36 40 42 43 44 46 48 51 53 55 56 58 60 62 63 64 65 66 69 70 71 72 75 82 88 89 90 91 92 95 98 99 101 102 108 109 110 114 115 118 120 121 123 129 131 133 134 135 137 138 139 140 142 145 147 149 166 169 170 171 172 183 184 186 194 196 a 3 4 5 19 25 32 33 36 40 42 43 44 46 48 51 53 55 56 58 60 62 63 64 65 66 69 70 71 72 75 82 88 89 90 91 92 95 98 99 101 102 108 109 110 114 115 118 120 121 123 129 131 134 135 137 138 139 140 142 145 147 149 166 169 170 171 172 183 184 186 194 196 a 3 4 5 19 25 32 33 36 40 42 43 44 46 48 51 53 55 56 58 60 62 63 64 66 69 70 71 72 75 82 88 89 90 91 92 95 98 99 101 102 108 109 110 114 115 118 120 121 123 129 131 134 135 137 138 139 140 142 145 147 149 166 169 170 171 172 183 184 186 189 194 196 a 3 4 5 19 25 32 33 36 40 42 43 44 46 48 51 53 55 56 58 60 62 63 64 66 69 70 71 72 75 82 88 89 90 91 92 95 98 99 101 102 108 109 110 114 115 118 120 121 123 129 131 134 135 137 138 139 140 142 145 147 166 169 170 171 172 183 184 186 189 192 194 196 a 3 4 5 19 25 32 33 36 40 42 43 44 46 48 51 53 55 56 58 60 62 63 64 66 69 70 71 72 75 82 88 89 90 91 92 95 98 99 102 108 109 110 114 115 118 120 121 123 129 131 134 135 137 138 139 140 142 145 147 166 169 170 171 172 177 183 184 186 189 192 194 196 a 3 4 5 19 25 31 32 36 40 42 43 44 46 48 51 53 55 56 58 60 62 63 64 66 69 70 71 72 75 82 88 89 90 91 92 95 98 99 102 108 109 110 114 115 118 120 121 123 129 131 134 135 137 138 139 140 142 145 147 166 169 170 171 172 177 183 184 186 189 192 194 196 a 3 4 5 11 19 25 31 32 36 40 42 43 44 46 48 51 53 55 56 58 60 62 63 64 66 69 70 71 72 75 88 89 90 91 92 95 98 99 102 108 109 110 114 115 118 120 121 123 129 131 134 135 137 138 139 140 142 145 147 166 169 170 171 172 177 183 184 186 189 192 194 196 a 3 4 5 11 19 25 31 32 36 40 42 43 44 46 48 51 53 55 56 58 60 62 63 64 66 69 70 72 75 88 89 90 91 92 95 98 99 102 108 109 110 114 115 118 120 121 123 129 131 134 135 137 138 139 140 142 145 147 166 169 170 171 172 177 181 183 184 186 189 192 194 196 a 3 4 5 11 19 25 31 32 36 40 42 43 44 46 48 51 53 55 56 58 60 62 63 64 66 69 70 72 75 88 89 90 91 92 98 99 102 108 109 110 114 115 118 120 121 123 129 131 134 135 137 138 139 140 142 145 147 166 169 170 171 172 177 181 183 184 186 189 192 194 196 208 a 3 4 5 11 19 25 31 32 36 40 42 43 44 46 48 51 53 55 56 58 60 62 63 64 66 69 70 72 75 88 89 90 91 92 98 99 102 108 109 110 114 115 118 120 121 123 129 134 135 137 138 139 140 142 145 147 166 169 170 171 172 177 181 183 184 186 189 191 192 194 196 208 a 3 4 5 6 11 19 25 31 32 36 42 43 44 46 48 51 53 55 56 58 60 62 63 64 66 69 70 72 75 88 89 90 91 92 98 99 102 108 109 110 114 115 118 120 121 123 129 134 135 137 138 139 140 142 145 147 166 169 170 171 172 177 181 183 184 186 189 191 192 194 196 208 a 3 4 5 6 11 19 25 31 32 36 42 43 44 46 48 51 52 53 55 56 58 60 62 63 64 66 69 70 72 75 88 89 90 91 92 98 99 102 108 109 110 114 115 118 120 121 123 129 134 135 137 138 139 140 142 145 147 166 169 170 171 177 181 183 184 186 189 191 192 194 196 208 a 3 4 5 6 11 19 25 31 32 36 42 43 44 46 48 51 52 53 55 56 58 60 62 63 64 66 69 70 72 88 89 90 91 92 98 99 102 108 109 110 114 115 118 120 121 123 129 134 135 137 138 139 140 142 145 147 166 169 170 171 175 177 181 183 184 186 189 191 192 194 196 208 a 3 4 5 6 11 19 25 31 32 36 42 43 44 46 48 51 52 53 55 56 57 58 60 62 63 64 66 69 70 72 88 89 91 92 98 99 102 108 109 110 114 115 118 120 121 123 129 134 135 137 138 139 140 142 145 147 166 169 170 171 175 177 181 183 184 186 189 191 192 194 196 208 a 3 4 5 6 11 19 25 31 32 36 37 42 43 44 46 48 51 52 53 55 56 57 58 60 62 63 64 66 69 70 72 88 89 91 92 98 99 102 108 109 110 114 118 120 121 123 129 134 135 137 138 139 140 142 145 147 166 169 170 171 175 177 181 183 184 186 189 191 192 194 196 208 a 3 4 5 6 11 19 25 31 32 36 37 42 43 44 46 48 51 52 53 55 56 57 58 60 62 63 64 66 69 70 72 88 89 91 92 98 99 100 102 108 109 110 114 118 120 121 123 129 134 135 137 138 139 142 145 147 166 169 170 171 175 177 181 183 184 186 189 191 192 194 196 208 a 3 4 5 6 11 19 25 31 32 36 37 42 43 44 46 48 51 52 53 55 56 57 58 60 62 63 64 69 70 72 88 89 91 92 98 99 100 102 108 109 110 114 118 120 121 123 129 134 135 137 138 139 142 145 147 166 169 170 171 175 177 181 183 184 186 189 191 192 194 196 200 208 a 3 4 5 6 11 19 25 31 32 36 37 42 43 44 46 48 51 52 53 55 56 57 58 60 62 64 69 70 72 88 89 91 92 98 99 100 102 108 109 110 114 118 120 121 122 123 129 134 135 137 138 139 142 145 147 166 169 170 171 175 177 181 183 184 186 189 191 192 194 196 200 208 c Step: 161 #END: [Tue Sep 5 02:01:39 2023]