#BEGIN: [Mon Sep 4 15:10:22 2023] #HOST: s03 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance037_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance037_graph002_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest -t4 /benchmark/random_instance/random_instance037_graph002.col /benchmark/random_instance/random_instance037_graph002_01.dat c /benchmark/random_instance/random_instance037_graph002.col c /benchmark/random_instance/random_instance037_graph002_01.dat s 141 133 41 213 383 37 38 461 395 95 84 139 52 468 305 326 275 135 194 217 36 91 339 188 311 418 121 168 106 256 479 405 58 473 320 258 247 331 467 249 410 252 212 207 370 436 14 269 365 272 291 127 382 319 420 215 223 444 214 456 358 192 218 164 298 177 374 295 8 399 68 129 415 335 227 345 62 359 357 427 108 201 120 50 71 257 408 229 66 274 430 234 224 310 350 11 67 421 394 101 441 480 61 114 364 446 157 301 233 404 122 51 222 64 167 469 360 144 316 250 378 57 24 146 140 46 309 191 347 412 161 47 151 458 417 178 187 409 210 281 351 102 53 265 455 423 219 389 391 33 t 194 36 238 403 1 422 241 306 391 449 64 7 59 312 286 455 453 427 432 464 16 70 26 43 163 461 348 52 278 131 87 140 210 404 102 48 328 263 289 472 237 341 255 274 425 211 167 83 395 474 426 181 19 66 133 150 129 85 14 178 104 9 446 248 214 101 191 435 89 67 402 139 27 252 418 151 86 389 55 354 287 158 462 175 428 324 121 301 44 339 414 307 57 331 15 119 51 423 106 112 342 34 334 332 473 300 385 74 166 35 409 360 408 138 466 199 347 316 320 415 353 253 39 192 42 294 162 261 68 32 416 405 383 53 401 17 41 234 355 280 60 91 452 161 222 325 477 110 310 177 a YES a 8 11 14 24 33 36 37 38 41 46 47 50 51 52 53 57 58 61 62 64 66 67 68 71 84 91 95 101 102 106 108 114 120 121 122 127 129 133 135 139 140 141 144 146 151 157 161 164 167 168 177 178 187 188 191 192 194 201 207 210 212 213 214 215 217 218 219 222 223 224 227 229 233 234 247 249 250 252 256 257 258 265 269 272 274 275 281 291 295 298 301 305 309 310 311 316 319 320 326 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 430 436 441 444 446 455 456 458 461 467 468 469 473 479 480 a 8 11 14 24 33 36 37 38 41 43 46 47 50 51 52 53 57 58 61 62 64 66 67 68 71 84 91 95 101 102 106 108 114 120 121 122 127 129 133 135 139 140 141 144 146 151 161 164 167 168 177 178 187 188 191 192 194 201 207 210 212 213 214 215 217 218 219 222 223 224 227 229 233 234 247 249 250 252 256 257 258 265 269 272 274 275 281 291 295 298 301 305 309 310 311 316 319 320 326 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 430 436 441 444 446 455 456 458 461 467 468 469 473 479 480 a 8 11 14 24 33 34 36 37 38 41 43 46 47 50 51 52 53 57 58 61 62 64 66 67 68 71 84 91 95 101 102 106 108 114 120 121 122 127 129 133 135 139 140 141 144 146 151 161 164 167 168 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 223 224 227 229 233 234 247 249 250 252 256 257 258 265 269 272 274 275 281 291 295 298 301 305 309 310 311 316 319 320 326 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 430 436 441 444 446 455 456 458 461 467 468 469 473 479 480 a 8 11 14 24 33 34 36 37 38 41 43 46 47 50 51 52 53 57 58 61 62 64 66 67 68 71 84 91 95 101 102 106 108 114 120 121 122 127 129 133 135 139 140 141 144 146 151 161 164 167 168 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 223 224 227 229 233 234 247 249 250 252 256 257 258 265 269 272 274 275 291 295 298 301 305 309 310 311 316 319 320 326 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 430 436 441 444 446 449 455 456 458 461 467 468 469 473 479 480 a 8 9 11 14 24 33 34 36 38 41 43 46 47 50 51 52 53 57 58 61 62 64 66 67 68 71 84 91 95 101 102 106 108 114 120 121 122 127 129 133 135 139 140 141 144 146 151 161 164 167 168 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 223 224 227 229 233 234 247 249 250 252 256 257 258 265 269 272 274 275 291 295 298 301 305 309 310 311 316 319 320 326 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 430 436 441 444 446 449 455 456 458 461 467 468 469 473 479 480 a 8 9 11 14 24 33 34 36 38 41 43 46 47 50 51 52 53 57 58 61 62 64 66 67 68 71 84 91 95 101 102 106 108 114 120 121 122 127 129 133 135 139 140 141 144 146 151 161 164 167 168 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 223 224 227 229 233 234 247 249 250 252 256 257 258 265 269 272 274 275 287 291 295 298 301 305 309 310 311 316 319 320 326 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 436 441 444 446 449 455 456 458 461 467 468 469 473 479 480 a 8 9 11 14 24 33 34 36 38 41 43 46 47 50 51 52 53 57 58 61 62 64 66 67 68 71 84 91 95 101 102 106 108 114 120 121 122 127 129 133 135 139 140 141 144 146 151 161 164 167 168 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 223 224 227 229 233 234 247 249 250 252 256 257 258 265 269 272 274 275 280 287 291 295 298 301 305 309 310 311 316 319 320 326 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 394 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 436 441 444 446 449 455 456 458 461 467 469 473 479 480 a 8 9 11 14 24 33 34 36 38 41 43 46 47 50 51 52 53 57 58 61 62 64 66 67 68 71 84 91 95 101 102 106 108 114 120 121 122 127 129 131 133 135 139 140 141 144 146 151 161 164 167 168 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 223 224 227 229 233 234 247 249 250 252 256 257 258 265 269 272 274 275 280 287 291 295 298 301 305 309 310 311 316 319 320 326 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 436 441 444 446 449 455 456 458 461 467 469 473 479 480 a 8 9 11 14 24 33 34 36 38 41 43 46 47 50 51 52 53 57 58 61 62 64 66 67 68 71 84 91 95 101 102 106 108 114 120 121 122 127 129 131 133 135 139 140 141 144 146 151 161 164 167 168 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 223 224 227 229 233 234 247 249 252 256 257 258 265 269 272 274 275 280 287 291 295 298 301 305 306 309 310 311 316 319 320 326 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 436 441 444 446 449 455 456 458 461 467 469 473 479 480 a 8 9 11 14 24 33 34 36 38 41 43 46 47 50 51 52 53 57 58 61 62 64 66 67 68 71 84 91 95 101 102 106 108 114 120 121 122 127 129 131 133 135 139 140 141 144 146 151 161 162 164 167 168 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 223 224 227 229 233 234 249 252 256 257 258 265 269 272 274 275 280 287 291 295 298 301 305 306 309 310 311 316 319 320 326 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 436 441 444 446 449 455 456 458 461 467 469 473 479 480 a 8 9 11 14 24 33 34 36 38 41 43 46 47 50 51 52 53 57 61 62 64 66 67 68 71 84 91 95 101 102 106 108 114 120 121 122 127 129 131 133 135 139 140 141 144 146 151 161 162 164 167 168 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 223 224 227 229 233 234 249 252 256 257 258 265 269 272 274 275 280 287 291 295 298 301 305 306 309 310 311 316 319 320 326 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 436 441 444 446 449 455 456 458 461 467 469 473 477 479 480 a 8 9 11 14 24 33 34 35 36 38 41 43 46 47 50 51 52 53 57 61 62 64 66 67 68 71 84 91 95 101 102 106 108 114 120 121 122 127 129 131 133 135 139 140 141 144 146 151 161 162 164 167 168 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 223 224 227 229 233 234 249 252 256 257 258 265 269 274 275 280 287 291 295 298 301 305 306 309 310 311 316 319 320 326 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 436 441 444 446 449 455 456 458 461 467 469 473 477 479 480 a 8 9 11 14 24 33 34 35 36 38 41 43 46 47 50 51 52 53 57 61 62 64 66 67 68 71 84 91 95 101 102 106 108 114 120 121 122 127 129 131 133 139 140 141 144 146 151 161 162 164 167 168 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 223 224 227 229 233 234 249 252 256 257 258 265 269 274 275 280 287 291 295 298 301 305 306 309 310 311 316 319 320 326 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 436 441 444 446 449 455 456 458 461 467 469 473 474 477 479 480 a 8 9 11 14 24 33 34 35 36 38 41 43 46 47 50 51 52 53 57 61 62 64 66 67 68 71 84 91 95 101 102 106 108 114 120 121 122 127 129 131 133 139 140 141 144 146 151 161 162 164 167 168 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 224 227 229 233 234 249 252 256 257 258 265 269 274 275 280 287 291 295 298 301 305 306 309 310 311 316 319 320 326 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 428 436 441 444 446 449 455 456 458 461 467 469 473 474 477 479 480 a 8 9 11 14 24 33 34 35 36 38 41 43 46 47 50 51 52 53 57 61 62 64 66 67 68 71 84 91 95 101 102 106 108 114 120 121 122 127 129 131 133 139 140 141 144 146 151 161 162 164 167 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 224 227 229 233 234 249 252 256 257 258 265 269 274 275 280 287 291 295 298 301 305 306 307 309 310 311 316 319 320 326 331 335 339 345 347 350 351 357 358 359 360 364 365 370 374 378 382 383 389 391 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 428 436 441 444 446 449 455 456 458 461 467 469 473 474 477 479 480 a 8 9 11 14 24 33 34 35 36 38 41 43 46 47 50 51 52 53 57 61 62 64 66 67 68 71 84 86 91 95 101 102 106 108 114 120 121 122 127 129 131 133 139 140 141 144 146 151 161 162 164 167 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 224 227 229 233 234 249 252 256 257 258 265 269 274 275 280 287 291 295 298 301 305 306 307 309 310 311 316 319 320 326 331 335 339 345 347 350 351 357 359 360 364 365 370 374 378 382 383 389 391 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 428 436 441 444 446 449 455 456 458 461 467 469 473 474 477 479 480 a 7 8 9 11 14 24 33 34 35 36 38 41 43 46 47 50 51 52 53 57 61 62 64 66 67 68 71 84 86 91 95 101 102 106 108 114 120 121 122 127 129 131 133 139 140 141 144 146 151 161 162 164 167 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 224 227 229 233 234 249 252 256 257 258 265 269 274 280 287 291 295 298 301 305 306 307 309 310 311 316 319 320 326 331 335 339 345 347 350 351 357 359 360 364 365 370 374 378 382 383 389 391 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 428 436 441 444 446 449 455 456 458 461 467 469 473 474 477 479 480 a 7 8 9 11 14 24 33 34 35 36 38 41 43 46 47 50 51 52 53 57 61 62 64 66 67 68 71 84 86 91 95 101 102 106 108 114 120 121 122 127 129 131 133 139 140 141 144 146 151 161 162 164 167 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 224 227 229 233 234 249 252 256 257 258 265 269 274 280 287 291 295 298 301 305 306 307 309 310 311 316 319 320 326 331 335 339 345 347 350 351 354 357 360 364 365 370 374 378 382 383 389 391 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 428 436 441 444 446 449 455 456 458 461 467 469 473 474 477 479 480 a 7 8 9 11 14 24 33 34 35 36 38 41 43 46 47 50 51 52 53 57 61 62 64 66 67 68 71 84 86 91 95 101 102 106 108 114 120 121 122 127 129 131 133 139 140 141 144 146 151 161 162 164 167 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 224 227 229 233 234 249 252 256 257 258 265 269 274 280 287 291 295 298 301 305 306 307 309 310 311 316 319 320 324 326 331 335 339 345 347 350 351 354 357 360 364 365 370 374 378 382 383 389 391 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 428 441 444 446 449 455 456 458 461 467 469 473 474 477 479 480 a 7 8 9 11 14 15 24 33 34 35 36 41 43 46 47 50 51 52 53 57 61 62 64 66 67 68 71 84 86 91 95 101 102 106 108 114 120 121 122 127 129 131 133 139 140 141 144 146 151 161 162 164 167 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 224 227 229 233 234 249 252 256 257 258 265 269 274 280 287 291 295 298 301 305 306 307 309 310 311 316 319 320 324 326 331 335 339 345 347 350 351 354 357 360 364 365 370 374 378 382 383 389 391 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 428 441 444 446 449 455 456 458 461 467 469 473 474 477 479 480 a 7 8 9 11 14 15 24 33 34 35 36 41 43 46 47 50 51 52 53 57 61 62 64 66 67 68 71 84 86 91 95 101 102 106 108 114 120 121 122 127 129 131 133 139 140 141 144 146 151 161 162 164 167 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 224 227 229 233 234 249 252 256 257 258 265 269 274 280 287 291 295 298 301 305 306 307 309 310 311 316 320 324 326 331 335 339 342 345 347 350 351 354 357 360 364 365 370 374 378 382 383 389 391 395 399 404 405 408 409 410 412 415 417 418 420 421 423 427 428 441 444 446 449 455 456 458 461 467 469 473 474 477 479 480 a 7 8 9 11 14 15 24 33 34 35 36 41 43 46 47 50 51 52 53 57 61 62 64 66 67 68 71 84 86 91 95 101 102 106 108 114 120 121 122 127 129 131 133 139 140 141 144 146 151 161 162 164 167 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 224 227 229 233 234 249 252 256 257 258 265 269 274 280 287 291 295 298 301 305 306 307 309 310 311 316 320 324 326 331 335 339 342 345 347 350 351 354 357 360 364 365 370 374 378 382 383 389 391 395 399 404 405 408 409 410 412 415 416 417 418 420 421 423 427 428 441 444 446 449 455 456 458 461 467 469 473 474 477 479 a 7 8 9 11 14 15 24 33 34 35 36 41 43 46 47 50 51 52 53 55 57 61 62 64 66 67 68 71 84 86 91 95 101 102 106 108 114 120 121 122 127 129 131 133 139 140 141 144 146 151 161 162 164 167 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 224 227 229 233 234 249 252 256 257 258 265 269 274 280 287 291 295 298 301 305 306 307 309 310 311 316 320 324 326 331 335 339 342 345 347 350 351 354 357 360 364 365 370 374 378 382 383 389 391 395 399 404 405 408 409 410 412 415 416 417 418 420 421 423 427 428 441 444 446 449 455 456 461 467 469 473 474 477 479 a 7 8 9 11 14 15 24 33 34 35 36 41 43 46 47 50 51 52 53 55 57 61 62 64 66 67 68 71 84 86 91 95 101 102 106 108 114 120 121 122 127 129 131 133 139 140 141 144 146 151 161 162 164 167 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 224 227 229 233 234 249 252 256 257 258 265 269 274 280 287 291 295 298 301 305 306 307 309 310 316 320 324 326 331 335 339 342 345 347 350 351 354 357 360 364 365 370 374 378 382 383 389 391 395 399 404 405 408 409 410 412 415 416 417 418 420 421 423 427 428 441 444 446 449 455 456 461 467 469 472 473 474 477 479 a 7 8 9 11 14 15 24 33 34 35 36 41 43 46 47 50 51 52 53 55 57 61 62 64 66 67 68 70 71 84 86 91 95 101 102 106 108 114 120 121 122 129 131 133 139 140 141 144 146 151 161 162 164 167 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 224 227 229 233 234 249 252 256 257 258 265 269 274 280 287 291 295 298 301 305 306 307 309 310 316 320 324 326 331 335 339 342 345 347 350 351 354 357 360 364 365 370 374 378 382 383 389 391 395 399 404 405 408 409 410 412 415 416 417 418 420 421 423 427 428 441 444 446 449 455 456 461 467 469 472 473 474 477 479 a 7 8 9 11 14 15 24 33 34 35 36 41 43 46 47 50 51 52 53 55 57 61 62 64 66 67 68 70 71 84 86 91 95 101 102 106 108 114 120 121 122 129 131 133 139 140 141 144 146 151 161 162 164 167 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 224 227 229 233 234 249 252 256 257 258 265 269 274 280 287 291 295 298 301 305 306 307 309 310 316 320 324 331 335 339 342 345 347 350 351 354 357 360 364 365 370 374 378 382 383 389 391 395 399 404 405 408 409 410 412 415 416 417 418 420 421 423 425 427 428 441 444 446 449 455 456 461 467 469 472 473 474 477 479 a 7 8 9 11 14 15 24 33 34 35 36 41 43 46 47 50 51 52 53 55 57 59 61 62 64 66 67 68 70 71 84 86 91 95 101 102 106 108 120 121 122 129 131 133 139 140 141 144 146 151 161 162 164 167 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 224 227 229 233 234 249 252 256 257 258 265 269 274 280 287 291 295 298 301 305 306 307 309 310 316 320 324 331 335 339 342 345 347 350 351 354 357 360 364 365 370 374 378 382 383 389 391 395 399 404 405 408 409 410 412 415 416 417 418 420 421 423 425 427 428 441 444 446 449 455 456 461 467 469 472 473 474 477 479 a 7 8 9 11 14 15 24 33 34 35 36 41 43 47 50 51 52 53 55 57 59 61 62 64 66 67 68 70 71 74 84 86 91 95 101 102 106 108 120 121 122 129 131 133 139 140 141 144 146 151 161 162 164 167 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 224 227 229 233 234 249 252 256 257 258 265 269 274 280 287 291 295 298 301 305 306 307 309 310 316 320 324 331 335 339 342 345 347 350 351 354 357 360 364 365 370 374 378 382 383 389 391 395 399 404 405 408 409 410 412 415 416 417 418 420 421 423 425 427 428 441 444 446 449 455 456 461 467 469 472 473 474 477 479 a 7 8 9 11 14 15 24 33 34 35 36 41 43 47 50 51 52 53 55 57 59 61 62 64 66 67 68 70 71 74 84 86 91 95 101 102 106 108 120 121 122 129 131 133 139 140 141 144 146 151 161 162 164 167 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 224 227 229 233 234 249 252 256 257 258 265 269 274 280 287 291 295 298 301 305 306 307 309 310 316 320 324 331 335 339 342 345 347 350 351 354 357 360 364 365 370 374 378 382 383 389 391 395 399 404 405 408 409 410 412 414 415 416 417 418 420 421 423 425 427 428 441 444 446 449 455 461 467 469 472 473 474 477 479 a 7 8 9 11 14 15 24 33 34 35 36 41 43 47 50 51 52 53 55 57 59 61 62 64 66 67 68 70 71 74 84 86 91 95 101 102 106 108 120 121 122 129 131 133 139 140 141 144 146 151 161 162 164 167 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 224 227 229 233 234 249 252 256 257 258 265 269 274 280 287 291 295 298 301 305 306 307 309 310 316 320 324 331 335 339 342 345 347 350 351 354 357 360 364 365 370 374 378 382 383 389 391 395 399 404 405 408 409 410 412 414 415 416 417 418 420 421 423 425 427 428 441 446 449 455 461 466 467 469 472 473 474 477 479 a 7 8 9 11 14 15 24 33 34 35 36 41 43 47 50 51 52 53 55 57 59 61 62 64 66 67 68 70 71 74 84 85 86 91 95 101 102 106 108 120 121 122 129 131 133 139 140 141 144 146 151 161 162 164 167 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 224 227 229 233 234 249 252 256 257 258 265 269 274 280 287 291 298 301 305 306 307 309 310 316 320 324 331 335 339 342 345 347 350 351 354 357 360 364 365 370 374 378 382 383 389 391 395 399 404 405 408 409 410 412 414 415 416 417 418 420 421 423 425 427 428 441 446 449 455 461 466 467 469 472 473 474 477 479 a 7 8 9 11 14 15 24 33 34 35 36 41 43 47 50 51 52 53 55 57 59 61 62 64 66 67 68 70 71 74 84 85 86 91 95 101 102 106 108 120 121 122 129 131 133 139 140 141 144 146 151 161 162 164 167 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 224 227 229 233 234 249 252 256 257 258 265 269 274 280 287 291 298 301 305 306 307 309 310 316 320 324 331 335 339 342 345 347 350 351 354 357 360 364 365 370 374 378 383 389 391 395 399 404 405 408 409 410 412 414 415 416 417 418 420 421 423 425 426 427 428 441 446 449 455 461 466 467 469 472 473 474 477 479 a 7 8 9 11 14 15 24 33 34 35 36 41 43 47 50 51 52 53 55 57 59 61 62 64 66 67 68 70 71 74 84 85 86 91 95 101 102 106 108 120 121 122 129 131 133 139 140 141 144 146 151 161 162 164 167 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 224 227 229 233 234 249 252 256 257 258 265 269 274 280 287 291 298 301 305 306 307 309 310 316 320 324 331 335 339 342 345 347 350 351 354 355 357 360 364 365 370 374 378 383 389 391 395 399 404 405 408 409 410 412 414 415 416 417 418 420 421 423 425 426 427 428 446 449 455 461 466 467 469 472 473 474 477 479 a 7 8 9 11 14 15 24 33 34 35 36 41 43 47 50 51 52 53 55 57 59 61 62 64 66 67 68 70 71 74 84 85 86 91 95 101 102 106 108 120 121 122 129 131 133 139 140 141 144 146 151 161 162 164 167 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 224 227 229 233 234 249 252 256 257 258 265 269 274 280 287 291 298 301 306 307 309 310 316 320 324 328 331 335 339 342 345 347 350 351 354 355 357 360 364 365 370 374 378 383 389 391 395 399 404 405 408 409 410 412 414 415 416 417 418 420 421 423 425 426 427 428 446 449 455 461 466 467 469 472 473 474 477 479 a 7 8 9 11 14 15 24 33 34 35 36 41 43 47 50 51 52 53 55 57 59 61 62 64 66 67 68 70 71 74 84 85 86 91 95 101 102 106 108 121 122 129 131 133 139 140 141 144 146 151 161 162 164 167 175 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 224 227 229 233 234 249 252 256 257 258 265 269 274 280 287 291 298 301 306 307 309 310 316 320 324 328 331 335 339 342 345 347 350 351 354 355 357 360 364 365 370 374 378 383 389 391 395 399 404 405 408 409 410 412 414 415 416 417 418 420 421 423 425 426 427 428 446 449 455 461 466 467 469 472 473 474 477 479 a 7 8 9 11 14 15 24 33 34 35 36 41 43 47 50 51 52 53 55 57 59 61 62 64 66 67 68 70 71 74 84 85 86 91 95 101 102 106 108 121 122 129 131 133 139 140 141 144 146 151 161 162 164 167 175 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 224 227 229 233 234 249 252 256 257 258 265 269 274 280 286 287 291 298 301 306 307 309 310 316 320 324 328 331 339 342 345 347 350 351 354 355 357 360 364 365 370 374 378 383 389 391 395 399 404 405 408 409 410 412 414 415 416 417 418 420 421 423 425 426 427 428 446 449 455 461 466 467 469 472 473 474 477 479 a 7 8 9 11 14 15 24 33 34 35 36 41 43 47 50 51 52 53 55 57 59 61 62 64 66 67 68 70 71 74 84 85 86 91 95 101 102 106 108 121 122 129 131 133 139 140 141 144 146 151 161 162 164 167 175 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 224 227 229 233 234 252 256 257 258 265 269 274 280 286 287 291 298 301 306 307 309 310 316 320 324 328 331 339 342 345 347 350 351 354 355 357 360 364 365 370 374 378 383 389 391 395 399 404 405 408 409 410 412 414 415 416 417 418 420 421 423 425 426 427 428 446 449 452 455 461 466 467 469 472 473 474 477 479 a 7 8 9 11 14 15 24 33 34 35 36 41 43 50 51 52 53 55 57 59 61 62 64 66 67 68 70 71 74 84 85 86 91 95 101 102 106 108 121 122 129 131 133 139 140 141 144 146 151 158 161 162 164 167 175 177 178 187 188 191 192 194 201 207 210 212 213 214 217 218 219 222 224 227 229 233 234 252 256 257 258 265 269 274 280 286 287 291 298 301 306 307 309 310 316 320 324 328 331 339 342 345 347 350 351 354 355 357 360 364 365 370 374 378 383 389 391 395 399 404 405 408 409 410 412 414 415 416 417 418 420 421 423 425 426 427 428 446 449 452 455 461 466 467 469 472 473 474 477 479 a 7 8 9 11 14 15 24 33 34 35 36 41 43 50 51 52 53 55 57 59 61 62 64 66 67 68 70 71 74 84 85 86 91 95 101 102 106 108 121 122 129 131 133 139 140 141 144 146 151 158 161 162 164 167 175 177 178 188 191 192 194 201 207 210 212 213 214 217 218 219 222 224 227 229 233 234 252 256 257 258 265 269 274 280 286 287 291 298 301 306 307 309 310 316 320 324 328 331 339 342 345 347 350 351 354 355 357 360 364 365 370 374 378 383 389 391 395 399 404 405 408 409 410 412 414 415 416 417 418 420 421 422 423 425 426 427 428 446 449 452 455 461 466 467 469 472 473 474 477 479 a 7 8 9 11 14 15 24 33 34 35 36 41 43 50 51 52 53 55 57 59 61 62 64 66 67 68 70 71 74 84 85 86 91 95 101 102 106 108 121 122 129 131 133 139 140 141 144 146 151 158 161 162 164 167 175 177 178 188 191 192 194 201 207 210 212 213 214 217 218 219 222 224 227 229 233 234 252 256 258 265 269 274 280 286 287 291 298 301 306 307 309 310 316 320 324 328 331 339 342 345 347 350 351 354 355 357 360 364 365 370 374 378 383 389 391 395 399 404 405 408 409 410 412 414 415 416 417 418 420 421 422 423 425 426 427 428 446 449 452 455 461 462 466 467 469 472 473 474 477 479 a 7 8 9 11 14 15 24 33 34 35 36 41 43 50 51 52 53 55 57 59 61 62 64 66 67 68 70 71 74 84 85 86 91 95 101 102 106 108 121 122 129 131 133 139 140 141 144 146 151 158 161 162 164 167 175 177 178 188 191 192 194 201 207 210 213 214 217 218 219 222 224 227 229 233 234 252 256 258 265 269 274 280 286 287 291 298 301 306 307 309 310 312 316 320 324 328 331 339 342 345 347 350 351 354 355 357 360 364 365 370 374 378 383 389 391 395 399 404 405 408 409 410 412 414 415 416 417 418 420 421 422 423 425 426 427 428 446 449 452 455 461 462 466 467 469 472 473 474 477 479 a 7 8 9 11 14 15 24 32 33 34 35 36 41 43 50 51 52 53 55 57 59 61 62 64 66 67 68 70 71 74 84 85 86 91 95 101 102 106 108 121 122 129 131 133 139 140 141 144 146 151 158 161 162 164 167 175 177 178 188 191 192 194 201 207 210 213 214 217 218 219 222 224 227 229 233 234 252 256 258 265 269 274 280 286 287 291 298 301 306 307 309 310 312 316 320 324 328 331 339 342 345 347 351 354 355 357 360 364 365 370 374 378 383 389 391 395 399 404 405 408 409 410 412 414 415 416 417 418 420 421 422 423 425 426 427 428 446 449 452 455 461 462 466 467 469 472 473 474 477 479 a 7 8 9 11 14 15 24 32 33 34 35 36 41 43 50 51 52 53 55 57 59 61 62 64 66 67 68 70 71 74 84 85 86 91 95 101 102 106 108 121 122 129 131 133 139 140 141 144 146 151 158 161 162 164 167 175 177 178 188 191 192 194 207 210 213 214 217 218 219 222 224 227 229 233 234 252 256 258 265 269 274 280 286 287 291 298 301 306 307 309 310 312 316 320 324 325 328 331 339 342 345 347 351 354 355 357 360 364 365 370 374 378 383 389 391 395 399 404 405 408 409 410 412 414 415 416 417 418 420 421 422 423 425 426 427 428 446 449 452 455 461 462 466 467 469 472 473 474 477 479 a 7 8 9 11 14 15 24 32 33 34 35 36 41 43 50 51 52 53 55 57 59 61 62 64 66 67 68 70 71 74 84 85 86 91 95 101 102 106 108 121 122 129 131 133 139 140 141 144 146 151 158 161 162 164 167 175 177 178 188 191 192 194 207 210 213 214 217 219 222 224 227 229 233 234 252 256 258 265 269 274 280 286 287 291 298 301 306 307 309 310 312 316 320 324 325 328 331 339 342 345 347 351 354 355 357 360 364 365 370 374 378 383 389 391 395 399 404 405 408 409 410 412 414 415 416 417 418 420 421 422 423 425 426 427 428 446 449 452 453 455 461 462 466 467 469 472 473 474 477 479 a 7 8 9 11 14 15 24 32 33 34 35 36 41 43 50 51 52 53 55 57 59 61 62 64 66 67 68 70 71 74 84 85 86 91 95 101 102 106 108 121 122 129 131 133 139 140 141 144 146 151 158 161 162 164 167 175 177 178 188 191 192 194 207 210 213 214 217 219 222 224 227 229 233 234 252 256 258 269 274 280 286 287 291 298 301 306 307 309 310 312 316 320 324 325 328 331 339 342 345 347 351 354 355 357 360 364 365 370 374 378 383 389 391 395 399 403 404 405 408 409 410 412 414 415 416 417 418 420 421 422 423 425 426 427 428 446 449 452 453 455 461 462 466 467 469 472 473 474 477 479 a 7 8 9 11 14 15 24 32 33 34 35 36 39 41 43 50 51 52 53 55 57 59 61 62 64 66 67 68 70 71 74 84 85 86 91 95 101 102 106 108 121 129 131 133 139 140 141 144 146 151 158 161 162 164 167 175 177 178 188 191 192 194 207 210 213 214 217 219 222 224 227 229 233 234 252 256 258 269 274 280 286 287 291 298 301 306 307 309 310 312 316 320 324 325 328 331 339 342 345 347 351 354 355 357 360 364 365 370 374 378 383 389 391 395 399 403 404 405 408 409 410 412 414 415 416 417 418 420 421 422 423 425 426 427 428 446 449 452 453 455 461 462 466 467 469 472 473 474 477 479 a 7 8 9 11 14 15 24 32 33 34 35 36 39 41 43 50 51 52 53 55 57 59 61 62 64 66 67 68 70 71 74 84 85 86 91 95 101 102 106 108 121 129 131 133 139 140 141 144 146 151 158 161 162 164 167 175 177 178 188 191 192 194 207 210 213 214 217 219 222 224 227 229 233 234 252 256 258 269 274 280 286 287 291 298 301 306 307 309 310 312 316 320 324 325 328 331 339 342 345 347 351 353 354 355 357 360 364 365 370 374 378 383 389 391 395 399 403 404 405 408 409 410 414 415 416 417 418 420 421 422 423 425 426 427 428 446 449 452 453 455 461 462 466 467 469 472 473 474 477 479 a 7 8 9 11 14 15 19 24 32 33 34 35 36 39 41 43 50 51 52 53 55 57 59 61 62 64 66 67 68 70 71 74 84 85 86 91 95 101 102 106 108 121 129 131 133 139 140 141 144 146 151 158 161 162 164 167 175 177 178 191 192 194 207 210 213 214 217 219 222 224 227 229 233 234 252 256 258 269 274 280 286 287 291 298 301 306 307 309 310 312 316 320 324 325 328 331 339 342 345 347 351 353 354 355 357 360 364 365 370 374 378 383 389 391 395 399 403 404 405 408 409 410 414 415 416 417 418 420 421 422 423 425 426 427 428 446 449 452 453 455 461 462 466 467 469 472 473 474 477 479 a 7 8 9 11 14 15 19 24 32 33 34 35 36 39 41 43 50 51 52 53 55 57 59 61 62 64 66 67 68 70 71 74 84 85 86 91 95 101 102 106 108 121 129 131 133 139 140 141 144 146 151 158 161 162 164 167 175 177 178 191 192 194 207 210 211 213 214 217 219 222 224 227 229 233 234 252 256 258 269 274 280 286 287 291 298 301 306 307 310 312 316 320 324 325 328 331 339 342 345 347 351 353 354 355 357 360 364 365 370 374 378 383 389 391 395 399 403 404 405 408 409 410 414 415 416 417 418 420 421 422 423 425 426 427 428 446 449 452 453 455 461 462 466 467 469 472 473 474 477 479 a 7 8 9 11 14 15 19 24 32 33 34 35 36 39 41 43 51 52 53 55 57 59 61 62 64 66 67 68 70 71 74 84 85 86 91 95 101 102 106 108 119 121 129 131 133 139 140 141 144 146 151 158 161 162 164 167 175 177 178 191 192 194 207 210 211 213 214 217 219 222 224 227 229 233 234 252 256 258 269 274 280 286 287 291 298 301 306 307 310 312 316 320 324 325 328 331 339 342 345 347 351 353 354 355 357 360 364 365 370 374 378 383 389 391 395 399 403 404 405 408 409 410 414 415 416 417 418 420 421 422 423 425 426 427 428 446 449 452 453 455 461 462 466 467 469 472 473 474 477 479 a 7 8 9 11 14 15 16 19 24 32 33 34 35 36 39 41 43 51 52 53 55 57 59 61 62 64 66 67 68 70 71 74 84 85 86 91 95 101 102 106 108 119 121 129 131 133 139 140 141 144 146 151 158 161 162 164 167 175 177 178 191 192 194 207 210 211 213 214 219 222 224 227 229 233 234 252 256 258 269 274 280 286 287 291 298 301 306 307 310 312 316 320 324 325 328 331 339 342 345 347 351 353 354 355 357 360 364 365 370 374 378 383 389 391 395 399 403 404 405 408 409 410 414 415 416 417 418 420 421 422 423 425 426 427 428 446 449 452 453 455 461 462 466 467 469 472 473 474 477 479 a 7 8 9 11 14 15 16 19 24 32 33 34 35 36 39 41 43 51 52 53 55 57 59 61 62 64 66 67 68 70 71 74 84 85 86 91 95 101 102 106 108 119 121 129 131 133 138 139 140 141 144 146 151 158 161 162 164 167 175 177 178 191 192 194 207 210 211 213 214 219 222 224 227 229 233 234 252 256 258 274 280 286 287 291 298 301 306 307 310 312 316 320 324 325 328 331 339 342 345 347 351 353 354 355 357 360 364 365 370 374 378 383 389 391 395 399 403 404 405 408 409 410 414 415 416 417 418 420 421 422 423 425 426 427 428 446 449 452 453 455 461 462 466 467 469 472 473 474 477 479 a 7 8 9 11 14 15 16 19 24 32 33 34 35 36 39 41 43 51 52 53 55 57 59 61 62 64 66 67 68 70 71 74 84 85 86 91 95 101 102 106 108 110 119 121 129 131 133 138 139 140 141 144 146 151 158 161 162 164 167 175 177 178 191 192 194 207 210 211 213 214 219 222 224 227 229 233 234 252 256 258 274 280 286 287 291 298 301 306 307 310 312 316 320 324 325 328 331 339 342 345 347 351 353 354 355 360 364 365 370 374 378 383 389 391 395 399 403 404 405 408 409 410 414 415 416 417 418 420 421 422 423 425 426 427 428 446 449 452 453 455 461 462 466 467 469 472 473 474 477 479 a 7 8 9 11 14 15 16 19 24 27 32 33 34 35 36 39 41 43 51 52 53 55 57 59 61 62 64 66 67 68 70 71 74 84 85 86 91 95 101 102 106 108 110 119 121 129 131 133 138 139 140 141 144 146 151 158 161 162 164 167 175 177 178 191 192 194 207 210 211 213 214 219 222 224 229 233 234 252 256 258 274 280 286 287 291 298 301 306 307 310 312 316 320 324 325 328 331 339 342 345 347 351 353 354 355 360 364 365 370 374 378 383 389 391 395 399 403 404 405 408 409 410 414 415 416 417 418 420 421 422 423 425 426 427 428 446 449 452 453 455 461 462 466 467 469 472 473 474 477 479 a 7 8 9 11 14 15 16 19 24 27 32 33 34 35 36 39 41 43 51 52 53 55 57 59 61 62 64 66 67 68 70 71 74 84 85 86 91 95 101 102 106 108 110 119 121 129 131 133 138 139 140 141 144 146 151 158 161 162 164 167 175 177 178 191 192 194 207 210 211 213 214 219 222 224 229 233 234 252 256 258 274 280 286 287 291 298 301 306 307 310 312 316 320 324 325 328 331 339 342 345 347 351 353 354 355 360 364 365 370 374 378 383 389 391 395 399 401 403 404 405 408 409 414 415 416 417 418 420 421 422 423 425 426 427 428 446 449 452 453 455 461 462 466 467 469 472 473 474 477 479 a 7 8 9 11 14 15 16 19 24 26 27 32 33 34 35 36 39 41 43 51 52 53 55 57 59 61 62 64 66 67 68 70 71 74 85 86 91 95 101 102 106 108 110 119 121 129 131 133 138 139 140 141 144 146 151 158 161 162 164 167 175 177 178 191 192 194 207 210 211 213 214 219 222 224 229 233 234 252 256 258 274 280 286 287 291 298 301 306 307 310 312 316 320 324 325 328 331 339 342 345 347 351 353 354 355 360 364 365 370 374 378 383 389 391 395 399 401 403 404 405 408 409 414 415 416 417 418 420 421 422 423 425 426 427 428 446 449 452 453 455 461 462 466 467 469 472 473 474 477 479 a 7 8 9 11 14 15 16 19 24 26 27 32 33 34 35 36 39 41 43 51 52 53 55 57 59 61 62 64 66 67 68 70 71 74 85 86 91 95 101 102 106 108 110 119 121 129 131 133 138 139 140 141 144 146 151 158 161 162 164 167 175 177 178 191 192 194 207 210 211 213 214 219 222 224 229 233 234 252 256 258 274 280 286 287 291 298 300 301 306 307 310 312 316 320 324 325 328 331 339 342 347 351 353 354 355 360 364 365 370 374 378 383 389 391 395 399 401 403 404 405 408 409 414 415 416 417 418 420 421 422 423 425 426 427 428 446 449 452 453 455 461 462 466 467 469 472 473 474 477 479 a 7 8 9 11 14 15 16 19 24 26 27 32 33 34 35 36 39 41 43 51 52 53 55 57 59 60 61 62 64 66 67 68 70 71 74 85 86 91 95 101 102 106 108 110 119 121 129 131 133 138 139 140 141 146 151 158 161 162 164 167 175 177 178 191 192 194 207 210 211 213 214 219 222 224 229 233 234 252 256 258 274 280 286 287 291 298 300 301 306 307 310 312 316 320 324 325 328 331 339 342 347 351 353 354 355 360 364 365 370 374 378 383 389 391 395 399 401 403 404 405 408 409 414 415 416 417 418 420 421 422 423 425 426 427 428 446 449 452 453 455 461 462 466 467 469 472 473 474 477 479 a 7 8 9 11 14 15 16 19 24 26 27 32 33 34 35 36 39 41 43 51 52 53 55 57 59 60 61 62 64 66 67 68 70 71 74 85 86 91 95 101 102 106 108 110 119 121 129 131 133 138 139 140 141 146 151 158 161 162 167 175 177 178 191 192 194 207 210 211 213 214 219 222 224 229 233 234 252 256 258 274 280 286 287 291 294 298 300 301 306 307 310 312 316 320 324 325 328 331 339 342 347 351 353 354 355 360 364 365 370 374 378 383 389 391 395 399 401 403 404 405 408 409 414 415 416 417 418 420 421 422 423 425 426 427 428 446 449 452 453 455 461 462 466 467 469 472 473 474 477 479 a 7 8 9 11 14 15 16 19 24 26 27 32 33 34 35 36 39 41 43 51 52 53 55 57 59 60 61 62 64 66 67 68 70 71 74 85 86 91 95 101 102 106 108 110 119 121 129 131 133 138 139 140 141 146 151 158 161 162 166 167 175 177 178 191 192 194 207 210 211 213 214 219 222 224 229 233 234 252 256 258 274 280 286 287 291 294 298 300 301 306 307 310 312 316 320 324 325 328 331 339 342 347 353 354 355 360 364 365 370 374 378 383 389 391 395 399 401 403 404 405 408 409 414 415 416 417 418 420 421 422 423 425 426 427 428 446 449 452 453 455 461 462 466 467 469 472 473 474 477 479 a 1 7 8 9 11 14 15 16 19 24 26 27 32 33 34 35 36 39 41 43 51 52 53 55 57 59 60 61 62 64 66 67 68 70 71 74 85 86 91 95 101 102 106 110 119 121 129 131 133 138 139 140 141 146 151 158 161 162 166 167 175 177 178 191 192 194 207 210 211 213 214 219 222 224 229 233 234 252 256 258 274 280 286 287 291 294 298 300 301 306 307 310 312 316 320 324 325 328 331 339 342 347 353 354 355 360 364 365 370 374 378 383 389 391 395 399 401 403 404 405 408 409 414 415 416 417 418 420 421 422 423 425 426 427 428 446 449 452 453 455 461 462 466 467 469 472 473 474 477 479 a 1 7 8 9 11 14 15 16 19 26 27 32 33 34 35 36 39 41 43 51 52 53 55 57 59 60 61 62 64 66 67 68 70 71 74 85 86 91 95 101 102 106 110 119 121 129 131 133 138 139 140 141 146 151 158 161 162 166 167 175 177 178 191 192 194 207 210 211 213 214 219 222 224 229 233 234 248 252 256 258 274 280 286 287 291 294 298 300 301 306 307 310 312 316 320 324 325 328 331 339 342 347 353 354 355 360 364 365 370 374 378 383 389 391 395 399 401 403 404 405 408 409 414 415 416 417 418 420 421 422 423 425 426 427 428 446 449 452 453 455 461 462 466 467 469 472 473 474 477 479 a 1 7 8 9 14 15 16 19 26 27 32 33 34 35 36 39 41 43 51 52 53 55 57 59 60 61 62 64 66 67 68 70 71 74 85 86 91 95 101 102 106 110 119 121 129 131 133 138 139 140 141 146 151 158 161 162 166 167 175 177 178 191 192 194 207 210 211 213 214 219 222 224 229 233 234 237 248 252 256 258 274 280 286 287 291 294 298 300 301 306 307 310 312 316 320 324 325 328 331 339 342 347 353 354 355 360 364 365 370 374 378 383 389 391 395 399 401 403 404 405 408 409 414 415 416 417 418 420 421 422 423 425 426 427 428 446 449 452 453 455 461 462 466 467 469 472 473 474 477 479 a 1 7 8 9 14 15 16 19 26 27 32 33 34 35 36 39 41 43 51 52 53 55 57 59 60 61 62 64 66 67 68 70 71 74 85 86 87 91 95 101 102 106 110 119 121 129 131 133 138 139 140 141 146 151 158 161 162 166 167 175 177 178 191 192 194 207 210 211 213 214 219 222 229 233 234 237 248 252 256 258 274 280 286 287 291 294 298 300 301 306 307 310 312 316 320 324 325 328 331 339 342 347 353 354 355 360 364 365 370 374 378 383 389 391 395 399 401 403 404 405 408 409 414 415 416 417 418 420 421 422 423 425 426 427 428 446 449 452 453 455 461 462 466 467 469 472 473 474 477 479 a 1 7 8 9 14 15 16 19 26 27 32 33 34 35 36 39 41 43 51 52 53 55 57 59 60 61 62 64 66 67 68 70 74 85 86 87 91 95 101 102 106 110 119 121 129 131 133 138 139 140 141 146 151 158 161 162 166 167 175 177 178 191 192 194 207 210 211 213 214 219 222 229 233 234 237 241 248 252 256 258 274 280 286 287 291 294 298 300 301 306 307 310 312 316 320 324 325 328 331 339 342 347 353 354 355 360 364 365 370 374 378 383 389 391 395 399 401 403 404 405 408 409 414 415 416 417 418 420 421 422 423 425 426 427 428 446 449 452 453 455 461 462 466 467 469 472 473 474 477 479 a 1 7 8 9 14 15 16 19 26 27 32 33 34 35 36 39 41 43 51 52 53 55 57 59 60 61 62 64 66 67 68 70 74 85 86 87 91 95 101 102 106 110 119 121 129 131 133 138 139 140 141 146 151 158 161 162 166 167 175 177 178 191 192 194 207 210 211 213 214 219 222 229 233 234 237 241 248 252 256 258 274 280 286 287 291 294 298 300 301 306 307 310 312 316 320 324 325 328 331 339 342 347 353 354 355 360 364 365 370 374 378 383 385 389 391 395 399 401 403 404 405 408 409 414 415 416 417 418 420 421 422 423 425 426 427 428 446 449 452 453 455 461 462 466 467 469 472 473 474 477 a 1 7 8 9 14 15 16 19 26 27 32 33 34 35 36 39 41 42 43 51 52 53 55 57 59 60 61 62 64 66 67 68 70 74 85 86 87 91 95 101 102 106 110 119 121 129 131 133 138 139 140 141 146 151 158 161 162 166 167 175 177 178 191 192 194 207 210 211 213 214 219 222 229 233 234 237 241 248 252 256 258 274 280 286 287 291 294 298 300 301 306 307 310 312 316 320 324 325 328 331 339 342 347 353 354 355 360 364 365 370 374 378 383 385 389 391 395 399 401 403 404 405 408 409 414 415 416 417 418 420 421 422 423 425 426 427 428 446 449 452 453 455 461 462 466 467 472 473 474 477 a 1 7 8 9 14 15 16 19 26 27 32 33 34 35 36 39 41 42 43 51 52 53 55 57 59 60 61 62 64 66 67 68 70 74 85 86 87 91 95 101 102 106 110 119 121 129 131 133 138 139 140 141 146 151 158 161 162 166 167 175 177 178 191 192 194 207 210 211 213 214 219 222 229 233 234 237 241 248 252 256 258 274 278 280 286 287 291 294 298 300 301 306 307 310 312 316 320 324 325 328 331 339 342 347 353 354 355 360 364 370 374 378 383 385 389 391 395 399 401 403 404 405 408 409 414 415 416 417 418 420 421 422 423 425 426 427 428 446 449 452 453 455 461 462 466 467 472 473 474 477 a 1 7 8 9 14 15 16 19 26 27 32 33 34 35 36 39 41 42 43 51 52 53 55 57 59 60 61 62 64 66 67 68 70 74 85 86 87 91 95 101 102 106 110 119 121 129 131 133 138 139 140 141 146 151 158 161 162 166 167 175 177 178 191 192 194 207 210 211 213 214 222 229 233 234 237 241 248 252 256 258 274 278 280 286 287 291 294 298 300 301 306 307 310 312 316 320 324 325 328 331 334 339 342 347 353 354 355 360 364 370 374 378 383 385 389 391 395 399 401 403 404 405 408 409 414 415 416 417 418 420 421 422 423 425 426 427 428 446 449 452 453 455 461 462 466 467 472 473 474 477 a 1 7 8 9 14 15 16 19 26 27 32 33 34 35 36 39 41 42 43 51 52 53 55 57 59 60 61 62 64 66 67 68 70 74 85 86 87 91 101 102 106 110 119 121 129 131 133 138 139 140 141 146 151 158 161 162 166 167 175 177 178 191 192 194 207 210 211 213 214 222 229 233 234 237 241 248 252 256 258 274 278 280 286 287 291 294 298 300 301 306 307 310 312 316 320 324 325 328 331 334 339 342 347 353 354 355 360 364 370 374 378 383 385 389 391 395 399 401 403 404 405 408 409 414 415 416 417 418 420 421 422 423 425 426 427 428 446 449 452 453 455 461 462 464 466 467 472 473 474 477 a 1 7 8 9 14 15 16 19 26 27 32 33 34 35 36 39 41 42 43 51 52 53 55 57 59 60 61 62 64 66 67 68 70 74 85 86 87 91 101 102 106 110 119 121 129 131 133 138 139 140 141 146 151 158 161 162 166 167 175 177 178 191 192 194 207 210 211 213 214 222 229 233 234 237 241 248 252 256 261 274 278 280 286 287 291 294 298 300 301 306 307 310 312 316 320 324 325 328 331 334 339 342 347 353 354 355 360 364 370 374 378 383 385 389 391 395 399 401 403 404 405 408 409 414 415 416 417 418 420 421 422 423 425 426 427 428 446 449 452 453 455 461 462 464 466 467 472 473 474 477 a 1 7 9 14 15 16 19 26 27 32 33 34 35 36 39 41 42 43 51 52 53 55 57 59 60 61 62 64 66 67 68 70 74 85 86 87 91 101 102 106 110 119 121 129 131 133 138 139 140 141 146 151 158 161 162 163 166 167 175 177 178 191 192 194 207 210 211 213 214 222 229 233 234 237 241 248 252 256 261 274 278 280 286 287 291 294 298 300 301 306 307 310 312 316 320 324 325 328 331 334 339 342 347 353 354 355 360 364 370 374 378 383 385 389 391 395 399 401 403 404 405 408 409 414 415 416 417 418 420 421 422 423 425 426 427 428 446 449 452 453 455 461 462 464 466 467 472 473 474 477 a 1 7 9 14 15 16 19 26 27 32 33 34 35 36 39 41 42 43 51 52 53 55 57 59 60 61 62 64 66 67 68 70 74 85 86 87 91 101 102 106 110 119 121 129 131 133 138 139 140 141 146 151 158 161 162 163 166 167 175 177 178 191 192 194 207 210 211 213 214 222 229 233 234 237 241 248 252 256 261 263 274 278 280 286 287 291 294 300 301 306 307 310 312 316 320 324 325 328 331 334 339 342 347 353 354 355 360 364 370 374 378 383 385 389 391 395 399 401 403 404 405 408 409 414 415 416 417 418 420 421 422 423 425 426 427 428 446 449 452 453 455 461 462 464 466 467 472 473 474 477 a 1 7 9 14 15 16 19 26 27 32 33 34 35 36 39 41 42 43 51 52 53 55 57 59 60 61 62 64 66 67 68 70 74 85 86 87 91 101 102 106 110 119 121 129 131 133 138 139 140 141 146 151 158 161 162 163 166 167 175 177 178 191 192 194 207 210 211 213 214 222 229 233 234 237 241 248 252 256 261 263 274 278 280 286 287 291 294 300 301 306 307 310 312 316 320 324 325 328 331 334 339 341 342 347 353 354 355 360 364 370 374 378 383 385 389 391 395 399 401 403 404 405 408 409 414 415 416 418 420 421 422 423 425 426 427 428 446 449 452 453 455 461 462 464 466 467 472 473 474 477 a 1 7 9 14 15 16 19 26 27 32 33 34 35 36 39 41 42 43 51 52 53 55 57 59 60 61 62 64 66 67 68 70 74 85 86 87 91 101 102 106 110 119 121 129 131 133 138 139 140 141 146 151 158 161 162 163 166 167 175 177 178 181 191 192 194 207 210 211 213 214 222 229 233 234 237 241 248 252 256 261 263 274 278 280 286 287 291 294 300 301 306 307 310 312 316 320 324 325 328 331 334 339 341 342 347 353 354 355 360 364 370 374 378 383 385 389 391 395 401 403 404 405 408 409 414 415 416 418 420 421 422 423 425 426 427 428 446 449 452 453 455 461 462 464 466 467 472 473 474 477 a 1 7 9 14 15 16 19 26 27 32 33 34 35 36 39 41 42 43 48 51 52 53 55 57 59 60 61 62 64 66 67 68 70 74 85 86 87 91 101 102 106 110 119 121 129 131 133 138 139 140 146 151 158 161 162 163 166 167 175 177 178 181 191 192 194 207 210 211 213 214 222 229 233 234 237 241 248 252 256 261 263 274 278 280 286 287 291 294 300 301 306 307 310 312 316 320 324 325 328 331 334 339 341 342 347 353 354 355 360 364 370 374 378 383 385 389 391 395 401 403 404 405 408 409 414 415 416 418 420 421 422 423 425 426 427 428 446 449 452 453 455 461 462 464 466 467 472 473 474 477 a 1 7 9 14 15 16 19 26 27 32 33 34 35 36 39 41 42 43 48 51 52 53 55 57 59 60 61 62 64 66 67 68 70 74 85 86 87 91 101 102 106 110 119 121 129 131 133 138 139 140 146 151 158 161 162 163 166 167 175 177 178 181 191 192 194 207 210 211 213 214 222 229 233 234 237 241 248 252 256 261 263 274 278 280 286 287 289 291 294 300 301 306 307 310 312 316 320 324 325 328 331 334 339 341 342 347 353 354 355 360 364 370 374 378 383 385 389 391 395 401 403 404 405 408 409 414 415 416 418 420 422 423 425 426 427 428 446 449 452 453 455 461 462 464 466 467 472 473 474 477 a 1 7 9 14 15 16 19 26 27 32 33 34 35 36 39 41 42 43 48 51 52 53 55 57 59 60 61 62 64 66 67 68 70 74 85 86 87 91 101 102 106 110 119 121 129 131 133 138 139 140 146 151 158 161 162 163 166 167 175 177 178 181 191 192 194 207 210 211 214 222 229 233 234 237 241 248 252 256 261 263 274 278 280 286 287 289 291 294 300 301 306 307 310 312 316 320 324 325 328 331 332 334 339 341 342 347 353 354 355 360 364 370 374 378 383 385 389 391 395 401 403 404 405 408 409 414 415 416 418 420 422 423 425 426 427 428 446 449 452 453 455 461 462 464 466 467 472 473 474 477 a 1 7 9 14 15 16 19 26 27 32 33 34 35 36 39 41 42 43 48 51 52 53 55 57 59 60 61 62 64 66 67 68 70 74 85 86 87 91 101 102 106 110 119 121 129 131 133 138 139 140 146 151 158 161 162 163 166 167 175 177 178 181 191 192 194 207 210 211 214 222 229 233 234 237 241 248 252 256 261 263 274 278 280 286 287 289 291 294 300 301 306 307 310 312 316 320 324 325 328 331 332 334 339 341 342 347 353 354 355 360 364 374 378 383 385 389 391 395 401 403 404 405 408 409 414 415 416 418 420 422 423 425 426 427 428 435 446 449 452 453 455 461 462 464 466 467 472 473 474 477 a 1 7 9 14 15 16 19 26 27 32 33 34 35 36 39 41 42 43 48 51 52 53 55 57 59 60 61 62 64 66 67 68 70 74 85 86 87 89 91 101 102 106 110 119 121 129 131 133 138 139 140 146 151 158 161 162 163 166 167 175 177 178 181 191 192 194 207 210 211 214 222 229 233 234 237 241 248 252 256 261 263 274 278 280 286 287 289 294 300 301 306 307 310 312 316 320 324 325 328 331 332 334 339 341 342 347 353 354 355 360 364 374 378 383 385 389 391 395 401 403 404 405 408 409 414 415 416 418 420 422 423 425 426 427 428 435 446 449 452 453 455 461 462 464 466 467 472 473 474 477 a 1 7 9 14 15 16 19 26 27 32 33 34 35 36 39 41 42 43 48 51 52 53 55 57 59 60 62 64 66 67 68 70 74 85 86 87 89 91 101 102 106 110 119 121 129 131 133 138 139 140 146 151 158 161 162 163 166 167 175 177 178 181 191 192 194 207 210 211 214 222 229 233 234 237 241 248 252 256 261 263 274 278 280 286 287 289 294 300 301 306 307 310 312 316 320 324 325 328 331 332 334 339 341 342 347 348 353 354 355 360 364 374 378 383 385 389 391 395 401 403 404 405 408 409 414 415 416 418 420 422 423 425 426 427 428 435 446 449 452 453 455 461 462 464 466 467 472 473 474 477 a 1 7 9 14 15 16 19 26 27 32 33 34 35 36 39 41 42 43 48 51 52 53 55 57 59 60 62 64 66 67 68 70 74 83 85 86 87 89 91 101 102 106 110 119 121 129 131 133 138 139 140 151 158 161 162 163 166 167 175 177 178 181 191 192 194 207 210 211 214 222 229 233 234 237 241 248 252 256 261 263 274 278 280 286 287 289 294 300 301 306 307 310 312 316 320 324 325 328 331 332 334 339 341 342 347 348 353 354 355 360 364 374 378 383 385 389 391 395 401 403 404 405 408 409 414 415 416 418 420 422 423 425 426 427 428 435 446 449 452 453 455 461 462 464 466 467 472 473 474 477 a 1 7 9 14 15 16 19 26 27 32 33 34 35 36 39 41 42 43 48 51 52 53 55 57 59 60 62 64 66 67 68 70 74 83 85 86 87 89 91 101 102 104 106 110 119 121 129 131 133 138 139 140 151 158 161 162 163 166 167 175 177 178 181 191 192 194 207 210 211 214 222 229 233 234 237 241 248 252 256 261 263 274 278 280 286 287 289 294 300 301 306 307 310 312 316 320 324 325 328 331 332 334 339 341 342 347 348 353 354 355 360 364 378 383 385 389 391 395 401 403 404 405 408 409 414 415 416 418 420 422 423 425 426 427 428 435 446 449 452 453 455 461 462 464 466 467 472 473 474 477 a 1 7 9 14 15 16 19 26 27 32 33 34 35 36 39 41 42 43 48 51 52 53 55 57 59 60 62 64 66 67 68 70 74 83 85 86 87 89 91 101 102 104 106 110 119 121 129 131 133 138 139 140 151 158 161 162 163 166 167 175 177 178 181 191 192 194 207 210 211 214 222 229 233 234 237 241 248 252 255 256 261 263 274 278 280 286 287 289 294 300 301 306 307 310 312 316 320 324 325 328 331 332 334 339 341 342 347 348 353 354 355 360 364 383 385 389 391 395 401 403 404 405 408 409 414 415 416 418 420 422 423 425 426 427 428 435 446 449 452 453 455 461 462 464 466 467 472 473 474 477 a 1 7 9 14 15 16 17 19 26 27 32 33 34 35 36 39 41 42 43 48 51 52 53 55 57 59 60 62 64 66 67 68 70 74 83 85 86 87 89 91 101 102 104 106 110 119 121 129 131 133 138 139 140 151 158 161 162 163 166 167 175 177 178 181 191 192 194 207 210 211 214 222 229 233 234 237 241 248 252 255 261 263 274 278 280 286 287 289 294 300 301 306 307 310 312 316 320 324 325 328 331 332 334 339 341 342 347 348 353 354 355 360 364 383 385 389 391 395 401 403 404 405 408 409 414 415 416 418 420 422 423 425 426 427 428 435 446 449 452 453 455 461 462 464 466 467 472 473 474 477 a 1 7 9 14 15 16 17 19 26 27 32 33 34 35 36 39 41 42 43 48 51 52 53 55 57 59 60 62 64 66 67 68 70 74 83 85 86 87 89 91 101 102 104 106 110 119 121 129 131 133 138 139 140 151 158 161 162 163 166 167 175 177 178 181 191 192 194 207 210 211 214 222 229 233 234 237 241 248 252 255 261 263 274 278 280 286 287 289 294 300 301 306 307 310 312 316 320 324 325 328 331 332 334 339 341 342 347 348 353 354 355 360 383 385 389 391 395 401 402 403 404 405 408 409 414 415 416 418 420 422 423 425 426 427 428 435 446 449 452 453 455 461 462 464 466 467 472 473 474 477 a 1 7 9 14 15 16 17 19 26 27 32 33 34 35 36 39 41 42 43 44 48 51 52 53 55 57 59 60 64 66 67 68 70 74 83 85 86 87 89 91 101 102 104 106 110 119 121 129 131 133 138 139 140 151 158 161 162 163 166 167 175 177 178 181 191 192 194 207 210 211 214 222 229 233 234 237 241 248 252 255 261 263 274 278 280 286 287 289 294 300 301 306 307 310 312 316 320 324 325 328 331 332 334 339 341 342 347 348 353 354 355 360 383 385 389 391 395 401 402 403 404 405 408 409 414 415 416 418 420 422 423 425 426 427 428 435 446 449 452 453 455 461 462 464 466 467 472 473 474 477 a 1 7 9 14 15 16 17 19 26 27 32 33 34 35 36 39 41 42 43 44 48 51 52 53 55 57 59 60 64 66 67 68 70 74 83 85 86 87 89 91 101 102 104 106 110 119 121 129 131 133 138 139 140 150 151 158 161 162 163 166 167 175 177 178 181 191 192 194 207 210 211 214 222 229 234 237 241 248 252 255 261 263 274 278 280 286 287 289 294 300 301 306 307 310 312 316 320 324 325 328 331 332 334 339 341 342 347 348 353 354 355 360 383 385 389 391 395 401 402 403 404 405 408 409 414 415 416 418 420 422 423 425 426 427 428 435 446 449 452 453 455 461 462 464 466 467 472 473 474 477 a 1 7 9 14 15 16 17 19 26 27 32 33 34 35 36 39 41 42 43 44 48 51 52 53 55 57 59 60 64 66 67 68 70 74 83 85 86 87 89 91 101 102 104 106 110 119 121 129 131 133 138 139 140 150 151 158 161 162 163 166 167 175 177 178 181 191 192 194 199 210 211 214 222 229 234 237 241 248 252 255 261 263 274 278 280 286 287 289 294 300 301 306 307 310 312 316 320 324 325 328 331 332 334 339 341 342 347 348 353 354 355 360 383 385 389 391 395 401 402 403 404 405 408 409 414 415 416 418 420 422 423 425 426 427 428 435 446 449 452 453 455 461 462 464 466 467 472 473 474 477 a 1 7 9 14 15 16 17 19 26 27 32 33 34 35 36 39 41 42 43 44 48 51 52 53 55 57 59 60 64 66 67 68 70 74 83 85 86 87 89 91 101 102 104 106 110 119 121 129 131 133 138 139 140 150 151 158 161 162 163 166 167 175 177 178 181 191 192 194 199 210 211 214 222 234 237 238 241 248 252 255 261 263 274 278 280 286 287 289 294 300 301 306 307 310 312 316 320 324 325 328 331 332 334 339 341 342 347 348 353 354 355 360 383 385 389 391 395 401 402 403 404 405 408 409 414 415 416 418 420 422 423 425 426 427 428 435 446 449 452 453 455 461 462 464 466 467 472 473 474 477 a 1 7 9 14 15 16 17 19 26 27 32 34 35 36 39 41 42 43 44 48 51 52 53 55 57 59 60 64 66 67 68 70 74 83 85 86 87 89 91 101 102 104 106 110 112 119 121 129 131 133 138 139 140 150 151 158 161 162 163 166 167 175 177 178 181 191 192 194 199 210 211 214 222 234 237 238 241 248 252 255 261 263 274 278 280 286 287 289 294 300 301 306 307 310 312 316 320 324 325 328 331 332 334 339 341 342 347 348 353 354 355 360 383 385 389 391 395 401 402 403 404 405 408 409 414 415 416 418 420 422 423 425 426 427 428 435 446 449 452 453 455 461 462 464 466 467 472 473 474 477 a 1 7 9 14 15 16 17 19 26 27 32 34 35 36 39 41 42 43 44 48 51 52 53 55 57 59 60 64 66 67 68 70 74 83 85 86 87 89 91 101 102 104 106 110 112 119 121 129 131 133 138 139 140 150 151 158 161 162 163 166 167 175 177 178 181 191 192 194 199 210 211 214 222 234 237 238 241 248 252 253 255 261 263 274 278 280 286 287 289 294 300 301 306 307 310 312 316 320 324 325 328 331 332 334 339 341 342 347 348 353 354 355 360 383 385 389 391 395 401 402 403 404 405 408 409 414 415 416 418 420 422 423 425 426 427 428 435 446 449 452 453 455 461 462 464 466 472 473 474 477 a 1 7 9 14 15 16 17 19 26 27 32 34 35 36 39 41 42 43 44 48 51 52 53 55 57 59 60 64 66 67 68 70 74 83 85 86 87 89 91 101 102 104 106 110 112 119 121 129 131 133 138 139 140 150 151 158 161 162 163 166 167 175 177 178 181 191 192 194 199 210 211 214 222 234 237 238 241 248 252 253 255 261 263 274 278 280 286 287 289 294 300 301 306 307 310 312 316 320 324 325 328 331 332 334 339 341 342 347 348 353 354 355 360 383 385 389 391 395 401 402 403 404 405 408 409 414 415 416 418 422 423 425 426 427 428 432 435 446 449 452 453 455 461 462 464 466 472 473 474 477 c Step: 92 Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance037_graph002.col /benchmark/random_instance/random_instance037_graph002_01.dat" User time (seconds): 15.95 System time (seconds): 0.32 Percent of CPU this job got: 231% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:07.03 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): 442584 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 298933 Voluntary context switches: 16946 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:10:29 2023]