#BEGIN: [Tue Sep 26 02:02:02 2023] #HOST: s04 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance038_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance038_graph002_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_instance038_graph002.col /benchmark/random_instance/random_instance038_graph002_01.dat c /benchmark/random_instance/random_instance038_graph002.col c /benchmark/random_instance/random_instance038_graph002_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 320 153 99 398 251 383 434 160 124 252 357 89 406 370 440 248 184 353 431 444 374 83 51 237 288 259 450 437 223 343 277 454 97 16 306 272 224 269 122 268 59 377 50 147 369 327 420 198 79 449 152 474 461 355 180 137 255 258 146 207 100 170 105 61 486 15 181 264 278 104 381 332 494 466 271 36 290 19 233 159 402 213 217 421 229 475 157 175 305 201 281 349 297 115 133 244 235 134 376 148 411 12 442 13 23 363 49 45 14 169 48 477 393 492 280 161 240 211 128 126 116 364 282 149 328 330 253 98 218 196 231 21 396 439 135 334 246 319 415 339 382 294 91 448 139 190 470 163 7 324 179 238 307 342 489 257 321 9 162 433 416 t 299 428 6 26 47 390 63 452 50 94 151 291 358 450 198 483 4 395 279 296 357 449 246 155 132 176 67 156 119 7 138 89 142 413 349 235 129 304 467 475 164 56 331 422 281 131 387 461 453 108 115 472 315 455 82 398 370 396 48 383 488 208 319 414 59 55 5 175 294 256 303 112 133 2 158 173 347 263 134 489 251 310 267 448 139 214 144 376 265 367 80 105 424 259 116 8 426 191 201 278 199 32 474 227 372 71 72 161 238 53 427 79 343 257 407 377 252 135 305 69 394 272 188 38 229 98 418 96 275 371 282 224 154 128 287 484 351 60 268 192 307 312 21 405 186 207 165 179 322 126 264 29 416 365 348 245 437 269 479 297 286 a YES a 7 9 12 13 14 15 16 19 21 23 36 45 48 49 50 51 59 61 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 128 133 134 135 137 139 146 147 148 149 152 153 157 159 160 161 162 163 169 170 175 179 180 181 184 190 196 198 201 207 211 213 217 218 223 224 229 231 233 235 237 238 240 244 246 248 251 252 253 255 257 258 259 264 268 269 271 272 277 278 280 281 282 288 290 294 297 305 306 307 319 320 321 324 327 328 330 332 334 339 342 343 349 353 355 357 363 364 369 370 374 376 377 381 382 383 393 396 398 402 406 411 415 416 420 421 431 433 434 437 439 440 442 444 448 449 450 454 461 466 470 474 475 477 486 489 492 494 a 7 9 12 13 14 15 16 19 21 23 36 45 48 49 50 51 59 61 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 128 133 134 135 137 139 146 147 148 149 152 153 157 159 160 161 162 163 169 170 175 179 180 181 184 190 196 198 201 207 211 213 217 218 223 224 229 231 233 234 235 238 240 244 246 248 251 252 253 255 257 258 259 264 268 269 271 272 277 278 280 281 282 288 290 294 297 305 306 307 319 320 321 324 327 328 330 332 334 339 342 343 349 353 355 357 363 364 369 370 374 376 377 381 382 383 393 396 398 402 406 411 415 416 420 421 431 433 434 437 439 440 442 444 448 449 450 454 461 466 470 474 475 477 486 489 492 494 a 7 9 12 13 14 15 16 19 21 23 36 45 48 49 50 51 59 61 79 83 89 91 97 98 99 100 104 105 115 116 121 122 124 126 128 133 134 135 137 139 146 147 148 149 152 153 157 159 160 161 162 163 169 170 175 179 180 181 184 190 196 198 201 207 211 213 217 218 223 224 229 231 233 234 235 238 240 244 246 248 251 252 253 255 257 258 259 264 268 269 271 272 277 278 280 281 282 288 290 294 297 305 306 307 319 320 321 324 327 328 330 332 334 339 342 343 349 353 355 357 364 369 370 374 376 377 381 382 383 393 396 398 402 406 411 415 416 420 421 431 433 434 437 439 440 442 444 448 449 450 454 461 466 470 474 475 477 486 489 492 494 a 7 9 12 13 14 15 16 19 21 23 36 45 48 49 50 51 59 61 79 83 89 91 97 98 99 100 104 105 115 116 121 122 124 126 128 129 133 134 135 137 139 146 147 148 152 153 157 159 160 161 162 163 169 170 175 179 180 181 184 190 196 198 201 207 211 213 217 218 223 224 229 231 233 234 235 238 240 244 246 248 251 252 253 255 257 258 259 264 268 269 271 272 277 278 280 281 282 288 290 294 297 305 306 307 319 320 321 324 327 328 330 332 334 339 342 343 349 353 355 357 364 369 370 374 376 377 381 382 383 393 396 398 402 406 411 415 416 420 421 431 433 434 437 439 440 442 444 448 449 450 454 461 466 470 474 475 477 486 489 492 494 a 7 9 12 13 14 15 16 19 21 23 36 45 48 49 50 51 59 61 79 83 89 91 97 98 99 100 104 105 115 116 121 122 124 126 128 129 133 134 135 137 139 146 147 148 152 153 157 159 160 161 162 163 169 170 175 179 180 181 184 190 196 198 201 207 211 213 217 218 223 224 229 231 233 235 237 238 240 244 246 248 251 252 253 255 257 258 259 264 268 269 271 272 277 278 280 281 282 288 290 294 297 305 306 307 319 320 321 324 327 328 330 332 334 339 342 343 349 353 355 357 364 369 370 374 376 377 381 382 383 393 396 398 402 406 411 415 416 420 421 431 433 434 437 439 440 442 444 448 449 450 454 461 466 470 474 475 477 486 489 492 494 a 7 9 12 13 14 15 16 19 21 23 36 45 48 49 50 51 59 61 74 79 83 89 91 97 98 99 100 104 105 115 116 121 122 124 126 128 129 133 134 135 137 139 146 147 148 152 153 157 159 160 161 162 163 169 170 175 179 180 181 184 190 196 198 201 207 211 213 217 218 223 224 229 231 233 235 237 238 240 244 246 248 251 252 253 255 257 258 259 264 268 269 271 272 277 278 280 281 282 288 290 294 297 305 306 307 319 320 321 324 327 330 332 334 339 342 343 349 353 355 357 364 369 370 374 376 377 381 382 383 393 396 398 402 406 411 415 416 420 421 431 433 434 437 439 440 442 444 448 449 450 454 461 466 470 474 475 477 486 489 492 494 a 7 9 12 13 14 15 16 19 21 22 23 36 45 48 49 50 51 59 61 74 79 83 89 91 97 98 99 100 104 105 115 116 121 122 124 126 128 129 133 134 135 137 139 146 147 148 152 153 157 159 160 161 162 163 169 170 175 179 180 181 184 190 196 198 201 207 211 213 217 218 223 224 229 231 233 235 237 238 240 244 246 248 251 252 253 255 257 258 259 264 268 269 271 272 277 280 281 282 288 290 294 297 305 306 307 319 320 321 324 327 330 332 334 339 342 343 349 353 355 357 364 369 370 374 376 377 381 382 383 393 396 398 402 406 411 415 416 420 421 431 433 434 437 439 440 442 444 448 449 450 454 461 466 470 474 475 477 486 489 492 494 a 7 9 12 13 14 15 16 19 21 22 23 36 45 48 49 50 51 59 61 74 79 83 89 91 97 98 99 100 104 105 115 116 121 122 124 126 128 133 134 135 137 139 146 147 148 149 152 153 157 159 160 161 162 163 169 170 175 179 180 181 184 190 196 198 201 207 211 213 217 218 223 224 229 231 233 235 237 238 240 244 246 248 251 252 253 255 257 258 259 264 268 269 271 272 277 280 281 282 288 290 294 297 305 306 307 319 320 321 324 327 330 332 334 339 342 343 349 353 355 357 364 369 370 374 376 377 381 382 383 393 396 398 402 406 411 415 416 420 421 431 433 434 437 439 440 442 444 448 449 450 454 461 466 470 474 475 477 486 489 492 494 a 7 9 12 13 14 15 16 19 21 22 23 36 45 48 49 50 51 59 61 74 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 128 133 134 135 137 139 146 147 148 149 152 153 157 159 160 161 162 163 169 170 175 179 180 181 184 190 196 198 201 207 211 213 217 218 223 224 229 231 233 235 237 238 240 244 246 248 251 252 253 255 257 258 259 264 268 269 271 272 277 280 281 282 288 290 294 297 305 306 307 319 320 321 324 327 330 332 334 339 342 343 349 353 355 357 363 364 369 370 374 376 377 381 382 383 393 396 398 402 406 411 415 416 420 421 431 433 434 437 439 440 442 444 448 449 450 454 461 466 470 474 475 477 486 489 492 494 a 7 9 12 13 14 15 16 19 21 22 23 36 45 48 49 50 51 59 61 74 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 128 129 133 134 135 137 139 146 147 148 152 153 157 159 160 161 162 163 169 170 175 179 180 181 184 190 196 198 201 207 211 213 217 218 223 224 229 231 233 235 237 238 240 244 246 248 251 252 253 255 257 258 259 264 268 269 271 272 277 280 281 282 288 290 294 297 305 306 307 319 320 321 324 327 330 332 334 339 342 343 349 353 355 357 363 364 369 370 374 376 377 381 382 383 393 396 398 402 406 411 415 416 420 421 431 433 434 437 439 440 442 444 448 449 450 454 461 466 470 474 475 477 486 489 492 494 a 7 9 12 13 14 15 16 19 21 22 23 36 44 45 48 49 50 51 59 61 74 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 128 129 133 134 135 137 139 146 147 148 152 153 157 159 160 161 162 163 169 170 175 179 180 181 184 190 196 198 201 207 211 213 217 218 223 224 229 231 233 235 237 238 240 244 246 248 251 252 253 255 257 258 259 264 268 269 271 272 277 280 281 288 290 294 297 305 306 307 319 320 321 324 327 330 332 334 339 342 343 349 353 355 357 363 364 369 370 374 376 377 381 382 383 393 396 398 402 406 411 415 416 420 421 431 433 434 437 439 440 442 444 448 449 450 454 461 466 470 474 475 477 486 489 492 494 a 7 9 12 13 14 15 16 19 21 22 23 36 44 45 48 49 50 51 59 61 70 74 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 129 133 134 135 137 139 146 147 148 152 153 157 159 160 161 162 163 169 170 175 179 180 181 184 190 196 198 201 207 211 213 217 218 223 224 229 231 233 235 237 238 240 244 246 248 251 252 253 255 257 258 259 264 268 269 271 272 277 280 281 288 290 294 297 305 306 307 319 320 321 324 327 330 332 334 339 342 343 349 353 355 357 363 364 369 370 374 376 377 381 382 383 393 396 398 402 406 411 415 416 420 421 431 433 434 437 439 440 442 444 448 449 450 454 461 466 470 474 475 477 486 489 492 494 a 7 9 12 13 14 15 16 19 21 22 23 36 44 45 48 49 50 51 59 61 70 74 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 129 133 134 135 137 139 146 147 148 152 153 157 159 160 161 162 163 169 170 175 179 180 181 184 190 196 198 201 207 211 213 217 218 223 224 229 231 233 235 237 238 240 244 246 248 251 252 253 255 257 258 259 264 268 269 271 272 277 280 281 288 290 294 297 305 306 307 319 320 321 324 327 330 332 334 339 342 343 349 353 355 357 363 369 370 374 376 377 379 381 382 383 393 396 398 402 406 411 415 416 420 421 431 433 434 437 439 440 442 444 448 449 450 454 461 466 470 474 475 477 486 489 492 494 a 7 9 12 13 14 15 16 19 21 22 23 36 44 45 48 49 50 51 59 61 70 74 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 129 133 134 135 137 139 146 147 148 152 153 157 159 160 161 162 163 169 170 175 179 180 181 184 190 196 198 201 207 211 213 217 218 223 224 229 231 233 235 237 238 240 244 246 248 251 252 253 255 257 258 259 268 269 271 272 277 280 281 288 290 294 297 305 306 307 319 320 321 324 327 330 332 334 339 342 343 349 353 355 357 363 369 370 374 376 377 379 381 382 383 393 396 398 402 406 411 415 416 420 421 431 433 434 437 439 440 442 444 447 448 449 450 454 461 466 470 474 475 477 486 489 492 494 a 7 9 12 13 14 15 16 19 21 22 23 36 44 45 48 49 50 51 59 61 70 74 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 129 133 134 135 137 139 141 146 147 148 152 153 157 159 160 161 162 163 169 170 175 179 180 181 184 190 196 198 201 207 211 213 217 218 223 224 229 231 233 235 237 238 240 244 246 248 251 252 253 255 257 258 259 268 269 271 272 277 280 281 288 290 294 297 305 306 307 319 320 321 324 327 330 332 334 339 342 343 349 353 355 357 363 369 370 374 376 377 379 381 382 383 393 396 398 402 406 411 415 416 420 421 431 433 434 437 439 440 442 444 447 448 449 450 454 461 466 470 474 475 477 489 492 494 a 7 9 12 13 14 15 16 19 21 22 23 36 44 45 48 49 50 51 59 61 70 74 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 129 133 134 135 137 139 141 146 147 148 152 153 157 159 160 161 162 163 169 170 175 179 180 181 184 190 196 198 201 207 211 213 217 218 223 224 229 231 233 235 237 240 244 246 248 251 252 253 255 257 258 259 268 269 271 272 277 280 281 288 290 294 297 305 306 307 319 320 321 324 327 330 332 334 339 342 343 349 353 355 357 363 369 370 374 376 377 379 381 382 383 393 396 398 402 406 411 415 416 420 421 431 433 434 437 439 440 442 444 447 448 449 450 451 454 461 466 470 474 475 477 489 492 494 a 7 9 12 13 14 15 16 19 21 22 23 36 44 45 48 49 50 51 59 61 65 70 74 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 129 133 134 135 137 139 141 146 147 148 152 153 157 159 160 161 162 163 169 170 175 179 180 181 184 190 196 198 201 207 211 213 217 218 223 224 229 231 233 235 237 240 244 246 248 251 252 253 255 257 258 259 268 269 271 272 277 280 281 288 290 294 297 305 306 307 319 320 321 324 327 330 332 334 339 342 343 349 353 355 357 363 369 370 374 376 377 379 381 382 383 393 396 398 402 406 411 415 416 420 421 431 433 434 437 439 440 442 444 447 448 449 450 451 454 461 466 470 474 475 489 492 494 a 7 9 12 13 14 15 16 19 21 22 23 36 44 45 48 49 50 51 59 61 65 70 74 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 129 133 134 135 137 139 146 147 148 152 153 157 159 160 161 162 163 169 170 175 179 180 181 184 190 196 198 201 207 211 213 217 218 223 224 229 231 233 235 237 240 244 246 248 251 252 253 255 257 258 259 268 269 271 272 277 280 281 288 290 294 297 305 306 307 319 320 321 324 327 330 332 334 339 342 343 349 353 355 357 363 369 370 374 376 377 379 381 382 383 393 396 398 402 406 411 415 416 420 421 431 433 434 437 439 440 442 444 447 448 449 450 451 454 461 466 470 474 475 486 489 492 494 a 7 9 12 13 14 15 16 19 21 22 23 36 44 45 48 49 50 51 59 61 65 70 74 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 129 133 134 135 137 139 146 147 148 152 153 157 159 160 161 162 163 169 170 175 179 180 181 184 190 196 198 201 207 211 213 217 218 223 224 231 233 235 237 240 244 246 248 251 252 253 255 257 258 259 268 269 271 272 277 280 281 288 290 294 297 305 306 307 319 320 321 324 327 330 332 334 339 342 343 349 353 355 357 363 369 370 374 376 377 379 381 382 383 393 396 398 402 406 411 415 416 420 421 431 433 434 437 439 440 442 444 447 448 449 450 451 454 461 466 470 474 475 477 486 489 492 494 a 7 9 12 13 14 15 16 19 21 22 23 36 44 45 48 49 50 51 59 61 65 70 74 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 133 134 135 137 139 146 147 148 149 152 153 157 159 160 161 162 163 169 170 175 179 180 181 184 190 196 198 201 207 211 213 217 218 223 224 231 233 235 237 240 244 246 248 251 252 253 255 257 258 259 268 269 271 272 277 280 281 288 290 294 297 305 306 307 319 320 321 324 327 330 332 334 339 342 343 349 353 355 357 363 369 370 374 376 377 379 381 382 383 393 396 398 402 406 411 415 416 420 421 431 433 434 437 439 440 442 444 447 448 449 450 451 454 461 466 470 474 475 477 486 489 492 494 a 7 9 12 13 14 15 16 19 21 22 23 36 44 45 48 49 50 51 59 61 65 74 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 128 133 134 135 137 139 146 147 148 149 152 153 157 159 160 161 162 163 169 170 175 179 180 181 184 190 196 198 201 207 211 213 217 218 223 224 231 233 235 237 240 244 246 248 251 252 253 255 257 258 259 268 269 271 272 277 280 281 288 290 294 297 305 306 307 319 320 321 324 327 330 332 334 339 342 343 349 353 355 357 363 369 370 374 376 377 379 381 382 383 393 396 398 402 406 411 415 416 420 421 431 433 434 437 439 440 442 444 447 448 449 450 451 454 461 466 470 474 475 477 486 489 492 494 a 7 9 12 13 14 15 16 19 21 22 23 36 44 45 48 49 50 51 59 61 65 74 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 128 133 134 135 137 139 146 147 148 149 152 153 157 159 160 161 162 163 169 170 175 179 180 181 184 190 196 198 201 207 211 213 217 218 223 224 229 231 233 235 237 240 244 246 248 251 252 253 255 257 258 259 268 269 271 272 277 280 281 288 290 294 297 305 306 307 319 320 321 324 327 330 332 334 342 343 349 353 355 357 363 369 370 374 376 377 379 381 382 383 393 396 398 402 406 411 415 416 420 421 431 433 434 437 439 440 442 444 447 448 449 450 451 454 461 466 470 474 475 477 486 489 492 494 a 7 9 12 13 14 15 16 19 21 22 23 36 44 45 48 49 50 51 59 61 65 74 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 128 129 133 134 135 137 139 146 147 148 152 153 157 159 160 161 162 163 169 170 175 179 180 181 184 190 196 198 201 207 211 213 217 218 223 224 229 231 233 235 237 240 244 246 248 251 252 253 255 257 258 259 268 269 271 272 277 280 281 288 290 294 297 305 306 307 319 320 321 324 327 330 332 334 342 343 349 353 355 357 363 369 370 374 376 377 379 381 382 383 393 396 398 402 406 411 415 416 420 421 431 433 434 437 439 440 442 444 447 448 449 450 451 454 461 466 470 474 475 477 486 489 492 494 a 7 9 12 13 14 15 16 19 21 22 23 36 44 45 48 49 50 51 59 61 65 74 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 128 129 133 134 135 137 139 146 147 148 152 153 157 159 160 161 162 163 169 170 175 179 180 181 184 190 196 198 201 207 211 213 217 218 223 224 229 231 233 235 237 240 244 246 248 251 252 253 255 257 258 259 268 269 271 272 277 280 281 288 290 294 297 305 306 307 319 320 321 324 327 330 332 334 339 342 343 349 353 355 357 363 369 370 374 376 379 381 382 383 393 396 398 402 406 411 415 416 420 421 431 433 434 437 439 440 442 444 447 448 449 450 451 454 461 466 470 474 475 477 486 489 492 494 a 7 9 13 14 15 16 19 21 22 23 36 44 45 48 49 50 51 59 61 65 74 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 128 129 133 134 135 137 139 146 147 148 152 153 157 159 160 161 162 163 169 170 175 179 180 181 184 190 196 198 201 207 211 213 217 218 223 224 229 231 233 235 237 240 244 246 248 251 252 253 255 257 258 259 268 269 271 272 277 280 281 288 290 294 297 305 306 307 316 319 320 321 324 327 330 332 334 339 342 343 349 353 355 357 363 369 370 374 376 379 381 382 383 393 396 398 402 406 411 415 416 420 421 431 433 434 437 439 440 442 444 447 448 449 450 451 454 461 466 470 474 475 477 486 489 492 494 a 7 9 13 14 15 16 19 21 22 23 36 44 45 48 49 50 51 59 61 65 74 76 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 128 129 133 134 135 137 139 146 147 148 152 153 157 159 160 161 162 163 169 170 175 179 180 181 184 196 198 201 207 211 213 217 218 223 224 229 231 233 235 237 240 244 246 248 251 252 253 255 257 258 259 268 269 271 272 277 280 281 288 290 294 297 305 306 307 316 319 320 321 324 327 330 332 334 339 342 343 349 353 355 357 363 369 370 374 376 379 381 382 383 393 396 398 402 406 411 415 416 420 421 431 433 434 437 439 440 442 444 447 448 449 450 451 454 461 466 470 474 475 477 486 489 492 494 a 7 9 13 14 15 16 19 21 22 23 36 44 45 48 49 50 51 59 61 65 74 76 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 128 129 133 134 135 137 139 146 147 148 152 153 157 159 160 161 162 163 169 175 179 180 181 184 188 196 198 201 207 211 213 217 218 223 224 229 231 233 235 237 240 244 246 248 251 252 253 255 257 258 259 268 269 271 272 277 280 281 288 290 294 297 305 306 307 316 319 320 321 324 327 330 332 334 339 342 343 349 353 355 357 363 369 370 374 376 379 381 382 383 393 396 398 402 406 411 415 416 420 421 431 433 434 437 439 440 442 444 447 448 449 450 451 454 461 466 470 474 475 477 486 489 492 494 a 7 9 13 14 15 16 19 21 22 23 36 44 45 48 49 50 51 59 61 65 74 76 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 128 129 133 134 135 137 139 146 147 148 152 157 159 160 161 162 163 169 175 179 180 181 184 188 196 198 201 207 211 213 217 218 223 224 229 231 233 235 237 240 244 246 248 251 252 253 255 257 258 259 268 269 271 272 277 280 281 288 290 294 297 305 306 307 316 319 320 321 324 327 330 332 334 339 342 343 349 353 355 357 363 369 370 374 376 379 381 382 383 393 396 398 402 406 407 411 415 416 420 421 431 433 434 437 439 440 442 444 447 448 449 450 451 454 461 466 470 474 475 477 486 489 492 494 a 7 9 13 14 15 16 19 21 22 23 36 44 45 48 49 50 51 59 61 65 74 76 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 128 129 132 133 134 135 137 139 146 147 148 157 159 160 161 162 163 169 175 179 180 181 184 188 196 198 201 207 211 213 217 218 223 224 229 231 233 235 237 240 244 246 248 251 252 253 255 257 258 259 268 269 271 272 277 280 281 288 290 294 297 305 306 307 316 319 320 321 324 327 330 332 334 339 342 343 349 353 355 357 363 369 370 374 376 379 381 382 383 393 396 398 402 406 407 411 415 416 420 421 431 433 434 437 439 440 442 444 447 448 449 450 451 454 461 466 470 474 475 477 486 489 492 494 a 7 9 13 14 15 16 19 21 22 23 36 44 45 48 49 50 51 59 61 65 74 76 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 128 129 132 133 134 135 137 139 146 147 148 157 159 160 161 162 163 169 175 179 180 181 184 188 196 198 201 207 211 213 217 218 223 224 229 231 233 235 237 240 244 246 248 251 252 253 255 257 258 259 268 269 271 272 277 280 281 288 290 294 297 305 306 307 316 319 320 321 324 330 332 334 339 342 343 347 349 353 355 357 363 369 370 374 376 379 381 382 383 393 396 398 402 406 407 411 415 416 420 421 431 433 434 437 439 440 442 444 447 448 449 450 451 454 461 466 470 474 475 477 486 489 492 494 a 7 9 13 14 15 16 19 21 22 23 36 44 45 48 49 50 51 59 61 65 74 76 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 128 129 132 133 134 135 137 139 146 147 148 157 159 160 161 162 163 169 175 179 180 181 184 188 196 198 201 207 211 213 217 218 223 224 229 231 233 235 237 240 244 246 248 251 252 253 255 257 258 259 268 269 271 272 277 280 281 288 290 294 297 305 306 307 316 319 320 321 324 330 332 334 339 342 343 347 349 353 355 357 363 370 371 374 376 379 381 382 383 393 396 398 402 406 407 411 415 416 420 421 431 433 434 437 439 440 442 444 447 448 449 450 451 454 461 466 470 474 475 477 486 489 492 494 a 7 9 13 14 15 16 19 21 22 23 36 44 45 48 49 50 51 59 61 65 74 76 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 128 129 132 133 134 135 137 139 146 147 148 157 159 160 161 162 163 169 175 179 180 181 184 188 196 198 201 207 211 213 217 218 223 224 229 231 233 235 237 240 244 246 248 251 252 253 255 257 258 259 268 269 271 272 277 280 281 288 290 294 297 305 306 307 316 319 320 321 324 330 334 339 342 343 347 349 353 355 357 363 370 371 374 376 379 381 382 383 393 396 398 402 406 407 411 415 416 420 421 431 433 434 437 439 440 442 444 447 448 449 450 451 454 461 466 467 470 474 475 477 486 489 492 494 a 7 9 13 14 15 16 19 21 22 23 36 44 45 48 49 50 51 59 61 65 74 76 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 128 129 132 133 134 135 137 139 146 147 148 157 159 160 161 162 163 169 175 179 180 181 184 188 196 198 201 207 211 213 217 218 223 224 229 231 233 235 237 240 244 246 248 251 252 253 255 257 258 259 268 269 271 272 277 280 281 288 290 294 297 304 305 306 307 316 319 320 321 324 330 334 339 342 343 347 349 353 355 357 363 370 371 374 376 379 381 382 383 393 396 398 402 407 411 415 416 420 421 431 433 434 437 439 440 442 444 447 448 449 450 451 454 461 466 467 470 474 475 477 486 489 492 494 a 7 9 13 14 15 16 19 21 22 23 36 44 45 48 49 50 51 59 61 65 74 76 79 83 89 91 97 98 99 100 104 105 115 116 122 124 126 128 129 132 133 134 135 137 139 146 147 148 157 159 160 161 162 163 169 175 179 180 181 184 188 196 198 201 207 211 213 217 218 223 224 229 231 233 235 237 240 244 246 248 251 252 253 255 257 258 259 268 269 271 272 277 280 281 288 290 294 297 304 305 306 307 316 319 320 321 324 330 334 339 342 343 347 349 353 355 357 363 370 371 374 376 379 381 382 383 387 393 396 398 402 407 411 415 416 420 421 431 434 437 439 440 442 444 447 448 449 450 451 454 461 466 467 470 474 475 477 486 489 492 494 a 7 9 13 14 15 16 19 21 22 23 36 44 45 48 49 50 51 59 61 65 74 76 79 83 89 91 97 98 99 100 104 105 115 116 124 126 128 129 132 133 134 135 137 139 146 147 148 157 159 160 161 162 163 169 175 179 180 181 184 188 196 198 201 207 211 213 217 218 223 224 229 231 233 235 237 240 244 246 248 251 252 253 255 257 258 259 268 269 271 272 277 280 281 288 290 294 297 304 305 306 307 316 319 320 321 324 330 334 339 342 343 347 349 353 355 357 363 370 371 374 376 379 381 382 383 387 393 394 396 398 402 407 411 415 416 420 421 431 434 437 439 440 442 444 447 448 449 450 451 454 461 466 467 470 474 475 477 486 489 492 494 a 7 9 13 14 15 16 19 21 22 23 36 44 45 48 49 50 51 59 61 65 74 76 79 83 89 91 97 98 99 100 104 105 115 116 124 126 128 129 132 133 134 135 137 139 146 147 148 157 159 160 161 162 163 169 175 179 180 181 184 188 196 198 201 207 211 213 217 218 223 224 229 231 233 235 237 240 244 246 248 251 252 253 255 257 258 259 268 269 271 272 277 280 281 288 290 294 297 304 305 306 307 316 319 320 321 324 330 334 339 342 343 347 349 353 355 357 363 370 371 374 376 379 381 382 383 387 393 394 396 398 402 405 407 411 415 416 420 421 431 434 437 439 440 444 447 448 449 450 451 454 461 466 467 470 474 475 477 486 489 492 494 a 7 9 13 14 15 16 19 21 22 23 36 44 45 48 49 50 51 59 61 65 67 74 76 79 83 89 91 97 98 99 100 105 115 116 124 126 128 129 132 133 134 135 137 139 146 147 148 157 159 160 161 162 163 169 175 179 180 181 184 188 196 198 201 207 211 213 217 218 223 224 229 231 233 235 237 240 244 246 248 251 252 253 255 257 258 259 268 269 271 272 277 280 281 288 290 294 297 304 305 306 307 316 319 320 321 324 330 334 339 342 343 347 349 353 355 357 363 370 371 374 376 379 381 382 383 387 393 394 396 398 402 405 407 411 415 416 420 421 431 434 437 439 440 444 447 448 449 450 451 454 461 466 467 470 474 475 477 486 489 492 494 a 7 9 13 14 15 16 19 21 22 23 29 36 44 45 48 49 50 51 59 61 65 67 74 76 79 83 89 91 97 98 99 100 105 115 116 124 126 128 129 132 133 134 135 137 139 146 147 148 157 159 160 161 162 163 169 175 179 180 181 184 188 196 198 201 207 211 213 217 218 223 224 229 231 233 235 237 240 244 246 248 251 252 253 255 257 258 259 268 269 271 272 277 280 281 288 290 294 297 304 305 306 307 316 319 320 321 324 330 334 339 342 343 347 349 353 355 357 363 370 371 374 376 379 381 382 383 387 393 394 396 398 402 405 407 411 415 416 420 421 431 434 437 439 440 444 447 448 449 450 451 454 461 466 467 470 474 475 486 489 492 494 a 7 9 13 14 15 16 19 21 22 23 29 36 44 45 48 49 50 51 59 61 65 67 74 76 79 83 89 91 97 98 99 100 105 115 116 124 126 128 129 132 133 134 135 137 139 146 147 148 157 159 161 162 163 169 175 179 180 181 184 188 196 198 201 207 211 213 214 217 218 223 224 229 231 233 235 237 240 244 246 248 251 252 253 255 257 258 259 268 269 271 272 277 280 281 288 290 294 297 304 305 306 307 316 319 320 321 324 330 334 339 342 343 347 349 353 355 357 363 370 371 374 376 379 381 382 383 387 393 394 396 398 402 405 407 411 415 416 420 421 431 434 437 439 440 444 447 448 449 450 451 454 461 466 467 470 474 475 486 489 492 494 a 7 9 13 14 15 16 19 21 22 23 29 36 44 45 48 49 50 51 59 61 65 67 74 76 79 83 89 91 97 98 99 100 105 115 116 124 126 128 129 132 133 134 135 137 139 146 147 148 157 159 161 162 163 169 175 179 180 181 184 188 196 198 199 201 207 211 213 214 217 218 223 224 229 231 233 235 237 240 244 246 248 251 252 253 255 257 258 259 268 269 271 272 277 281 288 290 294 297 304 305 306 307 316 319 320 321 324 330 334 339 342 343 347 349 353 355 357 363 370 371 374 376 379 381 382 383 387 393 394 396 398 402 405 407 411 415 416 420 421 431 434 437 439 440 444 447 448 449 450 451 454 461 466 467 470 474 475 486 489 492 494 a 7 9 13 14 15 16 19 21 22 23 29 36 44 45 48 49 50 51 59 61 65 67 74 76 79 83 89 91 97 98 99 100 105 115 116 124 126 128 129 132 133 134 135 137 139 146 147 148 157 159 161 162 163 169 175 179 180 181 184 188 196 198 199 201 207 211 213 214 217 218 223 224 229 231 233 235 237 240 244 246 248 251 252 253 255 257 258 259 264 268 269 271 272 277 281 288 290 294 297 304 305 306 307 316 319 320 321 324 330 334 339 342 343 347 349 353 355 357 363 370 371 374 376 379 381 382 383 387 393 394 396 398 402 405 407 411 415 416 420 421 431 434 437 439 440 444 447 448 449 450 451 454 461 466 467 470 474 475 486 489 492 a 7 9 13 14 15 16 19 21 22 23 29 32 36 44 45 48 49 50 51 59 61 65 67 74 76 79 83 89 91 97 98 99 100 105 115 116 124 126 128 129 132 133 134 135 137 139 146 147 148 157 159 161 162 169 175 179 180 181 184 188 196 198 199 201 207 211 213 214 217 218 223 224 229 231 233 235 237 240 244 246 248 251 252 253 255 257 258 259 264 268 269 271 272 277 281 288 290 294 297 304 305 306 307 316 319 320 321 324 330 334 339 342 343 347 349 353 355 357 363 370 371 374 376 379 381 382 383 387 393 394 396 398 402 405 407 411 415 416 420 421 431 434 437 439 440 444 447 448 449 450 451 454 461 466 467 470 474 475 486 489 492 a 7 9 13 14 15 16 19 21 22 23 29 32 36 44 45 48 49 50 51 59 61 65 67 74 76 79 83 89 91 97 98 99 100 105 115 116 124 126 128 129 132 133 134 135 137 139 146 147 148 157 159 161 162 169 175 179 180 181 184 188 196 198 199 201 207 211 213 214 217 218 223 224 229 231 233 235 237 240 244 245 246 248 251 252 253 255 257 258 259 264 268 269 271 272 277 281 288 290 294 297 304 305 307 316 319 320 321 324 330 334 339 342 343 347 349 353 355 357 363 370 371 374 376 379 381 382 383 387 393 394 396 398 402 405 407 411 415 416 420 421 431 434 437 439 440 444 447 448 449 450 451 454 461 466 467 470 474 475 486 489 492 a 7 9 13 14 15 16 19 21 22 23 29 32 36 44 45 48 49 50 51 53 59 61 65 67 74 76 79 83 89 91 97 98 99 100 105 115 116 124 126 128 129 132 133 134 135 137 139 146 147 148 157 159 161 162 169 175 179 180 181 184 188 196 198 199 201 207 211 213 214 217 218 223 224 229 231 233 235 237 240 244 245 246 248 251 252 253 255 257 258 259 264 268 269 271 272 277 281 288 290 294 297 304 305 307 316 319 320 321 324 330 334 339 342 343 347 349 353 355 357 363 370 371 374 376 379 381 382 383 387 393 394 396 398 402 405 407 411 415 416 420 421 434 437 439 440 444 447 448 449 450 451 454 461 466 467 470 474 475 486 489 492 a 7 9 13 14 15 16 19 21 22 23 29 32 36 44 45 48 49 50 51 53 59 61 65 67 74 76 79 83 89 91 97 98 99 100 105 115 116 124 126 128 129 132 133 134 135 137 139 146 147 148 157 159 161 162 169 175 179 180 181 184 188 196 198 199 201 207 208 211 213 214 217 218 223 224 229 231 233 235 237 240 244 245 246 248 251 252 253 255 257 258 259 264 268 269 271 272 277 281 288 290 294 297 304 305 307 316 319 320 321 324 334 339 342 343 347 349 353 355 357 363 370 371 374 376 379 381 382 383 387 393 394 396 398 402 405 407 411 415 416 420 421 434 437 439 440 444 447 448 449 450 451 454 461 466 467 470 474 475 486 489 492 a 7 9 13 14 15 16 19 21 22 23 29 32 36 44 45 48 49 50 51 53 59 61 65 67 74 76 79 83 89 91 97 98 99 100 105 115 116 124 126 128 129 132 133 134 135 137 139 146 147 148 157 159 161 162 169 175 179 180 181 184 188 196 198 199 201 207 208 211 213 214 217 218 223 224 229 231 233 235 237 240 244 245 246 248 251 252 253 255 257 258 259 264 267 268 269 271 272 277 281 288 290 294 297 304 305 307 316 319 320 321 324 334 339 342 343 347 349 355 357 363 370 371 374 376 379 381 382 383 387 393 394 396 398 402 405 407 411 415 416 420 421 434 437 439 440 444 447 448 449 450 451 454 461 466 467 470 474 475 486 489 492 a 7 9 13 14 15 16 19 21 22 23 29 32 36 44 45 48 49 50 51 53 59 61 65 67 74 76 79 83 89 91 97 98 99 100 105 115 116 124 126 128 129 132 133 134 135 137 139 146 147 148 157 159 161 162 169 175 179 180 181 184 188 196 198 199 201 207 208 211 213 214 217 218 223 224 229 231 233 235 237 240 244 245 246 248 251 252 253 255 257 258 259 264 267 268 269 271 272 281 288 290 294 297 304 305 307 316 319 320 321 324 334 339 342 343 347 349 355 357 363 365 370 371 374 376 379 381 382 383 387 393 394 396 398 402 405 407 411 415 416 420 421 434 437 439 440 444 447 448 449 450 451 454 461 466 467 470 474 475 486 489 492 a 7 9 13 14 15 16 19 21 22 23 29 32 36 44 45 48 49 50 51 53 59 61 65 67 74 76 79 83 89 91 97 98 99 100 105 115 116 119 124 126 128 129 132 133 134 135 137 139 146 147 148 157 159 161 162 169 175 179 180 181 184 188 196 198 199 201 207 208 211 213 214 217 218 223 224 229 231 233 235 237 240 244 245 246 248 251 252 253 255 257 258 259 264 267 268 269 271 272 281 288 290 294 297 304 305 307 316 319 320 321 324 334 339 342 343 347 349 355 357 363 365 370 371 374 376 379 381 382 383 387 393 394 396 398 402 405 407 415 416 420 421 434 437 439 440 444 447 448 449 450 451 454 461 466 467 470 474 475 486 489 492 a 7 9 13 14 15 16 19 21 22 23 29 32 36 44 45 48 49 50 51 53 59 61 65 67 74 76 79 83 89 91 97 98 99 100 105 115 116 119 124 126 128 129 132 133 134 135 137 139 146 147 148 157 159 161 162 175 179 180 181 184 188 196 198 199 201 207 208 211 213 214 217 218 223 224 229 231 233 235 237 240 244 245 246 248 251 252 253 255 257 258 259 264 267 268 269 271 272 281 288 290 294 297 304 305 307 316 319 320 321 324 334 339 342 343 347 349 355 357 363 365 370 371 374 376 379 381 382 383 387 393 394 396 398 402 405 407 414 415 416 420 421 434 437 439 440 444 447 448 449 450 451 454 461 466 467 470 474 475 486 489 492 a 7 9 13 14 15 16 19 21 22 23 29 32 36 44 45 48 49 50 51 53 59 61 65 67 74 76 79 83 89 91 97 98 99 100 105 115 116 119 124 126 128 129 132 133 134 135 137 139 147 148 157 159 161 162 175 179 180 181 184 188 196 198 199 201 207 208 211 213 214 217 218 223 224 229 231 233 235 237 240 244 245 246 248 251 252 253 255 257 258 259 263 264 267 268 269 271 272 281 288 290 294 297 304 305 307 316 319 320 321 324 334 339 342 343 347 349 355 357 363 365 370 371 374 376 379 381 382 383 387 393 394 396 398 402 405 407 414 415 416 420 421 434 437 439 440 444 447 448 449 450 451 454 461 466 467 470 474 475 486 489 492 a 7 9 13 14 15 16 19 21 22 29 32 36 44 45 48 49 50 51 53 55 59 61 65 67 74 76 79 83 89 91 97 98 99 100 105 115 116 119 124 126 128 129 132 133 134 135 137 139 147 148 157 159 161 162 175 179 180 181 184 188 196 198 199 201 207 208 211 213 214 217 218 223 224 229 231 233 235 237 240 244 245 246 248 251 252 253 255 257 258 259 263 264 267 268 269 271 272 281 288 290 294 297 304 305 307 316 319 320 321 324 334 339 342 343 347 349 355 357 363 365 370 371 374 376 379 381 382 383 387 393 394 396 398 402 405 407 414 415 416 420 421 434 437 439 440 444 447 448 449 450 451 454 461 466 467 470 474 475 486 489 492 a 7 9 13 14 15 16 19 21 22 29 32 36 44 45 48 49 50 51 53 55 59 61 65 67 74 76 79 83 89 91 94 97 98 99 100 105 115 116 119 124 126 128 129 132 133 134 135 137 139 147 148 157 159 161 162 175 179 180 181 184 188 196 198 199 201 207 208 211 213 214 217 218 223 224 229 231 233 235 237 240 245 246 248 251 252 253 255 257 258 259 263 264 267 268 269 271 272 281 288 290 294 297 304 305 307 316 319 320 321 324 334 339 342 343 347 349 355 357 363 365 370 371 374 376 379 381 382 383 387 393 394 396 398 402 405 407 414 415 416 420 421 434 437 439 440 444 447 448 449 450 451 454 461 466 467 470 474 475 486 489 492 a 7 9 13 14 15 16 19 21 22 29 32 36 44 45 48 49 50 51 53 55 59 61 65 67 74 76 79 83 89 91 94 97 98 99 100 105 115 116 119 124 126 128 129 132 133 134 135 137 139 147 148 157 159 161 162 175 179 181 184 188 196 198 199 201 207 208 211 213 214 217 218 223 224 229 231 233 235 237 240 245 246 248 251 252 253 255 257 258 259 263 264 267 268 269 271 272 281 288 290 294 297 304 305 307 316 319 320 321 324 334 339 342 343 347 349 355 357 363 365 370 371 374 376 379 381 382 383 387 393 394 396 398 402 405 407 414 415 416 420 421 424 434 437 439 440 444 447 448 449 450 451 454 461 466 467 470 474 475 486 489 492 a 7 9 13 14 15 16 19 21 22 29 32 36 44 45 48 49 50 51 53 55 59 61 65 67 74 76 79 83 89 91 94 97 98 99 100 105 115 116 119 124 126 128 129 132 133 134 135 137 139 147 148 157 159 161 162 175 179 181 184 188 196 198 199 201 207 208 211 213 214 217 218 223 224 229 231 233 235 237 240 245 246 248 251 252 253 255 257 258 259 263 264 267 268 269 271 272 281 288 290 294 297 304 305 307 316 319 320 321 324 334 339 342 343 347 349 355 357 363 365 370 371 374 376 379 381 382 383 387 393 394 396 398 402 405 407 414 415 416 418 420 421 424 434 437 439 440 444 447 448 449 450 451 461 466 467 470 474 475 486 489 492 a 7 9 13 14 15 16 19 21 22 29 32 36 44 45 48 49 50 51 53 55 59 61 65 67 74 76 79 83 89 91 94 97 98 99 100 105 115 116 119 124 126 128 129 132 133 134 135 137 139 147 148 157 159 161 162 175 179 181 188 196 198 199 201 207 208 211 213 214 217 218 223 224 229 231 233 235 237 240 245 246 248 251 252 253 255 257 258 259 263 264 267 268 269 271 272 281 288 290 294 297 304 305 307 316 319 320 321 324 334 339 342 343 347 349 355 357 363 365 370 371 372 374 376 379 381 382 383 387 393 394 396 398 402 405 407 414 415 416 418 420 421 424 434 437 439 440 444 447 448 449 450 451 461 466 467 470 474 475 486 489 492 a 2 7 9 13 14 15 16 19 21 22 29 32 36 44 45 48 49 50 51 53 55 59 61 65 67 74 76 79 83 89 91 94 97 98 99 100 105 115 116 119 124 126 128 129 132 133 134 135 137 139 147 148 157 159 161 162 175 179 181 188 196 198 199 201 207 208 211 214 217 218 223 224 229 231 233 235 237 240 245 246 248 251 252 253 255 257 258 259 263 264 267 268 269 271 272 281 288 290 294 297 304 305 307 316 319 320 321 324 334 339 342 343 347 349 355 357 363 365 370 371 372 374 376 379 381 382 383 387 393 394 396 398 402 405 407 414 415 416 418 420 421 424 434 437 439 440 444 447 448 449 450 451 461 466 467 470 474 475 486 489 492 a 2 7 9 13 14 15 16 19 21 22 29 32 36 44 45 48 49 50 51 53 55 59 61 65 67 74 76 79 83 89 91 94 97 98 99 100 105 115 116 119 124 126 128 129 132 133 134 135 137 139 147 148 159 161 162 175 179 181 186 188 196 198 199 201 207 208 211 214 217 218 223 224 229 231 233 235 237 240 245 246 248 251 252 253 255 257 258 259 263 264 267 268 269 271 272 281 288 290 294 297 304 305 307 316 319 320 321 324 334 339 342 343 347 349 355 357 363 365 370 371 372 374 376 379 381 382 383 387 393 394 396 398 402 405 407 414 415 416 418 420 421 424 434 437 439 440 444 447 448 449 450 451 461 466 467 470 474 475 486 489 492 a 2 7 9 13 14 15 16 19 21 22 29 32 36 44 45 48 49 50 51 53 55 59 61 65 67 74 76 79 83 89 91 94 97 98 99 100 105 115 116 119 124 126 128 129 132 133 134 135 137 139 147 148 154 159 161 162 175 179 181 186 188 196 198 199 201 207 208 211 214 217 218 223 224 229 231 233 235 237 240 245 246 248 251 252 253 255 257 258 259 263 264 267 268 269 271 272 281 288 290 294 297 304 305 307 316 319 320 321 324 334 339 343 347 349 355 357 363 365 370 371 372 374 376 379 381 382 383 387 393 394 396 398 402 405 407 414 415 416 418 420 421 424 434 437 439 440 444 447 448 449 450 451 461 466 467 470 474 475 486 489 492 a 2 7 9 13 14 15 16 19 21 22 29 32 36 44 45 48 49 50 51 53 55 59 61 65 67 74 76 79 83 89 91 94 97 98 99 100 105 115 116 119 124 126 128 129 132 133 134 135 137 139 147 148 154 159 161 162 175 179 181 186 188 196 198 199 201 207 208 211 214 217 218 223 224 229 231 233 235 237 240 245 246 248 251 252 253 255 257 258 259 263 264 267 268 269 271 272 281 288 290 294 297 304 305 307 312 316 319 320 321 324 334 339 343 347 349 355 357 363 365 370 371 372 374 376 379 381 382 383 387 393 394 396 398 402 405 407 414 415 416 418 420 421 424 434 437 439 440 444 447 448 449 450 451 461 466 467 470 474 475 489 492 a 2 7 9 13 14 15 16 19 21 22 29 32 36 44 45 48 49 50 51 53 55 59 61 65 67 74 76 79 83 89 91 94 97 98 99 100 105 115 116 119 124 126 128 129 132 133 134 135 137 139 147 148 154 159 161 162 175 179 181 186 188 196 198 199 201 207 208 211 214 217 218 223 224 229 231 233 235 237 240 245 246 248 251 252 253 255 257 258 259 263 264 267 268 269 271 272 281 288 290 294 297 303 304 305 307 312 316 319 320 321 324 334 339 343 347 349 355 357 363 365 370 371 372 374 376 379 381 382 383 387 393 394 396 398 402 405 407 414 415 416 418 420 421 424 434 437 439 440 447 448 449 450 451 461 466 467 470 474 475 489 492 a 2 7 9 13 14 15 16 19 21 22 29 32 36 44 45 48 49 50 51 53 55 59 61 65 67 74 76 79 83 89 91 94 97 98 99 100 105 115 116 119 124 126 128 129 132 133 134 135 137 139 147 148 154 159 161 162 175 179 181 186 188 196 198 199 201 207 208 211 214 217 218 223 224 229 231 233 235 237 240 245 246 248 251 252 253 255 257 258 259 263 264 265 267 268 269 271 272 281 288 290 294 297 303 304 305 307 312 316 319 320 321 324 334 339 343 347 349 355 357 363 365 370 371 372 374 376 379 381 382 383 387 393 394 396 398 402 405 407 414 415 416 418 421 424 434 437 439 440 447 448 449 450 451 461 466 467 470 474 475 489 492 a 2 7 9 13 14 15 16 19 21 22 29 32 36 44 45 48 49 50 51 53 55 59 61 65 67 74 76 79 83 89 91 94 97 98 99 100 105 115 116 119 124 126 128 129 132 133 134 135 137 139 147 148 154 159 161 162 175 179 181 186 188 196 198 199 201 207 208 211 214 217 218 223 224 229 231 233 235 237 238 240 245 246 251 252 253 255 257 258 259 263 264 265 267 268 269 271 272 281 288 290 294 297 303 304 305 307 312 316 319 320 321 324 334 339 343 347 349 355 357 363 365 370 371 372 374 376 379 381 382 383 387 393 394 396 398 402 405 407 414 415 416 418 421 424 434 437 439 440 447 448 449 450 451 461 466 467 470 474 475 489 492 a 2 7 9 13 14 15 16 19 21 22 29 32 36 44 45 48 49 50 51 53 55 59 61 65 67 74 76 79 83 89 91 94 97 98 99 100 105 115 116 119 124 126 128 129 132 133 134 135 137 139 147 148 154 158 159 161 162 175 179 181 186 188 196 198 199 201 207 208 211 214 217 218 223 224 229 231 233 235 237 238 240 245 246 251 252 253 255 257 258 259 263 264 265 267 268 269 271 272 281 288 290 294 297 303 304 305 307 312 316 319 320 321 324 334 339 343 347 349 355 357 363 365 370 371 372 376 379 381 382 383 387 393 394 396 398 402 405 407 414 415 416 418 421 424 434 437 439 440 447 448 449 450 451 461 466 467 470 474 475 489 492 a 2 7 9 13 14 15 16 19 21 22 29 32 36 44 45 48 49 50 51 53 55 59 61 65 67 74 76 79 83 89 91 94 97 98 99 100 105 115 116 119 124 126 128 129 132 133 134 135 137 139 147 148 154 158 159 161 162 175 179 181 186 188 196 198 199 201 207 208 211 214 217 218 223 224 229 231 233 235 237 238 240 245 246 251 252 253 255 257 259 263 264 265 267 268 269 271 272 281 288 290 294 297 303 304 305 307 312 316 319 320 321 324 334 339 343 347 349 355 357 363 365 367 370 371 372 376 379 381 382 383 387 393 394 396 398 402 405 407 414 415 416 418 421 424 434 437 439 440 447 448 449 450 451 461 466 467 470 474 475 489 492 a 2 7 9 13 14 15 16 19 21 22 29 32 36 44 45 48 49 50 51 53 55 59 61 65 67 74 76 79 89 91 94 97 98 99 100 105 112 115 116 119 124 126 128 129 132 133 134 135 137 139 147 148 154 158 159 161 162 175 179 181 186 188 196 198 199 201 207 208 211 214 217 218 223 224 229 231 233 235 237 238 240 245 246 251 252 253 255 257 259 263 264 265 267 268 269 271 272 281 288 290 294 297 303 304 305 307 312 316 319 320 321 324 334 339 343 347 349 355 357 363 365 367 370 371 372 376 379 381 382 383 387 393 394 396 398 402 405 407 414 415 416 418 421 424 434 437 439 440 447 448 449 450 451 461 466 467 470 474 475 489 492 a 2 7 9 13 14 15 16 19 21 22 29 32 36 44 45 48 49 50 51 53 55 59 61 65 67 74 76 79 89 91 94 97 98 99 100 105 112 115 116 119 124 126 128 129 132 133 134 135 137 139 147 148 154 158 159 161 162 175 179 181 186 188 196 198 199 201 207 208 211 214 217 223 224 229 231 233 235 237 238 240 245 246 251 252 253 255 256 257 259 263 264 265 267 268 269 271 272 281 288 290 294 297 303 304 305 307 312 316 319 320 321 324 334 339 343 347 349 355 357 363 365 367 370 371 372 376 379 381 382 383 387 393 394 396 398 402 405 407 414 415 416 418 421 424 434 437 439 440 447 448 449 450 451 461 466 467 470 474 475 489 492 a 2 7 9 13 14 15 16 19 21 22 29 32 36 44 45 48 49 50 51 53 55 59 61 65 67 74 76 79 89 91 94 97 98 99 100 105 112 115 116 119 124 126 128 129 132 133 134 135 137 139 147 148 154 158 159 161 162 175 179 181 186 188 196 198 199 201 207 208 211 214 217 223 224 227 229 231 233 235 238 240 245 246 251 252 253 255 256 257 259 263 264 265 267 268 269 271 272 281 288 290 294 297 303 304 305 307 312 316 319 320 321 324 334 339 343 347 349 355 357 363 365 367 370 371 372 376 379 381 382 383 387 393 394 396 398 402 405 407 414 415 416 418 421 424 434 437 439 440 447 448 449 450 451 461 466 467 470 474 475 489 492 a 2 7 9 13 15 16 19 21 22 29 32 36 44 45 48 49 50 51 53 55 59 61 65 67 74 76 79 82 89 91 94 97 98 99 100 105 112 115 116 119 124 126 128 129 132 133 134 135 137 139 147 148 154 158 159 161 162 175 179 181 186 188 196 198 199 201 207 208 211 214 217 223 224 227 229 231 233 235 238 240 245 246 251 252 253 255 256 257 259 263 264 265 267 268 269 271 272 281 288 290 294 297 303 304 305 307 312 316 319 320 321 324 334 339 343 347 349 355 357 363 365 367 370 371 372 376 379 381 382 383 387 393 394 396 398 402 405 407 414 415 416 418 421 424 434 437 439 440 447 448 449 450 451 461 466 467 470 474 475 489 492 a 2 7 9 13 15 16 19 21 22 29 32 36 44 45 48 49 50 51 53 55 59 61 65 67 74 76 79 82 89 91 94 97 98 99 100 105 112 115 116 119 124 126 128 129 132 133 134 135 137 139 147 148 154 158 159 161 162 175 179 186 188 196 198 199 201 207 208 211 214 217 223 224 227 229 231 233 235 238 240 245 246 251 252 253 255 256 257 259 263 264 265 267 268 269 271 272 281 288 290 294 297 303 304 305 307 312 316 319 320 321 324 334 339 343 347 349 355 357 363 365 367 370 371 372 376 379 381 382 383 387 393 394 396 398 402 405 407 414 415 416 418 421 424 427 434 437 439 440 447 448 449 450 451 461 466 467 470 474 475 489 492 a 2 7 9 13 15 16 19 21 22 29 32 36 44 45 48 49 50 51 53 55 59 61 65 67 74 76 79 82 89 91 94 97 98 99 100 105 112 115 116 119 124 126 128 129 132 133 134 135 137 139 147 148 154 158 159 161 175 179 186 188 196 198 199 201 207 208 211 214 217 223 224 227 229 231 233 235 238 240 245 246 251 252 253 255 256 257 259 263 264 265 267 268 269 271 272 281 288 290 294 297 303 304 305 307 310 312 316 319 320 321 324 334 339 343 347 349 355 357 363 365 367 370 371 372 376 379 381 382 383 387 393 394 396 398 402 405 407 414 415 416 418 421 424 427 434 437 439 440 447 448 449 450 451 461 466 467 470 474 475 489 492 a 2 7 9 13 15 16 19 21 22 29 32 36 44 45 48 49 50 51 53 55 59 61 65 67 74 76 79 82 89 91 94 97 98 99 100 105 112 115 116 119 124 126 128 129 132 133 134 135 137 139 147 148 154 158 159 161 175 179 186 188 196 198 199 201 207 208 211 214 217 223 224 227 229 231 233 235 238 240 245 246 251 252 253 255 256 257 259 263 264 265 267 268 269 271 272 279 281 288 290 294 297 303 304 305 307 310 312 316 319 320 321 324 334 339 343 347 349 355 357 363 365 367 370 371 372 376 379 381 382 383 387 393 394 396 398 405 407 414 415 416 418 421 424 427 434 437 439 440 447 448 449 450 451 461 466 467 470 474 475 489 492 a 2 7 9 13 15 16 19 21 22 29 32 36 44 45 48 49 50 51 53 55 59 61 65 67 74 76 79 82 89 91 94 97 98 99 100 105 112 115 116 119 124 126 128 129 132 133 134 135 137 139 147 148 154 156 158 159 161 175 179 186 188 196 198 199 201 207 208 211 214 223 224 227 229 231 233 235 238 240 245 246 251 252 253 255 256 257 259 263 264 265 267 268 269 271 272 279 281 288 290 294 297 303 304 305 307 310 312 316 319 320 321 324 334 339 343 347 349 355 357 363 365 367 370 371 372 376 379 381 382 383 387 393 394 396 398 405 407 414 415 416 418 421 424 427 434 437 439 440 447 448 449 450 451 461 466 467 470 474 475 489 492 a 2 7 9 13 15 16 19 21 22 29 32 36 44 45 48 49 50 51 53 55 59 61 65 67 74 76 79 82 89 91 94 97 98 99 100 105 112 115 116 119 124 126 128 129 132 133 134 135 137 139 147 148 154 156 158 159 161 175 179 186 188 191 196 198 199 201 207 208 211 214 223 224 227 229 231 233 235 238 240 245 246 251 252 253 255 256 257 259 263 264 265 267 268 269 271 272 279 281 288 290 294 297 303 304 305 307 310 312 316 319 320 321 324 334 339 343 347 349 355 357 365 367 370 371 372 376 379 381 382 383 387 393 394 396 398 405 407 414 415 416 418 421 424 427 434 437 439 440 447 448 449 450 451 461 466 467 470 474 475 489 492 a 2 7 9 13 15 16 19 21 22 29 32 36 44 45 48 49 50 51 53 55 56 59 61 65 67 74 76 79 82 89 91 94 97 98 99 100 105 112 115 116 119 124 126 128 129 132 133 134 135 137 139 147 148 154 156 158 159 161 175 179 186 188 191 196 198 199 201 207 208 211 214 223 224 227 229 231 233 235 238 240 245 246 251 252 253 255 256 257 259 263 264 265 267 268 269 271 272 279 281 288 290 294 297 303 304 305 307 310 312 319 320 321 324 334 339 343 347 349 355 357 365 367 370 371 372 376 379 381 382 383 387 393 394 396 398 405 407 414 415 416 418 421 424 427 434 437 439 440 447 448 449 450 451 461 466 467 470 474 475 489 492 a 2 7 9 13 15 16 19 21 22 29 32 36 44 45 48 49 50 51 53 55 56 59 61 65 67 74 76 79 82 89 91 94 97 98 99 100 105 112 115 116 119 124 126 128 129 132 133 134 135 137 139 144 147 148 154 156 158 159 161 175 179 186 188 191 196 198 199 201 207 208 211 214 224 227 229 231 233 235 238 240 245 246 251 252 253 255 256 257 259 263 264 265 267 268 269 271 272 279 281 288 290 294 297 303 304 305 307 310 312 319 320 321 324 334 339 343 347 349 355 357 365 367 370 371 372 376 379 381 382 383 387 393 394 396 398 405 407 414 415 416 418 421 424 427 434 437 439 440 447 448 449 450 451 461 466 467 470 474 475 489 492 a 2 7 9 15 16 19 21 22 29 32 36 44 45 48 49 50 51 53 55 56 59 60 61 65 67 74 76 79 82 89 91 94 97 98 99 100 105 112 115 116 119 124 126 128 129 132 133 134 135 137 139 144 147 148 154 156 158 159 161 175 179 186 188 191 196 198 199 201 207 208 211 214 224 227 229 231 233 235 238 240 245 246 251 252 253 255 256 257 259 263 264 265 267 268 269 271 272 279 281 288 290 294 297 303 304 305 307 310 312 319 320 321 324 334 339 343 347 349 355 357 365 367 370 371 372 376 379 381 382 383 387 393 394 396 398 405 407 414 415 416 418 421 424 427 434 437 439 440 447 448 449 450 451 461 466 467 470 474 475 489 492 a 2 7 9 15 16 19 21 22 29 32 36 44 45 48 49 50 51 53 55 56 59 60 61 65 67 74 76 79 82 89 91 94 97 98 99 100 105 112 115 116 119 124 126 128 129 132 133 134 135 137 139 144 147 148 154 156 158 159 161 175 179 186 188 191 196 198 199 201 207 208 211 214 224 227 229 231 233 235 238 240 245 246 251 252 253 255 256 257 259 263 264 265 267 268 269 272 279 281 288 290 294 297 303 304 305 307 310 312 319 320 321 324 334 339 343 347 348 349 355 357 365 367 370 371 372 376 379 381 382 383 387 393 394 396 398 405 407 414 415 416 418 421 424 427 434 437 439 440 447 448 449 450 451 461 466 467 470 474 475 489 492 a 2 7 9 15 16 19 21 22 29 32 36 44 45 48 49 50 51 53 55 56 59 60 61 65 67 74 76 79 82 89 91 94 97 98 99 100 105 112 115 116 119 124 126 128 129 132 133 134 135 137 139 144 147 148 154 156 158 159 161 175 179 186 188 191 196 198 199 201 207 208 211 214 224 227 229 231 233 235 238 240 245 246 251 252 253 255 256 257 259 263 264 265 267 268 269 272 279 281 288 290 294 297 303 304 305 307 310 312 319 320 321 324 331 334 339 343 347 348 349 355 357 365 367 370 371 372 376 379 381 382 383 387 393 394 396 398 405 407 414 416 418 421 424 427 434 437 439 440 447 448 449 450 451 461 466 467 470 474 475 489 492 a 2 7 9 15 16 19 21 22 29 32 36 44 45 48 49 50 53 55 56 59 60 61 65 67 74 76 79 82 89 91 94 97 98 99 100 105 112 115 116 119 124 126 128 129 132 133 134 135 137 139 144 147 148 154 156 158 159 161 175 176 179 186 188 191 196 198 199 201 207 208 211 214 224 227 229 231 233 235 238 240 245 246 251 252 253 255 256 257 259 263 264 265 267 268 269 272 279 281 288 290 294 297 303 304 305 307 310 312 319 320 321 324 331 334 339 343 347 348 349 355 357 365 367 370 371 372 376 379 381 382 383 387 393 394 396 398 405 407 414 416 418 421 424 427 434 437 439 440 447 448 449 450 451 461 466 467 470 474 475 489 492 a 2 7 9 15 16 19 21 22 29 32 36 44 45 48 49 50 53 55 56 59 60 61 65 67 69 74 76 79 82 89 91 94 97 98 99 100 105 112 115 116 119 124 126 128 129 132 133 134 135 137 139 144 147 148 154 156 158 159 161 175 176 179 186 188 191 196 198 199 201 207 208 211 214 224 227 229 233 235 238 240 245 246 251 252 253 255 256 257 259 263 264 265 267 268 269 272 279 281 288 290 294 297 303 304 305 307 310 312 319 320 321 324 331 334 339 343 347 348 349 355 357 365 367 370 371 372 376 379 381 382 383 387 393 394 396 398 405 407 414 416 418 421 424 427 434 437 439 440 447 448 449 450 451 461 466 467 470 474 475 489 492 a 2 7 9 15 16 19 21 22 29 32 36 44 45 48 49 50 53 55 56 59 60 61 65 67 69 74 79 82 89 91 94 97 98 99 100 105 112 115 116 119 124 126 128 129 132 133 134 135 137 139 144 147 148 154 156 158 159 161 175 176 179 186 188 191 196 198 199 201 207 208 211 214 224 227 229 233 235 238 240 245 246 251 252 253 255 256 257 259 263 264 265 267 268 269 272 279 281 288 290 294 297 303 304 305 307 310 312 319 320 321 324 331 334 339 343 347 348 349 355 357 365 367 370 371 372 376 377 379 381 382 383 387 393 394 396 398 405 407 414 416 418 421 424 427 434 437 439 440 447 448 449 450 451 461 466 467 470 474 475 489 492 a 2 7 9 15 19 21 22 29 32 36 44 45 48 49 50 53 55 56 59 60 61 65 67 69 74 79 82 89 91 94 97 98 99 100 105 112 115 116 119 124 126 128 129 132 133 134 135 137 139 144 147 148 154 156 158 159 161 175 176 179 186 188 191 196 198 199 201 207 208 211 214 224 227 229 233 235 238 240 245 246 251 252 253 255 256 257 259 263 264 265 267 268 269 272 279 281 288 290 294 297 303 304 305 307 310 312 319 320 321 324 331 334 339 343 347 348 349 355 357 365 367 370 371 372 376 377 379 381 382 383 387 393 394 396 398 405 407 414 416 418 421 424 427 434 437 439 440 447 448 449 450 451 461 466 467 470 474 475 488 489 492 a 2 7 9 15 19 21 22 29 32 36 44 45 48 49 50 53 55 56 59 60 61 65 67 69 74 79 82 89 91 94 97 98 100 105 112 115 116 119 124 126 128 129 132 133 134 135 137 139 144 147 148 154 156 158 159 161 175 176 179 186 188 191 196 198 199 201 207 208 211 214 224 227 229 233 235 238 240 245 246 251 252 253 255 256 257 259 263 264 265 267 268 269 272 279 281 288 290 294 297 303 304 305 307 310 312 319 320 321 324 331 334 339 343 347 348 349 355 357 365 367 370 371 372 376 377 379 381 382 383 387 393 394 396 398 405 407 414 416 418 421 424 427 434 437 439 440 447 448 449 450 451 461 466 467 470 472 474 475 488 489 492 a 2 7 9 15 19 21 22 29 32 36 44 45 48 49 50 53 55 56 59 60 61 65 67 69 74 79 82 89 91 94 97 98 100 105 112 115 116 119 124 126 128 129 132 133 134 135 137 139 144 147 148 154 156 158 159 161 175 176 179 186 188 191 196 198 199 201 207 208 211 214 224 227 229 233 235 238 240 245 246 251 252 253 255 256 257 259 263 264 265 267 268 269 272 279 281 288 290 294 297 303 304 305 307 310 312 319 320 321 324 331 334 339 343 347 348 349 355 357 365 367 370 371 372 376 377 379 381 382 383 387 393 394 396 398 405 407 414 416 418 421 422 424 427 434 437 439 440 447 448 449 450 451 461 466 467 472 474 475 488 489 492 a 2 7 9 15 19 21 22 29 32 36 44 48 49 50 53 55 56 59 60 61 65 67 69 74 79 82 89 91 94 97 98 100 105 112 115 116 119 124 126 128 129 132 133 134 135 137 139 144 147 148 154 156 158 159 161 175 176 179 186 188 191 196 198 199 201 207 208 211 214 224 227 229 233 235 238 240 245 246 251 252 253 255 256 257 259 263 264 265 267 268 269 272 279 281 288 290 294 297 299 303 304 305 307 310 312 319 320 321 324 331 334 339 343 347 348 349 355 357 365 367 370 371 372 376 377 379 381 382 383 387 393 394 396 398 405 407 414 416 418 421 422 424 427 434 437 439 440 447 448 449 450 451 461 466 467 472 474 475 488 489 492 a 2 7 9 15 19 21 22 29 32 36 44 48 49 50 53 55 56 59 60 61 65 67 69 74 79 82 89 91 94 97 98 100 105 112 115 116 119 124 126 128 129 132 133 134 135 137 139 144 147 148 154 156 158 159 161 175 176 179 186 188 191 196 198 199 201 207 208 214 224 227 229 233 235 238 240 245 246 251 252 253 255 256 257 259 263 264 265 267 268 269 272 279 281 288 290 294 297 299 303 304 305 307 310 312 319 320 321 324 331 334 339 343 347 348 349 355 357 365 367 370 371 372 376 377 379 381 382 383 387 393 394 396 398 405 407 414 416 418 421 422 424 427 434 437 439 440 447 448 449 450 451 452 461 466 467 472 474 475 488 489 492 a 2 7 8 9 15 19 21 22 29 32 36 44 48 49 50 53 55 56 59 60 61 65 67 69 74 79 82 89 91 94 97 98 100 105 112 115 116 119 124 126 128 129 132 133 134 135 137 139 144 147 148 154 156 158 159 161 175 176 179 186 188 191 196 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 253 255 256 257 259 263 264 265 267 268 269 272 279 281 288 290 294 297 299 303 304 305 307 310 312 319 320 321 324 331 334 339 343 347 348 349 355 357 365 367 370 371 372 376 377 379 381 382 383 387 393 394 396 398 405 407 414 416 418 421 422 424 427 434 437 439 440 447 448 449 450 451 452 461 466 467 472 474 475 488 489 492 a 2 7 8 9 15 19 21 22 29 32 36 44 48 49 50 53 55 56 59 60 61 65 67 69 74 79 80 82 89 91 94 97 98 100 105 112 115 116 119 124 126 128 129 132 133 134 135 137 139 144 147 154 156 158 159 161 175 176 179 186 188 191 196 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 253 255 256 257 259 263 264 265 267 268 269 272 279 281 288 290 294 297 299 303 304 305 307 310 312 319 320 321 324 331 334 339 343 347 348 349 355 357 365 367 370 371 372 376 377 379 381 382 383 387 393 394 396 398 405 407 414 416 418 421 422 424 427 434 437 439 440 447 448 449 450 451 452 461 466 467 472 474 475 488 489 492 a 2 7 8 9 15 21 22 29 32 36 44 48 49 50 53 55 56 59 60 61 65 67 69 74 79 80 82 89 91 94 97 98 100 105 112 115 116 119 124 126 128 129 132 133 134 135 137 139 144 147 154 156 158 159 161 175 176 179 186 188 191 196 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 253 255 256 257 259 263 264 265 267 268 269 272 279 281 288 290 294 297 299 303 304 305 307 310 312 319 320 321 324 331 334 339 343 347 348 349 355 357 365 367 370 371 372 376 377 379 381 382 383 387 393 394 396 398 405 407 414 416 418 421 422 424 427 434 437 439 440 447 448 449 450 451 452 455 461 466 467 472 474 475 488 489 492 a 2 7 8 9 15 21 22 29 32 36 44 48 49 50 53 55 56 59 60 61 65 67 69 74 79 80 82 89 91 94 97 98 100 105 112 115 116 119 124 126 128 129 132 133 134 135 139 144 147 154 156 158 159 161 175 176 179 186 188 191 196 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 253 255 256 257 259 263 264 265 267 268 269 272 279 281 288 290 294 297 299 303 304 305 307 310 312 315 319 320 321 324 331 334 339 343 347 348 349 355 357 365 367 370 371 372 376 377 379 381 382 383 387 393 394 396 398 405 407 414 416 418 421 422 424 427 434 437 439 440 447 448 449 450 451 452 455 461 466 467 472 474 475 488 489 492 a 2 4 7 8 9 15 21 22 29 32 36 44 48 49 50 53 55 56 59 60 61 65 67 69 74 79 80 82 89 91 94 97 98 100 105 112 115 116 119 124 126 128 129 132 133 134 135 139 144 147 154 156 158 159 161 175 176 179 186 188 191 196 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 253 255 256 257 259 263 264 265 267 268 269 272 279 281 288 290 294 297 299 303 304 305 307 310 312 315 319 320 321 324 331 334 339 343 347 348 349 355 357 365 367 370 371 372 376 377 379 381 382 383 387 393 394 396 398 405 407 414 416 418 422 424 427 434 437 439 440 447 448 449 450 451 452 455 461 466 467 472 474 475 488 489 492 a 2 4 7 8 9 15 21 22 29 32 36 44 48 49 50 53 55 56 59 60 61 65 67 69 74 79 80 82 89 91 94 97 98 100 105 112 115 116 119 124 126 128 129 132 133 134 135 139 144 147 154 156 158 159 161 175 176 179 186 188 191 196 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 253 255 256 257 259 263 264 265 267 268 269 272 279 281 288 290 294 297 299 303 304 305 307 310 312 315 319 320 321 324 331 334 339 343 347 348 349 351 355 357 365 367 370 371 372 376 377 379 382 383 387 393 394 396 398 405 407 414 416 418 422 424 427 434 437 439 440 447 448 449 450 451 452 455 461 466 467 472 474 475 488 489 492 a 2 4 7 8 9 15 21 22 29 32 36 44 47 48 49 50 53 55 56 59 60 61 65 67 69 74 79 80 82 89 91 94 97 98 100 105 112 115 116 119 124 126 128 129 132 133 134 135 139 144 147 154 156 158 159 161 175 176 179 186 188 191 196 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 253 256 257 259 263 264 265 267 268 269 272 279 281 288 290 294 297 299 303 304 305 307 310 312 315 319 320 321 324 331 334 339 343 347 348 349 351 355 357 365 367 370 371 372 376 377 379 382 383 387 393 394 396 398 405 407 414 416 418 422 424 427 434 437 439 440 447 448 449 450 451 452 455 461 466 467 472 474 475 488 489 492 a 2 4 7 8 9 15 21 29 32 36 44 47 48 49 50 53 55 56 59 60 61 65 67 69 74 79 80 82 89 91 94 97 98 100 105 112 115 116 119 124 126 128 129 132 133 134 135 139 144 147 154 156 158 159 161 175 176 179 186 188 191 196 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 253 256 257 259 263 264 265 267 268 269 272 278 279 281 288 290 294 297 299 303 304 305 307 310 312 315 319 320 321 324 331 334 339 343 347 348 349 351 355 357 365 367 370 371 372 376 377 379 382 383 387 393 394 396 398 405 407 414 416 418 422 424 427 434 437 439 440 447 448 449 450 451 452 455 461 466 467 472 474 475 488 489 492 a 2 4 7 8 9 15 21 29 32 36 44 47 48 49 50 53 55 56 59 60 61 65 67 69 74 79 80 82 89 91 94 97 98 100 105 112 115 116 119 124 126 128 129 132 133 134 135 139 144 147 154 156 158 159 161 173 175 176 179 186 188 191 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 253 256 257 259 263 264 265 267 268 269 272 278 279 281 288 290 294 297 299 303 304 305 307 310 312 315 319 320 321 324 331 334 339 343 347 348 349 351 355 357 365 367 370 371 372 376 377 379 382 383 387 393 394 396 398 405 407 414 416 418 422 424 427 434 437 439 440 447 448 449 450 451 452 455 461 466 467 472 474 475 488 489 492 a 2 4 7 8 9 15 21 29 32 36 44 47 48 49 50 53 55 56 59 60 61 65 67 69 74 79 80 82 89 91 94 97 98 105 112 115 116 119 124 126 128 129 132 133 134 135 139 144 147 154 156 158 159 161 173 175 176 179 186 188 191 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 253 256 257 259 263 264 265 267 268 269 272 278 279 281 288 290 294 296 297 299 303 304 305 307 310 312 315 319 320 321 324 331 334 339 343 347 348 349 351 355 357 365 367 370 371 372 376 377 379 382 383 387 393 394 396 398 405 407 414 416 418 422 424 427 434 437 439 440 447 448 449 450 451 452 455 461 466 467 472 474 475 488 489 492 a 2 4 7 8 9 15 21 29 32 36 44 47 48 49 50 53 55 56 59 60 61 65 67 69 74 79 80 82 89 91 94 97 98 105 112 115 116 119 124 126 128 129 132 133 134 135 139 144 147 154 155 156 158 161 173 175 176 179 186 188 191 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 253 256 257 259 263 264 265 267 268 269 272 278 279 281 288 290 294 296 297 299 303 304 305 307 310 312 315 319 320 321 324 331 334 339 343 347 348 349 351 355 357 365 367 370 371 372 376 377 379 382 383 387 393 394 396 398 405 407 414 416 418 422 424 427 434 437 439 440 447 448 449 450 451 452 455 461 466 467 472 474 475 488 489 492 a 2 4 7 8 9 15 21 29 32 36 44 47 48 49 50 53 55 56 59 60 65 67 69 74 79 80 82 89 91 94 97 98 105 112 115 116 119 124 126 128 129 132 133 134 135 139 144 147 151 154 155 156 158 161 173 175 176 179 186 188 191 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 253 256 257 259 263 264 265 267 268 269 272 278 279 281 288 290 294 296 297 299 303 304 305 307 310 312 315 319 320 321 324 331 334 339 343 347 348 349 351 355 357 365 367 370 371 372 376 377 379 382 383 387 393 394 396 398 405 407 414 416 418 422 424 427 434 437 439 440 447 448 449 450 451 452 455 461 466 467 472 474 475 488 489 492 a 2 4 7 8 9 15 21 29 32 36 44 47 48 49 50 53 55 56 59 60 65 67 69 74 79 80 82 89 91 94 97 98 105 112 115 116 119 124 126 128 129 132 133 134 135 139 144 147 151 154 155 156 158 161 173 175 176 179 186 188 191 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 253 256 257 259 263 264 265 267 268 269 272 278 279 281 288 290 294 296 297 299 303 304 305 307 310 312 315 319 320 321 324 331 334 343 347 348 349 351 355 357 365 367 370 371 372 376 377 379 382 383 387 393 394 396 398 405 407 413 414 416 418 422 424 427 434 437 439 440 447 448 449 450 451 452 455 461 466 467 472 474 475 488 489 492 a 2 4 7 8 9 15 21 29 32 36 44 47 48 49 50 53 55 56 59 60 65 67 69 74 79 80 82 89 91 94 96 98 105 112 115 116 119 124 126 128 129 132 133 134 135 139 144 147 151 154 155 156 158 161 173 175 176 179 186 188 191 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 253 256 257 259 263 264 265 267 268 269 272 278 279 281 288 290 294 296 297 299 303 304 305 307 310 312 315 319 320 321 324 331 334 343 347 348 349 351 355 357 365 367 370 371 372 376 377 379 382 383 387 393 394 396 398 405 407 413 414 416 418 422 424 427 434 437 439 440 447 448 449 450 451 452 455 461 466 467 472 474 475 488 489 492 a 2 4 7 8 9 15 21 29 32 36 44 47 48 49 50 53 55 56 59 60 65 67 69 74 79 80 82 89 91 94 96 98 105 112 115 116 119 124 126 128 129 131 132 133 134 135 139 144 147 151 154 155 156 158 161 173 175 176 179 186 188 191 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 253 256 257 259 263 264 265 267 268 269 272 278 279 281 288 290 294 296 297 299 303 304 305 307 310 312 315 319 320 321 324 331 334 343 347 348 349 351 355 357 365 367 370 371 372 376 377 379 382 383 387 393 394 396 398 405 407 413 414 416 418 422 424 427 434 437 439 440 447 448 449 450 451 452 455 461 466 467 472 474 475 488 489 a 2 4 7 8 9 15 21 29 32 36 44 47 48 49 50 53 55 56 59 60 65 67 69 74 79 80 82 89 91 94 96 98 105 112 115 116 119 126 128 129 131 132 133 134 135 139 144 147 151 154 155 156 158 161 173 175 176 179 186 188 191 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 253 256 257 259 263 264 265 267 268 269 272 278 279 281 287 288 290 294 296 297 299 303 304 305 307 310 312 315 319 320 321 324 331 334 343 347 348 349 351 355 357 365 367 370 371 372 376 377 379 382 383 387 393 394 396 398 405 407 413 414 416 418 422 424 427 434 437 439 440 447 448 449 450 451 452 455 461 466 467 472 474 475 488 489 a 2 4 7 8 9 15 21 29 32 36 44 47 48 49 50 53 55 56 59 60 65 67 69 74 79 80 82 89 91 94 96 98 105 112 115 116 119 126 128 129 131 132 133 134 135 139 144 147 151 154 155 156 158 161 173 175 176 179 186 188 191 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 253 256 257 259 263 264 265 267 268 269 272 278 279 281 287 288 290 294 296 297 299 303 304 305 307 310 312 315 319 320 321 324 331 334 343 347 348 349 351 355 357 365 367 370 371 372 376 377 379 382 383 387 394 396 398 405 407 413 414 416 418 422 424 427 428 434 437 439 440 447 448 449 450 451 452 455 461 466 467 472 474 475 488 489 a 2 4 7 8 9 15 21 29 32 36 44 47 48 49 50 53 55 56 59 60 65 67 69 79 80 82 89 91 94 96 98 105 112 115 116 119 126 128 129 131 132 133 134 135 139 144 147 151 154 155 156 158 161 173 175 176 179 186 188 191 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 253 256 257 259 263 264 265 267 268 269 272 278 279 281 287 288 290 291 294 296 297 299 303 304 305 307 310 312 315 319 320 321 324 331 334 343 347 348 349 351 355 357 365 367 370 371 372 376 377 379 382 383 387 394 396 398 405 407 413 414 416 418 422 424 427 428 434 437 439 440 447 448 449 450 451 452 455 461 466 467 472 474 475 488 489 a 2 4 7 8 9 21 29 32 36 44 47 48 49 50 53 55 56 59 60 65 67 69 79 80 82 89 91 94 96 98 105 112 115 116 119 126 128 129 131 132 133 134 135 139 144 147 151 154 155 156 158 161 173 175 176 179 186 188 191 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 253 256 257 259 263 264 265 267 268 269 272 278 279 281 286 287 288 290 291 294 296 297 299 303 304 305 307 310 312 315 319 320 321 324 331 334 343 347 348 349 351 355 357 365 367 370 371 372 376 377 379 382 383 387 394 396 398 405 407 413 414 416 418 422 424 427 428 434 437 439 440 447 448 449 450 451 452 455 461 466 467 472 474 475 488 489 a 2 4 7 8 9 21 29 32 36 44 47 48 49 50 53 55 56 59 60 63 65 67 69 79 80 82 89 91 94 96 98 105 112 115 116 119 126 128 129 131 132 133 134 135 139 144 147 151 154 155 156 158 161 173 175 176 179 186 188 191 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 253 256 257 259 263 264 265 267 268 269 272 278 279 281 286 287 288 290 291 294 296 297 299 303 304 305 307 310 312 315 319 320 321 324 331 334 343 347 348 349 351 355 357 365 367 370 371 372 376 377 379 383 387 394 396 398 405 407 413 414 416 418 422 424 427 428 434 437 439 440 447 448 449 450 451 452 455 461 466 467 472 474 475 488 489 a 2 4 7 8 9 21 29 32 36 44 47 48 49 50 53 55 56 59 60 63 65 67 69 79 80 82 89 91 94 96 98 105 112 115 116 119 126 128 129 131 132 133 134 135 138 139 144 147 151 154 155 156 158 161 173 175 176 179 186 188 191 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 253 256 257 259 263 264 265 267 268 269 272 278 279 281 286 287 288 290 291 294 296 297 299 303 304 305 307 310 312 315 319 320 321 324 331 334 343 347 348 349 351 355 357 365 367 370 371 372 376 377 379 383 387 394 396 398 405 407 413 414 416 418 422 424 427 428 434 437 439 440 447 448 449 450 452 455 461 466 467 472 474 475 488 489 a 2 4 7 8 9 21 26 29 32 36 44 47 48 49 50 53 55 56 59 60 63 65 67 69 79 80 82 89 91 94 96 98 105 112 115 116 119 126 128 129 131 132 133 134 135 138 139 144 147 151 154 155 156 158 161 173 175 176 179 186 188 191 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 253 256 257 259 263 264 265 267 268 269 272 278 279 281 286 287 288 290 291 294 296 297 299 303 304 305 307 310 312 315 319 320 321 324 331 334 343 347 348 349 351 357 365 367 370 371 372 376 377 379 383 387 394 396 398 405 407 413 414 416 418 422 424 427 428 434 437 439 440 447 448 449 450 452 455 461 466 467 472 474 475 488 489 a 2 4 7 8 9 21 26 29 32 36 44 47 48 49 50 53 55 56 59 60 63 65 67 69 79 80 82 89 91 94 96 98 105 112 115 116 119 126 128 129 131 132 133 134 135 138 139 144 147 151 154 155 156 158 161 173 175 176 179 186 188 191 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 253 256 257 259 263 264 265 267 268 269 272 278 279 281 286 287 288 290 291 294 296 297 299 303 304 305 307 310 312 315 319 320 321 324 331 334 343 347 348 349 351 357 358 365 367 370 371 372 376 377 379 383 387 394 396 398 405 407 413 414 416 418 422 424 427 428 437 439 440 447 448 449 450 452 455 461 466 467 472 474 475 488 489 a 2 4 7 8 9 21 26 29 32 36 38 44 47 48 49 50 53 55 56 59 60 63 65 67 69 79 80 82 89 91 94 96 98 105 112 115 116 119 126 128 129 131 132 133 134 135 138 139 144 147 151 154 155 156 158 161 173 175 176 179 186 188 191 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 253 256 257 259 263 264 265 267 268 269 272 278 279 281 286 287 288 290 291 294 296 297 299 303 304 305 307 310 312 315 319 320 321 324 331 334 343 347 348 349 351 357 358 365 367 370 371 372 376 377 379 383 387 394 396 398 405 407 413 414 416 418 422 424 427 428 437 439 440 447 448 449 450 452 455 461 467 472 474 475 488 489 a 2 4 7 8 9 21 26 29 32 36 38 44 47 48 49 50 53 55 56 59 60 63 65 67 69 79 80 82 89 91 94 96 98 105 108 112 115 116 119 126 128 129 131 132 133 134 135 138 139 144 147 151 154 155 156 158 161 173 175 176 179 186 188 191 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 253 256 257 259 263 264 265 267 268 269 272 278 279 281 286 287 290 291 294 296 297 299 303 304 305 307 310 312 315 319 320 321 324 331 334 343 347 348 349 351 357 358 365 367 370 371 372 376 377 379 383 387 394 396 398 405 407 413 414 416 418 422 424 427 428 437 439 440 447 448 449 450 452 455 461 467 472 474 475 488 489 a 2 4 7 8 9 21 26 29 32 36 38 44 47 48 49 50 53 55 56 59 60 63 65 67 69 79 80 82 89 91 94 96 98 105 108 112 115 116 119 126 128 129 131 132 133 134 135 138 139 144 147 151 154 155 156 158 161 173 175 176 179 186 188 191 192 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 253 256 257 259 263 264 265 267 268 269 272 278 279 281 286 287 290 291 294 296 297 299 303 304 305 307 310 312 315 319 320 321 324 331 334 343 347 348 349 351 357 358 365 367 370 371 372 376 377 379 383 387 394 396 398 405 407 413 414 416 418 422 424 427 428 437 439 440 448 449 450 452 455 461 467 472 474 475 488 489 a 2 4 6 7 8 9 21 26 29 32 36 38 44 47 48 49 50 53 55 56 59 60 63 65 67 69 79 80 82 89 91 94 96 98 105 108 112 115 116 119 126 128 129 131 132 133 134 135 138 139 144 147 151 154 155 156 158 161 173 175 176 179 186 188 191 192 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 253 256 257 259 263 264 265 267 268 269 272 278 279 281 286 287 290 291 294 296 297 299 303 304 305 307 310 312 315 319 320 321 324 331 334 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 394 396 398 405 407 413 414 416 418 422 424 427 428 437 439 440 448 449 450 452 455 461 467 472 474 475 488 489 a 2 4 5 6 7 8 9 21 26 29 32 38 44 47 48 49 50 53 55 56 59 60 63 65 67 69 79 80 82 89 91 94 96 98 105 108 112 115 116 119 126 128 129 131 132 133 134 135 138 139 144 147 151 154 155 156 158 161 173 175 176 179 186 188 191 192 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 253 256 257 259 263 264 265 267 268 269 272 278 279 281 286 287 290 291 294 296 297 299 303 304 305 307 310 312 315 319 320 321 324 331 334 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 394 396 398 405 407 413 414 416 418 422 424 427 428 437 439 440 448 449 450 452 455 461 467 472 474 475 488 489 a 2 4 5 6 7 8 9 21 26 29 32 38 44 47 48 49 50 53 55 56 59 60 63 65 67 69 79 80 82 89 91 94 96 98 105 108 112 115 116 119 126 128 129 131 132 133 134 135 138 139 144 147 151 154 155 156 158 161 165 173 175 176 179 186 188 191 192 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 253 256 257 259 263 264 265 267 268 269 272 278 279 281 286 287 290 291 294 296 297 299 303 304 305 307 310 312 315 319 320 321 331 334 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 394 396 398 405 407 413 414 416 418 422 424 427 428 437 439 440 448 449 450 452 455 461 467 472 474 475 488 489 a 2 4 5 6 7 8 9 21 26 29 32 38 44 47 48 49 50 53 55 56 59 60 63 65 67 69 79 80 82 89 94 96 98 105 108 112 115 116 119 126 128 129 131 132 133 134 135 138 139 144 147 151 154 155 156 158 161 165 173 175 176 179 186 188 191 192 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 253 256 257 259 263 264 265 267 268 269 272 278 279 281 286 287 290 291 294 296 297 299 303 304 305 307 310 312 315 319 320 321 331 334 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 394 396 398 405 407 413 414 416 418 422 424 427 428 437 439 440 448 449 450 452 453 455 461 467 472 474 475 488 489 a 2 4 5 6 7 8 9 21 26 29 32 38 44 47 48 49 50 53 55 56 59 60 63 65 67 69 71 79 80 82 89 94 96 98 105 108 112 115 116 119 126 128 129 131 132 133 134 135 138 139 144 147 151 154 155 156 158 161 165 173 175 176 179 186 188 191 192 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 253 256 257 259 263 264 265 267 268 269 272 278 279 281 286 287 290 291 294 296 297 299 303 304 305 307 310 312 315 319 320 331 334 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 394 396 398 405 407 413 414 416 418 422 424 427 428 437 439 440 448 449 450 452 453 455 461 467 472 474 475 488 489 a 2 4 5 6 7 8 9 21 26 29 32 38 44 47 48 49 50 53 55 56 59 60 63 67 69 71 79 80 82 89 94 96 98 105 108 112 115 116 119 126 128 129 131 132 133 134 135 138 139 142 144 147 151 154 155 156 158 161 165 173 175 176 179 186 188 191 192 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 253 256 257 259 263 264 265 267 268 269 272 278 279 281 286 287 290 291 294 296 297 299 303 304 305 307 310 312 315 319 320 331 334 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 394 396 398 405 407 413 414 416 418 422 424 427 428 437 439 440 448 449 450 452 453 455 461 467 472 474 475 488 489 a 2 4 5 6 7 8 9 21 26 29 32 38 44 47 48 49 50 53 55 56 59 60 63 67 69 71 79 80 82 89 94 96 98 105 108 112 115 116 119 126 128 129 131 132 133 134 135 138 139 142 144 147 151 154 155 156 158 161 164 165 173 175 176 179 186 188 191 192 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 256 257 259 263 264 265 267 268 269 272 278 279 281 286 287 290 291 294 296 297 299 303 304 305 307 310 312 315 319 320 331 334 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 394 396 398 405 407 413 414 416 418 422 424 427 428 437 439 440 448 449 450 452 453 455 461 467 472 474 475 488 489 a 2 4 5 6 7 8 9 21 26 29 32 38 44 47 48 49 50 53 55 56 59 60 63 67 69 71 79 80 82 89 94 96 98 105 108 112 115 116 119 126 128 129 131 132 133 134 135 138 139 142 144 147 151 154 155 156 158 161 164 165 173 175 176 179 186 188 191 192 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 256 257 259 263 264 265 267 268 269 272 278 279 281 286 287 290 291 294 296 297 299 303 304 305 307 310 312 315 319 331 334 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 394 396 398 405 407 413 414 416 418 422 424 427 428 437 439 440 448 449 450 452 453 455 461 467 472 474 475 483 488 489 a 2 4 5 6 7 8 9 21 26 29 32 38 47 48 49 50 53 55 56 59 60 63 67 69 71 79 80 82 89 94 96 98 105 108 112 115 116 119 126 128 129 131 132 133 134 135 138 139 142 144 147 151 154 155 156 158 161 164 165 173 175 176 179 186 188 191 192 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 256 257 259 263 264 265 267 268 269 272 278 279 281 282 286 287 290 291 294 296 297 299 303 304 305 307 310 312 315 319 331 334 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 394 396 398 405 407 413 414 416 418 422 424 427 428 437 439 440 448 449 450 452 453 455 461 467 472 474 475 483 488 489 a 2 4 5 6 7 8 9 21 26 29 32 38 47 48 49 50 53 55 56 59 60 63 67 69 71 79 80 82 89 94 96 98 105 108 112 115 116 119 126 128 129 131 132 133 134 135 138 139 142 144 147 151 154 155 156 158 161 164 165 173 175 176 179 186 188 191 192 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 256 257 259 263 264 265 267 268 269 272 278 279 281 282 286 287 290 291 294 296 297 299 303 304 305 307 310 312 315 319 331 334 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 394 396 398 405 407 413 414 416 418 422 424 427 428 437 440 448 449 450 452 453 455 461 467 472 474 475 479 483 488 489 a 2 4 5 6 7 8 9 21 26 29 32 38 47 48 50 53 55 56 59 60 63 67 69 71 79 80 82 89 94 96 98 105 108 112 115 116 119 126 128 129 131 132 133 134 135 138 139 142 144 147 151 154 155 156 158 161 164 165 173 175 176 179 186 188 191 192 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 256 257 259 263 264 265 267 268 269 272 278 279 281 282 286 287 290 291 294 296 297 299 303 304 305 307 310 312 315 319 322 331 334 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 394 396 398 405 407 413 414 416 418 422 424 427 428 437 440 448 449 450 452 453 455 461 467 472 474 475 479 483 488 489 a 2 4 5 6 7 8 9 21 26 29 32 38 47 48 50 53 55 56 59 60 63 67 69 71 79 80 82 89 94 96 98 105 108 112 115 116 119 126 128 129 131 132 133 134 135 138 139 142 144 147 151 154 155 156 158 161 164 165 173 175 176 179 186 188 191 192 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 256 257 259 263 264 265 267 268 269 272 278 279 281 282 286 287 290 291 294 296 297 299 303 304 305 307 310 312 315 319 322 331 334 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 394 396 398 405 407 413 414 416 418 422 424 426 427 428 437 448 449 450 452 453 455 461 467 472 474 475 479 483 488 489 a 2 4 5 6 7 8 9 21 26 29 32 38 47 48 50 53 55 56 59 60 63 67 69 71 79 80 82 89 94 96 98 105 108 112 115 116 119 126 128 129 131 132 133 134 135 138 139 142 144 147 151 154 155 156 158 161 164 165 173 175 176 179 186 188 191 192 198 199 201 207 208 214 224 227 229 233 235 238 245 246 251 252 256 257 259 263 264 265 267 268 269 272 278 279 281 282 286 287 290 291 294 296 297 299 303 304 305 307 310 312 315 319 322 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 390 394 396 398 405 407 413 414 416 418 422 424 426 427 428 437 448 449 450 452 453 455 461 467 472 474 475 479 483 488 489 a 2 4 5 6 7 8 9 21 26 29 32 38 47 48 50 53 55 56 59 60 63 67 69 71 79 80 82 89 94 96 98 105 108 112 115 116 119 126 128 129 131 132 133 134 135 138 139 142 144 147 151 154 155 156 158 161 164 165 173 175 176 179 186 188 191 192 198 199 201 207 208 214 224 227 229 235 238 245 246 251 252 256 257 259 263 264 265 267 268 269 272 278 279 281 282 286 287 290 291 294 296 297 299 303 304 305 307 310 312 315 319 322 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 390 394 395 396 398 405 407 413 414 416 418 422 424 426 427 428 437 448 449 450 452 453 455 461 467 472 474 475 479 483 488 489 a 2 4 5 6 7 8 9 21 26 29 32 38 47 48 50 53 55 56 59 60 63 67 69 71 79 80 82 89 94 96 98 105 108 112 115 116 119 126 128 129 131 132 133 134 135 138 139 142 144 147 151 154 155 156 158 161 164 165 173 175 176 179 186 188 191 192 198 199 201 207 208 214 224 227 229 235 238 245 246 251 252 256 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 287 291 294 296 297 299 303 304 305 307 310 312 315 319 322 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 390 394 395 396 398 405 407 413 414 416 418 422 424 426 427 428 437 448 449 450 452 453 455 461 467 472 474 475 479 483 488 489 a 2 4 5 6 7 8 21 26 29 32 38 47 48 50 53 55 56 59 60 63 67 69 71 79 80 82 89 94 96 98 105 108 112 115 116 119 126 128 129 131 132 133 134 135 138 139 142 144 147 151 154 155 156 158 161 164 165 173 175 176 179 186 188 191 192 198 199 201 207 208 214 224 227 229 235 238 245 246 251 252 256 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 287 291 294 296 297 299 303 304 305 307 310 312 315 319 322 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 390 394 395 396 398 405 407 413 414 416 418 422 424 426 427 428 437 448 449 450 452 453 455 461 467 472 474 475 479 483 484 488 489 a 2 4 5 6 7 8 21 26 29 32 38 47 48 50 53 55 56 59 60 63 67 69 71 72 79 80 82 89 94 96 98 105 108 112 115 116 119 126 128 129 131 132 133 134 135 138 139 142 144 151 154 155 156 158 161 164 165 173 175 176 179 186 188 191 192 198 199 201 207 208 214 224 227 229 235 238 245 246 251 252 256 257 259 263 264 265 267 268 269 272 275 278 279 281 282 286 287 291 294 296 297 299 303 304 305 307 310 312 315 319 322 331 343 347 348 349 351 357 358 365 367 370 371 372 376 377 383 387 390 394 395 396 398 405 407 413 414 416 418 422 424 426 427 428 437 448 449 450 452 453 455 461 467 472 474 475 479 483 484 488 489 c Step: 128 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance038_graph002.col /benchmark/random_instance/random_instance038_graph002_01.dat" User time (seconds): 560.32 System time (seconds): 7.26 Percent of CPU this job got: 153% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:09.61 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): 23341288 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 8160394 Voluntary context switches: 8156 Involuntary context switches: 1336 Swaps: 0 File system inputs: 0 File system outputs: 1032 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 02:08:12 2023]