#BEGIN: [Mon Sep 4 15:10:40 2023] #HOST: s13 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance039_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance039_graph001_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_instance039_graph001.col /benchmark/random_instance/random_instance039_graph001_01.dat c /benchmark/random_instance/random_instance039_graph001.col c /benchmark/random_instance/random_instance039_graph001_01.dat s 185 317 373 109 354 23 421 90 456 312 495 340 73 229 424 116 269 51 80 170 253 321 452 430 234 119 311 406 246 318 213 275 471 220 418 34 272 254 123 335 124 182 245 133 341 42 113 158 37 409 24 138 338 427 362 231 68 310 364 54 137 31 446 404 503 85 314 434 459 9 336 104 171 110 115 258 320 35 139 141 294 379 25 443 203 302 298 415 333 393 16 431 432 188 319 233 156 479 458 419 241 125 368 144 252 30 177 154 183 439 378 107 366 161 326 121 78 29 309 33 265 255 159 222 12 371 337 160 26 225 353 365 473 13 472 441 502 304 342 257 53 477 381 454 453 383 399 486 166 176 190 3 186 103 389 345 279 343 223 271 153 t 57 213 358 238 244 54 259 49 64 372 39 495 218 264 346 498 429 155 98 146 154 23 16 228 93 285 14 80 347 75 297 261 52 420 62 450 340 390 501 131 86 365 507 203 151 460 187 441 303 173 425 21 311 17 269 110 59 174 192 284 329 397 3 275 150 176 221 260 493 41 370 491 53 427 199 362 38 107 338 373 159 369 271 58 161 414 350 50 323 503 393 74 229 409 125 314 51 273 446 95 440 87 287 319 445 381 97 368 342 206 246 204 349 115 166 103 85 235 92 371 116 419 262 111 48 135 132 406 343 232 106 108 448 504 289 463 379 270 279 477 117 383 298 182 9 437 452 6 109 120 488 2 502 143 144 294 407 29 417 378 302 a YES a 3 9 12 13 16 23 24 25 26 29 30 31 33 34 35 37 42 51 53 54 68 73 78 80 85 90 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 144 153 154 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 203 213 220 222 223 225 229 231 233 234 241 245 246 252 253 254 255 257 258 265 269 271 272 275 279 294 298 302 304 309 310 311 312 314 317 318 319 320 321 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 409 415 418 419 421 424 427 430 431 432 434 439 441 443 446 452 453 454 456 458 459 471 472 473 477 479 486 495 502 503 a 3 9 12 13 16 23 24 25 26 29 30 31 33 34 35 37 42 51 53 54 68 73 78 80 85 90 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 144 153 154 156 158 159 161 166 170 171 176 177 182 183 185 186 188 190 203 213 220 222 223 225 229 231 233 234 241 245 246 252 253 254 255 257 258 265 269 271 272 275 279 294 298 302 304 309 310 311 312 314 317 318 319 320 321 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 409 415 417 418 419 421 424 427 430 431 432 434 439 441 443 446 452 453 454 456 458 459 471 472 473 477 479 486 495 502 503 a 3 9 12 13 16 23 24 25 26 29 30 31 33 34 35 37 42 51 53 54 68 73 78 80 85 90 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 144 153 154 156 158 159 161 166 170 171 176 177 182 183 185 186 188 190 203 213 220 222 223 225 228 229 231 233 234 241 245 246 252 253 254 255 257 258 265 269 271 272 275 279 294 298 302 304 309 310 311 312 314 317 318 319 320 321 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 368 371 373 378 379 381 383 389 393 399 404 406 409 415 417 418 419 421 424 427 430 431 432 434 439 441 443 446 452 453 454 456 458 459 471 472 473 477 479 486 495 502 503 a 3 9 12 13 16 23 24 25 26 29 30 31 33 34 35 37 42 51 53 54 68 73 78 80 85 90 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 143 144 153 154 156 158 159 161 166 170 171 176 177 182 183 185 186 188 190 203 213 220 222 223 225 228 229 231 233 234 241 245 246 252 253 254 255 257 258 265 269 271 272 275 279 294 298 302 304 309 310 311 312 314 317 318 319 321 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 368 371 373 378 379 381 383 389 393 399 404 406 409 415 417 418 419 421 424 427 430 431 432 434 439 441 443 446 452 453 454 456 458 459 471 472 473 477 479 486 495 502 503 a 3 9 12 13 16 23 24 25 26 29 30 31 33 34 35 37 42 51 53 54 68 73 78 80 85 90 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 143 144 153 154 156 158 159 161 166 170 171 176 177 182 183 185 186 188 190 203 213 220 222 223 225 228 229 231 233 234 241 245 246 252 253 254 255 257 265 269 271 272 275 279 294 298 302 304 309 310 311 312 314 317 318 319 321 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 368 371 373 378 379 381 383 389 393 399 404 406 409 414 415 417 418 419 421 424 427 430 431 432 434 439 441 443 446 452 453 454 456 458 459 471 472 473 477 479 486 495 502 503 a 3 9 12 13 16 23 24 25 26 29 30 31 33 34 35 37 42 51 53 54 68 73 78 80 85 90 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 143 144 153 154 156 158 159 161 166 170 171 176 177 182 183 185 186 188 190 203 213 220 222 223 225 228 229 231 233 234 241 245 246 252 253 254 255 257 265 269 271 272 275 279 294 298 302 304 309 310 311 312 314 317 318 319 321 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 368 371 373 378 379 381 383 389 393 399 404 406 409 414 415 417 418 419 421 424 427 430 431 432 434 439 441 443 446 452 453 454 456 459 471 472 473 477 479 486 493 495 502 503 a 3 9 12 13 16 23 24 25 26 29 30 31 33 34 35 37 42 51 53 54 68 73 78 80 85 90 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 143 144 151 153 154 156 158 159 161 166 170 171 176 177 182 183 185 186 188 190 203 213 220 222 223 225 228 229 231 233 234 241 245 246 252 253 254 255 257 265 269 271 272 275 279 294 298 302 304 309 310 311 312 314 317 318 319 321 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 368 371 373 378 379 381 383 389 393 399 404 406 409 414 415 417 418 419 421 424 427 430 431 434 439 441 443 446 452 453 454 456 459 471 472 473 477 479 486 493 495 502 503 a 3 9 12 13 16 23 24 25 26 29 30 31 33 34 35 37 42 51 53 54 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 143 144 151 153 154 156 158 159 161 166 170 171 176 177 182 183 185 186 188 190 203 213 220 222 223 225 228 229 231 233 234 241 245 246 252 253 254 255 257 265 269 271 272 273 275 279 294 298 302 304 309 310 311 312 314 317 318 319 321 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 368 371 373 378 379 381 383 389 393 399 404 406 409 414 415 417 418 419 421 424 427 430 431 434 439 441 443 446 452 453 454 456 459 471 472 473 477 479 486 493 495 502 503 a 3 9 12 13 16 23 24 25 26 29 30 31 33 34 35 37 42 51 53 54 68 73 78 80 85 93 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 143 144 151 153 154 156 158 159 161 166 170 171 176 177 182 183 185 186 188 190 203 213 220 222 223 225 228 229 231 233 234 241 245 246 252 253 254 255 257 265 269 271 272 273 275 279 294 298 302 304 309 310 311 312 314 317 318 319 321 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 368 371 373 378 379 381 383 389 393 399 404 406 409 414 417 418 419 421 424 427 430 431 434 439 441 443 446 452 453 454 456 459 471 472 473 477 479 486 493 495 502 503 a 3 9 12 13 16 23 24 25 26 29 30 31 33 34 35 37 42 51 53 54 68 73 78 80 85 93 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 143 144 151 153 154 156 158 159 161 166 170 171 176 177 182 183 185 186 188 190 203 213 220 222 223 225 228 229 231 233 234 241 245 246 252 253 255 257 265 269 271 272 273 275 279 294 298 302 304 309 310 311 312 314 317 318 319 321 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 368 371 373 378 379 381 383 389 393 399 404 406 409 414 417 418 419 420 421 424 427 430 431 434 439 441 443 446 452 453 454 456 459 471 472 473 477 479 486 493 495 502 503 a 3 9 12 13 16 23 24 26 29 30 31 33 34 35 37 42 51 53 54 68 73 78 80 85 93 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 143 144 151 153 154 156 158 159 161 166 170 171 176 177 182 183 185 186 188 190 203 213 218 220 222 223 225 228 229 231 233 234 241 245 246 252 253 255 257 265 269 271 272 273 275 279 294 298 302 304 309 310 311 312 314 317 318 319 321 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 368 371 373 378 379 381 383 389 393 399 404 406 409 414 417 418 419 420 421 424 427 430 431 434 439 441 443 446 452 453 454 456 459 471 472 473 477 479 486 493 495 502 503 a 3 9 12 13 16 23 24 26 29 30 31 33 34 35 37 42 51 53 54 68 73 78 80 85 93 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 143 144 151 153 154 156 158 159 161 166 170 171 176 177 182 183 185 186 188 190 203 213 218 220 222 223 225 228 229 231 233 234 241 245 246 252 253 255 257 265 269 271 272 273 275 279 294 298 302 304 309 310 311 312 314 317 318 319 321 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 368 371 373 378 379 381 383 389 393 399 404 406 409 414 417 418 419 420 421 424 427 430 431 434 439 441 443 446 448 452 453 454 456 459 471 472 473 477 486 493 495 502 503 a 3 9 12 13 16 23 24 26 29 30 31 33 34 35 37 42 51 53 54 68 73 78 80 85 93 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 143 144 151 153 154 156 158 159 161 166 170 171 176 177 182 183 185 188 190 203 213 218 220 222 223 225 228 229 231 233 234 241 245 246 252 253 255 257 265 269 271 272 273 275 279 294 298 302 304 309 310 311 312 314 317 318 319 321 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 368 371 373 378 379 381 383 389 393 399 404 406 409 414 417 418 419 420 421 424 427 430 431 434 439 441 443 446 448 452 453 454 456 459 471 472 473 477 486 493 495 502 503 504 a 3 9 12 13 16 23 24 26 29 30 31 33 34 35 37 42 51 53 54 68 73 78 80 85 93 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 143 144 151 153 154 156 158 159 161 166 170 171 176 177 182 183 185 188 190 203 213 218 220 222 223 225 228 229 231 233 234 241 245 246 252 253 255 257 265 269 271 272 273 275 279 289 294 298 302 304 309 310 311 312 314 317 318 319 321 326 335 336 337 338 340 341 342 343 345 353 354 362 364 365 368 371 373 378 379 381 383 389 393 399 404 406 409 414 417 418 419 420 421 424 427 430 431 434 439 441 443 446 448 452 453 454 456 459 471 472 473 477 486 493 495 502 503 504 a 3 9 12 13 16 23 24 26 29 30 31 33 34 35 37 42 51 53 54 68 73 78 80 85 93 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 143 144 151 153 154 156 158 159 161 166 170 176 177 182 183 185 188 190 203 213 218 220 222 223 225 228 229 231 233 234 241 245 246 252 253 255 257 265 269 271 272 273 275 279 289 294 298 302 304 309 310 311 312 314 317 318 319 321 326 335 336 337 338 340 341 342 343 345 353 354 362 364 365 368 371 373 378 379 381 383 389 393 399 404 406 409 414 417 418 419 420 421 424 427 430 431 434 439 441 443 446 448 450 452 453 454 456 459 471 472 473 477 486 493 495 502 503 504 a 3 9 12 13 16 23 24 26 29 30 31 33 34 35 37 42 51 53 54 68 73 75 78 80 85 93 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 143 144 151 153 154 156 158 159 161 166 170 176 177 182 183 185 188 190 203 213 218 220 222 223 225 228 229 231 233 234 241 245 246 252 253 255 257 265 269 271 272 273 275 279 289 294 298 302 304 309 311 312 314 317 318 319 321 326 335 336 337 338 340 341 342 343 345 353 354 362 364 365 368 371 373 378 379 381 383 389 393 399 404 406 409 414 417 418 419 420 421 424 427 430 431 434 439 441 443 446 448 450 452 453 454 456 459 471 472 473 477 486 493 495 502 503 504 a 3 9 12 13 16 23 24 26 29 30 31 33 34 35 37 42 51 53 54 68 73 75 78 80 85 93 103 104 107 109 110 115 116 119 121 123 124 125 133 137 138 139 141 143 144 151 153 154 156 158 159 161 166 170 176 177 182 183 185 188 190 203 213 218 220 222 223 225 228 229 231 233 234 241 244 245 246 252 253 255 257 265 269 271 272 273 275 279 289 294 298 302 304 309 311 312 314 317 318 319 321 326 335 336 337 338 340 341 342 343 345 353 354 362 364 365 368 371 373 378 379 381 383 389 393 399 404 406 409 414 417 418 419 420 421 424 427 430 431 434 439 441 443 446 448 450 452 453 454 456 459 471 472 473 477 486 493 495 502 503 504 a 3 9 12 13 16 23 24 26 29 30 31 33 34 35 37 42 51 53 54 68 73 75 78 80 85 93 103 104 106 107 109 110 115 116 119 121 123 124 125 133 137 138 139 141 143 144 151 153 154 156 158 159 161 166 170 176 177 182 183 185 190 203 213 218 220 222 223 225 228 229 231 233 234 241 244 245 246 252 253 255 257 265 269 271 272 273 275 279 289 294 298 302 304 309 311 312 314 317 318 319 321 326 335 336 337 338 340 341 342 343 345 353 354 362 364 365 368 371 373 378 379 381 383 389 393 399 404 406 409 414 417 418 419 420 421 424 427 430 431 434 439 441 443 446 448 450 452 453 454 456 459 471 472 473 477 486 493 495 502 503 504 a 3 9 12 13 16 23 24 26 29 30 31 33 34 35 37 42 50 51 53 54 68 73 75 78 80 85 93 103 104 106 107 109 110 115 116 119 121 123 124 125 133 137 138 139 141 143 144 151 153 154 156 158 159 161 166 170 176 177 182 183 185 190 203 213 218 220 222 223 225 228 229 231 233 234 241 244 245 246 252 253 255 257 265 269 271 272 273 275 279 289 294 298 302 304 309 311 312 314 317 318 319 321 326 335 336 337 338 340 341 342 343 345 353 354 362 364 365 368 371 373 378 379 381 383 389 393 399 404 406 409 414 417 418 419 420 424 427 430 431 434 439 441 443 446 448 450 452 453 454 456 459 471 472 473 477 486 493 495 502 503 504 a 3 9 12 13 16 23 24 26 29 30 31 33 34 35 37 42 50 51 53 54 68 73 75 78 80 85 93 103 104 106 107 109 110 115 116 119 121 123 124 125 133 137 138 139 141 143 144 151 153 154 156 158 159 161 166 170 176 177 182 183 185 190 203 213 218 220 222 223 225 228 229 231 233 234 241 244 245 246 252 253 255 257 265 269 271 272 273 275 279 289 294 298 302 304 309 311 312 314 317 318 319 321 335 336 337 338 340 341 342 343 345 353 354 362 364 365 368 371 373 378 379 381 383 389 393 399 404 406 409 414 417 418 419 420 424 427 430 431 434 439 441 443 446 448 450 452 453 454 456 459 471 472 473 477 486 491 493 495 502 503 504 a 3 9 12 13 16 23 24 26 29 30 31 33 34 35 37 42 50 51 53 54 68 73 75 78 80 85 93 103 104 106 107 109 110 115 116 119 121 123 124 125 137 138 139 141 143 144 151 153 154 156 158 159 161 166 170 176 177 182 183 185 190 203 213 218 220 222 223 225 228 229 231 233 234 241 244 245 246 252 253 255 257 265 269 271 272 273 275 279 289 294 298 302 304 309 311 312 314 317 318 319 321 335 336 337 338 340 341 342 343 345 353 354 362 364 365 368 371 373 378 379 381 383 389 393 399 404 406 409 414 417 418 419 420 424 427 429 430 431 434 439 441 443 446 448 450 452 453 454 456 459 471 472 473 477 486 491 493 495 502 503 504 a 3 9 12 13 16 23 24 26 29 30 31 33 34 35 37 42 50 51 53 54 68 73 75 78 80 85 93 103 104 106 107 109 110 115 116 119 121 123 124 125 137 139 141 143 144 151 153 154 156 158 159 161 166 170 176 177 182 183 185 190 203 213 218 220 222 223 225 228 229 231 233 234 241 244 245 246 252 253 255 257 265 269 271 272 273 275 279 289 294 298 302 303 304 309 311 312 314 317 318 319 321 335 336 337 338 340 341 342 343 345 353 354 362 364 365 368 371 373 378 379 381 383 389 393 399 404 406 409 414 417 418 419 420 424 427 429 430 431 434 439 441 443 446 448 450 452 453 454 456 459 471 472 473 477 486 491 493 495 502 503 504 a 3 9 12 13 16 23 24 26 29 30 31 33 34 35 37 42 50 51 53 54 68 73 75 78 80 85 93 103 104 106 107 109 110 115 116 119 121 123 124 125 137 139 141 143 144 151 153 154 156 158 159 161 166 170 176 177 182 183 185 190 203 213 218 222 223 225 228 229 231 233 234 241 244 245 246 252 253 255 257 265 269 271 272 273 275 279 289 294 298 302 303 304 309 311 312 314 317 318 319 321 335 336 337 338 340 341 342 343 345 353 354 362 364 365 368 371 373 378 379 381 383 389 393 399 404 406 409 414 417 418 419 420 424 427 429 430 431 434 439 441 443 446 448 450 452 453 454 456 459 463 471 472 473 477 486 491 493 495 502 503 504 a 3 9 12 13 16 23 24 26 29 30 31 33 34 35 37 42 50 51 52 53 54 68 73 75 78 80 85 93 103 104 106 107 109 110 115 116 119 121 123 124 125 137 139 141 143 144 151 153 154 156 158 159 161 166 170 176 177 182 183 185 190 203 213 218 222 223 225 228 229 231 233 234 241 244 245 246 252 253 255 257 265 269 271 272 273 275 279 289 294 298 302 303 304 309 311 312 314 317 318 319 321 335 337 338 340 341 342 343 345 353 354 362 364 365 368 371 373 378 379 381 383 389 393 399 404 406 409 414 417 418 419 420 424 427 429 430 431 434 439 441 443 446 448 450 452 453 454 456 459 463 471 472 473 477 486 491 493 495 502 503 504 a 3 9 12 13 16 23 24 26 29 30 31 33 34 35 37 42 50 51 52 53 54 68 73 75 78 80 85 93 103 104 106 107 109 110 115 116 119 121 123 124 125 137 139 141 143 144 151 153 154 156 158 159 161 166 170 176 177 182 183 185 190 203 213 218 222 223 225 228 229 231 233 234 241 244 245 246 252 253 255 257 260 265 269 271 272 273 275 279 289 294 298 302 303 304 309 311 312 314 317 318 319 321 335 337 338 340 341 342 343 345 353 354 362 364 365 368 371 373 378 379 381 383 389 393 399 404 406 409 414 417 418 419 420 424 427 429 430 431 434 441 443 446 448 450 452 453 454 456 459 463 471 472 473 477 486 491 493 495 502 503 504 a 3 9 12 13 16 23 24 26 29 30 31 33 34 35 37 42 50 51 52 53 54 68 73 75 78 80 85 93 103 104 106 107 109 110 115 116 117 119 121 124 125 137 139 141 143 144 151 153 154 156 158 159 161 166 170 176 177 182 183 185 190 203 213 218 222 223 225 228 229 231 233 234 241 244 245 246 252 253 255 257 260 265 269 271 272 273 275 279 289 294 298 302 303 304 309 311 312 314 317 318 319 321 335 337 338 340 341 342 343 345 353 354 362 364 365 368 371 373 378 379 381 383 389 393 399 404 406 409 414 417 418 419 420 424 427 429 430 431 434 441 443 446 448 450 452 453 454 456 459 463 471 472 473 477 486 491 493 495 502 503 504 a 3 9 12 13 16 23 24 26 29 30 31 33 34 35 37 42 50 51 52 53 54 68 73 75 78 80 85 93 103 104 106 107 109 110 115 116 117 119 121 124 125 137 139 141 143 144 151 153 154 156 158 159 161 166 170 176 177 182 183 185 190 203 213 218 222 223 225 228 229 231 233 234 241 244 245 246 252 253 255 257 260 265 269 271 272 273 275 279 289 294 298 302 303 304 309 311 312 314 317 318 319 321 335 337 338 340 341 342 343 345 353 354 362 364 365 368 371 373 378 379 381 383 389 393 399 406 409 414 417 418 419 420 424 427 429 430 431 434 437 441 443 446 448 450 452 453 454 456 459 463 471 472 473 477 486 491 493 495 502 503 504 a 3 9 12 13 14 16 23 24 26 29 30 31 33 34 35 37 42 50 51 52 53 54 68 73 75 78 80 85 93 103 104 106 107 109 110 115 116 117 119 121 124 125 137 139 141 143 144 151 153 154 156 158 159 161 166 170 176 177 182 183 185 190 203 213 218 222 223 225 228 229 231 233 234 241 244 245 246 252 253 255 257 260 265 269 271 272 273 275 279 289 294 298 302 303 304 309 311 312 314 317 318 319 335 337 338 340 341 342 343 345 353 354 362 364 365 368 371 373 378 379 381 383 389 393 399 406 409 414 417 418 419 420 424 427 429 430 431 434 437 441 443 446 448 450 452 453 454 456 459 463 471 472 473 477 486 491 493 495 502 503 504 a 3 6 9 12 13 14 16 23 24 26 29 30 31 33 34 35 37 42 50 51 52 53 54 68 73 75 78 80 85 93 103 104 106 107 109 110 115 116 117 119 121 124 125 137 139 141 143 144 151 153 154 156 158 159 161 166 170 176 177 182 183 185 190 203 213 218 222 223 228 229 231 233 234 241 244 245 246 252 253 255 257 260 265 269 271 272 273 275 279 289 294 298 302 303 304 309 311 312 314 317 318 319 335 337 338 340 341 342 343 345 353 354 362 364 365 368 371 373 378 379 381 383 389 393 399 406 409 414 417 418 419 420 424 427 429 430 431 434 437 441 443 446 448 450 452 453 454 456 459 463 471 472 473 477 486 491 493 495 502 503 504 a 3 6 9 12 13 14 16 23 24 26 29 30 31 33 34 35 37 42 50 51 52 53 54 68 73 75 78 80 85 93 103 104 106 107 109 110 115 116 117 119 121 124 125 132 137 139 141 143 144 151 153 154 156 158 159 161 166 170 176 177 182 183 185 190 203 213 218 222 223 228 229 231 233 234 241 244 245 246 252 253 255 257 260 265 269 271 272 273 275 279 289 294 298 302 303 304 311 312 314 317 318 319 335 337 338 340 341 342 343 345 353 354 362 364 365 368 371 373 378 379 381 383 389 393 399 406 409 414 417 418 419 420 424 427 429 430 431 434 437 441 443 446 448 450 452 453 454 456 459 463 471 472 473 477 486 491 493 495 502 503 504 a 3 6 9 12 13 14 16 23 24 26 29 30 31 33 34 35 37 42 50 51 52 53 54 68 73 75 78 80 85 93 103 104 106 107 109 110 115 116 117 119 121 124 125 132 137 139 141 143 144 151 153 154 156 158 159 161 166 170 176 177 182 183 185 190 203 213 218 222 223 228 229 231 233 234 235 241 244 245 246 252 253 255 257 260 265 269 271 273 275 279 289 294 298 302 303 304 311 312 314 317 318 319 335 337 338 340 341 342 343 345 353 354 362 364 365 368 371 373 378 379 381 383 389 393 399 406 409 414 417 418 419 420 424 427 429 430 431 434 437 441 443 446 448 450 452 453 454 456 459 463 471 472 473 477 486 491 493 495 502 503 504 a 3 6 9 12 13 14 16 23 24 26 29 30 31 33 34 35 37 42 50 51 52 53 54 58 68 73 75 78 80 85 93 103 104 106 107 109 110 115 116 117 119 121 124 125 132 137 139 141 143 144 151 153 154 156 158 159 161 166 170 176 177 182 183 185 190 203 213 218 222 223 228 229 231 233 234 235 241 244 245 246 252 253 255 257 260 265 269 271 273 275 279 289 294 298 302 303 304 311 312 314 317 318 319 335 337 338 340 341 342 343 345 353 354 362 365 368 371 373 378 379 381 383 389 393 399 406 409 414 417 418 419 420 424 427 429 430 431 434 437 441 443 446 448 450 452 453 454 456 459 463 471 472 473 477 486 491 493 495 502 503 504 a 3 6 9 12 13 14 16 23 24 26 29 30 31 33 34 35 37 42 50 51 52 53 54 58 68 73 75 78 80 85 87 93 103 104 106 107 109 110 115 116 117 119 121 124 125 132 137 139 141 143 144 151 153 154 156 158 159 161 166 170 176 177 182 183 185 190 203 213 218 222 223 228 229 231 233 234 235 244 245 246 252 253 255 257 260 265 269 271 273 275 279 289 294 298 302 303 304 311 312 314 317 318 319 335 337 338 340 341 342 343 345 353 354 362 365 368 371 373 378 379 381 383 389 393 399 406 409 414 417 418 419 420 424 427 429 430 431 434 437 441 443 446 448 450 452 453 454 456 459 463 471 472 473 477 486 491 493 495 502 503 504 a 3 6 9 12 13 14 16 23 24 26 29 30 31 33 34 35 37 42 50 51 52 53 54 58 68 73 75 78 80 85 87 93 103 104 106 107 109 110 115 116 117 119 121 124 125 132 137 139 141 143 144 151 153 154 156 158 159 161 166 170 176 177 182 183 185 190 203 213 218 222 223 228 229 231 233 234 235 238 244 245 246 252 253 257 260 265 269 271 273 275 279 289 294 298 302 303 304 311 312 314 317 318 319 335 337 338 340 341 342 343 345 353 354 362 365 368 371 373 378 379 381 383 389 393 399 406 409 414 417 418 419 420 424 427 429 430 431 434 437 441 443 446 448 450 452 453 454 456 459 463 471 472 473 477 486 491 493 495 502 503 504 a 3 6 9 12 13 14 16 23 24 26 29 30 31 33 34 35 37 42 50 51 52 53 54 58 64 73 75 78 80 85 87 93 103 104 106 107 109 110 115 116 117 119 121 124 125 132 137 139 141 143 144 151 153 154 156 158 159 161 166 170 176 177 182 183 185 190 203 213 218 222 223 228 229 231 233 234 235 238 244 245 246 252 253 257 260 265 269 271 273 275 279 289 294 298 302 303 304 311 312 314 317 318 319 335 337 338 340 341 342 343 345 353 354 362 365 368 371 373 378 379 381 383 389 393 399 406 409 414 417 418 419 420 424 427 429 430 431 434 437 441 443 446 448 450 452 453 454 456 459 463 471 472 473 477 486 491 493 495 502 503 504 a 3 6 9 12 13 14 16 23 24 26 29 30 31 33 34 35 37 42 50 51 52 53 54 58 64 73 75 78 80 85 87 93 98 103 104 106 107 109 110 115 116 117 119 121 124 125 132 137 139 141 143 144 151 153 154 156 158 159 161 166 170 176 177 182 183 185 190 203 213 218 222 223 228 229 231 233 234 235 238 244 245 246 252 257 260 265 269 271 273 275 279 289 294 298 302 303 304 311 312 314 317 318 319 335 337 338 340 341 342 343 345 353 354 362 365 368 371 373 378 379 381 383 389 393 399 406 409 414 417 418 419 420 424 427 429 430 431 434 437 441 443 446 448 450 452 453 454 456 459 463 471 472 473 477 486 491 493 495 502 503 504 a 3 6 9 12 13 14 16 23 24 26 29 30 31 33 34 35 37 42 50 51 52 53 54 58 64 73 75 78 80 85 87 93 98 103 104 106 107 109 110 115 116 117 119 121 124 125 132 137 139 141 143 144 151 153 154 156 158 159 161 166 170 176 177 182 183 185 190 203 206 213 218 222 223 228 229 231 233 234 235 238 244 245 246 252 257 260 265 269 271 273 275 279 289 294 298 302 303 304 311 312 314 317 318 319 335 337 338 340 341 342 343 353 354 362 365 368 371 373 378 379 381 383 389 393 399 406 409 414 417 418 419 420 424 427 429 430 431 434 437 441 443 446 448 450 452 453 454 456 459 463 471 472 473 477 486 491 493 495 502 503 504 a 3 6 9 12 13 14 16 23 24 26 29 30 31 33 34 35 42 50 51 52 53 54 58 64 73 75 78 80 85 87 93 98 103 104 106 107 109 110 115 116 117 119 121 124 125 132 137 139 141 143 144 151 153 154 156 158 159 161 166 170 176 177 182 183 185 190 203 206 213 218 222 223 228 229 231 233 234 235 238 244 245 246 252 257 260 265 269 270 271 273 275 279 289 294 298 302 303 304 311 312 314 317 318 319 335 337 338 340 341 342 343 353 354 362 365 368 371 373 378 379 381 383 389 393 399 406 409 414 417 418 419 420 424 427 429 430 431 434 437 441 443 446 448 450 452 453 454 456 459 463 471 472 473 477 486 491 493 495 502 503 504 a 3 6 9 12 13 14 16 23 24 26 29 30 31 33 34 35 42 50 51 52 53 54 58 64 73 75 78 80 85 87 93 98 103 104 106 107 109 110 115 116 117 119 121 124 125 132 137 139 141 143 144 151 153 154 156 158 159 161 166 170 176 177 182 183 185 187 190 203 206 213 218 222 223 228 229 231 233 234 235 238 244 245 246 252 257 260 265 269 270 271 273 275 279 289 294 298 302 303 304 311 312 314 317 319 335 337 338 340 341 342 343 353 354 362 365 368 371 373 378 379 381 383 389 393 399 406 409 414 417 418 419 420 424 427 429 430 431 434 437 441 443 446 448 450 452 453 454 456 459 463 471 472 473 477 486 491 493 495 502 503 504 a 3 6 9 12 13 14 16 23 24 26 29 30 31 33 34 35 42 50 51 52 53 54 58 64 73 75 78 80 85 87 93 98 103 104 106 107 109 110 115 116 117 119 121 124 125 132 137 139 141 143 144 151 153 154 156 158 159 161 166 170 176 177 182 183 185 187 190 203 206 213 218 222 223 228 229 231 233 234 235 238 244 245 246 252 257 260 265 269 270 271 273 275 279 289 294 298 302 303 304 311 312 314 317 319 335 337 338 340 341 342 343 349 353 354 362 365 368 371 373 378 379 381 383 389 393 399 406 409 414 417 418 419 420 424 427 429 430 431 434 437 441 443 446 448 450 452 453 454 456 459 463 471 472 473 477 491 493 495 502 503 504 a 3 6 9 12 13 14 16 21 23 24 26 29 30 31 33 34 35 42 50 51 52 53 54 58 64 73 75 78 80 85 87 93 98 103 104 106 107 109 110 115 116 117 119 121 124 125 132 137 139 141 143 144 151 153 154 156 158 159 161 166 170 176 177 182 183 185 187 190 203 206 213 218 222 223 228 229 231 233 234 235 238 244 245 246 252 257 260 265 269 270 271 273 275 279 289 294 298 302 303 304 311 312 314 317 319 335 337 338 340 341 342 343 349 353 354 362 365 368 371 373 378 379 381 383 389 393 399 406 409 414 417 418 419 420 424 427 429 430 431 434 437 441 443 446 448 450 452 453 454 456 459 463 471 472 477 491 493 495 502 503 504 a 3 6 9 12 13 14 16 21 23 24 26 29 30 31 33 34 35 42 50 51 52 53 54 58 64 73 75 78 80 85 87 93 98 103 104 106 107 109 110 115 116 117 120 121 124 125 132 137 139 141 143 144 151 153 154 156 158 159 161 166 170 176 177 182 183 185 187 190 203 206 213 218 222 223 228 229 231 233 234 235 238 244 245 246 252 257 260 265 269 270 271 273 275 279 289 294 298 302 303 304 311 312 314 317 319 335 337 338 340 341 342 343 349 353 354 362 365 368 371 373 378 379 381 383 389 393 399 406 409 414 417 418 419 420 424 427 429 430 431 434 437 441 443 446 448 450 452 453 454 456 459 463 471 472 477 491 493 495 502 503 504 a 3 6 9 12 13 14 16 21 23 24 26 29 30 31 33 34 35 42 50 51 52 53 54 58 64 73 75 78 80 85 87 93 98 103 104 106 107 109 110 115 116 117 120 121 124 125 132 137 139 141 143 144 151 153 154 156 158 159 161 166 170 176 177 182 183 187 190 203 206 213 218 222 223 228 229 231 233 234 235 238 244 245 246 252 257 260 265 269 270 271 273 275 279 289 294 298 302 303 304 311 312 314 317 319 335 337 338 340 341 342 343 347 349 353 354 362 365 368 371 373 378 379 381 383 389 393 399 406 409 414 417 418 419 420 424 427 429 430 431 434 437 441 443 446 448 450 452 453 454 456 459 463 471 472 477 491 493 495 502 503 504 a 3 6 9 12 13 14 16 21 23 24 26 29 30 31 33 34 35 42 50 51 52 53 54 58 64 73 75 78 80 85 87 93 98 103 104 106 107 109 110 115 116 117 120 121 124 125 132 137 139 141 143 144 151 153 154 156 158 159 161 166 170 176 177 182 183 187 190 203 206 213 218 222 223 228 229 231 233 234 235 238 244 245 246 252 257 260 265 269 270 271 273 275 279 289 294 298 302 303 304 311 312 314 319 335 337 338 340 341 342 343 347 349 353 354 362 365 368 371 373 378 379 381 383 389 393 399 406 409 414 417 418 419 420 424 427 429 430 431 434 437 441 443 446 448 450 452 453 454 456 459 463 471 472 477 491 493 495 498 502 503 504 a 3 6 9 12 13 14 16 21 23 24 26 29 30 31 33 34 35 42 50 51 52 53 54 57 58 64 73 75 78 80 85 87 93 98 103 104 106 107 109 110 115 116 117 120 121 124 125 132 137 139 141 143 144 151 153 154 156 158 159 161 166 170 176 177 182 183 187 190 203 206 213 218 222 223 228 229 231 233 234 235 238 244 245 246 252 257 260 265 269 270 271 273 275 279 289 294 298 302 303 304 311 312 314 319 335 337 338 340 341 342 343 347 349 353 354 362 365 368 371 373 378 379 381 383 389 393 399 406 409 414 417 418 419 420 424 427 429 430 431 434 437 441 443 446 448 450 452 453 454 456 463 471 472 477 491 493 495 498 502 503 504 a 3 6 9 12 13 14 16 21 23 24 26 29 30 31 33 34 35 42 49 50 51 52 53 54 57 58 64 73 75 78 80 85 87 93 98 103 104 106 107 109 110 115 116 117 120 121 124 125 132 137 139 141 143 144 151 153 154 156 158 159 161 166 170 176 177 182 183 187 190 203 206 213 218 222 223 228 229 231 233 235 238 244 245 246 252 257 260 265 269 270 271 273 275 279 289 294 298 302 303 304 311 312 314 319 335 337 338 340 341 342 343 347 349 353 354 362 365 368 371 373 378 379 381 383 389 393 399 406 409 414 417 418 419 420 424 427 429 430 431 434 437 441 443 446 448 450 452 453 454 456 463 471 472 477 491 493 495 498 502 503 504 a 3 6 9 12 14 16 21 23 24 26 29 30 31 33 34 35 42 49 50 51 52 53 54 57 58 64 73 75 78 80 85 87 93 98 103 104 106 107 109 110 115 116 117 120 121 124 125 132 137 139 141 143 144 146 151 153 154 156 158 159 161 166 170 176 177 182 183 187 190 203 206 213 218 222 223 228 229 231 233 235 238 244 245 246 252 257 260 265 269 270 271 273 275 279 289 294 298 302 303 304 311 312 314 319 335 337 338 340 341 342 343 347 349 353 354 362 365 368 371 373 378 379 381 383 389 393 399 406 409 414 417 418 419 420 424 427 429 430 431 434 437 441 443 446 448 450 452 453 454 456 463 471 472 477 491 493 495 498 502 503 504 a 3 6 9 12 14 16 21 23 24 26 29 30 31 33 34 35 42 49 50 51 52 53 54 57 58 64 73 75 78 80 85 87 93 98 103 104 106 107 109 110 115 116 117 120 121 125 132 137 139 141 143 144 146 151 153 154 156 158 159 161 166 170 176 177 182 183 187 190 203 206 213 218 222 223 228 229 231 233 235 238 244 245 246 252 257 260 262 265 269 270 271 273 275 279 289 294 298 302 303 304 311 312 314 319 335 337 338 340 341 342 343 347 349 353 354 362 365 368 371 373 378 379 381 383 389 393 399 406 409 414 417 418 419 420 424 427 429 430 431 434 437 441 443 446 448 450 452 453 454 456 463 471 472 477 491 493 495 498 502 503 504 a 3 6 9 12 14 16 21 23 24 26 29 30 31 33 34 35 42 49 50 51 52 53 54 57 58 64 73 75 78 80 85 86 87 93 98 103 104 106 107 109 110 115 116 117 120 121 125 132 139 141 143 144 146 151 153 154 156 158 159 161 166 170 176 177 182 183 187 190 203 206 213 218 222 223 228 229 231 233 235 238 244 245 246 252 257 260 262 265 269 270 271 273 275 279 289 294 298 302 303 304 311 312 314 319 335 337 338 340 341 342 343 347 349 353 354 362 365 368 371 373 378 379 381 383 389 393 399 406 409 414 417 418 419 420 424 427 429 430 431 434 437 441 443 446 448 450 452 453 454 456 463 471 472 477 491 493 495 498 502 503 504 a 3 6 9 12 14 16 21 23 24 26 29 30 31 33 34 35 42 49 50 51 52 53 54 57 58 64 73 75 78 80 85 86 87 93 98 103 104 106 107 108 109 110 115 116 117 120 121 125 132 139 141 143 144 146 151 153 154 156 158 159 161 166 170 176 177 182 183 187 190 203 206 213 218 222 223 228 229 231 233 235 238 244 245 246 252 257 260 262 269 270 271 273 275 279 289 294 298 302 303 304 311 312 314 319 335 337 338 340 341 342 343 347 349 353 354 362 365 368 371 373 378 379 381 383 389 393 399 406 409 414 417 418 419 420 424 427 429 430 431 434 437 441 443 446 448 450 452 453 454 456 463 471 472 477 491 493 495 498 502 503 504 a 3 6 9 12 14 16 21 23 24 26 29 30 33 34 35 42 49 50 51 52 53 54 57 58 64 73 75 78 80 85 86 87 93 98 103 104 106 107 108 109 110 115 116 117 120 121 125 132 139 141 143 144 146 151 153 154 156 158 159 161 166 170 176 177 182 183 187 190 203 206 213 218 222 223 228 229 231 233 235 238 244 245 246 252 257 260 262 269 270 271 273 275 279 284 289 294 298 302 303 304 311 312 314 319 335 337 338 340 341 342 343 347 349 353 354 362 365 368 371 373 378 379 381 383 389 393 399 406 409 414 417 418 419 420 424 427 429 430 431 434 437 441 443 446 448 450 452 453 454 456 463 471 472 477 491 493 495 498 502 503 504 a 3 6 9 12 14 16 21 23 24 26 29 30 33 34 35 42 49 50 51 52 53 54 57 58 64 73 75 78 80 85 86 87 92 93 98 103 104 106 107 108 109 110 115 116 117 120 121 125 132 139 143 144 146 151 153 154 156 158 159 161 166 170 176 177 182 183 187 190 203 206 213 218 222 223 228 229 231 233 235 238 244 245 246 252 257 260 262 269 270 271 273 275 279 284 289 294 298 302 303 304 311 312 314 319 335 337 338 340 341 342 343 347 349 353 354 362 365 368 371 373 378 379 381 383 389 393 399 406 409 414 417 418 419 420 424 427 429 430 431 434 437 441 443 446 448 450 452 453 454 456 463 471 472 477 491 493 495 498 502 503 504 a 3 6 9 12 14 16 21 23 24 26 29 30 33 34 35 38 42 49 50 51 52 53 54 57 58 64 73 75 78 80 85 86 87 92 93 98 103 104 106 107 108 109 110 115 116 117 120 121 125 132 139 143 144 146 151 153 154 156 158 159 161 166 170 176 177 182 183 187 190 203 206 213 218 222 223 228 229 231 233 235 238 244 245 246 252 257 260 262 269 270 271 273 275 279 284 289 294 298 302 303 304 311 312 314 319 335 337 338 340 341 342 343 347 349 353 354 362 365 368 371 373 378 379 381 383 389 393 399 406 409 414 417 418 419 420 424 427 429 430 431 434 437 441 443 446 448 450 452 454 456 463 471 472 477 491 493 495 498 502 503 504 a 3 6 9 12 14 16 21 23 24 26 29 30 33 34 35 38 42 49 50 51 52 53 54 57 58 64 73 75 78 80 85 86 87 92 93 98 103 104 106 107 108 109 110 115 116 117 120 125 132 139 143 144 146 151 153 154 156 158 159 161 166 170 176 177 182 183 187 190 203 206 213 218 222 223 228 229 231 233 235 238 244 245 246 252 257 260 262 269 270 271 273 275 279 284 289 294 298 302 303 304 311 312 314 319 323 335 337 338 340 341 342 343 347 349 353 354 362 365 368 371 373 378 379 381 383 389 393 399 406 409 414 417 418 419 420 424 427 429 430 431 434 437 441 443 446 448 450 452 454 456 463 471 472 477 491 493 495 498 502 503 504 a 3 6 9 12 14 16 17 21 23 24 26 29 30 33 34 35 38 42 49 50 51 52 53 54 57 58 64 73 75 78 80 85 86 87 92 93 98 103 104 106 107 108 109 110 115 116 117 120 125 132 139 143 144 146 151 153 154 156 158 159 161 166 170 176 177 182 183 187 190 203 206 213 218 222 223 228 229 231 233 235 238 244 245 246 252 257 260 262 269 270 271 273 275 279 284 289 294 298 302 303 311 312 314 319 323 335 337 338 340 341 342 343 347 349 353 354 362 365 368 371 373 378 379 381 383 389 393 399 406 409 414 417 418 419 420 424 427 429 430 431 434 437 441 443 446 448 450 452 454 456 463 471 472 477 491 493 495 498 502 503 504 a 3 6 9 12 14 16 17 21 23 24 26 29 30 33 34 35 38 42 49 50 51 52 53 54 57 58 64 73 75 78 80 85 86 87 92 93 98 103 104 106 107 108 109 110 115 116 117 120 125 132 139 143 144 146 151 153 154 156 158 159 161 166 170 176 177 182 183 187 190 203 206 213 218 222 223 228 229 231 233 235 238 244 245 246 252 257 260 262 269 270 271 273 275 279 284 289 294 298 302 303 311 312 314 319 323 335 337 338 340 341 342 343 347 349 353 354 362 365 368 371 373 378 379 381 383 389 393 399 406 409 414 417 418 419 420 424 427 429 430 431 437 441 443 446 448 450 452 454 456 463 471 472 477 491 493 495 498 502 503 504 507 a 3 6 9 12 14 16 17 21 23 24 26 29 30 33 34 35 38 42 49 50 51 52 53 54 57 58 64 73 75 78 80 85 86 87 92 93 98 103 104 106 107 108 109 110 115 116 117 120 125 132 139 143 144 146 151 153 154 156 158 159 161 166 170 176 177 182 183 187 190 203 206 213 218 222 223 228 229 231 233 235 238 244 245 246 252 257 260 262 269 270 271 273 275 279 284 289 294 298 302 303 311 312 314 319 323 335 337 338 340 341 342 343 347 349 353 354 362 365 368 371 373 378 379 381 383 389 393 399 406 409 414 417 419 420 424 427 429 430 431 437 441 443 445 446 448 450 452 454 456 463 471 472 477 491 493 495 498 502 503 504 507 a 3 6 9 12 14 16 17 21 23 24 26 29 30 33 34 35 38 42 49 50 51 52 53 54 57 58 64 73 75 78 80 85 86 87 92 93 98 103 104 106 107 108 109 110 115 116 117 120 125 132 139 143 144 146 151 153 154 156 158 159 161 166 170 176 177 182 183 187 190 203 206 213 218 222 223 228 229 231 233 235 238 244 245 246 252 257 260 262 269 270 271 273 275 279 284 289 294 298 302 303 311 312 314 319 323 335 337 338 340 341 342 343 347 349 353 354 362 365 368 371 373 378 379 381 383 389 393 399 406 409 414 417 419 420 424 427 429 430 431 437 441 443 445 446 448 450 452 454 456 460 463 471 477 491 493 495 498 502 503 504 507 a 3 6 9 12 14 16 17 21 23 24 26 29 30 34 35 38 42 49 50 51 52 53 54 57 58 64 73 75 78 80 85 86 87 92 93 98 103 104 106 107 108 109 110 115 116 117 120 125 132 139 143 144 146 151 153 154 156 158 159 161 166 170 176 177 182 183 187 190 203 206 213 218 222 223 228 229 231 233 235 238 244 245 246 252 257 260 262 269 270 271 273 275 279 284 289 294 298 302 303 311 312 314 319 323 335 337 338 340 341 342 343 347 349 353 354 362 365 368 371 372 373 378 379 381 383 389 393 399 406 409 414 417 419 420 424 427 429 430 431 437 441 443 445 446 448 450 452 454 456 460 463 471 477 491 493 495 498 502 503 504 507 a 3 6 9 12 14 16 17 21 23 24 26 29 30 34 35 38 42 49 50 51 52 53 54 57 58 64 73 75 78 80 85 86 87 92 93 98 103 104 106 107 108 109 110 115 116 117 120 125 132 139 143 144 146 151 153 154 155 156 158 159 161 166 170 176 177 182 183 187 190 203 206 213 218 222 223 228 229 231 233 235 238 244 245 246 252 257 260 262 269 270 271 273 275 279 284 289 294 298 302 303 311 312 314 319 323 335 337 338 340 341 342 343 347 349 353 354 362 365 368 371 372 373 378 379 381 383 389 393 399 406 409 414 417 419 420 424 427 429 430 431 437 441 443 445 446 448 450 452 456 460 463 471 477 491 493 495 498 502 503 504 507 a 3 6 9 12 14 16 17 21 23 24 29 30 34 35 38 42 49 50 51 52 53 54 57 58 64 73 75 78 80 85 86 87 92 93 98 103 104 106 107 108 109 110 115 116 117 120 125 132 139 143 144 146 151 153 154 155 156 158 159 161 166 170 176 177 182 183 187 190 203 206 213 218 222 223 228 229 231 233 235 238 244 245 246 252 257 260 262 269 270 271 273 275 279 284 289 294 298 302 303 311 312 314 319 323 335 337 338 340 341 342 343 347 349 353 354 362 365 368 370 371 372 373 378 379 381 383 389 393 399 406 409 414 417 419 420 424 427 429 430 431 437 441 443 445 446 448 450 452 456 460 463 471 477 491 493 495 498 502 503 504 507 a 3 6 9 12 14 16 17 21 23 24 29 30 34 35 38 42 49 50 51 52 53 54 57 58 64 73 75 78 80 85 86 87 92 93 98 103 104 106 107 108 109 110 115 116 117 120 125 132 139 143 144 146 151 153 154 155 156 158 159 161 166 170 176 177 182 183 187 190 203 206 213 218 222 223 228 229 231 233 235 238 244 245 246 252 257 260 262 269 270 271 273 275 279 284 285 289 294 298 302 303 311 314 319 323 335 337 338 340 341 342 343 347 349 353 354 362 365 368 370 371 372 373 378 379 381 383 389 393 399 406 409 414 417 419 420 424 427 429 430 431 437 441 443 445 446 448 450 452 456 460 463 471 477 491 493 495 498 502 503 504 507 a 3 6 9 12 14 16 17 21 23 24 29 30 34 35 38 42 49 50 51 52 53 54 57 58 59 64 73 75 78 80 85 86 87 92 93 98 103 104 106 107 108 109 110 115 116 117 120 125 132 139 143 144 146 151 153 154 155 156 158 159 161 166 170 176 177 182 183 187 190 203 206 213 218 222 223 228 229 231 233 235 238 244 246 252 257 260 262 269 270 271 273 275 279 284 285 289 294 298 302 303 311 314 319 323 335 337 338 340 341 342 343 347 349 353 354 362 365 368 370 371 372 373 378 379 381 383 389 393 399 406 409 414 417 419 420 424 427 429 430 431 437 441 443 445 446 448 450 452 456 460 463 471 477 491 493 495 498 502 503 504 507 a 2 3 6 9 12 14 16 17 21 23 24 29 30 34 35 38 42 49 50 51 52 53 54 57 58 59 64 73 75 78 80 85 86 87 92 93 98 103 104 106 107 108 109 110 115 116 117 120 125 132 139 143 144 146 151 153 154 155 156 158 159 161 166 170 176 177 182 183 187 190 203 206 213 218 222 223 228 229 231 233 235 238 244 246 252 257 260 262 269 270 271 273 275 279 284 285 289 294 298 302 303 311 314 319 323 335 337 338 340 341 342 343 347 349 353 354 362 365 368 370 371 372 373 378 379 381 383 389 393 399 406 409 414 417 419 420 424 427 429 430 437 441 443 445 446 448 450 452 456 460 463 471 477 491 493 495 498 502 503 504 507 a 2 3 6 9 12 14 16 17 21 23 24 29 30 34 35 38 42 49 50 51 52 53 54 57 58 59 64 73 75 78 80 85 86 87 92 93 98 103 104 106 107 108 109 110 115 116 117 120 125 132 139 143 144 146 151 153 154 155 156 158 159 161 166 170 176 177 182 183 187 190 203 206 213 218 222 223 228 229 231 233 235 238 244 246 252 257 260 262 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 335 337 338 340 341 342 343 347 349 353 354 362 365 368 370 371 372 373 378 379 381 383 393 399 406 409 414 417 419 420 424 427 429 430 437 441 443 445 446 448 450 452 456 460 463 471 477 491 493 495 498 502 503 504 507 a 2 3 6 9 12 14 16 17 21 23 24 29 30 34 35 38 42 49 50 51 52 53 54 57 58 59 64 73 75 78 80 85 86 87 92 93 98 103 106 107 108 109 110 115 116 117 120 125 132 139 143 144 146 151 153 154 155 156 158 159 161 166 170 176 177 182 183 187 190 203 206 213 218 222 223 228 229 231 233 235 238 244 246 252 257 260 262 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 335 337 338 340 341 342 343 347 349 353 354 362 365 368 370 371 372 373 378 379 381 383 393 399 406 409 414 417 419 420 424 427 429 430 437 441 443 445 446 448 450 452 456 460 463 471 477 491 493 495 498 501 502 503 504 507 a 2 3 6 9 12 14 16 17 21 23 24 29 30 34 35 38 41 42 49 50 51 52 53 54 57 58 59 64 73 75 78 80 85 86 87 92 93 98 103 106 107 108 109 110 115 116 117 120 125 132 139 143 144 146 151 153 154 155 156 158 159 161 166 170 176 177 182 183 187 190 203 206 213 218 222 223 228 229 231 233 235 238 244 246 252 257 260 262 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 335 337 338 340 342 343 347 349 353 354 362 365 368 370 371 372 373 378 379 381 383 393 399 406 409 414 417 419 420 424 427 429 430 437 441 443 445 446 448 450 452 456 460 463 471 477 491 493 495 498 501 502 503 504 507 a 2 3 6 9 12 14 16 17 21 23 24 29 30 34 35 38 41 49 50 51 52 53 54 57 58 59 64 73 75 78 80 85 86 87 92 93 98 103 106 107 108 109 110 115 116 117 120 125 132 139 143 144 146 151 153 154 155 156 158 159 161 166 170 173 176 177 182 183 187 190 203 206 213 218 222 223 228 229 231 233 235 238 244 246 252 257 260 262 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 335 337 338 340 342 343 347 349 353 354 362 365 368 370 371 372 373 378 379 381 383 393 399 406 409 414 417 419 420 424 427 429 430 437 441 443 445 446 448 450 452 456 460 463 471 477 491 493 495 498 501 502 503 504 507 a 2 3 6 9 12 14 16 17 21 23 24 29 30 34 35 38 41 49 50 51 52 53 54 57 58 59 64 73 75 78 80 85 86 87 92 93 98 103 106 107 108 109 110 115 116 117 120 125 131 132 139 143 144 146 151 153 154 155 156 158 159 161 166 170 173 176 177 182 183 187 190 203 206 213 218 222 223 228 229 231 233 235 238 244 246 252 257 260 262 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 347 349 353 354 362 365 368 370 371 372 373 378 379 381 383 393 399 406 409 414 417 419 420 424 427 429 430 437 441 443 445 446 448 450 452 456 460 463 471 477 491 493 495 498 501 502 503 504 507 a 2 3 6 9 12 14 16 17 21 23 24 29 30 34 35 38 41 49 50 51 52 53 54 57 58 59 64 73 75 78 80 85 86 87 92 93 98 103 106 107 108 109 110 115 116 117 120 125 131 132 139 143 144 146 151 154 155 156 158 159 161 166 170 173 176 177 182 183 187 190 203 206 213 218 222 223 228 229 231 233 235 238 244 246 252 257 260 262 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 347 349 350 353 354 362 365 368 370 371 372 373 378 379 381 383 393 399 406 409 414 417 419 420 424 427 429 430 437 441 443 445 446 448 450 452 456 460 463 471 477 491 493 495 498 501 502 503 504 507 a 2 3 6 9 12 14 16 17 21 23 29 30 34 35 38 41 49 50 51 52 53 54 57 58 59 64 73 75 78 80 85 86 87 92 93 95 98 103 106 107 108 109 110 115 116 117 120 125 131 132 139 143 144 146 151 154 155 156 158 159 161 166 170 173 176 177 182 183 187 190 203 206 213 218 222 223 228 229 231 233 235 238 244 246 252 257 260 262 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 347 349 350 353 354 362 365 368 370 371 372 373 378 379 381 383 393 399 406 409 414 417 419 420 424 427 429 430 437 441 443 445 446 448 450 452 456 460 463 471 477 491 493 495 498 501 502 503 504 507 a 2 3 6 9 12 14 16 17 21 23 29 30 34 35 38 41 49 50 51 52 53 54 57 58 59 64 73 75 78 80 85 86 87 92 93 95 98 103 106 107 108 109 110 115 116 117 120 125 131 132 139 143 144 146 151 154 155 156 158 159 161 166 170 173 176 177 182 183 187 190 199 203 206 213 218 222 223 228 229 231 233 235 238 244 246 252 257 260 262 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 347 349 350 354 362 365 368 370 371 372 373 378 379 381 383 393 399 406 409 414 417 419 420 424 427 429 430 437 441 443 445 446 448 450 452 456 460 463 471 477 491 493 495 498 501 502 503 504 507 a 2 3 6 9 12 14 16 17 21 23 29 30 34 35 38 41 49 50 51 52 53 54 57 58 59 62 64 73 75 78 80 85 86 87 92 93 95 98 103 106 107 108 109 110 115 116 117 120 125 131 132 139 143 144 146 151 154 155 156 158 159 161 166 170 173 176 177 182 187 190 199 203 206 213 218 222 223 228 229 231 233 235 238 244 246 252 257 260 262 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 347 349 350 354 362 365 368 370 371 372 373 378 379 381 383 393 399 406 409 414 417 419 420 424 427 429 430 437 441 443 445 446 448 450 452 456 460 463 471 477 491 493 495 498 501 502 503 504 507 a 2 3 6 9 12 14 16 17 21 23 29 30 34 35 38 41 49 50 51 52 53 54 57 58 59 62 64 73 75 78 80 85 86 87 92 93 95 98 103 106 107 108 109 110 115 116 117 120 125 131 132 139 143 144 146 151 154 155 156 158 159 161 166 170 173 176 177 182 187 190 199 203 206 213 218 223 228 229 231 233 235 238 244 246 252 257 260 261 262 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 347 349 350 354 362 365 368 370 371 372 373 378 379 381 383 393 399 406 409 414 417 419 420 424 427 429 430 437 441 443 445 446 448 450 452 456 460 463 471 477 491 493 495 498 501 502 503 504 507 a 2 3 6 9 12 14 16 17 21 23 29 30 34 35 38 41 49 50 51 52 53 54 57 58 59 62 64 73 75 78 80 85 86 87 92 93 95 98 103 106 107 108 109 110 115 116 117 120 125 131 132 139 143 144 146 151 154 155 156 158 159 161 166 173 176 177 182 187 190 199 203 206 213 218 223 228 229 231 233 235 238 244 246 252 257 259 260 261 262 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 347 349 350 354 362 365 368 370 371 372 373 378 379 381 383 393 399 406 409 414 417 419 420 424 427 429 430 437 441 443 445 446 448 450 452 456 460 463 471 477 491 493 495 498 501 502 503 504 507 a 2 3 6 9 12 14 16 17 21 23 29 30 34 35 38 41 49 50 51 52 53 54 57 58 59 62 64 73 75 78 80 85 86 87 92 93 95 98 103 106 107 108 109 110 115 116 117 120 125 131 132 139 143 144 146 151 154 155 156 158 159 161 166 173 176 177 182 187 190 199 203 206 213 218 221 223 228 229 231 233 235 238 244 246 257 259 260 261 262 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 347 349 350 354 362 365 368 370 371 372 373 378 379 381 383 393 399 406 409 414 417 419 420 424 427 429 430 437 441 443 445 446 448 450 452 456 460 463 471 477 491 493 495 498 501 502 503 504 507 a 2 3 6 9 12 14 16 17 21 23 29 30 34 35 38 41 49 50 51 52 53 54 57 58 59 62 64 73 75 78 80 85 86 87 92 93 95 98 103 106 107 108 109 110 115 116 117 120 125 131 132 139 143 144 146 151 154 155 156 158 159 161 166 173 174 176 177 182 187 190 199 203 206 213 218 221 223 228 229 231 233 235 238 244 246 257 259 260 261 262 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 347 349 350 354 362 365 368 370 371 372 373 378 379 381 383 393 399 406 409 414 417 419 420 427 429 430 437 441 443 445 446 448 450 452 456 460 463 471 477 491 493 495 498 501 502 503 504 507 a 2 3 6 9 12 14 16 17 21 23 29 30 34 35 38 41 49 50 51 52 53 54 57 58 59 62 64 73 75 78 80 85 86 87 92 93 95 98 103 106 107 108 109 110 115 116 117 120 125 131 132 139 143 144 146 151 154 155 156 158 159 161 166 173 174 176 177 182 187 199 203 206 213 218 221 223 228 229 231 233 235 238 244 246 257 259 260 261 262 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 347 349 350 354 362 365 368 369 370 371 372 373 378 379 381 383 393 399 406 409 414 417 419 420 427 429 430 437 441 443 445 446 448 450 452 456 460 463 471 477 491 493 495 498 501 502 503 504 507 a 2 3 6 9 12 14 16 17 21 23 29 30 34 35 38 41 49 50 51 52 53 54 57 58 59 62 64 73 75 78 80 85 86 87 92 93 95 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 139 143 144 146 151 154 155 156 158 159 161 166 173 174 176 177 182 187 199 203 206 213 218 221 223 228 229 231 233 235 238 244 246 257 259 260 261 262 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 347 349 350 354 362 365 368 369 370 371 372 373 378 379 381 383 393 399 406 409 414 417 419 420 427 429 437 441 443 445 446 448 450 452 456 460 463 471 477 491 493 495 498 501 502 503 504 507 a 2 3 6 9 12 14 16 17 21 23 29 30 34 35 38 41 48 49 50 51 52 53 54 57 58 59 62 64 73 75 78 80 85 86 87 92 93 95 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 139 143 144 146 151 154 155 156 158 159 161 166 173 174 176 177 182 187 199 203 206 213 218 221 223 228 229 231 233 235 238 244 246 257 259 260 261 262 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 347 349 350 354 362 365 368 369 370 371 372 373 378 379 381 383 393 399 406 409 414 417 419 420 427 429 437 441 443 445 446 448 450 452 460 463 471 477 491 493 495 498 501 502 503 504 507 a 2 3 6 9 12 14 16 17 21 23 29 30 34 35 38 41 48 49 50 51 52 53 54 57 58 59 62 64 73 75 78 80 85 86 87 92 93 95 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 139 143 144 146 151 154 155 156 158 159 161 166 173 174 176 177 182 187 199 203 206 213 218 221 223 228 229 231 235 238 244 246 257 259 260 261 262 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 347 349 350 354 362 365 368 369 370 371 372 373 378 379 381 383 393 399 406 407 409 414 417 419 420 427 429 437 441 443 445 446 448 450 452 460 463 471 477 491 493 495 498 501 502 503 504 507 a 2 3 6 9 12 14 16 17 21 23 29 30 34 35 38 41 48 49 50 51 52 53 54 57 58 59 62 64 73 74 75 78 80 85 86 87 92 93 95 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 139 143 144 146 151 154 155 156 158 159 161 166 173 174 176 177 182 187 199 203 206 213 218 221 223 228 229 231 235 238 244 246 257 259 260 261 262 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 347 349 350 354 362 365 368 369 370 371 372 373 378 379 381 383 393 406 407 409 414 417 419 420 427 429 437 441 443 445 446 448 450 452 460 463 471 477 491 493 495 498 501 502 503 504 507 a 2 3 6 9 12 14 16 17 21 23 29 30 34 35 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 73 74 75 78 80 85 86 87 92 93 95 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 139 143 144 146 151 154 155 156 158 159 161 166 173 174 176 177 182 187 199 203 206 213 218 221 223 228 229 231 235 238 244 246 257 259 260 261 262 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 347 349 350 362 365 368 369 370 371 372 373 378 379 381 383 393 406 407 409 414 417 419 420 427 429 437 441 443 445 446 448 450 452 460 463 471 477 491 493 495 498 501 502 503 504 507 a 2 3 6 9 12 14 16 17 21 23 29 30 35 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 73 74 75 78 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 139 143 144 146 151 154 155 156 158 159 161 166 173 174 176 177 182 187 199 203 206 213 218 221 223 228 229 231 235 238 244 246 257 259 260 261 262 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 347 349 350 362 365 368 369 370 371 372 373 378 379 381 383 393 406 407 409 414 417 419 420 427 429 437 441 443 445 446 448 450 452 460 463 471 477 491 493 495 498 501 502 503 504 507 a 2 3 6 9 12 14 16 17 21 23 29 30 35 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 73 74 75 78 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 139 143 144 146 151 154 155 156 158 159 161 166 173 174 176 177 182 187 199 203 206 213 218 221 223 228 229 231 235 238 244 246 257 259 260 261 262 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 347 349 350 362 365 368 369 370 371 372 373 378 379 381 383 390 393 406 407 409 414 417 419 420 427 429 437 441 445 446 448 450 452 460 463 471 477 491 493 495 498 501 502 503 504 507 a 2 3 6 9 12 14 16 17 21 23 29 30 35 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 73 74 75 78 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 139 143 144 146 151 154 155 156 158 159 161 166 173 174 176 177 182 187 199 203 206 213 218 221 223 228 229 235 238 244 246 257 259 260 261 262 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 346 347 349 350 362 365 368 369 370 371 372 373 378 379 381 383 390 393 406 407 409 414 417 419 420 427 429 437 441 445 446 448 450 452 460 463 471 477 491 493 495 498 501 502 503 504 507 a 2 3 6 9 12 14 16 17 21 23 29 30 35 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 73 74 75 78 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 139 143 144 146 151 154 155 156 159 161 166 173 174 176 177 182 187 199 203 206 213 218 221 223 228 229 235 238 244 246 257 259 260 261 262 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 346 347 349 350 362 365 368 369 370 371 372 373 378 379 381 383 390 393 406 407 409 414 417 419 420 427 429 437 441 445 446 448 450 452 460 463 471 477 491 493 495 498 501 502 503 504 507 a 2 3 6 9 12 14 16 17 21 23 29 30 35 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 73 74 75 78 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 139 143 144 146 151 154 155 159 161 166 173 174 176 177 182 187 199 203 206 213 218 221 223 228 229 235 238 244 246 257 259 260 261 262 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 346 347 349 350 358 362 365 368 369 370 371 372 373 378 379 381 383 390 393 406 407 409 414 417 419 420 427 429 437 441 445 446 448 450 452 460 463 471 477 491 493 495 498 501 502 503 504 507 a 2 3 6 9 12 14 16 17 21 23 29 30 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 73 74 75 78 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 139 143 144 146 151 154 155 159 161 166 173 174 176 177 182 187 192 199 203 206 213 218 221 223 228 229 235 238 244 246 257 259 260 261 262 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 346 347 349 350 358 362 365 368 369 370 371 372 373 378 379 381 383 390 393 406 407 409 414 417 419 420 427 429 437 441 445 446 448 450 452 460 463 471 477 491 493 495 498 501 502 503 504 507 a 2 3 6 9 12 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 73 74 75 78 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 139 143 144 146 151 154 155 159 161 166 173 174 176 177 182 187 192 199 203 204 206 213 218 221 223 228 229 235 238 244 246 257 259 260 261 262 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 346 347 349 350 358 362 365 368 369 370 371 372 373 378 379 381 383 390 393 406 407 409 414 417 419 420 427 429 437 441 445 446 448 450 452 460 463 471 477 491 493 495 498 501 502 503 504 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 73 74 75 78 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 139 143 144 146 151 154 155 159 161 166 173 174 176 177 182 187 192 199 203 204 206 213 218 221 223 228 229 235 238 244 246 257 259 260 261 262 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 346 347 349 350 358 362 365 368 369 370 371 372 373 378 379 381 383 390 393 406 407 409 414 417 419 420 427 429 437 441 445 446 448 450 452 460 463 471 477 488 491 493 495 498 501 502 503 504 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 73 74 75 78 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 146 151 154 155 159 161 166 173 174 176 177 182 187 192 199 203 204 206 213 218 221 223 228 229 232 235 238 244 246 257 259 260 261 262 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 346 347 349 350 358 362 365 368 369 370 371 372 373 378 379 381 383 390 393 406 407 409 414 417 419 420 427 429 437 441 445 446 448 450 452 460 463 471 477 488 491 493 495 498 501 502 503 504 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 73 74 75 78 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 146 150 151 154 155 159 161 166 173 174 176 177 182 187 192 199 203 204 206 213 218 221 223 228 229 232 235 238 244 246 259 260 261 262 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 346 347 349 350 358 362 365 368 369 370 371 372 373 378 379 381 383 390 393 406 407 409 414 417 419 420 427 429 437 441 445 446 448 450 452 460 463 471 477 488 491 493 495 498 501 502 503 504 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 73 74 75 78 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 146 150 151 154 155 159 161 166 173 174 176 182 187 192 199 203 204 206 213 218 221 223 228 229 232 235 238 244 246 259 260 261 262 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 335 338 340 342 343 346 347 349 350 358 362 365 368 369 370 371 372 373 378 379 381 383 390 393 397 406 407 409 414 417 419 420 427 429 437 441 445 446 448 450 452 460 463 471 477 488 491 493 495 498 501 502 503 504 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 73 74 75 78 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 146 150 151 154 155 159 161 166 173 174 176 182 187 192 199 203 204 206 213 218 221 228 229 232 235 238 244 246 259 260 261 262 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 329 335 338 340 342 343 346 347 349 350 358 362 365 368 369 370 371 372 373 378 379 381 383 390 393 397 406 407 409 414 417 419 420 427 429 437 441 445 446 448 450 452 460 463 471 477 488 491 493 495 498 501 502 503 504 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 73 74 75 78 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 146 150 151 154 155 159 161 166 173 174 176 182 187 192 199 203 204 206 213 218 221 228 229 232 235 238 244 246 259 260 261 262 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 329 338 340 342 343 346 347 349 350 358 362 365 368 369 370 371 372 373 378 379 381 383 390 393 397 406 407 409 414 417 419 420 425 427 429 437 441 445 446 448 450 452 460 463 471 477 488 491 493 495 498 501 502 503 504 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 73 74 75 78 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 146 150 151 154 155 159 161 166 173 174 176 182 187 192 199 203 204 206 213 218 221 228 229 232 235 238 244 246 259 260 261 262 264 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 329 338 340 342 343 346 347 349 350 358 362 365 368 369 370 371 372 373 378 379 381 383 390 393 397 406 407 409 414 417 419 420 425 427 429 437 441 445 446 448 450 452 460 463 477 488 491 493 495 498 501 502 503 504 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 73 74 75 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 146 150 151 154 155 159 161 166 173 174 176 182 187 192 199 203 204 206 213 218 221 228 229 232 235 238 244 246 259 260 261 262 264 269 270 271 273 275 279 284 285 287 289 294 297 298 302 303 311 314 319 323 329 338 340 342 343 346 347 349 350 358 362 365 368 369 370 371 372 373 378 379 381 383 390 393 397 406 407 409 414 417 419 420 425 427 429 437 441 445 446 448 450 452 460 463 477 488 491 493 495 498 501 502 503 504 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 146 150 151 154 155 159 161 166 173 174 176 182 187 192 199 203 204 206 213 218 221 228 229 232 235 238 244 246 259 260 261 262 264 269 270 271 273 275 279 284 285 287 289 294 297 298 302 303 311 314 319 323 329 338 340 342 343 346 347 349 350 358 362 365 368 369 370 371 372 373 378 379 381 383 390 393 397 406 407 409 414 417 419 420 425 427 429 437 440 441 445 446 448 450 452 460 463 477 488 491 493 495 498 501 502 503 504 507 c Step: 98 Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance039_graph001.col /benchmark/random_instance/random_instance039_graph001_01.dat" User time (seconds): 12.79 System time (seconds): 0.37 Percent of CPU this job got: 190% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:06.93 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): 472660 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 345743 Voluntary context switches: 19843 Involuntary context switches: 47 Swaps: 0 File system inputs: 0 File system outputs: 784 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 15:10:48 2023]