#BEGIN: [Mon Sep  4 13:01:11 2023]
#HOST: s06
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-banbaralab2-existent1
#INSTANCE1: /benchmark/random_instance/random_instance039_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance039_graph005_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_instance039_graph005.col /benchmark/random_instance/random_instance039_graph005_01.dat
c /benchmark/random_instance/random_instance039_graph005.col
c /benchmark/random_instance/random_instance039_graph005_01.dat
*** Info : (clingo): INTERRUPTED by signal!
s 259 271 285 35 289 175 219 430 279 444 154 101 411 464 245 452 264 360 51 126 492 165 421 365 135 98 81 134 11 176 40 91 61 106 244 322 110 125 232 71 169 282 261 462 362 121 424 151 143 466 373 75 8 370 491 46 286 475 17 347 37 498 281 367 262 348 301 182 317 358 479 456 291 167 368 105 315 442 76 115 16 497 218 470 226 28 418 458 146 156 325 460 378 12 332 19 87 267 482 26 349 359 68 7 142 276 45 50 447 306 443 307 208 473 507 48 70 247 107 420 248 171 201 41 153 233 369 152 220 363 381 221 213 39 342 505 453 14 407 127 494 118 193 481 287 408 305 170 275 88 207 141 32 73 77 97 296 187 288 339 428 476 403 20 181
t 59 182 141 500 186 262 110 321 357 502 187 307 220 405 14 202 507 353 53 112 160 19 254 367 309 287 499 37 23 337 368 106 318 246 39 69 391 9 271 87 448 316 67 441 458 50 284 462 268 170 118 222 132 491 436 283 203 8 40 245 482 165 417 175 177 154 404 384 219 359 459 301 56 119 257 371 58 428 354 166 169 210 446 49 244 408 60 389 120 267 12 25 475 425 308 339 322 247 451 161 276 292 332 115 146 131 75 54 250 171 429 57 158 440 126 233 229 366 228 190 317 77 125 138 129 238 85 358 137 382 24 207 443 291 148 363 243 378 275 200 180 226 127 82 402 102 79 152 213 387 26 396 88 349 172 298 474 201 35 32 221 93 142 480 256
a YES
a 7 8 11 12 14 16 17 19 20 26 28 32 35 37 39 40 41 45 46 48 50 51 61 68 70 71 73 75 76 77 81 87 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 134 135 141 142 143 146 151 152 153 154 156 165 167 169 170 171 175 176 181 182 187 193 201 207 208 213 218 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 279 281 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 325 332 339 342 347 348 349 358 359 360 362 363 365 367 368 369 370 373 378 381 403 407 408 411 418 420 421 424 428 430 442 443 444 447 452 453 456 458 460 462 464 466 470 473 475 476 479 481 482 491 492 494 497 498 505 507
a 7 8 11 12 14 16 17 19 20 26 28 32 35 37 39 40 41 45 46 48 50 51 61 68 70 71 73 75 76 77 81 87 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 134 135 141 142 143 146 151 152 153 154 156 165 167 169 170 171 175 176 181 182 187 193 201 207 208 213 218 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 279 281 282 285 286 287 288 289 291 296 301 305 306 307 317 322 323 325 332 339 342 347 348 349 358 359 360 362 363 365 367 368 369 370 373 378 381 403 407 408 411 418 420 421 424 428 430 442 443 444 447 452 453 456 458 460 462 464 466 470 473 475 476 479 481 482 491 492 494 497 498 505 507
a 7 8 11 12 14 16 17 19 20 26 28 32 35 37 39 40 41 45 46 48 50 51 60 61 68 70 71 73 75 76 77 81 87 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 134 135 141 142 143 146 151 152 153 154 156 165 167 169 170 171 175 176 181 182 187 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 279 281 282 285 286 287 288 289 291 296 301 305 306 307 317 322 323 325 332 339 342 347 348 349 358 359 360 362 363 365 367 368 369 370 373 378 381 403 407 408 411 418 420 421 424 428 430 442 443 444 447 452 453 456 458 460 462 464 466 470 473 475 476 479 481 482 491 492 494 497 498 505 507
a 7 8 11 12 14 16 17 19 20 26 28 32 35 37 39 40 41 45 46 48 50 51 60 61 68 70 71 73 75 76 77 81 87 88 91 97 98 101 106 107 110 115 118 121 125 126 127 134 135 141 142 143 146 151 152 153 154 156 165 167 169 170 171 175 176 181 182 187 193 201 207 208 209 213 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 279 281 282 285 286 287 288 289 291 296 301 305 306 307 317 322 323 325 332 339 342 347 348 349 358 359 360 362 363 365 367 368 369 370 373 378 381 403 407 408 411 418 420 421 424 428 430 442 443 444 447 452 453 456 458 460 462 464 466 470 473 475 476 479 481 482 491 492 494 497 498 505 507
a 7 8 11 12 14 16 17 19 20 26 28 32 35 37 39 40 41 45 46 48 50 51 60 61 68 70 71 73 75 76 77 81 87 88 91 97 98 101 106 107 110 115 118 121 125 126 127 134 135 141 142 143 146 151 152 153 154 156 165 167 169 170 171 175 176 181 182 187 193 201 207 208 209 213 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 279 281 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 325 332 339 342 347 348 349 358 359 360 362 363 365 367 368 369 370 373 378 381 403 407 408 411 418 420 421 424 428 430 442 443 444 447 452 453 456 458 460 462 464 466 470 473 475 476 479 481 482 491 492 494 497 498 505 507
a 7 8 11 12 14 16 17 19 20 26 28 32 35 37 39 40 41 45 46 48 50 51 60 61 68 70 71 73 75 76 77 81 87 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 134 135 141 142 143 146 151 152 153 154 156 165 167 169 170 171 175 176 181 182 187 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 279 281 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 325 332 339 342 347 348 349 358 359 360 362 363 365 367 368 369 370 373 378 381 403 407 408 411 418 420 421 424 428 430 442 443 444 447 452 453 456 458 460 462 464 466 470 473 475 476 479 481 482 491 492 494 497 498 505 507
a 7 8 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 41 45 46 48 50 51 60 61 68 70 71 73 75 76 77 81 87 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 134 135 141 142 143 146 151 152 153 154 156 165 167 169 170 171 175 176 181 182 187 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 325 332 339 342 347 348 349 358 359 360 362 363 365 367 368 369 370 373 378 381 403 407 408 411 418 420 421 424 428 430 442 443 444 447 452 453 456 458 460 462 464 466 470 473 475 476 479 481 482 491 492 494 497 498 505 507
a 7 8 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 41 45 46 48 50 51 60 61 68 70 71 73 75 76 77 79 81 87 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 134 135 141 142 146 151 152 153 154 156 165 167 169 170 171 175 176 181 182 187 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 325 332 339 342 347 348 349 358 359 360 362 363 365 367 368 369 370 373 378 381 403 407 408 411 418 420 421 424 428 430 442 443 444 447 452 453 456 458 460 462 464 466 470 473 475 476 479 481 482 491 492 494 497 498 505 507
a 7 8 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 41 45 46 48 50 51 60 61 68 70 71 73 75 76 77 79 81 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 134 135 141 142 146 151 152 153 154 156 165 167 169 170 171 175 176 181 182 187 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 325 332 339 342 347 348 349 358 359 360 362 363 365 367 368 369 370 373 378 381 403 407 408 411 418 420 421 424 428 430 442 443 444 447 452 453 456 458 460 462 464 466 470 473 475 476 479 481 482 491 492 494 497 498 505 507
a 7 8 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 41 46 48 50 51 60 61 68 70 71 73 75 76 77 79 81 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 134 135 141 142 146 151 152 153 154 156 165 167 169 170 171 175 176 181 182 187 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 325 328 332 339 342 347 348 349 358 359 360 362 363 365 367 368 369 370 373 378 381 403 407 408 411 418 420 421 424 428 430 442 443 444 447 452 453 456 458 460 462 464 466 470 473 475 476 479 481 482 491 492 494 497 498 505 507
a 7 8 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 41 46 48 50 51 60 61 68 70 71 73 75 76 77 79 81 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 134 135 141 142 146 151 152 153 154 156 165 167 169 170 171 175 176 181 182 187 193 201 207 208 213 219 220 221 226 232 233 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 325 328 332 339 342 347 348 349 358 359 360 362 363 365 367 368 369 370 373 378 381 403 407 408 411 418 420 421 424 428 430 433 442 443 444 447 452 453 456 458 460 462 464 466 470 473 475 476 479 481 482 491 492 494 497 498 505 507
a 7 8 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 41 46 48 50 51 61 68 70 71 73 75 76 77 79 81 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 134 135 141 142 146 151 152 153 154 156 165 167 169 170 171 175 176 181 182 187 193 201 207 208 213 218 219 220 221 226 232 233 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 325 328 332 339 342 347 348 349 358 359 360 362 363 365 367 368 369 370 373 378 381 403 407 408 411 418 420 421 424 428 430 433 442 443 444 447 452 453 456 458 460 462 464 466 470 473 475 476 479 481 482 491 492 494 497 498 505 507
a 7 8 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 41 46 48 50 51 61 68 70 71 73 75 76 77 81 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 134 135 141 142 143 146 151 152 153 154 156 165 167 169 170 171 175 176 181 182 187 193 201 207 208 213 218 219 220 221 226 232 233 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 325 328 332 339 342 347 348 349 358 359 360 362 363 365 367 368 369 370 373 378 381 403 407 408 411 418 420 421 424 428 430 433 442 443 444 447 452 453 456 458 460 462 464 466 470 473 475 476 479 481 482 491 492 494 497 498 505 507
a 7 8 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 41 46 48 50 51 61 68 70 71 73 75 76 77 81 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 134 135 141 142 143 146 152 153 154 156 165 167 169 170 171 175 176 181 182 187 193 201 207 208 213 218 219 220 221 226 232 233 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 325 328 332 339 342 347 348 349 358 359 360 362 363 365 367 368 369 370 373 378 381 403 407 408 411 412 418 420 421 424 428 430 433 442 443 444 447 452 453 456 458 460 462 464 466 470 473 475 476 479 481 482 491 492 494 497 498 505 507
a 7 8 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 41 46 48 50 51 60 61 68 70 71 73 75 76 77 81 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 134 135 141 142 143 146 152 153 154 156 165 167 169 170 171 175 176 181 182 187 193 201 207 208 213 219 220 221 226 232 233 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 325 328 332 339 342 347 348 349 358 359 360 362 363 365 367 368 369 370 373 378 381 403 407 408 411 412 418 420 421 424 428 430 433 442 443 444 447 452 453 456 458 460 462 464 466 470 473 475 476 479 481 482 491 492 494 497 498 505 507
a 7 8 11 12 14 16 17 19 20 23 26 32 35 37 39 40 41 46 48 50 51 60 61 68 70 71 73 75 76 77 81 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 134 135 141 142 143 146 152 153 154 156 165 167 169 170 171 175 176 181 182 187 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 325 328 332 339 342 347 348 349 358 359 360 362 363 365 367 368 369 370 373 378 381 403 407 408 411 412 418 420 421 424 428 430 433 442 443 444 447 452 453 456 458 460 462 464 466 470 473 475 476 479 481 482 491 492 494 497 498 505 507
a 7 8 11 12 14 16 17 19 20 23 26 32 35 37 39 40 41 46 48 50 51 60 61 68 70 71 73 75 76 77 81 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 134 135 141 142 143 146 152 153 154 156 160 165 167 169 170 171 175 176 181 182 187 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 325 328 332 339 342 347 348 349 358 359 360 362 363 365 367 368 369 370 373 378 381 403 407 408 411 412 418 420 421 424 428 433 442 443 444 447 452 453 456 458 460 462 464 466 470 473 475 476 479 481 482 491 492 494 497 498 505 507
a 7 8 11 12 14 16 17 19 20 23 26 32 35 37 39 40 41 46 48 50 51 60 61 68 70 71 73 75 76 77 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 134 135 141 142 143 146 152 154 156 160 165 167 169 170 171 175 176 181 182 187 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 325 328 332 339 342 347 348 349 358 359 360 362 363 365 367 368 369 370 373 378 381 403 407 408 411 412 418 420 421 424 428 433 442 443 444 447 452 453 456 458 460 462 464 466 470 473 475 476 479 481 482 491 492 494 497 498 505 507
a 7 8 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 41 46 48 50 51 60 61 68 70 71 73 75 76 77 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 134 135 141 142 143 146 152 154 160 165 167 169 170 171 175 176 181 182 187 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 325 328 332 339 342 347 348 349 358 359 360 362 363 365 367 368 369 370 373 378 381 403 407 408 411 412 418 420 421 424 428 433 442 443 444 447 452 453 456 458 460 462 464 466 470 473 475 476 479 481 482 491 492 494 497 498 505 507
a 7 8 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 41 46 48 50 51 60 61 68 70 71 73 75 76 77 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 134 135 141 142 143 146 152 154 160 165 167 169 170 171 175 176 181 182 187 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 367 368 369 373 378 381 403 407 408 411 412 418 420 421 424 428 433 442 443 444 447 452 453 456 458 460 462 464 466 470 473 475 476 479 481 482 491 492 494 497 498 505 507
a 7 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 41 46 48 50 51 60 61 68 70 71 73 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 134 135 141 142 143 146 152 154 160 165 167 169 170 171 175 176 181 182 187 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 367 368 369 373 378 381 403 407 408 411 412 418 420 421 424 428 433 442 443 444 447 452 453 456 458 460 462 464 466 470 473 475 476 479 481 482 491 492 494 497 498 505 507
a 7 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 41 46 48 50 51 60 61 68 70 71 73 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 134 135 141 142 143 146 152 154 156 165 167 169 170 171 175 176 181 182 187 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 367 368 369 373 378 381 403 407 408 411 412 418 420 421 424 428 433 442 443 444 447 452 453 456 458 460 462 464 466 470 473 475 476 479 481 482 491 492 494 497 498 505 507
a 7 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 41 46 48 50 51 60 61 68 70 71 73 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 134 135 141 142 143 146 152 154 156 165 167 169 170 171 175 176 181 182 187 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 367 368 369 373 378 381 403 407 408 411 412 418 420 421 424 428 430 442 443 444 447 452 453 456 458 460 462 464 466 470 473 475 476 479 481 482 491 492 494 497 498 505 507
a 7 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 41 46 48 49 50 51 60 61 68 70 71 73 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 134 135 141 142 143 146 152 154 156 165 167 169 170 171 175 176 181 182 187 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 367 368 369 373 378 381 403 407 408 411 412 418 420 421 424 428 430 442 443 447 452 453 456 458 460 462 464 466 470 473 475 476 479 481 482 491 492 494 497 498 505 507
a 7 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 41 46 48 49 50 51 60 61 68 70 71 73 75 76 77 78 81 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 134 135 141 142 143 146 152 154 156 165 167 169 170 171 175 176 181 182 187 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 367 368 369 373 378 381 403 407 408 411 412 418 420 421 424 428 430 433 442 443 447 452 453 456 458 460 462 464 466 470 473 475 476 479 481 482 491 492 494 497 498 505 507
a 7 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 41 46 48 49 50 51 60 61 68 70 71 73 75 76 77 78 81 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 134 135 141 142 143 146 152 154 156 165 167 169 170 171 175 176 181 182 187 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 367 368 369 373 378 381 403 407 408 411 412 420 421 424 428 430 433 442 443 447 452 453 456 458 460 462 464 466 470 473 475 476 479 481 482 491 492 494 497 498 505 507
a 7 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 41 46 48 49 50 51 60 61 68 70 71 73 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 134 135 141 142 143 146 152 154 156 165 167 169 170 171 175 176 181 182 187 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 289 291 301 305 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 367 368 369 373 378 381 403 407 408 411 412 420 421 424 428 430 433 442 443 447 452 453 456 458 460 462 464 466 470 473 475 476 479 481 482 491 492 494 497 498 505 507
a 7 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 41 46 48 49 50 51 60 61 68 70 71 73 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 134 135 141 142 143 146 152 154 156 165 167 169 170 171 175 176 181 182 187 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 289 291 301 305 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 367 368 369 373 378 381 403 407 408 411 412 418 420 421 424 428 433 442 443 447 452 453 456 458 460 462 464 466 470 473 475 476 479 481 482 491 492 494 497 498 505 507
a 7 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 41 46 48 49 50 51 60 61 68 70 71 73 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 134 135 141 142 143 146 152 154 156 160 165 167 169 170 171 175 176 181 182 187 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 289 291 301 305 306 307 315 317 322 325 328 332 339 342 347 349 356 358 359 360 362 363 365 367 368 369 373 378 381 403 407 408 411 412 418 420 421 424 428 433 442 443 447 452 453 456 458 460 462 464 466 470 473 475 476 479 481 482 491 492 494 497 498 505 507
a 7 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 41 46 48 49 50 51 60 61 68 70 71 73 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 134 135 141 142 143 146 148 152 154 156 160 165 167 169 170 171 175 176 181 182 187 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 289 291 301 305 306 307 315 317 322 325 328 332 339 342 347 349 356 358 359 360 362 363 365 367 368 369 373 378 381 403 407 408 411 412 418 420 421 424 428 433 442 443 447 452 453 456 458 460 462 464 466 470 473 475 476 479 481 482 491 492 494 497 498 507
a 7 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 41 46 48 49 50 51 60 61 68 70 71 73 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 134 135 141 142 143 146 148 152 154 156 160 165 169 170 171 175 176 181 182 187 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 289 291 301 305 306 307 315 317 322 325 328 332 339 342 347 349 356 358 359 360 362 363 365 367 368 369 373 378 381 403 407 408 411 412 418 420 421 424 428 433 436 442 443 447 452 453 456 458 460 462 464 466 470 473 475 476 479 481 482 491 492 494 497 498 507
a 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 41 46 48 49 50 51 60 61 68 70 71 73 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 134 135 141 142 143 146 148 152 154 156 160 165 169 170 171 175 176 181 182 187 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 325 328 332 339 342 347 349 356 358 359 360 362 363 365 367 368 369 373 378 381 403 407 408 411 412 418 420 421 424 428 433 436 442 443 447 452 453 456 458 460 462 464 466 470 473 475 476 479 481 482 491 492 494 497 498 507
a 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 41 46 48 49 50 51 60 61 68 70 71 73 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 134 135 141 142 143 146 148 152 154 156 160 165 169 170 171 175 176 181 182 187 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 367 368 369 373 378 381 403 407 408 411 412 418 420 421 424 428 433 436 442 443 447 452 453 456 458 460 462 464 466 470 473 475 476 481 482 491 492 494 497 498 507
a 7 11 12 14 16 17 19 20 26 28 32 35 37 39 40 41 46 48 49 50 51 60 61 68 70 71 73 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 134 135 141 142 143 146 148 152 154 156 160 165 169 170 171 175 176 181 182 187 193 201 207 208 213 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 367 368 369 373 378 381 403 407 408 411 412 418 420 421 424 428 433 436 442 443 447 452 453 456 458 460 462 464 466 470 473 475 476 481 482 491 492 494 497 498 507
a 7 11 12 14 16 17 19 20 26 28 32 35 37 39 40 41 46 48 49 50 51 61 68 70 71 73 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 134 135 141 142 143 146 148 152 154 156 160 165 169 170 171 175 176 181 182 187 193 195 201 207 208 213 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 289 291 296 301 305 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 367 368 369 373 378 381 403 407 408 411 412 418 420 421 424 428 433 436 442 443 447 452 453 456 458 460 462 464 466 470 473 475 476 481 482 491 492 494 497 498 507
a 7 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 41 46 48 49 50 51 61 68 70 71 73 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 134 135 141 142 143 146 148 152 154 156 160 165 169 170 171 175 176 181 182 187 193 195 201 207 208 213 219 220 221 226 232 233 244 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 289 291 301 305 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 367 368 369 373 378 381 403 407 408 411 412 418 420 421 424 428 433 436 442 443 447 452 453 456 458 460 462 464 466 470 473 475 476 481 482 491 492 494 497 498 507
a 7 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 41 46 48 49 50 51 61 68 70 71 73 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 134 135 141 142 143 146 148 152 154 156 160 165 169 170 171 175 176 181 182 187 193 195 201 207 208 213 219 220 221 226 232 233 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 289 291 301 305 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 367 368 369 373 378 381 403 407 408 411 412 418 420 421 424 428 433 436 442 443 447 452 453 456 458 460 462 464 466 470 473 475 476 481 482 491 492 494 497 498 504 507
a 7 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 41 46 48 49 50 51 61 68 70 71 73 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 134 135 141 142 143 146 148 152 154 156 160 165 169 170 171 175 176 181 182 187 193 195 201 207 208 213 219 220 221 226 232 233 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 289 291 292 301 305 306 307 315 317 322 325 328 332 342 347 348 349 356 358 359 360 362 363 365 367 368 369 373 378 381 403 407 408 411 412 418 420 421 424 428 433 436 442 443 447 452 453 456 458 460 462 464 466 470 473 475 476 481 482 491 492 494 497 498 504 507
a 7 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 41 46 48 49 50 51 61 68 70 71 73 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 134 135 141 142 143 146 148 152 154 156 160 165 169 170 171 175 176 181 182 187 193 195 201 207 208 213 219 220 221 226 232 233 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 289 291 292 301 305 306 307 315 317 322 325 328 332 342 347 348 349 356 358 359 360 362 363 365 367 368 369 373 378 380 381 403 407 408 411 412 418 420 421 424 428 433 436 442 443 447 452 453 456 458 460 462 464 466 470 473 475 476 481 482 491 492 494 497 498 504
a 7 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 41 46 48 49 50 51 61 68 70 71 73 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 134 135 141 142 143 146 148 152 154 156 160 165 169 170 171 175 176 181 182 187 193 195 201 207 208 213 219 220 221 226 232 233 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 289 291 292 296 301 305 306 307 315 317 322 325 328 332 342 347 348 349 356 358 359 360 362 363 365 367 368 369 373 378 380 381 403 407 408 411 412 418 420 421 424 428 433 436 442 443 447 452 453 456 458 460 462 464 466 470 473 475 476 482 491 492 494 497 498 504
a 7 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 46 48 49 50 51 61 68 70 71 73 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 134 135 141 142 143 146 148 152 154 156 160 165 169 170 171 175 176 181 182 187 193 195 201 207 208 213 219 220 221 226 232 233 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 289 291 292 296 301 305 306 307 315 317 322 325 328 332 342 347 348 349 356 358 359 360 362 363 365 367 368 369 373 378 380 381 403 407 408 411 412 418 420 421 424 428 433 436 442 443 447 452 453 456 458 460 462 464 466 470 473 475 476 482 491 492 494 497 498 504 507
a 7 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 46 48 49 50 51 61 68 70 71 73 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 134 135 141 142 143 146 148 152 154 156 160 165 169 170 171 175 176 181 182 187 193 195 201 207 208 213 219 220 221 226 232 233 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 291 292 296 301 305 306 307 315 317 322 325 328 332 342 347 348 349 356 358 359 360 362 363 365 367 368 369 373 378 380 381 403 407 408 411 412 418 420 421 424 428 433 436 442 443 447 452 453 456 458 459 460 462 464 466 470 473 475 476 482 491 492 494 497 498 504 507
a 7 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 46 48 49 50 51 61 68 70 71 73 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 134 135 141 142 143 146 148 152 154 156 160 161 165 169 170 171 175 176 181 182 187 193 195 201 207 208 213 219 220 221 226 232 233 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 291 292 296 301 306 307 315 317 322 325 328 332 342 347 348 349 356 358 359 360 362 363 365 367 368 369 373 378 380 381 403 407 408 411 412 418 420 421 424 428 433 436 442 443 447 452 453 456 458 459 460 462 464 466 470 473 475 476 482 491 492 494 497 498 504 507
a 7 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 46 48 49 50 51 61 68 70 71 73 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 134 135 141 142 143 146 148 152 154 156 160 161 165 169 170 171 175 176 181 182 187 193 195 201 207 208 213 219 220 221 226 232 233 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 291 292 296 301 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 367 368 369 373 378 380 381 403 407 408 411 412 418 420 421 424 428 433 436 442 443 447 452 453 456 458 459 460 462 464 466 470 473 475 476 482 491 492 494 497 498 507
a 7 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 46 48 49 50 51 61 68 70 71 73 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 134 135 141 142 143 146 148 152 154 160 161 165 169 170 171 175 176 180 181 182 187 193 195 201 207 208 213 219 220 221 226 232 233 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 291 292 296 301 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 367 368 369 373 378 380 381 403 407 408 411 412 418 420 421 424 428 433 436 442 443 447 452 453 456 458 459 460 462 464 466 470 473 475 476 482 491 492 494 497 498 507
a 7 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 46 48 49 50 51 61 68 70 71 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 134 135 141 142 143 146 148 152 154 160 161 165 169 170 171 175 176 180 181 182 187 193 195 201 207 208 213 219 220 221 226 232 233 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 291 292 296 301 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 367 368 369 373 378 380 381 403 407 408 411 412 418 420 421 424 428 433 436 442 443 447 452 453 456 458 459 460 462 464 466 470 473 474 475 476 482 491 492 494 497 498 507
a 7 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 46 48 49 50 51 53 61 68 70 71 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 134 135 141 142 143 146 148 152 154 160 161 165 169 170 171 175 176 180 181 182 187 193 195 201 207 208 213 219 220 221 226 232 233 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 291 292 296 301 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 367 368 369 373 378 380 381 403 407 408 411 412 418 421 424 428 433 436 442 443 447 452 453 456 458 459 460 462 464 466 470 473 474 475 476 482 491 492 494 497 498 507
a 7 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 46 48 49 50 51 53 61 68 70 71 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 134 135 141 142 143 146 148 152 154 160 161 165 169 170 171 175 176 180 181 182 187 193 195 201 207 208 213 219 220 221 226 232 233 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 291 292 296 301 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 367 368 369 373 378 380 381 403 407 408 412 418 421 424 428 433 436 440 442 443 447 452 453 456 458 459 460 462 464 466 470 473 474 475 476 482 491 492 494 497 498 507
a 7 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 46 48 49 50 51 53 61 68 70 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 134 135 141 142 143 146 148 152 154 160 161 165 169 170 171 175 176 180 181 182 187 193 195 201 207 208 213 219 220 221 226 232 233 243 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 291 292 296 301 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 367 368 369 373 378 380 381 403 407 408 412 418 421 424 428 433 436 440 442 443 447 452 453 456 458 459 460 462 464 466 470 473 474 475 476 482 491 492 494 497 498 507
a 7 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 46 48 49 50 53 61 68 70 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 134 135 141 142 143 146 148 152 154 160 161 165 169 170 171 175 176 180 181 182 187 193 195 201 207 208 213 219 220 221 226 232 233 243 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 291 292 296 301 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 367 368 369 373 378 380 381 403 407 408 412 417 418 421 424 428 433 436 440 442 443 447 452 453 456 458 459 460 462 464 466 470 473 474 475 476 482 491 492 494 497 498 507
a 7 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 46 48 49 50 53 61 68 70 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 134 135 141 142 143 146 148 152 154 160 161 165 169 170 171 175 176 180 181 182 187 193 195 201 207 208 213 219 220 221 226 232 233 243 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 291 292 296 301 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 367 368 369 373 378 380 381 382 403 407 408 412 417 418 424 428 433 436 440 442 443 447 452 453 456 458 459 460 462 464 466 470 473 474 475 476 482 491 492 494 497 498 507
a 7 11 12 14 16 17 19 20 23 26 28 32 35 37 39 40 46 48 49 50 53 61 68 70 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 134 135 141 142 143 146 148 152 154 160 161 165 169 170 171 175 176 180 181 182 187 193 195 201 207 208 213 219 220 221 226 232 233 243 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 291 292 296 301 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 367 368 369 373 378 380 381 382 389 403 407 408 412 417 418 424 428 433 436 440 442 443 447 452 453 456 458 459 460 462 464 466 470 473 474 475 476 482 491 492 494 498 507
a 7 11 12 14 17 19 20 23 25 26 28 32 35 37 39 40 46 48 49 50 53 61 68 70 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 134 135 141 142 143 146 148 152 154 160 161 165 169 170 171 175 176 180 181 182 187 193 195 201 207 208 213 219 220 221 226 232 233 243 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 291 292 296 301 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 367 368 369 373 378 380 381 382 389 403 407 408 412 417 418 424 428 433 436 440 442 443 447 452 453 456 458 459 460 462 464 466 470 473 474 475 476 482 491 492 494 498 507
a 7 11 12 14 17 19 20 23 25 26 28 32 35 37 39 40 46 48 49 50 53 61 68 70 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 129 134 135 141 142 143 146 148 152 154 160 161 165 169 170 171 175 176 180 181 182 187 193 195 201 207 208 213 219 220 221 226 232 233 243 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 291 292 296 301 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 367 368 369 373 378 380 381 382 389 403 407 408 412 417 418 424 428 433 436 440 442 443 447 452 453 456 458 459 460 462 464 466 470 473 474 475 476 482 491 492 494 507
a 7 11 12 14 17 19 20 23 25 26 28 32 35 37 39 40 46 48 49 50 53 54 61 68 70 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 129 134 135 141 142 143 146 148 152 154 160 161 165 169 170 171 175 176 180 181 182 187 193 195 201 207 208 213 219 220 221 226 232 233 243 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 291 292 296 301 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 367 368 369 373 378 380 381 382 389 403 407 408 412 417 418 424 428 433 436 440 443 447 452 453 456 458 459 460 462 464 466 470 473 474 475 476 482 491 492 494 507
a 7 11 12 14 17 19 20 23 25 26 28 32 35 37 39 40 46 48 49 50 53 54 61 68 70 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 129 134 135 141 142 143 146 148 152 154 160 161 165 169 170 171 175 176 180 181 182 187 193 195 201 207 208 213 219 220 221 226 232 233 243 245 247 248 259 261 262 264 267 271 275 276 281 282 285 286 287 288 291 292 296 301 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 367 368 369 373 378 380 381 382 389 403 407 408 412 417 418 428 429 433 436 440 443 447 452 453 456 458 459 460 462 464 466 470 473 474 475 476 482 491 492 494 507
a 7 11 12 14 17 19 23 25 26 28 32 35 37 39 40 46 48 49 50 53 54 61 68 70 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 129 134 135 141 142 143 146 148 152 154 160 161 165 169 170 171 175 176 180 181 182 187 193 195 201 207 208 213 219 220 221 226 232 233 243 245 247 248 259 261 262 264 267 271 275 276 281 282 284 285 286 287 288 291 292 296 301 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 367 368 369 373 378 380 381 382 389 403 407 408 412 417 418 428 429 433 436 440 443 447 452 453 456 458 459 460 462 464 466 470 473 474 475 476 482 491 492 494 507
a 7 11 12 14 17 19 23 25 26 28 32 35 37 39 40 46 48 49 50 53 54 61 68 70 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 129 134 135 141 142 146 148 152 154 160 161 165 169 170 171 175 176 180 181 182 187 193 195 201 207 208 213 219 220 221 226 232 233 243 245 247 248 259 261 262 264 267 271 275 276 281 282 284 285 286 287 288 291 292 296 301 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 366 367 368 369 373 378 380 381 382 389 403 407 408 412 417 418 428 429 433 436 440 443 447 452 453 456 458 459 460 462 464 466 470 473 474 475 476 482 491 492 494 507
a 7 11 12 14 17 19 23 25 26 28 32 35 37 39 40 46 48 49 50 53 54 61 68 70 75 76 77 78 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 129 134 135 141 142 146 148 152 154 160 161 165 169 170 171 175 176 180 181 182 187 193 195 201 207 208 213 219 220 221 226 232 233 243 245 247 248 259 261 262 264 267 271 275 276 281 282 284 285 286 287 288 291 292 296 301 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 366 367 368 369 373 378 380 381 382 384 389 403 407 408 412 417 418 428 429 433 436 440 443 447 452 453 456 458 459 460 462 464 466 470 473 474 475 482 491 492 494 507
a 7 11 12 14 17 19 23 25 26 28 32 35 37 39 40 46 48 49 50 53 54 61 68 70 75 76 77 78 79 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 129 134 135 141 142 146 148 152 154 160 161 165 169 170 171 175 176 180 181 182 187 193 195 201 207 208 213 219 220 221 226 232 233 243 245 247 248 259 261 262 264 267 271 275 276 281 282 284 285 286 287 291 292 296 301 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 366 367 368 369 373 378 380 381 382 384 389 403 407 408 412 417 418 428 429 433 436 440 443 447 452 453 456 458 459 460 462 464 466 470 473 474 475 482 491 492 494 507
a 7 11 12 14 17 19 23 25 26 28 32 35 37 39 40 46 48 49 50 53 54 60 61 68 70 75 76 77 78 79 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 129 134 135 141 142 146 148 152 154 160 161 165 169 170 171 175 176 180 181 182 187 193 201 207 208 213 219 220 221 226 232 233 243 245 247 248 259 261 262 264 267 271 275 276 281 282 284 285 286 287 291 292 296 301 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 366 367 368 369 373 378 380 381 382 384 389 403 407 408 412 417 418 428 429 433 436 440 443 447 452 453 456 458 459 460 462 464 466 470 473 474 475 482 491 492 494 507
a 7 11 12 14 17 19 23 25 26 28 32 35 37 39 40 46 48 49 50 53 54 60 61 68 70 75 76 77 78 79 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 129 134 135 141 142 146 148 152 154 160 161 165 169 170 171 175 176 180 181 182 187 193 201 207 208 213 219 220 221 222 226 232 233 243 245 247 248 259 261 262 264 267 271 275 276 281 282 284 285 286 287 291 292 301 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 366 367 368 369 373 378 380 381 382 384 389 403 407 408 412 417 418 428 429 433 436 440 443 447 452 453 456 458 459 460 462 464 466 470 473 474 475 482 491 492 494 507
a 7 11 12 14 17 19 23 25 26 28 32 35 37 39 40 46 48 49 50 53 54 60 61 68 70 75 76 77 78 79 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 129 134 135 141 142 146 148 152 154 158 160 161 165 169 170 171 175 176 180 181 182 187 193 201 207 208 213 219 220 221 222 226 232 233 243 245 247 248 259 261 262 264 267 271 275 276 281 282 284 285 286 287 291 292 301 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 366 367 368 369 373 378 380 381 382 384 389 403 407 408 412 417 418 428 429 433 436 440 443 447 452 453 456 458 459 460 462 464 466 470 473 474 475 482 491 492 507
a 7 11 12 14 17 19 23 25 26 28 32 35 37 39 40 46 48 49 50 53 54 60 61 68 70 75 76 77 78 79 81 82 84 88 91 97 98 101 105 106 107 110 115 118 121 125 126 127 128 129 134 135 141 142 146 148 152 154 158 160 161 165 169 170 171 175 176 180 181 182 187 193 201 207 208 213 219 220 221 222 226 232 233 243 245 247 248 259 261 262 264 267 271 275 276 281 282 284 285 287 291 292 301 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 366 367 368 369 373 378 380 381 382 384 389 396 403 407 408 412 417 418 428 429 433 436 440 443 447 452 453 456 458 459 460 462 464 466 470 473 474 475 482 491 492 507
a 7 11 12 14 17 19 23 25 26 28 32 35 37 39 40 46 48 49 50 53 54 60 61 68 70 75 76 77 78 79 81 82 84 88 97 98 101 105 106 107 110 115 118 121 125 126 127 128 129 134 135 141 142 146 148 152 154 158 160 161 165 169 170 171 175 176 180 181 182 187 193 201 207 208 213 219 220 221 222 226 232 233 243 245 247 248 259 261 262 264 267 271 275 276 281 282 284 285 287 291 292 301 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 366 367 368 369 373 378 380 381 382 384 389 396 403 407 408 412 417 418 428 429 433 436 440 443 447 452 453 456 458 459 460 462 464 466 470 473 474 475 482 491 492 499 507
a 7 11 12 14 17 19 23 25 26 28 32 35 37 39 40 46 48 49 50 53 54 60 61 68 70 75 76 77 78 79 81 82 84 88 97 98 101 105 106 107 110 115 118 121 125 126 127 128 129 134 135 141 142 146 148 152 154 158 160 161 165 169 170 171 175 176 180 181 182 187 193 201 207 208 213 219 220 221 222 226 232 233 243 245 247 248 259 261 262 264 267 271 275 276 281 282 284 285 287 291 292 301 306 307 315 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 366 367 368 369 373 378 380 381 382 384 389 396 403 407 408 412 417 418 428 429 433 436 440 443 446 447 452 453 456 458 459 460 462 464 466 470 474 475 482 491 492 499 507
a 7 11 12 14 17 19 23 25 26 28 32 35 37 39 40 46 48 49 50 53 54 60 61 68 70 75 76 77 78 79 81 82 84 88 97 98 101 105 106 107 110 115 118 121 125 126 127 128 129 134 135 141 142 146 148 152 154 158 160 161 165 169 170 171 175 176 180 181 182 187 193 201 202 207 208 213 219 220 221 222 226 232 233 243 245 247 248 259 261 262 264 267 271 275 276 281 282 284 285 287 291 292 301 306 307 317 322 325 328 332 339 342 347 348 349 356 358 359 360 362 363 365 366 367 368 369 373 378 380 381 382 384 389 396 403 407 408 412 417 418 428 429 433 436 440 443 446 447 452 453 456 458 459 460 462 464 466 470 474 475 482 491 492 499 507
a 7 11 12 14 17 19 23 25 26 28 32 35 37 39 40 46 48 49 50 53 54 60 61 68 70 75 76 77 78 79 81 82 84 88 97 98 101 105 106 107 110 115 118 121 125 126 127 128 129 134 135 141 142 146 148 152 154 158 160 161 165 169 170 171 175 176 180 181 182 187 193 201 202 207 208 213 219 220 221 222 226 232 233 243 245 247 248 256 259 261 262 264 267 271 275 276 281 282 284 285 287 291 292 301 306 307 317 322 325 328 332 339 342 347 348 349 356 358 359 362 363 365 366 367 368 369 373 378 380 381 382 384 389 396 403 407 408 412 417 418 428 429 433 436 440 443 446 447 452 453 456 458 459 460 462 464 466 470 474 475 482 491 492 499 507
a 7 11 12 14 17 19 23 25 26 28 32 35 37 39 40 46 48 49 50 53 54 60 61 68 70 75 76 77 78 79 81 82 84 88 97 98 101 105 106 107 110 115 118 121 125 126 127 128 129 132 134 135 141 142 146 148 152 154 158 160 161 165 169 170 171 175 176 180 181 182 187 193 201 202 207 208 213 219 220 221 222 226 232 233 243 245 247 248 256 259 261 262 264 267 271 275 276 281 282 284 285 287 291 292 301 306 307 317 322 325 328 332 339 342 347 348 349 356 358 359 362 363 365 366 367 368 369 373 378 380 381 382 384 389 396 403 407 408 412 417 418 428 429 433 436 440 443 446 447 452 453 456 458 459 460 462 464 466 474 475 482 491 492 499 507
a 7 11 12 14 17 19 23 25 26 28 32 35 37 39 40 46 48 49 50 53 54 59 60 61 68 70 75 76 77 78 79 81 82 84 88 97 98 101 105 106 107 110 115 118 121 125 126 127 128 129 132 134 135 141 142 146 148 152 154 158 160 161 165 169 170 171 175 176 180 181 182 187 193 201 202 207 208 213 219 220 221 222 226 232 233 243 245 247 248 256 259 261 262 264 267 271 275 276 281 282 284 285 287 291 292 301 306 307 317 322 325 328 332 339 342 347 348 349 356 358 359 362 363 365 366 367 368 369 373 378 380 381 382 384 389 396 403 407 408 412 417 428 429 433 436 440 443 446 447 452 453 456 458 459 460 462 464 466 474 475 482 491 492 499 507
a 7 11 12 14 17 19 23 25 26 28 32 35 37 39 40 46 48 49 50 53 54 59 60 61 68 70 75 76 77 78 79 81 82 84 88 97 98 101 105 106 107 110 115 118 120 121 125 126 127 128 129 132 134 135 141 142 146 148 152 154 158 160 161 165 169 170 171 175 176 180 181 182 187 193 201 202 207 208 213 219 220 221 222 226 232 233 243 245 247 248 256 259 261 262 264 267 271 275 276 281 282 284 285 287 291 292 301 306 307 317 322 325 328 332 339 342 347 348 349 356 358 359 362 363 365 366 367 368 369 373 378 380 381 382 384 389 396 403 407 408 412 417 428 429 433 436 440 443 446 452 453 456 458 459 460 462 464 466 474 475 482 491 492 499 507
a 7 11 12 14 17 19 23 25 26 28 32 35 37 39 40 46 48 49 50 53 54 59 60 61 68 70 75 76 77 79 81 82 84 88 97 98 101 105 106 107 110 115 118 120 121 125 126 127 128 129 132 134 135 141 142 146 148 152 154 158 160 161 165 169 170 171 175 176 180 181 182 187 193 201 202 207 208 213 219 220 221 222 226 232 233 243 245 247 248 256 259 261 262 264 267 271 275 276 281 282 284 285 287 291 292 298 301 306 307 317 322 325 328 332 339 342 347 348 349 356 358 359 362 363 365 366 367 368 369 373 378 380 381 382 384 389 396 403 407 408 412 417 428 429 433 436 440 443 446 452 453 456 458 459 460 462 464 466 474 475 482 491 492 499 507
a 7 11 12 14 17 19 23 25 26 28 32 35 37 39 40 46 48 49 50 53 54 59 60 61 68 70 75 76 77 79 81 82 84 88 97 98 101 105 106 107 110 115 118 120 121 125 126 127 128 129 132 134 135 141 142 146 148 152 154 158 160 161 165 169 170 171 172 175 176 180 181 182 187 193 201 202 207 208 213 219 220 221 222 226 232 233 243 245 247 248 256 261 262 264 267 271 275 276 281 282 284 285 287 291 292 298 301 306 307 317 322 325 328 332 339 342 347 348 349 356 358 359 362 363 365 366 367 368 369 373 378 380 381 382 384 389 396 403 407 408 412 417 428 429 433 436 440 443 446 452 453 456 458 459 460 462 464 466 474 475 482 491 492 499 507
a 7 11 12 14 17 19 23 25 26 28 32 35 37 39 40 46 48 49 50 53 54 59 60 61 68 70 75 76 77 79 81 82 84 88 97 98 101 105 106 107 110 115 118 120 125 126 127 128 129 132 134 135 141 142 146 148 152 154 158 160 161 165 169 170 171 172 175 176 180 181 182 187 193 201 202 207 208 213 219 220 221 222 226 232 233 243 245 247 248 256 261 262 264 267 271 275 276 281 282 284 285 287 291 292 298 301 306 307 317 322 325 328 332 339 342 347 348 349 356 358 359 362 363 365 366 367 368 369 373 378 380 381 382 384 389 396 402 403 407 408 412 417 428 429 433 436 440 443 446 452 453 456 458 459 460 462 464 466 474 475 482 491 492 499 507
a 7 11 12 14 17 19 23 25 26 28 32 35 37 39 40 46 48 49 50 53 54 59 60 61 68 70 75 76 77 79 81 82 84 88 97 98 101 105 106 107 110 115 118 120 125 126 127 128 129 132 134 135 141 142 146 148 152 154 158 160 161 165 169 170 171 172 175 176 180 181 182 187 193 201 202 207 208 213 219 220 221 222 226 232 233 243 245 247 248 256 261 262 264 267 271 275 276 281 282 284 285 287 291 292 298 301 306 307 317 322 325 328 332 337 339 342 347 348 349 356 358 359 362 363 365 366 367 368 369 373 378 380 381 382 384 389 396 402 403 407 408 417 428 429 433 436 440 443 446 452 453 456 458 459 460 462 464 466 474 475 482 491 492 499 507
a 7 11 12 14 17 19 23 25 26 28 32 35 37 39 40 46 48 49 50 53 54 59 60 61 68 70 75 76 77 79 81 82 84 88 97 98 101 105 106 107 110 115 118 120 125 126 127 128 129 132 134 135 141 142 146 148 152 154 158 160 161 165 169 170 171 172 175 176 180 181 182 187 193 201 202 207 208 210 213 219 220 221 222 226 232 233 243 245 247 248 256 261 262 264 267 271 275 276 281 282 284 285 287 291 292 298 301 306 307 317 322 325 328 332 337 339 342 347 348 349 356 358 359 362 363 365 366 367 368 373 378 380 381 382 384 389 396 402 403 407 408 417 428 429 433 436 440 443 446 452 453 456 458 459 460 462 464 466 474 475 482 491 492 499 507
a 7 8 11 12 14 17 19 23 25 26 28 32 35 37 39 40 46 48 49 50 53 54 59 60 61 68 70 75 76 77 79 81 82 84 88 97 98 101 105 106 107 110 115 118 120 125 126 127 128 129 132 134 135 141 142 146 148 152 154 158 160 161 165 169 170 171 172 175 176 180 181 182 187 193 201 202 207 208 210 213 219 220 221 222 226 232 233 243 245 247 248 256 261 262 264 267 271 275 276 281 282 284 285 287 291 292 298 301 306 307 317 322 325 328 332 337 339 347 348 349 356 358 359 362 363 365 366 367 368 373 378 380 381 382 384 389 396 402 403 407 408 417 428 429 433 436 440 443 446 452 453 456 458 459 460 462 464 466 474 475 482 491 492 499 507
a 7 8 11 12 14 17 19 23 25 26 28 32 35 37 39 40 46 48 49 50 53 54 59 60 61 68 70 75 76 77 79 81 82 84 88 97 98 101 105 106 107 110 115 118 120 125 126 127 128 129 132 134 135 141 142 146 148 152 154 158 160 161 165 169 170 171 172 175 176 180 181 182 187 193 201 202 207 208 210 213 219 220 221 222 226 232 233 243 245 247 248 256 261 262 264 267 271 275 276 281 282 284 285 287 291 292 298 301 306 307 317 322 325 328 332 337 339 347 348 349 356 358 359 362 363 365 366 367 368 373 378 380 381 382 384 387 389 396 402 403 407 408 417 428 429 433 436 440 443 446 452 453 456 458 459 460 462 464 474 475 482 491 492 499 507
a 7 8 11 12 14 17 19 23 25 26 28 32 35 37 39 40 46 48 49 50 53 54 59 60 61 68 70 75 77 79 81 82 84 88 97 98 101 105 106 107 110 115 118 120 125 126 127 128 129 132 134 135 141 142 146 148 152 154 158 160 161 165 169 170 171 172 175 176 180 181 182 187 193 200 201 202 207 208 210 213 219 220 221 222 226 232 233 243 245 247 248 256 261 262 264 267 271 275 276 281 282 284 285 287 291 292 298 301 306 307 317 322 325 328 332 337 339 347 348 349 356 358 359 362 363 365 366 367 368 373 378 380 381 382 384 387 389 396 402 403 407 408 417 428 429 433 436 440 443 446 452 453 456 458 459 460 462 464 474 475 482 491 492 499 507
a 7 8 11 12 14 17 19 23 25 26 28 32 35 37 39 40 46 48 49 50 53 54 59 60 61 68 70 75 77 79 81 82 84 88 97 98 101 105 106 107 110 115 118 120 125 126 127 128 129 131 132 134 135 141 142 146 148 152 154 158 160 161 165 169 170 171 172 175 176 180 181 182 187 193 200 201 202 207 208 210 213 219 220 221 222 226 232 233 243 245 247 248 256 261 262 264 267 271 275 276 281 282 284 285 287 291 292 298 301 306 307 317 322 325 328 332 337 339 348 349 356 358 359 362 363 365 366 367 368 373 378 380 381 382 384 387 389 396 402 403 407 408 417 428 429 433 436 440 443 446 452 453 456 458 459 460 462 464 474 475 482 491 492 499 507
a 7 8 11 12 14 17 19 23 25 26 28 32 35 37 39 40 46 48 49 50 53 54 59 60 61 68 70 75 77 79 81 82 84 88 97 98 101 105 106 107 110 115 118 120 125 126 127 128 129 131 132 134 135 141 142 146 148 152 154 158 160 161 165 169 170 171 172 175 176 177 180 181 182 187 193 200 201 202 207 208 210 213 219 220 221 222 226 232 233 243 245 247 248 256 261 262 264 267 271 275 276 281 284 285 287 291 292 298 301 306 307 317 322 325 328 332 337 339 348 349 356 358 359 362 363 365 366 367 368 373 378 380 381 382 384 387 389 396 402 403 407 408 417 428 429 433 436 440 443 446 452 453 456 458 459 460 462 464 474 475 482 491 492 499 507
a 7 8 11 12 14 17 19 23 25 26 28 32 35 37 39 40 48 49 50 53 54 59 60 61 68 70 75 77 79 81 82 84 88 97 98 101 105 106 107 110 115 118 120 125 126 127 128 129 131 132 134 135 141 142 146 148 152 154 158 160 161 165 169 170 171 172 175 176 177 180 181 182 187 193 200 201 202 207 208 210 213 219 220 221 222 226 232 233 243 245 247 248 256 261 262 264 267 271 275 276 281 284 285 287 291 292 298 301 306 307 317 322 325 328 332 337 339 348 349 356 358 359 362 363 365 366 367 368 373 378 380 381 382 384 387 389 396 402 403 405 407 408 417 428 429 433 436 440 443 446 452 453 456 458 459 460 462 464 474 475 482 491 492 499 507
a 7 8 11 12 14 17 19 23 25 26 28 32 35 37 39 40 48 49 50 53 54 59 60 61 68 70 75 77 79 81 82 84 88 97 98 101 105 106 107 110 115 118 120 125 126 127 128 129 131 132 134 135 141 142 146 148 152 154 158 160 161 165 169 170 171 172 175 176 177 180 181 182 187 193 200 201 202 207 208 210 213 219 220 221 222 226 232 233 243 245 247 248 256 261 262 264 267 271 275 276 281 284 285 287 291 292 298 301 306 307 317 322 325 328 332 337 339 348 349 353 356 358 359 362 363 365 366 367 368 373 378 380 381 382 384 387 389 396 402 403 405 408 417 428 429 433 436 440 443 446 452 453 456 458 459 460 462 464 474 475 482 491 492 499 507
a 7 8 11 12 14 17 19 23 25 26 28 32 35 37 39 40 48 49 50 53 54 59 60 61 68 70 75 77 79 81 82 84 88 97 98 101 105 106 107 110 115 118 120 125 126 127 128 129 131 132 134 135 141 142 146 148 152 154 158 160 161 165 169 170 171 172 175 176 177 180 181 182 187 193 200 201 202 207 208 210 213 219 220 221 222 226 232 233 243 245 247 248 256 261 262 264 267 271 275 276 281 284 285 287 291 292 298 301 306 307 317 322 325 328 332 337 339 348 349 353 356 358 359 362 363 365 366 367 368 373 378 380 381 382 384 387 389 396 402 403 404 405 408 417 428 429 433 436 440 443 446 453 456 458 459 460 462 464 474 475 482 491 492 499 507
a 7 8 11 12 14 17 19 23 25 26 28 32 35 37 39 40 48 49 50 53 54 59 60 61 68 70 75 77 79 81 82 84 88 97 98 105 106 107 110 115 118 120 125 126 127 128 129 131 132 134 135 141 142 146 148 152 154 158 160 161 165 169 170 171 172 175 176 177 180 181 182 187 193 200 201 202 207 208 210 213 219 220 221 222 226 232 233 243 245 247 248 256 261 262 264 267 271 275 276 281 284 285 287 291 292 298 301 306 307 308 317 322 325 328 332 337 339 348 349 353 356 358 359 362 363 365 366 367 368 373 378 380 381 382 384 387 389 396 402 403 404 405 408 417 428 429 433 436 440 443 446 453 456 458 459 460 462 464 474 475 482 491 492 499 507
a 7 8 11 12 14 17 19 23 25 26 28 32 35 37 39 40 48 49 50 53 54 59 60 61 68 70 75 77 79 81 82 84 88 97 98 105 106 107 110 115 118 120 125 126 127 128 129 131 132 134 135 141 142 146 148 152 154 158 160 161 165 169 170 171 172 175 176 177 180 181 182 186 187 193 200 201 202 207 208 210 213 219 220 221 222 226 232 233 243 245 247 248 256 261 262 264 267 271 275 276 281 284 285 287 291 292 298 301 306 307 308 317 322 325 328 332 337 339 348 349 353 356 358 359 362 363 365 366 367 368 373 378 380 381 382 384 387 389 396 402 403 404 405 408 417 428 429 433 436 440 443 446 453 458 459 460 462 464 474 475 482 491 492 499 507
a 7 8 11 12 14 17 19 23 25 26 28 32 35 37 39 40 48 49 50 53 54 59 60 61 68 70 75 77 79 81 82 84 88 97 98 105 106 107 110 115 118 120 125 126 127 128 129 131 132 134 135 138 141 142 146 148 152 154 158 160 161 165 169 170 171 172 175 176 177 180 181 182 186 187 193 200 201 202 207 208 210 213 219 220 221 222 226 232 233 243 245 247 248 256 261 262 264 267 271 275 276 281 284 285 287 291 292 298 301 306 307 308 317 322 325 328 332 337 339 349 353 356 358 359 362 363 365 366 367 368 373 378 380 381 382 384 387 389 396 402 403 404 405 408 417 428 429 433 436 440 443 446 453 458 459 460 462 464 474 475 482 491 492 499 507
a 7 8 11 12 14 17 19 23 25 26 28 32 35 37 39 40 48 49 50 53 54 59 60 61 68 70 75 77 79 81 82 84 88 97 98 105 106 107 110 115 118 120 125 126 127 128 129 131 132 134 135 138 141 142 146 148 152 154 158 160 161 165 169 170 171 172 175 176 177 180 181 182 186 187 193 200 201 202 207 208 210 213 219 220 221 222 226 232 233 243 245 247 248 256 257 261 262 264 267 271 275 276 281 284 285 287 291 292 298 301 306 307 308 317 322 325 328 332 337 339 349 353 356 358 359 362 363 365 366 367 368 373 378 380 381 382 384 387 389 396 402 403 404 405 408 417 428 429 433 436 440 443 446 453 458 459 460 462 464 474 475 482 491 499 507
a 7 8 11 12 14 17 19 23 25 26 28 32 35 37 39 40 48 49 50 53 54 59 60 61 68 70 75 77 79 81 82 84 88 97 98 105 106 107 110 115 118 120 125 126 127 128 129 131 132 134 135 138 141 142 146 148 152 154 158 160 161 165 169 170 171 172 175 176 177 180 181 182 186 187 193 200 201 202 207 208 210 213 219 220 221 222 226 232 233 243 244 245 247 248 256 257 261 262 264 267 271 275 276 281 284 285 287 291 292 298 301 306 307 308 317 322 325 328 332 337 339 349 353 356 358 359 362 363 365 366 367 368 373 378 381 382 384 387 389 396 402 403 404 405 408 417 428 429 433 436 440 443 446 453 458 459 460 462 464 474 475 482 491 499 507
a 7 8 11 12 14 17 19 23 25 26 32 35 37 39 40 48 49 50 53 54 57 59 60 61 68 70 75 77 79 81 82 84 88 97 98 105 106 107 110 115 118 120 125 126 127 128 129 131 132 134 135 138 141 142 146 148 152 154 158 160 161 165 169 170 171 172 175 176 177 180 181 182 186 187 193 200 201 202 207 208 210 213 219 220 221 222 226 232 233 243 244 245 247 248 256 257 261 262 264 267 271 275 276 281 284 285 287 291 292 298 301 306 307 308 317 322 325 328 332 337 339 349 353 356 358 359 362 363 365 366 367 368 373 378 381 382 384 387 389 396 402 403 404 405 408 417 428 429 433 436 440 443 446 453 458 459 460 462 464 474 475 482 491 499 507
a 7 8 11 12 14 17 19 23 25 26 32 35 37 39 40 49 50 53 54 57 59 60 61 68 70 75 77 79 81 82 84 88 97 98 105 106 107 110 115 118 120 125 126 127 128 129 131 132 134 135 138 141 142 146 148 152 154 158 160 161 165 169 170 171 172 175 176 177 180 181 182 186 187 193 200 201 202 207 208 210 213 219 220 221 222 226 232 233 243 244 245 247 248 254 256 257 261 262 264 267 271 275 276 281 284 285 287 291 292 298 301 306 307 308 317 322 325 328 332 337 339 349 353 356 358 359 362 363 365 366 367 368 373 378 381 382 384 387 389 396 402 403 404 405 408 417 428 429 433 436 440 443 446 453 458 459 460 462 464 474 475 482 491 499 507
a 7 8 11 12 14 19 23 25 26 32 35 37 39 40 49 50 53 54 57 59 60 61 68 70 75 77 79 81 82 84 88 97 98 105 106 107 110 115 118 120 125 126 127 128 129 131 132 134 135 138 141 142 146 148 152 154 158 160 161 165 169 170 171 172 175 176 177 180 181 182 186 187 193 200 201 202 207 208 210 213 219 220 221 222 226 232 233 238 243 244 245 247 248 254 256 257 261 262 264 267 271 275 276 281 284 285 287 291 292 298 301 306 307 308 317 322 325 328 332 337 339 349 353 356 358 359 362 363 365 366 367 368 373 378 381 382 384 387 389 396 402 403 404 405 408 417 428 429 433 436 440 443 446 453 458 459 460 462 464 474 475 482 491 499 507
a 7 8 12 14 19 23 25 26 32 35 37 39 40 49 50 53 54 57 58 59 60 61 68 70 75 77 79 81 82 84 88 97 98 105 106 107 110 115 118 120 125 126 127 128 129 131 132 134 135 138 141 142 146 148 152 154 158 160 161 165 169 170 171 172 175 176 177 180 181 182 186 187 193 200 201 202 207 208 210 213 219 220 221 222 226 232 233 238 243 244 245 247 248 254 256 257 261 262 264 267 271 275 276 281 284 285 287 291 292 298 301 306 307 308 317 322 325 328 332 337 339 349 353 356 358 359 362 363 365 366 367 368 373 378 381 382 384 387 389 396 402 403 404 405 408 417 428 429 433 436 440 443 446 453 458 459 460 462 464 474 475 482 491 499 507
a 7 8 12 14 19 23 25 26 32 35 37 39 40 49 50 53 54 57 58 59 60 61 68 70 75 77 79 81 82 84 88 98 105 106 107 110 115 118 120 125 126 127 128 129 131 132 134 135 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 176 177 180 181 182 186 187 193 200 201 202 207 208 210 213 219 220 221 222 226 232 233 238 243 244 245 247 248 254 256 257 261 262 264 267 271 275 276 281 284 285 287 291 292 298 301 306 307 308 317 322 325 328 332 337 339 349 353 356 358 359 362 363 365 366 367 368 373 378 381 382 384 387 389 396 402 403 404 405 408 417 428 429 433 436 440 443 446 453 458 459 460 462 464 474 475 482 491 499 507
a 7 8 12 14 19 23 25 26 32 35 37 39 40 49 50 53 54 57 58 59 60 61 68 70 75 77 79 81 82 84 88 98 105 106 107 110 115 118 120 125 126 127 128 129 131 132 134 135 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 176 177 180 181 182 186 187 193 200 201 202 207 208 210 213 219 220 221 222 226 232 233 238 243 244 245 247 248 254 256 257 261 262 264 267 271 275 276 281 284 285 287 291 292 298 301 307 308 317 322 325 328 332 337 339 349 353 356 358 359 362 363 365 366 367 368 373 378 381 382 384 387 389 391 396 402 403 404 405 408 417 428 429 433 436 440 443 446 453 458 459 460 462 464 474 475 482 491 499 507
a 7 8 12 14 19 23 25 26 32 35 37 39 40 49 50 53 54 57 58 59 60 61 68 70 75 77 79 81 82 84 88 98 105 106 107 110 115 118 120 125 126 127 128 129 131 132 134 135 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 176 177 180 181 182 186 187 190 193 200 201 202 207 208 210 213 219 220 221 222 226 232 233 238 243 244 245 247 248 254 256 257 261 262 264 267 271 275 276 284 285 287 291 292 298 301 307 308 317 322 325 328 332 337 339 349 353 356 358 359 362 363 365 366 367 368 373 378 381 382 384 387 389 391 396 402 403 404 405 408 417 428 429 433 436 440 443 446 453 458 459 460 462 464 474 475 482 491 499 507
a 7 8 12 14 19 23 25 26 32 35 37 39 40 49 50 53 54 57 58 59 60 61 68 70 75 77 79 81 82 84 88 98 105 106 107 110 115 118 120 125 126 127 128 129 131 132 134 135 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 176 177 180 181 182 186 187 190 193 200 201 202 207 208 210 213 219 220 221 222 226 233 238 243 244 245 247 248 254 256 257 261 262 264 267 271 275 276 284 285 287 291 292 298 301 307 308 317 322 325 328 332 337 339 349 353 356 358 359 362 363 365 366 367 368 371 373 378 381 382 384 387 389 391 396 402 403 404 405 408 417 428 429 433 436 440 443 446 453 458 459 460 462 464 474 475 482 491 499 507
a 7 8 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 57 58 59 60 61 68 70 75 77 79 81 82 84 88 98 105 106 110 115 118 120 125 126 127 128 129 131 132 134 135 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 176 177 180 181 182 186 187 190 193 200 201 202 207 208 210 213 219 220 221 222 226 233 238 243 244 245 247 248 254 256 257 261 262 264 267 271 275 276 284 285 287 291 292 298 301 307 308 317 322 325 328 332 337 339 349 353 356 358 359 362 363 365 366 367 368 371 373 378 381 382 384 387 389 391 396 402 403 404 405 408 417 428 429 433 436 440 443 446 453 458 459 460 462 464 474 475 482 491 499 507
a 7 8 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 57 58 59 60 61 68 70 75 77 79 81 82 88 98 105 106 110 115 118 120 125 126 127 128 129 131 132 134 135 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 176 177 180 181 182 186 187 190 193 200 201 202 207 208 210 213 219 220 221 222 226 229 233 238 243 244 245 247 248 254 256 257 261 262 264 267 271 275 276 284 285 287 291 292 298 301 307 308 317 322 325 328 332 337 339 349 353 356 358 359 362 363 365 366 367 368 371 373 378 381 382 384 387 389 391 396 402 403 404 405 408 417 428 429 433 436 440 443 446 453 458 459 460 462 464 474 475 482 491 499 507
a 7 8 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 57 58 59 60 61 68 70 75 77 79 81 82 88 98 105 106 110 115 118 120 125 126 127 128 129 131 132 134 135 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 176 177 180 181 182 186 187 190 193 200 201 202 203 207 208 210 213 219 220 221 222 226 229 233 238 243 244 245 247 248 254 256 257 261 262 264 267 271 275 276 284 285 287 291 292 298 301 307 308 317 322 325 328 332 337 339 349 353 356 358 359 362 363 365 366 367 368 371 378 381 382 384 387 389 391 396 402 403 404 405 408 417 428 429 433 436 440 443 446 453 458 459 460 462 464 474 475 482 491 499 507
a 7 8 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 57 58 59 60 61 68 70 75 77 79 81 82 88 98 105 106 110 115 118 120 125 126 127 128 129 131 132 134 135 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 176 177 180 181 182 186 187 190 193 200 201 202 203 207 208 210 213 219 220 221 222 226 229 233 238 243 244 245 247 248 250 254 256 257 261 262 264 267 271 275 276 284 287 291 292 298 301 307 308 317 322 325 328 332 337 339 349 353 356 358 359 362 363 365 366 367 368 371 378 381 382 384 387 389 391 396 402 403 404 405 408 417 428 429 433 436 440 443 446 453 458 459 460 462 464 474 475 482 491 499 507
a 7 8 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 57 58 59 60 61 68 70 75 77 79 81 82 88 105 106 110 115 118 120 125 126 127 128 129 131 132 134 135 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 176 177 180 181 182 186 187 190 193 200 201 202 203 207 208 210 213 219 220 221 222 226 229 233 238 243 244 245 247 248 250 254 256 257 261 262 264 267 271 275 276 284 287 291 292 298 301 307 308 317 321 322 325 328 332 337 339 349 353 356 358 359 362 363 365 366 367 368 371 378 381 382 384 387 389 391 396 402 403 404 405 408 417 428 429 433 436 440 443 446 453 458 459 460 462 464 474 475 482 491 499 507
a 7 8 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 57 58 59 60 61 68 70 75 77 79 81 82 88 105 106 110 115 118 120 125 126 127 128 129 131 132 134 135 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 176 177 180 181 182 186 187 190 193 200 201 202 203 207 208 210 213 219 220 221 222 226 229 233 238 243 244 245 247 248 250 254 256 257 261 262 264 267 271 275 276 284 287 291 292 298 301 307 308 317 321 322 328 332 337 339 349 353 356 358 359 362 363 365 366 367 368 371 378 381 382 384 387 389 391 396 402 403 404 405 408 417 428 429 433 436 440 441 443 446 453 458 459 460 462 464 474 475 482 491 499 507
a 7 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 57 58 59 60 61 68 70 75 77 79 81 82 88 105 106 110 115 118 120 125 126 127 128 129 131 132 134 135 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 181 182 186 187 190 193 200 201 202 203 207 208 210 213 219 220 221 222 226 229 233 238 243 244 245 247 248 250 254 256 257 261 262 264 267 271 275 276 284 287 291 292 298 301 307 308 317 321 322 328 332 337 339 349 353 356 358 359 362 363 365 366 367 368 371 378 381 382 384 387 389 391 396 402 403 404 405 408 417 428 429 433 436 440 441 443 446 453 458 459 460 462 464 474 475 482 491 499 507
a 7 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 57 58 59 60 61 68 70 75 77 79 81 82 88 93 105 106 110 115 118 120 125 126 127 129 131 132 134 135 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 181 182 186 187 190 193 200 201 202 203 207 208 210 213 219 220 221 222 226 229 233 238 243 244 245 247 248 250 254 256 257 261 262 264 267 271 275 276 284 287 291 292 298 301 307 308 317 321 322 328 332 337 339 349 353 356 358 359 362 363 365 366 367 368 371 378 381 382 384 387 389 391 396 402 403 404 405 408 417 428 429 433 436 440 441 443 446 453 458 459 460 462 464 474 475 482 491 499 507
a 7 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 57 58 59 60 61 67 68 70 75 77 79 81 82 88 93 105 106 110 115 118 120 125 126 127 129 131 132 134 135 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 181 182 186 187 190 193 200 201 202 203 207 208 210 213 219 220 221 222 226 229 233 238 243 244 245 247 248 250 254 256 257 261 262 264 267 271 275 276 284 287 291 292 298 301 307 308 317 321 322 328 332 337 339 349 353 356 358 359 362 363 365 366 367 368 371 378 381 382 384 387 389 391 396 402 403 404 405 408 417 428 429 433 436 440 441 443 446 453 458 459 460 462 474 475 482 491 499 507
a 7 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 57 58 59 60 61 67 68 70 75 77 79 81 82 88 93 105 106 110 115 118 120 125 126 127 129 131 132 134 135 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 181 182 186 187 190 193 200 201 202 203 207 208 210 213 219 220 221 222 226 229 233 238 243 244 245 247 248 250 254 256 257 261 262 264 267 271 275 276 284 287 291 292 298 301 307 308 316 317 321 322 328 332 337 339 349 353 356 358 359 362 363 365 366 367 368 371 378 381 382 384 387 389 391 396 402 403 404 405 408 417 428 429 433 436 440 441 443 446 453 458 459 462 474 475 482 491 499 507
a 7 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 57 58 59 60 61 67 70 75 77 79 81 82 88 93 105 106 110 115 118 120 125 126 127 129 131 132 134 135 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 181 182 186 187 190 193 200 201 202 203 207 208 210 213 219 220 221 222 226 229 233 238 243 244 245 247 248 250 254 256 257 261 262 264 267 271 275 276 284 287 291 292 298 301 307 308 316 317 321 322 328 332 337 339 349 353 356 358 359 362 363 365 366 367 368 371 378 381 382 384 387 389 391 396 402 403 404 405 408 417 428 429 433 436 440 441 443 446 453 458 459 462 474 475 482 491 499 507
a 7 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 61 67 70 75 77 79 82 88 93 105 106 110 115 118 120 125 126 127 129 131 132 134 135 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 181 182 186 187 190 193 200 201 202 203 207 208 210 213 219 220 221 222 226 229 233 238 243 244 245 247 248 250 254 256 257 261 262 264 267 271 275 276 284 287 291 292 298 301 307 308 316 317 321 322 328 332 337 339 349 353 356 358 359 362 363 365 366 367 368 371 378 381 382 384 387 389 391 396 402 403 404 405 408 417 428 429 433 436 440 441 443 446 453 458 459 462 474 475 482 491 499 507
a 7 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 61 67 70 75 77 79 82 88 93 105 106 110 115 118 120 125 126 127 129 131 132 134 135 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 181 182 186 187 190 200 201 202 203 207 208 210 213 219 220 221 222 226 229 233 238 243 244 245 247 248 250 254 256 257 261 262 264 267 271 275 276 284 287 291 292 298 301 307 308 316 317 318 321 322 328 332 337 339 349 353 356 358 359 362 363 365 366 367 368 371 378 381 382 384 387 389 391 396 402 403 404 405 408 417 428 429 433 436 440 441 443 446 453 458 459 462 474 475 482 491 499 507
a 7 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 61 67 70 75 77 79 82 88 93 105 106 110 115 118 120 125 126 127 129 131 132 134 135 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 181 182 186 187 190 200 201 202 203 207 208 210 213 219 220 221 222 226 229 233 238 243 244 245 247 248 250 254 256 257 261 262 267 268 271 275 276 284 287 291 292 298 301 307 308 316 317 318 321 322 328 332 337 339 349 353 356 358 359 362 363 365 366 367 368 371 378 381 382 384 387 389 391 396 402 403 404 405 408 417 428 429 433 436 440 441 443 446 453 458 459 462 474 475 482 491 499 507
a 7 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 67 70 75 77 79 82 88 93 105 106 110 115 118 119 120 125 126 127 129 131 132 134 135 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 181 182 186 187 190 200 201 202 203 207 208 210 213 219 220 221 222 226 229 233 238 243 244 245 247 248 250 254 256 257 261 262 267 268 271 275 276 284 287 291 292 298 301 307 308 316 317 318 321 322 328 332 337 339 349 353 356 358 359 362 363 365 366 367 368 371 378 381 382 384 387 389 391 396 402 403 404 405 408 417 428 429 433 436 440 441 443 446 453 458 459 462 474 475 482 491 499 507
a 7 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 67 70 75 77 79 82 88 93 105 106 110 115 118 119 120 125 126 127 129 131 132 134 135 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 200 201 202 203 207 208 210 213 219 220 221 222 226 229 233 238 243 244 245 247 248 250 254 256 257 261 262 267 268 271 275 276 283 284 287 291 292 298 301 307 308 316 317 318 321 322 328 332 337 339 349 353 356 358 359 362 363 365 366 367 368 371 378 381 382 384 387 389 391 396 402 403 404 405 408 417 428 429 433 436 440 441 443 446 453 458 459 462 474 475 482 491 499 507
a 7 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 67 75 77 79 82 88 93 105 106 110 115 118 119 120 125 126 127 129 131 132 134 135 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 200 201 202 203 207 208 210 213 219 220 221 222 226 229 233 238 243 244 245 247 248 250 254 256 257 261 262 267 268 271 275 276 283 284 287 291 292 298 301 307 308 316 317 318 321 322 328 332 337 339 349 353 356 358 359 362 363 365 366 367 368 371 378 381 382 384 387 389 391 396 402 403 404 405 408 417 425 428 429 433 436 440 441 443 446 453 458 459 462 474 475 482 491 499 507
a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 67 75 77 79 82 88 93 105 106 110 115 118 119 120 125 126 127 129 131 132 134 135 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 200 201 202 203 207 208 210 213 219 220 221 222 226 228 229 233 238 243 244 245 247 248 250 254 256 257 261 262 267 268 271 275 276 283 284 287 291 292 298 301 307 308 316 317 318 321 322 328 332 337 339 349 353 356 358 359 362 363 365 366 367 368 371 378 381 382 384 387 389 391 396 402 403 404 405 408 417 425 428 429 433 436 440 441 443 446 453 458 459 462 474 475 482 491 499 507
a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 67 75 77 79 82 88 93 102 105 106 110 115 118 119 120 125 126 127 129 131 132 134 135 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 200 201 202 203 207 208 210 213 219 220 221 222 226 228 229 233 238 243 244 245 247 248 250 254 256 257 261 262 267 268 271 275 276 283 284 287 291 292 298 301 307 308 316 317 318 321 322 328 332 337 339 349 353 356 358 359 362 363 365 366 367 368 371 378 382 384 387 389 391 396 402 403 404 405 408 417 425 428 429 433 436 440 441 443 446 453 458 459 462 474 475 482 491 499 507
a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 67 75 77 79 82 88 93 102 105 106 110 115 118 119 120 125 126 127 129 131 132 134 135 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 200 201 202 203 207 208 210 213 219 220 221 222 226 228 229 233 238 243 244 245 247 248 250 254 256 257 261 262 267 268 271 275 276 283 284 287 291 292 298 301 307 308 316 317 318 321 322 328 332 337 339 349 353 354 356 358 359 362 363 365 366 367 368 371 378 382 384 387 389 391 396 402 403 404 405 408 417 425 428 429 433 436 440 441 443 446 458 459 462 474 475 482 491 499 507
a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 67 75 77 79 82 88 93 102 105 106 110 115 118 119 120 125 126 127 129 131 132 134 135 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 200 201 202 203 207 208 210 213 219 220 221 222 226 228 229 233 238 243 244 245 247 248 250 254 256 257 261 262 267 268 271 275 276 283 284 287 291 292 298 301 307 308 309 316 317 318 321 322 328 332 337 339 349 353 354 356 358 359 363 365 366 367 368 371 378 382 384 387 389 391 396 402 403 404 405 408 417 425 428 429 433 436 440 441 443 446 458 459 462 474 475 482 491 499 507
a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 67 75 77 79 82 85 88 93 102 105 106 110 115 118 119 120 125 126 127 129 131 132 135 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 200 201 202 203 207 208 210 213 219 220 221 222 226 228 229 233 238 243 244 245 247 248 250 254 256 257 261 262 267 268 271 275 276 283 284 287 291 292 298 301 307 308 309 316 317 318 321 322 328 332 337 339 349 353 354 356 358 359 363 365 366 367 368 371 378 382 384 387 389 391 396 402 403 404 405 408 417 425 428 429 433 436 440 441 443 446 458 459 462 474 475 482 491 499 507
a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 67 69 75 77 79 82 85 88 93 102 106 110 115 118 119 120 125 126 127 129 131 132 135 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 200 201 202 203 207 208 210 213 219 220 221 222 226 228 229 233 238 243 244 245 247 248 250 254 256 257 261 262 267 268 271 275 276 283 284 287 291 292 298 301 307 308 309 316 317 318 321 322 328 332 337 339 349 353 354 356 358 359 363 365 366 367 368 371 378 382 384 387 389 391 396 402 403 404 405 408 417 425 428 429 433 436 440 441 443 446 458 459 462 474 475 482 491 499 507
a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 67 69 75 77 79 82 85 88 93 102 106 110 115 118 119 120 125 126 127 129 131 132 135 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 200 201 202 203 207 208 210 213 219 220 221 222 226 228 229 233 238 243 244 245 247 248 250 254 256 257 262 267 268 271 275 276 283 284 287 291 292 298 301 307 308 309 316 317 318 321 322 328 332 337 339 349 353 354 356 358 359 363 365 366 367 368 371 378 382 384 387 389 391 396 402 403 404 405 408 417 425 428 429 433 436 440 441 443 446 448 458 459 462 474 475 482 491 499 507
a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 67 69 75 77 79 82 85 88 93 102 106 110 115 118 119 120 125 126 127 129 131 132 135 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 200 201 202 203 207 210 213 219 220 221 222 226 228 229 233 238 243 244 245 247 248 250 254 256 257 262 267 268 271 275 276 283 284 287 291 292 298 301 307 308 309 316 317 318 321 322 328 332 337 339 349 353 354 356 358 359 363 365 366 367 368 371 378 382 384 387 389 391 396 402 403 404 405 408 417 425 428 429 433 436 440 441 443 446 448 458 459 462 474 475 480 482 491 499 507
a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 67 69 75 77 79 82 85 88 93 102 106 110 115 118 119 120 125 126 127 129 131 132 135 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 200 201 202 203 207 210 213 219 220 221 222 226 228 229 233 238 243 244 245 247 248 250 254 256 257 262 267 268 271 275 276 283 284 287 291 292 298 301 307 308 309 316 317 318 321 322 328 332 337 339 349 353 354 357 358 359 363 365 366 367 368 371 378 382 384 387 389 391 396 402 403 404 405 408 417 425 428 429 433 436 440 441 443 446 448 458 459 462 474 475 480 482 491 499 507
a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 67 69 75 77 79 82 85 87 88 93 102 106 110 115 118 119 120 125 126 127 129 131 132 135 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 200 201 202 203 207 210 213 219 220 221 222 226 228 229 233 238 243 244 245 247 248 250 254 256 257 262 267 268 271 275 276 283 284 287 291 292 298 301 307 308 309 316 317 318 321 322 328 332 337 339 349 353 354 357 358 359 363 366 367 368 371 378 382 384 387 389 391 396 402 403 404 405 408 417 425 428 429 433 436 440 441 443 446 448 458 459 462 474 475 480 482 491 499 507
a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 67 69 75 77 79 82 85 87 88 93 102 106 110 112 115 118 119 120 125 126 127 129 131 132 135 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 200 201 202 203 207 210 213 219 220 221 222 226 228 229 233 238 243 244 245 247 248 250 254 256 257 262 267 268 271 275 276 283 284 287 291 292 298 301 307 308 309 316 317 318 321 322 328 332 337 339 349 353 354 357 358 359 363 366 367 368 371 378 382 384 387 389 391 396 402 403 404 405 408 417 425 428 429 436 440 441 443 446 448 458 459 462 474 475 480 482 491 499 507
a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 67 69 75 77 79 82 85 87 88 93 102 106 110 112 115 118 119 120 125 126 127 129 131 132 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 200 201 202 203 207 210 213 219 220 221 222 226 228 229 233 238 243 244 245 247 248 250 254 256 257 262 267 268 271 275 276 283 284 287 291 292 298 301 307 308 309 316 317 318 321 322 328 332 337 339 349 353 354 357 358 359 363 366 367 368 371 378 382 384 387 389 391 396 402 403 404 405 408 417 425 428 429 436 440 441 443 446 448 458 459 462 474 475 480 482 491 499 500 507
a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 67 69 75 77 79 82 85 87 88 93 102 106 110 112 115 118 119 120 125 126 127 129 131 132 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 200 201 202 203 207 210 213 219 220 221 222 226 228 229 233 238 243 244 245 247 250 254 256 257 262 267 268 271 275 276 283 284 287 291 292 298 301 307 308 309 316 317 318 321 322 328 332 337 339 349 353 354 357 358 359 363 366 367 368 371 378 382 384 387 389 391 396 402 403 404 405 408 417 425 428 429 436 440 441 443 446 448 458 459 462 474 475 480 482 491 499 500 502 507
a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 67 69 75 77 79 82 85 87 88 93 102 106 110 112 115 118 119 120 125 126 127 129 131 132 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 200 201 202 203 207 210 213 219 220 221 222 226 228 229 233 238 243 244 245 247 250 254 256 257 262 267 268 271 275 276 283 284 287 291 292 298 301 307 308 309 316 317 318 321 322 328 332 337 339 349 353 354 357 358 359 363 366 367 368 371 378 382 384 387 389 391 396 402 404 405 408 417 425 428 429 436 440 441 443 446 448 451 458 459 462 474 475 480 482 491 499 500 502 507
a 8 9 12 14 19 23 24 25 26 32 35 37 39 40 49 50 53 54 56 57 58 59 60 67 69 75 77 79 82 85 87 88 93 102 106 110 112 115 118 119 120 125 126 127 129 131 132 137 138 141 142 146 148 152 154 158 160 161 165 166 169 170 171 172 175 177 180 182 186 187 190 200 201 202 203 207 210 213 219 220 221 222 226 228 229 233 238 243 244 245 246 247 250 254 256 257 262 267 268 271 275 276 283 284 287 291 292 298 301 307 308 309 316 317 318 321 322 332 337 339 349 353 354 357 358 359 363 366 367 368 371 378 382 384 387 389 391 396 402 404 405 408 417 425 428 429 436 440 441 443 446 448 451 458 459 462 474 475 480 482 491 499 500 502 507
c Step: 128
	Command being timed: "python3 run_3.py --existent /benchmark/random_instance/random_instance039_graph005.col /benchmark/random_instance/random_instance039_graph005_01.dat"
	User time (seconds): 65.73
	System time (seconds): 0.11
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 1:05.87
	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): 357612
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 126894
	Voluntary context switches: 24
	Involuntary context switches: 390
	Swaps: 0
	File system inputs: 0
	File system outputs: 1048
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Mon Sep  4 13:02:18 2023]