#BEGIN: [Tue Sep 26 03:36:40 2023] #HOST: s14 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance035_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance035_graph002_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest -t4 /benchmark/random_instance/random_instance035_graph002.col /benchmark/random_instance/random_instance035_graph002_01.dat c /benchmark/random_instance/random_instance035_graph002.col c /benchmark/random_instance/random_instance035_graph002_01.dat s 220 27 163 51 231 152 12 77 389 429 39 79 443 7 341 277 98 76 209 407 92 278 69 291 160 314 269 398 299 391 43 236 316 228 143 301 183 349 254 126 263 282 148 35 52 428 448 347 239 222 117 206 434 84 294 37 225 113 82 175 42 201 40 48 173 23 94 18 132 134 91 344 361 33 34 250 370 285 191 310 315 366 439 8 59 305 400 164 306 25 244 30 71 423 432 14 433 381 438 144 116 240 233 85 100 66 333 376 177 22 447 441 342 403 245 215 193 338 256 270 20 138 6 330 81 430 121 60 304 179 110 401 437 182 450 440 147 394 101 335 297 11 190 371 223 387 328 t 194 136 372 370 379 425 391 187 253 178 116 281 282 180 449 124 163 119 239 202 305 356 197 342 205 87 302 298 274 145 384 123 224 234 252 186 209 159 48 357 312 411 69 99 430 138 227 437 8 258 422 272 67 204 113 310 286 17 273 140 353 33 142 89 271 377 88 320 299 206 183 323 135 185 176 216 263 129 149 445 118 166 267 434 230 80 100 293 409 400 369 406 141 256 105 57 79 7 219 393 54 112 276 201 34 333 38 371 359 22 334 40 249 56 374 311 397 50 182 328 223 304 309 222 144 325 360 417 404 11 285 44 432 351 164 261 14 246 25 314 24 244 240 154 349 101 188 a YES a 6 7 8 11 12 14 18 20 22 23 25 27 30 33 34 35 37 39 40 42 43 48 51 52 59 60 66 69 71 76 77 79 81 82 84 85 91 92 94 98 100 101 110 113 116 117 121 126 132 134 138 143 144 147 148 152 160 163 164 173 175 177 179 182 183 190 191 193 201 206 209 215 220 222 223 225 228 231 233 236 239 240 244 245 250 254 256 263 269 270 277 278 282 285 291 294 297 299 301 304 305 306 310 314 315 316 328 330 333 335 338 341 342 344 347 349 361 366 370 371 376 381 387 389 391 394 398 400 401 403 407 423 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 a 6 7 8 11 12 14 18 20 22 23 25 27 30 33 34 35 37 39 40 42 43 48 51 52 59 60 66 69 71 76 77 79 81 82 84 85 91 92 94 98 100 101 110 112 113 116 117 121 126 132 134 138 143 144 147 148 160 163 164 173 175 177 179 182 183 190 191 193 201 206 209 215 220 222 223 225 228 231 233 236 239 240 244 245 250 254 256 263 269 270 277 278 282 285 291 294 297 299 301 304 305 306 310 314 315 316 328 330 333 335 338 341 342 344 347 349 361 366 370 371 376 381 387 389 391 394 398 400 401 403 407 423 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 a 6 7 8 11 12 14 18 20 22 23 25 27 30 33 34 35 37 39 40 42 43 48 51 52 59 60 66 67 69 71 76 77 79 81 82 84 85 91 92 94 98 100 101 110 112 113 116 117 121 126 132 134 138 143 144 147 148 160 163 164 173 175 177 179 182 183 190 191 193 201 206 209 215 220 222 223 225 228 231 233 236 239 240 244 245 250 254 256 263 269 270 278 282 285 291 294 297 299 301 304 305 306 310 314 315 316 328 330 333 335 338 341 342 344 347 349 361 366 370 371 376 381 387 389 391 394 398 400 401 403 407 423 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 a 6 7 8 11 12 14 18 20 22 23 25 27 30 33 34 35 37 39 40 42 43 48 51 52 59 60 66 67 69 71 76 77 79 81 82 84 85 91 92 94 98 100 101 110 112 113 116 117 121 126 132 134 138 143 144 147 148 160 163 164 173 175 177 179 182 183 190 191 193 201 206 209 215 220 222 223 225 228 231 233 236 239 240 244 245 250 254 256 263 269 270 278 282 285 291 294 297 299 301 304 305 306 310 314 315 316 328 330 333 335 338 341 342 344 347 349 361 370 371 376 381 387 389 391 394 398 400 401 403 407 423 425 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 a 6 7 8 11 12 14 18 20 22 23 25 27 33 34 35 37 39 40 42 43 48 51 52 59 60 66 67 69 71 76 77 79 81 82 84 85 91 92 94 98 100 101 110 112 113 116 117 121 126 132 134 138 143 144 147 148 160 163 164 173 175 177 179 182 183 190 191 193 201 206 209 215 220 222 223 225 228 231 233 236 239 240 244 245 250 253 254 256 263 269 270 278 282 285 291 294 297 299 301 304 305 306 310 314 315 316 328 330 333 335 338 341 342 344 347 349 361 370 371 376 381 387 389 391 394 398 400 401 403 407 423 425 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 a 6 7 8 11 12 14 18 20 22 23 25 27 33 34 35 37 39 40 42 43 48 51 52 59 60 66 67 69 76 77 79 81 82 84 85 91 92 94 98 100 101 110 112 113 116 117 121 126 132 134 138 143 144 147 148 160 163 164 173 175 177 179 180 182 183 190 191 193 201 206 209 215 220 222 223 225 228 231 233 236 239 240 244 245 250 253 254 256 263 269 270 278 282 285 291 294 297 299 301 304 305 306 310 314 315 316 328 330 333 335 338 341 342 344 347 349 361 370 371 376 381 387 389 391 394 398 400 401 403 407 423 425 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 a 6 7 8 11 12 14 18 20 22 23 25 27 33 34 35 37 39 40 42 43 48 51 52 59 60 66 67 69 76 77 79 81 82 84 85 91 92 94 98 100 101 110 112 113 116 117 121 126 132 134 138 143 144 147 148 160 163 164 173 175 177 179 180 182 183 190 191 201 206 209 215 220 222 223 225 228 231 233 236 239 240 244 245 250 253 254 256 263 269 270 278 282 285 291 294 297 299 301 304 305 306 310 314 315 316 320 328 330 333 335 338 341 342 344 347 349 361 370 371 376 381 387 389 391 394 398 400 401 403 407 423 425 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 a 6 7 8 11 14 18 20 22 23 25 27 33 34 35 37 39 40 42 43 48 51 52 59 60 66 67 69 76 77 79 81 82 84 85 91 92 94 98 100 101 110 112 113 116 117 121 126 132 134 138 143 144 145 147 148 160 163 164 173 175 177 179 180 182 183 190 191 201 206 209 215 220 222 223 225 228 231 233 236 239 240 244 245 250 253 254 256 263 269 270 278 282 285 291 294 297 299 301 304 305 306 310 314 315 316 320 328 330 333 335 338 341 342 344 347 349 361 370 371 376 381 387 389 391 394 398 400 401 403 407 423 425 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 a 6 7 8 11 14 18 20 22 23 25 33 34 35 37 39 40 42 43 48 51 52 59 60 66 67 69 76 77 79 81 82 84 85 91 92 94 98 100 101 110 112 113 116 117 121 126 132 134 138 143 144 145 147 148 160 163 164 173 175 177 179 180 182 183 190 191 201 206 209 215 220 222 223 225 228 231 233 236 239 240 244 245 250 253 254 256 263 269 270 278 282 285 291 294 297 299 301 304 305 306 310 314 315 316 320 328 330 333 334 335 338 341 342 344 347 349 361 370 371 376 381 387 389 391 394 398 400 401 403 407 423 425 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 a 6 7 8 11 14 18 20 22 23 25 33 34 35 37 39 40 42 43 48 51 52 59 60 66 67 69 76 77 79 81 82 84 85 91 92 94 98 100 101 110 112 113 116 117 121 126 132 134 138 143 144 145 147 148 160 163 164 173 175 177 179 180 182 183 190 191 201 206 209 215 220 222 223 225 228 231 233 236 239 240 244 245 250 253 254 256 263 269 270 278 282 285 291 294 297 299 301 304 305 306 310 314 315 316 320 328 330 333 334 335 338 341 342 344 347 349 361 369 370 371 376 381 387 389 391 394 398 400 401 407 423 425 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 a 6 7 8 11 14 18 20 22 23 25 33 34 35 37 39 40 42 43 48 51 52 59 60 66 67 69 76 77 79 81 82 84 85 91 92 94 98 100 101 110 112 113 116 117 121 126 132 134 138 143 144 145 147 148 160 163 164 173 175 176 177 179 180 182 183 190 191 201 206 209 215 220 222 223 225 228 231 233 236 239 240 244 245 250 253 254 256 263 269 270 278 282 285 291 294 297 299 301 304 305 306 310 314 315 316 320 328 330 333 334 335 338 341 342 344 347 349 361 369 370 371 376 381 387 389 391 394 398 400 401 407 423 425 428 429 430 432 433 434 437 438 439 440 441 443 447 448 a 7 8 11 14 18 20 22 23 25 33 34 35 37 39 40 42 43 48 51 52 59 60 66 67 69 76 77 79 81 82 84 85 91 92 94 98 100 101 110 112 113 116 117 121 126 132 134 138 143 144 145 147 148 160 163 164 173 175 176 177 179 180 182 183 190 191 201 206 209 215 220 222 223 225 227 228 231 233 236 239 240 244 245 250 253 254 256 263 269 270 278 282 285 291 294 297 299 301 304 305 306 310 314 315 316 320 328 330 333 334 335 338 341 342 344 347 349 361 369 370 371 376 381 387 389 391 394 398 400 401 407 423 425 428 429 430 432 433 434 437 438 439 440 441 443 447 448 a 7 8 11 14 18 20 22 23 25 33 34 35 37 39 40 42 43 48 51 52 59 60 66 67 69 76 77 79 81 82 84 85 89 91 92 94 98 100 101 110 112 113 116 117 121 126 132 134 138 143 144 145 147 148 160 163 164 173 175 176 177 179 180 182 183 190 191 201 206 209 215 220 222 223 225 227 228 231 233 236 239 240 244 245 250 253 254 256 263 269 270 278 282 285 291 294 297 299 301 304 305 306 310 314 315 316 320 328 330 333 334 335 338 341 342 344 347 349 361 369 370 371 376 381 387 389 391 394 398 400 401 407 423 425 428 429 430 432 433 434 437 438 440 441 443 447 448 a 7 8 11 14 18 20 22 23 25 33 34 35 37 39 40 42 43 48 51 52 59 60 66 67 69 76 77 79 81 82 84 85 89 91 92 94 98 100 101 110 112 113 116 117 121 126 132 134 138 143 144 145 147 148 160 163 164 173 175 176 177 179 180 182 183 190 191 201 206 209 215 220 222 223 225 227 228 231 233 236 239 240 244 245 250 253 254 256 263 269 270 278 282 285 291 294 297 299 301 304 305 306 310 314 315 316 320 325 328 330 333 334 335 338 341 342 344 347 349 361 369 370 371 376 381 387 389 391 394 398 400 401 407 423 425 429 430 432 433 434 437 438 440 441 443 447 448 a 7 8 11 14 18 20 22 23 25 33 34 35 37 39 40 42 43 48 51 52 59 60 66 67 69 76 77 79 81 82 84 85 89 91 92 94 98 100 101 110 112 113 116 117 121 126 132 134 138 143 144 145 147 148 160 163 164 173 175 176 177 179 180 182 183 190 191 201 206 209 215 220 222 223 225 227 228 231 233 236 239 240 244 250 253 254 256 263 269 270 278 282 285 291 294 297 299 301 304 305 306 310 314 315 316 320 325 328 330 333 334 335 338 341 342 344 347 349 361 369 370 371 376 381 387 389 391 394 398 400 401 404 407 423 425 429 430 432 433 434 437 438 440 441 443 447 448 a 7 8 11 14 18 20 22 23 25 33 34 35 37 39 40 42 43 48 51 52 59 60 66 67 69 76 77 79 81 82 84 85 89 91 92 94 98 100 101 110 112 113 116 117 121 126 132 134 138 143 144 145 147 148 160 163 164 173 175 176 177 179 180 182 183 190 191 201 206 209 215 220 222 223 225 227 228 231 233 236 239 240 244 250 253 254 256 263 269 270 278 282 285 291 294 297 298 299 301 304 305 306 310 314 315 316 320 325 328 330 333 334 335 338 341 342 344 347 349 361 369 370 371 376 381 387 389 391 398 400 401 404 407 423 425 429 430 432 433 434 437 438 440 441 443 447 448 a 7 8 11 14 18 20 22 23 25 33 34 35 37 39 40 42 43 48 51 52 59 60 66 67 69 76 77 79 81 82 84 85 89 91 92 94 98 100 101 110 112 113 116 117 121 126 132 134 138 143 144 145 147 148 160 163 164 173 175 176 177 179 180 182 183 190 191 201 206 209 215 220 222 223 225 227 228 231 233 234 236 239 240 244 250 253 254 256 263 269 270 278 282 285 291 294 297 298 299 301 304 305 306 310 314 315 316 320 325 328 330 333 334 335 338 341 342 347 349 361 369 370 371 376 381 387 389 391 398 400 401 404 407 423 425 429 430 432 433 434 437 438 440 441 443 447 448 a 7 8 11 14 18 20 22 23 25 33 34 35 37 39 40 42 43 48 51 52 59 60 66 67 69 76 77 79 81 82 84 85 89 91 92 94 98 100 101 110 112 113 116 117 121 126 132 134 138 143 144 145 147 148 160 163 164 173 175 176 177 179 180 182 183 190 191 201 206 209 215 220 222 223 225 227 228 231 233 234 236 239 240 244 249 250 253 254 256 263 269 270 278 282 285 291 294 297 298 299 301 304 305 306 310 314 316 320 325 328 330 333 334 335 338 341 342 347 349 361 369 370 371 376 381 387 389 391 398 400 401 404 407 423 425 429 430 432 433 434 437 438 440 441 443 447 448 a 7 8 11 14 18 20 22 23 25 33 34 35 37 39 40 42 43 48 51 52 59 60 66 67 69 76 77 79 81 82 84 85 89 91 92 94 98 100 101 110 112 113 116 117 121 126 132 134 138 143 144 145 147 148 160 163 164 173 175 176 177 179 180 182 183 190 191 201 206 209 215 220 222 223 225 227 228 231 233 234 236 239 240 244 249 250 253 254 256 263 269 270 278 282 285 291 294 297 298 299 301 304 305 306 310 314 316 320 325 328 330 333 334 335 338 341 342 347 349 361 369 370 371 376 381 387 389 391 398 400 401 404 407 422 423 425 429 430 432 433 434 437 438 440 441 443 447 a 7 8 11 14 18 20 22 23 24 25 33 34 35 37 39 40 42 43 48 51 52 59 60 66 67 69 76 77 79 81 82 84 85 89 91 92 94 98 100 101 110 112 113 116 117 121 126 132 134 138 143 144 145 147 148 160 163 164 173 175 176 177 179 180 182 183 190 191 201 206 209 215 220 222 223 225 227 228 231 233 234 236 239 240 244 249 250 253 254 256 263 269 270 278 282 285 291 294 297 298 299 301 304 305 306 310 314 316 320 325 328 330 333 334 335 338 341 342 347 349 369 370 371 376 381 387 389 391 398 400 401 404 407 422 423 425 429 430 432 433 434 437 438 440 441 443 447 a 7 8 11 14 18 20 22 23 24 25 33 34 35 37 39 40 42 43 48 51 52 59 60 66 67 69 76 77 79 81 82 84 85 89 91 92 94 98 100 101 110 112 113 116 117 121 126 132 134 138 143 144 145 147 148 160 163 164 173 175 176 177 179 180 182 183 190 191 197 201 206 209 215 220 222 223 225 227 228 231 233 234 236 239 240 244 249 250 253 254 256 263 269 270 282 285 291 294 297 298 299 301 304 305 306 310 314 316 320 325 328 330 333 334 335 338 341 342 347 349 369 370 371 376 381 387 389 391 398 400 401 404 407 422 423 425 429 430 432 433 434 437 438 440 441 443 447 a 7 8 11 14 18 20 22 23 24 25 33 34 35 37 39 40 42 43 48 51 52 59 60 66 67 69 76 77 79 81 82 84 85 89 91 92 94 98 100 101 110 112 113 116 117 121 126 132 134 138 143 144 145 147 160 163 164 173 175 176 177 179 180 182 183 190 191 197 201 206 209 215 220 222 223 225 227 228 231 233 234 236 239 240 244 249 250 253 254 256 263 269 270 282 285 286 291 294 297 298 299 301 304 305 306 310 314 316 320 325 328 330 333 334 335 338 341 342 347 349 369 370 371 376 381 387 389 391 398 400 401 404 407 422 423 425 429 430 432 433 434 437 438 440 441 443 447 a 7 8 11 14 18 20 22 23 24 25 33 34 35 37 39 40 42 43 48 51 52 59 60 66 67 69 76 77 79 81 82 84 85 89 91 92 94 98 100 101 110 112 113 116 117 121 126 132 134 138 143 144 145 147 160 163 164 173 175 176 177 179 180 182 183 190 191 197 201 206 209 220 222 223 225 227 228 231 233 234 236 239 240 244 249 250 253 254 256 258 263 269 270 282 285 286 291 294 297 298 299 301 304 305 306 310 314 316 320 325 328 330 333 334 335 338 341 342 347 349 369 370 371 376 381 387 389 391 398 400 401 404 407 422 423 425 429 430 432 433 434 437 438 440 441 443 447 a 7 8 11 14 18 20 22 23 24 25 33 34 35 37 39 40 42 43 48 51 52 59 60 66 67 69 76 77 79 81 82 84 85 89 91 92 94 98 100 101 110 112 113 116 117 121 126 132 134 138 141 143 144 145 147 160 163 164 173 175 176 177 179 180 182 183 190 191 197 201 206 209 220 222 223 225 227 228 231 233 234 236 239 240 244 249 250 253 254 256 258 263 269 270 282 285 286 291 294 297 298 299 301 304 305 306 310 314 316 320 325 328 330 333 334 335 338 341 342 347 349 369 370 371 376 381 387 391 398 400 401 404 407 422 423 425 429 430 432 433 434 437 438 440 441 443 447 a 7 8 11 14 18 20 22 23 24 25 33 34 37 39 40 42 43 48 51 52 59 60 66 67 69 76 77 79 81 82 84 85 89 91 92 94 98 100 101 110 112 113 116 117 121 126 132 134 138 141 143 144 145 147 160 163 164 173 175 176 177 179 180 182 183 188 190 191 197 201 206 209 220 222 223 225 227 228 231 233 234 236 239 240 244 249 250 253 254 256 258 263 269 270 282 285 286 291 294 297 298 299 301 304 305 306 310 314 316 320 325 328 330 333 334 335 338 341 342 347 349 369 370 371 376 381 387 391 398 400 401 404 407 422 423 425 429 430 432 433 434 437 438 440 441 443 447 a 7 8 11 14 18 20 22 23 24 25 33 34 37 39 40 42 43 48 51 52 59 60 66 67 69 76 77 79 81 82 84 85 89 91 92 94 98 100 101 110 112 113 116 117 121 126 132 134 138 141 143 144 145 147 160 163 164 173 175 176 177 179 180 182 183 188 190 191 197 201 206 209 220 222 223 225 227 228 231 233 234 236 239 240 244 249 250 253 254 256 258 263 269 270 282 285 286 291 294 298 299 301 304 305 306 310 314 316 320 325 328 330 333 334 335 338 341 342 347 349 359 369 370 371 376 381 387 391 398 400 401 404 407 422 423 425 429 430 432 433 434 437 438 440 441 443 447 a 7 8 11 14 18 20 22 23 24 25 33 34 37 39 40 42 43 48 50 51 52 59 60 66 67 69 76 77 79 81 82 84 85 89 91 92 94 98 100 101 110 112 113 116 117 121 132 134 138 141 143 144 145 147 160 163 164 173 175 176 177 179 180 182 183 188 190 191 197 201 206 209 220 222 223 225 227 228 231 233 234 236 239 240 244 249 250 253 254 256 258 263 269 270 282 285 286 291 294 298 299 301 304 305 306 310 314 316 320 325 328 330 333 334 335 338 341 342 347 349 359 369 370 371 376 381 387 391 398 400 401 404 407 422 423 425 429 430 432 433 434 437 438 440 441 443 447 a 7 8 11 14 18 20 22 23 24 25 33 34 37 39 40 42 43 48 50 51 52 56 59 60 66 67 69 76 77 79 81 82 84 85 89 91 92 94 98 100 101 110 112 113 116 117 121 132 134 138 141 144 145 147 160 163 164 173 175 176 177 179 180 182 183 188 190 191 197 201 206 209 220 222 223 225 227 228 231 233 234 236 239 240 244 249 250 253 254 256 258 263 269 270 282 285 286 291 294 298 299 301 304 305 306 310 314 316 320 325 328 330 333 334 335 338 341 342 347 349 359 369 370 371 376 381 387 391 398 400 401 404 407 422 423 425 429 430 432 433 434 437 438 440 441 443 447 a 7 8 11 14 18 20 22 23 24 25 33 34 37 39 40 42 43 48 50 51 52 56 59 60 66 67 69 76 77 79 81 82 84 85 89 91 92 94 98 100 101 110 112 113 116 117 121 132 134 138 141 144 145 147 160 163 164 173 175 176 177 179 180 182 183 188 190 191 197 201 206 209 220 222 223 225 227 228 231 233 234 236 239 240 244 249 250 253 254 256 258 263 269 270 272 282 285 286 291 294 298 299 301 304 305 306 310 314 316 320 325 328 330 333 334 335 338 341 342 347 349 359 369 370 371 376 381 387 391 398 400 401 404 407 422 423 425 429 430 432 433 434 437 438 440 441 443 a 7 8 11 14 18 20 22 23 24 25 33 34 37 39 40 42 43 48 50 51 52 56 59 60 66 67 69 76 77 79 81 82 84 85 89 91 94 98 100 101 110 112 113 116 117 121 132 134 138 141 144 145 147 160 163 164 173 175 176 177 179 180 182 183 188 190 191 197 201 204 206 209 220 222 223 225 227 228 231 233 234 236 239 240 244 249 250 253 254 256 258 263 269 270 272 282 285 286 291 294 298 299 301 304 305 306 310 314 316 320 325 328 330 333 334 335 338 341 342 347 349 359 369 370 371 376 381 387 391 398 400 401 404 407 422 423 425 429 430 432 433 434 437 438 440 441 443 a 7 8 11 14 18 20 22 23 24 25 33 34 37 39 40 42 48 50 51 52 56 59 60 66 67 69 76 77 79 81 82 84 85 89 91 94 98 100 101 110 112 113 116 117 121 132 134 138 141 144 145 147 160 163 164 173 175 176 177 179 180 182 183 188 190 191 197 201 204 206 209 220 222 223 225 227 228 231 233 234 236 239 240 244 249 250 253 254 256 258 263 269 270 272 273 282 285 286 291 294 298 299 301 304 305 306 310 314 316 320 325 328 330 333 334 335 338 341 342 347 349 359 369 370 371 376 381 387 391 398 400 401 404 407 422 423 425 429 430 432 433 434 437 438 440 441 443 a 7 8 11 14 18 20 22 23 24 25 33 34 37 39 40 42 48 50 51 52 56 59 60 66 67 69 76 77 79 81 82 84 85 89 91 94 98 100 101 110 112 113 116 117 121 132 134 138 141 142 144 145 147 160 163 164 173 175 176 177 179 180 182 183 188 190 191 197 201 204 206 209 220 222 223 225 227 228 231 233 234 236 239 240 244 249 250 253 254 256 258 263 269 270 272 273 282 285 286 291 294 298 299 301 304 305 306 310 314 316 320 325 328 330 333 334 335 338 341 342 347 349 359 369 370 371 376 381 387 391 398 400 401 404 407 422 423 425 429 430 432 433 434 437 438 440 441 a 7 8 11 14 18 20 22 23 24 25 33 34 37 39 40 42 48 50 51 52 56 59 60 66 67 69 76 77 79 80 81 82 84 85 89 91 94 98 100 101 110 112 113 116 117 121 132 134 138 141 142 144 145 147 160 163 164 173 175 176 177 179 180 182 183 188 190 191 197 201 204 206 209 220 222 223 225 227 228 231 233 234 236 239 240 244 249 250 253 254 256 258 263 269 270 272 273 282 285 286 291 294 298 299 301 304 305 306 310 314 316 320 325 328 330 333 334 335 338 341 342 347 349 359 369 370 371 376 381 387 391 400 401 404 407 422 423 425 429 430 432 433 434 437 438 440 441 a 7 8 11 14 18 20 22 23 24 25 33 34 37 39 40 42 48 50 51 52 56 59 60 66 67 69 76 77 79 80 81 82 84 85 89 91 94 98 100 101 110 112 113 116 117 121 132 134 138 141 142 144 145 147 160 163 164 173 175 176 177 179 180 182 183 188 190 191 197 201 204 206 209 220 222 223 225 227 228 231 233 234 236 239 240 244 249 250 253 254 256 258 263 269 270 272 273 282 285 286 291 294 298 299 301 304 305 306 310 314 316 320 325 328 330 333 334 335 338 341 342 347 349 359 360 369 370 371 376 381 387 391 400 401 404 407 422 423 425 429 430 432 433 434 437 438 440 a 7 8 11 14 17 18 20 22 23 24 25 33 34 37 39 40 42 48 50 51 52 56 59 60 66 67 69 76 77 79 80 81 82 84 85 89 91 94 98 100 101 110 112 113 116 117 121 132 134 138 141 142 144 145 147 160 163 164 173 175 176 177 179 180 182 183 188 190 191 197 201 204 206 209 220 222 223 225 227 228 231 233 234 236 239 240 244 249 250 253 254 256 258 263 269 270 272 273 282 285 286 291 294 298 299 301 304 305 306 310 314 316 320 325 328 330 333 334 338 341 342 347 349 359 360 369 370 371 376 381 387 391 400 401 404 407 422 423 425 429 430 432 433 434 437 438 440 a 7 8 11 14 17 18 20 22 23 24 25 33 34 37 39 40 42 48 50 51 52 56 59 60 66 67 69 76 77 79 80 81 82 84 85 89 91 94 98 100 101 110 112 113 116 117 118 121 132 134 138 141 142 144 145 147 160 163 164 173 175 176 177 179 180 182 183 188 190 191 197 201 204 206 209 220 222 223 225 227 228 231 233 234 236 239 240 244 249 250 253 254 256 258 263 269 270 272 273 282 285 286 291 298 299 301 304 305 306 310 314 316 320 325 328 330 333 334 338 341 342 347 349 359 360 369 370 371 376 381 387 391 400 401 404 407 422 423 425 429 430 432 433 434 437 438 440 a 7 8 11 14 17 18 20 22 23 24 25 33 34 37 39 40 42 48 50 51 52 56 59 60 66 67 69 76 77 79 80 81 82 84 85 89 91 94 98 100 101 110 112 113 116 117 118 121 132 134 138 141 142 144 145 147 160 163 164 173 175 176 177 179 180 182 183 188 190 191 197 201 204 206 209 220 222 223 225 227 228 231 233 234 236 239 240 244 249 250 253 254 256 258 263 269 270 271 272 273 282 285 286 291 298 299 301 304 305 306 310 314 316 320 325 328 330 333 334 338 341 342 347 349 359 360 369 370 371 376 381 387 391 400 401 404 407 422 423 425 429 430 432 433 434 437 438 a 7 8 11 14 17 18 20 22 23 24 25 33 34 37 39 40 42 48 50 51 52 56 59 60 66 67 69 76 77 79 80 81 82 84 85 89 91 94 98 100 101 110 112 113 116 117 118 121 132 134 138 141 142 144 145 147 160 163 164 173 175 176 177 179 180 182 183 188 190 191 197 201 204 206 209 220 222 223 225 227 228 231 233 234 236 239 240 244 246 249 250 253 254 256 258 263 269 270 271 272 273 282 285 286 291 298 299 301 304 305 306 310 314 316 320 325 328 330 333 334 338 341 342 347 349 359 360 369 370 371 376 381 387 391 400 401 404 407 422 423 425 429 430 432 433 434 437 a 7 8 11 14 17 18 20 22 23 24 25 33 34 37 38 39 40 42 48 50 51 52 56 59 60 66 67 69 76 79 80 81 82 84 85 89 91 94 98 100 101 110 112 113 116 117 118 121 132 134 138 141 142 144 145 147 160 163 164 173 175 176 177 179 180 182 183 188 190 191 197 201 204 206 209 220 222 223 225 227 228 231 233 234 236 239 240 244 246 249 250 253 254 256 258 263 269 270 271 272 273 282 285 286 291 298 299 301 304 305 306 310 314 316 320 325 328 330 333 334 338 341 342 347 349 359 360 369 370 371 376 381 387 391 400 401 404 407 422 423 425 429 430 432 433 434 437 a 7 8 11 14 17 18 20 22 23 24 25 33 34 37 38 39 40 48 50 51 52 56 59 60 66 67 69 76 79 80 81 82 84 85 89 91 94 98 100 101 110 112 113 116 117 118 121 132 134 138 141 142 144 145 147 160 163 164 173 175 176 177 179 180 182 183 188 190 191 197 201 204 206 209 220 222 223 225 227 228 231 233 234 236 239 240 244 246 249 250 253 254 256 258 263 269 270 271 272 273 282 285 286 291 293 298 299 301 304 305 306 310 314 316 320 325 328 330 333 334 338 341 342 347 349 359 360 369 370 371 376 381 387 391 400 401 404 407 422 423 425 429 430 432 433 434 437 a 7 8 11 14 17 18 20 22 23 24 25 33 34 37 38 39 40 48 50 51 52 56 59 60 66 67 69 76 79 80 81 82 84 85 89 91 94 98 100 101 110 112 113 116 117 118 121 132 134 138 141 142 144 145 147 160 163 164 173 175 176 177 179 180 182 183 188 190 191 197 201 204 206 209 220 222 223 225 227 228 231 233 234 236 239 240 244 246 249 250 253 254 256 258 263 269 270 271 272 273 282 285 286 291 293 298 299 301 304 305 306 310 314 316 320 325 328 330 333 334 338 341 342 347 349 359 360 369 370 371 376 381 387 391 400 401 404 407 422 423 425 430 432 433 434 437 445 a 7 8 11 14 17 18 20 22 23 24 25 33 34 37 38 39 40 48 50 51 52 56 59 60 66 67 69 76 79 80 81 82 84 85 89 91 94 98 100 101 110 112 113 116 117 118 121 132 134 138 141 142 144 145 147 160 163 164 173 175 176 177 179 180 182 183 188 190 191 197 201 204 206 209 220 222 223 225 227 228 231 233 234 236 239 240 244 246 249 250 253 254 256 258 263 269 270 271 272 273 282 285 286 293 298 299 301 304 305 306 310 314 316 320 325 328 330 333 334 338 341 342 347 349 359 360 369 370 371 376 381 387 391 400 401 404 407 417 422 423 425 430 432 433 434 437 445 a 7 8 11 14 17 18 20 22 23 24 25 33 34 37 38 39 40 48 50 51 52 56 59 60 66 67 69 76 79 80 81 82 84 85 89 91 94 98 100 101 110 112 113 116 117 118 132 134 138 141 142 144 145 147 160 163 164 173 175 176 177 179 180 182 183 188 190 191 197 201 204 206 209 220 222 223 225 227 228 231 233 234 236 239 240 244 246 249 250 253 254 256 258 263 269 270 271 272 273 282 285 286 293 298 299 301 304 305 306 310 314 316 320 325 328 330 333 334 338 341 342 347 349 359 360 369 370 371 376 381 387 391 400 401 404 406 407 417 422 423 425 430 432 433 434 437 445 a 7 8 11 14 17 18 20 22 23 24 25 33 34 37 38 39 40 48 50 51 52 56 59 60 66 67 69 76 79 80 81 82 84 89 91 94 98 100 101 110 112 113 116 117 118 124 132 134 138 141 142 144 145 147 160 163 164 173 175 176 177 179 180 182 183 188 190 191 197 201 204 206 209 220 222 223 225 227 228 231 233 234 236 239 240 244 246 249 250 253 254 256 258 263 269 270 271 272 273 282 285 286 293 298 299 301 304 305 306 310 314 316 320 325 328 330 333 334 338 341 342 347 349 359 360 369 370 371 376 381 387 391 400 401 404 406 407 417 422 423 425 430 432 433 434 437 445 a 7 8 11 14 17 18 20 22 23 24 25 33 34 37 38 39 40 44 48 50 51 52 56 59 60 66 67 69 76 79 80 81 82 84 89 91 94 98 100 101 110 112 113 116 117 118 124 132 134 138 141 142 144 145 147 160 163 164 173 175 176 177 179 180 182 183 188 190 191 197 201 204 206 209 220 222 223 225 227 228 231 233 234 236 239 240 244 246 249 250 253 254 256 258 263 270 271 272 273 282 285 286 293 298 299 301 304 305 306 310 314 316 320 325 328 330 333 334 338 341 342 347 349 359 360 369 370 371 376 381 387 391 400 401 404 406 407 417 422 423 425 430 432 433 434 437 445 a 7 8 11 14 17 18 20 22 23 24 25 33 34 37 38 39 40 44 48 50 51 52 56 59 60 66 67 69 76 79 80 81 82 84 89 91 98 100 101 110 112 113 116 117 118 124 132 134 138 141 142 144 145 147 160 163 164 173 175 176 177 179 180 182 183 188 190 191 197 201 204 206 209 220 222 223 225 227 228 231 233 234 236 239 240 244 246 249 250 253 254 256 258 263 270 271 272 273 282 285 286 293 298 299 301 304 305 306 310 311 314 316 320 325 328 330 333 334 338 341 342 347 349 359 360 369 370 371 376 381 387 391 400 401 404 406 407 417 422 423 425 430 432 433 434 437 445 a 7 8 11 14 17 18 20 22 23 24 25 33 34 37 38 39 40 44 48 50 51 52 56 59 60 66 67 69 76 79 80 81 82 84 89 91 98 100 101 110 112 113 116 117 118 124 129 132 134 138 141 142 144 145 147 160 163 164 173 175 176 177 179 180 182 183 188 190 191 197 201 204 206 209 220 222 223 225 227 228 231 233 234 236 239 240 244 246 249 250 253 254 256 258 263 270 271 272 273 282 285 286 293 298 299 301 304 305 306 310 311 314 316 320 325 328 333 334 338 341 342 347 349 359 360 369 370 371 376 381 387 391 400 401 404 406 407 417 422 423 425 430 432 433 434 437 445 a 7 8 11 14 17 18 20 22 23 24 25 33 34 37 38 39 40 44 48 50 51 52 54 56 59 60 67 69 76 79 80 81 82 84 89 91 98 100 101 110 112 113 116 117 118 124 129 132 134 138 141 142 144 145 147 160 163 164 173 175 176 177 179 180 182 183 188 190 191 197 201 204 206 209 220 222 223 225 227 228 231 233 234 236 239 240 244 246 249 250 253 254 256 258 263 270 271 272 273 282 285 286 293 298 299 301 304 305 306 310 311 314 316 320 325 328 333 334 338 341 342 347 349 359 360 369 370 371 376 381 387 391 400 401 404 406 407 417 422 423 425 430 432 433 434 437 445 a 7 8 11 14 17 18 20 22 23 24 25 33 34 37 38 39 40 44 48 50 51 52 54 56 59 67 69 76 79 80 81 82 84 89 91 98 100 101 110 112 113 116 117 118 124 129 132 134 138 141 142 144 145 147 160 163 164 173 175 176 177 179 180 182 183 188 190 191 197 201 204 206 209 220 222 223 225 227 228 231 233 234 236 239 240 244 246 249 250 253 254 256 258 263 270 271 272 273 282 285 286 293 298 299 301 304 305 306 310 311 314 316 320 325 328 333 334 338 341 342 347 349 356 359 360 369 370 371 376 381 387 391 400 401 404 406 407 417 422 423 425 430 432 433 434 437 445 a 7 8 11 14 17 18 20 22 23 24 25 33 34 37 38 39 40 44 48 50 51 52 54 56 59 67 69 76 79 80 81 82 84 89 91 98 100 101 110 112 113 116 117 118 124 129 132 134 138 141 142 144 145 147 160 163 164 173 175 176 177 179 180 182 183 188 190 191 197 201 204 206 209 220 222 223 225 227 228 231 233 234 236 239 240 244 246 249 250 253 254 256 258 263 270 271 272 273 282 285 286 293 298 299 301 304 305 306 310 311 314 316 320 325 328 333 334 338 341 342 347 349 356 359 360 369 370 371 376 381 387 391 400 401 404 406 409 417 422 423 425 430 432 433 434 437 445 a 7 8 11 14 17 18 20 22 23 24 25 33 34 37 38 39 40 44 48 50 51 52 54 56 59 67 69 76 79 80 81 82 84 89 91 98 100 101 110 112 113 116 117 118 124 129 132 134 138 141 142 144 145 147 160 163 164 173 175 176 177 179 180 182 183 188 190 191 197 201 204 206 209 220 222 223 225 227 228 231 233 234 236 239 240 244 246 249 250 253 254 256 258 263 270 271 272 273 282 285 286 293 298 299 301 304 305 306 310 311 314 320 325 328 333 334 338 341 342 347 349 351 356 359 360 369 370 371 376 381 387 391 400 401 404 406 409 417 422 423 425 430 432 433 434 437 445 a 7 8 11 14 17 18 20 22 23 24 25 33 34 37 38 39 40 44 48 50 51 52 54 56 59 67 69 79 80 81 82 84 89 91 98 100 101 110 112 113 116 117 118 124 129 132 134 138 141 142 144 145 147 160 163 164 173 175 176 177 179 180 182 183 188 190 191 197 201 204 206 209 220 222 223 225 227 228 231 233 234 236 239 240 244 246 249 250 253 254 256 258 263 270 271 272 273 282 285 286 293 298 299 301 304 305 306 310 311 314 320 325 328 333 334 338 341 342 347 349 351 356 359 360 369 370 371 376 381 384 387 391 400 401 404 406 409 417 422 423 425 430 432 433 434 437 445 a 7 8 11 14 17 18 20 22 23 24 25 33 34 37 38 39 40 44 48 50 51 52 54 56 59 67 69 79 80 81 82 84 89 91 98 99 100 101 110 112 113 116 117 118 124 129 132 134 138 141 142 144 145 147 160 163 164 173 175 176 177 179 180 182 183 188 190 191 197 201 204 206 209 220 222 223 225 227 228 231 233 234 236 239 240 244 246 249 250 253 254 256 258 263 270 271 272 273 282 285 286 293 298 299 304 305 306 310 311 314 320 325 328 333 334 338 341 342 347 349 351 356 359 360 369 370 371 376 381 384 387 391 400 401 404 406 409 417 422 423 425 430 432 433 434 437 445 a 7 8 11 14 17 18 20 22 23 24 25 33 34 37 38 39 40 44 48 50 51 52 54 56 59 67 69 79 80 81 82 84 89 91 98 99 100 101 110 112 113 116 117 118 124 129 132 134 138 141 142 144 145 147 160 163 164 166 173 175 176 177 180 182 183 188 190 191 197 201 204 206 209 220 222 223 225 227 228 231 233 234 236 239 240 244 246 249 250 253 254 256 258 263 270 271 272 273 282 285 286 293 298 299 304 305 306 310 311 314 320 325 328 333 334 338 341 342 347 349 351 356 359 360 369 370 371 376 381 384 387 391 400 401 404 406 409 417 422 423 425 430 432 433 434 437 445 a 7 8 11 14 17 18 20 22 23 24 25 33 34 37 38 39 40 44 48 50 51 52 54 56 59 67 69 79 80 81 82 84 89 91 98 99 100 101 110 112 113 116 117 118 124 129 132 134 138 141 142 144 145 147 160 163 164 166 173 175 176 177 180 182 183 188 190 191 197 201 204 206 209 220 222 223 225 227 228 231 233 234 236 239 240 244 246 249 250 253 254 256 258 263 270 271 272 273 282 285 286 293 298 299 304 305 306 310 311 314 320 323 325 328 333 334 338 342 347 349 351 356 359 360 369 370 371 376 381 384 387 391 400 401 404 406 409 417 422 423 425 430 432 433 434 437 445 a 7 8 11 14 17 18 20 22 23 24 25 33 34 37 38 39 40 44 48 50 51 52 54 56 59 67 69 79 80 81 82 84 89 91 98 99 100 101 110 112 113 116 117 118 124 129 132 134 138 141 142 144 145 147 160 163 164 166 173 175 176 177 180 182 183 185 188 190 191 197 201 204 206 209 220 222 223 225 227 228 231 234 236 239 240 244 246 249 250 253 254 256 258 263 270 271 272 273 282 285 286 293 298 299 304 305 306 310 311 314 320 323 325 328 333 334 338 342 347 349 351 356 359 360 369 370 371 376 381 384 387 391 400 401 404 406 409 417 422 423 425 430 432 433 434 437 445 a 7 8 11 14 17 18 20 22 23 24 25 33 34 37 38 39 40 44 48 50 51 52 54 56 59 67 69 79 80 81 82 84 89 91 98 99 100 101 110 112 113 116 117 118 124 129 132 134 138 141 142 144 145 147 160 163 164 166 173 175 176 177 180 182 183 185 188 190 191 197 201 204 206 209 216 220 222 223 225 227 228 231 234 236 239 240 244 246 249 250 253 256 258 263 270 271 272 273 282 285 286 293 298 299 304 305 306 310 311 314 320 323 325 328 333 334 338 342 347 349 351 356 359 360 369 370 371 376 381 384 387 391 400 401 404 406 409 417 422 423 425 430 432 433 434 437 445 a 7 8 11 14 17 18 20 22 23 24 25 33 34 37 38 39 40 44 48 50 51 52 54 56 59 67 69 79 80 81 84 89 91 98 99 100 101 110 112 113 116 117 118 124 129 132 134 138 141 142 144 145 147 160 163 164 166 173 175 176 177 180 182 183 185 188 190 191 197 201 204 206 209 216 220 222 223 225 227 228 231 234 236 239 240 244 246 249 250 253 256 258 263 270 271 272 273 282 285 286 293 298 299 304 305 306 310 311 314 320 323 325 328 333 334 338 342 347 349 351 356 359 360 369 370 371 376 381 384 387 391 393 400 401 404 406 409 417 422 423 425 430 432 433 434 437 445 a 7 8 11 14 17 18 20 22 23 24 25 33 34 37 38 39 40 44 48 50 52 54 56 59 67 69 79 80 81 84 89 91 98 99 100 101 110 112 113 116 117 118 124 129 132 134 138 141 142 144 145 147 160 163 164 166 173 175 176 177 180 182 183 185 188 190 191 197 201 204 206 209 216 220 222 223 225 227 228 231 234 236 239 240 244 246 249 250 252 253 256 258 263 270 271 272 273 282 285 286 293 298 299 304 305 306 310 311 314 320 323 325 328 333 334 338 342 347 349 351 356 359 360 369 370 371 376 381 384 387 391 393 400 401 404 406 409 417 422 423 425 430 432 433 434 437 445 a 7 8 11 14 17 18 20 22 23 24 25 33 34 37 38 39 40 44 48 50 52 54 56 59 67 69 79 80 81 84 89 91 98 99 100 101 110 112 113 116 117 118 124 129 132 134 138 141 142 144 145 147 160 163 164 166 173 175 176 177 180 182 183 185 188 190 191 197 201 204 206 209 216 220 222 223 225 227 231 234 236 239 240 244 246 249 250 252 253 256 258 263 270 271 272 273 282 285 286 293 298 299 304 305 306 310 311 314 320 323 325 328 333 334 338 342 347 349 351 356 357 359 360 369 370 371 376 381 384 387 391 393 400 401 404 406 409 417 422 423 425 430 432 433 434 437 445 a 7 8 11 14 17 18 20 22 23 24 25 33 34 37 38 39 40 44 48 50 52 54 56 59 67 69 79 80 84 89 91 98 99 100 101 110 112 113 116 117 118 124 129 132 134 138 141 142 144 145 147 160 163 164 166 173 175 176 177 180 182 183 185 188 190 191 197 201 204 206 209 216 220 222 223 225 227 231 234 236 239 240 244 246 249 250 252 253 256 258 263 270 271 272 273 282 285 286 293 298 299 304 305 306 310 311 314 320 323 325 328 333 334 338 342 347 349 351 356 357 359 360 369 370 371 376 381 384 387 391 393 400 401 404 406 409 417 422 423 425 430 432 433 434 437 445 449 a 7 8 11 14 17 18 20 22 23 24 25 33 34 37 38 39 40 44 48 50 52 54 56 59 67 69 79 80 84 89 91 98 99 100 101 110 112 113 116 117 118 124 129 132 134 138 141 142 144 145 147 160 163 164 166 173 175 176 177 180 182 183 185 188 190 191 197 201 204 206 209 216 220 222 223 225 227 231 234 236 239 240 244 246 249 250 252 253 256 258 263 270 271 272 273 282 285 286 293 298 299 304 305 306 310 311 314 320 323 325 328 333 334 338 342 347 349 351 356 357 359 360 369 370 371 376 381 384 391 393 397 400 401 404 406 409 417 422 423 425 430 432 433 434 437 445 449 a 7 8 11 14 17 18 20 22 23 24 25 33 34 37 38 39 40 44 48 50 52 54 56 59 67 69 79 80 89 91 98 99 100 101 110 112 113 116 117 118 124 129 132 134 138 141 142 144 145 147 160 163 164 166 173 175 176 177 180 182 183 185 187 188 190 191 197 201 204 206 209 216 220 222 223 225 227 231 234 236 239 240 244 246 249 250 252 253 256 258 263 270 271 272 273 282 285 286 293 298 299 304 305 306 310 311 314 320 323 325 328 333 334 338 342 347 349 351 356 357 359 360 369 370 371 376 381 384 391 393 397 400 401 404 406 409 417 422 423 425 430 432 433 434 437 445 449 a 7 8 11 14 17 18 20 22 23 24 25 33 34 37 38 39 40 44 48 50 52 54 56 59 67 69 79 80 89 91 98 99 100 101 110 112 113 116 117 118 124 129 132 134 138 141 142 144 145 147 160 163 164 166 173 175 176 177 180 182 183 185 187 188 190 191 197 201 202 204 206 209 216 220 222 223 225 227 231 234 236 239 240 244 246 249 250 252 253 256 258 263 271 272 273 282 285 286 293 298 299 304 305 306 310 311 314 320 323 325 328 333 334 338 342 347 349 351 356 357 359 360 369 370 371 376 381 384 391 393 397 400 401 404 406 409 417 422 423 425 430 432 433 434 437 445 449 a 7 8 11 14 17 18 20 22 23 24 25 33 34 37 38 39 40 44 48 50 52 54 56 59 67 69 79 80 89 91 98 99 100 101 110 112 113 116 117 118 124 129 132 134 138 141 142 144 145 147 160 163 164 166 173 175 176 177 180 182 183 185 187 188 190 191 197 201 202 204 206 209 216 220 222 223 225 227 231 234 236 239 240 244 246 249 252 253 256 258 263 271 272 273 282 285 286 293 298 299 304 305 306 309 310 311 314 320 323 325 328 333 334 338 342 347 349 351 356 357 359 360 369 370 371 376 381 384 391 393 397 400 401 404 406 409 417 422 423 425 430 432 433 434 437 445 449 a 7 8 11 14 17 18 20 22 23 24 25 33 34 37 38 39 40 44 48 50 52 54 56 59 67 69 79 80 89 91 98 99 100 101 110 112 113 116 117 118 124 129 132 134 138 140 141 142 144 145 147 160 163 164 166 173 175 176 177 180 182 183 185 187 188 190 191 197 201 202 204 206 209 216 222 223 225 227 231 234 236 239 240 244 246 249 252 253 256 258 263 271 272 273 282 285 286 293 298 299 304 305 306 309 310 311 314 320 323 325 328 333 334 338 342 347 349 351 356 357 359 360 369 370 371 376 381 384 391 393 397 400 401 404 406 409 417 422 423 425 430 432 433 434 437 445 449 a 7 8 11 14 17 18 20 22 23 24 25 33 34 37 38 39 40 44 48 50 52 54 56 59 67 69 79 80 89 91 98 99 100 101 110 112 113 116 118 124 129 132 134 138 140 141 142 144 145 147 160 163 164 166 173 175 176 177 180 182 183 185 187 188 190 191 197 201 202 204 206 209 216 222 223 225 227 231 234 236 239 240 244 246 249 252 253 256 258 263 271 272 273 282 285 286 293 298 299 304 305 306 309 310 311 314 320 323 325 328 333 334 338 342 347 349 351 356 357 359 360 369 370 371 374 376 381 384 391 393 397 400 401 404 406 409 417 422 423 425 430 432 433 434 437 445 449 a 7 8 11 14 17 18 20 22 23 24 25 33 34 37 38 39 40 44 48 50 52 54 56 59 67 69 79 80 88 89 91 98 99 100 101 110 112 113 116 118 124 129 132 134 138 140 141 142 144 145 147 160 163 164 166 173 175 176 177 180 182 183 185 187 188 190 191 197 201 202 204 206 209 216 222 223 225 227 231 234 236 239 240 244 246 249 252 253 256 258 263 271 272 273 282 285 286 293 298 299 304 305 306 309 310 311 314 320 323 325 328 333 334 338 342 347 349 351 356 357 359 360 369 370 371 374 376 381 384 391 393 397 400 401 404 406 409 417 422 423 425 430 432 434 437 445 449 a 7 8 11 14 17 18 20 22 23 24 25 33 34 38 39 40 44 48 50 52 54 56 59 67 69 79 80 88 89 91 98 99 100 101 110 112 113 116 118 124 129 132 134 135 138 140 141 142 144 145 147 160 163 164 166 173 175 176 177 180 182 183 185 187 188 190 191 197 201 202 204 206 209 216 222 223 225 227 231 234 236 239 240 244 246 249 252 253 256 258 263 271 272 273 282 285 286 293 298 299 304 305 306 309 310 311 314 320 323 325 328 333 334 338 342 347 349 351 356 357 359 360 369 370 371 374 376 381 384 391 393 397 400 401 404 406 409 417 422 423 425 430 432 434 437 445 449 a 7 8 11 14 17 18 20 22 23 24 25 33 34 38 39 40 44 48 50 52 54 56 59 67 69 79 80 88 89 91 98 99 100 101 110 112 113 116 118 124 129 134 135 138 140 141 142 144 145 147 159 160 163 164 166 173 175 176 177 180 182 183 185 187 188 190 191 197 201 202 204 206 209 216 222 223 225 227 231 234 236 239 240 244 246 249 252 253 256 258 263 271 272 273 282 285 286 293 298 299 304 305 306 309 310 311 314 320 323 325 328 333 334 338 342 347 349 351 356 357 359 360 369 370 371 374 376 381 384 391 393 397 400 401 404 406 409 417 422 423 425 430 432 434 437 445 449 a 7 8 11 14 17 18 20 22 23 24 25 33 34 38 40 44 48 50 52 54 56 59 67 69 79 80 88 89 91 98 99 100 101 110 112 113 116 118 124 129 134 135 138 140 141 142 144 145 147 159 160 163 164 166 173 175 176 177 180 182 183 185 187 188 190 191 197 201 202 204 206 209 216 222 223 225 227 231 234 236 239 240 244 246 249 252 253 256 258 263 271 272 273 282 285 286 293 298 299 302 304 305 306 309 310 311 314 320 323 325 328 333 334 338 342 347 349 351 356 357 359 360 369 370 371 374 376 381 384 391 393 397 400 401 404 406 409 417 422 423 425 430 432 434 437 445 449 a 7 8 11 14 17 18 20 22 23 24 25 33 34 38 40 44 48 50 52 54 56 59 67 69 79 80 88 89 91 98 99 100 101 110 112 113 116 118 124 129 134 135 138 140 141 142 144 145 147 159 160 163 164 166 173 176 177 178 180 182 183 185 187 188 190 191 197 201 202 204 206 209 216 222 223 225 227 231 234 236 239 240 244 246 249 252 253 256 258 263 271 272 273 282 285 286 293 298 299 302 304 305 306 309 310 311 314 320 323 325 328 333 334 338 342 347 349 351 356 357 359 360 369 370 371 374 376 381 384 391 393 397 400 401 404 406 409 417 422 423 425 430 432 434 437 445 449 a 7 8 11 14 17 18 20 22 23 24 25 33 34 38 40 44 48 50 52 54 56 59 67 69 79 80 88 89 91 98 99 100 101 110 112 113 116 118 124 129 134 135 138 140 141 142 144 145 147 159 160 163 164 166 173 176 177 178 180 182 183 185 187 188 190 191 197 201 202 204 206 209 216 222 223 227 231 234 236 239 240 244 246 249 252 253 256 258 263 271 272 273 282 285 286 293 298 299 302 304 305 306 309 310 311 314 320 323 325 328 333 334 338 342 347 349 351 356 357 359 360 369 370 371 374 376 377 381 384 391 393 397 400 401 404 406 409 417 422 423 425 430 432 434 437 445 449 a 7 8 11 14 17 18 20 22 24 25 33 34 38 40 44 48 50 52 54 56 59 67 69 79 80 88 89 91 98 99 100 101 110 112 113 116 118 124 129 134 135 138 140 141 142 144 145 147 159 160 163 164 166 173 176 177 178 180 182 183 185 187 188 190 191 197 201 202 204 206 209 216 222 223 227 231 234 236 239 240 244 246 249 252 253 256 258 263 271 272 273 282 285 286 293 298 299 302 304 305 306 309 310 311 314 320 323 325 328 333 334 338 342 347 349 351 356 357 359 360 369 370 371 374 376 377 379 381 384 391 393 397 400 401 404 406 409 417 422 423 425 430 432 434 437 445 449 a 7 8 11 14 17 18 20 22 24 25 33 34 38 40 44 48 50 52 54 56 59 67 69 79 80 88 89 98 99 100 101 110 112 113 116 118 119 124 129 134 135 138 140 141 142 144 145 147 159 160 163 164 166 173 176 177 178 180 182 183 185 187 188 190 191 197 201 202 204 206 209 216 222 223 227 231 234 236 239 240 244 246 249 252 253 256 258 263 271 272 273 282 285 286 293 298 299 302 304 305 306 309 310 311 314 320 323 325 328 333 334 338 342 347 349 351 356 357 359 360 369 370 371 374 376 377 379 381 384 391 393 397 400 401 404 406 409 417 422 423 425 430 432 434 437 445 449 a 7 8 11 14 17 18 20 22 24 25 33 34 38 40 44 48 50 52 54 56 59 67 69 79 80 88 89 98 99 100 101 110 112 113 116 118 119 124 129 134 135 138 140 141 142 144 145 147 159 160 163 164 166 173 176 177 178 180 182 183 185 187 188 190 197 201 202 204 206 209 216 222 223 227 231 234 236 239 240 244 246 249 252 253 256 258 263 271 272 273 281 282 285 286 293 298 299 302 304 305 306 309 310 311 314 320 323 325 328 333 334 338 342 347 349 351 356 357 359 360 369 370 371 374 376 377 379 381 384 391 393 397 400 401 404 406 409 417 422 423 425 430 432 434 437 445 449 a 7 8 11 14 17 18 20 22 24 25 33 34 38 40 44 48 50 52 54 56 59 67 69 79 80 88 89 98 99 100 101 110 112 113 116 118 119 124 129 134 135 138 140 141 142 144 145 147 154 159 160 163 164 166 173 176 177 178 180 182 183 185 187 188 190 197 201 202 204 206 209 216 222 223 227 231 234 236 239 240 244 246 249 252 253 256 258 263 271 272 273 281 282 285 286 293 298 299 302 304 305 306 309 310 311 314 320 323 325 328 333 334 338 342 347 349 351 356 357 359 360 369 370 371 374 377 379 381 384 391 393 397 400 401 404 406 409 417 422 423 425 430 432 434 437 445 449 a 7 8 11 14 17 18 20 22 24 25 33 34 38 40 44 48 50 52 54 56 59 67 69 79 80 88 89 98 99 100 101 110 112 113 116 118 119 124 129 134 135 138 140 141 142 144 145 147 154 159 160 163 164 166 173 176 177 178 180 182 183 185 187 188 190 194 197 201 202 204 206 209 216 222 223 227 231 234 239 240 244 246 249 252 253 256 258 263 271 272 273 281 282 285 286 293 298 299 302 304 305 306 309 310 311 314 320 323 325 328 333 334 338 342 347 349 351 356 357 359 360 369 370 371 374 377 379 381 384 391 393 397 400 401 404 406 409 417 422 423 425 430 432 434 437 445 449 a 7 8 11 14 17 18 22 24 25 33 34 38 40 44 48 50 52 54 56 59 67 69 79 80 88 89 98 99 100 101 110 112 113 116 118 119 124 129 134 135 138 140 141 142 144 145 147 149 154 159 160 163 164 166 173 176 177 178 180 182 183 185 187 188 190 194 197 201 202 204 206 209 216 222 223 227 231 234 239 240 244 246 249 252 253 256 258 263 271 272 273 281 282 285 286 293 298 299 302 304 305 306 309 310 311 314 320 323 325 328 333 334 338 342 347 349 351 356 357 359 360 369 370 371 374 377 379 381 384 391 393 397 400 401 404 406 409 417 422 423 425 430 432 434 437 445 449 a 7 8 11 14 17 18 22 24 25 33 34 38 40 44 48 50 52 54 56 59 67 69 79 80 88 89 98 99 100 101 110 112 113 116 118 119 124 129 134 135 136 138 140 141 142 144 145 147 149 154 159 160 163 164 166 173 176 177 178 180 182 183 185 187 188 190 194 197 201 202 204 206 209 216 222 223 227 231 234 239 240 244 246 249 252 253 256 258 263 271 272 273 281 282 285 286 293 298 299 302 304 305 309 310 311 314 320 323 325 328 333 334 338 342 347 349 351 356 357 359 360 369 370 371 374 377 379 381 384 391 393 397 400 401 404 406 409 417 422 423 425 430 432 434 437 445 449 a 7 8 11 14 17 18 22 24 25 33 34 38 40 44 48 50 52 54 56 59 67 69 79 80 88 89 98 99 100 101 110 112 113 116 118 119 124 129 134 135 136 138 140 141 142 144 145 147 149 154 159 160 163 164 166 173 176 177 178 180 182 183 185 187 188 190 194 197 201 202 204 206 209 216 222 223 227 231 234 239 240 244 246 249 252 253 256 258 263 271 272 273 274 281 282 285 286 293 298 299 302 304 305 309 310 311 314 320 323 325 328 333 334 338 342 349 351 356 357 359 360 369 370 371 374 377 379 381 384 391 393 397 400 401 404 406 409 417 422 423 425 430 432 434 437 445 449 a 7 8 11 14 17 18 22 24 25 33 34 38 40 44 48 50 52 54 56 59 67 69 79 80 88 89 98 99 100 101 110 112 113 116 118 119 124 129 134 135 136 138 140 141 142 144 145 147 149 154 159 163 164 166 173 176 177 178 180 182 183 185 187 188 190 194 197 201 202 204 206 209 216 222 223 227 231 234 239 240 244 246 249 252 253 256 258 263 271 272 273 274 281 282 285 286 293 298 299 302 304 305 309 310 311 312 314 320 323 325 328 333 334 338 342 349 351 356 357 359 360 369 370 371 374 377 379 381 384 391 393 397 400 401 404 406 409 417 422 423 425 430 432 434 437 445 449 a 7 8 11 14 17 18 22 24 25 33 34 38 40 44 48 50 54 56 59 67 69 79 80 88 89 98 99 100 101 110 112 113 116 118 119 124 129 134 135 136 138 140 141 142 144 145 147 149 154 159 163 164 166 173 176 177 178 180 182 183 185 187 188 190 194 197 201 202 204 206 209 216 222 223 227 231 234 239 240 244 246 249 252 253 256 258 263 271 272 273 274 281 282 285 286 293 298 299 302 304 305 309 310 311 312 314 320 323 325 328 333 334 338 342 349 351 356 357 359 360 369 370 371 372 374 377 379 381 384 391 393 397 400 401 404 406 409 417 422 423 425 430 432 434 437 445 449 a 7 8 11 14 17 18 22 24 25 33 34 38 40 44 48 50 54 56 59 67 69 79 80 88 89 99 100 101 110 112 113 116 118 119 124 129 134 135 136 138 140 141 142 144 145 147 149 154 159 163 164 166 173 176 177 178 180 182 183 185 187 188 190 194 197 201 202 204 206 209 216 222 223 227 231 234 239 240 244 246 249 252 253 256 258 263 267 271 272 273 274 281 282 285 286 293 298 299 302 304 305 309 310 311 312 314 320 323 325 328 333 334 338 342 349 351 356 357 359 360 369 370 371 372 374 377 379 381 384 391 393 397 400 401 404 406 409 417 422 423 425 430 432 434 437 445 449 a 7 8 11 14 17 18 22 24 25 33 34 38 40 44 48 50 54 56 59 67 69 79 80 87 88 89 99 100 101 110 112 113 116 118 119 124 129 134 135 136 138 140 141 142 144 145 147 149 154 159 163 164 166 173 176 178 180 182 183 185 187 188 190 194 197 201 202 204 206 209 216 222 223 227 231 234 239 240 244 246 249 252 253 256 258 263 267 271 272 273 274 281 282 285 286 293 298 299 302 304 305 309 310 311 312 314 320 323 325 328 333 334 338 342 349 351 356 357 359 360 369 370 371 372 374 377 379 381 384 391 393 397 400 401 404 406 409 417 422 423 425 430 432 434 437 445 449 a 7 8 11 14 17 18 22 24 25 33 34 38 40 44 48 50 54 56 59 67 69 79 80 87 88 89 99 100 101 110 112 113 116 118 119 124 129 134 135 136 138 140 141 142 144 145 149 154 159 163 164 166 173 176 178 180 182 183 185 187 188 190 194 197 201 202 204 206 209 216 222 223 227 231 234 239 240 244 246 249 252 253 256 258 263 267 271 272 273 274 281 282 285 286 293 298 299 302 304 305 309 310 311 312 314 320 323 325 328 333 334 338 342 349 351 353 356 357 359 360 369 370 371 372 374 377 379 381 384 391 393 397 400 401 404 406 409 417 422 423 425 430 432 434 437 445 449 a 7 8 11 14 17 18 22 24 25 33 34 38 40 44 48 50 54 56 59 67 69 79 80 87 88 89 99 100 101 112 113 116 118 119 124 129 134 135 136 138 140 141 142 144 145 149 154 159 163 164 166 173 176 178 180 182 183 185 187 188 190 194 197 201 202 204 206 209 216 219 222 223 227 231 234 239 240 244 246 249 252 253 256 258 263 267 271 272 273 274 281 282 285 286 293 298 299 302 304 305 309 310 311 312 314 320 323 325 328 333 334 338 342 349 351 353 356 357 359 360 369 370 371 372 374 377 379 381 384 391 393 397 400 401 404 406 409 417 422 423 425 430 432 434 437 445 449 a 7 8 11 14 17 18 22 24 25 33 34 38 40 44 48 50 54 56 59 67 69 79 80 87 88 89 99 100 101 105 112 113 116 118 119 124 129 134 135 136 138 140 141 142 144 145 149 154 159 163 164 166 173 176 178 180 182 183 185 187 188 190 194 197 201 202 204 206 209 216 219 222 223 227 231 234 239 240 244 246 249 252 253 256 258 263 267 271 272 273 274 281 282 285 286 293 298 299 302 304 305 309 310 311 312 314 320 323 325 328 333 334 338 342 349 351 353 356 357 359 360 369 370 371 372 374 377 379 381 384 391 393 397 400 404 406 409 417 422 423 425 430 432 434 437 445 449 a 7 8 11 14 17 18 22 24 25 33 34 38 40 44 48 50 54 56 59 67 69 79 80 87 88 89 99 100 101 105 112 113 116 118 119 124 129 134 135 136 138 140 141 142 144 145 149 154 159 163 164 166 176 178 180 182 183 185 187 188 190 194 197 201 202 204 206 209 216 219 222 223 227 230 231 234 239 240 244 246 249 252 253 256 258 263 267 271 272 273 274 281 282 285 286 293 298 299 302 304 305 309 310 311 312 314 320 323 325 328 333 334 338 342 349 351 353 356 357 359 360 369 370 371 372 374 377 379 381 384 391 393 397 400 404 406 409 417 422 423 425 430 432 434 437 445 449 a 7 8 11 14 17 22 24 25 33 34 38 40 44 48 50 54 56 59 67 69 79 80 87 88 89 99 100 101 105 112 113 116 118 119 124 129 134 135 136 138 140 141 142 144 145 149 154 159 163 164 166 176 178 180 182 183 185 187 188 190 194 197 201 202 204 206 209 216 219 222 223 227 230 231 234 239 240 244 246 249 252 253 256 258 263 267 271 272 273 274 276 281 282 285 286 293 298 299 302 304 305 309 310 311 312 314 320 323 325 328 333 334 338 342 349 351 353 356 357 359 360 369 370 371 372 374 377 379 381 384 391 393 397 400 404 406 409 417 422 423 425 430 432 434 437 445 449 a 7 8 11 14 17 22 24 25 33 34 38 40 44 48 50 54 56 57 59 67 69 79 80 87 88 89 99 100 101 105 112 113 116 118 119 124 129 134 135 136 138 140 141 142 144 145 149 154 159 163 164 166 176 178 180 182 183 185 187 188 190 194 197 201 202 204 206 209 216 219 222 223 227 230 234 239 240 244 246 249 252 253 256 258 263 267 271 272 273 274 276 281 282 285 286 293 298 299 302 304 305 309 310 311 312 314 320 323 325 328 333 334 338 342 349 351 353 356 357 359 360 369 370 371 372 374 377 379 381 384 391 393 397 400 404 406 409 417 422 423 425 430 432 434 437 445 449 a 7 8 11 14 17 22 24 25 33 34 38 40 44 48 50 54 56 57 59 67 69 79 80 87 88 89 99 100 101 105 112 113 116 118 119 124 129 134 135 136 138 140 141 142 144 145 149 154 159 163 164 166 176 178 180 182 183 185 187 188 194 197 201 202 204 205 206 209 216 219 222 223 227 230 234 239 240 244 246 249 252 253 256 258 263 267 271 272 273 274 276 281 282 285 286 293 298 299 302 304 305 309 310 311 312 314 320 323 325 328 333 334 338 342 349 351 353 356 357 359 360 369 370 371 372 374 377 379 381 384 391 393 397 400 404 406 409 417 422 423 425 430 432 434 437 445 449 a 7 8 11 14 17 22 24 25 33 34 38 40 44 48 50 54 56 57 59 67 69 79 80 87 88 89 99 100 101 105 112 113 116 118 119 124 129 134 135 136 138 140 141 142 144 145 149 154 159 163 164 166 176 178 180 182 183 185 187 188 194 197 201 202 204 205 206 209 216 219 222 223 227 230 234 239 240 244 246 249 252 253 256 258 261 263 267 271 272 273 274 276 281 282 285 286 293 298 299 302 304 305 309 310 311 312 314 320 323 325 328 333 334 338 342 349 351 353 356 357 359 360 369 370 371 372 374 377 379 381 384 391 393 397 400 404 406 409 417 422 425 430 432 434 437 445 449 a 7 8 11 14 17 22 24 25 33 34 38 40 44 48 50 54 56 57 67 69 79 80 87 88 89 99 100 101 105 112 113 116 118 119 123 124 129 134 135 136 138 140 141 142 144 145 149 154 159 163 164 166 176 178 180 182 183 185 187 188 194 197 201 202 204 205 206 209 216 219 222 223 227 230 234 239 240 244 246 249 252 253 256 258 261 263 267 271 272 273 274 276 281 282 285 286 293 298 299 302 304 305 309 310 311 312 314 320 323 325 328 333 334 338 342 349 351 353 356 357 359 360 369 370 371 372 374 377 379 381 384 391 393 397 400 404 406 409 417 422 425 430 432 434 437 445 449 a 7 8 11 14 17 22 24 25 33 34 38 40 44 48 50 54 56 57 67 69 79 80 87 88 89 99 100 101 105 112 113 116 118 119 123 124 129 135 136 138 140 141 142 144 145 149 154 159 163 164 166 176 178 180 182 183 185 187 188 194 197 201 202 204 205 206 209 216 219 222 223 227 230 234 239 240 244 246 249 252 253 256 258 261 263 267 271 272 273 274 276 281 282 285 286 293 298 299 302 304 305 309 310 311 312 314 320 323 325 328 333 334 338 342 349 351 353 356 357 359 360 369 370 371 372 374 377 379 381 384 391 393 397 400 404 406 409 411 417 422 425 430 432 434 437 445 449 a 7 8 11 14 17 22 24 25 33 34 38 40 44 48 50 54 56 57 67 69 79 80 87 88 89 99 100 101 105 112 113 116 118 119 123 124 129 135 136 138 140 141 142 144 145 149 154 159 163 164 166 176 178 180 182 183 185 186 187 188 194 197 201 202 204 205 206 209 216 219 222 223 227 230 234 239 240 244 246 249 252 253 256 258 261 263 267 271 272 273 274 276 281 282 285 286 293 298 299 302 304 305 309 310 311 312 314 320 323 325 328 333 334 342 349 351 353 356 357 359 360 369 370 371 372 374 377 379 381 384 391 393 397 400 404 406 409 411 417 422 425 430 432 434 437 445 449 a 7 8 11 14 17 22 24 25 33 34 38 40 44 48 50 54 56 57 67 69 79 80 87 88 89 99 100 101 105 112 113 116 118 119 123 124 129 135 136 138 140 141 142 144 145 149 154 159 163 164 166 176 178 180 182 183 185 186 187 188 194 197 201 202 204 205 206 209 216 219 222 223 224 227 230 234 239 240 244 246 249 252 253 256 258 261 263 267 271 272 273 274 276 281 282 285 286 293 298 299 302 304 305 309 310 311 312 314 320 323 325 328 333 334 342 349 351 353 356 357 359 360 369 370 371 372 374 377 379 384 391 393 397 400 404 406 409 411 417 422 425 430 432 434 437 445 449 c Step: 96 Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance035_graph002.col /benchmark/random_instance/random_instance035_graph002_01.dat" User time (seconds): 9.62 System time (seconds): 0.31 Percent of CPU this job got: 188% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:05.26 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): 394888 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 296223 Voluntary context switches: 18104 Involuntary context switches: 47 Swaps: 0 File system inputs: 0 File system outputs: 704 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 03:36:46 2023]