#BEGIN: [Mon Sep 4 10:37:18 2023] #HOST: s15 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance036_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance036_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 /benchmark/random_instance/random_instance036_graph002.col /benchmark/random_instance/random_instance036_graph002_01.dat c /benchmark/random_instance/random_instance036_graph002.col c /benchmark/random_instance/random_instance036_graph002_01.dat *** Info : (clingo): INTERRUPTED by signal! s 152 404 182 177 157 124 2 106 132 170 109 69 450 281 139 185 37 468 295 278 194 248 148 47 454 167 120 95 359 67 240 39 179 44 402 313 52 315 425 64 464 29 217 292 97 184 190 154 237 43 284 380 82 306 126 246 310 202 407 6 59 224 172 247 453 183 125 27 58 89 166 140 110 399 396 327 164 287 291 296 297 85 252 76 419 45 466 73 13 253 5 307 86 448 71 294 117 130 236 9 392 411 155 302 150 271 65 135 203 349 369 218 378 191 326 452 201 457 410 231 372 32 338 345 200 87 330 215 398 142 23 186 273 165 427 324 230 28 443 333 251 272 181 42 149 299 1 205 420 119 422 351 436 t 204 405 347 88 394 412 259 401 314 37 8 29 454 74 158 150 386 306 462 281 77 43 171 456 437 318 151 143 297 467 280 55 261 46 109 457 125 167 324 398 209 443 31 185 391 101 172 295 273 95 278 40 54 38 272 128 466 433 11 409 39 192 181 73 137 214 120 45 157 428 408 411 191 323 175 236 232 19 277 430 434 224 445 78 325 21 447 97 344 333 327 356 274 390 66 348 234 326 243 195 135 216 292 108 423 117 422 413 36 168 84 307 459 149 53 219 194 396 155 240 361 249 145 251 148 33 211 296 419 1 255 136 96 217 64 156 293 203 436 20 340 212 173 353 289 410 322 407 399 377 349 230 420 a YES a 1 2 5 6 9 13 23 27 28 29 32 37 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 135 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 177 179 181 182 183 184 185 186 190 191 194 200 201 202 203 205 215 217 218 224 230 231 236 237 240 246 247 248 251 252 253 271 272 273 278 281 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 327 330 333 338 345 349 351 359 369 372 378 380 392 396 398 399 402 404 407 410 411 419 420 422 425 427 436 443 448 450 452 453 454 457 464 466 468 a 1 2 5 6 9 13 23 27 28 29 32 37 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 135 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 177 179 181 182 183 184 185 186 190 191 194 200 201 202 203 205 215 217 218 224 228 230 231 236 237 240 246 247 248 251 252 253 271 272 273 278 281 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 327 330 333 338 345 349 351 359 369 372 378 380 392 396 398 399 402 404 407 410 411 419 420 422 425 427 436 443 448 450 452 453 454 457 464 466 468 a 1 2 5 6 9 13 23 27 28 29 32 37 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 135 139 140 142 148 149 150 152 154 155 157 164 165 167 170 172 177 179 181 182 183 184 185 186 190 191 194 200 201 202 203 205 215 217 218 224 228 230 231 236 237 240 246 247 248 251 252 253 271 272 273 278 281 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 327 330 333 338 345 349 351 359 369 372 378 380 392 396 398 399 402 404 407 410 411 419 420 422 425 427 436 443 448 450 452 453 454 457 462 464 466 468 a 1 2 5 6 9 13 23 27 28 29 32 37 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 135 139 140 142 148 149 150 152 154 155 157 164 165 167 170 172 177 179 181 182 183 184 185 186 190 191 194 200 202 203 205 215 217 218 224 228 230 231 236 237 240 246 247 248 251 252 253 271 272 273 278 281 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 327 330 333 338 345 349 351 359 369 372 377 378 380 392 396 398 399 402 404 407 410 411 419 420 422 425 427 436 443 448 450 452 453 454 457 462 464 466 468 a 1 2 5 6 9 13 23 27 28 29 32 37 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 85 86 87 89 95 97 106 110 117 119 120 124 125 126 130 132 135 139 140 142 148 149 150 152 154 155 157 164 165 167 170 172 177 179 181 182 183 184 185 186 190 191 194 200 202 203 205 215 217 218 224 228 230 231 236 237 240 246 247 248 251 252 253 271 272 273 278 281 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 327 330 333 338 345 349 351 359 362 369 372 377 378 380 392 396 398 399 402 404 407 410 411 419 420 422 425 427 436 443 448 450 452 453 454 457 462 464 466 468 a 1 2 5 6 9 13 23 27 28 29 32 37 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 85 86 87 89 95 97 106 110 117 119 120 124 125 126 130 132 135 139 140 142 148 149 150 152 154 155 157 164 165 167 170 172 177 179 181 182 183 184 185 186 190 191 194 200 201 202 203 205 215 217 218 224 228 230 231 236 237 240 246 247 248 251 252 253 271 272 273 278 281 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 327 330 333 338 345 349 351 359 362 369 372 378 380 392 396 398 399 402 404 407 410 411 419 420 422 425 427 436 443 448 450 452 453 454 457 462 464 466 468 a 1 2 5 6 9 13 23 27 28 29 30 32 37 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 85 86 87 89 95 97 106 110 117 119 120 124 125 126 130 132 135 139 140 142 148 149 150 152 154 155 157 164 165 167 170 172 177 179 181 182 183 184 185 186 190 191 194 200 201 202 203 205 215 217 218 224 228 230 231 236 237 240 246 247 248 251 252 253 271 272 273 278 281 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 327 330 333 338 345 349 351 359 362 369 372 378 380 392 396 398 402 404 407 410 411 419 420 422 425 427 436 443 448 450 452 453 454 457 462 464 466 468 a 1 2 5 6 9 13 23 27 28 30 32 37 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 85 86 87 89 95 97 106 110 117 119 120 124 125 126 130 132 135 139 140 142 148 149 150 152 154 155 157 164 165 167 170 172 177 179 181 182 183 184 185 186 190 191 193 194 200 201 202 203 205 215 217 218 224 228 230 231 236 237 240 246 247 248 251 252 253 271 272 273 278 281 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 327 330 333 338 345 349 351 359 362 369 372 378 380 392 396 398 402 404 407 410 411 419 420 422 425 427 436 443 448 450 452 453 454 457 462 464 466 468 a 1 2 5 6 9 13 23 27 28 30 32 37 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 83 85 86 87 89 95 97 106 110 117 119 120 124 125 126 130 132 135 139 140 142 148 149 150 152 154 155 157 164 165 167 170 172 177 179 181 182 183 184 185 186 190 191 193 194 200 201 202 203 205 215 217 218 224 228 230 231 236 237 240 246 247 248 251 252 253 271 272 273 278 281 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 327 330 333 345 349 351 359 362 369 372 378 380 392 396 398 402 404 407 410 411 419 420 422 425 427 436 443 448 450 452 453 454 457 462 464 466 468 a 1 2 5 6 9 13 23 27 28 30 32 37 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 83 85 86 87 89 95 97 106 110 117 119 120 124 125 126 130 132 135 139 140 142 148 149 150 152 154 155 157 164 165 167 170 172 177 179 181 182 183 184 185 186 190 191 193 194 200 201 202 203 205 215 217 218 224 228 230 231 236 237 240 246 247 248 251 252 253 271 272 273 278 281 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 327 330 333 345 346 349 351 359 362 369 372 378 380 392 396 398 402 404 407 410 411 419 420 422 425 427 436 443 448 450 452 453 457 462 464 466 468 a 1 2 5 6 9 13 23 27 28 30 32 37 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 83 85 86 87 89 95 97 106 110 117 119 120 124 125 126 130 132 135 139 140 142 148 149 150 152 154 155 157 164 165 167 170 172 177 179 181 182 183 184 185 186 190 191 193 194 200 201 202 203 205 215 217 218 224 228 230 231 236 237 240 246 247 248 251 252 253 271 272 278 281 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 327 330 333 345 346 349 351 359 362 369 372 375 378 380 392 396 398 402 404 407 410 411 419 420 422 425 427 436 443 448 450 452 453 457 462 464 466 468 a 1 2 5 6 9 13 23 27 28 30 32 37 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 83 85 86 87 89 95 97 106 110 117 119 120 124 125 126 130 132 135 139 140 142 148 149 150 152 154 155 157 164 165 167 170 172 177 179 181 182 183 184 185 186 190 191 193 194 200 201 202 203 205 215 217 218 224 228 230 231 236 237 239 240 246 247 248 251 252 253 271 272 278 281 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 327 330 333 345 346 349 351 359 362 369 372 375 378 380 392 396 398 402 404 407 410 419 420 422 425 427 436 443 448 450 452 453 457 462 464 466 468 a 1 2 5 6 9 13 23 27 28 30 32 37 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 83 85 86 87 89 95 97 106 110 117 119 120 124 125 126 130 132 135 139 140 142 148 149 150 152 154 155 157 164 165 167 170 172 177 179 181 182 183 184 185 186 190 191 193 194 200 201 203 205 215 217 218 224 228 230 231 236 237 239 240 246 247 248 251 252 253 271 272 278 281 284 287 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 327 330 333 345 346 349 351 359 362 369 372 375 378 380 392 396 398 402 404 407 408 410 419 420 422 425 427 436 443 448 450 452 453 457 462 464 466 468 a 1 2 5 6 9 13 23 27 28 30 32 37 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 83 85 86 87 89 95 97 106 110 117 119 120 124 125 126 130 132 135 139 140 142 148 149 150 152 154 155 157 164 165 167 170 172 177 179 181 182 183 184 185 186 190 191 193 194 200 201 203 205 215 217 218 224 228 230 231 236 237 239 240 246 247 248 251 252 253 266 271 272 278 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 327 330 333 345 346 349 351 359 362 369 372 375 378 380 392 396 398 402 404 407 408 410 419 420 422 425 427 436 443 448 450 452 453 457 462 464 466 468 a 1 2 5 6 9 13 23 27 28 30 32 37 38 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 83 85 86 87 89 95 97 106 110 117 119 120 124 125 126 130 132 135 139 140 142 148 149 150 152 154 155 157 164 165 167 170 172 177 179 181 182 183 184 185 186 190 191 193 194 200 201 203 215 217 218 224 228 230 231 236 237 239 240 246 247 248 251 252 253 266 271 272 278 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 327 330 333 345 346 349 351 359 362 369 372 375 378 380 392 396 398 402 404 407 408 410 419 420 422 425 427 436 443 448 450 452 453 457 462 464 466 468 a 1 2 5 6 9 13 23 27 28 32 37 38 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 83 85 86 87 89 95 97 106 110 117 119 120 124 125 126 130 132 135 139 140 142 148 149 150 152 154 155 157 164 165 167 170 172 177 179 181 182 183 184 185 186 190 191 193 194 200 201 203 215 217 218 224 228 230 231 236 237 239 240 246 247 248 251 252 253 266 271 272 278 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 327 330 333 345 346 349 351 359 362 369 372 375 378 380 392 396 398 399 402 404 407 408 410 419 420 422 425 427 436 443 448 450 452 453 457 462 464 466 468 a 1 2 5 6 9 13 23 27 28 32 37 38 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 83 85 86 87 89 95 97 106 110 117 119 120 124 125 126 130 132 135 139 140 142 148 149 150 152 154 155 157 164 165 167 170 172 177 179 181 183 184 185 186 187 190 191 193 194 200 201 203 215 217 218 224 228 230 231 236 237 239 240 246 247 248 251 252 253 266 271 272 278 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 324 326 327 330 333 345 346 349 351 359 362 369 372 375 378 380 392 396 398 399 402 404 407 408 410 419 420 422 425 427 436 443 448 450 452 453 457 462 464 466 468 a 1 2 5 6 9 13 23 27 28 32 37 38 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 83 85 86 87 89 95 97 106 110 117 119 120 124 125 126 130 132 135 139 140 142 148 149 150 152 154 155 157 164 165 167 170 172 177 181 183 184 185 186 187 190 191 193 194 200 201 203 215 217 218 224 228 230 231 236 237 239 240 246 247 248 251 252 253 266 271 272 278 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 318 324 326 327 330 333 345 346 349 351 359 362 369 372 375 378 380 392 396 398 399 402 404 407 408 410 419 420 422 425 427 436 443 448 450 452 453 457 462 464 466 468 a 1 2 5 6 9 13 23 27 28 32 37 38 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 83 85 86 87 89 95 97 106 110 117 119 120 124 125 126 130 132 135 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 177 181 183 184 185 186 187 190 191 193 194 200 201 203 215 217 218 224 228 230 231 236 237 239 240 246 247 248 251 252 253 266 271 272 278 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 318 324 326 327 330 333 345 346 349 351 359 362 369 372 375 378 380 392 396 398 399 402 404 407 408 410 419 420 422 425 427 436 443 448 450 452 453 457 464 466 468 a 1 2 5 6 9 13 23 27 28 32 37 38 41 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 83 85 86 87 89 95 97 106 110 117 119 120 124 125 126 130 132 135 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 177 181 183 184 185 186 187 190 191 193 194 200 201 203 215 217 218 224 228 230 231 236 237 239 240 246 247 248 251 252 253 266 271 272 278 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 318 324 326 327 330 333 345 346 349 351 359 362 369 372 375 378 380 392 396 398 399 402 404 407 408 410 419 420 422 425 427 436 443 448 450 452 453 457 464 468 a 1 2 5 6 9 13 23 27 28 32 35 37 38 41 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 83 85 86 87 89 95 97 106 110 117 119 120 124 125 126 130 132 135 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 177 181 183 184 185 186 187 190 191 193 194 200 201 203 215 217 218 224 228 230 231 236 237 239 240 246 247 248 251 252 253 266 271 272 278 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 318 324 327 330 333 345 346 349 351 359 362 369 372 375 378 380 392 396 398 399 402 404 407 408 410 419 420 422 425 427 436 443 448 450 452 453 457 464 468 a 1 2 5 6 9 13 23 27 28 32 35 37 38 41 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 83 85 86 87 89 95 97 106 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 177 181 183 184 185 186 187 190 191 193 194 200 201 203 215 217 218 224 228 230 231 236 237 239 240 246 247 248 251 252 253 266 271 272 278 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 318 324 327 330 333 345 346 349 351 359 362 369 372 375 378 380 392 396 398 399 402 404 407 408 410 419 420 422 425 427 429 436 443 448 450 452 453 457 464 468 a 1 2 5 6 9 13 23 27 28 32 35 37 38 41 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 83 85 86 87 89 95 97 106 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 177 181 183 184 185 186 187 190 191 193 194 200 201 203 215 217 218 224 228 230 231 236 237 239 240 246 247 248 251 252 253 266 271 272 278 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 318 324 330 333 345 346 349 351 359 362 369 372 375 378 380 392 396 398 399 402 404 407 408 410 419 420 422 425 427 429 432 436 443 448 450 452 453 457 464 468 a 1 2 5 6 9 13 23 27 28 32 35 37 38 41 42 43 44 45 47 52 58 59 64 65 67 69 71 73 75 76 82 83 85 86 87 89 95 97 106 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 177 181 183 184 185 186 187 190 191 193 194 200 201 203 215 217 218 224 228 230 231 236 237 239 240 246 247 248 251 252 253 266 271 272 278 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 318 324 330 333 345 346 351 359 362 369 372 375 378 380 392 396 398 399 402 404 407 408 410 419 420 422 425 427 429 432 436 443 448 450 452 453 457 464 468 a 1 2 5 6 9 13 23 27 28 32 35 37 38 41 42 43 44 45 47 52 58 59 64 65 67 69 71 73 75 76 82 83 85 86 87 89 95 97 106 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 177 181 183 184 185 186 187 190 191 193 194 200 201 203 215 217 218 224 228 230 231 236 237 239 240 246 247 248 251 252 253 266 271 272 278 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 318 324 330 333 345 346 351 359 362 369 372 375 378 380 392 396 398 399 402 404 407 408 410 419 420 422 425 427 429 432 435 436 443 448 450 452 457 464 468 a 1 2 5 6 9 13 23 27 28 32 35 37 38 41 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 83 85 86 87 89 95 97 106 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 177 181 183 184 185 186 187 190 191 193 194 200 201 203 215 217 218 224 228 230 231 236 237 239 240 246 247 248 251 252 253 266 271 272 278 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 318 324 330 333 345 346 349 351 359 362 369 372 375 378 380 392 396 398 399 402 404 407 408 410 419 420 422 425 427 429 432 435 436 443 448 450 452 457 464 468 a 1 2 5 6 9 13 23 27 28 32 35 37 38 41 42 44 45 47 52 58 59 64 65 67 69 71 73 76 82 83 85 86 87 89 95 97 106 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 177 181 183 184 185 186 187 190 191 193 194 200 201 203 215 217 218 224 228 230 231 236 237 239 240 246 247 248 251 252 253 266 271 272 278 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 318 324 330 333 345 346 349 351 359 360 362 369 372 375 378 380 392 396 398 399 402 404 407 408 410 419 420 422 425 427 429 432 435 436 443 448 450 452 457 464 468 a 1 2 5 6 9 13 23 27 28 32 35 37 38 41 42 44 45 47 52 58 59 64 65 67 69 71 73 76 82 83 85 86 87 89 95 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 177 181 183 184 185 186 187 190 191 193 194 200 201 203 215 217 218 224 228 230 231 236 237 239 240 246 247 248 251 252 253 266 271 272 278 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 318 324 330 333 345 346 349 351 359 360 369 372 375 378 380 392 396 398 399 402 404 407 408 410 419 420 422 425 427 429 432 435 436 443 448 450 452 457 464 468 a 1 2 5 6 9 13 27 28 32 35 37 38 41 42 44 45 47 52 58 59 64 65 67 69 71 73 76 82 83 85 86 87 89 95 97 106 107 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 177 181 183 184 185 186 187 190 191 193 194 200 201 203 215 217 218 224 228 230 231 236 237 239 240 246 247 248 251 252 253 266 271 272 278 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 318 324 330 333 345 346 349 351 359 360 369 372 375 378 380 392 396 398 399 402 404 407 408 410 419 420 422 425 427 429 432 435 436 443 448 450 452 457 464 468 a 1 2 5 9 13 27 28 32 35 37 38 41 42 44 45 47 52 58 59 64 65 67 69 71 73 76 82 83 85 86 87 89 95 97 106 107 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 177 181 183 184 185 186 187 190 191 193 194 195 200 201 203 215 217 218 224 228 230 231 236 237 239 240 246 247 248 251 252 253 266 271 272 278 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 318 324 330 333 345 346 349 351 359 360 369 372 375 378 380 392 396 398 399 402 404 407 408 410 419 420 422 425 427 429 432 435 436 443 448 450 452 457 464 468 a 1 2 5 9 13 23 27 28 32 35 37 38 41 42 44 45 47 52 58 59 64 65 67 69 71 73 76 82 83 85 86 87 89 95 97 106 107 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 177 181 183 184 185 186 187 190 191 193 194 195 200 201 203 215 217 218 224 228 230 231 236 237 239 240 246 247 248 251 252 253 266 271 272 278 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 318 324 333 345 346 349 351 359 360 369 372 375 378 380 392 396 398 399 402 404 407 408 410 419 420 422 425 427 429 432 435 436 443 448 450 452 457 464 468 a 1 2 5 9 13 23 27 28 32 35 37 38 41 42 44 45 47 52 58 59 64 65 67 69 71 73 76 82 83 85 86 87 89 95 97 106 107 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 181 183 184 185 186 187 190 191 193 194 195 200 201 203 215 217 218 224 228 230 231 234 236 237 239 240 246 247 248 251 252 253 266 271 272 278 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 318 324 333 345 346 349 351 359 360 369 372 375 378 380 392 396 398 399 402 404 407 408 410 419 420 422 425 427 429 432 435 436 443 448 450 452 457 464 468 a 1 2 5 9 11 13 23 27 28 32 35 37 38 41 42 44 45 47 52 58 59 64 65 67 69 71 73 76 82 83 85 86 87 89 95 97 106 107 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 181 183 184 185 186 187 190 191 193 194 195 200 201 203 215 217 218 224 228 230 231 234 236 237 239 240 246 247 248 251 252 253 266 271 272 278 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 318 324 333 345 346 349 351 359 360 369 372 375 378 392 396 398 399 402 404 407 408 410 419 420 422 425 427 429 432 435 436 443 448 450 452 457 464 468 a 1 2 5 9 11 13 23 27 28 32 35 37 38 41 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 83 85 86 87 89 95 97 106 107 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 181 183 184 185 186 187 190 191 193 194 195 200 201 203 215 217 218 224 228 230 231 234 236 237 239 240 246 247 248 251 252 253 266 271 272 278 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 318 324 333 345 346 349 351 359 369 372 375 378 392 396 398 399 402 404 407 408 410 419 420 422 425 427 429 432 435 436 443 448 450 452 457 464 468 a 1 2 5 9 11 13 23 27 28 32 35 37 38 39 41 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 83 85 86 87 89 95 97 106 107 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 181 183 184 185 186 187 190 191 193 194 195 200 201 203 215 217 218 224 230 231 234 236 237 239 240 246 247 248 251 252 253 266 271 272 278 281 284 291 292 294 295 296 297 299 302 306 307 310 313 315 318 324 333 345 346 349 351 359 369 372 375 378 392 396 398 399 402 404 407 408 410 419 420 422 425 427 429 432 435 436 443 448 450 452 457 464 468 a 1 2 5 9 11 13 23 27 28 32 35 37 38 39 41 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 82 83 85 86 87 89 95 97 106 107 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 181 183 184 185 186 187 190 191 193 194 195 200 201 203 215 217 218 224 230 231 234 236 237 239 240 246 247 248 251 252 253 266 271 272 278 281 291 292 294 295 296 297 299 302 306 307 310 313 315 318 324 327 333 345 346 349 351 359 369 372 375 378 392 396 398 399 402 404 407 408 410 419 420 422 425 427 429 432 435 436 443 448 450 452 457 464 468 a 1 2 5 9 11 13 23 27 28 32 35 37 38 39 41 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 83 85 86 87 89 95 96 97 106 107 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 181 183 184 185 186 187 190 191 193 194 195 200 201 203 215 217 218 224 230 231 234 236 237 239 240 246 247 248 251 252 253 266 271 272 278 281 291 292 294 295 296 297 299 302 306 307 310 313 315 318 324 327 333 345 346 349 351 359 369 372 375 378 392 396 398 399 402 404 407 408 410 419 420 422 425 427 429 432 435 436 443 448 450 452 457 464 468 a 1 2 5 9 11 13 21 23 27 28 32 35 37 38 39 41 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 83 85 86 87 89 95 96 97 106 107 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 181 184 185 186 187 190 191 193 194 195 200 201 203 215 217 218 224 230 231 234 236 237 239 240 246 247 248 251 252 253 266 271 272 278 281 291 292 294 295 296 297 299 302 306 307 310 313 315 318 324 327 333 345 346 349 351 359 369 372 375 378 392 396 398 399 402 404 407 408 410 419 420 422 425 427 429 432 435 436 443 448 450 452 457 464 468 a 1 2 5 9 11 13 21 23 27 28 32 35 37 38 39 41 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 83 85 86 87 89 95 96 97 106 107 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 181 184 185 186 187 190 191 193 194 195 200 201 203 215 217 218 224 230 231 234 236 237 239 240 246 247 248 251 252 253 266 271 272 273 278 281 291 292 294 295 296 297 299 302 306 307 310 313 315 318 324 327 333 345 346 349 351 359 369 372 378 392 396 398 399 402 404 407 408 410 419 420 422 425 427 429 432 435 436 443 448 450 452 457 464 468 a 1 2 5 9 11 13 21 23 27 28 32 35 37 38 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 83 85 86 87 89 95 96 97 106 107 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 181 184 185 186 187 190 191 193 194 195 200 201 203 215 217 218 224 230 231 234 236 237 239 240 246 247 248 251 252 253 266 271 272 273 278 281 291 292 294 295 296 297 299 302 306 307 310 313 315 318 324 327 333 345 346 349 351 359 369 372 378 392 396 398 399 402 404 407 408 410 419 420 422 425 427 429 432 435 436 443 448 450 452 457 464 466 468 a 1 2 5 9 11 13 21 23 27 28 32 35 37 38 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 83 85 86 87 89 95 96 97 106 107 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 166 167 170 172 181 184 185 186 187 190 191 193 194 195 200 201 203 211 215 217 218 224 230 231 234 236 237 239 240 246 247 248 251 252 253 266 271 272 273 278 281 291 292 294 295 296 297 299 302 306 307 310 313 315 318 324 327 333 345 346 349 359 369 372 378 392 396 398 399 402 404 407 408 410 419 420 422 425 427 429 432 435 436 443 448 450 452 457 464 466 468 a 1 2 5 9 11 13 21 23 27 28 32 35 37 38 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 83 85 86 87 89 95 96 97 106 107 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 167 170 172 181 184 185 186 187 190 191 193 194 195 200 201 203 211 215 217 218 224 230 231 234 236 237 239 240 246 247 248 251 252 253 266 271 272 273 278 281 291 292 294 295 296 297 299 302 306 307 310 313 315 318 324 327 333 345 346 349 359 369 372 378 392 396 398 399 402 404 407 408 410 419 420 422 425 427 429 432 435 436 443 448 450 452 457 462 464 466 468 a 1 2 5 9 11 13 21 23 27 28 32 35 37 38 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 83 85 86 87 89 95 96 97 106 107 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 167 170 172 181 184 185 186 187 190 191 193 194 195 200 201 203 211 212 215 217 218 224 230 231 234 236 237 240 246 247 248 251 252 253 266 271 272 273 278 281 291 292 294 295 296 297 299 302 306 307 310 313 315 318 324 327 333 345 346 349 359 369 372 378 392 396 398 399 402 404 407 408 410 419 420 422 425 427 429 432 435 436 443 448 450 452 457 462 464 466 468 a 1 2 5 9 11 13 21 23 27 28 32 35 37 38 39 42 43 44 45 47 52 58 59 64 65 67 69 71 73 76 83 85 86 87 89 95 96 97 106 107 109 110 117 119 120 124 125 126 130 132 139 140 142 148 149 150 152 154 155 157 164 165 167 170 172 181 184 185 186 190 191 193 194 195 200 201 203 211 212 214 215 217 218 224 230 231 234 236 237 240 246 247 248 251 252 253 266 271 272 273 278 281 291 292 294 295 296 297 299 302 306 307 310 313 315 318 324 327 333 345 346 349 359 369 372 378 392 396 398 399 402 404 407 408 410 419 420 422 425 427 429 432 435 436 443 448 450 452 457 462 464 466 468 a 1 2 5 9 11 13 21 23 27 28 32 35 37 38 39 42 43 44 45 47 52 58 59 64 65 67 71 73 76 83 85 86 87 89 95 96 97 106 107 109 110 117 119 120 124 125 126 130 132 139 140 142 145 148 149 150 152 154 155 157 164 165 167 170 172 181 184 185 186 190 191 193 194 195 200 201 203 211 212 214 215 217 218 224 230 231 234 236 237 240 246 247 248 251 252 253 266 271 272 273 278 281 291 292 294 295 296 297 299 302 306 307 310 313 315 318 324 327 333 345 346 349 359 369 372 378 392 396 398 399 402 404 407 408 410 419 420 422 425 427 429 432 435 436 443 448 450 452 457 462 464 466 468 a 1 2 5 9 11 13 21 23 27 32 35 37 38 39 42 43 44 45 47 52 53 58 59 64 65 67 71 73 76 83 85 86 87 89 95 96 97 106 107 109 110 117 119 120 124 125 126 130 132 139 140 142 145 148 149 150 152 154 155 157 164 165 167 170 172 181 184 185 186 190 191 193 194 195 200 201 203 211 212 214 215 217 218 224 230 231 234 236 237 240 246 247 248 251 252 253 266 271 272 273 278 281 291 292 294 295 296 297 299 302 306 307 310 313 315 318 324 327 333 345 346 349 359 369 372 378 392 396 398 399 402 404 407 408 410 419 420 422 425 427 429 432 435 436 443 448 450 452 457 462 464 466 468 a 1 2 5 9 11 13 21 23 27 32 35 37 38 39 42 43 44 45 47 52 53 58 59 64 65 67 71 73 76 83 85 86 87 89 95 96 97 106 107 109 110 117 119 120 124 125 126 130 132 139 140 142 145 148 149 150 152 154 155 157 164 165 167 170 172 181 184 185 186 190 191 193 194 195 200 201 203 211 212 214 215 217 218 224 230 231 234 236 237 240 246 247 248 251 252 253 266 271 272 273 278 281 291 292 294 295 296 297 299 302 306 307 310 313 315 318 324 327 333 345 346 349 359 369 372 378 392 396 398 399 402 404 407 408 410 411 419 420 422 425 427 429 435 436 443 448 450 452 457 462 464 466 468 a 1 2 5 9 11 13 21 23 27 32 35 37 38 39 42 43 44 45 47 52 53 58 59 64 65 67 71 73 76 83 85 86 87 89 95 96 97 106 107 109 110 117 119 120 124 125 126 130 132 139 140 142 145 148 149 150 152 154 155 157 164 165 167 170 172 181 184 185 186 190 191 192 193 194 195 200 201 203 211 212 214 215 217 218 224 230 231 234 236 237 240 246 247 248 251 252 253 266 271 272 273 278 281 291 292 294 295 296 297 299 302 306 307 310 313 315 318 324 327 333 345 346 349 369 372 378 392 396 398 399 402 404 407 408 410 411 419 420 422 425 427 429 435 436 443 448 450 452 457 462 464 466 468 a 1 2 5 9 11 13 21 23 27 32 35 37 38 39 42 43 44 45 47 52 53 58 59 64 65 67 71 73 76 83 85 86 87 89 95 96 97 106 107 109 110 117 119 120 124 125 126 130 132 139 140 142 145 148 149 150 152 154 155 157 164 165 167 170 172 181 184 185 186 190 191 192 193 194 195 200 201 203 211 212 214 215 217 218 224 230 231 234 236 237 240 246 247 248 251 252 253 266 271 272 273 278 281 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 327 333 345 346 349 369 372 378 392 396 398 399 402 404 407 408 410 411 419 420 422 425 427 429 435 436 443 448 450 452 457 462 464 466 468 a 1 2 5 9 11 13 21 23 27 29 32 35 37 38 39 42 43 44 45 47 52 53 58 59 64 65 67 71 73 76 83 85 86 87 89 95 96 97 106 107 109 110 117 119 120 124 125 126 130 132 139 140 142 145 148 149 150 152 154 155 157 164 165 167 170 172 181 184 185 186 190 191 192 194 195 200 201 203 211 212 214 215 217 218 224 230 231 234 236 237 240 246 247 248 251 252 253 266 271 272 273 278 281 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 327 333 345 346 349 369 372 378 392 396 398 399 402 404 407 408 410 411 419 420 422 425 427 429 435 436 443 448 450 452 457 462 464 466 468 a 1 2 5 9 11 13 21 23 27 29 32 35 37 38 39 42 43 44 45 52 53 58 59 64 65 67 71 73 76 83 85 86 87 89 95 96 97 106 107 109 110 117 119 120 124 125 126 130 132 139 140 142 145 148 149 150 152 154 155 157 164 165 167 170 172 181 184 185 186 190 191 192 194 195 200 201 203 211 212 214 215 217 218 224 230 231 234 236 237 240 246 247 248 251 252 253 266 271 272 273 278 281 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 327 333 345 346 349 369 372 378 392 396 398 399 402 404 407 408 410 411 419 420 422 425 427 429 435 436 443 447 448 450 452 457 462 464 466 468 a 1 2 5 9 11 13 21 23 27 29 32 35 37 38 39 42 43 44 45 52 53 58 59 64 65 67 71 73 76 83 85 86 87 89 95 96 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 145 148 149 150 152 154 155 157 164 165 167 170 172 181 184 185 186 190 191 192 194 195 200 201 203 211 212 214 215 217 218 224 230 231 234 236 237 240 246 247 248 251 252 253 266 271 272 273 278 281 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 327 333 345 346 348 349 369 372 378 392 396 398 399 402 404 407 408 410 411 419 420 422 425 427 429 435 436 443 447 448 450 452 457 462 464 466 468 a 1 2 5 9 11 21 23 27 29 32 35 37 38 39 42 43 44 45 52 53 58 59 64 65 67 71 73 76 83 85 86 87 89 95 96 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 143 145 148 149 150 152 154 155 157 164 165 167 170 172 181 184 185 186 190 191 192 194 195 200 201 203 211 212 214 215 217 218 224 230 231 234 236 237 240 246 247 248 251 252 253 266 271 272 273 278 281 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 327 333 345 346 348 349 369 372 378 392 396 398 399 402 404 407 408 410 411 419 420 422 425 427 429 435 436 443 447 448 450 452 457 462 464 466 468 a 1 2 5 9 11 21 23 27 29 32 35 37 38 39 42 43 44 45 52 53 58 59 64 65 67 71 73 76 83 85 86 87 89 95 96 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 143 145 148 149 150 152 154 155 157 164 165 167 170 172 181 184 185 186 190 191 192 194 195 200 201 203 211 212 214 215 217 218 224 230 231 234 236 237 240 246 247 248 251 252 253 266 271 272 273 278 281 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 327 333 345 346 348 349 369 372 378 392 396 398 399 402 404 407 408 410 411 419 420 422 425 427 429 430 436 443 447 448 450 452 457 462 464 466 468 a 1 2 5 9 11 21 23 27 29 32 35 37 38 39 42 43 44 45 52 53 58 59 64 65 67 71 73 76 83 85 86 87 89 95 96 97 106 109 110 117 119 120 124 125 126 130 132 139 140 142 143 145 148 149 150 152 154 155 157 165 167 170 172 181 184 185 186 190 191 192 194 195 200 201 203 211 212 214 215 217 218 224 230 231 234 236 237 240 246 247 248 251 252 253 266 271 272 273 278 281 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 327 333 345 346 348 349 369 372 378 386 392 396 398 399 402 404 407 408 410 411 419 420 422 425 427 429 430 436 443 447 448 450 452 457 462 464 466 468 a 1 2 5 9 11 21 23 27 29 32 35 37 38 39 42 43 44 45 52 53 58 59 64 65 67 71 73 76 83 85 86 87 89 95 96 97 106 109 110 117 119 120 124 125 126 130 139 140 142 143 145 148 149 150 152 154 155 157 165 167 170 172 181 184 185 186 190 191 192 194 195 200 201 203 211 212 214 215 217 218 224 230 231 234 236 237 240 246 247 248 251 252 253 266 271 272 273 278 281 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 327 333 345 346 348 349 356 369 372 378 386 392 396 398 399 402 404 407 408 410 411 419 420 422 425 427 429 430 436 443 447 448 450 452 457 462 464 466 468 a 1 2 5 9 11 21 23 27 29 32 35 36 37 38 39 42 43 44 45 52 53 58 59 64 65 67 71 73 76 83 85 86 87 89 95 96 97 106 109 110 117 119 120 124 125 126 130 139 140 142 143 145 148 149 150 152 154 155 157 165 167 170 172 181 184 185 186 190 191 192 194 195 201 203 211 212 214 215 217 218 224 230 231 234 236 237 240 246 247 248 251 252 253 266 271 272 273 278 281 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 327 333 345 346 348 349 356 369 372 378 386 392 396 398 399 402 404 407 408 410 411 419 420 422 425 427 429 430 436 443 447 448 450 452 457 462 464 466 468 a 1 2 5 9 11 21 23 27 29 31 32 35 36 37 38 39 42 43 44 45 52 53 58 59 64 65 67 71 73 76 83 85 86 87 89 95 96 97 106 109 110 117 119 120 124 125 126 130 139 140 142 143 145 148 149 150 152 154 155 157 165 167 170 172 181 184 185 186 190 191 192 194 195 201 203 211 212 214 215 217 218 224 230 231 234 236 237 240 246 247 248 251 252 253 266 271 272 273 278 281 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 327 333 345 346 348 349 356 369 372 378 386 392 396 398 399 402 404 407 408 410 411 419 420 422 425 427 430 436 443 447 448 450 452 457 462 464 466 468 a 1 2 5 9 11 21 23 27 29 31 32 35 36 37 38 39 42 43 44 45 52 53 58 59 64 65 67 71 73 76 83 85 86 87 89 95 96 97 106 109 110 117 119 120 124 125 126 130 139 140 142 143 145 148 149 150 152 154 155 157 165 167 170 172 181 184 185 186 190 191 192 194 195 201 203 211 212 214 215 217 218 224 230 231 234 236 237 240 247 248 251 252 253 266 271 272 273 278 281 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 327 333 345 346 348 349 356 361 369 372 378 386 392 396 398 399 402 404 407 408 410 411 419 420 422 425 427 430 436 443 447 448 450 452 457 462 464 466 468 a 1 2 5 9 11 21 23 27 29 31 32 35 36 37 38 39 42 43 44 45 52 53 58 59 64 65 66 67 71 73 76 83 85 86 87 89 95 96 97 106 109 110 117 119 120 124 125 126 130 139 140 142 143 145 148 149 150 152 154 155 157 165 167 170 172 181 184 185 186 191 192 194 195 201 203 211 212 214 215 217 218 224 230 231 234 236 237 240 247 248 251 252 253 266 271 272 273 278 281 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 327 333 345 346 348 349 356 361 369 372 378 386 392 396 398 399 402 404 407 408 410 411 419 420 422 425 427 430 436 443 447 448 450 452 457 462 464 466 468 a 1 2 5 9 11 21 23 27 29 31 32 35 36 37 38 39 42 43 44 45 52 53 58 59 64 65 66 67 71 73 76 83 85 86 87 89 95 96 97 106 109 110 117 119 120 124 125 126 130 140 142 143 145 148 149 150 152 154 155 157 165 167 170 172 181 184 185 186 191 192 194 195 201 203 211 212 214 215 217 218 224 230 231 234 236 237 240 247 248 251 252 253 266 271 272 273 278 281 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 327 333 345 346 348 349 356 361 369 372 378 386 392 396 398 399 402 404 407 408 410 411 419 420 422 425 427 430 434 436 443 447 448 450 452 457 462 464 466 468 a 1 2 5 9 11 21 23 27 29 31 32 35 36 37 38 39 42 43 44 45 52 53 58 59 64 65 66 67 71 73 76 77 85 86 87 89 95 96 97 106 109 110 117 119 120 124 125 126 130 140 142 143 145 148 149 150 152 154 155 157 165 167 170 172 181 184 185 186 191 192 194 195 201 203 211 212 214 215 217 218 224 230 231 234 236 237 240 247 248 251 252 253 266 271 272 273 278 281 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 327 333 345 346 348 349 356 361 369 372 378 386 392 396 398 399 402 404 407 408 410 411 419 420 422 425 427 430 434 436 443 447 448 450 452 457 462 464 466 468 a 1 2 5 9 11 21 23 27 29 31 32 35 36 37 38 39 42 43 44 45 52 53 58 59 64 65 66 67 71 73 76 77 85 86 87 89 95 96 97 106 109 110 117 119 120 124 125 126 130 140 142 143 145 148 149 150 152 154 155 157 165 167 170 172 181 184 185 186 191 192 194 195 201 203 211 212 214 215 217 218 224 230 231 234 236 237 240 247 248 251 252 253 266 271 272 273 278 281 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 327 333 346 348 349 356 361 369 372 378 386 392 396 398 399 402 404 407 408 410 411 419 420 422 425 427 430 434 436 443 447 448 450 452 457 462 464 466 467 468 a 1 2 5 9 11 21 23 27 29 31 32 35 36 37 38 39 42 43 44 45 52 53 58 59 64 65 66 67 71 73 76 77 85 86 87 89 95 96 97 106 109 110 117 119 120 124 125 126 128 130 140 142 143 145 148 149 150 152 154 155 157 165 167 170 172 181 184 185 186 191 192 194 195 201 203 211 212 214 215 217 218 224 230 231 234 236 237 240 247 248 251 253 266 271 272 273 278 281 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 327 333 346 348 349 356 361 369 372 378 386 392 396 398 399 402 404 407 408 410 411 419 420 422 425 427 430 434 436 443 447 448 450 452 457 462 464 466 467 468 a 1 2 5 9 11 21 23 27 29 31 32 35 36 37 38 39 42 43 44 45 52 53 58 59 64 65 66 67 71 73 76 77 85 86 87 89 95 96 97 106 109 110 117 119 120 124 125 126 128 130 140 142 143 145 148 149 150 152 154 155 156 157 165 167 170 172 181 184 185 186 191 192 194 195 203 211 212 214 215 217 218 224 230 231 234 236 237 240 247 248 251 253 266 271 272 273 278 281 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 327 333 346 348 349 356 361 369 372 378 386 392 396 398 399 402 404 407 408 410 411 419 420 422 425 427 430 434 436 443 447 448 450 452 457 462 464 466 467 468 a 1 2 5 9 11 21 23 27 29 31 32 35 36 37 38 39 42 43 44 45 52 53 58 59 64 65 66 67 71 73 76 77 85 86 87 89 95 96 97 106 109 110 117 119 120 124 125 126 128 130 140 142 143 145 148 149 150 152 154 155 156 157 165 167 170 172 181 184 185 186 191 192 194 195 203 211 212 214 215 217 218 224 230 231 234 236 237 240 247 248 251 253 266 271 272 273 278 281 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 327 333 346 348 349 356 361 372 378 386 392 396 398 399 402 404 407 408 410 411 419 420 422 425 427 430 434 436 437 443 447 448 450 452 457 462 464 466 467 468 a 1 2 5 9 11 21 23 27 29 31 32 35 36 37 38 39 42 43 44 45 52 53 58 59 64 65 66 67 71 73 76 77 85 86 87 89 95 96 97 106 109 110 117 119 120 124 125 126 128 130 140 142 143 145 148 149 150 152 154 155 156 157 165 167 170 172 181 184 185 186 191 192 194 195 203 211 212 214 215 217 218 224 230 231 234 236 237 240 247 248 251 253 266 271 272 273 278 281 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 327 333 348 349 356 361 372 378 386 392 396 398 399 402 404 407 408 410 411 419 420 422 425 427 430 434 436 437 443 447 448 450 452 454 457 462 464 466 467 468 a 1 2 5 9 11 21 23 27 29 31 32 35 36 37 38 39 42 43 44 45 52 53 58 59 64 65 66 71 73 76 77 85 86 87 89 95 96 97 106 108 109 110 117 119 120 124 125 126 128 130 140 142 143 145 148 149 150 152 154 155 156 157 165 167 170 172 181 184 185 186 191 192 194 195 203 211 212 214 215 217 218 224 230 231 234 236 237 240 247 248 251 253 266 271 272 273 278 281 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 327 333 348 349 356 361 372 378 386 392 396 398 399 402 404 407 408 410 411 419 420 422 425 427 430 434 436 437 443 447 448 450 452 454 457 462 464 466 467 468 a 1 2 5 9 11 21 23 27 29 31 32 35 36 37 38 39 42 43 44 45 52 53 58 59 64 65 66 71 73 76 77 85 86 87 89 95 96 97 106 108 109 110 117 119 120 124 125 126 128 130 140 143 145 148 149 150 152 154 155 156 157 165 167 170 172 181 184 185 186 191 192 194 195 203 211 212 214 215 217 218 224 230 231 234 236 237 240 247 248 251 253 266 271 272 273 278 281 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 327 333 348 349 356 361 372 378 386 392 396 398 399 402 404 407 408 410 411 419 420 422 425 427 430 434 436 437 443 447 448 450 452 454 456 457 462 464 466 467 468 a 1 2 5 9 11 21 23 27 29 31 32 35 36 37 38 39 42 43 44 45 52 53 58 59 64 65 66 71 73 76 77 85 86 87 89 95 96 97 106 108 109 117 119 120 124 125 126 128 130 140 143 145 148 149 150 152 154 155 156 157 165 167 170 172 181 184 185 186 191 192 194 195 203 204 211 212 214 215 217 218 224 230 231 234 236 237 240 247 248 251 253 266 271 272 273 278 281 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 327 333 348 349 356 361 372 378 386 392 396 398 399 402 404 407 408 410 411 419 420 422 425 427 430 434 436 437 443 447 448 450 452 454 456 457 462 464 466 467 468 a 1 2 5 9 11 21 23 27 29 31 32 35 36 37 38 39 42 43 44 45 52 53 58 59 64 65 66 71 73 76 77 85 87 89 95 96 97 106 108 109 117 119 120 124 125 126 128 130 140 143 145 148 149 150 152 154 155 156 157 165 167 168 170 172 181 184 185 186 191 192 194 195 203 204 211 212 214 215 217 218 224 230 231 234 236 237 240 247 248 251 253 266 271 272 273 278 281 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 327 333 348 349 356 361 372 378 386 392 396 398 399 402 404 407 408 410 411 419 420 422 425 427 430 434 436 437 443 447 448 450 452 454 456 457 462 464 466 467 468 a 1 2 5 9 11 21 23 27 29 31 32 35 36 37 38 39 42 43 44 45 52 53 59 64 65 66 71 73 76 77 85 87 89 95 96 97 106 108 109 117 119 120 124 125 126 128 130 140 143 145 148 149 150 152 154 155 156 157 165 167 168 170 172 181 184 185 186 191 192 194 195 203 204 211 212 214 215 217 218 224 230 231 234 236 237 240 247 248 251 253 266 271 272 273 278 281 289 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 327 333 348 349 356 361 372 378 386 392 396 398 399 402 404 407 408 410 411 419 420 422 425 427 430 434 436 437 443 447 448 450 452 454 456 457 462 464 466 467 468 a 1 2 5 9 11 21 23 27 29 31 32 35 36 37 38 39 42 43 44 45 52 53 59 64 65 66 71 73 76 77 85 87 89 95 96 97 106 108 109 117 119 120 124 125 126 128 130 140 143 145 148 149 150 152 154 155 156 157 165 167 168 170 172 181 184 185 186 191 192 194 195 203 204 211 212 214 215 217 218 224 230 231 234 236 237 240 247 248 251 253 266 271 272 273 278 281 289 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 327 333 348 349 356 361 372 378 386 392 396 398 399 401 402 404 407 408 410 411 419 420 422 425 430 434 436 437 443 447 448 450 452 454 456 457 462 464 466 467 468 a 1 2 5 9 11 21 23 27 29 31 32 35 36 37 38 39 42 43 44 45 53 59 64 65 66 71 73 76 77 85 87 89 95 96 97 106 108 109 117 119 120 124 125 126 128 130 140 143 145 148 149 150 152 154 155 156 157 165 167 168 170 172 181 184 185 186 191 192 194 195 203 204 211 212 214 215 217 218 224 230 231 234 236 237 240 247 248 249 251 253 266 271 272 273 278 281 289 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 327 333 348 349 356 361 372 378 386 392 396 398 399 401 402 404 407 408 410 411 419 420 422 425 430 434 436 437 443 447 448 450 452 454 456 457 462 464 466 467 468 a 1 2 5 9 11 21 23 27 29 31 32 35 36 37 38 39 42 43 44 45 53 59 64 65 66 71 73 76 77 85 87 89 95 96 97 106 108 109 117 119 120 124 125 126 128 130 143 145 148 149 150 151 152 154 155 156 157 165 167 168 170 172 181 184 185 186 191 192 194 195 203 204 211 212 214 215 217 218 224 230 231 234 236 237 240 247 248 249 251 253 266 271 272 273 278 281 289 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 327 333 348 349 356 361 372 378 386 392 396 398 399 401 402 404 407 408 410 411 419 420 422 425 430 434 436 437 443 447 448 450 452 454 456 457 462 464 466 467 468 a 1 2 5 9 11 21 23 27 29 31 32 33 36 37 38 39 42 43 44 45 53 59 64 65 66 71 73 76 77 85 87 89 95 96 97 106 108 109 117 119 120 124 125 126 128 130 143 145 148 149 150 151 152 154 155 156 157 165 167 168 170 172 181 184 185 186 191 192 194 195 203 204 211 212 214 215 217 218 224 230 231 234 236 237 240 247 248 249 251 253 266 271 272 273 278 281 289 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 327 333 348 349 356 361 372 378 386 392 396 398 399 401 402 404 407 408 410 411 419 420 422 425 430 434 436 437 443 447 448 450 452 454 456 457 462 464 466 467 468 a 1 2 5 9 11 21 23 27 29 31 32 33 36 37 38 39 42 43 44 45 53 59 64 65 66 71 73 76 77 85 87 89 95 96 97 106 108 109 117 119 120 124 125 126 128 130 143 145 148 149 150 151 152 154 155 156 157 165 167 168 170 172 181 184 185 186 191 192 194 195 203 204 211 212 214 215 217 218 224 230 231 234 236 237 240 247 248 249 251 253 266 271 272 273 278 281 289 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 327 333 348 349 356 361 372 386 391 392 396 398 399 401 402 404 407 408 410 411 419 420 422 425 430 434 436 437 443 447 448 450 452 454 456 457 462 464 466 467 468 a 1 2 5 9 11 21 23 27 29 31 32 33 36 37 38 39 42 43 44 45 53 59 64 65 66 71 73 76 77 87 89 95 96 97 106 108 109 117 119 120 124 125 126 128 130 143 145 148 149 150 151 152 154 155 156 157 165 167 168 170 172 181 184 185 186 191 192 194 195 203 204 211 212 214 215 217 218 224 230 231 234 236 237 240 247 248 249 251 253 266 271 272 273 278 281 289 291 292 294 295 296 297 299 306 307 310 313 315 318 324 325 327 333 348 349 356 361 372 377 386 391 392 396 398 399 401 402 404 407 408 410 411 419 420 422 425 430 434 436 437 443 447 448 450 452 454 456 457 462 464 466 467 468 a 1 2 5 9 11 21 23 27 29 31 32 33 36 37 38 39 42 43 44 45 53 59 64 66 71 73 76 77 87 89 95 96 97 106 108 109 117 119 120 124 125 126 128 130 143 145 148 149 150 151 152 154 155 156 157 165 167 168 170 172 181 184 185 186 191 192 194 195 203 204 211 212 214 215 217 218 224 230 231 234 236 237 240 247 248 249 251 253 266 271 272 273 278 281 289 291 292 294 295 296 297 299 306 307 310 313 315 318 322 324 325 327 333 348 349 356 361 372 377 386 391 392 396 398 399 401 402 404 407 408 410 411 419 420 422 425 430 434 436 437 443 447 448 450 452 454 456 457 462 464 466 467 468 a 1 2 5 9 11 21 23 27 29 31 32 33 36 37 38 39 42 43 44 45 53 59 64 66 71 73 76 77 87 89 95 96 97 106 108 109 117 119 120 124 125 126 128 130 143 145 148 149 150 151 152 154 155 156 157 165 167 168 170 172 181 184 185 186 191 192 194 195 203 204 211 212 214 215 217 218 224 230 231 234 236 237 240 247 248 249 251 253 266 271 272 273 278 281 289 291 292 294 295 296 297 299 306 307 310 313 314 315 318 322 324 325 327 333 348 349 356 361 372 377 386 391 392 396 398 399 401 402 404 407 408 410 411 419 420 422 425 430 434 436 437 443 447 450 452 454 456 457 462 464 466 467 468 a 1 2 5 9 11 21 23 27 29 31 32 33 36 37 38 39 42 43 44 45 53 59 64 66 71 73 76 77 87 89 95 96 97 106 108 109 117 119 120 124 125 126 128 130 143 145 148 149 150 151 152 154 155 156 157 165 167 168 170 172 181 184 185 186 191 192 194 195 203 204 211 212 214 215 217 218 224 230 231 234 236 237 240 247 248 249 251 253 266 271 272 273 278 281 289 291 292 295 296 297 299 306 307 310 313 314 315 318 322 324 325 327 333 348 349 356 361 372 377 386 390 391 392 396 398 399 401 402 404 407 408 410 411 419 420 422 425 430 434 436 437 443 447 450 452 454 456 457 462 464 466 467 468 a 1 2 5 9 11 21 23 27 29 31 32 33 36 37 38 39 42 43 44 45 53 59 64 66 71 73 77 87 89 95 96 97 106 108 109 117 119 120 124 125 126 128 130 143 145 148 149 150 151 152 154 155 156 157 165 167 168 170 172 181 184 185 186 191 192 194 195 203 204 211 212 214 215 217 218 224 230 231 234 236 237 240 247 248 249 251 253 266 271 272 273 277 278 281 289 291 292 295 296 297 299 306 307 310 313 314 315 318 322 324 325 327 333 348 349 356 361 372 377 386 390 391 392 396 398 399 401 402 404 407 408 410 411 419 420 422 425 430 434 436 437 443 447 450 452 454 456 457 462 464 466 467 468 a 1 2 5 9 11 21 23 27 29 31 32 33 36 37 38 39 42 43 44 45 53 59 64 66 71 73 77 87 89 95 96 97 106 108 109 117 119 120 124 125 126 128 130 143 145 148 149 150 151 152 154 155 156 157 165 167 168 170 172 181 184 185 186 191 192 194 195 203 204 211 212 214 217 218 224 230 231 234 236 237 240 247 248 249 251 253 266 271 272 273 277 278 281 289 291 292 295 296 297 299 306 307 310 313 314 315 318 322 324 325 327 333 348 349 356 361 372 377 386 390 391 392 396 398 399 401 402 404 405 407 408 410 411 419 420 422 425 430 434 436 437 443 447 450 452 454 456 457 462 464 466 467 468 a 1 2 5 9 11 21 23 29 31 32 33 36 37 38 39 42 43 44 45 53 59 64 66 71 73 77 87 89 95 96 97 106 108 109 117 119 120 124 125 126 128 130 143 145 148 149 150 151 152 154 155 156 157 165 167 168 170 172 181 184 185 186 191 192 194 195 203 204 211 212 214 217 218 224 230 231 234 236 237 240 247 248 249 251 253 266 271 272 273 277 278 281 289 291 292 295 296 297 299 306 307 310 313 314 315 318 322 324 325 327 333 348 349 356 361 372 377 386 390 391 392 396 398 399 401 402 404 405 407 408 410 411 419 420 422 425 430 433 434 436 437 443 447 450 452 454 456 457 462 464 466 467 468 a 1 2 5 9 11 21 23 29 31 32 33 36 37 38 39 42 43 44 45 53 59 64 66 73 77 87 89 95 96 97 106 108 109 117 119 120 124 125 126 128 130 143 145 148 149 150 151 152 154 155 156 157 165 167 168 170 171 172 181 184 185 186 191 192 194 195 203 204 211 212 214 217 218 224 230 231 234 236 237 240 247 248 249 251 253 266 271 272 273 277 278 281 289 291 292 295 296 297 299 306 307 310 313 314 315 318 322 324 325 327 333 348 349 356 361 372 377 386 390 391 392 396 398 399 401 402 404 405 407 408 410 411 419 420 422 425 430 433 434 436 437 443 447 450 452 454 456 457 462 464 466 467 468 a 1 2 5 9 11 21 23 29 31 32 33 36 37 38 39 42 43 44 45 53 59 64 66 73 77 87 89 95 96 97 106 108 109 117 119 120 124 125 126 128 130 136 143 145 148 149 150 151 152 154 155 156 157 165 167 168 170 171 172 181 184 185 186 191 192 194 195 203 204 211 212 214 217 218 224 230 231 234 236 237 240 247 248 249 251 253 266 271 272 273 277 278 281 289 291 292 295 296 297 299 306 307 310 314 315 318 322 324 325 327 333 348 349 356 361 372 377 386 390 391 392 396 398 399 401 402 404 405 407 408 410 411 419 420 422 425 430 433 434 436 437 443 447 450 452 454 456 457 462 464 466 467 468 a 1 2 5 9 11 21 23 29 31 32 33 36 37 38 39 42 43 44 45 46 53 59 64 66 73 77 87 89 95 96 97 106 108 109 117 119 120 124 125 126 128 130 136 143 145 148 149 150 151 152 154 155 156 157 165 167 168 170 171 172 181 184 185 186 191 192 194 195 203 204 211 212 214 217 218 224 230 231 234 236 237 240 247 248 249 251 253 266 271 272 273 277 278 281 289 291 292 295 296 297 299 306 307 310 314 315 318 322 324 325 327 333 348 349 356 361 372 377 386 390 391 392 396 398 399 401 402 404 405 407 408 410 411 419 420 422 425 430 433 434 436 437 443 447 450 454 456 457 462 464 466 467 468 a 1 2 5 9 11 21 23 29 31 32 33 36 37 38 39 42 43 44 45 46 53 59 64 66 73 77 87 89 95 96 97 106 108 109 117 119 120 124 125 126 128 130 136 143 145 148 149 150 151 152 154 155 156 157 165 167 168 170 171 172 181 184 185 186 191 192 194 195 203 204 209 211 212 214 217 218 224 230 231 234 236 237 240 247 248 249 251 253 266 271 272 273 277 278 281 289 291 292 295 296 297 299 306 307 310 314 315 318 322 324 325 327 333 348 349 356 361 372 377 386 390 391 392 396 398 399 401 402 404 405 407 408 410 411 419 420 422 425 430 433 434 436 437 443 447 454 456 457 462 464 466 467 468 a 1 2 5 9 11 21 29 31 32 33 36 37 38 39 42 43 44 45 46 53 59 64 66 73 77 87 89 95 96 97 106 108 109 117 119 120 124 125 126 128 130 136 143 145 148 149 150 151 152 154 155 156 157 165 167 168 170 171 172 181 184 185 186 191 192 194 195 203 204 209 211 212 214 217 218 224 230 231 232 234 236 237 240 247 248 249 251 253 266 271 272 273 277 278 281 289 291 292 295 296 297 299 306 307 310 314 315 318 322 324 325 327 333 348 349 356 361 372 377 386 390 391 392 396 398 399 401 402 404 405 407 408 410 411 419 420 422 425 430 433 434 436 437 443 447 454 456 457 462 464 466 467 468 a 1 2 5 9 11 21 29 31 32 33 36 37 38 39 42 43 44 45 46 53 59 64 66 73 77 87 89 95 96 97 106 108 109 117 119 120 124 125 126 128 130 136 143 145 148 149 150 151 152 154 155 156 157 158 165 167 168 170 171 172 181 184 185 186 191 192 194 195 203 204 209 211 212 214 217 218 224 230 232 234 236 237 240 247 248 249 251 253 266 271 272 273 277 278 281 289 291 292 295 296 297 299 306 307 310 314 315 318 322 324 325 327 333 348 349 356 361 372 377 386 390 391 392 396 398 399 401 402 404 405 407 408 410 411 419 420 422 425 430 433 434 436 437 443 447 454 456 457 462 464 466 467 468 a 1 2 9 11 21 29 31 32 33 36 37 38 39 42 43 44 45 46 53 59 64 66 73 77 87 89 95 96 97 106 108 109 117 119 120 124 125 126 128 130 136 137 143 145 148 149 150 151 152 154 155 156 157 158 165 167 168 170 171 172 181 184 185 186 191 192 194 195 203 204 209 211 212 214 217 218 224 230 232 234 236 237 240 247 248 249 251 253 266 271 272 273 277 278 281 289 291 292 295 296 297 299 306 307 310 314 315 318 322 324 325 327 333 348 349 356 361 372 377 386 390 391 392 396 398 399 401 402 404 405 407 408 410 411 419 420 422 425 430 433 434 436 437 443 447 454 456 457 462 464 466 467 468 a 1 2 9 11 21 29 31 32 33 36 37 38 39 42 43 44 45 46 53 59 64 66 73 77 87 89 95 96 97 106 108 109 117 119 120 124 125 126 128 130 136 137 143 145 148 149 150 151 152 154 155 156 157 158 165 167 168 170 171 172 181 184 185 186 191 192 194 195 203 204 209 211 212 214 217 218 224 230 232 234 236 237 240 247 248 249 251 253 266 272 273 277 278 281 289 291 292 295 296 297 299 306 307 310 314 315 318 322 324 325 327 333 348 349 356 361 372 377 386 390 391 392 396 398 399 401 402 404 405 407 408 409 410 411 419 420 422 425 430 433 434 436 437 443 447 454 456 457 462 464 466 467 468 a 1 2 9 11 21 29 31 32 33 36 37 38 39 42 43 44 45 46 53 59 64 66 73 77 87 89 95 96 97 106 108 109 117 119 120 124 125 126 128 130 136 137 143 145 148 149 150 151 152 154 155 156 157 158 165 167 168 170 171 172 181 184 185 186 191 192 194 195 203 204 209 211 212 214 217 218 224 230 232 234 236 237 240 247 248 249 251 253 266 272 273 277 278 281 289 291 292 295 296 297 299 306 307 310 314 315 318 322 324 325 326 327 333 348 349 356 361 372 377 386 390 391 392 396 398 399 401 402 405 407 408 409 410 411 419 420 422 425 430 433 434 436 437 443 447 454 456 457 462 464 466 467 468 a 1 2 9 11 21 29 31 32 33 36 37 38 39 42 43 45 46 53 59 64 66 73 77 87 89 95 96 97 106 108 109 117 119 120 124 125 126 128 130 136 137 143 145 148 149 150 151 152 154 155 156 157 158 165 167 168 170 171 172 181 184 185 186 191 192 194 195 203 204 209 211 212 214 217 218 219 224 230 232 234 236 237 240 247 248 249 251 253 266 272 273 277 278 281 289 291 292 295 296 297 299 306 307 310 314 315 318 322 324 325 326 327 333 348 349 356 361 372 377 386 390 391 392 396 398 399 401 402 405 407 408 409 410 411 419 420 422 425 430 433 434 436 437 443 447 454 456 457 462 464 466 467 468 a 1 2 9 11 21 29 31 32 33 36 37 38 39 42 43 45 46 53 54 59 64 66 73 77 87 89 95 96 97 106 108 109 117 119 120 124 125 126 128 130 136 137 143 145 148 149 150 151 152 154 155 156 157 158 167 168 170 171 172 181 184 185 186 191 192 194 195 203 204 209 211 212 214 217 218 219 224 230 232 234 236 237 240 247 248 249 251 253 266 272 273 277 278 281 289 291 292 295 296 297 299 306 307 310 314 315 318 322 324 325 326 327 333 348 349 356 361 372 377 386 390 391 392 396 398 399 401 402 405 407 408 409 410 411 419 420 422 425 430 433 434 436 437 443 447 454 456 457 462 464 466 467 468 a 1 2 9 11 21 29 31 32 33 36 37 38 39 42 43 45 46 53 54 59 64 66 73 77 87 89 95 96 97 106 108 109 117 119 120 124 125 126 128 130 136 137 143 145 148 149 150 151 152 154 155 156 157 158 167 168 170 171 172 181 184 185 186 191 192 194 195 203 204 209 211 212 214 217 218 219 224 230 232 234 236 237 240 247 248 249 251 253 255 266 272 273 277 278 281 289 291 292 295 296 297 299 306 307 310 314 318 322 324 325 326 327 333 348 349 356 361 372 377 386 390 391 392 396 398 399 401 402 405 407 408 409 410 411 419 420 422 425 430 433 434 436 437 443 447 454 456 457 462 464 466 467 468 a 1 2 9 11 21 29 31 32 33 36 37 38 39 42 43 45 46 53 54 59 64 66 73 77 87 89 95 96 97 106 108 109 117 119 120 124 125 126 128 130 136 137 143 145 148 149 150 151 152 154 155 156 157 158 167 168 170 171 172 181 184 185 186 191 192 194 195 203 204 209 211 212 214 217 218 219 224 230 232 234 236 237 240 247 248 249 251 253 255 266 272 273 277 278 281 289 291 292 295 296 297 299 306 307 314 318 322 324 325 326 327 333 340 348 349 356 361 372 377 386 390 391 392 396 398 399 401 402 405 407 408 409 410 411 419 420 422 425 430 433 434 436 437 443 447 454 456 457 462 464 466 467 468 a 1 2 9 11 21 29 31 32 33 36 37 38 39 42 43 45 46 53 54 59 64 66 73 77 87 89 95 96 97 106 108 109 117 119 120 124 125 126 128 130 136 137 143 145 148 149 150 151 152 154 155 156 157 158 167 168 170 171 172 181 184 185 186 191 192 194 195 203 204 209 211 212 214 217 218 219 224 230 232 234 236 237 240 248 249 251 253 255 266 272 273 277 278 281 289 291 292 295 296 297 299 306 307 314 318 322 324 325 326 327 333 340 348 349 356 361 372 377 386 390 391 392 396 398 399 401 402 405 407 408 409 410 411 413 419 420 422 425 430 433 434 436 437 443 447 454 456 457 462 464 466 467 468 a 1 2 8 9 11 21 29 31 32 33 36 37 38 39 42 43 45 46 53 54 59 64 66 73 77 87 89 95 96 97 106 108 109 117 119 120 124 125 126 128 130 136 137 143 145 148 149 150 151 152 154 155 156 157 158 167 168 170 171 172 181 185 186 191 192 194 195 203 204 209 211 212 214 217 218 219 224 230 232 234 236 237 240 248 249 251 253 255 266 272 273 277 278 281 289 291 292 295 296 297 299 306 307 314 318 322 324 325 326 327 333 340 348 349 356 361 372 377 386 390 391 392 396 398 399 401 402 405 407 408 409 410 411 413 419 420 422 425 430 433 434 436 437 443 447 454 456 457 462 464 466 467 468 a 1 2 8 9 11 21 29 31 32 33 36 37 38 39 42 43 45 46 53 54 59 64 66 73 77 87 89 95 96 97 106 108 109 117 119 120 124 125 126 128 130 136 137 143 145 148 149 150 151 152 154 155 156 157 158 167 168 170 171 172 181 185 186 191 192 194 195 203 204 209 211 212 214 217 218 219 224 230 232 234 236 237 240 248 249 251 253 255 266 272 273 277 278 281 289 291 292 295 296 297 299 306 307 314 318 322 324 325 326 327 333 340 348 349 356 361 372 377 386 390 391 392 396 398 399 401 402 405 407 408 409 410 411 413 419 420 422 425 430 433 434 436 437 443 447 454 456 457 459 462 466 467 468 a 1 2 8 9 11 21 29 31 32 33 36 37 38 39 42 43 45 46 53 54 59 64 66 73 77 87 89 95 96 97 106 108 109 117 119 120 124 125 126 128 130 136 137 143 145 148 149 150 151 152 154 155 156 157 158 167 168 170 171 172 181 185 186 191 192 194 195 203 204 209 211 212 214 217 218 219 224 230 232 234 236 237 240 248 249 251 255 261 266 272 273 277 278 281 289 291 292 295 296 297 299 306 307 314 318 322 324 325 326 327 333 340 348 349 356 361 372 377 386 390 391 392 396 398 399 401 402 405 407 408 409 410 411 413 419 420 422 425 430 433 434 436 437 443 447 454 456 457 459 462 466 467 468 a 1 2 8 9 11 21 29 31 32 33 36 37 38 39 42 43 45 46 53 54 59 64 66 73 77 87 89 95 96 97 106 108 109 117 119 120 124 125 126 128 130 136 137 143 145 148 149 150 151 152 154 155 156 157 158 167 168 170 171 172 181 185 186 191 192 194 195 203 204 209 211 212 214 217 218 219 224 230 232 234 236 240 243 248 249 251 255 261 266 272 273 277 278 281 289 291 292 295 296 297 299 306 307 314 318 322 324 325 326 327 333 340 348 349 356 361 372 377 386 390 391 392 396 398 399 401 402 405 407 408 409 410 411 413 419 420 422 425 430 433 434 436 437 443 447 454 456 457 459 462 466 467 468 a 1 2 8 9 11 21 29 31 32 33 36 37 38 39 42 43 45 46 53 54 59 64 66 73 77 87 89 95 96 97 106 108 109 117 119 120 124 125 126 128 130 136 137 143 145 148 149 150 151 152 154 155 156 157 158 167 168 170 171 172 181 185 186 191 192 194 195 203 204 209 211 212 214 217 218 219 224 230 232 234 236 240 243 248 249 251 255 261 266 272 273 274 277 278 281 289 291 292 295 296 297 306 307 314 318 322 324 325 326 327 333 340 348 349 356 361 372 377 386 390 391 392 396 398 399 401 402 405 407 408 409 410 411 413 419 420 422 425 430 433 434 436 437 443 447 454 456 457 459 462 466 467 468 a 1 2 8 9 11 20 21 29 31 32 33 36 37 38 39 42 43 45 46 53 54 59 64 66 73 77 87 89 95 96 97 106 108 109 117 119 120 124 125 126 128 130 136 137 143 145 148 149 150 151 152 154 155 156 157 158 167 168 170 171 172 181 185 191 192 194 195 203 204 209 211 212 214 217 218 219 224 230 232 234 236 240 243 248 249 251 255 261 266 272 273 274 277 278 281 289 291 292 295 296 297 306 307 314 318 322 324 325 326 327 333 340 348 349 356 361 372 377 386 390 391 392 396 398 399 401 402 405 407 408 409 410 411 413 419 420 422 425 430 433 434 436 437 443 447 454 456 457 459 462 466 467 468 a 1 2 8 9 11 20 21 29 31 32 33 36 37 38 39 42 43 45 46 53 54 59 64 66 73 77 87 89 95 96 97 108 109 117 119 120 124 125 126 128 130 136 137 143 145 148 149 150 151 152 154 155 156 157 158 167 168 170 171 172 181 185 191 192 194 195 203 204 209 211 212 214 216 217 218 219 224 230 232 234 236 240 243 248 249 251 255 261 266 272 273 274 277 278 281 289 291 292 295 296 297 306 307 314 318 322 324 325 326 327 333 340 348 349 356 361 372 377 386 390 391 392 396 398 399 401 402 405 407 408 409 410 411 413 419 420 422 425 430 433 434 436 437 443 447 454 456 457 459 462 466 467 468 a 1 2 8 9 11 20 21 29 31 32 33 36 37 38 39 42 43 45 46 53 54 59 64 66 73 77 87 89 95 96 97 108 109 117 119 120 124 125 126 128 136 137 143 145 148 149 150 151 152 154 155 156 157 158 167 168 170 171 172 181 185 191 192 194 195 203 204 209 211 212 214 216 217 218 219 224 230 232 234 236 240 243 248 249 251 255 261 266 272 273 274 277 278 281 289 291 292 295 296 297 306 307 314 318 322 324 325 326 327 333 340 348 349 356 361 372 377 386 390 391 392 396 398 399 401 402 405 407 408 409 410 411 413 419 420 422 423 425 430 433 434 436 437 443 447 454 456 457 459 462 466 467 468 a 1 2 8 9 11 20 21 29 31 32 33 36 37 38 39 40 42 43 45 46 53 54 59 64 66 73 77 87 89 95 96 97 108 109 117 119 120 124 125 126 128 136 137 143 145 148 149 150 151 152 155 156 157 158 167 168 170 171 172 181 185 191 192 194 195 203 204 209 211 212 214 216 217 218 219 224 230 232 234 236 240 243 248 249 251 255 261 266 272 273 274 277 278 281 289 291 292 295 296 297 306 307 314 318 322 324 325 326 327 333 340 348 349 356 361 372 377 386 390 391 392 396 398 399 401 402 405 407 408 409 410 411 413 419 420 422 423 425 430 433 434 436 437 443 447 454 456 457 459 462 466 467 468 a 1 2 8 9 11 20 21 29 31 32 33 36 37 38 39 40 42 43 45 46 53 54 59 64 66 73 74 77 87 89 95 96 97 108 109 117 119 120 124 125 126 128 136 137 143 145 148 149 150 151 152 155 156 157 158 167 168 170 171 172 181 185 191 192 194 195 203 204 209 211 212 214 216 217 218 219 224 230 232 234 236 240 243 248 249 251 255 261 266 272 273 274 277 278 281 289 291 292 295 296 297 306 307 314 318 322 324 325 326 327 333 340 348 349 356 361 372 377 386 390 391 392 396 398 399 401 402 405 407 408 409 410 411 413 419 420 422 423 430 433 434 436 437 443 447 454 456 457 459 462 466 467 468 a 1 2 8 9 11 20 21 29 31 32 33 36 37 38 39 40 42 43 45 46 53 54 59 64 66 73 74 77 87 89 95 96 97 108 109 117 119 120 124 125 126 128 136 137 143 145 148 149 150 151 152 155 156 157 158 167 168 170 171 172 181 185 191 192 194 195 203 204 209 211 212 214 216 217 218 219 224 230 232 234 236 240 243 249 251 255 261 266 272 273 274 277 278 281 289 291 292 295 296 297 306 307 314 318 322 324 325 326 327 333 340 344 348 349 356 361 372 377 386 390 391 392 396 398 399 401 402 405 407 408 409 410 411 413 419 420 422 423 430 433 434 436 437 443 447 454 456 457 459 462 466 467 468 a 1 2 8 9 11 20 21 29 31 32 33 36 37 38 39 40 42 43 45 46 53 54 59 64 66 73 74 77 84 87 89 95 96 97 108 109 117 119 120 124 125 126 128 136 137 143 145 148 149 150 151 152 155 156 157 158 167 168 170 171 172 181 185 191 192 194 195 203 204 209 211 212 214 216 217 218 219 224 230 232 234 236 240 243 249 251 255 261 266 272 273 274 277 278 281 289 291 292 295 296 297 306 307 314 318 322 324 325 326 327 333 340 344 348 349 356 361 372 377 386 390 391 392 396 398 399 401 402 405 407 408 409 410 411 413 419 420 422 423 430 433 434 436 437 443 447 454 456 457 459 462 466 467 a 1 2 8 9 11 20 21 29 31 32 33 36 37 38 39 40 42 43 45 46 53 54 59 64 66 73 74 77 84 87 89 95 96 97 108 109 117 119 120 124 125 126 128 136 137 143 145 148 149 150 151 152 155 156 157 158 167 168 170 171 172 181 185 191 192 194 195 203 204 209 211 212 214 216 217 218 219 224 230 232 234 236 240 243 249 251 255 261 272 273 274 277 278 280 281 289 291 292 295 296 297 306 307 314 318 322 324 325 326 327 333 340 344 348 349 356 361 372 377 386 390 391 392 396 398 399 401 402 405 407 408 409 410 411 413 419 420 422 423 430 433 434 436 437 443 447 454 456 457 459 462 466 467 a 1 2 8 9 11 20 21 29 31 32 33 36 37 38 39 40 42 43 45 46 53 54 59 64 66 73 74 77 84 87 89 95 96 97 108 109 117 119 120 124 125 126 128 136 137 143 145 148 149 150 151 152 155 156 157 158 167 168 170 171 172 181 185 191 192 194 195 203 204 209 211 212 214 216 217 218 219 224 230 232 234 236 240 243 249 251 255 261 272 273 274 277 278 280 281 289 291 292 295 296 297 306 307 314 318 322 324 325 326 327 333 340 344 348 349 356 361 372 377 386 390 391 396 398 399 401 402 405 407 408 409 410 411 413 419 420 422 423 428 430 433 434 436 437 443 447 454 456 457 459 462 466 467 a 1 2 8 9 11 20 21 29 31 32 33 36 37 38 39 40 42 43 45 46 53 54 59 64 66 73 74 77 84 87 89 95 96 97 108 109 117 119 120 124 125 126 128 136 137 143 145 148 149 150 151 155 156 157 158 167 168 170 171 172 175 181 185 191 192 194 195 203 204 209 211 212 214 216 217 218 219 224 230 232 234 236 240 243 249 251 255 261 272 273 274 277 278 280 281 289 291 292 295 296 297 306 307 314 318 322 324 325 326 327 333 340 344 348 349 356 361 372 377 386 390 391 396 398 399 401 402 405 407 408 409 410 411 413 419 420 422 423 428 430 433 434 436 437 443 447 454 456 457 459 462 466 467 a 1 2 8 9 11 20 21 29 31 32 33 36 37 38 39 40 42 43 45 46 53 54 59 64 66 73 74 77 84 87 89 95 96 97 108 109 117 120 124 125 126 128 136 137 143 145 148 149 150 151 155 156 157 158 167 168 170 171 172 175 181 185 191 192 194 195 203 204 209 211 212 214 216 217 218 219 224 230 232 234 236 240 243 249 251 255 261 272 273 274 277 278 280 281 289 291 292 295 296 297 306 307 314 318 322 324 325 326 327 333 340 344 348 349 356 361 372 377 386 390 391 396 398 399 401 402 405 407 408 409 410 411 412 413 419 420 422 423 428 430 433 434 436 437 443 447 454 456 457 459 462 466 467 a 1 2 8 9 11 20 21 29 31 32 33 36 37 38 39 40 42 43 45 46 53 54 59 64 66 73 74 77 84 87 89 95 96 97 108 109 117 120 124 125 126 128 136 137 143 145 148 149 150 151 155 156 157 158 167 168 170 171 172 175 181 185 191 192 194 195 203 204 209 211 212 214 216 217 218 219 224 230 232 234 236 240 243 249 251 255 261 272 273 274 277 278 280 281 289 291 292 295 296 297 306 307 314 318 322 324 325 326 327 333 340 344 348 349 356 361 372 377 386 390 391 396 398 399 401 405 407 408 409 410 411 412 413 419 420 422 423 428 430 433 434 436 437 443 445 447 454 456 457 459 462 466 467 a 1 2 8 9 11 20 21 29 31 32 33 36 37 38 39 40 42 43 45 46 53 54 59 64 66 73 74 77 84 87 88 89 95 96 97 108 109 117 120 124 125 126 128 136 137 143 145 148 149 150 151 155 156 157 158 167 168 171 172 175 181 185 191 192 194 195 203 204 209 211 212 214 216 217 218 219 224 230 232 234 236 240 243 249 251 255 261 272 273 274 277 278 280 281 289 291 292 295 296 297 306 307 314 318 322 324 325 326 327 333 340 344 348 349 356 361 372 377 386 390 391 396 398 399 401 405 407 408 409 410 411 412 413 419 420 422 423 428 430 433 434 436 437 443 445 447 454 456 457 459 462 466 467 a 1 2 8 9 11 20 21 29 31 32 33 36 37 38 39 40 43 45 46 53 54 59 64 66 73 74 77 84 87 88 89 95 96 97 108 109 117 120 124 125 126 128 136 137 143 145 148 149 150 151 155 156 157 158 167 168 171 172 173 175 181 185 191 192 194 195 203 204 209 211 212 214 216 217 218 219 224 230 232 234 236 240 243 249 251 255 261 272 273 274 277 278 280 281 289 291 292 295 296 297 306 307 314 318 322 324 325 326 327 333 340 344 348 349 356 361 372 377 386 390 391 396 398 399 401 405 407 408 409 410 411 412 413 419 420 422 423 428 430 433 434 436 437 443 445 447 454 456 457 459 462 466 467 a 1 2 8 9 11 20 21 29 31 32 33 36 37 38 39 40 43 45 46 53 54 55 59 64 66 73 74 77 84 87 88 89 95 96 97 108 109 117 120 124 125 126 128 136 137 143 145 148 149 150 151 155 156 157 158 167 168 171 172 173 175 181 185 191 192 194 195 203 204 209 211 212 214 216 217 218 219 224 230 232 234 236 240 243 249 251 255 261 272 273 274 277 278 280 281 289 292 295 296 297 306 307 314 318 322 324 325 326 327 333 340 344 348 349 356 361 372 377 386 390 391 396 398 399 401 405 407 408 409 410 411 412 413 419 420 422 423 428 430 433 434 436 437 443 445 447 454 456 457 459 462 466 467 a 1 2 8 9 11 20 21 29 31 32 33 36 37 38 39 40 43 45 46 53 54 55 59 64 66 73 74 77 84 87 88 95 96 97 108 109 117 120 124 125 126 128 136 137 143 145 148 149 150 151 155 156 157 158 167 168 171 172 173 175 181 185 191 192 194 195 203 204 209 211 212 214 216 217 218 219 224 230 232 234 236 240 243 249 251 255 261 272 273 274 277 278 280 281 289 292 295 296 297 306 307 314 318 322 324 325 326 327 333 340 344 348 349 356 361 372 377 386 390 391 394 396 398 399 401 405 407 408 409 410 411 412 413 419 420 422 423 428 430 433 434 436 437 443 445 447 454 456 457 459 462 466 467 a 1 2 8 11 20 21 29 31 32 33 36 37 38 39 40 43 45 46 53 54 55 59 64 66 73 74 77 84 87 88 95 96 97 108 109 117 120 124 125 126 128 136 137 143 145 148 149 150 151 155 156 157 158 167 168 171 172 173 175 181 185 191 192 194 195 203 204 209 211 212 214 216 217 218 219 224 230 232 234 236 240 243 249 251 255 261 272 273 274 277 278 280 281 289 292 295 296 297 306 307 314 318 322 323 324 325 326 327 333 340 344 348 349 356 361 372 377 386 390 391 394 396 398 399 401 405 407 408 409 410 411 412 413 419 420 422 423 428 430 433 434 436 437 443 445 447 454 456 457 459 462 466 467 a 1 2 8 11 20 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 59 64 66 73 74 77 84 87 88 95 96 97 108 109 117 120 124 125 126 128 136 137 143 145 148 149 150 151 155 156 157 158 167 168 171 172 173 175 181 185 191 192 194 195 203 204 209 211 212 214 216 217 218 219 224 230 232 234 236 240 243 249 251 255 261 272 273 274 277 278 280 281 289 292 295 296 297 306 307 314 318 322 323 324 325 326 327 333 340 344 348 349 353 356 361 372 377 386 390 391 394 396 398 399 401 405 407 408 409 410 411 412 413 419 420 422 423 428 430 433 434 436 437 443 445 447 454 456 457 459 462 466 467 a 1 2 8 11 20 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 59 64 66 73 74 77 78 84 87 88 95 96 97 108 109 117 120 124 125 126 128 136 137 143 145 148 149 150 151 155 156 157 158 167 168 171 172 173 175 181 185 191 192 194 195 203 204 209 211 212 214 216 217 218 219 224 230 232 234 236 240 243 249 251 255 261 272 273 274 277 278 280 281 289 292 295 296 297 306 307 314 318 322 323 324 325 326 327 333 340 344 348 349 353 356 361 377 386 390 391 394 396 398 399 401 405 407 408 409 410 411 412 413 419 420 422 423 428 430 433 434 436 437 443 445 447 454 456 457 459 462 466 467 a 1 2 8 11 20 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 59 64 66 73 74 77 78 84 88 95 96 97 101 108 109 117 120 124 125 126 128 136 137 143 145 148 149 150 151 155 156 157 158 167 168 171 172 173 175 181 185 191 192 194 195 203 204 209 211 212 214 216 217 218 219 224 230 232 234 236 240 243 249 251 255 261 272 273 274 277 278 280 281 289 292 295 296 297 306 307 314 318 322 323 324 325 326 327 333 340 344 348 349 353 356 361 377 386 390 391 394 396 398 399 401 405 407 408 409 410 411 412 413 419 420 422 423 428 430 433 434 436 437 443 445 447 454 456 457 459 462 466 467 a 1 2 8 11 20 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 59 64 66 73 74 77 78 84 88 95 96 97 101 108 109 117 120 125 126 128 136 137 143 145 148 149 150 151 155 156 157 158 167 168 171 172 173 175 181 185 191 192 194 195 203 204 209 211 212 214 216 217 218 219 224 230 232 234 236 240 243 249 251 255 261 272 273 274 277 278 280 281 289 292 293 295 296 297 306 307 314 318 322 323 324 325 326 327 333 340 344 348 349 353 356 361 377 386 390 391 394 396 398 399 401 405 407 408 409 410 411 412 413 419 420 422 423 428 430 433 434 436 437 443 445 447 454 456 457 459 462 466 467 a 1 2 8 11 20 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 59 64 66 73 74 77 78 84 88 95 96 97 101 108 109 117 120 125 126 128 136 137 143 145 148 149 150 151 155 156 157 158 167 168 171 172 173 175 181 185 191 192 194 195 203 204 209 211 212 214 216 217 219 224 230 232 234 236 240 243 249 251 255 261 272 273 274 277 278 280 281 289 292 293 295 296 297 306 307 314 318 322 323 324 325 326 327 333 340 344 347 348 349 353 356 361 377 386 390 391 394 396 398 399 401 405 407 408 409 410 411 412 413 419 420 422 423 428 430 433 434 436 437 443 445 447 454 456 457 459 462 466 467 a 1 2 8 11 20 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 59 64 66 73 74 77 78 84 88 95 96 97 101 108 109 117 120 125 128 135 136 137 143 145 148 149 150 151 155 156 157 158 167 168 171 172 173 175 181 185 191 192 194 195 203 204 209 211 212 214 216 217 219 224 230 232 234 236 240 243 249 251 255 261 272 273 274 277 278 280 281 289 292 293 295 296 297 306 307 314 318 322 323 324 325 326 327 333 340 344 347 348 349 353 356 361 377 386 390 391 394 396 398 399 401 405 407 408 409 410 411 412 413 419 420 422 423 428 430 433 434 436 437 443 445 447 454 456 457 459 462 466 467 a 1 8 11 19 20 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 59 64 66 73 74 77 78 84 88 95 96 97 101 108 109 117 120 125 128 135 136 137 143 145 148 149 150 151 155 156 157 158 167 168 171 172 173 175 181 185 191 192 194 195 203 204 209 211 212 214 216 217 219 224 230 232 234 236 240 243 249 251 255 261 272 273 274 277 278 280 281 289 292 293 295 296 297 306 307 314 318 322 323 324 325 326 327 333 340 344 347 348 349 353 356 361 377 386 390 391 394 396 398 399 401 405 407 408 409 410 411 412 413 419 420 422 423 428 430 433 434 436 437 443 445 447 454 456 457 459 462 466 467 a 1 8 11 19 20 21 29 31 33 36 37 38 39 40 43 45 46 53 54 55 64 66 73 74 77 78 84 88 95 96 97 101 108 109 117 120 125 128 135 136 137 143 145 148 149 150 151 155 156 157 158 167 168 171 172 173 175 181 185 191 192 194 195 203 204 209 211 212 214 216 217 219 224 230 232 234 236 240 243 249 251 255 259 261 272 273 274 277 278 280 281 289 292 293 295 296 297 306 307 314 318 322 323 324 325 326 327 333 340 344 347 348 349 353 356 361 377 386 390 391 394 396 398 399 401 405 407 408 409 410 411 412 413 419 420 422 423 428 430 433 434 436 437 443 445 447 454 456 457 459 462 466 467 c Step: 127 Command being timed: "python3 run_3.py --existent /benchmark/random_instance/random_instance036_graph002.col /benchmark/random_instance/random_instance036_graph002_01.dat" User time (seconds): 65.62 System time (seconds): 0.14 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:05.77 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): 338024 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 118491 Voluntary context switches: 24 Involuntary context switches: 321 Swaps: 0 File system inputs: 0 File system outputs: 968 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 10:38:24 2023]