#BEGIN: [Mon Sep  4 12:59:33 2023]
#HOST: s13
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-banbaralab2-existent1
#INSTANCE1: /benchmark/random_instance/random_instance036_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance036_graph004_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent /benchmark/random_instance/random_instance036_graph004.col /benchmark/random_instance/random_instance036_graph004_01.dat
c /benchmark/random_instance/random_instance036_graph004.col
c /benchmark/random_instance/random_instance036_graph004_01.dat
*** Info : (clingo): INTERRUPTED by signal!
s 52 105 193 419 1 156 46 210 273 386 129 428 137 461 329 119 152 269 57 24 155 247 365 92 11 109 450 304 133 281 320 444 468 396 467 161 313 446 366 355 279 5 40 154 291 108 438 398 456 88 447 254 435 265 423 411 244 431 27 436 35 449 410 311 195 373 86 325 331 14 346 233 28 388 452 76 416 341 441 266 306 297 263 208 460 364 96 229 250 199 63 415 287 16 343 43 36 197 251 282 153 188 377 223 352 274 248 68 130 451 56 162 135 17 399 15 397 73 296 395 19 74 295 334 106 186 459 242 212 59 45 173 102 131 371 93 310 132 286 4 167 218 277 158 349 6 294 83 71 20 379 194
t 39 344 5 221 446 213 324 97 419 402 457 58 220 260 218 461 85 185 122 329 141 456 70 396 281 366 468 84 332 162 347 240 297 38 199 303 18 295 268 44 352 190 160 265 248 330 87 83 96 271 86 410 29 300 451 418 272 48 61 359 9 334 169 136 153 274 310 282 60 37 11 243 361 257 390 40 79 81 389 134 258 301 54 201 119 371 168 392 12 132 452 154 50 346 455 144 35 244 379 427 380 276 279 298 166 148 156 241 222 400 364 435 447 321 386 353 20 63 30 15 43 180 433 143 80 114 217 356 465 71 453 336 308 229 224 340 394 313 139 325 62 388 207 397 277 237 395 113 95 104 226 256
a YES
a 1 4 5 6 11 14 15 16 17 19 20 24 27 28 35 36 40 43 45 46 52 56 57 59 63 68 71 73 74 76 83 86 88 92 93 96 102 105 106 108 109 119 129 130 131 132 133 135 137 152 153 154 155 156 158 161 162 167 173 186 188 193 194 195 197 199 208 210 212 218 223 229 233 242 244 247 248 250 251 254 263 265 266 269 273 274 277 279 281 282 286 287 291 294 295 296 297 304 306 310 311 313 320 325 329 331 334 341 343 346 349 352 355 364 365 366 371 373 377 379 386 388 395 396 397 398 399 410 411 415 416 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468
a 1 4 5 6 11 14 15 16 17 19 20 24 27 28 35 36 40 43 45 46 52 56 57 59 63 68 71 73 74 76 83 86 88 92 93 96 102 105 106 108 109 119 129 130 131 132 133 135 137 145 153 154 155 156 158 161 162 167 173 186 188 193 194 195 197 199 208 210 212 218 223 229 233 242 244 247 248 250 251 254 263 265 266 269 273 274 277 279 281 282 286 287 291 294 295 296 297 304 306 310 311 313 320 325 329 331 334 341 343 346 349 352 355 364 365 366 371 373 377 379 386 388 395 396 397 398 399 410 411 415 416 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468
a 1 4 5 6 11 14 15 16 17 19 20 24 27 28 35 36 40 43 45 46 52 56 57 59 63 68 71 73 74 76 83 86 88 92 93 96 102 105 106 108 109 119 124 129 130 131 132 133 135 137 145 153 154 155 156 158 161 162 167 173 186 188 193 194 195 197 199 208 210 212 218 223 229 233 242 244 247 248 250 251 254 263 265 266 269 273 274 277 279 281 282 286 287 291 294 295 296 297 304 306 310 311 313 320 325 329 331 334 341 343 346 349 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 410 411 415 416 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468
a 1 4 5 6 11 14 15 16 17 19 20 24 27 28 35 36 40 43 45 46 52 56 57 59 63 68 71 74 76 83 86 88 92 93 96 102 105 106 108 109 119 124 129 130 131 132 133 135 137 145 153 154 155 156 158 161 162 167 173 186 188 193 194 195 197 199 208 210 212 218 223 229 232 233 242 244 247 248 250 251 254 263 265 266 269 273 274 277 279 281 282 286 287 291 294 295 296 297 304 306 310 311 313 320 325 329 331 334 341 343 346 349 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 410 411 415 416 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468
a 1 4 5 6 11 14 15 16 17 19 20 24 27 28 35 36 40 43 45 46 52 56 57 59 63 68 71 74 76 83 86 88 92 93 96 102 105 106 108 109 119 124 129 130 131 132 133 135 137 152 153 154 155 156 158 161 162 167 173 186 188 193 194 195 197 199 208 210 212 218 223 229 232 233 242 244 247 248 250 251 254 263 265 266 269 273 274 277 279 281 282 286 287 291 294 295 296 297 304 306 310 311 313 320 325 329 331 334 341 343 346 349 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 410 411 415 416 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468
a 1 4 5 6 11 14 15 16 17 19 20 24 27 28 35 36 40 43 45 46 52 56 57 59 63 68 71 74 76 83 86 88 92 93 96 102 105 106 108 109 119 124 129 130 131 132 133 135 137 144 152 153 154 155 156 158 161 162 167 173 186 188 193 194 195 197 199 208 210 212 218 223 229 232 233 242 244 247 248 250 251 254 263 265 266 269 273 274 277 279 281 282 286 287 291 294 295 296 297 304 306 310 311 313 320 325 329 331 334 341 343 346 349 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 411 415 416 419 423 428 431 435 436 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468
a 1 4 5 6 11 14 15 16 17 19 20 24 27 28 35 36 40 43 45 46 52 56 57 59 63 68 71 74 76 83 86 88 92 93 96 102 105 106 108 109 110 119 124 129 130 131 132 133 135 137 144 152 153 154 155 156 158 161 162 167 173 186 188 193 194 195 197 199 208 210 212 218 223 229 232 233 242 244 247 248 250 251 254 263 265 266 269 273 274 277 279 281 282 286 287 291 294 295 296 297 304 306 310 311 313 320 325 329 331 334 341 343 346 349 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 411 415 416 419 423 428 431 435 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468
a 1 4 5 6 11 14 15 16 17 19 20 24 27 28 35 36 40 43 45 46 52 56 57 59 63 68 71 74 76 83 86 88 92 93 96 102 105 106 108 109 110 119 124 129 130 131 132 133 135 137 144 152 153 154 155 156 158 161 162 167 169 173 186 188 193 194 195 197 199 208 210 212 218 223 229 232 233 242 244 247 248 250 251 254 263 265 266 269 273 274 277 279 281 282 286 287 291 294 295 296 297 304 310 311 313 320 325 329 331 334 341 343 346 349 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 411 415 416 419 423 428 431 435 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468
a 1 4 5 6 11 14 15 16 17 19 20 24 27 28 35 36 40 43 45 46 52 56 57 59 63 68 71 74 76 83 86 88 92 93 96 102 105 106 108 109 110 119 124 130 131 132 133 135 137 144 152 153 154 155 156 158 161 162 167 169 173 186 188 193 194 195 197 199 208 210 212 218 223 229 232 233 242 244 247 248 250 251 254 263 265 266 269 273 274 277 279 281 282 286 287 291 294 295 296 297 304 310 311 313 320 325 329 331 334 341 343 346 349 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 410 411 415 416 419 423 428 431 435 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468
a 1 4 5 6 11 14 15 16 17 19 20 21 24 27 28 35 36 40 43 45 46 52 56 57 59 63 68 71 74 76 83 86 88 92 93 96 102 105 106 108 109 110 119 124 130 131 132 133 135 137 144 152 153 154 155 156 158 161 162 167 169 173 186 188 193 194 195 197 199 208 210 212 218 223 229 232 233 242 244 247 248 250 251 254 263 265 266 269 274 277 279 281 282 286 287 291 294 295 296 297 304 310 311 313 320 325 329 331 334 341 343 346 349 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 410 411 415 416 419 423 428 431 435 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468
a 1 4 5 6 11 14 15 16 17 19 20 21 24 27 28 35 36 40 43 45 46 52 56 57 59 63 68 71 74 76 83 86 88 92 93 96 102 105 106 109 110 119 124 129 130 131 132 133 135 137 144 152 153 154 155 156 158 161 162 167 169 173 186 188 193 194 195 197 199 208 210 212 218 223 229 232 233 242 244 247 248 250 251 254 263 265 266 269 274 277 279 281 282 286 287 291 294 295 296 297 304 310 311 313 320 325 329 331 334 341 343 346 349 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 410 411 415 416 419 423 428 431 435 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468
a 1 4 5 6 11 14 15 16 17 19 20 21 24 27 28 35 36 40 43 45 46 52 56 57 59 63 68 71 74 76 83 86 88 92 93 96 102 105 106 109 110 119 124 129 130 131 132 133 135 137 144 152 153 154 155 156 158 161 162 167 173 186 188 193 194 195 197 199 208 210 212 218 223 229 232 233 242 244 247 248 250 251 254 263 265 266 269 274 277 279 281 282 286 287 291 294 295 296 297 304 306 310 311 313 320 325 329 331 334 341 343 346 349 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 410 411 415 416 419 423 428 431 435 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468
a 1 4 5 6 11 14 15 16 17 19 20 21 24 27 28 35 36 40 43 45 46 52 56 57 59 63 68 71 74 76 83 86 88 92 93 96 102 105 106 109 110 119 124 129 130 131 132 133 135 137 144 152 153 154 155 156 158 161 162 167 173 186 188 193 194 195 197 199 208 210 212 218 223 229 232 233 242 244 247 248 250 251 254 263 265 266 269 274 277 279 281 282 286 287 291 294 295 296 297 304 306 310 311 320 325 329 331 334 339 341 343 346 349 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 410 411 415 416 419 423 428 431 435 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468
a 1 4 5 6 11 14 15 16 17 19 20 21 24 27 28 32 35 36 40 43 45 46 52 56 57 59 63 68 71 74 76 83 86 88 92 93 96 102 105 106 109 110 119 124 129 130 131 132 133 135 137 144 152 153 154 155 156 158 161 162 167 173 186 188 193 194 195 197 199 208 210 212 218 223 229 232 233 242 244 247 248 250 251 254 263 265 266 269 274 277 279 281 282 286 287 291 294 295 296 297 304 306 310 311 320 325 329 331 334 339 341 343 346 349 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 410 411 415 416 419 423 431 435 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468
a 1 4 5 6 11 14 15 16 17 19 20 21 24 27 28 32 35 36 40 43 45 46 52 56 57 59 63 68 71 74 76 83 86 88 92 93 96 102 105 106 108 109 110 119 124 129 130 131 132 133 135 137 144 152 153 154 155 156 158 161 162 167 173 186 188 193 194 195 197 199 208 210 212 218 223 229 232 233 242 244 247 248 250 251 254 263 265 266 269 274 277 279 281 282 286 287 291 294 295 296 297 304 306 310 311 320 325 329 331 334 339 341 343 346 349 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 410 415 416 419 423 431 435 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468
a 1 4 5 6 11 14 15 16 17 19 20 21 24 27 28 32 35 36 40 43 45 46 52 56 57 59 63 68 71 74 76 83 86 88 92 93 96 102 105 106 108 109 110 119 124 129 130 131 132 133 135 137 144 152 153 154 155 156 158 161 162 167 169 173 186 188 193 194 195 197 199 208 210 212 218 223 229 232 233 242 244 247 248 250 251 254 263 265 266 269 274 277 279 281 282 286 287 291 294 295 296 297 304 310 311 320 325 329 331 334 339 341 343 346 349 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 410 415 416 419 423 431 435 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468
a 1 4 5 6 11 14 16 17 19 20 21 24 27 28 32 35 36 40 43 45 46 52 56 57 59 63 68 71 74 76 83 86 88 92 93 96 102 105 106 108 109 110 119 124 129 130 131 132 133 135 137 144 152 153 154 155 156 158 161 162 167 169 173 186 188 193 194 195 197 199 208 210 212 218 223 229 232 233 242 244 247 248 250 251 254 263 265 266 269 274 277 279 281 282 286 287 291 294 295 296 297 304 310 311 320 325 329 331 334 339 341 343 346 349 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 410 411 415 416 419 423 431 435 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468
a 1 4 5 6 14 16 17 19 20 21 24 27 28 32 35 36 40 43 45 46 52 56 57 59 63 68 71 74 76 83 86 88 92 93 96 102 105 106 108 109 110 119 124 129 130 131 132 133 135 137 144 152 153 154 155 156 158 161 162 167 169 173 186 188 193 194 195 197 199 208 210 212 218 223 225 229 232 233 242 244 247 248 250 251 254 263 265 266 269 274 277 279 281 282 286 287 291 294 295 296 297 304 310 311 320 325 329 331 334 339 341 343 346 349 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 410 411 415 416 419 423 431 435 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468
a 1 4 5 6 14 16 17 19 20 21 24 27 28 32 35 36 40 43 45 46 52 56 57 59 63 68 71 74 76 83 86 88 92 93 96 102 105 106 109 110 119 124 129 130 131 132 133 135 137 144 152 153 154 155 156 158 161 162 167 169 173 186 188 193 194 195 197 199 208 210 212 218 223 225 229 232 233 242 244 247 248 250 251 254 263 265 266 269 274 277 279 281 282 286 287 291 294 295 296 297 304 310 311 320 325 329 331 334 339 341 343 346 349 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 410 411 415 416 418 419 423 431 435 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468
a 1 4 5 6 14 15 16 17 19 20 21 24 27 28 32 35 36 40 43 45 46 52 56 57 59 63 68 71 76 83 86 88 92 93 96 102 105 106 109 110 119 124 129 130 131 132 133 135 137 144 152 153 154 155 156 158 161 162 167 169 173 186 188 193 194 195 197 199 208 210 212 218 223 225 229 232 233 242 244 247 248 250 251 254 263 265 266 269 274 277 279 281 282 286 287 291 294 295 296 297 304 310 311 320 325 329 331 334 339 341 343 346 349 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 410 411 415 416 418 419 423 431 435 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468
a 1 4 5 6 14 15 16 17 19 20 21 24 27 28 32 35 36 40 43 45 46 52 56 57 59 63 68 71 76 83 86 88 92 93 96 102 105 106 109 110 119 124 129 130 131 132 133 135 137 144 152 153 154 155 156 158 161 162 167 173 186 188 193 194 195 197 199 208 210 212 218 223 225 229 232 233 242 244 247 248 250 251 254 263 265 266 269 274 277 279 281 282 286 287 291 294 295 296 297 304 306 310 311 320 325 329 331 334 339 341 343 346 349 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 410 411 415 416 418 419 423 431 435 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468
a 1 4 5 6 14 15 16 17 19 20 21 24 27 28 32 35 36 40 43 45 46 52 56 57 59 63 68 71 76 83 86 88 92 93 96 102 105 106 109 110 119 124 129 130 131 132 133 135 137 144 152 153 154 155 156 158 161 162 167 173 186 188 193 194 195 197 199 208 210 212 218 223 225 229 232 233 242 244 247 248 250 251 254 263 265 266 269 274 277 279 281 282 286 287 291 294 295 296 297 304 306 310 311 320 325 329 331 334 339 341 343 346 348 349 352 355 365 366 371 373 377 379 386 388 396 397 398 399 410 411 415 416 418 419 423 431 435 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468
a 1 4 5 6 11 14 15 16 17 19 20 21 24 27 28 32 35 36 40 43 45 46 52 56 57 59 63 68 71 76 83 86 88 92 93 96 102 105 106 109 110 119 124 129 130 131 132 133 135 137 144 152 153 154 155 156 158 161 162 167 173 186 188 193 194 195 197 199 208 210 212 218 223 229 232 233 242 244 247 248 250 251 254 263 265 266 269 274 277 279 281 282 286 287 291 294 295 296 297 304 306 310 311 320 325 329 331 334 339 341 343 346 348 349 352 355 365 366 371 373 377 379 386 388 396 397 398 399 410 411 415 416 418 419 423 431 435 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468
a 1 4 5 6 11 14 15 16 17 19 20 21 24 27 28 32 35 36 40 43 45 46 52 56 57 59 63 68 71 76 83 86 88 92 93 96 102 105 106 109 110 119 124 129 130 131 132 133 135 137 144 152 153 154 155 156 158 161 162 167 173 186 193 194 195 197 199 208 210 212 218 223 229 232 233 242 244 247 248 250 251 254 263 265 266 269 274 277 279 281 282 286 287 291 294 295 296 297 300 304 306 310 311 320 325 329 331 334 339 341 343 346 348 349 352 355 365 366 371 373 377 379 386 388 396 397 398 399 410 411 415 416 418 419 423 431 435 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468
a 1 4 5 6 11 14 15 16 17 19 20 21 24 27 28 32 35 36 40 43 45 46 52 56 57 59 63 68 71 76 83 86 88 92 93 96 102 105 106 109 110 119 124 129 130 131 132 133 135 137 144 152 153 154 155 156 158 161 162 167 173 186 193 194 195 197 199 208 210 212 218 223 229 232 242 244 247 248 250 251 254 263 265 266 269 274 277 279 281 282 286 287 291 294 295 296 297 300 304 306 310 311 320 325 329 331 334 339 341 343 346 348 349 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 410 411 415 416 418 419 423 431 435 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468
a 1 4 5 6 14 15 16 17 19 20 21 24 27 28 32 35 36 40 43 45 46 52 56 57 59 63 68 71 76 83 86 88 92 93 96 102 105 106 109 110 119 124 129 130 131 132 133 135 137 144 152 153 154 155 156 158 161 162 167 173 186 193 194 195 197 199 208 210 212 218 223 225 229 232 242 244 247 248 250 251 254 263 265 266 269 274 277 279 281 282 286 287 291 294 295 296 297 300 304 306 310 311 320 325 329 331 334 339 341 343 346 348 349 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 410 411 415 416 418 419 423 431 435 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468
a 1 4 5 6 14 15 16 17 19 20 21 24 27 28 32 35 36 40 43 45 46 52 56 57 59 63 68 71 76 83 86 88 92 93 96 102 105 106 109 110 119 124 129 130 131 132 133 135 137 144 152 153 154 155 156 158 161 162 167 169 173 186 193 194 195 197 199 208 210 212 218 223 225 229 232 242 244 247 248 250 251 254 263 265 266 269 274 277 279 281 282 286 287 291 294 295 296 297 300 304 310 311 320 325 329 331 334 339 341 343 346 348 349 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 410 411 415 416 418 419 423 431 435 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468
a 1 4 5 6 14 15 16 17 19 20 21 24 27 28 32 35 36 40 43 45 46 52 56 57 59 63 68 71 76 83 86 88 92 93 96 102 105 106 109 110 119 124 129 130 131 132 133 135 137 144 152 153 154 155 156 158 161 162 167 169 173 186 193 194 195 197 199 208 210 212 218 223 225 229 232 233 242 244 247 248 250 251 254 263 265 266 269 274 277 279 281 282 286 287 291 294 295 296 297 300 304 310 311 320 325 329 331 334 339 341 343 346 348 349 352 355 364 365 366 373 377 379 386 388 396 397 398 399 410 411 415 416 418 419 423 431 435 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468
a 1 4 5 6 14 15 16 17 19 20 21 24 27 28 32 35 36 40 43 45 46 52 56 57 59 63 68 71 76 83 86 88 92 93 96 102 105 106 109 110 119 124 129 130 131 132 133 135 137 144 152 153 154 155 156 158 161 162 167 173 186 193 194 195 197 199 208 210 212 218 223 225 229 232 233 242 244 247 248 250 251 254 263 265 266 269 274 277 279 281 282 286 287 291 294 295 296 297 300 304 306 310 311 320 325 329 331 334 339 341 343 346 348 349 352 355 364 365 366 373 377 379 386 388 396 397 398 399 410 411 415 416 418 419 423 431 435 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468
a 1 4 5 6 15 16 17 19 20 21 24 27 28 32 35 36 40 43 45 46 52 56 57 59 63 68 71 76 83 86 88 92 93 96 102 105 106 109 110 119 124 129 130 131 132 133 135 137 139 144 152 153 154 155 156 158 161 162 167 173 186 193 194 195 197 199 208 210 212 218 223 225 229 232 233 242 244 247 248 250 251 254 263 265 266 269 274 277 279 281 282 286 287 291 294 295 296 297 300 304 306 310 311 320 325 329 331 334 339 341 343 346 348 349 352 355 364 365 366 373 377 379 386 388 396 397 398 399 410 411 415 416 418 419 423 431 435 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468
a 1 4 5 6 15 16 17 19 20 21 24 27 28 32 35 36 40 43 45 46 52 56 57 59 63 68 71 76 83 86 88 92 93 96 102 105 106 109 110 119 124 129 130 131 132 133 135 137 139 144 152 153 154 155 156 158 161 162 167 173 186 193 194 195 197 199 208 210 212 218 223 225 229 232 233 242 244 247 248 250 251 254 263 265 266 269 274 277 279 281 282 286 287 294 295 296 297 300 304 306 310 311 320 325 329 331 334 339 341 343 346 348 349 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 410 411 415 416 418 419 423 431 435 438 441 444 446 447 449 450 451 452 456 459 460 461 467 468
a 1 4 5 6 15 16 17 19 20 21 24 27 28 32 35 36 40 43 45 46 52 56 57 58 59 63 68 71 76 83 86 88 92 93 96 102 105 106 109 110 119 124 129 130 131 132 133 135 137 139 144 152 153 154 155 156 158 161 162 167 173 186 193 194 195 197 199 208 210 212 218 223 225 229 232 233 242 244 247 248 250 251 254 263 265 266 269 274 277 279 281 282 286 287 294 295 296 297 300 304 306 310 311 320 325 329 331 334 339 341 343 346 348 349 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 410 411 415 416 418 419 423 431 435 438 441 444 446 447 449 450 451 452 456 460 461 467 468
a 1 4 5 6 15 16 17 19 20 21 24 27 28 32 35 36 40 43 45 46 52 56 57 58 59 63 68 71 76 83 86 88 92 93 96 102 105 106 109 110 119 124 129 130 131 132 133 135 137 139 144 152 153 154 155 156 158 161 162 167 173 186 193 194 195 197 199 208 210 212 218 223 225 229 232 233 242 244 248 250 251 254 263 265 266 269 274 277 279 281 282 286 287 294 295 296 297 300 304 306 310 311 320 325 329 331 334 339 341 343 346 348 349 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 410 411 415 416 418 419 423 431 435 438 441 444 446 447 449 450 451 452 456 460 461 465 467 468
a 1 4 5 6 15 16 17 19 20 21 24 27 28 32 35 36 40 43 45 46 52 56 57 58 59 63 68 71 76 80 83 86 88 92 93 96 102 105 106 109 110 119 124 130 131 132 133 135 137 139 144 152 153 154 155 156 158 161 162 167 173 186 193 194 195 197 199 208 210 212 218 223 225 229 232 233 242 244 248 250 251 254 263 265 266 269 274 277 279 281 282 286 287 294 295 296 297 300 304 306 310 311 320 325 329 331 334 339 341 343 346 348 349 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 410 411 415 416 418 419 423 431 435 438 441 444 446 447 449 450 451 452 456 460 461 465 467 468
a 1 4 5 6 15 16 17 19 20 21 24 27 28 32 35 36 40 43 45 46 50 52 56 57 58 59 63 68 71 76 80 83 86 88 92 93 96 102 105 106 109 110 119 124 130 131 132 133 135 137 139 144 152 153 154 155 156 158 161 162 167 173 186 193 194 195 197 199 208 210 212 218 223 225 229 232 233 242 244 248 250 251 254 263 265 266 269 274 277 279 281 282 286 287 294 295 296 297 300 304 306 310 311 320 325 329 331 334 339 341 343 346 348 349 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 410 411 415 416 418 419 423 431 435 438 444 446 447 449 450 451 452 456 460 461 465 467 468
a 1 4 5 6 15 16 17 19 20 21 24 27 28 32 35 36 40 43 45 46 50 52 56 57 58 59 63 68 71 76 80 83 86 88 92 96 102 105 106 109 110 119 124 130 131 132 133 135 137 139 143 144 152 153 154 155 156 158 161 162 167 173 186 193 194 195 197 199 208 210 212 218 223 225 229 232 233 242 244 248 250 251 254 263 265 266 269 274 277 279 281 282 286 287 294 295 296 297 300 304 306 310 311 320 325 329 331 334 339 341 343 346 348 349 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 410 411 415 416 418 419 423 431 435 438 444 446 447 449 450 451 452 456 460 461 465 467 468
a 1 4 5 6 15 16 17 19 20 21 24 27 28 32 35 36 40 43 45 46 50 52 56 57 58 59 63 68 71 76 80 83 86 88 92 96 102 105 106 109 110 119 124 130 131 132 133 135 137 139 143 144 152 153 154 155 156 158 161 162 167 173 186 193 194 195 197 199 208 210 212 218 223 225 229 232 233 242 244 248 250 251 254 263 265 266 269 274 277 279 281 282 286 287 294 295 296 297 300 304 306 310 311 325 329 331 334 339 341 343 346 348 349 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 400 410 411 415 416 418 419 423 431 435 438 444 446 447 449 450 451 452 456 460 461 465 467 468
a 1 4 5 6 15 16 17 19 20 21 24 27 28 32 35 36 40 43 45 46 50 52 56 57 58 59 63 68 71 76 80 83 86 88 92 96 102 105 106 109 110 119 124 130 131 132 135 136 137 139 143 144 152 153 154 155 156 158 161 162 167 173 186 193 194 195 197 199 208 210 212 218 223 225 229 232 233 242 244 248 250 251 254 263 265 266 269 274 277 279 281 282 286 287 294 295 296 297 300 304 306 310 311 325 329 331 334 339 341 343 346 348 349 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 400 410 411 415 416 418 419 423 431 435 438 444 446 447 449 450 451 452 456 460 461 465 467 468
a 1 4 5 6 15 16 17 19 20 21 24 27 28 32 35 36 40 43 45 46 50 52 56 57 58 59 63 68 71 76 80 83 86 88 92 96 102 105 106 109 110 119 124 130 131 132 135 136 137 139 143 144 152 153 154 155 156 158 161 162 167 169 173 186 193 194 195 197 199 208 210 212 218 223 225 229 232 233 242 244 248 250 251 254 263 265 266 269 274 277 279 281 282 286 287 294 295 296 297 300 304 310 311 325 329 331 334 339 341 343 346 348 349 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 400 410 411 415 416 418 419 423 431 435 438 444 446 447 449 450 451 452 456 460 461 465 467 468
a 1 4 5 6 15 16 17 19 20 21 24 27 28 29 32 35 36 40 43 45 46 50 52 56 57 58 59 63 68 71 76 80 83 86 88 92 96 102 105 106 109 110 119 124 130 132 135 136 137 139 143 144 152 153 154 155 156 158 161 162 167 169 173 186 193 194 195 197 199 208 210 212 218 223 225 229 232 233 242 244 248 250 251 254 263 265 266 269 274 277 279 281 282 286 287 294 295 296 297 300 304 310 311 325 329 331 334 339 341 343 346 348 349 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 400 410 411 415 416 418 419 423 431 435 438 444 446 447 449 450 451 452 456 460 461 465 467 468
a 1 4 5 6 15 16 17 19 20 21 24 27 28 29 32 35 36 40 43 45 46 50 52 56 57 58 59 63 68 71 76 80 83 86 88 92 96 102 105 106 109 110 119 124 130 132 135 136 137 139 143 144 152 153 154 155 156 158 161 162 167 169 173 186 193 194 195 197 199 208 210 212 218 223 225 229 232 233 242 244 248 250 251 254 263 265 266 269 274 277 279 281 282 286 287 294 295 296 297 300 304 310 311 325 329 330 331 334 339 341 343 346 348 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 400 410 411 415 416 418 419 423 431 435 438 444 446 447 449 450 451 452 456 460 461 465 467 468
a 1 4 5 6 15 16 17 19 20 21 24 27 28 29 32 35 36 40 43 45 46 50 52 56 57 58 63 68 71 76 80 83 86 88 92 96 102 105 106 109 110 119 124 130 132 135 136 137 139 143 144 152 153 154 155 156 158 161 162 166 167 169 173 186 193 194 195 197 199 208 210 212 218 223 225 229 232 233 242 244 248 250 251 254 263 265 266 269 274 277 279 281 282 286 287 294 295 296 297 300 304 310 311 325 329 330 331 334 339 341 343 346 348 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 400 410 411 415 416 418 419 423 431 435 438 444 446 447 449 450 451 452 456 460 461 465 467 468
a 1 4 5 6 15 16 17 19 20 21 24 27 28 29 32 35 36 40 43 45 50 52 56 57 58 63 68 71 76 80 83 86 88 92 96 102 105 106 109 110 119 124 130 132 135 136 137 139 143 144 152 153 154 155 156 158 161 162 166 167 169 173 186 193 194 195 197 199 208 210 212 218 223 225 229 232 233 242 244 248 250 251 254 263 265 266 269 274 277 279 281 282 286 287 294 295 296 297 300 304 310 311 325 329 330 331 334 339 341 343 346 347 348 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 400 410 411 415 416 418 419 423 431 435 438 444 446 447 449 450 451 452 456 460 461 465 467 468
a 1 4 5 6 15 16 17 19 20 21 24 27 28 29 32 35 36 40 43 45 50 52 56 57 58 63 68 71 76 80 83 86 88 92 96 102 105 106 109 110 119 124 130 132 135 136 137 139 143 144 152 153 154 156 158 161 162 166 167 169 173 186 193 194 195 197 199 208 210 212 218 223 225 229 232 233 242 244 248 250 251 254 263 265 266 269 272 274 277 279 281 282 286 287 294 295 296 297 300 304 310 311 325 329 330 331 334 339 341 343 346 347 348 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 400 410 411 415 416 418 419 423 431 435 438 444 446 447 449 450 451 452 456 460 461 465 467 468
a 1 4 5 6 15 16 17 19 20 21 24 27 28 29 32 35 36 40 43 45 50 52 56 57 58 63 68 71 76 80 83 86 88 92 96 102 104 105 106 109 110 119 124 132 135 136 137 139 143 144 152 153 154 156 158 161 162 166 167 169 173 186 193 194 195 197 199 208 210 212 218 223 225 229 232 233 242 244 248 250 251 254 263 265 266 269 272 274 277 279 281 282 286 287 294 295 296 297 300 304 310 311 325 329 330 331 334 339 341 343 346 347 348 352 355 364 365 366 371 373 377 379 386 388 396 397 398 399 400 410 411 415 416 418 419 423 431 435 438 444 446 447 449 450 451 452 456 460 461 465 467 468
a 1 4 5 6 15 16 17 19 20 21 24 27 28 29 32 35 36 40 43 45 50 52 56 57 58 63 68 71 76 80 83 86 88 92 96 102 104 105 106 109 110 119 124 132 135 136 137 139 143 144 152 153 154 156 158 161 162 166 167 169 173 186 193 194 195 197 199 208 210 212 218 223 225 229 232 233 242 244 248 250 251 254 263 265 266 268 269 272 274 277 279 281 282 286 287 294 295 296 297 300 304 310 311 325 329 330 331 334 339 341 343 346 347 348 352 355 364 365 366 371 373 377 379 386 388 396 397 399 400 410 411 415 416 418 419 423 431 435 438 444 446 447 449 450 451 452 456 460 461 465 467 468
a 1 4 5 6 15 16 17 19 20 21 24 27 28 29 32 35 36 40 43 45 50 52 56 57 58 63 68 71 76 80 83 86 88 92 96 102 104 105 106 109 110 113 119 124 132 135 136 137 139 143 144 152 153 154 156 158 161 162 166 167 169 173 186 193 194 195 197 199 208 210 212 218 223 225 229 232 233 242 244 248 250 251 254 263 265 266 268 269 272 274 277 279 281 282 286 287 294 295 296 297 300 304 310 311 325 329 330 331 334 339 341 343 346 347 348 352 364 365 366 371 373 377 379 386 388 396 397 399 400 410 411 415 416 418 419 423 431 435 438 444 446 447 449 450 451 452 456 460 461 465 467 468
a 1 4 5 6 15 16 17 19 20 21 24 27 28 29 32 35 36 40 43 45 50 56 57 58 63 68 71 76 80 83 86 88 92 96 102 104 105 106 109 110 113 119 124 132 135 136 137 139 143 144 152 153 154 156 158 161 162 166 167 169 173 186 193 194 195 197 199 208 210 212 218 223 225 229 232 233 242 244 248 250 251 254 263 265 266 268 269 272 274 277 279 281 282 286 287 294 295 296 297 300 304 310 311 325 329 330 331 334 339 341 343 346 347 348 352 356 364 365 366 371 373 377 379 386 388 396 397 399 400 410 411 415 416 418 419 423 431 435 438 444 446 447 449 450 451 452 456 460 461 465 467 468
a 1 4 5 6 11 15 16 17 19 20 21 24 27 28 29 32 35 36 40 43 45 50 56 57 58 63 68 71 76 80 83 86 88 92 96 102 104 105 106 109 110 113 119 124 132 135 136 137 139 143 144 152 153 154 156 158 161 162 166 167 169 173 186 193 194 195 197 199 208 210 212 218 223 229 232 233 242 244 248 250 251 254 263 265 266 268 269 272 274 277 279 281 282 286 287 294 295 296 297 300 304 310 311 325 329 330 331 334 339 341 343 346 347 348 352 356 364 365 366 371 373 377 379 386 388 396 397 399 400 410 411 415 416 418 419 423 431 435 438 444 446 447 449 450 451 452 456 460 461 465 467 468
a 1 4 5 6 11 15 16 17 19 20 21 24 27 28 29 32 35 36 40 43 45 50 56 57 58 63 68 71 76 80 83 86 88 92 96 102 104 105 106 109 110 113 119 124 132 135 136 137 139 143 144 152 153 154 156 158 161 162 166 167 169 173 186 193 194 195 197 199 208 210 212 218 223 229 232 233 242 244 248 250 251 254 263 265 266 268 269 272 274 277 279 281 282 286 287 294 295 296 297 300 304 310 311 313 325 329 330 331 334 341 343 346 347 348 352 356 364 365 366 371 373 377 379 386 388 396 397 399 400 410 411 415 416 418 419 423 431 435 438 444 446 447 449 450 451 452 456 460 461 465 467 468
a 1 4 5 6 11 15 16 17 19 20 21 24 27 28 29 32 35 36 40 43 45 50 56 57 58 63 68 71 76 80 83 86 88 92 96 102 104 105 106 109 110 113 119 124 132 135 136 137 139 143 144 152 153 154 156 158 161 162 166 167 169 173 186 193 194 195 197 199 208 210 212 218 223 229 232 233 241 242 244 248 250 251 254 263 265 266 268 269 272 274 277 279 281 282 287 294 295 296 297 300 304 310 311 313 325 329 330 331 334 341 343 346 347 348 352 356 364 365 366 371 373 377 379 386 388 396 397 399 400 410 411 415 416 418 419 423 431 435 438 444 446 447 449 450 451 452 456 460 461 465 467 468
a 1 4 5 6 11 15 16 17 19 20 21 24 27 28 29 32 35 36 40 43 45 50 56 57 58 63 68 71 76 80 83 86 88 92 96 102 104 105 106 109 110 113 119 124 132 135 136 137 139 143 144 152 153 154 156 158 161 162 166 167 169 173 186 193 194 195 197 199 208 210 212 218 223 229 232 233 237 241 242 244 248 250 251 254 263 265 266 268 269 272 274 277 279 281 282 287 294 295 296 297 300 304 310 311 313 325 329 330 331 334 341 343 346 347 348 352 356 364 365 366 371 377 379 386 388 396 397 399 400 410 411 415 416 418 419 423 431 435 438 444 446 447 449 450 451 452 456 460 461 465 467 468
a 1 4 5 6 11 15 16 17 19 20 21 24 27 28 29 32 35 36 40 43 45 50 56 57 58 63 68 71 76 80 83 86 88 92 96 102 104 105 106 109 110 113 119 124 132 135 136 137 139 143 144 152 153 154 156 158 161 162 166 167 169 173 186 193 194 195 197 199 208 210 212 218 223 229 232 233 237 241 242 244 248 250 251 254 263 265 266 268 269 272 274 277 279 281 282 287 294 295 296 297 300 304 310 311 313 325 329 330 331 334 341 343 346 347 348 352 356 364 366 371 377 379 386 388 392 396 397 399 400 410 411 415 416 418 419 423 431 435 438 444 446 447 449 450 451 452 456 460 461 465 467 468
a 1 4 5 6 11 15 16 17 19 20 21 24 27 28 29 32 35 36 40 43 45 50 56 57 58 63 68 71 76 80 81 83 86 88 92 96 102 104 105 106 109 110 113 119 124 132 135 136 137 139 143 144 152 153 154 156 158 162 166 167 169 173 186 193 194 195 197 199 208 210 212 218 223 229 232 233 237 241 242 244 248 250 251 254 263 265 266 268 269 272 274 277 279 281 282 287 294 295 296 297 300 304 310 311 313 325 329 330 331 334 341 343 346 347 348 352 356 364 366 371 377 379 386 388 392 396 397 399 400 410 411 415 416 418 419 423 431 435 438 444 446 447 449 450 451 452 456 460 461 465 467 468
a 1 4 5 6 11 15 16 17 19 20 21 24 27 28 29 32 35 36 40 43 45 50 56 57 58 63 68 71 76 80 81 83 86 88 92 96 102 104 105 106 109 110 113 119 124 132 135 136 137 139 143 144 152 153 154 156 158 162 166 167 169 173 186 193 194 195 197 199 208 210 212 218 223 229 232 233 237 241 242 244 248 250 251 254 263 265 266 268 269 272 274 277 279 281 282 287 294 295 296 297 300 304 310 311 313 321 325 329 330 331 334 341 343 346 347 348 352 356 364 366 371 377 379 386 388 392 396 397 399 400 410 411 415 416 418 419 423 431 435 438 444 446 447 449 451 452 456 460 461 465 467 468
a 1 4 5 6 11 15 16 17 19 20 21 24 27 28 29 32 35 36 37 40 43 45 50 56 57 58 63 68 71 76 80 81 83 86 88 92 96 102 104 105 106 109 110 113 119 124 132 135 136 137 139 143 144 152 153 154 156 158 162 166 167 169 173 186 194 195 197 199 208 210 212 218 223 229 232 233 237 241 242 244 248 250 251 254 263 265 266 268 269 272 274 277 279 281 282 287 294 295 296 297 300 304 310 311 313 321 325 329 330 331 334 341 343 346 347 348 352 356 364 366 371 377 379 386 388 392 396 397 399 400 410 411 415 416 418 419 423 431 435 438 444 446 447 449 451 452 456 460 461 465 467 468
a 1 4 5 6 11 15 16 17 19 20 21 27 28 29 32 35 36 37 40 43 45 50 56 57 58 61 63 68 71 76 80 81 83 86 88 92 96 102 104 105 106 109 110 113 119 124 132 135 136 137 139 143 144 152 153 154 156 158 162 166 167 169 173 186 194 195 197 199 208 210 212 218 223 229 232 233 237 241 242 244 248 250 251 254 263 265 266 268 269 272 274 277 279 281 282 287 294 295 296 297 300 304 310 311 313 321 325 329 330 331 334 341 343 346 347 348 352 356 364 366 371 377 379 386 388 392 396 397 399 400 410 411 415 416 418 419 423 431 435 438 444 446 447 449 451 452 456 460 461 465 467 468
a 1 4 5 6 11 15 16 17 19 20 27 28 29 32 35 36 37 40 43 45 50 56 57 58 61 63 68 71 76 80 81 83 86 88 92 96 102 104 105 106 109 110 113 119 124 132 135 136 137 139 143 144 152 153 154 156 158 162 166 167 169 173 186 194 195 197 199 208 210 212 218 223 229 232 233 237 241 242 244 248 250 251 254 263 265 266 268 269 272 274 277 279 281 282 287 294 295 296 297 298 300 304 310 311 313 321 325 329 330 331 334 341 343 346 347 348 352 356 364 366 371 377 379 386 388 392 396 397 399 400 410 411 415 416 418 419 423 431 435 438 444 446 447 449 451 452 456 460 461 465 467 468
a 1 4 5 6 11 15 16 17 19 20 27 28 29 32 35 36 37 40 43 45 50 56 57 58 61 63 68 71 76 80 81 83 86 88 92 96 102 104 105 106 109 110 113 119 124 132 135 136 137 139 143 144 152 153 154 156 158 162 166 167 169 173 186 194 195 197 199 208 210 212 218 223 226 229 232 233 237 241 242 244 248 250 251 254 263 265 266 268 269 272 274 277 279 281 282 287 294 295 296 297 298 300 304 310 311 313 321 325 329 330 331 334 341 343 346 347 348 352 356 364 366 371 377 379 386 388 392 396 397 399 400 410 411 415 416 418 419 423 431 435 438 444 446 447 449 451 452 456 461 465 467 468
a 1 4 5 6 11 15 16 17 19 20 27 28 29 32 35 36 37 40 43 45 50 56 57 58 61 63 68 71 76 80 81 83 86 87 88 92 96 102 104 105 106 109 110 113 119 124 132 135 136 137 139 143 144 152 153 154 156 158 162 166 167 169 173 186 194 195 197 199 208 210 212 218 223 226 229 232 233 237 241 242 244 248 250 251 254 263 265 266 268 269 272 274 277 279 281 282 287 294 295 296 297 298 300 304 310 311 313 321 325 329 330 331 334 341 343 346 347 348 352 356 364 366 371 377 379 386 388 392 396 397 399 400 410 411 415 416 418 419 423 431 435 438 444 446 447 451 452 456 461 465 467 468
a 1 4 5 6 11 15 16 17 19 20 27 28 29 32 35 36 37 40 43 45 50 56 57 58 61 63 68 71 76 80 81 83 86 87 88 92 96 102 104 105 106 109 110 113 119 124 132 135 136 137 139 143 144 152 153 154 156 158 162 166 167 169 173 186 194 195 197 199 208 210 212 218 223 226 229 232 233 237 241 244 248 250 251 254 263 265 266 268 269 272 274 277 279 281 282 287 294 295 296 297 298 300 304 310 311 313 321 325 329 330 331 334 341 343 344 346 347 348 352 356 364 366 371 377 379 386 388 392 396 397 399 400 410 411 415 416 418 419 423 431 435 438 444 446 447 451 452 456 461 465 467 468
a 1 4 5 6 11 15 16 17 19 20 27 28 29 32 35 36 37 40 43 45 50 56 57 58 61 63 68 71 76 80 81 83 86 87 88 92 96 102 104 105 106 109 110 113 119 124 132 135 136 137 139 143 144 152 153 154 156 158 162 166 167 169 173 186 194 195 197 199 208 210 212 218 223 226 229 232 233 237 241 244 248 250 251 254 263 265 266 268 269 272 274 277 279 281 282 287 294 295 296 297 298 300 301 304 310 311 313 321 325 329 330 331 334 341 343 344 346 347 348 352 356 364 366 371 377 379 386 388 392 396 397 399 400 410 411 415 418 419 423 431 435 438 444 446 447 451 452 456 461 465 467 468
a 1 4 5 6 11 15 16 17 19 20 27 28 29 32 35 36 37 40 43 45 50 56 57 58 61 63 68 71 76 80 81 83 86 87 88 92 96 102 104 105 106 109 110 113 119 124 132 135 136 137 139 143 144 152 153 154 156 158 162 166 167 169 173 186 194 195 197 199 208 210 212 218 223 224 226 229 232 233 237 241 244 248 250 251 254 263 265 266 268 269 272 274 277 279 281 282 287 294 295 296 297 298 300 301 304 310 311 313 321 325 329 330 331 334 341 343 344 346 347 348 352 356 364 366 371 377 379 386 388 392 396 397 399 400 410 411 415 418 419 423 431 435 438 444 446 447 451 452 456 461 465 468
a 1 4 5 6 11 15 17 19 20 27 28 29 30 32 35 36 37 40 43 45 50 56 57 58 61 63 68 71 76 80 81 83 86 87 88 92 96 102 104 105 106 109 110 113 119 124 132 135 136 137 139 143 144 152 153 154 156 158 162 166 167 169 173 186 194 195 197 199 208 210 212 218 223 224 226 229 232 233 237 241 244 248 250 251 254 263 265 266 268 269 272 274 277 279 281 282 287 294 295 296 297 298 300 301 304 310 311 313 321 325 329 330 331 334 341 343 344 346 347 348 352 356 364 366 371 377 379 386 388 392 396 397 399 400 410 411 415 418 419 423 431 435 438 444 446 447 451 452 456 461 465 468
a 1 4 5 6 11 15 17 19 20 27 28 29 30 32 35 36 37 40 43 45 50 56 57 58 61 63 68 71 76 80 81 83 86 87 88 92 95 96 104 105 106 109 110 113 119 124 132 135 136 137 139 143 144 152 153 154 156 158 162 166 167 169 173 186 194 195 197 199 208 210 212 218 223 224 226 229 232 233 237 241 244 248 250 251 254 263 265 266 268 269 272 274 277 279 281 282 287 294 295 296 297 298 300 301 304 310 311 313 321 325 329 330 331 334 341 343 344 346 347 348 352 356 364 366 371 377 379 386 388 392 396 397 399 400 410 411 415 418 419 423 431 435 438 444 446 447 451 452 456 461 465 468
a 1 4 5 6 11 15 17 19 20 27 28 29 30 32 35 36 37 40 43 45 50 56 57 58 61 63 68 71 76 80 81 83 86 87 88 92 95 96 104 105 106 109 110 113 119 124 132 135 136 137 139 143 144 152 153 154 156 158 160 162 166 167 169 173 186 194 195 197 199 208 210 212 218 223 224 226 229 232 237 241 244 248 250 251 254 263 265 266 268 269 272 274 277 279 281 282 287 294 295 296 297 298 300 301 304 310 311 313 321 325 329 330 331 334 341 343 344 346 347 348 352 356 364 366 371 377 379 386 388 392 396 397 399 400 410 411 415 418 419 423 431 435 438 444 446 447 451 452 456 461 465 468
a 1 4 5 6 11 15 17 19 20 28 29 30 32 35 36 37 40 43 45 50 56 57 58 61 63 68 71 76 80 81 83 86 87 88 92 95 96 104 105 106 109 110 113 119 124 132 135 136 137 139 143 144 152 153 154 156 158 160 162 166 167 169 173 186 194 195 197 199 208 210 212 217 218 223 224 226 229 232 237 241 244 248 250 251 254 263 265 266 268 269 272 274 277 279 281 282 287 294 295 296 297 298 300 301 304 310 311 313 321 325 329 330 331 334 341 343 344 346 347 348 352 356 364 366 371 377 379 386 388 392 396 397 399 400 410 411 415 418 419 423 431 435 438 444 446 447 451 452 456 461 465 468
a 1 4 5 6 11 15 17 19 20 28 29 30 32 35 36 37 40 43 45 50 56 57 58 61 63 68 71 76 80 81 83 85 86 87 88 92 95 96 104 105 106 109 110 113 119 124 132 135 136 137 139 143 144 152 153 154 156 158 160 162 166 167 169 173 186 194 195 197 199 208 210 212 217 218 223 224 226 229 232 237 241 244 248 250 251 254 263 265 266 268 269 272 274 277 279 281 282 287 294 295 296 297 298 300 301 304 310 311 313 321 325 329 330 331 334 341 343 344 346 347 352 356 364 366 371 377 379 386 388 392 396 397 399 400 410 411 415 418 419 423 431 435 438 444 446 447 451 452 456 461 465 468
a 1 4 5 6 11 15 17 19 20 28 29 30 32 35 36 37 40 43 45 50 56 57 58 61 63 68 71 76 80 81 83 85 86 87 88 92 95 96 104 105 106 109 110 113 119 124 132 135 136 137 139 143 144 153 154 156 158 160 162 166 167 169 173 186 194 195 197 199 208 210 212 217 218 222 223 224 226 229 232 237 241 244 248 250 251 254 263 265 266 268 269 272 274 277 279 281 282 287 294 295 296 297 298 300 301 304 310 311 313 321 325 329 330 331 334 341 343 344 346 347 352 356 364 366 371 377 379 386 388 392 396 397 399 400 410 411 415 418 419 423 431 435 438 444 446 447 451 452 456 461 465 468
a 1 4 5 6 11 15 17 19 20 28 29 30 32 35 36 37 40 43 45 50 56 57 58 61 63 68 71 76 80 81 83 85 86 87 88 92 95 96 104 105 106 109 110 113 119 124 132 135 136 137 139 143 144 153 154 156 158 160 162 166 169 173 186 194 195 197 199 208 210 212 217 218 222 223 224 226 229 232 237 241 244 248 250 251 254 263 265 266 268 269 271 272 274 277 279 281 282 287 294 295 296 297 298 300 301 304 310 311 313 321 325 329 330 331 334 341 343 344 346 347 352 356 364 366 371 377 379 386 388 392 396 397 399 400 410 411 415 418 419 423 431 435 438 444 446 447 451 452 456 461 465 468
a 1 4 5 6 11 15 17 19 20 28 29 30 32 35 36 37 40 43 45 50 56 57 58 61 62 63 68 71 76 80 81 83 85 86 87 88 92 95 96 104 106 109 110 113 119 124 132 135 136 137 139 143 144 153 154 156 158 160 162 166 169 173 186 194 195 197 199 208 210 212 217 218 222 223 224 226 229 232 237 241 244 248 250 251 254 263 265 266 268 269 271 272 274 277 279 281 282 287 294 295 296 297 298 300 301 304 310 311 313 321 325 329 330 331 334 341 343 344 346 347 352 356 364 366 371 377 379 386 388 392 396 397 399 400 410 411 415 418 419 423 431 435 438 444 446 447 451 452 456 461 465 468
a 4 5 6 11 15 17 19 20 28 29 30 32 35 36 37 40 43 45 50 56 57 58 61 62 63 68 71 76 80 81 83 85 86 87 88 92 95 96 104 106 109 110 113 119 124 132 135 136 137 139 143 144 153 154 156 158 160 162 166 169 173 186 190 194 195 197 199 208 210 212 217 218 222 223 224 226 229 232 237 241 244 248 250 251 254 263 265 266 268 269 271 272 274 277 279 281 282 287 294 295 296 297 298 300 301 304 310 311 313 321 325 329 330 331 334 341 343 344 346 347 352 356 364 366 371 377 379 386 388 392 396 397 399 400 410 411 415 418 419 423 431 435 438 444 446 447 451 452 456 461 465 468
a 4 5 6 11 15 17 19 20 28 29 30 32 35 36 37 40 43 45 50 56 57 58 61 62 63 68 71 76 80 81 83 85 86 87 88 92 95 96 104 106 109 110 113 119 124 132 135 136 137 139 143 144 153 154 156 158 160 162 166 169 173 190 194 195 197 199 207 208 210 212 217 218 222 223 224 226 229 232 237 241 244 248 250 251 254 263 265 266 268 269 271 272 274 277 279 281 282 287 294 295 296 297 298 300 301 304 310 311 313 321 325 329 330 331 334 341 343 344 346 347 352 356 364 366 371 377 379 386 388 392 396 397 399 400 410 411 415 418 419 423 431 435 438 444 446 447 451 452 456 461 465 468
a 4 5 6 11 15 17 19 20 28 29 30 32 35 36 37 40 43 45 50 56 57 58 61 62 63 68 71 76 80 81 83 85 86 87 88 95 96 104 106 109 110 113 119 124 132 135 136 137 139 143 144 153 154 156 158 160 162 166 169 173 190 194 195 197 199 207 208 210 212 217 218 222 223 224 226 229 232 237 240 241 244 248 250 251 254 263 265 266 268 269 271 272 274 277 279 281 282 287 294 295 296 297 298 300 301 304 310 311 313 321 325 329 330 331 334 341 343 344 346 347 352 356 364 366 371 377 379 386 388 392 396 397 399 400 410 411 415 418 419 423 431 435 438 444 446 447 451 452 456 461 465 468
a 4 5 6 11 15 17 19 20 28 29 30 32 35 36 37 40 43 45 50 56 57 58 61 62 63 68 71 76 80 81 83 85 86 87 88 95 96 104 106 109 110 113 119 124 132 135 136 137 139 143 144 153 154 156 158 160 162 166 169 173 190 194 195 197 199 207 210 212 217 218 222 223 224 226 229 232 237 240 241 244 248 250 251 254 263 265 266 268 269 271 272 274 277 279 281 282 287 294 295 296 297 298 300 301 304 310 311 313 321 325 329 330 331 334 341 343 344 346 347 352 356 364 366 371 377 379 386 388 392 394 396 397 399 400 410 411 415 418 419 423 431 435 438 444 446 447 451 452 456 461 465 468
a 4 5 6 11 15 17 19 20 28 29 30 32 35 36 37 40 43 45 50 56 57 58 61 62 63 68 71 76 80 81 83 85 86 87 88 95 96 104 106 110 113 119 124 132 135 136 137 139 143 144 153 154 156 158 160 162 166 169 173 190 194 195 197 199 207 210 212 217 218 222 223 224 226 229 232 237 240 241 244 248 250 251 254 260 263 265 266 268 269 271 272 274 277 279 281 282 287 294 295 296 297 298 300 301 304 310 311 313 321 325 329 330 331 334 341 343 344 346 347 352 356 364 366 371 377 379 386 388 392 394 396 397 399 400 410 411 415 418 419 423 431 435 438 444 446 447 451 452 456 461 465 468
a 4 5 6 11 15 17 19 20 28 29 30 32 35 36 37 40 43 45 50 56 57 58 61 62 63 68 71 76 80 81 83 85 86 87 88 95 96 104 106 110 113 119 124 132 135 136 137 139 143 144 153 154 156 158 160 162 166 169 173 190 195 197 199 207 210 212 217 218 222 223 224 226 229 232 237 240 241 244 248 250 251 254 260 263 265 266 268 269 271 272 274 277 279 281 282 287 294 295 296 297 298 300 301 304 310 311 313 321 325 329 330 331 334 341 343 344 346 347 352 356 364 366 371 377 379 386 388 389 392 394 396 397 399 400 410 411 415 418 419 423 431 435 438 444 446 447 451 452 456 461 465 468
a 4 5 6 11 15 17 19 20 28 29 30 32 35 36 37 40 43 45 50 56 57 58 61 62 63 68 71 76 80 81 83 85 86 87 88 95 96 104 106 110 113 119 122 124 132 135 136 137 139 143 144 153 154 156 158 160 162 166 169 173 190 195 197 199 207 210 212 217 218 222 223 224 226 229 232 237 240 241 244 248 250 251 254 260 263 265 266 268 269 271 272 274 277 279 281 282 287 295 296 297 298 300 301 304 310 311 313 321 325 329 330 331 334 341 343 344 346 347 352 356 364 366 371 377 379 386 388 389 392 394 396 397 399 400 410 411 415 418 419 423 431 435 438 444 446 447 451 452 456 461 465 468
a 4 5 6 11 15 17 19 20 28 29 30 32 35 36 37 40 43 45 50 56 57 58 61 62 63 68 71 76 80 81 83 85 86 87 88 95 96 104 106 110 113 119 122 124 132 135 136 137 139 143 144 153 154 156 158 160 162 166 169 173 190 195 197 199 207 210 212 217 218 222 223 224 226 229 232 237 240 241 244 248 250 251 254 260 265 266 268 269 271 272 274 277 279 281 282 287 295 296 297 298 300 301 304 310 311 313 321 325 329 330 331 334 341 343 344 346 347 352 356 364 366 371 377 379 386 388 389 392 394 396 397 399 400 410 411 415 418 419 423 431 435 438 444 446 447 451 452 456 457 461 465 468
a 4 5 6 11 15 17 19 20 28 29 30 32 35 36 37 40 43 45 50 57 58 61 62 63 68 70 71 76 80 81 83 85 86 87 88 95 96 104 106 110 113 119 122 124 132 135 136 137 139 143 144 153 154 156 158 160 162 166 169 173 190 195 197 199 207 210 212 217 218 222 223 224 226 229 232 237 240 241 244 248 250 251 254 260 265 266 268 269 271 272 274 277 279 281 282 287 295 296 297 298 300 301 304 310 311 313 321 325 329 330 331 334 341 343 344 346 347 352 356 364 366 371 377 379 386 388 389 392 394 396 397 399 400 410 411 415 418 419 423 431 435 438 444 446 447 451 452 456 457 461 465 468
a 4 5 6 11 15 17 20 28 29 30 32 35 36 37 40 43 45 50 57 58 61 62 63 68 70 71 76 80 81 83 85 86 87 88 95 96 104 106 110 113 119 122 124 132 135 136 137 139 143 144 153 154 156 158 160 162 166 169 173 190 195 197 199 207 210 212 217 218 222 223 224 226 229 232 237 240 241 244 248 250 251 254 260 265 266 268 269 271 272 274 277 279 281 282 287 295 296 297 298 300 301 304 310 311 313 321 325 329 330 331 334 341 343 344 346 347 352 356 364 366 371 377 379 386 388 389 390 392 394 396 397 399 400 410 411 415 418 419 423 431 435 438 444 446 447 451 452 456 457 461 465 468
a 4 5 6 11 15 17 20 28 29 30 32 35 36 37 40 43 45 50 57 58 61 62 63 68 70 71 76 80 81 83 85 86 87 88 95 96 104 106 110 113 119 122 124 132 135 136 137 139 143 144 153 154 156 158 160 162 166 169 173 190 195 197 199 207 210 212 217 218 222 223 224 226 229 232 237 240 241 244 248 250 251 254 260 265 266 268 269 271 272 274 277 279 281 282 287 295 296 297 298 300 301 304 310 311 313 321 325 329 330 331 334 341 343 344 346 347 352 356 364 366 371 377 379 386 388 389 390 392 394 396 397 399 400 410 411 415 418 419 423 431 433 435 438 446 447 451 452 456 457 461 465 468
a 4 5 6 11 12 15 17 20 28 29 30 32 35 36 37 40 43 45 50 57 58 61 62 63 68 70 71 80 81 83 85 86 87 88 95 96 104 106 110 113 119 122 124 132 135 136 137 139 143 144 153 154 156 158 160 162 166 169 173 190 195 197 199 207 210 212 217 218 222 223 224 226 229 232 237 240 241 244 248 250 251 254 260 265 266 268 269 271 272 274 277 279 281 282 287 295 296 297 298 300 301 304 310 311 313 321 325 329 330 331 334 341 343 344 346 347 352 356 364 366 371 377 379 386 388 389 390 392 394 396 397 399 400 410 411 415 418 419 423 431 433 435 438 446 447 451 452 456 457 461 465 468
a 4 5 6 11 12 15 17 20 28 29 30 32 35 36 37 40 43 45 50 57 58 61 62 63 68 70 71 80 81 83 85 86 87 88 95 96 104 106 110 113 119 122 124 132 135 136 137 139 143 144 153 154 156 158 160 162 166 169 173 190 195 197 199 207 210 212 217 218 222 223 224 226 229 232 237 240 241 244 248 250 251 254 256 260 265 266 268 269 271 272 274 277 279 281 282 287 295 296 297 298 300 301 304 310 311 313 321 325 329 330 331 334 341 343 344 346 347 352 356 364 366 371 379 386 388 389 390 392 394 396 397 399 400 410 411 415 418 419 423 431 433 435 438 446 447 451 452 456 457 461 465 468
a 4 5 6 11 12 15 17 20 28 29 30 32 35 36 37 40 43 45 50 57 58 61 62 63 68 70 71 80 81 83 85 86 87 88 95 96 104 106 110 113 119 122 124 132 135 136 137 139 143 144 153 154 156 158 160 162 166 169 173 190 195 197 199 207 210 212 217 218 222 224 226 229 232 237 240 241 244 248 250 251 254 256 260 265 266 268 269 271 272 274 277 279 281 282 287 295 296 297 298 300 301 304 310 311 313 321 325 329 330 331 334 340 341 343 344 346 347 352 356 364 366 371 379 386 388 389 390 392 394 396 397 399 400 410 411 415 418 419 423 431 433 435 438 446 447 451 452 456 457 461 465 468
a 4 5 6 11 12 15 17 20 28 29 30 32 35 36 37 38 40 43 45 50 57 58 61 62 63 68 70 71 80 81 83 85 86 87 88 95 96 104 106 110 113 119 122 132 135 136 137 139 143 144 153 154 156 158 160 162 166 169 173 190 195 197 199 207 210 212 217 218 222 224 226 229 232 237 240 241 244 248 250 251 254 256 260 265 266 268 269 271 272 274 277 279 281 282 287 295 296 297 298 300 301 304 310 311 313 321 325 329 330 331 334 340 341 343 344 346 347 352 356 364 366 371 379 386 388 389 390 392 394 396 397 399 400 410 411 415 418 419 423 431 433 435 438 446 447 451 452 456 457 461 465 468
a 4 5 6 11 12 15 17 20 28 29 30 32 35 36 37 38 40 43 45 50 57 58 61 62 63 68 70 71 80 81 83 85 86 87 88 95 96 104 106 110 113 119 122 132 135 136 137 139 143 144 153 154 156 158 160 162 166 169 173 190 195 197 199 207 210 212 217 218 222 224 226 229 232 237 240 241 244 248 250 254 256 260 265 266 268 269 271 272 274 277 279 281 282 287 295 296 297 298 300 301 304 310 311 313 321 325 329 330 331 334 340 341 343 344 346 347 352 356 364 366 371 379 380 386 388 389 390 392 394 396 397 399 400 410 411 415 418 419 423 431 433 435 438 446 447 451 452 456 457 461 465 468
a 4 5 6 11 12 15 17 20 28 29 30 32 35 36 37 38 40 43 45 50 57 58 61 62 63 68 70 71 80 81 83 85 86 87 88 95 96 104 106 110 113 119 122 132 135 136 137 139 141 143 144 153 154 156 158 160 162 166 169 173 190 195 197 199 207 210 212 217 218 222 224 226 229 232 237 240 241 244 248 250 254 256 260 265 266 268 269 271 272 274 277 279 281 282 287 295 296 297 298 300 301 304 310 311 313 321 325 329 330 331 334 340 341 343 344 346 347 352 356 364 366 371 379 380 386 388 389 390 392 394 396 397 399 400 410 411 415 418 419 423 431 433 435 446 447 451 452 456 457 461 465 468
a 4 5 6 11 12 15 20 28 29 30 32 35 36 37 38 40 43 45 50 57 58 61 62 63 68 70 71 80 81 83 85 86 87 88 95 96 104 106 110 113 119 122 132 134 135 136 137 139 141 143 144 153 154 156 158 160 162 166 169 173 190 195 197 199 207 210 212 217 218 222 224 226 229 232 237 240 241 244 248 250 254 256 260 265 266 268 269 271 272 274 277 279 281 282 287 295 296 297 298 300 301 304 310 311 313 321 325 329 330 331 334 340 341 343 344 346 347 352 356 364 366 371 379 380 386 388 389 390 392 394 396 397 399 400 410 411 415 418 419 423 431 433 435 446 447 451 452 456 457 461 465 468
a 4 5 6 11 12 15 20 28 29 30 32 35 36 37 38 40 43 45 50 57 58 61 62 63 68 70 71 80 81 83 85 86 87 88 95 96 104 106 110 113 119 122 132 134 135 136 137 139 141 143 144 153 154 156 158 160 162 166 169 173 190 195 197 199 201 207 210 212 217 218 222 224 226 229 232 237 240 241 244 248 250 254 256 260 265 266 268 269 271 272 274 277 279 281 282 287 295 296 297 298 300 301 304 310 311 313 321 325 329 330 331 334 340 341 343 344 346 347 352 356 364 366 371 379 380 386 388 389 390 392 394 396 397 399 400 410 415 418 419 423 431 433 435 446 447 451 452 456 457 461 465 468
a 4 5 6 11 12 15 20 28 29 30 32 35 36 37 38 40 43 45 50 57 58 61 62 63 68 70 71 80 81 83 85 86 87 88 95 96 104 106 110 113 119 122 132 134 135 136 137 139 141 143 144 153 154 156 158 160 162 166 169 173 190 195 197 199 201 207 210 212 217 218 222 224 226 229 232 237 240 241 244 248 250 254 256 260 265 266 268 269 271 272 274 277 279 281 282 287 295 297 298 300 301 304 310 311 313 321 325 329 330 331 332 334 340 341 343 344 346 347 352 356 364 366 371 379 380 386 388 389 390 392 394 396 397 399 400 410 415 418 419 423 431 433 435 446 447 451 452 456 457 461 465 468
a 4 5 6 11 12 15 20 28 29 30 32 35 36 37 38 40 43 45 50 57 58 61 62 63 68 70 71 80 81 83 85 86 87 88 95 96 104 106 110 113 114 119 122 132 134 135 136 137 139 141 143 144 153 154 156 158 160 162 166 169 173 190 195 197 199 201 207 210 212 217 218 222 224 226 229 232 237 240 241 244 248 250 254 256 260 265 266 268 269 271 272 274 277 279 281 282 287 295 297 298 300 301 304 310 311 313 321 325 329 330 331 332 334 340 341 344 346 347 352 356 364 366 371 379 380 386 388 389 390 392 394 396 397 399 400 410 415 418 419 423 431 433 435 446 447 451 452 456 457 461 465 468
a 4 5 6 11 12 15 20 28 29 30 32 35 36 37 38 40 43 45 50 57 58 61 62 63 68 70 71 80 81 83 84 85 86 87 88 95 96 104 106 110 113 114 119 122 132 134 135 136 137 139 141 143 144 153 154 156 158 160 162 166 169 173 190 195 197 199 201 207 210 212 217 218 222 224 226 229 232 237 240 241 244 248 250 254 256 260 265 266 268 269 271 272 274 277 279 281 282 287 295 297 298 300 301 304 310 311 313 321 325 329 330 331 332 334 340 341 344 346 347 352 356 364 366 371 379 380 386 388 389 390 392 394 396 397 399 400 410 415 418 419 423 433 435 446 447 451 452 456 457 461 465 468
a 4 5 6 11 12 15 20 28 29 30 32 35 36 37 38 40 43 45 50 57 58 61 62 63 68 70 71 80 81 83 84 85 86 87 88 95 96 104 106 110 113 114 119 122 132 134 135 136 137 139 141 143 144 153 154 156 160 162 166 169 173 190 195 197 199 201 207 210 212 217 218 222 224 226 229 232 237 240 241 244 248 250 254 256 260 265 266 268 269 271 272 274 277 279 281 282 287 295 297 298 300 301 304 310 311 313 321 325 329 330 331 332 334 340 341 344 346 347 352 356 364 366 371 379 380 386 388 389 390 392 394 396 397 399 400 410 415 418 419 423 427 433 435 446 447 451 452 456 457 461 465 468
a 4 5 6 11 12 15 20 28 29 30 32 35 36 37 38 40 43 45 50 57 58 61 62 63 68 70 71 80 81 83 84 85 86 87 88 95 96 104 106 110 113 114 119 122 132 134 135 136 137 139 141 143 144 153 154 156 160 162 166 169 173 190 195 197 199 201 207 210 212 217 218 222 224 226 229 237 240 241 244 248 250 254 256 260 265 266 268 269 271 272 274 277 279 281 282 287 295 297 298 300 301 304 310 311 313 321 325 329 330 331 332 334 340 341 344 346 347 352 356 364 366 371 379 380 386 388 389 390 392 394 395 396 397 399 400 410 415 418 419 423 427 433 435 446 447 451 452 456 457 461 465 468
a 5 6 11 12 15 20 28 29 30 32 35 36 37 38 40 43 45 50 57 58 61 62 63 68 70 71 80 81 83 84 85 86 87 88 95 96 104 106 110 113 114 119 122 132 134 135 136 137 139 141 143 144 153 154 156 160 162 166 169 173 190 195 197 199 201 207 210 212 217 218 222 224 226 229 237 240 241 244 248 250 254 256 260 265 266 268 269 271 272 274 277 279 281 282 287 295 297 298 300 301 304 310 311 313 321 325 329 330 331 332 334 340 341 344 346 347 352 353 356 364 366 371 379 380 386 388 389 390 392 394 395 396 397 399 400 410 415 418 419 423 427 433 435 446 447 451 452 456 457 461 465 468
a 5 6 11 12 15 20 29 30 32 35 36 37 38 40 43 45 50 57 58 61 62 63 68 70 71 80 81 83 84 85 86 87 88 95 96 104 106 110 113 114 119 122 132 134 135 136 137 139 141 143 144 153 154 156 160 162 166 169 173 190 195 197 199 201 207 210 212 217 218 222 224 226 229 237 240 241 244 248 250 254 256 260 265 266 268 269 271 272 274 277 279 281 282 287 295 297 298 300 301 304 310 311 313 321 325 329 330 331 332 334 336 340 341 344 346 347 352 353 356 364 366 371 379 380 386 388 389 390 392 394 395 396 397 399 400 410 415 418 419 423 427 433 435 446 447 451 452 456 457 461 465 468
a 5 6 11 12 15 18 20 29 30 32 35 37 38 40 43 45 50 57 58 61 62 63 68 70 71 80 81 83 84 85 86 87 88 95 96 104 106 110 113 114 119 122 132 134 135 136 137 139 141 143 144 153 154 156 160 162 166 169 173 190 195 197 199 201 207 210 212 217 218 222 224 226 229 237 240 241 244 248 250 254 256 260 265 266 268 269 271 272 274 277 279 281 282 287 295 297 298 300 301 304 310 311 313 321 325 329 330 331 332 334 336 340 341 344 346 347 352 353 356 364 366 371 379 380 386 388 389 390 392 394 395 396 397 399 400 410 415 418 419 423 427 433 435 446 447 451 452 456 457 461 465 468
a 5 6 11 12 15 18 20 29 30 32 35 37 38 40 43 45 50 57 58 61 62 63 68 70 71 80 81 83 84 85 86 87 88 95 96 104 106 110 113 114 119 122 132 134 135 136 139 141 143 144 153 154 156 160 162 166 169 173 190 195 197 199 201 207 210 212 217 218 222 224 226 229 237 240 241 244 248 250 254 256 260 265 266 268 269 271 272 274 277 279 281 282 287 295 297 298 300 301 304 310 311 313 321 325 329 330 331 332 334 336 340 341 344 346 347 352 353 356 359 364 366 371 379 380 386 388 389 390 392 394 395 396 397 399 400 410 415 418 419 423 427 433 435 446 447 451 452 456 457 461 465 468
a 5 6 11 12 15 18 20 29 30 32 35 37 38 40 43 45 50 57 58 61 62 63 68 70 71 80 81 83 84 85 86 87 88 95 96 104 106 110 113 114 119 122 132 134 135 136 139 141 143 144 153 154 156 160 162 166 169 173 190 195 197 199 201 207 210 212 217 218 221 222 224 226 229 237 240 241 244 248 250 254 256 260 265 266 268 269 271 272 274 277 279 281 282 287 295 297 298 300 301 304 310 311 313 321 325 329 330 331 332 334 336 340 341 344 346 347 352 353 356 359 364 366 371 379 380 386 388 389 390 392 394 395 396 397 399 400 410 415 418 419 427 433 435 446 447 451 452 456 457 461 465 468
a 5 6 11 12 15 18 20 29 30 32 35 37 38 40 43 45 50 57 58 61 62 63 68 70 71 80 81 83 84 85 86 87 88 95 96 104 106 110 113 114 119 122 132 134 135 136 139 141 143 144 153 154 156 160 162 166 169 173 190 195 197 199 201 207 212 217 218 221 222 224 226 229 237 240 241 244 248 250 254 256 260 265 266 268 269 271 272 274 277 279 281 282 287 295 297 298 300 301 303 304 310 311 313 321 325 329 330 331 332 334 336 340 341 344 346 347 352 353 356 359 364 366 371 379 380 386 388 389 390 392 394 395 396 397 399 400 410 415 418 419 427 433 435 446 447 451 452 456 457 461 465 468
a 5 6 11 12 15 18 20 29 30 32 35 37 38 40 43 45 50 54 57 58 61 62 63 68 70 71 80 81 83 84 85 86 87 88 95 96 104 106 110 113 114 119 122 132 134 135 136 139 141 143 144 153 154 156 160 162 166 169 173 190 195 197 199 201 207 212 217 218 221 222 224 226 229 237 240 241 244 248 254 256 260 265 266 268 269 271 272 274 277 279 281 282 287 295 297 298 300 301 303 304 310 311 313 321 325 329 330 331 332 334 336 340 341 344 346 347 352 353 356 359 364 366 371 379 380 386 388 389 390 392 394 395 396 397 399 400 410 415 418 419 427 433 435 446 447 451 452 456 457 461 465 468
a 5 6 11 12 15 18 20 29 30 32 35 37 38 40 43 45 50 54 57 58 61 62 63 68 70 71 80 81 83 84 85 86 87 88 95 96 104 106 113 114 119 122 132 134 135 136 139 141 143 144 153 154 156 160 162 166 169 173 180 190 195 197 199 201 207 212 217 218 221 222 224 226 229 237 240 241 244 248 254 256 260 265 266 268 269 271 272 274 277 279 281 282 287 295 297 298 300 301 303 304 310 311 313 321 325 329 330 331 332 334 336 340 341 344 346 347 352 353 356 359 364 366 371 379 380 386 388 389 390 392 394 395 396 397 399 400 410 415 418 419 427 433 435 446 447 451 452 456 457 461 465 468
a 5 6 11 12 15 18 20 29 30 32 35 37 38 40 43 45 50 54 57 58 61 62 63 68 70 71 80 81 83 84 85 86 87 88 95 96 104 106 113 114 119 122 132 134 135 136 139 141 143 144 153 154 156 160 162 166 169 173 180 190 195 197 199 201 207 212 217 218 220 221 222 224 226 229 237 240 241 244 248 254 256 260 265 266 268 269 271 272 274 277 279 281 282 287 295 297 298 300 301 303 310 311 313 321 325 329 330 331 332 334 336 340 341 344 346 347 352 353 356 359 364 366 371 379 380 386 388 389 390 392 394 395 396 397 399 400 410 415 418 419 427 433 435 446 447 451 452 456 457 461 465 468
a 5 6 11 12 15 18 20 29 30 32 35 37 38 40 43 44 45 50 54 57 58 61 62 63 68 70 71 80 81 83 84 85 86 87 95 96 104 106 113 114 119 122 132 134 135 136 139 141 143 144 153 154 156 160 162 166 169 173 180 190 195 197 199 201 207 212 217 218 220 221 222 224 226 229 237 240 241 244 248 254 256 260 265 266 268 269 271 272 274 277 279 281 282 287 295 297 298 300 301 303 310 311 313 321 325 329 330 331 332 334 336 340 341 344 346 347 352 353 356 359 364 366 371 379 380 386 388 389 390 392 394 395 396 397 399 400 410 415 418 419 427 433 435 446 447 451 452 456 457 461 465 468
a 5 11 12 15 18 20 29 30 32 35 37 38 40 43 44 45 50 54 57 58 61 62 63 68 70 71 80 81 83 84 85 86 87 95 96 104 106 113 114 119 122 132 134 135 136 139 141 143 144 153 154 156 160 162 166 169 173 180 190 195 197 199 201 207 212 217 218 220 221 222 224 226 229 237 240 241 244 248 254 256 260 265 266 268 269 271 272 274 277 279 281 282 287 295 297 298 300 301 303 310 311 313 321 325 329 330 331 332 334 336 340 341 344 346 347 352 353 356 359 364 366 371 379 380 386 388 389 390 392 394 395 396 397 399 400 410 415 418 419 427 433 435 446 447 451 452 453 456 457 461 465 468
a 5 9 11 12 15 18 20 29 30 32 35 37 38 40 43 44 45 50 54 57 58 61 62 63 68 70 71 80 81 83 84 85 86 87 95 96 104 106 113 114 119 122 132 134 135 136 139 141 143 144 153 154 156 160 162 166 169 173 180 190 195 197 199 201 207 212 217 218 220 221 222 224 226 229 237 240 241 244 248 254 256 260 265 266 268 269 271 272 274 277 279 281 282 287 295 297 298 300 301 303 310 311 313 321 325 329 330 331 332 334 336 340 341 344 346 347 352 353 356 359 364 366 371 379 380 386 388 389 390 392 394 395 396 397 399 400 410 418 419 427 433 435 446 447 451 452 453 456 457 461 465 468
a 5 9 11 12 15 18 20 29 30 32 35 37 38 40 43 44 45 50 54 57 58 61 62 63 68 70 71 80 81 83 84 85 86 87 95 96 97 104 106 113 114 119 122 132 134 135 136 139 141 143 144 153 154 156 160 162 166 169 173 180 190 195 197 199 201 207 212 217 218 220 221 222 224 226 229 237 240 241 244 248 254 256 260 265 266 268 271 272 274 277 279 281 282 287 295 297 298 300 301 303 310 311 313 321 325 329 330 331 332 334 336 340 341 344 346 347 352 353 356 359 364 366 371 379 380 386 388 389 390 392 394 395 396 397 399 400 410 418 419 427 433 435 446 447 451 452 453 456 457 461 465 468
a 5 9 11 12 15 18 20 29 30 32 35 37 38 40 43 44 45 50 54 57 58 61 62 63 68 70 71 80 81 83 84 85 86 87 95 96 97 104 106 113 114 119 122 132 134 135 136 139 141 143 144 153 154 156 160 162 166 169 173 180 190 195 197 199 201 207 212 217 218 220 221 222 224 226 229 237 240 241 243 244 248 254 256 260 265 266 268 271 272 274 277 279 281 282 287 295 297 298 300 301 303 310 311 313 321 325 329 330 332 334 336 340 341 344 346 347 352 353 356 359 364 366 371 379 380 386 388 389 390 392 394 395 396 397 399 400 410 418 419 427 433 435 446 447 451 452 453 456 457 461 465 468
a 5 9 11 12 15 18 20 29 30 32 35 37 38 40 43 44 45 48 50 54 57 58 61 62 63 68 70 71 80 81 83 84 85 86 87 95 96 97 104 106 113 114 119 122 132 134 135 136 139 141 143 144 153 154 156 160 162 166 169 173 180 190 195 199 201 207 212 217 218 220 221 222 224 226 229 237 240 241 243 244 248 254 256 260 265 266 268 271 272 274 277 279 281 282 287 295 297 298 300 301 303 310 311 313 321 325 329 330 332 334 336 340 341 344 346 347 352 353 356 359 364 366 371 379 380 386 388 389 390 392 394 395 396 397 399 400 410 418 419 427 433 435 446 447 451 452 453 456 457 461 465 468
a 5 9 11 12 15 18 20 29 30 32 35 37 38 40 43 44 45 48 50 54 57 58 61 62 63 68 70 71 80 81 83 84 85 86 87 95 96 97 104 106 113 114 119 122 132 134 135 136 139 141 143 144 153 154 156 160 162 166 169 173 180 190 195 199 201 207 212 217 218 220 221 222 224 226 229 237 240 241 243 244 248 254 256 260 265 266 268 271 272 274 276 277 279 281 282 295 297 298 300 301 303 310 311 313 321 325 329 330 332 334 336 340 341 344 346 347 352 353 356 359 364 366 371 379 380 386 388 389 390 392 394 395 396 397 399 400 410 418 419 427 433 435 446 447 451 452 453 456 457 461 465 468
a 5 9 11 12 15 18 20 29 30 32 35 37 38 40 43 44 45 48 50 54 57 58 61 62 63 68 70 71 80 81 83 84 85 86 87 95 96 97 104 106 113 114 119 122 132 134 135 136 139 141 143 144 153 154 156 160 162 166 169 173 180 190 195 199 201 207 217 218 220 221 222 224 226 229 237 240 241 243 244 248 254 256 258 260 265 266 268 271 272 274 276 277 279 281 282 295 297 298 300 301 303 310 311 313 321 325 329 330 332 334 336 340 341 344 346 347 352 353 356 359 364 366 371 379 380 386 388 389 390 392 394 395 396 397 399 400 410 418 419 427 433 435 446 447 451 452 453 456 457 461 465 468
a 5 9 11 12 15 18 20 29 30 32 35 37 38 40 43 44 45 48 50 54 57 58 61 62 63 68 70 71 80 81 83 84 85 86 87 95 96 97 104 106 113 114 119 122 132 134 135 136 139 141 143 144 153 154 156 160 162 166 169 173 180 190 199 201 207 217 218 220 221 222 224 226 229 237 240 241 243 244 248 254 256 258 260 265 266 268 271 272 274 276 277 279 281 282 295 297 298 300 301 303 308 310 311 313 321 325 329 330 332 334 336 340 341 344 346 347 352 353 356 359 364 366 371 379 380 386 388 389 390 392 394 395 396 397 399 400 410 418 419 427 433 435 446 447 451 452 453 456 457 461 465 468
a 5 9 11 12 15 18 20 29 30 32 35 37 38 40 43 44 45 48 50 54 57 58 61 62 63 68 70 71 80 81 83 84 85 86 87 95 96 97 104 106 113 114 119 122 132 134 135 136 139 141 143 144 153 154 156 160 162 166 169 173 180 190 199 201 207 213 217 218 220 221 222 224 226 229 237 240 241 243 244 248 254 256 258 260 265 268 271 272 274 276 277 279 281 282 295 297 298 300 301 303 308 310 311 313 321 325 329 330 332 334 336 340 341 344 346 347 352 353 356 359 364 366 371 379 380 386 388 389 390 392 394 395 396 397 399 400 410 418 419 427 433 435 446 447 451 452 453 456 457 461 465 468
a 5 9 11 12 15 18 20 29 30 32 35 37 38 40 43 44 45 48 50 54 58 61 62 63 68 70 71 79 80 81 83 84 85 86 87 95 96 97 104 106 113 114 119 122 132 134 135 136 139 141 143 144 153 154 156 160 162 166 169 173 180 190 199 201 207 213 217 218 220 221 222 224 226 229 237 240 241 243 244 248 254 256 258 260 265 268 271 272 274 276 277 279 281 282 295 297 298 300 301 303 308 310 311 313 321 325 329 330 332 334 336 340 341 344 346 347 352 353 356 359 364 366 371 379 380 386 388 389 390 392 394 395 396 397 399 400 410 418 419 427 433 435 446 447 451 452 453 456 457 461 465 468
a 5 9 11 12 15 18 20 29 30 32 35 37 38 40 43 44 45 48 50 54 58 61 62 63 68 70 71 79 80 81 83 84 85 86 87 95 96 97 104 106 113 114 119 122 132 134 136 139 141 143 144 153 154 156 160 162 166 169 173 180 190 199 201 207 213 217 218 220 221 222 224 226 229 237 240 241 243 244 248 254 256 258 260 265 268 271 272 274 276 277 279 281 282 295 297 298 300 301 303 308 310 311 313 321 325 329 330 332 334 336 340 341 344 346 347 352 353 356 359 364 366 371 379 380 386 388 389 390 392 394 395 396 397 399 400 410 418 419 427 433 435 446 447 451 452 453 455 456 457 461 465 468
a 5 9 11 12 15 18 20 29 30 35 37 38 40 43 44 45 48 50 54 58 60 61 62 63 68 70 71 79 80 81 83 84 85 86 87 95 96 97 104 106 113 114 119 122 132 134 136 139 141 143 144 153 154 156 160 162 166 169 173 180 190 199 201 207 213 217 218 220 221 222 224 226 229 237 240 241 243 244 248 254 256 258 260 265 268 271 272 274 276 277 279 281 282 295 297 298 300 301 303 308 310 311 313 321 325 329 330 332 334 336 340 341 344 346 347 352 353 356 359 364 366 371 379 380 386 388 389 390 392 394 395 396 397 399 400 410 418 419 427 433 435 446 447 451 452 453 455 456 457 461 465 468
a 5 9 11 12 15 18 20 29 30 35 37 38 40 43 44 45 48 50 54 58 60 61 62 63 68 70 71 79 80 81 83 84 85 86 87 95 96 97 104 106 113 114 119 122 132 134 136 139 141 143 144 153 154 156 160 162 166 169 173 180 190 199 201 207 213 217 218 220 221 222 224 226 229 237 240 241 243 244 248 254 256 258 260 265 268 271 272 274 276 277 279 281 282 295 297 298 300 301 303 308 310 313 321 324 325 329 330 332 334 336 340 341 344 346 347 352 353 356 359 364 366 371 379 380 386 388 389 390 392 394 395 396 397 399 400 410 418 419 427 433 435 446 447 451 452 453 455 456 457 461 465 468
a 5 9 11 12 15 18 20 29 30 35 37 38 40 43 44 45 48 50 54 58 60 61 62 63 68 70 71 79 80 81 83 84 85 86 87 95 96 97 104 106 113 114 119 122 132 134 136 139 141 143 144 148 153 154 156 160 162 166 169 173 180 190 199 201 207 213 217 218 220 221 222 224 226 229 237 240 241 243 244 248 256 258 260 265 268 271 272 274 276 277 279 281 282 295 297 298 300 301 303 308 310 313 321 324 325 329 330 332 334 336 340 341 344 346 347 352 353 356 359 364 366 371 379 380 386 388 389 390 392 394 395 396 397 399 400 410 418 419 427 433 435 446 447 451 452 453 455 456 457 461 465 468
a 5 9 11 12 15 18 20 29 30 35 37 38 40 43 44 45 48 50 54 58 60 61 62 63 70 71 79 80 81 83 84 85 86 87 95 96 97 104 106 113 114 119 122 132 134 136 139 141 143 144 148 153 154 156 160 162 166 169 173 180 190 199 201 207 213 217 218 220 221 222 224 226 229 237 240 241 243 244 248 256 257 258 260 265 268 271 272 274 276 277 279 281 282 295 297 298 300 301 303 308 310 313 321 324 325 329 330 332 334 336 340 341 344 346 347 352 353 356 359 364 366 371 379 380 386 388 389 390 392 394 395 396 397 399 400 410 418 419 427 433 435 446 447 451 452 453 455 456 457 461 465 468
a 5 9 11 12 15 18 20 29 30 35 37 38 40 43 44 45 48 50 54 58 60 61 62 63 70 71 79 80 81 83 84 85 86 87 95 96 97 104 106 113 114 119 122 132 134 136 139 141 143 144 148 153 154 156 160 162 166 168 169 173 180 190 199 201 207 213 217 218 220 221 222 224 226 229 237 240 241 243 244 248 256 257 258 260 265 268 271 272 274 276 277 279 281 282 295 297 298 300 301 303 308 310 313 321 324 325 329 330 332 334 336 340 341 344 346 347 352 353 356 359 364 366 371 379 380 386 388 389 390 392 394 395 396 397 400 410 418 419 427 433 435 446 447 451 452 453 455 456 457 461 465 468
a 5 9 11 12 15 18 20 29 30 35 37 38 40 43 44 45 48 50 54 58 60 61 62 63 70 71 79 80 81 83 84 85 86 87 95 96 97 104 106 113 114 119 122 132 134 136 139 141 143 144 148 153 154 156 160 162 166 168 169 180 185 190 199 201 207 213 217 218 220 221 222 224 226 229 237 240 241 243 244 248 256 257 258 260 265 268 271 272 274 276 277 279 281 282 295 297 298 300 301 303 308 310 313 321 324 325 329 330 332 334 336 340 341 344 346 347 352 353 356 359 364 366 371 379 380 386 388 389 390 392 394 395 396 397 400 410 418 419 427 433 435 446 447 451 452 453 455 456 457 461 465 468
a 5 9 11 12 15 18 20 29 30 35 37 38 39 40 43 44 48 50 54 58 60 61 62 63 70 71 79 80 81 83 84 85 86 87 95 96 97 104 106 113 114 119 122 132 134 136 139 141 143 144 148 153 154 156 160 162 166 168 169 180 185 190 199 201 207 213 217 218 220 221 222 224 226 229 237 240 241 243 244 248 256 257 258 260 265 268 271 272 274 276 277 279 281 282 295 297 298 300 301 303 308 310 313 321 324 325 329 330 332 334 336 340 341 344 346 347 352 353 356 359 364 366 371 379 380 386 388 389 390 392 394 395 396 397 400 410 418 419 427 433 435 446 447 451 452 453 455 456 457 461 465 468
a 5 9 11 12 15 18 20 29 30 35 37 38 39 40 43 44 48 50 54 58 60 61 62 63 70 71 79 80 81 83 84 85 86 87 95 96 97 104 113 114 119 122 132 134 136 139 141 143 144 148 153 154 156 160 162 166 168 169 180 185 190 199 201 207 213 217 218 220 221 222 224 226 229 237 240 241 243 244 248 256 257 258 260 265 268 271 272 274 276 277 279 281 282 295 297 298 300 301 303 308 310 313 321 324 325 329 330 332 334 336 340 341 344 346 347 352 353 356 359 361 364 366 371 379 380 386 388 389 390 392 394 395 396 397 400 410 418 419 427 433 435 446 447 451 452 453 455 456 457 461 465 468
a 5 9 11 12 15 18 20 29 30 35 37 38 39 40 43 44 48 50 54 58 60 61 62 63 70 71 79 80 81 83 84 85 86 87 95 96 97 104 113 114 119 122 132 134 136 139 141 143 144 148 153 154 156 160 162 166 168 169 180 185 190 199 201 207 213 217 218 220 221 222 224 226 229 237 240 241 243 244 248 256 257 258 260 265 268 271 272 274 276 277 279 281 282 295 297 298 300 301 303 308 310 313 321 324 325 329 330 332 334 336 340 344 346 347 352 353 356 359 361 364 366 371 379 380 386 388 389 390 392 394 395 396 397 400 402 410 418 419 427 433 435 446 447 451 452 453 455 456 457 461 465 468
c Step: 124
	Command being timed: "python3 run_3.py --existent /benchmark/random_instance/random_instance036_graph004.col /benchmark/random_instance/random_instance036_graph004_01.dat"
	User time (seconds): 64.87
	System time (seconds): 0.12
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 1:05.00
	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): 337636
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 117933
	Voluntary context switches: 23
	Involuntary context switches: 331
	Swaps: 0
	File system inputs: 0
	File system outputs: 952
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Mon Sep  4 13:00:38 2023]