#BEGIN: [Tue Sep 26 02:39:48 2023] #HOST: s03 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance040_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance040_graph005_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na /benchmark/random_instance/random_instance040_graph005.col /benchmark/random_instance/random_instance040_graph005_01.dat c /benchmark/random_instance/random_instance040_graph005.col c /benchmark/random_instance/random_instance040_graph005_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 339 494 377 136 176 295 73 128 426 331 109 305 177 428 115 195 298 89 84 114 306 144 141 360 143 146 168 12 282 1 229 46 263 333 394 329 301 126 406 271 287 356 182 328 34 83 420 104 134 507 392 140 22 413 511 267 124 395 184 519 65 231 35 94 93 74 317 101 190 472 180 447 284 513 164 91 75 321 67 25 318 340 60 367 119 185 441 446 382 315 162 211 480 223 15 433 467 212 380 350 401 291 288 125 112 36 354 473 138 31 78 496 416 505 135 320 171 379 375 281 6 196 30 117 165 50 172 244 232 294 269 199 17 381 501 123 121 44 103 45 462 440 481 489 227 28 296 24 409 240 365 154 157 225 105 80 336 268 226 173 344 402 376 149 t 80 353 67 432 309 238 158 237 500 482 121 458 236 372 75 210 201 252 448 78 269 390 13 397 385 68 335 468 371 217 186 245 478 308 81 214 187 277 110 6 514 290 119 66 41 143 90 211 45 53 400 293 64 15 398 292 100 516 320 324 470 515 357 318 118 368 227 488 205 85 379 129 96 302 388 428 146 507 142 328 274 191 91 415 123 376 505 232 383 473 416 60 509 226 333 138 467 197 486 474 65 225 367 256 102 462 101 72 30 178 469 346 250 233 481 240 365 89 231 216 411 471 173 157 177 171 364 122 88 194 195 370 348 36 117 204 12 362 46 393 244 19 350 179 445 407 391 124 107 165 284 275 404 472 218 401 27 180 331 336 426 306 395 8 a YES a 1 6 12 15 17 22 24 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 80 83 84 89 91 93 94 101 103 104 105 109 112 114 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 154 157 162 164 165 168 171 172 173 176 177 180 182 184 185 190 195 196 199 211 212 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 413 416 420 426 428 433 440 441 446 447 462 467 472 473 480 481 489 494 496 501 505 507 511 513 519 a 1 6 12 15 17 22 24 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 80 83 84 89 91 93 94 101 103 104 105 109 112 114 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 154 157 162 164 165 168 171 172 173 176 177 180 182 184 185 190 195 196 199 211 212 220 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 413 416 420 428 433 440 441 446 447 462 467 472 473 480 481 489 494 496 501 505 507 511 513 519 a 1 6 12 15 17 22 24 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 80 83 84 89 91 93 94 101 103 104 105 109 112 114 115 117 119 123 124 125 126 128 134 135 136 138 140 141 143 144 146 147 149 154 157 162 164 165 168 171 172 173 176 177 180 182 184 185 190 195 196 199 211 212 220 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 413 416 420 428 433 440 441 446 447 462 467 472 473 480 481 489 494 496 501 505 507 511 513 519 a 1 6 12 15 17 22 24 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 80 83 84 89 91 93 94 101 103 104 105 109 112 114 115 117 119 120 123 124 125 126 128 134 135 136 138 140 141 143 144 146 147 149 154 157 162 164 165 168 171 172 173 176 177 180 182 184 185 190 195 196 199 211 212 220 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 284 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 413 416 420 428 433 440 441 446 447 462 467 472 473 480 481 489 494 496 501 505 507 511 513 519 a 1 6 12 15 17 22 24 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 80 83 84 89 91 93 94 100 101 103 104 105 109 112 114 115 117 119 120 123 124 125 126 128 134 135 136 138 140 141 143 144 146 147 149 154 157 162 164 165 168 171 172 173 176 177 180 182 184 185 190 195 196 199 211 212 220 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 284 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 350 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 413 416 420 428 433 440 441 446 447 462 467 472 473 480 481 489 494 496 501 505 507 511 513 519 a 1 6 12 15 17 22 24 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 80 83 84 89 91 93 94 100 101 103 104 105 109 112 114 115 117 119 120 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 154 157 162 164 165 168 171 172 173 176 177 180 182 184 185 190 195 196 199 211 212 220 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 284 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 350 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 413 416 420 428 433 440 441 446 447 462 467 472 473 480 481 489 494 496 501 505 507 511 513 519 a 1 6 12 15 17 22 24 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 80 83 84 89 91 93 94 100 101 103 104 105 109 112 114 115 117 119 120 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 154 157 162 164 165 168 171 172 173 176 177 180 182 184 185 190 195 196 199 211 212 220 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 284 287 288 291 294 295 296 298 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 350 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 413 416 420 428 433 440 441 446 447 456 462 467 472 473 480 481 489 494 496 501 505 507 511 513 519 a 1 6 12 15 17 22 24 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 80 83 84 89 91 93 94 101 103 104 105 109 112 114 115 117 119 120 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 154 157 162 164 165 168 171 172 173 176 177 180 182 184 185 190 195 196 199 211 212 220 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 284 287 288 291 294 295 296 298 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 413 416 420 428 433 440 441 446 447 456 462 467 472 473 480 481 489 494 496 501 505 507 511 513 519 a 1 6 12 15 17 22 24 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 80 83 84 89 91 93 94 101 103 104 105 109 112 114 115 117 119 120 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 154 157 162 164 165 168 171 172 173 176 177 180 182 184 185 190 195 196 199 211 212 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 284 287 288 291 294 295 296 298 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 413 416 420 426 428 433 440 441 446 447 456 462 467 472 473 480 481 489 494 496 501 505 507 511 513 519 a 1 6 12 15 17 22 24 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 80 83 84 89 91 93 94 101 103 104 105 109 112 114 115 117 119 120 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 154 157 162 164 165 168 171 172 173 176 177 180 182 184 185 190 195 196 199 202 211 212 223 225 226 227 229 231 232 240 244 263 267 268 271 281 284 287 288 291 294 295 296 298 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 413 416 420 426 428 433 440 441 446 447 456 462 467 472 473 480 481 489 494 496 501 505 507 511 513 519 a 1 6 12 15 17 22 24 25 28 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 80 83 84 89 91 93 94 101 103 104 105 109 112 114 115 117 119 120 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 154 157 162 164 165 168 171 172 173 176 177 180 182 184 185 190 195 196 199 202 211 212 223 225 226 227 229 231 232 240 244 263 267 268 271 281 284 287 288 291 294 295 296 298 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 413 416 420 426 428 433 434 440 441 446 447 456 462 467 472 473 480 481 489 494 496 501 505 507 511 513 519 a 1 6 12 15 17 22 24 25 28 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 80 83 84 89 91 93 94 101 103 104 105 109 112 114 115 117 119 120 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 154 157 162 164 165 168 171 172 173 176 177 180 182 184 185 190 195 196 199 202 211 212 223 225 226 227 229 231 232 240 244 263 267 268 271 281 284 287 288 291 294 295 296 298 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 346 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 413 416 420 426 428 433 434 440 441 446 447 456 462 467 472 473 480 481 489 494 496 501 505 507 511 513 a 1 6 12 15 17 22 24 25 28 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 80 83 84 89 91 93 94 101 103 104 105 109 112 114 115 117 119 120 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 154 157 162 164 165 168 171 172 173 176 177 178 180 182 184 185 190 195 196 199 202 211 212 223 225 226 227 229 231 232 240 244 263 267 268 271 281 284 287 288 291 294 295 296 298 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 346 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 413 416 420 426 428 433 434 440 441 446 447 456 462 467 472 473 480 481 489 494 496 501 505 507 511 a 1 6 12 15 17 22 24 25 28 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 80 84 89 91 93 94 101 103 104 105 109 112 114 115 117 119 120 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 154 157 162 164 165 168 171 172 173 176 177 178 180 182 184 185 190 195 196 199 202 211 212 223 225 226 227 229 231 232 240 244 263 267 268 271 281 284 287 288 291 294 295 296 298 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 346 350 354 356 360 365 367 375 376 377 379 380 381 382 391 392 394 395 401 402 406 409 413 416 420 426 428 433 434 440 441 446 447 456 462 467 472 473 480 481 489 494 496 501 505 507 511 a 1 6 12 15 17 22 24 25 28 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 80 84 89 91 93 94 101 103 104 105 109 112 114 115 117 119 120 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 154 157 162 164 165 168 171 172 173 176 177 178 180 182 184 185 190 195 196 199 202 211 212 223 225 226 227 229 231 232 240 244 263 267 268 271 281 284 287 288 291 294 295 296 298 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 346 350 354 356 360 365 367 375 376 377 379 380 381 382 391 392 394 395 401 402 406 409 413 416 420 426 428 433 434 440 441 446 447 456 462 472 473 480 481 489 494 496 501 505 507 510 511 a 1 6 12 15 17 22 24 25 28 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 80 83 84 89 91 93 94 101 103 104 105 109 112 114 115 117 119 120 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 154 157 162 164 165 168 171 172 173 176 177 178 180 182 184 185 190 195 196 199 202 211 212 223 225 226 227 229 231 232 240 244 263 267 268 271 281 284 287 288 291 294 295 296 298 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 346 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 413 416 420 426 428 433 434 440 441 446 447 456 462 472 473 480 481 489 494 496 501 505 507 510 511 a 1 6 12 15 17 22 24 25 28 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 80 83 84 89 91 93 94 101 103 104 105 109 112 114 115 117 119 120 121 123 124 125 126 128 134 135 136 140 141 143 144 146 149 154 157 162 164 165 168 171 172 173 176 177 178 180 182 184 185 190 195 196 199 202 211 212 223 225 226 227 229 231 232 240 244 263 267 268 271 281 284 287 288 291 294 295 296 298 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 346 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 413 416 420 426 428 433 434 440 441 446 447 456 457 462 472 473 480 481 489 494 496 501 505 507 510 511 a 1 6 12 15 17 22 24 25 28 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 80 83 84 89 91 93 94 101 103 104 105 109 112 114 115 117 119 120 121 123 124 125 126 128 134 135 136 140 141 143 144 146 149 154 162 164 165 168 171 172 173 176 177 178 180 182 184 185 190 195 196 199 202 211 212 223 225 226 227 229 231 232 240 244 263 267 268 271 281 284 287 288 291 294 295 296 298 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 346 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 413 416 420 426 428 433 434 440 441 446 447 456 457 462 466 472 473 480 481 489 494 496 501 505 507 510 511 a 1 6 12 15 17 22 24 25 28 31 34 35 36 44 45 46 50 59 60 65 67 73 74 75 78 80 83 84 89 91 93 94 101 103 104 105 109 112 114 115 117 119 120 121 123 124 125 126 128 134 135 136 140 141 143 144 146 149 154 162 164 165 168 171 172 173 176 177 178 180 182 184 185 190 195 196 199 202 211 212 223 225 226 227 229 231 232 240 244 263 268 271 281 284 287 288 291 294 295 296 298 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 346 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 413 416 420 426 428 433 434 440 441 446 447 456 457 462 466 472 473 480 481 489 494 496 501 505 507 510 511 a 1 6 12 15 17 22 24 25 28 31 34 35 36 44 45 46 50 59 60 65 67 73 74 75 78 80 83 84 89 91 93 94 101 103 104 105 109 112 114 115 117 119 120 121 123 124 125 126 128 134 135 136 140 141 143 144 146 149 154 162 164 165 168 171 172 173 176 177 178 180 182 184 185 190 195 196 199 202 211 212 223 225 226 227 229 231 232 240 244 263 268 270 271 281 284 287 288 291 294 295 296 298 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 346 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 416 420 426 428 433 434 440 441 446 447 456 457 462 466 472 473 480 481 489 494 496 501 505 507 510 511 a 1 6 12 15 17 21 22 25 28 31 34 35 36 44 45 46 50 59 60 65 67 73 74 75 78 80 83 84 89 91 93 94 101 103 104 105 109 112 114 115 117 119 120 121 123 124 125 126 128 134 135 136 140 141 143 144 146 149 154 162 164 165 168 171 172 173 176 177 178 180 182 184 185 190 195 196 199 202 211 212 223 225 226 227 229 231 232 240 244 263 268 270 271 281 284 287 288 291 294 295 296 298 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 346 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 416 420 426 428 433 434 440 441 446 447 456 457 462 466 472 473 480 481 489 494 496 501 505 507 510 511 a 1 6 12 15 17 21 22 25 28 31 35 36 44 45 46 50 59 60 65 67 73 74 75 78 80 83 84 89 91 93 94 101 103 104 105 109 112 114 115 117 119 120 121 123 124 125 126 128 134 135 136 140 141 143 144 146 149 154 162 164 165 168 171 172 173 176 177 178 180 182 184 185 187 190 195 196 199 202 211 212 223 225 226 227 229 231 232 240 244 263 268 270 271 281 284 287 288 291 294 295 296 298 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 346 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 416 420 426 428 433 434 440 441 446 447 456 457 462 466 472 473 480 481 489 494 496 501 505 507 510 511 a 1 6 12 15 17 21 22 25 28 31 35 36 44 45 46 50 59 60 65 67 73 74 75 78 80 84 89 91 93 94 101 103 104 105 109 112 114 115 117 119 120 121 123 124 125 126 128 134 135 136 140 141 143 144 146 149 154 162 164 165 168 171 172 173 176 177 178 180 182 184 185 187 190 195 196 199 202 211 212 223 225 226 227 229 231 232 240 244 263 268 270 271 277 281 284 287 288 291 294 295 296 298 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 346 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 416 420 426 428 433 434 440 441 446 447 456 457 462 466 472 473 480 481 489 494 496 501 505 507 510 511 a 1 6 12 15 17 21 22 25 28 31 35 36 44 45 46 50 59 60 65 67 73 74 75 78 80 84 89 91 93 94 101 103 104 105 109 112 114 115 117 119 120 121 123 124 125 126 128 134 135 136 140 141 143 144 146 149 154 162 164 165 168 171 172 173 176 177 178 180 182 184 185 187 190 195 196 199 202 211 212 223 225 226 227 229 231 232 240 244 258 263 268 270 271 277 281 284 287 288 291 294 295 296 298 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 416 420 426 428 433 434 440 441 446 447 456 457 462 466 472 473 480 481 489 494 496 501 505 507 510 511 a 1 6 12 15 17 21 22 25 28 31 35 36 44 45 46 50 59 60 65 67 73 74 75 78 80 84 89 91 93 94 101 103 104 105 109 114 115 117 119 120 121 123 124 125 126 128 134 135 136 140 141 143 144 146 149 152 154 162 164 165 168 171 172 173 176 177 178 180 182 184 185 187 190 195 196 199 202 211 212 223 225 226 227 229 231 232 240 244 258 263 268 270 271 277 281 284 287 288 291 294 295 296 298 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 416 420 426 428 433 434 440 441 446 447 456 457 462 466 472 473 480 481 489 494 496 501 505 507 510 511 a 1 6 12 15 17 21 22 25 28 31 35 36 44 45 46 50 59 60 65 67 73 74 75 76 78 80 84 89 91 93 94 101 103 104 105 109 114 115 117 119 120 121 123 124 125 126 128 134 135 136 140 141 143 144 146 149 152 154 162 164 165 168 171 172 173 176 177 178 180 182 184 185 187 190 196 199 202 211 212 223 225 226 227 229 231 232 240 244 258 263 268 270 271 277 281 284 287 288 291 294 295 296 298 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 416 420 426 428 433 434 440 441 446 447 456 457 462 466 472 473 480 481 489 494 496 501 505 507 510 511 a 1 6 12 15 17 21 22 25 28 31 35 36 44 45 46 50 59 60 65 67 73 75 76 78 80 84 89 91 93 94 101 103 104 105 109 114 115 117 119 120 121 123 124 125 126 128 134 135 136 140 141 143 144 146 149 152 154 162 164 165 168 171 172 173 176 177 178 180 182 184 185 187 190 196 199 202 211 212 223 225 226 227 229 231 232 240 244 258 263 268 270 271 277 281 284 287 288 291 294 295 296 298 305 306 315 316 317 318 320 321 328 329 331 333 336 339 340 344 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 416 420 426 428 433 434 440 441 446 447 456 457 462 466 472 473 480 481 489 494 496 501 505 507 510 511 a 1 6 12 15 17 21 22 25 28 31 35 36 44 45 46 50 59 60 65 67 73 75 76 78 80 84 89 91 93 94 101 103 104 105 109 114 115 117 119 120 121 123 124 125 126 128 134 135 136 140 141 143 144 146 149 152 154 162 164 165 168 171 172 173 176 177 178 180 182 184 185 187 190 196 199 202 211 212 223 225 226 227 229 231 232 240 244 258 263 268 270 271 277 281 284 287 288 291 294 295 296 298 305 306 315 316 317 318 320 321 328 329 331 333 336 339 340 344 350 354 356 360 365 367 375 376 377 379 380 381 382 391 392 394 395 401 402 406 409 416 420 426 428 433 434 440 441 446 447 456 457 462 466 472 473 480 481 489 494 501 505 507 510 511 a 1 6 12 15 17 21 22 25 28 31 35 36 44 45 46 50 59 60 65 67 73 75 76 78 80 84 89 90 91 93 94 101 103 104 105 109 114 115 117 119 120 121 123 124 125 126 128 134 135 136 140 141 143 144 146 149 152 154 162 164 165 168 171 172 173 176 177 178 180 182 184 185 187 190 196 199 211 212 223 225 226 227 229 231 232 240 244 258 263 268 270 271 277 281 284 287 288 291 294 295 296 298 305 306 315 316 317 318 320 321 328 329 331 333 336 339 340 344 350 354 356 360 365 367 375 376 377 379 380 381 382 391 392 394 395 401 402 406 409 416 420 426 428 433 434 440 441 446 447 456 457 462 466 472 473 480 481 489 494 501 505 507 510 511 a 1 6 12 15 17 21 22 25 28 31 35 36 44 45 46 50 59 60 65 67 73 75 76 78 80 84 89 90 91 93 94 101 103 104 105 109 114 115 117 119 120 121 123 124 125 126 128 134 135 136 140 141 143 144 146 149 152 154 162 164 165 168 171 172 173 176 177 178 180 182 184 185 187 190 196 199 211 212 223 225 226 227 229 231 232 240 244 258 263 268 269 270 271 277 281 284 287 288 291 294 295 296 298 305 306 315 316 317 318 320 321 328 329 331 333 336 339 340 344 350 354 356 360 365 367 375 376 377 379 380 381 382 391 392 394 395 401 402 406 409 416 420 426 428 433 434 440 441 446 447 456 457 462 466 472 473 480 481 489 494 505 507 510 511 a 1 6 12 15 17 21 22 25 28 31 35 36 44 45 46 50 59 60 65 67 73 75 76 78 80 84 89 90 91 93 94 101 103 104 105 109 114 115 117 119 120 121 123 124 125 126 128 134 135 136 140 141 143 144 146 149 152 154 162 164 165 168 171 172 173 176 177 178 180 182 184 185 187 190 196 199 211 212 223 225 226 227 229 231 232 236 240 244 258 263 268 269 270 271 277 281 284 287 288 291 294 295 296 298 305 306 315 316 317 318 320 321 328 329 331 333 336 339 340 344 350 354 356 360 365 367 375 376 377 379 380 381 382 391 392 394 395 401 402 406 409 416 420 426 428 433 434 441 446 447 456 457 462 466 472 473 480 481 489 494 505 507 510 511 a 1 6 12 15 17 21 22 25 28 31 35 36 44 45 46 50 59 60 65 67 73 75 76 78 80 84 89 90 91 93 94 101 103 104 105 109 114 115 117 119 120 121 123 124 125 126 128 134 135 136 140 141 143 144 146 149 152 154 162 164 165 168 171 172 173 176 177 178 180 182 184 185 187 190 196 199 211 212 223 225 226 227 229 231 232 236 240 244 258 263 268 269 270 271 277 281 284 287 288 291 294 295 296 298 305 306 315 316 317 318 320 321 328 329 331 333 336 339 340 344 350 354 356 360 365 367 375 376 377 379 380 381 382 391 392 394 395 401 402 406 409 416 420 426 428 433 441 446 447 456 457 462 466 472 473 480 481 489 494 505 507 509 510 511 a 1 6 12 15 17 19 21 22 25 28 31 35 36 44 45 46 50 59 60 65 67 73 75 76 78 80 84 89 90 91 93 94 101 103 104 105 109 114 115 117 119 120 121 123 124 125 126 128 134 135 136 140 141 143 144 146 149 152 162 164 165 168 171 172 173 176 177 178 180 182 184 185 187 190 196 199 211 212 223 225 226 227 229 231 232 236 240 244 258 263 268 269 270 271 277 281 284 287 288 291 294 295 296 298 305 306 315 316 317 318 320 321 328 329 331 333 336 339 340 344 350 354 356 360 365 367 375 376 377 379 380 381 382 391 392 394 395 401 402 406 409 416 420 426 428 433 441 446 447 456 457 462 466 472 473 480 481 489 494 505 507 509 510 511 a 1 6 12 15 17 19 21 22 25 28 31 35 36 44 45 46 50 59 60 65 67 73 75 76 78 80 84 89 90 91 93 94 101 103 104 105 109 114 115 117 119 120 121 123 124 125 126 128 134 135 136 140 141 143 144 146 149 152 162 164 165 168 171 172 173 176 177 178 180 182 184 185 187 190 196 199 201 211 212 223 225 226 227 229 231 232 236 240 244 258 263 268 269 270 271 277 281 284 287 288 291 294 295 296 298 305 306 315 316 317 318 320 321 328 329 331 333 336 339 340 344 350 354 356 360 365 367 375 376 377 379 380 381 382 391 392 394 395 401 402 406 409 416 420 426 428 433 441 446 447 456 457 462 466 472 473 480 481 489 494 505 507 509 510 a 1 6 12 15 17 19 21 22 25 28 31 35 36 44 45 46 50 59 60 65 67 73 75 76 78 80 84 88 89 90 91 93 94 101 103 104 105 109 114 115 117 119 120 121 123 124 125 126 128 134 135 136 140 141 143 144 146 149 152 162 164 165 168 171 172 173 176 177 178 180 182 184 185 187 190 196 199 201 211 212 223 225 226 227 229 231 232 236 240 244 258 263 268 269 270 271 277 281 284 287 288 291 294 295 296 298 305 306 315 316 317 318 320 321 328 329 331 333 336 339 340 344 350 356 360 365 367 375 376 377 379 380 381 382 391 392 394 395 401 402 406 409 416 420 426 428 433 441 446 447 456 457 462 466 472 473 480 481 489 494 505 507 509 510 a 1 6 12 15 17 19 21 22 25 28 31 35 36 44 45 46 50 59 60 65 67 73 75 76 78 80 84 88 89 90 91 93 94 101 103 104 105 109 114 115 117 119 120 121 123 124 125 128 134 135 136 140 141 143 144 146 149 152 162 164 165 168 171 172 173 176 177 178 180 182 184 185 187 190 196 199 201 211 212 218 223 225 226 227 229 231 232 236 240 244 258 263 268 269 270 271 277 281 284 287 288 291 294 295 296 298 305 306 315 316 317 318 320 321 328 329 331 333 336 339 340 344 350 356 360 365 367 375 376 377 379 380 381 382 391 392 394 395 401 402 406 409 416 420 426 428 433 441 446 447 456 457 462 466 472 473 480 481 489 494 505 507 509 510 a 1 6 12 15 17 19 21 22 25 28 31 35 36 44 45 46 50 59 60 65 67 73 75 76 78 80 84 88 89 90 91 93 94 101 103 104 105 109 114 115 117 119 120 121 123 124 125 128 134 135 136 140 141 143 144 146 149 152 162 164 165 168 171 172 173 176 177 178 180 182 184 185 187 190 196 199 201 211 212 218 223 225 226 227 229 231 232 236 240 244 258 263 268 269 270 271 277 281 284 287 288 291 294 295 296 305 306 315 316 317 318 320 321 328 329 331 333 336 339 340 344 350 356 360 362 365 367 375 376 377 379 380 381 382 391 392 394 395 401 402 406 409 416 420 426 428 433 441 446 447 456 457 462 466 472 473 480 481 489 494 505 507 509 510 a 1 6 12 15 17 19 21 22 25 28 31 35 36 44 45 46 50 59 60 65 67 73 75 76 78 80 84 88 89 90 91 93 94 101 103 104 105 109 114 115 117 119 120 121 123 124 125 128 134 135 136 140 141 143 144 146 149 152 162 164 165 168 171 172 173 176 177 178 180 182 184 185 187 190 196 199 201 211 212 218 223 225 226 227 229 231 232 236 240 244 258 263 268 269 270 271 277 281 284 287 288 291 294 295 296 305 306 315 316 317 318 320 321 328 329 331 333 336 339 340 344 350 356 360 362 365 367 375 376 377 379 380 382 391 392 394 395 401 402 406 409 416 420 426 428 433 441 446 447 456 457 462 466 472 473 480 481 489 494 500 505 507 509 510 a 1 6 12 15 17 19 21 22 25 28 31 35 36 44 45 46 50 59 60 65 67 73 75 76 78 80 84 88 89 90 91 93 94 101 103 104 105 109 114 115 117 119 120 121 123 124 125 128 134 135 136 140 141 143 144 146 149 152 162 164 165 168 171 172 173 176 177 178 180 182 184 185 187 190 196 199 201 211 212 214 218 223 225 226 227 229 231 232 236 240 244 258 263 268 269 270 271 277 281 284 287 288 291 294 295 296 305 306 315 316 317 318 320 321 328 329 331 333 336 339 340 344 350 356 360 362 365 367 375 376 377 379 382 391 392 394 395 401 402 406 409 416 420 426 428 433 441 446 447 456 457 462 466 472 473 480 481 489 494 500 505 507 509 510 a 1 6 12 15 17 19 21 22 25 31 35 36 44 45 46 50 59 60 65 67 73 75 76 78 80 84 88 89 90 91 93 94 101 103 104 105 109 114 115 117 119 120 121 123 124 125 128 134 135 136 140 141 143 144 146 149 152 162 164 165 168 171 172 173 176 177 178 180 182 184 185 187 190 196 199 201 211 212 214 218 223 225 226 227 229 231 232 236 240 244 258 263 268 269 270 271 277 281 284 287 288 291 294 295 296 305 306 315 316 317 318 320 321 328 329 331 333 336 339 340 344 350 356 360 362 365 367 375 376 377 379 382 391 392 394 395 401 402 406 409 416 420 426 428 433 441 446 447 456 457 462 466 472 473 478 480 481 489 494 500 505 507 509 510 a 1 6 12 15 17 19 21 22 25 31 35 36 44 45 46 50 59 60 65 67 73 75 76 78 80 84 88 89 90 91 93 101 103 104 105 109 114 115 117 119 120 121 123 124 125 128 134 135 136 140 141 143 144 146 149 152 162 164 165 168 171 172 173 176 177 178 180 182 184 185 187 190 196 199 201 211 212 214 218 223 225 226 227 229 231 232 236 240 244 258 263 268 269 270 271 277 281 284 287 288 291 294 295 296 305 306 315 316 317 318 320 321 328 329 331 333 336 339 340 344 350 356 360 362 365 367 375 376 377 379 382 391 392 394 395 401 402 406 409 416 420 426 428 433 441 446 447 456 457 462 466 472 473 478 480 481 482 489 494 500 505 507 509 510 a 1 6 12 15 17 19 21 22 25 31 35 36 44 45 46 50 59 60 65 67 73 75 76 78 80 84 88 89 90 91 93 101 103 104 105 109 114 115 117 119 120 121 123 124 125 128 134 135 136 140 141 143 144 146 149 152 162 164 165 168 171 172 173 176 177 178 180 182 184 185 187 190 196 199 201 211 212 214 217 218 223 225 226 227 229 231 232 236 240 244 258 263 268 269 270 271 277 281 284 287 288 291 294 295 296 305 306 315 316 317 318 320 321 328 329 331 333 336 339 340 344 350 356 362 365 367 375 376 377 379 382 391 392 394 395 401 402 406 409 416 420 426 428 433 441 446 447 456 457 462 466 472 473 478 480 481 482 489 494 500 505 507 509 510 a 1 6 12 15 17 19 21 22 25 31 35 36 44 45 46 50 59 60 65 67 73 75 76 78 80 84 88 89 90 91 93 101 103 104 105 109 114 115 117 119 120 121 123 124 125 128 134 135 136 140 141 143 144 146 149 152 162 164 165 168 171 172 173 176 177 178 180 182 184 187 190 196 199 201 211 212 214 217 218 223 225 226 227 229 231 232 236 240 244 258 263 268 269 270 271 277 281 284 287 288 291 294 295 296 305 306 315 316 317 318 320 321 328 329 331 333 336 339 340 344 350 356 362 365 367 375 376 377 379 382 391 392 394 395 401 402 406 409 416 420 426 428 433 441 446 447 456 457 458 462 466 472 473 478 480 481 482 489 494 500 505 507 509 510 a 1 6 12 15 17 19 21 22 25 31 35 36 44 45 46 50 59 60 65 67 73 75 76 78 80 84 85 88 89 90 91 93 101 103 104 105 109 114 115 117 119 120 121 123 124 125 128 134 135 136 140 141 143 144 146 149 152 162 164 165 168 171 173 176 177 178 180 182 184 187 190 196 199 201 211 212 214 217 218 223 225 226 227 229 231 232 236 240 244 258 263 268 269 270 271 277 281 284 287 288 291 294 295 296 305 306 315 316 317 318 320 321 328 329 331 333 336 339 340 344 350 356 362 365 367 375 376 377 379 382 391 392 394 395 401 402 406 409 416 420 426 428 433 441 446 447 456 457 458 462 466 472 473 478 480 481 482 489 494 500 505 507 509 510 a 1 6 12 15 17 19 21 22 25 31 35 36 44 45 46 50 59 60 65 67 73 75 76 78 80 84 85 88 89 90 91 93 101 103 104 105 109 114 115 117 119 120 121 123 124 125 134 135 136 140 141 143 144 146 149 152 162 164 165 168 171 173 176 177 178 180 182 184 187 190 196 199 201 211 212 214 217 218 223 225 226 227 229 231 232 236 240 244 258 263 268 269 270 271 277 281 284 287 288 291 294 295 296 305 306 315 316 317 318 320 321 328 329 331 333 336 339 340 344 350 356 362 365 367 375 376 377 379 382 391 392 394 395 401 402 406 409 416 420 426 428 433 441 445 446 447 456 457 458 462 466 472 473 478 480 481 482 489 494 500 505 507 509 510 a 1 6 12 15 17 19 21 22 25 31 35 36 44 45 46 50 59 60 65 67 73 75 76 78 80 84 85 88 89 90 91 93 101 103 104 105 109 110 114 115 117 119 120 121 123 124 125 134 135 136 140 141 143 144 146 149 152 162 164 165 168 171 173 176 177 178 180 182 184 187 190 196 199 201 211 212 214 217 218 223 225 226 227 229 231 232 236 240 244 258 263 268 269 270 271 277 281 284 287 288 291 294 295 296 305 306 315 316 317 318 320 321 328 329 331 333 336 339 340 344 350 356 362 365 367 375 376 379 382 391 392 394 395 401 402 406 409 416 420 426 428 433 441 445 446 447 456 457 458 462 466 472 473 478 480 481 482 489 494 500 505 507 509 510 a 1 6 12 15 17 19 21 22 25 31 35 36 44 45 46 50 59 60 65 67 73 75 76 78 80 84 85 88 89 90 91 93 101 103 104 105 110 114 115 117 119 120 121 123 124 125 134 135 136 140 141 143 144 146 149 152 162 164 165 168 171 173 176 177 178 180 182 184 187 190 196 199 201 211 212 214 217 218 223 225 226 227 229 231 232 236 240 244 252 258 263 268 269 270 271 277 281 284 287 288 291 294 295 296 305 306 315 316 317 318 320 321 328 329 331 333 336 339 340 344 350 356 362 365 367 375 376 379 382 391 392 394 395 401 402 406 409 416 420 426 428 433 441 445 446 447 456 457 458 462 466 472 473 478 480 481 482 489 494 500 505 507 509 510 a 1 6 12 15 17 19 21 22 25 31 35 36 44 45 46 50 59 60 65 67 73 75 76 78 80 84 85 88 89 90 91 93 101 103 104 105 110 114 115 117 119 120 121 123 124 125 134 135 136 140 141 143 144 146 152 162 164 165 168 171 173 176 177 178 180 182 184 187 190 196 199 201 211 212 214 217 218 223 225 226 227 229 231 232 236 240 244 252 258 263 268 269 270 271 277 281 284 287 288 291 294 295 296 305 306 315 316 317 318 320 321 328 329 331 333 335 336 339 340 344 350 356 362 365 367 375 376 379 382 391 392 394 395 401 402 406 409 416 420 426 428 433 441 445 446 447 456 457 458 462 466 472 473 478 480 481 482 489 494 500 505 507 509 510 a 1 6 12 15 17 19 21 22 25 31 35 36 44 45 46 50 59 60 65 67 73 75 76 78 80 84 85 88 89 90 91 93 101 103 104 105 110 114 115 117 119 120 121 123 124 125 134 135 136 140 141 143 144 146 152 162 164 165 168 171 173 176 177 178 180 182 184 187 190 196 199 201 211 212 214 217 218 223 225 226 227 229 231 232 236 240 244 252 258 263 268 269 270 271 277 284 287 288 291 294 295 296 305 306 315 316 317 318 320 321 328 329 331 333 335 336 339 340 344 350 356 362 365 367 375 376 379 382 391 392 394 395 401 402 406 409 416 420 426 428 433 441 445 446 447 456 457 458 462 466 472 473 474 478 480 481 482 489 494 500 505 507 509 510 a 1 6 12 15 17 19 21 22 25 31 35 36 44 45 46 50 60 65 67 73 75 76 78 80 84 85 88 89 90 91 93 101 103 104 105 110 114 115 117 119 120 121 123 124 125 134 135 136 140 141 143 144 146 152 162 164 165 168 171 173 176 177 178 180 182 184 187 190 196 199 201 211 212 214 217 218 223 225 226 227 229 231 232 236 240 244 252 258 263 268 269 270 271 277 284 287 288 291 294 295 296 305 306 315 316 317 318 320 321 328 329 331 333 335 336 339 340 344 350 356 362 365 367 375 376 379 382 391 392 394 395 398 401 402 406 409 416 420 426 428 433 441 445 446 447 456 457 458 462 466 472 473 474 478 480 481 482 489 494 500 505 507 509 510 a 1 6 12 15 17 19 21 22 25 31 35 36 44 45 46 50 60 65 67 73 75 76 78 80 84 85 88 89 90 91 93 101 103 104 105 110 114 115 117 119 120 121 123 124 125 134 135 136 140 141 143 144 146 152 162 164 165 168 171 173 176 177 178 180 182 184 187 190 196 199 201 211 212 214 217 218 223 225 226 227 229 231 232 236 240 244 252 258 263 268 269 270 271 277 284 287 288 291 294 295 296 305 306 315 316 317 318 320 321 328 329 331 333 335 336 339 340 344 350 356 362 365 367 375 376 379 382 391 392 394 395 398 401 402 406 409 416 420 426 428 432 441 445 446 447 456 457 458 462 466 472 473 474 478 480 481 482 489 494 500 505 507 509 510 a 1 6 12 15 17 19 21 22 25 31 35 36 44 45 46 50 60 65 67 73 75 76 78 80 84 85 88 89 90 91 93 100 101 103 104 105 110 114 115 117 119 120 121 123 124 125 134 135 136 140 141 143 144 146 152 162 164 165 168 171 173 176 177 178 180 182 184 187 190 196 199 201 211 212 214 217 218 223 225 226 227 229 231 232 236 240 244 252 258 263 268 269 271 277 284 287 288 291 294 295 296 305 306 315 316 317 318 320 321 328 329 331 333 335 336 339 340 344 350 356 362 365 367 375 376 379 382 391 392 394 395 398 401 402 406 409 416 420 426 428 432 441 445 446 447 456 457 458 462 466 472 473 474 478 480 481 482 489 494 500 505 507 509 510 a 1 6 12 15 17 19 21 22 25 31 35 36 44 45 46 50 60 65 67 73 75 76 78 80 84 85 88 89 90 91 93 100 101 103 104 105 110 114 115 117 119 120 121 123 124 125 134 135 136 140 141 143 144 146 152 162 164 165 168 171 173 176 177 178 180 182 184 187 190 196 199 201 211 214 217 218 223 225 226 227 229 231 232 236 240 244 252 258 263 268 269 271 277 284 287 288 291 294 295 296 305 306 315 316 317 318 320 321 328 329 331 333 335 336 339 340 344 350 356 362 365 367 375 376 379 382 391 392 394 395 398 400 401 402 406 409 416 420 426 428 432 441 445 446 447 456 457 458 462 466 472 473 474 478 480 481 482 489 494 500 505 507 509 510 a 1 6 12 15 17 19 21 22 25 31 36 44 45 46 50 60 65 67 73 75 76 78 80 84 85 88 89 90 91 93 100 101 103 104 105 110 114 115 117 119 120 121 123 124 125 134 135 136 140 141 143 144 146 152 162 164 165 168 171 173 176 177 178 180 182 184 187 190 196 199 201 211 214 217 218 223 225 226 227 229 231 232 236 240 244 250 252 258 263 268 269 271 277 284 287 288 291 294 295 296 305 306 315 316 317 318 320 321 328 329 331 333 335 336 339 340 344 350 356 362 365 367 375 376 379 382 391 392 394 395 398 400 401 402 406 409 416 420 426 428 432 441 445 446 447 456 457 458 462 466 472 473 474 478 480 481 482 489 494 500 505 507 509 510 a 1 6 12 15 17 19 21 22 25 31 36 44 45 46 50 60 65 67 73 75 76 78 80 84 85 88 89 90 91 93 100 101 103 104 105 110 114 115 117 119 120 121 123 124 125 134 135 136 140 141 143 144 146 152 162 164 165 168 171 173 176 177 178 180 184 187 190 196 199 201 211 214 217 218 223 225 226 227 229 231 232 236 240 244 250 252 258 263 268 269 271 277 284 287 288 291 294 295 296 305 306 315 316 317 318 320 321 328 329 331 333 335 336 339 340 344 350 356 362 365 367 375 376 379 382 383 391 392 394 395 398 400 401 402 406 409 416 420 426 428 432 441 445 446 447 456 457 458 462 466 472 473 474 478 480 481 482 489 494 500 505 507 509 510 a 1 6 12 15 17 19 21 22 25 31 36 44 45 46 50 60 65 67 73 75 76 78 80 84 85 88 89 90 91 93 100 101 103 104 105 110 115 117 119 120 121 123 124 125 134 135 136 140 141 143 144 146 152 162 164 165 168 171 173 176 177 178 180 184 187 190 196 199 201 211 214 217 218 223 225 226 227 229 231 232 236 240 244 250 252 258 263 268 269 271 277 284 287 288 291 294 295 296 305 306 309 315 316 317 318 320 321 328 329 331 333 335 336 339 340 344 350 356 362 365 367 375 376 379 382 383 391 392 394 395 398 400 401 402 406 409 416 420 426 428 432 441 445 446 447 456 457 458 462 466 472 473 474 478 480 481 482 489 494 500 505 507 509 510 a 1 6 12 15 17 19 21 22 25 31 36 44 45 46 50 60 65 67 73 75 76 78 80 84 85 88 89 90 91 93 100 101 103 104 105 110 115 117 119 120 121 123 124 125 134 135 136 140 141 143 146 152 162 164 165 168 171 173 176 177 178 180 184 187 190 196 199 201 211 214 217 218 223 225 226 227 229 231 232 236 240 244 250 252 256 258 263 268 269 271 277 284 287 288 291 294 295 296 305 306 309 315 316 317 318 320 321 328 329 331 333 335 336 339 340 344 350 356 362 365 367 375 376 379 382 383 391 392 394 395 398 400 401 402 406 409 416 420 426 428 432 441 445 446 447 456 457 458 462 466 472 473 474 478 480 481 482 489 494 500 505 507 509 510 a 1 6 8 12 15 17 19 21 22 25 31 36 44 45 46 50 60 65 67 75 76 78 80 84 85 88 89 90 91 93 100 101 103 104 105 110 115 117 119 120 121 123 124 125 134 135 136 140 141 143 146 152 162 164 165 168 171 173 176 177 178 180 184 187 190 196 199 201 211 214 217 218 223 225 226 227 229 231 232 236 240 244 250 252 256 258 263 268 269 271 277 284 287 288 291 294 295 296 305 306 309 315 316 317 318 320 321 328 329 331 333 335 336 339 340 344 350 356 362 365 367 375 376 379 382 383 391 392 394 395 398 400 401 402 406 409 416 420 426 428 432 441 445 446 447 456 457 458 462 466 472 473 474 478 480 481 482 489 494 500 505 507 509 510 a 1 6 8 12 15 17 19 21 22 25 31 36 44 45 46 50 60 65 67 75 76 78 80 84 85 88 89 90 91 93 100 101 103 104 105 110 115 117 119 120 121 123 124 125 134 135 136 140 141 143 146 152 162 164 165 168 171 173 176 177 178 180 184 187 190 196 199 201 211 214 217 218 223 225 226 227 229 231 232 236 240 244 250 252 256 258 263 268 269 271 277 284 287 288 291 292 294 295 296 305 306 309 315 316 317 318 320 321 328 329 331 333 335 336 339 340 344 350 356 362 365 367 375 376 379 382 383 391 392 394 395 398 400 401 402 406 409 416 420 426 428 432 441 445 446 447 456 457 458 462 466 472 473 474 478 480 481 482 494 500 505 507 509 510 a 1 6 8 12 15 17 19 21 22 25 31 36 44 45 46 50 60 65 67 75 76 78 80 84 85 88 89 90 91 93 100 101 103 104 105 110 115 117 119 120 121 123 124 125 134 135 136 140 141 143 146 152 162 164 165 168 171 173 176 177 178 180 184 187 190 196 199 201 211 214 217 218 223 225 226 227 229 231 232 236 240 244 250 252 256 258 263 268 269 271 277 284 287 288 291 292 294 295 296 305 306 309 315 316 317 318 320 321 328 329 331 333 335 336 339 340 350 356 362 365 367 375 376 379 382 383 388 391 392 394 395 398 400 401 402 406 409 416 420 426 428 432 441 445 446 447 456 457 458 462 466 472 473 474 478 480 481 482 494 500 505 507 509 510 a 1 6 8 12 15 17 19 21 22 25 31 36 44 45 46 50 60 65 67 75 76 78 80 84 85 88 89 90 91 93 100 101 103 104 105 110 115 117 119 120 121 123 124 125 134 135 136 140 141 143 146 152 162 164 165 168 171 173 176 177 178 180 184 187 190 196 199 201 211 214 216 217 218 223 225 226 227 229 231 232 236 240 244 250 252 256 258 263 268 269 271 277 284 287 288 291 292 294 295 296 305 306 309 315 316 317 318 320 321 328 329 331 333 335 336 339 340 350 356 362 365 367 375 376 379 382 383 388 391 392 394 395 398 400 401 402 406 409 416 420 426 428 432 441 445 446 447 456 457 458 462 466 472 473 474 478 480 481 482 494 500 505 507 509 a 1 6 8 12 15 17 19 21 22 25 31 36 44 45 46 50 60 65 67 75 76 78 80 84 85 88 89 90 91 93 100 101 103 104 105 110 115 117 119 120 121 123 124 125 134 135 136 140 141 143 146 152 162 164 165 168 171 173 176 177 178 180 184 187 190 196 199 201 204 211 214 216 217 218 223 225 226 227 229 231 232 236 240 244 250 252 256 258 263 268 269 271 277 284 287 288 291 292 294 295 296 305 306 309 315 316 317 318 320 321 328 331 333 335 336 339 340 350 356 362 365 367 375 376 379 382 383 388 391 392 394 395 398 400 401 402 406 409 416 420 426 428 432 441 445 446 447 456 457 458 462 466 472 473 474 478 480 481 482 494 500 505 507 509 a 1 6 8 12 15 17 19 21 22 25 31 36 44 45 46 50 60 65 67 75 76 78 80 84 85 88 89 90 91 93 100 101 103 104 105 110 115 117 119 120 121 123 124 125 134 135 136 140 141 143 146 152 162 164 165 168 171 173 176 177 178 180 184 187 190 196 199 201 204 211 214 216 217 218 223 225 226 227 229 231 232 236 240 244 250 252 256 258 263 268 269 271 277 284 287 288 291 292 294 295 296 305 306 308 309 315 316 317 318 320 321 328 331 333 335 336 339 340 350 356 362 365 367 375 376 379 382 383 388 391 392 394 395 398 400 401 402 406 409 416 426 428 432 441 445 446 447 456 457 458 462 466 472 473 474 478 480 481 482 494 500 505 507 509 a 1 6 8 12 15 17 19 21 22 25 31 36 44 45 46 50 60 65 67 75 76 78 80 84 85 88 89 90 91 93 100 101 103 104 105 110 115 117 119 120 121 123 124 125 134 135 136 140 141 143 146 152 162 164 165 168 171 173 176 177 178 180 184 187 190 196 199 201 204 211 214 216 217 218 223 225 226 227 229 231 232 236 240 244 250 252 256 263 268 269 271 277 284 287 288 291 292 294 295 296 305 306 308 309 315 316 317 318 320 321 328 331 333 335 336 339 340 350 356 362 364 365 367 375 376 379 382 383 388 391 392 394 395 398 400 401 402 406 409 416 426 428 432 441 445 446 447 456 457 458 462 466 472 473 474 478 480 481 482 494 500 505 507 509 a 1 6 8 12 15 17 19 21 22 25 31 36 44 45 46 50 60 65 67 75 76 78 80 84 85 88 89 90 91 93 100 101 103 104 105 110 115 117 118 119 120 121 123 124 125 134 135 136 140 141 143 146 152 162 164 165 168 171 173 176 177 178 180 184 187 196 199 201 204 211 214 216 217 218 223 225 226 227 229 231 232 236 240 244 250 252 256 263 268 269 271 277 284 287 288 291 292 294 295 296 305 306 308 309 315 316 317 318 320 321 328 331 333 335 336 339 340 350 356 362 364 365 367 375 376 379 382 383 388 391 392 394 395 398 400 401 402 406 409 416 426 428 432 441 445 446 447 456 457 458 462 466 472 473 474 478 480 481 482 494 500 505 507 509 a 1 6 8 12 15 17 19 21 22 25 31 36 44 45 46 50 60 65 67 75 76 78 80 84 85 88 89 90 91 93 100 101 103 104 105 110 115 117 118 119 120 121 123 124 125 134 135 136 140 141 143 146 152 162 164 165 168 171 173 176 177 178 180 184 187 196 199 201 204 211 214 216 217 218 223 225 226 227 229 231 232 236 240 244 250 252 256 263 268 269 271 277 284 287 288 291 292 294 295 296 305 306 308 309 315 316 317 318 320 321 328 331 333 335 336 339 340 350 362 364 365 367 375 376 379 382 383 388 390 391 392 394 395 398 400 401 402 406 409 416 426 428 432 441 445 446 447 456 457 458 462 466 472 473 474 478 480 481 482 494 500 505 507 509 a 1 6 8 12 15 17 19 21 22 25 31 36 44 45 46 50 60 65 67 75 76 78 80 84 85 88 89 90 91 93 100 101 102 103 104 105 110 115 117 118 119 120 121 123 124 125 134 135 136 140 141 143 146 152 162 165 168 171 173 176 177 178 180 184 187 196 199 201 204 211 214 216 217 218 223 225 226 227 229 231 232 236 240 244 250 252 256 263 268 269 271 277 284 287 288 291 292 294 295 296 305 306 308 309 315 316 317 318 320 321 328 331 333 335 336 339 340 350 362 364 365 367 375 376 379 382 383 388 390 391 392 394 395 398 400 401 402 406 409 416 426 428 432 441 445 446 447 456 457 458 462 466 472 473 474 478 480 481 482 494 500 505 507 509 a 1 6 8 12 15 17 19 21 22 25 36 44 45 46 50 60 65 67 75 76 78 80 84 85 88 89 90 91 93 100 101 102 103 104 105 110 115 117 118 119 120 121 123 124 125 134 135 136 140 141 143 146 152 162 165 168 171 173 176 177 178 180 184 187 196 199 201 204 211 214 216 217 218 223 225 226 227 229 231 232 236 240 244 250 252 256 263 268 269 271 277 284 287 288 291 292 293 294 295 296 305 306 308 309 315 316 317 318 320 321 328 331 333 335 336 339 340 350 362 364 365 367 375 376 379 382 383 388 390 391 392 394 395 398 400 401 402 406 409 416 426 428 432 441 445 446 447 456 457 458 462 466 472 473 474 478 480 481 482 494 500 505 507 509 a 1 6 8 12 15 17 19 21 22 25 36 44 45 46 50 60 65 67 75 76 78 80 84 85 88 89 90 91 93 100 101 102 103 104 105 110 115 117 118 119 120 121 123 124 125 134 135 136 140 141 143 146 152 162 165 168 171 173 176 177 178 180 184 187 196 199 201 204 211 214 216 217 218 223 225 226 227 229 231 232 236 237 240 244 250 252 256 263 268 269 271 277 284 287 288 291 292 293 294 295 296 305 306 308 309 315 316 317 318 320 321 328 331 333 335 336 339 340 350 362 364 365 367 375 376 379 382 383 388 390 391 392 394 395 398 400 401 402 406 409 416 426 428 432 445 446 447 456 457 458 462 466 472 473 474 478 480 481 482 494 500 505 507 509 a 1 6 8 12 15 17 19 21 22 25 36 44 45 46 50 60 65 67 75 78 80 84 85 88 89 90 91 93 100 101 102 103 104 105 110 115 117 118 119 120 121 123 124 125 134 135 136 140 141 143 146 152 162 165 168 171 173 176 177 178 180 184 187 195 196 199 201 204 211 214 216 217 218 223 225 226 227 229 231 232 236 237 240 244 250 252 256 263 268 269 271 277 284 287 288 291 292 293 294 295 296 305 306 308 309 315 316 317 318 320 321 328 331 333 335 336 339 340 350 362 364 365 367 375 376 379 382 383 388 390 391 392 394 395 398 400 401 402 406 409 416 426 428 432 445 446 447 456 457 458 462 466 472 473 474 478 480 481 482 494 500 505 507 509 a 1 6 8 12 15 17 19 21 22 25 36 44 45 46 50 60 65 67 75 78 80 84 85 88 89 90 91 93 100 101 102 103 104 105 110 115 117 118 119 120 121 123 124 125 134 135 136 140 141 143 146 152 162 165 168 171 173 176 177 178 180 184 187 195 196 199 201 204 211 214 216 217 218 223 225 226 227 229 231 232 236 237 240 244 250 252 256 263 268 269 271 277 284 287 288 291 292 293 294 295 305 306 308 309 315 316 317 318 320 321 328 331 333 335 336 339 340 350 362 364 365 367 375 376 379 382 383 388 390 391 392 394 395 398 400 401 402 406 407 409 416 426 428 432 445 446 447 456 457 458 462 466 472 473 474 478 480 481 482 494 500 505 507 509 a 1 6 8 12 15 17 19 21 22 25 36 44 45 46 50 60 65 67 75 78 80 84 85 88 89 90 91 93 100 101 102 103 104 105 110 115 117 118 119 120 121 123 124 125 134 135 136 140 141 143 146 152 162 165 168 171 173 176 177 178 180 184 187 195 196 199 201 204 211 214 216 217 218 223 225 226 227 229 231 232 236 237 240 244 250 252 256 263 268 269 271 277 284 287 288 291 292 293 294 295 306 308 309 315 316 317 318 320 321 324 328 331 333 335 336 339 340 350 362 364 365 367 375 376 379 382 383 388 390 391 392 394 395 398 400 401 402 406 407 409 416 426 428 432 445 446 447 456 457 458 462 466 472 473 474 478 480 481 482 494 500 505 507 509 a 1 6 8 12 15 17 19 21 22 25 36 44 45 46 50 60 65 67 75 78 80 84 85 88 89 90 91 93 100 101 102 103 104 105 107 110 115 117 118 119 120 121 123 124 125 134 135 136 140 141 143 146 152 162 165 168 171 173 176 177 178 180 184 187 195 196 199 201 204 211 214 216 217 218 223 225 226 227 229 231 232 236 237 240 244 250 252 256 263 268 269 271 277 284 287 288 291 292 293 294 295 306 308 309 315 316 317 318 320 321 324 328 331 333 335 336 339 340 350 362 364 365 367 375 376 379 382 383 388 390 391 392 394 395 398 400 401 402 406 407 409 416 426 428 432 445 446 456 457 458 462 466 472 473 474 478 480 481 482 494 500 505 507 509 a 1 6 8 12 15 17 19 21 22 25 36 44 45 46 50 60 65 67 75 78 80 84 85 88 89 90 91 93 100 101 102 103 104 105 107 110 115 117 118 119 120 121 123 124 125 134 135 136 140 141 143 146 152 162 165 168 171 173 176 177 178 180 184 187 195 196 199 201 204 211 214 216 217 218 225 226 227 229 231 232 236 237 240 244 250 252 256 263 268 269 271 277 284 287 288 291 292 293 294 295 306 308 309 315 316 317 318 320 321 324 328 331 333 335 336 339 340 346 350 362 364 365 367 375 376 379 382 383 388 390 391 392 394 395 398 400 401 402 406 407 409 416 426 428 432 445 446 456 457 458 462 466 472 473 474 478 480 481 482 494 500 505 507 509 a 1 6 8 12 15 17 19 21 22 25 36 44 45 46 50 60 65 67 75 78 80 84 85 88 89 90 91 93 100 101 102 103 104 105 107 110 115 117 118 119 120 121 123 124 125 134 135 136 140 141 143 146 152 162 165 168 171 173 176 177 178 180 184 187 195 196 199 201 204 211 214 216 217 218 225 226 227 229 231 232 236 237 240 244 250 252 256 263 268 269 271 277 284 287 288 291 292 293 294 295 306 308 309 315 317 318 320 321 324 328 331 333 335 336 339 340 346 350 362 364 365 367 375 376 379 382 383 388 390 391 392 394 395 398 400 401 402 406 407 409 416 426 428 432 445 446 448 456 457 458 462 466 472 473 474 478 480 481 482 494 500 505 507 509 a 1 6 8 12 15 17 19 21 22 25 36 44 45 46 50 60 65 67 75 78 80 84 85 88 89 90 91 93 100 101 102 103 104 105 107 110 115 117 118 119 120 121 123 124 125 134 135 136 140 141 143 146 152 162 165 168 171 173 176 177 178 180 184 187 195 196 199 201 204 211 214 216 217 218 225 226 227 229 231 232 236 237 240 244 250 252 256 263 268 269 271 277 284 287 291 292 293 294 295 306 308 309 315 317 318 320 321 324 328 331 333 335 336 339 340 346 350 362 364 365 367 375 376 379 382 383 388 390 391 392 394 395 398 400 401 402 404 406 407 409 416 426 428 432 445 446 448 456 457 458 462 466 472 473 474 478 480 481 482 494 500 505 507 509 a 1 6 8 12 15 17 19 21 22 25 36 44 45 46 50 60 65 67 75 78 80 84 85 88 89 90 91 93 100 101 102 103 104 105 107 110 117 118 119 120 121 123 124 125 134 135 136 140 141 143 146 152 162 165 168 171 173 176 177 178 180 184 187 195 196 199 201 204 205 211 214 216 217 218 225 226 227 229 231 232 236 237 240 244 250 252 256 263 268 269 271 277 284 287 291 292 293 294 295 306 308 309 315 317 318 320 321 324 328 331 333 335 336 339 340 346 350 362 364 365 367 375 376 379 382 383 388 390 391 392 394 395 398 400 401 402 404 406 407 409 416 426 428 432 445 446 448 456 457 458 462 466 472 473 474 478 480 481 482 494 500 505 507 509 a 1 6 8 12 15 17 19 21 22 25 36 44 45 46 50 60 65 67 75 78 80 84 85 88 89 90 91 93 100 101 102 103 104 105 107 110 117 118 119 120 121 123 124 125 134 135 136 140 143 146 152 162 165 168 171 173 176 177 178 180 184 187 195 196 199 201 204 205 211 214 216 217 218 225 226 227 229 231 232 236 237 240 244 250 252 256 263 268 269 271 277 284 287 291 292 293 294 295 306 308 309 315 317 318 320 321 324 328 331 333 335 336 339 340 346 350 362 364 365 367 375 376 379 382 383 385 388 390 391 392 394 395 398 400 401 402 404 406 407 409 416 426 428 432 445 446 448 456 457 458 462 466 472 473 474 478 480 481 482 494 500 505 507 509 a 1 6 8 12 15 17 19 21 22 25 36 44 45 46 50 60 65 67 75 78 80 84 85 88 89 90 91 93 100 101 102 103 104 105 107 110 117 118 119 120 121 123 124 125 134 135 136 140 143 146 152 162 165 168 171 173 176 177 178 180 184 187 194 195 196 199 201 204 205 211 214 216 217 218 225 226 227 229 231 232 236 237 240 244 250 252 256 263 268 269 271 277 284 287 292 293 294 295 306 308 309 315 317 318 320 321 324 328 331 333 335 336 339 340 346 350 362 364 365 367 375 376 379 382 383 385 388 390 391 392 394 395 398 400 401 402 404 406 407 409 416 426 428 432 445 446 448 456 457 458 462 466 472 473 474 478 480 481 482 494 500 505 507 509 a 1 6 8 12 15 17 19 21 22 25 36 44 45 46 60 65 67 75 78 80 84 85 88 89 90 91 93 100 101 102 103 104 105 107 110 117 118 119 120 121 123 124 125 134 135 136 140 143 146 152 162 165 168 171 173 176 177 178 180 184 187 194 195 196 199 201 204 205 211 214 216 217 218 225 226 227 229 231 232 236 237 238 240 244 250 252 256 263 268 269 271 277 284 287 292 293 294 295 306 308 309 315 317 318 320 321 324 328 331 333 335 336 339 340 346 350 362 364 365 367 375 376 379 382 383 385 388 390 391 392 394 395 398 400 401 402 404 406 407 409 416 426 428 432 445 446 448 456 457 458 462 466 472 473 474 478 480 481 482 494 500 505 507 509 a 1 6 8 12 15 17 19 21 22 25 36 44 45 46 60 65 67 75 78 80 84 85 88 89 90 91 93 100 101 102 103 104 105 107 110 117 118 119 120 121 123 124 125 134 135 136 140 143 146 152 162 165 168 171 173 176 177 178 180 184 187 194 195 196 199 201 204 205 211 214 216 217 218 225 226 227 229 231 232 236 237 238 240 244 250 252 256 268 269 271 277 284 287 290 292 293 294 295 306 308 309 315 317 318 320 321 324 328 331 333 335 336 339 340 346 350 362 364 365 367 375 376 379 382 383 385 388 390 391 392 394 395 398 400 401 402 404 406 407 409 416 426 428 432 445 446 448 456 457 458 462 466 472 473 474 478 480 481 482 494 500 505 507 509 a 1 6 8 12 15 17 19 21 22 25 36 44 45 46 60 65 67 75 78 80 84 85 88 89 90 91 93 100 101 102 103 104 105 107 110 117 118 119 120 121 123 124 125 134 135 136 140 143 146 152 162 165 168 171 173 176 177 178 180 184 187 194 195 196 199 201 204 205 211 214 216 217 218 225 226 227 229 231 232 236 237 238 240 244 250 252 256 268 269 271 277 284 287 290 292 293 294 295 306 308 309 315 317 318 320 321 324 328 331 333 335 336 339 340 346 350 357 362 364 365 367 375 376 379 382 383 385 388 390 391 392 394 395 398 400 401 402 404 406 407 409 416 426 428 432 445 446 448 457 458 462 466 472 473 474 478 480 481 482 494 500 505 507 509 a 1 6 8 12 15 17 19 21 22 25 36 44 45 46 60 65 67 75 78 80 84 85 88 89 90 91 93 100 101 102 103 104 105 107 110 117 118 119 120 121 123 124 125 134 135 136 140 143 146 152 162 165 168 171 173 176 177 178 180 184 187 194 195 196 199 201 204 205 211 214 216 217 218 225 226 227 229 231 232 236 237 238 240 244 250 252 256 268 269 271 275 277 284 287 290 292 293 295 306 308 309 315 317 318 320 321 324 328 331 333 335 336 339 340 346 350 357 362 364 365 367 375 376 379 382 383 385 388 390 391 392 394 395 398 400 401 402 404 406 407 409 416 426 428 432 445 446 448 457 458 462 466 472 473 474 478 480 481 482 494 500 505 507 509 a 1 6 8 12 15 17 19 21 22 25 36 44 45 46 60 65 67 75 78 80 84 85 88 89 90 91 93 100 101 102 103 104 105 107 110 117 118 119 120 121 123 124 125 134 135 136 140 143 146 152 162 165 168 171 173 176 177 178 180 184 187 194 195 196 199 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 250 252 256 268 269 271 275 277 284 287 290 292 293 295 306 308 309 315 317 318 320 321 324 328 331 333 335 336 339 340 346 350 357 362 364 365 367 375 376 379 382 383 385 388 390 391 392 395 398 400 401 402 404 406 407 409 416 426 428 432 445 446 448 457 458 462 466 472 473 474 478 480 481 482 494 500 505 507 509 a 1 6 8 12 15 17 19 21 22 25 36 44 45 46 60 65 67 75 78 80 84 85 88 89 90 91 93 100 101 102 103 104 105 107 110 117 118 119 121 123 124 125 134 135 136 140 143 146 152 162 165 168 171 173 176 177 178 180 184 187 194 195 196 197 199 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 250 252 256 268 269 271 275 277 284 287 290 292 293 295 306 308 309 315 317 318 320 321 324 328 331 333 335 336 339 340 346 350 357 362 364 365 367 375 376 379 382 383 385 388 390 391 392 395 398 400 401 402 404 406 407 409 416 426 428 432 445 446 448 457 458 462 466 472 473 474 478 480 481 482 494 500 505 507 509 a 1 6 8 12 15 17 19 21 22 25 36 44 45 46 60 65 67 75 78 80 84 85 88 89 90 91 93 100 101 102 103 104 105 107 110 117 118 119 121 123 124 125 134 135 136 138 140 143 146 152 162 165 168 171 173 176 177 178 180 184 187 194 195 196 197 199 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 250 252 256 268 269 271 275 277 284 287 290 292 293 295 306 308 309 317 318 320 321 324 328 331 333 335 336 339 340 346 350 357 362 364 365 367 375 376 379 382 383 385 388 390 391 392 395 398 400 401 402 404 406 407 409 416 426 428 432 445 446 448 457 458 462 466 472 473 474 478 480 481 482 494 500 505 507 509 a 1 6 8 12 15 17 19 21 22 25 36 44 45 46 60 65 67 75 78 80 84 85 88 89 90 91 93 100 101 102 103 104 105 107 110 117 118 119 121 123 124 125 134 135 136 138 140 143 146 152 162 165 168 171 173 176 177 178 180 184 187 194 195 196 197 199 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 250 252 256 268 269 271 275 277 284 287 290 292 293 295 306 308 309 317 318 320 321 324 328 331 333 335 336 339 340 346 350 357 362 364 365 367 375 376 379 382 383 385 388 390 391 392 395 397 398 400 401 402 404 406 407 409 416 426 428 432 445 448 457 458 462 466 472 473 474 478 480 481 482 494 500 505 507 509 a 1 6 8 12 15 17 19 21 22 25 36 44 45 46 60 65 67 75 78 80 85 88 89 90 91 93 100 101 102 103 104 105 107 110 117 118 119 121 123 124 125 134 135 136 138 140 143 146 152 162 165 168 171 173 176 177 178 180 184 187 194 195 196 197 199 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 250 252 256 268 269 271 275 277 284 287 290 292 293 295 306 308 309 317 318 320 321 324 328 331 333 335 336 339 340 346 350 357 362 364 365 367 375 376 379 382 383 385 388 390 391 392 395 397 398 400 401 402 404 406 407 409 416 426 428 432 445 448 457 458 462 466 472 473 474 478 480 481 482 494 500 505 507 509 516 a 1 6 8 12 15 17 19 21 22 25 36 44 45 46 60 65 67 72 75 78 80 85 88 89 90 91 93 100 101 102 103 104 105 107 110 117 118 119 121 123 124 125 134 135 136 138 140 143 146 152 162 165 168 171 173 176 177 178 180 184 187 194 195 196 197 199 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 250 252 256 268 269 271 275 277 284 287 290 292 293 295 306 308 309 317 318 320 321 324 328 331 333 335 336 339 340 346 350 357 362 364 365 367 375 376 379 382 383 385 388 390 391 392 395 397 398 400 401 402 404 406 407 409 416 426 428 432 445 448 457 458 462 466 472 473 474 478 481 482 494 500 505 507 509 516 a 1 6 8 12 15 17 19 21 22 25 36 44 45 46 60 65 67 72 75 78 80 85 88 89 90 91 93 100 101 102 103 104 105 107 110 117 118 119 121 123 124 125 134 135 136 138 140 143 146 152 162 165 168 171 173 176 177 178 180 184 187 194 195 196 197 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 250 252 256 268 269 271 275 277 284 287 290 292 293 295 306 308 309 317 318 320 321 324 328 331 333 335 336 339 340 346 350 357 362 364 365 367 375 376 379 382 383 385 388 390 391 392 395 397 398 400 401 402 404 406 407 409 416 426 428 432 445 448 457 458 462 466 468 472 473 474 478 481 482 494 500 505 507 509 516 a 1 6 8 12 15 17 19 21 22 36 44 45 46 60 65 67 72 75 78 80 85 88 89 90 91 93 100 101 102 103 104 105 107 110 117 118 119 121 123 124 125 134 135 136 138 140 143 146 152 162 165 168 171 173 176 177 178 180 184 186 187 194 195 196 197 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 250 252 256 268 269 271 275 277 284 287 290 292 293 295 306 308 309 317 318 320 321 324 328 331 333 335 336 339 340 346 350 357 362 364 365 367 375 376 379 382 383 385 388 390 391 392 395 397 398 400 401 402 404 406 407 409 416 426 428 432 445 448 457 458 462 466 468 472 473 474 478 481 482 494 500 505 507 509 516 a 1 6 8 12 15 17 19 21 22 36 44 45 46 60 65 67 72 75 78 80 85 88 89 90 91 93 100 101 102 103 104 105 107 110 117 118 119 121 123 124 125 134 135 136 138 140 143 146 152 162 165 168 171 173 176 177 178 180 184 186 187 194 195 196 197 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 250 252 256 268 269 271 275 277 284 287 290 292 293 295 306 308 309 317 318 320 321 324 328 331 333 335 336 339 340 346 350 357 362 364 365 367 375 376 379 382 383 385 388 390 391 392 395 397 398 400 401 402 404 406 407 409 416 426 428 432 445 448 457 458 462 467 468 472 473 474 478 481 482 494 500 505 507 509 516 a 1 6 8 12 15 17 19 21 22 36 44 45 46 60 65 67 72 75 78 80 85 88 89 90 91 93 100 101 102 103 104 105 107 110 117 118 119 121 123 124 125 134 135 138 140 143 146 152 162 165 168 171 173 176 177 178 180 184 186 187 194 195 196 197 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 250 252 256 268 269 271 275 277 284 287 290 292 293 295 306 308 309 317 318 320 321 324 328 331 333 335 336 339 340 346 350 357 362 364 365 367 375 376 379 382 383 385 388 390 391 392 395 397 398 400 401 402 404 406 407 409 416 426 428 432 445 448 457 458 462 467 468 472 473 474 478 481 482 494 500 505 507 509 515 516 a 1 6 8 12 15 17 19 21 22 36 45 46 60 65 66 67 72 75 78 80 85 88 89 90 91 93 100 101 102 103 104 105 107 110 117 118 119 121 123 124 125 134 135 138 140 143 146 152 162 165 168 171 173 176 177 178 180 184 186 187 194 195 196 197 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 250 252 256 268 269 271 275 277 284 287 290 292 293 295 306 308 309 317 318 320 321 324 328 331 333 335 336 339 340 346 350 357 362 364 365 367 375 376 379 382 383 385 388 390 391 392 395 397 398 400 401 402 404 406 407 409 416 426 428 432 445 448 457 458 462 467 468 472 473 474 478 481 482 494 500 505 507 509 515 516 a 1 6 8 12 15 17 19 21 22 36 45 46 60 65 66 67 72 75 78 80 85 88 89 90 91 93 100 101 102 103 105 107 110 117 118 119 121 123 124 125 134 135 138 140 143 146 152 162 165 168 171 173 176 177 178 180 184 186 187 194 195 196 197 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 245 250 252 256 268 269 271 275 277 284 287 290 292 293 295 306 308 309 317 318 320 321 324 328 331 333 335 336 339 340 346 350 357 362 364 365 367 375 376 379 382 383 385 388 390 391 392 395 397 398 400 401 402 404 406 407 409 416 426 428 432 445 448 457 458 462 467 468 472 473 474 478 481 482 494 500 505 507 509 515 516 a 1 6 8 12 15 17 19 21 22 30 36 45 46 60 65 66 67 72 75 78 80 85 88 89 90 91 93 100 101 102 103 105 107 110 117 118 119 121 123 124 125 134 135 138 140 143 146 152 162 165 168 171 173 176 177 178 180 184 186 187 194 195 196 197 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 245 250 252 256 268 269 271 275 277 284 287 290 292 293 295 306 308 309 317 318 320 321 324 328 331 333 335 336 339 340 346 350 357 362 364 365 367 375 376 379 382 383 385 388 390 391 392 395 397 398 400 401 402 404 406 407 409 416 426 428 432 445 448 458 462 467 468 472 473 474 478 481 482 494 500 505 507 509 515 516 a 1 6 8 12 15 17 19 21 22 30 36 45 46 60 65 66 67 72 75 78 80 85 88 89 90 91 93 100 101 102 103 105 107 110 117 118 119 121 123 124 125 134 135 138 140 143 146 152 162 165 168 171 173 176 177 178 180 184 186 187 194 195 196 197 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 245 250 252 256 268 269 271 275 277 284 287 290 292 293 295 306 308 309 317 318 320 321 324 328 331 333 335 336 340 346 350 357 362 364 365 367 372 375 376 379 382 383 385 388 390 391 392 395 397 398 400 401 402 404 406 407 409 416 426 428 432 445 448 458 462 467 468 472 473 474 478 481 482 494 500 505 507 509 515 516 a 1 6 8 12 15 17 19 22 30 36 45 46 60 65 66 67 72 75 78 80 85 88 89 90 91 93 100 101 102 103 105 107 110 117 118 119 121 123 124 125 134 135 138 140 143 146 152 162 165 168 171 173 176 177 178 180 184 186 187 194 195 196 197 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 245 250 252 256 268 269 271 275 277 284 287 290 292 293 295 306 308 309 317 318 320 321 324 328 331 333 335 336 340 346 350 357 362 364 365 367 372 375 376 379 382 383 385 388 390 391 392 395 397 398 400 401 402 404 406 407 409 416 426 428 432 445 448 458 462 467 468 472 473 474 478 481 482 494 500 505 507 509 514 515 516 a 1 6 8 12 15 17 19 22 30 36 45 46 60 65 66 67 72 75 78 80 85 88 89 90 91 93 96 100 101 102 103 105 107 110 117 118 119 121 123 124 125 134 135 138 140 143 146 152 162 165 168 171 173 176 177 178 180 184 186 187 194 195 196 197 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 245 250 252 256 268 269 271 275 277 284 287 290 292 293 295 306 308 309 317 318 320 321 324 328 331 333 335 336 346 350 357 362 364 365 367 372 375 376 379 382 383 385 388 390 391 392 395 397 398 400 401 402 404 406 407 409 416 426 428 432 445 448 458 462 467 468 472 473 474 478 481 482 494 500 505 507 509 514 515 516 a 1 6 8 12 15 17 19 22 30 36 45 46 60 65 66 67 72 75 78 80 85 88 89 90 91 93 96 100 101 102 103 105 107 110 117 118 119 121 123 124 125 129 134 135 138 140 143 146 152 162 165 171 173 176 177 178 180 184 186 187 194 195 196 197 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 245 250 252 256 268 269 271 275 277 284 287 290 292 293 295 306 308 309 317 318 320 321 324 328 331 333 335 336 346 350 357 362 364 365 367 372 375 376 379 382 383 385 388 390 391 392 395 397 398 400 401 402 404 406 407 409 416 426 428 432 445 448 458 462 467 468 472 473 474 478 481 482 494 500 505 507 509 514 515 516 a 1 6 8 12 15 17 19 22 30 36 45 46 60 65 66 67 72 75 78 80 85 88 89 90 91 93 96 100 101 102 103 105 107 110 117 118 119 121 123 124 125 129 134 135 138 140 143 146 152 162 165 171 173 176 177 178 180 184 186 187 194 195 196 197 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 245 250 252 256 269 271 275 277 284 287 290 292 293 295 302 306 308 309 317 318 320 321 324 328 331 333 335 336 346 350 357 362 364 365 367 372 375 376 379 382 383 385 388 390 391 392 395 397 398 400 401 402 404 406 407 409 416 426 428 432 445 448 458 462 467 468 472 473 474 478 481 482 494 500 505 507 509 514 515 516 a 1 6 8 12 15 17 19 22 27 30 36 45 46 60 65 66 67 72 75 78 80 85 88 89 90 91 93 96 100 101 102 105 107 110 117 118 119 121 123 124 125 129 134 135 138 140 143 146 152 162 165 171 173 176 177 178 180 184 186 187 194 195 196 197 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 245 250 252 256 269 271 275 277 284 287 290 292 293 295 302 306 308 309 317 318 320 321 324 328 331 333 335 336 346 350 357 362 364 365 367 372 375 376 379 382 383 385 388 390 391 392 395 397 398 400 401 402 404 406 407 409 416 426 428 432 445 448 458 462 467 468 472 473 474 478 481 482 494 500 505 507 509 514 515 516 a 1 6 8 12 15 17 19 22 27 30 36 45 46 60 65 66 67 72 75 78 80 85 88 89 90 91 93 96 100 101 102 105 107 110 117 118 119 121 122 123 124 125 129 134 135 138 140 143 146 152 162 165 171 173 177 178 180 184 186 187 194 195 196 197 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 245 250 252 256 269 271 275 277 284 287 290 292 293 295 302 306 308 309 317 318 320 321 324 328 331 333 335 336 346 350 357 362 364 365 367 372 375 376 379 382 383 385 388 390 391 392 395 397 398 400 401 402 404 406 407 409 416 426 428 432 445 448 458 462 467 468 472 473 474 478 481 482 494 500 505 507 509 514 515 516 a 1 6 8 12 15 17 19 22 27 30 36 45 46 60 65 66 67 72 75 78 80 85 88 89 90 91 93 96 100 101 102 105 107 110 117 118 119 121 122 123 124 125 129 134 135 138 140 143 146 152 165 171 173 177 178 180 184 186 187 194 195 196 197 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 245 250 252 256 269 271 275 277 284 287 290 292 293 295 302 306 308 309 317 318 320 321 324 328 331 333 335 336 346 350 357 362 364 365 367 372 375 376 379 382 383 385 388 390 391 392 393 395 397 398 400 401 402 404 406 407 409 416 426 428 432 445 448 458 462 467 468 472 473 474 478 481 482 494 500 505 507 509 514 515 516 a 1 6 8 12 13 15 17 19 22 27 30 36 45 46 60 65 66 67 72 75 78 80 85 88 89 90 91 93 96 100 101 102 105 107 110 117 118 119 121 122 123 124 125 129 134 135 138 140 143 146 152 165 171 173 177 178 180 184 186 187 194 195 196 197 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 245 250 252 256 269 271 275 277 284 287 290 292 293 295 302 306 308 309 317 318 320 321 324 328 331 333 335 336 346 350 357 362 364 365 367 372 375 376 379 382 383 385 388 390 391 393 395 397 398 400 401 402 404 406 407 409 416 426 428 432 445 448 458 462 467 468 472 473 474 478 481 482 494 500 505 507 509 514 515 516 a 1 6 8 12 13 15 17 19 22 27 30 36 45 46 60 65 66 67 72 75 78 80 85 88 89 90 91 93 96 100 101 102 105 107 110 117 118 119 121 122 123 124 129 134 135 138 140 143 146 152 165 171 173 177 178 180 184 186 187 194 195 196 197 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 245 250 252 256 269 271 275 277 284 287 290 292 293 295 302 306 308 309 317 318 320 321 324 328 331 333 335 336 346 350 357 362 364 365 367 372 375 376 379 382 383 385 388 390 391 393 395 397 398 400 401 402 404 406 407 409 416 426 428 432 445 448 458 462 467 468 471 472 473 474 478 481 482 494 500 505 507 509 514 515 516 a 1 6 8 12 13 15 17 19 22 27 30 36 45 46 60 65 66 67 72 75 78 80 85 88 89 90 91 93 96 100 101 102 105 107 110 117 118 119 121 122 123 124 129 134 135 138 140 143 146 152 165 171 173 177 178 180 184 186 187 194 195 196 197 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 245 250 252 256 269 271 275 277 284 290 292 293 295 302 306 308 309 317 318 320 321 324 328 331 333 335 336 346 350 357 362 364 365 367 370 372 375 376 379 382 383 385 388 390 391 393 395 397 398 400 401 402 404 406 407 409 416 426 428 432 445 448 458 462 467 468 471 472 473 474 478 481 482 494 500 505 507 509 514 515 516 a 1 6 8 12 13 15 17 19 22 27 30 36 45 46 60 65 66 67 72 75 78 80 85 88 89 90 91 93 96 100 101 102 105 107 110 117 118 119 121 122 123 124 129 134 135 138 140 143 146 152 165 171 173 177 178 180 184 186 187 191 194 195 196 197 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 245 250 252 256 269 271 275 277 284 290 292 293 295 302 306 308 309 317 318 320 321 324 328 331 333 335 336 346 350 357 362 364 365 367 370 372 376 379 382 383 385 388 390 391 393 395 397 398 400 401 402 404 406 407 409 416 426 428 432 445 448 458 462 467 468 471 472 473 474 478 481 482 494 500 505 507 509 514 515 516 a 6 8 12 13 15 17 19 22 27 30 36 45 46 60 65 66 67 72 75 78 80 85 88 89 90 91 93 96 100 101 102 105 107 110 117 118 119 121 122 123 124 129 134 135 138 140 143 146 152 165 171 173 177 178 180 184 186 187 191 194 195 196 197 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 245 250 252 256 269 271 274 275 277 284 290 292 293 295 302 306 308 309 317 318 320 321 324 328 331 333 335 336 346 350 357 362 364 365 367 370 372 376 379 382 383 385 388 390 391 393 395 397 398 400 401 402 404 406 407 409 416 426 428 432 445 448 458 462 467 468 471 472 473 474 478 481 482 494 500 505 507 509 514 515 516 a 6 8 12 13 15 17 19 22 27 30 36 45 46 53 60 65 66 67 72 75 78 80 85 88 89 90 91 93 96 100 101 102 105 107 110 117 118 119 121 122 123 124 129 134 135 138 140 143 146 152 165 171 173 177 178 180 184 186 187 191 194 195 197 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 245 250 252 256 269 271 274 275 277 284 290 292 293 295 302 306 308 309 317 318 320 321 324 328 331 333 335 336 346 350 357 362 364 365 367 370 372 376 379 382 383 385 388 390 391 393 395 397 398 400 401 402 404 406 407 409 416 426 428 432 445 448 458 462 467 468 471 472 473 474 478 481 482 494 500 505 507 509 514 515 516 a 6 8 12 13 15 17 19 22 27 30 36 41 45 46 53 60 65 66 67 72 75 78 80 85 88 89 90 91 93 96 100 101 102 105 107 110 117 118 119 121 122 123 124 129 135 138 140 143 146 152 165 171 173 177 178 180 184 186 187 191 194 195 197 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 245 250 252 256 269 271 274 275 277 284 290 292 293 295 302 306 308 309 317 318 320 321 324 328 331 333 335 336 346 350 357 362 364 365 367 370 372 376 379 382 383 385 388 390 391 393 395 397 398 400 401 402 404 406 407 409 416 426 428 432 445 448 458 462 467 468 471 472 473 474 478 481 482 494 500 505 507 509 514 515 516 a 6 8 12 13 15 17 19 22 27 30 36 41 45 46 53 60 65 66 67 72 75 78 80 81 85 88 89 90 91 93 96 100 101 102 105 107 110 117 118 119 121 122 123 124 129 135 138 140 143 146 152 165 171 173 177 178 180 184 186 187 191 194 195 197 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 245 250 252 256 269 271 274 275 277 284 290 292 293 295 302 306 308 309 317 318 320 321 324 328 331 333 335 336 346 350 357 362 364 365 367 370 372 376 379 382 383 385 388 390 391 393 395 397 398 400 401 402 404 406 407 409 416 426 428 432 445 448 458 462 467 468 471 472 473 474 478 481 482 500 505 507 509 514 515 516 a 6 8 12 13 15 17 19 22 27 30 36 41 45 46 53 60 65 66 67 72 75 78 80 81 85 88 89 90 91 93 96 100 101 102 105 107 110 117 118 119 121 122 123 124 129 135 138 140 143 146 152 165 171 173 177 178 180 184 186 187 191 194 195 197 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 245 250 252 256 269 271 274 275 277 284 290 292 293 295 302 306 308 309 317 318 320 321 324 328 331 333 335 336 346 350 353 357 362 364 365 367 370 372 376 379 382 383 385 388 390 391 393 395 397 398 400 401 402 404 406 407 416 426 428 432 445 448 458 462 467 468 471 472 473 474 478 481 482 500 505 507 509 514 515 516 a 6 8 12 13 15 17 19 22 27 30 36 41 45 46 53 60 65 66 67 72 75 78 80 81 85 88 89 90 91 93 96 100 101 102 105 107 110 117 118 119 121 122 123 124 129 135 138 140 143 146 152 165 171 173 177 178 180 184 186 187 191 194 195 197 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 245 250 252 256 269 271 274 275 277 284 290 292 293 295 302 306 308 309 317 318 320 321 324 328 331 333 335 336 346 350 353 357 362 364 365 367 370 372 376 379 383 385 388 390 391 393 395 397 398 400 401 402 404 406 407 416 426 428 432 445 448 458 462 467 468 471 472 473 474 478 481 482 486 500 505 507 509 514 515 516 a 6 8 12 13 15 17 19 22 27 30 36 41 45 46 53 60 65 66 67 72 75 78 80 81 85 88 89 90 91 93 96 100 101 102 105 107 110 117 118 119 121 122 123 124 129 135 138 140 143 146 152 165 171 173 177 178 180 186 187 191 194 195 197 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 245 250 252 256 269 271 274 275 277 284 290 292 293 295 302 306 308 309 317 318 320 321 324 328 331 333 335 336 346 350 353 357 362 364 365 367 370 372 376 379 383 385 388 390 391 393 395 397 398 400 401 402 404 406 407 416 426 428 432 445 448 458 462 467 468 469 471 472 473 474 478 481 482 486 500 505 507 509 514 515 516 a 6 8 12 13 15 17 19 22 27 30 36 41 45 46 53 60 65 66 67 72 75 78 80 81 85 88 89 90 91 93 96 100 101 102 105 107 110 117 118 119 121 122 123 124 129 135 138 140 142 143 146 152 165 171 173 177 178 180 186 187 191 194 195 197 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 245 250 252 256 269 271 274 275 277 284 290 292 293 295 302 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 370 372 376 379 383 385 388 390 391 393 395 397 398 400 401 402 404 406 407 416 426 428 432 445 448 458 462 467 468 469 471 472 473 474 478 481 482 486 500 505 507 509 514 515 516 a 6 8 12 13 15 17 19 22 27 30 36 41 45 46 53 60 65 66 67 72 75 78 80 81 85 88 89 90 91 96 100 101 102 105 107 110 117 118 119 121 122 123 124 129 135 138 140 142 143 146 152 158 165 171 173 177 178 180 186 187 191 194 195 197 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 245 250 252 256 269 271 274 275 277 284 290 292 293 295 302 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 370 372 376 379 383 385 388 390 391 393 395 397 398 400 401 402 404 406 407 416 426 428 432 445 448 458 462 467 468 469 471 472 473 474 478 481 482 486 500 505 507 509 514 515 516 a 6 8 12 13 15 17 19 22 27 30 36 41 45 46 53 60 64 65 66 67 72 75 78 80 81 85 88 89 90 91 96 100 101 102 105 107 110 117 118 119 121 122 123 124 129 135 138 140 142 143 146 152 158 165 171 173 177 178 180 186 187 191 194 195 197 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 245 250 252 256 269 271 274 275 277 284 290 292 293 295 302 306 308 309 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 370 372 376 379 383 385 388 390 391 393 395 397 398 400 401 402 404 406 407 416 426 428 432 445 448 458 462 467 468 469 471 472 473 474 478 481 482 486 500 505 507 509 514 515 516 a 6 8 12 13 15 17 19 22 27 30 36 41 45 46 53 60 64 65 66 67 72 75 78 80 81 85 88 89 90 91 96 100 101 102 105 107 110 117 118 119 121 122 123 124 129 135 138 140 142 143 146 152 158 165 171 173 177 178 180 186 187 191 194 195 197 201 204 205 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 245 250 252 256 269 271 274 275 277 284 290 292 293 295 302 306 308 309 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 370 372 376 379 383 385 388 390 391 393 395 397 398 400 401 404 406 407 411 416 426 428 432 445 448 458 462 467 468 469 471 472 473 474 478 481 482 486 500 505 507 509 514 515 516 a 6 8 12 13 15 17 19 22 27 30 36 41 45 46 53 60 64 65 66 67 72 75 78 80 81 85 88 89 90 91 96 100 101 102 105 107 110 117 118 119 121 122 123 124 129 135 138 140 142 143 146 152 158 165 171 173 177 178 180 186 187 191 194 195 197 201 204 205 211 214 216 217 218 225 226 227 231 232 233 236 237 238 240 244 245 250 252 256 269 271 274 275 277 284 290 292 293 295 302 306 308 309 318 320 324 328 331 333 335 336 346 348 350 353 357 362 364 365 367 370 372 376 379 383 385 388 390 391 393 395 397 398 400 401 404 406 407 411 416 426 428 432 445 448 458 462 467 468 469 471 472 473 474 478 481 482 486 500 505 507 509 514 515 516 a 6 8 12 13 15 17 19 22 27 30 36 41 45 46 53 60 64 65 66 67 72 75 78 80 81 85 88 89 90 91 96 100 101 102 105 107 110 117 118 119 121 122 123 124 129 135 138 140 142 143 146 152 157 158 165 171 173 177 178 180 186 187 191 194 195 197 201 204 205 211 214 216 217 218 225 226 227 231 232 233 236 237 238 240 244 245 250 252 256 269 271 274 275 277 284 290 292 293 295 302 306 308 309 318 320 324 328 331 333 335 336 346 348 350 353 357 362 364 365 367 370 372 376 379 383 385 388 390 391 393 395 397 398 400 401 404 407 411 416 426 428 432 445 448 458 462 467 468 469 471 472 473 474 478 481 482 486 500 505 507 509 514 515 516 a 6 8 12 13 15 17 19 22 27 30 36 41 45 46 53 60 64 65 66 67 68 72 75 78 80 81 85 88 89 90 91 96 100 101 102 107 110 117 118 119 121 122 123 124 129 135 138 140 142 143 146 152 157 158 165 171 173 177 178 180 186 187 191 194 195 197 201 204 205 211 214 216 217 218 225 226 227 231 232 233 236 237 238 240 244 245 250 252 256 269 271 274 275 277 284 290 292 293 295 302 306 308 309 318 320 324 328 331 333 335 336 346 348 350 353 357 362 364 365 367 370 372 376 379 383 385 388 390 391 393 395 397 398 400 401 404 407 411 416 426 428 432 445 448 458 462 467 468 469 471 472 473 474 478 481 482 486 500 505 507 509 514 515 516 a 6 8 12 13 15 17 19 27 30 36 41 45 46 53 60 64 65 66 67 68 72 75 78 80 81 85 88 89 90 91 96 100 101 102 107 110 117 118 119 121 122 123 124 129 135 138 140 142 143 146 152 157 158 165 171 173 177 178 180 186 187 191 194 195 197 201 204 205 210 211 214 216 217 218 225 226 227 231 232 233 236 237 238 240 244 245 250 252 256 269 271 274 275 277 284 290 292 293 295 302 306 308 309 318 320 324 328 331 333 335 336 346 348 350 353 357 362 364 365 367 370 372 376 379 383 385 388 390 391 393 395 397 398 400 401 404 407 411 416 426 428 432 445 448 458 462 467 468 469 471 472 473 474 478 481 482 486 500 505 507 509 514 515 516 a 6 8 12 13 15 17 19 27 30 36 41 45 46 53 60 64 65 66 67 68 72 75 78 80 81 85 88 89 90 91 96 100 101 102 107 110 117 118 119 121 122 123 124 129 135 138 140 142 143 146 152 157 158 165 171 173 177 178 180 186 187 191 194 195 197 201 204 205 210 211 214 216 217 218 225 226 227 231 232 233 236 237 238 240 244 245 250 252 256 269 274 275 277 284 290 292 293 295 302 306 308 309 318 320 324 328 331 333 335 336 346 348 350 353 357 362 364 365 367 368 370 372 376 379 383 385 388 390 391 393 395 397 398 400 401 404 407 411 416 426 428 432 445 448 458 462 467 468 469 471 472 473 474 478 481 482 486 500 505 507 509 514 515 516 a 6 8 12 13 15 19 27 30 36 41 45 46 53 60 64 65 66 67 68 72 75 78 80 81 85 88 89 90 91 96 100 101 102 107 110 117 118 119 121 122 123 124 129 135 138 140 142 143 146 152 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 205 210 211 214 216 217 218 225 226 227 231 232 233 236 237 238 240 244 245 250 252 256 269 274 275 277 284 290 292 293 295 302 306 308 309 318 320 324 328 331 333 335 336 346 348 350 353 357 362 364 365 367 368 370 372 376 379 383 385 388 390 391 393 395 397 398 400 401 404 407 411 416 426 428 432 445 448 458 462 467 468 469 471 472 473 474 478 481 482 486 500 505 507 509 514 515 516 a 6 8 12 13 15 19 27 30 36 41 45 46 53 60 64 65 66 67 68 72 75 78 80 81 85 88 89 90 91 96 100 101 102 107 110 117 118 119 121 122 123 124 129 135 138 140 142 143 146 152 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 205 210 211 214 216 217 218 225 226 227 231 232 233 236 237 238 240 244 245 250 252 256 269 274 275 277 284 290 292 293 302 306 308 309 318 320 324 328 331 333 335 336 346 348 350 353 357 362 364 365 367 368 370 372 376 379 383 385 388 390 391 393 395 397 398 400 401 404 407 411 416 426 428 432 445 448 458 462 467 468 469 470 471 472 473 474 478 481 482 486 500 505 507 509 514 515 516 a 6 8 12 13 15 19 27 30 36 41 45 46 53 60 64 65 66 67 68 72 75 78 80 81 85 88 89 90 91 96 100 101 102 107 110 117 118 119 121 122 123 124 129 135 138 142 143 146 152 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 205 210 211 214 216 217 218 225 226 227 231 232 233 236 237 238 240 244 245 250 252 256 269 274 275 277 284 290 292 293 302 306 308 309 318 320 324 328 331 333 335 336 346 348 350 353 357 362 364 365 367 368 370 371 372 376 379 383 385 388 390 391 393 395 397 398 400 401 404 407 411 416 426 428 432 445 448 458 462 467 468 469 470 471 472 473 474 478 481 482 486 500 505 507 509 514 515 516 a 6 8 12 13 15 19 27 30 36 41 45 46 53 60 64 65 66 67 68 72 75 78 80 81 85 88 89 90 91 96 100 101 102 107 110 117 118 119 121 122 123 124 129 138 142 143 146 152 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 205 210 211 214 216 217 218 225 226 227 231 232 233 236 237 238 240 244 245 250 252 256 269 274 275 277 284 290 292 293 302 306 308 309 318 320 324 328 331 333 335 336 346 348 350 353 357 362 364 365 367 368 370 371 372 376 379 383 385 388 390 391 393 395 397 398 400 401 404 407 411 416 426 428 432 445 448 458 462 467 468 469 470 471 472 473 474 478 481 482 486 488 500 505 507 509 514 515 516 a 6 8 12 13 15 19 27 30 36 41 45 46 53 60 64 65 66 67 68 72 75 78 80 81 85 88 89 90 91 96 100 101 102 107 110 117 118 119 121 122 123 124 129 138 142 143 146 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 205 210 211 214 216 217 218 225 226 227 231 232 233 236 237 238 240 244 245 250 252 256 269 274 275 277 284 290 292 293 302 306 308 309 318 320 324 328 331 333 335 336 346 348 350 353 357 362 364 365 367 368 370 371 372 376 379 383 385 388 390 391 393 395 397 398 400 401 404 407 411 415 416 426 428 432 445 448 458 462 467 468 469 470 471 472 473 474 478 481 482 486 488 500 505 507 509 514 515 516 c Step: 128 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance040_graph005.col /benchmark/random_instance/random_instance040_graph005_01.dat" User time (seconds): 358.63 System time (seconds): 7.06 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:05.71 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): 25363908 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 8592225 Voluntary context switches: 24 Involuntary context switches: 961 Swaps: 0 File system inputs: 0 File system outputs: 1048 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 02:45:54 2023]