#BEGIN: [Mon Sep 4 15:08:11 2023] #HOST: s01 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance037_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance037_graph004_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest /benchmark/random_instance/random_instance037_graph004.col /benchmark/random_instance/random_instance037_graph004_01.dat c /benchmark/random_instance/random_instance037_graph004.col c /benchmark/random_instance/random_instance037_graph004_01.dat s 275 249 436 297 348 276 167 117 390 63 129 194 190 218 326 88 250 114 180 387 334 231 55 301 196 445 238 413 29 243 430 286 315 100 26 200 52 474 164 274 242 392 146 20 288 410 75 209 369 18 273 192 86 61 320 271 347 476 95 133 427 230 53 81 434 280 79 172 16 295 175 15 144 123 293 350 284 254 470 296 440 357 163 109 30 160 92 11 356 6 187 388 185 90 312 481 147 289 57 64 223 462 401 48 435 363 120 287 58 22 349 85 359 173 177 409 418 361 428 37 329 473 404 368 156 118 337 316 237 452 318 321 84 308 323 433 373 458 328 360 215 203 222 391 376 450 303 389 38 262 140 255 78 378 457 t 454 288 68 369 84 408 450 126 190 241 353 443 339 117 89 158 345 205 257 114 361 425 452 264 1 187 388 42 18 170 252 303 337 247 130 275 12 7 218 237 15 25 308 330 105 26 390 17 472 147 435 9 465 478 376 250 479 206 259 38 299 200 163 385 350 124 85 290 96 280 40 236 208 271 389 414 234 384 134 309 94 439 278 326 5 273 457 320 287 143 243 387 332 430 331 468 294 373 394 334 81 47 466 71 212 391 293 48 207 456 461 270 123 121 80 104 6 136 46 475 444 211 356 442 27 296 412 122 238 22 358 409 401 150 446 327 335 254 268 336 405 29 255 342 380 203 242 164 87 321 349 109 329 300 175 a YES a 6 11 15 16 18 20 22 26 29 30 37 38 48 52 53 55 57 58 61 63 64 75 78 79 81 84 85 86 88 90 92 95 100 109 114 117 118 120 123 129 133 140 144 146 147 156 160 163 164 167 172 173 175 177 180 185 187 190 192 194 196 200 203 209 215 218 222 223 230 231 237 238 242 243 249 250 254 255 262 271 273 274 275 276 280 284 286 287 288 289 293 295 296 297 301 303 308 312 315 316 318 320 321 323 326 328 329 334 337 347 348 349 350 356 357 359 360 361 363 368 369 373 376 378 387 388 389 390 391 392 401 404 409 410 413 418 427 428 430 433 434 435 436 440 445 450 452 457 458 462 470 473 474 476 481 a 6 11 15 16 18 20 22 26 29 30 37 38 48 52 53 55 57 58 61 63 64 68 78 79 81 84 85 86 88 90 92 95 100 109 114 117 118 120 123 129 133 140 144 146 147 156 160 163 164 167 172 173 175 177 180 185 187 190 192 194 196 200 203 209 215 218 222 223 230 231 237 238 242 243 249 250 254 255 262 271 273 274 275 276 280 284 286 287 288 289 293 295 296 297 301 303 308 312 315 316 318 320 321 323 326 328 329 334 337 347 348 349 350 356 357 359 360 361 363 368 369 373 376 378 387 388 389 390 391 392 401 404 409 410 413 418 427 428 430 433 434 435 436 440 445 450 452 457 458 462 470 473 474 476 481 a 6 11 15 16 18 20 22 26 29 30 37 38 48 52 53 55 57 58 61 63 64 68 78 79 81 84 85 86 88 90 92 95 100 109 114 117 118 120 123 129 133 140 144 146 147 156 160 163 164 167 173 175 177 180 185 187 190 192 194 196 200 203 209 215 218 222 223 230 231 236 237 238 242 243 249 250 254 255 262 271 273 274 275 276 280 284 286 287 288 289 293 295 296 297 301 303 308 312 315 316 318 320 321 323 326 328 329 334 337 347 348 349 350 356 357 359 360 361 363 368 369 373 376 378 387 388 389 390 391 392 401 404 409 410 413 418 427 428 430 433 434 435 436 440 445 450 452 457 458 462 470 473 474 476 481 a 6 11 15 16 18 20 22 26 29 30 37 38 48 52 53 55 57 58 61 63 64 68 78 79 80 81 84 85 86 88 90 92 95 100 109 114 117 118 120 123 129 133 140 144 146 147 156 160 163 164 167 173 175 177 180 185 187 190 192 194 196 200 203 209 215 218 222 223 230 231 236 237 238 242 243 249 250 254 255 262 271 273 274 275 276 280 284 286 287 288 289 293 295 296 297 301 303 308 312 315 316 318 320 321 323 326 328 329 334 337 347 348 349 350 356 357 359 360 361 363 368 369 373 376 378 387 388 389 390 391 392 401 404 409 410 413 418 427 430 433 434 435 436 440 445 450 452 457 458 462 470 473 474 476 481 a 6 11 15 16 18 20 22 26 29 30 37 38 48 52 53 55 57 58 61 63 64 68 78 79 80 81 84 85 86 88 90 95 100 109 114 117 118 120 123 129 133 140 144 146 147 156 160 163 164 167 173 175 177 180 185 187 190 192 194 196 200 203 209 215 218 222 223 230 231 236 237 238 242 243 249 250 252 254 255 262 271 273 274 275 276 280 284 286 287 288 289 293 295 296 297 301 303 308 312 315 316 318 320 321 323 326 328 329 334 337 347 348 349 350 356 357 359 360 361 363 368 369 373 376 378 387 388 389 390 391 392 401 404 409 410 413 418 427 430 433 434 435 436 440 445 450 452 457 458 462 470 473 474 476 481 a 6 11 15 16 18 20 22 26 29 30 37 38 48 52 53 55 57 58 61 63 64 68 78 79 80 81 84 85 86 90 95 100 109 114 117 118 120 123 129 133 140 144 146 147 156 160 163 164 167 173 175 177 180 185 187 190 192 194 196 200 203 209 215 218 222 223 230 231 236 237 238 242 243 249 250 252 254 255 262 271 273 274 275 276 280 284 286 287 288 289 293 295 296 297 301 303 308 312 315 316 318 320 321 323 326 328 329 334 337 342 347 348 349 350 356 357 359 360 361 363 368 369 373 376 378 387 388 389 390 391 392 401 404 409 410 413 418 427 430 433 434 435 436 440 445 450 452 457 458 462 470 473 474 476 481 a 6 11 15 16 18 20 22 26 29 30 37 38 48 52 53 55 57 58 61 63 64 68 78 79 80 81 84 85 86 90 95 100 109 114 117 118 120 123 129 133 140 144 146 147 156 160 163 164 167 173 175 177 180 185 187 190 192 194 196 200 203 209 215 218 222 223 230 231 236 237 238 242 243 249 250 252 254 255 262 271 273 274 275 276 280 284 286 287 288 289 293 295 296 297 301 303 308 312 315 316 318 320 321 323 326 328 329 334 337 342 347 348 349 350 356 357 359 360 361 363 368 369 373 376 378 387 388 389 390 391 392 401 404 408 409 410 413 418 427 430 433 434 435 436 440 445 450 452 457 458 462 470 473 474 481 a 6 11 15 16 18 20 22 26 29 30 37 38 48 52 53 55 57 58 61 63 64 68 78 79 80 81 84 85 86 90 95 100 109 114 117 118 120 123 129 133 140 144 146 147 156 160 163 164 167 173 175 177 180 185 187 190 192 194 196 200 203 209 215 218 222 223 230 231 236 237 238 242 243 249 250 252 254 255 262 271 273 274 275 276 280 284 286 287 288 289 293 295 296 297 301 303 308 312 315 316 318 320 321 323 326 328 329 332 334 337 342 347 348 349 350 356 357 359 360 361 363 368 369 373 376 378 387 388 389 390 391 392 401 404 408 409 410 413 418 427 430 433 434 435 436 440 445 450 452 457 458 462 470 474 481 a 6 11 15 16 18 20 22 26 29 30 37 38 48 52 53 55 57 58 61 63 64 68 78 79 80 81 84 85 86 90 95 100 109 114 117 118 120 123 129 133 140 144 146 147 156 160 163 164 167 173 175 177 180 185 187 190 192 194 196 200 203 209 215 218 222 223 230 231 236 237 238 242 243 249 250 252 254 255 262 271 273 274 275 276 280 284 286 287 288 289 293 295 296 297 301 303 308 312 315 316 318 320 321 323 326 328 329 332 334 337 342 347 348 349 350 356 357 359 360 361 363 368 369 373 376 378 387 388 389 390 391 392 401 404 408 409 410 413 418 427 430 433 434 435 436 440 450 452 457 458 462 466 470 474 481 a 6 11 15 16 18 20 22 26 29 30 37 38 48 52 53 55 57 58 61 63 64 68 78 79 80 81 84 85 86 95 100 109 114 117 118 120 123 129 133 140 144 146 147 156 160 163 164 167 173 175 177 180 185 187 190 192 194 196 200 203 209 215 218 222 223 230 231 236 237 238 242 243 249 250 252 254 255 262 271 273 274 275 276 280 284 286 287 288 289 293 295 296 297 301 303 308 312 315 316 318 320 321 323 326 328 329 332 334 337 342 347 348 349 350 356 357 359 360 361 363 368 369 373 376 378 387 388 389 390 391 392 401 404 408 409 410 413 418 427 430 433 434 435 436 440 450 452 457 458 462 466 470 474 475 481 a 6 11 15 16 18 20 22 26 29 30 37 38 48 52 53 55 57 58 61 63 64 68 78 79 80 81 84 85 86 95 100 109 114 117 118 120 123 129 133 140 144 146 147 156 160 163 164 167 173 175 177 180 185 187 190 192 194 196 200 203 209 215 218 222 223 230 231 236 237 238 242 243 249 250 252 254 255 262 271 273 274 275 276 280 284 286 287 288 289 293 295 296 297 301 303 308 312 315 316 320 321 323 326 328 329 332 334 337 342 347 348 349 350 356 357 358 359 360 361 363 368 369 373 376 378 387 388 389 390 391 392 401 404 408 409 410 413 418 427 430 433 434 435 436 440 450 452 457 458 462 466 470 474 475 481 a 6 11 15 16 18 20 22 26 29 37 38 48 52 53 55 57 58 61 63 64 68 78 79 80 81 84 85 86 95 100 109 114 117 118 120 123 129 133 140 144 146 147 156 160 163 164 167 173 175 177 180 185 187 190 192 194 196 200 203 209 215 218 222 223 230 231 236 237 238 242 243 249 250 252 254 255 262 271 273 274 275 276 280 284 286 287 288 289 293 295 296 297 301 303 308 312 315 316 320 321 323 326 328 329 332 334 337 342 347 348 349 350 353 356 357 358 359 360 361 363 368 369 373 376 378 387 388 389 390 391 392 401 404 408 409 410 413 418 427 430 433 434 435 436 440 450 452 457 458 462 466 470 474 475 481 a 6 11 15 16 18 20 22 26 29 37 38 48 52 53 55 57 58 61 63 64 68 78 79 80 81 84 85 86 95 100 109 114 117 118 120 123 129 133 140 144 146 147 156 160 163 164 167 173 175 177 180 185 187 190 192 194 196 200 203 209 215 218 222 223 230 231 236 237 238 242 243 249 250 252 254 255 262 271 273 274 275 276 280 284 286 287 288 289 293 295 296 297 301 303 308 312 315 316 320 321 323 326 328 329 332 334 337 342 347 348 349 350 353 356 357 358 359 360 361 363 368 369 373 376 378 387 388 389 390 391 392 401 404 408 409 410 413 418 430 433 434 435 436 440 450 452 454 457 458 462 466 470 474 475 481 a 6 11 15 16 18 20 22 26 29 37 38 48 52 53 55 57 58 61 63 64 68 78 79 80 81 84 85 86 95 100 109 114 117 118 120 123 124 129 133 140 144 146 147 156 160 163 164 167 173 175 177 180 185 187 190 192 194 196 200 203 209 215 218 222 223 230 231 236 237 238 242 243 249 250 252 254 255 262 271 273 274 275 276 280 284 286 287 288 289 293 295 296 297 301 303 308 312 315 316 320 321 323 326 328 329 332 334 337 342 347 348 349 350 353 356 357 358 359 361 363 368 369 373 376 378 387 388 389 390 391 392 401 404 408 409 410 413 418 430 433 434 435 436 440 450 452 454 457 458 462 466 470 474 475 481 a 6 11 15 16 18 20 22 26 29 37 38 48 52 53 55 57 58 61 63 64 68 78 79 80 81 84 85 86 95 100 109 114 117 118 120 123 124 129 133 140 144 146 147 156 160 163 164 167 173 175 177 180 185 187 190 192 194 196 200 203 205 209 215 218 222 223 230 231 236 237 238 242 243 249 250 252 254 255 262 271 273 274 275 276 280 284 286 287 288 289 293 295 296 297 301 303 308 312 315 316 320 321 323 326 328 329 332 334 337 342 347 348 349 350 353 356 357 358 359 361 363 368 369 373 376 378 387 388 389 390 391 392 401 404 408 409 410 413 418 430 433 434 435 436 440 450 452 454 457 458 466 470 474 475 481 a 6 11 15 16 18 20 22 26 29 37 38 48 52 53 55 57 58 61 63 64 68 78 79 80 81 84 85 86 95 100 109 114 117 118 120 123 124 129 133 140 144 146 147 156 160 163 164 167 173 175 177 180 185 187 190 192 194 196 200 203 205 209 215 218 222 223 230 231 236 237 238 242 243 249 250 252 254 255 262 271 273 274 275 276 280 284 286 287 288 289 293 295 296 297 301 303 308 312 315 316 320 321 323 326 328 329 332 334 337 342 347 348 349 350 353 356 357 358 359 361 363 368 369 373 376 378 387 388 389 390 391 392 401 404 408 409 413 418 430 433 434 435 436 439 440 450 452 454 457 458 466 470 474 475 481 a 6 11 15 16 18 20 22 26 29 37 38 48 52 53 55 57 58 61 63 64 68 78 79 80 81 84 85 86 95 100 109 114 117 118 120 123 124 129 133 140 144 146 147 156 160 163 164 167 173 175 177 180 185 187 190 192 194 196 200 203 205 209 215 218 222 223 230 231 236 237 238 242 243 249 250 252 254 255 262 271 273 274 275 276 280 284 286 287 288 289 293 295 296 297 301 303 308 312 315 316 320 321 323 326 328 329 332 334 337 342 347 348 349 350 353 356 357 358 359 361 363 368 369 373 376 378 387 388 389 390 391 401 404 408 409 413 418 430 433 434 435 436 439 440 450 452 454 457 458 466 468 470 474 475 481 a 6 11 15 16 18 20 22 26 29 37 38 48 52 53 55 57 58 61 63 64 68 78 79 80 81 84 85 86 95 100 109 114 117 118 120 123 124 129 133 140 144 146 147 156 160 163 164 167 173 175 177 180 185 187 190 192 194 196 200 203 205 209 215 218 222 223 230 231 236 237 238 242 243 249 250 252 254 255 262 271 273 274 275 276 280 284 286 287 288 289 293 295 296 297 299 301 303 308 312 315 316 320 321 323 326 328 329 332 334 337 342 347 348 349 350 353 356 357 358 361 363 368 369 373 376 378 387 388 389 390 391 401 404 408 409 413 418 430 433 434 435 436 439 440 450 452 454 457 458 466 468 470 474 475 481 a 6 11 15 16 18 20 22 26 29 37 38 48 52 53 55 57 58 61 63 64 68 71 78 79 80 81 84 85 86 95 100 109 114 117 118 120 123 124 129 133 140 144 146 147 156 160 163 164 167 173 175 177 180 185 187 190 192 194 196 200 203 205 209 215 218 222 223 230 231 236 237 238 242 243 249 250 252 254 255 262 271 273 274 275 276 280 284 286 287 288 289 293 295 296 297 299 301 303 308 312 315 316 320 321 323 326 328 329 332 334 337 342 347 348 349 350 353 356 357 358 361 363 368 369 373 376 378 387 388 389 390 391 401 404 408 409 413 418 430 433 434 435 436 439 440 450 452 454 457 458 466 468 470 475 481 a 6 11 15 16 18 20 22 26 29 37 38 48 52 53 55 57 58 61 63 64 68 71 78 79 80 81 84 85 86 95 100 104 109 114 117 118 120 123 124 129 133 140 144 146 147 156 160 163 164 167 173 175 177 180 185 187 190 192 194 196 200 203 205 209 215 218 222 223 230 231 236 237 238 242 243 249 250 252 254 255 262 271 273 274 275 276 280 284 286 287 288 289 293 295 296 297 299 301 303 308 312 315 316 320 321 323 326 328 329 332 334 337 342 347 348 349 350 353 356 357 358 361 363 368 369 373 376 378 387 388 389 390 391 401 404 408 409 413 418 430 433 434 435 436 439 440 450 452 454 457 466 468 470 475 481 a 6 15 16 18 20 22 26 29 37 38 48 52 53 55 57 58 61 63 64 68 71 78 79 80 81 84 85 86 95 100 104 109 114 117 118 120 123 124 129 133 140 144 146 147 156 160 163 164 167 173 175 177 180 185 187 190 192 194 196 200 203 205 209 215 218 222 223 230 231 236 237 238 242 243 249 250 252 254 255 262 271 273 274 275 276 280 284 286 287 288 289 293 294 295 296 297 299 301 303 308 312 315 316 320 321 323 326 328 329 332 334 337 342 347 348 349 350 353 356 357 358 361 363 368 369 373 376 378 387 388 389 390 391 401 404 408 409 413 418 430 433 434 435 436 439 440 450 452 454 457 466 468 470 475 481 a 6 15 16 18 20 22 26 29 37 38 48 52 53 55 57 58 61 63 64 68 71 78 79 80 81 84 85 86 95 100 104 109 114 117 118 120 123 124 129 133 140 144 146 147 156 158 160 163 164 167 173 175 177 180 185 187 190 192 194 196 200 203 205 209 215 218 222 223 230 231 236 237 238 242 243 249 250 252 254 255 262 271 273 274 275 276 280 284 286 287 288 289 293 294 295 296 297 299 301 303 308 312 315 316 320 321 323 326 328 329 332 334 337 342 347 348 349 350 353 356 357 358 361 363 368 369 373 376 387 388 389 390 391 401 404 408 409 413 418 430 433 434 435 436 439 440 450 452 454 457 466 468 470 475 481 a 6 15 16 18 20 22 26 29 37 38 48 52 53 55 57 58 61 63 64 68 71 78 79 80 81 84 85 86 95 100 104 109 114 117 118 120 123 124 129 133 136 140 144 146 147 156 158 160 163 164 167 173 175 177 180 185 187 190 192 194 200 203 205 209 215 218 222 223 230 231 236 237 238 242 243 249 250 252 254 255 262 271 273 274 275 276 280 284 286 287 288 289 293 294 295 296 297 299 301 303 308 312 315 316 320 321 323 326 328 329 332 334 337 342 347 348 349 350 353 356 357 358 361 363 368 369 373 376 387 388 389 390 391 401 404 408 409 413 418 430 433 434 435 436 439 440 450 452 454 457 466 468 470 475 481 a 6 15 16 18 20 22 26 29 37 38 48 52 53 55 57 58 61 63 64 68 71 78 79 80 81 84 85 86 95 100 104 109 114 117 118 120 123 124 129 133 136 140 144 146 147 156 158 160 163 164 167 173 175 177 180 185 187 190 192 194 200 203 205 209 215 218 222 223 230 231 236 237 238 242 243 249 250 252 254 255 262 271 273 274 275 276 280 284 287 288 289 293 294 295 296 297 299 301 303 308 312 315 316 320 321 323 326 328 329 332 334 337 342 347 348 349 350 353 356 357 358 361 363 368 369 373 376 387 388 389 390 391 401 404 408 409 413 418 430 433 434 435 436 439 440 450 452 454 456 457 466 468 470 475 481 a 6 15 16 18 20 22 26 29 37 38 48 52 53 55 57 58 61 63 64 68 71 78 79 80 81 84 85 86 95 100 104 109 114 117 118 120 123 124 129 133 134 136 140 144 146 147 156 158 160 163 164 167 173 175 177 180 185 187 190 192 194 200 203 205 209 215 218 222 223 230 231 236 237 238 242 243 249 250 252 254 255 262 271 273 274 275 276 280 284 287 288 289 293 294 295 296 297 299 301 303 308 312 315 316 320 321 323 326 329 332 334 337 342 347 348 349 350 353 356 357 358 361 363 368 369 373 376 387 388 389 390 391 401 404 408 409 413 418 430 433 434 435 436 439 440 450 452 454 456 457 466 468 470 475 481 a 6 15 16 18 20 22 26 29 37 38 48 52 53 55 57 58 61 63 64 68 71 78 79 80 81 84 85 86 95 100 104 109 114 117 118 120 122 123 124 129 133 134 136 140 144 146 147 156 158 160 163 164 167 173 175 177 180 185 187 190 192 194 200 203 205 209 215 218 222 223 230 231 236 237 238 242 243 249 250 252 254 255 262 271 273 274 275 276 280 284 287 288 289 293 294 295 296 297 299 301 303 308 312 315 316 320 321 323 326 329 332 334 337 342 347 348 349 350 353 356 357 358 361 363 368 369 373 376 387 388 389 390 391 401 404 408 409 413 418 430 433 434 435 436 439 450 452 454 456 457 466 468 470 475 481 a 6 15 16 18 22 26 29 37 38 48 52 53 55 57 58 61 63 64 68 71 78 79 80 81 84 85 86 95 100 104 109 114 117 118 120 122 123 124 126 129 133 134 136 140 144 146 147 156 158 160 163 164 167 173 175 177 180 185 187 190 192 194 200 203 205 209 215 218 222 223 230 231 236 237 238 242 243 249 250 252 254 255 262 271 273 274 275 276 280 284 287 288 289 293 294 295 296 297 299 301 303 308 312 315 316 320 321 323 326 329 332 334 337 342 347 348 349 350 353 356 357 358 361 363 368 369 373 376 387 388 389 390 391 401 404 408 409 413 418 430 433 434 435 436 439 450 452 454 456 457 466 468 470 475 481 a 6 15 16 18 22 26 29 37 38 48 52 53 55 57 58 61 63 64 68 71 78 79 80 81 84 85 86 95 100 104 109 114 117 118 120 122 123 124 126 129 133 134 136 140 144 146 147 156 158 160 163 164 167 173 175 177 180 185 187 190 192 194 200 203 205 209 215 218 222 223 230 231 236 237 238 242 243 249 250 252 254 255 262 271 273 274 275 276 280 284 287 288 289 293 294 295 296 297 299 301 303 308 312 315 316 320 321 323 326 329 330 332 334 337 342 347 348 349 350 353 356 357 358 361 363 368 369 373 376 387 388 389 390 391 401 404 408 409 413 418 430 434 435 436 439 450 452 454 456 457 466 468 470 475 481 a 6 15 16 18 22 26 29 37 38 48 52 53 55 57 58 61 63 64 68 71 78 79 80 81 84 85 86 89 95 100 104 109 114 117 118 120 122 123 124 126 129 133 134 136 140 144 146 147 156 158 160 163 164 167 173 175 177 180 185 187 190 192 194 200 203 205 209 215 218 222 223 230 231 236 237 238 242 243 249 250 252 254 255 262 271 273 274 275 276 280 284 287 288 289 293 294 295 296 297 299 301 303 308 312 315 316 320 321 323 326 329 330 332 334 337 342 347 348 349 350 353 356 357 358 361 363 368 369 373 376 387 388 389 390 391 401 404 408 409 413 418 430 434 435 436 439 450 452 454 456 457 466 468 470 475 a 6 15 16 18 22 26 29 37 38 48 52 53 55 57 58 61 63 64 68 71 78 79 80 81 84 85 86 89 95 100 104 109 114 117 118 120 122 123 124 126 129 133 134 136 140 144 146 147 156 158 160 163 164 167 173 175 177 180 185 187 190 192 194 200 203 205 209 215 218 222 223 230 231 236 237 238 242 243 249 250 252 254 255 262 271 273 274 275 276 280 284 287 288 289 293 294 296 297 299 301 303 308 312 315 316 320 321 323 326 329 330 332 334 337 342 347 348 349 350 353 356 357 358 361 363 368 369 373 376 387 388 389 390 391 401 404 405 408 409 413 418 430 434 435 436 439 450 452 454 456 457 466 468 470 475 a 6 15 16 18 22 26 29 37 38 48 52 53 55 57 58 61 63 64 68 71 78 79 80 81 84 85 86 89 95 100 104 109 114 117 118 120 122 123 124 126 129 133 134 136 140 143 144 146 147 156 158 160 163 164 167 173 175 177 185 187 190 192 194 200 203 205 209 215 218 222 223 230 231 236 237 238 242 243 249 250 252 254 255 262 271 273 274 275 276 280 284 287 288 289 293 294 296 297 299 301 303 308 312 315 316 320 321 323 326 329 330 332 334 337 342 347 348 349 350 353 356 357 358 361 363 368 369 373 376 387 388 389 390 391 401 404 405 408 409 413 418 430 434 435 436 439 450 452 454 456 457 466 468 470 475 a 6 15 16 18 22 26 29 37 38 48 52 53 55 57 58 61 63 64 68 71 78 79 80 81 84 85 86 89 95 100 104 109 114 117 118 120 122 123 124 126 129 133 134 136 140 143 144 146 147 156 158 160 163 164 167 173 175 177 185 187 190 192 194 200 203 205 209 215 218 222 223 231 236 237 238 242 243 249 250 252 254 255 262 271 273 274 275 276 280 284 287 288 289 293 294 296 297 299 301 303 308 312 315 316 320 321 323 326 329 330 332 334 337 342 347 348 349 350 353 356 357 358 361 363 368 369 373 376 380 387 388 389 390 391 401 404 405 408 409 413 418 430 434 435 436 439 450 452 454 456 457 466 468 470 475 a 6 15 16 18 22 26 29 37 38 48 52 53 55 57 58 61 63 64 68 71 78 79 80 81 84 85 86 89 95 100 104 109 114 117 118 120 122 123 124 126 129 133 134 136 140 143 144 146 147 156 158 160 163 164 167 173 175 177 185 187 190 192 194 200 203 205 209 215 218 222 223 231 236 237 238 242 243 249 250 252 254 255 262 271 273 274 275 276 280 284 287 288 289 293 294 296 297 299 301 303 308 312 315 316 320 321 323 326 329 330 332 334 337 342 347 348 349 350 353 356 358 361 363 368 369 373 376 380 387 388 389 390 391 401 404 405 408 409 413 418 430 434 435 436 439 450 452 454 456 457 465 466 468 470 475 a 6 15 16 18 22 26 29 37 38 48 52 53 55 57 58 61 63 64 68 71 78 79 80 81 84 85 86 89 95 100 104 109 114 117 118 120 122 123 124 126 129 133 134 136 140 143 144 146 147 156 158 160 163 164 167 173 175 177 185 187 190 192 194 200 203 205 209 215 218 222 223 231 236 237 238 242 243 249 250 252 254 255 262 270 271 273 274 275 276 280 284 287 288 289 293 294 296 297 299 303 308 312 315 316 320 321 323 326 329 330 332 334 337 342 347 348 349 350 353 356 358 361 363 368 369 373 376 380 387 388 389 390 391 401 404 405 408 409 413 418 430 434 435 436 439 450 452 454 456 457 465 466 468 470 475 a 6 15 16 18 22 26 29 37 38 48 52 53 55 57 58 61 63 64 68 71 78 79 80 81 84 85 89 95 100 104 109 114 117 118 120 122 123 124 126 129 133 134 136 140 143 144 146 147 156 158 160 163 164 167 173 175 177 185 187 190 192 194 200 203 205 209 215 218 222 223 231 236 237 238 242 243 249 250 252 254 255 262 264 270 271 273 274 275 276 280 284 287 288 289 293 294 296 297 299 303 308 312 315 316 320 321 323 326 329 330 332 334 337 342 347 348 349 350 353 356 358 361 363 368 369 373 376 380 387 388 389 390 391 401 404 405 408 409 413 418 430 434 435 436 439 450 452 454 456 457 465 466 468 470 475 a 6 15 16 18 22 26 29 37 38 48 52 53 55 57 58 61 63 64 68 71 78 79 80 81 84 85 89 95 96 100 104 109 114 117 118 120 122 123 124 126 129 133 134 136 140 143 144 146 147 156 158 160 163 164 167 173 175 177 185 187 190 192 200 203 205 209 215 218 222 223 231 236 237 238 242 243 249 250 252 254 255 262 264 270 271 273 274 275 276 280 284 287 288 289 293 294 296 297 299 303 308 312 315 316 320 321 323 326 329 330 332 334 337 342 347 348 349 350 353 356 358 361 363 368 369 373 376 380 387 388 389 390 391 401 404 405 408 409 413 418 430 434 435 436 439 450 452 454 456 457 465 466 468 470 475 a 6 15 16 18 22 26 29 37 38 48 52 53 55 57 58 61 63 64 68 71 78 79 80 81 84 85 89 95 96 100 104 109 114 117 118 120 122 123 124 126 129 133 134 136 140 143 144 146 147 156 158 160 163 164 167 175 177 185 187 190 192 200 203 205 209 215 218 222 223 231 236 237 238 241 242 243 249 250 252 254 255 262 264 270 271 273 274 275 276 280 284 287 288 289 293 294 296 297 299 303 308 312 315 316 320 321 323 326 329 330 332 334 337 342 347 348 349 350 353 356 358 361 363 368 369 373 376 380 387 388 389 390 391 401 404 405 408 409 413 418 430 434 435 436 439 450 452 454 456 457 465 466 468 470 475 a 6 15 16 18 22 26 27 29 37 38 48 52 53 55 57 58 61 63 64 68 71 78 79 80 81 84 85 89 95 96 100 104 109 114 117 118 122 123 124 126 129 133 134 136 140 143 144 146 147 156 158 160 163 164 167 175 177 185 187 190 192 200 203 205 209 215 218 222 223 231 236 237 238 241 242 243 249 250 252 254 255 262 264 270 271 273 274 275 276 280 284 287 288 289 293 294 296 297 299 303 308 312 315 316 320 321 323 326 329 330 332 334 337 342 347 348 349 350 353 356 358 361 363 368 369 373 376 380 387 388 389 390 391 401 404 405 408 409 413 418 430 434 435 436 439 450 452 454 456 457 465 466 468 470 475 a 6 15 16 18 22 26 27 29 37 38 48 52 53 55 57 58 61 63 64 68 71 78 79 80 81 84 85 89 95 96 100 104 109 114 117 118 122 123 124 126 129 133 134 136 140 143 144 146 147 156 158 160 163 164 167 175 177 185 187 190 192 200 203 205 209 215 218 222 223 231 236 237 238 241 242 243 249 250 252 254 255 262 264 270 271 273 274 275 276 280 284 287 288 289 293 294 296 297 299 303 308 315 316 320 321 323 326 327 329 330 332 334 337 342 347 348 349 350 353 356 358 361 363 368 369 373 376 380 387 388 389 390 391 401 404 405 408 409 413 418 430 434 435 436 439 450 452 454 456 457 465 466 468 470 475 a 6 15 16 18 22 26 27 29 37 38 48 52 53 55 57 58 63 64 68 71 78 79 80 81 84 85 87 89 95 96 100 104 109 114 117 118 122 123 124 126 129 133 134 136 140 143 144 146 147 156 158 160 163 164 167 175 177 185 187 190 192 200 203 205 209 215 218 222 223 231 236 237 238 241 242 243 249 250 252 254 255 262 264 270 271 273 274 275 276 280 284 287 288 289 293 294 296 297 299 303 308 315 316 320 321 323 326 327 329 330 332 334 337 342 347 348 349 350 353 356 358 361 363 368 369 373 376 380 387 388 389 390 391 401 404 405 408 409 413 418 430 434 435 436 439 450 452 454 456 457 465 466 468 470 475 a 6 15 16 18 22 26 27 29 37 38 48 52 53 55 57 58 63 64 68 71 78 79 80 81 84 85 87 89 95 96 100 104 109 114 117 118 122 123 124 126 129 133 134 136 140 143 144 146 147 156 158 160 163 164 167 175 177 185 187 190 192 200 203 205 207 209 215 218 222 223 231 236 237 238 241 242 243 249 250 252 254 255 262 264 270 271 273 274 275 276 280 284 287 288 289 293 294 296 297 299 303 308 315 316 320 321 323 326 327 329 330 332 334 337 342 347 349 350 353 356 358 361 363 368 369 373 376 380 387 388 389 390 391 401 404 405 408 409 413 418 430 434 435 436 439 450 452 454 456 457 465 466 468 470 475 a 6 15 16 18 22 26 27 29 37 38 48 52 53 55 57 58 63 64 68 71 78 79 80 81 84 85 87 89 95 96 100 104 109 114 117 118 122 123 124 126 129 133 134 136 140 143 144 146 147 150 156 158 160 163 164 167 175 177 185 187 190 192 200 203 205 207 209 215 218 222 223 231 236 237 238 241 242 243 249 250 252 254 255 262 264 270 271 273 274 275 276 280 284 287 288 289 293 294 296 297 299 303 308 315 316 320 321 323 326 327 329 330 332 334 337 342 347 349 350 353 356 358 361 363 368 369 373 376 380 387 388 389 390 391 401 404 405 408 409 413 418 430 434 435 436 439 450 452 454 456 457 465 466 468 475 a 6 7 15 16 18 22 26 27 29 37 38 48 52 53 55 57 58 63 64 68 71 78 79 80 81 84 85 87 89 95 96 100 104 109 114 117 118 122 123 124 126 129 133 134 136 140 143 144 146 147 150 156 158 160 163 164 167 175 177 185 187 190 192 200 203 205 207 209 215 218 222 223 231 236 237 238 241 242 243 249 250 252 254 255 262 264 270 271 273 274 275 276 280 287 288 289 293 294 296 297 299 303 308 315 316 320 321 323 326 327 329 330 332 334 337 342 347 349 350 353 356 358 361 363 368 369 373 376 380 387 388 389 390 391 401 404 405 408 409 413 418 430 434 435 436 439 450 452 454 456 457 465 466 468 475 a 6 7 15 16 18 22 26 27 29 37 38 48 52 53 55 57 58 63 64 68 71 78 79 80 81 84 85 87 89 95 96 100 104 109 114 117 118 122 123 124 126 129 133 134 136 140 143 144 146 147 150 156 158 160 163 164 167 175 177 185 187 190 192 200 203 205 207 209 215 218 222 223 231 236 237 238 241 242 243 247 249 250 252 254 255 262 264 270 271 273 274 275 276 280 287 288 289 293 294 296 299 303 308 315 316 320 321 323 326 327 329 330 332 334 337 342 347 349 350 353 356 358 361 363 368 369 373 376 380 387 388 389 390 391 401 404 405 408 409 413 418 430 434 435 436 439 450 452 454 456 457 465 466 468 475 a 6 7 15 16 18 22 26 27 29 38 48 52 53 55 57 58 63 64 68 71 78 79 80 81 84 85 87 89 95 96 100 104 109 114 117 118 122 123 124 126 129 133 134 136 140 143 144 146 147 150 156 158 160 163 164 167 175 177 185 187 190 192 200 203 205 207 209 215 218 222 223 231 236 237 238 241 242 243 247 249 250 252 254 255 257 262 264 270 271 273 274 275 276 280 287 288 289 293 294 296 299 303 308 315 316 320 321 323 326 327 329 330 332 334 337 342 347 349 350 353 356 358 361 363 368 369 373 376 380 387 388 389 390 391 401 404 405 408 409 413 418 430 434 435 436 439 450 452 454 456 457 465 466 468 475 a 6 7 15 16 18 22 26 27 29 38 48 52 53 55 57 58 63 64 68 71 78 79 80 81 84 85 87 89 96 100 104 109 114 117 118 122 123 124 126 129 133 134 136 140 143 144 146 147 150 156 158 160 163 164 167 170 175 177 185 187 190 192 200 203 205 207 209 215 218 222 223 231 236 237 238 241 242 243 247 249 250 252 254 255 257 262 264 270 271 273 274 275 276 280 287 288 289 293 294 296 299 303 308 315 316 320 321 323 326 327 329 330 332 334 337 342 347 349 350 353 356 358 361 363 368 369 373 376 380 387 388 389 390 391 401 404 405 408 409 413 418 430 434 435 436 439 450 452 454 456 457 465 466 468 475 a 6 7 15 16 18 22 26 27 29 38 48 52 53 55 57 58 63 64 68 71 78 79 80 81 84 85 87 89 96 100 104 109 114 117 118 122 123 124 126 129 133 134 136 140 143 144 146 147 150 156 158 160 163 164 167 170 175 177 185 187 190 192 200 203 205 207 209 215 218 222 223 231 236 237 238 241 242 243 247 249 250 252 254 255 257 259 262 264 270 271 273 275 276 280 287 288 289 293 294 296 299 303 308 315 316 320 321 323 326 327 329 330 332 334 337 342 347 349 350 353 356 358 361 363 368 369 373 376 380 387 388 389 390 391 401 404 405 408 409 413 418 430 434 435 436 439 450 452 454 456 457 465 466 468 475 a 6 7 15 16 18 22 26 27 29 38 48 52 53 55 57 58 63 64 68 71 78 79 80 81 84 85 87 89 96 100 104 109 114 117 118 122 123 124 126 129 133 134 136 140 143 144 146 147 150 156 158 160 163 164 167 170 175 177 185 187 190 192 200 203 205 207 209 215 218 222 223 231 236 237 238 241 242 243 247 249 250 252 254 255 257 259 262 264 270 271 273 275 276 280 287 288 289 293 294 296 299 303 308 315 316 320 321 323 326 327 329 330 332 334 337 342 347 349 350 353 356 358 361 368 369 373 376 380 387 388 389 390 391 401 404 405 408 409 413 418 430 434 435 436 439 450 452 454 456 457 465 466 468 472 475 a 6 7 15 16 18 22 26 27 29 38 48 52 53 57 58 63 64 68 71 78 79 80 81 84 85 87 89 96 100 104 109 114 117 118 122 123 124 126 129 133 134 136 140 143 144 146 147 150 156 158 160 163 164 167 170 175 177 185 187 190 192 200 203 205 207 209 215 218 222 223 231 234 236 237 238 241 242 243 247 249 250 252 254 255 257 259 262 264 270 271 273 275 276 280 287 288 289 293 294 296 299 303 308 315 316 320 321 323 326 327 329 330 332 334 337 342 347 349 350 353 356 358 361 368 369 373 376 380 387 388 389 390 391 401 404 405 408 409 413 418 430 434 435 436 439 450 452 454 456 457 465 466 468 472 475 a 6 7 15 16 18 22 26 27 29 38 40 48 52 53 57 58 63 64 68 71 78 79 80 81 84 85 87 89 96 100 104 109 114 117 118 122 123 124 126 129 133 134 136 140 143 144 146 147 150 156 158 160 163 164 170 175 177 185 187 190 192 200 203 205 207 209 215 218 222 223 231 234 236 237 238 241 242 243 247 249 250 252 254 255 257 259 262 264 270 271 273 275 276 280 287 288 289 293 294 296 299 303 308 315 316 320 321 323 326 327 329 330 332 334 337 342 347 349 350 353 356 358 361 368 369 373 376 380 387 388 389 390 391 401 404 405 408 409 413 418 430 434 435 436 439 450 452 454 456 457 465 466 468 472 475 a 6 7 15 16 18 22 26 27 29 38 40 48 52 57 58 63 64 68 71 78 79 80 81 84 85 87 89 96 100 104 109 114 117 118 122 123 124 126 129 133 134 136 140 143 144 146 147 150 156 158 160 163 164 170 175 177 185 187 190 192 200 203 205 206 207 209 215 218 222 223 231 234 236 237 238 241 242 243 247 249 250 252 254 255 257 259 262 264 270 271 273 275 276 280 287 288 289 293 294 296 299 303 308 315 316 320 321 323 326 327 329 330 332 334 337 342 347 349 350 353 356 358 361 368 369 373 376 380 387 388 389 390 391 401 404 405 408 409 413 418 430 434 435 436 439 450 452 454 456 457 465 466 468 472 475 a 6 7 15 16 18 22 26 27 29 38 40 48 52 57 58 63 64 68 71 78 79 80 81 84 85 87 89 96 100 104 109 114 117 118 122 123 124 126 129 133 134 136 140 143 144 146 147 150 156 158 160 163 164 170 175 177 185 187 190 192 200 203 205 206 207 209 215 218 222 223 231 234 236 237 238 241 242 243 247 249 250 252 254 255 257 259 262 264 270 271 273 275 276 280 287 288 289 293 294 296 299 303 308 316 320 321 323 326 327 329 330 332 334 337 342 347 349 350 353 356 358 361 368 369 373 376 380 387 388 389 390 391 401 404 405 408 409 413 418 430 434 435 436 439 444 450 452 454 456 457 465 466 468 472 475 a 6 7 15 16 18 22 26 27 29 38 40 48 52 57 58 63 64 68 71 78 79 80 81 84 85 87 89 96 100 104 109 114 117 118 122 123 124 126 129 133 134 136 140 143 144 146 147 150 156 158 160 163 164 170 175 177 185 187 190 192 200 203 205 206 207 209 215 218 222 223 231 234 236 237 238 241 242 243 247 249 250 252 254 255 257 259 262 264 268 270 271 273 275 276 280 287 288 289 293 294 296 299 303 308 316 320 321 323 326 327 329 330 332 334 337 342 347 349 350 353 356 358 361 369 373 376 380 387 388 389 390 391 401 404 405 408 409 413 418 430 434 435 436 439 444 450 452 454 456 457 465 466 468 472 475 a 6 7 15 16 17 18 22 26 27 29 38 40 48 52 57 58 63 64 68 71 78 79 80 81 84 85 87 89 96 100 104 109 114 117 118 122 123 124 126 129 133 134 136 140 143 144 146 147 150 156 158 160 163 164 170 175 177 185 187 190 200 203 205 206 207 209 215 218 222 223 231 234 236 237 238 241 242 243 247 249 250 252 254 255 257 259 262 264 268 270 271 273 275 276 280 287 288 289 293 294 296 299 303 308 316 320 321 323 326 327 329 330 332 334 337 342 347 349 350 353 356 358 361 369 373 376 380 387 388 389 390 391 401 404 405 408 409 413 418 430 434 435 436 439 444 450 452 454 456 457 465 466 468 472 475 a 6 7 15 16 17 18 22 26 27 29 38 40 48 52 58 63 64 68 71 78 79 80 81 84 85 87 89 96 100 104 109 114 117 118 122 123 124 126 129 133 134 136 140 143 144 146 147 150 156 158 160 163 164 170 175 177 185 187 190 200 203 205 206 207 209 215 218 222 223 231 234 236 237 238 241 242 243 247 249 250 252 254 255 257 259 262 264 268 270 271 273 275 276 280 287 288 289 293 294 296 299 303 308 316 320 321 323 326 327 329 330 332 334 337 342 347 349 350 353 356 358 361 369 373 376 380 387 388 389 390 391 401 404 405 408 409 413 414 418 430 434 435 436 439 444 450 452 454 456 457 465 466 468 472 475 a 6 7 15 16 17 18 22 26 27 29 38 40 48 52 58 63 64 68 71 78 79 80 81 84 85 87 89 96 100 104 109 114 117 118 122 123 124 126 129 133 134 136 140 143 144 146 147 150 156 158 160 163 164 170 175 177 185 187 190 200 203 205 206 207 209 215 218 222 223 231 234 236 237 238 241 242 243 247 250 252 254 255 257 259 262 264 268 270 271 273 275 276 280 287 288 289 290 293 294 296 299 303 308 316 320 321 323 326 327 329 330 332 334 337 342 347 349 350 353 356 358 361 369 373 376 380 387 388 389 390 391 401 404 405 408 409 413 414 418 430 434 435 436 439 444 450 452 454 456 457 465 466 468 472 475 a 6 7 9 15 16 17 18 22 26 27 29 38 40 48 52 58 63 64 68 71 78 79 80 81 84 85 87 89 96 100 104 109 114 117 118 122 123 124 126 129 133 134 136 143 144 146 147 150 156 158 160 163 164 170 175 177 185 187 190 200 203 205 206 207 209 215 218 222 223 231 234 236 237 238 241 242 243 247 250 252 254 255 257 259 262 264 268 270 271 273 275 276 280 287 288 289 290 293 294 296 299 303 308 316 320 321 323 326 327 329 330 332 334 337 342 347 349 350 353 356 358 361 369 373 376 380 387 388 389 390 391 401 404 405 408 409 413 414 418 430 434 435 436 439 444 450 452 454 456 457 465 466 468 472 475 a 6 7 9 15 16 17 18 22 26 27 29 38 40 48 52 58 63 64 68 71 78 79 80 81 84 85 87 89 96 100 104 109 114 117 118 122 123 124 126 133 134 136 143 144 146 147 150 156 158 160 163 164 170 175 177 185 187 190 200 203 205 206 207 209 215 218 222 223 231 234 236 237 238 241 242 243 247 250 252 254 255 257 259 262 264 268 270 271 273 275 276 280 287 288 289 290 293 294 296 299 303 308 316 320 321 323 326 327 329 330 331 332 334 337 342 347 349 350 353 356 358 361 369 373 376 380 387 388 389 390 391 401 404 405 408 409 413 414 418 430 434 435 436 439 444 450 452 454 456 457 465 466 468 472 475 a 6 7 9 15 16 17 18 22 26 27 29 38 40 48 52 58 63 64 68 71 78 79 80 81 84 85 87 89 96 100 104 109 114 117 118 122 123 124 126 133 134 136 143 144 146 147 150 156 158 160 163 164 170 175 177 185 187 190 200 203 205 206 207 209 215 218 222 223 231 234 236 237 238 241 242 243 247 250 252 254 255 257 259 262 264 268 270 271 273 275 276 280 287 288 289 290 293 294 296 299 303 308 316 320 321 323 326 327 329 330 331 332 334 337 342 349 350 353 356 358 361 369 373 376 380 384 387 388 389 390 391 401 404 405 408 409 413 414 418 430 434 435 436 439 444 450 452 454 456 457 465 466 468 472 475 a 6 7 9 15 16 17 18 22 26 27 29 38 40 48 52 58 63 64 68 71 78 79 80 81 84 85 87 89 96 100 104 109 114 117 118 122 123 124 126 133 134 136 143 144 146 147 150 156 158 160 163 164 170 175 177 185 187 190 200 203 205 206 207 209 215 218 222 223 231 234 236 237 238 241 242 243 247 250 252 254 255 257 259 262 264 268 270 271 273 275 280 287 288 289 290 293 294 296 299 303 308 316 320 321 323 326 327 329 330 331 332 334 336 337 342 349 350 353 356 358 361 369 373 376 380 384 387 388 389 390 391 401 404 405 408 409 413 414 418 430 434 435 436 439 444 450 452 454 456 457 465 466 468 472 475 a 6 7 9 15 16 17 18 22 26 27 29 38 40 48 52 58 63 64 68 71 78 79 80 81 84 85 87 89 96 100 104 109 114 117 118 122 123 124 126 133 134 136 143 144 146 147 150 156 158 160 163 164 170 175 185 187 190 200 203 205 206 207 209 215 218 222 223 231 234 236 237 238 241 242 243 247 250 252 254 255 257 259 262 264 268 270 271 273 275 280 287 288 289 290 293 294 296 299 303 308 316 320 321 323 326 327 329 330 331 332 334 336 337 342 345 349 350 353 356 358 361 369 373 376 380 384 387 388 389 390 391 401 404 405 408 409 413 414 418 430 434 435 436 439 444 450 452 454 456 457 465 466 468 472 475 a 6 7 9 15 16 17 18 22 26 27 29 38 40 48 52 58 63 64 68 71 79 80 81 84 85 87 89 96 100 104 109 114 117 118 122 123 124 126 133 134 136 143 144 146 147 150 156 158 160 163 164 170 175 185 187 190 200 203 205 206 207 209 212 215 218 222 223 231 234 236 237 238 241 242 243 247 250 252 254 255 257 259 262 264 268 270 271 273 275 280 287 288 289 290 293 294 296 299 303 308 316 320 321 323 326 327 329 330 331 332 334 336 337 342 345 349 350 353 356 358 361 369 373 376 380 384 387 388 389 390 391 401 404 405 408 409 413 414 418 430 434 435 436 439 444 450 452 454 456 457 465 466 468 472 475 a 6 7 9 15 16 17 18 22 26 27 29 38 40 48 52 58 63 64 68 71 79 80 81 84 85 87 89 96 100 104 109 114 117 118 122 123 124 126 133 134 136 143 144 146 147 150 156 158 160 163 164 170 175 185 187 190 200 203 205 206 207 212 215 218 222 223 231 234 236 237 238 241 242 243 247 250 252 254 255 257 259 262 264 268 270 271 273 275 280 287 288 289 290 293 294 296 299 303 308 316 320 321 323 326 327 329 330 331 332 334 336 337 342 345 349 350 353 356 358 361 369 373 376 380 384 387 388 389 390 391 401 404 405 408 409 413 414 418 430 434 435 436 439 444 450 452 454 456 457 465 466 468 472 475 479 a 6 7 9 15 16 17 18 22 26 27 29 38 40 47 48 52 58 63 64 68 71 79 80 81 84 85 87 89 96 100 104 109 114 117 118 122 123 124 126 133 134 136 143 144 147 150 156 158 160 163 164 170 175 185 187 190 200 203 205 206 207 212 215 218 222 223 231 234 236 237 238 241 242 243 247 250 252 254 255 257 259 262 264 268 270 271 273 275 280 287 288 289 290 293 294 296 299 303 308 316 320 321 323 326 327 329 330 331 332 334 336 337 342 345 349 350 353 356 358 361 369 373 376 380 384 387 388 389 390 391 401 404 405 408 409 413 414 418 430 434 435 436 439 444 450 452 454 456 457 465 466 468 472 475 479 a 6 7 9 15 16 17 18 22 26 27 29 38 40 47 48 52 58 63 64 68 71 79 80 81 84 85 87 89 94 96 100 104 109 114 117 118 122 123 124 126 133 134 136 143 144 147 150 158 160 163 164 170 175 185 187 190 200 203 205 206 207 212 215 218 222 223 231 234 236 237 238 241 242 243 247 250 252 254 255 257 259 262 264 268 270 271 273 275 280 287 288 289 290 293 294 296 299 303 308 316 320 321 323 326 327 329 330 331 332 334 336 337 342 345 349 350 353 356 358 361 369 373 376 380 384 387 388 389 390 391 401 404 405 408 409 413 414 418 430 434 435 436 439 444 450 452 454 456 457 465 466 468 472 475 479 a 6 7 9 15 16 17 18 22 26 27 29 38 40 47 48 52 58 63 64 68 71 79 80 81 84 85 87 89 94 96 100 104 109 114 117 118 122 123 124 126 133 134 136 143 144 147 150 158 160 163 164 170 175 185 187 190 200 203 205 206 207 212 215 218 222 223 231 234 236 237 238 241 242 243 247 250 252 254 255 257 259 262 264 268 270 271 273 275 280 287 288 290 293 294 296 299 303 308 316 320 321 323 326 327 329 330 331 332 334 336 337 342 345 349 350 353 356 358 361 369 373 376 380 384 387 388 389 390 391 401 404 405 408 409 413 414 418 425 430 434 435 436 439 444 450 452 454 456 457 465 466 468 472 475 479 a 6 7 9 15 16 17 18 22 26 27 29 38 40 47 48 52 58 63 64 68 71 79 80 81 84 85 87 89 94 96 100 104 109 114 117 118 122 123 124 126 133 134 136 143 144 147 150 158 160 163 164 170 175 185 187 190 200 203 205 206 207 212 215 218 222 223 234 236 237 238 241 242 243 247 250 252 254 255 257 259 262 264 268 270 271 273 275 278 280 287 288 290 293 294 296 299 303 308 316 320 321 323 326 327 329 330 331 332 334 336 337 342 345 349 350 353 356 358 361 369 373 376 380 384 387 388 389 390 391 401 404 405 408 409 413 414 418 425 430 434 435 436 439 444 450 452 454 456 457 465 466 468 472 475 479 a 6 7 9 15 16 17 18 22 26 27 29 38 40 47 48 52 58 63 64 68 71 79 80 81 84 85 87 89 94 96 100 104 109 114 117 118 122 123 124 126 133 134 136 143 144 147 150 158 160 163 164 170 175 185 187 190 200 203 205 206 207 212 218 222 223 234 236 237 238 241 242 243 247 250 252 254 255 257 259 262 264 268 270 271 273 275 278 280 287 288 290 293 294 296 299 303 308 316 320 321 323 326 327 329 330 331 332 334 336 337 342 345 349 350 353 356 358 361 369 373 376 380 384 387 388 389 390 391 401 404 405 408 409 413 414 418 425 430 434 435 436 439 444 450 452 454 456 457 461 465 466 468 472 475 479 a 6 7 9 15 16 17 18 22 26 27 29 38 40 47 48 52 58 63 64 68 71 79 80 81 84 85 87 89 94 96 100 104 109 114 117 118 122 123 124 126 134 136 143 144 147 150 158 160 163 164 170 175 185 187 190 200 203 205 206 207 212 218 222 223 234 236 237 238 241 242 243 247 250 252 254 255 257 259 262 264 268 270 271 273 275 278 280 287 288 290 293 294 296 299 303 308 316 320 321 323 326 327 329 330 331 332 334 335 336 337 342 345 349 350 353 356 358 361 369 373 376 380 384 387 388 389 390 391 401 404 405 408 409 413 414 418 425 430 434 435 436 439 444 450 452 454 456 457 461 465 466 468 472 475 479 a 6 7 9 15 16 17 18 22 26 27 29 38 40 47 48 52 58 63 64 68 71 79 80 81 84 85 87 89 94 96 100 104 109 114 117 118 122 123 124 126 130 134 136 143 144 147 150 158 160 163 164 170 175 185 187 190 200 203 205 206 207 212 218 222 223 234 236 237 238 241 242 243 247 250 252 254 255 257 259 264 268 270 271 273 275 278 280 287 288 290 293 294 296 299 303 308 316 320 321 323 326 327 329 330 331 332 334 335 336 337 342 345 349 350 353 356 358 361 369 373 376 380 384 387 388 389 390 391 401 404 405 408 409 413 414 418 425 430 434 435 436 439 444 450 452 454 456 457 461 465 466 468 472 475 479 a 6 7 9 15 16 17 18 22 26 27 29 38 40 47 48 52 58 63 64 68 71 79 80 81 84 85 87 89 94 96 100 104 109 114 117 118 122 123 124 126 130 134 136 143 144 147 150 158 160 163 164 170 175 185 187 190 200 203 205 206 207 212 218 222 223 234 236 237 238 241 242 243 247 250 252 254 255 257 259 264 268 270 271 273 275 278 280 287 288 290 293 294 296 299 303 308 316 320 321 323 326 327 329 330 331 332 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 387 388 389 390 391 401 405 408 409 413 414 418 425 430 434 435 436 439 444 450 452 454 456 457 461 465 466 468 472 475 479 a 6 7 9 15 16 17 18 22 25 26 27 29 38 40 47 48 52 58 63 64 68 71 79 80 81 84 85 87 89 94 96 100 104 109 114 117 118 122 123 124 126 130 134 136 143 144 147 150 158 160 163 164 170 175 185 187 190 200 203 205 206 207 212 218 222 223 234 236 237 238 241 242 243 247 250 252 254 255 257 259 264 268 270 271 273 275 278 280 287 288 290 293 294 296 299 303 308 316 320 321 323 326 327 329 330 331 332 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 387 388 389 390 391 401 405 408 409 413 414 418 425 430 435 436 439 444 450 452 454 456 457 461 465 466 468 472 475 479 a 6 7 9 15 16 17 18 22 25 26 27 29 38 40 47 48 52 58 63 64 68 71 79 80 81 84 85 87 89 94 96 100 104 109 114 117 118 122 123 124 126 130 134 136 143 144 147 150 158 160 163 164 170 175 185 187 190 200 203 205 206 207 212 218 222 223 234 236 237 238 241 242 243 247 250 252 254 255 257 259 264 268 270 271 273 275 278 280 287 288 290 293 294 296 299 303 308 316 320 321 323 326 327 329 330 331 332 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 387 388 389 390 391 394 401 405 408 409 413 414 418 425 430 435 439 444 450 452 454 456 457 461 465 466 468 472 475 479 a 6 7 9 15 16 17 18 22 25 26 27 29 38 40 47 48 52 58 63 64 68 71 79 80 81 84 85 87 89 94 96 104 109 114 117 118 122 123 124 126 130 134 136 143 144 147 150 158 160 163 164 170 175 185 187 190 200 203 205 206 207 212 218 222 223 234 236 237 238 241 242 243 247 250 252 254 255 257 259 264 268 270 271 273 275 278 280 287 288 290 293 294 296 299 303 308 316 320 321 323 326 327 329 330 331 332 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 387 388 389 390 391 394 401 405 408 409 412 413 414 418 425 430 435 439 444 450 452 454 456 457 461 465 466 468 472 475 479 a 6 7 9 15 16 17 18 22 25 26 27 29 38 40 47 48 52 58 63 64 68 71 79 80 81 84 85 87 89 94 96 104 109 114 117 118 121 122 123 124 126 130 134 136 143 144 147 150 158 160 163 164 170 175 185 187 190 200 203 205 206 207 212 218 222 234 236 237 238 241 242 243 247 250 252 254 255 257 259 264 268 270 271 273 275 278 280 287 288 290 293 294 296 299 303 308 316 320 321 323 326 327 329 330 331 332 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 387 388 389 390 391 394 401 405 408 409 412 413 414 418 425 430 435 439 444 450 452 454 456 457 461 465 466 468 472 475 479 a 6 7 9 15 16 17 18 22 25 26 27 29 38 40 47 48 52 58 64 68 71 79 80 81 84 85 87 89 94 96 104 109 114 117 118 121 122 123 124 126 130 134 136 143 144 147 150 158 160 163 164 170 175 185 187 190 200 203 205 206 207 212 218 222 234 236 237 238 241 242 243 247 250 252 254 255 257 259 264 268 270 271 273 275 278 280 287 288 290 293 294 296 299 300 303 308 316 320 321 323 326 327 329 330 331 332 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 387 388 389 390 391 394 401 405 408 409 412 413 414 418 425 430 435 439 444 450 452 454 456 457 461 465 466 468 472 475 479 a 6 7 9 15 16 17 18 22 25 26 27 29 38 40 42 47 48 52 58 64 68 71 79 80 81 84 85 87 89 94 96 104 109 114 117 118 121 122 123 124 126 130 134 136 143 144 147 150 158 160 163 164 170 175 185 187 190 200 203 205 206 207 212 218 222 234 236 237 238 241 242 243 247 250 252 254 255 257 259 264 268 270 271 273 275 278 280 287 288 290 293 294 296 299 300 303 308 316 320 321 326 327 329 330 331 332 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 387 388 389 390 391 394 401 405 408 409 412 413 414 418 425 430 435 439 444 450 452 454 456 457 461 465 466 468 472 475 479 a 6 7 9 15 16 17 18 22 25 26 27 29 38 40 42 47 48 52 58 68 71 79 80 81 84 85 87 89 94 96 104 109 114 117 118 121 122 123 124 126 130 134 136 143 144 147 150 158 160 163 164 170 175 185 187 190 200 203 205 206 207 212 218 222 234 236 237 238 241 242 243 247 250 252 254 255 257 259 264 268 270 271 273 275 278 280 287 288 290 293 294 296 299 300 303 308 316 320 321 326 327 329 330 331 332 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 394 401 405 408 409 412 413 414 418 425 430 435 439 444 450 452 454 456 457 461 465 466 468 472 475 479 a 6 7 9 15 16 17 18 22 25 26 27 29 38 40 42 47 48 52 58 68 71 79 80 81 84 85 87 89 94 96 104 109 114 117 118 121 122 123 124 126 130 134 136 143 144 147 150 158 160 163 164 170 175 185 187 190 200 203 205 206 207 212 218 222 234 236 237 238 241 242 243 247 250 252 254 255 257 259 264 268 270 271 273 275 278 280 287 288 290 293 294 296 299 300 303 308 316 320 321 326 327 329 330 331 332 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 394 401 405 408 409 412 413 414 425 430 435 439 444 446 450 452 454 456 457 461 465 466 468 472 475 479 a 5 6 7 9 15 16 17 18 22 25 26 27 29 38 40 42 47 48 52 58 68 71 79 80 81 84 85 87 89 94 96 104 109 114 117 118 121 122 123 124 126 130 134 136 143 144 147 150 158 163 164 170 175 185 187 190 200 203 205 206 207 212 218 222 234 236 237 238 241 242 243 247 250 252 254 255 257 259 264 268 270 271 273 275 278 280 287 288 290 293 294 296 299 300 303 308 316 320 321 326 327 329 330 331 332 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 394 401 405 408 409 412 413 414 425 430 435 439 444 446 450 452 454 456 457 461 465 466 468 472 475 479 a 5 6 7 9 15 16 17 18 22 25 26 27 29 38 40 42 47 48 52 68 71 79 80 81 84 85 87 89 94 96 104 109 114 117 118 121 122 123 124 126 130 134 136 143 144 147 150 158 163 164 170 175 185 187 190 200 203 205 206 207 212 218 222 234 236 237 238 241 242 243 247 250 252 254 255 257 259 264 268 270 271 273 275 278 280 287 288 290 293 294 296 299 300 303 308 316 320 321 326 327 329 330 331 332 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 394 401 405 408 409 412 413 414 425 430 435 439 444 446 450 452 454 456 457 461 465 466 468 472 475 478 479 a 5 6 7 9 15 16 17 18 22 25 26 27 29 38 40 42 47 48 52 68 71 79 80 81 84 85 87 89 94 96 104 109 114 117 118 121 122 123 124 126 130 134 136 143 147 150 158 163 164 170 175 185 187 190 200 203 205 206 207 212 218 222 234 236 237 238 241 242 243 247 250 252 254 255 257 259 264 268 270 271 273 275 278 280 287 288 290 293 294 296 299 300 303 308 316 320 321 326 327 329 330 331 332 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 394 401 405 408 409 412 413 414 425 430 435 439 442 444 446 450 452 454 456 457 461 465 466 468 472 475 478 479 a 5 6 7 9 15 16 17 18 22 25 26 27 29 38 40 42 47 48 52 68 71 79 80 81 84 85 87 89 94 96 104 109 114 117 121 122 123 124 126 130 134 136 143 147 150 158 163 164 170 175 185 187 190 200 203 205 206 207 208 212 218 222 234 236 237 238 241 242 243 247 250 252 254 255 257 259 264 268 270 271 273 275 278 280 287 288 290 293 294 296 299 300 303 308 316 320 321 326 327 329 330 331 332 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 394 401 405 408 409 412 413 414 425 430 435 439 442 444 446 450 452 454 456 457 461 465 466 468 472 475 478 479 a 5 6 7 9 15 16 17 18 22 25 26 27 29 38 40 42 47 48 52 68 71 79 80 81 84 85 87 89 94 96 104 109 114 117 121 122 123 124 126 130 134 136 143 147 150 158 163 164 170 175 185 187 190 200 203 205 206 207 208 212 218 222 234 236 237 238 241 242 243 247 250 252 254 255 257 259 264 268 270 271 273 275 278 280 287 288 290 293 294 296 299 300 303 308 309 320 321 326 327 329 330 331 332 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 394 401 405 408 409 412 413 414 425 430 435 439 442 444 446 450 452 454 456 457 461 465 466 468 472 475 478 479 a 1 5 6 7 9 15 16 17 18 22 25 26 27 29 38 40 42 47 48 52 68 71 79 80 81 84 85 87 89 94 96 104 109 114 117 121 122 123 124 126 130 134 136 143 147 150 158 163 164 170 175 187 190 200 203 205 206 207 208 212 218 222 234 236 237 238 241 242 243 247 250 252 254 255 257 259 264 268 270 271 273 275 278 280 287 288 290 293 294 296 299 300 303 308 309 320 321 326 327 329 330 331 332 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 394 401 405 408 409 412 413 414 425 430 435 439 442 444 446 450 452 454 456 457 461 465 466 468 472 475 478 479 a 1 5 6 7 9 15 16 17 18 22 25 26 27 29 38 40 42 46 47 48 52 68 71 79 80 81 84 85 87 89 94 96 104 109 114 117 121 122 123 124 126 130 134 136 143 147 150 158 163 164 170 175 187 190 200 203 205 206 207 208 212 218 222 234 236 237 238 241 242 243 247 250 252 254 255 257 259 264 268 270 271 273 275 278 280 287 288 290 293 294 296 299 300 303 308 309 320 321 326 327 329 330 331 332 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 394 401 405 408 409 412 414 425 430 435 439 442 444 446 450 452 454 456 457 461 465 466 468 472 475 478 479 a 1 5 6 7 9 15 16 17 18 22 25 26 27 29 38 40 42 46 47 48 52 68 71 79 80 81 84 85 87 89 94 96 104 105 109 114 117 121 122 123 124 126 130 134 136 143 147 150 158 163 164 170 175 187 190 200 203 205 206 207 208 212 218 234 236 237 238 241 242 243 247 250 252 254 255 257 259 264 268 270 271 273 275 278 280 287 288 290 293 294 296 299 300 303 308 309 320 321 326 327 329 330 331 332 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 394 401 405 408 409 412 414 425 430 435 439 442 444 446 450 452 454 456 457 461 465 466 468 472 475 478 479 a 1 5 6 7 9 15 16 17 18 22 25 26 27 29 38 40 42 46 47 48 52 68 71 80 81 84 85 87 89 94 96 104 105 109 114 117 121 122 123 124 126 130 134 136 143 147 150 158 163 164 170 175 187 190 200 203 205 206 207 208 211 212 218 234 236 237 238 241 242 243 247 250 252 254 255 257 259 264 268 270 271 273 275 278 280 287 288 290 293 294 296 299 300 303 308 309 320 321 326 327 329 330 331 332 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 394 401 405 408 409 412 414 425 430 435 439 442 444 446 450 452 454 456 457 461 465 466 468 472 475 478 479 a 1 5 6 7 9 15 17 18 22 25 26 27 29 38 40 42 46 47 48 52 68 71 80 81 84 85 87 89 94 96 104 105 109 114 117 121 122 123 124 126 130 134 136 143 147 150 158 163 164 170 175 187 190 200 203 205 206 207 208 211 212 218 234 236 237 238 241 242 243 247 250 252 254 255 257 259 264 268 270 271 273 275 278 280 287 288 290 293 294 296 299 300 303 308 309 320 321 326 327 329 330 331 332 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 394 401 405 408 409 412 414 425 430 435 439 442 443 444 446 450 452 454 456 457 461 465 466 468 472 475 478 479 a 1 5 6 7 9 12 15 17 18 22 25 26 27 29 38 40 42 46 47 48 68 71 80 81 84 85 87 89 94 96 104 105 109 114 117 121 122 123 124 126 130 134 136 143 147 150 158 163 164 170 175 187 190 200 203 205 206 207 208 211 212 218 234 236 237 238 241 242 243 247 250 252 254 255 257 259 264 268 270 271 273 275 278 280 287 288 290 293 294 296 299 300 303 308 309 320 321 326 327 329 330 331 332 334 335 336 337 339 342 345 349 350 353 356 358 361 369 373 376 380 384 385 387 388 389 390 391 394 401 405 408 409 412 414 425 430 435 439 442 443 444 446 450 452 454 456 457 461 465 466 468 472 475 478 479 c Step: 89 Command being timed: "python3 run_3.py --shortest /benchmark/random_instance/random_instance037_graph004.col /benchmark/random_instance/random_instance037_graph004_01.dat" User time (seconds): 5.77 System time (seconds): 0.16 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:05.94 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): 178672 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 222335 Voluntary context switches: 19 Involuntary context switches: 39 Swaps: 0 File system inputs: 0 File system outputs: 696 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 15:08:18 2023]