#BEGIN: [Mon Sep 4 10:38:30 2023] #HOST: s03 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance040_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance040_graph002_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_instance040_graph002.col /benchmark/random_instance/random_instance040_graph002_01.dat c /benchmark/random_instance/random_instance040_graph002.col c /benchmark/random_instance/random_instance040_graph002_01.dat *** Info : (clingo): INTERRUPTED by signal! s 473 248 218 260 106 403 507 491 325 1 84 133 292 450 17 443 182 308 127 273 518 4 177 30 511 255 246 388 280 392 461 497 436 335 44 60 441 40 230 103 137 263 293 373 102 59 98 147 463 430 71 318 250 355 315 343 404 196 77 281 237 510 13 155 306 126 334 470 190 465 291 200 35 338 484 135 37 519 202 294 10 225 412 70 28 227 376 140 468 357 270 504 220 265 417 88 142 418 498 95 508 90 99 92 73 500 349 502 11 354 341 162 89 150 342 278 129 159 236 506 322 455 298 492 479 427 454 233 460 445 42 48 203 434 156 253 302 503 15 31 478 424 449 363 187 251 72 266 295 425 489 517 194 486 323 2 275 244 192 353 482 24 476 466 471 423 t 367 389 518 412 62 224 380 114 179 508 216 234 202 384 402 112 339 144 382 258 287 122 223 476 189 447 85 395 42 138 156 341 232 306 450 197 77 414 442 23 219 465 245 347 27 50 495 515 322 9 390 180 11 183 327 228 426 394 139 487 140 130 192 105 37 199 242 475 351 83 368 504 335 92 295 201 227 453 177 505 44 290 319 514 294 511 95 82 330 381 433 214 482 69 8 194 298 454 186 99 238 370 151 143 205 357 425 128 345 168 200 22 323 492 480 366 125 157 479 115 396 61 455 107 285 46 87 137 268 438 413 181 265 420 236 407 373 239 445 383 325 466 84 203 313 225 314 334 270 435 485 72 97 111 220 7 301 68 185 282 78 254 15 506 233 57 a YES a 1 2 4 10 11 13 15 17 24 28 30 31 35 37 40 42 44 48 59 60 70 71 72 73 77 84 88 89 90 92 95 98 99 102 103 106 126 127 129 133 135 137 140 142 147 150 155 156 159 162 177 182 187 190 192 194 196 200 202 203 218 220 225 227 230 233 236 237 244 246 248 250 251 253 255 260 263 265 266 270 273 275 278 280 281 291 292 293 294 295 298 302 306 308 315 318 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 403 404 412 417 418 423 424 425 427 430 434 436 441 443 445 449 450 454 455 460 461 463 465 466 468 470 471 473 476 478 479 482 484 486 489 491 492 497 498 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 10 11 13 15 17 24 28 30 31 35 37 40 42 44 48 59 60 70 71 72 73 77 84 88 89 90 92 95 98 99 102 103 106 126 127 129 133 135 137 140 142 147 150 155 156 159 162 177 182 187 190 192 194 196 200 202 203 213 218 220 225 227 230 233 236 237 244 246 248 250 251 253 255 260 263 265 266 270 273 275 278 280 281 291 292 293 294 295 298 302 306 308 315 318 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 403 404 412 417 418 423 424 425 427 430 434 436 441 443 445 449 450 454 455 460 461 463 466 468 470 471 473 476 478 479 482 484 486 489 491 492 497 498 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 10 11 13 15 17 24 28 30 31 35 37 40 42 44 48 59 60 70 71 72 73 77 84 88 89 90 92 95 98 99 102 103 126 127 129 133 135 137 140 142 147 150 155 156 159 162 177 182 187 190 192 194 196 200 202 203 213 218 220 225 227 230 233 236 237 244 246 248 250 251 253 255 260 263 265 266 270 273 275 278 280 281 291 292 293 294 295 298 302 306 308 315 318 322 323 325 326 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 403 404 412 417 418 423 424 425 427 430 434 436 441 443 445 449 450 454 455 460 461 463 466 468 470 471 473 476 478 479 482 484 486 489 491 492 497 498 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 10 11 13 15 17 24 28 30 31 35 37 40 42 44 48 59 60 70 71 72 73 77 84 88 89 90 92 95 98 99 102 103 126 127 129 133 135 137 140 142 147 150 155 156 159 162 177 182 187 190 192 194 196 200 202 203 218 220 225 227 230 233 236 237 244 246 248 250 251 253 255 260 263 265 266 270 273 275 278 280 281 291 292 293 294 295 298 302 306 308 315 318 322 323 325 326 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 403 404 412 417 418 423 424 425 427 430 434 436 441 443 445 449 450 454 455 460 461 463 465 466 468 470 471 473 476 478 479 482 484 486 489 491 492 497 498 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 10 11 13 15 17 24 28 30 31 35 37 40 42 44 48 59 60 70 71 72 73 77 84 88 89 90 92 95 98 99 102 103 126 127 129 133 135 137 140 142 147 150 155 156 159 162 177 182 187 190 192 194 196 200 202 203 218 220 225 227 230 233 236 237 244 246 248 250 251 253 255 260 264 265 266 270 273 275 278 280 281 291 292 293 294 295 298 302 306 308 315 318 322 323 325 326 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 403 404 412 417 418 423 424 425 427 430 434 436 441 443 445 449 450 454 455 460 461 463 465 466 468 470 471 473 476 478 479 482 484 486 489 491 492 497 498 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 10 11 13 15 17 24 28 30 31 35 37 40 42 44 48 59 60 70 71 72 73 77 84 88 89 90 92 95 98 99 102 103 124 126 127 129 133 135 137 140 142 147 150 155 156 159 162 177 182 187 190 192 194 196 200 202 203 218 220 225 227 230 233 236 237 244 246 248 250 251 253 255 260 264 265 266 270 273 275 278 280 281 291 292 293 294 295 298 302 306 308 315 318 322 323 325 326 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 403 404 412 417 418 423 424 425 427 430 434 436 441 443 445 449 450 454 455 460 461 463 465 466 468 470 471 473 476 478 479 482 484 486 489 491 492 497 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 10 11 13 15 17 24 28 30 31 35 37 40 42 44 48 59 60 70 71 72 73 77 84 88 89 90 92 93 98 99 102 103 124 126 127 129 133 135 137 140 142 147 150 155 156 159 162 177 182 187 190 192 194 196 200 202 203 218 220 225 227 230 233 236 237 244 246 248 250 251 253 255 260 264 265 266 270 273 275 278 280 281 291 292 293 294 295 298 302 306 308 315 318 322 323 325 326 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 403 404 412 417 418 423 424 425 427 430 434 436 441 443 445 449 450 454 455 460 461 463 465 466 468 470 471 473 476 478 479 482 484 486 489 491 492 497 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 10 11 13 15 17 24 28 30 31 35 37 40 42 44 48 59 60 70 71 72 73 77 84 88 89 90 92 93 98 99 102 103 124 126 127 129 135 137 140 142 147 150 155 156 159 162 177 182 187 190 192 194 196 200 202 203 218 220 225 226 227 230 233 236 237 244 246 248 250 251 253 255 260 264 265 266 270 273 275 278 280 281 291 292 293 294 295 298 302 306 308 315 318 322 323 325 326 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 403 404 412 417 418 423 424 425 427 430 434 436 441 443 445 449 450 454 455 460 461 463 465 466 468 470 471 473 476 478 479 482 484 486 489 491 492 497 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 10 11 13 15 17 24 28 30 31 35 37 40 42 44 48 59 60 70 71 72 73 77 84 88 89 90 92 93 98 99 102 103 126 127 129 135 137 140 142 147 150 155 156 159 162 177 182 187 190 192 194 196 200 202 203 218 220 225 226 227 230 233 236 237 244 246 248 250 251 253 255 260 264 265 266 270 273 275 278 280 281 291 292 293 294 295 298 302 306 308 315 318 322 323 325 326 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 403 404 412 417 418 423 424 425 427 430 434 436 441 443 445 449 450 454 455 460 461 463 465 466 468 470 471 473 476 478 479 482 484 486 489 491 492 497 498 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 10 11 13 15 17 24 28 30 31 35 37 40 42 44 48 59 60 70 71 72 73 77 84 88 89 90 92 95 98 99 102 103 126 127 129 135 137 140 142 147 150 155 156 159 162 177 182 187 190 192 194 196 200 202 203 218 220 225 226 227 230 233 236 237 244 246 248 250 251 253 255 260 264 265 266 270 273 275 278 280 281 291 292 293 294 295 298 302 306 308 315 318 322 323 325 326 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 403 404 412 417 418 423 424 425 427 430 434 436 441 443 445 449 450 454 455 460 461 463 465 466 468 470 471 473 476 478 479 482 484 486 489 491 492 497 498 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 10 11 13 15 17 24 28 30 31 35 37 40 42 44 48 59 60 70 71 72 73 77 84 88 89 90 92 95 98 99 102 103 126 127 129 135 137 140 142 147 150 155 156 159 162 177 182 187 190 192 194 196 200 202 203 218 220 225 226 227 230 233 236 237 244 246 248 250 251 253 255 260 264 265 266 270 271 273 275 278 280 281 291 292 293 294 295 298 302 306 308 315 318 322 323 325 326 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 403 404 412 417 418 423 424 425 427 430 434 436 441 443 445 449 450 454 455 460 461 463 465 466 468 470 471 473 476 478 479 482 484 486 489 491 492 497 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 10 11 13 15 17 24 28 30 31 35 37 40 42 44 48 59 60 70 71 72 73 77 84 88 89 90 92 95 98 99 102 103 106 126 127 129 135 137 140 142 147 150 155 156 159 162 177 182 187 190 192 194 196 200 202 203 218 220 225 226 227 230 233 236 237 244 246 248 250 251 253 255 260 264 265 266 270 271 273 275 278 280 281 291 292 293 294 295 298 302 306 308 315 318 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 403 404 412 417 418 423 424 425 427 430 434 436 441 443 445 449 450 454 455 460 461 463 465 466 468 470 471 473 476 478 479 482 484 486 489 491 492 497 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 10 11 13 15 17 24 28 30 31 35 37 40 42 44 48 59 60 70 71 72 73 77 84 88 89 90 92 95 98 99 102 103 106 126 127 129 135 137 140 142 147 150 155 156 159 162 177 182 187 190 192 194 196 200 202 203 218 220 225 226 227 230 233 236 237 244 246 248 250 251 253 255 260 264 265 266 270 271 273 275 276 278 280 281 291 292 294 295 298 302 306 308 315 318 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 403 404 412 417 418 423 424 425 427 430 434 436 441 443 445 449 450 454 455 460 461 463 465 466 468 470 471 473 476 478 479 482 484 486 489 491 492 497 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 10 11 13 15 17 24 28 30 31 35 37 40 42 44 48 59 60 70 71 72 73 77 84 88 89 90 92 93 98 99 102 103 106 126 127 129 135 137 140 142 147 150 155 156 159 162 177 182 187 190 192 194 196 200 202 203 218 220 225 226 227 230 233 236 237 244 246 248 250 251 253 255 260 264 265 266 270 271 273 275 276 278 280 281 291 292 294 295 298 302 306 308 315 318 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 403 404 412 417 418 423 424 425 427 430 434 436 441 443 445 449 450 454 455 460 461 463 465 466 468 470 471 473 476 478 479 482 484 486 489 491 492 497 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 10 11 13 15 17 24 28 30 31 35 37 40 42 44 48 59 60 70 71 72 73 77 84 88 89 90 92 93 98 99 102 103 106 124 126 127 129 135 137 140 142 147 150 155 156 159 162 177 182 187 190 192 194 196 200 202 203 218 220 225 226 227 230 233 237 244 246 248 250 251 253 255 260 264 265 266 270 271 273 275 276 278 280 281 291 292 294 295 298 302 306 308 315 318 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 403 404 412 417 418 423 424 425 427 430 434 436 441 443 445 449 450 454 455 460 461 463 465 466 468 470 471 473 476 478 479 482 484 486 489 491 492 497 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 10 11 13 15 17 24 28 30 31 35 37 40 42 44 48 59 60 70 71 72 73 77 84 88 89 90 92 95 98 99 102 103 106 124 126 127 129 135 137 140 142 147 150 155 156 159 162 177 182 187 190 192 194 196 200 202 203 218 220 225 226 227 230 233 237 244 246 248 250 251 253 255 260 264 265 266 270 271 273 275 276 278 280 281 291 292 294 295 298 302 306 308 315 318 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 403 404 412 417 418 423 424 425 427 430 434 436 441 443 445 449 450 454 455 460 461 463 465 466 468 470 471 473 476 478 479 482 484 486 489 491 492 497 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 10 11 13 15 17 24 28 30 31 35 37 40 42 44 48 59 60 70 71 72 73 77 84 88 89 90 92 95 98 99 102 103 106 124 126 127 129 135 137 140 142 147 150 155 159 162 174 177 182 187 190 192 194 196 200 202 203 218 220 225 226 227 230 233 237 244 246 248 250 251 253 255 260 264 265 266 270 271 273 275 276 278 280 281 291 292 294 295 298 302 306 308 315 318 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 403 404 412 417 418 423 424 425 427 430 434 436 441 443 445 449 450 454 455 460 461 463 465 466 468 470 471 473 476 478 479 482 484 486 489 491 492 497 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 10 11 13 15 17 24 28 30 31 35 37 40 42 44 48 50 59 60 70 71 72 73 77 84 88 89 90 92 95 98 99 102 103 106 124 126 127 129 135 137 140 142 147 150 155 159 162 174 177 182 187 190 192 194 196 200 202 203 218 220 225 226 227 230 233 237 244 246 248 250 251 253 255 260 264 265 266 270 271 273 275 276 278 280 281 291 292 294 295 298 302 306 308 315 318 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 403 404 412 417 423 424 425 427 430 434 436 441 443 445 449 450 454 455 460 461 463 465 466 468 470 471 473 476 478 479 482 484 486 489 491 492 497 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 10 11 13 15 17 24 28 30 31 35 37 40 42 44 48 50 59 60 70 71 72 73 77 84 88 89 90 92 95 98 99 102 103 106 124 126 127 129 135 137 140 142 147 150 151 155 159 162 174 177 182 187 190 192 194 196 200 202 203 218 220 225 226 227 230 233 237 244 246 248 250 251 253 255 260 264 265 266 270 271 273 275 276 278 280 281 291 292 294 295 298 302 306 308 315 318 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 403 404 412 417 423 424 425 427 430 434 436 441 443 445 449 450 454 455 460 461 463 465 466 468 470 471 476 478 479 482 484 486 489 491 492 497 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 10 11 13 15 17 24 28 30 31 35 37 40 42 44 48 50 59 60 70 71 72 73 77 84 88 89 90 92 95 98 99 102 103 106 124 126 127 129 135 137 140 142 147 150 151 155 156 159 162 177 182 187 190 192 194 196 200 202 203 218 220 225 226 227 230 233 237 244 246 248 250 251 253 255 260 264 265 266 270 271 273 275 276 278 280 281 291 292 294 295 298 302 306 308 315 318 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 403 404 412 417 423 424 425 427 430 434 436 441 443 445 449 450 454 455 460 461 463 465 466 468 470 471 476 478 479 482 484 486 489 491 492 497 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 10 11 13 15 17 24 28 30 31 35 37 40 42 44 48 50 59 60 70 71 72 73 77 84 87 88 89 90 92 95 98 99 102 103 106 124 126 127 129 135 137 140 142 147 150 151 155 156 159 162 177 182 187 190 192 194 196 200 202 203 218 220 225 226 227 230 233 237 244 246 248 250 251 253 255 260 264 265 266 270 271 273 275 276 278 280 281 291 292 294 295 298 302 306 308 315 318 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 403 404 412 417 423 424 425 427 430 434 436 443 445 449 450 454 455 460 461 463 465 466 468 470 471 476 478 479 482 484 486 489 491 492 497 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 10 11 13 15 17 24 28 30 31 35 37 40 42 44 48 50 59 60 70 71 72 73 77 84 87 88 89 90 92 95 98 99 102 103 106 124 126 127 129 135 137 140 142 147 150 151 155 156 159 162 177 182 187 190 192 194 196 200 202 203 220 225 226 227 230 233 237 244 246 248 250 251 253 255 260 264 265 266 270 271 273 275 276 278 280 281 291 292 294 295 298 302 306 308 315 318 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 402 403 404 412 417 423 424 425 427 430 434 436 443 445 449 450 454 455 460 461 463 465 466 468 470 471 476 478 479 482 484 486 489 491 492 497 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 10 11 13 15 17 24 28 30 31 35 37 40 42 44 48 50 59 60 70 71 72 73 77 84 87 88 89 90 92 95 98 99 102 103 106 124 126 127 129 135 137 140 142 147 150 151 155 156 159 162 177 182 187 190 192 194 196 200 202 203 220 225 226 227 230 233 237 244 246 248 250 251 255 260 264 265 266 270 271 273 275 276 278 280 281 291 292 294 295 298 302 306 308 314 315 318 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 402 403 404 412 417 423 424 425 427 430 434 436 443 445 449 450 454 455 460 461 463 465 466 468 470 471 476 478 479 482 484 486 489 491 492 497 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 10 11 13 15 17 24 28 30 31 35 37 40 42 44 48 50 59 60 70 71 72 73 77 84 87 88 89 90 92 95 98 99 102 103 124 126 127 129 135 137 140 142 147 150 151 155 156 159 162 177 182 186 187 190 192 194 196 200 202 203 220 225 226 227 230 233 237 244 246 248 250 251 255 260 264 265 266 270 271 273 275 276 278 280 281 291 292 294 295 298 302 306 308 314 315 318 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 402 403 404 412 417 423 424 425 427 430 434 436 443 445 449 450 454 455 460 461 463 465 466 468 470 471 476 478 479 482 484 486 489 491 492 497 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 59 60 70 71 72 73 77 84 87 88 89 90 92 95 98 99 102 103 124 126 127 129 135 137 140 142 147 150 151 155 156 159 162 177 182 186 187 190 192 194 196 200 202 203 220 225 226 227 230 233 237 244 246 248 250 251 255 260 265 266 270 271 273 275 276 278 280 281 291 292 294 295 298 302 306 308 314 315 318 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 402 403 404 412 417 423 424 425 427 430 434 436 443 445 449 450 454 455 460 461 463 465 466 468 470 471 476 478 479 482 484 486 489 491 492 497 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 57 59 60 70 71 72 73 77 84 87 88 89 90 92 95 98 99 102 103 124 127 129 135 137 140 142 147 150 151 155 156 159 162 177 182 186 187 190 192 194 196 200 202 203 220 225 226 227 230 233 237 244 246 248 250 251 255 260 265 266 270 271 273 275 276 278 280 281 291 292 294 295 298 302 306 308 314 315 318 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 402 403 404 412 417 423 424 425 427 430 434 436 443 445 449 450 454 455 460 461 463 465 466 468 470 471 476 478 479 482 484 486 489 491 492 497 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 57 59 60 70 71 72 73 77 84 87 88 89 90 92 95 98 99 102 103 124 127 129 135 137 140 142 147 150 151 155 156 159 162 177 182 186 187 190 192 194 196 200 202 203 220 225 226 227 230 233 237 244 246 248 250 251 255 260 265 266 270 271 273 275 276 278 280 281 291 292 294 295 298 302 306 308 313 314 315 318 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 402 403 404 412 417 423 424 425 427 430 434 436 443 445 449 450 454 455 460 461 463 465 466 468 470 471 476 478 479 482 484 486 489 491 492 500 502 503 504 506 507 508 510 511 517 518 519 a 1 2 4 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 57 59 60 70 71 72 73 77 84 87 88 89 90 92 95 98 99 102 103 124 127 129 135 137 140 142 147 150 151 155 156 157 159 162 177 182 186 187 190 192 194 196 200 202 203 220 225 226 227 230 233 237 244 246 248 250 251 255 260 265 266 270 271 273 275 276 278 280 281 291 292 294 295 298 302 306 308 313 314 315 318 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 402 403 404 412 417 423 424 425 427 430 434 436 443 445 449 450 454 455 460 461 463 465 466 468 470 471 476 478 479 482 484 486 489 491 492 500 502 503 504 506 508 510 511 517 518 519 a 1 2 4 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 57 59 60 70 71 72 73 77 84 87 88 89 90 92 95 98 99 102 103 124 127 129 135 137 140 142 147 150 151 155 156 157 162 177 182 186 187 190 192 194 196 200 202 203 220 225 226 227 230 233 237 244 245 246 248 250 251 255 260 265 266 270 271 273 275 276 278 280 281 291 292 294 295 298 302 306 308 313 314 315 318 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 402 403 404 412 417 423 424 425 427 430 434 436 443 445 449 450 454 455 460 461 463 465 466 468 470 471 476 478 479 482 484 486 489 491 492 500 502 503 504 506 508 510 511 517 518 519 a 1 2 4 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 57 59 60 70 71 72 73 77 84 87 88 89 90 92 95 98 99 102 103 124 127 129 135 137 140 142 147 150 151 155 156 157 162 177 182 186 187 190 192 194 196 200 202 203 220 225 226 227 230 233 236 237 244 245 246 248 250 251 255 260 265 266 270 271 273 275 276 278 280 281 291 292 294 295 298 302 306 308 313 314 315 318 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 402 403 404 412 417 423 424 425 427 430 434 436 443 445 449 450 454 455 460 461 463 465 466 468 470 471 476 478 479 482 484 486 489 491 492 500 502 503 504 506 508 510 511 518 519 a 1 2 4 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 57 59 60 70 71 72 73 77 84 87 88 89 90 92 95 98 99 102 103 124 129 135 137 140 142 147 150 151 155 156 157 162 177 182 186 187 190 192 194 196 200 202 203 220 225 226 227 230 233 236 237 244 245 246 248 250 251 255 260 265 266 270 271 273 275 276 278 280 281 291 292 294 295 298 302 306 308 313 314 315 318 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 402 403 404 412 417 423 424 425 427 430 434 436 443 445 449 450 454 455 460 461 463 465 466 468 470 471 476 478 479 480 482 484 486 489 491 492 500 502 503 504 506 508 510 511 518 519 a 1 2 4 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 57 59 60 70 71 72 73 77 84 87 88 89 90 92 95 98 99 102 103 124 129 135 137 140 147 150 151 155 156 157 162 177 182 186 187 190 192 194 196 200 202 203 220 225 226 227 230 233 236 237 244 245 246 248 250 251 255 260 265 266 270 271 273 275 276 278 280 281 291 292 294 295 298 301 302 306 308 313 314 315 318 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 402 403 404 412 417 423 424 425 427 430 434 436 443 445 449 450 454 455 460 461 463 465 466 468 470 471 476 478 479 480 482 484 486 489 491 492 500 502 503 504 506 508 510 511 518 519 a 1 2 4 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 57 59 60 70 71 72 73 77 84 87 88 89 90 92 95 97 98 99 102 103 124 129 135 137 140 147 150 151 155 156 157 162 177 182 186 187 192 194 196 200 202 203 220 225 226 227 230 233 236 237 244 245 246 248 250 251 255 260 265 266 270 271 273 275 276 278 280 281 291 292 294 295 298 301 302 306 308 313 314 315 318 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 402 403 404 412 417 423 424 425 427 430 434 436 443 445 449 450 454 455 460 461 463 465 466 468 470 471 476 478 479 480 482 484 486 489 491 492 500 502 503 504 506 508 510 511 518 519 a 1 2 4 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 57 59 60 70 71 72 73 77 84 87 88 89 90 92 95 97 98 99 102 103 124 129 135 137 140 147 150 151 155 156 157 162 177 182 186 187 192 194 196 200 202 203 220 225 226 227 230 233 236 237 244 245 246 248 250 251 255 260 265 266 270 271 273 275 276 278 280 281 291 292 294 295 298 301 302 306 308 313 314 315 318 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 402 403 404 412 417 423 424 425 427 430 434 436 443 445 449 450 454 455 460 461 465 466 468 470 471 475 476 478 479 480 482 484 486 489 491 492 500 502 503 504 506 508 510 511 518 519 a 1 2 4 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 57 59 60 70 71 72 73 77 84 87 88 89 90 92 95 97 98 99 102 103 124 129 135 137 140 147 150 151 155 156 157 162 177 182 186 187 192 194 196 200 202 203 220 223 225 226 227 230 233 236 237 244 245 246 248 250 251 255 260 265 266 270 271 273 275 276 278 280 291 292 294 295 298 301 302 306 308 313 314 315 318 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 402 403 404 412 417 423 424 425 427 430 434 436 443 445 449 450 454 455 460 461 465 466 468 470 471 475 476 478 479 480 482 484 486 489 491 492 500 502 503 504 506 508 510 511 518 519 a 1 2 4 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 57 59 60 70 71 72 73 77 82 84 87 88 89 90 92 95 97 98 99 102 103 124 129 135 137 140 147 150 151 155 156 157 162 177 182 186 187 192 194 196 200 202 203 220 223 225 226 227 230 233 236 237 244 245 246 248 250 251 255 260 265 266 270 271 273 275 276 278 280 291 292 294 295 298 301 302 306 308 313 314 315 318 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 402 403 404 412 417 423 424 425 427 430 434 436 443 445 449 450 454 455 460 461 465 466 468 470 471 475 476 478 479 480 482 484 486 489 491 492 500 502 503 504 506 508 510 511 518 a 1 2 4 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 57 59 60 70 71 72 73 77 82 84 87 88 89 90 92 95 97 98 99 102 103 111 124 129 135 137 140 147 150 151 155 156 157 162 177 182 186 187 192 194 196 200 202 203 220 223 225 226 227 230 233 236 237 244 245 246 248 250 251 255 260 265 266 270 271 273 275 276 278 280 291 292 294 295 298 301 302 306 308 313 314 315 318 322 323 325 334 335 338 341 342 343 349 353 354 355 357 363 373 376 388 392 402 404 412 417 423 424 425 427 430 434 436 443 445 449 450 454 455 460 461 465 466 468 470 471 475 476 478 479 480 482 484 486 489 491 492 500 502 503 504 506 508 510 511 518 a 1 2 4 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 57 59 60 61 70 71 72 73 77 82 84 87 88 89 90 92 95 97 98 99 102 103 111 124 129 135 137 140 147 150 151 155 156 157 162 177 182 186 187 192 194 196 200 202 203 220 223 225 226 227 230 233 236 237 244 245 246 248 250 251 255 260 265 266 270 271 273 275 276 278 280 291 292 294 295 298 301 302 306 308 313 314 315 318 322 323 325 334 335 338 341 342 343 349 353 354 357 363 373 376 388 392 402 404 412 417 423 424 425 427 430 434 436 443 445 449 450 454 455 460 461 465 466 468 470 471 475 476 478 479 480 482 484 486 489 491 492 500 502 503 504 506 508 510 511 518 a 1 2 4 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 57 59 60 61 70 71 72 73 77 82 84 87 88 89 92 95 97 98 99 102 103 111 124 129 135 137 140 147 150 151 155 156 157 162 177 182 186 187 192 194 196 200 202 203 220 223 225 226 227 230 233 236 237 244 245 246 248 250 251 255 260 265 266 270 271 273 275 276 278 280 291 292 294 295 298 301 302 306 308 313 314 315 318 322 323 325 334 335 338 341 342 343 349 353 354 357 363 373 376 388 392 402 404 412 417 423 424 425 427 430 434 436 443 445 449 450 454 455 460 461 465 466 468 470 471 475 476 478 479 480 482 484 486 489 491 492 500 502 503 504 506 508 510 511 515 518 a 1 2 4 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 57 59 60 61 70 71 72 73 77 82 84 87 88 89 92 95 97 98 99 102 103 111 124 129 135 137 140 147 150 151 155 156 157 162 177 182 186 187 192 194 196 200 202 203 220 223 225 226 227 230 233 236 237 244 245 246 248 250 251 255 260 265 266 270 271 273 275 276 278 280 291 292 294 295 298 301 302 306 308 313 314 315 322 323 325 334 335 338 341 342 343 349 353 354 357 363 373 376 380 388 392 402 404 412 417 423 424 425 427 430 434 436 443 445 449 450 454 455 460 461 465 466 468 470 471 475 476 478 479 480 482 484 486 489 491 492 500 502 503 504 506 508 510 511 515 518 a 2 4 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 57 59 60 61 70 71 72 73 77 82 84 87 88 89 92 95 97 98 99 102 103 111 114 124 129 135 137 140 147 150 151 155 156 157 162 177 182 186 187 192 194 196 200 202 203 220 223 225 226 227 230 233 236 237 244 245 246 248 250 251 255 260 265 266 270 271 273 275 276 278 280 291 292 294 295 298 301 302 306 308 313 314 315 322 323 325 334 335 338 341 342 343 349 353 354 357 363 373 376 380 388 392 402 404 412 417 423 424 425 427 430 434 436 443 445 449 450 454 455 460 461 465 466 468 470 471 475 476 478 479 480 482 484 486 489 491 492 500 502 503 504 506 508 510 511 515 518 a 2 4 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 57 59 60 61 70 71 72 73 77 82 84 87 88 89 92 95 97 98 99 102 103 111 114 124 129 135 137 140 147 150 151 155 156 157 162 177 182 186 187 192 194 196 200 202 203 220 223 225 226 227 230 233 236 244 245 246 248 250 251 255 260 265 266 270 271 273 275 276 278 280 291 292 294 295 298 301 302 306 308 313 314 315 322 323 325 327 334 335 338 341 342 343 349 353 354 357 363 373 376 380 388 392 402 404 412 417 423 424 425 427 430 434 436 443 445 449 450 454 455 460 461 465 466 468 470 471 475 476 478 479 480 482 484 486 489 491 492 500 502 503 504 506 508 510 511 515 518 a 2 4 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 57 59 60 61 70 71 72 73 77 82 84 87 88 89 92 95 97 98 99 102 103 111 114 124 129 135 137 140 147 150 151 155 156 157 162 177 182 183 186 187 192 194 196 200 202 203 220 223 225 226 227 230 233 236 244 245 246 248 250 251 255 260 265 266 270 271 273 275 276 278 280 291 292 294 295 298 301 302 306 308 313 314 315 322 323 325 327 334 335 338 341 342 343 349 353 354 357 363 373 376 380 388 392 402 404 412 417 423 424 425 427 430 434 436 443 445 449 450 454 455 460 465 466 468 470 471 475 476 478 479 480 482 484 486 489 491 492 500 502 503 504 506 508 510 511 515 518 a 2 4 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 57 59 60 61 70 71 72 73 77 82 84 87 88 89 92 95 97 98 99 102 103 111 114 129 135 137 140 147 150 151 155 156 157 162 177 182 183 186 187 192 194 196 200 202 203 220 223 225 226 227 230 233 236 244 245 246 248 250 251 255 260 265 266 270 271 273 275 276 278 280 291 292 294 295 298 301 302 306 308 313 314 315 322 323 325 327 334 335 338 341 342 343 349 353 354 357 363 373 376 380 388 392 402 404 412 417 423 424 425 427 430 434 436 443 445 449 450 454 455 460 465 466 468 470 471 475 476 478 479 480 482 484 486 489 491 492 500 502 503 504 506 508 510 511 514 515 518 a 2 4 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 57 59 60 61 70 71 72 73 77 82 84 87 88 89 92 95 97 98 99 102 103 111 114 129 135 137 140 147 150 151 155 156 157 162 177 182 183 186 187 192 194 196 200 202 203 220 223 225 226 227 230 233 236 245 246 248 250 251 255 260 265 266 270 271 273 275 276 278 280 291 292 294 295 298 301 302 306 308 313 314 315 322 323 325 327 334 335 338 341 342 343 347 349 353 354 357 363 373 376 380 388 392 402 404 412 417 423 424 425 427 430 434 436 443 445 449 450 454 455 460 465 466 468 470 471 475 476 478 479 480 482 484 486 489 491 492 500 502 503 504 506 508 510 511 514 515 518 a 2 4 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 57 59 60 61 70 71 72 73 77 82 84 87 88 89 92 95 97 98 99 102 103 111 114 129 135 137 140 147 150 151 155 156 157 162 177 182 183 186 187 192 194 196 200 202 203 220 223 225 226 227 230 233 236 245 248 250 251 255 260 265 266 270 271 273 275 276 278 280 291 292 294 295 298 301 302 306 308 313 314 315 322 323 325 327 334 335 338 341 342 343 347 349 353 354 357 363 373 376 380 388 392 402 404 412 417 423 424 425 427 430 433 434 436 443 445 449 450 454 455 460 465 466 468 470 471 475 476 478 479 480 482 484 486 489 491 492 500 502 503 504 506 508 510 511 514 515 518 a 2 4 10 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 57 59 60 61 70 71 72 73 77 82 84 87 88 89 92 95 97 98 99 102 103 111 114 129 135 137 140 147 150 151 155 156 157 162 177 182 183 186 187 192 194 196 200 202 203 220 223 225 226 227 230 233 236 245 248 250 251 255 260 265 266 270 271 273 275 276 278 280 291 292 294 295 298 301 302 306 308 313 314 315 322 323 325 327 334 335 338 341 342 343 345 347 349 353 354 357 363 373 376 380 388 392 402 404 412 417 423 424 425 427 433 434 436 443 445 449 450 454 455 460 465 466 468 470 471 475 476 478 479 480 482 484 486 489 491 492 500 502 503 504 506 508 510 511 514 515 518 a 2 4 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 57 59 60 61 70 71 72 73 77 82 84 87 88 89 92 95 97 98 99 102 103 111 114 125 129 135 137 140 147 150 151 155 156 157 162 177 182 183 186 187 192 194 196 200 202 203 220 223 225 226 227 230 233 236 245 248 250 251 255 260 265 266 270 271 273 275 276 278 280 291 292 294 295 298 301 302 306 308 313 314 315 322 323 325 327 334 335 338 341 342 343 345 347 349 353 354 357 363 373 376 380 388 392 402 404 412 417 423 424 425 427 433 434 436 443 445 449 450 454 455 460 465 466 468 470 471 475 476 478 479 480 482 484 486 489 491 492 500 502 503 504 506 508 510 511 514 515 518 a 2 4 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 57 59 60 61 70 71 72 73 77 82 84 87 88 89 92 95 97 98 99 102 103 111 114 125 129 135 137 140 147 150 151 155 156 157 162 177 182 183 186 187 192 194 196 200 202 203 220 223 225 226 227 230 233 236 245 248 250 251 255 260 265 266 270 271 273 275 276 278 280 291 292 294 295 298 301 302 306 308 313 314 315 322 323 325 327 330 334 335 338 341 342 343 345 347 349 353 354 357 363 373 376 380 388 392 402 404 412 417 423 424 425 427 433 434 436 443 445 449 450 454 455 460 465 466 468 470 471 475 476 479 480 482 484 486 489 491 492 500 502 503 504 506 508 510 511 514 515 518 a 2 4 9 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 57 59 60 61 70 71 72 73 77 82 84 87 88 89 92 95 97 98 99 102 103 111 114 125 129 135 137 140 147 150 151 155 156 157 162 177 182 183 186 187 192 194 196 200 202 203 220 223 225 226 227 230 233 236 245 248 250 255 260 265 266 270 271 273 275 276 278 280 291 292 294 295 298 301 302 306 308 313 314 315 322 323 325 327 330 334 335 338 341 342 343 345 347 349 353 354 357 363 373 376 380 388 392 402 404 412 417 423 424 425 427 433 434 436 443 445 449 450 454 455 460 465 466 468 470 471 475 476 479 480 482 484 486 489 491 492 500 502 503 504 506 508 510 511 514 515 518 a 2 4 9 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 57 59 60 61 70 71 72 73 77 82 84 87 88 89 92 95 97 98 99 102 103 111 114 125 129 135 137 140 147 150 151 155 156 157 162 177 182 183 186 187 192 194 196 200 202 203 220 223 225 226 227 230 233 236 245 248 250 255 260 265 266 270 271 273 275 276 278 280 287 291 292 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 349 353 354 357 363 373 376 380 388 392 402 404 412 417 423 424 425 427 433 434 436 443 445 449 450 454 455 460 465 466 468 470 471 475 476 479 480 482 484 486 489 491 492 500 502 503 504 506 508 510 511 514 515 518 a 2 4 9 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 57 59 60 61 70 71 72 73 77 82 84 87 88 89 92 95 97 98 99 102 103 111 114 125 129 135 137 140 147 150 151 155 156 157 162 177 182 183 186 187 192 194 196 200 202 203 220 223 225 226 227 230 233 236 245 248 250 255 260 265 266 270 271 273 275 276 278 280 287 291 292 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 349 353 354 357 363 373 376 380 388 390 392 402 404 412 417 423 424 425 427 433 434 436 443 445 450 454 455 460 465 466 468 470 471 475 476 479 480 482 484 486 489 491 492 500 502 503 504 506 508 510 511 514 515 518 a 2 4 9 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 57 59 60 61 70 71 72 73 77 82 84 87 88 89 92 95 97 98 99 102 103 111 114 125 129 135 137 140 150 151 155 156 157 162 177 182 183 186 187 192 194 196 200 202 203 220 223 225 226 227 230 233 236 245 248 250 254 255 260 265 266 270 271 273 275 276 278 280 287 291 292 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 349 353 354 357 363 373 376 380 388 390 392 402 404 412 417 423 424 425 427 433 434 436 443 445 450 454 455 460 465 466 468 470 471 475 476 479 480 482 484 486 489 491 492 500 502 503 504 506 508 510 511 514 515 518 a 2 4 9 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 57 59 60 61 70 71 72 73 77 82 84 87 88 89 92 95 97 98 99 102 103 111 112 114 125 129 135 137 140 150 151 155 156 157 162 177 182 183 186 187 192 194 196 200 202 203 220 223 225 226 227 230 233 236 245 248 250 254 255 260 265 266 270 271 273 275 276 278 280 287 291 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 349 353 354 357 363 373 376 380 388 390 392 402 404 412 417 423 424 425 427 433 434 436 443 445 450 454 455 460 465 466 468 470 471 475 476 479 480 482 484 486 489 491 492 500 502 503 504 506 508 510 511 514 515 518 a 2 4 9 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 57 59 60 61 70 71 72 73 77 78 82 84 87 88 89 92 95 97 98 99 102 103 111 112 114 125 129 135 137 140 150 151 155 156 157 162 177 182 183 186 187 192 194 196 200 202 203 220 223 225 227 230 233 236 245 248 250 254 255 260 265 266 270 271 273 275 276 278 280 287 291 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 349 353 354 357 363 373 376 380 388 390 392 402 404 412 417 423 424 425 427 433 434 436 443 445 450 454 455 460 465 466 468 470 471 475 476 479 480 482 484 486 489 491 492 500 502 503 504 506 508 510 511 514 515 518 a 2 4 9 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 57 59 60 61 70 71 72 73 77 78 82 84 87 88 89 92 95 97 98 99 102 103 107 111 112 114 125 129 135 137 140 151 155 156 157 162 177 182 183 186 187 192 194 196 200 202 203 220 223 225 227 230 233 236 245 248 250 254 255 260 265 266 270 271 273 275 276 278 280 287 291 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 349 353 354 357 363 373 376 380 388 390 392 402 404 412 417 423 424 425 427 433 434 436 443 445 450 454 455 460 465 466 468 470 471 475 476 479 480 482 484 486 489 491 492 500 502 503 504 506 508 510 511 514 515 518 a 2 4 9 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 57 59 60 61 70 71 72 73 77 78 82 84 87 88 89 92 95 97 98 99 102 103 107 111 112 114 125 129 135 137 140 151 155 156 157 162 177 182 183 186 187 192 194 196 200 202 203 220 223 225 227 230 233 236 245 248 250 254 255 260 265 266 270 271 273 275 276 278 280 285 287 291 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 349 353 354 357 363 373 376 380 388 390 392 402 404 412 417 423 424 425 427 433 434 436 443 445 450 454 455 465 466 468 470 471 475 476 479 480 482 484 486 489 491 492 500 502 503 504 506 508 510 511 514 515 518 a 2 4 9 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 57 59 60 61 71 72 73 77 78 82 84 87 88 89 92 95 97 98 99 102 103 107 111 112 114 125 129 135 137 140 151 155 156 157 162 177 182 183 186 187 192 194 196 200 202 203 220 223 225 227 230 233 236 245 248 250 254 255 260 265 266 270 271 273 275 276 278 280 285 287 291 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 349 353 354 357 363 373 376 380 388 390 392 402 404 412 417 423 424 425 427 433 434 435 436 443 445 450 454 455 465 466 468 470 471 475 476 479 480 482 484 486 489 491 492 500 502 503 504 506 508 510 511 514 515 518 a 2 4 9 11 13 15 17 24 27 28 30 31 35 37 40 42 44 48 50 57 59 60 61 71 72 73 77 78 82 84 87 88 89 92 95 97 98 99 102 103 107 111 112 114 125 129 135 137 140 151 155 156 157 162 177 182 183 186 192 194 196 200 202 203 220 223 225 227 230 233 236 245 248 250 254 255 260 265 266 270 271 273 275 276 278 280 285 287 291 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 349 353 354 357 363 373 376 380 388 390 392 402 404 407 412 417 423 424 425 427 433 434 435 436 443 445 450 454 455 465 466 468 470 471 475 476 479 480 482 484 486 489 491 492 500 502 503 504 506 508 510 511 514 515 518 a 2 4 9 11 13 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 61 71 72 73 77 78 82 84 87 88 89 92 95 97 98 99 102 103 107 111 112 114 125 129 135 137 140 151 155 156 157 162 177 182 183 186 192 194 196 200 202 203 220 223 225 227 230 233 236 245 248 250 254 255 260 265 266 270 271 273 275 276 278 280 285 287 291 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 349 353 354 357 363 373 376 380 388 390 392 402 404 407 412 417 423 424 425 427 433 434 435 436 443 445 450 454 455 465 466 468 470 471 475 476 479 480 482 484 486 489 491 492 500 503 504 506 508 510 511 514 515 518 a 2 4 9 11 13 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 61 71 72 73 77 78 82 84 87 88 89 92 95 97 98 99 102 103 107 111 112 114 125 128 129 135 137 140 151 155 156 157 162 177 182 183 186 192 194 196 200 202 203 220 223 225 227 233 236 245 248 250 254 255 260 265 266 270 271 273 275 276 278 280 285 287 291 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 349 353 354 357 363 373 376 380 388 390 392 402 404 407 412 417 423 424 425 427 433 434 435 436 443 445 450 454 455 465 466 468 470 471 475 476 479 480 482 484 486 489 491 492 500 503 504 506 508 510 511 514 515 518 a 2 4 9 11 13 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 61 71 72 73 77 78 82 84 87 88 89 92 95 97 98 99 102 103 107 111 112 114 125 128 129 135 137 140 151 155 156 157 162 177 182 183 186 192 194 196 197 200 202 203 220 223 225 227 233 236 245 248 250 254 255 260 265 266 270 273 275 276 278 280 285 287 291 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 349 353 354 357 363 373 376 380 388 390 392 402 404 407 412 417 423 424 425 427 433 434 435 436 443 445 450 454 455 465 466 468 470 471 475 476 479 480 482 484 486 489 491 492 500 503 504 506 508 510 511 514 515 518 a 2 4 9 11 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 61 68 71 72 73 77 78 82 84 87 88 89 92 95 97 98 99 102 103 107 111 112 114 125 128 129 135 137 140 151 155 156 157 162 177 182 183 186 192 194 196 197 200 202 203 220 223 225 227 233 236 245 248 250 254 255 260 265 266 270 273 275 276 278 280 285 287 291 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 349 353 354 357 363 373 376 380 388 390 392 402 404 407 412 417 423 424 425 427 433 434 435 436 443 445 450 454 455 465 466 468 470 471 475 476 479 480 482 484 486 489 491 492 500 503 504 506 508 510 511 514 515 518 a 2 4 9 11 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 61 68 71 72 73 77 78 82 84 87 88 89 92 95 97 98 99 102 103 107 111 112 114 125 128 129 135 137 140 151 155 156 157 162 177 182 183 186 192 194 196 197 200 202 203 220 223 225 227 233 236 245 248 250 254 255 260 265 266 270 273 275 276 278 280 285 287 291 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 349 353 354 357 363 368 373 376 380 388 390 392 402 404 407 412 417 424 425 427 433 434 435 436 443 445 450 454 455 465 466 468 470 471 475 476 479 480 482 484 486 489 491 492 500 503 504 506 508 510 511 514 515 518 a 2 4 9 11 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 61 68 71 72 73 77 78 82 84 87 88 89 92 95 97 98 99 102 103 107 111 112 114 115 125 128 129 135 137 140 151 155 156 157 162 177 182 183 186 192 194 196 197 200 202 203 220 223 225 227 233 236 245 248 250 254 255 260 265 266 270 273 275 276 278 280 285 287 291 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 349 353 354 357 363 368 373 376 380 388 390 392 402 404 407 412 417 424 425 427 433 434 435 436 443 445 450 454 455 465 466 470 471 475 476 479 480 482 484 486 489 491 492 500 503 504 506 508 510 511 514 515 518 a 2 4 9 11 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 61 68 71 72 73 77 78 82 84 87 88 89 92 95 97 98 99 102 103 107 111 112 114 115 125 128 129 135 137 140 151 155 156 157 162 177 182 183 186 192 194 196 197 200 202 203 205 220 223 225 227 233 236 245 248 250 254 255 260 265 266 270 273 275 276 278 280 285 287 291 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 349 354 357 363 368 373 376 380 388 390 392 402 404 407 412 417 424 425 427 433 434 435 436 443 445 450 454 455 465 466 470 471 475 476 479 480 482 484 486 489 491 492 500 503 504 506 508 510 511 514 515 518 a 2 4 9 11 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 61 68 71 72 73 77 78 82 84 87 88 89 92 95 97 98 99 102 103 107 111 112 114 115 125 128 129 135 137 140 151 155 156 157 162 177 182 183 186 192 194 196 197 200 202 203 205 220 223 225 227 233 236 245 248 250 254 255 260 265 266 270 273 275 276 278 280 285 287 291 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 349 354 357 363 368 370 373 376 380 388 390 392 402 404 407 412 424 425 427 433 434 435 436 443 445 450 454 455 465 466 470 471 475 476 479 480 482 484 486 489 491 492 500 503 504 506 508 510 511 514 515 518 a 2 4 9 11 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 61 68 71 72 73 77 78 82 84 87 88 89 92 95 97 98 99 102 103 107 111 112 114 115 125 128 129 137 140 151 155 156 157 162 177 182 183 186 192 194 196 197 200 202 203 205 220 223 225 227 233 236 245 248 250 254 255 260 265 266 270 273 275 276 278 280 285 287 291 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 349 354 357 363 366 368 370 373 376 380 388 390 392 402 404 407 412 424 425 427 433 434 435 436 443 445 450 454 455 465 466 470 471 475 476 479 480 482 484 486 489 491 492 500 503 504 506 508 510 511 514 515 518 a 2 4 9 11 15 17 24 27 28 30 31 35 37 40 42 44 46 48 50 57 59 60 61 68 71 72 73 77 78 82 84 87 88 89 92 95 97 98 99 102 103 107 111 112 114 115 125 128 129 137 140 151 155 156 157 162 177 182 183 186 192 194 197 200 202 203 205 220 223 225 227 233 236 245 248 250 254 255 260 265 266 270 273 275 276 278 280 285 287 291 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 349 354 357 363 366 368 370 373 376 380 388 390 392 396 402 404 407 412 424 425 427 433 434 435 436 443 445 450 454 455 465 466 470 471 475 476 479 480 482 484 486 489 491 492 500 503 504 506 508 510 511 514 515 518 a 2 4 9 11 15 17 24 27 28 30 31 37 40 42 44 46 48 50 57 59 60 61 68 71 72 73 77 78 82 84 87 88 89 92 95 97 98 99 102 103 107 111 112 114 115 125 128 129 137 140 151 155 156 157 162 177 182 183 185 186 192 194 197 200 202 203 205 220 223 225 227 233 236 245 248 250 254 255 260 265 266 270 273 275 276 278 280 285 287 291 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 349 354 357 363 366 368 370 373 376 380 388 390 392 396 402 404 407 412 424 425 427 433 434 435 436 443 445 450 454 455 465 466 470 471 475 476 479 480 482 484 486 489 491 492 500 503 504 506 508 510 511 514 515 518 a 2 4 9 11 15 17 24 27 28 30 31 37 40 42 44 46 48 50 57 59 60 61 68 71 72 73 77 78 82 84 87 88 89 92 95 97 98 99 102 103 107 111 112 114 115 125 128 129 137 140 144 151 155 156 157 162 177 182 183 185 186 192 194 197 200 202 203 205 220 223 225 227 233 236 245 248 250 254 255 260 265 266 270 273 275 276 278 280 285 287 291 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 349 354 357 363 366 368 370 373 376 380 388 390 392 396 402 404 407 412 424 425 427 433 434 435 436 443 445 450 454 455 465 466 470 471 475 476 479 480 482 484 486 491 492 500 503 504 506 508 510 511 514 515 518 a 2 4 9 11 15 17 24 27 28 30 31 37 40 42 44 46 48 50 57 60 61 68 71 72 73 77 78 82 84 87 88 89 92 95 97 98 99 102 103 107 111 112 114 115 125 128 129 137 140 144 151 155 156 157 162 177 182 183 185 186 192 194 197 200 202 203 205 220 223 225 227 233 236 245 248 250 254 255 260 265 266 270 273 275 276 278 280 285 287 291 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 349 354 357 363 366 368 370 373 376 380 388 390 392 396 402 404 407 412 414 424 425 427 433 434 435 436 443 445 450 454 455 465 466 470 471 475 476 479 480 482 484 486 491 492 500 503 504 506 508 510 511 514 515 518 a 2 4 9 11 15 17 23 24 27 28 30 31 37 40 42 44 46 48 50 57 60 61 68 71 72 73 77 78 82 84 87 88 89 92 95 97 98 99 102 103 107 111 112 114 115 125 128 129 137 140 144 151 155 156 157 162 177 182 183 185 186 192 194 197 200 202 203 205 220 223 225 227 233 236 245 248 250 254 255 260 265 266 270 273 275 276 278 280 285 287 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 349 354 357 363 366 368 370 373 376 380 388 390 392 396 402 404 407 412 414 424 425 427 433 434 435 436 443 445 450 454 455 465 466 470 471 475 476 479 480 482 484 486 491 492 500 503 504 506 508 510 511 514 515 518 a 2 4 9 11 15 23 24 27 28 30 31 37 40 42 44 46 48 50 57 60 61 68 71 72 73 77 78 82 84 87 88 89 92 95 97 98 99 102 103 107 111 112 114 115 125 128 129 137 140 144 151 155 156 157 162 177 182 183 185 186 192 194 197 200 202 203 205 220 223 225 227 233 236 245 248 250 254 255 260 265 266 270 273 275 276 278 280 285 287 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 349 354 357 363 366 368 370 373 376 380 388 390 392 395 396 402 404 407 412 414 424 425 427 433 434 435 436 443 445 450 454 455 465 466 470 471 475 476 479 480 482 484 486 491 492 500 503 504 506 508 510 511 514 515 518 a 2 4 9 11 15 23 24 27 28 30 31 37 40 42 44 46 48 50 57 60 61 68 71 72 73 77 78 82 84 87 89 92 95 97 98 99 102 103 107 111 112 114 115 125 128 129 137 140 144 151 155 156 157 162 177 182 183 185 186 192 194 197 200 202 203 205 220 223 225 227 233 236 245 248 250 254 255 260 265 266 270 273 275 276 278 280 285 287 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 349 354 357 363 366 368 370 373 376 380 388 390 392 395 396 402 404 407 412 414 424 425 427 433 434 435 436 443 445 450 454 455 465 466 470 471 475 476 479 480 482 484 486 491 492 500 503 504 505 506 508 510 511 514 515 518 a 2 4 9 11 15 23 24 27 28 30 31 37 40 42 44 46 48 50 57 60 61 68 71 72 73 77 78 82 84 87 89 92 95 97 98 99 102 103 107 111 112 114 115 125 128 129 137 140 144 151 155 156 157 162 177 182 183 185 186 192 194 197 200 202 203 205 220 223 225 227 233 236 245 248 250 254 255 260 265 266 270 273 275 276 278 280 285 287 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 349 354 357 363 366 368 370 373 376 380 388 390 392 395 396 402 404 407 412 414 424 425 427 433 434 435 436 443 445 447 450 454 455 465 466 470 475 476 479 480 482 484 486 491 492 500 503 504 505 506 508 510 511 514 515 518 a 2 4 9 11 15 23 24 27 28 30 31 37 40 42 44 46 48 50 57 60 61 68 71 72 73 77 78 82 84 87 89 92 95 97 98 99 102 103 107 111 112 114 115 125 128 129 137 140 144 151 155 156 157 162 177 182 183 185 186 192 194 197 200 202 203 205 220 223 225 227 233 236 245 248 250 254 255 260 265 266 270 273 275 276 280 285 287 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 349 354 357 363 366 368 370 373 376 380 388 390 392 395 396 402 404 407 412 414 420 424 425 427 433 434 435 436 443 445 447 450 454 455 465 466 470 475 476 479 480 482 484 486 491 492 500 503 504 505 506 508 510 511 514 515 518 a 2 4 9 11 15 23 24 27 28 30 31 37 40 42 44 46 48 50 57 60 61 68 71 72 73 77 78 82 84 87 89 92 95 97 98 99 103 107 111 112 114 115 125 128 129 137 139 140 144 151 155 156 157 162 177 182 183 185 186 192 194 197 200 202 203 205 220 223 225 227 233 236 245 248 250 254 255 260 265 266 270 273 275 276 280 285 287 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 349 354 357 363 366 368 370 373 376 380 388 390 392 395 396 402 404 407 412 414 420 424 425 427 433 434 435 436 443 445 447 450 454 455 465 466 470 475 476 479 480 482 484 486 491 492 500 503 504 505 506 508 510 511 514 515 518 a 2 4 9 11 15 23 24 27 28 30 31 37 40 42 44 46 48 50 57 60 61 68 71 72 73 77 78 82 84 87 89 92 95 97 99 103 107 111 112 114 115 125 128 129 137 139 140 144 151 155 156 157 162 168 177 182 183 185 186 192 194 197 200 202 203 205 220 223 225 227 233 236 245 248 250 254 255 260 265 266 270 273 275 276 280 285 287 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 349 354 357 363 366 368 370 373 376 380 388 390 392 395 396 402 404 407 412 414 420 424 425 427 433 434 435 436 443 445 447 450 454 455 465 466 470 475 476 479 480 482 484 486 491 492 500 503 504 505 506 508 510 511 514 515 518 a 2 4 9 11 15 23 24 27 28 30 31 37 40 42 44 46 48 50 57 60 61 68 71 72 73 77 78 82 84 87 89 92 95 97 99 103 107 111 112 114 115 125 128 129 137 139 140 144 151 155 156 157 162 168 177 182 183 185 186 192 194 197 200 202 203 205 220 223 225 227 233 236 245 248 250 254 255 260 265 266 270 273 275 276 280 285 287 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 349 354 357 363 366 368 370 373 376 380 381 388 390 392 395 396 402 404 407 412 414 420 424 425 427 433 434 435 436 443 445 447 450 454 455 465 466 470 475 476 479 480 482 484 486 492 500 503 504 505 506 508 510 511 514 515 518 a 2 4 9 11 15 23 24 27 28 30 31 37 40 42 44 46 48 50 57 60 61 68 71 72 73 77 78 82 84 87 89 92 95 97 99 103 107 111 112 114 115 125 128 129 137 139 140 144 151 155 156 157 162 168 177 182 183 185 186 192 194 197 200 202 203 205 220 223 225 227 233 236 238 245 248 250 254 255 260 265 266 270 275 276 280 285 287 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 349 354 357 363 366 368 370 373 376 380 381 388 390 392 395 396 402 404 407 412 414 420 424 425 427 433 434 435 436 443 445 447 450 454 455 465 466 470 475 476 479 480 482 484 486 492 500 503 504 505 506 508 510 511 514 515 518 a 2 4 9 11 15 23 24 27 28 30 31 37 40 42 44 46 48 50 57 60 61 68 71 72 73 77 78 82 84 87 89 92 95 97 99 103 107 111 112 114 115 125 128 129 137 139 140 144 151 155 156 157 162 168 177 182 183 185 186 192 194 197 200 202 203 205 220 223 225 227 233 236 238 242 245 248 250 254 255 260 265 266 270 275 276 280 285 287 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 354 357 363 366 368 370 373 376 380 381 388 390 392 395 396 402 404 407 412 414 420 424 425 427 433 434 435 436 443 445 447 450 454 455 465 466 470 475 476 479 480 482 484 486 492 500 503 504 505 506 508 510 511 514 515 518 a 2 4 9 11 15 23 24 27 28 30 31 37 40 42 44 46 48 50 57 60 61 68 71 72 73 77 78 82 84 87 89 92 95 97 99 103 107 111 112 114 115 125 128 129 137 139 140 144 151 155 156 157 162 168 177 182 183 185 186 192 194 197 200 202 203 205 220 223 225 227 233 236 238 242 245 248 250 254 255 260 265 266 270 275 276 280 282 285 287 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 354 357 363 366 368 370 373 376 380 381 388 390 392 395 396 402 404 407 412 414 420 424 425 427 433 434 435 436 443 445 447 450 454 455 465 466 470 475 476 479 480 482 486 492 500 503 504 505 506 508 510 511 514 515 518 a 2 4 9 11 15 23 24 27 28 30 37 40 42 44 46 48 50 57 60 61 68 71 72 73 77 78 82 84 87 89 92 95 97 99 103 107 111 112 114 115 125 128 129 137 139 140 144 151 155 156 157 162 168 177 182 183 185 186 192 194 197 200 202 203 205 220 223 225 227 233 236 238 242 245 248 250 254 255 260 265 266 270 275 276 280 282 285 287 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 351 354 357 363 366 368 370 373 376 380 381 388 390 392 395 396 402 404 407 412 414 420 424 425 427 433 434 435 436 443 445 447 450 454 455 465 466 470 475 476 479 480 482 486 492 500 503 504 505 506 508 510 511 514 515 518 a 2 4 9 11 15 23 24 27 28 30 37 40 42 44 46 48 50 57 60 61 68 71 72 73 77 78 82 84 87 89 92 95 97 99 103 107 111 112 114 115 125 128 129 137 139 140 144 151 155 156 157 162 168 177 182 183 185 186 192 194 197 200 202 203 205 220 223 225 227 233 236 238 242 245 248 254 255 260 265 266 270 275 276 280 282 285 287 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 351 354 357 363 366 368 370 373 376 380 381 383 388 390 392 395 396 402 404 407 412 414 420 424 425 427 433 434 435 436 443 445 447 450 454 455 465 466 470 475 476 479 480 482 486 492 500 503 504 505 506 508 510 511 514 515 518 a 2 4 9 11 15 23 24 27 28 30 37 40 42 44 46 48 50 57 60 61 68 71 72 73 77 78 82 84 87 92 95 97 99 103 107 111 112 114 115 125 128 129 137 139 140 144 151 155 156 157 162 168 177 182 183 185 186 192 194 197 200 201 202 203 205 220 223 225 227 233 236 238 242 245 248 254 255 260 265 266 270 275 276 280 282 285 287 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 351 354 357 363 366 368 370 373 376 380 381 383 388 390 392 395 396 402 404 407 412 414 420 424 425 427 433 434 435 436 443 445 447 450 454 455 465 466 470 475 476 479 480 482 486 492 500 503 504 505 506 508 510 511 514 515 518 a 2 9 11 15 23 24 27 28 30 37 40 42 44 46 48 50 57 60 61 68 71 72 73 77 78 82 84 87 92 95 97 99 103 107 111 112 114 115 125 128 129 137 139 140 144 151 155 156 157 162 168 177 180 182 183 185 186 192 194 197 200 201 202 203 205 220 223 225 227 233 236 238 242 245 248 254 255 260 265 266 270 275 276 280 282 285 287 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 351 354 357 363 366 368 370 373 376 380 381 383 388 390 392 395 396 402 404 407 412 414 420 424 425 427 433 434 435 436 443 445 447 450 454 455 465 466 470 475 476 479 480 482 486 492 500 503 504 505 506 508 510 511 514 515 518 a 2 7 9 11 15 23 24 27 28 30 37 40 42 44 46 48 50 57 60 61 68 71 72 73 77 78 82 84 87 92 95 97 99 103 107 111 112 114 115 125 128 129 137 139 140 144 151 155 156 157 162 168 177 180 182 183 185 186 192 194 197 200 201 202 203 205 220 223 225 227 233 236 238 242 245 254 255 260 265 266 270 275 276 280 282 285 287 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 351 354 357 363 366 368 370 373 376 380 381 383 388 390 392 395 396 402 404 407 412 414 420 424 425 427 433 434 435 436 443 445 447 450 454 455 465 466 470 475 476 479 480 482 486 492 500 503 504 505 506 508 510 511 514 515 518 a 2 7 9 11 15 23 24 27 28 30 37 40 42 44 46 48 50 57 60 61 68 71 72 73 77 78 82 84 87 92 95 97 99 103 107 111 112 114 115 125 128 129 137 139 140 144 151 155 156 157 162 168 177 180 182 183 185 186 192 194 197 199 200 201 202 203 205 220 223 225 227 233 236 238 242 245 254 255 265 266 270 275 276 280 282 285 287 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 351 354 357 363 366 368 370 373 376 380 381 383 388 390 392 395 396 402 404 407 412 414 420 424 425 427 433 434 435 436 443 445 447 450 454 455 465 466 470 475 476 479 480 482 486 492 500 503 504 505 506 508 510 511 514 515 518 a 2 7 9 11 15 23 24 27 28 30 37 40 42 44 46 48 50 57 60 61 68 71 72 73 77 78 82 84 87 92 95 97 99 103 107 111 112 114 115 125 128 129 137 139 140 144 151 155 156 157 162 168 177 179 180 182 183 185 186 192 194 197 199 200 201 202 203 205 220 223 225 227 233 236 238 242 245 254 255 265 266 270 275 276 280 282 285 287 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 351 354 357 363 366 368 370 373 376 380 381 383 388 390 392 395 396 402 407 412 414 420 424 425 427 433 434 435 436 443 445 447 450 454 455 465 466 470 475 476 479 480 482 486 492 500 503 504 505 506 508 510 511 514 515 518 a 2 7 9 11 15 23 24 27 28 30 37 40 42 44 46 48 50 57 60 61 68 71 72 73 77 78 82 84 87 92 95 97 99 103 107 111 112 114 115 125 128 129 137 139 140 144 151 155 156 157 162 168 177 179 180 182 183 185 186 192 194 197 199 200 201 202 203 205 220 223 224 225 227 233 236 238 242 245 254 255 265 266 270 275 276 280 282 285 287 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 351 354 357 363 366 368 370 373 376 380 381 383 388 390 392 395 396 402 407 412 414 420 424 425 427 433 434 435 436 443 445 447 450 454 455 465 466 475 476 479 480 482 486 492 500 503 504 505 506 508 510 511 514 515 518 a 2 7 9 11 15 23 24 27 28 30 37 40 42 44 46 48 50 57 60 61 62 68 71 72 73 77 78 82 84 87 92 95 97 99 103 107 111 112 114 115 125 128 129 137 139 140 144 151 155 156 157 162 168 177 179 180 182 183 185 186 192 194 197 199 200 201 202 203 205 220 223 224 225 227 233 236 238 242 245 254 255 265 266 270 275 276 280 282 285 287 294 295 298 301 302 306 308 313 314 322 323 325 327 330 334 335 338 341 342 343 345 347 351 354 357 363 366 368 370 373 376 380 381 383 388 390 392 395 396 402 407 412 414 420 424 425 427 433 434 435 443 445 447 450 454 455 465 466 475 476 479 480 482 486 492 500 503 504 505 506 508 510 511 514 515 518 a 2 7 9 11 15 23 24 27 28 30 37 40 42 44 46 48 50 57 60 61 62 68 71 72 73 77 78 82 84 87 92 95 97 99 103 107 111 112 114 115 125 128 129 137 139 140 144 151 155 156 157 162 168 177 179 180 182 183 185 186 192 194 197 199 200 201 202 203 205 220 223 224 225 227 233 236 238 242 245 254 255 265 266 270 275 276 280 282 285 287 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 338 341 342 343 345 347 351 354 357 363 366 368 370 373 376 380 381 383 388 390 392 395 396 402 407 412 414 420 424 425 427 433 434 435 443 445 447 450 454 455 465 466 475 476 479 480 482 486 492 500 503 504 505 506 508 510 511 514 515 518 a 2 7 9 11 15 23 24 27 28 30 37 40 42 44 46 48 50 57 60 61 62 68 71 72 77 78 82 84 87 92 95 97 99 103 107 111 112 114 115 125 128 129 137 139 140 144 151 155 156 157 162 168 177 179 180 182 183 185 186 192 194 197 199 200 201 202 203 205 220 223 224 225 227 233 236 238 242 245 254 255 265 266 270 275 276 280 282 285 287 290 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 338 341 342 343 345 347 351 354 357 363 366 368 370 373 376 380 381 383 388 390 392 395 396 402 407 412 414 420 424 425 427 433 434 435 443 445 447 450 454 455 465 466 475 476 479 480 482 486 492 500 503 504 505 506 508 510 511 514 515 518 a 2 7 9 11 15 23 24 27 28 30 37 40 42 44 46 48 50 57 60 61 62 68 71 72 77 78 82 83 84 87 92 95 97 99 103 107 111 112 114 115 125 128 129 137 139 140 144 151 155 156 157 162 168 177 179 180 182 183 185 186 192 194 197 199 200 201 202 203 205 220 223 224 225 227 233 236 238 242 245 254 255 265 266 270 275 276 280 282 285 287 290 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 338 341 342 343 345 347 351 354 357 363 366 368 370 373 376 380 381 383 388 390 392 395 396 402 407 412 414 420 424 425 427 433 435 443 445 447 450 454 455 465 466 475 476 479 480 482 486 492 500 503 504 505 506 508 510 511 514 515 518 a 2 7 9 11 15 23 24 27 28 30 37 40 42 44 46 48 50 57 60 61 62 68 71 72 77 78 82 83 84 87 92 95 97 99 105 107 111 112 114 115 125 128 129 137 139 140 144 151 155 156 157 162 168 177 179 180 182 183 185 186 192 194 197 199 200 201 202 203 205 220 223 224 225 227 233 236 238 242 245 254 255 265 266 270 275 276 280 282 285 287 290 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 338 341 342 343 345 347 351 354 357 363 366 368 370 373 376 380 381 383 388 390 392 395 396 402 407 412 414 420 424 425 427 433 435 443 445 447 450 454 455 465 466 475 476 479 480 482 486 492 500 503 504 505 506 508 510 511 514 515 518 a 7 9 11 15 23 24 27 28 30 37 40 42 44 46 48 50 57 60 61 62 68 71 72 77 78 82 83 84 87 92 95 97 99 105 107 111 112 114 115 125 128 129 137 139 140 144 151 155 156 157 162 168 177 179 180 182 183 185 186 192 194 197 199 200 201 202 203 205 220 223 224 225 227 232 233 236 238 242 245 254 255 265 266 270 275 276 280 282 285 287 290 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 338 341 342 343 345 347 351 354 357 363 366 368 370 373 376 380 381 383 388 390 392 395 396 402 407 412 414 420 424 425 427 433 435 443 445 447 450 454 455 465 466 475 476 479 480 482 486 492 500 503 504 505 506 508 510 511 514 515 518 a 7 9 11 15 23 24 27 28 30 37 40 42 44 46 48 50 57 60 61 62 68 71 72 77 78 82 83 84 87 92 95 97 99 105 107 111 112 114 115 125 128 129 137 139 140 144 151 155 156 157 162 168 177 179 180 182 183 185 186 192 194 197 199 200 201 202 203 205 220 223 224 225 227 232 233 236 238 242 245 254 255 265 266 270 275 276 280 282 285 287 290 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 342 343 345 347 351 354 357 363 366 368 370 373 376 380 381 383 388 390 392 394 395 396 402 407 412 414 420 424 425 427 433 435 443 445 447 450 454 455 465 466 475 476 479 480 482 486 492 500 503 504 505 506 508 510 511 514 515 518 a 7 9 11 15 23 24 27 28 30 37 40 42 44 46 48 50 57 61 62 68 71 72 77 78 82 83 84 87 92 95 97 99 105 107 111 112 114 115 125 128 129 137 139 140 144 151 155 156 157 162 168 177 179 180 182 183 185 186 192 194 197 199 200 201 202 203 205 220 223 224 225 227 232 233 236 238 242 245 254 255 265 266 270 275 276 280 282 285 287 290 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 342 343 345 347 351 354 357 363 366 367 368 370 373 376 380 381 383 388 390 392 394 395 396 402 407 412 414 420 424 425 427 433 435 443 445 447 450 454 455 465 466 475 476 479 480 482 486 492 500 503 504 505 506 508 510 511 514 515 518 a 7 9 11 15 23 24 27 28 30 37 40 42 44 46 48 50 57 61 62 68 71 72 77 78 82 83 84 87 92 95 97 99 105 107 111 112 114 115 125 128 129 137 139 140 144 151 156 157 162 168 177 179 180 182 183 185 186 192 194 197 199 200 201 202 203 205 220 223 224 225 227 232 233 236 238 239 242 245 254 255 265 266 270 275 276 280 282 285 287 290 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 342 343 345 347 351 354 357 363 366 367 368 370 373 376 380 381 383 388 390 392 394 395 396 402 407 412 414 420 424 425 427 433 435 443 445 447 450 454 455 465 466 475 476 479 480 482 486 492 500 503 504 505 506 508 510 511 514 515 518 a 7 9 11 15 23 24 27 28 30 37 40 42 44 46 48 50 57 61 62 68 71 72 77 78 82 83 84 87 92 95 97 99 105 107 111 112 114 115 125 128 129 137 139 140 144 151 156 157 162 168 177 179 180 182 183 185 186 189 192 194 197 199 200 201 202 203 205 220 223 224 225 227 232 233 236 238 239 242 245 254 255 265 266 270 276 280 282 285 287 290 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 342 343 345 347 351 354 357 363 366 367 368 370 373 376 380 381 383 388 390 392 394 395 396 402 407 412 414 420 424 425 427 433 435 443 445 447 450 454 455 465 466 475 476 479 480 482 486 492 500 503 504 505 506 508 510 511 514 515 518 a 7 9 11 15 23 27 28 30 37 40 42 44 46 48 50 57 61 62 68 71 72 77 78 82 83 84 87 92 95 97 99 105 107 111 112 114 115 125 128 129 137 139 140 144 151 156 157 162 168 177 179 180 182 183 185 186 189 192 194 197 199 200 201 202 203 205 220 223 224 225 227 232 233 236 238 239 242 245 254 255 265 266 270 276 280 282 285 287 290 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 342 343 345 347 351 354 357 363 366 367 368 370 373 376 380 381 383 388 390 392 394 395 396 402 407 412 414 420 424 425 427 433 435 443 445 447 450 454 455 465 466 475 476 479 480 482 486 487 492 500 503 504 505 506 508 510 511 514 515 518 a 7 9 11 15 23 27 28 30 37 40 42 44 46 48 50 57 61 62 68 69 71 72 77 78 82 83 84 87 92 95 97 99 105 107 111 112 114 115 125 128 129 137 139 140 144 151 156 157 162 168 177 179 180 182 183 185 186 189 192 194 197 199 200 201 202 203 205 220 223 224 225 227 232 233 236 238 239 242 245 254 255 265 266 270 276 280 282 285 287 290 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 342 343 345 347 351 354 357 363 366 367 368 370 373 376 380 381 383 388 390 392 394 395 396 402 407 412 414 420 425 427 433 435 443 445 447 450 454 455 465 466 475 476 479 480 482 486 487 492 500 503 504 505 506 508 510 511 514 515 518 a 7 9 11 15 23 27 28 30 37 40 42 44 46 48 50 57 61 62 68 69 71 72 77 78 82 83 84 87 92 95 97 99 105 107 111 112 114 115 125 128 129 137 139 140 144 151 156 157 162 168 177 179 180 182 183 185 186 189 192 194 197 199 200 201 202 203 205 219 220 223 224 225 227 232 233 236 238 239 242 245 254 255 265 266 270 276 280 282 285 287 290 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 342 343 345 347 351 354 357 363 366 367 368 370 373 376 380 381 383 388 390 392 394 395 396 402 407 412 414 420 425 427 433 435 443 445 447 450 454 455 465 466 475 476 479 480 482 487 492 500 503 504 505 506 508 510 511 514 515 518 a 7 9 11 15 23 27 28 30 37 40 42 44 46 48 50 57 61 62 68 69 71 72 77 78 82 83 84 87 92 95 97 99 105 107 111 112 114 115 125 128 129 137 139 140 144 151 156 157 162 168 177 179 180 182 183 185 186 189 192 194 197 199 200 201 202 203 205 219 220 223 224 225 227 232 233 236 238 239 242 245 254 255 265 266 270 276 282 285 287 290 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 342 343 345 347 351 354 357 363 366 367 368 370 373 376 380 381 383 388 390 392 394 395 396 402 407 412 414 420 425 427 433 435 442 443 445 447 450 454 455 465 466 475 476 479 480 482 487 492 500 503 504 505 506 508 510 511 514 515 518 a 7 9 11 15 23 27 28 30 37 40 42 44 46 48 50 57 61 62 68 69 71 72 77 78 82 83 84 87 92 95 97 99 105 107 111 112 114 115 125 128 129 130 137 139 140 144 151 156 157 162 168 177 179 180 182 183 185 186 189 192 194 197 199 200 201 202 203 205 219 220 223 224 225 227 232 233 236 238 239 242 245 254 255 265 266 270 276 282 285 287 290 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 343 345 347 351 354 357 363 366 367 368 370 373 376 380 381 383 388 390 392 394 395 396 402 407 412 414 420 425 427 433 435 442 443 445 447 450 454 455 465 466 475 476 479 480 482 487 492 500 503 504 505 506 508 510 511 514 515 518 a 7 8 9 11 15 23 27 28 30 37 40 42 44 46 48 50 57 61 62 68 69 71 72 77 78 82 83 84 87 92 95 97 99 105 107 111 112 114 115 125 128 129 130 137 139 140 144 151 156 157 162 168 177 179 180 182 183 185 186 189 192 194 197 199 200 201 202 203 205 219 220 223 224 225 227 232 233 236 238 239 242 245 254 255 265 266 270 276 282 285 287 290 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 343 345 347 351 354 357 363 366 367 368 370 373 376 380 381 383 388 390 394 395 396 402 407 412 414 420 425 427 433 435 442 443 445 447 450 454 455 465 466 475 476 479 480 482 487 492 500 503 504 505 506 508 510 511 514 515 518 a 7 8 9 11 15 23 27 28 30 37 40 42 44 46 48 50 57 61 62 68 69 71 72 77 78 82 83 84 87 92 95 97 99 105 107 111 112 114 115 125 128 129 130 137 139 140 144 151 156 157 162 168 177 179 180 182 183 185 186 189 192 194 197 199 200 201 202 203 205 219 220 223 224 225 227 232 233 236 238 239 242 245 254 255 265 266 270 276 282 285 287 290 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 343 345 347 351 354 357 363 366 367 368 370 373 376 380 381 383 390 394 395 396 402 407 412 414 420 425 427 433 435 438 442 443 445 447 450 454 455 465 466 475 476 479 480 482 487 492 500 503 504 505 506 508 510 511 514 515 518 a 7 8 9 11 15 23 27 28 30 37 40 42 44 46 48 50 57 61 62 68 69 71 72 77 78 82 83 84 87 92 95 97 99 105 107 111 112 114 115 125 128 129 130 137 139 140 144 151 156 157 162 168 177 179 180 182 183 185 186 189 192 194 197 199 200 201 202 203 205 219 220 223 224 225 227 232 233 236 238 239 242 245 254 258 265 266 270 276 282 285 287 290 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 343 345 347 351 354 357 363 366 367 368 370 373 376 380 381 383 390 394 395 396 402 407 412 414 420 425 427 433 435 438 442 443 445 447 450 454 455 465 466 475 476 479 480 482 487 492 500 503 504 505 506 508 510 511 514 515 518 a 7 8 9 11 15 23 27 28 30 37 40 42 44 46 48 50 57 61 62 68 69 71 72 77 78 82 83 84 85 87 92 95 97 99 105 107 111 112 114 115 125 128 129 130 137 139 140 144 151 156 157 162 168 177 179 180 182 183 185 186 189 192 194 197 199 200 201 202 203 205 219 220 223 224 225 227 232 233 236 238 239 242 245 254 258 265 266 270 276 282 285 287 290 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 343 345 347 351 354 357 363 366 367 368 370 373 376 380 381 383 390 394 395 396 402 407 412 414 420 425 427 433 435 438 442 443 445 447 450 454 455 465 466 475 476 479 480 482 487 492 503 504 505 506 508 510 511 514 515 518 a 7 8 9 11 15 23 27 28 30 37 40 42 44 46 48 50 57 61 62 68 69 71 72 77 78 82 83 84 85 87 92 95 97 99 105 107 111 112 114 115 125 128 130 137 139 140 144 151 156 157 162 168 177 179 180 182 183 185 186 189 192 194 197 199 200 201 202 203 205 219 220 223 224 225 227 232 233 236 238 239 242 245 254 258 265 266 270 276 282 285 287 290 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 343 345 347 351 354 357 363 366 367 368 370 373 376 380 381 383 390 394 395 396 402 407 412 413 414 420 425 427 433 435 438 442 443 445 447 450 454 455 465 466 475 476 479 480 482 487 492 503 504 505 506 508 510 511 514 515 518 a 7 8 9 11 15 23 27 28 30 37 42 44 46 48 50 57 61 62 68 69 71 72 77 78 82 83 84 85 87 92 95 97 99 105 107 111 112 114 115 125 128 130 137 139 140 144 151 156 157 162 168 177 179 180 182 183 185 186 189 192 194 197 199 200 201 202 203 205 219 220 223 224 225 227 232 233 236 238 239 242 245 254 258 265 266 270 276 282 285 287 290 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 343 345 347 351 354 357 363 366 367 368 370 373 376 380 381 383 389 390 394 395 396 402 407 412 413 414 420 425 427 433 435 438 442 443 445 447 450 454 455 465 466 475 476 479 480 482 487 492 503 504 505 506 508 510 511 514 515 518 a 7 8 9 11 15 23 27 28 30 37 42 44 46 48 50 57 61 62 68 69 71 72 77 78 82 83 84 85 87 92 95 97 99 105 107 111 112 114 115 125 128 130 137 139 140 144 151 156 157 162 168 177 179 180 182 183 185 186 189 192 194 197 199 200 201 202 203 205 219 220 223 224 225 227 232 233 236 238 239 242 245 254 258 265 266 270 276 282 285 287 290 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 343 345 347 351 357 363 366 367 368 370 373 376 380 381 383 384 389 390 394 395 396 402 407 412 413 414 420 425 427 433 435 438 442 443 445 447 450 454 455 465 466 475 476 479 480 482 487 492 503 504 505 506 508 510 511 514 515 518 a 7 8 9 11 15 23 27 28 30 37 42 44 46 48 50 57 61 62 68 69 71 72 77 78 82 83 84 85 87 92 95 97 99 105 107 111 112 114 115 125 128 130 137 139 140 144 151 156 157 162 168 177 179 180 183 185 186 189 192 194 197 199 200 201 202 203 205 219 220 223 224 225 227 232 233 236 238 239 242 245 254 258 265 266 270 276 282 285 287 290 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 343 345 347 351 357 363 366 367 368 370 373 376 380 381 383 384 389 390 394 395 396 402 407 412 413 414 420 425 427 433 435 438 442 443 445 447 450 454 455 465 466 475 476 479 480 482 487 492 495 503 504 505 506 508 510 511 514 515 518 a 7 8 9 11 15 23 27 30 37 42 44 46 48 50 57 61 62 68 69 71 72 77 78 82 83 84 85 87 92 95 97 99 105 107 111 112 114 115 125 128 130 137 139 140 144 151 156 157 162 168 177 179 180 183 185 186 189 192 194 197 199 200 201 202 203 205 216 219 220 223 224 225 227 232 233 236 238 239 242 245 254 258 265 266 270 276 282 285 287 290 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 341 343 345 347 351 357 363 366 367 368 370 373 376 380 381 383 384 389 390 394 395 396 402 407 412 413 414 420 425 427 433 435 438 442 443 445 447 450 454 455 465 466 475 476 479 480 482 487 492 495 503 504 505 506 508 510 511 514 515 518 a 7 8 9 11 15 23 27 30 37 42 44 46 48 50 57 61 62 68 69 71 72 77 78 82 83 84 85 87 92 95 97 99 105 107 111 112 114 115 125 128 130 137 139 140 144 151 156 157 162 168 177 179 180 183 185 186 189 192 194 197 199 200 201 202 203 205 216 219 220 223 224 225 227 232 233 236 238 239 242 245 254 258 265 266 270 276 282 285 287 290 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 339 341 343 345 347 351 357 363 366 367 368 370 373 376 380 381 383 384 389 390 394 395 396 402 407 412 413 414 420 425 433 435 438 442 443 445 447 450 454 455 465 466 475 476 479 480 482 487 492 495 503 504 505 506 508 510 511 514 515 518 a 7 8 9 11 15 23 27 30 37 42 44 46 48 50 57 61 62 68 69 71 72 77 78 82 83 84 85 87 92 95 97 99 105 107 111 112 114 115 125 128 130 137 139 140 144 151 156 157 162 168 177 179 180 183 185 186 189 192 194 197 199 200 201 202 203 205 216 219 220 223 224 225 227 232 233 236 238 239 242 245 254 258 265 266 268 270 276 282 285 287 290 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 339 341 345 347 351 357 363 366 367 368 370 373 376 380 381 383 384 389 390 394 395 396 402 407 412 413 414 420 425 433 435 438 442 443 445 447 450 454 455 465 466 475 476 479 480 482 487 492 495 503 504 505 506 508 510 511 514 515 518 a 7 8 9 11 15 23 27 30 37 42 44 46 48 50 57 61 62 68 69 71 72 77 78 82 83 84 85 87 92 95 97 99 105 107 111 112 114 115 122 125 128 130 137 139 140 144 151 156 157 162 168 177 179 180 183 185 186 189 192 194 197 199 200 201 202 203 205 216 219 220 223 224 225 227 232 233 236 238 239 242 245 254 258 265 266 268 270 276 282 285 287 290 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 339 341 345 347 351 357 363 366 367 368 370 373 376 380 381 383 384 389 390 394 395 396 402 407 412 413 414 420 425 433 435 438 442 443 445 447 450 454 455 465 466 475 476 479 480 482 487 492 495 503 504 505 506 508 511 514 515 518 a 7 8 9 11 15 23 27 30 37 42 44 46 48 50 57 61 62 68 69 71 72 77 78 82 83 84 85 87 92 95 97 99 105 107 111 112 114 115 122 125 128 130 137 139 140 143 144 151 156 157 162 168 177 179 180 183 185 186 189 192 194 197 199 200 201 202 203 205 216 219 220 223 224 225 227 232 233 236 238 239 242 245 254 258 265 266 268 270 276 282 285 287 290 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 339 341 345 347 351 357 366 367 368 370 373 376 380 381 383 384 389 390 394 395 396 402 407 412 413 414 420 425 433 435 438 442 443 445 447 450 454 455 465 466 475 476 479 480 482 487 492 495 503 504 505 506 508 511 514 515 518 a 7 8 9 11 15 23 27 30 37 42 44 46 48 50 57 61 62 68 69 71 72 77 78 82 83 84 85 87 92 95 97 99 105 107 111 112 114 115 122 125 128 130 137 139 140 143 144 151 156 157 162 168 177 179 180 183 185 186 189 192 194 197 199 200 201 202 203 205 214 216 219 220 223 224 225 227 232 233 236 238 239 242 245 254 258 265 266 268 270 282 285 287 290 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 339 341 345 347 351 357 366 367 368 370 373 376 380 381 383 384 389 390 394 395 396 402 407 412 413 414 420 425 433 435 438 442 443 445 447 450 454 455 465 466 475 476 479 480 482 487 492 495 503 504 505 506 508 511 514 515 518 a 7 8 9 11 15 23 27 30 37 42 44 46 48 50 57 61 62 68 69 71 72 77 78 82 83 84 85 87 92 95 97 99 105 107 111 112 114 115 122 125 128 130 137 139 140 143 144 151 156 157 162 168 177 179 180 183 185 186 189 192 194 197 199 200 201 202 203 205 214 216 219 220 223 224 225 227 232 233 234 236 238 239 242 245 254 258 265 266 268 270 282 285 287 290 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 339 341 345 347 351 357 366 367 368 370 373 376 380 381 383 384 389 390 394 395 396 402 407 412 413 414 420 425 433 435 438 442 445 447 450 454 455 465 466 475 476 479 480 482 487 492 495 503 504 505 506 508 511 514 515 518 a 7 8 9 11 15 23 27 37 42 44 46 48 50 57 61 62 68 69 71 72 77 78 82 83 84 85 87 92 95 97 99 105 107 111 112 114 115 122 125 128 130 137 139 140 143 144 151 156 157 162 168 177 179 180 181 183 185 186 189 192 194 197 199 200 201 202 203 205 214 216 219 220 223 224 225 227 232 233 234 236 238 239 242 245 254 258 265 266 268 270 282 285 287 290 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 339 341 345 347 351 357 366 367 368 370 373 376 380 381 383 384 389 390 394 395 396 402 407 412 413 414 420 425 433 435 438 442 445 447 450 454 455 465 466 475 476 479 480 482 487 492 495 503 504 505 506 508 511 514 515 518 a 7 8 9 11 15 23 27 37 42 44 46 48 50 57 61 62 68 69 71 72 77 78 82 83 84 85 87 92 95 97 99 105 107 111 112 114 115 122 125 128 130 137 138 139 140 143 144 151 156 157 162 168 177 179 180 181 183 185 186 189 192 194 197 199 200 201 202 203 205 214 216 219 220 223 224 225 227 232 233 234 236 238 239 242 245 254 258 265 266 268 270 282 285 287 290 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 339 341 345 347 351 357 366 367 368 370 373 380 381 383 384 389 390 394 395 396 402 407 412 413 414 420 425 433 435 438 442 445 447 450 454 455 465 466 475 476 479 480 482 487 492 495 503 504 505 506 508 511 514 515 518 a 7 8 9 11 15 23 27 37 42 44 46 48 50 57 61 62 68 69 71 72 77 78 82 83 84 85 87 92 95 97 99 105 107 111 112 114 115 122 125 128 130 137 138 139 140 143 144 151 156 157 162 168 177 179 180 181 183 185 186 189 192 194 197 199 200 201 202 203 205 214 216 219 220 223 224 225 227 232 233 234 236 238 239 242 245 254 258 265 268 270 282 285 287 290 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 339 341 345 347 351 357 366 367 368 370 373 380 381 383 384 389 390 394 395 396 402 407 412 413 414 420 425 433 435 438 442 445 447 450 453 454 455 465 466 475 476 479 480 482 487 492 495 503 504 505 506 508 511 514 515 518 a 7 8 9 11 15 22 23 27 37 42 44 46 48 50 57 61 62 68 69 71 72 77 78 82 83 84 85 87 92 95 97 99 105 107 111 112 114 115 122 125 128 130 137 138 139 140 143 144 151 156 157 162 168 177 179 180 181 183 185 186 189 192 194 197 199 200 201 202 203 205 214 216 219 220 223 224 225 227 232 233 234 236 238 239 242 245 254 258 265 268 270 282 285 287 290 294 295 298 301 306 308 313 314 319 322 323 325 327 330 334 335 339 341 345 347 351 357 366 367 368 370 373 380 381 383 384 389 390 394 395 396 402 407 412 413 414 420 425 433 435 438 442 445 447 450 453 454 455 465 466 475 476 479 480 482 487 492 495 504 505 506 508 511 514 515 518 a 7 8 9 11 15 22 23 27 37 42 44 46 48 50 57 61 62 68 69 71 72 77 78 82 83 84 85 87 92 95 97 99 105 107 111 112 114 115 122 125 128 130 137 138 139 140 143 144 151 156 157 162 168 177 179 180 181 183 185 186 189 192 194 197 199 200 201 202 203 205 214 216 219 220 223 224 225 227 232 233 234 236 238 239 242 245 254 258 265 268 270 282 285 287 290 294 295 298 301 306 313 314 319 322 323 325 327 330 334 335 339 341 345 347 351 357 366 367 368 370 373 380 381 383 384 389 390 394 395 396 402 407 412 413 414 420 425 433 435 438 442 445 447 450 453 454 455 465 466 475 476 479 480 482 485 487 492 495 504 505 506 508 511 514 515 518 a 7 8 9 11 15 22 23 27 37 42 44 46 48 50 57 61 62 68 69 72 77 78 82 83 84 85 87 92 95 97 99 105 107 111 112 114 115 122 125 128 130 137 138 139 140 143 144 151 156 157 162 168 177 179 180 181 183 185 186 189 192 194 197 199 200 201 202 203 205 214 216 219 220 223 224 225 227 228 232 233 234 236 238 239 242 245 254 258 265 268 270 282 285 287 290 294 295 298 301 306 313 314 319 322 323 325 327 330 334 335 339 341 345 347 351 357 366 367 368 370 373 380 381 383 384 389 390 394 395 396 402 407 412 413 414 420 425 433 435 438 442 445 447 450 453 454 455 465 466 475 476 479 480 482 485 487 492 495 504 505 506 508 511 514 515 518 a 7 8 9 11 15 22 23 27 37 42 44 46 48 50 57 61 62 68 69 72 77 78 82 83 84 85 87 92 95 97 99 105 107 111 112 114 115 122 125 128 130 137 138 139 140 143 144 151 156 157 168 177 179 180 181 183 185 186 189 192 194 197 199 200 201 202 203 205 214 216 219 220 223 224 225 227 228 232 233 234 236 238 239 242 245 254 258 265 268 270 282 285 287 290 294 295 298 301 306 313 314 319 322 323 325 327 330 334 335 339 341 345 347 351 357 366 367 368 370 373 380 381 383 384 389 390 394 395 396 402 407 412 413 414 420 425 426 433 435 438 442 445 447 450 453 454 455 465 466 475 476 479 480 482 485 487 492 495 504 505 506 508 511 514 515 518 a 7 8 9 11 15 22 23 27 37 42 44 46 50 57 61 62 68 69 72 77 78 82 83 84 85 87 92 95 97 99 105 107 111 112 114 115 122 125 128 130 137 138 139 140 143 144 151 156 157 168 177 179 180 181 183 185 186 189 192 194 197 199 200 201 202 203 205 214 216 219 220 223 224 225 227 228 232 233 234 236 238 239 242 245 254 258 265 268 270 282 285 287 290 294 295 298 301 306 313 314 319 322 323 325 327 330 334 335 339 341 345 347 351 357 366 367 368 370 373 380 381 382 383 384 389 390 394 395 396 402 407 412 413 414 420 425 426 433 435 438 442 445 447 450 453 454 455 465 466 475 476 479 480 482 485 487 492 495 504 505 506 508 511 514 515 518 c Step: 128 Command being timed: "python3 run_3.py --existent /benchmark/random_instance/random_instance040_graph002.col /benchmark/random_instance/random_instance040_graph002_01.dat" User time (seconds): 65.80 System time (seconds): 0.12 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:05.93 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): 373276 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 131799 Voluntary context switches: 24 Involuntary context switches: 401 Swaps: 0 File system inputs: 0 File system outputs: 1048 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 10:39:36 2023]