#BEGIN: [Mon Sep 4 22:35:33 2023] #HOST: s13 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-cpu-banbaralab-longest2 #INSTANCE1: /benchmark/random_instance/random_instance021_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance021_graph003_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_instance021_graph003.col /benchmark/random_instance/random_instance021_graph003_01.dat c /benchmark/random_instance/random_instance021_graph003.col c /benchmark/random_instance/random_instance021_graph003_01.dat s 84 245 85 234 144 83 218 154 256 265 223 20 255 72 157 147 112 58 69 193 13 257 95 186 98 203 75 175 51 73 212 270 3 251 235 240 56 127 44 170 63 114 143 252 239 97 205 200 267 52 199 59 104 168 126 91 48 32 195 88 78 225 215 213 237 190 120 90 241 19 37 148 173 24 70 132 50 80 38 229 182 273 233 264 176 183 23 228 t 228 217 174 191 68 113 167 19 163 12 183 265 109 96 50 256 36 154 245 14 70 248 260 45 184 88 236 146 110 229 133 192 169 214 81 123 147 75 209 51 233 185 60 199 9 24 230 49 61 91 25 67 211 267 54 182 254 249 64 59 206 97 156 44 175 241 266 197 195 23 177 150 78 73 34 22 87 176 33 264 215 222 93 235 57 157 3 53 a YES a 3 13 19 20 23 24 32 37 38 44 48 50 51 52 56 58 59 63 69 70 72 73 75 78 80 83 84 85 88 90 91 95 97 98 104 112 114 120 126 127 132 143 144 147 148 154 157 168 170 173 175 176 182 183 186 190 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 270 273 a 3 13 19 20 23 24 32 37 38 44 48 50 51 52 56 58 59 63 69 70 72 73 75 78 80 83 84 85 88 90 91 95 97 98 104 112 120 126 127 132 143 144 147 148 154 157 168 170 173 175 176 182 183 186 190 191 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 270 273 a 3 13 19 20 23 24 32 34 37 38 44 48 50 51 52 56 58 59 63 70 72 73 75 78 80 83 84 85 88 90 91 95 97 98 104 112 120 126 127 132 143 144 147 148 154 157 168 170 173 175 176 182 183 186 190 191 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 270 273 a 3 13 19 20 23 24 32 34 37 38 44 48 50 51 52 56 58 59 63 70 72 73 75 78 80 81 83 84 85 88 90 91 95 97 98 104 112 120 126 127 132 143 144 147 148 154 157 168 170 175 176 182 183 186 190 191 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 270 273 a 3 13 19 20 23 24 32 34 37 38 44 48 50 51 52 56 58 59 63 70 72 73 75 78 80 81 83 84 85 88 90 91 95 97 98 104 112 120 126 127 132 143 144 147 148 154 157 168 170 173 175 176 182 183 186 190 191 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 273 a 3 13 19 20 23 24 32 34 37 38 44 48 50 51 52 56 58 63 70 72 73 75 78 80 81 83 84 85 88 90 91 95 97 98 104 112 120 126 127 132 143 144 147 148 154 157 168 170 173 175 176 182 183 186 187 190 191 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 273 a 3 13 19 20 23 24 32 34 37 38 44 48 50 52 56 58 59 63 70 72 73 75 78 80 81 83 84 85 88 90 91 95 97 98 104 112 120 126 127 132 143 144 147 148 154 157 168 170 173 175 176 182 183 186 187 190 191 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 273 a 3 13 19 20 23 24 32 34 37 38 44 48 50 51 52 56 58 59 63 70 72 73 75 78 80 81 83 84 85 88 90 91 95 97 98 104 112 120 126 127 132 143 144 147 148 154 157 168 170 173 175 176 182 183 186 187 190 191 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 245 251 252 255 256 257 264 265 267 273 a 3 19 20 23 24 32 34 37 38 44 48 50 51 52 56 58 59 63 70 72 73 75 78 80 81 83 84 85 88 90 91 95 97 98 104 112 120 126 127 132 143 144 147 148 154 157 168 170 173 175 176 182 183 186 187 190 191 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 273 a 3 19 20 23 24 32 34 37 38 44 48 50 51 52 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 88 90 91 95 97 98 104 112 120 127 132 143 144 147 148 154 157 168 170 173 175 176 182 183 186 187 190 191 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 273 a 3 19 20 23 24 32 34 37 38 44 48 50 51 52 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 88 90 91 95 97 98 104 112 120 126 127 132 143 144 147 148 154 157 168 170 173 175 176 182 183 186 187 190 191 193 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 245 251 252 255 256 257 264 265 267 273 a 3 19 20 23 24 32 34 37 38 44 48 50 51 52 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 88 90 91 95 97 98 104 112 120 126 127 132 143 144 147 148 154 157 168 170 173 175 176 182 183 186 187 190 191 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 245 251 252 255 256 257 264 265 267 273 a 3 19 20 23 24 32 34 37 38 44 48 50 51 52 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 88 90 91 95 97 98 104 108 112 120 126 127 132 143 144 148 154 157 168 170 173 175 176 182 183 186 187 190 191 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 245 251 252 255 256 257 264 265 267 273 a 3 19 20 23 24 34 37 38 44 48 50 51 52 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 88 90 91 95 97 98 104 108 112 120 126 127 132 143 144 148 154 157 168 170 173 175 176 182 183 186 187 190 191 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 251 252 255 256 257 264 265 267 273 a 3 13 19 20 23 24 34 37 38 44 48 50 51 52 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 88 90 91 95 97 98 104 108 112 120 126 127 132 143 144 148 154 157 168 170 173 175 176 182 183 186 187 190 191 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 273 a 3 13 19 20 23 24 32 34 37 38 44 48 50 51 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 88 90 91 95 97 98 104 108 112 120 126 127 132 143 144 148 154 157 168 170 173 175 176 182 183 186 187 190 191 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 273 a 3 13 19 20 23 24 32 34 37 38 44 48 50 51 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 143 144 148 154 157 168 170 173 175 176 182 183 186 187 190 191 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 267 273 a 3 13 19 20 23 24 32 34 37 38 44 48 50 51 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 143 144 148 154 157 168 170 173 175 176 182 183 186 187 190 191 195 199 200 203 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 273 a 3 13 19 20 23 24 32 34 37 38 44 48 50 51 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 143 144 148 154 157 168 170 173 175 176 182 183 186 187 190 191 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 273 a 3 13 19 20 23 24 32 34 37 38 44 48 50 51 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 143 144 148 154 157 168 170 173 175 176 182 183 186 187 190 191 195 199 200 203 205 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 267 273 a 3 13 19 20 23 24 32 34 37 38 44 48 50 51 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 143 144 148 154 157 168 170 173 175 176 182 183 186 187 190 191 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 264 265 267 273 a 3 13 19 20 23 24 32 34 37 38 44 48 50 51 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 143 144 148 154 157 168 173 175 176 182 183 186 187 190 191 195 199 200 203 205 208 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 264 265 267 273 a 3 13 19 20 23 24 32 34 37 38 44 48 50 51 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 143 144 148 154 157 168 175 176 178 182 183 186 187 190 191 195 199 200 203 205 208 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 264 265 267 273 a 3 13 19 20 23 24 32 34 37 38 44 48 50 51 52 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 143 144 148 154 157 168 175 176 178 182 183 186 187 190 191 195 199 203 205 208 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 264 265 267 273 a 3 13 19 20 23 24 32 34 37 38 44 48 50 51 52 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 143 144 148 154 157 168 175 176 178 182 183 186 187 190 191 195 199 200 203 205 208 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 264 265 273 a 3 13 19 20 23 24 32 34 37 38 44 48 50 51 52 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 143 144 148 154 157 168 175 176 178 182 183 186 187 190 191 195 199 200 203 205 208 212 213 215 218 223 225 228 229 233 234 235 237 239 240 245 251 252 255 256 257 264 265 273 a 3 13 19 20 23 24 32 34 37 38 44 48 50 51 52 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 87 90 91 95 97 98 104 108 112 120 126 127 132 143 144 148 154 157 168 175 176 178 182 183 186 187 190 191 195 199 200 203 205 208 212 213 215 218 221 223 225 228 229 233 234 235 237 239 240 245 251 252 255 256 257 264 265 273 a 3 13 19 20 23 24 32 34 37 38 44 48 50 51 52 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 87 90 91 95 97 98 104 108 112 120 126 127 132 137 143 144 148 154 157 168 176 178 182 183 186 187 190 191 195 199 200 203 205 208 212 213 215 218 221 223 225 228 229 233 234 235 237 239 240 245 251 252 255 256 257 264 265 273 a 3 13 19 20 23 24 32 34 37 38 44 48 50 51 52 56 58 59 63 70 72 73 75 76 78 80 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 144 148 154 157 168 176 178 182 183 186 187 190 191 195 199 200 203 205 208 212 213 215 218 221 223 225 228 229 233 234 235 237 239 240 245 251 252 255 256 257 264 265 273 a 3 13 19 20 23 24 32 34 37 38 44 48 50 51 52 56 58 59 63 70 72 73 75 76 78 80 81 83 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 144 148 154 157 168 176 178 182 183 186 187 190 191 195 199 200 203 205 208 212 213 215 218 221 223 225 228 229 233 234 235 237 239 240 245 251 252 255 256 257 264 265 273 a 3 13 19 20 23 24 32 34 37 38 44 48 50 51 52 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 144 148 154 168 176 178 182 183 186 187 190 191 195 199 200 203 205 208 212 213 215 218 221 223 225 228 229 233 234 235 237 239 240 245 251 252 255 256 257 264 265 273 a 3 13 19 20 23 24 32 34 37 38 44 48 51 52 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 144 148 154 157 168 176 178 182 183 186 187 190 191 195 199 200 203 205 208 212 213 215 218 221 223 225 228 229 233 234 235 237 239 240 245 251 252 255 256 257 264 265 273 a 3 13 19 20 23 24 32 34 37 38 44 48 51 52 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 144 148 154 157 168 176 178 182 183 186 187 190 191 195 199 200 203 205 208 212 213 215 218 223 225 228 229 233 234 235 237 239 240 241 245 251 252 255 256 257 264 265 273 a 3 13 19 20 23 24 32 34 37 38 44 48 51 52 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 108 112 120 126 127 132 137 143 144 148 154 157 168 176 178 182 183 186 187 190 191 195 199 200 203 205 208 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 251 252 255 256 257 264 265 273 a 3 13 19 20 23 24 32 34 37 38 44 48 51 52 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 144 148 154 157 168 176 178 182 183 186 187 190 191 195 199 200 203 205 208 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 251 252 256 257 264 265 273 a 3 13 19 20 23 24 32 34 37 38 44 48 51 52 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 144 148 154 157 168 176 178 182 183 186 187 190 191 195 199 200 203 205 208 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 251 252 255 256 264 265 273 a 3 13 19 20 23 24 32 34 37 38 44 48 51 52 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 144 148 154 157 168 176 178 182 183 186 187 190 191 195 199 200 203 205 208 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 251 252 255 256 257 264 265 a 3 13 19 20 23 24 32 34 37 38 44 48 51 52 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 144 148 154 157 168 176 178 182 183 186 187 190 191 195 199 200 203 205 208 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 251 252 255 256 257 264 265 273 a 3 13 19 20 23 24 32 34 37 38 44 48 51 52 56 58 59 63 70 72 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 144 148 154 157 168 176 178 182 183 186 187 190 191 195 199 200 203 205 208 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 251 252 255 256 257 264 265 273 a 3 13 19 20 23 24 32 34 37 38 44 48 51 52 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 144 148 154 157 168 176 178 182 183 186 187 190 191 199 200 203 205 208 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 251 252 255 256 257 264 265 273 a 13 19 20 23 24 32 34 37 38 44 48 51 52 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 144 148 154 157 168 176 178 182 183 186 187 190 191 199 200 203 205 208 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 251 252 255 256 257 258 264 265 273 a 13 19 20 23 24 32 34 37 38 44 48 50 51 52 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 98 104 108 112 120 126 127 132 137 143 144 148 154 157 168 176 178 182 183 186 187 190 191 199 200 203 205 208 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 251 252 255 256 257 258 264 265 273 a 13 19 20 23 24 32 34 37 38 44 48 50 51 52 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 144 148 154 157 168 176 178 182 183 186 187 190 191 199 200 205 208 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 251 252 255 256 257 258 264 265 273 a 13 19 20 23 24 32 34 37 38 44 48 50 51 52 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 148 154 157 168 176 178 182 183 186 187 190 191 195 199 200 205 208 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 251 252 255 256 257 258 264 265 273 a 13 19 20 23 24 32 34 37 38 44 48 50 51 52 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 137 143 148 154 157 168 176 178 182 183 186 187 190 191 195 199 200 203 205 208 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 251 252 255 256 257 258 264 265 273 a 13 19 20 23 24 32 34 37 38 44 48 50 51 52 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 148 154 157 176 178 182 183 186 187 190 191 195 199 200 203 205 208 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 251 252 255 256 257 258 264 265 273 a 13 19 20 23 24 32 34 37 38 44 48 50 51 52 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 144 148 154 157 176 178 182 183 186 187 191 195 199 200 203 205 208 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 251 252 255 256 257 258 264 265 273 a 13 19 20 23 24 32 34 37 38 44 48 50 51 52 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 144 148 154 157 168 176 178 182 183 186 187 191 195 199 200 203 205 208 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 252 255 256 257 258 264 265 273 a 13 19 20 23 24 32 34 37 38 44 48 50 51 52 56 58 59 63 70 72 73 75 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 144 148 154 157 168 176 178 182 183 186 187 190 191 195 199 200 203 205 208 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 252 255 256 257 258 264 265 273 a 13 19 20 23 24 32 34 37 38 44 48 50 51 52 56 58 59 63 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 144 148 154 157 168 176 178 183 186 187 190 191 195 199 200 203 205 208 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 252 255 256 257 258 264 265 273 a 13 19 20 23 24 32 37 38 44 48 50 51 52 56 58 59 63 69 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 144 148 154 157 168 176 178 183 186 187 190 191 195 199 200 203 205 208 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 252 255 256 257 258 264 265 273 a 3 13 19 20 23 24 32 37 38 44 48 50 51 52 56 58 59 63 69 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 144 148 154 157 168 176 178 183 186 187 190 191 195 199 200 203 205 208 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 252 255 256 257 264 265 273 a 3 13 19 20 23 24 32 37 38 44 48 50 51 52 56 58 59 63 69 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 144 148 154 157 168 173 176 183 186 187 190 191 195 199 200 203 205 208 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 252 255 256 257 264 265 273 a 3 13 19 20 23 24 32 37 38 44 48 50 51 52 56 58 59 63 69 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 144 148 154 157 168 173 176 182 183 186 187 190 191 195 199 200 203 205 208 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 252 255 256 257 264 265 273 a 3 13 19 20 23 24 32 37 38 44 48 50 51 52 56 58 59 63 69 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 144 148 154 157 168 173 176 182 183 186 187 190 191 195 199 203 205 208 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 252 255 256 257 264 265 273 a 3 13 19 20 23 24 32 37 38 44 48 50 51 52 56 58 59 63 69 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 144 148 154 157 168 173 176 182 183 186 187 190 191 195 199 205 208 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 251 252 255 256 257 264 265 273 a 3 19 20 23 24 32 37 38 44 48 50 51 52 56 58 59 63 69 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 144 148 154 157 168 173 176 182 183 186 187 190 191 195 199 200 205 208 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 251 252 255 256 257 264 265 273 a 3 19 20 23 24 32 37 38 44 48 50 51 52 56 58 59 63 69 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 144 148 154 157 168 173 176 182 183 186 187 190 191 195 199 200 203 205 208 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 251 252 255 256 257 265 273 a 3 19 20 23 24 32 37 38 44 48 50 51 52 56 58 59 63 69 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 144 148 154 157 168 170 173 176 182 183 186 187 190 191 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 251 252 255 256 257 265 273 a 3 13 19 20 23 24 32 37 38 44 48 50 51 52 56 58 59 63 69 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 144 148 154 157 168 170 173 176 182 183 186 187 190 191 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 252 255 256 257 265 273 a 3 13 19 20 23 24 32 37 38 44 48 50 51 52 56 58 59 63 69 70 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 144 148 154 157 168 170 173 176 182 183 186 190 191 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 251 252 255 256 257 265 273 a 3 13 19 20 23 24 32 37 38 44 48 50 51 52 56 58 63 69 70 71 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 144 148 154 157 168 170 173 176 182 183 186 190 191 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 251 252 255 256 257 265 273 a 3 13 19 20 23 24 32 37 38 44 48 50 51 52 56 58 63 70 71 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 144 148 154 157 168 170 173 176 182 183 186 187 190 191 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 251 252 255 256 257 265 273 a 3 13 19 20 23 24 32 37 38 44 48 50 51 52 56 58 63 70 71 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 144 148 154 157 168 170 173 176 182 183 186 187 190 191 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 245 251 252 255 256 257 265 267 273 a 3 13 19 20 23 24 32 37 38 44 48 50 51 52 56 58 63 69 70 71 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 148 154 157 168 170 173 176 182 183 186 187 190 191 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 245 251 252 255 256 257 265 267 273 a 3 13 19 20 23 24 32 37 38 44 48 50 51 52 58 63 69 70 71 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 148 154 157 168 170 173 176 182 183 186 187 190 191 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 245 251 252 255 256 257 264 265 267 273 a 3 13 19 20 23 24 32 37 38 44 48 50 51 52 58 61 63 69 70 71 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 148 154 157 168 170 173 176 182 183 186 187 190 191 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 245 251 252 255 256 257 264 265 267 a 3 13 19 20 23 24 32 37 38 44 50 51 52 54 58 61 63 69 70 71 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 148 154 157 168 170 173 176 182 183 186 187 190 191 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 245 251 252 255 256 257 264 265 267 a 3 13 19 20 23 24 32 37 38 44 50 51 52 54 58 61 63 64 69 70 71 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 126 127 132 137 143 154 157 168 170 173 176 182 183 186 187 190 191 195 199 200 203 205 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 245 251 252 255 256 257 264 265 267 a 3 13 19 20 23 24 32 37 38 44 50 51 52 54 58 61 63 64 69 70 71 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 127 132 137 143 154 157 168 170 173 176 182 183 186 187 190 191 195 199 200 203 205 209 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 245 251 252 255 256 257 264 265 267 a 3 13 19 20 23 24 32 37 38 44 50 51 52 54 58 61 63 64 67 69 70 71 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 127 132 137 143 154 157 168 170 173 176 182 183 186 187 190 191 195 199 203 205 209 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 245 251 252 255 256 257 264 265 267 a 3 13 19 20 23 24 32 37 38 44 50 51 52 54 58 61 63 64 67 69 70 71 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 127 132 143 154 157 168 170 173 176 182 183 186 187 190 191 195 199 203 205 206 209 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 245 251 252 255 256 257 264 265 267 a 3 13 19 20 23 24 32 37 38 44 50 51 52 54 58 61 63 64 67 69 70 71 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 127 132 143 154 157 167 168 170 173 176 182 183 186 187 190 191 195 199 203 205 206 209 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 245 251 252 256 257 264 265 267 a 3 13 19 20 23 24 32 34 37 38 44 50 51 52 54 58 61 63 64 67 70 71 72 73 75 76 78 80 81 83 84 85 87 88 90 91 95 97 98 104 108 112 120 127 132 143 154 157 167 168 170 173 176 182 183 186 187 190 191 195 199 203 205 206 209 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 245 251 252 256 257 264 265 267 a 3 13 19 20 23 24 32 34 37 38 44 50 51 52 54 58 61 63 64 67 70 71 72 73 75 76 78 80 81 84 85 87 88 90 91 95 97 98 104 108 112 120 127 132 143 154 157 167 168 170 173 175 176 182 183 186 187 190 191 195 199 203 205 206 209 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 245 251 252 256 257 264 265 267 a 3 13 19 20 23 24 32 34 37 38 44 49 50 51 52 54 58 61 63 64 67 70 71 72 73 75 76 78 80 81 84 85 87 88 90 91 95 97 98 104 108 112 120 127 132 143 154 157 167 168 170 173 175 176 182 183 186 187 190 191 195 199 205 206 209 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 245 251 252 256 257 264 265 267 a 3 13 19 20 23 24 32 34 37 44 49 50 51 52 54 58 61 63 64 67 70 71 72 73 75 76 78 80 81 84 85 87 88 90 91 95 97 98 104 108 112 120 127 132 143 154 157 163 167 168 170 173 175 176 182 183 186 187 190 191 195 199 205 206 209 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 245 251 252 256 257 264 265 267 a 3 13 19 23 24 32 34 37 44 49 50 51 52 54 58 61 63 64 67 70 71 72 73 75 76 78 80 81 84 85 87 88 90 91 95 97 98 104 108 112 120 127 132 143 154 157 163 167 168 170 173 175 176 182 183 186 187 190 191 195 199 205 206 209 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 251 252 256 257 264 265 267 a 3 13 19 23 24 32 34 37 44 49 50 51 54 58 61 63 64 67 70 71 72 73 75 76 78 80 81 84 85 87 88 90 91 95 97 98 104 108 109 112 120 127 132 143 154 157 163 167 168 170 173 175 176 182 183 186 187 190 191 195 199 205 206 209 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 251 252 256 257 264 265 267 a 3 13 19 23 24 32 34 37 44 49 50 51 54 58 61 63 64 67 70 71 72 73 75 76 78 80 81 84 87 88 90 91 95 97 98 104 108 109 112 120 127 132 133 143 154 157 163 167 168 170 173 175 176 182 183 186 187 190 191 195 199 205 206 209 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 251 252 256 257 264 265 267 a 3 13 19 23 24 32 34 37 44 49 50 51 54 58 61 64 67 70 71 72 73 75 76 78 80 81 84 87 88 90 91 95 97 98 104 108 109 112 120 127 132 133 143 154 157 163 167 168 170 173 175 176 182 183 185 186 187 190 191 195 199 205 206 209 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 251 252 256 257 264 265 267 a 3 13 19 23 24 32 34 37 44 49 50 51 54 58 61 64 67 70 71 72 73 75 76 78 80 81 84 87 88 90 91 95 97 98 104 108 109 112 120 123 132 133 143 154 157 163 167 168 170 173 175 176 182 183 185 186 187 190 191 195 199 205 206 209 212 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 251 252 256 257 264 265 267 a 3 13 19 22 23 24 32 34 37 44 49 50 51 54 58 61 64 67 70 71 72 73 75 76 78 80 81 84 87 88 90 91 95 97 98 104 108 109 112 120 123 132 133 143 154 157 163 167 168 170 173 175 176 182 183 185 186 187 190 191 195 199 205 206 209 213 215 218 223 225 228 229 233 234 235 236 237 239 240 241 245 251 252 256 257 264 265 267 a 3 13 19 22 23 24 32 34 37 44 49 50 51 54 58 61 64 67 68 70 71 72 73 75 76 78 80 81 84 87 88 90 91 95 97 98 104 108 109 112 120 123 132 133 143 154 157 163 167 168 170 173 175 176 182 183 185 186 187 190 191 195 199 205 206 209 213 215 218 223 228 229 233 234 235 236 237 239 240 241 245 251 252 256 257 264 265 267 a 3 13 14 19 22 23 24 32 34 37 44 49 50 51 54 58 61 64 67 68 70 71 73 75 76 78 80 81 84 87 88 90 91 95 97 98 104 108 109 112 120 123 132 133 143 154 157 163 167 168 170 173 175 176 182 183 185 186 187 190 191 195 199 205 206 209 213 215 218 223 228 229 233 234 235 236 237 239 240 241 245 251 252 256 257 264 265 267 a 3 13 14 19 22 23 24 32 34 37 44 49 50 51 54 58 61 64 67 68 70 71 73 75 76 78 80 81 84 87 88 90 91 95 97 98 104 108 109 112 120 123 132 133 143 154 157 163 167 168 169 170 173 175 176 182 183 185 186 187 190 191 195 199 205 206 209 213 215 218 223 228 229 233 234 235 236 239 240 241 245 251 252 256 257 264 265 267 a 3 13 14 19 22 23 24 32 34 37 44 49 50 51 54 58 61 64 67 68 70 71 73 75 76 78 81 84 87 88 90 91 93 95 97 98 104 108 109 112 120 123 132 133 143 154 157 163 167 168 169 170 173 175 176 182 183 185 186 187 190 191 195 199 205 206 209 213 215 218 223 228 229 233 234 235 236 239 240 241 245 251 252 256 257 264 265 267 a 3 13 14 19 22 23 24 32 34 37 44 49 50 51 54 58 61 64 67 68 70 71 73 75 76 78 81 84 87 88 90 91 93 95 97 98 104 108 109 112 120 123 132 133 143 154 157 163 167 168 169 170 173 175 176 177 182 183 185 186 187 190 191 195 199 205 206 209 215 218 223 228 229 233 234 235 236 239 240 241 245 251 252 256 257 264 265 267 a 3 13 14 19 22 23 24 32 34 36 37 44 49 50 51 54 58 61 64 67 68 70 71 73 75 76 78 81 84 87 88 91 93 95 97 98 104 108 109 112 120 123 132 133 143 154 157 163 167 168 169 170 173 175 176 177 182 183 185 186 187 190 191 195 199 205 206 209 215 218 223 228 229 233 234 235 236 239 240 241 245 251 252 256 257 264 265 267 a 3 14 19 22 23 24 32 34 36 37 44 49 50 51 54 58 61 64 67 68 70 71 73 75 76 78 81 84 87 88 91 93 95 97 98 104 108 109 112 120 123 132 133 143 154 157 163 167 168 169 170 173 175 176 177 182 183 185 186 187 190 191 195 199 205 206 209 215 218 223 228 229 233 234 235 236 239 240 241 245 248 251 252 256 257 264 265 267 a 3 14 19 22 23 24 32 34 36 37 44 49 50 51 54 58 61 64 67 68 70 71 73 75 76 78 81 84 87 88 91 93 95 97 98 104 108 109 112 120 123 132 133 143 154 157 163 167 168 169 170 173 175 176 177 182 183 185 186 187 190 191 195 199 205 206 209 215 218 228 229 233 234 235 236 239 240 241 245 248 251 252 256 257 264 265 266 267 a 3 14 19 22 23 24 32 34 36 37 44 49 50 51 54 58 61 64 67 68 70 71 73 75 76 78 81 84 87 88 91 93 95 97 98 104 108 109 112 113 120 123 132 133 143 154 157 163 167 168 169 173 175 176 177 182 183 185 186 187 190 191 195 199 205 206 209 215 218 228 229 233 234 235 236 239 240 241 245 248 251 252 256 257 264 265 266 267 a 3 14 19 22 23 24 32 34 36 37 44 49 50 51 54 58 61 64 67 68 70 71 73 75 76 78 81 84 87 88 91 93 95 96 97 98 104 108 109 112 113 120 123 132 133 143 154 157 163 167 168 169 173 175 176 177 182 183 185 186 187 191 195 199 205 206 209 215 218 228 229 233 234 235 236 239 240 241 245 248 251 252 256 257 264 265 266 267 a 3 14 19 22 23 24 32 34 36 37 44 49 50 51 54 58 61 64 67 68 70 71 73 75 76 78 81 84 87 88 91 93 95 96 97 98 104 108 109 112 113 120 123 132 133 143 154 157 163 167 168 169 173 175 176 177 182 183 185 186 187 191 195 199 205 206 209 215 218 222 228 229 233 234 235 236 240 241 245 248 251 252 256 257 264 265 266 267 a 3 14 19 22 23 24 32 33 34 36 37 44 49 50 51 54 58 61 64 67 68 70 71 73 75 78 81 84 87 88 91 93 95 96 97 98 104 108 109 112 113 120 123 132 133 143 154 157 163 167 168 169 173 175 176 177 182 183 185 186 187 191 195 199 205 206 209 215 218 222 228 229 233 234 235 236 240 241 245 248 251 252 256 257 264 265 266 267 a 3 14 19 22 23 24 32 33 34 36 37 44 49 50 51 54 58 60 61 64 67 68 70 71 73 75 78 81 84 87 88 91 93 95 96 97 98 104 108 109 113 120 123 132 133 143 154 157 163 167 168 169 173 175 176 177 182 183 185 186 187 191 195 199 205 206 209 215 218 222 228 229 233 234 235 236 240 241 245 248 251 252 256 257 264 265 266 267 a 3 12 14 19 22 23 24 33 34 36 37 44 49 50 51 54 58 60 61 64 67 68 70 71 73 75 78 81 84 87 88 91 93 95 96 97 98 104 108 109 113 120 123 132 133 143 154 157 163 167 168 169 173 175 176 177 182 183 185 186 187 191 195 199 205 206 209 215 218 222 228 229 233 234 235 236 240 241 245 248 251 252 256 257 264 265 266 267 a 3 12 14 19 22 23 24 33 34 36 37 44 49 50 51 54 58 60 61 64 67 68 70 71 73 75 78 81 84 87 88 91 93 96 97 98 104 108 109 113 120 123 132 133 143 150 154 157 163 167 168 169 173 175 176 177 182 183 185 186 187 191 195 199 205 206 209 215 218 222 228 229 233 234 235 236 240 241 245 248 251 252 256 257 264 265 266 267 a 3 12 14 19 22 23 24 33 34 36 37 44 49 50 51 54 58 60 61 64 67 68 70 71 73 75 78 81 87 88 91 93 96 97 98 104 108 109 113 120 123 132 133 143 150 154 157 163 167 168 169 173 174 175 176 177 182 183 185 186 187 191 195 199 205 206 209 215 218 222 228 229 233 234 235 236 240 241 245 248 251 252 256 257 264 265 266 267 a 3 12 14 19 22 23 24 33 34 36 37 44 49 50 51 54 58 59 60 61 64 67 68 70 73 75 78 81 87 88 91 93 96 97 98 104 108 109 113 120 123 132 133 143 150 154 157 163 167 168 169 173 174 175 176 177 182 183 185 186 187 191 195 199 205 206 209 215 218 222 228 229 233 234 235 236 240 241 245 248 251 252 256 257 264 265 266 267 a 3 12 14 19 22 23 24 33 34 36 37 44 49 50 51 54 58 59 60 61 64 67 68 70 73 75 78 81 87 88 91 93 96 97 98 108 109 113 120 123 132 133 143 150 154 157 163 167 168 169 173 174 175 176 177 182 183 185 186 187 191 195 199 205 206 209 215 218 222 228 229 230 233 234 235 236 240 241 245 248 251 252 256 257 264 265 266 267 a 3 12 14 19 22 23 24 33 34 36 37 44 49 50 51 54 58 59 60 61 64 67 68 70 73 75 78 81 87 88 91 93 96 97 98 109 113 120 123 132 133 143 147 150 154 157 163 167 168 169 173 174 175 176 177 182 183 185 186 187 191 195 199 205 206 209 215 218 222 228 229 230 233 234 235 236 240 241 245 248 251 252 256 257 264 265 266 267 a 3 12 14 19 22 23 24 33 34 36 37 44 49 50 51 54 58 59 60 61 64 67 68 70 73 75 78 81 87 88 91 93 96 97 98 109 113 120 123 132 133 143 147 150 154 157 163 167 168 169 173 174 175 176 177 182 183 184 185 186 187 191 195 199 205 206 209 215 222 228 229 230 233 234 235 236 240 241 245 248 251 252 256 257 264 265 266 267 a 3 12 14 19 22 23 24 25 33 34 36 37 44 49 50 51 54 58 59 60 61 64 67 68 70 73 75 78 81 87 88 91 93 96 97 98 109 113 120 123 132 133 143 147 150 154 157 163 167 168 169 173 174 175 176 177 182 183 184 185 186 187 191 195 199 206 209 215 222 228 229 230 233 234 235 236 240 241 245 248 251 252 256 257 264 265 266 267 a 3 12 14 19 22 23 24 25 33 34 36 37 44 49 50 51 54 58 59 60 61 64 67 68 70 73 75 78 81 87 88 91 93 96 97 98 109 113 120 123 132 133 143 147 150 154 157 163 167 168 169 173 174 175 176 177 182 183 184 185 187 191 195 199 206 209 214 215 222 228 229 230 233 234 235 236 240 241 245 248 251 252 256 257 264 265 266 267 a 3 12 14 19 22 23 24 25 33 34 36 37 44 49 50 51 54 57 58 59 60 61 64 67 68 70 73 75 78 81 87 88 91 93 96 97 98 109 113 120 123 132 133 143 147 150 154 157 163 167 168 169 173 174 175 176 177 182 183 184 185 187 191 195 199 206 209 214 215 222 228 229 230 233 234 235 236 240 241 245 248 251 256 257 264 265 266 267 a 3 12 14 19 22 23 24 25 33 34 36 37 44 49 50 51 54 57 58 59 60 61 64 67 68 70 73 75 78 81 87 88 91 93 96 97 98 109 113 120 123 132 133 143 147 150 154 157 163 167 168 169 173 174 175 176 177 182 183 184 185 187 191 195 199 206 209 214 215 222 228 229 230 233 234 235 236 240 241 245 248 256 257 260 264 265 266 267 a 3 12 14 19 22 23 24 25 33 34 36 37 44 49 50 51 54 57 58 59 60 61 64 67 68 70 73 75 78 81 87 88 91 93 96 97 98 109 113 120 123 132 133 143 147 150 154 157 163 167 169 173 174 175 176 177 182 183 184 185 187 191 195 199 206 209 214 215 222 228 229 230 233 234 235 236 240 241 245 248 249 256 257 260 264 265 266 267 a 3 12 14 19 22 23 24 25 33 34 36 37 44 45 49 50 51 54 57 58 59 60 61 64 67 68 70 73 75 78 81 87 88 91 93 96 97 98 109 113 120 123 132 133 143 147 150 154 157 163 167 169 173 174 175 176 177 182 183 184 185 187 191 195 199 206 209 214 215 222 228 229 230 233 234 235 236 241 245 248 249 256 257 260 264 265 266 267 a 3 12 14 19 22 23 24 25 33 34 36 37 44 45 49 50 51 54 57 58 59 60 61 64 67 68 70 73 75 78 81 87 88 91 93 96 97 98 109 113 120 123 133 143 147 150 154 156 157 163 167 169 173 174 175 176 177 182 183 184 185 187 191 195 199 206 209 214 215 222 228 229 230 233 234 235 236 241 245 248 249 256 257 260 264 265 266 267 a 3 12 14 19 22 23 24 25 33 34 36 37 44 45 49 50 51 53 54 57 58 59 60 61 64 67 68 70 73 75 78 81 87 88 91 93 96 97 98 109 113 120 123 133 147 150 154 156 157 163 167 169 173 174 175 176 177 182 183 184 185 187 191 195 199 206 209 214 215 222 228 229 230 233 234 235 236 241 245 248 249 256 257 260 264 265 266 267 a 3 12 14 19 22 23 24 25 33 34 36 44 45 49 50 51 53 54 57 58 59 60 61 64 67 68 70 73 75 78 81 87 88 91 93 96 97 98 109 113 120 123 133 147 150 154 156 157 163 167 169 173 174 175 176 177 182 183 184 185 187 191 195 199 206 209 214 215 217 222 228 229 230 233 234 235 236 241 245 248 249 256 257 260 264 265 266 267 a 3 12 14 19 22 23 24 25 33 34 36 44 45 49 50 51 53 54 57 58 59 60 61 64 67 68 70 73 75 78 81 87 88 91 93 96 97 98 109 110 113 123 133 147 150 154 156 157 163 167 169 173 174 175 176 177 182 183 184 185 187 191 195 199 206 209 214 215 217 222 228 229 230 233 234 235 236 241 245 248 249 256 257 260 264 265 266 267 a 3 9 12 14 19 22 23 24 25 33 34 36 44 45 49 50 51 53 54 57 58 59 60 61 64 67 68 70 73 75 78 81 87 88 91 93 96 97 109 110 113 123 133 147 150 154 156 157 163 167 169 173 174 175 176 177 182 183 184 185 187 191 195 199 206 209 214 215 217 222 228 229 230 233 234 235 236 241 245 248 249 256 257 260 264 265 266 267 a 3 9 12 14 19 22 23 24 25 33 34 36 44 45 49 50 51 53 54 57 58 59 60 61 64 67 68 70 73 75 78 81 87 88 91 93 96 97 109 110 113 123 133 146 147 150 154 156 157 163 167 169 173 174 175 176 177 182 183 184 185 187 191 195 199 206 209 214 215 217 222 228 229 230 233 235 236 241 245 248 249 256 257 260 264 265 266 267 a 3 9 12 14 19 22 23 24 25 33 34 36 44 45 49 50 51 53 54 57 58 59 60 61 64 67 68 70 73 75 78 81 87 88 91 93 96 97 109 110 113 123 133 146 147 150 154 156 157 163 167 169 174 175 176 177 182 183 184 185 187 191 195 197 199 206 209 214 215 217 222 228 229 230 233 235 236 241 245 248 249 256 257 260 264 265 266 267 a 3 9 12 14 19 22 23 24 25 33 34 36 44 45 49 50 51 53 54 57 58 59 60 61 64 67 68 70 73 75 78 81 87 88 91 93 96 97 109 110 113 123 133 146 147 150 154 156 157 163 167 169 174 175 176 177 182 183 184 185 187 191 195 197 199 206 209 214 215 217 222 228 229 230 233 235 236 241 245 248 249 254 256 260 264 265 266 267 a 3 9 12 14 19 22 23 24 25 33 34 36 44 45 49 50 51 53 54 57 58 59 60 61 64 67 68 70 73 75 78 81 87 88 91 93 96 97 109 110 113 123 133 146 147 150 154 156 157 163 167 169 174 175 176 177 182 183 184 185 191 192 195 197 199 206 209 214 215 217 222 228 229 230 233 235 236 241 245 248 249 254 256 260 264 265 266 267 a 3 9 12 14 19 22 23 24 25 33 34 36 44 45 49 50 51 53 54 57 59 60 61 64 67 68 70 73 75 78 81 87 88 91 93 96 97 109 110 113 123 133 146 147 150 154 156 157 163 167 169 174 175 176 177 182 183 184 185 191 192 195 197 199 206 209 211 214 215 217 222 228 229 230 233 235 236 241 245 248 249 254 256 260 264 265 266 267 c Step: 118 #END: [Mon Sep 4 22:43:48 2023]