#BEGIN: [Tue Sep 26 01:55:43 2023] #HOST: s06 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance034_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance034_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_instance034_graph002.col /benchmark/random_instance/random_instance034_graph002_01.dat c /benchmark/random_instance/random_instance034_graph002.col c /benchmark/random_instance/random_instance034_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 194 107 250 234 196 419 22 23 136 397 158 39 338 366 306 328 195 432 307 164 127 77 112 362 310 206 360 33 183 50 343 3 305 380 381 367 379 104 173 184 394 326 200 9 187 68 182 217 358 231 130 161 282 396 293 223 138 427 92 431 260 36 103 425 355 271 53 86 385 274 174 382 11 308 210 56 314 203 108 309 401 41 43 124 215 205 30 339 392 119 335 38 312 409 102 101 100 406 70 18 294 63 278 66 67 126 166 16 58 55 48 353 69 341 7 221 91 47 332 350 219 275 346 226 40 165 400 386 267 98 198 49 319 228 240 105 301 15 76 t 98 223 83 307 8 126 286 347 384 282 423 271 295 149 218 24 348 288 117 303 115 49 183 440 155 346 219 140 116 50 20 332 322 9 36 86 141 301 326 56 129 235 203 399 88 329 275 338 65 306 324 106 156 102 396 4 413 311 231 334 109 105 150 3 422 198 200 171 216 206 314 201 402 284 434 285 294 398 40 397 293 349 158 162 239 297 281 296 312 213 389 393 368 380 341 323 374 139 34 130 289 375 432 192 336 428 353 76 185 424 120 387 175 181 67 11 2 204 335 60 101 217 225 172 35 382 325 299 274 330 262 381 315 256 103 230 108 132 28 a YES a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 76 77 86 91 92 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 346 350 353 355 358 360 362 366 367 379 380 381 382 385 386 392 394 396 397 400 401 406 409 419 425 427 431 432 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 76 77 86 91 92 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 134 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 346 350 353 355 358 360 362 366 367 379 380 381 382 385 386 392 394 396 397 400 401 406 409 419 425 427 431 432 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 76 77 86 91 92 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 134 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 339 341 343 346 350 353 355 358 360 362 366 367 379 380 381 382 385 386 392 394 396 397 400 401 406 409 419 425 427 432 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 76 77 86 91 92 98 100 101 102 103 105 107 108 112 119 124 126 127 130 134 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 337 338 339 341 343 346 350 353 355 358 360 362 366 367 379 380 381 382 385 386 392 394 396 397 400 401 406 409 419 425 427 432 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 76 77 86 91 92 98 100 101 102 103 105 107 108 112 119 124 126 127 130 134 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 328 332 335 337 338 339 341 343 346 350 353 355 358 360 362 366 367 372 379 380 381 382 385 386 392 394 396 397 400 401 406 409 419 425 427 432 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 76 77 86 91 92 94 98 100 101 102 103 105 107 108 112 119 124 126 127 130 134 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 328 332 335 337 338 339 341 343 346 350 353 355 358 360 362 366 367 372 379 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 76 77 86 91 92 94 98 100 101 102 103 105 107 108 112 119 124 126 127 130 134 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 337 338 339 341 343 346 350 353 355 358 360 362 366 367 379 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 76 77 84 86 91 92 94 98 100 101 102 103 105 107 108 112 119 124 126 127 130 134 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 337 338 339 341 343 346 350 353 355 358 360 362 366 367 379 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 76 77 84 86 91 92 94 98 100 101 102 103 105 107 108 112 119 124 126 127 130 134 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 328 332 335 337 338 339 341 343 346 350 353 355 358 360 362 366 367 372 379 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 76 77 84 86 91 92 94 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 134 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 328 332 335 338 339 341 343 346 350 353 355 358 360 362 366 367 372 379 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 76 77 84 86 91 92 94 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 328 332 335 338 339 341 343 346 350 353 355 358 360 362 366 367 372 379 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 71 76 77 84 86 91 92 94 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 307 308 309 310 312 314 319 328 332 335 338 339 341 343 346 350 353 355 358 360 362 366 367 372 379 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 71 76 77 84 86 91 92 94 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 131 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 307 308 309 310 312 314 319 328 332 335 338 341 343 346 350 353 355 358 360 362 366 367 372 379 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 71 76 77 84 91 92 94 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 131 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 213 215 217 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 307 308 309 310 312 314 319 328 332 335 338 341 343 346 350 353 355 358 360 362 366 367 372 379 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 71 76 77 84 87 91 92 94 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 131 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 213 215 217 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 307 308 309 310 312 314 319 328 332 335 338 341 343 346 350 353 355 358 360 362 366 367 372 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 71 76 77 84 87 91 92 94 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 131 134 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 213 215 217 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 307 308 309 310 312 314 319 328 332 335 338 341 343 346 350 353 355 358 360 362 366 367 372 380 381 382 385 386 392 394 396 400 401 406 409 425 427 432 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 71 76 77 84 87 91 92 94 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 131 134 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 213 215 217 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 307 308 309 310 312 314 319 328 332 335 338 341 343 346 350 353 355 360 362 366 367 372 380 381 382 385 386 392 394 396 400 401 406 409 425 427 432 441 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 71 76 77 84 87 91 92 94 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 131 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 213 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 307 308 309 310 312 314 319 328 332 335 338 341 343 346 350 353 355 360 362 366 367 372 380 381 382 385 386 392 394 396 400 401 406 409 425 427 432 441 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 71 76 77 84 87 91 92 94 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 131 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 213 215 217 219 221 223 226 228 231 234 240 250 260 267 271 275 278 282 293 294 295 301 305 307 308 309 310 312 314 319 328 332 335 338 341 343 346 350 353 355 360 362 366 367 372 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 441 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 71 76 77 84 87 91 92 94 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 131 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 213 215 217 219 221 223 226 228 231 234 240 250 260 267 271 275 278 282 293 294 295 301 305 307 308 309 310 312 314 319 326 328 332 335 338 341 343 346 350 353 355 360 362 366 367 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 441 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 71 76 77 84 87 91 92 94 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 131 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 213 215 217 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 307 308 309 310 312 314 319 326 328 332 335 338 341 343 346 350 353 355 360 362 366 367 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 441 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 71 76 77 84 87 91 92 94 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 131 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 213 215 217 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 307 308 309 310 312 314 319 326 328 332 335 338 341 343 346 350 353 355 358 360 362 366 367 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 76 77 84 87 91 92 94 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 131 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 213 215 217 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 343 346 350 353 355 358 360 362 366 367 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 a 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 76 77 84 87 91 92 94 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 131 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 213 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 343 346 350 353 355 358 360 362 366 367 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 a 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 70 76 77 84 87 91 92 94 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 131 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 213 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 343 346 350 353 355 360 362 366 367 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 441 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 55 56 58 63 66 67 68 69 70 76 77 84 87 91 92 94 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 131 136 138 158 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 213 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 343 346 350 353 355 360 362 366 367 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 441 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 55 56 58 63 66 67 68 69 76 77 84 87 91 92 94 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 131 136 138 158 159 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 213 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 343 346 350 353 355 360 362 366 367 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 441 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 55 56 58 63 66 67 68 69 76 77 84 87 91 92 94 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 131 136 138 158 159 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 213 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 342 343 346 350 353 355 360 362 366 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 441 a 3 7 9 11 15 16 18 22 23 30 33 36 38 39 40 41 43 47 48 49 50 55 56 58 63 66 67 68 69 76 77 84 86 87 91 92 94 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 131 136 138 158 159 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 213 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 342 343 346 350 353 355 360 362 366 380 381 382 385 392 394 396 400 401 406 409 419 425 427 432 441 a 3 7 9 11 15 16 18 22 23 30 33 36 38 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 76 77 84 86 87 91 92 94 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 131 136 138 158 159 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 213 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 342 343 346 350 353 355 360 362 366 380 381 382 385 392 394 396 400 401 406 409 419 425 427 432 441 a 2 3 7 9 11 15 16 18 22 23 30 33 36 38 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 76 77 84 86 87 91 92 94 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 131 136 138 158 159 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 213 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 342 343 346 350 353 355 360 362 366 380 381 382 385 392 394 396 400 401 406 409 419 425 427 432 a 2 3 7 9 11 15 16 18 22 23 30 33 36 38 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 76 77 84 86 87 91 92 94 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 131 136 138 158 159 161 164 165 166 173 174 182 183 184 187 194 195 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 342 343 346 350 353 355 360 362 366 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 a 2 3 7 9 11 15 16 18 22 23 30 33 36 38 40 41 43 47 48 49 50 53 55 56 58 63 66 67 68 69 76 77 79 84 86 87 91 92 94 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 131 136 138 158 159 161 164 165 166 173 174 182 183 184 187 194 195 196 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 342 343 346 350 353 355 360 362 366 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 a 2 3 7 9 11 15 16 18 22 23 30 33 36 38 40 41 43 47 48 49 50 53 55 56 63 66 67 68 69 76 77 79 84 86 87 91 92 94 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 131 136 138 158 159 161 164 165 166 173 174 182 183 184 187 194 195 196 200 203 205 206 210 213 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 342 343 346 350 353 355 360 362 366 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 a 2 3 7 9 11 15 16 18 22 23 30 33 36 38 40 41 43 47 48 49 50 53 55 56 63 66 67 68 69 76 77 79 84 86 87 91 92 94 98 100 101 102 103 104 105 107 108 112 119 124 126 127 130 131 136 138 158 159 161 164 165 166 173 174 182 183 184 187 194 195 196 200 203 205 206 210 213 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 341 342 343 346 350 353 355 360 362 366 367 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 a 2 3 7 9 11 15 16 18 22 23 30 33 36 38 40 41 43 47 48 49 50 53 55 56 63 66 67 68 69 76 77 79 84 86 87 91 92 94 98 100 101 102 103 104 105 108 112 119 124 126 127 130 131 136 138 158 159 161 164 165 166 173 174 176 182 183 184 187 194 195 196 200 203 205 206 210 213 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 341 342 343 346 350 353 355 360 362 366 367 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 a 2 3 9 11 15 16 18 22 23 30 33 36 38 40 41 43 47 48 49 50 53 55 56 63 66 67 68 69 76 77 79 84 86 87 91 92 94 98 100 101 102 103 104 105 108 112 119 124 126 127 130 131 136 138 158 159 161 164 165 166 173 174 176 182 183 184 187 194 195 196 200 203 205 206 210 213 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 316 319 326 328 332 335 341 342 343 346 350 353 355 360 362 366 367 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 a 2 3 9 11 15 16 18 22 23 30 33 36 38 40 41 43 47 48 49 50 53 55 56 63 66 67 68 69 76 77 79 84 86 91 92 94 98 100 101 102 103 104 105 108 112 119 124 126 127 130 131 136 138 158 159 161 164 165 166 173 174 176 182 183 184 187 194 195 196 200 203 205 206 210 213 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 316 319 326 328 332 335 341 342 343 346 347 350 353 355 360 362 366 367 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 a 2 3 9 11 15 16 18 22 23 30 33 36 38 40 41 43 47 48 49 50 53 55 56 63 66 67 68 69 76 77 79 84 91 92 94 98 100 101 102 103 104 105 108 112 119 124 126 127 130 131 136 138 158 159 161 164 165 166 173 174 176 182 183 184 187 194 195 196 200 203 205 206 210 213 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 316 319 326 328 332 335 341 342 343 346 347 350 353 355 360 362 365 366 367 380 381 382 385 386 392 394 396 400 401 406 409 419 425 427 432 a 2 3 9 11 15 16 18 22 23 30 33 36 38 40 41 43 47 48 49 50 53 55 56 63 66 67 68 69 76 77 79 84 91 92 94 98 100 101 102 103 104 105 108 112 124 126 127 130 131 136 138 158 159 161 164 165 166 173 174 176 182 183 184 187 194 195 196 200 203 205 206 210 213 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 316 319 326 328 332 335 341 342 343 346 347 350 353 355 360 362 365 366 367 380 381 382 385 386 387 392 394 396 400 401 406 409 419 425 427 432 a 2 3 7 9 11 15 16 18 22 23 30 33 38 40 41 43 47 48 49 50 53 55 56 63 66 67 68 69 76 77 79 84 91 92 94 98 100 101 102 103 104 105 108 112 124 126 127 130 131 136 138 158 159 161 164 165 166 173 174 176 182 183 184 187 194 195 196 200 203 205 206 210 213 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 316 319 326 328 332 335 341 342 343 346 347 350 353 355 360 362 365 366 367 380 381 382 385 386 387 392 394 396 400 401 406 409 419 425 427 432 a 2 3 7 9 11 15 16 18 22 23 30 33 38 40 41 43 47 48 49 50 53 55 56 63 66 67 68 69 76 77 79 84 91 92 94 98 100 101 102 103 104 105 108 112 124 126 127 130 131 136 138 139 158 159 161 164 165 166 173 174 176 182 183 184 187 194 195 196 200 203 205 206 210 213 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 341 342 343 346 347 350 353 355 360 362 365 366 367 380 381 382 385 386 387 392 394 396 400 401 406 409 419 425 427 432 a 2 3 7 9 11 15 16 18 22 23 30 33 38 40 41 43 47 48 49 50 53 55 56 63 66 67 68 69 76 77 79 84 91 92 94 98 100 101 102 103 104 105 108 112 124 126 127 130 131 136 138 139 158 159 161 164 165 166 173 174 176 182 183 184 187 194 195 196 200 203 205 206 210 213 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 341 342 343 346 347 350 353 355 360 362 365 366 367 379 380 381 382 385 386 387 392 394 396 400 401 406 409 419 425 427 a 2 3 7 9 11 15 16 18 22 23 30 33 38 40 41 43 47 48 49 50 53 55 56 63 66 67 68 69 76 77 79 84 91 94 98 100 101 102 103 104 105 108 112 124 126 127 130 131 136 138 139 158 159 161 164 165 166 173 174 176 182 183 184 187 194 195 196 200 203 205 206 210 213 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 288 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 341 342 343 346 347 350 353 355 360 362 365 366 367 379 380 381 382 385 386 387 392 394 396 400 401 406 409 419 425 427 a 2 3 7 9 11 15 16 18 22 23 30 33 38 40 41 43 47 48 49 50 53 56 63 66 67 68 69 76 77 79 84 91 94 98 100 101 102 103 104 105 108 112 124 126 127 130 131 136 138 139 158 159 161 164 165 166 173 174 176 182 183 184 187 194 195 196 200 203 205 206 210 213 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 288 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 341 342 343 346 347 350 353 355 360 362 365 366 367 379 380 381 382 385 386 387 392 394 396 400 401 406 409 419 425 427 432 a 2 3 7 9 11 15 16 18 22 23 30 33 38 40 41 43 47 48 49 50 53 56 63 66 67 68 69 76 77 79 84 91 94 98 100 101 102 103 104 105 108 112 124 126 127 130 131 136 138 139 158 159 161 164 165 166 173 174 176 182 183 184 187 194 195 196 200 203 205 206 210 213 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 288 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 342 343 346 347 350 353 355 360 362 365 366 367 379 380 381 382 385 386 387 392 394 396 400 401 406 409 419 425 432 a 2 3 7 9 11 15 16 18 22 23 30 33 38 40 41 43 47 48 49 50 53 56 63 66 67 68 69 76 77 79 84 91 94 98 100 101 102 103 104 105 108 112 124 126 127 130 131 136 138 139 158 159 161 164 165 166 173 174 176 182 183 184 187 194 195 196 200 203 205 206 210 213 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 288 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 342 343 346 347 350 353 355 360 362 365 367 368 379 380 381 382 385 386 387 392 394 396 400 401 406 409 419 425 432 a 2 3 7 9 11 15 16 18 22 23 30 33 36 38 40 41 43 47 48 49 50 53 56 63 66 67 68 69 76 77 79 84 91 94 98 100 101 102 103 104 105 108 112 124 126 127 130 131 136 138 139 158 159 161 164 165 166 173 174 176 182 183 184 187 194 195 196 200 203 205 206 213 215 217 219 221 223 226 228 231 234 240 250 260 267 271 274 275 278 282 288 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 342 343 346 347 350 353 355 360 362 365 367 368 379 380 381 382 385 386 387 392 394 396 400 401 406 409 419 425 432 a 2 3 7 9 11 15 16 18 22 23 30 33 36 38 40 41 43 47 48 49 50 53 56 63 66 67 68 69 76 77 79 84 91 94 98 100 101 102 103 104 105 108 112 124 126 127 130 131 136 138 139 158 159 161 164 165 166 173 174 176 182 183 184 187 194 195 196 200 203 205 206 213 215 217 219 221 223 226 228 231 240 250 260 267 271 274 275 278 282 288 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 342 343 346 347 350 353 355 360 362 365 367 368 379 380 381 382 385 386 387 392 394 396 400 401 402 406 409 419 425 432 a 2 3 7 9 11 15 16 18 22 23 30 33 36 38 40 41 43 47 48 49 50 53 56 63 66 67 68 69 76 77 79 84 86 91 94 98 100 101 102 103 104 105 108 112 124 126 127 130 131 136 138 139 158 159 161 164 165 166 173 174 176 182 183 184 187 194 195 196 200 203 205 206 213 215 217 219 221 223 226 228 231 240 250 260 267 271 274 275 278 282 288 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 342 343 346 347 350 353 355 360 362 365 367 368 379 380 381 382 385 386 387 392 394 396 400 401 402 406 409 419 432 a 2 3 7 9 11 15 16 18 22 23 30 33 36 38 40 41 43 47 48 49 50 53 56 63 66 67 68 69 76 77 79 84 86 91 94 98 100 101 102 103 105 108 112 124 126 127 130 131 136 138 139 158 159 161 164 165 166 173 174 176 182 183 184 187 194 195 196 200 203 205 206 213 215 217 219 221 223 226 228 231 240 250 260 267 271 274 275 278 282 288 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 342 343 346 347 350 353 355 360 362 365 367 368 379 380 381 382 385 386 387 392 394 396 400 401 402 406 409 419 424 432 a 2 3 7 9 11 15 16 18 22 23 30 33 36 38 40 41 43 47 48 49 50 53 56 63 66 67 68 69 76 77 79 84 86 91 94 98 100 101 102 103 105 108 124 126 127 130 131 136 138 139 158 159 161 164 165 166 173 174 176 182 183 184 187 194 195 196 200 203 205 206 213 215 217 219 221 223 226 228 231 240 250 260 267 271 274 275 278 282 288 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 342 343 346 347 350 353 355 360 362 365 367 368 379 380 381 382 385 386 387 392 394 396 400 401 402 406 409 413 419 424 432 a 2 3 4 7 9 11 15 16 18 22 23 30 33 36 38 40 41 43 47 48 49 50 53 56 63 66 67 68 69 76 77 79 84 86 91 94 98 100 101 102 103 105 108 124 126 127 130 131 136 138 139 158 159 161 164 165 166 173 174 176 182 183 184 187 194 195 196 200 203 205 206 213 215 217 219 221 223 226 228 231 240 250 260 267 271 274 275 282 288 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 342 343 346 347 350 353 355 360 362 365 367 368 379 380 381 382 385 386 387 392 394 396 400 401 402 406 409 413 419 424 432 a 2 3 4 7 9 11 15 16 18 22 23 30 33 36 38 40 41 43 47 48 49 50 53 56 63 66 67 68 69 76 77 79 84 86 91 94 98 100 101 102 103 105 108 126 127 130 131 136 138 139 158 159 161 164 165 166 173 174 176 182 183 184 187 194 195 196 200 203 205 206 213 215 217 219 221 223 226 228 231 239 240 250 260 267 271 274 275 282 288 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 342 343 346 347 350 353 355 360 362 365 367 368 379 380 381 382 385 386 387 392 394 396 400 401 402 406 409 413 419 424 432 a 2 3 4 7 9 11 15 16 18 22 23 30 33 36 38 40 41 43 47 48 49 50 53 56 63 66 67 68 69 76 77 79 84 86 91 94 98 101 102 103 105 108 126 127 130 131 136 138 139 158 159 161 164 165 166 173 174 176 182 183 184 187 194 195 196 200 203 205 206 213 215 217 219 221 223 226 228 231 239 240 250 260 267 271 274 275 282 288 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 342 343 346 347 350 353 355 360 362 365 367 368 374 379 380 381 382 385 386 387 392 394 396 400 401 402 406 409 413 419 424 432 a 2 3 4 7 9 11 15 16 18 22 23 30 33 36 38 40 41 47 48 49 50 53 56 63 66 67 68 69 76 77 79 84 86 91 94 98 101 102 103 105 108 115 126 127 130 131 136 138 139 158 159 161 164 165 166 173 174 176 182 183 184 187 194 195 196 200 203 205 206 213 215 217 219 221 223 226 228 231 239 240 250 260 267 271 274 275 282 288 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 342 343 346 347 350 353 355 360 362 365 367 368 374 379 380 381 382 385 386 387 392 394 396 400 401 402 406 409 413 419 424 432 a 2 3 4 7 9 11 15 16 18 22 23 30 33 36 38 40 41 47 48 49 50 53 56 63 66 67 68 69 76 77 79 84 86 91 94 98 101 102 103 105 108 115 126 127 130 131 136 138 139 158 159 161 164 165 166 173 174 176 182 183 184 187 194 195 196 200 203 205 206 213 215 217 219 221 223 226 228 231 239 240 250 260 267 271 274 275 282 288 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 342 343 346 347 350 353 355 360 362 365 367 368 374 379 380 381 382 385 386 387 392 394 396 400 401 402 406 409 413 424 428 432 a 2 3 4 7 9 11 15 16 18 22 23 30 33 36 38 40 41 47 48 49 50 53 56 63 66 67 68 69 76 77 79 84 86 91 94 98 101 102 103 105 108 115 126 127 130 131 136 138 139 149 158 159 161 164 165 166 174 176 182 183 184 187 194 195 196 200 203 205 206 213 215 217 219 221 223 226 228 231 239 240 250 260 267 271 274 275 282 288 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 342 343 346 347 350 353 355 360 362 365 367 368 374 379 380 381 382 385 386 387 392 394 396 400 401 402 406 409 413 424 428 432 a 2 3 4 7 9 11 15 16 18 22 23 30 33 36 38 40 41 47 48 49 50 53 56 63 66 67 68 69 76 77 79 84 86 91 94 98 101 102 103 105 108 115 126 127 130 131 136 138 139 149 158 159 161 164 165 166 176 182 183 184 187 194 195 196 200 203 205 206 213 215 217 219 221 223 226 228 231 239 240 250 260 267 271 274 275 281 282 288 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 342 343 346 347 350 353 355 360 362 365 367 368 374 379 380 381 382 385 386 387 392 394 396 400 401 402 406 409 413 424 428 432 a 2 3 4 7 9 11 15 16 18 22 23 30 33 35 36 38 40 41 47 48 49 50 53 56 63 66 67 68 69 76 77 79 84 86 91 94 98 101 102 103 105 108 115 126 127 130 131 136 138 139 149 158 159 161 164 165 166 176 182 183 184 187 194 195 196 200 203 205 206 213 215 217 219 221 223 226 228 231 239 240 250 267 271 274 275 281 282 288 293 294 295 301 305 306 307 308 309 310 312 314 319 326 328 332 335 338 341 342 343 346 347 350 353 355 360 362 365 367 368 374 379 380 381 382 385 386 387 392 394 396 400 401 402 406 409 413 424 428 432 a 2 3 4 7 9 11 15 16 18 22 23 30 33 35 36 38 40 41 47 48 49 50 53 56 63 66 67 68 69 76 77 84 86 91 94 98 101 102 103 105 108 115 126 127 130 131 136 138 139 149 158 159 161 164 165 166 176 182 183 184 187 194 195 196 200 203 205 206 213 215 217 219 221 223 226 228 231 239 240 250 267 271 274 275 281 282 288 293 294 295 301 305 306 307 308 309 310 312 314 319 325 326 328 332 335 338 341 342 343 346 347 350 353 355 360 362 365 367 368 374 379 380 381 382 385 386 387 392 394 396 400 401 402 406 409 413 424 428 432 a 2 3 4 7 9 11 16 18 22 23 30 33 35 36 38 40 41 47 48 49 50 53 56 63 66 67 68 69 76 77 84 86 91 94 98 101 102 103 105 108 115 126 127 130 131 136 138 139 149 158 159 161 164 165 166 176 182 183 184 187 194 195 196 200 203 205 206 213 215 217 219 221 223 226 228 231 239 240 250 267 271 274 275 281 282 288 293 294 295 301 305 306 307 308 309 310 312 314 319 325 326 328 332 335 338 341 342 343 346 347 350 353 355 360 362 365 367 368 374 379 380 381 382 385 386 387 392 394 396 400 401 402 406 409 413 423 424 428 432 a 2 3 4 7 9 11 16 18 22 23 30 33 35 36 38 40 41 47 48 49 50 53 56 63 66 67 68 69 76 77 84 86 91 94 98 101 102 103 105 108 115 126 127 130 131 136 138 139 149 158 159 161 164 165 166 176 182 183 184 187 194 195 196 198 200 203 205 206 213 215 217 219 221 223 226 228 231 239 240 250 267 271 274 275 281 282 288 293 294 295 301 305 306 307 308 309 310 312 314 319 325 326 328 332 335 338 341 342 343 346 347 350 353 355 360 362 365 367 368 374 379 380 381 382 385 386 387 392 394 396 400 401 402 406 413 423 424 428 432 a 2 3 4 7 9 11 16 18 22 23 30 33 35 36 38 40 41 47 48 49 50 56 63 66 67 68 69 76 77 84 86 91 94 98 101 102 103 105 108 115 126 127 130 131 136 138 139 149 158 159 161 164 165 166 176 182 183 184 187 194 195 196 198 200 203 205 206 213 215 217 219 221 223 226 228 231 239 240 250 262 267 271 274 275 281 282 288 293 294 295 301 305 306 307 308 309 310 312 314 319 325 326 328 332 335 338 341 342 343 346 347 350 353 355 360 362 365 367 368 374 379 380 381 382 385 386 387 392 394 396 400 401 402 406 413 423 424 428 432 a 2 3 4 7 9 11 16 18 22 23 30 33 35 36 38 40 41 47 48 49 50 56 63 66 67 68 69 76 77 84 86 91 94 98 101 102 103 105 108 115 126 127 130 131 136 138 139 149 158 159 161 164 165 166 172 176 182 183 184 187 194 195 196 198 200 203 205 206 213 215 217 219 221 223 226 228 231 239 240 250 262 267 271 274 275 281 282 288 293 294 295 301 305 306 307 308 309 310 312 314 319 325 326 328 332 335 338 341 342 343 346 347 350 353 355 360 362 365 367 368 374 379 380 381 382 386 387 392 394 396 400 401 402 406 413 423 424 428 432 a 2 3 4 7 9 11 18 22 23 30 33 35 36 38 40 41 47 48 49 50 56 63 66 67 68 69 76 77 84 86 91 94 98 101 102 103 105 108 115 126 127 130 131 136 138 139 149 158 159 161 164 165 166 172 176 182 183 184 187 194 195 196 198 200 203 205 206 213 215 217 219 221 223 226 228 231 239 240 250 262 267 271 274 275 281 282 288 293 294 295 299 301 305 306 307 308 309 310 312 314 319 325 326 328 332 335 338 341 342 343 346 347 350 353 355 360 362 365 367 368 374 379 380 381 382 386 387 392 394 396 400 401 402 406 413 423 424 428 432 a 2 3 4 7 9 11 22 23 30 33 35 36 38 40 41 47 48 49 50 56 63 66 67 68 69 76 77 84 86 91 94 98 101 102 103 105 108 115 126 127 130 131 136 138 139 149 158 159 161 164 165 166 172 176 182 183 184 187 194 195 196 198 200 203 205 206 213 215 217 219 221 223 226 228 231 239 240 250 262 267 271 274 275 281 282 288 293 294 295 299 301 305 306 307 308 309 310 312 314 319 325 326 328 332 335 338 341 342 343 346 347 349 350 353 355 360 362 365 367 368 374 379 380 381 382 386 387 392 394 396 400 401 402 406 413 423 424 428 432 a 2 3 4 7 9 11 22 23 30 33 35 36 38 40 41 47 48 49 50 56 63 66 67 68 69 76 77 84 86 91 94 98 101 102 103 105 108 115 117 126 127 130 131 136 138 139 149 158 159 161 164 165 166 172 176 182 183 184 187 194 195 196 198 200 203 205 206 213 215 217 219 221 223 226 228 231 239 240 250 262 267 271 274 275 281 282 288 293 294 295 299 301 305 306 307 308 309 310 312 314 319 325 326 328 332 335 338 341 342 346 347 349 350 353 355 360 362 365 367 368 374 379 380 381 382 386 387 392 394 396 400 401 402 406 413 423 424 428 432 a 2 3 4 7 9 11 22 23 30 33 35 36 38 40 41 47 48 49 50 56 63 66 67 68 69 76 77 84 86 91 94 98 101 102 103 105 108 115 117 126 127 130 131 136 138 139 149 158 159 161 164 165 166 172 176 182 183 184 187 194 195 196 198 200 203 205 206 213 215 217 219 221 223 226 228 231 239 240 250 262 267 271 274 275 281 282 288 293 294 295 299 301 305 306 307 308 309 312 314 319 325 326 328 330 332 335 338 341 342 346 347 349 350 353 355 360 362 365 367 368 374 379 380 381 382 386 387 392 394 396 400 401 402 406 413 423 424 428 432 a 2 3 4 7 9 11 22 23 30 33 35 36 38 40 41 47 48 49 50 56 63 66 67 68 69 76 77 84 86 91 94 98 101 102 103 105 108 115 117 126 127 130 131 136 138 139 149 158 159 161 164 165 166 172 176 182 183 184 187 194 195 196 198 200 203 205 206 213 215 217 219 221 223 226 228 231 235 239 240 250 262 267 271 274 275 281 282 288 293 294 295 299 301 305 306 307 308 309 312 314 319 325 326 328 330 332 335 338 341 342 346 347 349 350 353 355 362 365 367 368 374 379 380 381 382 386 387 392 394 396 400 401 402 406 413 423 424 428 432 a 2 3 4 7 9 11 22 23 33 35 36 38 40 41 47 48 49 50 56 63 66 67 68 69 76 77 84 86 91 94 98 101 102 103 105 108 115 117 126 127 130 131 136 138 139 149 158 159 161 164 165 166 172 176 182 183 184 187 194 195 196 198 200 203 205 206 213 215 217 219 221 223 226 228 231 235 239 240 250 262 267 271 274 275 281 282 288 293 294 295 299 301 305 306 307 308 309 312 314 319 325 326 328 330 332 335 338 341 342 346 347 349 350 353 355 362 365 367 368 374 379 380 381 382 386 387 392 394 396 400 401 402 406 413 423 424 428 432 434 a 2 3 4 7 9 11 22 23 33 35 36 38 40 41 47 48 49 50 56 63 66 67 68 69 76 77 84 86 91 94 98 101 102 103 105 108 115 117 126 127 130 131 136 138 139 149 155 158 159 161 164 165 166 172 176 182 183 184 187 194 195 196 198 200 203 205 206 213 215 217 219 221 223 228 231 235 239 240 250 262 267 271 274 275 281 282 288 293 294 295 299 301 305 306 307 308 309 312 314 319 325 326 328 330 332 335 338 341 342 346 347 349 350 353 355 362 365 367 368 374 379 380 381 382 386 387 392 394 396 400 401 402 406 413 423 424 428 432 434 a 2 3 4 7 9 11 22 23 33 35 36 38 40 41 47 48 49 50 56 63 66 67 68 69 76 77 84 86 91 94 98 101 102 103 105 108 115 117 126 127 130 131 136 138 139 149 155 158 159 161 164 165 166 172 176 182 183 184 187 194 195 196 198 200 203 205 206 213 215 217 219 221 223 228 231 235 239 240 250 262 267 271 274 275 281 282 288 293 294 295 299 301 305 306 307 308 312 314 315 319 325 326 328 330 332 335 338 341 342 346 347 349 350 353 355 362 365 367 368 374 379 380 381 382 386 387 392 394 396 400 401 402 406 413 423 424 428 432 434 a 2 3 4 7 9 11 22 23 33 35 36 38 40 41 47 48 49 50 56 63 66 67 68 69 76 77 84 86 91 94 98 101 102 103 105 108 115 117 126 127 130 131 136 138 139 149 155 158 159 161 164 165 166 172 176 182 183 184 187 192 194 195 196 198 200 203 205 206 213 215 217 219 221 223 228 231 235 239 240 250 262 267 271 274 275 281 282 288 293 294 295 299 301 305 306 307 308 312 314 315 319 325 326 328 330 332 335 338 341 342 346 347 349 350 353 355 362 365 367 368 374 379 380 381 382 386 387 394 396 400 401 402 406 413 423 424 428 432 434 a 2 3 4 7 9 11 22 23 33 35 36 38 40 41 47 48 49 50 56 63 66 67 68 69 76 77 84 86 91 94 98 101 102 103 105 108 115 117 126 127 130 131 136 138 139 149 155 158 159 161 164 165 166 172 176 182 183 184 185 187 192 194 195 196 198 200 203 205 206 213 215 217 219 221 223 228 231 235 239 240 250 262 267 271 274 275 281 282 288 293 294 295 299 301 305 306 307 308 312 314 315 319 325 326 328 330 332 335 338 341 342 346 347 349 350 353 355 362 365 367 368 374 380 381 382 386 387 394 396 400 401 402 406 413 423 424 428 432 434 a 2 3 4 7 9 11 22 23 33 35 36 38 40 41 47 48 49 50 56 63 66 67 68 69 76 77 84 86 91 94 98 101 102 103 105 108 115 117 126 127 130 131 136 138 139 149 155 158 159 161 164 165 166 172 176 182 183 184 185 187 192 194 195 196 198 200 203 205 206 213 215 217 219 221 223 228 231 235 239 240 250 262 267 271 274 275 281 282 286 288 293 294 295 299 301 305 306 307 308 312 314 315 319 325 326 328 330 332 335 338 341 342 346 347 349 350 353 355 362 365 367 368 374 380 381 382 386 387 394 396 401 402 406 413 423 424 428 432 434 a 2 3 4 7 9 11 22 23 33 35 36 38 40 41 47 48 49 50 56 60 63 66 67 68 69 76 77 84 86 91 94 98 101 102 103 105 108 115 117 126 127 130 131 136 138 139 149 155 158 159 161 164 165 166 172 176 182 183 184 185 187 192 194 195 196 198 200 203 205 206 213 215 217 219 221 223 228 231 235 239 240 250 262 267 271 274 275 281 282 286 288 293 294 295 299 301 305 306 307 308 312 314 315 319 325 326 328 330 332 335 338 341 342 346 347 349 350 353 355 362 365 367 368 374 380 381 382 386 387 394 396 401 402 413 423 424 428 432 434 a 2 3 4 7 9 11 22 23 33 35 36 38 40 41 47 48 49 50 56 60 63 66 67 68 69 76 77 84 86 91 94 98 101 102 103 105 108 115 117 126 127 130 131 136 138 139 149 155 158 159 161 164 165 166 172 176 182 183 185 187 192 194 195 196 198 200 203 205 206 213 215 217 219 221 223 228 231 235 239 240 250 262 267 271 274 275 281 282 286 288 293 294 295 299 301 305 306 307 308 312 314 315 319 324 325 326 328 330 332 335 338 341 342 346 347 349 350 353 355 362 365 367 368 374 380 381 382 386 387 394 396 401 402 413 423 424 428 432 434 a 2 3 4 7 9 11 22 23 33 35 36 38 40 41 47 48 49 50 56 60 63 66 67 68 69 76 77 84 86 91 94 98 101 102 103 105 108 115 117 126 127 130 131 138 139 149 155 158 159 161 164 165 166 172 176 182 183 185 187 192 194 195 196 198 200 203 205 206 213 215 217 219 221 223 228 231 235 239 240 250 262 267 271 274 275 281 282 286 288 293 294 295 299 301 305 306 307 308 312 314 315 319 323 324 325 326 328 330 332 335 338 341 342 346 347 349 350 353 355 362 365 367 368 374 380 381 382 386 387 394 396 401 402 413 423 424 428 432 434 a 2 3 4 7 9 11 22 23 33 35 36 38 40 41 47 48 49 50 56 60 63 66 67 68 69 76 77 84 86 91 94 98 101 102 103 105 108 115 117 126 127 130 131 138 139 149 155 158 159 161 164 165 166 172 176 182 183 185 192 194 195 196 198 200 203 205 206 213 215 217 219 221 223 228 231 235 239 240 250 262 267 271 274 275 281 282 286 288 293 294 295 299 301 305 306 307 308 312 314 315 319 323 324 325 326 328 330 332 335 338 341 342 346 347 349 350 353 355 362 365 367 368 374 380 381 382 386 387 389 394 396 401 402 413 423 424 428 432 434 a 2 3 4 7 9 11 20 22 23 33 35 36 38 40 41 47 48 49 50 56 60 63 66 67 68 69 76 77 84 86 91 94 98 101 102 103 105 108 115 117 126 127 130 131 138 139 149 155 158 161 164 165 166 172 176 182 183 185 192 194 195 196 198 200 203 205 206 213 215 217 219 221 223 228 231 235 239 240 250 262 267 271 274 275 281 282 286 288 293 294 295 299 301 305 306 307 308 312 314 315 319 323 324 325 326 328 330 332 335 338 341 342 346 347 349 350 353 355 362 365 367 368 374 380 381 382 386 387 389 394 396 401 402 413 423 424 428 432 434 a 2 3 4 7 9 11 20 22 23 33 35 36 38 40 47 48 49 50 56 60 63 66 67 68 69 76 77 84 86 91 94 98 101 102 103 105 108 115 117 126 127 130 131 138 139 149 155 158 161 164 165 166 172 176 182 183 185 192 194 195 196 198 200 203 204 205 206 213 215 217 219 221 223 228 231 235 239 240 250 262 267 271 274 275 281 282 286 288 293 294 295 299 301 305 306 307 308 312 314 315 319 323 324 325 326 328 330 332 335 338 341 342 346 347 349 350 353 355 362 365 367 368 374 380 381 382 386 387 389 394 396 401 402 413 423 424 428 432 434 a 2 3 4 7 9 11 20 22 23 33 35 36 38 40 47 48 49 50 56 60 63 66 67 68 69 76 77 84 86 91 94 98 101 102 103 105 108 115 117 126 127 130 131 138 139 149 155 158 161 164 165 166 172 176 182 183 185 192 194 195 196 198 200 203 204 206 213 215 217 219 221 223 228 231 235 239 240 250 262 267 271 274 275 281 282 286 288 293 294 295 297 299 301 305 306 307 308 312 314 315 319 323 324 325 326 328 330 332 335 338 341 342 346 347 349 350 353 355 362 365 367 368 374 380 381 382 386 387 389 394 396 401 402 413 423 424 428 432 434 a 2 3 4 7 9 11 20 22 23 33 35 36 38 40 47 48 49 50 56 60 63 66 67 68 69 76 77 84 86 88 91 94 98 101 102 103 105 108 115 117 126 130 131 138 139 149 155 158 161 164 165 166 172 176 182 183 185 192 194 195 196 198 200 203 204 206 213 215 217 219 221 223 228 231 235 239 240 250 262 267 271 274 275 281 282 286 288 293 294 295 297 299 301 305 306 307 308 312 314 315 319 323 324 325 326 328 330 332 335 338 341 342 346 347 349 350 353 355 362 365 367 368 374 380 381 382 386 387 389 394 396 401 402 413 423 424 428 432 434 a 2 3 4 7 9 11 20 22 23 33 35 36 38 40 47 48 49 50 56 60 63 66 67 68 69 76 77 84 86 88 91 94 98 101 102 103 105 108 115 117 126 130 131 138 139 149 155 158 164 165 166 172 176 182 183 185 192 194 195 196 198 200 203 204 206 213 215 217 219 221 223 228 231 235 239 240 250 262 267 271 274 275 281 282 286 288 293 294 295 297 299 301 305 306 307 308 312 314 315 319 323 324 325 326 328 330 332 335 338 341 342 346 347 349 350 353 355 362 365 367 368 374 380 381 382 386 387 389 393 394 396 401 402 413 423 424 428 432 434 a 2 3 4 7 9 11 20 22 23 33 35 36 38 40 47 48 49 50 56 60 63 65 66 67 68 69 76 77 84 86 88 91 94 98 101 102 103 105 108 115 117 126 130 131 138 139 149 155 158 164 165 166 172 176 182 183 185 192 194 195 196 198 200 203 204 206 213 215 217 219 221 223 228 231 235 239 240 250 262 267 271 274 275 281 282 286 288 293 294 295 297 299 301 306 307 308 312 314 315 319 323 324 325 326 328 330 332 335 338 341 342 346 347 349 350 353 355 362 365 367 368 374 380 381 382 386 387 389 393 394 396 401 402 413 423 424 428 432 434 a 2 3 4 7 8 9 11 20 22 23 33 35 36 38 40 47 48 49 50 56 60 63 65 66 67 68 69 76 77 84 86 88 91 94 98 101 102 103 105 108 115 117 126 130 131 138 139 149 155 158 164 165 166 172 176 182 183 185 192 194 195 196 198 200 203 204 206 213 215 217 219 221 223 228 231 235 239 240 250 262 271 274 275 281 282 286 288 293 294 295 297 299 301 306 307 308 312 314 315 319 323 324 325 326 328 330 332 335 338 341 342 346 347 349 350 353 355 362 365 367 368 374 380 381 382 386 387 389 393 394 396 401 402 413 423 424 428 432 434 a 2 3 4 7 8 9 11 20 22 23 24 33 35 36 38 40 47 48 49 50 56 60 63 65 66 67 68 69 76 77 84 86 88 94 98 101 102 103 105 108 115 117 126 130 131 138 139 149 155 158 164 165 166 172 176 182 183 185 192 194 195 196 198 200 203 204 206 213 215 217 219 221 223 228 231 235 239 240 250 262 271 274 275 281 282 286 288 293 294 295 297 299 301 306 307 308 312 314 315 319 323 324 325 326 328 330 332 335 338 341 342 346 347 349 350 353 355 362 365 367 368 374 380 381 382 386 387 389 393 394 396 401 402 413 423 424 428 432 434 a 2 3 4 7 8 9 11 20 22 23 24 33 35 36 38 40 47 48 49 50 56 60 65 66 67 68 69 76 77 84 86 88 94 98 101 102 103 105 108 115 117 126 130 131 138 139 149 155 158 164 165 166 172 176 182 183 185 192 194 195 196 198 200 201 203 204 206 213 215 217 219 221 223 228 231 235 239 240 250 262 271 274 275 281 282 286 288 293 294 295 297 299 301 306 307 308 312 314 315 319 323 324 325 326 328 330 332 335 338 341 342 346 347 349 350 353 355 362 365 367 368 374 380 381 382 386 387 389 393 394 396 401 402 413 423 424 428 432 434 a 2 3 4 7 8 9 11 20 22 23 24 33 35 36 38 40 47 48 49 50 56 60 65 66 67 68 69 76 77 84 86 88 94 98 101 102 103 105 108 115 117 126 130 131 138 139 149 155 158 164 165 166 172 176 182 183 185 192 194 195 196 198 200 201 203 204 206 213 215 217 219 221 223 228 231 235 239 240 250 262 271 274 275 281 282 286 288 293 294 295 297 299 301 306 307 308 312 314 315 319 322 323 324 325 326 328 330 332 335 338 341 342 346 347 349 350 353 355 362 367 368 374 380 381 382 386 387 389 393 394 396 401 402 413 423 424 428 432 434 a 2 3 4 7 8 9 11 20 22 23 24 33 35 36 38 40 47 48 49 50 56 60 65 66 67 68 69 76 77 84 86 88 94 98 101 102 103 105 108 115 117 126 130 131 138 139 149 155 158 164 165 166 172 176 182 183 185 192 195 196 198 200 201 203 204 206 213 215 217 219 221 223 228 231 235 239 240 250 262 271 274 275 281 282 286 288 293 294 295 297 299 301 306 307 308 312 314 315 319 322 323 324 325 326 328 330 332 335 338 341 342 346 347 349 350 353 355 362 367 368 374 380 381 382 386 387 389 393 394 396 399 401 402 413 423 424 428 432 434 a 2 3 4 7 8 9 11 20 22 23 24 33 35 36 38 40 47 48 49 50 56 60 65 66 67 68 69 76 77 84 86 88 94 98 101 102 103 105 108 115 117 126 130 131 138 139 149 155 158 164 165 166 172 176 181 182 183 185 192 195 196 198 200 201 203 204 206 213 215 217 219 221 223 228 231 235 239 250 262 271 274 275 281 282 286 288 293 294 295 297 299 301 306 307 308 312 314 315 319 322 323 324 325 326 328 330 332 335 338 341 342 346 347 349 350 353 355 362 367 368 374 380 381 382 386 387 389 393 394 396 399 401 402 413 423 424 428 432 434 a 2 3 4 8 9 11 20 22 23 24 33 35 36 38 40 47 48 49 50 56 60 65 66 67 68 69 76 77 84 86 88 94 98 101 102 103 105 108 115 117 126 130 131 138 139 149 155 158 164 165 166 172 176 181 182 183 185 192 195 196 198 200 201 203 204 206 213 215 217 219 221 223 228 231 235 239 250 262 271 274 275 281 282 284 286 288 293 294 295 297 299 301 306 307 308 312 314 315 319 322 323 324 325 326 328 330 332 335 338 341 342 346 347 349 350 353 355 362 367 368 374 380 381 382 386 387 389 393 394 396 399 401 402 413 423 424 428 432 434 a 2 3 4 8 9 11 20 22 23 24 35 36 38 40 47 48 49 50 56 60 65 66 67 68 69 76 77 84 86 88 94 98 101 102 103 105 106 108 115 117 126 130 131 138 139 149 155 158 164 165 166 172 176 181 182 183 185 192 195 196 198 200 201 203 204 206 213 215 217 219 221 223 228 231 235 239 250 262 271 274 275 281 282 284 286 288 293 294 295 297 299 301 306 307 308 312 314 315 319 322 323 324 325 326 328 330 332 335 338 341 342 346 347 349 350 353 355 362 367 368 374 380 381 382 386 387 389 393 394 396 399 401 402 413 423 424 428 432 434 a 2 3 4 8 9 11 20 22 23 24 35 36 38 40 47 48 49 50 56 60 65 66 67 68 69 76 77 84 86 88 94 98 101 102 103 105 106 108 115 117 126 130 131 138 139 149 155 158 164 165 166 172 175 176 181 182 183 185 192 195 196 198 200 201 203 204 206 213 215 217 219 221 223 228 231 235 239 250 262 271 274 275 281 282 284 286 288 293 294 295 297 299 301 306 307 308 312 314 315 319 322 323 324 325 326 328 330 332 335 338 341 342 346 347 349 350 353 355 367 368 374 380 381 382 386 387 389 393 394 396 399 401 402 413 423 424 428 432 434 a 2 3 4 8 9 11 20 22 23 24 35 36 38 40 47 48 49 50 56 60 65 66 67 68 69 76 77 84 86 88 94 98 101 102 103 105 106 108 115 117 126 130 131 138 139 149 155 158 164 165 166 172 175 176 181 182 183 185 192 196 198 200 201 203 204 206 213 215 217 219 221 223 228 231 235 239 250 262 271 274 275 281 282 284 286 288 293 294 295 297 299 301 306 307 308 312 314 315 319 322 323 324 325 326 328 329 330 332 335 338 341 342 346 347 349 350 353 355 367 368 374 380 381 382 386 387 389 393 394 396 399 401 402 413 423 424 428 432 434 a 2 3 4 8 9 11 20 22 23 24 35 36 38 40 47 48 49 50 56 60 65 66 67 68 69 76 77 84 86 88 94 98 101 102 103 105 106 108 115 117 126 130 131 138 139 149 155 158 164 165 166 172 175 176 181 183 185 192 196 198 200 201 203 204 206 213 215 217 219 221 223 228 231 235 239 250 262 271 274 275 281 282 284 286 288 293 294 295 297 299 301 306 307 308 312 314 315 319 322 323 324 325 326 328 329 330 332 335 338 341 342 346 347 349 350 353 355 367 368 374 380 381 382 386 387 389 393 394 396 398 399 401 402 413 423 424 428 432 434 a 2 3 4 8 9 11 20 22 23 24 35 36 38 40 47 49 50 56 60 65 66 67 68 69 76 77 84 86 88 94 98 101 102 103 105 106 108 115 117 126 130 131 138 139 149 150 155 158 164 165 166 172 175 176 181 183 185 192 196 198 200 201 203 204 206 213 215 217 219 221 223 228 231 235 239 250 262 271 274 275 281 282 284 286 288 293 294 295 297 299 301 306 307 308 312 314 315 319 322 323 324 325 326 328 329 330 332 335 338 341 342 346 347 349 350 353 355 367 368 374 380 381 382 386 387 389 393 394 396 398 399 401 402 413 423 424 428 432 434 a 2 3 4 8 9 11 20 22 23 24 35 36 38 40 47 49 50 56 60 65 66 67 68 76 77 84 86 88 94 98 101 102 103 105 106 108 115 117 126 130 131 138 139 149 150 155 158 164 165 166 171 172 175 176 181 183 185 192 196 198 200 201 203 204 206 213 215 217 219 221 223 228 231 235 239 250 262 271 274 275 281 282 284 286 288 293 294 295 297 299 301 306 307 308 312 314 315 319 322 323 324 325 326 328 329 330 332 335 338 341 342 346 347 349 350 353 355 367 368 374 380 381 382 386 387 389 393 394 396 398 399 401 402 413 423 424 428 432 434 a 2 3 4 8 9 11 20 22 23 24 35 36 38 40 47 49 50 56 60 65 66 67 68 76 77 84 86 88 94 98 101 102 103 105 106 108 115 117 126 130 131 139 149 150 155 158 164 165 166 171 172 175 176 181 183 185 192 196 198 200 201 203 204 206 213 215 217 219 221 223 228 231 235 239 250 262 271 274 275 281 282 284 286 288 293 294 295 297 299 301 306 307 308 312 314 315 319 322 323 324 325 326 328 329 330 332 335 336 338 341 342 346 347 349 350 353 355 367 368 374 380 381 382 386 387 389 393 394 396 398 399 401 402 413 423 424 428 432 434 a 2 3 4 8 9 11 20 22 23 24 35 36 38 40 49 50 56 60 65 66 67 68 76 77 84 86 88 94 98 101 102 103 105 106 108 115 117 126 130 131 139 149 150 155 158 164 165 166 171 172 175 176 181 183 185 192 196 198 200 201 203 204 206 213 215 217 219 221 223 228 231 235 239 250 262 271 274 275 281 282 284 286 288 293 294 295 297 299 301 306 307 308 312 314 315 319 322 323 324 325 326 328 329 330 332 335 336 338 341 342 346 347 349 350 353 355 367 368 374 380 381 382 384 386 387 389 393 394 396 398 399 401 402 413 423 424 428 432 434 a 2 3 4 8 9 11 20 22 23 24 34 35 36 38 40 49 50 56 60 65 66 67 68 76 77 84 86 88 94 98 101 102 103 105 106 108 115 117 126 130 131 139 149 150 155 158 164 165 166 171 172 175 176 181 183 185 192 196 198 200 201 203 204 206 213 215 217 219 221 223 228 231 235 239 250 262 271 274 275 281 282 284 286 288 293 294 295 297 299 301 306 307 308 312 314 315 319 322 323 324 325 326 328 329 330 332 335 336 338 341 342 346 347 349 350 353 355 368 374 380 381 382 384 386 387 389 393 394 396 398 399 401 402 413 423 424 428 432 434 a 2 3 4 8 9 11 20 22 23 24 34 35 36 40 49 50 56 60 65 66 67 68 76 77 84 86 88 94 98 101 102 103 105 106 108 115 117 126 130 131 139 149 150 155 158 164 165 166 171 172 175 176 181 183 185 192 196 198 200 201 203 204 206 213 215 217 219 221 223 228 230 231 235 239 250 262 271 274 275 281 282 284 286 288 293 294 295 297 299 301 306 307 308 312 314 315 319 322 323 324 325 326 328 329 330 332 335 336 338 341 342 346 347 349 350 353 355 368 374 380 381 382 384 386 387 389 393 394 396 398 399 401 402 413 423 424 428 432 434 a 2 3 4 8 9 11 20 22 23 24 34 35 36 40 49 50 56 60 65 66 67 68 76 84 86 88 94 98 101 102 103 105 106 108 115 117 126 130 131 139 149 150 155 158 164 165 166 171 172 175 176 181 183 185 192 196 198 200 201 203 204 206 213 215 217 219 221 223 228 230 231 235 239 250 262 271 274 275 281 282 284 286 288 293 294 295 297 299 301 306 307 308 311 312 314 315 319 322 323 324 325 326 328 329 330 332 335 336 338 341 342 346 347 349 350 353 355 368 374 380 381 382 384 386 387 389 393 394 396 398 399 401 402 413 423 424 428 432 434 a 2 3 4 8 9 11 20 22 24 34 35 36 40 49 50 56 60 65 66 67 68 76 84 86 88 94 98 101 102 103 105 106 108 115 117 126 130 131 139 149 150 155 158 164 165 166 171 172 175 176 181 183 185 192 196 198 200 201 203 204 206 213 215 217 219 221 223 228 230 231 235 239 250 262 271 274 275 281 282 284 285 286 288 293 294 295 297 299 301 306 307 308 311 312 314 315 319 322 323 324 325 326 328 329 330 332 335 336 338 341 342 346 347 349 350 353 355 368 374 380 381 382 384 386 387 389 393 394 396 398 399 401 402 413 423 424 428 432 434 a 2 3 4 8 9 11 20 22 24 34 35 36 40 49 50 56 60 65 66 67 68 76 84 86 88 94 98 101 102 103 105 106 108 115 116 117 126 130 131 139 149 150 155 158 164 165 166 171 172 175 176 181 183 185 192 196 198 200 201 203 204 206 213 215 217 219 223 228 230 231 235 239 250 262 271 274 275 281 282 284 285 286 288 293 294 295 297 299 301 306 307 308 311 312 314 315 319 322 323 324 325 326 328 329 330 332 335 336 338 341 342 346 347 349 350 353 355 368 374 380 381 382 384 386 387 389 393 394 396 398 399 401 402 413 423 424 428 432 434 a 2 3 4 8 9 11 20 22 24 34 35 36 40 49 50 56 60 65 66 67 68 76 84 86 88 94 98 101 102 103 105 106 108 115 116 117 126 130 131 139 149 150 155 158 165 166 171 172 175 176 181 183 185 192 196 198 200 201 203 204 206 213 215 217 219 223 228 230 231 235 239 250 262 271 274 275 281 282 284 285 286 288 289 293 294 295 297 299 301 306 307 308 311 312 314 315 319 322 323 324 325 326 328 329 330 332 335 336 338 341 342 346 347 349 350 353 355 368 374 380 381 382 384 386 387 389 393 394 396 398 399 401 402 413 423 424 428 432 434 a 2 3 4 8 9 11 20 22 24 34 35 36 40 49 50 56 60 65 66 67 68 76 84 86 88 94 98 101 102 103 105 106 108 115 116 117 126 130 131 139 149 150 155 158 166 171 172 175 176 181 183 185 192 196 198 200 201 203 204 206 213 215 217 219 223 228 230 231 235 239 250 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 297 299 301 306 307 308 311 312 314 315 319 322 323 324 325 326 328 329 330 332 335 336 338 341 342 346 347 349 350 353 355 368 374 380 381 382 384 386 387 389 393 394 396 398 399 401 402 413 423 424 428 432 434 a 2 3 4 8 9 11 20 22 24 34 35 36 40 49 50 56 60 65 66 67 68 76 84 86 88 94 98 101 102 103 105 106 108 115 116 117 126 130 131 139 140 149 150 155 158 166 171 172 175 176 181 183 185 192 196 198 200 201 203 204 206 213 215 217 219 223 228 230 231 235 239 250 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 297 299 301 306 307 308 311 312 314 315 319 322 323 324 325 326 328 329 330 332 335 336 338 341 342 346 347 349 350 353 355 368 374 380 381 382 384 386 387 389 393 396 398 399 401 402 413 423 424 428 432 434 a 2 3 4 8 9 11 20 22 24 34 35 36 40 49 50 56 60 65 66 67 76 84 86 88 94 98 101 102 103 105 106 108 115 116 117 126 130 131 139 140 149 150 155 158 166 171 172 175 176 181 183 185 192 196 198 200 201 203 204 206 213 215 217 219 223 228 230 231 235 239 250 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 297 299 301 306 307 308 311 312 314 315 319 322 323 324 325 326 328 329 330 332 335 336 338 341 342 346 347 349 350 353 355 368 374 380 381 382 384 386 387 389 393 396 398 399 401 402 413 422 423 424 428 432 434 a 2 3 4 8 9 11 20 22 24 34 35 36 40 49 50 56 60 65 67 76 84 86 88 94 98 101 102 103 105 106 108 115 116 117 126 130 131 139 140 149 150 155 158 166 171 172 175 176 181 183 185 192 196 198 200 201 203 204 206 213 215 217 219 223 228 230 231 235 239 250 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 297 299 301 303 306 307 308 311 312 314 315 319 322 323 324 325 326 328 329 330 332 335 336 338 341 342 346 347 349 350 353 355 368 374 380 381 382 384 386 387 389 393 396 398 399 401 402 413 422 423 424 428 432 434 a 2 3 4 8 9 11 20 22 24 34 35 36 40 49 50 56 60 65 67 76 84 86 88 94 98 101 102 103 105 106 108 115 116 117 126 130 131 139 140 149 150 155 158 166 171 172 175 176 181 183 185 192 196 198 200 201 203 204 206 213 215 217 219 223 225 228 230 231 235 239 250 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 297 299 301 303 306 307 308 311 312 314 315 319 322 323 324 325 326 328 329 330 332 335 336 338 341 342 346 347 349 350 353 368 374 380 381 382 384 386 387 389 393 396 398 399 401 402 413 422 423 424 428 432 434 a 2 3 4 8 9 11 20 22 24 34 35 36 40 49 50 56 60 65 67 76 84 86 88 94 98 101 102 103 105 106 108 115 116 117 126 130 131 139 140 149 150 155 158 166 171 172 175 176 181 183 185 192 196 198 200 201 203 204 206 213 215 217 219 223 225 228 230 231 235 239 250 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 297 299 301 303 306 307 311 312 314 315 319 322 323 324 325 326 328 329 330 332 335 336 338 341 342 346 347 349 350 353 368 374 375 380 381 382 384 386 387 389 393 396 398 399 401 402 413 422 423 424 428 432 434 a 2 3 4 8 9 11 20 22 24 34 35 36 40 49 50 56 60 65 67 76 84 86 88 98 101 102 103 105 106 108 115 116 117 126 130 131 132 139 140 149 150 155 158 166 171 172 175 176 181 183 185 192 196 198 200 201 203 204 206 213 215 217 219 223 225 228 230 231 235 239 250 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 297 299 301 303 306 307 311 312 314 315 319 322 323 324 325 326 328 329 330 332 335 336 338 341 342 346 347 349 350 353 368 374 375 380 381 382 384 386 387 389 393 396 398 399 401 402 413 422 423 424 428 432 434 a 2 3 4 8 9 11 20 22 24 34 35 36 40 49 50 56 60 65 67 76 84 86 88 98 101 102 103 105 106 108 115 116 117 120 126 130 131 132 139 140 149 150 155 158 166 171 172 175 176 181 183 185 192 196 198 200 201 203 204 206 213 215 217 219 223 225 228 230 231 235 239 250 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 297 299 301 303 306 307 311 312 314 315 322 323 324 325 326 328 329 330 332 335 336 338 341 342 346 347 349 350 353 368 374 375 380 381 382 384 386 387 389 393 396 398 399 401 402 413 422 423 424 428 432 434 a 2 3 4 8 9 11 20 24 34 35 36 40 49 50 56 60 65 67 76 84 86 88 98 101 102 103 105 106 108 115 116 117 120 126 130 131 132 139 140 149 150 155 158 166 171 172 175 176 181 183 185 192 196 198 200 201 203 204 206 213 215 217 219 223 225 228 230 231 235 239 250 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 303 306 307 311 312 314 315 322 323 324 325 326 328 329 330 332 335 336 338 341 342 346 347 349 350 353 368 374 375 380 381 382 384 386 387 389 393 396 398 399 401 402 413 422 423 424 428 432 434 a 2 3 4 8 9 11 20 24 34 35 36 40 49 50 56 60 65 67 76 84 86 88 98 101 102 103 105 106 108 115 116 117 120 126 130 131 132 139 140 149 150 155 158 166 171 172 175 176 181 183 185 192 196 198 200 201 203 204 206 213 215 217 219 223 225 228 230 231 235 239 250 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 303 306 307 311 312 314 315 322 323 324 325 326 328 329 330 332 335 336 338 341 346 347 349 350 353 368 374 375 380 381 382 384 386 387 389 393 396 398 399 401 402 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 34 35 36 40 49 50 56 60 65 67 76 84 86 88 98 101 102 103 105 106 108 115 116 117 120 126 130 131 132 139 140 149 150 155 158 162 166 171 172 175 176 181 183 185 192 196 198 200 201 203 204 206 213 215 217 219 223 225 228 230 231 235 239 250 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 303 306 307 311 312 314 315 322 323 324 325 326 329 330 332 335 336 338 341 346 347 349 350 353 368 374 375 380 381 382 384 386 387 389 393 396 398 399 401 402 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 34 35 36 40 49 50 56 60 65 67 76 84 86 88 98 101 102 103 105 106 108 115 116 117 120 126 130 132 139 140 149 150 155 158 162 166 171 172 175 176 181 183 185 192 196 198 200 201 203 204 206 213 215 217 218 219 223 225 228 230 231 235 239 250 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 303 306 307 311 312 314 315 322 323 324 325 326 329 330 332 335 336 338 341 346 347 349 350 353 368 374 375 380 381 382 384 386 387 389 393 396 398 399 401 402 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 34 35 36 40 49 50 56 60 65 67 76 86 88 98 101 102 103 105 106 108 115 116 117 120 126 130 132 139 140 149 150 155 158 162 166 171 172 175 176 181 183 185 192 196 198 200 201 203 204 206 213 215 217 218 219 223 225 228 230 231 235 239 250 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 303 306 307 311 312 314 315 322 323 324 325 326 329 330 332 335 336 338 341 346 347 349 350 353 368 374 375 380 381 382 384 386 387 389 393 396 397 398 399 401 402 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 34 35 36 40 49 50 56 60 65 67 76 86 88 98 101 102 103 105 106 108 115 116 117 120 126 129 130 132 139 140 149 150 155 158 162 166 171 172 175 176 181 183 185 192 196 198 200 201 203 204 206 213 215 217 218 219 223 225 228 230 231 235 239 250 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 303 306 307 311 312 314 315 322 323 324 325 326 329 330 332 335 336 338 341 346 347 349 350 353 368 374 375 380 381 382 384 387 389 393 396 397 398 399 401 402 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 34 35 36 40 49 50 56 60 65 67 76 86 88 98 101 102 103 105 106 108 115 116 117 120 126 129 130 132 139 140 149 150 155 158 162 166 171 172 175 176 181 183 185 192 196 198 200 201 203 204 206 213 215 216 217 218 219 223 225 228 230 231 235 239 250 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 303 306 307 311 312 314 315 322 323 324 325 326 329 330 332 335 336 338 341 346 347 349 350 353 368 374 375 380 381 382 384 387 389 393 396 397 398 399 402 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 34 35 36 40 49 50 56 60 65 67 76 86 88 98 101 102 103 105 106 108 115 116 117 120 126 129 130 132 139 140 141 149 150 155 158 162 166 171 172 175 176 181 183 185 192 196 198 200 201 203 204 206 213 216 217 218 219 223 225 228 230 231 235 239 250 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 303 306 307 311 312 314 315 322 323 324 325 326 329 330 332 335 336 338 341 346 347 349 350 353 368 374 375 380 381 382 384 387 389 393 396 397 398 399 402 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 34 35 36 40 49 50 56 60 65 67 76 83 86 88 98 101 102 103 105 106 108 115 116 117 120 126 129 130 132 139 140 141 149 150 155 158 162 166 171 172 175 181 183 185 192 196 198 200 201 203 204 206 213 216 217 218 219 223 225 228 230 231 235 239 250 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 303 306 307 311 312 314 315 322 323 324 325 326 329 330 332 335 336 338 341 346 347 349 350 353 368 374 375 380 381 382 384 387 389 393 396 397 398 399 402 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 49 50 56 60 65 67 76 83 86 88 98 101 102 103 105 106 108 115 116 117 120 126 129 130 132 139 140 141 149 150 155 158 162 166 171 172 175 181 183 185 192 196 198 200 201 203 204 206 213 216 217 218 219 223 225 230 231 235 239 250 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 303 306 307 311 312 314 315 322 323 324 325 326 329 330 332 335 336 338 341 346 347 349 350 353 368 374 375 380 381 382 384 387 389 393 396 397 398 399 402 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 49 50 56 60 65 67 76 83 86 88 98 101 102 103 105 106 108 115 116 117 120 126 129 130 132 139 140 141 149 150 155 158 162 171 172 175 181 183 185 192 196 198 200 201 203 204 206 213 216 217 218 219 223 225 230 231 235 239 250 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 303 306 307 311 312 314 315 322 323 324 325 326 329 330 332 334 335 336 338 341 346 347 349 350 353 368 374 375 380 381 382 384 387 389 393 396 397 398 399 402 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 49 50 56 60 65 67 76 83 86 88 98 101 102 103 105 106 108 109 115 116 117 120 126 129 130 132 139 140 141 149 150 155 158 162 171 172 175 181 183 185 192 196 198 200 201 203 204 206 213 216 217 218 219 223 225 230 231 235 239 250 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 303 306 307 311 312 314 315 322 323 324 325 326 329 330 332 334 335 336 338 341 346 347 349 353 368 374 375 380 381 382 384 387 389 393 396 397 398 399 402 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 49 50 56 60 65 67 76 83 86 88 98 101 102 103 105 106 108 109 115 116 117 120 126 129 130 132 139 140 141 149 150 155 158 162 171 172 175 181 183 185 192 196 198 200 201 203 204 206 213 216 217 218 219 223 225 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 303 306 307 311 312 314 315 322 323 324 325 326 329 330 332 334 335 336 338 341 346 347 348 349 353 368 374 375 380 381 382 384 387 389 393 396 397 398 399 402 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 24 28 34 35 36 40 49 50 56 60 65 67 76 83 86 88 98 101 102 103 105 106 108 109 115 116 117 120 126 129 130 132 139 140 141 149 150 155 156 158 162 171 172 175 181 183 185 192 198 200 201 203 204 206 213 216 217 218 219 223 225 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 293 294 295 296 297 299 301 303 306 307 311 312 314 315 322 323 324 325 326 329 330 332 334 335 336 338 341 346 347 348 349 353 368 374 375 380 381 382 384 387 389 393 396 397 398 399 402 413 422 423 424 428 432 434 440 c Step: 128 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance034_graph002.col /benchmark/random_instance/random_instance034_graph002_01.dat" User time (seconds): 549.18 System time (seconds): 3.67 Percent of CPU this job got: 151% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:05.05 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): 13205720 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 4559353 Voluntary context switches: 98840 Involuntary context switches: 2132 Swaps: 0 File system inputs: 0 File system outputs: 896 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 02:01:49 2023]