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