#BEGIN: [Mon Sep 4 12:34:53 2023] #HOST: s01 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance038_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance038_graph005_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance038_graph005.col /benchmark/random_instance/random_instance038_graph005_01.dat c /benchmark/random_instance/random_instance038_graph005.col c /benchmark/random_instance/random_instance038_graph005_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): Queueing signal... *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds s 316 167 148 443 348 318 436 244 173 170 387 334 401 230 475 234 174 247 363 288 419 37 460 452 314 311 135 228 448 49 85 172 267 69 337 169 70 105 153 385 320 102 439 308 109 392 77 354 233 487 147 189 446 193 435 459 81 192 36 11 38 336 75 229 321 132 9 60 346 373 378 25 257 47 351 451 142 437 328 252 62 146 29 182 175 468 63 264 231 215 131 305 331 161 307 239 291 125 332 5 432 381 463 386 73 202 408 198 159 155 391 469 433 349 183 22 281 423 476 434 405 407 151 275 235 303 365 355 483 299 357 325 181 422 101 216 2 453 253 360 40 10 72 272 421 50 160 364 145 98 241 293 327 488 163 88 t 451 225 345 363 382 178 242 293 362 419 5 66 205 189 343 493 263 365 262 8 406 158 465 296 193 6 358 422 118 92 351 16 20 420 317 3 14 32 287 101 40 456 124 283 103 392 10 120 290 7 119 268 177 131 271 51 94 272 251 306 458 160 353 324 240 112 246 62 79 301 447 297 37 49 187 334 47 237 211 98 437 13 201 43 275 325 181 219 250 450 157 57 85 412 284 415 399 346 278 100 407 140 257 222 489 50 80 355 370 208 364 408 423 176 285 300 404 156 335 204 487 129 54 235 260 417 88 491 302 481 173 261 153 183 78 282 439 368 383 281 252 396 490 270 357 336 102 387 81 83 127 311 466 316 409 67 a YES a 2 5 9 10 11 22 25 29 36 37 38 40 47 49 50 60 62 63 69 70 72 73 75 77 81 85 88 98 101 102 105 109 125 131 132 135 142 145 146 147 148 151 153 155 159 160 161 163 167 169 170 172 173 174 175 181 182 183 189 192 193 198 202 215 216 228 229 230 231 233 234 235 239 241 244 247 252 253 257 264 267 272 275 281 288 291 293 299 303 305 307 308 311 314 316 318 320 321 325 327 328 331 332 334 336 337 346 348 349 351 354 355 357 360 363 364 365 373 378 381 385 386 387 391 392 401 405 407 408 419 421 422 423 432 433 434 435 436 437 439 443 446 448 451 452 453 459 460 463 468 469 475 476 483 487 488 a 2 5 9 10 11 22 25 29 36 37 38 40 47 49 50 60 62 63 69 70 72 73 75 77 81 85 88 98 101 102 105 109 125 131 132 135 142 145 146 147 148 153 155 159 160 161 163 167 169 170 172 173 174 175 181 182 183 189 192 193 198 202 215 216 228 229 230 231 233 234 235 239 241 244 247 252 253 257 264 267 272 275 281 288 291 293 299 303 305 307 308 311 314 316 318 320 321 325 327 328 331 332 334 336 337 346 348 349 351 354 355 357 360 363 364 365 373 378 381 385 386 387 391 392 401 405 407 408 419 421 422 423 431 432 433 434 435 436 437 439 443 446 448 451 452 453 459 460 463 468 469 475 476 483 487 488 a 2 5 9 10 11 22 25 29 36 37 38 40 47 49 50 60 62 63 69 70 72 73 75 77 81 85 88 98 101 102 105 109 125 131 132 135 142 145 146 147 148 153 155 159 160 161 163 167 169 170 172 173 174 175 181 182 183 189 192 193 198 202 215 216 228 229 230 231 233 234 235 239 241 244 247 252 253 257 259 264 267 272 275 288 291 293 299 303 305 307 308 311 314 316 318 320 321 325 327 328 331 332 334 336 337 346 348 349 351 354 355 357 360 363 364 365 373 378 381 385 386 387 391 392 401 405 407 408 419 421 422 423 431 432 433 434 435 436 437 439 443 446 448 451 452 453 459 460 463 468 469 475 476 483 487 488 a 2 5 9 10 11 22 25 29 36 37 38 40 47 49 50 60 62 63 69 70 72 73 75 77 81 85 88 98 101 102 105 109 125 131 132 135 142 145 146 147 148 153 155 159 160 161 163 167 169 170 172 173 174 175 181 182 183 189 192 193 198 202 215 216 228 229 230 231 233 234 235 239 241 244 247 252 253 257 259 263 264 267 272 275 288 291 293 299 303 305 307 308 311 314 316 318 320 321 325 327 328 331 332 334 336 337 346 348 349 351 354 355 357 360 363 364 365 373 378 381 385 386 387 391 392 405 407 408 419 421 422 423 431 432 433 434 435 436 437 439 443 446 448 451 452 453 459 460 463 468 469 475 476 483 487 488 a 2 5 9 10 11 22 25 29 36 37 38 40 47 49 50 60 62 63 69 70 72 73 75 77 81 85 88 98 101 102 105 125 131 132 135 142 145 146 147 148 153 155 159 160 161 163 167 169 170 172 173 174 175 181 182 183 189 192 193 198 202 215 216 228 229 230 231 233 234 235 239 241 244 247 252 253 257 259 263 264 267 272 275 288 291 293 299 303 305 307 308 311 314 316 317 318 320 321 325 327 328 331 332 334 336 337 346 348 349 351 354 355 357 360 363 364 365 373 378 381 385 386 387 391 392 405 407 408 419 421 422 423 431 432 433 434 435 436 437 439 443 446 448 451 452 453 459 460 463 468 469 475 476 483 487 488 a 2 5 9 10 11 22 25 29 36 37 38 40 47 49 50 60 62 63 69 70 72 73 75 77 81 85 88 98 101 102 105 125 131 132 135 142 145 146 147 148 153 155 159 160 161 163 167 169 170 172 173 174 175 181 182 183 189 192 193 198 202 215 216 228 230 231 233 234 235 239 241 244 247 252 253 257 259 263 264 267 272 275 288 291 293 294 299 303 305 307 308 311 314 316 317 318 320 321 325 327 328 331 332 334 336 337 346 348 349 351 354 355 357 360 363 364 365 373 378 381 385 386 387 391 392 405 407 408 419 421 422 423 431 432 433 434 435 436 437 439 443 446 448 451 452 453 459 460 463 468 469 475 476 483 487 488 a 2 5 9 10 11 22 25 29 36 37 38 40 47 49 50 60 62 63 69 70 72 73 75 77 81 85 88 98 101 102 105 125 131 132 135 142 145 146 147 148 153 155 159 160 161 163 167 169 170 172 173 174 175 181 182 183 189 192 193 198 202 215 216 228 230 231 233 234 235 239 241 244 247 252 253 257 263 264 267 272 275 281 288 291 293 294 299 303 305 307 308 311 314 316 317 318 320 321 325 327 328 331 332 334 336 337 346 348 349 351 354 355 357 360 363 364 365 373 378 381 385 386 387 391 392 405 407 408 419 421 422 423 431 432 433 434 435 436 437 439 443 446 448 451 452 453 459 460 463 468 469 475 476 483 487 488 a 2 5 9 10 11 22 25 29 36 37 38 40 47 49 50 60 62 63 65 69 70 72 73 75 77 81 85 88 98 101 102 105 125 131 132 135 142 145 146 147 148 153 155 159 160 161 163 167 169 170 172 173 174 175 181 182 183 189 192 193 198 202 215 216 228 230 231 233 234 235 239 241 244 247 252 253 257 263 264 267 272 275 281 288 291 293 294 299 303 305 307 308 311 314 316 317 318 320 321 325 327 328 331 332 334 336 337 346 348 349 351 354 355 357 360 364 365 373 378 381 385 386 387 391 392 405 407 408 419 421 422 423 431 432 433 434 435 436 437 439 443 446 448 451 452 453 459 460 463 468 469 475 476 483 487 488 a 2 5 9 10 11 22 25 29 36 37 38 40 47 49 50 60 62 63 65 69 70 72 73 75 77 81 85 88 93 98 101 102 105 125 131 132 135 142 145 146 147 148 153 155 159 160 161 163 167 169 170 172 173 174 175 181 182 183 189 192 193 198 202 215 216 228 230 231 233 234 235 239 241 244 247 252 253 257 263 264 267 272 275 281 288 291 293 294 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 337 346 348 349 351 354 355 357 360 364 365 373 378 381 385 386 387 391 392 405 407 408 419 421 422 423 431 432 433 434 435 436 437 439 443 446 448 451 452 453 459 460 463 468 469 475 476 483 487 488 a 2 5 9 10 11 22 25 29 36 37 38 40 47 49 50 60 62 63 65 69 70 72 73 75 77 81 85 88 93 98 101 102 105 125 131 132 135 142 145 146 147 148 153 155 159 160 161 163 167 169 170 172 173 174 175 181 182 183 187 189 192 193 198 202 215 216 228 230 231 233 234 235 239 241 244 247 252 253 257 263 264 267 272 275 281 291 293 294 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 337 346 348 349 351 354 355 357 360 364 365 373 378 381 385 386 387 391 392 405 407 408 419 421 422 423 431 432 433 434 435 436 437 439 443 446 448 451 452 453 459 460 463 468 469 475 476 483 487 488 a 2 5 9 10 11 22 25 29 36 37 38 40 47 49 50 60 62 63 65 69 70 72 73 75 77 81 85 88 93 98 101 102 105 125 131 132 135 142 145 146 147 148 153 155 159 160 161 163 167 169 170 172 173 174 175 181 182 183 187 189 192 193 198 202 215 216 228 229 230 231 233 234 235 239 241 244 247 252 253 257 263 264 267 272 275 281 291 293 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 337 346 348 349 351 354 355 357 360 364 365 373 378 381 385 386 387 391 392 405 407 408 419 421 422 423 431 432 433 434 435 436 437 439 443 446 448 451 452 453 459 460 463 468 469 475 476 483 487 488 a 2 5 9 10 11 22 25 29 36 37 38 40 43 47 49 50 60 62 63 65 69 70 72 73 75 77 81 85 88 93 98 101 102 105 125 131 132 135 142 145 146 147 148 153 155 159 160 161 163 167 170 172 173 174 175 181 182 183 187 189 192 193 198 202 215 216 228 229 230 231 233 234 235 239 241 244 247 252 253 257 263 264 267 272 275 281 291 293 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 337 346 348 349 351 354 355 357 360 364 365 373 378 381 385 386 387 391 392 405 407 408 419 421 422 423 431 432 433 434 435 436 437 439 443 446 448 451 452 453 459 460 463 468 469 475 476 483 487 488 a 2 5 9 10 11 22 25 29 36 37 38 40 43 47 49 50 60 62 63 65 69 70 72 73 75 77 81 85 88 93 98 101 102 105 108 125 131 132 135 142 145 146 147 148 153 155 159 160 161 163 167 170 172 173 174 175 181 182 183 187 189 192 193 198 202 215 216 228 229 230 231 233 234 235 239 241 244 247 252 253 257 263 264 267 272 275 291 293 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 337 346 348 349 351 354 355 357 360 364 365 373 378 381 385 386 387 391 392 405 407 408 419 421 422 423 431 432 433 434 435 436 437 439 443 446 448 451 452 453 459 460 463 468 469 475 476 483 487 488 a 2 5 9 10 11 22 25 29 36 37 38 40 43 47 49 50 60 62 63 65 69 70 72 73 75 77 81 85 88 93 98 101 102 105 108 125 131 132 135 142 145 146 147 148 153 155 159 160 161 163 167 170 172 173 174 175 181 182 183 187 189 192 193 198 202 215 216 228 229 230 231 233 234 235 239 241 244 247 250 252 253 257 263 264 267 272 275 291 293 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 337 346 348 349 351 354 355 357 360 364 365 373 378 381 385 386 387 391 392 405 407 408 419 421 422 423 431 432 433 434 435 436 437 439 443 446 448 451 452 453 459 460 463 468 469 476 483 487 488 a 2 5 9 10 11 22 25 29 36 37 38 40 43 47 49 50 60 62 63 65 69 70 72 73 75 77 81 85 88 93 98 101 102 105 108 125 131 132 135 141 142 145 146 147 148 153 155 159 160 161 163 167 170 172 173 174 175 181 182 183 187 189 192 193 198 202 215 216 228 229 231 233 234 235 239 241 244 247 250 252 253 257 263 264 267 272 275 291 293 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 337 346 348 349 351 354 355 357 360 364 365 373 378 381 385 386 387 391 392 405 407 408 419 421 422 423 431 432 433 434 435 436 437 439 443 446 448 451 452 453 459 460 463 468 469 476 483 487 488 a 2 5 9 10 11 22 25 29 36 37 38 40 43 47 49 50 60 62 63 65 69 70 72 73 75 77 81 88 93 98 101 102 105 108 125 131 132 135 141 142 145 146 147 148 153 155 159 160 161 163 167 170 172 173 174 175 181 182 183 187 189 192 193 198 202 215 216 228 229 231 233 234 235 239 241 243 244 247 250 252 253 257 263 264 267 272 275 291 293 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 337 346 348 349 351 354 355 357 360 364 365 373 378 381 385 386 387 391 392 405 407 408 419 421 422 423 431 432 433 434 435 436 437 439 443 446 448 451 452 453 459 460 463 468 469 476 483 487 488 a 2 5 9 10 11 16 22 25 29 36 37 38 40 43 47 49 50 60 62 63 65 69 70 72 73 75 77 81 88 93 98 101 102 105 108 125 131 132 135 141 142 145 146 147 148 153 155 159 160 161 163 167 170 172 173 174 175 181 182 183 187 189 192 193 198 202 215 216 228 229 231 233 234 235 239 241 243 244 247 250 252 253 257 263 264 267 272 275 291 293 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 337 346 349 351 354 355 357 360 364 365 373 378 381 385 386 387 391 392 405 407 408 419 421 422 423 431 432 433 434 435 436 437 439 443 446 448 451 452 453 459 460 463 468 469 476 483 487 488 a 2 5 9 10 11 16 22 25 29 36 37 38 40 43 47 49 50 60 62 63 65 69 70 72 73 75 77 81 88 93 98 101 102 105 108 125 131 132 135 141 142 145 146 147 148 153 155 159 160 161 163 167 170 172 173 174 175 181 182 183 187 189 192 193 198 202 215 216 228 229 231 233 234 239 241 243 244 247 250 252 253 257 263 264 267 272 275 291 293 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 337 346 349 351 354 355 357 360 364 365 373 378 381 385 386 387 391 392 405 407 408 419 421 422 423 431 432 433 434 435 436 437 439 440 443 446 448 451 452 453 459 460 463 468 469 476 483 487 488 a 2 5 9 10 11 16 22 25 29 36 37 38 40 43 47 49 50 60 62 63 65 69 70 72 73 75 77 81 88 93 98 101 102 105 108 125 131 132 135 141 142 145 146 147 148 153 155 159 160 161 163 167 170 172 173 174 175 181 182 183 187 189 192 193 198 202 215 216 228 229 231 233 234 239 241 243 244 247 252 253 257 263 264 267 272 275 291 293 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 337 346 349 351 354 355 357 360 364 365 373 378 381 385 386 387 391 392 405 407 408 419 421 422 423 431 432 433 434 435 436 437 439 440 443 446 448 451 452 453 459 460 463 468 469 475 476 483 487 488 a 2 5 9 10 11 16 22 25 29 36 37 38 40 43 47 49 50 60 62 63 69 70 72 73 75 77 81 88 93 98 101 102 105 108 125 131 132 135 141 142 145 146 147 148 153 155 159 160 161 163 167 170 172 173 174 175 181 182 183 187 189 192 193 198 202 215 216 228 229 231 233 234 239 241 243 244 247 252 253 257 263 264 267 272 275 291 293 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 337 346 349 351 354 355 357 360 363 364 365 373 378 381 385 386 387 391 392 405 407 408 419 421 422 423 431 432 433 434 435 436 437 439 440 443 446 448 451 452 453 459 460 463 468 469 475 476 483 487 488 a 2 5 9 10 11 16 22 25 29 36 37 38 40 43 47 49 50 60 62 63 69 70 72 73 75 77 81 88 93 98 101 102 105 108 125 131 132 135 141 142 145 146 147 148 153 155 159 160 161 163 167 170 172 173 174 175 181 182 183 187 189 192 193 198 202 215 216 228 229 231 233 234 239 241 243 244 247 252 253 257 263 264 267 272 275 278 291 293 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 337 346 349 351 354 355 357 360 363 364 365 373 378 381 385 386 387 391 392 405 407 408 419 421 422 423 431 432 433 434 435 436 437 439 440 443 448 451 452 453 459 460 463 468 469 475 476 483 487 488 a 2 5 9 10 11 16 22 25 29 36 37 38 40 43 47 49 50 60 62 63 69 70 72 73 75 77 81 88 93 98 101 102 105 108 125 131 132 135 141 142 145 146 147 148 153 155 159 160 161 163 167 170 172 173 174 175 181 182 183 187 189 192 193 198 202 215 216 228 229 231 233 234 239 241 243 244 247 252 253 257 263 264 267 272 275 278 291 293 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 337 346 349 351 354 355 357 360 363 364 365 373 378 381 385 386 387 391 392 405 407 408 419 421 422 423 431 432 433 434 435 436 437 440 443 448 451 452 453 454 459 460 463 468 469 475 476 483 487 488 a 2 5 9 10 11 16 22 25 29 36 37 38 40 43 47 49 50 60 62 63 69 70 72 73 75 77 81 88 93 98 101 102 105 108 125 131 132 135 141 142 145 146 147 148 153 155 159 160 161 163 167 170 172 173 174 175 181 182 183 187 189 192 193 198 202 215 216 228 229 231 233 234 239 241 243 244 247 252 253 257 263 264 267 272 275 278 291 293 296 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 346 349 351 354 355 357 360 363 364 365 373 378 381 385 386 387 391 392 405 407 408 419 421 422 423 431 432 433 434 435 436 437 440 443 448 451 452 453 454 459 460 463 468 469 475 476 483 487 488 a 2 5 9 10 11 16 22 25 29 36 37 38 40 47 49 50 60 62 63 69 70 72 73 75 77 81 88 93 98 101 102 105 108 125 131 132 135 141 142 145 146 147 148 153 155 159 160 161 163 167 169 170 172 173 174 175 181 182 183 187 189 192 193 198 202 215 216 228 229 231 233 234 239 241 243 244 247 252 253 257 263 264 267 272 275 278 291 293 296 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 346 349 351 354 355 357 360 363 364 365 373 378 381 385 386 387 391 392 405 407 408 419 421 422 423 431 432 433 434 435 436 437 440 443 448 451 452 453 454 459 460 463 468 469 475 476 483 487 488 a 2 5 9 10 11 16 22 25 29 36 37 38 40 47 49 50 60 62 63 69 70 72 73 75 77 81 88 93 98 101 102 105 108 125 131 132 135 141 142 145 146 147 148 153 155 159 160 161 163 167 169 170 172 173 174 175 181 182 183 187 189 192 193 198 202 215 216 228 229 231 233 234 239 241 243 244 247 252 253 257 263 264 267 272 275 278 291 293 296 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 346 349 351 354 355 357 360 364 365 373 378 381 382 385 386 387 391 392 405 407 408 419 421 422 423 431 432 433 434 435 436 437 440 443 448 451 452 453 454 459 460 463 468 469 475 476 483 487 488 a 2 5 9 10 11 16 22 25 29 36 37 38 40 47 49 50 60 62 63 64 69 70 72 73 75 77 81 88 93 98 101 102 105 108 125 131 132 135 141 142 145 146 147 148 153 155 159 160 161 163 167 169 170 172 173 174 175 181 182 183 187 189 192 193 198 202 215 216 228 229 231 233 234 239 241 243 244 247 252 253 257 263 264 267 272 278 291 293 296 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 346 349 351 354 355 357 360 364 365 373 378 381 382 385 386 387 391 392 405 407 408 419 421 422 423 431 432 433 434 435 436 437 440 443 448 451 452 453 454 459 460 463 468 469 475 476 483 487 488 a 2 5 9 10 11 16 22 25 29 36 37 38 40 47 49 50 60 62 63 64 69 70 72 73 75 77 81 88 93 98 101 102 105 108 125 131 132 135 141 142 145 146 147 148 153 155 159 160 161 163 167 169 170 172 173 174 175 181 182 183 187 189 192 193 198 202 215 216 229 231 233 234 239 241 243 244 247 252 253 257 263 264 267 272 278 291 293 296 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 346 349 351 354 355 357 360 363 364 365 373 378 381 382 385 386 387 391 392 405 407 408 419 421 422 423 431 432 433 434 435 436 437 440 443 448 451 452 453 454 459 460 463 468 469 475 476 483 487 488 a 2 5 9 10 11 16 22 25 36 37 38 40 47 49 50 60 62 63 64 69 70 72 73 75 77 81 88 93 98 101 102 105 108 125 131 132 135 141 142 145 146 147 148 153 155 159 160 161 163 167 169 170 172 173 174 175 181 182 183 187 189 192 193 198 202 215 216 229 231 233 234 239 241 243 244 247 252 253 257 263 264 267 272 278 291 293 296 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 346 349 351 354 355 357 360 363 364 365 373 378 381 382 385 386 387 391 392 405 407 408 415 419 421 422 423 431 432 433 434 435 436 437 440 443 448 451 452 453 454 459 460 463 468 469 475 476 483 487 488 a 2 5 9 10 11 16 22 25 36 37 38 40 47 49 50 60 62 63 64 69 70 72 73 75 77 81 88 93 98 101 102 105 108 125 131 132 135 141 142 145 146 147 148 153 155 159 160 161 163 167 169 170 172 173 174 175 181 182 183 187 189 192 193 198 202 215 216 229 231 233 234 239 241 243 244 247 252 253 257 263 264 267 272 278 290 291 293 296 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 346 349 351 354 355 357 360 363 364 365 373 378 381 382 385 386 387 391 392 405 407 408 415 419 421 422 423 431 432 433 434 435 436 437 440 443 448 451 452 453 454 459 460 463 468 469 475 476 487 488 a 2 5 9 10 11 16 22 25 36 37 38 40 47 49 50 60 62 63 64 69 70 72 73 75 77 81 88 93 98 101 102 105 108 125 131 132 135 141 142 145 146 147 148 153 155 159 160 161 163 167 169 170 172 173 174 175 181 182 183 187 189 192 193 198 202 215 216 229 231 233 234 239 241 243 244 247 252 253 257 263 264 267 272 278 290 291 293 296 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 346 349 351 353 354 355 357 360 363 364 365 378 381 382 385 386 387 391 392 405 407 408 415 419 421 422 423 431 432 433 434 435 436 437 440 443 448 451 452 453 454 459 460 463 468 469 475 476 487 488 a 2 5 9 10 11 16 22 25 36 37 38 40 47 49 50 60 62 63 64 69 70 72 73 75 77 81 88 93 98 101 102 105 108 125 131 132 135 141 142 145 146 147 148 153 155 159 160 161 163 167 169 170 172 173 174 175 181 182 183 187 189 192 193 198 202 215 216 229 231 233 234 239 241 243 244 247 252 253 257 263 264 267 272 278 290 291 293 296 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 346 349 351 353 354 355 357 360 363 364 365 378 381 382 385 386 387 391 392 405 407 408 415 419 421 422 423 431 432 433 434 435 436 437 440 443 448 451 452 453 454 460 463 468 469 475 476 487 488 490 a 2 5 9 10 11 16 22 25 36 37 38 40 47 49 50 60 62 63 64 69 70 72 73 75 81 88 93 98 101 102 105 108 125 131 132 135 141 142 145 146 147 148 153 155 159 160 161 163 167 169 170 172 173 174 175 181 182 183 187 189 192 193 198 202 215 216 229 231 233 234 239 241 243 244 247 252 253 257 263 264 267 272 278 290 291 293 296 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 346 349 351 353 354 355 357 358 360 363 364 365 378 381 382 385 386 387 391 392 405 407 408 415 419 421 422 423 431 432 433 434 435 436 437 440 443 448 451 452 453 454 460 463 468 469 475 476 487 488 490 a 2 5 9 10 11 16 22 25 36 37 38 40 47 49 50 60 62 64 69 70 72 73 75 81 88 93 98 101 102 105 108 125 131 132 135 141 142 145 146 147 148 153 155 159 160 161 163 167 169 170 172 173 174 175 181 182 183 187 189 192 193 198 202 215 216 222 229 231 233 234 239 241 243 244 247 252 253 257 263 264 267 272 278 290 291 293 296 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 346 349 351 353 354 355 357 358 360 363 364 365 378 381 382 385 386 387 391 392 405 407 408 415 419 421 422 423 431 432 433 434 435 436 437 440 443 448 451 452 453 454 460 463 468 469 475 476 487 488 490 a 2 5 9 10 11 16 22 25 36 37 38 40 47 49 50 60 62 64 69 70 72 73 75 81 88 93 98 101 102 105 108 120 125 131 132 135 141 142 145 146 147 148 153 155 159 160 161 163 167 169 170 172 173 174 181 182 183 187 189 192 193 198 202 215 216 222 229 231 233 234 239 241 243 244 247 252 253 257 263 264 267 272 278 290 291 293 296 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 346 349 351 353 354 355 357 358 360 363 364 365 378 381 382 385 386 387 391 392 405 407 408 415 419 421 422 423 431 432 433 434 435 436 437 440 443 448 451 452 453 454 460 463 468 469 475 476 487 488 490 a 2 5 9 10 11 16 22 25 36 37 38 40 47 49 50 60 62 64 69 70 72 73 75 81 85 88 93 98 101 102 105 108 120 125 131 132 135 141 142 145 146 147 148 153 155 159 160 161 163 167 169 170 172 173 174 181 182 183 187 189 192 193 198 202 215 216 222 229 231 233 234 239 241 244 247 252 253 257 263 264 267 272 278 290 291 293 296 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 346 349 351 353 354 355 357 358 360 363 364 365 378 381 382 385 386 387 391 392 405 407 408 415 419 421 422 423 431 432 433 434 435 436 437 440 443 448 451 452 453 454 460 463 468 469 475 476 487 488 490 a 2 5 9 10 11 16 22 25 36 37 38 40 47 49 50 60 62 64 69 70 72 73 75 81 85 88 93 98 101 102 105 108 120 125 131 132 135 141 142 145 146 147 148 153 155 159 160 163 167 169 170 172 173 174 181 182 183 187 189 192 193 198 202 215 216 222 229 231 233 234 239 241 244 247 252 253 257 263 264 267 272 278 283 290 291 293 296 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 346 349 351 353 354 355 357 358 360 363 364 365 378 381 382 385 386 387 391 392 405 407 408 415 419 421 422 423 431 432 433 434 435 436 437 440 443 448 451 452 453 454 460 463 468 469 475 476 487 488 490 a 2 5 9 10 11 16 22 25 36 37 38 40 47 49 50 60 62 64 69 70 72 73 75 81 85 88 93 98 101 102 105 120 125 131 132 135 141 142 145 146 147 148 153 155 159 160 163 167 169 170 172 173 174 181 182 183 187 189 192 193 198 202 215 216 222 229 231 233 234 239 241 244 247 252 253 257 263 264 267 272 278 281 283 290 291 293 296 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 346 349 351 353 354 355 357 358 360 363 364 365 378 381 382 385 386 387 391 392 405 407 408 415 419 421 422 423 431 432 433 434 435 436 437 440 443 448 451 452 453 454 460 463 468 469 475 476 487 488 490 a 2 5 9 10 11 16 22 25 36 37 38 40 47 49 50 60 62 64 69 70 72 73 75 81 85 88 93 98 101 102 105 120 125 131 132 135 141 142 145 146 147 148 153 155 159 160 163 167 169 170 172 173 174 181 182 183 187 189 192 193 198 202 215 216 222 229 231 233 234 239 241 244 247 250 252 253 257 263 264 267 272 278 281 283 290 291 293 296 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 346 349 351 353 354 355 357 358 360 363 364 365 378 381 382 385 386 387 391 392 405 407 408 415 419 421 422 423 431 432 433 434 435 436 437 440 443 448 451 452 453 454 460 463 468 469 476 487 488 490 a 2 5 9 10 11 16 22 25 36 37 38 40 47 49 50 60 62 64 69 70 72 73 75 81 85 88 93 98 101 102 105 120 125 131 132 135 141 142 145 146 147 148 153 155 159 160 163 167 169 170 172 173 174 181 182 183 187 189 192 193 198 202 215 216 222 229 231 233 234 235 239 241 244 247 250 252 253 257 263 264 267 272 278 281 283 290 291 293 296 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 346 349 351 353 354 355 357 358 360 363 364 365 378 381 382 385 386 387 391 392 405 407 408 415 419 421 422 423 431 432 433 434 435 436 437 443 448 451 452 453 454 460 463 468 469 476 487 488 490 a 2 5 9 10 11 16 22 25 36 37 38 40 47 49 50 60 62 64 69 70 72 73 75 81 85 88 93 98 101 102 105 120 125 131 132 135 141 142 145 146 147 148 153 155 159 160 163 167 169 172 173 174 178 181 182 183 187 189 192 193 198 202 215 216 222 229 231 233 234 235 239 241 244 247 250 252 253 257 263 264 267 272 278 281 283 290 291 293 296 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 346 349 351 353 354 355 357 358 360 363 364 365 378 381 382 385 386 387 391 392 405 407 408 415 419 421 422 423 431 432 433 434 435 436 437 443 448 451 452 453 454 460 463 468 469 476 487 488 490 a 2 5 9 10 11 16 22 25 36 37 38 40 47 49 50 60 62 64 69 70 72 73 75 81 85 88 93 98 101 102 105 120 125 131 132 135 141 142 145 146 147 148 153 155 159 160 163 167 169 172 173 174 178 181 182 183 187 189 192 193 198 202 215 216 222 229 231 233 234 235 239 241 244 247 250 252 253 257 263 264 267 272 278 281 283 290 291 293 296 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 346 349 351 353 354 355 357 358 360 363 364 365 378 381 382 385 386 387 391 392 405 407 408 415 419 421 422 423 431 432 433 434 435 436 437 443 448 451 452 453 454 460 463 466 468 476 487 488 490 a 2 5 9 10 11 16 22 25 36 37 38 40 43 47 49 50 60 62 64 69 70 72 73 75 81 85 88 93 98 101 102 105 120 125 131 132 135 141 142 145 146 147 148 153 155 159 160 163 167 172 173 174 178 181 182 183 187 189 192 193 198 202 215 216 222 229 231 233 234 235 239 241 244 247 250 252 253 257 263 264 267 272 278 281 283 290 291 293 296 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 346 349 351 353 354 355 357 358 360 363 364 365 378 381 382 385 386 387 391 392 405 407 408 415 419 421 422 423 431 432 433 434 435 436 437 443 448 451 452 453 454 460 463 466 468 476 487 488 490 a 2 5 9 10 11 16 22 25 36 37 38 40 43 47 49 50 60 62 64 69 70 72 73 75 81 85 88 93 98 101 102 105 120 125 131 132 135 141 142 145 146 147 148 153 155 159 160 163 167 172 173 174 178 181 182 183 187 189 192 193 198 202 215 216 222 229 231 233 234 235 239 240 241 244 247 250 252 253 257 263 264 267 272 278 281 283 290 291 293 296 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 346 349 351 353 354 355 357 358 360 363 364 365 378 381 382 385 386 387 391 392 405 407 408 415 419 421 422 423 432 433 434 435 436 437 443 448 451 452 453 454 460 463 466 468 476 487 488 490 a 2 5 9 10 11 16 22 25 36 37 38 40 43 47 49 50 60 62 64 69 70 72 73 75 81 85 88 93 98 101 102 105 120 125 131 132 135 141 142 145 146 147 148 153 155 159 160 163 167 172 173 174 178 181 182 183 187 189 192 193 198 202 215 216 222 229 231 233 234 235 239 240 241 244 246 247 250 252 253 257 263 264 267 272 278 281 283 290 291 293 296 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 346 349 351 353 354 355 357 358 360 363 364 365 378 382 385 386 387 391 392 405 407 408 415 419 421 422 423 432 433 434 435 436 437 443 448 451 452 453 454 460 463 466 468 476 487 488 490 a 2 5 9 10 11 16 22 25 36 37 38 40 43 47 49 50 60 62 64 69 70 72 73 75 81 85 88 93 98 101 102 105 120 125 131 132 135 141 142 145 146 147 148 153 155 159 160 163 167 172 173 174 178 181 182 183 187 189 192 193 198 202 215 216 222 229 231 233 234 235 239 240 241 244 246 247 250 252 253 257 260 263 264 267 272 278 281 283 290 291 293 296 299 303 305 307 308 311 314 316 317 320 321 325 327 328 331 332 334 336 346 349 351 353 354 355 357 358 360 363 364 365 382 385 386 387 391 392 405 407 408 415 419 421 422 423 432 433 434 435 436 437 443 448 451 452 453 454 460 463 466 468 476 487 488 490 a 2 5 9 10 11 16 22 25 36 37 38 40 43 47 49 50 60 62 64 69 70 72 73 75 81 85 88 93 98 101 102 105 120 125 129 131 132 135 141 142 145 146 147 148 153 155 159 160 163 167 172 173 174 178 181 182 183 187 189 192 193 198 202 215 216 222 229 231 233 234 235 239 240 241 244 246 247 250 252 253 257 260 263 264 267 272 278 281 283 290 291 293 296 299 303 305 307 308 311 314 316 317 321 325 327 328 331 332 334 336 346 349 351 353 354 355 357 358 360 363 364 365 382 385 386 387 391 392 405 407 408 415 419 421 422 423 432 433 434 435 436 437 443 448 451 452 453 454 460 463 466 468 476 487 488 490 a 2 5 9 10 11 16 22 25 36 37 38 40 43 47 49 50 60 62 64 69 70 72 73 75 81 85 88 93 98 101 102 105 120 125 129 131 132 135 141 142 145 146 147 148 153 155 157 160 163 167 172 173 174 178 181 182 183 187 189 192 193 198 202 215 216 222 229 231 233 234 235 239 240 241 244 246 247 250 252 253 257 260 263 264 267 272 278 281 283 290 291 293 296 299 303 305 307 308 311 314 316 317 321 325 327 328 331 332 334 336 346 349 351 353 354 355 357 358 360 363 364 365 382 385 386 387 391 392 405 407 408 415 419 421 422 423 432 433 434 435 436 437 443 448 451 452 453 454 460 463 466 468 476 487 488 490 a 2 5 7 9 10 11 16 22 25 36 37 38 40 43 47 49 50 60 62 64 69 70 72 73 75 81 85 88 93 98 101 102 105 120 125 129 131 132 135 141 142 145 146 147 148 153 155 157 160 163 167 172 173 174 178 181 182 183 187 189 192 193 198 202 215 216 222 229 231 233 234 235 239 240 241 244 246 247 250 252 253 257 260 263 267 272 278 281 283 290 291 293 296 299 303 305 307 308 311 314 316 317 321 325 327 328 331 332 334 336 346 349 351 353 354 355 357 358 360 363 364 365 382 385 386 387 391 392 405 407 408 415 419 421 422 423 432 433 434 435 436 437 443 448 451 452 453 454 460 463 466 468 476 487 488 490 a 2 5 7 9 10 11 16 22 25 36 37 38 40 43 47 49 50 60 62 64 69 70 72 73 75 81 85 88 92 93 98 101 102 105 120 125 129 131 132 135 141 142 145 146 147 148 153 155 157 160 163 167 172 173 174 178 181 182 183 187 189 192 193 198 202 215 216 222 229 231 233 234 235 239 240 241 244 246 247 250 252 253 257 260 263 267 272 278 281 283 290 291 293 296 299 303 307 308 311 314 316 317 321 325 327 328 331 332 334 336 346 349 351 353 354 355 357 358 360 363 364 365 382 385 386 387 391 392 405 407 408 415 419 421 422 423 432 433 434 435 436 437 443 448 451 452 453 454 460 463 466 468 476 487 488 490 a 2 5 7 9 10 11 16 22 25 37 38 40 43 47 49 50 60 62 64 69 70 72 73 75 81 85 88 92 93 98 101 102 105 120 125 129 131 132 135 141 142 145 146 147 148 153 155 157 160 163 167 172 173 174 178 181 182 183 187 189 192 193 198 202 215 216 222 229 231 233 234 235 239 240 241 244 246 247 250 252 253 257 260 263 267 272 278 281 283 290 291 293 296 299 300 303 307 308 311 314 316 317 321 325 327 328 331 332 334 336 346 349 351 353 354 355 357 358 360 363 364 365 382 385 386 387 391 392 405 407 408 415 419 421 422 423 432 433 434 435 436 437 443 448 451 452 453 454 460 463 466 468 476 487 488 490 a 2 5 7 9 10 11 16 22 25 37 38 40 43 47 49 50 60 62 64 69 70 72 73 75 81 85 88 92 93 98 101 102 105 120 125 129 131 132 135 141 142 145 146 147 148 153 155 157 160 163 167 172 173 178 181 182 183 187 189 192 193 198 202 215 216 222 229 231 233 234 235 239 240 241 244 246 247 250 252 253 257 260 263 267 272 278 281 283 290 291 293 296 299 300 303 307 308 311 314 316 317 321 324 325 327 328 331 332 334 336 346 349 351 353 354 355 357 358 360 363 364 365 382 385 386 387 391 392 405 407 408 415 419 421 422 423 432 433 434 435 436 437 443 448 451 452 453 454 460 463 466 468 476 487 488 490 a 5 7 9 10 11 16 22 25 37 38 40 43 47 49 50 57 60 62 64 69 70 72 73 75 81 85 88 92 93 98 101 102 105 120 125 129 131 132 135 141 142 145 146 147 148 153 155 157 160 163 167 172 173 178 181 182 183 187 189 192 193 198 202 215 216 222 229 231 233 234 235 239 240 241 244 246 247 250 252 253 257 260 263 267 272 278 281 283 290 291 293 296 299 300 303 307 308 311 314 316 317 321 324 325 327 328 331 332 334 336 346 349 351 353 354 355 357 358 360 363 364 365 382 385 386 387 391 392 405 407 408 415 419 421 422 423 432 433 434 435 436 437 443 448 451 452 453 454 460 463 466 468 476 487 488 490 a 5 7 9 10 11 16 22 25 37 38 40 43 47 49 50 57 60 62 64 69 70 72 73 75 81 85 88 92 93 98 101 102 105 120 125 129 131 132 135 141 142 145 146 147 148 153 155 157 160 163 167 172 173 178 181 182 183 187 189 192 193 198 202 215 216 222 229 231 233 234 235 239 240 241 244 246 247 250 252 253 257 260 263 267 272 278 281 283 285 290 291 293 296 299 300 303 307 308 311 314 316 317 321 324 325 327 328 331 332 334 336 346 349 351 353 354 355 357 358 360 363 364 365 382 385 386 387 391 392 405 407 408 415 419 421 422 423 432 433 434 436 437 443 448 451 452 453 454 460 463 466 468 476 487 488 490 a 5 7 9 10 11 16 22 25 37 38 40 43 47 49 50 57 60 62 64 70 72 73 75 81 85 88 92 93 98 101 102 105 120 125 129 131 132 135 141 142 145 146 147 148 153 155 157 160 163 167 172 173 178 181 182 183 187 189 192 193 198 202 215 216 222 229 231 233 234 235 239 240 241 244 246 247 250 252 253 257 260 263 267 272 278 281 283 285 290 291 293 296 299 300 303 307 308 311 314 316 317 321 324 325 327 328 331 332 334 336 346 349 351 353 354 355 357 358 360 363 364 365 382 385 386 387 391 392 405 407 408 415 419 421 422 423 432 433 434 436 437 443 448 451 452 453 454 458 460 463 466 468 476 487 488 490 a 5 7 9 10 11 16 22 25 37 38 40 43 47 49 50 57 60 62 64 70 72 73 75 81 85 88 92 93 98 101 102 105 120 125 129 131 132 135 141 142 145 146 147 148 153 155 157 160 163 167 172 173 178 181 182 183 187 189 192 193 198 202 211 215 216 222 229 231 233 234 235 239 240 241 244 246 247 250 252 253 257 260 263 267 272 278 281 283 285 290 291 293 296 299 300 303 307 308 311 314 316 317 321 324 325 327 328 331 332 334 336 346 349 351 353 354 355 357 358 360 363 364 365 382 385 386 387 391 392 405 407 408 415 419 421 422 423 433 434 436 437 443 448 451 452 453 454 458 460 463 466 468 476 487 488 490 a 5 7 9 10 11 16 22 25 37 38 40 43 47 49 50 57 60 62 70 72 73 75 81 85 88 92 93 98 101 102 105 120 125 129 131 132 135 141 142 145 146 147 148 153 155 157 160 163 167 172 173 178 181 182 183 187 189 192 193 198 202 211 215 216 222 229 231 233 234 235 239 240 241 244 246 247 250 252 253 257 260 263 267 272 278 281 283 285 290 291 293 296 299 300 303 307 308 311 314 316 317 321 324 325 327 328 331 332 334 336 346 349 351 353 354 355 357 358 360 363 364 365 382 385 386 387 391 392 405 407 408 415 419 421 422 423 433 434 436 437 443 448 451 452 453 454 458 460 463 466 468 476 487 488 490 491 a 5 7 9 10 11 16 22 25 37 38 40 43 47 49 50 57 60 62 70 72 73 75 81 85 88 92 93 98 101 102 105 120 125 129 131 132 135 141 142 145 146 147 148 153 155 157 160 163 167 172 173 178 181 182 183 187 189 192 193 198 202 211 215 216 222 229 231 233 234 235 239 240 241 244 246 247 250 252 253 257 260 263 267 272 275 278 281 283 285 290 291 293 296 299 300 303 307 308 311 314 316 317 321 324 325 327 328 331 332 334 336 346 349 351 353 355 357 358 360 363 364 365 382 385 386 387 391 392 405 407 408 415 419 421 422 423 433 434 436 437 443 448 451 452 453 454 458 460 463 466 468 476 487 488 490 491 a 5 7 9 10 11 16 22 25 37 38 40 43 47 49 50 57 60 62 70 72 73 75 81 85 88 92 93 98 101 102 105 120 125 129 131 132 135 141 142 145 146 147 148 153 155 157 160 163 167 172 173 178 181 182 183 187 189 192 193 198 202 211 215 216 222 229 231 233 234 235 239 240 241 244 246 247 250 252 253 257 260 263 267 272 275 278 281 283 285 290 291 293 296 299 300 303 307 308 311 314 316 317 321 324 325 327 328 331 332 334 336 346 349 351 353 355 357 358 360 363 364 365 382 385 386 387 391 392 405 407 408 415 419 421 422 423 433 434 436 437 439 443 448 451 452 453 458 460 463 466 468 476 487 488 490 491 a 5 7 9 10 11 16 22 25 37 38 40 43 47 49 50 57 60 62 72 73 75 81 85 88 92 93 98 101 102 105 120 125 129 131 132 135 141 142 145 146 147 148 153 155 157 160 163 167 172 173 178 181 182 183 187 189 192 193 198 202 208 211 215 216 222 229 231 233 234 235 239 240 241 244 246 247 250 252 253 257 260 263 267 272 275 278 281 283 285 290 291 293 296 299 300 303 307 308 311 314 316 317 321 324 325 327 328 331 332 334 336 346 349 351 353 355 357 358 360 363 364 365 382 385 386 387 391 392 405 407 408 415 419 421 422 423 433 434 436 437 439 443 448 451 452 453 458 460 463 466 468 476 487 488 490 491 a 5 7 9 10 11 16 22 25 37 38 40 43 47 49 50 57 60 62 72 73 75 81 85 88 92 93 98 101 102 105 120 125 127 129 131 132 135 141 142 145 146 147 148 153 155 157 160 163 167 172 173 178 181 182 183 187 189 192 193 198 202 208 211 215 216 222 229 231 233 234 235 239 240 241 244 246 247 250 252 253 257 260 263 267 272 275 278 281 283 285 290 291 293 296 299 300 303 307 308 311 314 316 317 321 324 325 327 328 331 332 334 336 346 349 351 353 355 357 358 360 363 364 365 382 385 386 387 391 392 405 407 408 415 419 422 423 433 434 436 437 439 443 448 451 452 453 458 460 463 466 468 476 487 488 490 491 a 5 7 9 10 11 16 22 25 37 38 40 43 47 49 50 57 60 62 72 73 75 81 85 88 92 93 98 101 102 105 120 125 127 129 131 132 135 141 142 145 146 147 148 153 155 157 160 163 167 172 173 178 181 182 183 187 189 192 193 198 202 208 211 215 216 222 229 231 233 234 235 239 240 241 244 246 247 250 252 253 257 260 263 267 272 275 278 281 283 285 290 291 293 296 299 300 303 307 308 311 314 316 317 321 324 325 327 328 331 332 334 336 346 349 351 353 355 357 358 360 363 364 365 382 383 385 386 387 391 392 405 407 408 415 419 422 423 433 434 436 437 439 443 451 452 453 458 460 463 466 468 476 487 488 490 491 a 5 7 9 10 11 16 22 25 37 38 40 43 47 49 50 57 60 62 72 73 75 81 85 88 92 93 98 101 102 105 120 125 127 129 131 132 135 141 142 145 146 147 148 153 155 157 160 163 167 172 173 178 181 182 183 187 189 192 193 198 202 208 211 215 216 222 229 231 233 234 235 239 240 241 244 246 247 250 252 253 257 260 263 267 272 275 278 281 283 285 290 291 293 296 299 300 303 307 308 311 314 316 317 321 324 325 327 328 331 332 334 336 346 349 351 353 355 357 358 360 363 364 365 382 383 385 386 387 391 392 405 407 408 409 415 419 422 423 433 434 436 437 439 443 451 453 458 460 463 466 468 476 487 488 490 491 a 5 7 8 9 10 11 16 22 25 37 38 40 43 47 49 50 57 60 62 72 75 81 85 88 92 93 98 101 102 105 120 125 127 129 131 132 135 141 142 145 146 147 148 153 155 157 160 163 167 172 173 178 181 182 183 187 189 192 193 198 202 208 211 215 216 222 229 231 233 234 235 239 240 241 244 246 247 250 252 253 257 260 263 267 272 275 278 281 283 285 290 291 293 296 299 300 303 307 308 311 314 316 317 321 324 325 327 328 331 332 334 336 346 349 351 353 355 357 358 360 363 364 365 382 383 385 386 387 391 392 405 407 408 409 415 419 422 423 433 434 436 437 439 443 451 453 458 460 463 466 468 476 487 488 490 491 a 5 7 8 9 10 11 16 22 25 37 38 40 43 47 49 50 57 60 62 72 75 81 85 88 92 93 98 101 102 105 120 125 127 129 131 132 135 141 142 145 146 147 148 153 155 157 160 163 167 172 173 178 181 182 183 187 189 192 193 198 202 208 211 215 216 222 229 231 233 234 235 239 240 241 244 246 247 250 252 253 257 260 263 267 272 275 278 281 283 285 290 291 293 296 299 300 303 307 308 311 314 316 317 321 324 325 327 328 331 332 334 336 346 349 351 353 355 357 358 360 363 364 365 382 383 385 386 387 392 405 407 408 409 415 419 422 423 433 434 436 437 439 443 451 453 458 460 463 466 468 476 487 488 489 490 491 a 5 7 8 9 10 11 16 22 25 37 38 40 43 47 49 50 57 60 62 72 75 81 85 88 92 93 94 98 101 102 105 120 125 127 129 131 132 135 141 142 145 146 147 148 153 155 157 160 163 167 172 173 178 181 182 183 187 189 192 193 198 202 208 211 215 216 222 229 231 233 234 235 239 240 241 244 246 247 250 252 253 257 260 263 267 272 275 278 281 283 285 290 291 293 296 299 300 303 307 311 314 316 317 321 324 325 327 328 331 332 334 336 346 349 351 353 355 357 358 360 363 364 365 382 383 385 386 387 392 405 407 408 409 415 419 422 423 433 434 436 437 439 443 451 453 458 460 463 466 468 476 487 488 489 490 491 a 5 7 8 9 10 11 16 22 25 37 38 40 43 47 49 50 57 60 62 72 75 81 85 88 92 93 94 98 101 102 105 120 125 127 129 131 132 141 142 145 146 147 148 153 155 157 160 163 167 172 173 178 181 182 183 187 189 192 193 198 202 208 211 215 216 222 229 231 233 234 235 239 240 241 244 246 247 250 252 253 257 260 263 267 270 272 275 278 281 283 285 290 291 293 296 299 300 303 307 311 314 316 317 321 324 325 327 328 331 332 334 336 346 349 351 353 355 357 358 360 363 364 365 382 383 385 386 387 392 405 407 408 409 415 419 422 423 433 434 436 437 439 443 451 453 458 460 463 466 468 476 487 488 489 490 491 a 5 7 8 9 10 11 16 22 25 37 38 40 43 47 49 50 57 60 62 72 75 81 85 88 92 93 94 98 101 102 105 120 125 127 129 131 132 141 142 145 146 147 148 153 155 157 160 163 167 172 173 178 181 182 183 187 189 192 193 198 202 208 211 215 216 222 229 231 233 234 235 239 240 241 244 246 247 250 252 253 257 260 263 267 270 272 275 278 281 283 285 290 291 293 296 299 300 303 307 311 314 316 317 321 324 325 327 328 331 332 334 336 346 349 351 353 355 357 358 360 363 364 365 382 383 385 386 387 392 404 405 407 408 409 415 419 422 423 433 434 436 437 439 443 451 453 458 460 463 466 476 487 488 489 490 491 a 5 7 8 9 10 11 16 22 25 37 38 40 43 47 49 50 57 60 62 67 72 75 81 85 88 92 93 94 98 101 102 105 120 125 127 129 131 132 141 142 145 146 147 148 153 157 160 163 167 172 173 178 181 182 183 187 189 192 193 198 202 208 211 215 216 222 229 231 233 234 235 239 240 241 244 246 247 250 252 253 257 260 263 267 270 272 275 278 281 283 285 290 291 293 296 299 300 303 307 311 314 316 317 321 324 325 327 328 331 332 334 336 346 349 351 353 355 357 358 360 363 364 365 382 383 385 386 387 392 404 405 407 408 409 415 419 422 423 433 434 436 437 439 443 451 453 458 460 463 466 476 487 488 489 490 491 a 5 7 8 9 10 11 16 22 25 37 38 40 43 47 49 50 57 60 62 67 72 75 81 85 88 92 93 94 98 101 102 105 120 125 127 129 131 132 141 142 145 146 147 148 153 157 160 163 167 172 173 178 181 182 183 187 189 192 193 198 202 208 211 215 216 222 229 231 233 234 235 239 240 241 244 246 247 250 252 253 257 260 263 270 272 275 278 281 283 285 290 291 293 296 299 300 303 307 311 314 316 317 321 324 325 327 328 331 332 334 336 346 349 351 353 355 357 358 360 363 364 365 382 383 385 386 387 392 399 404 405 407 408 409 415 419 422 423 433 434 436 437 439 443 451 453 458 460 463 466 476 487 488 489 490 491 a 5 7 8 9 10 11 16 22 25 37 38 40 43 47 49 50 57 60 62 67 72 75 81 85 88 92 93 94 98 101 102 105 120 125 127 129 131 132 141 142 145 146 147 148 153 157 160 163 167 172 173 178 181 182 183 187 189 192 193 198 202 208 211 215 216 222 229 231 233 234 235 239 240 241 244 246 247 250 252 253 257 260 262 263 270 272 275 278 281 283 285 290 291 293 296 299 300 303 307 311 314 316 317 321 324 325 327 328 331 332 334 336 346 351 353 355 357 358 360 363 364 365 382 383 385 386 387 392 399 404 405 407 408 409 415 419 422 423 433 434 436 437 439 443 451 453 458 460 463 466 476 487 488 489 490 491 a 5 7 8 9 10 11 16 22 25 37 38 40 43 47 49 50 57 60 62 67 72 75 81 85 88 92 93 94 98 101 102 105 118 120 125 127 129 131 132 141 142 145 146 147 148 153 157 160 163 167 172 173 178 181 182 183 187 189 192 193 198 202 208 211 215 216 222 229 231 233 234 235 239 240 241 246 247 250 252 253 257 260 262 263 270 272 275 278 281 283 285 290 291 293 296 299 300 303 307 311 314 316 317 321 324 325 327 328 331 332 334 336 346 351 353 355 357 358 360 363 364 365 382 383 385 386 387 392 399 404 405 407 408 409 415 419 422 423 433 434 436 437 439 443 451 453 458 460 463 466 476 487 488 489 490 491 a 5 7 8 9 10 11 16 22 25 37 38 40 43 47 49 50 57 60 62 67 72 75 81 85 88 92 93 94 98 101 102 105 118 120 125 127 129 131 132 141 142 145 146 147 148 153 157 160 163 167 172 173 178 181 182 183 187 189 192 193 198 202 208 211 215 216 222 225 229 231 234 235 239 240 241 246 247 250 252 253 257 260 262 263 270 272 275 278 281 283 285 290 291 293 296 299 300 303 307 311 314 316 317 321 324 325 327 328 331 332 334 336 346 351 353 355 357 358 360 363 364 365 382 383 385 386 387 392 399 404 405 407 408 409 415 419 422 423 433 434 436 437 439 443 451 453 458 460 463 466 476 487 488 489 490 491 a 5 7 8 9 10 11 16 22 25 37 38 40 43 47 49 50 57 60 62 67 72 75 81 83 85 88 92 93 94 98 101 102 118 120 125 127 129 131 132 141 142 145 146 147 148 153 157 160 163 167 172 173 178 181 182 183 187 189 192 193 198 202 208 211 215 216 222 225 229 231 234 235 239 240 241 246 247 250 252 253 257 260 262 263 270 272 275 278 281 283 285 290 291 293 296 299 300 303 307 311 314 316 317 321 324 325 327 328 331 332 334 336 346 351 353 355 357 358 360 363 364 365 382 383 385 386 387 392 399 404 405 407 408 409 415 419 422 423 433 434 436 437 439 443 451 453 458 460 463 466 476 487 488 489 490 491 a 5 7 8 9 10 11 16 22 25 37 38 40 43 47 49 50 57 60 62 67 72 75 81 83 85 88 92 93 94 98 101 102 118 120 124 125 127 129 131 132 141 142 145 146 147 148 153 157 160 163 167 172 173 178 181 182 183 187 189 192 193 198 202 208 211 215 216 222 225 229 231 234 235 239 240 241 246 247 250 252 253 257 260 262 263 270 272 275 278 281 283 285 290 291 293 296 299 300 303 307 311 314 316 317 321 324 325 327 328 331 332 334 336 346 351 353 355 357 358 360 363 364 365 382 383 385 387 392 399 404 405 407 408 409 415 419 422 423 433 434 436 437 439 443 451 453 458 460 463 466 476 487 488 489 490 491 a 5 7 8 9 10 11 16 22 25 37 38 40 43 47 49 50 57 60 62 67 72 75 81 83 85 88 92 93 94 98 101 102 118 120 124 125 127 129 131 132 141 142 145 146 147 148 153 157 160 163 167 172 173 178 181 183 187 189 192 193 198 202 208 211 215 216 222 225 229 231 234 235 239 240 241 246 247 250 251 252 253 257 260 262 263 270 272 275 278 281 283 285 290 291 293 296 299 300 303 307 311 314 316 317 321 324 325 327 328 331 332 334 336 346 351 353 355 357 358 360 363 364 365 382 383 385 387 392 399 404 405 407 408 409 415 419 422 423 433 434 436 437 439 443 451 453 458 460 463 466 476 487 488 489 490 491 a 5 7 8 9 10 11 16 22 25 37 38 40 43 47 49 50 57 60 62 67 72 75 81 83 85 88 92 93 94 98 101 102 118 120 124 127 129 131 132 141 142 145 146 147 148 153 157 160 163 167 172 173 178 181 183 187 189 192 193 198 202 208 211 215 216 222 225 229 231 234 235 239 240 241 246 247 250 251 252 253 257 260 262 263 270 272 275 278 281 283 285 290 291 293 296 299 300 303 306 307 311 314 316 317 321 324 325 327 328 331 332 334 336 346 351 353 355 357 358 360 363 364 365 382 383 385 387 392 399 404 405 407 408 409 415 419 422 423 433 434 436 437 439 443 451 453 458 460 463 466 476 487 488 489 490 491 a 5 7 8 9 10 11 16 22 25 37 40 43 47 49 50 57 60 62 67 72 75 81 83 85 88 92 93 94 98 101 102 103 118 120 124 127 129 131 132 141 142 145 146 147 148 153 157 160 163 167 172 173 178 181 183 187 189 192 193 198 202 208 211 215 216 222 225 229 231 234 235 239 240 241 246 247 250 251 252 253 257 260 262 263 270 272 275 278 281 283 285 290 291 293 296 299 300 303 306 307 311 314 316 317 321 324 325 327 328 331 332 334 336 346 351 353 355 357 358 360 363 364 365 382 383 385 387 392 399 404 405 407 408 409 415 419 422 423 433 434 436 437 439 443 451 453 458 460 463 466 476 487 488 489 490 491 a 5 7 8 9 10 11 16 22 25 37 40 43 47 49 50 57 60 62 67 72 75 78 81 83 85 88 92 93 94 98 101 102 103 118 120 124 127 129 131 132 141 142 145 146 147 148 153 157 160 163 167 172 173 178 181 183 187 189 192 193 198 202 208 211 215 216 222 225 229 231 234 235 239 240 241 246 247 250 251 252 253 257 260 262 263 270 272 275 278 281 283 285 290 291 293 296 300 303 306 307 311 314 316 317 321 324 325 327 328 331 332 334 336 346 351 353 355 357 358 360 363 364 365 382 383 385 387 392 399 404 405 407 408 409 415 419 422 423 433 434 436 437 439 443 451 453 458 460 463 466 476 487 488 489 490 491 a 5 7 8 9 10 11 16 22 25 37 40 43 47 49 50 57 60 62 67 72 75 78 81 83 85 88 92 93 94 98 101 102 103 118 120 124 127 129 131 132 141 142 145 146 147 148 153 157 160 163 167 172 173 178 181 183 187 189 192 193 198 202 208 211 215 216 222 225 229 231 234 235 239 240 241 246 247 250 251 252 253 257 260 262 263 270 272 275 278 281 283 285 290 291 293 296 300 303 306 307 311 314 316 317 321 324 325 327 328 331 332 334 336 346 351 353 355 357 358 360 363 364 365 368 382 383 385 387 392 399 404 405 407 408 409 415 419 422 423 434 436 437 439 443 451 453 458 460 463 466 476 487 488 489 490 491 a 5 7 8 10 11 16 22 25 37 40 43 47 49 50 57 60 62 67 72 75 78 81 83 85 88 92 93 94 98 101 102 103 118 120 124 127 129 131 132 141 142 145 146 147 148 153 157 160 163 167 172 173 178 181 183 187 189 192 193 198 202 208 211 215 216 222 225 229 231 234 235 239 240 241 246 247 250 251 252 253 257 260 262 263 270 272 275 278 281 283 285 290 291 293 296 300 303 306 307 311 314 316 317 321 324 325 327 328 331 332 334 336 346 351 353 355 357 358 360 363 364 365 368 382 383 385 387 392 399 404 405 407 408 409 412 415 419 422 423 434 436 437 439 443 451 453 458 460 463 466 476 487 488 489 490 491 a 5 7 8 10 11 16 22 25 37 40 43 47 49 50 57 60 62 67 72 78 81 83 85 88 92 93 94 98 101 102 103 118 120 124 127 129 131 132 141 142 145 146 147 148 153 157 160 163 167 172 173 178 181 183 187 189 192 193 198 202 208 211 215 216 222 225 229 231 234 235 239 240 241 246 247 250 251 252 253 257 260 262 263 270 272 275 278 281 283 285 290 291 293 296 300 303 306 307 311 314 316 317 321 324 325 327 328 331 332 334 336 346 351 353 355 357 358 360 363 364 365 368 382 383 385 387 392 399 404 405 406 407 408 409 412 415 419 422 423 434 436 437 439 443 451 453 458 460 463 466 476 487 488 489 490 491 a 5 7 8 10 11 16 22 25 37 40 43 47 49 50 57 60 62 67 72 78 81 83 85 88 92 93 94 98 101 102 103 118 120 124 127 129 131 132 141 142 145 146 147 148 153 157 160 163 167 172 173 177 178 181 183 187 189 192 193 198 202 208 211 215 216 222 225 229 231 234 235 239 240 241 246 247 250 251 252 253 257 260 262 263 270 272 275 278 281 283 285 290 291 293 296 300 303 306 307 311 314 316 317 321 324 325 327 328 331 332 334 336 346 351 353 355 357 358 360 363 364 365 368 382 383 385 387 392 399 404 405 406 407 408 409 412 415 419 422 423 434 436 437 439 451 453 458 460 463 466 476 487 488 489 490 491 a 5 7 8 10 11 16 22 25 37 40 43 47 49 50 57 60 62 67 72 78 81 83 85 88 92 93 94 98 101 102 103 118 120 124 127 129 131 132 140 141 142 145 146 147 148 153 157 160 163 167 172 173 177 178 181 183 187 189 192 193 198 202 208 211 216 222 225 229 231 234 235 239 240 241 246 247 250 251 252 253 257 260 262 263 270 272 275 278 281 283 285 290 291 293 296 300 303 306 307 311 314 316 317 321 324 325 327 328 331 332 334 336 346 351 353 355 357 358 360 363 364 365 368 382 383 385 387 392 399 404 405 406 407 408 409 412 415 419 422 423 434 436 437 439 451 453 458 460 463 466 476 487 488 489 490 491 a 5 7 8 10 11 16 22 25 37 40 43 47 49 50 57 60 62 67 72 78 80 81 83 85 88 92 93 94 98 101 102 103 118 120 124 127 129 131 132 140 141 142 145 146 147 148 153 157 160 163 167 172 173 177 178 181 183 187 189 192 193 198 202 208 211 216 222 225 229 231 234 235 239 240 241 246 247 250 251 252 253 257 260 262 263 270 272 275 278 281 283 285 290 291 293 296 300 303 306 307 311 314 316 317 321 324 325 327 331 332 334 336 346 351 353 355 357 358 360 363 364 365 368 382 383 385 387 392 399 404 405 406 407 408 409 412 415 419 422 423 434 436 437 439 451 453 458 460 463 466 476 487 488 489 490 491 a 5 7 8 10 16 22 25 37 40 43 47 49 50 57 60 62 67 72 78 80 81 83 85 88 92 93 94 98 101 102 103 118 120 124 127 129 131 132 140 141 142 145 146 147 148 153 157 160 163 167 172 173 177 178 181 183 187 189 192 193 198 202 208 211 216 222 225 229 231 234 235 239 240 241 246 247 250 251 252 253 257 260 262 263 270 272 275 278 281 283 285 290 291 293 296 300 303 306 307 311 314 316 317 321 324 325 327 331 332 334 336 346 351 353 355 357 358 360 363 364 365 368 370 382 383 385 387 392 399 404 405 406 407 408 409 412 415 419 422 423 434 436 437 439 451 453 458 460 463 466 476 487 488 489 490 491 a 5 7 8 10 16 22 25 37 40 43 47 49 50 57 60 62 67 72 78 80 81 83 85 88 92 93 94 98 101 102 103 118 120 124 127 129 131 132 140 141 142 145 146 147 148 153 157 160 163 167 172 173 177 178 181 183 187 189 192 193 198 202 204 208 211 216 222 225 229 231 234 235 239 240 241 246 247 250 251 252 253 257 260 262 263 270 272 275 278 281 283 285 290 291 293 296 300 303 306 307 311 314 316 317 321 324 325 327 331 332 334 336 346 351 353 355 357 358 360 363 364 365 368 370 382 383 385 387 392 399 404 405 406 407 408 409 412 415 419 422 423 434 436 437 439 451 453 458 460 463 466 487 488 489 490 491 a 5 7 8 10 16 22 25 37 40 43 47 49 50 57 60 62 67 72 78 80 81 83 85 88 92 93 94 98 101 102 103 118 120 124 127 129 131 132 140 141 142 145 146 147 148 153 157 160 167 172 173 177 178 181 183 187 189 192 193 198 202 204 208 211 216 222 225 229 231 234 235 239 240 241 246 247 250 251 252 253 257 260 262 263 270 272 275 278 281 283 285 290 291 293 296 300 303 306 307 311 314 316 317 321 324 325 327 331 332 334 336 346 351 353 355 357 358 360 363 364 365 368 370 382 383 385 387 392 399 404 405 406 407 408 409 412 415 419 422 423 434 436 437 439 447 451 453 458 460 463 466 487 488 489 490 491 a 5 7 8 10 16 22 25 37 40 43 47 49 50 57 60 62 67 72 78 80 81 83 85 88 92 93 94 98 101 102 103 118 120 124 127 129 131 132 140 141 142 145 146 147 148 153 157 160 167 172 173 177 178 181 183 187 189 192 193 198 202 204 208 211 216 222 225 229 231 234 235 239 240 241 242 246 247 250 251 252 253 257 260 262 263 270 272 275 278 281 283 285 290 291 293 296 300 303 306 307 311 314 316 317 321 324 325 327 331 332 334 336 346 351 353 355 357 358 360 363 364 365 368 370 382 383 385 387 392 399 404 405 406 407 408 409 412 415 419 422 423 434 436 437 439 447 451 453 458 460 466 487 488 489 490 491 a 5 7 8 10 16 22 25 37 40 43 47 49 50 57 60 62 67 72 78 80 81 83 85 88 92 93 94 98 101 102 103 118 120 124 127 129 131 132 140 141 142 145 146 147 148 153 157 160 172 173 177 178 181 183 187 189 192 193 198 202 204 208 211 216 222 225 229 231 234 235 239 240 241 242 246 247 250 251 252 253 257 260 262 263 270 272 275 278 281 283 285 290 291 293 296 300 303 306 307 311 314 316 317 321 324 325 327 331 332 334 336 346 351 353 355 357 358 360 363 364 365 368 370 382 383 385 387 392 399 404 405 406 407 408 409 412 415 419 422 423 434 436 437 439 447 451 453 458 460 466 481 487 488 489 490 491 a 5 7 8 10 16 22 25 37 40 43 47 49 50 57 60 62 67 72 78 80 81 83 85 88 92 93 94 98 101 102 103 118 120 124 127 129 131 132 140 141 142 145 146 147 148 153 157 160 172 173 177 178 181 183 187 189 192 193 198 202 204 208 211 216 222 225 229 231 234 235 239 240 241 242 246 247 250 251 252 253 257 260 262 263 270 272 275 278 281 283 285 290 291 293 296 300 303 306 307 311 314 316 317 321 324 325 327 331 332 334 336 346 351 353 355 357 358 360 363 364 365 368 370 382 383 385 387 392 399 404 406 407 408 409 412 415 419 422 423 434 436 437 439 447 450 451 453 458 460 466 481 487 488 489 490 491 a 5 7 8 10 16 22 25 37 40 43 47 49 50 57 60 62 67 72 78 80 81 83 85 88 92 93 94 98 101 102 103 118 120 124 127 129 131 132 140 141 142 145 146 147 148 153 157 160 172 173 177 178 181 183 187 189 192 193 198 202 204 208 211 216 222 225 229 231 234 235 239 240 241 242 246 247 250 251 252 253 257 260 262 263 270 272 275 278 281 283 285 290 291 293 296 300 303 306 307 311 314 316 317 324 325 327 331 332 334 336 346 351 353 355 357 358 360 363 364 365 368 370 382 383 385 387 392 399 404 406 407 408 409 412 415 419 420 422 423 434 436 437 439 447 450 451 453 458 460 466 481 487 488 489 490 491 a 5 7 8 10 16 22 25 37 40 43 47 49 50 57 60 62 67 72 78 80 81 83 85 88 92 93 94 98 101 102 103 118 120 124 127 129 131 132 140 141 142 145 146 147 148 153 157 160 172 173 177 178 181 183 187 189 192 193 198 202 204 208 211 216 222 225 229 231 234 235 239 240 241 242 246 247 250 251 252 253 257 260 262 263 270 272 275 278 281 283 285 287 290 291 293 296 300 303 306 307 311 314 316 317 324 325 327 331 332 334 336 346 351 353 355 357 358 360 363 364 365 368 370 382 383 385 387 392 399 404 406 407 408 409 412 415 419 420 422 423 434 436 437 439 447 450 451 453 458 460 466 481 487 489 490 491 a 5 7 8 10 16 22 25 37 40 43 47 49 50 57 60 62 67 72 78 80 81 83 85 88 92 93 94 98 101 102 103 118 120 124 127 129 131 132 140 141 142 145 146 147 148 153 157 160 172 173 177 178 181 183 187 189 192 193 198 202 204 208 211 216 222 225 229 231 234 235 237 239 240 241 242 246 247 250 251 252 253 257 260 262 263 270 272 275 278 281 283 285 287 290 291 293 296 300 303 306 307 311 314 316 317 324 325 327 331 332 334 336 346 351 353 355 357 358 360 363 364 365 368 370 382 383 385 387 392 399 404 406 407 408 409 412 415 419 420 422 423 436 437 439 447 450 451 453 458 460 466 481 487 489 490 491 a 5 7 8 10 16 22 25 37 40 43 47 49 50 57 60 62 67 72 78 80 81 83 85 88 92 93 94 98 101 102 103 118 120 124 127 129 131 132 140 141 142 145 146 147 148 153 157 160 172 173 177 178 181 183 187 189 192 193 198 202 204 208 211 216 219 222 225 229 231 234 235 237 239 240 241 242 246 247 250 251 252 253 257 260 262 263 270 272 275 278 281 283 285 287 290 291 293 296 300 303 306 311 314 316 317 324 325 327 331 332 334 336 346 351 353 355 357 358 360 363 364 365 368 370 382 383 385 387 392 399 404 406 407 408 409 412 415 419 420 422 423 436 437 439 447 450 451 453 458 460 466 481 487 489 490 491 a 5 7 8 10 16 22 25 37 40 43 47 49 50 57 60 62 67 72 78 80 81 83 85 88 92 93 94 98 101 102 103 118 120 124 127 129 131 132 140 141 142 145 146 147 148 153 157 160 172 173 177 178 181 183 187 189 192 193 198 202 204 208 211 216 219 222 225 229 231 234 235 237 239 240 241 242 246 247 250 251 252 253 257 260 262 263 270 272 275 278 281 283 285 287 290 291 293 296 300 303 306 311 314 316 317 324 325 327 331 334 336 346 351 353 355 357 358 360 363 364 365 368 370 382 383 385 387 392 399 404 406 407 408 409 412 415 419 420 422 423 436 437 439 447 450 451 453 458 460 466 481 487 489 490 491 493 a 3 5 7 8 10 16 22 25 37 40 43 47 49 50 57 60 62 67 72 78 80 81 83 85 88 92 93 94 98 101 102 103 118 120 124 127 129 131 140 141 142 145 146 147 148 153 157 160 172 173 177 178 181 183 187 189 192 193 198 202 204 208 211 216 219 222 225 229 231 234 235 237 239 240 241 242 246 247 250 251 252 253 257 260 262 263 270 272 275 278 281 283 285 287 290 291 293 296 300 303 306 311 314 316 317 324 325 327 331 334 336 346 351 353 355 357 358 360 363 364 365 368 370 382 383 385 387 392 399 404 406 407 408 409 412 415 419 420 422 423 436 437 439 447 450 451 453 458 460 466 481 487 489 490 491 493 a 3 5 7 8 10 16 22 25 32 37 40 43 47 49 50 57 60 62 67 72 78 80 81 83 85 88 92 93 94 98 101 102 103 118 120 124 127 129 131 140 141 142 146 147 148 153 157 160 172 173 177 178 181 183 187 189 192 193 198 202 204 208 211 216 219 222 225 229 231 234 235 237 239 240 241 242 246 247 250 251 252 253 257 260 262 263 270 272 275 278 281 283 285 287 290 291 293 296 300 303 306 311 314 316 317 324 325 327 331 334 336 346 351 353 355 357 358 360 363 364 365 368 370 382 383 385 387 392 399 404 406 407 408 409 412 415 419 420 422 423 436 437 439 447 450 451 453 458 460 466 481 487 489 490 491 493 a 3 5 7 8 10 16 22 25 32 37 40 43 47 49 50 57 60 62 67 72 78 80 81 83 85 88 92 93 94 98 101 102 103 118 120 124 127 129 131 140 141 142 146 147 148 153 157 160 172 173 177 178 181 183 187 189 192 193 198 202 204 208 211 216 219 222 225 229 231 234 235 237 239 240 241 242 246 247 250 251 252 253 257 260 262 263 270 272 275 278 281 283 285 287 290 291 293 296 300 301 303 306 311 314 316 317 324 325 327 331 334 336 346 351 353 355 357 358 363 364 365 368 370 382 383 385 387 392 399 404 406 407 408 409 412 415 419 420 422 423 436 437 439 447 450 451 453 458 460 466 481 487 489 490 491 493 a 3 5 7 8 10 14 16 22 32 37 40 43 47 49 50 57 60 62 67 72 78 80 81 83 85 88 92 93 94 98 101 102 103 118 120 124 127 129 131 140 141 142 146 147 148 153 157 160 172 173 177 178 181 183 187 189 192 193 198 202 204 208 211 216 219 222 225 229 231 234 235 237 239 240 241 242 246 247 250 251 252 253 257 260 262 263 270 272 275 278 281 283 285 287 290 291 293 296 300 301 303 306 311 314 316 317 324 325 327 331 334 336 346 351 353 355 357 358 363 364 365 368 370 382 383 385 387 392 399 404 406 407 408 409 412 415 419 420 422 423 436 437 439 447 450 451 453 458 460 466 481 487 489 490 491 493 a 3 5 7 8 10 14 16 22 32 37 40 43 47 49 50 57 60 62 67 72 78 80 81 83 85 88 92 93 94 98 101 102 103 118 120 124 127 129 131 140 141 142 146 147 148 153 157 160 172 173 177 178 181 183 187 189 192 193 198 202 204 208 211 216 219 222 225 229 231 234 235 237 239 240 241 242 246 247 250 251 252 253 257 260 262 263 270 272 275 278 281 283 284 285 287 290 291 293 296 300 301 303 306 311 314 316 317 324 325 327 331 334 336 346 351 353 355 357 358 363 364 365 368 370 382 383 385 387 392 399 404 406 407 408 409 412 415 419 420 422 423 436 437 439 447 450 451 458 460 466 481 487 489 490 491 493 a 3 5 7 8 10 14 16 22 32 37 40 43 47 49 50 57 60 62 67 72 78 80 81 83 85 88 92 93 94 98 101 102 103 118 120 124 127 129 131 140 141 146 147 148 153 157 160 172 173 177 178 181 183 187 189 192 193 198 202 204 208 211 216 219 222 225 229 231 234 235 237 239 240 241 242 246 247 250 251 252 253 257 260 262 263 270 272 275 278 281 283 284 285 287 290 291 293 296 300 301 303 306 311 314 316 317 324 325 327 331 334 336 343 346 351 353 355 357 358 363 364 365 368 370 382 383 385 387 392 399 404 406 407 408 409 412 415 419 420 422 423 436 437 439 447 450 451 458 460 466 481 487 489 490 491 493 a 3 5 7 8 10 14 16 22 32 37 40 43 47 49 50 57 60 62 67 72 78 80 81 83 85 88 92 93 94 98 101 102 103 118 120 124 127 129 131 140 141 146 147 153 157 160 172 173 177 178 181 183 187 189 192 193 198 202 204 208 211 216 219 222 225 229 231 234 235 237 239 240 241 242 246 247 250 251 252 253 257 260 261 262 263 270 272 275 278 281 283 284 285 287 290 291 293 296 300 301 303 306 311 314 316 317 324 325 327 331 334 336 343 346 351 353 355 357 358 363 364 365 368 370 382 383 385 387 392 399 404 406 407 408 409 412 415 419 420 422 423 436 437 439 447 450 451 458 460 466 481 487 489 490 491 493 a 3 5 7 8 10 14 16 22 32 37 40 43 47 49 50 57 60 62 67 72 78 80 81 83 85 88 92 93 94 98 101 102 103 118 120 124 127 129 131 140 141 146 147 153 157 160 172 173 177 178 181 183 187 189 192 193 198 202 204 208 211 216 219 222 225 229 231 234 235 237 239 240 242 246 247 250 251 252 253 257 260 261 262 263 270 272 275 278 281 283 284 285 287 290 291 293 296 300 301 303 306 311 314 316 317 324 325 327 331 334 336 343 346 351 353 355 357 358 363 364 365 368 370 382 383 385 387 392 399 404 406 407 408 409 412 415 419 420 422 423 436 437 439 447 450 451 456 458 460 466 481 487 489 490 491 493 a 3 5 7 8 10 14 16 22 32 37 40 43 47 49 50 57 60 62 67 72 78 80 81 83 85 88 92 93 94 98 101 102 103 118 120 124 127 129 131 140 141 146 147 153 156 157 160 172 173 177 178 181 183 187 189 192 193 198 202 204 208 211 216 219 222 225 229 231 234 235 237 239 240 242 246 247 250 251 252 253 257 260 261 262 263 270 272 275 278 281 283 284 285 287 290 291 293 296 300 301 303 306 311 314 316 317 324 325 327 331 334 336 343 346 351 353 355 357 358 363 364 365 368 370 382 383 385 387 392 399 404 406 407 408 409 412 415 419 420 422 423 437 439 447 450 451 456 458 460 466 481 487 489 490 491 493 a 3 5 7 8 10 13 14 16 22 32 37 40 43 47 49 50 57 60 62 67 72 78 80 81 83 85 88 92 93 94 98 101 102 103 118 120 124 127 129 131 140 141 146 147 153 156 157 160 172 173 177 178 181 183 187 189 192 193 198 202 204 208 211 216 219 222 225 229 231 234 235 237 239 240 242 246 247 250 251 252 253 257 260 261 262 263 270 272 275 278 281 283 284 285 287 290 291 293 296 300 301 303 306 311 314 316 317 324 325 327 331 334 336 343 346 351 353 355 357 358 363 364 365 368 370 382 383 387 392 399 404 406 407 408 409 412 415 419 420 422 423 437 439 447 450 451 456 458 460 466 481 487 489 490 491 493 a 3 5 7 8 10 13 14 16 22 32 37 40 43 47 49 50 57 60 62 67 72 78 80 81 83 85 88 92 93 94 98 101 102 103 118 120 124 127 129 131 140 141 146 147 153 156 157 160 172 173 176 177 178 181 183 187 189 192 193 198 202 204 208 211 216 219 222 225 229 231 234 235 237 239 240 242 246 247 250 251 252 253 257 260 261 262 263 270 272 275 278 281 283 284 285 287 290 291 293 296 300 301 303 306 311 316 317 324 325 327 331 334 336 343 346 351 353 355 357 358 363 364 365 368 370 382 383 387 392 399 404 406 407 408 409 412 415 419 420 422 423 437 439 447 450 451 456 458 460 466 481 487 489 490 491 493 a 3 5 7 8 10 13 14 16 22 32 37 40 43 47 49 50 57 60 62 67 72 78 80 81 83 85 88 92 93 94 98 101 102 103 118 120 124 127 129 131 140 141 146 147 153 156 157 160 172 173 176 177 178 181 183 187 189 192 193 198 202 204 208 211 216 219 222 225 229 231 234 235 237 239 240 242 246 247 250 251 252 253 257 260 261 262 263 270 272 275 278 281 283 284 285 287 290 291 293 296 300 301 303 306 311 316 317 324 325 327 331 334 335 336 343 346 351 353 355 357 358 363 364 365 368 370 382 383 387 392 399 404 406 407 408 409 412 415 419 420 422 423 437 439 447 450 451 456 458 466 481 487 489 490 491 493 a 3 5 7 8 10 13 14 16 22 32 37 40 43 47 49 50 57 60 62 67 72 78 80 81 83 85 88 92 93 94 98 101 102 103 118 120 124 127 129 131 140 141 146 147 153 156 157 160 172 173 176 177 178 181 183 187 189 192 193 198 202 204 208 211 216 219 222 225 229 231 234 235 237 239 240 242 246 247 250 251 252 253 257 260 261 262 263 270 272 275 278 281 283 284 285 287 290 291 293 296 300 301 303 306 311 316 317 324 325 331 334 335 336 343 345 346 351 353 355 357 358 363 364 365 368 370 382 383 387 392 399 404 406 407 408 409 412 415 419 420 422 423 437 439 447 450 451 456 458 466 481 487 489 490 491 493 a 3 5 7 8 10 13 14 16 20 22 32 37 40 43 47 49 50 57 60 62 67 72 78 80 81 83 85 88 92 93 94 98 101 102 103 118 120 124 127 129 131 140 141 146 147 153 156 157 160 172 173 176 177 178 181 183 187 189 192 193 198 202 204 208 211 216 219 222 225 229 234 235 237 239 240 242 246 247 250 251 252 253 257 260 261 262 263 270 272 275 278 281 283 284 285 287 290 291 293 296 300 301 303 306 311 316 317 324 325 331 334 335 336 343 345 346 351 353 355 357 358 363 364 365 368 370 382 383 387 392 399 404 406 407 408 409 412 415 419 420 422 423 437 439 447 450 451 456 458 466 481 487 489 490 491 493 a 3 5 7 8 10 13 14 16 20 22 32 37 40 43 47 49 50 57 60 62 67 72 78 79 80 81 83 85 88 92 93 94 98 101 102 103 118 120 124 127 129 131 140 141 146 147 153 156 157 160 172 173 176 177 178 181 183 187 189 192 193 198 202 204 208 211 216 219 222 225 229 234 235 237 239 240 242 246 247 250 251 252 253 257 260 261 262 263 270 272 275 278 281 283 284 285 287 290 291 293 296 300 301 306 311 316 317 324 325 331 334 335 336 343 345 346 351 353 355 357 358 363 364 365 368 370 382 383 387 392 399 404 406 407 408 409 412 415 419 420 422 423 437 439 447 450 451 456 458 466 481 487 489 490 491 493 a 3 5 7 8 10 13 14 16 20 22 32 37 40 43 47 49 50 57 62 67 72 78 79 80 81 83 85 88 92 93 94 98 101 102 103 118 120 124 127 129 131 140 141 146 147 153 156 157 160 172 173 176 177 178 181 183 187 189 192 193 198 202 204 208 211 216 219 222 225 229 234 235 237 239 240 242 246 247 250 251 252 253 257 260 261 262 263 270 272 275 278 281 283 284 285 287 290 291 293 296 300 301 306 311 316 317 324 325 331 334 335 336 343 345 346 351 353 355 357 358 362 363 364 365 368 370 382 383 387 392 399 404 406 407 408 409 412 415 419 420 422 423 437 439 447 450 451 456 458 466 481 487 489 490 491 493 a 3 5 7 8 10 13 14 16 20 22 32 37 40 43 47 49 50 57 62 67 72 78 79 80 81 83 85 88 92 93 94 98 101 102 103 118 119 120 124 127 129 131 140 141 146 147 153 156 157 160 172 173 176 177 178 181 183 187 189 192 193 198 202 204 208 211 216 219 222 225 229 234 235 237 239 240 242 246 247 250 251 252 257 260 261 262 263 270 272 275 278 281 283 284 285 287 290 291 293 296 300 301 306 311 316 317 324 325 331 334 335 336 343 345 346 351 353 355 357 358 362 363 364 365 368 370 382 383 387 392 399 404 406 407 408 409 412 415 419 420 422 423 437 439 447 450 451 456 458 466 481 487 489 490 491 493 a 3 5 7 8 10 13 14 16 20 22 32 37 40 43 47 49 50 57 62 67 72 78 79 80 81 83 85 88 92 93 94 98 101 102 103 118 119 120 124 127 129 131 140 141 146 147 153 156 157 160 172 173 176 177 178 181 183 187 189 192 193 198 202 204 208 211 216 219 222 225 234 235 237 239 240 242 246 247 250 251 252 257 260 261 262 263 268 270 272 275 278 281 283 284 285 287 290 291 293 296 300 301 306 311 316 317 324 325 331 334 335 336 343 345 346 351 353 355 357 358 362 363 364 365 368 370 382 383 387 392 399 404 406 407 408 409 412 415 419 420 422 423 437 439 447 450 451 456 458 466 481 487 489 490 491 493 a 3 5 7 8 10 13 14 16 20 22 32 37 40 43 47 49 50 57 62 67 72 78 79 80 81 83 85 88 92 93 94 98 101 102 103 112 118 119 120 124 127 129 131 140 141 146 147 153 156 157 160 172 173 176 177 178 181 183 187 189 192 193 198 202 204 208 211 216 219 222 225 234 235 237 240 242 246 247 250 251 252 257 260 261 262 263 268 270 272 275 278 281 283 284 285 287 290 291 293 296 300 301 306 311 316 317 324 325 331 334 335 336 343 345 346 351 353 355 357 358 362 363 364 365 368 370 382 383 387 392 399 404 406 407 408 409 412 415 419 420 422 423 437 439 447 450 451 456 458 466 481 487 489 490 491 493 a 3 5 6 7 8 10 13 14 16 20 22 32 37 40 43 47 49 50 57 62 67 72 78 79 80 81 83 85 88 92 93 94 98 101 102 103 112 118 119 120 124 127 129 131 140 141 146 153 156 157 160 172 173 176 177 178 181 183 187 189 192 193 198 202 204 208 211 216 219 222 225 234 235 237 240 242 246 247 250 251 252 257 260 261 262 263 268 270 272 275 278 281 283 284 285 287 290 291 293 296 300 301 306 311 316 317 324 325 331 334 335 336 343 345 346 351 353 355 357 358 362 363 364 365 368 370 382 383 387 392 399 404 406 407 408 409 412 415 419 420 422 423 437 439 447 450 451 456 458 466 481 487 489 490 491 493 a 3 5 6 7 8 10 13 14 16 20 22 32 37 40 43 47 49 50 57 62 67 72 78 79 80 81 83 85 88 92 93 94 98 100 101 102 103 112 118 119 120 124 127 129 131 140 146 153 156 157 160 172 173 176 177 178 181 183 187 189 192 193 198 202 204 208 211 216 219 222 225 234 235 237 240 242 246 247 250 251 252 257 260 261 262 263 268 270 272 275 278 281 283 284 285 287 290 291 293 296 300 301 306 311 316 317 324 325 331 334 335 336 343 345 346 351 353 355 357 358 362 363 364 365 368 370 382 383 387 392 399 404 406 407 408 409 412 415 419 420 422 423 437 439 447 450 451 456 458 466 481 487 489 490 491 493 a 3 5 6 7 8 10 13 14 16 20 32 37 40 43 47 49 50 54 57 62 67 72 78 79 80 81 83 85 88 92 93 94 98 100 101 102 103 112 118 119 120 124 127 129 131 140 146 153 156 157 160 172 173 176 177 178 181 183 187 189 192 193 198 202 204 208 211 216 219 222 225 234 235 237 240 242 246 247 250 251 252 257 260 261 262 263 268 270 272 275 278 281 283 284 285 287 290 291 293 296 300 301 306 311 316 317 324 325 331 334 335 336 343 345 346 351 353 355 357 358 362 363 364 365 368 370 382 383 387 392 399 404 406 407 408 409 412 415 419 420 422 423 437 439 447 450 451 456 458 466 481 487 489 490 491 493 a 3 5 6 7 8 10 13 14 16 20 32 37 40 43 47 49 50 54 57 62 67 72 78 79 80 81 83 85 88 92 93 94 98 100 101 102 103 112 118 119 120 124 127 129 131 140 146 153 156 157 160 172 173 176 177 178 181 183 187 189 192 193 198 202 204 205 208 211 216 219 222 225 234 235 237 240 242 246 247 250 251 252 257 260 261 262 263 268 270 272 275 278 281 283 284 285 287 290 293 296 300 301 306 311 316 317 324 325 331 334 335 336 343 345 346 351 353 355 357 358 362 363 364 365 368 370 382 383 387 392 399 404 406 407 408 409 412 415 419 420 422 423 437 439 447 450 451 456 458 466 481 487 489 490 491 493 a 3 5 6 7 8 10 13 14 16 20 32 37 40 43 47 49 50 54 57 62 66 67 72 78 79 80 81 83 85 88 92 93 94 98 100 101 102 103 112 118 119 120 124 127 129 131 140 146 153 156 157 160 172 173 176 177 178 181 183 187 189 192 193 198 202 204 205 208 211 216 219 222 225 234 235 237 240 242 246 247 250 251 252 257 260 261 262 263 268 270 272 275 278 281 283 284 285 287 290 293 296 300 301 306 311 316 317 324 325 334 335 336 343 345 346 351 353 355 357 358 362 363 364 365 368 370 382 383 387 392 399 404 406 407 408 409 412 415 419 420 422 423 437 439 447 450 451 456 458 466 481 487 489 490 491 493 a 3 5 6 7 8 10 13 14 16 20 32 37 40 43 47 49 50 54 57 62 66 67 72 78 79 80 81 83 85 88 92 93 94 98 100 101 102 103 112 118 119 120 124 127 129 131 140 146 153 156 157 160 172 173 176 177 178 181 183 187 189 192 193 198 202 204 205 208 211 219 222 225 234 235 237 240 242 246 247 250 251 252 257 260 261 262 263 268 270 272 275 278 281 282 283 284 285 287 290 293 296 300 301 306 311 316 317 324 325 334 335 336 343 345 346 351 353 355 357 358 362 363 364 365 368 370 382 383 387 392 399 404 406 407 408 409 412 415 419 420 422 423 437 439 447 450 451 456 458 466 481 487 489 490 491 493 a 3 5 6 7 8 10 13 14 16 20 32 37 40 43 47 49 50 54 57 62 66 67 72 78 79 80 81 83 85 88 92 93 94 98 100 101 102 103 112 118 119 120 124 127 129 131 140 146 153 156 157 160 172 173 176 177 178 181 183 187 189 192 193 198 201 202 204 205 208 211 219 222 225 235 237 240 242 246 247 250 251 252 257 260 261 262 263 268 270 272 275 278 281 282 283 284 285 287 290 293 296 300 301 306 311 316 317 324 325 334 335 336 343 345 346 351 353 355 357 358 362 363 364 365 368 370 382 383 387 392 399 404 406 407 408 409 412 415 419 420 422 423 437 439 447 450 451 456 458 466 481 487 489 490 491 493 a 3 5 6 7 8 10 13 14 16 20 32 37 40 43 47 49 50 54 57 62 66 67 72 78 79 80 81 83 85 88 92 93 94 98 100 101 102 103 112 118 119 120 124 127 129 131 140 153 156 157 160 172 173 176 177 178 181 183 187 189 192 193 198 201 202 204 205 208 211 219 222 225 235 237 240 242 246 247 250 251 252 257 260 261 262 263 268 270 272 275 278 281 282 283 284 285 287 290 293 296 300 301 302 306 311 316 317 324 325 334 335 336 343 345 346 351 353 355 357 358 362 363 364 365 368 370 382 383 387 392 399 404 406 407 408 409 412 415 419 420 422 423 437 439 447 450 451 456 458 466 481 487 489 490 491 493 a 3 5 6 7 8 10 13 14 16 20 32 37 40 43 47 49 50 54 57 62 66 67 72 78 79 80 81 83 85 88 92 93 94 98 100 101 102 103 112 118 119 120 124 127 129 131 140 153 156 157 160 172 173 176 177 178 181 183 187 189 192 193 198 201 204 205 208 211 219 222 225 235 237 240 242 246 247 250 251 252 257 260 261 262 263 268 270 272 275 278 281 282 283 284 285 287 290 293 296 300 301 302 306 311 316 317 324 325 334 335 336 343 345 346 351 353 355 357 358 362 363 364 365 368 370 382 383 387 392 399 404 406 407 408 409 412 415 419 420 422 423 437 439 447 450 451 456 458 465 466 481 487 489 490 491 493 a 3 5 6 7 8 10 13 14 16 20 32 37 40 43 47 49 50 54 57 62 66 67 72 78 79 80 81 83 85 88 92 94 98 100 101 102 103 112 118 119 120 124 127 129 131 140 153 156 157 158 160 172 173 176 177 178 181 183 187 189 192 193 198 201 204 205 208 211 219 222 225 235 237 240 242 246 247 250 251 252 257 260 261 262 263 268 270 272 275 278 281 282 283 284 285 287 290 293 296 300 301 302 306 311 316 317 324 325 334 335 336 343 345 346 351 353 355 357 358 362 363 364 365 368 370 382 383 387 392 399 404 406 407 408 409 412 415 419 420 422 423 437 439 447 450 451 456 458 465 466 481 487 489 490 491 493 a 3 5 6 7 8 10 13 14 16 20 32 37 40 43 47 49 50 54 57 62 66 67 72 78 79 80 81 83 85 88 92 94 98 100 101 102 103 112 118 119 120 124 127 129 131 140 153 156 157 158 160 173 176 177 178 181 183 187 189 192 193 198 201 204 205 208 211 219 222 225 235 237 240 242 246 247 250 251 252 257 260 261 262 263 268 270 272 275 278 281 282 283 284 285 287 290 293 296 300 301 302 306 311 316 317 324 325 334 335 336 343 345 346 351 353 355 357 358 362 363 364 365 368 370 382 383 387 392 399 404 406 407 408 409 412 415 417 419 420 422 423 437 439 447 450 451 456 458 465 466 481 487 489 490 491 493 a 3 5 6 7 8 10 13 14 16 20 32 37 40 43 47 49 50 51 54 57 62 66 67 72 78 79 80 81 83 85 88 92 94 98 100 101 102 103 112 118 119 120 124 127 129 131 140 153 156 157 158 160 173 176 177 178 181 183 187 189 192 193 201 204 205 208 211 219 222 225 235 237 240 242 246 247 250 251 252 257 260 261 262 263 268 270 272 275 278 281 282 283 284 285 287 290 293 296 300 301 302 306 311 316 317 324 325 334 335 336 343 345 346 351 353 355 357 358 362 363 364 365 368 370 382 383 387 392 399 404 406 407 408 409 412 415 417 419 420 422 423 437 439 447 450 451 456 458 465 466 481 487 489 490 491 493 a 3 5 6 7 8 10 13 14 16 20 32 37 40 43 47 49 50 51 54 57 62 66 67 78 79 80 81 83 85 88 92 94 98 100 101 102 103 112 118 119 120 124 127 129 131 140 153 156 157 158 160 173 176 177 178 181 183 187 189 192 193 201 204 205 208 211 219 222 225 235 237 240 242 246 247 250 251 252 257 260 261 262 263 268 270 272 275 278 281 282 283 284 285 287 290 293 296 297 300 301 302 306 311 316 317 324 325 334 335 336 343 345 346 351 353 355 357 358 362 363 364 365 368 370 382 383 387 392 399 404 406 407 408 409 412 415 417 419 420 422 423 437 439 447 450 451 456 458 465 466 481 487 489 490 491 493 a 3 5 6 7 8 10 13 14 16 20 32 37 40 43 47 49 50 51 54 57 62 66 67 78 79 80 81 83 85 88 92 94 98 100 101 102 103 112 118 119 120 124 127 129 131 140 153 156 157 158 160 173 176 177 178 181 183 187 189 193 201 204 205 208 211 219 222 225 235 237 240 242 246 247 250 251 252 257 260 261 262 263 268 270 272 275 278 281 282 283 284 285 287 290 293 296 297 300 301 302 306 311 316 317 324 325 334 335 336 343 345 346 351 353 355 357 358 362 363 364 365 368 370 382 383 387 392 396 399 404 406 407 408 409 412 415 417 419 420 422 423 437 439 447 450 451 456 458 465 466 481 487 489 490 491 493 a 3 5 6 7 8 10 13 14 16 20 32 37 40 43 47 49 50 51 54 57 62 66 67 78 79 80 81 83 85 88 92 94 98 100 101 102 103 112 118 119 120 124 127 129 131 140 153 156 157 158 160 173 176 177 178 181 183 187 189 193 201 204 205 208 211 219 222 225 235 237 240 242 246 250 251 252 257 260 261 262 263 268 270 271 272 275 278 281 282 283 284 285 287 290 293 296 297 300 301 302 306 311 316 317 324 325 334 335 336 343 345 346 351 353 355 357 358 362 363 364 365 368 370 382 383 387 392 396 399 404 406 407 408 409 412 415 417 419 420 422 423 437 439 447 450 451 456 458 465 466 481 487 489 490 491 493 c Step: 128 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance038_graph005.col /benchmark/random_instance/random_instance038_graph005_01.dat" User time (seconds): 552.11 System time (seconds): 7.62 Percent of CPU this job got: 152% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:07.37 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): 23354292 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 7866591 Voluntary context switches: 564376 Involuntary context switches: 2198 Swaps: 0 File system inputs: 0 File system outputs: 1008 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:41:01 2023]