#BEGIN: [Tue Sep 26 03:23:40 2023] #HOST: s01 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance034_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance034_graph002_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_instance034_graph002.col /benchmark/random_instance/random_instance034_graph002_01.dat c /benchmark/random_instance/random_instance034_graph002.col c /benchmark/random_instance/random_instance034_graph002_01.dat s 194 107 250 234 196 419 22 23 136 397 158 39 338 366 306 328 195 432 307 164 127 77 112 362 310 206 360 33 183 50 343 3 305 380 381 367 379 104 173 184 394 326 200 9 187 68 182 217 358 231 130 161 282 396 293 223 138 427 92 431 260 36 103 425 355 271 53 86 385 274 174 382 11 308 210 56 314 203 108 309 401 41 43 124 215 205 30 339 392 119 335 38 312 409 102 101 100 406 70 18 294 63 278 66 67 126 166 16 58 55 48 353 69 341 7 221 91 47 332 350 219 275 346 226 40 165 400 386 267 98 198 49 319 228 240 105 301 15 76 t 98 223 83 307 8 126 286 347 384 282 423 271 295 149 218 24 348 288 117 303 115 49 183 440 155 346 219 140 116 50 20 332 322 9 36 86 141 301 326 56 129 235 203 399 88 329 275 338 65 306 324 106 156 102 396 4 413 311 231 334 109 105 150 3 422 198 200 171 216 206 314 201 402 284 434 285 294 398 40 397 293 349 158 162 239 297 281 296 312 213 389 393 368 380 341 323 374 139 34 130 289 375 432 192 336 428 353 76 185 424 120 387 175 181 67 11 2 204 335 60 101 217 225 172 35 382 325 299 274 330 262 381 315 256 103 230 108 132 28 a YES a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 76 77 86 91 92 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 346 350 353 355 358 360 362 366 367 379 380 381 382 385 386 392 394 396 397 400 401 406 409 419 425 427 431 432 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 76 77 86 91 92 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 346 350 353 355 358 360 362 367 368 379 380 381 382 385 386 392 394 396 397 400 401 406 409 419 425 427 431 432 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 76 77 86 91 92 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 346 350 353 355 358 360 362 367 368 379 380 381 382 385 386 392 394 396 397 400 401 406 409 419 425 427 432 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 63 66 67 68 69 70 76 77 86 91 92 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 346 347 350 353 355 358 360 362 367 368 379 380 381 382 385 386 392 394 396 397 400 401 406 409 419 425 427 432 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 63 66 67 68 69 70 76 77 86 91 92 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 136 138 139 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 346 347 350 353 355 358 360 362 367 368 379 380 381 382 385 392 394 396 397 400 401 406 409 419 425 427 432 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 63 66 67 68 69 70 76 77 86 91 92 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 136 138 139 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 213 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 343 346 347 350 353 355 358 360 362 367 368 379 380 381 382 385 392 394 396 397 400 401 406 409 419 425 427 432 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 63 66 67 68 69 70 76 77 86 91 92 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 136 138 139 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 213 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 343 346 347 350 353 355 358 360 362 367 368 379 380 381 382 385 392 394 396 397 400 401 402 406 409 419 425 427 432 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 63 66 67 68 69 70 76 77 86 91 92 98 100 101 102 103 105 107 108 112 119 124 126 127 130 136 138 139 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 213 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 343 346 347 350 353 355 358 360 362 367 368 379 380 381 382 385 392 394 396 397 400 401 402 406 409 419 424 425 427 432 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 63 66 67 68 69 70 76 77 86 91 92 98 100 101 102 103 105 107 108 112 119 124 126 127 130 136 138 139 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 213 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 343 346 347 350 353 355 358 360 362 367 368 379 380 381 382 385 392 394 396 397 400 401 402 406 409 419 423 424 425 432 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 63 66 67 68 69 70 76 77 86 91 92 98 100 101 102 103 105 107 108 112 119 124 126 127 130 136 138 139 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 213 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 343 346 347 350 353 355 358 360 362 368 379 380 381 382 385 392 394 396 397 400 401 402 406 409 419 423 424 425 432 440 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 63 66 67 68 69 70 76 77 86 91 92 98 100 101 102 103 105 107 108 112 119 124 126 127 130 136 138 139 158 161 164 165 166 173 174 175 182 183 184 187 194 195 196 198 200 203 205 206 213 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 343 346 347 350 353 355 358 360 368 379 380 381 382 385 392 394 396 397 400 401 402 406 409 419 423 424 425 432 440 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 63 66 67 68 69 70 76 77 86 91 92 98 100 101 102 103 105 107 108 112 119 124 126 127 130 136 138 139 158 161 164 165 166 173 174 175 182 183 184 187 195 196 198 200 203 205 206 213 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 343 346 347 350 353 355 358 360 368 379 380 381 382 385 392 394 396 397 398 400 401 402 406 409 419 423 424 425 432 440 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 63 66 67 68 69 70 76 77 86 92 98 100 101 102 103 105 107 108 112 119 124 126 127 130 136 138 139 158 161 164 165 166 173 174 175 182 183 184 187 195 196 198 200 203 205 206 213 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 343 346 347 350 353 355 358 360 368 379 380 381 382 385 392 394 396 397 398 399 400 401 402 406 409 419 423 424 425 432 440 a 3 7 9 11 15 16 18 22 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 63 66 67 68 69 70 76 77 86 92 98 100 101 102 103 105 107 108 112 119 124 126 127 130 136 138 139 158 161 164 165 166 173 174 175 182 183 184 187 195 196 198 200 203 205 206 213 215 217 219 221 223 226 228 231 234 240 250 256 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 343 346 347 350 353 355 358 360 368 379 380 381 382 385 392 394 396 397 398 399 400 401 402 406 409 419 423 424 425 432 440 a 3 7 9 11 15 16 18 22 30 33 36 38 39 40 43 47 48 49 50 53 55 56 63 66 67 68 69 70 76 77 86 92 98 100 101 102 103 105 107 108 112 119 124 126 127 130 136 138 139 158 161 164 165 166 173 174 175 182 183 184 187 195 196 198 200 203 204 205 206 213 215 217 219 221 223 226 228 231 234 240 250 256 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 343 346 347 350 353 355 358 360 368 379 380 381 382 385 392 394 396 397 398 399 400 401 402 406 409 419 423 424 425 432 440 a 3 7 9 11 15 16 18 22 30 33 36 38 39 40 43 47 48 49 50 53 55 56 63 66 67 69 70 76 77 86 92 98 100 101 102 103 105 107 108 112 119 124 126 127 130 136 138 139 158 161 164 165 166 173 174 175 182 183 184 187 195 196 198 200 203 204 205 206 213 215 217 219 221 223 225 226 228 231 234 240 250 256 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 343 346 347 350 353 355 358 360 368 379 380 381 382 385 392 394 396 397 398 399 400 401 402 406 409 419 423 424 425 432 440 a 3 7 9 11 15 16 18 22 30 33 36 38 39 40 43 47 48 49 50 53 55 56 63 66 67 69 70 76 77 86 98 100 101 102 103 105 107 108 112 119 124 126 127 130 136 138 139 158 161 164 165 166 173 174 175 182 183 184 187 195 196 198 200 203 204 205 206 213 215 217 219 221 223 225 226 228 231 234 239 240 250 256 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 343 346 347 350 353 355 358 360 368 379 380 381 382 385 392 394 396 397 398 399 400 401 402 406 409 419 423 424 425 432 440 a 3 7 9 11 15 16 18 22 30 33 36 38 39 40 43 47 48 49 50 53 55 56 63 66 67 69 70 76 77 86 98 100 101 102 103 105 107 108 112 119 124 126 127 130 136 138 139 158 161 164 165 166 173 174 175 182 183 187 195 196 198 200 203 204 205 206 213 215 217 219 221 223 225 226 228 231 234 239 240 250 256 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 324 326 328 332 335 338 341 343 346 347 350 353 355 358 360 368 379 380 381 382 385 392 394 396 397 398 399 400 401 402 406 409 419 423 424 425 432 440 a 3 7 9 11 15 16 18 22 30 33 35 36 38 39 40 43 47 48 49 50 53 55 56 63 66 67 69 70 76 77 86 98 100 101 102 103 105 107 108 112 119 124 126 127 130 136 138 139 158 161 164 165 166 173 174 175 182 183 187 195 196 198 200 203 204 205 206 213 215 217 219 221 223 225 226 228 231 234 239 240 250 256 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 324 326 328 332 335 338 341 343 346 347 350 353 355 358 360 368 379 380 381 382 385 392 394 396 397 398 399 400 401 402 406 409 419 423 424 425 432 440 a 3 7 9 11 15 16 18 22 30 33 35 36 38 39 40 43 47 48 49 50 53 55 56 63 66 67 69 70 76 77 86 98 100 101 102 103 105 107 108 112 119 124 126 127 130 136 138 139 158 161 164 165 166 172 173 174 175 182 183 187 195 196 198 200 203 204 205 206 213 215 217 219 221 223 225 226 228 231 234 239 240 250 256 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 324 326 328 332 335 338 341 343 346 347 350 353 355 358 360 368 379 380 381 382 392 394 396 397 398 399 400 401 402 406 409 419 423 424 425 432 440 a 3 7 9 11 15 16 22 30 33 35 36 38 39 40 43 47 48 49 50 53 55 56 63 66 67 69 70 76 77 86 98 100 101 102 103 105 107 108 112 119 124 126 127 130 136 138 139 158 161 164 165 166 172 173 174 175 182 183 187 195 196 198 200 203 204 205 206 213 215 217 219 221 223 225 226 228 231 234 239 240 250 256 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 324 326 328 332 335 338 341 343 346 347 350 353 355 358 360 368 379 380 381 382 392 394 396 397 398 399 400 401 402 406 409 419 422 423 424 425 432 440 a 3 7 9 11 15 16 22 28 30 33 35 36 38 39 40 43 47 48 49 50 53 55 56 63 66 67 69 70 76 77 86 98 100 101 102 103 105 107 108 112 119 124 126 127 130 136 138 139 158 161 164 165 166 172 173 174 175 182 183 187 195 196 198 200 203 204 205 206 213 215 217 219 221 223 225 226 228 231 234 239 240 250 256 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 324 326 328 332 335 338 341 343 346 347 350 353 355 358 360 368 379 380 381 382 392 394 396 397 398 399 400 401 402 406 409 419 422 423 424 432 440 a 3 7 9 11 15 16 22 28 30 33 35 36 38 39 40 43 47 48 49 50 53 55 56 63 66 67 69 70 76 77 86 98 100 101 102 103 105 107 108 112 119 124 126 127 130 136 138 139 158 164 165 166 172 173 174 175 182 183 187 195 196 198 200 203 204 205 206 213 215 217 219 221 223 225 226 228 231 234 239 240 250 256 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 324 326 328 332 335 338 341 343 346 347 350 353 355 358 360 368 379 380 381 382 392 393 394 396 397 398 399 400 401 402 406 409 419 422 423 424 432 440 a 3 7 9 11 15 16 22 24 28 30 33 35 36 38 39 40 43 47 48 49 50 53 55 56 63 66 67 69 70 76 77 86 98 100 101 102 103 105 107 108 112 119 126 127 130 136 138 139 158 164 165 166 172 173 174 175 182 183 187 195 196 198 200 203 204 205 206 213 215 217 219 221 223 225 226 228 231 234 239 240 250 256 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 324 326 328 332 335 338 341 343 346 347 350 353 355 358 360 368 379 380 381 382 392 393 394 396 397 398 399 400 401 402 406 409 419 422 423 424 432 440 a 3 7 9 11 15 16 22 24 28 30 33 35 36 38 39 40 43 47 48 49 50 53 55 56 63 66 67 69 70 76 77 86 98 100 101 102 103 105 107 108 112 119 126 127 130 136 138 139 155 158 164 165 166 172 173 174 175 182 183 187 195 196 198 200 203 204 205 206 213 215 217 219 221 223 225 228 231 234 239 240 250 256 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 324 326 328 332 335 338 341 343 346 347 350 353 355 358 360 368 379 380 381 382 392 393 394 396 397 398 399 400 401 402 406 409 419 422 423 424 432 440 a 3 7 9 11 15 16 22 24 28 30 33 35 36 38 39 40 43 47 48 49 50 53 55 56 63 66 67 69 70 76 77 86 98 100 101 102 103 105 107 108 112 119 126 127 130 136 138 139 155 158 164 165 166 172 173 174 175 182 183 187 195 198 200 203 204 205 206 213 215 217 219 221 223 225 228 231 234 239 240 250 256 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 324 326 328 332 335 338 341 343 346 347 350 353 355 358 360 368 379 380 381 382 392 393 394 396 397 398 399 400 401 402 406 409 413 419 422 423 424 432 440 a 3 7 9 11 15 16 22 24 28 30 33 35 36 38 39 40 43 47 48 49 50 53 55 56 63 66 67 69 70 76 77 86 98 100 101 102 103 105 107 108 112 119 126 127 130 136 138 139 155 158 164 165 166 172 173 174 175 182 183 187 195 198 200 203 204 205 206 213 215 217 219 221 223 225 228 231 234 239 240 256 267 271 274 275 278 282 288 293 294 295 301 305 306 307 308 309 310 312 314 319 324 326 328 332 335 338 341 343 346 347 350 353 355 358 360 368 379 380 381 382 392 393 394 396 397 398 399 400 401 402 406 409 413 419 422 423 424 432 440 a 3 7 9 11 15 16 22 24 28 30 33 35 36 38 39 40 43 48 49 50 53 55 56 63 66 67 69 70 76 77 86 98 100 101 102 103 105 107 108 112 119 126 127 130 136 138 139 155 158 164 165 166 172 173 174 175 182 183 187 195 198 200 203 204 205 206 213 215 217 219 221 223 225 228 231 234 239 240 256 267 271 274 275 278 282 288 293 294 295 301 305 306 307 308 309 310 312 314 319 324 326 328 332 335 338 341 343 346 347 350 353 355 358 360 368 379 380 381 382 384 392 393 394 396 397 398 399 400 401 402 406 409 413 419 422 423 424 432 440 a 3 7 9 11 15 16 22 24 28 30 33 35 36 38 39 40 43 48 49 50 53 55 56 63 66 67 69 70 76 77 86 98 100 101 102 103 105 107 108 119 126 127 130 136 138 139 155 158 164 165 166 172 173 174 175 182 183 187 195 198 200 203 204 205 206 213 215 217 219 221 223 225 228 231 234 239 240 256 267 271 274 275 278 281 282 288 293 294 295 301 305 306 307 308 309 310 312 314 319 324 326 328 332 335 338 341 343 346 347 350 353 355 358 360 368 379 380 381 382 384 392 393 394 396 397 398 399 400 401 402 406 409 413 419 422 423 424 432 440 a 3 7 9 11 15 16 22 24 28 30 33 35 36 38 39 40 43 48 49 50 53 55 56 63 66 67 69 70 76 77 86 98 100 101 102 103 105 107 108 119 126 127 130 136 138 139 149 155 158 164 165 166 172 174 175 182 183 187 195 198 200 203 204 205 206 213 215 217 219 221 223 225 228 231 234 239 240 256 267 271 274 275 278 281 282 288 293 294 295 301 305 306 307 308 309 310 312 314 319 324 326 328 332 335 338 341 343 346 347 350 353 355 358 360 368 379 380 381 382 384 392 393 394 396 397 398 399 400 401 402 406 409 413 419 422 423 424 432 440 a 3 7 9 11 15 16 22 24 28 30 33 35 36 38 39 40 43 48 49 50 53 55 56 63 66 67 69 76 77 86 98 100 101 102 103 105 107 108 119 126 127 130 136 138 139 149 155 158 164 165 166 172 174 175 182 183 187 195 198 200 203 204 205 206 213 215 217 219 221 223 225 228 231 234 239 240 256 267 271 274 275 278 281 282 288 293 294 295 301 305 306 307 308 309 310 312 314 319 324 326 328 332 335 338 341 343 346 347 350 353 355 358 360 368 374 379 380 381 382 384 392 393 394 396 397 398 399 400 401 402 406 409 413 419 422 423 424 432 440 a 3 7 9 11 16 22 24 28 30 33 35 36 38 39 40 43 48 49 50 53 55 56 63 66 67 69 76 77 86 98 100 101 102 103 105 107 108 119 126 127 130 136 138 139 149 155 158 164 165 166 172 174 175 182 183 187 195 198 200 203 204 205 206 213 215 217 219 221 223 225 228 231 234 239 240 256 267 271 274 275 278 281 282 288 293 294 295 301 305 306 307 308 309 310 312 314 319 324 325 326 328 332 335 338 341 343 346 347 350 353 355 358 360 368 374 379 380 381 382 384 392 393 394 396 397 398 399 400 401 402 406 409 413 419 422 423 424 432 440 a 3 7 9 11 16 22 24 28 30 33 35 36 38 39 40 43 48 49 50 53 55 56 63 66 67 69 76 77 86 98 100 101 102 103 105 107 108 117 119 126 127 130 136 138 139 149 155 158 164 165 166 172 174 175 182 183 187 195 198 200 203 204 205 206 213 215 217 219 221 223 225 228 231 234 239 240 256 267 271 274 275 278 281 282 288 293 294 295 301 305 306 307 308 309 310 312 314 319 324 325 326 328 332 335 338 341 346 347 350 353 355 358 360 368 374 379 380 381 382 384 392 393 394 396 397 398 399 400 401 402 406 409 413 419 422 423 424 432 440 a 3 7 9 11 16 22 24 28 30 33 35 36 38 39 40 43 48 49 50 53 55 56 63 66 67 76 77 86 98 100 101 102 103 105 107 108 117 119 126 127 130 136 138 139 149 155 156 158 164 165 166 172 174 175 182 183 187 195 198 200 203 204 205 206 213 215 217 219 221 223 225 228 231 234 239 240 256 267 271 274 275 278 281 282 288 293 294 295 301 305 306 307 308 309 310 312 314 319 324 325 326 328 332 335 338 341 346 347 350 353 355 358 360 368 374 379 380 381 382 384 392 393 394 396 397 398 399 400 401 402 406 409 413 419 422 423 424 432 440 a 3 7 9 11 16 22 24 28 30 33 35 36 38 39 40 43 48 49 50 53 55 56 63 66 67 76 77 86 98 100 101 102 103 105 107 108 117 119 126 127 130 136 139 149 155 156 158 164 165 166 172 174 175 182 183 187 195 198 200 203 204 205 206 213 215 217 219 221 223 225 228 231 234 239 240 256 267 271 274 275 278 281 282 288 293 294 295 301 305 306 307 308 309 310 312 314 319 324 325 326 328 332 335 336 338 341 346 347 350 353 355 358 360 368 374 379 380 381 382 384 392 393 394 396 397 398 399 400 401 402 406 409 413 419 422 423 424 432 440 a 3 7 9 11 16 22 24 28 30 33 35 36 38 39 40 48 49 50 53 55 56 63 66 67 76 77 86 98 100 101 102 103 105 107 108 115 117 119 126 127 130 136 139 149 155 156 158 164 165 166 172 174 175 182 183 187 195 198 200 203 204 205 206 213 215 217 219 221 223 225 228 231 234 239 240 256 267 271 274 275 278 281 282 288 293 294 295 301 305 306 307 308 309 310 312 314 319 324 325 326 328 332 335 336 338 341 346 347 350 353 355 358 360 368 374 379 380 381 382 384 392 393 394 396 397 398 399 400 401 402 406 409 413 419 422 423 424 432 440 a 3 7 9 11 16 22 24 28 30 33 35 36 38 39 40 48 49 50 53 55 56 66 67 76 77 86 98 100 101 102 103 105 107 108 115 117 119 126 127 130 136 139 149 155 156 158 164 165 166 172 174 175 182 183 187 195 198 200 201 203 204 205 206 213 215 217 219 221 223 225 228 231 234 239 240 256 267 271 274 275 278 281 282 288 293 294 295 301 305 306 307 308 309 310 312 314 319 324 325 326 328 332 335 336 338 341 346 347 350 353 355 358 360 368 374 379 380 381 382 384 392 393 394 396 397 398 399 400 401 402 406 409 413 419 422 423 424 432 440 a 3 7 9 11 16 22 24 28 30 33 35 36 38 39 40 48 49 50 53 55 56 66 67 76 77 86 98 100 101 102 103 105 107 108 115 117 119 126 127 130 136 139 149 155 156 158 164 165 166 172 174 175 182 183 187 195 198 200 201 203 204 205 206 213 215 217 219 221 223 225 228 231 234 239 240 256 267 271 274 275 281 282 288 293 294 295 301 305 306 307 308 309 310 312 314 319 322 324 325 326 328 332 335 336 338 341 346 347 350 353 355 358 360 368 374 379 380 381 382 384 392 393 394 396 397 398 399 400 401 402 406 409 413 419 422 423 424 432 440 a 3 7 9 11 16 22 24 28 30 33 35 36 38 39 40 48 49 50 53 55 56 66 67 76 77 86 98 100 101 102 103 105 107 108 115 117 119 120 126 127 130 136 139 149 155 156 158 164 165 166 172 174 175 182 183 187 195 198 200 201 203 204 205 206 213 215 217 219 221 223 225 228 231 234 239 256 267 271 274 275 281 282 288 293 294 295 301 305 306 307 308 309 310 312 314 319 322 324 325 326 328 332 335 336 338 341 346 347 350 353 355 358 360 368 374 379 380 381 382 384 392 393 394 396 397 398 399 400 401 402 406 409 413 419 422 423 424 432 440 a 3 7 9 11 16 22 24 28 30 33 35 36 38 39 40 48 49 50 53 55 56 65 66 67 76 77 86 98 100 101 102 103 105 107 108 115 117 119 120 126 127 130 136 139 149 155 156 158 164 165 166 172 174 175 182 183 187 195 198 200 201 203 204 205 206 213 215 217 219 221 223 225 228 231 234 239 256 267 271 274 275 281 282 288 293 294 295 301 306 307 308 309 310 312 314 319 322 324 325 326 328 332 335 336 338 341 346 347 350 353 355 358 360 368 374 379 380 381 382 384 392 393 394 396 397 398 399 400 401 402 406 409 413 419 422 423 424 432 440 a 3 7 9 11 16 22 24 28 30 33 35 36 38 39 40 48 49 50 53 55 56 65 66 67 76 77 86 98 100 101 102 103 105 107 108 115 117 119 120 126 127 130 136 139 149 155 156 158 164 165 166 172 174 175 182 183 187 195 198 200 201 203 204 205 206 213 215 217 219 221 223 225 228 231 234 239 256 267 271 274 275 281 282 288 293 294 295 301 306 307 308 310 312 314 319 322 324 325 326 328 332 335 336 338 341 346 347 348 350 353 355 358 360 368 374 379 380 381 382 384 392 393 394 396 397 398 399 400 401 402 406 409 413 419 422 423 424 432 440 a 3 7 9 11 16 22 24 28 30 33 35 36 38 39 40 48 49 50 53 55 56 65 66 67 76 77 86 98 100 101 102 103 105 107 108 115 117 120 126 127 130 136 139 149 155 156 158 164 165 166 172 174 175 182 183 187 195 198 200 201 203 204 205 206 213 215 217 219 221 223 225 228 231 234 239 256 267 271 274 275 281 282 288 293 294 295 301 306 307 308 310 312 314 319 322 324 325 326 328 332 335 336 338 341 346 347 348 350 353 355 358 360 368 374 379 380 381 382 384 387 392 393 394 396 397 398 399 400 401 402 406 409 413 419 422 423 424 432 440 a 2 3 7 9 11 16 22 24 28 30 33 35 36 38 40 48 49 50 53 55 56 65 66 67 76 77 86 98 100 101 102 103 105 107 108 115 117 120 126 127 130 136 139 149 155 156 158 164 165 166 172 174 175 182 183 187 195 198 200 201 203 204 205 206 213 215 217 219 221 223 225 228 231 234 239 256 267 271 274 275 281 282 288 293 294 295 301 306 307 308 310 312 314 319 322 324 325 326 328 332 335 336 338 341 346 347 348 350 353 355 358 360 368 374 379 380 381 382 384 387 392 393 394 396 397 398 399 400 401 402 406 409 413 419 422 423 424 432 440 a 2 3 7 9 11 16 22 24 28 30 33 35 36 38 40 48 49 50 53 55 56 65 66 67 76 77 86 98 100 101 102 103 105 107 108 115 117 120 126 127 130 139 149 155 156 158 164 165 166 172 174 175 182 183 187 195 198 200 201 203 204 205 206 213 215 217 219 221 223 225 228 231 234 239 256 267 271 274 275 281 282 288 293 294 295 301 306 307 308 310 312 314 319 322 323 324 325 326 328 332 335 336 338 341 346 347 348 350 353 355 358 360 368 374 379 380 381 382 384 387 392 393 394 396 397 398 399 400 401 402 406 409 413 419 422 423 424 432 440 a 2 3 4 7 9 11 16 22 24 28 30 33 35 36 38 40 48 49 50 53 55 56 65 66 67 76 77 86 98 101 102 103 105 107 108 115 117 120 126 127 130 139 149 155 156 158 164 165 166 172 174 175 182 183 187 195 198 200 201 203 204 205 206 213 215 217 219 221 223 225 228 231 234 239 256 267 271 274 275 281 282 288 293 294 295 301 306 307 308 310 312 314 319 322 323 324 325 326 328 332 335 336 338 341 346 347 348 350 353 355 358 360 368 374 379 380 381 382 384 387 392 393 394 396 397 398 399 400 401 402 406 409 413 419 422 423 424 432 440 a 2 3 4 7 9 11 16 22 24 28 30 33 35 36 38 40 49 50 53 55 56 65 66 67 76 77 86 98 101 102 103 105 107 108 115 117 120 126 127 130 139 149 155 156 158 164 165 166 171 172 174 175 182 183 187 195 198 200 201 203 204 205 206 213 215 217 219 221 223 225 228 231 234 239 256 267 271 274 275 281 282 288 293 294 295 301 306 307 308 310 312 314 319 322 323 324 325 326 328 332 335 336 338 341 346 347 348 350 353 355 358 360 368 374 379 380 381 382 384 387 392 393 394 396 397 398 399 400 401 402 406 409 413 419 422 423 424 432 440 a 2 3 4 7 9 11 16 22 24 28 30 33 34 35 36 38 40 49 50 53 55 56 65 66 67 76 77 86 98 101 102 103 105 107 108 115 117 120 126 127 130 139 149 155 156 158 164 165 166 171 172 174 175 182 183 187 195 198 200 201 203 204 205 206 213 215 217 219 221 223 225 228 231 234 239 256 267 271 274 275 281 282 288 293 294 295 301 306 307 308 310 312 314 319 322 323 324 325 326 328 332 335 336 338 341 346 347 348 350 353 355 358 360 368 374 379 380 381 382 384 387 392 393 396 397 398 399 400 401 402 406 409 413 419 422 423 424 432 440 a 2 3 4 7 9 11 16 22 24 28 30 33 34 35 36 38 40 49 50 53 55 56 65 66 67 76 77 86 98 101 102 103 105 107 108 115 117 120 126 127 130 139 140 149 155 156 158 164 165 166 171 172 174 175 182 183 187 195 198 200 201 203 204 205 206 213 215 217 219 223 225 228 231 234 239 256 267 271 274 275 281 282 288 293 294 295 301 306 307 308 310 312 314 319 322 323 324 325 326 328 332 335 336 338 341 346 347 348 350 353 355 358 360 368 374 379 380 381 382 384 387 392 393 396 397 398 399 400 401 402 406 409 413 419 422 423 424 432 440 a 2 3 4 7 9 11 16 22 24 28 30 33 34 35 36 38 40 49 50 53 55 56 65 66 67 76 77 86 98 101 102 103 105 107 108 115 116 117 120 126 127 130 139 140 149 155 156 158 164 165 166 171 172 174 175 182 183 187 195 198 200 201 203 204 205 206 213 215 217 219 223 225 228 231 239 256 267 271 274 275 281 282 288 293 294 295 301 306 307 308 310 312 314 319 322 323 324 325 326 328 332 335 336 338 341 346 347 348 350 353 355 358 360 368 374 379 380 381 382 384 387 392 393 396 397 398 399 400 401 402 406 409 413 419 422 423 424 432 440 a 2 3 4 7 9 11 16 22 24 28 30 33 34 35 36 38 40 49 50 55 56 65 66 67 76 77 86 98 101 102 103 105 107 108 115 116 117 120 126 127 130 139 140 149 155 156 158 164 165 166 171 172 174 175 182 183 187 195 198 200 201 203 204 205 206 213 215 217 219 223 225 228 231 239 256 262 267 271 274 275 281 282 288 293 294 295 301 306 307 308 310 312 314 319 322 323 324 325 326 328 332 335 336 338 341 346 347 348 350 353 355 358 360 368 374 379 380 381 382 384 387 392 393 396 397 398 399 400 401 402 406 409 413 419 422 423 424 432 440 a 2 3 4 7 9 11 16 22 24 28 30 33 34 35 36 38 40 49 50 55 56 65 66 67 76 77 86 98 101 102 103 105 107 108 115 116 117 120 126 127 130 132 139 140 149 155 156 158 164 165 166 171 172 174 175 182 183 187 195 198 200 201 203 204 205 206 213 215 217 219 223 225 228 231 239 256 262 267 271 274 275 281 282 288 293 294 295 301 306 307 308 310 312 314 319 322 323 324 325 326 328 332 335 336 338 341 346 347 348 350 353 358 360 368 374 379 380 381 382 384 387 392 393 396 397 398 399 400 401 402 406 409 413 419 422 423 424 432 440 a 2 3 4 7 9 11 16 22 24 28 30 33 34 35 36 38 40 49 50 55 56 65 67 76 77 86 98 101 102 103 105 107 108 115 116 117 120 126 127 130 132 139 140 149 155 156 158 164 165 166 171 172 174 175 182 183 187 195 198 200 201 203 204 205 206 213 215 217 219 223 225 228 231 239 256 262 267 271 274 275 281 282 288 293 294 295 301 306 307 308 310 312 314 319 322 323 324 325 326 328 332 335 336 338 341 346 347 348 350 353 358 360 368 374 375 379 380 381 382 384 387 392 393 396 397 398 399 400 401 402 406 409 413 419 422 423 424 432 440 a 2 3 4 7 9 11 16 22 24 28 30 33 34 35 36 38 40 49 50 55 56 65 67 76 77 86 98 101 102 103 105 107 108 115 116 117 120 126 127 130 132 139 140 149 155 156 158 164 165 166 171 172 174 175 182 183 187 195 198 200 201 203 204 205 206 213 215 217 219 223 225 228 231 239 256 262 271 274 275 281 282 288 293 294 295 301 303 306 307 308 310 312 314 319 322 323 324 325 326 328 332 335 336 338 341 346 347 348 350 353 358 360 368 374 375 379 380 381 382 384 387 392 393 396 397 398 399 400 401 402 406 409 413 419 422 423 424 432 440 a 2 3 4 7 9 11 16 22 24 28 30 33 34 35 36 38 40 49 50 55 56 65 67 76 77 86 98 101 102 103 105 107 108 115 116 117 120 126 127 130 132 139 140 149 155 156 158 164 165 166 171 172 174 175 182 183 187 198 200 201 203 204 205 206 213 215 217 219 223 225 228 231 239 256 262 271 274 275 281 282 288 293 294 295 301 303 306 307 308 310 312 314 319 322 323 324 325 326 328 329 332 335 336 338 341 346 347 348 350 353 358 360 368 374 375 379 380 381 382 384 387 392 393 396 397 398 399 400 401 402 406 409 413 419 422 423 424 432 440 a 2 3 4 7 9 11 16 22 24 28 30 33 34 35 36 40 49 50 55 56 65 67 76 77 86 98 101 102 103 105 107 108 115 116 117 120 126 127 130 132 139 140 149 155 156 158 164 165 166 171 172 174 175 182 183 187 198 200 201 203 204 205 206 213 215 217 219 223 225 228 231 239 256 262 271 274 275 281 282 288 289 293 294 295 301 303 306 307 308 310 312 314 319 322 323 324 325 326 328 329 332 335 336 338 341 346 347 348 350 353 358 360 368 374 375 379 380 381 382 384 387 392 393 396 397 398 399 400 401 402 406 409 413 419 422 423 424 432 440 a 2 3 4 7 9 11 16 22 24 28 30 33 34 35 36 40 49 50 55 56 65 67 76 77 86 98 101 102 103 105 107 108 115 116 117 120 126 127 130 132 139 140 149 150 155 156 158 164 165 166 171 172 175 182 183 187 198 200 201 203 204 205 206 213 215 217 219 223 225 228 231 239 256 262 271 274 275 281 282 288 289 293 294 295 301 303 306 307 308 310 312 314 319 322 323 324 325 326 328 329 332 335 336 338 341 346 347 348 350 353 358 360 368 374 375 379 380 381 382 384 387 392 393 396 397 398 399 400 401 402 406 409 413 419 422 423 424 432 440 a 2 3 4 7 9 11 16 22 24 28 30 33 34 35 36 40 49 50 55 56 65 67 76 77 86 98 101 102 103 105 107 108 115 116 117 120 126 127 130 132 139 140 149 150 155 156 158 164 165 166 171 172 175 181 182 183 187 198 200 201 203 204 205 206 213 215 217 219 223 225 228 231 239 256 262 271 274 275 281 282 288 289 293 294 295 301 303 306 307 308 310 312 314 319 322 323 324 325 326 328 329 332 335 336 338 341 346 347 348 350 353 358 360 368 374 375 380 381 382 384 387 392 393 396 397 398 399 400 401 402 406 409 413 419 422 423 424 432 440 a 2 3 4 7 9 11 16 22 24 28 30 33 34 35 36 40 49 50 55 56 65 67 76 77 86 98 101 102 103 105 107 108 115 116 117 120 126 127 130 132 139 140 149 150 155 156 158 164 165 166 171 172 175 181 182 183 187 198 200 201 203 204 205 206 213 215 217 219 223 225 228 231 239 256 262 271 274 275 281 282 286 288 289 293 294 295 301 303 306 307 308 310 312 314 319 322 323 324 325 326 328 329 332 335 336 338 341 346 347 348 350 353 358 360 368 374 375 380 381 382 384 387 392 393 396 397 398 399 401 402 406 409 413 419 422 423 424 432 440 a 2 3 4 7 9 11 16 22 24 28 30 33 34 35 36 40 49 50 55 56 65 67 76 77 86 98 101 102 103 105 108 115 116 117 120 126 127 130 132 139 140 149 150 155 156 158 164 165 166 171 172 175 181 182 183 187 198 200 201 203 204 205 206 213 215 217 219 223 225 228 231 239 256 262 271 274 275 281 282 286 288 289 293 294 295 301 303 306 307 308 310 312 314 319 322 323 324 325 326 328 329 332 335 336 338 341 346 347 348 349 350 353 358 360 368 374 375 380 381 382 384 387 392 393 396 397 398 399 401 402 406 409 413 419 422 423 424 432 440 a 2 3 4 7 9 11 16 22 24 28 30 33 34 35 36 40 49 50 55 56 65 67 76 77 86 98 101 102 103 105 108 115 116 117 120 126 127 130 132 139 140 149 150 155 156 158 164 165 166 171 172 175 181 182 183 187 198 200 201 203 204 205 206 213 215 217 219 223 225 228 231 235 239 256 262 271 274 275 281 282 286 288 289 293 294 295 301 303 306 307 308 310 312 314 319 322 323 324 325 326 328 329 332 335 336 338 341 346 347 348 349 350 353 358 368 374 375 380 381 382 384 387 392 393 396 397 398 399 401 402 406 409 413 419 422 423 424 432 440 a 2 3 4 7 9 11 22 24 28 30 33 34 35 36 40 49 50 55 56 65 67 76 77 86 98 101 102 103 105 108 115 116 117 120 126 127 130 132 139 140 149 150 155 156 158 164 165 166 171 172 175 181 182 183 185 187 198 200 201 203 204 205 206 213 215 217 219 223 225 228 231 235 239 256 262 271 274 275 281 282 286 288 289 293 294 295 301 303 306 307 308 310 312 314 319 322 323 324 325 326 328 329 332 335 336 338 341 346 347 348 349 350 353 358 368 374 375 380 381 382 384 387 392 393 396 397 398 399 401 402 406 409 413 419 422 423 424 432 440 a 2 3 4 7 9 11 22 24 28 30 33 34 35 36 40 49 50 55 56 65 67 76 77 86 98 101 102 103 105 108 115 116 117 120 126 127 130 132 139 140 149 150 155 156 158 164 165 166 171 172 175 181 182 183 185 187 198 200 201 203 204 206 213 215 217 219 223 225 228 231 235 239 256 262 271 274 275 281 282 285 286 288 289 293 294 295 301 303 306 307 308 310 312 314 319 322 323 324 325 326 328 329 332 335 336 338 341 346 347 348 349 350 353 358 368 374 375 380 381 382 384 387 392 393 396 397 398 399 401 402 406 409 413 419 422 423 424 432 440 a 2 3 4 7 9 11 22 24 28 30 33 34 35 36 40 49 50 55 56 65 67 76 77 86 98 101 102 103 105 108 115 116 117 120 126 127 130 132 139 140 149 150 155 156 158 164 165 166 171 172 175 181 182 183 185 187 198 200 201 203 204 206 213 215 217 219 223 225 228 231 235 239 256 262 271 274 275 281 282 285 286 288 289 293 294 295 297 301 303 306 307 308 310 312 314 319 322 323 324 325 326 328 329 332 335 336 338 341 346 347 348 349 350 353 358 368 374 375 380 381 382 384 387 392 393 396 397 398 399 401 402 406 409 413 422 423 424 432 440 a 2 3 4 7 9 11 22 24 28 30 33 34 35 36 40 49 50 55 56 60 65 67 76 77 86 98 101 102 103 105 108 115 116 117 120 126 127 130 132 139 140 149 150 155 156 158 164 165 166 171 172 175 181 182 183 185 187 198 200 201 203 204 206 213 215 217 219 223 225 228 231 235 239 256 262 271 274 275 281 282 285 286 288 289 293 294 295 297 301 303 306 307 308 310 312 314 319 322 323 324 325 326 328 329 332 335 336 338 341 346 347 348 349 350 353 358 368 374 375 380 381 382 384 387 392 393 396 397 398 399 401 402 409 413 422 423 424 432 440 a 2 3 4 7 8 9 11 22 24 28 30 33 34 35 36 40 49 50 55 56 60 65 67 76 77 86 98 101 102 103 105 108 115 116 117 120 126 127 130 132 139 140 149 150 155 156 158 164 165 166 171 172 175 181 182 183 185 187 198 200 201 203 204 206 213 215 217 219 223 225 228 231 235 239 256 262 271 274 275 281 282 285 286 288 289 293 294 295 297 301 303 306 307 308 310 312 314 319 322 323 324 325 326 328 329 332 335 336 338 341 346 347 348 349 350 353 358 368 374 375 380 381 382 384 387 392 393 396 397 398 399 401 402 413 422 423 424 432 440 a 2 3 4 7 8 9 11 22 24 28 30 33 34 35 36 40 49 50 55 56 60 65 67 76 77 86 98 101 102 103 105 108 115 116 117 120 126 127 130 132 139 140 149 150 155 156 158 164 165 166 171 172 175 181 182 183 185 187 198 200 201 203 204 206 213 215 217 219 223 225 228 231 235 239 256 262 271 274 275 281 282 285 286 288 289 293 294 295 297 301 303 306 307 308 312 314 319 322 323 324 325 326 328 329 330 332 335 336 338 341 346 347 348 349 350 353 358 368 374 375 380 381 382 384 387 392 393 396 397 398 399 401 402 413 422 423 424 432 440 a 2 3 4 7 8 9 11 22 24 28 33 34 35 36 40 49 50 55 56 60 65 67 76 77 86 98 101 102 103 105 108 115 116 117 120 126 127 130 132 139 140 149 150 155 156 158 164 165 166 171 172 175 181 182 183 185 187 198 200 201 203 204 206 213 215 217 219 223 225 228 231 235 239 256 262 271 274 275 281 282 285 286 288 289 293 294 295 297 301 303 306 307 308 312 314 319 322 323 324 325 326 328 329 330 332 335 336 338 341 346 347 348 349 350 353 358 368 374 375 380 381 382 384 387 392 393 396 397 398 399 401 402 413 422 423 424 432 434 440 a 2 3 4 7 8 9 11 22 24 28 33 34 35 36 40 49 50 55 56 60 65 67 76 77 86 98 101 102 103 105 108 115 116 117 120 126 127 130 132 139 140 149 150 155 156 158 164 166 171 172 175 181 182 183 185 187 198 200 201 203 204 206 213 215 217 219 223 225 228 231 235 239 256 262 271 274 275 281 282 285 286 288 289 293 294 295 297 299 301 303 306 307 308 312 314 319 322 323 324 325 326 328 329 330 332 335 336 338 341 346 347 348 349 350 353 358 368 374 375 380 381 382 384 387 392 393 396 397 398 399 401 402 413 422 423 424 432 434 440 a 2 3 4 7 8 9 11 22 24 28 33 34 35 36 40 49 50 55 56 60 65 67 76 77 86 98 101 102 103 105 108 115 116 117 120 126 127 130 132 139 140 149 150 155 156 158 162 164 166 171 172 175 181 182 183 185 187 198 200 201 203 204 206 213 215 217 219 223 225 228 231 235 239 256 262 271 274 275 281 282 285 286 288 289 293 294 295 297 299 301 303 306 307 308 312 314 319 322 323 324 325 326 329 330 332 335 336 338 341 346 347 348 349 350 353 358 368 374 375 380 381 382 384 387 392 393 396 397 398 399 401 402 413 422 423 424 432 434 440 a 2 3 4 7 8 9 11 22 24 28 33 34 35 36 40 49 50 55 56 60 65 67 76 77 86 98 101 102 103 105 108 115 116 117 120 126 127 129 130 132 139 140 149 150 155 156 158 162 164 166 171 172 175 181 182 183 185 187 198 200 201 203 204 206 213 215 217 219 223 225 228 231 235 239 256 262 271 274 275 281 282 285 286 288 289 293 294 295 297 299 301 303 306 307 312 314 319 322 323 324 325 326 329 330 332 335 336 338 341 346 347 348 349 350 353 358 368 374 375 380 381 382 384 387 392 393 396 397 398 399 401 402 413 422 423 424 432 434 440 a 2 3 4 7 8 9 11 22 24 28 33 34 35 36 40 49 50 55 56 60 65 67 76 77 86 98 101 102 103 105 108 115 116 117 120 126 127 129 130 132 139 140 149 150 155 156 158 162 164 166 171 172 175 181 182 183 185 187 198 200 201 203 204 206 213 215 216 217 219 223 225 228 231 235 239 256 262 271 274 275 281 282 285 286 288 289 293 294 295 297 299 301 303 306 307 312 314 319 322 323 324 325 326 329 330 332 335 336 338 341 346 347 348 349 350 353 358 368 374 375 380 381 382 384 387 392 393 396 397 398 399 402 413 422 423 424 432 434 440 a 2 3 4 7 8 9 11 22 24 28 33 34 35 36 40 49 50 55 56 60 65 67 76 77 86 98 101 102 103 105 108 115 116 117 120 126 127 129 130 132 139 140 141 149 150 155 156 158 162 164 166 171 172 175 181 182 183 185 187 198 200 201 203 204 206 213 216 217 219 223 225 228 231 235 239 256 262 271 274 275 281 282 285 286 288 289 293 294 295 297 299 301 303 306 307 312 314 319 322 323 324 325 326 329 330 332 335 336 338 341 346 347 348 349 350 353 358 368 374 375 380 381 382 384 387 392 393 396 397 398 399 402 413 422 423 424 432 434 440 a 2 3 4 8 9 11 22 24 28 33 34 35 36 40 49 50 55 56 60 65 67 76 77 86 98 101 102 103 105 108 115 116 117 120 126 127 129 130 132 139 140 141 149 150 155 156 158 162 164 166 171 172 175 181 182 183 185 187 198 200 201 203 204 206 213 216 217 219 223 225 228 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 297 299 301 303 306 307 312 314 319 322 323 324 325 326 329 330 332 335 336 338 341 346 347 348 349 350 353 358 368 374 375 380 381 382 384 387 392 393 396 397 398 399 402 413 422 423 424 432 434 440 a 2 3 4 8 9 11 22 24 28 33 34 35 36 40 49 50 55 56 60 65 67 76 77 83 86 98 101 102 103 105 108 115 116 117 120 126 127 129 130 132 139 140 141 149 150 155 156 158 162 166 171 172 175 181 182 183 185 187 198 200 201 203 204 206 213 216 217 219 223 225 228 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 297 299 301 303 306 307 312 314 319 322 323 324 325 326 329 330 332 335 336 338 341 346 347 348 349 350 353 358 368 374 375 380 381 382 384 387 392 393 396 397 398 399 402 413 422 423 424 432 434 440 a 2 3 4 8 9 11 22 24 28 33 34 35 36 40 49 50 55 56 60 65 67 76 83 86 98 101 102 103 105 108 115 116 117 120 126 127 129 130 132 139 140 141 149 150 155 156 158 162 166 171 172 175 181 182 183 185 187 198 200 201 203 204 206 213 216 217 218 219 223 225 228 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 297 299 301 303 306 307 312 314 319 322 323 324 325 326 329 330 332 335 336 338 341 346 347 348 349 350 353 358 368 374 375 380 381 382 384 387 392 393 396 397 398 399 402 413 422 423 424 432 434 440 a 2 3 4 8 9 11 22 24 28 33 34 35 36 40 49 50 55 56 60 65 67 76 83 86 98 101 102 103 105 108 115 116 117 120 126 127 129 130 132 139 140 141 149 150 155 156 158 162 166 171 172 175 181 183 185 187 198 200 201 203 204 206 213 216 217 218 219 223 225 228 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 297 299 301 303 306 307 311 312 314 319 322 323 324 325 326 329 330 332 335 336 338 341 346 347 348 349 350 353 358 368 374 375 380 381 382 384 387 392 393 396 397 398 399 402 413 422 423 424 432 434 440 a 2 3 4 8 9 11 22 24 28 33 34 35 36 40 49 50 55 56 60 65 67 76 83 86 88 98 101 102 103 105 108 115 116 117 120 126 129 130 132 139 140 141 149 150 155 156 158 162 166 171 172 175 181 183 185 187 198 200 201 203 204 206 213 216 217 218 219 223 225 228 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 297 299 301 303 306 307 311 312 314 319 322 323 324 325 326 329 330 332 335 336 338 341 346 347 348 349 350 353 358 368 374 375 380 381 382 384 387 392 393 396 397 398 399 402 413 422 423 424 432 434 440 a 2 3 4 8 9 11 22 24 28 33 34 35 36 40 49 50 55 56 60 65 67 76 83 86 88 98 101 102 103 105 108 115 116 117 120 126 129 130 132 139 140 141 149 150 155 156 158 162 166 171 172 175 181 183 185 187 198 200 201 203 204 206 213 216 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 297 299 301 303 306 307 311 312 314 319 322 323 324 325 326 329 330 332 335 336 338 341 346 347 348 349 350 353 358 368 374 375 380 381 382 384 387 393 396 397 398 399 402 413 422 423 424 432 434 440 a 2 3 4 8 9 11 22 24 28 33 34 35 36 40 49 50 55 56 60 65 67 76 83 86 88 98 101 102 103 105 108 115 116 117 120 126 129 130 132 139 140 141 149 150 155 156 158 162 166 171 172 175 181 183 185 198 200 201 203 204 206 213 216 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 297 299 301 303 306 307 311 312 314 319 322 323 324 325 326 329 330 332 335 336 338 341 346 347 348 349 350 353 358 368 374 375 380 381 382 384 387 389 393 396 397 398 399 402 413 422 423 424 432 434 440 a 2 3 4 8 9 11 22 24 28 33 34 35 36 40 49 50 56 60 65 67 76 83 86 88 98 101 102 103 105 108 115 116 117 120 126 129 130 132 139 140 141 149 150 155 156 158 162 166 171 172 175 181 183 185 198 200 201 203 204 206 213 216 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 297 299 301 303 306 307 311 312 314 319 322 323 324 325 326 329 330 332 335 336 338 341 346 347 348 349 350 353 358 368 374 375 380 381 382 384 387 389 393 396 397 398 399 402 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 22 24 28 33 34 35 36 40 49 50 56 60 65 67 76 83 86 88 98 101 102 103 105 108 115 116 117 120 126 129 130 132 139 140 141 149 150 155 156 158 162 166 171 172 175 181 183 185 192 198 200 201 203 204 206 213 216 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 297 299 301 303 306 307 311 312 314 319 322 323 324 325 326 329 330 332 335 336 338 341 346 347 348 349 350 353 368 374 375 380 381 382 384 387 389 393 396 397 398 399 402 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 22 24 28 34 35 36 40 49 50 56 60 65 67 76 83 86 88 98 101 102 103 105 106 108 115 116 117 120 126 129 130 132 139 140 141 149 150 155 156 158 162 166 171 172 175 181 183 185 192 198 200 201 203 204 206 213 216 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 297 299 301 303 306 307 311 312 314 319 322 323 324 325 326 329 330 332 335 336 338 341 346 347 348 349 350 353 368 374 375 380 381 382 384 387 389 393 396 397 398 399 402 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 22 24 28 34 35 36 40 49 50 56 60 65 67 76 83 86 88 98 101 102 103 105 106 108 115 116 117 120 126 129 130 132 139 140 141 149 150 155 156 158 162 166 171 172 175 181 183 185 192 198 200 201 203 204 206 213 216 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 297 299 301 303 306 307 311 312 314 319 322 323 324 325 326 329 330 332 335 336 338 341 346 347 348 349 353 368 374 375 380 381 382 384 387 389 393 396 397 398 399 402 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 22 24 28 34 35 36 40 49 50 56 60 65 67 76 83 86 88 98 101 102 103 105 106 108 109 115 116 117 120 126 129 130 132 139 140 141 149 150 155 156 158 162 171 172 175 181 183 185 192 198 200 201 203 204 206 213 216 217 218 219 223 225 228 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 297 299 301 303 306 307 311 312 314 319 322 323 324 325 326 329 330 332 335 336 338 341 346 347 348 349 353 368 374 375 380 381 382 384 387 389 393 396 397 398 399 402 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 22 24 28 34 35 36 40 49 50 56 60 65 67 76 83 86 88 98 101 102 103 105 106 108 109 115 116 117 120 126 129 130 132 139 140 141 149 150 155 156 158 162 171 172 175 181 183 185 192 198 200 201 203 204 206 213 216 217 218 219 223 225 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 297 299 301 303 306 307 311 312 314 319 322 323 324 325 326 329 330 332 334 335 336 338 341 346 347 348 349 353 368 374 375 380 381 382 384 387 389 393 396 397 398 399 402 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 49 50 56 60 65 67 76 83 86 88 98 101 102 103 105 106 108 109 115 116 117 120 126 129 130 132 139 140 141 149 150 155 156 158 162 171 172 175 181 183 185 192 198 200 201 203 204 206 213 216 217 218 219 223 225 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 297 299 301 303 306 307 311 312 314 315 319 322 323 324 325 326 329 330 332 334 335 336 338 341 346 347 348 349 353 368 374 375 380 381 382 384 387 389 393 396 397 398 399 402 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 49 50 56 60 65 67 76 83 86 88 98 101 102 103 105 106 108 109 115 116 117 120 126 129 130 132 139 140 141 149 150 155 156 158 162 171 172 175 181 183 185 192 198 200 201 203 204 206 213 216 217 218 219 223 225 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 303 306 307 311 312 314 315 322 323 324 325 326 329 330 332 334 335 336 338 341 346 347 348 349 353 368 374 375 380 381 382 384 387 389 393 396 397 398 399 402 413 422 423 424 428 432 434 440 c Step: 86 Command being timed: "python3 run_3.py --shortest /benchmark/random_instance/random_instance034_graph002.col /benchmark/random_instance/random_instance034_graph002_01.dat" User time (seconds): 4.02 System time (seconds): 0.16 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:04.19 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): 159880 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 201789 Voluntary context switches: 16 Involuntary context switches: 24 Swaps: 0 File system inputs: 0 File system outputs: 608 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 03:23:45 2023]