#BEGIN: [Tue Sep 26 02:01:57 2023] #HOST: s06 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-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 --ulimit cpu=1800 -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.001 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 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 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 200 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 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 200 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 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 200 201 206 209 215 220 222 223 225 228 231 233 236 239 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 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 200 201 206 209 215 220 222 223 225 228 231 233 236 239 244 245 250 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 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 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 200 201 206 209 215 220 222 223 225 228 231 233 236 239 244 245 250 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 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 455 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 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 200 201 206 209 215 220 222 223 225 228 231 233 236 239 244 245 250 254 256 259 263 269 270 277 278 285 288 291 294 296 297 299 301 304 305 306 310 315 316 328 330 333 335 338 341 342 344 346 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 455 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 84 85 91 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 200 201 206 209 215 220 222 223 225 228 231 233 236 239 244 245 250 254 256 259 263 269 270 277 278 285 288 291 294 296 297 299 301 304 305 306 310 315 316 328 330 333 335 338 341 342 344 346 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 444 447 448 450 455 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 84 85 91 94 98 100 101 110 112 113 116 117 121 122 126 132 134 138 143 144 147 148 160 163 164 173 175 177 179 182 183 190 191 193 200 201 206 209 215 220 222 223 225 228 231 233 236 239 244 245 250 254 256 259 263 269 270 277 278 285 288 291 294 296 297 299 301 304 305 306 310 315 316 328 330 333 335 338 341 342 344 346 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 444 447 448 450 455 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 84 85 91 94 98 100 101 110 112 113 116 117 121 122 126 132 134 138 143 144 147 148 160 163 164 173 175 177 179 182 183 190 191 193 200 201 206 209 215 220 222 223 225 228 231 233 236 239 244 245 250 254 256 263 269 270 277 278 285 288 291 294 296 297 299 301 304 305 306 310 314 315 316 328 330 333 335 338 341 342 344 346 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 444 447 448 450 455 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 84 85 91 94 98 100 101 110 112 113 116 117 121 122 126 132 134 138 143 144 147 148 160 163 164 173 175 177 179 182 183 190 191 193 200 201 206 209 215 220 222 223 225 228 231 233 236 239 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 444 447 448 450 455 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 84 85 91 94 98 100 101 110 112 113 116 117 121 122 126 132 134 138 143 144 147 148 160 163 164 173 175 177 179 182 183 190 191 193 200 201 206 209 215 220 222 223 225 228 231 233 236 239 244 245 250 254 256 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 366 370 371 376 381 387 389 391 393 394 398 400 401 403 407 423 428 429 430 432 433 434 437 438 439 440 441 443 444 447 448 450 455 a 6 7 8 11 12 14 18 19 20 23 25 27 30 34 35 37 39 40 42 43 48 51 52 59 60 66 69 71 77 79 81 84 85 91 94 98 100 101 110 112 113 116 117 121 122 126 132 134 138 143 144 147 148 160 163 164 173 175 177 179 182 183 190 191 193 200 201 206 209 215 220 222 223 225 228 231 233 236 239 244 245 250 254 256 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 366 370 371 376 381 387 389 391 393 394 398 400 401 403 407 423 428 429 430 432 433 434 437 438 439 440 441 443 444 447 448 450 455 a 6 7 8 11 12 14 18 19 20 23 25 27 30 34 35 37 39 40 42 43 48 51 52 59 60 66 69 71 77 79 81 84 85 91 94 98 100 101 110 112 113 116 117 121 122 126 132 134 138 143 144 147 148 160 163 173 175 177 179 182 183 190 191 193 200 201 206 209 215 220 222 223 225 228 231 233 236 239 244 245 250 254 256 263 269 270 277 278 285 288 291 294 297 299 301 304 305 306 310 315 316 319 328 330 333 335 338 341 342 344 346 347 349 361 366 370 371 376 381 387 389 391 393 394 398 400 401 403 407 423 428 429 430 432 433 434 437 438 439 440 441 443 444 447 448 450 455 a 6 7 8 11 12 14 16 18 19 20 23 25 27 30 34 35 37 39 40 42 43 48 52 59 60 66 69 71 77 79 81 84 85 91 94 98 100 101 110 112 113 116 117 121 122 126 132 134 138 143 144 147 148 160 163 173 175 177 179 182 183 190 191 193 200 201 206 209 215 220 222 223 225 228 231 233 236 239 244 245 250 254 256 263 269 270 277 278 285 288 291 294 297 299 301 304 305 306 310 315 316 319 328 330 333 335 338 341 342 344 346 347 349 361 366 370 371 376 381 387 389 391 393 394 398 400 401 403 407 423 428 429 430 432 433 434 437 438 439 440 441 443 444 447 448 450 455 a 6 7 8 11 12 14 16 18 19 20 22 23 25 27 30 34 35 37 39 40 42 43 48 52 59 60 66 69 71 77 79 81 84 85 91 94 98 100 101 110 112 113 116 117 121 122 126 132 134 138 143 144 147 148 160 163 173 175 177 179 182 183 190 191 193 200 201 206 209 215 220 222 223 225 228 231 233 236 239 244 245 250 254 256 263 269 270 277 278 285 288 291 294 297 299 301 304 305 306 310 315 316 319 328 330 333 335 338 341 342 344 346 347 349 361 366 370 371 376 381 387 389 391 393 394 398 400 401 403 407 423 428 429 430 432 433 434 437 438 439 440 441 443 444 447 448 450 a 6 7 8 11 12 14 16 18 19 20 22 23 25 27 30 34 35 37 39 40 42 43 48 52 59 60 66 69 71 77 79 81 84 85 91 94 98 100 101 110 112 113 116 117 122 126 132 134 138 143 144 147 148 160 163 173 175 177 179 182 183 190 191 193 200 201 206 209 215 220 222 223 225 228 231 233 236 239 244 245 250 254 256 263 269 270 277 278 285 288 291 294 297 299 301 304 305 306 310 314 315 316 319 328 330 333 335 338 341 342 344 346 347 349 361 366 370 371 376 381 387 389 391 393 394 398 400 401 403 407 423 428 429 430 432 433 434 437 438 439 440 441 443 444 447 448 450 a 6 7 8 11 12 14 16 18 19 20 22 23 25 27 30 34 35 37 39 40 42 43 46 48 52 59 60 66 69 71 77 79 81 84 85 91 94 98 100 101 110 112 113 116 117 122 126 132 134 138 143 144 147 148 160 163 173 175 177 179 182 183 190 191 193 200 201 206 209 215 220 222 223 225 228 231 233 236 239 244 245 250 254 256 263 269 270 277 278 285 288 291 294 297 299 301 304 305 306 310 314 315 316 319 328 330 333 335 338 341 342 344 346 347 349 361 366 370 371 376 381 387 389 391 393 394 398 400 401 403 407 423 428 429 430 432 433 434 437 438 439 440 441 444 447 448 450 a 6 7 8 11 12 14 16 18 19 20 22 23 25 27 30 34 35 37 39 40 42 43 46 48 52 59 60 66 69 71 77 79 81 84 85 91 94 98 100 101 110 112 113 116 117 122 126 132 134 143 144 147 148 160 163 173 175 177 179 182 183 190 191 193 200 201 206 209 215 220 222 223 225 228 231 233 236 239 244 245 250 254 256 263 269 270 277 278 285 288 291 294 297 299 301 304 305 306 310 314 315 316 319 328 330 333 335 338 341 342 344 345 346 347 349 361 366 370 371 376 381 387 389 391 393 394 398 400 401 403 407 423 428 429 430 432 433 434 437 438 439 440 441 444 447 448 450 a 6 7 8 11 12 14 16 18 19 20 22 23 25 27 30 34 35 37 39 40 42 43 46 48 52 59 60 66 69 71 77 79 81 84 85 91 94 98 100 101 110 112 113 116 117 122 126 132 134 143 144 147 148 160 163 173 175 177 179 182 183 190 191 193 200 201 206 209 215 220 222 223 225 228 231 233 236 239 244 245 250 254 256 259 263 269 270 277 278 285 288 291 294 297 299 301 304 305 306 310 315 316 319 328 330 333 335 338 341 342 344 345 346 347 349 361 366 370 371 376 381 387 389 391 393 394 398 400 401 403 407 423 428 429 430 432 433 434 437 438 439 440 441 444 447 448 450 a 6 7 8 11 12 14 16 18 19 20 22 23 25 27 30 34 35 37 39 40 42 43 46 48 52 59 60 66 67 69 71 77 79 81 84 85 91 94 98 100 101 110 112 113 116 117 122 126 132 134 143 144 147 148 160 163 173 175 177 179 182 183 190 191 193 200 201 206 209 215 220 222 223 225 228 231 233 236 239 244 245 250 254 256 259 263 269 270 277 278 285 288 291 294 297 299 301 304 305 306 310 315 316 319 328 330 333 335 338 341 342 344 345 347 349 361 366 370 371 376 381 387 389 391 393 394 398 400 401 403 407 423 428 429 430 432 433 434 437 438 439 440 441 444 447 448 450 a 6 7 8 11 12 14 16 18 19 20 22 23 25 27 30 34 35 37 39 40 42 43 46 48 52 59 60 66 67 69 71 77 79 81 84 85 89 91 94 98 100 101 110 112 113 116 117 122 126 132 134 143 144 147 148 160 163 173 175 177 179 182 183 190 191 193 200 201 206 209 215 220 222 223 225 228 231 233 236 239 244 245 250 254 256 259 263 269 270 277 278 285 288 291 294 297 299 301 304 305 306 310 315 316 319 328 330 333 335 338 341 342 344 345 347 349 361 366 370 371 376 381 387 389 391 393 394 398 400 401 403 407 423 428 429 430 432 433 434 437 438 440 441 444 447 448 450 a 6 7 8 11 12 14 16 18 19 20 22 23 25 27 30 34 35 37 39 40 42 43 46 48 52 59 60 66 67 69 71 77 79 81 84 85 89 91 94 98 100 101 110 112 113 116 117 122 126 132 134 143 144 147 148 160 163 173 175 177 179 182 183 190 191 193 200 201 206 209 215 220 222 223 225 228 231 233 236 239 244 245 250 254 256 259 263 269 270 277 278 285 288 291 294 297 299 301 304 305 306 310 315 316 319 328 330 333 335 338 341 342 344 345 347 349 366 370 371 376 381 387 388 389 391 393 394 398 400 401 403 407 423 428 429 430 432 433 434 437 438 440 441 444 447 448 450 a 6 7 8 11 12 14 16 18 19 20 22 23 25 27 34 35 37 39 40 42 43 46 48 52 55 59 60 66 67 69 71 77 79 81 84 85 89 91 94 98 100 101 110 112 113 116 117 122 126 132 134 143 144 147 148 160 163 173 175 177 179 182 183 190 191 193 200 201 206 209 215 220 222 223 225 228 231 233 236 239 244 245 250 254 256 259 263 269 270 277 278 285 288 291 294 297 299 301 304 305 306 310 315 316 319 328 330 333 335 338 341 342 344 345 347 349 366 370 371 376 381 387 388 389 391 393 394 398 400 401 403 407 423 428 429 430 432 433 434 437 438 440 441 444 447 448 450 a 6 7 8 11 12 14 16 18 19 20 22 23 25 27 34 35 37 39 40 42 43 46 48 52 55 59 60 66 67 69 71 77 79 81 84 85 89 91 94 98 100 101 110 112 113 116 117 122 126 132 134 143 144 147 148 160 163 173 175 177 179 182 183 190 191 193 200 201 206 209 215 220 222 223 225 228 231 233 234 236 239 244 245 250 254 256 259 263 269 270 277 278 285 288 291 294 297 299 301 304 305 306 310 315 316 319 328 330 333 335 338 341 342 345 347 349 366 370 371 376 381 387 388 389 391 393 394 398 400 401 403 407 423 428 429 430 432 433 434 437 438 440 441 444 447 448 450 a 6 7 8 11 12 14 16 18 19 20 22 23 25 27 34 35 37 39 40 42 43 46 48 52 55 59 60 66 67 69 71 77 79 81 84 85 89 91 94 98 100 101 110 112 113 116 117 122 132 134 143 144 147 148 160 163 173 175 177 179 182 183 190 191 193 200 201 206 209 215 220 222 223 225 228 231 233 234 236 239 244 245 250 254 256 259 263 269 270 271 277 278 285 288 291 294 297 299 301 304 305 306 310 315 316 319 328 330 333 335 338 341 342 345 347 349 366 370 371 376 381 387 388 389 391 393 394 398 400 401 403 407 423 428 429 430 432 433 434 437 438 440 441 444 447 448 450 a 6 7 8 11 12 14 16 18 19 20 22 23 25 27 34 35 37 39 40 42 43 46 48 52 55 59 60 66 67 69 71 77 79 81 84 85 89 91 94 98 100 101 110 112 113 116 117 122 132 134 143 144 147 148 160 163 173 175 177 179 182 183 190 191 193 200 201 206 209 215 220 222 223 225 228 231 233 234 236 239 244 245 250 254 256 259 263 269 270 271 277 278 285 288 291 294 297 299 301 304 305 306 310 315 319 321 328 330 333 335 338 341 342 345 347 349 366 370 371 376 381 387 388 389 391 393 394 398 400 401 403 407 423 428 429 430 432 433 434 437 438 440 441 444 447 448 450 a 6 7 8 11 12 14 16 18 19 20 22 23 25 27 34 35 37 39 40 42 43 46 48 52 55 59 60 66 67 69 71 77 79 81 84 85 89 91 94 98 100 101 110 112 113 116 117 121 122 132 134 143 144 147 148 160 163 173 175 177 179 182 183 190 191 193 200 201 206 209 215 220 222 223 225 228 231 233 234 236 239 244 245 250 254 256 259 263 269 270 271 277 278 285 288 291 294 297 299 301 304 305 306 310 315 319 321 328 330 333 335 338 341 342 345 347 349 366 370 371 376 381 387 388 389 391 393 394 398 400 401 403 407 423 428 429 430 432 433 434 437 438 440 441 444 447 448 a 6 7 8 11 12 14 16 18 19 20 22 23 25 27 34 35 37 39 40 42 43 46 48 52 55 59 60 66 67 69 71 77 79 81 84 85 89 91 94 98 100 101 110 112 113 116 117 121 122 132 134 137 143 144 147 148 160 163 173 175 177 179 182 183 190 191 193 200 201 206 209 215 220 222 223 225 228 231 233 234 236 239 244 245 250 254 256 259 263 269 270 271 277 278 285 288 291 294 297 299 301 304 305 306 310 315 319 321 328 330 333 335 338 341 342 345 347 349 366 370 376 381 387 388 389 391 393 394 398 400 401 403 407 423 428 429 430 432 433 434 437 438 440 441 444 447 448 a 6 7 8 11 12 14 16 18 19 20 22 23 25 27 31 34 35 37 39 40 42 43 46 48 52 55 59 60 66 67 69 71 77 79 81 84 85 89 91 94 98 100 101 110 112 113 116 117 121 122 132 134 137 143 144 147 148 160 163 173 175 177 179 182 183 191 193 200 201 206 209 215 220 222 223 225 228 231 233 234 236 239 244 245 250 254 256 259 263 269 270 271 277 278 285 288 291 294 297 299 301 304 305 306 310 315 319 321 328 330 333 335 338 341 342 345 347 349 366 370 376 381 387 388 389 391 393 394 398 400 401 403 407 423 428 429 430 432 433 434 437 438 440 441 444 447 448 a 6 7 8 12 14 16 18 19 20 22 23 25 27 31 34 35 37 39 40 42 43 46 48 52 55 59 60 66 67 69 71 77 79 81 84 85 89 91 94 98 100 101 110 112 113 116 117 121 122 132 134 137 138 143 144 147 148 160 163 173 175 177 179 182 183 191 193 200 201 206 209 215 220 222 223 225 228 231 233 234 236 239 244 245 250 254 256 259 263 269 270 271 277 278 285 288 291 294 297 299 301 304 305 306 310 315 319 321 328 330 333 335 338 341 342 345 347 349 366 370 376 381 387 388 389 391 393 394 398 400 401 403 407 423 428 429 430 432 433 434 437 438 440 441 444 447 448 a 6 7 8 12 14 16 18 19 20 22 23 25 27 31 34 35 37 39 40 42 43 46 48 52 55 59 60 66 67 69 71 77 79 81 84 85 89 91 94 98 100 101 110 112 113 116 117 121 122 132 134 137 138 143 144 147 148 160 163 173 175 176 177 179 182 183 191 193 200 201 206 209 215 220 222 223 225 228 231 233 234 236 239 244 245 250 254 256 259 263 269 270 271 277 278 285 288 291 294 297 299 301 304 305 306 310 315 319 321 328 330 333 335 338 341 342 345 347 349 366 370 376 381 387 388 389 391 393 398 400 401 403 407 423 428 429 430 432 433 434 437 438 440 441 444 447 448 a 6 7 8 11 12 14 16 18 19 20 22 23 25 27 31 34 35 37 39 40 42 43 46 48 52 55 59 60 66 67 69 71 77 79 81 84 85 89 91 94 98 100 101 110 112 113 116 117 121 122 132 134 137 138 143 144 147 148 160 163 173 175 176 177 179 182 183 191 193 200 201 206 209 215 220 222 223 225 228 231 233 234 236 239 244 245 250 254 256 259 263 269 270 271 277 278 285 288 291 294 297 299 301 304 305 306 310 315 319 321 328 330 333 335 338 341 342 345 347 349 366 370 376 381 387 388 389 391 393 398 400 401 403 407 423 428 429 430 432 433 434 437 438 440 441 444 448 a 6 7 8 11 12 14 16 18 19 20 22 23 25 27 31 34 35 37 39 40 42 43 46 48 52 55 59 60 66 67 69 71 77 79 81 84 85 89 91 94 98 100 101 110 112 113 116 117 121 122 132 134 137 138 143 144 147 148 160 163 173 175 176 177 179 182 183 191 193 200 201 204 206 209 215 220 222 223 225 228 231 233 234 236 239 244 245 250 254 256 259 263 269 270 271 277 278 285 288 291 294 297 299 301 304 305 306 310 315 319 321 328 330 333 335 338 341 342 345 347 349 366 370 376 381 387 388 389 391 393 398 400 401 403 407 423 428 429 430 432 433 434 437 438 440 441 444 a 6 7 8 11 12 14 16 18 19 20 22 23 25 27 31 34 35 37 39 40 42 43 46 48 52 55 59 60 66 67 69 71 77 79 81 84 85 89 91 94 98 100 101 110 112 113 116 117 121 122 132 134 137 138 143 144 147 148 160 163 173 175 176 177 179 182 183 191 193 200 201 204 206 209 215 220 222 223 225 228 231 233 234 236 239 244 245 250 253 254 256 259 263 269 270 271 277 278 285 288 291 294 297 299 301 304 305 306 310 315 319 321 328 330 333 335 338 341 342 345 347 349 370 376 381 387 388 389 391 393 398 400 401 403 407 423 428 429 430 432 433 434 437 438 440 441 444 a 6 7 8 11 12 14 16 18 19 20 22 23 25 27 31 34 35 37 39 40 42 43 46 48 52 55 59 60 66 67 69 71 77 79 80 81 84 85 89 91 94 98 100 101 110 112 113 116 117 121 122 132 134 137 138 143 144 147 148 160 163 173 175 176 177 179 182 183 191 193 200 201 204 206 209 215 220 222 223 225 228 231 233 234 236 239 244 245 250 253 254 256 259 263 269 270 271 277 278 285 288 291 294 297 299 301 304 305 306 310 315 319 321 328 330 333 335 338 341 342 345 347 349 370 376 381 387 388 389 391 393 400 401 403 407 423 428 429 430 432 433 434 437 438 440 441 444 a 6 7 8 11 12 14 16 18 19 20 22 23 25 27 31 34 35 37 39 40 42 43 46 48 52 55 59 60 66 67 69 71 77 79 80 81 84 85 89 91 94 98 100 101 110 112 113 116 117 121 122 132 134 137 138 141 143 144 147 148 160 163 173 175 176 177 179 182 183 191 193 200 201 204 206 209 215 220 222 223 225 228 231 233 234 236 239 244 245 250 253 254 256 259 263 269 270 271 277 278 285 288 291 294 297 299 301 304 305 306 310 315 319 321 328 330 333 335 338 341 342 345 347 349 370 376 381 387 388 389 391 393 400 401 403 407 423 428 429 430 432 433 434 437 438 441 444 a 6 7 8 11 12 14 16 18 19 20 22 23 25 27 31 34 35 37 39 40 42 43 46 48 50 52 55 59 60 66 67 69 71 77 79 80 81 84 85 89 91 94 98 100 101 110 112 113 116 117 121 122 132 134 137 138 141 143 144 147 148 160 163 173 175 176 177 179 182 183 191 193 200 201 204 206 209 215 220 222 223 225 228 231 233 234 236 239 244 245 250 253 254 256 259 263 269 270 271 277 278 285 288 291 294 297 299 301 304 305 306 310 315 319 321 328 330 333 335 338 341 342 345 347 349 370 376 381 387 388 389 391 393 400 401 403 407 423 428 429 430 432 433 434 437 438 444 a 6 7 8 11 12 14 16 18 19 20 22 23 25 27 31 34 35 37 39 40 42 43 46 48 50 52 55 59 60 66 67 69 71 77 79 80 81 84 85 89 91 94 98 100 101 110 112 113 116 117 121 122 132 134 137 138 141 143 144 147 148 160 163 173 175 176 177 179 182 183 191 193 200 201 204 206 209 215 220 222 223 228 231 233 234 236 239 244 245 250 253 254 256 259 263 269 270 271 277 278 285 288 291 294 297 299 301 304 305 306 310 315 319 321 328 330 333 335 338 341 342 345 347 349 370 376 377 381 387 388 389 391 393 400 401 403 407 423 428 429 430 432 433 434 437 438 444 a 6 7 8 11 12 14 16 18 19 20 22 23 25 27 31 34 35 37 39 40 42 43 46 48 50 52 55 59 60 66 67 69 71 77 79 80 81 84 85 89 91 94 98 100 101 110 112 113 116 117 121 122 132 134 137 138 141 143 144 147 148 160 163 173 175 176 177 179 182 183 191 193 200 201 204 206 209 215 220 222 223 228 231 233 234 236 239 244 245 250 253 254 256 259 263 269 270 271 277 278 285 288 291 294 297 298 299 301 304 305 306 310 315 319 321 328 330 333 335 338 341 342 345 347 349 370 376 377 381 387 388 389 391 393 400 401 403 407 423 428 429 430 432 433 434 437 438 a 6 7 8 11 12 14 16 18 19 20 22 23 25 27 31 34 35 37 39 40 42 43 46 48 50 52 55 59 60 66 67 69 71 77 79 80 81 84 85 89 91 94 98 100 101 110 112 113 116 117 121 122 129 132 134 137 138 141 143 144 147 148 160 163 173 175 176 177 179 182 183 191 193 200 201 204 206 209 215 220 222 223 228 231 233 234 236 239 244 245 250 253 254 256 259 263 269 270 271 277 278 285 288 291 294 297 298 299 301 304 305 306 310 315 319 321 328 333 335 338 341 342 345 347 349 370 376 377 381 387 388 389 391 393 400 401 403 407 423 428 429 430 432 433 434 437 438 a 6 7 8 11 12 14 16 19 20 22 23 25 27 31 34 35 37 39 40 42 43 46 48 50 52 55 59 60 66 67 69 71 77 79 80 81 84 85 89 91 94 98 100 101 110 112 113 116 117 121 122 129 132 134 137 138 141 143 144 147 148 160 163 173 175 176 177 179 182 183 191 193 200 201 204 206 209 215 220 222 223 228 231 233 234 236 239 240 244 245 250 253 254 256 259 263 269 270 271 277 278 285 288 291 294 297 298 299 301 304 305 306 310 315 319 321 328 333 335 338 341 342 345 347 349 370 376 377 381 387 388 389 391 393 400 401 403 407 423 428 429 430 432 433 434 437 438 a 6 7 8 11 12 14 16 19 20 22 23 25 27 31 33 34 35 37 39 40 42 43 46 48 50 55 59 60 66 67 69 71 77 79 80 81 84 85 89 91 94 98 100 101 110 112 113 116 117 121 122 129 132 134 137 138 141 143 144 147 148 160 163 173 175 176 177 179 182 183 191 193 200 201 204 206 209 215 220 222 223 228 231 233 234 236 239 240 244 245 250 253 254 256 259 263 269 270 271 277 278 285 288 291 294 297 298 299 301 304 305 306 310 315 319 321 328 333 335 338 341 342 345 347 349 370 376 377 381 387 388 389 391 393 400 401 403 407 423 428 429 430 432 433 434 437 438 a 6 7 8 11 12 14 16 19 20 22 23 25 27 31 33 34 35 37 39 40 42 43 46 48 50 55 59 60 66 67 69 71 77 79 80 81 84 85 89 91 94 98 100 101 110 112 113 116 117 122 129 132 134 137 138 141 143 144 147 148 160 163 173 175 176 177 179 182 183 191 193 200 201 204 206 209 215 220 222 223 228 231 233 234 236 239 240 244 245 250 252 253 254 256 259 263 269 270 271 277 278 285 288 291 294 297 298 299 301 304 305 306 310 315 319 321 328 333 335 338 341 342 345 347 349 370 376 377 381 387 388 389 391 393 400 401 403 407 423 428 429 430 432 433 434 437 438 a 6 7 8 11 12 14 16 19 20 22 23 25 27 31 33 34 35 37 39 40 42 43 46 48 50 55 59 60 66 67 69 71 77 79 80 81 84 85 89 91 94 98 100 101 110 112 113 116 117 122 129 132 134 137 138 141 143 144 147 148 160 163 173 175 176 177 179 182 183 191 193 200 201 204 206 209 215 220 222 223 228 231 233 234 236 239 240 244 250 252 253 254 256 259 263 269 270 271 277 278 285 288 291 294 297 298 299 301 304 305 306 310 315 319 321 323 328 333 335 338 341 342 345 347 349 370 376 377 381 387 388 389 391 393 400 401 403 407 423 428 429 430 432 433 434 437 438 a 6 7 8 11 12 14 16 19 20 22 23 25 27 31 33 34 35 37 39 40 42 43 46 48 50 55 59 60 66 67 69 71 77 79 80 81 84 85 89 91 94 98 100 101 110 112 113 116 117 122 129 132 134 137 138 141 143 144 147 148 160 163 173 175 176 177 179 182 183 191 193 200 201 204 206 209 215 220 222 223 228 231 233 234 236 239 240 244 250 252 253 254 256 259 263 269 270 271 277 278 285 288 291 294 297 298 299 301 304 305 306 310 315 319 321 323 328 333 335 338 341 342 345 347 349 369 370 376 377 381 387 388 389 391 393 400 401 407 423 428 429 430 432 433 434 437 438 a 6 7 8 11 12 14 16 19 20 22 23 25 27 31 33 34 35 37 39 40 42 43 46 48 50 55 59 60 66 67 69 71 77 79 80 81 84 85 89 91 94 98 100 101 110 112 113 116 117 122 129 132 134 137 138 141 143 144 147 148 160 163 173 175 176 177 179 182 183 191 193 200 201 204 206 209 215 220 222 223 228 231 233 234 236 239 240 244 250 252 253 254 256 259 263 269 270 271 277 278 285 288 291 294 297 298 299 301 304 305 306 310 315 319 321 323 328 333 335 338 341 342 345 347 349 369 370 376 377 381 387 388 389 391 393 400 401 409 423 428 429 430 432 433 434 437 438 a 6 7 8 11 12 14 16 19 20 22 23 25 27 31 33 34 35 37 39 40 42 43 46 48 50 55 59 60 66 67 69 77 79 80 81 84 85 89 91 94 98 100 101 110 112 113 116 117 122 129 132 134 137 138 141 143 144 147 148 160 163 173 175 176 177 179 180 182 183 191 193 200 201 204 206 209 215 220 222 223 228 231 233 234 236 239 240 244 250 252 253 254 256 259 263 269 270 271 277 278 285 288 291 294 297 298 299 301 304 305 306 310 315 319 321 323 328 333 335 338 341 342 345 347 349 369 370 376 377 381 387 388 389 391 393 400 401 409 423 428 429 430 432 433 434 437 438 a 6 7 8 11 12 14 16 19 20 22 25 27 31 33 34 35 37 39 40 42 43 46 48 50 55 59 60 66 67 69 77 79 80 81 84 85 89 91 94 98 100 101 110 112 113 116 117 122 129 132 134 137 138 141 143 144 147 148 160 163 173 175 176 177 179 180 182 183 191 193 200 201 204 206 209 215 220 222 223 228 231 233 234 236 239 240 244 250 252 253 254 256 258 259 263 269 270 271 277 278 285 288 291 294 297 298 299 301 304 305 306 310 315 319 321 323 328 333 335 338 341 342 345 347 349 369 370 376 377 381 387 388 389 391 393 400 401 409 423 428 429 430 432 433 434 437 438 a 6 7 8 11 12 14 16 19 20 22 25 27 31 33 34 35 37 39 40 42 43 46 48 50 55 59 60 66 67 69 77 79 80 81 84 85 89 91 94 98 100 101 110 112 113 116 117 122 129 132 134 137 138 141 143 144 147 148 160 163 173 175 176 177 179 180 182 183 191 193 200 201 204 206 209 215 220 222 223 228 231 233 234 236 239 240 244 250 252 253 254 256 258 259 263 269 270 271 277 278 285 288 291 294 297 298 299 301 304 305 306 310 319 321 323 328 333 335 338 341 342 345 347 349 369 370 376 377 381 387 388 389 391 393 400 401 409 422 423 428 429 430 432 433 434 437 438 a 6 7 8 11 14 16 19 20 22 25 27 31 33 34 35 37 39 40 42 43 46 48 50 55 59 60 66 67 69 77 79 80 81 84 85 89 91 94 98 100 101 110 112 113 116 117 122 129 132 134 137 138 141 143 144 145 147 148 160 163 173 175 176 177 179 180 182 183 191 193 200 201 204 206 209 215 220 222 223 228 231 233 234 236 239 240 244 250 252 253 254 256 258 259 263 269 270 271 277 278 285 288 291 294 297 298 299 301 304 305 306 310 319 321 323 328 333 335 338 341 342 345 347 349 369 370 376 377 381 387 388 389 391 393 400 401 409 422 423 428 429 430 432 433 434 437 438 a 6 7 8 11 14 16 19 20 22 25 27 31 33 34 35 37 39 40 42 43 46 48 50 55 59 60 66 67 69 77 79 80 81 84 85 89 91 94 98 100 101 110 112 113 116 117 122 129 132 134 137 138 141 143 144 145 147 148 160 163 173 175 176 177 179 180 182 183 191 193 200 201 204 206 209 215 220 222 223 228 231 233 234 236 239 240 244 249 250 252 253 254 256 258 259 263 269 270 271 277 278 285 288 291 294 297 298 299 301 304 305 306 310 319 321 323 328 333 335 338 341 342 345 347 349 369 370 376 377 381 388 389 391 393 400 401 409 422 423 428 429 430 432 433 434 437 438 a 6 7 8 11 14 16 19 20 22 25 27 31 33 34 35 37 39 40 42 43 46 48 50 55 59 60 66 67 69 77 79 80 81 84 85 89 91 98 100 101 110 112 113 116 117 122 129 132 134 137 138 141 143 144 145 147 148 160 163 173 175 176 177 179 180 182 183 191 193 200 201 204 206 209 215 220 222 223 228 231 233 234 236 239 240 244 249 250 252 253 254 256 258 259 263 269 270 271 277 278 285 288 291 294 297 298 299 301 304 305 306 310 311 319 321 323 328 333 335 338 341 342 345 347 349 369 370 376 377 381 388 389 391 393 400 401 409 422 423 428 429 430 432 433 434 437 438 a 6 7 8 11 14 16 19 20 22 24 25 27 31 33 34 35 37 39 40 42 43 46 48 50 55 59 60 66 67 69 77 79 80 81 84 85 89 91 98 100 101 110 112 113 116 117 122 129 132 134 137 138 141 143 144 145 147 148 160 163 173 175 176 177 179 180 182 183 191 193 200 201 204 206 209 215 220 222 223 228 231 233 234 236 239 240 244 249 250 252 253 254 256 258 259 263 269 270 271 277 278 285 288 291 294 297 298 299 301 304 305 306 310 311 319 321 323 328 333 335 338 341 342 345 347 349 369 370 376 377 381 389 391 393 400 401 409 422 423 428 429 430 432 433 434 437 438 a 6 7 8 11 14 16 19 20 22 24 25 27 31 33 34 35 37 39 40 42 43 46 48 50 55 59 60 66 67 69 77 79 80 81 84 85 89 91 98 100 101 110 112 113 116 117 122 129 132 134 137 138 141 143 144 145 147 148 160 163 173 175 176 177 179 180 182 183 191 193 200 201 204 206 209 215 220 222 223 228 231 233 234 236 239 240 244 249 250 252 253 254 256 258 259 263 269 270 271 277 278 285 288 291 294 297 298 299 301 304 305 306 310 311 319 321 323 328 333 335 338 341 342 345 347 349 369 370 376 377 381 389 391 393 400 401 409 422 423 428 430 432 433 434 437 438 445 a 6 7 8 11 14 16 19 20 22 24 25 27 31 33 34 35 37 39 40 42 43 46 48 50 54 55 59 60 66 67 69 77 79 80 81 84 85 89 91 98 100 101 110 112 113 116 117 122 129 132 134 137 138 141 143 144 145 147 148 160 163 173 175 176 177 179 180 182 183 191 193 200 201 204 206 209 215 220 222 223 228 231 233 234 236 239 240 244 249 250 252 253 254 256 258 259 263 269 270 271 277 278 285 288 291 294 297 298 299 301 304 305 306 310 311 319 321 323 328 333 335 338 341 342 347 349 369 370 376 377 381 389 391 393 400 401 409 422 423 428 430 432 433 434 437 438 445 a 7 8 11 14 16 19 20 22 24 25 27 31 33 34 35 37 39 40 42 43 46 48 50 54 55 59 60 66 67 69 77 79 80 81 84 85 89 91 98 100 101 110 112 113 116 117 122 129 132 134 137 138 141 143 144 145 147 148 160 163 173 175 176 177 179 180 182 183 191 193 200 201 204 206 209 215 220 222 223 227 228 231 233 234 236 239 240 244 249 250 252 253 254 256 258 259 263 269 270 271 277 278 285 288 291 294 297 298 299 301 304 305 306 310 311 319 321 323 328 333 335 338 341 342 347 349 369 370 376 377 381 389 391 393 400 401 409 422 423 428 430 432 433 434 437 438 445 a 7 8 11 14 16 19 20 22 24 25 27 31 33 34 35 37 39 40 42 43 46 48 50 54 55 59 60 66 67 69 77 79 80 81 84 85 89 91 98 100 101 110 112 113 116 117 122 129 132 134 137 138 141 143 144 145 147 148 160 163 173 175 176 177 179 180 182 183 191 193 200 201 204 206 209 215 220 222 223 227 228 231 233 234 236 239 240 244 249 250 252 253 254 256 258 259 263 269 270 271 277 278 285 288 291 294 297 298 299 301 304 305 306 310 311 319 321 323 325 328 333 335 338 341 342 347 349 369 370 376 377 381 389 391 393 400 401 409 422 423 430 432 433 434 437 438 445 a 7 8 11 14 16 19 20 22 24 25 27 31 33 34 35 37 39 40 42 43 46 48 50 54 55 59 60 66 67 69 77 79 80 81 84 85 89 91 98 100 101 110 112 113 116 117 122 129 132 134 137 138 141 143 144 145 147 148 160 163 173 175 176 177 179 180 182 183 191 193 200 201 204 205 206 209 215 220 222 223 227 228 233 234 236 239 240 244 249 250 252 253 254 256 258 259 263 269 270 271 277 278 285 288 291 294 297 298 299 301 304 305 306 310 311 319 321 323 325 328 333 335 338 341 342 347 349 369 370 376 377 381 389 391 393 400 401 409 422 423 430 432 433 434 437 438 445 a 7 8 11 14 16 19 20 22 24 25 27 31 33 34 35 37 39 40 42 43 46 48 50 54 55 59 60 66 67 69 77 79 80 81 84 85 89 91 98 100 101 110 112 113 116 117 122 129 132 134 137 138 141 143 144 145 147 160 163 173 175 176 177 179 180 182 183 191 193 200 201 204 205 206 209 215 220 222 223 227 228 233 234 236 239 240 244 249 250 252 253 254 256 258 259 263 269 270 271 277 278 285 286 288 291 294 297 298 299 301 304 305 306 310 311 319 321 323 325 328 333 335 338 341 342 347 349 369 370 376 377 381 389 391 393 400 401 409 422 423 430 432 433 434 437 438 445 a 7 8 11 14 16 19 20 22 24 25 27 31 33 34 35 37 39 40 42 43 46 48 50 54 55 59 60 66 67 69 77 79 80 81 84 85 89 91 98 100 101 110 112 113 116 117 122 129 132 134 137 138 141 143 144 145 147 160 163 173 175 176 177 179 180 182 183 191 193 200 201 204 205 206 209 215 220 222 223 227 228 233 234 236 239 240 244 249 250 252 253 254 256 258 259 263 269 270 271 277 278 285 286 288 291 294 297 298 299 301 304 305 306 310 311 319 321 323 325 328 333 335 338 341 342 347 349 360 369 370 376 377 381 391 393 400 401 409 422 423 430 432 433 434 437 438 445 a 7 8 11 14 16 19 20 22 24 25 27 31 33 34 35 37 39 40 42 43 46 48 50 54 55 59 60 66 67 69 77 79 80 81 84 85 89 91 98 100 101 110 112 113 116 117 122 129 132 134 138 141 143 144 145 147 160 163 173 175 176 177 179 180 182 183 191 193 200 201 204 205 206 209 215 220 222 223 227 228 233 234 236 239 240 244 249 250 252 253 254 256 258 259 263 269 270 271 277 278 285 286 288 291 294 297 298 299 301 304 305 306 310 311 319 321 323 325 328 333 335 338 341 342 347 349 360 369 370 371 376 377 381 391 393 400 401 409 422 423 430 432 433 434 437 438 445 a 7 8 11 14 16 19 20 22 24 25 27 31 33 34 37 39 40 42 43 46 48 50 54 55 59 60 66 67 69 77 79 80 81 84 85 89 91 98 100 101 110 112 113 116 117 122 129 132 134 138 141 143 144 145 147 160 163 173 175 176 177 179 180 182 183 188 191 193 200 201 204 205 206 209 215 220 222 223 227 228 233 234 236 239 240 244 249 250 252 253 254 256 258 259 263 269 270 271 277 278 285 286 288 291 294 297 298 299 301 304 305 306 310 311 319 321 323 325 328 333 335 338 341 342 347 349 360 369 370 371 376 377 381 391 393 400 401 409 422 423 430 432 433 434 437 438 445 a 7 8 11 14 16 19 20 22 24 25 27 31 33 34 37 39 40 42 43 46 48 50 54 55 59 60 66 67 69 77 79 80 81 84 85 89 91 98 100 101 110 112 113 116 117 122 129 132 134 138 141 143 144 145 147 160 163 173 175 176 177 179 180 182 183 188 191 193 200 201 204 205 206 209 215 220 222 223 227 228 233 234 236 239 240 244 249 250 252 253 254 256 258 259 263 269 270 271 277 278 285 286 291 294 297 298 299 301 304 305 306 310 311 319 321 323 325 328 333 335 338 341 342 347 349 360 369 370 371 376 377 381 391 393 400 401 404 409 422 423 430 432 433 434 437 438 445 a 7 8 11 14 16 19 20 22 24 25 27 31 33 34 37 39 40 42 43 44 46 48 50 54 55 59 60 66 67 69 77 79 80 81 84 85 89 91 98 100 101 110 112 113 116 117 122 129 132 134 138 141 143 144 145 147 160 163 173 175 176 177 179 180 182 183 188 191 193 200 201 204 205 206 209 215 220 222 223 227 228 233 234 236 239 240 244 249 250 252 253 254 256 258 259 263 270 271 277 278 285 286 291 294 297 298 299 301 304 305 306 310 311 319 321 323 325 328 333 335 338 341 342 347 349 360 369 370 371 376 377 381 391 393 400 401 404 409 422 423 430 432 433 434 437 438 445 a 7 8 11 14 16 19 20 22 24 25 27 31 33 34 37 39 40 42 43 44 46 48 50 54 55 59 60 66 67 69 77 79 80 81 84 85 89 91 98 100 101 110 112 113 116 117 122 129 132 134 138 141 143 144 145 147 160 163 173 175 176 177 179 180 182 183 188 191 193 200 201 204 205 206 209 215 220 222 223 227 233 234 236 239 240 244 249 250 252 253 254 256 258 259 263 270 271 277 278 285 286 291 294 297 298 299 301 304 305 306 310 311 319 321 323 325 328 333 335 338 341 342 347 349 357 360 369 370 371 376 377 381 391 393 400 401 404 409 422 423 430 432 433 434 437 438 445 a 7 8 11 14 16 19 20 22 24 25 27 31 33 34 37 39 40 42 44 46 48 50 54 55 59 60 66 67 69 77 79 80 81 84 85 89 91 98 100 101 110 112 113 116 117 122 129 132 134 138 141 142 143 144 145 147 160 163 173 175 176 177 179 180 182 183 188 191 193 200 201 204 205 206 209 215 220 222 223 227 233 234 236 239 240 244 249 250 252 253 254 256 258 259 263 270 271 277 278 285 286 291 294 297 298 299 301 304 305 306 310 311 319 321 323 325 328 333 335 338 341 342 347 349 357 360 369 370 371 376 377 381 391 393 400 401 404 409 422 423 430 432 433 434 437 438 445 a 7 8 11 14 16 19 20 22 24 25 27 31 33 34 37 39 40 42 44 46 48 50 54 55 59 60 66 67 69 77 79 80 81 84 85 89 91 98 100 101 110 112 113 116 117 122 129 132 134 138 141 142 143 144 145 147 160 163 173 175 176 177 179 180 182 183 188 191 193 200 201 204 205 206 209 220 222 223 227 233 234 236 239 240 244 249 250 252 253 254 256 258 259 263 270 271 273 277 278 285 286 291 294 297 298 299 301 304 305 306 310 311 319 321 323 325 328 333 335 338 341 342 347 349 357 360 369 370 371 376 377 381 391 393 400 401 404 409 422 423 430 432 433 434 437 438 445 a 7 8 11 14 16 19 20 22 24 25 27 31 33 34 37 39 40 42 44 46 48 50 54 55 59 60 66 67 69 77 79 80 81 84 85 89 91 98 100 101 110 112 113 116 117 122 129 132 134 138 141 142 143 144 145 147 160 163 173 175 176 177 179 180 182 183 188 191 193 200 201 204 205 206 209 220 222 223 227 233 234 236 239 240 244 249 252 253 254 256 258 259 263 270 271 273 277 278 285 286 291 294 297 298 299 301 304 305 306 309 310 311 319 321 323 325 328 333 335 338 341 342 347 349 357 360 369 370 371 376 377 381 391 393 400 401 404 409 422 423 430 432 433 434 437 438 445 a 7 8 11 14 16 19 20 22 24 25 27 31 33 34 37 39 40 42 44 46 48 50 54 55 59 60 66 67 69 77 79 80 81 84 85 89 91 98 100 101 110 112 113 116 117 122 129 132 134 138 140 141 142 143 144 145 147 160 163 173 175 176 177 179 180 182 183 188 191 193 200 201 204 205 206 209 222 223 227 233 234 236 239 240 244 249 252 253 254 256 258 259 263 270 271 273 277 278 285 286 291 294 297 298 299 301 304 305 306 309 310 311 319 321 323 325 328 333 335 338 341 342 347 349 357 360 369 370 371 376 377 381 391 393 400 401 404 409 422 423 430 432 433 434 437 438 445 a 7 8 11 14 16 19 20 22 24 25 27 31 33 34 37 39 40 42 44 46 48 50 54 55 57 59 60 66 67 69 77 79 80 81 84 85 89 91 98 100 101 110 112 113 116 117 122 129 132 134 138 140 141 142 143 144 145 160 163 173 175 176 177 179 180 182 183 188 191 193 200 201 204 205 206 209 222 223 227 233 234 236 239 240 244 249 252 253 254 256 258 259 263 270 271 273 277 278 285 286 291 294 297 298 299 301 304 305 306 309 310 311 319 321 323 325 328 333 335 338 341 342 347 349 357 360 369 370 371 376 377 381 391 393 400 401 404 409 422 423 430 432 433 434 437 438 445 a 7 8 11 14 16 19 20 22 24 25 31 33 34 37 39 40 42 44 46 48 50 54 55 57 59 60 66 67 69 77 79 80 81 84 85 89 91 98 100 101 110 112 113 116 117 122 129 132 134 138 140 141 142 143 144 145 160 163 173 175 176 177 179 180 182 183 188 191 193 200 201 204 205 206 209 222 223 227 233 234 236 239 240 244 249 252 253 254 256 258 259 263 270 271 273 277 278 285 286 291 294 297 298 299 301 304 305 306 309 310 311 319 321 323 325 328 333 334 335 338 341 342 347 349 357 360 369 370 371 376 377 381 391 393 400 401 404 409 422 423 430 432 433 434 437 438 445 a 7 8 11 14 16 19 20 22 24 25 31 33 34 37 39 40 44 46 48 50 54 55 57 59 60 66 67 69 77 79 80 81 84 85 89 91 98 100 101 110 112 113 116 117 122 129 132 134 138 140 141 142 143 144 145 160 163 173 175 176 177 179 180 182 183 188 191 193 200 201 204 205 206 209 222 223 227 233 234 236 239 240 244 249 252 253 254 256 258 259 263 270 271 273 277 278 285 286 291 294 297 298 299 301 304 305 306 309 310 311 319 321 323 325 328 333 334 335 338 341 342 347 349 357 360 369 370 371 376 377 379 381 391 393 400 401 404 409 422 423 430 432 433 434 437 438 445 a 7 8 11 14 16 19 20 22 24 25 31 33 34 37 39 40 44 46 48 50 54 55 57 59 66 67 69 77 79 80 81 84 85 89 91 98 100 101 110 112 113 116 117 122 129 132 134 138 140 141 142 143 144 145 160 163 173 175 176 177 179 180 182 183 188 191 193 200 201 204 205 206 209 222 223 227 233 234 236 239 240 244 249 252 253 254 256 258 259 263 270 271 273 277 278 285 286 291 294 297 298 299 301 304 305 306 309 310 311 319 321 323 325 328 333 334 335 338 341 342 347 349 356 357 360 369 370 371 376 377 379 381 391 393 400 401 404 409 422 423 430 432 433 434 437 438 445 a 7 8 11 14 16 19 20 22 24 25 31 33 34 37 39 40 44 46 48 50 54 55 56 57 59 66 67 69 77 79 80 81 84 85 89 91 98 100 101 110 112 113 116 117 122 129 132 134 138 140 141 142 144 145 160 163 173 175 176 177 179 180 182 183 188 191 193 200 201 204 205 206 209 222 223 227 233 234 236 239 240 244 249 252 253 254 256 258 259 263 270 271 273 277 278 285 286 291 294 297 298 299 301 304 305 306 309 310 311 319 321 323 325 328 333 334 335 338 341 342 347 349 356 357 360 369 370 371 376 377 379 381 391 393 400 401 404 409 422 423 430 432 433 434 437 438 445 a 7 8 11 14 16 19 20 22 24 25 31 33 34 37 39 40 44 46 48 50 54 55 56 57 59 66 67 69 77 79 80 81 84 85 89 91 98 100 101 110 112 113 116 117 122 129 132 134 138 140 141 142 144 145 160 163 173 175 176 177 179 180 182 183 188 191 193 200 201 204 205 206 209 222 223 227 233 234 236 239 240 244 249 252 253 254 256 258 259 263 270 271 272 273 277 278 285 286 291 294 297 298 299 301 304 305 306 309 310 311 319 321 323 325 328 333 334 335 338 341 342 347 349 356 357 360 369 370 371 376 377 379 381 391 393 400 401 404 409 422 423 430 432 433 434 437 445 a 7 8 11 14 16 19 20 22 24 25 31 33 34 37 39 40 44 46 48 50 54 55 56 57 59 66 67 69 77 79 80 81 84 85 89 91 98 99 100 101 110 112 113 116 117 122 129 132 134 138 140 141 142 144 145 160 163 173 175 176 177 179 180 182 183 188 191 193 200 201 204 205 206 209 222 223 227 233 234 236 239 240 244 249 252 253 254 256 258 259 263 270 271 272 273 277 278 285 286 291 294 297 298 299 304 305 306 309 310 311 319 321 323 325 328 333 334 335 338 341 342 347 349 356 357 360 369 370 371 376 377 379 381 391 393 400 401 404 409 422 423 430 432 433 434 437 445 a 7 8 11 14 16 19 20 22 24 25 31 33 34 37 39 40 44 46 48 50 54 55 56 57 59 66 67 69 77 79 80 81 84 85 89 91 98 99 100 101 110 112 113 116 117 122 129 132 134 138 140 141 142 144 145 160 163 173 175 176 177 179 180 182 183 188 191 193 200 201 204 205 206 209 222 223 227 233 234 236 239 240 244 249 252 253 254 256 258 263 270 271 272 273 277 278 285 286 291 294 297 298 299 304 305 306 309 310 311 314 319 321 323 325 328 333 334 335 338 341 342 347 349 356 357 360 369 370 371 376 377 379 381 391 393 400 401 404 409 422 423 430 432 433 434 437 445 a 7 8 11 14 16 19 20 22 24 25 31 33 34 37 39 40 44 46 48 50 54 55 56 57 59 66 67 69 77 79 80 81 84 85 89 91 98 99 100 101 110 112 113 116 117 122 129 132 134 138 140 141 142 144 145 160 163 173 175 176 177 179 180 182 183 188 191 193 200 201 204 205 206 209 222 223 227 233 234 236 239 240 244 249 252 253 254 256 258 263 270 271 272 273 277 278 285 286 291 293 294 297 298 299 304 305 306 309 310 311 314 319 321 323 325 328 333 334 335 338 341 342 347 349 356 357 360 369 370 371 376 377 379 381 391 393 400 401 404 409 422 430 432 433 434 437 445 a 7 8 11 14 16 19 20 22 24 25 31 33 34 37 39 40 44 46 48 50 54 55 56 57 59 66 67 69 77 79 80 81 84 89 91 98 99 100 101 110 112 113 116 117 122 124 129 132 134 138 140 141 142 144 145 160 163 173 175 176 177 179 180 182 183 188 191 193 200 201 204 205 206 209 222 223 227 233 234 236 239 240 244 249 252 253 254 256 258 263 270 271 272 273 277 278 285 286 291 293 294 297 298 299 304 305 306 309 310 311 314 319 321 323 325 328 333 334 335 338 341 342 347 349 356 357 360 369 370 371 376 377 379 381 391 393 400 401 404 409 422 430 432 433 434 437 445 a 7 8 11 14 16 19 20 22 24 25 31 33 34 37 39 40 44 46 48 50 54 55 56 57 59 66 67 69 77 79 80 81 84 89 91 98 99 100 101 110 112 113 116 117 122 124 129 132 134 138 140 141 142 144 145 160 163 173 176 177 179 180 182 183 188 191 193 200 201 204 205 206 209 222 223 227 233 234 236 239 240 244 249 252 253 254 256 258 263 270 271 272 273 277 278 285 286 291 293 294 297 298 299 304 305 306 309 310 311 314 319 321 323 325 328 333 334 335 338 341 342 347 349 351 356 357 360 369 370 371 376 377 379 381 391 393 400 401 404 409 422 430 432 433 434 437 445 a 7 8 11 14 16 19 20 22 24 25 31 33 34 37 39 40 44 46 48 50 54 55 56 57 59 66 67 69 77 79 80 81 84 89 91 98 99 100 101 110 112 113 116 117 122 124 129 132 134 138 140 141 142 144 145 160 163 173 176 177 179 180 182 183 188 191 193 200 201 204 205 206 209 222 223 227 233 234 236 239 240 244 246 249 252 253 254 256 258 263 270 271 272 273 277 278 285 286 291 293 294 297 298 299 304 305 306 309 310 311 314 321 323 325 328 333 334 335 338 341 342 347 349 351 356 357 360 369 370 371 376 377 379 381 391 393 400 401 404 409 422 430 432 433 434 437 445 a 7 8 11 14 16 19 20 22 24 25 31 33 34 37 39 40 44 46 48 50 54 55 56 57 59 66 67 69 77 79 80 81 89 91 98 99 100 101 110 112 113 116 117 122 124 129 132 134 138 140 141 142 144 145 160 163 173 176 177 179 180 182 183 187 188 191 193 200 201 204 205 206 209 222 223 227 233 234 236 239 240 244 246 249 252 253 254 256 258 263 270 271 272 273 277 278 285 286 291 293 294 297 298 299 304 305 306 309 310 311 314 321 323 325 328 333 334 335 338 341 342 347 349 351 356 357 360 369 370 371 376 377 379 381 391 393 400 401 404 409 422 430 432 433 434 437 445 a 7 8 11 14 16 19 20 22 24 25 31 33 34 37 39 40 44 46 48 50 54 55 56 57 59 66 67 69 77 79 80 81 89 91 98 99 100 101 110 112 113 116 117 122 124 129 132 134 138 140 141 142 144 145 160 163 173 176 177 178 179 180 182 183 187 188 191 193 200 201 204 205 206 209 222 223 227 233 234 236 239 240 244 246 249 252 253 254 256 258 263 271 272 273 277 278 285 286 291 293 294 297 298 299 304 305 306 309 310 311 314 321 323 325 328 333 334 335 338 341 342 347 349 351 356 357 360 369 370 371 376 377 379 381 391 393 400 401 404 409 422 430 432 433 434 437 445 a 7 8 11 14 16 19 20 22 24 25 31 33 34 37 39 40 44 46 48 50 54 55 56 57 59 66 67 69 77 79 80 81 89 91 98 99 100 101 110 112 113 116 117 122 124 129 132 134 138 140 141 142 144 145 160 163 173 176 177 178 179 180 182 183 187 188 193 200 201 204 205 206 209 222 223 227 233 234 236 239 240 244 246 249 252 253 254 256 258 263 271 272 273 277 278 281 285 286 291 293 294 297 298 299 304 305 306 309 310 311 314 321 323 325 328 333 334 335 338 341 342 347 349 351 356 357 360 369 370 371 376 377 379 381 391 393 400 401 404 409 422 430 432 433 434 437 445 a 7 8 11 14 16 19 20 22 24 25 31 33 34 37 39 40 44 46 48 50 54 55 56 57 59 66 67 69 77 79 80 81 89 91 98 99 100 101 110 112 113 116 117 122 124 129 132 134 138 140 141 142 144 145 160 163 173 176 177 178 179 180 182 183 187 188 193 201 204 205 206 209 222 223 227 233 234 236 239 240 244 246 249 252 253 254 256 258 261 263 271 272 273 277 278 281 285 286 291 293 294 297 298 299 304 305 306 309 310 311 314 321 323 325 328 333 334 335 338 341 342 347 349 351 356 357 360 369 370 371 376 377 379 381 391 393 400 401 404 409 422 430 432 433 434 437 445 a 7 8 11 14 16 19 20 22 24 25 31 33 34 37 39 40 44 46 48 50 54 55 56 57 59 66 67 69 77 79 80 81 89 91 98 99 100 101 110 112 113 116 117 122 124 129 132 134 138 140 141 142 144 145 154 160 163 173 176 177 178 179 180 182 183 187 188 193 201 204 205 206 209 222 223 227 233 234 236 239 240 244 246 249 252 253 254 256 258 261 263 271 272 273 277 278 281 285 286 291 293 294 297 298 299 304 305 306 309 310 311 314 321 323 325 328 333 334 335 338 341 342 347 349 351 356 357 360 369 370 371 377 379 381 391 393 400 401 404 409 422 430 432 433 434 437 445 a 7 8 11 14 16 19 20 22 24 25 31 33 34 37 39 40 44 46 48 50 54 55 56 57 59 66 67 69 77 79 80 81 89 91 98 99 100 101 110 112 113 116 122 124 129 132 134 138 140 141 142 144 145 154 160 163 173 176 177 178 179 180 182 183 187 188 193 201 204 205 206 209 222 223 227 233 234 236 239 240 244 246 249 252 253 254 256 258 261 263 271 272 273 277 278 281 285 286 291 293 294 297 298 299 304 305 306 309 310 311 314 321 323 325 328 333 334 335 338 341 342 347 349 351 356 357 360 369 370 371 374 377 379 381 391 393 400 401 404 409 422 430 432 433 434 437 445 a 7 8 11 14 16 19 20 22 24 25 31 33 34 37 39 40 44 46 48 50 54 55 56 57 59 66 67 69 77 79 80 81 89 91 98 99 100 101 110 112 113 116 122 124 129 132 134 138 140 141 142 144 145 154 160 163 173 176 177 178 179 180 182 183 187 188 193 201 204 205 206 209 222 223 227 233 234 236 239 240 244 246 249 252 253 254 256 258 261 263 271 272 273 277 278 281 285 286 291 293 297 298 299 304 305 306 309 310 311 314 321 323 325 328 333 334 335 338 341 342 347 349 351 356 357 360 369 370 371 374 377 379 381 391 393 400 401 404 406 409 422 430 432 433 434 437 445 a 7 8 11 14 16 19 20 22 24 25 31 33 34 37 39 40 44 46 48 50 54 55 56 57 59 66 67 69 77 79 80 81 89 91 98 99 100 101 110 112 113 116 124 129 132 134 138 140 141 142 144 145 154 160 163 173 176 177 178 179 180 182 183 187 188 193 201 204 205 206 209 222 223 227 233 234 236 239 240 244 246 249 252 253 254 256 258 261 263 271 272 273 277 278 281 282 285 286 291 293 297 298 299 304 305 306 309 310 311 314 321 323 325 328 333 334 335 338 341 342 347 349 351 356 357 360 369 370 371 374 377 379 381 391 393 400 401 404 406 409 422 430 432 433 434 437 445 a 7 8 11 14 16 19 20 22 24 25 31 33 34 37 39 40 44 46 48 50 54 55 56 57 59 66 67 69 77 79 80 81 89 91 98 99 100 101 110 112 113 116 124 129 132 134 138 140 141 142 144 145 154 163 173 176 177 178 179 180 182 183 187 188 193 201 204 205 206 209 222 223 227 233 234 236 239 240 244 246 249 252 253 254 256 258 261 263 271 272 273 277 278 281 282 285 286 291 293 297 298 299 304 305 306 309 310 311 312 314 321 323 325 328 333 334 335 338 341 342 347 349 351 356 357 360 369 370 371 374 377 379 381 391 393 400 401 404 406 409 422 430 432 433 434 437 445 a 7 8 11 14 19 20 22 24 25 31 33 34 37 39 40 44 46 48 50 54 55 56 57 59 66 67 69 77 79 80 81 89 91 98 99 100 101 110 112 113 116 124 129 132 134 138 140 141 142 144 145 154 163 164 173 176 177 178 179 180 182 183 187 188 193 201 204 205 206 209 222 223 227 233 234 236 239 240 244 246 249 252 253 254 256 258 261 263 271 272 273 277 278 281 282 285 286 291 293 297 298 299 304 305 306 309 310 311 312 314 321 323 325 328 333 334 335 338 341 342 347 349 351 356 357 360 369 370 371 374 377 379 381 391 393 400 401 404 406 409 422 430 432 433 434 437 445 a 7 8 11 14 19 20 22 24 25 31 33 34 37 39 40 44 46 48 50 54 55 56 57 59 66 67 69 77 79 80 81 89 91 98 99 100 101 110 112 113 116 118 124 129 132 134 138 140 141 142 144 145 154 163 164 173 176 177 178 179 180 182 183 187 188 193 201 204 205 206 209 222 223 227 233 234 236 239 240 244 246 249 252 253 254 256 258 261 263 271 272 273 277 278 281 282 285 286 291 293 297 298 299 304 305 306 309 310 311 312 314 321 323 325 328 333 334 335 338 341 342 347 349 351 356 357 360 369 370 371 374 377 379 391 393 400 401 404 406 409 422 430 432 433 434 437 445 a 7 8 11 14 19 20 22 24 25 31 33 34 37 39 40 44 46 48 50 54 55 56 57 59 66 67 69 77 79 80 81 89 91 98 99 100 101 110 112 113 116 118 124 129 132 134 138 140 141 142 144 145 154 163 164 173 176 177 178 179 180 182 183 187 188 193 201 204 205 206 209 222 223 227 233 234 236 239 240 244 246 249 252 253 254 256 258 261 263 271 272 273 277 278 281 282 285 286 291 293 297 298 299 304 305 306 309 310 311 312 314 321 323 325 328 333 334 335 338 341 342 349 351 353 356 357 360 369 370 371 374 377 379 391 393 400 401 404 406 409 422 430 432 433 434 437 445 a 7 8 11 14 19 20 22 24 25 31 33 34 39 40 44 46 48 50 54 55 56 57 59 66 67 69 77 79 80 81 89 91 98 99 100 101 110 112 113 116 118 124 129 132 134 138 140 141 142 144 145 154 163 164 173 176 177 178 179 180 182 183 187 188 193 201 204 205 206 209 222 223 227 233 234 236 239 240 244 246 249 252 253 254 256 258 261 263 271 272 273 274 277 278 281 282 285 286 291 293 297 298 299 304 305 306 309 310 311 312 314 321 323 325 328 333 334 335 338 341 342 349 351 353 356 357 360 369 370 371 374 377 379 391 393 400 401 404 406 409 422 430 432 433 434 437 445 a 7 8 11 14 19 20 22 24 25 31 33 34 40 44 46 48 50 54 55 56 57 59 66 67 69 77 79 80 81 89 91 98 99 100 101 110 112 113 116 118 124 129 132 134 138 140 141 142 144 145 154 163 164 173 176 177 178 179 180 182 183 187 188 193 201 204 205 206 209 222 223 227 233 234 236 239 240 244 246 249 252 253 254 256 258 261 263 271 272 273 274 277 278 281 282 285 286 291 293 297 298 299 302 304 305 306 309 310 311 312 314 321 323 325 328 333 334 335 338 341 342 349 351 353 356 357 360 369 370 371 374 377 379 391 393 400 401 404 406 409 422 430 432 433 434 437 445 a 7 8 11 14 19 20 22 24 25 31 33 34 40 44 46 48 50 54 55 56 57 59 66 67 69 77 79 80 81 89 91 98 99 100 101 110 112 113 116 118 124 129 132 134 135 138 140 141 142 144 145 154 163 164 173 176 177 178 179 180 182 183 187 188 193 201 204 205 206 209 222 223 227 233 234 236 239 240 244 246 249 252 253 256 258 261 263 271 272 273 274 277 278 281 282 285 286 291 293 297 298 299 302 304 305 306 309 310 311 312 314 321 323 325 328 333 334 335 338 341 342 349 351 353 356 357 360 369 370 371 374 377 379 391 393 400 401 404 406 409 422 430 432 433 434 437 445 a 7 8 11 14 19 20 22 24 25 31 33 34 40 44 46 48 50 54 55 56 57 59 66 67 69 77 79 80 81 88 89 91 98 99 100 101 110 112 113 116 118 124 129 132 134 135 138 140 141 142 144 145 154 163 164 173 176 177 178 179 180 182 183 187 188 193 201 204 205 206 209 222 223 227 233 234 236 239 240 244 246 249 252 253 256 258 261 263 271 272 273 274 278 281 282 285 286 291 293 297 298 299 302 304 305 306 309 310 311 312 314 321 323 325 328 333 334 335 338 341 342 349 351 353 356 357 360 369 370 371 374 377 379 391 393 400 401 404 406 409 422 430 432 433 434 437 445 a 7 8 11 14 19 20 22 24 25 31 33 34 40 44 46 48 50 54 56 57 59 66 67 69 77 79 80 81 88 89 91 98 99 100 101 110 112 113 116 118 124 129 132 134 135 138 140 141 142 144 145 154 163 164 173 176 177 178 179 180 182 183 187 188 193 201 204 205 206 209 222 223 227 233 234 236 239 240 244 246 249 252 253 256 258 261 263 271 272 273 274 278 281 282 285 286 291 293 297 298 299 302 304 305 306 309 310 311 312 314 321 323 325 328 333 334 335 338 341 342 349 351 353 356 357 360 369 370 371 374 377 379 391 393 400 401 404 406 409 422 425 430 432 433 434 437 445 a 7 8 11 14 19 20 22 24 25 31 33 34 40 44 46 48 50 54 56 57 59 66 67 69 77 79 80 81 88 89 91 98 99 100 101 110 112 113 116 118 124 129 134 135 138 140 141 142 144 145 154 159 163 164 173 176 177 178 179 180 182 183 187 188 193 201 204 205 206 209 222 223 227 233 234 236 239 240 244 246 249 252 253 256 258 261 263 271 272 273 274 278 281 282 285 286 291 293 297 298 299 302 304 305 306 309 310 311 312 314 321 323 325 328 333 334 335 338 341 342 349 351 353 356 357 360 369 370 371 374 377 379 391 393 400 401 404 406 409 422 425 430 432 433 434 437 445 a 7 8 11 14 19 20 22 24 25 31 33 34 40 44 46 48 50 54 56 57 66 67 69 77 79 80 81 88 89 91 98 99 100 101 110 112 113 116 118 123 124 129 134 135 138 140 141 142 144 145 154 159 163 164 173 176 177 178 179 180 182 183 187 188 193 201 204 205 206 209 222 223 227 233 234 236 239 240 244 246 249 252 253 256 258 261 263 271 272 273 274 278 281 282 285 286 291 293 297 298 299 302 304 305 306 309 310 311 312 314 321 323 325 328 333 334 335 338 341 342 349 351 353 356 357 360 369 370 371 374 377 379 391 393 400 401 404 406 409 422 425 430 432 433 434 437 445 a 7 8 11 14 19 20 22 24 25 31 33 34 40 44 46 48 50 54 56 57 66 67 69 77 79 80 81 88 89 91 98 99 100 101 110 112 113 116 118 123 124 129 135 138 140 141 142 144 145 154 159 163 164 173 176 177 178 179 180 182 183 187 188 193 201 204 205 206 209 222 223 227 233 234 236 239 240 244 246 249 252 253 256 258 261 263 271 272 273 274 278 281 282 285 286 291 293 297 298 299 302 304 305 306 309 310 311 312 314 321 323 325 328 333 334 335 338 341 342 349 351 353 356 357 360 369 370 371 374 377 379 391 393 400 401 404 406 409 411 422 425 430 432 433 434 437 445 a 7 8 11 14 19 22 24 25 31 33 34 40 44 46 48 50 54 56 57 66 67 69 77 79 80 81 88 89 91 98 99 100 101 110 112 113 116 118 123 124 129 135 138 140 141 142 144 145 149 154 159 163 164 173 176 177 178 179 180 182 183 187 188 193 201 204 205 206 209 222 223 227 233 234 236 239 240 244 246 249 252 253 256 258 261 263 271 272 273 274 278 281 282 285 286 291 293 297 298 299 302 304 305 306 309 310 311 312 314 321 323 325 328 333 334 335 338 341 342 349 351 353 356 357 360 369 370 371 374 377 379 391 393 400 401 404 406 409 411 422 425 430 432 433 434 437 445 a 7 8 11 14 19 22 24 25 31 33 34 40 44 46 48 50 54 56 57 66 67 69 77 79 80 81 88 89 91 98 99 100 101 110 112 113 116 118 123 124 129 135 136 138 140 141 142 144 145 149 154 159 163 164 173 176 177 178 179 180 182 183 187 188 193 201 204 205 206 209 222 223 227 233 234 236 239 240 244 246 249 252 253 256 258 261 263 271 272 273 274 278 281 282 285 286 291 293 297 298 299 302 304 305 309 310 311 312 314 321 323 325 328 333 334 335 338 341 342 349 351 353 356 357 360 369 370 371 374 377 379 391 393 400 401 404 406 409 411 422 425 430 432 433 434 437 445 a 7 8 11 14 19 22 24 25 31 33 34 40 44 46 48 50 54 56 57 66 67 69 77 79 80 81 88 89 98 99 100 101 110 112 113 116 118 123 124 129 135 136 138 140 141 142 144 145 149 154 159 163 164 173 176 177 178 179 180 182 183 187 188 193 201 204 205 206 209 222 223 227 233 234 236 239 240 244 246 249 252 253 256 258 261 263 271 272 273 274 278 281 282 285 286 291 293 297 298 299 302 304 305 309 310 311 312 314 321 323 325 328 333 334 335 338 341 342 349 351 353 356 357 360 369 370 371 372 374 377 379 391 393 400 401 404 406 409 411 422 425 430 432 433 434 437 445 a 7 8 11 14 19 22 24 25 33 34 40 44 46 48 50 54 56 57 66 67 69 77 79 80 81 88 89 98 99 100 101 110 112 113 116 118 119 123 124 129 135 136 138 140 141 142 144 145 149 154 159 163 164 173 176 177 178 179 180 182 183 187 188 193 201 204 205 206 209 222 223 227 233 234 236 239 240 244 246 249 252 253 256 258 261 263 271 272 273 274 278 281 282 285 286 291 293 297 298 299 302 304 305 309 310 311 312 314 321 323 325 328 333 334 335 338 341 342 349 351 353 356 357 360 369 370 371 372 374 377 379 391 393 400 401 404 406 409 411 422 425 430 432 433 434 437 445 a 7 8 11 14 17 19 22 24 25 33 34 40 44 46 48 50 54 56 57 66 67 69 77 79 80 81 88 89 98 99 100 101 110 112 113 116 118 119 123 124 129 135 136 138 140 141 142 144 145 149 154 159 163 164 173 176 177 178 179 180 182 183 187 188 193 201 204 205 206 209 222 223 227 233 234 236 239 240 244 246 249 252 253 256 258 261 263 271 272 273 274 278 281 282 285 286 291 293 297 298 299 302 304 305 309 310 311 312 314 321 323 325 328 333 334 338 341 342 349 351 353 356 357 360 369 370 371 372 374 377 379 391 393 400 401 404 406 409 411 422 425 430 432 433 434 437 445 a 7 8 11 14 17 19 22 24 25 33 34 40 44 46 48 50 54 56 57 66 67 69 77 79 80 81 88 89 98 99 100 101 110 112 113 116 118 119 123 124 129 135 136 138 140 141 142 144 145 149 154 159 163 164 173 176 177 178 180 182 183 187 188 193 201 204 205 206 209 216 222 223 227 233 234 236 239 240 244 246 249 252 253 256 258 261 263 271 272 273 274 278 281 282 285 286 291 293 297 298 299 302 304 305 309 310 311 312 314 321 323 325 328 333 334 338 341 342 349 351 353 356 357 360 369 370 371 372 374 377 379 391 393 400 401 404 406 409 411 422 425 430 432 433 434 437 445 a 7 8 11 14 17 19 22 24 25 33 34 40 44 46 48 50 54 56 57 66 67 69 77 79 80 81 88 89 98 99 100 101 110 112 113 116 118 119 123 124 129 135 136 138 140 141 142 144 145 149 154 159 163 164 173 176 177 178 180 182 183 187 188 201 204 205 206 209 216 222 223 227 233 234 236 239 240 244 246 249 252 253 256 258 261 263 271 272 273 274 278 281 282 285 286 291 293 297 298 299 302 304 305 309 310 311 312 314 320 321 323 325 328 333 334 338 341 342 349 351 353 356 357 360 369 370 371 372 374 377 379 391 393 400 401 404 406 409 411 422 425 430 432 433 434 437 445 a 7 8 11 14 17 19 22 24 25 33 34 40 44 46 48 50 54 56 57 66 67 69 77 79 80 81 88 89 98 99 100 101 110 112 113 116 118 119 123 124 129 135 136 138 140 141 142 144 145 149 154 159 163 164 173 176 177 178 180 182 183 187 188 197 201 204 205 206 209 216 222 223 227 233 234 236 239 240 244 246 249 252 253 256 258 261 263 271 272 273 274 281 282 285 286 291 293 297 298 299 302 304 305 309 310 311 312 314 320 321 323 325 328 333 334 338 341 342 349 351 353 356 357 360 369 370 371 372 374 377 379 391 393 400 401 404 406 409 411 422 425 430 432 433 434 437 445 a 7 8 11 14 17 19 22 24 25 33 34 40 44 46 48 50 54 56 57 66 67 69 77 79 80 88 89 98 99 100 101 110 112 113 116 118 119 123 124 129 135 136 138 140 141 142 144 145 149 154 159 163 164 173 176 177 178 180 182 183 187 188 197 201 204 205 206 209 216 222 223 227 233 234 236 239 240 244 246 249 252 253 256 258 261 263 271 272 273 274 281 282 285 286 291 293 297 298 299 302 304 305 309 310 311 312 314 320 321 323 325 328 333 334 338 341 342 349 351 353 356 357 360 369 370 371 372 374 377 379 391 393 397 400 401 404 406 409 411 422 425 430 432 433 434 437 445 a 7 8 11 14 17 19 22 24 25 33 34 40 44 46 48 50 54 56 57 66 67 69 77 79 80 88 89 98 99 100 101 110 112 113 116 118 119 123 124 129 135 136 138 140 141 142 144 145 149 154 159 163 164 173 176 177 178 180 182 183 187 188 197 201 204 205 206 209 216 222 223 227 233 234 236 239 240 244 246 249 252 253 256 258 261 263 271 272 273 274 281 282 285 286 291 293 297 298 299 302 304 305 309 310 311 312 314 320 321 323 325 328 333 334 338 342 349 351 353 356 357 360 369 370 371 372 374 377 379 391 393 397 400 401 404 406 409 411 422 425 430 432 433 434 437 445 449 a 7 8 11 14 17 19 22 24 25 33 34 40 44 46 48 50 54 56 57 66 67 69 77 79 80 88 89 98 99 100 101 110 112 113 116 118 119 123 124 129 135 136 138 140 141 142 144 145 149 154 159 163 164 173 176 177 178 180 182 183 187 188 197 201 204 205 206 209 216 222 223 227 233 234 236 239 240 244 246 249 252 253 256 258 261 263 271 272 273 274 276 281 282 285 286 291 293 297 298 299 302 304 305 309 310 311 312 314 320 321 323 325 328 333 334 338 342 349 351 353 356 357 360 369 370 371 372 374 377 379 391 393 397 400 404 406 409 411 422 425 430 432 433 434 437 445 449 a 7 8 11 14 17 19 22 24 25 33 34 40 44 46 48 50 54 56 57 66 67 69 77 79 80 88 89 98 99 100 101 110 112 113 116 118 119 123 124 129 135 136 138 140 141 142 144 145 149 154 159 163 164 176 177 178 180 182 183 187 188 197 201 204 205 206 209 216 222 223 227 230 233 234 236 239 240 244 246 249 252 253 256 258 261 263 271 272 273 274 276 281 282 285 286 291 293 297 298 299 302 304 305 309 310 311 312 314 320 321 323 325 328 333 334 338 342 349 351 353 356 357 360 369 370 371 372 374 377 379 391 393 397 400 404 406 409 411 422 425 430 432 433 434 437 445 449 a 7 8 11 14 17 19 22 24 25 33 34 40 44 46 48 50 54 56 57 66 67 69 77 79 80 88 89 99 100 101 110 112 113 116 118 119 123 124 129 135 136 138 140 141 142 144 145 149 154 159 163 164 176 177 178 180 182 183 187 188 197 201 204 205 206 209 216 222 223 227 230 233 234 236 239 240 244 246 249 252 253 256 258 261 263 267 271 272 273 274 276 281 282 285 286 291 293 297 298 299 302 304 305 309 310 311 312 314 320 321 323 325 328 333 334 338 342 349 351 353 356 357 360 369 370 371 372 374 377 379 391 393 397 400 404 406 409 411 422 425 430 432 433 434 437 445 449 a 7 8 11 14 17 19 22 24 25 33 34 40 44 46 48 50 54 56 57 66 67 69 77 79 80 88 89 99 100 101 112 113 116 118 119 123 124 129 135 136 138 140 141 142 144 145 149 154 159 163 164 176 177 178 180 182 183 187 188 197 201 204 205 206 209 216 219 222 223 227 230 233 234 236 239 240 244 246 249 252 253 256 258 261 263 267 271 272 273 274 276 281 282 285 286 291 293 297 298 299 302 304 305 309 310 311 312 314 320 321 323 325 328 333 334 338 342 349 351 353 356 357 360 369 370 371 372 374 377 379 391 393 397 400 404 406 409 411 422 425 430 432 433 434 437 445 449 a 7 8 11 14 17 19 22 24 25 33 34 40 44 46 48 50 54 56 57 66 67 69 77 79 80 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 176 177 178 180 182 183 187 188 197 201 204 205 206 209 216 219 222 223 227 230 233 234 236 239 240 244 246 249 252 253 256 258 261 263 267 271 272 273 274 276 281 282 285 286 291 293 298 299 302 304 305 309 310 311 312 314 320 321 323 325 328 333 334 338 342 349 351 353 356 357 360 369 370 371 372 374 377 379 391 393 397 400 404 406 409 411 422 425 430 432 433 434 437 445 449 a 7 8 11 14 17 19 22 24 25 33 34 40 44 48 50 54 56 57 66 67 69 77 79 80 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 176 177 178 180 182 183 187 188 197 201 204 205 206 209 216 219 222 223 227 230 233 234 236 239 240 244 246 249 252 253 256 258 261 263 267 271 272 273 274 276 281 282 285 286 291 293 298 299 302 304 305 309 310 311 312 314 320 321 323 325 328 333 334 338 342 349 351 353 356 357 359 360 369 370 371 372 374 377 379 391 393 397 400 404 406 409 411 422 425 430 432 433 434 437 445 449 a 7 8 11 14 17 19 22 24 25 33 34 40 44 48 50 54 56 57 66 67 69 77 79 80 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 176 177 178 180 182 183 187 188 197 201 202 204 205 206 209 216 219 222 223 227 230 233 234 236 239 240 244 246 249 252 253 256 258 261 263 267 271 272 273 274 276 281 282 285 286 291 293 298 299 302 304 305 309 310 311 312 314 320 321 323 325 328 333 334 338 342 349 351 353 356 357 359 360 369 370 371 372 374 377 379 391 393 397 400 404 406 409 411 422 425 430 432 434 437 445 449 a 7 8 11 14 17 19 22 24 25 33 34 40 44 48 50 54 56 57 66 67 69 77 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 176 178 180 182 183 187 188 197 201 202 204 205 206 209 216 219 222 223 227 230 233 234 236 239 240 244 246 249 252 253 256 258 261 263 267 271 272 273 274 276 281 282 285 286 291 293 298 299 302 304 305 309 310 311 312 314 320 321 323 325 328 333 334 338 342 349 351 353 356 357 359 360 369 370 371 372 374 377 379 391 393 397 400 404 406 409 411 422 425 430 432 434 437 445 449 a 7 8 11 14 17 19 22 24 25 33 34 40 44 48 50 54 56 57 67 69 77 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 187 188 197 201 202 204 205 206 209 216 219 222 223 227 230 233 234 236 239 240 244 246 249 252 253 256 258 261 263 267 271 272 273 274 276 281 282 285 286 291 293 298 299 302 304 305 309 310 311 312 314 320 321 323 325 328 333 334 338 342 349 351 353 356 357 359 360 369 370 371 372 374 377 379 391 393 397 400 404 406 409 411 422 425 430 432 434 437 445 449 a 7 8 11 14 17 22 24 25 33 34 40 44 48 50 54 56 57 67 69 77 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 187 188 197 201 202 204 205 206 209 216 219 222 223 227 230 233 234 236 239 240 244 246 249 252 253 256 258 261 263 267 271 272 273 274 276 281 282 285 286 291 293 298 299 302 304 305 309 310 311 312 314 320 321 323 325 328 333 334 338 342 349 351 353 356 357 359 360 369 370 371 372 374 377 379 384 391 393 397 400 404 406 409 411 422 425 430 432 434 437 445 449 a 7 8 11 14 17 22 24 25 33 34 40 44 48 50 54 56 57 67 69 77 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 187 188 197 201 202 204 205 206 209 216 219 222 223 227 230 233 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 309 310 311 312 314 320 321 323 325 328 333 334 338 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 40 44 48 50 54 56 57 67 69 77 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 187 188 194 197 201 202 204 205 206 209 216 219 222 223 227 230 233 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 321 323 325 328 333 334 338 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 77 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 187 188 194 197 201 202 204 205 206 209 216 219 222 223 227 230 233 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 338 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 77 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 187 188 194 197 201 202 204 205 206 209 216 219 222 223 224 227 230 233 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 77 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 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): 543.67 System time (seconds): 4.76 Percent of CPU this job got: 150% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:04.08 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): 14698900 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 4931896 Voluntary context switches: 341112 Involuntary context switches: 2073 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 02:08:02 2023]