#BEGIN: [Mon Sep 4 15:08:16 2023] #HOST: s13 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance038_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance038_graph001_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest /benchmark/random_instance/random_instance038_graph001.col /benchmark/random_instance/random_instance038_graph001_01.dat c /benchmark/random_instance/random_instance038_graph001.col c /benchmark/random_instance/random_instance038_graph001_01.dat s 209 305 112 433 161 257 51 171 108 110 105 350 384 160 467 338 490 295 246 182 126 314 8 183 286 488 197 41 125 178 219 184 389 124 472 367 27 42 203 408 398 461 458 371 394 272 274 138 152 199 205 311 106 247 142 63 370 226 256 331 297 195 463 273 468 356 334 242 482 213 116 277 68 241 368 409 61 337 400 446 73 426 292 476 254 119 282 99 475 437 43 300 7 424 70 46 66 443 201 346 143 455 439 271 310 414 202 307 449 479 275 196 34 146 237 177 276 13 448 325 374 206 102 31 135 470 477 486 90 14 480 56 28 40 45 265 364 84 227 451 136 82 326 378 399 429 33 189 11 358 244 222 369 478 466 t 211 222 363 81 84 476 227 133 431 138 237 239 106 156 380 177 181 279 318 9 272 167 33 486 184 89 377 208 338 406 196 358 214 240 267 307 22 150 304 463 213 341 296 370 394 419 323 481 342 56 74 190 392 303 479 420 335 90 29 66 128 292 164 58 489 79 25 305 127 450 57 44 110 430 310 444 273 200 103 17 324 315 125 49 115 122 373 229 263 467 68 235 322 118 152 99 261 371 130 147 319 367 284 316 123 300 470 460 135 194 210 168 451 101 262 256 393 423 493 281 151 294 102 217 399 326 173 446 8 174 3 364 401 75 357 241 13 351 36 236 31 93 299 276 142 477 494 41 95 145 410 275 94 359 440 a YES a 7 8 11 13 14 27 28 31 33 34 40 41 42 43 45 46 51 56 61 63 66 68 70 73 82 84 90 99 102 105 106 108 110 112 116 119 124 125 126 135 136 138 142 143 146 152 160 161 171 177 178 182 183 184 189 195 196 197 199 201 202 203 205 206 209 213 219 222 226 227 237 241 242 244 246 247 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 482 486 488 490 a 7 8 11 13 14 27 28 31 33 34 40 41 42 43 45 46 51 56 61 63 66 68 70 73 82 84 90 99 102 105 106 108 110 112 116 119 124 125 126 135 136 138 142 143 146 152 160 161 171 177 178 182 183 184 189 195 196 197 199 201 202 203 205 206 209 213 219 222 226 227 237 241 242 244 246 247 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 426 429 431 433 437 439 443 446 448 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 482 486 488 490 a 7 8 11 13 14 27 28 31 33 34 40 41 42 43 45 46 51 56 61 63 66 68 70 73 74 82 84 90 99 102 105 106 108 110 112 116 119 124 125 126 135 136 138 142 143 146 152 160 161 171 177 178 182 183 184 189 195 196 197 199 201 202 203 205 209 213 219 222 226 227 237 241 242 244 246 247 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 426 429 431 433 437 439 443 446 448 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 482 486 488 490 a 7 8 11 13 14 27 28 31 33 34 40 41 42 43 45 46 51 56 61 63 66 68 70 73 74 82 84 90 99 102 105 106 108 110 116 119 124 125 126 135 136 138 142 143 146 152 160 161 171 177 178 182 183 184 189 195 196 197 199 201 202 203 205 209 213 219 222 226 227 236 237 241 242 244 246 247 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 426 429 431 433 437 439 443 446 448 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 482 486 488 490 a 7 8 11 13 14 27 28 31 33 34 40 41 42 43 45 46 51 56 61 63 66 68 70 73 74 79 82 84 90 99 102 105 106 108 110 116 119 124 125 126 135 136 138 142 143 146 152 160 161 171 177 178 182 183 184 189 195 196 197 199 201 202 203 205 209 213 219 222 226 227 236 237 241 242 244 246 247 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 426 429 431 433 437 439 446 448 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 482 486 488 490 a 7 8 11 13 14 27 28 31 33 34 40 41 42 43 45 46 51 56 61 63 66 68 70 73 74 79 82 84 90 99 102 105 106 108 110 116 119 124 125 126 135 136 138 142 143 146 152 160 161 164 171 177 178 182 183 184 189 195 196 197 199 201 202 203 205 209 213 219 222 227 236 237 241 242 244 246 247 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 426 429 431 433 437 439 446 448 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 482 486 488 490 a 7 8 11 13 14 25 27 28 31 33 34 40 41 42 43 45 46 51 56 61 63 66 68 70 73 74 79 82 84 90 99 102 105 106 108 110 116 119 124 125 126 135 136 138 142 143 146 152 160 161 164 171 177 178 182 183 184 189 195 196 197 199 201 202 203 205 209 213 219 222 227 236 237 241 242 244 246 247 254 256 257 265 271 272 273 274 275 276 277 282 292 295 297 300 305 307 310 311 314 325 326 331 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 426 429 431 433 437 439 446 448 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 482 486 488 490 a 7 8 11 13 14 25 27 28 31 33 34 40 41 42 43 45 46 51 56 61 63 66 68 70 73 74 79 82 84 90 99 102 105 106 108 110 116 119 124 125 126 135 136 138 142 143 146 152 160 161 164 171 177 178 182 183 184 189 195 196 197 199 201 202 203 209 213 219 222 227 236 237 241 242 244 246 247 254 256 257 265 271 272 273 274 275 276 277 282 292 295 297 300 305 307 310 311 314 319 325 326 331 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 426 429 431 433 437 439 446 448 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 482 486 488 490 a 7 8 11 13 14 25 27 28 31 33 34 40 41 42 43 45 46 51 56 61 63 66 68 70 73 74 79 82 84 90 99 102 105 106 108 110 116 119 124 125 126 135 136 138 142 143 146 152 160 161 164 171 177 178 182 183 184 189 195 196 197 199 201 202 203 209 213 219 222 227 236 237 241 242 244 246 247 254 256 257 265 271 272 273 274 275 276 277 282 292 295 297 299 300 305 307 310 311 314 319 325 326 331 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 426 429 431 433 437 439 446 448 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 482 486 488 a 7 8 11 13 14 25 27 28 31 33 34 40 41 43 45 46 51 56 61 63 66 68 70 73 74 79 82 84 90 99 102 105 106 108 110 116 119 124 125 126 135 136 138 142 143 146 152 160 161 164 171 177 178 182 183 184 189 195 196 197 199 201 202 203 209 213 219 222 227 236 237 241 242 244 246 247 254 256 257 263 265 271 272 273 274 275 276 277 282 292 295 297 299 300 305 307 310 311 314 319 325 326 331 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 426 429 431 433 437 439 446 448 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 482 486 488 a 7 8 11 13 14 25 27 28 31 33 34 40 41 43 45 46 51 56 61 63 66 68 70 73 74 79 82 84 90 99 102 105 106 108 110 116 119 124 125 126 135 136 138 142 143 146 152 160 161 164 171 177 178 182 183 184 189 195 196 197 199 201 202 203 209 213 219 222 227 236 237 241 242 244 246 247 254 256 257 263 265 271 272 273 274 275 276 277 282 292 295 297 299 300 305 307 310 311 314 319 325 326 331 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 392 394 398 399 400 408 409 414 424 426 429 431 433 437 439 446 448 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 486 488 a 7 8 11 13 14 25 27 28 31 33 34 40 41 43 45 46 51 56 61 63 66 68 70 73 74 79 82 84 90 99 102 105 106 108 110 116 119 124 125 126 135 136 138 142 143 146 152 160 161 164 171 177 178 182 183 184 189 195 196 197 199 201 202 203 209 213 219 222 227 236 237 241 242 244 246 247 254 256 257 263 265 271 272 273 274 275 276 277 282 292 295 297 299 300 305 307 310 311 314 319 322 325 326 331 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 392 394 398 399 400 408 409 414 424 426 429 431 433 437 439 446 448 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 486 a 7 8 11 13 14 22 25 27 28 31 33 34 40 41 43 45 46 51 56 61 63 66 68 70 73 74 79 82 84 90 99 102 105 106 108 110 116 119 124 125 126 135 136 138 142 143 146 152 160 161 164 171 177 178 182 183 184 189 195 196 197 199 201 202 203 209 213 219 222 227 236 237 241 242 244 246 247 254 256 257 263 265 271 272 273 274 275 276 277 282 292 295 297 299 300 305 307 310 311 319 322 325 326 331 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 392 394 398 399 400 408 409 414 424 426 429 431 433 437 439 446 448 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 486 a 7 8 11 13 14 22 25 27 28 31 33 34 40 41 43 45 46 51 56 61 63 66 68 70 73 74 79 82 84 90 99 102 105 106 108 110 116 119 124 125 126 135 136 138 142 143 146 152 160 161 164 171 177 178 182 183 184 189 195 196 197 199 201 202 203 209 213 219 222 227 236 237 241 242 244 247 254 256 257 263 265 271 272 273 274 275 276 277 282 292 295 297 299 300 305 307 310 311 316 319 322 325 326 331 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 392 394 398 399 400 408 409 414 424 426 429 431 433 437 439 446 448 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 486 a 7 8 11 13 14 22 25 27 28 31 33 34 40 41 43 45 46 51 56 61 63 66 68 70 73 74 79 82 84 90 99 102 106 108 110 116 119 124 125 126 135 136 138 142 143 146 152 160 161 164 171 177 178 182 183 184 189 195 196 197 199 201 202 203 209 213 219 222 227 236 237 241 242 244 247 254 256 257 261 263 265 271 272 273 274 275 276 277 282 292 295 297 299 300 305 307 310 311 316 319 322 325 326 331 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 392 394 398 399 400 408 409 414 424 426 429 431 433 437 439 446 448 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 486 a 7 8 11 13 14 22 25 27 28 31 33 34 40 41 43 45 46 51 56 61 63 66 68 70 73 74 79 82 84 90 99 102 106 108 110 116 119 124 125 126 135 136 138 142 143 146 152 160 161 164 171 177 178 182 183 184 189 195 196 197 199 201 202 203 209 213 219 222 227 236 237 241 242 244 247 254 256 257 261 263 265 271 272 273 274 275 276 277 282 292 295 297 299 300 303 305 307 310 311 316 319 322 325 326 331 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 392 394 398 399 400 408 409 414 424 426 429 431 437 439 446 448 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 486 a 7 8 11 13 14 22 25 27 28 31 33 34 40 41 43 44 45 46 51 56 61 63 66 68 70 73 74 79 82 84 90 99 102 106 108 110 116 119 124 125 126 135 136 138 142 143 146 152 160 161 164 171 177 178 182 183 184 189 195 196 197 199 201 202 203 209 213 219 222 227 236 237 241 242 244 247 254 256 257 261 263 265 271 272 273 274 275 276 277 282 292 295 297 299 300 303 305 307 310 311 316 319 322 325 326 331 334 337 338 346 356 358 364 367 368 369 370 371 374 378 384 389 392 394 398 399 400 408 409 414 424 426 429 431 437 439 446 448 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 486 a 7 8 11 13 14 22 25 27 28 31 33 34 40 41 43 44 45 46 51 56 61 63 66 68 70 74 79 82 84 90 99 102 106 108 110 115 116 119 124 125 126 135 136 138 142 143 146 152 160 161 164 171 177 178 182 183 184 189 195 196 197 199 201 202 203 209 213 219 222 227 236 237 241 242 244 247 254 256 257 261 263 265 271 272 273 274 275 276 277 282 292 295 297 299 300 303 305 307 310 311 316 319 322 325 326 331 334 337 338 346 356 358 364 367 368 369 370 371 374 378 384 389 392 394 398 399 400 408 409 414 424 426 429 431 437 439 446 448 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 486 a 7 8 11 13 14 22 25 27 28 31 33 34 40 41 43 44 45 46 51 56 61 63 66 68 70 74 79 82 84 90 99 102 106 108 110 115 116 119 124 125 126 135 136 138 142 143 146 152 160 161 164 171 177 182 183 184 189 194 195 196 197 199 201 202 203 209 213 219 222 227 236 237 241 242 244 247 254 256 257 261 263 265 271 272 273 274 275 276 277 282 292 295 297 299 300 303 305 307 310 311 316 319 322 325 326 331 334 337 338 346 356 358 364 367 368 369 370 371 374 378 384 389 392 394 398 399 400 408 409 414 424 426 429 431 437 439 446 448 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 486 a 7 8 11 13 14 22 25 27 28 31 33 34 40 41 43 44 45 46 51 56 61 63 66 68 70 74 79 82 84 90 99 102 106 108 110 115 116 119 124 125 126 135 136 138 142 143 146 152 160 161 164 171 177 182 183 184 189 194 195 196 197 199 201 202 203 209 213 219 222 227 236 237 241 242 244 247 254 256 257 261 263 265 271 272 273 274 275 276 277 282 292 295 296 297 299 300 303 305 307 310 311 316 319 322 326 331 334 337 338 346 356 358 364 367 368 369 370 371 374 378 384 389 392 394 398 399 400 408 409 414 424 426 429 431 437 439 446 448 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 486 a 7 8 11 13 14 22 25 27 28 31 33 34 40 41 43 44 45 46 51 56 61 63 66 68 70 74 79 82 84 90 99 102 106 108 110 115 116 119 124 125 126 135 136 138 142 143 146 152 160 161 164 171 177 182 183 184 189 194 195 196 197 199 201 202 203 209 213 219 222 227 236 237 241 242 244 247 254 256 257 261 263 265 271 272 273 274 275 276 277 282 292 295 296 297 299 300 303 305 307 310 311 316 319 322 326 331 334 337 338 346 356 358 364 367 368 369 370 371 374 378 384 389 392 394 398 399 400 408 409 414 424 426 429 431 437 439 440 446 448 451 455 458 461 463 466 467 468 470 475 476 477 478 479 480 486 a 7 8 11 13 14 22 25 27 28 31 33 34 40 41 43 44 45 46 51 56 61 63 66 68 70 74 79 82 84 90 99 102 106 108 110 115 116 119 124 125 126 135 136 138 142 143 146 152 160 161 164 171 173 177 182 183 184 189 194 195 196 197 199 201 202 203 209 213 219 222 227 236 237 241 242 244 247 254 256 257 261 263 265 271 272 273 274 275 276 277 282 292 295 296 297 299 300 303 305 307 310 311 316 319 322 326 331 334 337 338 346 356 358 364 367 368 369 370 371 374 378 384 389 392 394 398 399 400 408 409 414 424 426 429 431 437 439 440 446 448 451 458 461 463 466 467 468 470 475 476 477 478 479 480 486 a 7 8 11 13 14 22 25 27 28 31 33 34 40 41 43 44 45 46 51 56 61 63 66 68 70 74 79 82 84 90 99 102 106 108 110 115 116 119 124 125 126 135 136 138 142 143 146 152 161 164 171 173 177 182 183 184 189 194 195 196 197 199 201 202 203 209 213 219 222 227 236 237 241 242 244 247 254 256 257 261 263 265 271 272 273 274 275 276 277 282 292 295 296 297 299 300 303 305 307 310 311 316 319 322 326 331 334 337 338 346 356 358 364 367 368 369 370 371 374 378 384 389 392 394 398 399 400 408 409 410 414 424 426 429 431 437 439 440 446 448 451 458 461 463 466 467 468 470 475 476 477 478 479 480 486 a 7 8 11 13 14 22 25 27 28 31 33 34 40 41 43 44 45 46 51 56 61 63 66 68 70 74 79 82 84 90 99 102 106 108 110 115 116 119 124 125 126 135 136 138 142 143 146 152 164 171 173 177 182 183 184 189 194 195 196 197 199 201 202 203 209 213 219 222 227 236 237 241 242 244 247 254 256 257 261 263 265 271 272 273 274 275 276 277 282 292 295 296 297 299 300 303 305 307 310 311 316 319 322 326 331 334 337 338 346 356 358 364 367 368 369 370 371 374 378 384 389 392 394 398 399 400 408 409 410 414 424 426 429 431 437 439 440 446 448 451 458 461 463 466 467 468 470 475 476 477 478 479 480 481 486 a 7 8 11 13 14 22 25 27 28 31 33 34 40 41 43 44 45 46 51 56 61 63 66 68 70 74 79 82 84 90 99 102 106 108 110 115 116 119 124 125 126 135 136 138 142 143 146 152 164 171 173 174 177 182 183 184 189 194 195 196 197 199 201 202 203 209 213 219 222 227 236 237 241 242 244 247 254 256 257 261 263 265 271 272 273 274 275 276 277 282 292 295 296 297 299 300 303 305 307 310 311 316 319 322 326 331 334 337 338 346 356 358 364 367 368 369 370 371 374 378 384 389 392 394 398 399 400 408 409 410 414 424 426 429 431 437 439 440 446 448 451 458 461 463 466 467 468 470 475 476 477 478 479 481 486 a 7 8 11 13 14 22 25 27 28 31 33 34 40 41 43 44 45 46 51 56 61 63 66 68 70 74 79 82 84 90 99 102 106 108 110 115 116 119 124 125 126 135 136 138 142 143 146 152 164 171 173 174 177 182 183 184 189 194 195 196 197 199 201 202 203 209 213 219 222 227 236 237 240 241 242 244 247 254 256 257 261 263 265 271 272 273 274 275 276 277 282 292 295 296 297 299 300 303 305 307 310 311 316 319 322 326 331 334 337 338 346 356 358 364 367 368 369 370 371 374 384 389 392 394 398 399 400 408 409 410 414 424 426 429 431 437 439 440 446 448 451 458 461 463 466 467 468 470 475 476 477 478 479 481 486 a 7 8 11 13 14 22 25 27 28 31 33 34 40 41 43 44 45 46 51 56 61 63 66 68 70 74 79 82 84 90 99 102 106 108 110 115 116 119 124 125 126 127 135 136 138 142 143 146 152 164 171 173 174 177 182 183 184 189 194 195 196 197 199 201 202 203 209 213 219 222 227 236 237 240 241 242 244 247 254 256 257 261 263 265 271 272 273 274 275 276 277 282 292 295 296 297 299 300 303 305 307 310 311 316 319 322 326 331 334 337 338 346 356 358 364 367 368 369 370 371 374 384 389 392 394 398 399 400 408 409 410 414 424 426 429 431 439 440 446 448 451 458 461 463 466 467 468 470 475 476 477 478 479 481 486 a 7 8 11 13 14 22 25 27 28 31 33 34 40 41 43 44 45 46 51 56 61 63 66 68 70 74 79 82 84 90 99 102 106 108 110 115 116 119 124 125 126 127 135 136 138 142 143 146 152 164 171 173 174 177 182 183 184 189 194 195 196 197 199 200 201 202 203 209 213 219 222 227 236 237 240 241 242 244 247 254 256 257 261 263 265 271 272 273 274 275 276 277 282 292 295 296 297 299 300 303 305 307 310 311 316 319 322 326 334 337 338 346 356 358 364 367 368 369 370 371 374 384 389 392 394 398 399 400 408 409 410 414 424 426 429 431 439 440 446 448 451 458 461 463 466 467 468 470 475 476 477 478 479 481 486 a 7 8 11 13 14 22 25 27 28 31 33 34 40 41 43 44 45 46 51 56 61 63 66 68 70 74 79 82 84 90 99 102 106 108 110 115 116 119 124 125 126 127 135 136 138 142 143 146 152 164 171 173 174 177 182 183 184 189 194 195 196 197 199 200 201 202 203 209 213 219 222 227 236 237 240 241 242 244 247 254 256 257 261 263 265 271 272 273 274 275 276 277 282 292 295 296 297 299 300 303 305 307 310 311 316 319 322 326 334 337 338 346 356 358 364 367 368 369 370 371 373 374 384 389 392 394 398 399 400 408 409 410 414 424 426 429 431 439 440 446 448 451 458 461 463 466 467 468 470 476 477 478 479 481 486 a 3 7 8 11 13 14 22 25 27 28 31 33 34 40 41 43 44 45 46 51 56 61 63 66 68 70 74 79 82 84 90 99 102 106 110 115 116 119 124 125 126 127 135 136 138 142 143 146 152 164 171 173 174 177 182 183 184 189 194 195 196 197 199 200 201 202 203 209 213 219 222 227 236 237 240 241 242 244 247 254 256 257 261 263 265 271 272 273 274 275 276 277 282 292 295 296 297 299 300 303 305 307 310 311 316 319 322 326 334 337 338 346 356 358 364 367 368 369 370 371 373 374 384 389 392 394 398 399 400 408 409 410 414 424 426 429 431 439 440 446 448 451 458 461 463 466 467 468 470 476 477 478 479 481 486 a 3 7 8 11 13 14 22 25 27 28 31 33 34 40 41 43 44 45 46 51 56 61 63 66 68 70 74 79 82 84 90 99 102 106 110 115 116 119 124 125 126 127 135 136 138 142 143 146 152 164 171 173 174 177 181 182 183 184 189 194 195 196 197 199 200 201 202 203 209 213 219 222 227 236 237 240 241 242 244 247 254 256 257 261 263 265 271 272 273 274 275 276 277 282 292 295 296 297 299 300 303 305 307 310 311 316 319 322 326 334 337 338 346 356 358 364 367 368 369 370 371 373 374 389 392 394 398 399 400 408 409 410 414 424 426 429 431 439 440 446 448 451 458 461 463 466 467 468 470 476 477 478 479 481 486 a 3 7 8 11 13 14 22 25 27 28 31 33 34 40 41 43 44 45 46 51 56 61 63 66 68 70 74 79 82 84 90 99 102 106 110 115 116 119 124 125 126 127 135 136 138 142 143 146 152 156 164 171 173 174 177 181 182 183 184 189 194 195 196 197 199 200 201 202 209 213 219 222 227 236 237 240 241 242 244 247 254 256 257 261 263 265 271 272 273 274 275 276 277 282 292 295 296 297 299 300 303 305 307 310 311 316 319 322 326 334 337 338 346 356 358 364 367 368 369 370 371 373 374 389 392 394 398 399 400 408 409 410 414 424 426 429 431 439 440 446 448 451 458 461 463 466 467 468 470 476 477 478 479 481 486 a 3 7 8 11 13 14 22 25 27 28 31 33 34 40 41 43 44 45 46 51 56 57 61 63 66 68 70 74 79 82 84 90 99 102 106 110 115 116 119 124 125 126 127 135 136 138 142 143 146 152 156 164 171 173 174 177 181 182 183 184 189 194 195 196 197 199 200 201 202 209 213 219 222 227 236 237 240 241 242 244 247 254 256 261 263 265 271 272 273 274 275 276 277 282 292 295 296 297 299 300 303 305 307 310 311 316 319 322 326 334 337 338 346 356 358 364 367 368 369 370 371 373 374 389 392 394 398 399 400 408 409 410 414 424 426 429 431 439 440 446 448 451 458 461 463 466 467 468 470 476 477 478 479 481 486 a 3 7 8 11 13 14 22 25 27 28 31 33 34 40 41 43 44 45 46 51 56 57 61 63 66 68 70 74 79 81 82 84 90 99 102 106 110 115 116 119 124 125 126 127 135 136 138 142 143 146 152 156 164 171 173 174 177 181 183 184 189 194 195 196 197 199 200 201 202 209 213 219 222 227 236 237 240 241 242 244 247 254 256 261 263 265 271 272 273 274 275 276 277 282 292 295 296 297 299 300 303 305 307 310 311 316 319 322 326 334 337 338 346 356 358 364 367 368 369 370 371 373 374 389 392 394 398 399 400 408 409 410 414 424 426 429 431 439 440 446 448 451 458 461 463 466 467 468 470 476 477 478 479 481 486 a 3 7 8 11 13 14 22 25 27 28 31 33 34 40 41 43 44 45 51 56 57 61 63 66 68 70 74 79 81 82 84 90 99 102 106 110 115 116 119 124 125 126 127 135 136 138 142 143 146 152 156 164 171 173 174 177 181 183 184 189 194 195 196 197 199 200 201 202 209 213 219 222 227 236 237 240 241 242 244 247 254 256 261 263 265 271 272 273 274 275 276 277 282 292 295 296 297 299 300 303 305 307 310 311 316 319 322 326 334 335 337 338 346 356 358 364 367 368 369 370 371 373 374 389 392 394 398 399 400 408 409 410 414 424 426 429 431 439 440 446 448 451 458 461 463 466 467 468 470 476 477 478 479 481 486 a 3 7 8 11 13 14 22 25 27 28 31 33 40 41 43 44 45 51 56 57 61 63 66 68 70 74 79 81 82 84 90 99 102 106 110 115 116 119 124 125 126 127 135 136 138 142 143 146 152 156 164 171 173 174 177 181 183 184 189 194 195 196 197 199 200 201 202 209 213 219 222 227 236 237 240 241 242 244 247 254 256 261 263 265 271 272 273 274 275 276 277 282 292 295 296 297 299 300 303 305 307 310 311 316 319 322 326 334 335 337 338 346 356 358 364 367 368 369 370 371 373 374 389 392 394 398 399 400 408 409 410 414 424 426 429 431 439 440 444 446 448 451 458 461 463 466 467 468 470 476 477 478 479 481 486 a 3 7 8 11 13 14 22 25 27 28 31 33 40 41 43 44 45 51 56 57 61 63 66 68 70 74 79 81 82 84 90 99 102 106 110 115 116 119 123 124 125 126 127 135 136 138 142 143 146 152 156 164 171 173 174 177 181 183 184 189 194 195 196 197 199 200 201 202 209 213 219 222 227 236 237 240 241 242 244 247 254 256 261 263 265 271 272 273 274 275 276 277 292 295 296 297 299 300 303 305 307 310 311 316 319 322 326 334 335 337 338 346 356 358 364 367 368 369 370 371 373 374 389 392 394 398 399 400 408 409 410 414 424 426 429 431 439 440 444 446 448 451 458 461 463 466 467 468 470 476 477 478 479 481 486 a 3 7 8 11 13 14 22 25 27 28 31 33 40 41 43 44 45 51 56 57 61 63 66 68 70 74 79 81 82 84 90 99 102 106 110 115 116 119 123 124 125 126 127 135 136 138 142 143 146 152 156 164 171 173 174 177 181 183 184 189 194 195 196 197 200 201 202 209 213 219 222 227 236 237 240 241 242 244 247 254 256 261 263 265 271 272 273 274 275 276 277 292 295 296 297 299 300 303 305 307 310 311 316 319 322 326 334 335 337 338 346 351 356 358 364 367 368 369 370 371 373 374 389 392 394 398 399 400 408 409 410 414 424 426 429 431 439 440 444 446 448 451 458 461 463 466 467 468 470 476 477 478 479 481 486 a 3 7 8 11 13 14 22 25 27 28 31 33 40 41 43 44 45 51 56 57 61 63 66 68 70 74 79 81 82 84 90 99 102 106 110 115 116 119 123 124 125 126 127 135 136 138 142 143 146 152 156 164 171 173 174 177 181 183 184 189 194 195 196 197 200 201 202 209 213 219 222 227 236 237 240 241 242 244 247 254 256 261 263 265 271 272 273 274 275 276 277 292 295 296 297 299 300 303 305 307 310 311 316 319 322 326 334 335 337 338 346 351 356 358 364 367 368 369 370 371 373 374 389 392 394 398 399 400 408 410 414 424 426 429 431 439 440 444 446 448 450 451 458 461 463 466 467 468 470 476 477 478 479 481 486 a 3 7 8 11 13 14 22 25 27 28 31 33 40 41 43 44 45 51 56 57 61 63 66 68 70 74 79 81 82 84 90 99 102 106 110 115 116 119 123 124 125 126 127 135 136 138 142 143 146 152 156 164 171 173 174 177 181 183 184 189 194 195 196 197 200 201 202 209 213 219 222 227 236 237 240 241 242 244 247 254 256 261 263 265 271 272 273 274 275 276 277 292 295 296 297 299 300 303 305 307 310 311 316 319 322 326 334 335 337 338 346 351 356 358 364 367 368 369 370 371 373 374 389 392 394 398 399 400 410 414 424 426 429 430 431 439 440 444 446 448 450 451 458 461 463 466 467 468 470 476 477 478 479 481 486 a 3 7 8 11 13 14 22 25 27 28 31 33 40 41 43 44 45 51 56 57 61 63 66 68 70 74 79 81 82 84 90 99 102 106 110 115 116 119 123 124 125 126 127 135 136 138 142 143 146 152 156 164 171 173 174 177 181 183 184 189 194 195 196 200 201 202 209 213 219 222 227 236 237 240 241 242 244 247 254 256 261 263 265 271 272 273 274 275 276 277 292 295 296 297 299 300 303 305 307 310 311 316 319 322 326 334 335 337 338 346 351 356 357 358 364 367 368 369 370 371 373 374 389 392 394 398 399 400 410 414 424 426 429 430 431 439 440 444 446 448 450 451 458 461 463 466 467 468 470 476 477 478 479 481 486 a 3 7 8 11 13 14 22 25 27 28 31 33 40 41 43 44 45 51 56 57 61 63 66 68 70 74 79 81 82 84 90 99 102 106 110 115 116 119 123 124 125 126 127 135 136 138 142 143 146 152 156 164 171 173 174 177 181 183 184 189 194 195 196 200 201 202 209 213 219 222 227 236 237 240 241 242 244 247 256 261 263 265 271 272 273 274 275 276 277 292 295 296 297 299 300 303 305 307 310 311 316 319 322 326 334 335 337 338 346 351 356 357 358 364 367 368 369 370 371 373 374 389 392 394 398 399 400 410 414 424 426 429 430 431 439 440 444 446 448 450 451 458 460 461 463 466 467 468 470 476 477 478 479 481 486 a 3 7 8 11 13 14 22 25 27 28 31 33 40 41 43 44 45 51 56 57 61 63 66 68 70 74 79 81 82 84 90 99 102 106 110 115 116 119 123 124 125 126 127 128 135 136 138 142 143 146 152 156 164 171 173 174 177 181 183 184 189 194 195 196 200 201 202 209 213 222 227 236 237 240 241 242 244 247 256 261 263 265 271 272 273 274 275 276 277 292 295 296 297 299 300 303 305 307 310 311 316 319 322 326 334 335 337 338 346 351 356 357 358 364 367 368 369 370 371 373 374 389 392 394 398 399 400 410 414 424 426 429 430 431 439 440 444 446 448 450 451 458 460 461 463 466 467 468 470 476 477 478 479 481 486 a 3 7 8 11 13 14 22 25 27 28 31 33 40 41 43 44 45 51 56 57 61 63 66 68 70 74 79 81 82 84 90 99 102 106 110 115 116 119 123 124 125 126 127 128 135 136 138 142 143 146 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 201 202 209 213 222 227 236 237 240 241 242 244 247 256 261 263 265 271 272 273 274 275 276 277 292 295 296 297 299 300 303 305 307 310 311 316 319 322 326 334 335 337 338 346 351 356 357 358 364 367 368 369 370 371 373 374 389 392 394 398 399 400 410 414 424 426 429 430 431 439 440 444 446 448 450 451 458 460 461 463 466 467 470 476 477 478 479 481 486 a 3 7 8 11 13 14 22 25 27 28 31 33 40 41 43 44 45 51 56 57 61 63 66 68 70 74 79 81 82 84 90 99 102 106 110 115 116 119 123 124 125 126 127 128 135 136 138 142 143 146 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 201 202 209 213 222 227 236 237 240 241 242 244 247 256 261 263 265 271 272 273 274 275 276 277 292 295 296 297 299 300 303 305 307 310 311 316 319 322 326 334 335 337 338 346 351 356 357 358 364 367 368 369 370 371 373 374 389 392 394 398 399 400 406 410 414 424 426 429 430 431 439 440 444 446 448 450 451 458 460 461 463 466 467 470 476 477 479 481 486 a 3 7 8 11 13 14 22 25 27 28 31 33 40 41 43 44 45 51 56 57 61 63 66 68 70 74 79 81 82 84 90 99 102 106 110 115 116 119 123 124 125 126 127 128 135 136 138 142 143 146 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 201 202 209 213 222 227 236 237 240 241 242 244 247 256 261 263 265 271 272 273 274 275 276 277 279 292 295 296 297 299 300 303 305 307 310 311 316 319 322 326 334 335 337 338 346 351 356 357 358 364 367 368 369 370 371 373 374 389 392 394 398 399 400 406 410 414 424 426 429 430 431 440 444 446 448 450 451 458 460 461 463 466 467 470 476 477 479 481 486 a 3 7 8 11 13 14 22 25 27 28 31 33 40 41 43 44 45 51 56 57 61 63 66 68 70 74 79 81 82 84 90 99 102 106 110 115 116 119 123 124 125 126 127 128 133 135 136 138 142 143 146 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 201 202 209 213 222 227 236 237 240 241 242 244 247 256 261 263 265 271 272 273 274 275 276 277 279 292 295 296 299 300 303 305 307 310 311 316 319 322 326 334 335 337 338 346 351 356 357 358 364 367 368 369 370 371 373 374 389 392 394 398 399 400 406 410 414 424 426 429 430 431 440 444 446 448 450 451 458 460 461 463 466 467 470 476 477 479 481 486 a 3 7 8 11 13 14 22 25 27 28 31 33 40 41 43 44 45 51 56 57 61 63 66 68 70 74 79 81 82 84 90 99 102 106 110 115 116 119 123 124 125 126 127 128 133 135 136 138 142 143 146 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 201 202 213 222 227 236 237 240 241 242 244 247 256 261 263 265 271 272 273 274 275 276 277 279 292 295 296 299 300 303 305 307 310 311 316 319 322 326 334 335 337 338 346 351 356 357 358 364 367 368 369 370 371 373 374 389 392 394 398 399 400 406 410 414 419 424 426 429 430 431 440 444 446 448 450 451 458 460 461 463 466 467 470 476 477 479 481 486 a 3 7 8 11 13 14 22 25 27 28 31 33 40 41 43 44 45 51 56 57 61 63 66 68 70 74 79 81 82 84 90 99 102 106 110 115 116 119 123 124 125 126 127 128 133 135 136 138 142 143 146 151 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 201 202 213 222 227 236 237 240 241 242 244 247 256 261 263 265 271 272 273 274 275 276 277 279 292 295 296 299 300 303 305 307 310 311 316 319 322 326 334 335 337 338 346 351 356 357 358 364 367 368 369 370 371 373 374 389 392 394 398 399 400 406 410 414 419 424 429 430 431 440 444 446 448 450 451 458 460 461 463 466 467 470 476 477 479 481 486 a 3 7 8 11 13 14 22 25 27 28 31 33 40 41 43 44 45 51 56 57 61 63 66 68 70 74 79 81 82 84 90 99 102 106 110 115 116 119 123 124 125 126 127 128 133 135 136 138 142 143 146 151 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 201 202 213 222 227 236 237 240 241 242 244 247 256 261 263 265 271 272 273 274 275 276 277 279 284 292 295 296 299 300 303 305 307 310 311 316 319 322 326 334 335 337 338 346 351 356 357 358 364 367 369 370 371 373 374 389 392 394 398 399 400 406 410 414 419 424 429 430 431 440 444 446 448 450 451 458 460 461 463 466 467 470 476 477 479 481 486 a 3 7 8 11 13 14 22 25 27 28 31 33 40 41 43 44 45 51 56 57 61 63 66 68 70 74 79 81 82 84 90 99 102 106 110 115 116 119 123 124 125 126 127 128 133 135 136 138 142 146 151 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 201 202 213 214 222 227 236 237 240 241 242 244 247 256 261 263 265 271 272 273 274 275 276 277 279 284 292 295 296 299 300 303 305 307 310 311 316 319 322 326 334 335 337 338 346 351 356 357 358 364 367 369 370 371 373 374 389 392 394 398 399 400 406 410 414 419 424 429 430 431 440 444 446 448 450 451 458 460 461 463 466 467 470 476 477 479 481 486 a 3 7 8 11 13 14 22 25 27 28 31 33 40 41 43 44 45 51 56 57 61 63 66 68 70 74 79 81 82 84 90 99 102 106 110 115 116 119 123 124 125 126 127 128 133 135 136 138 142 146 151 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 201 202 213 214 222 227 236 237 240 241 242 244 247 256 261 263 271 272 273 274 275 276 277 279 284 292 295 296 299 300 303 304 305 307 310 311 316 319 322 326 334 335 337 338 346 351 356 357 358 364 367 369 370 371 373 374 389 392 394 398 399 400 406 410 414 419 424 429 430 431 440 444 446 448 450 451 458 460 461 463 466 467 470 476 477 479 481 486 a 3 7 8 11 13 14 22 25 27 28 31 33 40 41 43 44 45 51 56 57 61 66 68 70 74 79 81 82 84 90 99 102 106 110 115 116 119 123 124 125 126 127 128 133 135 136 138 142 146 151 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 201 202 213 214 222 227 236 237 240 241 242 244 247 256 261 263 271 272 273 274 275 276 277 279 284 292 295 296 299 300 303 304 305 307 310 311 316 318 319 322 326 334 335 337 338 346 351 356 357 358 364 367 369 370 371 373 374 389 392 394 398 399 400 406 410 414 419 424 429 430 431 440 444 446 448 450 451 458 460 461 463 466 467 470 476 477 479 481 486 a 3 7 8 11 13 14 22 25 27 28 31 33 40 41 43 44 45 51 56 57 61 66 68 70 74 79 81 82 84 90 99 102 106 110 115 116 119 123 124 125 126 127 128 133 135 136 138 142 146 151 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 201 202 213 214 222 227 236 237 240 241 244 247 256 261 263 271 272 273 274 275 276 277 279 284 292 295 296 299 300 303 304 305 307 310 311 316 318 319 322 323 326 334 335 337 338 346 351 356 357 358 364 367 369 370 371 373 374 389 392 394 398 399 400 406 410 414 419 424 429 430 431 440 444 446 448 450 451 458 460 461 463 466 467 470 476 477 479 481 486 a 3 7 8 11 13 14 22 25 27 28 31 33 40 41 43 44 45 51 56 57 61 66 68 70 74 79 81 82 84 90 99 102 106 110 115 116 119 123 124 125 126 127 128 133 135 136 138 142 146 150 151 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 201 202 213 214 222 227 236 237 240 241 244 247 256 261 263 271 272 273 274 275 276 277 279 284 292 295 296 299 300 303 304 305 307 310 316 318 319 322 323 326 334 335 337 338 346 351 356 357 358 364 367 369 370 371 373 374 389 392 394 398 399 400 406 410 414 419 424 429 430 431 440 444 446 448 450 451 458 460 461 463 466 467 470 476 477 479 481 486 a 3 7 8 11 13 14 22 25 27 28 31 33 40 41 43 44 45 51 56 57 61 66 68 70 74 79 81 82 84 90 99 102 106 110 115 116 123 124 125 126 127 128 133 135 136 138 142 146 150 151 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 201 202 213 214 222 227 236 237 240 241 244 247 256 261 262 263 271 272 273 274 275 276 277 279 284 292 295 296 299 300 303 304 305 307 310 316 318 319 322 323 326 334 335 337 338 346 351 356 357 358 364 367 369 370 371 373 374 389 392 394 398 399 400 406 410 414 419 424 429 430 431 440 444 446 448 450 451 458 460 461 463 466 467 470 476 477 479 481 486 a 3 7 8 11 13 14 22 25 27 28 31 33 40 41 43 44 51 56 57 61 66 68 70 74 79 81 82 84 90 99 102 106 110 115 116 123 124 125 126 127 128 133 135 136 138 142 146 150 151 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 201 202 213 214 222 227 236 237 240 241 244 247 256 261 262 263 271 272 273 274 275 276 277 279 284 292 295 296 299 300 303 304 305 307 310 316 318 319 322 323 326 334 335 337 338 346 351 356 357 358 364 367 369 370 371 373 374 389 392 394 398 399 400 406 410 414 419 424 429 430 431 440 444 446 448 450 451 458 460 461 463 466 467 470 476 477 479 481 486 489 a 3 7 8 11 13 14 22 25 27 28 31 33 40 41 43 44 51 56 57 61 66 68 70 74 79 81 82 84 90 99 102 106 110 115 116 123 124 125 126 127 128 133 135 136 138 142 145 146 150 151 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 201 202 213 214 222 227 236 237 240 241 244 247 256 261 262 263 271 272 273 274 275 276 277 279 284 292 295 296 299 300 303 304 305 307 310 316 318 319 322 323 326 334 335 337 338 346 351 356 357 358 364 367 369 370 371 373 374 389 392 394 398 399 406 410 414 419 424 429 430 431 440 444 446 448 450 451 458 460 461 463 466 467 470 476 477 479 481 486 489 a 3 7 8 11 13 14 22 25 27 28 31 33 40 41 43 44 51 56 57 61 66 68 70 74 79 81 82 84 90 99 102 103 106 110 115 116 123 124 125 126 127 128 133 135 136 138 142 145 146 150 151 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 201 202 213 214 222 227 236 237 240 241 244 247 256 261 262 263 271 272 273 274 275 276 277 279 284 292 295 296 299 300 303 304 305 307 310 316 318 319 322 323 326 334 335 337 338 346 351 356 357 358 364 367 369 370 371 373 374 392 394 398 399 406 410 414 419 424 429 430 431 440 444 446 448 450 451 458 460 461 463 466 467 470 476 477 479 481 486 489 a 3 7 8 11 13 14 22 25 27 28 31 33 40 41 43 44 51 56 57 61 66 68 70 74 79 81 82 84 90 95 99 102 103 106 110 115 116 123 124 125 126 127 128 133 135 136 138 142 145 146 150 151 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 201 202 213 214 222 227 236 237 240 241 244 247 256 261 262 263 271 272 273 274 275 276 277 279 284 292 295 296 299 300 303 304 305 307 310 316 318 319 322 323 326 335 337 338 346 351 356 357 358 364 367 369 370 371 373 374 392 394 398 399 406 410 414 419 424 429 430 431 440 444 446 448 450 451 458 460 461 463 466 467 470 476 477 479 481 486 489 a 3 7 8 11 13 14 22 25 27 28 31 33 40 41 43 44 51 56 57 61 66 68 70 74 79 81 82 84 90 95 99 102 103 106 110 115 116 123 124 125 126 127 128 133 135 136 138 142 145 146 150 151 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 201 202 213 214 222 227 236 237 240 241 244 247 256 261 262 263 271 272 273 274 275 276 279 284 292 295 296 299 300 303 304 305 307 310 316 318 319 322 323 326 335 337 338 346 351 356 357 358 364 367 369 370 371 373 374 392 393 394 398 399 406 410 414 419 424 429 430 431 440 444 446 448 450 451 458 460 461 463 466 467 470 476 477 479 481 486 489 a 3 7 8 11 13 14 22 25 27 28 31 33 40 41 43 44 51 56 57 61 66 68 70 74 79 81 82 84 90 95 99 102 103 106 110 115 116 123 124 125 126 127 128 133 135 136 138 142 145 146 150 151 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 201 202 208 213 214 222 227 236 237 240 241 244 247 256 261 262 263 271 272 273 274 275 276 279 284 292 295 296 299 300 303 304 305 307 310 316 318 319 322 323 326 335 337 338 351 356 357 358 364 367 369 370 371 373 374 392 393 394 398 399 406 410 414 419 424 429 430 431 440 444 446 448 450 451 458 460 461 463 466 467 470 476 477 479 481 486 489 a 3 7 8 11 13 14 22 25 27 28 31 33 40 41 43 44 51 56 57 61 66 68 70 74 79 81 82 84 90 94 95 99 102 103 106 110 115 116 123 124 125 126 127 128 133 135 136 138 142 145 146 150 151 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 201 202 208 213 214 222 227 236 237 240 241 244 247 256 261 262 263 271 272 273 274 275 276 279 284 292 295 296 299 300 303 304 305 307 310 316 318 319 322 323 326 335 337 338 351 356 357 358 364 367 369 370 371 373 374 392 393 394 398 399 406 410 414 419 424 429 430 431 440 444 446 448 450 451 458 460 461 463 467 470 476 477 479 481 486 489 a 3 7 8 11 13 14 22 25 27 28 31 33 40 41 43 44 51 56 57 61 66 68 70 74 79 81 82 84 90 94 95 99 102 103 106 110 115 116 123 124 125 126 127 128 133 135 136 138 142 145 146 150 151 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 201 202 208 213 214 222 227 236 237 240 241 244 247 256 261 262 263 271 272 273 275 276 279 284 292 295 296 299 300 303 304 305 307 310 316 318 319 322 323 326 335 337 338 351 356 357 358 364 367 369 370 371 373 374 392 393 394 398 399 406 410 414 419 424 429 430 431 440 444 446 448 450 451 458 460 461 463 467 470 476 477 479 481 486 489 494 a 3 7 8 11 13 14 22 25 27 28 31 33 40 41 43 44 51 56 57 61 66 68 70 74 79 81 82 84 90 94 95 99 102 103 106 110 115 116 123 124 125 126 127 128 133 135 136 138 142 145 146 150 151 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 201 202 208 213 214 222 227 236 237 240 241 244 247 256 261 262 263 271 272 273 275 276 279 284 292 295 296 299 300 303 304 305 307 310 316 318 319 322 323 326 335 337 338 351 356 357 358 359 364 367 369 370 371 373 374 392 393 394 398 399 406 410 414 419 424 429 430 431 440 444 446 448 450 451 460 461 463 467 470 476 477 479 481 486 489 494 a 3 7 8 9 11 13 14 22 25 27 28 31 33 40 41 43 44 51 56 57 61 66 68 70 74 79 81 82 84 90 94 95 99 102 103 106 110 115 116 123 124 125 126 127 128 133 135 136 138 142 145 146 150 151 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 201 202 208 213 214 222 227 236 237 240 241 247 256 261 262 263 271 272 273 275 276 279 284 292 295 296 299 300 303 304 305 307 310 316 318 319 322 323 326 335 337 338 351 356 357 358 359 364 367 369 370 371 373 374 392 393 394 398 399 406 410 414 419 424 429 430 431 440 444 446 448 450 451 460 461 463 467 470 476 477 479 481 486 489 494 a 3 7 8 9 11 13 14 22 25 27 28 31 33 40 41 43 44 51 56 57 66 68 70 74 79 81 82 84 90 94 95 99 102 103 106 110 115 116 123 124 125 126 127 128 133 135 136 138 142 145 146 150 151 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 201 202 208 213 214 222 227 236 237 240 241 247 256 261 262 263 271 272 273 275 276 279 284 292 294 295 296 299 300 303 304 305 307 310 316 318 319 322 323 326 335 337 338 351 356 357 358 359 364 367 369 370 371 373 374 392 393 394 398 399 406 410 414 419 424 429 430 431 440 444 446 448 450 451 460 461 463 467 470 476 477 479 481 486 489 494 a 3 8 9 11 13 14 22 25 27 28 31 33 40 41 43 44 51 56 57 66 68 70 74 79 81 82 84 90 94 95 99 101 102 103 106 110 115 116 123 124 125 126 127 128 133 135 136 138 142 145 146 150 151 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 201 202 208 213 214 222 227 236 237 240 241 247 256 261 262 263 271 272 273 275 276 279 284 292 294 295 296 299 300 303 304 305 307 310 316 318 319 322 323 326 335 337 338 351 356 357 358 359 364 367 369 370 371 373 374 392 393 394 398 399 406 410 414 419 424 429 430 431 440 444 446 448 450 451 460 461 463 467 470 476 477 479 481 486 489 494 a 3 8 9 11 13 14 22 25 27 28 31 33 40 41 43 44 51 56 57 66 68 70 74 79 81 82 84 90 94 95 99 101 102 103 106 110 115 116 123 124 125 126 127 128 130 133 135 136 138 142 145 146 150 151 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 201 202 208 213 214 222 227 236 237 240 241 247 256 261 262 263 271 272 273 275 276 279 284 292 294 295 296 299 300 303 304 305 307 310 316 318 319 322 323 326 335 337 338 351 356 357 358 359 364 367 369 370 371 373 374 392 393 394 398 399 406 410 414 419 424 429 430 431 440 444 446 448 450 451 460 463 467 470 476 477 479 481 486 489 494 a 3 8 9 11 13 14 22 25 27 28 31 33 40 41 43 44 51 56 57 66 68 70 74 79 81 84 90 94 95 99 101 102 103 106 110 115 116 123 124 125 126 127 128 130 133 135 136 138 142 145 146 150 151 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 201 202 208 213 214 222 227 236 237 240 241 247 256 261 262 263 271 272 273 275 276 279 284 292 294 295 296 299 300 303 304 305 307 310 316 318 319 322 323 326 335 337 338 351 356 357 358 359 363 364 367 369 370 371 373 374 392 393 394 398 399 406 410 414 419 424 429 430 431 440 444 446 448 450 451 460 463 467 470 476 477 479 481 486 489 494 a 3 8 9 11 13 14 22 25 27 28 31 33 40 41 43 44 51 56 57 66 68 70 74 79 81 84 90 94 95 99 101 102 103 106 110 115 116 122 123 124 125 126 127 128 130 133 135 138 142 145 146 150 151 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 201 202 208 213 214 222 227 236 237 240 241 247 256 261 262 263 271 272 273 275 276 279 284 292 294 295 296 299 300 303 304 305 307 310 316 318 319 322 323 326 335 337 338 351 356 357 358 359 363 364 367 369 370 371 373 374 392 393 394 398 399 406 410 414 419 424 429 430 431 440 444 446 448 450 451 460 463 467 470 476 477 479 481 486 489 494 a 3 8 9 11 13 14 22 25 27 28 31 33 41 43 44 51 56 57 66 68 70 74 79 81 84 90 94 95 99 101 102 103 106 110 115 116 122 123 124 125 126 127 128 130 133 135 138 142 145 146 150 151 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 201 202 208 213 214 222 227 236 237 240 241 247 256 261 262 263 271 272 273 275 276 279 284 292 294 295 296 299 300 303 304 305 307 310 316 318 319 322 323 324 326 335 337 338 351 356 357 358 359 363 364 367 369 370 371 373 374 392 393 394 398 399 406 410 414 419 424 429 430 431 440 444 446 448 450 451 460 463 467 470 476 477 479 481 486 489 494 a 3 8 9 11 13 14 22 25 27 28 31 33 41 43 44 51 56 57 66 68 70 74 79 81 84 90 94 95 99 101 102 103 106 110 115 116 122 123 124 125 126 127 128 130 133 135 138 142 145 146 150 151 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 201 202 208 213 214 222 227 236 237 240 241 247 256 261 262 263 271 272 273 275 276 279 284 292 294 296 299 300 303 304 305 307 310 316 318 319 322 323 324 326 335 337 338 351 356 357 358 359 363 364 367 369 370 371 373 374 380 392 393 394 398 399 406 410 414 419 424 429 430 431 440 444 446 448 450 451 460 463 467 470 476 477 479 481 486 489 494 a 3 8 9 11 13 22 25 27 28 31 33 41 43 44 51 56 57 66 68 70 74 79 81 84 90 94 95 99 101 102 103 106 110 115 116 122 123 124 125 126 127 128 130 133 135 138 142 145 146 150 151 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 201 202 208 213 214 222 227 236 237 240 241 247 256 261 262 263 271 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 316 318 319 322 323 324 326 335 337 338 351 356 357 358 359 363 364 367 369 370 371 373 374 380 392 393 394 398 399 406 410 414 419 424 429 430 431 440 444 446 448 450 451 460 463 467 470 476 477 479 481 486 489 494 a 3 8 9 11 13 22 25 27 28 31 33 41 43 44 51 56 57 58 66 68 70 74 79 81 84 90 94 95 99 101 102 103 106 110 115 116 122 123 124 125 126 127 128 130 133 135 138 142 145 146 150 151 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 201 202 208 213 214 222 227 236 237 240 241 256 261 262 263 271 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 316 318 319 322 323 324 326 335 337 338 351 356 357 358 359 363 364 367 369 370 371 373 374 380 392 393 394 398 399 406 410 414 419 424 429 430 431 440 444 446 448 450 451 460 463 467 470 476 477 479 481 486 489 494 a 3 8 9 11 13 17 22 25 27 28 31 33 41 43 44 51 56 57 58 66 68 70 74 79 81 84 90 94 95 99 101 102 103 106 110 115 116 122 123 124 125 126 127 128 130 133 135 138 142 145 146 150 151 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 202 208 213 214 222 227 236 237 240 241 256 261 262 263 271 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 316 318 319 322 323 324 326 335 337 338 351 356 357 358 359 363 364 367 369 370 371 373 374 380 392 393 394 398 399 406 410 414 419 424 429 430 431 440 444 446 448 450 451 460 463 467 470 476 477 479 481 486 489 494 a 3 8 9 11 13 17 22 25 27 28 31 33 41 43 44 51 56 57 58 66 68 70 74 79 81 84 90 94 95 99 101 102 103 106 110 115 116 118 122 123 124 125 126 127 128 130 133 135 138 142 145 146 150 151 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 202 208 213 214 222 227 236 237 240 241 256 261 262 263 271 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 316 318 319 322 323 324 326 335 337 338 351 356 357 358 359 363 364 367 369 370 371 373 374 380 392 393 394 398 399 406 410 419 424 429 430 431 440 444 446 448 450 451 460 463 467 470 476 477 479 481 486 489 494 a 3 8 9 11 13 17 22 25 27 28 31 33 41 43 44 51 56 57 58 66 68 70 74 79 81 84 90 94 95 99 101 102 103 106 110 115 116 118 122 123 124 125 126 127 128 130 133 135 138 142 145 146 150 151 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 202 208 211 213 214 222 227 236 237 240 241 256 261 262 263 271 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 316 318 319 322 323 324 326 335 337 338 351 356 357 358 359 363 364 367 370 371 373 374 380 392 393 394 398 399 406 410 419 424 429 430 431 440 444 446 448 450 451 460 463 467 470 476 477 479 481 486 489 494 a 3 8 9 11 13 17 22 25 27 28 31 33 41 43 44 51 56 57 58 66 68 70 74 79 81 84 90 94 95 99 101 102 103 106 110 115 116 118 122 123 124 125 126 127 128 130 133 135 138 142 145 146 147 150 151 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 202 208 211 213 214 222 227 236 237 240 241 256 261 262 263 271 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 316 318 319 322 323 324 326 335 337 338 351 357 358 359 363 364 367 370 371 373 374 380 392 393 394 398 399 406 410 419 424 429 430 431 440 444 446 448 450 451 460 463 467 470 476 477 479 481 486 489 494 a 3 8 9 11 13 17 22 25 27 28 31 33 41 43 44 51 56 57 58 66 68 70 74 79 81 84 90 94 95 99 101 102 103 106 110 115 116 118 122 123 124 125 126 127 128 130 133 135 138 142 145 147 150 151 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 202 208 210 211 213 214 222 227 236 237 240 241 256 261 262 263 271 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 316 318 319 322 323 324 326 335 337 338 351 357 358 359 363 364 367 370 371 373 374 380 392 393 394 398 399 406 410 419 424 429 430 431 440 444 446 448 450 451 460 463 467 470 476 477 479 481 486 489 494 a 3 8 9 11 13 17 22 25 27 28 31 33 41 44 51 56 57 58 66 68 70 74 79 81 84 90 94 95 99 101 102 103 106 110 115 116 118 122 123 124 125 126 127 128 130 133 135 138 142 145 147 150 151 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 202 208 210 211 213 214 222 227 236 237 240 241 256 261 262 263 267 271 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 316 318 319 322 323 324 326 335 337 338 351 357 358 359 363 364 367 370 371 373 374 380 392 393 394 398 399 406 410 419 424 429 430 431 440 444 446 448 450 451 460 463 467 470 476 477 479 481 486 489 494 a 3 8 9 11 13 17 22 25 27 28 31 33 41 44 51 56 57 58 66 68 70 74 79 81 84 90 94 95 99 101 102 103 106 110 115 116 118 122 123 124 125 126 127 128 130 133 135 138 142 145 147 150 151 152 156 164 171 173 174 177 181 183 184 189 190 194 195 196 200 202 208 210 211 213 214 222 227 236 237 240 241 256 261 262 263 267 271 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 316 318 319 322 323 324 326 335 337 338 351 357 358 359 363 364 367 370 371 373 374 380 392 393 394 398 399 401 406 410 419 424 429 430 431 440 444 446 450 451 460 463 467 470 476 477 479 481 486 489 494 a 3 8 9 11 13 17 22 25 27 28 31 33 41 44 51 56 57 58 66 68 70 74 79 81 84 90 94 95 99 101 102 103 106 110 115 116 118 122 123 124 125 126 127 128 130 133 135 138 142 145 147 150 151 152 156 164 171 173 174 177 181 183 184 190 194 195 196 200 202 208 210 211 213 214 222 227 229 236 237 240 241 256 261 262 263 267 271 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 316 318 319 322 323 324 326 335 337 338 351 357 358 359 363 364 367 370 371 373 374 380 392 393 394 398 399 401 406 410 419 424 429 430 431 440 444 446 450 451 460 463 467 470 476 477 479 481 486 489 494 a 3 8 9 11 13 17 22 25 27 31 33 41 44 51 56 57 58 66 68 70 74 79 81 84 89 90 94 95 99 101 102 103 106 110 115 116 118 122 123 124 125 126 127 128 130 133 135 138 142 145 147 150 151 152 156 164 171 173 174 177 181 183 184 190 194 195 196 200 202 208 210 211 213 214 222 227 229 236 237 240 241 256 261 262 263 267 271 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 316 318 319 322 323 324 326 335 337 338 351 357 358 359 363 364 367 370 371 373 374 380 392 393 394 398 399 401 406 410 419 424 429 430 431 440 444 446 450 451 460 463 467 470 476 477 479 481 486 489 494 a 3 8 9 11 13 17 22 25 27 31 33 41 44 51 56 57 58 66 68 70 74 79 81 84 89 90 94 95 99 101 102 103 106 110 115 116 118 122 123 124 125 126 127 128 130 133 135 138 142 145 147 150 151 152 156 164 171 173 174 177 181 183 184 190 194 195 196 200 202 208 210 211 213 214 222 227 229 236 237 240 241 256 261 262 263 267 271 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 316 318 319 322 323 324 326 335 338 341 351 357 358 359 363 364 367 370 371 373 374 380 392 393 394 398 399 401 406 410 419 424 429 430 431 440 444 446 450 451 460 463 467 470 476 477 479 481 486 489 494 a 3 8 9 11 13 17 22 25 27 29 31 33 41 44 51 56 57 58 66 68 70 74 79 81 84 89 90 94 95 99 101 102 103 106 110 115 116 118 122 123 124 125 126 127 128 130 133 135 138 142 145 147 150 151 152 156 164 171 173 174 177 181 183 184 190 194 195 196 200 202 208 210 211 213 214 222 227 229 236 237 240 241 256 261 262 263 267 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 316 318 319 322 323 324 326 335 338 341 351 357 358 359 363 364 367 370 371 373 374 380 392 393 394 398 399 401 406 410 419 424 429 430 431 440 444 446 450 451 460 463 467 470 476 477 479 481 486 489 494 a 3 8 9 11 13 17 22 25 27 29 31 33 41 44 51 56 57 58 66 68 70 74 79 81 84 89 90 94 95 99 101 102 103 106 110 115 116 118 122 123 124 125 126 127 128 130 133 135 138 142 145 147 150 151 152 156 164 168 171 173 174 177 181 183 184 190 194 195 196 200 202 208 210 211 213 214 222 227 229 236 237 240 241 256 261 262 263 267 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 316 318 319 322 323 324 326 335 338 341 351 357 358 359 363 364 367 370 371 373 374 380 392 393 394 398 399 401 406 410 419 429 430 431 440 444 446 450 451 460 463 467 470 476 477 479 481 486 489 494 a 3 8 9 11 13 17 22 25 27 29 31 33 41 44 49 51 56 57 58 66 68 70 74 79 81 84 89 90 94 95 99 101 102 103 106 110 115 116 118 122 123 124 125 127 128 130 133 135 138 142 145 147 150 151 152 156 164 168 171 173 174 177 181 183 184 190 194 195 196 200 202 208 210 211 213 214 222 227 229 236 237 240 241 256 261 262 263 267 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 316 318 319 322 323 324 326 335 338 341 351 357 358 359 363 364 367 370 371 373 374 380 392 393 394 398 399 401 406 410 419 429 430 431 440 444 446 450 451 460 463 467 470 476 477 479 481 486 489 494 a 3 8 9 11 13 17 22 25 27 29 31 33 41 44 49 51 56 57 58 66 68 70 74 79 81 84 89 90 94 95 99 101 102 103 106 110 115 116 118 122 123 124 125 127 128 130 133 135 138 142 145 147 150 151 152 156 164 168 171 173 174 177 181 183 184 190 194 195 196 200 202 208 210 211 213 214 222 227 229 236 237 240 241 256 261 262 263 267 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 316 318 319 322 323 324 326 335 338 341 351 357 358 359 363 364 367 370 371 373 374 380 392 393 394 399 401 406 410 419 429 430 431 440 444 446 450 451 460 463 467 470 476 477 479 481 486 489 493 494 a 3 8 9 11 13 17 22 25 29 31 33 41 44 49 51 56 57 58 66 68 70 74 79 81 84 89 90 94 95 99 101 102 103 106 110 115 116 118 122 123 124 125 127 128 130 133 135 138 142 145 147 150 151 152 156 164 168 171 173 174 177 181 183 184 190 194 195 196 200 202 208 210 211 213 214 222 227 229 236 237 240 241 256 261 262 263 267 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 316 318 319 322 323 324 326 335 338 341 351 357 358 359 363 364 367 370 371 373 374 380 392 393 394 399 401 406 410 419 423 429 430 431 440 444 446 450 451 460 463 467 470 476 477 479 481 486 489 493 494 a 3 8 9 11 13 17 22 25 29 31 33 41 44 49 51 56 57 58 66 68 70 74 79 81 84 89 90 94 95 99 101 102 103 106 110 115 116 118 122 123 124 125 127 128 130 133 135 138 142 145 147 150 151 152 156 164 168 173 174 177 181 183 184 190 194 195 196 200 202 208 210 211 213 214 217 222 227 229 236 237 240 241 256 261 262 263 267 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 316 318 319 322 323 324 326 335 338 341 351 357 358 359 363 364 367 370 371 373 374 380 392 393 394 399 401 406 410 419 423 429 430 431 440 444 446 450 451 460 463 467 470 476 477 479 481 486 489 493 494 a 3 8 9 11 13 17 22 25 29 31 33 41 44 49 56 57 58 66 68 70 74 79 81 84 89 90 94 95 99 101 102 103 106 110 115 116 118 122 123 124 125 127 128 130 133 135 138 142 145 147 150 151 152 156 164 168 173 174 177 181 183 184 190 194 195 196 200 202 208 210 211 213 214 217 222 227 229 236 237 240 241 256 261 262 263 267 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 374 380 392 393 394 399 401 406 410 419 423 429 430 431 440 444 446 450 451 460 463 467 470 476 477 479 481 486 489 493 494 a 3 8 9 11 13 17 22 25 29 31 33 41 44 49 56 57 58 66 68 70 74 79 81 84 89 90 94 95 99 101 102 103 106 110 115 116 118 122 123 124 125 127 128 130 133 135 138 142 145 147 150 151 152 156 164 168 173 174 177 181 183 184 190 194 195 196 200 208 210 211 213 214 217 222 227 229 235 236 237 240 241 256 261 262 263 267 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 374 380 392 393 394 399 401 406 410 419 423 429 430 431 440 444 446 450 451 460 463 467 470 476 477 479 481 486 489 493 494 a 3 8 9 11 13 17 22 25 29 31 33 41 44 49 56 57 58 66 68 70 74 79 81 84 89 90 94 95 99 101 102 103 106 110 115 116 118 122 123 124 125 127 128 130 133 135 138 142 145 147 150 151 152 156 164 168 173 174 177 181 183 184 190 194 195 196 200 208 210 211 213 214 217 222 227 229 235 236 237 239 240 241 256 261 262 263 267 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 380 392 393 394 399 401 406 410 419 423 429 430 431 440 444 446 450 451 460 463 467 470 476 477 479 481 486 489 493 494 a 3 8 9 11 13 17 22 25 29 31 33 41 44 49 56 57 58 66 68 70 74 79 81 84 89 90 94 95 99 101 102 103 106 110 115 116 118 122 123 124 125 127 128 130 133 135 138 142 145 147 150 151 152 156 164 168 173 174 177 181 184 190 194 195 196 200 208 210 211 213 214 217 222 227 229 235 236 237 239 240 241 256 261 262 263 267 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 380 392 393 394 399 401 406 410 419 423 429 430 431 440 444 446 450 451 460 463 467 470 476 477 479 481 486 489 493 494 a 3 8 9 11 13 17 22 25 29 31 33 41 44 49 56 57 58 66 68 70 74 79 81 84 89 90 94 95 99 101 102 103 106 110 115 116 118 122 123 125 127 128 130 133 135 138 142 145 147 150 151 152 156 164 168 173 174 177 181 184 190 194 195 196 200 208 210 211 213 214 217 222 227 229 235 236 237 239 240 241 256 261 262 263 267 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 380 392 393 394 399 401 406 410 419 423 429 430 431 440 444 446 450 451 460 463 467 470 476 477 479 481 486 489 493 494 a 3 8 9 11 13 17 22 25 29 31 33 41 44 49 56 57 58 66 68 70 74 79 81 84 89 90 94 95 99 101 102 103 106 110 115 116 118 122 123 125 127 128 130 133 135 138 142 145 147 150 151 152 156 164 168 173 174 177 181 184 190 194 195 196 200 208 210 211 213 214 217 222 227 229 235 236 237 239 240 241 256 261 262 263 267 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 380 392 393 394 399 401 406 410 419 420 423 430 431 440 444 446 450 451 460 463 467 470 476 477 479 481 486 489 493 494 a 3 8 9 11 13 17 22 25 29 31 33 36 41 44 49 56 57 58 66 68 74 79 81 84 89 90 94 95 99 101 102 103 106 110 115 116 118 122 123 125 127 128 130 133 135 138 142 145 147 150 151 152 156 164 168 173 174 177 181 184 190 194 195 196 200 208 210 211 213 214 217 222 227 229 235 236 237 239 240 241 256 261 262 263 267 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 380 392 393 394 399 401 406 410 419 420 423 430 431 440 444 446 450 451 460 463 467 470 476 477 479 481 486 489 493 494 a 3 8 9 11 13 17 22 25 29 31 33 36 41 44 49 56 57 58 66 68 74 79 81 84 89 90 93 94 95 99 101 102 103 106 110 115 118 122 123 125 127 128 130 133 135 138 142 145 147 150 151 152 156 164 168 173 174 177 181 184 190 194 195 196 200 208 210 211 213 214 217 222 227 229 235 236 237 239 240 241 256 261 262 263 267 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 380 392 393 394 399 401 406 410 419 420 423 430 431 440 444 446 450 451 460 463 467 470 476 477 479 481 486 489 493 494 a 3 8 9 13 17 22 25 29 31 33 36 41 44 49 56 57 58 66 68 74 79 81 84 89 90 93 94 95 99 101 102 103 106 110 115 118 122 123 125 127 128 130 133 135 138 142 145 147 150 151 152 156 164 167 168 173 174 177 181 184 190 194 195 196 200 208 210 211 213 214 217 222 227 229 235 236 237 239 240 241 256 261 262 263 267 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 380 392 393 394 399 401 406 410 419 420 423 430 431 440 444 446 450 451 460 463 467 470 476 477 479 481 486 489 493 494 a 3 8 9 13 17 22 25 29 31 33 36 41 44 49 56 57 58 66 68 74 75 79 81 84 89 90 93 94 95 99 101 102 103 106 110 115 118 122 123 125 127 128 130 133 135 138 142 145 147 150 151 152 156 164 167 168 173 174 177 181 184 190 194 196 200 208 210 211 213 214 217 222 227 229 235 236 237 239 240 241 256 261 262 263 267 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 380 392 393 394 399 401 406 410 419 420 423 430 431 440 444 446 450 451 460 463 467 470 476 477 479 481 486 489 493 494 c Step: 100 Command being timed: "python3 run_3.py --shortest /benchmark/random_instance/random_instance038_graph001.col /benchmark/random_instance/random_instance038_graph001_01.dat" User time (seconds): 6.95 System time (seconds): 0.26 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:07.23 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): 207360 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 288683 Voluntary context switches: 20 Involuntary context switches: 28 Swaps: 0 File system inputs: 0 File system outputs: 768 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 15:08:24 2023]