#BEGIN: [Mon Sep 4 12:33:02 2023] #HOST: s16 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance038_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance038_graph001_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_graph001.col /benchmark/random_instance/random_instance038_graph001_01.dat c /benchmark/random_instance/random_instance038_graph001.col c /benchmark/random_instance/random_instance038_graph001_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.001 seconds s 209 305 112 433 161 257 51 171 108 110 105 350 384 160 467 338 490 295 246 182 126 314 8 183 286 488 197 41 125 178 219 184 389 124 472 367 27 42 203 408 398 461 458 371 394 272 274 138 152 199 205 311 106 247 142 63 370 226 256 331 297 195 463 273 468 356 334 242 482 213 116 277 68 241 368 409 61 337 400 446 73 426 292 476 254 119 282 99 475 437 43 300 7 424 70 46 66 443 201 346 143 455 439 271 310 414 202 307 449 479 275 196 34 146 237 177 276 13 448 325 374 206 102 31 135 470 477 486 90 14 480 56 28 40 45 265 364 84 227 451 136 82 326 378 399 429 33 189 11 358 244 222 369 478 466 t 211 222 363 81 84 476 227 133 431 138 237 239 106 156 380 177 181 279 318 9 272 167 33 486 184 89 377 208 338 406 196 358 214 240 267 307 22 150 304 463 213 341 296 370 394 419 323 481 342 56 74 190 392 303 479 420 335 90 29 66 128 292 164 58 489 79 25 305 127 450 57 44 110 430 310 444 273 200 103 17 324 315 125 49 115 122 373 229 263 467 68 235 322 118 152 99 261 371 130 147 319 367 284 316 123 300 470 460 135 194 210 168 451 101 262 256 393 423 493 281 151 294 102 217 399 326 173 446 8 174 3 364 401 75 357 241 13 351 36 236 31 93 299 276 142 477 494 41 95 145 410 275 94 359 440 a YES a 7 8 11 13 14 27 28 31 33 34 40 41 42 43 45 46 51 56 61 63 66 68 70 73 82 84 90 99 102 105 106 108 110 112 116 119 124 125 126 135 136 138 142 143 146 152 160 161 171 177 178 182 183 184 189 195 196 197 199 201 202 203 205 206 209 213 219 222 226 227 237 241 242 244 246 247 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 482 486 488 490 a 7 8 11 13 14 27 28 31 33 34 40 41 42 43 45 46 51 56 61 63 66 68 70 73 82 84 90 99 100 102 105 106 108 110 112 116 119 124 125 126 135 136 138 142 143 146 152 160 161 171 177 178 182 183 184 189 195 196 197 199 201 202 203 205 206 209 213 219 222 226 227 237 241 242 244 246 247 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 477 478 479 480 482 486 488 490 a 7 8 11 13 14 27 28 31 33 34 40 41 42 43 45 46 51 56 61 63 66 68 70 73 82 84 90 99 100 102 105 106 108 110 112 116 119 124 125 126 135 136 138 139 142 143 146 152 160 161 171 177 178 182 183 184 189 195 196 197 199 201 202 203 205 206 209 213 219 222 226 227 237 241 242 244 246 247 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 408 409 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 477 478 479 480 482 486 488 490 a 7 8 11 13 14 27 28 31 33 34 40 41 42 43 45 46 51 56 61 63 68 70 73 82 84 90 99 100 102 105 106 108 110 112 116 119 124 125 126 135 136 138 139 142 143 146 152 160 161 171 177 178 182 183 184 189 195 196 197 199 201 202 203 205 206 209 213 219 222 226 227 237 241 242 244 246 247 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 332 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 408 409 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 477 478 479 480 482 486 488 490 a 7 8 11 13 14 27 28 31 33 34 40 41 42 43 45 46 51 56 61 63 68 70 73 82 84 90 99 100 102 105 106 108 110 112 116 119 124 125 126 135 136 138 142 143 146 152 160 161 171 177 178 182 183 184 189 195 196 197 199 201 202 203 205 206 209 213 219 222 226 227 237 241 242 244 246 247 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 332 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 477 478 479 480 482 486 488 490 a 7 8 11 13 14 27 28 31 33 34 40 41 42 43 45 46 51 56 61 63 68 70 73 82 84 90 99 100 102 105 106 108 110 112 116 119 124 125 126 135 136 138 142 143 146 152 160 161 171 177 178 182 183 184 185 189 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 244 246 247 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 332 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 477 478 479 480 482 486 488 490 a 7 8 11 13 14 27 28 31 33 34 40 41 42 43 45 46 51 56 61 63 68 70 73 82 84 90 99 102 105 106 108 110 112 116 119 124 125 126 135 136 138 142 143 146 152 160 161 171 177 178 182 183 184 185 189 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 244 246 247 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 332 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 426 429 433 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 482 486 488 490 a 7 11 13 14 27 28 31 33 34 40 41 42 43 45 46 51 56 61 63 68 70 73 82 84 90 99 102 105 106 108 110 112 116 119 124 125 126 135 136 138 142 143 146 152 160 161 171 177 178 182 183 184 185 189 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 244 246 247 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 332 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 426 429 433 436 437 439 443 446 448 449 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 482 486 488 490 a 7 11 13 14 27 28 31 33 34 40 41 42 43 45 46 51 56 61 63 68 70 73 82 84 90 99 102 105 106 108 110 112 116 119 124 125 126 135 136 138 142 143 146 152 160 161 171 177 178 182 183 184 185 189 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 244 246 247 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 332 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 425 426 429 433 436 437 439 443 446 448 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 482 486 488 490 a 7 11 13 14 27 28 31 33 34 40 41 42 43 45 46 51 56 61 63 68 70 73 82 84 90 99 102 105 106 108 110 112 116 119 124 125 126 135 136 138 142 143 146 152 160 161 171 177 178 182 183 184 185 189 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 244 246 247 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 332 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 425 426 429 431 433 436 437 439 446 448 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 482 486 488 490 a 7 11 13 14 27 28 31 33 34 40 41 42 43 45 46 51 56 61 63 68 70 82 84 90 99 102 105 106 108 110 112 116 119 124 125 126 135 136 138 142 143 146 152 160 161 171 174 177 178 182 183 184 185 189 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 244 246 247 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 332 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 425 426 429 431 433 436 437 439 446 448 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 482 486 488 490 a 7 11 13 14 27 28 31 33 34 40 41 42 43 45 46 51 56 61 63 68 70 82 84 90 99 102 105 106 108 110 112 116 119 124 125 126 135 136 138 139 142 143 146 152 160 161 171 174 177 178 182 183 184 185 189 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 244 246 247 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 332 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 408 409 414 424 425 426 429 431 433 436 437 439 446 448 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 482 486 488 490 a 7 11 13 14 19 27 28 31 33 34 40 41 42 43 45 46 51 56 61 63 68 70 82 84 90 99 102 105 106 108 110 112 116 119 124 125 126 135 136 138 139 142 143 146 152 160 161 171 174 177 178 182 183 184 185 189 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 244 246 247 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 332 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 408 409 414 424 425 426 429 433 436 437 439 446 448 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 482 486 488 490 a 7 11 13 14 19 25 27 28 31 33 34 40 41 42 43 45 46 51 56 61 63 68 70 82 84 90 99 102 105 106 108 110 112 116 119 124 125 126 135 136 138 139 142 143 146 152 160 161 171 174 177 178 182 183 184 185 189 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 244 246 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 332 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 408 409 414 424 425 426 429 433 436 437 439 446 448 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 482 486 488 490 a 7 11 13 14 25 27 28 31 33 34 40 41 42 43 45 46 51 56 61 63 68 70 82 84 90 99 102 105 106 108 110 112 116 119 124 125 126 135 136 138 139 142 143 146 152 160 161 171 174 177 178 182 183 184 185 189 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 244 246 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 332 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 408 409 414 424 425 426 429 431 433 436 437 439 446 448 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 482 486 488 490 a 7 11 13 14 25 27 28 31 33 34 40 41 42 43 45 46 51 56 61 63 68 70 82 84 90 99 102 105 106 108 110 112 116 119 124 125 126 135 136 138 139 142 143 146 152 160 161 166 174 177 178 182 183 184 185 189 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 244 246 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 311 314 325 326 331 332 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 408 409 414 424 425 426 429 431 433 436 437 439 446 448 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 482 486 488 490 a 7 11 13 14 25 27 28 31 33 34 40 41 42 43 45 46 51 56 61 63 68 70 82 84 90 99 102 105 106 108 110 112 116 119 124 125 126 135 136 139 142 143 146 152 160 161 166 174 177 178 182 183 184 185 189 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 244 246 254 256 257 265 271 272 273 274 275 276 277 282 286 288 292 295 297 300 305 307 310 311 314 325 326 331 332 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 408 409 414 424 425 426 429 431 433 436 437 439 446 448 451 455 458 461 463 466 467 468 470 472 475 476 477 478 479 480 482 486 488 490 a 7 11 13 14 25 27 28 31 33 34 40 41 42 43 45 46 51 56 61 63 68 70 82 84 90 99 100 102 105 106 108 110 112 116 119 124 125 126 135 136 139 142 143 146 152 160 161 166 174 177 178 182 183 184 185 189 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 244 246 254 256 257 265 271 272 273 274 275 276 277 282 286 288 292 295 297 300 305 307 310 311 314 325 326 331 332 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 408 409 414 424 425 426 429 431 433 436 437 439 446 448 451 455 458 461 463 466 467 468 470 472 475 477 478 479 480 482 486 488 490 a 7 11 13 14 25 27 28 31 33 34 40 41 42 43 45 46 47 51 56 61 63 68 70 82 84 90 99 100 102 105 106 108 110 112 116 119 124 125 126 135 136 139 142 143 146 152 160 161 166 174 177 178 182 183 184 185 189 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 244 246 254 256 257 265 271 272 273 274 275 276 277 282 286 288 292 295 297 300 305 307 310 311 314 325 326 331 332 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 408 409 414 424 425 426 429 431 436 437 439 446 448 451 455 458 461 463 466 467 468 470 472 475 477 478 479 480 482 486 488 490 a 7 11 13 14 25 27 28 31 33 34 40 41 42 43 45 46 47 51 56 61 63 68 70 82 84 90 99 100 102 105 106 108 110 112 116 119 124 125 126 135 136 142 143 146 152 160 161 166 174 177 178 182 183 184 185 189 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 244 246 254 256 257 265 271 272 273 274 275 276 277 282 286 288 292 295 297 300 305 307 310 311 314 325 326 331 332 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 425 426 429 431 436 437 439 446 448 451 455 458 461 463 466 467 468 470 472 475 477 478 479 480 482 486 488 490 a 7 11 13 14 25 27 28 31 33 34 40 41 42 43 45 46 47 51 56 61 63 68 70 80 82 84 90 99 100 102 105 106 108 110 112 116 119 124 125 126 135 136 142 143 146 152 160 161 166 174 177 178 182 183 184 185 189 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 244 246 254 256 257 265 271 272 273 274 275 276 277 282 286 288 292 295 297 300 305 310 311 314 325 326 331 332 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 425 426 429 431 436 437 439 446 448 451 455 458 461 463 466 467 468 470 472 475 477 478 479 480 482 486 488 490 a 7 11 13 14 25 27 28 31 33 34 40 41 42 43 45 46 47 51 56 61 63 68 70 80 82 84 90 99 100 102 105 106 108 110 112 116 119 124 125 126 135 136 138 142 143 146 152 160 161 166 174 177 178 182 183 184 185 189 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 244 246 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 310 311 314 325 326 331 332 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 425 426 429 431 436 437 439 446 448 451 455 458 461 463 466 467 468 470 472 475 477 478 479 480 482 486 488 490 a 7 11 13 14 25 27 28 31 33 34 40 41 42 43 45 46 51 56 61 63 68 70 80 82 84 90 99 100 102 105 106 108 110 112 116 119 124 125 126 135 136 138 142 143 146 152 160 161 166 174 177 178 182 183 184 185 189 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 244 246 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 310 311 314 325 326 331 332 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 425 426 429 431 433 436 437 439 446 448 451 455 458 461 463 466 467 468 470 472 475 477 478 479 480 482 486 488 490 a 7 11 13 14 25 27 28 31 33 34 40 41 42 43 45 46 51 56 61 63 68 70 76 80 82 84 90 99 100 102 105 106 108 110 112 116 119 124 125 126 135 136 138 142 143 146 152 160 161 166 174 177 178 182 183 184 185 189 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 244 246 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 310 311 314 325 326 331 332 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 425 426 429 431 433 436 437 439 446 448 451 455 458 461 463 466 467 470 472 475 477 478 479 480 482 486 488 490 a 7 11 13 14 25 27 28 31 33 34 40 41 42 43 45 46 51 56 61 63 68 70 76 80 82 84 90 99 100 102 105 106 108 110 112 116 119 124 125 126 135 136 138 142 143 146 152 160 161 166 174 177 178 182 183 184 185 189 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 243 244 246 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 310 311 314 325 326 331 332 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 425 426 429 431 433 436 437 439 446 448 451 455 458 461 466 467 470 472 475 477 478 479 480 482 486 488 490 a 7 11 13 14 25 27 28 31 33 34 40 41 42 43 45 46 51 56 61 63 68 70 76 80 82 84 90 99 100 102 105 106 108 110 112 116 119 124 125 126 135 136 138 142 143 146 152 160 161 166 177 178 182 183 184 185 189 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 243 244 246 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 310 311 314 319 325 326 331 332 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 425 426 429 431 433 436 437 439 446 448 451 455 458 461 466 467 470 472 475 477 478 479 480 482 486 488 490 a 7 11 13 14 25 27 28 31 33 34 40 41 42 43 45 46 51 56 61 63 68 70 76 80 82 84 90 99 100 102 105 106 108 110 112 116 119 124 125 126 135 136 138 142 143 146 152 160 161 166 177 178 182 183 184 185 189 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 243 244 246 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 314 319 325 326 331 332 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 425 426 429 431 433 436 437 439 446 448 451 455 458 461 466 467 470 472 475 477 478 479 480 482 486 488 490 a 7 11 13 14 25 27 28 31 33 34 40 41 42 43 45 46 51 56 58 61 63 68 70 76 80 82 84 90 99 100 102 105 106 108 110 112 116 119 124 125 126 135 136 138 142 146 152 160 161 166 177 178 182 183 184 185 189 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 243 244 246 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 314 319 325 326 331 332 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 425 426 429 431 433 436 437 439 446 448 451 455 458 461 466 467 470 472 475 477 478 479 480 482 486 488 490 a 7 11 13 14 25 27 28 31 33 34 40 41 42 43 45 46 51 56 58 61 63 68 70 76 80 82 84 90 99 100 102 105 106 108 110 112 116 119 124 125 126 135 136 138 142 146 150 152 160 161 166 177 178 182 183 184 185 189 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 243 244 246 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 314 319 326 331 332 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 425 426 429 431 433 436 437 439 446 448 451 455 458 461 466 467 470 472 475 477 478 479 480 482 486 488 490 a 7 11 13 14 25 27 28 31 33 34 40 41 42 43 45 46 51 56 58 61 63 68 70 76 80 82 84 90 99 100 102 105 106 108 110 112 116 119 124 125 126 135 136 138 142 146 150 152 160 161 166 174 177 178 182 183 184 185 189 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 243 244 246 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 314 319 326 331 332 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 425 426 429 431 433 436 437 439 446 448 451 455 458 461 466 467 470 472 475 477 478 479 480 482 486 488 a 7 11 13 14 25 27 28 31 33 34 40 41 42 43 45 46 51 56 58 61 63 68 70 76 80 82 84 90 99 100 102 105 106 108 110 112 116 119 124 125 126 135 138 142 146 150 152 160 161 166 173 174 177 178 182 183 184 185 189 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 243 244 246 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 297 300 305 307 310 314 319 326 331 332 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 425 426 429 431 433 436 437 439 446 448 451 455 458 461 466 467 470 472 475 477 478 479 480 482 486 488 a 7 11 13 14 25 27 28 31 33 34 40 41 42 43 45 46 51 56 58 61 63 68 70 76 80 82 84 90 99 100 102 105 106 108 110 112 116 119 124 125 126 135 138 142 146 150 152 160 161 166 173 174 177 178 182 183 184 185 189 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 243 244 246 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 297 300 303 305 307 310 314 319 326 331 332 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 425 426 429 431 436 437 439 446 448 451 455 458 461 466 467 470 472 475 477 478 479 480 482 486 488 a 7 11 13 14 25 27 28 31 33 34 40 41 42 43 45 46 51 56 58 61 63 68 70 76 80 82 84 90 99 100 102 105 106 108 110 112 116 119 124 125 126 135 138 142 146 150 152 160 161 166 173 174 177 178 182 183 184 185 189 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 244 246 254 256 257 265 271 272 273 274 275 276 277 282 286 292 295 296 297 300 303 305 307 310 314 319 326 331 332 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 425 426 429 431 436 437 439 446 448 451 455 458 461 466 467 470 472 475 477 478 479 480 482 486 488 a 7 11 13 14 25 27 28 31 33 34 40 41 42 43 45 46 51 56 58 61 63 68 70 76 80 82 84 90 99 100 102 105 106 108 110 112 116 119 124 125 126 135 138 142 146 150 152 160 161 166 173 174 177 178 182 183 184 185 189 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 244 246 256 257 265 271 272 273 274 275 276 277 282 286 292 295 296 297 300 303 305 307 310 314 319 326 331 332 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 425 426 429 431 436 437 439 446 448 451 455 458 460 461 466 467 470 472 475 477 478 479 480 482 486 488 a 7 11 13 14 25 27 28 31 33 34 40 41 42 43 45 46 51 56 58 61 63 68 70 76 80 82 84 90 99 100 102 105 106 108 110 112 116 119 124 125 126 135 138 142 146 150 152 160 161 166 173 174 177 178 182 183 184 185 189 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 244 246 256 257 265 271 272 273 274 275 276 277 282 286 292 295 296 297 300 303 305 307 310 314 319 326 331 332 334 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 425 426 429 431 436 437 439 440 446 448 451 455 458 460 461 466 467 470 475 477 478 479 480 482 486 488 a 7 11 13 14 25 27 28 31 33 34 40 41 42 43 45 46 51 56 58 61 63 68 70 76 80 82 84 90 95 99 100 102 105 106 108 110 112 116 119 124 125 126 135 138 142 146 150 152 160 161 166 173 174 177 178 182 183 184 185 189 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 244 246 256 257 265 271 272 273 274 275 276 277 282 286 292 295 296 297 300 303 305 307 310 314 319 326 331 332 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 425 426 429 431 436 437 439 440 446 448 451 455 458 460 461 466 467 470 475 477 478 479 480 482 486 488 a 7 11 13 14 25 27 28 31 33 34 40 41 42 43 45 46 51 56 58 61 63 68 70 76 80 82 84 90 95 99 100 102 105 106 108 110 112 116 119 122 124 125 126 135 138 142 146 150 152 160 161 166 173 174 177 178 182 183 184 185 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 244 246 256 257 265 271 272 273 274 275 276 277 282 286 292 295 296 297 300 303 305 307 310 314 319 326 331 332 337 338 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 425 426 429 431 436 437 439 440 446 448 451 455 458 460 461 466 467 470 475 477 478 479 480 482 486 488 a 7 11 13 25 27 28 31 33 34 40 41 42 43 45 46 51 56 58 61 63 68 70 76 80 82 84 90 95 99 100 102 105 106 108 110 112 116 119 122 124 125 126 135 138 142 146 150 152 160 161 166 173 174 177 178 182 183 184 185 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 244 246 256 257 265 271 272 273 274 275 276 277 282 286 292 295 296 297 300 303 305 307 310 314 319 326 331 332 337 338 341 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 425 426 429 431 436 437 439 440 446 448 451 455 458 460 461 466 467 470 475 477 478 479 480 482 486 488 a 7 11 13 25 27 28 31 33 34 40 41 42 43 45 46 49 51 56 58 61 63 68 70 76 80 82 84 90 95 99 100 102 105 106 108 110 112 116 119 122 124 125 135 138 142 146 150 152 160 161 166 173 174 177 178 182 183 184 185 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 244 246 256 257 265 271 272 273 274 275 276 277 282 286 292 295 296 297 300 303 305 307 310 314 319 326 331 332 337 338 341 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 425 426 429 431 436 437 439 440 446 448 451 455 458 460 461 466 467 470 475 477 478 479 480 482 486 488 a 3 7 11 13 25 27 28 31 33 34 40 41 42 43 45 46 49 51 56 58 61 63 68 70 76 80 82 84 90 95 99 100 102 105 106 108 110 112 116 119 122 124 125 135 138 142 146 150 152 160 161 166 173 174 177 178 182 183 184 185 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 244 246 256 257 265 271 272 273 274 275 276 277 282 286 292 295 296 297 300 303 305 307 310 314 319 326 331 332 337 338 341 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 425 426 429 431 436 437 439 440 446 448 451 458 460 461 466 467 470 475 477 478 479 480 482 486 488 a 3 7 11 13 25 27 28 31 33 34 40 41 43 45 46 49 51 56 58 61 63 68 70 76 80 82 84 90 95 99 100 102 105 106 108 110 112 116 119 122 124 125 135 138 142 146 150 152 160 161 166 173 174 177 178 182 183 184 185 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 244 246 256 257 263 265 271 272 273 274 275 276 277 282 286 292 295 296 297 300 303 305 307 310 314 319 326 331 332 337 338 341 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 425 426 429 431 436 437 439 440 446 448 451 458 460 461 466 467 470 475 477 478 479 480 482 486 488 a 3 7 8 11 13 25 27 28 31 33 34 40 41 43 45 46 49 51 56 58 61 63 68 70 76 80 82 84 90 95 99 100 102 105 106 108 110 112 116 119 122 124 125 135 138 142 146 150 152 160 161 166 173 174 177 178 182 183 184 185 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 244 246 256 257 263 265 271 272 273 274 275 276 277 282 286 292 295 296 297 300 303 305 307 310 314 319 326 331 332 337 338 341 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 425 426 429 431 437 439 440 446 448 451 458 460 461 466 467 470 475 477 478 479 480 482 486 488 a 3 7 8 11 13 25 27 28 31 33 40 41 43 45 46 49 51 56 58 61 63 68 70 76 80 82 84 90 95 99 100 102 105 106 108 110 112 116 119 122 124 125 135 138 142 146 150 152 160 161 166 173 174 177 178 182 183 184 185 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 244 246 256 257 263 265 271 272 273 274 275 276 277 282 286 292 295 296 297 300 303 305 307 310 314 319 326 331 332 337 338 341 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 425 426 429 431 437 439 440 444 446 448 451 458 460 461 466 467 470 475 477 478 479 480 482 486 488 a 3 7 8 11 13 25 27 28 31 33 40 41 43 45 46 49 51 56 58 61 63 68 70 76 80 82 84 90 95 99 100 102 105 106 108 110 112 116 119 122 124 125 135 138 142 146 150 152 160 161 166 173 174 177 178 182 183 184 185 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 244 246 256 257 263 265 271 272 273 274 275 276 277 281 282 286 292 295 296 297 300 303 305 307 310 314 319 326 331 332 337 338 341 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 425 426 429 431 437 439 440 444 446 448 451 458 460 461 466 467 470 475 477 478 479 480 482 486 a 3 7 8 11 13 25 27 28 31 33 40 41 43 45 46 49 51 56 58 61 63 68 70 76 80 82 84 90 95 99 100 102 105 106 108 110 112 116 119 122 124 125 135 138 142 146 150 152 160 161 164 173 174 177 178 182 183 184 185 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 244 246 256 257 263 265 271 272 273 274 275 276 277 281 282 286 292 295 296 297 300 303 305 307 310 314 319 326 331 332 337 338 341 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 425 426 429 431 437 439 440 444 446 448 451 458 460 461 466 467 470 475 477 478 479 480 482 486 a 3 7 8 11 13 25 27 28 31 33 40 41 43 45 46 49 51 56 57 58 61 63 68 70 76 80 82 84 90 95 99 100 102 105 106 108 110 112 116 119 122 124 125 135 138 142 146 150 152 160 161 164 173 174 177 178 182 183 184 185 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 244 246 256 263 265 271 272 273 274 275 276 277 281 282 286 292 295 296 297 300 303 305 307 310 314 319 326 331 332 337 338 341 346 350 356 358 364 367 368 369 370 371 374 378 384 389 394 398 399 400 408 409 414 424 425 426 429 431 437 439 440 444 446 448 451 458 460 461 466 467 470 475 477 478 479 480 482 486 a 3 7 8 11 13 25 27 28 31 33 40 41 43 45 46 49 51 56 57 58 61 63 68 70 76 80 82 84 90 95 99 100 102 105 106 108 110 112 116 119 122 124 125 135 138 142 146 150 152 160 161 164 173 174 177 178 182 183 184 185 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 244 246 256 263 265 271 272 273 274 275 276 281 282 286 292 295 296 297 300 303 305 307 310 314 319 326 331 332 337 338 341 346 350 356 358 364 367 368 369 370 371 374 378 384 389 393 394 398 399 400 408 409 414 424 425 426 429 431 437 439 440 444 446 448 451 458 460 461 466 467 470 475 477 478 479 480 482 486 a 3 7 8 11 13 25 27 28 31 33 40 41 43 45 46 49 51 56 57 58 61 63 68 70 76 80 84 89 90 95 99 100 102 105 106 108 110 112 116 119 122 124 125 135 138 142 146 150 152 160 161 164 173 174 177 178 182 183 184 185 195 196 197 199 201 202 203 205 206 209 213 219 222 227 237 241 242 244 246 256 263 265 271 272 273 274 275 276 281 282 286 292 295 296 297 300 303 305 307 310 314 319 326 331 332 337 338 341 346 350 356 358 364 367 368 369 370 371 374 378 384 389 393 394 398 399 400 408 409 414 424 425 426 429 431 437 439 440 444 446 448 451 458 460 461 466 467 470 475 477 478 479 480 482 486 a 3 7 8 11 13 25 27 28 31 33 40 41 43 45 46 49 51 56 57 58 61 63 68 70 76 80 84 89 90 95 99 100 102 105 106 108 110 112 116 119 122 124 125 135 138 142 146 150 152 160 161 164 173 174 177 178 182 183 184 185 195 196 197 199 201 202 203 205 206 209 213 222 227 237 241 242 244 246 256 263 265 271 272 273 274 275 276 281 282 286 292 295 296 297 300 303 305 307 310 314 319 326 331 332 337 338 341 346 350 356 358 363 364 367 368 369 370 371 374 378 384 389 393 394 398 399 400 408 409 414 424 425 426 429 431 437 439 440 444 446 448 451 458 460 461 466 467 470 475 477 478 479 480 482 486 a 3 7 8 11 13 25 27 28 31 33 40 41 43 45 46 49 51 56 57 58 61 63 68 70 76 80 84 89 90 95 99 100 102 105 106 108 110 112 116 119 122 124 125 128 135 138 142 146 150 152 160 161 164 173 174 177 178 182 183 184 185 195 196 197 199 201 202 203 205 206 209 213 222 227 237 241 242 244 246 256 263 265 271 272 273 274 275 276 281 282 292 295 296 297 300 303 305 307 310 314 319 326 331 332 337 338 341 346 350 356 358 363 364 367 368 369 370 371 374 378 384 389 393 394 398 399 400 408 409 414 424 425 426 429 431 437 439 440 444 446 448 451 458 460 461 466 467 470 475 477 478 479 480 482 486 a 3 7 8 11 13 25 27 28 31 33 40 41 43 45 46 49 51 56 57 58 61 63 68 70 76 80 84 89 90 95 99 100 102 105 106 108 110 112 116 119 122 124 125 128 135 138 142 146 150 152 160 161 164 173 174 177 178 182 183 184 185 195 196 197 199 201 202 203 205 206 209 213 222 227 237 241 242 244 246 256 263 265 271 272 273 274 275 276 281 282 292 295 296 297 300 303 305 307 310 314 319 324 326 331 332 337 338 341 346 350 356 358 363 364 367 368 369 370 371 374 378 384 389 393 394 398 399 400 408 409 414 424 425 426 429 431 437 439 440 444 446 448 451 458 460 466 467 470 475 477 478 479 480 482 486 a 3 7 8 11 13 25 27 28 31 33 40 41 43 45 46 49 51 56 57 58 61 63 68 70 76 80 84 89 90 95 99 100 102 105 106 108 110 112 116 119 122 124 125 128 135 138 142 146 150 152 160 161 164 173 174 177 178 182 183 184 185 195 196 197 199 201 202 203 205 206 209 213 222 227 237 241 242 244 246 256 263 265 271 272 273 274 275 276 281 282 292 295 296 297 300 303 305 307 310 314 319 324 326 331 332 337 338 341 346 350 356 358 363 364 367 368 369 370 371 374 378 384 389 393 394 398 399 400 401 408 409 414 424 425 426 429 431 437 439 440 444 446 451 458 460 466 467 470 475 477 478 479 480 482 486 a 3 7 8 11 13 25 27 28 31 33 36 40 41 43 45 46 49 51 56 57 58 61 63 68 70 76 80 84 89 90 95 99 100 102 105 106 108 110 112 116 119 122 124 125 128 135 138 142 146 150 152 160 161 164 173 174 177 178 182 183 184 185 195 196 197 199 201 202 203 205 206 209 213 222 227 237 241 242 244 246 256 263 265 271 272 273 274 275 276 281 282 292 295 296 297 300 303 305 307 310 314 319 324 326 331 332 337 338 341 346 350 356 358 363 364 367 368 369 370 371 378 384 389 393 394 398 399 400 401 408 409 414 424 425 426 429 431 437 439 440 444 446 451 458 460 466 467 470 475 477 478 479 480 482 486 a 3 7 8 11 13 25 27 28 31 33 36 40 41 43 45 46 49 51 56 57 58 61 63 68 70 76 80 84 89 90 95 99 100 102 105 106 110 112 116 119 122 124 125 128 135 138 142 146 150 152 160 161 164 173 174 177 178 182 183 184 185 195 196 197 199 201 202 203 205 206 209 213 222 227 237 241 242 244 246 256 263 265 271 272 273 274 275 276 281 282 292 295 296 297 300 303 305 307 310 314 319 324 326 331 332 337 338 341 346 350 356 358 359 363 364 367 368 369 370 371 378 384 389 393 394 398 399 400 401 408 409 414 424 425 426 429 431 437 439 440 444 446 451 458 460 466 467 470 475 477 478 479 480 482 486 a 3 7 8 11 13 25 27 28 31 33 36 40 41 43 45 46 49 51 56 57 58 61 63 68 70 76 80 84 89 90 95 99 100 102 105 106 110 116 119 122 124 125 128 135 138 142 146 150 152 160 161 164 173 174 177 178 182 183 184 185 195 196 197 199 201 202 203 205 206 209 213 222 227 236 237 241 242 244 246 256 263 265 271 272 273 274 275 276 281 282 292 295 296 297 300 303 305 307 310 314 319 324 326 331 332 337 338 341 346 350 356 358 359 363 364 367 368 369 370 371 378 384 389 393 394 398 399 400 401 408 409 414 424 425 426 429 431 437 439 440 444 446 451 458 460 466 467 470 475 477 478 479 480 482 486 a 3 7 8 11 13 25 27 28 31 33 36 40 41 43 45 46 49 51 56 57 58 61 63 68 70 76 80 81 84 89 90 95 99 100 102 105 106 110 116 119 122 124 125 128 135 138 142 146 150 152 160 161 164 173 174 177 178 183 184 185 195 196 197 199 201 202 203 205 206 209 213 222 227 236 237 241 242 244 246 256 263 265 271 272 273 274 275 276 281 282 292 295 296 297 300 303 305 307 310 314 319 324 326 331 332 337 338 341 346 350 356 358 359 363 364 367 368 369 370 371 378 384 389 393 394 398 399 400 401 408 409 414 424 425 426 429 431 437 439 440 444 446 451 458 460 466 467 470 475 477 478 479 480 482 486 a 3 7 8 11 13 25 27 28 31 33 36 40 41 43 45 46 49 51 56 57 58 61 63 68 70 76 80 81 84 89 90 95 99 100 102 106 110 116 119 122 124 125 128 135 138 142 146 150 152 160 161 164 173 174 177 178 183 184 185 195 196 197 199 201 202 203 205 206 209 213 222 227 236 237 241 242 244 246 256 261 263 265 271 272 273 274 275 276 281 282 292 295 296 297 300 303 305 307 310 314 319 324 326 331 332 337 338 341 346 350 356 358 359 363 364 367 368 369 370 371 378 384 389 393 394 398 399 400 401 408 409 414 424 425 426 429 431 437 439 440 444 446 451 458 460 466 467 470 475 477 478 479 480 482 486 a 3 7 8 11 13 25 27 28 31 33 36 40 41 43 44 45 46 49 51 56 57 58 61 63 68 70 76 80 81 84 89 90 95 99 100 102 106 110 116 119 122 124 125 128 135 138 142 146 150 152 160 161 164 173 174 177 178 183 184 185 195 196 197 199 201 202 203 205 206 209 213 222 227 236 237 241 242 244 246 256 261 263 265 271 272 273 274 275 276 281 282 292 295 296 297 300 303 305 307 310 314 319 324 326 331 332 337 338 341 346 356 358 359 363 364 367 368 369 370 371 378 384 389 393 394 398 399 400 401 408 409 414 424 425 426 429 431 437 439 440 444 446 451 458 460 466 467 470 475 477 478 479 480 482 486 a 3 7 8 11 13 25 27 28 31 33 36 40 41 43 44 45 46 49 51 56 57 58 61 63 68 70 76 80 81 84 89 90 95 99 100 102 106 110 116 119 122 124 125 128 135 138 142 146 150 152 160 161 164 168 173 174 177 178 183 184 185 195 196 197 199 201 202 203 205 206 209 213 222 227 236 237 241 242 244 246 256 261 263 265 271 272 273 274 275 276 281 282 292 295 296 297 300 303 305 307 310 314 319 324 326 331 332 337 338 341 346 356 358 359 363 364 367 368 369 370 371 378 384 389 393 394 398 399 400 401 408 409 414 425 426 429 431 437 439 440 444 446 451 458 460 466 467 470 475 477 478 479 480 482 486 a 3 7 8 11 13 25 27 28 31 33 36 40 41 43 44 45 46 49 51 56 57 58 61 63 68 70 76 80 81 84 89 90 95 99 100 102 106 110 116 119 122 124 125 128 135 138 142 146 150 152 160 161 164 168 173 174 177 178 183 184 185 195 196 197 199 201 202 203 205 206 209 213 222 227 236 237 241 242 244 246 256 261 263 265 271 272 273 274 275 276 281 282 292 295 296 297 300 303 305 307 310 314 319 324 326 331 332 337 338 341 346 356 358 359 363 364 367 368 369 370 371 378 384 389 393 394 398 399 400 401 408 409 414 425 426 429 431 437 439 440 444 446 451 458 460 463 466 467 470 475 477 478 479 480 486 a 3 7 8 11 13 25 27 28 31 33 36 40 41 43 44 45 46 49 51 56 57 58 61 63 68 70 76 80 81 84 89 90 95 99 100 102 106 110 116 119 122 124 125 128 135 138 142 146 150 152 160 161 164 168 173 174 177 178 183 184 185 195 196 197 199 201 202 203 205 206 209 213 222 227 236 237 241 242 244 246 256 261 263 265 271 272 273 274 275 276 281 282 292 295 296 297 300 303 305 307 310 314 319 324 326 332 337 338 341 346 356 358 359 363 364 367 368 369 370 371 373 378 384 389 393 394 398 399 400 401 408 409 414 425 426 429 431 437 439 440 444 446 451 458 460 463 466 467 470 475 477 478 479 480 486 a 3 7 8 11 13 25 27 28 31 33 36 40 41 43 44 45 46 49 51 56 57 58 61 63 68 70 76 80 81 84 89 90 95 99 100 102 106 110 116 119 122 124 125 128 135 138 142 146 150 152 160 161 164 168 173 174 177 178 183 184 185 195 196 199 201 202 203 205 206 209 213 222 227 236 237 241 242 244 246 256 261 263 265 271 272 273 274 275 276 281 282 292 295 296 297 300 303 305 307 310 314 319 324 326 332 337 338 341 346 356 358 359 363 364 367 368 369 370 371 373 378 384 389 393 394 398 399 400 401 406 408 409 414 425 426 429 431 437 439 440 444 446 451 458 460 463 466 467 470 475 477 478 479 480 486 a 3 7 8 11 13 25 27 28 31 33 36 40 41 43 44 45 46 49 56 57 58 61 63 68 70 76 80 81 84 89 90 95 99 100 102 106 110 116 119 122 124 125 128 135 138 142 146 150 152 160 161 164 168 173 174 177 178 183 184 185 195 196 199 201 202 203 205 206 209 213 222 227 236 237 241 242 244 246 256 261 263 265 271 272 273 274 275 276 281 282 292 295 296 297 300 303 305 307 310 314 319 324 326 332 337 338 341 346 356 358 359 363 364 367 368 369 370 371 373 378 384 389 392 393 394 398 399 400 401 406 408 409 414 425 426 429 431 437 439 440 444 446 451 458 460 463 466 467 470 475 477 478 479 480 486 a 3 7 8 11 13 22 25 27 28 31 33 36 40 41 43 44 45 46 49 56 57 58 61 63 68 70 76 80 81 84 89 90 95 99 100 102 106 110 116 119 122 124 125 128 135 138 142 146 150 152 160 161 164 168 173 174 177 178 183 184 185 195 196 199 201 202 203 205 206 209 213 222 227 236 237 241 242 244 246 256 261 263 265 271 272 273 274 275 276 281 282 292 295 296 297 300 303 305 307 310 319 324 326 332 337 338 341 346 356 358 359 363 364 367 368 369 370 371 373 378 384 389 392 393 394 398 399 400 401 406 408 409 414 425 426 429 431 437 439 440 444 446 451 458 460 463 466 467 470 475 477 478 479 480 486 a 3 7 8 11 13 22 25 27 28 31 33 36 40 41 43 44 45 46 49 56 57 58 61 63 68 70 76 80 81 84 89 90 95 99 100 102 106 110 116 119 122 124 125 128 135 138 142 146 150 152 160 161 164 168 173 174 177 178 183 184 185 195 196 199 201 202 203 205 206 209 213 222 227 236 237 241 242 244 256 261 263 265 271 272 273 274 275 276 281 282 292 295 296 297 300 303 305 307 310 316 319 324 326 332 337 338 341 346 356 358 359 363 364 367 368 369 370 371 373 378 384 389 392 393 394 398 399 400 401 406 408 409 414 425 426 429 431 437 439 440 444 446 451 458 460 463 466 467 470 475 477 478 479 480 486 a 3 7 8 11 13 22 25 27 28 31 33 36 40 41 43 44 45 46 49 56 57 58 61 63 68 70 76 80 81 84 89 90 95 99 100 102 106 110 116 119 122 124 125 128 135 138 142 146 150 152 160 161 164 168 173 174 177 178 183 184 185 195 196 199 201 202 203 205 206 209 213 222 227 236 237 241 242 244 256 261 263 265 271 272 273 274 275 276 281 282 292 295 296 297 300 303 305 307 310 316 319 324 326 332 337 338 341 342 346 356 358 359 363 364 367 368 369 370 371 373 378 384 389 392 393 394 398 399 401 406 408 409 414 425 426 429 431 437 439 440 444 446 451 458 460 463 466 467 470 475 477 478 479 480 486 a 3 7 8 11 13 22 25 27 28 31 33 36 41 43 44 45 46 49 56 57 58 61 63 68 70 76 79 80 81 84 89 90 95 99 100 102 106 110 116 119 122 124 125 128 135 138 142 146 150 152 160 161 164 168 173 174 177 178 183 184 185 195 196 199 201 202 203 205 206 209 213 222 227 236 237 241 242 244 256 261 263 265 271 272 273 274 275 276 281 282 292 295 296 297 300 303 305 307 310 316 319 324 326 332 337 338 341 342 346 356 358 359 363 364 367 368 369 370 371 373 378 384 389 392 393 394 398 399 401 406 408 409 414 425 426 429 431 437 439 440 444 446 451 458 460 463 466 467 470 475 477 478 479 480 486 a 3 7 8 11 13 22 25 27 28 31 33 36 41 43 44 45 46 49 56 57 58 61 63 68 70 76 79 80 81 84 89 90 95 99 100 102 106 110 116 119 122 124 125 128 135 138 142 146 150 152 160 161 164 168 173 174 177 178 183 184 185 195 196 199 200 201 202 203 205 209 213 222 227 236 237 241 242 244 256 261 263 265 271 272 273 274 275 276 281 282 292 295 296 297 300 303 305 307 310 316 319 324 326 332 337 338 341 342 346 356 358 359 363 364 367 368 369 370 371 373 378 384 389 392 393 394 398 399 401 406 408 409 414 425 426 429 431 437 439 440 444 446 451 458 460 463 466 467 470 475 477 478 479 480 486 a 3 7 8 11 13 22 25 27 28 31 33 36 41 43 44 45 46 49 56 57 58 61 63 68 70 74 76 79 80 81 84 89 90 95 99 100 102 106 110 116 119 122 124 125 128 135 138 142 146 150 152 160 161 164 168 173 174 177 178 183 184 185 195 196 199 200 201 202 203 205 209 213 222 227 236 237 241 242 244 256 261 263 265 271 272 273 274 275 276 281 282 292 295 296 297 300 303 305 307 310 316 319 324 326 332 337 338 341 342 346 356 358 359 363 364 367 368 369 370 371 373 378 384 389 392 393 394 398 399 401 406 408 409 414 426 429 431 437 439 440 444 446 451 458 460 463 466 467 470 475 477 478 479 480 486 a 3 7 8 11 13 22 25 27 28 31 33 36 41 43 44 45 46 49 56 57 58 61 63 68 70 74 76 79 80 81 84 89 90 95 99 100 102 106 110 116 119 122 123 124 125 128 135 138 142 146 150 152 160 161 164 168 173 174 177 178 183 184 185 195 196 199 200 201 202 203 205 209 213 222 227 236 237 241 242 244 256 261 263 265 271 272 273 274 275 276 281 282 292 295 296 297 300 303 305 307 310 316 319 324 326 332 337 338 341 342 346 356 358 359 363 364 367 368 369 370 371 373 378 384 389 392 393 394 398 399 401 406 408 409 414 426 429 431 437 439 440 444 446 451 460 463 466 467 470 475 477 478 479 480 486 a 3 7 8 11 13 22 25 27 28 31 33 36 41 43 44 45 46 49 56 57 58 61 63 68 70 74 76 79 80 81 84 89 90 95 99 100 102 103 106 110 116 119 122 123 124 125 128 135 138 142 146 150 152 160 161 164 168 173 174 177 178 183 184 185 195 196 199 200 201 202 203 205 209 213 222 227 236 237 241 242 244 256 261 263 265 271 272 273 274 275 276 281 282 292 295 296 297 300 303 305 307 310 316 319 324 326 332 337 338 341 342 346 356 358 359 363 364 367 368 369 370 371 373 378 384 392 393 394 398 399 401 406 408 409 414 426 429 431 437 439 440 444 446 451 460 463 466 467 470 475 477 478 479 480 486 a 3 7 8 11 13 22 25 27 28 31 33 36 41 43 44 45 46 49 56 57 58 61 63 68 70 74 76 79 80 81 84 89 90 95 99 100 102 103 106 110 116 119 122 123 124 125 128 133 135 138 142 146 150 152 160 161 164 168 173 174 177 178 183 184 185 195 196 199 200 201 202 203 205 209 213 222 227 236 237 241 242 244 256 261 263 265 271 272 273 274 275 276 281 282 292 295 296 300 303 305 307 310 316 319 324 326 332 337 338 341 342 346 356 358 359 363 364 367 368 369 370 371 373 378 384 392 393 394 398 399 401 406 408 409 414 426 429 431 437 439 440 444 446 451 460 463 466 467 470 475 477 478 479 480 486 a 3 7 8 11 13 22 25 27 28 31 33 36 41 43 44 45 46 49 56 57 58 61 63 68 70 74 76 79 80 81 84 89 90 95 99 100 102 103 106 110 116 119 122 123 124 125 128 133 135 138 142 146 150 152 160 161 164 168 173 174 177 178 183 184 185 195 196 199 200 201 202 203 205 213 222 227 229 236 237 241 242 244 256 261 263 265 271 272 273 274 275 276 281 282 292 295 296 300 303 305 307 310 316 319 324 326 332 337 338 341 342 346 356 358 359 363 364 367 368 369 370 371 373 378 384 392 393 394 398 399 401 406 408 409 414 426 429 431 437 439 440 444 446 451 460 463 466 467 470 475 477 478 479 480 486 a 3 7 8 11 13 22 25 27 28 31 33 36 41 43 44 45 46 49 56 57 58 61 63 68 70 74 76 79 80 81 84 89 90 95 99 100 102 103 106 110 116 119 122 123 124 125 128 133 135 138 142 146 150 152 160 161 164 168 173 174 177 178 183 184 185 195 196 199 200 201 202 203 205 213 222 227 229 236 237 241 242 244 256 261 263 265 271 272 273 274 275 276 281 282 292 295 296 300 303 305 307 310 316 319 324 326 337 338 341 342 346 356 358 359 363 364 367 368 369 370 371 373 378 384 392 393 394 398 399 401 406 408 409 414 419 426 429 431 437 439 440 444 446 451 460 463 466 467 470 475 477 478 479 480 486 a 3 7 8 11 13 22 25 27 28 31 33 36 41 43 44 45 46 49 56 57 58 61 63 68 70 74 76 79 80 81 84 89 90 95 99 100 102 103 106 110 116 119 122 123 124 125 128 133 135 138 142 146 150 152 160 161 164 168 173 174 177 178 183 184 185 190 195 196 199 200 201 202 203 205 213 222 227 229 236 237 241 242 244 256 261 263 265 271 272 273 274 275 276 281 282 292 295 296 300 303 305 307 310 316 319 324 326 337 338 341 342 346 356 358 359 363 364 367 368 369 370 371 373 378 384 392 393 394 398 399 401 406 408 409 414 419 426 429 431 439 440 444 446 451 460 463 466 467 470 475 477 478 479 480 486 a 3 7 8 11 13 22 25 27 28 31 33 36 41 43 44 45 46 49 56 57 58 61 63 66 68 70 74 76 79 80 81 84 89 90 95 99 100 102 103 106 110 116 119 122 123 124 125 128 133 135 138 142 146 150 152 160 161 164 168 173 174 177 178 183 184 185 190 195 196 199 200 201 202 203 205 213 222 227 229 236 237 241 242 244 256 261 263 265 271 272 273 274 275 276 281 282 292 295 296 300 303 305 307 310 316 319 324 326 338 341 342 346 356 358 359 363 364 367 368 369 370 371 373 378 384 392 393 394 398 399 401 406 408 409 414 419 426 429 431 439 440 444 446 451 460 463 466 467 470 475 477 478 479 480 486 a 3 7 8 11 13 22 25 27 28 31 33 36 41 43 44 45 46 49 56 57 58 61 63 66 68 70 74 76 79 80 81 84 89 90 95 99 100 102 103 106 110 116 119 122 123 124 125 128 133 135 138 142 146 150 152 160 161 164 168 173 174 177 178 183 184 185 190 195 196 199 200 201 202 203 205 213 222 227 229 236 237 241 242 244 256 261 263 265 271 272 273 274 275 276 281 282 292 295 296 300 303 305 307 310 316 319 324 326 338 341 342 346 356 358 359 363 364 367 368 369 370 371 373 378 384 392 393 394 398 399 401 406 408 414 419 426 429 431 439 440 444 446 450 451 460 463 466 467 470 475 477 478 479 480 486 a 3 7 8 11 13 22 25 27 28 31 33 36 41 43 44 45 46 49 56 57 58 61 63 66 68 70 74 76 79 80 81 84 89 90 95 99 100 102 103 106 110 116 119 122 123 124 125 128 133 135 138 142 146 150 152 160 161 164 168 173 174 177 178 183 184 185 190 195 196 199 200 201 202 203 205 213 222 227 229 236 237 241 242 244 256 261 263 265 271 272 273 274 275 276 281 282 292 295 296 300 303 305 307 310 316 319 324 326 338 341 342 346 356 358 359 363 364 367 368 369 370 371 373 378 384 392 393 394 398 399 401 406 408 414 419 420 426 431 439 440 444 446 450 451 460 463 466 467 470 475 477 478 479 480 486 a 3 7 8 11 13 22 25 27 28 31 33 36 41 43 44 45 46 49 56 57 58 61 63 66 68 70 74 76 79 80 81 84 89 90 95 99 100 102 103 106 110 116 119 122 123 124 125 128 133 135 138 142 146 150 151 152 161 164 168 173 174 177 178 183 184 185 190 195 196 199 200 201 202 203 205 213 222 227 229 236 237 241 242 244 256 261 263 265 271 272 273 274 275 276 281 282 292 295 296 300 303 305 307 310 316 319 324 326 338 341 342 346 356 358 359 363 364 367 368 369 370 371 373 378 384 392 393 394 398 399 401 406 408 414 419 420 426 431 439 440 444 446 450 451 460 463 466 467 470 475 477 478 479 480 486 a 3 7 8 11 13 22 25 27 28 31 33 36 41 43 44 45 46 49 56 57 58 61 63 66 68 70 74 76 79 80 81 84 89 90 95 99 100 102 103 106 110 116 119 122 123 124 125 127 128 133 135 138 142 150 151 152 161 164 168 173 174 177 178 183 184 185 190 195 196 199 200 201 202 203 205 213 222 227 229 236 237 241 242 244 256 261 263 265 271 272 273 274 275 276 281 282 292 295 296 300 303 305 307 310 316 319 324 326 338 341 342 346 356 358 359 363 364 367 368 369 370 371 373 378 384 392 393 394 398 399 401 406 408 414 419 420 426 431 439 440 444 446 450 451 460 463 466 467 470 475 477 478 479 480 486 a 3 7 8 11 13 22 25 27 28 31 33 36 41 43 44 45 46 49 56 57 58 61 63 66 68 70 74 76 79 80 81 84 89 90 95 99 100 102 103 106 110 116 119 122 123 124 125 127 128 133 135 138 142 150 151 152 161 164 168 173 174 177 178 183 184 185 190 195 196 200 201 202 203 205 213 222 227 229 236 237 241 242 244 256 261 263 265 271 272 273 274 275 276 281 282 292 295 296 300 303 305 307 310 316 319 324 326 338 341 342 346 356 357 358 359 363 364 367 368 369 370 371 373 378 384 392 393 394 398 399 401 406 408 414 419 420 426 431 439 440 444 446 450 451 460 463 466 467 470 475 477 478 479 480 486 a 3 7 8 11 13 22 25 27 28 31 33 36 41 43 44 45 46 49 56 57 58 61 63 66 68 70 74 76 79 80 81 84 89 90 95 99 100 102 103 106 110 116 118 119 122 123 124 125 127 128 133 135 138 142 150 151 152 161 164 168 173 174 177 178 183 184 185 190 195 196 200 201 202 203 205 213 222 227 229 236 237 241 242 244 256 261 263 265 271 272 273 274 275 276 281 282 292 295 296 300 303 305 307 310 316 319 324 326 338 341 342 346 356 357 358 359 363 364 367 368 369 370 371 373 378 384 392 393 394 398 399 401 406 408 419 420 426 431 439 440 444 446 450 451 460 463 466 467 470 475 477 478 479 480 486 a 3 7 8 11 13 22 25 27 28 31 33 36 41 43 44 45 46 49 56 57 58 61 63 66 68 70 74 76 79 80 81 84 89 90 95 99 100 102 103 106 110 116 118 119 122 123 124 125 127 128 133 135 138 142 150 151 152 161 164 168 173 174 177 178 183 184 185 190 195 196 200 201 202 203 205 211 213 222 227 229 236 237 241 242 244 256 261 263 265 271 272 273 274 275 276 281 282 292 295 296 300 303 305 307 310 316 319 324 326 338 341 342 346 356 357 358 359 363 364 367 368 370 371 373 378 384 392 393 394 398 399 401 406 408 419 420 426 431 439 440 444 446 450 451 460 463 466 467 470 475 477 478 479 480 486 a 3 7 8 9 11 13 22 25 27 28 31 33 36 41 43 44 45 46 49 56 57 58 61 63 66 68 70 74 76 79 80 81 84 89 90 95 99 100 102 103 106 110 116 118 119 122 123 124 125 127 128 133 135 138 142 150 151 152 161 164 168 173 174 177 178 183 184 185 190 195 196 200 201 202 203 205 211 213 222 227 229 236 237 241 242 256 261 263 265 271 272 273 274 275 276 281 282 292 295 296 300 303 305 307 310 316 319 324 326 338 341 342 346 356 357 358 359 363 364 367 368 370 371 373 378 384 392 393 394 398 399 401 406 408 419 420 426 431 439 440 444 446 450 451 460 463 466 467 470 475 477 478 479 480 486 a 3 7 8 9 11 13 22 25 27 28 31 33 36 41 43 44 45 46 49 56 57 58 61 63 66 68 70 74 76 79 80 81 84 89 90 95 99 100 102 103 106 110 116 118 119 122 123 124 125 127 128 130 133 135 138 142 150 151 152 161 164 168 173 174 177 178 183 184 185 190 195 196 200 201 202 203 205 211 213 222 227 229 236 237 241 242 256 261 263 265 271 272 273 275 276 281 282 292 295 296 300 303 305 307 310 316 319 324 326 338 341 342 346 356 357 358 359 363 364 367 368 370 371 373 378 384 392 393 394 398 399 401 406 408 419 420 426 431 439 440 444 446 450 451 460 463 466 467 470 475 477 478 479 480 486 a 3 7 8 9 11 13 22 25 27 28 31 33 36 41 43 44 45 49 56 57 58 61 63 66 68 70 74 76 79 80 81 84 89 90 95 99 100 102 103 106 110 116 118 119 122 123 124 125 127 128 130 133 135 138 142 150 151 152 161 164 168 173 174 177 178 183 184 185 190 195 196 200 201 202 203 205 211 213 222 227 229 236 237 241 242 256 261 263 265 271 272 273 275 276 281 282 292 295 296 300 303 305 307 310 316 319 324 326 335 338 341 342 346 356 357 358 359 363 364 367 368 370 371 373 378 384 392 393 394 398 399 401 406 408 419 420 426 431 439 440 444 446 450 451 460 463 466 467 470 475 477 478 479 480 486 a 3 7 8 9 11 13 22 25 27 28 31 33 36 41 43 44 45 49 56 57 58 61 63 66 68 70 74 76 79 80 81 84 89 90 95 99 100 102 103 106 110 116 118 119 122 123 124 125 127 128 130 133 135 138 142 150 151 152 161 164 168 173 174 177 178 183 184 185 190 195 196 200 201 202 203 205 211 213 217 222 227 229 236 237 241 242 256 261 263 265 271 272 273 275 276 281 282 292 295 296 300 303 305 307 310 316 319 324 326 335 338 341 342 346 356 357 358 359 363 364 367 368 370 371 373 378 384 392 393 394 398 399 401 406 408 419 420 426 431 439 440 444 446 450 451 460 463 466 467 470 475 477 479 480 486 a 3 7 8 9 11 13 22 25 27 28 31 33 36 41 43 44 45 49 56 57 58 61 63 66 68 70 74 76 79 80 81 84 89 90 95 99 100 102 103 106 110 116 118 119 122 123 124 125 127 128 130 133 135 138 142 150 151 152 161 164 168 173 174 177 178 183 184 185 190 195 196 200 201 202 203 205 211 213 217 222 227 229 236 237 241 242 256 261 263 265 271 272 273 275 276 281 282 292 296 300 303 305 307 310 316 319 324 326 335 338 341 342 346 356 357 358 359 363 364 367 368 370 371 373 378 380 384 392 393 394 398 399 401 406 408 419 420 426 431 439 440 444 446 450 451 460 463 466 467 470 475 477 479 480 486 a 3 7 8 9 11 13 22 25 27 28 31 33 36 41 43 44 45 49 56 57 58 61 63 66 68 70 74 76 79 80 81 84 89 90 95 99 100 102 103 106 110 116 118 119 122 123 124 125 127 128 130 133 135 138 142 150 151 152 161 164 168 173 174 177 183 184 185 190 194 195 196 200 201 202 203 205 211 213 217 222 227 229 236 237 241 242 256 261 263 265 271 272 273 275 276 281 282 292 296 300 303 305 307 310 316 319 324 326 335 338 341 342 346 356 357 358 359 363 364 367 368 370 371 373 378 380 384 392 393 394 398 399 401 406 408 419 420 426 431 439 440 444 446 450 451 460 463 466 467 470 475 477 479 480 486 a 3 7 8 9 11 13 22 25 27 28 31 33 36 41 43 44 45 49 56 57 58 61 63 66 68 70 74 76 79 80 81 84 89 90 95 99 100 102 103 106 110 116 118 119 122 123 124 125 127 128 130 133 135 138 142 150 151 152 161 164 168 173 174 177 183 184 185 190 194 195 196 200 201 202 203 211 213 217 222 227 229 236 237 241 242 256 261 263 265 271 272 273 275 276 281 282 292 296 300 303 305 307 310 316 319 324 326 335 338 341 342 346 356 357 358 359 363 364 367 368 370 371 373 378 380 384 392 393 394 398 399 401 406 408 419 420 426 431 439 440 444 446 450 451 460 463 466 467 470 475 477 479 480 486 494 a 3 7 8 9 11 13 22 25 27 28 31 33 36 41 43 44 45 49 56 57 58 61 63 66 68 70 74 76 79 80 81 84 89 90 95 99 100 102 103 106 110 116 118 119 122 123 124 125 127 128 130 133 135 138 142 150 151 152 161 164 168 173 174 177 183 184 190 194 195 196 200 201 202 203 211 213 217 222 227 229 236 237 241 242 256 261 263 265 271 272 273 275 276 281 282 292 296 300 303 305 307 310 316 319 322 324 326 335 338 341 342 346 356 357 358 359 363 364 367 368 370 371 373 378 380 384 392 393 394 398 399 401 406 408 419 420 426 431 439 440 444 446 450 451 460 463 466 467 470 475 477 479 480 486 494 a 3 7 8 9 11 13 22 25 27 28 31 33 36 41 43 44 45 49 56 57 58 61 63 66 68 70 74 76 79 80 81 84 89 90 95 99 100 102 103 106 110 115 116 118 119 122 123 124 125 127 128 130 133 135 138 142 150 151 152 161 164 168 173 174 177 183 184 190 194 195 196 200 201 202 203 211 213 217 222 227 229 236 237 241 242 256 261 263 265 271 272 273 275 276 281 292 296 300 303 305 307 310 316 319 322 324 326 335 338 341 342 346 356 357 358 359 363 364 367 368 370 371 373 378 380 384 392 393 394 398 399 401 406 408 419 420 426 431 439 440 444 446 450 451 460 463 466 467 470 475 477 479 480 486 494 a 3 7 8 9 11 13 22 25 27 28 31 33 36 41 43 44 45 49 56 57 58 61 63 66 68 70 74 76 79 80 81 84 89 90 95 99 100 102 103 106 110 115 116 118 119 122 123 124 125 127 128 130 133 135 138 142 150 151 152 161 164 168 173 174 177 183 184 190 194 195 196 200 201 202 203 211 213 217 222 227 229 236 237 241 242 256 261 263 265 271 272 273 275 276 281 292 296 300 303 305 307 310 316 319 322 324 326 335 338 341 342 346 356 357 358 359 363 364 367 368 370 371 373 378 380 384 392 393 394 398 399 401 406 419 420 426 430 431 439 440 444 446 450 451 460 463 466 467 470 475 477 479 480 486 494 a 3 7 8 9 11 13 22 25 27 28 31 33 36 41 43 44 45 49 56 57 58 61 63 66 68 70 74 76 79 80 81 84 89 90 95 99 100 102 103 106 110 115 116 118 119 122 123 124 125 127 128 130 133 135 138 142 150 151 152 161 164 168 173 174 177 183 184 190 194 195 196 200 201 202 203 211 213 214 217 222 227 229 236 237 241 242 256 261 263 265 271 272 273 275 276 281 292 296 300 303 305 307 310 316 319 322 324 326 335 338 341 342 346 356 357 358 359 363 364 367 370 371 373 378 380 384 392 393 394 398 399 401 406 419 420 426 430 431 439 440 444 446 450 451 460 463 466 467 470 475 477 479 480 486 494 a 3 7 8 9 11 13 22 25 27 28 31 33 36 41 43 44 45 49 56 57 58 61 63 66 68 70 74 76 79 80 81 84 89 90 95 99 100 102 103 106 110 115 116 118 119 122 123 124 125 127 128 130 133 135 138 142 150 151 152 161 164 168 173 174 177 183 184 190 194 195 196 200 201 202 203 208 211 213 214 217 222 227 229 236 237 241 242 256 261 263 265 271 272 273 275 276 281 292 296 300 303 305 307 310 316 319 322 324 326 335 338 341 342 356 357 358 359 363 364 367 370 371 373 378 380 384 392 393 394 398 399 401 406 419 420 426 430 431 439 440 444 446 450 451 460 463 466 467 470 475 477 479 480 486 494 a 3 7 8 9 11 13 22 25 27 28 31 33 36 41 43 44 45 49 56 57 58 61 63 66 68 70 74 76 79 80 81 84 89 90 95 99 100 102 103 106 110 115 116 118 119 122 123 124 125 127 128 130 133 135 138 142 150 151 152 161 164 168 173 174 177 183 184 190 194 195 196 200 201 202 203 208 211 213 214 217 222 227 229 236 237 241 242 256 261 263 271 272 273 275 276 281 292 296 300 303 304 305 307 310 316 319 322 324 326 335 338 341 342 356 357 358 359 363 364 367 370 371 373 378 380 384 392 393 394 398 399 401 406 419 420 426 430 431 439 440 444 446 450 451 460 463 466 467 470 475 477 479 480 486 494 a 3 7 8 9 11 13 22 25 27 28 31 33 36 41 43 44 45 49 56 57 58 61 63 66 68 70 74 76 79 80 81 84 89 90 95 99 100 102 103 106 110 115 116 118 119 122 123 124 125 127 128 130 133 135 138 142 150 151 152 156 161 164 168 173 174 177 183 184 190 194 195 196 200 201 202 208 211 213 214 217 222 227 229 236 237 241 242 256 261 263 271 272 273 275 276 281 292 296 300 303 304 305 307 310 316 319 322 324 326 335 338 341 342 356 357 358 359 363 364 367 370 371 373 378 380 384 392 393 394 398 399 401 406 419 420 426 430 431 439 440 444 446 450 451 460 463 466 467 470 475 477 479 480 486 494 a 3 7 8 9 11 13 22 25 27 28 31 33 36 41 43 44 45 49 56 57 58 61 63 66 68 70 74 76 79 80 81 84 89 90 94 95 99 100 102 103 106 110 115 116 118 119 122 123 124 125 127 128 130 133 135 138 142 150 151 152 156 161 164 168 173 174 177 183 184 190 194 195 196 200 201 202 208 211 213 214 217 222 227 229 236 237 241 242 256 261 263 271 272 273 275 276 281 292 296 300 303 304 305 307 310 316 319 322 324 326 335 338 341 342 356 357 358 359 363 364 367 370 371 373 378 380 384 392 393 394 398 399 401 406 419 420 426 430 431 439 440 444 446 450 451 460 463 467 470 475 477 479 480 486 494 a 3 7 8 9 11 13 22 25 27 28 31 33 36 41 43 44 45 49 56 57 58 61 63 66 68 70 74 76 79 80 81 84 89 90 94 95 99 100 102 103 106 110 115 116 118 119 122 123 124 125 127 128 130 133 135 138 142 150 151 152 156 161 164 168 173 174 177 183 184 190 194 195 196 200 201 202 208 211 213 214 217 222 227 229 236 237 241 256 261 263 271 272 273 275 276 281 292 296 300 303 304 305 307 310 316 319 322 323 324 326 335 338 341 342 356 357 358 359 363 364 367 370 371 373 378 380 384 392 393 394 398 399 401 406 419 420 426 430 431 439 440 444 446 450 451 460 463 467 470 475 477 479 480 486 494 a 3 7 8 9 11 13 22 25 27 28 31 33 36 41 43 44 45 49 56 57 58 61 66 68 70 74 76 79 80 81 84 89 90 94 95 99 100 102 103 106 110 115 116 118 119 122 123 124 125 127 128 130 133 135 138 142 150 151 152 156 161 164 168 173 174 177 183 184 190 194 195 196 200 201 202 208 211 213 214 217 222 227 229 236 237 241 256 261 263 271 272 273 275 276 281 292 296 300 303 304 305 307 310 316 319 322 323 324 326 335 338 341 342 356 357 358 359 363 364 367 370 371 373 378 380 384 392 393 394 398 399 401 406 419 420 426 430 431 439 440 444 446 450 451 460 463 467 470 475 477 479 480 486 489 494 a 3 7 8 9 11 13 22 25 27 28 31 33 36 41 43 44 45 49 56 57 58 61 66 68 70 74 76 79 80 81 84 89 90 94 95 99 100 102 103 106 110 115 116 118 119 122 123 124 125 127 128 130 133 135 138 142 150 151 152 156 161 164 168 173 174 177 183 184 190 194 195 196 200 201 202 208 211 213 214 217 222 227 229 236 237 241 256 261 263 271 272 273 275 276 281 292 296 300 303 304 305 307 310 316 318 319 322 323 324 326 335 338 341 342 356 357 358 359 363 364 367 370 371 373 378 380 384 392 393 394 398 399 401 406 419 420 430 431 439 440 444 446 450 451 460 463 467 470 475 477 479 480 486 489 494 a 3 7 8 9 11 13 22 25 27 28 31 33 36 41 43 44 45 49 56 57 58 61 66 68 70 74 76 79 80 81 84 89 90 94 95 99 100 102 103 106 110 115 116 118 119 122 123 124 125 127 128 130 133 135 138 142 150 151 152 156 161 164 168 173 174 177 183 184 190 194 195 196 200 201 202 208 211 213 214 217 222 227 229 236 237 241 256 261 263 271 272 273 275 276 281 284 292 296 300 303 304 305 307 310 316 318 319 322 323 324 326 335 338 341 342 356 357 358 359 363 364 367 370 371 373 378 380 392 393 394 398 399 401 406 419 420 430 431 439 440 444 446 450 451 460 463 467 470 475 477 479 480 486 489 494 a 3 7 8 9 11 13 22 25 27 28 31 33 36 41 43 44 45 49 56 57 58 61 66 68 70 74 76 79 80 81 84 89 90 94 95 99 100 102 103 106 110 115 116 118 119 122 123 124 125 127 128 130 133 135 138 142 150 151 152 156 164 168 173 174 177 181 183 184 190 194 195 196 200 201 202 208 211 213 214 217 222 227 229 236 237 241 256 261 263 271 272 273 275 276 281 284 292 296 300 303 304 305 307 310 316 318 319 322 323 324 326 335 338 341 342 356 357 358 359 363 364 367 370 371 373 378 380 392 393 394 398 399 401 406 419 420 430 431 439 440 444 446 450 451 460 463 467 470 475 477 479 480 486 489 494 a 3 7 8 9 11 13 22 25 27 28 31 33 36 41 43 44 45 49 56 57 58 61 66 68 70 74 76 79 80 81 84 89 90 94 95 99 100 102 103 106 110 115 116 118 119 122 123 124 125 127 128 130 133 135 138 142 150 151 152 156 164 168 173 174 177 181 183 184 190 194 195 196 200 201 202 208 211 213 214 217 222 227 229 236 237 241 256 261 263 271 272 273 275 276 281 284 292 296 300 303 304 305 307 310 316 318 319 322 323 324 326 335 338 341 342 356 357 358 359 363 364 367 370 371 373 380 392 393 394 398 399 401 406 419 420 430 431 439 440 444 446 450 451 460 463 467 470 475 477 479 480 481 486 489 494 a 3 7 8 9 11 13 22 25 27 28 31 33 36 41 43 44 45 49 56 57 58 61 66 68 70 74 76 79 80 81 84 89 90 94 95 99 100 102 103 106 110 115 116 118 119 122 123 124 125 127 128 130 133 135 138 142 150 151 152 156 164 168 173 174 177 181 183 184 190 194 195 196 200 201 202 208 211 213 214 217 222 227 229 236 237 240 241 256 261 263 271 272 273 275 276 281 284 292 296 300 303 304 305 307 310 316 318 319 322 323 324 326 335 338 341 342 356 357 358 359 363 364 367 370 371 373 380 392 393 394 398 399 401 406 419 420 430 431 439 440 444 446 450 451 460 463 467 470 475 477 479 481 486 489 494 a 3 7 8 9 11 13 22 25 27 28 31 33 36 41 43 44 45 49 56 57 58 61 66 68 70 74 76 79 80 81 84 89 90 94 95 99 100 102 103 106 110 115 116 118 119 122 123 124 125 127 128 130 133 135 138 142 150 151 152 156 164 168 173 174 177 181 183 184 190 194 195 196 200 201 202 208 210 211 213 214 217 222 227 229 236 237 240 241 256 261 263 271 272 273 275 276 281 284 292 296 300 303 304 305 307 310 316 318 319 322 323 324 326 335 338 341 342 357 358 359 363 364 367 370 371 373 380 392 393 394 398 399 401 406 419 420 430 431 439 440 444 446 450 451 460 463 467 470 475 477 479 481 486 489 494 a 3 7 8 9 11 13 22 25 27 28 29 31 33 36 41 43 44 45 49 56 57 58 61 66 68 70 74 76 79 80 81 84 89 90 94 95 99 100 102 103 106 110 115 116 118 119 122 123 124 125 127 128 130 133 135 138 142 150 151 152 156 164 168 173 174 177 181 183 184 190 194 195 196 200 201 202 208 210 211 213 214 217 222 227 229 236 237 240 241 256 261 263 272 273 275 276 281 284 292 296 300 303 304 305 307 310 316 318 319 322 323 324 326 335 338 341 342 357 358 359 363 364 367 370 371 373 380 392 393 394 398 399 401 406 419 420 430 431 439 440 444 446 450 451 460 463 467 470 475 477 479 481 486 489 494 a 3 7 8 9 11 13 22 25 27 28 29 31 33 36 41 43 44 45 49 56 57 58 61 66 68 70 74 76 79 80 81 84 89 90 94 95 99 100 102 103 106 110 115 116 118 119 122 123 124 125 127 128 130 133 135 138 142 150 151 152 156 164 168 173 174 177 181 184 190 194 195 196 200 201 202 208 210 211 213 214 217 222 227 229 236 237 240 241 256 261 263 272 273 275 276 281 284 292 296 300 303 304 305 307 310 316 318 319 322 323 324 326 335 338 341 342 357 358 359 363 364 367 370 371 373 377 380 392 393 394 398 399 401 406 419 420 430 431 439 440 444 446 450 451 460 463 467 470 475 477 479 481 486 489 494 a 3 7 8 9 11 13 22 25 27 28 29 31 33 36 41 43 44 45 49 56 57 58 61 66 68 70 74 76 79 80 81 84 89 90 94 95 99 100 102 103 106 110 115 116 118 119 122 123 125 127 128 130 133 135 138 142 150 151 152 156 164 168 173 174 177 181 184 190 194 195 196 200 201 202 208 210 211 213 214 217 222 227 229 236 237 240 241 256 261 263 272 273 275 276 281 284 292 296 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 357 358 359 363 364 367 370 371 373 377 380 392 393 394 398 399 401 406 419 420 430 431 439 440 444 446 450 451 460 463 467 470 475 477 479 481 486 489 494 a 3 7 8 9 11 13 22 25 27 28 29 31 33 36 41 43 44 45 49 56 57 58 61 66 68 70 74 76 79 80 81 84 89 90 94 95 99 100 102 103 106 110 115 116 118 119 122 123 125 127 128 130 133 135 138 142 150 151 152 156 164 168 173 174 177 181 184 190 194 196 200 201 202 208 210 211 213 214 217 222 227 229 236 237 240 241 256 261 263 272 273 275 276 281 284 292 296 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 380 392 393 394 398 399 401 406 419 420 430 431 439 440 444 446 450 451 460 463 467 470 475 477 479 481 486 489 494 a 3 7 8 9 11 13 22 25 27 28 29 31 33 36 41 43 44 45 49 56 57 58 61 66 68 70 74 76 79 80 81 84 89 90 94 95 99 100 102 103 106 110 115 116 118 122 123 125 127 128 130 133 135 138 142 150 151 152 156 164 168 173 174 177 181 184 190 194 196 200 201 202 208 210 211 213 214 217 222 227 229 236 237 240 241 256 261 262 263 272 273 275 276 281 284 292 296 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 380 392 393 394 398 399 401 406 419 420 430 431 439 440 444 446 450 451 460 463 467 470 475 477 479 481 486 489 494 a 3 7 8 9 11 13 22 25 27 28 29 31 33 36 41 44 45 49 56 57 58 61 66 68 70 74 76 79 80 81 84 89 90 94 95 99 100 102 103 106 110 115 116 118 122 123 125 127 128 130 133 135 138 142 150 151 152 156 164 168 173 174 177 181 184 190 194 196 200 201 202 208 210 211 213 214 217 222 227 229 236 237 240 241 256 261 262 263 267 272 273 275 276 281 284 292 296 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 380 392 393 394 398 399 401 406 419 420 430 431 439 440 444 446 450 451 460 463 467 470 475 477 479 481 486 489 494 a 3 7 8 9 11 13 22 25 27 28 29 31 33 36 41 44 45 49 56 57 58 61 66 68 70 74 76 79 80 81 84 89 90 94 95 99 100 102 103 106 110 115 116 118 122 123 125 127 128 130 133 135 138 142 150 151 152 156 164 168 173 174 177 181 184 190 194 196 200 201 202 208 210 211 213 214 217 222 227 229 236 237 240 241 256 261 262 263 267 272 273 275 276 281 284 292 296 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 380 392 393 394 399 401 406 419 420 430 431 439 440 444 446 450 451 460 463 467 470 475 477 479 481 486 489 493 494 a 3 7 8 9 11 13 22 25 28 29 31 33 36 41 44 45 49 56 57 58 61 66 68 70 74 76 79 80 81 84 89 90 94 95 99 100 102 103 106 110 115 116 118 122 123 125 127 128 130 133 135 138 142 150 151 152 156 164 168 173 174 177 181 184 190 194 196 200 201 202 208 210 211 213 214 217 222 227 229 236 237 240 241 256 261 262 263 267 272 273 275 276 281 284 292 296 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 380 392 393 394 399 401 406 419 420 423 430 431 439 440 444 446 450 451 460 463 467 470 475 477 479 481 486 489 493 494 a 3 7 8 9 11 13 22 25 28 29 31 33 36 41 44 45 49 56 57 58 61 66 68 70 74 76 79 80 81 84 89 90 94 95 99 100 102 103 106 110 115 116 118 122 123 125 127 128 130 133 135 138 142 147 150 151 152 156 164 168 173 174 177 181 184 190 194 196 200 202 208 210 211 213 214 217 222 227 229 236 237 240 241 256 261 262 263 267 272 273 275 276 281 284 292 296 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 380 392 393 394 399 401 406 419 420 423 430 431 439 440 444 446 450 451 460 463 467 470 475 477 479 481 486 489 493 494 a 3 7 8 9 11 13 22 25 28 29 31 33 36 41 44 45 49 56 57 58 61 66 68 70 74 75 76 79 80 81 84 89 90 94 95 99 100 102 103 106 110 115 118 122 123 125 127 128 130 133 135 138 142 147 150 151 152 156 164 168 173 174 177 181 184 190 194 196 200 202 208 210 211 213 214 217 222 227 229 236 237 240 241 256 261 262 263 267 272 273 275 276 281 284 292 296 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 380 392 393 394 399 401 406 419 420 423 430 431 439 440 444 446 450 451 460 463 467 470 475 477 479 481 486 489 493 494 a 3 7 8 9 11 13 22 25 28 29 31 33 36 41 44 45 49 56 57 58 61 66 68 70 74 75 79 80 81 84 89 90 94 95 99 100 102 103 106 110 115 118 122 123 125 127 128 130 133 135 138 142 147 150 151 152 156 164 168 173 174 177 181 184 190 194 196 200 202 208 210 211 213 214 217 222 227 229 236 237 240 241 256 261 262 263 267 272 273 275 276 281 284 292 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 380 392 393 394 399 401 406 419 420 423 430 431 439 440 444 446 450 451 460 463 467 470 475 477 479 481 486 489 493 494 a 3 7 8 9 11 13 22 25 28 29 31 33 36 41 44 45 49 56 57 58 61 66 68 70 74 75 79 80 81 84 89 90 94 95 99 102 103 106 110 115 118 122 123 125 127 128 130 133 135 138 142 147 150 151 152 156 164 168 173 174 177 181 184 190 194 196 200 202 208 210 211 213 214 217 222 227 229 236 237 240 241 256 261 262 263 267 272 273 275 276 281 284 292 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 380 392 393 394 399 401 406 419 420 423 430 431 439 440 444 446 450 451 460 463 467 470 475 476 477 479 481 486 489 493 494 a 3 7 8 9 11 13 22 25 28 29 31 33 36 41 44 45 49 56 57 58 66 68 70 74 75 79 80 81 84 89 90 94 95 99 102 103 106 110 115 118 122 123 125 127 128 130 133 135 138 142 147 150 151 152 156 164 168 173 174 177 181 184 190 194 196 200 202 208 210 211 213 214 217 222 227 229 236 237 240 241 256 261 262 263 267 272 273 275 276 281 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 380 392 393 394 399 401 406 419 420 423 430 431 439 440 444 446 450 451 460 463 467 470 475 476 477 479 481 486 489 493 494 a 3 8 9 11 13 22 25 28 29 31 33 36 41 44 45 49 56 57 58 66 68 70 74 75 79 80 81 84 89 90 94 95 99 101 102 103 106 110 115 118 122 123 125 127 128 130 133 135 138 142 147 150 151 152 156 164 168 173 174 177 181 184 190 194 196 200 202 208 210 211 213 214 217 222 227 229 236 237 240 241 256 261 262 263 267 272 273 275 276 281 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 380 392 393 394 399 401 406 419 420 423 430 431 439 440 444 446 450 451 460 463 467 470 475 476 477 479 481 486 489 493 494 a 3 8 9 11 13 17 22 25 28 29 31 33 36 41 44 45 49 56 57 58 66 68 70 74 75 79 81 84 89 90 94 95 99 101 102 103 106 110 115 118 122 123 125 127 128 130 133 135 138 142 147 150 151 152 156 164 168 173 174 177 181 184 190 194 196 200 202 208 210 211 213 214 217 222 227 229 236 237 240 241 256 261 262 263 267 272 273 275 276 281 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 380 392 393 394 399 401 406 419 420 423 430 431 439 440 444 446 450 451 460 463 467 470 475 476 477 479 481 486 489 493 494 a 3 8 9 11 13 17 22 25 28 29 31 33 36 41 44 45 49 56 57 58 66 68 70 74 75 79 81 84 89 90 94 95 99 101 102 103 106 110 115 118 122 123 125 127 128 130 133 135 138 142 147 150 151 152 156 164 168 173 174 177 181 184 190 194 196 200 202 208 210 211 213 214 217 222 227 229 236 237 240 241 256 261 262 263 267 272 273 275 276 281 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 380 392 393 394 399 401 406 410 419 420 423 430 431 440 444 446 450 451 460 463 467 470 475 476 477 479 481 486 489 493 494 a 3 8 9 11 13 17 22 25 28 29 31 33 36 41 44 45 49 56 57 58 66 68 70 74 75 79 81 84 89 90 94 95 99 101 102 103 106 110 115 118 122 123 125 127 128 130 133 135 138 142 147 150 151 152 156 164 168 173 174 177 181 184 190 194 196 200 202 208 210 211 213 214 217 222 227 229 236 237 240 241 256 261 262 263 267 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 380 392 393 394 399 401 406 410 419 420 423 430 431 440 444 446 450 451 460 463 467 470 476 477 479 481 486 489 493 494 a 3 8 9 11 13 17 22 25 28 29 31 33 36 41 44 45 49 56 57 58 66 68 70 74 75 79 81 84 89 90 94 95 99 101 102 103 106 110 115 118 122 123 125 127 128 130 133 135 138 142 147 150 151 152 156 164 168 173 174 177 181 184 190 194 196 200 208 210 211 213 214 217 222 227 229 235 236 237 240 241 256 261 262 263 267 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 380 392 393 394 399 401 406 410 419 420 423 430 431 440 444 446 450 451 460 463 467 470 476 477 479 481 486 489 493 494 a 3 8 9 11 13 17 22 25 28 29 31 33 36 41 44 49 56 57 58 66 68 70 74 75 79 81 84 89 90 94 95 99 101 102 103 106 110 115 118 122 123 125 127 128 130 133 135 138 142 145 147 150 151 152 156 164 168 173 174 177 181 184 190 194 196 200 208 210 211 213 214 217 222 227 229 235 236 237 240 241 256 261 262 263 267 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 380 392 393 394 399 401 406 410 419 420 423 430 431 440 444 446 450 451 460 463 467 470 476 477 479 481 486 489 493 494 a 3 8 9 11 13 17 22 25 29 31 33 36 41 44 49 56 57 58 66 68 70 74 75 79 81 84 89 90 94 95 99 101 102 103 106 110 115 118 122 123 125 127 128 130 133 135 138 142 145 147 150 151 152 156 164 168 173 174 177 181 184 190 194 196 200 208 210 211 213 214 217 222 227 229 235 236 237 239 240 241 256 261 262 263 267 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 380 392 393 394 399 401 406 410 419 420 423 430 431 440 444 446 450 451 460 463 467 470 476 477 479 481 486 489 493 494 a 3 8 9 11 13 17 22 25 29 31 33 36 41 44 49 56 57 58 66 68 74 75 79 81 84 89 90 93 94 95 99 101 102 103 106 110 115 118 122 123 125 127 128 130 133 135 138 142 145 147 150 151 152 156 164 168 173 174 177 181 184 190 194 196 200 208 210 211 213 214 217 222 227 229 235 236 237 239 240 241 256 261 262 263 267 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 380 392 393 394 399 401 406 410 419 420 423 430 431 440 444 446 450 451 460 463 467 470 476 477 479 481 486 489 493 494 a 3 8 9 13 17 22 25 29 31 33 36 41 44 49 56 57 58 66 68 74 75 79 81 84 89 90 93 94 95 99 101 102 103 106 110 115 118 122 123 125 127 128 130 133 135 138 142 145 147 150 151 152 156 164 167 168 173 174 177 181 184 190 194 196 200 208 210 211 213 214 217 222 227 229 235 236 237 239 240 241 256 261 262 263 267 272 273 275 276 279 281 284 292 294 296 299 300 303 304 305 307 310 315 316 318 319 322 323 324 326 335 338 341 342 351 357 358 359 363 364 367 370 371 373 377 380 392 393 394 399 401 406 410 419 420 423 430 431 440 444 446 450 451 460 463 467 470 476 477 479 481 486 489 493 494 c Step: 127 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance038_graph001.col /benchmark/random_instance/random_instance038_graph001_01.dat" User time (seconds): 561.73 System time (seconds): 10.03 Percent of CPU this job got: 153% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:11.35 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): 23379688 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 7852785 Voluntary context switches: 472218 Involuntary context switches: 1159 Swaps: 0 File system inputs: 0 File system outputs: 1000 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:39:14 2023]