#BEGIN: [Mon Sep 4 10:38:36 2023] #HOST: s04 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance040_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance040_graph003_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent /benchmark/random_instance/random_instance040_graph003.col /benchmark/random_instance/random_instance040_graph003_01.dat c /benchmark/random_instance/random_instance040_graph003.col c /benchmark/random_instance/random_instance040_graph003_01.dat *** Info : (clingo): INTERRUPTED by signal! s 172 280 122 440 470 499 353 20 90 188 187 357 398 297 328 112 338 239 264 425 52 433 192 268 220 435 120 314 490 211 467 506 508 344 431 40 303 358 74 234 326 439 354 485 251 363 110 178 171 166 320 194 447 25 225 512 514 377 50 397 504 422 62 82 519 167 223 260 246 491 155 515 121 186 517 11 370 72 145 65 286 500 170 403 86 138 408 481 73 242 32 424 300 281 24 364 127 350 449 33 405 432 258 256 272 410 247 453 484 418 391 124 448 443 47 429 174 148 444 233 276 266 257 77 477 334 332 252 288 163 407 359 308 237 111 282 310 383 46 450 137 231 417 208 151 412 342 259 154 294 309 102 109 341 456 168 147 316 469 99 t 143 40 135 12 461 293 269 268 441 129 342 167 184 448 14 497 105 96 122 453 164 499 520 406 320 468 445 155 284 395 73 296 200 103 2 10 70 462 311 153 316 463 318 392 292 146 29 470 364 245 291 409 166 95 283 126 451 494 78 434 172 57 71 368 142 298 86 488 419 259 179 496 282 302 90 106 53 102 119 510 290 133 297 158 421 339 477 15 479 439 383 11 149 511 156 466 424 366 218 483 212 312 277 60 358 93 178 475 131 246 59 232 303 130 307 74 376 154 412 396 503 377 173 363 23 425 75 264 346 413 226 170 61 294 238 26 8 426 372 478 89 176 393 88 325 304 111 215 305 58 492 62 56 115 313 405 276 185 99 207 a YES a 11 20 24 25 32 33 40 46 47 50 52 62 65 72 73 74 77 82 86 90 99 102 109 110 111 112 120 121 122 124 127 137 138 145 147 148 151 154 155 163 166 167 168 170 171 172 174 178 186 187 188 192 194 208 211 220 223 225 231 233 234 237 239 242 246 247 251 252 256 257 258 259 260 264 266 268 272 276 280 281 282 286 288 294 297 300 303 308 309 310 314 316 320 326 328 332 334 338 341 342 344 350 353 354 357 358 359 363 364 370 377 383 391 397 398 403 405 407 408 410 412 417 418 422 424 425 429 431 432 433 435 439 440 443 444 447 448 449 450 453 456 467 469 470 477 481 484 485 490 491 499 500 504 506 508 512 514 515 517 519 a 11 20 24 25 32 33 40 43 46 47 50 52 62 65 72 73 74 77 82 86 90 99 102 109 110 111 112 120 121 122 124 127 137 138 145 147 148 151 154 155 163 166 167 168 170 171 172 174 178 186 187 188 192 194 208 211 220 223 225 231 233 234 237 239 242 246 247 251 252 256 257 258 259 260 264 266 268 272 276 280 281 282 286 288 294 297 300 303 308 309 310 314 316 320 326 328 332 334 338 341 342 344 350 353 354 357 358 359 364 370 377 383 391 397 398 403 405 407 408 410 412 417 418 422 424 425 429 431 432 433 435 439 440 443 444 447 448 449 450 453 456 467 469 470 477 481 484 485 490 491 499 500 504 506 508 512 514 515 517 519 a 11 20 24 25 32 33 40 43 46 47 50 52 62 65 72 73 74 77 82 86 90 99 102 109 110 112 120 121 122 124 127 137 138 145 147 148 151 154 155 163 166 167 168 170 171 172 174 178 186 187 188 192 194 208 211 220 223 225 231 233 234 237 239 242 246 247 251 252 256 257 258 259 260 264 266 268 272 276 280 281 282 286 288 294 297 300 303 308 309 310 314 316 320 326 328 332 334 338 341 342 344 350 353 354 357 358 359 364 370 377 383 391 397 398 403 405 407 408 410 412 417 418 422 424 425 429 431 432 433 435 439 440 443 444 447 448 449 450 453 455 456 467 469 470 477 481 484 485 490 491 499 500 504 506 508 512 514 515 517 519 a 11 20 24 25 32 33 40 46 47 50 52 62 65 72 73 74 77 82 86 90 99 102 109 110 112 120 121 122 124 127 137 138 145 147 148 151 154 155 163 166 167 168 170 171 172 174 178 186 187 188 192 194 208 211 220 223 225 231 233 234 237 239 242 246 247 251 252 256 257 258 259 260 264 266 268 272 276 280 281 282 286 288 294 297 300 303 308 309 310 314 316 320 326 328 332 334 338 341 342 344 350 353 354 357 358 359 363 364 370 377 383 391 397 398 403 405 407 408 410 412 417 418 422 424 425 429 431 432 433 435 439 440 443 444 447 448 449 450 453 455 456 467 469 470 477 481 484 485 490 491 499 500 504 506 508 512 514 515 517 519 a 11 20 24 25 32 33 40 46 47 50 52 62 65 72 73 74 77 82 86 90 99 102 109 110 112 120 121 122 124 127 137 138 145 146 147 148 151 154 155 163 166 167 168 170 171 172 174 178 186 187 188 192 194 208 211 220 223 225 231 233 234 237 239 242 246 247 251 252 256 257 258 259 260 264 266 268 272 276 280 281 282 286 288 294 297 300 303 308 309 310 314 316 320 326 328 332 334 338 341 342 344 350 353 354 357 358 359 363 364 370 377 383 391 397 398 403 405 407 408 412 417 418 422 424 425 429 431 432 433 435 439 440 443 444 447 448 449 450 453 455 456 467 469 470 477 481 484 485 490 491 499 500 504 506 508 512 514 515 517 519 a 11 20 21 24 25 32 33 40 46 47 50 52 62 65 72 73 74 77 82 86 90 99 102 109 110 112 120 121 122 124 127 137 138 145 146 147 148 151 154 155 163 166 167 168 170 171 172 174 178 186 187 188 192 194 208 211 220 223 225 231 233 234 237 239 242 246 247 251 252 256 257 258 259 260 264 266 268 272 276 280 281 282 286 288 294 297 300 303 308 309 310 314 316 320 326 328 332 334 338 341 342 350 353 354 357 358 359 363 364 370 377 383 391 397 398 403 405 407 408 412 417 418 422 424 425 429 431 432 433 435 439 440 443 444 447 448 449 450 453 455 456 467 469 470 477 481 484 485 490 491 499 500 504 506 508 512 514 515 517 519 a 11 20 21 24 25 32 33 40 46 47 50 52 62 65 72 73 74 77 82 86 90 99 102 109 110 112 120 121 122 124 127 137 138 145 147 148 151 154 155 163 166 167 168 170 171 172 174 178 186 187 188 192 194 208 211 220 223 225 231 233 234 237 239 242 246 247 251 252 256 257 258 259 260 264 266 268 272 276 280 281 282 286 288 294 297 300 303 308 309 310 314 316 320 326 328 332 334 338 341 342 350 353 354 357 358 359 363 364 370 377 383 391 397 398 403 405 407 408 410 412 417 418 422 424 425 429 431 432 433 435 439 440 443 444 447 448 449 450 453 455 456 467 469 470 477 481 484 485 490 491 499 500 504 506 508 512 514 515 517 519 a 11 20 24 25 32 33 40 46 47 50 52 62 65 72 73 74 77 82 86 90 99 102 109 110 112 120 121 122 124 127 137 138 145 147 148 151 154 155 163 166 167 168 170 171 172 174 178 186 187 188 192 194 208 211 220 223 225 231 233 234 237 239 242 246 247 251 252 256 257 258 259 260 264 266 268 272 276 280 281 282 286 288 294 297 300 303 308 309 310 314 316 320 326 328 332 334 338 341 342 344 350 353 354 357 358 359 363 364 370 377 383 391 397 398 403 405 407 408 410 412 417 418 422 424 425 429 431 432 433 435 439 440 443 444 447 448 449 450 453 455 456 467 469 470 477 481 484 485 490 491 499 500 504 506 508 512 514 515 517 519 a 11 20 24 25 32 33 40 43 46 47 50 52 62 65 72 73 74 77 82 86 90 99 102 109 110 112 120 121 122 124 127 137 138 145 147 148 151 154 155 163 166 167 168 170 171 172 174 178 186 187 188 192 194 208 211 220 223 225 231 233 234 237 239 242 246 247 251 252 256 257 258 259 260 264 266 268 272 276 280 281 282 286 288 294 297 300 303 308 309 310 314 316 320 326 328 332 334 338 341 342 344 350 353 354 357 358 359 364 370 377 383 391 397 398 403 405 407 408 410 412 417 418 422 424 425 429 431 432 433 435 439 440 443 444 447 448 449 450 453 455 456 467 469 470 477 481 484 485 490 491 499 500 504 506 508 512 514 515 517 519 a 11 20 24 25 32 33 40 43 46 47 48 50 52 62 65 72 73 74 77 82 86 90 99 102 109 110 112 120 121 122 124 127 137 138 145 147 148 151 154 155 163 166 167 168 170 171 172 174 178 186 187 188 192 194 208 211 220 223 225 231 233 234 237 239 242 246 247 251 252 256 257 258 259 260 264 266 268 272 280 281 282 286 288 294 297 300 303 308 309 310 314 316 320 326 328 332 334 338 341 342 344 350 353 354 357 358 359 364 370 377 383 391 397 398 403 405 407 408 410 412 417 418 422 424 425 429 431 432 433 435 439 440 443 444 447 448 449 450 453 455 456 467 469 470 477 481 484 485 490 491 499 500 504 506 508 512 514 515 517 519 a 11 20 24 25 32 33 40 43 46 47 48 50 52 62 65 72 73 74 77 82 86 90 99 102 109 110 112 120 121 122 124 127 137 138 145 147 148 151 154 155 163 166 167 168 170 171 172 174 178 186 187 188 192 194 208 211 220 223 225 231 233 234 237 239 242 246 247 251 252 256 257 258 259 260 264 266 268 272 280 281 282 286 288 294 297 300 303 308 309 310 314 316 320 326 328 332 334 338 341 342 344 350 353 354 357 358 359 364 370 377 383 391 398 403 405 407 408 410 411 412 417 418 422 424 425 429 431 432 433 435 439 440 443 444 447 448 449 450 453 455 456 467 469 470 477 481 484 485 490 491 499 500 504 506 508 512 514 515 517 519 a 11 20 24 25 32 33 40 43 46 47 48 50 52 62 65 72 73 74 77 82 86 90 99 102 109 110 112 120 121 122 124 127 137 138 145 147 148 151 154 155 163 166 167 168 170 171 172 174 178 186 187 188 192 194 208 211 220 223 225 231 233 234 237 239 242 246 247 251 252 256 257 258 259 260 264 266 268 272 280 281 282 286 288 294 297 300 303 308 309 310 314 316 320 326 328 332 334 338 341 342 344 350 353 354 357 358 359 364 370 377 383 391 398 403 405 407 408 410 411 412 417 418 424 425 429 431 432 433 435 439 440 443 444 447 448 449 450 453 455 456 467 469 470 477 481 484 485 490 491 499 500 504 506 508 511 512 514 515 517 519 a 11 12 20 24 25 32 33 40 43 46 47 48 50 52 62 65 72 73 74 77 82 86 90 99 102 109 110 112 120 121 122 124 127 137 138 145 147 148 151 154 155 163 166 167 168 170 171 172 174 178 186 187 188 192 194 208 211 220 223 225 231 233 234 237 239 242 246 247 251 252 256 257 258 259 264 266 268 272 280 281 282 286 288 294 297 300 303 308 309 310 314 316 320 326 328 332 334 338 341 342 344 350 353 354 357 358 359 364 370 377 383 391 398 403 405 407 408 410 411 412 417 418 424 425 429 431 432 433 435 439 440 443 444 447 448 449 450 453 455 456 467 469 470 477 481 484 485 490 491 499 500 504 506 508 511 512 514 515 517 519 a 11 12 14 20 24 25 32 33 40 43 46 47 48 50 52 62 65 72 73 74 77 82 86 90 99 102 109 110 112 120 121 122 124 127 137 138 145 147 148 151 154 155 163 166 167 168 170 171 172 174 178 186 187 188 192 194 211 220 223 225 231 233 234 237 239 242 246 247 251 252 256 257 258 259 264 266 268 272 280 281 282 286 288 294 297 300 303 308 309 310 314 316 320 326 328 332 334 338 341 342 344 350 353 354 357 358 359 364 370 377 383 391 398 403 405 407 408 410 411 412 417 418 424 425 429 431 432 433 435 439 440 443 444 447 448 449 450 453 455 456 467 469 470 477 481 484 485 490 491 499 500 504 506 508 511 512 514 515 517 519 a 11 12 14 20 24 25 32 33 40 43 46 47 48 50 52 62 65 72 73 74 77 82 86 90 99 102 109 110 112 120 121 122 124 127 137 138 145 147 148 151 154 155 163 166 167 168 170 171 172 174 178 186 187 188 192 194 211 220 223 225 231 233 234 237 239 242 246 247 251 252 256 257 258 259 264 266 268 272 280 281 282 286 288 294 297 300 303 308 309 310 314 316 320 326 328 332 334 338 341 342 344 350 353 357 358 359 364 366 370 377 383 391 398 403 405 407 408 410 411 412 417 418 424 425 429 431 432 433 435 439 440 443 444 447 448 449 450 453 455 456 467 469 470 477 481 484 485 490 491 499 500 504 506 508 511 512 514 515 517 519 a 11 12 14 20 24 25 32 33 40 43 46 47 48 50 52 56 62 65 72 73 74 77 82 86 90 99 102 109 110 112 120 121 122 124 127 137 138 145 147 148 151 154 155 163 166 167 168 170 171 172 174 178 186 187 188 192 194 211 220 223 225 231 233 234 237 239 242 246 247 251 252 256 257 258 259 264 266 268 272 281 282 286 288 294 297 300 303 308 309 310 314 316 320 326 328 332 334 338 341 342 344 350 353 357 358 359 364 366 370 377 383 391 398 403 405 407 408 410 411 412 417 418 424 425 429 431 432 433 435 439 440 443 444 447 448 449 450 453 455 456 467 469 470 477 481 484 485 490 491 499 500 504 506 508 511 512 514 515 517 519 a 11 12 14 15 20 24 25 32 33 40 43 46 47 48 50 52 56 62 65 72 73 74 77 82 86 90 99 102 109 110 112 120 121 122 124 127 137 138 145 147 148 151 154 155 163 166 167 168 170 171 172 174 178 186 187 188 192 194 211 220 223 225 231 233 234 237 239 242 246 247 251 252 256 257 258 259 264 266 268 272 281 282 286 288 294 297 300 303 308 309 314 316 320 326 328 332 334 338 341 342 344 350 353 357 358 359 364 366 370 377 383 391 398 403 405 407 408 410 411 412 417 418 424 425 429 431 432 433 435 439 440 443 444 447 448 449 450 453 455 456 467 469 470 477 481 484 485 490 491 499 500 504 506 508 511 512 514 515 517 519 a 11 12 14 15 20 24 25 32 33 40 43 46 47 48 50 52 56 62 65 72 73 74 77 82 86 90 99 102 103 109 110 112 120 121 122 124 127 137 138 145 147 148 151 154 155 163 166 167 168 170 171 172 174 178 186 187 188 192 194 211 220 223 225 231 233 234 237 239 242 246 247 251 252 256 257 258 259 264 266 268 272 281 282 286 288 294 297 300 303 308 309 314 316 320 326 328 332 334 338 341 342 344 350 353 357 358 359 364 366 370 377 383 391 398 403 405 407 408 410 411 412 417 418 424 425 429 431 432 433 435 439 440 443 444 447 448 449 450 453 455 456 467 469 470 477 481 484 485 490 491 499 500 504 506 508 511 512 514 517 519 a 11 12 14 15 20 24 25 32 33 40 43 46 47 48 50 52 56 62 65 72 73 74 75 77 82 86 90 99 102 103 109 110 112 120 121 122 124 127 137 138 145 147 148 151 154 155 163 166 167 170 171 172 174 178 186 187 188 192 194 211 220 223 225 231 233 234 237 239 242 246 247 251 252 256 257 258 259 264 266 268 272 281 282 286 288 294 297 300 303 308 309 314 316 320 326 328 332 334 338 341 342 344 350 353 357 358 359 364 366 370 377 383 391 398 403 405 407 408 410 411 412 417 418 424 425 429 431 432 433 435 439 440 443 444 447 448 449 450 453 455 456 467 469 470 477 481 484 485 490 491 499 500 504 506 508 511 512 514 517 519 a 11 12 14 15 20 24 25 32 33 40 43 46 47 48 50 52 56 62 65 72 73 74 75 77 82 86 88 90 99 102 103 109 110 112 120 121 122 124 127 137 138 145 147 148 151 154 155 163 166 167 170 171 172 174 178 186 187 188 192 194 211 220 223 225 231 233 234 237 239 242 246 247 251 252 256 257 258 259 264 266 268 272 281 282 286 288 294 297 300 303 308 309 314 316 320 326 328 332 334 338 341 342 344 350 353 357 358 359 364 366 370 377 383 391 398 403 405 407 408 410 411 412 417 418 424 425 429 432 433 435 439 440 443 444 447 448 449 450 453 455 456 467 469 470 477 481 484 485 490 491 499 500 504 506 508 511 512 514 517 519 a 11 12 14 15 20 24 25 32 33 40 43 47 48 50 52 56 62 65 72 73 74 75 77 82 86 88 90 99 102 103 109 110 112 120 121 122 124 127 137 138 145 147 148 151 154 155 163 166 167 170 171 172 174 178 186 187 188 192 194 211 220 223 225 231 233 234 237 239 242 246 247 251 252 256 257 258 259 264 266 268 272 281 282 286 288 294 297 300 303 308 309 314 316 320 326 328 332 334 338 341 342 344 350 353 357 358 359 364 366 370 377 383 391 398 403 405 407 408 410 411 412 417 418 424 425 429 432 433 435 439 440 443 444 447 448 449 450 453 455 456 467 469 470 477 481 483 484 485 490 491 499 500 504 506 508 511 512 514 517 519 a 11 12 14 15 20 24 25 32 33 40 43 47 48 50 52 56 62 65 72 73 74 75 77 82 86 88 90 99 102 103 109 110 112 120 121 122 124 127 137 138 145 147 148 151 154 155 163 166 167 170 171 172 174 178 186 187 188 192 194 211 220 223 225 231 233 234 237 239 242 246 247 251 252 256 257 258 259 264 266 268 272 281 282 286 288 294 297 300 303 308 309 314 316 320 326 328 332 334 338 341 342 344 350 353 357 358 359 364 366 370 377 383 391 398 403 405 407 408 410 411 412 417 418 424 425 429 432 433 435 439 443 444 447 448 449 450 453 455 456 467 469 470 477 481 483 484 485 490 491 499 500 504 506 508 511 512 514 517 519 520 a 11 12 14 15 20 24 25 32 33 40 43 47 48 50 52 56 62 65 72 73 74 75 77 82 86 88 90 99 102 103 109 110 112 120 121 122 124 127 137 138 145 147 148 151 153 154 155 163 166 167 170 171 172 174 178 186 187 188 192 194 211 220 223 225 231 233 234 237 239 242 246 247 251 252 256 257 258 259 264 266 268 272 281 282 286 288 294 297 300 303 308 309 314 316 320 326 328 332 334 338 341 342 344 350 353 357 358 359 364 366 370 377 383 391 398 403 405 407 408 410 411 412 417 418 424 425 429 432 433 435 439 443 444 447 448 449 450 453 455 456 467 469 470 477 481 483 484 485 490 491 499 500 504 506 508 511 512 514 519 520 a 11 12 14 15 20 24 32 33 40 43 47 48 50 52 56 62 65 72 73 74 75 77 82 86 88 90 99 102 103 109 110 112 120 121 122 124 127 137 138 145 147 148 151 153 154 155 163 166 167 170 171 172 174 178 186 187 188 192 194 211 220 223 225 231 232 233 234 237 239 242 246 247 251 252 256 257 258 259 264 266 268 272 281 282 286 288 294 297 300 303 308 309 314 316 320 326 328 332 334 338 341 342 344 350 353 357 358 359 364 366 370 377 383 391 398 403 405 407 408 410 411 412 417 418 424 425 429 432 433 435 439 443 444 447 448 449 450 453 455 456 467 469 470 477 481 483 484 485 490 491 499 500 504 506 508 511 512 514 519 520 a 11 12 14 15 20 24 32 33 40 43 47 48 50 52 56 62 65 72 73 74 75 77 82 86 88 90 99 102 103 105 109 110 112 120 121 122 124 127 137 138 145 147 148 151 153 154 155 163 166 167 170 171 172 174 178 186 187 188 192 194 211 220 223 225 231 232 233 234 237 239 242 246 247 251 252 256 257 258 259 264 266 268 272 281 282 286 288 294 297 300 303 308 309 314 316 320 326 328 332 334 338 341 342 344 350 353 357 358 359 364 366 370 377 383 391 398 403 405 407 408 410 411 412 417 418 424 425 429 432 433 435 439 444 447 448 449 450 453 455 456 467 469 470 477 481 483 484 485 490 491 499 500 504 506 508 511 512 514 519 520 a 11 12 14 15 20 24 32 33 40 43 47 48 50 52 56 62 65 72 73 74 75 77 82 86 88 90 99 102 103 105 109 110 112 120 121 122 124 127 137 138 145 147 148 151 153 154 155 163 166 167 170 171 172 174 178 186 187 188 192 194 211 220 223 225 226 231 232 233 234 237 239 242 246 247 251 252 256 257 258 259 264 266 268 272 281 282 288 294 297 300 303 308 309 314 316 320 326 328 332 334 338 341 342 344 350 353 357 358 359 364 366 370 377 383 391 398 403 405 407 408 410 411 412 417 418 424 425 429 432 433 435 439 444 447 448 449 450 453 455 456 467 469 470 477 481 483 484 485 490 491 499 500 504 506 508 511 512 514 519 520 a 11 12 14 15 20 24 32 33 40 43 47 48 50 52 56 62 65 72 73 74 75 77 82 86 88 90 99 102 103 105 109 110 112 120 121 122 124 127 137 138 145 147 148 151 153 154 155 163 166 167 170 171 172 174 178 186 187 188 192 194 211 220 223 225 226 231 232 233 234 237 239 242 246 247 251 252 256 257 258 259 264 266 268 272 281 282 288 294 297 300 303 308 309 314 316 320 326 328 332 334 338 341 342 344 350 353 357 358 359 364 366 370 377 383 391 398 403 405 407 408 410 411 412 417 418 424 425 432 433 435 439 444 447 448 449 450 453 455 456 467 468 469 470 477 481 483 484 485 490 491 499 500 504 506 508 511 512 514 519 520 a 11 12 14 15 20 24 32 33 40 43 47 48 50 52 56 62 65 72 73 74 75 77 82 86 88 90 99 102 103 105 109 110 112 120 121 122 124 127 137 138 145 147 148 151 153 154 155 163 164 166 167 170 171 172 174 178 186 187 188 192 194 211 220 223 225 226 232 233 234 237 239 242 246 247 251 252 256 257 258 259 264 266 268 272 281 282 288 294 297 300 303 308 309 314 316 320 326 328 332 334 338 341 342 344 350 353 357 358 359 364 366 370 377 383 391 398 403 405 407 408 410 411 412 417 418 424 425 432 433 435 439 444 447 448 449 450 453 455 456 467 468 469 470 477 481 483 484 485 490 491 499 500 504 506 508 511 512 514 519 520 a 11 12 14 15 20 24 32 33 40 43 47 48 50 52 56 62 65 72 73 74 75 77 82 86 88 90 99 102 103 105 109 110 112 120 121 122 124 127 137 138 145 147 148 151 153 154 155 163 164 166 167 170 171 172 174 178 186 187 188 192 194 211 220 223 225 226 232 233 234 237 239 242 246 247 251 252 256 257 258 259 264 266 268 272 281 282 288 294 297 300 303 308 309 314 316 320 326 328 332 334 338 341 342 344 350 353 357 358 359 364 366 370 377 383 391 398 403 405 407 408 410 411 412 417 418 424 425 432 433 435 439 441 444 447 448 449 450 453 455 456 467 468 469 470 477 483 484 485 490 491 499 500 504 506 508 511 512 514 519 520 a 11 12 14 15 20 24 32 33 40 43 47 48 50 52 56 62 65 72 73 74 75 77 82 86 88 90 99 102 103 105 109 110 112 120 121 122 124 127 137 138 145 147 148 151 153 154 155 163 164 166 167 170 171 172 174 178 186 187 188 192 194 211 220 225 226 232 233 234 237 239 242 246 247 251 252 256 257 258 259 264 266 268 272 281 282 288 294 297 300 303 305 308 309 314 316 320 326 328 332 334 338 341 342 344 350 353 357 358 359 364 366 370 377 383 391 398 403 405 407 408 410 411 412 417 418 424 425 432 433 435 439 441 444 447 448 449 450 453 455 456 467 468 469 470 477 483 484 485 490 491 499 500 504 506 508 511 512 514 519 520 a 11 12 14 15 20 24 32 33 40 43 47 48 52 56 62 65 72 73 74 75 77 82 86 88 90 99 102 103 105 109 110 112 120 121 122 124 127 137 138 145 147 148 151 153 154 155 163 164 166 167 170 171 172 174 178 179 186 187 188 192 194 211 220 225 226 232 233 234 237 239 242 246 247 251 252 256 257 258 259 264 266 268 272 281 282 288 294 297 300 303 305 308 309 314 316 320 326 328 332 334 338 341 342 344 350 353 357 358 359 364 366 370 377 383 391 398 403 405 407 408 410 411 412 417 418 424 425 432 433 435 439 441 444 447 448 449 450 453 455 456 467 468 469 470 477 483 484 485 490 491 499 500 504 506 508 511 512 514 519 520 a 11 12 14 15 20 24 32 33 40 43 47 48 52 56 62 65 72 73 74 75 77 82 86 88 90 99 102 103 105 109 110 112 120 121 122 124 127 137 138 145 147 148 151 153 154 155 163 164 166 167 170 171 172 174 178 179 186 187 188 192 194 211 220 225 226 232 233 234 237 239 242 246 247 251 252 256 257 258 259 264 266 268 272 277 281 282 288 294 297 300 303 305 308 309 314 316 320 326 328 332 334 338 341 342 344 350 353 357 358 359 364 366 370 377 383 391 398 403 405 407 408 410 411 412 417 418 424 425 432 433 435 439 441 444 447 448 449 450 453 455 456 467 468 469 470 477 483 484 485 490 491 499 500 504 506 511 512 514 519 520 a 11 12 14 15 20 24 32 33 40 43 47 48 52 56 62 65 72 73 74 75 77 82 86 88 90 99 102 103 105 109 110 112 120 121 122 124 127 137 138 145 147 148 151 153 154 155 163 164 166 167 170 171 172 174 178 179 185 186 187 188 192 194 211 220 225 226 232 233 234 237 239 242 246 247 251 252 256 257 258 259 264 266 268 272 277 281 282 288 294 297 300 303 305 308 309 314 316 320 326 328 332 334 338 341 342 344 350 353 357 358 359 364 366 370 377 383 391 398 403 405 407 408 410 411 412 418 424 425 432 433 435 439 441 444 447 448 449 450 453 455 456 467 468 469 470 477 483 484 485 490 491 499 500 504 506 511 512 514 519 520 a 11 12 14 15 20 24 32 33 40 43 47 48 52 56 62 65 70 72 73 74 75 77 82 86 88 90 99 102 103 105 109 110 112 120 121 122 124 127 137 138 145 147 148 151 153 154 155 163 164 166 167 170 171 172 174 178 179 185 186 187 188 192 194 211 220 225 226 232 233 234 237 239 242 246 247 251 252 256 257 258 259 264 266 268 272 277 281 282 288 294 297 300 303 305 308 309 314 316 320 326 328 334 338 341 342 344 350 353 357 358 359 364 366 370 377 383 391 398 403 405 407 408 410 411 412 418 424 425 432 433 435 439 441 444 447 448 449 450 453 455 456 467 468 469 470 477 483 484 485 490 491 499 500 504 506 511 512 514 519 520 a 11 12 14 15 20 24 32 33 40 47 48 52 56 62 65 70 72 73 74 75 77 82 86 88 90 99 102 103 105 109 110 112 120 121 122 124 127 137 138 145 147 148 151 153 154 155 163 164 166 167 170 171 172 174 178 179 185 186 187 188 192 194 211 220 225 226 232 233 234 237 239 242 246 247 251 252 256 257 258 259 264 266 268 272 277 281 282 288 294 297 300 303 305 308 309 314 316 320 326 328 334 338 341 342 344 350 353 357 358 359 364 366 370 377 383 391 398 403 405 407 408 409 410 411 412 418 424 425 432 433 435 439 441 444 447 448 449 450 453 455 456 467 468 469 470 477 483 484 485 490 491 499 500 504 506 511 512 514 519 520 a 11 12 14 15 20 24 32 33 40 47 48 52 56 62 65 70 72 73 74 75 77 82 86 88 90 99 102 103 105 109 110 112 120 121 122 124 127 137 138 145 147 148 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 187 188 192 194 211 220 225 226 232 233 234 237 239 242 246 247 251 252 256 257 258 259 264 266 268 272 277 281 282 288 294 297 300 303 305 308 309 314 316 320 326 328 334 338 341 342 344 350 353 357 358 359 364 366 370 377 383 391 398 403 405 408 409 410 411 412 418 424 425 432 433 435 439 441 444 447 448 449 450 453 455 456 467 468 469 470 477 483 484 485 490 491 499 500 504 506 511 512 514 519 520 a 11 12 14 15 20 24 32 33 40 47 48 52 56 62 65 70 72 73 74 75 77 82 86 88 90 99 102 103 105 109 110 112 120 121 122 124 127 137 138 145 147 148 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 187 188 192 194 220 225 226 232 233 234 237 239 242 246 247 251 252 256 257 258 259 264 266 268 272 277 281 282 288 294 297 300 303 305 308 309 314 316 320 326 328 334 338 341 342 344 350 353 357 358 359 364 366 370 377 383 391 398 403 405 408 409 410 411 412 418 424 425 432 433 435 439 441 444 447 448 449 450 453 455 456 466 467 468 469 470 477 483 484 485 490 491 499 500 504 506 511 512 514 519 520 a 11 12 14 15 20 24 32 33 40 47 48 52 56 62 65 70 72 73 74 75 77 82 86 88 90 99 102 103 105 109 110 112 115 120 121 122 124 127 137 138 145 147 148 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 187 188 192 194 220 225 226 232 233 234 237 239 242 246 247 251 252 256 257 258 259 264 266 268 272 277 281 282 288 294 297 300 303 305 308 309 314 316 320 326 328 334 338 342 344 350 353 357 358 359 364 366 370 377 383 391 398 403 405 408 409 410 411 412 418 424 425 432 433 435 439 441 444 447 448 449 450 453 455 456 466 467 468 469 470 477 483 484 485 490 491 499 500 504 506 511 512 514 519 520 a 11 12 14 15 20 24 32 33 40 47 48 52 56 62 65 70 72 73 74 75 77 82 86 88 90 99 102 103 105 109 110 115 120 121 122 124 127 137 138 145 147 148 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 187 188 192 194 220 225 226 232 233 234 237 239 242 246 247 251 252 256 257 258 259 264 266 268 272 277 281 282 288 294 297 300 303 305 308 309 314 316 320 326 328 334 338 342 344 350 353 357 358 359 364 366 370 377 383 391 396 398 403 405 408 409 410 411 412 418 424 425 432 433 435 439 441 444 447 448 449 450 453 455 456 466 467 468 469 470 477 483 484 485 490 491 499 500 504 506 511 512 514 519 520 a 11 12 14 15 20 24 32 33 40 47 48 52 56 62 65 70 72 73 74 75 77 82 86 88 90 99 102 103 105 109 110 115 120 121 122 124 127 137 138 145 147 148 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 187 188 192 194 220 225 226 232 233 234 237 239 242 246 247 251 252 256 257 258 259 264 266 268 272 277 281 282 288 294 297 300 303 305 308 309 314 316 320 326 328 334 338 342 344 350 353 357 358 359 364 366 370 377 383 391 396 398 403 405 408 409 410 411 412 418 424 425 432 433 435 439 441 444 447 448 449 450 453 455 456 466 467 468 469 470 477 483 484 485 490 491 497 499 500 506 511 512 514 519 520 a 11 12 14 15 20 24 32 33 40 47 48 52 56 62 65 70 72 73 74 75 77 82 86 88 90 99 102 103 105 109 110 115 120 121 122 124 127 137 138 145 147 148 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 187 188 192 194 220 225 226 232 233 234 237 239 242 246 247 251 252 256 257 258 259 264 266 268 272 277 281 282 288 294 297 300 303 305 308 309 313 314 316 320 326 328 334 338 342 344 350 353 357 358 359 364 366 370 377 383 391 396 398 403 405 408 409 410 411 412 418 424 425 433 435 439 441 444 447 448 449 450 453 455 456 466 467 468 469 470 477 483 484 485 490 491 497 499 500 506 511 512 514 519 520 a 11 12 14 15 20 24 32 33 40 47 48 52 56 62 65 70 72 73 74 75 77 82 86 88 90 99 102 103 105 106 109 110 115 120 121 122 124 127 137 138 145 147 148 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 187 188 192 194 220 225 226 232 233 234 237 239 242 246 247 251 256 257 258 259 264 266 268 272 277 281 282 288 294 297 300 303 305 308 309 313 314 316 320 326 328 334 338 342 344 350 353 357 358 359 364 366 370 377 383 391 396 398 403 405 408 409 410 411 412 418 424 425 433 435 439 441 444 447 448 449 450 453 455 456 466 467 468 469 470 477 483 484 485 490 491 497 499 500 506 511 512 514 519 520 a 11 12 14 15 20 24 32 33 40 47 48 52 56 62 65 70 72 73 74 75 77 82 86 88 90 99 102 103 105 106 109 115 120 121 122 124 127 137 138 145 147 148 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 187 188 192 194 220 225 226 232 233 234 237 239 242 246 247 251 256 257 258 259 264 266 268 272 277 281 282 288 294 297 300 303 305 308 309 313 314 316 320 326 328 334 338 342 344 350 353 357 358 359 364 366 370 372 377 383 391 396 398 403 405 408 409 410 411 412 418 424 425 433 435 439 441 444 447 448 449 450 453 455 456 466 467 468 469 470 477 483 484 485 490 491 497 499 500 506 511 512 514 519 520 a 11 12 14 15 20 24 32 33 40 47 48 52 56 62 65 70 72 73 74 75 77 82 86 88 90 99 102 103 105 106 109 115 120 121 122 124 127 137 138 145 146 147 148 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 187 188 192 194 220 225 226 232 233 234 237 239 242 246 247 251 256 257 258 259 264 266 268 272 277 281 282 288 294 297 300 303 305 308 309 313 314 316 320 326 328 334 338 342 344 350 353 357 358 359 364 366 370 372 377 383 391 396 398 403 405 408 409 411 412 418 424 425 433 435 439 441 444 447 448 449 450 453 455 456 466 467 468 469 470 477 483 484 485 490 491 497 499 500 506 511 512 514 519 520 a 11 12 14 15 20 24 32 33 40 47 48 52 56 62 65 70 72 73 74 75 77 82 86 88 90 99 102 103 105 106 109 115 120 121 122 124 127 137 138 145 146 147 148 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 187 188 192 194 220 225 226 232 233 234 237 239 242 246 251 256 257 258 259 264 266 268 272 277 281 282 288 294 297 300 303 305 308 309 313 314 316 320 326 328 334 338 342 344 350 353 357 358 359 363 364 366 370 372 377 383 391 396 398 403 405 408 409 411 412 418 424 425 433 435 439 441 444 447 448 449 450 453 455 456 466 467 468 469 470 477 483 484 485 490 491 497 499 500 506 511 512 514 519 520 a 11 12 14 15 20 24 32 33 40 47 48 52 56 62 65 70 72 73 74 75 77 82 86 88 90 99 102 103 105 106 109 115 120 121 122 124 127 137 138 143 145 146 147 148 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 187 188 192 194 220 225 226 232 233 234 237 239 242 246 251 256 257 258 259 264 266 268 272 277 281 282 288 294 297 300 303 305 308 309 313 314 316 320 326 328 334 338 342 344 350 353 357 358 359 363 364 366 370 372 377 383 391 396 398 403 405 408 409 411 412 418 424 425 433 439 441 444 447 448 449 450 453 455 456 466 467 468 469 470 477 483 484 485 490 491 497 499 500 506 511 512 514 519 520 a 11 12 14 15 20 24 32 33 40 47 48 52 56 62 65 70 72 73 74 75 77 82 86 88 90 99 102 103 105 106 109 115 120 121 122 124 127 137 138 143 145 146 147 148 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 187 188 192 194 220 225 226 232 233 234 237 239 242 246 251 256 257 258 259 264 266 268 272 277 281 282 288 294 297 300 303 305 308 309 313 314 316 320 326 328 334 338 342 344 350 353 357 358 359 363 364 366 370 372 377 383 391 396 398 403 405 408 409 411 412 418 424 425 433 439 441 444 447 448 449 450 453 455 456 466 467 468 469 470 477 483 484 490 491 497 499 500 503 506 511 512 514 519 520 a 11 12 14 15 20 24 32 33 40 47 48 52 56 62 65 70 72 73 74 75 77 82 86 88 90 99 102 103 105 106 109 115 120 121 122 124 127 137 138 143 145 146 148 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 187 188 192 194 220 225 226 232 233 234 237 239 242 246 251 256 257 258 259 264 266 268 272 277 281 282 288 294 297 300 303 305 308 309 313 314 316 318 320 326 328 334 338 342 344 350 353 357 358 359 363 364 366 370 372 377 383 391 396 398 403 405 408 409 411 412 418 424 425 433 439 441 444 447 448 449 450 453 455 456 466 467 468 469 470 477 483 484 490 491 497 499 500 503 506 511 512 514 519 520 a 11 12 14 15 20 24 32 33 40 47 48 52 56 61 62 65 70 72 73 74 75 77 82 86 88 90 99 102 103 105 106 109 115 120 121 122 124 127 137 138 143 145 146 148 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 187 188 192 194 220 225 226 232 233 234 237 239 242 246 251 256 257 258 259 264 266 268 272 277 281 282 288 294 297 300 303 305 308 309 313 314 316 318 320 326 328 334 338 342 350 353 357 358 359 363 364 366 370 372 377 383 391 396 398 403 405 408 409 411 412 418 424 425 433 439 441 444 447 448 449 450 453 455 456 466 467 468 469 470 477 483 484 490 491 497 499 500 503 506 511 512 514 519 520 a 11 12 14 15 20 24 32 33 40 47 48 52 56 61 62 65 70 72 73 74 75 77 82 86 88 90 99 102 103 105 106 109 115 120 121 122 124 127 137 138 143 145 146 148 149 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 187 188 192 194 220 226 232 233 234 237 239 242 246 251 256 257 258 259 264 266 268 272 277 281 282 288 294 297 300 303 305 308 309 313 314 316 318 320 326 328 334 338 342 350 353 357 358 359 363 364 366 370 372 377 383 391 396 398 403 405 408 409 411 412 418 424 425 433 439 441 444 447 448 449 450 453 455 456 466 467 468 469 470 477 483 484 490 491 497 499 500 503 506 511 512 514 519 520 a 11 12 14 15 20 24 32 33 40 47 48 52 56 61 62 65 70 72 73 74 75 77 78 86 88 90 99 102 103 105 106 109 115 120 121 122 124 127 137 138 143 145 146 148 149 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 187 188 192 194 220 226 232 233 234 237 239 242 246 251 256 257 258 259 264 266 268 272 277 281 282 288 294 297 300 303 305 308 309 313 314 316 318 320 326 328 334 338 342 350 353 357 358 359 363 364 366 370 372 377 383 391 396 398 403 405 408 409 411 412 418 424 425 433 439 441 444 447 448 449 450 453 455 456 466 467 468 469 470 477 483 484 490 491 497 499 500 503 506 511 512 514 519 520 a 11 12 14 15 20 24 32 40 47 48 52 56 61 62 65 70 72 73 74 75 77 78 86 88 90 99 102 103 105 106 109 115 120 121 122 124 127 137 138 143 145 146 148 149 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 187 188 192 194 220 226 232 233 234 237 239 242 246 251 256 257 258 259 264 266 268 272 277 281 282 288 294 297 300 303 305 308 309 313 314 316 318 320 326 328 334 338 342 350 353 357 358 359 363 364 366 368 370 372 377 383 391 396 398 403 405 408 409 411 412 418 424 425 433 439 441 444 447 448 449 450 453 455 456 466 467 468 469 470 477 483 484 490 491 497 499 500 503 506 511 512 514 519 520 a 11 12 14 15 20 24 32 40 47 48 52 56 61 62 65 70 72 73 74 75 77 78 86 88 90 99 102 103 105 106 109 115 120 121 122 124 127 137 138 143 145 146 148 149 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 187 188 192 194 220 226 232 233 234 237 239 242 246 251 256 257 258 259 264 266 268 272 277 281 282 288 294 297 300 303 305 309 313 314 316 318 320 325 326 328 334 338 342 350 353 357 358 359 363 364 366 368 370 372 377 383 391 396 398 403 405 408 409 411 412 418 424 425 433 439 441 444 447 448 449 450 453 455 456 466 467 468 469 470 477 483 484 490 491 497 499 500 503 506 511 512 514 519 520 a 11 12 14 15 20 24 32 40 47 48 52 56 61 62 70 72 73 74 75 77 78 86 88 90 95 99 102 103 105 106 109 115 120 121 122 124 127 137 138 143 145 146 148 149 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 187 188 192 194 220 226 232 233 234 237 239 242 246 251 256 257 258 259 264 266 268 272 277 281 282 288 294 297 300 303 305 309 313 314 316 318 320 325 326 328 334 338 342 350 353 357 358 359 363 364 366 368 370 372 377 383 391 396 398 403 405 408 409 411 412 418 424 425 433 439 441 444 447 448 449 450 453 455 456 466 467 468 469 470 477 483 484 490 491 497 499 500 503 506 511 512 514 519 520 a 11 12 14 15 20 24 32 40 47 48 52 56 61 62 70 72 73 74 75 77 78 86 88 90 95 99 102 103 105 106 109 115 120 122 124 127 137 138 143 145 146 148 149 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 187 188 192 194 220 226 232 233 234 237 239 242 246 251 256 257 258 259 264 266 268 272 277 281 282 288 294 297 300 303 305 309 313 314 316 318 320 325 326 328 334 338 342 350 353 357 358 359 363 364 366 368 370 372 377 383 391 396 398 403 405 408 409 411 412 418 424 425 426 433 439 441 444 447 448 449 450 453 455 456 466 467 468 469 470 477 483 484 490 491 497 499 500 503 506 511 512 514 519 520 a 11 12 14 15 20 24 32 40 47 48 52 56 61 62 70 72 73 74 75 77 78 86 88 90 95 99 102 103 105 106 109 115 120 122 124 127 137 138 143 145 146 148 149 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 188 192 194 207 220 226 232 233 234 237 239 242 246 251 256 257 258 259 264 266 268 272 277 281 282 288 294 297 300 303 305 309 313 314 316 318 320 325 326 328 334 338 342 350 353 357 358 359 363 364 366 368 370 372 377 383 391 396 398 403 405 408 409 411 412 418 424 425 426 433 439 441 444 447 448 449 450 453 455 456 466 467 468 469 470 477 483 484 490 491 497 499 500 503 506 511 512 514 519 520 a 11 12 14 15 20 24 32 40 47 48 52 56 61 62 70 72 73 74 75 77 78 86 88 90 95 99 102 103 105 106 109 115 120 122 124 127 137 138 142 143 145 146 148 149 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 188 192 194 207 220 226 232 233 234 237 239 242 246 251 256 257 258 259 264 266 268 272 277 281 282 288 294 297 300 303 305 309 313 314 316 318 320 325 326 328 334 338 342 350 353 357 358 359 363 364 366 368 370 372 377 383 391 396 398 403 405 408 409 411 412 418 424 425 426 433 439 441 444 447 448 449 450 453 455 456 466 467 468 469 470 477 483 484 490 491 497 499 503 506 511 512 514 519 520 a 11 12 14 15 20 24 32 40 47 48 52 56 61 62 70 72 73 74 75 77 78 86 88 90 95 99 102 103 105 106 109 115 120 122 124 127 137 138 142 143 145 146 148 149 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 188 192 194 207 220 226 232 233 234 237 239 242 246 251 256 257 258 259 264 266 268 272 277 281 282 288 294 297 300 303 305 309 313 314 316 318 320 325 326 328 334 338 342 350 353 357 358 359 363 364 366 368 370 372 377 383 391 396 398 403 405 406 408 409 411 412 418 424 425 426 433 439 441 447 448 449 450 453 455 456 466 467 468 469 470 477 483 484 490 491 497 499 503 506 511 512 514 519 520 a 11 12 14 15 20 24 32 40 47 48 52 56 61 62 70 72 73 74 75 77 78 86 88 90 95 99 102 103 105 106 109 115 120 122 124 127 137 138 142 143 145 146 148 149 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 188 192 194 207 220 226 232 233 234 237 239 242 246 251 256 257 258 259 264 266 268 272 277 281 282 288 294 297 300 302 303 305 309 313 314 316 318 320 325 326 328 334 338 342 350 353 357 358 359 363 364 366 368 370 372 377 383 391 396 403 405 406 408 409 411 412 418 424 425 426 433 439 441 447 448 449 450 453 455 456 466 467 468 469 470 477 483 484 490 491 497 499 503 506 511 512 514 519 520 a 11 12 14 15 20 32 40 47 48 52 56 60 61 62 70 72 73 74 75 77 78 86 88 90 95 99 102 103 105 106 109 115 120 122 124 127 137 138 142 143 145 146 148 149 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 188 192 194 207 220 226 232 233 234 237 239 242 246 251 256 257 258 259 264 266 268 272 277 281 282 288 294 297 300 302 303 305 309 313 314 316 318 320 325 326 328 334 338 342 350 353 357 358 359 363 364 366 368 370 372 377 383 391 396 403 405 406 408 409 411 412 418 424 425 426 433 439 441 447 448 449 450 453 455 456 466 467 468 469 470 477 483 484 490 491 497 499 503 506 511 512 514 519 520 a 11 12 14 15 20 32 40 47 48 52 56 60 61 62 70 72 73 74 75 77 78 86 88 90 95 99 102 103 105 106 109 115 120 122 124 127 137 138 142 143 145 146 148 149 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 188 192 194 207 220 226 232 233 234 237 239 242 246 251 256 257 258 259 264 266 268 269 272 277 281 282 288 294 297 300 302 303 305 309 313 314 316 318 320 325 326 334 338 342 350 353 357 358 359 363 364 366 368 370 372 377 383 391 396 403 405 406 408 409 411 412 418 424 425 426 433 439 441 447 448 449 450 453 455 456 466 467 468 469 470 477 483 484 490 491 497 499 503 506 511 512 514 519 520 a 11 12 14 15 20 32 40 47 48 52 56 60 61 62 70 72 73 74 75 77 78 86 88 90 95 99 102 103 105 106 109 115 120 122 124 127 137 138 142 143 145 146 148 149 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 188 192 194 207 220 226 232 233 234 237 239 242 246 251 256 257 258 259 264 266 268 269 272 277 281 282 288 294 297 300 302 303 305 309 313 314 316 318 320 325 326 334 338 342 350 353 357 358 359 363 364 366 368 370 372 377 383 391 392 396 403 405 406 408 409 411 412 418 424 425 426 433 439 441 447 448 449 450 453 455 456 466 467 468 469 470 477 483 484 490 497 499 503 506 511 512 514 519 520 a 11 12 14 15 20 32 40 47 48 52 56 57 60 61 62 70 72 73 74 75 77 78 86 88 90 95 99 102 103 105 106 109 115 120 122 124 127 137 138 142 143 145 146 148 149 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 188 192 194 207 220 226 232 233 234 237 239 242 246 251 256 257 258 259 264 266 268 269 272 277 281 282 288 294 297 300 302 303 305 309 313 314 316 318 320 325 326 334 338 342 350 353 357 358 359 363 364 366 368 372 377 383 391 392 396 403 405 406 408 409 411 412 418 424 425 426 433 439 441 447 448 449 450 453 455 456 466 467 468 469 470 477 483 484 490 497 499 503 506 511 512 514 519 520 a 11 12 14 15 20 32 40 47 48 52 56 57 60 61 62 70 72 73 74 75 77 78 86 88 90 95 99 102 103 105 106 109 115 120 122 124 127 137 138 142 143 145 146 148 149 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 188 192 194 207 220 226 232 233 234 237 239 242 246 251 256 257 258 259 264 266 268 269 272 277 281 282 294 297 300 302 303 305 309 313 314 316 318 320 325 326 334 338 342 350 353 357 358 359 363 364 366 368 372 377 383 391 392 396 403 405 406 408 409 411 412 418 424 425 426 433 439 441 447 448 449 450 451 453 455 456 466 467 468 469 470 477 483 484 490 497 499 503 506 511 512 514 519 520 a 2 11 12 14 15 20 32 40 47 48 52 56 57 60 61 62 70 72 73 74 75 77 78 86 88 90 95 99 102 103 105 106 109 115 120 122 124 127 137 138 142 143 145 146 148 149 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 188 192 194 207 220 226 232 233 234 237 239 242 246 251 257 258 259 264 266 268 269 272 277 281 282 294 297 300 302 303 305 309 313 314 316 318 320 325 326 334 338 342 350 353 357 358 359 363 364 366 368 372 377 383 391 392 396 403 405 406 408 409 411 412 418 424 425 426 433 439 441 447 448 449 450 451 453 455 456 466 467 468 469 470 477 483 484 490 497 499 503 506 511 512 514 519 520 a 2 11 12 14 15 20 32 40 47 48 52 56 57 58 60 61 62 70 72 73 74 75 77 78 86 88 90 95 99 102 103 105 106 109 115 120 122 124 127 137 138 142 143 145 146 148 149 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 188 192 194 207 220 226 232 233 234 237 239 242 246 251 257 259 264 266 268 269 272 277 281 282 294 297 300 302 303 305 309 313 314 316 318 320 325 326 334 338 342 350 353 357 358 359 363 364 366 368 372 377 383 391 392 396 403 405 406 408 409 411 412 418 424 425 426 433 439 441 447 448 449 450 451 453 455 456 466 467 468 469 470 477 483 484 490 497 499 503 506 511 512 514 519 520 a 2 11 12 14 15 20 32 40 47 48 52 56 57 58 60 61 62 70 72 73 74 75 77 78 86 88 90 95 99 102 103 105 106 109 115 120 122 124 127 137 138 142 143 145 146 148 149 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 188 192 194 207 220 226 232 233 234 237 239 242 246 251 257 259 264 266 268 269 272 277 281 282 294 297 300 302 303 305 309 312 313 314 316 318 320 325 326 334 338 342 350 353 357 358 359 363 364 366 368 372 377 383 391 392 396 403 405 406 408 409 411 412 418 424 425 426 433 439 441 447 448 449 450 451 453 455 456 466 467 468 469 470 477 483 484 490 497 499 503 506 511 512 514 520 a 2 8 11 12 14 15 20 32 40 47 48 52 56 57 58 60 61 62 70 72 73 74 75 77 78 86 88 90 95 99 102 103 105 106 109 115 120 122 124 127 137 138 142 143 145 146 148 149 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 188 192 194 207 220 226 232 233 234 237 239 242 246 251 257 259 264 266 268 269 272 277 281 282 294 297 300 302 303 305 309 312 313 314 316 318 320 325 326 334 338 342 350 353 357 358 359 363 364 366 368 372 377 383 391 392 396 403 405 406 409 411 412 418 424 425 426 433 439 441 447 448 449 450 451 453 455 456 466 467 468 469 470 477 483 484 490 497 499 503 506 511 512 514 520 a 2 8 11 12 14 15 20 32 40 47 48 52 56 57 58 60 61 62 70 72 73 74 75 77 78 86 88 90 95 99 102 103 105 106 109 115 120 122 124 127 137 138 142 143 145 146 148 149 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 188 192 194 207 220 226 232 233 237 239 242 246 251 257 259 264 266 268 269 272 277 281 282 290 294 297 300 302 303 305 309 312 313 314 316 318 320 325 326 334 338 342 350 353 357 358 359 363 364 366 368 372 377 383 391 392 396 403 405 406 409 411 412 418 424 425 426 433 439 441 447 448 449 450 451 453 455 456 466 467 468 469 470 477 483 484 490 497 499 503 506 511 512 514 520 a 2 8 11 12 14 15 20 32 40 47 48 52 56 57 58 60 61 62 70 72 73 74 75 77 78 86 88 90 95 99 102 103 105 106 109 115 120 122 124 127 137 138 142 143 145 146 148 149 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 188 192 194 207 220 226 232 233 237 239 242 246 251 257 259 264 266 268 269 272 277 281 282 290 294 297 300 302 303 305 309 312 313 314 316 318 320 325 326 334 338 339 342 350 353 357 358 359 363 364 366 368 372 377 383 392 396 403 405 406 409 411 412 418 424 425 426 433 439 441 447 448 449 450 451 453 455 456 466 467 468 469 470 477 483 484 490 497 499 503 506 511 512 514 520 a 2 8 11 12 14 15 20 32 40 47 48 52 56 57 58 60 61 62 70 72 73 74 75 77 78 86 88 90 95 99 102 103 105 106 109 115 120 122 124 127 137 138 142 143 145 146 148 149 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 188 192 194 207 220 226 232 233 237 239 242 246 251 257 259 264 266 268 269 272 277 281 282 290 294 297 300 302 303 305 309 312 313 314 316 318 320 325 326 334 338 339 342 350 353 357 358 359 363 364 366 368 372 377 383 392 396 403 405 406 409 412 418 424 425 426 433 439 441 447 448 449 450 451 453 455 456 466 467 468 469 470 477 483 484 490 496 497 499 503 506 511 512 514 520 a 2 8 11 12 14 15 20 32 40 47 48 52 56 57 58 60 61 62 70 72 73 74 75 77 78 86 88 90 95 99 102 103 105 106 109 115 120 122 124 127 137 138 142 143 145 146 148 149 151 153 154 155 163 164 166 167 170 171 172 174 176 178 179 185 186 188 192 194 207 220 226 232 233 237 239 242 246 251 257 259 264 266 268 269 272 277 281 282 290 294 297 300 302 303 305 309 312 313 314 316 318 320 325 326 334 338 339 342 350 353 357 358 359 363 364 366 368 372 377 383 392 396 403 405 406 409 412 418 424 425 426 433 439 441 448 449 450 451 453 455 456 466 467 468 469 470 475 477 483 484 490 496 497 499 503 506 511 512 514 520 a 2 8 11 12 14 15 20 40 47 48 52 56 57 58 60 61 62 70 72 73 74 75 77 78 86 88 90 95 99 102 103 105 106 109 115 120 122 124 127 137 138 142 143 145 146 148 149 151 153 154 155 163 164 166 167 170 171 172 173 174 176 178 179 185 186 188 192 194 207 220 226 232 233 237 239 242 246 251 257 259 264 266 268 269 272 277 281 282 290 294 297 300 302 303 305 309 312 313 314 316 318 320 325 326 334 338 339 342 350 353 357 358 359 363 364 366 368 372 377 383 392 396 403 405 406 409 412 418 424 425 426 433 439 441 448 449 450 451 453 455 456 466 467 468 469 470 475 477 483 484 490 496 497 499 503 506 511 512 514 520 a 2 8 11 12 14 15 20 40 47 48 52 56 57 58 60 61 62 70 72 73 74 75 77 78 86 88 90 95 99 102 103 105 106 109 115 120 122 124 127 137 138 142 143 145 146 149 151 153 154 155 163 164 166 167 170 171 172 173 174 176 178 179 185 186 188 192 194 207 220 226 232 233 237 239 242 246 251 257 259 264 266 268 269 272 277 281 282 290 293 294 297 300 302 303 305 309 312 313 314 316 318 320 325 326 334 338 339 342 350 353 357 358 359 363 364 366 368 372 377 383 392 396 403 405 406 409 412 418 424 425 426 433 439 441 448 449 450 451 453 455 456 466 467 468 469 470 475 477 483 484 490 496 497 499 503 506 511 512 514 520 a 2 8 11 12 14 15 20 40 48 52 56 57 58 60 61 62 70 72 73 74 75 77 78 86 88 90 95 99 102 103 105 106 109 115 120 122 124 127 137 138 142 143 145 146 149 151 153 154 155 163 164 166 167 170 171 172 173 174 176 178 179 185 186 188 192 194 207 220 226 232 233 237 238 239 242 246 251 257 259 264 266 268 269 272 277 281 282 290 293 294 297 300 302 303 305 309 312 313 314 316 318 320 325 326 334 338 339 342 350 353 357 358 359 363 364 366 368 372 377 383 392 396 403 405 406 409 412 418 424 425 426 433 439 441 448 449 450 451 453 455 456 466 467 468 469 470 475 477 483 484 490 496 497 499 503 506 511 512 514 520 a 2 8 11 12 14 15 20 40 48 52 56 57 58 60 61 62 70 72 73 74 75 77 78 86 88 90 95 99 102 103 105 106 109 115 120 122 124 127 137 138 142 143 145 146 149 151 153 154 155 163 164 166 167 170 171 172 173 174 176 178 179 185 186 188 192 194 207 220 226 232 233 237 238 239 242 246 251 257 259 264 266 268 269 272 277 281 282 290 293 294 297 300 302 303 305 309 312 313 314 316 318 320 325 326 334 338 339 342 350 353 358 359 363 364 366 368 372 377 383 392 396 403 405 406 409 412 418 424 425 426 433 439 441 448 449 450 451 453 455 456 461 466 467 468 469 470 475 477 483 484 490 496 497 499 503 506 511 512 514 520 a 2 8 11 12 14 15 20 40 48 52 56 57 58 60 61 62 70 72 73 74 75 77 78 86 88 90 95 96 99 102 103 105 106 109 115 120 122 124 127 137 138 142 143 145 146 149 151 153 154 155 163 164 166 167 170 171 172 173 174 176 178 179 185 186 188 192 194 207 220 226 232 233 237 238 239 242 246 251 257 259 264 266 268 269 272 277 281 282 290 293 294 297 300 302 303 305 309 312 313 314 316 318 320 325 326 334 338 339 342 350 353 358 359 363 364 366 368 372 377 383 392 396 403 405 406 409 412 418 424 425 426 433 439 441 448 449 450 451 453 455 456 461 466 468 469 470 475 477 483 484 490 496 497 499 503 506 511 512 514 520 a 2 8 11 12 14 15 20 40 48 52 56 57 58 60 61 62 70 72 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 109 115 120 122 124 127 137 138 142 143 145 146 149 151 153 154 155 163 164 166 167 170 171 172 173 174 176 178 179 185 186 188 192 194 207 220 226 232 233 237 238 239 242 246 251 257 259 264 266 268 269 272 277 281 282 290 293 294 297 300 302 303 305 309 312 313 314 316 318 320 325 326 334 338 339 342 350 353 358 363 364 366 368 372 377 383 392 396 403 405 406 409 412 418 424 425 426 433 439 441 448 449 450 451 453 455 456 461 466 468 469 470 475 477 483 484 490 496 497 499 503 506 511 512 514 520 a 2 8 11 12 14 15 20 40 48 52 56 57 58 60 61 62 70 72 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 109 115 120 122 127 137 138 142 143 145 146 149 151 153 154 155 163 164 166 167 170 171 172 173 174 176 178 179 185 186 188 192 194 207 220 226 232 233 237 238 239 242 246 251 257 259 264 266 268 269 272 277 281 282 290 293 294 296 297 300 302 303 305 309 312 313 314 316 318 320 325 326 334 338 339 342 350 353 358 363 364 366 368 372 377 383 392 396 403 405 406 409 412 418 424 425 426 433 439 441 448 449 450 451 453 455 456 461 466 468 469 470 475 477 483 484 490 496 497 499 503 506 511 512 514 520 a 2 8 11 12 14 15 20 40 48 56 57 58 60 61 62 70 72 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 109 115 120 122 127 130 137 138 142 143 145 146 149 151 153 154 155 163 164 166 167 170 171 172 173 174 176 178 179 185 186 188 192 194 207 220 226 232 233 237 238 239 242 246 251 257 259 264 266 268 269 272 277 281 282 290 293 294 296 297 300 302 303 305 309 312 313 314 316 318 320 325 326 334 338 339 342 350 353 358 363 364 366 368 372 377 383 392 396 403 405 406 409 412 418 424 425 426 433 439 441 448 449 450 451 453 455 456 461 466 468 469 470 475 477 483 484 490 496 497 499 503 506 511 512 514 520 a 2 8 11 12 14 15 20 40 48 56 57 58 60 61 62 70 72 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 109 115 120 122 127 130 137 138 142 143 145 146 149 151 153 154 155 163 164 166 167 170 171 172 173 174 176 178 179 185 186 188 192 194 207 220 226 232 233 237 238 239 246 251 257 259 264 266 268 269 272 277 281 282 290 293 294 296 297 300 302 303 305 309 312 313 314 316 318 320 325 326 334 338 339 342 350 353 358 363 364 366 368 372 377 383 392 396 403 405 406 409 412 418 419 424 425 426 433 439 441 448 449 450 451 453 455 456 461 466 468 469 470 475 477 483 484 490 496 497 499 503 506 511 512 514 520 a 2 8 11 12 14 15 20 40 48 56 57 58 60 61 62 70 72 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 109 115 120 122 127 130 137 138 142 143 145 146 149 151 153 154 155 163 164 166 167 170 171 172 173 174 176 178 179 185 186 188 192 194 207 220 226 232 237 238 239 246 251 257 259 264 266 268 269 272 277 281 282 283 290 293 294 296 297 300 302 303 305 309 312 313 314 316 318 320 325 326 334 338 339 342 350 353 358 363 364 366 368 372 377 383 392 396 403 405 406 409 412 418 419 424 425 426 433 439 441 448 449 450 451 453 455 456 461 466 468 469 470 475 477 483 484 490 496 497 499 503 506 511 512 514 520 a 2 8 11 12 14 15 20 40 48 56 57 58 60 61 62 70 72 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 109 115 120 122 127 130 137 138 142 143 145 146 149 151 153 154 155 163 164 166 167 170 171 172 173 174 176 178 179 185 186 188 192 194 207 220 226 232 237 238 239 246 251 257 259 264 266 268 269 277 281 282 283 284 290 293 294 296 297 300 302 303 305 309 312 313 314 316 318 320 325 326 334 338 339 342 350 353 358 363 364 366 368 372 377 383 392 396 403 405 406 409 412 418 419 424 425 426 433 439 441 448 449 450 451 453 455 456 461 466 468 469 470 475 477 483 484 490 496 497 499 503 506 511 512 514 520 a 2 8 11 12 14 15 20 40 48 56 57 58 60 61 62 70 72 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 109 115 120 122 126 127 130 137 138 142 143 145 146 149 151 153 154 155 163 164 166 167 170 171 172 173 174 176 178 179 185 186 188 192 194 207 220 226 232 237 238 239 246 251 257 259 264 266 268 269 277 281 282 283 284 290 293 294 296 297 300 302 303 305 309 312 313 314 316 318 320 325 326 334 338 339 342 350 353 358 363 364 366 368 372 377 383 392 396 403 405 406 409 412 418 419 424 425 426 433 439 441 448 449 450 451 453 455 456 461 466 468 469 470 475 477 483 484 490 496 497 499 503 511 512 514 520 a 2 8 11 12 14 15 20 40 48 56 57 58 60 61 62 70 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 109 115 120 122 126 127 130 137 138 142 143 145 146 149 151 153 154 155 163 164 166 167 170 171 172 173 174 176 178 179 185 186 188 192 194 207 220 226 232 237 238 239 245 246 251 257 259 264 266 268 269 277 281 282 283 284 290 293 294 296 297 300 302 303 305 309 312 313 314 316 318 320 325 326 334 338 339 342 350 353 358 363 364 366 368 372 377 383 392 396 403 405 406 409 412 418 419 424 425 426 433 439 441 448 449 450 451 453 455 456 461 466 468 469 470 475 477 483 484 490 496 497 499 503 511 512 514 520 a 2 8 11 12 14 15 20 26 40 48 56 57 58 60 61 62 70 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 109 115 120 122 126 127 130 137 138 142 143 145 146 149 151 153 154 155 163 164 166 167 170 171 172 173 174 176 178 179 185 186 188 192 194 207 220 226 232 237 238 239 245 246 251 257 259 264 266 268 269 277 281 282 283 284 290 293 294 296 297 300 302 303 305 309 312 313 314 316 318 320 325 326 338 339 342 350 353 358 363 364 366 368 372 377 383 392 396 403 405 406 409 412 418 419 424 425 426 433 439 441 448 449 450 451 453 455 456 461 466 468 469 470 475 477 483 484 490 496 497 499 503 511 512 514 520 a 2 8 11 12 14 15 20 26 40 48 56 57 58 60 61 62 70 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 115 120 122 126 127 130 137 138 142 143 145 146 149 151 153 154 155 163 164 166 167 170 171 172 173 174 176 178 179 185 186 188 192 194 207 220 226 232 237 238 239 245 246 251 257 259 264 266 268 269 277 281 282 283 284 290 293 294 296 297 300 302 303 305 309 312 313 314 316 318 320 325 326 338 339 342 350 353 358 363 364 366 368 372 377 383 392 395 396 403 405 406 409 412 418 419 424 425 426 433 439 441 448 449 450 451 453 455 456 461 466 468 469 470 475 477 483 484 490 496 497 499 503 511 512 514 520 a 2 8 11 12 14 15 20 26 40 48 56 57 58 60 61 62 70 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 115 120 122 126 127 130 137 138 142 143 145 146 149 151 153 154 155 163 164 166 167 170 171 172 173 174 176 178 179 185 186 188 192 194 207 220 226 232 237 238 245 246 251 257 259 264 266 268 269 277 281 282 283 284 290 293 294 296 297 300 302 303 305 309 312 313 314 316 318 320 325 326 338 339 342 350 353 358 363 364 366 368 372 377 383 392 395 396 403 405 406 409 412 418 419 424 425 426 433 439 441 448 449 450 451 453 455 456 461 466 468 469 470 475 477 483 484 490 494 496 497 499 503 511 512 514 520 a 2 8 11 12 14 15 20 26 40 48 56 57 58 60 61 62 70 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 115 120 122 126 127 130 137 138 142 143 145 146 149 151 153 154 155 163 164 166 167 170 172 173 174 176 178 179 185 186 188 192 194 207 220 226 232 237 238 245 246 251 257 259 264 266 268 269 277 281 282 283 284 290 293 294 296 297 300 302 303 305 309 311 312 313 314 316 318 320 325 326 338 339 342 350 353 358 363 364 366 368 372 377 383 392 395 396 403 405 406 409 412 418 419 424 425 426 433 439 441 448 449 450 451 453 455 456 461 466 468 469 470 475 477 483 484 490 494 496 497 499 503 511 512 514 520 a 2 8 11 12 14 15 26 40 48 56 57 58 60 61 62 70 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 115 120 122 126 127 130 137 138 142 143 145 146 149 151 153 154 155 163 164 166 167 170 172 173 174 176 178 179 185 186 188 192 194 207 220 226 232 237 238 245 246 251 257 259 264 266 268 269 277 281 282 283 284 290 293 294 296 297 300 302 303 305 309 311 312 313 314 316 318 320 325 326 338 339 342 350 353 358 363 364 366 368 372 377 383 392 395 396 403 405 406 409 412 418 419 424 425 426 433 434 439 441 448 449 450 451 453 455 456 461 466 468 469 470 475 477 483 484 490 494 496 497 499 503 511 512 514 520 a 2 8 11 12 14 15 26 40 48 56 57 58 60 61 62 70 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 115 120 122 126 127 130 133 137 138 142 143 145 146 149 151 153 154 155 163 164 166 167 170 172 173 174 176 178 179 185 186 192 194 207 220 226 232 237 238 245 246 251 257 259 264 266 268 269 277 281 282 283 284 290 293 294 296 297 300 302 303 305 309 311 312 313 314 316 318 320 325 326 338 339 342 350 353 358 363 364 366 368 372 377 383 392 395 396 403 405 406 409 412 418 419 424 425 426 433 434 439 441 448 449 450 451 453 455 456 461 466 468 469 470 475 477 483 484 490 494 496 497 499 503 511 512 514 520 a 2 8 11 12 14 15 26 40 48 56 57 58 60 61 62 70 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 115 120 122 126 127 130 133 137 138 142 143 145 146 149 151 153 154 155 163 164 166 167 170 172 173 174 176 178 179 185 186 192 194 207 220 226 232 237 238 245 246 251 257 259 264 266 268 269 277 281 282 283 284 290 293 294 296 297 300 302 303 305 309 311 312 313 314 316 318 320 325 326 338 339 342 350 358 363 364 366 368 372 377 383 392 395 396 403 405 406 409 412 418 419 424 425 426 433 434 439 441 448 449 450 451 453 455 456 461 463 466 468 469 470 475 477 483 484 490 494 496 497 499 503 511 512 514 520 a 2 8 11 12 14 15 23 26 40 48 56 57 58 60 61 62 70 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 115 120 122 126 127 130 133 137 138 142 143 145 146 149 151 153 154 155 163 164 166 167 170 172 173 174 176 178 179 185 186 192 194 207 220 226 232 237 238 245 246 251 257 259 264 268 269 277 281 282 283 284 290 293 294 296 297 300 302 303 305 309 311 312 313 314 316 318 320 325 326 338 339 342 350 358 363 364 366 368 372 377 383 392 395 396 403 405 406 409 412 418 419 424 425 426 433 434 439 441 448 449 450 451 453 455 456 461 463 466 468 469 470 475 477 483 484 490 494 496 497 499 503 511 512 514 520 a 2 8 11 12 14 15 23 26 40 56 57 58 60 61 62 70 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 115 120 122 126 127 130 133 137 138 142 143 145 146 149 151 153 154 155 163 164 166 167 170 172 173 174 176 178 179 185 186 192 194 207 220 226 232 237 238 245 246 251 257 259 264 268 269 277 281 282 283 284 290 293 294 296 297 300 302 303 305 309 311 312 313 314 316 318 320 325 326 338 339 342 350 358 363 364 366 368 372 377 383 392 395 396 403 405 406 409 412 413 418 419 424 425 426 433 434 439 441 448 449 450 451 453 455 456 461 463 466 468 469 470 475 477 483 484 490 494 496 497 499 503 511 512 514 520 a 2 8 11 12 14 15 23 26 40 53 56 57 58 60 61 62 70 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 115 120 122 126 127 130 133 137 138 142 143 145 146 149 151 153 154 155 163 164 166 167 170 172 173 174 176 178 179 185 186 192 194 207 220 226 232 237 238 245 246 251 257 259 264 268 269 277 281 282 283 284 290 293 294 296 297 300 302 303 305 309 311 312 313 314 316 318 320 325 326 338 339 342 350 358 363 364 366 368 372 377 383 392 395 396 403 405 406 409 412 413 419 424 425 426 433 434 439 441 448 449 450 451 453 455 456 461 463 466 468 469 470 475 477 483 484 490 494 496 497 499 503 511 512 514 520 a 2 8 11 12 14 15 23 26 40 53 56 57 58 60 61 62 70 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 115 122 126 127 130 133 137 138 142 143 145 146 149 151 153 154 155 163 164 166 167 170 172 173 174 176 178 179 185 186 192 194 207 220 226 232 237 238 245 246 251 257 259 264 268 269 277 281 282 283 284 290 293 294 296 297 300 302 303 305 309 311 312 313 314 316 318 320 325 326 338 339 342 350 358 363 364 366 368 372 377 383 392 395 396 403 405 406 409 412 413 419 424 425 426 433 434 439 441 448 449 450 451 453 455 456 461 463 466 468 469 470 475 477 483 484 488 490 494 496 497 499 503 511 512 514 520 a 2 8 11 12 14 15 23 26 40 53 56 57 58 60 61 62 70 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 115 119 122 126 127 130 133 137 138 142 143 145 146 149 151 153 154 155 163 164 166 167 170 172 173 174 176 178 179 185 186 192 194 207 220 226 232 237 238 245 246 251 257 259 264 268 269 277 281 282 283 284 290 293 294 296 297 300 302 303 305 311 312 313 314 316 318 320 325 326 338 339 342 350 358 363 364 366 368 372 377 383 392 395 396 403 405 406 409 412 413 419 424 425 426 433 434 439 441 448 449 450 451 453 455 456 461 463 466 468 469 470 475 477 483 484 488 490 494 496 497 499 503 511 512 514 520 a 2 8 11 12 14 15 23 26 40 53 56 57 58 60 61 62 70 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 115 119 122 126 127 130 133 137 138 142 143 145 146 149 151 153 154 155 163 164 166 167 170 172 173 174 176 178 179 185 186 192 194 207 220 226 232 237 238 245 246 251 257 259 264 268 269 277 281 282 283 284 290 293 294 296 297 300 302 303 305 311 312 313 314 316 318 320 325 326 338 339 342 346 350 358 363 364 366 368 372 377 383 392 395 396 403 405 406 409 412 413 419 424 425 426 433 434 439 441 448 449 450 451 453 455 456 461 463 466 468 469 470 475 477 483 484 488 490 494 496 497 499 503 511 514 520 a 2 8 11 12 14 15 23 26 40 53 56 57 58 60 61 62 70 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 115 119 122 126 127 130 133 137 138 142 143 145 146 149 151 153 154 155 156 163 164 166 167 170 172 173 174 176 178 179 185 186 192 194 207 220 226 232 237 238 245 246 251 257 259 264 268 269 277 281 282 283 284 290 293 294 296 297 300 302 303 305 311 312 313 314 316 318 320 325 326 338 339 342 346 350 358 363 364 366 368 372 377 383 392 395 396 405 406 409 412 413 419 424 425 426 433 434 439 441 448 449 450 451 453 455 456 461 463 466 468 469 470 475 477 483 484 488 490 494 496 497 499 503 511 514 520 a 2 8 11 12 14 15 23 26 40 53 56 57 58 60 61 62 70 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 115 119 122 126 127 130 133 137 138 142 143 146 149 151 153 154 155 156 163 164 166 167 170 172 173 174 176 178 179 185 186 192 194 200 207 220 226 232 237 238 245 246 251 257 259 264 268 269 277 281 282 283 284 290 293 294 296 297 300 302 303 305 311 312 313 314 316 318 320 325 326 338 339 342 346 350 358 363 364 366 368 372 377 383 392 395 396 405 406 409 412 413 419 424 425 426 433 434 439 441 448 449 450 451 453 455 456 461 463 466 468 469 470 475 477 483 484 488 490 494 496 497 499 503 511 514 520 a 2 8 11 12 14 15 23 26 40 53 56 57 58 60 61 62 70 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 115 119 122 126 127 130 133 137 138 142 143 146 149 151 153 154 155 156 163 164 166 167 170 172 173 174 176 178 179 185 186 192 194 200 207 220 226 232 237 238 245 246 251 257 259 264 268 269 277 281 282 283 284 290 293 294 296 297 300 302 303 304 305 311 312 313 314 316 318 320 325 326 338 339 342 346 350 358 363 364 366 368 372 377 383 392 395 396 405 406 409 412 413 419 424 425 426 434 439 441 448 449 450 451 453 455 456 461 463 466 468 469 470 475 477 483 484 488 490 494 496 497 499 503 511 514 520 a 2 8 11 12 14 15 23 26 40 53 56 57 58 59 60 61 62 70 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 115 119 122 126 127 130 133 137 138 142 143 146 149 151 153 154 155 156 163 164 166 167 170 172 173 174 176 178 179 185 186 192 194 200 207 220 226 232 237 238 245 246 251 257 259 264 268 269 277 282 283 284 290 293 294 296 297 300 302 303 304 305 311 312 313 314 316 318 320 325 326 338 339 342 346 350 358 363 364 366 368 372 377 383 392 395 396 405 406 409 412 413 419 424 425 426 434 439 441 448 449 450 451 453 455 456 461 463 466 468 469 470 475 477 483 484 488 490 494 496 497 499 503 511 514 520 a 2 8 10 11 12 14 15 23 26 40 53 56 57 58 59 60 61 62 70 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 115 119 122 126 127 130 133 137 138 142 143 146 149 151 153 154 155 156 163 164 166 167 170 172 173 174 176 178 179 185 186 192 194 200 207 220 226 232 237 238 245 246 251 257 259 264 268 269 277 282 283 284 290 293 294 296 297 300 302 303 304 305 311 312 313 314 316 318 320 325 326 338 339 342 346 350 358 363 364 366 368 372 377 383 392 395 396 405 406 409 412 413 419 424 425 426 434 439 441 448 450 451 453 455 456 461 463 466 468 469 470 475 477 483 484 488 490 494 496 497 499 503 511 514 520 a 2 8 10 11 12 14 15 23 26 40 53 56 57 58 59 60 61 62 70 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 115 119 122 126 127 130 133 138 142 143 146 149 151 153 154 155 156 163 164 166 167 170 172 173 174 176 178 179 184 185 186 192 194 200 207 220 226 232 237 238 245 246 251 257 259 264 268 269 277 282 283 284 290 293 294 296 297 300 302 303 304 305 311 312 313 314 316 318 320 325 326 338 339 342 346 350 358 363 364 366 368 372 377 383 392 395 396 405 406 409 412 413 419 424 425 426 434 439 441 448 450 451 453 455 456 461 463 466 468 469 470 475 477 483 484 488 490 494 496 497 499 503 511 514 520 a 2 8 10 11 12 14 15 23 26 40 53 56 57 58 59 60 61 62 70 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 115 119 122 126 127 130 133 138 142 143 146 149 151 153 154 155 156 164 166 167 170 172 173 174 176 178 179 184 185 186 192 194 200 207 220 226 232 237 238 245 246 251 257 259 264 268 269 277 282 283 284 290 293 294 296 297 300 302 303 304 305 311 312 313 314 316 318 320 325 326 338 339 342 346 350 358 363 364 366 368 372 377 383 392 395 396 405 406 409 412 413 419 424 425 426 434 439 441 448 450 451 453 455 456 461 463 466 468 469 470 475 477 478 483 484 488 490 494 496 497 499 503 511 514 520 a 2 8 10 11 12 14 15 23 26 40 53 56 57 58 59 60 61 62 70 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 115 119 122 126 127 130 133 138 142 143 146 149 151 153 154 155 156 164 166 167 170 172 173 174 176 178 179 184 185 186 194 200 207 218 220 226 232 237 238 245 246 251 257 259 264 268 269 277 282 283 284 290 293 294 296 297 300 302 303 304 305 311 312 313 314 316 318 320 325 326 338 339 342 346 350 358 363 364 366 368 372 377 383 392 395 396 405 406 409 412 413 419 424 425 426 434 439 441 448 450 451 453 455 456 461 463 466 468 469 470 475 477 478 483 484 488 490 494 496 497 499 503 511 514 520 a 2 8 10 11 12 14 15 23 26 40 53 56 57 58 59 60 61 62 70 71 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 115 119 122 126 127 130 133 138 142 143 146 149 151 153 154 155 156 164 166 167 170 172 173 174 176 178 179 184 185 186 194 200 207 218 220 226 232 237 238 245 246 251 257 259 264 268 269 277 282 283 284 290 293 294 296 297 300 302 303 304 305 311 312 313 314 316 318 320 325 326 338 339 342 346 350 358 363 364 366 368 372 377 383 392 395 396 405 406 409 412 413 419 424 425 426 434 439 441 448 450 451 453 455 456 461 463 466 468 469 470 475 477 478 483 484 488 490 494 496 497 499 503 511 520 a 2 8 10 11 12 14 15 23 26 40 53 56 57 58 59 60 61 62 70 71 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 115 119 122 126 127 130 133 138 142 143 146 149 151 153 154 155 156 164 166 167 170 172 173 174 176 178 179 184 185 186 194 200 207 218 220 226 232 237 238 245 246 251 257 259 264 268 269 277 282 283 284 290 293 294 296 297 300 302 303 304 305 311 312 313 314 316 318 320 325 326 338 339 342 346 350 358 363 364 366 368 372 377 383 392 395 396 405 406 409 412 413 419 424 425 426 434 439 441 448 450 451 453 455 456 461 463 466 468 469 470 475 477 478 483 484 488 494 496 497 499 503 510 511 520 a 2 8 10 11 12 14 15 23 26 40 53 56 57 58 59 60 61 62 70 71 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 115 119 122 126 127 130 133 138 142 143 146 149 151 153 154 155 156 164 166 167 170 172 173 174 176 178 179 184 185 186 194 200 207 218 220 226 232 237 238 245 246 251 257 259 264 268 269 277 282 283 284 290 293 294 296 297 300 302 303 304 305 311 312 313 314 316 318 320 325 326 338 339 342 346 350 358 363 364 366 368 372 377 383 392 395 396 405 406 409 412 413 419 424 425 426 434 439 441 448 450 451 453 455 461 463 466 468 469 470 475 477 478 483 484 488 492 494 496 497 499 503 510 511 520 a 2 8 10 11 12 14 15 23 26 40 53 56 57 58 59 60 61 62 70 71 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 115 119 122 126 127 130 133 138 142 143 146 149 151 153 154 155 156 164 166 167 170 172 173 174 176 178 179 184 185 186 194 200 207 218 220 226 232 237 238 245 246 251 259 264 268 269 277 282 283 284 290 292 293 294 296 297 300 302 303 304 305 311 312 313 314 316 318 320 325 326 338 339 342 346 350 358 363 364 366 368 372 377 383 392 395 396 405 406 409 412 413 419 424 425 426 434 439 441 448 450 451 453 455 461 463 466 468 469 470 475 477 478 483 484 488 492 494 496 497 499 503 510 511 520 a 2 8 10 11 12 14 15 23 26 40 53 56 57 58 59 60 61 62 70 71 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 115 119 122 126 127 130 133 138 142 143 146 149 151 153 154 155 156 164 166 167 170 172 173 174 176 178 179 184 185 186 194 200 207 215 218 220 226 232 237 238 245 246 251 259 264 268 269 277 282 283 284 290 292 293 294 296 297 300 302 303 304 305 311 312 313 314 316 318 320 325 326 338 339 342 346 358 363 364 366 368 372 377 383 392 395 396 405 406 409 412 413 419 424 425 426 434 439 441 448 450 451 453 455 461 463 466 468 469 470 475 477 478 483 484 488 492 494 496 497 499 503 510 511 520 a 2 8 10 11 12 14 15 23 26 40 53 56 57 58 59 60 61 62 70 71 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 115 119 122 126 127 130 133 138 142 143 146 149 151 153 154 155 156 164 166 167 170 172 173 174 176 178 179 184 185 186 194 200 207 215 218 220 226 232 238 245 246 251 259 264 268 269 277 282 283 284 290 292 293 294 296 297 300 302 303 304 305 311 312 313 314 316 318 320 325 326 338 339 342 346 358 363 364 366 368 372 376 377 383 392 395 396 405 406 409 412 413 419 424 425 426 434 439 441 448 450 451 453 455 461 463 466 468 469 470 475 477 478 483 484 488 492 494 496 497 499 503 510 511 520 a 2 8 10 11 12 14 15 23 26 40 53 56 57 58 59 60 61 62 70 71 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 115 119 122 126 127 130 133 138 142 143 146 149 151 153 154 155 156 164 166 167 170 172 173 174 176 178 179 184 185 186 194 200 207 215 218 226 232 238 245 246 251 259 264 268 269 277 282 283 284 290 292 293 294 296 297 300 302 303 304 305 311 312 313 314 316 318 320 325 326 338 339 342 346 358 363 364 366 368 372 376 377 383 392 393 395 396 405 406 409 412 413 419 424 425 426 434 439 441 448 450 451 453 455 461 463 466 468 469 470 475 477 478 483 484 488 492 494 496 497 499 503 510 511 520 a 2 8 10 11 12 14 15 23 26 40 53 56 57 58 59 60 61 62 70 71 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 115 119 122 126 127 130 133 138 142 143 146 149 151 153 154 155 156 158 164 166 167 170 172 173 174 176 178 179 184 185 186 194 200 207 215 218 226 232 238 245 246 251 259 264 268 269 277 282 283 284 290 292 293 294 296 297 300 302 303 304 305 311 312 313 314 316 318 320 325 338 339 342 346 358 363 364 366 368 372 376 377 383 392 393 395 396 405 406 409 412 413 419 424 425 426 434 439 441 448 450 451 453 455 461 463 466 468 469 470 475 477 478 483 484 488 492 494 496 497 499 503 510 511 520 a 2 8 10 11 12 14 15 23 26 29 40 53 56 57 58 59 60 61 62 70 71 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 115 119 122 126 127 130 133 138 142 143 146 149 151 153 154 155 156 158 164 166 167 170 172 173 174 176 178 179 184 185 186 194 200 207 215 218 226 232 238 245 246 251 259 264 268 269 277 282 283 284 290 292 293 294 296 297 300 302 303 304 305 311 312 313 316 318 320 325 338 339 342 346 358 363 364 366 368 372 376 377 383 392 393 395 396 405 406 409 412 413 419 424 425 426 434 439 441 448 450 451 453 455 461 463 466 468 469 470 475 477 478 483 484 488 492 494 496 497 499 503 510 511 520 a 2 8 10 11 12 14 15 23 26 29 40 53 56 57 58 59 60 61 62 70 71 73 74 75 77 78 86 88 89 90 95 96 99 102 103 105 106 115 119 122 126 127 130 133 138 142 143 146 149 151 153 154 155 156 158 164 166 167 170 172 173 174 176 178 179 184 185 186 194 200 207 215 218 226 232 238 245 246 251 259 264 268 269 277 282 283 284 290 292 293 294 296 297 298 300 302 303 304 305 311 312 313 316 318 320 325 338 339 342 346 358 363 364 366 368 372 376 377 383 392 393 395 396 405 406 409 412 413 419 424 425 426 434 439 441 448 450 451 453 455 461 463 466 468 469 470 475 477 478 483 488 492 494 496 497 499 503 510 511 520 a 2 8 10 11 12 14 15 23 26 29 40 53 56 57 58 59 60 61 62 70 71 73 74 75 77 78 86 88 89 90 93 95 96 99 102 103 105 106 115 119 122 126 127 130 133 138 142 143 146 149 151 153 154 155 156 158 164 166 167 170 172 173 176 178 179 184 185 186 194 200 207 215 218 226 232 238 245 246 251 259 264 268 269 277 282 283 284 290 292 293 294 296 297 298 300 302 303 304 305 311 312 313 316 318 320 325 338 339 342 346 358 363 364 366 368 372 376 377 383 392 393 395 396 405 406 409 412 413 419 424 425 426 434 439 441 448 450 451 453 455 461 463 466 468 469 470 475 477 478 483 488 492 494 496 497 499 503 510 511 520 a 2 8 10 11 12 14 15 23 26 29 40 53 56 57 58 59 60 61 62 70 71 73 74 75 77 78 86 88 89 90 93 95 96 99 102 103 105 106 115 119 122 126 127 130 133 138 142 143 146 149 151 153 154 155 156 158 164 166 167 170 172 173 176 178 179 184 185 186 194 200 207 215 218 226 232 238 245 246 251 259 264 268 269 276 277 282 283 284 290 292 293 294 296 297 298 300 302 303 304 305 311 312 313 316 318 320 325 338 339 342 346 358 363 364 366 368 372 376 377 383 392 393 395 396 405 406 409 412 413 419 424 425 426 434 439 441 448 450 451 453 455 461 463 466 468 470 475 477 478 483 488 492 494 496 497 499 503 510 511 520 a 2 8 10 11 12 14 15 23 26 29 40 53 56 57 58 59 60 61 62 70 71 73 74 75 77 78 86 88 89 90 93 95 96 99 102 103 105 106 115 119 122 126 127 130 133 138 142 143 146 149 151 153 154 155 156 158 164 166 167 170 172 173 176 178 179 184 185 186 194 200 207 215 218 226 232 238 245 246 259 264 268 269 276 277 282 283 284 290 292 293 294 296 297 298 300 302 303 304 305 311 312 313 316 318 320 325 338 339 342 346 358 363 364 366 368 372 376 377 383 392 393 395 396 405 406 409 412 413 419 421 424 425 426 434 439 441 448 450 451 453 455 461 463 466 468 470 475 477 478 483 488 492 494 496 497 499 503 510 511 520 a 2 8 10 11 12 14 15 23 26 29 40 53 56 57 58 59 60 61 62 70 71 73 74 75 77 78 86 88 89 90 93 95 96 99 102 103 105 106 115 119 122 126 127 130 133 138 142 143 146 149 151 153 154 155 156 158 164 166 167 170 172 173 176 178 179 184 185 186 200 207 215 218 226 232 238 245 246 259 264 268 269 276 277 282 283 284 290 292 293 294 296 297 298 300 302 303 304 305 311 312 313 316 318 320 325 338 339 342 346 358 363 364 366 368 372 376 377 383 392 393 395 396 405 406 409 412 413 419 421 424 425 426 434 439 441 448 450 451 453 455 461 463 466 468 470 475 477 478 479 483 488 492 494 496 497 499 503 510 511 520 a 2 8 10 11 12 14 15 23 26 29 40 53 56 57 58 59 60 61 62 70 71 73 74 75 77 78 86 88 89 90 93 95 96 99 102 103 105 106 115 119 122 126 127 130 133 138 142 143 146 149 151 153 154 155 156 158 164 166 167 170 172 173 176 178 179 184 185 200 207 215 218 226 232 238 245 246 259 264 268 269 276 277 282 283 284 290 292 293 294 296 297 298 300 302 303 304 305 311 312 313 316 318 320 325 338 339 342 346 358 363 364 366 368 372 376 377 383 392 393 395 396 405 406 409 412 413 419 421 424 425 426 434 439 441 445 448 450 451 453 455 461 463 466 468 470 475 477 478 479 483 488 492 494 496 497 499 503 510 511 520 a 2 8 10 11 12 14 15 23 26 29 40 53 56 57 58 59 60 61 62 70 71 73 74 75 77 78 86 88 89 90 93 95 96 99 102 103 105 106 115 119 122 126 127 130 131 133 138 142 143 146 149 151 153 154 155 156 158 164 166 167 170 172 173 176 178 179 184 185 200 207 215 218 226 232 238 245 246 259 264 268 269 276 277 282 283 284 290 292 293 294 296 297 298 300 302 303 304 305 311 312 313 316 318 320 325 339 342 346 358 363 364 366 368 372 376 377 383 392 393 395 396 405 406 409 412 413 419 421 424 425 426 434 439 441 445 448 450 451 453 455 461 463 466 468 470 475 477 478 479 483 488 492 494 496 497 499 503 510 511 520 a 2 8 10 11 12 14 15 23 26 29 40 53 56 57 58 59 60 61 62 70 71 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 115 119 122 126 127 130 131 133 138 142 143 146 149 151 153 154 155 156 158 164 166 167 170 172 173 176 178 179 184 185 200 207 215 218 226 232 238 245 246 259 264 268 269 276 277 282 283 284 290 292 293 294 296 297 298 300 302 303 304 305 307 311 312 313 316 318 320 325 339 342 346 358 363 364 366 368 372 376 377 383 392 393 395 396 405 406 409 412 413 419 421 424 425 426 434 439 441 445 448 450 451 453 455 461 463 466 468 470 475 477 478 479 483 488 492 494 496 497 499 503 510 511 520 a 2 8 10 11 12 14 15 23 26 29 40 53 56 57 58 59 60 61 62 70 71 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 111 115 119 122 126 127 130 131 133 138 142 143 146 149 151 153 154 155 156 158 164 166 167 170 172 173 176 178 179 184 185 200 207 215 218 226 232 238 245 246 259 264 268 269 276 277 282 283 284 290 292 293 294 296 297 298 300 302 303 304 305 307 311 312 313 316 318 320 325 339 342 346 358 363 364 366 368 372 376 377 383 392 393 395 396 405 406 409 412 413 419 421 424 425 426 434 439 441 445 448 450 451 453 461 463 466 468 470 475 477 478 479 483 488 492 494 496 497 499 503 510 511 520 a 2 8 10 11 12 14 15 23 26 29 40 53 56 57 58 59 60 61 62 70 71 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 111 115 119 122 126 127 130 131 133 138 142 143 146 149 151 153 154 155 156 158 164 166 167 170 172 173 176 178 179 184 185 200 207 215 218 226 232 238 245 246 259 264 268 269 276 277 282 283 284 290 292 293 294 296 297 298 302 303 304 305 307 311 312 313 316 318 320 325 339 342 346 358 363 364 366 368 372 376 377 383 392 393 395 396 405 406 409 412 413 419 421 424 425 426 434 439 441 445 448 450 451 453 461 462 463 466 468 470 475 477 478 479 483 488 492 494 496 497 499 503 510 511 520 a 2 8 10 11 12 14 15 23 26 29 40 53 56 57 58 59 60 61 62 70 71 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 111 115 119 122 126 127 130 131 133 138 142 143 146 149 153 154 155 156 158 164 166 167 170 172 173 176 178 179 184 185 200 207 215 218 226 232 238 245 246 259 264 268 269 276 277 282 283 284 290 291 292 293 294 296 297 298 302 303 304 305 307 311 312 313 316 318 320 325 339 342 346 358 363 364 366 368 372 376 377 383 392 393 395 396 405 406 409 412 413 419 421 424 425 426 434 439 441 445 448 450 451 453 461 462 463 466 468 470 475 477 478 479 483 488 492 494 496 497 499 503 510 511 520 a 2 8 10 11 12 14 15 23 26 29 40 53 56 57 58 59 60 61 62 70 71 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 111 115 119 122 126 127 130 131 133 135 142 143 146 149 153 154 155 156 158 164 166 167 170 172 173 176 178 179 184 185 200 207 215 218 226 232 238 245 246 259 264 268 269 276 277 282 283 284 290 291 292 293 294 296 297 298 302 303 304 305 307 311 312 313 316 318 320 325 339 342 346 358 363 364 366 368 372 376 377 383 392 393 395 396 405 406 409 412 413 419 421 424 425 426 434 439 441 445 448 450 451 453 461 462 463 466 468 470 475 477 478 479 483 488 492 494 496 497 499 503 510 511 520 a 2 8 10 11 12 14 15 23 26 29 40 53 56 57 58 59 60 61 62 70 71 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 111 115 119 122 126 130 131 133 135 142 143 146 149 153 154 155 156 158 164 166 167 170 172 173 176 178 179 184 185 200 207 212 215 218 226 232 238 245 246 259 264 268 269 276 277 282 283 284 290 291 292 293 294 296 297 298 302 303 304 305 307 311 312 313 316 318 320 325 339 342 346 358 363 364 366 368 372 376 377 383 392 393 395 396 405 406 409 412 413 419 421 424 425 426 434 439 441 445 448 450 451 453 461 462 463 466 468 470 475 477 478 479 483 488 492 494 496 497 499 503 510 511 520 a 2 8 10 11 12 14 15 23 26 29 40 53 56 57 58 59 60 61 62 70 71 73 74 75 78 86 88 89 90 93 95 96 99 102 103 105 106 111 115 119 122 126 129 130 131 133 135 142 143 146 149 153 154 155 156 158 164 166 167 170 172 173 176 178 179 184 185 200 207 212 215 218 226 232 238 245 246 259 264 268 269 276 277 282 283 284 290 291 292 293 294 296 297 298 302 303 304 305 307 311 312 313 316 318 320 325 339 342 346 358 363 364 366 368 372 376 377 383 392 393 395 396 405 406 409 412 413 419 421 424 425 426 434 439 441 445 448 451 453 461 462 463 466 468 470 475 477 478 479 483 488 492 494 496 497 499 503 510 511 520 c Step: 128 Command being timed: "python3 run_3.py --existent /benchmark/random_instance/random_instance040_graph003.col /benchmark/random_instance/random_instance040_graph003_01.dat" User time (seconds): 67.56 System time (seconds): 0.17 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:07.75 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): 370564 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 128028 Voluntary context switches: 23 Involuntary context switches: 286 Swaps: 0 File system inputs: 0 File system outputs: 1024 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 10:39:44 2023]