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