#BEGIN: [Mon Sep 4 15:02:19 2023] #HOST: s03 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-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 -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 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 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 270 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 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 252 254 255 261 267 270 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 475 478 479 480 483 486 497 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 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 213 216 222 223 224 226 233 235 236 240 243 245 252 254 255 261 267 270 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 475 478 479 480 483 486 497 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 106 108 109 113 116 119 120 122 124 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 233 235 236 240 243 245 252 254 255 261 267 270 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 475 478 479 480 483 486 497 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 106 108 109 113 116 119 120 122 124 128 129 132 134 138 141 142 145 146 155 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 233 235 236 240 243 245 252 254 255 261 267 270 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 478 479 480 483 486 497 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 109 113 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 155 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 233 235 236 240 243 245 252 254 255 261 267 270 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 478 479 480 483 486 497 500 503 506 a 1 4 8 13 16 20 22 27 31 34 35 38 43 47 52 53 57 58 60 61 64 68 70 75 76 77 79 81 85 86 96 100 108 109 113 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 155 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 233 235 236 240 243 245 252 254 255 261 267 270 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 478 479 480 483 486 497 500 503 a 1 4 8 13 16 20 22 27 31 34 35 38 43 47 52 53 57 58 60 61 64 68 70 75 76 77 79 81 85 86 96 100 108 109 113 116 119 120 122 124 125 128 129 132 134 138 141 142 145 146 155 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 233 235 236 240 243 245 252 254 255 261 267 270 271 272 273 277 280 283 284 285 286 287 290 293 294 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 405 410 415 419 421 425 426 430 431 433 436 437 441 444 454 455 459 460 462 463 478 479 480 483 486 497 500 503 a 1 4 8 13 16 20 22 27 31 34 35 38 43 47 52 53 57 58 60 61 64 68 70 75 76 77 79 81 85 86 96 100 108 109 113 115 116 119 120 122 124 125 129 132 134 138 141 142 145 146 155 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 233 235 236 240 243 245 252 254 255 261 267 270 271 272 273 277 280 283 284 285 286 287 290 293 294 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 405 410 415 419 421 425 426 430 431 433 436 437 441 444 454 455 459 460 462 463 478 479 480 483 486 497 500 503 a 1 4 6 8 13 16 20 22 27 31 34 35 38 43 47 52 53 57 58 60 61 64 68 70 75 76 77 79 81 85 86 96 100 108 109 113 115 116 119 120 122 124 125 129 132 134 138 141 142 145 146 155 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 233 235 236 240 243 245 252 254 255 261 267 270 271 272 273 277 280 283 284 285 286 287 290 293 294 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 405 410 415 419 421 425 426 430 431 433 436 437 441 444 454 455 459 462 463 478 479 480 483 486 497 500 503 a 1 4 6 8 13 16 20 22 27 31 34 35 38 43 47 52 53 57 58 60 61 64 68 70 75 76 77 79 81 85 86 96 100 108 109 113 115 116 119 120 122 124 125 127 129 132 134 138 141 142 145 146 155 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 233 235 236 240 245 252 254 255 261 267 270 271 272 273 277 280 283 284 285 286 287 290 293 294 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 405 410 415 419 421 425 426 430 431 433 436 437 441 444 454 455 459 462 463 478 479 480 483 486 497 500 503 a 1 4 6 8 13 16 20 22 27 31 34 35 38 43 47 52 53 57 58 60 61 64 68 70 75 76 77 79 81 85 86 96 100 108 109 113 115 116 119 120 122 124 125 127 129 132 134 138 141 142 145 146 155 160 161 165 166 168 169 170 175 178 181 183 193 195 197 202 204 207 208 210 211 213 216 223 224 226 233 235 236 240 245 252 254 255 261 267 270 271 272 273 277 280 283 284 285 286 287 290 293 294 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 388 390 391 393 395 404 405 410 415 419 421 425 426 430 431 433 436 437 441 444 454 455 459 462 463 478 479 480 483 486 497 500 503 a 1 4 6 8 13 16 20 22 27 31 34 35 38 43 47 52 53 57 58 60 61 64 68 70 75 76 77 79 81 85 86 96 100 108 109 113 115 116 119 120 122 124 125 127 129 132 134 138 141 142 145 146 155 160 161 165 166 168 169 170 175 178 181 183 193 195 197 202 204 207 208 210 211 213 216 223 224 226 233 235 236 240 245 246 252 254 261 267 270 271 272 273 277 280 283 284 285 286 287 290 293 294 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 388 390 391 393 395 404 405 410 415 419 421 425 426 430 431 433 436 437 441 444 454 455 459 462 463 478 479 480 483 486 497 500 503 a 1 4 6 8 13 16 20 22 27 31 34 35 38 43 47 52 53 57 58 60 61 64 68 70 75 76 77 79 81 85 86 96 100 108 109 113 115 116 119 120 122 124 125 127 129 132 134 138 141 142 145 146 155 160 161 165 166 168 169 170 175 178 181 183 190 193 195 197 202 204 207 208 210 211 213 216 223 224 226 233 235 236 240 245 246 252 254 261 267 270 271 272 273 277 280 283 284 285 286 287 290 293 294 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 388 390 391 393 395 404 405 410 415 419 421 425 426 430 431 433 436 437 441 444 454 455 462 463 478 479 480 483 486 497 500 503 a 1 4 8 13 16 20 22 27 31 34 35 38 43 47 52 53 57 58 60 61 64 68 70 75 76 77 79 81 85 86 96 100 108 109 113 115 116 119 120 122 124 125 127 129 132 134 138 141 142 145 146 155 160 161 165 166 168 169 170 175 178 181 183 190 193 195 197 202 204 207 208 210 211 213 216 223 224 226 233 235 236 240 245 246 252 254 261 267 270 271 272 273 277 280 283 284 285 286 287 290 293 294 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 388 390 391 393 395 404 405 410 415 419 421 425 426 430 431 433 436 437 441 444 454 455 460 462 463 478 479 480 483 486 497 500 503 a 1 4 8 13 16 20 22 27 31 34 35 38 43 47 52 53 57 58 60 61 64 68 70 75 76 77 79 81 85 86 96 100 108 109 113 116 119 120 122 124 125 127 128 129 132 134 138 141 142 145 146 155 160 161 165 166 168 169 170 175 178 181 183 190 193 195 197 202 204 207 208 210 211 213 216 223 224 226 233 235 236 240 245 246 252 254 261 267 270 271 272 273 277 280 283 284 285 286 287 290 293 294 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 388 390 391 393 395 404 405 410 415 419 421 425 426 430 431 433 436 437 441 444 454 455 460 462 463 478 479 480 483 486 497 500 503 a 1 4 8 13 16 20 22 27 31 34 35 38 43 47 52 53 57 58 60 61 64 68 70 75 76 77 79 81 85 86 96 100 108 109 113 116 119 120 122 124 125 127 128 129 132 134 138 141 142 145 146 149 155 160 161 165 166 168 169 170 175 178 181 183 190 193 195 197 202 204 207 208 210 211 213 216 223 224 226 233 235 236 240 245 246 252 254 261 267 270 271 272 273 277 280 283 284 285 286 287 290 293 294 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 388 390 393 395 404 405 410 415 419 421 425 426 430 431 433 436 437 441 444 454 455 460 462 463 478 479 480 483 486 497 500 503 a 1 4 8 13 16 20 22 27 31 34 35 38 43 47 52 53 58 60 61 64 68 70 73 75 76 77 79 81 85 86 96 100 108 109 113 116 119 120 122 124 125 127 128 129 132 134 138 141 142 145 146 149 155 160 161 165 166 168 169 170 175 178 181 183 190 193 195 197 202 204 207 208 210 211 213 216 223 224 226 233 235 236 240 245 246 252 254 261 267 270 271 272 273 277 280 283 284 285 286 287 290 293 294 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 388 390 393 395 404 405 410 415 419 421 425 426 430 431 433 436 437 441 444 454 455 460 462 463 478 479 480 483 486 497 500 503 a 1 4 8 13 16 20 22 27 31 34 35 38 43 47 52 53 58 60 61 64 68 70 73 75 76 77 79 81 85 86 96 100 108 109 116 119 120 122 124 125 127 128 129 132 134 138 141 142 145 146 149 155 160 161 165 166 168 169 170 175 178 181 183 190 193 195 197 202 204 207 208 210 211 213 216 223 224 226 233 235 236 240 245 246 252 254 261 267 270 271 272 273 277 280 283 284 285 286 287 290 293 294 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 388 390 393 395 404 405 410 415 419 421 422 425 426 430 431 433 436 437 441 444 454 455 460 462 463 478 479 480 483 486 497 500 503 a 1 4 8 13 16 20 22 27 31 34 35 38 43 47 52 53 58 60 61 64 68 70 73 75 76 77 79 81 85 86 96 100 108 109 116 119 120 122 124 125 127 128 129 132 134 138 141 142 145 146 149 155 160 161 165 166 168 169 170 175 178 181 183 190 193 195 197 202 204 207 208 210 211 213 216 223 224 226 233 235 236 240 245 246 252 254 261 267 270 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 388 390 393 395 404 410 415 419 421 422 425 426 430 431 433 436 437 441 444 454 455 460 462 463 478 479 480 483 486 497 500 503 a 1 4 8 13 16 20 22 27 31 34 35 38 43 47 52 53 58 60 61 64 68 70 73 75 76 77 79 81 85 86 96 100 108 109 116 119 120 122 124 125 127 128 129 132 134 138 141 142 145 146 149 155 160 161 165 166 168 169 170 175 178 181 183 190 193 195 197 202 204 207 208 210 211 213 216 222 223 224 226 233 235 236 240 245 246 252 254 261 267 270 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 393 395 404 410 415 419 421 422 425 426 430 431 433 436 437 441 444 454 455 460 462 463 478 479 480 483 486 497 500 503 a 1 4 8 13 16 20 22 27 31 34 35 38 43 47 52 53 58 60 61 64 68 70 73 75 76 77 79 81 85 86 96 100 108 109 116 119 120 122 124 125 127 128 129 132 134 138 141 142 145 146 149 155 160 161 165 166 168 169 170 175 178 181 183 190 193 195 197 202 204 207 208 210 211 213 216 222 223 224 226 233 235 236 240 245 246 252 254 261 267 270 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 393 395 404 410 415 419 421 422 425 426 430 431 433 436 437 441 444 454 455 460 462 463 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 73 75 76 77 79 81 85 86 96 100 108 109 116 119 120 122 124 125 127 128 129 132 134 137 138 141 142 145 146 149 155 160 161 165 166 168 169 170 175 178 181 183 190 193 195 197 202 204 207 208 210 211 213 216 222 223 224 226 233 235 236 240 245 246 252 254 261 267 270 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 393 395 404 410 415 419 421 422 425 426 430 431 433 436 437 441 444 454 455 460 462 463 478 479 480 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 73 75 76 77 79 81 85 86 96 100 108 109 116 119 120 122 124 125 127 128 129 132 134 137 138 141 142 143 145 146 149 155 160 161 165 166 168 169 170 175 178 181 183 190 193 195 197 202 204 207 208 210 211 213 216 222 223 224 226 233 235 236 240 245 246 252 254 261 267 270 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 393 395 404 410 415 419 421 422 425 426 430 431 433 436 437 441 444 454 455 460 462 463 478 479 480 486 500 503 a 1 4 8 13 16 20 22 27 31 34 35 38 43 47 52 53 58 60 61 64 68 70 73 75 76 77 79 81 85 86 96 100 108 109 113 116 119 120 122 124 125 127 128 129 132 134 137 138 141 142 143 145 146 149 155 160 161 165 166 168 169 170 175 178 181 183 190 193 195 197 202 204 207 208 210 211 213 216 222 223 224 226 233 235 236 240 245 246 252 254 261 267 270 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 393 395 404 410 415 419 421 422 425 426 430 431 433 436 437 441 444 454 455 460 462 463 478 479 480 486 500 a 1 4 8 13 16 20 22 27 31 34 35 38 43 47 52 53 58 60 61 64 68 70 73 75 76 77 79 81 85 86 96 100 108 109 113 116 119 120 122 124 125 127 128 129 132 134 137 138 141 142 143 145 146 149 160 161 165 166 168 169 170 175 178 181 183 190 193 195 197 202 204 207 208 210 211 213 216 222 223 224 226 233 235 236 240 245 246 252 254 261 267 270 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 393 395 404 410 415 419 421 422 425 426 430 431 433 436 437 441 444 454 455 460 462 463 475 478 479 480 486 500 a 1 4 8 16 20 22 27 31 34 35 38 43 47 52 53 58 60 61 64 68 70 73 75 76 77 79 81 85 86 96 100 108 109 113 116 119 120 122 124 125 127 128 129 132 134 137 138 141 142 143 145 146 148 149 160 161 165 166 168 169 170 175 178 181 183 190 193 195 197 202 204 207 208 210 211 213 216 222 223 224 226 233 235 236 240 245 246 252 254 261 267 270 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 393 395 404 410 415 419 421 422 425 426 430 431 433 436 437 441 444 454 455 460 462 463 475 478 479 480 486 500 a 1 4 8 16 20 22 27 31 34 35 38 43 47 52 53 58 60 61 64 68 70 73 75 76 77 79 81 85 86 96 100 108 109 113 116 119 120 122 124 125 127 128 129 132 134 137 138 141 142 143 145 146 148 149 160 161 165 166 168 169 170 175 178 181 183 190 193 195 197 202 204 207 208 210 211 213 216 222 223 224 226 233 235 236 240 245 246 252 254 261 267 270 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 393 394 395 404 410 415 419 421 422 425 426 430 431 433 436 437 441 444 454 455 460 462 463 475 478 479 480 486 a 1 4 8 16 20 22 27 31 34 35 38 43 47 52 53 58 60 61 68 70 73 75 76 77 79 81 85 86 96 100 108 109 113 116 119 120 122 124 125 127 128 129 132 134 137 138 141 142 143 145 146 148 149 160 161 165 166 168 169 170 175 178 181 183 190 193 195 197 202 204 207 208 210 211 213 216 222 223 224 226 233 235 236 240 245 246 247 252 254 261 267 270 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 393 394 395 404 410 415 419 421 422 425 426 430 431 433 436 437 441 444 454 455 460 462 463 475 478 479 480 486 a 1 4 8 16 20 22 27 31 34 35 38 43 47 52 53 58 60 61 68 70 73 75 76 77 79 81 85 86 89 96 100 108 109 113 116 119 120 122 124 125 127 128 129 132 134 137 138 141 142 143 145 146 148 149 160 161 165 166 168 169 170 175 178 181 183 190 193 195 197 202 204 207 208 210 211 213 216 222 223 224 226 233 235 236 240 245 246 247 252 254 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 393 394 395 404 410 415 419 421 422 425 426 430 431 433 436 437 441 444 454 455 460 462 463 475 478 479 480 486 a 1 4 8 16 20 22 27 31 34 35 38 43 47 52 53 58 60 61 68 70 73 75 76 77 79 81 85 86 89 96 100 108 109 113 116 119 120 122 124 125 127 128 129 132 134 137 138 141 142 143 145 146 148 149 160 161 165 166 168 169 170 175 178 181 183 190 193 195 197 202 204 207 208 210 211 213 216 222 223 224 226 233 235 236 240 245 246 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 340 349 351 354 360 365 367 369 371 374 377 381 382 385 390 393 394 395 403 404 410 415 419 421 422 425 426 430 431 433 436 437 441 444 454 455 460 462 463 475 478 479 480 486 a 1 4 8 16 20 22 27 31 34 35 38 43 52 53 58 60 61 68 70 73 75 76 77 79 81 85 86 89 96 100 108 109 113 116 119 120 122 124 125 127 128 129 132 134 137 138 141 142 143 145 146 148 149 160 161 165 166 168 169 170 175 178 181 183 190 193 195 197 202 204 207 208 210 211 213 216 222 223 224 226 233 235 236 240 245 246 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 340 349 351 354 360 365 367 369 371 374 377 381 382 385 387 390 393 394 395 403 404 410 415 419 421 422 425 426 430 431 433 436 437 441 444 454 455 460 462 463 475 478 479 480 486 a 1 4 8 16 20 22 27 31 34 35 38 43 52 53 58 60 61 68 70 73 75 76 77 79 81 85 86 89 96 100 108 109 113 116 119 120 122 124 125 127 128 129 132 134 137 138 141 142 143 145 146 148 149 160 161 165 166 168 169 170 175 178 181 183 190 193 195 197 202 204 207 208 210 211 213 216 222 223 224 226 233 235 236 240 245 246 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 340 349 351 354 360 365 367 369 371 374 377 381 382 385 387 390 393 394 395 403 404 410 415 419 421 422 425 426 430 431 433 436 437 441 444 454 455 460 462 463 475 478 479 480 503 a 1 4 8 16 20 22 27 31 34 35 38 43 52 53 58 60 61 68 70 73 75 76 77 79 81 85 86 89 96 100 108 109 113 116 119 120 122 124 125 127 128 129 132 134 137 138 141 142 143 145 146 148 149 160 161 165 166 168 169 170 175 178 181 183 190 193 195 197 202 204 207 208 210 211 213 216 222 223 224 226 233 235 236 240 245 246 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 340 349 351 354 360 365 367 369 371 374 377 381 382 385 387 390 393 394 395 403 404 410 415 419 421 422 425 426 430 431 433 436 437 441 444 454 455 460 462 463 475 478 479 500 503 a 1 4 8 16 20 22 27 31 34 35 38 43 52 53 58 60 61 68 70 73 75 76 77 79 81 85 86 89 96 100 108 109 113 116 119 120 122 125 127 128 129 132 134 137 138 141 142 143 145 146 148 149 160 161 165 166 168 169 170 175 178 181 183 190 193 195 197 202 204 207 208 210 211 213 216 222 223 224 226 233 235 236 240 245 246 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 340 349 351 354 360 365 367 369 371 374 377 381 382 385 387 390 393 394 395 403 404 410 415 419 421 422 425 426 430 431 433 436 437 441 444 454 455 460 462 463 475 478 479 500 501 503 a 1 4 8 16 20 22 27 31 34 35 38 43 52 53 58 60 61 68 70 73 75 76 77 79 81 85 86 89 96 100 107 108 109 113 116 119 120 122 125 127 128 129 132 134 137 138 141 142 143 145 146 148 149 160 161 165 166 168 169 170 175 178 181 183 190 193 195 197 202 204 207 208 210 211 213 216 222 223 224 226 233 235 236 240 245 246 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 340 349 351 354 360 365 367 369 371 374 377 381 382 385 387 390 393 394 395 403 404 410 415 419 421 422 425 426 430 431 433 436 437 441 444 454 455 460 462 463 475 478 479 500 501 a 1 4 8 16 20 22 27 31 34 35 38 43 52 53 58 60 61 68 70 73 76 77 79 81 85 86 89 96 100 107 108 109 113 116 119 120 122 125 127 128 129 132 134 137 138 141 142 143 145 146 148 149 160 161 165 166 168 169 170 175 178 181 183 190 193 195 197 202 204 207 208 210 211 213 216 222 223 224 226 233 235 236 240 245 246 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 340 349 351 354 360 365 367 369 371 374 377 381 382 385 387 390 393 394 395 403 404 410 415 419 421 422 425 426 430 431 433 436 437 441 444 454 455 460 462 463 475 478 479 500 501 506 a 1 4 8 16 20 22 27 31 34 35 38 43 52 53 58 60 61 68 70 73 76 77 79 81 85 86 89 96 100 107 108 109 113 116 119 120 122 125 127 128 129 132 134 137 138 141 142 143 145 146 148 149 160 161 165 166 168 169 170 175 178 181 183 190 193 195 197 202 204 207 208 210 211 213 216 222 223 224 226 233 236 240 245 246 247 252 254 261 267 271 272 273 276 277 280 283 284 285 286 287 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 387 390 393 394 395 403 404 410 415 419 421 422 425 426 430 431 433 436 437 441 444 454 455 460 462 463 475 478 479 500 501 506 a 1 4 8 16 20 22 27 31 34 38 43 52 53 58 60 61 68 70 73 76 77 79 81 85 86 89 96 100 107 108 109 113 116 119 120 122 125 127 128 129 132 134 137 138 141 142 143 145 146 148 149 160 161 165 166 168 169 170 175 178 181 183 190 193 195 197 202 204 207 208 210 211 213 216 222 223 224 226 233 236 240 245 246 247 252 254 261 267 271 272 273 276 277 280 283 284 285 286 287 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 387 390 393 394 395 403 404 410 415 419 421 422 425 426 430 431 433 436 437 441 444 454 455 460 462 463 475 478 479 491 500 501 506 a 1 4 8 16 20 22 27 31 34 38 43 52 53 58 60 61 68 70 73 76 77 79 81 85 86 89 96 100 107 108 109 113 116 119 120 122 125 127 128 129 132 134 137 138 141 142 143 145 146 148 149 160 161 165 166 168 169 170 175 178 181 183 190 195 197 202 204 207 208 210 211 213 216 220 222 223 224 226 233 236 240 245 246 247 252 254 261 267 271 272 273 276 277 280 283 284 285 286 287 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 387 390 393 394 395 403 404 410 415 419 421 422 425 426 430 431 433 436 437 441 444 454 455 460 462 463 475 478 479 491 500 501 506 a 1 4 8 16 20 22 27 31 34 38 43 52 53 58 60 61 68 70 73 76 77 79 81 85 86 89 96 100 107 108 109 113 116 119 120 122 125 127 128 129 132 134 137 138 141 142 143 145 146 148 149 160 161 165 166 168 169 170 175 178 181 183 190 195 197 202 204 207 208 210 211 213 216 220 222 223 224 226 233 236 240 245 246 247 249 252 254 261 267 271 272 273 276 277 280 283 284 285 286 287 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 387 390 393 394 395 403 404 410 415 419 421 422 425 426 430 431 433 436 437 441 444 454 455 460 462 463 475 478 479 491 500 501 a 1 4 8 16 20 22 27 31 34 38 43 47 52 53 58 60 61 68 70 73 76 77 79 81 85 86 89 96 100 107 108 109 113 116 119 120 122 125 127 128 129 132 134 137 138 141 142 143 145 146 148 149 160 161 165 166 168 169 170 175 178 181 183 190 195 197 202 204 207 208 210 211 213 216 220 222 223 224 226 233 236 240 245 246 247 249 252 254 261 267 271 272 273 276 277 280 283 284 285 286 287 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 387 390 393 394 395 403 404 410 415 419 421 422 425 426 430 431 433 436 437 441 444 454 455 460 462 463 475 478 479 491 501 a 1 4 8 16 20 22 27 34 38 43 47 52 53 58 60 61 68 70 73 76 77 79 81 85 86 89 96 100 107 108 109 113 116 119 120 122 125 127 128 129 132 134 137 138 141 142 143 145 146 148 149 160 161 165 166 168 169 170 175 178 181 183 190 195 197 202 204 207 208 210 211 213 216 220 222 223 224 226 233 236 240 245 246 247 249 252 254 261 267 271 272 273 276 277 280 283 284 285 286 287 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 387 390 393 394 395 403 404 410 415 419 421 422 425 426 430 431 433 436 437 441 444 454 455 460 462 463 475 478 479 491 501 506 a 1 4 8 16 20 22 27 34 38 43 47 52 53 58 61 68 70 73 76 77 79 81 85 86 89 96 100 107 108 109 113 116 119 120 122 125 127 128 129 132 134 137 138 141 142 143 145 146 148 149 160 161 165 166 168 169 170 175 178 181 183 190 195 197 202 204 207 208 210 211 213 216 220 222 223 224 226 233 236 240 245 246 247 249 252 254 261 267 271 272 273 276 277 280 283 284 285 286 287 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 387 390 393 394 395 403 404 410 415 419 421 422 425 426 430 431 433 436 437 441 444 454 455 460 462 463 475 478 479 480 491 501 506 a 1 4 8 16 20 22 27 34 38 43 47 52 53 58 61 68 70 73 76 77 79 81 85 86 89 96 100 107 108 109 113 116 119 120 122 125 127 128 129 132 134 137 138 141 142 143 145 146 148 149 160 161 165 166 168 169 170 175 178 181 183 190 195 197 202 204 207 208 210 211 213 216 220 222 223 224 226 233 236 240 245 246 247 249 254 261 267 271 272 273 276 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 331 333 338 340 349 351 354 355 360 365 367 369 371 374 377 381 382 385 387 390 393 394 395 403 404 410 415 419 421 422 425 426 430 431 433 436 437 441 444 454 455 460 462 463 475 478 479 480 491 501 506 a 1 4 8 16 20 22 27 34 38 43 47 52 53 58 61 68 70 73 76 77 79 81 85 86 89 96 100 107 108 109 113 116 119 120 122 125 127 128 129 132 134 137 138 141 142 143 145 146 148 149 160 161 165 166 168 169 170 175 178 181 183 190 195 197 202 204 207 208 210 211 213 216 220 222 223 224 226 233 235 236 240 245 246 247 249 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 340 349 351 354 355 360 365 367 369 371 374 377 381 382 385 387 390 393 394 395 403 404 410 415 419 421 422 425 426 430 431 433 436 437 441 444 454 455 460 462 463 475 478 479 480 491 501 506 a 1 4 8 16 20 22 27 34 38 43 47 52 53 58 61 68 70 73 76 77 79 81 85 86 89 96 100 107 108 109 113 116 119 120 122 125 127 128 129 132 134 137 138 141 142 143 145 146 148 149 160 161 165 166 168 169 170 175 178 181 183 190 195 197 202 204 207 208 210 211 213 216 220 222 223 224 226 232 233 235 236 240 245 246 247 249 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 340 349 351 354 355 360 365 367 369 371 377 381 382 385 387 390 393 394 395 403 404 410 415 419 421 422 425 426 430 431 433 436 437 441 444 454 455 460 462 463 475 478 479 480 491 501 506 a 1 4 8 16 20 22 27 34 38 43 47 52 53 58 61 68 70 73 76 77 79 81 85 86 89 96 100 107 108 109 113 116 119 120 122 125 127 128 129 132 134 137 138 141 142 143 145 146 148 149 160 161 165 166 168 169 170 175 178 181 183 190 194 195 197 202 204 207 208 210 211 213 216 220 222 223 224 226 232 233 235 236 240 245 246 247 249 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 340 349 351 354 355 360 365 367 369 371 377 381 382 385 387 390 393 394 395 403 404 410 415 419 421 422 425 426 430 431 433 436 437 441 444 454 455 460 462 463 475 478 480 491 501 506 a 1 4 8 16 20 22 27 34 38 43 47 52 53 58 61 68 70 73 76 77 79 81 85 86 89 96 100 107 108 109 113 116 119 120 122 125 127 128 129 132 134 137 138 141 142 143 145 146 148 149 160 161 165 166 168 169 170 175 178 181 183 190 194 195 197 202 204 207 208 210 211 213 216 220 222 223 224 226 232 233 235 236 240 245 246 247 249 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 340 349 351 354 355 360 365 367 369 371 377 381 382 385 387 390 393 394 395 403 404 410 415 419 421 422 425 426 430 433 436 437 441 444 453 454 455 460 462 463 475 478 480 491 501 506 a 1 4 8 16 20 22 25 27 34 38 43 47 52 53 58 61 68 70 73 76 77 79 81 85 86 89 96 100 107 108 109 113 116 119 120 122 125 127 128 129 132 134 137 138 141 142 143 145 146 148 149 160 161 165 166 168 169 170 175 178 181 183 190 194 195 197 202 204 207 208 210 211 213 216 220 222 223 224 226 232 233 235 236 240 245 246 247 249 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 340 349 351 354 355 360 365 367 369 371 377 381 382 385 387 390 393 394 395 403 404 410 415 419 421 422 425 426 430 433 436 437 441 444 453 454 455 460 462 463 478 480 491 501 506 a 1 4 8 16 20 22 25 27 34 38 43 47 52 53 58 61 68 70 73 76 77 79 81 85 86 89 96 100 107 108 109 113 116 119 120 122 125 127 128 129 132 134 137 138 141 142 143 145 146 148 149 155 160 161 165 166 168 169 170 175 178 181 183 190 194 195 197 202 204 207 208 210 211 213 216 220 222 223 224 226 232 233 235 236 240 245 246 247 249 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 333 338 340 349 351 354 355 360 365 367 369 371 377 381 382 385 387 390 393 394 395 403 404 410 415 419 421 422 425 426 430 433 436 437 441 444 453 454 455 460 462 463 478 480 491 501 506 a 1 4 8 16 20 22 25 27 34 38 43 47 52 53 58 61 64 68 70 73 76 77 79 81 85 86 89 96 100 107 108 109 113 116 119 120 122 125 127 128 129 132 134 137 138 141 142 143 145 146 148 149 155 160 161 165 166 168 169 175 178 181 183 190 194 195 197 202 204 207 208 210 211 213 216 220 222 223 224 226 232 233 235 236 240 245 246 247 249 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 333 338 340 349 351 354 355 360 365 367 369 371 377 381 382 385 387 390 393 394 395 403 404 410 415 419 421 422 425 426 430 433 436 437 441 444 453 454 455 460 462 463 478 480 491 501 506 a 1 4 8 16 20 22 25 27 34 38 43 47 52 53 58 61 64 68 70 73 76 77 79 81 83 85 86 89 96 100 107 108 109 113 116 119 120 122 125 127 128 129 132 134 137 138 141 142 143 145 146 148 149 155 160 161 165 166 168 169 175 178 181 183 190 194 195 197 202 204 207 208 210 211 213 216 220 222 223 224 226 232 233 235 236 240 245 246 247 249 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 333 338 340 349 351 354 355 360 367 369 371 377 381 382 385 387 390 393 394 395 403 404 410 415 419 421 422 425 426 430 433 436 437 441 444 453 454 455 460 462 463 478 480 491 501 506 a 1 4 8 16 20 21 22 25 27 34 38 43 47 52 53 58 61 64 68 70 73 76 77 79 81 83 85 86 89 96 100 107 108 109 113 116 119 120 122 125 127 128 129 132 134 137 138 141 142 143 145 146 148 149 155 160 161 165 166 168 169 175 178 181 183 190 194 195 197 202 204 207 208 210 211 213 216 220 222 223 224 226 232 233 235 236 240 245 246 247 249 254 267 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 333 338 340 349 351 354 355 360 367 369 371 377 381 382 385 387 390 393 394 395 403 404 410 415 419 421 422 425 426 430 433 436 437 441 444 453 454 455 460 462 463 478 480 491 501 506 a 1 4 8 20 21 22 25 27 34 38 43 47 52 53 58 61 64 68 70 73 76 77 79 81 83 85 86 89 96 100 107 108 109 113 116 119 120 122 125 127 128 129 131 132 134 137 138 141 142 143 145 146 148 149 155 160 161 165 166 168 169 175 178 181 183 190 194 195 197 202 204 207 208 210 211 213 216 220 222 223 224 226 232 233 235 236 240 245 246 247 249 254 267 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 333 338 340 349 351 354 355 360 367 369 371 377 381 382 385 387 390 393 394 395 403 404 410 415 419 421 422 425 426 430 433 436 437 441 444 453 454 455 460 462 463 478 480 491 501 506 a 1 4 8 20 21 22 25 27 34 38 43 47 52 53 58 61 64 68 70 73 76 77 79 81 83 85 86 89 96 100 107 108 109 113 116 119 120 122 125 127 128 129 131 132 134 137 138 141 142 143 145 146 148 149 155 160 161 165 166 168 169 175 178 181 183 190 194 195 197 202 204 207 208 210 211 213 216 220 222 223 224 226 232 233 235 236 240 245 246 249 254 267 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 333 338 340 349 351 354 355 360 367 369 371 377 381 382 385 387 390 393 394 395 403 404 410 415 419 421 422 425 426 430 433 436 437 441 444 453 454 455 460 462 463 478 480 491 497 501 506 a 1 4 8 20 21 22 25 27 34 38 43 47 52 53 58 61 64 68 70 73 76 77 79 81 83 85 86 89 96 100 107 108 109 113 116 119 120 122 125 127 128 129 131 132 134 137 138 141 142 143 145 146 148 149 155 160 161 165 166 168 169 175 178 181 183 190 194 195 197 202 204 207 208 210 211 213 216 220 222 223 224 226 232 233 235 236 240 245 246 249 254 267 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 333 338 340 349 351 354 355 360 367 369 371 377 381 382 385 387 390 393 394 403 404 410 415 419 421 422 425 426 430 433 436 437 441 444 453 454 455 460 462 463 478 480 490 491 497 501 506 a 1 4 8 20 21 22 25 27 34 38 43 47 52 53 58 61 64 68 70 73 76 77 79 81 83 85 86 89 96 100 107 108 109 113 116 119 120 122 125 127 128 129 131 132 134 137 138 141 142 143 145 146 148 149 155 160 161 165 166 168 169 175 178 181 183 190 194 195 197 202 204 207 208 210 211 213 216 220 222 223 224 226 232 233 235 236 240 245 246 249 254 267 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 333 338 340 349 351 354 355 360 367 369 371 377 381 382 385 387 390 393 394 403 404 410 415 419 422 425 426 430 433 436 437 441 444 453 454 455 460 462 463 478 480 490 491 497 498 501 506 a 1 4 8 20 21 22 25 27 34 38 43 47 52 53 58 61 64 68 70 73 76 77 79 81 83 85 86 89 96 100 107 108 109 113 116 119 120 122 125 127 128 129 131 132 134 137 138 141 142 143 146 148 149 151 155 160 161 165 166 168 169 175 178 181 183 190 194 195 197 202 204 207 208 210 211 213 216 220 222 223 224 226 232 233 235 236 240 245 246 249 254 267 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 333 338 340 349 351 354 355 360 367 369 371 377 381 382 385 387 390 393 394 403 404 410 415 419 422 425 426 430 433 436 437 441 444 453 454 455 460 462 463 478 480 490 491 497 498 501 506 a 1 4 8 20 21 22 25 27 34 38 43 47 52 53 58 61 64 68 70 73 76 77 79 81 83 85 86 89 96 100 107 108 109 113 116 119 120 122 125 127 128 129 131 132 134 137 138 141 142 143 146 148 149 151 155 160 161 165 166 168 169 175 178 181 183 190 194 195 197 202 204 207 208 210 211 213 216 220 222 223 224 226 232 233 235 236 240 245 246 249 254 267 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 333 338 340 346 349 351 354 355 360 367 369 371 377 381 382 385 390 393 394 403 404 410 415 419 422 425 426 430 433 436 437 441 444 453 454 455 460 462 463 478 480 490 491 497 498 501 506 a 4 8 10 20 21 22 25 27 34 38 43 47 52 53 58 61 64 68 70 73 76 77 79 81 83 85 86 89 96 100 107 108 109 113 116 119 120 122 125 127 128 129 131 132 134 137 138 141 142 143 146 148 149 151 155 160 161 165 166 168 169 175 178 181 183 190 194 195 197 202 204 207 208 210 211 213 216 220 222 223 224 226 232 233 235 236 240 245 246 249 254 267 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 333 338 340 346 349 351 354 355 360 367 369 371 377 381 382 385 390 393 394 403 404 410 415 419 422 425 426 430 433 436 437 441 444 453 454 455 460 462 463 478 480 490 491 497 498 501 506 a 4 8 10 20 21 22 25 27 34 38 43 47 52 53 58 61 64 68 70 73 76 77 79 81 83 85 86 89 96 100 107 108 109 113 116 119 120 122 125 127 128 129 131 132 134 137 138 142 143 146 148 149 151 155 160 161 165 166 168 169 175 178 181 183 190 194 195 197 198 202 204 207 208 210 211 213 216 220 222 223 224 226 232 233 235 236 240 245 246 249 254 267 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 333 338 340 346 349 351 354 355 360 367 369 371 377 381 382 385 390 393 394 403 404 410 415 419 422 425 426 430 433 436 437 441 444 453 454 455 460 462 463 478 480 490 491 497 498 501 506 a 4 8 10 20 21 22 25 27 34 38 43 47 52 53 58 61 64 68 70 73 76 77 79 81 83 85 86 89 96 100 107 108 109 113 116 119 120 122 125 127 128 129 131 132 134 137 138 142 143 146 148 149 151 155 160 161 165 166 168 169 175 178 181 183 190 194 195 197 198 202 204 207 208 210 211 213 216 220 222 223 224 226 232 233 235 236 239 240 245 246 249 254 267 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 333 338 340 346 349 351 354 355 360 367 369 371 377 381 382 385 390 393 394 403 404 410 415 419 422 425 426 430 433 436 437 441 444 453 454 460 462 463 478 480 490 491 497 498 501 506 a 4 8 10 20 21 22 25 27 34 38 43 47 52 53 58 61 64 68 70 73 76 77 79 81 83 85 86 89 96 100 107 108 109 113 116 119 120 122 125 127 128 129 131 132 134 137 138 142 143 146 148 149 151 155 160 161 165 166 168 169 175 178 181 183 190 194 195 197 198 202 204 207 208 210 211 213 216 220 222 223 224 226 232 233 235 236 239 240 245 246 249 254 267 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 333 338 340 346 349 351 354 355 360 367 369 371 377 381 382 385 390 393 394 403 404 410 415 419 422 425 426 430 436 437 441 444 453 454 460 461 462 463 478 480 490 491 497 498 501 506 a 4 8 10 20 21 22 25 27 34 38 43 47 52 53 58 61 64 68 70 73 76 77 79 81 83 85 86 89 96 100 107 108 109 113 116 119 120 122 125 127 128 129 131 132 134 137 138 142 143 146 148 149 151 155 160 161 165 166 168 169 175 178 181 183 190 194 195 197 198 202 204 207 208 210 211 213 216 220 222 223 224 226 232 233 235 236 239 240 245 246 254 267 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 333 338 340 346 349 351 354 355 360 367 369 371 377 381 382 385 390 393 394 403 404 410 415 419 422 423 425 426 430 436 437 441 444 453 454 460 461 462 463 478 480 490 491 497 498 501 506 a 4 8 10 20 21 22 25 27 34 38 43 47 52 53 58 61 64 68 70 73 76 77 79 81 83 85 86 89 96 100 107 108 109 113 116 119 120 122 125 127 128 129 131 132 134 137 138 142 143 146 148 149 151 155 160 161 165 166 168 169 175 178 181 183 190 194 195 197 198 202 204 207 208 210 211 213 216 220 222 223 224 226 232 233 235 236 239 240 245 246 254 267 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 333 338 340 346 349 351 354 355 360 367 369 371 377 381 382 385 390 393 394 403 410 415 419 422 423 425 426 430 436 437 441 444 453 454 460 461 462 463 478 480 489 490 491 497 498 501 506 a 4 8 10 20 21 22 25 27 34 38 43 47 52 53 58 61 64 68 70 73 76 77 79 81 83 85 86 89 96 98 100 107 108 109 113 116 119 120 125 127 128 129 131 132 134 137 138 142 143 146 148 149 151 155 160 161 165 166 168 169 175 178 181 183 190 194 195 197 198 202 204 207 208 210 211 213 216 220 222 223 224 226 232 233 235 236 239 240 245 246 254 267 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 333 338 340 346 349 351 354 355 360 367 369 371 377 381 382 385 390 393 394 403 410 415 419 422 423 425 426 430 436 437 441 444 453 454 460 461 462 463 478 480 489 490 491 497 498 501 506 a 4 6 8 10 20 21 22 25 27 34 38 43 47 52 53 58 61 64 68 70 73 76 77 79 81 83 85 86 89 96 98 100 107 108 109 113 116 119 120 125 127 128 129 131 132 134 137 138 142 143 146 148 149 151 155 160 161 165 166 168 169 175 178 181 183 190 194 195 197 198 202 204 207 208 210 211 213 216 220 222 223 224 226 232 233 235 236 239 240 245 246 254 267 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 330 333 338 340 346 349 351 354 355 360 367 369 371 377 381 382 385 390 393 394 403 410 415 419 422 423 425 426 430 436 437 441 444 453 454 461 462 463 478 480 489 490 491 497 498 501 506 a 4 6 8 10 20 21 22 25 27 34 38 43 47 52 53 58 61 64 68 70 73 76 77 79 81 83 85 86 89 96 98 100 107 108 109 113 116 119 120 125 127 128 129 131 132 134 137 138 142 143 146 148 149 151 152 155 160 161 165 166 168 169 175 178 181 183 190 194 195 197 198 202 204 207 208 210 211 213 216 220 222 223 224 226 232 233 235 236 239 240 245 246 254 267 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 333 338 340 346 349 351 354 355 360 367 369 371 377 381 382 385 390 393 394 403 410 415 419 422 423 425 426 430 436 437 441 444 453 454 461 462 463 478 480 489 490 491 497 498 501 506 a 4 6 8 10 20 21 22 25 27 30 34 38 43 47 52 53 58 61 64 68 70 73 76 77 79 81 83 85 86 89 96 98 100 107 108 109 113 116 119 120 125 127 128 129 131 132 134 137 138 142 143 146 148 149 151 152 155 160 161 165 166 168 169 175 178 181 183 190 194 195 197 198 202 204 207 208 210 211 213 216 220 222 223 224 226 232 233 235 236 239 240 245 246 254 267 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 333 338 340 346 349 351 354 355 360 367 369 371 377 381 382 385 390 393 394 403 410 419 422 423 425 426 430 436 437 441 444 453 454 461 462 463 478 480 489 490 491 497 498 501 506 a 4 6 8 10 20 21 22 25 27 30 34 38 43 47 52 53 58 61 64 68 70 73 76 77 79 81 83 85 86 89 96 98 100 107 108 109 113 116 119 120 125 127 128 129 131 132 134 137 138 142 143 146 148 149 151 152 155 160 165 166 168 169 175 178 181 183 190 194 195 197 198 202 204 207 208 210 211 213 216 220 222 223 224 226 232 233 235 236 239 240 245 246 254 264 267 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 333 338 340 346 349 351 354 355 360 367 369 371 377 381 382 385 390 393 394 403 410 419 422 423 425 426 430 436 437 441 444 453 454 461 462 463 478 480 489 490 491 497 498 501 506 a 4 6 8 10 20 21 22 25 27 30 34 38 43 47 52 53 58 61 64 68 70 73 76 77 79 81 83 85 86 89 96 98 100 107 108 109 113 116 119 120 125 127 128 129 131 132 134 137 138 142 143 146 148 149 151 152 155 160 166 168 169 175 178 181 183 190 194 195 197 198 202 204 207 208 210 211 213 216 220 222 223 224 226 232 233 235 236 239 240 245 246 254 264 267 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 333 338 340 346 349 351 354 355 360 367 369 371 377 381 382 385 390 393 394 403 410 414 419 422 423 425 426 430 436 437 441 444 453 454 461 462 463 478 480 489 490 491 497 498 501 506 a 4 6 8 10 20 21 22 25 27 30 34 38 43 47 52 53 58 61 64 68 70 73 76 77 79 81 83 85 86 89 96 98 100 107 108 109 113 116 119 120 125 127 128 129 131 132 134 137 138 142 143 146 148 149 151 152 155 160 163 166 168 169 175 178 181 183 190 194 195 197 198 202 204 207 208 210 211 213 216 220 222 223 224 226 232 233 235 236 239 240 245 246 254 264 267 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 333 338 340 346 349 351 354 355 360 367 369 371 377 381 382 385 390 393 394 403 410 414 419 422 423 426 430 436 437 441 444 453 454 461 462 463 478 480 489 490 491 497 498 501 506 a 4 6 8 10 20 21 22 25 27 30 34 38 43 47 52 53 58 61 64 68 70 73 76 77 79 81 83 85 86 89 96 98 100 107 108 109 113 116 119 120 125 127 128 129 131 132 134 137 138 142 143 146 148 149 151 152 155 160 163 166 168 169 174 175 178 181 183 190 194 195 197 198 202 204 207 208 210 211 213 216 220 222 223 224 226 232 233 235 236 239 240 245 246 254 264 267 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 333 338 340 346 349 351 354 355 360 367 369 371 377 381 382 385 390 393 394 403 410 414 419 422 423 426 430 437 441 444 453 454 461 462 463 478 480 489 490 491 497 498 501 506 a 4 6 8 10 20 21 22 25 27 30 34 38 43 47 52 53 58 61 64 68 70 73 76 77 79 81 83 85 89 96 98 100 107 108 109 113 116 119 120 125 127 128 129 131 132 134 137 138 142 143 146 148 149 151 152 155 160 163 166 168 169 174 175 178 181 183 188 190 194 195 197 198 202 204 207 208 210 211 213 216 220 222 223 224 226 232 233 235 236 239 240 245 246 254 264 267 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 333 338 340 346 349 351 354 355 360 367 369 371 377 381 382 385 390 393 394 403 410 414 419 422 423 426 430 437 441 444 453 454 461 462 463 478 480 489 490 491 497 498 501 506 a 4 6 8 10 20 21 22 25 27 30 34 38 43 47 52 53 58 61 64 68 70 73 76 77 79 81 83 85 89 96 98 100 107 108 109 113 116 119 120 125 127 128 129 131 132 134 137 138 142 143 146 148 149 151 152 155 160 163 166 169 174 175 178 181 183 188 190 194 195 197 198 202 204 207 208 210 211 213 216 220 222 223 224 226 232 233 235 236 239 240 245 246 254 264 267 271 272 273 277 280 283 284 285 286 287 293 294 296 302 312 315 319 322 323 324 329 333 338 340 346 349 351 354 355 360 364 367 369 371 377 381 382 385 390 393 394 403 410 414 419 422 423 426 430 437 441 444 453 454 461 462 463 478 480 489 490 491 497 498 501 506 a 4 6 8 10 20 21 22 25 27 30 34 38 43 47 52 53 58 61 64 68 70 73 76 77 79 81 83 85 89 96 97 98 100 107 108 109 113 116 119 120 125 127 128 129 131 132 134 137 138 142 143 146 148 149 151 152 155 160 163 166 169 174 175 178 181 183 188 190 194 195 197 198 202 204 207 208 210 211 213 216 220 222 223 224 226 232 233 235 236 239 240 245 246 254 264 267 271 272 273 277 280 283 284 285 286 287 293 296 302 312 315 319 322 323 324 329 333 338 340 346 349 351 354 355 360 364 367 369 371 377 381 382 385 390 393 394 403 410 414 419 422 423 426 430 437 441 444 453 454 461 462 463 478 480 489 490 491 497 498 501 506 a 4 6 8 10 20 21 22 25 27 30 34 38 43 47 52 53 58 61 64 68 70 73 76 77 79 81 83 85 89 96 97 98 100 107 108 109 113 116 119 120 125 127 128 129 131 132 134 137 138 142 143 146 148 149 151 152 155 160 163 166 169 174 175 178 181 183 188 190 194 195 197 198 202 204 207 208 210 211 213 216 220 222 223 224 226 232 233 235 236 239 240 245 246 254 264 267 271 272 273 277 280 283 284 285 286 287 293 296 302 303 312 315 319 322 323 324 329 333 338 340 346 349 351 354 355 360 364 367 369 371 377 381 382 385 390 393 394 403 410 414 419 422 423 426 430 437 441 453 454 461 462 463 478 480 489 490 491 497 498 501 506 a 4 6 8 10 20 21 22 25 27 30 34 38 43 47 52 53 58 61 64 68 70 73 76 77 79 81 83 85 89 96 97 98 100 107 108 109 113 116 119 120 125 127 128 129 131 132 134 137 138 142 143 146 148 149 151 152 155 160 163 166 169 174 175 178 181 183 188 190 194 195 197 198 202 204 207 208 210 211 213 216 220 222 223 224 226 232 233 235 236 239 240 245 246 254 264 267 271 272 273 277 280 282 283 284 285 286 287 293 296 302 303 312 315 319 322 323 324 333 338 340 346 349 351 354 355 360 364 367 369 371 377 381 382 385 390 393 394 403 410 414 419 422 423 426 430 437 441 453 454 461 462 463 478 480 489 490 491 497 498 501 506 a 4 6 8 10 20 21 22 25 27 30 34 38 43 47 52 53 58 61 64 68 70 73 76 77 79 81 83 85 89 96 97 98 100 107 108 109 113 116 119 120 125 127 128 129 131 132 134 138 142 143 146 148 149 151 152 155 160 163 166 169 174 175 178 181 183 188 190 194 195 197 198 202 204 207 208 210 211 213 216 220 222 223 224 226 232 233 235 236 239 240 245 246 254 264 267 271 272 273 277 280 282 283 284 285 286 287 293 296 302 303 312 315 319 321 322 323 324 333 338 340 346 349 351 354 355 360 364 367 369 371 377 381 382 385 390 393 394 403 410 414 419 422 423 426 430 437 441 453 454 461 462 463 478 480 489 490 491 497 498 501 506 a 4 6 8 10 20 21 22 25 27 30 34 38 43 47 52 53 58 61 64 68 70 73 76 77 79 81 83 85 89 96 97 98 100 107 108 109 113 116 119 120 125 127 128 129 131 132 134 138 142 143 146 148 149 151 152 154 155 160 163 166 169 174 175 178 181 183 188 190 194 195 197 198 202 204 207 208 210 211 213 216 220 223 224 226 232 233 235 236 239 240 245 246 254 264 267 271 272 273 277 280 282 283 284 285 286 287 293 296 302 303 312 315 319 321 322 323 324 333 338 340 346 349 351 354 355 360 364 367 369 371 377 381 382 385 390 393 394 403 410 414 419 422 423 426 430 437 441 453 454 461 462 463 478 480 489 490 491 497 498 501 506 a 4 6 8 10 20 21 22 25 27 30 34 38 43 47 52 53 58 61 64 68 70 73 76 77 79 81 83 85 89 96 97 98 100 107 108 109 113 116 119 120 125 127 128 129 131 132 134 138 142 143 146 148 149 151 152 154 155 160 163 166 169 174 175 178 181 183 188 190 194 195 197 198 202 204 207 208 211 213 216 220 223 224 226 232 233 235 236 239 240 245 246 254 264 267 271 272 273 277 280 282 283 284 285 286 287 293 296 302 303 312 315 319 321 322 323 324 333 338 340 346 349 351 354 355 360 364 367 369 371 377 381 382 385 388 390 393 394 403 410 414 419 422 423 426 430 437 441 453 454 461 462 463 478 480 489 490 491 497 498 501 506 a 4 6 8 10 20 21 22 25 27 30 34 38 43 47 51 52 53 58 61 64 68 70 73 76 77 79 81 83 85 89 96 97 98 100 107 108 109 113 116 119 120 125 127 128 129 131 132 134 138 142 143 146 148 149 151 152 154 155 160 163 166 169 174 175 178 181 183 188 190 194 195 197 198 202 204 207 208 211 213 216 220 223 224 226 232 233 235 236 239 240 245 246 254 264 267 271 272 273 277 280 282 283 284 285 286 287 293 296 302 303 312 315 319 321 322 323 324 333 338 340 346 349 351 354 355 360 364 367 369 371 377 381 382 385 388 390 393 394 403 410 414 419 422 423 426 430 441 453 454 461 462 463 478 480 489 490 491 497 498 501 506 a 4 6 8 10 20 21 22 25 27 30 34 38 43 47 51 52 53 58 61 64 68 70 73 76 77 79 81 83 85 89 96 97 98 100 107 108 109 113 116 119 120 125 127 128 129 131 132 134 138 142 143 146 148 149 151 152 154 155 160 163 166 169 174 175 178 181 183 188 190 194 195 197 198 202 204 207 208 211 213 216 220 223 224 226 232 233 235 236 239 240 245 246 254 264 265 267 271 273 277 280 282 283 284 285 286 287 293 296 302 303 312 315 319 321 322 323 324 333 338 340 346 349 351 354 355 360 364 367 369 371 377 381 382 385 388 390 393 394 403 410 414 419 422 423 426 430 441 453 454 461 462 463 478 480 489 490 491 497 498 501 506 a 4 6 8 10 20 21 22 25 27 30 34 38 43 47 51 52 53 58 61 64 68 70 73 76 77 79 81 83 85 89 96 97 98 100 107 108 109 113 116 119 120 125 127 128 129 131 132 134 138 142 143 146 148 149 151 152 154 155 160 163 166 169 174 175 178 181 183 188 190 191 194 195 197 198 202 204 207 208 211 213 216 220 223 224 226 232 233 235 236 239 240 245 246 254 264 265 267 271 277 280 282 283 284 285 286 287 293 296 302 303 312 315 319 321 322 323 324 333 338 340 346 349 351 354 355 360 364 367 369 371 377 381 382 385 388 390 393 394 403 410 414 419 422 423 426 430 441 453 454 461 462 463 478 480 489 490 491 497 498 501 506 a 4 6 8 10 20 21 22 25 27 30 34 38 43 47 51 52 53 58 61 64 68 70 73 76 77 79 81 83 85 89 96 97 98 100 107 108 109 113 116 119 120 125 127 128 129 131 132 134 138 142 143 146 148 149 151 152 154 155 160 163 166 169 174 175 178 181 183 188 190 191 192 194 195 197 198 202 204 207 208 211 213 216 220 223 224 226 232 233 235 236 239 240 245 246 254 264 265 267 271 277 280 282 283 284 285 286 287 293 296 302 303 312 315 321 322 323 324 333 338 340 346 349 351 354 355 360 364 367 369 371 377 381 382 385 388 390 393 394 403 410 414 419 422 423 426 430 441 453 454 461 462 463 478 480 489 490 491 497 498 501 506 a 4 6 8 10 20 21 22 25 27 30 34 38 43 47 51 52 53 58 61 64 68 70 73 76 77 79 81 83 85 89 96 97 98 100 107 108 109 113 114 116 119 125 127 128 129 131 132 134 138 142 143 146 148 149 151 152 154 155 160 163 166 169 174 175 178 181 183 188 190 191 192 194 195 197 198 202 204 207 208 211 213 216 220 223 224 226 232 233 235 236 239 240 245 246 254 264 265 267 271 277 280 282 283 284 285 286 287 293 296 302 303 312 315 321 322 323 324 333 338 340 346 349 351 354 355 360 364 367 369 371 377 381 382 385 388 390 393 394 403 410 414 419 422 423 426 430 441 453 454 461 462 463 478 480 489 490 491 497 498 501 506 a 4 6 8 10 20 21 22 25 27 30 34 38 43 47 51 52 53 58 61 64 68 70 73 76 77 79 81 83 85 89 96 97 98 100 107 108 109 113 114 116 119 125 127 128 129 131 132 134 138 142 143 146 148 149 151 152 154 155 160 163 166 169 174 175 178 181 183 188 190 191 192 194 195 197 198 202 204 208 211 213 216 220 223 224 226 232 233 235 236 239 240 245 246 254 264 265 267 271 277 280 282 283 284 285 286 287 293 296 302 303 312 315 321 322 323 324 333 338 340 346 349 351 354 355 360 364 367 369 371 377 381 382 385 388 390 393 394 403 410 414 418 419 422 423 426 430 441 453 454 461 462 463 478 480 489 490 491 497 498 501 506 a 4 6 8 10 20 21 22 25 27 30 34 38 43 47 51 52 53 58 61 64 68 70 73 76 77 79 81 83 85 89 96 97 98 100 107 108 109 113 114 116 119 125 127 128 129 131 132 134 138 142 143 146 148 149 151 152 154 155 160 163 166 169 174 175 178 181 183 188 190 191 192 194 195 197 198 202 204 208 211 213 220 223 224 226 232 233 235 236 239 240 245 246 254 264 265 267 271 277 280 282 283 284 285 286 287 293 296 302 303 312 315 321 322 323 324 333 338 340 346 349 351 354 355 360 364 367 369 371 377 381 382 385 388 390 393 394 403 409 410 414 418 419 422 423 426 430 441 453 454 461 462 463 478 480 489 490 491 497 498 501 506 a 4 6 8 10 20 21 22 25 27 30 34 38 43 47 51 52 53 58 61 64 68 70 73 76 77 79 81 83 85 89 96 97 98 100 107 108 109 113 114 116 117 119 125 127 128 129 131 132 134 138 142 143 146 148 149 151 152 154 155 160 163 166 169 174 175 178 181 183 188 190 191 192 194 195 197 198 202 204 208 211 213 220 223 224 226 232 233 235 236 239 240 245 246 254 264 265 267 271 277 280 282 283 284 285 286 287 293 296 302 303 312 315 321 322 323 324 333 338 340 346 349 351 354 355 360 364 367 369 377 381 382 385 388 390 393 394 403 409 410 414 418 419 422 423 426 430 441 453 454 461 462 463 478 480 489 490 491 497 498 501 506 a 4 6 8 10 20 21 22 25 27 30 34 38 43 47 51 52 53 58 61 64 68 70 73 76 77 79 81 83 85 89 96 97 98 100 107 108 109 113 114 116 117 119 125 127 128 129 131 132 134 138 142 143 146 148 149 151 152 154 155 160 163 166 169 174 175 178 181 183 188 190 191 192 194 195 197 198 202 204 208 211 213 220 224 226 232 233 235 236 239 240 245 246 254 264 265 267 268 271 277 280 282 283 284 285 286 287 293 296 302 303 312 315 321 322 323 324 333 338 340 346 349 351 354 355 360 364 367 369 377 381 382 385 388 390 393 394 403 409 410 414 418 419 422 423 426 430 441 453 454 461 462 463 478 480 489 490 491 497 498 501 506 a 4 6 8 10 20 21 22 25 27 30 34 38 43 47 51 52 53 58 64 68 70 73 76 77 79 81 83 85 89 96 97 98 100 107 108 109 113 114 116 117 119 125 127 128 129 131 132 134 138 142 143 146 148 149 151 152 154 155 160 163 166 169 174 175 178 181 183 188 190 191 192 194 195 197 198 202 204 208 211 213 220 224 226 232 233 235 236 239 240 245 246 254 264 265 267 268 271 277 278 280 282 283 284 285 286 287 293 296 302 303 312 315 321 322 323 324 333 338 340 346 349 351 354 355 360 364 367 369 377 381 382 385 388 390 393 394 403 409 410 414 418 419 422 423 426 430 441 453 454 461 462 463 478 480 489 490 491 497 498 501 506 a 4 6 8 10 20 21 22 25 27 30 34 38 43 47 51 52 53 58 64 68 70 73 76 77 79 81 83 85 89 97 98 100 107 108 109 113 114 116 117 119 125 127 128 129 131 132 134 138 142 143 146 148 149 151 152 154 155 160 163 166 169 174 175 178 181 183 188 190 191 192 194 195 197 198 202 204 208 211 213 220 224 226 232 233 235 236 239 240 245 246 254 264 265 267 268 271 277 278 280 282 283 284 285 286 287 293 296 302 303 305 312 315 321 322 323 324 333 338 340 346 349 351 354 355 360 364 367 369 377 381 382 385 388 390 393 394 403 409 410 414 418 419 422 423 426 430 441 453 454 461 462 463 478 480 489 490 491 497 498 501 506 a 4 6 8 10 20 21 22 25 27 30 34 38 43 47 51 52 53 58 64 68 70 73 76 77 79 81 83 85 89 97 98 100 107 108 109 113 114 116 117 119 125 127 128 129 131 132 134 138 142 143 146 148 149 151 152 154 155 160 163 166 169 174 175 178 181 183 188 190 191 192 194 197 198 202 204 208 211 213 220 224 226 232 233 235 236 239 240 245 246 254 264 265 267 268 271 277 278 280 282 283 284 285 286 287 293 296 302 303 305 312 315 321 322 323 324 333 338 340 346 349 351 354 355 360 364 367 369 377 381 382 385 388 390 393 394 403 409 410 414 418 419 422 423 426 430 441 453 454 457 461 462 463 478 480 489 490 491 497 498 501 506 a 4 6 8 10 20 21 22 25 27 30 34 38 43 47 51 52 53 58 64 68 70 73 76 77 79 81 83 85 89 97 98 100 107 108 109 113 114 116 117 119 125 127 128 129 131 132 134 138 142 143 146 148 149 151 152 154 155 160 163 166 169 174 175 178 181 183 188 190 191 192 194 197 198 202 204 208 211 213 220 224 226 232 233 235 236 239 240 245 246 254 264 265 267 268 271 277 278 280 282 283 284 286 287 293 296 302 303 305 312 315 321 322 323 324 333 338 340 346 349 351 354 355 360 364 367 369 377 381 382 385 388 390 393 394 403 409 410 414 418 419 422 423 426 430 441 453 454 457 461 462 463 471 478 480 489 490 491 497 498 501 506 a 4 6 8 10 20 21 22 25 27 30 34 38 43 47 51 52 53 58 64 68 70 73 76 77 79 81 83 85 89 97 98 100 107 108 109 113 114 116 117 119 125 127 128 129 131 132 134 138 142 143 146 148 149 151 152 154 155 160 163 166 169 174 175 178 181 183 188 190 191 192 194 197 198 202 208 211 213 220 224 226 232 233 235 236 239 240 245 246 254 264 265 267 268 271 277 278 280 282 283 284 286 287 293 296 302 303 305 312 315 321 322 323 324 333 338 340 346 349 351 354 355 360 364 367 369 377 381 382 385 388 390 393 394 403 409 410 414 418 419 422 423 426 430 441 453 454 457 461 462 463 471 478 480 489 490 491 493 497 498 501 506 a 4 6 8 10 20 21 22 25 27 30 34 38 43 47 51 52 53 58 64 68 70 73 76 79 81 83 85 89 97 98 100 107 108 109 113 114 116 117 119 125 127 128 129 131 132 134 138 142 143 146 148 149 151 152 154 155 160 163 166 169 174 175 178 181 183 188 190 191 192 194 197 198 202 208 211 213 220 224 226 232 233 235 236 239 240 245 246 254 264 265 267 268 271 277 278 280 282 283 284 286 287 293 296 302 303 305 312 315 321 322 323 324 333 338 340 346 349 351 354 355 360 364 367 369 377 381 382 385 388 390 393 394 403 409 410 414 418 419 422 423 426 430 441 453 454 457 461 462 463 471 478 480 487 489 490 491 493 497 498 501 506 a 4 6 8 10 20 21 22 25 27 30 34 38 43 47 51 52 53 58 64 68 70 73 76 79 81 83 85 89 97 98 100 107 108 109 113 114 116 117 119 125 127 128 129 131 132 134 138 142 143 146 148 149 151 152 154 155 160 163 166 169 174 175 178 181 183 188 190 191 192 194 197 198 202 208 211 213 214 220 224 226 232 233 235 236 239 240 245 246 254 264 265 267 268 271 277 278 280 282 283 284 286 287 293 296 302 303 305 312 315 321 322 323 324 333 338 340 346 349 351 354 355 360 364 367 369 377 381 382 385 388 390 393 403 409 410 414 418 419 422 423 426 430 441 453 454 457 461 462 463 471 478 480 487 489 490 491 493 497 498 501 506 a 4 6 8 10 20 21 22 25 27 30 34 38 43 47 51 52 53 58 64 68 70 73 76 79 81 83 85 89 97 98 100 107 108 109 113 114 116 117 119 125 127 128 129 131 132 134 138 142 143 144 146 148 149 151 152 154 155 160 163 166 169 174 175 178 181 183 188 190 191 192 194 197 198 202 208 211 213 214 220 224 226 232 233 235 236 239 240 245 246 254 264 265 267 268 271 277 278 280 282 283 284 286 287 293 296 302 303 305 312 315 321 322 323 324 333 338 340 346 349 351 354 355 360 364 367 369 377 381 382 385 388 390 393 403 409 410 414 418 419 422 423 426 441 453 454 457 461 462 463 471 478 480 487 489 490 491 493 497 498 501 506 a 4 6 8 10 20 21 22 25 27 30 34 38 43 47 51 52 53 58 64 68 70 73 76 79 81 83 85 89 97 98 100 103 107 108 109 113 114 116 117 119 125 127 128 129 131 132 134 138 142 143 144 146 148 149 151 152 154 155 160 163 166 169 174 175 178 181 183 188 190 191 192 194 197 198 202 208 211 213 214 220 224 226 232 233 235 236 239 240 245 246 254 264 265 267 268 271 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 322 323 324 333 338 340 346 349 351 354 355 360 364 367 369 377 381 382 385 388 390 393 403 409 410 414 418 419 422 423 426 441 453 454 457 461 462 463 471 478 480 487 489 490 491 493 497 498 501 506 a 4 6 8 10 20 21 22 25 27 30 34 38 43 47 51 52 53 58 64 68 70 73 76 79 81 83 85 89 97 98 100 103 107 108 109 113 114 116 117 119 125 127 128 129 131 132 134 138 142 143 144 146 148 149 151 152 154 155 160 163 166 169 174 175 178 181 183 188 190 191 192 194 197 198 202 208 211 213 214 220 224 226 232 233 235 236 239 240 245 246 254 264 265 267 268 271 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 322 323 324 333 338 340 346 349 351 354 355 360 364 367 369 381 382 385 388 390 393 403 409 410 414 418 419 422 423 426 441 453 454 457 461 462 463 471 478 480 487 488 489 490 491 493 497 498 501 506 a 4 6 8 10 20 21 22 25 27 30 34 38 43 47 51 52 53 58 64 68 70 73 76 79 81 83 85 89 97 98 100 103 107 108 109 113 114 116 117 119 125 127 128 129 131 132 134 138 142 143 144 146 148 149 151 152 154 155 160 163 166 169 174 175 178 181 183 188 190 191 192 194 197 198 202 208 211 213 214 220 224 226 232 235 236 239 240 245 246 254 264 265 267 268 271 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 322 323 324 333 338 340 346 349 351 354 355 360 364 367 369 381 382 385 388 390 393 403 408 409 410 414 418 419 422 423 426 441 453 454 457 461 462 463 471 478 480 487 488 489 490 491 493 497 498 501 506 a 4 6 8 10 20 21 22 25 27 30 34 38 43 47 51 52 53 58 64 68 70 73 76 79 81 83 85 89 97 98 100 103 107 108 109 113 114 116 117 119 125 127 128 129 131 132 134 138 142 143 144 146 148 149 151 152 154 155 160 163 166 167 169 174 175 178 181 183 188 190 191 192 194 197 198 202 208 211 213 214 220 224 226 232 235 236 239 245 246 254 264 265 267 268 271 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 322 323 324 333 338 340 346 349 351 354 355 360 364 367 369 381 382 385 388 390 393 403 408 409 410 414 418 419 422 423 426 441 453 454 457 461 462 463 471 478 480 487 488 489 490 491 493 497 498 501 506 a 6 8 10 20 21 22 25 27 30 34 38 43 47 51 52 53 58 64 68 70 73 76 79 81 83 85 89 97 98 100 103 107 108 109 113 114 116 117 119 125 127 128 129 131 132 134 138 142 143 144 146 148 149 151 152 154 155 160 163 166 167 169 174 175 178 181 183 188 190 191 192 194 197 198 202 208 211 213 214 220 224 226 232 235 236 239 245 246 254 264 265 267 268 271 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 322 323 324 333 338 340 346 349 351 354 355 360 363 364 367 369 381 382 385 388 390 393 403 408 409 410 414 418 419 422 423 426 441 453 454 457 461 462 463 471 478 480 487 488 489 490 491 493 497 498 501 506 a 6 8 10 20 21 22 25 27 30 34 38 43 47 51 52 53 58 64 68 73 76 79 81 83 85 89 97 98 100 103 107 108 109 113 114 116 117 119 125 127 128 129 131 132 134 138 142 143 144 146 148 149 151 152 154 155 160 163 166 167 169 174 175 178 181 183 188 190 191 192 194 197 198 202 208 211 213 214 220 224 226 232 235 236 237 239 245 246 254 264 265 267 268 271 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 322 323 324 333 338 340 346 349 351 354 355 360 363 364 367 369 381 382 385 388 390 393 403 408 409 410 414 418 419 422 423 426 441 453 454 457 461 462 463 471 478 480 487 488 489 490 491 493 497 498 501 506 a 6 8 10 20 21 22 25 27 30 34 38 43 47 51 52 53 58 64 68 73 76 79 81 83 85 89 97 98 100 103 107 108 109 113 114 116 117 119 125 127 128 129 131 132 134 138 142 143 144 146 148 149 151 152 154 155 160 163 166 167 169 174 175 178 181 183 188 190 191 192 194 197 198 202 208 211 213 214 220 224 226 232 235 236 237 239 246 254 264 265 267 268 271 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 322 323 324 333 338 340 346 349 351 354 355 360 363 364 367 369 381 382 385 388 390 393 403 408 409 410 414 418 419 422 423 426 441 453 454 457 461 462 463 471 478 480 487 488 489 490 491 493 497 498 499 501 506 a 6 8 10 20 21 22 25 27 30 34 43 47 51 52 53 58 64 68 73 76 79 81 83 85 89 97 98 100 103 107 108 109 113 114 116 117 119 125 127 128 129 131 132 134 138 142 143 144 146 148 149 150 151 152 154 155 160 163 166 167 169 174 175 178 181 183 188 190 191 192 194 197 198 202 208 211 213 214 220 224 226 232 235 236 237 239 246 254 264 265 267 268 271 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 322 323 324 333 338 340 346 349 351 354 355 360 363 364 367 369 381 382 385 388 390 393 403 408 409 410 414 418 419 422 423 426 441 453 454 457 461 462 463 471 478 480 487 488 489 490 491 493 497 498 499 501 506 a 6 8 10 20 21 22 25 27 30 34 43 47 51 52 53 58 64 68 73 76 79 81 83 85 89 97 98 100 103 107 108 109 113 114 116 117 119 125 127 128 129 131 132 134 138 142 143 144 146 148 149 150 151 152 154 155 160 163 166 167 169 174 175 178 181 183 188 190 191 192 194 198 202 208 211 213 214 220 224 226 232 235 236 237 239 246 254 264 265 267 268 271 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 322 323 324 333 338 340 346 349 351 354 355 360 363 364 367 369 381 382 385 388 390 393 403 408 409 410 414 418 419 422 423 426 441 452 453 454 457 461 462 463 471 478 480 487 488 489 490 491 493 497 498 499 501 506 a 6 8 10 20 21 22 25 27 30 34 43 47 51 52 53 58 59 64 68 73 76 79 81 83 85 89 97 98 103 107 108 109 113 114 116 117 119 125 127 128 129 131 132 134 138 142 143 144 146 148 149 150 151 152 154 155 160 163 166 167 169 174 175 178 181 183 188 190 191 192 194 198 202 208 211 213 214 220 224 226 232 235 236 237 239 246 254 264 265 267 268 271 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 322 323 324 333 338 340 346 349 351 354 355 360 363 364 367 369 381 382 385 388 390 393 403 408 409 410 414 418 419 422 423 426 441 452 453 454 457 461 462 463 471 478 480 487 488 489 490 491 493 497 498 499 501 506 a 6 8 10 20 21 22 25 27 30 34 43 47 51 52 53 58 59 64 68 73 76 79 81 83 85 89 97 98 103 107 108 109 113 114 116 117 119 125 127 128 129 131 132 134 138 142 143 144 148 149 150 151 152 154 155 160 163 166 167 169 174 175 178 181 183 188 190 191 192 194 198 202 208 211 213 214 220 224 226 232 235 236 237 239 244 246 254 264 265 267 268 271 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 322 323 324 333 338 340 346 349 351 354 355 360 363 364 367 369 381 382 385 388 390 393 403 408 409 410 414 418 419 422 423 426 441 452 453 454 457 461 462 463 471 478 480 487 488 489 490 491 493 497 498 499 501 506 a 6 8 10 20 21 22 25 27 30 34 43 47 51 52 53 58 59 64 68 73 79 81 83 85 89 97 98 103 107 108 109 113 114 116 117 119 125 127 128 129 131 132 134 138 142 143 144 148 149 150 151 152 154 155 160 163 166 167 169 174 175 178 181 183 188 190 191 192 194 198 202 208 211 213 214 220 224 226 232 235 236 237 239 244 246 254 264 265 267 268 271 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 322 323 324 333 338 340 346 349 351 354 355 360 363 364 367 369 381 382 385 388 390 393 403 408 409 410 414 418 419 422 423 426 441 452 453 454 456 457 461 462 463 471 478 480 487 488 489 490 491 493 497 498 499 501 506 a 6 8 10 20 21 22 25 27 30 34 43 47 51 52 53 58 59 64 65 68 73 79 81 83 85 89 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 160 163 166 167 169 174 175 178 181 183 188 190 191 192 194 198 202 208 211 213 214 220 224 226 232 235 236 237 239 244 246 254 264 265 267 268 271 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 322 323 324 333 338 340 346 349 351 354 355 360 363 364 367 369 381 382 385 388 390 393 403 408 409 410 414 418 419 422 423 426 441 452 453 454 456 457 461 462 463 471 478 480 487 488 489 490 491 493 497 498 499 501 506 a 6 8 10 20 21 22 25 27 30 34 43 47 51 52 53 58 59 64 65 68 69 73 79 81 83 85 89 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 166 167 169 174 175 178 181 183 188 190 191 192 194 198 202 208 211 213 214 220 224 226 232 235 236 237 239 244 246 254 264 265 267 268 271 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 322 323 324 333 338 340 346 349 351 354 355 360 363 364 367 369 381 382 385 388 390 393 403 408 409 410 414 418 419 422 423 426 441 452 453 454 456 457 461 462 463 471 478 480 487 488 489 490 491 493 497 498 499 501 506 a 6 8 10 20 21 22 25 27 30 34 43 47 51 52 53 58 59 64 65 68 69 73 79 81 83 85 89 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 166 167 169 174 175 178 181 183 188 190 191 192 194 198 202 208 211 213 214 220 224 226 232 235 236 237 239 244 246 254 264 265 267 268 271 277 278 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 381 382 385 388 390 393 403 408 409 410 414 418 419 422 423 426 441 452 453 454 456 457 461 462 463 471 478 480 487 488 489 490 491 493 497 498 499 501 506 a 6 8 10 20 21 22 25 27 30 34 43 47 48 51 52 53 58 59 64 65 68 69 73 79 81 83 85 89 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 166 167 169 174 175 178 181 183 188 190 191 192 194 198 202 208 211 213 214 220 224 226 232 235 236 237 239 244 246 254 264 265 267 268 271 277 278 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 381 385 388 390 393 403 408 409 410 414 418 419 422 423 426 441 452 453 454 456 457 461 462 463 471 478 480 487 488 489 490 491 493 497 498 499 501 506 a 6 8 10 20 21 22 25 27 30 34 43 47 48 51 52 53 58 59 64 65 68 69 73 79 81 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 166 167 169 174 175 178 181 183 188 190 191 192 194 198 202 208 211 213 214 220 224 226 232 235 236 237 239 244 246 254 264 265 267 268 271 277 278 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 381 385 388 390 393 408 409 410 414 418 419 422 423 426 441 452 453 454 456 457 461 462 463 471 478 480 487 488 489 490 491 493 497 498 499 501 506 a 6 8 10 20 21 22 23 25 27 30 34 43 47 48 51 52 53 58 59 64 65 68 69 73 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 166 167 169 174 175 178 181 183 188 190 191 192 194 198 202 208 211 213 214 220 224 226 232 235 236 237 239 244 246 254 264 265 267 268 271 277 278 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 381 385 388 390 393 408 409 410 414 418 419 422 423 426 441 452 453 454 456 457 461 462 463 471 478 480 487 488 489 490 491 493 497 498 499 501 506 a 6 8 10 20 21 22 23 25 27 30 34 43 47 48 51 52 53 58 59 64 65 68 69 73 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 166 167 169 174 175 178 181 188 190 191 192 194 198 202 208 211 213 214 220 224 226 232 235 236 237 239 244 246 254 264 265 267 268 271 277 278 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 381 385 388 390 393 408 409 410 414 418 419 422 423 426 441 452 453 454 456 457 461 462 463 471 478 480 487 488 489 490 491 493 497 498 499 500 501 506 a 6 8 10 20 21 22 23 25 30 34 43 47 48 51 52 53 58 59 64 65 68 69 73 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 166 167 169 174 175 178 181 188 190 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 271 277 278 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 381 385 388 390 393 408 409 410 414 418 419 422 423 426 441 452 453 454 456 457 461 462 463 471 478 480 487 488 489 490 491 493 497 498 499 500 501 506 a 6 8 10 20 21 22 23 25 30 34 43 47 48 51 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 166 167 169 174 175 178 181 188 190 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 271 277 278 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 381 385 388 390 393 408 409 410 414 418 419 422 423 426 441 452 453 454 456 457 461 462 463 471 478 480 487 488 489 490 491 493 497 498 499 500 501 506 a 6 8 10 20 21 22 23 25 30 34 43 47 48 51 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 166 167 169 174 175 178 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 271 277 278 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 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 20 21 22 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 134 138 142 143 144 148 149 150 151 152 154 155 163 166 167 169 174 175 178 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 322 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 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 134 138 142 143 144 148 149 150 151 152 154 155 163 166 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 265 267 268 269 271 277 278 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 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 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 134 138 142 143 144 148 149 150 151 152 154 155 163 166 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 265 267 268 269 271 277 278 280 282 284 286 287 293 296 302 303 305 312 315 321 322 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 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 134 138 142 143 144 148 149 150 151 152 154 155 163 166 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 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 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 166 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 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): 555.61 System time (seconds): 8.67 Percent of CPU this job got: 153% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:08.80 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): 23695760 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 8282104 Voluntary context switches: 704559 Involuntary context switches: 2527 Swaps: 0 File system inputs: 0 File system outputs: 1040 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 15:08:29 2023]