#BEGIN: [Mon Sep 4 14:42:26 2023] #HOST: s08 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance030_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance030_graph001_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance030_graph001.col /benchmark/random_instance/random_instance030_graph001_01.dat c /benchmark/random_instance/random_instance030_graph001.col c /benchmark/random_instance/random_instance030_graph001_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.001 seconds s 220 84 142 358 270 364 271 37 167 124 277 375 79 85 31 368 122 5 377 373 298 308 379 350 243 367 203 326 234 97 336 177 363 149 102 64 323 349 128 337 344 291 183 283 164 258 3 46 57 90 225 24 123 74 334 232 380 34 268 193 36 248 75 104 266 45 306 35 49 141 87 320 261 299 23 54 293 99 62 133 275 175 180 51 78 274 100 151 342 176 222 341 2 108 178 59 269 333 286 295 140 383 237 160 152 340 211 157 227 292 163 70 182 287 68 382 335 19 91 76 204 129 188 252 357 66 t 154 359 302 30 108 99 45 240 380 179 307 170 221 349 198 230 146 31 85 57 173 242 89 243 2 368 160 128 260 381 171 382 220 22 316 80 369 292 87 358 193 245 168 103 218 138 327 65 256 101 91 86 379 389 362 51 314 192 88 234 361 337 185 353 227 73 43 344 351 254 319 352 340 83 211 188 282 141 176 1 96 163 41 206 326 115 59 76 291 295 111 23 209 44 355 34 77 386 342 40 140 280 270 35 311 98 102 46 38 190 313 11 9 10 323 149 384 104 20 151 37 348 147 315 318 71 a YES a 2 3 5 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 78 79 84 85 87 90 91 97 99 100 102 104 108 122 123 124 128 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 225 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 373 375 377 379 380 382 383 a 2 3 5 19 23 24 31 34 35 36 37 45 46 49 51 57 59 62 64 66 68 70 74 75 76 78 79 84 85 87 90 91 97 99 100 102 104 108 122 123 124 128 129 133 140 141 142 149 151 152 157 160 163 164 167 174 175 176 177 178 180 182 183 188 193 203 204 211 220 222 225 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 373 375 377 379 380 382 383 a 2 3 5 19 23 24 31 34 35 36 37 45 46 49 51 57 59 62 64 66 68 70 74 75 76 77 78 79 84 85 87 90 91 97 99 100 102 104 108 122 123 124 128 129 133 140 141 142 149 151 152 157 160 163 164 167 174 175 176 177 178 180 182 183 188 193 203 204 211 220 222 225 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 320 323 326 333 334 335 336 337 340 342 344 349 350 357 358 363 364 367 368 373 375 377 379 380 382 383 a 2 3 5 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 77 78 79 84 85 87 90 91 97 99 100 102 104 108 122 123 124 128 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 225 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 320 323 326 333 334 335 336 337 340 342 344 349 350 357 358 363 364 367 368 373 375 377 379 380 382 383 a 2 3 5 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 77 78 79 84 85 87 90 91 97 99 100 102 104 108 122 123 124 128 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 225 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 320 323 326 333 334 335 336 337 340 342 344 349 350 357 358 363 364 367 368 375 377 379 380 381 382 383 a 2 3 5 19 23 24 29 31 34 35 36 37 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 77 78 79 84 85 87 90 91 97 99 100 102 104 108 122 123 124 128 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 225 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 320 323 326 333 334 335 336 337 340 342 344 350 357 358 363 364 367 368 375 377 379 380 381 382 383 a 2 3 5 19 23 24 29 31 34 35 36 37 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 77 78 79 85 87 90 91 97 99 100 102 104 108 122 123 124 128 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 225 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 309 320 323 326 333 334 335 336 337 340 342 344 350 357 358 363 364 367 368 375 377 379 380 381 382 383 a 2 3 5 19 23 24 29 31 34 35 36 37 45 46 49 51 57 59 62 64 66 68 70 74 75 76 77 78 79 85 87 90 91 97 99 100 102 104 108 122 123 124 128 129 133 140 141 142 149 151 152 157 160 163 164 167 174 175 176 177 178 180 182 183 188 193 203 204 211 220 222 225 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 309 320 323 326 333 334 335 336 337 340 342 344 350 357 358 363 364 367 368 375 377 379 380 381 382 383 a 3 5 19 23 24 29 31 34 35 36 37 45 46 49 51 57 59 62 64 66 68 70 74 75 76 77 78 79 85 87 90 91 97 99 100 102 104 108 122 123 124 128 129 133 140 141 142 149 151 152 157 160 163 164 167 174 175 176 177 178 180 182 183 188 193 203 204 211 220 222 225 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 309 316 320 323 326 333 334 335 336 337 340 342 344 350 357 358 363 364 367 368 375 377 379 380 381 382 383 a 3 5 19 23 24 29 31 34 35 36 37 45 46 49 51 57 59 62 64 66 68 70 74 75 76 77 78 79 85 87 90 91 97 99 100 102 104 108 122 123 124 128 129 133 140 141 142 149 151 152 157 160 163 164 167 174 175 176 177 178 180 182 183 188 193 203 204 211 220 222 225 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 309 316 320 323 326 333 334 335 336 337 340 342 344 350 357 358 363 364 367 368 373 375 377 379 380 382 383 a 3 5 19 23 24 29 31 34 35 36 37 45 46 49 51 57 59 62 64 66 68 70 74 75 76 77 78 79 85 87 90 91 97 99 100 102 104 108 122 123 124 128 129 133 140 141 142 149 151 152 157 160 163 164 165 167 174 175 176 177 178 180 182 183 188 193 203 204 211 220 222 225 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 309 316 320 323 326 333 334 335 336 337 340 342 344 350 357 358 363 364 367 368 373 375 379 380 382 383 a 3 5 19 23 24 29 31 34 35 36 37 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 77 78 79 85 87 90 91 97 99 100 102 104 108 122 123 124 128 129 133 140 141 142 149 151 152 157 160 163 164 165 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 225 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 309 316 320 323 326 333 334 335 336 337 340 342 344 350 357 358 363 364 367 368 373 375 379 380 382 383 a 3 5 19 23 24 29 31 34 35 36 37 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 77 78 79 85 87 90 91 97 99 100 102 104 108 122 123 124 128 129 133 140 141 142 149 150 151 152 157 160 163 164 165 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 225 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 309 316 320 323 326 333 334 335 336 337 340 342 344 350 357 358 363 367 368 373 375 379 380 382 383 a 3 5 19 23 24 29 31 34 35 36 37 38 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 77 78 79 85 87 90 91 97 99 100 102 104 108 122 123 124 128 129 133 140 141 142 149 150 151 152 157 160 163 164 165 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 225 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 308 309 316 320 323 326 333 334 335 336 337 340 342 344 350 357 358 363 367 368 373 375 379 380 382 383 a 3 5 19 23 24 29 31 34 35 36 37 38 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 77 78 79 85 87 89 90 91 97 99 100 102 104 108 122 123 124 128 129 133 140 141 142 149 150 151 152 157 160 163 164 165 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 225 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 308 309 316 320 323 326 333 334 335 336 337 340 342 344 350 357 358 363 367 368 375 379 380 382 383 a 3 5 19 23 24 29 31 34 35 36 37 38 45 46 49 51 54 57 59 62 64 68 70 74 75 76 77 78 79 85 87 89 90 91 97 99 100 102 104 108 122 123 124 128 129 133 140 141 142 149 150 151 152 157 160 163 164 165 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 225 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 308 309 316 320 323 326 333 334 335 336 337 340 342 344 350 357 358 363 364 367 368 375 379 380 382 383 a 3 5 19 23 24 29 31 34 35 36 37 38 45 46 49 51 54 57 59 62 64 68 70 74 75 76 77 78 79 85 87 90 91 97 99 100 102 104 108 122 123 124 128 129 133 140 141 142 149 150 151 152 157 160 163 164 165 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 225 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 308 309 316 320 323 326 333 334 335 336 337 340 342 344 350 357 358 363 364 367 368 373 375 379 380 382 383 a 3 5 19 23 24 29 31 34 35 36 37 38 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 77 78 79 85 87 90 91 97 99 100 102 108 122 123 124 128 129 133 140 141 142 149 150 151 152 157 160 163 164 165 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 225 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 308 309 316 320 323 326 333 334 335 336 337 340 342 344 350 357 358 363 364 367 368 373 375 379 380 382 383 a 3 5 19 23 24 29 31 34 35 36 37 38 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 77 78 79 85 87 89 90 91 97 99 100 102 108 122 123 124 128 129 133 140 141 142 149 150 151 152 157 160 163 164 165 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 225 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 308 309 316 320 323 326 333 334 335 336 337 340 342 344 350 357 358 363 364 367 368 375 379 380 382 383 a 3 5 19 23 24 29 31 34 35 36 37 38 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 77 78 79 85 87 89 90 91 97 99 100 102 104 108 122 123 124 128 129 133 140 141 142 149 150 151 152 157 160 163 164 165 175 176 177 178 180 182 183 188 193 203 204 211 220 222 225 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 308 309 316 320 323 326 333 334 335 336 337 340 342 344 350 357 358 363 364 367 368 375 379 380 382 383 a 3 5 19 23 24 29 31 34 35 36 38 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 77 78 79 85 87 89 90 91 97 99 100 102 104 108 122 123 124 128 129 133 140 141 142 149 150 151 152 157 160 163 164 165 175 176 177 178 180 182 183 188 193 203 204 211 220 222 225 227 232 234 237 243 248 252 258 261 264 266 268 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 308 309 316 320 323 326 333 334 335 336 337 340 342 344 350 357 358 363 364 367 368 375 379 380 382 383 a 3 5 19 22 23 24 29 31 34 35 36 38 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 77 78 79 85 87 89 90 91 97 99 100 102 104 108 122 123 124 128 129 133 140 141 142 149 150 151 152 157 160 163 164 165 175 176 177 178 180 182 183 188 193 203 204 211 220 222 225 227 232 234 237 243 248 252 258 261 264 266 268 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 308 309 316 320 323 326 333 334 335 336 337 340 342 344 350 357 358 363 364 367 368 379 380 382 383 a 3 5 19 22 23 24 29 31 34 35 36 38 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 77 78 79 85 87 89 90 91 97 99 100 102 104 108 122 124 128 129 133 140 141 142 149 150 151 152 157 160 163 164 165 175 176 177 178 180 182 183 188 193 203 204 211 220 222 225 227 232 234 237 243 248 252 257 258 261 264 266 268 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 308 309 316 320 323 326 333 334 335 336 337 340 342 344 350 357 358 363 364 367 368 379 380 382 383 a 3 5 19 22 23 24 29 31 34 35 36 38 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 77 78 79 85 87 89 90 91 97 99 100 102 104 108 122 124 128 129 133 140 141 142 149 150 151 152 157 160 163 164 165 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 225 227 232 234 237 243 248 252 257 258 261 264 266 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 308 309 316 320 323 326 333 334 335 336 337 340 342 344 350 357 358 363 364 367 368 379 380 382 383 a 3 5 6 19 22 23 24 29 31 34 35 36 38 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 77 78 79 85 87 89 90 91 97 99 100 102 104 108 122 124 128 129 133 140 141 142 149 150 151 152 157 160 163 164 165 167 175 176 177 178 180 182 188 193 203 204 211 220 222 225 227 232 234 237 243 248 252 257 258 261 264 266 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 308 309 316 320 323 326 333 334 335 336 337 340 342 344 350 357 358 363 364 367 368 379 380 382 383 a 3 5 6 19 22 23 24 29 31 34 35 36 38 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 77 78 79 85 87 89 90 91 97 99 100 102 104 108 122 124 128 129 133 140 141 142 149 150 151 152 157 160 163 164 165 167 175 176 177 178 180 182 188 193 203 204 211 215 220 222 225 227 232 234 237 243 248 252 257 258 261 264 266 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 308 309 316 320 323 326 333 334 335 336 337 340 342 344 350 357 363 364 367 368 379 380 382 383 a 3 5 6 19 22 23 24 29 31 34 35 36 38 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 77 78 79 85 87 89 90 91 97 99 100 102 104 122 124 128 129 133 140 141 142 149 150 151 152 157 160 163 164 165 167 175 176 177 178 180 182 188 193 203 204 211 215 220 222 225 227 232 234 237 243 248 252 257 258 261 264 266 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 308 309 316 320 323 326 333 334 335 336 337 340 342 344 350 357 363 364 367 368 379 380 382 383 a 3 5 6 19 22 23 24 29 31 34 35 36 38 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 77 78 79 85 87 89 90 91 97 99 100 102 104 122 124 128 129 133 140 141 142 149 150 151 152 157 160 163 164 165 167 175 176 177 178 180 182 188 193 203 204 211 215 220 222 225 227 232 234 237 243 248 252 257 258 261 266 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 308 309 316 320 323 326 333 334 335 336 337 340 342 344 345 350 357 363 364 367 368 379 380 382 383 a 3 5 6 19 22 23 24 29 31 34 35 36 38 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 77 78 79 85 87 89 90 91 97 99 100 102 104 122 124 128 129 133 140 141 142 149 150 151 152 157 160 163 164 165 167 175 176 177 178 180 182 188 193 203 204 211 215 220 222 225 227 232 234 237 243 248 252 257 258 261 266 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 308 309 316 320 323 326 333 334 335 336 337 340 342 344 345 350 357 363 364 367 368 379 380 382 385 a 3 5 6 19 22 23 24 29 31 34 35 36 38 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 77 78 79 85 87 89 90 91 97 99 100 102 104 108 122 124 128 129 133 140 141 142 149 150 151 152 157 160 163 164 165 167 175 176 177 178 180 182 188 193 203 204 211 215 220 222 225 227 232 234 237 243 248 252 257 258 261 266 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 308 309 320 323 326 333 334 335 336 337 340 342 344 345 350 357 363 364 367 368 379 380 382 385 a 3 5 6 19 22 23 24 29 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 77 78 79 85 87 89 90 91 97 99 100 102 104 108 122 124 128 129 133 140 141 142 149 150 151 152 157 160 163 164 165 167 175 176 177 178 180 182 188 193 203 204 211 215 220 222 225 227 232 234 237 243 248 252 257 261 266 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 308 309 320 323 326 333 334 335 336 337 340 342 344 345 350 357 363 364 367 368 379 380 382 385 a 3 5 6 19 22 23 24 29 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 68 70 74 75 76 77 78 79 85 87 89 90 91 97 99 100 102 104 108 122 124 128 129 133 140 141 142 149 150 151 152 157 160 163 164 165 167 175 176 177 178 180 182 188 193 203 204 211 215 220 222 225 227 232 234 237 243 248 252 257 261 266 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 308 309 320 323 326 333 334 335 336 337 340 342 344 345 350 357 363 364 367 368 379 380 382 383 385 a 3 5 6 19 22 23 24 29 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 68 70 74 75 76 77 78 79 85 87 89 90 91 97 99 100 102 104 108 122 124 128 129 133 140 141 142 149 150 151 152 157 160 163 164 165 167 175 176 177 178 180 182 188 193 203 204 211 215 220 222 225 227 232 234 237 243 248 252 257 261 266 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 308 309 316 320 323 326 333 334 335 336 337 340 342 344 345 350 357 363 367 368 379 380 382 383 385 a 3 5 6 19 22 23 24 29 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 68 70 74 75 76 77 78 79 85 87 89 90 91 97 99 100 102 104 108 122 124 128 129 133 140 141 142 149 150 151 152 157 160 163 164 165 167 175 176 177 178 180 182 188 193 203 204 211 215 220 222 225 227 232 234 237 243 248 252 257 258 261 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 308 309 316 320 323 326 333 334 335 336 337 340 342 344 345 350 357 363 367 368 379 380 382 383 385 a 3 5 6 19 22 23 24 29 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 77 78 79 85 87 89 90 91 97 99 100 102 104 108 122 124 129 133 140 141 142 149 150 151 152 157 160 163 164 165 167 175 176 177 178 180 182 188 193 203 204 211 215 220 222 225 227 232 234 237 243 248 252 257 258 261 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 308 309 316 320 323 326 333 334 335 336 337 340 342 344 345 350 357 363 367 368 379 380 382 383 385 a 3 5 6 19 22 23 24 29 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 77 78 79 85 87 89 90 91 97 99 100 102 104 108 122 124 129 133 140 141 142 149 150 151 152 157 160 163 164 165 167 175 176 177 178 180 182 188 193 203 204 211 215 220 222 225 227 232 234 237 243 248 252 257 258 261 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 308 309 316 320 323 326 333 334 335 336 337 340 342 344 345 350 357 363 364 367 368 379 380 382 383 a 3 6 19 22 23 24 29 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 77 78 79 85 86 87 89 90 91 97 99 100 102 104 108 122 124 129 133 140 141 142 149 150 151 152 157 160 163 164 165 167 175 176 177 178 180 182 188 193 203 204 211 215 220 222 225 227 232 234 237 243 248 252 257 258 261 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 308 309 316 320 323 326 333 334 335 336 337 340 342 344 345 350 357 363 364 367 368 379 380 382 383 a 3 6 19 22 23 24 29 31 34 35 36 37 38 45 46 49 54 57 59 61 62 64 66 68 70 74 75 76 77 78 79 85 86 87 89 90 91 97 99 100 102 104 108 122 124 129 133 140 141 142 149 150 151 152 157 160 163 164 165 167 175 176 177 178 180 182 188 193 203 204 211 215 220 222 225 227 232 234 237 243 248 252 257 258 261 266 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 308 309 316 320 323 326 333 334 335 336 337 340 342 344 345 350 357 363 364 367 368 379 380 382 383 a 3 6 19 22 23 24 29 31 34 35 36 37 38 45 46 49 54 57 59 61 62 64 66 68 70 74 75 76 77 78 79 85 87 89 90 91 97 99 100 102 104 108 122 124 129 133 140 141 142 149 150 151 152 157 160 163 164 165 167 175 176 177 178 180 182 188 193 203 204 211 215 220 222 225 227 232 234 237 243 248 252 257 258 261 266 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 308 309 316 320 323 326 333 334 335 336 337 340 342 344 345 350 357 363 364 367 368 379 380 381 382 383 a 3 6 19 22 23 24 29 31 34 35 36 37 38 45 46 49 54 57 59 61 62 64 66 68 70 74 75 76 77 78 79 85 87 89 90 91 97 99 100 102 104 108 122 124 129 133 140 141 142 149 150 151 152 157 160 163 164 165 167 169 175 176 177 178 180 182 188 193 203 204 211 215 220 222 225 227 232 234 237 243 248 252 257 258 261 266 269 270 271 274 275 277 286 287 291 292 293 295 299 306 308 309 316 320 323 326 333 334 335 336 337 340 342 344 345 350 357 363 364 367 368 379 380 381 382 383 a 3 6 19 22 23 24 29 31 34 35 36 37 38 45 46 49 54 57 59 61 62 64 66 68 70 74 75 76 77 78 79 85 86 87 89 90 91 97 99 100 102 104 108 122 124 129 133 140 141 142 149 150 151 152 157 160 163 164 165 167 169 175 176 177 178 180 182 188 193 203 204 211 215 220 222 225 227 232 234 237 243 252 257 258 261 266 269 270 271 274 275 277 286 287 291 292 293 295 299 306 308 309 316 320 323 326 333 334 335 336 337 340 342 344 345 350 357 363 364 367 368 379 380 381 382 383 a 3 6 19 22 23 24 29 31 34 35 36 37 38 45 46 49 54 57 59 61 62 64 66 68 70 74 75 76 77 78 79 85 86 87 89 90 91 97 99 100 102 104 108 122 124 129 133 138 140 141 142 149 150 151 152 157 160 163 164 165 167 169 175 176 177 178 180 182 188 193 203 204 211 215 220 222 225 227 232 234 237 243 252 257 258 261 266 269 270 271 274 275 277 286 287 291 292 293 295 299 306 308 309 316 320 323 326 333 334 335 336 337 340 342 344 345 350 357 363 364 367 368 379 380 381 382 a 3 6 19 22 23 24 29 31 34 36 37 38 45 46 49 54 57 59 61 62 64 66 68 70 74 75 76 77 78 79 85 86 87 89 90 91 97 99 100 102 104 108 122 124 128 129 133 138 140 141 142 149 150 151 152 157 160 163 164 165 167 169 175 176 177 178 180 182 188 193 203 204 211 215 220 222 225 227 232 234 237 243 252 257 258 261 266 269 270 271 274 275 277 286 287 291 292 293 295 299 306 308 309 316 320 323 326 333 334 335 336 337 340 342 344 345 350 357 363 364 367 368 379 380 381 382 a 3 6 19 22 23 24 29 31 34 36 37 38 45 46 49 54 57 59 61 62 64 66 68 70 74 75 76 77 78 79 85 86 87 89 90 91 97 99 100 102 104 108 122 124 128 129 133 138 140 141 142 149 150 151 152 157 160 163 164 165 167 169 175 176 177 178 180 182 188 193 203 204 205 211 215 220 222 225 227 232 234 237 243 252 257 258 261 266 269 270 271 274 275 277 286 287 291 292 293 295 299 306 308 309 320 323 326 333 334 335 336 337 340 342 344 345 350 357 363 364 367 368 379 380 381 382 a 3 6 19 22 23 24 29 31 35 36 37 38 45 46 49 54 57 59 61 62 64 66 68 70 74 75 76 77 78 79 85 86 87 89 90 91 97 99 100 102 104 108 122 124 128 129 133 138 140 141 142 149 150 151 152 157 160 163 164 165 167 169 175 176 177 178 180 182 188 193 203 204 205 211 215 220 222 225 227 232 234 237 243 252 257 258 261 266 269 270 271 274 275 277 286 287 291 292 293 295 299 306 308 309 320 323 326 333 334 335 336 337 340 342 344 345 350 357 363 364 367 368 379 380 381 382 a 3 6 19 22 23 24 29 31 35 36 37 38 45 46 49 54 57 59 61 62 64 66 68 70 74 75 76 77 78 79 85 86 87 89 90 91 97 99 100 102 104 108 122 124 128 129 133 138 140 141 142 149 150 151 152 157 160 163 164 165 167 175 176 177 178 180 182 188 193 203 204 205 211 215 220 222 225 227 232 234 237 243 252 257 258 261 266 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 308 309 320 323 326 333 334 335 336 337 340 342 344 345 350 357 363 364 367 368 379 380 381 382 a 3 6 19 22 23 24 29 31 35 36 37 38 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 77 78 79 85 86 87 89 90 91 97 99 100 102 104 108 122 124 128 129 133 138 140 141 142 149 150 151 152 157 160 163 164 165 167 175 176 177 178 180 182 188 193 203 204 205 211 215 220 222 225 227 232 234 237 243 252 257 258 261 266 269 270 271 274 275 277 286 287 291 293 295 298 299 306 308 309 320 323 326 333 334 335 336 337 340 342 344 345 350 357 363 364 367 368 379 380 381 382 a 3 6 19 22 23 24 29 31 35 36 37 38 45 46 49 51 54 57 59 61 62 64 66 68 74 75 76 77 78 79 85 86 87 89 90 91 97 99 100 102 104 108 122 124 128 129 133 138 140 141 142 149 150 151 152 157 160 163 164 165 167 175 176 177 178 180 182 188 193 203 204 205 211 215 220 222 225 227 232 234 237 243 252 257 258 261 266 269 270 271 274 275 277 286 287 291 293 295 298 299 306 308 309 320 323 326 333 334 335 336 337 340 342 344 345 350 357 363 364 367 368 379 380 381 382 383 a 3 6 19 22 23 24 29 31 35 36 37 38 45 46 49 51 54 57 59 61 62 64 66 68 74 75 76 77 78 79 84 85 86 87 89 90 91 97 99 100 102 104 108 122 124 128 129 133 138 140 141 142 149 150 151 152 157 160 163 164 165 167 175 176 177 178 180 182 188 193 203 204 205 211 215 220 222 225 227 232 234 237 243 252 257 258 261 266 269 270 271 274 275 277 286 287 291 293 295 298 299 306 308 320 323 326 333 334 335 336 337 340 342 344 345 350 357 363 364 367 368 379 380 381 382 383 a 3 6 19 22 23 24 29 31 35 36 37 38 45 46 49 51 54 57 59 61 62 64 66 68 74 75 76 77 78 79 84 85 86 87 89 90 91 97 99 100 102 104 108 122 124 128 129 133 138 140 141 142 149 150 151 152 157 160 163 164 165 167 169 175 176 177 178 180 182 188 193 203 204 205 211 215 220 222 225 227 232 234 237 243 252 257 258 261 266 269 270 271 274 275 277 286 287 291 293 295 299 306 308 320 323 326 333 334 335 336 337 340 342 344 345 350 357 363 364 367 368 379 380 381 382 383 a 3 6 19 22 23 24 29 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 66 68 74 75 76 77 78 79 84 85 86 87 89 90 91 97 99 100 102 104 108 122 124 128 129 133 138 140 141 142 149 150 151 152 157 160 163 164 165 167 169 175 176 177 178 180 182 188 193 203 204 205 211 215 220 222 225 227 232 234 237 243 252 257 258 261 266 269 270 271 274 275 277 286 287 291 293 295 299 306 308 320 323 326 333 334 335 336 337 340 342 344 345 350 357 363 364 367 368 379 380 381 383 a 3 6 19 22 23 24 29 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 77 78 79 84 85 86 87 89 90 91 97 99 100 102 104 108 122 124 128 129 133 138 140 141 142 149 150 151 152 157 160 163 164 165 167 169 175 176 177 178 180 182 188 193 203 204 205 211 215 220 222 225 227 232 234 243 252 257 258 261 266 269 270 271 274 275 277 286 287 291 293 295 299 306 308 320 323 326 333 334 335 336 337 340 342 344 345 350 357 363 364 367 368 379 380 381 383 a 3 6 19 22 23 24 29 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 78 79 84 85 86 87 89 90 91 97 99 100 102 104 108 122 124 128 129 133 138 140 141 142 149 150 151 152 157 160 163 164 165 167 169 175 176 177 178 180 182 188 193 203 204 205 211 215 220 222 225 227 232 234 243 252 257 258 261 266 269 270 271 274 275 277 286 287 291 292 293 295 299 306 308 320 323 326 333 334 335 336 337 340 342 344 345 350 357 363 364 367 368 379 380 381 383 a 3 6 19 22 23 24 29 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 78 79 84 85 86 87 89 90 91 97 99 100 102 104 108 122 124 128 129 133 138 140 141 142 149 150 151 152 157 160 163 164 167 169 175 176 177 178 180 182 188 193 203 204 205 211 215 220 222 225 227 232 234 237 243 252 257 258 261 266 269 270 271 274 275 277 286 287 291 292 293 295 299 306 308 320 323 326 333 334 335 336 337 340 342 344 345 350 357 363 364 367 368 379 380 381 383 a 3 6 19 22 23 24 29 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 78 79 84 85 86 87 89 90 91 97 99 100 102 104 108 122 124 128 129 133 138 140 141 142 149 150 151 152 157 160 163 164 167 169 175 176 177 178 180 182 188 193 204 205 211 215 220 222 225 227 232 234 237 243 252 257 258 261 266 269 270 271 274 275 277 286 287 291 292 293 295 299 306 308 320 323 326 333 334 335 336 337 340 342 344 345 350 357 363 364 367 368 379 380 381 382 383 a 3 6 19 22 23 24 29 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 68 70 74 75 76 77 78 79 84 85 86 87 89 90 91 97 99 100 102 104 108 122 124 128 129 133 138 140 141 142 149 150 151 152 157 160 163 164 167 169 175 176 177 178 180 182 188 193 204 205 211 215 220 222 225 227 232 234 237 243 252 257 258 261 266 269 270 271 274 275 277 286 287 291 292 293 295 299 306 308 320 323 326 333 334 335 336 337 340 342 344 345 350 357 363 364 367 368 379 380 381 382 383 a 3 6 19 22 23 24 29 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 68 70 74 75 76 77 78 79 84 85 86 87 89 90 91 97 99 100 102 104 108 122 124 128 129 133 138 140 141 149 150 151 152 157 160 163 164 167 169 175 176 177 178 180 182 188 193 204 205 211 215 220 222 225 227 232 234 237 243 252 257 258 261 266 269 270 271 274 275 277 286 287 291 292 293 295 299 306 308 320 323 326 333 334 335 336 337 340 342 344 345 350 357 363 364 367 368 379 380 381 382 383 384 a 3 6 19 22 23 24 29 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 68 70 74 75 76 77 79 84 85 86 87 89 90 91 97 99 100 102 104 108 122 124 128 129 133 138 140 141 149 150 151 152 157 160 163 164 167 169 175 176 177 178 180 182 188 193 204 205 211 215 220 222 225 227 232 234 237 243 252 257 258 261 266 269 270 271 274 275 277 286 287 291 292 293 295 299 306 308 313 320 323 326 333 334 335 336 337 340 342 344 345 350 357 363 364 367 368 379 380 381 382 383 384 a 3 6 19 22 23 24 29 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 68 70 74 75 76 77 79 84 85 86 87 89 90 91 97 99 100 102 103 104 108 122 124 128 129 133 138 140 141 149 150 151 152 157 160 163 164 167 169 175 176 177 178 180 182 188 193 204 205 211 215 220 222 225 227 232 234 237 243 252 257 258 261 266 269 270 271 274 275 277 286 287 291 292 293 295 299 306 308 313 320 323 326 333 334 336 337 340 342 344 345 350 357 363 364 367 368 379 380 381 382 383 384 a 3 6 19 22 23 24 29 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 68 70 74 75 76 77 79 84 85 86 87 89 90 91 97 99 100 102 103 104 108 122 124 128 129 133 138 140 141 149 150 151 152 157 160 163 164 167 169 175 176 177 178 180 182 188 193 204 205 209 211 215 220 222 225 227 232 234 237 243 252 257 258 261 266 269 270 271 274 275 277 286 287 291 292 293 295 299 306 308 313 320 323 326 333 334 336 337 340 342 344 345 350 357 363 364 367 368 379 380 381 382 384 a 3 6 19 22 23 24 29 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 68 70 74 75 76 77 79 84 85 86 87 89 90 91 97 99 100 102 103 104 108 122 124 128 129 133 138 140 141 149 150 151 152 157 160 163 164 167 169 175 176 177 178 180 182 188 193 204 205 209 211 215 220 222 225 227 232 234 237 243 252 257 258 261 266 269 270 271 275 277 286 287 291 292 293 295 299 306 308 313 320 323 326 327 333 334 336 337 340 342 344 345 350 357 363 364 367 368 379 380 381 382 384 a 3 6 19 22 23 24 29 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 68 70 74 75 76 77 79 84 85 86 87 89 90 91 97 99 100 102 103 104 108 115 122 124 128 129 133 138 140 141 149 150 151 152 157 160 163 164 167 169 175 176 177 178 180 182 188 193 204 205 209 211 215 220 222 227 232 234 237 243 252 257 258 261 266 269 270 271 275 277 286 287 291 292 293 295 299 306 308 313 320 323 326 327 333 334 336 337 340 342 344 345 350 357 363 364 367 368 379 380 381 382 384 a 3 6 19 22 23 24 29 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 68 70 74 75 76 77 79 84 85 86 87 89 91 97 99 100 102 103 104 108 115 122 124 128 129 133 138 140 141 149 150 151 152 157 160 163 164 167 169 175 176 177 178 180 182 188 193 204 205 209 211 215 220 222 227 232 234 237 243 252 257 258 261 266 269 270 271 275 277 286 287 291 292 293 295 299 302 306 308 313 320 323 326 327 333 334 336 337 340 342 344 345 350 357 363 364 367 368 379 380 381 382 384 a 3 6 19 22 23 24 29 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 65 68 70 74 75 76 77 79 84 85 86 87 89 91 97 99 100 102 103 104 108 115 122 124 128 129 133 138 140 141 149 150 151 152 157 160 163 164 167 169 175 176 177 178 180 182 188 193 204 205 209 211 215 220 222 227 232 234 237 243 252 257 258 261 266 269 270 271 275 277 286 287 291 292 293 295 299 302 306 313 320 323 326 327 333 334 336 337 340 342 344 345 350 357 363 364 367 368 379 380 381 382 384 a 3 6 19 22 23 24 29 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 65 68 70 74 75 76 77 79 84 85 86 87 89 91 97 99 100 102 103 104 108 115 122 124 128 129 133 138 140 141 149 150 151 152 157 160 163 164 167 169 175 176 177 178 180 188 193 204 205 209 211 215 220 222 227 232 234 237 243 252 257 258 261 266 269 270 271 275 277 286 287 291 292 293 295 299 302 306 313 315 320 323 326 327 333 334 336 337 340 342 344 345 350 357 363 364 367 368 379 380 381 382 384 a 3 6 19 22 23 24 29 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 65 68 70 74 75 76 77 79 84 85 86 87 89 91 97 99 100 102 103 104 108 115 122 124 128 129 133 138 140 141 149 150 151 152 157 160 163 164 167 169 175 176 178 180 188 193 204 205 209 211 215 220 222 227 232 234 237 243 252 257 258 261 266 269 270 271 275 277 286 287 291 292 293 295 299 302 306 311 313 315 320 323 326 327 333 334 336 337 340 342 344 345 350 357 363 364 367 368 379 380 381 382 384 a 3 6 19 22 23 24 29 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 65 68 70 74 75 76 77 79 84 85 86 87 89 91 97 99 100 102 103 104 108 115 122 124 128 129 133 138 140 141 149 150 151 152 157 160 163 164 167 169 175 176 178 179 180 188 193 204 205 209 211 215 220 222 227 232 234 243 252 257 258 261 266 269 270 271 275 277 286 287 291 292 293 295 299 302 306 311 313 315 320 323 326 327 333 334 336 337 340 342 344 345 350 357 363 364 367 368 379 380 381 382 384 a 3 6 19 22 23 24 29 31 34 35 36 37 38 45 46 49 51 57 59 61 62 64 65 68 70 74 75 76 77 79 84 85 86 87 89 91 97 99 100 102 103 104 108 115 122 124 128 129 133 138 140 141 149 150 151 152 157 160 163 164 167 169 175 176 178 179 180 188 193 204 205 209 211 215 220 222 227 230 232 234 243 252 257 258 261 266 269 270 271 275 277 286 287 291 292 293 295 299 302 306 311 313 315 320 323 326 327 333 334 336 337 340 342 344 345 350 357 363 364 367 368 379 380 381 382 384 a 3 6 19 22 23 24 29 31 34 35 36 37 38 45 46 49 51 57 59 61 62 64 65 68 70 74 75 76 77 79 84 85 86 87 89 91 97 99 100 102 103 104 108 115 122 124 128 129 133 138 140 141 149 150 151 152 157 160 163 164 167 169 175 176 178 179 180 188 193 204 205 209 211 215 220 222 227 230 232 234 243 252 257 258 261 266 269 270 271 275 277 286 287 291 292 293 295 299 302 306 311 313 315 318 320 323 326 327 333 334 336 337 340 342 344 345 350 357 363 364 368 379 380 381 382 384 a 3 6 19 20 22 23 24 29 31 34 35 37 38 45 46 49 51 57 59 61 62 64 65 68 70 74 75 76 77 79 84 85 86 87 89 91 97 99 100 102 103 104 108 115 122 124 128 129 133 138 140 141 149 150 151 152 157 160 163 164 167 169 175 176 178 179 180 188 193 204 205 209 211 215 220 222 227 230 232 234 243 252 257 258 261 266 269 270 271 275 277 286 287 291 292 293 295 299 302 306 311 313 315 318 320 323 326 327 333 334 336 337 340 342 344 345 350 357 363 364 368 379 380 381 382 384 a 3 6 10 19 20 22 23 24 29 31 34 35 37 38 45 46 49 51 57 59 61 62 64 65 68 70 74 75 76 77 79 84 85 86 87 89 91 97 99 100 102 103 104 108 115 122 124 128 129 133 138 140 141 149 150 151 152 157 160 163 164 167 169 175 176 178 179 180 188 193 204 205 209 211 215 220 222 227 230 232 234 243 252 257 258 261 266 269 270 271 275 277 286 287 291 292 293 295 299 302 306 311 313 315 318 320 323 326 327 333 336 337 340 342 344 345 350 357 363 364 368 379 380 381 382 384 a 2 3 6 10 19 20 22 23 24 29 31 34 35 37 38 45 46 49 51 57 59 61 64 65 68 70 74 75 76 77 79 84 85 86 87 89 91 97 99 100 102 103 104 108 115 122 124 128 129 133 138 140 141 149 150 151 152 157 160 163 164 167 169 175 176 178 179 180 188 193 204 205 209 211 215 220 222 227 230 232 234 243 252 257 258 261 266 269 270 271 275 277 286 287 291 292 293 295 299 302 306 311 313 315 318 320 323 326 327 333 336 337 340 342 344 345 350 357 363 364 368 379 380 381 382 384 a 2 3 6 10 19 20 22 23 24 29 31 34 35 37 38 45 46 49 51 57 59 61 64 65 68 70 74 75 76 77 79 80 84 85 86 87 89 91 97 99 100 102 103 104 108 115 122 124 128 129 133 138 140 141 149 150 151 152 157 160 163 164 167 169 175 176 178 179 180 188 193 204 205 209 211 215 220 222 227 230 232 234 243 252 257 261 266 269 270 271 275 277 286 287 291 292 293 295 299 302 306 311 313 315 318 320 323 326 327 333 336 337 340 342 344 345 350 357 363 364 368 379 380 381 382 384 a 2 3 6 10 19 20 22 23 24 29 31 34 35 37 38 41 45 46 49 51 57 59 61 64 65 68 70 74 75 76 77 79 80 84 85 86 87 89 91 97 99 100 102 103 104 108 115 122 124 128 129 133 138 140 141 149 150 151 152 157 160 163 164 167 169 175 176 178 179 180 188 193 204 205 209 211 215 220 222 227 230 232 234 243 252 257 261 266 269 270 271 275 277 286 287 291 292 293 295 299 302 306 311 313 315 318 320 323 326 327 336 337 340 342 344 345 350 357 363 364 368 379 380 381 382 384 a 2 3 6 10 11 19 20 22 23 24 29 31 34 35 37 38 41 45 46 51 57 59 61 64 65 68 70 74 75 76 77 79 80 84 85 86 87 89 91 97 99 100 102 103 104 108 115 122 124 128 129 133 138 140 141 149 150 151 152 157 160 163 164 167 169 175 176 178 179 180 188 193 204 205 209 211 215 220 222 227 230 232 234 243 252 257 261 266 269 270 271 275 277 286 287 291 292 293 295 299 302 306 311 313 315 318 320 323 326 327 336 337 340 342 344 345 350 357 363 364 368 379 380 381 382 384 a 2 3 6 10 11 19 20 22 23 24 29 31 34 35 37 38 41 45 46 51 57 59 61 64 65 68 70 74 75 76 77 79 80 84 85 86 87 89 91 97 98 99 100 102 103 104 108 115 122 124 128 129 133 138 140 141 149 150 151 152 157 160 163 164 167 169 175 176 179 180 188 193 204 205 209 211 215 220 222 227 230 232 234 243 252 257 261 266 269 270 271 275 277 286 287 291 292 293 295 299 302 306 311 313 315 318 320 323 326 327 336 337 340 342 344 345 350 357 363 364 368 379 380 381 382 384 a 2 3 6 10 11 19 20 22 23 24 29 31 34 35 37 38 41 45 46 51 57 59 61 64 65 68 70 74 75 76 77 79 80 84 85 86 87 89 91 97 98 99 100 102 103 104 108 115 122 124 128 129 138 140 141 149 150 151 152 154 157 160 163 164 167 169 175 176 179 180 188 193 204 205 209 211 215 220 222 227 230 232 234 243 252 257 261 266 269 270 271 275 277 286 287 291 292 293 295 299 302 306 311 313 315 318 320 323 326 327 336 337 340 342 344 345 350 357 363 364 368 379 380 381 382 384 a 2 3 10 11 19 20 22 23 24 29 30 31 34 35 37 38 41 45 46 51 57 59 61 64 65 68 70 74 75 76 77 79 80 84 85 86 87 89 91 97 98 99 100 102 103 104 108 115 122 124 128 129 138 140 141 149 150 151 152 154 157 160 163 164 167 169 175 176 179 180 188 193 204 205 209 211 215 220 222 227 230 232 234 243 252 257 261 266 269 270 271 275 277 286 287 291 292 293 295 299 302 306 311 313 315 318 320 323 326 327 336 337 340 342 344 345 350 357 363 364 368 379 380 381 382 384 a 2 10 11 19 20 22 23 24 29 30 31 34 35 37 38 41 45 46 51 57 59 61 64 65 68 70 74 75 76 77 79 80 84 85 86 87 89 91 97 98 99 100 102 103 104 108 115 122 124 128 129 138 140 141 149 150 151 152 154 157 160 163 164 167 169 175 176 179 180 188 193 204 205 209 211 215 220 222 227 230 232 234 243 252 257 261 266 269 270 271 275 277 286 287 291 292 293 295 299 302 306 311 313 315 318 320 323 326 327 336 337 340 342 344 345 350 353 357 363 364 368 379 380 381 382 384 a 2 10 11 19 20 22 23 24 29 30 31 34 35 37 38 41 45 46 51 57 59 61 64 65 68 70 74 75 76 77 79 80 84 85 86 87 89 91 96 97 98 99 100 102 103 104 108 115 122 124 128 129 138 140 141 149 150 151 152 154 157 160 163 164 167 169 175 176 179 180 188 193 204 205 209 211 215 220 222 227 230 232 234 243 252 257 261 266 269 270 271 275 277 286 287 291 292 293 295 299 302 306 311 313 315 318 320 323 326 327 337 340 342 344 345 350 353 357 363 364 368 379 380 381 382 384 a 2 10 11 19 20 22 23 24 29 30 31 34 35 37 38 41 45 46 51 57 59 61 64 65 68 70 74 75 76 77 79 80 84 85 86 87 89 91 96 97 98 99 100 102 103 104 108 115 122 124 128 129 138 140 141 149 150 151 152 154 157 160 163 164 167 169 175 176 179 180 188 193 204 205 209 211 215 220 222 227 230 234 243 252 257 261 266 269 270 271 275 277 286 287 291 292 293 295 299 302 306 307 311 313 315 318 320 323 326 327 337 340 342 344 345 350 353 357 363 364 368 379 380 381 382 384 a 1 2 10 11 19 20 22 23 24 29 30 31 34 35 37 38 41 45 46 51 57 59 61 64 65 68 70 74 75 76 77 79 80 84 85 86 87 89 91 96 97 98 99 100 102 103 104 108 115 122 124 128 129 138 140 141 149 150 151 152 154 157 160 163 164 167 169 175 176 179 180 188 193 204 205 209 211 215 220 222 227 230 234 243 252 257 261 266 269 270 271 275 277 286 287 291 292 293 295 299 302 306 307 311 313 315 318 320 323 326 327 337 340 342 344 345 350 353 363 364 368 379 380 381 382 384 a 1 2 10 11 19 20 22 23 24 29 30 31 34 35 37 38 41 45 46 51 57 59 61 64 65 68 70 74 75 76 77 79 80 84 85 86 87 89 91 96 97 98 99 100 102 103 104 108 115 122 124 128 129 138 140 141 149 150 151 152 154 157 160 163 164 167 169 175 176 179 180 188 193 204 205 209 211 215 220 222 227 230 234 243 257 260 261 266 269 270 271 275 277 286 287 291 292 293 295 299 302 306 307 311 313 315 318 320 323 326 327 337 340 342 344 345 350 353 363 364 368 379 380 381 382 384 a 1 2 10 11 19 20 22 23 24 29 30 31 34 35 37 38 40 41 45 46 51 57 59 61 64 65 68 70 74 75 76 77 79 80 84 85 86 87 89 91 96 97 98 99 100 102 103 104 108 115 122 124 128 129 138 140 141 149 150 151 152 154 157 160 163 164 167 169 175 176 179 180 188 193 204 205 209 211 215 220 222 227 230 234 243 257 260 266 269 270 271 275 277 286 287 291 292 293 295 299 302 306 307 311 313 315 318 320 323 326 327 337 340 342 344 345 350 353 363 364 368 379 380 381 382 384 a 1 2 10 11 19 20 22 23 24 29 30 31 34 35 37 38 40 41 45 46 51 57 59 61 64 65 68 70 74 75 76 77 79 80 84 85 86 87 89 91 96 97 98 99 100 102 103 104 108 115 124 128 129 138 140 141 149 150 151 152 154 157 160 163 164 167 169 175 176 179 180 188 193 204 205 209 211 215 220 222 227 230 234 243 257 260 266 269 270 271 275 277 286 287 291 292 293 295 299 302 306 307 311 313 315 318 320 323 326 327 337 340 342 344 345 350 353 359 363 364 368 379 380 381 382 384 a 1 2 10 11 19 20 22 23 24 29 30 31 34 35 37 38 40 41 45 46 51 57 59 61 65 68 70 74 75 76 77 79 80 84 85 86 87 89 91 96 97 98 99 100 102 103 104 108 115 124 128 129 138 140 141 149 150 151 152 154 157 160 163 164 167 169 175 176 179 180 188 193 204 205 209 211 215 218 220 222 227 230 234 243 257 260 266 269 270 271 275 277 286 287 291 292 293 295 299 302 306 307 311 313 315 318 320 323 326 327 337 340 342 344 345 350 353 359 363 364 368 379 380 381 382 384 a 1 2 10 11 19 20 22 23 24 29 30 31 34 35 37 38 40 41 45 46 51 57 59 61 65 68 70 74 75 76 77 79 80 84 85 86 87 89 91 96 97 98 99 100 102 103 104 108 115 124 128 129 138 140 141 149 150 151 152 154 157 160 163 167 169 175 176 179 180 188 193 204 205 209 211 215 218 220 222 227 230 234 243 256 257 260 266 269 270 271 275 277 286 287 291 292 293 295 299 302 306 307 311 313 315 318 320 323 326 327 337 340 342 344 345 350 353 359 363 364 368 379 380 381 382 384 a 1 2 10 11 19 20 22 23 24 29 30 31 34 35 37 38 40 41 45 46 51 57 59 61 65 68 70 74 75 76 77 79 80 83 84 85 86 87 89 91 96 97 98 99 100 102 103 104 108 115 124 128 129 138 140 141 149 150 151 152 154 157 160 163 167 169 175 176 179 180 188 193 204 205 209 211 215 218 220 222 227 230 234 243 256 257 260 266 269 270 271 275 277 286 287 291 292 293 295 299 302 307 311 313 315 318 320 323 326 327 337 340 342 344 345 350 353 359 363 364 368 379 380 381 382 384 a 1 2 10 11 19 20 22 23 24 29 30 31 34 35 37 38 40 41 45 46 51 57 59 61 65 68 70 74 75 76 77 79 80 83 84 85 86 87 89 91 96 97 98 99 100 102 103 104 108 115 124 128 129 138 140 141 147 149 150 151 152 154 157 160 163 167 169 175 176 179 180 188 193 204 205 209 211 215 218 220 222 227 230 234 243 256 257 260 266 269 270 271 275 277 286 287 291 292 293 295 299 302 307 311 313 315 318 323 326 327 337 340 342 344 345 350 353 359 363 364 368 379 380 381 382 384 a 1 2 10 11 19 20 22 23 24 29 30 31 34 35 37 38 40 41 45 46 51 57 59 61 65 68 70 74 75 76 77 79 80 83 85 86 87 89 91 96 97 98 99 100 102 103 104 108 111 115 124 128 129 138 140 141 147 149 150 151 152 154 157 160 163 167 169 175 176 179 180 188 193 204 205 209 211 215 218 220 222 227 230 234 243 256 257 260 266 269 270 271 275 277 286 287 291 292 293 295 299 302 307 311 313 315 318 323 326 327 337 340 342 344 345 350 353 359 363 364 368 379 380 381 382 384 a 1 2 10 11 19 20 22 23 24 29 30 31 34 35 37 38 40 41 45 46 51 57 59 61 65 68 70 71 74 75 76 77 79 80 83 85 86 87 89 91 96 97 98 99 100 102 103 104 108 111 115 124 128 129 138 140 141 147 149 150 151 152 154 157 160 163 167 169 175 176 179 180 188 193 204 205 209 211 215 218 220 222 227 230 234 243 256 257 260 266 269 270 271 275 277 286 287 291 292 295 299 302 307 311 313 315 318 323 326 327 337 340 342 344 345 350 353 359 363 364 368 379 380 381 382 384 a 1 2 10 11 19 20 22 23 24 29 30 31 34 35 37 38 40 41 45 46 51 57 59 61 65 68 71 74 75 76 77 79 80 83 85 86 87 89 91 96 97 98 99 100 102 103 104 108 111 115 124 128 129 138 140 141 147 149 150 151 152 154 157 160 163 167 169 175 176 179 180 188 193 204 205 209 211 215 218 220 222 227 230 234 243 256 257 260 266 269 270 271 275 277 286 287 291 292 295 299 302 307 311 313 315 318 323 326 327 337 340 342 344 345 350 351 353 359 363 364 368 379 380 381 382 384 a 1 2 10 11 19 20 22 23 24 29 30 31 34 35 37 38 40 41 45 46 51 57 59 61 65 68 71 74 75 76 77 79 80 83 85 86 87 89 91 96 97 98 99 100 102 103 104 108 111 115 124 128 129 138 140 141 147 149 150 151 152 154 157 160 163 167 169 175 176 179 188 193 198 204 205 209 211 215 218 220 222 227 230 234 243 256 257 260 266 269 270 271 275 277 286 287 291 292 295 299 302 307 311 313 315 318 323 326 327 337 340 342 344 345 350 351 353 359 363 364 368 379 380 381 382 384 a 1 2 10 11 19 20 22 23 24 29 30 31 34 35 37 38 40 41 45 46 51 57 59 61 65 68 71 75 76 77 79 80 83 85 86 87 89 91 96 97 98 99 100 102 103 104 108 111 115 124 128 129 138 140 141 147 149 150 151 152 154 157 160 163 167 169 175 176 179 188 193 198 204 205 209 211 215 218 220 222 227 230 234 243 256 257 260 266 269 270 271 275 277 280 286 287 291 292 295 299 302 307 311 313 315 318 323 326 327 337 340 342 344 345 350 351 353 359 363 364 368 379 380 381 382 384 a 1 2 10 11 19 20 22 23 24 29 30 31 34 35 37 38 40 41 45 46 51 57 59 61 65 68 71 75 76 77 79 80 83 85 86 87 89 91 96 97 98 99 100 102 103 104 108 111 115 124 128 129 138 140 141 147 149 150 151 152 154 160 163 167 169 175 176 179 188 193 198 204 205 209 211 215 218 220 222 227 230 234 243 256 257 260 266 269 270 271 275 277 280 286 287 291 292 295 299 302 307 311 313 315 318 323 326 327 337 340 342 344 345 350 351 353 359 361 363 364 368 379 380 381 382 384 a 1 2 10 11 19 20 22 23 29 30 31 34 35 37 38 40 41 45 46 51 57 59 61 65 68 71 75 76 77 79 80 83 85 86 87 89 91 96 97 98 99 100 102 103 104 108 111 115 124 128 129 138 140 141 147 149 150 151 152 154 160 163 167 169 175 176 179 188 193 198 204 205 209 211 215 218 220 222 227 230 234 243 256 257 260 266 269 270 271 275 277 280 286 287 291 292 295 299 302 307 311 313 314 315 318 323 326 327 337 340 342 344 345 350 351 353 359 361 363 364 368 379 380 381 382 384 a 1 2 10 11 19 20 22 23 29 30 31 34 35 37 38 40 41 45 46 51 57 59 61 65 68 71 75 76 77 79 80 83 85 86 87 89 91 96 97 98 99 100 102 103 104 108 111 115 128 129 138 140 141 147 149 150 151 152 154 160 163 167 169 175 176 179 188 193 198 204 205 209 211 215 218 220 222 227 230 234 240 243 256 257 260 266 269 270 271 275 277 280 286 287 291 292 295 299 302 307 311 313 314 315 318 323 326 327 337 340 342 344 345 350 351 353 359 361 363 364 368 379 380 381 382 384 a 1 2 10 11 19 20 22 23 29 30 31 34 35 37 38 40 41 45 46 51 57 59 61 65 68 71 75 76 77 79 80 83 85 86 87 89 91 96 97 98 99 100 102 103 104 108 111 115 128 129 138 140 141 147 149 150 151 152 154 160 163 167 169 171 175 176 179 188 193 198 204 205 209 211 215 218 220 222 227 230 234 240 243 256 257 260 266 269 270 271 275 277 280 286 291 292 295 299 302 307 311 313 314 315 318 323 326 327 337 340 342 344 345 350 351 353 359 361 363 364 368 379 380 381 382 384 a 1 2 10 11 19 20 22 23 29 30 31 34 35 37 38 40 41 43 45 46 51 57 59 61 65 68 71 75 76 77 79 80 83 85 86 87 89 91 96 97 98 99 100 102 103 104 108 111 115 128 129 138 140 141 147 149 150 151 152 154 160 163 167 169 171 175 176 179 188 193 198 204 205 209 211 215 218 220 222 227 230 234 240 243 256 257 260 266 270 271 275 277 280 286 291 292 295 299 302 307 311 313 314 315 318 323 326 327 337 340 342 344 345 350 351 353 359 361 363 364 368 379 380 381 382 384 a 1 2 10 11 19 20 22 23 29 30 31 34 35 37 38 40 41 43 45 46 51 57 59 61 65 68 71 75 76 77 79 80 83 85 86 87 89 91 96 97 98 99 102 103 104 108 111 115 128 129 138 140 141 147 149 150 151 152 154 160 163 167 168 169 171 175 176 179 188 193 198 204 205 209 211 215 218 220 222 227 230 234 240 243 256 257 260 266 270 271 275 277 280 286 291 292 295 299 302 307 311 313 314 315 318 323 326 327 337 340 342 344 345 350 351 353 359 361 363 364 368 379 380 381 382 384 a 1 2 10 11 19 20 22 23 29 30 31 34 35 37 38 40 41 43 45 46 51 57 59 61 65 68 71 75 76 77 79 80 83 85 86 87 89 91 96 97 98 99 102 103 104 108 111 115 128 129 138 140 141 147 149 150 151 152 154 160 163 167 168 169 171 175 176 179 188 193 198 204 209 211 215 218 220 222 227 230 234 240 243 256 257 260 266 270 271 275 277 280 286 291 292 295 299 302 307 311 313 314 315 316 318 323 326 327 337 340 342 344 345 350 351 353 359 361 363 364 368 379 380 381 382 384 a 1 2 10 11 19 20 22 23 29 30 31 34 35 37 38 40 41 43 45 46 51 57 59 61 65 68 71 75 76 77 79 80 83 85 86 87 88 89 91 96 97 98 99 102 103 104 108 111 115 128 129 138 140 141 147 149 150 151 152 154 160 163 167 168 169 171 175 176 179 188 193 198 204 209 211 215 218 220 222 227 230 234 240 243 256 257 260 266 270 275 277 280 286 291 292 295 299 302 307 311 313 314 315 316 318 323 326 327 337 340 342 344 345 350 351 353 359 361 363 364 368 379 380 381 382 384 a 1 2 10 11 19 20 22 23 29 30 31 34 35 37 38 40 41 43 45 46 51 57 59 61 65 68 71 75 76 77 79 80 83 85 86 87 88 89 91 96 97 98 99 102 103 104 108 111 115 128 129 138 140 141 147 149 151 152 154 160 163 167 168 169 171 175 176 179 188 193 198 204 209 211 215 218 220 222 227 230 234 240 243 256 257 260 266 270 275 277 280 286 291 292 295 299 302 307 311 313 314 315 316 318 323 326 327 337 340 342 344 345 350 351 353 359 361 363 364 368 379 380 381 382 384 389 a 1 2 10 11 19 20 22 23 29 30 31 34 35 37 38 40 41 43 45 46 51 57 59 61 65 68 71 75 76 77 80 83 85 86 87 88 89 91 96 97 98 99 102 103 104 108 111 115 128 129 138 140 141 147 149 151 152 154 160 163 167 168 169 171 175 176 179 188 193 198 204 209 211 215 218 220 222 227 230 234 240 243 256 257 260 266 270 275 277 280 286 291 292 295 299 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 345 350 351 353 359 361 363 364 368 379 380 381 382 384 389 a 1 2 10 11 19 20 22 23 29 30 31 34 35 37 38 40 41 43 45 46 51 57 59 61 65 68 71 76 77 80 83 85 86 87 88 89 91 96 97 98 99 102 103 104 108 111 115 128 129 138 140 141 147 149 151 152 154 160 163 167 168 169 171 175 176 179 188 190 193 198 204 209 211 215 218 220 222 227 230 234 240 243 256 257 260 266 270 275 277 280 286 291 292 295 299 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 345 350 351 353 359 361 363 364 368 379 380 381 382 384 389 a 1 2 10 11 19 20 22 23 29 30 31 34 35 37 38 40 41 43 45 46 51 57 59 61 65 68 71 76 77 80 83 85 86 87 88 89 91 96 97 98 99 102 103 104 108 111 115 128 129 138 140 141 147 149 151 152 154 160 163 167 168 169 171 175 176 179 188 190 192 193 198 204 209 211 215 218 220 227 230 234 240 243 256 257 260 266 270 275 277 280 286 291 292 295 299 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 345 350 351 353 359 361 363 364 368 379 380 381 382 384 389 a 1 2 10 11 19 20 22 23 29 30 31 34 35 37 38 40 41 43 45 46 51 57 59 61 65 68 71 76 77 80 83 85 86 87 88 89 91 96 97 98 99 102 103 104 108 111 115 128 129 138 140 141 147 149 151 152 154 160 163 167 168 169 171 175 176 179 188 190 192 193 198 204 209 211 215 218 220 227 230 234 240 243 256 257 260 266 270 275 277 280 282 286 291 292 295 299 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 345 350 351 353 359 361 364 368 379 380 381 382 384 389 a 1 2 10 11 19 20 22 23 29 30 31 34 35 37 38 40 41 43 45 46 51 57 59 61 65 68 71 76 77 80 83 85 86 87 88 89 91 96 97 98 99 102 103 104 108 111 115 128 129 138 140 141 147 149 151 152 154 160 163 167 168 169 171 175 176 179 188 190 192 193 198 204 209 211 215 218 220 227 230 234 240 243 256 260 266 270 275 277 280 282 286 291 292 295 299 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 345 350 351 353 359 361 362 364 368 379 380 381 382 384 389 a 1 2 10 11 19 20 22 23 30 31 34 35 37 38 40 41 43 45 46 51 57 59 61 65 68 71 76 77 80 83 85 86 87 88 89 91 96 97 98 99 102 103 104 108 111 115 128 129 138 140 141 147 149 151 152 154 160 163 167 168 169 171 175 176 179 188 190 192 193 198 204 209 211 215 218 220 227 230 234 240 243 256 260 266 270 275 277 280 282 286 291 292 295 299 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 345 349 350 351 353 359 361 362 364 368 379 380 381 382 384 389 a 1 2 10 11 19 20 22 23 30 31 34 35 37 38 40 41 43 45 46 51 57 59 61 65 68 71 76 77 80 83 85 86 87 88 89 91 96 97 98 99 102 103 104 108 111 115 128 129 138 140 141 147 149 151 154 160 163 167 168 169 171 175 176 179 188 190 192 193 198 204 209 211 215 218 220 227 230 234 240 243 245 256 260 266 270 275 277 280 282 286 291 292 295 299 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 345 349 350 351 353 359 361 362 364 368 379 380 381 382 384 389 a 1 2 10 11 19 20 22 23 30 31 34 35 37 38 40 41 43 45 46 51 57 59 61 65 68 71 76 77 80 83 85 86 87 88 89 91 96 97 98 99 102 103 104 108 111 115 128 129 138 140 141 147 149 151 154 160 163 167 168 169 171 176 179 185 188 190 192 193 198 204 209 211 215 218 220 227 230 234 240 243 245 256 260 266 270 275 277 280 282 286 291 292 295 299 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 345 349 350 351 353 359 361 362 364 368 379 380 381 382 384 389 a 1 2 10 11 19 20 22 23 30 31 34 35 37 38 40 41 43 45 46 51 57 59 61 65 68 71 76 77 80 83 85 86 87 88 89 91 96 97 98 99 102 103 104 108 111 115 128 129 138 140 141 147 149 151 154 160 163 167 168 169 171 176 179 185 188 190 192 193 198 204 209 211 218 220 227 230 234 240 243 245 256 260 266 270 275 277 280 282 286 291 292 295 299 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 345 349 350 351 353 359 361 362 364 368 369 379 380 381 382 384 389 a 1 2 10 11 19 20 22 23 30 31 34 35 37 38 40 41 43 45 46 51 57 59 61 65 71 76 77 80 83 85 86 87 88 89 91 96 97 98 99 102 103 104 108 111 115 128 129 138 140 141 147 149 151 154 160 163 167 168 169 171 176 179 185 188 190 192 193 198 204 209 211 218 220 221 227 230 234 240 243 245 256 260 266 270 275 277 280 282 286 291 292 295 299 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 345 349 350 351 353 359 361 362 364 368 369 379 380 381 382 384 389 a 1 2 10 11 19 20 22 23 30 31 34 35 37 38 40 41 43 45 46 51 57 59 61 65 71 76 77 80 83 85 86 87 88 89 91 96 97 98 99 102 103 104 108 111 115 128 129 138 140 141 147 149 151 154 160 163 167 168 169 171 176 179 185 188 190 192 193 198 204 206 209 211 218 220 221 227 230 234 240 243 245 256 260 266 270 275 277 280 282 286 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 345 349 350 351 353 359 361 362 364 368 369 379 380 381 382 384 389 a 1 2 10 11 19 20 22 23 30 31 34 35 37 38 40 41 43 45 46 51 57 59 61 65 71 76 77 80 83 85 86 87 88 89 91 96 97 98 99 101 102 103 104 108 111 115 128 129 138 140 141 147 149 151 154 160 163 167 168 169 171 176 179 185 188 190 192 193 198 204 206 209 211 218 220 221 227 230 234 240 243 245 256 260 266 270 275 277 280 282 286 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 349 350 351 353 359 361 362 364 368 369 379 380 381 382 384 389 a 1 2 10 11 19 20 22 23 30 31 34 35 37 38 40 41 43 45 46 51 57 59 61 65 71 76 77 80 83 85 86 87 88 89 91 96 97 98 99 101 102 103 104 108 111 115 128 129 138 140 141 147 149 151 154 160 163 167 168 171 176 179 185 188 190 192 193 198 204 206 209 211 218 220 221 227 230 234 240 243 245 256 260 266 270 275 277 280 282 286 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 350 351 353 359 361 362 364 368 369 379 380 381 382 384 389 a 1 2 10 11 19 20 22 23 30 31 34 35 37 38 40 41 43 45 46 51 57 59 61 65 71 76 77 80 83 85 86 87 88 89 91 96 97 98 99 101 102 103 104 108 111 115 128 129 138 140 141 147 149 151 154 160 163 167 168 171 176 179 185 188 190 192 193 198 204 206 209 211 218 220 221 227 230 234 240 243 245 256 260 266 270 275 277 280 282 286 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 351 353 358 359 361 362 364 368 369 379 380 381 382 384 389 a 1 2 10 11 19 20 22 23 30 31 34 35 37 38 40 41 43 45 46 51 57 59 61 65 71 76 77 80 83 85 86 87 88 89 91 96 97 98 99 101 102 103 104 108 111 115 128 129 138 140 141 147 149 151 154 160 163 167 168 171 176 179 185 188 190 192 193 198 204 206 209 211 218 220 221 227 230 234 240 243 245 256 260 270 275 277 280 282 286 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 351 352 353 358 359 361 362 364 368 369 379 380 381 382 384 389 a 1 2 10 11 19 20 22 23 30 31 34 35 37 38 40 41 43 45 46 51 57 59 61 65 71 76 77 80 83 85 86 87 88 89 91 96 97 98 99 101 102 103 104 108 111 115 128 138 140 141 147 149 151 154 160 163 167 168 171 173 176 179 185 188 190 192 193 198 204 206 209 211 218 220 221 227 230 234 240 243 245 256 260 270 275 277 280 282 286 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 351 352 353 358 359 361 362 364 368 369 379 380 381 382 384 389 a 1 2 10 11 19 20 22 23 30 31 34 35 37 38 40 41 43 45 46 51 57 59 61 65 71 76 77 80 83 85 86 87 88 89 91 96 98 99 101 102 103 104 108 111 115 128 138 140 141 146 147 149 151 154 160 163 167 168 171 173 176 179 185 188 190 192 193 198 204 206 209 211 218 220 221 227 230 234 240 243 245 256 260 270 275 277 280 282 286 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 351 352 353 358 359 361 362 364 368 369 379 380 381 382 384 389 a 1 2 9 10 11 19 20 22 23 30 31 34 35 37 38 40 41 43 45 46 51 57 59 61 65 71 76 77 80 83 85 86 87 88 89 91 96 98 99 101 102 103 104 108 111 115 128 138 140 141 146 147 149 151 154 160 163 167 168 171 173 176 179 185 188 190 192 193 198 204 206 209 211 218 220 221 227 230 234 240 243 245 256 260 270 277 280 282 286 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 351 352 353 358 359 361 362 364 368 369 379 380 381 382 384 389 a 1 2 9 10 11 19 20 22 23 30 31 34 35 37 38 40 41 43 44 45 46 51 57 59 61 65 71 76 77 80 83 85 86 87 88 89 91 96 98 99 101 102 103 104 108 111 115 128 138 140 141 146 147 149 151 154 160 163 167 168 171 173 176 179 185 188 190 192 193 198 204 206 209 211 218 220 221 227 230 234 240 243 245 256 260 270 277 280 282 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 351 352 353 358 359 361 362 364 368 369 379 380 381 382 384 389 a 1 2 9 10 11 19 20 22 23 30 31 34 35 37 38 40 41 43 44 45 46 51 57 59 61 65 71 76 77 80 83 85 86 87 88 89 91 96 98 99 101 102 103 104 108 111 115 128 138 140 141 146 147 149 151 154 160 163 167 168 171 173 176 179 185 188 190 192 193 198 204 206 209 211 218 220 221 227 230 234 240 243 245 256 260 270 280 282 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 351 352 353 355 358 359 361 362 364 368 369 379 380 381 382 384 389 a 1 2 9 10 11 20 22 23 30 31 34 35 37 38 40 41 43 44 45 46 51 57 59 61 65 71 76 77 80 83 85 86 87 88 89 91 96 98 99 101 102 103 104 108 111 115 128 138 140 141 146 147 149 151 154 160 163 167 168 171 173 176 179 185 188 190 192 193 198 204 206 209 211 218 220 221 227 230 234 240 243 245 256 260 270 280 282 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 351 352 353 355 358 359 361 362 364 368 369 379 380 381 382 384 386 389 a 1 2 9 10 11 20 22 23 30 31 34 35 37 38 40 41 43 44 45 46 51 57 59 65 71 76 77 80 83 85 86 87 88 89 91 96 98 99 101 102 103 104 108 111 115 128 138 140 141 146 147 149 151 154 160 163 167 168 171 173 176 179 185 188 190 192 193 198 204 206 209 211 218 220 221 227 230 234 240 242 243 245 256 260 270 280 282 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 351 352 353 355 358 359 361 362 364 368 369 379 380 381 382 384 386 389 a 1 2 9 10 11 20 22 23 30 31 34 35 37 38 40 41 43 44 45 46 51 57 59 65 71 76 77 80 83 85 86 87 88 89 91 96 98 99 101 102 103 104 108 111 115 128 138 140 141 146 147 149 151 154 160 163 167 168 171 173 176 179 185 188 190 192 193 198 204 206 209 211 218 220 221 227 230 234 240 242 243 245 254 256 260 270 280 282 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 351 352 353 355 358 359 361 362 368 369 379 380 381 382 384 386 389 a 1 2 9 10 11 20 22 23 30 31 34 35 37 38 40 41 43 44 45 46 51 57 59 65 71 76 77 80 83 85 86 87 88 89 91 96 98 99 101 102 103 104 108 111 115 128 138 140 141 146 147 149 151 154 160 163 167 168 170 171 173 176 179 185 188 190 192 193 198 206 209 211 218 220 221 227 230 234 240 242 243 245 254 256 260 270 280 282 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 351 352 353 355 358 359 361 362 368 369 379 380 381 382 384 386 389 a 1 2 9 10 11 20 22 23 30 31 34 35 37 38 40 41 43 44 45 46 51 57 59 65 71 73 76 77 80 83 85 86 87 88 89 91 96 98 99 101 102 103 104 108 111 115 128 138 140 141 146 147 149 151 154 160 163 168 170 171 173 176 179 185 188 190 192 193 198 206 209 211 218 220 221 227 230 234 240 242 243 245 254 256 260 270 280 282 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 351 352 353 355 358 359 361 362 368 369 379 380 381 382 384 386 389 c Step: 127 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance030_graph001.col /benchmark/random_instance/random_instance030_graph001_01.dat" User time (seconds): 549.77 System time (seconds): 4.57 Percent of CPU this job got: 151% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:05.53 Average shared text size (kbytes): 0 Average unshared data size (kbytes): 0 Average stack size (kbytes): 0 Average total size (kbytes): 0 Maximum resident set size (kbytes): 11865032 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 3748439 Voluntary context switches: 285295 Involuntary context switches: 2175 Swaps: 0 File system inputs: 0 File system outputs: 816 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 14:48:32 2023]