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