#BEGIN: [Tue Sep 26 02:02:50 2023]
#HOST: s13
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-banbaralab2-existent3
#INSTANCE1: /benchmark/random_instance/random_instance040_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance040_graph005_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance040_graph005.col /benchmark/random_instance/random_instance040_graph005_01.dat
c /benchmark/random_instance/random_instance040_graph005.col
c /benchmark/random_instance/random_instance040_graph005_01.dat
*** Info : (clingo): INTERRUPTED by signal!
*** Info : (clingo): Sending shutdown signal...
*** ERROR: (clingo): solving stopped by signal
*** Info : (clingo): Shutdown completed in 0.019 seconds
s 339 494 377 136 176 295 73 128 426 331 109 305 177 428 115 195 298 89 84 114 306 144 141 360 143 146 168 12 282 1 229 46 263 333 394 329 301 126 406 271 287 356 182 328 34 83 420 104 134 507 392 140 22 413 511 267 124 395 184 519 65 231 35 94 93 74 317 101 190 472 180 447 284 513 164 91 75 321 67 25 318 340 60 367 119 185 441 446 382 315 162 211 480 223 15 433 467 212 380 350 401 291 288 125 112 36 354 473 138 31 78 496 416 505 135 320 171 379 375 281 6 196 30 117 165 50 172 244 232 294 269 199 17 381 501 123 121 44 103 45 462 440 481 489 227 28 296 24 409 240 365 154 157 225 105 80 336 268 226 173 344 402 376 149
t 80 353 67 432 309 238 158 237 500 482 121 458 236 372 75 210 201 252 448 78 269 390 13 397 385 68 335 468 371 217 186 245 478 308 81 214 187 277 110 6 514 290 119 66 41 143 90 211 45 53 400 293 64 15 398 292 100 516 320 324 470 515 357 318 118 368 227 488 205 85 379 129 96 302 388 428 146 507 142 328 274 191 91 415 123 376 505 232 383 473 416 60 509 226 333 138 467 197 486 474 65 225 367 256 102 462 101 72 30 178 469 346 250 233 481 240 365 89 231 216 411 471 173 157 177 171 364 122 88 194 195 370 348 36 117 204 12 362 46 393 244 19 350 179 445 407 391 124 107 165 284 275 404 472 218 401 27 180 331 336 426 306 395 8
a YES
a 1 6 12 15 17 22 24 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 80 83 84 89 91 93 94 101 103 104 105 109 112 114 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 154 157 162 164 165 168 171 172 173 176 177 180 182 184 185 190 195 196 199 211 212 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 413 416 420 426 428 433 440 441 446 447 462 467 472 473 480 481 489 494 496 501 505 507 511 513 519
a 1 6 12 15 17 21 22 24 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 80 83 84 89 91 93 94 101 103 104 105 109 112 114 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 154 157 162 164 165 168 171 172 173 176 177 180 182 184 185 190 195 196 199 211 212 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 416 420 426 428 433 440 441 446 447 462 467 472 473 480 481 489 494 496 501 505 507 511 513 519
a 1 6 12 17 21 22 24 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 80 83 84 89 91 93 94 101 103 104 105 109 112 114 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 154 157 162 164 165 168 171 172 173 176 177 180 182 184 185 190 195 196 199 211 212 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 347 350 354 356 360 365 367 375 376 377 379 380 381 382 392 394 395 401 402 406 409 416 420 426 428 433 440 441 446 447 462 467 472 473 480 481 489 494 496 501 505 507 511 513 519
a 1 6 12 17 21 22 24 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 80 84 89 91 93 94 101 103 104 105 109 112 114 115 117 119 121 123 124 125 126 128 134 135 136 138 140 141 143 144 146 149 154 157 162 164 165 168 171 172 173 176 177 180 182 184 185 190 195 196 199 211 212 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 347 350 354 356 360 365 367 375 376 377 379 380 381 382 391 392 394 395 401 402 406 409 416 420 426 428 433 440 441 446 447 462 467 472 473 480 481 489 494 496 501 505 507 511 513 519
a 1 6 12 17 21 22 24 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 80 84 89 91 93 94 101 103 104 105 109 112 114 115 117 119 121 123 124 125 126 128 134 135 136 138 140 143 144 146 149 154 157 162 164 165 168 171 172 173 176 177 180 182 184 185 190 195 196 199 211 212 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 333 336 339 340 344 347 350 354 356 360 365 367 375 376 377 379 380 381 382 385 391 392 394 395 401 402 406 409 416 420 426 428 433 440 441 446 447 462 467 472 473 480 481 489 494 496 501 505 507 511 513 519
a 1 6 12 17 21 22 24 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 80 84 89 91 93 94 101 103 104 105 109 112 113 114 115 117 119 121 123 124 125 126 128 134 135 136 138 140 143 144 146 149 154 157 162 164 165 168 171 172 173 176 177 180 182 184 185 190 195 196 199 211 212 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 333 336 340 344 347 350 354 356 360 365 367 375 376 377 379 380 381 382 385 391 392 394 395 401 402 406 409 416 420 426 428 433 440 441 446 447 462 467 472 473 480 481 489 494 496 501 505 507 511 513 519
a 1 6 12 15 17 21 22 24 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 80 84 89 91 93 94 101 103 104 105 109 112 113 114 115 117 119 121 123 124 125 126 128 134 135 136 138 140 143 144 146 149 154 157 162 164 165 168 171 172 173 176 177 180 182 184 185 190 195 196 199 211 212 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 333 336 340 344 350 354 356 360 365 367 375 376 377 379 380 381 382 385 391 392 394 395 401 402 406 409 416 420 426 428 433 440 441 446 447 462 467 472 473 480 481 489 494 496 501 505 507 511 513 519
a 1 6 12 15 17 21 22 24 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 80 84 88 89 91 93 94 101 103 104 105 109 112 113 114 115 117 119 121 123 124 125 126 128 134 135 136 138 140 143 144 146 149 154 157 162 164 165 168 171 172 173 176 177 180 182 184 185 190 195 196 199 211 212 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 333 336 340 344 350 354 356 360 365 367 375 376 377 379 380 381 382 385 391 392 394 395 401 402 406 409 416 420 426 428 433 440 441 446 447 462 467 472 473 480 481 489 494 496 505 507 511 513 519
a 1 6 12 15 17 21 22 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 80 84 88 89 91 93 94 101 103 104 105 109 112 113 114 115 117 119 121 123 124 125 126 128 134 135 136 138 140 143 144 146 149 154 157 162 164 165 168 171 172 173 176 177 180 182 184 185 190 195 196 199 211 212 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 332 333 336 340 344 350 354 356 360 365 367 375 376 377 379 380 381 382 385 391 392 394 395 401 402 406 409 416 420 426 428 433 440 441 446 447 462 467 472 473 480 481 489 494 496 505 507 511 513 519
a 1 6 12 15 17 21 22 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 80 84 88 89 91 93 94 101 103 104 105 109 112 113 114 115 117 119 121 123 124 125 126 128 134 135 136 138 140 143 144 146 149 154 157 162 164 165 168 171 172 173 176 177 180 182 184 185 190 195 196 199 211 212 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 332 333 336 340 344 350 354 356 360 367 375 376 377 379 380 381 382 385 391 392 394 395 401 402 406 409 416 420 426 428 433 440 441 446 447 460 462 467 472 473 480 481 489 494 496 505 507 511 513 519
a 1 6 12 15 17 21 22 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 80 84 85 88 89 91 93 94 101 103 104 105 109 112 113 114 115 117 119 121 123 124 125 126 128 134 135 136 138 140 143 144 146 149 154 157 162 164 165 168 171 173 176 177 180 182 184 185 190 195 196 199 211 212 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 332 333 336 340 344 350 354 356 360 367 375 376 377 379 380 381 382 385 391 392 394 395 401 402 406 409 416 420 426 428 433 440 441 446 447 460 462 467 472 473 480 481 489 494 496 505 507 511 513 519
a 1 6 12 15 17 21 22 25 28 30 31 34 35 36 37 44 45 46 50 60 65 67 73 74 75 78 80 84 85 88 89 91 93 94 101 103 104 105 109 112 113 114 115 117 119 121 123 124 125 126 128 134 135 136 138 140 143 144 146 149 154 157 162 164 165 168 171 173 176 177 180 182 184 185 190 195 196 199 211 212 223 225 226 227 229 231 240 244 263 267 268 269 271 281 282 284 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 332 333 336 340 344 350 354 356 360 367 375 376 377 379 380 381 382 385 391 392 394 395 401 402 406 409 416 420 426 428 433 440 441 446 447 460 462 467 472 473 480 481 489 494 496 505 507 511 513 519
a 1 6 12 15 17 21 22 25 28 30 31 34 35 36 37 44 45 46 50 60 65 67 73 74 75 78 80 84 85 88 89 91 93 94 101 103 104 105 109 112 113 114 115 117 119 121 123 124 125 126 128 134 135 136 138 140 143 144 146 149 154 157 162 164 165 168 171 173 176 177 180 182 184 185 190 195 196 199 211 212 223 225 226 227 229 231 240 244 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 332 333 336 340 344 350 354 356 360 367 375 376 377 379 380 381 382 385 391 392 394 401 402 406 409 416 420 426 428 433 440 441 446 447 460 462 467 472 473 480 481 489 494 496 505 507 511 513 519
a 1 6 12 15 17 21 22 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 80 84 85 88 89 91 93 94 101 103 104 105 109 112 113 114 115 117 119 121 123 124 125 126 128 134 135 136 138 140 143 144 146 149 154 157 162 164 165 168 171 173 176 177 180 182 184 185 190 195 196 199 211 212 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 332 333 336 340 344 350 354 356 360 367 375 376 377 379 380 381 382 385 391 392 394 401 402 406 409 416 420 426 428 433 440 441 446 447 460 462 467 472 473 480 481 489 494 496 505 507 511 513 519
a 1 6 12 15 17 21 22 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 84 85 88 89 91 92 93 94 101 103 104 105 109 112 113 114 115 117 119 121 123 124 125 126 128 134 135 136 138 140 143 144 146 149 154 157 162 164 165 168 171 173 176 177 180 182 184 185 190 195 196 199 211 212 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 332 333 336 340 344 350 354 356 360 367 375 376 377 379 380 381 382 385 391 392 394 401 402 406 409 416 420 426 428 433 440 441 446 447 460 462 467 472 473 480 481 489 494 496 505 507 511 513 519
a 1 6 12 15 17 21 22 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 84 85 88 89 91 92 93 94 101 103 104 105 109 112 113 114 115 117 119 121 123 124 125 126 128 134 135 136 138 140 143 144 146 149 154 157 162 164 165 168 171 173 176 177 180 182 184 185 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 332 333 336 340 344 350 354 356 367 375 376 377 379 380 381 382 385 391 392 394 401 402 406 409 416 420 426 428 433 440 441 446 447 460 462 467 472 473 480 481 489 494 496 505 507 511 513 519
a 1 6 12 15 17 21 22 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 84 85 88 89 91 92 93 94 101 103 104 105 109 113 114 115 117 119 121 123 124 125 126 128 134 135 136 138 140 143 144 146 149 152 154 157 162 164 165 168 171 173 176 177 180 182 184 185 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 332 333 336 340 344 350 354 356 367 375 376 377 379 380 381 382 385 391 392 394 401 402 406 409 416 420 426 428 433 440 441 446 447 460 462 467 472 473 480 481 489 494 496 505 507 511 513 519
a 1 4 6 12 15 17 21 22 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 84 85 88 89 91 92 93 94 101 103 104 105 109 113 115 117 119 121 123 124 125 126 128 134 135 136 138 140 143 144 146 149 152 154 157 162 164 165 168 171 173 176 177 180 182 184 185 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 332 333 336 340 344 350 354 356 367 375 376 377 379 380 381 382 385 391 392 394 401 402 406 409 416 420 426 428 433 440 441 446 447 460 462 467 472 473 480 481 489 494 496 505 507 511 513 519
a 1 4 6 12 15 17 21 22 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 84 85 88 89 91 92 93 94 101 103 104 105 109 113 115 117 119 123 124 125 126 128 134 135 136 138 140 143 144 146 149 152 154 157 162 164 165 168 171 173 176 177 180 182 184 185 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 332 333 336 340 344 350 351 354 356 367 375 376 377 379 380 381 382 385 391 392 394 401 402 406 409 416 420 426 428 433 440 441 446 447 460 462 467 472 473 480 481 489 494 496 505 507 511 513 519
a 1 4 6 12 15 17 21 22 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 84 85 88 89 91 92 93 94 101 103 104 105 109 113 115 117 119 123 124 125 126 128 134 135 136 138 140 143 144 146 149 152 154 157 162 164 165 168 171 173 176 177 180 182 184 185 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 305 306 315 317 318 320 321 328 329 331 332 333 336 340 344 350 351 354 356 367 375 376 377 379 380 381 382 385 391 392 394 401 402 409 416 420 426 428 433 440 441 446 447 460 462 467 472 473 480 481 489 494 496 502 505 507 511 513 519
a 1 4 6 15 17 21 22 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 84 85 88 89 91 92 93 94 101 103 104 105 109 113 115 117 119 123 124 125 126 128 134 135 136 138 140 143 144 146 149 152 154 157 162 164 165 168 171 173 176 177 180 182 184 185 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 305 306 311 315 317 318 320 321 328 329 331 332 333 336 340 344 350 351 354 356 367 375 376 377 379 380 381 382 385 391 392 394 401 402 409 416 420 426 428 433 440 441 446 447 460 462 467 472 473 480 481 489 494 496 502 505 507 511 513 519
a 1 4 6 15 17 21 22 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 84 85 88 89 91 92 93 94 101 103 104 105 109 113 115 117 119 123 124 125 126 128 134 135 136 138 140 143 144 146 149 152 154 157 162 164 165 168 171 173 176 177 180 182 185 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 305 306 311 315 317 318 320 321 328 329 331 332 333 336 340 344 350 351 354 356 367 375 376 377 379 380 381 382 385 391 392 394 401 402 409 411 416 420 426 428 433 440 441 446 447 460 462 467 472 473 480 481 489 494 496 502 505 507 511 513 519
a 1 4 6 15 17 21 22 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 84 85 88 89 91 92 93 94 101 103 104 105 109 113 115 117 119 123 124 125 126 128 134 135 136 138 140 143 144 146 149 152 154 157 162 164 165 168 171 173 176 177 180 182 185 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 305 306 311 315 317 318 320 321 328 329 331 332 333 336 340 344 350 351 354 356 364 367 375 376 377 379 380 381 382 385 391 392 394 401 402 409 411 416 420 426 428 433 440 441 446 447 460 462 467 472 473 480 481 489 494 496 502 505 507 513 519
a 1 4 6 15 17 21 22 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 84 85 89 91 92 93 94 101 103 104 105 109 113 115 117 119 123 124 125 126 128 134 135 136 138 140 143 144 146 149 152 154 157 162 164 165 168 171 173 176 177 180 182 185 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 305 306 311 315 317 318 320 321 328 329 331 332 333 336 340 344 350 351 354 356 364 367 375 376 377 379 380 381 382 385 391 392 394 401 402 409 411 416 420 426 428 433 440 441 446 447 460 462 467 472 473 480 481 489 494 496 501 502 505 507 513 519
a 1 4 6 15 17 21 22 25 28 30 31 34 35 36 44 45 46 50 60 65 67 73 74 75 78 84 89 91 92 93 94 101 103 104 105 109 113 115 117 119 123 124 125 126 128 134 135 136 138 140 143 144 146 149 152 154 157 162 164 165 168 171 172 173 176 177 180 182 185 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 305 306 311 315 317 318 320 321 328 329 331 332 333 336 340 344 350 351 354 356 364 367 375 376 377 379 380 381 382 385 391 392 394 401 402 409 411 416 420 426 428 433 440 441 446 447 460 462 467 472 473 480 481 489 494 496 501 502 505 507 513 519
a 1 4 6 15 17 21 22 25 28 30 31 35 36 44 45 46 50 60 65 67 73 74 75 78 84 89 91 92 93 94 101 103 104 105 109 113 115 117 119 123 124 125 126 128 134 135 136 138 140 143 144 146 149 152 154 157 162 164 165 168 171 172 173 176 177 180 182 185 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 305 306 311 315 317 318 320 321 328 329 331 332 333 336 340 344 350 351 354 356 364 367 375 376 377 379 380 381 382 385 386 391 392 394 401 402 409 411 416 420 426 428 433 440 441 446 447 460 462 467 472 473 480 481 489 494 496 501 502 505 507 513 519
a 1 4 6 15 17 21 22 25 28 30 31 35 36 44 45 46 50 60 65 67 73 74 75 78 84 89 91 92 93 94 101 103 104 105 109 113 115 117 119 123 124 125 126 128 134 135 136 138 140 143 144 146 149 152 154 157 162 164 165 168 171 172 173 176 177 180 182 185 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 305 306 311 315 317 318 320 321 328 329 331 332 333 336 340 344 350 351 354 356 364 367 375 376 377 380 381 382 385 386 391 392 394 401 402 409 411 416 420 426 428 433 440 441 446 447 460 462 467 472 473 480 481 489 494 496 501 502 504 505 507 513 519
a 1 4 6 15 17 21 22 25 28 30 31 35 36 44 45 46 50 60 65 67 73 74 75 78 84 89 91 92 93 94 101 103 104 105 109 112 113 115 117 119 123 124 125 126 128 134 135 136 138 140 143 144 146 149 154 157 162 164 165 168 171 172 173 176 177 180 182 185 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 305 306 311 315 317 318 320 321 328 329 331 332 333 336 340 344 350 351 354 356 364 367 375 376 377 380 381 382 385 386 391 392 394 401 402 409 411 416 420 426 428 433 440 441 446 447 460 462 467 472 473 480 481 489 494 496 501 502 504 505 507 513 519
a 1 4 6 15 17 21 22 25 28 30 31 35 36 44 45 46 50 60 65 67 73 74 75 78 84 89 91 92 93 94 101 103 104 105 109 112 113 115 117 119 123 124 125 126 128 134 135 136 138 140 143 144 146 149 154 157 162 164 165 168 171 172 173 176 177 180 182 185 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 305 306 311 315 317 318 320 328 329 331 332 333 336 340 344 350 351 354 356 364 367 375 376 377 380 381 382 385 386 388 391 392 394 401 402 409 411 416 420 426 428 433 440 441 446 447 460 462 467 472 473 480 481 489 494 496 501 502 504 505 507 513 519
a 1 4 6 15 17 21 22 25 28 30 31 35 36 44 45 46 50 60 65 67 73 74 75 78 84 89 90 91 92 93 94 101 103 104 105 109 112 113 115 117 119 123 124 125 126 128 134 135 136 138 140 143 144 146 149 154 157 162 164 165 168 171 172 173 176 177 180 182 185 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 305 306 311 315 317 318 320 328 329 331 332 333 336 340 344 350 351 354 356 364 367 375 376 377 380 381 382 385 386 388 391 392 394 401 402 409 411 416 420 426 428 433 440 441 446 447 462 467 472 473 480 481 489 494 496 501 502 504 505 507 513 519
a 1 4 6 15 17 21 22 25 28 30 31 35 36 44 45 46 50 60 65 67 73 74 75 78 84 89 90 91 92 93 94 101 103 104 105 109 112 113 115 117 119 123 124 125 126 128 134 135 136 138 140 143 144 146 149 154 157 158 162 164 165 168 171 172 173 176 177 180 182 185 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 305 306 311 315 317 318 320 328 329 331 332 333 336 340 344 350 351 354 356 364 367 375 376 377 380 381 382 385 386 388 391 392 394 401 402 409 411 416 420 426 428 433 440 446 447 462 467 472 473 480 481 489 494 496 501 502 504 505 507 513 519
a 1 4 6 15 17 21 22 25 28 30 31 35 36 44 45 46 50 60 65 67 73 74 75 78 84 89 90 91 92 93 94 101 103 104 105 109 112 113 115 117 119 123 124 125 126 128 134 135 136 138 140 143 144 146 149 154 157 158 162 164 165 168 171 172 173 176 177 180 182 185 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 305 306 311 315 317 318 320 328 329 331 332 333 336 340 344 350 351 354 356 364 367 375 376 380 381 382 383 385 386 388 391 392 394 401 402 409 411 416 420 426 428 433 440 446 447 462 467 472 473 480 481 489 494 496 501 502 504 505 507 513 519
a 1 4 6 15 17 21 22 25 28 30 31 35 36 44 45 46 50 60 65 67 73 74 75 78 84 89 90 91 92 93 94 101 103 104 105 109 112 113 115 117 119 123 124 126 128 134 135 136 138 140 143 144 146 149 154 157 158 162 164 165 168 171 172 173 176 177 180 182 185 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 256 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 305 306 311 315 317 318 320 328 329 331 332 333 336 340 344 350 351 354 356 364 367 375 376 380 381 382 383 385 386 388 391 392 394 401 402 409 411 416 420 426 428 433 440 446 447 462 467 472 473 480 481 489 494 496 501 502 504 505 507 513 519
a 1 4 6 15 17 21 22 25 28 30 31 35 36 44 45 46 50 60 65 67 73 74 75 78 84 89 90 91 92 93 94 101 103 104 105 109 112 113 115 117 119 123 124 126 128 134 135 136 138 140 143 144 146 149 154 157 158 162 164 165 168 171 172 173 176 177 180 182 185 187 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 256 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 305 306 311 315 317 318 320 328 329 331 332 333 336 340 344 350 351 354 356 364 367 375 376 380 381 382 383 385 386 388 391 392 394 401 402 409 411 416 420 426 428 433 440 446 447 462 467 472 473 480 481 489 494 496 501 502 505 507 513 519
a 1 4 6 15 17 21 22 25 28 30 31 35 36 44 45 46 50 60 65 67 73 74 75 78 84 89 90 91 92 93 94 101 103 104 109 112 113 115 117 119 123 124 126 128 134 135 136 138 140 143 144 146 149 154 157 158 162 164 165 168 171 172 173 176 177 180 182 185 187 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 256 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 305 306 311 315 317 318 320 328 329 331 332 333 336 340 344 350 351 354 356 364 367 375 376 379 380 381 382 383 385 386 388 391 392 394 401 402 409 411 416 420 426 428 433 440 446 447 462 467 472 473 480 481 489 494 496 501 502 505 507 513 519
a 1 4 6 15 17 21 22 25 28 30 31 35 36 44 45 46 50 60 65 67 73 74 75 78 84 89 90 91 92 93 94 101 103 104 109 112 113 115 117 119 123 124 126 128 134 135 136 138 140 143 144 146 149 154 157 158 162 164 165 168 171 172 173 176 177 180 182 185 187 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 256 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 306 311 315 317 318 320 328 329 331 332 333 336 340 344 350 351 354 356 364 367 372 375 376 379 380 381 382 383 385 386 388 391 392 394 401 402 409 411 416 420 426 428 433 440 446 447 462 467 472 473 480 481 489 494 496 501 502 505 507 513 519
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 73 74 75 78 84 89 90 91 92 93 94 101 103 104 109 112 113 115 117 119 123 124 126 128 134 135 136 138 140 143 144 146 149 154 157 158 162 164 165 168 171 172 173 176 177 180 182 185 187 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 250 256 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 306 311 315 317 318 320 328 329 331 332 333 336 340 344 350 351 354 356 364 367 372 375 376 379 380 381 382 383 385 386 388 391 392 394 401 402 409 411 416 420 426 428 433 440 446 447 462 467 472 473 480 481 489 494 496 501 502 505 507 513 519
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 73 74 75 78 84 89 90 91 92 93 94 101 103 104 109 112 113 115 117 119 123 124 126 128 134 135 136 138 140 143 144 146 149 154 157 158 162 164 165 168 171 172 173 176 177 180 182 185 187 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 250 256 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 306 311 315 317 318 320 328 329 331 332 333 336 340 344 346 350 351 354 356 364 367 372 375 376 379 380 381 382 383 385 386 388 391 392 394 401 402 409 411 416 420 426 428 433 440 446 447 462 467 472 473 480 481 489 494 496 501 502 505 507 513
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 73 74 75 78 84 89 90 91 92 93 94 101 103 104 109 112 113 115 117 119 123 124 126 128 134 135 136 138 140 143 144 146 149 154 157 158 162 164 165 168 171 172 173 176 177 180 182 185 187 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 250 256 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 306 311 315 317 318 320 328 329 331 332 333 336 340 344 346 350 351 354 356 364 365 367 372 375 376 379 380 381 382 383 385 386 388 391 392 394 401 402 409 411 416 420 426 428 433 440 446 447 462 467 472 473 480 481 489 494 496 501 502 505 507
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 73 74 75 78 84 89 90 91 92 93 94 101 103 104 109 112 113 115 117 119 123 124 126 128 129 134 135 136 138 140 143 144 146 149 154 157 158 162 164 165 171 172 173 176 177 180 182 185 187 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 250 256 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 306 311 315 317 318 320 328 329 331 332 333 336 340 344 346 350 351 354 356 364 365 367 372 375 376 379 380 381 382 383 385 386 388 391 392 394 401 402 409 411 416 420 426 428 433 440 446 447 462 467 472 473 480 481 489 494 496 501 502 505 507
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 73 74 75 78 84 89 90 91 92 93 94 101 103 104 109 112 113 115 117 119 123 124 126 128 129 134 135 136 138 140 143 144 146 149 154 157 158 162 164 165 171 172 173 176 177 180 182 185 187 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 250 256 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 306 311 315 317 318 320 328 329 331 332 333 336 340 344 346 350 351 354 356 364 365 367 372 375 376 379 380 381 382 383 385 386 388 391 392 394 401 402 409 411 416 420 426 428 433 440 446 447 448 462 467 472 473 480 481 494 496 501 502 505 507
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 73 74 75 78 84 89 90 91 92 93 94 101 103 104 109 112 113 115 117 119 123 124 126 128 129 134 135 136 138 140 143 144 146 149 154 157 158 162 164 165 171 172 173 176 177 180 182 185 187 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 250 256 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 306 311 315 317 318 320 328 329 331 332 333 336 340 346 350 351 354 356 364 365 367 372 375 376 379 380 381 382 383 385 386 388 391 392 394 401 402 404 409 411 416 420 426 428 433 440 446 447 448 462 467 472 473 480 481 494 496 501 502 505 507
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 73 74 75 78 84 89 90 91 92 93 94 101 103 104 109 112 113 115 117 119 123 124 126 128 129 134 135 136 138 140 143 144 146 149 154 157 158 162 164 165 171 172 173 176 177 180 185 187 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 250 256 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 306 311 315 317 318 320 328 329 331 332 333 336 340 346 350 351 354 356 364 365 367 372 375 376 379 380 381 382 383 385 386 388 391 392 394 401 402 404 407 409 411 416 420 426 428 433 440 446 447 448 462 467 472 473 480 481 494 496 501 502 505 507
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 73 74 75 78 84 89 90 91 92 93 94 101 103 104 109 112 113 115 117 119 123 124 126 128 129 134 135 136 138 140 143 144 146 149 154 157 158 162 164 165 171 172 173 176 177 178 180 185 187 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 250 256 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 306 311 315 317 318 320 328 329 331 332 333 336 340 346 350 351 354 364 365 367 372 375 376 379 380 381 382 383 385 386 388 391 392 394 401 402 404 407 409 411 416 420 426 428 433 440 446 447 448 462 467 472 473 480 481 494 496 501 502 505 507
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 73 74 75 78 84 89 90 91 92 93 94 101 103 104 112 113 115 117 119 123 124 126 128 129 134 135 136 138 140 143 144 146 149 154 157 158 162 164 165 171 172 173 176 177 178 180 185 187 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 250 252 256 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 306 311 315 317 318 320 328 329 331 332 333 336 340 346 350 351 354 364 365 367 372 375 376 379 380 381 382 383 385 386 388 391 392 394 401 402 404 407 409 411 416 420 426 428 433 440 446 447 448 462 467 472 473 480 481 494 496 501 502 505 507
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 73 74 75 78 84 89 90 91 92 93 94 101 103 104 110 112 113 115 117 119 123 124 126 129 134 135 136 138 140 143 144 146 149 154 157 158 162 164 165 171 172 173 176 177 178 180 185 187 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 250 252 256 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 306 311 315 317 318 320 328 329 331 332 333 336 340 346 350 351 354 364 365 367 372 375 376 379 380 381 382 383 385 386 388 391 392 394 401 402 404 407 409 411 416 420 426 428 433 440 446 447 448 462 467 472 473 480 481 494 496 501 502 505 507
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 73 74 75 78 80 84 89 90 91 93 94 101 103 104 110 112 113 115 117 119 123 124 126 129 134 135 136 138 140 143 144 146 149 154 157 158 162 164 165 171 172 173 176 177 178 180 185 187 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 250 252 256 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 306 311 315 317 318 320 328 329 331 332 333 336 340 346 350 351 354 364 365 367 372 375 376 379 380 381 382 383 385 386 388 391 392 394 401 402 404 407 409 411 416 420 426 428 433 440 446 447 448 462 467 472 473 480 481 494 496 501 502 505 507
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 73 74 75 78 80 84 89 90 91 93 94 101 103 104 110 112 113 115 117 119 123 124 126 129 134 135 136 138 140 143 144 146 149 154 157 158 162 164 165 171 172 173 176 177 178 180 185 187 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 250 252 256 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 306 311 315 317 318 320 328 329 331 332 333 336 340 346 350 351 354 364 365 367 372 375 376 379 380 381 382 383 385 386 388 391 392 394 401 402 404 407 409 411 416 420 426 428 433 445 446 447 448 462 467 472 473 480 481 494 496 501 502 505 507
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 73 74 75 78 80 84 89 90 91 93 94 101 103 110 112 113 115 117 119 123 124 126 129 134 135 136 138 140 143 144 146 149 154 157 158 162 164 165 171 172 173 176 177 178 180 185 187 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 250 252 256 263 267 268 269 271 281 282 284 286 287 288 291 294 295 296 298 301 306 311 315 317 318 320 328 329 331 332 333 336 340 346 350 351 354 364 365 367 372 375 376 379 380 381 382 383 385 386 388 391 392 394 401 402 404 407 409 411 416 420 426 428 433 445 446 447 448 462 467 471 472 473 480 481 494 496 501 502 505 507
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 73 74 75 78 80 84 89 90 91 93 94 101 103 110 112 113 115 117 119 123 124 126 129 134 135 136 138 140 143 144 146 149 154 157 158 162 164 165 171 172 173 176 177 178 180 185 187 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 245 250 252 256 263 267 268 269 271 281 282 284 286 287 288 291 294 295 298 301 306 311 315 317 318 320 328 329 331 332 333 336 340 346 350 351 354 364 365 367 372 375 376 379 380 381 382 383 385 386 388 391 392 394 401 402 404 407 409 411 416 420 426 428 433 445 446 447 448 462 467 471 472 473 480 481 494 496 501 502 505 507
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 73 74 75 78 80 84 89 90 91 93 101 103 110 112 113 115 117 119 123 124 126 129 134 135 136 138 140 143 144 146 149 154 157 158 162 164 165 171 172 173 176 177 178 180 185 187 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 245 250 252 256 263 267 268 269 271 281 282 284 286 287 288 291 294 295 298 301 306 311 315 317 318 320 328 329 331 332 333 336 340 346 350 351 354 364 365 367 372 375 376 379 380 381 382 383 385 386 388 390 391 392 394 401 402 404 407 409 411 416 420 426 428 433 445 446 447 448 462 467 471 472 473 480 481 494 496 501 502 505 507
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 73 74 75 78 80 84 89 90 91 93 101 103 110 112 113 115 117 119 123 124 126 129 134 135 136 138 140 143 144 146 149 154 157 158 162 164 165 171 172 173 176 177 178 180 185 187 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 245 250 252 256 263 267 268 269 271 281 282 284 286 287 288 291 294 295 298 301 306 311 315 317 318 320 328 329 331 332 333 336 340 346 350 351 354 364 365 367 372 375 376 379 380 381 382 383 385 386 388 390 391 392 394 398 401 402 404 407 409 411 416 420 426 428 433 445 446 447 448 462 467 471 472 473 481 494 496 501 502 505 507
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 73 74 75 78 80 84 89 90 91 93 101 103 110 112 113 115 117 119 123 124 126 129 134 135 136 138 140 143 144 146 149 154 157 158 162 164 165 171 172 173 176 177 178 180 185 187 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 245 250 252 256 263 267 268 269 271 281 282 284 286 287 288 291 294 295 298 301 306 311 315 317 318 320 328 329 331 332 333 336 340 346 350 351 354 364 365 367 372 375 376 379 380 381 383 385 386 388 390 391 392 394 398 401 402 404 407 409 411 416 420 426 428 433 445 446 447 448 462 467 469 471 472 473 481 494 496 501 502 505 507
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 73 74 75 78 80 84 89 90 91 93 101 103 110 112 113 115 117 119 123 124 126 129 134 135 136 138 140 143 144 146 149 154 157 158 162 164 165 171 172 173 176 177 178 180 185 187 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 245 250 252 256 263 267 268 269 271 277 281 282 284 286 287 288 291 294 295 298 306 311 315 317 318 320 328 329 331 332 333 336 340 346 350 351 354 364 365 367 372 375 376 379 380 381 383 385 386 388 390 391 392 394 398 401 402 404 407 409 411 416 420 426 428 433 445 446 447 448 462 467 469 471 472 473 481 494 496 501 502 505 507
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 73 74 75 78 80 84 89 90 91 93 101 103 110 112 113 115 117 119 123 124 126 129 134 135 136 138 140 143 144 146 149 154 157 158 162 164 165 171 172 173 176 177 178 180 185 187 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 245 250 252 256 263 267 268 269 271 277 281 282 284 287 288 291 294 295 298 306 311 315 317 318 320 324 328 329 331 332 333 336 340 346 350 351 354 364 365 367 372 375 376 379 380 381 383 385 386 388 390 391 392 394 398 401 402 404 407 409 411 416 420 426 428 433 445 446 447 448 462 467 469 471 472 473 481 494 496 501 502 505 507
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 73 74 75 78 80 89 90 91 93 101 103 110 112 113 115 117 119 123 124 126 129 134 135 136 138 140 143 144 146 149 154 157 158 162 164 165 171 172 173 176 177 178 180 185 187 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 245 250 252 256 263 267 268 269 271 277 281 282 284 287 288 291 294 295 298 306 311 315 317 318 320 324 328 329 331 332 333 336 340 346 350 351 354 364 365 367 372 375 376 379 380 381 383 385 386 388 390 391 392 394 398 401 402 404 407 409 411 416 420 426 428 433 445 446 447 448 462 467 469 471 472 473 481 494 496 501 502 505 507 516
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 73 74 75 78 80 89 90 91 93 101 103 110 112 113 115 117 119 123 124 126 129 134 135 136 138 140 143 144 146 149 154 157 158 162 164 165 171 172 173 176 177 178 180 185 187 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 245 250 252 256 263 267 268 269 271 277 281 282 284 287 288 291 294 295 298 306 311 317 318 320 324 328 329 331 332 333 336 340 346 350 351 354 364 365 367 372 375 376 379 380 381 383 385 386 388 390 391 392 394 395 398 401 402 404 407 409 411 416 420 426 428 433 445 446 447 448 462 467 469 471 472 473 481 494 496 501 502 505 507 516
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 73 74 75 78 80 89 90 91 93 101 102 103 110 112 113 115 117 119 123 124 126 129 134 135 136 138 140 143 144 146 149 154 157 158 162 164 165 171 172 173 176 177 178 180 185 187 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 245 250 252 256 263 267 268 269 271 277 281 282 284 287 288 291 294 295 306 311 317 318 320 324 328 329 331 332 333 336 340 346 350 351 354 364 365 367 372 375 376 379 380 381 383 385 386 388 390 391 392 394 395 398 401 402 404 407 409 411 416 420 426 428 433 445 446 447 448 462 467 469 471 472 473 481 494 496 501 502 505 507 516
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 73 74 75 78 80 89 90 91 93 101 102 103 107 110 112 113 115 117 119 123 124 126 129 134 135 136 138 140 143 144 146 149 154 157 158 162 164 165 171 172 173 176 177 178 180 185 187 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 245 250 252 256 263 267 268 269 271 277 281 282 284 287 288 291 294 295 306 311 317 318 320 324 328 329 331 332 333 336 340 346 350 351 354 364 365 367 372 375 376 379 380 381 383 385 386 388 390 391 392 394 395 398 401 402 404 407 409 411 416 420 426 428 433 445 446 448 462 467 469 471 472 473 481 494 496 501 502 505 507 516
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 73 74 75 78 80 89 90 91 93 101 102 103 107 110 112 113 115 117 119 123 124 126 129 134 135 136 138 140 142 143 144 146 149 154 157 158 162 164 165 171 172 173 176 177 178 180 185 187 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 245 250 252 256 263 267 268 269 271 277 281 282 284 287 288 291 294 295 306 311 317 318 320 324 328 329 331 332 333 336 340 346 350 351 354 364 365 367 372 375 376 379 380 381 383 385 386 388 390 391 392 394 395 398 401 402 404 407 409 411 416 420 426 428 433 445 446 448 462 467 469 471 472 473 481 494 496 501 505 507 516
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 73 74 75 78 80 88 89 90 91 93 101 102 103 107 110 112 113 115 117 119 123 124 126 129 134 135 136 138 140 142 143 144 146 149 154 157 158 162 164 165 171 172 173 176 177 178 180 185 187 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 245 250 252 256 263 267 268 269 271 277 281 282 284 287 288 291 294 295 306 311 317 318 320 324 328 329 331 332 333 336 340 346 350 351 354 364 365 367 372 375 376 379 380 381 383 385 386 388 390 391 392 394 395 398 401 402 404 407 409 411 416 420 426 428 433 445 446 448 462 467 469 471 472 473 481 494 496 505 507 516
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 73 74 75 78 80 88 89 90 91 93 101 102 103 107 110 112 113 115 117 119 123 124 126 129 134 135 136 138 140 142 143 144 146 149 154 157 158 162 164 165 171 172 173 176 177 178 180 185 187 190 195 196 199 211 212 217 223 225 226 227 229 231 232 240 244 245 250 252 256 263 267 268 269 271 277 281 282 284 287 288 291 294 295 306 311 317 318 320 324 328 329 331 332 333 336 340 346 350 351 354 364 365 367 372 375 376 379 380 381 383 385 386 388 390 391 392 394 395 398 401 402 404 407 409 411 416 420 426 428 432 445 446 448 462 467 469 471 472 473 481 494 496 505 507 516
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 73 74 75 78 80 88 89 90 91 93 101 102 103 107 110 112 113 115 117 119 123 124 126 129 134 135 136 138 140 142 143 144 146 149 154 157 158 162 164 165 171 172 173 176 177 178 180 185 187 190 195 196 199 211 212 214 217 223 225 226 227 229 231 232 240 244 245 250 252 256 263 267 268 269 271 277 281 282 284 287 288 291 294 295 306 311 317 318 320 324 328 329 331 332 333 336 340 346 350 351 354 364 365 367 372 375 376 379 381 383 385 386 388 390 391 392 394 395 398 401 402 404 407 409 411 416 420 426 428 432 445 446 448 462 467 469 471 472 473 481 494 496 505 507 516
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 72 73 74 75 78 80 88 89 90 91 93 101 102 103 107 110 112 113 115 117 119 123 124 126 129 134 135 136 138 140 142 143 144 146 149 154 157 158 162 164 165 171 173 176 177 178 180 185 187 190 195 196 199 211 212 214 217 223 225 226 227 229 231 232 240 244 245 250 252 256 263 267 268 269 271 277 281 282 284 287 288 291 294 295 306 311 317 318 320 324 328 329 331 332 333 336 340 346 350 351 354 364 365 367 372 375 376 379 381 383 385 386 388 390 391 392 394 395 398 401 402 404 407 409 411 416 420 426 428 432 445 446 448 462 467 469 471 472 473 481 494 496 505 507 516
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 72 73 74 75 78 80 88 89 90 91 93 101 102 103 107 110 112 113 115 117 119 123 124 126 129 134 135 136 138 140 142 143 144 146 149 154 157 158 162 164 165 171 173 176 177 178 180 185 187 190 195 196 199 211 212 214 217 223 225 226 227 229 231 232 240 244 245 250 252 256 263 267 268 269 271 277 281 282 284 287 288 291 294 295 306 311 317 318 320 324 328 329 331 332 333 336 340 346 350 351 354 364 365 367 372 375 376 379 381 383 385 386 388 390 391 392 394 395 398 401 402 404 407 409 411 416 426 428 432 445 446 448 462 467 469 471 472 473 481 494 496 500 505 507 516
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 72 73 74 75 78 80 88 89 90 91 93 101 102 103 107 110 112 113 115 117 119 123 124 126 129 134 135 136 138 140 142 143 144 146 149 154 157 158 162 164 165 171 173 176 177 178 180 185 187 190 195 196 199 211 212 214 217 223 225 226 227 229 231 232 240 244 245 250 252 256 263 267 268 269 271 277 281 282 284 287 288 291 294 295 306 308 311 317 318 320 324 328 329 331 332 333 336 340 346 350 351 354 364 365 367 372 375 376 379 381 383 385 386 388 390 391 394 395 398 401 402 404 407 409 411 416 426 428 432 445 446 448 462 467 469 471 472 473 481 494 496 500 505 507 516
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 72 73 74 75 78 80 88 89 90 91 93 101 102 103 107 110 112 113 115 117 119 123 124 126 129 134 135 136 138 140 142 143 144 146 149 154 157 158 164 165 171 173 176 177 178 180 185 187 190 195 196 199 211 212 214 217 223 225 226 227 229 231 232 240 244 245 250 252 256 263 267 268 269 271 277 281 282 284 287 288 291 294 295 306 308 311 317 318 320 324 328 329 331 332 333 336 340 346 350 351 354 364 365 367 372 375 376 379 381 383 385 386 388 390 391 393 394 395 398 401 402 404 407 409 411 416 426 428 432 445 446 448 462 467 469 471 472 473 481 494 496 500 505 507 516
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 72 73 74 75 78 80 88 89 90 91 93 101 102 103 107 110 112 113 115 117 119 123 124 126 129 134 135 136 138 140 142 143 144 146 149 154 157 158 164 165 171 173 176 177 178 180 185 187 195 196 199 211 212 214 217 223 225 226 227 229 231 232 240 244 245 250 252 256 263 267 268 269 271 277 281 282 284 287 288 291 294 295 306 308 311 317 318 320 324 328 329 331 332 333 336 340 346 350 351 354 364 365 367 372 375 376 379 381 383 385 386 388 390 391 393 394 395 398 401 402 404 407 409 411 416 426 428 432 445 446 448 462 467 469 471 472 473 481 486 494 496 500 505 507 516
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 72 73 74 75 78 80 88 89 90 91 93 101 102 103 107 110 112 113 115 117 118 119 123 124 126 129 134 135 136 138 140 142 143 144 146 149 154 157 158 164 165 171 173 176 177 178 180 185 187 195 196 199 211 212 214 217 223 225 226 227 229 231 232 240 244 245 250 252 256 263 267 268 269 271 277 281 282 284 287 288 291 294 295 306 308 311 317 318 320 324 328 329 331 332 333 336 340 346 350 351 354 364 365 367 372 375 376 379 381 383 385 386 388 390 391 393 394 395 398 401 402 404 407 409 411 416 426 428 432 445 446 448 462 467 469 471 472 473 481 486 496 500 505 507 516
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 72 73 74 75 78 80 85 88 89 90 91 93 101 102 103 107 110 112 113 115 117 118 119 123 124 126 129 134 135 136 138 140 142 143 144 146 149 154 157 158 164 165 171 173 176 177 178 180 185 187 195 196 199 211 212 214 217 223 225 226 227 229 231 232 240 244 245 250 252 256 263 267 269 271 277 281 282 284 287 288 291 294 295 306 308 311 317 318 320 324 328 329 331 332 333 336 340 346 350 351 354 364 365 367 372 375 376 379 381 383 385 386 388 390 391 393 394 395 398 401 402 404 407 409 411 416 426 428 432 445 446 448 462 467 469 471 472 473 481 486 496 500 505 507 516
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 72 73 74 75 78 80 85 88 89 90 91 93 101 102 103 107 110 112 113 115 117 118 119 123 124 126 129 134 135 136 138 140 142 143 144 146 149 154 157 158 164 165 171 173 176 177 178 180 187 195 196 199 211 212 214 217 223 225 226 227 229 231 232 240 244 245 250 252 256 263 267 269 271 277 281 282 284 287 288 291 294 295 306 308 311 317 318 320 324 328 329 331 332 333 336 340 346 350 351 354 362 364 365 367 372 375 376 379 381 383 385 386 388 390 391 393 394 395 398 401 402 404 407 409 411 416 426 428 432 445 446 448 462 467 469 471 472 473 481 486 496 500 505 507 516
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 72 73 74 75 78 80 85 88 89 90 91 93 101 102 103 107 110 112 113 115 117 118 119 121 123 124 126 129 134 135 136 138 140 142 143 144 146 149 154 157 158 164 165 171 173 176 177 178 180 187 195 196 199 211 212 214 217 223 225 226 227 229 231 232 240 244 245 250 252 256 263 267 269 271 277 281 282 284 287 288 291 294 295 306 308 311 317 318 320 324 328 329 331 332 333 336 340 346 350 354 362 364 365 367 372 375 376 379 381 383 385 386 388 390 391 393 394 395 398 401 402 404 407 409 411 416 426 428 432 445 446 448 462 467 469 471 472 473 481 486 496 500 505 507 516
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 72 73 74 75 78 80 85 88 89 90 91 93 101 102 103 107 110 112 113 115 117 118 119 121 123 124 126 129 134 135 136 138 140 142 143 144 146 149 154 157 158 164 165 171 173 176 177 178 180 187 195 196 199 211 212 214 217 223 225 226 227 229 231 232 240 244 245 250 252 256 263 267 269 271 277 281 282 284 288 291 294 295 306 308 311 317 318 320 324 328 329 331 332 333 336 340 346 350 354 362 364 365 367 370 372 375 376 379 381 383 385 386 388 390 391 393 394 395 398 401 402 404 407 409 411 416 426 428 432 445 446 448 462 467 469 471 472 473 481 486 496 500 505 507 516
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 72 73 74 75 78 80 85 88 89 90 91 93 101 102 103 107 110 112 113 115 117 118 119 121 123 124 126 129 134 135 136 138 140 142 143 144 146 149 154 157 158 164 165 171 173 176 177 178 180 187 195 196 199 211 212 214 217 223 225 226 227 229 231 232 240 244 245 250 252 256 263 269 271 277 281 282 284 288 291 294 295 306 308 311 317 318 320 324 328 329 331 332 333 336 340 346 350 354 362 364 365 367 370 372 375 376 379 381 383 385 386 388 390 391 393 394 395 398 401 402 404 407 409 411 416 426 428 432 445 446 448 462 467 469 471 472 473 481 486 496 500 505 507 509 516
a 1 4 6 15 17 21 22 25 28 30 31 36 44 45 46 50 60 65 67 72 73 74 75 78 80 85 88 89 90 91 93 101 102 103 107 110 112 113 115 117 118 119 121 123 124 126 129 134 135 136 138 140 142 143 144 146 154 157 158 164 165 171 173 176 177 178 180 187 195 196 199 211 212 214 217 223 225 226 227 229 231 232 240 244 245 250 252 256 263 269 271 277 281 282 284 288 291 294 295 306 308 311 317 318 320 324 328 329 331 332 333 335 336 340 346 350 354 362 364 365 367 370 372 375 376 379 381 383 385 386 388 390 391 393 394 395 398 401 402 404 407 409 411 416 426 428 432 445 446 448 462 467 469 471 472 473 481 486 496 500 505 507 509 516
a 1 4 6 15 17 22 25 27 28 30 31 36 44 45 46 50 60 65 67 72 73 74 75 78 80 85 88 89 90 91 93 101 102 103 107 110 112 113 115 117 118 119 121 123 124 126 129 134 135 136 138 140 142 143 144 146 154 157 158 164 165 171 173 176 177 178 180 187 195 196 199 211 212 214 217 223 225 226 227 229 231 232 240 244 245 250 252 256 263 269 271 277 281 282 284 288 291 294 295 306 308 311 317 318 320 324 328 329 331 332 333 335 336 340 346 350 354 362 364 365 367 370 372 375 376 379 381 383 385 386 388 390 391 393 394 395 398 401 402 404 407 409 411 416 426 428 432 445 446 448 462 467 469 471 472 473 481 486 496 500 505 507 509 516
a 1 4 6 15 17 22 25 27 28 30 31 36 45 46 50 60 65 67 72 73 74 75 78 80 85 88 89 90 91 93 101 102 103 107 110 112 113 115 117 118 119 121 123 124 126 129 134 135 136 138 140 142 143 144 146 154 157 158 164 165 171 173 176 177 178 180 187 195 196 199 211 212 214 217 223 225 226 227 229 231 232 240 244 245 250 252 256 263 269 271 277 281 282 284 288 291 294 295 302 306 308 311 317 318 320 324 328 329 331 332 333 335 336 340 346 350 354 362 364 365 367 370 372 375 376 379 381 383 385 386 388 390 391 393 394 395 398 401 402 404 407 409 411 416 426 428 432 445 446 448 462 467 469 471 472 473 481 486 496 500 505 507 509 516
a 1 4 6 13 15 17 22 25 27 28 30 31 36 45 46 50 60 65 67 72 73 74 75 78 80 85 88 89 90 91 93 101 102 103 107 110 112 113 115 117 118 119 121 123 124 126 129 134 135 136 138 140 142 143 144 146 154 157 158 164 165 171 173 176 177 178 180 187 195 196 199 211 212 214 217 223 225 226 227 229 231 232 240 244 245 250 252 256 263 269 271 277 282 284 288 291 294 295 302 306 308 311 317 318 320 324 328 329 331 332 333 335 336 340 346 350 354 362 364 365 367 370 372 375 376 379 381 383 385 386 388 390 391 393 394 395 398 401 402 404 407 409 411 416 426 428 432 445 446 448 462 467 469 471 472 473 481 486 496 500 505 507 509 516
a 4 6 13 15 17 22 25 27 28 30 31 36 45 46 50 60 65 67 72 73 74 75 78 80 85 88 89 90 91 93 101 102 103 107 110 112 113 115 117 118 119 121 123 124 126 129 134 135 136 138 140 142 143 144 146 154 157 158 164 165 171 173 176 177 178 180 187 195 196 199 211 212 214 217 223 225 226 227 229 231 232 240 244 245 250 252 256 263 269 271 274 277 282 284 288 291 294 295 302 306 308 311 317 318 320 324 328 329 331 332 333 335 336 340 346 350 354 362 364 365 367 370 372 375 376 379 381 383 385 386 388 390 391 393 394 395 398 401 402 404 407 409 411 416 426 428 432 445 446 448 462 467 469 471 472 473 481 486 496 500 505 507 509 516
a 4 6 13 15 17 22 25 27 28 30 31 36 45 46 50 60 65 67 72 73 74 75 78 80 85 88 89 90 91 93 101 102 103 107 110 112 113 115 117 118 119 121 123 124 126 129 134 135 136 138 140 142 143 144 146 154 157 158 164 165 171 173 176 177 178 180 187 195 196 199 211 212 214 217 223 225 226 227 229 231 232 240 244 245 250 252 256 263 269 271 274 277 282 284 288 291 294 295 302 306 308 311 317 318 320 324 328 329 331 332 333 335 336 340 346 350 354 362 364 365 367 370 372 375 376 379 381 383 385 386 388 390 391 393 394 395 398 401 404 407 409 411 416 426 428 432 445 446 448 462 467 469 471 472 473 474 481 486 496 500 505 507 509 516
a 4 6 13 15 17 22 25 27 28 30 31 36 45 46 50 60 65 67 72 73 74 75 78 80 85 88 89 90 91 93 101 102 103 107 110 112 113 115 117 118 119 121 123 124 126 129 134 135 136 138 140 142 143 144 146 154 157 158 164 165 171 173 176 177 178 180 187 195 196 199 211 214 217 223 225 226 227 229 231 232 240 244 245 250 252 256 263 269 271 274 277 282 284 288 291 294 295 302 306 308 309 311 317 318 320 324 328 329 331 332 333 335 336 340 346 350 354 362 364 365 367 370 372 375 376 379 381 383 385 386 388 390 391 393 394 395 398 401 404 407 409 411 416 426 428 432 445 446 448 462 467 469 471 472 473 474 481 486 496 500 505 507 509 516
a 4 6 13 15 17 22 25 27 28 30 31 36 45 46 50 60 65 67 72 74 75 78 80 85 88 89 90 91 93 101 102 103 107 110 112 113 115 117 118 119 121 123 124 126 129 134 135 136 138 140 142 143 144 146 154 157 158 164 165 171 173 176 177 178 180 187 195 196 199 211 214 217 223 225 226 227 229 231 232 240 244 245 250 252 256 263 269 271 274 277 282 284 288 291 292 294 295 302 306 308 309 311 317 318 320 324 328 329 331 332 333 335 336 340 346 350 354 362 364 365 367 370 372 375 376 379 381 383 385 386 388 390 391 393 394 395 398 401 404 407 409 411 416 426 428 432 445 446 448 462 467 469 471 472 473 474 481 486 496 500 505 507 509 516
a 4 6 13 15 17 22 25 27 28 30 31 36 45 46 50 60 65 67 72 74 75 78 80 85 88 89 90 91 93 101 102 103 107 110 112 113 115 117 118 119 121 123 124 126 129 134 135 136 138 140 142 143 144 146 154 157 158 164 165 171 173 176 177 178 180 187 195 196 199 211 214 217 223 225 226 227 229 231 232 237 240 244 245 250 252 256 263 269 271 274 277 282 284 291 292 294 295 302 306 308 309 311 317 318 320 324 328 329 331 332 333 335 336 340 346 350 354 362 364 365 367 370 372 375 376 379 381 383 385 386 388 390 391 393 394 395 398 401 404 407 409 411 416 426 428 432 445 446 448 462 467 469 471 472 473 474 481 486 496 500 505 507 509 516
a 4 6 13 15 17 22 25 27 28 30 31 36 45 46 50 60 65 67 72 74 75 78 80 85 88 89 90 91 93 101 102 103 107 110 112 113 115 117 118 119 121 123 124 126 129 134 135 136 138 140 142 143 144 146 154 157 158 164 165 171 173 176 177 178 180 187 195 196 199 211 214 217 223 225 226 227 229 231 232 237 240 244 245 250 252 256 269 271 274 277 282 284 290 291 292 294 295 302 306 308 309 311 317 318 320 324 328 329 331 332 333 335 336 340 346 350 354 362 364 365 367 370 372 375 376 379 381 383 385 386 388 390 391 393 394 395 398 401 404 407 409 411 416 426 428 432 445 446 448 462 467 469 471 472 473 474 481 486 496 500 505 507 509 516
a 4 6 13 15 17 22 25 27 28 30 31 36 45 46 50 60 65 67 72 74 75 78 80 85 88 89 90 91 93 101 102 103 107 110 112 113 115 117 118 119 121 123 124 126 129 134 135 136 138 140 142 143 144 146 154 157 158 164 165 171 173 176 177 178 180 187 194 195 196 199 211 214 217 223 225 226 227 229 231 232 237 240 244 245 250 252 256 269 271 274 277 282 284 290 292 294 295 302 306 308 309 311 317 318 320 324 328 329 331 332 333 335 336 340 346 350 354 362 364 365 367 370 372 375 376 379 381 383 385 386 388 390 391 393 394 395 398 401 404 407 409 411 416 426 428 432 445 446 448 462 467 469 471 472 473 474 481 486 496 500 505 507 509 516
a 4 6 13 15 17 22 25 27 28 30 31 36 45 46 50 60 65 67 72 74 75 78 80 85 88 89 90 91 93 101 102 103 107 110 112 113 115 117 118 119 121 123 124 126 129 134 135 136 138 140 142 143 144 146 154 157 158 164 165 171 173 176 177 178 180 187 194 195 196 199 211 214 217 223 225 226 227 229 231 232 237 240 244 245 250 252 256 269 271 274 277 282 284 290 292 294 295 302 306 308 309 311 317 318 320 324 328 331 332 333 335 336 340 346 350 354 357 362 364 365 367 370 372 375 376 379 381 383 385 386 388 390 391 393 394 395 398 401 404 407 409 411 416 426 428 432 445 446 448 462 467 469 471 472 473 474 481 486 496 500 505 507 509 516
a 4 6 13 15 17 22 25 27 28 30 31 36 45 46 50 60 65 66 67 72 74 75 78 80 85 88 89 90 91 93 101 102 103 107 110 112 113 115 117 118 119 121 123 124 126 129 134 135 136 138 140 142 143 144 146 154 157 158 164 165 171 173 176 177 178 180 187 194 195 196 199 211 214 217 225 226 227 229 231 232 237 240 244 245 250 252 256 269 271 274 277 282 284 290 292 294 295 302 306 308 309 311 317 318 320 324 328 331 332 333 335 336 340 346 350 354 357 362 364 365 367 370 372 375 376 379 381 383 385 386 388 390 391 393 394 395 398 401 404 407 409 411 416 426 428 432 445 446 448 462 467 469 471 472 473 474 481 486 496 500 505 507 509 516
a 4 6 13 15 17 22 25 27 28 30 31 36 45 46 50 60 65 66 67 72 74 75 78 80 85 88 89 90 91 93 101 102 103 107 110 112 113 115 117 118 119 121 123 124 126 129 134 135 136 138 140 142 143 144 146 154 157 158 165 171 173 176 177 178 180 187 194 195 196 199 211 214 217 225 226 227 229 231 232 237 238 240 244 245 250 252 256 269 271 274 277 282 284 290 292 294 295 302 306 308 309 311 317 318 320 324 328 331 332 333 335 336 340 346 350 354 357 362 364 365 367 370 372 375 376 379 381 383 385 386 388 390 391 393 394 395 398 401 404 407 409 411 416 426 428 432 445 446 448 462 467 469 471 472 473 474 481 486 496 500 505 507 509 516
a 4 6 13 15 17 22 25 27 28 30 31 36 45 46 50 60 65 66 67 72 74 75 78 80 85 88 89 90 91 93 101 102 103 107 110 113 115 117 118 119 121 123 124 126 129 134 135 136 138 140 142 143 144 146 154 157 158 165 171 173 176 177 178 180 187 194 195 196 199 211 214 217 225 226 227 229 231 232 236 237 238 240 244 245 250 252 256 269 271 274 277 282 284 290 292 294 295 302 306 308 309 311 317 318 320 324 328 331 332 333 335 336 340 346 350 354 357 362 364 365 367 370 372 375 376 379 381 383 385 386 388 390 391 393 394 395 398 401 404 407 409 411 416 426 428 432 445 446 448 462 467 469 471 472 473 474 481 486 496 500 505 507 509 516
a 4 6 13 15 17 22 25 27 28 30 31 36 45 46 50 60 65 66 67 72 75 78 80 85 88 89 90 91 93 101 102 103 107 110 113 115 117 118 119 121 123 124 126 129 134 135 136 138 140 142 143 144 146 154 157 158 165 171 173 176 177 178 180 187 194 195 196 199 211 214 217 225 226 227 229 231 232 236 237 238 240 244 245 250 252 256 269 271 274 277 282 284 290 292 294 295 302 306 308 309 311 317 318 320 324 328 331 332 333 335 336 340 346 350 354 357 362 364 365 367 370 372 375 376 379 381 383 385 386 388 390 391 393 394 395 398 401 404 407 409 411 416 426 428 432 445 446 448 458 462 467 469 471 472 473 474 481 486 496 500 505 507 509 516
a 4 6 13 15 17 22 25 27 28 30 31 36 45 46 50 60 65 66 67 72 75 78 80 85 88 89 90 91 93 101 102 103 107 110 113 115 117 118 119 121 123 124 126 129 134 135 136 138 140 142 143 144 146 154 157 158 165 171 173 176 177 178 180 187 191 194 195 196 199 211 214 217 225 226 227 229 231 232 236 237 238 240 244 245 250 252 256 269 271 274 277 282 284 290 292 294 295 302 306 308 309 311 317 318 320 324 328 331 332 333 335 336 340 346 350 354 357 362 364 365 367 370 372 376 379 381 383 385 386 388 390 391 393 394 395 398 401 404 407 409 411 416 426 428 432 445 446 448 458 462 467 469 471 472 473 474 481 486 496 500 505 507 509 516
a 4 6 13 15 17 22 25 27 28 30 31 36 45 46 50 60 65 66 67 72 75 78 80 85 88 89 90 91 93 101 102 103 107 110 113 115 117 118 119 121 123 124 126 129 134 136 138 140 142 143 144 146 154 157 158 165 171 173 176 177 178 180 187 191 194 195 196 199 211 214 217 225 226 227 229 231 232 236 237 238 240 244 245 250 252 256 269 271 274 277 282 284 290 292 294 295 302 306 308 309 311 317 318 320 324 328 331 332 333 335 336 340 346 350 354 357 362 364 365 367 370 372 376 379 381 383 385 386 388 390 391 393 394 395 398 401 404 407 409 411 415 416 426 428 432 445 446 448 458 462 467 469 471 472 473 474 481 486 496 500 505 507 509 516
a 4 6 13 15 17 22 25 27 28 30 31 36 45 46 50 60 65 66 67 72 75 78 80 85 88 89 90 91 93 101 102 103 107 110 113 115 117 118 119 121 123 124 126 129 134 136 138 140 142 143 144 146 157 158 165 171 173 176 177 178 180 187 191 194 195 196 199 201 211 214 217 225 226 227 229 231 232 236 237 238 240 244 245 250 252 256 269 271 274 277 282 284 290 292 294 295 302 306 308 309 311 317 318 320 324 328 331 332 333 335 336 340 346 350 354 357 362 364 365 367 370 372 376 379 381 383 385 386 388 390 391 393 394 395 398 401 404 407 409 411 415 416 426 428 432 445 446 448 458 462 467 469 471 472 473 474 481 486 496 500 505 507 509 516
a 4 6 13 15 17 22 25 27 28 30 31 36 45 46 50 60 65 66 67 72 75 78 80 85 88 89 90 91 93 101 102 103 107 110 113 115 117 118 119 121 123 124 126 129 134 136 138 140 142 143 144 146 157 158 165 171 173 176 177 178 180 187 191 194 195 196 197 199 201 211 214 217 225 226 227 229 231 232 236 237 238 240 244 245 250 252 256 269 271 274 277 282 284 290 292 294 295 302 306 308 309 317 318 320 324 328 331 332 333 335 336 340 346 350 354 357 362 364 365 367 370 372 376 379 381 383 385 386 388 390 391 393 394 395 398 401 404 407 409 411 415 416 426 428 432 445 446 448 458 462 467 469 471 472 473 474 481 486 496 500 505 507 509 516
a 6 12 13 15 17 22 25 27 28 30 31 36 45 46 50 60 65 66 67 72 75 78 80 85 88 89 90 91 93 101 102 103 107 110 113 115 117 118 119 121 123 124 126 129 134 136 138 140 142 143 144 146 157 158 165 171 173 176 177 178 180 187 191 194 195 196 197 199 201 211 214 217 225 226 227 229 231 232 236 237 238 240 244 245 250 252 256 269 271 274 277 282 284 290 292 294 295 302 306 308 309 317 318 320 324 328 331 332 333 335 336 340 346 350 354 357 362 364 365 367 370 372 376 379 381 383 385 386 388 390 391 393 394 395 398 401 404 407 409 411 415 416 426 428 432 445 446 448 458 462 467 469 471 472 473 474 481 486 496 500 505 507 509 516
a 6 12 13 15 17 22 25 27 28 30 31 36 45 46 50 60 65 66 67 72 75 78 80 85 88 89 90 91 93 101 102 103 107 110 113 115 117 118 119 121 123 124 126 129 134 136 138 140 142 143 144 146 157 158 165 171 173 176 177 178 180 187 191 194 195 196 197 199 201 211 214 217 225 226 227 229 231 232 236 237 238 240 244 245 250 252 256 269 271 274 277 282 284 290 292 294 295 302 306 308 309 317 318 320 324 328 331 332 333 335 336 340 346 350 353 354 357 362 364 365 367 370 372 376 379 381 383 385 386 388 390 391 393 394 395 398 401 404 407 411 415 416 426 428 432 445 446 448 458 462 467 469 471 472 473 474 481 486 496 500 505 507 509 516
a 6 12 13 15 17 19 22 25 27 28 30 31 36 45 46 50 60 65 66 67 72 75 78 80 85 88 89 90 91 93 101 102 103 107 110 113 115 117 118 119 121 123 124 126 129 134 136 138 140 142 143 144 146 157 158 165 171 173 176 177 178 180 187 191 194 195 196 197 199 201 211 214 217 225 226 227 229 231 232 236 237 238 240 244 245 250 252 256 269 271 274 277 282 284 290 292 294 295 302 306 308 309 317 318 320 324 328 331 332 333 335 336 346 350 353 354 357 362 364 365 367 370 372 376 379 381 383 385 386 388 390 391 393 394 395 398 401 404 407 411 415 416 426 428 432 445 446 448 458 462 467 469 471 472 473 474 481 486 496 500 505 507 509 516
a 6 12 13 15 17 19 22 25 27 28 30 31 36 45 46 50 60 65 66 67 72 75 78 80 85 88 89 90 91 93 101 102 103 107 110 115 117 118 119 121 123 124 126 129 134 136 138 140 142 143 144 146 157 158 165 171 173 176 177 178 180 187 191 194 195 196 197 199 201 211 214 217 225 226 227 229 231 232 236 237 238 240 244 245 250 252 256 269 271 274 277 282 284 290 292 294 295 302 306 308 309 317 318 320 324 328 331 332 333 335 336 346 350 353 354 357 362 364 365 367 370 372 376 379 381 383 385 386 388 390 391 393 394 395 398 401 404 407 411 415 416 426 428 432 445 446 448 458 462 467 469 471 472 473 474 481 486 496 500 505 507 509 514 516
a 6 12 13 15 17 19 22 25 27 28 30 31 36 45 46 50 60 65 66 67 72 75 78 80 85 88 89 90 91 93 96 101 102 103 107 110 115 117 118 119 121 123 124 126 129 134 136 138 140 142 143 144 146 157 158 165 171 173 176 177 178 180 187 191 194 195 196 197 199 201 211 214 217 225 226 227 229 231 232 236 237 238 240 244 245 250 252 256 269 271 274 277 282 284 290 292 294 295 302 306 308 309 317 318 320 324 328 331 332 333 335 336 346 350 353 357 362 364 365 367 370 372 376 379 381 383 385 386 388 390 391 393 394 395 398 401 404 407 411 415 416 426 428 432 445 446 448 458 462 467 469 471 472 473 474 481 486 496 500 505 507 509 514 516
a 6 12 13 15 17 19 22 25 27 28 30 31 36 45 46 50 60 65 66 67 72 75 78 80 85 88 89 90 91 96 101 102 103 107 110 115 117 118 119 121 123 124 126 129 134 136 138 140 142 143 144 146 157 158 165 171 173 176 177 178 180 187 191 194 195 196 197 199 201 211 214 217 225 226 227 229 231 232 236 237 238 240 244 245 250 252 256 269 271 274 277 282 284 290 292 294 295 302 306 308 309 317 318 320 324 328 331 332 333 335 336 346 350 353 357 362 364 365 367 370 372 376 379 381 383 385 386 388 390 391 393 394 395 398 400 401 404 407 411 415 416 426 428 432 445 446 448 458 462 467 469 471 472 473 474 481 486 496 500 505 507 509 514 516
a 6 12 13 15 17 19 22 25 27 28 30 31 36 45 46 50 60 65 66 67 72 75 78 80 85 88 89 90 91 96 101 102 103 107 110 115 117 118 119 121 123 124 126 129 134 136 138 140 142 143 144 146 157 158 165 171 173 176 177 178 180 187 191 194 195 196 197 199 201 211 214 217 225 226 227 229 231 232 236 237 238 240 244 245 250 252 256 269 271 274 275 277 282 284 290 292 295 302 306 308 309 317 318 320 324 328 331 332 333 335 336 346 350 353 357 362 364 365 367 370 372 376 379 381 383 385 386 388 390 391 393 394 395 398 400 401 404 407 411 415 416 426 428 432 445 446 448 458 462 467 469 471 472 473 474 481 486 496 500 505 507 509 514 516
a 6 12 13 15 17 19 22 25 27 28 30 31 36 45 46 50 60 65 66 67 72 75 78 80 85 88 89 90 91 96 101 102 103 107 110 117 118 119 121 123 124 126 129 134 136 138 140 142 143 144 146 157 158 165 171 173 176 177 178 180 187 191 194 195 196 197 199 201 205 211 214 217 225 226 227 229 231 232 236 237 238 240 244 245 250 252 256 269 271 274 275 277 282 284 290 292 295 302 306 308 309 317 318 320 324 328 331 332 333 335 336 346 350 353 357 362 364 365 367 370 372 376 379 381 383 385 386 388 390 391 393 394 395 398 400 401 404 407 411 415 416 426 428 432 445 446 448 458 462 467 469 471 472 473 474 481 486 496 500 505 507 509 514 516
a 6 12 13 15 17 19 22 25 27 28 30 31 36 45 46 50 60 65 66 67 72 75 78 80 85 88 89 90 91 96 100 101 102 103 107 110 117 118 119 121 123 124 126 129 134 136 138 140 142 143 144 146 157 158 165 171 173 176 177 178 180 187 191 194 195 196 197 199 201 205 211 214 217 225 226 227 229 231 232 236 237 238 240 244 245 250 252 256 269 271 274 275 277 284 290 292 295 302 306 308 309 317 318 320 324 328 331 332 333 335 336 346 350 353 357 362 364 365 367 370 372 376 379 381 383 385 386 388 390 391 393 394 395 398 400 401 404 407 411 415 416 426 428 432 445 446 448 458 462 467 469 471 472 473 474 481 486 496 500 505 507 509 514 516
a 6 12 13 15 17 19 22 25 27 28 30 31 36 45 46 50 60 65 66 67 72 75 78 80 85 88 89 90 91 96 100 101 102 103 107 110 117 118 119 121 123 124 126 129 134 136 138 140 142 143 144 146 157 158 165 171 173 176 177 178 180 187 191 194 195 196 197 199 201 204 205 211 214 217 225 226 227 229 231 232 236 237 238 240 244 245 250 252 256 269 271 274 275 277 284 290 292 295 302 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 370 372 376 379 381 383 385 386 388 390 391 393 394 395 398 400 401 404 407 411 415 416 426 428 432 445 446 448 458 462 467 469 471 472 473 474 481 486 496 500 505 507 509 514 516
a 6 12 13 15 17 19 22 25 27 28 30 31 36 45 46 50 60 65 66 67 68 72 75 78 80 85 88 89 90 91 96 100 101 102 103 107 110 117 118 119 121 123 124 126 129 134 136 138 140 142 143 144 146 157 158 165 171 173 176 177 178 180 187 191 194 195 196 197 199 201 204 205 211 214 217 225 226 227 229 231 232 236 237 238 240 244 245 250 252 256 269 271 274 275 277 284 290 292 302 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 370 372 376 379 381 383 385 386 388 390 391 393 394 395 398 400 401 404 407 411 415 416 426 428 432 445 446 448 458 462 467 469 471 472 473 474 481 486 496 500 505 507 509 514 516
a 6 12 13 15 17 19 22 25 27 28 30 31 36 45 46 50 60 65 66 67 68 72 75 78 80 85 88 89 90 91 96 100 101 102 103 107 110 117 118 119 121 123 124 126 129 134 136 138 142 143 144 146 157 158 165 171 173 176 177 178 180 187 191 194 195 196 197 199 201 204 205 211 214 217 225 226 227 229 231 232 236 237 238 240 244 245 250 252 256 269 271 274 275 277 284 290 292 302 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 370 371 372 376 379 381 383 385 386 388 390 391 393 394 395 398 400 401 404 407 411 415 416 426 428 432 445 446 448 458 462 467 469 471 472 473 474 481 486 496 500 505 507 509 514 516
a 6 12 13 15 19 22 25 27 28 30 31 36 45 46 50 60 65 66 67 68 72 75 78 80 85 88 89 90 91 96 100 101 102 103 107 110 117 118 119 121 123 124 126 129 134 136 138 142 143 144 146 157 158 165 171 173 176 177 178 180 187 191 194 195 196 197 199 201 204 205 211 214 217 225 226 227 229 231 232 236 237 238 240 244 245 250 252 256 269 271 274 275 277 284 290 292 302 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 370 371 372 376 379 381 383 385 386 388 390 391 393 394 395 398 400 401 404 407 411 415 416 426 428 432 445 446 448 458 462 467 469 470 471 472 473 474 481 486 496 500 505 507 509 514 516
a 6 12 13 15 19 22 25 27 28 30 31 36 45 46 50 60 65 66 67 68 72 75 78 80 85 88 89 90 91 96 100 101 102 103 107 110 117 118 119 121 123 124 126 129 134 136 138 142 143 144 146 157 158 165 171 173 176 177 178 180 187 191 194 195 196 197 201 204 205 211 214 217 225 226 227 229 231 232 236 237 238 240 244 245 250 252 256 269 271 274 275 277 284 290 292 302 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 370 371 372 376 379 381 383 385 386 388 390 391 393 394 395 398 400 401 404 407 411 415 416 426 428 432 445 446 448 458 462 467 468 469 470 471 472 473 474 481 486 496 500 505 507 509 514 516
a 6 12 13 15 19 22 27 28 30 31 36 45 46 50 60 65 66 67 68 72 75 78 80 85 88 89 90 91 96 100 101 102 103 107 110 117 118 119 121 123 124 126 129 134 136 138 142 143 144 146 157 158 165 171 173 176 177 178 180 186 187 191 194 195 196 197 201 204 205 211 214 217 225 226 227 229 231 232 236 237 238 240 244 245 250 252 256 269 271 274 275 277 284 290 292 302 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 370 371 372 376 379 381 383 385 386 388 390 391 393 394 395 398 400 401 404 407 411 415 416 426 428 432 445 446 448 458 462 467 468 469 470 471 472 473 474 481 486 496 500 505 507 509 514 516
a 6 12 13 15 19 22 27 28 30 31 36 45 46 50 53 60 65 66 67 68 72 75 78 80 85 88 89 90 91 96 100 101 102 103 107 110 117 118 119 121 123 124 126 129 134 136 138 142 143 144 146 157 158 165 171 173 176 177 178 180 186 187 191 194 195 197 201 204 205 211 214 217 225 226 227 229 231 232 236 237 238 240 244 245 250 252 256 269 271 274 275 277 284 290 292 302 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 370 371 372 376 379 381 383 385 386 388 390 391 393 394 395 398 400 401 404 407 411 415 416 426 428 432 445 446 448 458 462 467 468 469 470 471 472 473 474 481 486 496 500 505 507 509 514 516
a 6 12 13 15 19 27 28 30 31 36 45 46 50 53 60 65 66 67 68 72 75 78 80 85 88 89 90 91 96 100 101 102 103 107 110 117 118 119 121 123 124 126 129 134 136 138 142 143 144 146 157 158 165 171 173 176 177 178 180 186 187 191 194 195 197 201 204 205 211 214 217 225 226 227 229 231 232 236 237 238 240 244 245 250 252 256 269 271 274 275 277 284 290 292 302 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 368 370 371 372 376 379 381 383 385 386 388 390 391 393 394 395 398 400 401 404 407 411 415 416 426 428 432 445 446 448 458 462 467 468 469 470 471 472 473 474 481 486 496 500 505 507 509 514 516
a 6 12 13 15 19 27 28 30 31 36 45 46 50 53 60 65 66 67 68 72 75 78 80 85 88 89 90 91 96 100 101 102 103 107 110 117 118 119 121 123 124 126 129 134 136 138 142 143 144 146 157 158 165 171 173 177 178 180 186 187 191 194 195 197 201 204 205 210 211 214 217 225 226 227 229 231 232 236 237 238 240 244 245 250 252 256 269 271 274 275 277 284 290 292 302 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 368 370 371 372 376 379 381 383 385 386 388 390 391 393 394 395 398 400 401 404 407 411 415 416 426 428 432 445 446 448 458 462 467 468 469 470 471 472 473 474 481 486 496 500 505 507 509 514 516
a 6 12 13 15 19 27 28 30 31 36 45 46 50 53 60 65 66 67 68 72 75 78 80 85 88 89 90 91 96 100 101 102 103 107 110 117 118 119 121 123 124 126 129 134 136 138 142 143 144 146 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 205 210 211 214 217 225 226 227 229 231 232 236 237 238 240 244 245 250 252 256 269 274 275 277 284 290 292 302 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 368 370 371 372 376 379 381 383 385 386 388 390 391 393 394 395 398 400 401 404 407 411 415 416 426 428 432 445 446 448 458 462 467 468 469 470 471 472 473 474 481 486 496 500 505 507 509 514 516
a 6 12 13 15 19 27 28 30 31 36 45 46 50 53 60 65 66 67 68 72 75 78 80 85 88 89 90 91 96 100 101 102 103 107 110 117 118 119 121 123 124 129 134 136 138 142 143 144 146 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 205 210 211 214 217 225 226 227 229 231 232 236 237 238 240 244 245 250 252 256 269 274 275 277 284 290 292 302 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 368 370 371 372 376 379 381 383 385 386 388 390 391 393 394 395 398 400 401 404 407 411 415 416 426 428 432 445 446 448 458 462 467 468 469 470 471 472 473 474 481 486 488 496 500 505 507 509 514 516
a 6 12 13 15 19 27 28 30 31 36 45 46 50 53 60 65 66 67 68 72 75 78 80 85 88 89 90 91 96 100 101 102 103 107 110 117 118 119 121 123 124 129 134 136 138 142 143 146 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 205 210 211 214 216 217 225 226 227 229 231 232 236 237 238 240 244 245 250 252 256 269 274 275 277 284 290 292 302 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 368 370 371 372 376 379 381 383 385 386 388 390 391 393 394 395 398 400 401 404 407 411 415 416 426 428 432 445 446 448 458 462 467 468 469 470 471 472 473 474 481 486 488 496 500 505 507 509 514 516
a 6 12 13 15 19 27 28 30 31 36 45 46 50 53 60 65 66 67 68 72 75 78 80 85 88 89 90 91 96 100 101 102 103 107 110 117 118 119 121 123 124 129 134 138 142 143 146 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 205 210 211 214 216 217 225 226 227 229 231 232 236 237 238 240 244 245 250 252 256 269 274 275 277 284 290 292 302 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 368 370 371 372 376 379 381 383 385 386 388 390 391 393 394 395 398 400 401 404 407 411 415 416 426 428 432 445 446 448 458 462 467 468 469 470 471 472 473 474 481 486 488 496 500 505 507 509 514 515 516
a 6 12 13 15 19 27 28 30 31 36 45 46 53 60 65 66 67 68 72 75 78 80 81 85 88 89 90 91 96 100 101 102 103 107 110 117 118 119 121 123 124 129 134 138 142 143 146 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 205 210 211 214 216 217 225 226 227 229 231 232 236 237 238 240 244 245 250 252 256 269 274 275 277 284 290 292 302 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 368 370 371 372 376 379 381 383 385 386 388 390 391 393 394 395 398 400 401 404 407 411 415 416 426 428 432 445 446 448 458 462 467 468 469 470 471 472 473 474 481 486 488 496 500 505 507 509 514 515 516
a 6 12 13 15 19 27 28 30 31 36 41 45 46 53 60 65 66 67 68 72 75 78 80 81 85 88 89 90 91 96 100 101 102 103 107 110 117 118 119 121 123 124 129 138 142 143 146 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 205 210 211 214 216 217 225 226 227 229 231 232 236 237 238 240 244 245 250 252 256 269 274 275 277 284 290 292 302 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 368 370 371 372 376 379 381 383 385 386 388 390 391 393 394 395 398 400 401 404 407 411 415 416 426 428 432 445 446 448 458 462 467 468 469 470 471 472 473 474 481 486 488 496 500 505 507 509 514 515 516
a 6 12 13 15 19 27 28 30 31 36 41 45 46 53 60 65 66 67 68 72 75 78 80 81 85 88 89 90 91 96 100 101 102 103 107 110 117 118 119 121 123 124 129 138 142 143 146 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 205 210 211 214 216 217 218 225 226 227 229 231 232 236 237 238 240 244 245 250 252 256 269 274 275 277 284 290 292 302 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 368 370 371 372 376 379 381 383 385 388 390 391 393 394 395 398 400 401 404 407 411 415 416 426 428 432 445 446 448 458 462 467 468 469 470 471 472 473 474 481 486 488 496 500 505 507 509 514 515 516
a 6 12 13 15 19 27 28 30 36 41 45 46 53 60 65 66 67 68 72 75 78 80 81 85 88 89 90 91 96 100 101 102 103 107 110 117 118 119 121 123 124 129 138 142 143 146 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 205 210 211 214 216 217 218 225 226 227 229 231 232 236 237 238 240 244 245 250 252 256 269 274 275 277 284 290 292 293 302 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 368 370 371 372 376 379 381 383 385 388 390 391 393 394 395 398 400 401 404 407 411 415 416 426 428 432 445 446 448 458 462 467 468 469 470 471 472 473 474 481 486 488 496 500 505 507 509 514 515 516
a 6 12 13 15 19 27 30 36 41 45 46 53 60 65 66 67 68 72 75 78 80 81 85 88 89 90 91 96 100 101 102 103 107 110 117 118 119 121 122 123 124 129 138 142 143 146 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 205 210 211 214 216 217 218 225 226 227 229 231 232 236 237 238 240 244 245 250 252 256 269 274 275 277 284 290 292 293 302 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 368 370 371 372 376 379 381 383 385 388 390 391 393 394 395 398 400 401 404 407 411 415 416 426 428 432 445 446 448 458 462 467 468 469 470 471 472 473 474 481 486 488 496 500 505 507 509 514 515 516
a 6 12 13 15 19 27 30 36 41 45 46 53 60 65 66 67 68 72 75 78 80 81 85 88 89 90 91 96 100 101 102 103 107 110 117 118 119 121 122 123 124 129 138 142 143 146 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 205 210 211 214 216 217 218 225 226 227 229 231 232 236 237 238 240 244 245 250 252 256 269 274 275 277 284 290 292 293 302 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 368 370 371 372 376 379 381 383 385 388 390 391 393 394 395 398 400 401 404 407 411 415 416 426 428 432 445 448 458 462 467 468 469 470 471 472 473 474 481 482 486 488 496 500 505 507 509 514 515 516
a 6 12 13 15 19 27 30 36 41 45 46 53 60 65 66 67 68 72 75 78 80 81 85 88 89 90 91 96 100 101 102 103 107 110 117 118 119 121 122 123 124 129 138 142 143 146 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 205 210 211 214 216 217 218 225 226 227 229 231 232 236 237 238 240 244 245 250 252 256 269 274 275 277 284 290 292 293 302 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 368 370 371 372 376 379 381 383 385 388 390 391 393 395 397 398 400 401 404 407 411 415 416 426 428 432 445 448 458 462 467 468 469 470 471 472 473 474 481 482 486 488 496 500 505 507 509 514 515 516
a 6 12 13 15 19 27 30 36 41 45 46 53 60 65 66 67 68 72 75 78 80 81 85 88 89 90 91 96 100 101 102 103 107 110 117 118 119 121 122 123 124 129 138 142 143 146 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 205 210 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 245 250 252 256 269 274 275 277 284 290 292 293 302 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 368 370 371 372 376 379 383 385 388 390 391 393 395 397 398 400 401 404 407 411 415 416 426 428 432 445 448 458 462 467 468 469 470 471 472 473 474 481 482 486 488 496 500 505 507 509 514 515 516
a 6 12 13 15 19 27 30 36 41 45 46 53 60 65 66 67 68 72 75 78 80 81 85 88 89 90 91 96 100 101 102 103 107 110 117 118 119 121 122 123 124 129 138 142 143 146 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 205 210 211 214 216 217 218 225 226 227 229 231 232 233 236 237 238 240 244 245 250 252 256 269 274 275 277 284 290 292 293 302 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 368 370 371 372 376 379 383 385 388 390 391 393 395 397 398 400 401 404 407 411 415 416 426 428 432 445 448 458 462 467 468 469 470 471 472 473 474 478 481 482 486 488 500 505 507 509 514 515 516
a 6 8 12 13 15 19 27 30 36 41 45 46 53 60 65 66 67 68 72 75 78 80 81 85 88 89 90 91 96 100 101 102 103 107 110 117 118 119 121 122 123 124 129 138 142 143 146 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 205 210 211 214 216 217 218 225 226 227 231 232 233 236 237 238 240 244 245 250 252 256 269 274 275 277 284 290 292 293 302 306 308 309 317 318 320 324 328 331 333 335 336 346 350 353 357 362 364 365 367 368 370 371 372 376 379 383 385 388 390 391 393 395 397 398 400 401 404 407 411 415 416 426 428 432 445 448 458 462 467 468 469 470 471 472 473 474 478 481 482 486 488 500 505 507 509 514 515 516
a 6 8 12 13 15 19 27 30 36 41 45 46 53 60 65 66 67 68 72 75 78 80 81 85 88 89 90 91 96 100 101 102 103 107 110 117 118 119 121 122 123 124 129 138 142 143 146 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 205 210 211 214 216 217 218 225 226 227 231 232 233 236 237 238 240 244 245 250 252 256 269 274 275 277 284 290 292 293 302 306 308 309 318 320 324 328 331 333 335 336 346 348 350 353 357 362 364 365 367 368 370 371 372 376 379 383 385 388 390 391 393 395 397 398 400 401 404 407 411 415 416 426 428 432 445 448 458 462 467 468 469 470 471 472 473 474 478 481 482 486 488 500 505 507 509 514 515 516
a 6 8 12 13 15 19 27 30 36 41 45 46 53 60 64 65 66 67 68 72 75 78 80 81 85 88 89 90 91 96 100 101 102 107 110 117 118 119 121 122 123 124 129 138 142 143 146 157 158 165 171 173 177 178 179 180 186 187 191 194 195 197 201 204 205 210 211 214 216 217 218 225 226 227 231 232 233 236 237 238 240 244 245 250 252 256 269 274 275 277 284 290 292 293 302 306 308 309 318 320 324 328 331 333 335 336 346 348 350 353 357 362 364 365 367 368 370 371 372 376 379 383 385 388 390 391 393 395 397 398 400 401 404 407 411 415 416 426 428 432 445 448 458 462 467 468 469 470 471 472 473 474 478 481 482 486 488 500 505 507 509 514 515 516
c Step: 127
	Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance040_graph005.col /benchmark/random_instance/random_instance040_graph005_01.dat"
	User time (seconds): 587.81
	System time (seconds): 8.82
	Percent of CPU this job got: 158%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 6:16.91
	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): 25363732
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 8720454
	Voluntary context switches: 437269
	Involuntary context switches: 1490
	Swaps: 0
	File system inputs: 0
	File system outputs: 1056
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Tue Sep 26 02:09:08 2023]