#BEGIN: [Sat Sep 9 06:21:33 2023] #HOST: s05 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-ai-planning2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance038_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance038_graph004_01.dat #COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning2 --config=shortest-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance038_graph004.col /benchmark/random_instance/random_instance038_graph004_01.dat s 420 241 227 476 27 89 54 162 325 455 133 218 143 446 33 158 144 369 368 300 472 240 382 178 438 242 220 70 20 130 248 316 376 250 340 292 238 418 485 285 350 323 398 448 95 336 266 295 10 137 363 26 478 417 296 2 299 407 324 74 466 83 344 42 199 471 494 278 175 151 304 243 244 361 479 454 121 51 379 236 393 449 77 4 120 9 269 337 15 276 226 389 57 134 346 156 322 237 359 415 25 32 205 78 357 34 210 328 107 453 355 21 202 372 3 174 406 104 24 229 159 360 298 115 493 255 233 421 197 36 293 81 126 46 132 110 259 155 436 195 401 245 329 272 186 190 212 317 67 142 287 463 391 58 486 116 428 395 384 88 319 128 t 99 333 209 28 9 375 107 207 225 138 280 36 179 416 473 332 17 292 188 41 464 244 91 252 455 2 331 287 203 349 82 115 32 4 92 276 389 148 201 251 386 30 110 421 160 192 285 170 182 254 381 348 307 390 240 342 318 1 488 423 96 93 46 136 341 100 357 475 48 65 272 190 364 322 303 368 189 90 229 144 206 313 21 283 198 295 72 80 288 155 291 472 393 422 187 378 186 121 474 233 39 3 88 404 447 309 470 69 300 51 476 130 463 180 234 398 109 211 360 411 134 151 49 25 311 119 376 241 356 258 106 388 352 24 143 439 486 197 417 480 371 363 493 149 374 78 11 55 213 358 40 428 57 459 16 243 104 105 485 492 490 324 a YES a 2 3 4 9 10 15 20 21 24 25 26 27 32 33 34 36 42 46 51 54 57 58 67 70 74 77 78 81 83 88 89 95 104 107 110 115 116 120 121 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 227 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 316 317 319 322 323 324 325 328 329 336 337 340 344 346 350 355 357 359 360 361 363 368 369 372 376 379 382 384 389 391 393 395 398 401 406 407 415 417 418 420 421 428 436 438 446 448 449 453 454 455 463 466 471 472 476 478 479 485 486 493 494 a 2 3 4 9 10 15 20 21 24 25 27 32 33 34 36 42 46 51 54 57 58 67 70 74 77 78 81 83 88 89 95 104 107 110 115 116 120 121 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 227 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 316 317 319 322 323 324 325 328 329 336 337 340 344 346 350 355 357 359 360 361 363 368 369 372 376 379 382 384 388 389 391 393 395 398 401 406 407 415 417 418 420 421 428 436 438 446 448 449 453 454 455 463 466 471 472 476 478 479 485 486 493 494 a 2 3 4 9 10 11 15 20 21 24 25 27 32 33 36 42 46 51 54 57 58 67 70 74 77 78 81 83 88 89 95 104 107 110 115 116 120 121 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 227 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 316 317 319 322 323 324 325 328 329 336 337 340 344 346 350 355 357 359 360 361 363 368 369 372 376 379 382 384 388 389 391 393 395 398 401 406 407 415 417 418 420 421 428 436 438 446 448 449 453 454 455 463 466 471 472 476 478 479 485 486 493 494 a 2 3 4 9 11 15 20 21 24 25 27 32 33 36 42 46 51 54 57 58 67 70 74 77 78 81 83 88 89 95 104 107 110 115 116 120 121 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 227 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 316 317 319 322 323 324 325 328 329 336 337 340 344 346 350 355 357 358 359 360 361 363 368 369 372 376 379 382 384 388 389 391 393 395 398 401 406 407 415 417 418 420 421 428 436 438 446 448 449 453 454 455 463 466 471 472 476 478 479 485 486 493 494 a 2 3 4 9 11 15 20 21 24 25 27 32 33 36 46 51 54 57 58 67 70 74 77 78 80 81 83 88 89 95 104 107 110 115 116 120 121 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 227 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 316 317 319 322 323 324 325 328 329 336 337 340 344 346 350 355 357 358 359 360 361 363 368 369 372 376 379 382 384 388 389 391 393 395 398 401 406 407 415 417 418 420 421 428 436 438 446 448 449 453 454 455 463 466 471 472 476 478 479 485 486 493 494 a 2 3 4 9 11 20 21 24 25 27 32 33 36 46 51 54 57 58 67 70 74 77 78 80 81 83 88 89 95 104 107 110 115 116 120 121 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 227 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 316 317 319 322 323 324 325 328 329 336 337 340 344 346 350 355 357 358 359 360 361 363 368 369 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 415 417 418 420 421 428 436 438 446 448 449 453 454 455 463 466 471 472 476 478 479 485 486 493 494 a 2 3 4 9 11 20 21 24 25 27 32 33 36 46 51 57 58 67 70 74 77 78 80 81 83 88 89 92 95 104 107 110 115 116 120 121 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 227 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 316 317 319 322 323 324 325 328 329 336 337 340 344 346 350 355 357 358 359 360 361 363 368 369 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 415 417 418 420 421 428 436 438 446 448 449 453 454 455 463 466 471 472 476 478 479 485 486 493 494 a 2 3 4 9 11 21 24 25 27 32 33 36 46 51 57 58 67 69 70 74 77 78 80 81 83 88 89 92 95 104 107 110 115 116 120 121 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 210 212 218 220 226 227 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 316 317 319 322 323 324 325 328 329 336 337 340 344 346 350 355 357 358 359 360 361 363 368 369 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 415 417 418 420 421 428 436 438 446 448 449 453 454 455 463 466 471 472 476 478 479 485 486 493 494 a 2 3 4 9 11 21 24 25 27 32 36 46 51 57 58 67 69 70 74 77 78 80 81 83 88 89 92 95 104 107 110 115 116 120 121 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 209 210 212 218 220 226 227 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 316 317 319 322 323 324 325 328 329 336 337 340 344 346 350 355 357 358 359 360 361 363 368 369 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 415 417 418 420 421 428 436 438 446 448 449 453 454 455 463 466 471 472 476 478 479 485 486 493 494 a 2 3 4 9 11 21 24 25 27 32 36 46 51 57 58 67 69 70 74 78 80 81 83 88 89 92 95 104 107 110 115 116 120 121 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 209 210 212 218 220 226 227 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 316 317 319 322 323 324 325 328 329 336 337 340 344 346 350 355 357 358 359 360 361 363 368 369 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 428 436 438 446 448 449 453 454 455 463 466 471 472 476 478 479 485 486 493 494 a 2 3 4 9 11 21 24 25 27 32 36 46 51 57 58 67 69 70 74 78 80 81 83 88 89 92 104 107 110 115 116 120 121 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 209 210 212 218 220 226 227 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 316 317 319 322 323 324 325 328 329 336 337 340 344 346 350 355 357 358 359 360 361 363 368 369 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 428 436 438 446 448 449 453 454 455 463 466 471 472 473 476 478 479 485 486 493 494 a 2 3 4 9 11 21 24 25 27 32 36 46 51 57 58 67 69 70 74 78 80 81 83 88 89 92 104 107 110 115 116 121 126 128 130 132 133 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 209 210 212 218 220 226 227 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 316 317 319 322 323 324 325 328 329 336 337 340 344 346 350 355 357 358 359 360 361 363 368 369 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 428 436 438 446 448 449 453 454 455 463 466 471 472 473 474 476 478 479 485 486 493 494 a 2 3 4 9 11 21 24 25 27 32 36 46 51 57 58 67 69 70 74 78 80 81 83 88 89 90 92 104 107 110 115 116 121 126 128 130 132 134 137 142 143 144 151 155 156 158 159 162 174 175 178 186 190 195 197 199 202 205 209 210 212 218 220 226 227 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 316 317 319 322 323 324 325 328 329 336 337 340 344 346 350 355 357 358 359 360 361 363 368 369 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 428 436 438 446 448 449 453 454 455 463 466 471 472 473 474 476 478 479 485 486 493 494 a 2 3 4 9 11 21 24 25 27 32 36 46 51 57 58 67 69 70 74 78 80 81 83 88 89 90 92 104 107 110 115 116 121 126 128 130 132 134 137 142 143 144 151 155 156 158 162 170 174 175 178 186 190 195 197 199 202 205 209 210 212 218 220 226 227 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 316 317 319 322 323 324 325 328 329 336 337 340 344 346 350 355 357 358 359 360 361 363 368 369 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 428 436 438 446 448 449 453 454 455 463 466 471 472 473 474 476 478 479 485 486 493 494 a 2 3 4 9 11 21 24 25 27 32 36 46 51 57 58 67 69 70 74 78 80 81 83 88 89 90 92 104 107 110 115 116 121 126 128 130 132 134 137 142 143 144 151 155 156 158 162 170 174 175 178 186 190 197 199 202 205 209 210 212 218 220 226 227 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 316 317 319 322 323 324 325 328 329 336 337 340 342 344 346 350 355 357 358 359 360 361 363 368 369 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 428 436 438 446 448 449 453 454 455 463 466 471 472 473 474 476 478 479 485 486 493 494 a 2 3 4 9 11 21 24 25 27 32 36 46 51 57 58 67 69 70 74 78 80 81 83 88 89 90 92 104 107 110 115 116 121 126 128 130 132 134 137 142 143 144 151 155 156 158 162 170 174 175 178 186 190 197 199 202 205 209 210 212 220 226 227 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 313 316 317 319 322 323 324 325 328 329 336 337 340 342 344 346 350 355 357 358 359 360 361 363 368 369 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 428 436 438 446 448 449 453 454 455 463 466 471 472 473 474 476 478 479 485 486 493 494 a 2 3 4 9 11 21 24 25 27 32 36 46 51 57 58 67 69 70 74 78 80 81 83 88 89 90 92 104 107 110 115 116 121 126 128 130 132 134 137 142 143 144 151 155 156 158 162 170 174 175 178 186 190 197 199 202 205 209 210 212 220 226 229 233 236 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 313 316 317 319 322 323 324 325 328 329 336 337 340 342 344 346 350 355 357 358 359 360 361 363 368 369 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 473 474 476 478 479 485 486 493 494 a 2 3 4 9 11 21 24 25 27 32 36 46 51 57 58 67 69 70 74 78 80 81 83 88 89 90 92 104 107 110 115 116 121 126 128 130 132 134 137 142 143 144 151 155 156 158 162 170 174 175 178 186 190 197 199 202 205 209 210 212 220 226 229 233 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 313 316 317 319 322 323 324 325 328 329 336 337 340 342 344 346 350 355 357 358 359 360 361 363 368 369 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 473 474 476 478 479 485 486 492 493 494 a 2 3 4 9 11 21 24 25 27 32 36 46 51 57 58 67 69 70 74 78 80 81 83 88 89 90 92 104 107 110 115 116 121 126 128 130 132 134 142 143 144 151 155 156 158 162 170 174 175 178 186 190 197 199 202 205 209 210 212 220 226 229 233 237 238 240 241 242 243 244 245 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 313 316 317 319 322 323 324 325 328 329 336 337 340 341 342 344 346 350 355 357 358 359 360 361 363 368 369 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 473 474 476 478 479 485 486 492 493 494 a 2 3 4 9 11 17 21 24 25 27 32 36 46 51 57 58 67 69 70 74 78 80 81 83 88 89 90 92 104 107 110 115 116 121 126 128 130 132 134 142 143 144 151 155 156 158 162 170 174 175 178 186 190 197 199 202 205 209 210 212 220 226 229 233 237 238 240 241 242 243 244 248 250 255 259 266 269 272 276 278 285 287 292 293 295 296 298 299 300 304 313 316 317 319 322 323 324 325 328 329 336 337 340 341 342 344 346 350 355 357 358 359 360 361 363 368 369 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 473 474 476 478 479 485 486 492 493 494 a 2 3 4 9 11 17 21 24 25 27 32 36 46 51 57 58 67 69 70 74 78 80 81 83 88 89 90 92 104 106 107 110 115 116 121 126 128 130 132 134 142 143 144 151 155 156 158 162 170 174 175 178 186 190 197 199 202 205 209 210 212 220 226 229 233 237 238 240 241 242 243 244 248 250 255 259 266 272 276 278 285 287 292 293 295 296 298 299 300 304 313 316 317 319 322 323 324 325 328 329 336 337 340 341 342 344 346 350 355 357 358 359 360 361 363 368 369 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 473 474 476 478 479 485 486 492 493 494 a 2 3 4 9 11 17 21 24 25 27 32 36 46 51 57 58 67 69 70 74 78 80 81 83 88 89 90 92 104 106 107 110 115 116 121 126 128 130 132 134 142 143 144 151 155 156 158 162 170 174 175 178 186 190 197 199 202 205 209 210 212 220 226 229 233 237 238 240 241 242 243 244 248 250 255 259 266 272 276 285 287 292 293 295 296 298 299 300 304 313 316 317 318 319 322 323 324 325 328 329 336 337 340 341 342 344 346 350 355 357 358 359 360 361 363 368 369 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 473 474 476 478 479 485 486 492 493 494 a 2 3 4 9 11 17 21 24 25 27 32 36 46 51 57 58 67 69 70 74 78 80 81 83 88 89 90 92 104 106 107 110 115 116 121 126 128 130 132 134 142 143 144 151 155 156 158 162 170 174 175 178 186 190 197 199 202 205 209 210 212 220 226 229 233 237 238 240 241 242 243 244 248 250 255 259 266 272 276 285 287 292 293 295 296 298 300 304 313 316 317 318 319 322 323 324 325 328 329 336 337 340 341 342 344 346 349 350 355 357 358 359 360 361 363 368 369 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 473 474 476 478 479 485 486 492 493 494 a 2 3 4 9 11 17 21 24 25 27 32 36 46 51 57 58 67 69 70 74 78 80 81 83 88 89 90 92 99 104 106 107 110 115 116 121 126 128 130 132 134 142 143 144 151 155 156 158 162 170 174 175 178 186 190 197 199 202 205 209 210 212 220 226 229 233 237 238 240 241 242 243 244 248 250 255 259 266 272 276 285 287 292 293 295 296 298 300 313 316 317 318 319 322 323 324 325 328 329 336 337 340 341 342 344 346 349 350 355 357 358 359 360 361 363 368 369 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 473 474 476 478 479 485 486 492 493 494 a 2 3 4 9 11 17 21 24 25 27 32 36 46 51 57 58 67 69 70 74 78 80 81 83 88 89 90 92 99 104 106 107 110 115 116 121 126 128 130 132 134 142 143 144 151 155 156 158 162 170 174 175 178 186 190 192 197 199 202 205 209 210 212 220 226 229 233 237 238 240 241 242 243 244 248 250 255 259 266 272 276 285 287 292 293 295 296 298 300 313 316 317 318 322 323 324 325 328 329 336 337 340 341 342 344 346 349 350 355 357 358 359 360 361 363 368 369 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 473 474 476 478 479 485 486 492 493 494 a 2 3 4 9 11 17 21 24 25 27 32 36 46 51 57 58 67 69 70 74 78 80 81 83 88 89 90 92 99 104 106 107 110 115 116 121 126 128 130 132 134 142 143 144 151 155 156 158 162 170 174 175 186 190 192 197 199 202 205 206 209 210 212 220 226 229 233 237 238 240 241 242 243 244 248 250 255 259 266 272 276 285 287 292 293 295 296 298 300 313 316 317 318 322 323 324 325 328 329 336 337 340 341 342 344 346 349 350 355 357 358 359 360 361 363 368 369 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 473 474 476 478 479 485 486 492 493 494 a 2 3 4 9 11 17 21 24 25 27 32 36 46 51 57 58 67 69 70 74 78 80 81 83 88 89 90 92 99 104 106 107 110 115 116 121 126 128 130 132 134 142 143 144 151 155 156 158 162 170 174 175 186 190 192 197 199 202 205 206 209 210 212 220 226 229 233 237 238 240 241 242 243 244 248 250 255 259 266 272 276 285 287 292 293 295 296 298 300 311 313 316 317 318 322 324 325 328 329 336 337 340 341 342 344 346 349 350 355 357 358 359 360 361 363 368 369 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 473 474 476 478 479 485 486 492 493 494 a 2 3 4 9 11 17 21 24 25 27 32 36 46 51 57 58 67 69 70 74 78 80 81 83 88 89 90 92 99 104 106 107 110 115 116 121 126 128 130 132 134 142 143 144 151 155 156 158 162 170 174 175 186 190 192 197 199 202 205 206 209 210 212 220 225 226 229 233 237 238 240 241 242 243 244 248 250 255 259 266 272 276 285 287 292 293 295 296 298 300 311 313 316 317 318 322 324 328 329 336 337 340 341 342 344 346 349 350 355 357 358 359 360 361 363 368 369 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 473 474 476 478 479 485 486 492 493 494 a 2 3 4 9 11 17 21 24 25 32 36 46 51 57 58 67 69 70 74 78 80 81 83 88 89 90 92 99 104 106 107 110 115 116 121 126 128 130 132 134 142 143 144 151 155 156 158 162 170 174 175 186 190 192 197 199 202 205 206 209 210 211 212 220 225 226 229 233 237 238 240 241 242 243 244 248 250 255 259 266 272 276 285 287 292 293 295 296 298 300 311 313 316 317 318 322 324 328 329 336 337 340 341 342 344 346 349 350 355 357 358 359 360 361 363 368 369 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 473 474 476 478 479 485 486 492 493 494 a 2 3 4 9 11 17 21 24 25 32 36 46 51 57 58 67 69 70 74 78 80 81 83 88 89 90 92 99 104 106 107 110 115 116 121 126 128 130 132 134 142 143 144 151 155 156 158 162 170 174 175 186 190 192 197 199 202 203 205 206 209 210 211 212 220 225 226 229 233 237 238 240 241 242 243 244 248 250 255 259 266 272 276 285 287 292 293 295 298 300 311 313 316 317 318 322 324 328 329 336 337 340 341 342 344 346 349 350 355 357 358 359 360 361 363 368 369 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 473 474 476 478 479 485 486 492 493 494 a 2 3 4 9 11 17 21 24 25 32 36 46 51 57 58 67 69 70 74 78 80 81 83 88 89 90 92 99 104 106 107 110 115 116 121 126 128 130 132 134 142 143 144 151 155 156 158 162 170 174 175 182 186 190 192 197 199 202 203 205 206 209 210 211 212 220 225 226 229 233 237 238 240 241 243 244 248 250 255 259 266 272 276 285 287 292 293 295 298 300 311 313 316 317 318 322 324 328 329 336 337 340 341 342 344 346 349 350 355 357 358 359 360 361 363 368 369 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 473 474 476 478 479 485 486 492 493 494 a 2 3 4 9 11 17 21 24 25 32 36 46 51 57 58 67 69 70 74 78 80 81 83 88 89 90 92 99 104 106 107 110 115 116 121 126 128 130 132 134 142 143 144 151 155 156 158 162 170 174 175 182 186 190 192 197 199 202 203 205 206 209 210 211 212 220 225 226 229 233 237 238 240 241 243 244 248 250 255 259 266 272 276 285 287 292 293 295 298 300 311 313 316 317 318 322 324 329 336 337 340 341 342 344 346 349 350 355 357 358 359 360 361 363 368 369 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 473 474 476 478 479 485 486 488 492 493 494 a 2 3 4 9 11 17 21 24 25 32 36 46 51 57 58 67 69 70 74 78 80 81 83 88 89 90 92 99 104 106 107 110 115 116 121 126 128 130 132 134 142 143 144 151 155 156 158 162 170 174 175 182 186 190 192 197 199 202 203 205 206 209 210 211 212 220 225 226 229 233 237 238 240 241 243 244 248 250 255 259 266 272 276 283 285 287 292 293 295 298 300 311 313 316 317 318 322 324 329 336 337 340 341 342 346 349 350 355 357 358 359 360 361 363 368 369 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 473 474 476 478 479 485 486 488 492 493 494 a 2 3 4 9 11 17 21 24 25 32 36 46 51 57 58 67 69 70 74 78 80 81 83 88 89 90 92 99 104 106 107 110 115 116 121 126 128 130 132 134 142 143 144 151 155 156 158 162 170 174 175 182 186 190 192 197 198 199 202 203 205 206 209 210 211 212 220 225 226 229 233 237 238 240 241 243 244 248 250 255 259 266 272 276 283 285 287 292 293 295 298 300 311 313 316 317 318 322 324 329 336 337 340 341 342 349 350 355 357 358 359 360 361 363 368 369 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 473 474 476 478 479 485 486 488 492 493 494 a 2 3 4 9 11 17 21 24 25 32 36 46 49 51 57 58 67 69 70 74 78 80 81 83 88 89 90 92 99 104 106 107 110 115 116 121 126 128 130 132 134 142 143 144 151 155 156 158 162 170 174 175 182 186 190 192 197 198 199 202 203 205 206 209 210 211 212 220 225 226 229 233 237 238 240 241 243 244 248 250 255 259 266 272 276 283 285 287 292 293 295 298 300 311 313 316 317 318 322 324 329 336 337 340 341 342 349 355 357 358 359 360 361 363 368 369 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 473 474 476 478 479 485 486 488 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 46 49 51 57 58 67 69 70 74 78 80 81 83 88 89 90 92 99 104 106 107 110 115 116 121 126 128 130 132 134 142 143 144 151 155 156 158 162 170 174 175 182 186 190 192 197 198 199 202 203 205 206 209 210 211 212 220 225 226 229 233 237 238 240 241 243 244 248 250 255 259 266 272 276 283 285 287 292 293 295 298 300 311 313 316 317 318 322 324 329 336 337 340 341 342 349 355 357 358 359 360 361 363 368 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 473 474 476 478 479 485 486 488 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 46 49 51 57 67 69 70 74 78 80 81 83 88 89 90 92 99 104 106 107 110 115 116 121 126 128 130 132 134 142 143 144 151 155 156 158 162 170 174 175 182 186 190 192 197 198 199 202 203 205 206 209 210 211 212 220 225 226 229 233 237 238 240 241 243 244 248 250 255 259 266 272 276 283 285 287 291 292 293 295 298 300 311 313 316 317 318 322 324 329 336 337 340 341 342 349 355 357 358 359 360 361 363 368 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 473 474 476 478 479 485 486 488 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 46 49 51 57 67 69 70 74 78 80 81 83 88 89 90 92 99 104 106 107 110 115 116 121 126 128 130 132 134 142 143 144 151 155 156 158 162 170 174 175 182 186 190 192 197 198 199 202 203 205 206 209 210 211 212 220 225 226 229 233 237 238 240 241 243 244 248 250 254 255 259 266 272 276 283 285 287 291 292 293 295 298 300 311 313 316 317 318 322 324 329 337 340 341 342 349 355 357 358 359 360 361 363 368 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 473 474 476 478 479 485 486 488 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 46 49 51 57 67 69 70 74 78 80 81 83 88 89 90 92 99 104 106 107 110 115 116 121 126 128 130 132 134 142 143 144 151 155 158 162 170 174 175 180 182 186 190 192 197 198 199 202 203 205 206 209 210 211 212 220 225 226 229 233 237 238 240 241 243 244 248 250 254 255 259 266 272 276 283 285 287 291 292 293 295 298 300 311 313 316 317 318 322 324 329 337 340 341 342 349 355 357 358 359 360 361 363 368 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 473 474 476 478 479 485 486 488 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 46 49 51 57 67 69 70 74 78 80 81 83 88 89 90 92 99 104 106 107 110 115 116 121 126 128 130 132 134 142 143 144 151 155 158 162 170 174 175 180 182 186 189 190 192 197 198 199 202 203 206 209 210 211 212 220 225 226 229 233 237 238 240 241 243 244 248 250 254 255 259 266 272 276 283 285 287 291 292 293 295 298 300 311 313 316 317 318 322 324 329 337 340 341 342 349 355 357 358 359 360 361 363 368 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 466 471 472 473 474 476 478 479 485 486 488 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 46 49 51 57 67 69 70 74 78 80 81 83 88 89 90 92 99 104 106 107 110 115 116 121 126 128 130 132 134 142 143 144 151 155 158 162 170 174 175 180 182 186 189 190 192 197 198 199 202 203 206 209 210 211 212 220 225 226 229 233 237 238 240 241 243 244 248 250 254 255 259 266 272 276 283 285 287 291 292 293 295 298 300 311 313 316 317 318 322 324 329 337 340 341 342 349 355 357 358 360 361 363 368 372 374 376 379 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 464 466 471 472 473 474 476 478 479 485 486 488 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 46 49 51 57 67 69 70 74 78 80 81 83 88 89 90 92 99 104 106 107 110 115 116 121 126 128 130 132 134 142 143 144 148 151 155 158 162 170 174 175 180 182 186 189 190 192 197 198 199 202 203 206 209 210 211 212 220 225 226 229 233 237 238 240 241 243 244 248 250 254 255 259 266 272 276 283 285 287 291 292 293 295 298 300 311 313 316 317 318 322 324 329 337 340 341 342 349 355 357 358 360 361 363 368 372 374 376 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 464 466 471 472 473 474 476 478 479 485 486 488 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 46 49 51 57 69 70 74 78 80 81 83 88 89 90 92 99 104 106 107 110 115 116 121 126 128 130 132 134 142 143 144 148 151 155 158 162 170 174 175 180 182 186 189 190 192 197 198 199 202 203 206 209 210 211 212 220 225 226 229 233 237 238 240 241 243 244 248 250 254 255 259 266 272 276 283 285 287 291 292 293 295 298 300 311 313 316 317 318 322 324 329 337 340 341 342 349 355 357 358 360 361 363 368 372 374 376 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 464 466 471 472 473 474 476 478 479 485 486 488 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 46 49 51 57 69 70 74 78 80 81 83 88 89 90 92 96 99 104 106 107 110 115 116 121 126 128 130 132 134 142 143 144 148 151 155 158 162 170 174 180 182 186 189 190 192 197 198 199 202 203 206 209 210 211 212 220 225 226 229 233 237 238 240 241 243 244 248 250 254 255 259 266 272 276 283 285 287 291 292 293 295 298 300 311 313 316 317 318 322 324 329 337 340 341 342 349 355 357 358 360 361 363 368 372 374 376 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 464 466 471 472 473 474 476 478 479 485 486 488 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 46 49 51 57 69 70 74 78 80 81 83 88 89 90 92 96 99 104 106 107 110 115 116 121 126 128 130 132 134 142 143 144 148 151 155 158 162 170 174 180 182 186 189 190 192 197 198 199 202 203 206 209 210 211 212 220 225 226 229 233 237 238 240 241 243 244 248 250 254 255 259 266 272 276 283 285 287 291 292 293 295 298 300 311 313 316 317 318 322 324 329 340 341 342 349 355 357 358 360 361 363 368 372 374 376 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 464 466 471 472 473 474 475 476 478 479 485 486 488 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 46 49 51 57 69 70 74 78 80 81 83 88 89 90 92 96 99 104 106 107 110 115 116 121 126 128 130 132 134 142 143 144 148 151 155 158 162 170 174 180 182 186 189 190 192 197 198 199 201 202 203 206 209 210 211 212 220 225 226 229 233 237 238 240 241 243 244 248 250 254 255 259 266 272 276 283 285 287 291 292 293 295 298 300 311 313 316 317 318 322 324 329 340 341 342 349 355 357 358 360 361 363 368 374 376 382 384 388 389 391 393 395 398 401 406 407 411 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 464 466 471 472 473 474 475 476 478 479 485 486 488 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 46 49 51 57 69 70 74 78 80 81 83 88 89 90 92 96 99 104 106 107 110 115 116 119 121 126 128 130 132 134 142 143 144 148 151 155 158 162 170 174 180 182 186 189 190 192 197 198 199 201 202 203 206 209 210 211 212 220 225 226 229 233 237 238 240 241 243 244 248 250 254 255 259 266 272 276 283 285 287 291 292 293 295 298 300 311 313 316 317 318 322 324 329 340 341 342 349 355 357 358 360 361 363 368 374 376 382 384 388 389 391 393 395 398 406 407 411 415 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 464 466 471 472 473 474 475 476 478 479 485 486 488 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 46 49 51 57 69 70 74 78 80 81 83 88 89 90 91 92 96 99 104 106 107 110 115 116 119 121 126 128 130 132 134 142 143 144 148 151 155 158 162 170 174 180 182 186 189 190 192 197 198 199 201 202 203 206 209 210 211 212 220 225 226 229 233 237 238 240 241 243 244 248 250 254 255 259 266 272 276 283 285 287 291 292 293 295 298 300 311 313 316 317 318 322 324 329 340 341 342 349 355 357 358 360 361 363 368 374 376 382 384 388 389 391 393 395 398 406 407 411 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 464 466 471 472 473 474 475 476 478 479 485 486 488 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 46 49 51 57 69 74 78 80 81 83 88 89 90 91 92 96 99 104 106 107 110 115 116 119 121 126 128 130 132 134 142 143 144 148 151 155 158 162 170 174 180 182 186 189 190 192 197 198 199 201 202 203 206 209 210 211 212 220 225 226 229 233 237 238 240 241 243 244 248 250 254 255 259 266 272 276 283 285 287 291 292 293 295 298 300 311 313 316 317 318 322 324 329 340 341 342 349 355 357 358 360 361 363 364 368 374 376 382 384 388 389 391 393 395 398 406 407 411 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 464 466 471 472 473 474 475 476 478 479 485 486 488 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 46 49 51 57 69 74 78 80 81 83 88 89 90 91 92 96 99 104 106 107 110 115 116 119 121 128 130 132 134 142 143 144 148 151 155 158 162 170 174 180 182 186 189 190 192 197 198 199 201 202 203 206 209 210 211 212 220 225 226 229 233 237 238 240 241 243 244 248 250 254 255 259 266 272 276 283 285 287 291 292 293 295 298 300 311 313 316 317 318 322 324 329 340 341 342 348 349 355 357 358 360 361 363 364 368 374 376 382 384 388 389 391 393 395 398 406 407 411 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 464 466 471 472 473 474 475 476 478 479 485 486 488 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 46 49 51 57 69 74 78 80 81 83 88 89 90 91 92 96 99 104 106 107 110 115 116 119 121 128 130 132 134 142 143 144 148 151 155 158 162 170 174 180 182 186 189 190 192 197 198 199 201 202 203 206 209 210 211 212 220 225 226 229 233 237 238 240 241 243 244 248 250 254 255 266 272 276 283 285 287 291 292 293 295 298 300 311 313 316 317 318 322 324 329 340 341 342 348 349 352 355 357 358 360 361 363 364 368 374 376 382 384 388 389 391 393 395 398 406 407 411 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 464 466 471 472 473 474 475 476 478 479 485 486 488 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 46 49 51 57 69 74 78 80 81 83 88 89 90 91 92 96 99 104 106 107 110 115 116 119 121 128 130 132 134 142 143 144 148 151 155 162 170 174 180 182 186 189 190 192 197 198 199 201 202 203 206 209 210 211 212 220 225 226 229 233 237 238 240 241 243 244 248 250 254 255 266 272 276 283 285 287 291 292 293 295 298 300 311 313 316 317 318 322 324 329 340 341 342 348 349 352 355 357 358 360 361 363 364 368 374 376 382 384 388 389 391 393 395 398 406 407 411 416 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 464 466 471 472 473 474 475 476 478 479 485 486 488 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 46 49 51 57 69 74 78 80 81 83 88 89 90 91 92 96 99 104 106 107 110 115 116 119 121 128 130 132 134 142 143 144 148 151 155 162 170 174 180 182 186 189 190 192 197 198 199 201 202 203 206 209 210 211 212 220 225 226 229 233 234 237 238 240 241 243 244 248 250 254 255 266 272 276 283 285 287 291 292 293 295 298 300 311 313 316 317 318 322 324 329 340 341 342 348 349 352 357 358 360 361 363 364 368 374 376 382 384 388 389 391 393 395 398 406 407 411 416 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 464 466 471 472 473 474 475 476 478 479 485 486 488 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 46 48 49 51 57 69 74 78 80 81 83 88 89 90 91 92 96 99 104 106 107 110 115 116 119 121 128 130 132 134 142 143 144 148 151 155 162 170 174 180 182 186 189 190 192 197 198 199 201 202 203 206 209 210 211 212 220 225 226 229 233 234 237 238 240 241 243 244 248 250 254 255 266 272 276 283 285 287 291 292 293 295 298 300 311 313 316 317 318 322 324 329 340 341 342 348 349 352 357 358 360 361 363 364 368 374 376 382 384 388 389 391 393 395 398 406 411 416 417 418 420 421 422 428 436 438 446 448 449 453 454 455 463 464 466 471 472 473 474 475 476 478 479 485 486 488 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 46 48 49 51 57 69 74 78 80 81 83 88 89 90 91 92 96 99 104 106 107 110 115 116 119 121 128 130 132 134 142 143 144 148 151 155 162 170 174 180 182 186 189 190 192 197 198 199 201 202 203 206 209 210 211 212 220 225 226 229 233 234 237 238 240 241 243 244 248 250 254 255 266 272 276 283 285 287 291 292 293 295 298 300 311 313 316 317 318 322 324 329 332 340 341 342 348 349 352 357 358 360 361 363 364 368 374 376 382 384 388 389 391 393 395 398 406 411 416 417 420 421 422 428 436 438 446 448 449 453 454 455 463 464 466 471 472 473 474 475 476 478 479 485 486 488 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 46 48 49 51 57 69 74 78 80 81 83 88 89 90 91 92 96 99 104 106 107 110 115 116 119 121 128 130 132 134 138 142 143 144 148 151 155 162 170 174 180 182 186 189 190 192 197 198 199 201 202 203 206 209 210 211 212 220 225 226 229 233 234 237 238 240 241 243 244 248 250 254 255 266 272 276 283 285 287 291 292 293 295 298 300 311 313 316 317 318 322 324 329 332 340 341 342 348 349 352 357 358 360 361 363 364 368 374 376 382 384 388 389 391 393 395 398 406 411 416 417 420 421 422 428 436 446 448 449 453 454 455 463 464 466 471 472 473 474 475 476 478 479 485 486 488 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 46 48 49 51 57 69 78 80 81 83 88 89 90 91 92 96 99 104 106 107 110 115 116 119 121 128 130 132 134 138 142 143 144 148 151 155 162 170 174 180 182 186 189 190 192 197 198 199 201 202 203 206 209 210 211 212 220 225 226 229 233 234 237 238 240 241 243 244 248 250 254 255 258 266 272 276 283 285 287 291 292 293 295 298 300 311 313 316 317 318 322 324 329 332 340 341 342 348 349 352 357 358 360 361 363 364 368 374 376 382 384 388 389 391 393 395 398 406 411 416 417 420 421 422 428 436 446 448 449 453 454 455 463 464 466 471 472 473 474 475 476 478 479 485 486 488 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 46 48 49 51 57 69 78 80 83 88 89 90 91 92 96 99 104 106 107 110 115 116 119 121 128 130 132 134 138 142 143 144 148 151 155 162 170 174 180 182 186 189 190 192 197 198 199 201 202 203 206 209 210 211 212 220 225 226 229 233 234 237 238 240 241 243 244 248 250 254 255 258 266 272 276 283 285 287 291 292 293 295 298 300 311 313 316 317 318 322 324 329 332 340 341 342 348 349 352 357 358 360 361 363 364 368 374 376 382 384 388 389 391 393 395 398 404 406 411 416 417 420 421 422 428 436 446 448 449 453 454 455 463 464 466 471 472 473 474 475 476 478 479 485 486 488 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 46 48 49 51 57 69 78 80 88 89 90 91 92 96 99 104 106 107 110 115 116 119 121 128 130 132 134 138 142 143 144 148 151 155 162 170 174 180 182 186 189 190 192 197 198 199 201 202 203 206 209 210 211 212 220 225 226 229 233 234 237 238 240 241 243 244 248 250 254 255 258 266 272 276 280 283 285 287 291 292 293 295 298 300 311 313 316 317 318 322 324 329 332 340 341 342 348 349 352 357 358 360 361 363 364 368 374 376 382 384 388 389 391 393 395 398 404 406 411 416 417 420 421 422 428 436 446 448 449 453 454 455 463 464 466 471 472 473 474 475 476 478 479 485 486 488 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 46 48 49 51 57 69 78 80 88 89 90 91 92 96 99 100 104 106 107 110 115 116 119 121 128 130 132 134 138 142 143 144 148 151 155 162 170 174 180 182 186 189 190 192 197 198 199 201 202 203 206 209 210 211 212 220 225 226 229 233 234 237 238 240 241 243 244 248 250 254 255 258 266 272 276 280 283 285 287 291 292 293 295 298 300 311 313 316 317 318 322 324 329 332 340 341 342 348 349 352 357 358 360 361 363 364 368 374 376 382 384 388 389 391 393 395 398 404 406 411 416 417 420 421 422 428 436 448 449 453 454 455 463 464 466 471 472 473 474 475 476 478 479 485 486 488 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 46 48 49 51 57 69 78 80 88 89 90 91 92 96 99 100 104 106 107 110 115 116 119 121 128 130 132 134 138 142 143 144 148 149 151 155 162 170 174 180 182 186 189 190 192 197 198 199 201 202 203 206 209 210 211 212 220 225 226 229 233 234 237 238 240 241 243 244 248 250 254 255 258 266 272 276 280 283 285 287 291 292 293 295 298 300 311 313 316 317 318 322 324 329 332 340 341 342 348 349 352 357 358 360 361 363 364 368 374 376 382 384 388 389 391 393 395 398 404 406 411 416 417 420 421 422 428 448 449 453 454 455 463 464 466 471 472 473 474 475 476 478 479 485 486 488 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 46 48 49 51 57 69 78 80 88 89 90 91 92 96 99 100 104 106 107 110 115 116 119 121 128 130 132 134 136 138 142 143 144 148 149 151 155 162 170 174 180 182 186 189 190 192 197 198 199 201 202 203 206 209 210 211 212 220 225 226 229 233 234 237 238 240 241 243 244 248 250 254 255 258 266 272 276 280 283 285 287 291 292 293 295 298 300 311 313 316 317 318 322 324 329 332 340 341 342 348 349 352 357 358 360 361 363 364 368 374 376 382 384 388 389 391 393 395 398 404 406 411 416 417 420 421 422 428 448 453 454 455 463 464 466 471 472 473 474 475 476 478 479 485 486 488 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 41 46 48 49 51 57 69 78 80 88 89 90 91 92 96 99 100 104 106 107 110 115 116 119 121 128 130 132 134 136 138 142 143 144 148 149 151 155 162 170 174 180 182 186 189 190 192 197 198 199 201 202 203 206 209 210 211 212 220 225 226 229 233 234 237 238 240 241 243 244 248 250 254 255 258 266 272 276 280 283 285 287 291 292 293 295 298 300 311 313 316 317 318 322 324 329 332 340 341 342 348 349 352 357 358 360 361 363 364 368 374 376 382 384 388 389 391 393 395 398 404 406 411 416 417 420 421 422 428 448 454 455 463 464 466 471 472 473 474 475 476 478 479 485 486 488 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 41 46 48 49 51 57 69 78 80 88 89 90 91 92 96 99 100 104 106 107 110 115 116 119 121 128 130 132 134 136 138 142 143 144 148 149 151 155 162 170 174 180 182 186 189 190 192 197 198 201 202 203 206 209 210 211 212 220 225 226 229 233 234 237 238 240 241 243 244 248 250 254 255 258 266 272 276 280 283 285 287 291 292 293 295 298 300 307 311 313 316 317 318 322 324 329 332 340 341 342 348 349 352 357 358 360 361 363 364 368 374 376 382 384 388 389 391 393 395 398 404 406 411 416 417 420 421 422 428 448 454 455 463 464 466 471 472 473 474 475 476 478 479 485 486 488 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 41 46 48 49 51 57 69 78 80 88 89 90 91 92 96 99 100 104 106 107 110 115 116 119 121 128 130 132 134 136 138 143 144 148 149 151 155 162 170 174 180 182 186 189 190 192 197 198 201 202 203 206 209 210 211 212 220 225 226 229 233 234 237 238 240 241 243 244 248 250 254 255 258 266 272 276 280 283 285 287 291 292 293 295 298 300 307 311 313 316 317 318 322 324 329 332 340 341 342 348 349 352 356 357 358 360 361 363 364 368 374 376 382 384 388 389 391 393 395 398 404 406 411 416 417 420 421 422 428 448 454 455 463 464 466 471 472 473 474 475 476 478 479 485 486 488 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 41 46 48 49 51 57 69 78 80 88 89 90 91 92 96 99 100 104 106 107 110 115 116 119 121 128 130 132 134 136 138 143 144 148 149 151 155 170 174 179 180 182 186 189 190 192 197 198 201 202 203 206 209 210 211 212 220 225 226 229 233 234 237 238 240 241 243 244 248 250 254 255 258 266 272 276 280 283 285 287 291 292 293 295 298 300 307 311 313 316 317 318 322 324 329 332 340 341 342 348 349 352 356 357 358 360 361 363 364 368 374 376 382 384 388 389 391 393 395 398 404 406 411 416 417 420 421 422 428 448 454 455 463 464 466 471 472 473 474 475 476 478 479 485 486 488 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 41 46 48 49 51 57 69 78 80 88 89 90 91 92 96 99 100 104 106 107 110 115 116 119 121 128 130 132 134 136 138 143 144 148 149 151 155 170 174 179 180 182 186 189 190 192 197 198 201 202 203 206 209 210 211 220 225 226 229 233 234 237 238 240 241 243 244 248 250 254 255 258 266 272 276 280 283 285 287 291 292 293 295 298 300 307 311 313 316 317 318 322 324 329 332 340 341 342 348 349 352 356 357 358 360 361 363 364 368 374 376 382 384 388 389 391 393 395 398 404 406 411 416 417 420 421 422 428 448 454 455 463 464 466 471 472 473 474 475 476 478 479 485 486 488 490 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 41 46 48 49 51 57 69 78 80 88 89 90 91 92 96 99 100 104 106 107 110 115 116 119 121 128 130 132 134 136 138 143 144 148 149 151 155 170 174 179 180 182 186 189 190 192 197 198 201 202 203 206 207 209 210 211 220 225 226 229 233 234 237 240 241 243 244 248 250 254 255 258 266 272 276 280 283 285 287 291 292 293 295 298 300 307 311 313 316 317 318 322 324 329 332 340 341 342 348 349 352 356 357 358 360 361 363 364 368 374 376 382 384 388 389 391 393 395 398 404 406 411 416 417 420 421 422 428 448 454 455 463 464 466 471 472 473 474 475 476 478 479 485 486 488 490 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 41 46 48 49 51 55 57 69 78 80 88 89 90 91 92 96 99 100 104 106 107 110 115 116 119 121 128 130 132 134 136 138 143 144 148 149 151 155 170 174 179 180 182 186 189 190 192 197 198 201 202 203 206 207 209 210 211 220 225 226 229 233 234 237 240 241 243 244 250 254 255 258 266 272 276 280 283 285 287 291 292 293 295 298 300 307 311 313 316 317 318 322 324 329 332 340 341 342 348 349 352 356 357 358 360 361 363 364 368 374 376 382 384 388 389 391 393 395 398 404 406 411 416 417 420 421 422 428 448 454 455 463 464 466 471 472 473 474 475 476 478 479 485 486 488 490 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 41 46 48 49 51 55 57 69 78 80 82 88 89 90 91 92 96 99 100 104 106 107 110 115 116 119 121 128 130 132 134 136 138 143 144 148 149 151 155 170 174 179 180 182 186 189 190 192 197 198 201 202 203 206 207 209 210 211 220 225 226 229 233 234 237 240 241 243 244 250 254 255 258 272 276 280 283 285 287 291 292 293 295 298 300 307 311 313 316 317 318 322 324 329 332 340 341 342 348 349 352 356 357 358 360 361 363 364 368 374 376 382 384 388 389 391 393 395 398 404 406 411 416 417 420 421 422 428 448 454 455 463 464 466 471 472 473 474 475 476 478 479 485 486 488 490 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 41 46 48 49 51 55 57 69 78 80 82 88 89 90 91 92 96 99 100 104 106 107 110 115 116 119 121 128 130 132 134 136 138 143 144 148 149 151 155 170 174 179 180 182 186 187 189 190 192 197 198 201 202 203 206 207 209 210 211 220 225 226 229 233 234 237 240 241 243 244 250 254 255 258 272 276 280 283 285 287 291 292 293 295 298 300 307 311 313 316 317 318 322 324 329 332 340 341 342 348 349 352 356 357 358 360 363 364 368 374 376 382 384 388 389 391 393 395 398 404 406 411 416 417 420 421 422 428 448 454 455 463 464 466 471 472 473 474 475 476 478 479 485 486 488 490 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 41 46 48 49 51 55 57 69 78 80 82 88 89 90 91 92 96 99 100 104 106 107 110 115 116 119 121 128 130 132 134 136 138 143 144 148 149 151 155 170 174 179 180 182 186 187 189 190 192 197 198 201 202 203 206 207 209 210 211 220 225 226 229 233 234 237 240 241 243 244 250 254 255 258 272 276 280 283 285 287 291 292 293 295 298 300 307 311 313 316 318 322 324 329 332 340 341 342 348 349 352 356 357 358 360 363 364 368 371 374 376 382 384 388 389 391 393 395 398 404 406 411 416 417 420 421 422 428 448 454 455 463 464 466 471 472 473 474 475 476 478 479 485 486 488 490 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 41 46 48 49 51 55 57 69 78 80 82 88 89 90 91 92 96 99 100 104 106 107 110 115 116 119 121 128 130 132 134 136 138 143 144 148 149 151 155 170 174 179 180 182 186 187 189 190 192 197 198 201 202 203 206 207 209 210 211 220 225 226 229 233 234 237 240 241 243 244 250 254 255 258 272 276 280 283 285 287 291 292 293 295 298 300 307 309 311 313 316 318 322 324 329 332 340 341 342 348 349 352 356 357 358 360 363 364 368 371 374 376 382 388 389 391 393 395 398 404 406 411 416 417 420 421 422 428 448 454 455 463 464 466 471 472 473 474 475 476 478 479 485 486 488 490 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 41 46 48 49 51 55 57 69 78 80 82 88 89 90 91 92 96 99 100 104 106 107 110 115 116 119 121 128 130 132 134 136 138 143 144 148 149 151 155 170 174 179 180 182 186 187 189 190 192 197 198 201 202 203 206 207 209 210 211 220 225 226 229 233 234 237 240 241 243 244 250 254 255 258 272 276 280 283 285 287 291 292 293 295 298 300 307 309 311 313 318 322 324 329 332 333 340 341 342 348 349 352 356 357 358 360 363 364 368 371 374 376 382 388 389 391 393 395 398 404 406 411 416 417 420 421 422 428 448 454 455 463 464 466 471 472 473 474 475 476 478 479 485 486 488 490 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 41 46 48 49 51 55 57 69 78 80 82 88 90 91 92 96 99 100 104 106 107 110 115 116 119 121 128 130 132 134 136 138 143 144 148 149 151 155 170 174 179 180 182 186 187 189 190 192 197 198 201 202 203 206 207 209 210 211 220 225 226 229 233 234 237 240 241 243 244 250 254 255 258 272 276 280 283 285 287 291 292 293 295 298 300 307 309 311 313 318 322 324 329 332 333 340 341 342 348 349 352 356 357 358 360 363 364 368 371 374 376 382 388 389 391 393 395 398 404 406 411 416 417 420 421 422 428 448 454 455 459 463 464 466 471 472 473 474 475 476 478 479 485 486 488 490 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 41 46 48 49 51 55 57 69 78 80 82 88 90 91 92 96 99 100 104 106 107 110 115 116 119 121 128 130 132 134 136 138 143 144 148 149 151 155 170 174 179 180 182 186 187 189 190 192 197 198 201 203 206 207 209 210 211 220 225 226 229 233 234 237 240 241 243 244 250 254 255 258 272 276 280 283 285 287 288 291 292 293 295 298 300 307 309 311 313 318 322 324 329 332 333 340 341 342 348 349 352 356 357 358 360 363 364 368 371 374 376 382 388 389 391 393 395 398 404 406 411 416 417 420 421 422 428 448 454 455 459 463 464 466 471 472 473 474 475 476 478 479 485 486 488 490 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 41 46 48 49 51 55 57 69 78 80 82 88 90 91 92 96 99 100 104 106 107 110 115 116 119 121 128 130 134 136 138 143 144 148 149 151 155 170 174 179 180 182 186 187 189 190 192 197 198 201 203 206 207 209 210 211 220 225 226 229 233 234 237 240 241 243 244 250 252 254 255 258 272 276 280 283 285 287 288 291 292 293 295 298 300 307 309 311 313 318 322 324 329 332 333 340 341 342 348 349 352 356 357 358 360 363 364 368 371 374 376 382 388 389 391 393 395 398 404 406 411 416 417 420 421 422 428 448 454 455 459 463 464 466 471 472 473 474 475 476 478 479 485 486 488 490 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 41 46 48 49 51 55 57 69 78 80 82 88 90 91 92 96 99 100 104 106 107 109 110 115 116 119 121 128 130 134 136 138 143 144 148 149 151 155 170 174 179 180 182 186 187 189 190 192 197 198 201 203 206 207 209 210 211 220 225 226 229 233 234 237 240 241 243 244 250 252 254 255 258 272 276 280 283 285 287 288 291 292 293 295 298 300 307 309 311 313 318 322 324 329 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 376 382 388 389 391 393 395 398 404 406 411 416 417 420 421 422 428 448 454 455 459 463 464 466 471 472 473 474 475 476 478 479 485 486 488 490 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 41 46 48 49 51 55 57 69 78 80 82 88 90 91 92 96 99 100 104 106 107 109 110 115 116 119 121 128 130 134 136 138 143 144 148 149 151 155 170 174 179 180 182 186 187 189 190 192 197 198 201 203 206 207 209 210 211 220 225 226 229 233 234 237 240 241 243 244 250 252 254 255 258 272 276 280 283 285 287 288 291 292 293 295 298 300 307 309 311 313 318 322 324 329 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 376 381 382 388 389 393 395 398 404 406 411 416 417 420 421 422 428 448 454 455 459 463 464 466 471 472 473 474 475 476 478 479 485 486 488 490 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 41 46 48 49 51 55 57 69 78 80 82 88 90 91 92 96 99 100 104 106 107 109 110 115 116 119 121 128 130 134 136 138 143 144 148 149 151 155 170 174 179 180 182 186 187 189 190 192 197 198 201 203 206 207 209 210 211 220 225 226 229 233 234 237 240 241 243 244 250 252 254 255 258 272 276 280 283 285 287 288 291 292 293 295 298 300 307 309 311 313 318 322 324 329 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 376 381 382 388 389 393 395 398 404 406 411 416 417 420 421 422 428 439 454 455 459 463 464 466 471 472 473 474 475 476 478 479 485 486 488 490 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 41 46 48 49 51 55 57 69 78 80 82 88 90 91 92 96 99 100 104 105 106 107 109 110 115 116 119 121 128 130 134 136 138 143 144 148 149 151 155 170 174 179 180 182 186 187 189 190 192 197 198 201 203 206 207 209 210 211 220 225 226 229 233 234 237 240 241 243 244 250 252 254 255 258 272 276 280 283 285 287 288 291 292 293 295 298 300 307 309 311 313 318 322 324 329 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 376 381 382 388 389 393 395 398 404 406 411 416 417 420 421 422 428 439 455 459 463 464 466 471 472 473 474 475 476 478 479 485 486 488 490 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 41 46 48 49 51 55 57 69 78 80 82 88 90 91 92 96 99 100 104 105 106 107 109 110 115 119 121 128 130 134 136 138 143 144 148 149 151 155 170 174 179 180 182 186 187 189 190 192 197 198 201 203 206 207 209 210 211 220 225 226 229 233 234 237 240 241 243 244 250 252 254 255 258 272 276 280 283 285 287 288 291 292 293 295 298 300 307 309 311 313 318 322 324 329 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 376 381 382 388 389 393 395 398 404 406 411 416 417 420 421 422 428 439 447 455 459 463 464 466 471 472 473 474 475 476 478 479 485 486 488 490 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 41 46 48 49 51 55 57 69 78 80 82 88 90 91 92 96 99 100 104 105 106 107 109 110 115 119 121 128 130 134 136 138 143 144 148 149 151 155 170 174 179 180 182 186 187 189 190 192 197 198 201 203 206 207 209 210 211 220 225 226 229 233 234 237 240 241 243 244 250 252 254 255 258 272 276 280 283 285 287 288 291 292 295 298 300 307 309 311 313 318 322 324 329 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 381 382 388 389 393 395 398 404 406 411 416 417 420 421 422 428 439 447 455 459 463 464 466 471 472 473 474 475 476 478 479 485 486 488 490 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 41 46 48 49 51 55 57 69 78 80 82 88 90 91 92 96 99 100 104 105 106 107 109 110 115 119 121 128 130 134 136 138 143 144 148 149 151 155 170 179 180 182 186 187 189 190 192 197 198 201 203 206 207 209 210 211 220 225 226 229 233 234 237 240 241 243 244 250 252 254 255 258 272 276 280 283 285 287 288 291 292 295 298 300 307 309 311 313 318 322 324 329 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 381 382 388 389 393 395 398 404 406 411 416 417 420 421 422 428 439 447 455 459 463 464 466 470 471 472 473 474 475 476 478 479 485 486 488 490 492 493 494 a 1 2 3 4 9 11 17 21 24 25 32 36 39 41 46 48 49 51 55 57 69 78 80 82 88 90 91 92 96 99 100 104 105 106 107 109 110 115 119 121 128 130 134 136 138 143 144 148 149 151 155 170 179 180 182 186 187 189 190 192 197 198 201 203 206 207 209 210 211 220 225 226 229 233 234 237 240 241 243 244 250 252 254 255 258 272 276 280 283 285 287 288 291 292 295 300 307 309 311 313 318 322 324 329 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 381 382 388 389 390 393 395 398 404 406 411 416 417 420 421 422 428 439 447 455 459 463 464 466 470 471 472 473 474 475 476 478 479 485 486 488 490 492 493 494 a 1 2 3 4 9 11 17 21 24 25 30 32 36 39 41 46 48 49 51 55 57 69 78 80 82 88 90 91 92 96 99 100 104 105 106 107 109 110 115 119 121 128 130 134 136 138 143 144 148 149 151 155 170 179 180 182 186 187 189 190 192 197 198 201 203 206 207 209 210 211 220 225 226 229 233 234 237 240 241 243 244 250 252 254 255 258 272 276 280 283 285 287 288 291 292 295 300 307 309 311 313 318 322 324 329 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 381 388 389 390 393 395 398 404 406 411 416 417 420 421 422 428 439 447 455 459 463 464 466 470 471 472 473 474 475 476 478 479 485 486 488 490 492 493 494 a 1 2 3 4 9 11 17 21 24 25 30 32 36 39 41 46 48 49 51 55 57 69 78 80 82 88 90 91 92 96 99 100 104 105 106 107 109 110 115 119 121 128 130 134 136 138 143 144 148 149 151 155 170 179 180 182 186 187 189 190 192 197 198 201 203 206 207 209 210 211 220 225 226 229 233 234 237 240 241 243 244 250 252 254 255 258 272 276 280 283 285 287 288 291 292 295 300 307 309 311 313 318 322 324 329 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 381 388 389 390 393 395 398 404 406 411 416 417 420 421 422 428 439 447 455 459 463 464 470 471 472 473 474 475 476 478 479 480 485 486 488 490 492 493 494 a 1 2 3 4 9 11 17 21 24 25 30 32 36 39 41 46 48 49 51 55 57 69 78 80 82 88 90 91 92 96 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 170 179 180 182 186 187 189 190 192 197 198 201 203 206 207 209 210 211 220 225 226 229 233 234 237 240 241 243 244 250 252 254 255 258 272 276 280 283 285 287 288 291 292 295 300 307 309 311 313 318 322 324 329 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 381 386 388 389 390 393 395 398 404 406 411 416 417 420 421 422 428 439 447 455 459 463 464 470 471 472 473 474 475 476 478 479 480 485 486 488 490 492 493 494 a 1 2 3 4 9 11 17 21 24 25 30 32 36 39 41 46 48 49 51 55 57 69 78 80 82 88 90 91 92 96 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 170 179 180 182 186 187 189 190 192 197 198 201 203 206 207 209 211 220 225 226 229 233 234 237 240 241 243 244 250 252 254 255 258 272 276 280 283 285 287 288 291 292 295 300 303 307 309 311 313 318 322 324 329 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 381 386 388 389 390 393 395 398 404 406 411 416 417 420 421 422 428 439 447 455 459 463 464 470 471 472 473 474 475 476 478 479 480 485 486 488 490 492 493 494 a 1 2 3 4 9 11 17 21 24 25 28 30 32 36 39 41 46 48 49 51 55 57 69 78 80 82 88 90 91 92 96 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 170 179 180 182 186 187 189 190 192 197 198 201 203 206 207 209 211 220 225 226 229 233 234 237 240 241 243 244 252 254 255 258 272 276 280 283 285 287 288 291 292 295 300 303 307 309 311 313 318 322 324 329 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 381 386 388 389 390 393 395 398 404 406 411 416 417 420 421 422 428 439 447 455 459 463 464 470 471 472 473 474 475 476 478 479 480 485 486 488 490 492 493 494 a 1 2 3 4 9 11 17 21 24 25 28 30 32 36 39 41 46 48 49 51 55 57 69 78 80 82 88 90 91 92 96 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 170 179 180 182 186 187 189 190 192 197 198 201 203 206 207 209 211 220 225 226 229 233 234 237 240 241 243 244 252 254 255 258 272 276 280 283 285 287 288 291 292 295 300 303 307 309 311 313 318 322 324 329 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 381 386 388 389 390 393 395 398 404 406 411 416 417 420 421 422 423 428 439 447 455 459 463 464 470 472 473 474 475 476 478 479 480 485 486 488 490 492 493 494 a 1 2 3 4 9 11 17 21 24 25 28 30 32 36 39 41 46 48 49 51 55 57 65 69 78 80 82 88 90 91 92 96 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 170 179 180 182 186 187 189 190 192 197 198 201 203 206 207 209 211 225 226 229 233 234 237 240 241 243 244 252 254 255 258 272 276 280 283 285 287 288 291 292 295 300 303 307 309 311 313 318 322 324 329 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 381 386 388 389 390 393 395 398 404 406 411 416 417 420 421 422 423 428 439 447 455 459 463 464 470 472 473 474 475 476 478 479 480 485 486 488 490 492 493 494 a 1 2 3 4 9 11 17 21 24 25 28 30 32 36 39 41 46 48 49 51 55 57 65 69 78 80 82 88 90 91 92 96 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 160 170 179 180 182 186 187 189 190 192 197 198 201 203 206 207 209 211 225 226 229 233 234 237 240 241 243 244 252 254 255 258 272 276 280 283 285 287 288 291 292 295 300 303 307 309 311 313 318 322 324 329 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 381 386 388 389 390 393 398 404 406 411 416 417 420 421 422 423 428 439 447 455 459 463 464 470 472 473 474 475 476 478 479 480 485 486 488 490 492 493 494 a 1 2 3 4 9 11 17 21 24 25 28 30 32 36 39 41 46 48 49 51 55 57 65 69 78 80 82 88 90 91 92 96 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 160 170 179 180 182 186 187 189 190 192 197 198 201 203 206 207 209 211 213 225 229 233 234 237 240 241 243 244 252 254 255 258 272 276 280 283 285 287 288 291 292 295 300 303 307 309 311 313 318 322 324 329 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 381 386 388 389 390 393 398 404 406 411 416 417 420 421 422 423 428 439 447 455 459 463 464 470 472 473 474 475 476 478 479 480 485 486 488 490 492 493 494 a 1 2 3 4 9 11 17 21 24 25 28 30 32 36 39 41 46 48 49 51 55 57 65 69 78 80 82 88 90 91 92 93 96 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 160 170 179 180 182 186 187 189 190 192 197 198 201 203 206 207 209 211 213 225 229 233 234 237 240 241 243 244 252 254 255 258 272 276 280 283 285 287 288 291 292 295 300 303 307 309 311 313 318 322 324 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 381 386 388 389 390 393 398 404 406 411 416 417 420 421 422 423 428 439 447 455 459 463 464 470 472 473 474 475 476 478 479 480 485 486 488 490 492 493 494 a 1 2 3 4 9 11 16 17 21 24 25 28 30 32 36 39 41 46 48 49 51 55 57 65 69 78 80 82 88 90 91 92 93 96 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 160 170 179 180 182 186 187 189 190 192 197 198 201 203 206 207 209 211 213 225 229 233 234 237 240 241 243 244 252 254 255 258 272 276 280 283 285 287 288 291 292 295 300 303 307 309 311 313 318 322 324 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 381 386 388 389 390 393 398 404 406 411 416 417 421 422 423 428 439 447 455 459 463 464 470 472 473 474 475 476 478 479 480 485 486 488 490 492 493 494 a 1 2 3 4 9 11 16 17 21 24 25 28 30 32 36 39 41 46 48 49 51 55 57 65 69 78 80 82 88 90 91 92 93 96 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 160 170 179 180 182 186 187 189 190 192 197 198 201 203 206 207 209 211 213 225 229 233 234 237 240 241 243 244 252 254 255 258 272 276 280 283 285 287 288 291 292 295 300 303 307 309 311 313 318 322 324 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 378 381 386 388 389 390 393 398 404 406 411 416 417 421 422 423 428 439 447 455 459 463 464 470 472 473 474 475 476 479 480 485 486 488 490 492 493 494 a 1 2 3 4 9 11 16 17 21 24 25 28 30 32 36 39 41 46 48 49 51 55 57 65 69 78 80 82 88 90 91 92 93 96 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 160 170 179 180 182 186 187 189 190 192 197 198 201 203 206 207 209 211 213 225 229 233 234 237 240 241 243 244 251 252 254 255 258 272 276 280 283 285 287 288 291 292 295 300 303 307 309 311 313 318 322 324 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 378 381 386 388 389 390 393 398 404 406 411 416 417 421 422 423 428 439 447 455 459 463 464 470 472 473 474 475 476 480 485 486 488 490 492 493 494 a 1 2 3 4 9 11 16 17 21 24 25 28 30 32 36 39 41 46 48 49 51 55 57 65 69 78 80 82 88 90 91 92 93 96 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 160 170 179 180 182 186 187 188 189 190 192 197 198 201 203 206 207 209 211 213 225 229 233 234 237 240 241 243 244 251 252 254 255 258 272 276 280 283 285 287 288 291 292 295 300 303 307 309 311 313 318 322 324 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 378 381 386 388 389 390 393 398 404 411 416 417 421 422 423 428 439 447 455 459 463 464 470 472 473 474 475 476 480 485 486 488 490 492 493 494 a 1 2 3 4 9 11 16 17 21 24 25 28 30 32 36 39 40 41 46 48 49 51 55 57 65 69 78 80 82 88 90 91 92 93 96 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 160 170 179 180 182 186 187 188 189 190 192 197 198 201 203 206 207 209 211 213 225 229 233 234 237 240 241 243 244 251 252 254 255 258 272 276 280 283 285 287 288 291 292 295 300 303 307 309 311 313 318 322 324 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 378 381 386 388 389 390 393 398 404 411 416 417 421 422 423 428 439 447 455 459 463 464 470 472 473 474 475 476 480 485 486 488 490 492 493 a 1 2 3 4 9 11 16 17 21 24 25 28 30 32 36 39 40 41 46 48 49 51 55 57 65 69 78 80 82 88 90 91 92 93 96 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 160 170 179 180 182 186 187 188 189 190 192 197 198 201 203 206 207 209 211 213 225 229 233 234 240 241 243 244 251 252 254 255 258 272 276 280 283 285 287 288 291 292 295 300 303 307 309 311 313 318 322 324 331 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 378 381 386 388 389 390 393 398 404 411 416 417 421 422 423 428 439 447 455 459 463 464 470 472 473 474 475 476 480 485 486 488 490 492 493 a 1 2 3 4 9 11 16 17 21 24 25 28 30 32 36 39 40 41 46 48 49 51 55 57 65 69 72 78 80 82 88 90 91 92 93 96 99 100 104 105 106 107 109 110 115 119 121 130 134 136 138 143 144 148 149 151 155 160 170 179 180 182 186 187 188 189 190 192 197 198 201 203 206 207 209 211 213 225 229 233 234 240 241 243 244 251 252 254 258 272 276 280 283 285 287 288 291 292 295 300 303 307 309 311 313 318 322 324 331 332 333 341 342 348 349 352 356 357 358 360 363 364 368 371 374 375 376 378 381 386 388 389 390 393 398 404 411 416 417 421 422 423 428 439 447 455 459 463 464 470 472 473 474 475 476 480 485 486 488 490 492 493 Command being timed: "/solvers/driver/run.py --config=shortest-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance038_graph004.col /benchmark/random_instance/random_instance038_graph004_01.dat" User time (seconds): 1734.55 System time (seconds): 5.93 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 29:00.57 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): 27312136 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 7166895 Voluntary context switches: 30 Involuntary context switches: 11638 Swaps: 0 File system inputs: 0 File system outputs: 600 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Sat Sep 9 06:50:34 2023]