#BEGIN: [Mon Sep 4 15:01:20 2023] #HOST: s01 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance039_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance039_graph001_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_instance039_graph001.col /benchmark/random_instance/random_instance039_graph001_01.dat c /benchmark/random_instance/random_instance039_graph001.col c /benchmark/random_instance/random_instance039_graph001_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.002 seconds s 185 317 373 109 354 23 421 90 456 312 495 340 73 229 424 116 269 51 80 170 253 321 452 430 234 119 311 406 246 318 213 275 471 220 418 34 272 254 123 335 124 182 245 133 341 42 113 158 37 409 24 138 338 427 362 231 68 310 364 54 137 31 446 404 503 85 314 434 459 9 336 104 171 110 115 258 320 35 139 141 294 379 25 443 203 302 298 415 333 393 16 431 432 188 319 233 156 479 458 419 241 125 368 144 252 30 177 154 183 439 378 107 366 161 326 121 78 29 309 33 265 255 159 222 12 371 337 160 26 225 353 365 473 13 472 441 502 304 342 257 53 477 381 454 453 383 399 486 166 176 190 3 186 103 389 345 279 343 223 271 153 t 57 213 358 238 244 54 259 49 64 372 39 495 218 264 346 498 429 155 98 146 154 23 16 228 93 285 14 80 347 75 297 261 52 420 62 450 340 390 501 131 86 365 507 203 151 460 187 441 303 173 425 21 311 17 269 110 59 174 192 284 329 397 3 275 150 176 221 260 493 41 370 491 53 427 199 362 38 107 338 373 159 369 271 58 161 414 350 50 323 503 393 74 229 409 125 314 51 273 446 95 440 87 287 319 445 381 97 368 342 206 246 204 349 115 166 103 85 235 92 371 116 419 262 111 48 135 132 406 343 232 106 108 448 504 289 463 379 270 279 477 117 383 298 182 9 437 452 6 109 120 488 2 502 143 144 294 407 29 417 378 302 a YES a 3 9 12 13 16 23 24 25 26 29 30 31 33 34 35 37 42 51 53 54 68 73 78 80 85 90 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 144 153 154 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 203 213 220 222 223 225 229 231 233 234 241 245 246 252 253 254 255 257 258 265 269 271 272 275 279 294 298 302 304 309 310 311 312 314 317 318 319 320 321 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 409 415 418 419 421 424 427 430 431 432 434 439 441 443 446 452 453 454 456 458 459 471 472 473 477 479 486 495 502 503 a 3 9 10 12 13 16 23 24 25 26 29 30 31 33 34 35 37 42 51 53 54 68 73 78 80 85 90 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 144 153 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 203 213 220 222 223 225 229 231 233 234 241 245 246 252 253 254 255 257 258 265 269 271 272 275 279 294 298 302 304 309 310 311 312 314 317 318 319 320 321 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 409 415 418 419 421 424 427 430 431 432 434 439 441 443 446 452 453 454 456 458 459 471 472 473 477 479 486 495 502 503 a 3 9 10 12 13 16 23 24 25 26 29 31 33 34 35 37 42 51 53 54 68 73 78 80 85 90 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 144 153 156 158 159 160 161 166 170 171 172 176 177 182 183 185 186 188 190 203 213 220 222 223 225 229 231 233 234 241 245 246 252 253 254 255 257 258 265 269 271 272 275 279 294 298 302 304 309 310 311 312 314 317 318 319 320 321 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 409 415 418 419 421 424 427 430 431 432 434 439 441 443 446 452 453 454 456 458 459 471 472 473 477 479 486 495 502 503 a 3 9 10 12 13 16 23 24 25 26 29 31 33 34 35 37 42 51 53 54 68 73 78 80 85 90 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 144 153 156 158 159 160 161 166 170 171 172 176 177 182 183 185 186 188 190 203 213 220 222 223 225 229 231 233 234 241 245 246 252 253 254 255 257 258 265 269 271 272 275 279 294 298 302 304 309 310 311 312 314 317 318 319 320 321 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 409 415 418 419 421 424 427 430 431 432 434 439 441 443 452 453 454 456 457 458 459 471 472 473 477 479 486 495 502 503 a 3 9 10 12 13 16 23 24 25 26 29 31 33 34 35 37 42 51 53 54 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 144 153 156 158 159 160 161 166 170 171 172 176 177 182 183 185 186 188 190 203 213 220 222 223 225 229 231 233 234 241 245 246 252 253 254 255 257 258 265 269 271 272 275 279 294 298 302 304 309 310 311 312 314 317 318 319 320 321 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 409 415 418 419 420 421 424 427 430 431 432 434 439 441 443 452 453 454 456 457 458 459 471 472 473 477 479 486 495 502 503 a 3 9 10 12 13 16 23 24 25 26 29 31 33 34 35 37 42 51 53 54 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 144 153 156 158 159 160 161 166 170 171 172 176 177 182 183 185 186 188 190 213 220 222 223 225 229 231 233 234 241 245 246 252 253 254 255 257 258 265 269 271 272 275 279 294 298 302 304 309 310 311 312 314 317 318 319 320 321 326 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 409 415 418 419 420 421 424 426 427 430 431 432 434 439 441 443 452 453 454 456 457 458 459 471 472 473 477 479 486 495 502 503 a 3 9 10 12 13 16 23 24 25 26 29 31 33 34 35 37 42 51 53 54 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 144 153 156 158 159 160 161 166 170 171 172 176 177 182 183 185 186 188 190 213 220 222 223 225 229 231 233 234 241 245 246 252 253 254 255 257 258 265 269 271 272 275 279 294 298 302 304 309 310 311 312 314 317 318 319 320 321 326 330 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 409 415 418 419 420 421 424 426 427 431 432 434 439 441 443 452 453 454 456 457 458 459 471 472 473 477 479 486 495 502 503 a 3 9 10 12 13 16 23 25 26 29 31 33 34 35 37 42 51 53 54 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 144 153 156 158 159 160 161 166 170 171 172 176 177 182 183 185 186 188 190 213 220 222 223 225 229 231 233 234 241 245 246 252 253 254 255 257 258 265 269 271 272 275 279 294 298 302 304 308 309 310 311 312 314 317 318 319 320 321 326 330 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 409 415 418 419 420 421 424 426 427 431 432 434 439 441 443 452 453 454 456 457 458 459 471 472 473 477 479 486 495 502 503 a 3 9 10 12 13 16 23 25 26 29 31 33 34 35 37 42 51 53 54 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 144 153 156 158 159 160 161 166 170 171 172 176 177 182 183 185 186 188 190 212 213 220 222 223 225 229 231 233 234 241 245 246 252 253 254 255 257 258 265 269 271 272 275 279 294 298 302 304 308 309 310 311 312 314 317 318 319 320 321 326 330 333 335 336 337 338 340 341 342 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 409 415 418 419 420 421 424 426 427 431 432 434 439 441 443 452 453 454 456 457 458 459 471 472 473 477 479 486 495 502 503 a 3 9 10 12 13 16 23 25 26 29 31 33 34 35 37 42 51 53 54 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 144 153 156 158 159 160 161 166 170 171 172 176 177 182 183 185 186 188 190 212 213 220 222 223 225 229 231 233 234 241 245 246 252 253 254 255 257 258 265 269 271 272 275 279 294 298 302 304 308 309 310 311 312 314 317 318 319 320 321 326 330 333 335 336 337 338 340 341 342 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 409 415 418 419 420 421 424 426 427 431 432 434 439 441 443 446 452 453 454 456 458 459 471 472 473 477 479 486 495 502 503 a 3 9 10 12 13 16 23 24 25 26 29 31 33 34 35 37 42 51 53 54 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 144 153 156 158 159 160 161 166 170 171 172 176 177 182 183 185 186 188 190 213 220 222 223 225 229 231 233 234 241 245 246 252 253 254 255 257 258 265 269 271 272 275 279 294 298 302 304 308 309 310 311 312 314 317 318 319 320 321 326 330 333 335 336 337 338 340 341 342 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 409 415 418 419 420 421 424 426 427 431 432 434 439 441 443 446 452 453 454 456 458 459 471 472 473 477 479 486 495 502 503 a 3 9 10 12 13 16 23 24 25 26 29 31 33 34 35 37 42 51 53 54 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 144 153 156 158 159 160 161 166 170 171 172 176 177 182 183 185 186 188 190 213 220 222 223 225 229 231 233 234 241 245 246 252 253 254 255 257 258 265 269 271 272 275 279 294 298 302 304 308 309 310 311 312 317 318 319 320 321 326 330 333 335 336 337 338 340 341 342 343 345 353 354 362 364 365 366 368 371 373 378 379 381 383 389 393 399 404 406 409 415 418 419 420 421 424 426 427 431 432 434 439 441 443 446 452 453 454 456 458 459 471 472 473 477 479 486 495 502 503 a 3 9 10 12 13 16 23 24 25 26 29 31 33 34 35 37 42 51 53 54 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 144 153 156 158 159 160 161 166 170 171 172 176 177 182 183 185 186 188 190 213 220 222 223 225 229 231 233 234 241 245 246 252 253 254 255 257 258 265 269 271 272 275 279 294 298 302 304 308 309 310 311 312 317 318 319 320 321 326 330 333 335 336 337 338 340 341 342 343 345 353 354 362 363 364 365 366 368 371 378 379 381 383 389 393 399 404 406 409 415 418 419 420 421 424 426 427 431 432 434 439 441 443 446 452 453 454 456 458 459 471 472 473 477 479 486 495 502 503 a 3 9 10 12 13 16 23 24 25 26 28 29 31 33 34 35 37 42 51 53 54 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 144 153 156 158 159 160 161 166 170 171 172 176 177 182 183 185 186 188 190 213 220 222 223 225 229 231 233 234 241 245 246 252 253 254 255 257 258 265 269 271 272 275 279 294 298 302 304 308 309 310 311 312 317 318 319 320 321 326 330 333 335 336 337 338 340 341 342 343 345 353 354 362 363 364 365 366 368 371 378 379 381 383 389 393 399 404 406 409 415 418 419 420 421 424 426 427 431 432 434 439 441 443 452 453 454 456 458 459 471 472 473 477 479 486 495 502 503 a 3 9 10 12 13 16 23 24 25 26 28 29 31 33 34 35 37 42 51 53 54 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 144 153 156 158 159 160 161 166 170 171 172 176 177 182 183 185 186 188 190 213 220 222 223 225 229 231 233 234 241 245 246 252 253 254 255 257 258 265 269 271 272 275 279 294 298 302 304 308 309 310 311 312 317 318 319 320 321 326 330 333 335 336 337 338 340 341 342 343 345 353 354 362 363 364 365 366 368 371 378 379 381 383 389 393 399 404 406 409 415 418 419 420 421 424 426 427 431 432 434 439 441 443 452 453 454 456 457 458 459 471 472 473 477 479 486 502 503 a 3 9 10 12 13 16 23 24 25 26 28 29 31 33 34 35 37 42 51 53 54 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 144 153 156 158 159 160 161 166 170 171 172 176 177 182 183 185 186 188 190 213 220 222 223 225 229 231 233 234 241 245 246 252 253 254 255 257 258 265 269 271 272 275 279 294 298 299 302 304 308 309 310 311 312 317 318 319 320 321 326 330 333 335 336 337 338 340 341 342 343 345 353 354 362 363 364 365 366 368 371 378 379 381 383 389 393 399 404 406 409 415 418 419 420 421 424 426 427 431 432 434 439 441 443 452 453 454 456 457 458 459 471 472 473 477 479 486 502 a 3 9 10 12 13 16 23 24 25 26 28 29 31 33 34 35 37 42 51 53 54 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 144 153 156 158 159 160 161 166 170 171 172 176 177 182 183 185 186 188 190 213 220 222 223 225 229 231 233 234 241 245 246 252 253 254 255 257 258 265 269 271 272 275 279 294 298 299 302 304 308 309 310 311 312 317 318 319 320 321 330 333 335 336 337 338 340 341 342 343 345 353 354 362 363 364 365 366 368 371 378 379 381 383 389 393 399 404 406 409 415 418 419 420 421 424 426 427 431 432 434 439 441 443 452 453 454 456 457 458 459 471 472 473 477 479 486 491 502 a 3 9 10 12 13 16 23 24 25 26 28 29 31 33 34 35 37 42 51 53 54 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 144 153 156 158 160 161 166 170 171 172 176 177 182 183 185 186 188 190 213 220 222 223 225 229 231 233 234 241 245 246 252 253 254 255 257 258 265 269 271 272 275 279 294 295 298 299 302 304 308 309 310 311 312 317 318 319 320 321 330 333 335 336 337 338 340 341 342 343 345 353 354 362 363 364 365 366 368 371 378 379 381 383 389 393 399 404 406 409 415 418 419 420 421 424 426 427 431 432 434 439 441 443 452 453 454 456 457 458 459 471 472 473 477 479 486 491 502 a 3 9 10 12 13 16 23 24 25 26 28 29 31 33 34 35 37 42 51 53 54 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 144 153 156 158 160 161 166 170 171 172 176 177 182 183 185 186 188 190 203 213 220 222 223 225 229 231 233 234 241 245 246 252 253 254 255 257 258 265 269 271 272 275 279 294 295 298 299 302 304 308 309 310 311 312 317 318 319 320 321 330 333 335 336 337 338 340 341 342 343 345 353 354 362 363 364 365 366 368 371 378 379 381 383 389 393 399 404 406 409 415 418 419 420 421 424 426 427 431 432 434 439 441 443 452 453 454 456 457 458 459 471 472 473 477 479 486 491 a 3 9 10 12 13 16 23 24 25 26 28 29 31 33 34 35 37 42 51 53 54 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 144 153 156 158 160 161 166 170 171 172 176 177 182 183 185 186 188 190 203 213 220 222 223 225 229 231 233 234 241 245 246 252 253 254 255 257 258 265 269 271 272 275 279 294 295 298 299 302 304 308 309 310 311 312 317 318 319 320 321 330 333 335 336 337 338 340 341 342 343 345 353 354 362 363 364 365 366 368 371 378 379 381 383 389 393 399 404 406 409 415 418 419 420 421 424 426 427 431 432 434 439 441 443 452 453 454 456 457 458 459 471 472 473 477 479 491 503 a 3 9 10 12 13 16 23 24 25 26 28 29 31 33 34 35 37 42 51 53 54 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 144 153 156 158 160 161 166 170 171 172 176 177 182 183 185 186 188 190 203 213 220 222 223 225 229 231 233 234 241 245 246 252 253 254 255 257 258 265 269 271 272 275 279 294 295 298 299 302 304 308 309 310 311 312 317 318 319 320 321 330 333 335 336 337 338 340 341 342 343 345 353 354 362 363 364 365 366 368 371 378 379 381 383 389 393 399 404 406 409 418 419 420 421 424 426 427 431 432 434 439 441 443 452 453 454 456 457 458 459 471 472 473 477 479 491 502 503 a 3 9 10 12 13 16 23 24 25 26 28 29 31 33 34 35 37 42 51 53 54 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 144 153 156 158 160 161 166 170 171 172 176 177 182 183 185 186 188 190 203 213 220 222 223 225 229 231 233 234 241 245 246 252 253 254 255 257 258 265 269 271 272 275 279 294 295 299 302 304 308 309 310 311 312 317 318 319 320 321 330 333 335 336 337 338 340 341 342 343 345 353 354 362 363 364 365 366 368 371 378 379 381 383 389 393 399 404 406 409 418 419 420 421 424 426 427 431 432 434 439 441 443 452 453 454 456 457 458 459 471 472 473 477 479 491 495 502 503 a 3 9 10 12 13 16 23 24 25 26 28 29 31 33 34 35 37 42 51 53 54 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 144 153 156 158 160 161 166 170 171 172 176 177 182 185 186 188 190 203 213 220 222 223 225 229 231 233 234 241 245 246 252 253 254 255 257 258 265 269 271 272 275 279 294 295 299 302 304 308 309 310 311 312 317 318 319 320 321 330 333 335 336 337 338 340 341 342 343 345 353 354 362 363 364 365 366 368 371 378 379 381 383 389 393 399 404 406 409 418 419 420 421 424 426 427 431 432 434 439 441 443 450 452 453 454 456 457 458 459 471 472 473 477 479 491 495 502 503 a 3 9 10 12 13 16 23 24 25 26 28 29 31 33 34 35 37 42 51 53 54 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 144 153 156 158 160 161 166 170 171 172 176 177 182 185 186 188 190 203 213 220 222 223 225 229 231 233 234 241 245 246 252 253 254 255 257 258 265 269 271 272 275 279 294 295 299 302 304 308 309 310 311 312 317 318 319 320 321 330 331 333 335 336 337 338 340 341 342 343 345 353 354 362 363 364 365 366 368 371 378 379 381 383 389 393 399 404 409 418 419 420 421 424 426 427 431 432 434 439 441 443 450 452 453 454 456 457 458 459 471 472 473 477 479 491 495 502 503 a 3 9 10 12 13 16 23 24 25 26 28 29 31 33 34 35 37 42 51 53 54 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 144 153 156 158 160 161 166 170 171 172 176 177 182 185 186 188 190 203 213 220 222 223 225 231 233 234 241 245 246 252 253 254 255 257 258 265 269 271 272 275 279 281 294 295 299 302 304 308 309 310 311 312 317 318 319 320 321 330 331 333 335 336 337 338 340 341 342 343 345 353 354 362 363 364 365 366 368 371 378 379 381 383 389 393 399 404 409 418 419 420 421 424 426 427 431 432 434 439 441 443 450 452 453 454 456 457 458 459 471 472 473 477 479 491 495 502 503 a 3 9 10 12 13 16 23 24 25 26 28 29 31 33 34 35 37 42 51 53 54 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 144 153 156 158 159 160 161 166 170 171 172 176 177 182 185 186 188 190 203 213 220 222 223 225 231 233 234 241 245 246 252 253 254 255 257 258 265 269 271 272 275 279 281 294 299 302 304 308 309 310 311 312 317 318 319 320 321 330 331 333 335 336 337 338 340 341 342 343 345 353 354 362 363 364 365 366 368 371 378 379 381 383 389 393 399 404 409 418 419 420 421 424 426 427 431 432 434 439 441 443 450 452 453 454 456 457 458 459 471 472 473 477 479 491 495 502 503 a 3 9 10 12 13 16 23 24 25 26 28 29 31 33 34 35 37 42 51 53 54 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 144 153 156 158 159 160 161 166 170 171 172 176 177 182 185 186 188 190 203 213 220 222 223 225 229 231 233 234 241 245 246 252 253 254 255 257 258 265 269 271 272 275 279 281 294 299 302 304 308 309 310 311 312 317 318 319 320 321 330 331 333 335 336 337 338 340 341 342 343 345 353 354 362 363 364 365 366 368 371 378 379 381 383 389 393 399 404 409 418 419 420 421 424 426 427 431 432 434 439 441 443 450 452 453 454 456 457 458 459 471 472 473 477 479 491 495 502 a 3 9 10 12 13 16 21 23 24 25 26 28 29 31 33 34 35 37 42 51 53 54 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 138 139 141 144 153 156 158 159 160 161 166 170 171 172 176 177 182 185 186 188 190 203 213 220 222 223 225 229 231 233 234 241 245 246 252 253 254 255 257 258 265 269 271 272 275 279 281 294 299 302 304 308 309 310 311 312 317 318 319 320 321 330 331 333 335 336 337 338 340 341 342 343 345 353 354 362 363 365 366 368 371 378 379 381 383 389 393 399 404 409 418 419 420 421 424 426 427 431 432 434 439 441 443 450 452 453 454 456 457 458 459 471 472 473 477 479 491 495 502 a 3 9 10 12 13 16 21 23 24 25 26 28 29 31 33 34 35 37 42 51 53 54 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 139 141 144 153 156 158 159 160 161 166 170 171 172 176 177 182 185 186 188 190 203 213 220 222 223 225 229 231 233 234 241 245 246 252 253 254 255 257 258 265 269 271 272 275 279 281 294 299 302 303 304 308 309 310 311 312 317 318 319 320 321 330 331 333 335 336 337 338 340 341 342 343 345 353 354 362 363 365 366 368 371 378 379 381 383 389 393 399 404 409 418 419 420 421 424 426 427 431 432 434 439 441 443 450 452 453 454 456 457 458 459 471 472 473 477 479 491 495 502 a 3 9 10 12 13 16 21 23 24 25 26 28 29 31 33 34 35 37 42 51 53 54 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 139 141 144 153 156 158 159 160 161 166 170 171 172 176 177 182 185 186 188 190 203 213 220 222 223 225 229 231 233 234 241 245 246 252 254 255 257 258 265 269 271 272 275 279 281 294 299 302 303 304 308 309 310 311 312 317 318 319 320 321 330 331 333 335 336 337 338 340 341 342 343 345 353 354 362 363 365 366 368 371 378 379 381 383 389 393 399 404 409 418 419 420 421 424 426 427 431 432 434 439 441 443 450 452 453 454 456 457 458 459 471 472 473 477 479 491 495 502 503 a 3 9 10 12 13 16 21 23 24 25 26 28 29 31 33 34 35 37 42 51 53 54 62 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 139 141 144 153 156 158 159 160 161 166 170 171 172 176 177 182 185 186 188 190 203 213 220 222 223 225 229 231 233 234 241 245 246 252 254 255 257 258 265 269 271 272 275 279 281 294 299 302 303 304 308 309 310 311 312 317 318 319 320 321 330 331 333 335 336 337 338 340 341 342 343 345 354 362 363 365 366 368 371 378 379 381 383 389 393 399 404 409 418 419 420 421 424 426 427 431 432 434 439 441 443 450 452 453 454 456 457 458 459 471 472 473 477 479 491 495 502 503 a 3 9 10 12 13 16 21 23 24 25 26 28 29 31 33 34 35 37 42 51 53 54 62 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 139 141 144 153 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 203 213 218 220 222 223 225 229 231 233 234 241 245 246 252 254 255 257 258 265 269 271 272 275 279 281 294 299 302 303 304 308 309 310 311 312 317 318 319 320 321 330 331 333 335 336 337 338 340 341 342 343 345 354 362 363 365 366 368 371 378 379 381 383 389 393 399 404 409 418 419 420 421 424 426 427 431 432 434 439 441 443 450 452 453 454 456 457 458 459 471 472 473 477 479 491 495 502 503 a 3 9 10 12 13 16 21 23 24 25 26 28 29 31 33 34 35 37 42 51 53 54 62 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 139 141 144 153 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 203 213 218 220 222 223 225 229 231 233 234 241 245 246 252 254 255 257 258 265 269 271 272 275 279 281 294 299 302 303 304 308 309 310 311 312 314 317 318 319 320 321 330 331 333 335 336 337 338 340 341 342 343 345 354 362 363 365 366 368 371 378 379 381 383 389 393 399 404 409 418 419 420 421 424 426 427 431 432 434 439 441 443 450 452 453 454 456 458 459 471 472 473 477 479 491 495 502 503 a 3 9 10 12 13 16 21 23 24 25 26 29 31 33 34 35 37 42 51 53 54 62 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 139 141 144 153 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 203 213 218 220 222 223 225 229 231 233 234 241 245 246 252 254 255 257 258 265 269 271 272 275 279 281 294 299 302 303 304 308 309 310 311 312 314 317 318 319 320 321 330 331 333 335 336 337 338 340 341 342 343 345 354 362 363 365 366 368 371 378 379 381 383 389 393 399 404 409 418 419 420 421 424 426 427 431 432 434 439 441 443 446 450 452 453 454 456 458 459 471 472 473 477 479 491 495 502 503 a 3 9 10 12 13 16 21 23 24 25 26 29 31 33 34 35 37 42 51 53 54 62 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 139 141 144 153 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 203 213 218 220 222 223 225 229 231 233 234 241 245 246 252 254 255 257 258 265 269 271 272 275 279 281 289 294 299 302 303 304 308 309 310 311 312 314 317 318 319 320 321 330 331 335 336 337 338 340 341 342 343 345 354 362 363 365 366 368 371 378 379 381 383 389 393 399 404 409 418 419 420 421 424 426 427 431 432 434 439 441 443 446 450 452 453 454 456 458 459 471 472 473 477 479 491 495 502 503 a 3 9 10 12 13 16 21 23 24 25 26 29 31 33 34 35 37 42 51 53 54 62 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 139 141 144 153 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 203 213 218 220 222 223 225 229 231 233 234 241 245 246 252 254 255 257 258 265 269 271 272 275 279 281 289 294 299 302 303 304 308 309 310 311 312 314 317 318 319 320 321 329 330 331 335 336 337 338 340 341 342 343 345 354 362 363 365 366 368 371 378 379 381 383 389 393 399 404 409 418 419 420 421 424 426 427 431 432 434 439 441 446 450 452 453 454 456 458 459 471 472 473 477 479 491 495 502 503 a 3 9 10 12 13 16 21 23 24 25 26 29 31 33 34 35 37 42 51 53 54 62 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 139 141 144 153 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 203 213 218 220 222 223 225 229 231 233 234 241 245 246 252 254 255 257 258 265 269 271 272 275 279 281 289 294 299 302 303 304 308 309 310 311 312 314 317 318 319 320 321 329 330 331 335 336 337 338 340 341 342 343 345 354 362 363 365 366 368 371 378 379 381 383 389 393 399 404 409 418 419 420 421 424 426 427 431 432 434 439 441 446 450 452 453 454 456 458 459 471 472 473 477 491 495 502 503 504 a 3 9 10 12 13 16 21 23 24 25 26 29 31 33 34 35 37 42 51 53 54 62 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 139 141 144 153 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 203 213 218 220 222 223 225 228 229 231 233 234 241 245 246 252 254 255 257 258 265 269 271 272 275 279 281 289 294 299 302 303 304 308 309 310 311 312 314 317 318 319 320 321 329 330 331 335 336 337 338 340 341 342 343 345 354 362 363 365 368 371 378 379 381 383 389 393 399 404 409 418 419 420 421 424 426 427 431 432 434 439 441 446 450 452 453 454 456 458 459 471 472 473 477 491 495 502 503 504 a 3 9 10 12 13 16 21 23 24 25 26 29 31 33 34 35 37 41 42 51 53 54 62 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 139 141 144 153 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 203 213 218 220 222 223 225 228 229 231 233 234 241 245 246 252 254 255 257 258 265 269 271 272 275 279 281 289 294 299 302 303 304 308 309 310 311 312 314 317 318 319 320 321 329 330 331 335 336 337 338 340 342 343 345 354 362 363 365 368 371 378 379 381 383 389 393 399 404 409 418 419 420 421 424 426 427 431 432 434 439 441 446 450 452 453 454 456 458 459 471 472 473 477 491 495 502 503 504 a 3 9 10 12 13 16 21 23 24 25 26 29 31 33 34 35 37 41 42 51 53 54 62 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 139 141 144 153 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 203 213 218 220 222 223 225 228 229 231 233 234 238 241 245 246 252 254 257 258 265 269 271 272 275 279 281 289 294 299 302 303 304 308 309 310 311 312 314 317 318 319 320 321 329 330 331 335 336 337 338 340 342 343 345 354 362 363 365 368 371 378 379 381 383 389 393 399 404 409 418 419 420 421 424 426 427 431 432 434 439 441 446 450 452 453 454 456 458 459 471 472 473 477 491 495 502 503 504 a 3 9 10 12 13 16 21 23 24 25 26 29 31 33 34 35 37 41 42 51 53 54 62 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 137 139 141 144 153 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 203 213 218 220 222 223 225 228 229 231 233 234 238 241 245 246 252 254 257 258 265 269 271 272 275 279 281 289 294 299 302 303 304 308 309 310 311 312 314 317 319 320 321 329 330 331 335 336 337 338 340 342 343 345 349 354 362 363 365 368 371 378 379 381 383 389 393 399 404 409 418 419 420 421 424 426 427 431 432 434 439 441 446 450 452 453 454 456 458 459 471 472 473 477 491 495 502 503 504 a 3 9 10 12 13 16 21 23 24 25 26 29 31 33 34 35 37 41 42 51 53 54 59 62 68 73 78 80 85 103 104 107 109 110 113 115 116 121 123 124 125 133 137 139 141 144 153 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 203 213 218 220 222 223 225 228 229 231 233 234 238 241 245 246 252 254 257 258 265 269 271 272 275 279 281 289 294 299 302 303 304 308 309 310 311 312 314 317 319 320 321 329 330 331 335 336 337 338 340 342 343 345 349 354 362 363 365 368 371 378 379 381 383 389 393 399 404 409 418 419 420 421 424 426 427 431 432 434 439 441 446 450 452 453 454 456 458 459 471 472 473 477 491 495 502 503 504 a 3 9 10 12 13 16 21 23 24 25 26 29 31 33 34 35 37 41 42 51 53 54 59 62 68 73 78 80 85 103 104 107 109 110 113 115 116 121 123 124 125 133 137 139 141 144 153 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 203 213 218 220 222 223 225 228 229 231 233 234 238 241 245 246 252 254 257 258 265 269 271 272 275 279 281 289 294 299 302 303 304 308 309 310 311 312 314 317 319 320 321 329 330 331 335 336 337 338 340 342 343 345 349 354 362 363 365 368 371 378 379 381 383 389 393 399 404 409 418 419 420 421 424 426 427 431 432 434 439 441 446 450 452 453 454 456 459 471 472 473 477 491 493 495 502 503 504 a 3 9 10 12 13 16 21 23 24 25 26 29 31 33 34 35 37 41 42 51 53 54 59 62 68 73 78 80 85 103 104 107 109 110 113 115 116 120 121 123 124 125 133 137 139 141 144 153 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 203 213 218 220 222 223 225 228 229 231 233 234 238 241 245 246 252 254 257 258 265 269 271 272 275 279 281 289 294 299 302 303 304 308 309 311 312 314 317 319 320 321 329 330 331 335 336 337 338 340 342 343 345 349 354 362 363 365 368 371 378 379 381 383 389 393 399 404 409 418 419 420 421 424 426 427 431 432 434 439 441 446 450 452 453 454 456 459 471 472 473 477 491 493 495 502 503 504 a 3 9 10 12 13 16 21 23 24 25 26 29 31 33 34 35 37 41 42 51 53 54 59 62 68 73 78 80 85 103 104 107 109 110 113 115 116 120 121 123 124 125 133 137 139 141 144 153 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 199 203 213 218 220 222 223 225 228 229 231 233 234 238 241 245 246 252 254 257 258 265 269 271 272 275 279 281 289 294 299 302 303 304 308 309 311 312 314 317 319 320 321 329 330 331 335 336 337 338 340 342 343 345 349 354 362 363 365 368 371 378 379 381 383 393 399 404 409 418 419 420 421 424 426 427 431 432 434 439 441 446 450 452 453 454 456 459 471 472 473 477 491 493 495 502 503 504 a 3 9 10 12 13 16 21 23 24 25 26 29 31 33 34 35 37 41 42 51 53 54 59 62 68 73 78 80 85 103 104 106 107 109 110 113 115 116 120 121 123 124 125 133 137 139 141 144 153 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 199 203 213 218 220 222 223 225 228 229 231 233 234 238 241 245 246 252 257 258 265 269 271 272 275 279 281 289 294 299 302 303 304 308 309 311 312 314 317 319 320 321 329 330 331 335 336 337 338 340 342 343 345 349 354 362 363 365 368 371 378 379 381 383 393 399 404 409 418 419 420 421 424 426 427 431 432 434 439 441 446 450 452 453 454 456 459 471 472 473 477 491 493 495 502 503 504 a 3 9 10 12 13 16 21 23 24 25 26 29 31 33 34 35 37 41 42 51 53 54 59 62 68 73 78 80 85 103 104 106 107 109 110 113 115 116 120 121 123 124 125 133 137 139 144 153 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 199 203 213 218 220 222 223 225 228 229 231 233 234 238 241 245 246 252 257 258 265 269 271 272 275 279 281 289 294 299 302 303 304 308 309 311 312 314 317 319 320 321 329 330 331 335 336 337 338 340 342 343 345 349 354 362 363 365 368 371 378 379 381 383 393 399 404 409 417 418 419 420 421 424 426 427 431 432 434 439 441 446 450 452 453 454 456 459 471 472 473 477 491 493 495 502 503 504 a 3 9 12 13 16 21 23 24 25 26 29 31 33 34 35 37 41 42 51 53 54 59 62 68 73 78 80 85 103 104 106 107 109 110 113 115 116 120 121 123 124 125 133 137 139 144 153 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 199 203 213 218 220 222 223 225 228 229 231 233 234 238 241 245 246 252 257 258 265 269 271 272 275 279 281 289 294 299 302 303 304 308 309 311 312 314 317 319 320 321 329 330 331 335 336 337 338 340 342 343 345 349 354 362 363 365 368 371 378 379 381 383 393 399 404 409 417 418 419 420 421 424 426 427 431 432 434 439 441 446 448 450 452 453 454 456 459 471 472 473 477 491 493 495 502 503 504 a 3 9 12 13 16 21 23 24 25 26 29 31 33 34 35 37 41 42 51 53 54 59 62 68 73 78 80 85 103 104 106 107 109 110 113 115 116 120 121 123 124 125 133 137 139 144 153 154 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 199 203 213 218 220 222 223 225 228 229 231 233 234 238 241 245 246 252 257 258 265 269 271 272 275 279 281 289 294 299 302 303 304 308 309 311 312 314 317 319 320 321 329 330 331 335 336 337 338 340 342 343 345 349 354 362 363 365 368 371 378 379 381 383 393 399 404 409 417 418 419 420 421 424 427 431 432 434 439 441 446 448 450 452 453 454 456 459 471 472 473 477 491 493 495 502 503 504 a 3 9 12 13 16 21 23 24 25 26 29 31 33 34 35 37 41 42 51 53 54 59 62 68 73 78 80 85 103 104 106 107 109 110 113 115 116 120 121 123 124 125 133 137 139 143 144 153 154 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 199 203 213 218 220 222 223 225 228 229 231 233 234 238 241 245 246 252 257 258 265 269 271 272 275 279 281 289 294 299 302 303 304 308 309 311 312 314 317 319 321 329 330 331 335 336 337 338 340 342 343 345 349 354 362 363 365 368 371 378 379 381 383 393 399 404 409 417 418 419 420 421 424 427 431 432 434 439 441 446 448 450 452 453 454 456 459 471 472 473 477 491 493 495 502 503 504 a 3 9 12 13 16 21 23 24 25 26 29 31 33 34 35 37 41 42 51 53 54 59 62 68 73 78 80 85 103 104 106 107 109 110 113 115 116 120 121 123 124 125 133 137 139 143 144 153 154 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 199 203 213 218 220 222 223 225 228 229 231 233 234 238 241 245 246 252 257 258 265 269 271 272 275 279 281 289 294 299 302 303 304 308 309 311 314 317 319 321 329 330 331 335 336 337 338 340 342 343 345 349 354 362 363 365 368 371 378 379 381 383 393 399 404 409 417 418 419 420 421 424 427 431 432 434 439 441 446 448 450 452 453 454 456 459 471 472 473 477 491 493 495 501 502 503 504 a 3 9 12 13 16 21 23 24 25 26 29 31 33 34 35 37 41 42 50 51 53 54 59 62 68 73 78 80 85 103 104 106 107 109 110 113 115 116 120 121 123 124 125 133 137 139 143 144 153 154 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 199 203 213 218 220 222 223 225 228 229 231 233 234 238 241 245 246 252 257 258 265 269 271 272 275 279 281 289 294 299 302 303 304 308 309 311 314 317 319 321 329 330 331 335 336 337 338 340 342 343 345 349 354 362 363 365 368 371 378 379 381 383 393 399 404 409 417 418 419 420 424 427 431 432 434 439 441 446 448 450 452 453 454 456 459 471 472 473 477 491 493 495 501 502 503 504 a 3 9 12 13 16 21 23 24 25 26 29 31 33 34 35 37 41 42 50 51 53 54 59 62 68 78 80 85 87 103 104 106 107 109 110 113 115 116 120 121 123 124 125 133 137 139 143 144 153 154 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 199 203 213 218 220 222 223 225 228 229 231 233 234 238 241 245 246 252 257 258 265 269 271 272 275 279 281 289 294 299 302 303 304 308 309 311 314 317 319 321 329 330 331 335 336 337 338 340 342 343 345 349 354 362 363 365 368 371 378 379 381 383 393 399 404 409 417 418 419 420 424 427 431 432 434 439 441 446 448 450 452 453 454 456 459 471 472 473 477 491 493 495 501 502 503 504 a 3 9 12 13 16 21 23 24 25 26 29 31 33 34 35 37 41 42 50 51 53 54 59 62 68 78 80 85 87 103 104 106 107 109 110 113 115 116 120 121 123 124 125 133 137 139 143 144 153 154 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 199 203 213 218 220 222 223 225 228 229 231 233 234 238 245 246 252 257 258 265 269 271 272 275 279 281 289 294 299 302 303 304 308 309 311 314 317 319 321 329 330 331 335 336 337 338 340 342 343 345 347 349 354 362 363 365 368 371 378 379 381 383 393 399 404 409 417 418 419 420 424 427 431 432 434 439 441 446 448 450 452 453 454 456 459 471 472 473 477 491 493 495 501 502 503 504 a 3 9 12 13 16 21 23 24 25 26 29 31 33 34 35 37 41 42 50 51 53 54 59 62 68 78 80 85 87 103 104 106 107 109 110 113 115 116 117 120 121 124 125 133 137 139 143 144 153 154 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 199 203 213 218 220 222 223 225 228 229 231 233 234 238 245 246 252 257 258 265 269 271 272 275 279 281 289 294 299 302 303 304 308 309 311 314 317 319 321 329 330 331 335 336 337 338 340 342 343 345 347 349 354 362 363 365 368 371 378 379 381 383 393 399 404 409 417 418 419 420 424 427 431 432 434 439 441 446 448 450 452 453 454 456 459 471 472 473 477 491 493 495 501 502 503 504 a 3 9 12 13 16 21 23 24 25 26 29 31 33 34 35 37 41 42 50 51 53 54 59 62 68 78 80 85 87 103 104 106 107 109 110 113 115 116 117 120 121 124 125 133 137 139 143 144 153 154 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 199 203 213 218 220 222 223 225 228 229 231 233 234 238 245 246 252 257 258 265 269 271 272 275 279 281 289 294 299 302 303 304 308 309 311 314 317 319 321 329 330 331 335 336 337 338 340 342 343 345 347 349 354 362 363 365 368 371 378 379 381 383 393 399 404 409 417 419 420 424 427 431 432 434 439 441 446 448 450 452 453 454 456 459 460 471 472 473 477 491 493 495 501 502 503 504 a 3 9 12 13 16 21 23 24 25 26 29 31 33 34 35 37 41 42 50 51 53 54 59 62 68 78 80 85 87 103 104 106 107 109 110 113 115 116 117 120 121 124 125 133 137 139 143 144 153 154 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 199 203 213 218 220 222 223 225 228 229 231 233 234 238 245 246 252 257 258 265 269 271 272 275 279 289 294 299 302 303 304 308 309 311 314 317 319 321 329 330 331 335 336 337 338 340 342 343 345 347 349 354 362 363 365 368 371 372 378 379 381 383 393 399 404 409 417 419 420 424 427 431 432 434 439 441 446 448 450 452 453 454 456 459 460 471 472 473 477 491 493 495 501 502 503 504 a 3 9 12 13 16 21 23 24 25 26 29 31 33 34 35 37 41 42 50 51 53 54 59 62 68 75 78 80 85 87 103 104 106 107 109 110 113 115 116 117 120 121 124 125 133 137 139 143 144 153 154 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 199 203 213 218 220 222 223 225 228 229 231 233 234 238 245 246 252 257 258 265 269 271 272 275 279 289 294 299 302 303 304 308 309 311 314 317 319 321 329 330 331 335 336 337 338 340 342 343 345 347 349 354 362 363 365 368 371 372 378 379 381 383 393 399 404 409 417 419 420 424 427 431 434 439 441 446 448 450 452 453 454 456 459 460 471 472 473 477 491 493 495 501 502 503 504 a 3 9 12 13 16 21 23 24 25 26 29 31 33 34 35 37 41 42 50 51 53 54 59 62 68 75 78 80 85 87 93 103 104 106 107 109 110 113 115 116 117 120 121 124 125 133 137 139 143 144 153 154 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 199 203 213 218 222 223 225 228 229 231 233 234 238 245 246 252 257 258 265 269 271 272 275 279 289 294 299 302 303 304 308 309 311 314 317 319 321 329 330 331 335 336 337 338 340 342 343 345 347 349 354 362 363 365 368 371 372 378 379 381 383 393 399 404 409 417 419 420 424 427 431 434 439 441 446 448 450 452 453 454 456 459 460 471 472 473 477 491 493 495 501 502 503 504 a 3 9 12 13 16 21 23 24 26 29 31 33 34 35 37 41 42 50 51 53 54 59 62 68 75 78 80 85 87 93 103 104 106 107 109 110 113 115 116 117 120 121 124 125 133 137 139 143 144 153 154 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 199 203 213 218 222 223 225 228 229 231 233 234 238 245 246 252 257 258 265 269 271 272 275 279 289 294 299 302 303 304 308 309 311 314 317 319 321 329 330 331 335 336 337 338 340 342 343 345 347 349 354 362 363 365 368 371 372 378 379 381 383 393 399 404 409 417 419 420 424 427 431 434 439 441 446 448 450 452 453 454 456 459 460 463 471 472 473 477 491 493 495 501 502 503 504 a 3 9 12 13 16 21 23 24 26 29 31 33 34 35 37 41 42 50 51 53 54 59 62 68 75 78 80 85 87 93 103 104 106 107 109 110 113 115 116 117 120 121 124 125 133 137 139 143 144 153 154 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 199 203 213 218 222 223 225 228 229 231 233 234 238 245 246 252 257 258 265 269 271 272 275 279 289 294 299 302 303 304 308 309 311 314 317 319 321 329 330 331 335 336 337 338 340 342 343 345 347 349 354 362 363 365 368 371 372 378 379 381 383 393 399 404 409 417 419 420 424 427 431 434 439 441 445 446 448 450 452 453 456 459 460 463 471 472 473 477 491 493 495 501 502 503 504 a 3 9 12 13 16 21 23 24 26 29 31 33 34 35 37 41 42 50 51 53 54 59 62 68 75 78 80 85 87 93 103 104 106 107 109 110 113 115 116 117 120 121 124 125 133 137 139 143 144 153 154 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 199 203 213 218 222 223 225 228 229 231 233 234 238 245 246 252 257 258 265 269 271 272 275 279 289 294 299 302 303 304 308 309 311 314 317 319 321 329 330 331 335 336 337 338 340 342 343 345 347 349 354 362 363 365 368 371 372 378 379 381 383 393 399 409 417 419 420 424 427 431 434 437 439 441 445 446 448 450 452 453 456 459 460 463 471 472 473 477 491 493 495 501 502 503 504 a 3 9 12 13 16 21 23 24 26 29 31 33 34 35 37 41 42 50 51 53 54 59 62 68 75 78 80 85 87 93 103 104 106 107 109 110 113 115 116 117 120 121 124 125 133 137 139 143 144 153 154 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 199 203 213 218 222 223 225 228 229 231 233 234 238 245 246 252 257 258 260 265 269 271 272 275 279 289 294 299 302 303 304 308 309 311 314 317 319 321 329 330 331 335 336 337 338 340 342 343 345 347 349 354 362 363 365 368 371 372 378 379 381 383 393 399 409 417 419 420 424 427 431 434 437 441 445 446 448 450 452 453 456 459 460 463 471 472 473 477 491 493 495 501 502 503 504 a 3 9 12 13 16 21 23 24 26 29 31 33 34 35 37 41 42 50 51 53 54 59 62 68 75 78 80 85 87 93 103 104 106 107 109 110 113 115 116 117 120 121 124 125 133 137 139 143 144 153 154 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 199 203 213 218 222 223 225 228 229 231 233 234 235 238 245 246 252 257 258 260 265 269 271 275 279 289 294 299 302 303 304 308 309 311 314 317 319 321 329 330 331 335 336 337 338 340 342 343 345 347 349 354 362 363 365 368 371 372 378 379 381 383 393 399 409 417 419 420 424 427 431 434 437 441 445 446 448 450 452 453 456 459 460 463 471 472 473 477 491 493 495 501 502 503 504 a 3 9 12 13 16 21 23 24 26 29 31 33 34 35 37 41 42 50 51 53 54 59 62 68 75 78 80 85 87 93 103 104 106 107 109 110 113 115 116 117 120 121 124 125 133 137 139 143 144 151 153 154 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 199 203 213 218 222 223 225 228 229 231 233 234 235 238 245 246 252 257 258 260 265 269 271 275 279 289 294 299 302 303 304 308 309 311 314 317 319 321 329 330 331 335 336 337 338 340 342 343 347 349 354 362 363 365 368 371 372 378 379 381 383 393 399 409 417 419 420 424 427 431 434 437 441 445 446 448 450 452 453 456 459 460 463 471 472 473 477 491 493 495 501 502 503 504 a 3 9 12 13 16 21 23 24 26 29 33 34 35 37 38 41 42 50 51 53 54 59 62 68 75 78 80 85 87 93 103 104 106 107 109 110 113 115 116 117 120 121 124 125 133 137 139 143 144 151 153 154 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 199 203 213 218 222 223 225 228 229 231 233 234 235 238 245 246 252 257 258 260 265 269 271 275 279 289 294 299 302 303 304 308 309 311 314 317 319 321 329 330 331 335 336 337 338 340 342 343 347 349 354 362 363 365 368 371 372 378 379 381 383 393 399 409 417 419 420 424 427 431 434 437 441 445 446 448 450 452 453 456 459 460 463 471 472 473 477 491 493 495 501 502 503 504 a 3 9 12 13 16 21 23 24 26 29 33 34 35 37 38 41 42 50 51 53 54 59 62 68 75 78 80 85 87 93 103 104 106 107 109 110 113 115 116 117 120 121 124 125 133 137 139 143 144 151 153 154 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 199 203 213 218 222 223 225 228 229 231 233 234 235 238 245 246 252 257 258 260 265 269 271 273 275 279 289 294 299 302 303 304 308 309 311 314 317 319 321 329 330 331 335 336 337 338 340 342 343 347 349 354 362 363 365 368 371 372 378 379 381 383 393 399 409 417 419 420 424 427 434 437 441 445 446 448 450 452 453 456 459 460 463 471 472 473 477 491 493 495 501 502 503 504 a 3 9 12 13 16 21 23 24 26 29 33 34 35 37 38 41 42 50 51 53 54 59 62 68 75 78 80 85 87 93 103 104 106 107 109 110 113 115 116 117 120 121 124 125 133 137 139 143 144 151 153 154 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 199 203 213 218 222 223 225 228 229 231 233 234 235 238 245 246 252 257 258 260 265 269 271 273 275 279 284 289 294 299 302 303 304 308 309 311 314 317 319 321 329 330 331 335 336 337 338 340 342 343 347 349 354 362 363 365 368 371 372 378 379 381 383 393 399 409 417 419 420 424 427 434 437 441 445 446 448 450 452 453 456 459 460 463 471 472 477 491 493 495 501 502 503 504 a 3 9 12 13 16 21 23 24 26 29 33 34 35 37 38 41 42 50 51 53 54 59 62 68 75 78 80 85 87 93 103 104 106 107 109 110 113 115 116 117 120 121 124 125 133 137 139 143 144 151 153 154 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 199 203 213 218 222 223 225 228 229 231 233 234 235 238 245 246 252 257 258 260 265 269 271 273 275 279 284 289 294 299 302 303 304 308 309 311 314 317 319 321 329 331 335 336 337 338 340 342 343 347 349 354 362 363 365 368 371 372 378 379 381 383 393 399 406 409 417 419 420 424 427 434 437 441 445 446 448 450 452 453 456 459 460 463 471 472 477 491 493 495 501 502 503 504 a 3 9 12 13 16 21 23 24 26 29 33 34 35 37 38 41 42 50 51 53 54 59 62 68 75 78 80 85 87 93 103 104 106 107 109 110 113 115 116 117 120 121 124 125 133 137 139 143 144 151 153 154 156 158 159 161 166 170 171 172 176 177 182 185 186 188 190 199 203 213 218 222 223 225 228 229 231 233 234 235 238 245 246 252 257 258 260 265 269 271 273 275 279 284 289 294 299 302 303 304 308 309 311 314 319 321 329 331 335 336 337 338 340 342 343 347 349 354 362 363 365 368 371 372 378 379 381 383 393 399 406 409 417 419 420 424 427 434 437 441 445 446 448 450 452 453 456 459 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 9 12 13 16 21 23 24 26 29 33 34 35 37 38 41 42 50 51 53 54 59 62 68 75 78 80 85 87 93 98 103 104 106 107 109 110 113 115 116 117 120 121 124 125 133 137 139 143 144 151 153 154 156 158 159 161 166 171 172 176 177 182 185 186 188 190 199 203 213 218 222 223 225 228 229 231 233 234 235 238 245 246 252 257 258 260 265 269 271 273 275 279 284 289 294 299 302 303 304 308 309 311 314 319 321 329 331 335 336 337 338 340 342 343 347 349 354 362 363 365 368 371 372 378 379 381 383 393 399 406 409 417 419 420 424 427 434 437 441 445 446 448 450 452 453 456 459 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 9 12 13 16 21 23 24 26 29 33 34 35 37 38 41 42 50 51 53 54 59 62 68 75 78 80 85 87 93 98 103 104 106 107 109 110 111 113 115 116 117 120 121 124 125 133 137 139 143 144 151 153 154 156 158 159 161 166 171 172 176 177 182 185 186 188 190 199 203 213 218 222 223 225 228 229 231 233 234 235 238 245 246 252 257 258 260 265 269 271 273 275 279 284 289 294 299 302 303 304 308 309 311 314 319 329 331 335 336 337 338 340 342 343 347 349 354 362 363 365 368 371 372 378 379 381 383 393 399 406 409 417 419 420 424 427 434 437 441 445 446 448 450 452 453 456 459 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 9 12 13 14 16 21 23 24 26 29 33 34 35 37 38 41 42 50 51 53 54 59 62 68 75 78 80 85 87 93 98 103 104 106 107 109 110 111 113 115 116 117 120 121 124 125 133 137 139 143 144 151 153 154 156 158 159 161 166 171 172 176 177 182 185 186 188 199 203 213 218 222 223 225 228 229 231 233 234 235 238 245 246 252 257 258 260 265 269 271 273 275 279 284 289 294 299 302 303 304 308 309 311 314 319 329 331 335 336 337 338 340 342 343 347 349 354 362 363 365 368 371 372 378 379 381 383 393 399 406 409 417 419 420 424 427 434 437 441 445 446 448 450 452 453 456 459 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 13 14 16 21 23 24 26 29 33 34 35 37 38 41 42 50 51 53 54 59 62 68 75 78 80 85 87 93 98 103 104 106 107 109 110 111 113 115 116 117 120 121 124 125 137 139 143 144 151 153 154 156 158 159 161 166 171 172 176 177 182 185 186 188 199 203 213 218 222 223 225 228 229 231 233 234 235 238 245 246 252 257 258 260 265 269 271 273 275 279 284 289 294 299 302 303 304 308 309 311 314 319 329 331 335 336 337 338 340 342 343 347 349 354 362 363 365 368 371 372 378 379 381 383 393 399 406 409 417 419 420 424 427 434 437 441 445 446 448 450 452 453 456 459 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 13 14 16 21 23 26 29 33 34 35 37 38 41 42 50 51 53 54 59 62 68 75 78 80 85 87 93 98 103 104 106 107 109 110 111 113 115 116 117 120 121 124 125 137 139 143 144 151 153 154 156 158 159 161 166 171 172 176 177 182 185 186 188 199 203 213 218 222 223 225 228 229 231 233 234 235 238 245 246 252 257 258 260 265 269 271 273 275 279 284 289 294 299 302 303 304 308 309 311 314 319 329 331 335 336 337 338 340 342 343 347 349 354 362 363 365 368 371 372 378 379 381 383 393 399 406 409 417 419 420 424 427 429 434 437 441 445 446 448 450 452 453 456 459 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 13 14 16 21 23 26 29 33 34 35 37 38 41 42 50 51 53 54 59 62 68 75 78 80 85 87 93 98 103 104 106 107 109 110 111 113 115 116 117 120 121 124 125 137 139 143 144 151 153 154 156 158 159 161 166 171 172 176 177 182 185 186 188 199 203 213 218 222 223 225 228 229 231 233 234 235 238 245 246 252 257 258 260 265 269 271 273 275 279 284 289 294 298 299 302 303 304 309 311 314 319 329 331 335 336 337 338 340 342 343 347 349 354 362 363 365 368 371 372 378 379 381 383 393 399 406 409 417 419 420 424 427 429 434 437 441 445 446 448 450 452 453 456 459 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 13 14 16 21 23 26 29 33 34 35 37 38 41 42 50 51 53 54 59 62 68 75 78 80 85 87 93 98 103 104 106 107 109 110 111 113 115 116 117 120 121 124 125 137 139 143 144 146 151 153 154 156 158 159 161 166 171 172 176 177 182 185 186 188 199 203 213 218 222 223 225 228 229 231 233 235 238 245 246 252 257 258 260 265 269 271 273 275 279 284 289 294 298 299 302 303 304 309 311 314 319 329 331 335 336 337 338 340 342 343 347 349 354 362 363 365 368 371 372 378 379 381 383 393 399 406 409 417 419 420 424 427 429 434 437 441 445 446 448 450 452 453 456 459 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 13 14 16 21 23 26 29 33 34 35 37 38 41 42 49 50 51 53 54 59 62 68 75 78 80 85 87 93 98 103 104 106 107 109 110 111 113 115 116 117 120 121 124 125 137 139 143 144 146 151 153 154 156 158 159 161 166 171 172 176 177 182 185 186 188 199 203 213 218 222 223 225 228 229 231 233 235 238 245 246 252 257 258 260 265 269 271 273 275 279 284 289 294 298 299 302 303 304 309 311 314 319 329 331 335 336 337 338 340 342 343 347 349 354 362 363 365 368 371 372 378 379 381 383 393 399 406 409 417 419 420 424 427 429 434 437 441 445 446 448 450 452 453 459 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 13 14 16 21 23 26 29 33 34 35 37 38 41 42 49 50 51 53 54 58 59 62 68 75 78 80 85 87 93 98 103 104 106 107 109 110 111 113 115 116 117 120 121 124 125 137 139 143 144 146 151 153 154 156 158 159 161 166 171 172 176 177 182 185 186 188 199 203 213 218 222 223 225 228 229 231 233 235 238 245 246 252 257 258 260 265 269 271 273 275 279 284 289 294 298 299 302 303 304 309 311 314 319 329 335 336 337 338 340 342 343 347 349 354 362 363 365 368 371 372 378 379 381 383 393 399 406 409 417 419 420 424 427 429 434 437 441 445 446 448 450 452 453 459 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 14 16 21 23 26 29 33 34 35 37 38 41 42 49 50 51 53 54 58 59 62 64 68 75 78 80 85 87 93 98 103 104 106 107 109 110 111 113 115 116 117 120 121 124 125 137 139 143 144 146 151 153 154 156 158 159 161 166 171 172 176 177 182 185 186 188 199 203 213 218 222 223 225 228 229 231 233 235 238 245 246 252 257 258 260 265 269 271 273 275 279 284 289 294 298 299 302 303 304 309 311 314 319 329 335 336 337 338 340 342 343 347 349 354 362 363 365 368 371 372 378 379 381 383 393 399 406 409 417 419 420 424 427 429 434 437 441 445 446 448 450 452 453 459 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 14 16 21 23 26 29 33 34 35 37 38 41 42 49 50 51 53 54 58 59 62 64 68 75 78 80 85 87 93 98 103 104 106 107 109 110 111 113 115 116 117 120 121 124 125 137 143 144 146 151 153 154 156 158 159 161 166 171 172 176 177 182 185 186 188 199 203 213 218 222 223 225 228 229 231 233 235 238 245 246 252 257 258 260 265 269 271 273 275 279 284 285 289 294 298 299 302 303 304 309 311 314 319 329 335 336 337 338 340 342 343 347 349 354 362 363 365 368 371 372 378 379 381 383 393 399 406 409 417 419 420 424 427 429 434 437 441 445 446 448 450 452 453 459 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 14 16 21 23 26 29 33 34 35 37 38 41 42 49 50 51 52 53 54 58 59 62 64 68 75 78 80 85 87 93 98 103 104 106 107 109 110 111 113 115 116 117 120 121 124 125 137 143 144 146 151 153 154 156 158 159 161 166 171 172 176 177 182 185 186 188 199 203 213 218 222 223 225 228 229 231 233 235 238 245 246 252 257 258 260 265 269 271 273 275 279 284 285 289 294 298 299 302 303 304 309 311 314 319 329 335 337 338 340 342 343 347 349 354 362 363 365 368 371 372 378 379 381 383 393 399 406 409 417 419 420 424 427 429 434 437 441 445 446 448 450 452 453 459 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 14 16 21 23 26 29 33 34 35 37 38 41 42 49 50 51 52 53 54 58 59 62 64 68 75 78 80 85 87 93 98 103 104 106 107 109 110 111 113 115 116 117 120 121 124 125 143 144 146 151 153 154 156 158 159 161 166 171 172 176 177 182 185 186 188 199 203 213 218 222 223 225 228 229 231 233 235 238 245 246 252 257 258 260 265 269 271 273 275 279 284 285 289 294 297 298 299 302 303 304 309 311 314 319 329 335 337 338 340 342 343 347 349 354 362 363 365 368 371 372 378 379 381 383 393 399 406 409 417 419 420 424 427 429 434 437 441 445 446 448 450 452 453 459 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 14 16 21 23 26 29 33 34 35 37 38 41 42 49 50 51 52 53 54 58 59 62 64 68 75 78 80 85 87 93 98 103 104 106 107 109 110 111 113 115 116 117 120 121 124 125 143 144 146 151 153 154 156 158 159 161 166 171 172 176 177 182 185 186 188 199 203 213 218 223 225 228 229 231 233 235 238 245 246 252 257 258 260 261 265 269 271 273 275 279 284 285 289 294 297 298 299 302 303 304 309 311 314 319 329 335 337 338 340 342 343 347 349 354 362 363 365 368 371 372 378 379 381 383 393 399 406 409 417 419 420 424 427 429 434 437 441 445 446 448 450 452 453 459 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 14 16 21 23 26 29 33 34 35 37 38 41 42 49 50 51 52 53 54 58 59 62 64 68 75 78 80 85 87 93 98 103 104 106 107 109 110 111 115 116 117 120 121 124 125 143 144 146 151 153 154 156 158 159 161 166 171 172 176 177 182 185 186 188 199 203 213 218 223 225 228 229 231 233 235 238 244 245 246 252 257 258 260 261 265 269 271 273 275 279 284 285 289 294 297 298 299 302 303 304 309 311 314 319 329 335 337 338 340 342 343 347 349 354 362 363 365 368 371 372 378 379 381 383 393 399 406 409 417 419 420 424 427 429 434 437 441 445 446 448 450 452 453 459 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 14 16 21 23 26 29 33 34 35 37 38 41 42 49 50 51 52 53 54 58 59 62 64 68 75 78 80 85 87 93 98 103 104 106 107 109 110 111 115 116 117 120 121 124 125 143 144 146 151 153 154 156 158 159 161 166 171 172 176 177 182 185 186 187 188 199 203 213 218 223 225 228 229 231 233 235 238 244 245 246 252 257 258 260 261 265 269 271 273 275 279 284 285 289 294 297 298 299 302 303 304 309 311 314 319 329 335 337 338 340 342 343 347 349 354 362 363 365 368 371 372 378 379 381 383 393 399 406 409 417 419 420 424 427 429 434 437 441 445 446 448 450 452 453 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 14 16 21 23 26 29 33 34 37 38 41 42 49 50 51 52 53 54 58 59 62 64 68 75 78 80 85 87 93 98 103 104 106 107 109 110 111 115 116 117 120 121 124 125 143 144 146 151 153 154 156 158 159 161 166 171 172 176 177 182 185 186 187 188 199 203 206 213 218 223 225 228 229 231 233 235 238 244 245 246 252 257 258 260 261 265 269 271 273 275 279 284 285 289 294 297 298 299 302 303 304 309 311 314 319 329 335 337 338 340 342 343 347 349 354 362 363 365 368 371 372 378 379 381 383 393 399 406 409 417 419 420 424 427 429 434 437 441 445 446 448 450 452 453 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 14 16 21 23 26 29 33 34 37 38 41 42 49 50 51 52 53 54 58 59 62 64 68 75 78 80 85 87 93 98 103 104 106 107 108 109 110 111 115 116 117 120 121 124 125 143 144 146 151 153 154 156 158 159 161 166 171 172 176 177 182 185 186 187 188 199 203 206 213 218 223 225 228 229 231 233 235 238 244 245 246 252 257 258 260 261 265 269 271 273 275 279 284 285 289 294 297 298 299 302 303 304 309 311 314 319 329 335 337 338 340 342 343 347 349 354 362 363 365 368 371 372 378 379 381 383 393 406 409 417 419 420 424 427 429 434 437 441 445 446 448 450 452 453 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 14 16 21 23 26 29 33 34 37 38 41 42 49 50 51 52 53 54 58 59 62 64 68 75 78 80 85 87 93 98 103 104 106 107 108 109 110 111 115 116 117 120 121 124 125 143 144 146 150 151 153 154 156 158 159 161 166 171 172 176 177 182 185 186 187 188 199 203 206 213 218 223 225 228 229 231 233 235 238 244 245 246 252 258 260 261 265 269 271 273 275 279 284 285 289 294 297 298 299 302 303 304 309 311 314 319 329 335 337 338 340 342 343 347 349 354 362 363 365 368 371 372 378 379 381 383 393 406 409 417 419 420 424 427 429 434 437 441 445 446 448 450 452 453 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 14 16 21 23 26 29 33 34 37 38 41 42 49 50 51 52 53 54 58 59 62 64 68 75 78 80 85 87 93 98 103 104 106 107 108 109 110 111 115 116 117 120 121 124 125 143 144 146 150 151 153 154 156 158 159 161 166 171 172 176 177 182 185 186 187 188 199 203 206 213 218 221 223 225 228 229 231 233 235 238 244 245 246 258 260 261 265 269 271 273 275 279 284 285 289 294 297 298 299 302 303 304 309 311 314 319 329 335 337 338 340 342 343 347 349 354 362 363 365 368 371 372 378 379 381 383 393 406 409 417 419 420 424 427 429 434 437 441 445 446 448 450 452 453 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 14 16 21 23 26 29 33 34 37 38 41 42 49 50 51 52 53 54 58 59 62 64 68 75 78 80 85 87 93 98 103 104 106 107 108 109 110 111 115 116 117 120 121 124 125 143 144 146 150 151 153 154 156 158 159 161 166 171 172 176 177 182 185 186 187 188 199 203 206 213 218 221 223 225 228 229 231 233 235 238 244 245 246 260 261 265 269 271 273 275 279 284 285 289 294 297 298 299 302 303 304 309 311 314 319 329 335 337 338 340 342 343 347 349 354 362 363 365 368 371 372 378 379 381 383 393 406 409 414 417 419 420 424 427 429 434 437 441 445 446 448 450 452 453 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 14 16 21 23 26 29 33 34 37 38 41 42 49 50 51 52 53 54 58 59 62 64 68 75 78 80 85 87 93 98 103 104 106 107 108 109 110 111 115 116 117 120 121 124 125 143 144 146 150 151 153 154 156 158 159 161 166 171 172 176 177 182 185 187 188 192 199 203 206 213 218 221 223 225 228 229 231 233 235 238 244 245 246 260 261 265 269 271 273 275 279 284 285 289 294 297 298 299 302 303 304 309 311 314 319 329 335 337 338 340 342 343 347 349 354 362 363 365 368 371 372 378 379 381 383 393 406 409 414 417 419 420 424 427 429 434 437 441 445 446 448 450 452 453 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 14 16 21 23 26 29 33 34 37 38 41 42 49 50 51 52 53 54 58 59 62 64 68 75 78 80 85 87 92 93 98 103 104 106 107 108 109 110 111 115 116 117 120 121 124 125 143 144 146 150 151 153 154 156 158 159 161 166 171 172 176 177 182 185 187 188 192 199 203 206 213 218 221 223 225 228 229 231 233 235 238 244 245 246 260 261 265 269 271 273 275 279 284 285 289 294 297 298 302 303 304 309 311 314 319 329 335 337 338 340 342 343 347 349 354 362 363 365 368 371 372 378 379 381 383 393 406 409 414 417 419 420 424 427 429 434 437 441 445 446 448 450 452 453 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 14 16 21 23 26 29 33 34 37 38 41 42 49 50 51 52 53 54 58 59 62 64 68 75 78 80 85 87 92 93 98 103 104 106 107 108 109 110 111 115 116 117 120 121 124 125 143 144 146 150 151 153 154 156 158 159 161 166 171 172 176 177 182 185 187 188 192 199 203 206 213 218 221 223 225 228 229 231 232 233 235 238 244 245 246 260 261 265 269 271 273 275 279 284 285 289 294 297 298 302 303 304 309 311 314 319 329 335 337 338 340 342 343 347 349 354 362 365 368 371 372 378 379 381 383 393 406 409 414 417 419 420 424 427 429 434 437 441 445 446 448 450 452 453 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 14 16 21 23 26 29 33 34 37 38 41 42 49 50 51 52 53 54 58 59 62 64 68 75 78 80 85 87 92 93 98 103 104 106 107 108 109 110 111 115 116 117 120 121 124 125 143 144 146 150 151 154 156 158 159 161 166 171 172 176 177 182 185 187 188 192 199 203 206 213 218 221 223 225 228 229 231 232 233 235 238 244 245 246 259 260 261 265 269 271 273 275 279 284 285 289 294 297 298 302 303 304 309 311 314 319 329 335 337 338 340 342 343 347 349 354 362 365 368 371 372 378 379 381 383 393 406 409 414 417 419 420 424 427 429 434 437 441 445 446 448 450 452 453 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 14 16 21 23 26 29 33 34 37 38 41 42 49 50 51 52 53 54 58 59 62 64 68 75 78 80 85 87 92 93 98 103 104 106 107 108 109 110 111 115 116 117 120 121 124 125 143 144 146 150 151 154 156 158 159 161 166 171 172 176 177 182 185 187 188 192 199 203 206 213 218 221 223 225 228 229 231 232 233 235 238 244 245 246 259 260 261 265 269 271 273 275 279 284 285 289 294 297 298 302 303 304 309 311 314 319 329 335 337 338 340 342 343 347 349 354 362 365 368 371 372 373 378 379 381 383 393 406 409 414 417 419 420 424 427 429 437 441 445 446 448 450 452 453 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 14 16 21 23 26 29 33 34 37 38 41 49 50 51 52 53 54 58 59 62 64 68 75 78 80 85 87 92 93 98 103 104 106 107 108 109 110 111 115 116 117 120 121 124 125 143 144 146 150 151 154 156 158 159 161 166 171 172 176 177 182 185 187 188 192 199 203 206 213 218 221 223 225 228 229 231 232 233 235 238 244 245 246 259 260 261 265 269 271 273 275 279 284 285 289 294 297 298 302 303 304 309 311 314 319 329 335 337 338 340 342 343 347 349 350 354 362 365 368 371 372 373 378 379 381 383 393 406 409 414 417 419 420 424 427 429 437 441 445 446 448 450 452 453 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 14 16 21 23 26 29 33 34 37 38 41 49 50 51 52 53 54 58 59 62 64 68 75 78 80 85 87 92 93 98 103 104 106 107 108 109 110 111 115 116 117 120 121 124 125 143 144 146 150 151 154 156 158 159 161 166 171 172 176 177 182 185 187 188 192 199 203 206 213 218 221 223 225 228 229 231 232 233 235 238 244 245 246 259 260 261 265 269 271 273 275 279 284 285 289 294 297 298 302 303 304 311 314 319 329 335 337 338 340 342 343 347 349 350 354 362 365 368 369 371 372 373 378 379 381 383 393 406 409 414 417 419 420 424 427 429 437 441 445 446 448 450 452 453 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 14 16 21 23 26 29 33 34 37 38 41 49 50 51 52 53 54 58 59 62 64 68 75 78 80 85 87 92 93 98 103 104 106 107 108 109 110 111 115 116 117 120 121 124 125 143 144 146 150 151 154 156 158 159 161 166 171 172 173 176 177 182 185 187 188 192 199 203 206 213 218 221 223 225 228 229 231 232 233 235 238 244 245 246 259 260 261 265 269 271 273 275 279 284 285 289 294 297 298 302 303 304 311 314 319 329 335 338 340 342 343 347 349 350 354 362 365 368 369 371 372 373 378 379 381 383 393 406 409 414 417 419 420 424 427 429 437 441 445 446 448 450 452 453 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 14 16 21 23 26 29 33 34 37 38 41 49 50 51 52 53 54 58 59 62 64 68 74 75 78 80 85 87 92 93 98 103 104 106 107 108 109 110 111 115 116 117 120 121 124 125 143 144 146 150 151 154 156 158 159 161 166 171 172 173 176 177 182 185 187 188 192 199 203 206 213 218 221 223 225 228 229 231 232 235 238 244 245 246 259 260 261 265 269 271 273 275 279 284 285 289 294 297 298 302 303 304 311 314 319 329 335 338 340 342 343 347 349 350 354 362 365 368 369 371 372 373 378 379 381 383 393 406 409 414 417 419 420 424 427 429 437 441 445 446 448 450 452 453 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 14 16 21 23 26 29 33 34 37 38 41 48 49 50 51 52 53 54 58 59 62 64 68 74 75 78 80 85 87 92 93 98 103 104 106 107 108 109 110 111 115 116 117 120 121 124 125 143 144 146 150 151 154 156 158 159 161 166 171 172 173 176 177 182 185 187 188 192 199 203 206 213 218 221 223 225 228 229 231 232 235 238 244 245 246 259 260 261 265 269 271 273 275 279 284 285 289 294 297 298 302 303 304 311 314 319 329 335 338 340 342 343 347 349 350 354 362 365 368 369 371 372 373 378 379 381 383 393 406 409 414 417 419 420 424 427 429 437 441 445 446 448 450 452 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 14 16 21 23 26 29 33 34 37 38 41 48 49 50 51 52 53 54 58 59 62 64 68 74 75 78 80 85 87 92 93 98 103 104 106 107 108 109 110 111 115 116 117 120 121 124 125 131 143 144 146 150 151 154 156 158 159 161 166 172 173 176 177 182 185 187 188 192 199 203 206 213 218 221 223 225 228 229 231 232 235 238 244 245 246 259 260 261 265 269 271 273 275 279 284 285 289 294 297 298 302 303 304 311 314 319 329 335 338 340 342 343 347 349 350 354 362 365 368 369 371 372 373 378 379 381 383 393 406 409 414 417 419 420 424 427 429 437 441 445 446 448 450 452 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 14 16 21 23 26 29 33 34 37 38 41 48 49 50 51 52 53 54 58 59 62 64 74 75 78 80 85 86 87 92 93 98 103 104 106 107 108 109 110 111 115 116 117 120 121 124 125 131 143 144 146 150 151 154 156 158 159 161 166 172 173 176 177 182 185 187 188 192 199 203 206 213 218 221 223 225 228 229 231 232 235 238 244 245 246 259 260 261 265 269 271 273 275 279 284 285 289 294 297 298 302 303 304 311 314 319 329 335 338 340 342 343 347 349 350 354 362 365 368 369 371 372 373 378 379 381 383 393 406 409 414 417 419 420 424 427 429 437 441 445 446 448 450 452 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 14 16 21 23 26 29 33 34 37 38 41 48 49 50 51 52 53 54 58 59 62 64 74 75 78 80 85 86 87 92 93 98 103 104 106 107 108 109 110 111 115 116 117 120 121 125 131 143 144 146 150 151 154 156 158 159 161 166 172 173 176 177 182 185 187 188 192 199 203 206 213 218 221 223 225 228 229 231 232 235 238 244 245 246 259 260 261 262 265 269 271 273 275 279 284 285 289 294 297 298 302 303 304 311 314 319 329 335 338 340 342 343 347 349 350 354 362 365 368 369 371 372 373 378 379 381 383 393 406 409 414 417 419 420 424 427 429 437 441 445 446 448 450 452 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 14 16 21 23 26 29 33 34 37 38 41 48 49 50 51 52 53 54 58 59 62 64 74 75 78 80 85 86 87 92 93 98 103 104 106 107 108 109 110 111 115 116 117 120 121 125 131 132 143 144 146 150 151 154 156 158 159 161 166 172 173 176 177 182 185 187 188 192 199 203 206 213 218 221 223 225 228 229 231 232 235 238 244 245 246 259 260 261 262 265 269 271 273 275 279 284 285 289 294 297 298 302 303 304 311 314 319 329 335 338 340 342 343 347 349 350 354 362 365 368 369 371 372 373 378 379 381 383 393 406 409 414 417 419 420 427 429 437 441 445 446 448 450 452 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 14 16 21 23 26 29 33 34 37 38 41 48 49 50 51 52 53 54 58 59 62 64 74 75 78 80 85 86 87 92 93 98 103 104 106 107 108 109 110 111 115 116 117 120 121 125 131 132 143 144 146 150 151 154 156 158 159 161 166 173 174 176 177 182 185 187 188 192 199 203 206 213 218 221 223 225 228 229 231 232 235 238 244 245 246 259 260 261 262 265 269 271 273 275 279 284 285 289 294 297 298 302 303 304 311 314 319 329 335 338 340 342 343 347 349 350 354 362 365 368 369 371 372 373 378 379 381 383 393 406 409 414 417 419 420 427 429 437 441 445 446 448 450 452 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 14 16 21 23 26 29 33 34 37 38 41 48 49 50 51 52 53 54 58 59 62 64 74 75 78 80 85 86 87 92 93 95 98 103 106 107 108 109 110 111 115 116 117 120 121 125 131 132 143 144 146 150 151 154 156 158 159 161 166 173 174 176 177 182 185 187 188 192 199 203 206 213 218 221 223 225 228 229 231 232 235 238 244 245 246 259 260 261 262 265 269 271 273 275 279 284 285 289 294 297 298 302 303 304 311 314 319 329 335 338 340 342 343 347 349 350 354 362 365 368 369 371 372 373 378 379 381 383 393 406 409 414 417 419 420 427 429 437 441 445 446 448 450 452 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 14 16 21 23 26 29 33 34 37 38 41 48 49 50 51 52 53 54 58 59 62 64 74 75 78 80 85 86 87 92 93 95 98 103 106 107 108 109 110 111 115 116 117 120 121 125 131 132 143 144 146 150 151 154 156 158 159 161 166 173 174 176 177 182 185 187 188 192 199 203 206 213 218 221 223 225 228 229 232 235 238 244 245 246 259 260 261 262 265 269 271 273 275 279 284 285 289 294 297 298 302 303 304 311 314 319 329 335 338 340 342 343 346 347 349 350 354 362 365 368 369 371 372 373 378 379 381 383 393 406 409 414 417 419 420 427 429 437 441 445 446 448 450 452 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 14 16 21 23 26 29 33 34 37 38 41 48 49 50 51 52 53 54 58 59 62 64 74 75 78 80 85 86 87 92 93 95 98 103 106 107 108 109 110 111 115 116 117 120 121 125 131 132 135 143 144 146 150 151 154 156 159 161 166 173 174 176 177 182 185 187 188 192 199 203 206 213 218 221 223 225 228 229 232 235 238 244 245 246 259 260 261 262 265 269 271 273 275 279 284 285 289 294 297 298 302 303 304 311 314 319 329 335 338 340 342 343 346 347 349 350 354 362 365 368 369 371 372 373 378 379 381 383 393 406 409 414 417 419 420 427 429 437 441 445 446 448 450 452 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 14 16 21 23 26 29 33 34 37 38 41 48 49 50 51 52 53 54 58 59 62 64 74 75 78 80 85 86 87 92 93 95 98 103 106 107 108 109 110 111 115 116 117 120 121 125 131 132 135 143 144 146 150 151 154 159 161 166 173 174 176 177 182 185 187 188 192 199 203 206 213 218 221 223 225 228 229 232 235 238 244 245 246 259 260 261 262 265 269 271 273 275 279 284 285 289 294 297 298 302 303 304 311 314 319 329 335 338 340 342 343 346 347 349 350 354 358 362 365 368 369 371 372 373 378 379 381 383 393 406 409 414 417 419 420 427 429 437 441 445 446 448 450 452 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 14 16 21 23 26 29 33 34 37 38 41 48 49 50 51 52 53 54 58 59 62 64 74 75 78 80 85 86 87 92 93 95 98 103 106 107 108 109 110 111 115 116 117 120 121 125 131 132 135 143 144 146 150 151 154 159 161 166 173 174 176 182 185 187 188 192 199 203 206 213 218 221 223 225 228 229 232 235 238 244 245 246 259 260 261 262 265 269 271 273 275 279 284 285 289 294 297 298 302 303 304 311 314 319 329 335 338 340 342 343 346 347 349 350 354 358 362 365 368 369 371 372 373 378 379 381 383 393 397 406 409 414 417 419 420 427 429 437 441 445 446 448 450 452 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 14 16 21 23 26 29 33 34 37 38 41 48 49 50 51 52 53 54 58 59 62 64 74 75 78 80 85 86 87 92 93 95 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 146 150 151 154 159 161 166 173 174 176 182 185 187 188 192 199 203 206 213 218 221 223 225 228 229 232 235 238 244 245 246 259 260 261 262 265 269 271 273 275 279 284 285 289 294 297 298 302 303 304 311 314 319 323 329 335 338 340 342 343 346 347 349 350 354 358 362 365 368 369 371 372 373 378 379 381 383 393 397 406 409 414 417 419 420 427 429 437 441 445 446 448 450 452 460 463 471 472 477 491 493 495 498 501 502 503 504 a 3 6 9 12 14 16 21 23 26 29 33 34 37 38 41 48 49 50 51 52 53 54 58 59 62 64 74 75 78 80 85 86 87 92 93 95 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 146 150 151 154 159 161 166 173 174 176 182 185 187 188 192 199 203 206 213 218 221 223 225 228 229 232 235 238 244 245 246 259 260 261 262 265 269 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 329 335 338 340 342 343 346 347 349 350 354 358 362 365 368 369 371 372 373 378 379 381 383 393 397 406 409 414 417 419 420 427 429 437 441 445 446 448 450 452 460 463 471 472 477 491 493 495 498 501 502 503 504 507 a 3 6 9 12 14 16 17 21 23 26 29 33 34 37 38 41 48 49 50 51 52 53 54 58 59 62 64 74 75 78 80 85 86 87 92 93 95 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 146 150 151 154 159 161 166 173 174 176 182 185 187 188 192 199 203 206 213 218 221 223 225 228 229 232 235 238 244 245 246 259 260 261 262 269 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 329 335 338 340 342 343 346 347 349 350 354 358 362 365 368 369 371 372 373 378 379 381 383 393 397 406 409 414 417 419 420 427 429 437 441 445 446 448 450 452 460 463 471 472 477 491 493 495 498 501 502 503 504 507 a 3 6 9 12 14 16 17 21 23 26 29 33 34 37 38 41 48 49 50 51 52 53 54 58 59 62 64 74 75 78 80 85 86 87 92 93 95 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 146 150 151 154 159 161 166 173 174 176 182 185 187 188 192 199 203 206 213 218 221 223 225 228 229 232 235 238 244 246 259 260 261 262 269 271 273 275 279 284 285 287 289 294 297 298 302 303 311 314 319 323 329 335 338 340 342 343 346 347 349 350 354 358 362 365 368 369 371 372 373 378 379 381 383 393 397 406 409 414 417 419 420 427 429 437 441 445 446 448 450 452 460 463 471 472 477 491 493 495 498 501 502 503 504 507 a 3 6 9 12 14 16 17 21 23 26 29 33 34 37 38 41 48 49 50 51 52 53 54 58 59 62 64 74 75 80 85 86 87 92 93 95 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 146 150 151 154 159 161 166 173 174 176 182 185 187 188 192 199 203 206 213 218 221 223 225 228 229 232 235 238 244 246 259 260 261 262 269 271 273 275 279 284 285 287 289 294 297 298 302 303 311 314 319 323 329 335 338 340 342 343 346 347 349 350 354 358 362 365 368 369 371 372 373 378 379 381 383 393 397 406 409 414 417 419 420 427 429 437 440 441 445 446 448 450 452 460 463 471 472 477 491 493 495 498 501 502 503 504 507 a 3 6 9 12 14 16 17 21 23 26 29 33 34 37 38 41 48 49 50 51 52 53 54 58 59 62 64 74 75 80 85 86 87 92 93 95 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 146 150 151 154 159 161 166 173 174 176 182 185 187 188 192 199 203 206 213 218 221 223 225 228 229 232 235 238 244 246 259 260 261 262 269 271 273 275 279 284 285 287 289 294 297 298 302 303 311 314 319 323 329 335 338 340 342 343 346 347 349 350 358 362 365 368 369 371 372 373 378 379 381 383 393 397 406 407 409 414 417 419 420 427 429 437 440 441 445 446 448 450 452 460 463 471 472 477 491 493 495 498 501 502 503 504 507 a 3 6 9 12 14 16 17 21 23 26 29 34 37 38 39 41 48 49 50 51 52 53 54 58 59 62 64 74 75 80 85 86 87 92 93 95 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 146 150 151 154 159 161 166 173 174 176 182 185 187 188 192 199 203 206 213 218 221 223 225 228 229 232 235 238 244 246 259 260 261 262 269 271 273 275 279 284 285 287 289 294 297 298 302 303 311 314 319 323 329 335 338 340 342 343 346 347 349 350 358 362 365 368 369 371 372 373 378 379 381 383 393 397 406 407 409 414 417 419 420 427 429 437 440 441 445 446 448 450 452 460 463 471 472 477 491 493 495 498 501 502 503 504 507 a 3 6 9 12 14 16 17 21 23 26 29 34 37 38 39 41 48 49 50 51 52 53 54 58 59 62 64 74 75 80 85 86 87 92 93 95 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 146 150 151 154 159 161 166 173 174 176 182 185 187 192 199 203 206 213 218 221 223 225 228 229 232 235 238 244 246 259 260 261 262 269 271 273 275 279 284 285 287 289 294 297 298 302 303 311 314 319 323 329 335 338 340 342 343 346 347 349 350 358 362 365 368 369 370 371 372 373 378 379 381 383 393 397 406 407 409 414 417 419 420 427 429 437 440 441 445 446 448 450 452 460 463 471 472 477 491 493 495 498 501 502 503 504 507 a 3 6 9 12 14 16 17 21 23 26 29 37 38 39 41 48 49 50 51 52 53 54 58 59 62 64 74 75 80 85 86 87 92 93 95 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 146 150 151 154 159 161 166 173 174 176 182 185 187 192 199 203 204 206 213 218 221 223 225 228 229 232 235 238 244 246 259 260 261 262 269 271 273 275 279 284 285 287 289 294 297 298 302 303 311 314 319 323 329 335 338 340 342 343 346 347 349 350 358 362 365 368 369 370 371 372 373 378 379 381 383 393 397 406 407 409 414 417 419 420 427 429 437 440 441 445 446 448 450 452 460 463 471 472 477 491 493 495 498 501 502 503 504 507 a 2 3 6 9 12 14 16 17 21 23 29 37 38 39 41 48 49 50 51 52 53 54 58 59 62 64 74 75 80 85 86 87 92 93 95 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 146 150 151 154 159 161 166 173 174 176 182 185 187 192 199 203 204 206 213 218 221 223 225 228 229 232 235 238 244 246 259 260 261 262 269 271 273 275 279 284 285 287 289 294 297 298 302 303 311 314 319 323 329 335 338 340 342 343 346 347 349 350 358 362 365 368 369 370 371 372 373 378 379 381 383 393 397 406 407 409 414 417 419 420 427 429 437 440 441 445 446 448 450 452 460 463 471 472 477 491 493 495 498 501 502 503 504 507 a 2 3 6 9 14 16 17 21 23 29 37 38 39 41 48 49 50 51 52 53 54 58 59 62 64 74 75 80 85 86 87 92 93 95 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 146 150 151 154 159 161 166 173 174 176 182 185 187 192 199 203 204 206 213 218 221 223 225 228 229 232 235 238 244 246 259 260 261 262 269 271 273 275 279 284 285 287 289 294 297 298 302 303 311 314 319 323 329 335 338 340 342 343 346 347 349 350 358 362 365 368 369 370 371 372 373 378 379 381 383 393 397 406 407 409 414 417 419 420 427 429 437 440 441 445 446 448 450 452 460 463 471 472 477 488 491 493 495 498 501 502 503 504 507 a 2 3 6 9 14 16 17 21 23 29 37 38 39 41 48 49 50 51 52 53 54 58 59 62 64 74 75 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 146 150 151 154 159 161 166 173 174 176 182 185 187 192 199 203 204 206 213 218 221 225 228 229 232 235 238 244 246 259 260 261 262 269 271 273 275 279 284 285 287 289 294 297 298 302 303 311 314 319 323 329 335 338 340 342 343 346 347 349 350 358 362 365 368 369 370 371 372 373 378 379 381 383 393 397 406 407 409 414 417 419 420 427 429 437 440 441 445 446 448 450 452 460 463 471 472 477 488 491 493 495 498 501 502 503 504 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 58 59 62 64 74 75 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 146 150 151 154 159 161 166 173 174 176 182 185 187 192 199 203 204 206 213 218 221 225 228 229 232 235 238 244 246 259 260 261 262 269 270 271 273 275 279 284 285 287 289 294 297 298 302 303 311 314 319 323 329 335 338 340 342 343 346 347 349 350 358 362 365 368 369 370 371 372 373 378 379 381 383 393 397 406 407 409 414 417 419 420 427 429 437 440 441 445 446 448 450 452 460 463 471 472 477 488 491 493 495 498 501 502 503 504 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 146 150 151 154 159 161 166 173 174 176 182 185 187 192 199 203 204 206 213 218 221 228 229 232 235 238 244 246 259 260 261 262 269 270 271 273 275 279 284 285 287 289 294 297 298 302 303 311 314 319 323 329 335 338 340 342 343 346 347 349 350 358 362 365 368 369 370 371 372 373 378 379 381 383 393 397 406 407 409 414 417 419 420 427 429 437 440 441 445 446 448 450 452 460 463 471 472 477 488 491 493 495 498 501 502 503 504 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 146 150 151 154 159 161 166 173 174 176 182 185 187 192 199 203 204 206 213 218 221 228 229 232 235 238 244 246 259 260 261 262 269 270 271 273 275 279 284 285 287 289 294 297 298 302 303 311 314 319 323 329 338 340 342 343 346 347 349 350 358 362 365 368 369 370 371 372 373 378 379 381 383 393 397 406 407 409 414 417 419 420 425 427 429 437 440 441 445 446 448 450 452 460 463 471 472 477 488 491 493 495 498 501 502 503 504 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 146 150 151 154 159 161 166 173 174 176 182 185 187 192 199 203 204 206 213 218 221 228 229 232 235 238 244 246 259 260 261 262 264 269 270 271 273 275 279 284 285 287 289 294 297 298 302 303 311 314 319 323 329 338 340 342 343 346 347 349 350 358 362 365 368 369 370 371 372 373 378 379 381 383 393 397 406 407 409 414 417 419 420 425 427 429 437 440 441 445 446 448 450 452 460 463 472 477 488 491 493 495 498 501 502 503 504 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 146 150 151 154 159 161 166 173 174 176 182 185 187 192 199 203 204 206 213 218 221 228 229 232 235 238 244 246 259 260 261 262 264 269 270 271 273 275 279 284 285 287 289 294 297 298 302 303 311 314 319 323 329 338 340 342 343 346 347 349 350 358 362 365 368 369 370 371 372 373 378 379 381 383 390 393 397 406 407 409 414 417 419 420 425 427 429 437 440 441 445 446 448 450 452 460 463 477 488 491 493 495 498 501 502 503 504 507 a 2 3 6 9 14 16 17 21 23 29 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 95 97 98 103 106 107 108 109 110 111 115 116 117 120 125 131 132 135 143 144 146 150 151 154 155 159 161 166 173 174 176 182 187 192 199 203 204 206 213 218 221 228 229 232 235 238 244 246 259 260 261 262 264 269 270 271 273 275 279 284 285 287 289 294 297 298 302 303 311 314 319 323 329 338 340 342 343 346 347 349 350 358 362 365 368 369 370 371 372 373 378 379 381 383 390 393 397 406 407 409 414 417 419 420 425 427 429 437 440 441 445 446 448 450 452 460 463 477 488 491 493 495 498 501 502 503 504 507 c Step: 128 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance039_graph001.col /benchmark/random_instance/random_instance039_graph001_01.dat" User time (seconds): 550.74 System time (seconds): 7.43 Percent of CPU this job got: 151% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:07.22 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): 23974324 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 8339384 Voluntary context switches: 277085 Involuntary context switches: 2347 Swaps: 0 File system inputs: 0 File system outputs: 1040 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 15:07:28 2023]