#BEGIN: [Mon Sep  4 13:00:39 2023]
#HOST: s09
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-banbaralab2-existent1
#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 /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!
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 12 13 16 23 24 25 26 29 30 31 33 34 35 37 42 51 53 54 68 73 78 80 85 90 98 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 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 12 13 16 23 24 25 26 29 30 31 33 34 35 37 42 51 53 54 68 73 78 80 85 90 98 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 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 403 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
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 98 103 104 107 109 110 113 115 116 119 121 123 124 125 133 136 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 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 403 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
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 103 104 107 109 110 113 115 116 119 121 123 124 125 133 136 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 403 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
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 103 104 107 109 110 113 115 116 119 121 123 124 125 133 136 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 403 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
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 103 104 107 109 110 113 115 116 119 121 123 124 125 133 136 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 238 241 245 246 252 253 254 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 403 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
a 3 9 12 13 16 23 24 25 26 28 29 30 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 136 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 238 241 245 246 252 253 254 257 258 265 269 271 272 275 279 294 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 403 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
a 3 9 12 13 16 23 24 25 26 28 29 30 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 136 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 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 403 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
a 3 9 12 13 16 23 24 25 26 28 29 30 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 136 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 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 403 404 406 409 415 416 418 419 421 424 427 430 431 432 434 439 441 443 452 453 454 456 457 458 459 471 472 477 479 486 495 502
a 3 9 12 13 16 23 24 25 26 28 29 30 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 136 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 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 403 404 406 409 415 416 418 419 421 424 427 430 431 432 434 439 441 443 448 452 453 454 456 457 458 459 471 472 477 486 495 502
a 3 9 12 13 16 23 24 25 26 28 29 30 31 33 34 35 37 42 51 53 54 68 73 78 80 85 103 104 107 110 113 115 116 119 121 123 124 125 133 136 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 403 404 406 409 415 416 418 419 421 424 427 430 431 432 434 439 441 443 448 452 453 454 456 457 458 459 471 472 477 486 495 502
a 3 9 12 13 16 23 24 25 26 28 29 30 31 33 34 35 37 42 51 53 54 68 73 78 80 85 103 104 107 110 113 115 116 119 121 123 124 125 133 136 137 138 139 141 143 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 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 403 404 406 409 415 416 418 419 421 424 427 430 431 432 434 439 441 443 448 452 453 454 456 457 458 459 471 472 477 486 495 502
a 3 9 12 13 16 23 24 25 26 28 29 30 31 33 34 35 37 42 51 53 54 68 73 78 80 85 103 104 107 110 113 115 116 119 121 123 124 125 133 136 137 138 139 141 143 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 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 403 404 406 409 415 416 418 419 421 424 427 430 431 432 434 439 441 443 452 453 454 456 457 458 459 471 472 477 479 486 495 502
a 3 9 12 13 16 23 24 25 26 28 29 30 31 33 34 35 37 42 51 53 54 68 73 78 80 85 103 104 107 110 113 115 116 119 121 123 124 125 133 136 137 138 139 141 143 144 153 154 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 195 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 321 326 333 335 336 337 338 340 341 342 343 345 353 354 362 365 366 368 371 373 378 379 381 383 389 393 399 403 404 406 409 415 416 418 419 421 424 427 430 431 432 434 439 441 443 452 453 454 456 457 458 459 471 472 477 479 486 495 502
a 3 9 12 13 16 23 24 25 26 28 29 30 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 136 137 138 139 141 143 144 153 154 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 195 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 321 326 333 335 336 337 338 340 341 342 343 345 353 354 362 365 366 368 371 373 378 379 381 383 389 393 399 403 404 406 409 415 416 418 419 421 424 427 430 431 432 434 439 441 443 452 453 454 456 457 458 459 471 472 479 486 495 502
a 3 9 12 13 16 23 24 25 26 28 29 30 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 136 137 138 139 141 143 144 153 154 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 195 203 213 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 321 326 333 335 336 337 338 340 341 342 343 345 353 354 362 365 366 368 371 373 378 379 381 383 389 393 399 403 404 406 409 415 416 418 419 421 424 427 430 431 432 434 439 441 443 445 452 453 454 456 457 458 459 471 472 479 486 495 502
a 3 9 12 13 16 23 24 25 26 28 29 30 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 136 137 138 139 141 143 144 153 154 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 195 203 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 321 326 333 335 336 337 338 340 341 342 343 345 353 354 362 365 366 368 371 373 378 379 381 383 389 393 399 403 404 406 409 415 416 418 419 421 424 427 430 431 432 434 439 441 443 445 449 452 453 454 456 457 458 459 471 472 479 486 495 502
a 3 9 12 13 16 23 24 25 26 28 29 30 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 136 137 138 141 143 144 153 154 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 195 203 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 321 326 333 335 336 337 338 340 341 342 343 345 353 354 362 365 366 368 371 373 378 379 381 383 389 393 399 403 404 406 409 415 416 418 419 421 424 427 430 431 432 434 439 441 443 445 449 452 453 454 456 457 458 459 471 472 477 479 486 495 502
a 3 9 12 13 16 23 24 25 26 28 29 30 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 136 137 138 141 143 144 153 154 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 195 203 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 321 326 333 336 337 338 340 341 342 343 345 353 354 362 365 366 368 371 373 378 379 381 383 384 389 393 399 403 404 406 409 415 416 418 419 421 424 427 430 431 432 434 439 441 443 445 449 452 453 454 456 457 458 459 471 472 477 479 486 495 502
a 3 9 12 13 16 23 24 25 26 28 29 30 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 136 137 138 139 141 143 144 153 154 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 195 203 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 321 326 333 336 337 338 340 341 342 343 345 353 354 362 365 366 368 371 373 378 379 381 383 384 389 393 399 403 404 406 409 415 416 418 419 421 424 427 430 431 432 434 439 441 443 445 449 452 453 454 456 457 458 459 471 472 477 479 486 495
a 3 9 12 13 16 23 24 25 26 28 29 30 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 136 137 138 139 141 143 144 153 154 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 195 203 222 223 225 229 231 233 234 241 245 252 253 254 255 257 258 265 269 271 272 275 279 294 298 302 304 309 310 311 312 314 317 318 319 321 326 333 336 337 338 340 341 342 343 345 353 354 362 365 366 368 371 373 378 379 381 383 384 389 391 393 399 403 404 406 409 415 416 418 419 421 424 427 430 431 432 434 439 441 443 445 449 452 453 454 456 457 458 459 471 472 477 479 486 495
a 3 9 12 13 16 23 24 25 26 28 29 30 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 136 137 138 139 141 143 144 153 154 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 195 203 222 223 225 229 231 233 234 241 245 252 253 254 255 257 258 265 269 271 272 275 279 294 298 302 304 309 310 311 312 314 317 318 319 321 326 333 336 337 338 340 341 342 343 345 353 354 362 365 366 368 371 373 378 379 381 383 384 389 391 393 399 403 404 406 409 415 416 418 419 421 424 427 430 431 432 434 439 441 443 445 449 452 453 454 456 457 458 459 471 472 477 479 486 502
a 3 9 12 13 16 23 24 25 26 28 29 30 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 136 137 138 139 141 143 144 153 154 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 195 203 220 222 223 225 229 231 233 234 241 245 252 253 254 255 257 258 265 269 271 272 275 279 294 298 302 304 309 310 311 312 314 317 318 319 321 326 333 336 337 338 340 341 342 343 345 353 354 362 365 366 368 371 373 378 379 381 383 384 389 391 393 399 403 404 406 409 415 416 418 419 421 424 427 430 431 432 434 439 441 443 449 452 453 454 456 457 458 459 471 472 477 479 486 502
a 3 9 12 13 16 23 24 25 26 28 29 30 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 136 137 138 139 141 143 144 153 154 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 195 203 220 222 225 229 231 233 234 241 245 252 253 254 255 257 258 265 269 271 272 275 279 294 298 302 304 309 310 311 312 314 317 318 319 321 326 333 336 337 338 340 341 342 343 345 353 354 362 365 366 368 371 373 378 379 381 383 384 389 391 393 399 403 404 406 409 415 416 418 419 421 424 425 427 430 431 432 434 439 441 443 449 452 453 454 456 457 458 459 471 472 477 479 486 502
a 3 9 12 13 16 23 24 25 26 28 29 30 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 136 137 138 139 141 143 144 153 154 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 195 203 220 222 225 229 231 233 234 241 245 252 253 254 255 257 258 265 269 271 272 275 279 294 298 302 304 309 310 311 312 314 317 318 319 321 326 333 336 337 338 340 341 342 343 345 353 354 362 365 366 368 371 373 378 379 381 383 384 389 391 393 399 403 404 406 409 415 416 418 419 421 424 425 427 430 431 432 434 439 441 443 449 452 453 454 456 457 458 459 471 472 477 479 486 495
a 3 9 12 13 16 21 23 24 25 26 28 29 30 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 136 137 138 139 141 143 144 153 154 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 195 203 220 222 225 229 231 233 234 241 245 252 253 254 255 257 258 265 269 271 272 275 279 294 298 302 304 309 310 311 312 314 317 318 319 321 326 333 336 337 338 340 341 342 343 345 353 354 362 365 366 368 371 373 378 379 381 383 384 389 391 393 399 403 404 406 409 415 416 418 419 421 424 425 427 430 431 432 434 439 441 443 449 452 453 454 456 457 458 459 471 477 479 486 495
a 3 9 12 13 16 21 23 24 25 26 28 30 31 33 34 35 37 40 42 51 53 54 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 136 137 138 139 141 143 144 153 154 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 195 203 220 222 225 229 231 233 234 241 245 252 253 254 255 257 258 265 269 271 272 275 279 294 298 302 304 309 310 311 312 314 317 318 319 321 326 333 336 337 338 340 341 342 343 345 353 354 362 365 366 368 371 373 378 379 381 383 384 389 391 393 399 403 404 406 409 415 416 418 419 421 424 425 427 430 431 432 434 439 441 443 449 452 453 454 456 457 458 459 471 477 479 486 495
a 3 9 12 13 16 21 23 24 25 26 28 30 31 33 34 35 37 40 42 51 53 54 68 73 78 80 85 103 104 107 109 110 113 115 116 119 121 123 124 125 133 136 137 138 139 141 143 144 153 154 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 203 220 222 225 229 231 233 234 241 245 252 253 254 255 257 258 265 269 271 272 275 279 294 298 302 304 309 310 311 312 314 317 318 319 321 326 333 336 337 338 340 341 342 343 345 353 354 362 365 366 368 371 373 378 379 381 383 384 389 391 393 399 403 404 406 409 415 416 418 419 421 424 425 427 430 431 432 434 439 441 443 449 452 453 454 456 457 458 459 471 477 479 486 495 502
a 3 9 12 13 16 21 23 24 25 26 28 30 31 33 34 35 37 40 42 51 53 54 68 73 78 80 85 98 103 104 107 109 110 113 115 116 119 121 123 124 125 133 136 137 138 139 141 143 144 153 154 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 203 220 222 225 229 231 233 234 241 245 252 253 254 257 258 265 269 271 272 275 279 294 298 302 304 309 310 311 312 314 317 318 319 321 326 333 336 337 338 340 341 342 343 345 353 354 362 365 366 368 371 373 378 379 381 383 384 389 391 393 399 403 404 406 409 415 416 418 419 421 424 425 427 430 431 432 434 439 441 443 449 452 453 454 456 457 458 459 471 477 479 486 495 502
a 3 9 12 13 16 21 23 24 25 26 28 30 31 33 34 35 37 40 42 51 53 54 68 73 78 80 85 98 103 104 107 109 110 113 115 116 119 121 123 124 125 133 136 137 138 139 141 143 144 153 154 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 203 220 222 225 229 231 233 234 241 245 252 253 254 257 258 265 269 271 272 275 279 289 294 298 302 304 309 310 311 312 314 317 318 319 321 326 336 337 338 340 341 342 343 345 353 354 362 365 366 368 371 373 378 379 381 383 384 389 391 393 399 403 404 406 409 415 416 418 419 421 424 425 427 430 431 432 434 439 441 443 449 452 453 454 456 457 458 459 471 477 479 486 495 502
a 3 9 12 13 16 21 23 24 25 26 28 29 30 31 33 34 35 37 40 42 51 53 54 68 73 78 80 85 98 103 104 107 109 110 113 115 116 119 121 123 124 125 133 136 137 138 139 141 143 144 153 154 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 203 220 222 225 229 231 233 234 241 245 252 253 254 257 258 265 269 271 272 275 279 289 294 298 302 304 309 310 311 312 314 317 318 319 321 326 336 337 338 340 341 342 343 345 353 354 362 365 366 368 371 373 378 379 381 383 384 389 391 393 399 403 404 406 409 415 416 418 419 421 424 425 427 430 431 432 434 439 441 443 449 452 453 454 456 457 458 459 471 477 479 495 502
a 3 9 12 13 14 16 21 23 24 25 26 28 29 30 31 33 34 35 37 40 42 51 53 54 68 73 78 80 85 98 103 104 107 109 110 113 115 116 119 121 123 124 125 133 136 137 138 139 141 143 144 153 154 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 203 220 222 225 229 231 233 234 241 245 252 253 254 257 258 265 269 271 272 275 279 289 294 298 302 304 309 310 311 312 314 317 318 319 326 336 337 338 340 341 342 343 345 353 354 362 365 366 368 371 373 378 379 381 383 384 389 391 393 399 403 404 406 409 415 416 418 419 421 424 425 427 430 431 432 434 439 441 443 449 452 453 454 456 457 458 459 471 477 479 495 502
a 3 9 12 13 14 16 21 23 24 25 26 28 29 30 31 33 34 35 37 40 42 51 53 54 68 73 78 80 85 98 103 104 107 109 110 115 116 119 121 123 124 125 133 136 137 138 139 141 143 144 153 154 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 203 220 222 225 229 231 233 234 241 244 245 252 253 254 257 258 265 269 271 272 275 279 289 294 298 302 304 309 310 311 312 314 317 318 319 326 336 337 338 340 341 342 343 345 353 354 362 365 366 368 371 373 378 379 381 383 384 389 391 393 399 403 404 406 409 415 416 418 419 421 424 425 427 430 431 432 434 439 441 443 449 452 453 454 456 457 458 459 471 477 479 495 502
a 3 9 12 13 14 16 21 23 24 25 26 28 29 30 31 33 34 35 37 40 42 51 53 54 68 73 78 80 85 98 103 104 107 109 110 115 116 119 121 123 124 125 133 136 137 138 139 141 143 144 153 154 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 203 206 220 222 225 229 231 233 234 241 244 245 252 253 254 257 258 265 269 271 272 275 279 289 294 298 302 304 309 310 311 312 314 317 318 319 326 336 337 338 340 341 342 343 353 354 362 365 366 368 371 373 378 379 381 383 384 389 391 393 399 403 404 406 409 415 416 418 419 421 424 425 427 430 431 432 434 439 441 443 449 452 453 454 456 457 458 459 471 477 479 495 502
a 3 9 12 13 14 16 21 23 24 25 26 28 29 30 31 33 34 35 37 40 42 51 53 54 68 73 78 80 85 98 103 104 107 109 110 115 116 119 121 123 124 125 133 136 137 138 139 143 144 153 154 156 158 159 160 161 166 170 171 176 177 182 183 185 186 188 190 203 206 220 222 225 229 231 233 234 241 244 245 252 253 254 257 258 265 269 271 272 275 279 289 294 298 302 304 309 310 311 312 314 317 318 319 326 336 337 338 340 341 342 343 353 354 362 365 366 368 371 373 378 379 381 383 384 389 391 393 399 403 404 406 409 415 416 418 419 420 421 424 425 427 430 431 432 434 439 441 443 449 452 453 454 456 457 458 459 471 477 479 495 502
a 3 9 12 13 14 16 21 23 24 25 26 28 29 30 31 33 34 35 37 40 42 51 53 54 68 73 78 80 85 98 103 104 107 109 110 115 116 119 121 123 124 125 133 136 137 138 139 143 144 153 154 156 158 159 161 166 170 171 176 177 182 183 185 186 188 190 203 206 218 220 222 225 229 231 233 234 241 244 245 252 253 254 257 258 265 269 271 272 275 279 289 294 298 302 304 309 310 311 312 314 317 318 319 326 336 337 338 340 341 342 343 353 354 362 365 366 368 371 373 378 379 381 383 384 389 391 393 399 403 404 406 409 415 416 418 419 420 421 424 425 427 430 431 432 434 439 441 443 449 452 453 454 456 457 458 459 471 477 479 495 502
a 3 9 12 13 14 16 21 23 24 25 26 28 29 30 31 33 34 35 37 40 42 51 53 54 68 73 78 80 85 98 103 104 107 109 110 115 116 119 121 123 124 125 133 136 137 138 139 143 144 153 154 156 158 159 161 166 170 171 176 177 182 183 185 186 188 190 203 206 218 220 222 225 229 231 233 234 241 244 245 252 253 254 257 258 265 269 271 272 275 279 289 294 298 302 304 309 310 311 312 314 317 318 319 326 336 337 338 340 341 342 343 353 354 362 365 366 368 371 373 378 379 381 383 384 389 391 393 399 403 406 409 415 416 418 419 420 421 424 425 427 430 431 432 434 437 439 441 443 449 452 453 454 456 457 458 459 471 477 479 495 502
a 3 9 12 13 14 16 21 23 24 25 26 28 29 30 31 33 34 35 37 40 42 51 53 54 68 73 78 80 85 98 103 104 107 109 110 115 116 119 121 123 124 125 133 136 137 138 139 143 144 153 154 156 158 159 161 166 171 176 177 182 183 185 186 188 190 203 206 218 220 222 225 229 231 233 234 238 241 244 245 252 253 254 257 258 265 269 271 272 275 279 289 294 298 302 304 309 310 311 312 314 317 318 319 326 336 337 338 340 341 342 343 353 354 362 365 366 368 371 373 378 379 381 383 384 389 391 393 399 403 406 409 415 416 418 419 420 421 424 425 427 430 431 432 434 437 439 441 443 449 452 453 454 456 457 458 459 471 477 479 495 502
a 3 9 12 13 14 16 21 23 24 25 26 28 29 30 31 33 34 35 37 40 42 51 53 54 68 73 78 80 85 98 103 104 107 109 110 111 115 116 119 121 123 124 125 133 136 137 138 139 143 144 153 154 156 158 159 161 166 171 176 177 182 183 185 186 188 190 203 206 218 220 222 225 229 231 233 234 238 241 244 245 252 253 257 258 265 269 271 272 275 279 289 294 298 302 304 309 310 311 312 314 317 318 319 326 336 337 338 340 341 342 343 353 354 362 365 366 368 371 373 378 379 381 383 384 389 391 393 399 403 406 409 415 416 418 419 420 421 424 425 427 430 431 432 434 437 439 441 443 449 452 453 454 456 457 458 459 471 477 479 495 502
a 3 9 12 13 14 16 21 23 24 25 26 28 29 30 31 33 34 35 37 40 42 51 53 54 68 73 78 80 85 98 103 104 107 109 110 111 115 116 119 121 123 124 125 133 136 137 138 139 143 144 153 154 156 158 159 161 166 171 176 177 182 183 185 186 188 190 203 206 218 220 222 225 229 231 233 234 238 241 244 245 252 253 257 258 265 269 271 272 275 279 289 294 298 302 304 309 310 311 312 314 317 318 319 326 336 337 338 340 341 342 343 353 354 362 365 366 368 371 373 378 379 381 383 384 389 391 393 399 403 406 409 415 416 418 419 420 421 424 425 427 430 431 432 434 437 439 441 443 448 449 452 453 454 456 457 458 459 471 477 495 502
a 3 9 12 13 14 16 21 23 24 25 26 28 29 30 31 33 34 35 37 40 42 50 51 53 54 68 73 78 80 85 98 103 104 107 109 110 111 115 116 119 121 123 124 125 133 136 137 138 139 143 144 153 154 156 158 159 161 166 171 176 177 182 183 185 186 188 190 203 206 218 220 222 225 229 231 233 234 238 241 244 245 252 253 257 258 265 269 271 272 275 279 289 294 298 302 304 309 310 311 312 314 317 318 319 326 336 337 338 340 341 342 343 353 354 362 365 366 368 371 373 378 379 381 383 384 389 391 393 399 403 406 409 415 416 418 419 420 424 425 427 430 431 432 434 437 439 441 443 448 449 452 453 454 456 457 458 459 471 477 495 502
a 3 9 12 13 14 16 21 23 24 25 26 28 29 30 31 33 34 35 37 40 42 50 51 53 54 68 73 78 80 85 87 98 103 104 107 109 110 111 115 116 119 121 123 124 125 133 136 137 138 139 143 144 153 154 156 158 159 161 166 171 176 177 182 183 185 186 188 190 203 206 218 220 222 225 229 231 233 234 238 241 244 245 252 253 257 258 265 269 271 272 275 279 289 294 298 302 304 309 310 311 312 314 317 318 319 326 336 337 338 340 341 342 343 353 354 362 365 366 368 371 373 378 379 381 383 384 389 391 393 399 403 406 409 416 418 419 420 424 425 427 430 431 432 434 437 439 441 443 448 449 452 453 454 456 457 458 459 471 477 495 502
a 3 9 12 13 14 16 21 23 24 25 26 28 29 30 31 33 34 35 37 40 42 50 51 53 54 68 73 78 80 85 87 98 103 104 107 109 110 111 115 116 121 123 124 125 133 136 137 138 139 143 144 153 154 156 158 159 161 166 171 176 177 182 183 185 186 188 190 203 206 218 220 222 225 229 231 233 234 238 241 244 245 252 253 257 258 265 269 271 272 275 279 289 294 298 302 304 309 310 311 312 314 317 318 319 326 336 337 338 340 341 342 343 353 354 362 365 366 368 371 373 378 379 381 383 384 389 391 393 399 403 406 409 416 418 419 420 424 425 427 430 431 432 434 437 439 441 443 448 449 450 452 453 454 456 457 458 459 471 477 495 502
a 3 9 12 13 14 16 21 23 24 25 26 28 29 30 31 33 34 35 37 40 42 50 51 53 54 68 73 78 80 85 87 98 103 104 107 109 110 111 115 116 121 123 124 125 133 136 137 138 139 143 144 153 154 156 158 159 161 166 171 176 177 182 183 185 186 188 190 203 206 218 220 222 225 229 231 233 234 238 244 245 252 253 257 258 265 269 271 272 275 279 289 294 298 302 304 309 310 311 312 314 317 318 319 326 336 337 338 340 341 342 343 347 353 354 362 365 366 368 371 373 378 379 381 383 384 389 391 393 399 403 406 409 416 418 419 420 424 425 427 430 431 432 434 437 439 441 443 448 449 450 452 453 454 456 457 458 459 471 477 495 502
a 3 9 12 13 14 16 21 23 24 25 26 28 29 30 31 33 34 35 37 40 42 50 51 53 54 68 73 78 80 85 87 93 98 103 104 107 109 110 111 115 116 121 123 124 125 133 136 137 138 139 143 144 153 154 156 158 159 161 166 171 176 177 182 183 185 186 188 190 203 206 218 220 222 225 229 231 233 234 238 244 245 252 253 257 258 265 269 271 272 275 279 289 294 298 302 304 309 310 311 312 314 317 318 319 326 336 337 338 340 341 342 343 347 353 354 362 365 366 368 371 373 378 379 381 383 384 389 391 393 399 403 406 409 416 418 419 420 424 425 427 430 431 434 437 439 441 443 448 449 450 452 453 454 456 457 458 459 471 477 495 502
a 3 9 12 13 14 16 21 23 24 25 26 28 29 30 31 33 34 35 37 40 42 50 51 53 54 68 73 78 80 85 87 93 98 103 104 107 109 110 111 115 116 121 123 124 125 133 137 138 139 143 144 153 154 156 158 159 161 166 171 176 177 182 183 185 186 188 190 203 206 218 220 222 225 229 231 233 234 238 244 245 252 253 257 258 265 269 271 272 273 275 279 289 294 298 302 304 309 310 311 312 314 317 318 319 326 336 337 338 340 341 342 343 347 353 354 362 365 366 368 371 373 378 379 381 383 384 389 391 393 399 403 406 409 416 418 419 420 424 425 427 430 431 434 437 439 441 443 448 449 450 452 453 454 456 457 458 459 471 477 495 502
a 3 9 12 13 14 16 21 23 24 25 26 28 29 30 31 33 34 35 37 40 42 50 51 53 54 68 73 78 80 85 87 93 98 103 104 107 109 110 111 115 116 121 123 124 125 133 137 138 139 143 144 153 154 156 158 159 161 166 171 176 177 182 183 185 186 188 190 203 206 218 220 222 225 229 231 233 234 238 244 245 252 253 257 258 265 269 271 272 273 275 279 289 294 298 302 304 309 310 311 312 314 317 318 319 326 336 337 338 340 341 342 343 347 353 354 362 365 366 368 371 373 378 379 381 383 384 389 391 393 399 403 406 409 416 418 419 420 424 425 427 430 431 434 437 439 441 443 448 449 450 452 453 454 456 457 459 471 477 493 495 502
a 3 9 12 13 14 16 21 23 24 25 26 28 29 30 31 33 34 35 37 40 42 50 51 53 54 68 73 78 80 85 87 93 98 103 104 107 109 110 111 115 116 121 123 124 125 133 137 138 139 143 144 153 154 156 158 159 161 166 171 176 177 182 183 185 186 188 190 203 206 218 220 222 225 229 231 233 234 238 244 245 252 253 257 258 265 269 271 272 273 275 279 289 294 298 302 304 309 310 311 312 314 317 318 319 326 336 337 338 340 341 342 343 347 353 354 362 365 366 368 371 373 378 379 381 383 384 389 391 393 399 406 409 416 418 419 420 424 425 427 430 431 434 437 439 441 443 448 449 450 452 453 454 456 457 459 471 477 493 495 502 503
a 3 9 12 13 14 16 21 23 24 25 26 28 29 30 31 33 34 35 37 40 42 50 51 53 54 68 73 78 80 85 87 93 98 103 104 107 109 110 111 115 116 121 123 124 125 133 137 138 139 143 144 153 154 156 158 159 161 166 171 176 177 182 183 185 186 188 190 203 206 218 220 222 225 229 231 233 234 238 244 245 252 253 257 258 265 269 271 272 273 275 279 289 294 298 302 304 309 310 311 312 314 317 318 319 326 336 337 338 340 341 342 343 347 353 354 362 365 366 368 371 372 373 378 379 381 383 384 389 391 393 399 406 409 416 419 420 424 425 427 430 431 434 437 439 441 443 448 449 450 452 453 454 456 457 459 471 477 493 495 502 503
a 3 9 12 13 14 16 21 23 24 25 26 28 29 30 31 33 34 35 37 40 41 42 50 51 53 54 68 73 78 80 85 87 93 98 103 104 107 109 110 111 115 116 121 123 124 125 133 137 138 139 143 144 153 154 156 158 159 161 166 171 176 177 182 183 185 186 188 190 203 206 218 220 222 225 229 231 233 234 238 244 245 252 253 257 258 265 269 271 272 273 275 279 289 294 298 302 304 309 310 311 312 314 317 318 319 326 336 337 338 340 342 343 347 353 354 362 365 366 368 371 372 373 378 379 381 383 384 389 391 393 399 406 409 416 419 420 424 425 427 430 431 434 437 439 441 443 448 449 450 452 453 454 456 457 459 471 477 493 495 502 503
a 3 9 12 13 14 16 21 23 24 25 26 28 29 30 31 33 34 35 37 40 41 42 50 51 53 54 68 73 78 80 85 87 93 98 103 104 107 109 110 111 115 116 121 123 124 125 133 137 138 139 143 144 153 154 156 158 159 161 166 171 176 177 182 183 185 186 188 190 203 206 218 220 222 225 229 231 233 234 238 244 245 252 253 257 258 265 269 271 272 273 275 279 289 294 298 302 304 309 310 311 312 314 318 319 326 336 337 338 340 342 343 347 353 354 362 365 366 368 371 372 373 378 379 381 383 384 389 391 393 399 406 409 416 419 420 424 425 427 430 431 434 437 439 441 443 448 449 450 452 453 454 456 457 459 471 477 493 495 498 502 503
a 3 9 12 13 14 16 21 23 24 25 26 28 29 30 31 33 34 35 37 40 41 42 50 51 53 54 68 73 78 80 85 87 93 98 103 104 107 109 110 111 115 116 121 123 124 125 133 137 138 139 143 144 153 154 156 158 159 161 166 171 176 177 182 183 185 186 188 190 203 206 218 220 222 225 229 231 233 234 238 244 245 246 252 253 257 258 265 269 271 272 273 275 279 289 294 298 302 304 309 310 311 312 314 318 319 326 336 337 338 340 342 343 347 353 354 362 365 366 368 371 372 373 378 379 381 383 384 389 393 399 406 409 416 419 420 424 425 427 430 431 434 437 439 441 443 448 449 450 452 453 454 456 457 459 471 477 493 495 498 502 503
a 3 9 12 13 14 16 21 23 24 25 26 28 29 30 31 33 34 35 37 40 41 42 50 51 53 54 68 73 78 80 85 87 93 98 103 104 107 109 110 111 115 116 121 123 124 125 133 137 138 139 143 144 153 154 156 158 159 161 166 171 176 177 182 183 185 186 188 190 203 206 218 222 225 229 231 233 234 238 244 245 246 252 253 257 258 265 269 271 272 273 275 279 285 289 294 298 302 304 309 310 311 312 314 318 319 326 336 337 338 340 342 343 347 353 354 362 365 366 368 371 372 373 378 379 381 383 384 389 393 399 406 409 416 419 420 424 425 427 430 431 434 437 439 441 443 448 449 450 452 453 454 456 457 459 471 477 493 495 498 502 503
a 3 9 12 13 14 16 21 23 24 25 26 28 29 30 31 33 34 35 37 40 41 42 50 51 53 54 68 73 78 80 85 87 93 98 103 104 107 109 110 111 115 116 121 123 124 125 133 137 139 143 144 153 154 156 158 159 161 166 171 176 177 182 183 185 186 188 190 203 206 218 222 225 229 231 233 234 238 244 245 246 252 253 257 258 265 269 271 272 273 275 279 285 289 294 298 302 304 309 310 311 312 314 318 319 326 336 337 338 340 342 343 347 353 354 362 365 366 368 371 372 373 378 379 381 383 384 389 393 399 406 409 416 419 420 424 425 427 430 431 434 437 439 441 443 448 449 450 452 453 454 456 457 459 463 471 477 493 495 498 502 503
a 3 9 12 13 14 16 21 23 24 25 26 28 29 30 31 33 34 35 37 40 41 42 50 51 53 54 68 73 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 121 124 125 133 137 139 143 144 153 154 156 158 159 161 166 171 176 177 182 183 185 186 188 190 203 206 218 222 225 229 231 233 234 238 244 245 246 252 253 257 258 265 269 271 272 273 275 279 285 289 294 298 302 304 309 310 311 312 314 318 319 326 336 337 338 340 342 343 347 353 354 362 365 366 368 371 372 373 378 379 381 383 384 389 393 399 406 409 416 419 420 424 425 427 430 431 434 437 439 441 443 448 449 450 452 453 454 456 457 459 463 471 477 493 495 498 502 503
a 3 9 12 13 14 16 21 23 24 25 26 28 29 30 31 33 34 35 37 40 41 42 50 51 53 54 68 73 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 121 124 125 133 137 139 143 144 153 154 156 158 159 161 166 171 176 177 182 183 185 186 188 190 203 206 218 222 225 229 231 233 234 238 244 245 246 252 253 257 258 260 265 269 271 272 273 275 279 285 289 294 298 302 304 309 310 311 312 314 318 319 326 336 337 338 340 342 343 347 353 354 362 365 366 368 371 372 373 378 379 381 383 384 389 393 399 406 409 416 419 420 424 425 427 430 431 434 437 441 443 448 449 450 452 453 454 456 457 459 463 471 477 493 495 498 502 503
a 3 9 12 13 14 16 21 23 24 25 26 28 29 30 31 33 34 35 37 40 41 42 50 51 53 54 68 73 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 121 124 125 133 137 139 143 144 151 153 154 156 158 159 161 166 171 176 177 182 183 185 186 188 190 203 206 218 222 225 229 231 233 234 238 244 245 246 252 253 257 258 260 265 269 271 272 273 275 279 285 289 294 298 302 304 309 310 311 312 314 318 319 326 336 337 338 340 342 343 347 353 354 362 365 366 368 371 372 373 378 379 381 383 384 389 393 399 406 409 416 419 420 424 425 427 430 434 437 441 443 448 449 450 452 453 454 456 457 459 463 471 477 493 495 498 502 503
a 3 9 12 13 14 16 21 23 24 25 26 28 29 30 31 33 34 35 37 40 41 42 50 51 53 54 68 73 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 124 125 133 137 139 143 144 151 153 154 156 158 159 161 166 171 176 177 182 183 185 186 188 190 203 206 218 222 225 229 231 233 234 238 244 245 246 252 253 257 258 260 265 269 271 272 273 275 279 285 289 294 298 302 303 304 309 310 311 312 314 318 319 326 336 337 338 340 342 343 347 353 354 362 365 366 368 371 372 373 378 379 381 383 384 389 393 399 406 409 416 419 420 424 425 427 430 434 437 441 443 448 449 450 452 453 454 456 457 459 463 471 477 493 495 498 502 503
a 3 9 12 13 14 16 21 23 24 25 26 28 29 30 31 33 34 35 37 40 41 42 50 51 52 53 54 68 73 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 124 125 133 137 139 143 144 151 153 154 156 158 159 161 166 171 176 177 182 183 185 186 188 190 203 206 218 222 225 229 231 233 234 238 244 245 246 252 253 257 258 260 265 269 271 272 273 275 279 285 289 294 298 302 303 304 309 310 311 312 314 318 319 326 337 338 340 342 343 347 353 354 362 365 366 368 371 372 373 378 379 381 383 384 389 393 399 406 409 416 419 420 424 425 427 430 434 437 441 443 448 449 450 452 453 454 456 457 459 463 471 477 493 495 498 502 503
a 3 9 12 13 14 16 21 23 24 25 26 28 29 30 31 33 34 35 37 40 41 42 50 51 52 53 54 68 73 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 125 133 137 139 143 144 151 153 154 156 158 159 161 166 171 176 177 182 183 185 186 188 190 203 206 218 222 225 229 231 233 234 238 244 245 246 252 253 257 258 260 262 265 269 271 272 273 275 279 285 289 294 298 302 303 304 309 310 311 312 314 318 319 326 337 338 340 342 343 347 353 354 362 365 366 368 371 372 373 378 379 381 383 384 389 393 399 406 409 416 419 420 424 425 427 430 434 437 441 443 448 449 450 452 453 454 456 457 459 463 471 477 493 495 498 502 503
a 3 9 12 13 14 16 21 23 24 25 26 28 29 30 31 33 34 35 37 40 41 42 50 51 52 53 54 59 68 73 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 125 133 137 139 143 144 151 153 154 156 158 159 161 166 171 176 177 182 183 185 186 188 190 203 206 218 222 225 229 231 233 234 238 244 245 246 252 253 257 258 260 262 265 269 271 272 273 275 279 285 289 294 298 302 303 304 309 310 311 312 314 319 326 337 338 340 342 343 347 353 354 362 365 366 368 371 372 373 378 379 381 383 384 389 393 399 406 409 416 419 420 424 425 427 430 434 437 441 443 448 449 450 452 453 454 456 457 459 463 471 477 493 495 498 502 503
a 3 6 9 12 13 14 16 21 23 24 25 26 28 29 30 31 33 34 35 37 40 41 42 50 51 52 53 54 59 68 73 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 125 133 137 139 143 144 151 153 154 156 158 159 161 166 171 176 177 182 183 185 186 188 190 203 206 218 222 225 229 231 233 234 238 244 245 246 252 253 257 258 260 262 265 269 271 272 273 275 279 285 289 294 298 302 303 304 309 310 311 312 314 319 326 337 338 340 342 343 347 353 354 362 365 366 368 371 372 373 378 379 381 383 384 389 393 399 406 409 416 419 420 424 425 427 430 434 437 441 443 448 449 450 452 453 454 456 459 463 471 477 493 495 498 502 503
a 3 6 9 12 13 14 16 21 23 24 25 26 28 29 30 31 33 34 35 37 40 41 42 50 51 52 53 54 59 68 73 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 125 133 137 139 143 144 151 153 154 156 158 159 161 166 171 176 177 182 183 185 186 188 190 203 206 218 222 225 229 231 233 234 238 244 245 246 252 253 257 258 260 262 265 269 271 272 273 275 279 285 289 294 298 302 303 304 309 310 311 312 314 319 326 337 338 340 342 343 347 353 354 362 365 368 371 372 373 378 379 381 383 384 389 393 399 406 409 416 419 420 424 425 427 430 434 437 441 443 445 448 449 450 452 453 454 456 459 463 471 477 493 495 498 502 503
a 3 6 9 12 13 14 16 21 23 24 25 26 29 30 31 33 34 35 37 40 41 42 50 51 52 53 54 59 68 73 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 125 133 137 139 143 144 151 153 154 156 158 159 161 166 171 176 177 182 183 185 186 188 190 203 206 218 222 225 229 231 233 234 238 244 245 246 252 253 257 258 260 262 265 269 271 272 273 275 279 285 289 294 298 302 303 304 309 310 311 312 314 319 326 337 338 340 342 343 347 353 354 362 365 368 371 372 373 378 379 381 383 384 389 393 399 406 409 416 419 420 424 425 427 430 434 437 441 443 445 448 449 450 452 453 454 456 459 463 471 477 493 495 498 502 503 504
a 3 6 9 12 13 14 16 21 23 24 25 26 29 30 31 33 34 35 37 38 40 41 42 50 51 52 53 54 59 68 73 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 125 133 137 139 143 144 151 153 154 156 158 159 161 166 171 176 177 182 183 185 186 188 190 203 206 218 222 225 229 231 233 234 238 244 245 246 252 253 257 258 260 262 265 269 271 273 275 279 285 289 294 298 302 303 304 309 310 311 312 314 319 326 337 338 340 342 343 347 353 354 362 365 368 371 372 373 378 379 381 383 384 389 393 399 406 409 416 419 420 424 425 427 430 434 437 441 443 445 448 449 450 452 453 454 456 459 463 471 477 493 495 498 502 503 504
a 3 6 9 12 13 14 16 21 23 24 25 26 29 30 31 33 34 35 37 38 40 41 42 50 51 52 53 54 59 68 73 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 125 133 137 139 143 144 151 153 154 156 158 159 161 166 171 176 177 182 183 185 186 188 190 203 206 218 222 225 229 231 233 234 238 244 245 246 252 253 257 258 260 262 265 269 271 273 275 279 285 289 294 298 302 303 304 309 310 311 312 314 319 326 337 338 340 342 343 347 353 354 362 365 368 371 372 373 378 379 381 383 384 389 393 406 409 416 419 420 424 425 427 430 434 437 441 443 445 446 448 449 450 452 453 454 456 459 463 471 477 493 495 498 502 503 504
a 3 6 9 12 13 14 16 21 23 24 25 26 29 30 31 33 34 35 37 38 40 41 42 50 51 52 53 54 59 68 73 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 125 133 137 139 143 144 151 153 154 156 158 159 161 166 171 176 177 182 183 185 186 188 190 203 206 218 222 225 229 231 233 234 235 238 244 245 246 252 253 257 258 260 262 265 269 271 273 275 279 285 289 294 298 302 303 304 309 310 311 312 314 319 326 337 338 340 342 343 347 353 354 362 365 368 371 372 373 378 379 381 383 384 389 393 406 409 416 419 420 424 425 427 434 437 441 443 445 446 448 449 450 452 453 454 456 459 463 471 477 493 495 498 502 503 504
a 3 6 9 12 13 14 16 21 23 24 25 26 29 30 31 33 34 35 37 38 40 41 42 50 51 52 53 54 58 59 73 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 125 133 137 139 143 144 151 153 154 156 158 159 161 166 171 176 177 182 183 185 186 188 190 203 206 218 222 225 229 231 233 234 235 238 244 245 246 252 253 257 258 260 262 265 269 271 273 275 279 285 289 294 298 302 303 304 309 310 311 312 314 319 326 337 338 340 342 343 347 353 354 362 365 368 371 372 373 378 379 381 383 384 389 393 406 409 416 419 420 424 425 427 434 437 441 443 445 446 448 449 450 452 453 454 456 459 463 471 477 493 495 498 502 503 504
a 3 6 9 12 13 14 16 21 23 24 25 26 29 30 31 33 34 35 37 38 40 41 42 50 51 52 53 54 58 59 64 73 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 125 133 137 139 143 144 151 153 154 156 158 159 161 166 171 176 177 182 183 185 186 188 190 203 206 218 222 225 229 231 233 234 235 238 244 245 246 252 253 257 258 260 262 265 269 271 273 275 279 285 289 294 298 302 303 304 309 310 311 312 314 319 326 337 338 340 342 343 347 353 354 362 365 368 371 372 373 378 379 381 383 384 389 393 406 409 416 419 420 424 425 427 434 437 441 443 445 446 448 450 452 453 454 456 459 463 471 477 493 495 498 502 503 504
a 3 6 9 12 13 14 16 21 23 24 25 26 29 30 31 33 34 35 37 38 40 41 42 50 51 52 53 54 58 59 64 73 75 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 125 133 137 139 143 144 151 153 154 156 158 159 161 166 171 176 177 182 183 185 186 188 190 203 206 218 222 225 229 231 233 234 235 238 244 245 246 252 253 257 258 260 262 265 269 271 273 275 279 285 289 294 298 302 303 304 309 310 311 312 314 319 326 337 338 340 342 343 347 353 354 362 365 368 371 372 373 378 379 381 383 384 389 393 406 409 419 420 424 425 427 434 437 441 443 445 446 448 450 452 453 454 456 459 463 471 477 493 495 498 502 503 504
a 3 6 9 12 13 14 16 21 23 24 25 26 29 30 31 33 34 35 37 38 40 41 42 50 51 52 53 54 58 59 64 73 75 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 125 133 137 139 143 144 151 153 154 156 158 159 161 166 171 176 177 182 183 185 186 188 190 203 206 218 222 225 229 231 233 234 235 238 244 245 246 252 253 257 258 260 262 265 269 271 273 275 279 285 289 294 298 302 303 304 309 310 311 312 314 319 337 338 340 342 343 347 353 354 362 365 368 371 372 373 378 379 381 383 384 389 393 406 409 419 420 424 425 427 434 437 441 443 445 446 448 450 452 453 454 456 459 463 471 477 491 493 495 498 502 503 504
a 3 6 9 12 13 14 16 21 23 24 25 26 29 30 31 33 34 35 37 38 40 41 42 50 51 52 53 54 58 59 64 73 75 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 125 132 133 137 139 143 144 151 153 154 156 158 159 161 166 171 176 177 182 183 185 186 188 190 203 206 218 222 225 229 231 233 234 235 238 244 245 246 252 253 257 258 260 262 265 269 271 273 275 279 285 289 294 298 302 303 304 310 311 312 314 319 337 338 340 342 343 347 353 354 362 365 368 371 372 373 378 379 381 383 384 389 393 406 409 419 420 424 425 427 434 437 441 443 445 446 448 450 452 453 454 456 459 463 471 477 491 493 495 498 502 503 504
a 3 6 9 12 13 14 16 21 23 24 25 26 29 30 31 33 34 35 37 38 40 41 50 51 52 53 54 58 59 64 73 75 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 125 132 133 137 139 143 144 151 153 154 156 158 159 161 166 171 173 176 177 182 183 185 186 188 190 203 206 218 222 225 229 231 233 234 235 238 244 245 246 252 253 257 258 260 262 265 269 271 273 275 279 285 289 294 298 302 303 304 310 311 312 314 319 337 338 340 342 343 347 353 354 362 365 368 371 372 373 378 379 381 383 384 389 393 406 409 419 420 424 425 427 434 437 441 443 445 446 448 450 452 453 454 456 459 463 471 477 491 493 495 498 502 503 504
a 3 6 9 12 13 14 16 21 23 24 25 26 29 30 31 33 34 35 37 38 40 41 50 51 52 53 54 58 59 64 73 75 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 125 132 137 139 143 144 151 153 154 156 158 159 161 166 171 173 176 177 182 183 185 186 188 190 203 206 218 222 225 228 229 231 233 234 235 238 244 245 246 252 253 257 258 260 262 265 269 271 273 275 279 285 289 294 298 302 303 304 310 311 312 314 319 337 338 340 342 343 347 353 354 362 365 368 371 372 373 378 379 381 383 384 389 393 406 409 419 420 424 425 427 434 437 441 443 445 446 448 450 452 453 454 456 459 463 471 477 491 493 495 498 502 503 504
a 3 6 9 12 13 14 16 21 23 24 25 26 29 30 31 33 34 35 37 38 40 41 50 51 52 53 54 58 59 64 73 75 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 125 132 137 139 143 144 151 153 154 156 158 159 161 166 171 173 176 177 182 183 185 186 188 190 203 206 218 222 225 228 229 231 233 234 235 238 244 245 246 252 253 257 258 260 262 265 269 271 273 275 279 285 289 294 298 302 303 304 310 311 312 314 319 337 338 340 342 343 347 353 354 362 365 368 371 372 373 378 379 381 383 384 389 393 406 409 419 420 424 425 427 429 434 437 441 443 445 446 448 450 452 453 454 459 463 471 477 491 493 495 498 502 503 504
a 3 6 9 12 13 14 16 21 23 24 25 26 29 30 31 33 34 35 37 38 40 41 50 51 52 53 54 58 59 64 73 75 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 125 132 137 139 143 144 151 153 154 156 158 159 161 166 171 173 176 177 182 183 185 186 188 190 203 206 218 222 225 228 229 231 233 234 235 238 244 245 246 252 253 257 258 260 262 265 269 271 273 275 279 285 289 294 298 302 303 310 311 312 314 319 337 338 340 342 343 347 349 353 354 362 365 368 371 372 373 378 379 381 383 384 389 393 406 409 419 420 424 425 427 429 434 437 441 443 445 446 448 450 452 453 454 459 463 471 477 491 493 495 498 502 503 504
a 3 6 9 12 13 14 16 21 23 24 25 26 29 30 31 33 34 35 37 38 40 41 50 51 52 53 54 58 59 64 73 75 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 125 132 137 139 143 144 151 153 154 156 158 159 161 166 171 173 176 177 182 183 185 186 188 190 203 206 218 222 225 228 229 231 233 234 235 238 244 245 246 252 253 257 258 260 262 265 269 271 273 275 279 285 289 294 298 302 303 310 311 312 314 319 337 338 340 342 343 347 349 353 354 362 365 368 371 372 373 378 379 381 383 384 389 393 406 409 419 420 424 425 427 429 434 437 441 443 445 446 448 450 452 453 454 460 463 471 477 491 493 495 498 502 503 504
a 3 6 9 12 13 14 16 21 23 24 25 26 29 30 31 33 34 35 37 38 40 41 50 51 52 53 54 58 59 64 73 75 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 125 132 137 139 143 144 151 153 154 156 158 159 161 166 171 173 176 177 182 183 185 186 188 190 203 206 218 222 225 228 229 231 233 234 235 238 244 245 246 252 253 257 258 260 262 265 269 271 273 275 279 285 289 294 298 302 303 310 311 312 314 319 337 338 340 342 343 347 349 353 354 362 365 368 371 372 373 378 379 381 383 384 389 393 406 409 419 420 424 425 427 429 434 437 441 443 445 446 448 450 452 453 454 460 463 477 491 493 495 498 502 503 504 507
a 3 6 9 12 13 14 16 17 21 23 24 25 26 29 30 31 33 34 35 37 38 40 41 50 51 52 53 54 58 59 64 73 75 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 125 132 137 139 143 144 151 153 154 156 158 159 161 166 171 173 176 177 182 185 186 188 190 203 206 218 222 225 228 229 231 233 234 235 238 244 245 246 252 253 257 258 260 262 265 269 271 273 275 279 285 289 294 298 302 303 310 311 312 314 319 337 338 340 342 343 347 349 353 354 362 365 368 371 372 373 378 379 381 383 384 389 393 406 409 419 420 424 425 427 429 434 437 441 443 445 446 448 450 452 453 454 460 463 477 491 493 495 498 502 503 504 507
a 3 6 9 12 13 14 16 17 21 23 24 25 26 29 30 31 33 34 35 37 38 40 41 50 51 52 53 54 58 59 64 73 75 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 125 132 137 139 143 144 146 151 153 154 156 158 159 161 166 171 173 176 177 182 185 186 188 190 203 206 218 222 225 228 229 231 233 235 238 244 245 246 252 253 257 258 260 262 265 269 271 273 275 279 285 289 294 298 302 303 310 311 312 314 319 337 338 340 342 343 347 349 353 354 362 365 368 371 372 373 378 379 381 383 384 389 393 406 409 419 420 424 425 427 429 434 437 441 443 445 446 448 450 452 453 454 460 463 477 491 493 495 498 502 503 504 507
a 3 6 9 12 13 14 16 17 21 23 24 25 26 29 30 31 33 34 35 37 38 40 41 49 50 51 52 53 54 58 59 64 73 75 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 125 132 137 139 143 144 146 151 153 154 156 158 159 161 166 171 173 176 177 182 185 186 188 190 203 206 218 222 225 228 229 231 233 235 238 244 245 246 252 253 257 258 260 262 265 269 271 273 275 279 285 289 294 298 302 303 310 311 312 314 319 337 338 340 342 343 347 349 354 362 365 368 371 372 373 378 379 381 383 384 389 393 406 409 419 420 424 425 427 429 434 437 441 443 445 446 448 450 452 453 454 460 463 477 491 493 495 498 502 503 504 507
a 3 6 9 12 13 14 16 17 21 23 24 25 26 29 30 31 33 34 35 37 38 40 41 49 50 51 52 53 54 58 59 64 73 75 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 125 132 137 139 143 144 146 151 153 154 156 158 159 161 166 171 173 176 177 182 185 186 188 190 203 206 218 222 225 228 229 231 233 235 238 244 245 246 252 253 257 260 262 265 269 271 273 275 279 285 289 294 298 302 303 310 311 312 314 319 337 338 340 342 343 347 349 354 362 365 368 371 372 373 378 379 381 383 384 389 393 406 409 417 419 420 424 425 427 429 434 437 441 443 445 446 448 450 452 453 454 460 463 477 491 493 495 498 502 503 504 507
a 3 6 9 12 13 14 16 17 21 23 24 25 26 29 30 31 33 34 35 37 38 40 41 49 50 51 52 53 54 58 59 64 73 75 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 125 132 137 139 143 144 146 151 153 154 156 158 159 161 166 171 173 176 177 182 185 186 188 190 199 203 206 218 222 225 228 229 231 233 235 238 244 245 246 252 253 257 260 262 265 269 271 273 275 279 285 289 294 298 302 303 310 311 312 314 319 337 338 340 342 343 347 349 354 362 365 368 371 372 373 378 379 381 383 384 393 406 409 417 419 420 424 425 427 429 434 437 441 443 445 446 448 450 452 453 454 460 463 477 491 493 495 498 502 503 504 507
a 3 6 9 12 13 14 16 17 21 23 24 25 26 29 30 31 33 34 35 37 38 40 41 49 50 51 52 53 54 58 59 62 64 73 75 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 125 132 137 139 143 144 146 151 153 154 156 158 159 161 166 171 173 176 177 182 185 186 188 190 199 203 206 218 222 225 228 229 231 233 235 238 244 245 246 252 253 257 260 262 265 269 271 273 275 279 285 289 294 298 302 303 310 311 312 314 319 337 338 340 342 343 347 349 354 362 365 368 371 372 373 378 379 381 383 384 393 406 409 417 419 420 425 427 429 434 437 441 443 445 446 448 450 452 453 454 460 463 477 491 493 495 498 502 503 504 507
a 3 6 9 12 13 14 16 17 21 23 24 25 26 29 30 33 34 35 37 38 40 41 49 50 51 52 53 54 58 59 62 64 73 75 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 125 132 137 139 143 144 146 151 153 154 156 158 159 161 166 171 173 176 177 182 185 186 188 190 199 203 206 218 222 225 228 229 231 233 235 238 244 245 246 252 253 257 260 262 265 269 271 273 275 279 284 285 289 294 298 302 303 310 311 312 314 319 337 338 340 342 343 347 349 354 362 365 368 371 372 373 378 379 381 383 384 393 406 409 417 419 420 425 427 429 434 437 441 443 445 446 448 450 452 453 454 460 463 477 491 493 495 498 502 503 504 507
a 3 6 9 12 13 14 16 17 21 23 24 25 26 29 30 33 34 35 37 38 40 41 49 50 51 52 53 54 58 59 62 64 73 75 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 125 132 137 139 143 144 146 151 153 154 156 158 159 161 166 171 173 176 177 182 185 186 188 190 199 203 206 218 222 225 228 229 231 233 235 238 244 245 246 252 253 257 260 262 265 269 271 273 275 279 284 285 289 294 298 302 303 310 311 312 314 319 329 337 338 340 342 343 347 349 354 362 365 368 371 372 373 378 379 381 383 384 393 406 409 417 419 420 425 427 429 434 437 441 445 446 448 450 452 453 454 460 463 477 491 493 495 498 502 503 504 507
a 3 6 9 12 13 14 16 17 21 23 24 25 26 29 30 33 34 35 37 38 40 41 49 50 51 52 53 54 58 59 62 64 73 75 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 125 132 137 139 143 144 146 151 154 156 158 159 161 166 171 173 176 177 182 185 186 188 190 199 203 206 218 222 225 228 229 231 233 235 238 244 245 246 252 253 257 260 262 265 269 271 273 275 279 284 285 289 294 298 302 303 310 311 312 314 319 329 337 338 340 342 343 347 349 350 354 362 365 368 371 372 373 378 379 381 383 384 393 406 409 417 419 420 425 427 429 434 437 441 445 446 448 450 452 453 454 460 463 477 491 493 495 498 502 503 504 507
a 3 6 9 12 13 14 16 17 21 23 24 25 26 29 30 33 34 35 37 38 40 41 49 50 51 52 53 54 58 59 62 64 73 75 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 120 125 132 137 139 143 144 146 151 154 156 158 159 161 166 171 173 176 177 182 185 186 188 190 199 203 206 218 222 225 228 229 231 233 235 238 244 245 246 252 253 257 260 262 265 269 271 273 275 279 284 285 289 294 298 302 303 311 312 314 319 329 337 338 340 342 343 347 349 350 354 362 365 368 371 372 373 378 379 381 383 384 393 406 409 417 419 420 425 427 429 434 437 441 445 446 448 450 452 453 454 460 463 477 491 493 495 498 502 503 504 507
a 3 6 9 12 13 14 16 17 21 23 24 25 26 29 30 33 34 35 37 38 40 41 49 50 51 52 53 54 58 59 62 64 73 75 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 120 125 132 137 139 143 144 146 151 154 156 158 159 161 166 171 173 176 182 185 186 188 190 199 203 206 218 222 225 228 229 231 233 235 238 244 245 246 252 253 257 260 262 265 269 271 273 275 279 284 285 289 294 298 302 303 311 312 314 319 323 329 337 338 340 342 343 347 349 350 354 362 365 368 371 372 373 378 379 381 383 384 393 406 409 417 419 420 425 427 429 434 437 441 445 446 448 450 452 453 454 460 463 477 491 493 495 498 502 503 504 507
a 3 6 9 12 13 14 16 17 21 23 24 25 26 29 30 33 34 35 37 38 40 41 49 50 51 52 53 54 58 59 62 64 73 75 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 120 125 132 139 143 144 146 151 154 156 158 159 161 166 171 173 176 182 185 186 188 190 199 203 206 218 222 225 228 229 231 233 235 238 244 245 246 252 253 257 260 262 265 269 271 273 275 279 284 285 289 294 297 298 302 303 311 312 314 319 323 329 337 338 340 342 343 347 349 350 354 362 365 368 371 372 373 378 379 381 383 384 393 406 409 417 419 420 425 427 429 434 437 441 445 446 448 450 452 453 454 460 463 477 491 493 495 498 502 503 504 507
a 3 6 9 12 13 14 16 17 21 23 24 25 26 29 30 33 34 35 37 38 40 41 49 50 51 52 53 54 58 59 62 64 73 74 75 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 120 125 132 139 143 144 146 151 154 156 158 159 161 166 171 173 176 182 185 186 188 190 199 203 206 218 222 225 228 229 231 235 238 244 245 246 252 253 257 260 262 265 269 271 273 275 279 284 285 289 294 297 298 302 303 311 312 314 319 323 329 337 338 340 342 343 347 349 350 354 362 365 368 371 372 373 378 379 381 383 384 393 406 409 417 419 420 425 427 429 434 437 441 445 446 448 450 452 453 454 460 463 477 491 493 495 498 502 503 504 507
a 3 6 9 12 13 14 16 17 21 23 24 25 26 29 30 33 34 35 37 38 40 41 49 50 51 52 53 54 58 59 62 64 73 74 75 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 120 125 132 139 143 144 146 151 154 156 158 159 161 166 171 173 176 182 185 186 188 190 199 203 206 218 225 228 229 231 235 238 244 245 246 252 253 257 259 260 262 265 269 271 273 275 279 284 285 289 294 297 298 302 303 311 312 314 319 323 329 337 338 340 342 343 347 349 350 354 362 365 368 371 372 373 378 379 381 383 384 393 406 409 417 419 420 425 427 429 434 437 441 445 446 448 450 452 453 454 460 463 477 491 493 495 498 502 503 504 507
a 3 6 9 12 13 14 16 17 21 23 24 25 26 29 30 33 34 35 37 38 40 41 49 50 51 52 53 54 58 59 62 64 73 74 75 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 120 125 132 143 144 146 151 154 156 158 159 161 166 171 173 176 182 185 186 188 190 199 203 206 218 225 228 229 231 232 235 238 244 245 246 252 253 257 259 260 262 265 269 271 273 275 279 284 285 289 294 297 298 302 303 311 312 314 319 323 329 337 338 340 342 343 347 349 350 354 362 365 368 371 372 373 378 379 381 383 384 393 406 409 417 419 420 425 427 429 434 437 441 445 446 448 450 452 453 454 460 463 477 491 493 495 498 502 503 504 507
a 3 6 9 12 13 14 16 17 21 23 24 25 26 29 30 33 34 35 37 38 40 41 49 50 51 52 53 54 58 59 62 64 73 74 75 78 80 85 87 93 98 103 104 107 109 110 111 115 116 117 120 125 132 143 144 146 150 151 154 156 158 159 161 166 171 173 176 182 185 186 188 190 199 203 206 218 225 228 229 231 232 235 238 244 245 246 252 253 259 260 262 265 269 271 273 275 279 284 285 289 294 297 298 302 303 311 312 314 319 323 329 337 338 340 342 343 347 349 350 354 362 365 368 371 372 373 378 379 381 383 384 393 406 409 417 419 420 425 427 429 434 437 441 445 446 448 450 452 453 454 460 463 477 491 493 495 498 502 503 504 507
a 3 6 9 12 14 16 17 21 23 24 25 26 29 30 33 34 35 37 38 40 41 49 50 51 52 53 54 58 59 62 64 73 74 75 78 80 85 87 93 98 103 104 107 108 109 110 111 115 116 117 120 125 132 143 144 146 150 151 154 156 158 159 161 166 171 173 176 182 185 186 188 190 199 203 206 218 225 228 229 231 232 235 238 244 245 246 252 253 259 260 262 265 269 271 273 275 279 284 285 289 294 297 298 302 303 311 312 314 319 323 329 337 338 340 342 343 347 349 350 354 362 365 368 371 372 373 378 379 381 383 384 393 406 409 417 419 420 425 427 429 434 437 441 445 446 448 450 452 453 454 460 463 477 491 493 495 498 502 503 504 507
a 3 6 9 12 14 16 17 21 23 24 25 26 29 30 33 34 35 37 38 40 41 49 50 51 52 53 54 58 59 62 64 74 75 78 80 85 87 92 93 98 103 104 107 108 109 110 111 115 116 117 120 125 132 143 144 146 150 151 154 156 158 159 161 166 171 173 176 182 185 186 188 190 199 203 206 218 225 228 229 231 232 235 238 244 245 246 252 253 259 260 262 265 269 271 273 275 279 284 285 289 294 297 298 302 303 311 312 314 319 323 329 337 338 340 342 343 347 349 350 354 362 365 368 371 372 373 378 379 381 383 384 393 406 409 417 419 420 425 427 429 434 437 441 445 446 448 450 452 453 454 460 463 477 491 493 495 498 502 503 504 507
a 3 6 9 12 14 16 17 21 23 24 25 26 29 30 33 34 35 37 38 40 41 49 50 51 52 53 54 58 59 62 64 74 75 78 80 85 87 92 93 98 103 104 107 108 109 110 111 115 116 117 120 125 132 143 144 146 150 151 154 156 158 159 161 166 171 173 176 182 185 186 188 190 199 203 206 218 225 228 229 231 232 235 238 244 245 246 252 253 259 260 262 265 269 271 273 275 279 284 285 289 294 297 298 302 303 311 312 314 319 323 329 337 338 340 342 343 347 349 350 354 362 365 368 371 372 373 378 379 381 383 384 393 406 407 409 417 419 420 425 427 429 437 441 445 446 448 450 452 453 454 460 463 477 491 493 495 498 502 503 504 507
a 3 6 9 12 14 16 17 21 23 24 25 26 29 30 33 34 35 37 38 40 41 49 50 51 52 53 54 58 59 62 64 74 75 78 80 85 87 92 93 98 103 104 107 108 109 110 111 115 116 117 120 125 132 143 144 146 150 151 154 156 158 159 161 166 171 173 176 182 185 186 188 199 203 206 218 225 228 229 231 232 235 238 244 245 246 252 253 259 260 262 265 269 271 273 275 279 284 285 289 294 297 298 302 303 311 312 314 319 323 329 337 338 340 342 343 347 349 350 354 362 365 368 369 371 372 373 378 379 381 383 384 393 406 407 409 417 419 420 425 427 429 437 441 445 446 448 450 452 453 454 460 463 477 491 493 495 498 502 503 504 507
a 3 6 9 12 14 16 17 21 23 24 25 26 29 30 33 34 35 37 38 41 49 50 51 52 53 54 58 59 62 64 74 75 78 80 85 87 92 93 98 103 104 107 108 109 110 111 115 116 117 120 125 132 143 144 146 150 151 154 156 158 159 161 166 171 173 176 182 185 186 188 199 203 206 218 225 228 229 231 232 235 238 244 245 246 252 253 259 260 262 265 269 271 273 275 279 284 285 289 294 297 298 302 303 311 312 314 319 323 329 337 338 340 342 343 347 349 350 354 362 365 368 369 371 372 373 378 379 381 383 384 393 406 407 409 414 417 419 420 425 427 429 437 441 445 446 448 450 452 453 454 460 463 477 491 493 495 498 502 503 504 507
a 3 6 9 12 14 16 17 21 23 24 25 26 29 30 33 34 35 37 38 41 49 50 51 52 53 54 58 59 62 64 74 75 78 80 85 87 92 93 98 103 104 107 108 109 110 111 115 116 117 120 125 132 143 144 146 150 151 154 156 158 159 161 166 171 173 176 182 185 186 188 199 203 206 213 218 228 229 231 232 235 238 244 245 246 252 253 259 260 262 265 269 271 273 275 279 284 285 289 294 297 298 302 303 311 312 314 319 323 329 337 338 340 342 343 347 349 350 354 362 365 368 369 371 372 373 378 379 381 383 384 393 406 407 409 414 417 419 420 425 427 429 437 441 445 446 448 450 452 453 454 460 463 477 491 493 495 498 502 503 504 507
a 3 6 9 12 14 16 17 21 23 24 25 26 29 30 34 35 37 38 41 49 50 51 52 53 54 58 59 62 64 74 75 78 80 85 87 92 93 98 103 104 107 108 109 110 111 115 116 117 120 125 132 143 144 146 150 151 154 156 158 159 161 166 171 173 176 182 185 186 188 199 203 206 213 218 228 229 231 232 235 238 244 245 246 252 253 259 260 262 264 265 269 271 273 275 279 284 285 289 294 297 298 302 303 311 312 314 319 323 329 337 338 340 342 343 347 349 350 354 362 365 368 369 371 372 373 378 379 381 383 384 393 406 407 409 414 417 419 420 425 427 429 437 441 445 446 448 450 452 453 454 460 463 477 491 493 495 498 502 503 504 507
a 3 6 9 12 14 16 17 21 23 24 25 26 29 30 34 35 37 38 39 41 49 50 51 52 53 54 58 59 62 64 74 75 78 80 85 87 92 93 98 103 104 107 108 109 110 111 115 116 117 120 125 132 143 144 146 150 151 154 156 158 159 161 166 171 173 176 182 185 186 188 199 203 206 213 218 228 229 231 232 235 238 244 245 246 252 253 259 260 262 264 265 269 271 273 275 279 284 285 289 294 297 298 302 303 311 312 314 319 323 329 337 338 340 342 343 347 349 350 362 365 368 369 371 372 373 378 379 381 383 384 393 406 407 409 414 417 419 420 425 427 429 437 441 445 446 448 450 452 453 454 460 463 477 491 493 495 498 502 503 504 507
a 3 6 9 12 14 16 17 21 23 24 25 26 29 30 35 37 38 39 41 49 50 51 52 53 54 58 59 62 64 74 75 78 80 85 87 92 93 97 98 103 104 107 108 109 110 111 115 116 117 120 125 132 143 144 146 150 151 154 156 158 159 161 166 171 173 176 182 185 186 188 199 203 206 213 218 228 229 231 232 235 238 244 245 246 252 253 259 260 262 264 265 269 271 273 275 279 284 285 289 294 297 298 302 303 311 312 314 319 323 329 337 338 340 342 343 347 349 350 362 365 368 369 371 372 373 378 379 381 383 384 393 406 407 409 414 417 419 420 425 427 429 437 441 445 446 448 450 452 453 454 460 463 477 491 493 495 498 502 503 504 507
a 3 6 9 12 14 16 17 21 23 24 25 26 29 30 35 37 38 39 41 49 50 51 52 53 54 58 59 62 64 74 75 78 80 85 87 92 93 97 98 103 104 107 108 109 110 111 115 116 117 120 125 132 143 144 146 150 151 154 156 158 159 161 166 171 173 176 182 185 186 188 199 203 206 213 218 228 229 231 232 235 238 244 245 246 252 253 259 260 262 264 265 269 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 329 337 338 340 342 343 347 349 350 362 365 368 369 371 372 373 378 379 381 383 384 393 406 407 409 414 417 419 420 425 427 429 437 441 445 446 448 450 452 453 454 460 463 477 491 493 495 498 501 502 503 504 507
a 3 6 9 12 14 16 17 21 23 24 25 26 29 30 35 37 38 39 41 49 50 51 52 53 54 58 59 62 64 74 75 78 80 85 87 92 93 97 98 103 104 107 108 109 110 111 115 116 117 120 125 132 143 144 146 150 151 154 156 158 159 161 166 171 173 176 182 185 186 188 199 203 206 213 218 221 228 229 231 232 235 238 244 245 246 253 259 260 262 264 265 269 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 329 337 338 340 342 343 347 349 350 362 365 368 369 371 372 373 378 379 381 383 384 393 406 407 409 414 417 419 420 425 427 429 437 441 445 446 448 450 452 453 454 460 463 477 491 493 495 498 501 502 503 504 507
a 3 6 9 12 14 16 17 21 23 24 25 26 29 35 37 38 39 41 48 49 50 51 52 53 54 58 59 62 64 74 75 78 80 85 87 92 93 97 98 103 104 107 108 109 110 111 115 116 117 120 125 132 143 144 146 150 151 154 156 158 159 161 166 171 173 176 182 185 186 188 199 203 206 213 218 221 228 229 231 232 235 238 244 245 246 253 259 260 262 264 265 269 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 329 337 338 340 342 343 347 349 350 362 365 368 369 371 372 373 378 379 381 383 384 393 406 407 409 414 417 419 420 425 427 429 437 441 445 446 448 450 452 453 454 460 463 477 491 493 495 498 501 502 503 504 507
a 3 6 9 12 14 16 17 21 23 24 25 26 29 35 37 38 39 41 48 49 50 51 52 53 54 58 59 62 64 74 75 78 80 85 87 92 93 97 98 103 104 107 108 109 110 111 115 116 117 120 125 132 143 144 146 150 151 154 156 158 159 161 166 171 173 176 182 185 186 188 199 203 206 213 218 221 228 229 231 232 235 238 244 245 246 253 259 260 262 264 265 269 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 329 337 338 340 342 343 347 349 350 362 365 368 369 371 372 373 378 379 381 383 384 390 393 406 407 409 414 417 419 420 425 427 429 437 441 445 446 448 450 452 453 460 463 477 491 493 495 498 501 502 503 504 507
a 3 6 9 12 14 16 17 21 23 24 25 26 29 35 37 38 39 41 48 49 50 51 52 53 54 58 59 62 64 74 75 78 80 85 86 87 92 93 97 98 103 104 107 108 109 110 111 115 116 117 120 125 132 143 144 146 150 151 154 156 158 159 161 166 173 176 182 185 186 188 199 203 206 213 218 221 228 229 231 232 235 238 244 245 246 253 259 260 262 264 265 269 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 329 337 338 340 342 343 347 349 350 362 365 368 369 371 372 373 378 379 381 383 384 390 393 406 407 409 414 417 419 420 425 427 429 437 441 445 446 448 450 452 453 460 463 477 491 493 495 498 501 502 503 504 507
a 3 6 9 12 14 16 17 21 23 24 25 26 29 35 37 38 39 41 48 49 50 51 52 53 54 58 59 62 64 74 75 78 80 85 86 87 92 93 97 98 103 104 107 108 109 110 111 115 116 117 120 125 131 132 143 144 146 150 151 154 156 158 159 161 166 173 176 182 185 186 188 199 203 206 213 218 221 228 229 231 232 235 238 244 245 246 253 259 260 262 264 265 269 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 329 338 340 342 343 347 349 350 362 365 368 369 371 372 373 378 379 381 383 384 390 393 406 407 409 414 417 419 420 425 427 429 437 441 445 446 448 450 452 453 460 463 477 491 493 495 498 501 502 503 504 507
a 3 6 9 12 14 16 17 21 23 25 26 29 35 37 38 39 41 48 49 50 51 52 53 54 58 59 62 64 74 75 78 80 85 86 87 92 93 97 98 103 104 107 108 109 110 111 115 116 117 120 125 131 132 143 144 146 150 151 154 156 158 159 161 166 173 176 182 185 186 188 199 203 206 213 218 221 228 229 231 232 235 238 244 245 246 253 259 260 261 262 264 265 269 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 329 338 340 342 343 347 349 350 362 365 368 369 371 372 373 378 379 381 383 384 390 393 406 407 409 414 417 419 420 425 427 429 437 441 445 446 448 450 452 453 460 463 477 491 493 495 498 501 502 503 504 507
a 3 6 9 12 14 16 17 21 23 25 26 29 35 37 38 39 41 48 49 50 51 52 53 54 58 59 62 64 74 75 78 80 85 86 87 92 93 97 98 103 104 107 108 109 110 111 115 116 117 120 125 131 132 143 144 146 150 151 154 156 158 159 161 166 173 176 182 185 186 187 188 199 203 206 213 218 221 228 229 231 232 235 238 244 245 246 259 260 261 262 264 265 269 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 329 338 340 342 343 347 349 350 362 365 368 369 371 372 373 378 379 381 383 384 390 393 406 407 409 414 417 419 420 425 427 429 437 441 445 446 448 450 452 453 460 463 477 491 493 495 498 501 502 503 504 507
a 3 6 9 12 14 16 17 21 23 25 26 29 35 37 38 39 41 48 49 50 51 52 53 54 58 59 62 64 74 75 78 80 85 86 87 92 93 97 98 103 104 107 108 109 110 111 115 116 117 120 125 131 132 143 144 146 150 151 154 156 158 159 161 166 173 176 182 185 186 187 188 199 203 204 206 213 218 221 228 229 231 232 235 238 244 245 246 259 260 261 262 264 265 269 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 329 338 340 342 343 347 349 350 362 365 368 369 371 372 373 378 379 381 383 384 390 393 406 407 409 414 417 419 420 425 427 429 437 441 445 446 448 450 452 460 463 477 491 493 495 498 501 502 503 504 507
a 3 6 9 12 14 16 17 21 23 25 26 29 35 38 39 41 48 49 50 51 52 53 54 58 59 62 64 74 75 78 80 85 86 87 92 93 97 98 103 104 107 108 109 110 111 115 116 117 120 125 131 132 143 144 146 150 151 154 156 158 159 161 166 173 176 182 185 186 187 188 199 203 204 206 213 218 221 228 229 231 232 235 238 244 245 246 259 260 261 262 264 265 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 329 338 340 342 343 347 349 350 362 365 368 369 371 372 373 378 379 381 383 384 390 393 406 407 409 414 417 419 420 425 427 429 437 441 445 446 448 450 452 460 463 477 491 493 495 498 501 502 503 504 507
a 3 6 9 14 16 17 21 23 25 26 29 35 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 78 80 85 86 87 92 93 97 98 103 104 107 108 109 110 111 115 116 117 120 125 131 132 143 144 146 150 151 154 156 158 159 161 166 173 176 182 185 186 187 188 199 203 204 206 213 218 221 228 229 231 232 235 238 244 245 246 259 260 261 262 264 265 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 329 338 340 342 343 347 349 350 362 365 368 369 371 372 373 378 379 381 383 384 390 393 406 407 409 414 417 419 420 425 427 429 437 441 445 446 448 450 452 460 463 477 491 493 495 498 501 502 503 504 507
a 3 6 9 14 16 17 21 23 25 26 29 35 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 78 80 85 86 87 92 93 97 98 103 104 107 108 109 110 111 115 116 117 120 125 131 132 143 144 146 150 151 154 156 158 159 161 166 173 174 176 182 185 186 187 199 203 204 206 213 218 221 228 229 231 232 235 238 244 245 246 259 260 261 262 264 265 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 329 338 340 342 343 347 349 350 362 365 368 369 371 372 373 378 379 381 383 384 390 393 406 407 409 414 417 419 420 425 427 429 437 441 445 446 448 450 452 460 463 477 491 493 495 498 501 502 503 504 507
a 3 6 9 14 16 17 21 23 25 26 29 35 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 78 80 85 86 87 92 93 97 98 103 104 107 108 109 110 111 115 116 117 120 125 131 132 143 144 146 150 151 154 156 158 159 161 166 173 174 176 182 185 186 187 199 203 204 206 213 218 221 228 229 231 232 235 238 244 245 246 259 260 261 262 264 269 270 271 273 275 279 284 285 289 294 297 298 302 303 311 314 319 323 329 338 340 342 343 347 349 350 362 365 368 369 370 371 372 373 378 379 381 383 384 390 393 406 407 409 414 417 419 420 425 427 429 437 441 445 446 448 450 452 460 463 477 491 493 495 498 501 502 503 504 507
a 3 6 9 14 16 17 21 23 25 26 29 35 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 78 80 85 86 87 92 93 97 98 103 104 107 108 109 110 111 115 116 117 120 125 131 132 143 144 146 150 151 154 156 158 159 161 166 173 174 176 182 185 186 187 199 203 204 206 213 218 221 228 229 231 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 347 349 350 362 365 368 369 370 371 372 373 378 379 381 383 384 390 393 406 407 409 414 417 419 420 425 427 429 437 441 445 446 448 450 452 460 463 477 491 493 495 498 501 502 503 504 507
a 3 6 9 14 16 17 21 23 25 26 29 35 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 78 80 85 86 87 92 93 97 98 103 104 106 107 108 109 110 111 115 116 117 120 125 131 132 143 144 146 150 151 154 156 158 159 161 166 173 174 176 182 185 186 187 199 203 204 206 213 218 221 228 229 231 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 347 349 350 362 365 368 369 370 371 372 373 378 379 381 383 390 393 406 407 409 414 417 419 420 425 427 429 437 441 445 446 448 450 452 460 463 477 491 493 495 498 501 502 503 504 507
a 3 6 9 14 16 17 21 23 25 26 29 35 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 78 80 85 86 87 92 93 97 98 103 104 106 107 108 109 110 111 115 116 117 120 125 131 132 143 144 146 150 151 154 155 156 158 159 161 166 173 174 176 182 186 187 199 203 204 206 213 218 221 228 229 231 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 347 349 350 362 365 368 369 370 371 372 373 378 379 381 383 390 393 406 407 409 414 417 419 420 425 427 429 437 441 445 446 448 450 452 460 463 477 491 493 495 498 501 502 503 504 507
a 3 6 9 14 16 17 21 23 25 26 29 35 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 97 98 103 104 106 107 108 109 110 111 115 116 117 120 125 131 132 143 144 146 150 151 154 155 156 158 159 161 166 173 174 176 182 186 187 199 203 204 206 213 218 221 228 229 231 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 347 349 350 362 365 368 369 370 371 372 373 378 379 381 383 390 393 406 407 409 414 417 419 420 425 427 429 437 440 441 445 446 448 450 452 460 463 477 491 493 495 498 501 502 503 504 507
a 3 6 9 14 16 17 21 23 25 26 29 35 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 97 98 103 104 106 107 108 109 110 111 115 116 117 120 125 131 132 143 144 146 150 151 154 155 158 159 161 166 173 174 176 182 186 187 199 203 204 206 213 218 221 228 229 231 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 347 349 350 362 365 368 369 370 371 372 373 378 379 381 383 390 393 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 3 6 9 14 16 17 21 23 26 29 35 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 97 98 103 104 106 107 108 109 110 111 115 116 117 120 125 131 132 143 144 146 150 151 154 155 158 159 161 166 173 174 176 182 186 187 199 203 204 206 213 218 221 228 229 231 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 347 349 350 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 3 6 9 14 16 17 21 23 26 29 35 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 97 98 103 104 106 107 108 109 110 111 115 116 117 120 125 131 132 143 144 146 150 151 154 155 159 161 166 173 174 176 182 186 187 199 203 204 206 213 218 221 228 229 231 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 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 35 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 97 98 103 104 106 107 108 109 110 111 115 116 117 120 125 131 132 143 144 146 150 151 154 155 159 161 166 173 174 176 182 186 187 199 203 204 206 213 218 221 228 229 231 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 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 35 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 97 98 103 104 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 186 187 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 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 35 38 39 41 48 49 50 51 52 53 54 57 58 59 62 64 74 75 80 85 86 87 92 93 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 186 187 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 35 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 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 /benchmark/random_instance/random_instance039_graph001.col /benchmark/random_instance/random_instance039_graph001_01.dat"
	User time (seconds): 65.03
	System time (seconds): 0.11
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 1:05.15
	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): 355372
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 123972
	Voluntary context switches: 22
	Involuntary context switches: 426
	Swaps: 0
	File system inputs: 0
	File system outputs: 1016
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Mon Sep  4 13:01:45 2023]