#BEGIN: [Mon Sep 4 15:07:58 2023] #HOST: s01 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance036_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance036_graph001_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_instance036_graph001.col /benchmark/random_instance/random_instance036_graph001_01.dat c /benchmark/random_instance/random_instance036_graph001.col c /benchmark/random_instance/random_instance036_graph001_01.dat s 463 392 229 349 336 118 241 348 441 387 278 435 43 106 291 149 124 339 224 409 202 467 330 89 214 71 464 115 9 146 305 168 366 78 209 275 32 150 319 320 156 211 75 263 230 245 432 337 398 136 163 199 138 166 86 57 304 274 194 207 197 247 54 446 240 418 23 173 208 103 112 468 94 374 421 273 443 375 48 417 171 458 427 454 64 352 413 321 85 298 228 178 322 261 77 450 302 307 388 361 201 317 20 130 72 424 440 347 397 30 328 162 188 335 371 114 234 204 329 128 367 310 256 46 193 412 306 445 25 81 237 452 2 1 286 200 342 385 309 3 254 11 40 26 135 324 287 389 19 175 134 111 191 239 381 236 t 69 455 438 441 244 82 401 104 391 229 370 458 237 264 335 120 64 435 424 90 59 206 348 188 10 57 124 371 266 72 119 433 3 279 133 187 143 321 465 347 100 98 345 204 158 320 368 211 403 14 96 202 20 462 216 341 11 268 440 192 319 190 255 122 322 111 73 463 174 310 181 387 56 367 460 265 298 343 448 29 277 307 309 12 153 205 332 105 328 287 338 22 331 203 305 410 337 208 48 262 106 296 25 396 390 301 394 276 393 102 383 449 313 231 432 139 134 230 207 36 92 225 8 94 429 385 467 21 30 78 86 389 54 193 378 99 364 178 172 169 365 382 329 40 91 46 175 366 431 233 375 395 163 464 147 85 a YES a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 54 57 64 71 72 75 77 78 81 85 86 89 94 103 106 111 112 114 115 118 124 128 130 134 135 136 138 146 149 150 156 162 163 166 168 171 173 175 178 188 191 193 194 197 199 200 201 202 204 207 208 209 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 274 275 278 286 287 291 298 302 304 305 306 307 309 310 317 319 320 321 322 324 328 329 330 335 336 337 339 342 347 348 349 352 361 366 367 371 374 375 381 385 387 388 389 392 397 398 409 412 413 417 418 421 424 427 432 435 440 441 443 445 446 450 452 454 458 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 54 57 64 71 72 75 77 78 81 85 86 89 94 103 106 111 112 114 115 118 124 128 130 134 135 136 138 146 149 150 156 162 163 166 168 171 173 175 178 188 190 191 193 194 197 199 200 201 202 204 207 208 209 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 274 275 278 286 287 291 298 302 304 305 306 307 309 310 317 319 320 321 322 324 328 329 330 335 336 337 339 342 347 348 349 352 361 366 367 371 374 375 381 385 387 388 389 392 397 398 409 412 413 417 421 424 427 432 435 440 441 443 445 446 450 452 454 458 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 54 57 64 71 72 75 77 78 81 85 86 89 94 103 106 111 112 114 115 118 124 128 130 134 135 136 138 146 149 150 156 162 163 166 168 171 173 175 178 188 190 191 192 193 194 197 199 200 201 202 204 207 208 209 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 274 278 286 287 291 298 302 304 305 306 307 309 310 317 319 320 321 322 324 328 329 330 335 336 337 339 342 347 348 349 352 361 366 367 371 374 375 381 385 387 388 389 392 397 398 409 412 413 417 421 424 427 432 435 440 441 443 445 446 450 452 454 458 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 54 57 64 71 72 75 77 78 81 85 86 89 94 103 106 111 112 114 115 118 124 128 130 134 135 136 138 146 149 150 156 162 163 166 168 171 173 175 178 188 190 191 192 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 274 278 286 287 291 298 302 304 305 306 307 309 310 317 319 320 321 322 324 328 329 330 335 336 337 339 342 347 348 349 352 361 366 367 371 374 375 381 385 387 388 389 392 397 398 409 412 413 417 421 424 427 432 435 440 441 443 445 446 450 452 454 458 462 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 54 57 64 71 72 75 77 78 81 85 86 89 94 103 106 111 112 114 115 118 124 128 130 134 135 136 138 146 149 150 156 162 163 166 168 171 173 175 178 188 190 191 192 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 274 278 286 287 291 298 302 304 305 306 307 309 310 317 319 320 321 322 324 328 329 330 335 336 337 339 342 347 348 349 352 361 366 367 371 374 375 381 385 387 388 389 392 397 398 409 412 417 421 424 427 431 432 435 440 441 443 445 446 450 452 454 458 462 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 54 57 64 71 72 75 77 78 81 85 86 89 94 103 106 111 112 114 115 118 124 128 130 134 135 136 138 146 149 150 156 162 163 166 168 171 173 175 178 188 190 191 192 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 274 278 286 287 291 298 302 304 305 306 307 309 310 317 319 320 321 322 324 328 329 330 335 336 337 339 342 347 348 349 352 361 366 367 368 371 374 375 381 385 387 388 389 392 397 398 409 412 417 421 424 427 431 432 435 440 441 443 446 450 452 454 458 462 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 54 57 64 71 72 75 77 78 81 85 86 89 94 103 106 111 112 114 115 118 124 128 130 134 135 136 138 146 149 150 156 162 163 166 168 171 173 175 178 188 190 191 192 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 274 278 286 287 291 298 302 304 305 306 307 309 310 317 319 320 321 322 324 328 329 330 335 336 337 339 342 345 347 348 349 352 361 366 367 368 371 374 375 381 385 387 388 389 392 397 398 409 412 421 424 427 431 432 435 440 441 443 446 450 452 454 458 462 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 54 57 64 71 72 75 77 78 81 85 86 89 94 103 106 111 112 114 115 118 124 128 130 134 135 136 138 146 149 150 156 162 163 166 168 171 173 175 178 188 190 191 192 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 274 278 286 287 291 298 302 304 305 306 307 309 310 319 320 321 322 324 328 329 330 335 336 337 339 342 345 347 348 349 352 361 366 367 368 371 374 375 381 385 387 388 389 392 395 397 398 409 412 421 424 427 431 432 435 440 441 443 446 450 452 454 458 462 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 54 57 64 71 72 75 77 78 81 85 86 89 94 103 106 111 112 114 115 118 122 124 128 130 134 135 136 138 146 149 150 162 163 166 168 171 173 175 178 188 190 191 192 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 274 278 286 287 291 298 302 304 305 306 307 309 310 319 320 321 322 324 328 329 330 335 336 337 339 342 345 347 348 349 352 361 366 367 368 371 374 375 381 385 387 388 389 392 395 397 398 409 412 421 424 427 431 432 435 440 441 443 446 450 452 454 458 462 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 54 57 64 71 72 75 77 78 81 85 86 89 94 103 106 111 112 114 115 118 122 124 128 130 134 135 136 138 146 149 150 162 163 166 168 171 173 175 178 188 190 191 192 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 274 278 286 287 291 298 302 304 305 306 307 309 310 319 320 321 322 324 328 329 330 335 336 337 339 342 345 347 348 349 352 361 366 367 368 371 374 375 381 385 387 388 389 392 395 397 398 409 412 421 424 427 431 432 435 440 441 446 450 452 454 458 460 462 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 54 57 64 71 72 75 77 78 81 85 86 89 94 103 106 111 112 114 115 118 122 124 128 130 134 135 136 138 146 149 150 162 163 166 168 171 173 175 178 188 190 191 192 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 278 286 287 291 298 302 304 305 306 307 309 310 319 320 321 322 324 328 329 330 331 335 336 337 339 342 345 347 348 349 352 361 366 367 368 371 374 375 381 385 387 388 389 392 395 397 398 409 412 421 424 427 431 432 435 440 441 446 450 452 454 458 460 462 463 464 467 468 a 1 2 3 9 11 19 20 23 25 26 30 32 40 43 46 48 54 57 64 71 72 75 77 78 81 85 86 89 94 103 106 111 112 114 115 118 122 124 128 130 134 135 136 138 146 149 162 163 166 168 171 173 175 178 188 190 191 192 193 194 197 199 200 201 202 204 207 208 211 214 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 278 286 287 291 298 302 304 305 306 307 309 310 319 320 321 322 324 328 329 330 331 335 336 337 339 342 345 347 348 349 352 361 366 367 368 371 374 375 381 385 387 388 389 390 392 395 397 398 409 412 421 424 427 431 432 435 440 441 446 450 452 454 458 460 462 463 464 467 468 a 1 2 3 9 11 12 19 20 23 25 26 30 32 40 43 46 48 54 57 64 71 72 75 77 78 81 85 86 89 94 103 106 111 112 114 115 118 122 124 128 130 134 135 136 138 146 149 162 163 166 168 171 173 175 178 188 190 191 192 193 194 197 199 200 201 202 204 207 208 211 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 278 286 287 291 298 302 304 305 306 307 309 310 319 320 321 322 324 328 329 330 331 335 336 337 339 342 345 347 348 349 352 361 366 367 368 371 374 375 381 385 387 388 389 390 392 395 397 398 409 412 421 424 427 431 432 435 440 441 446 450 452 454 458 460 462 463 464 467 468 a 1 2 3 9 11 12 19 20 22 23 25 26 30 32 40 43 46 48 54 57 64 71 72 75 77 78 81 85 86 89 94 103 106 111 112 114 115 118 122 124 128 130 134 135 136 138 146 149 162 163 166 168 171 173 175 178 188 190 191 192 193 194 197 199 200 201 202 204 207 208 211 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 278 286 287 291 298 302 304 305 306 307 309 310 319 320 321 322 324 328 329 330 331 335 336 337 339 342 345 347 348 349 352 361 366 367 368 371 374 375 381 385 387 388 389 390 392 395 398 409 412 421 424 427 431 432 435 440 441 446 450 452 454 458 460 462 463 464 467 468 a 1 2 3 9 11 12 19 20 22 23 25 26 30 32 40 43 46 48 54 57 64 71 72 75 77 78 81 85 86 89 94 102 103 106 111 112 114 115 118 122 124 128 130 134 135 136 138 146 149 162 163 166 168 171 173 175 178 188 190 191 192 193 194 199 200 201 202 204 207 208 211 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 278 286 287 291 298 302 304 305 306 307 309 310 319 320 321 322 324 328 329 330 331 335 336 337 339 342 345 347 348 349 352 361 366 367 368 371 374 375 381 385 387 388 389 390 392 395 398 409 412 421 424 427 431 432 435 440 441 446 450 452 454 458 460 462 463 464 467 468 a 1 2 3 9 11 12 19 20 22 23 25 26 30 32 40 43 46 48 54 57 64 71 72 75 77 78 81 85 86 89 94 102 103 106 111 112 114 115 118 122 124 128 130 134 135 136 138 146 149 162 163 166 168 173 175 178 188 190 191 192 193 194 199 200 201 202 204 207 208 211 216 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 278 286 287 291 298 302 304 305 306 307 309 310 319 320 321 322 324 328 329 330 331 335 336 337 339 342 345 347 348 349 352 361 366 367 368 371 374 375 381 385 387 388 389 390 392 395 398 409 412 421 424 427 431 432 435 440 441 446 450 452 454 458 460 462 463 464 467 468 a 1 2 3 9 11 12 19 20 22 23 25 26 30 32 40 43 46 48 54 57 64 71 72 75 77 78 81 85 86 89 94 102 103 106 111 112 114 115 118 122 124 128 130 134 135 136 138 146 149 162 163 166 168 173 175 178 188 190 191 192 193 194 199 200 201 202 204 207 208 211 216 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 278 286 287 291 298 302 304 305 306 307 309 310 319 320 321 322 324 328 329 330 331 335 336 337 339 342 345 347 348 349 352 361 366 367 368 371 374 375 381 385 387 389 390 392 395 398 409 412 421 424 427 431 432 433 435 440 441 446 450 452 454 458 460 462 463 464 467 468 a 1 2 3 9 11 12 19 20 22 23 25 26 30 32 40 43 46 48 54 57 64 71 72 75 77 78 81 85 86 89 94 102 103 106 111 112 114 115 118 122 124 128 130 134 135 136 138 146 149 162 163 166 168 173 175 178 188 190 191 192 193 194 199 200 201 202 204 207 208 211 216 224 228 229 230 234 236 237 239 240 241 245 247 254 256 261 263 273 278 286 287 291 298 302 304 305 306 307 309 310 313 319 320 321 322 324 328 329 330 331 335 336 337 342 345 347 348 349 352 361 366 367 368 371 374 375 381 385 387 389 390 392 395 398 409 412 421 424 427 431 432 433 435 440 441 446 450 452 454 458 460 462 463 464 467 468 a 1 2 3 9 11 12 19 20 22 23 25 26 30 32 40 46 48 54 57 64 71 72 75 77 78 81 85 86 89 94 102 103 106 111 112 114 115 118 122 124 128 130 134 135 136 138 146 149 162 163 166 168 173 175 178 188 190 191 192 193 194 199 200 201 202 204 207 208 211 216 224 228 229 230 234 236 237 239 240 241 244 245 247 254 256 261 263 273 278 286 287 291 298 302 304 305 306 307 309 310 313 319 320 321 322 324 328 329 330 331 335 336 337 342 345 347 348 349 352 361 366 367 368 371 374 375 381 385 387 389 390 392 395 398 409 412 421 424 427 431 432 433 435 440 441 446 450 452 454 458 460 462 463 464 467 468 a 1 2 3 9 11 12 19 20 22 23 25 26 30 32 40 46 48 54 57 64 71 72 75 77 78 81 85 86 89 94 100 102 103 106 111 112 114 115 118 122 124 128 134 135 136 138 146 149 162 163 166 168 173 175 178 188 190 191 192 193 194 199 200 201 202 204 207 208 211 216 224 228 229 230 234 236 237 239 240 241 244 245 247 254 256 261 263 273 278 286 287 291 298 302 304 305 306 307 309 310 313 319 320 321 322 324 328 329 330 331 335 336 337 342 345 347 348 349 352 361 366 367 368 371 374 375 381 385 387 389 390 392 395 398 409 412 421 424 427 431 432 433 435 440 441 446 450 452 454 458 460 462 463 464 467 468 a 1 2 3 9 11 12 19 20 22 23 25 26 30 32 40 46 48 54 57 64 71 72 75 77 78 81 85 86 89 94 100 102 103 106 111 112 114 115 118 122 124 128 134 135 136 138 146 149 162 163 166 168 173 175 178 188 190 191 192 193 194 199 200 201 202 204 207 208 211 216 224 228 229 230 234 236 237 239 240 241 244 245 254 256 261 263 273 278 279 286 287 291 298 302 304 305 306 307 309 310 313 319 320 321 322 324 328 329 330 331 335 336 337 342 345 347 348 349 352 361 366 367 368 371 374 375 381 385 387 389 390 392 395 398 409 412 421 424 427 431 432 433 435 440 441 446 450 452 454 458 460 462 463 464 467 468 a 1 2 3 9 11 12 19 20 22 23 25 26 30 32 40 46 48 54 57 64 71 72 73 75 77 78 81 85 86 89 94 100 102 103 106 111 112 114 115 118 122 124 128 134 135 136 138 146 149 162 163 166 168 173 175 178 188 190 191 192 193 194 199 200 201 202 204 207 208 211 216 224 228 229 230 234 236 237 239 240 241 244 245 254 256 261 263 273 278 279 286 287 291 298 302 304 305 306 307 309 310 313 319 320 321 322 324 328 329 330 331 335 336 337 342 345 347 348 349 361 366 367 368 371 374 375 381 385 387 389 390 392 395 398 409 412 421 424 427 431 432 433 435 440 441 446 450 452 454 458 460 462 463 464 467 468 a 1 2 3 9 11 12 14 19 20 22 23 25 26 30 32 40 46 48 54 57 64 71 72 73 75 78 81 85 86 89 94 100 102 103 106 111 112 114 115 118 122 124 128 134 135 136 138 146 149 162 163 166 168 173 175 178 188 190 191 192 193 194 199 200 201 202 204 207 208 211 216 224 228 229 230 234 236 237 239 240 241 244 245 254 256 261 263 273 278 279 286 287 291 298 302 304 305 306 307 309 310 313 319 320 321 322 324 328 329 330 331 335 336 337 342 345 347 348 349 361 366 367 368 371 374 375 381 385 387 389 390 392 395 398 409 412 421 424 427 431 432 433 435 440 441 446 450 452 454 458 460 462 463 464 467 468 a 1 2 3 8 9 11 12 14 19 20 22 23 25 26 30 32 40 46 48 54 57 64 71 72 73 75 78 81 85 86 89 94 100 102 103 106 111 112 114 115 118 122 124 128 134 135 136 138 146 149 162 163 166 168 173 175 178 188 190 191 192 193 194 199 200 201 202 204 207 208 211 216 224 229 230 234 236 237 239 240 241 244 245 254 256 261 263 273 278 279 286 287 291 298 302 304 305 306 307 309 310 313 319 320 321 322 324 328 329 330 331 335 336 337 342 345 347 348 349 361 366 367 368 371 374 375 381 385 387 389 390 392 395 398 409 412 421 424 427 431 432 433 435 440 441 446 450 452 454 458 460 462 463 464 467 468 a 1 2 3 8 9 11 12 14 19 20 22 23 25 26 30 32 40 46 48 54 57 64 71 72 73 75 78 81 85 86 89 94 100 102 103 106 111 112 114 115 118 122 124 128 134 135 136 138 146 149 162 163 166 168 173 175 178 188 190 191 192 193 194 199 200 201 202 204 207 208 211 216 224 229 230 233 234 236 237 239 240 241 244 254 256 261 263 273 278 279 286 287 291 298 302 304 305 306 307 309 310 313 319 320 321 322 324 328 329 330 331 335 336 337 342 345 347 348 349 361 366 367 368 371 374 375 381 385 387 389 390 392 395 398 409 412 421 424 427 431 432 433 435 440 441 446 450 452 454 458 460 462 463 464 467 468 a 1 2 3 8 9 11 12 14 19 20 22 23 25 26 30 32 40 46 48 54 57 64 71 72 73 75 78 81 85 86 89 94 100 102 103 106 111 114 115 118 122 124 128 134 135 136 138 146 149 162 163 166 168 173 175 178 187 188 190 191 192 193 194 199 200 201 202 204 207 208 211 216 224 229 230 233 234 236 237 239 240 241 244 254 256 261 263 273 278 279 286 287 291 298 302 304 305 306 307 309 310 313 319 320 321 322 324 328 329 330 331 335 336 337 342 345 347 348 349 361 366 367 368 371 374 375 381 385 387 389 390 392 395 398 409 412 421 424 427 431 432 433 435 440 441 446 450 452 454 458 460 462 463 464 467 468 a 1 2 3 8 9 11 12 14 19 20 22 23 25 26 30 32 40 46 48 54 57 64 71 72 73 75 78 81 85 86 89 94 100 102 103 106 111 114 115 118 122 124 128 134 135 136 138 146 149 162 163 166 168 173 175 178 187 188 190 191 192 193 194 199 200 201 202 204 207 208 211 216 224 229 230 233 234 236 237 239 240 241 244 254 255 256 261 263 273 278 279 286 287 291 298 302 304 305 306 307 309 310 313 319 320 321 322 324 328 329 330 331 335 336 337 342 345 347 348 349 361 366 367 368 371 374 375 381 385 387 389 390 392 395 398 409 412 421 424 427 431 432 433 435 440 441 446 450 452 454 458 460 462 463 464 467 a 1 2 3 8 9 11 12 14 19 20 22 23 25 26 30 32 40 46 48 54 57 64 71 72 73 75 78 81 85 86 89 94 100 102 103 106 111 114 115 118 122 124 128 134 135 136 138 146 149 162 163 166 168 173 175 178 187 188 190 191 192 193 194 199 200 201 202 204 207 208 211 216 224 229 230 233 234 236 237 239 240 241 244 254 255 256 261 263 273 278 279 286 287 291 298 302 304 305 306 307 309 310 313 319 320 321 322 324 328 329 330 331 335 336 337 342 345 347 348 349 361 364 366 367 368 371 374 375 381 385 387 389 390 392 395 398 409 421 424 427 431 432 433 435 440 441 446 450 452 454 458 460 462 463 464 467 a 1 2 3 8 9 11 12 14 19 20 22 23 25 26 30 32 40 46 48 54 57 64 71 72 73 75 78 81 85 86 89 94 100 102 103 106 111 114 115 122 124 128 134 135 136 138 139 146 149 162 163 166 168 173 175 178 187 188 190 191 192 193 194 199 200 201 202 204 207 208 211 216 224 229 230 233 234 236 237 239 240 241 244 254 255 256 261 263 273 278 279 286 287 291 298 302 304 305 306 307 309 310 313 319 320 321 322 324 328 329 330 331 335 336 337 342 345 347 348 349 361 364 366 367 368 371 374 375 381 385 387 389 390 392 395 398 409 421 424 427 431 432 433 435 440 441 446 450 452 454 458 460 462 463 464 467 a 1 2 3 8 9 11 12 14 19 20 22 23 25 26 30 32 40 46 48 54 57 64 71 72 73 75 78 81 85 86 89 94 100 102 103 106 111 114 115 122 124 128 133 134 135 136 138 139 146 149 162 163 166 168 173 175 178 187 188 190 191 192 193 194 199 200 201 202 204 207 208 211 216 224 229 230 233 234 236 237 239 240 241 244 254 255 256 261 263 273 278 279 286 287 291 298 302 304 305 306 307 309 310 313 319 320 321 322 324 328 329 330 331 335 336 337 342 345 347 348 349 361 364 366 367 368 371 374 375 381 385 387 389 390 395 398 409 421 424 427 431 432 433 435 440 441 446 450 452 454 458 460 462 463 464 467 a 1 2 3 8 9 11 12 14 19 20 22 23 25 26 30 32 40 46 48 54 57 64 71 72 73 75 78 85 86 89 94 100 102 103 106 111 114 115 122 124 128 133 134 135 136 138 139 146 149 162 163 166 168 173 175 178 187 188 190 191 192 193 194 199 200 201 202 204 207 208 211 216 224 229 230 233 234 236 237 239 240 241 244 254 255 256 261 263 273 278 279 286 287 291 298 302 304 305 306 307 309 310 313 319 320 321 322 324 328 329 330 331 335 336 337 342 345 347 348 349 361 364 366 367 368 371 374 375 381 385 387 389 390 395 398 409 410 421 424 427 431 432 433 435 440 441 446 450 452 454 458 460 462 463 464 467 a 1 2 3 8 9 11 12 14 19 20 22 23 25 26 30 32 40 46 48 54 57 64 71 72 73 75 78 85 86 89 94 100 102 103 106 111 114 115 122 124 128 133 134 135 136 138 139 149 162 163 166 168 173 175 178 187 188 190 191 192 193 194 199 200 201 202 204 207 208 211 216 224 229 230 233 234 236 237 239 240 241 244 254 255 256 261 263 273 278 279 286 287 291 298 302 304 305 306 307 309 310 313 319 320 321 322 324 328 329 330 331 335 336 337 342 345 347 348 349 361 364 366 367 368 370 371 374 375 381 385 387 389 390 395 398 409 410 421 424 427 431 432 433 435 440 441 446 450 452 454 458 460 462 463 464 467 a 1 2 3 8 9 11 12 14 19 20 22 23 25 26 30 32 40 46 48 54 57 64 71 72 73 75 78 85 86 89 94 100 102 103 106 111 114 115 122 124 128 133 134 135 136 138 139 149 162 163 166 168 173 175 178 187 188 190 191 192 193 194 199 200 201 202 204 207 208 211 216 224 229 230 233 234 236 237 239 240 241 244 254 255 256 261 263 273 278 279 286 287 291 298 302 304 305 306 307 309 310 313 319 320 321 322 324 328 329 330 331 335 336 337 342 345 347 348 349 361 364 366 367 368 370 371 374 375 381 382 385 387 389 390 395 398 409 410 421 424 427 431 432 433 435 440 441 446 452 454 458 460 462 463 464 467 a 1 2 3 8 9 11 12 14 19 20 22 23 25 26 30 32 40 46 48 54 57 64 71 72 73 75 78 85 86 89 94 100 102 103 106 111 114 115 122 124 128 133 134 135 136 138 139 149 162 163 166 168 173 175 178 187 188 190 191 192 193 194 199 200 201 202 204 205 207 208 211 216 224 229 230 233 234 236 237 239 240 241 244 254 255 256 261 263 273 278 279 286 287 291 298 302 304 305 306 307 309 310 313 319 320 321 322 324 328 329 330 331 335 336 337 345 347 348 349 361 364 366 367 368 370 371 374 375 381 382 385 387 389 390 395 398 409 410 421 424 427 431 432 433 435 440 441 446 452 454 458 460 462 463 464 467 a 1 2 3 8 9 11 12 14 19 20 22 23 25 26 30 32 40 46 48 54 57 64 71 72 73 75 78 85 86 89 94 100 102 103 106 111 114 115 122 124 128 133 134 135 136 138 139 143 149 162 163 166 168 173 175 178 187 188 190 191 192 193 194 199 200 201 202 204 205 207 208 211 216 224 229 230 233 234 236 237 239 240 241 244 254 255 256 261 263 273 278 279 286 287 291 298 302 304 305 307 309 310 313 319 320 321 322 324 328 329 330 331 335 336 337 345 347 348 349 361 364 366 367 368 370 371 374 375 381 382 385 387 389 390 395 398 409 410 421 424 427 431 432 433 435 440 441 446 452 454 458 460 462 463 464 467 a 1 2 3 8 9 11 12 14 19 20 22 23 25 26 30 32 40 46 48 54 57 64 71 72 73 75 78 85 86 89 94 100 102 103 106 111 114 115 122 124 128 133 134 135 136 138 139 143 149 162 163 166 168 169 173 175 178 187 188 190 191 192 193 199 200 201 202 204 205 207 208 211 216 224 229 230 233 234 236 237 239 240 241 244 254 255 256 261 263 273 278 279 286 287 291 298 302 304 305 307 309 310 313 319 320 321 322 324 328 329 330 331 335 336 337 345 347 348 349 361 364 366 367 368 370 371 374 375 381 382 385 387 389 390 395 398 409 410 421 424 427 431 432 433 435 440 441 446 452 454 458 460 462 463 464 467 a 1 2 3 8 9 11 12 14 19 20 21 22 23 25 26 30 32 40 46 48 54 57 64 71 72 73 75 78 85 86 89 94 100 102 103 106 111 114 115 122 124 128 133 134 135 136 138 139 143 149 162 163 166 168 169 173 175 178 187 188 190 191 192 193 200 201 202 204 205 207 208 211 216 224 229 230 233 234 236 237 239 240 241 244 254 255 256 261 263 273 278 279 286 287 291 298 302 304 305 307 309 310 313 319 320 321 322 324 328 329 330 331 335 336 337 345 347 348 349 361 364 366 367 368 370 371 374 375 381 382 385 387 389 390 395 398 409 410 421 424 427 431 432 433 435 440 441 446 452 454 458 460 462 463 464 467 a 1 2 3 8 9 11 12 14 19 20 21 22 23 25 26 30 32 40 46 48 54 57 64 71 72 73 75 78 85 86 89 94 100 102 103 106 111 114 115 122 124 128 133 134 135 136 138 139 143 149 162 163 166 168 169 173 175 178 187 188 190 191 192 193 200 201 202 204 205 207 208 211 216 224 229 230 233 234 236 237 239 240 241 244 254 255 256 261 263 273 278 279 286 287 298 302 304 305 307 309 310 313 319 320 321 322 324 328 329 330 331 335 336 337 341 345 347 348 349 361 364 366 367 368 370 371 374 375 381 382 385 387 389 390 395 398 409 410 421 424 427 431 432 433 435 440 441 446 452 454 458 460 462 463 464 467 a 1 2 3 8 9 11 12 14 19 20 21 22 23 25 26 30 32 40 46 48 54 57 64 71 72 73 75 78 85 86 89 94 100 102 103 106 111 114 115 122 124 128 133 134 135 136 138 139 143 149 162 163 166 168 169 173 175 178 187 188 190 191 192 193 200 201 202 204 205 207 208 211 216 224 229 230 233 234 236 237 239 240 241 244 254 255 256 261 263 265 273 278 279 286 287 298 302 304 305 307 309 310 313 319 320 321 322 324 328 329 331 335 336 337 341 345 347 348 349 361 364 366 367 368 370 371 374 375 381 382 385 387 389 390 395 398 409 410 421 424 427 431 432 433 435 440 441 446 452 454 458 460 462 463 464 467 a 1 2 3 8 9 11 12 14 19 20 21 22 23 25 26 30 32 40 46 48 54 56 57 64 71 72 73 75 78 85 86 89 94 100 102 103 106 111 114 115 122 124 128 133 134 135 136 138 139 143 149 162 163 166 168 169 173 175 178 187 188 190 191 192 193 200 201 202 204 205 207 208 211 216 224 229 230 233 234 236 237 239 240 241 244 254 255 261 263 265 273 278 279 286 287 298 302 304 305 307 309 310 313 319 320 321 322 324 328 329 331 335 336 337 341 345 347 348 349 361 364 366 367 368 370 371 374 375 381 382 385 387 389 390 395 398 409 410 421 424 427 431 432 433 435 440 441 446 452 454 458 460 462 463 464 467 a 1 2 3 8 9 11 12 14 19 20 21 22 23 25 26 30 32 40 46 48 54 56 57 64 71 72 73 75 78 85 86 89 94 100 102 103 105 106 111 114 115 122 124 128 133 134 135 136 138 139 143 149 162 163 166 168 169 173 175 178 187 188 190 191 192 193 200 201 202 204 205 207 208 211 216 224 229 230 233 234 236 237 239 240 241 244 254 255 261 263 265 273 278 279 286 287 298 302 304 305 307 309 310 313 319 320 321 322 324 328 329 331 335 336 337 341 345 347 348 361 364 366 367 368 370 371 374 375 381 382 385 387 389 390 395 398 409 410 421 424 427 431 432 433 435 440 441 446 452 454 458 460 462 463 464 467 a 1 2 3 8 9 10 11 12 14 19 20 21 22 23 25 26 30 32 40 46 48 54 56 57 64 71 72 73 75 78 85 86 89 94 100 102 103 105 106 111 114 115 122 124 128 133 134 135 136 138 139 143 149 162 163 166 168 169 173 175 178 187 188 190 191 192 193 200 202 204 205 207 208 211 216 224 229 230 233 234 236 237 239 240 241 244 254 255 261 263 265 273 278 279 286 287 298 302 304 305 307 309 310 313 319 320 321 322 324 328 329 331 335 336 337 341 345 347 348 361 364 366 367 368 370 371 374 375 381 382 385 387 389 390 395 398 409 410 421 424 427 431 432 433 435 440 441 446 452 454 458 460 462 463 464 467 a 1 2 3 8 9 10 11 12 14 19 20 21 22 23 25 26 30 32 40 46 48 54 56 57 64 71 72 73 78 85 86 89 94 100 102 103 105 106 111 114 115 122 124 128 133 134 135 136 138 139 143 149 162 163 166 168 169 173 175 178 187 188 190 191 192 193 200 202 204 205 207 208 211 216 224 229 230 233 234 236 237 239 240 241 244 254 255 261 263 265 273 278 279 286 287 298 302 304 305 307 309 310 313 319 320 321 322 324 328 329 331 335 336 337 341 345 347 348 361 364 366 367 368 370 371 374 375 381 382 385 387 389 390 395 396 398 409 410 421 424 427 431 432 433 435 440 441 446 452 454 458 460 462 463 464 467 a 1 2 3 8 9 10 11 12 14 19 20 21 22 23 25 26 30 32 40 46 48 54 56 57 64 71 72 73 78 85 86 89 94 100 102 103 105 106 111 114 115 122 124 128 133 134 135 136 138 139 143 149 162 163 166 168 169 173 175 178 187 188 190 191 192 193 200 202 204 205 207 208 211 216 224 229 230 233 234 236 237 239 240 241 244 254 255 261 263 265 273 278 279 286 287 298 302 305 307 309 310 313 319 320 321 322 324 328 329 331 335 336 337 341 345 347 348 361 364 366 367 368 370 371 374 375 381 382 385 387 389 390 395 396 398 401 409 410 421 424 427 431 432 433 435 440 441 446 452 454 458 460 462 463 464 467 a 1 2 3 8 9 10 11 12 14 19 20 21 22 23 25 26 30 32 40 46 48 54 56 57 64 71 72 73 78 85 86 89 94 100 102 103 105 106 111 114 115 122 124 128 133 134 135 136 138 139 143 149 162 163 166 168 169 173 175 178 187 188 190 191 192 193 200 202 204 205 207 208 211 216 224 229 230 233 234 236 237 239 240 241 244 254 255 261 262 263 265 273 278 279 286 287 298 305 307 309 310 313 319 320 321 322 324 328 329 331 335 336 337 341 345 347 348 361 364 366 367 368 370 371 374 375 381 382 385 387 389 390 395 396 398 401 409 410 421 424 427 431 432 433 435 440 441 446 452 454 458 460 462 463 464 467 a 1 2 3 8 9 10 11 12 14 19 20 21 22 23 25 26 30 32 40 46 48 54 56 57 64 72 73 78 85 86 89 94 100 102 103 105 106 111 114 115 122 124 128 133 134 135 136 138 139 143 149 162 163 166 168 169 173 175 178 187 188 190 191 192 193 200 202 204 205 207 208 211 216 224 229 230 233 234 236 237 239 240 241 244 254 255 261 262 263 265 273 278 279 286 287 298 305 307 309 310 313 319 320 321 322 324 328 329 331 335 336 337 341 345 347 348 361 364 366 367 368 370 371 374 375 381 382 385 387 389 390 395 396 398 401 409 410 421 424 427 429 431 432 433 435 440 441 446 452 454 458 460 462 463 464 467 a 1 2 3 8 9 10 11 12 14 19 20 21 22 23 25 26 30 32 40 46 48 54 56 57 64 72 73 78 85 86 89 94 100 102 103 105 106 111 114 115 122 124 128 133 134 135 136 138 139 143 149 162 163 166 168 169 173 175 178 187 188 190 191 192 193 200 202 204 205 207 208 211 216 224 229 230 233 234 236 237 239 240 241 244 254 255 261 262 263 265 273 276 278 279 286 287 298 305 307 309 310 313 319 320 321 322 324 328 329 331 335 336 337 341 345 347 348 361 364 366 367 368 370 371 374 375 381 382 385 387 389 390 395 396 398 401 409 410 421 424 429 431 432 433 435 440 441 446 452 454 458 460 462 463 464 467 a 1 2 3 8 9 10 11 12 14 19 20 21 22 23 25 26 30 32 40 46 48 54 56 57 64 72 73 78 85 86 89 94 100 102 103 105 106 111 114 115 122 124 128 133 134 136 138 139 143 149 162 163 166 168 169 173 175 178 187 188 190 191 192 193 200 202 204 205 207 208 211 216 224 229 230 233 234 236 237 239 240 241 244 254 255 261 262 263 265 273 276 278 279 286 287 298 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 336 337 341 345 347 348 361 364 366 367 368 370 371 374 375 381 382 385 387 389 390 395 396 398 401 409 410 421 424 429 431 432 433 435 440 441 446 452 454 458 460 462 463 464 467 a 1 2 3 8 9 10 11 12 14 19 20 21 22 23 25 26 30 32 40 46 48 54 56 57 64 72 73 78 85 86 89 94 100 102 103 105 106 111 114 115 122 124 128 133 134 136 138 139 143 149 162 163 166 168 169 173 175 178 187 188 190 191 192 193 200 202 204 205 207 208 211 216 224 229 230 233 234 236 237 239 240 241 244 254 255 261 262 263 265 273 276 278 279 286 287 298 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 336 337 341 345 347 348 361 364 366 367 368 370 371 375 378 381 382 385 387 389 390 395 396 398 401 409 410 421 424 429 431 432 433 435 440 441 446 452 454 458 460 462 463 464 467 a 1 2 3 8 9 10 11 12 14 19 20 21 22 23 25 26 30 32 40 46 48 54 56 57 64 72 73 78 85 86 89 94 100 102 103 104 105 106 111 114 115 122 124 128 133 134 136 138 139 143 149 162 163 166 168 169 173 175 178 187 188 190 191 192 193 200 202 204 205 207 208 211 216 224 229 230 233 234 236 237 239 240 241 244 254 255 262 263 265 273 276 278 279 286 287 298 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 336 337 341 345 347 348 361 364 366 367 368 370 371 375 378 381 382 385 387 389 390 395 396 398 401 409 410 421 424 429 431 432 433 435 440 441 446 452 454 458 460 462 463 464 467 a 1 2 3 8 9 10 11 12 14 19 20 21 22 23 25 26 30 32 40 46 48 54 56 57 64 72 73 78 85 86 89 94 100 102 103 104 105 106 111 114 115 122 124 128 133 134 136 138 139 143 149 162 163 166 168 169 173 175 178 187 188 190 191 192 193 200 202 204 205 207 208 211 216 224 229 230 233 234 236 237 239 240 244 254 255 262 263 265 273 276 278 279 286 287 298 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 336 337 341 343 345 347 348 361 364 366 367 368 370 371 375 378 381 382 385 387 389 390 395 396 398 401 409 410 421 424 429 431 432 433 435 440 441 446 452 454 458 460 462 463 464 467 a 1 2 3 8 9 10 11 12 14 19 20 21 22 23 25 26 30 32 40 46 48 54 56 57 64 72 73 78 85 86 89 94 100 102 103 104 105 106 111 114 115 122 124 128 133 134 136 138 139 143 149 162 163 166 168 169 173 175 178 187 188 190 191 192 193 200 202 204 205 207 208 211 216 224 229 230 233 234 236 237 239 240 244 254 255 262 263 265 273 276 278 279 286 287 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 336 337 341 343 345 347 348 361 364 366 367 368 370 371 375 378 381 382 385 387 389 390 395 396 398 401 409 410 424 429 431 432 433 435 440 441 446 452 454 458 460 462 463 464 467 a 1 2 3 8 9 10 11 12 14 19 20 21 22 23 25 26 30 32 40 46 48 54 56 57 64 72 73 78 85 86 89 94 100 102 103 104 105 106 111 114 115 120 122 124 128 133 134 136 138 139 143 149 162 163 166 168 169 173 175 178 187 188 190 191 192 193 200 202 204 205 207 208 211 216 224 229 230 233 234 236 237 239 240 244 254 255 262 263 265 273 276 279 286 287 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 336 337 341 343 345 347 348 361 364 366 367 368 370 371 375 378 381 382 385 387 389 390 395 396 398 401 409 410 424 429 431 432 433 435 440 441 446 452 454 458 460 462 463 464 467 a 1 2 3 8 9 10 11 12 14 19 20 21 22 23 25 26 30 32 40 46 48 54 56 57 64 72 73 78 85 86 89 90 94 100 102 103 104 105 106 111 114 115 120 122 124 128 133 134 136 138 139 143 149 162 163 166 168 169 173 175 178 187 188 190 191 192 193 200 202 204 205 207 208 211 216 229 230 233 234 236 237 239 240 244 254 255 262 263 265 273 276 279 286 287 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 336 337 341 343 345 347 348 361 364 366 367 368 370 371 375 378 381 382 385 387 389 390 395 396 398 401 409 410 424 429 431 432 433 435 440 441 446 452 454 458 460 462 463 464 467 a 1 2 3 8 9 10 11 12 14 20 21 22 23 25 26 30 32 40 46 48 54 56 57 64 72 73 78 82 85 86 89 90 94 100 102 103 104 105 106 111 114 115 120 122 124 128 133 134 136 138 139 143 149 162 163 166 168 169 173 175 178 187 188 190 191 192 193 200 202 204 205 207 208 211 216 229 230 233 234 236 237 239 240 244 254 255 262 263 265 273 276 279 286 287 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 336 337 341 343 345 347 348 361 364 366 367 368 370 371 375 378 381 382 385 387 389 390 395 396 398 401 409 410 424 429 431 432 433 435 440 441 446 452 454 458 460 462 463 464 467 a 1 2 3 8 9 10 11 12 14 20 21 22 23 25 26 30 32 40 46 48 54 56 57 64 69 72 73 78 82 85 86 89 90 94 100 102 103 104 105 106 111 114 115 120 122 124 128 133 134 136 138 139 143 149 162 163 166 168 169 173 175 178 187 188 190 191 192 193 200 202 204 205 207 208 211 216 229 230 233 234 236 237 239 240 244 254 255 262 263 265 276 279 286 287 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 336 337 341 343 345 347 348 361 364 366 367 368 370 371 375 378 381 382 385 387 389 390 395 396 398 401 409 410 424 429 431 432 433 435 440 441 446 452 454 458 460 462 463 464 467 a 1 2 3 8 9 10 11 12 14 20 21 22 23 25 26 30 32 40 46 48 54 56 57 64 69 72 73 78 82 85 86 89 90 94 100 102 103 104 105 106 111 114 115 120 122 124 128 133 134 136 138 139 143 149 162 163 166 168 169 173 175 178 187 188 190 191 192 193 200 202 204 205 207 208 211 216 229 230 233 234 236 237 239 240 244 254 255 262 263 265 276 279 287 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 336 337 341 343 345 347 348 361 364 365 366 367 368 370 371 375 378 381 382 385 387 389 390 395 396 398 401 409 410 424 429 431 432 433 435 440 441 446 452 454 458 460 462 463 464 467 a 1 2 3 8 9 10 11 12 14 20 21 22 23 25 26 30 32 40 46 48 54 56 57 64 69 72 73 78 82 85 86 89 90 94 100 102 103 104 105 106 111 114 115 120 122 124 128 133 134 138 139 143 147 149 162 163 166 168 169 173 175 178 187 188 190 191 192 193 200 202 204 205 207 208 211 216 229 230 233 234 236 237 239 240 244 254 255 262 263 265 276 279 287 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 336 337 341 343 345 347 348 361 364 365 366 367 368 370 371 375 378 381 382 385 387 389 390 395 396 398 401 409 410 424 429 431 432 433 435 440 441 446 452 454 458 460 462 463 464 467 a 1 2 3 8 9 10 11 12 14 20 21 22 23 25 26 30 32 40 46 48 54 56 57 64 69 72 73 78 82 85 86 89 90 94 100 102 103 104 105 106 111 114 115 120 122 124 128 133 134 138 139 143 147 149 162 163 166 168 169 173 175 178 187 188 190 191 192 193 200 202 203 204 205 207 208 211 216 229 230 233 234 236 237 239 240 244 254 255 262 263 265 276 279 287 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 336 337 341 343 345 347 348 361 364 365 366 367 368 370 371 375 378 381 382 385 387 389 390 395 396 398 401 409 410 424 429 431 432 433 435 440 441 446 454 458 460 462 463 464 467 a 1 2 3 8 9 10 11 12 14 20 21 22 23 25 26 30 32 40 46 48 54 56 57 64 69 72 73 78 82 85 86 89 90 94 100 102 103 104 105 106 111 114 115 120 122 124 128 133 134 138 139 143 147 149 162 163 166 168 169 173 175 178 187 188 190 191 192 193 200 202 203 204 205 207 208 211 216 229 230 233 236 237 239 240 244 254 255 262 263 264 265 276 279 287 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 336 337 341 343 345 347 348 361 364 365 366 367 368 370 371 375 378 381 382 385 387 389 390 395 396 398 401 409 410 424 429 431 432 433 435 440 441 446 454 458 460 462 463 464 467 a 1 2 3 8 9 10 11 12 14 20 21 22 23 25 26 30 32 40 46 48 54 56 57 64 69 72 73 78 82 85 86 89 90 94 100 102 103 104 105 106 111 114 115 120 122 124 128 133 134 138 139 143 147 149 162 163 166 168 169 173 175 178 187 188 190 191 192 193 200 202 203 204 205 206 207 208 211 216 229 230 233 236 237 239 240 244 255 262 263 264 265 276 279 287 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 336 337 341 343 345 347 348 361 364 365 366 367 368 370 371 375 378 381 382 385 387 389 390 395 396 398 401 409 410 424 429 431 432 433 435 440 441 446 454 458 460 462 463 464 467 a 1 2 3 8 9 10 11 12 14 20 21 22 23 25 26 30 32 40 46 48 54 56 57 64 69 72 73 78 82 85 86 89 90 94 100 102 103 104 105 106 111 114 115 120 122 124 128 133 134 138 139 143 147 149 162 163 166 168 169 173 174 175 178 187 188 190 191 192 193 200 202 203 204 205 206 207 208 211 216 229 230 233 236 237 239 240 244 255 262 263 264 265 276 279 287 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 336 337 341 343 345 347 348 361 364 365 366 367 368 370 371 375 378 381 382 385 387 389 390 395 396 398 401 410 424 429 431 432 433 435 440 441 446 454 458 460 462 463 464 467 a 1 2 3 8 9 10 11 12 14 20 21 22 23 25 26 30 32 40 46 48 54 56 57 64 69 72 73 78 82 85 86 89 90 94 100 102 103 104 105 106 111 114 120 122 124 128 133 134 138 139 143 147 149 162 163 166 168 169 173 174 175 178 187 188 190 191 192 193 200 202 203 204 205 206 207 208 211 216 229 230 233 236 237 239 240 244 255 262 263 264 265 268 276 279 287 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 336 337 341 343 345 347 348 361 364 365 366 367 368 370 371 375 378 381 382 385 387 389 390 395 396 398 401 410 424 429 431 432 433 435 440 441 446 454 458 460 462 463 464 467 a 1 2 3 8 9 10 11 12 14 20 21 22 23 25 26 30 32 40 46 48 54 56 57 64 69 72 73 78 82 85 86 89 90 94 99 100 102 103 104 105 106 111 114 120 122 124 128 133 134 139 143 147 149 162 163 166 168 169 173 174 175 178 187 188 190 191 192 193 200 202 203 204 205 206 207 208 211 216 229 230 233 236 237 239 240 244 255 262 263 264 265 268 276 279 287 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 336 337 341 343 345 347 348 361 364 365 366 367 368 370 371 375 378 381 382 385 387 389 390 395 396 398 401 410 424 429 431 432 433 435 440 441 446 454 458 460 462 463 464 467 a 1 2 3 8 9 10 11 12 14 20 21 22 23 25 26 30 32 40 46 48 54 56 57 64 69 72 73 78 82 85 86 89 90 94 99 100 102 104 105 106 111 114 120 122 124 128 133 134 139 143 147 149 162 163 166 168 169 173 174 175 178 187 188 190 191 192 193 200 202 203 204 205 206 207 208 211 216 229 230 231 233 236 237 239 240 244 255 262 263 264 265 268 276 279 287 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 336 337 341 343 345 347 348 361 364 365 366 367 368 370 371 375 378 381 382 385 387 389 390 395 396 398 401 410 424 429 431 432 433 435 440 441 446 454 458 460 462 463 464 467 a 1 2 3 8 10 11 12 14 20 21 22 23 25 26 30 32 40 46 48 54 56 57 64 69 72 73 78 82 85 86 89 90 94 99 100 102 104 105 106 111 114 120 122 124 128 133 134 139 143 147 149 162 163 166 168 169 173 174 175 178 187 188 190 191 192 193 200 202 203 204 205 206 207 208 211 216 229 230 231 233 236 237 239 240 244 255 262 263 264 265 268 276 279 287 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 336 337 338 341 343 345 347 348 361 364 365 366 367 368 370 371 375 378 381 382 385 387 389 390 395 396 398 401 410 424 429 431 432 433 435 440 441 446 454 458 460 462 463 464 467 a 1 2 3 8 10 11 12 14 20 21 22 23 25 26 30 40 46 48 54 56 57 64 69 72 73 78 82 85 86 89 90 94 98 99 100 102 104 105 106 111 114 120 122 124 128 133 134 139 143 147 149 162 163 166 168 169 173 174 175 178 187 188 190 191 192 193 200 202 203 204 205 206 207 208 211 216 229 230 231 233 236 237 239 240 244 255 262 263 264 265 268 276 279 287 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 336 337 338 341 343 345 347 348 361 364 365 366 367 368 370 371 375 378 381 382 385 387 389 390 395 396 398 401 410 424 429 431 432 433 435 440 441 446 454 458 460 462 463 464 467 a 1 2 3 8 10 11 12 14 20 21 22 23 25 26 30 40 46 48 54 56 57 64 69 72 73 78 82 85 86 89 90 94 98 99 100 102 104 105 106 111 114 120 122 124 128 133 134 139 143 147 149 162 163 166 169 173 174 175 178 187 188 190 191 192 193 200 202 203 204 205 206 207 208 211 216 229 230 231 233 236 237 239 240 244 255 262 263 264 265 268 276 279 287 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 336 337 338 341 343 345 347 348 361 364 365 366 367 368 370 371 375 378 381 382 385 387 389 390 395 396 398 401 410 424 429 431 432 433 435 440 441 446 454 458 460 462 463 464 465 467 a 1 2 3 8 10 11 12 14 20 21 22 23 25 26 30 40 46 48 54 56 57 64 69 72 73 78 82 85 86 89 90 94 98 99 100 102 104 105 106 111 114 120 122 124 128 133 134 139 143 147 149 162 163 169 173 174 175 178 187 188 190 191 192 193 200 202 203 204 205 206 207 208 211 216 229 230 231 233 236 237 239 240 244 255 262 263 264 265 268 276 279 287 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 336 337 338 341 343 345 347 348 361 364 365 366 367 368 370 371 375 378 381 382 385 387 389 390 394 395 396 398 401 410 424 429 431 432 433 435 440 441 446 454 458 460 462 463 464 465 467 a 1 2 3 8 10 11 12 14 20 21 22 23 25 26 30 40 46 48 54 56 57 64 69 72 73 78 82 85 86 89 90 94 98 99 100 102 104 105 106 111 120 122 124 128 133 134 139 143 147 149 162 163 169 173 174 175 178 187 188 190 191 192 193 200 202 203 204 205 206 207 208 211 216 229 230 231 233 236 237 239 240 244 255 262 263 264 265 268 276 279 287 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 336 337 338 341 343 345 347 348 361 364 365 366 367 368 370 371 375 378 381 382 385 387 389 390 393 394 395 396 398 401 410 424 429 431 432 433 435 440 441 446 454 458 460 462 463 464 465 467 a 1 2 3 8 10 11 12 14 20 21 22 23 25 26 30 40 46 48 54 56 57 64 69 72 73 78 82 85 86 89 90 94 98 99 100 102 104 105 106 111 120 122 124 128 133 134 139 143 147 149 162 163 169 173 174 175 178 187 188 190 191 192 193 200 202 203 204 205 206 207 208 211 216 229 230 231 233 236 237 239 240 244 255 262 263 264 265 268 276 279 287 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 337 338 341 343 345 347 348 361 364 365 366 367 368 370 371 375 378 381 382 383 385 387 389 390 393 394 395 396 398 401 410 424 429 431 432 433 435 440 441 446 454 458 460 462 463 464 465 467 a 1 2 3 8 10 11 12 14 20 21 22 23 25 26 30 40 46 48 54 56 57 64 69 72 73 78 82 85 86 89 90 94 98 99 100 102 104 105 106 111 120 122 124 128 133 134 139 143 147 149 162 163 169 174 175 178 187 188 190 191 192 193 200 202 203 204 205 206 207 208 211 216 229 230 231 233 236 237 239 240 244 255 262 263 264 265 268 276 279 287 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 337 338 341 343 345 347 348 361 364 365 366 367 368 370 371 375 378 381 382 383 385 387 389 390 391 393 394 395 396 398 401 410 424 429 431 432 433 435 440 441 446 454 458 460 462 463 464 465 467 a 1 2 3 8 10 11 12 14 20 21 22 23 25 26 29 30 40 46 48 54 56 57 64 69 72 73 78 82 85 86 90 94 98 99 100 102 104 105 106 111 120 122 124 128 133 134 139 143 147 149 162 163 169 174 175 178 187 188 190 191 192 193 200 202 203 204 205 206 207 208 211 216 229 230 231 233 236 237 239 240 244 255 262 263 264 265 268 276 279 287 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 337 338 341 343 345 347 348 361 364 365 366 367 368 370 371 375 378 381 382 383 385 387 389 390 391 393 394 395 396 398 401 410 424 429 431 432 433 435 440 441 446 454 458 460 462 463 464 465 467 a 1 2 3 8 10 11 12 14 20 21 22 23 25 26 29 30 40 46 48 54 56 57 64 69 72 73 78 82 85 86 90 94 98 99 100 102 104 105 106 111 120 122 124 128 133 134 139 143 147 153 162 163 169 174 175 178 187 188 190 191 192 193 200 202 203 204 205 206 207 208 211 216 229 230 231 233 236 237 239 240 244 255 262 263 264 265 268 276 279 287 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 337 338 341 343 345 347 348 361 364 365 366 367 368 370 371 375 378 381 382 383 385 387 389 390 391 393 394 395 396 398 401 410 424 429 431 432 433 435 440 441 446 454 458 460 462 463 464 465 467 a 1 3 8 10 11 12 14 20 21 22 23 25 26 29 30 40 46 48 54 56 57 64 69 72 73 78 82 85 86 90 92 94 98 99 100 102 104 105 106 111 120 122 124 128 133 134 139 143 147 153 162 163 169 174 175 178 187 188 190 191 192 193 200 202 203 204 205 206 207 208 211 216 229 230 231 233 236 237 239 240 244 255 262 263 264 265 268 276 279 287 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 337 338 341 343 345 347 348 361 364 365 366 367 368 370 371 375 378 381 382 383 385 387 389 390 391 393 394 395 396 398 401 410 424 429 431 432 433 435 440 441 446 454 458 460 462 463 464 465 467 a 3 8 10 11 12 14 20 21 22 23 25 26 29 30 40 46 48 54 56 57 64 69 72 73 78 82 85 86 90 92 94 98 99 100 102 104 105 106 111 120 122 124 128 133 134 139 143 147 153 162 163 169 172 174 175 178 187 188 190 191 192 193 200 202 203 204 205 206 207 208 211 216 229 230 231 233 236 237 239 240 244 255 262 263 264 265 268 276 279 287 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 337 338 341 343 345 347 348 361 364 365 366 367 368 370 371 375 378 381 382 383 385 387 389 390 391 393 394 395 396 398 401 410 424 429 431 432 433 435 440 441 446 454 458 460 462 463 464 465 467 a 3 8 10 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 56 57 64 69 72 73 78 82 85 86 90 92 94 98 99 100 102 104 105 106 111 120 122 124 128 133 134 139 143 147 153 162 163 169 172 174 175 178 187 188 190 191 192 193 200 202 203 204 205 206 207 208 211 216 229 230 231 233 236 237 239 240 244 255 262 263 264 265 268 276 279 287 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 337 338 341 343 345 347 348 361 364 365 366 367 368 370 371 375 378 381 382 383 385 387 389 390 391 393 394 395 396 398 401 410 424 429 431 432 433 435 440 441 446 454 458 460 462 463 464 465 467 a 3 8 10 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 56 57 64 69 72 73 78 82 85 86 90 92 94 98 99 100 102 104 105 106 111 120 122 124 128 133 134 139 143 147 153 162 163 169 172 174 175 178 187 188 190 191 192 193 200 202 203 204 205 206 207 208 211 216 229 230 231 233 236 237 239 240 244 255 262 263 264 265 268 276 279 287 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 337 338 341 343 345 347 348 364 365 366 367 368 370 371 375 378 381 382 383 385 387 389 390 391 393 394 395 396 398 401 410 424 429 431 432 433 435 440 441 446 449 454 458 460 462 463 464 465 467 a 3 8 10 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 56 57 64 69 72 73 78 82 85 86 90 92 94 98 99 100 102 104 105 106 111 120 122 124 128 133 134 139 143 147 153 162 163 169 172 174 175 178 187 188 190 191 192 193 200 202 203 204 205 206 207 208 211 216 229 230 231 233 236 237 239 240 244 255 262 264 265 268 276 279 287 296 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 337 338 341 343 345 347 348 364 365 366 367 368 370 371 375 378 381 382 383 385 387 389 390 391 393 394 395 396 398 401 410 424 429 431 432 433 435 440 441 446 449 454 458 460 462 463 464 465 467 a 3 8 10 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 56 57 64 69 72 73 78 82 85 86 90 92 94 98 99 100 102 104 105 106 111 119 120 122 124 128 133 134 139 143 147 153 162 163 169 172 174 175 178 187 188 190 191 192 193 200 202 203 204 205 206 207 208 211 216 229 230 231 233 236 237 239 244 255 262 264 265 268 276 279 287 296 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 337 338 341 343 345 347 348 364 365 366 367 368 370 371 375 378 381 382 383 385 387 389 390 391 393 394 395 396 398 401 410 424 429 431 432 433 435 440 441 446 449 454 458 460 462 463 464 465 467 a 3 8 10 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 56 57 59 64 69 72 73 78 82 85 86 90 92 94 98 99 100 102 104 105 106 111 119 120 122 124 128 133 134 139 143 147 153 163 169 172 174 175 178 187 188 190 191 192 193 200 202 203 204 205 206 207 208 211 216 229 230 231 233 236 237 239 244 255 262 264 265 268 276 279 287 296 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 337 338 341 343 345 347 348 364 365 366 367 368 370 371 375 378 381 382 383 385 387 389 390 391 393 394 395 396 398 401 410 424 429 431 432 433 435 440 441 446 449 454 458 460 462 463 464 465 467 a 3 8 10 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 56 57 59 64 69 72 73 78 82 85 86 90 92 94 96 98 99 100 102 104 105 106 111 119 120 122 124 128 133 134 139 143 147 153 163 169 172 174 175 178 187 188 190 191 192 193 200 202 203 204 205 206 207 208 211 216 229 230 231 233 236 237 239 244 255 262 264 265 268 276 279 287 296 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 337 338 341 343 345 347 348 364 365 366 367 368 370 371 375 378 381 382 383 385 387 389 390 391 393 394 395 396 398 401 410 424 429 431 432 433 435 440 441 446 449 458 460 462 463 464 465 467 a 3 8 10 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 56 57 59 64 69 72 73 78 82 85 86 90 92 94 96 98 99 100 102 104 105 106 111 119 120 122 124 128 133 134 139 143 147 153 163 169 172 174 175 178 181 187 188 190 191 192 193 200 202 203 204 205 206 207 208 211 216 229 230 231 233 236 237 239 244 255 262 264 265 268 276 279 287 296 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 337 338 341 343 345 347 348 364 365 366 367 368 370 371 375 378 382 383 385 387 389 390 391 393 394 395 396 398 401 410 424 429 431 432 433 435 440 441 446 449 458 460 462 463 464 465 467 a 3 8 10 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 56 57 59 64 69 72 73 78 82 85 86 90 92 94 96 98 99 100 102 104 105 106 111 119 120 122 124 128 133 134 139 143 147 153 163 169 172 174 175 178 181 187 188 190 191 192 193 200 202 203 204 205 206 207 208 211 216 229 230 231 233 236 237 239 244 255 262 264 265 268 276 279 287 296 298 301 305 307 309 310 313 319 320 321 322 324 328 329 331 332 335 337 338 341 343 345 347 348 364 365 366 367 368 370 371 375 378 382 383 385 387 389 390 391 393 394 395 396 401 410 424 429 431 432 433 435 440 441 446 448 449 458 460 462 463 464 465 467 a 3 8 10 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 56 57 59 64 69 72 73 78 82 85 86 90 92 94 96 98 99 100 102 104 105 106 111 119 120 122 124 128 133 134 139 143 147 153 163 169 172 174 175 178 181 187 188 190 191 192 193 200 202 203 204 205 206 207 208 211 216 229 230 231 233 236 237 239 244 255 262 264 265 268 276 279 287 296 298 301 305 307 309 310 313 319 320 321 322 328 329 331 332 335 337 338 341 343 345 347 348 364 365 366 367 368 370 371 375 378 382 383 385 387 389 390 391 393 394 395 396 401 410 424 429 431 432 433 435 440 441 446 448 449 455 458 460 462 463 464 465 467 a 3 8 10 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 56 57 59 64 69 72 73 78 82 85 86 90 91 92 94 96 98 99 100 102 104 105 106 111 119 120 122 124 128 133 134 139 143 147 153 163 169 172 174 175 178 181 187 188 190 191 192 193 202 203 204 205 206 207 208 211 216 229 230 231 233 236 237 239 244 255 262 264 265 268 276 279 287 296 298 301 305 307 309 310 313 319 320 321 322 328 329 331 332 335 337 338 341 343 345 347 348 364 365 366 367 368 370 371 375 378 382 383 385 387 389 390 391 393 394 395 396 401 410 424 429 431 432 433 435 440 441 446 448 449 455 458 460 462 463 464 465 467 a 3 8 10 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 56 57 59 64 69 72 73 78 82 85 86 90 91 92 94 96 98 99 100 102 104 105 106 111 119 120 122 124 128 133 134 139 143 147 153 163 169 172 174 175 178 181 187 188 190 192 193 202 203 204 205 206 207 208 211 216 229 230 231 233 236 237 239 244 255 262 264 265 268 276 279 287 296 298 301 305 307 309 310 313 319 320 321 322 328 329 331 332 335 337 338 341 343 345 347 348 364 365 366 367 368 370 371 375 378 382 383 385 387 389 390 391 393 394 395 396 401 410 424 429 431 432 433 435 438 440 441 446 448 449 455 458 460 462 463 464 465 467 a 3 8 10 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 56 57 59 64 69 72 73 78 82 85 86 90 91 92 94 96 98 99 100 102 104 105 106 111 119 120 122 124 128 133 134 139 143 147 153 163 169 172 174 175 178 181 187 188 190 192 193 202 203 204 205 206 207 208 211 216 225 229 230 231 233 236 237 239 244 255 262 264 265 268 276 279 287 296 298 301 305 307 309 310 313 319 320 321 322 328 329 331 332 335 337 338 341 343 345 347 348 364 365 366 367 368 370 371 375 378 382 383 385 387 389 390 391 393 394 395 396 401 410 424 429 431 432 433 435 438 440 441 448 449 455 458 460 462 463 464 465 467 a 3 8 10 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 56 57 59 64 69 72 73 78 82 85 86 90 91 92 94 96 98 99 100 102 104 105 106 111 119 120 122 124 128 133 134 139 143 147 153 163 169 172 174 175 178 181 187 188 190 192 193 202 203 204 205 206 207 208 211 216 225 229 230 231 233 237 239 244 255 262 264 265 268 276 279 287 296 298 301 305 307 309 310 313 319 320 321 322 328 329 331 332 335 337 338 341 343 345 347 348 364 365 366 367 368 370 371 375 378 382 383 385 387 389 390 391 393 394 395 396 401 403 410 424 429 431 432 433 435 438 440 441 448 449 455 458 460 462 463 464 465 467 a 3 8 10 11 12 14 20 21 22 23 25 29 30 36 40 46 48 54 56 57 59 64 69 72 73 78 82 85 86 90 91 92 94 96 98 99 100 102 104 105 106 111 119 120 122 124 133 134 139 143 147 153 163 169 172 174 175 178 181 187 188 190 192 193 202 203 204 205 206 207 208 211 216 225 229 230 231 233 237 239 244 255 262 264 265 266 268 276 279 287 296 298 301 305 307 309 310 313 319 320 321 322 328 329 331 332 335 337 338 341 343 345 347 348 364 365 366 367 368 370 371 375 378 382 383 385 387 389 390 391 393 394 395 396 401 403 410 424 429 431 432 433 435 438 440 441 448 449 455 458 460 462 463 464 465 467 a 3 8 10 11 12 14 20 21 22 25 29 30 36 40 46 48 54 56 57 59 64 69 72 73 78 82 85 86 90 91 92 94 96 98 99 100 102 104 105 106 111 119 120 122 124 133 134 139 143 147 153 158 163 169 172 174 175 178 181 187 188 190 192 193 202 203 204 205 206 207 208 211 216 225 229 230 231 233 237 239 244 255 262 264 265 266 268 276 279 287 296 298 301 305 307 309 310 313 319 320 321 322 328 329 331 332 335 337 338 341 343 345 347 348 364 365 366 367 368 370 371 375 378 382 383 385 387 389 390 391 393 394 395 396 401 403 410 424 429 431 432 433 435 438 440 441 448 449 455 458 460 462 463 464 465 467 a 3 8 10 11 12 14 20 21 22 25 29 30 36 40 46 48 54 56 57 59 64 69 72 73 78 82 85 86 90 91 92 94 96 98 99 100 102 104 105 106 111 119 120 122 124 133 134 139 143 147 153 158 163 169 172 174 175 178 181 187 188 190 192 193 202 203 204 205 206 207 208 211 216 225 229 230 231 233 237 244 255 262 264 265 266 268 276 277 279 287 296 298 301 305 307 309 310 313 319 320 321 322 328 329 331 332 335 337 338 341 343 345 347 348 364 365 366 367 368 370 371 375 378 382 383 385 387 389 390 391 393 394 395 396 401 403 410 424 429 431 432 433 435 438 440 441 448 449 455 458 460 462 463 464 465 467 c Step: 91 Command being timed: "python3 run_3.py --shortest /benchmark/random_instance/random_instance036_graph001.col /benchmark/random_instance/random_instance036_graph001_01.dat" User time (seconds): 5.28 System time (seconds): 0.17 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:05.46 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): 180832 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 225638 Voluntary context switches: 19 Involuntary context switches: 28 Swaps: 0 File system inputs: 0 File system outputs: 712 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 15:08:04 2023]