#BEGIN: [Tue Sep 26 02:58:20 2023] #HOST: s03 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-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 -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 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 379 380 381 382 385 386 392 394 396 397 400 401 406 409 419 425 427 431 432 440 a 1 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 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 379 380 381 382 385 386 392 394 396 397 400 401 406 409 419 425 427 431 432 440 a 1 3 7 9 11 15 16 18 22 23 28 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 104 105 107 108 112 119 124 126 127 130 136 138 158 161 164 165 166 173 174 182 183 184 187 194 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 379 380 381 382 385 386 392 394 396 397 400 401 406 409 419 425 427 431 432 440 a 1 3 7 9 11 15 16 18 22 23 28 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 104 105 107 108 112 119 124 126 127 130 136 138 158 161 164 165 166 173 174 182 183 184 187 194 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 237 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 379 380 381 382 385 386 394 396 397 400 401 406 409 419 425 427 431 432 440 a 1 3 7 9 11 15 16 18 22 23 28 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 104 105 107 108 112 124 126 127 130 136 138 158 161 164 165 166 173 174 182 183 184 187 194 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 237 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 379 380 381 382 385 386 394 396 397 400 401 403 406 409 419 425 427 431 432 440 a 1 3 7 9 11 15 16 18 22 23 28 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 104 105 107 108 112 124 126 127 130 136 138 153 158 161 164 165 166 173 174 182 183 184 187 194 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 237 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 339 341 343 346 350 353 355 358 360 362 366 379 380 381 382 385 386 394 396 397 400 401 403 406 409 419 425 427 431 432 440 a 1 3 7 9 11 15 16 18 22 23 28 30 33 36 38 39 40 41 43 47 48 49 53 55 56 58 63 66 67 68 69 70 76 77 86 91 92 98 100 101 102 104 105 107 108 112 124 126 127 130 136 138 153 158 161 164 165 166 173 174 182 183 184 187 194 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 232 234 237 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 339 341 343 346 350 353 355 358 360 362 366 379 380 381 382 385 386 394 396 397 400 401 403 406 409 419 425 427 431 432 440 a 1 3 7 9 11 15 16 18 22 23 28 30 33 36 38 39 40 41 43 47 48 49 52 53 55 56 58 63 66 67 68 69 70 76 77 86 91 92 98 100 101 102 104 105 107 108 112 124 126 127 130 136 138 153 158 161 164 165 166 173 174 182 183 184 187 194 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 232 234 237 240 250 260 267 271 274 275 278 282 293 294 301 305 306 307 309 310 312 314 319 326 328 332 335 339 341 343 346 350 353 355 358 360 362 366 379 380 381 382 385 386 394 396 397 400 401 403 406 409 419 425 427 431 432 440 a 1 3 7 9 11 15 16 18 22 23 28 30 33 36 38 39 40 41 43 47 48 49 52 53 55 56 58 63 66 67 68 69 70 76 77 86 91 92 94 98 100 101 102 104 105 107 108 112 124 126 127 130 136 138 153 158 161 164 165 166 173 174 182 183 184 187 194 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 232 234 237 240 250 260 267 271 274 275 278 282 293 294 301 305 306 307 309 310 312 314 319 326 328 332 335 339 341 343 346 350 353 355 358 360 362 366 379 380 381 382 385 386 394 396 400 401 403 406 409 419 425 427 431 432 440 a 1 3 7 9 11 15 16 18 22 23 28 30 33 35 36 38 39 40 41 43 47 48 49 52 53 55 56 58 63 66 67 68 69 70 76 77 86 91 92 94 98 100 101 102 104 105 107 108 112 124 126 127 130 136 138 153 158 161 164 165 166 173 174 182 183 184 187 194 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 232 234 237 240 250 267 271 274 275 278 282 293 294 301 305 306 307 309 310 312 314 319 326 328 332 335 339 341 343 346 350 353 355 358 360 362 366 379 380 381 382 385 386 394 396 400 401 403 406 409 419 425 427 431 432 440 a 1 3 7 9 11 15 16 18 22 23 28 30 33 35 36 38 39 40 41 43 47 48 49 51 52 53 55 56 58 63 66 67 68 69 70 76 77 91 92 94 98 100 101 102 104 105 107 108 112 124 126 127 130 136 138 153 158 161 164 165 166 173 174 182 183 184 187 194 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 232 234 237 240 250 267 271 274 275 278 282 293 294 301 305 306 307 309 310 312 314 319 326 328 332 335 339 341 343 346 350 353 355 358 360 362 366 379 380 381 382 385 386 394 396 400 401 403 406 409 419 425 427 431 432 440 a 1 3 7 9 11 15 16 18 22 23 28 30 33 35 36 39 40 41 43 47 48 49 51 52 53 55 56 58 63 66 67 68 69 70 76 77 91 92 94 98 100 101 102 104 105 107 108 112 124 126 127 130 136 138 153 158 161 164 165 166 173 174 182 183 184 187 194 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 232 234 237 240 250 267 271 274 275 278 282 289 293 294 301 305 306 307 309 310 312 314 319 326 328 332 335 339 341 343 346 350 353 355 358 360 362 366 379 380 381 382 385 386 394 396 400 401 403 406 409 419 425 427 431 432 440 a 1 3 7 9 11 15 16 18 22 23 28 30 33 35 36 39 40 41 43 47 48 49 51 52 53 55 56 58 63 66 67 68 69 70 76 77 91 92 94 98 100 101 102 104 105 107 108 112 126 127 130 136 138 153 158 161 164 165 166 173 174 182 183 184 187 194 196 198 200 203 205 206 209 210 215 217 219 221 223 226 228 231 232 234 237 240 250 267 271 274 275 278 282 289 293 294 301 305 306 307 309 310 312 314 319 326 328 332 335 339 341 343 346 350 353 355 358 360 362 366 379 380 381 382 385 386 394 396 400 401 403 406 409 419 425 427 431 432 440 a 1 3 7 9 11 15 16 18 22 23 28 30 33 35 36 38 39 40 41 43 47 48 49 51 52 53 55 56 58 63 66 67 68 69 70 76 77 91 92 94 98 100 101 102 104 105 107 108 112 126 127 130 136 138 153 158 161 164 165 166 173 174 182 183 184 187 194 196 198 200 203 205 206 209 210 215 217 219 221 223 226 228 231 232 234 237 240 250 267 271 274 275 278 282 293 294 301 305 306 307 309 310 312 314 319 326 328 332 335 339 341 343 346 350 353 355 358 360 362 366 379 380 381 382 385 386 394 396 400 401 403 406 409 419 425 427 431 432 440 a 1 3 7 9 11 15 16 18 22 23 28 30 33 35 36 38 39 40 41 43 47 48 49 51 52 53 55 56 58 63 66 67 68 69 70 76 77 91 92 98 100 101 102 104 105 107 108 112 126 127 130 136 138 153 158 161 164 165 166 173 174 182 183 184 187 194 196 198 200 203 205 206 209 210 215 217 219 221 223 226 228 231 232 234 237 240 250 267 271 274 275 278 282 293 294 301 305 306 307 309 310 312 314 319 326 328 332 335 339 341 343 346 350 353 355 358 360 362 366 379 380 381 382 385 386 394 396 397 400 401 403 406 409 419 425 427 431 432 440 a 1 3 7 9 11 15 16 18 22 23 28 30 33 35 36 38 39 40 41 43 47 48 49 51 52 53 55 56 58 63 66 67 68 69 70 76 77 91 92 98 100 101 102 103 104 105 107 108 112 126 127 130 136 138 153 158 161 164 165 166 173 182 183 184 187 194 196 198 200 203 205 206 209 210 215 217 219 221 223 226 228 231 232 234 237 240 250 267 271 274 275 278 282 293 294 301 305 306 307 309 310 312 314 319 326 328 332 335 339 341 343 346 350 353 355 358 360 362 366 379 380 381 382 385 386 394 396 397 400 401 403 406 409 419 425 427 431 432 440 a 1 3 7 9 11 15 16 18 22 23 28 30 33 35 36 38 39 40 41 43 47 48 49 51 52 53 55 56 58 63 66 67 68 69 70 76 77 91 92 98 100 101 102 103 104 105 107 108 112 126 127 130 136 138 153 158 161 164 165 166 173 182 183 184 187 194 196 198 200 203 205 206 209 210 215 217 219 221 223 226 228 231 232 234 237 240 267 271 274 275 278 282 293 294 301 305 306 307 309 310 312 314 319 326 328 332 335 339 341 343 346 348 350 353 355 358 360 362 366 379 380 381 382 385 386 394 396 397 400 401 403 406 409 419 425 427 431 432 440 a 1 3 7 9 11 15 16 18 22 23 28 30 33 35 36 38 39 40 41 43 47 48 49 51 52 53 55 58 63 66 67 68 69 70 76 77 91 92 98 100 101 102 103 104 105 107 108 112 126 127 130 136 138 153 158 161 164 165 166 173 182 183 184 187 194 196 198 200 203 205 206 209 210 215 217 219 221 223 226 228 231 232 234 237 240 267 271 274 275 278 282 293 294 301 305 306 307 309 310 312 314 319 326 328 332 335 339 341 343 346 348 350 353 355 358 360 362 366 379 380 381 382 385 386 394 396 397 400 401 403 406 409 414 419 425 427 431 432 440 a 1 3 7 9 15 16 18 22 23 28 30 33 35 36 38 39 40 41 43 47 48 49 51 52 53 55 58 63 66 67 68 69 70 76 77 91 92 98 100 101 102 103 104 105 107 108 112 126 127 130 136 138 153 158 161 164 165 166 173 182 183 184 187 194 196 198 200 203 205 206 209 210 215 217 219 221 223 226 228 231 232 234 237 240 267 271 274 275 278 282 291 293 294 301 305 306 307 309 310 312 314 319 326 328 332 335 339 341 343 346 348 350 353 355 358 360 362 366 379 380 381 382 385 386 394 396 397 400 401 403 406 409 414 419 425 427 431 432 440 a 1 3 9 15 16 18 22 23 28 30 33 35 36 38 39 40 41 43 47 48 49 51 52 53 55 58 63 66 67 68 69 70 76 77 91 92 98 100 101 102 103 104 105 107 108 112 126 127 130 136 138 153 158 161 164 165 166 173 182 183 184 187 194 196 198 200 203 205 206 209 210 215 217 219 221 223 226 228 231 232 234 237 240 267 271 274 275 278 282 291 293 294 301 305 306 307 309 310 312 314 319 326 328 332 335 339 341 343 346 348 350 353 355 358 360 362 366 379 380 381 382 385 386 394 396 397 400 401 403 406 409 414 419 425 426 427 431 432 440 a 1 3 9 15 16 18 22 23 28 30 33 35 36 38 39 40 41 43 47 48 49 51 52 53 55 58 63 66 67 68 69 76 77 91 92 98 100 101 102 103 104 105 107 108 112 126 127 130 136 138 153 158 161 164 165 166 173 182 183 184 187 194 196 198 200 203 205 206 209 210 215 217 219 221 223 226 228 231 232 234 237 240 267 271 274 275 278 282 291 293 294 301 305 306 307 309 310 312 314 319 326 328 332 335 339 341 343 346 348 350 353 355 358 360 362 366 379 380 381 382 385 386 387 394 396 397 400 401 403 406 409 414 419 425 426 427 431 432 440 a 1 3 9 15 16 18 22 23 28 30 33 35 36 38 39 40 41 43 47 48 49 51 52 53 55 58 63 66 67 68 69 76 77 91 92 98 100 101 102 103 104 105 107 108 112 126 127 130 136 138 153 158 161 164 165 166 173 182 183 184 187 194 196 198 200 203 205 206 209 210 215 217 219 221 223 226 228 231 232 234 240 267 271 274 275 278 282 291 293 294 301 305 306 307 309 310 312 314 319 326 328 332 335 339 341 343 346 348 350 353 355 358 360 362 366 379 380 381 382 385 386 387 392 394 396 397 400 401 403 406 409 414 419 425 426 427 431 432 440 a 1 3 9 15 16 18 22 23 28 30 33 35 36 38 39 40 41 43 47 48 49 51 52 53 55 58 63 66 67 68 69 76 77 91 92 98 100 101 102 103 104 105 107 108 112 124 126 127 130 136 138 153 158 161 164 165 166 173 182 183 184 187 194 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 232 234 240 267 271 274 275 278 282 291 293 294 301 305 306 307 309 310 312 314 319 326 328 332 335 339 341 343 346 348 350 353 355 358 360 362 366 379 380 381 382 385 386 387 392 394 396 397 400 401 403 406 409 414 419 425 426 427 431 432 440 a 1 3 9 15 16 18 22 23 28 30 33 35 36 38 39 40 41 43 47 48 49 51 52 53 55 58 63 66 67 68 69 76 77 91 92 98 100 101 102 103 104 105 107 108 112 124 126 127 129 130 136 138 153 158 161 164 165 166 173 182 183 184 187 194 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 232 234 240 267 271 274 275 278 282 291 293 294 301 305 306 307 309 310 312 314 319 326 332 335 339 341 343 346 348 350 353 355 358 360 362 366 379 380 381 382 385 386 387 392 394 396 397 400 401 403 406 409 414 419 425 426 427 431 432 440 a 1 3 9 15 16 18 22 23 28 30 33 35 36 38 39 40 41 43 47 48 49 50 51 52 53 55 58 63 66 67 68 69 76 77 91 92 98 100 101 102 103 104 105 107 108 112 124 126 127 129 130 136 138 153 158 161 164 165 166 173 182 183 184 187 194 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 267 271 274 275 278 282 291 293 294 301 305 306 307 309 310 312 314 319 326 332 335 339 341 343 346 348 350 353 355 358 360 362 366 379 380 381 382 385 386 387 392 394 396 397 400 401 403 406 409 414 419 425 426 427 431 432 440 a 1 3 9 11 15 16 18 22 23 28 30 33 35 36 38 39 40 41 43 47 48 49 50 51 52 53 55 58 63 66 67 68 69 77 91 92 98 100 101 102 103 104 105 107 108 112 124 126 127 129 130 136 138 153 158 161 164 165 166 173 182 183 184 187 194 196 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 267 271 274 275 278 282 291 293 294 301 305 306 307 309 310 312 314 319 326 332 335 339 341 343 346 348 350 353 355 358 360 362 366 379 380 381 382 385 386 387 392 394 396 397 400 401 403 406 409 414 419 425 426 427 431 432 440 a 1 3 9 11 15 16 18 22 23 28 30 33 35 36 38 39 40 41 43 47 48 49 50 51 52 53 55 58 63 66 67 68 69 77 91 92 98 100 101 102 103 104 105 107 108 112 124 126 127 129 130 136 138 153 158 161 164 165 166 173 182 183 184 187 194 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 267 268 271 274 275 278 282 291 293 294 301 305 306 307 309 310 312 314 319 326 332 335 339 341 343 346 348 350 353 355 358 360 362 366 379 380 381 382 385 386 387 392 394 396 397 400 401 403 406 409 414 419 425 426 427 431 432 440 a 1 3 9 11 15 16 18 22 23 28 30 33 35 36 38 39 40 41 43 47 48 49 50 51 52 53 55 58 63 66 67 68 69 77 91 92 98 100 101 102 103 104 105 107 108 112 124 126 127 129 130 136 138 153 158 161 164 165 166 173 182 183 184 187 194 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 253 267 268 271 274 275 278 282 291 293 294 301 305 307 309 310 312 314 319 326 332 335 339 341 343 346 348 350 353 355 358 360 362 366 379 380 381 382 385 386 387 392 394 396 397 400 401 403 406 409 414 419 425 426 427 431 432 440 a 1 3 9 11 15 16 18 22 23 28 30 33 35 36 38 39 40 41 43 47 48 49 50 51 52 53 55 58 63 66 67 68 69 77 91 92 98 100 101 102 103 104 105 107 108 112 124 125 126 127 129 130 136 138 153 158 161 164 165 166 173 182 183 184 187 194 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 253 267 268 271 274 275 278 282 291 293 294 301 305 307 309 310 312 314 319 326 332 335 339 341 343 346 348 350 353 355 358 360 362 366 379 380 381 382 385 386 387 392 394 396 397 400 401 403 406 409 414 419 425 426 427 431 440 a 1 3 9 11 15 16 18 22 23 28 30 33 35 36 38 39 40 41 43 47 48 49 50 51 52 53 55 58 63 66 67 68 69 77 91 92 98 100 101 102 103 104 105 107 108 112 124 125 126 127 129 130 136 138 153 158 161 164 165 166 173 174 182 183 184 187 194 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 253 267 268 271 274 275 278 282 291 293 294 301 305 307 309 310 312 314 319 326 332 335 339 341 343 346 348 350 353 355 358 360 362 366 379 380 381 382 385 386 387 392 394 396 400 401 403 406 409 414 419 425 426 427 431 440 a 1 3 9 11 15 16 18 22 23 28 30 33 35 36 38 39 40 41 43 47 48 49 50 51 52 53 55 58 63 66 67 68 69 77 91 92 98 100 101 102 103 104 105 107 108 112 124 125 126 127 129 130 136 138 153 158 161 164 165 166 173 174 182 183 184 187 194 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 253 267 268 271 274 275 278 282 291 293 294 295 301 305 307 309 310 312 314 319 326 332 335 339 341 343 346 348 350 353 355 358 360 362 366 379 380 381 382 385 386 387 392 394 396 400 401 403 406 409 414 419 425 426 427 440 a 1 3 9 11 15 16 18 22 23 28 30 33 35 36 38 39 40 41 43 47 48 49 50 51 52 53 55 58 63 66 67 68 69 77 91 92 98 100 101 102 103 104 105 107 108 112 124 125 126 127 129 130 136 138 153 158 161 164 165 166 173 174 182 183 184 187 194 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 253 267 268 271 274 275 278 282 291 293 294 295 301 305 307 309 310 312 314 319 326 332 335 339 341 343 346 348 350 353 355 358 362 366 379 380 381 382 385 386 387 392 394 396 397 400 401 403 406 409 414 419 425 426 427 440 a 1 3 9 11 15 16 18 22 23 28 30 33 35 36 38 39 40 41 43 47 48 49 50 51 52 53 55 58 63 66 67 68 69 76 77 91 92 98 100 101 102 103 104 105 107 108 112 124 125 126 127 129 130 136 138 153 158 161 164 165 166 173 174 182 183 184 187 194 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 253 267 268 271 274 275 278 282 291 293 294 295 301 305 307 309 310 312 314 319 326 332 335 339 341 343 346 348 350 353 355 358 362 366 379 380 381 382 385 386 387 392 394 396 397 400 401 403 406 409 414 419 425 426 427 a 1 3 9 11 15 16 18 22 23 28 30 33 35 36 38 39 40 41 43 47 48 49 50 51 52 53 55 58 63 66 67 68 69 76 77 91 92 98 100 101 102 103 104 105 107 108 112 124 125 126 127 129 130 136 138 153 158 161 164 165 166 173 174 182 183 184 187 194 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 253 267 268 271 274 275 278 282 291 293 294 295 301 305 307 309 310 312 314 319 326 332 335 339 341 342 343 346 348 350 353 355 358 362 366 379 380 381 382 385 386 387 392 394 396 397 400 401 403 406 409 414 425 426 427 a 1 3 9 11 15 16 18 22 23 30 33 35 36 38 39 40 41 43 47 48 49 50 51 52 53 55 58 63 66 67 68 69 76 77 91 92 98 100 101 102 103 104 105 107 108 112 124 125 126 127 129 130 136 138 153 158 161 164 165 166 173 174 182 183 184 187 194 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 253 267 268 271 274 275 278 282 291 293 294 295 301 305 307 309 310 312 314 319 326 332 335 339 341 342 343 346 348 350 353 355 358 362 366 367 379 380 381 382 385 386 387 392 394 396 397 400 401 403 406 409 414 425 426 427 a 1 3 9 11 15 16 18 22 23 30 33 35 36 38 39 40 41 47 48 49 50 51 52 53 55 58 63 66 67 68 69 76 77 91 92 98 100 101 102 103 104 105 107 108 112 124 125 126 127 129 130 136 138 153 158 161 164 165 166 173 174 182 183 184 187 194 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 253 267 268 271 274 275 278 282 291 293 294 295 301 305 307 309 310 312 314 319 326 332 335 339 341 342 343 346 348 350 353 355 358 362 366 367 379 380 381 382 385 386 387 392 394 396 397 400 401 403 406 409 414 425 426 427 432 a 1 3 9 11 15 16 18 22 23 30 33 35 36 38 39 40 41 47 48 49 50 51 52 53 55 58 63 66 67 68 69 76 77 91 92 98 100 101 102 103 104 105 107 108 112 124 125 126 127 129 130 136 138 153 158 161 164 165 166 173 174 182 183 184 187 194 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 253 267 268 271 274 275 278 282 291 293 294 295 301 305 307 309 310 312 314 319 326 332 335 339 341 342 343 346 348 350 353 355 358 360 362 367 379 380 381 382 385 386 387 392 394 396 397 400 401 403 406 409 414 425 426 427 432 a 1 3 9 11 15 16 18 22 23 30 33 35 36 38 39 40 41 47 48 49 50 51 52 53 55 58 63 66 67 68 69 76 77 91 92 98 100 101 102 103 104 105 107 108 112 124 125 126 127 129 130 136 138 153 158 161 164 165 166 173 174 182 183 184 187 194 198 200 203 205 206 210 215 217 219 221 226 228 231 234 240 253 267 268 271 274 275 278 282 291 293 294 295 301 305 307 309 310 312 314 319 326 332 335 339 341 342 343 346 348 350 353 355 358 360 362 367 379 380 381 382 385 386 387 392 394 396 397 400 401 403 406 409 414 419 425 426 427 432 a 1 3 9 11 15 16 18 22 23 30 33 35 36 38 39 40 41 43 47 48 49 50 51 52 53 55 58 63 66 67 68 69 76 77 91 92 98 100 101 102 103 104 105 107 108 112 124 125 126 127 129 130 136 138 153 158 161 164 165 166 173 174 182 183 184 187 194 198 200 203 205 206 210 215 217 219 221 226 228 231 234 240 253 267 268 271 274 275 278 282 291 293 294 295 301 305 307 309 310 312 314 319 326 332 335 339 341 342 343 346 348 350 353 355 358 360 362 367 380 381 382 385 386 387 392 394 396 397 400 401 403 406 409 414 419 425 426 427 432 a 1 3 9 11 15 16 18 22 23 30 33 35 36 38 39 40 41 43 47 48 49 50 51 52 53 55 58 63 66 67 68 69 76 77 91 92 98 100 101 102 103 104 105 107 108 112 124 125 126 127 129 130 136 138 153 158 161 164 165 166 173 174 182 183 184 187 194 198 200 203 205 206 210 215 217 219 221 226 228 231 234 240 252 253 267 268 271 274 275 278 282 291 293 294 295 301 305 307 309 310 312 314 319 326 332 335 339 341 342 343 346 348 350 353 355 358 360 362 367 380 381 382 385 386 387 392 394 396 397 400 401 403 406 409 414 419 425 426 427 a 1 3 9 11 15 16 18 22 23 30 33 35 36 38 39 40 41 43 47 48 49 50 51 52 53 55 58 63 66 67 68 69 76 77 91 92 98 100 101 102 103 104 105 107 108 112 124 125 126 127 129 130 136 138 153 158 161 164 165 166 173 174 182 183 184 187 194 198 200 203 205 206 210 215 217 219 221 226 228 231 234 240 252 253 267 268 271 274 275 278 282 291 293 294 295 301 305 307 309 310 312 314 319 326 332 335 339 341 342 343 346 348 350 353 355 358 360 362 366 367 380 381 382 385 386 387 392 394 396 397 400 401 403 406 409 414 419 425 426 a 1 3 9 11 15 16 18 22 23 30 33 35 36 38 39 40 41 43 47 48 49 50 51 52 53 55 58 63 66 67 68 69 76 77 91 92 98 100 101 102 103 104 105 107 108 112 124 125 126 127 129 130 136 138 153 158 161 164 165 166 173 174 182 183 184 187 194 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 252 253 267 268 271 274 275 278 282 291 293 294 295 301 305 307 309 310 312 314 319 326 332 335 339 341 342 343 346 348 350 353 355 358 360 362 366 367 380 381 382 385 386 387 392 394 396 397 400 401 403 406 409 414 419 425 a 1 3 9 11 15 16 18 22 23 30 33 35 36 38 39 40 41 43 47 48 49 50 51 52 53 55 58 63 66 67 68 69 76 77 91 92 98 100 101 102 103 104 105 107 108 112 124 125 126 127 129 130 136 138 153 158 161 164 165 166 173 174 182 183 184 187 194 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 252 253 267 268 271 274 275 278 282 291 293 294 295 301 305 307 309 310 312 314 319 326 332 335 339 341 342 343 346 348 350 353 355 358 360 362 366 367 380 381 382 385 386 387 392 394 396 397 400 401 403 406 409 419 423 425 a 1 3 9 11 15 16 18 22 23 30 33 35 36 38 39 40 41 43 47 48 49 50 52 53 55 58 63 66 67 68 69 76 77 91 92 98 100 101 102 103 104 105 107 108 112 124 125 126 127 129 130 136 138 139 153 158 161 164 165 166 173 174 182 183 184 187 194 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 252 253 267 268 271 274 275 278 282 291 293 294 295 301 305 307 309 310 312 314 319 326 332 335 339 341 342 343 346 348 350 353 355 358 360 362 366 367 380 381 382 385 386 387 392 394 396 397 400 401 403 406 409 419 423 425 a 1 3 9 11 15 16 18 22 23 30 33 35 36 38 39 40 41 43 47 48 49 50 52 53 55 58 63 66 67 68 69 76 77 91 92 98 100 101 102 103 104 105 107 108 112 124 125 126 127 129 130 136 138 139 153 156 158 161 164 165 166 173 174 182 183 184 187 194 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 252 253 267 268 271 274 275 278 282 291 293 294 295 301 305 307 309 310 312 314 319 326 332 335 339 341 342 343 346 348 350 353 355 358 360 362 366 367 380 381 382 385 386 387 392 394 396 397 400 401 403 406 409 419 423 a 1 3 9 11 15 16 18 22 23 30 33 35 36 38 39 40 41 43 47 48 49 50 52 53 55 58 63 66 67 68 69 76 77 91 92 98 100 101 102 103 104 105 107 108 112 124 125 126 127 129 130 136 138 139 153 156 158 161 164 165 166 173 174 182 183 184 187 194 198 200 203 205 206 210 215 217 219 221 223 226 228 231 234 240 252 253 267 268 271 274 275 278 282 291 293 294 295 301 305 307 309 310 312 314 319 326 332 335 339 341 342 343 346 348 350 353 355 358 360 362 366 367 380 381 382 385 386 387 392 394 396 397 400 401 403 406 419 423 432 a 1 3 9 11 15 16 18 22 23 30 33 35 36 38 39 40 41 43 47 48 49 50 52 53 55 58 63 66 67 68 69 76 77 91 92 98 100 101 102 103 104 105 107 108 112 124 125 126 127 129 130 136 138 139 153 156 158 161 164 165 166 173 174 182 183 184 187 194 198 200 203 205 206 210 215 216 217 219 221 223 226 228 231 234 240 252 253 267 268 271 274 275 278 282 291 293 294 295 301 305 307 309 310 312 314 319 326 332 335 339 341 342 343 346 348 350 353 355 358 360 362 366 367 380 381 382 385 386 387 392 394 396 397 400 403 406 419 423 432 a 1 3 9 11 15 16 18 22 23 30 33 35 36 38 39 40 41 43 47 48 49 50 52 53 55 58 63 66 67 68 69 76 77 91 92 98 100 101 102 103 104 105 107 108 112 124 125 126 127 129 130 136 138 139 153 156 158 161 164 165 166 173 174 182 183 184 185 187 194 198 200 203 205 206 210 215 216 217 219 221 223 226 228 231 234 240 252 253 267 268 271 274 275 278 282 291 293 294 295 301 305 307 309 310 312 314 319 326 332 335 339 341 342 343 346 348 350 353 355 358 362 366 367 380 381 382 385 386 387 392 394 396 397 400 403 406 419 423 432 a 1 3 9 11 15 16 18 22 23 30 33 35 36 38 39 40 41 43 47 48 49 50 52 53 55 58 60 63 66 67 68 69 76 77 91 92 98 100 101 102 103 104 105 107 108 112 124 125 126 127 129 130 136 138 139 153 156 158 161 164 165 166 173 174 182 183 184 185 187 194 198 200 203 205 206 210 215 216 217 219 221 223 226 228 231 234 240 252 253 267 268 271 274 275 278 282 291 293 294 295 301 305 307 309 310 312 314 319 326 332 335 339 341 342 343 346 348 350 353 355 358 362 366 367 380 381 382 385 386 387 392 394 396 397 400 403 419 423 432 a 1 3 9 11 15 16 18 22 23 30 33 35 36 38 39 40 41 43 47 48 49 50 52 53 55 58 60 63 66 67 68 69 76 77 91 92 98 100 101 102 103 104 105 107 108 112 124 125 126 127 129 130 136 138 139 153 156 158 161 164 165 166 173 174 175 182 183 184 185 187 194 198 200 203 205 206 210 215 216 217 219 221 223 226 228 231 234 240 252 253 267 268 271 274 275 278 282 291 293 294 295 301 305 307 309 310 312 314 319 326 332 335 339 341 342 343 346 348 350 353 355 358 366 367 380 381 382 385 386 387 392 394 396 397 400 403 419 423 432 a 1 3 9 11 15 16 18 22 23 30 33 35 36 38 39 40 41 43 47 48 49 50 52 53 55 58 60 63 66 67 68 69 76 77 91 92 98 100 101 102 103 104 105 107 108 112 124 125 126 127 129 130 136 138 139 153 156 158 164 165 166 173 174 175 182 183 184 185 187 194 198 200 203 205 206 210 215 216 217 219 221 223 226 228 231 234 240 252 253 267 268 271 274 275 278 282 291 293 294 295 301 305 307 309 310 312 314 319 326 332 335 339 341 342 343 346 348 350 353 355 358 366 367 380 381 382 385 386 387 392 393 394 396 397 400 403 419 423 432 a 1 3 9 11 15 16 18 22 23 30 33 35 36 38 39 40 41 43 47 48 49 50 52 53 55 58 60 63 66 67 68 69 76 77 91 98 100 101 102 103 104 105 107 108 112 124 125 126 127 129 130 136 138 139 153 156 158 164 165 166 173 174 175 182 183 184 185 187 194 198 200 203 205 206 210 215 216 217 219 221 223 226 228 231 234 240 252 253 267 268 271 274 275 278 282 291 293 294 295 301 305 307 309 310 312 314 319 325 326 332 335 339 341 342 343 346 348 350 353 355 358 366 367 380 381 382 385 386 387 392 393 394 396 397 400 403 419 423 432 a 1 3 9 11 15 16 18 22 23 30 33 35 36 38 39 40 41 43 47 48 49 50 52 53 55 58 60 63 66 67 68 69 76 77 91 98 100 101 102 103 104 105 107 108 112 124 125 126 127 129 130 136 138 139 153 156 158 164 165 166 173 174 175 182 183 184 185 187 194 198 200 203 205 206 210 215 216 217 219 221 223 226 228 231 234 240 252 253 267 268 271 274 275 278 282 291 293 294 295 301 305 307 309 310 312 314 319 325 326 332 335 339 341 342 343 346 348 350 353 355 358 367 368 380 381 382 385 386 387 392 393 394 396 397 400 403 419 423 432 a 1 3 9 11 15 16 18 22 23 30 33 35 36 38 39 40 41 43 47 48 49 50 52 53 55 58 60 63 66 67 68 69 76 77 91 98 100 101 102 103 104 105 107 108 112 124 125 126 127 129 130 136 138 139 153 156 158 164 165 166 173 174 175 182 183 184 185 187 194 198 200 203 205 206 210 215 216 217 219 221 223 226 228 231 234 240 252 253 267 271 274 275 278 282 288 291 293 294 295 301 305 307 309 310 312 314 319 325 326 332 335 339 341 342 343 346 348 350 353 355 358 367 368 380 381 382 385 386 387 392 393 394 396 397 400 403 419 423 432 a 1 3 9 11 15 16 18 22 23 30 33 35 36 38 39 40 41 43 47 48 49 50 52 53 55 58 60 63 66 67 68 69 76 77 91 98 100 101 102 103 104 105 107 108 112 124 125 126 127 129 130 136 138 139 153 156 158 164 165 166 173 174 175 182 183 185 187 194 198 200 203 205 206 210 215 216 217 219 221 223 226 228 231 234 240 252 253 267 271 274 275 278 282 288 291 293 294 295 301 305 307 309 310 312 314 319 324 325 326 332 335 339 341 342 343 346 348 350 353 355 358 367 368 380 381 382 385 386 387 392 393 394 396 397 400 403 419 423 432 a 1 3 9 11 16 18 22 23 30 33 35 36 38 39 40 41 43 47 48 49 50 52 53 55 58 60 63 66 67 68 69 76 77 91 98 100 101 102 103 104 105 107 108 112 124 125 126 127 129 130 136 138 139 153 156 158 164 165 166 173 174 175 182 183 185 187 194 198 200 203 205 206 210 215 216 217 219 221 223 226 228 231 234 239 240 252 253 267 271 274 275 278 282 288 291 293 294 295 301 305 307 309 310 312 314 319 324 325 326 332 335 339 341 342 343 346 348 350 353 355 358 367 368 380 381 382 385 386 387 392 393 394 396 397 400 403 419 423 432 a 1 3 9 11 16 18 22 23 30 33 35 36 38 39 40 41 43 47 48 49 50 52 53 55 58 60 63 66 67 68 69 76 77 91 98 100 101 102 103 105 107 108 112 124 125 126 127 129 130 136 138 139 153 156 158 164 165 166 173 174 175 182 183 185 187 194 198 200 203 205 206 210 215 216 217 219 221 223 226 228 231 234 239 240 252 253 267 271 274 275 278 282 288 291 293 294 295 301 305 307 309 310 312 314 319 324 325 326 332 335 339 341 342 343 346 348 350 353 355 358 367 368 380 381 382 385 386 387 392 393 394 396 397 400 403 413 419 423 432 a 1 3 9 11 16 18 22 23 30 33 35 36 38 39 40 41 43 47 49 50 52 53 55 58 60 63 66 67 68 69 76 77 91 98 100 101 102 103 105 107 108 112 124 125 126 127 129 130 136 138 139 153 156 158 164 165 166 173 174 175 182 183 185 187 194 198 200 203 205 206 210 215 216 217 219 221 223 226 228 231 234 239 240 252 253 267 271 274 275 278 282 288 291 293 294 295 301 305 307 309 310 312 314 319 324 325 326 332 335 339 341 342 343 346 348 350 353 355 358 367 368 380 381 382 385 386 387 392 393 394 396 397 400 403 413 419 423 424 432 a 1 3 9 11 16 18 22 23 30 33 35 36 38 39 40 41 43 47 49 50 52 53 55 58 60 63 66 67 68 69 76 77 91 98 100 101 102 103 105 107 108 112 124 125 126 127 129 130 136 138 139 153 156 158 164 165 166 173 174 175 181 182 183 185 187 194 198 200 203 205 206 210 215 216 217 219 221 223 226 228 231 234 239 252 253 267 271 274 275 278 282 288 291 293 294 295 301 305 307 309 310 312 314 319 324 325 326 332 335 339 341 342 343 346 348 350 353 355 358 367 368 380 381 382 385 386 387 392 393 394 396 397 400 403 413 419 423 424 432 a 1 3 9 11 16 18 22 23 30 33 35 36 38 39 40 41 43 47 49 50 52 53 55 58 60 63 66 67 68 69 76 77 91 98 100 101 102 103 105 107 108 112 124 125 126 127 129 130 136 138 139 153 156 158 164 165 166 174 175 181 182 183 185 187 194 198 200 203 205 206 210 215 216 217 219 221 223 226 228 231 234 239 252 253 267 271 274 275 278 282 284 288 291 293 294 295 301 305 307 309 310 312 314 319 324 325 326 332 335 339 341 342 343 346 348 350 353 355 358 367 368 380 381 382 385 386 387 392 393 394 396 397 400 403 413 419 423 424 432 a 1 3 9 11 16 18 22 23 30 33 35 36 38 39 40 41 43 47 49 50 52 53 55 58 60 63 66 67 68 69 76 77 91 98 100 101 102 103 105 107 108 112 124 125 126 127 129 130 136 138 139 153 156 158 164 165 166 174 175 181 182 183 185 187 194 198 200 203 205 206 210 215 216 217 219 221 223 226 228 231 234 239 252 253 271 274 275 278 282 284 288 291 293 294 295 301 305 307 309 310 312 314 319 324 325 326 329 332 335 339 341 342 343 346 348 350 353 355 358 367 368 380 381 382 385 386 387 392 393 394 396 397 400 403 413 419 423 424 432 a 1 3 9 11 16 18 22 23 30 33 35 36 38 39 40 41 43 47 49 50 52 53 55 58 60 63 66 67 68 69 76 77 91 98 100 101 102 103 105 107 108 124 125 126 127 129 130 136 138 139 153 156 158 164 165 166 174 175 181 182 183 185 187 194 198 200 203 205 206 210 215 216 217 219 221 223 226 228 231 234 239 252 253 271 274 275 278 282 284 288 291 293 294 295 301 305 307 309 310 312 314 319 324 325 326 329 332 335 339 341 342 343 346 348 350 353 355 358 367 368 374 380 381 382 385 386 387 392 393 394 396 397 400 403 413 419 423 424 432 a 1 3 9 11 16 18 22 23 30 33 35 36 38 39 40 41 43 47 49 50 52 53 55 58 60 63 66 67 68 69 76 77 91 98 100 101 102 103 105 107 108 124 125 126 127 129 130 136 138 139 153 156 158 164 165 166 174 175 181 182 183 185 187 194 198 200 203 205 206 210 215 216 217 219 221 223 226 228 231 234 239 252 253 271 274 275 282 284 288 291 293 294 295 301 305 307 309 310 312 314 319 322 324 325 326 329 332 335 339 341 342 343 346 348 350 353 355 358 367 368 374 380 381 382 385 386 387 392 393 394 396 397 400 403 413 419 423 424 432 a 1 3 9 11 16 18 22 23 30 33 35 36 38 39 40 41 43 47 49 50 52 55 58 60 63 66 67 68 69 76 77 91 98 100 101 102 103 105 107 108 124 125 126 127 129 130 136 138 139 153 156 158 164 165 166 174 175 181 182 183 185 187 194 198 200 203 205 206 210 215 216 217 219 221 223 226 228 231 234 239 252 253 262 271 274 275 282 284 288 291 293 294 295 301 305 307 309 310 312 314 319 322 324 325 326 329 332 335 339 341 342 343 346 348 350 353 355 358 367 368 374 380 381 382 385 386 387 392 393 394 396 397 400 403 413 419 423 424 432 a 1 3 9 11 16 18 22 23 30 33 35 36 38 39 40 41 43 47 49 50 52 55 58 60 63 66 67 68 69 76 77 91 98 100 101 102 103 105 107 108 124 125 126 127 129 130 136 138 139 153 156 158 164 165 166 174 175 181 182 183 185 187 194 198 200 203 205 206 210 213 215 216 217 219 221 223 226 228 231 234 239 252 253 262 271 274 275 282 284 288 291 293 294 295 301 305 307 309 310 312 314 319 322 324 325 326 329 332 335 341 342 343 346 348 350 353 355 358 367 368 374 380 381 382 385 386 387 392 393 394 396 397 400 403 413 419 423 424 432 a 1 3 9 11 16 18 22 23 30 33 35 36 38 39 40 41 43 47 49 50 52 55 58 60 63 66 67 69 76 77 91 98 100 101 102 103 105 107 108 124 125 126 127 129 130 136 138 139 153 156 158 164 165 166 174 175 181 182 183 185 187 194 198 200 203 205 206 210 213 215 216 217 219 221 223 225 226 228 231 234 239 252 253 262 271 274 275 282 284 288 291 293 294 295 301 305 307 309 310 312 314 319 322 324 325 326 329 332 335 341 342 343 346 348 350 353 355 358 367 368 374 380 381 382 385 386 387 392 393 394 396 397 400 403 413 419 423 424 432 a 1 3 9 11 18 22 23 30 33 35 36 38 39 40 41 43 47 49 50 52 55 58 60 63 66 67 69 76 77 91 98 100 101 102 103 105 107 108 124 125 126 127 129 130 136 138 139 153 156 158 164 165 166 174 175 181 182 183 185 187 194 198 200 203 205 206 210 213 215 216 217 219 221 223 225 226 228 231 234 239 252 253 262 271 274 275 282 284 288 291 293 294 295 299 301 305 307 309 310 312 314 319 322 324 325 326 329 332 335 341 342 343 346 348 350 353 355 358 367 368 374 380 381 382 385 386 387 392 393 394 396 397 400 403 413 419 423 424 432 a 1 3 8 9 11 18 22 23 30 33 35 36 38 39 40 41 43 47 49 50 52 55 58 60 63 66 67 69 76 77 91 98 100 101 102 103 105 107 108 124 125 126 127 129 130 136 138 139 153 156 158 164 165 166 174 175 181 182 183 185 187 194 198 200 203 205 206 210 213 215 216 217 219 221 223 225 226 228 231 234 239 252 253 262 271 274 275 282 284 288 291 293 294 295 299 301 307 309 310 312 314 319 322 324 325 326 329 332 335 341 342 343 346 348 350 353 355 358 367 368 374 380 381 382 385 386 387 392 393 394 396 397 400 403 413 419 423 424 432 a 1 3 8 9 11 18 22 23 30 33 35 36 38 39 40 41 43 47 49 50 52 55 58 60 63 66 67 69 76 77 91 98 100 101 102 103 105 107 108 125 126 127 129 130 136 138 139 153 156 158 164 165 166 174 175 181 182 183 185 187 194 198 200 203 205 206 210 213 215 216 217 219 221 223 225 226 228 231 234 239 252 253 262 271 274 275 281 282 284 288 291 293 294 295 299 301 307 309 310 312 314 319 322 324 325 326 329 332 335 341 342 343 346 348 350 353 355 358 367 368 374 380 381 382 385 386 387 392 393 394 396 397 400 403 413 419 423 424 432 a 1 3 8 9 11 18 22 23 24 30 33 35 36 38 39 40 41 43 47 49 50 52 55 58 60 63 66 67 69 76 77 98 100 101 102 103 105 107 108 125 126 127 129 130 136 138 139 153 156 158 164 165 166 174 175 181 182 183 185 187 194 198 200 203 205 206 210 213 215 216 217 219 221 223 225 226 228 231 234 239 252 253 262 271 274 275 281 282 284 288 291 293 294 295 299 301 307 309 310 312 314 319 322 324 325 326 329 332 335 341 342 343 346 348 350 353 355 358 367 368 374 380 381 382 385 386 387 392 393 394 396 397 400 403 413 419 423 424 432 a 1 3 8 9 11 18 22 23 24 30 33 35 36 38 39 40 41 43 47 49 50 52 55 58 60 63 66 67 69 76 77 98 100 101 102 103 105 107 108 125 126 127 129 130 136 138 139 153 156 158 164 165 166 174 175 181 182 183 185 187 194 198 200 203 205 206 210 213 215 216 217 219 221 223 225 226 228 231 234 239 252 253 262 271 274 275 281 282 284 286 288 291 293 294 295 299 301 307 309 310 312 314 319 322 324 325 326 329 332 335 341 342 343 346 348 350 353 355 358 367 368 374 380 381 382 385 386 387 392 393 394 396 397 403 413 419 423 424 432 a 1 3 8 9 11 18 22 23 24 30 33 34 35 36 38 39 40 41 43 47 49 50 52 55 58 60 63 66 67 69 76 77 98 100 101 102 103 105 107 108 125 126 127 129 130 136 139 153 156 158 164 165 166 174 175 181 182 183 185 187 194 198 200 203 205 206 210 213 215 216 217 219 221 223 225 226 228 231 234 239 252 253 262 271 274 275 281 282 284 286 288 291 293 294 295 299 301 307 309 310 312 314 319 322 324 325 326 329 332 335 341 342 343 346 348 350 353 355 358 367 368 374 380 381 382 385 386 387 392 393 394 396 397 403 413 419 423 424 432 a 1 3 8 9 11 18 22 24 30 33 34 35 36 38 39 40 41 43 47 49 50 52 55 58 60 63 66 67 69 76 77 98 100 101 102 103 105 107 108 125 126 127 129 130 136 139 153 156 158 164 165 166 174 175 181 182 183 185 187 194 198 200 203 205 206 210 213 215 216 217 219 221 223 225 226 228 231 234 239 252 253 256 262 271 274 275 281 282 284 286 288 291 293 294 295 299 301 307 309 310 312 314 319 322 324 325 326 329 332 335 341 342 343 346 348 350 353 355 358 367 368 374 380 381 382 385 386 387 392 393 394 396 397 403 413 419 423 424 432 a 1 3 8 9 11 18 22 24 30 33 34 35 36 38 39 40 41 43 47 49 50 52 55 58 60 63 66 67 69 76 77 98 100 101 102 103 105 107 108 125 126 127 129 130 136 139 149 156 158 164 165 166 174 175 181 182 183 185 187 194 198 200 203 205 206 210 213 215 216 217 219 221 223 225 226 228 231 234 239 252 253 256 262 271 274 275 281 282 284 286 288 291 293 294 295 299 301 307 309 310 312 314 319 322 324 325 326 329 332 335 341 342 343 346 348 350 353 355 358 367 368 374 380 381 382 385 386 387 392 393 394 396 397 403 413 419 423 424 432 a 1 3 8 9 11 18 22 24 30 33 34 35 36 38 39 40 41 43 47 49 50 52 55 58 60 63 66 67 69 76 77 98 100 101 102 103 105 107 108 125 126 127 129 130 136 139 149 156 158 164 165 166 175 181 182 183 185 187 194 198 200 203 205 206 210 213 215 216 217 219 221 223 225 226 228 231 234 239 252 253 256 262 271 274 275 281 282 284 286 288 291 293 294 295 299 301 307 309 310 312 314 319 322 324 325 326 329 332 335 338 341 342 343 346 348 350 353 355 358 367 368 374 380 381 382 385 386 387 392 393 394 396 397 403 413 419 423 424 432 a 1 3 8 9 11 18 22 24 30 33 34 35 36 39 40 41 43 47 49 50 52 55 58 60 63 66 67 69 76 77 98 100 101 102 103 105 107 108 125 126 127 129 130 136 139 149 150 156 158 164 165 166 175 181 182 183 185 187 194 198 200 203 205 206 210 213 215 216 217 219 221 223 225 226 228 231 234 239 252 253 256 262 271 274 275 281 282 284 286 288 291 293 294 295 299 301 307 309 310 312 314 319 322 324 325 326 329 332 335 338 341 342 343 346 348 350 353 355 358 367 368 374 380 381 382 385 386 387 392 393 394 396 397 403 413 419 423 424 432 a 1 3 8 9 11 18 22 24 30 33 34 35 36 39 40 41 43 47 49 50 52 55 58 60 63 66 67 69 76 77 98 100 101 102 103 105 107 108 125 126 127 129 130 136 139 149 150 155 156 158 164 165 166 175 181 182 183 185 187 194 198 200 203 205 206 210 213 215 216 217 219 221 223 225 228 231 234 239 252 253 256 262 271 274 275 281 282 284 286 288 291 293 294 295 299 301 307 309 310 312 314 319 322 324 325 326 329 332 335 338 341 342 343 346 348 350 353 355 358 367 368 374 380 381 382 385 386 387 392 393 394 396 397 403 413 419 423 424 432 a 1 3 8 9 11 18 22 24 30 33 34 35 36 39 40 41 43 47 49 50 52 55 58 60 63 66 67 69 76 77 98 100 101 102 103 105 107 108 125 126 127 129 130 136 139 149 150 155 156 158 164 165 166 175 181 183 185 187 194 198 200 203 205 206 210 213 215 216 217 219 221 223 225 228 231 234 239 252 253 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 299 301 307 309 310 312 314 319 322 324 325 326 329 332 335 338 341 342 343 346 348 350 353 355 358 367 368 374 380 381 382 385 386 387 392 393 394 396 397 403 413 419 423 424 432 a 1 3 8 9 11 18 22 24 30 33 34 35 36 39 40 43 47 49 50 52 55 58 60 63 66 67 69 76 77 98 100 101 102 103 105 107 108 125 126 127 129 130 136 139 149 150 155 156 158 164 165 166 175 181 183 185 187 194 198 200 203 205 206 210 213 215 216 217 219 221 223 225 228 230 231 234 239 252 253 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 299 301 307 309 310 312 314 319 322 324 325 326 329 332 335 338 341 342 343 346 348 350 353 355 358 367 368 374 380 381 382 385 386 387 392 393 394 396 397 403 413 419 423 424 432 a 1 3 8 9 11 18 22 24 30 33 34 35 36 39 40 43 47 49 50 52 55 58 60 63 66 67 69 76 77 98 100 101 102 103 105 107 108 120 125 126 127 129 130 136 139 149 150 155 156 158 164 165 166 175 181 183 185 187 194 198 200 203 205 206 210 213 215 216 217 219 221 223 225 228 230 231 234 239 252 253 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 299 301 307 309 310 312 314 319 322 324 325 326 329 332 335 338 341 342 343 346 348 350 353 355 358 368 374 380 381 382 385 386 387 392 393 394 396 397 403 413 419 423 424 432 a 1 3 8 9 11 18 22 24 30 33 34 35 36 39 40 43 47 49 50 52 55 58 60 63 66 67 69 76 77 98 100 101 102 103 105 107 108 120 125 126 127 129 130 136 139 149 150 155 156 158 164 165 166 175 181 183 185 187 194 198 200 203 205 206 210 213 215 216 217 219 221 223 225 228 230 231 234 239 252 253 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 299 301 307 309 310 312 314 319 322 324 325 326 329 332 335 338 341 343 346 348 350 353 355 358 368 374 380 381 382 385 386 387 392 393 394 396 397 403 413 419 423 424 432 440 a 1 3 8 9 11 18 22 24 30 33 34 35 36 39 40 43 47 49 50 52 55 60 63 66 67 69 76 77 98 100 101 102 103 105 107 108 120 125 126 127 129 130 136 139 149 150 155 156 158 164 165 166 175 181 183 185 187 194 198 200 203 205 206 210 213 215 216 217 219 221 223 225 228 230 231 234 239 252 253 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 299 301 307 309 310 312 314 319 322 324 325 326 329 332 335 338 341 343 346 347 348 350 353 355 358 368 374 380 381 382 385 386 387 392 393 394 396 397 403 413 419 423 424 432 440 a 1 3 8 9 11 18 22 24 30 33 34 35 36 39 40 43 47 49 50 52 55 60 63 65 66 67 69 76 77 98 100 101 102 103 105 107 108 120 126 127 129 130 136 139 149 150 155 156 158 164 165 166 175 181 183 185 187 194 198 200 203 205 206 210 213 215 216 217 219 221 223 225 228 230 231 234 239 252 253 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 299 301 307 309 310 312 314 319 322 324 325 326 329 332 335 338 341 343 346 347 348 350 353 355 358 368 374 380 381 382 385 386 387 392 393 394 396 397 403 413 419 423 424 432 440 a 1 3 8 9 11 18 22 24 33 34 35 36 39 40 43 47 49 50 52 55 60 63 65 66 67 69 76 77 98 100 101 102 103 105 107 108 120 126 127 129 130 136 139 149 150 155 156 158 164 165 166 175 181 183 185 187 194 198 200 203 205 206 210 213 215 216 217 219 221 223 225 228 230 231 234 239 252 253 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 299 301 307 309 310 312 314 319 322 324 325 326 329 332 335 338 341 343 346 347 348 350 353 355 358 368 374 380 381 382 385 386 387 392 393 394 396 397 403 413 419 423 424 432 434 440 a 1 3 8 9 11 18 22 24 33 34 35 36 39 40 43 47 49 50 52 55 60 63 65 66 67 69 76 77 98 100 101 102 103 105 107 108 120 126 127 129 130 136 139 149 150 155 156 158 164 165 166 175 181 183 185 187 194 198 200 203 204 205 206 210 213 215 216 217 219 221 223 225 228 230 231 234 239 252 253 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 299 301 307 309 310 312 314 319 322 324 325 326 329 332 335 338 341 343 346 347 348 350 353 355 358 368 374 380 381 382 386 387 392 393 394 396 397 403 413 419 423 424 432 434 440 a 1 3 8 9 11 18 22 24 33 34 35 36 39 40 43 47 49 50 52 55 60 63 65 66 67 69 76 77 98 100 101 102 103 105 107 108 120 126 129 130 136 139 149 150 155 156 158 164 165 166 172 175 181 183 185 187 194 198 200 203 204 205 206 210 213 215 216 217 219 221 223 225 228 230 231 234 239 252 253 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 299 301 307 309 310 312 314 319 322 324 325 326 329 332 335 338 341 343 346 347 348 350 353 355 358 368 374 380 381 382 386 387 392 393 394 396 397 403 413 419 423 424 432 434 440 a 1 3 8 9 11 18 22 24 33 34 35 36 39 40 43 47 49 50 52 55 60 63 65 66 67 69 76 77 98 100 101 102 103 105 107 108 120 126 129 130 136 139 149 150 155 156 158 164 165 166 172 175 181 183 185 187 194 198 200 203 204 206 210 213 215 216 217 219 221 223 225 228 230 231 234 239 252 253 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 299 301 307 309 310 312 314 319 322 324 325 326 329 332 335 336 338 341 343 346 347 348 350 353 355 358 368 374 380 381 382 386 387 392 393 394 396 397 403 413 419 423 424 432 434 440 a 1 3 8 9 11 18 22 24 33 34 35 36 39 40 43 47 49 50 52 55 60 63 65 66 67 69 76 77 88 98 100 101 102 103 105 107 108 120 126 129 130 136 139 149 150 155 156 158 164 165 166 172 175 181 183 185 187 194 198 200 203 204 206 210 213 215 216 217 219 221 223 225 230 231 234 239 252 253 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 299 301 307 309 310 312 314 319 322 324 325 326 329 332 335 336 338 341 343 346 347 348 350 353 355 358 368 374 380 381 382 386 387 392 393 394 396 397 403 413 419 423 424 432 434 440 a 1 3 8 9 11 18 22 24 33 34 35 36 39 40 47 49 50 52 55 60 63 65 66 67 69 76 77 88 98 100 101 102 103 105 107 108 120 126 129 130 136 139 149 150 155 156 158 162 164 165 166 172 175 181 183 185 187 194 198 200 203 204 206 210 213 215 216 217 219 221 223 225 230 231 234 239 252 253 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 299 301 307 309 310 312 314 319 322 324 325 326 329 332 335 336 338 341 343 346 347 348 350 353 355 358 368 374 380 381 382 386 387 392 393 394 396 397 403 413 419 423 424 432 434 440 a 1 3 8 9 11 18 22 24 33 34 35 36 39 40 47 49 50 52 55 60 63 65 66 67 69 76 77 88 98 100 101 102 103 105 107 108 115 120 126 129 130 136 139 149 150 155 156 158 162 164 165 166 172 175 181 183 185 187 194 198 200 203 204 206 210 213 215 216 217 219 221 223 225 230 231 234 239 252 253 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 299 301 307 310 312 314 319 322 324 325 326 329 332 335 336 338 341 343 346 347 348 350 353 355 358 368 374 380 381 382 386 387 392 393 394 396 397 403 413 419 423 424 432 434 440 a 1 3 4 8 9 11 18 22 24 33 34 35 36 40 47 49 50 52 55 60 63 65 66 67 69 76 77 88 98 100 101 102 103 105 107 108 115 120 126 129 130 136 139 149 150 155 156 158 162 164 165 166 172 175 181 183 185 187 194 198 200 203 204 206 210 213 215 216 217 219 221 223 225 230 231 234 239 252 253 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 299 301 307 310 312 314 319 322 324 325 326 329 332 335 336 338 341 343 346 347 348 350 353 355 358 368 374 380 381 382 386 387 392 393 394 396 397 403 413 419 423 424 432 434 440 a 1 3 4 8 9 11 18 22 24 33 34 35 36 40 47 49 50 52 55 60 63 65 66 67 69 76 77 88 98 100 101 102 103 105 107 108 115 120 126 129 130 136 139 149 150 155 156 158 162 164 165 166 172 175 181 183 185 187 194 198 200 203 204 206 210 213 215 216 217 219 221 223 225 230 231 234 239 252 253 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 297 299 301 307 310 312 314 319 322 324 325 326 329 332 335 336 338 341 343 346 347 348 350 353 355 358 368 374 380 381 382 386 387 392 393 394 396 397 403 413 423 424 432 434 440 a 3 4 8 9 11 18 22 24 28 33 34 35 36 40 47 49 50 52 55 60 63 65 66 67 69 76 77 88 98 100 101 102 103 105 107 108 115 120 126 129 130 136 139 149 150 155 156 158 162 164 165 166 172 175 181 183 185 187 194 198 200 203 204 206 210 213 215 216 217 219 221 223 225 230 231 234 239 252 253 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 297 299 301 307 310 312 314 319 322 324 325 326 329 332 335 336 338 341 343 346 347 348 350 353 355 358 368 374 380 381 382 386 387 392 393 394 396 397 403 413 423 424 432 434 440 a 3 4 8 9 11 18 22 24 28 33 34 35 36 40 47 49 50 52 55 60 63 65 66 67 69 76 77 88 98 100 101 102 103 105 107 108 115 117 120 126 129 130 136 139 149 150 155 156 158 162 164 165 166 172 175 181 183 185 187 194 198 200 203 204 206 210 213 215 216 217 219 221 223 225 230 231 234 239 252 253 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 297 299 301 307 310 312 314 319 322 324 325 326 329 332 335 336 338 341 346 347 348 350 353 355 358 368 374 380 381 382 386 387 392 393 394 396 397 403 413 423 424 432 434 440 a 3 4 8 9 11 18 22 24 28 33 34 35 36 40 47 49 50 52 60 63 65 66 67 69 76 77 88 98 100 101 102 103 105 107 108 115 117 120 126 129 130 136 139 149 150 155 156 158 162 164 165 166 172 175 181 183 185 187 194 198 200 203 204 206 210 213 215 216 217 219 221 223 225 230 231 234 239 252 253 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 297 299 301 307 310 312 314 319 322 324 325 326 329 332 335 336 338 341 346 347 348 350 353 355 358 368 374 380 381 382 386 387 392 393 394 396 397 403 413 423 424 428 432 434 440 a 3 4 8 9 11 18 22 24 28 33 34 35 36 40 47 49 50 52 60 65 66 67 69 76 77 88 98 100 101 102 103 105 107 108 115 117 120 126 129 130 136 139 149 150 155 156 158 162 164 165 166 172 175 181 183 185 187 194 198 200 201 203 204 206 210 213 215 216 217 219 221 223 225 230 231 234 239 252 253 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 297 299 301 307 310 312 314 319 322 324 325 326 329 332 335 336 338 341 346 347 348 350 353 355 358 368 374 380 381 382 386 387 392 393 394 396 397 403 413 423 424 428 432 434 440 a 3 4 8 9 11 18 22 24 28 33 34 35 36 40 47 49 50 52 60 65 66 67 69 76 88 98 100 101 102 103 105 107 108 115 117 120 126 129 130 136 139 149 150 155 156 158 162 164 165 166 172 175 181 183 185 187 194 198 200 201 203 204 206 210 213 215 216 217 219 221 223 225 230 231 234 239 252 253 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 297 299 301 307 310 311 312 314 319 322 324 325 326 329 332 335 336 338 341 346 347 348 350 353 355 358 368 374 380 381 382 386 387 392 393 394 396 397 403 413 423 424 428 432 434 440 a 3 4 8 9 11 18 22 24 28 33 34 35 36 40 47 49 50 52 60 65 66 67 69 76 88 98 100 101 102 103 105 107 108 115 117 120 126 129 130 139 149 150 155 156 158 162 164 165 166 172 175 181 183 185 187 194 198 200 201 203 204 206 210 213 215 216 217 219 221 223 225 230 231 234 239 252 253 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 297 299 301 307 310 311 312 314 319 322 323 324 325 326 329 332 335 336 338 341 346 347 348 350 353 355 358 368 374 380 381 382 386 387 392 393 394 396 397 403 413 423 424 428 432 434 440 a 3 4 8 9 11 18 22 24 28 33 34 35 36 40 47 49 50 52 56 60 65 66 67 69 76 88 98 100 101 102 103 105 107 108 115 117 120 126 129 130 139 149 150 155 156 158 162 164 165 166 172 175 181 183 185 187 194 198 200 201 203 204 206 210 213 215 216 217 219 221 223 225 230 231 234 239 253 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 297 299 301 307 310 311 312 314 319 322 323 324 325 326 329 332 335 336 338 341 346 347 348 350 353 355 358 368 374 380 381 382 386 387 392 393 394 396 397 403 413 423 424 428 432 434 440 a 3 4 8 9 11 18 22 24 28 33 34 35 36 40 47 49 50 52 56 60 65 66 67 69 76 88 98 100 101 102 103 105 107 108 115 117 120 126 129 130 139 149 150 155 156 158 162 164 165 166 172 175 181 183 185 194 198 200 201 203 204 206 210 213 215 216 217 219 221 223 225 230 231 234 239 253 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 297 299 301 307 310 311 312 314 319 322 323 324 325 326 329 332 335 336 338 341 346 347 348 350 353 355 358 368 374 380 381 382 386 387 389 392 393 394 396 397 403 413 423 424 428 432 434 440 a 3 4 8 9 11 18 22 24 28 33 34 35 36 40 49 50 52 56 60 65 66 67 69 76 88 98 100 101 102 103 105 107 108 115 117 120 126 129 130 139 149 150 155 156 158 162 164 165 166 172 175 181 183 185 194 198 200 201 203 204 206 210 213 215 216 217 219 221 223 225 230 231 234 239 253 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 297 299 301 307 310 311 312 314 319 322 323 324 325 326 329 332 335 336 338 341 346 347 348 350 353 355 358 368 374 380 381 382 384 386 387 389 392 393 394 396 397 403 413 423 424 428 432 434 440 a 3 4 8 9 11 18 22 24 28 33 34 35 36 40 49 50 52 56 60 65 66 67 69 76 88 98 100 101 102 103 105 107 108 115 117 120 126 129 130 139 149 150 155 156 158 162 164 165 166 172 175 181 183 185 194 198 200 201 203 204 206 213 215 216 217 219 221 223 225 230 231 234 239 253 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 297 299 301 307 310 311 312 314 319 322 323 324 325 326 329 332 335 336 338 341 346 347 348 350 353 355 358 368 374 380 381 382 384 386 387 389 392 393 394 396 397 402 403 413 423 424 428 432 434 440 a 3 4 8 9 11 18 22 24 28 33 34 35 36 40 49 50 52 56 60 65 66 67 69 76 88 98 100 101 102 103 105 107 108 115 117 120 126 129 130 139 149 150 155 156 158 162 164 165 166 172 175 181 183 185 198 200 201 203 204 206 213 215 216 217 219 221 223 225 230 231 234 239 253 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 297 299 301 307 310 311 312 314 319 322 323 324 325 326 329 332 335 336 338 341 346 347 348 350 353 355 358 368 374 380 381 382 384 386 387 389 392 393 394 396 397 398 402 403 413 423 424 428 432 434 440 a 3 4 8 9 11 18 22 24 28 33 34 35 36 40 49 50 52 56 60 65 66 67 69 76 88 98 100 101 102 103 105 107 108 115 117 120 126 129 130 139 149 150 155 156 158 162 164 165 166 172 175 181 183 185 198 200 201 203 204 206 213 215 216 217 219 221 223 225 230 231 234 239 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 297 299 301 306 307 310 311 312 314 319 322 323 324 325 326 329 332 335 336 338 341 346 347 348 350 353 355 358 368 374 380 381 382 384 386 387 389 392 393 394 396 397 398 402 403 413 423 424 428 432 434 440 a 3 4 8 9 11 18 22 24 28 33 34 35 36 40 49 50 52 56 60 65 66 67 69 76 86 88 98 100 101 102 103 105 107 108 115 117 120 126 129 130 139 149 150 155 156 158 162 164 166 172 175 181 183 185 198 200 201 203 204 206 213 215 216 217 219 221 223 225 230 231 234 239 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 297 299 301 306 307 310 311 312 314 319 322 323 324 325 326 329 332 335 336 338 341 346 347 348 350 353 355 358 368 374 380 381 382 384 386 387 389 392 393 394 396 397 398 402 403 413 423 424 428 432 434 440 a 3 4 8 9 11 18 22 24 28 33 34 35 36 40 49 50 52 56 60 65 66 67 69 76 86 88 98 100 101 102 103 105 107 108 115 117 120 126 129 130 139 149 150 155 156 158 162 164 166 172 175 181 183 185 198 200 201 203 204 206 213 215 216 217 219 221 223 225 230 231 234 239 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 297 299 301 306 307 311 312 314 319 322 323 324 325 326 329 332 335 336 338 341 346 347 348 350 353 355 358 368 374 380 381 382 384 386 387 389 392 393 394 396 397 398 399 402 403 413 423 424 428 432 434 440 a 3 4 8 9 11 18 20 22 24 28 33 34 35 36 40 49 50 52 56 60 65 66 67 69 76 86 88 98 100 101 102 103 105 107 108 115 117 120 126 129 130 139 149 150 155 156 158 162 164 166 172 175 181 183 185 198 200 201 203 204 206 213 215 216 217 219 221 223 225 230 231 234 239 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 297 299 301 306 307 311 312 314 319 322 323 324 325 326 329 332 335 336 338 341 346 347 348 350 353 355 368 374 380 381 382 384 386 387 389 392 393 394 396 397 398 399 402 403 413 423 424 428 432 434 440 a 3 4 8 9 11 18 20 22 24 28 33 34 35 36 40 49 50 52 56 60 65 66 67 69 76 86 88 98 100 101 102 103 105 107 108 115 117 120 126 129 130 139 149 150 155 156 158 162 164 166 172 175 181 183 185 192 198 200 201 203 204 206 213 215 216 217 219 221 223 225 230 231 234 239 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 297 299 301 306 307 311 312 314 319 322 323 324 325 326 329 332 335 336 338 341 346 347 348 350 353 355 368 374 380 381 382 384 386 387 389 393 394 396 397 398 399 402 403 413 423 424 428 432 434 440 a 3 4 8 9 11 18 20 22 24 28 33 34 35 36 40 49 50 52 56 60 65 66 67 69 76 86 88 98 100 101 102 103 105 107 108 115 117 120 126 129 130 139 149 150 155 156 158 162 166 172 175 181 183 185 192 198 200 201 203 204 206 213 215 216 217 219 221 223 225 230 231 234 239 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 297 299 301 306 307 311 312 314 315 319 322 323 324 325 326 329 332 335 336 338 341 346 347 348 350 353 355 368 374 380 381 382 384 386 387 389 393 394 396 397 398 399 402 403 413 423 424 428 432 434 440 a 3 4 8 9 11 20 22 24 28 33 34 35 36 40 49 50 52 56 60 65 66 67 69 76 86 88 98 100 101 102 103 105 107 108 115 117 120 126 129 130 139 149 150 155 156 158 162 166 172 175 181 183 185 192 198 200 201 203 204 206 213 215 216 217 219 221 223 225 230 231 234 239 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 297 299 301 306 307 311 312 314 315 319 322 323 324 325 326 329 332 335 336 338 341 346 347 348 350 353 355 368 374 380 381 382 384 386 387 389 393 394 396 397 398 399 402 403 413 422 423 424 428 432 434 440 a 3 4 8 9 11 20 22 24 28 33 34 35 36 40 49 50 52 56 60 65 66 67 69 76 86 88 98 100 101 102 103 105 108 115 117 120 126 129 130 139 149 150 155 156 158 162 166 172 175 181 183 185 192 198 200 201 203 204 206 213 215 216 217 219 221 223 225 230 231 234 239 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 297 299 301 306 307 311 312 314 315 319 322 323 324 325 326 329 332 335 336 338 341 346 347 348 349 350 353 355 368 374 380 381 382 384 386 387 389 393 394 396 397 398 399 402 403 413 422 423 424 428 432 434 440 a 3 4 8 9 11 20 22 24 28 34 35 36 40 49 50 52 56 60 65 66 67 69 76 86 88 98 100 101 102 103 105 108 115 117 120 126 129 130 139 149 150 155 156 158 162 166 172 175 181 183 185 192 198 200 201 203 204 206 213 215 216 217 218 219 221 223 225 230 231 234 239 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 297 299 301 306 307 311 312 314 315 319 322 323 324 325 326 329 332 335 336 338 341 346 347 348 349 350 353 355 368 374 380 381 382 384 386 387 389 393 394 396 397 398 399 402 403 413 422 423 424 428 432 434 440 a 3 4 8 9 11 20 22 24 28 34 35 36 40 49 50 56 60 65 66 67 69 76 86 88 98 100 101 102 103 105 106 108 115 117 120 126 129 130 139 149 150 155 156 158 162 166 172 175 181 183 185 192 198 200 201 203 204 206 213 215 216 217 218 219 221 223 225 230 231 234 239 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 297 299 301 306 307 311 312 314 315 319 322 323 324 325 326 329 332 335 336 338 341 346 347 348 349 350 353 355 368 374 380 381 382 384 386 387 389 393 394 396 397 398 399 402 403 413 422 423 424 428 432 434 440 a 3 4 8 9 11 20 22 24 28 34 35 36 40 49 50 56 60 65 66 67 69 76 83 86 88 98 100 101 102 103 105 106 108 115 117 120 126 129 130 139 149 150 155 156 158 162 166 172 175 181 183 185 192 198 200 201 203 204 206 213 215 216 217 218 219 221 223 225 230 231 234 239 256 262 271 274 275 281 282 284 286 288 289 291 293 294 295 297 299 301 306 307 311 312 314 315 319 322 323 324 325 326 329 332 335 336 338 341 346 347 348 349 350 353 355 368 374 380 381 382 384 386 387 389 393 396 397 398 399 402 403 413 422 423 424 428 432 434 440 a 3 4 8 9 11 20 22 24 28 34 35 36 40 49 50 56 60 65 66 67 69 76 83 86 88 98 100 101 102 103 105 106 108 115 117 120 126 129 130 139 149 150 155 156 158 162 166 172 175 181 183 185 192 198 200 201 203 204 206 213 215 216 217 218 219 221 223 225 230 231 234 239 256 262 271 274 275 281 282 284 285 286 288 289 291 293 294 295 297 299 301 306 307 311 312 314 315 322 323 324 325 326 329 332 335 336 338 341 346 347 348 349 350 353 355 368 374 380 381 382 384 386 387 389 393 396 397 398 399 402 403 413 422 423 424 428 432 434 440 a 3 4 8 9 11 20 22 24 28 34 35 36 40 49 50 56 60 65 66 67 69 76 83 86 88 98 100 101 102 103 105 106 108 115 117 120 126 129 130 139 149 150 155 156 158 162 172 175 181 183 185 192 198 200 201 203 204 206 213 215 216 217 218 219 221 223 225 230 231 234 239 256 262 271 274 275 281 282 284 285 286 288 289 291 293 294 295 297 299 301 306 307 311 312 314 315 322 323 324 325 326 329 332 334 335 336 338 341 346 347 348 349 350 353 355 368 374 380 381 382 384 386 387 389 393 396 397 398 399 402 403 413 422 423 424 428 432 434 440 a 3 4 8 9 11 20 22 24 28 34 35 36 40 49 50 56 60 65 66 67 69 76 83 86 88 98 100 101 102 103 105 106 108 115 117 120 126 129 130 139 140 149 150 155 156 158 162 172 175 181 183 185 192 198 200 201 203 204 206 213 215 216 217 218 219 223 225 230 231 234 239 256 262 271 274 275 281 282 284 285 286 288 289 291 293 294 295 297 299 301 306 307 311 312 314 315 322 323 324 325 326 329 332 334 335 336 338 341 346 347 348 349 350 353 355 368 374 380 381 382 384 386 387 389 393 396 397 398 399 402 403 413 422 423 424 428 432 434 440 a 3 4 8 9 11 20 22 24 28 34 35 36 40 49 50 56 60 65 66 67 69 76 83 86 88 98 100 101 102 103 105 106 108 115 117 120 126 129 130 139 140 149 150 155 156 158 162 172 175 181 183 185 192 198 200 201 203 204 206 213 215 216 217 218 219 223 225 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 291 293 294 295 297 299 301 306 307 311 312 314 315 322 323 324 325 326 329 332 334 335 336 338 341 346 347 348 349 350 353 355 368 374 380 381 382 384 386 387 389 393 396 397 398 399 402 403 413 422 423 424 428 432 434 440 a 3 4 8 9 11 20 22 24 28 34 35 36 40 49 50 56 60 65 67 69 76 83 86 88 98 100 101 102 103 105 106 108 115 116 117 120 126 129 130 139 140 149 150 155 156 158 162 172 175 181 183 185 192 198 200 201 203 204 206 213 215 216 217 218 219 223 225 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 291 293 294 295 297 299 301 306 307 311 312 314 315 322 323 324 325 326 329 332 334 335 336 338 341 346 347 348 349 350 353 355 368 374 380 381 382 384 386 387 389 393 396 397 398 399 402 403 413 422 423 424 428 432 434 440 a 3 4 8 9 11 20 22 24 28 34 35 36 40 49 50 56 60 65 67 69 76 83 86 88 98 100 101 102 103 105 106 108 115 116 117 120 126 129 130 139 140 149 150 155 156 158 162 172 175 181 183 185 192 198 200 201 203 204 206 213 215 216 217 218 219 223 225 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 291 293 294 295 297 299 301 303 306 307 311 312 314 315 322 323 324 325 326 329 332 334 335 336 338 341 346 347 348 349 350 353 355 368 374 380 381 382 384 387 389 393 396 397 398 399 402 403 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 22 24 28 34 35 36 40 49 50 56 60 65 67 69 76 83 86 88 98 101 102 103 105 106 108 115 116 117 120 126 129 130 139 140 149 150 155 156 158 162 172 175 181 183 185 192 198 200 201 203 204 206 213 215 216 217 218 219 223 225 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 291 293 294 295 297 299 301 303 306 307 311 312 314 315 322 323 324 325 326 329 332 334 335 336 338 341 346 347 348 349 350 353 355 368 374 380 381 382 384 387 389 393 396 397 398 399 402 403 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 22 24 28 34 35 36 40 49 50 56 60 65 67 69 76 83 86 88 98 101 102 103 105 106 108 115 116 117 120 126 129 130 139 140 149 150 155 156 158 162 172 175 181 183 185 192 198 200 201 203 204 206 213 215 216 217 218 219 223 225 230 231 235 239 256 262 271 274 275 281 282 284 285 286 288 289 291 293 294 295 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 350 353 368 374 380 381 382 384 387 389 393 396 397 398 399 402 403 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 22 24 28 34 35 36 40 49 50 56 60 65 67 69 76 83 86 88 98 101 102 103 105 106 108 115 116 117 120 126 129 130 139 140 149 150 155 156 158 162 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 291 293 294 295 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 350 353 368 374 375 380 381 382 384 387 389 393 396 397 398 399 402 403 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 22 24 28 34 35 36 40 49 50 56 60 65 67 69 76 83 86 88 98 101 102 103 105 106 108 109 115 116 117 120 126 129 130 139 140 149 150 155 156 158 162 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 291 293 294 295 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 403 413 422 423 424 428 432 434 440 a 2 3 4 8 9 11 20 22 24 28 34 35 36 40 49 50 56 60 65 67 69 76 83 86 88 98 101 102 103 105 106 108 109 115 116 117 120 126 129 130 139 140 141 149 150 155 156 158 162 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 291 293 294 295 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 69 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 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 291 293 294 295 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 69 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 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 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): 550.74 System time (seconds): 5.62 Percent of CPU this job got: 151% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:06.17 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): 13187288 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 4555863 Voluntary context switches: 624264 Involuntary context switches: 869 Swaps: 0 File system inputs: 0 File system outputs: 904 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 03:04:26 2023]