#BEGIN: [Mon Sep 4 12:36:19 2023] #HOST: s07 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance039_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance039_graph003_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance039_graph003.col /benchmark/random_instance/random_instance039_graph003_01.dat c /benchmark/random_instance/random_instance039_graph003.col c /benchmark/random_instance/random_instance039_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 498 469 171 357 435 507 436 115 296 426 495 328 35 71 118 369 243 451 58 353 196 347 22 206 323 326 199 21 479 44 447 406 98 60 47 12 131 283 489 97 480 224 193 346 251 91 476 262 134 257 232 403 500 307 384 162 198 358 503 331 32 178 82 321 444 491 37 107 276 340 422 173 136 93 299 90 126 379 468 374 169 330 327 6 74 348 62 481 313 268 194 108 127 130 425 378 298 434 122 345 29 210 445 465 31 248 26 147 380 336 391 76 483 48 460 64 352 290 363 502 338 192 165 246 478 155 372 36 413 233 433 387 329 148 16 141 128 462 496 79 96 463 238 344 202 453 241 17 441 420 494 408 85 255 240 170 t 334 403 347 447 43 419 341 89 153 18 288 398 354 392 463 138 336 488 141 48 227 29 454 464 226 260 211 257 444 188 189 252 34 374 331 452 445 338 299 352 353 127 383 194 121 75 115 36 142 145 274 23 81 176 367 389 480 163 277 178 461 151 230 342 485 219 103 155 472 285 337 49 212 469 45 129 209 120 193 490 198 117 335 378 168 71 422 489 387 370 21 244 135 483 263 160 63 47 409 482 181 298 406 225 357 322 474 255 101 157 425 158 282 35 171 56 479 128 405 432 80 396 229 476 492 39 473 65 104 366 3 247 363 468 64 210 344 448 118 192 235 190 99 453 186 297 109 437 119 224 87 148 159 423 478 91 a YES a 6 12 16 17 21 22 26 29 31 32 35 36 37 44 47 48 58 60 62 64 71 74 76 79 82 85 90 91 93 96 97 98 107 108 115 118 122 126 127 128 130 131 134 136 141 147 148 155 162 165 169 170 171 173 178 192 193 194 196 198 199 202 206 210 224 232 233 238 240 241 243 246 248 251 255 257 262 268 276 283 290 296 298 299 307 313 321 323 326 327 328 329 330 331 336 338 340 344 345 346 347 348 352 353 357 358 363 369 372 374 378 379 380 384 387 391 403 406 408 413 420 422 425 426 433 434 435 436 441 444 445 447 451 453 460 462 463 465 468 469 476 478 479 480 481 483 489 491 494 495 496 498 500 502 503 507 a 6 12 16 17 21 22 26 29 31 32 35 36 37 44 47 48 58 60 62 64 71 74 76 79 82 85 90 91 93 96 97 98 107 108 115 118 122 126 127 128 130 131 134 136 141 147 148 155 162 165 169 170 171 173 178 185 192 193 194 196 198 199 202 206 210 224 232 233 238 240 241 243 246 248 251 255 257 262 268 276 283 290 296 298 299 307 313 321 323 326 327 328 329 330 331 338 340 344 345 346 347 348 352 353 357 358 363 369 372 374 378 379 380 384 387 391 403 406 408 413 420 422 425 426 433 434 435 436 441 444 445 447 451 453 460 462 463 465 468 469 476 478 479 480 481 483 489 491 494 495 496 498 500 502 503 507 a 6 12 16 17 21 22 26 29 31 35 36 37 44 47 48 58 60 62 64 71 74 76 79 82 85 90 91 93 96 97 98 107 108 115 118 122 126 127 128 130 131 134 136 141 147 148 155 162 165 169 170 171 173 178 185 192 193 194 196 198 199 202 206 210 224 232 233 238 240 241 243 246 248 251 255 257 262 268 276 283 290 296 298 299 307 313 321 323 326 327 328 329 330 331 338 340 344 345 346 347 348 352 353 357 358 363 369 372 374 378 379 380 384 387 391 403 406 408 413 420 422 423 425 426 433 434 435 436 441 444 445 447 451 453 460 462 463 465 468 469 476 478 479 480 481 483 489 491 494 495 496 498 500 502 503 507 a 6 16 17 21 22 26 29 31 35 36 37 44 47 48 58 60 62 64 71 74 76 79 82 85 90 91 93 96 97 98 107 108 115 118 122 126 127 128 130 131 134 136 141 147 148 155 162 165 169 170 171 173 178 185 192 193 194 196 198 199 202 206 210 224 232 233 238 240 241 243 246 248 251 255 257 262 268 276 283 290 296 298 299 307 313 321 323 326 327 328 329 330 331 338 340 344 345 346 347 348 352 353 357 358 363 369 372 374 378 379 380 384 387 391 403 406 408 413 418 420 422 423 425 426 433 434 435 436 441 444 445 447 451 453 460 462 463 465 468 469 476 478 479 480 481 483 489 491 494 495 496 498 500 502 503 507 a 6 16 17 21 22 26 29 31 32 35 36 37 44 47 48 58 60 62 64 71 74 76 79 82 85 90 91 93 96 97 98 107 108 115 118 122 126 127 128 130 131 134 136 141 147 148 155 162 165 169 170 171 173 178 185 192 193 194 196 198 199 202 206 210 224 232 233 238 240 241 243 246 248 251 255 257 262 268 276 283 290 296 298 299 307 313 321 323 326 327 328 329 330 331 338 340 344 345 346 347 348 352 353 357 358 363 369 372 374 378 379 380 384 387 391 403 406 408 413 418 420 422 425 426 433 434 435 436 441 444 445 447 451 453 460 462 463 465 468 469 476 478 479 480 481 483 489 491 494 495 496 498 500 502 503 507 a 16 17 21 22 26 29 31 32 35 36 37 44 47 48 58 60 62 64 71 74 76 79 82 85 90 91 93 96 97 98 107 108 115 118 122 126 127 128 130 131 134 136 141 147 148 155 162 165 169 170 171 173 178 185 192 193 194 196 198 199 202 206 210 224 232 233 238 240 241 243 246 248 251 255 257 262 268 276 283 290 296 298 299 307 313 321 323 326 327 328 329 330 331 338 340 344 345 346 347 348 352 353 357 358 363 364 369 372 374 378 379 380 384 387 391 403 406 408 413 418 420 422 425 426 433 434 435 436 441 444 445 447 451 453 460 462 463 465 468 469 476 478 479 480 481 483 489 491 494 495 496 498 500 502 503 507 a 16 17 21 22 26 29 31 32 35 36 37 44 47 48 58 60 62 64 71 74 76 79 82 85 90 91 93 96 97 98 107 108 115 118 122 126 127 128 130 131 134 136 141 147 148 155 162 165 169 170 171 173 178 192 193 194 196 198 199 202 206 210 224 232 233 238 240 241 243 246 248 251 255 257 262 268 276 283 290 296 298 299 307 313 321 323 326 327 328 329 330 331 336 338 340 344 345 346 347 348 352 353 357 358 363 364 369 372 374 378 379 380 384 387 391 403 406 408 413 418 420 422 425 426 433 434 435 436 441 444 445 447 451 453 460 462 463 465 468 469 476 478 479 480 481 483 489 491 494 495 496 498 500 502 503 507 a 12 16 17 21 22 26 29 31 32 35 36 37 44 47 48 58 60 62 64 71 74 76 79 82 85 90 91 93 96 97 98 107 108 115 118 122 126 127 128 130 131 134 136 141 147 148 155 162 165 169 170 171 173 178 192 193 194 196 198 199 202 206 210 224 232 233 238 240 241 243 246 248 251 255 257 262 268 276 283 290 296 298 299 307 313 321 323 326 327 328 329 330 331 336 338 340 344 345 346 347 348 352 353 357 358 363 364 369 372 374 378 379 380 384 387 391 403 406 408 413 420 422 425 426 433 434 435 436 441 444 445 447 451 453 460 462 463 465 468 469 476 478 479 480 481 483 489 491 494 495 496 498 500 502 503 507 a 6 12 16 17 21 22 26 29 31 32 35 36 37 44 47 48 58 60 62 64 71 74 76 79 82 85 90 91 93 96 97 98 107 108 115 118 122 126 127 128 130 131 134 136 141 147 148 155 162 165 169 170 171 173 178 192 193 194 196 198 199 202 206 210 224 232 233 238 240 241 243 246 248 251 255 257 262 268 276 283 290 296 298 299 307 313 321 323 326 327 328 329 330 331 336 338 340 344 345 346 347 348 352 353 357 358 363 369 372 374 378 379 380 384 387 391 403 406 408 413 420 422 425 426 433 434 435 436 441 444 445 447 451 453 460 462 463 465 468 469 476 478 479 480 481 483 489 491 494 495 496 498 500 502 503 507 a 6 12 16 17 21 22 26 29 31 32 35 36 44 47 48 58 60 62 64 71 74 76 79 82 85 90 91 93 96 97 98 107 108 115 118 122 126 127 128 130 131 134 136 141 147 148 155 162 165 169 170 171 173 178 192 193 194 196 198 199 202 206 210 224 232 233 238 240 241 243 246 248 251 255 257 262 263 268 276 283 290 296 298 299 307 313 321 323 326 327 328 329 330 331 336 338 340 344 345 346 347 348 352 353 357 358 363 369 372 374 378 379 380 384 387 391 403 406 408 413 420 422 425 426 433 434 435 436 441 444 445 447 451 453 460 462 463 465 468 469 476 478 479 480 481 483 489 491 494 495 496 498 500 502 503 507 a 6 12 16 17 21 22 26 29 31 32 35 36 44 47 48 58 60 62 64 71 74 76 79 82 85 90 91 93 96 97 98 107 108 115 118 122 126 127 128 130 131 134 136 141 147 148 155 162 165 169 170 171 173 178 192 193 194 196 198 199 202 206 210 219 224 232 233 238 240 241 243 246 248 251 255 257 262 263 268 276 283 290 296 298 299 307 313 321 323 326 327 328 329 330 331 336 338 340 344 345 346 347 348 352 353 357 358 363 369 372 374 378 379 380 384 387 391 403 406 408 413 420 422 425 426 433 434 435 436 441 444 445 447 451 453 460 462 463 465 468 469 476 478 479 480 481 483 489 491 494 495 496 498 500 502 503 a 6 12 16 17 21 22 26 29 31 32 35 36 37 44 47 48 58 60 62 64 71 74 76 79 82 85 90 91 93 96 97 98 107 108 115 118 122 126 127 128 130 131 134 136 141 147 148 155 162 165 169 170 171 173 178 192 193 194 196 198 199 202 206 210 219 224 232 233 238 240 241 243 246 248 251 255 257 262 268 276 283 290 296 298 299 307 313 321 323 326 327 328 329 330 331 336 338 340 344 345 346 347 348 352 353 357 358 363 369 372 374 378 379 380 384 387 391 403 406 408 413 420 422 425 426 433 434 435 436 441 444 445 447 451 453 460 462 463 465 468 469 476 478 479 480 481 483 489 491 494 495 496 498 500 502 503 a 6 12 16 17 21 22 26 29 31 32 35 36 37 47 48 58 60 62 64 71 74 76 79 82 85 90 91 93 96 97 98 107 108 115 118 122 126 127 128 130 131 134 136 141 147 148 155 162 165 169 170 171 173 178 192 193 194 196 198 199 202 206 210 219 224 232 233 238 240 241 243 246 248 251 255 257 262 268 276 283 290 296 298 299 307 313 321 323 326 327 328 329 330 331 336 338 340 344 345 346 347 348 352 353 357 358 363 367 369 372 374 378 379 380 384 387 391 403 406 408 413 420 422 425 426 433 434 435 436 441 444 445 447 451 453 460 462 463 465 468 469 476 478 479 480 481 483 489 491 494 495 496 498 500 502 503 a 6 12 16 17 21 22 26 29 31 32 35 36 37 47 48 58 60 62 64 71 74 76 79 82 85 90 91 93 96 97 98 107 108 115 118 122 126 127 128 130 131 134 136 141 147 148 155 162 165 169 170 171 178 192 193 194 196 198 199 202 206 210 219 224 232 233 238 240 241 243 246 248 251 255 257 262 268 276 283 290 296 298 299 307 313 321 323 326 327 328 329 330 331 336 338 340 344 345 346 347 348 352 353 357 358 363 367 369 372 374 378 379 380 384 387 391 403 406 408 413 420 422 425 426 433 434 435 436 441 444 445 447 451 453 460 462 463 465 468 469 475 476 478 479 480 481 483 489 491 494 495 496 498 500 502 503 a 6 12 16 17 21 22 26 29 31 32 35 36 37 47 48 58 60 62 64 71 74 76 79 82 85 90 93 96 97 98 107 108 115 118 122 126 127 128 130 131 134 136 141 147 148 155 162 165 169 170 171 178 192 193 194 196 198 199 202 206 210 215 219 224 232 233 238 240 241 243 246 248 251 255 257 262 268 276 283 290 296 298 299 307 313 321 323 326 327 328 329 330 331 336 338 340 344 345 346 347 348 352 353 357 358 363 367 369 372 374 378 379 380 384 387 391 403 406 408 413 420 422 425 426 433 434 435 436 441 444 445 447 451 453 460 462 463 465 468 469 475 476 478 479 480 481 483 489 491 494 495 496 498 500 502 503 a 6 12 16 17 21 22 26 29 31 32 35 36 47 48 58 60 62 64 71 74 76 79 82 85 90 93 96 97 98 107 108 115 118 122 126 127 128 130 131 134 136 141 147 148 155 162 165 169 170 171 178 192 193 194 196 198 199 202 206 210 215 219 224 232 233 238 240 241 243 246 248 251 255 257 262 263 268 276 283 290 296 298 299 307 313 321 323 326 327 328 329 330 331 336 338 340 344 345 346 347 348 352 353 357 358 363 367 369 372 374 378 379 380 384 387 391 403 406 408 413 420 422 425 426 433 434 435 436 441 444 445 447 451 453 460 462 463 465 468 469 475 476 478 479 480 481 483 489 491 494 495 496 498 500 502 503 a 6 12 16 17 21 22 26 29 31 32 35 36 47 48 58 60 62 64 71 74 76 79 82 85 90 93 96 97 98 107 108 115 118 122 126 127 128 130 131 134 136 141 147 148 155 162 165 169 170 171 178 192 193 194 196 198 199 202 206 210 215 219 224 232 233 238 240 241 246 248 251 255 257 262 263 268 276 283 290 296 298 299 307 313 321 323 326 327 328 329 330 331 336 338 340 344 345 346 347 348 350 352 353 357 358 363 367 369 372 374 378 379 380 384 387 391 403 406 408 413 420 422 425 426 433 434 435 436 441 444 445 447 451 453 460 462 463 465 468 469 475 476 478 479 480 481 483 489 491 494 495 496 498 500 502 503 a 6 12 16 17 21 22 26 29 31 32 35 36 47 48 58 60 62 64 71 74 76 79 82 85 90 93 96 97 98 107 108 115 118 122 126 127 128 130 131 134 136 141 147 148 155 162 165 169 170 171 178 192 193 194 196 198 199 202 206 210 215 224 232 233 238 240 241 246 248 251 255 257 262 263 268 276 283 290 296 298 299 307 313 321 323 326 327 328 329 330 331 336 338 340 344 345 346 347 348 350 352 353 357 358 363 367 369 372 374 378 379 380 384 387 391 403 406 408 413 420 422 425 426 433 434 435 436 441 444 445 447 451 453 460 462 463 465 468 469 475 476 478 479 480 481 483 489 491 494 495 496 498 500 502 503 507 a 6 12 16 17 21 22 26 29 31 32 35 36 47 48 58 60 62 64 71 74 76 79 82 85 90 93 96 97 98 107 108 115 118 122 126 127 128 130 131 134 136 141 147 148 155 162 165 169 170 171 178 192 193 194 196 197 198 199 202 206 210 215 224 232 233 238 240 241 246 248 251 255 257 262 263 268 276 283 290 296 298 299 307 313 321 323 326 327 328 329 330 331 336 338 340 344 345 346 347 348 350 352 353 357 358 363 367 369 372 374 378 379 380 384 387 391 403 406 408 413 420 422 425 426 433 434 435 436 441 444 445 451 453 460 462 463 465 468 469 475 476 478 479 480 481 483 489 491 494 495 496 498 500 502 503 507 a 6 12 16 17 21 22 26 29 31 32 35 36 37 47 48 58 60 62 64 71 74 76 79 82 85 90 93 96 97 98 107 108 115 118 122 126 127 128 130 131 134 136 141 147 148 155 162 165 169 170 171 178 192 193 194 196 197 198 199 202 206 210 215 224 232 233 238 240 241 246 248 251 255 257 262 268 276 283 290 296 298 299 307 313 321 323 326 327 328 329 330 331 336 338 340 344 345 346 347 348 350 352 353 357 358 363 367 369 372 374 378 379 380 384 387 391 403 406 408 413 420 422 425 426 433 434 435 436 441 444 445 451 453 460 462 463 465 468 469 475 476 478 479 480 481 483 489 491 494 495 496 498 500 502 503 507 a 6 12 16 17 21 22 26 29 31 32 35 36 37 47 48 58 60 62 64 71 74 76 79 82 85 90 93 96 97 98 107 108 115 118 122 126 127 128 130 131 134 136 141 147 148 155 162 165 169 170 171 178 188 192 193 194 196 197 198 199 202 206 210 215 224 232 233 238 240 241 246 248 251 255 257 262 268 276 283 290 296 298 299 307 313 321 323 326 327 328 329 330 331 336 338 340 344 345 346 347 348 350 352 353 357 358 363 367 369 372 374 378 379 380 384 387 391 403 406 408 413 420 422 425 426 433 434 435 436 441 444 445 451 453 460 462 463 465 468 469 475 476 478 479 480 481 483 489 491 494 495 496 498 500 502 507 a 6 12 16 17 21 22 26 29 31 32 35 36 37 47 48 56 58 60 62 64 71 74 76 79 82 85 90 93 96 97 98 107 108 115 118 122 126 127 128 130 131 134 136 141 147 148 155 162 165 169 170 171 178 188 192 193 194 196 197 198 199 202 206 210 215 224 232 233 238 240 241 246 248 251 255 257 262 268 276 283 290 296 298 299 307 313 321 323 326 327 328 329 330 331 336 338 340 344 345 346 347 348 350 352 353 357 358 363 367 369 372 374 378 379 380 384 387 391 403 406 408 413 420 422 425 426 433 434 435 441 444 445 451 453 460 462 463 465 468 469 475 476 478 479 480 481 483 489 491 494 495 496 498 500 502 507 a 12 16 17 21 22 26 29 31 32 35 36 37 47 48 56 58 60 62 64 71 74 76 79 82 85 90 93 96 97 98 107 108 115 118 122 126 127 128 130 131 134 136 141 147 148 155 162 165 169 170 171 178 188 192 193 194 196 197 198 199 202 206 210 215 224 232 233 238 240 241 246 248 251 255 257 262 268 276 283 290 296 298 299 307 313 321 323 326 327 328 329 330 331 336 338 340 344 345 346 347 348 350 352 353 357 358 363 364 367 369 372 374 378 379 380 384 387 391 403 406 408 413 420 422 425 426 433 434 435 441 444 445 451 453 460 462 463 465 468 469 475 476 478 479 480 481 483 489 491 494 495 496 498 500 502 507 a 12 16 17 21 22 26 29 31 32 35 36 37 47 48 56 58 60 62 64 71 74 76 79 82 85 90 93 96 97 98 107 108 115 118 122 126 127 128 130 131 134 136 141 147 148 155 162 165 169 170 171 178 188 192 193 194 196 197 198 199 202 206 210 215 224 232 233 238 240 241 243 246 248 251 255 257 262 268 276 283 290 296 298 299 307 313 321 323 326 327 328 329 330 331 336 338 340 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 379 380 384 387 391 403 406 408 413 420 422 425 426 433 434 435 441 444 445 451 453 460 462 463 465 468 469 475 476 478 479 480 481 483 489 491 494 495 496 498 500 502 507 a 12 16 17 21 22 26 29 31 32 35 36 37 47 48 56 58 60 62 64 71 74 76 79 82 85 90 93 96 97 98 107 108 115 118 122 126 127 128 130 131 134 136 141 147 148 155 162 165 169 170 171 178 188 192 193 194 196 197 198 199 202 206 210 215 224 232 233 238 240 241 243 246 248 251 255 257 262 268 276 283 290 293 296 298 299 307 313 321 323 326 327 328 329 330 331 336 338 340 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 379 380 384 387 391 403 406 408 413 420 422 426 433 434 435 441 444 445 451 453 460 462 463 465 468 469 475 476 478 479 480 481 483 489 491 494 495 496 498 500 502 507 a 12 16 17 21 22 26 29 31 32 35 36 37 47 48 56 58 60 62 64 71 74 76 79 82 85 90 93 96 97 98 100 107 108 115 118 122 126 127 128 130 131 134 136 141 147 148 155 162 165 169 170 171 178 188 192 193 194 196 197 198 199 202 206 210 215 224 232 233 238 240 241 243 246 248 251 255 257 262 268 276 283 290 293 296 298 299 307 313 321 323 326 327 328 329 330 331 336 338 340 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 379 380 384 387 391 403 406 408 413 420 422 426 434 435 441 444 445 451 453 460 462 463 465 468 469 475 476 478 479 480 481 483 489 491 494 495 496 498 500 502 507 a 12 16 17 21 22 26 29 31 32 35 36 37 47 48 56 58 60 62 64 71 74 76 79 82 85 90 93 96 97 98 100 107 108 115 118 122 126 127 128 130 131 134 136 141 147 148 155 162 165 169 170 171 178 188 192 193 194 196 197 198 199 202 206 210 215 224 232 233 238 240 241 243 246 248 251 255 257 262 268 276 283 290 296 298 299 307 313 321 323 326 327 328 329 330 331 336 338 340 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 379 380 384 387 391 403 406 408 413 420 422 425 426 434 435 441 444 445 451 453 460 462 463 465 468 469 475 476 478 479 480 481 483 489 491 494 495 496 498 500 502 507 a 12 16 17 21 22 26 29 31 32 35 36 37 47 48 56 58 60 62 64 71 74 76 79 82 85 90 93 96 97 98 100 107 108 115 118 122 126 127 128 130 131 134 136 141 147 148 155 162 165 169 170 171 178 188 192 193 194 196 197 198 199 202 206 210 215 224 232 233 238 240 241 243 246 248 251 255 257 262 268 276 283 290 296 298 299 307 313 321 323 326 327 328 329 330 331 336 338 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 379 380 384 387 391 403 406 408 409 413 420 422 425 426 434 435 441 444 445 451 453 460 462 463 465 468 469 475 476 478 479 480 481 483 489 491 494 495 496 498 500 502 507 a 12 16 17 21 22 26 29 31 32 35 36 37 47 48 56 58 60 62 64 69 71 74 76 79 82 85 90 93 96 97 98 100 107 108 115 118 122 126 127 128 130 131 134 136 141 147 148 155 162 165 169 170 171 178 188 192 193 194 196 197 198 199 202 206 210 215 224 232 233 238 240 241 243 246 248 251 255 257 262 268 276 283 290 296 298 299 307 313 321 323 326 327 328 329 330 331 336 338 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 379 380 384 387 391 403 406 408 409 413 420 422 425 426 434 435 441 444 445 451 453 460 462 463 465 468 469 475 478 479 480 481 483 489 491 494 495 496 498 500 502 507 a 12 16 17 21 22 26 29 31 32 35 36 37 47 48 56 58 60 62 64 69 71 74 76 79 82 85 90 93 96 98 100 107 108 115 118 122 126 127 128 130 131 134 136 139 141 147 148 155 162 165 169 170 171 178 188 192 193 194 196 197 198 199 202 206 210 215 224 232 233 238 240 241 243 246 248 251 255 257 262 268 276 283 290 296 298 299 307 313 321 323 326 327 328 329 330 331 336 338 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 379 380 384 387 391 403 406 408 409 413 420 422 425 426 434 435 441 444 445 451 453 460 462 463 465 468 469 475 478 479 480 481 483 489 491 494 495 496 498 500 502 507 a 12 16 17 21 22 26 29 31 32 35 36 37 47 48 56 58 60 62 64 69 71 74 76 79 82 85 90 93 96 98 100 107 108 115 118 122 126 127 128 130 131 134 136 139 141 147 148 155 162 165 169 170 171 178 188 192 193 194 196 198 199 202 206 210 215 224 232 233 238 240 241 243 246 248 251 255 257 262 268 276 283 290 296 298 299 307 313 321 323 326 327 328 329 330 331 336 338 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 379 380 384 387 391 403 406 408 409 413 420 422 425 426 434 435 441 444 445 447 451 453 460 462 463 465 468 469 475 478 479 480 481 483 489 491 494 495 496 498 500 502 507 a 12 16 17 21 22 26 29 31 32 35 36 37 47 48 56 58 60 62 64 69 71 74 76 79 82 85 90 93 96 98 100 107 108 115 118 122 126 127 128 130 131 134 136 139 141 147 148 155 162 165 169 170 171 178 188 192 193 194 196 198 199 202 206 210 215 224 232 233 238 240 241 243 246 248 251 255 257 262 268 276 283 290 296 298 299 307 313 314 321 323 326 327 328 329 330 331 336 338 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 379 380 384 387 391 403 406 408 409 413 420 422 425 426 434 435 441 444 445 447 451 453 460 462 463 465 468 469 475 478 479 480 481 483 489 491 494 495 496 498 502 507 a 12 16 17 21 22 26 29 31 32 35 36 37 47 48 56 58 60 62 64 69 71 74 76 79 82 85 90 93 96 98 100 107 108 115 118 122 126 127 128 130 131 134 136 139 141 147 148 155 162 165 169 170 171 178 188 192 193 194 196 198 199 202 206 210 215 224 232 233 238 240 241 246 248 251 255 257 262 268 276 283 290 296 298 299 307 313 314 321 322 323 326 327 328 329 330 331 336 338 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 379 380 384 387 391 403 406 408 409 413 420 422 425 426 434 435 441 444 445 447 451 453 460 462 463 465 468 469 475 478 479 480 481 483 489 491 494 495 496 498 502 507 a 12 16 17 21 22 26 29 31 32 35 36 37 47 48 56 58 60 62 64 71 74 76 79 82 85 90 93 96 98 100 107 108 115 118 122 126 127 128 130 131 134 136 139 141 147 148 155 162 165 169 170 171 178 188 192 193 194 196 198 199 202 206 210 215 224 232 233 238 240 241 246 248 251 255 257 262 268 276 283 290 296 298 299 307 313 314 321 322 323 326 327 328 329 330 331 336 338 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 379 380 384 387 391 403 406 408 409 413 420 422 425 426 434 435 441 444 445 447 451 453 460 462 463 465 468 469 475 476 478 479 480 481 483 489 491 494 495 496 498 502 507 a 12 16 17 21 22 26 29 31 32 35 36 37 39 47 48 56 58 60 62 64 71 74 76 79 82 85 90 93 96 98 100 107 108 115 118 122 126 127 128 130 131 134 136 139 141 147 148 155 162 165 169 170 171 178 188 192 193 194 196 198 199 202 206 210 215 224 232 233 238 240 241 246 248 251 255 257 262 268 276 283 290 296 298 299 307 313 314 321 322 323 326 327 328 329 330 331 336 338 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 379 380 384 387 391 403 406 408 409 413 420 422 425 426 434 435 441 444 445 447 451 453 460 462 463 465 468 469 475 476 478 479 480 483 489 491 494 495 496 498 502 507 a 12 16 17 21 22 26 29 31 32 35 36 37 39 47 48 56 58 60 62 64 71 74 76 79 82 85 90 93 96 98 100 107 108 115 118 122 126 127 128 130 131 134 136 139 141 147 148 155 162 165 169 170 171 178 188 192 193 194 196 198 199 202 206 210 215 224 229 232 233 238 240 241 246 248 251 255 257 262 268 276 283 290 296 298 299 307 313 314 321 322 323 326 327 328 329 330 331 336 338 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 379 380 384 387 391 403 406 408 409 413 420 422 425 426 434 435 441 444 445 447 451 453 460 462 463 465 468 469 475 476 478 479 480 483 489 491 494 495 496 498 502 a 12 16 17 21 22 26 29 31 32 35 36 37 39 47 48 56 58 60 62 64 71 74 76 79 82 85 90 93 96 98 100 107 108 115 118 122 126 127 128 130 131 136 139 141 147 148 155 162 165 169 170 171 178 188 192 193 194 196 198 199 202 206 210 215 224 229 232 233 238 240 241 246 248 251 255 257 262 268 276 283 290 296 297 298 299 307 313 314 321 322 323 326 327 328 329 330 331 336 338 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 379 380 384 387 391 403 406 408 409 413 420 422 425 426 434 435 441 444 445 447 451 453 460 462 463 465 468 469 475 476 478 479 480 483 489 491 494 495 496 498 502 a 12 16 17 21 22 26 29 31 32 35 36 37 39 47 48 56 58 60 62 64 71 74 76 79 82 85 90 93 96 98 100 107 108 115 118 122 126 127 128 130 131 136 139 141 147 148 155 159 162 165 169 170 171 178 188 192 193 194 196 198 199 202 206 210 215 224 229 232 233 238 240 241 246 248 251 255 257 262 268 276 283 290 296 297 298 299 307 313 314 321 322 323 326 327 328 329 330 331 336 338 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 379 380 384 387 391 403 406 408 409 413 420 422 425 426 434 435 441 444 445 447 451 453 460 462 463 465 468 469 475 476 478 479 480 483 489 491 494 495 496 498 a 12 16 17 21 22 26 29 31 32 35 36 37 39 47 48 56 58 60 62 64 71 74 76 79 82 85 90 93 96 98 100 107 108 115 118 122 126 127 128 130 131 136 139 141 147 148 155 159 162 165 169 170 171 178 188 192 193 194 196 198 199 202 206 210 215 224 229 232 233 238 240 241 246 248 251 255 257 262 268 276 283 290 296 297 298 299 307 313 314 321 322 323 326 327 328 329 330 331 334 336 338 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 379 380 384 387 391 403 406 408 409 413 420 422 425 426 434 435 441 444 445 447 451 453 460 462 463 465 468 469 475 476 478 479 480 483 489 491 494 495 498 a 12 16 17 21 22 26 29 31 35 36 37 39 47 48 56 58 60 62 64 71 74 76 79 82 85 90 93 96 98 100 107 108 115 118 122 126 127 128 130 131 136 139 141 147 148 155 159 162 165 169 170 171 178 188 190 192 193 194 196 198 199 202 206 210 215 224 229 232 233 238 240 241 246 248 251 255 257 262 268 276 283 290 296 297 298 299 307 313 314 321 322 323 326 327 328 329 330 331 334 336 338 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 379 380 384 387 391 403 406 408 409 413 420 422 425 426 434 435 441 444 445 447 451 453 460 462 463 465 468 469 475 476 478 479 480 483 489 491 494 495 498 a 12 16 17 21 22 26 29 31 35 36 37 39 47 48 56 60 62 64 71 74 76 79 80 82 85 90 93 96 98 100 107 108 115 118 122 126 127 128 130 131 136 139 141 147 148 155 159 162 165 169 170 171 178 188 190 192 193 194 196 198 199 202 206 210 215 224 229 232 233 238 240 241 246 248 251 255 257 262 268 276 283 290 296 297 298 299 307 313 314 321 322 323 326 327 328 329 330 331 334 336 338 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 379 380 384 387 391 403 406 408 409 413 420 422 425 426 434 435 441 444 445 447 451 453 460 462 463 465 468 469 475 476 478 479 480 483 489 491 494 495 498 a 12 16 17 21 22 26 29 31 35 36 37 39 47 48 56 60 62 64 71 74 76 79 80 82 85 90 93 96 98 100 107 108 115 118 122 126 127 128 130 131 136 139 141 147 148 155 159 162 165 169 170 171 178 188 190 192 193 194 196 198 199 202 206 210 215 224 229 232 233 238 240 241 246 248 251 255 257 262 268 276 283 290 296 297 298 299 307 313 314 322 323 326 327 328 329 330 331 334 336 338 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 379 380 384 387 391 403 406 408 409 413 420 422 425 426 434 435 441 444 445 447 451 453 460 462 463 465 468 469 475 476 478 479 480 483 485 489 491 494 495 498 a 12 16 17 21 22 26 29 31 35 36 37 39 47 48 56 60 62 64 71 76 79 80 82 85 90 93 96 98 100 107 108 115 118 122 126 127 128 130 131 136 139 141 147 148 155 159 162 165 169 170 171 178 188 190 192 193 194 196 198 199 202 206 210 215 224 229 232 233 238 240 241 246 248 251 255 257 260 262 268 276 283 290 296 297 298 299 307 313 314 322 323 326 327 328 329 330 331 334 336 338 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 379 380 384 387 391 403 406 408 409 413 420 422 425 426 434 435 441 444 445 447 451 453 460 462 463 465 468 469 475 476 478 479 480 483 485 489 491 494 495 498 a 12 16 17 21 22 26 29 31 35 36 37 39 47 48 56 60 62 64 71 76 79 80 82 85 90 91 93 96 98 100 107 108 115 118 122 126 127 128 130 131 136 139 141 147 148 155 159 162 165 169 170 171 178 188 190 192 193 194 196 198 199 202 206 210 224 229 232 233 238 240 241 246 248 251 255 257 260 262 268 276 283 290 296 297 298 299 307 313 314 322 323 326 327 328 329 330 331 334 336 338 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 379 380 384 387 391 403 406 408 409 413 420 422 425 426 434 435 441 444 445 447 451 453 460 462 463 465 468 469 475 476 478 479 480 483 485 489 491 494 495 498 a 12 16 17 21 22 26 29 31 35 36 37 39 47 48 56 60 62 64 71 76 79 80 82 85 90 91 93 96 98 100 107 108 115 118 122 126 127 128 130 131 136 139 141 147 148 155 159 162 165 169 170 171 178 188 190 192 193 194 196 198 199 202 206 210 212 224 229 232 233 238 240 241 246 248 251 255 257 260 262 268 276 283 290 296 297 298 299 307 313 314 322 323 326 327 328 329 330 331 334 336 338 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 379 384 387 391 403 406 408 409 413 420 422 425 426 434 435 441 444 445 447 451 453 460 462 463 465 468 469 475 476 478 479 480 483 485 489 491 494 495 498 a 12 16 17 21 22 26 29 31 35 36 37 39 47 48 56 60 62 64 71 76 79 80 82 85 90 91 93 96 98 100 107 108 115 118 122 126 127 128 130 131 136 139 141 147 148 155 159 162 165 169 170 171 178 188 190 192 193 194 196 198 199 202 206 210 212 224 229 232 233 238 240 241 246 248 251 255 257 260 262 268 276 283 285 296 297 298 299 307 313 314 322 323 326 327 328 329 330 331 334 336 338 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 379 384 387 391 403 406 408 409 413 420 422 425 426 434 435 441 444 445 447 451 453 460 462 463 465 468 469 475 476 478 479 480 483 485 489 491 494 495 498 a 12 16 17 21 22 26 29 31 35 36 37 39 47 48 56 60 62 64 71 76 79 80 82 85 90 91 93 96 98 100 108 115 118 122 126 127 128 130 131 136 139 141 147 148 155 159 162 165 169 170 171 178 181 188 190 192 193 194 196 198 199 202 206 210 212 224 229 232 233 238 240 241 246 248 251 255 257 260 262 268 276 283 285 296 297 298 299 307 313 314 322 323 326 327 328 329 330 331 334 336 338 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 379 384 387 391 403 406 408 409 413 420 422 425 426 434 435 441 444 445 447 451 453 460 462 463 465 468 469 475 476 478 479 480 483 485 489 491 494 495 498 a 12 16 17 21 22 26 29 31 35 36 37 39 47 48 56 60 62 64 71 79 80 82 85 90 91 93 96 98 100 108 115 118 122 126 127 128 130 131 136 139 141 147 148 155 159 162 165 169 170 171 178 181 188 190 192 193 194 196 198 199 202 206 210 212 219 224 229 232 233 238 240 241 246 248 251 255 257 260 262 268 276 283 285 296 297 298 299 307 313 314 322 323 326 327 328 329 330 331 334 336 338 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 379 384 387 391 403 406 408 409 413 420 422 425 426 434 435 441 444 445 447 451 453 460 462 463 465 468 469 475 476 478 479 480 483 485 489 491 494 495 498 a 12 16 17 21 22 29 31 35 36 37 39 47 48 56 60 62 64 71 79 80 82 85 90 91 93 96 98 100 108 115 118 122 126 127 128 130 131 136 139 141 147 148 155 159 162 165 169 170 171 178 181 188 190 192 193 194 196 198 199 202 206 210 212 219 224 229 232 233 238 240 241 246 248 251 255 257 260 262 268 276 283 285 296 297 298 299 307 313 314 322 323 326 327 328 329 330 331 334 336 338 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 379 384 387 391 403 406 408 409 413 420 422 425 426 434 435 441 444 445 447 448 451 453 460 462 463 465 468 469 475 476 478 479 480 483 485 489 491 494 495 498 a 12 16 17 21 22 29 31 35 36 37 39 47 48 56 60 62 64 71 79 80 82 85 90 91 93 96 98 100 108 115 118 122 126 127 128 130 131 136 139 141 147 148 155 159 162 163 165 169 170 171 178 181 188 190 192 193 194 196 198 199 202 206 210 212 219 224 229 232 233 238 240 241 246 248 251 255 257 260 262 268 276 283 285 296 297 298 299 307 313 314 322 323 326 327 328 329 331 334 336 338 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 379 384 387 391 403 406 408 409 413 420 422 425 426 434 435 441 444 445 447 448 451 453 460 462 463 465 468 469 475 476 478 479 480 483 485 489 491 494 495 498 a 12 16 17 21 22 29 31 35 36 37 39 47 48 56 60 62 64 71 79 80 82 85 87 90 91 93 96 98 100 108 115 118 122 126 127 128 130 131 136 139 141 147 148 155 159 162 163 165 169 170 171 178 181 188 190 192 193 194 196 198 199 202 206 210 212 219 224 229 232 233 238 240 241 246 248 251 255 257 260 262 268 276 283 285 296 297 298 299 307 313 314 322 323 326 327 328 329 331 334 336 338 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 379 384 387 391 403 406 408 409 413 420 422 425 426 434 435 441 444 445 447 448 451 453 460 462 463 465 468 469 475 476 478 479 480 483 485 489 491 494 498 a 12 16 17 21 22 29 31 35 36 37 39 47 48 56 60 62 64 71 79 80 82 85 87 90 91 93 96 98 100 108 115 118 122 126 127 128 130 131 136 139 141 147 148 155 159 162 163 165 169 170 171 178 181 188 190 192 193 194 196 198 199 202 206 210 212 219 224 229 232 233 238 240 241 246 248 251 255 257 260 262 268 276 283 285 296 297 298 299 307 313 314 322 323 326 328 329 331 334 336 337 338 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 379 384 387 391 403 406 408 409 413 420 422 425 426 434 435 441 444 445 447 448 451 453 460 462 463 465 468 469 475 476 478 479 480 483 485 489 491 494 498 a 12 16 17 21 22 29 31 35 36 37 39 47 48 49 56 60 62 64 71 79 80 82 85 87 90 91 93 96 98 100 108 115 118 122 126 127 128 130 131 136 139 141 147 148 155 159 162 163 165 169 170 171 178 181 188 190 192 193 194 196 198 199 202 206 210 212 219 224 229 232 233 238 240 241 246 248 251 255 257 260 262 268 276 283 285 296 297 298 299 307 313 314 322 323 326 328 329 331 334 336 337 338 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 379 384 387 391 403 406 408 409 413 420 422 425 426 434 441 444 445 447 448 451 453 460 462 463 465 468 469 475 476 478 479 480 483 485 489 491 494 498 a 12 16 17 21 22 29 31 35 36 37 39 47 48 49 56 60 62 64 71 79 80 82 85 87 90 91 93 96 98 100 108 115 118 122 126 127 128 130 131 136 138 139 141 147 148 155 159 162 163 165 169 170 171 178 181 188 190 192 193 194 196 198 199 202 206 210 212 219 224 229 232 238 240 241 246 248 251 255 257 260 262 268 276 283 285 296 297 298 299 307 313 314 322 323 326 328 329 331 334 336 337 338 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 379 384 387 391 403 406 408 409 413 420 422 425 426 434 441 444 445 447 448 451 453 460 462 463 465 468 469 475 476 478 479 480 483 485 489 491 494 498 a 12 16 17 21 22 29 31 35 36 37 39 47 48 49 56 60 62 64 71 79 80 81 82 85 87 90 91 93 96 98 100 108 115 118 122 126 127 128 130 131 136 138 139 141 147 148 155 159 162 163 165 169 170 171 178 181 188 190 192 193 194 196 198 199 202 206 210 212 219 224 229 232 238 240 241 246 248 251 255 257 260 262 268 276 283 285 296 297 298 299 307 313 314 322 323 326 328 329 331 334 336 337 338 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 384 387 391 403 406 408 409 413 420 422 425 426 434 441 444 445 447 448 451 453 460 462 463 465 468 469 475 476 478 479 480 483 485 489 491 494 498 a 12 16 17 21 22 29 31 35 36 37 39 47 48 49 56 60 62 64 71 79 80 81 82 85 87 90 91 93 96 98 100 108 115 118 122 126 127 128 130 131 136 138 139 141 147 148 151 155 159 162 163 165 169 170 171 178 181 188 190 192 193 194 196 198 199 202 206 210 212 219 224 229 232 238 240 241 246 248 251 255 257 260 262 268 276 283 285 297 298 299 307 313 314 322 323 326 328 329 331 334 336 337 338 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 384 387 391 403 406 408 409 413 420 422 425 426 434 441 444 445 447 448 451 453 460 462 463 465 468 469 475 476 478 479 480 483 485 489 491 494 498 a 12 16 17 21 22 29 31 35 36 37 39 43 47 48 49 56 60 62 64 71 79 80 81 82 85 87 90 91 93 96 98 100 108 115 118 122 126 127 128 130 131 136 138 139 141 147 148 151 155 159 162 163 165 169 170 171 178 181 188 190 192 193 194 196 198 199 202 206 210 212 219 224 229 232 238 240 241 246 248 251 255 257 260 262 268 276 283 285 297 298 299 307 313 314 322 323 326 328 329 331 334 336 337 338 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 384 387 391 403 406 408 409 413 420 422 425 426 434 441 444 445 447 448 451 453 460 462 463 465 468 469 475 476 478 479 480 483 485 489 491 494 a 12 16 17 21 22 29 31 35 36 37 39 43 47 48 49 56 60 62 64 71 79 80 81 85 87 90 91 93 96 98 100 108 115 118 122 126 127 128 130 131 136 138 139 141 147 148 151 155 159 162 163 165 169 170 171 178 181 188 190 192 193 194 196 198 199 202 206 210 212 219 224 229 232 238 240 241 246 248 251 255 257 260 262 268 276 283 285 297 298 299 307 313 314 322 323 326 328 329 331 334 336 337 338 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 384 387 389 391 403 406 408 409 413 420 422 425 426 434 441 444 445 447 448 451 453 460 462 463 465 468 469 475 476 478 479 480 483 485 489 491 494 a 12 16 17 21 22 29 31 35 36 37 39 43 47 48 49 56 60 62 64 71 79 80 81 85 87 90 91 93 96 98 100 108 115 118 122 126 127 128 131 136 138 139 141 147 148 151 155 159 162 163 165 169 170 171 178 181 188 190 192 193 194 196 198 199 202 206 210 212 219 224 229 232 238 240 241 246 248 251 255 257 260 262 268 276 283 285 297 298 299 307 313 314 322 323 326 328 329 331 334 336 337 338 342 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 384 387 389 391 403 406 408 409 413 420 422 425 426 434 441 444 445 447 448 451 453 460 462 463 465 468 469 475 476 478 479 480 483 485 489 491 494 a 12 16 17 21 22 29 31 35 36 37 39 43 47 48 49 56 60 62 64 71 79 80 81 85 87 90 91 93 96 98 100 108 115 118 122 126 127 128 131 136 138 139 141 147 148 151 155 159 162 163 165 169 170 171 178 181 186 188 190 192 193 194 196 198 199 202 206 210 212 219 224 229 232 238 240 241 246 248 251 255 257 260 262 268 276 283 285 297 298 299 307 313 314 322 323 326 328 329 331 334 336 337 338 342 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 384 387 389 403 406 408 409 413 420 422 425 426 434 441 444 445 447 448 451 453 460 462 463 465 468 469 475 476 478 479 480 483 485 489 491 494 a 12 16 17 21 22 29 31 35 36 37 39 43 47 48 49 56 60 62 64 71 79 80 81 85 87 90 91 93 96 98 100 108 109 115 118 122 126 127 128 131 136 138 139 141 147 148 151 155 159 162 163 165 169 170 171 178 181 186 188 190 192 193 194 196 198 199 202 206 210 212 219 224 229 232 238 240 241 246 248 251 255 257 260 262 268 276 283 285 297 298 299 307 313 314 322 323 326 328 329 331 334 336 337 338 342 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 384 387 389 403 406 408 409 413 420 422 425 426 434 441 444 445 447 448 451 453 460 462 463 465 468 469 475 476 478 479 480 483 485 489 494 a 12 16 17 21 22 29 31 35 36 37 39 43 47 48 49 56 60 62 64 71 79 80 81 85 87 90 91 93 96 98 100 108 109 115 118 122 126 127 128 131 136 138 139 141 147 148 151 155 157 159 162 163 165 169 170 171 178 181 186 188 190 192 193 194 196 198 199 202 206 210 212 219 224 229 232 238 241 246 248 251 255 257 260 262 268 276 283 285 297 298 299 307 313 314 322 323 326 328 329 331 334 336 337 338 342 344 345 346 347 348 352 353 357 358 363 364 367 369 372 374 378 384 387 389 403 406 408 409 413 420 422 425 426 434 441 444 445 447 448 451 453 460 462 463 465 468 469 475 476 478 479 480 483 485 489 494 a 12 16 17 21 22 29 31 35 36 37 39 43 47 48 49 56 60 62 64 71 79 80 81 85 87 90 91 93 96 98 100 108 109 115 118 122 126 127 128 131 136 138 139 141 147 148 151 155 157 159 162 163 165 169 170 171 178 181 186 188 190 192 193 194 196 198 199 202 206 210 212 219 224 229 232 238 241 246 248 251 255 257 260 262 268 276 283 285 297 298 299 307 313 314 322 323 326 328 329 331 334 336 337 338 342 344 345 346 347 348 352 353 354 357 358 363 364 367 369 372 374 378 384 387 389 403 406 408 409 413 420 422 425 426 434 441 444 445 447 448 451 453 462 463 465 468 469 475 476 478 479 480 483 485 489 494 a 12 16 17 21 22 29 31 35 36 37 39 43 47 48 49 56 60 62 64 71 79 80 81 85 87 90 91 93 96 98 100 108 109 115 118 122 126 127 128 131 136 138 139 141 147 148 151 155 157 159 162 163 165 169 170 171 178 181 186 188 190 192 193 194 196 198 199 202 206 210 212 219 224 229 232 238 241 246 248 251 255 257 260 262 268 276 283 285 297 298 299 307 313 314 322 323 326 328 329 331 334 336 337 338 342 344 345 346 347 348 352 353 354 357 358 363 364 367 369 372 374 378 384 387 389 403 406 408 409 413 420 422 425 426 434 441 444 445 447 448 451 453 462 463 465 468 469 474 475 476 478 479 480 483 485 489 a 12 16 17 21 22 29 31 35 36 37 39 43 47 48 49 56 60 62 64 71 79 80 81 85 87 90 91 93 96 98 100 108 109 115 118 122 126 127 128 131 136 138 139 141 147 148 151 155 157 159 162 163 165 169 170 171 178 181 186 188 190 192 193 194 196 198 202 206 210 212 219 224 229 232 238 241 246 248 251 255 257 260 262 268 276 283 285 297 298 299 307 313 314 322 323 326 328 329 331 334 336 337 338 342 344 345 346 347 348 352 353 354 357 358 363 364 367 369 372 374 378 384 387 389 403 406 408 409 413 420 422 423 425 426 434 441 444 445 447 448 451 453 462 463 465 468 469 474 475 476 478 479 480 483 485 489 a 12 16 17 21 22 29 31 35 36 37 39 43 47 48 49 56 60 62 64 71 79 80 81 85 87 90 91 93 96 98 100 108 109 115 118 126 127 128 131 136 138 139 141 147 148 151 155 157 159 162 163 165 169 170 171 178 181 186 188 190 192 193 194 196 198 202 206 210 212 219 224 229 232 238 241 246 248 251 255 257 260 262 268 276 277 283 285 297 298 299 307 313 314 322 323 326 328 329 331 334 336 337 338 342 344 345 346 347 348 352 353 354 357 358 363 364 367 369 372 374 378 384 387 389 403 406 408 409 413 420 422 423 425 426 434 441 444 445 447 448 451 453 462 463 465 468 469 474 475 476 478 479 480 483 485 489 a 12 16 17 21 22 29 31 35 36 37 39 43 47 48 49 56 60 62 64 71 79 80 81 85 87 90 91 93 96 98 100 108 109 115 118 126 127 128 131 136 138 139 141 147 148 151 155 157 159 162 163 169 170 171 178 181 186 188 190 192 193 194 196 198 202 206 210 212 219 224 229 232 238 241 244 246 248 251 255 257 260 262 268 276 277 283 285 297 298 299 307 313 314 322 323 326 328 329 331 334 336 337 338 342 344 345 346 347 348 352 353 354 357 358 363 364 367 369 372 374 378 384 387 389 403 406 408 409 413 420 422 423 425 426 434 441 444 445 447 448 451 453 462 463 465 468 469 474 475 476 478 479 480 483 485 489 a 12 16 17 21 22 29 31 35 36 37 39 43 47 48 49 56 60 62 64 71 79 80 81 85 87 90 91 93 96 98 100 108 109 115 118 126 127 128 131 136 138 139 141 147 148 151 155 157 159 162 163 169 170 171 178 181 186 188 190 192 193 194 196 198 202 206 210 212 219 224 229 232 238 241 244 246 248 251 255 257 260 262 268 276 277 283 285 297 298 299 307 313 314 322 323 326 328 329 331 334 336 337 338 342 344 345 346 347 348 352 353 354 357 358 363 364 367 369 372 374 378 384 387 389 403 406 408 409 420 422 423 425 426 432 434 441 444 445 447 448 451 453 462 463 465 468 469 474 475 476 478 479 480 483 485 489 a 12 16 17 21 22 29 31 35 36 37 39 43 47 48 49 56 60 62 64 71 79 80 81 85 87 90 91 93 96 98 100 108 109 115 118 126 127 128 131 138 139 141 147 148 151 155 157 159 162 163 169 170 171 178 181 186 188 190 192 193 194 196 198 202 206 210 212 219 224 229 232 235 238 241 244 246 248 251 255 257 260 262 268 276 277 283 285 297 298 299 307 313 314 322 323 326 328 329 331 334 336 337 338 342 344 345 346 347 348 352 353 354 357 358 363 364 367 369 372 374 378 384 387 389 403 406 408 409 420 422 423 425 426 432 434 441 444 445 447 448 451 453 462 463 465 468 469 474 475 476 478 479 480 483 485 489 a 12 16 17 21 22 29 31 35 36 37 39 43 47 48 49 56 60 62 64 71 79 80 81 85 87 90 91 93 96 98 100 108 109 115 118 126 127 128 131 138 139 141 147 148 151 155 157 159 162 163 169 170 171 178 181 186 188 190 192 193 194 196 198 202 206 210 212 219 224 229 232 235 238 241 244 246 248 251 255 257 260 262 268 276 277 283 285 297 298 299 307 313 314 322 323 326 328 329 331 334 336 337 338 342 344 345 346 347 348 352 353 354 357 358 363 364 367 372 374 378 384 387 389 403 406 408 409 420 422 423 425 426 432 434 441 444 445 447 448 451 453 462 463 465 468 469 474 475 476 478 479 480 483 485 489 490 a 12 16 17 21 22 29 31 35 36 37 39 43 47 48 49 56 60 62 63 64 71 79 80 81 85 87 90 91 93 96 98 100 108 109 115 118 126 127 128 138 139 141 147 148 151 155 157 159 162 163 169 170 171 178 181 186 188 190 192 193 194 196 198 202 206 210 212 219 224 229 232 235 238 241 244 246 248 251 255 257 260 262 268 276 277 283 285 297 298 299 307 313 314 322 323 326 328 329 331 334 336 337 338 342 344 345 346 347 348 352 353 354 357 358 363 364 367 372 374 378 384 387 389 403 406 408 409 420 422 423 425 426 432 434 441 444 445 447 448 451 453 462 463 465 468 469 474 475 476 478 479 480 483 485 489 490 a 12 16 17 21 22 29 31 35 36 37 39 43 47 48 49 56 60 62 63 64 71 79 80 81 85 87 90 91 93 96 98 100 108 109 115 118 126 127 128 138 139 141 147 148 151 155 157 159 162 163 169 170 171 178 181 186 188 190 192 193 194 196 198 202 206 210 212 219 224 225 229 232 235 238 241 244 246 248 251 255 257 260 262 268 276 277 283 285 297 298 299 307 313 314 322 323 326 328 329 331 334 336 337 338 342 344 345 346 347 348 352 353 354 357 358 363 364 367 372 374 378 384 387 389 403 406 408 409 420 422 423 425 432 434 441 444 445 447 448 451 453 462 463 465 468 469 474 475 476 478 479 480 483 485 489 490 a 12 16 17 21 22 29 31 34 35 36 37 39 43 47 48 49 56 60 62 63 64 71 79 80 81 85 87 90 91 93 96 98 100 108 109 115 118 126 127 128 138 139 141 147 148 151 155 157 159 162 163 169 170 171 178 181 186 188 190 192 193 194 196 198 202 206 210 212 219 224 225 229 232 235 238 241 244 246 248 251 255 257 260 262 268 276 277 283 285 297 298 299 307 313 314 322 323 326 328 329 331 334 336 337 338 342 344 345 346 347 348 352 353 354 357 358 363 364 367 372 374 378 387 389 403 406 408 409 420 422 423 425 432 434 441 444 445 447 448 451 453 462 463 465 468 469 474 475 476 478 479 480 483 485 489 490 a 12 16 17 21 22 29 31 34 35 36 37 39 43 47 48 49 56 60 62 63 64 71 79 80 81 85 87 90 91 93 96 98 100 108 109 115 118 126 127 128 129 138 139 141 147 148 151 155 157 159 162 163 169 170 171 178 181 186 188 190 192 193 194 196 198 202 206 210 212 219 224 225 229 232 235 238 241 244 246 248 251 255 257 260 262 268 276 277 283 285 297 298 299 307 313 314 322 323 326 329 331 334 336 337 338 342 344 345 346 347 348 352 353 354 357 358 363 364 367 372 374 378 387 389 403 406 408 409 420 422 423 425 432 434 441 444 445 447 448 451 453 462 463 465 468 469 474 475 476 478 479 480 483 485 489 490 a 12 16 17 21 22 29 31 34 35 36 37 39 43 47 48 49 56 60 62 63 64 71 79 80 81 85 87 90 91 93 96 98 100 108 109 115 118 126 127 128 129 138 139 141 147 148 151 155 157 159 162 163 169 170 171 178 181 186 188 189 190 192 193 194 196 198 202 206 210 212 219 224 225 229 232 235 238 241 244 246 248 251 255 257 260 262 268 276 277 283 285 297 298 299 307 313 314 322 323 326 329 331 334 336 337 338 342 344 345 346 347 348 352 353 354 357 363 364 367 372 374 378 387 389 403 406 408 409 420 422 423 425 432 434 441 444 445 447 448 451 453 462 463 465 468 469 474 475 476 478 479 480 483 485 489 490 a 12 16 17 21 22 29 31 34 35 36 37 39 43 47 48 49 56 60 62 63 64 71 79 80 81 85 87 90 91 93 96 98 100 108 109 115 118 126 127 128 129 138 139 141 145 147 148 151 155 157 159 162 163 169 170 171 178 181 186 188 189 190 192 193 194 196 198 202 206 210 212 219 224 225 229 232 235 238 241 244 246 248 251 255 257 260 262 268 276 277 283 285 297 298 299 307 313 314 322 323 326 329 331 334 336 337 338 342 344 345 346 347 348 352 353 354 357 363 364 367 372 374 378 387 389 403 406 408 409 420 422 423 425 432 434 441 444 445 447 448 451 453 462 463 468 469 474 475 476 478 479 480 483 485 489 490 a 12 16 17 21 22 29 31 34 35 36 37 39 43 47 48 49 56 60 62 63 64 71 79 80 81 85 87 90 91 93 96 98 100 104 108 109 115 118 126 127 128 129 138 139 141 145 147 148 151 155 157 159 162 163 169 170 171 178 181 186 188 189 190 192 193 194 196 198 202 206 210 212 219 224 225 229 232 235 238 241 244 246 248 251 255 257 260 262 268 276 277 283 285 297 298 299 307 313 314 322 323 326 329 331 334 336 337 338 342 344 345 346 347 348 352 353 354 357 363 364 367 372 374 378 387 389 403 406 408 409 420 422 423 425 432 434 444 445 447 448 451 453 462 463 468 469 474 475 476 478 479 480 483 485 489 490 a 12 16 17 21 22 29 31 34 35 36 37 39 43 47 48 49 56 60 62 63 64 71 79 80 81 85 87 90 91 93 96 98 100 104 108 109 115 118 126 127 128 129 138 139 141 145 147 148 151 155 157 158 159 162 163 169 170 171 178 181 186 188 189 190 192 193 194 196 198 202 206 210 212 219 224 225 229 232 235 238 241 244 246 248 251 255 257 260 262 268 276 277 283 285 297 298 299 307 313 322 323 326 329 331 334 336 337 338 342 344 345 346 347 348 352 353 354 357 363 364 367 372 374 378 387 389 403 406 408 409 420 422 423 425 432 434 444 445 447 448 451 453 462 463 468 469 474 475 476 478 479 480 483 485 489 490 a 12 16 17 21 22 29 31 34 35 36 37 39 43 47 48 49 56 60 62 63 64 71 79 80 81 85 87 90 91 93 96 98 100 104 108 109 115 118 126 127 128 129 138 139 141 145 147 148 151 155 157 158 159 162 163 168 169 170 171 178 181 186 188 189 190 192 193 194 196 198 202 206 210 212 219 224 225 229 232 235 238 241 244 246 248 251 255 257 260 262 268 276 277 283 285 297 298 299 307 313 322 323 326 329 331 334 336 337 338 342 344 345 346 347 348 352 353 354 357 363 364 367 372 374 378 387 389 403 406 409 420 422 423 425 432 434 444 445 447 448 451 453 462 463 468 469 474 475 476 478 479 480 483 485 489 490 a 12 16 17 18 21 22 29 31 34 35 36 37 39 43 47 48 49 56 60 62 63 64 71 79 80 81 85 87 90 91 93 96 98 100 104 108 109 115 118 126 127 128 129 138 139 141 145 147 148 151 155 157 158 159 162 163 168 169 170 171 178 181 186 188 189 190 192 193 194 196 198 202 206 210 212 219 224 225 229 232 235 238 241 244 246 248 251 255 257 260 262 268 276 277 283 285 297 298 299 307 313 322 323 326 329 331 334 336 337 338 342 344 345 346 347 348 352 353 354 357 363 364 367 374 378 387 389 403 406 409 420 422 423 425 432 434 444 445 447 448 451 453 462 463 468 469 474 475 476 478 479 480 483 485 489 490 a 12 16 17 18 21 22 29 31 34 35 36 37 39 43 47 48 49 56 60 62 63 64 71 79 80 81 85 87 90 91 96 98 100 104 108 109 115 118 126 127 128 129 138 139 141 145 147 148 151 155 157 158 159 162 163 168 169 170 171 178 181 186 188 189 190 192 193 194 196 198 202 206 210 212 219 224 225 229 232 235 238 241 244 246 247 248 251 255 257 260 262 268 276 277 283 285 297 298 299 307 313 322 323 326 329 331 334 336 337 338 342 344 345 346 347 348 352 353 354 357 363 364 367 374 378 387 389 403 406 409 420 422 423 425 432 434 444 445 447 448 451 453 462 463 468 469 474 475 476 478 479 480 483 485 489 490 a 12 16 17 18 21 22 29 31 34 35 36 37 39 43 47 48 49 56 60 62 63 64 71 80 81 85 87 90 91 96 98 100 104 108 109 115 118 126 127 128 129 138 139 141 145 147 148 151 153 155 157 158 159 162 163 168 169 170 171 178 181 186 188 189 190 192 193 194 196 198 202 206 210 212 219 224 225 229 232 235 238 241 244 246 247 248 251 255 257 260 262 268 276 277 283 285 297 298 299 307 313 322 323 326 329 331 334 336 337 338 342 344 345 346 347 348 352 353 354 357 363 364 367 374 378 387 389 403 406 409 420 422 423 425 432 434 444 445 447 448 451 453 462 463 468 469 474 475 476 478 479 480 483 485 489 490 a 12 16 17 18 21 22 29 31 34 35 36 37 39 43 47 48 49 56 60 62 63 64 71 80 81 85 87 89 90 91 96 98 100 104 108 109 115 118 126 127 128 129 138 139 141 145 147 148 151 153 155 157 158 159 162 163 168 169 170 171 178 181 186 188 189 190 192 193 194 196 198 202 206 210 212 219 224 225 229 232 235 238 241 244 246 247 248 251 255 257 260 262 268 276 277 283 285 297 298 299 313 322 323 326 329 331 334 336 337 338 342 344 345 346 347 348 352 353 354 357 363 364 367 374 378 387 389 403 406 409 420 422 423 425 432 434 444 445 447 448 451 453 462 463 468 469 474 475 476 478 479 480 483 485 489 490 a 3 12 16 17 18 21 22 29 31 34 35 36 37 39 43 47 48 49 56 60 62 63 64 71 80 81 85 87 89 90 91 96 98 100 104 108 109 115 118 126 127 128 129 138 139 141 145 147 148 151 153 155 157 158 159 162 163 168 169 170 171 178 181 186 188 189 190 192 193 194 196 198 202 206 210 212 219 224 225 229 232 235 238 241 244 246 247 248 251 255 257 260 262 268 276 277 283 285 297 298 299 313 322 323 326 331 334 336 337 338 342 344 345 346 347 348 352 353 354 357 363 364 367 374 378 387 389 403 406 409 420 422 423 425 432 434 444 445 447 448 451 453 462 463 468 469 474 475 476 478 479 480 483 485 489 490 a 3 12 16 17 18 21 22 29 31 34 35 36 37 39 43 47 48 49 56 60 62 63 64 71 80 81 85 87 89 90 91 96 98 100 104 108 109 115 118 126 127 128 129 138 139 141 145 147 148 151 153 155 157 158 159 162 163 168 169 170 171 178 181 186 188 189 190 192 193 194 196 198 202 206 210 212 219 224 225 229 232 235 238 241 244 247 248 251 255 257 260 262 268 276 277 283 285 297 298 299 313 322 323 326 331 334 336 337 338 342 344 345 346 347 348 352 353 354 357 363 364 367 374 378 387 389 403 406 409 420 422 423 425 432 434 444 445 447 448 451 453 462 463 468 469 474 475 476 478 479 480 483 485 488 489 490 a 3 12 16 17 18 21 22 29 31 34 35 36 37 39 43 47 48 49 56 62 63 64 71 80 81 85 87 89 90 91 96 98 100 104 108 109 115 118 126 127 128 129 138 139 141 145 147 148 151 153 155 157 158 159 162 163 168 169 170 171 178 181 186 188 189 190 192 193 194 196 198 202 206 210 212 219 224 225 229 232 235 238 241 244 247 248 251 255 257 260 262 268 276 277 283 285 288 297 298 299 313 322 323 326 331 334 336 337 338 342 344 345 346 347 348 352 353 354 357 363 364 367 374 378 387 389 403 406 409 420 422 423 425 432 434 444 445 447 448 451 453 462 463 468 469 474 475 476 478 479 480 483 485 488 489 490 a 3 12 16 17 18 21 22 29 31 34 35 36 37 39 43 47 48 49 56 62 63 64 71 80 81 85 87 89 90 91 96 98 100 104 108 109 115 118 126 127 128 129 138 139 141 145 147 148 151 153 155 157 158 159 162 163 168 169 170 171 178 181 186 188 189 190 192 193 194 196 198 202 206 210 212 219 224 225 229 232 235 238 241 244 247 248 251 255 257 260 262 268 276 277 283 285 288 297 298 299 313 322 326 331 334 335 336 337 338 342 344 345 346 347 348 352 353 354 357 363 364 367 374 378 387 389 403 406 409 420 422 423 425 432 434 444 445 447 448 451 453 462 463 468 469 474 475 476 478 479 480 483 485 488 489 490 a 3 12 16 17 18 21 22 29 31 34 35 36 37 39 43 47 48 49 56 62 63 64 71 80 81 85 87 89 90 91 96 98 100 104 108 109 115 118 126 127 128 129 138 139 141 145 147 148 151 153 155 157 158 159 163 168 169 170 171 178 181 186 188 189 190 192 193 194 196 198 202 206 210 212 219 224 225 229 232 235 238 241 244 247 248 251 255 257 260 262 268 276 277 283 285 288 297 298 299 313 322 326 331 334 335 336 337 338 342 344 345 346 347 348 352 353 354 357 363 364 367 374 378 387 389 403 405 406 409 420 422 423 425 432 434 444 445 447 448 451 453 462 463 468 469 474 475 476 478 479 480 483 485 488 489 490 a 3 12 16 17 18 21 22 29 31 34 35 36 39 43 47 48 49 56 62 63 64 71 80 81 85 87 89 90 91 96 98 100 104 108 109 115 118 126 127 128 129 138 139 141 145 147 148 151 153 155 157 158 159 163 168 169 170 171 178 181 186 188 189 190 192 193 194 196 198 202 206 210 212 219 224 225 229 232 235 238 241 244 247 248 251 255 257 260 262 268 276 277 283 285 288 297 298 299 313 322 326 331 334 335 336 337 338 342 344 345 346 347 348 352 353 354 357 363 364 367 374 378 387 389 403 405 406 409 420 422 423 425 432 434 444 445 447 448 451 453 461 462 463 468 469 474 475 476 478 479 480 483 485 488 489 490 a 3 12 16 17 18 21 22 29 31 34 35 36 39 43 47 48 49 56 62 63 64 71 80 81 85 87 89 90 91 96 98 100 104 108 109 115 118 126 127 128 129 138 139 141 145 147 148 151 153 155 157 158 159 163 168 169 170 171 178 181 186 188 189 190 192 193 194 196 198 202 206 210 212 219 224 225 229 232 235 238 241 244 247 248 251 255 257 260 262 263 268 276 277 283 285 288 297 298 299 313 322 326 331 334 335 336 337 338 342 344 345 346 347 348 352 353 354 357 363 367 374 378 387 389 403 405 406 409 420 422 423 425 432 434 444 445 447 448 451 453 461 462 463 468 469 474 475 476 478 479 480 483 485 488 489 490 a 3 12 16 17 18 21 22 29 31 34 35 36 39 43 47 48 49 56 62 63 64 71 80 81 85 87 89 90 91 96 98 104 108 109 115 118 126 127 128 129 138 139 141 145 147 148 151 153 155 157 158 159 163 168 169 170 171 178 181 186 188 189 190 192 193 194 196 198 202 206 210 212 219 224 225 229 232 235 238 241 244 247 248 251 255 257 260 262 263 268 276 277 283 285 288 297 298 299 313 322 326 331 334 335 336 337 338 342 344 345 346 347 348 352 353 354 357 363 367 374 378 387 389 403 405 406 409 420 422 423 425 432 434 444 445 447 448 451 453 454 461 462 463 468 469 474 475 476 478 479 480 483 485 488 489 490 a 3 12 16 17 18 21 22 29 31 34 35 36 39 43 47 48 49 56 62 63 64 71 80 81 85 87 89 90 91 96 98 99 104 108 109 115 118 126 127 128 129 138 139 141 145 147 148 151 153 155 157 158 159 163 168 169 170 171 178 181 186 188 189 190 192 193 194 196 198 202 206 210 212 219 224 225 229 232 235 238 241 244 247 248 251 255 257 260 263 268 276 277 283 285 288 297 298 299 313 322 326 331 334 335 336 337 338 342 344 345 346 347 348 352 353 354 357 363 367 374 378 387 389 403 405 406 409 420 422 423 425 432 434 444 445 447 448 451 453 454 461 462 463 468 469 474 475 476 478 479 480 483 485 488 489 490 a 3 16 17 18 21 22 29 31 34 35 36 39 43 47 48 49 56 62 63 64 71 80 81 85 87 89 90 91 96 98 99 104 108 109 115 118 126 127 128 129 138 139 141 145 147 148 151 153 155 157 158 159 163 168 169 170 171 178 181 186 188 189 190 192 193 194 196 198 202 206 210 212 219 224 225 229 232 235 238 241 244 247 248 251 252 255 257 260 263 268 276 277 283 285 288 297 298 299 313 322 326 331 334 335 336 337 338 342 344 345 346 347 348 352 353 354 357 363 367 374 378 387 389 403 405 406 409 420 422 423 425 432 434 444 445 447 448 451 453 454 461 462 463 468 469 474 475 476 478 479 480 483 485 488 489 490 a 3 16 17 18 21 29 31 34 35 36 39 43 47 48 49 56 62 63 64 71 80 81 85 87 89 90 91 96 98 99 104 108 109 115 118 126 127 128 129 138 139 141 142 145 147 148 151 153 155 157 158 159 163 168 169 170 171 178 181 186 188 189 190 192 193 194 196 198 202 206 210 212 219 224 225 229 232 235 238 241 244 247 248 251 252 255 257 260 263 268 276 277 283 285 288 297 298 299 313 322 326 331 334 335 336 337 338 342 344 345 346 347 348 352 353 354 357 363 367 374 378 387 389 403 405 406 409 420 422 423 425 432 434 444 445 447 448 451 453 454 461 462 463 468 469 474 475 476 478 479 480 483 485 488 489 490 a 3 16 18 21 29 31 34 35 36 39 43 47 48 49 56 62 63 64 71 80 81 85 87 89 90 91 96 98 99 104 108 109 115 118 126 127 128 129 138 139 141 142 145 147 148 151 153 155 157 158 159 163 168 169 170 171 178 181 186 188 189 190 192 193 194 196 198 202 206 210 212 219 224 225 226 229 232 235 238 241 244 247 248 251 252 255 257 260 263 268 276 277 283 285 288 297 298 299 313 322 326 331 334 335 336 337 338 342 344 345 346 347 348 352 353 354 357 363 367 374 378 387 389 403 405 406 409 420 422 423 425 432 434 444 445 447 448 451 453 454 461 462 463 468 469 474 475 476 478 479 480 483 485 488 489 490 a 3 16 18 21 29 31 34 35 36 39 43 47 48 49 56 62 63 64 71 80 81 85 87 89 90 91 96 98 99 101 104 108 109 115 118 126 127 128 129 138 139 141 142 145 147 148 151 153 155 157 158 159 163 168 169 170 171 178 181 186 188 189 190 192 193 194 196 198 202 210 212 219 224 225 226 229 232 235 238 241 244 247 248 251 252 255 257 260 263 268 276 277 283 285 288 297 298 299 313 322 326 331 334 335 336 337 338 342 344 345 346 347 348 352 353 354 357 363 367 374 378 387 389 403 405 406 409 420 422 423 425 432 434 444 445 447 448 451 453 454 461 462 463 468 469 474 475 476 478 479 480 483 485 488 489 490 a 3 16 18 21 29 31 34 35 36 39 43 47 48 49 56 62 63 64 71 80 81 85 87 89 90 91 96 98 99 101 104 108 109 115 117 118 126 127 128 129 138 139 141 142 145 147 148 151 153 155 157 158 159 163 168 169 170 171 178 181 186 188 189 190 192 193 194 196 198 202 210 212 219 224 225 226 229 235 238 241 244 247 248 251 252 255 257 260 263 268 276 277 283 285 288 297 298 299 313 322 326 331 334 335 336 337 338 342 344 345 346 347 348 352 353 354 357 363 367 374 378 387 389 403 405 406 409 420 422 423 425 432 434 444 445 447 448 451 453 454 461 462 463 468 469 474 475 476 478 479 480 483 485 488 489 490 a 3 18 21 29 31 34 35 36 39 43 47 48 49 56 62 63 64 71 80 81 85 87 89 90 91 96 98 99 101 104 108 109 115 117 118 126 127 128 129 138 139 141 142 145 147 148 151 153 155 157 158 159 163 168 169 170 171 178 181 186 188 189 190 192 193 194 196 198 202 210 212 219 224 225 226 229 235 238 241 244 247 248 251 252 255 257 260 263 268 276 277 283 285 288 297 298 299 313 322 326 331 334 335 336 337 338 342 344 345 346 347 348 352 353 354 357 363 367 374 378 387 389 403 405 406 409 420 422 423 425 432 434 444 445 447 448 451 453 454 461 462 463 468 469 474 475 476 478 479 480 482 483 485 488 489 490 a 3 18 21 23 29 31 34 35 36 39 43 47 48 49 56 62 63 64 71 80 81 85 87 89 90 91 96 99 101 104 108 109 115 117 118 126 127 128 129 138 139 141 142 145 147 148 151 153 155 157 158 159 163 168 169 170 171 178 181 186 188 189 190 192 193 194 196 198 202 210 212 219 224 225 226 229 235 238 241 244 247 248 251 252 255 257 260 263 268 276 277 283 285 288 297 298 299 313 322 326 331 334 335 336 337 338 342 344 345 346 347 348 352 353 354 357 363 367 374 378 387 389 403 405 406 409 420 422 423 425 432 434 444 445 447 448 451 453 454 461 462 463 468 469 474 475 476 478 479 480 482 483 485 488 489 490 a 3 18 21 23 29 31 34 35 36 39 43 47 48 49 56 62 63 64 71 80 81 85 87 89 91 96 99 101 104 108 109 115 117 118 126 127 128 129 138 139 141 142 145 147 148 151 153 155 157 158 159 163 168 169 170 171 178 181 186 188 189 190 192 193 194 196 198 202 210 212 219 224 225 226 229 235 238 241 244 247 248 251 252 255 257 260 263 268 276 277 282 283 285 288 297 298 299 313 322 326 331 334 335 336 337 338 342 344 345 346 347 348 352 353 354 357 363 367 374 378 387 389 403 405 406 409 420 422 423 425 432 434 444 445 447 448 451 453 454 461 462 463 468 469 474 475 476 478 479 480 482 483 485 488 489 490 a 3 18 21 23 29 31 34 35 36 39 43 47 48 49 56 62 63 64 71 80 81 85 87 89 91 96 99 101 104 108 109 115 117 118 126 127 128 129 138 139 141 142 145 147 148 151 153 155 157 158 159 163 168 169 170 171 178 181 186 188 189 190 192 193 194 196 198 202 210 212 219 224 225 226 229 235 238 241 244 247 248 251 252 255 257 260 263 268 276 277 282 283 285 288 297 298 299 313 322 331 334 335 336 337 338 342 344 345 346 347 348 352 353 354 357 363 367 374 378 387 389 403 405 406 409 420 422 423 425 432 434 444 445 447 448 451 453 454 461 462 463 464 468 469 474 475 476 478 479 480 482 483 485 488 489 490 a 3 18 21 23 29 31 34 35 36 39 43 47 48 49 56 62 63 64 71 80 81 85 87 89 91 96 99 101 104 108 109 115 117 118 126 127 128 129 138 139 141 142 145 147 148 151 153 155 157 158 159 163 168 170 171 178 181 186 188 189 190 192 193 194 196 198 202 210 212 219 224 225 226 229 235 238 241 244 247 248 251 252 255 257 260 263 268 276 277 282 283 285 288 297 298 299 313 322 331 334 335 336 337 338 342 344 345 346 347 348 352 353 354 357 363 367 374 378 387 389 403 405 406 409 419 420 422 423 425 432 434 444 445 447 448 451 453 454 461 462 463 464 468 469 474 475 476 478 479 480 482 483 485 488 489 490 a 3 18 21 23 29 31 34 35 36 39 43 47 48 49 56 62 63 64 71 80 81 85 87 89 91 96 99 101 104 108 109 115 117 118 126 127 128 129 138 139 141 142 145 147 148 151 153 155 157 158 159 163 168 170 171 178 181 186 188 189 190 192 193 194 196 198 202 210 212 219 224 225 226 229 235 238 241 244 247 248 251 252 255 257 260 263 268 274 276 277 282 283 285 288 297 298 299 322 331 334 335 336 337 338 342 344 345 346 347 348 352 353 354 357 363 367 374 378 387 389 403 405 406 409 419 420 422 423 425 432 434 444 445 447 448 451 453 454 461 462 463 464 468 469 474 475 476 478 479 480 482 483 485 488 489 490 a 3 18 21 23 29 31 34 35 36 39 43 47 48 49 56 62 63 64 71 80 81 85 87 89 91 96 99 101 104 108 109 115 117 118 126 127 128 129 138 139 141 142 145 147 148 151 153 155 157 158 159 163 168 170 171 178 181 186 188 189 190 192 193 194 196 198 202 210 211 212 219 224 225 226 229 235 238 241 244 247 248 251 252 255 257 260 263 268 274 276 277 282 285 288 297 298 299 322 331 334 335 336 337 338 342 344 345 346 347 348 352 353 354 357 363 367 374 378 387 389 403 405 406 409 419 420 422 423 425 432 434 444 445 447 448 451 453 454 461 462 463 464 468 469 474 475 476 478 479 480 482 483 485 488 489 490 a 3 18 21 23 29 31 34 35 36 39 43 47 48 49 56 62 63 64 71 80 81 85 87 89 91 96 99 101 104 108 109 115 117 118 126 127 128 129 138 139 141 142 145 147 148 151 153 155 157 158 159 163 168 171 178 181 186 188 189 190 192 193 194 196 198 202 210 211 212 219 224 225 226 229 235 238 241 244 247 248 251 252 255 257 260 263 268 274 276 277 282 285 288 297 298 299 322 331 334 335 336 337 338 342 344 345 346 347 348 352 353 354 357 363 367 374 378 387 389 403 405 406 409 419 420 422 423 425 432 434 444 445 447 448 451 453 454 461 462 463 464 468 469 472 474 475 476 478 479 480 482 483 485 488 489 490 a 3 18 21 23 29 31 34 35 36 39 43 47 48 49 56 62 63 64 71 80 81 85 87 89 91 96 99 101 104 108 109 115 117 118 126 127 128 129 135 138 139 141 142 145 147 148 151 153 155 157 158 159 163 168 171 178 181 186 188 189 190 192 193 194 196 198 202 210 211 212 219 224 225 226 229 235 238 241 244 247 248 251 252 255 257 260 263 268 274 276 277 282 285 288 297 298 299 322 331 334 335 336 337 338 342 344 345 346 347 348 352 353 354 357 363 367 374 378 387 389 403 405 406 409 419 420 422 423 425 432 434 444 445 447 448 451 453 454 461 462 463 464 468 469 472 474 476 478 479 480 482 483 485 488 489 490 a 3 18 21 23 29 31 34 35 36 39 43 47 48 49 56 62 63 64 71 80 81 85 87 89 91 96 99 101 104 108 109 115 117 118 126 127 128 129 135 138 139 141 142 145 147 148 151 153 155 157 158 159 163 168 171 178 181 186 188 189 190 192 193 194 196 198 202 210 211 212 219 224 225 226 227 229 235 238 241 244 247 248 251 252 255 257 260 263 274 276 277 282 285 288 297 298 299 322 331 334 335 336 337 338 342 344 345 346 347 348 352 353 354 357 363 367 374 378 387 389 403 405 406 409 419 420 422 423 425 432 434 444 445 447 448 451 453 454 461 462 463 464 468 469 472 474 476 478 479 480 482 483 485 488 489 490 a 3 18 21 23 29 31 34 35 36 39 43 47 48 49 56 62 63 64 71 80 81 85 87 89 91 96 99 101 104 108 109 115 117 118 126 127 128 129 135 138 139 141 142 145 147 148 151 153 155 157 158 159 163 168 171 178 181 186 188 189 190 192 193 194 196 198 202 210 211 212 219 224 225 226 227 229 235 241 244 247 248 251 252 255 257 260 263 274 276 277 282 285 288 297 298 299 322 331 334 335 336 337 338 342 344 345 346 347 348 352 353 354 357 363 367 374 378 387 389 403 405 406 409 419 420 422 423 425 432 434 444 445 447 448 451 453 454 461 462 463 464 468 469 472 473 474 476 478 479 480 482 483 485 488 489 490 a 3 18 21 23 29 31 34 35 36 39 43 47 48 49 56 62 63 64 71 75 80 81 85 87 89 91 96 99 101 104 108 109 115 117 118 126 127 128 129 135 138 139 141 142 145 147 148 151 153 155 157 158 159 163 168 171 178 181 186 188 189 190 192 193 194 196 198 202 210 211 212 219 224 225 226 227 229 235 241 244 247 248 251 252 255 257 260 263 274 276 277 282 285 288 297 298 299 322 331 334 335 336 337 338 342 344 345 346 347 348 352 353 354 357 363 367 374 378 387 389 403 405 406 409 419 420 422 423 425 432 434 444 445 447 448 453 454 461 462 463 464 468 469 472 473 474 476 478 479 480 482 483 485 488 489 490 a 3 18 21 23 29 31 34 35 36 39 43 47 48 49 56 62 63 64 65 71 75 80 81 85 87 89 91 96 99 101 104 108 109 115 117 118 126 127 128 129 135 138 139 141 142 145 147 148 151 153 155 157 158 159 163 168 171 178 181 186 188 189 190 192 193 194 196 198 210 211 212 219 224 225 226 227 229 235 241 244 247 248 251 252 255 257 260 263 274 276 277 282 285 288 297 298 299 322 331 334 335 336 337 338 342 344 345 346 347 348 352 353 354 357 363 367 374 378 387 389 403 405 406 409 419 420 422 423 425 432 434 444 445 447 448 453 454 461 462 463 464 468 469 472 473 474 476 478 479 480 482 483 485 488 489 490 a 3 18 21 23 29 31 34 35 36 39 43 47 48 49 56 62 63 64 65 71 75 80 81 85 87 89 91 96 99 101 104 109 115 117 118 126 127 128 129 135 138 139 141 142 145 147 148 151 153 155 157 158 159 160 163 168 171 178 181 186 188 189 190 192 193 194 196 198 210 211 212 219 224 225 226 227 229 235 241 244 247 248 251 252 255 257 260 263 274 276 277 282 285 288 297 298 299 322 331 334 335 336 337 338 342 344 345 346 347 348 352 353 354 357 363 367 374 378 387 389 403 405 406 409 419 420 422 423 425 432 434 444 445 447 448 453 454 461 462 463 464 468 469 472 473 474 476 478 479 480 482 483 485 488 489 490 a 3 18 21 23 29 31 34 35 36 39 43 47 48 49 56 62 63 64 65 71 75 80 81 85 87 89 91 96 99 101 104 109 115 117 118 126 127 128 129 135 138 139 141 142 145 147 148 151 153 155 157 158 159 160 163 168 171 178 181 186 188 189 190 192 193 194 196 198 210 211 212 219 224 225 226 227 229 235 241 244 247 251 252 255 257 260 263 274 276 277 282 285 288 297 298 299 322 331 334 335 336 337 338 342 344 345 346 347 348 352 353 354 357 363 367 374 378 387 389 398 403 405 406 409 419 420 422 423 425 432 434 444 445 447 448 453 454 461 462 463 464 468 469 472 473 474 476 478 479 480 482 483 485 488 489 490 a 3 18 21 23 29 31 34 35 36 39 43 47 48 49 56 62 63 64 65 71 75 80 81 85 87 89 91 96 99 101 104 109 115 117 118 119 126 127 128 129 135 138 139 141 142 145 147 148 151 153 155 157 158 159 160 163 168 171 178 181 186 188 189 190 192 193 194 196 198 210 211 212 219 224 225 226 227 229 235 241 244 247 251 252 255 257 260 263 274 276 277 282 285 288 297 298 299 322 331 334 335 336 337 338 342 344 345 346 347 348 352 353 354 357 363 367 374 378 387 389 398 403 405 406 409 419 420 422 423 425 432 444 445 447 448 453 454 461 462 463 464 468 469 472 473 474 476 478 479 480 482 483 485 488 489 490 a 3 18 21 23 29 31 34 35 36 39 43 47 48 49 56 62 63 64 65 71 75 80 81 85 87 89 91 96 99 101 104 109 115 117 118 119 126 127 128 129 135 138 139 141 142 145 147 148 151 153 155 157 158 159 160 163 168 171 178 181 186 188 189 190 192 193 194 196 198 210 211 212 219 224 225 226 227 229 235 241 244 247 251 252 255 257 260 263 274 276 277 282 285 288 297 298 299 322 331 334 335 336 337 338 341 342 344 345 346 347 352 353 354 357 363 367 374 378 387 389 398 403 405 406 409 419 420 422 423 425 432 444 445 447 448 453 454 461 462 463 464 468 469 472 473 474 476 478 479 480 482 483 485 488 489 490 a 3 18 21 23 29 31 34 35 36 39 43 47 48 49 56 62 63 64 65 71 75 80 81 85 87 89 91 96 99 101 104 109 115 117 118 119 126 127 128 129 135 138 139 141 142 145 147 148 151 153 155 157 158 159 160 163 168 171 178 181 186 188 189 190 192 193 194 196 198 209 210 211 212 219 224 225 226 227 229 235 241 244 247 251 252 255 257 260 263 274 277 282 285 288 297 298 299 322 331 334 335 336 337 338 341 342 344 345 346 347 352 353 354 357 363 367 374 378 387 389 398 403 405 406 409 419 420 422 423 425 432 444 445 447 448 453 454 461 462 463 464 468 469 472 473 474 476 478 479 480 482 483 485 488 489 490 a 3 18 21 23 29 31 34 35 36 39 43 47 48 49 56 62 63 64 65 71 75 80 81 85 87 89 91 96 99 101 104 109 115 117 118 119 126 127 128 129 135 138 141 142 145 147 148 151 153 155 157 158 159 160 163 168 171 178 181 186 188 189 190 192 193 194 196 198 209 210 211 212 219 224 225 226 227 229 235 241 244 247 251 252 255 257 260 263 274 277 282 285 288 297 298 299 322 331 334 335 336 337 338 341 342 344 345 346 347 352 353 354 357 363 367 374 378 383 387 389 398 403 405 406 409 419 420 422 423 425 432 444 445 447 448 453 454 461 462 463 464 468 469 472 473 474 476 478 479 480 482 483 485 488 489 490 a 3 18 21 23 29 31 34 35 36 39 43 47 48 49 56 62 63 64 65 71 75 80 81 85 87 89 91 96 99 101 104 109 115 117 118 119 127 128 129 135 138 141 142 145 147 148 151 153 155 157 158 159 160 163 168 171 178 181 186 188 189 190 192 193 194 196 198 209 210 211 212 219 224 225 226 227 229 230 235 241 244 247 251 252 255 257 260 263 274 277 282 285 288 297 298 299 322 331 334 335 336 337 338 341 342 344 345 346 347 352 353 354 357 363 367 374 378 383 387 389 398 403 405 406 409 419 420 422 423 425 432 444 445 447 448 453 454 461 462 463 464 468 469 472 473 474 476 478 479 480 482 483 485 488 489 490 a 3 18 21 23 29 31 34 35 36 39 43 47 48 49 56 63 64 65 71 75 80 81 85 87 89 91 96 99 101 104 109 115 117 118 119 127 128 129 135 138 141 142 145 147 148 151 153 155 157 158 159 160 163 168 171 176 178 181 186 188 189 190 192 193 194 196 198 209 210 211 212 219 224 225 226 227 229 230 235 241 244 247 251 252 255 257 260 263 274 277 282 285 288 297 298 299 322 331 334 335 336 337 338 341 342 344 345 346 347 352 353 354 357 363 367 374 378 383 387 389 398 403 405 406 409 419 420 422 423 425 432 444 445 447 448 453 454 461 462 463 464 468 469 472 473 474 476 478 479 480 482 483 485 488 489 490 a 3 18 21 23 29 31 34 35 36 39 43 47 48 49 56 63 64 65 71 75 80 81 85 87 89 91 96 99 101 104 109 115 117 118 119 120 127 128 129 135 138 141 142 145 147 148 151 153 155 157 158 159 160 163 168 171 176 178 181 186 188 189 190 192 193 194 198 209 210 211 212 219 224 225 226 227 229 230 235 241 244 247 251 252 255 257 260 263 274 277 282 285 288 297 298 299 322 331 334 335 336 337 338 341 342 344 345 346 347 352 353 354 357 363 367 374 378 383 387 389 398 403 405 406 409 419 420 422 423 425 432 444 445 447 448 453 454 461 462 463 464 468 469 472 473 474 476 478 479 480 482 483 485 488 489 490 a 3 18 21 23 29 31 34 35 36 39 43 47 48 49 56 63 64 65 71 75 80 81 85 87 89 91 96 99 101 104 109 115 117 118 119 120 127 128 129 135 138 141 142 145 147 148 151 153 155 157 158 159 160 163 168 171 176 178 181 186 188 189 190 192 193 194 198 209 210 211 212 219 224 225 226 227 229 230 235 241 244 247 251 252 255 257 260 263 274 277 282 285 288 297 298 299 322 331 334 335 336 337 338 341 342 344 345 346 347 352 353 354 357 363 367 374 378 383 387 389 398 403 405 406 409 419 422 423 425 432 444 445 447 448 453 454 461 462 463 464 468 469 472 473 474 476 478 479 480 482 483 485 488 489 490 492 a 3 18 21 23 29 31 34 35 36 39 43 47 48 49 56 63 64 65 71 75 80 81 85 87 89 91 96 99 101 104 109 115 117 118 119 120 121 127 128 129 135 138 141 142 145 148 151 153 155 157 158 159 160 163 168 171 176 178 181 186 188 189 190 192 193 194 198 209 210 211 212 219 224 225 226 227 229 230 235 241 244 247 251 252 255 257 260 263 274 277 282 285 288 297 298 299 322 331 334 335 336 337 338 341 342 344 345 346 347 352 353 354 357 363 367 374 378 383 387 389 398 403 405 406 409 419 422 423 425 432 444 445 447 448 453 454 461 462 463 464 468 469 472 473 474 476 478 479 480 482 483 485 488 489 490 492 a 3 18 21 23 29 31 34 35 36 39 43 47 48 49 56 63 64 65 71 75 80 81 85 87 89 91 96 99 101 104 109 115 117 118 119 120 121 127 128 129 135 138 141 142 145 148 151 153 155 157 158 159 160 163 168 171 176 178 181 186 188 189 190 192 193 194 198 209 210 211 212 219 224 225 226 227 229 230 235 241 244 247 252 255 257 260 263 274 277 282 285 288 297 298 299 322 331 334 335 336 337 338 341 342 344 345 346 347 352 353 354 357 363 367 370 374 378 383 387 389 398 403 405 406 409 419 422 423 425 432 444 445 447 448 453 454 461 462 463 464 468 469 472 473 474 476 478 479 480 482 483 485 488 489 490 492 a 3 18 21 23 29 31 34 35 36 39 43 47 48 49 56 63 64 65 71 75 80 81 85 87 89 91 96 99 101 104 109 115 117 118 119 120 121 127 128 129 135 138 141 142 145 148 151 153 155 157 158 159 160 163 168 171 176 178 181 186 188 189 190 192 193 194 198 209 210 211 212 219 224 225 226 227 229 230 235 241 244 247 252 255 257 260 263 274 277 282 285 288 297 298 299 322 331 334 335 336 337 338 341 342 344 345 347 352 353 354 357 363 367 370 374 378 383 387 389 396 398 403 405 406 409 419 422 423 425 432 444 445 447 448 453 454 461 462 463 464 468 469 472 473 474 476 478 479 480 482 483 485 488 489 490 492 a 3 18 21 23 29 31 34 35 36 39 43 47 48 49 56 63 64 65 71 75 80 81 85 87 89 91 96 99 101 103 104 109 115 117 118 119 120 121 127 128 129 135 138 141 142 145 148 151 153 155 157 158 159 160 163 168 171 176 178 181 186 188 189 190 192 193 194 198 209 210 211 212 219 224 225 226 227 229 230 235 244 247 252 255 257 260 263 274 277 282 285 288 297 298 299 322 331 334 335 336 337 338 341 342 344 345 347 352 353 354 357 363 367 370 374 378 383 387 389 396 398 403 405 406 409 419 422 423 425 432 444 445 447 448 453 454 461 462 463 464 468 469 472 473 474 476 478 479 480 482 483 485 488 489 490 492 a 3 18 21 23 29 31 34 35 36 39 43 47 48 49 56 63 64 65 71 75 80 81 85 87 89 91 99 101 103 104 109 115 117 118 119 120 121 127 128 129 135 138 141 142 145 148 151 153 155 157 158 159 160 163 168 171 176 178 181 186 188 189 190 192 193 194 198 209 210 211 212 219 224 225 226 227 229 230 235 244 247 252 255 257 260 263 274 277 282 285 288 297 298 299 322 331 334 335 336 337 338 341 342 344 345 347 352 353 354 357 363 367 370 374 378 383 387 389 396 398 403 405 406 409 419 422 423 425 432 444 445 447 448 452 453 454 461 462 463 464 468 469 472 473 474 476 478 479 480 482 483 485 488 489 490 492 a 3 18 21 23 29 34 35 36 39 43 47 48 49 56 63 64 65 71 75 80 81 85 87 89 91 99 101 103 104 109 115 117 118 119 120 121 127 128 129 135 138 141 142 145 148 151 153 155 157 158 159 160 163 168 171 176 178 181 186 188 189 190 192 193 194 198 209 210 211 212 219 224 225 226 227 229 230 235 244 247 252 255 257 260 263 274 277 282 285 288 297 298 299 322 331 334 335 336 337 338 341 342 344 345 347 352 353 354 357 363 367 370 374 378 383 387 389 396 398 403 405 406 409 419 422 423 425 432 437 444 445 447 448 452 453 454 461 462 463 464 468 469 472 473 474 476 478 479 480 482 483 485 488 489 490 492 a 3 18 21 23 29 34 35 36 39 43 47 48 49 56 63 64 65 71 75 80 81 87 89 91 99 101 103 104 109 115 117 118 119 120 121 127 128 129 135 138 141 142 145 148 151 153 155 157 158 159 160 163 168 171 176 178 181 186 188 189 190 192 193 194 198 209 210 211 212 219 224 225 226 227 229 230 235 244 247 252 255 257 260 263 274 277 282 285 288 297 298 299 322 331 334 335 336 337 338 341 342 344 345 347 352 353 354 357 363 367 370 374 378 383 387 389 392 396 398 403 405 406 409 419 422 423 425 432 437 444 445 447 448 452 453 454 461 462 463 464 468 469 472 473 474 476 478 479 480 482 483 485 488 489 490 492 a 3 18 21 23 29 34 35 36 39 43 47 48 49 56 63 64 65 71 75 80 81 87 89 91 99 101 103 104 109 115 117 118 119 120 121 127 128 129 135 138 141 142 145 148 151 153 155 157 158 159 160 163 168 171 176 178 181 186 188 189 190 192 193 194 198 209 210 211 212 219 224 225 226 227 229 230 235 244 247 252 255 257 260 263 274 277 282 285 288 297 298 299 322 331 334 335 336 337 338 341 342 344 345 347 352 353 354 357 363 366 367 370 374 378 383 387 389 392 396 398 403 405 406 409 419 422 423 425 432 437 444 445 447 448 452 453 454 461 463 464 468 469 472 473 474 476 478 479 480 482 483 485 488 489 490 492 a 3 18 21 23 29 34 35 36 39 43 45 47 48 49 56 63 64 65 71 75 80 81 87 89 91 99 101 103 104 109 115 117 118 119 120 121 127 128 129 135 138 141 142 145 148 151 153 155 157 158 159 160 163 168 171 176 178 181 186 188 189 190 192 193 194 198 209 210 211 212 219 224 225 226 227 229 230 235 244 247 252 255 257 260 263 274 277 282 285 288 297 298 299 322 331 334 335 336 337 338 341 342 344 347 352 353 354 357 363 366 367 370 374 378 383 387 389 392 396 398 403 405 406 409 419 422 423 425 432 437 444 445 447 448 452 453 454 461 463 464 468 469 472 473 474 476 478 479 480 482 483 485 488 489 490 492 c Step: 128 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance039_graph003.col /benchmark/random_instance/random_instance039_graph003_01.dat" User time (seconds): 545.48 System time (seconds): 10.86 Percent of CPU this job got: 151% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:06.73 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): 23197528 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 8094355 Voluntary context switches: 2277477 Involuntary context switches: 2550 Swaps: 0 File system inputs: 0 File system outputs: 1016 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:42:26 2023]