#BEGIN: [Tue Sep 26 02:10:15 2023] #HOST: s13 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance035_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance035_graph002_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent /benchmark/random_instance/random_instance035_graph002.col /benchmark/random_instance/random_instance035_graph002_01.dat c /benchmark/random_instance/random_instance035_graph002.col c /benchmark/random_instance/random_instance035_graph002_01.dat *** Info : (clingo): INTERRUPTED by signal! s 220 27 163 51 231 152 12 77 389 429 39 79 443 7 341 277 98 76 209 407 92 278 69 291 160 314 269 398 299 391 43 236 316 228 143 301 183 349 254 126 263 282 148 35 52 428 448 347 239 222 117 206 434 84 294 37 225 113 82 175 42 201 40 48 173 23 94 18 132 134 91 344 361 33 34 250 370 285 191 310 315 366 439 8 59 305 400 164 306 25 244 30 71 423 432 14 433 381 438 144 116 240 233 85 100 66 333 376 177 22 447 441 342 403 245 215 193 338 256 270 20 138 6 330 81 430 121 60 304 179 110 401 437 182 450 440 147 394 101 335 297 11 190 371 223 387 328 t 194 136 372 370 379 425 391 187 253 178 116 281 282 180 449 124 163 119 239 202 305 356 197 342 205 87 302 298 274 145 384 123 224 234 252 186 209 159 48 357 312 411 69 99 430 138 227 437 8 258 422 272 67 204 113 310 286 17 273 140 353 33 142 89 271 377 88 320 299 206 183 323 135 185 176 216 263 129 149 445 118 166 267 434 230 80 100 293 409 400 369 406 141 256 105 57 79 7 219 393 54 112 276 201 34 333 38 371 359 22 334 40 249 56 374 311 397 50 182 328 223 304 309 222 144 325 360 417 404 11 285 44 432 351 164 261 14 246 25 314 24 244 240 154 349 101 188 a YES a 6 7 8 11 12 14 18 20 22 23 25 27 30 33 34 35 37 39 40 42 43 48 51 52 59 60 66 69 71 76 77 79 81 82 84 85 91 92 94 98 100 101 110 113 116 117 121 126 132 134 138 143 144 147 148 152 160 163 164 173 175 177 179 182 183 190 191 193 201 206 209 215 220 222 223 225 228 231 233 236 239 240 244 245 250 254 256 263 269 270 277 278 282 285 291 294 297 299 301 304 305 306 310 314 315 316 328 330 333 335 338 341 342 344 347 349 361 366 370 371 376 381 387 389 391 394 398 400 401 403 407 423 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 a 6 7 8 11 12 14 18 20 22 23 25 27 30 33 34 35 37 39 40 42 43 48 51 52 59 60 66 69 71 76 77 79 81 82 84 85 91 92 94 98 100 101 110 113 116 117 121 126 132 134 138 143 144 147 148 152 160 163 164 173 175 177 179 182 183 190 191 193 201 206 209 215 220 222 223 225 228 231 233 236 239 240 244 245 250 254 256 263 269 270 277 278 285 291 294 297 299 301 304 305 306 310 314 315 316 328 330 333 335 338 341 342 344 346 347 349 361 366 370 371 376 381 387 389 391 394 398 400 401 403 407 423 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 a 6 7 8 11 12 14 18 20 22 23 25 27 30 34 35 37 39 40 42 43 48 51 52 59 60 66 69 71 76 77 79 81 82 84 85 91 92 94 98 100 101 110 113 116 117 121 122 126 132 134 138 143 144 147 148 152 160 163 164 173 175 177 179 182 183 190 191 193 201 206 209 215 220 222 223 225 228 231 233 236 239 240 244 245 250 254 256 263 269 270 277 278 285 291 294 297 299 301 304 305 306 310 314 315 316 328 330 333 335 338 341 342 344 346 347 349 361 366 370 371 376 381 387 389 391 394 398 400 401 403 407 423 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 a 6 7 8 11 12 14 18 20 22 23 25 27 30 34 35 37 39 40 42 43 48 51 52 59 60 66 69 71 76 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 122 126 132 134 138 143 144 147 148 152 160 163 164 173 175 177 179 182 183 190 191 193 201 206 209 215 220 222 223 225 228 231 233 236 239 240 244 245 250 254 256 263 269 270 277 278 285 288 291 294 297 299 301 304 305 306 310 314 315 316 328 330 333 335 338 341 342 344 346 347 349 361 366 370 371 376 381 387 389 391 394 398 400 401 403 407 423 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 a 6 7 8 11 12 14 18 20 22 23 25 27 30 31 34 35 37 39 40 42 43 48 52 59 60 66 69 71 76 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 122 126 132 134 138 143 144 147 148 152 160 163 164 173 175 177 179 182 183 190 191 193 201 206 209 215 220 222 223 225 228 231 233 236 239 240 244 245 250 254 256 263 269 270 277 278 285 288 291 294 297 299 301 304 305 306 310 314 315 316 328 330 333 335 338 341 342 344 346 347 349 361 366 370 371 376 381 387 389 391 394 398 400 401 403 407 423 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 a 6 7 8 11 12 14 18 20 22 23 25 27 30 31 34 35 37 39 40 42 43 48 52 59 60 66 69 71 76 77 79 81 82 84 85 91 92 94 98 100 101 110 113 116 117 121 122 126 132 134 138 143 144 147 148 152 160 163 164 173 175 177 179 182 183 190 191 193 201 206 209 215 220 222 223 225 228 231 233 236 239 240 244 245 250 254 256 263 269 270 277 278 285 291 294 297 299 301 304 305 306 310 314 315 316 328 330 333 335 338 341 342 344 346 347 349 361 366 370 371 376 381 387 389 391 394 398 400 401 403 407 423 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 a 6 7 8 11 12 14 18 20 22 23 25 27 30 34 35 37 39 40 42 43 48 51 52 59 60 66 69 71 76 77 79 81 82 84 85 91 92 94 98 100 101 110 113 116 117 121 122 126 132 134 138 143 144 147 148 152 160 163 164 173 175 177 179 182 183 190 191 193 201 206 209 215 220 222 223 225 228 231 233 236 239 240 244 245 250 254 256 263 269 270 277 278 285 291 294 297 299 301 304 305 306 310 314 315 316 328 330 333 335 338 341 342 344 346 347 349 361 366 370 371 376 381 387 389 391 394 398 400 401 403 407 423 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 a 6 7 8 11 12 14 18 20 22 23 25 27 30 34 35 37 39 40 42 43 48 51 52 59 60 66 69 71 76 77 79 81 82 84 85 91 92 94 98 100 101 110 113 116 117 121 122 126 132 134 138 143 144 147 148 152 160 163 164 173 175 177 179 182 183 190 191 193 201 206 209 215 220 222 223 225 228 231 233 236 239 240 244 245 250 254 256 263 269 270 278 285 291 294 297 299 301 304 305 306 310 314 315 316 328 330 333 335 338 341 342 344 346 347 349 361 366 370 371 376 381 387 389 391 394 398 400 401 403 407 423 425 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 a 6 7 8 11 12 14 18 20 22 23 25 27 30 34 35 37 39 40 42 43 48 51 52 59 60 66 69 71 76 77 79 81 82 84 85 91 92 94 98 100 101 110 113 116 117 121 122 126 132 134 138 143 144 147 148 152 160 163 164 173 175 177 179 182 183 190 191 193 201 206 209 215 220 222 223 225 228 231 233 236 239 240 244 245 250 254 256 263 268 269 270 278 285 291 294 297 299 301 304 305 306 310 314 315 316 328 330 333 335 338 341 342 344 346 347 349 361 366 370 371 376 381 387 389 391 394 398 400 401 403 407 425 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 a 6 7 8 11 12 14 18 20 23 25 27 30 34 35 37 39 40 42 43 48 51 52 59 60 66 69 71 76 77 79 81 82 84 85 91 92 94 98 100 101 110 113 116 117 121 122 126 132 134 138 143 144 147 148 152 160 163 164 173 175 177 179 182 183 190 191 193 201 206 209 215 220 222 223 225 228 231 233 236 239 240 244 245 250 254 256 263 268 269 270 278 285 291 294 297 299 301 304 305 306 310 314 315 316 328 330 333 335 338 341 342 344 346 347 349 361 366 370 371 376 381 387 389 391 394 398 400 401 403 407 425 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 455 a 6 7 8 11 12 14 18 20 25 27 30 34 35 37 39 40 42 43 48 51 52 59 60 66 69 71 76 77 79 81 82 84 85 91 92 94 98 100 101 110 113 116 117 121 122 126 132 134 138 143 144 147 148 152 160 163 164 169 173 175 177 179 182 183 190 191 193 201 206 209 215 220 222 223 225 228 231 233 236 239 240 244 245 250 254 256 263 268 269 270 278 285 291 294 297 299 301 304 305 306 310 314 315 316 328 330 333 335 338 341 342 344 346 347 349 361 366 370 371 376 381 387 389 391 394 398 400 401 403 407 425 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 455 a 6 7 8 11 12 14 18 20 25 27 30 34 35 37 39 40 42 43 48 51 52 59 60 66 69 71 76 77 79 81 82 84 85 91 92 94 98 100 101 110 113 116 117 121 122 126 132 134 138 143 144 147 148 152 160 163 164 169 173 175 177 179 182 183 190 191 193 201 206 209 215 220 222 223 225 231 233 236 239 240 244 245 250 254 256 263 268 269 270 278 285 291 294 297 299 301 304 305 306 308 310 314 315 316 328 330 333 335 338 341 342 344 346 347 349 361 366 370 371 376 381 387 389 391 394 398 400 401 403 407 425 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 455 a 6 7 8 11 12 14 18 20 25 27 30 34 35 37 39 40 42 43 48 51 52 59 60 66 71 76 77 79 81 82 84 85 91 92 94 98 100 101 110 113 116 117 121 122 126 132 134 138 143 144 147 148 152 160 163 164 169 173 175 177 179 182 183 190 191 193 201 206 209 215 220 222 223 225 231 233 236 237 239 240 244 245 250 254 256 263 268 269 270 278 285 291 294 297 299 301 304 305 306 308 310 314 315 316 328 330 333 335 338 341 342 344 346 347 349 361 366 370 371 376 381 387 389 391 394 398 400 401 403 407 425 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 455 a 6 7 8 11 12 14 18 20 25 27 30 34 35 37 39 40 42 43 48 51 52 59 60 66 71 76 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 122 126 132 134 138 143 144 147 148 152 160 163 164 169 173 175 177 179 182 183 190 191 193 201 206 209 215 220 222 223 225 231 233 236 237 239 240 244 245 250 254 256 263 268 269 270 278 285 288 291 294 297 299 301 304 305 306 308 310 314 315 316 328 330 333 335 338 341 342 344 346 347 349 361 366 370 371 376 381 387 389 391 394 398 400 401 403 407 425 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 455 a 6 7 8 11 12 14 18 20 25 27 30 34 35 37 39 40 42 43 48 51 52 59 60 66 71 76 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 122 126 132 134 138 143 144 147 148 152 160 163 164 169 173 175 177 179 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 233 236 237 239 240 244 245 250 254 256 263 268 269 270 278 285 288 291 294 297 299 301 304 305 306 308 310 314 315 316 328 330 333 335 338 341 342 344 346 347 349 361 366 370 371 376 381 387 389 391 394 400 401 403 407 425 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 455 a 6 7 8 11 12 14 18 20 25 27 30 34 35 37 39 40 42 43 48 51 52 59 60 66 71 76 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 122 126 132 134 138 143 144 147 148 152 160 163 164 169 173 175 177 179 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 233 236 237 239 240 244 245 250 253 254 256 263 268 269 270 278 285 288 291 294 297 299 301 304 305 306 308 310 314 315 316 328 330 333 335 338 341 342 344 346 347 349 361 370 371 376 381 387 389 391 394 400 401 403 407 425 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 455 a 6 7 8 11 12 14 18 20 25 27 30 34 35 39 40 42 43 48 51 52 59 60 66 71 76 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 122 126 132 134 138 143 144 147 148 152 160 163 164 169 173 175 177 179 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 233 236 237 239 240 244 245 250 253 254 256 263 268 269 270 278 285 288 291 294 297 299 301 304 305 306 308 310 314 315 316 322 328 330 333 335 338 341 342 344 346 347 349 361 370 371 376 381 387 389 391 394 400 401 403 407 425 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 455 a 6 7 8 11 12 14 18 20 25 27 30 34 35 39 40 42 43 48 51 52 59 60 66 71 76 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 122 126 132 134 138 143 144 147 148 152 160 163 164 169 173 175 177 179 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 233 236 237 239 240 244 245 250 253 254 256 259 263 268 269 270 278 285 288 291 294 297 299 301 304 305 306 308 310 315 316 322 328 330 333 335 338 341 342 344 346 347 349 361 370 371 376 381 387 389 391 394 400 401 403 407 425 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 455 a 6 7 8 11 12 14 18 20 25 27 30 34 35 37 39 40 42 43 48 51 52 59 60 66 71 76 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 122 126 132 134 138 143 144 147 148 152 160 163 164 169 173 175 177 179 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 233 236 237 239 240 244 245 250 253 254 256 259 263 268 269 270 278 285 288 291 294 297 299 301 304 305 306 308 310 315 316 328 330 333 335 338 341 342 344 346 347 349 361 370 371 376 381 387 389 391 394 400 401 403 407 425 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 455 a 6 7 8 11 12 14 18 20 25 27 30 31 34 35 37 39 40 42 43 48 52 59 60 66 71 76 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 122 126 132 134 138 143 144 147 148 152 160 163 164 169 173 175 177 179 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 233 236 237 239 240 244 245 250 253 254 256 259 263 268 269 270 278 285 288 291 294 297 299 301 304 305 306 308 310 315 316 328 330 333 335 338 341 342 344 346 347 349 361 370 371 376 381 387 389 391 394 400 401 403 407 425 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 455 a 6 7 8 11 12 14 18 20 25 27 30 31 34 35 37 39 40 42 43 48 52 59 60 66 71 76 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 122 126 132 134 137 138 143 144 147 148 152 160 163 164 169 173 175 177 179 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 233 236 237 239 240 244 245 250 253 254 256 259 263 268 269 270 278 285 288 291 294 297 299 301 304 305 306 308 310 315 316 328 330 333 335 338 341 342 344 346 347 349 361 370 376 381 387 389 391 394 400 401 403 407 425 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 455 a 6 7 8 11 12 14 18 20 25 27 30 31 34 35 37 39 40 42 43 48 52 59 60 66 71 76 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 122 126 132 134 137 138 143 144 147 148 152 160 163 164 169 173 175 177 179 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 233 236 237 239 240 244 245 250 253 254 256 259 263 268 269 270 278 285 288 291 294 297 299 301 304 305 306 308 310 315 316 328 330 333 335 338 341 342 344 346 347 349 361 370 376 381 387 389 391 393 394 400 401 403 407 425 428 429 430 432 433 434 437 438 439 440 441 443 447 448 455 a 6 7 8 11 12 14 18 20 25 27 30 31 34 35 37 39 40 42 43 48 52 59 60 66 71 76 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 122 126 132 134 137 138 143 144 147 148 152 160 163 164 169 173 175 176 177 179 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 233 236 237 239 240 244 245 250 253 254 256 259 263 268 269 270 278 285 288 291 294 297 299 301 304 305 306 310 315 316 328 330 333 335 338 341 342 344 346 347 349 361 370 376 381 387 389 391 393 394 400 401 403 407 425 428 429 430 432 433 434 437 438 439 440 441 443 447 448 455 a 6 7 8 11 12 14 18 20 25 27 30 34 35 37 39 40 42 43 48 51 52 59 60 66 71 76 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 122 126 132 134 137 138 143 144 147 148 152 160 163 164 169 173 175 176 177 179 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 233 236 237 239 240 244 245 250 253 254 256 259 263 268 269 270 278 285 288 291 294 297 299 301 304 305 306 310 315 316 328 330 333 335 338 341 342 344 346 347 349 361 370 376 381 387 389 391 393 394 400 401 403 407 425 428 429 430 432 433 434 437 438 439 440 441 443 447 448 455 a 6 7 8 11 12 14 18 20 25 27 30 34 35 37 39 40 42 43 48 51 52 59 60 66 71 76 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 122 126 132 134 137 138 143 144 147 148 152 160 163 164 169 173 175 176 177 179 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 233 236 237 239 240 244 245 250 253 254 256 259 263 268 269 270 277 278 285 288 291 294 297 299 301 304 305 306 310 315 316 328 330 333 335 338 341 342 344 346 347 349 361 370 376 381 387 389 391 393 394 400 401 403 407 428 429 430 432 433 434 437 438 439 440 441 443 447 448 455 a 6 7 8 11 12 14 18 20 25 27 30 34 35 37 39 40 42 43 48 51 52 59 60 66 71 76 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 122 126 132 134 137 138 143 144 147 148 152 160 163 164 169 173 175 176 177 179 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 233 236 237 239 240 244 245 250 253 254 256 259 263 269 270 277 278 285 288 291 294 297 299 301 304 305 306 310 315 316 328 330 333 335 338 341 342 344 346 347 349 361 370 376 381 387 389 391 393 394 400 401 403 407 423 428 429 430 432 433 434 437 438 439 440 441 443 447 448 455 a 6 7 8 11 12 14 18 20 25 27 30 34 35 37 39 40 42 43 48 51 52 59 60 66 71 76 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 122 126 132 134 137 138 143 144 147 148 152 160 163 164 169 173 175 177 179 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 233 236 237 239 240 244 245 250 253 254 256 259 263 269 270 277 278 285 288 291 294 297 299 301 304 305 306 310 315 316 328 330 333 335 338 341 342 344 346 347 349 361 370 376 381 387 389 391 393 394 400 401 403 407 423 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 455 a 6 7 8 11 12 14 18 20 25 27 30 34 35 37 39 40 42 43 48 51 52 59 60 66 71 76 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 122 126 132 134 137 138 143 144 147 148 152 160 163 164 169 173 175 177 179 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 233 236 237 239 240 244 245 250 253 254 256 259 263 269 270 278 285 288 291 294 297 299 301 304 305 306 310 315 316 328 330 333 335 338 341 342 344 346 347 349 361 370 376 381 387 389 391 393 394 400 401 403 407 423 425 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 455 a 6 7 8 11 12 14 20 25 27 30 34 35 37 39 40 42 43 48 51 52 59 60 66 71 76 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 122 126 132 134 137 138 143 144 147 148 152 160 163 164 169 173 175 177 179 182 183 184 190 191 193 201 206 209 215 220 222 223 225 228 231 233 236 237 239 240 244 245 250 253 254 256 259 263 269 270 278 285 288 291 294 297 299 301 304 305 306 310 315 316 328 330 333 335 338 341 342 344 346 347 349 361 370 376 381 387 389 391 393 394 400 401 403 407 423 425 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 455 a 6 7 8 11 12 14 20 25 27 30 34 35 37 39 40 42 43 48 51 52 59 60 66 71 76 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 122 126 132 134 137 138 143 144 147 148 152 160 163 164 169 173 175 177 179 182 183 184 190 191 201 206 209 215 220 222 223 225 228 231 233 236 237 239 240 244 245 250 253 254 256 259 263 269 270 278 285 288 291 294 297 299 301 304 305 306 310 315 316 320 328 330 333 335 338 341 342 344 346 347 349 361 370 376 381 387 389 391 393 394 400 401 403 407 423 425 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 455 a 6 7 8 11 12 14 20 25 27 30 34 35 37 39 40 42 43 48 51 52 59 60 66 71 76 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 122 126 132 134 137 138 143 144 147 148 152 160 163 164 169 173 175 177 179 182 183 184 190 191 201 206 209 215 220 222 223 225 228 231 233 236 237 239 240 244 245 250 253 254 256 259 263 269 270 278 285 288 291 294 299 301 304 305 306 310 315 316 320 328 330 333 335 338 341 342 344 346 347 349 359 361 370 376 381 387 389 391 393 394 400 401 403 407 423 425 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 455 a 6 7 8 11 12 14 20 25 27 30 34 35 37 39 40 42 43 48 51 52 59 60 66 71 76 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 122 132 134 137 138 143 144 147 148 152 160 163 164 169 173 175 177 179 182 183 184 190 191 201 206 209 215 220 222 223 225 228 231 233 236 237 239 240 244 245 250 253 254 256 259 263 269 270 271 278 285 288 291 294 299 301 304 305 306 310 315 316 320 328 330 333 335 338 341 342 344 346 347 349 359 361 370 376 381 387 389 391 393 394 400 401 403 407 423 425 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 455 a 6 7 8 11 12 14 20 25 27 30 34 35 37 39 40 42 43 48 50 51 52 59 60 66 71 76 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 122 132 134 137 138 143 144 147 148 152 160 163 164 169 173 175 177 179 182 183 184 190 191 201 206 209 215 220 222 223 225 228 231 233 236 237 239 240 244 245 250 253 254 256 259 263 269 270 271 278 285 288 291 294 299 301 304 305 306 310 315 316 320 328 330 333 335 338 341 342 344 346 347 349 359 361 370 376 381 387 389 391 393 394 400 401 403 407 423 425 428 429 430 432 433 434 437 438 440 441 443 447 448 450 455 a 6 7 8 11 12 14 20 25 27 30 34 35 37 39 40 42 43 48 50 51 52 59 60 66 71 76 77 79 81 84 85 89 91 92 94 98 100 101 110 113 116 117 121 122 132 134 137 138 143 144 147 148 152 160 163 164 169 173 175 177 179 182 183 184 190 191 201 206 209 215 220 222 223 225 228 231 233 236 237 239 240 244 245 250 253 254 256 259 263 269 270 271 278 285 288 291 294 299 301 304 305 306 310 315 316 320 328 330 333 335 338 341 342 344 346 347 349 359 361 370 376 381 387 389 391 393 394 400 401 403 407 423 425 428 429 430 432 433 434 437 438 440 441 447 448 450 455 a 6 7 8 11 12 14 20 25 27 30 34 35 37 39 40 42 43 48 50 51 52 59 60 66 71 76 77 79 81 84 85 89 91 92 94 98 100 101 110 113 116 117 121 122 132 134 137 138 143 144 147 152 160 163 164 169 173 175 177 179 182 183 184 190 191 201 206 209 215 220 222 223 225 228 231 233 236 237 239 240 244 245 250 253 254 256 259 263 269 270 271 278 285 286 288 291 294 299 301 304 305 306 310 315 316 320 328 330 333 335 338 341 342 344 346 347 349 359 361 370 376 381 387 389 391 393 394 400 401 403 407 423 425 428 429 430 432 433 434 437 438 440 441 447 448 450 455 a 6 7 8 11 12 14 20 25 27 30 34 35 37 39 40 42 43 48 50 51 52 59 60 66 71 76 77 79 80 81 84 85 89 91 92 94 98 100 101 110 113 116 117 121 122 132 134 137 138 143 144 147 152 160 163 164 169 173 175 177 179 182 183 184 190 191 201 206 209 215 220 222 223 225 228 231 233 236 237 239 240 244 245 250 253 254 256 259 263 269 270 271 278 285 286 288 291 294 299 301 304 305 306 310 315 316 320 328 330 333 335 338 341 342 344 346 347 349 359 361 370 376 381 387 389 391 393 394 400 401 403 423 425 428 429 430 432 433 434 437 438 440 441 447 448 450 455 a 6 7 8 11 12 14 20 25 27 30 34 35 37 39 40 42 43 48 50 51 52 59 60 66 71 76 77 79 80 81 84 85 89 91 92 94 98 100 101 110 113 116 117 121 122 132 134 137 138 143 144 147 152 160 163 164 169 173 175 177 179 182 183 184 190 191 201 206 209 215 220 222 223 225 228 231 233 236 237 239 240 244 245 250 253 254 256 259 263 269 270 271 278 285 286 288 291 294 299 301 304 305 306 310 315 316 320 328 330 333 335 338 341 342 344 346 347 349 359 361 369 370 376 381 387 389 391 393 394 400 401 423 425 428 429 430 432 433 434 437 438 440 441 447 448 450 455 a 6 7 8 11 12 14 20 25 27 30 34 35 37 39 40 42 43 48 50 51 52 59 60 66 71 76 77 79 80 81 84 85 89 91 92 94 98 100 101 110 113 116 117 121 122 132 134 138 143 144 147 152 160 163 164 169 173 175 177 179 182 183 184 190 191 201 206 209 215 220 222 223 225 228 231 233 236 237 239 240 244 245 250 253 254 256 259 263 269 270 271 278 285 286 288 291 294 299 301 304 305 306 310 315 316 320 328 330 333 335 338 341 342 344 346 347 349 359 361 369 370 371 376 381 387 389 391 393 394 400 401 423 425 428 429 430 432 433 434 437 438 440 441 447 448 450 455 a 6 7 8 11 12 14 20 22 25 27 30 34 35 37 39 40 42 43 48 50 51 52 59 60 66 71 76 77 79 80 81 84 85 89 91 92 94 98 100 101 110 113 116 117 121 122 132 134 138 143 144 147 152 160 163 164 169 173 175 177 179 182 183 184 190 191 201 206 209 215 220 222 223 225 228 231 233 236 237 239 240 244 245 250 253 254 256 259 263 269 270 271 278 285 286 288 291 294 299 301 304 305 306 310 315 316 320 328 330 333 335 338 341 342 344 346 347 349 359 361 369 370 371 376 381 387 389 391 393 394 400 401 423 425 428 429 430 432 433 434 437 438 440 441 447 448 450 a 6 7 8 11 12 14 20 22 25 27 30 34 35 37 39 40 42 43 48 50 51 52 59 60 66 71 76 77 79 80 81 84 85 89 91 92 94 98 100 101 110 113 116 117 121 122 132 134 138 143 144 147 152 160 163 164 169 173 175 177 179 182 183 184 190 191 201 206 209 215 220 222 223 225 228 231 233 236 237 239 240 244 245 250 253 254 256 259 263 269 270 271 278 285 286 288 291 294 298 299 301 304 305 306 310 315 316 320 328 330 333 335 338 341 342 344 346 347 349 359 361 369 370 371 376 381 387 389 391 393 400 401 423 425 428 429 430 432 433 434 437 438 440 441 447 448 450 a 6 7 8 11 12 14 20 22 25 27 30 34 35 37 39 40 42 43 48 50 51 52 59 60 66 71 76 77 79 80 81 84 85 89 91 92 94 98 100 101 110 113 116 117 121 122 132 134 138 143 144 147 152 160 163 164 169 173 175 176 177 179 182 183 184 190 191 201 206 209 215 220 222 223 225 228 231 233 236 237 239 240 244 245 250 253 254 256 259 263 269 270 271 278 285 286 288 291 294 298 299 301 304 305 306 310 315 316 320 328 330 333 335 338 341 342 344 346 347 349 359 361 369 370 371 376 381 387 389 391 393 400 401 423 425 428 429 430 432 433 434 437 438 440 441 447 448 a 6 7 8 11 12 14 20 22 25 27 30 34 35 37 39 40 42 43 48 50 51 52 59 60 66 71 76 77 79 80 81 84 85 89 92 94 98 100 101 110 113 116 117 119 121 122 132 134 138 143 144 147 152 160 163 164 169 173 175 176 177 179 182 183 184 190 191 201 206 209 215 220 222 223 225 228 231 233 236 237 239 240 244 245 250 253 254 256 259 263 269 270 271 278 285 286 288 291 294 298 299 301 304 305 306 310 315 316 320 328 330 333 335 338 341 342 344 346 347 349 359 361 369 370 371 376 381 387 389 391 393 400 401 423 425 428 429 430 432 433 434 437 438 440 441 447 448 a 6 7 8 11 12 14 20 22 25 27 30 33 34 35 37 39 40 42 43 48 50 51 52 59 60 66 71 76 77 79 80 81 84 85 89 92 94 98 100 101 110 113 116 117 119 121 122 132 134 138 143 144 147 152 160 163 164 169 173 175 176 177 179 182 183 184 190 191 201 206 209 215 220 222 223 225 228 231 233 236 237 239 240 244 245 250 253 254 256 259 263 269 270 271 278 285 286 288 291 294 298 299 301 304 305 306 310 315 320 328 330 333 335 338 341 342 344 346 347 349 359 361 369 370 371 376 381 387 389 391 393 400 401 423 425 428 429 430 432 433 434 437 438 440 441 447 448 a 6 7 8 11 12 14 20 22 25 27 30 33 34 35 37 39 40 42 43 48 50 51 52 59 60 66 71 76 77 79 80 81 84 85 89 92 94 98 100 101 110 113 116 117 119 121 122 132 134 138 143 144 147 152 160 163 164 169 173 175 176 177 179 182 183 184 190 191 201 206 209 215 220 222 223 225 228 231 233 236 237 239 240 244 245 250 253 254 256 259 263 269 270 271 278 285 286 288 291 294 298 299 301 304 305 310 315 320 328 330 333 335 338 341 342 344 346 347 349 359 361 369 370 371 372 376 381 387 389 391 393 400 401 423 425 428 429 430 432 433 434 437 438 440 441 447 448 a 6 7 8 11 12 14 20 22 25 30 33 34 35 37 39 40 42 43 48 50 51 52 59 60 66 71 76 77 79 80 81 84 85 89 92 94 98 100 101 110 113 116 117 119 121 122 132 134 138 143 144 147 152 160 163 164 169 173 175 176 177 179 182 183 184 190 191 201 206 209 215 220 222 223 225 228 231 233 236 237 239 240 244 245 250 253 254 256 259 263 269 270 271 278 285 286 288 291 294 298 299 301 304 305 310 315 320 328 330 333 334 335 338 341 342 344 346 347 349 359 361 369 370 371 372 376 381 387 389 391 393 400 401 423 425 428 429 430 432 433 434 437 438 440 441 447 448 a 6 7 8 11 12 14 20 22 25 30 33 34 35 37 39 40 42 43 48 50 51 52 59 60 66 71 76 77 79 80 81 84 85 89 92 94 98 100 101 110 113 116 117 119 121 122 132 134 138 143 144 147 152 160 163 164 169 173 175 176 177 179 182 183 184 190 191 201 206 209 215 220 222 223 225 228 231 233 236 237 239 240 244 245 250 253 254 256 259 263 269 270 271 278 285 286 288 294 298 299 301 304 305 310 315 320 328 330 333 334 335 338 341 342 344 346 347 349 359 361 369 370 371 372 376 381 387 389 391 393 400 401 417 423 425 428 429 430 432 433 434 437 438 440 441 447 448 a 6 7 8 11 12 14 20 22 25 30 33 34 35 37 39 40 42 43 48 50 51 52 59 60 66 76 77 79 80 81 84 85 89 92 94 98 100 101 110 113 116 117 119 121 122 132 134 138 143 144 147 152 160 163 164 169 173 175 176 177 179 180 182 183 184 190 191 201 206 209 215 220 222 223 225 228 231 233 236 237 239 240 244 245 250 253 254 256 259 263 269 270 271 278 285 286 288 294 298 299 301 304 305 310 315 320 328 330 333 334 335 338 341 342 344 346 347 349 359 361 369 370 371 372 376 381 387 389 391 393 400 401 417 423 425 428 429 430 432 433 434 437 438 440 441 447 448 a 6 7 8 11 12 14 20 22 25 30 33 34 35 37 39 40 42 43 48 50 51 52 59 60 66 76 77 79 80 81 84 85 89 92 94 98 100 101 110 113 116 117 119 121 122 132 134 138 143 144 147 152 160 163 164 169 173 175 176 177 179 180 182 183 184 190 191 201 206 209 215 220 222 223 225 228 231 233 236 237 239 240 244 245 250 253 254 256 259 263 269 270 271 278 285 286 288 294 298 299 301 304 305 310 315 320 328 333 334 335 338 341 342 344 346 347 349 359 361 369 370 371 372 376 381 387 389 391 393 400 401 409 417 423 425 428 429 430 432 433 434 437 438 440 441 447 448 a 6 7 8 11 12 14 20 22 25 30 33 34 35 37 39 40 42 43 48 50 51 52 59 60 66 69 76 77 79 80 81 84 85 89 92 94 98 100 101 110 113 116 117 119 121 122 132 134 138 143 144 147 152 160 163 164 169 173 175 176 177 179 180 182 183 184 190 191 201 206 209 215 220 222 223 225 228 231 233 236 239 240 244 245 250 253 254 256 259 263 269 270 271 278 285 286 288 294 298 299 301 304 305 310 315 320 328 333 334 335 338 341 342 344 346 347 349 359 361 369 370 371 372 376 381 387 389 391 393 400 401 409 417 423 425 428 429 430 432 433 434 437 438 440 441 447 448 a 6 7 8 11 12 14 20 22 25 30 33 34 35 37 39 40 42 43 48 50 51 52 59 60 66 69 76 77 79 80 81 84 85 89 92 94 98 100 101 110 113 116 117 119 121 122 132 134 138 143 144 147 152 160 163 164 169 173 175 176 177 179 180 182 183 184 190 191 201 206 209 215 220 222 223 225 228 231 233 236 239 240 244 245 250 253 254 256 259 263 269 270 271 278 285 286 288 294 298 299 301 304 305 310 315 320 325 328 333 334 335 338 341 342 344 346 347 349 359 361 369 370 371 372 376 381 387 389 391 393 400 401 409 417 423 425 429 430 432 433 434 437 438 440 441 447 448 a 6 7 8 11 12 14 20 22 25 30 33 34 35 37 39 40 42 43 48 50 51 52 59 60 66 69 76 77 79 80 81 84 85 89 92 94 98 100 101 110 113 116 117 119 121 122 132 134 138 143 144 147 152 160 163 164 169 173 175 176 177 179 180 182 183 184 190 191 201 206 209 215 220 222 223 225 228 231 233 236 239 240 244 245 250 253 254 256 258 259 263 269 270 271 278 285 286 288 294 298 299 301 304 305 310 315 320 325 328 333 334 335 338 341 342 344 346 347 349 359 369 370 371 372 376 381 387 389 391 393 400 401 409 417 423 425 429 430 432 433 434 437 438 440 441 447 448 a 6 7 8 11 12 14 20 22 25 30 33 34 35 37 39 40 42 43 48 50 51 52 59 60 66 69 76 77 79 80 81 84 85 89 92 94 98 100 101 110 113 116 117 119 121 122 132 134 138 143 144 147 152 160 163 164 169 173 175 176 177 179 180 182 183 184 190 191 201 206 209 215 220 222 223 225 228 231 233 236 239 240 244 245 250 253 254 256 258 259 263 269 270 271 278 285 286 288 294 298 299 301 304 305 310 315 320 325 328 333 334 335 338 341 342 344 346 347 349 359 360 369 370 371 372 376 381 387 391 393 400 401 409 417 423 425 429 430 432 433 434 437 438 440 441 447 448 a 6 7 8 11 12 14 20 22 25 30 33 34 35 37 39 40 42 48 50 51 52 59 60 66 69 76 77 79 80 81 84 85 89 92 94 98 100 101 110 113 116 117 119 121 122 132 134 138 142 143 144 147 152 160 163 164 169 173 175 176 177 179 180 182 183 184 190 191 201 206 209 215 220 222 223 225 228 231 233 236 239 240 244 245 250 253 254 256 258 259 263 269 270 271 278 285 286 288 294 298 299 301 304 305 310 315 320 325 328 333 334 335 338 341 342 344 346 347 349 359 360 369 370 371 372 376 381 387 391 393 400 401 409 417 423 425 429 430 432 433 434 437 438 440 441 447 448 a 6 7 8 11 12 14 20 22 25 30 33 34 35 37 39 40 42 48 50 51 52 59 60 66 69 76 77 79 80 81 84 85 89 92 94 98 100 101 110 113 116 117 119 121 122 132 134 138 142 143 144 147 152 160 163 164 169 173 175 176 177 179 180 182 183 184 190 191 201 206 209 215 220 222 223 225 228 231 233 236 239 240 244 245 250 253 254 256 258 263 269 270 271 278 285 286 288 294 298 299 301 304 305 310 314 315 320 325 328 333 334 335 338 341 342 344 346 347 349 359 360 369 370 371 372 376 381 387 391 393 400 401 409 417 423 425 429 430 432 433 434 437 438 440 441 447 448 a 6 7 8 11 12 14 20 22 25 30 33 34 35 37 38 39 40 42 48 50 51 52 59 60 66 69 76 77 79 80 81 84 85 89 92 94 98 100 101 110 113 116 117 119 121 122 132 134 138 142 143 144 147 152 160 163 164 169 173 175 176 177 179 180 182 183 184 190 191 201 206 209 215 220 222 223 225 228 231 233 236 239 240 244 245 250 253 254 256 258 263 269 270 271 285 286 288 294 298 299 301 304 305 310 314 315 320 325 328 333 334 335 338 341 342 344 346 347 349 359 360 369 370 371 372 376 381 387 391 393 400 401 409 417 423 425 429 430 432 433 434 437 438 440 441 447 448 a 6 7 8 11 12 14 20 22 25 30 33 34 35 37 38 39 40 42 48 50 51 52 59 60 66 69 76 77 79 80 81 84 85 89 92 94 98 100 101 110 113 116 117 119 121 122 132 134 138 142 143 144 147 152 160 163 164 169 173 175 176 177 179 180 182 183 184 190 191 201 206 209 215 220 222 223 225 228 231 233 236 239 240 244 245 253 254 256 258 263 269 270 271 285 286 288 294 298 299 301 304 305 309 310 314 315 320 325 328 333 334 335 338 341 342 344 346 347 349 359 360 369 370 371 372 376 381 387 391 393 400 401 409 417 423 425 429 430 432 433 434 437 438 440 441 447 448 a 6 7 8 11 12 14 20 22 25 30 33 34 35 37 38 39 40 42 48 50 51 52 59 60 66 69 76 77 79 80 81 84 85 89 92 94 98 100 101 110 113 116 117 119 121 122 132 134 138 140 142 143 144 147 152 160 163 164 169 173 175 176 177 179 180 182 183 184 190 191 201 206 209 215 222 223 225 228 231 233 236 239 240 244 245 253 254 256 258 263 269 270 271 285 286 288 294 298 299 301 304 305 309 310 314 315 320 325 328 333 334 335 338 341 342 344 346 347 349 359 360 369 370 371 372 376 381 387 391 393 400 401 409 417 423 425 429 430 432 433 434 437 438 440 441 447 448 a 6 7 8 11 12 14 20 22 25 30 33 34 35 37 38 39 40 42 48 50 51 52 59 60 66 69 76 77 79 80 81 84 85 89 92 94 98 100 101 110 113 116 117 119 121 122 132 134 138 140 141 142 143 144 147 152 160 163 164 169 173 175 176 177 179 180 182 183 184 190 191 201 206 209 215 222 223 225 228 231 233 236 239 240 244 245 253 254 256 258 263 269 270 271 285 286 288 294 298 299 301 304 305 309 310 314 315 320 325 328 333 334 335 338 341 342 346 347 349 359 360 369 370 371 372 376 381 387 391 393 400 401 409 417 423 425 429 430 432 433 434 437 438 440 441 447 448 a 6 7 8 11 12 14 20 22 25 30 33 34 35 37 38 39 40 42 48 50 51 52 59 60 66 69 76 77 79 80 81 84 85 89 92 94 98 100 101 110 113 116 117 119 121 122 132 134 138 140 141 142 143 144 147 152 163 164 169 173 175 176 177 179 180 182 183 184 190 191 201 206 209 215 222 223 225 228 231 233 236 239 240 244 245 253 254 256 258 263 269 270 271 285 286 288 294 298 299 301 304 305 309 310 312 314 315 320 325 328 333 334 335 338 341 342 346 347 349 359 360 369 370 371 372 376 381 387 391 393 400 401 409 417 423 425 429 430 432 433 434 437 438 440 441 447 448 a 6 7 8 11 12 14 20 22 25 30 33 34 35 37 38 39 40 42 48 50 51 52 59 60 66 69 76 77 79 80 81 84 85 89 92 94 98 100 101 110 113 116 117 119 121 122 132 134 138 140 141 142 143 144 147 152 163 164 169 173 175 176 177 179 180 182 183 184 190 191 201 206 209 222 223 225 228 231 233 236 239 240 244 245 253 254 256 258 263 269 270 271 273 285 286 288 294 298 299 301 304 305 309 310 312 314 315 320 325 328 333 334 335 338 341 342 346 347 349 359 360 369 370 371 372 376 381 387 391 393 400 401 409 417 423 425 429 430 432 433 434 437 438 440 441 447 448 a 6 7 8 11 12 14 20 22 25 30 33 34 35 37 38 39 40 42 48 50 51 52 59 60 66 69 76 79 80 81 84 85 89 92 94 98 100 101 110 113 116 117 119 121 122 132 134 138 140 141 142 143 144 147 152 163 164 169 173 175 176 177 179 180 182 183 184 190 191 201 206 209 222 223 225 228 231 233 234 236 239 240 244 245 253 254 256 258 263 269 270 271 273 285 286 288 294 298 299 301 304 305 309 310 312 314 315 320 325 328 333 334 335 338 341 342 346 347 349 359 360 369 370 371 372 376 381 387 391 393 400 401 409 417 423 425 429 430 432 433 434 437 438 440 441 447 448 a 6 7 8 11 12 14 20 22 25 30 33 34 35 37 38 39 40 42 48 50 51 52 59 60 66 69 76 79 80 81 84 85 89 92 94 98 100 101 110 113 116 117 119 121 122 132 134 138 140 141 142 143 144 147 152 163 164 169 173 175 176 177 179 180 182 183 184 185 190 191 201 206 209 222 223 225 228 231 234 236 239 240 244 245 253 254 256 258 263 269 270 271 273 285 286 288 294 298 299 301 304 305 309 310 312 314 315 320 325 328 333 334 335 338 341 342 346 347 349 359 360 369 370 371 372 376 381 387 391 393 400 401 409 417 423 425 429 430 432 433 434 437 438 440 441 447 448 a 6 7 8 11 12 14 20 22 25 30 33 34 35 37 38 39 40 42 48 50 51 52 59 60 66 69 76 79 80 81 84 85 89 92 94 98 100 101 110 113 116 117 119 121 122 132 134 138 140 141 142 143 144 147 152 163 164 169 173 175 176 177 179 180 182 183 184 185 190 201 206 209 222 223 225 228 231 234 236 239 240 244 245 253 254 256 258 263 269 270 271 273 281 285 286 288 294 298 299 301 304 305 309 310 312 314 315 320 325 328 333 334 335 338 341 342 346 347 349 359 360 369 370 371 372 376 381 387 391 393 400 401 409 417 423 425 429 430 432 433 434 437 438 440 441 447 448 a 6 7 8 11 12 14 20 22 25 30 33 34 35 37 38 39 40 42 48 50 51 52 59 60 66 69 76 79 80 81 84 85 89 92 94 98 100 101 110 113 116 117 119 121 122 132 134 138 140 141 142 143 144 147 152 163 164 169 173 175 176 177 179 180 182 183 184 185 190 201 206 209 222 223 225 228 231 234 236 239 240 244 245 253 254 256 258 263 269 270 271 273 281 285 286 288 294 298 299 301 304 305 309 310 312 314 320 325 328 333 334 335 338 341 342 346 347 349 359 360 369 370 371 372 376 381 387 391 393 400 401 409 417 422 423 425 429 430 432 433 434 437 438 440 441 447 448 a 6 7 8 11 14 20 22 25 30 33 34 35 37 38 39 40 42 48 50 51 52 59 60 66 69 76 79 80 81 84 85 89 92 94 98 100 101 110 113 116 117 119 121 122 132 134 138 140 141 142 143 144 145 147 152 163 164 169 173 175 176 177 179 180 182 183 184 185 190 201 206 209 222 223 225 228 231 234 236 239 240 244 245 253 254 256 258 263 269 270 271 273 281 285 286 288 294 298 299 301 304 305 309 310 312 314 320 325 328 333 334 335 338 341 342 346 347 349 359 360 369 370 371 372 376 381 387 391 393 400 401 409 417 422 423 425 429 430 432 433 434 437 438 440 441 447 448 a 6 7 8 11 14 20 22 25 30 33 34 35 37 38 39 40 42 48 50 51 52 59 60 66 69 76 79 80 81 84 85 89 92 94 98 100 101 110 113 116 117 119 121 122 132 134 138 140 141 142 143 144 145 147 152 163 164 169 173 175 176 177 179 180 182 183 184 185 190 197 201 206 209 222 223 225 228 231 234 236 239 240 244 245 253 254 256 258 263 269 270 271 273 281 285 286 288 294 298 299 301 304 305 309 310 312 314 320 325 328 333 334 335 338 341 342 346 347 349 359 360 369 370 371 372 376 381 387 391 393 400 401 409 417 422 423 425 429 430 432 433 434 437 438 440 441 447 a 6 7 8 11 14 20 22 25 30 33 34 35 37 38 39 40 42 48 50 51 52 59 60 66 69 76 79 80 81 84 85 88 89 92 94 98 100 101 110 113 116 119 121 122 132 134 138 140 141 142 143 144 145 147 152 163 164 169 173 175 176 177 179 180 182 183 184 185 190 197 201 206 209 222 223 225 228 231 234 236 239 240 244 245 253 254 256 258 263 269 270 271 273 281 285 286 288 294 298 299 301 304 305 309 310 312 314 320 325 328 333 334 335 338 341 342 346 347 349 359 360 369 370 371 372 376 381 387 391 393 400 401 409 417 422 423 425 429 430 432 433 434 437 438 440 441 447 a 6 7 8 11 14 20 22 25 30 33 34 35 37 38 39 40 42 48 50 51 52 59 60 66 69 76 79 80 81 84 85 88 89 92 94 98 100 101 110 113 116 119 121 122 132 134 138 140 141 142 143 144 145 147 152 163 164 169 173 175 176 177 179 180 182 183 184 185 190 197 201 206 209 222 223 225 228 231 234 236 239 240 244 245 253 254 256 258 263 269 270 271 273 281 285 286 288 294 298 299 304 305 309 310 312 314 320 325 328 333 334 335 338 341 342 346 347 349 359 360 369 370 371 372 374 376 381 387 391 393 400 401 409 417 422 423 425 429 430 432 433 434 437 438 440 441 447 a 6 7 8 11 14 20 22 25 30 33 34 35 37 38 39 40 42 48 50 51 52 59 60 69 76 79 80 81 84 85 88 89 92 94 98 100 101 110 113 116 119 121 122 132 134 138 140 141 142 143 144 145 147 152 163 164 169 173 175 176 177 179 180 182 183 184 185 190 197 201 206 209 222 223 225 228 231 234 236 239 240 244 245 253 254 256 258 263 269 270 271 273 281 285 286 288 294 298 299 304 305 309 310 312 314 320 325 328 333 334 335 338 341 342 346 347 349 359 360 369 370 371 372 374 376 381 384 387 391 393 400 401 409 417 422 423 425 429 430 432 433 434 437 438 440 441 447 a 6 7 8 11 14 20 22 24 25 30 33 34 35 37 38 39 40 42 48 50 51 52 59 60 69 76 79 80 81 84 85 88 89 92 94 98 100 101 110 113 116 119 121 122 132 134 138 140 141 142 143 144 145 147 152 163 164 169 173 175 176 177 179 180 182 183 184 185 190 197 201 206 209 222 223 225 228 231 234 236 239 240 244 253 254 256 258 263 269 270 271 273 281 285 286 288 294 298 299 304 305 309 310 312 314 320 325 328 333 334 335 338 341 342 346 347 349 359 360 369 370 371 372 374 376 381 384 387 391 393 400 401 409 417 422 423 425 429 430 432 433 434 437 438 440 441 447 a 6 7 8 11 14 20 22 24 25 30 33 34 35 37 38 39 40 42 48 50 51 52 59 60 69 76 79 80 81 84 85 88 89 92 94 98 100 101 110 113 116 119 121 122 132 134 138 140 141 142 143 144 145 147 152 163 164 169 173 175 176 177 179 180 182 183 184 185 190 197 201 206 209 222 223 225 228 231 234 236 239 240 244 253 254 256 258 263 269 270 271 273 281 285 286 294 298 299 304 305 309 310 312 314 320 325 328 333 334 335 338 341 342 346 347 349 359 360 369 370 371 372 374 376 381 384 387 391 393 400 401 404 409 417 422 423 425 429 430 432 433 434 437 438 440 441 447 a 6 7 8 11 14 20 22 24 25 30 33 34 35 37 38 39 40 42 48 50 51 52 59 60 69 76 79 80 81 84 85 88 89 92 94 98 100 101 110 113 116 119 121 122 132 134 138 140 141 142 144 145 147 152 163 164 169 173 175 176 177 179 180 182 183 184 185 190 197 201 206 209 222 223 225 228 231 234 236 239 240 244 246 253 254 256 258 263 269 270 271 273 281 285 286 294 298 299 304 305 309 310 312 314 320 325 328 333 334 335 338 341 342 346 347 349 359 360 369 370 371 372 374 376 381 384 387 391 393 400 401 404 409 417 422 423 425 429 430 432 433 434 437 438 440 441 447 a 6 7 8 11 14 20 22 24 25 30 33 34 35 38 39 40 42 48 50 51 52 59 60 69 76 79 80 81 84 85 88 89 92 94 98 100 101 110 113 116 119 121 122 132 134 138 140 141 142 144 145 147 152 163 164 169 173 175 176 177 179 180 182 183 184 185 190 197 201 206 209 222 223 225 228 231 234 236 239 240 244 246 253 254 256 258 263 269 270 271 272 273 281 285 286 294 298 299 304 305 309 310 312 314 320 325 328 333 334 335 338 341 342 346 347 349 359 360 369 370 371 372 374 376 381 384 387 391 393 400 401 404 409 417 422 423 425 429 430 432 433 434 437 438 440 441 447 a 6 7 8 11 14 20 22 24 25 30 33 34 35 38 39 40 48 50 51 52 59 60 69 76 79 80 81 84 85 88 89 92 94 98 100 101 110 113 116 119 121 122 132 134 138 140 141 142 144 145 147 152 163 164 169 173 175 176 177 179 180 182 183 184 185 190 197 201 206 209 222 223 225 228 231 234 236 239 240 244 246 253 254 256 258 263 269 270 271 272 273 281 285 286 293 294 298 299 304 305 309 310 312 314 320 325 328 333 334 335 338 341 342 346 347 349 359 360 369 370 371 372 374 376 381 384 387 391 393 400 401 404 409 417 422 423 425 429 430 432 433 434 437 438 440 441 447 a 6 7 8 11 14 20 22 24 25 30 33 34 35 38 39 40 48 50 51 52 59 60 69 76 79 80 81 84 85 88 89 92 94 98 100 101 110 113 116 119 121 122 132 134 138 140 141 142 144 145 147 152 163 164 169 173 175 176 177 179 180 182 183 184 185 190 197 201 206 209 222 223 225 228 231 234 236 239 240 244 246 253 254 256 258 263 269 270 271 272 273 274 281 285 286 293 294 298 299 304 305 309 310 312 314 320 325 328 333 334 335 338 341 342 346 349 359 360 369 370 371 372 374 376 381 384 387 391 393 400 401 404 409 417 422 423 425 429 430 432 433 434 437 438 440 441 447 a 6 7 8 11 14 20 22 24 25 30 33 34 35 38 39 40 48 50 51 52 59 60 69 76 79 80 81 84 85 88 89 94 98 100 101 110 113 116 119 121 122 132 134 138 140 141 142 144 145 147 152 163 164 169 173 175 176 177 179 180 182 183 184 185 190 197 201 204 206 209 222 223 225 228 231 234 236 239 240 244 246 253 254 256 258 263 269 270 271 272 273 274 281 285 286 293 294 298 299 304 305 309 310 312 314 320 325 328 333 334 335 338 341 342 346 349 359 360 369 370 371 372 374 376 381 384 387 391 393 400 401 404 409 417 422 423 425 429 430 432 433 434 437 438 440 441 447 a 6 7 8 11 14 20 22 24 25 30 33 34 35 38 39 40 48 50 51 52 59 60 69 79 80 81 84 85 88 89 94 98 100 101 110 113 116 119 121 122 132 134 138 140 141 142 144 145 147 152 163 164 169 173 175 176 177 179 180 182 183 184 185 190 197 201 204 206 209 222 223 225 228 231 234 236 239 240 244 246 253 254 256 258 263 269 270 271 272 273 274 281 285 286 293 294 298 299 304 305 309 310 312 314 320 323 325 328 333 334 335 338 341 342 346 349 359 360 369 370 371 372 374 376 381 384 387 391 393 400 401 404 409 417 422 423 425 429 430 432 433 434 437 438 440 441 447 a 6 7 8 11 14 20 22 24 25 30 33 34 35 38 39 40 48 50 51 52 59 69 79 80 81 84 85 88 89 94 98 99 100 101 110 113 116 119 121 122 132 134 138 140 141 142 144 145 147 152 163 164 169 173 175 176 177 179 180 182 183 184 185 190 197 201 204 206 209 222 223 225 228 231 234 236 239 240 244 246 253 254 256 258 263 269 270 271 272 273 274 281 285 286 293 294 298 299 304 305 309 310 312 314 320 323 325 328 333 334 335 338 341 342 346 349 359 360 369 370 371 372 374 376 381 384 387 391 393 400 401 404 409 417 422 423 425 429 430 432 433 434 437 438 440 441 447 a 6 7 8 11 14 20 22 24 25 30 33 34 35 38 39 40 48 50 51 52 59 69 79 80 81 84 85 88 89 94 98 99 100 101 110 112 113 116 119 121 122 132 134 138 140 141 142 144 145 147 163 164 169 173 175 176 177 179 180 182 183 184 185 190 197 201 204 206 209 222 223 225 228 231 234 236 239 240 244 246 253 254 256 258 263 269 270 271 272 273 274 281 285 286 293 294 298 299 304 305 309 310 312 314 320 323 325 328 333 334 335 338 341 342 346 349 359 360 369 370 371 372 374 376 381 384 387 391 393 400 401 404 409 417 422 423 425 429 430 432 433 434 437 438 440 441 447 a 6 7 8 11 14 22 24 25 30 33 34 35 38 39 40 48 50 51 52 59 69 79 80 81 84 85 88 89 94 98 99 100 101 110 112 113 116 119 121 122 132 134 136 138 140 141 142 144 145 147 163 164 169 173 175 176 177 179 180 182 183 184 185 190 197 201 204 206 209 222 223 225 228 231 234 236 239 240 244 246 253 254 256 258 263 269 270 271 272 273 274 281 285 286 293 294 298 299 304 305 309 310 312 314 320 323 325 328 333 334 335 338 341 342 346 349 359 360 369 370 371 372 374 376 381 384 387 391 393 400 401 404 409 417 422 423 425 429 430 432 433 434 437 438 440 441 447 a 6 7 8 11 14 22 24 25 30 33 34 35 38 39 40 48 50 51 52 59 69 79 80 81 84 85 88 89 94 98 99 100 101 110 112 113 116 119 121 122 132 134 136 138 140 141 142 144 145 147 163 164 169 173 175 176 177 179 180 182 183 184 185 190 197 201 204 206 209 222 223 225 228 231 234 236 239 240 244 246 253 254 256 258 263 269 270 271 272 273 274 281 285 286 293 294 298 299 304 305 309 310 312 314 320 323 325 328 333 334 335 338 341 342 346 349 356 359 360 369 370 371 372 374 376 381 384 387 391 393 400 401 404 409 417 422 423 425 429 430 432 433 434 437 438 441 447 a 6 7 8 11 14 17 22 24 25 30 33 34 35 38 39 40 48 50 51 52 59 69 79 80 81 84 85 88 89 94 98 99 100 101 110 112 113 116 119 121 122 132 134 136 138 140 141 142 144 145 147 163 164 169 173 175 176 177 179 180 182 183 184 185 190 197 201 204 206 209 222 223 225 228 231 234 236 239 240 244 246 253 254 256 258 263 269 270 271 272 273 274 281 285 286 293 294 298 299 304 305 309 310 312 314 320 323 325 328 333 334 338 341 342 346 349 356 359 360 369 370 371 372 374 376 381 384 387 391 393 400 401 404 409 417 422 423 425 429 430 432 433 434 437 438 441 447 a 6 7 8 11 14 17 22 24 25 30 33 34 35 38 39 40 48 50 51 52 59 69 79 80 81 84 85 88 89 94 98 99 100 101 110 112 113 116 119 121 122 132 134 136 138 140 141 142 144 145 147 154 163 164 169 173 175 176 177 179 180 182 183 184 185 190 197 201 204 206 209 222 223 225 228 231 234 236 239 240 244 246 253 254 256 258 263 269 270 271 272 273 274 281 285 286 293 294 298 299 304 305 309 310 312 314 320 323 325 328 333 334 338 341 342 346 349 356 359 360 369 370 371 372 374 381 384 387 391 393 400 401 404 409 417 422 423 425 429 430 432 433 434 437 438 441 447 a 6 7 8 11 14 17 22 24 25 30 33 34 35 38 39 40 48 50 51 52 59 69 79 80 81 84 85 88 89 94 98 99 100 101 110 112 113 116 119 121 122 132 134 136 138 140 141 142 144 145 147 154 163 164 169 173 175 176 177 179 180 182 183 184 185 190 197 201 204 206 209 222 223 225 228 231 234 236 239 240 244 246 253 254 256 258 263 269 270 271 272 273 274 281 285 286 293 298 299 304 305 309 310 312 314 320 323 325 328 333 334 338 341 342 346 349 356 359 360 369 370 371 372 374 381 384 387 391 393 400 401 404 406 409 417 422 423 425 429 430 432 433 434 437 438 441 447 a 6 7 8 11 14 17 22 24 25 30 33 34 35 38 39 40 48 50 51 52 59 69 79 80 81 84 85 88 89 94 98 99 100 101 110 112 113 116 119 121 122 132 134 136 138 140 141 142 144 145 147 154 163 164 169 173 175 176 177 179 180 182 183 184 185 190 197 201 204 206 209 222 223 225 228 231 234 236 239 240 244 246 253 254 256 258 263 269 270 271 272 273 274 281 285 286 293 298 299 304 305 309 310 312 314 320 323 325 328 333 334 338 341 342 346 349 353 356 359 360 369 370 371 372 374 381 384 387 391 393 400 401 404 406 409 417 422 423 425 429 430 432 433 434 437 438 441 a 6 7 8 11 14 17 22 24 25 30 33 34 35 38 39 40 48 50 51 52 59 67 69 79 80 81 84 85 88 89 94 98 99 100 101 110 112 113 116 119 121 122 132 134 136 138 140 141 142 144 145 147 154 163 164 169 173 175 176 177 179 180 182 183 184 185 190 197 201 204 206 209 222 223 225 228 231 234 236 239 240 244 246 253 254 256 258 263 269 270 271 272 273 274 281 285 286 293 298 299 304 305 309 310 312 314 320 323 325 328 333 334 338 341 342 349 353 356 359 360 369 370 371 372 374 381 384 387 391 393 400 401 404 406 409 417 422 423 425 429 430 432 433 434 437 438 441 a 6 7 8 11 14 17 22 24 25 30 33 34 35 38 39 40 48 50 51 52 59 67 69 79 80 81 84 85 88 89 94 98 99 100 101 110 112 113 116 119 121 122 129 132 134 136 138 140 141 142 144 145 147 154 163 164 169 173 175 176 177 179 180 182 183 184 185 190 197 201 204 206 209 222 223 225 228 231 234 236 239 240 244 246 253 254 256 258 263 269 270 271 272 273 274 281 285 286 293 298 299 304 305 309 310 312 314 320 323 325 328 333 334 338 341 342 349 353 356 359 360 369 370 371 372 374 381 384 387 391 393 400 401 404 406 409 417 422 423 425 429 430 432 433 434 437 441 a 7 8 11 14 17 22 24 25 30 33 34 35 38 39 40 48 50 51 52 59 67 69 79 80 81 84 85 88 89 94 98 99 100 101 110 112 113 116 119 121 122 129 132 134 136 138 140 141 142 144 145 147 154 163 164 169 173 175 176 177 179 180 182 183 184 185 190 197 201 204 206 209 222 223 225 227 228 231 234 236 239 240 244 246 253 254 256 258 263 269 270 271 272 273 274 281 285 286 293 298 299 304 305 309 310 312 314 320 323 325 328 333 334 338 341 342 349 353 356 359 360 369 370 371 372 374 381 384 387 391 393 400 401 404 406 409 417 422 423 425 429 430 432 433 434 437 441 a 7 8 11 14 17 22 24 25 30 33 34 38 39 40 48 50 51 52 59 67 69 79 80 81 84 85 88 89 94 98 99 100 101 110 112 113 116 119 121 122 129 132 134 136 138 140 141 142 144 145 147 154 163 164 169 173 175 176 177 179 180 182 183 184 185 188 190 197 201 204 206 209 222 223 225 227 228 231 234 236 239 240 244 246 253 254 256 258 263 269 270 271 272 273 274 281 285 286 293 298 299 304 305 309 310 312 314 320 323 325 328 333 334 338 341 342 349 353 356 359 360 369 370 371 372 374 381 384 387 391 393 400 401 404 406 409 417 422 423 425 429 430 432 433 434 437 441 a 7 8 11 14 17 22 24 25 30 33 34 38 39 40 48 50 51 52 59 67 69 79 80 81 84 85 88 89 94 98 99 100 101 110 112 113 116 119 121 122 129 132 134 135 136 138 140 141 142 144 145 147 154 163 164 169 173 175 176 177 179 180 182 183 184 185 188 190 197 201 204 206 209 222 223 225 227 228 231 234 236 239 240 244 246 253 256 258 263 269 270 271 272 273 274 281 285 286 293 298 299 304 305 309 310 312 314 320 323 325 328 333 334 338 341 342 349 353 356 359 360 369 370 371 372 374 381 384 387 391 393 400 401 404 406 409 417 422 423 425 429 430 432 433 434 437 441 a 7 8 11 14 17 22 24 25 30 33 34 38 39 40 48 50 51 52 59 67 69 79 80 81 84 88 89 94 98 99 100 101 110 112 113 116 119 121 122 124 129 132 134 135 136 138 140 141 142 144 145 147 154 163 164 169 173 175 176 177 179 180 182 183 184 185 188 190 197 201 204 206 209 222 223 225 227 228 231 234 236 239 240 244 246 253 256 258 263 269 270 271 272 273 274 281 285 286 293 298 299 304 305 309 310 312 314 320 323 325 328 333 334 338 341 342 349 353 356 359 360 369 370 371 372 374 381 384 387 391 393 400 401 404 406 409 417 422 423 425 429 430 432 433 434 437 441 a 7 8 11 14 17 22 24 25 30 33 34 38 39 40 48 50 51 52 59 67 69 79 80 81 84 88 89 94 98 99 100 101 110 112 113 116 119 121 122 124 129 132 134 135 136 138 140 141 142 144 145 147 154 163 164 169 173 175 176 177 179 180 182 183 184 185 188 190 197 201 204 206 209 222 223 225 227 228 231 234 236 239 240 244 246 253 256 258 263 269 270 271 272 273 274 281 285 286 293 298 299 304 305 309 310 312 314 320 323 325 328 333 334 338 341 342 349 351 353 356 359 360 369 370 371 372 374 381 384 387 391 393 400 404 406 409 417 422 423 425 429 430 432 433 434 437 441 a 7 8 11 14 17 22 24 25 30 33 34 38 39 40 48 50 51 52 59 67 69 79 80 81 84 88 89 94 98 99 100 101 110 112 113 116 119 121 122 124 129 134 135 136 138 140 141 142 144 145 147 154 159 163 164 169 173 175 176 177 179 180 182 183 184 185 188 190 197 201 204 206 209 222 223 225 227 228 231 234 236 239 240 244 246 253 256 258 263 269 270 271 272 273 274 281 285 286 293 298 299 304 305 309 310 312 314 320 323 325 328 333 334 338 341 342 349 351 353 356 359 360 369 370 371 372 374 381 384 387 391 393 400 404 406 409 417 422 423 425 429 430 432 433 434 437 441 a 7 8 11 14 17 22 24 25 30 33 34 38 39 40 48 50 51 52 59 67 69 79 80 81 84 88 89 94 98 99 100 101 110 112 113 116 119 121 124 129 134 135 136 138 140 141 142 144 145 147 154 159 163 164 169 173 175 176 177 179 180 182 183 184 185 188 190 197 201 204 206 209 222 223 225 227 228 231 234 236 239 240 244 246 253 256 258 263 269 270 271 272 273 274 281 282 285 286 293 298 299 304 305 309 310 312 314 320 323 325 328 333 334 338 341 342 349 351 353 356 359 360 369 370 371 372 374 381 384 387 391 393 400 404 406 409 417 422 423 425 429 430 432 433 434 437 441 a 7 8 11 14 17 22 24 25 30 33 34 38 39 40 48 50 51 52 59 67 69 79 80 81 84 88 89 94 98 99 100 101 110 112 113 116 119 121 124 129 134 135 136 138 140 141 142 144 145 147 149 154 159 163 164 169 173 175 176 177 179 180 182 183 184 185 188 190 197 201 204 206 209 222 223 227 228 231 234 236 239 240 244 246 253 256 258 263 269 270 271 272 273 274 281 282 285 286 293 298 299 304 305 309 310 312 314 320 323 325 328 333 334 338 341 342 349 351 353 356 359 360 369 370 371 372 374 381 384 387 391 393 400 404 406 409 417 422 423 425 429 430 432 433 434 437 441 a 7 8 11 14 17 22 24 25 30 33 34 38 39 40 48 50 51 52 59 67 69 79 80 81 84 88 89 94 98 99 100 101 110 112 113 116 119 121 124 129 134 135 136 138 140 141 142 144 145 147 149 154 159 163 164 169 173 175 176 177 179 180 182 183 185 188 190 197 201 204 206 209 222 223 227 228 231 234 236 239 240 244 246 253 256 258 263 269 270 271 272 273 274 281 282 285 286 293 298 299 304 305 309 310 312 314 320 323 325 328 333 334 338 341 342 349 351 353 356 359 360 369 370 371 372 374 379 381 384 387 391 393 400 404 406 409 417 422 423 425 429 430 432 433 434 437 441 a 7 8 11 14 17 22 24 25 30 33 34 38 39 40 48 50 51 52 59 67 69 79 80 81 84 88 89 94 98 99 100 101 110 112 113 116 119 121 124 129 134 135 136 138 140 141 142 144 145 147 149 154 159 163 164 169 173 175 176 177 180 182 183 185 188 190 197 201 204 206 209 216 222 223 227 228 231 234 236 239 240 244 246 253 256 258 263 269 270 271 272 273 274 281 282 285 286 293 298 299 304 305 309 310 312 314 320 323 325 328 333 334 338 341 342 349 351 353 356 359 360 369 370 371 372 374 379 381 384 387 391 393 400 404 406 409 417 422 423 425 429 430 432 433 434 437 441 a 7 8 11 14 17 22 24 25 30 33 34 38 39 40 48 50 51 52 59 67 69 79 80 81 84 88 89 94 98 99 100 101 110 112 113 116 119 121 124 129 134 135 136 138 140 141 142 144 145 147 149 154 159 163 164 169 175 176 177 180 182 183 185 188 190 197 201 204 206 209 216 222 223 227 228 230 231 234 236 239 240 244 246 253 256 258 263 269 270 271 272 273 274 281 282 285 286 293 298 299 304 305 309 310 312 314 320 323 325 328 333 334 338 341 342 349 351 353 356 359 360 369 370 371 372 374 379 381 384 387 391 393 400 404 406 409 417 422 423 425 429 430 432 433 434 437 441 a 7 8 11 14 17 22 24 25 30 33 34 38 39 40 48 50 51 52 59 67 69 79 80 81 84 88 89 94 98 99 100 101 110 112 113 116 119 121 124 129 134 135 136 138 140 141 142 144 145 147 149 154 159 163 164 169 175 176 177 180 182 183 185 188 190 197 201 204 206 209 216 222 223 227 228 230 231 234 236 239 240 244 246 253 256 258 263 269 270 271 272 273 274 281 282 285 286 293 298 299 304 305 309 310 312 314 320 323 325 328 333 334 338 341 342 349 351 353 356 359 360 369 370 371 372 374 377 379 381 384 387 391 393 400 404 406 409 417 422 423 425 429 430 432 433 434 437 a 7 8 11 14 17 22 24 25 30 33 34 38 39 40 48 50 51 52 59 67 69 79 80 81 84 88 89 94 98 99 100 101 110 112 113 116 119 121 124 129 134 135 136 138 140 141 142 144 145 147 149 154 159 163 164 169 175 176 177 180 182 183 185 188 190 194 197 201 204 206 209 216 222 223 227 228 230 231 234 239 240 244 246 253 256 258 263 269 270 271 272 273 274 281 282 285 286 293 298 299 304 305 309 310 312 314 320 323 325 328 333 334 338 341 342 349 351 353 356 359 360 369 370 371 372 374 377 379 381 384 387 391 393 400 404 406 409 417 422 423 425 429 430 432 433 434 437 a 7 8 11 14 17 22 24 25 30 33 34 38 39 40 48 50 51 52 59 67 69 79 80 84 88 89 94 98 99 100 101 110 112 113 116 119 121 124 129 134 135 136 138 140 141 142 144 145 147 149 154 159 163 164 169 175 176 177 180 182 183 185 188 190 194 197 201 204 206 209 216 222 223 227 228 230 231 234 239 240 244 246 253 256 258 263 269 270 271 272 273 274 276 281 282 285 286 293 298 299 304 305 309 310 312 314 320 323 325 328 333 334 338 341 342 349 351 353 356 359 360 369 370 371 372 374 377 379 381 384 387 391 393 400 404 406 409 417 422 423 425 429 430 432 433 434 437 a 7 8 11 14 17 22 24 25 30 33 34 38 39 40 48 50 51 52 59 67 69 79 80 84 88 89 94 99 100 101 105 110 112 113 116 119 121 124 129 134 135 136 138 140 141 142 144 145 147 149 154 159 163 164 169 175 176 177 180 182 183 185 188 190 194 197 201 204 206 209 216 222 223 227 228 230 231 234 239 240 244 246 253 256 258 263 269 270 271 272 273 274 276 281 282 285 286 293 298 299 304 305 309 310 312 314 320 323 325 328 333 334 338 341 342 349 351 353 356 359 360 369 370 371 372 374 377 379 381 384 387 391 393 400 404 406 409 417 422 423 425 429 430 432 433 434 437 a 7 8 11 14 17 22 24 25 30 33 34 38 39 40 48 50 51 52 59 67 69 79 80 84 88 89 94 99 100 101 105 110 112 113 116 118 119 121 124 129 134 135 136 138 140 141 142 144 145 147 149 154 159 163 164 169 175 176 177 180 182 183 185 188 190 194 197 201 204 206 209 216 222 223 227 228 230 231 234 239 240 244 246 253 256 258 263 269 270 271 272 273 274 276 281 282 285 286 293 298 299 304 305 309 310 312 314 320 323 325 328 333 334 341 342 349 351 353 356 359 360 369 370 371 372 374 377 379 381 384 387 391 393 400 404 406 409 417 422 423 425 429 430 432 433 434 437 a 7 8 11 14 17 22 24 25 30 33 34 38 39 40 48 50 51 52 59 67 69 79 80 88 89 94 99 100 101 105 110 112 113 116 118 119 121 124 129 134 135 136 138 140 141 142 144 145 147 149 154 159 163 164 169 175 176 177 180 182 183 185 187 188 190 194 197 201 204 206 209 216 222 223 227 228 230 231 234 239 240 244 246 253 256 258 263 269 270 271 272 273 274 276 281 282 285 286 293 298 299 304 305 309 310 312 314 320 323 325 328 333 334 341 342 349 351 353 356 359 360 369 370 371 372 374 377 379 381 384 387 391 393 400 404 406 409 417 422 423 425 429 430 432 433 434 437 a 7 8 11 14 17 22 24 25 30 33 34 38 39 40 48 50 51 52 59 67 69 79 80 88 89 94 99 100 101 105 110 112 113 116 118 119 121 124 129 134 135 136 138 140 141 142 144 145 147 149 154 159 163 164 166 169 175 176 177 180 182 183 185 187 188 190 194 197 201 204 206 209 216 222 223 227 228 230 231 234 239 240 244 246 253 256 258 263 269 270 271 272 273 274 276 281 282 285 286 293 298 299 304 305 309 310 312 314 320 323 325 328 333 334 341 342 349 351 353 356 359 360 369 370 371 372 374 377 379 384 387 391 393 400 404 406 409 417 422 423 425 429 430 432 433 434 437 a 7 8 11 14 17 22 24 25 30 33 34 38 39 40 48 50 51 52 56 59 67 69 79 80 88 89 99 100 101 105 110 112 113 116 118 119 121 124 129 134 135 136 138 140 141 142 144 145 147 149 154 159 163 164 166 169 175 176 177 180 182 183 185 187 188 190 194 197 201 204 206 209 216 222 223 227 228 230 231 234 239 240 244 246 253 256 258 263 269 270 271 272 273 274 276 281 282 285 286 293 298 299 304 305 309 310 312 314 320 323 325 328 333 334 341 342 349 351 353 356 359 360 369 370 371 372 374 377 379 384 387 391 393 400 404 406 409 417 422 423 425 429 430 432 433 434 437 a 7 8 11 14 17 22 24 25 30 33 34 38 39 40 48 50 51 52 56 59 67 69 79 80 88 89 99 100 101 105 110 112 113 116 118 119 121 124 129 134 135 136 138 140 141 142 144 145 149 154 159 163 164 166 169 175 176 177 180 182 183 185 187 188 190 194 197 201 204 206 209 216 222 223 227 228 230 231 234 239 240 244 246 253 256 258 261 263 269 270 271 272 273 274 276 281 282 285 286 293 298 299 304 305 309 310 312 314 320 323 325 328 333 334 341 342 349 351 353 356 359 360 369 370 371 372 374 377 379 384 387 391 393 400 404 406 409 417 422 423 425 429 430 432 433 434 437 a 7 8 11 14 17 22 24 25 30 33 34 38 39 40 48 50 51 52 54 56 59 67 69 79 80 88 89 99 100 101 105 110 112 113 116 118 119 121 124 129 134 135 136 138 140 141 142 144 145 149 154 159 163 164 166 169 175 176 177 180 182 183 185 187 188 190 194 197 201 204 206 209 216 222 223 227 228 230 231 234 239 240 244 246 253 256 258 261 263 269 270 271 272 273 274 276 281 282 285 286 293 298 299 304 305 309 310 312 314 320 323 325 328 333 334 341 342 349 351 353 356 359 360 369 370 371 372 374 377 379 384 387 391 393 400 404 406 409 417 422 423 425 430 432 433 434 437 a 7 8 11 14 17 22 24 25 30 33 34 38 39 40 48 50 51 52 54 56 59 67 69 79 80 88 89 99 100 101 105 110 112 113 116 118 119 121 124 129 134 135 136 138 140 141 142 144 145 149 154 159 163 164 166 169 175 176 177 180 182 183 185 187 188 190 194 197 201 204 206 209 216 222 223 227 230 231 234 239 240 244 246 253 256 258 261 263 269 270 271 272 273 274 276 281 282 285 286 293 298 299 304 305 309 310 311 312 314 320 323 325 328 333 334 341 342 349 351 353 356 359 360 369 370 371 372 374 377 379 384 387 391 393 400 404 406 409 417 422 423 425 430 432 433 434 437 a 7 8 11 14 17 22 24 25 30 33 34 38 40 48 50 51 52 54 56 59 67 69 79 80 88 89 99 100 101 105 110 112 113 116 118 119 121 124 129 134 135 136 138 140 141 142 144 145 149 154 159 163 164 166 169 175 176 177 180 182 183 185 187 188 190 194 197 201 204 206 209 216 222 223 227 230 231 234 239 240 244 246 253 256 258 261 263 269 270 271 272 273 274 276 281 282 285 286 293 298 299 302 304 305 309 310 311 312 314 320 323 325 328 333 334 341 342 349 351 353 356 359 360 369 370 371 372 374 377 379 384 387 391 393 400 404 406 409 417 422 423 425 430 432 433 434 437 a 7 8 11 14 17 22 24 25 30 33 34 38 40 48 50 51 52 54 56 59 67 69 79 80 88 89 99 100 101 105 112 113 116 118 119 121 124 129 134 135 136 138 140 141 142 144 145 149 154 159 163 164 166 169 175 176 177 180 182 183 185 187 188 190 194 197 201 204 206 209 216 219 222 223 227 230 231 234 239 240 244 246 253 256 258 261 263 269 270 271 272 273 274 276 281 282 285 286 293 298 299 302 304 305 309 310 311 312 314 320 323 325 328 333 334 341 342 349 351 353 356 359 360 369 370 371 372 374 377 379 384 387 391 393 400 404 406 409 417 422 423 425 430 432 433 434 437 a 7 8 11 14 17 22 24 25 30 33 34 38 40 48 50 51 54 56 59 67 69 79 80 88 89 99 100 101 105 112 113 116 118 119 121 124 129 134 135 136 138 140 141 142 144 145 149 154 159 163 164 166 169 175 176 177 180 182 183 185 187 188 190 194 197 201 204 206 209 216 219 222 223 227 230 231 234 239 240 244 246 253 256 258 261 263 267 269 270 271 272 273 274 276 281 282 285 286 293 298 299 302 304 305 309 310 311 312 314 320 323 325 328 333 334 341 342 349 351 353 356 359 360 369 370 371 372 374 377 379 384 387 391 393 400 404 406 409 417 422 423 425 430 432 433 434 437 a 7 8 11 14 17 22 24 25 30 33 34 38 40 48 50 51 54 56 59 67 69 79 80 87 88 89 99 100 101 105 112 113 116 118 119 121 124 129 134 135 136 138 140 141 142 144 145 149 154 159 163 164 166 169 175 176 180 182 183 185 187 188 190 194 197 201 204 206 209 216 219 222 223 227 230 231 234 239 240 244 246 253 256 258 261 263 267 269 270 271 272 273 274 276 281 282 285 286 293 298 299 302 304 305 309 310 311 312 314 320 323 325 328 333 334 341 342 349 351 353 356 359 360 369 370 371 372 374 377 379 384 387 391 393 400 404 406 409 417 422 423 425 430 432 433 434 437 a 7 8 11 14 17 22 24 25 30 33 34 38 40 48 50 51 54 56 59 67 69 79 80 87 88 89 99 100 101 105 112 113 116 118 119 121 124 129 134 135 136 138 140 141 142 144 145 149 154 159 163 164 166 169 175 176 180 182 183 185 187 188 190 194 197 201 204 206 209 216 219 222 223 227 230 231 234 239 240 244 246 253 256 258 261 263 267 269 270 271 272 273 274 276 281 282 285 286 293 298 299 302 304 305 309 310 311 312 314 320 323 325 328 333 334 341 342 349 351 353 356 359 360 369 370 371 372 374 377 379 384 391 393 397 400 404 406 409 417 422 423 425 430 432 433 434 437 a 7 8 11 14 17 22 24 25 30 33 34 38 40 48 50 51 54 56 59 67 69 79 80 87 88 89 99 100 101 105 112 113 116 118 119 121 124 129 134 135 136 138 140 141 142 144 145 149 154 159 163 164 166 175 176 180 182 183 185 187 188 190 194 197 201 204 206 209 216 219 222 223 227 230 231 234 239 240 244 246 249 253 256 258 261 263 267 269 270 271 272 273 274 276 281 282 285 286 293 298 299 302 304 305 309 310 311 312 314 320 323 325 328 333 334 341 342 349 351 353 356 359 360 369 370 371 372 374 377 379 384 391 393 397 400 404 406 409 417 422 423 425 430 432 433 434 437 a 7 8 11 14 17 22 24 25 33 34 38 40 48 50 51 54 56 59 67 69 79 80 87 88 89 99 100 101 105 112 113 116 118 119 121 124 129 134 135 136 138 140 141 142 144 145 149 154 159 163 164 166 175 176 180 182 183 185 187 188 190 194 197 201 204 206 209 216 219 222 223 227 230 231 234 239 240 244 246 249 253 256 258 261 263 267 269 270 271 272 273 274 276 281 282 285 286 293 298 299 302 304 305 309 310 311 312 314 320 323 325 328 333 334 341 342 349 351 353 356 359 360 369 370 371 372 374 377 379 384 391 393 397 400 404 406 409 417 422 423 425 430 432 433 434 437 445 a 7 8 11 14 17 22 24 25 33 34 38 40 48 50 51 54 56 59 67 69 79 80 87 88 89 99 100 101 105 112 113 116 118 119 121 124 129 134 135 136 138 140 141 142 144 145 149 154 159 163 164 166 175 176 180 182 183 185 187 188 190 194 197 201 204 206 209 216 219 222 223 227 230 231 234 239 240 244 246 249 253 256 258 261 263 267 270 271 272 273 274 276 281 282 285 286 293 298 299 302 304 305 309 310 311 312 314 320 323 325 328 333 334 341 342 349 351 353 356 359 360 369 370 371 372 374 377 379 384 391 393 397 400 404 406 409 417 422 423 425 430 432 433 434 437 445 449 a 7 8 11 14 17 22 24 25 33 34 38 40 44 48 50 51 54 56 59 67 69 79 80 87 88 89 99 100 101 105 112 113 116 118 119 124 129 134 135 136 138 140 141 142 144 145 149 154 159 163 164 166 175 176 180 182 183 185 187 188 190 194 197 201 204 206 209 216 219 222 223 227 230 231 234 239 240 244 246 249 253 256 258 261 263 267 270 271 272 273 274 276 281 282 285 286 293 298 299 302 304 305 309 310 311 312 314 320 323 325 328 333 334 341 342 349 351 353 356 359 360 369 370 371 372 374 377 379 384 391 393 397 400 404 406 409 417 422 423 425 430 432 433 434 437 445 449 a 7 8 11 14 17 22 24 25 33 34 38 40 44 48 50 54 56 59 67 69 79 80 87 88 89 99 100 101 105 112 113 116 118 119 124 129 134 135 136 138 140 141 142 144 145 149 154 159 163 164 166 175 176 180 182 183 185 187 188 190 194 197 201 204 206 209 216 219 222 223 227 230 231 234 239 240 244 246 249 252 253 256 258 261 263 267 270 271 272 273 274 276 281 282 285 286 293 298 299 302 304 305 309 310 311 312 314 320 323 325 328 333 334 341 342 349 351 353 356 359 360 369 370 371 372 374 377 379 384 391 393 397 400 404 406 409 417 422 423 425 430 432 433 434 437 445 449 a 7 8 11 14 17 22 24 25 33 34 38 40 44 48 50 54 56 59 67 69 79 80 87 88 89 99 100 101 105 112 113 116 118 119 124 129 134 135 136 138 140 141 142 144 145 149 154 159 163 164 166 175 176 180 182 183 185 187 188 190 194 197 201 204 206 209 216 219 222 223 227 230 231 234 239 240 244 246 249 252 253 256 258 261 263 267 271 272 273 274 276 281 282 285 286 293 298 299 302 304 305 309 310 311 312 314 320 323 325 328 333 334 341 342 349 351 353 356 357 359 360 369 370 371 372 374 377 379 384 391 393 397 400 404 406 409 417 422 423 425 430 432 433 434 437 445 449 a 7 8 11 14 17 22 24 25 33 34 38 40 44 48 50 54 56 59 67 69 79 80 87 88 89 99 100 101 105 112 113 116 118 119 124 129 134 135 136 138 140 141 142 144 145 149 154 159 163 164 166 175 176 180 182 183 185 186 187 188 190 194 197 201 204 206 209 216 219 222 223 227 230 231 234 239 240 244 246 249 252 253 256 258 261 263 267 271 272 273 274 276 281 282 285 286 293 298 299 302 304 305 309 310 311 312 314 320 323 325 328 333 334 342 349 351 353 356 357 359 360 369 370 371 372 374 377 379 384 391 393 397 400 404 406 409 417 422 423 425 430 432 433 434 437 445 449 a 7 8 11 14 17 22 24 25 33 34 38 40 44 48 50 54 56 59 67 69 79 80 87 88 89 99 100 101 105 112 113 116 118 119 124 129 134 135 136 138 140 141 142 144 145 149 154 159 163 164 166 175 176 180 182 183 185 186 187 188 190 194 197 201 204 206 209 216 219 222 223 224 227 230 231 234 239 240 244 246 249 252 253 256 258 261 263 267 271 272 273 274 276 281 282 285 286 293 298 299 302 304 305 309 310 311 312 314 320 323 325 328 333 334 342 349 351 353 356 357 359 360 369 370 371 372 374 377 379 384 391 393 397 400 404 406 409 417 422 423 425 430 432 434 437 445 449 a 7 8 11 14 17 22 24 25 33 34 38 40 44 48 50 54 56 57 59 67 69 79 80 87 88 89 99 100 101 105 112 113 116 118 119 124 129 134 135 136 138 140 141 142 144 145 149 154 159 163 164 166 175 176 180 182 183 185 186 187 188 190 194 197 201 204 206 209 216 219 222 223 224 227 230 234 239 240 244 246 249 252 253 256 258 261 263 267 271 272 273 274 276 281 282 285 286 293 298 299 302 304 305 309 310 311 312 314 320 323 325 328 333 334 342 349 351 353 356 357 359 360 369 370 371 372 374 377 379 384 391 393 397 400 404 406 409 417 422 423 425 430 432 434 437 445 449 a 7 8 11 14 17 22 24 25 33 34 38 40 44 48 50 54 56 57 59 67 69 79 80 87 88 89 99 100 101 105 112 113 116 118 119 124 129 134 135 136 138 140 141 142 144 145 149 154 159 163 164 166 175 176 180 182 183 185 186 187 188 194 197 201 204 205 206 209 216 219 222 223 224 227 230 234 239 240 244 246 249 252 253 256 258 261 263 267 271 272 273 274 276 281 282 285 286 293 298 299 302 304 305 309 310 311 312 314 320 323 325 328 333 334 342 349 351 353 356 357 359 360 369 370 371 372 374 377 379 384 391 393 397 400 404 406 409 417 422 423 425 430 432 434 437 445 449 a 7 8 11 14 17 22 24 25 33 34 38 40 44 48 50 54 56 57 59 67 69 79 80 87 88 89 99 100 101 105 112 113 116 118 119 124 129 134 135 136 138 140 141 142 144 145 149 154 159 163 164 166 176 178 180 182 183 185 186 187 188 194 197 201 204 205 206 209 216 219 222 223 224 227 230 234 239 240 244 246 249 252 253 256 258 261 263 267 271 272 273 274 276 281 282 285 286 293 298 299 302 304 305 309 310 311 312 314 320 323 325 328 333 334 342 349 351 353 356 357 359 360 369 370 371 372 374 377 379 384 391 393 397 400 404 406 409 417 422 423 425 430 432 434 437 445 449 a 7 8 11 14 17 22 24 25 33 34 38 40 44 48 50 54 56 57 59 67 69 79 80 87 88 89 99 100 101 105 112 113 116 118 119 124 129 134 135 136 138 140 141 142 144 145 149 154 159 163 164 166 176 178 180 182 183 185 186 187 188 194 197 201 202 204 205 206 209 216 219 222 223 224 227 230 234 239 240 244 246 249 252 253 256 258 261 263 267 271 272 273 274 276 281 282 285 286 293 298 299 302 304 305 309 310 311 312 314 320 323 325 328 333 334 342 349 351 353 356 357 359 360 369 370 371 372 374 377 379 384 391 393 397 400 404 406 409 417 422 425 430 432 434 437 445 449 a 7 8 11 14 17 22 24 25 33 34 38 40 44 48 50 54 56 57 67 69 79 80 87 88 89 99 100 101 105 112 113 116 118 119 123 124 129 134 135 136 138 140 141 142 144 145 149 154 159 163 164 166 176 178 180 182 183 185 186 187 188 194 197 201 202 204 205 206 209 216 219 222 223 224 227 230 234 239 240 244 246 249 252 253 256 258 261 263 267 271 272 273 274 276 281 282 285 286 293 298 299 302 304 305 309 310 311 312 314 320 323 325 328 333 334 342 349 351 353 356 357 359 360 369 370 371 372 374 377 379 384 391 393 397 400 404 406 409 417 422 425 430 432 434 437 445 449 a 7 8 11 14 17 22 24 25 33 34 38 40 44 48 50 54 56 57 67 69 79 80 87 88 89 99 100 101 105 112 113 116 118 119 123 124 129 135 136 138 140 141 142 144 145 149 154 159 163 164 166 176 178 180 182 183 185 186 187 188 194 197 201 202 204 205 206 209 216 219 222 223 224 227 230 234 239 240 244 246 249 252 253 256 258 261 263 267 271 272 273 274 276 281 282 285 286 293 298 299 302 304 305 309 310 311 312 314 320 323 325 328 333 334 342 349 351 353 356 357 359 360 369 370 371 372 374 377 379 384 391 393 397 400 404 406 409 411 417 422 425 430 432 434 437 445 449 c Step: 127 Command being timed: "python3 run_3.py --existent /benchmark/random_instance/random_instance035_graph002.col /benchmark/random_instance/random_instance035_graph002_01.dat" User time (seconds): 63.99 System time (seconds): 0.10 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:04.11 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): 330456 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 118253 Voluntary context switches: 21 Involuntary context switches: 336 Swaps: 0 File system inputs: 0 File system outputs: 928 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 02:11:20 2023]