#BEGIN: [Mon Sep 4 14:55:39 2023] #HOST: s07 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance036_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance036_graph003_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance036_graph003.col /benchmark/random_instance/random_instance036_graph003_01.dat c /benchmark/random_instance/random_instance036_graph003.col c /benchmark/random_instance/random_instance036_graph003_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.001 seconds s 87 401 60 282 224 190 132 374 353 327 204 383 407 458 445 467 267 138 329 386 76 25 186 450 346 378 236 337 71 191 396 342 118 436 320 90 40 16 381 415 265 157 78 314 119 355 230 211 394 219 116 435 410 361 70 270 281 253 10 95 243 422 31 195 262 437 324 255 460 370 360 414 264 332 354 208 210 107 259 34 108 246 352 442 385 8 348 266 326 289 251 372 133 145 46 1 334 306 29 137 159 30 400 453 193 276 468 226 424 261 429 322 196 425 203 2 22 421 135 194 292 271 316 43 161 426 404 258 359 296 66 349 413 213 389 339 198 409 345 331 297 279 419 416 124 228 447 86 319 393 183 273 209 399 214 75 164 t 187 206 326 63 337 265 174 454 303 139 348 9 230 415 455 89 88 120 301 393 379 427 64 423 215 258 220 72 146 249 7 431 177 109 147 20 69 285 355 445 356 367 236 105 384 319 16 144 198 10 354 377 34 158 296 222 148 277 419 235 382 243 408 3 429 134 244 193 434 116 416 17 467 399 168 420 204 8 211 150 60 257 234 292 43 375 320 12 85 262 282 360 22 279 157 183 178 114 364 90 214 432 409 128 315 306 342 71 259 224 37 80 137 447 450 138 458 269 111 209 110 190 286 106 191 371 346 336 226 264 451 291 47 124 246 49 208 321 295 381 156 68 101 456 83 108 289 159 59 426 261 281 132 135 104 103 386 a YES a 1 2 8 10 16 22 25 29 30 31 34 40 43 46 60 66 70 71 75 76 78 86 87 90 95 107 108 116 118 119 124 132 133 135 137 138 145 157 159 161 164 183 186 190 191 193 194 195 196 198 203 204 208 209 210 211 213 214 219 224 226 228 230 236 243 246 251 253 255 258 259 261 262 264 265 266 267 270 271 273 276 279 281 282 289 292 296 297 306 314 316 319 320 322 324 326 327 329 331 332 334 337 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 378 381 383 385 386 389 393 394 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 429 435 436 437 442 445 447 450 453 458 460 467 468 a 1 2 8 10 16 22 25 29 30 31 34 40 43 46 60 66 70 71 75 76 78 86 87 90 95 107 108 116 118 119 124 132 133 135 137 138 145 157 159 161 162 164 183 186 190 191 193 194 195 196 198 203 204 208 209 210 211 213 214 219 224 226 228 230 236 243 246 251 253 255 258 259 261 262 264 265 266 267 270 271 273 276 279 281 282 289 292 296 297 306 314 316 319 320 322 324 326 327 329 331 332 334 337 339 342 345 346 348 349 352 353 354 355 359 361 370 372 374 378 381 383 385 386 389 393 394 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 429 435 436 437 442 445 447 450 453 458 460 467 468 a 1 2 8 9 10 16 22 25 29 30 31 34 40 43 46 60 66 70 71 75 76 78 86 87 90 95 107 108 116 118 119 124 132 133 135 137 138 145 157 159 161 162 164 183 186 190 191 193 194 195 196 198 203 204 208 209 210 211 213 214 219 224 226 228 230 236 243 246 251 255 258 259 261 262 264 265 266 267 270 271 273 276 279 281 282 289 292 296 297 306 314 316 319 320 322 324 326 327 329 331 332 334 337 339 342 345 346 348 349 352 353 354 355 359 361 370 372 374 378 381 383 385 386 389 393 394 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 429 435 436 437 442 445 447 450 453 458 460 467 468 a 1 2 8 9 10 16 22 25 29 31 34 40 43 46 60 66 70 71 75 76 78 86 87 90 95 107 108 116 118 119 124 132 133 135 137 138 145 157 159 161 162 164 183 186 190 191 193 194 195 196 198 203 204 208 209 210 211 213 214 219 224 226 228 230 236 243 246 251 255 258 259 261 262 264 265 266 267 270 271 273 276 279 281 282 289 292 296 297 306 314 316 319 320 322 324 326 327 329 331 332 334 337 339 342 345 346 348 349 352 353 354 355 359 361 370 372 374 378 381 383 385 386 389 393 394 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 429 435 436 437 442 445 447 450 451 453 458 460 467 468 a 1 2 8 9 10 16 22 25 29 31 34 40 43 46 60 66 70 71 75 76 78 86 87 90 95 107 108 116 118 119 124 132 133 135 137 138 145 157 159 161 162 164 186 190 191 193 194 195 196 198 203 204 208 209 210 211 213 214 219 224 226 228 230 236 243 246 251 255 258 259 261 262 264 265 266 267 270 271 273 276 279 281 282 289 292 296 297 306 314 316 319 320 322 324 326 327 329 331 332 334 337 339 342 345 346 348 349 350 352 353 354 355 359 361 370 372 374 378 381 383 385 386 389 393 394 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 429 435 436 437 442 445 447 450 451 453 458 460 467 468 a 1 2 8 10 16 22 25 29 31 34 40 43 46 60 66 70 71 75 76 78 86 87 90 95 107 108 116 118 119 124 132 133 135 137 138 145 157 159 161 162 164 186 190 191 193 194 195 196 198 203 204 208 209 210 211 213 214 219 224 226 228 230 236 243 246 251 253 255 258 259 261 262 264 265 266 267 270 271 273 276 279 281 282 289 292 296 297 306 314 316 319 320 322 324 326 327 329 331 332 334 337 339 342 345 346 348 349 350 352 353 354 355 359 361 370 372 374 378 381 383 385 386 389 393 394 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 429 435 436 437 442 445 447 450 451 453 458 460 467 468 a 1 2 8 10 16 22 25 29 31 34 40 43 46 60 66 70 71 75 76 78 86 87 90 95 107 108 116 118 119 124 132 133 135 137 138 145 157 159 161 162 163 164 186 190 191 193 194 195 196 198 203 204 208 209 210 211 213 214 219 224 226 228 230 236 243 246 251 253 255 258 259 261 262 264 265 266 267 270 271 273 276 279 281 282 289 292 296 297 306 314 316 319 320 322 324 326 327 329 331 332 334 339 342 345 346 348 349 350 352 353 354 355 359 361 370 372 374 378 381 383 385 386 389 393 394 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 429 435 436 437 442 445 447 450 451 453 458 460 467 468 a 1 2 8 10 16 22 25 29 31 34 40 43 46 60 66 70 71 75 76 78 86 87 90 95 107 108 116 118 119 124 132 133 135 137 138 145 157 159 161 162 163 164 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 243 246 251 253 255 258 259 261 262 264 265 266 267 270 271 273 276 279 281 282 289 292 296 297 306 314 316 319 320 322 324 326 327 329 331 332 334 339 342 345 346 348 349 350 352 353 354 355 359 361 370 372 374 378 381 383 385 386 389 393 394 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 429 435 436 437 442 445 447 450 451 453 458 460 468 a 1 2 8 10 16 22 25 29 31 34 40 43 46 60 66 70 71 75 76 78 86 87 90 95 107 108 116 118 119 124 132 133 135 137 138 145 157 159 161 162 163 164 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 243 246 251 253 255 258 259 260 261 262 264 265 266 267 270 271 273 276 279 281 282 289 292 296 297 306 314 316 319 320 322 324 326 327 329 331 332 334 339 342 345 346 348 349 350 352 353 354 355 359 361 370 372 374 378 381 383 385 386 389 393 394 396 399 400 401 404 407 409 413 414 415 416 419 421 422 424 425 426 429 435 436 437 442 445 447 450 451 453 458 460 468 a 1 2 8 10 16 22 25 29 31 34 40 43 46 60 66 70 71 75 76 78 86 87 90 95 107 108 116 118 119 124 132 133 135 137 138 145 157 159 161 162 163 164 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 224 226 228 230 236 243 246 251 253 255 258 259 260 261 262 264 265 266 267 270 271 273 276 279 281 282 289 292 296 297 306 314 316 319 320 322 324 326 327 329 331 332 334 339 342 345 346 348 349 350 352 353 354 355 359 361 370 372 374 378 381 383 385 386 388 389 393 394 396 399 400 401 404 407 409 413 414 415 416 419 421 422 424 425 426 429 435 436 437 442 445 447 450 451 453 458 460 468 a 1 2 8 10 16 25 29 31 34 40 43 46 53 60 66 70 71 75 76 78 86 87 90 95 107 108 116 118 119 124 132 133 135 137 138 145 157 159 161 162 163 164 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 224 226 228 230 236 243 246 251 253 255 258 259 260 261 262 264 265 266 267 270 271 273 276 279 281 282 289 292 296 297 306 314 316 319 320 322 324 326 327 329 331 332 334 339 342 345 346 348 349 350 352 353 354 355 359 361 370 372 374 378 381 383 385 386 388 389 393 394 396 399 400 401 404 407 409 413 414 415 416 419 421 422 424 425 426 429 435 436 437 442 445 447 450 451 453 458 460 468 a 1 2 8 10 16 25 29 31 34 40 43 46 53 60 66 70 71 75 76 78 86 87 90 95 107 108 116 118 119 124 132 133 135 137 138 145 157 159 161 163 164 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 224 226 228 230 236 243 246 251 253 255 258 259 260 261 262 264 265 266 267 270 271 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 322 324 326 327 329 331 332 334 339 342 345 346 348 349 350 352 353 354 355 359 361 370 372 374 378 381 383 385 386 388 389 393 394 396 399 400 401 404 407 409 413 414 415 416 419 421 422 424 425 426 429 435 436 437 442 445 447 450 451 453 458 460 468 a 1 2 8 10 16 25 29 31 34 40 43 46 53 60 66 70 71 75 76 78 86 87 90 95 107 108 116 118 119 124 132 133 135 137 138 145 157 159 161 164 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 224 226 228 230 236 243 246 251 253 255 258 259 260 261 262 264 265 266 267 270 271 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 322 324 326 327 329 331 332 334 339 342 345 346 348 349 350 352 353 354 355 359 361 370 372 374 378 381 383 385 386 388 389 393 394 396 399 400 401 404 407 409 413 414 415 416 419 420 421 422 424 425 426 429 435 436 437 442 445 447 450 451 453 458 460 468 a 1 2 8 10 16 25 29 31 34 40 43 46 53 60 66 70 71 75 76 78 86 87 90 95 107 108 116 118 119 124 132 133 135 137 138 145 157 159 161 164 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 243 246 251 253 255 258 259 260 261 262 264 265 266 267 270 271 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 322 324 326 327 329 331 332 334 339 342 345 346 348 349 350 352 353 354 355 359 361 370 372 374 378 381 383 385 386 389 393 394 396 399 400 401 404 407 409 413 414 415 416 419 420 421 422 424 425 426 429 435 436 437 442 445 447 450 451 453 458 460 468 a 1 2 8 10 16 25 29 31 34 40 43 46 53 60 66 70 71 75 76 78 86 87 90 95 107 108 116 118 119 124 132 133 135 137 138 145 157 159 161 163 164 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 243 246 251 253 255 258 259 260 261 262 264 265 266 267 270 271 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 322 324 326 327 329 331 332 334 339 342 345 346 348 350 352 353 354 355 359 361 370 372 374 378 381 383 385 386 389 393 394 396 399 400 401 404 407 409 413 414 415 416 419 420 421 422 424 425 426 429 435 436 437 442 445 447 450 451 453 458 460 468 a 1 2 8 10 16 25 29 31 34 43 46 53 60 66 70 71 75 76 78 86 87 90 95 107 108 113 116 118 119 124 132 133 135 137 138 145 157 159 161 163 164 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 243 246 251 253 255 258 259 260 261 262 264 265 266 267 270 271 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 322 324 326 327 329 331 332 334 339 342 345 346 348 350 352 353 354 355 359 361 370 372 374 378 381 383 385 386 389 393 394 396 399 400 401 404 407 409 413 414 415 416 419 420 421 422 424 425 426 429 435 436 437 442 445 447 450 451 453 458 460 468 a 1 2 8 10 16 25 29 31 34 43 46 53 60 66 70 71 75 76 78 86 87 90 95 107 108 113 116 118 119 124 132 133 135 137 138 145 157 159 161 163 164 186 190 191 193 194 195 196 198 200 204 208 209 210 211 213 214 219 224 226 228 230 236 243 246 251 253 255 258 259 260 261 262 264 265 266 267 270 271 273 276 277 279 281 282 289 291 292 296 297 306 314 316 319 320 322 324 326 327 329 331 332 334 339 342 345 346 348 350 352 353 354 355 359 361 370 372 374 378 381 383 385 386 389 393 394 396 399 400 401 404 407 409 413 414 415 416 419 420 421 422 424 425 426 429 435 436 437 442 445 447 450 451 453 458 460 468 a 1 2 8 10 16 25 29 31 34 43 46 53 60 66 70 71 75 76 78 86 87 90 95 107 108 113 116 118 119 124 132 133 135 137 138 145 157 159 161 163 164 186 190 191 193 194 195 196 198 200 204 208 209 210 211 213 214 219 224 226 228 230 236 243 246 251 253 255 258 259 260 261 264 265 266 267 270 271 273 276 277 279 281 282 289 291 292 296 297 306 314 316 319 320 322 324 326 327 329 331 332 334 339 342 345 346 348 349 350 352 353 354 355 359 361 370 372 374 378 381 383 385 386 389 393 394 396 399 400 401 404 407 409 413 414 415 416 419 420 421 422 424 425 426 429 435 436 437 442 445 447 450 451 453 458 460 468 a 1 2 8 10 16 25 29 31 34 43 46 53 60 66 70 71 75 76 78 86 87 90 95 107 108 113 116 118 119 124 132 133 135 137 138 145 157 159 161 163 164 186 190 191 193 194 195 196 198 200 204 208 209 210 211 213 214 219 224 226 228 230 236 243 246 251 253 255 258 259 260 261 264 265 266 267 270 271 273 276 277 279 281 282 289 291 292 296 297 306 314 316 319 320 322 324 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 378 381 383 385 386 389 393 394 396 399 400 401 404 407 409 413 414 415 416 419 420 421 422 424 425 426 429 435 436 437 442 445 447 450 451 453 458 460 468 a 1 2 8 10 16 25 29 31 34 43 46 53 60 66 70 71 75 76 78 86 87 90 95 107 108 113 116 118 119 124 132 133 135 137 138 145 157 159 161 163 164 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 243 246 251 253 255 258 259 260 261 264 265 266 267 270 271 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 322 324 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 378 381 383 385 386 389 393 394 396 399 400 401 404 407 409 413 414 415 416 419 420 421 422 424 425 426 429 435 436 437 442 445 447 450 451 453 458 460 468 a 1 2 8 10 16 25 29 31 34 43 46 53 60 66 70 71 75 76 78 86 87 90 95 97 107 108 113 116 118 119 124 132 133 135 137 138 145 157 159 161 163 164 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 243 246 251 253 255 258 259 260 261 264 265 266 267 270 271 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 322 324 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 378 381 383 385 386 389 393 394 396 399 400 401 404 407 409 413 414 415 416 419 420 421 422 424 425 426 429 435 436 437 442 445 447 450 451 453 458 460 468 a 1 2 8 10 16 25 29 31 34 43 46 53 60 66 70 71 75 76 78 86 87 90 95 97 107 108 113 116 118 119 124 132 133 135 137 138 145 147 157 159 161 163 164 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 243 246 251 253 255 258 259 260 261 264 265 266 267 270 271 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 322 324 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 378 381 383 385 386 389 393 394 396 399 400 401 404 407 409 413 414 415 416 419 420 421 422 424 425 426 429 435 436 442 445 447 450 451 453 458 460 468 a 1 2 8 10 16 25 29 31 34 43 46 53 60 66 70 71 75 76 78 86 87 90 95 97 107 108 113 116 118 119 124 132 133 135 137 138 145 147 157 159 161 163 164 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 243 246 251 253 255 258 259 260 261 262 264 265 266 267 270 271 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 322 324 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 378 381 383 385 386 389 393 394 396 399 400 401 404 407 409 413 414 415 416 419 420 421 422 424 425 426 429 435 436 442 445 450 451 453 458 460 468 a 1 2 8 10 16 25 29 31 34 43 46 53 60 66 70 71 75 76 78 86 87 90 95 107 108 113 116 118 119 124 132 133 135 137 138 145 147 157 159 161 163 164 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 243 246 251 253 255 258 259 260 261 262 264 265 266 267 270 271 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 322 324 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 378 381 383 385 386 389 393 394 396 399 400 401 404 407 409 413 414 415 416 419 420 421 422 424 425 426 429 435 436 442 445 450 451 453 458 460 468 a 1 2 8 10 16 25 29 31 34 43 46 53 60 66 70 71 75 76 78 86 87 90 95 107 108 113 116 118 119 124 132 133 135 137 138 145 147 157 159 161 163 164 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 241 243 246 251 253 255 258 259 260 261 262 264 265 266 267 270 271 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 322 324 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 378 381 383 385 386 389 393 394 396 399 400 404 407 409 413 414 415 416 419 420 421 422 424 425 426 429 435 436 442 445 450 451 453 458 460 468 a 1 2 8 10 16 25 29 31 34 43 46 53 60 66 70 71 75 76 78 86 87 90 95 107 108 113 116 118 119 124 132 133 135 138 145 147 157 159 161 163 164 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 241 243 246 251 253 255 258 259 260 261 262 264 265 266 267 270 271 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 322 324 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 378 381 383 385 386 389 393 394 396 399 400 404 407 409 413 414 415 416 419 420 421 422 424 425 426 429 435 436 442 445 447 450 451 453 458 460 468 a 1 2 8 10 16 25 29 31 34 43 46 53 60 66 70 71 75 76 78 86 87 90 95 107 108 113 116 118 119 124 132 133 135 137 138 145 147 157 159 161 163 164 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 241 246 251 253 255 258 259 260 261 262 264 265 266 267 270 271 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 322 324 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 378 381 383 385 386 389 393 394 396 399 400 404 407 409 413 414 415 416 419 420 421 422 424 425 426 429 435 436 442 445 447 450 451 453 458 460 468 a 1 2 8 10 16 25 29 31 34 43 46 53 60 66 70 71 75 76 78 86 87 90 95 107 108 113 116 118 119 124 132 133 135 137 138 145 147 157 159 161 163 164 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 241 246 251 253 255 258 259 260 261 262 264 265 266 267 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 322 324 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 378 381 383 385 386 389 393 394 396 399 400 404 407 409 413 414 415 416 419 420 421 422 424 425 426 429 435 436 442 445 450 451 453 458 460 468 a 1 2 8 10 16 25 29 31 34 43 46 53 60 66 70 71 75 76 78 86 87 90 95 106 107 108 113 116 118 119 124 132 133 135 137 138 145 147 157 159 161 163 164 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 246 251 253 255 258 259 260 261 262 264 265 266 267 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 322 324 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 378 381 383 385 386 389 393 394 396 399 400 404 407 409 413 414 415 416 419 420 421 422 424 425 426 429 435 436 442 445 450 451 453 458 460 468 a 1 2 8 10 16 25 29 31 34 43 46 53 60 66 70 71 75 76 78 86 87 90 95 106 107 108 113 116 118 119 124 132 133 135 137 138 145 147 157 159 161 163 164 186 190 191 193 194 195 196 198 200 201 203 204 208 209 210 211 213 214 219 224 226 228 230 236 246 251 253 255 258 259 260 261 262 264 265 266 267 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 322 324 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 378 381 383 385 389 393 394 396 399 400 404 407 409 413 414 415 416 419 420 421 422 424 425 426 429 435 436 442 445 450 451 453 458 460 468 a 1 2 8 10 16 25 29 31 34 43 46 53 60 66 70 71 75 76 78 86 87 90 95 106 107 108 113 116 118 119 124 132 133 135 137 138 145 147 154 157 159 161 163 164 186 190 191 193 194 195 196 198 200 201 203 204 208 209 210 211 213 214 219 224 226 228 230 236 246 251 253 255 258 259 260 261 264 265 266 267 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 322 324 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 378 381 383 385 389 393 394 396 399 400 404 407 409 413 414 415 416 419 420 421 422 424 425 426 429 435 436 442 445 450 451 453 458 460 468 a 1 2 8 10 16 25 29 31 34 43 46 53 60 66 70 71 75 76 78 86 87 90 95 106 107 108 113 116 118 119 124 132 133 135 137 138 145 147 154 157 159 161 163 164 186 190 191 193 194 195 196 198 200 201 203 204 208 209 210 211 213 214 219 224 226 228 230 236 241 246 251 253 255 258 259 260 261 264 265 266 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 322 324 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 378 381 383 385 389 393 394 396 399 400 404 407 409 413 414 415 416 419 420 421 422 424 425 426 429 435 436 442 445 450 451 453 458 460 468 a 1 2 8 10 16 25 29 31 34 43 46 53 60 66 70 71 75 76 78 86 87 90 95 106 107 108 113 116 118 119 124 132 133 135 137 138 145 147 154 157 159 161 163 164 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 241 246 251 253 255 258 259 260 261 264 265 266 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 322 324 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 378 381 383 385 386 389 393 394 396 399 400 404 407 409 413 414 415 416 419 420 421 422 424 425 426 429 435 436 442 445 450 451 453 458 460 468 a 1 2 8 10 16 25 29 31 34 43 46 53 60 66 70 71 75 76 78 86 87 90 95 106 107 108 113 116 118 119 124 132 133 135 137 138 145 147 154 157 159 161 163 164 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 241 246 251 253 258 259 260 261 264 265 266 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 321 322 324 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 378 381 383 385 386 389 393 394 396 399 400 404 407 409 413 414 415 416 419 420 421 422 424 425 426 429 435 436 442 445 450 451 453 458 460 468 a 1 2 8 10 16 25 29 31 34 43 46 53 60 66 70 71 75 76 78 86 87 90 95 106 107 108 113 116 118 119 124 132 133 135 137 138 145 147 154 157 159 161 163 164 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 241 246 251 253 258 259 260 261 264 265 266 270 271 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 321 322 324 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 378 381 383 385 386 389 393 394 396 399 400 404 407 409 413 414 415 416 419 420 421 422 424 425 426 429 435 436 442 445 446 450 451 453 458 460 468 a 1 2 8 10 11 16 25 29 31 34 43 46 53 60 66 70 71 75 76 78 86 87 90 95 106 107 108 113 116 118 119 124 132 133 135 137 138 145 147 154 157 159 161 163 164 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 241 246 251 253 258 259 260 261 264 265 266 270 271 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 321 322 324 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 378 381 383 385 386 389 393 394 396 399 400 404 407 409 413 414 415 416 419 420 421 422 424 425 426 429 435 436 442 445 446 450 453 458 460 468 a 1 2 8 10 11 16 25 29 31 34 43 46 53 60 66 70 71 75 76 78 86 87 90 95 106 107 108 113 116 118 119 124 132 133 135 138 145 147 154 157 159 161 163 164 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 241 246 251 253 258 259 260 261 264 265 266 270 271 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 321 322 324 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 377 378 381 383 385 386 389 393 394 396 399 400 404 407 409 413 414 415 416 419 420 421 422 424 425 426 429 435 436 442 445 446 450 453 458 460 468 a 1 2 8 10 11 16 25 29 31 34 43 46 53 60 66 70 71 75 76 78 86 87 90 95 106 107 108 113 116 118 119 124 132 133 135 138 145 147 154 157 159 161 163 164 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 241 246 251 253 259 260 261 264 265 266 270 271 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 321 322 324 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 377 378 381 383 385 386 389 393 394 396 399 400 404 407 409 413 414 415 416 419 420 421 422 424 425 426 429 435 436 442 445 446 447 450 453 458 460 468 a 1 2 8 10 11 16 25 29 31 34 43 46 53 60 66 70 71 75 76 78 86 87 90 95 106 107 108 113 116 118 119 124 132 133 135 138 145 147 154 157 159 161 163 164 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 241 246 251 253 259 260 261 264 265 266 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 321 322 324 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 377 378 381 383 385 386 389 393 394 396 399 400 404 407 409 413 414 415 416 419 420 421 422 424 425 426 429 435 436 442 445 447 450 453 458 460 468 a 1 2 8 10 16 25 29 31 34 43 46 53 60 66 70 71 75 76 78 86 87 90 95 106 107 108 113 116 118 119 124 132 133 135 138 145 147 154 157 159 161 163 164 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 241 246 251 253 259 260 261 264 265 266 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 321 322 324 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 377 378 381 383 385 386 389 393 394 396 399 400 404 407 409 413 414 415 416 419 420 421 422 424 425 426 429 435 436 442 445 447 450 451 453 458 460 468 a 1 2 8 10 16 25 29 31 34 43 46 53 60 66 70 71 75 76 78 86 87 90 95 106 107 108 113 116 118 119 124 132 133 135 138 145 147 154 157 159 161 163 164 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 246 251 253 259 260 261 264 265 266 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 321 322 324 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 377 378 381 383 385 386 389 393 394 396 399 400 401 404 407 409 413 414 415 416 419 420 421 422 424 425 426 429 435 436 442 445 447 450 451 453 458 460 468 a 1 2 8 10 16 25 29 31 34 43 46 53 60 66 70 71 75 76 78 86 87 90 95 106 107 108 113 116 118 119 124 132 133 135 138 145 147 154 157 159 161 163 164 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 246 251 253 258 259 260 261 264 265 266 270 271 272 273 276 279 281 282 291 292 296 297 306 314 316 319 320 321 322 324 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 377 378 381 383 385 386 389 393 394 396 399 400 401 404 407 409 413 414 415 416 419 420 421 422 424 425 426 429 435 436 442 445 447 450 451 453 458 460 468 a 1 2 8 10 16 25 29 31 34 43 46 53 60 63 66 70 71 75 76 78 86 87 90 95 106 107 108 113 116 118 119 124 132 133 135 138 145 147 154 157 159 161 163 164 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 246 251 253 258 259 260 261 264 265 266 270 271 272 273 276 279 281 282 291 292 296 297 306 314 316 319 320 321 322 324 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 377 378 381 383 386 389 393 394 396 399 400 401 404 407 409 413 414 415 416 419 420 421 422 424 425 426 429 435 436 442 445 447 450 451 453 458 460 468 a 1 2 8 10 16 25 29 31 34 43 46 53 60 63 66 70 71 75 76 78 86 87 90 95 106 107 108 113 116 118 119 124 132 133 135 138 145 147 154 157 159 161 163 164 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 246 251 253 258 259 260 261 264 265 266 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 321 322 324 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 377 378 381 383 386 389 393 394 396 399 400 401 404 407 409 413 414 415 416 419 420 421 422 424 425 426 429 435 436 442 445 447 450 451 453 458 460 a 1 2 8 10 16 25 29 31 34 43 46 53 60 63 66 70 71 75 76 78 86 87 90 95 106 107 108 113 116 118 119 124 132 133 135 138 145 147 154 157 159 161 163 164 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 246 251 253 258 259 260 261 264 265 266 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 321 322 324 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 377 378 381 383 386 389 393 394 396 399 400 401 404 407 409 413 414 415 416 419 420 421 422 424 425 426 429 435 436 442 445 447 450 451 453 454 458 a 1 2 8 10 16 25 29 31 34 43 46 53 60 63 66 70 71 75 76 78 86 87 90 95 106 107 108 113 116 118 119 124 132 133 135 138 145 147 154 157 159 161 163 164 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 246 251 253 258 259 260 261 262 264 265 266 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 321 322 324 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 377 378 381 383 386 389 393 394 396 399 400 401 404 407 409 413 414 415 416 419 420 421 422 424 425 426 429 435 436 442 445 447 450 451 454 458 a 1 2 8 10 16 25 31 34 43 46 53 60 63 66 70 71 75 76 78 86 87 90 95 106 107 108 113 116 118 119 124 132 133 135 138 145 147 154 157 159 161 163 164 174 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 246 251 253 258 259 260 261 262 264 265 266 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 321 322 324 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 377 378 381 383 386 389 393 394 396 399 400 401 404 407 409 413 414 415 416 419 420 421 422 424 425 426 429 435 436 442 445 447 450 451 454 458 a 1 2 8 10 16 25 31 34 43 46 53 60 63 66 70 71 75 76 78 86 87 90 95 106 107 108 113 116 118 119 124 132 133 135 138 145 147 154 157 159 161 163 164 174 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 246 251 253 258 259 260 261 262 264 265 266 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 321 322 324 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 377 378 381 383 386 389 393 394 396 399 400 401 404 409 413 414 415 416 419 420 421 422 424 425 426 427 429 435 436 442 445 447 450 451 454 458 a 1 2 8 10 16 25 34 43 46 53 60 63 66 70 71 75 76 78 86 87 90 95 106 107 108 113 116 118 119 124 132 133 135 137 138 145 147 154 157 159 161 163 164 174 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 246 251 253 258 259 260 261 262 264 265 266 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 321 322 324 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 377 378 381 383 386 389 393 394 396 399 400 401 404 409 413 414 415 416 419 420 421 422 424 425 426 427 429 435 436 442 445 447 450 451 454 458 a 1 2 8 10 16 25 34 43 46 53 60 63 66 70 71 75 76 78 83 86 87 90 95 106 107 108 113 116 118 119 124 132 133 135 137 138 145 147 154 157 159 161 163 164 174 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 246 251 253 258 259 260 261 262 264 265 266 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 321 322 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 377 378 381 383 386 389 393 394 396 399 400 401 404 409 413 414 415 416 419 420 421 422 424 425 426 427 429 435 436 442 445 447 450 451 454 458 a 1 2 7 8 10 16 25 34 43 46 53 60 63 66 70 71 75 76 78 83 86 87 90 95 106 107 108 113 116 118 124 132 133 135 137 138 145 147 154 157 159 161 163 164 174 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 246 251 253 258 259 260 261 262 264 265 266 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 321 322 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 377 378 381 383 386 389 393 394 396 399 400 401 404 409 413 414 415 416 419 420 421 422 424 425 426 427 429 435 436 442 445 447 450 451 454 458 a 1 2 7 8 10 16 25 34 43 46 53 60 63 66 70 71 75 76 78 83 86 87 90 95 106 107 108 113 116 118 124 132 133 135 137 138 147 154 157 159 161 163 164 174 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 246 251 253 258 259 260 261 262 264 265 266 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 321 322 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 377 378 381 382 383 386 389 393 394 396 399 400 401 404 409 413 414 415 416 419 420 421 422 424 425 426 427 429 435 436 442 445 447 450 451 454 458 a 1 2 7 8 10 16 25 34 43 46 53 60 63 66 70 71 75 76 78 83 86 87 90 95 106 107 108 113 116 118 124 132 133 135 137 138 147 154 157 159 161 163 164 168 174 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 246 251 253 258 259 260 261 262 264 265 266 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 321 322 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 377 378 381 382 383 386 389 393 394 396 399 400 401 404 409 413 414 415 416 419 420 421 422 424 425 426 427 429 435 442 445 447 450 451 454 458 a 1 2 7 8 10 16 25 34 43 46 53 60 63 66 70 71 75 76 78 83 86 87 90 95 101 106 107 108 113 116 118 124 132 133 135 137 138 147 154 157 159 161 163 164 168 174 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 246 251 253 258 259 260 261 262 264 265 266 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 321 322 326 327 329 331 332 334 339 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 377 378 381 382 383 386 389 393 394 396 399 400 401 404 409 413 414 415 416 419 420 422 424 425 426 427 429 435 442 445 447 450 451 454 458 a 1 2 7 8 10 16 25 34 43 46 53 60 63 66 70 71 75 76 78 83 86 87 90 95 101 106 107 108 113 116 118 124 132 133 135 137 138 147 154 157 159 161 163 164 168 174 178 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 246 251 253 258 259 260 261 262 264 265 266 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 321 322 326 327 329 331 332 334 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 377 378 381 382 383 386 389 393 394 396 399 400 401 404 409 413 414 415 416 419 420 422 424 425 426 427 429 435 442 445 447 450 451 454 458 a 1 2 7 8 10 16 25 34 43 46 53 60 63 66 70 71 75 76 78 83 86 87 90 95 101 106 107 108 113 116 118 124 132 133 135 137 138 147 154 157 159 161 163 164 168 174 178 186 190 191 193 194 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 246 251 253 258 259 260 261 262 264 265 266 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 321 322 326 327 329 331 332 334 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 377 378 381 382 383 386 389 393 396 399 400 401 404 408 409 413 414 415 416 419 420 422 424 425 426 427 429 435 442 445 447 450 451 454 458 a 1 2 7 8 10 16 25 34 43 46 47 53 60 63 66 70 71 75 76 78 83 86 87 90 95 101 106 107 108 113 116 118 124 132 133 135 137 138 147 154 157 159 161 163 164 168 174 178 186 190 191 193 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 246 251 253 258 259 260 261 262 264 265 266 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 321 322 326 327 329 331 332 334 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 377 378 381 382 383 386 389 393 396 399 400 401 404 408 409 413 414 415 416 419 420 422 424 425 426 427 429 435 442 445 447 450 451 454 458 a 1 2 7 8 10 16 25 34 43 46 47 53 60 63 66 70 71 75 76 83 86 87 90 95 101 106 107 108 113 116 118 124 132 133 135 137 138 147 154 157 159 161 163 164 168 174 178 186 190 191 193 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 246 251 253 258 259 260 261 262 264 265 266 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 316 319 320 321 322 326 327 329 331 332 334 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 377 378 379 381 382 383 386 389 393 396 399 400 401 404 408 409 413 414 415 416 419 420 422 424 425 426 427 429 435 442 445 447 450 451 454 458 a 1 2 7 8 10 16 25 34 43 46 47 53 60 63 66 70 71 75 76 83 86 87 90 95 101 106 107 108 113 116 118 124 132 133 135 137 138 147 154 157 159 161 163 164 168 174 178 186 190 191 193 195 196 198 200 203 204 208 209 210 211 213 214 219 224 226 228 230 236 246 251 253 258 259 260 261 262 264 265 266 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 315 316 319 320 321 322 326 327 329 331 332 334 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 377 378 379 381 382 383 386 389 393 396 399 400 401 404 408 409 413 414 415 416 419 420 424 425 426 427 429 435 442 445 447 450 451 454 458 a 1 2 7 8 10 16 34 43 46 47 53 60 63 66 70 71 75 76 83 86 87 90 95 101 106 107 108 113 116 118 124 132 133 135 137 138 147 154 157 159 161 163 164 168 174 178 186 190 191 193 195 196 198 200 203 204 208 209 210 211 213 214 219 220 224 226 228 230 236 246 251 253 258 259 260 261 262 264 265 266 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 315 316 319 320 321 322 326 327 329 331 332 334 342 345 346 348 349 352 353 354 355 359 360 361 370 372 374 377 378 379 381 382 383 386 389 393 396 399 400 401 404 408 409 413 414 415 416 419 420 424 425 426 427 429 435 442 445 447 450 451 454 458 a 1 2 7 8 10 16 34 43 46 47 53 60 63 66 70 71 75 76 83 86 87 90 95 101 105 106 107 108 113 116 118 124 132 133 135 137 138 147 154 157 159 161 163 164 168 174 178 186 190 191 193 195 196 198 200 203 204 208 209 210 211 213 214 219 220 224 226 228 230 236 246 251 253 258 259 260 261 262 264 265 266 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 315 316 319 320 321 322 326 327 329 331 332 334 342 345 346 348 349 353 354 355 359 360 361 370 372 374 377 378 379 381 382 383 386 389 393 396 399 400 401 404 408 409 413 414 415 416 419 420 424 425 426 427 429 435 442 445 447 450 451 454 458 a 1 2 7 8 10 16 34 43 46 47 53 60 63 66 71 75 76 83 86 87 90 95 101 105 106 107 108 113 116 118 124 132 133 135 137 138 147 154 157 159 161 163 164 168 174 178 186 190 191 193 195 196 198 200 203 204 208 209 210 211 213 214 219 220 224 226 228 230 236 246 251 253 258 259 260 261 262 264 265 266 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 315 316 319 320 321 322 326 327 329 331 332 334 342 345 346 348 349 353 354 355 359 360 361 370 372 374 377 378 379 381 382 383 386 389 393 396 399 400 401 404 408 409 413 414 415 416 419 420 424 425 426 427 429 431 435 442 445 447 450 451 454 458 a 1 2 7 8 10 16 34 43 46 47 53 60 63 66 71 75 76 83 86 87 90 95 101 105 106 107 108 113 116 118 124 132 133 135 137 138 147 154 157 159 161 163 164 168 174 178 186 190 191 193 195 196 198 200 203 204 208 209 210 211 213 214 219 220 224 226 228 230 236 246 251 253 258 259 260 261 262 264 265 266 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 315 316 319 320 321 322 326 327 329 331 332 334 342 345 346 348 349 353 354 355 359 360 361 367 370 372 374 377 378 379 381 382 383 386 389 393 396 399 400 401 404 408 409 414 415 416 419 420 424 425 426 427 429 431 435 442 445 447 450 451 454 458 a 1 2 7 8 10 16 34 43 46 47 53 60 63 66 71 75 76 83 86 87 90 95 101 105 106 107 108 113 116 118 124 132 133 135 137 138 147 154 157 159 161 163 164 168 174 178 186 190 191 193 195 196 198 200 203 204 208 209 210 211 213 214 219 220 224 226 228 230 236 246 251 253 258 259 260 261 262 264 265 266 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 315 316 319 320 321 322 326 327 329 331 332 334 342 345 346 348 349 353 354 355 359 360 361 367 370 374 377 378 379 381 382 383 386 389 393 396 399 400 401 404 408 409 414 415 416 419 420 424 425 426 427 429 431 432 435 442 445 447 450 451 454 458 a 1 2 7 8 10 16 34 43 46 47 53 60 63 66 71 75 76 83 86 87 90 95 101 105 106 107 108 113 116 118 124 132 133 135 137 138 147 154 157 159 161 163 164 168 174 178 186 190 191 193 195 196 198 200 203 204 208 209 210 211 214 219 220 224 226 228 230 236 246 251 253 258 259 260 261 262 264 265 266 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 315 316 319 320 321 322 326 327 329 331 332 334 342 345 346 348 349 353 354 355 359 360 361 367 370 374 377 378 379 381 382 383 386 389 393 396 399 400 401 404 408 409 414 415 416 419 420 423 424 425 426 427 429 431 432 435 442 445 447 450 451 454 458 a 1 2 7 8 10 16 34 43 46 47 53 60 63 66 71 75 76 83 86 87 90 95 101 105 106 107 108 113 116 118 124 132 133 135 137 138 139 147 154 157 159 161 163 164 168 174 178 186 190 191 193 195 196 198 200 203 204 208 209 210 211 214 219 220 224 226 228 230 236 246 251 253 258 259 260 261 262 264 265 266 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 315 316 319 320 321 322 326 327 329 331 332 334 342 345 346 348 349 353 354 355 359 360 361 367 370 374 377 378 379 381 382 383 386 389 393 396 399 400 401 408 409 414 415 416 419 420 423 424 425 426 427 429 431 432 435 442 445 447 450 451 454 458 a 1 2 7 8 10 16 34 43 46 47 53 60 63 64 66 71 75 76 83 86 87 90 95 101 105 106 107 108 113 116 118 124 132 133 135 137 138 139 147 154 157 159 161 163 164 168 174 178 186 190 191 193 195 196 198 200 203 204 208 209 210 211 214 219 220 224 226 228 230 236 246 251 253 258 259 260 261 262 264 265 266 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 315 316 319 320 321 322 326 327 329 331 332 334 342 345 346 348 349 354 355 359 360 361 367 370 374 377 378 379 381 382 383 386 389 393 396 399 400 401 408 409 414 415 416 419 420 423 424 425 426 427 429 431 432 435 442 445 447 450 451 454 458 a 1 2 7 8 10 16 34 43 46 47 53 60 63 64 66 71 75 76 83 86 87 90 95 101 105 106 107 108 113 116 118 124 132 133 135 137 138 139 147 157 159 161 163 164 168 174 178 186 190 191 193 195 196 198 200 203 204 208 209 210 211 214 219 220 224 226 228 230 236 243 246 251 253 258 259 260 261 262 264 265 266 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 315 316 319 320 321 322 326 327 329 331 332 334 342 345 346 348 349 354 355 359 360 361 367 370 374 377 378 379 381 382 383 386 389 393 396 399 400 401 408 409 414 415 416 419 420 423 424 425 426 427 429 431 432 435 442 445 447 450 451 454 458 a 1 2 7 8 10 16 34 43 46 47 53 60 63 64 66 71 75 76 83 86 87 90 95 101 105 106 107 108 110 113 116 118 124 132 133 135 137 138 139 147 157 159 161 163 164 168 174 178 190 191 193 195 196 198 200 203 204 208 209 210 211 214 219 220 224 226 228 230 236 243 246 251 253 258 259 260 261 262 264 265 266 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 315 316 319 320 321 322 326 327 329 331 332 334 342 345 346 348 349 354 355 359 360 361 367 370 374 377 378 379 381 382 383 386 389 393 396 399 400 401 408 409 414 415 416 419 420 423 424 425 426 427 429 431 432 435 442 445 447 450 451 454 458 a 1 2 7 8 10 16 34 43 46 47 53 60 63 64 66 71 75 76 83 86 87 90 95 101 105 106 107 108 110 113 116 118 124 132 133 135 137 138 139 147 150 157 159 161 163 164 168 174 178 190 191 193 195 196 198 200 203 204 208 209 210 211 214 219 220 224 226 228 230 236 243 246 251 253 258 259 260 261 262 264 265 266 270 271 272 273 276 279 281 282 289 291 292 296 297 306 314 315 316 319 320 321 322 326 327 329 331 332 334 342 345 346 348 349 354 355 359 360 361 367 370 374 377 378 379 381 382 383 386 389 393 396 399 401 408 409 414 415 416 419 420 423 424 425 426 427 429 431 432 435 442 445 447 450 451 454 458 a 1 2 7 8 10 16 34 43 46 47 53 60 63 64 66 71 75 76 83 86 87 90 95 101 105 106 107 108 110 113 116 118 124 132 133 135 137 138 139 147 150 157 159 161 163 164 168 174 178 190 191 193 195 196 198 200 203 204 208 209 210 211 214 219 220 224 226 228 230 236 243 244 246 251 253 258 259 260 261 262 264 265 266 271 272 273 276 279 281 282 289 291 292 296 297 306 314 315 316 319 320 321 322 326 327 329 331 332 334 342 345 346 348 349 354 355 359 360 361 367 370 374 377 378 379 381 382 383 386 389 393 396 399 401 408 409 414 415 416 419 420 423 424 425 426 427 429 431 432 435 442 445 447 450 451 454 458 a 1 2 7 8 10 16 34 43 46 47 53 60 63 64 66 71 75 76 83 86 87 90 95 101 105 106 107 108 109 110 113 116 118 124 132 133 135 137 138 139 147 150 157 159 161 163 164 168 174 178 190 191 193 195 196 198 200 203 204 208 209 210 211 214 219 220 224 226 228 230 236 243 244 246 251 253 258 259 260 261 262 264 265 266 271 272 273 276 279 281 282 289 291 292 296 297 306 314 315 316 319 320 321 322 326 327 329 331 332 334 342 345 346 348 349 354 355 359 360 361 367 370 374 377 379 381 382 383 386 389 393 396 399 401 408 409 414 415 416 419 420 423 424 425 426 427 429 431 432 435 442 445 447 450 451 454 458 a 1 2 7 8 10 16 34 37 43 46 47 53 60 63 64 66 71 75 76 83 86 87 90 95 101 105 106 107 108 109 110 113 116 118 124 132 133 135 137 138 139 147 150 157 159 161 163 164 168 174 178 190 191 193 195 196 198 200 203 204 208 209 210 211 214 219 220 224 226 228 230 236 243 244 246 251 253 258 259 260 261 262 264 265 266 271 272 273 276 279 281 282 289 291 292 296 297 306 314 315 316 319 320 321 322 326 327 329 331 332 334 342 346 348 349 354 355 359 360 361 367 370 374 377 379 381 382 383 386 389 393 396 399 401 408 409 414 415 416 419 420 423 424 425 426 427 429 431 432 435 442 445 447 450 451 454 458 a 1 2 7 8 10 16 34 37 43 46 47 53 60 63 64 66 71 75 76 83 86 87 90 95 101 105 106 108 109 110 113 116 118 124 132 133 135 137 138 139 147 150 157 159 161 163 164 168 174 178 190 191 193 195 196 198 200 203 204 208 209 210 211 214 219 220 224 226 228 230 236 243 244 246 251 253 258 259 260 261 262 264 265 266 271 272 273 276 279 281 282 289 291 292 296 297 306 314 315 316 319 320 321 322 326 327 329 331 332 334 342 346 348 349 354 355 359 360 361 364 367 370 374 377 379 381 382 383 386 389 393 396 399 401 408 409 414 415 416 419 420 423 424 425 426 427 429 431 432 435 442 445 447 450 451 454 458 a 1 2 7 8 10 16 34 37 43 46 47 53 60 63 64 66 71 75 76 83 86 87 90 95 101 105 106 108 109 110 113 116 118 124 132 133 135 137 138 139 147 150 157 159 161 163 164 168 174 178 190 191 193 195 196 198 200 203 204 208 209 210 211 214 219 220 224 226 228 230 236 243 244 246 251 253 258 259 261 262 264 265 266 271 272 273 276 279 281 282 289 291 292 296 297 306 314 315 316 319 320 321 322 326 327 329 331 332 334 336 342 346 348 349 354 355 359 360 361 364 367 370 374 377 379 381 382 383 386 389 393 396 399 401 408 409 414 415 416 419 420 423 424 425 426 427 429 431 432 435 442 445 447 450 451 454 458 a 1 2 7 8 10 16 34 37 43 46 47 53 60 63 64 66 71 72 75 76 83 86 87 90 95 101 105 106 108 109 110 113 116 118 124 132 133 135 137 138 139 147 150 157 159 161 163 164 168 174 178 190 191 193 195 196 198 203 204 208 209 210 211 214 219 220 224 226 228 230 236 243 244 246 251 253 258 259 261 262 264 265 266 271 272 273 276 279 281 282 289 291 292 296 297 306 314 315 316 319 320 321 322 326 327 329 331 332 334 336 342 346 348 349 354 355 359 360 361 364 367 370 374 377 379 381 382 383 386 389 393 396 399 401 408 409 414 415 416 419 420 423 424 425 426 427 429 431 432 435 442 445 447 450 451 454 458 a 1 2 7 8 10 16 34 37 43 46 47 53 60 63 64 66 71 72 75 76 83 86 87 90 95 101 105 106 108 109 110 116 118 124 132 133 135 137 138 139 147 150 157 159 161 163 164 168 174 178 190 191 193 195 196 198 203 204 208 209 210 211 214 219 220 224 226 228 230 236 243 244 246 251 253 258 259 261 262 264 265 266 271 272 273 276 279 281 282 289 291 292 295 296 297 306 314 315 316 319 320 321 322 326 327 329 331 332 334 336 342 346 348 349 354 355 359 360 361 364 367 370 374 377 379 381 382 383 386 389 393 396 399 401 408 409 414 415 416 419 420 423 424 425 426 427 429 431 432 435 442 445 447 450 451 454 458 a 1 2 7 8 10 16 34 37 43 46 47 53 60 63 64 66 71 72 75 76 83 86 87 90 95 101 105 106 108 109 110 114 116 118 124 132 133 135 137 138 139 147 150 157 159 161 163 164 168 174 178 190 191 193 196 198 203 204 208 209 210 211 214 219 220 224 226 228 230 236 243 244 246 251 253 258 259 261 262 264 265 266 271 272 273 276 279 281 282 289 291 292 295 296 297 306 314 315 316 319 320 321 322 326 327 329 331 332 334 336 342 346 348 349 354 355 359 360 361 364 367 370 374 377 379 381 382 383 386 389 393 396 399 401 408 409 414 415 416 419 420 423 424 425 426 427 429 431 432 435 442 445 447 450 451 454 458 a 1 2 7 8 10 16 34 37 43 46 47 60 63 64 66 71 72 75 76 83 86 87 90 95 101 105 106 108 109 110 114 116 118 124 132 133 135 137 138 139 147 150 157 159 161 163 164 168 174 178 190 191 193 196 198 203 204 208 209 210 211 214 219 220 224 226 228 230 236 243 244 246 251 253 258 259 261 262 264 265 266 271 272 273 276 279 281 282 289 291 292 295 296 297 306 314 315 316 319 320 321 322 326 327 329 331 332 334 336 342 346 348 349 354 355 359 360 361 364 367 370 374 377 379 381 382 383 386 389 393 396 399 401 408 409 414 415 416 419 420 423 424 425 426 427 429 431 432 435 442 445 447 450 451 454 458 467 a 1 2 7 8 10 16 34 37 43 46 47 60 63 64 66 71 72 75 76 83 86 87 90 95 101 105 106 108 109 110 114 116 118 124 132 133 135 137 138 139 147 150 157 159 161 163 164 168 174 178 190 191 193 196 198 203 204 208 209 210 211 214 219 220 224 226 228 230 236 243 244 246 251 253 258 259 261 262 264 265 266 271 272 273 276 279 281 282 286 289 291 292 295 296 297 306 314 315 316 319 320 321 322 326 327 331 332 334 336 342 346 348 349 354 355 359 360 361 364 367 370 374 377 379 381 382 383 386 389 393 396 399 401 408 409 414 415 416 419 420 423 424 425 426 427 429 431 432 435 442 445 447 450 451 454 458 467 a 1 2 7 8 10 16 34 37 43 46 47 60 63 64 66 71 72 75 76 83 86 87 90 95 101 105 106 108 109 110 114 116 118 124 132 133 135 137 138 139 147 150 157 159 161 163 164 168 174 178 190 191 193 196 198 203 204 208 209 210 211 214 219 220 224 226 228 230 236 243 244 246 249 251 253 258 259 261 262 264 265 266 271 272 273 276 279 281 282 286 289 291 292 295 296 306 314 315 316 319 320 321 322 326 327 331 332 334 336 342 346 348 349 354 355 359 360 361 364 367 370 374 377 379 381 382 383 386 389 393 396 399 401 408 409 414 415 416 419 420 423 424 425 426 427 429 431 432 435 442 445 447 450 451 454 458 467 a 1 2 7 8 10 16 34 37 43 46 47 60 63 64 66 71 72 75 76 83 86 87 90 95 101 103 105 106 108 109 110 114 116 118 124 132 133 135 137 138 139 147 150 157 159 161 163 164 168 174 178 190 191 193 196 198 203 204 208 209 210 211 214 219 220 224 226 228 230 236 243 244 246 249 251 253 258 259 261 262 264 265 266 271 272 273 276 279 281 282 286 289 291 292 295 296 306 314 315 316 319 320 321 322 326 327 331 332 334 336 342 346 348 349 354 355 359 360 361 364 367 370 374 377 379 381 382 383 386 389 393 396 399 401 408 409 414 415 416 419 420 423 425 426 427 429 431 432 435 442 445 447 450 451 454 458 467 a 1 2 7 8 10 16 34 37 43 46 47 60 63 64 66 71 72 75 76 83 86 87 90 95 101 103 105 106 108 109 110 114 116 118 124 132 133 135 137 138 139 147 150 156 157 159 161 163 164 168 174 178 190 191 193 196 198 203 204 208 209 210 211 214 219 220 224 226 228 230 236 243 244 246 249 251 253 258 259 261 262 264 265 271 272 273 276 279 281 282 286 289 291 292 295 296 306 314 315 316 319 320 321 322 326 327 331 332 334 336 342 346 348 349 354 355 359 360 361 364 367 370 374 377 379 381 382 383 386 389 393 396 399 401 408 409 414 415 416 419 420 423 425 426 427 429 431 432 435 442 445 447 450 451 454 458 467 a 1 2 7 8 10 16 34 37 43 46 47 60 63 64 66 71 72 75 76 83 86 87 90 95 101 103 105 106 108 109 110 114 116 118 124 132 133 135 137 138 139 147 150 156 157 159 161 163 164 168 174 178 190 191 193 196 198 203 204 208 209 210 211 214 219 220 224 226 228 230 236 243 244 246 249 251 253 258 259 261 262 264 265 271 272 273 276 279 281 282 286 289 291 292 295 296 306 314 315 316 319 320 321 322 326 327 331 332 334 336 342 346 348 349 354 355 356 359 360 361 364 367 370 374 377 379 381 382 383 386 389 393 399 401 408 409 414 415 416 419 420 423 425 426 427 429 431 432 435 442 445 447 450 451 454 458 467 a 1 2 7 8 10 16 34 37 43 46 47 60 63 64 66 71 72 75 76 83 86 87 90 95 101 103 105 106 108 109 110 114 116 118 124 132 133 135 137 138 139 147 150 156 157 159 161 163 164 168 174 178 190 191 193 196 198 203 204 208 209 210 211 214 219 220 222 224 226 228 230 236 243 244 246 249 251 253 258 259 261 262 264 265 271 272 273 276 279 281 282 286 289 291 292 295 296 306 314 315 316 319 320 321 322 326 327 331 332 334 336 342 346 348 349 354 355 356 359 360 361 364 367 370 374 377 379 381 382 383 386 389 393 399 401 408 409 415 416 419 420 423 425 426 427 429 431 432 435 442 445 447 450 451 454 458 467 a 1 2 7 8 10 16 34 37 43 46 47 60 63 64 66 71 72 75 76 83 86 87 90 95 101 103 105 106 108 109 110 114 116 118 124 132 133 135 137 138 139 147 150 156 157 158 159 161 163 164 168 174 178 190 191 193 196 198 203 204 208 209 210 211 214 219 220 222 224 226 228 230 236 243 244 246 249 251 253 258 259 261 262 264 265 271 272 273 276 279 281 282 286 289 291 292 295 296 306 314 315 316 319 320 321 322 326 327 331 332 334 336 342 346 348 354 355 356 359 360 361 364 367 370 374 377 379 381 382 383 386 389 393 399 401 408 409 415 416 419 420 423 425 426 427 429 431 432 435 442 445 447 450 451 454 458 467 a 1 2 7 8 10 16 34 37 43 46 47 60 63 64 66 71 72 75 76 83 86 87 90 95 101 103 105 106 108 109 110 114 116 118 124 132 133 135 137 138 139 147 150 156 157 158 159 161 163 164 168 174 178 190 191 193 196 198 203 204 208 209 210 211 214 219 220 222 224 226 228 230 236 243 244 246 249 251 253 258 259 261 262 264 265 271 272 273 276 279 281 282 286 289 291 292 295 296 306 314 315 316 319 320 321 322 326 327 331 332 334 336 342 346 348 354 355 356 359 360 361 364 367 370 374 377 379 381 382 386 389 393 399 401 408 409 415 416 419 420 423 425 426 427 429 431 432 434 435 442 445 447 450 451 454 458 467 a 1 2 7 8 10 16 34 37 43 46 47 60 63 64 66 71 72 75 76 83 86 87 90 95 101 103 105 106 108 109 110 114 116 118 124 132 133 135 137 138 139 147 150 156 157 158 159 163 164 168 174 178 190 191 193 196 198 203 204 208 209 210 211 214 219 220 222 224 226 228 230 234 236 243 244 246 249 251 253 258 259 261 262 264 265 271 272 273 276 279 281 282 286 289 291 292 295 296 306 314 315 316 319 320 321 322 326 327 331 332 334 336 342 346 348 354 355 356 359 360 361 364 367 370 374 377 379 381 382 386 389 393 399 401 408 409 415 416 419 420 423 425 426 427 429 431 432 434 435 442 445 447 450 451 454 458 467 a 1 2 7 8 10 16 34 37 43 46 47 60 63 64 66 69 71 72 75 76 83 86 87 90 95 101 103 105 106 108 109 110 114 116 118 124 132 133 135 137 138 139 147 150 156 157 158 159 163 164 168 174 178 190 191 193 196 198 203 204 208 209 210 211 214 219 220 222 224 226 228 230 234 236 243 244 246 249 251 253 258 259 261 262 264 265 271 272 273 276 279 281 282 286 289 291 292 295 296 306 314 315 316 319 320 321 322 326 327 331 332 334 336 342 346 348 354 355 356 359 360 361 364 367 374 377 379 381 382 386 389 393 399 401 408 409 415 416 419 420 423 425 426 427 429 431 432 434 435 442 445 447 450 451 454 458 467 a 2 7 8 10 16 34 37 43 46 47 60 63 64 66 69 71 72 75 76 83 86 87 90 95 101 103 105 106 108 109 110 114 116 118 124 132 133 135 137 138 139 147 150 156 157 158 159 163 164 168 174 178 190 191 193 196 198 203 204 208 209 210 211 214 219 220 222 224 226 228 230 234 236 243 244 246 249 251 253 258 259 261 262 264 265 271 272 273 276 279 281 282 286 289 291 292 295 296 306 314 315 316 319 320 321 322 326 327 331 332 334 336 342 346 348 354 355 356 359 360 361 364 367 374 377 379 381 382 386 389 393 399 401 408 409 415 416 419 420 423 425 426 427 429 431 432 434 435 442 445 447 450 451 454 456 458 467 a 2 7 8 10 16 34 37 43 46 47 60 63 64 66 69 71 72 75 76 83 86 87 90 95 101 103 105 106 108 109 110 114 116 118 124 132 133 135 137 138 139 147 148 150 156 157 158 159 163 164 168 174 178 190 191 193 196 198 203 204 208 209 210 211 214 219 220 222 224 226 228 230 234 236 243 244 246 249 251 253 258 259 261 262 264 265 271 272 273 276 279 281 282 286 289 291 292 295 296 306 314 315 316 319 320 321 322 326 327 331 332 334 336 342 346 348 354 355 356 359 360 361 364 367 374 377 379 381 382 386 393 399 401 408 409 415 416 419 420 423 425 426 427 429 431 432 434 435 442 445 447 450 451 454 456 458 467 a 7 8 10 16 34 37 43 46 47 60 63 64 66 69 71 72 75 76 83 86 87 90 95 101 103 105 106 108 109 110 114 116 118 124 132 133 135 137 138 139 147 148 150 156 157 158 159 163 164 168 174 178 190 191 193 196 198 203 204 208 209 210 211 214 219 220 222 224 226 228 230 234 235 236 243 244 246 249 251 253 258 259 261 262 264 265 271 272 273 276 279 281 282 286 289 291 292 295 296 306 314 315 316 319 320 321 322 326 327 331 332 334 336 342 346 348 354 355 356 359 360 361 364 367 374 377 379 381 382 386 393 399 401 408 409 415 416 419 420 423 425 426 427 429 431 432 434 435 442 445 447 450 451 454 456 458 467 a 7 8 9 10 16 34 37 43 46 47 60 63 64 66 69 71 72 75 76 83 86 87 90 95 101 103 105 106 108 109 110 114 116 118 124 132 133 135 137 138 139 147 148 150 156 157 158 159 163 164 168 174 178 190 191 193 196 198 203 204 208 209 210 211 214 219 220 222 224 226 228 230 234 235 236 243 244 246 249 251 258 259 261 262 264 265 271 272 273 276 279 281 282 286 289 291 292 295 296 306 314 315 316 319 320 321 322 326 327 331 332 334 336 342 346 348 354 355 356 359 360 361 364 367 374 377 379 381 382 386 393 399 401 408 409 415 416 419 420 423 425 426 427 429 431 432 434 435 442 445 447 450 451 454 456 458 467 a 7 8 9 10 16 34 37 43 46 47 49 60 63 64 66 69 71 72 76 83 86 87 90 95 101 103 105 106 108 109 110 114 116 118 124 132 133 135 137 138 139 147 148 150 156 157 158 159 163 164 168 174 178 190 191 193 196 198 203 204 208 209 210 211 214 219 220 222 224 226 228 230 234 235 236 243 244 246 249 251 258 259 261 262 264 265 271 272 273 276 279 281 282 286 289 291 292 295 296 306 314 315 316 319 320 321 322 326 327 331 332 334 336 342 346 348 354 355 356 359 360 361 364 367 374 377 379 381 382 386 393 399 401 408 409 415 416 419 420 423 425 426 427 429 431 432 434 435 442 445 447 450 451 454 456 458 467 a 7 8 9 10 16 34 37 43 46 47 49 60 63 64 66 68 69 71 72 76 83 86 87 90 95 101 103 105 106 108 109 110 114 116 118 124 132 133 135 137 138 139 147 148 150 156 157 158 159 163 164 168 174 178 190 191 193 196 198 203 204 208 209 210 211 214 219 220 222 224 226 228 230 234 235 236 243 244 246 249 251 258 259 261 262 264 265 271 272 273 276 279 281 282 286 289 291 292 295 296 306 314 315 316 319 320 321 322 326 327 331 332 334 336 342 346 348 354 355 356 359 360 361 364 367 374 377 379 381 382 386 393 399 408 409 415 416 419 420 423 425 426 427 429 431 432 434 435 442 445 447 450 451 454 456 458 467 a 7 8 9 10 16 34 37 43 46 47 49 60 63 64 66 68 69 71 72 76 83 86 87 90 95 101 103 105 106 108 109 110 114 116 118 124 132 133 135 137 138 139 147 148 150 156 157 158 159 163 164 168 174 178 190 191 193 196 198 203 204 208 209 210 211 214 219 220 222 224 226 228 230 234 235 236 243 244 246 249 251 258 259 261 262 264 265 272 273 276 279 281 282 286 289 291 292 295 296 306 314 315 316 319 320 321 322 326 327 331 332 334 336 342 346 348 354 355 356 359 360 361 364 367 374 377 379 381 382 386 393 399 408 409 415 416 419 420 423 425 426 427 429 431 432 434 435 442 445 447 450 451 454 455 456 458 467 a 7 8 9 10 16 34 37 43 46 47 49 60 63 64 66 68 69 71 72 76 83 86 87 90 95 101 103 105 106 108 109 110 114 116 118 124 132 133 134 135 137 138 139 147 148 150 156 157 158 159 163 164 168 174 178 190 191 193 196 198 203 204 208 209 210 211 214 219 220 222 224 226 228 230 234 235 236 243 244 246 249 251 258 259 261 262 264 265 272 273 276 279 281 282 286 289 291 292 295 296 306 314 315 316 319 320 321 322 326 327 331 334 336 342 346 348 354 355 356 359 360 361 364 367 374 377 379 381 382 386 393 399 408 409 415 416 419 420 423 425 426 427 429 431 432 434 435 442 445 447 450 451 454 455 456 458 467 a 7 8 9 10 16 34 37 43 46 47 49 60 63 64 66 68 69 71 72 76 83 86 87 90 95 101 103 105 106 108 109 110 114 116 118 124 132 133 134 135 137 138 139 147 148 150 156 157 158 159 163 164 168 174 178 190 191 193 196 198 204 208 209 210 211 214 219 220 222 224 226 228 230 234 235 236 243 244 246 249 251 258 259 261 262 264 265 272 273 276 277 279 281 282 286 289 291 292 295 296 306 314 315 316 319 320 321 322 326 327 331 334 336 342 346 348 354 355 356 359 360 361 364 367 374 377 379 381 382 386 393 399 408 409 415 416 419 420 423 425 426 427 429 431 432 434 435 442 445 447 450 451 454 455 456 458 467 a 7 8 9 10 16 20 34 37 43 46 47 49 60 63 64 66 68 69 71 72 76 83 86 87 90 95 101 103 105 106 108 109 110 114 116 118 124 132 133 134 135 137 138 139 147 148 150 156 157 158 159 163 164 168 174 178 190 191 193 196 198 204 208 209 210 211 214 219 220 222 224 226 228 230 234 235 236 243 244 246 249 251 258 259 261 262 264 265 272 273 276 277 279 281 282 286 289 291 292 295 296 306 315 316 319 320 321 322 326 327 331 334 336 342 346 348 354 355 356 359 360 361 364 367 374 377 379 381 382 386 393 399 408 409 415 416 419 420 423 425 426 427 429 431 432 434 435 442 445 447 450 451 454 455 456 458 467 a 7 8 9 10 16 17 20 34 37 43 46 47 49 60 63 64 66 68 69 71 72 76 83 86 87 90 95 101 103 105 106 108 109 110 114 116 118 124 132 134 135 137 138 139 147 148 150 156 157 158 159 163 164 168 174 178 190 191 193 196 198 204 208 209 210 211 214 219 220 222 224 226 228 230 234 235 236 243 244 246 249 251 258 259 261 262 264 265 272 273 276 277 279 281 282 286 289 291 292 295 296 306 315 316 319 320 321 322 326 327 331 334 336 342 346 348 354 355 356 359 360 361 364 367 374 377 379 381 382 386 393 399 408 409 415 416 419 420 423 425 426 427 429 431 432 434 435 442 445 447 450 451 454 455 456 458 467 a 7 8 9 10 16 17 20 34 37 43 46 47 49 60 63 64 66 68 69 71 72 76 80 83 86 87 90 95 101 103 105 106 108 109 110 114 116 118 124 132 134 135 137 138 139 147 148 150 156 157 158 159 163 164 168 174 178 190 191 193 196 198 204 208 209 210 211 214 219 220 222 224 226 228 230 234 235 236 243 244 246 249 251 258 259 261 262 264 265 272 273 276 277 279 281 282 286 289 291 292 295 296 306 315 316 319 320 321 322 326 327 331 334 336 342 346 348 354 355 356 359 360 361 364 367 374 377 379 381 382 386 393 399 408 409 415 416 419 420 423 425 426 427 429 431 432 434 435 445 447 450 451 454 455 456 458 467 a 7 8 9 10 16 17 20 34 37 43 47 49 60 63 64 66 68 69 71 72 76 80 83 86 87 90 95 101 103 105 106 108 109 110 114 116 118 124 132 134 135 137 138 139 147 148 150 156 157 158 159 163 164 168 174 178 190 191 193 196 198 204 208 209 210 211 214 219 220 222 224 226 228 230 234 235 236 243 244 246 249 251 257 258 259 261 262 264 265 272 273 276 277 279 281 282 286 289 291 292 295 296 306 315 316 319 320 321 322 326 327 331 334 336 342 346 348 354 355 356 359 360 361 364 367 374 377 379 381 382 386 393 399 408 409 415 416 419 420 423 425 426 427 429 431 432 434 435 445 447 450 451 454 455 456 458 467 a 7 8 9 10 16 17 20 34 37 43 47 49 60 63 64 68 69 71 72 76 80 83 86 87 90 95 101 103 105 106 108 109 110 114 116 118 124 132 134 135 137 138 139 146 147 148 150 156 157 158 159 163 164 168 174 178 190 191 193 196 198 204 208 209 210 211 214 219 220 222 224 226 228 230 234 235 236 243 244 246 249 251 257 258 259 261 262 264 265 272 273 276 277 279 281 282 286 289 291 292 295 296 306 315 316 319 320 321 322 326 327 331 334 336 342 346 348 354 355 356 359 360 361 364 367 374 377 379 381 382 386 393 399 408 409 415 416 419 420 423 425 426 427 429 431 432 434 435 445 447 450 451 454 455 456 458 467 a 7 8 9 10 16 17 20 34 37 43 47 49 60 63 64 68 69 71 72 76 80 83 86 87 90 95 101 103 105 106 108 109 110 114 116 118 124 132 134 135 137 138 139 146 147 148 150 156 157 158 159 163 164 168 174 178 190 191 193 196 198 204 208 209 210 211 214 215 219 220 222 224 226 230 234 235 236 243 244 246 249 251 257 258 259 261 262 264 265 272 273 276 277 279 281 282 286 289 291 292 295 296 306 315 316 319 320 321 322 326 327 331 334 336 342 346 348 354 355 356 359 360 361 364 367 374 377 379 381 382 386 393 399 408 409 415 416 419 420 423 425 426 427 429 431 432 434 435 445 447 450 451 454 455 456 458 467 a 7 8 9 10 16 17 20 34 37 43 47 49 60 63 64 68 69 71 72 76 80 83 86 87 90 95 101 103 105 106 108 109 110 114 116 118 124 132 134 135 137 138 139 146 147 148 150 156 157 158 159 163 164 168 174 177 178 190 191 193 198 204 208 209 210 211 214 215 219 220 222 224 226 230 234 235 236 243 244 246 249 251 257 258 259 261 262 264 265 272 273 276 277 279 281 282 286 289 291 292 295 296 306 315 316 319 320 321 322 326 327 331 334 336 342 346 348 354 355 356 359 360 361 364 367 374 377 379 381 382 386 393 399 408 409 415 416 419 420 423 425 426 427 429 431 432 434 435 445 447 450 451 454 455 456 458 467 a 7 8 9 10 16 17 20 34 37 43 47 49 60 63 64 68 69 71 72 76 80 83 86 87 88 90 95 101 103 105 106 108 109 110 114 116 118 124 132 134 135 137 138 139 146 147 148 150 156 157 158 159 163 164 168 174 177 178 190 191 193 198 204 208 209 211 214 215 219 220 222 224 226 230 234 235 236 243 244 246 249 251 257 258 259 261 262 264 265 272 273 276 277 279 281 282 286 289 291 292 295 296 306 315 316 319 320 321 322 326 327 331 334 336 342 346 348 354 355 356 359 360 361 364 367 374 377 379 381 382 386 393 399 408 409 415 416 419 420 423 425 426 427 429 431 432 434 435 445 447 450 451 454 455 456 458 467 a 7 8 9 10 16 17 20 34 37 43 47 49 60 63 64 68 69 71 72 76 80 83 86 87 88 90 95 101 103 104 105 106 108 109 110 114 116 118 124 132 134 135 137 138 139 146 147 148 150 156 157 158 159 164 168 174 177 178 190 191 193 198 204 208 209 211 214 215 219 220 222 224 226 230 234 235 236 243 244 246 249 251 257 258 259 261 262 264 265 272 273 276 277 279 281 282 286 289 291 292 295 296 306 315 316 319 320 321 322 326 327 331 334 336 342 346 348 354 355 356 359 360 361 364 367 374 377 379 381 382 386 393 399 408 409 415 416 419 420 423 425 426 427 429 431 432 434 435 445 447 450 451 454 455 456 458 467 a 7 8 9 10 16 17 20 34 37 43 47 49 60 63 64 68 69 71 72 76 80 83 86 87 88 90 95 101 103 104 105 106 108 109 110 114 116 118 124 132 134 135 137 138 139 146 147 148 150 156 157 158 159 164 168 174 177 178 190 191 193 198 204 208 209 211 214 215 219 220 222 224 226 230 234 235 236 243 244 246 249 251 257 258 259 261 262 264 265 272 273 276 277 279 281 282 285 286 289 291 292 295 296 306 315 319 320 321 322 326 327 331 334 336 342 346 348 354 355 356 359 360 361 364 367 374 377 379 381 382 386 393 399 408 409 415 416 419 420 423 425 426 427 429 431 432 434 435 445 447 450 451 454 455 456 458 467 a 7 8 9 10 16 17 20 34 37 43 47 49 60 63 64 68 69 71 72 76 80 83 86 87 88 90 95 101 103 104 105 106 108 109 110 114 116 118 124 132 134 135 137 138 139 146 147 148 150 156 157 158 159 164 168 174 177 178 187 190 191 193 198 204 208 209 211 214 215 219 220 222 224 226 230 234 235 236 243 244 246 249 251 257 258 259 261 262 264 265 272 273 276 277 279 281 282 285 286 289 291 292 295 296 306 315 319 320 321 322 326 331 334 336 342 346 348 354 355 356 359 360 361 364 367 374 377 379 381 382 386 393 399 408 409 415 416 419 420 423 425 426 427 429 431 432 434 435 445 447 450 451 454 455 456 458 467 a 7 8 9 10 16 17 20 34 37 43 47 49 60 63 64 68 69 71 72 76 80 83 86 87 88 90 95 101 103 104 105 106 108 109 110 114 116 118 124 132 134 135 137 138 139 146 147 148 150 156 157 158 159 164 168 174 177 178 187 190 191 193 198 204 208 209 211 214 215 219 220 222 224 226 230 234 235 236 243 244 246 249 251 257 258 259 261 262 264 265 272 273 276 277 279 281 282 285 286 289 291 292 295 296 306 315 319 320 321 322 326 331 334 336 337 342 346 348 354 355 356 360 361 364 367 374 377 379 381 382 386 393 399 408 409 415 416 419 420 423 425 426 427 429 431 432 434 435 445 447 450 451 454 455 456 458 467 a 7 8 9 10 16 17 20 34 37 43 47 49 60 63 64 68 69 71 72 76 80 83 85 86 87 88 90 101 103 104 105 106 108 109 110 114 116 118 124 132 134 135 137 138 139 146 147 148 150 156 157 158 159 164 168 174 177 178 187 190 191 193 198 204 208 209 211 214 215 219 220 222 224 226 230 234 235 236 243 244 246 249 251 257 258 259 261 262 264 265 272 273 276 277 279 281 282 285 286 289 291 292 295 296 306 315 319 320 321 322 326 331 334 336 337 342 346 348 354 355 356 360 361 364 367 374 377 379 381 382 386 393 399 408 409 415 416 419 420 423 425 426 427 429 431 432 434 435 445 447 450 451 454 455 456 458 467 a 7 8 9 10 12 16 17 20 34 37 43 47 49 60 63 64 68 69 71 72 76 80 83 85 86 87 88 90 101 103 104 105 106 108 109 110 114 116 118 124 132 134 135 137 138 139 146 147 148 150 156 157 158 159 164 168 174 177 178 187 190 191 193 198 204 208 209 211 214 215 219 220 222 224 226 230 234 235 236 243 244 246 249 251 257 258 259 261 262 264 265 272 273 276 277 279 281 282 285 286 289 291 292 295 296 306 315 319 320 321 322 326 334 336 337 342 346 348 354 355 356 360 361 364 367 374 377 379 381 382 386 393 399 408 409 415 416 419 420 423 425 426 427 429 431 432 434 435 445 447 450 451 454 455 456 458 467 a 7 8 9 10 12 16 17 20 34 37 43 47 49 60 63 64 68 69 71 72 76 80 83 85 86 87 88 90 101 103 104 105 106 108 109 110 114 116 118 124 132 134 135 137 138 139 146 147 148 150 156 157 158 159 164 168 174 177 178 187 190 191 193 198 204 208 209 211 214 215 219 220 222 224 226 230 234 235 236 243 244 246 249 251 257 258 259 261 262 264 265 269 272 273 276 277 279 281 282 285 286 289 291 292 295 296 306 315 319 320 321 322 326 334 336 337 342 346 348 354 355 356 360 364 367 374 377 379 381 382 386 393 399 408 409 415 416 419 420 423 425 426 427 429 431 432 434 435 445 447 450 451 454 455 456 458 467 a 7 8 9 10 12 16 17 20 34 37 43 47 49 60 63 64 68 69 71 72 76 80 83 85 86 87 88 90 101 103 104 105 106 108 109 110 114 116 118 124 132 134 135 137 138 139 146 147 148 150 156 157 158 159 164 168 174 177 178 187 190 191 193 198 204 208 209 211 214 215 219 220 222 224 226 230 234 235 236 243 244 246 249 251 257 258 259 261 262 264 265 269 272 273 276 277 279 281 282 285 286 289 291 292 295 296 306 315 319 320 321 326 334 336 337 342 346 348 354 355 356 360 364 367 371 374 377 379 381 382 386 393 399 408 409 415 416 419 420 423 425 426 427 429 431 432 434 435 445 447 450 451 454 455 456 458 467 a 7 8 9 10 12 16 17 20 34 37 43 47 49 60 63 64 68 69 71 72 76 80 83 85 86 87 88 90 101 103 104 105 106 108 109 110 114 116 118 124 132 134 135 137 138 139 146 147 148 150 156 157 158 159 164 168 174 177 178 187 190 191 193 198 204 206 208 209 211 214 215 219 220 222 224 226 230 234 235 236 243 244 246 249 251 257 258 259 261 262 264 265 269 272 273 276 277 279 281 282 285 286 289 291 292 295 296 306 315 319 320 321 326 334 336 337 342 346 348 354 355 356 360 364 367 371 377 379 381 382 386 393 399 408 409 415 416 419 420 423 425 426 427 429 431 432 434 435 445 447 450 451 454 455 456 458 467 a 3 7 8 9 10 12 16 17 20 34 37 43 47 49 60 63 64 68 69 71 72 76 80 83 85 86 88 90 101 103 104 105 106 108 109 110 114 116 118 124 132 134 135 137 138 139 146 147 148 150 156 157 158 159 164 168 174 177 178 187 190 191 193 198 204 206 208 209 211 214 215 219 220 222 224 226 230 234 235 236 243 244 246 249 251 257 258 259 261 262 264 265 269 272 273 276 277 279 281 282 285 286 289 291 292 295 296 306 315 319 320 321 326 334 336 337 342 346 348 354 355 356 360 364 367 371 377 379 381 382 386 393 399 408 409 415 416 419 420 423 425 426 427 429 431 432 434 435 445 447 450 451 454 455 456 458 467 a 3 7 8 9 10 12 16 17 20 34 37 43 47 49 60 63 64 68 69 71 72 76 80 83 85 86 88 90 101 103 104 105 106 108 109 110 114 116 118 124 128 132 134 135 137 138 139 146 147 148 150 156 157 158 159 164 168 174 177 178 187 190 191 193 198 204 206 208 209 211 214 215 220 222 224 226 230 234 235 236 243 244 246 249 251 257 258 259 261 262 264 265 269 272 273 276 277 279 281 282 285 286 289 291 292 295 296 306 315 319 320 321 326 334 336 337 342 346 348 354 355 356 360 364 367 371 377 379 381 382 386 393 399 408 409 415 416 419 420 423 425 426 427 429 431 432 434 435 445 447 450 451 454 455 456 458 467 a 3 7 8 9 10 12 16 17 20 34 37 43 47 49 60 63 64 68 69 71 72 80 83 85 86 88 90 101 103 104 105 106 108 109 110 114 116 118 124 128 132 134 135 137 138 139 144 146 147 148 150 156 157 158 159 164 168 174 177 178 187 190 191 193 198 204 206 208 209 211 214 215 220 222 224 226 230 234 235 236 243 244 246 249 251 257 258 259 261 262 264 265 269 272 273 276 277 279 281 282 285 286 289 291 292 295 296 306 315 319 320 321 326 334 336 337 342 346 348 354 355 356 360 364 367 371 377 379 381 382 386 393 399 408 409 415 416 419 420 423 425 426 427 429 431 432 434 435 445 447 450 451 454 455 456 458 467 a 3 7 8 9 10 12 16 17 20 34 37 43 47 49 60 63 64 68 69 71 72 80 83 85 86 88 90 101 103 104 105 106 108 109 110 114 116 120 124 128 132 134 135 137 138 139 144 146 147 148 150 156 157 158 159 164 168 174 177 178 187 190 191 193 198 204 206 208 209 211 214 215 220 222 224 226 230 234 235 236 243 244 246 249 251 257 258 259 261 262 264 265 269 272 273 276 277 279 281 282 285 286 289 291 292 295 296 306 315 319 320 321 326 334 336 337 342 346 348 354 355 356 360 364 367 371 377 379 381 382 386 393 399 408 409 415 416 419 420 423 425 426 427 429 431 432 434 435 445 447 450 451 454 455 456 458 467 a 3 7 8 9 10 12 16 17 20 34 37 43 47 49 60 63 64 68 69 71 72 80 83 85 86 88 90 101 103 104 105 106 108 109 110 114 116 120 124 128 132 134 135 137 138 139 144 146 147 148 150 156 157 158 159 164 168 174 177 178 187 190 191 193 198 204 206 208 209 211 214 215 220 222 224 226 230 234 235 236 243 244 246 249 251 257 258 259 261 262 264 265 269 272 273 276 277 279 281 282 285 286 289 291 292 295 296 301 306 315 319 320 321 326 334 336 337 342 346 348 354 355 356 360 364 367 371 377 379 381 382 386 393 399 408 409 415 416 419 420 423 425 426 427 429 431 432 434 445 447 450 451 454 455 456 458 467 a 3 7 8 9 10 12 16 17 20 34 37 43 47 49 60 63 64 68 69 71 72 80 83 85 86 88 89 90 101 103 104 105 106 108 109 110 114 116 120 124 128 132 134 135 137 138 139 144 146 147 148 150 156 157 158 159 164 168 174 177 178 187 190 191 193 198 204 206 208 209 211 214 215 220 222 224 226 230 234 235 236 243 244 246 249 251 257 258 259 261 262 264 265 269 273 276 277 279 281 282 285 286 289 291 292 295 296 301 306 315 319 320 321 326 334 336 337 342 346 348 354 355 356 360 364 367 371 377 379 381 382 386 393 399 408 409 415 416 419 420 423 425 426 427 429 431 432 434 445 447 450 451 454 455 456 458 467 a 3 7 8 9 10 12 16 17 20 34 37 43 47 49 60 63 64 68 69 71 72 80 83 85 86 88 89 90 101 103 104 105 106 108 109 110 114 116 120 124 128 132 134 135 137 138 139 144 146 147 148 150 156 157 158 159 164 168 174 177 178 187 190 191 193 198 204 206 208 209 211 214 215 220 222 224 226 230 234 235 236 243 244 246 249 257 258 259 261 262 264 265 269 273 276 277 279 281 282 285 286 289 291 292 295 296 301 306 315 319 320 321 326 334 336 337 342 346 348 354 355 356 360 364 367 371 375 377 379 381 382 386 393 399 408 409 415 416 419 420 423 425 426 427 429 431 432 434 445 447 450 451 454 455 456 458 467 a 3 7 8 9 10 12 16 17 20 34 37 43 47 49 60 63 64 68 69 71 72 80 83 85 88 89 90 101 103 104 105 106 108 109 110 114 116 120 124 128 132 134 135 137 138 139 144 146 147 148 150 156 157 158 159 164 168 174 177 178 187 190 191 193 198 204 206 208 209 211 214 215 220 222 224 226 230 234 235 236 243 244 246 249 257 258 259 261 262 264 265 269 273 276 277 279 281 282 285 286 289 291 292 295 296 301 306 315 319 320 321 326 334 336 337 342 346 348 354 355 356 360 364 367 371 375 377 379 381 382 384 386 393 399 408 409 415 416 419 420 423 425 426 427 429 431 432 434 445 447 450 451 454 455 456 458 467 a 3 7 8 9 10 12 16 17 20 34 37 43 47 49 59 60 63 64 68 69 71 72 80 83 85 88 89 90 101 103 104 105 106 108 109 110 114 116 120 124 128 132 134 135 137 138 139 144 146 147 148 150 156 157 158 159 164 168 174 177 178 187 190 191 193 198 204 206 208 209 211 214 215 220 222 224 226 230 234 235 236 243 244 246 249 257 258 259 261 262 264 265 269 273 277 279 281 282 285 286 289 291 292 295 296 301 306 315 319 320 321 326 334 336 337 342 346 348 354 355 356 360 364 367 371 375 377 379 381 382 384 386 393 399 408 409 415 416 419 420 423 425 426 427 429 431 432 434 445 447 450 451 454 455 456 458 467 a 3 7 8 9 10 12 16 17 20 34 37 43 47 49 59 60 63 64 68 69 71 72 80 83 85 88 89 90 101 103 104 105 106 108 109 110 114 116 120 124 128 132 134 135 137 138 139 144 146 147 148 150 156 157 158 159 164 168 174 177 178 183 187 190 191 193 198 204 206 208 209 211 214 215 220 222 224 226 230 234 235 236 243 244 246 249 257 258 259 261 262 264 265 269 273 277 279 281 282 285 286 289 291 292 295 296 301 306 315 319 320 321 326 336 337 342 346 348 354 355 356 360 364 367 371 375 377 379 381 382 384 386 393 399 408 409 415 416 419 420 423 425 426 427 429 431 432 434 445 447 450 451 454 455 456 458 467 a 3 7 8 9 10 12 16 17 20 34 37 43 47 49 59 60 63 64 68 69 71 72 80 83 85 88 89 90 101 103 104 105 106 108 109 110 114 116 120 124 128 132 134 135 137 138 139 144 146 147 148 150 156 157 158 159 168 174 177 178 183 187 190 191 193 198 204 206 208 209 211 214 215 220 222 224 226 230 234 235 236 243 244 246 249 257 258 259 261 262 264 265 269 273 277 279 281 282 285 286 289 291 292 295 296 301 303 306 315 319 320 321 326 336 337 342 346 348 354 355 356 360 364 367 371 375 377 379 381 382 384 386 393 399 408 409 415 416 419 420 423 425 426 427 429 431 432 434 445 447 450 451 454 455 456 458 467 a 3 7 8 9 10 12 16 17 20 22 34 37 43 47 49 59 60 63 64 68 69 71 72 80 83 85 88 89 90 101 103 104 105 106 108 109 110 114 116 120 124 128 132 134 135 137 138 139 144 146 147 148 150 156 157 158 159 168 174 177 178 183 187 190 191 193 198 204 206 208 209 211 214 215 220 222 224 226 230 234 235 236 243 244 246 249 257 258 259 261 262 264 265 269 273 277 279 281 282 285 286 289 291 292 295 296 301 303 306 315 319 320 321 326 336 337 342 346 348 354 355 356 360 364 367 371 375 377 379 381 382 384 386 393 399 408 409 415 416 419 420 423 426 427 429 431 432 434 445 447 450 451 454 455 456 458 467 a 3 7 8 9 10 12 16 17 20 22 34 37 43 47 49 59 60 63 64 68 69 71 72 80 83 85 88 89 90 101 103 104 105 106 108 109 110 111 114 116 120 124 128 132 134 135 137 138 139 144 146 147 148 150 156 157 158 159 168 174 177 178 183 187 190 191 193 198 204 206 208 209 211 214 215 220 222 224 226 230 234 235 236 243 244 246 249 257 258 259 261 262 264 265 269 277 279 281 282 285 286 289 291 292 295 296 301 303 306 315 319 320 321 326 336 337 342 346 348 354 355 356 360 364 367 371 375 377 379 381 382 384 386 393 399 408 409 415 416 419 420 423 426 427 429 431 432 434 445 447 450 451 454 455 456 458 467 c Step: 127 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance036_graph003.col /benchmark/random_instance/random_instance036_graph003_01.dat" User time (seconds): 580.60 System time (seconds): 5.99 Percent of CPU this job got: 156% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:13.75 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): 23140632 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 7548712 Voluntary context switches: 6298 Involuntary context switches: 2805 Swaps: 0 File system inputs: 0 File system outputs: 1016 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 15:01:53 2023]