#BEGIN: [Mon Sep 4 10:36:46 2023] #HOST: s02 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance035_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance035_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 /benchmark/random_instance/random_instance035_graph004.col /benchmark/random_instance/random_instance035_graph004_01.dat c /benchmark/random_instance/random_instance035_graph004.col c /benchmark/random_instance/random_instance035_graph004_01.dat *** Info : (clingo): INTERRUPTED by signal! s 388 233 32 40 280 145 21 301 139 411 327 446 96 118 403 194 355 237 177 150 328 114 418 361 119 141 102 313 449 384 190 353 252 254 79 297 275 250 59 62 204 81 117 402 264 356 147 410 340 425 435 135 56 268 352 396 405 222 111 341 334 413 166 393 315 180 94 433 285 369 66 31 129 448 144 185 306 397 80 74 249 186 133 443 400 88 394 58 163 454 362 85 168 409 54 44 378 247 442 253 151 428 184 344 162 431 175 294 309 156 124 203 258 304 187 120 251 57 439 414 370 104 366 17 238 12 357 401 103 227 255 116 302 47 345 72 71 148 84 155 95 220 t 47 96 375 333 287 94 347 257 217 64 399 95 379 24 52 360 154 372 140 1 13 368 30 190 295 401 16 271 453 398 358 219 178 326 221 355 36 356 282 313 442 149 443 156 258 3 104 128 239 78 323 90 452 278 233 197 153 210 165 77 440 328 20 26 151 298 344 316 234 364 404 334 290 227 331 359 129 371 445 223 194 289 220 83 384 12 385 222 439 49 218 4 254 432 374 162 2 315 150 294 169 62 427 177 346 187 70 121 448 410 82 307 419 429 116 31 332 184 240 376 183 286 231 249 393 148 435 122 53 196 296 85 98 23 39 312 228 133 423 112 269 18 a YES a 12 17 21 31 32 40 44 47 54 56 57 58 59 62 66 71 72 74 79 80 81 84 85 88 94 95 96 102 103 104 111 114 116 117 118 119 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 203 204 220 222 227 233 237 238 247 249 250 251 252 253 254 255 258 264 268 275 280 285 294 297 301 302 304 306 309 313 315 327 328 334 340 341 344 345 352 353 355 356 357 361 362 366 369 370 378 384 388 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 428 431 433 435 439 442 443 446 448 449 454 a 12 17 21 31 32 40 44 47 54 56 57 58 59 62 66 71 72 74 79 80 81 84 85 88 94 95 96 102 103 104 111 114 116 117 118 119 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 203 204 220 222 227 233 237 238 247 249 250 251 252 253 254 255 258 264 268 275 280 285 294 297 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 357 361 362 366 369 370 378 384 388 391 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 428 431 433 435 439 442 443 446 448 449 454 a 12 17 21 31 32 40 44 47 54 56 57 58 59 62 66 71 72 74 79 80 81 84 85 88 94 95 96 101 102 103 104 111 114 116 117 118 119 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 203 204 220 222 227 233 237 238 247 249 250 251 252 253 254 255 258 264 268 275 280 285 294 297 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 357 361 362 366 369 370 378 388 391 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 428 431 433 435 439 442 443 446 448 449 454 a 12 17 21 31 32 40 44 47 54 56 57 58 59 62 66 71 72 74 79 80 81 84 85 88 91 95 96 101 102 103 104 111 114 116 117 118 119 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 203 204 220 222 227 233 237 238 247 249 250 251 252 253 254 255 258 264 268 275 280 285 294 297 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 357 361 362 366 369 370 378 388 391 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 428 431 433 435 439 442 443 446 448 449 454 a 12 17 21 31 32 40 44 47 54 56 57 58 59 62 66 71 72 74 79 80 81 84 85 88 91 95 96 102 103 104 111 114 116 117 118 119 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 203 204 220 222 227 233 237 238 247 249 250 251 252 253 254 255 258 264 268 275 280 285 294 297 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 357 361 362 366 369 370 378 384 388 391 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 428 431 433 435 439 442 443 446 448 449 454 a 12 17 21 31 32 40 44 47 54 56 57 58 59 62 66 71 72 74 79 80 81 84 85 88 94 95 96 102 103 104 111 114 116 117 118 119 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 203 204 220 222 227 233 237 238 247 249 250 251 252 253 254 255 258 264 268 275 280 285 294 297 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 357 361 362 366 369 370 378 384 388 391 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 428 431 433 435 439 442 443 446 448 449 454 a 12 17 21 31 32 40 44 47 54 56 57 58 59 62 66 71 72 74 79 80 81 84 85 88 94 95 96 102 103 104 111 114 116 117 118 119 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 203 204 220 222 227 233 237 238 247 249 250 251 252 253 254 255 258 264 268 275 280 285 294 297 301 302 304 306 309 313 315 327 328 334 340 341 344 345 352 353 355 356 357 361 362 366 369 370 378 384 388 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 428 431 433 435 439 442 443 446 448 449 454 a 12 17 21 31 32 40 44 47 54 56 57 58 59 62 66 71 72 74 79 80 81 84 85 88 94 95 96 101 102 103 104 111 114 116 117 118 119 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 203 204 220 222 227 233 237 238 247 249 250 251 252 253 254 255 258 264 268 275 280 285 294 297 301 302 304 306 309 313 315 327 328 334 340 341 344 345 352 353 355 356 357 361 362 366 369 370 378 388 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 428 431 433 435 439 442 443 446 448 449 454 a 12 17 21 31 32 40 44 47 54 56 57 58 59 62 66 71 72 74 79 80 81 84 85 88 94 95 96 101 102 103 104 111 114 116 117 118 119 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 203 204 220 222 227 233 237 238 247 249 250 251 252 253 254 255 258 264 268 275 280 285 294 297 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 357 361 362 366 369 370 378 388 391 393 394 396 397 400 401 402 403 405 409 410 411 413 414 418 425 428 431 433 435 439 442 443 446 448 449 454 a 12 17 21 31 32 40 44 47 54 56 57 58 59 62 66 71 72 74 79 80 81 84 85 88 94 95 96 101 102 103 104 111 114 116 117 118 119 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 203 204 220 222 227 233 237 238 247 249 250 251 252 253 254 255 258 264 268 275 280 285 294 297 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 357 361 362 366 369 370 378 388 391 392 393 394 396 397 400 401 402 403 405 409 410 411 414 418 425 428 431 433 435 439 442 443 446 448 449 454 a 12 17 21 31 32 40 44 47 54 56 57 58 59 62 66 71 72 74 79 80 81 84 85 88 94 95 96 101 102 103 104 111 114 116 117 118 119 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 199 203 204 220 222 227 233 237 238 249 250 251 252 253 254 255 258 264 268 275 280 285 294 297 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 357 361 362 366 369 370 378 388 391 392 393 394 396 397 400 401 402 403 405 409 410 411 414 418 425 428 431 433 435 439 442 443 446 448 449 454 a 12 17 31 32 40 44 47 54 56 57 58 59 62 66 69 71 72 74 79 80 81 84 85 88 94 95 96 101 102 103 104 111 114 116 117 118 119 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 199 203 204 220 222 227 233 237 238 249 250 251 252 253 254 255 258 264 268 275 280 285 294 297 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 357 361 362 366 369 370 378 388 391 392 393 394 396 397 400 401 402 403 405 409 410 411 414 418 425 428 431 433 435 439 442 443 446 448 449 454 a 12 17 31 32 40 44 47 54 56 57 58 59 62 66 69 71 72 74 79 80 81 84 85 88 94 95 96 101 102 103 104 111 114 116 117 118 119 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 199 203 220 222 227 233 237 238 249 250 251 252 253 254 255 257 258 264 268 275 280 285 294 297 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 357 361 362 366 369 370 378 388 391 392 393 394 396 397 400 401 402 403 405 409 410 411 414 418 425 428 431 433 435 439 442 443 446 448 449 454 a 12 17 31 32 40 44 47 54 56 57 58 59 62 66 69 71 72 74 79 80 81 84 85 88 94 95 96 101 102 103 104 111 114 116 117 118 119 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 199 203 220 222 227 233 238 249 250 251 252 253 254 255 257 258 264 268 275 280 285 294 297 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 357 361 362 366 369 370 378 379 388 391 392 393 394 396 397 400 401 402 403 405 409 410 411 414 418 425 428 431 433 435 439 442 443 446 448 449 454 a 12 17 31 32 40 44 47 53 54 56 57 58 59 62 66 69 71 72 74 79 80 81 84 85 88 94 95 96 101 102 103 104 111 114 116 117 118 119 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 199 203 220 222 227 233 238 249 250 251 252 253 254 255 257 258 264 268 275 280 285 294 297 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 361 362 366 369 370 378 379 388 391 392 393 394 396 397 400 401 402 403 405 409 410 411 414 418 425 428 431 433 435 439 442 443 446 448 449 454 a 12 17 19 31 32 40 44 47 53 54 56 57 58 59 62 69 71 72 74 79 80 81 84 85 88 94 95 96 101 102 103 104 111 114 116 117 118 119 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 199 203 220 222 227 233 238 249 250 251 252 253 254 255 257 258 264 268 275 280 285 294 297 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 361 362 366 369 370 378 379 388 391 392 393 394 396 397 400 401 402 403 405 409 410 411 414 418 425 428 431 433 435 439 442 443 446 448 449 454 a 12 17 19 31 32 40 44 47 53 54 56 57 58 59 62 69 71 72 74 79 80 81 84 85 88 94 95 96 101 102 103 104 111 114 116 117 118 119 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 199 203 220 222 226 227 233 238 249 250 251 252 253 254 255 257 258 264 268 275 280 285 294 297 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 361 362 366 369 370 378 379 388 391 392 394 396 397 400 401 402 403 405 409 410 411 414 418 425 428 431 433 435 439 442 443 446 448 449 454 a 12 17 19 31 32 37 40 44 47 53 54 56 57 58 59 62 69 71 72 74 79 80 81 84 85 88 94 95 96 101 102 103 104 111 114 116 117 118 119 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 199 203 220 222 226 227 233 238 249 250 251 252 253 254 255 257 258 268 275 280 285 294 297 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 361 362 366 369 370 378 379 388 391 392 394 396 397 400 401 402 403 405 409 410 411 414 418 425 428 431 433 435 439 442 443 446 448 449 454 a 12 17 19 31 32 37 40 44 47 53 54 56 57 58 59 62 69 71 72 74 79 80 81 84 85 88 94 95 96 101 102 103 104 111 114 116 117 118 119 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 199 203 220 222 226 227 233 238 249 250 251 252 253 254 255 257 258 268 275 280 285 297 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 361 362 366 369 370 378 379 388 391 392 394 396 397 400 401 402 403 405 409 410 411 414 418 425 428 430 431 433 435 439 442 443 446 448 449 454 a 12 17 19 31 32 37 40 44 47 53 54 56 57 58 59 62 69 71 72 74 79 80 81 84 85 88 94 95 96 101 102 103 104 111 114 116 117 118 119 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 199 203 220 222 227 233 238 249 250 251 252 253 254 255 257 258 268 275 280 285 297 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 361 362 366 369 370 378 379 388 391 392 393 394 396 397 400 401 402 403 405 409 410 411 414 418 425 428 430 431 433 435 439 442 443 446 448 449 454 a 12 17 19 31 32 37 40 44 47 53 54 56 57 58 59 62 67 69 71 72 74 79 80 81 84 85 88 94 95 96 101 102 103 104 111 114 116 117 118 119 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 199 203 220 222 227 233 238 249 251 252 253 254 255 257 258 268 275 280 285 297 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 361 362 366 369 370 378 379 388 391 392 393 394 396 397 400 401 402 403 405 409 410 411 414 418 425 428 430 431 433 435 439 442 443 446 448 449 454 a 12 17 19 31 32 37 40 44 47 53 54 56 57 58 59 62 67 69 71 72 74 79 80 81 84 85 88 94 95 96 101 102 103 104 111 114 116 117 118 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 199 203 220 222 227 233 238 249 251 252 253 254 255 257 258 268 275 280 285 297 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 361 362 366 369 370 378 379 388 391 392 393 394 396 397 400 401 402 403 405 409 410 411 414 418 425 427 428 430 431 433 435 439 442 443 446 448 449 454 a 12 17 19 31 32 37 40 44 47 50 53 54 56 57 58 59 62 67 69 71 72 74 79 80 81 84 85 88 94 95 96 101 102 103 104 111 114 116 117 118 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 199 203 220 222 227 233 238 249 251 252 253 254 255 257 258 268 275 280 285 297 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 361 362 366 369 370 378 379 388 391 392 393 394 396 397 400 401 403 405 409 410 411 414 418 425 427 428 430 431 433 435 439 442 443 446 448 449 454 a 12 17 19 31 32 37 40 44 47 50 53 54 56 57 58 59 62 67 69 71 72 74 79 80 81 84 85 88 94 95 96 101 102 103 104 111 114 116 117 118 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 199 203 220 222 226 227 233 238 249 251 252 253 254 255 257 258 268 275 280 285 297 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 361 362 366 369 370 378 379 388 391 392 394 396 397 400 401 403 405 409 410 411 414 418 425 427 428 430 431 433 435 439 442 443 446 448 449 454 a 7 12 17 19 31 32 37 40 44 47 50 53 54 56 57 58 59 62 67 69 71 72 74 79 80 81 84 88 94 95 96 101 102 103 104 111 114 116 117 118 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 199 203 220 222 226 227 233 238 249 251 252 253 254 255 257 258 268 275 280 285 297 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 361 362 366 369 370 378 379 388 391 392 394 396 397 400 401 403 405 409 410 411 414 418 425 427 428 430 431 433 435 439 442 443 446 448 449 454 a 7 12 17 19 31 32 37 40 44 47 50 53 54 56 57 58 59 62 67 69 71 72 74 79 81 84 88 94 95 96 101 102 103 104 111 114 116 117 118 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 199 203 220 222 226 227 233 238 249 250 251 252 253 254 255 257 258 268 275 280 285 297 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 361 362 366 369 370 378 379 388 391 392 394 396 397 400 401 403 405 409 410 411 414 418 425 427 428 430 431 433 435 439 442 443 446 448 449 454 a 7 12 17 19 31 32 37 40 44 47 50 53 54 56 57 58 59 62 67 69 71 72 74 79 81 84 88 94 95 96 101 102 103 104 111 114 116 117 118 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 199 203 220 222 226 227 233 238 249 250 251 252 253 254 255 257 258 268 275 280 285 297 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 361 362 366 369 370 378 379 388 391 392 394 396 397 400 401 402 403 405 409 410 411 414 418 425 428 430 431 433 435 439 442 443 446 448 449 454 a 7 12 17 19 31 32 37 40 44 47 50 53 54 56 57 58 59 62 67 69 71 72 74 79 81 88 94 95 96 101 102 103 104 111 114 116 117 118 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 199 203 220 222 226 227 233 238 249 250 251 252 253 254 255 257 258 268 275 280 285 297 298 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 361 362 366 369 370 378 379 388 391 392 394 396 397 400 401 402 403 405 409 410 411 414 418 425 428 430 431 433 435 439 442 443 446 448 449 454 a 7 12 17 19 31 32 37 40 44 47 48 50 53 54 56 57 58 59 62 67 69 71 72 74 79 81 88 94 95 96 101 102 103 104 111 114 116 117 118 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 199 203 220 222 226 227 233 238 249 250 251 252 253 255 257 258 268 275 280 285 297 298 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 361 362 366 369 370 378 379 388 391 392 394 396 397 400 401 402 403 405 409 410 411 414 418 425 428 430 431 433 435 439 442 443 446 448 449 454 a 7 12 17 19 31 32 37 40 44 47 48 50 53 54 56 57 58 59 62 67 69 71 72 74 79 80 81 88 94 95 96 101 102 103 104 111 114 116 117 118 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 199 203 220 222 226 227 233 238 249 250 251 252 253 255 257 258 268 275 280 285 297 298 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 361 362 366 369 370 378 379 388 391 392 394 396 397 400 401 402 403 405 409 410 411 414 418 425 428 430 431 433 435 439 442 443 446 448 454 a 7 12 17 19 31 32 37 40 44 47 48 50 53 54 56 57 58 59 62 67 69 71 72 74 79 80 81 88 94 95 96 101 102 103 104 111 114 116 117 118 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 199 203 220 222 226 227 233 238 249 250 251 252 253 255 257 258 268 275 280 285 297 298 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 361 362 366 369 370 378 379 388 391 392 394 396 397 400 401 402 403 405 409 410 411 414 418 425 427 428 430 431 433 435 439 442 443 446 448 a 4 7 12 17 19 31 32 37 40 44 47 48 50 53 54 56 57 58 59 62 67 69 71 72 74 79 80 81 88 94 95 96 101 102 103 104 111 114 116 117 118 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 186 187 190 194 199 203 220 222 226 227 233 249 250 251 252 253 255 257 258 268 275 280 285 297 298 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 361 362 366 369 370 378 379 388 391 392 394 396 397 400 401 402 403 405 409 410 411 414 418 425 427 428 430 431 433 435 439 442 443 446 448 a 4 7 12 17 19 31 32 37 40 44 47 48 50 53 54 56 57 58 59 62 67 69 71 72 74 79 80 81 88 94 95 96 101 102 103 104 111 114 116 117 118 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 187 190 194 196 199 203 220 222 226 227 233 249 250 251 252 253 255 257 258 268 275 280 285 297 298 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 361 362 366 369 370 378 379 388 391 392 394 396 397 400 401 402 403 405 409 410 411 414 418 425 427 428 430 431 433 435 439 442 443 446 448 a 4 7 12 17 19 31 32 37 40 44 47 48 50 53 54 56 57 58 59 62 67 69 71 72 74 79 80 81 88 94 95 96 101 102 103 104 111 114 116 117 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 187 190 194 196 199 203 220 222 226 227 233 249 250 251 252 253 255 257 258 268 275 280 285 297 298 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 361 362 366 369 370 376 378 379 388 391 392 394 396 397 400 401 402 403 405 409 410 411 414 418 425 427 428 430 431 433 435 439 442 443 446 448 a 4 7 12 17 19 31 32 37 40 44 47 48 50 53 54 56 57 58 59 62 67 69 71 72 79 80 81 88 90 94 95 96 101 102 103 104 111 114 116 117 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 187 190 194 196 199 203 220 222 226 227 233 249 250 251 252 253 255 257 258 268 275 280 285 297 298 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 361 362 366 369 370 376 378 379 388 391 392 394 396 397 400 401 402 403 405 409 410 411 414 418 425 427 428 430 431 433 435 439 442 443 446 448 a 1 4 7 12 17 19 31 32 37 40 44 47 48 50 53 54 56 57 58 59 62 67 69 71 72 79 80 81 88 90 94 95 96 101 102 103 104 111 114 116 117 120 124 129 133 135 139 141 144 145 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 187 190 194 196 199 203 220 222 226 227 233 249 250 251 252 253 255 257 258 268 275 280 285 297 298 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 361 362 366 369 370 376 378 379 388 391 392 394 396 397 400 401 403 405 409 410 411 414 418 425 427 428 430 431 433 435 439 442 443 446 448 a 1 4 7 12 17 19 31 32 37 40 44 47 48 50 53 54 56 57 58 59 62 67 69 71 72 79 80 81 88 90 94 95 96 101 102 103 104 111 114 116 117 120 124 129 133 135 139 141 144 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 187 190 194 196 199 203 220 222 226 227 233 249 250 251 252 253 255 257 258 268 275 280 285 297 298 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 361 362 366 369 370 376 378 379 388 391 392 394 396 397 400 401 403 405 409 410 411 414 418 425 427 428 430 431 433 435 439 442 443 446 448 452 a 1 4 7 12 17 19 31 32 37 40 44 47 48 50 53 54 56 57 58 59 62 67 69 71 72 79 80 81 88 90 94 95 96 101 102 103 104 111 114 116 117 120 124 129 133 135 139 140 141 144 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 187 190 194 196 199 203 220 222 226 227 233 249 250 251 252 253 255 257 258 268 275 280 285 297 298 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 361 362 366 369 370 376 378 379 388 391 392 394 396 397 400 401 403 405 410 411 414 418 425 427 428 430 431 433 435 439 442 443 446 448 452 a 1 4 7 12 17 19 31 32 37 40 44 47 48 50 53 54 56 57 58 59 62 67 69 71 72 79 80 81 88 90 94 95 96 98 101 102 103 104 111 114 116 117 120 124 129 133 135 139 140 141 144 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 187 190 194 196 199 203 220 222 226 227 233 249 250 251 252 253 255 257 258 268 275 280 285 297 298 301 302 304 306 309 313 315 327 328 340 341 344 345 352 353 355 356 361 362 366 369 370 376 378 379 388 391 392 394 397 400 401 403 405 410 411 414 418 425 427 428 430 431 433 435 439 442 443 446 448 452 a 1 4 7 12 17 19 31 32 37 40 44 47 48 50 53 54 56 57 58 59 62 67 69 71 72 79 80 81 88 90 94 95 96 98 101 102 103 104 111 114 116 117 120 124 129 133 135 139 140 141 144 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 187 190 194 196 199 203 220 222 226 227 233 249 250 251 252 253 255 257 258 268 275 280 285 297 298 301 302 304 306 309 313 315 327 328 340 341 344 345 353 355 356 361 362 366 369 370 376 378 379 388 391 392 394 397 400 401 403 405 410 411 414 418 423 425 427 428 430 431 433 435 439 442 443 446 448 452 a 1 4 7 12 17 19 26 31 32 37 40 44 47 48 50 53 54 56 57 58 59 62 67 69 71 72 79 80 81 88 90 94 95 96 98 101 102 103 104 111 114 116 117 120 124 129 133 135 139 140 141 144 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 187 190 194 196 199 203 220 222 226 227 233 249 250 251 252 253 255 257 258 268 275 280 285 297 298 301 302 304 306 309 313 315 327 328 340 341 344 345 353 355 356 361 362 366 369 370 376 378 379 388 391 392 394 397 400 401 403 405 410 411 414 418 423 425 427 428 430 433 435 439 442 443 446 448 452 a 1 4 7 12 17 19 26 31 32 37 40 44 47 48 50 53 54 56 57 58 59 62 67 69 71 72 79 80 81 88 90 94 95 96 98 101 102 103 104 111 114 116 120 124 129 133 135 139 140 141 144 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 187 190 194 196 199 203 220 222 226 227 233 249 250 251 252 253 255 257 258 268 275 280 285 297 298 301 302 304 306 309 313 315 327 328 340 341 344 345 353 355 356 358 361 362 366 369 370 376 378 379 388 391 392 394 397 400 401 403 405 410 411 414 418 423 425 427 428 430 433 435 439 442 443 446 448 452 a 1 4 7 12 17 19 26 31 32 37 40 44 47 48 50 53 54 56 57 58 59 62 67 69 71 72 79 80 81 88 90 94 95 96 98 101 102 103 104 111 114 116 120 124 129 133 135 139 140 141 144 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 187 190 194 196 199 203 220 222 226 227 233 249 250 251 252 253 255 257 258 268 275 280 285 297 298 301 302 306 309 313 315 327 328 340 341 344 345 353 355 356 358 361 362 366 369 370 376 378 379 388 391 392 394 397 400 401 403 405 410 411 414 418 423 425 427 428 429 430 433 435 439 442 443 446 448 452 a 1 4 7 12 17 19 26 31 32 37 40 44 47 48 50 53 54 56 57 58 59 62 67 69 71 72 79 80 81 88 90 94 95 96 98 101 102 103 104 111 114 116 120 124 129 133 135 139 140 141 144 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 187 190 194 196 199 203 220 222 226 227 233 249 250 251 252 253 255 257 258 268 275 280 285 297 298 301 302 306 309 313 315 327 328 340 341 344 345 346 353 355 356 358 361 362 366 369 370 376 378 379 388 391 392 394 397 400 401 403 405 410 411 414 423 425 427 428 429 430 433 435 439 442 443 446 448 452 a 1 4 7 12 17 19 26 31 32 37 40 44 47 48 50 53 54 56 57 58 59 62 67 69 71 72 79 80 81 88 90 94 95 96 98 101 102 103 104 111 114 116 120 124 129 133 135 139 140 141 144 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 187 190 194 196 199 203 220 222 226 227 233 249 250 251 252 253 255 257 258 268 269 275 280 285 297 298 301 302 306 309 313 315 327 328 340 341 344 345 346 353 355 356 358 361 362 366 369 370 376 378 379 391 392 394 397 400 401 403 405 410 411 414 423 425 427 428 429 430 433 435 439 442 443 446 448 452 a 1 4 7 12 17 19 26 31 32 37 40 44 47 48 50 53 54 56 57 58 59 62 67 69 71 72 79 80 81 88 90 94 95 96 98 101 102 103 104 111 114 116 120 124 129 133 135 139 140 141 144 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 187 190 194 196 199 203 220 222 226 227 233 249 250 251 252 253 255 257 258 268 269 275 280 285 290 297 298 301 302 306 309 313 315 327 328 340 341 344 345 346 353 355 356 358 361 362 366 369 376 378 379 391 392 394 397 400 401 403 405 410 411 414 423 425 427 428 429 430 433 435 439 442 443 446 448 452 a 1 4 7 12 17 19 26 31 32 37 40 44 47 48 50 53 54 56 57 58 59 62 67 69 70 71 72 79 80 81 88 90 94 95 96 98 101 102 103 104 111 114 116 120 124 129 133 135 139 140 141 144 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 187 190 194 196 199 203 220 222 226 227 233 249 250 251 252 253 255 257 258 268 269 275 280 285 290 297 298 301 302 306 309 313 315 327 328 340 341 344 345 346 353 355 356 358 362 366 369 376 378 379 391 392 394 397 400 401 403 405 410 411 414 423 425 427 428 429 430 433 435 439 442 443 446 448 452 a 1 4 7 12 17 19 26 31 32 37 40 44 47 48 50 53 54 56 57 58 59 62 67 69 70 71 72 79 80 81 88 90 94 95 96 98 101 102 103 104 111 114 116 120 124 129 133 135 139 140 141 144 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 187 190 194 196 199 203 220 222 226 227 233 249 250 251 252 253 255 257 258 268 269 275 280 285 290 297 298 301 302 306 309 313 315 327 328 340 341 344 345 346 353 355 356 358 362 366 369 376 378 379 391 392 394 397 400 401 403 405 410 411 414 423 425 427 429 430 433 435 439 442 443 446 448 452 453 a 1 4 7 12 17 19 26 31 32 37 40 44 47 48 50 53 54 56 57 58 59 62 67 69 70 71 72 80 81 88 90 94 95 96 98 101 102 103 104 111 114 116 120 124 129 133 135 139 140 141 144 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 187 190 194 196 199 203 220 222 226 227 233 249 250 251 252 253 255 257 258 268 269 275 280 285 290 297 298 301 302 306 309 312 313 315 327 328 340 341 344 345 346 353 355 356 358 362 366 369 376 378 379 391 392 394 397 400 401 403 405 410 411 414 423 425 427 429 430 433 435 439 442 443 446 448 452 453 a 1 2 4 7 12 17 19 26 31 32 37 40 44 47 48 50 53 54 56 57 58 59 62 67 69 70 71 72 80 81 88 90 94 95 96 98 101 102 103 104 111 114 116 120 124 129 133 135 139 140 141 144 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 187 190 194 196 199 203 220 222 226 227 233 249 250 251 252 253 255 257 258 268 269 275 280 285 290 297 298 301 302 306 309 312 313 315 327 328 340 344 345 346 353 355 356 358 362 366 369 376 378 379 391 392 394 397 400 401 403 405 410 411 414 423 425 427 429 430 433 435 439 442 443 446 448 452 453 a 1 2 4 7 12 17 19 26 31 37 40 44 47 48 50 53 54 56 57 58 59 62 67 69 70 71 72 80 81 88 90 94 95 96 98 101 102 103 104 111 114 116 120 124 129 133 135 139 140 141 144 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 187 190 194 196 199 203 220 222 226 227 233 249 250 251 252 253 255 257 258 268 269 275 280 285 290 295 297 298 301 302 306 309 312 313 315 327 328 340 344 345 346 353 355 356 358 362 366 369 376 378 379 391 392 394 397 400 401 403 405 410 411 414 423 425 427 429 430 433 435 439 442 443 446 448 452 453 a 1 2 4 7 12 17 19 26 31 37 40 44 47 48 50 53 54 56 57 58 59 62 67 69 70 71 72 80 81 88 90 94 95 96 98 101 102 103 104 111 114 116 120 124 129 133 135 139 140 141 144 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 187 190 194 196 199 203 220 222 226 227 233 249 250 251 252 253 255 257 258 268 269 275 280 285 290 295 297 298 301 302 306 309 312 313 315 327 328 340 344 345 346 353 355 356 358 362 366 369 376 379 385 391 392 394 397 400 401 403 405 410 411 414 423 425 427 429 430 433 435 439 442 443 446 448 452 453 a 1 2 4 7 12 17 18 19 26 31 37 40 44 47 48 50 53 54 56 57 58 59 62 67 69 70 71 72 80 81 88 90 94 95 96 98 101 102 103 104 111 114 116 120 124 129 133 135 139 140 141 144 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 187 190 194 196 199 203 220 222 226 227 233 249 250 251 252 253 255 257 258 268 269 275 280 285 290 295 297 298 301 302 306 309 312 313 315 327 328 340 344 345 346 353 355 356 358 362 366 369 376 379 385 391 392 394 397 400 401 405 410 411 414 423 425 427 429 430 433 435 439 442 443 446 448 452 453 a 1 2 4 7 12 17 18 19 26 31 37 40 44 47 48 50 52 53 54 56 57 58 59 62 67 69 70 71 80 81 88 90 94 95 96 98 101 102 103 104 111 114 116 120 124 129 133 135 139 140 141 144 147 148 150 151 155 156 162 163 166 168 175 177 180 184 185 187 190 194 196 199 203 220 222 226 227 233 249 250 251 252 253 255 257 258 268 269 275 280 285 290 295 297 298 301 302 306 309 312 313 315 327 328 340 344 345 346 353 355 356 358 362 366 369 376 379 385 391 392 394 397 400 401 405 410 411 414 423 425 427 429 430 433 435 439 442 443 446 448 452 453 a 1 2 4 7 12 17 18 19 26 31 37 40 44 47 48 50 52 53 54 56 57 58 59 62 67 69 70 71 80 81 88 90 94 95 96 98 101 102 103 104 111 114 116 120 124 129 133 135 139 140 141 144 147 148 150 151 155 156 162 163 168 175 177 180 184 185 187 190 194 196 199 203 219 220 222 226 227 233 249 250 251 252 253 255 257 258 268 269 275 280 285 290 295 297 298 301 302 306 309 312 313 315 327 328 340 344 345 346 353 355 356 358 362 366 369 376 379 385 391 392 394 397 400 401 405 410 411 414 423 425 427 429 430 433 435 439 442 443 446 448 452 453 a 1 2 4 7 12 17 18 19 26 31 37 40 44 47 48 50 52 53 54 56 57 58 59 62 67 69 70 71 80 81 88 90 94 95 96 98 101 102 103 104 111 114 116 120 124 129 133 135 139 140 141 144 147 148 150 151 155 156 162 163 168 175 177 180 184 185 187 190 194 196 199 203 219 220 222 226 227 233 234 249 251 252 253 255 257 258 268 269 275 280 285 290 295 297 298 301 302 306 309 312 313 315 327 328 340 344 345 346 353 355 356 358 362 366 369 376 379 385 391 392 394 397 400 401 405 410 411 414 423 425 427 429 430 433 435 439 442 443 446 448 452 453 a 1 2 4 7 12 17 18 19 26 31 37 40 44 47 48 50 52 53 54 56 57 58 59 62 67 69 70 71 80 81 88 90 94 95 96 98 101 102 103 104 111 114 116 120 124 129 133 135 139 140 141 144 147 148 150 151 155 156 162 163 168 175 177 180 184 185 187 190 194 196 199 203 219 220 222 226 227 233 234 249 251 252 253 255 257 258 268 269 275 280 285 290 295 297 298 301 302 306 309 312 313 315 327 328 340 344 345 346 353 355 356 358 362 366 368 369 376 379 385 391 392 394 397 401 405 410 411 414 423 425 427 429 430 433 435 439 442 443 446 448 452 453 a 1 2 4 7 12 17 18 19 26 31 36 37 40 44 47 48 50 52 53 54 56 57 58 59 62 67 69 70 71 80 81 88 90 94 95 96 98 101 102 103 104 111 114 116 120 124 129 133 135 139 140 141 144 147 148 150 151 155 156 162 163 168 175 177 180 184 185 187 190 194 196 199 203 219 220 222 226 227 233 234 249 251 253 255 257 258 268 269 275 280 285 290 295 297 298 301 302 306 309 312 313 315 327 328 340 344 345 346 353 355 356 358 362 366 368 369 376 379 385 391 392 394 397 401 405 410 411 414 423 425 427 429 430 433 435 439 442 443 446 448 452 453 a 1 2 4 7 12 17 18 19 26 31 36 37 40 44 47 48 50 52 53 54 56 57 58 59 62 67 69 70 71 80 81 88 90 94 95 96 98 101 102 103 104 111 114 116 120 124 129 133 135 139 140 141 144 147 148 150 151 155 156 162 163 168 175 177 180 184 185 187 190 194 196 199 203 219 220 222 226 227 233 234 249 251 253 255 257 258 268 269 275 280 285 290 295 297 298 301 302 306 309 312 313 315 327 328 340 344 345 346 353 355 356 358 359 362 366 368 369 376 379 385 391 392 394 401 405 410 411 414 423 425 427 429 430 433 435 439 442 443 446 448 452 453 a 1 2 4 7 12 18 19 26 31 36 37 40 44 47 48 50 52 53 54 56 57 58 59 62 67 69 70 71 80 81 88 90 94 95 96 98 101 102 103 104 111 114 116 120 124 129 133 135 139 140 141 144 147 148 150 151 155 156 162 163 168 175 177 180 184 185 187 190 194 196 199 203 219 220 222 226 227 233 234 249 251 253 255 257 258 268 269 275 280 285 290 295 297 298 301 302 306 309 312 313 315 327 328 340 344 345 346 353 355 356 358 359 362 366 368 369 376 379 385 391 392 394 401 405 410 411 414 419 423 425 427 429 430 433 435 439 442 443 446 448 452 453 a 1 2 4 7 12 18 19 26 31 36 37 40 44 47 48 50 52 53 54 56 57 58 59 62 67 69 70 71 80 81 88 90 94 95 96 98 101 102 103 104 111 114 116 120 124 129 133 135 139 140 141 144 147 148 150 151 155 156 162 163 168 175 177 180 184 185 187 190 194 196 199 203 219 220 221 222 226 227 233 234 249 251 253 255 257 258 268 269 275 285 290 295 297 298 301 302 306 309 312 313 315 327 328 340 344 345 346 353 355 356 358 359 362 366 368 369 376 379 385 391 392 394 401 405 410 411 414 419 423 425 427 429 430 433 435 439 442 443 446 448 452 453 a 1 2 4 7 12 18 19 26 31 36 37 40 44 47 48 50 52 53 54 56 57 59 62 67 69 70 71 80 81 88 90 94 95 96 98 101 102 103 104 111 114 116 120 124 128 129 133 135 139 140 141 144 147 148 150 151 155 156 162 163 168 175 177 180 184 185 187 190 194 196 199 203 219 220 221 222 226 227 233 234 249 251 253 255 257 258 268 269 275 285 290 295 297 298 301 302 306 309 312 313 315 327 328 340 344 345 346 353 355 356 358 359 362 366 368 369 376 379 385 391 392 394 401 405 410 411 414 419 423 425 427 429 430 433 435 439 442 443 446 448 452 453 a 1 2 4 7 12 18 19 26 31 36 37 40 44 47 48 50 52 53 54 56 57 59 62 67 69 70 71 80 81 88 90 94 95 96 98 101 102 103 104 111 114 116 120 124 128 129 133 135 139 140 141 144 147 148 150 151 155 156 162 163 168 175 177 180 184 185 187 190 194 196 199 203 219 220 221 222 226 227 233 234 249 251 253 255 257 258 268 269 275 285 290 295 297 298 301 302 306 309 312 313 315 327 328 340 344 345 346 347 353 355 356 358 359 362 366 368 369 376 379 385 391 392 394 401 405 410 411 414 419 423 425 427 429 430 435 439 442 443 446 448 452 453 a 1 2 4 7 12 18 19 26 31 36 37 40 44 47 48 50 52 53 54 56 57 59 62 67 69 70 71 80 81 88 90 94 95 96 98 101 102 103 104 111 114 116 120 124 128 129 133 135 139 140 141 144 147 148 150 151 155 156 162 163 168 175 177 180 184 185 187 190 194 196 203 219 220 221 222 226 227 233 234 249 251 253 255 257 258 268 269 275 285 289 290 295 297 298 301 302 306 309 312 313 315 327 328 340 344 345 346 347 353 355 356 358 359 362 366 368 369 376 379 385 391 392 394 401 405 410 411 414 419 423 425 427 429 430 435 439 442 443 446 448 452 453 a 1 2 4 7 12 18 19 26 31 36 37 40 44 47 48 50 52 53 54 56 57 59 62 67 69 70 71 80 81 88 90 94 95 96 98 101 102 103 104 111 114 116 120 124 128 129 133 135 139 140 141 144 147 148 150 151 155 156 162 163 168 175 177 180 184 185 187 190 194 196 203 219 220 221 222 226 227 233 234 249 251 253 255 257 258 268 269 275 285 289 290 295 297 298 301 302 306 309 312 313 315 327 328 340 344 345 346 347 353 355 356 358 359 362 366 368 369 376 379 385 391 392 394 399 401 405 410 414 419 423 425 427 429 430 435 439 442 443 446 448 452 453 a 1 2 4 7 12 18 19 26 31 36 37 40 44 47 48 50 52 53 54 56 57 59 62 67 69 70 71 80 81 88 90 94 95 96 98 101 102 103 104 111 114 116 120 124 128 129 133 135 139 140 141 144 147 148 150 151 155 156 162 163 168 175 177 180 184 185 187 190 194 196 203 219 220 221 222 226 227 233 234 249 251 253 255 257 258 268 269 275 285 286 289 290 295 297 298 301 302 306 309 312 313 315 327 328 340 344 345 346 347 353 355 356 358 359 362 366 368 369 376 379 385 391 392 394 399 401 405 410 419 423 425 427 429 430 435 439 442 443 446 448 452 453 a 1 2 4 7 12 18 19 26 31 36 37 40 44 47 48 50 52 53 54 56 57 59 62 67 69 70 71 80 81 88 90 94 95 96 98 101 102 103 104 111 114 116 120 124 128 129 133 135 139 140 141 144 147 148 150 151 155 156 162 163 168 175 177 180 184 185 187 190 194 196 203 219 220 221 222 226 227 233 234 249 251 253 255 257 258 268 269 275 285 286 289 290 295 297 298 301 302 306 309 312 313 315 323 327 328 340 344 345 346 347 355 356 358 359 362 366 368 369 376 379 385 391 392 394 399 401 405 410 419 423 425 427 429 430 435 439 442 443 446 448 452 453 a 1 2 4 7 12 18 19 26 31 36 37 40 44 47 48 50 52 53 54 56 57 59 62 67 69 70 71 80 81 88 90 94 95 96 98 101 102 103 104 111 114 116 120 124 128 129 133 135 139 140 141 144 147 148 150 151 155 156 162 163 168 175 177 180 184 185 187 190 194 196 203 219 220 221 222 226 227 233 234 240 249 251 253 255 257 258 268 269 275 285 286 289 290 295 297 298 301 302 306 309 312 313 315 323 327 328 344 345 346 347 355 356 358 359 362 366 368 369 376 379 385 391 392 394 399 401 405 410 419 423 425 427 429 430 435 439 442 443 446 448 452 453 a 1 2 4 7 12 18 19 26 31 36 37 40 44 47 48 50 52 53 54 56 57 59 62 67 69 70 71 80 81 88 90 94 95 96 98 101 102 103 104 111 114 116 120 124 128 129 133 135 139 140 141 144 147 148 150 151 155 156 162 163 168 175 177 180 184 185 187 190 194 196 203 219 220 221 222 226 227 231 233 234 240 249 251 253 255 257 258 268 269 275 285 286 289 290 295 297 298 301 302 306 309 312 313 315 323 327 328 344 345 346 347 355 356 358 359 362 366 368 376 379 385 391 392 394 399 401 405 410 419 423 425 427 429 430 435 439 442 443 446 448 452 453 a 1 2 4 7 12 18 19 26 31 36 37 40 44 47 48 50 52 53 54 56 57 59 62 67 69 70 71 80 81 88 90 94 95 96 98 101 102 103 104 111 114 116 120 124 128 129 133 135 139 140 141 144 147 148 150 151 155 156 162 163 168 175 177 180 184 185 187 190 194 196 203 219 220 221 222 226 227 231 233 234 240 249 251 253 255 257 258 268 269 275 285 286 289 290 295 297 298 301 302 306 309 312 313 315 323 328 344 345 346 347 355 356 358 359 362 366 368 376 379 385 391 392 394 399 401 404 405 410 419 423 425 427 429 430 435 439 442 443 446 448 452 453 a 1 2 4 7 12 18 19 26 31 36 37 40 44 47 48 50 52 53 54 56 57 59 62 67 69 70 71 80 81 88 90 94 95 96 98 101 102 103 104 111 114 116 120 124 128 129 133 135 139 140 141 144 147 148 150 151 155 156 162 163 168 175 177 180 184 185 187 190 194 196 203 219 220 221 222 226 227 231 233 234 240 249 251 253 255 257 258 268 269 275 285 286 289 290 295 297 298 301 302 306 309 312 313 315 323 328 344 345 346 347 355 356 358 359 362 366 368 371 376 379 385 391 392 394 399 401 404 405 410 419 423 427 429 430 435 439 442 443 446 448 452 453 a 1 2 4 7 12 18 26 31 36 37 40 44 47 48 50 52 53 54 56 57 59 62 67 69 70 71 80 81 88 90 94 95 96 98 101 102 103 104 111 114 116 120 124 128 129 133 135 139 140 141 144 147 148 150 151 153 155 156 162 163 168 175 177 180 184 185 187 190 194 196 203 219 220 221 222 226 227 231 233 234 240 249 251 253 255 257 258 268 269 275 285 286 289 290 295 297 298 301 302 306 309 312 313 315 323 328 344 345 346 347 355 356 358 359 362 366 368 371 376 379 385 391 392 394 399 401 404 405 410 419 423 427 429 430 435 439 442 443 446 448 452 453 a 1 2 4 7 12 16 18 26 31 36 37 40 44 47 48 52 53 54 56 57 59 62 67 69 70 71 80 81 88 90 94 95 96 98 101 102 103 104 111 114 116 120 124 128 129 133 135 139 140 141 144 147 148 150 151 153 155 156 162 163 168 175 177 180 184 185 187 190 194 196 203 219 220 221 222 226 227 231 233 234 240 249 251 253 255 257 258 268 269 275 285 286 289 290 295 297 298 301 302 306 309 312 313 315 323 328 344 345 346 347 355 356 358 359 362 366 368 371 376 379 385 391 392 394 399 401 404 405 410 419 423 427 429 430 435 439 442 443 446 448 452 453 a 1 2 4 7 12 16 18 26 31 36 37 40 44 47 48 52 53 54 56 57 59 62 67 69 70 71 80 81 88 90 94 95 96 98 102 103 104 111 114 116 120 124 128 129 133 135 139 140 141 144 147 148 150 151 153 155 156 162 163 168 175 177 180 184 185 187 190 194 196 203 219 220 221 222 226 227 231 233 234 240 249 251 253 255 257 258 268 269 275 285 286 289 290 295 297 298 301 302 306 309 312 313 315 323 328 344 345 346 347 355 356 358 359 362 366 368 371 376 379 384 385 391 392 394 399 401 404 405 410 419 423 427 429 430 435 439 442 443 446 448 452 453 a 1 2 4 7 12 16 18 26 31 36 37 40 44 47 48 52 53 54 56 57 59 62 67 69 70 71 80 81 88 90 94 95 96 98 102 103 104 111 114 116 120 121 124 128 129 133 135 139 140 141 144 147 148 150 151 153 155 156 162 163 168 175 177 180 184 185 187 190 194 196 203 219 220 221 222 226 227 231 233 234 240 249 251 253 255 257 258 268 269 275 285 286 289 290 295 297 298 301 306 309 312 313 315 323 328 344 345 346 347 355 356 358 359 362 366 368 371 376 379 384 385 391 392 394 399 401 404 405 410 419 423 427 429 430 435 439 442 443 446 448 452 453 a 1 2 4 7 12 16 18 26 31 36 37 40 44 47 48 52 53 54 56 57 59 62 67 69 70 71 80 81 88 90 94 95 96 98 102 103 104 111 114 116 120 121 124 128 129 133 135 139 140 141 144 147 148 150 151 153 155 156 162 163 168 175 177 180 184 185 187 190 194 196 203 219 220 221 222 226 227 228 231 233 234 240 249 251 253 255 257 258 268 269 275 285 286 289 290 295 297 298 301 306 309 312 313 315 323 328 344 345 346 347 355 356 358 359 362 366 368 371 376 379 384 385 391 392 394 399 401 404 405 410 419 423 427 429 430 435 439 442 443 448 452 453 a 1 2 4 7 12 16 18 26 31 36 37 40 44 47 48 52 53 54 56 57 59 62 67 69 70 71 80 81 88 90 94 95 96 98 102 103 104 111 114 116 120 121 124 128 129 133 135 139 140 141 144 147 148 150 151 153 155 156 162 163 168 175 177 180 184 185 187 190 194 196 203 219 220 221 222 226 227 228 231 233 234 240 249 251 253 255 257 258 268 269 275 285 286 289 290 295 297 298 301 306 309 312 313 315 323 328 334 344 345 346 347 355 356 358 359 362 366 368 371 376 379 384 385 392 394 399 401 404 405 410 419 423 427 429 430 435 439 442 443 448 452 453 a 1 2 4 7 12 16 18 26 31 36 37 40 44 47 48 52 53 54 56 57 59 62 67 69 70 71 80 81 88 90 94 95 96 98 102 103 104 111 114 116 120 121 124 128 129 133 135 139 140 141 144 147 148 150 151 153 155 156 162 163 168 175 177 184 185 187 190 194 196 203 219 220 221 222 226 227 228 231 233 234 239 240 249 251 253 255 257 258 268 269 275 285 286 289 290 295 297 298 301 306 309 312 313 315 323 328 334 344 345 346 347 355 356 358 359 362 366 368 371 376 379 384 385 392 394 399 401 404 405 410 419 423 427 429 430 435 439 442 443 448 452 453 a 1 2 4 7 12 16 18 26 31 36 37 40 44 47 48 52 53 54 56 57 59 62 67 69 70 71 80 81 88 90 94 95 96 98 102 103 104 111 114 116 120 121 124 128 129 133 135 139 140 141 144 148 150 151 153 155 156 162 163 168 175 177 184 185 187 190 194 196 203 219 220 221 222 226 227 228 231 233 234 239 240 249 251 253 255 257 258 268 269 275 285 286 289 290 295 297 298 301 306 309 312 313 315 323 328 333 334 344 345 346 347 355 356 358 359 362 366 368 371 376 379 384 385 392 394 399 401 404 405 410 419 423 427 429 430 435 439 442 443 448 452 453 a 1 2 4 7 12 16 18 26 31 36 37 40 44 47 48 52 53 54 56 57 59 62 67 69 70 71 80 81 88 90 94 95 96 98 102 103 104 111 112 114 116 120 121 124 128 129 133 135 139 140 141 144 148 150 151 153 155 156 162 163 168 175 177 184 185 187 190 194 196 203 219 220 221 222 226 227 228 231 233 234 239 240 249 251 253 255 257 258 268 269 275 285 286 289 290 295 297 298 301 306 309 312 313 315 323 328 333 334 344 345 346 347 355 356 358 359 362 366 368 371 376 379 384 385 394 399 401 404 405 410 419 423 427 429 430 435 439 442 443 448 452 453 a 1 2 4 7 12 16 18 26 31 36 37 40 44 47 48 52 53 54 56 57 62 67 69 70 71 80 81 88 90 94 95 96 98 102 103 104 111 112 114 116 120 121 124 128 129 133 135 139 140 141 144 148 150 151 153 155 156 162 163 168 175 177 184 185 187 190 194 196 203 219 220 221 222 226 227 228 231 233 234 239 240 249 251 253 255 257 258 268 269 275 285 286 289 290 295 296 297 298 301 306 309 312 313 315 323 328 333 334 344 345 346 347 355 356 358 359 362 366 368 371 376 379 384 385 394 399 401 404 405 410 419 423 427 429 430 435 439 442 443 448 452 453 a 1 2 4 7 12 16 18 26 31 36 37 40 44 47 48 52 53 54 56 57 62 67 69 70 71 80 81 88 90 94 95 96 98 102 103 104 111 112 114 116 120 121 124 128 129 133 135 139 140 141 144 148 150 151 153 155 156 162 163 168 175 177 184 185 187 190 194 196 203 219 220 221 222 226 227 228 231 233 234 239 240 249 251 253 255 257 258 268 269 275 285 286 289 290 295 296 297 298 301 306 309 312 313 315 323 328 333 334 344 345 346 347 355 356 358 359 360 362 368 371 376 379 384 385 394 399 401 404 405 410 419 423 427 429 430 435 439 442 443 448 452 453 a 1 2 4 7 12 16 18 26 31 36 37 40 44 47 48 52 53 54 56 57 62 67 69 70 71 80 81 82 88 90 94 95 96 98 102 103 104 111 112 114 116 120 121 124 128 129 133 135 139 140 141 144 148 150 151 153 155 156 162 163 168 175 177 184 185 187 190 194 196 203 219 220 221 222 226 227 228 231 233 234 239 240 249 251 255 257 258 268 269 275 285 286 289 290 295 296 297 298 301 306 309 312 313 315 323 328 333 334 344 345 346 347 355 356 358 359 360 362 368 371 376 379 384 385 394 399 401 404 405 410 419 423 427 429 430 435 439 442 443 448 452 453 a 1 2 4 7 12 13 16 18 26 31 36 37 40 44 47 48 52 53 54 56 57 62 67 69 70 71 80 81 82 90 94 95 96 98 102 103 104 111 112 114 116 120 121 124 128 129 133 135 139 140 141 144 148 150 151 153 155 156 162 163 168 175 177 184 185 187 190 194 196 203 219 220 221 222 226 227 228 231 233 234 239 240 249 251 255 257 258 268 269 275 285 286 289 290 295 296 297 298 301 306 309 312 313 315 323 328 333 334 344 345 346 347 355 356 358 359 360 362 368 371 376 379 384 385 394 399 401 404 405 410 419 423 427 429 430 435 439 442 443 448 452 453 a 1 2 4 7 12 13 16 18 26 31 36 37 40 44 47 48 52 53 54 56 57 62 67 69 70 71 80 81 82 90 94 95 96 98 102 103 104 111 112 114 116 120 121 124 128 129 133 135 139 140 141 144 148 150 151 153 156 162 163 168 175 177 184 185 187 190 194 196 203 219 220 221 222 226 227 228 231 233 234 239 240 249 251 255 257 258 268 269 271 275 285 286 289 290 295 296 297 298 301 306 309 312 313 315 323 328 333 334 344 345 346 347 355 356 358 359 360 362 368 371 376 379 384 385 394 399 401 404 405 410 419 423 427 429 430 435 439 442 443 448 452 453 a 1 2 4 7 12 13 16 18 26 31 36 37 40 44 47 48 52 53 54 56 57 62 67 69 70 71 80 81 82 90 94 95 96 98 102 103 104 111 112 114 116 120 121 124 128 129 133 139 140 141 144 148 150 151 153 156 162 163 168 175 177 184 185 187 190 194 196 203 219 220 221 222 226 227 228 231 233 234 239 240 249 251 255 257 258 268 269 271 275 285 286 289 290 295 296 297 298 301 306 309 312 313 315 323 328 333 334 344 345 346 347 355 356 358 359 360 362 364 368 371 376 379 384 385 394 399 401 404 405 410 419 423 427 429 430 435 439 442 443 448 452 453 a 1 2 4 7 12 13 16 18 26 31 36 37 40 44 47 48 52 53 54 56 57 62 67 69 70 71 80 81 82 90 94 95 96 98 102 103 104 111 112 114 116 120 121 124 128 129 133 139 140 141 144 148 150 151 153 156 162 163 168 175 177 184 185 187 190 194 196 203 219 220 221 222 226 227 228 231 233 234 239 240 249 251 255 257 258 268 269 271 275 285 286 289 290 295 296 297 298 301 306 309 312 313 315 323 328 333 334 344 346 347 355 356 358 359 360 362 364 368 371 375 376 379 384 385 394 399 401 404 405 410 419 423 427 429 430 435 439 442 443 448 452 453 a 1 2 4 7 12 13 16 18 26 31 36 37 40 44 47 48 52 53 54 56 57 62 67 69 70 71 80 81 82 90 94 95 96 98 102 103 104 111 112 114 116 120 121 122 124 128 129 133 139 140 141 144 148 150 151 153 156 162 163 168 175 177 184 185 187 190 194 196 203 219 220 221 222 226 227 228 231 233 234 239 240 249 251 255 257 258 268 269 271 275 285 286 289 290 295 296 297 298 301 306 309 312 313 315 323 328 333 334 344 346 347 355 356 358 359 360 362 364 368 371 375 376 379 384 385 399 401 404 405 410 419 423 427 429 430 435 439 442 443 448 452 453 a 1 2 4 7 12 13 16 18 26 31 36 37 44 47 48 52 53 54 56 57 62 67 69 70 71 80 81 82 90 94 95 96 98 102 103 104 111 112 114 116 120 121 122 124 128 129 133 139 140 141 144 148 150 151 153 156 162 163 168 175 177 184 185 187 190 194 196 203 219 220 221 222 226 227 228 231 233 234 239 240 249 251 255 257 258 268 269 271 275 285 286 289 290 295 296 297 298 301 306 309 312 313 315 316 323 328 333 334 344 346 347 355 356 358 359 360 362 364 368 371 375 376 379 384 385 399 401 404 405 410 419 423 427 429 430 435 439 442 443 448 452 453 a 1 2 4 7 12 13 16 18 26 31 36 37 44 47 48 52 53 54 56 57 62 67 69 70 71 80 81 82 90 94 95 96 98 102 103 104 111 112 114 116 120 121 122 124 128 129 133 139 140 141 144 148 150 151 153 156 162 163 168 175 177 184 185 187 190 194 196 219 220 221 222 226 227 228 231 233 234 239 240 249 251 255 257 258 268 269 271 275 282 285 286 289 290 295 296 297 298 301 306 309 312 313 315 316 323 328 333 334 344 346 347 355 356 358 359 360 362 364 368 371 375 376 379 384 385 399 401 404 405 410 419 423 427 429 430 435 439 442 443 448 452 453 a 1 2 4 7 12 13 16 18 26 31 36 37 39 44 47 48 52 53 54 56 57 62 67 70 71 80 81 82 90 94 95 96 98 102 103 104 111 112 114 116 120 121 122 124 128 129 133 139 140 141 144 148 150 151 153 156 162 163 168 175 177 184 185 187 190 194 196 219 220 221 222 226 227 228 231 233 234 239 240 249 251 255 257 258 268 269 271 275 282 285 286 289 290 295 296 297 298 301 306 309 312 313 315 316 323 328 333 334 344 346 347 355 356 358 359 360 362 364 368 371 375 376 379 384 385 399 401 404 405 410 419 423 427 429 430 435 439 442 443 448 452 453 a 1 2 4 12 13 16 18 26 31 36 37 39 44 47 48 52 53 54 56 57 62 67 70 71 80 81 82 90 94 95 96 98 102 103 104 111 112 114 116 120 121 122 124 128 129 133 139 140 141 144 148 149 150 151 153 156 162 163 168 175 177 184 185 187 190 194 196 219 220 221 222 226 227 228 231 233 234 239 240 249 251 255 257 258 268 269 271 275 282 285 286 289 290 295 296 297 298 301 306 309 312 313 315 316 323 328 333 334 344 346 347 355 356 358 359 360 362 364 368 371 375 376 379 384 385 399 401 404 405 410 419 423 427 429 430 435 439 442 443 448 452 453 a 1 2 4 12 13 16 18 26 31 36 37 39 44 47 48 52 53 54 56 57 62 67 70 71 80 81 82 90 94 95 96 98 102 103 104 111 112 114 116 120 121 122 124 128 129 133 139 140 141 144 148 149 150 151 153 156 162 163 168 175 177 184 185 187 190 194 196 219 220 221 222 226 227 228 231 233 234 239 240 249 251 257 258 268 269 271 275 282 285 286 289 290 295 296 297 298 301 306 309 312 313 315 316 323 326 328 333 334 344 346 347 355 356 358 359 360 362 364 368 371 375 376 379 384 385 399 401 404 405 410 419 423 427 429 430 435 439 442 443 448 452 453 a 1 2 4 12 13 16 18 26 31 36 37 39 44 47 48 52 53 54 56 57 62 67 70 71 80 81 82 90 94 95 96 98 102 103 104 111 112 114 116 120 121 122 124 128 129 133 139 140 141 144 148 149 150 151 153 156 162 163 168 175 177 184 185 187 190 194 196 217 219 220 221 222 226 227 228 231 233 234 239 240 249 251 257 258 268 269 271 275 282 285 286 289 290 295 296 297 298 301 306 309 312 313 315 316 323 326 328 333 334 344 346 347 355 356 358 359 360 362 364 368 371 375 376 379 384 385 399 401 404 410 419 423 427 429 430 435 439 442 443 448 452 453 a 1 2 4 12 13 16 18 23 26 31 36 37 39 44 47 48 52 53 54 56 62 67 70 71 80 81 82 90 94 95 96 98 102 103 104 111 112 114 116 120 121 122 124 128 129 133 139 140 141 144 148 149 150 151 153 156 162 163 168 175 177 184 185 187 190 194 196 217 219 220 221 222 226 227 228 231 233 234 239 240 249 251 257 258 268 269 271 275 282 285 286 289 290 295 296 297 298 301 306 309 312 313 315 316 323 326 328 333 334 344 346 347 355 356 358 359 360 362 364 368 371 375 376 379 384 385 399 401 404 410 419 423 427 429 430 435 439 442 443 448 452 453 a 1 2 4 12 13 16 18 23 26 31 36 37 39 44 47 48 52 53 54 56 62 67 70 71 80 81 82 85 90 94 95 96 98 102 103 104 111 112 114 116 120 121 122 124 128 129 133 139 140 141 144 148 149 150 151 153 156 162 163 168 175 177 184 185 187 190 194 196 217 219 220 221 222 226 227 228 231 233 234 239 240 249 251 257 258 268 269 271 275 282 285 286 289 290 295 296 297 298 301 306 309 312 313 315 316 323 326 328 333 334 344 346 347 355 356 358 359 360 364 368 371 375 376 379 384 385 399 401 404 410 419 423 427 429 430 435 439 442 443 448 452 453 a 1 2 4 12 13 16 18 23 26 31 36 37 39 44 47 48 52 53 54 56 62 64 67 70 71 80 81 82 85 90 94 95 96 98 102 103 104 111 112 114 116 120 121 122 124 128 129 133 139 140 141 144 148 149 150 151 153 156 162 163 168 175 177 184 185 187 190 194 196 217 219 220 221 222 226 227 228 231 233 234 239 240 249 251 257 258 268 269 271 275 282 285 286 289 290 295 296 297 298 306 309 312 313 315 316 323 326 328 333 334 344 346 347 355 356 358 359 360 364 368 371 375 376 379 384 385 399 401 404 410 419 423 427 429 430 435 439 442 443 448 452 453 a 1 2 4 12 13 16 18 23 26 31 36 37 39 44 47 48 52 53 54 56 62 64 67 70 71 80 81 82 85 90 94 95 96 98 102 103 104 111 112 114 116 120 121 122 124 128 129 133 139 140 141 144 148 149 150 151 153 156 162 163 168 175 177 184 185 187 190 194 196 217 219 220 221 222 226 227 228 231 233 234 239 240 249 251 257 258 268 269 271 275 278 282 285 286 289 290 295 296 298 306 309 312 313 315 316 323 326 328 333 334 344 346 347 355 356 358 359 360 364 368 371 375 376 379 384 385 399 401 404 410 419 423 427 429 430 435 439 442 443 448 452 453 a 1 2 4 12 13 16 18 23 26 31 36 37 39 44 47 48 52 53 54 56 62 64 67 70 71 78 80 81 82 85 90 94 95 96 98 102 103 104 111 112 114 116 120 121 122 124 128 129 133 139 140 141 144 148 149 150 151 153 156 162 163 168 175 177 184 185 187 190 194 196 217 219 220 221 222 227 228 231 233 234 239 240 249 251 257 258 268 269 271 275 278 282 285 286 289 290 295 296 298 306 309 312 313 315 316 323 326 328 333 334 344 346 347 355 356 358 359 360 364 368 371 375 376 379 384 385 399 401 404 410 419 423 427 429 430 435 439 442 443 448 452 453 a 1 2 4 12 13 16 18 23 26 31 36 37 39 44 47 48 52 53 54 56 62 64 67 70 71 78 80 81 82 85 90 94 95 96 98 103 104 111 112 114 116 120 121 122 124 128 129 133 139 140 141 144 148 149 150 151 153 156 162 163 168 175 177 183 184 185 187 190 194 196 217 219 220 221 222 227 228 231 233 234 239 240 249 251 257 258 268 269 271 275 278 282 285 286 289 290 295 296 298 306 309 312 313 315 316 323 326 328 333 334 344 346 347 355 356 358 359 360 364 368 371 375 376 379 384 385 399 401 404 410 419 423 427 429 430 435 439 442 443 448 452 453 a 1 2 4 12 13 16 18 23 26 31 36 37 39 44 47 52 53 54 56 62 64 67 70 71 78 80 81 82 85 90 94 95 96 98 103 104 111 112 114 116 120 121 122 124 128 129 133 139 140 141 144 148 149 150 151 153 156 162 163 168 175 177 183 184 185 187 190 194 196 217 219 220 221 222 227 228 231 233 234 239 240 249 251 254 257 258 268 269 271 275 278 282 285 286 289 290 295 296 298 306 309 312 313 315 316 323 326 328 333 334 344 346 347 355 356 358 359 360 364 368 371 375 376 379 384 385 399 401 404 410 419 423 427 429 430 435 439 442 443 448 452 453 a 1 2 4 12 13 16 18 23 26 31 36 37 39 44 47 52 53 54 56 62 64 67 70 71 78 80 81 82 85 90 94 95 96 98 103 104 111 112 114 116 120 121 122 124 128 129 133 139 140 141 144 148 149 150 151 153 156 162 163 168 175 177 183 184 187 190 194 196 217 219 220 221 222 227 228 231 233 234 239 240 249 251 254 257 258 268 269 271 275 278 282 285 286 289 290 295 296 298 306 309 312 313 315 316 323 326 328 333 334 344 346 347 355 356 358 359 360 364 368 371 372 375 376 379 384 385 399 401 404 410 419 423 427 429 430 435 439 442 443 448 452 453 a 1 2 4 12 13 16 18 23 26 31 36 37 39 44 47 52 53 54 56 62 64 67 70 71 78 80 81 82 85 90 94 95 96 98 103 104 111 112 114 116 120 121 122 124 128 129 133 139 140 141 144 148 149 150 151 153 156 162 163 168 175 177 183 184 187 190 194 196 217 219 220 221 222 227 228 231 233 234 239 240 249 251 254 257 258 268 269 271 275 278 282 286 289 290 295 296 298 306 309 312 313 315 316 323 326 328 332 333 334 344 346 347 355 356 358 359 360 364 368 371 372 375 376 379 384 385 399 401 404 410 419 423 427 429 430 435 439 442 443 448 452 453 a 1 2 4 12 13 16 18 23 26 31 36 37 39 47 52 53 54 56 62 64 67 70 71 78 80 81 82 85 90 94 95 96 98 103 104 111 112 114 116 120 121 122 124 128 129 133 139 140 141 144 148 149 150 151 153 156 162 163 168 175 177 183 184 187 190 194 196 217 219 220 221 222 223 227 228 231 233 234 239 240 249 251 254 257 258 268 269 271 275 278 282 286 289 290 295 296 298 306 309 312 313 315 316 323 326 328 332 333 334 344 346 347 355 356 358 359 360 364 368 371 372 375 376 379 384 385 399 401 404 410 419 423 427 429 430 435 439 442 443 448 452 453 a 1 2 3 4 12 13 16 18 23 26 31 36 37 39 47 52 53 54 56 62 64 67 70 71 78 80 81 82 85 90 94 95 96 98 103 104 111 112 114 116 120 121 122 124 128 129 133 139 140 141 144 148 149 150 151 153 156 162 163 168 175 177 183 184 187 190 194 196 217 219 220 221 222 223 227 228 231 233 234 239 240 249 251 254 257 258 268 269 271 275 278 282 286 289 290 295 296 298 306 309 312 313 315 316 323 326 328 332 333 334 344 346 347 355 356 358 359 360 364 368 371 372 375 376 379 384 385 399 401 404 410 419 423 427 429 435 439 442 443 448 452 453 a 1 2 3 4 12 13 16 18 23 26 31 36 37 39 47 52 53 54 56 62 64 67 70 71 78 80 81 82 85 90 94 95 96 98 103 104 111 112 114 116 120 121 122 124 128 129 133 139 140 141 148 149 150 151 153 156 162 163 168 175 177 183 184 187 190 194 196 217 219 220 221 222 223 227 228 231 233 234 239 240 249 251 254 257 258 268 269 271 275 278 282 286 289 290 295 296 298 306 309 312 313 315 316 323 326 328 331 332 333 334 344 346 347 355 356 358 359 360 364 368 371 372 375 376 379 384 385 399 401 404 410 419 423 427 429 435 439 442 443 448 452 453 a 1 2 3 4 12 13 16 18 23 26 31 36 37 39 47 52 53 54 56 62 64 67 70 71 77 78 81 82 85 90 94 95 96 98 103 104 111 112 114 116 120 121 122 124 128 129 133 139 140 141 148 149 150 151 153 156 162 163 168 175 177 183 184 187 190 194 196 217 219 220 221 222 223 227 228 231 233 234 239 240 249 251 254 257 258 268 269 271 275 278 282 286 289 290 295 296 298 306 309 312 313 315 316 323 326 328 331 332 333 334 344 346 347 355 356 358 359 360 364 368 371 372 375 376 379 384 385 399 401 404 410 419 423 427 429 435 439 442 443 448 452 453 a 1 2 3 4 12 13 16 18 23 26 31 36 37 39 47 52 53 54 56 62 64 67 70 71 77 78 81 82 83 85 90 94 95 96 98 103 104 111 112 114 116 120 121 122 124 128 129 133 140 141 148 149 150 151 153 156 162 163 168 175 177 183 184 187 190 194 196 217 219 220 221 222 223 227 228 231 233 234 239 240 249 251 254 257 258 268 269 271 275 278 282 286 289 290 295 296 298 306 309 312 313 315 316 323 326 328 331 332 333 334 344 346 347 355 356 358 359 360 364 368 371 372 375 376 379 384 385 399 401 404 410 419 423 427 429 435 439 442 443 448 452 453 a 1 2 3 4 12 13 16 18 23 26 31 36 37 39 47 52 53 54 56 62 64 67 70 71 77 78 81 82 83 85 90 94 95 96 98 103 104 111 112 114 116 120 121 122 124 128 129 133 140 141 148 149 150 151 153 156 162 163 168 175 177 183 184 187 190 194 196 217 218 219 220 221 222 223 227 228 231 233 234 239 240 249 251 254 257 258 268 269 271 275 278 282 286 289 290 295 296 298 309 312 313 315 316 323 326 328 331 332 333 334 344 346 347 355 356 358 359 360 364 368 371 372 375 376 379 384 385 399 401 404 410 419 423 427 429 435 439 442 443 448 452 453 a 1 2 3 4 12 13 16 18 23 26 31 36 37 39 47 52 53 54 56 62 64 67 70 71 77 78 81 82 83 85 90 94 95 96 98 103 104 112 114 116 120 121 122 124 128 129 133 140 141 148 149 150 151 153 156 162 163 168 175 177 183 184 187 190 194 196 217 218 219 220 221 222 223 227 228 231 233 234 239 240 249 251 254 257 258 268 269 271 275 278 282 286 289 290 295 296 298 307 309 312 313 315 316 323 326 328 331 332 333 334 344 346 347 355 356 358 359 360 364 368 371 372 375 376 379 384 385 399 401 404 410 419 423 427 429 435 439 442 443 448 452 453 a 1 2 3 4 12 13 16 18 20 23 26 31 36 37 39 47 52 53 54 56 62 64 67 70 71 77 78 81 82 83 85 90 94 95 96 98 103 104 112 114 116 120 121 122 124 128 129 133 140 141 148 149 150 151 153 156 162 163 168 177 183 184 187 190 194 196 217 218 219 220 221 222 223 227 228 231 233 234 239 240 249 251 254 257 258 268 269 271 275 278 282 286 289 290 295 296 298 307 309 312 313 315 316 323 326 328 331 332 333 334 344 346 347 355 356 358 359 360 364 368 371 372 375 376 379 384 385 399 401 404 410 419 423 427 429 435 439 442 443 448 452 453 a 1 2 3 4 12 13 16 18 20 23 26 31 36 37 39 47 52 53 54 62 64 67 70 71 77 78 81 82 83 85 90 94 95 96 98 103 104 112 114 116 120 121 122 124 128 129 133 140 141 148 149 150 151 153 156 162 163 168 177 178 183 184 187 190 194 196 217 218 219 220 221 222 223 227 228 231 233 234 239 240 249 251 254 257 258 268 269 271 275 278 282 286 289 290 295 296 298 307 309 312 313 315 316 323 326 328 331 332 333 334 344 346 347 355 356 358 359 360 364 368 371 372 375 376 379 384 385 399 401 404 410 419 423 427 429 435 439 442 443 448 452 453 a 1 2 3 4 12 13 16 18 20 23 26 31 36 37 39 47 52 53 54 62 64 70 71 77 78 81 82 83 85 90 94 95 96 98 103 104 112 114 116 120 121 122 124 128 129 133 140 141 148 149 150 151 153 156 162 163 168 177 178 183 184 187 190 194 196 217 218 219 220 221 222 223 227 228 231 233 234 239 240 249 251 254 257 258 268 269 271 275 278 282 286 289 290 295 296 298 307 309 312 313 315 316 323 326 328 331 332 333 334 344 346 347 355 356 358 359 360 364 368 371 372 375 376 379 384 385 399 401 404 410 419 423 427 429 435 439 440 442 443 448 452 453 a 1 2 3 4 12 13 16 18 20 23 26 31 36 37 39 47 52 53 54 62 64 70 71 77 78 81 82 83 85 90 94 95 96 98 103 104 112 114 116 120 121 122 124 128 129 133 140 141 148 149 150 151 153 156 162 168 177 178 183 184 187 190 194 196 217 218 219 220 221 222 223 227 228 231 233 234 239 240 249 251 254 257 258 268 269 271 275 278 282 286 289 290 294 295 296 298 307 309 312 313 315 316 323 326 328 331 332 333 334 344 346 347 355 356 358 359 360 364 368 371 372 375 376 379 384 385 399 401 404 410 419 423 427 429 435 439 440 442 443 448 452 453 a 1 2 3 4 12 13 16 18 20 23 26 31 36 37 39 47 52 53 54 62 64 70 71 77 78 81 82 83 85 90 94 95 96 98 103 104 112 114 116 120 121 122 124 128 129 133 140 141 148 149 150 151 153 156 162 168 177 178 183 184 187 190 194 196 197 217 218 219 220 221 222 223 227 228 231 233 234 239 240 249 251 254 257 258 269 271 275 278 282 286 289 290 294 295 296 298 307 309 312 313 315 316 323 326 328 331 332 333 334 344 346 347 355 356 358 359 360 364 368 371 372 375 376 379 384 385 399 401 404 410 419 423 427 429 435 439 440 442 443 448 452 453 a 1 2 3 4 12 13 16 18 20 23 26 30 31 36 37 39 47 52 53 54 62 64 70 71 77 78 81 82 83 85 90 94 95 96 98 103 104 112 114 116 120 121 122 124 128 129 133 140 141 148 149 150 151 153 156 162 168 177 178 183 184 187 190 194 196 197 217 218 219 220 221 222 223 227 228 231 233 234 239 240 249 254 257 258 269 271 275 278 282 286 289 290 294 295 296 298 307 309 312 313 315 316 323 326 328 331 332 333 334 344 346 347 355 356 358 359 360 364 368 371 372 375 376 379 384 385 399 401 404 410 419 423 427 429 435 439 440 442 443 448 452 453 a 1 2 3 4 12 13 16 18 20 23 26 30 31 36 37 39 47 52 53 54 62 64 70 71 77 78 81 82 83 85 90 94 95 96 98 104 112 114 116 120 121 122 124 128 129 133 140 141 148 149 150 151 153 156 162 168 169 177 178 183 184 187 190 194 196 197 217 218 219 220 221 222 223 227 228 231 233 234 239 240 249 254 257 258 269 271 275 278 282 286 289 290 294 295 296 298 307 309 312 313 315 316 323 326 328 331 332 333 334 344 346 347 355 356 358 359 360 364 368 371 372 375 376 379 384 385 399 401 404 410 419 423 427 429 435 439 440 442 443 448 452 453 a 1 2 3 4 12 13 16 18 20 23 24 26 30 31 36 37 39 47 52 53 62 64 70 71 77 78 81 82 83 85 90 94 95 96 98 104 112 114 116 120 121 122 124 128 129 133 140 141 148 149 150 151 153 156 162 168 169 177 178 183 184 187 190 194 196 197 217 218 219 220 221 222 223 227 228 231 233 234 239 240 249 254 257 258 269 271 275 278 282 286 289 290 294 295 296 298 307 309 312 313 315 316 323 326 328 331 332 333 334 344 346 347 355 356 358 359 360 364 368 371 372 375 376 379 384 385 399 401 404 410 419 423 427 429 435 439 440 442 443 448 452 453 a 1 2 3 4 12 13 16 18 20 23 24 26 30 31 36 37 39 47 52 53 62 64 70 71 77 78 81 82 83 85 90 94 95 96 98 104 112 114 116 120 121 122 124 128 129 133 140 141 148 149 150 151 153 156 162 168 169 177 178 183 184 187 190 194 196 197 217 218 219 220 221 222 223 227 228 231 233 234 239 240 249 254 257 258 269 271 275 278 282 286 289 290 294 295 296 298 307 312 313 315 316 323 326 328 331 332 333 334 344 346 347 355 356 358 359 360 364 368 371 372 375 376 379 384 385 393 399 401 404 410 419 423 427 429 435 439 440 442 443 448 452 453 a 1 2 3 4 12 13 16 18 20 23 24 26 30 31 36 37 39 47 52 53 62 64 70 71 77 78 81 82 83 85 90 94 95 96 98 104 112 114 116 120 121 122 124 128 129 133 140 141 148 149 150 151 153 154 156 162 168 169 177 178 183 184 187 190 194 196 197 217 218 219 220 221 222 223 227 228 231 233 234 239 240 249 254 257 258 269 271 278 282 286 289 290 294 295 296 298 307 312 313 315 316 323 326 328 331 332 333 334 344 346 347 355 356 358 359 360 364 368 371 372 375 376 379 384 385 393 399 401 404 410 419 423 427 429 435 439 440 442 443 448 452 453 a 1 2 3 4 12 13 16 18 20 23 24 26 30 31 36 37 39 47 49 52 53 62 64 70 77 78 81 82 83 85 90 94 95 96 98 104 112 114 116 120 121 122 124 128 129 133 140 141 148 149 150 151 153 154 156 162 168 169 177 178 183 184 187 190 194 196 197 217 218 219 220 221 222 223 227 228 231 233 234 239 240 249 254 257 258 269 271 278 282 286 289 290 294 295 296 298 307 312 313 315 316 323 326 328 331 332 333 334 344 346 347 355 356 358 359 360 364 368 371 372 375 376 379 384 385 393 399 401 404 410 419 423 427 429 435 439 440 442 443 448 452 453 a 1 2 3 4 12 13 16 18 20 23 24 26 30 31 36 37 39 47 49 52 53 62 64 70 77 78 81 82 83 85 90 94 95 96 98 104 112 114 116 120 121 122 124 128 129 133 140 141 148 149 150 151 153 154 156 162 169 177 178 183 184 187 190 194 196 197 217 218 219 220 221 222 223 227 228 231 233 234 239 240 249 254 257 258 269 271 278 282 286 287 289 290 294 295 296 298 307 312 313 315 316 323 326 328 331 332 333 334 344 346 347 355 356 358 359 360 364 368 371 372 375 376 379 384 385 393 399 401 404 410 419 423 427 429 435 439 440 442 443 448 452 453 a 1 2 3 4 12 13 16 18 20 23 24 26 30 31 36 37 39 47 49 52 53 62 64 70 77 78 81 82 83 85 90 94 95 96 98 104 112 114 116 120 121 122 128 129 133 140 141 148 149 150 151 153 154 156 162 169 177 178 183 184 187 190 194 196 197 210 217 218 219 220 221 222 223 227 228 231 233 234 239 240 249 254 257 258 269 271 278 282 286 287 289 290 294 295 296 298 307 312 313 315 316 323 326 328 331 332 333 334 344 346 347 355 356 358 359 360 364 368 371 372 375 376 379 384 385 393 399 401 404 410 419 423 427 429 435 439 440 442 443 448 452 453 a 1 2 3 4 12 13 16 18 20 23 24 26 30 31 36 37 39 47 49 52 53 62 64 70 77 78 81 82 83 85 90 94 95 96 98 104 112 114 116 121 122 128 129 133 140 141 148 149 150 151 153 154 156 162 169 177 178 183 184 187 190 194 196 197 210 217 218 219 220 221 222 223 227 228 231 233 234 239 240 249 254 257 258 269 271 278 282 286 287 289 290 294 295 296 298 307 312 313 315 316 323 326 328 331 332 333 334 344 346 347 355 356 358 359 360 364 368 371 372 375 376 379 384 385 393 399 401 404 410 419 423 427 429 435 439 440 442 443 445 448 452 453 a 1 2 3 4 12 13 16 18 20 23 24 26 30 31 36 37 39 47 49 52 53 62 64 70 77 78 81 82 83 85 90 94 95 96 98 104 112 116 121 122 128 129 133 140 141 148 149 150 151 153 154 156 162 165 169 177 178 183 184 187 190 194 196 197 210 217 218 219 220 221 222 223 227 228 231 233 234 239 240 249 254 257 258 269 271 278 282 286 287 289 290 294 295 296 298 307 312 313 315 316 323 326 328 331 332 333 334 344 346 347 355 356 358 359 360 364 368 371 372 375 376 379 384 385 393 399 401 404 410 419 423 427 429 435 439 440 442 443 445 448 452 453 a 1 2 3 4 12 13 16 18 20 23 24 26 30 31 36 39 47 49 52 53 62 64 70 77 78 81 82 83 85 90 94 95 96 98 104 112 116 121 122 128 129 133 140 141 148 149 150 151 153 154 156 162 165 169 177 178 183 184 187 190 194 196 197 210 217 218 219 220 221 222 223 227 228 231 233 234 239 240 249 254 257 258 269 271 278 282 286 287 289 290 294 295 296 298 307 312 313 315 316 323 326 328 331 332 333 334 344 346 347 355 356 358 359 360 364 368 371 372 374 375 376 379 384 385 393 399 401 404 410 419 423 427 429 435 439 440 442 443 445 448 452 453 a 1 2 3 4 12 13 16 18 20 23 24 26 30 31 36 39 47 49 52 53 62 64 70 77 78 81 82 83 85 90 94 95 96 98 104 112 116 121 122 128 129 133 140 148 149 150 151 153 154 156 162 165 169 177 178 183 184 187 190 194 196 197 210 217 218 219 220 221 222 223 227 228 231 233 234 239 240 249 254 257 258 269 271 278 282 286 287 289 290 294 295 296 298 307 312 313 315 316 323 326 328 331 332 333 334 344 346 347 355 356 358 359 360 364 368 371 372 374 375 376 379 384 385 393 399 401 404 410 419 423 427 429 432 435 439 440 442 443 445 448 452 453 a 1 2 3 4 12 13 16 18 20 23 24 26 30 31 36 39 47 49 52 53 62 64 70 77 78 82 83 85 90 94 95 96 98 104 112 116 121 122 128 129 133 140 148 149 150 151 153 154 156 162 165 169 177 178 183 184 187 190 194 196 197 210 217 218 219 220 221 222 223 227 228 231 233 234 239 240 249 254 257 258 269 271 278 282 286 287 289 290 294 295 296 298 307 312 313 315 316 323 326 328 331 332 333 334 344 346 347 355 356 358 359 360 364 368 371 372 374 375 376 379 384 385 393 398 399 401 404 410 419 423 427 429 432 435 439 440 442 443 445 448 452 453 c Step: 127 Command being timed: "python3 run_3.py --existent /benchmark/random_instance/random_instance035_graph004.col /benchmark/random_instance/random_instance035_graph004_01.dat" User time (seconds): 63.90 System time (seconds): 0.13 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:04.04 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): 328236 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 116814 Voluntary context switches: 23 Involuntary context switches: 130 Swaps: 0 File system inputs: 0 File system outputs: 896 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 10:37:50 2023]