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