#BEGIN: [Tue Sep 26 02:58:55 2023] #HOST: s01 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #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 --na -t4 /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! *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.004 seconds 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 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 268 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 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 268 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 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 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 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 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 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 25 27 30 33 34 35 37 39 40 42 43 48 51 52 59 60 66 67 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 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 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 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 25 27 30 33 34 35 37 39 40 42 43 48 51 52 59 60 66 67 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 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 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 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 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 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 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 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 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 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 a 6 7 8 11 12 14 18 20 22 25 27 30 33 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 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 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 425 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 a 6 7 8 11 12 14 18 19 20 22 25 27 30 33 34 35 37 39 40 42 43 48 51 52 59 60 66 69 71 77 79 81 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 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 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 425 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 a 6 7 8 11 12 14 18 19 20 22 25 27 30 34 35 37 39 40 42 43 48 51 52 59 60 66 69 71 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 126 132 134 138 143 144 147 148 152 160 162 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 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 425 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 a 6 7 8 11 12 14 18 19 20 22 25 27 30 31 34 35 37 39 40 42 43 48 52 59 60 66 69 71 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 126 132 134 138 143 144 147 148 152 160 162 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 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 425 428 429 430 432 433 434 437 438 439 440 441 443 447 448 450 a 6 7 8 11 12 14 18 19 20 22 25 27 30 31 34 35 37 39 40 42 43 48 52 59 60 66 69 71 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 126 132 134 138 143 144 147 148 152 160 162 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 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 a 6 7 8 11 12 14 16 18 19 20 22 25 27 30 31 34 35 37 39 40 42 43 48 52 59 60 66 69 71 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 126 132 134 138 143 144 147 148 152 160 162 163 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 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 a 6 7 8 11 12 14 16 18 19 20 25 27 30 31 34 35 37 39 40 42 43 48 52 59 60 66 69 71 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 126 132 134 138 143 144 147 148 152 160 162 163 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 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 16 18 19 20 25 27 30 31 34 35 37 39 40 42 43 48 52 59 60 66 69 71 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 126 132 134 138 143 144 147 148 152 160 162 163 169 173 175 177 179 182 183 184 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 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 16 18 19 20 25 27 30 31 34 35 37 39 40 42 43 48 52 59 60 66 69 71 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 126 132 134 138 143 144 147 148 152 160 162 163 169 173 175 177 179 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 233 236 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 16 18 19 20 25 27 30 31 34 35 37 39 40 42 43 48 52 59 60 66 69 71 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 132 134 138 143 144 147 148 152 160 162 163 169 173 175 177 179 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 233 236 239 240 244 245 250 253 254 256 263 268 269 270 271 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 16 18 19 20 25 27 30 31 34 35 37 39 40 42 43 48 52 59 60 66 69 71 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 128 132 134 138 143 144 147 148 152 160 162 163 169 173 175 177 179 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 233 236 239 240 244 245 250 253 254 256 263 268 269 270 271 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 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 16 18 19 20 25 27 30 31 34 35 37 39 40 42 43 48 52 59 60 66 69 71 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 128 132 134 138 143 144 147 148 152 160 162 163 169 173 175 177 179 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 233 236 239 240 244 245 250 253 254 256 259 263 268 269 270 271 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 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 16 18 19 20 25 27 30 31 34 35 37 39 40 42 43 48 52 60 66 69 71 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 128 132 134 138 143 144 147 148 152 160 162 163 169 173 175 177 179 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 233 236 239 240 244 245 250 253 254 256 259 263 268 269 270 271 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 364 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 16 18 19 20 25 27 30 31 32 34 35 37 39 40 42 43 48 52 60 66 69 71 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 128 132 134 138 143 144 147 148 152 160 162 163 169 173 175 177 179 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 233 236 239 240 244 245 250 253 254 256 259 263 268 269 270 271 278 285 288 291 294 297 299 301 304 305 306 308 310 315 328 330 333 335 338 341 342 344 346 347 349 364 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 16 18 19 20 25 27 30 31 32 34 35 37 39 40 42 43 48 52 60 66 69 71 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 128 132 134 137 138 143 144 147 148 152 160 162 163 169 173 175 177 179 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 233 236 239 240 244 245 250 253 254 256 259 263 268 269 270 271 278 285 288 291 294 297 299 301 304 305 306 308 310 315 328 330 333 335 338 341 342 344 346 347 349 364 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 16 18 19 20 25 27 30 31 32 34 35 37 39 40 42 43 48 52 60 66 69 71 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 128 132 134 137 138 143 144 147 148 152 160 162 163 169 173 175 177 179 182 184 190 191 193 201 206 209 215 220 222 223 225 231 233 236 239 240 244 245 250 253 254 256 259 263 268 269 270 271 278 285 288 291 294 297 299 301 304 305 306 308 310 315 317 328 330 333 335 338 341 342 344 346 347 349 364 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 16 18 19 20 25 27 30 31 32 34 35 37 39 40 42 43 48 52 60 66 69 71 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 128 132 134 137 138 143 144 147 148 152 160 162 163 169 173 175 177 179 182 184 190 191 193 201 206 209 215 220 222 223 225 231 233 236 239 240 244 245 250 253 254 256 259 263 268 269 270 271 278 285 288 291 294 297 299 301 304 305 306 308 310 315 317 328 330 333 335 338 341 342 344 346 347 349 364 370 376 381 387 389 391 393 394 400 401 403 407 425 428 429 430 432 433 434 437 439 440 441 443 447 448 450 455 a 6 7 8 11 12 14 16 18 19 20 25 27 30 31 32 34 35 37 39 40 42 43 48 52 60 66 69 71 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 128 132 134 137 138 143 144 147 148 152 160 162 163 169 173 175 177 179 182 184 190 191 193 201 206 209 215 220 222 223 225 231 233 236 239 240 244 245 250 253 254 256 259 263 268 269 270 271 278 285 288 291 294 297 299 301 304 305 306 308 310 315 317 319 328 330 333 335 338 341 342 344 346 347 349 364 370 376 381 387 389 391 393 394 400 401 403 407 425 429 430 432 433 434 437 439 440 441 443 447 448 450 455 a 6 7 8 11 12 14 16 18 19 20 25 27 30 31 32 34 35 37 39 40 42 43 48 52 60 66 69 71 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 128 132 134 137 138 144 147 148 152 160 162 163 169 173 175 177 179 182 184 190 191 193 201 206 209 215 220 222 223 225 231 233 236 239 240 244 245 250 253 254 256 259 263 268 269 270 271 272 278 285 288 291 294 297 299 301 304 305 306 308 310 315 317 319 328 330 333 335 338 341 342 344 346 347 349 364 370 376 381 387 389 391 393 394 400 401 403 407 425 429 430 432 433 434 437 439 440 441 443 447 448 450 455 a 6 7 8 11 12 14 16 18 19 20 25 27 30 31 32 34 35 37 39 40 42 43 48 52 60 66 69 71 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 128 132 134 137 138 144 147 148 152 160 162 163 169 173 175 177 179 182 184 190 191 193 201 206 209 215 220 222 223 225 231 233 236 239 240 244 250 253 254 256 259 263 268 269 270 271 272 278 285 288 291 294 297 299 301 304 305 306 308 310 315 317 319 328 330 333 335 338 341 342 344 346 347 349 364 370 376 381 387 389 391 393 394 400 401 403 407 425 428 429 430 432 433 434 437 439 440 441 443 447 448 450 455 a 6 7 8 11 12 14 16 18 19 20 25 27 30 31 32 34 35 39 40 42 43 48 52 60 66 69 71 77 79 81 84 85 91 92 94 98 100 101 110 113 116 117 121 128 132 134 137 138 144 147 148 152 160 162 163 169 173 175 177 179 182 184 190 191 193 201 206 209 215 220 222 223 225 231 233 236 239 240 244 250 253 254 256 259 263 268 269 270 271 272 278 285 288 291 294 297 299 301 304 305 306 308 310 315 317 319 322 328 330 333 335 338 341 342 344 346 347 349 364 370 376 381 387 389 391 393 394 400 401 403 407 425 428 429 430 432 433 434 437 439 440 441 443 447 448 450 455 a 6 7 8 11 12 14 16 18 19 20 25 27 30 31 32 34 35 39 40 42 43 48 52 60 66 69 71 77 79 81 84 85 91 92 94 98 100 101 110 113 116 121 128 132 134 137 138 144 147 148 152 160 162 163 169 173 175 177 179 182 184 190 191 193 201 206 209 215 220 222 223 225 231 233 236 239 240 244 245 250 253 254 256 259 263 268 269 270 271 272 278 285 288 291 294 297 299 301 304 305 306 308 310 315 317 319 322 328 330 333 335 338 341 342 344 346 347 349 364 370 376 381 387 389 391 393 394 400 401 403 407 425 428 429 430 432 433 434 437 439 440 441 443 447 448 450 455 a 6 7 8 11 12 14 16 18 19 20 25 27 30 31 32 34 35 39 40 42 43 48 50 52 60 66 69 71 77 79 81 84 85 91 92 94 98 100 101 110 113 116 121 128 132 134 137 138 144 147 148 152 160 162 163 169 173 175 177 179 182 184 190 191 193 201 206 209 215 220 222 223 225 231 236 239 240 244 245 250 253 254 256 259 263 268 269 270 271 272 278 285 288 291 294 297 299 301 304 305 306 308 310 315 317 319 322 328 330 333 335 338 341 342 344 346 347 349 364 370 376 381 387 389 391 393 394 400 401 403 407 425 428 429 430 432 433 434 437 439 440 441 443 447 448 450 455 a 6 7 8 11 12 14 16 18 19 20 25 27 30 31 32 34 35 39 40 42 43 48 50 52 60 66 69 71 77 79 81 84 85 91 92 94 98 100 101 110 113 116 121 128 132 134 137 138 144 147 148 152 160 162 163 169 173 175 177 179 182 184 190 191 193 201 206 209 215 220 222 223 225 231 236 239 240 244 250 253 254 256 259 263 268 269 270 271 272 278 285 288 291 294 297 299 301 304 305 306 308 310 315 317 319 322 323 328 330 333 335 338 341 342 344 346 347 349 364 370 376 381 387 389 391 393 394 400 401 403 407 425 428 429 430 432 433 434 437 439 440 441 443 447 448 450 455 a 6 7 8 11 12 14 16 18 19 20 25 27 30 31 32 34 35 39 40 42 43 48 50 52 60 66 69 71 77 79 81 84 85 91 92 94 98 100 101 110 113 116 121 128 132 134 137 138 144 147 148 152 160 162 163 169 173 175 177 179 182 184 190 191 193 201 206 209 215 220 222 223 225 231 236 239 240 244 253 254 256 259 263 268 269 270 271 272 278 285 288 291 294 297 299 301 304 305 306 308 309 310 315 317 319 322 323 328 330 333 335 338 341 342 344 346 347 349 364 370 376 381 387 389 391 393 394 400 401 403 407 425 428 429 430 432 433 434 437 439 440 441 443 447 448 450 455 a 6 7 8 11 12 14 16 18 19 20 25 27 30 31 32 34 35 39 40 42 43 48 50 52 60 66 69 77 79 81 84 85 91 92 94 98 100 101 110 113 116 121 128 132 134 137 138 144 147 148 152 160 162 163 169 173 175 177 179 180 182 184 190 191 193 201 206 209 215 220 222 223 225 231 236 239 240 244 253 254 256 259 263 268 269 270 271 272 278 285 288 291 294 297 299 301 304 305 306 308 309 310 315 317 319 322 323 328 330 333 335 338 341 342 344 346 347 349 364 370 376 381 387 389 391 393 394 400 401 403 407 425 428 429 430 432 433 434 437 439 440 441 443 447 448 450 455 a 6 7 8 11 12 14 16 18 19 20 25 27 30 31 32 33 34 35 39 40 42 43 48 50 52 60 66 69 77 79 81 84 85 91 92 94 98 100 101 110 113 116 121 128 132 134 137 138 144 147 148 152 160 162 163 169 173 175 177 179 180 182 184 190 191 193 201 206 209 215 220 222 223 225 231 236 239 240 244 253 254 256 259 263 268 269 270 271 272 278 285 288 291 294 297 299 301 304 305 306 308 309 310 315 317 319 322 323 328 330 333 335 338 341 342 344 346 347 349 364 370 376 381 387 389 391 393 394 400 401 403 407 425 428 429 430 432 433 434 437 439 440 441 443 447 450 455 a 6 7 8 11 12 14 16 18 19 20 25 27 30 31 32 33 34 35 39 40 42 43 48 50 52 60 66 69 77 79 81 84 85 88 91 92 94 98 100 101 110 113 116 121 128 132 134 137 138 144 147 148 152 160 162 163 169 173 175 177 179 180 182 184 190 191 193 201 206 209 215 220 222 223 225 231 236 239 240 244 253 254 256 263 268 269 270 271 272 278 285 288 291 294 297 299 301 304 305 306 308 309 310 315 317 319 322 323 328 330 333 335 338 341 342 344 346 347 349 364 370 376 381 387 389 391 393 394 400 401 403 407 425 428 429 430 432 433 434 437 439 440 441 443 447 450 455 a 6 7 8 11 12 14 16 18 19 20 25 27 30 31 32 33 34 35 39 40 42 48 50 52 60 66 69 77 79 81 84 85 88 91 92 94 98 100 101 110 113 116 121 128 132 134 137 138 144 147 148 152 160 162 163 169 173 175 177 179 180 182 184 190 191 193 201 206 209 215 220 222 223 225 231 236 239 240 244 246 253 254 256 263 268 269 270 271 272 278 285 288 291 294 297 299 301 304 305 306 308 309 310 315 317 319 322 323 328 330 333 335 338 341 342 344 346 347 349 364 370 376 381 387 389 391 393 394 400 401 403 407 425 428 429 430 432 433 434 437 439 440 441 443 447 450 455 a 6 7 8 11 12 14 16 18 19 20 25 27 30 31 32 33 34 35 39 40 42 48 50 52 60 66 69 77 79 81 84 85 88 91 92 94 98 100 101 110 113 116 121 128 132 134 137 138 144 147 148 152 160 162 163 169 173 175 177 179 180 182 184 190 191 193 201 206 209 215 220 222 223 225 231 236 239 240 244 246 253 254 256 258 263 268 269 270 271 272 278 285 288 291 294 297 299 301 304 305 306 308 309 310 315 317 319 322 323 328 330 333 335 338 341 342 344 346 347 349 364 370 376 381 387 389 391 393 394 400 401 403 407 425 428 429 430 432 433 434 437 440 441 443 447 450 455 a 6 7 8 11 12 14 16 18 19 20 25 27 30 31 32 33 34 35 39 40 42 48 50 52 60 66 69 77 79 81 84 85 88 91 92 94 98 100 101 110 113 116 121 128 132 134 137 138 144 147 148 152 160 162 163 169 173 175 177 179 180 182 184 190 191 193 201 206 209 215 220 222 223 225 231 236 239 240 244 246 253 254 256 258 263 268 269 270 271 272 278 285 288 291 294 297 299 301 304 305 306 308 309 310 315 317 319 322 323 325 328 330 333 335 338 341 342 344 346 347 349 364 370 376 381 387 389 391 393 394 400 401 403 407 425 429 430 432 433 434 437 440 441 443 447 450 455 a 6 7 8 11 12 14 16 18 19 20 25 27 30 31 32 33 34 35 39 40 42 48 50 52 60 66 69 77 79 81 84 85 88 89 91 92 94 98 100 101 110 113 116 121 128 132 134 137 138 144 147 148 152 160 162 163 169 173 175 179 180 182 184 190 191 193 201 206 209 215 220 222 223 225 231 236 239 240 244 246 253 254 256 258 263 268 269 270 271 272 278 285 288 291 294 297 299 301 304 305 306 308 309 310 315 317 319 322 323 325 328 330 333 335 338 341 342 344 346 347 349 364 370 376 381 387 389 391 393 394 400 401 403 407 425 429 430 432 433 434 437 440 441 443 447 450 455 a 6 7 8 11 12 14 16 18 19 20 25 27 30 31 32 33 34 35 39 40 42 48 50 52 60 66 69 77 79 81 84 85 88 89 91 92 94 98 100 101 110 113 116 121 128 132 134 137 138 144 147 152 160 162 163 169 173 175 179 180 182 184 190 191 193 201 206 209 215 220 222 223 225 231 236 239 240 244 246 253 254 256 258 263 268 269 270 271 272 278 285 286 288 291 294 297 299 301 304 305 306 308 309 310 315 317 319 322 323 325 328 330 333 335 338 341 342 344 346 347 349 364 370 376 381 387 389 391 393 394 400 401 403 407 425 429 430 432 433 434 437 440 441 443 447 450 455 a 6 7 8 11 12 14 16 18 19 20 25 27 30 31 32 33 34 35 39 40 42 48 50 52 60 66 69 77 79 81 84 85 88 89 91 92 94 98 100 101 110 113 116 121 128 132 134 137 138 144 147 152 160 162 163 169 173 175 179 180 182 184 190 191 193 201 206 209 215 220 222 223 225 231 236 239 240 244 246 253 254 256 258 263 268 269 270 271 272 278 285 286 288 291 294 297 299 301 304 305 306 308 309 310 315 317 319 322 323 325 328 330 333 335 338 341 342 344 346 347 349 360 364 370 376 381 387 391 393 394 400 401 403 407 425 429 430 432 433 434 437 440 441 443 447 450 455 a 6 7 8 11 12 14 16 18 19 20 25 27 30 31 32 33 34 35 39 40 42 48 50 52 60 66 69 77 79 81 84 85 88 89 91 92 94 98 100 101 110 113 116 121 128 132 134 137 138 144 147 152 160 162 163 169 173 175 179 180 182 184 190 191 193 201 206 209 215 220 222 223 225 231 236 239 240 244 246 253 254 256 258 263 268 269 270 271 272 278 285 286 288 291 294 297 299 301 304 305 306 308 309 310 315 317 319 322 323 325 328 330 333 335 338 341 342 344 346 347 349 357 360 364 370 376 381 387 391 393 394 400 401 403 407 425 430 432 433 434 437 440 441 443 447 450 455 a 6 7 8 11 12 14 16 18 19 20 25 27 30 31 32 33 34 35 39 40 42 48 50 52 56 60 66 69 77 79 81 84 85 88 89 91 92 94 98 100 101 110 113 116 121 128 132 134 137 138 144 147 152 160 162 163 169 173 175 179 180 182 184 190 191 193 201 206 209 215 220 222 223 225 231 236 239 240 244 246 253 254 256 258 263 268 269 270 271 272 278 285 286 288 291 294 297 299 301 304 305 306 308 309 310 315 317 319 322 323 325 328 330 333 335 338 342 344 346 347 349 357 360 364 370 376 381 387 391 393 394 400 401 403 407 425 430 432 433 434 437 440 441 443 447 450 455 a 6 7 8 11 12 14 16 18 19 20 25 27 30 31 32 33 34 35 39 40 48 50 52 56 60 66 69 77 79 81 84 85 88 89 91 92 94 98 100 101 110 113 116 121 128 132 134 137 138 144 147 152 160 162 163 169 173 175 179 180 182 184 190 191 193 201 206 209 215 220 222 223 225 231 236 239 240 244 246 253 254 256 258 263 268 269 270 271 272 278 285 286 288 291 293 294 297 299 301 304 305 306 308 309 310 315 317 319 322 323 325 328 330 333 335 338 342 344 346 347 349 357 360 364 370 376 381 387 391 393 394 400 401 403 407 425 430 432 433 434 437 440 441 443 447 450 455 a 6 7 8 11 12 14 16 18 19 20 25 27 30 31 32 33 34 35 39 40 48 50 52 56 60 66 69 77 79 81 84 85 88 89 91 92 94 98 100 101 110 113 116 121 128 132 134 137 138 144 147 152 160 162 163 169 173 175 179 180 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 236 239 240 244 246 253 254 256 258 263 268 269 270 271 272 278 285 286 288 291 293 294 297 299 301 304 305 306 308 309 310 315 319 322 323 325 328 330 333 335 338 342 344 346 347 349 357 360 364 370 376 381 387 391 393 394 400 401 403 407 425 430 432 433 434 437 440 441 443 447 450 455 a 6 7 8 11 12 14 16 18 19 20 25 27 30 31 32 33 34 35 39 40 48 50 52 56 60 66 69 77 79 81 84 85 88 89 91 92 94 98 100 101 110 113 116 121 128 132 134 137 138 141 144 147 152 160 162 163 169 173 175 179 180 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 236 239 240 244 246 253 254 256 258 263 268 269 270 271 272 278 285 286 288 291 293 294 297 299 301 304 305 306 308 309 310 315 319 322 323 325 328 330 333 335 338 342 346 347 349 357 360 364 370 376 381 387 391 393 394 400 401 403 407 425 430 432 433 434 437 440 441 443 447 450 455 a 6 7 8 11 12 14 16 18 19 20 25 27 30 31 32 33 34 35 39 40 48 50 52 56 60 66 69 77 79 81 84 85 88 89 91 92 94 98 100 101 110 113 116 121 128 132 134 137 138 141 144 147 152 160 162 163 169 173 175 179 180 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 234 236 239 240 244 246 253 254 256 258 263 268 269 270 271 272 278 285 286 288 291 293 294 297 299 301 304 305 306 309 310 315 319 322 323 325 328 330 333 335 338 342 346 347 349 357 360 364 370 376 381 387 391 393 394 400 401 403 407 425 430 432 433 434 437 440 441 443 447 450 455 a 6 7 8 11 12 14 16 18 19 20 25 27 30 31 32 33 34 35 39 40 48 50 52 56 60 66 69 77 79 81 84 85 88 89 91 92 94 98 100 101 110 113 116 121 128 132 134 137 138 141 144 147 152 160 162 163 169 173 175 179 180 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 234 236 239 240 244 246 253 254 256 258 263 268 269 270 271 272 278 282 285 286 288 291 293 294 297 299 301 304 305 306 309 310 315 319 322 323 325 328 330 333 335 338 342 347 349 357 360 364 370 376 381 387 391 393 394 400 401 403 407 425 430 432 433 434 437 440 441 443 447 450 455 a 6 7 8 11 12 14 16 18 19 20 25 27 30 31 32 33 34 35 40 48 50 52 56 60 66 69 77 79 81 84 85 88 89 91 92 94 98 100 101 110 113 116 121 128 132 134 137 138 141 144 147 152 160 162 163 169 173 175 179 180 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 234 236 239 240 244 246 253 254 256 258 263 268 269 270 271 272 278 282 285 286 288 291 293 294 297 299 301 302 304 305 306 309 310 315 319 322 323 325 328 330 333 335 338 342 347 349 357 360 364 370 376 381 387 391 393 394 400 401 403 407 425 430 432 433 434 437 440 441 443 447 450 455 a 6 7 8 11 12 14 16 18 19 20 25 27 30 31 32 33 34 35 40 48 50 52 56 60 66 69 77 79 81 84 85 88 89 91 92 94 98 100 101 110 113 116 121 128 132 134 138 141 144 147 152 160 162 163 169 173 175 179 180 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 234 236 239 240 244 246 253 254 256 258 263 268 269 270 271 272 278 282 285 286 288 291 293 294 297 299 301 302 304 305 306 309 310 315 319 322 323 325 328 330 333 335 338 342 347 349 357 360 364 370 371 376 381 387 391 393 394 400 401 403 407 425 430 432 433 434 437 440 441 443 447 450 455 a 6 7 8 11 12 14 16 18 19 20 25 27 30 31 32 33 34 35 40 48 50 52 56 60 66 69 77 79 81 84 85 88 89 91 92 94 98 100 101 110 113 116 121 128 132 134 138 141 144 147 152 160 162 163 169 173 175 179 180 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 234 236 239 240 244 246 253 254 256 258 263 268 269 270 271 272 274 278 282 285 286 288 291 293 294 297 299 301 302 304 305 306 309 310 315 319 322 323 325 328 330 333 335 338 342 349 357 360 364 370 371 376 381 387 391 393 394 400 401 403 407 425 430 432 433 434 437 440 441 443 447 450 455 a 6 7 8 11 12 14 16 18 19 20 25 27 30 31 32 33 34 35 40 48 50 52 56 60 66 69 77 79 81 84 85 88 89 91 92 94 98 100 101 110 112 113 116 121 128 132 134 138 141 144 147 160 162 163 169 173 175 179 180 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 234 236 239 240 244 246 253 254 256 258 263 268 269 270 271 272 274 278 282 285 286 288 291 293 294 297 299 301 302 304 305 306 309 310 315 319 322 323 325 328 330 333 335 338 342 349 357 360 364 370 371 376 381 387 391 393 394 400 401 403 407 425 430 432 433 434 437 440 441 443 447 450 455 a 6 7 8 11 12 14 16 18 19 20 25 27 30 31 32 33 34 35 40 48 50 52 56 60 66 69 77 79 81 84 85 88 89 91 92 94 98 100 101 110 112 113 116 121 128 132 134 138 141 144 147 160 162 163 169 173 175 179 180 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 234 236 239 240 244 246 253 254 256 258 263 268 269 270 271 272 274 278 282 285 286 288 291 293 297 299 301 302 304 305 306 309 310 314 315 319 322 323 325 328 330 333 335 338 342 349 357 360 364 370 371 376 381 387 391 393 394 400 401 403 407 425 430 432 433 434 437 440 441 443 447 450 455 a 6 7 8 11 12 14 16 18 19 20 25 27 30 31 32 33 34 35 40 48 50 52 56 60 66 69 77 79 81 84 85 88 89 91 92 94 98 100 101 110 112 113 116 121 128 132 134 138 141 144 147 160 162 163 169 173 175 179 180 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 234 236 239 240 244 246 253 254 256 258 263 268 269 270 271 272 274 278 282 285 286 288 291 293 297 299 301 302 304 305 306 309 310 314 315 319 322 323 325 328 330 333 335 338 342 349 357 360 364 370 371 376 381 387 391 393 394 400 401 403 406 407 425 430 432 433 434 437 440 441 443 447 450 a 6 7 8 11 12 14 16 18 19 20 25 27 30 31 32 33 34 35 40 48 50 52 56 60 66 69 77 79 81 84 85 88 89 91 92 94 100 101 110 112 113 116 121 128 132 134 138 141 144 147 160 162 163 169 173 175 179 180 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 234 236 239 240 244 246 253 254 256 258 263 268 269 270 271 272 274 278 282 285 286 288 291 293 297 299 301 302 304 305 306 309 310 314 315 319 322 323 325 328 330 333 335 338 342 349 353 357 360 364 370 371 376 381 387 391 393 394 400 401 403 406 407 425 430 432 433 434 437 440 441 443 447 450 a 6 7 8 11 12 14 18 19 20 25 27 30 31 32 33 34 35 40 48 50 52 56 60 66 69 77 79 81 84 85 88 89 91 92 94 100 101 110 112 113 116 118 121 128 132 134 138 141 144 147 160 162 163 169 173 175 179 180 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 234 236 239 240 244 246 253 254 256 258 263 268 269 270 271 272 274 278 282 285 286 288 291 293 297 299 301 302 304 305 306 309 310 314 315 319 322 323 325 328 330 333 335 338 342 349 353 357 360 364 370 371 376 381 387 391 393 394 400 401 403 406 407 425 430 432 433 434 437 440 441 443 447 450 a 6 7 8 11 12 14 18 19 20 25 27 30 31 32 33 34 35 40 48 50 52 56 60 66 67 69 77 79 81 84 85 88 89 91 92 94 100 101 110 112 113 116 118 121 128 132 134 138 141 144 147 160 162 163 169 173 175 179 180 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 234 236 239 240 244 246 253 254 256 258 263 269 270 271 272 274 278 282 285 286 288 291 293 297 299 301 302 304 305 306 309 310 314 315 319 322 323 325 328 330 333 335 338 342 349 353 357 360 364 370 371 376 381 387 391 393 394 400 401 403 406 407 425 430 432 433 434 437 440 441 443 447 450 a 6 7 8 11 12 14 18 19 20 25 27 30 31 32 33 34 35 40 48 50 52 56 60 66 67 69 77 79 81 84 85 88 89 91 92 94 100 101 110 112 113 116 118 121 128 129 132 134 138 141 144 147 160 162 163 169 173 175 179 180 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 234 236 239 240 244 246 253 254 256 258 263 269 270 271 272 274 278 282 285 286 288 291 293 297 299 301 302 304 305 306 309 310 314 315 319 322 323 325 328 333 335 338 342 349 353 357 360 364 370 371 376 381 387 391 393 394 400 401 403 406 407 425 430 432 433 434 437 440 441 443 447 450 a 6 7 8 11 12 14 18 19 20 25 30 31 32 33 34 35 40 48 50 52 56 60 66 67 69 77 79 81 84 85 88 89 91 92 94 100 101 110 112 113 116 118 121 128 129 132 134 138 141 144 147 160 162 163 169 173 175 179 180 182 183 184 190 191 193 201 206 209 215 220 222 223 225 231 234 236 239 240 244 246 253 254 256 258 263 269 270 271 272 274 278 282 285 286 288 291 293 297 299 301 302 304 305 306 309 310 314 315 319 322 323 325 328 333 334 335 338 342 349 353 357 360 364 370 371 376 381 387 391 393 394 400 401 403 406 407 425 430 432 433 434 437 440 441 443 447 450 a 6 7 8 11 12 14 18 19 20 25 30 31 32 33 34 40 48 50 52 56 60 66 67 69 77 79 81 84 85 88 89 91 92 94 100 101 110 112 113 116 118 121 128 129 132 134 138 141 144 147 160 162 163 169 173 175 179 180 182 183 184 188 190 191 193 201 206 209 215 220 222 223 225 231 234 236 239 240 244 246 253 254 256 258 263 269 270 271 272 274 278 282 285 286 288 291 293 297 299 301 302 304 305 306 309 310 314 315 319 322 323 325 328 333 334 335 338 342 349 353 357 360 364 370 371 376 381 387 391 393 394 400 401 403 406 407 425 430 432 433 434 437 440 441 443 447 450 a 6 7 8 11 12 14 18 19 20 25 30 31 32 33 34 40 48 50 52 54 56 60 66 67 69 77 79 81 84 85 88 89 91 92 100 101 110 112 113 116 118 121 128 129 132 134 138 141 144 147 160 162 163 169 173 175 179 180 182 183 184 188 190 191 193 201 206 209 215 220 222 223 225 231 234 236 239 240 244 246 253 254 256 258 263 269 270 271 272 274 278 282 285 286 288 291 293 297 299 301 302 304 305 306 309 310 314 315 319 322 323 325 328 333 334 335 338 342 349 353 357 360 364 370 371 376 381 387 391 393 394 400 401 403 406 407 425 430 432 433 434 437 440 441 443 447 450 a 6 7 8 11 12 14 18 19 20 25 30 31 32 33 34 40 48 50 52 54 56 60 66 67 69 77 79 81 84 88 89 91 92 100 101 110 112 113 116 118 121 128 129 132 134 138 141 144 147 160 162 163 169 173 175 179 180 182 183 184 188 190 191 193 201 206 209 215 220 222 223 225 231 234 236 239 240 244 246 253 254 256 258 263 269 270 271 272 274 278 282 285 286 288 291 293 297 299 301 302 304 305 306 309 310 314 315 319 322 323 325 328 333 334 335 338 342 349 351 353 357 360 364 370 371 376 381 387 391 393 394 400 401 403 406 407 425 430 432 433 434 437 440 441 443 447 450 a 6 7 8 11 12 14 18 19 20 25 31 32 33 34 40 48 50 52 54 56 60 66 67 69 77 79 81 84 88 89 91 92 100 101 110 112 113 116 118 121 128 129 132 134 138 141 144 147 160 162 163 169 173 175 179 180 182 183 184 188 190 191 193 201 206 209 215 220 222 223 225 231 234 236 239 240 244 246 253 254 256 258 263 269 270 271 272 274 278 282 285 286 288 291 293 297 299 301 302 304 305 306 309 310 314 315 319 322 323 325 328 333 334 335 338 342 349 351 353 357 360 364 370 371 376 381 387 391 393 394 400 401 403 406 407 425 430 432 433 434 437 440 441 443 445 447 450 a 6 7 8 11 12 14 18 19 20 25 31 32 33 34 40 48 50 52 54 56 60 66 67 69 77 79 81 84 88 89 91 92 100 101 110 112 113 116 118 121 128 129 132 134 138 141 144 147 160 162 163 169 173 175 179 180 182 183 184 188 190 191 201 206 209 215 220 222 223 225 231 234 236 239 240 244 246 253 254 256 258 263 269 270 271 272 274 278 282 285 286 288 291 293 297 299 301 302 304 305 306 309 310 314 315 319 320 322 323 325 328 333 334 335 338 342 349 351 353 357 360 364 370 371 376 381 387 391 393 394 400 401 403 406 407 425 430 432 433 434 437 440 441 443 445 447 450 a 6 7 8 11 12 14 18 19 20 25 31 32 33 34 40 48 50 52 54 56 60 66 67 69 77 79 81 84 88 89 91 92 100 101 110 112 113 116 118 121 128 129 132 134 138 141 144 147 160 162 163 169 173 175 179 180 182 183 184 188 190 191 201 206 209 215 220 222 223 225 231 234 236 239 240 244 246 253 254 256 258 263 269 270 271 272 274 278 282 285 286 288 291 293 297 299 301 302 304 305 306 309 310 314 315 319 320 322 323 325 328 333 334 335 338 342 349 351 353 357 360 364 369 370 371 376 381 387 391 393 394 400 401 406 407 425 430 432 433 434 437 440 441 443 445 447 450 a 6 7 8 11 12 14 18 19 20 25 31 32 33 34 40 48 50 52 54 56 66 67 69 77 79 81 84 88 89 91 92 100 101 110 112 113 116 118 121 128 129 132 134 138 141 144 147 160 162 163 169 173 175 179 180 182 183 184 188 190 191 201 206 209 215 220 222 223 225 231 234 236 239 240 244 246 253 254 256 258 263 269 270 271 272 274 278 282 285 286 288 291 293 297 299 301 302 304 305 306 309 310 314 315 319 320 322 323 325 328 333 334 335 338 342 349 351 353 356 357 360 364 369 370 371 376 381 387 391 393 394 400 401 406 407 425 430 432 433 434 437 440 441 443 445 447 450 a 6 7 8 11 12 14 18 19 20 25 31 32 33 34 40 48 50 52 54 56 66 67 69 77 79 81 84 88 89 91 92 100 101 110 112 113 116 118 121 124 128 129 132 134 138 141 144 147 160 163 169 173 175 179 180 182 183 184 188 190 191 201 206 209 215 220 222 223 225 231 234 236 239 240 244 246 253 254 256 258 263 269 270 271 272 274 278 282 285 286 288 291 293 297 299 301 302 304 305 306 309 310 314 315 319 320 322 323 325 328 333 334 335 338 342 349 351 353 356 357 360 364 369 370 371 376 381 387 391 393 394 400 401 406 407 425 430 432 433 434 437 440 441 443 445 447 450 a 6 7 8 11 12 14 18 19 20 25 31 32 33 34 40 48 50 52 54 56 66 67 69 77 79 81 84 88 89 91 92 100 101 110 112 113 116 118 121 124 128 129 132 134 138 140 141 144 147 160 163 169 173 175 179 180 182 183 184 188 190 191 201 206 209 215 222 223 225 231 234 236 239 240 244 246 253 254 256 258 263 269 270 271 272 274 278 282 285 286 288 291 293 297 299 301 302 304 305 306 309 310 314 315 319 320 322 323 325 328 333 334 335 338 342 349 351 353 356 357 360 364 369 370 371 376 381 387 391 393 394 400 401 406 407 425 430 432 433 434 437 440 441 443 445 447 450 a 6 7 8 11 12 14 18 19 20 25 31 32 33 34 40 48 50 52 54 56 66 67 69 77 79 81 84 88 89 91 92 99 100 101 110 112 113 116 118 121 124 128 129 132 134 138 140 141 144 147 160 163 169 173 175 179 180 182 183 184 188 190 191 201 206 209 215 222 223 225 231 234 236 239 240 244 246 253 254 256 258 263 269 270 271 272 274 278 282 285 286 288 291 293 297 299 302 304 305 306 309 310 314 315 319 320 322 323 325 328 333 334 335 338 342 349 351 353 356 357 360 364 369 370 371 376 381 387 391 393 394 400 401 406 407 425 430 432 433 434 437 440 441 443 445 447 450 a 6 7 8 11 12 14 18 19 20 25 31 32 33 34 40 48 50 52 54 56 66 67 69 77 79 81 84 88 89 91 92 99 100 101 110 112 113 116 118 121 124 128 129 132 134 138 140 141 144 147 160 163 169 173 175 179 180 182 183 184 188 190 191 201 206 209 215 222 223 225 231 234 236 239 240 244 246 253 254 256 258 263 269 270 271 272 274 278 282 285 286 288 291 293 297 299 302 304 305 306 309 310 314 319 320 322 323 325 328 333 334 335 338 342 349 351 353 356 357 360 364 369 370 371 374 376 381 387 391 393 394 400 401 406 407 425 430 432 433 434 437 440 441 443 445 447 450 a 6 7 8 11 12 14 18 19 20 25 31 32 33 34 40 48 50 54 56 66 67 69 77 79 81 84 88 89 91 92 99 100 101 110 112 113 116 118 121 124 128 129 132 134 138 140 141 144 147 160 163 169 173 175 179 180 182 183 184 188 190 191 201 206 209 215 222 223 225 231 234 236 239 240 244 246 253 254 256 258 263 269 270 271 272 274 278 282 285 286 288 291 293 297 299 302 304 305 306 309 310 314 319 320 322 323 325 328 333 334 335 338 342 349 351 353 356 357 360 364 369 370 371 374 376 381 387 391 393 394 400 401 406 407 422 425 430 432 433 434 437 440 441 443 445 447 450 a 6 7 8 11 12 14 18 19 20 25 31 32 33 34 40 48 50 54 56 66 67 69 77 79 81 84 88 89 91 92 99 100 101 110 112 113 116 118 121 124 128 129 132 134 138 140 141 144 147 160 163 169 173 175 179 180 182 183 184 188 190 191 201 206 209 215 222 223 225 231 234 236 239 240 244 246 253 254 256 258 263 267 269 270 271 272 274 278 282 285 286 288 291 293 297 299 302 304 305 306 309 310 314 319 320 322 323 325 328 333 334 335 338 342 349 351 353 356 357 360 364 369 370 371 374 376 381 387 391 393 394 400 401 406 407 422 425 430 432 433 434 437 440 441 443 445 447 a 6 7 8 11 12 14 18 19 20 25 31 32 33 34 40 48 50 54 56 66 67 69 77 79 81 84 88 89 91 92 99 100 101 110 112 113 116 118 121 124 128 129 132 134 138 140 141 144 147 160 163 169 173 175 179 180 182 183 184 188 190 191 201 206 209 215 222 223 225 231 234 236 239 240 244 246 253 254 256 258 263 267 269 270 271 272 274 278 282 285 286 291 293 297 299 302 304 305 306 309 310 314 319 320 322 323 325 328 333 334 335 338 342 349 351 353 356 357 360 364 369 370 371 374 376 381 387 391 393 394 400 401 404 406 407 422 425 430 432 433 434 437 440 441 443 445 447 a 6 7 8 11 12 14 18 19 20 25 31 32 33 34 40 48 50 54 56 66 67 69 77 79 81 84 88 89 91 92 99 100 101 110 112 113 116 118 121 124 128 129 132 134 135 138 140 141 144 147 160 163 169 173 175 179 180 182 183 184 188 190 191 201 206 209 215 222 223 225 231 234 236 239 240 244 246 253 256 258 263 267 269 270 271 272 274 278 282 285 286 291 293 297 299 302 304 305 306 309 310 314 319 320 322 323 325 328 333 334 335 338 342 349 351 353 356 357 360 364 369 370 371 374 376 381 387 391 393 394 400 401 404 406 407 422 425 430 432 433 434 437 440 441 443 445 447 a 6 7 8 11 12 14 18 19 20 25 31 32 33 34 40 48 50 54 56 66 67 69 77 79 81 84 87 88 89 91 92 99 100 101 110 112 113 116 118 124 128 129 132 134 135 138 140 141 144 147 160 163 169 173 175 179 180 182 183 184 188 190 191 201 206 209 215 222 223 225 231 234 236 239 240 244 246 253 256 258 263 267 269 270 271 272 274 278 282 285 286 291 293 297 299 302 304 305 306 309 310 314 319 320 322 323 325 328 333 334 335 338 342 349 351 353 356 357 360 364 369 370 371 374 376 381 387 391 393 394 400 401 404 406 407 422 425 430 432 433 434 437 440 441 443 445 447 a 6 7 8 11 12 14 18 19 20 25 31 32 33 34 40 48 50 54 56 66 67 69 77 79 81 84 87 88 89 91 92 99 100 101 110 112 113 116 118 124 128 129 132 134 135 138 140 141 144 147 160 163 169 173 175 179 180 182 183 184 188 190 191 201 206 209 215 222 223 225 231 234 236 239 240 244 246 253 256 258 263 267 269 270 271 272 274 278 282 285 286 291 293 297 299 302 304 305 306 309 310 314 319 320 322 323 325 328 333 334 335 338 342 349 351 353 356 357 360 364 369 370 371 374 376 381 387 391 393 394 400 401 404 406 409 422 425 430 432 433 434 437 440 441 443 445 447 a 6 7 8 11 12 14 18 19 20 25 31 32 33 34 40 48 50 54 56 66 67 69 77 79 81 84 87 88 89 91 92 99 100 101 110 112 113 116 118 124 128 129 132 134 135 138 140 141 142 144 147 160 163 169 173 175 179 180 182 183 184 188 190 191 201 206 209 215 222 223 225 231 234 236 239 240 244 246 253 256 258 263 267 269 270 271 272 274 278 282 285 286 291 293 297 299 302 304 305 306 309 310 314 319 320 322 323 325 328 333 334 335 338 342 349 351 353 356 357 360 364 369 370 371 374 376 381 387 391 393 394 400 401 404 406 409 422 425 430 432 433 434 437 440 441 445 447 a 6 7 8 11 12 14 18 19 20 25 31 32 33 34 40 48 50 54 56 66 67 69 77 79 80 81 84 87 88 89 91 92 99 100 101 110 112 113 116 118 124 128 129 132 134 135 138 140 141 142 144 147 160 163 169 173 175 179 180 182 183 184 188 190 191 201 206 209 215 222 223 225 231 234 236 239 240 244 246 253 256 258 263 267 269 270 271 272 274 278 282 285 286 291 293 297 299 302 304 305 306 309 310 314 319 320 322 323 325 328 333 334 335 338 342 349 351 353 356 357 360 364 369 370 371 374 376 387 391 393 394 400 401 404 406 409 422 425 430 432 433 434 437 440 441 445 447 a 6 7 8 11 12 14 18 19 20 25 31 32 33 34 40 48 50 54 56 66 67 69 77 79 80 81 87 88 89 91 92 99 100 101 110 112 113 116 118 124 128 129 132 134 135 138 140 141 142 144 147 160 163 169 173 175 179 180 182 183 184 187 188 190 191 201 206 209 215 222 223 225 231 234 236 239 240 244 246 253 256 258 263 267 269 270 271 272 274 278 282 285 286 291 293 297 299 302 304 305 306 309 310 314 319 320 322 323 325 328 333 334 335 338 342 349 351 353 356 357 360 364 369 370 371 374 376 387 391 393 394 400 401 404 406 409 422 425 430 432 433 434 437 440 441 445 447 a 6 7 8 11 12 14 18 19 20 25 31 32 33 34 40 48 50 54 56 66 67 69 77 79 80 81 87 88 89 91 92 99 100 101 105 110 112 113 116 118 124 128 129 132 134 135 138 140 141 142 144 147 160 163 169 173 175 179 180 182 183 184 187 188 190 191 201 206 209 215 222 223 225 231 234 236 239 240 244 246 253 256 258 263 267 269 270 271 272 274 278 282 285 286 291 293 297 299 302 304 305 306 309 310 314 319 320 322 323 325 328 333 334 335 338 342 349 351 353 356 357 360 364 369 370 371 374 376 387 391 393 394 400 404 406 409 422 425 430 432 433 434 437 440 441 445 447 a 6 7 8 11 14 18 19 20 24 25 31 32 33 34 40 48 50 54 56 66 67 69 77 79 80 81 87 88 89 91 92 99 100 101 105 110 112 113 116 118 124 128 129 132 134 135 138 140 141 142 144 147 160 163 169 173 175 179 180 182 183 184 187 188 190 191 201 206 209 215 222 223 225 231 234 236 239 240 244 246 253 256 258 263 267 269 270 271 272 274 278 282 285 286 291 293 297 299 302 304 305 306 309 310 314 319 320 322 323 325 328 333 334 335 338 342 349 351 353 356 357 360 364 369 370 371 374 376 387 391 393 394 400 404 406 409 422 425 430 432 433 434 437 440 441 445 447 a 6 7 8 11 14 18 19 20 24 25 31 32 33 34 40 48 50 54 56 66 67 69 77 79 80 81 87 88 89 91 92 99 100 101 105 110 112 113 116 118 124 128 129 132 134 135 138 140 141 142 144 147 160 163 169 173 175 176 179 180 182 183 184 187 188 190 191 201 206 209 215 222 223 225 231 234 236 239 240 244 246 253 256 258 263 267 269 270 271 272 274 278 282 285 286 291 293 297 299 302 304 305 306 309 310 314 319 320 322 323 325 328 333 334 335 338 342 349 351 353 356 357 360 369 370 371 374 376 387 391 393 394 400 404 406 409 422 425 430 432 433 434 437 440 441 445 447 a 6 7 8 11 14 18 19 20 24 25 31 32 33 34 40 48 50 54 56 66 67 69 77 79 80 81 87 88 89 91 92 99 100 101 105 110 112 113 116 118 124 128 129 132 134 135 138 140 141 142 144 145 147 160 163 169 173 175 176 179 180 182 183 184 187 188 190 191 201 206 209 215 222 223 225 231 234 236 239 240 244 246 253 256 258 263 267 269 270 271 272 274 282 285 286 291 293 297 299 302 304 305 306 309 310 314 319 320 322 323 325 328 333 334 335 338 342 349 351 353 356 357 360 369 370 371 374 376 387 391 393 394 400 404 406 409 422 425 430 432 433 434 437 440 441 445 447 a 6 7 8 11 14 18 19 20 24 25 31 32 33 34 40 48 50 54 56 66 67 69 77 79 80 81 87 88 89 91 92 99 100 101 105 110 112 113 116 118 124 128 129 132 134 135 138 140 141 142 144 145 147 160 163 164 169 173 175 176 179 180 182 183 184 187 188 190 191 201 206 209 215 222 223 225 231 234 236 239 240 244 246 253 256 258 263 267 269 270 271 272 274 282 285 286 291 293 297 299 302 304 305 306 309 310 314 320 322 323 325 328 333 334 335 338 342 349 351 353 356 357 360 369 370 371 374 376 387 391 393 394 400 404 406 409 422 425 430 432 433 434 437 440 441 445 447 a 7 8 11 14 18 19 20 24 25 31 32 33 34 40 48 50 54 56 66 67 69 77 79 80 81 87 88 89 91 92 99 100 101 105 110 112 113 116 118 124 128 129 132 134 135 138 140 141 142 144 145 147 160 163 164 169 173 175 176 179 180 182 183 184 187 188 190 191 201 206 209 215 222 223 225 227 231 234 236 239 240 244 246 253 256 258 263 267 269 270 271 272 274 282 285 286 291 293 297 299 302 304 305 306 309 310 314 320 322 323 325 328 333 334 335 338 342 349 351 353 356 357 360 369 370 371 374 376 387 391 393 394 400 404 406 409 422 425 430 432 433 434 437 440 441 445 447 a 7 8 11 14 18 19 20 24 25 31 32 33 34 40 44 48 50 54 56 66 67 69 77 79 80 81 87 88 89 91 92 99 100 101 105 110 112 113 116 118 124 128 129 132 134 135 138 140 141 142 144 145 147 160 163 164 169 173 175 176 179 180 182 183 184 187 188 190 191 201 206 209 215 222 223 225 227 231 234 236 239 240 244 246 253 256 258 263 267 270 271 272 274 282 285 286 291 293 297 299 302 304 305 306 309 310 314 320 322 323 325 328 333 334 335 338 342 349 351 353 356 357 360 369 370 371 374 376 387 391 393 394 400 404 406 409 422 425 430 432 433 434 437 440 441 445 447 a 7 8 11 14 18 19 20 24 25 31 32 33 34 40 44 48 50 54 56 66 67 69 77 79 80 81 87 88 89 91 92 99 100 101 105 110 112 113 116 118 124 128 129 132 134 135 138 140 141 142 144 145 147 160 163 164 169 173 175 176 179 180 182 183 184 187 188 190 201 206 209 215 222 223 225 227 231 234 236 239 240 244 246 253 256 258 263 267 270 271 272 274 281 282 285 286 291 293 297 299 302 304 305 306 309 310 314 320 322 323 325 328 333 334 335 338 342 349 351 353 356 357 360 369 370 371 374 376 387 391 393 394 400 404 406 409 422 425 430 432 433 434 437 440 441 445 447 a 7 8 11 14 18 19 20 24 25 31 32 33 34 40 44 48 50 54 56 66 67 69 77 79 80 81 87 88 89 91 92 99 100 101 105 110 112 113 116 118 124 128 129 132 134 135 138 140 141 142 144 145 147 160 163 164 169 173 175 176 179 180 182 183 184 187 188 190 201 206 209 215 222 223 225 227 231 234 236 239 240 244 246 253 256 258 263 267 270 271 272 274 281 282 285 286 291 293 299 302 304 305 306 309 310 314 320 322 323 325 328 333 334 335 338 342 349 351 353 356 357 359 360 369 370 371 374 376 387 391 393 394 400 404 406 409 422 425 430 432 433 434 437 440 441 445 447 a 7 8 11 14 18 19 20 24 25 31 32 33 34 40 44 48 50 54 56 66 67 69 77 79 80 81 87 88 89 91 92 99 100 101 105 110 112 113 116 118 124 128 129 132 134 135 138 140 141 142 144 145 147 160 163 164 169 173 175 176 179 180 182 183 184 187 188 190 197 201 206 209 215 222 223 225 227 231 234 236 239 240 244 246 253 256 258 263 267 270 271 272 274 281 282 285 286 291 293 299 302 304 305 306 309 310 314 320 322 323 325 328 333 334 335 342 349 351 353 356 357 359 360 369 370 371 374 376 387 391 393 394 400 404 406 409 422 425 430 432 433 434 437 440 441 445 447 a 7 8 11 14 18 19 20 24 25 31 32 33 34 40 44 48 50 54 56 66 67 69 77 79 80 81 87 88 89 91 92 99 100 101 105 110 112 113 116 118 124 128 129 132 134 135 138 140 141 142 144 145 147 160 163 164 169 173 175 176 179 180 182 183 184 187 188 190 197 201 206 209 215 222 223 225 227 234 236 239 240 244 246 253 256 258 263 267 270 271 272 274 281 282 285 286 291 293 299 302 304 305 306 309 310 311 314 320 322 323 325 328 333 334 335 342 349 351 353 356 357 359 360 369 370 371 374 376 387 391 393 394 400 404 406 409 422 425 430 432 433 434 437 440 441 445 447 a 7 8 11 14 18 19 20 24 25 31 32 33 34 40 44 48 50 54 56 66 67 69 77 79 80 81 87 88 89 91 92 99 100 101 105 110 112 113 116 118 124 128 129 132 134 135 138 140 141 142 144 145 147 160 163 164 169 173 175 176 179 180 182 183 186 187 188 190 197 201 206 209 215 222 223 225 227 234 236 239 240 244 246 253 256 258 263 267 270 271 272 274 281 282 285 286 291 293 299 302 304 305 306 309 310 311 314 320 322 323 325 328 333 334 335 342 349 351 353 356 357 359 360 369 370 371 374 376 387 391 393 394 400 404 406 409 422 425 430 432 433 434 437 440 441 445 447 a 7 8 11 14 18 19 20 24 25 31 32 33 34 40 44 48 50 54 56 66 67 69 77 79 80 81 87 88 89 91 92 99 100 101 105 112 113 116 118 124 128 129 132 134 135 138 140 141 142 144 145 147 160 163 164 169 173 175 176 179 180 182 183 186 187 188 190 197 201 206 209 215 219 222 223 225 227 234 236 239 240 244 246 253 256 258 263 267 270 271 272 274 281 282 285 286 291 293 299 302 304 305 306 309 310 311 314 320 322 323 325 328 333 334 335 342 349 351 353 356 357 359 360 369 370 371 374 376 387 391 393 394 400 404 406 409 422 425 430 432 433 434 437 440 441 445 447 a 7 8 11 14 18 19 20 24 25 31 32 33 34 40 44 48 50 54 56 66 67 69 77 79 80 81 87 88 89 91 92 99 100 101 105 112 113 116 118 124 128 129 132 134 135 138 140 141 142 144 145 147 160 163 164 169 173 175 176 179 180 182 183 186 187 188 197 201 205 206 209 215 219 222 223 225 227 234 236 239 240 244 246 253 256 258 263 267 270 271 272 274 281 282 285 286 291 293 299 302 304 305 306 309 310 311 314 320 322 323 325 328 333 334 335 342 349 351 353 356 357 359 360 369 370 371 374 376 387 391 393 394 400 404 406 409 422 425 430 432 433 434 437 440 441 445 447 a 7 8 11 14 18 19 20 24 25 31 32 33 34 40 44 48 50 54 56 66 67 69 77 79 80 81 87 88 89 91 99 100 101 105 112 113 116 118 124 128 129 132 134 135 138 140 141 142 144 145 147 160 163 164 169 173 175 176 179 180 182 183 186 187 188 197 201 204 205 206 209 215 219 222 223 225 227 234 236 239 240 244 246 253 256 258 263 267 270 271 272 274 281 282 285 286 291 293 299 302 304 305 306 309 310 311 314 320 322 323 325 328 333 334 335 342 349 351 353 356 357 359 360 369 370 371 374 376 387 391 393 394 400 404 406 409 422 425 430 432 433 434 437 440 441 445 447 a 7 8 11 14 18 19 20 24 25 31 32 33 34 40 44 48 50 54 56 66 67 69 77 79 80 81 87 88 89 91 99 100 101 105 112 113 116 118 124 128 129 132 134 135 138 140 141 142 144 145 147 160 163 164 169 173 175 176 179 180 182 183 186 187 188 197 201 204 205 206 209 215 219 222 223 225 227 234 236 239 240 244 246 252 253 256 258 263 267 270 271 272 274 281 282 285 286 291 293 299 302 304 305 306 309 310 311 314 320 322 323 325 328 333 334 335 342 349 351 353 356 357 359 360 369 370 371 374 376 387 391 393 394 400 404 406 409 422 425 430 432 433 434 437 440 445 447 a 7 8 11 14 18 19 20 24 25 31 32 33 34 40 44 48 50 54 56 57 66 67 69 77 79 80 81 87 88 89 91 99 100 101 105 112 113 116 118 124 128 129 132 134 135 138 140 141 142 144 145 160 163 164 169 173 175 176 179 180 182 183 186 187 188 197 201 204 205 206 209 215 219 222 223 225 227 234 236 239 240 244 246 252 253 256 258 263 267 270 271 272 274 281 282 285 286 291 293 299 302 304 305 306 309 310 311 314 320 322 323 325 328 333 334 335 342 349 351 353 356 357 359 360 369 370 371 374 376 387 391 393 394 400 404 406 409 422 425 430 432 433 434 437 440 445 447 a 7 8 11 14 18 19 20 22 24 25 31 32 33 34 40 44 48 50 54 56 57 66 67 69 77 79 80 81 87 88 89 91 99 100 101 105 112 113 116 118 124 129 132 134 135 138 140 141 142 144 145 160 163 164 169 173 175 176 179 180 182 183 186 187 188 197 201 204 205 206 209 215 219 222 223 225 227 234 236 239 240 244 246 252 253 256 258 263 267 270 271 272 274 281 282 285 286 291 293 299 302 304 305 306 309 310 311 314 320 322 323 325 328 333 334 335 342 349 351 353 356 357 359 360 369 370 371 374 376 387 391 393 394 400 404 406 409 422 425 430 432 433 434 437 440 445 447 a 7 8 11 14 18 19 20 22 24 25 31 32 33 34 40 44 48 50 54 56 57 66 67 69 79 80 81 87 88 89 91 99 100 101 105 112 113 116 118 124 129 132 134 135 138 140 141 142 144 145 160 163 164 169 173 175 176 179 180 182 183 185 186 187 188 197 201 204 205 206 209 215 219 222 223 225 227 234 236 239 240 244 246 252 253 256 258 263 267 270 271 272 274 281 282 285 286 291 293 299 302 304 305 306 309 310 311 314 320 322 323 325 328 333 334 335 342 349 351 353 356 357 359 360 369 370 371 374 376 387 391 393 394 400 404 406 409 422 425 430 432 433 434 437 440 445 447 a 7 8 11 14 18 19 20 22 24 25 31 32 33 34 40 44 48 50 54 56 57 66 67 69 79 80 81 87 88 89 91 99 100 101 105 112 113 116 118 124 129 132 134 135 138 140 141 142 144 145 160 163 164 169 173 175 176 179 180 182 183 185 186 187 188 197 201 204 205 206 209 215 219 222 223 225 227 234 236 239 240 244 246 252 253 256 258 263 267 270 271 272 274 281 282 285 286 291 293 298 299 302 304 305 306 309 310 311 314 320 322 323 325 328 333 334 335 342 349 351 353 356 357 359 360 369 370 371 374 376 387 391 393 400 404 406 409 422 425 430 432 433 434 437 440 445 447 a 7 8 11 14 18 19 20 22 24 25 31 32 33 34 40 44 48 50 54 56 57 66 67 69 79 80 81 87 88 89 91 99 100 101 105 112 113 116 118 124 129 132 134 135 138 140 141 142 144 145 154 160 163 164 169 173 175 176 179 180 182 183 185 186 187 188 197 201 204 205 206 209 215 219 222 223 225 227 234 236 239 240 244 246 252 253 256 258 263 267 270 271 272 274 281 282 285 286 291 293 298 299 302 304 305 306 309 310 311 314 320 322 323 325 328 333 334 335 342 349 351 353 356 357 359 360 369 370 371 374 387 391 393 400 404 406 409 422 425 430 432 433 434 437 440 445 447 a 7 8 11 14 19 20 22 24 25 31 32 33 34 40 44 48 50 54 56 57 66 67 69 79 80 81 87 88 89 91 99 100 101 105 112 113 116 118 124 129 132 134 135 138 140 141 142 144 145 154 160 163 164 169 173 175 176 179 180 182 183 185 186 187 188 197 201 204 205 206 209 215 219 222 223 225 227 234 236 239 240 244 246 252 253 256 258 261 263 267 270 271 272 274 281 282 285 286 291 293 298 299 302 304 305 306 309 310 311 314 320 322 323 325 328 333 334 335 342 349 351 353 356 357 359 360 369 370 371 374 387 391 393 400 404 406 409 422 425 430 432 433 434 437 440 445 447 a 7 8 11 14 19 20 22 24 25 31 32 33 34 40 44 48 50 54 56 57 66 67 69 79 80 81 87 88 89 91 99 100 101 105 112 113 116 118 124 129 132 134 135 138 140 141 142 144 145 154 160 163 164 173 175 176 179 180 182 183 185 186 187 188 197 201 204 205 206 209 215 219 222 223 225 227 234 236 239 240 244 246 249 252 253 256 258 261 263 267 270 271 272 274 281 282 285 286 291 293 298 299 302 304 305 306 309 310 311 314 320 322 323 325 328 333 334 335 342 349 351 353 356 357 359 360 369 370 371 374 387 391 393 400 404 406 409 422 425 430 432 433 434 437 440 445 447 a 7 8 11 14 19 20 22 24 25 31 32 33 34 40 44 48 50 54 56 57 66 67 69 79 80 81 87 88 89 91 99 100 101 105 112 113 116 118 124 129 132 134 135 138 140 141 142 144 145 154 160 163 164 173 175 176 180 182 183 185 186 187 188 197 201 204 205 206 209 215 216 219 222 223 225 227 234 236 239 240 244 246 249 252 253 256 258 261 263 267 270 271 272 274 281 282 285 286 291 293 298 299 302 304 305 306 309 310 311 314 320 322 323 325 328 333 334 335 342 349 351 353 356 357 359 360 369 370 371 374 387 391 393 400 404 406 409 422 425 430 432 433 434 437 440 445 447 a 7 8 11 14 19 20 22 24 25 31 32 33 34 40 44 48 50 54 56 57 67 69 79 80 81 87 88 89 91 99 100 101 105 112 113 116 118 124 129 132 134 135 138 140 141 142 144 145 154 160 163 164 166 173 175 176 180 182 183 185 186 187 188 197 201 204 205 206 209 215 216 219 222 223 225 227 234 236 239 240 244 246 249 252 253 256 258 261 263 267 270 271 272 274 281 282 285 286 291 293 298 299 302 304 305 306 309 310 311 314 320 322 323 325 328 333 334 335 342 349 351 353 356 357 359 360 369 370 371 374 387 391 393 400 404 406 409 422 425 430 432 433 434 437 440 445 447 a 7 8 11 14 20 22 24 25 31 32 33 34 40 44 48 50 54 56 57 67 69 79 80 81 87 88 89 91 99 100 101 105 112 113 116 118 124 129 132 134 135 138 140 141 142 144 145 154 160 163 164 166 173 175 176 180 182 183 185 186 187 188 197 201 204 205 206 209 215 216 219 222 223 225 227 234 236 239 240 244 246 249 252 253 256 258 261 263 267 270 271 272 274 281 282 285 286 291 293 298 299 302 304 305 306 309 310 311 314 320 322 323 325 328 333 334 335 342 349 351 353 356 357 359 360 369 370 371 374 384 387 391 393 400 404 406 409 422 425 430 432 433 434 437 440 445 447 a 7 8 11 14 20 22 24 25 31 32 33 34 38 40 44 48 50 54 56 57 67 69 79 80 81 87 88 89 91 99 100 101 105 112 113 116 118 124 129 134 135 138 140 141 142 144 145 154 160 163 164 166 173 175 176 180 182 183 185 186 187 188 197 201 204 205 206 209 215 216 219 222 223 225 227 234 236 239 240 244 246 249 252 253 256 258 261 263 267 270 271 272 274 281 282 285 286 291 293 298 299 302 304 305 306 309 310 311 314 320 322 323 325 328 333 334 335 342 349 351 353 356 357 359 360 369 370 371 374 384 387 391 393 400 404 406 409 422 425 430 432 433 434 437 440 445 447 a 7 8 11 14 20 22 24 25 31 32 33 34 38 40 44 48 50 54 56 57 67 69 79 80 81 87 88 89 91 99 100 101 105 112 113 116 118 124 129 134 135 138 140 141 142 144 145 154 159 160 163 164 166 173 175 176 180 182 183 185 186 187 188 197 201 204 205 206 209 215 216 219 222 223 225 227 234 236 239 240 244 246 249 252 253 256 258 261 263 267 270 271 272 274 281 282 285 286 293 298 299 302 304 305 306 309 310 311 314 320 322 323 325 328 333 334 335 342 349 351 353 356 357 359 360 369 370 371 374 384 387 391 393 400 404 406 409 422 425 430 432 433 434 437 440 445 447 a 7 8 11 14 20 22 24 25 31 32 33 34 38 40 44 48 50 54 56 57 67 69 79 80 81 87 88 89 91 99 100 101 105 112 113 116 118 124 129 134 135 138 140 141 142 144 145 154 159 160 163 164 166 173 175 176 180 182 183 185 186 187 188 197 201 202 204 205 206 209 215 216 219 222 223 225 227 234 236 239 240 244 246 249 252 253 256 258 261 263 267 271 272 274 281 282 285 286 293 298 299 302 304 305 306 309 310 311 314 320 322 323 325 328 333 334 335 342 349 351 353 356 357 359 360 369 370 371 374 384 387 391 393 400 404 406 409 422 425 430 432 433 434 437 440 445 447 a 7 8 11 14 20 22 24 25 31 32 33 34 38 40 44 48 50 54 56 57 67 69 79 80 81 87 88 89 91 99 100 101 105 112 113 116 118 124 129 134 135 138 140 141 142 144 145 154 159 160 163 164 166 173 176 178 180 182 183 185 186 187 188 197 201 202 204 205 206 209 215 216 219 222 223 225 227 234 236 239 240 244 246 249 252 253 256 258 261 263 267 271 272 274 281 282 285 286 293 298 299 302 304 305 306 309 310 311 314 320 322 323 325 328 333 334 335 342 349 351 353 356 357 359 360 369 370 371 374 384 387 391 393 400 404 406 409 422 425 430 432 433 434 437 440 445 447 a 7 8 11 14 20 22 24 25 31 32 33 34 38 40 44 48 50 54 56 57 67 69 79 80 87 88 89 91 99 100 101 105 112 113 116 118 124 129 134 135 138 140 141 142 144 145 154 159 160 163 164 166 173 176 178 180 182 183 185 186 187 188 197 201 202 204 205 206 209 215 216 219 222 223 225 227 234 236 239 240 244 246 249 252 253 256 258 261 263 267 271 272 274 281 282 285 286 293 298 299 302 304 305 306 309 310 311 314 320 322 323 325 328 333 334 335 342 349 351 353 356 357 359 360 369 370 371 374 384 387 391 393 400 404 406 409 422 425 430 432 433 434 437 440 445 447 449 a 7 8 11 14 20 22 24 25 31 32 33 34 38 40 44 48 50 54 56 57 67 69 79 80 87 88 89 91 99 100 101 105 112 113 116 118 124 129 134 135 138 140 141 142 144 145 154 159 160 163 164 166 173 176 178 180 182 183 185 186 187 188 197 201 202 204 205 206 209 215 216 219 222 223 225 227 234 236 239 240 244 246 249 252 253 256 258 261 263 267 271 272 274 281 282 285 286 293 298 299 302 304 305 306 309 310 311 314 320 322 323 325 328 333 334 335 342 349 351 353 356 357 359 360 369 370 371 374 384 391 393 397 400 404 406 409 422 425 430 432 433 434 437 440 445 447 449 a 7 8 11 14 20 22 24 25 31 32 33 34 38 40 44 48 50 54 56 57 67 69 79 80 87 88 89 91 99 100 101 105 112 113 116 118 124 129 134 135 138 140 141 142 144 145 154 159 160 163 164 166 173 176 178 180 182 183 185 186 187 188 197 201 202 204 205 206 209 215 216 219 222 223 225 227 234 236 239 240 244 246 249 252 253 256 258 261 263 267 271 272 274 276 281 282 285 286 293 298 299 302 304 305 306 309 310 311 314 320 323 325 328 333 334 335 342 349 351 353 356 357 359 360 369 370 371 374 384 391 393 397 400 404 406 409 422 425 430 432 433 434 437 440 445 447 449 a 7 8 11 14 20 22 24 25 31 32 33 34 38 40 44 48 50 54 56 57 67 69 79 80 87 88 89 91 99 100 101 105 112 113 116 118 123 124 129 134 135 138 140 141 142 144 145 154 159 160 163 164 166 173 176 178 180 182 183 185 186 187 188 197 201 202 204 205 206 209 215 216 219 222 223 225 227 234 236 239 240 244 246 249 252 253 256 258 261 263 267 271 272 274 276 281 282 285 286 293 298 299 302 304 305 306 309 310 311 314 320 323 325 328 333 334 335 342 349 351 353 356 357 359 360 369 370 371 374 384 391 393 397 400 404 406 409 422 425 430 432 433 434 437 440 445 449 a 7 8 11 14 20 22 24 25 31 32 33 34 38 40 44 48 50 54 56 57 67 69 79 80 87 88 89 91 99 100 101 105 112 113 116 118 123 124 129 134 135 138 140 141 142 144 145 154 159 160 163 164 166 173 176 178 180 182 183 185 186 187 188 197 201 202 204 205 206 209 216 219 222 223 225 227 234 236 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 306 309 310 311 314 320 323 325 328 333 334 335 342 349 351 353 356 357 359 360 369 370 371 374 384 391 393 397 400 404 406 409 422 425 430 432 433 434 437 440 445 449 a 7 8 11 14 20 22 24 25 31 32 33 34 38 40 44 48 50 54 56 57 67 69 79 80 87 88 89 91 99 100 101 105 112 113 116 118 123 124 129 135 138 140 141 142 144 145 154 159 160 163 164 166 173 176 178 180 182 183 185 186 187 188 197 201 202 204 205 206 209 216 219 222 223 225 227 234 236 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 306 309 310 311 314 320 323 325 328 333 334 335 342 349 351 353 356 357 359 360 369 370 371 374 384 391 393 397 400 404 406 409 411 422 425 430 432 433 434 437 440 445 449 a 7 8 11 14 20 22 24 25 31 32 33 34 38 40 44 48 50 54 56 57 67 69 79 80 87 88 89 91 99 100 101 105 112 113 116 118 123 124 129 135 138 140 141 142 144 145 154 159 160 163 164 166 173 176 178 180 182 183 185 186 187 188 194 197 201 202 204 205 206 209 216 219 222 223 225 227 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 306 309 310 311 314 320 323 325 328 333 334 335 342 349 351 353 356 357 359 360 369 370 371 374 384 391 393 397 400 404 406 409 411 422 425 430 432 433 434 437 440 445 449 a 7 8 11 14 20 22 24 25 31 32 33 34 38 40 44 48 50 54 56 57 67 69 79 80 87 88 89 91 99 100 101 105 112 113 116 118 123 124 129 135 138 140 141 142 144 145 154 159 160 163 164 166 173 176 178 180 182 183 185 186 187 188 194 197 201 202 204 205 206 209 216 219 222 223 225 227 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 306 309 310 311 314 320 323 325 328 333 334 342 349 351 353 356 357 359 360 369 370 371 374 384 391 393 397 400 404 406 409 411 417 422 425 430 432 433 434 437 440 445 449 a 7 8 11 14 20 22 24 25 31 32 33 34 38 40 44 48 50 54 56 57 67 69 79 80 87 88 89 91 99 100 101 105 112 113 116 118 123 124 129 135 138 140 141 142 144 145 154 159 163 164 166 173 176 178 180 182 183 185 186 187 188 194 197 201 202 204 205 206 209 216 219 222 223 225 227 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 306 309 310 311 312 314 320 323 325 328 333 334 342 349 351 353 356 357 359 360 369 370 371 374 384 391 393 397 400 404 406 409 411 417 422 425 430 432 433 434 437 440 445 449 a 7 8 11 14 20 22 24 25 31 32 33 34 38 40 44 48 50 54 56 57 67 69 79 80 87 88 89 91 99 100 101 105 112 113 116 118 123 124 129 135 138 140 141 142 144 145 154 159 163 164 166 173 176 178 180 182 183 185 186 187 188 194 197 201 202 204 205 206 209 216 219 222 223 227 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 306 309 310 311 312 314 320 323 325 328 333 334 342 349 351 353 356 357 359 360 369 370 371 374 379 384 391 393 397 400 404 406 409 411 417 422 425 430 432 433 434 437 440 445 449 a 7 8 11 14 22 24 25 31 32 33 34 38 40 44 48 50 54 56 57 67 69 79 80 87 88 89 91 99 100 101 105 112 113 116 118 123 124 129 135 138 140 141 142 144 145 149 154 159 163 164 166 173 176 178 180 182 183 185 186 187 188 194 197 201 202 204 205 206 209 216 219 222 223 227 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 306 309 310 311 312 314 320 323 325 328 333 334 342 349 351 353 356 357 359 360 369 370 371 374 379 384 391 393 397 400 404 406 409 411 417 422 425 430 432 433 434 437 440 445 449 a 7 8 11 14 22 24 25 31 32 33 34 38 40 44 48 50 54 56 57 67 69 79 80 87 88 89 91 99 100 101 105 112 113 116 118 123 124 129 135 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 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 306 309 310 311 312 314 320 323 325 328 333 334 342 349 351 353 356 357 359 360 369 370 371 374 379 384 391 393 397 400 404 406 409 411 417 422 425 430 432 433 434 437 440 445 449 a 7 8 11 14 22 24 25 31 32 33 34 38 40 44 48 50 54 56 57 67 69 79 80 87 88 89 91 99 100 101 105 112 113 116 118 123 124 129 135 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 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 306 309 310 311 312 314 320 323 325 328 333 334 342 349 351 353 356 357 359 360 369 370 371 374 377 379 384 391 393 397 400 404 406 409 411 417 422 425 430 432 433 434 437 445 449 a 7 8 11 14 17 22 24 25 32 33 34 38 40 44 48 50 54 56 57 67 69 79 80 87 88 89 91 99 100 101 105 112 113 116 118 123 124 129 135 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 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 306 309 310 311 312 314 320 323 325 328 333 334 342 349 351 353 356 357 359 360 369 370 371 374 377 379 384 391 393 397 400 404 406 409 411 417 422 425 430 432 433 434 437 445 449 a 7 8 11 14 17 22 24 25 32 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 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 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 306 309 310 311 312 314 320 323 325 328 333 334 342 349 351 353 356 357 359 360 369 370 371 374 377 379 384 391 393 397 400 404 406 409 411 417 422 425 430 432 433 434 437 445 449 a 7 8 11 14 17 22 24 25 32 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 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 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 433 434 437 445 449 a 7 8 11 14 17 22 24 25 32 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 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 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: 128 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance035_graph002.col /benchmark/random_instance/random_instance035_graph002_01.dat" User time (seconds): 546.17 System time (seconds): 4.39 Percent of CPU this job got: 150% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:04.88 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): 14696012 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 4931389 Voluntary context switches: 105523 Involuntary context switches: 2236 Swaps: 0 File system inputs: 0 File system outputs: 944 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 03:05:01 2023]