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