#BEGIN: [Mon Sep  4 12:36:28 2023]
#HOST: s12
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-banbaralab2-existent3
#INSTANCE1: /benchmark/random_instance/random_instance039_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance039_graph004_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_instance039_graph004.col /benchmark/random_instance/random_instance039_graph004_01.dat
c /benchmark/random_instance/random_instance039_graph004.col
c /benchmark/random_instance/random_instance039_graph004_01.dat
*** Info : (clingo): INTERRUPTED by signal!
*** Info : (clingo): Sending shutdown signal...
*** ERROR: (clingo): solving stopped by signal
*** Info : (clingo): Shutdown completed in 0.001 seconds
s 13 16 113 277 108 166 385 475 170 247 430 290 323 183 273 377 419 22 86 480 79 222 76 20 444 463 436 26 255 68 60 254 459 360 216 142 52 211 349 27 267 116 390 395 160 437 70 252 168 58 35 181 165 433 283 272 391 204 367 169 506 503 210 132 330 425 284 38 351 462 285 193 128 441 410 338 146 243 404 120 202 125 478 333 134 374 34 75 369 124 4 331 431 354 224 261 119 195 426 329 286 236 245 1 468 226 460 47 53 175 77 85 483 64 371 145 31 500 178 129 296 319 161 302 207 223 96 287 280 324 81 8 141 382 230 233 100 122 454 340 294 235 393 240 415 208 455 322 197 138 293 61 315 479 486 421 312 271 43 365 381
t 282 52 463 97 230 267 163 347 150 385 419 103 268 179 114 154 65 349 409 354 149 277 423 293 155 441 340 254 178 83 54 235 95 232 321 202 381 148 471 410 454 280 188 213 457 151 246 224 265 324 388 422 367 453 346 493 30 355 296 244 211 8 478 237 64 174 363 47 128 117 391 452 390 269 108 119 48 167 169 144 58 152 132 506 181 239 131 53 462 364 392 360 461 21 418 264 214 68 89 488 192 487 284 109 497 480 459 142 59 278 25 498 302 116 303 10 69 315 408 43 127 338 191 51 499 490 271 220 23 107 98 456 238 79 501 20 113 226 491 208 34 194 489 6 426 351 138 500 125 312 198 305 334 286 143 287 369 414 236 175 393
a YES
a 1 4 8 13 16 20 22 26 27 31 34 35 38 43 47 52 53 58 60 61 64 68 70 75 76 77 79 81 85 86 96 100 108 113 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 193 195 197 202 204 207 208 210 211 216 222 223 224 226 230 233 235 236 240 243 245 247 252 254 255 261 267 271 272 273 277 280 283 284 285 286 287 290 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 340 349 351 354 360 365 367 369 371 374 377 381 382 385 390 391 393 395 404 410 415 419 421 425 426 430 431 433 436 437 441 444 454 455 459 460 462 463 468 475 478 479 480 483 486 500 503 506
a 1 4 8 13 16 20 22 26 27 31 34 35 38 43 47 52 53 58 60 61 64 68 70 75 76 77 79 81 85 86 96 100 108 113 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 186 193 195 197 202 204 207 208 210 211 216 222 223 224 226 230 233 235 236 240 243 245 247 252 254 255 261 267 271 272 273 277 280 283 284 285 286 287 290 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 340 349 351 354 360 365 367 369 371 374 377 381 382 385 390 391 393 395 404 410 415 419 421 425 426 430 431 433 436 437 441 444 454 455 459 460 462 463 468 475 478 479 480 483 486 503 506
a 1 4 8 13 16 20 22 26 27 31 34 35 38 43 47 52 53 58 60 61 64 68 70 75 76 77 79 81 85 86 96 100 108 113 116 119 120 122 124 125 128 129 132 134 137 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 186 193 195 197 202 204 207 208 210 211 216 222 223 224 226 230 233 235 236 240 243 245 247 252 254 255 261 267 271 272 273 277 280 283 284 285 286 287 290 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 340 349 351 354 360 365 367 369 371 374 377 381 382 385 390 391 393 395 404 410 415 419 421 425 426 430 431 433 436 437 441 444 454 455 459 460 462 463 468 475 478 479 480 486 503 506
a 1 4 8 13 16 20 22 26 27 31 34 35 38 43 47 52 53 58 60 61 64 68 70 75 76 77 78 79 81 85 86 96 100 108 113 116 119 120 122 124 125 128 129 132 134 137 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 186 193 195 197 202 204 207 208 210 211 216 222 223 224 226 230 233 235 236 240 243 245 247 252 254 255 261 267 271 272 273 277 280 283 284 285 286 287 290 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 349 351 354 360 365 367 369 371 374 377 381 382 385 390 391 393 395 404 410 415 419 421 425 426 430 431 433 436 437 441 444 454 455 459 460 462 463 468 475 478 479 480 486 503 506
a 1 4 8 13 16 20 22 25 26 27 31 34 35 38 43 47 52 53 58 60 61 64 68 70 75 76 77 78 79 81 85 86 96 100 108 113 116 119 120 122 124 125 128 129 132 134 137 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 186 193 195 197 202 204 207 208 210 211 216 222 223 224 226 230 233 235 236 240 243 245 247 252 254 255 261 267 271 272 273 277 280 283 284 285 286 287 290 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 349 351 354 360 365 367 369 371 374 377 381 382 385 390 391 393 395 404 410 415 419 421 425 426 430 431 433 436 437 441 444 454 455 459 460 462 463 468 478 479 480 486 503 506
a 1 4 8 13 16 20 22 25 26 27 31 34 35 38 43 47 52 53 58 60 61 64 68 70 75 76 77 78 79 81 85 86 96 100 108 109 113 116 119 120 122 124 125 128 129 132 134 137 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 186 193 195 197 202 204 207 208 210 211 216 222 223 224 226 230 233 235 236 240 243 245 247 252 254 255 261 267 271 272 273 277 280 283 284 285 286 287 290 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 349 351 354 360 365 367 369 371 374 377 381 382 385 390 391 393 395 404 410 415 419 421 425 426 430 431 433 436 437 441 444 454 455 459 460 462 463 478 479 480 486 503 506
a 1 4 8 13 16 20 22 25 26 27 31 34 35 38 43 47 52 53 58 60 61 64 68 70 75 76 77 78 79 81 85 86 96 100 108 109 113 116 119 120 122 124 125 128 129 132 134 137 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 193 195 197 202 204 207 208 210 211 216 222 223 224 226 230 233 235 236 240 243 245 247 252 254 255 261 267 271 272 273 277 280 283 284 285 286 287 290 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 349 351 354 360 365 367 369 371 374 377 381 382 385 390 391 393 395 404 410 415 419 421 425 426 430 431 433 436 437 441 444 454 455 459 460 462 463 478 479 480 486 500 503 506
a 1 4 8 13 16 20 22 25 26 27 31 34 35 38 43 47 52 53 58 60 61 64 68 70 75 76 77 78 79 81 85 86 96 100 108 109 113 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 193 195 197 202 204 207 208 210 211 216 222 223 224 226 230 233 235 236 240 243 245 247 252 254 255 261 267 271 272 273 277 280 283 284 285 286 287 290 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 349 351 354 360 365 367 369 371 374 377 381 382 385 390 391 393 395 404 410 415 419 421 425 426 430 431 433 436 437 441 444 454 455 459 460 462 463 478 479 480 483 486 500 503 506
a 1 4 8 13 16 20 22 25 26 27 31 34 35 38 43 47 52 53 58 60 61 64 68 70 75 76 77 78 79 81 85 86 96 100 108 113 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 193 195 197 202 204 207 208 210 211 216 222 223 224 226 230 233 235 236 240 243 245 247 252 254 255 261 267 271 272 273 277 280 283 284 285 286 287 290 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 349 351 354 360 365 367 369 371 374 377 381 382 385 390 391 393 395 404 410 415 419 421 425 426 430 431 433 436 437 441 444 454 455 459 460 462 463 468 478 479 480 483 486 500 503 506
a 1 4 8 10 13 16 20 22 25 26 27 31 34 35 38 43 47 52 53 58 60 61 64 68 70 76 77 78 79 81 85 86 96 100 108 113 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 193 195 197 202 204 207 208 210 211 216 222 223 224 226 230 233 235 236 240 243 245 247 252 254 255 261 267 271 272 273 277 280 283 284 285 286 287 290 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 349 351 354 360 365 367 369 371 374 377 381 382 385 390 391 393 395 404 410 415 419 421 425 426 430 431 433 436 437 441 444 454 455 459 460 462 463 468 478 479 480 483 486 500 503 506
a 1 4 8 10 13 16 20 22 25 26 27 31 34 35 38 43 47 52 53 56 58 60 61 64 68 70 76 77 78 79 81 85 86 96 100 108 113 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 193 195 197 202 204 207 208 210 211 216 222 223 224 226 230 233 235 236 240 243 245 247 252 254 255 261 267 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 349 351 354 360 365 367 369 371 374 377 381 382 385 390 391 393 395 404 410 415 419 421 425 426 430 431 433 436 437 441 444 454 455 459 460 462 463 468 478 479 480 483 486 500 503 506
a 1 4 8 10 13 16 20 22 25 26 27 31 34 35 38 43 47 52 53 56 58 60 61 64 68 70 76 77 78 79 81 85 86 96 100 108 113 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 193 194 195 197 202 204 207 208 210 211 216 222 223 224 226 230 233 235 236 240 243 245 247 252 254 255 261 267 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 349 351 354 360 365 367 369 371 374 377 381 382 385 390 393 395 404 410 415 419 421 425 426 430 431 433 436 437 441 444 454 455 459 460 462 463 468 478 479 480 483 486 500 503 506
a 1 4 8 10 13 16 20 22 25 26 27 31 34 35 38 43 47 52 53 56 58 60 61 64 68 70 76 77 78 79 81 85 86 89 96 100 108 113 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 193 194 195 197 202 204 207 208 210 211 216 222 223 224 226 230 233 235 236 240 243 245 247 252 254 261 267 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 349 351 354 360 365 367 369 371 374 377 381 382 385 390 393 395 404 410 415 419 421 425 426 430 431 433 436 437 441 444 454 455 459 460 462 463 468 478 479 480 483 486 500 503 506
a 1 4 8 10 13 16 20 22 25 26 27 31 34 35 38 43 47 52 53 56 58 60 61 64 68 70 76 77 78 79 81 85 86 89 96 100 108 113 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 190 193 194 195 197 202 204 207 208 210 211 216 222 223 224 226 230 233 235 236 240 243 245 247 252 254 261 267 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 349 351 354 360 365 367 369 371 374 377 381 382 385 390 393 395 404 410 415 419 421 425 426 430 431 433 436 437 441 444 454 455 460 462 463 468 478 479 480 483 486 500 503 506
a 1 4 8 10 13 16 20 22 25 26 27 31 34 35 38 43 47 52 53 56 58 60 61 64 68 70 76 77 78 79 81 85 86 89 96 100 108 113 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 190 193 194 195 197 202 204 207 208 210 211 216 222 223 224 226 230 233 235 236 240 243 245 247 252 254 261 267 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 349 351 354 360 365 367 369 371 374 377 381 382 385 390 393 395 404 410 415 419 421 425 426 430 433 436 437 441 444 453 454 455 460 462 463 468 478 479 480 483 486 500 503 506
a 1 4 8 10 13 16 20 22 25 26 27 31 34 35 38 43 47 52 53 56 58 60 61 64 68 70 76 77 78 79 81 85 86 89 96 100 108 113 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 190 193 194 195 197 202 204 207 208 210 211 216 222 223 224 226 232 233 235 236 240 243 245 247 252 254 261 267 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 349 351 354 360 365 367 369 371 374 377 381 382 385 390 393 395 404 410 415 419 421 425 426 430 433 436 437 441 444 453 454 455 460 462 463 468 478 479 480 483 486 500 503 506
a 1 4 8 10 13 16 20 22 25 26 27 31 34 35 38 43 47 52 53 56 58 60 61 64 68 70 76 77 78 79 81 85 86 89 96 100 108 113 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 190 193 194 195 197 202 204 207 208 210 211 216 222 223 224 226 232 233 235 236 240 243 245 247 252 254 261 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 349 351 354 360 365 367 369 371 374 377 381 382 385 390 393 394 395 404 410 415 419 421 425 426 430 433 436 437 441 444 453 454 455 460 462 463 468 478 479 480 483 486 500 503 506
a 1 4 8 10 13 16 20 22 25 26 27 31 34 35 38 43 47 52 53 56 58 60 61 64 68 70 76 77 78 79 81 85 86 89 96 100 108 113 114 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 190 193 194 195 197 202 204 207 208 210 211 216 222 223 224 226 232 233 235 236 240 243 245 247 252 254 261 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 349 351 354 360 365 367 369 371 374 377 381 382 385 390 393 394 395 404 410 415 419 421 425 426 430 433 436 437 441 453 454 455 460 462 463 468 478 479 480 483 486 500 503 506
a 1 4 8 10 13 16 20 22 26 27 31 34 35 38 43 47 52 53 56 58 60 61 64 68 70 76 77 78 79 81 85 86 89 96 100 108 113 114 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 190 193 194 195 197 202 204 207 208 210 211 216 222 223 224 226 232 233 235 236 240 243 245 247 252 254 261 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 349 351 354 360 365 367 369 371 374 377 381 382 385 390 393 394 395 404 410 415 419 421 425 426 430 433 436 437 441 453 454 455 460 462 463 468 475 478 479 480 483 486 500 503 506
a 1 4 8 10 13 16 20 22 26 27 31 34 35 38 43 47 52 53 56 58 60 61 64 68 70 76 77 78 79 81 85 86 89 96 100 108 113 114 116 119 120 122 124 125 128 129 132 134 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 190 193 194 195 197 202 204 207 208 210 211 216 222 223 224 226 232 233 235 236 240 243 245 247 252 254 258 261 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 349 351 354 360 365 367 369 371 374 377 381 382 385 390 393 394 395 404 410 415 419 421 425 426 430 433 436 437 441 453 454 455 460 462 463 468 475 478 479 480 483 486 500 503 506
a 1 4 8 10 13 16 20 22 26 27 31 34 35 38 43 47 52 53 56 57 58 60 61 64 68 70 76 77 78 79 81 85 86 89 96 100 108 113 114 116 119 120 122 124 125 128 129 132 134 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 190 193 194 195 197 202 204 207 208 210 211 216 222 223 224 226 232 233 235 236 240 243 245 247 252 254 258 261 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 349 351 354 360 365 367 369 371 374 377 381 382 385 390 393 394 395 404 410 415 419 421 425 426 430 433 436 437 441 453 454 455 460 462 463 468 475 478 479 480 483 486 500 503
a 1 4 8 10 13 16 20 22 26 27 31 34 35 38 43 47 52 53 56 57 58 60 61 64 68 70 76 77 78 79 81 85 86 89 96 100 108 109 113 114 116 119 120 122 124 125 128 129 132 134 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 190 193 194 195 197 202 204 207 208 210 211 216 222 223 224 226 232 233 235 236 240 243 245 247 252 254 258 261 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 349 351 354 360 365 367 369 371 374 377 381 382 385 390 393 394 395 404 410 415 419 421 425 426 430 433 436 437 441 453 454 455 460 462 463 475 478 479 480 483 486 500 503
a 1 4 8 10 13 16 20 22 26 31 34 35 38 43 47 52 53 56 57 58 60 61 64 68 70 76 77 78 79 81 85 86 89 96 100 108 109 113 114 116 119 120 122 124 125 128 129 132 134 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 190 193 194 195 197 202 204 207 208 210 211 216 222 223 224 226 232 233 235 236 240 243 245 247 252 254 258 261 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 349 351 354 360 365 367 369 371 374 377 381 382 385 390 393 394 395 404 410 415 419 421 425 426 430 433 436 437 440 441 453 454 455 460 462 463 475 478 479 480 483 486 500 503
a 1 4 8 10 13 16 20 22 26 31 34 35 38 43 47 52 53 56 57 58 60 61 64 68 70 76 77 78 79 81 85 86 89 96 100 108 109 113 114 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 190 193 194 195 197 202 204 207 208 210 211 216 222 223 224 226 232 233 235 236 240 243 245 247 252 254 258 261 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 349 351 354 360 365 367 369 371 374 377 381 382 385 390 393 394 395 404 410 415 419 421 425 426 430 433 436 437 440 441 453 454 455 460 462 463 475 478 479 483 486 500 503
a 1 7 8 10 13 16 20 22 26 31 34 35 38 43 47 52 53 56 57 58 60 61 64 68 70 76 77 78 79 81 85 86 89 96 100 108 109 113 114 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 190 193 194 195 197 202 204 207 208 210 211 216 222 223 224 226 232 233 235 236 240 243 245 247 252 254 258 261 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 349 351 354 360 365 367 369 371 374 377 381 382 385 390 393 394 395 404 410 415 419 421 425 426 430 433 436 437 440 441 453 454 455 460 462 463 475 478 479 483 486 500 503
a 1 7 8 10 13 16 20 22 26 31 34 35 38 43 47 52 53 56 57 58 61 64 68 70 76 77 78 79 81 85 86 89 96 100 108 109 113 114 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 190 193 194 195 197 202 204 207 208 210 211 216 222 223 224 226 232 233 235 236 240 243 245 247 252 254 258 261 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 349 351 354 355 360 365 367 369 371 374 377 381 382 385 390 393 394 395 404 410 415 419 421 425 426 430 433 436 437 440 441 453 454 455 460 462 463 475 478 479 483 486 500 503
a 1 7 8 10 13 16 20 22 26 31 34 35 38 43 47 52 53 56 57 58 61 64 68 70 76 77 78 79 81 85 86 89 96 100 108 109 113 114 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 190 193 194 195 197 202 204 207 208 210 211 216 222 223 224 226 232 233 235 236 240 243 245 247 252 254 258 261 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 349 351 354 355 360 365 367 369 371 374 377 380 381 382 385 390 393 394 395 404 410 415 419 421 425 426 430 433 436 437 440 441 453 454 455 460 462 463 475 478 479 483 500 503
a 1 7 8 10 13 16 20 22 26 31 34 35 38 43 47 52 53 56 57 58 61 64 68 70 76 77 78 79 81 85 86 89 96 100 108 109 113 114 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 190 193 194 195 197 202 204 207 208 210 211 216 222 223 224 226 232 233 235 236 240 243 245 247 252 254 258 261 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 349 351 354 355 360 365 367 369 371 374 377 380 381 382 385 390 393 394 404 410 415 419 421 425 426 430 433 436 437 440 441 453 454 455 460 462 463 475 478 479 483 490 500 503
a 1 4 7 8 10 13 16 20 22 26 31 34 35 38 43 47 53 56 57 58 61 64 68 70 76 77 78 79 81 85 86 89 96 100 108 109 113 114 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 190 193 194 195 197 202 204 207 208 210 211 216 222 223 224 226 232 233 235 236 240 243 245 247 252 254 258 261 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 349 351 354 355 360 365 367 369 371 374 377 380 381 382 385 390 393 394 404 410 415 419 421 425 426 430 433 436 437 440 441 453 454 455 460 462 463 475 478 479 483 490 500 503
a 1 4 7 8 10 13 16 20 22 26 31 34 35 38 43 47 53 56 57 58 61 64 68 70 76 77 78 79 81 85 86 89 96 100 108 109 113 114 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 190 193 194 195 197 202 204 207 208 210 211 216 222 223 224 226 232 233 235 236 240 243 245 247 252 254 258 261 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 349 351 354 355 360 365 367 369 371 374 377 380 381 382 385 390 393 394 404 410 415 419 421 425 426 430 433 436 437 441 453 454 455 460 462 463 475 478 479 480 483 490 500 503
a 1 4 7 8 10 13 16 20 22 26 27 31 34 35 38 43 47 53 56 57 58 61 64 68 70 76 77 78 79 81 85 86 89 96 100 108 109 113 114 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 190 193 194 195 197 202 204 207 210 211 216 222 223 224 226 232 233 235 236 240 243 245 247 252 254 258 261 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 349 351 354 355 360 365 367 369 371 374 377 380 381 382 385 390 393 394 404 410 415 419 421 425 426 430 433 436 437 441 453 454 455 460 462 463 475 478 479 480 483 490 500 503
a 1 4 7 8 10 13 16 20 22 26 27 31 34 35 38 43 47 53 56 57 58 61 64 68 70 76 77 78 79 81 85 86 96 100 108 109 113 114 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 190 193 194 195 197 202 204 207 210 211 216 222 223 224 226 232 233 235 236 240 243 245 247 252 254 258 261 270 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 349 351 354 355 360 365 367 369 371 374 377 380 381 382 385 390 393 394 404 410 415 419 421 425 426 430 433 436 437 441 453 454 455 460 462 463 475 478 479 480 483 490 500 503
a 1 4 7 8 10 13 16 20 22 26 27 31 34 35 38 43 47 53 56 57 58 61 64 68 70 76 77 78 79 81 85 86 96 100 108 109 113 114 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 190 193 194 195 197 202 204 207 210 211 216 222 223 224 226 232 233 235 236 240 243 245 247 252 254 258 261 270 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 349 351 354 355 360 365 367 369 371 374 377 380 381 382 385 390 393 394 404 410 415 419 421 425 426 430 433 436 437 441 453 454 455 460 462 463 475 478 479 480 483 486 490 500
a 1 4 7 8 10 13 16 20 22 26 27 31 34 35 38 43 47 53 56 57 58 61 64 68 70 76 77 78 79 81 85 86 89 96 100 108 109 113 114 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 190 193 194 195 197 202 204 207 210 211 216 222 223 224 226 232 233 235 236 240 243 245 247 252 254 258 261 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 349 351 354 355 360 365 367 369 371 374 377 380 381 382 385 390 393 394 404 410 415 419 421 425 426 430 433 436 437 441 453 454 455 460 462 463 475 478 479 480 483 486 490 500
a 1 4 7 8 10 13 16 20 22 26 27 31 34 35 38 43 47 53 56 57 58 61 64 68 70 76 77 78 79 81 85 86 89 96 100 108 109 113 114 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 190 193 194 195 197 202 204 207 210 211 216 222 223 224 226 232 233 235 236 240 243 245 247 252 254 258 261 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 328 329 330 331 333 338 349 351 354 355 360 365 367 369 371 374 377 380 381 382 385 390 393 394 404 415 419 421 425 426 430 433 436 437 441 453 454 455 460 462 463 475 478 479 480 483 486 490 500
a 1 4 7 8 10 13 16 20 22 26 27 31 34 35 38 43 47 53 56 57 58 61 64 68 70 76 77 78 79 81 85 86 96 100 108 109 113 114 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 190 193 194 195 197 202 204 207 210 211 216 222 223 224 226 232 233 235 236 240 243 245 247 252 254 258 261 270 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 328 329 330 331 333 338 349 351 354 355 360 365 367 369 371 374 377 380 381 382 385 390 393 394 404 415 419 421 425 426 430 433 436 437 441 453 454 455 460 462 463 475 478 479 480 483 486 490 500
a 1 4 7 8 10 13 20 22 26 27 31 34 35 38 43 47 53 56 57 58 61 64 68 70 76 77 78 79 81 85 86 96 100 108 109 113 114 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 190 193 194 195 197 202 204 207 208 210 211 216 222 223 224 226 232 233 235 236 240 243 245 247 252 254 258 261 270 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 328 329 330 331 333 338 349 351 354 355 360 365 367 369 371 374 377 380 381 382 385 390 393 394 404 415 419 421 425 426 430 433 436 437 441 453 454 455 460 462 463 475 478 479 480 483 486 490 500
a 1 4 7 8 10 13 20 22 26 27 31 34 35 38 43 47 52 53 56 57 58 61 64 68 70 76 77 78 79 81 85 86 96 100 108 109 113 114 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 190 193 194 195 197 202 204 207 208 210 211 216 222 223 224 226 232 233 235 236 240 243 245 247 252 254 258 261 270 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 328 329 330 331 333 338 349 351 354 355 360 365 367 369 371 374 377 380 381 382 385 390 393 394 404 415 419 421 425 426 430 433 436 437 441 453 454 455 460 462 463 475 478 479 480 483 486 500
a 1 4 7 8 10 13 16 20 22 26 27 31 34 35 38 43 47 52 53 56 57 58 61 64 68 70 76 77 78 79 81 85 86 96 100 108 109 113 114 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 190 193 194 195 197 202 204 207 208 210 211 216 222 223 224 226 232 233 235 236 240 243 245 247 252 254 258 261 270 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 328 329 330 331 333 338 349 351 354 355 360 365 367 369 371 374 377 380 381 382 385 390 393 394 404 415 419 421 425 426 430 433 436 437 441 453 454 455 460 462 463 475 478 479 480 483 500
a 1 4 7 8 10 13 16 20 22 26 27 31 34 35 38 43 47 52 53 56 57 58 61 64 68 70 76 77 78 79 81 85 86 96 100 108 109 113 114 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 190 193 194 195 197 202 204 207 208 210 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 261 270 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 328 329 330 331 333 338 349 351 354 355 360 365 367 369 371 374 377 380 381 382 385 390 393 394 404 415 419 421 425 426 430 433 436 437 441 453 454 455 460 462 463 475 478 479 480 500
a 1 4 7 8 10 13 16 20 22 26 27 31 34 35 38 43 47 52 53 56 57 58 61 64 68 70 76 77 79 81 85 86 96 100 108 109 113 114 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 190 193 194 195 197 202 204 207 208 210 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 261 270 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 328 329 330 331 333 338 340 349 351 354 355 360 365 367 369 371 374 377 380 381 382 385 390 393 394 404 415 419 421 425 426 430 433 436 437 441 453 454 455 460 462 463 475 478 479 480 500
a 1 4 7 8 10 13 16 20 22 25 26 27 31 34 35 38 43 47 52 53 56 57 58 61 64 68 70 76 77 79 81 85 86 96 100 108 109 113 114 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 190 193 194 195 197 202 204 207 208 210 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 261 270 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 328 329 330 331 333 338 340 349 351 354 355 360 365 367 369 371 374 377 380 381 382 385 390 393 394 404 415 419 421 425 426 430 433 436 437 441 453 454 455 460 462 463 478 479 480 500
a 1 4 8 10 13 16 20 22 25 26 27 31 34 35 38 43 47 52 53 56 57 58 61 64 68 70 76 77 79 81 85 86 96 100 108 109 113 114 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 190 193 194 195 197 202 204 207 208 210 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 261 270 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 328 329 330 331 333 338 340 349 351 354 355 360 365 367 369 371 374 377 380 381 382 385 390 393 394 404 415 419 421 425 426 430 433 436 437 441 453 454 455 460 462 463 478 479 480 490 500
a 1 4 8 10 13 16 20 22 25 26 27 31 34 35 38 43 47 52 53 56 57 58 61 64 68 70 76 77 79 81 85 86 96 100 108 109 113 114 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 193 194 195 197 202 204 207 208 210 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 261 270 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 328 329 330 331 333 338 340 349 351 354 355 360 365 367 369 371 374 377 380 381 382 385 390 393 394 404 415 419 421 425 426 430 433 436 437 441 453 454 455 459 460 462 463 478 479 480 490 500
a 1 4 8 10 13 16 20 22 25 26 27 31 34 35 38 43 47 52 53 56 57 58 61 64 68 70 76 77 79 81 85 86 96 100 108 109 113 114 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 193 194 195 197 202 204 207 208 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 261 270 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 328 329 330 331 333 338 340 349 351 354 355 360 365 367 369 371 374 377 380 381 382 385 390 393 394 404 415 419 421 422 425 426 430 433 436 437 441 453 454 455 459 460 462 463 478 479 480 490 500
a 1 4 8 10 13 16 20 22 25 26 27 31 34 35 38 43 47 52 53 56 57 58 61 64 68 70 76 77 79 81 85 86 96 100 108 109 113 114 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 193 194 195 197 202 204 207 208 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 261 267 270 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 328 329 330 331 333 338 340 349 351 354 355 360 365 367 369 371 374 377 380 381 382 385 390 393 404 415 419 421 422 425 426 430 433 436 437 441 453 454 455 459 460 462 463 478 479 480 490 500
a 1 4 8 10 13 16 20 22 25 26 27 31 34 35 38 43 47 52 53 56 57 58 61 64 68 70 76 77 79 81 85 86 96 100 108 109 113 114 116 119 120 122 125 128 129 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 193 194 195 197 202 204 207 208 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 261 267 270 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 328 329 330 331 333 338 340 349 351 354 355 360 365 367 369 371 374 377 380 381 382 385 390 393 404 415 419 421 422 425 426 430 433 436 437 441 453 454 455 459 460 462 463 478 479 480 490 500 501
a 1 4 8 10 13 16 20 22 25 26 27 31 34 35 38 43 47 52 53 56 58 61 64 68 70 76 77 79 81 85 86 96 100 108 109 113 114 116 119 120 122 125 128 129 132 134 138 141 142 143 145 146 160 161 165 166 168 169 170 175 178 181 183 193 194 195 197 202 204 207 208 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 261 267 270 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 328 329 330 331 333 338 340 349 351 354 355 360 365 367 369 371 374 377 380 381 382 385 390 393 404 415 419 421 422 425 426 430 433 436 437 441 453 454 455 459 460 462 463 478 479 480 490 500 501
a 1 4 8 10 13 16 20 22 25 26 27 31 34 35 38 43 47 52 53 56 58 61 64 68 70 76 77 79 81 83 85 86 96 100 108 109 113 114 116 119 120 122 125 128 129 132 134 138 141 142 143 145 146 160 161 165 166 168 169 175 178 181 183 193 194 195 197 202 204 207 208 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 261 267 270 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 328 329 330 331 333 338 340 349 351 354 355 360 365 367 369 371 374 377 380 381 382 385 390 393 404 415 419 421 422 425 426 430 433 436 437 441 453 454 455 459 460 462 463 478 479 480 490 500 501
a 1 4 8 10 13 16 20 22 25 26 27 31 34 35 38 43 47 52 53 56 58 61 64 68 70 76 77 79 81 83 85 86 96 100 108 109 113 114 116 119 120 122 125 128 129 132 134 138 141 142 143 145 146 160 161 165 166 168 169 175 178 181 183 192 193 194 195 197 202 204 207 208 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 261 267 270 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 322 323 324 328 329 330 331 333 338 340 349 351 354 355 360 365 367 369 371 374 377 380 381 382 385 390 393 404 415 419 421 422 425 426 430 433 436 437 441 453 454 455 459 460 462 463 478 479 480 490 500 501
a 1 4 6 8 10 13 16 20 22 25 26 27 31 34 35 38 43 47 52 53 56 58 61 64 68 70 76 77 79 81 83 85 86 96 100 108 109 113 114 116 119 120 122 125 128 129 132 134 138 141 142 143 145 146 160 161 165 166 168 169 175 178 181 183 192 193 194 195 197 202 204 207 208 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 261 267 270 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 322 323 324 328 329 330 331 333 338 340 349 351 354 355 360 365 367 369 371 374 377 380 381 382 385 390 393 404 415 419 421 422 425 426 430 433 436 437 441 453 454 455 459 462 463 478 479 480 490 500 501
a 1 4 6 8 10 13 16 20 22 25 26 27 31 34 35 38 43 47 52 53 56 58 61 64 68 70 76 77 79 81 83 85 86 96 100 108 109 113 114 116 119 120 122 125 128 129 132 134 138 141 142 143 145 146 160 161 165 166 168 169 175 178 181 183 192 193 194 195 197 202 204 207 208 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 261 267 270 271 272 273 277 280 284 285 286 287 293 294 296 302 312 315 322 323 324 328 329 330 331 333 338 340 349 351 354 355 360 365 367 369 371 374 377 380 381 382 385 390 393 404 415 419 421 422 425 426 430 433 436 437 441 453 454 455 459 462 463 478 479 480 488 490 500 501
a 1 4 6 8 10 13 16 20 22 25 26 27 31 34 35 38 43 47 52 53 56 58 61 64 68 70 76 77 79 81 83 85 86 96 100 108 109 113 114 116 119 120 125 128 129 132 134 138 141 142 143 145 146 160 161 165 166 168 169 175 178 181 183 192 193 194 195 197 202 204 207 208 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 261 267 270 271 272 273 277 280 284 285 286 287 293 294 296 302 312 315 322 323 324 328 329 330 331 333 338 340 349 351 354 355 360 365 367 369 371 374 377 380 381 382 385 390 393 404 415 419 421 422 425 426 430 433 436 437 441 453 454 455 459 462 463 478 479 480 488 490 500 501 506
a 1 4 6 8 10 13 16 20 22 25 26 27 31 34 35 38 43 47 52 53 56 58 61 64 68 70 76 77 79 81 83 85 86 96 100 108 109 113 114 116 119 120 125 128 129 132 134 138 141 142 143 145 146 160 161 165 166 168 169 175 178 181 183 192 193 194 195 197 202 204 207 208 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 261 267 270 271 272 273 277 280 284 285 286 287 293 294 296 302 303 312 315 322 323 324 328 329 330 331 333 338 340 349 351 354 355 360 365 367 369 371 374 377 380 381 382 385 390 393 404 415 419 422 425 426 430 433 436 437 441 453 454 455 459 462 463 478 479 480 488 490 500 501 506
a 1 4 6 8 10 13 16 20 22 25 26 27 31 34 38 43 47 52 53 56 58 61 64 68 70 76 77 79 81 83 85 86 96 100 108 109 113 114 116 119 120 125 128 129 132 134 138 141 142 143 145 146 155 160 161 165 166 168 169 175 178 181 183 192 193 194 195 197 202 204 207 208 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 261 267 270 271 272 273 277 280 284 285 286 287 293 294 296 302 303 312 315 322 323 324 328 329 330 331 333 338 340 349 351 354 355 360 365 367 369 371 374 377 380 381 382 385 390 393 404 415 419 422 425 426 430 433 436 437 441 453 454 455 459 462 463 478 479 480 488 490 500 501 506
a 1 4 6 8 10 13 16 20 22 25 26 27 31 34 38 43 47 52 53 56 58 61 64 68 70 76 77 79 81 83 85 86 96 100 108 109 113 114 116 119 120 125 128 129 132 134 138 141 142 143 145 146 155 160 165 166 168 169 175 178 181 183 192 193 194 195 197 202 204 207 208 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 261 267 270 271 272 273 277 280 284 285 286 287 293 294 296 302 303 312 315 322 323 324 328 329 330 331 333 338 340 346 349 351 354 355 360 365 367 369 371 374 377 380 381 382 385 390 393 404 415 419 422 425 426 430 433 436 437 441 453 454 455 459 462 463 478 479 480 488 490 500 501 506
a 1 4 6 8 10 13 16 20 22 25 26 27 34 38 43 47 52 53 56 58 61 64 68 70 76 77 79 81 83 85 86 96 100 108 109 113 114 116 119 120 125 128 129 132 134 138 141 142 143 145 146 152 155 160 165 166 168 169 175 178 181 183 192 193 194 195 197 202 204 207 208 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 261 267 270 271 272 273 277 280 284 285 286 287 293 294 296 302 303 312 315 322 323 324 328 329 330 331 333 338 340 346 349 351 354 355 360 365 367 369 371 374 377 380 381 382 385 390 393 404 415 419 422 425 426 430 433 436 437 441 453 454 455 459 462 463 478 479 480 488 490 500 501 506
a 1 4 6 8 10 13 16 20 22 25 26 27 34 38 43 47 52 53 56 58 61 64 68 70 76 77 79 81 83 85 86 96 100 108 109 113 114 116 119 120 125 128 129 132 134 138 141 142 143 145 146 152 155 160 163 165 166 168 169 175 178 181 183 192 193 194 195 197 202 204 207 208 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 261 267 270 271 272 273 277 280 284 285 286 287 293 294 296 302 303 312 315 322 323 324 328 329 330 331 333 338 340 346 349 351 354 355 360 365 367 369 371 374 377 380 381 382 385 390 393 404 415 419 422 426 430 433 436 437 441 453 454 455 459 462 463 478 479 480 488 490 500 501 506
a 1 4 6 8 10 13 16 20 22 25 26 27 34 38 43 47 52 53 56 58 61 64 68 70 76 77 79 81 83 85 86 95 96 100 108 109 113 114 116 119 120 125 128 129 132 134 138 141 142 143 145 146 152 155 160 163 165 166 168 169 175 178 181 183 192 193 194 195 197 202 204 207 208 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 261 267 270 271 272 273 277 280 284 285 286 287 293 294 296 302 303 312 315 322 323 324 328 329 330 331 333 338 340 346 349 351 354 355 360 365 367 369 371 374 377 380 381 385 390 393 404 415 419 422 426 430 433 436 437 441 453 454 455 459 462 463 478 479 480 488 490 500 501 506
a 1 4 6 8 10 13 16 20 22 25 26 27 34 38 43 47 52 53 56 58 61 64 68 70 76 77 79 81 83 85 86 95 96 100 108 109 113 114 116 119 120 125 128 129 132 134 138 141 142 143 145 146 152 155 160 163 165 166 168 169 175 178 181 183 192 193 194 195 197 202 204 207 208 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 261 267 270 271 272 273 277 280 284 285 286 287 293 294 296 302 303 312 315 322 323 324 328 329 330 331 333 338 340 346 349 351 354 355 360 365 367 369 371 374 377 380 381 385 390 393 415 419 422 426 430 433 436 437 441 453 454 455 459 462 463 478 479 480 488 489 490 500 501 506
a 1 4 6 8 10 13 16 20 22 25 26 27 34 38 43 47 48 52 53 56 58 61 64 68 70 76 77 79 81 83 85 86 95 96 100 108 109 113 114 116 119 120 125 128 129 132 134 138 141 142 143 145 146 152 155 160 163 165 166 168 169 175 178 181 183 192 193 194 195 197 202 204 207 208 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 261 267 270 271 272 273 277 280 284 285 286 287 293 294 296 302 303 312 315 322 323 324 328 329 330 331 338 340 346 349 351 354 355 360 365 367 369 371 374 377 380 381 385 390 393 415 419 422 426 430 433 436 437 441 453 454 455 459 462 463 478 479 480 488 489 490 500 501 506
a 1 4 6 8 10 13 16 20 22 25 26 27 30 34 38 43 47 48 52 53 56 58 61 64 68 70 76 77 79 81 83 85 86 95 96 100 108 109 113 114 116 119 120 125 128 129 132 134 138 141 142 143 145 146 152 155 160 163 165 166 168 169 175 178 181 183 192 193 194 195 197 202 204 207 208 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 261 267 270 271 272 273 277 280 284 285 286 287 293 294 296 302 303 312 315 322 323 324 328 329 331 338 340 346 349 351 354 355 360 365 367 369 371 374 377 380 381 385 390 393 415 419 422 426 430 433 436 437 441 453 454 455 459 462 463 478 479 480 488 489 490 500 501 506
a 1 4 6 8 10 13 16 20 22 25 26 27 30 34 38 43 47 48 52 53 56 58 61 64 68 70 76 77 79 81 83 85 86 95 96 98 100 108 109 113 114 116 119 120 125 128 129 132 134 138 141 142 143 145 146 152 155 160 163 165 166 168 169 175 178 181 183 192 193 194 195 197 202 204 207 208 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 267 270 271 272 273 277 280 284 285 286 287 293 294 296 302 303 312 315 322 323 324 328 329 331 338 340 346 349 351 354 355 360 365 367 369 371 374 377 380 381 385 390 393 415 419 422 426 430 433 436 437 441 453 454 455 459 462 463 478 479 480 488 489 490 500 501 506
a 1 4 6 8 10 13 16 20 22 25 26 27 30 34 38 43 47 48 52 53 56 58 61 64 68 70 76 77 79 81 83 85 86 89 95 96 98 100 108 109 113 114 116 119 120 125 128 129 132 134 138 141 142 143 145 146 152 155 160 163 165 166 168 169 175 178 181 183 192 193 194 195 197 202 204 207 208 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 267 271 272 273 277 280 284 285 286 287 293 294 296 302 303 312 315 322 323 324 328 329 331 338 340 346 349 351 354 355 360 365 367 369 371 374 377 380 381 385 390 393 415 419 422 426 430 433 436 437 441 453 454 455 459 462 463 478 479 480 488 489 490 500 501 506
a 1 4 6 8 10 13 16 20 21 22 25 26 27 30 34 38 43 47 48 52 53 56 58 61 64 68 70 76 77 79 81 83 85 86 89 95 96 98 100 108 109 113 114 116 119 120 125 128 129 132 134 138 141 142 143 145 146 152 155 160 163 165 166 168 169 175 178 181 183 192 193 194 195 197 202 204 207 208 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 267 271 272 273 277 280 284 285 286 287 293 294 296 302 303 312 315 322 323 324 328 329 331 338 340 346 349 351 354 355 360 365 367 369 371 374 377 380 381 385 390 393 415 419 422 426 430 433 436 437 441 453 454 459 462 463 478 479 480 488 489 490 500 501 506
a 1 4 6 8 10 13 16 20 21 22 25 26 27 30 34 38 43 47 48 52 53 56 58 61 64 68 70 76 77 79 81 83 85 86 89 95 96 98 100 108 109 113 114 116 119 125 128 129 132 134 138 141 142 143 145 146 152 155 160 163 165 166 168 169 175 178 181 183 192 193 194 195 197 202 204 207 208 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 267 271 272 273 277 280 284 285 286 287 293 294 296 302 303 312 315 322 323 324 328 329 331 338 340 346 349 351 354 355 360 365 367 369 371 374 377 380 381 385 390 393 415 418 419 422 426 430 433 436 437 441 453 454 459 462 463 478 479 480 488 489 490 500 501 506
a 1 4 6 8 10 13 16 20 21 22 25 26 27 30 34 38 43 47 48 52 53 56 58 61 64 68 70 76 77 79 81 83 85 86 89 95 96 98 100 108 109 113 114 116 119 125 128 129 132 134 138 141 142 143 145 146 152 155 160 163 165 166 168 169 175 178 181 183 192 193 194 195 197 202 204 207 208 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 267 271 272 273 277 280 282 284 285 286 287 293 294 296 302 303 312 315 322 323 324 328 331 338 340 346 349 351 354 355 360 365 367 369 371 374 377 380 381 385 390 393 415 418 419 422 426 430 433 436 437 441 453 454 459 462 463 478 479 480 488 489 490 500 501 506
a 1 4 6 8 10 13 16 20 21 22 25 26 27 30 34 38 43 47 48 52 53 56 58 61 64 68 70 76 77 79 81 83 85 86 89 95 96 98 100 108 109 113 114 116 119 125 128 129 132 134 138 141 142 143 145 146 152 155 160 163 165 166 168 169 175 178 181 183 192 193 194 195 197 202 204 207 208 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 267 271 272 273 277 280 282 284 285 286 287 293 294 296 302 303 312 315 321 322 323 324 328 331 338 340 346 349 351 354 355 360 365 367 369 371 377 380 381 385 390 393 415 418 419 422 426 430 433 436 437 441 453 454 459 462 463 478 479 480 488 489 490 500 501 506
a 1 4 6 8 10 13 16 20 21 22 25 26 27 30 34 38 43 47 48 52 53 56 58 61 64 68 70 76 77 79 81 83 85 86 89 95 96 98 100 108 109 113 114 116 119 125 128 129 132 134 138 141 142 143 145 146 152 155 160 163 165 166 168 169 175 178 181 183 192 193 194 195 197 202 204 207 208 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 267 271 272 273 277 280 282 284 285 286 287 293 294 296 302 303 312 315 321 322 323 324 328 331 338 340 346 349 351 354 355 360 365 367 369 371 380 381 385 390 393 408 415 418 419 422 426 430 433 436 437 441 453 454 459 462 463 478 479 480 488 489 490 500 501 506
a 1 4 6 8 10 13 16 20 21 22 25 26 27 30 34 38 43 47 48 52 53 54 56 58 61 64 68 70 76 77 79 81 83 85 86 89 95 96 98 100 108 109 113 114 116 119 125 128 129 132 134 138 141 142 143 145 146 152 155 163 165 166 168 169 175 178 181 183 192 193 194 195 197 202 204 207 208 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 267 271 272 273 277 280 282 284 285 286 287 293 294 296 302 303 312 315 321 322 323 324 328 331 338 340 346 349 351 354 355 360 365 367 369 371 380 381 385 390 393 408 415 418 419 422 426 430 433 436 437 441 453 454 459 462 463 478 479 480 488 489 490 500 501 506
a 1 4 6 8 10 13 16 20 21 22 25 26 27 30 34 38 43 47 48 52 53 54 56 58 61 64 68 70 76 77 79 81 83 85 86 89 95 96 98 100 108 109 113 114 116 119 125 128 129 132 134 138 141 142 143 144 145 146 152 155 163 165 166 168 169 175 178 181 183 192 193 194 195 197 202 207 208 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 267 271 272 273 277 280 282 284 285 286 287 293 294 296 302 303 312 315 321 322 323 324 328 331 338 340 346 349 351 354 355 360 365 367 369 371 380 381 385 390 393 408 415 418 419 422 426 430 433 436 437 441 453 454 459 462 463 478 479 480 488 489 490 500 501 506
a 1 4 6 8 10 13 16 20 21 22 25 26 27 30 34 38 43 47 48 52 53 54 56 58 61 64 68 70 76 77 79 81 83 85 86 89 95 96 98 100 108 109 113 114 116 119 125 128 129 132 134 138 141 142 143 144 145 146 152 155 163 165 166 168 169 175 178 181 183 192 193 194 195 197 202 208 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 267 271 272 273 277 280 282 284 285 286 287 293 294 296 302 303 312 315 321 322 323 324 328 331 338 340 346 349 351 354 355 360 365 367 369 371 380 381 385 390 393 408 409 415 418 419 422 426 430 433 436 437 441 453 454 459 462 463 478 479 480 488 489 490 500 501 506
a 1 4 6 8 10 13 16 20 21 22 25 26 27 30 34 38 43 47 48 52 53 54 56 58 61 64 68 70 76 77 79 81 83 85 86 89 95 96 98 100 108 109 113 114 116 119 125 128 129 132 134 138 141 142 143 144 145 146 152 155 163 165 166 168 169 175 178 181 183 192 193 194 197 202 208 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 267 271 272 273 277 280 282 284 285 286 287 293 294 296 302 303 312 315 321 322 323 324 328 331 338 340 346 349 351 354 355 360 365 367 369 371 380 381 385 390 393 408 409 415 418 419 422 426 430 433 436 437 441 453 454 457 459 462 463 478 479 480 488 489 490 500 501 506
a 1 4 6 8 10 13 16 20 21 22 25 26 27 30 34 38 43 47 48 52 53 54 56 58 61 64 68 70 76 77 79 81 83 85 86 89 95 98 100 108 109 113 114 116 119 125 128 129 132 134 138 141 142 143 144 145 146 152 155 163 165 166 168 169 175 178 181 183 192 193 194 197 202 208 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 267 271 272 273 277 280 282 284 285 286 287 293 294 296 302 303 305 312 315 321 322 323 324 328 331 338 340 346 349 351 354 355 360 365 367 369 371 380 381 385 390 393 408 409 415 418 419 422 426 430 433 436 437 441 453 454 457 459 462 463 478 479 480 488 489 490 500 501 506
a 1 4 6 8 10 16 20 21 22 25 26 27 30 34 38 43 47 48 52 53 54 56 58 61 64 68 70 76 77 79 81 83 85 86 89 95 98 100 108 109 113 114 116 119 125 128 129 132 134 138 141 142 143 144 145 146 148 152 155 163 165 166 168 169 175 178 181 183 192 193 194 197 202 208 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 267 271 272 273 277 280 282 284 285 286 287 293 294 296 302 303 305 312 315 321 322 323 324 328 331 338 340 346 349 351 354 355 360 365 367 369 371 380 381 385 390 393 408 409 415 418 419 422 426 430 433 436 437 441 453 454 457 459 462 463 478 479 480 488 489 490 500 501 506
a 1 4 6 8 10 16 20 21 22 25 26 30 34 38 43 47 48 52 53 54 56 58 61 64 68 70 76 77 79 81 83 85 86 89 95 98 100 108 109 113 114 116 119 125 128 129 132 134 138 141 142 143 144 145 146 148 152 155 163 165 166 168 169 175 178 181 183 192 193 194 197 202 208 211 216 222 223 224 226 232 233 235 236 240 243 245 246 247 252 254 258 267 269 271 272 273 277 280 282 284 285 286 287 293 294 296 302 303 305 312 315 321 322 323 324 328 331 338 340 346 349 351 354 355 360 365 367 369 371 380 381 385 390 393 408 409 415 418 419 422 426 430 433 436 437 441 453 454 457 459 462 463 478 479 480 488 489 490 500 501 506
a 1 4 6 8 10 16 20 21 22 25 26 30 34 38 43 47 48 52 53 54 56 58 61 64 68 70 76 77 79 81 83 85 86 89 95 98 100 108 109 113 114 116 119 125 128 129 132 134 138 141 142 143 144 145 146 148 152 155 163 165 166 168 169 175 178 181 183 192 193 194 197 202 208 211 216 222 223 224 226 232 235 236 238 240 243 245 246 247 252 254 258 267 269 271 272 273 277 280 282 284 285 286 287 293 294 296 302 303 305 312 315 321 322 323 324 328 331 338 340 346 349 351 354 355 360 365 367 369 371 380 381 385 390 393 408 409 415 418 419 422 426 430 433 436 437 441 453 454 457 459 462 463 478 479 480 488 489 490 500 501 506
a 1 4 6 8 10 16 20 21 22 25 26 30 34 38 43 47 48 52 53 54 56 58 61 64 68 70 76 77 79 81 83 85 86 89 95 98 100 108 109 113 114 116 119 125 128 129 132 134 138 141 142 143 144 145 146 148 152 155 163 165 166 168 169 175 178 181 183 192 193 194 197 202 208 211 216 222 223 224 226 232 235 236 238 240 243 245 246 247 252 254 258 267 269 271 272 273 277 280 282 284 285 286 287 293 294 296 302 303 305 312 315 321 322 323 324 331 338 340 346 349 351 354 355 360 365 367 369 371 380 381 385 390 393 408 409 410 415 418 419 422 426 430 433 436 437 441 453 454 457 459 462 463 478 479 480 488 489 490 500 501 506
a 1 4 6 8 10 16 20 21 22 25 26 30 34 38 43 47 48 52 53 54 56 58 61 64 68 70 76 77 79 81 83 85 86 89 95 98 100 108 109 113 114 116 119 125 128 129 132 134 138 141 142 143 144 145 146 148 152 155 163 165 166 168 169 175 178 181 183 192 193 194 197 202 208 211 216 222 223 224 226 232 235 236 238 240 243 245 246 247 252 254 258 267 269 271 272 273 277 280 282 284 285 286 287 293 296 302 303 305 312 315 321 322 323 324 331 334 338 340 346 349 351 354 355 360 365 367 369 371 380 381 385 390 393 408 409 410 415 418 419 422 426 430 433 436 437 441 453 454 457 459 462 463 478 479 480 488 489 490 500 501 506
a 1 4 6 8 10 16 20 21 22 25 26 30 34 38 43 47 48 52 53 54 58 61 64 68 70 76 77 79 81 83 85 86 89 95 97 98 100 108 109 113 114 116 119 125 128 129 132 134 138 141 142 143 144 145 146 148 152 155 163 165 166 168 169 175 178 181 183 192 193 194 197 202 208 211 216 222 223 224 226 232 235 236 238 240 243 245 246 247 252 254 258 267 269 271 272 273 277 280 282 284 285 286 287 293 296 302 303 305 312 315 321 322 323 324 331 334 338 340 346 349 351 354 355 360 365 367 369 371 380 381 385 390 393 408 409 410 415 418 419 422 426 430 433 436 437 441 453 454 457 459 462 463 478 479 480 488 489 490 500 501 506
a 1 4 6 8 10 16 20 21 22 25 26 30 34 38 43 47 48 52 53 54 58 61 64 68 70 76 79 81 83 85 86 89 95 97 98 100 108 109 113 114 116 119 125 128 129 132 134 138 141 142 143 144 145 146 148 152 155 163 165 166 168 169 175 178 181 183 192 193 194 197 202 208 211 214 216 222 223 224 226 232 235 236 238 240 243 245 246 247 252 254 258 267 269 271 272 273 277 280 282 284 285 286 287 293 296 302 303 305 312 315 321 322 323 324 331 334 338 340 346 349 351 354 355 360 365 367 369 371 380 381 385 390 393 408 409 410 415 418 419 422 426 430 433 436 437 441 453 454 457 459 462 463 478 479 480 488 489 490 500 501 506
a 1 4 6 8 10 16 20 21 22 25 26 30 34 38 43 47 48 52 53 54 58 61 64 68 70 76 79 81 83 85 86 89 95 97 98 100 108 109 113 114 116 119 125 128 129 132 134 138 141 142 143 144 145 146 148 152 155 163 165 166 168 169 175 178 181 183 192 193 194 197 202 208 211 214 216 222 223 224 226 232 235 236 238 240 243 245 246 247 252 254 258 267 269 271 272 273 277 280 282 284 285 286 287 293 296 302 303 305 312 315 321 322 323 324 331 334 338 340 346 349 351 354 355 360 365 367 369 371 380 381 385 390 393 408 409 410 415 418 419 422 426 430 436 437 441 453 454 457 459 462 463 478 479 480 487 488 489 490 500 501 506
a 1 4 6 8 10 16 20 21 22 25 30 34 38 43 47 48 52 53 54 58 61 64 68 70 76 79 81 83 85 86 89 95 97 98 100 108 109 113 114 116 119 125 128 129 132 134 138 141 142 143 144 145 146 148 152 155 163 165 166 168 169 175 178 181 183 192 193 194 197 202 208 211 214 216 222 223 224 226 232 235 236 238 240 243 245 246 247 252 254 258 267 269 271 272 273 277 280 282 284 285 286 287 293 296 302 303 305 312 315 321 322 323 324 331 334 338 340 346 349 351 354 355 360 365 367 369 371 380 381 385 390 393 408 409 410 415 418 419 422 423 426 430 436 437 441 453 454 457 459 462 463 478 479 480 487 488 489 490 500 501 506
a 1 4 6 8 10 16 20 21 22 25 30 34 38 43 47 48 52 53 54 58 61 64 68 70 76 79 81 83 85 86 89 95 97 98 100 108 109 113 114 116 119 125 128 129 132 134 138 141 142 143 144 145 146 148 152 155 163 165 166 168 169 175 178 181 183 192 193 194 197 202 208 211 214 216 222 223 224 226 232 235 236 238 240 243 245 246 247 252 254 258 267 269 271 272 273 277 280 282 284 285 286 287 293 296 302 303 305 312 315 321 322 323 324 331 334 338 340 346 349 351 354 355 360 367 369 371 380 381 385 390 393 408 409 410 415 418 419 422 423 426 430 436 437 441 453 454 457 459 462 463 478 479 480 487 488 489 490 498 500 501 506
a 1 4 6 8 10 16 20 21 22 25 30 34 38 43 47 48 52 53 54 58 61 64 68 70 76 79 81 83 85 86 89 95 97 98 100 108 109 113 114 116 119 125 128 129 132 134 138 141 142 143 144 145 146 148 152 155 163 165 166 168 169 175 178 181 183 192 193 194 197 202 208 211 214 222 223 224 226 232 235 236 238 240 243 245 246 247 252 254 258 267 269 271 272 273 277 280 282 284 285 286 287 293 296 302 303 305 312 315 321 322 323 324 331 334 338 340 346 349 351 354 355 360 367 369 371 380 381 385 390 393 408 409 410 415 418 419 422 423 426 430 436 437 441 453 454 457 459 461 462 463 478 479 480 487 488 489 490 498 500 501 506
a 1 4 6 8 10 16 20 21 22 25 30 34 38 43 47 48 52 53 54 58 61 64 68 70 76 79 81 83 85 86 89 95 97 98 100 108 109 113 114 116 119 125 127 128 129 132 134 138 141 142 143 144 145 146 148 152 155 163 165 166 168 169 175 178 181 183 192 193 194 197 202 208 211 214 222 223 224 226 232 235 236 238 240 245 246 247 252 254 258 267 269 271 272 273 277 280 282 284 285 286 287 293 296 302 303 305 312 315 321 322 323 324 331 334 338 340 346 349 351 354 355 360 367 369 371 380 381 385 390 393 408 409 410 415 418 419 422 423 426 430 436 437 441 453 454 457 459 461 462 463 478 479 480 487 488 489 490 498 500 501 506
a 1 4 6 8 10 16 20 21 22 25 30 34 38 43 47 48 52 53 54 58 61 64 68 70 76 79 81 83 85 86 89 95 97 98 100 108 109 113 114 116 119 125 127 128 129 132 134 138 141 142 143 144 145 146 148 149 152 155 163 165 166 168 169 175 178 181 183 192 193 194 197 202 208 211 214 222 223 224 226 232 235 236 238 240 245 246 247 252 254 258 267 269 271 272 273 277 280 282 284 285 286 287 293 296 302 303 305 312 315 321 322 323 324 331 334 338 340 346 349 351 354 355 360 367 369 371 380 381 385 390 393 408 409 410 418 419 422 423 426 430 436 437 441 453 454 457 459 461 462 463 478 479 480 487 488 489 490 498 500 501 506
a 1 4 6 8 10 16 20 21 22 25 30 34 38 43 47 48 52 53 54 58 61 64 68 70 76 79 81 83 85 86 89 95 97 98 100 107 108 109 113 114 116 119 125 127 128 129 132 134 138 141 142 143 144 145 146 148 149 152 155 163 165 166 168 169 175 178 181 183 192 193 194 197 202 208 211 214 222 223 224 226 232 235 236 238 240 245 246 247 252 254 258 267 269 271 272 273 277 280 282 284 285 286 287 293 296 302 303 305 312 315 321 322 323 324 331 334 338 340 346 349 351 354 355 360 367 369 371 380 381 385 390 393 408 409 410 418 419 422 423 426 436 437 441 453 454 457 459 461 462 463 478 479 480 487 488 489 490 498 500 501 506
a 1 4 6 8 10 16 20 21 22 25 30 34 38 43 47 48 52 53 54 58 61 64 68 70 76 79 81 83 85 86 89 95 97 98 100 103 107 108 109 113 114 116 119 125 127 128 129 132 134 138 141 142 143 144 145 146 148 149 152 155 163 165 166 169 175 178 181 183 192 193 194 197 202 208 211 214 222 223 224 226 232 235 236 238 240 245 246 247 252 254 258 267 269 271 272 273 277 280 282 284 285 286 287 293 296 302 303 305 312 315 321 322 323 324 331 334 338 340 346 349 351 354 355 360 367 369 371 380 381 385 390 393 408 409 410 418 419 422 423 426 436 437 441 453 454 457 459 461 462 463 478 479 480 487 488 489 490 498 500 501 506
a 1 4 6 8 10 16 20 21 22 25 30 34 38 43 47 48 52 53 54 58 61 64 68 70 76 79 81 83 85 89 95 97 98 100 103 107 108 109 113 114 116 119 125 127 128 129 132 134 138 141 142 143 144 145 146 148 149 152 155 163 165 166 169 175 178 181 183 192 193 194 197 202 208 211 214 222 223 224 226 232 235 236 238 240 245 246 247 252 254 258 267 269 271 272 273 277 280 282 284 285 286 287 293 296 302 303 305 312 315 321 322 323 324 331 334 338 340 346 349 351 354 355 360 364 367 369 371 380 381 385 390 393 408 409 410 418 419 422 423 426 436 437 441 453 454 457 459 461 462 463 478 479 480 487 488 489 490 498 500 501 506
a 1 4 6 8 10 16 20 21 22 25 30 34 38 43 47 48 52 53 54 58 61 64 68 70 76 79 81 83 85 89 95 97 98 100 103 107 108 109 113 114 116 119 125 127 128 129 132 134 138 141 142 143 144 145 146 148 149 152 155 163 165 166 169 175 178 181 183 188 192 193 194 197 202 208 211 214 222 223 224 226 232 235 236 238 240 245 246 247 252 254 258 267 269 271 272 273 277 280 282 284 285 286 287 293 296 302 303 305 312 315 321 322 323 324 331 334 338 340 346 349 351 354 355 360 364 367 369 371 380 381 385 390 393 408 409 410 418 419 422 423 426 437 441 453 454 457 459 461 462 463 478 479 480 487 488 489 490 498 500 501 506
a 1 4 6 8 10 16 20 21 22 25 30 34 38 43 47 48 52 53 54 58 61 64 68 70 76 79 81 83 85 89 95 97 98 100 103 107 108 109 113 114 116 119 125 127 128 129 132 134 138 142 143 144 145 146 148 149 152 154 155 163 165 166 169 175 178 181 183 188 192 193 194 197 202 208 211 214 222 223 224 226 232 235 236 238 240 245 246 247 252 254 258 267 269 271 272 273 277 280 282 284 285 286 287 293 296 302 303 305 312 315 321 322 323 324 331 334 338 340 346 349 351 354 355 360 364 367 369 371 380 381 385 390 393 408 409 410 418 419 422 423 426 437 441 453 454 457 459 461 462 463 478 479 480 487 488 489 490 498 500 501 506
a 1 4 6 8 10 16 20 21 22 25 30 34 38 43 47 48 52 53 54 58 61 64 68 70 76 79 81 83 85 89 95 97 98 100 103 107 108 109 113 114 116 119 125 127 128 129 132 134 138 142 143 144 145 146 148 149 152 154 155 163 166 169 174 175 178 181 183 188 192 193 194 197 202 208 211 214 222 223 224 226 232 235 236 238 240 245 246 247 252 254 258 267 269 271 272 273 277 280 282 284 285 286 287 293 296 302 303 305 312 315 321 322 323 324 331 334 338 340 346 349 351 354 355 360 364 367 369 371 380 381 385 390 393 408 409 410 418 419 422 423 426 437 441 453 454 457 459 461 462 463 478 479 480 487 488 489 490 498 500 501 506
a 1 4 6 8 10 16 20 21 22 25 30 34 38 43 47 48 52 53 54 58 61 64 68 70 76 79 81 83 85 89 95 97 98 100 103 107 108 109 113 114 116 119 125 127 128 129 132 134 138 142 143 144 145 146 148 149 152 154 155 163 166 169 174 175 178 181 183 188 192 193 194 197 202 208 211 214 222 223 224 226 232 235 236 238 240 245 246 247 252 254 258 267 269 271 272 273 277 280 282 284 286 287 293 296 302 303 305 312 315 321 322 323 324 331 334 338 340 346 349 351 354 355 360 364 367 369 371 380 381 385 390 393 408 409 410 414 418 419 422 423 426 437 441 453 454 457 459 461 462 463 478 479 480 487 488 489 490 498 500 501 506
a 1 4 6 8 10 16 20 21 22 25 30 34 38 43 47 48 52 53 54 58 61 64 68 70 76 79 81 83 85 89 95 97 98 100 103 107 108 109 113 114 116 119 125 127 128 129 132 134 138 142 143 144 145 146 148 149 152 154 155 163 169 174 175 178 181 183 188 192 193 194 197 202 208 211 214 222 223 224 226 232 235 236 238 240 245 246 247 252 254 258 267 269 271 272 273 277 280 282 284 286 287 293 296 302 303 305 312 315 321 322 323 324 331 334 338 340 346 349 351 354 355 360 364 367 369 371 380 381 385 390 393 408 409 410 414 418 419 422 423 426 437 441 453 454 457 459 461 462 463 478 479 480 487 488 489 490 493 498 500 501 506
a 1 4 6 8 10 16 20 21 22 25 30 34 38 43 47 48 52 53 54 58 61 64 68 70 76 79 81 83 85 89 95 97 98 100 103 107 108 109 113 114 116 119 125 127 128 129 132 134 138 142 143 144 145 146 148 149 152 154 155 163 169 174 175 178 181 183 188 192 193 194 197 202 208 211 214 222 223 224 226 232 235 236 238 240 245 246 247 252 254 258 267 269 271 272 273 277 280 282 284 286 287 293 296 302 303 305 312 315 321 322 323 324 331 334 338 340 346 349 351 354 355 360 364 367 369 371 380 381 385 390 393 408 409 410 414 418 419 422 423 426 441 453 454 457 459 461 462 463 471 478 479 480 487 488 489 490 493 498 500 501 506
a 1 4 6 8 10 16 20 21 22 25 30 34 38 43 47 48 52 53 54 58 61 64 68 70 76 79 81 83 85 89 95 97 98 100 103 107 108 109 113 114 116 119 125 127 128 129 132 134 138 142 143 144 145 146 148 149 152 154 155 163 169 174 175 178 181 183 188 192 193 194 197 202 208 211 214 222 223 224 226 232 235 236 238 240 245 246 247 252 254 258 265 267 269 271 273 277 280 282 284 286 287 293 296 302 303 305 312 315 321 322 323 324 331 334 338 340 346 349 351 354 355 360 364 367 369 371 380 381 385 390 393 408 409 410 414 418 419 422 423 426 441 453 454 457 459 461 462 463 471 478 479 480 487 488 489 490 493 498 500 501 506
a 1 4 6 8 10 16 20 21 22 25 30 34 38 43 47 48 51 52 53 54 58 61 64 68 70 76 79 81 83 85 89 95 97 98 100 103 107 108 109 113 114 116 119 125 127 128 129 132 134 138 142 143 144 145 146 148 149 152 154 155 163 169 174 175 178 181 183 188 192 193 194 197 202 208 211 214 222 223 224 226 232 235 236 238 240 245 246 247 252 254 258 265 267 269 271 273 277 280 282 284 286 287 293 296 302 303 305 312 315 321 322 323 324 331 334 338 340 346 349 351 354 355 360 364 367 369 371 380 381 385 390 393 408 409 410 414 418 419 422 423 426 441 453 454 457 459 461 462 463 471 478 480 487 488 489 490 493 498 500 501 506
a 1 4 6 8 10 16 20 21 22 25 30 34 38 43 47 48 51 52 53 54 58 61 64 68 70 76 79 81 83 85 89 95 97 98 100 103 107 108 109 113 114 116 119 125 127 128 129 132 134 138 142 143 144 145 146 148 149 152 154 155 163 169 174 175 178 181 183 188 192 193 194 197 202 208 211 214 222 223 224 226 232 235 236 238 240 246 247 252 254 258 265 267 269 271 273 277 280 282 284 286 287 293 296 302 303 305 312 315 321 322 323 324 331 334 338 340 346 349 351 354 355 360 364 367 369 371 380 381 385 390 393 408 409 410 414 418 419 422 423 426 441 453 454 457 459 461 462 463 471 478 480 487 488 489 490 493 498 499 500 501 506
a 1 4 6 8 10 16 20 21 22 25 30 34 43 47 48 51 52 53 54 58 61 64 68 70 76 79 81 83 85 89 95 97 98 100 103 107 108 109 113 114 116 119 125 127 128 129 132 134 138 142 143 144 145 146 148 149 150 152 154 155 163 169 174 175 178 181 183 188 192 193 194 197 202 208 211 214 222 223 224 226 232 235 236 238 240 246 247 252 254 258 265 267 269 271 273 277 280 282 284 286 287 293 296 302 303 305 312 315 321 322 323 324 331 334 338 340 346 349 351 354 355 360 364 367 369 371 380 381 385 390 393 408 409 410 414 418 419 422 423 426 441 453 454 457 459 461 462 463 471 478 480 487 488 489 490 493 498 499 500 501 506
a 1 4 6 8 10 16 20 21 22 25 30 34 43 47 48 51 52 53 54 58 61 64 68 70 76 79 81 83 85 89 95 97 98 100 103 107 108 109 113 114 116 119 125 127 128 129 132 134 138 142 143 144 145 146 148 149 150 152 154 155 163 169 174 175 178 181 183 188 192 193 194 197 202 208 211 214 222 223 224 226 232 235 236 238 240 246 247 252 254 258 265 267 269 271 273 277 280 282 284 286 287 293 296 302 303 305 312 315 321 322 323 324 334 338 340 346 349 351 354 355 360 364 367 369 371 380 381 385 390 393 408 409 410 414 418 419 422 423 426 441 452 453 454 457 459 461 462 463 471 478 480 487 488 489 490 493 498 499 500 501 506
a 1 6 8 10 16 20 21 22 25 30 34 43 47 48 51 52 53 54 58 61 64 68 70 76 79 81 83 85 89 95 97 98 100 103 107 108 109 113 114 116 119 125 127 128 129 132 134 138 142 143 144 145 146 148 149 150 152 154 155 163 169 174 175 178 181 183 188 192 193 194 197 202 208 211 214 222 223 224 226 232 235 236 238 240 246 247 252 254 258 265 267 269 271 273 277 280 282 284 286 287 293 296 302 303 305 312 315 321 322 323 324 334 338 340 346 349 351 354 355 360 363 364 367 369 371 380 381 385 390 393 408 409 410 414 418 419 422 423 426 441 452 453 454 457 459 461 462 463 471 478 480 487 488 489 490 493 498 499 500 501 506
a 1 6 8 10 16 20 21 22 25 30 34 43 47 48 51 52 53 54 58 61 64 68 76 79 81 83 85 89 95 97 98 100 103 107 108 109 113 114 116 119 125 127 128 129 132 134 138 142 143 144 145 146 148 149 150 152 154 155 163 169 174 175 178 181 183 188 192 193 194 197 202 208 211 214 222 223 224 226 232 235 236 237 238 240 246 247 252 254 258 265 267 269 271 273 277 280 282 284 286 287 293 296 302 303 305 312 315 321 322 323 324 334 338 340 346 349 351 354 355 360 363 364 367 369 371 380 381 385 390 393 408 409 410 414 418 419 422 423 426 441 452 453 454 457 459 461 462 463 471 478 480 487 488 489 490 493 498 499 500 501 506
a 1 6 8 10 16 20 21 22 25 30 34 43 47 48 51 52 53 54 58 61 64 68 76 79 81 83 85 89 95 97 98 100 103 107 108 109 113 114 116 119 125 127 128 129 132 134 138 142 143 144 145 148 149 150 152 154 155 163 169 174 175 178 181 183 188 192 193 194 197 202 208 211 214 222 223 224 226 232 235 236 237 238 240 244 246 247 252 254 258 265 267 269 271 273 277 280 282 284 286 287 293 296 302 303 305 312 315 321 322 323 324 334 338 340 346 349 351 354 355 360 363 364 367 369 371 380 381 385 390 393 408 409 410 414 418 419 422 423 426 441 452 453 454 457 459 461 462 463 471 478 480 487 488 489 490 493 498 499 500 501 506
a 1 6 8 10 16 20 21 22 25 30 34 43 47 48 51 52 53 54 58 59 61 64 68 76 79 81 83 85 89 95 97 98 103 107 108 109 113 114 116 119 125 127 128 129 132 134 138 142 143 144 145 148 149 150 152 154 155 163 169 174 175 178 181 183 188 192 193 194 197 202 208 211 214 222 223 224 226 232 235 236 237 238 240 244 246 247 252 254 258 265 267 269 271 273 277 280 282 284 286 287 293 296 302 303 305 312 315 321 322 323 324 334 338 340 346 349 351 354 355 360 363 364 367 369 371 380 381 385 390 393 408 409 410 414 418 419 422 423 426 441 452 453 454 457 459 461 462 463 471 478 480 487 488 489 490 493 498 499 500 501 506
a 1 6 8 10 16 20 21 22 25 30 34 43 47 48 51 52 53 54 58 59 61 64 68 76 79 81 83 85 89 95 97 98 103 107 108 109 113 114 116 119 125 127 128 129 132 134 138 142 143 144 145 148 149 150 152 154 155 163 169 174 175 178 181 183 188 192 193 194 197 202 208 211 214 222 223 224 226 232 235 236 237 238 240 244 246 247 252 254 258 265 267 269 271 273 277 280 282 284 286 287 293 296 302 303 305 312 315 321 323 324 334 338 340 346 349 351 354 355 360 363 364 367 369 371 380 381 385 390 393 408 409 410 414 418 419 422 423 426 441 452 453 454 456 457 459 461 462 463 471 478 480 487 488 489 490 493 498 499 500 501 506
a 1 6 8 10 16 20 21 22 25 30 34 43 47 48 51 52 53 54 58 59 61 64 68 76 79 81 83 85 89 95 97 98 103 107 108 109 113 114 116 119 125 127 128 129 132 134 138 142 143 144 145 148 149 150 152 154 155 163 169 174 175 178 181 183 188 192 193 194 197 202 208 211 214 222 223 224 226 232 235 236 237 238 240 244 246 247 254 258 265 267 269 271 273 277 280 282 284 286 287 293 296 302 303 305 312 315 321 323 324 334 338 340 346 349 351 354 355 360 363 364 367 369 371 380 381 385 390 393 408 409 410 414 418 419 422 423 426 441 452 453 454 456 457 459 461 462 463 471 478 480 487 488 489 490 491 493 498 499 500 501 506
a 1 6 8 10 16 20 21 22 25 30 34 43 47 48 51 52 53 54 58 59 61 64 68 76 79 81 83 85 89 95 97 98 103 107 108 109 113 114 116 119 125 127 128 129 132 134 138 142 143 144 145 148 149 150 152 154 155 163 169 174 175 178 181 183 188 192 193 194 197 202 208 211 214 222 223 224 226 232 235 236 237 238 244 246 247 254 258 264 265 267 269 271 273 277 280 282 284 286 287 293 296 302 303 305 312 315 321 323 324 334 338 340 346 349 351 354 355 360 363 364 367 369 371 380 381 385 390 393 408 409 410 414 418 419 422 423 426 441 452 453 454 456 457 459 461 462 463 471 478 480 487 488 489 490 491 493 498 499 500 501 506
a 1 6 8 10 16 20 21 22 25 30 34 43 47 48 51 52 53 54 58 59 64 68 76 79 81 83 85 89 95 97 98 103 107 108 109 113 114 116 119 125 127 128 129 132 134 138 142 143 144 145 148 149 150 152 154 155 163 169 174 175 178 181 183 188 192 193 194 197 202 208 211 214 222 223 224 226 232 235 236 237 238 244 246 247 254 258 264 265 267 269 271 273 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 323 324 334 338 340 346 349 351 354 355 360 363 364 367 369 371 380 381 385 390 393 408 409 410 414 418 419 422 423 426 441 452 453 454 456 457 459 461 462 463 471 478 480 487 488 489 490 491 493 498 499 500 501 506
a 1 6 8 10 16 20 21 22 25 30 34 43 47 48 51 52 53 54 58 59 64 68 76 79 81 83 85 89 95 97 98 103 107 108 109 113 114 116 119 125 127 128 129 132 134 138 142 143 144 145 148 149 150 152 154 155 163 167 169 174 175 178 181 183 188 192 193 194 197 202 208 211 214 222 223 224 226 232 235 236 237 238 244 246 247 254 258 264 265 267 269 271 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 323 324 334 338 340 346 349 351 354 355 360 363 364 367 369 371 380 381 385 390 393 408 409 410 414 418 419 422 423 426 441 452 453 454 456 457 459 461 462 463 471 478 480 487 488 489 490 491 493 498 499 500 501 506
a 1 6 8 10 16 20 21 22 25 30 34 43 47 48 51 52 53 54 58 59 64 68 76 79 81 83 85 89 95 97 98 103 107 108 109 113 114 116 119 125 127 128 129 132 134 138 142 143 144 145 148 149 150 152 154 155 163 167 169 174 175 178 181 183 188 192 194 197 202 208 211 214 220 222 223 224 226 232 235 236 237 238 244 246 247 254 258 264 265 267 269 271 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 323 324 334 338 340 346 349 351 354 355 360 363 364 367 369 371 380 381 385 390 393 408 409 410 414 418 419 422 423 426 441 452 453 454 456 457 459 461 462 463 471 478 480 487 488 489 490 491 493 498 499 500 501 506
a 1 6 8 10 16 20 21 22 25 30 34 43 47 48 51 52 53 54 58 59 64 68 76 79 81 83 85 89 95 97 98 103 107 108 109 113 114 116 119 125 127 128 129 132 134 138 142 143 144 145 148 149 150 152 154 155 163 167 169 174 175 178 181 183 188 192 194 197 202 208 211 214 220 222 223 224 226 232 235 236 237 238 244 246 254 258 264 265 267 269 271 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 323 324 334 338 340 346 349 351 354 355 360 363 364 367 369 371 380 381 385 390 393 408 409 410 414 418 419 422 423 426 441 452 453 454 456 457 459 461 462 463 471 478 480 487 488 489 490 491 493 497 498 499 500 501 506
a 1 6 8 10 16 20 21 22 25 30 34 43 47 48 51 52 53 54 58 59 64 68 76 79 81 83 85 89 95 97 98 103 107 108 109 113 114 116 119 125 127 128 129 132 134 138 142 143 144 145 148 149 150 152 154 155 163 167 169 174 175 178 181 183 188 192 194 197 202 208 211 214 220 223 224 226 232 235 236 237 238 244 246 254 258 264 265 267 269 271 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 323 324 334 338 340 346 349 351 354 355 360 363 364 367 369 371 380 381 385 388 390 393 408 409 410 414 418 419 422 423 426 441 452 453 454 456 457 459 461 462 463 471 478 480 487 488 489 490 491 493 497 498 499 500 501 506
a 1 6 8 10 16 20 21 22 25 30 34 43 47 48 51 52 53 54 58 59 64 68 76 79 81 83 85 89 95 97 98 103 107 108 109 113 114 116 117 119 125 127 128 129 132 134 138 142 143 144 145 148 149 150 152 154 155 163 167 169 174 175 178 181 183 188 192 194 197 202 208 211 214 220 223 224 226 232 235 236 237 238 244 246 254 258 264 265 267 269 271 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 323 324 334 338 340 346 349 351 354 355 360 363 364 367 369 380 381 385 388 390 393 408 409 410 414 418 419 422 423 426 441 452 453 454 456 457 459 461 462 463 471 478 480 487 488 489 490 491 493 497 498 499 500 501 506
a 1 6 8 10 16 20 21 22 25 30 34 43 47 48 51 52 53 54 58 59 64 68 76 79 81 83 85 89 95 97 98 103 107 108 109 113 114 116 117 119 125 127 128 129 132 134 138 142 143 144 145 148 149 150 152 154 155 163 167 169 174 175 178 181 183 188 192 194 197 202 208 211 214 220 224 226 232 235 236 237 238 244 246 254 258 264 265 267 268 269 271 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 323 324 334 338 340 346 349 351 354 355 360 363 364 367 369 380 381 385 388 390 393 408 409 410 414 418 419 422 423 426 441 452 453 454 456 457 459 461 462 463 471 478 480 487 488 489 490 491 493 497 498 499 500 501 506
a 1 6 8 10 16 20 21 22 25 30 34 43 47 48 51 52 53 54 58 59 64 68 69 76 79 81 83 85 89 95 97 98 103 107 108 109 113 114 116 117 119 125 127 128 129 132 134 138 142 143 144 145 148 149 150 152 154 155 163 167 169 174 175 178 181 183 188 192 194 197 202 208 211 214 220 224 226 232 235 236 237 238 244 246 254 264 265 267 268 269 271 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 323 324 334 338 340 346 349 351 354 355 360 363 364 367 369 380 381 385 388 390 393 408 409 410 414 418 419 422 423 426 441 452 453 454 456 457 459 461 462 463 471 478 480 487 488 489 490 491 493 497 498 499 500 501 506
a 1 6 8 10 16 20 21 22 25 30 34 43 47 48 51 52 53 54 58 59 64 68 69 76 79 81 83 85 89 95 97 98 103 107 108 109 113 114 116 117 119 125 127 128 129 132 134 138 142 143 144 145 148 149 150 152 154 155 163 167 169 174 175 178 181 183 188 192 194 197 202 208 211 213 214 220 224 226 232 235 236 237 238 244 246 254 264 265 267 268 269 271 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 323 324 334 338 340 346 349 351 354 355 360 363 364 367 369 381 385 388 390 393 408 409 410 414 418 419 422 423 426 441 452 453 454 456 457 459 461 462 463 471 478 480 487 488 489 490 491 493 497 498 499 500 501 506
a 6 8 10 16 20 21 22 25 30 34 43 47 48 51 52 53 54 58 59 64 68 69 76 79 81 83 85 89 95 97 98 103 107 108 109 113 114 116 117 119 125 127 128 129 132 134 138 142 143 144 145 148 149 150 152 154 155 163 167 169 174 175 178 181 183 188 192 194 197 202 208 211 213 214 220 224 226 232 235 236 237 238 239 244 246 254 264 265 267 268 269 271 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 323 324 334 338 340 346 349 351 354 355 360 363 364 367 369 381 385 388 390 393 408 409 410 414 418 419 422 423 426 441 452 453 454 456 457 459 461 462 463 471 478 480 487 488 489 490 491 493 497 498 499 500 501 506
a 6 8 10 16 20 21 25 30 34 43 47 48 51 52 53 54 58 59 64 68 69 76 79 81 83 85 89 95 97 98 103 107 108 109 113 114 116 117 119 125 127 128 129 132 134 138 142 143 144 145 148 149 150 152 154 155 163 167 169 174 175 178 181 183 188 192 194 197 198 202 208 211 213 214 220 224 226 232 235 236 237 238 239 244 246 254 264 265 267 268 269 271 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 323 324 334 338 340 346 349 351 354 355 360 363 364 367 369 381 385 388 390 393 408 409 410 414 418 419 422 423 426 441 452 453 454 456 457 459 461 462 463 471 478 480 487 488 489 490 491 493 497 498 499 500 501 506
a 6 8 10 16 20 21 25 30 34 43 47 48 51 52 53 54 58 59 64 68 69 76 79 81 83 85 89 95 97 98 103 107 108 109 113 114 116 117 119 125 127 128 129 132 134 138 142 143 144 145 148 149 150 152 154 155 163 167 169 174 175 178 181 183 188 192 194 197 198 202 208 211 213 214 220 224 226 232 235 236 237 238 239 244 246 254 264 265 267 268 269 271 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 324 334 338 340 346 349 351 354 355 360 363 364 367 369 381 385 388 390 392 393 408 409 410 414 418 419 422 423 426 441 452 453 454 456 457 459 461 462 463 471 478 480 487 488 489 490 491 493 497 498 499 500 501 506
a 6 8 10 20 21 25 30 34 43 47 48 51 52 53 54 58 59 64 68 69 76 79 81 83 85 89 95 97 98 103 107 108 109 113 114 116 117 119 125 127 128 129 132 134 138 142 143 144 145 148 149 150 152 154 155 163 167 169 174 175 178 181 183 188 191 192 194 197 198 202 208 211 213 214 220 224 226 232 235 236 237 238 239 244 246 254 264 265 267 268 269 271 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 324 334 338 340 346 349 351 354 355 360 363 364 367 369 381 385 388 390 392 393 408 409 410 414 418 419 422 423 426 441 452 453 454 456 457 459 461 462 463 471 478 480 487 488 489 490 491 493 497 498 499 500 501 506
a 6 8 10 20 21 25 30 34 43 47 48 51 52 53 54 58 59 64 68 69 76 79 81 83 85 89 95 97 98 103 107 108 109 113 114 116 117 119 125 127 128 129 132 134 138 142 143 144 148 149 150 151 152 154 155 163 167 169 174 175 178 181 183 188 191 192 194 197 198 202 208 211 213 214 220 224 226 232 235 236 237 238 239 244 246 254 264 265 267 268 269 271 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 324 334 338 340 346 349 351 354 355 360 363 364 367 369 381 385 388 390 392 393 408 409 410 414 418 419 422 423 426 441 452 453 454 456 457 459 461 462 463 471 478 480 487 488 489 490 491 493 497 498 499 500 501 506
a 6 8 10 20 21 25 30 34 43 47 48 51 52 53 54 58 59 64 68 69 76 79 81 83 85 89 95 97 98 103 107 108 109 113 114 116 117 119 125 127 128 129 132 134 138 142 143 144 148 149 150 151 152 154 155 163 167 169 174 175 178 181 188 191 192 194 197 198 202 208 211 213 214 220 224 226 232 235 236 237 238 239 244 246 254 264 265 267 268 269 271 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 324 334 338 340 346 347 349 351 354 355 360 363 364 367 369 381 385 388 390 392 393 408 409 410 414 418 419 422 423 426 441 452 453 454 456 457 459 461 462 463 471 478 480 487 488 489 490 491 493 497 498 499 500 501 506
a 6 8 10 20 21 25 30 34 43 47 48 51 52 53 54 58 59 64 68 69 76 79 81 83 85 89 95 97 98 103 107 108 109 113 114 116 117 119 125 127 128 129 131 132 138 142 143 144 148 149 150 151 152 154 155 163 167 169 174 175 178 181 188 191 192 194 197 198 202 208 211 213 214 220 224 226 232 235 236 237 238 239 244 246 254 264 265 267 268 269 271 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 324 334 338 340 346 347 349 351 354 355 360 363 364 367 369 381 385 388 390 392 393 408 409 410 414 418 419 422 423 426 441 452 453 454 456 457 459 461 462 463 471 478 480 487 488 489 490 491 493 497 498 499 500 501 506
a 6 8 10 20 21 25 30 34 43 47 48 51 52 53 54 58 59 64 68 69 76 79 81 83 89 95 97 98 103 107 108 109 113 114 116 117 119 125 127 128 129 131 132 138 142 143 144 148 149 150 151 152 154 155 163 167 169 174 175 178 179 181 188 191 192 194 197 198 202 208 211 213 214 220 224 226 232 235 236 237 238 239 244 246 254 264 265 267 268 269 271 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 324 334 338 340 346 347 349 351 354 355 360 363 364 367 369 381 385 388 390 392 393 408 409 410 414 418 419 422 423 426 441 452 453 454 456 457 459 461 462 463 471 478 480 487 488 489 490 491 493 497 498 499 500 501 506
a 6 8 10 20 21 25 30 34 43 47 48 51 52 53 54 58 59 64 68 69 79 81 83 89 95 97 98 103 107 108 109 113 114 116 117 119 125 127 128 129 131 132 138 142 143 144 148 149 150 151 152 154 155 163 167 169 174 175 178 179 181 188 191 192 194 197 198 202 208 211 213 214 220 224 226 232 235 236 237 238 239 244 246 254 264 265 267 268 269 271 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 324 334 338 340 346 347 349 351 354 355 360 363 364 367 369 381 385 388 390 391 392 393 408 409 410 414 418 419 422 423 426 441 452 453 454 456 457 459 461 462 463 471 478 480 487 488 489 490 491 493 497 498 499 500 501 506
a 6 8 10 20 21 25 30 34 43 47 48 51 52 53 54 58 59 64 65 68 69 79 81 83 89 95 97 98 103 107 108 109 113 114 116 117 119 125 127 128 129 131 132 138 142 143 144 148 149 150 151 152 154 155 163 167 169 174 175 178 179 181 188 191 192 194 198 202 208 211 213 214 220 224 226 232 235 236 237 238 239 244 246 254 264 265 267 268 269 271 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 324 334 338 340 346 347 349 351 354 355 360 363 364 367 369 381 385 388 390 391 392 393 408 409 410 414 418 419 422 423 426 441 452 453 454 456 457 459 461 462 463 471 478 480 487 488 489 490 491 493 497 498 499 500 501 506
a 6 8 10 20 21 25 30 34 43 47 48 51 52 53 54 58 59 64 65 68 69 79 81 83 89 95 97 98 103 107 108 109 113 114 116 117 119 125 127 128 131 132 138 142 143 144 148 149 150 151 152 154 155 163 167 169 174 175 178 179 181 188 191 192 194 198 202 208 211 213 214 220 224 226 230 232 235 236 237 238 239 244 246 254 264 265 267 268 269 271 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 324 334 338 340 346 347 349 351 354 355 360 363 364 367 369 381 385 388 390 391 392 393 408 409 410 414 418 419 422 423 426 441 452 453 454 456 457 459 461 462 463 471 478 480 487 488 489 490 491 493 497 498 499 500 501 506
a 6 8 10 20 21 23 25 30 34 43 47 48 51 52 53 54 58 59 64 65 68 69 79 83 89 95 97 98 103 107 108 109 113 114 116 117 119 125 127 128 131 132 138 142 143 144 148 149 150 151 152 154 155 163 167 169 174 175 178 179 181 188 191 192 194 198 202 208 211 213 214 220 224 226 230 232 235 236 237 238 239 244 246 254 264 265 267 268 269 271 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 324 334 338 340 346 347 349 351 354 355 360 363 364 367 369 381 385 388 390 391 392 393 408 409 410 414 418 419 422 423 426 441 452 453 454 456 457 459 461 462 463 471 478 480 487 488 489 490 491 493 497 498 499 500 501 506
c Step: 128
	Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance039_graph004.col /benchmark/random_instance/random_instance039_graph004_01.dat"
	User time (seconds): 554.67
	System time (seconds): 8.36
	Percent of CPU this job got: 152%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 6:08.08
	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): 23695788
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 8277160
	Voluntary context switches: 496151
	Involuntary context switches: 2835
	Swaps: 0
	File system inputs: 0
	File system outputs: 1040
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Mon Sep  4 12:42:36 2023]