#BEGIN: [Fri Sep 8 00:40:30 2023] #HOST: s13 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-ai-planning2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance038_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance038_graph001_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=existent-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance038_graph001.col /benchmark/random_instance/random_instance038_graph001_01.dat s 209 305 112 433 161 257 51 171 108 110 105 350 384 160 467 338 490 295 246 182 126 314 8 183 286 488 197 41 125 178 219 184 389 124 472 367 27 42 203 408 398 461 458 371 394 272 274 138 152 199 205 311 106 247 142 63 370 226 256 331 297 195 463 273 468 356 334 242 482 213 116 277 68 241 368 409 61 337 400 446 73 426 292 476 254 119 282 99 475 437 43 300 7 424 70 46 66 443 201 346 143 455 439 271 310 414 202 307 449 479 275 196 34 146 237 177 276 13 448 325 374 206 102 31 135 470 477 486 90 14 480 56 28 40 45 265 364 84 227 451 136 82 326 378 399 429 33 189 11 358 244 222 369 478 466 t 211 222 363 81 84 476 227 133 431 138 237 239 106 156 380 177 181 279 318 9 272 167 33 486 184 89 377 208 338 406 196 358 214 240 267 307 22 150 304 463 213 341 296 370 394 419 323 481 342 56 74 190 392 303 479 420 335 90 29 66 128 292 164 58 489 79 25 305 127 450 57 44 110 430 310 444 273 200 103 17 324 315 125 49 115 122 373 229 263 467 68 235 322 118 152 99 261 371 130 147 319 367 284 316 123 300 470 460 135 194 210 168 451 101 262 256 393 423 493 281 151 294 102 217 399 326 173 446 8 174 3 364 401 75 357 241 13 351 36 236 31 93 299 276 142 477 494 41 95 145 410 275 94 359 440 a YES a 7 8 11 13 14 27 28 31 33 34 40 41 42 43 45 46 51 56 61 63 66 68 70 73 82 84 90 99 102 105 106 108 110 112 116 119 124 125 126 135 136 138 142 143 146 152 160 161 171 177 178 182 183 184 189 195 196 197 199 201 202 203 205 206 209 213 219 222 226 227 237 241 242 244 246 247 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 482 486 488 490 a 7 8 11 13 14 27 28 31 33 34 40 41 43 45 46 51 56 61 63 66 68 70 73 82 84 90 99 102 105 106 108 110 112 116 119 124 125 126 135 136 138 142 143 146 152 160 161 171 177 178 182 183 184 189 195 196 197 199 201 202 203 205 206 209 213 219 222 226 227 237 241 242 244 246 247 254 256 257 263 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 482 486 488 490 a 7 8 11 13 14 27 28 31 33 34 40 41 43 45 46 51 56 61 66 68 70 73 82 84 90 99 102 105 106 108 110 112 116 119 124 125 126 135 136 138 142 143 146 152 160 161 171 177 178 182 183 184 189 195 196 197 199 201 202 203 205 206 209 213 219 222 226 227 237 241 242 244 246 247 254 256 257 263 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 482 486 488 489 490 a 7 8 11 13 14 27 28 31 33 34 40 41 43 45 46 51 56 61 66 68 70 82 84 90 99 102 105 106 108 110 112 115 116 119 124 125 126 135 136 138 142 143 146 152 160 161 171 177 178 182 183 184 189 195 196 197 199 201 202 203 205 206 209 213 219 222 226 227 237 241 242 244 246 247 254 256 257 263 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 482 486 488 489 490 a 8 11 13 14 27 28 31 33 34 40 41 43 45 46 51 56 61 66 68 70 82 84 90 99 102 105 106 108 110 112 115 116 119 124 125 126 135 136 138 142 143 146 152 160 161 171 174 177 178 182 183 184 189 195 196 197 199 201 202 203 205 206 209 213 219 222 226 227 237 241 242 244 246 247 254 256 257 263 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 482 486 488 489 490 a 8 11 13 14 27 28 31 33 34 40 41 43 45 46 51 56 61 66 68 70 84 90 99 102 105 106 108 110 112 115 116 119 124 125 126 135 136 138 142 143 146 152 160 161 171 174 177 178 182 183 184 189 195 196 197 199 201 202 203 205 206 209 213 219 222 226 227 237 241 242 244 246 247 254 256 257 263 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 334 337 338 346 350 356 358 363 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 482 486 488 489 490 a 8 11 13 14 27 28 31 33 34 40 41 43 45 46 51 56 61 66 68 70 84 90 99 102 106 108 110 112 115 116 119 124 125 126 135 136 138 142 143 146 152 160 161 171 174 177 178 182 183 184 189 195 196 197 199 201 202 203 205 206 209 213 219 222 226 227 237 241 242 244 246 247 254 256 257 261 263 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 334 337 338 346 350 356 358 363 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 482 486 488 489 490 a 8 11 13 14 27 28 31 33 34 40 41 43 45 46 51 56 61 66 68 70 79 84 90 99 102 106 108 110 115 116 119 124 125 126 135 136 138 142 143 146 152 160 161 171 174 177 178 182 183 184 189 195 196 197 199 201 202 203 205 206 209 213 219 222 226 227 237 241 242 244 246 247 254 256 257 261 263 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 334 337 338 346 350 356 358 363 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 482 486 488 489 490 a 8 13 14 27 28 31 33 34 40 41 43 45 46 51 56 61 66 68 70 79 84 90 99 102 106 108 110 115 116 119 124 125 126 135 136 138 142 143 146 152 160 161 171 174 177 178 182 183 184 189 195 196 197 199 201 202 203 205 206 209 213 219 222 226 227 236 237 241 242 244 246 247 254 256 257 261 263 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 334 337 338 346 350 356 358 363 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 482 486 488 489 490 a 8 13 14 27 28 31 33 34 40 41 43 45 46 51 56 61 66 68 70 79 84 90 99 102 106 108 110 115 116 119 124 125 126 135 136 138 142 143 146 152 161 171 174 177 178 182 183 184 189 195 196 197 199 201 202 203 205 206 209 213 219 222 226 227 236 237 241 242 244 246 247 254 256 257 261 263 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 334 337 338 346 350 356 358 363 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 482 486 488 489 490 a 8 13 14 27 28 31 33 34 40 41 43 45 46 51 56 61 66 68 70 79 84 90 99 102 106 108 110 115 116 119 124 125 126 135 136 138 142 143 146 152 171 174 177 178 182 183 184 189 195 196 197 199 201 202 203 205 206 209 213 219 222 226 227 236 237 241 242 244 246 247 254 256 257 261 263 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 334 337 338 346 350 356 358 363 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 a 8 13 14 27 28 31 33 34 40 41 43 45 46 51 56 61 66 68 70 79 84 90 99 102 106 108 110 115 116 119 124 125 126 135 136 138 142 143 146 152 171 174 177 182 183 184 189 194 195 196 197 199 201 202 203 205 206 209 213 219 222 226 227 236 237 241 242 244 246 247 254 256 257 261 263 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 334 337 338 346 350 356 358 363 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 a 8 13 14 27 28 31 33 34 40 41 43 45 46 51 56 61 66 68 70 79 81 84 90 99 102 106 108 110 115 116 119 124 125 126 135 136 138 142 143 146 152 171 174 177 183 184 189 194 195 196 197 199 201 202 203 205 206 209 213 219 222 226 227 236 237 241 242 244 246 247 254 256 257 261 263 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 334 337 338 346 350 356 358 363 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 a 8 13 14 27 28 31 33 34 40 41 43 45 46 51 56 61 66 68 70 79 81 84 90 99 102 106 108 110 115 116 119 124 125 126 135 136 138 142 143 146 152 171 174 177 183 184 189 194 195 196 199 201 202 203 205 206 209 213 219 222 226 227 236 237 241 242 244 246 247 254 256 257 261 263 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 334 337 338 346 350 356 358 363 364 367 368 369 370 371 374 378 384 389 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 a 8 13 14 27 28 31 33 34 40 41 43 45 46 51 56 61 66 68 70 79 81 84 90 99 102 106 108 110 115 116 119 124 125 126 135 136 138 142 143 146 152 171 174 177 183 184 189 194 195 196 201 202 203 205 206 209 213 219 222 226 227 236 237 241 242 244 246 247 254 256 257 261 263 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 334 337 338 346 350 356 357 358 363 364 367 368 369 370 371 374 378 384 389 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 a 8 13 27 28 31 33 34 40 41 43 45 46 51 56 61 66 68 70 79 81 84 90 99 102 106 108 110 115 116 119 124 125 126 135 136 138 142 143 146 152 171 174 177 183 184 189 194 195 196 201 202 203 205 206 209 213 219 222 226 227 236 237 241 242 244 246 247 254 256 257 261 263 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 334 337 338 346 350 351 356 357 358 363 364 367 368 369 370 371 374 378 384 389 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 a 8 13 27 28 31 33 34 40 41 43 45 46 51 56 61 66 68 70 79 81 84 90 99 102 106 108 110 115 116 124 125 126 135 136 138 142 143 146 152 171 174 177 183 184 189 194 195 196 201 202 203 205 206 209 213 219 222 226 227 236 237 241 242 244 246 247 254 256 257 261 262 263 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 334 337 338 346 350 351 356 357 358 363 364 367 368 369 370 371 374 378 384 389 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 a 8 13 27 28 31 33 34 40 41 43 45 46 51 56 61 66 68 70 79 81 84 90 99 102 106 108 110 115 116 124 125 126 135 136 138 142 143 146 152 156 171 174 177 183 184 189 194 195 196 201 202 205 206 209 213 219 222 226 227 236 237 241 242 244 246 247 254 256 257 261 262 263 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 334 337 338 346 350 351 356 357 358 363 364 367 368 369 370 371 374 378 384 389 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 a 8 13 27 28 31 33 34 40 41 43 45 46 51 56 61 66 68 70 79 81 84 90 99 102 106 108 110 115 116 124 125 126 135 136 138 142 143 146 152 156 171 174 177 183 184 189 194 195 196 201 202 206 209 213 219 222 226 227 236 237 241 242 244 246 247 254 256 257 261 262 263 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 322 325 326 331 334 337 338 346 350 351 356 357 358 363 364 367 368 369 370 371 374 378 384 389 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 a 8 13 27 28 31 33 34 40 41 43 45 46 51 56 61 66 68 70 74 79 81 84 90 99 102 106 108 110 115 116 124 125 126 135 136 138 142 143 146 152 156 171 174 177 183 184 189 194 195 196 201 202 209 213 219 222 226 227 236 237 241 242 244 246 247 254 256 257 261 262 263 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 322 325 326 331 334 337 338 346 350 351 356 357 358 363 364 367 368 369 370 371 374 378 384 389 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 a 8 13 28 31 33 34 40 41 43 45 46 51 56 61 66 68 70 74 79 81 84 90 99 102 106 108 110 115 116 124 125 126 135 136 138 142 143 146 152 156 171 174 177 183 184 189 194 195 196 201 202 209 213 219 222 226 227 236 237 241 242 244 246 247 254 256 257 261 262 263 265 271 272 273 274 275 276 277 282 286 292 295 297 299 300 305 307 310 311 314 322 325 326 331 334 337 338 346 350 351 356 357 358 363 364 367 368 369 370 371 374 378 384 389 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 a 8 13 28 31 33 34 40 41 43 45 46 51 56 61 66 68 70 74 79 81 84 90 99 102 106 108 110 115 116 124 125 126 135 136 138 142 143 146 151 152 156 171 174 177 183 184 189 194 195 196 201 202 213 219 222 226 227 236 237 241 242 244 246 247 254 256 257 261 262 263 265 271 272 273 274 275 276 277 282 286 292 295 297 299 300 305 307 310 311 314 322 325 326 331 334 337 338 346 350 351 356 357 358 363 364 367 368 369 370 371 374 378 384 389 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 a 8 13 28 31 33 34 41 43 45 46 51 56 61 66 68 70 74 79 81 84 90 99 102 106 108 110 115 116 124 125 126 135 136 138 142 143 146 151 152 156 171 174 177 183 184 189 194 195 196 201 202 213 219 222 226 227 229 236 237 241 242 244 246 247 254 256 257 261 262 263 265 271 272 273 274 275 276 277 282 286 292 295 297 299 300 305 307 310 311 314 322 325 326 331 334 337 338 346 350 351 356 357 358 363 364 367 368 369 370 371 374 378 384 389 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 a 8 13 28 31 33 34 41 43 45 46 51 56 61 66 68 70 74 79 81 84 90 99 102 106 108 110 115 116 124 125 126 128 135 136 138 142 143 146 151 152 156 171 174 177 183 184 189 194 195 196 201 202 213 222 226 227 229 236 237 241 242 244 246 247 254 256 257 261 262 263 265 271 272 273 274 275 276 277 282 286 292 295 297 299 300 305 307 310 311 314 322 325 326 331 334 337 338 346 350 351 356 357 358 363 364 367 368 369 370 371 374 378 384 389 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 a 8 13 25 28 31 33 34 41 43 45 46 51 56 61 66 68 70 74 79 81 84 90 99 102 106 108 110 115 116 124 125 126 128 135 136 138 142 143 146 151 152 156 171 174 177 183 184 189 194 195 196 201 202 213 222 227 229 236 237 241 242 244 246 247 254 256 257 261 262 263 265 271 272 273 274 275 276 277 282 286 292 295 297 299 300 305 307 310 311 314 322 325 326 331 334 337 338 346 350 351 356 357 358 363 364 367 368 369 370 371 374 378 384 389 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 a 8 13 25 31 33 34 41 43 45 46 51 56 61 66 68 70 74 79 81 84 90 99 102 106 108 110 115 116 124 125 126 128 135 136 138 142 143 146 151 152 156 171 174 177 183 184 189 194 195 196 201 202 213 222 227 229 236 237 241 242 244 246 247 254 256 257 261 262 263 265 271 272 273 274 275 276 277 282 286 292 295 297 299 300 305 307 310 311 314 319 322 325 326 331 334 337 338 346 350 351 356 357 358 363 364 367 368 369 370 371 374 378 384 389 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 a 8 9 13 25 31 33 34 41 43 45 46 51 56 61 66 68 70 74 79 81 84 90 99 102 106 108 110 115 116 124 125 126 128 135 136 138 142 143 146 151 152 156 171 174 177 183 184 189 194 195 196 201 202 213 222 227 229 236 237 241 242 246 247 254 256 257 261 262 263 265 271 272 273 274 275 276 277 282 286 292 295 297 299 300 305 307 310 311 314 319 322 325 326 331 334 337 338 346 350 351 356 357 358 363 364 367 368 369 370 371 374 378 384 389 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 a 8 9 13 25 31 33 34 41 43 45 46 51 56 61 66 68 70 74 79 81 84 90 99 102 106 108 110 115 116 124 125 126 128 135 136 138 142 143 146 151 152 156 171 174 177 183 184 189 194 195 196 201 202 213 222 227 229 236 237 241 242 246 254 256 257 261 262 263 265 271 272 273 274 275 276 277 282 286 292 295 297 299 300 305 307 310 311 314 319 322 325 326 331 334 337 338 341 346 350 351 356 357 358 363 364 367 368 369 370 371 374 378 384 389 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 a 8 9 13 25 31 33 34 41 43 45 46 51 56 58 61 66 68 70 74 79 81 84 90 99 102 106 108 110 115 116 124 125 126 128 135 136 138 142 146 151 152 156 171 174 177 183 184 189 194 195 196 201 202 213 222 227 229 236 237 241 242 246 254 256 257 261 262 263 265 271 272 273 274 275 276 277 282 286 292 295 297 299 300 305 307 310 311 314 319 322 325 326 331 334 337 338 341 346 350 351 356 357 358 363 364 367 368 369 370 371 374 378 384 389 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 a 8 9 13 25 31 33 34 41 43 45 46 51 56 58 61 66 68 70 74 79 81 84 90 99 102 106 108 110 115 116 122 124 125 126 128 135 138 142 146 151 152 156 171 174 177 183 184 189 194 195 196 201 202 213 222 227 229 236 237 241 242 246 254 256 257 261 262 263 265 271 272 273 274 275 276 277 282 286 292 295 297 299 300 305 307 310 311 314 319 322 325 326 331 334 337 338 341 346 350 351 356 357 358 363 364 367 368 369 370 371 374 378 384 389 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 a 8 9 13 25 31 33 34 41 43 45 46 51 56 58 61 66 68 70 74 79 81 84 90 99 102 106 108 110 115 116 122 124 125 126 128 135 138 142 146 151 152 156 171 174 177 183 184 189 194 195 196 201 202 213 222 227 229 236 237 241 242 246 256 257 261 262 263 265 271 272 273 274 275 276 277 282 286 292 295 297 299 300 305 307 310 311 314 319 322 325 326 331 334 337 338 341 346 350 351 356 357 358 363 364 367 368 369 370 371 374 378 384 389 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 a 8 9 13 25 31 33 34 41 43 45 46 51 56 57 58 61 66 68 70 74 79 81 84 90 99 102 106 108 110 115 116 122 124 125 126 128 135 138 142 146 151 152 156 171 174 177 183 184 189 194 195 196 201 202 213 222 227 229 236 237 241 242 246 256 261 262 263 265 271 272 273 274 275 276 277 282 286 292 295 297 299 300 305 307 310 311 314 319 322 325 326 331 334 337 338 341 346 350 351 356 357 358 363 364 367 368 369 370 371 374 378 384 389 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 a 8 9 13 25 31 33 41 43 45 46 51 56 57 58 61 66 68 70 74 79 81 84 90 99 102 106 108 110 115 116 122 123 124 125 126 128 135 138 142 146 151 152 156 171 174 177 183 184 189 194 195 196 201 202 213 222 227 229 236 237 241 242 246 256 261 262 263 265 271 272 273 274 275 276 277 282 286 292 295 297 299 300 305 307 310 311 314 319 322 325 326 331 334 337 338 341 346 350 351 356 357 358 363 364 367 368 369 370 371 374 378 384 389 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 a 8 9 13 25 31 33 41 43 45 46 51 56 57 58 61 66 68 70 74 79 81 84 90 99 102 106 108 110 115 116 122 123 124 125 126 128 135 138 142 146 151 152 156 171 174 177 183 184 189 194 195 196 201 202 213 222 227 229 236 237 241 242 246 256 261 262 263 265 271 272 273 275 276 277 282 286 292 295 297 299 300 305 307 310 311 314 319 322 325 326 331 334 337 338 341 346 350 351 356 357 358 363 364 367 368 369 370 371 374 378 384 389 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 25 31 33 41 43 45 46 51 56 57 58 61 66 68 70 74 79 81 84 90 99 102 106 108 110 115 116 122 123 124 125 126 128 135 138 142 146 151 152 156 171 174 177 183 184 189 194 195 196 201 202 213 222 227 229 236 237 241 242 246 256 261 262 263 265 271 272 273 275 276 277 282 292 295 297 299 300 305 307 310 311 314 319 322 325 326 331 334 337 338 341 346 350 351 356 357 358 363 364 367 368 369 370 371 374 378 384 389 392 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 25 31 33 41 43 45 46 51 56 57 58 61 66 68 70 74 79 81 84 90 99 102 106 108 110 115 116 122 123 124 125 126 128 135 138 142 146 151 152 156 171 174 177 183 184 189 194 195 196 201 202 213 222 227 229 236 237 241 242 246 256 261 262 263 265 271 272 273 275 276 277 282 292 297 299 300 305 307 310 311 314 319 322 325 326 331 334 337 338 341 346 350 351 356 357 358 363 364 367 368 369 370 371 374 378 380 384 389 392 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 25 31 33 41 43 45 46 51 56 57 58 61 66 68 70 74 79 81 84 90 99 102 106 108 110 115 116 122 123 124 125 126 128 133 135 138 142 146 151 152 156 171 174 177 183 184 189 194 195 196 201 202 213 222 227 229 236 237 241 242 246 256 261 262 263 265 271 272 273 275 276 277 282 292 299 300 305 307 310 311 314 319 322 325 326 331 334 337 338 341 346 350 351 356 357 358 363 364 367 368 369 370 371 374 378 380 384 389 392 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 25 31 33 41 43 45 46 51 56 57 58 61 66 68 70 74 79 81 84 90 99 102 106 108 110 115 116 122 123 124 125 126 128 133 135 138 142 146 150 151 152 156 171 174 177 183 184 189 194 195 196 201 202 213 222 227 229 236 237 241 242 246 256 261 262 263 265 271 272 273 275 276 277 282 292 299 300 305 307 310 314 319 322 325 326 331 334 337 338 341 346 350 351 356 357 358 363 364 367 368 369 370 371 374 378 380 384 389 392 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 31 33 41 43 45 46 51 56 57 58 61 66 68 70 74 79 81 84 90 99 102 106 108 110 115 116 122 123 124 125 126 128 133 135 138 142 146 150 151 152 156 171 174 177 183 184 189 194 195 196 201 202 213 222 227 229 236 237 241 242 246 256 261 262 263 265 271 272 273 275 276 277 282 292 299 300 305 307 310 319 322 325 326 331 334 337 338 341 346 350 351 356 357 358 363 364 367 368 369 370 371 374 378 380 384 389 392 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 31 33 41 43 45 46 51 56 57 58 61 66 68 70 74 79 81 84 90 99 102 106 108 110 115 116 122 123 124 125 126 128 133 135 138 142 146 150 151 152 156 171 174 177 183 184 189 194 195 196 201 202 213 222 227 229 236 237 241 242 256 261 262 263 265 271 272 273 275 276 277 282 292 299 300 305 307 310 316 319 322 325 326 331 334 337 338 341 346 350 351 356 357 358 363 364 367 368 369 370 371 374 378 380 384 389 392 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 31 33 41 43 45 46 51 56 57 58 61 66 68 70 74 79 81 84 90 99 102 106 108 110 115 116 122 123 124 125 126 128 133 135 138 142 146 150 151 152 156 171 174 177 183 184 189 194 195 196 201 202 213 222 227 229 236 237 241 242 256 261 262 263 271 272 273 275 276 277 282 292 299 300 304 305 307 310 316 319 322 325 326 331 334 337 338 341 346 350 351 356 357 358 363 364 367 368 369 370 371 374 378 380 384 389 392 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 31 33 41 43 45 46 51 56 57 58 61 66 68 70 74 79 81 84 90 99 102 106 108 110 115 116 122 123 124 125 126 128 133 135 138 142 146 150 151 152 156 171 173 174 177 183 184 189 194 195 196 201 202 213 222 227 229 236 237 241 242 256 261 262 263 271 272 273 275 276 277 282 292 299 300 304 305 307 310 316 319 322 326 331 334 337 338 341 346 350 351 356 357 358 363 364 367 368 369 370 371 374 378 380 384 389 392 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 31 33 41 45 46 51 56 57 58 61 66 68 70 74 79 81 84 90 99 102 106 108 110 115 116 122 123 124 125 126 128 133 135 138 142 146 150 151 152 156 171 173 174 177 183 184 189 194 195 196 201 202 213 222 227 229 236 237 241 242 256 261 262 263 271 272 273 275 276 277 282 292 299 300 304 305 307 310 316 319 322 326 331 334 337 338 341 346 350 351 356 357 358 359 363 364 367 368 369 370 371 374 378 380 384 389 392 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 31 33 41 45 46 51 56 57 58 61 66 68 70 74 79 81 84 90 99 102 106 108 110 115 116 122 123 124 125 126 128 133 135 138 142 146 150 151 152 156 171 173 174 177 183 184 189 194 195 196 201 202 213 222 227 229 236 237 241 242 256 261 262 263 271 272 273 275 276 277 282 292 299 300 304 305 307 310 316 319 322 326 334 337 338 341 346 350 351 356 357 358 359 363 364 367 368 369 370 371 373 374 378 380 384 389 392 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 31 33 41 46 51 56 57 58 61 66 68 70 74 79 81 84 90 99 102 106 108 110 115 116 122 123 124 125 126 128 133 135 138 142 146 150 151 152 156 171 173 174 177 183 184 189 194 195 196 201 202 213 222 227 229 236 237 241 242 256 261 262 263 271 272 273 275 276 277 282 292 299 300 304 305 307 310 316 318 319 322 326 334 337 338 341 346 350 351 356 357 358 359 363 364 367 368 369 370 371 373 374 378 380 384 389 392 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 31 33 41 51 56 57 58 61 66 68 70 74 79 81 84 90 99 102 106 108 110 115 116 122 123 124 125 126 128 133 135 138 142 146 150 151 152 156 171 173 174 177 183 184 189 194 195 196 200 201 202 213 222 227 229 236 237 241 242 256 261 262 263 271 272 273 275 276 277 282 292 299 300 304 305 307 310 316 318 319 322 326 334 337 338 341 346 350 351 356 357 358 359 363 364 367 368 369 370 371 373 374 378 380 384 389 392 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 31 33 41 51 56 57 58 61 66 68 70 74 79 81 84 90 99 102 106 108 110 115 116 122 123 124 125 126 128 133 135 138 142 146 150 151 152 156 171 173 174 177 183 184 189 194 195 196 200 201 213 222 227 229 236 237 239 241 242 256 261 262 263 271 272 273 275 276 277 282 292 299 300 304 305 307 310 316 318 319 322 326 334 337 338 341 346 350 351 356 357 358 359 363 364 367 368 369 370 371 373 374 378 380 384 389 392 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 31 33 41 51 56 57 58 61 66 68 70 74 79 81 84 90 95 99 102 106 108 110 115 116 122 123 124 125 126 128 133 135 138 142 146 150 151 152 156 171 173 174 177 183 184 189 194 195 196 200 201 213 222 227 229 236 237 239 241 242 256 261 262 263 271 272 273 275 276 277 282 292 299 300 304 305 307 310 316 318 319 322 326 337 338 341 346 350 351 356 357 358 359 363 364 367 368 369 370 371 373 374 378 380 384 389 392 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 31 33 41 51 56 57 58 61 66 68 70 74 79 81 84 90 95 99 102 106 108 110 115 116 122 123 124 125 126 128 133 135 138 142 146 150 151 152 156 171 173 174 177 183 184 189 194 195 196 200 201 213 222 227 229 236 237 239 241 242 256 261 262 263 271 272 273 275 276 282 292 299 300 304 305 307 310 316 318 319 322 326 337 338 341 346 350 351 356 357 358 359 363 364 367 368 369 370 371 373 374 378 380 384 389 392 393 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 31 33 41 44 51 56 57 58 61 66 68 70 74 79 81 84 90 95 99 102 106 108 110 115 116 122 123 124 125 126 128 133 135 138 142 146 150 151 152 156 171 173 174 177 183 184 189 194 195 196 200 201 213 222 227 229 236 237 239 241 242 256 261 262 263 271 272 273 275 276 282 292 299 300 304 305 307 310 316 318 319 322 326 337 338 341 346 351 356 357 358 359 363 364 367 368 369 370 371 373 374 378 380 384 389 392 393 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 31 33 41 44 56 57 58 61 66 68 70 74 79 81 84 90 95 99 102 106 108 110 115 116 122 123 124 125 126 128 133 135 138 142 146 150 151 152 156 171 173 174 177 183 184 189 194 195 196 200 201 213 222 227 229 236 237 239 241 242 256 261 262 263 271 272 273 275 276 282 292 299 300 304 305 307 310 316 318 319 322 326 335 337 338 341 346 351 356 357 358 359 363 364 367 368 369 370 371 373 374 378 380 384 389 392 393 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 31 33 41 44 56 57 58 61 66 68 70 74 79 81 84 90 95 99 102 106 108 110 115 116 122 123 124 125 126 128 133 135 138 142 146 147 150 151 152 156 171 173 174 177 183 184 189 194 195 196 200 201 213 222 227 229 236 237 239 241 242 256 261 262 263 271 272 273 275 276 282 292 299 300 304 305 307 310 316 318 319 322 326 335 337 338 341 346 351 357 358 359 363 364 367 368 369 370 371 373 374 378 380 384 389 392 393 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 41 44 56 57 58 61 66 68 70 74 79 81 84 90 95 99 102 106 108 110 115 116 122 123 124 125 126 128 133 135 138 142 147 150 151 152 156 171 173 174 177 183 184 189 194 195 196 200 201 213 222 227 229 236 237 239 241 242 256 261 262 263 271 272 273 275 276 282 292 299 300 304 305 307 310 316 318 319 322 326 335 337 338 341 346 351 357 358 359 363 364 367 368 369 370 371 373 374 378 380 384 389 392 393 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 41 44 56 57 58 61 66 68 70 74 79 81 84 90 95 99 102 106 108 110 115 116 122 123 124 125 126 128 133 135 138 142 147 150 151 152 156 171 173 174 177 183 184 189 194 195 196 200 201 213 214 222 227 229 236 237 239 241 242 256 261 262 263 271 272 273 275 276 282 292 299 300 304 305 307 310 316 318 319 322 326 335 337 338 341 346 351 357 358 359 363 364 367 369 370 371 373 374 378 380 384 389 392 393 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 41 44 56 57 58 66 68 70 74 79 81 84 90 95 99 102 106 108 110 115 116 122 123 124 125 126 128 133 135 138 142 147 150 151 152 156 171 173 174 177 183 184 189 194 195 196 200 201 213 214 222 227 229 236 237 239 241 242 256 261 262 263 271 272 273 275 276 282 292 294 299 300 304 305 307 310 316 318 319 322 326 335 337 338 341 346 351 357 358 359 363 364 367 369 370 371 373 374 378 380 384 389 392 393 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 41 44 56 57 58 66 68 70 74 79 81 84 90 95 99 102 106 108 110 115 116 122 123 124 125 126 128 133 135 138 142 147 150 151 152 156 171 173 174 177 183 184 189 194 195 196 200 201 208 213 214 222 227 229 236 237 239 241 242 256 261 262 263 271 272 273 275 276 282 292 294 299 300 304 305 307 310 316 318 319 322 326 335 337 338 341 351 357 358 359 363 364 367 369 370 371 373 374 378 380 384 389 392 393 394 398 399 400 406 408 409 410 414 424 426 429 433 437 439 443 446 448 449 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 41 44 56 57 58 66 68 70 74 79 81 84 90 95 99 102 106 108 110 115 116 122 123 124 125 126 128 133 135 138 142 147 150 151 152 156 171 173 174 177 183 184 189 194 195 196 200 201 208 213 214 222 227 229 236 237 239 241 242 256 261 262 263 271 272 273 275 276 282 292 294 299 300 304 305 307 310 316 318 319 322 326 335 337 338 341 351 357 358 359 363 364 367 369 370 371 373 374 378 380 384 389 392 393 394 399 400 406 408 409 410 414 423 424 426 429 433 437 439 443 446 448 449 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 41 44 56 57 58 66 68 70 74 79 81 84 90 95 99 102 106 108 110 115 116 122 123 124 125 126 128 133 135 138 142 147 150 151 152 156 171 173 174 177 183 184 189 194 195 196 200 201 208 213 214 222 227 229 236 237 239 241 242 256 261 262 263 271 272 273 275 276 282 292 294 299 300 304 305 307 310 316 318 319 322 326 335 337 338 341 351 357 358 359 363 364 367 369 370 371 373 374 378 380 384 389 392 393 394 399 400 406 408 410 414 423 424 426 429 433 437 439 443 446 448 449 450 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 41 44 56 57 58 66 68 70 74 79 81 84 90 95 99 102 106 108 110 115 116 118 122 123 124 125 126 128 133 135 138 142 147 150 151 152 156 171 173 174 177 183 184 189 194 195 196 200 201 208 213 214 222 227 229 236 237 239 241 242 256 261 262 263 271 272 273 275 276 282 292 294 299 300 304 305 307 310 316 318 319 322 326 335 337 338 341 351 357 358 359 363 364 367 369 370 371 373 374 378 380 384 389 392 393 394 399 400 406 408 410 423 424 426 429 433 437 439 443 446 448 449 450 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 41 44 56 57 58 66 68 70 74 79 81 84 90 95 99 102 106 108 110 115 116 118 122 123 124 125 126 128 133 135 138 142 147 150 151 152 156 171 173 174 177 183 184 189 194 195 196 200 201 208 211 213 214 222 227 229 236 237 239 241 242 256 261 262 263 271 272 273 275 276 282 292 294 299 300 304 305 307 310 316 318 319 322 326 335 337 338 341 351 357 358 359 363 364 367 370 371 373 374 378 380 384 389 392 393 394 399 400 406 408 410 423 424 426 429 433 437 439 443 446 448 449 450 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 41 44 56 57 58 66 68 70 74 79 81 84 90 95 99 101 102 106 108 110 115 116 118 122 123 124 125 126 128 133 135 138 142 147 150 151 152 156 171 173 174 177 183 184 189 194 195 196 200 201 208 211 213 214 222 227 229 236 237 239 241 242 256 261 262 263 271 272 273 275 276 282 292 294 299 300 304 305 307 310 316 318 319 322 326 335 337 338 341 351 357 358 359 363 364 367 370 371 373 374 378 380 384 389 392 393 394 399 400 406 408 410 423 424 429 433 437 439 443 446 448 449 450 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 41 44 56 57 58 66 68 74 79 81 84 90 95 99 101 102 106 108 110 115 116 118 122 123 124 125 126 128 133 135 138 142 147 150 151 152 156 171 173 174 177 183 184 189 194 195 196 200 201 208 211 213 214 222 227 229 236 237 239 241 242 256 261 262 263 271 272 273 275 276 282 284 292 294 299 300 304 305 307 310 316 318 319 322 326 335 337 338 341 351 357 358 359 363 364 367 370 371 373 374 378 380 384 389 392 393 394 399 400 406 408 410 423 424 429 433 437 439 443 446 448 449 450 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 41 44 56 57 58 66 68 74 79 81 84 90 95 99 101 102 106 108 110 115 116 118 122 123 124 125 126 128 133 135 138 142 147 150 151 152 156 167 173 174 177 183 184 189 194 195 196 200 201 208 211 213 214 222 227 229 236 237 239 241 242 256 261 262 263 271 272 273 275 276 282 284 292 294 299 300 304 305 307 310 316 318 319 322 326 335 337 338 341 351 357 358 359 363 364 367 370 371 373 374 378 380 384 389 392 393 394 399 400 406 408 410 423 424 429 433 437 439 443 446 448 449 450 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 41 44 56 57 58 66 68 74 79 81 84 90 93 95 99 101 102 106 108 110 115 116 118 122 123 124 125 126 128 133 135 138 142 147 150 151 152 156 167 173 174 177 183 184 189 194 195 196 200 201 208 211 213 214 222 227 229 236 237 239 241 242 256 261 262 263 271 272 273 275 276 282 284 292 294 299 300 304 305 307 310 316 318 319 322 326 335 337 338 341 351 357 358 359 363 364 367 370 371 373 374 378 380 384 392 393 394 399 400 406 408 410 423 424 429 433 437 439 443 446 448 449 450 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 41 44 56 57 58 66 68 74 79 81 84 90 93 95 99 101 102 106 108 110 115 116 118 122 123 124 125 126 128 133 135 138 142 147 150 151 152 156 167 173 174 177 183 184 189 194 195 196 200 201 208 211 213 214 222 227 229 236 237 239 241 242 256 261 262 263 271 272 273 275 276 282 284 292 294 296 299 300 304 305 307 310 316 318 319 322 326 335 337 338 341 351 357 358 359 363 364 367 370 371 373 374 378 380 384 392 393 394 399 400 406 408 410 423 424 429 437 439 443 446 448 449 450 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 41 44 56 57 58 66 68 74 79 81 84 89 90 93 95 99 101 102 106 110 115 116 118 122 123 124 125 126 128 133 135 138 142 147 150 151 152 156 167 173 174 177 183 184 189 194 195 196 200 201 208 211 213 214 222 227 229 236 237 239 241 242 256 261 262 263 271 272 273 275 276 282 284 292 294 296 299 300 304 305 307 310 316 318 319 322 326 335 337 338 341 351 357 358 359 363 364 367 370 371 373 374 378 380 384 392 393 394 399 400 406 408 410 423 424 429 437 439 443 446 448 449 450 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 41 44 56 57 58 66 68 74 79 81 84 89 90 93 95 99 101 102 106 110 115 118 122 123 124 125 126 128 133 135 138 142 147 150 151 152 156 167 173 174 177 183 184 189 194 195 196 200 201 208 211 213 214 222 227 229 236 237 239 241 242 256 261 262 263 271 272 273 275 276 282 284 292 294 296 299 300 303 304 305 307 310 316 318 319 322 326 335 337 338 341 351 357 358 359 363 364 367 370 371 373 374 378 380 384 392 393 394 399 400 406 408 410 423 424 429 437 439 443 446 448 449 450 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 41 44 56 57 58 66 68 74 79 81 84 89 90 93 95 99 101 102 106 110 115 118 122 123 124 125 126 128 133 135 138 142 147 150 151 152 156 167 173 174 177 183 184 189 190 194 195 196 200 201 208 211 213 214 222 227 229 236 237 239 241 242 256 261 262 263 271 272 273 275 276 282 284 292 294 296 299 300 303 304 305 307 310 316 318 319 322 326 335 337 338 341 351 357 358 359 363 364 367 370 371 373 374 378 380 384 392 393 394 399 400 406 408 410 423 424 429 439 443 446 448 449 450 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 41 44 56 57 58 66 68 74 79 81 84 89 90 93 95 99 101 102 106 110 115 118 122 123 125 126 127 128 133 135 138 142 147 150 151 152 156 167 173 174 177 183 184 189 190 194 195 196 200 201 208 211 213 214 222 227 229 236 237 239 241 242 256 261 262 263 271 272 273 275 276 282 284 292 294 296 299 300 303 304 305 307 310 316 318 319 322 326 335 337 338 341 351 357 358 359 363 364 367 370 371 373 374 378 380 384 392 393 394 399 400 406 408 410 423 424 429 439 443 446 448 449 450 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 41 44 56 57 58 66 68 74 79 81 84 89 90 93 95 99 101 102 106 110 115 118 122 123 125 126 127 128 133 135 138 142 147 150 151 152 156 167 173 174 177 184 189 190 194 195 196 200 201 208 211 213 214 222 227 229 236 237 239 241 242 256 261 262 263 271 272 273 275 276 282 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 326 335 337 338 341 351 357 358 359 363 364 367 370 371 373 374 378 380 384 392 393 394 399 400 406 408 410 423 424 429 439 443 446 448 449 450 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 41 44 56 57 58 66 68 74 79 81 84 89 90 93 95 99 101 102 106 110 115 118 122 123 125 126 127 128 133 135 138 142 147 150 151 152 156 167 173 174 177 184 189 190 194 195 196 200 201 208 211 213 214 222 227 229 236 237 239 241 242 256 261 262 263 272 273 275 276 282 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 326 335 337 338 341 351 357 358 359 363 364 367 370 371 373 374 377 378 380 384 392 393 394 399 400 406 408 410 423 424 429 439 443 446 448 449 450 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 41 44 56 57 58 66 68 74 79 81 84 89 90 93 95 99 101 102 106 110 115 118 122 123 125 126 127 128 133 135 138 142 145 147 150 151 152 156 167 173 174 177 184 189 190 194 195 196 200 201 208 211 213 214 222 227 229 236 237 239 241 242 256 261 262 263 272 273 275 276 282 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 326 335 337 338 341 351 357 358 359 363 364 367 370 371 373 374 377 378 380 384 392 393 394 399 400 406 408 410 423 424 429 443 446 448 449 450 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 41 44 56 57 58 66 68 74 79 81 84 89 90 93 95 99 101 102 106 110 115 118 122 123 125 126 127 128 133 135 138 142 145 147 150 151 152 156 164 167 173 174 177 184 189 190 194 195 196 200 201 208 211 213 214 222 227 229 236 237 239 241 242 256 261 262 263 272 273 275 276 282 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 326 335 337 338 341 351 357 358 359 363 364 367 370 371 373 374 377 378 380 384 392 393 394 399 400 406 408 410 423 424 429 446 448 449 450 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 41 44 56 57 58 66 68 74 79 81 84 89 90 93 95 99 101 102 106 110 115 118 122 123 125 126 127 128 133 135 138 142 145 147 150 151 152 156 164 167 173 174 177 184 189 190 194 195 196 200 201 208 211 213 214 222 227 229 236 237 239 241 242 256 261 262 263 272 273 275 276 282 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 326 335 337 338 341 351 357 358 359 363 364 367 370 371 373 374 377 378 380 384 392 393 394 399 400 406 408 410 423 424 429 444 446 448 450 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 41 44 56 57 58 66 68 74 79 81 84 89 90 93 95 99 101 102 103 106 110 115 118 122 123 125 127 128 133 135 138 142 145 147 150 151 152 156 164 167 173 174 177 184 189 190 194 195 196 200 201 208 211 213 214 222 227 229 236 237 239 241 242 256 261 262 263 272 273 275 276 282 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 326 335 337 338 341 351 357 358 359 363 364 367 370 371 373 374 377 378 380 384 392 393 394 399 400 406 408 410 423 424 429 444 446 448 450 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 41 44 56 57 58 66 68 74 79 81 84 89 90 93 95 99 101 102 103 106 110 115 118 122 123 125 127 128 133 135 138 142 145 147 150 151 152 156 164 167 173 174 177 184 190 194 195 196 200 201 208 211 213 214 222 227 229 236 237 239 241 242 256 261 262 263 272 273 275 276 282 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 326 335 337 338 341 351 357 358 359 363 364 367 370 371 373 374 377 378 380 384 392 393 394 399 400 406 408 410 423 424 429 431 444 446 448 450 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 41 44 56 57 58 66 68 74 75 79 81 84 89 90 93 95 99 101 102 103 106 110 115 118 122 123 125 127 128 133 135 138 142 145 147 150 151 152 156 164 167 173 174 177 184 190 194 196 200 201 208 211 213 214 222 227 229 236 237 239 241 242 256 261 262 263 272 273 275 276 282 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 326 335 337 338 341 351 357 358 359 363 364 367 370 371 373 374 377 378 380 384 392 393 394 399 400 406 408 410 423 424 429 431 444 446 448 450 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 41 44 56 57 58 66 68 74 75 79 81 84 89 90 93 95 99 101 102 103 106 110 115 118 122 123 125 127 128 133 135 138 142 145 147 150 151 152 156 164 167 173 174 177 184 190 194 196 200 201 208 211 213 214 222 227 229 236 237 239 241 242 256 261 262 263 272 273 275 276 282 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 326 335 337 338 341 342 351 357 358 359 363 364 367 370 371 373 374 377 378 380 384 392 393 394 399 406 408 410 423 424 429 431 444 446 448 450 451 455 458 460 461 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 41 44 56 57 58 66 68 74 75 79 81 84 89 90 93 95 99 101 102 103 106 110 115 118 122 123 125 127 128 133 135 138 142 145 147 150 151 152 156 164 167 173 174 177 184 190 194 196 200 201 208 211 213 214 222 227 229 236 237 239 241 242 256 261 262 263 272 273 275 276 282 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 324 326 335 337 338 341 342 351 357 358 359 363 364 367 370 371 373 374 377 378 380 384 392 393 394 399 406 408 410 423 424 429 431 444 446 448 450 451 455 458 460 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 36 41 44 56 57 58 66 68 74 75 79 81 84 89 90 93 95 99 101 102 103 106 110 115 118 122 123 125 127 128 133 135 138 142 145 147 150 151 152 156 164 167 173 174 177 184 190 194 196 200 201 208 211 213 214 222 227 229 236 237 239 241 242 256 261 262 263 272 273 275 276 282 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 324 326 335 337 338 341 342 351 357 358 359 363 364 367 370 371 373 377 378 380 384 392 393 394 399 406 408 410 423 424 429 431 444 446 448 450 451 455 458 460 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 36 41 44 56 57 58 66 68 74 75 79 81 84 89 90 93 95 99 101 102 103 106 110 115 118 122 123 125 127 128 133 135 138 142 145 147 150 151 152 156 164 167 173 174 177 184 190 194 196 200 201 208 211 213 214 222 227 229 236 237 239 241 242 256 261 262 263 272 273 275 276 282 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 324 326 335 337 338 341 342 351 357 358 359 363 364 367 370 371 373 377 378 380 384 392 393 394 399 401 406 408 410 423 424 429 431 444 446 450 451 455 458 460 463 466 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 36 41 44 56 57 58 66 68 74 75 79 81 84 89 90 93 95 99 101 102 103 106 110 115 118 122 123 125 127 128 133 135 138 142 145 147 150 151 152 156 164 167 173 174 177 184 190 194 196 200 201 208 211 213 214 222 227 229 236 237 239 241 242 256 261 262 263 267 272 273 275 276 282 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 324 326 335 337 338 341 342 351 357 358 359 363 364 367 370 371 373 377 378 380 384 392 393 394 399 401 406 408 410 423 424 429 431 444 446 450 451 455 458 460 463 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 36 41 44 56 57 58 66 68 74 75 79 81 84 89 90 93 94 95 99 101 102 103 106 110 115 118 122 123 125 127 128 133 135 138 142 145 147 150 151 152 156 164 167 173 174 177 184 190 194 196 200 208 211 213 214 222 227 229 236 237 239 241 242 256 261 262 263 267 272 273 275 276 282 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 324 326 335 337 338 341 342 351 357 358 359 363 364 367 370 371 373 377 378 380 384 392 393 394 399 401 406 408 410 423 424 429 431 444 446 450 451 455 458 460 463 467 468 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 36 41 44 49 56 57 58 66 68 74 75 79 81 84 89 90 93 94 95 99 101 102 103 106 110 115 118 122 123 125 127 128 133 135 138 142 145 147 150 151 152 156 164 167 173 174 177 184 190 194 196 200 208 211 213 214 222 227 229 236 237 239 241 242 256 261 262 263 267 272 273 275 276 282 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 324 326 335 337 338 341 342 351 357 358 359 363 364 367 370 371 373 377 378 380 384 392 393 394 399 401 406 408 410 423 424 429 431 444 446 450 451 455 458 460 463 467 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 36 41 44 49 56 57 58 66 68 74 75 79 81 84 89 90 93 94 95 99 101 102 103 106 110 115 118 122 123 125 127 128 133 135 138 142 145 147 150 151 152 156 164 167 173 174 177 184 190 194 196 200 208 211 213 214 222 227 229 236 237 239 241 256 261 262 263 267 272 273 275 276 282 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 337 338 341 342 351 357 358 359 363 364 367 370 371 373 377 378 380 384 392 393 394 399 401 406 408 410 423 424 429 431 444 446 450 451 455 458 460 463 467 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 36 41 44 49 56 57 58 66 68 74 75 79 81 84 89 90 93 94 95 99 101 102 103 106 110 115 118 122 123 125 127 128 133 135 138 142 145 147 150 151 152 156 164 167 168 173 174 177 184 190 194 196 200 208 211 213 214 222 227 229 236 237 239 241 256 261 262 263 267 272 273 275 276 282 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 337 338 341 342 351 357 358 359 363 364 367 370 371 373 377 378 380 384 392 393 394 399 401 406 408 410 423 429 431 444 446 450 451 455 458 460 463 467 470 472 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 36 41 44 49 56 57 58 66 68 74 75 79 81 84 89 90 93 94 95 99 101 102 103 106 110 115 118 122 123 125 127 128 133 135 138 142 145 147 150 151 152 156 164 167 168 173 174 177 184 190 194 196 200 208 211 213 214 222 227 229 236 237 239 241 256 261 262 263 267 272 273 275 276 282 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 337 338 341 342 351 357 358 359 363 364 367 370 371 373 377 378 380 384 392 393 394 399 401 406 408 410 423 429 431 440 444 446 450 451 455 458 460 463 467 470 475 476 477 478 479 480 481 482 486 488 489 490 494 a 8 9 13 22 25 29 31 33 36 41 44 49 56 57 58 66 68 74 75 79 81 84 89 90 93 94 95 99 101 102 103 106 110 115 118 122 123 125 127 128 133 135 138 142 145 147 150 151 152 156 164 167 168 173 174 177 181 184 190 194 196 200 208 211 213 214 222 227 229 236 237 239 241 256 261 262 263 267 272 273 275 276 282 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 337 338 341 342 351 357 358 359 363 364 367 370 371 373 377 378 380 392 393 394 399 401 406 408 410 423 429 431 440 444 446 450 451 455 458 460 463 467 470 475 476 477 478 479 480 481 482 486 488 489 490 494 a 3 8 9 13 22 25 29 31 33 36 41 44 49 56 57 58 66 68 74 75 79 81 84 89 90 93 94 95 99 101 102 103 106 110 115 118 122 123 125 127 128 133 135 138 142 145 147 150 151 152 156 164 167 168 173 174 177 181 184 190 194 196 200 208 211 213 214 222 227 229 236 237 239 241 256 261 262 263 267 272 273 275 276 282 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 337 338 341 342 351 357 358 359 363 364 367 370 371 373 377 378 380 392 393 394 399 401 406 408 410 423 429 431 440 444 446 450 451 458 460 463 467 470 475 476 477 478 479 480 481 482 486 488 489 490 494 a 3 8 9 13 22 25 29 31 33 36 41 44 49 56 57 58 66 68 74 75 79 81 84 89 90 93 94 95 99 101 102 103 106 110 115 118 122 123 125 127 128 133 135 138 142 145 147 150 151 152 156 164 167 168 173 174 177 181 184 190 194 196 200 208 211 213 214 222 227 229 236 237 239 241 256 261 262 263 267 272 273 275 276 279 282 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 337 338 341 342 351 357 358 359 363 364 367 370 371 373 377 378 380 392 393 394 399 401 406 408 410 423 429 431 440 444 446 450 451 458 460 463 467 470 476 477 478 479 480 481 482 486 488 489 490 494 a 3 8 9 13 22 25 29 31 33 36 41 44 49 56 57 58 66 68 74 75 79 81 84 89 90 93 94 95 99 101 102 103 106 110 115 118 122 123 125 127 128 133 135 138 142 145 147 150 151 152 156 164 167 168 173 174 177 181 184 190 194 196 200 208 211 213 214 222 227 229 235 236 237 239 241 256 261 262 263 267 272 273 275 276 279 282 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 378 380 392 393 394 399 401 406 408 410 423 429 431 440 444 446 450 451 458 460 463 467 470 476 477 478 479 480 481 482 486 488 489 490 494 a 3 8 9 13 22 25 29 31 33 36 41 44 49 56 57 58 66 68 74 75 79 81 84 89 90 93 94 95 99 101 102 103 106 110 115 118 122 123 125 127 128 133 135 138 142 145 147 150 151 152 156 164 167 168 173 174 177 181 184 190 194 196 200 208 211 213 214 217 222 227 229 235 236 237 239 241 256 261 262 263 267 272 273 275 276 279 282 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 378 380 392 393 394 399 401 406 408 410 423 429 431 440 444 446 450 451 458 460 463 467 470 476 477 479 480 481 482 486 488 489 490 494 a 3 8 9 13 22 25 29 31 33 36 41 44 49 56 57 58 66 68 74 75 79 81 84 89 90 93 94 95 99 101 102 103 106 110 115 118 122 123 125 127 128 133 135 138 142 145 147 150 151 152 156 164 167 168 173 174 177 181 184 190 194 196 200 208 210 211 213 214 217 222 227 229 235 236 237 239 241 256 261 262 263 267 272 273 275 276 279 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 378 380 392 393 394 399 401 406 408 410 423 429 431 440 444 446 450 451 458 460 463 467 470 476 477 479 480 481 482 486 488 489 490 494 a 3 8 9 13 22 25 29 31 33 36 41 44 49 56 57 58 66 68 74 75 79 81 84 89 90 93 94 95 99 101 102 103 106 110 115 118 122 123 125 127 128 133 135 138 142 145 147 150 151 152 156 164 167 168 173 174 177 181 184 190 194 196 200 208 210 211 213 214 217 222 227 229 235 236 237 239 241 256 261 262 263 267 272 273 275 276 279 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 378 380 392 393 394 399 401 406 410 423 429 430 431 440 444 446 450 451 458 460 463 467 470 476 477 479 480 481 482 486 488 489 490 494 a 3 8 9 13 22 25 29 31 33 36 41 44 49 56 57 58 66 68 74 75 79 81 84 89 90 93 94 95 99 101 102 103 106 110 115 118 122 123 125 127 128 133 135 138 142 145 147 150 151 152 156 164 167 168 173 174 177 181 184 190 194 196 200 208 210 211 213 214 217 222 227 229 235 236 237 239 241 256 261 262 263 267 272 273 275 276 279 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 378 380 392 393 394 399 401 406 410 419 423 429 430 431 440 444 446 450 451 458 460 463 467 470 476 477 479 480 481 486 488 489 490 494 a 3 8 9 13 22 25 29 31 33 36 41 44 49 56 57 58 66 68 74 75 79 81 84 89 90 93 94 95 99 101 102 103 106 110 115 118 122 123 125 127 128 133 135 138 142 145 147 150 151 152 156 164 167 168 173 174 177 181 184 190 194 196 200 208 210 211 213 214 217 222 227 229 235 236 237 239 241 256 261 262 263 267 272 273 275 276 279 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 378 380 392 393 394 399 401 406 410 419 423 429 430 431 440 444 446 450 451 458 460 463 467 470 476 477 479 480 481 486 489 490 493 494 a 3 8 9 13 22 25 29 31 33 36 41 44 49 56 57 58 66 68 74 75 79 81 84 89 90 93 94 95 99 101 102 103 106 110 115 118 122 123 125 127 128 130 133 135 138 142 145 147 150 151 152 156 164 167 168 173 174 177 181 184 190 194 196 200 208 210 211 213 214 217 222 227 229 235 236 237 239 241 256 261 262 263 267 272 273 275 276 279 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 380 392 393 394 399 401 406 410 419 423 429 430 431 440 444 446 450 451 458 460 463 467 470 476 477 479 480 481 486 489 490 493 494 a 3 8 9 13 22 25 29 31 33 36 41 44 49 56 57 58 66 68 74 75 79 81 84 89 90 93 94 95 99 101 102 103 106 110 115 118 122 123 125 127 128 130 133 135 138 142 145 147 150 151 152 156 164 167 168 173 174 177 181 184 190 194 196 200 208 210 211 213 214 217 222 227 229 235 236 237 239 240 241 256 261 262 263 267 272 273 275 276 279 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 380 392 393 394 399 401 406 410 419 423 429 430 431 440 444 446 450 451 458 460 463 467 470 476 477 479 481 486 489 490 493 494 a 3 8 9 13 22 25 29 31 33 36 41 44 49 56 57 58 66 68 74 75 79 81 84 89 90 93 94 95 99 101 102 103 106 110 115 118 122 123 125 127 128 130 133 135 138 142 145 147 150 151 152 156 164 167 168 173 174 177 181 184 190 194 196 200 208 210 211 213 214 217 222 227 229 235 236 237 239 240 241 256 261 262 263 267 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 380 392 393 394 399 401 406 410 419 423 429 430 431 440 444 446 450 451 458 460 463 467 470 476 477 479 481 486 489 493 494 a 3 8 9 13 17 22 25 29 31 33 36 41 44 49 56 57 58 66 68 74 75 79 81 84 89 90 93 94 95 99 101 102 103 106 110 115 118 122 123 125 127 128 130 133 135 138 142 145 147 150 151 152 156 164 167 168 173 174 177 181 184 190 194 196 200 208 210 211 213 214 217 222 227 229 235 236 237 239 240 241 256 261 262 263 267 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 380 392 393 394 399 401 406 410 419 423 430 431 440 444 446 450 451 458 460 463 467 470 476 477 479 481 486 489 493 494 a 3 8 9 13 17 22 25 29 31 33 36 41 44 49 56 57 58 66 68 74 75 79 81 84 89 90 93 94 95 99 101 102 103 106 110 115 118 122 123 125 127 128 130 133 135 138 142 145 147 150 151 152 156 164 167 168 173 174 177 181 184 190 194 196 200 208 210 211 213 214 217 222 227 229 235 236 237 239 240 241 256 261 262 263 267 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 380 392 393 394 399 401 406 410 419 420 423 430 431 440 444 446 450 451 460 463 467 470 476 477 479 481 486 489 493 494 Command being timed: "/solvers/driver/run.py --config=existent-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance038_graph001.col /benchmark/random_instance/random_instance038_graph001_01.dat" User time (seconds): 0.31 System time (seconds): 0.02 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.33 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): 20912 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 13657 Voluntary context switches: 26 Involuntary context switches: 7 Swaps: 0 File system inputs: 0 File system outputs: 528 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Fri Sep 8 00:40:31 2023]