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