#BEGIN: [Mon Sep  4 14:01:45 2023]
#HOST: s14
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-banbaralab2-existent2
#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 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na /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): INTERRUPTED by signal!
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 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 213 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 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 130 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 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 130 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 266 267 271 272 273 277 280 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 46 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 130 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 254 255 261 266 267 271 272 273 277 280 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 31 34 35 38 43 46 47 52 53 58 60 61 64 68 70 75 76 77 79 81 85 86 96 100 108 110 113 116 119 120 122 124 125 128 130 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 254 255 261 266 267 271 272 273 277 280 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 31 34 35 38 43 46 47 52 53 58 60 61 64 68 70 75 76 77 79 81 85 86 96 100 108 110 113 116 119 120 122 124 125 128 130 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 254 255 261 266 267 271 272 273 277 280 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 46 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 130 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 254 255 261 266 267 271 272 273 277 280 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 46 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 130 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 254 255 261 266 267 271 272 273 277 280 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 380 381 382 385 390 391 393 395 404 410 415 419 421 425 426 430 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 46 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 130 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 254 255 261 266 267 271 272 277 280 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 380 381 382 385 390 391 393 395 404 410 415 419 421 425 426 430 433 436 437 441 444 454 455 459 460 462 463 468 475 478 479 480 483 486 492 503 506
a 1 4 8 13 16 20 22 26 27 31 34 35 38 43 46 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 130 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 254 255 261 266 271 272 277 280 284 285 286 287 290 292 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 380 381 382 385 390 391 393 395 404 410 415 419 421 425 426 430 433 436 437 441 444 454 455 459 460 462 463 468 475 478 479 480 483 486 492 503 506
a 1 4 8 13 16 20 22 26 27 31 34 35 38 43 46 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 130 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 186 195 197 202 204 207 208 210 211 216 220 222 223 224 226 230 233 235 236 240 243 245 247 254 255 261 266 271 272 277 280 284 285 286 287 290 292 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 380 381 382 385 390 391 393 395 404 410 415 419 421 425 426 430 433 436 437 441 444 454 455 459 460 462 463 468 475 478 479 480 483 486 492 503 506
a 1 4 8 13 16 20 22 26 27 31 34 35 38 43 46 47 52 53 58 60 61 64 68 70 75 76 77 79 81 85 86 95 96 100 108 113 116 119 120 122 124 125 128 130 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 186 195 197 202 204 207 208 210 211 216 220 222 223 224 226 230 233 235 236 240 243 245 247 254 255 261 266 271 272 277 280 284 285 286 287 290 292 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 380 381 385 390 391 393 395 404 410 415 419 421 425 426 430 433 436 437 441 444 454 455 459 460 462 463 468 475 478 479 480 483 486 492 503 506
a 1 4 8 13 16 22 26 27 31 34 35 38 43 46 47 52 53 58 60 61 64 68 70 75 76 77 79 81 85 86 95 96 100 108 113 116 119 120 122 124 125 128 130 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 186 195 197 202 204 207 208 210 211 216 220 222 223 224 226 230 233 235 236 240 243 245 247 254 255 261 266 271 272 277 280 284 285 286 287 290 291 292 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 380 381 385 390 391 393 395 404 410 415 419 421 425 426 430 433 436 437 441 444 454 455 459 460 462 463 468 475 478 479 480 483 486 492 503 506
a 1 4 8 13 16 22 26 27 31 34 35 38 43 46 47 52 53 58 60 61 64 68 70 75 76 77 79 81 85 86 95 96 100 105 108 113 116 119 120 122 124 125 128 130 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 186 195 197 202 204 207 208 210 211 216 220 222 223 224 226 230 233 235 236 240 243 245 247 254 255 261 266 271 272 277 280 284 285 286 287 290 291 292 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 340 349 351 354 360 365 367 369 371 377 380 381 385 390 391 393 395 404 410 415 419 421 425 426 430 433 436 437 441 444 454 455 459 460 462 463 468 475 478 479 480 483 486 492 503 506
a 1 4 8 13 16 22 26 27 31 34 35 38 43 46 47 52 53 58 60 61 64 68 70 75 76 77 79 81 85 86 95 96 100 105 108 113 116 119 120 122 124 125 128 130 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 186 195 197 202 204 207 208 210 211 216 220 222 223 224 226 230 233 235 236 240 243 245 247 254 255 261 266 271 272 275 277 280 284 285 286 287 290 291 292 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 340 349 351 354 360 365 367 369 371 377 380 381 385 390 393 395 404 410 415 419 421 425 426 430 433 436 437 441 444 454 455 459 460 462 463 468 475 478 479 480 483 486 492 503 506
a 1 4 8 13 16 22 26 27 31 34 35 38 43 46 47 52 53 58 60 61 64 68 70 75 76 77 79 81 85 86 95 96 100 105 108 113 116 119 120 122 124 125 128 130 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 186 191 195 197 202 204 207 208 210 211 216 220 222 223 224 226 233 235 236 240 243 245 247 254 255 261 266 271 272 275 277 280 284 285 286 287 290 291 292 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 340 349 351 354 360 365 367 369 371 377 380 381 385 390 393 395 404 410 415 419 421 425 426 430 433 436 437 441 444 454 455 459 460 462 463 468 475 478 479 480 483 486 492 503 506
a 1 4 8 13 16 22 26 27 31 34 35 38 43 46 47 52 53 58 60 61 64 68 70 75 76 77 79 81 85 86 95 96 100 105 108 113 116 119 120 122 124 125 128 130 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 186 191 193 195 197 202 204 207 208 210 211 216 222 223 224 226 233 235 236 240 243 245 247 254 255 261 266 271 272 275 277 280 284 285 286 287 290 291 292 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 340 349 351 354 360 365 367 369 371 377 380 381 385 390 393 395 404 410 415 419 421 425 426 430 433 436 437 441 444 454 455 459 460 462 463 468 475 478 479 480 483 486 492 503 506
a 1 4 8 13 16 22 26 27 31 34 35 38 43 46 47 52 53 58 60 61 64 68 70 75 76 77 79 81 85 86 95 96 100 105 108 113 116 119 120 122 124 125 128 130 132 134 138 141 142 145 146 160 161 165 166 169 170 175 178 181 183 186 191 193 195 197 202 204 207 208 210 211 216 219 222 223 224 226 233 235 236 240 243 245 247 254 255 261 266 271 272 275 277 280 284 285 286 287 290 291 292 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 340 349 351 354 360 365 367 369 371 377 380 381 385 390 393 395 404 410 415 419 421 425 426 430 433 436 437 441 444 454 455 459 460 462 463 468 475 478 479 480 483 486 492 503 506
a 1 4 8 13 16 22 26 27 31 34 35 38 43 46 47 52 53 58 60 61 64 68 70 75 76 77 79 81 85 86 95 96 100 105 108 113 116 119 120 122 124 125 128 130 132 134 138 141 142 145 146 160 161 165 166 169 170 175 178 181 183 186 191 193 195 197 202 204 207 208 210 211 216 219 222 223 224 226 233 235 236 240 243 245 247 254 255 261 266 271 272 275 277 280 284 285 286 287 290 291 292 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 340 351 354 360 365 367 369 371 377 380 381 385 390 393 395 404 410 415 419 421 425 426 429 430 433 436 437 441 444 454 455 459 460 462 463 468 475 478 479 480 483 486 492 503 506
a 1 4 8 13 16 22 26 27 31 34 35 38 43 46 47 52 53 58 60 61 64 68 70 75 76 77 79 81 85 86 95 96 100 105 108 113 116 119 120 122 124 125 128 130 132 134 138 141 142 145 146 160 161 165 166 169 170 175 178 181 183 186 191 195 197 202 204 207 208 210 211 216 219 220 222 223 224 226 233 235 236 240 243 245 247 254 255 261 266 271 272 275 277 280 284 285 286 287 290 291 292 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 340 351 354 360 365 367 369 371 377 380 381 385 390 393 395 404 410 415 419 421 425 426 429 430 433 436 437 441 444 454 455 459 460 462 463 468 475 478 479 480 483 486 492 503 506
a 1 4 8 13 16 22 26 27 31 34 35 38 43 46 47 52 53 58 60 61 64 68 70 75 76 77 79 81 85 86 95 96 100 105 108 113 116 119 120 122 124 125 128 130 132 134 138 141 142 145 146 160 161 165 166 169 170 175 178 181 183 186 191 195 197 202 204 207 208 210 211 216 219 220 222 223 224 226 233 235 236 240 243 245 247 254 255 261 266 271 272 275 277 280 284 285 286 287 290 291 292 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 340 351 354 360 365 367 369 371 377 380 381 385 390 393 395 404 410 415 419 421 425 426 429 430 433 436 437 441 444 454 455 459 460 462 463 468 475 478 479 480 483 486 488 492 503
a 1 4 8 13 16 22 26 27 31 34 35 38 43 46 47 52 53 58 60 61 64 68 70 75 76 77 79 81 85 86 95 96 100 105 108 113 116 119 120 122 125 128 130 132 134 138 141 142 145 146 160 161 165 166 169 170 175 178 181 183 186 191 195 197 202 204 207 208 210 211 216 219 220 222 223 224 226 233 235 236 240 243 245 247 254 255 261 266 271 272 275 277 280 284 285 286 287 290 291 292 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 340 351 354 360 365 367 369 371 377 380 381 385 390 393 395 404 410 415 419 421 425 426 429 430 433 436 437 441 444 454 455 459 460 462 463 468 475 478 479 480 483 486 488 492 501 503
a 1 4 8 13 16 22 26 27 31 34 35 38 43 46 47 52 53 58 60 61 64 68 70 75 76 77 79 81 85 86 95 96 100 105 108 113 116 119 120 122 125 128 130 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 186 191 195 197 202 204 207 208 210 211 216 219 220 222 223 224 226 233 235 236 240 243 245 247 254 255 261 266 271 272 275 277 280 284 285 286 287 290 291 292 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 340 351 354 360 365 367 369 371 377 380 381 385 390 393 395 404 410 415 419 421 425 426 429 430 433 436 437 441 444 454 455 459 460 463 468 475 478 479 480 483 486 488 492 501 503
a 1 4 8 13 16 22 26 27 31 34 35 38 43 46 47 52 53 58 60 61 64 68 70 75 76 77 79 81 85 86 96 100 105 108 113 116 119 120 122 125 128 130 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 186 191 195 197 202 204 207 208 210 211 216 219 220 222 223 224 226 233 235 236 240 243 245 247 254 255 261 266 271 272 275 277 280 284 285 286 287 290 291 292 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 340 351 354 360 365 367 369 371 377 380 381 382 385 390 393 395 404 410 415 419 421 425 426 429 430 433 436 437 441 444 454 455 459 460 463 468 475 478 479 480 483 486 488 492 501 503
a 1 4 8 13 16 22 26 27 31 34 35 38 43 46 47 52 53 58 60 61 64 68 70 75 76 77 79 81 85 86 96 100 105 108 113 116 119 120 122 125 128 130 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 186 191 195 197 202 204 207 208 210 211 216 219 220 222 223 224 226 233 235 236 240 243 245 247 254 255 261 266 271 272 275 277 280 284 285 286 287 290 291 292 294 296 302 312 315 319 322 323 324 329 330 331 333 338 340 351 354 360 365 367 369 371 377 380 381 382 385 390 393 395 404 410 415 419 421 425 426 429 430 433 436 437 441 444 454 455 459 460 462 463 468 475 478 479 480 483 486 488 492 501 503
a 1 4 8 13 16 22 26 27 31 34 35 38 43 46 47 52 53 58 60 61 64 68 70 75 76 77 79 81 85 86 96 100 105 108 113 116 119 120 122 125 128 130 132 134 138 141 142 146 160 161 165 166 168 169 170 175 178 181 183 186 191 195 197 202 204 207 208 210 211 216 219 220 222 223 224 226 233 235 236 240 243 245 247 254 255 261 266 271 272 275 277 280 284 285 286 287 290 291 292 294 296 302 312 315 319 322 323 324 329 330 331 333 338 340 351 354 360 365 367 369 371 377 380 381 382 385 390 393 395 404 410 415 419 421 425 426 429 430 433 436 437 441 444 454 455 459 460 462 463 468 475 478 479 480 483 486 488 492 501 503 506
a 1 4 8 13 16 22 26 27 31 34 35 38 43 46 47 52 53 58 60 61 64 68 70 75 76 77 79 81 85 86 96 100 105 108 113 116 119 120 122 124 125 128 130 132 134 138 141 142 146 160 161 165 166 168 169 170 175 178 181 183 186 191 195 197 202 204 207 208 210 211 216 219 220 222 223 224 226 233 235 236 240 243 245 247 254 255 261 266 271 272 275 277 280 284 285 286 287 290 291 292 294 296 302 312 315 319 322 323 324 329 330 331 333 338 340 351 354 360 365 367 369 371 377 380 381 382 385 390 393 395 404 410 415 419 421 425 426 429 430 433 436 437 441 444 454 455 459 460 462 463 468 475 478 479 480 483 486 488 492 503 506
a 1 4 8 13 16 22 26 27 31 34 35 38 43 46 47 52 53 58 60 61 64 68 70 75 76 77 79 81 85 86 96 100 105 108 113 116 120 122 124 125 128 130 132 134 138 141 142 146 160 161 165 166 168 169 170 175 178 181 183 186 191 195 197 202 204 207 208 210 211 216 219 220 222 223 224 226 233 235 236 240 243 245 247 254 255 261 266 271 272 275 277 280 284 285 286 287 290 291 292 294 296 302 312 315 319 322 323 324 329 330 331 333 338 340 351 354 360 365 367 369 371 377 380 381 382 385 390 393 395 404 410 415 419 421 425 426 429 430 433 436 437 441 444 450 454 455 459 460 462 463 468 475 478 479 480 483 486 488 492 503 506
a 1 4 8 13 16 22 26 27 31 34 35 38 43 46 47 52 53 58 60 61 64 68 70 75 76 77 79 81 85 86 96 100 105 108 113 116 120 122 124 125 128 130 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 186 191 195 197 202 204 207 208 210 211 216 219 220 222 223 224 226 233 235 236 240 243 245 247 254 255 261 266 271 272 275 277 280 284 285 286 287 290 291 292 294 296 302 312 315 319 322 323 324 329 330 331 333 338 340 351 354 360 365 367 369 371 377 380 381 382 385 390 393 395 404 410 415 419 421 425 426 429 430 433 436 437 444 450 454 455 459 460 462 463 468 475 478 479 480 483 486 488 492 503 506
a 1 4 8 13 16 22 26 27 31 34 35 38 43 46 47 52 53 58 60 61 64 68 70 75 76 77 79 81 85 86 96 100 105 108 113 116 120 122 124 125 128 130 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 186 191 195 197 202 204 207 210 211 216 219 220 222 223 224 226 233 235 236 240 243 245 247 254 255 261 266 271 272 275 277 280 284 285 286 287 290 291 292 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 340 351 354 360 365 367 369 371 377 380 381 382 385 390 393 395 404 410 415 419 421 425 426 429 430 433 436 437 444 450 454 455 459 460 462 463 468 475 478 479 480 483 486 488 492 503 506
a 1 4 8 13 16 22 26 27 31 34 35 38 43 46 47 52 53 58 60 61 64 68 70 75 76 77 79 81 85 86 96 100 105 108 113 116 120 122 125 128 130 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 186 191 195 197 202 204 207 210 211 216 219 220 222 223 224 226 233 235 236 240 243 245 247 254 255 261 266 271 272 275 277 280 284 285 286 287 290 291 292 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 340 351 354 360 365 367 369 371 377 380 381 382 385 390 393 395 404 410 415 419 421 425 426 429 430 433 436 437 444 450 454 455 459 460 462 463 468 475 478 479 480 483 486 488 492 501 503 506
a 1 4 8 13 16 22 26 27 31 34 35 38 43 46 47 52 53 58 60 61 64 68 70 75 76 77 79 81 85 86 96 100 105 108 113 116 120 122 125 128 130 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 186 191 195 197 202 204 207 210 211 216 219 220 222 223 224 226 233 235 236 240 243 245 247 254 255 261 266 271 272 275 277 280 284 285 286 287 290 291 292 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 340 351 354 360 365 367 369 371 377 380 381 382 385 390 393 395 404 410 415 419 421 425 426 429 430 433 436 437 441 444 450 454 455 459 460 462 463 468 475 478 479 480 483 486 488 492 501 506
a 1 4 8 13 16 22 26 27 31 34 35 38 43 46 47 52 53 58 60 61 64 68 70 76 77 79 81 85 86 96 100 105 108 113 116 120 122 125 128 130 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 186 191 195 197 202 204 207 208 210 211 216 219 220 222 223 224 226 233 235 236 240 243 245 247 254 255 261 266 271 272 275 277 280 284 285 286 287 290 291 292 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 340 351 354 360 365 367 369 371 377 380 381 382 385 390 393 395 404 410 415 419 421 425 426 429 430 433 436 437 441 444 450 454 455 459 460 462 463 468 475 478 479 480 483 486 488 492 501 506
a 1 4 8 10 13 16 22 26 27 31 34 35 38 43 46 47 52 53 58 60 61 64 68 70 76 77 79 81 85 86 96 100 105 108 113 116 120 122 125 128 130 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 186 191 195 197 202 204 207 208 210 211 216 219 220 223 224 226 233 235 236 240 243 245 247 254 255 261 266 271 272 275 277 280 284 285 286 287 290 291 292 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 340 351 354 360 365 367 369 371 377 380 381 382 385 390 393 395 404 410 415 419 421 425 426 429 430 433 436 437 441 444 450 454 455 459 460 462 463 468 475 478 479 480 483 486 488 492 501 506
a 1 4 8 10 13 16 22 26 27 31 34 35 38 43 47 52 53 58 60 61 64 68 70 76 77 79 81 85 86 96 100 105 108 113 116 120 122 125 128 130 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 186 191 195 197 202 204 207 208 210 211 216 219 220 223 224 226 232 233 235 236 240 243 245 247 254 255 261 266 271 272 275 277 280 284 285 286 287 290 291 292 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 340 351 354 360 365 367 369 371 377 380 381 382 385 390 393 395 404 410 415 419 421 425 426 429 430 433 436 437 441 444 450 454 455 459 460 462 463 468 475 478 479 480 483 486 488 492 501 506
a 1 4 8 10 13 16 22 26 27 31 34 35 38 43 47 52 53 58 60 61 64 68 70 76 77 79 81 85 86 95 96 100 105 108 113 116 120 122 125 128 130 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 186 191 195 197 202 204 207 208 210 211 216 219 220 223 224 226 232 233 235 236 240 243 245 247 254 255 261 266 271 272 275 277 280 284 285 286 287 290 291 292 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 340 351 354 360 365 367 369 371 377 380 381 385 390 393 395 404 410 415 419 421 425 426 429 430 433 436 437 441 444 450 454 455 459 460 462 463 468 475 478 479 480 483 486 488 492 501 506
a 1 4 8 10 13 16 22 26 27 31 34 35 38 43 47 48 52 53 58 60 61 64 68 70 76 77 79 81 85 86 95 96 100 105 108 113 116 120 122 125 128 130 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 186 191 195 197 202 204 207 208 210 211 216 219 220 223 224 226 232 233 235 236 240 243 245 247 254 255 261 266 271 272 275 277 280 284 285 286 287 290 291 292 293 294 296 302 312 315 319 322 323 324 329 330 331 338 340 351 354 360 365 367 369 371 377 380 381 385 390 393 395 404 410 415 419 421 425 426 429 430 433 436 437 441 444 450 454 455 459 460 462 463 468 475 478 479 480 483 486 488 492 501 506
a 1 4 8 10 13 16 20 22 26 27 31 34 35 38 43 47 48 52 53 58 60 61 64 68 70 76 77 79 81 85 86 95 96 100 105 108 113 116 120 122 125 128 130 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 186 191 195 197 202 204 207 208 210 211 216 219 220 223 224 226 232 233 235 236 240 243 245 247 254 255 261 266 271 272 275 277 280 284 285 286 287 290 292 293 294 296 302 312 315 319 322 323 324 329 330 331 338 340 351 354 360 365 367 369 371 377 380 381 385 390 393 395 404 410 415 419 421 425 426 429 430 433 436 437 441 444 450 454 455 459 460 462 463 468 475 478 479 480 483 486 488 492 501 506
a 1 4 8 10 13 16 20 21 22 26 27 31 34 35 38 43 47 48 52 53 58 60 61 64 68 70 76 77 79 81 85 86 95 96 100 105 108 113 116 120 122 125 128 130 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 186 191 195 197 202 204 207 208 210 211 216 219 220 223 224 226 232 233 235 236 240 243 245 247 254 255 266 271 272 275 277 280 284 285 286 287 290 292 293 294 296 302 312 315 319 322 323 324 329 330 331 338 340 351 354 360 365 367 369 371 377 380 381 385 390 393 395 404 410 415 419 421 425 426 429 430 433 436 437 441 444 450 454 455 459 460 462 463 468 475 478 479 480 483 486 488 492 501 506
a 1 4 8 10 13 16 20 21 22 26 27 31 34 35 38 43 47 48 52 53 58 60 61 64 68 70 76 77 79 81 85 86 89 95 96 100 105 108 113 116 120 122 125 128 130 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 186 191 195 197 202 204 207 208 210 211 216 219 220 223 224 226 232 233 235 236 240 243 245 247 254 266 271 272 275 277 280 284 285 286 287 290 292 293 294 296 302 312 315 319 322 323 324 329 330 331 338 340 351 354 360 365 367 369 371 377 380 381 385 390 393 395 404 410 415 419 421 425 426 429 430 433 436 437 441 444 450 454 455 459 460 462 463 468 475 478 479 480 483 486 488 492 501 506
a 1 4 8 10 13 16 20 21 22 26 27 31 34 35 38 43 47 48 52 53 58 60 61 64 68 70 76 77 79 81 85 86 89 95 96 100 105 108 113 116 120 122 125 128 130 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 186 191 195 197 202 204 207 208 210 211 216 219 220 223 224 226 232 233 235 236 240 243 245 247 254 266 271 272 275 277 280 284 285 286 287 290 292 293 294 296 302 312 315 319 322 323 324 329 330 331 338 340 351 354 360 365 367 369 371 377 380 381 385 390 393 395 404 410 415 419 421 422 425 426 429 430 433 436 437 441 444 450 454 455 459 460 462 463 475 478 479 480 483 486 488 492 501 506
a 1 4 8 10 13 16 20 21 22 26 27 31 34 35 38 43 47 48 52 53 58 60 61 64 68 70 76 77 79 81 85 86 89 95 96 100 105 108 113 116 120 122 125 128 130 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 186 191 195 197 202 204 207 208 210 211 216 219 220 223 224 226 232 233 235 236 240 243 245 246 247 254 266 271 272 275 277 280 284 285 286 287 290 292 293 294 296 302 312 315 319 322 323 324 329 330 331 338 340 351 354 360 367 369 371 377 380 381 385 390 393 395 404 410 415 419 421 422 425 426 429 430 433 436 437 441 444 450 454 455 459 460 462 463 475 478 479 480 483 486 488 492 501 506
a 1 4 8 10 13 16 20 21 22 26 27 31 34 35 38 43 47 48 52 53 58 60 61 64 68 70 76 77 79 81 85 86 89 95 96 100 105 108 113 116 119 120 122 125 128 130 132 134 138 141 142 145 146 160 161 165 166 168 169 170 175 178 181 183 186 191 195 197 202 204 207 208 210 211 216 219 220 223 224 226 232 233 235 236 240 243 245 246 247 254 266 271 272 275 277 280 284 285 286 287 290 292 293 294 296 302 312 315 319 322 323 324 329 330 331 338 340 351 354 360 367 369 371 377 380 381 385 390 393 395 404 410 415 419 421 422 425 426 429 430 433 436 437 441 444 454 455 459 460 462 463 475 478 479 480 483 486 488 492 501 506
a 1 4 8 10 13 16 20 21 22 26 27 31 34 35 38 43 47 48 52 53 58 60 61 64 68 70 76 77 79 81 85 86 89 95 96 100 105 108 113 116 119 120 122 125 128 130 132 134 138 141 142 143 145 146 160 161 165 166 168 169 170 175 178 181 183 186 191 195 197 202 204 207 208 210 211 216 219 220 223 224 226 232 233 235 236 240 243 245 246 247 254 266 271 272 275 277 280 284 285 286 287 290 292 293 294 296 302 312 315 319 322 323 324 329 330 331 338 340 351 354 360 367 369 371 377 380 381 385 390 393 395 404 410 415 419 421 422 425 426 429 430 433 436 437 441 444 454 455 459 460 462 463 475 478 479 480 486 488 492 501 506
a 1 4 8 10 13 16 20 21 22 26 27 31 34 35 38 43 47 48 52 53 58 60 61 64 68 70 76 77 79 81 85 86 89 95 96 100 105 108 113 116 119 120 122 125 128 130 132 134 138 141 142 143 145 146 155 160 161 165 166 168 169 170 175 178 181 183 186 191 195 197 202 204 207 208 210 211 216 219 220 223 224 226 232 233 235 236 240 243 245 246 247 254 266 271 272 275 277 280 284 285 286 287 290 292 293 294 296 302 312 315 319 322 323 324 329 330 331 338 340 351 354 360 367 369 371 377 380 381 385 390 393 395 404 410 415 419 421 422 425 426 429 430 433 436 437 441 444 454 455 459 460 462 463 478 479 480 486 488 492 501 506
a 1 4 8 10 13 16 20 21 22 26 27 31 34 35 43 47 48 52 53 58 60 61 64 68 70 76 77 79 81 85 86 89 95 96 100 105 108 113 116 119 120 122 125 128 130 132 134 138 141 142 143 145 146 155 160 161 165 166 168 169 170 175 178 181 183 186 191 195 197 202 204 207 208 210 211 216 219 220 223 224 226 232 233 235 236 240 243 245 246 247 254 266 271 272 275 277 280 284 285 286 287 290 292 293 294 296 302 312 315 319 322 323 324 329 330 331 338 340 351 354 360 367 369 371 377 380 381 385 390 393 395 404 410 415 419 421 422 425 426 429 430 433 436 437 441 444 452 454 455 459 460 462 463 478 479 480 486 488 492 501 506
a 1 4 8 10 13 16 20 21 22 26 27 31 34 35 43 47 48 52 53 58 60 61 64 68 70 76 77 79 81 85 86 89 95 96 100 105 108 113 116 119 120 122 125 128 130 132 134 138 141 142 143 145 146 155 160 161 165 166 168 169 170 175 178 181 183 186 191 194 195 197 202 204 207 208 210 211 216 219 220 223 224 226 232 233 235 236 240 243 245 246 247 254 266 271 272 275 277 280 284 285 286 287 292 293 294 296 302 312 315 319 322 323 324 329 330 331 338 340 351 354 360 367 369 371 377 380 381 385 390 393 395 404 410 415 419 421 422 425 426 429 430 433 436 437 441 444 452 454 455 459 460 462 463 478 479 480 486 488 492 501 506
a 4 8 10 13 16 20 21 22 26 27 31 34 35 43 47 48 52 53 58 60 61 64 68 70 76 77 79 81 85 86 89 95 96 100 105 108 113 116 119 120 122 125 128 130 132 134 138 141 142 143 145 146 155 160 161 165 166 168 169 170 175 178 181 183 186 191 194 195 197 198 202 204 207 208 210 211 216 219 220 223 224 226 232 233 235 236 240 243 245 246 247 254 266 271 272 275 277 280 284 285 286 287 292 293 294 296 302 312 315 319 322 323 324 329 330 331 338 340 351 354 360 367 369 371 377 380 381 385 390 393 395 404 410 415 419 421 422 425 426 429 430 433 436 437 441 444 452 454 455 459 460 462 463 478 479 480 486 488 492 501 506
a 4 8 10 13 16 20 21 22 25 26 27 31 34 35 43 47 48 52 53 58 60 61 64 68 70 76 77 79 81 85 86 89 95 96 100 105 108 113 116 119 120 122 125 128 130 132 134 138 141 142 143 145 146 155 160 161 165 166 168 169 170 175 178 181 183 186 191 194 195 197 198 202 204 207 208 210 211 216 219 220 223 224 226 232 233 235 236 240 243 245 246 247 254 266 271 272 275 277 280 284 285 286 287 292 293 294 296 302 312 315 319 322 323 324 329 330 331 338 340 351 354 360 367 369 371 377 380 381 385 390 393 395 404 410 415 419 421 422 425 426 429 433 436 437 441 444 452 454 455 459 460 462 463 478 479 480 486 488 492 501 506
a 4 8 10 13 16 20 21 22 25 26 27 31 34 43 47 48 52 53 58 60 61 64 68 70 76 77 79 81 85 86 89 95 96 100 105 108 113 116 119 120 122 125 128 130 132 134 138 141 142 143 145 146 155 160 161 165 166 168 169 170 175 178 181 183 186 191 194 195 197 198 202 204 207 208 210 211 216 219 220 223 224 226 232 233 235 236 240 243 245 246 247 254 266 271 272 275 277 280 284 285 286 287 292 293 294 296 302 312 315 319 322 323 324 329 330 331 338 340 351 354 360 367 369 371 377 380 381 385 390 393 395 404 410 415 419 421 422 425 426 429 433 436 437 441 444 452 454 455 459 460 462 463 478 479 480 486 488 491 492 501 506
a 4 8 10 13 16 20 21 22 25 26 27 31 34 43 47 48 52 53 58 60 61 64 68 70 76 77 79 85 86 89 95 96 100 105 108 113 116 119 120 122 125 128 130 132 134 138 141 142 143 145 146 155 160 161 165 166 168 169 170 175 178 181 183 186 191 194 195 197 198 202 204 207 208 210 211 216 219 220 223 224 226 232 233 235 236 240 243 245 246 247 254 266 271 272 275 277 280 284 285 286 287 292 293 294 296 302 312 315 319 322 323 324 329 330 331 338 340 346 351 354 360 367 369 371 377 380 381 385 390 393 395 404 410 415 419 421 422 425 426 429 433 436 437 441 444 452 454 455 459 460 462 463 478 479 480 486 488 491 492 501 506
a 4 8 10 13 16 20 21 22 23 25 26 27 31 34 43 47 48 52 53 58 60 61 64 68 70 76 77 79 85 86 89 95 96 100 105 108 113 116 119 120 122 125 128 130 132 134 138 141 142 143 145 146 155 160 161 165 166 168 169 170 175 178 181 183 186 191 194 195 197 198 202 204 207 208 210 211 216 219 220 223 224 226 232 233 235 236 240 243 245 246 247 254 266 271 272 275 277 280 284 285 286 287 292 293 294 296 302 312 315 319 322 323 324 329 330 331 338 340 346 351 354 360 367 369 371 377 380 381 385 390 393 395 404 410 415 419 421 422 425 426 433 436 437 441 444 452 454 455 459 460 462 463 478 479 480 486 488 491 492 501 506
a 8 10 13 16 20 21 22 23 25 26 27 31 34 43 47 48 52 53 58 60 61 64 68 70 76 77 79 85 86 89 95 96 100 105 108 113 116 119 120 122 125 128 130 132 134 138 141 142 143 145 146 155 160 161 165 166 168 169 170 175 178 181 183 186 191 194 195 197 198 202 204 207 208 210 211 216 219 220 223 224 226 232 233 235 236 240 243 245 246 247 254 266 271 272 275 277 280 284 285 286 287 292 293 294 296 302 312 315 319 322 323 324 329 330 331 338 340 346 349 351 354 360 367 369 371 377 380 381 385 390 393 395 404 410 415 419 421 422 425 426 433 436 437 441 444 452 454 455 459 460 462 463 478 479 480 486 488 491 492 501 506
a 8 10 13 16 20 21 22 23 25 26 27 31 34 43 47 48 52 53 58 60 64 68 70 76 77 79 85 86 89 95 96 100 105 108 113 116 119 120 122 125 128 130 132 134 138 141 142 143 145 146 155 160 161 165 166 168 169 170 175 178 181 183 186 191 194 195 197 198 202 204 207 208 210 211 216 219 220 223 224 226 232 233 235 236 240 243 245 246 247 254 266 271 272 275 277 278 280 284 285 286 287 292 293 294 296 302 312 315 319 322 323 324 329 330 331 338 340 346 349 351 354 360 367 369 371 377 380 381 385 390 393 395 404 410 415 419 421 422 425 426 433 436 437 441 444 452 454 455 459 460 462 463 478 479 480 486 488 491 492 501 506
a 8 10 13 16 20 21 22 23 25 26 27 31 34 43 47 48 52 53 58 60 64 68 70 76 77 79 85 86 89 95 96 100 105 108 113 116 119 120 122 125 128 130 132 134 138 141 142 143 145 146 155 160 161 165 166 168 169 170 175 178 181 183 186 191 194 195 197 198 202 204 207 208 210 211 216 219 220 223 224 226 232 233 235 236 239 240 243 245 246 247 254 266 271 272 275 277 278 280 284 285 286 287 292 293 294 296 302 312 315 319 322 323 324 329 330 331 338 340 346 349 351 354 360 367 369 371 377 380 381 385 390 393 395 404 410 415 419 421 422 425 426 433 436 437 441 444 452 454 459 460 462 463 478 479 480 486 488 491 492 501 506
a 8 10 13 16 20 21 22 23 25 26 27 31 34 43 47 48 52 53 58 60 64 68 70 76 77 79 85 86 89 95 96 100 105 108 113 116 119 120 122 125 128 130 132 134 138 141 142 143 145 146 155 160 161 165 168 169 170 175 178 181 183 186 191 194 195 197 198 202 204 207 208 210 211 216 219 220 223 224 226 232 233 235 236 239 240 243 245 246 247 254 266 271 272 275 277 278 280 284 285 286 287 292 293 294 296 302 312 315 319 322 323 324 329 330 331 338 340 346 349 351 354 360 367 369 371 377 380 381 385 390 391 393 395 404 410 415 419 421 422 425 426 433 436 437 441 444 452 454 459 460 462 463 478 479 480 486 488 491 492 501 506
a 8 10 13 16 20 21 22 23 25 26 27 31 34 43 47 48 52 53 58 60 64 68 70 76 77 79 85 86 89 95 96 100 105 108 113 116 119 120 122 125 128 130 132 134 138 141 142 143 145 146 155 160 161 165 168 169 170 175 178 181 183 191 194 195 197 198 202 204 207 208 210 211 216 219 220 223 224 226 232 233 235 236 239 240 243 245 246 247 254 266 271 272 275 277 278 280 284 285 286 287 292 293 294 296 302 312 315 319 322 323 324 329 330 331 338 340 346 349 351 354 360 367 369 371 377 380 381 385 390 391 393 395 404 410 415 419 421 422 425 426 433 436 437 441 444 452 454 459 460 462 463 478 479 480 486 488 491 492 500 501 506
a 8 10 13 16 20 21 22 23 25 26 27 31 34 43 47 48 52 53 58 60 64 68 70 76 77 79 85 86 89 95 96 100 105 108 113 116 119 120 122 125 128 130 132 134 138 141 142 143 145 146 155 160 161 165 168 169 170 175 178 181 183 191 194 195 197 198 202 204 207 208 210 211 216 219 220 223 224 226 230 232 233 235 236 239 240 243 245 246 247 254 266 271 272 275 277 278 280 284 285 286 287 292 293 294 296 302 312 315 319 322 323 324 329 330 331 338 340 346 349 351 354 360 367 369 371 377 380 381 385 390 391 393 395 404 410 415 419 422 425 426 433 436 437 441 444 452 454 459 460 462 463 478 479 480 486 488 491 492 500 501 506
a 8 10 13 16 20 21 22 23 25 26 27 31 34 43 47 48 52 53 58 60 64 68 70 76 77 79 85 86 89 95 96 100 105 108 113 116 119 120 122 125 128 130 132 134 138 141 142 143 145 146 155 160 161 165 168 169 170 175 178 181 183 191 194 195 197 198 202 204 207 208 210 211 216 219 220 223 224 226 230 232 233 235 236 239 240 243 245 246 247 254 266 271 272 275 277 278 280 284 285 286 287 292 293 294 296 302 312 315 319 322 323 324 329 330 331 338 340 346 349 351 354 360 367 369 371 377 380 381 385 390 391 393 404 410 415 419 422 425 426 433 436 437 441 444 452 454 459 460 462 463 478 479 480 486 488 490 491 492 500 501 506
a 8 10 13 16 20 21 22 23 25 26 27 31 34 43 47 48 52 53 58 60 64 68 70 76 77 79 85 86 89 95 96 100 105 108 113 116 119 120 122 125 128 130 132 134 138 141 142 143 145 146 155 160 161 165 168 169 170 175 178 181 183 191 194 195 197 198 202 204 207 208 210 211 216 219 220 223 224 226 230 232 233 235 236 239 240 243 245 246 247 254 266 271 272 275 277 278 280 284 285 286 287 292 293 294 296 302 303 312 315 319 322 323 324 329 330 331 338 340 346 349 351 354 360 367 369 371 377 380 381 385 390 391 393 404 410 415 419 422 425 426 433 436 437 441 452 454 459 460 462 463 478 479 480 486 488 490 491 492 500 501 506
a 8 10 13 16 20 21 22 23 25 26 27 31 34 43 47 48 52 53 58 60 64 68 70 76 77 79 85 86 89 95 96 100 105 108 113 114 116 119 120 122 125 128 130 132 134 138 141 142 143 145 146 155 161 165 168 169 170 175 178 181 183 191 194 195 197 198 202 204 207 208 210 211 216 219 220 223 224 226 230 232 233 235 236 239 240 243 245 246 247 254 266 271 272 275 277 278 280 284 285 286 287 292 293 294 296 302 303 312 315 319 322 323 324 329 330 331 338 340 346 349 351 354 360 367 369 371 377 380 381 385 390 391 393 404 410 415 419 422 425 426 433 436 437 441 452 454 459 460 462 463 478 479 480 486 488 490 491 492 500 501 506
a 8 10 13 16 20 21 22 23 25 26 27 31 34 43 47 48 52 53 58 60 64 68 70 76 77 79 85 86 89 95 96 100 105 108 113 114 116 119 120 122 125 128 130 132 134 138 141 142 143 144 145 146 155 161 165 168 169 170 175 178 181 183 191 194 195 197 198 202 207 208 210 211 216 219 220 223 224 226 230 232 233 235 236 239 240 243 245 246 247 254 266 271 272 275 277 278 280 284 285 286 287 292 293 294 296 302 303 312 315 319 322 323 324 329 330 331 338 340 346 349 351 354 360 367 369 371 377 380 381 385 390 391 393 404 410 415 419 422 425 426 433 436 437 441 452 454 459 460 462 463 478 479 480 486 488 490 491 492 500 501 506
a 8 10 13 16 20 21 22 23 25 26 27 31 34 43 47 48 52 53 54 58 60 64 68 70 76 77 79 85 86 89 95 96 100 105 108 113 114 116 119 120 122 125 128 130 132 134 138 141 142 143 144 145 146 155 161 165 168 169 170 175 178 181 183 191 194 195 197 198 202 207 208 210 211 216 219 220 223 224 226 230 232 233 235 236 239 240 243 245 246 247 254 266 271 272 275 277 278 280 284 285 286 287 292 293 294 296 302 303 312 315 319 322 323 324 329 330 331 338 340 346 349 351 354 360 367 369 371 377 380 381 385 390 391 393 404 410 415 419 422 425 426 433 436 437 441 452 454 459 460 462 463 478 479 480 486 488 490 491 500 501 506
a 8 10 13 16 20 21 22 23 25 26 27 31 34 43 47 48 52 53 54 58 60 64 68 70 76 77 79 85 86 89 95 96 98 100 105 108 113 114 116 119 120 122 125 128 130 132 134 138 141 142 143 144 145 146 155 161 165 168 169 170 175 178 181 183 191 194 195 197 198 202 207 208 210 211 216 219 220 223 224 226 230 232 233 235 236 239 240 243 245 246 247 254 266 271 272 275 277 278 280 284 285 286 287 292 293 294 296 302 303 312 315 319 322 323 324 329 330 331 338 340 346 349 351 354 360 367 369 371 377 380 381 385 390 391 393 404 410 415 419 422 425 426 433 436 437 441 452 454 459 460 462 463 478 479 480 488 490 491 500 501 506
a 8 10 13 16 20 21 22 23 25 26 27 31 34 43 47 48 52 53 54 58 60 64 68 70 76 77 79 85 86 89 95 96 98 100 105 108 113 114 116 119 120 122 125 127 128 130 132 134 138 141 142 143 144 145 146 155 161 165 168 169 170 175 178 181 183 191 194 195 197 198 202 207 208 210 211 216 219 220 223 224 226 230 232 233 235 236 239 240 245 246 247 254 266 271 272 275 277 278 280 284 285 286 287 292 293 294 296 302 303 312 315 319 322 323 324 329 330 331 338 340 346 349 351 354 360 367 369 371 377 380 381 385 390 391 393 404 410 415 419 422 425 426 433 436 437 441 452 454 459 460 462 463 478 479 480 488 490 491 500 501 506
a 8 10 13 16 20 21 22 23 25 26 27 31 34 43 47 48 52 53 54 58 60 64 68 70 76 77 79 85 86 89 95 96 98 100 105 108 113 114 116 119 120 122 125 127 128 130 132 134 138 141 142 143 144 145 146 155 161 165 168 169 170 175 178 181 183 191 194 195 197 198 202 207 208 210 211 216 219 220 223 224 226 230 232 233 235 236 239 240 245 246 247 254 266 271 272 275 277 278 280 284 285 286 287 292 293 294 296 302 303 312 315 319 322 323 324 329 330 331 338 340 346 349 351 354 360 367 369 371 377 380 381 385 390 391 393 410 415 419 422 425 426 433 436 437 441 452 454 459 460 462 463 478 479 480 488 489 490 491 500 501 506
a 8 10 13 16 20 21 22 23 25 26 27 30 31 34 43 47 48 52 53 54 58 60 64 68 70 76 77 79 85 86 89 95 96 98 100 105 108 113 114 116 119 120 122 125 127 128 130 132 134 138 141 142 143 144 145 146 155 161 165 168 169 170 175 178 181 183 191 194 195 197 198 202 207 208 210 211 216 219 220 223 224 226 230 232 233 235 236 239 240 245 246 247 254 266 271 272 275 277 278 280 284 285 286 287 292 293 294 296 302 303 312 315 319 322 323 324 329 331 338 340 346 349 351 354 360 367 369 371 377 380 381 385 390 391 393 410 415 419 422 425 426 433 436 437 441 452 454 459 460 462 463 478 479 480 488 489 490 491 500 501 506
a 8 10 13 16 20 21 22 23 25 26 27 30 31 34 43 47 48 52 53 54 58 60 64 68 70 76 77 79 85 86 89 95 96 98 100 105 108 113 114 116 119 120 122 125 127 128 130 132 134 138 141 142 143 144 145 146 149 155 161 165 168 169 170 175 178 181 183 191 194 195 197 198 202 207 208 210 211 216 219 220 223 224 226 230 232 235 236 239 240 245 246 247 254 266 271 272 275 277 278 280 284 285 286 287 292 293 294 296 302 303 312 315 319 322 323 324 329 331 338 340 346 349 351 354 360 367 369 371 377 380 381 385 390 391 393 410 415 419 422 425 426 433 436 437 441 452 454 459 460 462 463 478 479 480 488 489 490 491 500 501 506
a 8 10 13 16 20 21 22 23 25 26 27 30 31 34 43 47 48 52 53 54 58 60 64 68 70 76 77 79 85 86 89 95 98 100 105 108 113 114 116 119 120 122 125 127 128 130 132 134 138 141 142 143 144 145 146 149 155 161 165 168 169 170 175 178 181 183 191 194 195 197 198 202 207 208 210 211 216 219 220 223 224 226 230 232 235 236 239 240 245 246 247 254 266 271 272 275 277 278 280 284 285 286 287 292 293 294 296 302 303 305 312 315 319 322 323 324 329 331 338 340 346 349 351 354 360 367 369 371 377 380 381 385 390 391 393 410 415 419 422 425 426 433 436 437 441 452 454 459 460 462 463 478 479 480 488 489 490 491 500 501 506
a 8 10 13 16 20 21 22 23 25 26 27 30 31 34 43 47 48 52 53 54 58 60 64 68 70 76 77 79 83 85 86 89 95 98 100 105 108 113 114 116 119 120 122 125 127 128 130 132 134 138 141 142 143 144 145 146 149 155 161 165 168 169 175 178 181 183 191 194 195 197 198 202 207 208 210 211 216 219 220 223 224 226 230 232 235 236 239 240 245 246 247 254 266 271 272 275 277 278 280 284 285 286 287 292 293 294 296 302 303 305 312 315 319 322 323 324 329 331 338 340 346 349 351 354 360 367 369 371 377 380 381 385 390 391 393 410 415 419 422 425 426 433 436 437 441 452 454 459 460 462 463 478 479 480 488 489 490 491 500 501 506
a 8 10 13 16 20 21 22 23 25 26 27 30 31 34 43 47 48 52 53 54 58 60 64 68 70 76 77 79 83 85 86 89 95 98 100 105 108 113 114 116 119 120 122 125 127 128 130 132 134 138 141 142 143 144 145 146 149 155 161 165 168 169 175 178 181 183 191 194 195 197 198 202 207 208 210 211 216 219 220 223 224 226 230 232 235 236 239 240 245 246 247 254 266 271 272 275 277 278 280 284 285 286 287 292 293 294 296 302 303 305 312 315 319 322 323 324 329 331 338 340 346 349 351 354 360 367 369 371 377 380 381 385 390 391 393 410 415 419 422 425 426 436 437 441 452 454 459 460 461 462 463 478 479 480 488 489 490 491 500 501 506
a 8 10 13 16 20 21 22 23 25 26 27 30 31 34 43 47 48 52 53 54 58 60 64 68 70 76 77 79 83 85 86 89 95 98 100 105 108 113 114 116 119 120 122 125 127 128 130 132 134 138 141 142 143 144 145 146 149 155 161 165 168 169 175 178 181 183 191 194 195 197 198 202 207 208 210 211 216 219 220 223 224 226 230 232 235 236 239 240 245 246 254 266 271 272 275 277 278 280 284 285 286 287 292 293 294 296 302 303 305 312 315 319 322 323 324 329 331 338 340 346 349 351 354 360 367 369 371 377 380 381 385 388 390 391 393 410 415 419 422 425 426 436 437 441 452 454 459 460 461 462 463 478 479 480 488 489 490 491 500 501 506
a 8 10 13 16 20 21 22 23 25 26 27 30 31 34 43 47 48 52 53 54 58 60 64 68 70 76 77 79 83 85 86 89 95 98 100 105 108 113 114 116 119 120 122 125 127 128 130 132 134 138 141 142 143 144 145 146 149 155 161 165 168 169 175 178 181 183 191 194 197 198 202 207 208 210 211 216 219 220 223 224 226 230 232 235 236 239 240 245 246 254 266 271 272 275 277 278 280 284 285 286 287 292 293 294 296 302 303 305 312 315 319 322 323 324 329 331 338 340 346 349 351 354 360 367 369 371 377 380 381 385 388 390 391 393 410 415 419 422 425 426 436 437 441 452 454 459 460 461 462 463 478 479 480 488 489 490 491 497 500 501 506
a 8 10 13 16 20 21 22 23 25 26 30 31 34 43 47 48 52 53 54 58 60 64 68 70 76 77 79 83 85 86 89 95 98 100 105 108 113 114 116 119 120 122 125 127 128 130 132 134 138 141 142 143 144 145 146 149 155 161 165 168 169 175 178 181 183 191 194 197 198 202 207 208 210 211 216 219 220 223 224 226 230 232 235 236 239 240 245 246 254 266 271 272 275 277 278 280 284 285 286 287 292 293 294 296 302 303 305 312 315 319 322 323 324 329 331 338 340 346 349 351 354 360 367 369 371 377 380 381 385 388 390 391 393 410 415 419 422 425 426 436 437 441 452 454 457 459 460 461 462 463 478 479 480 488 489 490 491 497 500 501 506
a 8 10 13 16 20 21 22 23 25 26 30 31 34 43 47 48 52 53 54 58 60 64 68 70 76 77 79 83 85 86 89 95 98 100 105 108 113 114 116 119 120 122 125 127 128 130 132 134 138 141 142 143 144 145 146 149 155 161 163 165 168 169 175 178 181 183 191 194 197 198 202 207 208 210 211 216 219 220 223 224 226 230 232 235 236 239 240 245 246 254 266 271 272 275 277 278 280 284 285 286 287 292 293 294 296 302 303 305 312 315 319 322 323 324 329 331 338 340 346 349 351 354 360 367 369 371 377 380 381 385 388 390 391 393 410 415 419 422 426 436 437 441 452 454 457 459 460 461 462 463 478 479 480 488 489 490 491 497 500 501 506
a 8 10 13 16 20 21 22 23 25 26 30 31 34 43 47 48 52 53 54 58 60 64 68 70 76 77 79 83 85 86 89 95 98 100 105 108 113 114 116 119 120 122 125 127 128 130 132 134 138 141 142 143 144 145 146 149 155 161 163 168 169 175 178 181 183 191 194 197 198 202 207 208 210 211 216 219 220 223 224 226 230 232 235 236 239 240 245 246 254 266 271 272 275 277 278 280 284 285 286 287 292 293 294 296 302 303 305 312 315 319 322 323 324 329 331 338 340 346 349 351 354 360 367 369 371 377 380 381 385 388 390 391 393 410 414 415 419 422 426 436 437 441 452 454 457 459 460 461 462 463 478 479 480 488 489 490 491 497 500 501 506
a 8 10 13 16 20 21 22 23 25 26 30 31 34 43 47 48 52 53 54 58 60 64 68 70 76 77 79 83 85 86 89 95 98 100 105 108 113 114 116 119 120 122 125 127 128 130 132 134 138 141 142 143 144 145 146 149 155 161 163 168 169 175 178 181 183 191 194 197 198 202 207 208 210 211 216 219 220 223 224 226 230 232 235 236 239 240 246 254 266 271 272 275 277 278 280 284 285 286 287 292 293 294 296 302 303 305 312 315 319 322 323 324 329 331 338 340 346 349 351 354 360 367 369 371 377 380 381 385 388 390 391 393 410 414 415 419 422 426 436 437 441 452 454 457 459 460 461 462 463 478 479 480 488 489 490 491 497 499 500 501 506
a 6 8 10 13 16 20 21 22 23 25 26 30 31 34 43 47 48 52 53 54 58 60 64 68 70 76 77 79 83 85 86 89 95 98 100 105 108 113 114 116 119 120 122 125 127 128 130 132 134 138 141 142 143 144 145 146 149 155 161 163 168 169 175 178 181 183 191 194 197 198 202 207 208 210 211 216 219 220 223 224 226 230 232 235 236 239 240 246 254 266 271 272 275 277 278 280 284 285 286 287 292 293 294 296 302 303 305 312 315 319 322 323 324 329 331 338 340 346 349 351 354 360 367 369 371 377 380 381 385 388 390 391 393 410 414 415 419 422 426 436 437 441 452 454 457 459 461 462 463 478 479 480 488 489 490 491 497 499 500 501 506
a 6 8 10 13 16 20 21 22 23 25 26 30 31 34 43 47 48 52 53 54 58 60 64 68 70 76 77 79 83 85 86 89 95 98 100 105 108 113 114 116 119 120 122 125 127 128 130 132 134 138 141 142 143 144 145 146 149 155 161 163 168 169 175 178 181 183 191 194 197 198 202 207 208 210 211 216 219 220 223 224 226 230 232 235 236 238 239 246 254 266 271 272 275 277 278 280 284 285 286 287 292 293 294 296 302 303 305 312 315 319 322 323 324 329 331 338 340 346 349 351 354 360 367 369 371 377 380 381 385 388 390 391 393 410 414 415 419 422 426 436 437 441 452 454 457 459 461 462 463 478 479 480 488 489 490 491 497 499 500 501 506
a 6 8 10 13 16 20 21 22 23 25 26 30 31 34 43 47 48 52 53 54 58 59 60 64 68 70 76 77 79 83 85 86 89 95 98 105 108 113 114 116 119 120 122 125 127 128 130 132 134 138 141 142 143 144 145 146 149 155 161 163 168 169 175 178 181 183 191 194 197 198 202 207 208 210 211 216 219 220 223 224 226 230 232 235 236 238 239 246 254 266 271 272 275 277 278 280 284 285 286 287 292 293 294 296 302 303 305 312 315 319 322 323 324 329 331 338 340 346 349 351 354 360 367 369 371 377 380 381 385 388 390 391 393 410 414 415 419 422 426 436 437 441 452 454 457 459 461 462 463 478 479 480 488 489 490 491 497 499 500 501 506
a 6 8 10 13 16 20 21 22 23 25 30 31 34 43 47 48 52 53 54 58 59 60 64 68 70 76 77 79 83 85 86 89 95 98 105 108 113 114 116 119 120 122 125 127 128 130 132 134 138 141 142 143 144 145 146 149 155 161 163 168 169 175 178 181 183 191 194 197 198 202 207 208 210 211 216 219 220 223 224 226 230 232 235 236 238 239 246 254 266 271 272 275 277 278 280 284 285 286 287 292 293 294 296 302 303 305 312 315 319 322 323 324 329 331 338 340 346 349 351 354 360 367 369 371 377 380 381 385 388 390 391 393 410 414 415 419 422 426 436 437 441 452 454 457 459 461 462 463 478 479 480 488 489 490 491 497 498 499 500 501 506
a 6 8 10 13 16 20 21 22 23 25 30 31 34 43 47 48 52 53 54 58 59 60 64 68 70 76 79 83 85 86 89 95 98 105 108 113 114 116 119 120 122 125 127 128 130 132 134 138 141 142 143 144 145 146 149 155 161 163 168 169 175 178 181 183 191 194 197 198 202 207 208 210 211 216 219 220 223 224 226 230 232 235 236 238 239 246 254 266 271 272 275 277 278 280 284 285 286 287 292 293 294 296 302 303 305 312 315 319 322 323 324 329 331 338 340 346 349 351 354 360 367 369 371 377 380 381 385 388 390 391 393 410 414 415 419 422 426 436 437 441 452 454 457 459 461 462 463 478 479 480 487 488 489 490 491 497 498 499 500 501 506
a 6 8 10 13 16 20 21 22 23 25 30 31 34 43 47 48 52 53 54 58 59 60 64 68 70 76 79 83 85 86 89 95 98 105 108 113 114 116 119 120 122 125 127 128 130 132 134 138 141 142 143 144 145 146 149 155 161 163 168 169 175 178 181 183 191 194 197 198 202 207 208 210 211 214 216 219 220 223 224 226 230 232 235 236 238 239 246 254 266 271 272 275 277 278 280 284 285 286 287 292 293 296 302 303 305 312 315 319 322 323 324 329 331 338 340 346 349 351 354 360 367 369 371 377 380 381 385 388 390 391 393 410 414 415 419 422 426 436 437 441 452 454 457 459 461 462 463 478 479 480 487 488 489 490 491 497 498 499 500 501 506
a 6 8 10 13 16 20 21 22 23 25 30 31 34 43 47 48 52 53 54 58 59 60 64 68 70 76 79 83 85 86 89 95 98 105 108 113 114 116 119 120 122 125 127 128 130 132 134 138 141 142 143 144 145 146 149 155 161 163 168 169 175 178 181 183 191 194 197 198 202 207 208 211 214 216 219 220 223 224 226 230 232 235 236 238 239 246 254 266 269 271 272 275 277 278 280 284 285 286 287 292 293 296 302 303 305 312 315 319 322 323 324 329 331 338 340 346 349 351 354 360 367 369 371 377 380 381 385 388 390 391 393 410 414 415 419 422 426 436 437 441 452 454 457 459 461 462 463 478 479 480 487 488 489 490 491 497 498 499 500 501 506
a 6 8 10 13 16 20 21 22 23 25 30 31 34 43 47 48 52 53 54 58 59 60 64 68 70 76 79 83 85 86 89 95 98 105 108 113 114 116 119 120 122 125 127 128 130 132 134 138 141 142 143 144 145 146 149 155 161 163 168 169 175 178 181 183 191 192 194 197 198 202 207 208 211 214 216 219 220 223 224 226 230 232 235 236 238 239 246 254 266 269 271 272 275 277 278 280 284 285 286 287 292 293 296 302 303 305 312 315 322 323 324 329 331 338 340 346 349 351 354 360 367 369 371 377 380 381 385 388 390 391 393 410 414 415 419 422 426 436 437 441 452 454 457 459 461 462 463 478 479 480 487 488 489 490 491 497 498 499 500 501 506
a 6 8 10 13 16 20 21 22 23 25 30 31 34 43 47 48 52 53 54 58 59 60 64 68 70 76 79 83 85 86 89 95 98 105 108 113 114 116 119 120 122 125 127 128 130 132 134 138 141 142 143 144 145 146 149 155 161 163 168 169 174 175 178 181 183 191 192 194 197 198 202 207 208 211 214 216 219 220 223 224 226 230 232 235 236 238 239 246 254 266 269 271 272 275 277 278 280 284 285 286 287 292 293 296 302 303 305 312 315 322 323 324 329 331 338 340 346 349 351 354 360 367 369 371 377 380 381 385 388 390 391 393 410 414 415 419 422 426 437 441 452 454 457 459 461 462 463 478 479 480 487 488 489 490 491 497 498 499 500 501 506
a 6 8 10 13 16 20 21 22 23 25 30 31 34 43 47 48 52 53 54 58 59 60 64 68 70 76 79 83 85 86 89 95 98 105 108 113 114 116 119 120 122 125 127 128 130 132 134 138 141 142 143 144 145 146 149 155 161 163 168 169 174 175 178 181 183 191 192 194 197 198 202 208 211 214 216 219 220 223 224 226 230 232 235 236 238 239 246 254 266 269 271 272 275 277 278 280 284 285 286 287 292 293 296 302 303 305 312 315 322 323 324 329 331 338 340 346 349 351 354 360 367 369 371 377 380 381 385 388 390 391 393 410 414 415 419 422 423 426 437 441 452 454 457 459 461 462 463 478 479 480 487 488 489 490 491 497 498 499 500 501 506
a 6 8 10 13 16 20 21 22 23 25 30 31 34 43 47 48 52 53 54 58 59 60 64 68 70 76 79 83 85 86 89 95 98 105 108 113 114 116 119 120 122 125 127 128 130 132 134 138 141 142 143 144 145 146 149 155 161 163 168 169 174 175 178 181 183 191 192 194 197 198 202 208 211 214 216 219 220 223 224 226 230 232 235 236 238 239 246 254 266 269 271 272 275 277 278 280 284 285 286 287 292 293 296 302 303 305 312 315 322 323 324 329 331 334 338 340 346 349 351 354 360 367 369 371 377 380 381 385 388 390 391 393 410 414 415 419 422 423 426 437 441 452 454 457 459 461 462 463 478 480 487 488 489 490 491 497 498 499 500 501 506
a 6 8 10 13 16 20 21 22 23 25 30 31 34 43 47 48 52 53 54 58 59 60 64 68 70 76 79 83 85 86 89 95 98 105 108 113 114 116 119 120 122 125 127 128 130 132 134 138 141 142 143 144 145 146 149 155 161 163 168 169 174 175 178 181 183 191 192 194 197 198 202 208 211 214 216 219 220 223 224 226 230 232 235 236 238 239 246 254 266 269 271 272 275 277 278 280 284 285 286 287 292 293 296 302 303 305 312 315 322 323 324 329 331 334 338 340 346 349 351 354 360 367 369 371 380 381 385 388 390 391 393 408 410 414 415 419 422 423 426 437 441 452 454 457 459 461 462 463 478 480 487 488 489 490 491 497 498 499 500 501 506
a 6 8 10 16 20 21 22 23 25 30 31 34 43 47 48 52 53 54 58 59 60 64 68 70 76 79 83 85 86 89 95 98 105 107 108 113 114 116 119 120 122 125 127 128 130 132 134 138 141 142 143 144 145 146 149 155 161 163 168 169 174 175 178 181 183 191 192 194 197 198 202 208 211 214 216 219 220 223 224 226 230 232 235 236 238 239 246 254 266 269 271 272 275 277 278 280 284 285 286 287 292 293 296 302 303 305 312 315 322 323 324 329 331 334 338 340 346 349 351 354 360 367 369 371 380 381 385 388 390 391 393 408 410 414 415 419 422 423 426 437 441 452 454 457 459 461 462 463 478 480 487 488 489 490 491 497 498 499 500 501 506
a 6 8 10 16 20 21 22 23 25 30 31 34 43 47 48 52 53 54 58 59 60 64 68 70 76 79 83 85 86 89 95 98 105 107 108 113 114 116 119 120 122 125 127 128 130 132 134 138 141 142 143 144 145 148 149 155 161 163 168 169 174 175 178 181 183 191 192 194 197 198 202 208 211 214 216 219 220 223 224 226 230 232 235 236 238 239 246 254 266 269 271 272 275 277 278 280 284 285 286 287 292 293 296 302 303 305 312 315 322 323 324 329 331 334 338 340 346 349 351 354 360 367 369 371 380 381 385 388 390 391 393 408 410 414 415 419 422 423 426 437 441 452 454 457 459 461 462 463 478 480 487 488 489 490 491 497 498 499 500 501 506
a 6 8 10 16 20 21 22 23 25 30 31 34 43 47 48 52 53 54 58 59 60 64 68 70 76 79 83 85 86 89 95 98 105 107 108 113 114 116 119 120 122 125 127 128 130 132 134 138 141 142 143 144 145 148 149 155 161 163 167 168 169 174 175 178 181 183 191 192 194 197 198 202 208 211 214 216 219 220 223 224 226 230 232 235 236 238 239 246 254 266 269 271 272 277 278 280 284 285 286 287 292 293 296 302 303 305 312 315 322 323 324 329 331 334 338 340 346 349 351 354 360 367 369 371 380 381 385 388 390 391 393 408 410 414 415 419 422 423 426 437 441 452 454 457 459 461 462 463 478 480 487 488 489 490 491 497 498 499 500 501 506
a 6 8 10 16 20 21 22 23 25 30 31 34 43 47 48 52 53 54 58 59 60 64 68 70 76 79 83 85 86 89 95 98 105 107 108 113 114 116 119 120 122 125 127 128 130 132 134 138 141 142 143 144 145 148 149 155 161 163 167 168 169 174 175 178 181 183 191 192 194 197 198 202 208 211 214 216 219 220 223 224 226 230 232 235 236 238 239 246 254 266 269 271 272 277 278 280 284 285 286 287 292 293 296 302 303 305 312 315 322 323 324 329 331 334 338 340 346 349 351 354 360 367 369 371 380 381 385 388 390 391 393 408 409 410 414 419 422 423 426 437 441 452 454 457 459 461 462 463 478 480 487 488 489 490 491 497 498 499 500 501 506
a 6 8 10 16 20 21 22 23 25 30 31 34 43 47 48 52 53 54 58 59 60 64 68 70 76 79 83 85 86 89 95 98 105 107 108 113 114 116 119 120 122 125 127 128 130 132 134 138 141 142 143 144 145 148 149 155 163 167 168 169 174 175 178 181 183 191 192 194 197 198 202 208 211 214 216 219 220 223 224 226 230 232 235 236 238 239 246 254 264 266 269 271 272 277 278 280 284 285 286 287 292 293 296 302 303 305 312 315 322 323 324 329 331 334 338 340 346 349 351 354 360 367 369 371 380 381 385 388 390 391 393 408 409 410 414 419 422 423 426 437 441 452 454 457 459 461 462 463 478 480 487 488 489 490 491 497 498 499 500 501 506
a 6 8 10 16 20 21 22 23 25 30 31 34 43 47 48 52 53 54 58 59 60 64 68 70 76 79 83 85 86 89 95 97 98 105 107 108 113 114 116 119 120 122 125 127 128 130 132 134 138 141 142 143 144 145 148 149 155 163 167 168 169 174 175 178 181 183 191 192 194 197 198 202 208 211 214 216 219 220 223 224 226 230 232 235 236 238 239 246 254 264 266 269 271 272 277 278 280 284 286 287 292 293 296 302 303 305 312 315 322 323 324 329 331 334 338 340 346 349 351 354 360 367 369 371 380 381 385 388 390 391 393 408 409 410 414 419 422 423 426 437 441 452 454 457 459 461 462 463 478 480 487 488 489 490 491 497 498 499 500 501 506
a 6 8 10 16 20 21 23 25 30 31 34 43 47 48 52 53 54 58 59 60 64 68 70 76 79 83 85 86 89 95 97 98 105 107 108 113 114 116 119 120 122 125 127 128 130 132 134 138 141 142 143 144 145 148 149 150 155 163 167 168 169 174 175 178 181 183 191 192 194 197 198 202 208 211 214 216 219 220 223 224 226 230 232 235 236 238 239 246 254 264 266 269 271 272 277 278 280 284 286 287 292 293 296 302 303 305 312 315 322 323 324 329 331 334 338 340 346 349 351 354 360 367 369 371 380 381 385 388 390 391 393 408 409 410 414 419 422 423 426 437 441 452 454 457 459 461 462 463 478 480 487 488 489 490 491 497 498 499 500 501 506
a 6 8 10 16 20 21 23 25 30 31 34 43 47 48 52 53 54 58 59 60 64 68 70 76 79 83 85 86 89 95 97 98 105 107 108 113 114 116 119 120 122 125 127 128 130 132 134 138 141 142 143 144 145 148 149 150 155 163 167 168 169 174 175 178 181 183 191 192 194 197 198 202 208 211 214 216 219 220 223 224 226 230 232 235 236 238 239 244 246 254 264 266 269 271 272 277 278 280 284 286 287 292 293 296 302 303 305 312 315 323 324 329 331 334 338 340 346 349 351 354 360 367 369 371 380 381 385 388 390 391 393 408 409 410 414 419 422 423 426 437 441 452 454 457 459 461 462 463 478 480 487 488 489 490 491 497 498 499 500 501 506
a 6 8 10 16 20 21 23 25 30 31 34 43 47 48 52 53 54 58 59 60 64 68 70 76 79 83 85 86 89 95 97 98 105 107 108 113 114 116 119 120 122 125 127 128 130 132 134 138 141 142 143 144 145 148 149 150 155 163 167 168 169 174 175 178 181 183 191 192 194 197 198 202 208 211 214 216 219 220 223 224 226 230 232 235 236 238 239 244 246 254 264 269 271 272 277 278 280 284 286 287 292 293 296 302 303 305 312 315 323 324 329 331 334 338 340 346 349 351 354 360 367 369 371 380 381 385 388 390 391 393 408 409 410 414 419 422 423 426 437 441 452 453 454 457 459 461 462 463 478 480 487 488 489 490 491 497 498 499 500 501 506
a 6 8 10 16 20 21 23 25 30 31 34 43 47 48 52 53 54 58 59 60 64 68 70 76 79 83 85 86 89 95 97 98 105 107 108 113 114 116 119 120 122 125 127 128 130 132 134 138 141 142 143 144 145 148 149 150 155 163 167 168 169 174 175 178 181 183 191 192 194 197 198 202 208 211 214 216 219 220 223 224 226 230 232 235 236 238 239 244 246 254 264 269 271 272 277 278 280 284 286 287 292 293 296 302 303 305 312 315 321 323 324 331 334 338 340 346 349 351 354 360 367 369 371 380 381 385 388 390 391 393 408 409 410 414 419 422 423 426 437 441 452 453 454 457 459 461 462 463 478 480 487 488 489 490 491 497 498 499 500 501 506
a 6 8 10 16 20 21 23 25 30 31 34 43 47 48 52 53 54 58 59 60 64 68 70 76 79 83 85 86 89 95 97 98 105 107 108 113 114 116 119 120 122 125 127 128 130 132 134 138 142 143 144 145 148 149 150 154 155 163 167 168 169 174 175 178 181 183 191 192 194 197 198 202 208 211 214 216 219 220 223 224 226 230 232 235 236 238 239 244 246 254 264 269 271 272 277 278 280 284 286 287 292 293 296 302 303 305 312 315 321 323 324 331 334 338 340 346 349 351 354 360 367 369 371 380 381 385 388 390 391 393 408 409 410 414 419 422 423 426 437 441 452 453 454 457 459 461 462 463 478 480 487 488 489 490 491 497 498 499 500 501 506
a 6 8 10 16 20 21 23 25 30 34 43 47 48 52 53 54 58 59 60 64 68 70 76 79 83 85 86 89 95 97 98 105 107 108 113 114 116 119 120 122 125 127 128 130 132 134 138 142 143 144 145 148 149 150 152 154 155 163 167 168 169 174 175 178 181 183 191 192 194 197 198 202 208 211 214 216 219 220 223 224 226 230 232 235 236 238 239 244 246 254 264 269 271 272 277 278 280 284 286 287 292 293 296 302 303 305 312 315 321 323 324 331 334 338 340 346 349 351 354 360 367 369 371 380 381 385 388 390 391 393 408 409 410 414 419 422 423 426 437 441 452 453 454 457 459 461 462 463 478 480 487 488 489 490 491 497 498 499 500 501 506
a 6 8 10 16 20 21 23 25 30 34 43 47 48 52 53 54 58 59 60 64 68 70 76 79 83 85 86 89 95 97 98 105 107 108 113 114 116 119 120 122 125 127 128 130 132 134 138 142 143 144 145 148 149 150 152 154 155 163 167 168 169 174 175 178 181 183 191 192 194 197 198 202 208 211 214 216 219 220 223 224 226 230 232 235 236 238 239 244 246 254 264 269 271 272 277 278 280 284 286 287 292 293 296 302 303 305 312 315 321 323 324 334 338 340 346 349 351 354 360 363 367 369 371 380 381 385 388 390 391 393 408 409 410 414 419 422 423 426 437 441 452 453 454 457 459 461 462 463 478 480 487 488 489 490 491 497 498 499 500 501 506
a 6 8 10 16 20 21 23 25 30 34 43 47 48 52 53 54 58 59 60 64 68 70 76 79 83 85 86 89 95 97 98 105 107 108 113 114 116 119 120 122 125 127 128 130 132 134 138 142 143 144 145 148 149 150 152 154 155 163 167 168 169 174 175 178 181 183 191 192 194 197 198 202 208 211 214 216 219 220 223 224 226 230 232 235 236 238 239 244 246 254 264 269 271 272 277 278 280 284 286 287 292 293 296 302 303 305 312 315 321 324 334 338 340 346 349 351 354 360 363 367 369 371 380 381 385 388 390 391 392 393 408 409 410 414 419 422 423 426 437 441 452 453 454 457 459 461 462 463 478 480 487 488 489 490 491 497 498 499 500 501 506
a 6 8 10 16 20 21 23 25 30 34 43 47 48 52 53 54 58 59 60 64 68 70 76 79 83 85 86 89 95 97 98 105 107 108 113 114 116 119 122 125 127 128 130 132 134 138 142 143 144 145 148 149 150 152 154 155 163 167 168 169 174 175 178 181 183 191 192 194 197 198 202 208 211 214 216 219 220 223 224 226 230 232 235 236 238 239 244 246 254 264 269 271 272 277 278 280 284 286 287 292 293 296 302 303 305 312 315 321 324 334 338 340 346 349 351 354 360 363 367 369 371 380 381 385 388 390 391 392 393 408 409 410 414 418 419 422 423 426 437 441 452 453 454 457 459 461 462 463 478 480 487 488 489 490 491 497 498 499 500 501 506
a 6 8 10 16 20 21 23 25 30 34 43 47 48 52 53 54 58 59 60 64 68 70 76 79 83 85 86 89 95 97 98 107 108 113 114 116 119 122 125 127 128 130 132 134 138 142 143 144 145 148 149 150 152 154 155 163 167 168 169 174 175 178 181 183 191 192 194 197 198 202 208 211 214 216 219 220 223 224 226 230 232 235 236 238 239 244 246 254 264 269 271 272 277 278 280 282 284 286 287 292 293 296 302 303 305 312 315 321 324 334 338 340 346 349 351 354 360 363 367 369 371 380 381 385 388 390 391 392 393 408 409 410 414 418 419 422 423 426 437 441 452 453 454 457 459 461 462 463 478 480 487 488 489 490 491 497 498 499 500 501 506
a 6 8 10 16 20 21 23 25 30 34 43 47 48 52 53 54 58 59 60 64 68 70 76 79 83 85 86 89 95 97 98 107 108 109 113 114 116 119 122 125 127 128 130 132 134 138 142 143 144 145 148 149 150 152 154 155 163 167 168 169 174 175 178 181 183 191 192 194 197 198 202 208 211 214 216 220 223 224 226 230 232 235 236 238 239 244 246 254 264 269 271 272 277 278 280 282 284 286 287 292 293 296 302 303 305 312 315 321 324 334 338 340 346 349 351 354 360 363 367 369 371 380 381 385 388 390 391 392 393 408 409 410 414 418 419 422 423 426 437 441 452 453 454 457 459 461 462 463 478 480 487 488 489 490 491 497 498 499 500 501 506
a 6 8 10 16 20 21 23 25 30 34 43 47 48 52 53 54 58 59 60 64 68 70 76 79 83 85 86 89 95 97 98 107 108 109 113 114 116 119 122 125 127 128 130 132 134 138 142 143 144 145 148 149 150 152 154 155 163 167 168 169 174 175 178 181 183 191 192 194 197 198 202 208 211 214 220 223 224 226 230 232 235 236 238 239 244 246 254 264 269 271 272 277 278 280 282 284 286 287 292 293 296 302 303 305 312 315 321 324 334 338 340 346 349 351 354 360 363 367 369 371 380 381 385 388 390 391 392 393 408 409 410 414 418 419 422 423 426 437 441 452 453 454 457 459 461 462 463 471 478 480 487 488 489 490 491 497 498 499 500 501 506
a 6 8 10 16 20 21 23 25 30 34 43 47 48 52 53 54 58 59 60 64 68 70 76 79 83 85 86 89 95 97 98 107 108 109 113 114 116 119 122 125 127 128 130 132 134 138 142 143 144 145 148 149 150 152 154 155 163 167 168 169 174 175 178 181 191 192 194 197 198 202 208 211 214 220 223 224 226 230 232 235 236 238 239 244 246 254 264 269 271 272 277 278 280 282 284 286 287 292 293 296 302 303 305 312 315 321 324 334 338 340 346 349 351 354 360 363 367 369 371 380 381 385 388 390 391 392 393 408 409 410 414 418 419 422 423 426 437 441 452 453 454 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 23 25 30 34 43 47 48 52 53 54 58 59 60 64 68 70 76 79 83 85 86 89 95 97 98 107 108 109 113 114 116 119 125 127 128 130 132 134 138 142 143 144 145 148 149 150 152 154 155 163 167 168 169 174 175 178 181 191 192 194 197 198 202 208 211 214 220 223 224 226 230 232 235 236 238 239 244 246 254 264 269 271 272 277 278 280 282 284 286 287 292 293 296 302 303 305 312 315 321 324 334 338 340 346 349 351 354 360 363 367 369 371 380 381 385 388 390 391 392 393 408 409 410 414 418 419 422 423 426 437 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 23 25 30 34 43 47 48 52 53 54 58 59 60 64 68 70 76 79 83 85 86 89 95 97 98 107 108 109 113 114 116 119 125 127 128 130 132 134 138 142 143 144 145 148 149 150 152 154 155 163 167 168 169 174 175 178 181 191 192 194 197 198 202 208 211 214 220 223 224 226 230 232 235 236 238 239 244 246 254 264 267 269 271 272 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 324 334 338 340 346 349 351 354 360 363 367 369 371 380 381 385 388 390 391 392 393 408 409 410 414 418 419 422 423 426 437 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 23 25 30 34 43 47 48 52 53 54 58 59 60 64 68 70 76 79 83 85 86 89 95 97 98 107 108 109 113 114 116 119 125 127 128 130 132 134 138 142 143 144 148 149 150 152 154 155 163 167 168 169 174 175 178 181 191 192 194 197 198 202 208 211 214 220 223 224 226 230 232 235 236 238 239 244 246 254 264 267 269 271 272 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 324 334 338 340 346 347 349 351 354 360 363 367 369 371 380 381 385 388 390 391 392 393 408 409 410 414 418 419 422 423 426 437 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 23 25 30 34 43 47 48 52 53 54 58 59 60 64 68 70 76 79 83 85 89 95 97 98 107 108 109 113 114 116 119 125 127 128 130 132 134 138 142 143 144 148 149 150 152 154 155 163 167 168 169 174 175 178 181 188 191 192 194 197 198 202 208 211 214 220 223 224 226 230 232 235 236 238 239 244 246 254 264 267 269 271 272 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 324 334 338 340 346 347 349 351 354 360 363 367 369 371 380 381 385 388 390 391 392 393 408 409 410 414 418 419 422 423 426 437 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 23 25 30 34 43 47 48 52 53 54 58 59 60 64 68 70 76 79 83 85 89 95 97 98 107 108 109 113 114 116 117 119 125 127 128 130 132 134 138 142 143 144 148 149 150 152 154 155 163 167 168 169 174 175 178 181 188 191 192 194 197 198 202 208 211 214 220 223 224 226 230 232 235 236 238 239 244 246 254 264 267 269 271 272 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 324 334 338 340 346 347 349 351 354 360 363 367 369 380 381 385 388 390 391 392 393 408 409 410 414 418 419 422 423 426 437 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 23 25 30 34 43 47 48 52 53 54 58 59 60 64 68 70 76 79 83 85 89 95 97 98 107 108 109 113 114 116 117 119 125 127 128 130 132 134 138 142 143 144 148 149 150 152 154 155 163 167 168 169 174 175 178 181 188 191 192 194 197 198 202 208 211 214 220 224 226 230 232 235 236 238 239 244 246 254 264 267 268 269 271 272 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 324 334 338 340 346 347 349 351 354 360 363 367 369 380 381 385 388 390 391 392 393 408 409 410 414 418 419 422 423 426 437 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 23 25 30 34 43 47 48 52 53 54 58 59 60 64 68 69 76 79 83 85 89 95 97 98 107 108 109 113 114 116 117 119 125 127 128 130 132 134 138 142 143 144 148 149 150 152 154 155 163 167 168 169 174 175 178 181 188 191 192 194 197 198 202 208 211 214 220 224 226 230 232 235 236 238 239 244 246 254 264 267 268 269 271 272 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 324 334 338 340 346 347 349 351 354 360 363 367 369 380 381 385 388 390 391 392 393 408 409 410 414 418 419 422 423 426 437 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 23 25 30 34 43 47 48 52 53 54 58 59 60 64 68 69 79 83 85 89 95 97 98 107 108 109 113 114 116 117 119 125 127 128 130 132 134 138 142 143 144 148 149 150 152 154 155 163 167 168 169 174 175 178 181 188 191 192 194 197 198 202 208 211 214 220 224 226 230 232 235 236 237 238 239 244 246 254 264 267 268 269 271 272 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 324 334 338 340 346 347 349 351 354 360 363 367 369 380 381 385 388 390 391 392 393 408 409 410 414 418 419 422 423 426 437 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 52 53 54 58 59 60 64 68 69 79 83 85 89 95 97 98 107 108 109 113 114 116 117 119 125 127 128 130 132 134 138 142 143 144 148 149 150 151 152 154 155 163 167 168 169 174 175 178 181 188 191 192 194 197 198 202 208 211 214 220 224 226 230 232 235 236 237 238 239 244 246 254 264 267 268 269 271 272 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 324 334 338 340 346 347 349 351 354 360 363 367 369 380 381 385 388 390 391 392 393 408 409 410 414 418 419 422 423 426 437 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 52 53 54 58 59 60 64 68 69 79 83 85 89 95 97 98 103 107 108 109 113 114 116 117 119 125 127 128 130 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 214 220 224 226 230 232 235 236 237 238 239 244 246 254 264 267 268 269 271 272 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 324 334 338 340 346 347 349 351 354 360 363 367 369 380 381 385 388 390 391 392 393 408 409 410 414 418 419 422 423 426 437 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 52 53 54 58 59 60 64 65 68 69 79 83 85 89 95 97 98 103 107 108 109 113 114 116 117 119 125 127 128 130 132 134 138 142 143 144 148 149 150 151 152 154 155 163 167 169 174 175 178 181 188 191 192 194 198 202 208 211 214 220 224 226 230 232 235 236 237 238 239 244 246 254 264 267 268 269 271 272 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 324 334 338 340 346 347 349 351 354 360 363 367 369 380 381 385 388 390 391 392 393 408 409 410 414 418 419 422 423 426 437 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 52 53 54 58 59 64 65 68 69 79 83 85 89 95 97 98 103 107 108 109 113 114 116 117 119 125 127 128 130 132 134 138 142 143 144 148 149 150 151 152 154 155 163 167 169 174 175 178 181 188 191 192 194 198 202 208 211 214 220 224 226 230 232 235 236 237 238 239 244 246 254 264 267 268 269 271 272 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 367 369 380 381 385 388 390 391 392 393 408 409 410 414 418 419 422 423 426 437 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 52 53 54 58 59 64 65 68 69 79 83 85 89 95 97 98 103 107 108 109 113 114 116 117 119 125 127 128 131 132 134 138 142 143 144 148 149 150 151 152 154 155 163 167 169 174 175 178 181 188 191 192 194 198 202 208 211 214 220 224 226 230 232 235 236 237 238 239 244 246 254 264 267 268 269 271 272 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 367 369 380 381 385 388 390 391 392 393 408 409 410 414 418 419 422 423 426 437 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 52 53 54 58 59 64 65 68 69 79 83 85 89 95 97 98 103 107 108 109 113 114 116 117 119 125 127 128 131 132 134 138 142 143 144 148 149 150 151 152 154 155 163 167 169 174 175 178 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 267 268 269 271 272 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 367 369 381 385 388 390 391 392 393 408 409 410 414 418 419 422 423 426 437 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 52 53 54 58 59 64 65 68 69 79 83 85 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 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 267 268 269 271 272 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 437 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 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 267 268 269 271 272 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 437 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 267 268 269 271 272 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: 127
	Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance039_graph004.col /benchmark/random_instance/random_instance039_graph004_01.dat"
	User time (seconds): 358.13
	System time (seconds): 6.35
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 6:04.51
	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): 23695880
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 8160858
	Voluntary context switches: 26
	Involuntary context switches: 1992
	Swaps: 0
	File system inputs: 0
	File system outputs: 1032
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Mon Sep  4 14:07:50 2023]