#BEGIN: [Mon Sep 4 12:59:17 2023] #HOST: s01 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent1 #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 /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! 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 91 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 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 91 95 107 108 116 118 119 124 132 133 135 137 138 145 147 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 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 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 147 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 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 147 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 304 306 314 316 319 320 322 324 326 327 329 331 332 334 337 339 342 345 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 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 147 157 159 160 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 304 306 314 316 319 320 322 324 326 327 329 331 332 334 337 339 345 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 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 91 95 107 108 116 118 119 124 132 133 135 137 138 145 147 157 159 160 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 304 306 314 316 319 320 322 324 326 327 329 331 332 334 337 339 345 348 349 352 353 354 355 359 360 361 370 372 374 378 381 383 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 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 91 95 107 108 116 118 119 124 132 133 135 137 138 145 147 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 304 306 314 316 319 320 322 324 326 327 329 331 332 334 337 339 342 345 348 349 352 353 354 355 359 360 361 370 372 374 378 381 383 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 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 91 95 107 108 116 118 119 124 132 133 135 137 138 145 147 157 159 161 164 183 186 190 191 193 194 195 196 198 201 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 304 306 314 316 319 320 322 324 326 327 329 331 332 334 337 339 342 345 348 349 352 353 354 355 359 360 361 370 372 374 378 381 383 389 393 394 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 429 435 436 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 91 95 107 108 116 118 119 124 132 133 135 137 138 145 147 157 159 160 161 164 183 186 190 191 193 194 195 196 198 201 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 304 306 314 316 319 320 322 324 326 327 329 331 332 334 337 339 345 348 349 352 353 354 355 359 360 361 370 372 374 378 381 383 389 393 394 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 429 435 436 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 91 95 107 108 116 118 119 124 132 133 135 137 138 145 147 157 159 160 161 164 183 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 219 224 226 228 230 236 243 246 251 253 255 258 259 261 264 265 266 267 270 271 273 276 279 280 281 282 289 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 337 339 345 348 349 352 353 354 355 359 360 361 370 372 374 378 381 383 389 393 394 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 429 435 436 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 91 95 107 108 116 118 119 124 132 133 135 137 138 145 147 157 159 160 161 164 183 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 219 224 226 228 230 236 243 246 251 253 255 258 259 264 265 266 267 270 271 273 276 279 280 281 282 289 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 337 339 345 348 349 352 353 354 355 359 360 361 370 372 374 378 381 383 389 393 394 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 428 429 435 436 442 445 447 450 453 458 460 467 468 a 1 2 8 10 16 25 29 30 31 34 40 43 46 60 63 66 70 71 75 76 78 86 87 90 91 95 107 108 116 118 119 124 132 133 135 137 138 145 147 157 159 160 161 164 183 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 219 224 226 228 230 236 243 246 251 253 255 258 259 264 265 266 267 270 271 273 276 279 280 281 282 289 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 337 339 345 348 349 352 353 354 355 359 360 361 370 372 374 378 381 383 389 393 394 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 428 429 435 436 442 445 447 450 453 458 460 467 468 a 1 2 8 10 16 25 29 30 31 34 35 40 43 46 60 63 66 70 71 75 76 78 86 87 90 91 95 107 108 116 118 119 124 132 133 135 137 138 145 147 157 159 160 161 164 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 219 224 226 228 230 236 243 246 251 253 255 258 259 264 265 266 267 270 271 273 276 279 280 281 282 289 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 337 339 345 348 349 352 353 354 355 359 360 361 370 372 374 378 381 383 389 393 394 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 428 429 435 436 442 445 447 450 453 458 460 467 468 a 1 2 8 10 16 25 29 31 34 35 40 43 46 60 63 66 70 71 75 76 78 86 87 90 91 95 107 108 116 118 119 124 132 133 135 137 138 145 147 157 159 160 161 164 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 219 224 226 228 230 236 242 243 246 251 253 255 258 259 264 265 266 267 270 271 273 276 279 280 281 282 289 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 337 339 345 348 349 352 353 354 355 359 360 361 370 372 374 378 381 383 389 393 394 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 428 429 435 436 442 445 447 450 453 458 460 467 468 a 1 2 8 10 16 25 29 31 34 35 40 43 46 60 63 66 70 71 75 76 78 86 87 90 91 95 107 108 116 118 119 124 132 133 135 137 138 145 147 157 159 160 161 164 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 219 224 226 228 230 236 242 243 246 251 253 255 258 259 265 266 267 270 271 273 276 279 280 281 282 289 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 337 339 345 348 349 352 353 354 355 359 360 361 370 372 373 374 378 381 383 389 393 394 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 428 429 435 436 442 445 447 450 453 458 460 467 468 a 1 2 8 10 16 25 29 31 34 35 40 43 46 60 63 66 70 71 75 76 78 86 87 90 91 95 107 108 116 118 119 124 132 133 135 137 138 145 147 157 159 160 161 164 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 253 255 258 259 265 266 267 270 271 273 276 279 280 281 282 289 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 337 339 345 348 349 352 353 354 355 359 360 361 370 372 373 374 378 381 383 388 389 393 394 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 428 429 435 436 442 445 447 450 453 458 460 467 468 a 1 2 8 10 16 25 29 31 34 35 38 40 43 46 60 63 66 70 71 75 76 78 86 87 90 91 95 107 108 116 118 119 124 132 133 135 137 138 145 147 157 159 160 161 164 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 253 255 258 259 265 266 267 270 271 273 276 279 280 281 282 289 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 339 345 348 349 352 353 354 355 359 360 361 370 372 373 374 378 381 383 388 389 393 394 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 428 429 435 436 442 445 447 450 453 458 460 467 468 a 1 2 8 10 16 25 29 31 34 35 38 40 43 46 60 63 66 70 71 75 76 78 86 87 90 91 95 107 108 116 118 119 124 132 133 135 137 138 145 147 157 159 160 161 164 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 253 255 258 259 264 265 266 267 270 271 273 276 279 280 281 282 289 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 339 345 348 349 352 353 354 355 359 360 361 370 372 373 374 378 381 383 388 389 393 394 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 428 429 435 436 442 445 447 450 453 458 460 468 a 1 2 8 10 16 25 29 31 34 35 40 43 46 60 63 66 70 71 75 76 78 86 87 90 91 95 107 108 116 118 119 124 132 133 135 137 138 145 147 157 159 160 161 164 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 253 255 258 259 264 265 266 267 270 271 273 276 279 280 281 282 289 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 337 339 345 348 349 352 353 354 355 359 360 361 370 372 373 374 378 381 383 388 389 393 394 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 428 429 435 436 442 445 447 450 453 458 460 468 a 1 2 8 10 16 25 29 31 34 35 40 43 46 52 60 63 66 70 71 75 76 78 86 87 91 95 107 108 116 118 119 124 132 133 135 137 138 145 147 157 159 160 161 164 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 253 255 258 259 264 265 266 267 270 271 273 276 279 280 281 282 289 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 337 339 345 348 349 352 353 354 355 359 360 361 370 372 373 374 378 381 383 388 389 393 394 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 428 429 435 436 442 445 447 450 453 458 460 468 a 1 2 8 10 16 25 29 31 34 35 40 43 46 52 60 63 66 70 71 75 76 78 86 87 91 92 95 107 108 116 118 119 124 132 133 135 138 145 147 157 159 160 161 164 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 253 255 258 259 264 265 266 267 270 271 273 276 279 280 281 282 289 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 337 339 345 348 349 352 353 354 355 359 360 361 370 372 373 374 378 381 383 388 389 393 394 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 428 429 435 436 442 445 447 450 453 458 460 468 a 1 2 8 10 16 25 29 31 34 35 40 43 46 60 63 66 70 71 75 76 78 86 87 90 91 92 95 107 108 116 118 119 124 132 133 135 138 145 147 157 159 160 161 164 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 253 255 258 259 264 265 266 267 270 271 273 276 279 280 281 282 289 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 337 339 345 348 349 352 353 354 355 359 360 361 370 372 373 374 378 381 383 388 389 393 394 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 428 429 435 436 442 445 447 450 453 458 460 468 a 1 2 8 10 16 25 29 31 34 35 40 43 46 60 63 66 70 71 75 76 78 86 87 90 91 95 107 108 116 118 119 124 132 133 135 138 145 147 157 159 160 161 164 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 253 255 258 259 264 265 266 267 270 271 273 275 276 279 280 281 282 289 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 337 339 345 348 349 352 353 354 355 359 360 361 370 372 373 374 378 381 383 388 389 393 394 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 428 429 435 436 442 445 447 450 453 458 460 468 a 1 2 8 10 16 25 29 31 34 35 40 43 46 52 60 63 70 71 75 76 78 86 87 90 91 95 107 108 116 118 119 124 132 133 135 138 145 147 157 159 160 161 164 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 253 255 258 259 264 265 266 267 270 271 273 275 276 279 280 281 282 289 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 337 339 345 348 349 352 353 354 355 359 360 361 370 372 373 374 378 381 383 388 389 393 394 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 428 429 435 436 442 445 447 450 453 458 460 468 a 1 2 8 10 16 25 29 31 34 35 40 43 46 52 60 63 70 71 75 76 78 86 87 90 91 95 107 108 116 118 119 124 132 133 135 138 145 147 157 159 160 161 163 164 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 253 255 258 259 264 265 266 267 270 271 273 275 276 279 280 281 282 289 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 339 345 348 349 352 353 354 355 359 360 361 370 372 373 374 378 381 383 388 389 393 394 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 428 429 435 436 442 445 447 450 453 458 460 468 a 1 2 8 10 16 25 29 31 34 35 38 40 43 46 52 60 63 70 71 75 76 78 86 87 90 91 95 107 108 116 118 119 124 132 133 135 138 145 147 157 159 160 161 163 164 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 253 255 258 259 264 265 266 267 270 271 273 275 276 279 280 281 282 289 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 339 345 348 349 352 353 354 355 359 360 361 370 372 373 374 378 381 383 388 389 393 394 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 428 429 435 436 442 445 447 450 453 458 460 a 1 2 8 10 16 25 29 31 34 35 38 40 43 46 52 60 63 70 71 75 76 78 86 87 90 91 92 95 107 108 116 118 119 124 132 133 135 138 145 147 157 159 160 161 163 164 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 253 255 258 259 264 265 266 267 270 271 273 275 276 279 280 281 282 289 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 339 345 348 349 352 353 354 355 359 360 361 370 372 373 374 378 381 383 388 389 393 394 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 428 429 435 442 445 447 450 453 458 460 a 1 2 8 10 16 25 29 31 34 35 38 40 43 46 52 60 63 66 70 71 75 76 78 86 87 90 91 92 95 107 108 116 118 119 124 132 133 135 138 145 147 157 159 160 161 163 164 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 253 255 258 259 264 265 266 267 270 271 273 275 276 279 280 281 282 289 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 339 345 348 349 352 353 354 355 359 360 361 370 372 373 374 378 381 383 388 389 393 394 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 428 429 435 442 445 447 450 458 460 a 1 2 8 10 16 25 29 31 34 35 38 40 43 46 52 60 63 66 70 71 75 76 78 86 87 90 91 92 95 107 116 118 119 124 132 133 135 138 145 147 157 159 160 161 163 164 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 253 255 258 259 264 265 266 267 270 271 273 275 276 279 280 281 282 289 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 339 345 348 349 352 353 354 355 359 360 361 370 372 373 374 378 381 383 388 389 393 394 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 428 429 435 436 442 445 447 450 458 460 a 1 2 8 10 16 25 29 31 34 35 38 40 43 46 52 60 63 66 70 71 75 76 78 86 87 90 91 92 95 107 116 118 119 124 132 133 135 138 145 147 157 159 160 161 163 164 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 253 255 258 259 264 266 267 270 271 273 275 276 279 280 281 282 289 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 339 345 348 349 352 353 354 355 359 360 361 370 372 373 374 378 381 383 388 389 393 394 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 428 429 435 436 442 445 447 450 453 458 460 a 1 2 8 10 16 25 29 31 34 35 38 40 43 46 52 60 63 66 70 71 75 76 78 86 87 90 91 92 95 107 116 118 119 124 132 133 135 137 138 147 157 159 160 161 163 164 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 253 255 258 259 264 266 267 270 271 273 275 276 279 280 281 282 289 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 339 345 348 349 352 353 354 355 359 360 361 370 372 373 374 378 381 383 388 389 393 394 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 428 429 435 436 442 445 447 450 453 458 460 a 1 2 8 10 16 25 29 31 34 35 38 40 43 46 52 60 63 66 70 71 75 76 78 86 87 90 91 92 95 107 108 116 118 119 124 132 133 135 137 138 147 157 159 160 161 163 164 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 253 255 258 259 264 266 267 270 271 273 275 276 279 280 281 282 289 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 339 345 348 349 352 353 354 355 359 360 361 370 372 373 374 378 381 383 388 389 393 394 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 428 429 435 436 442 445 447 450 453 458 460 a 1 2 8 10 16 25 29 31 34 35 38 40 43 46 52 60 63 66 70 71 75 76 78 86 87 90 91 92 95 107 108 116 118 119 124 132 133 135 137 138 145 147 157 159 160 161 163 164 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 253 255 258 259 264 266 267 270 271 273 275 276 279 280 281 282 289 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 339 345 348 349 352 353 354 355 359 360 361 370 372 373 374 378 381 383 388 389 393 394 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 428 435 436 442 445 447 450 453 458 460 a 1 2 8 10 16 25 29 31 34 35 38 40 43 46 52 60 63 66 70 71 75 76 78 86 87 90 91 92 95 107 108 116 118 119 124 132 133 135 137 138 145 147 157 159 160 161 163 164 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 253 255 258 259 264 266 267 270 271 273 275 276 279 280 281 282 289 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 339 345 348 349 352 353 354 355 359 360 361 370 372 373 374 378 381 383 388 389 393 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 428 435 436 442 445 447 450 453 458 460 a 1 2 8 10 16 25 29 31 34 35 38 40 43 46 52 60 63 66 70 71 75 76 78 86 87 90 91 92 95 107 108 116 118 119 124 132 133 135 137 138 145 147 157 159 160 161 163 164 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 253 255 258 259 264 265 266 267 270 271 273 275 276 279 280 281 282 289 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 339 345 348 349 352 353 354 355 359 360 361 370 372 373 374 378 381 383 388 389 393 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 428 435 436 442 445 447 450 458 460 a 1 2 8 10 16 25 29 31 34 35 38 40 43 46 52 60 63 66 70 71 75 76 78 86 87 90 91 92 95 107 108 109 116 118 119 124 132 133 135 137 138 145 147 157 159 160 161 163 164 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 253 255 258 259 264 265 266 267 270 271 273 275 276 279 280 281 282 289 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 339 345 348 349 352 353 354 355 359 360 361 370 372 373 374 381 383 388 389 393 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 428 435 436 442 445 447 450 458 460 a 1 2 8 10 16 25 29 31 34 35 38 40 43 46 52 60 63 66 70 71 75 76 78 86 87 90 91 92 95 107 108 109 116 118 119 124 132 133 135 137 138 145 147 157 159 160 161 163 164 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 253 255 258 259 264 265 267 270 271 273 275 276 279 280 281 282 289 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 339 345 348 349 352 353 354 355 359 360 361 370 372 373 374 381 383 388 389 393 396 399 400 401 404 407 409 410 413 414 415 416 419 421 422 424 425 426 428 435 436 442 445 447 450 458 460 467 a 1 2 8 10 16 25 29 31 34 35 38 40 43 46 52 60 63 66 70 71 75 76 78 86 87 90 91 92 95 107 108 109 116 118 119 124 132 133 135 137 138 145 147 157 159 160 161 163 164 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 253 255 258 259 264 265 267 270 271 273 275 276 279 280 281 282 289 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 339 345 348 349 352 353 354 355 359 360 361 370 371 372 373 374 381 383 388 389 393 396 399 400 401 404 407 409 410 413 415 416 419 421 422 424 425 426 428 435 436 442 445 447 450 458 460 467 a 1 2 8 10 16 25 29 31 34 35 38 40 43 52 60 63 66 70 71 75 76 78 86 87 90 91 92 95 107 108 109 116 118 119 124 132 133 135 137 138 145 147 157 159 160 161 163 164 174 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 253 255 258 259 264 265 267 270 271 273 275 276 279 280 281 282 289 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 339 345 348 349 352 353 354 355 359 360 361 370 371 372 373 374 381 383 388 389 393 396 399 400 401 404 407 409 410 413 415 416 419 421 422 424 425 426 428 435 436 442 445 447 450 458 460 467 a 1 2 8 10 16 25 29 31 34 35 38 40 43 52 60 63 66 70 71 75 76 78 86 87 90 91 92 95 107 108 109 116 118 119 124 132 133 135 137 138 145 147 157 159 160 161 163 164 174 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 253 255 258 259 264 265 267 270 271 273 275 276 279 280 281 282 289 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 345 348 349 352 353 354 355 359 360 361 370 371 372 373 374 381 383 388 389 393 396 399 400 401 404 407 409 410 413 415 416 419 421 422 424 425 426 428 429 435 436 442 445 447 450 458 460 467 a 1 2 8 10 16 25 29 31 34 35 38 40 43 52 60 63 66 70 71 75 76 78 86 87 90 91 92 95 107 108 109 116 118 119 124 132 133 135 137 138 145 147 156 157 159 160 161 163 164 174 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 255 258 259 264 265 267 270 271 273 275 276 279 280 281 282 289 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 345 348 349 352 353 354 355 359 360 361 370 371 372 373 374 381 383 388 389 393 396 399 400 401 404 407 409 410 413 415 416 419 421 422 424 425 426 428 429 435 436 442 445 447 450 458 460 467 a 1 2 8 10 16 25 29 31 34 35 38 40 43 52 60 63 66 70 71 75 76 78 86 87 90 91 92 95 107 108 109 116 118 119 124 132 133 135 137 138 145 147 156 157 159 160 161 163 164 174 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 255 258 259 264 265 267 270 271 273 275 276 279 280 281 282 289 291 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 345 348 349 352 353 354 355 359 360 361 370 371 372 373 374 381 383 388 389 393 396 399 400 401 404 407 409 413 415 416 419 421 422 424 425 426 428 429 435 436 442 445 447 450 458 460 467 a 1 2 8 10 16 25 29 31 34 35 38 40 43 52 60 63 66 70 71 75 76 78 86 87 90 91 92 95 107 108 109 116 118 119 124 132 133 135 137 138 145 147 156 157 159 160 161 163 164 174 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 255 258 259 264 265 267 270 271 273 275 276 279 280 281 282 289 291 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 345 348 349 352 353 354 355 359 360 361 370 371 372 373 374 381 383 388 389 393 396 399 400 401 404 407 409 413 415 416 419 420 421 422 424 425 426 428 429 436 442 445 447 450 458 460 467 a 1 2 8 9 10 16 25 29 31 34 35 38 40 43 52 60 63 66 70 71 75 76 86 87 90 91 92 95 107 108 109 116 118 119 124 132 133 135 137 138 145 147 156 157 159 160 161 163 164 174 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 255 258 259 264 265 267 270 271 273 275 276 279 280 281 282 289 291 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 345 348 349 352 353 354 355 359 360 361 370 371 372 373 374 381 383 388 389 393 396 399 400 401 404 407 409 413 415 416 419 420 421 422 424 425 426 428 429 436 442 445 447 450 458 460 467 a 1 2 8 9 10 16 25 29 31 34 35 38 40 43 60 63 66 70 71 75 76 86 87 90 91 92 95 107 108 109 116 118 119 124 132 133 135 137 138 145 147 156 157 159 160 161 163 164 174 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 255 258 259 264 265 267 270 271 273 275 276 279 280 281 282 289 291 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 345 348 349 352 353 354 355 359 360 361 370 371 372 373 374 381 383 388 389 393 396 399 400 401 404 407 409 413 415 416 419 420 421 422 424 425 426 428 429 436 442 445 447 450 451 458 460 467 a 1 2 8 9 10 16 25 29 31 34 35 38 40 43 60 63 66 70 71 75 76 86 87 90 91 92 95 101 107 108 109 116 118 119 124 132 133 135 137 138 145 147 156 157 159 160 161 163 164 174 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 255 258 259 264 265 267 270 271 273 275 276 279 280 281 282 289 291 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 345 348 349 352 353 354 355 359 360 361 370 371 372 373 374 381 383 388 389 393 396 399 400 401 404 407 409 413 415 416 419 420 422 424 425 426 428 429 436 442 445 447 450 451 458 460 467 a 1 2 8 9 10 16 25 29 31 34 35 38 40 43 60 63 66 70 71 75 76 86 87 90 91 92 95 101 107 108 109 116 118 119 124 132 133 135 137 138 145 147 156 157 159 160 161 163 164 174 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 255 258 259 264 265 267 270 271 273 275 276 279 280 281 282 289 291 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 345 348 349 352 353 354 355 359 360 361 370 371 372 373 374 379 381 383 388 389 393 396 399 401 404 407 409 413 415 416 419 420 422 424 425 426 428 429 436 442 445 447 450 451 458 460 467 a 1 2 8 9 10 16 25 29 31 34 35 38 40 43 60 63 66 70 71 75 76 86 87 90 91 92 95 101 107 108 109 116 118 119 124 132 133 135 137 138 147 156 157 159 160 161 163 164 174 186 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 255 258 259 264 265 267 270 271 273 275 276 279 280 281 282 289 291 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 345 348 349 352 353 354 355 359 360 361 370 371 372 373 374 379 381 383 388 389 393 396 399 401 404 407 408 409 413 415 416 419 420 422 424 425 426 428 429 436 442 445 447 450 451 458 460 467 a 1 2 8 9 10 16 25 29 31 34 35 38 40 43 60 63 66 70 71 75 76 86 87 90 91 92 95 101 107 108 109 110 116 118 119 124 132 133 135 137 138 147 156 157 159 160 161 163 164 174 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 255 258 259 264 265 267 270 271 273 275 276 279 280 281 282 289 291 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 345 348 349 352 353 354 355 359 360 361 370 371 372 373 374 379 381 383 388 389 393 396 399 401 404 407 408 409 413 415 416 419 420 422 424 425 426 428 429 436 442 445 447 450 451 458 460 467 a 1 2 8 9 10 16 25 29 31 34 35 38 40 43 60 63 66 70 71 75 76 86 87 90 91 92 95 101 107 108 109 110 116 118 119 124 132 133 135 137 138 147 156 157 159 160 161 163 164 174 178 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 255 258 259 264 265 267 270 271 273 275 276 279 280 281 282 289 291 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 345 348 349 352 353 354 355 359 360 361 370 371 372 373 374 379 381 383 388 389 393 396 399 401 404 407 408 409 413 415 416 419 420 422 424 426 428 429 436 442 445 447 450 451 458 460 467 a 1 2 8 9 10 16 25 29 31 34 35 38 40 43 60 63 66 70 71 75 76 86 87 90 91 92 95 101 107 108 109 110 116 118 119 124 132 133 135 137 138 147 156 157 159 160 161 163 164 174 178 190 191 193 194 195 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 255 258 259 264 265 267 270 271 273 275 276 279 280 281 282 289 291 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 345 348 349 352 353 354 355 359 360 361 370 371 372 373 374 379 381 383 388 389 393 396 399 401 404 407 408 409 413 415 416 419 420 422 424 426 428 429 436 442 445 447 450 451 454 458 467 a 1 2 8 9 10 16 25 29 31 34 35 38 40 43 60 63 66 70 71 75 76 86 87 90 91 92 95 101 107 108 109 110 114 116 118 119 124 132 133 135 137 138 147 156 157 159 160 161 163 164 174 178 190 191 193 194 196 198 201 203 204 208 209 210 211 213 214 224 226 228 230 236 242 243 246 251 255 258 259 264 265 267 270 271 273 275 276 279 280 281 282 289 291 292 296 297 304 306 314 316 319 320 322 324 326 327 329 331 332 334 345 348 349 352 353 354 355 359 360 361 370 371 372 373 374 379 381 383 388 389 393 396 399 401 404 407 408 409 413 415 416 419 420 422 424 426 428 429 436 442 445 447 450 451 454 458 467 a 1 2 8 9 10 16 25 29 31 34 35 38 40 43 60 63 66 70 71 75 76 86 87 90 91 92 95 101 107 108 109 110 114 116 118 119 124 132 133 135 137 138 147 156 157 159 160 161 163 164 174 178 190 191 193 194 196 198 201 203 204 208 209 210 211 213 214 222 224 226 228 230 236 242 243 246 251 255 258 259 264 265 267 270 271 273 275 276 279 280 281 282 289 291 292 296 297 304 306 314 316 319 320 322 324 326 327 329 332 334 345 348 349 352 353 354 355 359 360 361 370 371 372 373 374 379 381 383 388 389 393 396 399 401 404 407 408 409 413 415 416 419 420 422 424 426 428 429 436 442 445 447 450 451 454 458 467 a 1 2 8 9 10 16 25 29 31 34 35 38 40 43 60 63 64 66 70 71 75 76 86 87 90 91 92 95 101 107 108 109 110 114 116 118 119 124 132 133 135 137 138 147 156 157 159 160 161 163 164 174 178 190 191 193 194 196 198 201 203 204 208 209 210 211 213 214 222 224 226 228 230 236 242 243 246 251 255 258 259 264 265 267 270 271 273 275 276 279 280 281 282 289 291 292 296 297 304 306 314 316 319 320 322 324 326 327 329 332 334 345 348 349 352 354 355 359 360 361 370 371 372 373 374 379 381 383 388 389 393 396 399 401 404 407 408 409 413 415 416 419 420 422 424 426 428 429 436 442 445 447 450 451 454 458 467 a 1 2 8 9 10 16 25 29 31 34 35 38 40 43 60 63 64 66 70 71 75 76 86 87 90 91 92 95 101 107 108 109 110 114 116 118 119 124 132 133 135 137 138 147 156 157 159 160 161 163 164 174 178 190 191 193 194 196 198 201 203 204 208 209 210 211 213 214 222 224 226 228 230 236 242 243 246 251 255 257 258 259 264 265 267 270 271 273 275 276 279 280 281 282 289 291 292 296 297 304 306 314 316 319 320 322 324 326 327 329 332 334 345 348 349 352 354 355 359 360 361 370 371 372 373 374 379 381 383 388 389 393 396 399 404 407 408 409 413 415 416 419 420 422 424 426 428 429 436 442 445 447 450 451 454 458 467 a 1 2 8 9 10 16 25 29 31 34 35 38 40 43 60 63 64 66 70 71 75 76 86 87 90 91 92 95 101 107 108 109 110 114 116 118 119 124 132 133 135 137 138 147 156 157 159 160 161 163 164 174 178 190 191 193 194 196 198 201 203 204 208 209 210 211 213 214 222 224 226 228 230 236 242 243 246 251 255 257 258 259 264 265 267 270 271 273 275 276 279 280 281 282 289 291 292 296 297 304 306 314 316 319 320 322 324 326 327 329 332 334 345 348 349 352 354 355 359 360 361 370 371 372 373 374 379 381 382 383 388 389 393 396 399 404 407 408 409 413 415 416 419 420 422 424 426 429 436 442 445 447 450 451 454 458 467 a 1 2 8 9 10 16 25 29 31 34 35 38 40 43 60 63 64 66 70 71 75 76 86 87 90 91 92 95 101 107 108 109 110 114 116 118 119 124 132 133 135 137 138 147 156 157 159 160 161 163 164 174 178 190 191 193 194 196 198 201 203 204 208 209 210 211 213 214 222 224 226 228 230 236 242 243 246 251 255 257 258 259 264 265 267 270 271 273 275 276 279 280 281 282 289 291 292 296 297 304 306 314 315 316 319 320 322 324 326 327 329 332 334 345 348 349 352 354 355 359 360 361 370 371 372 373 374 379 381 382 383 388 389 393 396 399 404 407 408 409 413 415 416 419 420 424 426 429 436 442 445 447 450 451 454 458 467 a 1 2 8 9 10 16 25 29 31 34 35 38 40 43 60 63 64 66 70 71 75 76 86 87 90 91 92 95 101 107 108 109 110 114 116 118 119 124 132 133 135 137 138 147 156 157 159 160 161 163 164 174 178 190 191 193 194 196 198 201 203 204 208 209 210 211 213 214 220 222 224 226 228 230 236 242 243 246 251 255 257 258 259 264 265 267 270 271 273 275 276 279 280 281 282 289 291 292 296 297 304 306 314 315 316 319 320 322 324 326 327 329 332 334 345 348 349 352 354 355 359 360 361 370 371 372 373 374 379 381 382 383 389 393 396 399 404 407 408 409 413 415 416 419 420 424 426 429 436 442 445 447 450 451 454 458 467 a 1 2 8 9 10 16 25 29 31 34 35 38 40 43 60 63 64 66 70 71 72 75 76 86 87 90 91 92 95 101 107 108 109 110 114 116 118 119 124 132 135 137 138 147 156 157 159 160 161 163 164 174 178 190 191 193 194 196 198 201 203 204 208 209 210 211 213 214 220 222 224 226 228 230 236 242 243 246 251 255 257 258 259 264 265 267 270 271 273 275 276 279 280 281 282 289 291 292 296 297 304 306 314 315 316 319 320 322 324 326 327 329 332 334 345 348 349 352 354 355 359 360 361 370 371 372 373 374 379 381 382 383 389 393 396 399 404 407 408 409 413 415 416 419 420 424 426 429 436 442 445 447 450 451 454 458 467 a 1 2 8 9 10 16 17 25 29 31 34 35 38 40 43 60 63 64 66 70 71 72 75 76 86 87 90 91 92 95 101 107 108 109 110 114 116 118 119 124 132 135 137 138 147 156 157 159 160 161 163 164 174 178 190 191 193 194 196 198 203 204 208 209 210 211 213 214 220 222 224 226 228 230 236 242 243 246 251 255 257 258 259 264 265 267 270 271 273 275 276 279 280 281 282 289 291 292 296 297 304 306 314 315 316 319 320 322 324 326 327 329 332 334 345 348 349 352 354 355 359 360 361 370 371 372 373 374 379 381 382 383 389 393 396 399 404 407 408 409 413 415 416 419 420 424 426 429 436 442 445 447 450 451 454 458 467 a 1 2 8 9 10 16 17 25 29 31 34 35 38 40 43 60 63 64 66 70 71 72 75 76 86 87 90 91 92 95 101 107 108 109 110 114 116 118 119 124 132 135 137 138 147 156 157 159 160 161 163 164 174 178 190 191 193 194 196 198 203 204 208 209 210 211 213 214 220 222 224 226 228 230 236 242 243 246 251 255 257 258 259 264 265 267 270 271 273 275 276 279 280 281 282 289 291 292 296 297 304 306 314 315 316 319 320 322 324 326 327 329 332 334 345 348 349 352 354 355 359 360 361 370 371 372 373 374 379 381 382 383 389 393 396 399 404 408 409 413 415 416 419 420 424 426 427 429 436 442 445 447 450 451 454 458 467 a 1 2 8 9 10 16 17 25 29 31 34 35 38 40 43 60 63 64 66 70 71 72 75 76 86 87 90 91 92 95 101 107 108 109 110 114 116 118 119 124 132 135 137 138 147 156 157 159 160 161 163 164 174 178 190 191 193 194 196 198 203 204 208 209 210 211 213 214 220 222 224 226 228 230 236 242 243 246 251 255 257 258 259 264 265 267 270 271 273 275 276 279 280 281 282 289 291 292 296 297 304 306 314 315 316 319 320 322 324 326 327 329 332 334 345 348 349 352 354 355 359 360 361 367 370 371 372 373 374 379 381 382 383 389 393 396 399 404 408 409 415 416 419 420 424 426 427 429 436 442 445 447 450 451 454 458 467 a 1 2 8 9 10 16 17 25 29 31 34 35 38 40 43 49 60 63 64 66 70 71 72 75 76 86 87 90 91 92 95 101 107 108 109 110 114 116 118 119 124 132 135 137 138 147 156 157 159 160 161 163 164 174 178 190 191 193 194 196 198 203 204 208 209 210 211 213 214 220 222 224 226 228 230 236 242 243 246 251 255 257 258 259 264 265 267 270 271 273 275 276 279 280 281 282 289 291 292 296 297 304 306 314 315 316 319 320 322 324 326 327 329 332 334 345 348 349 352 354 355 359 360 361 367 370 371 372 373 374 379 381 382 383 393 396 399 404 408 409 415 416 419 420 424 426 427 429 436 442 445 447 450 451 454 458 467 a 1 2 8 9 10 16 17 25 29 31 34 35 38 40 43 49 60 63 64 66 70 71 72 75 76 86 87 90 91 92 95 101 107 108 109 110 114 116 118 119 124 132 135 137 138 147 156 157 159 160 161 163 164 174 178 183 190 191 193 194 196 198 203 204 208 209 210 211 213 214 220 222 224 226 228 230 236 242 243 246 251 255 257 258 259 264 265 267 270 271 273 276 279 280 281 282 289 291 292 296 297 304 306 314 315 316 319 320 322 324 326 327 329 332 334 345 348 349 352 354 355 359 360 361 367 370 371 372 373 374 379 381 382 383 393 396 399 404 408 409 415 416 419 420 424 426 427 429 436 442 445 447 450 451 454 458 467 a 1 2 8 9 10 16 17 25 29 31 34 35 38 40 43 49 60 63 64 66 70 71 72 75 76 86 87 90 91 92 95 101 107 108 109 110 114 116 118 119 124 132 135 137 138 147 156 157 159 160 161 163 164 174 178 183 190 191 193 194 196 198 203 204 208 209 210 211 213 214 220 222 224 226 228 230 236 242 243 246 251 257 258 259 264 265 267 270 271 273 276 279 280 281 282 289 291 292 296 297 304 306 314 315 316 319 320 321 322 324 326 327 329 332 334 345 348 349 352 354 355 359 360 361 367 370 371 372 373 374 379 381 382 383 393 396 399 404 408 409 415 416 419 420 424 426 427 429 436 442 445 447 450 451 454 458 467 a 1 2 8 9 10 16 17 25 29 31 34 38 40 43 49 60 63 64 66 70 71 72 75 76 86 87 90 91 92 95 101 107 108 109 110 114 116 118 119 124 132 135 137 138 147 156 157 159 160 161 163 164 174 178 183 190 191 193 194 196 198 203 204 208 209 210 211 213 214 220 222 224 226 228 230 236 242 243 246 251 257 258 259 261 264 265 267 270 271 273 276 279 280 281 282 289 291 292 296 297 304 306 314 315 316 319 320 321 322 324 326 327 329 332 334 345 348 349 352 354 355 359 360 361 367 370 371 372 373 374 379 381 382 383 393 396 399 404 408 409 415 416 419 420 424 426 427 429 436 442 445 447 450 451 454 458 467 a 1 2 8 9 10 16 17 25 29 34 38 40 43 49 60 63 64 66 70 71 72 75 76 83 86 87 90 91 92 95 101 107 108 109 110 114 116 118 119 124 132 135 137 138 147 156 157 159 160 161 163 164 174 178 183 190 191 193 194 196 198 203 204 208 209 210 211 213 214 220 222 224 226 228 230 236 242 243 246 251 257 258 259 261 264 265 267 270 271 273 276 279 280 281 282 289 291 292 296 297 304 306 314 315 316 319 320 321 322 324 326 327 329 332 334 345 348 349 352 354 355 359 360 361 367 370 371 372 373 374 379 381 382 383 393 396 399 404 408 409 415 416 419 420 424 426 427 429 436 442 445 447 450 451 454 458 467 a 1 2 8 9 10 16 17 25 29 34 38 40 43 49 60 63 64 66 70 71 72 76 83 86 87 90 91 92 95 101 107 108 109 110 114 116 118 119 124 132 135 137 138 147 150 156 157 159 160 161 163 164 174 178 183 190 191 193 194 196 198 203 204 208 209 210 211 213 214 220 222 224 226 228 230 236 242 243 246 251 257 258 259 261 264 265 267 270 271 273 276 279 280 281 282 289 291 292 296 297 304 306 314 315 316 319 320 321 322 324 326 327 329 332 334 345 348 349 352 354 355 359 360 361 367 370 371 372 373 374 379 381 382 383 393 396 399 404 408 409 415 416 419 420 424 426 427 429 436 442 445 447 450 451 454 458 467 a 1 2 8 9 10 16 17 25 29 34 38 40 43 49 60 63 64 66 70 71 72 76 83 86 87 90 91 92 95 101 107 108 109 110 114 116 118 119 124 132 135 137 138 147 150 156 157 159 160 161 163 164 174 178 183 190 191 193 194 196 198 203 204 208 209 210 211 213 214 220 222 224 226 228 230 236 242 243 246 251 257 258 259 261 264 265 267 270 271 273 276 279 280 281 282 289 291 292 296 297 304 306 314 315 316 319 320 321 322 324 326 327 329 332 334 336 345 348 349 352 354 355 359 360 361 367 370 371 372 373 374 379 381 382 383 393 396 399 408 409 415 416 419 420 424 426 427 429 436 442 445 447 450 451 454 458 467 a 1 2 8 9 10 16 17 25 29 34 38 40 43 49 60 63 64 66 70 71 72 76 83 86 87 90 91 95 101 107 108 109 110 114 116 118 119 124 132 135 137 138 139 147 150 156 157 159 160 161 163 164 174 178 183 190 191 193 194 196 198 203 204 208 209 210 211 213 214 220 222 224 226 228 230 236 242 243 246 251 257 258 259 261 264 265 267 270 271 273 276 279 280 281 282 289 291 292 296 297 304 306 314 315 316 319 320 321 322 324 326 327 329 332 334 336 345 348 349 352 354 355 359 360 361 367 370 371 372 373 374 379 381 382 383 393 396 399 408 409 415 416 419 420 424 426 427 429 436 442 445 447 450 451 454 458 467 a 1 2 8 9 10 16 17 25 29 34 38 40 43 49 60 63 64 66 70 71 72 76 83 86 87 90 91 95 101 107 108 109 110 114 116 118 119 124 132 135 137 138 139 147 150 156 157 159 160 161 163 164 174 178 183 190 191 193 194 196 198 203 204 208 209 210 211 214 220 222 224 226 228 230 236 242 243 246 251 257 258 259 261 264 265 267 270 271 273 276 279 280 281 282 289 291 292 296 297 304 306 314 315 316 319 320 321 322 324 326 327 329 332 334 336 345 348 349 352 354 355 359 360 361 367 370 371 372 373 374 379 381 382 383 393 396 399 408 409 415 416 419 420 423 424 426 427 429 436 442 445 447 450 451 454 458 467 a 1 2 8 9 10 12 16 17 25 29 34 38 40 43 49 60 63 64 66 70 71 72 76 83 86 87 90 91 101 107 108 109 110 114 116 118 119 124 132 135 137 138 139 147 150 156 157 159 160 161 163 164 174 178 183 190 191 193 194 196 198 203 204 208 209 210 211 214 220 222 224 226 228 230 236 242 243 246 251 257 258 259 261 264 265 267 270 271 273 276 279 280 281 282 289 291 292 296 297 304 306 314 315 316 319 320 321 322 324 326 327 329 332 334 336 345 348 349 352 354 355 359 360 361 367 370 371 372 373 374 379 381 382 383 393 396 399 408 409 415 416 419 420 423 424 426 427 429 436 442 445 447 450 451 454 458 467 a 1 2 8 9 10 12 16 17 25 29 34 38 40 43 49 60 63 64 66 70 71 72 76 83 86 87 90 91 101 107 108 109 110 114 116 118 119 124 132 134 135 137 138 139 147 150 156 157 159 160 161 163 164 174 178 183 190 191 193 194 196 198 203 204 208 209 210 211 214 220 222 224 226 228 230 236 242 243 246 251 257 258 259 261 264 265 267 270 271 273 276 279 280 281 282 289 291 292 296 297 304 306 314 315 316 319 320 321 322 324 326 327 329 334 336 345 348 349 352 354 355 359 360 361 367 370 371 372 373 374 379 381 382 383 393 396 399 408 409 415 416 419 420 423 424 426 427 429 436 442 445 447 450 451 454 458 467 a 1 2 8 9 10 12 16 17 25 29 34 38 40 43 49 60 63 64 66 70 71 72 76 83 86 87 90 91 101 107 108 109 110 114 116 118 119 124 132 134 135 137 138 139 147 150 156 157 159 160 161 163 164 174 178 183 190 191 193 194 196 198 203 204 208 209 210 211 214 220 222 224 226 228 230 236 242 243 246 257 258 259 261 264 265 267 270 271 273 276 279 280 281 282 289 291 292 296 297 304 306 314 315 316 319 320 321 322 324 326 327 329 334 336 345 348 349 352 354 355 359 360 361 367 370 371 372 373 374 375 379 381 382 383 393 396 399 408 409 415 416 419 420 423 424 426 427 429 436 442 445 447 450 451 454 458 467 a 1 2 8 9 10 12 16 17 25 29 34 38 40 43 49 60 63 64 66 69 70 71 72 76 83 86 87 90 91 101 107 108 109 110 114 116 118 119 124 132 134 135 137 138 139 147 150 156 157 159 160 161 163 164 174 178 183 190 191 193 194 196 198 203 204 208 209 210 211 214 220 222 224 226 228 230 236 242 243 246 257 258 259 261 264 265 267 270 271 273 276 279 280 281 282 289 291 292 296 297 304 306 314 315 316 319 320 321 322 324 326 327 329 334 336 345 348 349 352 354 355 359 360 361 367 370 371 372 373 374 375 379 381 382 393 396 399 408 409 415 416 419 420 423 424 426 427 429 436 442 445 447 450 451 454 458 467 a 1 2 8 9 10 12 16 17 25 29 34 38 40 43 47 49 60 63 64 66 69 70 71 72 76 83 86 87 90 91 101 107 108 109 110 114 116 118 124 132 134 135 137 138 139 147 150 156 157 159 160 161 163 164 174 178 183 190 191 193 194 196 198 203 204 208 209 210 211 214 220 222 224 226 228 230 236 242 243 246 257 258 259 261 264 265 267 270 271 273 276 279 280 281 282 289 291 292 296 297 304 306 314 315 316 319 320 321 322 324 326 327 329 334 336 345 348 349 352 354 355 359 360 361 367 370 371 372 373 374 375 379 381 382 393 396 399 408 409 415 416 419 420 423 424 426 427 429 436 442 445 447 450 451 454 458 467 a 1 2 8 9 10 12 16 17 25 29 34 38 40 43 47 49 60 63 64 66 69 70 71 72 76 83 86 87 90 91 101 107 108 109 110 114 116 118 124 132 134 135 137 138 139 147 150 156 157 159 160 161 163 164 174 178 183 190 191 193 194 196 198 203 204 208 209 210 211 214 220 222 224 226 228 230 236 242 243 246 257 258 259 261 264 265 267 270 271 273 276 279 280 281 282 286 289 291 292 296 297 304 306 314 315 316 319 320 321 322 324 326 327 334 336 345 348 349 352 354 355 359 360 361 367 370 371 372 373 374 375 379 381 382 393 396 399 408 409 415 416 419 420 423 424 426 427 429 436 442 445 447 450 451 454 458 467 a 1 2 8 9 10 12 16 17 25 29 34 38 40 43 47 49 60 63 64 66 69 70 71 72 76 83 86 87 90 91 101 107 108 109 110 114 116 118 124 132 134 135 137 138 139 147 150 156 157 159 160 161 163 164 168 174 178 183 190 191 193 194 196 198 203 204 208 209 210 211 214 220 222 224 226 228 230 236 242 243 246 257 258 259 261 264 265 267 270 271 273 276 279 280 281 282 286 289 291 292 296 297 304 306 314 315 316 319 320 321 322 324 326 327 334 336 345 348 349 352 354 355 359 360 361 367 370 371 372 373 374 375 379 381 382 393 396 399 408 409 415 416 419 420 423 424 426 427 429 442 445 447 450 451 454 458 467 a 1 2 8 9 10 12 16 17 25 29 34 38 40 43 47 49 60 63 64 66 69 70 71 72 76 83 86 87 90 91 101 107 108 109 110 114 116 118 124 132 134 135 137 138 139 147 150 156 157 159 160 161 163 164 168 174 178 183 190 191 193 194 196 198 203 204 208 209 210 211 214 220 222 224 226 228 230 236 242 243 246 257 258 259 261 264 265 267 270 273 276 279 280 281 282 286 289 291 292 296 297 304 306 314 315 316 319 320 321 322 324 326 327 334 336 345 348 349 352 354 355 359 360 361 367 370 371 372 373 374 375 379 381 382 393 396 399 408 409 415 416 419 420 423 424 426 427 429 442 445 447 450 451 454 455 458 467 a 1 2 8 9 10 12 16 17 25 29 34 38 40 43 47 49 60 63 64 66 69 70 71 72 76 80 83 86 87 90 91 101 107 108 109 110 114 116 118 124 132 134 135 137 138 139 147 150 156 157 159 160 161 163 164 168 174 178 183 190 191 193 194 196 198 203 204 208 209 210 211 214 220 222 224 226 228 230 236 242 243 246 257 258 259 261 264 265 267 270 273 276 279 280 281 282 286 289 291 292 296 297 304 306 314 315 316 319 320 321 322 324 326 327 334 336 345 348 349 352 354 355 359 360 361 367 370 371 372 373 374 375 379 381 382 393 396 399 408 409 415 416 419 420 423 424 426 427 429 445 447 450 451 454 455 458 467 a 1 2 8 9 10 12 16 17 25 29 34 38 40 43 47 49 60 63 64 66 69 70 71 72 76 80 83 86 87 90 91 101 107 108 109 110 114 116 118 124 132 134 135 137 138 139 147 150 156 157 159 160 161 163 164 168 174 178 183 190 191 193 194 196 198 203 204 208 209 210 211 214 220 222 224 226 228 230 236 242 243 246 257 258 259 261 264 265 267 270 273 276 279 280 281 282 286 289 291 292 296 297 304 306 314 315 316 319 320 321 322 324 326 327 334 336 345 348 349 352 354 355 359 360 361 367 370 371 373 374 375 379 381 382 393 396 399 408 409 415 416 419 420 423 424 426 427 429 432 445 447 450 451 454 455 458 467 a 1 2 8 9 10 12 16 17 25 29 34 38 40 43 47 49 60 63 64 66 69 70 71 72 76 80 83 86 87 90 91 101 107 108 109 110 114 116 118 124 132 134 135 137 138 139 147 150 156 157 159 160 161 163 164 168 174 178 183 190 191 193 194 196 198 203 204 208 209 210 211 214 220 222 224 226 228 230 236 242 243 246 257 258 259 261 264 265 267 270 273 276 279 280 281 282 286 289 291 292 296 297 304 306 314 315 316 319 320 321 322 324 326 327 334 336 345 348 349 352 354 355 359 360 361 367 370 371 374 375 379 381 382 386 393 396 399 408 409 415 416 419 420 423 424 426 427 429 432 445 447 450 451 454 455 458 467 a 1 2 8 9 10 12 16 17 25 29 34 38 40 43 47 49 60 63 64 66 69 70 71 72 76 80 83 86 87 90 91 101 107 108 109 110 114 116 118 124 132 134 135 137 138 139 147 150 156 157 159 160 161 163 164 168 174 178 183 190 191 193 194 196 198 203 204 208 209 210 211 214 220 222 224 226 228 230 236 242 243 246 257 258 259 261 264 265 267 269 270 273 276 279 280 281 282 286 289 291 292 296 297 304 306 314 315 316 319 320 321 322 324 326 327 334 336 345 348 349 352 354 355 359 360 367 370 371 374 375 379 381 382 386 393 396 399 408 409 415 416 419 420 423 424 426 427 429 432 445 447 450 451 454 455 458 467 a 1 2 8 9 10 12 16 17 25 29 34 38 40 43 47 49 60 63 64 66 69 70 71 72 76 80 83 86 87 90 91 101 107 108 109 110 114 116 118 124 132 134 135 137 138 139 147 150 156 157 159 160 161 163 164 168 174 178 183 190 191 193 194 196 198 204 208 209 210 211 214 220 222 224 226 228 230 236 242 243 246 257 258 259 261 264 265 267 269 270 273 276 277 279 280 281 282 286 289 291 292 296 297 304 306 314 315 316 319 320 321 322 324 326 327 334 336 345 348 349 352 354 355 359 360 367 370 371 374 375 379 381 382 386 393 396 399 408 409 415 416 419 420 423 424 426 427 429 432 445 447 450 451 454 455 458 467 a 1 2 8 9 10 12 16 17 22 25 29 34 38 40 43 47 49 60 63 64 66 69 70 71 72 76 80 83 86 87 90 91 101 107 108 109 110 114 116 118 124 132 134 135 137 138 139 147 150 156 157 159 160 161 163 164 168 174 178 183 190 191 193 194 196 198 204 208 209 210 211 214 220 222 224 226 228 230 236 242 243 246 257 258 259 261 264 265 267 269 270 273 276 277 279 280 281 282 286 289 291 292 296 297 304 306 314 315 316 319 320 321 322 324 326 327 336 345 348 349 352 354 355 359 360 367 370 371 374 375 379 381 382 386 393 396 399 408 409 415 416 419 420 423 424 426 427 429 432 445 447 450 451 454 455 458 467 a 1 2 8 9 10 12 16 17 22 25 29 34 38 40 43 47 49 60 63 64 66 69 70 71 72 76 80 83 86 87 90 91 101 107 108 109 110 114 116 118 124 132 134 135 137 138 139 147 150 156 157 159 160 161 163 164 168 174 178 183 190 191 193 194 196 198 204 208 209 210 211 214 220 222 224 226 228 230 236 242 243 246 257 258 259 261 262 264 265 267 269 270 273 276 277 279 281 282 286 289 291 292 296 297 304 306 314 315 316 319 320 321 322 324 326 327 336 345 348 349 352 354 355 359 360 367 370 371 374 375 379 381 382 386 393 396 399 408 409 415 416 419 420 423 424 426 427 429 432 445 447 450 451 454 455 458 467 a 1 2 8 9 10 12 16 17 22 25 29 34 38 40 43 47 49 60 63 64 66 69 70 71 72 76 80 83 86 87 90 91 101 107 108 109 110 114 116 118 124 132 134 135 137 138 139 147 150 156 157 159 160 161 163 164 168 174 178 183 190 191 193 196 198 204 208 209 210 211 214 220 222 224 226 228 230 236 242 243 246 257 258 259 261 262 264 265 267 269 270 273 276 277 279 281 282 286 289 291 292 295 296 297 304 306 314 315 316 319 320 321 322 324 326 327 336 345 348 349 352 354 355 359 360 367 370 371 374 375 379 381 382 386 393 396 399 408 409 415 416 419 420 423 424 426 427 429 432 445 447 450 451 454 455 458 467 a 1 2 8 9 10 12 16 17 22 25 29 34 38 40 43 47 49 60 63 64 69 70 71 72 76 80 83 86 87 88 90 91 101 107 108 109 110 114 116 118 124 132 134 135 137 138 139 147 150 156 157 159 160 161 163 164 168 174 178 183 190 191 193 196 198 204 208 209 210 211 214 220 222 224 226 228 230 236 242 243 246 257 258 259 261 262 264 265 267 269 270 273 276 277 279 281 282 286 289 291 292 295 296 297 304 306 314 315 316 319 320 321 322 324 326 327 336 345 348 349 352 354 355 359 360 367 370 371 374 375 379 381 382 386 393 396 399 408 409 415 416 419 420 423 424 426 427 429 432 445 447 450 451 454 455 458 467 a 1 2 8 9 10 12 16 17 22 25 29 34 38 40 43 47 49 60 63 64 69 70 71 72 76 80 83 85 86 87 88 90 91 101 107 108 109 110 114 116 118 124 132 134 135 137 138 139 147 150 156 157 159 160 161 163 164 168 174 178 183 190 191 193 196 198 204 208 209 210 211 214 220 222 224 226 228 230 236 242 243 246 257 258 259 261 262 264 265 267 269 270 273 276 277 279 281 282 286 289 291 292 295 296 297 304 306 314 315 316 319 320 321 322 324 326 327 336 345 348 349 352 354 355 360 367 370 371 374 375 379 381 382 386 393 396 399 408 409 415 416 419 420 423 424 426 427 429 432 445 447 450 451 454 455 458 467 a 1 2 8 9 10 12 16 17 22 25 29 34 38 40 43 47 49 60 63 64 69 71 72 76 80 83 85 86 87 88 90 91 101 107 108 109 110 114 116 118 124 132 134 135 137 138 139 147 150 156 157 159 160 161 163 164 168 174 178 183 190 191 193 196 198 204 208 209 210 211 214 220 222 224 226 228 230 236 242 243 246 257 258 259 261 262 264 265 267 269 270 273 276 277 279 281 282 286 289 291 292 295 296 297 304 306 314 315 316 319 320 321 322 324 326 327 336 345 348 349 352 354 355 360 367 370 371 374 375 379 381 382 386 393 396 399 408 409 415 416 419 420 423 424 426 427 429 431 432 445 447 450 451 454 455 458 467 a 1 2 8 9 10 12 16 17 22 25 29 34 38 40 43 47 49 60 63 64 69 71 72 76 80 83 85 86 87 88 90 91 101 108 109 110 114 116 118 124 132 134 135 137 138 139 147 150 156 157 159 160 161 163 164 168 174 178 183 190 191 193 196 198 204 208 209 210 211 214 220 222 224 226 228 230 236 242 243 246 257 258 259 261 262 264 265 267 269 270 273 276 277 279 281 282 286 289 291 292 295 296 297 304 306 314 315 316 319 320 321 322 324 326 327 336 345 348 349 352 354 355 356 360 367 370 371 374 375 379 381 382 386 393 396 399 408 409 415 416 419 420 423 424 426 427 429 431 432 445 447 450 451 454 455 458 467 a 1 2 8 9 10 12 16 17 22 25 29 34 38 40 43 47 49 60 63 64 69 71 72 76 80 83 85 86 87 88 90 91 101 103 108 109 110 114 116 118 124 132 134 135 137 138 139 147 150 156 157 159 160 161 163 164 168 174 178 183 190 191 193 196 198 204 208 209 210 211 214 220 222 224 226 228 230 236 242 243 246 257 258 259 261 262 264 265 267 269 273 276 277 279 281 282 286 289 291 292 295 296 297 304 306 314 315 316 319 320 321 322 324 326 327 336 345 348 349 352 354 355 356 360 367 370 371 374 375 379 381 382 386 393 396 399 408 409 415 416 419 420 423 424 426 427 429 431 432 445 447 450 451 454 455 458 467 a 1 2 8 9 10 12 16 17 22 25 34 38 40 43 47 49 60 63 64 69 71 72 76 80 83 85 86 87 88 90 91 101 103 108 109 110 114 116 118 124 132 134 135 137 138 139 147 150 156 157 159 160 161 163 164 168 174 178 183 190 191 193 196 198 204 208 209 210 211 214 220 222 224 226 228 230 236 242 243 246 257 258 259 261 262 264 265 267 269 273 276 277 279 281 282 286 289 291 292 295 296 297 304 306 314 315 316 319 320 321 322 324 326 327 336 345 348 349 352 354 355 356 360 367 370 371 374 375 379 381 382 386 393 396 399 408 409 415 416 419 420 423 424 426 427 429 431 432 434 445 447 450 451 454 455 458 467 a 1 2 8 9 10 12 16 17 22 25 34 38 40 43 47 49 60 63 64 69 71 72 76 80 83 85 86 87 88 90 91 101 103 108 109 110 114 116 118 124 132 134 135 137 138 139 147 150 156 157 159 160 161 163 164 168 174 178 183 190 191 193 196 198 204 208 209 210 211 214 220 222 224 226 228 230 236 242 243 244 246 257 258 259 261 262 264 265 267 269 273 276 277 279 281 282 286 289 291 292 295 296 297 304 306 314 315 316 319 320 321 322 324 326 327 336 345 348 349 354 355 356 360 367 370 371 374 375 379 381 382 386 393 396 399 408 409 415 416 419 420 423 424 426 427 429 431 432 434 445 447 450 451 454 455 458 467 a 1 2 8 9 10 12 16 17 22 25 34 38 40 43 47 49 60 63 64 69 71 72 76 80 83 85 86 87 88 90 91 101 103 108 109 110 114 116 118 124 132 134 135 137 138 139 147 150 156 157 159 160 161 164 168 174 178 183 190 191 193 196 198 204 208 209 210 211 214 220 222 224 226 228 230 236 242 243 244 246 257 258 259 261 262 264 265 267 269 273 276 277 279 281 282 286 289 291 292 295 296 297 304 306 314 315 316 319 320 321 322 324 326 327 336 345 348 349 354 355 356 360 364 367 370 371 374 375 379 381 382 386 393 396 399 408 409 415 416 419 420 423 424 426 427 429 431 432 434 445 447 450 451 454 455 458 467 a 1 2 8 9 10 12 16 17 22 25 34 38 40 43 47 49 60 63 64 69 71 72 76 80 83 85 86 87 88 90 91 101 103 108 109 110 114 116 118 124 132 134 135 137 138 139 146 147 150 156 157 159 161 164 168 174 178 183 190 191 193 196 198 204 208 209 210 211 214 220 222 224 226 228 230 236 242 243 244 246 257 258 259 261 262 264 265 267 269 273 276 277 279 281 282 286 289 291 292 295 296 297 304 306 314 315 316 319 320 321 322 324 326 327 336 345 348 349 354 355 356 360 364 367 370 371 374 375 379 381 382 386 393 396 399 408 409 415 416 419 420 423 424 426 427 429 431 432 434 445 447 450 451 454 455 458 467 a 1 2 8 9 10 12 16 17 22 25 34 38 40 43 47 49 60 63 64 69 71 72 76 80 83 85 87 88 90 91 101 103 108 109 110 114 116 118 124 132 134 135 137 138 139 146 147 150 156 157 159 161 164 168 174 178 183 190 191 193 196 198 204 208 209 210 211 214 220 222 224 226 228 230 236 242 243 244 246 257 258 259 261 262 264 265 267 269 273 276 277 279 281 282 286 289 291 292 295 296 297 304 306 314 315 316 319 320 321 322 324 326 327 336 345 348 349 354 355 356 360 364 367 370 371 374 375 379 381 382 384 386 393 396 399 408 409 415 416 419 420 423 424 426 427 429 431 432 434 445 447 450 451 454 455 458 467 a 1 2 8 9 10 12 16 17 22 25 34 38 40 43 47 49 60 63 64 69 71 72 76 80 83 85 87 88 90 91 101 103 108 109 110 114 116 118 124 128 132 134 135 137 138 139 146 147 150 156 157 159 161 164 168 174 178 183 190 191 193 196 198 204 208 209 210 211 214 220 222 224 226 228 230 236 242 243 244 246 257 258 259 261 262 264 265 267 269 273 276 277 279 281 282 286 289 291 292 295 296 297 304 306 314 315 316 319 320 321 322 324 326 336 345 348 349 354 355 356 360 364 367 370 371 374 375 379 381 382 384 386 393 396 399 408 409 415 416 419 420 423 424 426 427 429 431 432 434 445 447 450 451 454 455 458 467 a 1 2 8 9 10 12 16 17 22 25 34 38 40 43 47 49 60 63 64 69 71 72 76 80 83 85 87 88 90 91 101 103 108 109 110 114 116 118 124 128 132 134 135 137 138 139 146 147 150 156 157 159 164 168 174 178 183 190 191 193 196 198 204 208 209 210 211 214 220 222 224 226 228 230 234 236 242 243 244 246 257 258 259 261 262 264 265 267 269 273 276 277 279 281 282 286 289 291 292 295 296 297 304 306 314 315 316 319 320 321 322 324 326 336 345 348 349 354 355 356 360 364 367 370 371 374 375 379 381 382 384 386 393 396 399 408 409 415 416 419 420 423 424 426 427 429 431 432 434 445 447 450 451 454 455 458 467 a 1 2 8 9 10 12 16 17 22 25 34 40 43 47 49 60 63 64 69 71 72 76 80 83 85 87 88 90 91 101 103 108 109 110 114 116 118 124 128 132 134 135 137 138 139 146 147 150 156 157 159 164 168 174 178 183 190 191 193 196 198 204 208 209 210 211 214 220 222 224 226 228 230 234 236 242 243 244 246 257 258 259 261 262 264 265 267 269 273 276 277 279 281 282 286 289 291 292 295 296 297 304 306 314 315 316 319 320 321 322 324 326 336 337 345 348 349 354 355 356 360 364 367 370 371 374 375 379 381 382 384 386 393 396 399 408 409 415 416 419 420 423 424 426 427 429 431 432 434 445 447 450 451 454 455 458 467 a 1 8 9 10 12 16 17 22 25 34 40 43 47 49 60 63 64 69 71 72 76 80 83 85 87 88 90 91 101 103 105 108 109 110 114 116 118 124 128 132 134 135 137 138 139 146 147 150 156 157 159 164 168 174 178 183 190 191 193 196 198 204 208 209 210 211 214 220 222 224 226 228 230 234 236 242 243 244 246 257 258 259 261 262 264 265 267 269 273 276 277 279 281 282 286 289 291 292 295 296 297 304 306 314 315 316 319 320 321 322 324 326 336 337 345 348 349 354 355 356 360 364 367 370 371 374 375 379 381 382 384 386 393 396 399 408 409 415 416 419 420 423 424 426 427 429 431 432 434 445 447 450 451 454 455 458 467 a 1 8 9 10 12 16 17 22 25 34 40 43 47 49 60 63 64 69 71 72 76 80 83 85 87 88 90 91 101 103 105 108 109 110 114 116 118 124 128 132 134 135 137 138 139 146 147 150 156 157 159 164 168 174 178 183 190 191 193 196 198 204 208 209 210 211 214 220 222 224 226 228 230 234 235 236 242 243 244 246 257 258 259 261 262 264 265 267 269 273 276 277 279 281 282 286 289 291 292 295 296 297 304 306 314 315 316 319 320 321 322 324 326 336 337 345 348 349 354 355 356 360 364 367 370 371 374 375 379 381 382 384 386 393 399 408 409 415 416 419 420 423 424 426 427 429 431 432 434 445 447 450 451 454 455 458 467 a 1 8 9 10 12 16 17 22 25 34 40 43 47 49 60 63 64 69 71 72 76 80 83 85 87 88 90 91 101 103 105 108 109 110 114 116 118 124 128 132 134 135 137 138 139 146 147 150 156 157 159 164 168 174 178 183 190 191 193 196 198 204 208 209 210 211 214 220 222 224 226 228 230 234 235 236 242 243 244 246 249 257 258 259 261 262 264 265 267 269 273 276 277 279 281 282 286 289 291 292 295 296 304 306 314 315 316 319 320 321 322 324 326 336 337 345 348 349 354 355 356 360 364 367 370 371 374 375 379 381 382 384 386 393 399 408 409 415 416 419 420 423 424 426 427 429 431 432 434 445 447 450 451 454 455 458 467 a 1 7 8 9 10 12 16 17 22 25 34 40 43 47 49 60 63 64 69 71 72 76 80 83 85 87 88 90 91 101 103 105 108 109 110 114 116 118 124 128 132 134 135 137 138 139 146 147 150 156 157 159 164 168 174 178 183 190 191 193 196 198 204 208 209 210 211 214 220 222 224 226 228 230 234 235 236 242 243 244 246 249 257 258 259 261 262 264 265 267 269 273 276 277 279 281 282 286 289 291 292 295 296 304 306 314 315 316 319 320 321 322 326 336 337 345 348 349 354 355 356 360 364 367 370 371 374 375 379 381 382 384 386 393 399 408 409 415 416 419 420 423 424 426 427 429 431 432 434 445 447 450 451 454 455 458 467 a 1 7 8 9 10 12 16 17 22 25 34 40 43 47 49 60 63 64 69 71 72 76 80 83 85 87 88 90 91 101 103 105 108 109 110 114 116 118 124 128 132 134 135 137 138 139 146 147 150 156 157 159 164 168 174 178 183 190 191 193 196 198 204 208 209 210 211 214 220 222 224 226 228 230 234 235 236 242 243 244 246 249 257 258 259 261 262 264 265 267 269 273 276 277 279 281 282 286 289 291 292 295 296 306 314 315 316 319 320 321 322 326 336 337 345 346 348 349 354 355 356 360 364 367 370 371 374 375 379 381 382 384 386 393 399 408 409 415 416 419 420 423 424 426 427 429 431 432 434 445 447 450 451 454 455 458 467 a 1 7 8 9 10 12 16 17 22 25 34 40 43 47 49 60 63 64 69 71 72 76 80 83 85 87 88 90 91 101 103 105 108 109 110 114 116 118 124 128 132 134 135 137 138 139 146 147 150 156 157 159 164 168 174 178 183 190 191 193 196 198 204 208 209 210 211 214 220 222 224 226 228 230 234 235 236 243 244 246 249 257 258 259 261 262 264 265 267 269 273 276 277 279 281 282 286 289 291 292 295 296 306 314 315 316 319 320 321 322 326 336 337 342 345 346 348 349 354 355 356 360 364 367 370 371 374 375 379 381 382 384 386 393 399 408 409 415 416 419 420 423 424 426 427 429 431 432 434 445 447 450 451 454 455 458 467 a 1 7 8 9 10 12 16 17 22 25 34 40 43 47 49 60 63 64 68 69 71 72 76 80 83 85 87 88 90 91 101 103 105 108 109 110 114 116 118 124 128 132 134 135 137 138 139 146 147 150 156 157 159 164 168 174 178 183 190 191 193 196 198 204 208 209 210 211 214 220 222 224 226 228 230 234 235 236 243 244 246 249 257 258 259 261 262 264 265 267 269 273 276 277 279 281 282 286 289 291 292 295 296 306 314 315 316 319 320 321 322 326 336 337 342 345 346 348 349 354 355 356 360 364 367 370 371 374 375 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 458 467 a 1 7 8 9 10 12 16 17 20 22 25 34 40 43 47 49 60 63 64 68 69 71 72 76 80 83 85 87 88 90 91 101 103 105 108 109 110 114 116 118 124 128 132 134 135 137 138 139 146 147 150 156 157 159 164 168 174 178 183 190 191 193 196 198 204 208 209 210 211 214 220 222 224 226 228 230 234 235 236 243 244 246 249 257 258 259 261 262 264 265 267 269 273 276 277 279 281 282 286 289 291 292 295 296 306 315 316 319 320 321 322 326 336 337 342 345 346 348 349 354 355 356 360 364 367 370 371 374 375 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 458 467 a 1 7 8 9 10 12 16 17 20 22 25 34 40 43 47 49 60 63 64 68 69 71 72 76 80 83 85 87 88 90 91 101 103 104 105 108 109 110 114 116 118 124 128 132 134 135 137 138 139 146 147 150 156 157 159 164 168 174 178 183 190 191 193 196 198 204 208 209 211 214 220 222 224 226 228 230 234 235 236 243 244 246 249 257 258 259 261 262 264 265 267 269 273 276 277 279 281 282 286 289 291 292 295 296 306 315 316 319 320 321 322 326 336 337 342 345 346 348 349 354 355 356 360 364 367 370 371 374 375 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 458 467 a 1 7 8 9 10 12 16 17 20 22 25 34 37 40 43 47 49 60 63 64 68 69 71 72 76 80 83 85 87 88 90 91 101 103 104 105 108 109 110 114 116 118 124 128 132 134 135 137 138 139 146 147 150 156 157 159 164 168 174 178 183 190 191 193 196 198 204 208 209 211 214 220 222 224 226 228 230 234 235 236 243 244 246 249 257 258 259 261 262 264 265 267 269 273 276 277 279 281 282 286 289 291 292 295 296 306 315 316 319 320 321 322 326 336 337 342 346 348 349 354 355 356 360 364 367 370 371 374 375 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 458 467 a 1 7 8 9 10 12 16 17 20 22 25 34 37 40 43 47 49 60 63 64 68 69 71 72 76 80 83 85 87 88 90 91 101 103 104 105 108 109 110 114 116 118 124 128 132 134 135 137 138 139 146 147 150 156 157 159 164 168 174 178 183 190 191 193 196 198 204 208 209 211 214 215 220 222 224 226 230 234 235 236 243 244 246 249 257 258 259 261 262 264 265 267 269 273 276 277 279 281 282 286 289 291 292 295 296 306 315 316 319 320 321 322 326 336 337 342 346 348 349 354 355 356 360 364 367 370 371 374 375 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 458 467 a 1 7 8 9 10 12 16 17 20 22 25 34 37 40 43 47 49 60 63 64 68 69 71 72 76 80 83 85 87 88 90 91 101 103 104 105 108 109 110 114 116 118 124 128 132 134 135 137 138 139 146 147 150 156 157 159 164 168 174 178 183 190 191 193 196 198 204 208 209 211 214 215 220 222 224 226 230 234 235 236 243 244 246 249 257 258 259 261 262 264 265 267 269 273 276 277 279 281 282 285 286 289 291 292 295 296 306 315 319 320 321 322 326 336 337 342 346 348 349 354 355 356 360 364 367 370 371 374 375 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 458 467 a 1 7 8 9 10 12 16 17 20 22 25 34 37 40 43 47 49 60 63 64 68 69 71 72 80 83 85 87 88 89 90 91 101 103 104 105 108 109 110 114 116 118 124 128 132 134 135 137 138 139 146 147 150 156 157 159 164 168 174 178 183 190 191 193 196 198 204 208 209 211 214 215 220 222 224 226 230 234 235 236 243 244 246 249 257 258 259 261 262 264 265 267 269 273 276 277 279 281 282 285 286 289 291 292 295 296 306 315 319 320 321 322 326 336 337 342 346 348 349 354 355 356 360 364 367 370 371 374 375 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 458 467 a 1 7 8 9 10 12 16 17 20 22 25 34 37 43 47 49 60 63 64 68 69 71 72 80 83 85 87 88 89 90 91 101 103 104 105 108 109 110 114 116 118 124 128 132 134 135 137 138 139 146 147 150 156 157 159 164 168 174 178 183 190 191 193 196 198 204 208 209 211 214 215 220 222 224 226 230 234 235 236 243 244 246 249 257 258 259 261 262 264 265 267 269 273 276 277 279 281 282 285 286 289 291 292 295 296 301 306 315 319 320 321 322 326 336 337 342 346 348 349 354 355 356 360 364 367 370 371 374 375 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 458 467 a 1 7 8 9 10 12 16 17 20 22 25 34 37 43 47 49 60 63 64 68 69 71 72 80 83 85 87 88 89 90 91 101 103 104 105 108 109 110 114 116 118 124 128 132 134 135 137 138 139 144 146 147 150 156 157 159 164 168 174 178 183 190 191 193 196 198 204 208 209 211 214 215 220 222 224 226 230 234 235 236 243 244 246 249 257 258 259 261 262 264 265 267 269 273 276 277 279 281 282 285 286 289 291 292 295 296 301 306 315 319 320 321 322 326 336 337 342 346 348 349 354 355 356 360 364 367 370 371 375 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 458 467 a 1 7 8 9 10 12 16 17 20 22 25 34 37 43 47 49 60 63 64 68 69 71 72 80 83 85 87 88 89 90 91 101 103 104 105 108 109 110 114 116 118 124 128 132 134 135 137 138 139 144 146 147 150 156 157 159 164 168 174 178 183 190 191 193 196 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 267 269 273 276 277 279 281 282 285 286 289 291 292 295 296 301 306 315 319 320 321 326 336 337 342 346 348 349 354 355 356 360 364 367 370 371 375 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 458 467 a 1 7 8 9 10 12 16 17 20 22 25 34 37 43 47 49 59 60 63 64 68 69 71 72 80 83 85 88 89 90 91 101 103 104 105 108 109 110 114 116 118 124 128 132 134 135 137 138 139 144 146 147 150 156 157 159 164 168 174 178 183 190 191 193 196 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 267 269 273 276 277 279 281 282 285 286 289 291 292 295 296 301 306 315 319 320 321 326 336 337 342 346 348 349 354 355 356 360 364 367 370 371 375 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 458 467 a 1 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 91 101 103 104 105 108 109 110 114 116 118 124 128 132 134 135 137 138 139 144 146 147 150 156 157 159 164 168 174 178 183 190 191 193 196 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 267 269 273 276 277 279 281 282 285 286 289 291 292 295 296 301 306 315 319 320 321 326 336 337 342 346 348 349 354 355 356 360 364 367 370 371 375 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 458 467 a 1 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 91 101 103 104 105 108 109 110 114 116 118 124 128 132 134 135 137 138 139 144 146 147 150 156 157 159 164 168 174 178 183 187 190 191 193 196 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 267 269 273 276 277 279 281 282 285 286 289 291 292 295 296 301 306 315 319 320 321 326 336 337 342 346 348 349 354 355 356 360 364 367 371 375 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 458 467 a 1 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 91 101 103 104 105 108 109 110 114 116 118 124 128 132 134 135 137 138 139 144 146 147 150 156 157 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 267 269 273 276 277 279 281 282 285 286 289 291 292 295 296 301 306 315 319 320 321 326 336 337 342 346 348 349 354 355 356 360 364 367 371 375 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 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 91 101 103 104 105 106 108 109 110 114 116 118 124 128 132 134 135 137 138 139 144 146 147 150 156 157 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 267 269 273 276 277 279 281 282 285 286 289 291 292 295 296 301 306 315 319 320 321 326 336 337 342 346 348 349 354 355 356 360 364 367 371 375 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 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 91 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 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 276 277 279 281 282 285 286 289 291 292 295 296 301 306 315 319 320 321 326 336 337 342 346 348 349 354 355 356 360 364 367 371 375 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 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 118 124 128 132 134 135 137 138 139 144 146 147 148 150 156 157 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 276 277 279 281 282 285 286 289 291 292 295 296 301 306 315 319 320 321 326 336 337 342 346 348 349 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 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 118 124 128 132 134 135 137 138 139 144 146 147 148 150 156 157 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 276 277 279 281 282 285 286 289 291 292 295 296 301 306 315 319 320 321 326 336 337 342 346 348 349 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 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 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 276 277 279 281 282 285 286 289 291 292 295 296 301 306 315 319 320 321 326 336 337 342 346 348 349 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 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 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 276 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 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 276 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 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: 128 Command being timed: "python3 run_3.py --existent /benchmark/random_instance/random_instance036_graph003.col /benchmark/random_instance/random_instance036_graph003_01.dat" User time (seconds): 64.17 System time (seconds): 0.10 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:04.29 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): 339916 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 120537 Voluntary context switches: 20 Involuntary context switches: 439 Swaps: 0 File system inputs: 0 File system outputs: 984 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 13:00:22 2023]