#BEGIN: [Mon Sep 4 12:24:26 2023] #HOST: s15 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance033_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance033_graph004_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_instance033_graph004.col /benchmark/random_instance/random_instance033_graph004_01.dat c /benchmark/random_instance/random_instance033_graph004.col c /benchmark/random_instance/random_instance033_graph004_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 8 37 349 123 167 107 90 351 157 218 69 31 82 330 278 396 26 197 209 219 423 381 419 424 230 227 165 413 426 368 275 395 103 65 17 152 73 55 118 268 240 322 150 315 410 391 5 40 359 390 98 326 122 308 428 258 317 241 78 33 400 11 136 132 411 274 233 183 343 41 295 221 289 6 60 262 121 399 305 99 93 168 102 242 283 321 217 104 172 20 382 389 312 38 397 229 62 42 112 220 205 108 318 135 2 29 366 223 265 202 250 170 325 417 14 269 339 385 80 88 254 307 61 341 398 109 159 384 28 171 81 378 24 309 313 406 111 210 67 7 95 9 319 75 297 t 366 379 326 37 301 377 390 269 311 85 155 154 57 33 106 99 240 38 88 68 340 2 200 364 309 267 107 410 284 122 421 21 336 423 40 249 60 1 369 104 314 39 63 344 229 247 74 76 303 275 90 213 268 392 32 304 98 183 220 382 305 166 296 283 173 427 29 372 401 178 96 428 255 313 86 205 78 143 300 260 14 398 195 291 105 167 384 20 317 70 297 156 138 216 41 387 77 323 67 413 415 265 219 145 146 325 429 188 72 209 339 49 335 282 139 232 75 121 403 101 356 289 210 116 414 419 375 277 54 93 341 225 198 239 3 315 342 391 385 193 416 347 378 31 330 a YES a 2 5 6 7 8 9 11 14 17 20 24 26 28 29 31 33 37 38 40 41 42 55 60 61 62 65 67 69 73 75 78 80 81 82 88 90 93 95 98 99 102 103 104 107 108 109 111 112 118 121 122 123 132 135 136 150 152 157 159 165 167 168 170 171 172 183 197 202 205 209 210 217 218 219 220 221 223 227 229 230 233 240 241 242 250 254 258 262 265 268 269 274 275 278 283 289 295 297 305 307 308 309 312 313 315 317 318 319 321 322 325 326 330 339 341 343 349 351 359 366 368 378 381 382 384 385 389 390 391 395 396 397 398 399 400 406 410 411 413 417 419 423 424 426 428 a 2 5 6 7 8 9 11 14 17 20 24 26 28 29 31 33 37 38 40 41 42 55 60 61 62 65 67 69 73 75 78 80 81 82 88 90 93 95 98 102 103 104 107 108 109 111 112 118 121 122 123 129 132 135 136 150 152 157 159 165 167 168 170 171 172 183 197 202 205 209 210 217 218 219 220 221 223 227 229 230 233 240 241 242 250 254 258 262 265 268 269 274 275 278 283 289 295 297 305 307 308 309 312 313 315 317 318 319 321 322 325 326 330 339 341 343 349 351 359 366 368 378 381 382 384 385 389 390 391 395 396 397 398 399 400 406 410 411 413 417 419 423 424 426 428 a 2 5 6 7 8 9 11 14 17 20 24 26 28 29 31 33 37 38 40 41 42 55 60 61 62 65 67 69 73 75 78 80 81 82 88 90 93 95 98 102 103 104 107 108 109 111 112 118 121 122 123 129 132 135 136 150 152 157 159 165 167 168 170 171 172 183 197 202 205 209 210 217 218 219 220 221 223 227 229 230 233 240 241 242 250 254 258 262 265 268 269 274 275 278 283 289 295 296 297 305 307 308 309 312 313 315 317 318 319 321 322 325 326 330 339 341 343 349 359 366 368 378 381 382 384 385 389 390 391 395 396 397 398 399 400 406 410 411 413 417 419 423 424 426 428 a 2 5 6 7 8 9 11 14 17 20 24 26 28 29 31 33 37 38 40 41 42 55 60 61 62 65 67 69 73 75 78 80 81 82 88 90 93 95 98 99 102 103 104 107 108 109 111 112 118 121 122 123 132 135 136 150 152 157 159 165 167 168 170 171 172 183 197 202 205 209 210 217 218 219 220 221 223 227 229 230 233 240 241 242 250 254 258 262 265 268 269 274 275 278 283 289 295 296 297 305 307 308 309 312 313 315 317 318 319 321 322 325 326 330 339 341 343 349 359 366 368 378 381 382 384 385 389 390 391 395 396 397 398 399 400 406 410 411 413 417 419 423 424 426 428 a 2 5 6 7 8 9 11 14 17 20 24 26 28 29 31 33 37 38 40 41 42 55 60 61 62 65 67 69 73 75 78 80 81 82 88 90 93 95 98 99 102 103 104 107 108 109 111 112 118 121 122 123 132 135 136 150 152 157 159 165 167 168 170 171 172 183 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 250 254 258 262 265 268 269 274 275 278 283 289 295 296 297 305 307 308 309 312 313 315 317 318 319 321 322 325 326 330 339 341 343 349 359 366 368 378 381 382 384 385 389 390 391 395 396 397 398 399 400 406 410 411 413 417 419 423 424 426 428 a 2 5 6 7 8 9 11 14 17 20 24 26 28 29 31 33 37 38 40 41 42 55 60 61 62 65 67 69 73 75 78 80 81 82 88 90 93 95 98 99 102 103 104 107 108 109 111 112 118 121 122 123 132 135 136 150 152 157 159 165 167 168 170 171 172 183 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 250 254 258 262 265 268 269 274 275 278 283 289 295 297 305 307 308 309 312 313 315 317 318 319 321 322 325 326 330 339 341 343 349 351 359 366 368 378 381 382 384 385 389 390 391 395 396 397 398 399 400 406 410 411 413 417 419 423 424 426 428 a 2 5 6 7 8 9 11 14 17 20 24 26 28 29 31 33 37 38 40 41 42 55 60 61 62 65 67 69 73 75 78 80 81 82 88 90 93 95 98 99 102 103 104 107 108 109 111 112 118 121 122 123 132 135 136 150 152 159 165 167 168 170 171 172 183 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 248 250 254 258 262 265 268 269 274 275 278 283 289 295 297 305 307 308 309 312 313 315 317 318 319 321 322 325 326 330 339 341 343 349 351 359 366 368 378 381 382 384 385 389 390 391 395 396 397 398 399 400 406 410 411 413 417 419 423 424 426 428 a 2 5 6 7 8 9 11 14 17 20 24 26 28 29 31 33 37 38 40 41 42 55 60 61 62 65 67 69 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 107 108 109 111 112 118 121 122 123 132 135 136 150 152 159 165 167 168 170 171 172 183 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 248 250 254 258 262 265 268 269 274 275 278 283 289 295 297 305 307 308 309 312 313 315 317 318 319 321 322 325 326 330 339 341 343 349 351 359 366 368 378 381 382 384 385 389 390 391 396 397 398 399 400 406 410 411 413 417 419 423 424 426 428 a 2 5 6 7 8 9 11 14 17 20 24 26 28 29 31 33 37 38 40 41 42 55 60 61 62 65 67 69 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 152 159 165 167 168 170 171 172 183 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 248 250 254 258 262 265 268 269 274 275 278 283 289 295 297 305 307 308 309 312 313 315 317 318 319 321 322 325 326 330 339 341 343 349 351 359 366 368 378 381 382 384 385 389 390 391 396 397 398 399 400 406 410 411 413 417 419 423 424 426 428 a 2 5 6 7 8 9 14 17 20 24 26 28 29 31 33 37 38 40 41 42 55 60 61 62 65 67 69 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 152 159 165 167 168 170 171 172 183 193 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 248 250 254 258 262 265 268 269 274 275 278 283 289 295 297 305 307 308 309 312 313 315 317 318 319 321 322 325 326 330 339 341 343 349 351 359 366 368 378 381 382 384 385 389 390 391 396 397 398 399 400 406 410 411 413 417 419 423 424 426 428 a 2 5 6 7 8 9 14 17 20 24 26 28 29 31 33 37 38 40 41 42 55 60 61 62 65 67 69 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 152 159 165 167 168 170 171 172 183 193 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 248 250 254 258 262 265 268 269 274 275 278 283 289 295 297 305 307 308 309 312 313 315 317 318 319 321 322 325 326 330 339 341 343 349 351 359 360 366 368 378 381 382 384 385 389 390 391 396 397 398 399 400 406 410 411 413 417 419 423 424 426 a 2 5 6 7 8 9 14 17 20 24 26 28 29 31 33 37 38 40 41 42 55 60 61 62 65 67 69 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 152 159 165 167 168 170 171 172 183 193 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 248 250 254 258 262 265 268 269 274 275 278 283 289 295 297 305 307 308 309 312 313 315 317 318 319 321 322 325 326 330 339 341 343 349 351 359 360 366 368 381 382 384 385 389 390 391 396 397 398 399 400 406 410 411 413 416 417 419 423 424 426 a 2 5 6 7 8 9 14 17 20 24 26 28 29 31 33 37 38 40 41 42 55 60 61 62 65 67 69 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 152 159 165 167 168 170 171 172 183 193 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 248 250 254 258 262 265 268 269 274 275 278 283 289 295 297 305 307 308 309 312 313 315 317 318 319 321 322 325 326 330 339 341 343 348 349 351 359 360 366 368 381 382 384 385 389 390 391 397 398 399 400 406 410 411 413 416 417 419 423 424 426 a 2 5 6 7 8 9 14 17 20 24 26 28 29 31 33 37 38 40 41 42 55 60 61 62 65 67 69 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 152 159 165 167 168 170 171 172 183 193 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 248 250 254 258 262 265 268 269 274 275 278 283 289 292 295 297 305 307 308 309 312 313 315 317 318 319 321 322 325 326 330 339 341 343 348 349 351 359 366 368 381 382 384 385 389 390 391 397 398 399 400 406 410 411 413 416 417 419 423 424 426 a 2 5 6 7 8 9 14 17 20 24 26 28 29 31 33 37 38 40 41 42 55 56 60 61 62 65 67 69 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 152 159 165 167 168 170 171 172 183 193 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 248 250 254 258 262 265 268 269 274 278 283 289 292 295 297 305 307 308 309 312 313 315 317 318 319 321 322 325 326 330 339 341 343 348 349 351 359 366 368 381 382 384 385 389 390 391 397 398 399 400 406 410 411 413 416 417 419 423 424 426 a 2 5 6 7 8 9 14 17 20 24 26 28 29 31 33 37 38 40 41 42 55 56 60 61 62 65 67 69 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 152 159 165 167 168 170 171 172 183 193 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 248 250 254 258 262 265 268 269 274 278 283 289 292 295 297 305 308 309 312 313 315 317 318 319 321 322 325 326 330 339 341 343 348 349 351 359 364 366 368 381 382 384 385 389 390 391 397 398 399 400 406 410 411 413 416 417 419 423 424 426 a 2 5 6 7 8 9 14 17 20 24 26 28 29 31 33 37 38 40 41 42 55 56 60 61 62 65 67 69 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 152 159 165 167 168 170 171 172 183 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 248 250 254 258 262 265 268 269 274 278 283 289 292 295 297 305 308 309 312 313 315 317 318 319 321 322 325 326 330 339 341 343 348 349 351 359 364 366 368 381 382 384 385 389 390 391 397 398 399 400 406 410 411 413 416 417 423 424 426 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 33 37 38 40 41 42 55 56 60 61 62 65 67 69 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 152 159 165 167 168 170 171 172 183 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 248 254 258 262 265 268 269 274 278 283 289 292 295 297 305 308 309 312 313 315 317 318 319 321 322 325 326 330 339 341 343 348 349 351 359 364 366 368 381 382 384 385 389 390 391 397 398 399 400 406 410 411 413 416 417 423 424 426 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 33 37 38 40 41 42 55 56 60 61 62 65 67 69 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 152 159 165 167 168 170 171 172 183 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 248 254 258 262 265 268 269 274 278 283 289 292 295 297 305 308 309 312 313 315 318 319 321 322 325 326 330 339 341 343 348 349 351 359 364 366 368 381 382 384 385 389 390 391 397 398 399 400 406 410 411 413 416 417 419 423 424 426 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 37 38 40 41 42 55 56 60 61 62 65 67 69 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 152 159 165 167 168 169 170 171 172 183 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 248 254 258 262 265 268 269 274 278 283 289 292 295 297 305 308 309 312 313 315 318 319 321 322 325 326 330 339 341 343 348 349 351 359 364 366 368 381 382 384 385 389 390 391 397 398 399 400 406 410 411 413 416 417 419 423 424 426 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 37 38 40 41 42 55 56 60 61 62 65 67 69 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 152 159 165 167 168 169 170 171 172 183 193 194 197 202 209 210 217 218 219 221 223 226 227 229 230 233 240 241 242 248 254 258 262 265 268 269 274 278 283 289 292 295 297 305 308 309 312 313 315 317 318 319 321 322 325 326 330 339 341 343 348 349 351 359 364 366 368 381 382 384 385 389 390 391 397 398 399 400 406 410 411 413 416 417 419 423 424 426 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 37 38 40 41 42 55 56 60 61 62 65 67 69 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 152 159 165 167 168 169 170 171 172 183 193 194 197 202 209 210 217 218 219 221 223 226 227 229 230 233 240 241 242 248 254 258 262 265 268 269 274 278 283 289 292 295 297 305 308 309 312 313 315 317 318 319 321 322 325 326 330 339 341 343 348 349 351 359 364 366 368 381 382 384 385 389 390 391 392 397 398 399 400 406 410 411 413 416 417 419 423 424 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 37 38 40 41 42 55 56 60 61 62 65 67 69 73 75 78 80 81 82 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 152 159 165 167 168 169 170 171 172 183 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 248 254 258 262 265 268 269 274 278 283 289 292 295 297 305 308 309 312 313 315 317 318 319 321 322 325 326 330 339 341 343 348 349 351 359 364 366 368 381 382 384 385 389 390 391 392 397 398 399 400 406 410 411 413 416 417 419 423 424 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 37 38 40 41 42 55 56 60 61 62 65 67 69 73 75 78 80 81 82 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 152 159 165 167 168 170 171 172 183 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 248 254 258 260 262 265 268 269 274 278 283 289 292 295 297 305 308 309 312 313 315 317 318 319 321 322 325 326 330 339 341 343 348 349 351 359 364 366 368 381 382 384 385 389 390 391 392 397 398 399 400 406 410 411 413 416 417 419 423 424 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 37 38 40 41 42 55 56 60 61 62 65 67 69 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 152 159 165 167 168 170 171 172 183 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 248 254 258 260 262 265 268 269 274 278 283 289 292 295 297 305 308 309 312 315 317 318 319 321 322 325 326 330 339 341 343 348 349 351 359 364 366 368 381 382 384 385 389 390 391 392 397 398 399 400 406 410 411 413 416 417 419 423 424 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 37 38 40 41 42 55 56 60 61 62 65 67 69 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 152 159 165 167 168 170 171 172 183 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 248 254 258 260 262 265 268 269 274 278 283 289 292 297 305 308 309 312 315 317 318 319 321 322 325 326 329 330 339 341 343 348 349 351 359 364 366 368 381 382 384 385 389 390 391 392 397 398 399 400 406 410 411 413 416 417 419 423 424 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 37 38 40 41 42 55 56 60 61 62 65 69 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 152 159 165 167 168 170 171 172 183 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 248 254 258 260 262 265 268 269 274 278 283 289 292 297 305 308 309 312 315 317 318 319 321 322 325 326 329 330 339 341 343 348 349 351 359 364 366 368 381 382 384 385 389 390 391 392 397 398 399 400 404 406 410 411 413 416 417 419 423 424 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 37 38 40 41 42 55 56 60 61 62 65 69 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 152 159 165 168 170 171 172 183 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 248 254 258 260 262 265 268 269 274 278 283 289 292 297 305 308 309 312 315 317 318 319 321 322 325 326 329 330 339 341 343 348 349 351 359 364 366 368 381 382 384 385 389 390 391 392 397 398 399 400 404 406 410 411 413 416 417 419 420 423 424 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 32 37 38 40 41 42 56 60 61 62 65 69 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 152 159 165 168 170 171 172 183 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 248 254 258 260 262 265 268 269 274 278 283 289 292 297 305 308 309 312 315 317 318 319 321 322 325 326 329 330 339 341 343 348 349 351 359 364 366 368 381 382 384 385 389 390 391 392 397 398 399 400 404 406 410 411 413 416 417 419 420 423 424 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 32 37 38 40 41 42 56 60 61 62 65 69 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 152 159 165 168 170 171 172 183 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 248 254 258 260 262 265 268 269 274 278 283 289 292 295 297 305 308 309 312 315 317 318 319 321 322 325 326 330 339 341 343 348 349 351 359 364 366 368 381 382 384 385 389 390 391 392 397 398 399 400 404 406 410 411 413 416 417 419 420 423 424 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 32 37 38 40 41 42 56 60 61 62 69 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 143 152 159 165 168 170 171 172 183 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 248 254 258 260 262 265 268 269 274 278 283 289 292 295 297 305 308 309 312 315 317 318 319 321 322 325 326 330 339 341 343 348 349 351 359 364 366 368 381 382 384 385 389 390 391 392 397 398 399 400 404 406 410 411 413 416 417 419 420 423 424 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 32 37 38 40 41 42 56 60 61 62 69 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 143 152 159 165 168 170 171 172 183 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 248 254 258 260 262 265 268 269 274 278 283 289 292 297 305 308 309 312 315 317 318 319 321 322 325 326 329 330 339 341 343 348 349 351 359 364 366 368 381 382 384 385 389 390 391 392 397 398 399 400 404 406 410 411 413 416 417 419 420 423 424 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 32 37 38 40 41 42 56 60 61 62 69 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 121 122 123 132 135 136 143 152 159 165 168 170 171 172 183 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 248 254 258 260 262 265 268 269 274 278 283 289 292 297 305 308 309 312 315 317 318 319 321 322 325 326 329 330 333 339 341 343 348 349 351 359 364 366 368 381 382 384 385 389 390 391 392 397 398 399 400 404 406 410 411 413 416 417 419 420 423 424 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 32 37 38 40 41 42 56 60 61 62 69 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 121 122 123 132 135 136 143 152 159 165 168 170 171 172 183 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 248 254 258 260 262 265 268 269 274 278 283 289 292 297 305 308 309 312 315 317 318 319 321 322 325 326 329 330 333 339 341 343 348 349 351 359 364 366 377 381 382 384 385 389 390 391 392 397 398 399 400 404 406 410 411 413 416 417 419 420 423 424 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 32 37 38 40 41 42 56 60 61 62 69 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 121 122 123 132 135 136 143 152 159 165 168 170 171 172 183 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 248 254 258 260 262 265 268 269 272 274 278 283 289 292 297 305 308 309 312 315 317 318 319 321 322 325 326 329 330 333 339 341 343 348 349 351 359 364 377 381 382 384 385 389 390 391 392 397 398 399 400 404 406 410 411 413 416 417 419 420 423 424 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 32 37 38 40 41 42 56 60 61 62 69 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 143 152 159 165 168 170 171 172 183 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 248 254 258 260 262 265 268 269 272 274 278 283 289 292 297 305 308 309 312 315 317 318 319 321 322 325 326 329 330 333 339 341 343 348 349 351 359 364 377 381 382 384 385 389 390 391 392 397 398 399 400 404 406 410 411 413 416 417 419 420 423 424 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 32 37 38 40 41 42 56 60 61 62 69 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 143 152 157 159 165 168 170 171 172 183 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 254 258 260 262 265 268 269 272 274 278 283 289 292 297 305 308 309 312 315 317 318 319 321 322 325 326 329 330 333 339 341 343 348 349 351 359 364 377 381 382 384 385 389 390 391 392 397 398 399 400 404 406 410 411 413 416 417 419 420 423 424 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 32 37 38 40 41 42 56 60 61 62 69 73 75 78 80 81 82 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 143 152 157 159 165 168 170 171 172 183 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 254 258 260 262 265 268 269 272 274 278 283 289 292 297 305 308 309 312 315 317 318 319 321 322 325 326 329 330 333 339 341 343 348 349 351 359 364 377 381 382 384 385 389 390 391 392 397 398 399 400 404 406 410 411 413 416 417 419 420 423 424 a 2 5 6 7 8 9 14 18 20 24 26 28 29 31 32 37 38 40 41 42 56 60 61 62 69 73 75 78 80 81 82 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 143 152 157 159 165 168 170 171 172 183 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 254 258 260 262 265 268 269 272 274 278 283 289 292 297 305 308 309 312 315 317 318 319 321 322 325 326 329 330 333 339 341 343 348 349 351 359 364 366 377 381 382 384 385 389 390 391 392 397 398 399 400 404 406 410 411 413 416 417 419 420 423 424 a 2 5 6 7 8 9 14 18 20 24 26 28 29 31 32 37 38 40 41 42 56 60 61 62 69 73 75 78 80 81 82 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 143 152 157 159 165 168 170 171 172 183 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 254 258 260 262 265 268 269 272 274 278 283 289 292 297 305 308 309 312 315 317 319 321 322 325 326 329 330 333 339 341 343 348 349 351 359 364 366 377 381 382 384 385 389 390 391 392 397 398 399 400 404 406 410 411 413 416 417 419 420 423 424 a 2 5 6 7 8 9 14 18 20 24 26 28 29 31 32 37 38 40 41 42 56 60 61 62 69 73 75 78 80 81 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 143 152 157 159 165 168 170 171 172 183 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 246 254 258 260 262 265 268 269 272 274 278 283 289 292 297 305 308 309 312 315 317 319 321 322 325 326 329 330 333 339 341 343 348 349 351 359 364 366 377 381 382 384 385 389 390 391 392 397 398 399 400 404 406 410 411 413 416 417 419 420 423 424 a 2 5 6 7 8 9 14 18 20 24 26 28 29 31 32 37 38 40 41 42 56 60 61 62 66 69 73 75 78 80 81 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 143 152 157 159 165 168 170 171 172 183 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 246 254 258 260 262 265 268 269 272 274 283 289 292 297 305 308 309 312 315 317 319 321 322 325 326 329 330 333 339 341 343 348 349 351 359 364 366 377 381 382 384 385 389 390 391 392 397 398 399 400 404 406 410 411 413 416 417 419 420 423 424 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 32 37 38 40 41 42 56 60 61 62 66 69 73 75 78 80 81 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 143 152 157 159 165 168 170 171 172 183 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 246 254 258 260 262 265 268 269 272 274 283 289 292 297 305 308 309 312 315 317 319 321 322 325 326 329 330 333 339 341 343 348 349 351 359 364 366 377 381 382 384 385 389 390 391 392 397 398 399 400 404 406 410 411 413 416 417 419 420 423 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 32 37 38 40 41 42 56 60 61 62 66 69 73 75 78 80 81 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 143 152 157 159 165 168 170 171 172 183 188 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 241 242 254 258 260 262 265 268 269 272 274 283 289 292 297 305 308 309 312 315 317 319 321 322 325 326 329 330 333 339 341 343 348 349 351 359 364 366 377 381 382 384 385 389 390 391 392 397 398 399 400 404 406 410 411 413 416 417 419 420 423 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 32 37 38 40 41 42 56 60 61 62 66 69 73 75 78 80 81 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 143 152 157 159 165 168 170 171 172 183 188 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 242 254 258 260 262 265 268 269 272 274 283 289 292 297 305 308 309 312 315 317 319 321 322 325 326 329 330 333 339 341 343 348 349 351 359 364 366 377 381 382 384 385 389 390 391 392 397 398 399 400 404 406 410 411 413 416 417 419 420 423 424 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 32 37 38 40 41 42 56 60 61 62 66 69 73 75 78 80 81 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 143 152 157 159 165 168 170 171 172 183 188 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 242 246 254 258 260 262 265 268 269 272 274 283 289 292 297 305 308 309 312 315 317 319 321 322 325 326 329 330 333 339 341 343 348 349 351 359 364 366 377 381 382 384 385 389 390 391 392 397 398 399 400 404 406 410 411 413 416 417 419 420 424 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 32 37 38 39 40 41 42 56 60 61 62 66 69 73 75 78 80 81 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 143 152 157 159 165 168 170 171 172 183 188 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 242 246 254 258 260 262 265 268 269 272 274 283 289 292 297 305 308 309 312 315 317 319 321 322 325 326 329 330 333 339 341 343 348 349 351 359 364 366 377 381 382 384 385 389 390 391 392 397 398 399 400 404 406 410 411 413 416 417 419 424 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 32 37 38 39 40 41 42 56 60 61 62 66 69 73 75 78 80 81 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 143 152 157 159 165 168 170 171 172 183 188 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 242 246 254 258 260 262 265 268 269 272 274 283 289 292 297 305 308 309 312 315 317 319 321 322 325 326 329 330 333 339 341 343 348 349 351 359 364 366 377 381 382 384 385 389 390 391 392 397 398 399 400 404 406 410 411 413 416 417 419 423 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 32 37 38 39 40 41 42 56 60 61 62 66 69 73 75 78 80 81 86 88 90 93 95 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 143 152 157 159 165 168 170 171 172 183 188 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 242 246 254 258 260 261 262 265 268 269 272 274 283 289 292 297 305 308 309 312 315 317 319 321 322 325 326 329 330 333 339 341 343 348 349 351 359 364 366 377 381 382 384 389 390 391 392 397 398 399 400 404 406 410 411 413 416 417 419 423 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 32 37 38 39 40 41 42 56 60 61 62 66 69 73 75 78 80 81 86 88 90 93 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 143 152 157 159 165 168 170 171 172 183 188 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 242 246 254 255 258 260 261 262 265 268 269 272 274 283 289 292 297 305 308 309 312 315 317 319 321 322 325 326 329 330 333 339 341 343 348 349 351 359 364 366 377 381 382 384 389 390 391 392 397 398 399 400 404 406 410 411 413 416 417 419 423 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 32 37 38 39 40 41 42 56 60 61 62 66 69 73 75 78 80 81 86 88 90 93 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 143 152 157 159 165 168 170 171 172 183 188 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 242 246 254 255 258 260 261 262 265 267 268 269 272 274 283 289 292 297 305 308 309 312 315 317 319 321 322 325 326 329 330 333 339 341 343 348 349 351 359 364 366 377 381 382 384 389 390 391 392 397 398 399 400 404 406 410 411 413 416 419 423 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 32 37 38 39 40 41 42 56 60 61 62 66 69 73 75 78 81 86 88 90 93 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 143 152 157 159 165 168 170 171 172 183 188 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 242 246 254 255 258 260 261 262 265 267 268 269 272 274 283 289 291 292 297 305 308 309 312 315 317 319 321 322 325 326 329 330 333 339 341 343 348 349 351 359 364 366 377 381 382 384 389 390 391 392 397 398 399 400 404 406 410 411 413 416 419 423 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 32 37 38 39 40 41 42 56 60 61 62 66 69 73 75 78 81 86 88 90 93 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 143 157 159 165 168 170 171 172 183 188 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 242 246 254 255 258 260 261 262 265 267 268 269 272 274 283 289 291 292 297 305 308 309 312 315 317 319 321 322 325 326 329 330 333 339 341 343 348 349 351 356 359 364 366 377 381 382 384 389 390 391 392 397 398 399 400 404 406 410 411 413 416 419 423 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 32 37 38 39 40 41 42 56 60 61 62 66 69 73 75 78 81 86 88 90 93 98 99 102 103 104 105 107 108 109 111 112 118 121 122 123 132 135 136 143 157 159 165 168 170 171 172 183 188 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 242 246 254 255 258 260 261 262 265 267 268 269 272 274 283 289 291 292 297 301 305 308 309 312 315 317 319 321 322 325 326 329 330 333 339 341 348 349 351 356 359 364 366 377 381 382 384 389 390 391 392 397 398 399 400 404 406 410 411 413 416 419 423 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 32 33 37 38 39 40 41 42 56 60 61 62 66 69 73 75 78 81 86 88 90 93 98 99 102 103 104 105 107 108 109 111 112 121 122 123 132 135 136 143 157 159 165 168 170 171 172 183 188 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 242 246 254 255 258 260 261 262 265 267 268 269 272 274 283 289 291 292 297 301 305 308 309 312 315 317 319 321 322 325 326 329 330 333 339 341 348 349 351 356 359 364 366 377 381 382 384 389 390 391 392 397 398 399 400 404 406 410 411 413 416 419 423 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 32 33 37 38 39 40 41 42 56 60 61 62 66 69 73 75 78 81 86 88 90 93 98 99 102 103 104 105 107 108 109 111 112 121 122 123 132 135 136 143 157 159 165 168 170 171 172 183 188 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 242 246 254 255 258 260 261 262 265 267 268 269 272 274 283 289 291 292 297 301 305 308 309 312 315 317 319 321 322 325 326 329 330 339 341 347 348 349 351 356 359 364 366 377 381 382 384 389 390 391 392 397 398 399 400 404 406 410 411 413 416 419 423 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 32 33 37 38 39 40 41 42 56 60 61 62 66 69 73 75 78 81 86 88 90 93 98 99 102 103 104 105 107 108 109 111 112 121 122 123 132 135 136 143 157 165 168 170 171 172 183 188 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 242 246 254 255 258 260 261 262 265 267 268 269 272 274 283 289 291 292 297 301 305 308 309 312 315 317 319 321 322 325 326 329 330 339 341 347 348 349 351 356 359 364 366 372 377 381 382 384 389 390 391 392 397 398 399 400 404 406 410 411 413 416 419 423 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 32 33 37 38 39 40 41 42 60 61 62 66 69 73 75 78 81 86 88 90 93 98 99 102 103 104 105 107 108 109 111 112 121 122 123 132 135 136 143 157 165 168 170 171 172 183 188 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 242 246 254 255 258 260 261 262 265 267 268 269 272 274 277 283 289 291 292 297 301 305 308 309 312 315 317 319 321 322 325 326 329 330 339 341 347 348 349 351 356 359 364 366 372 377 381 382 384 389 390 391 392 397 398 399 400 404 406 410 411 413 416 419 423 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 32 33 37 38 39 40 41 42 60 61 62 66 69 73 75 78 81 86 88 90 93 98 99 102 103 104 105 107 108 109 111 112 121 122 123 132 135 136 143 157 165 168 170 171 172 183 188 193 194 197 202 209 210 217 218 219 220 221 223 226 227 229 230 233 240 242 246 254 255 258 260 261 262 265 267 268 269 272 274 277 283 289 291 292 296 297 301 305 308 309 312 315 317 319 321 322 325 326 329 330 339 341 347 348 349 356 359 364 366 372 377 381 382 384 389 390 391 392 397 398 399 400 404 406 410 411 413 416 419 423 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 32 33 37 38 39 40 41 42 60 61 62 63 66 69 73 75 78 81 86 88 90 93 98 99 102 103 104 105 107 108 109 111 112 121 122 123 132 135 136 143 157 165 168 170 171 172 183 188 193 194 197 209 210 217 218 219 220 221 223 226 227 229 230 233 240 242 246 254 255 258 260 261 262 265 267 268 269 272 274 277 283 289 291 292 296 297 301 305 308 309 312 315 317 319 321 322 325 326 329 330 339 341 347 348 349 356 359 364 366 372 377 381 382 384 389 390 391 392 397 398 399 400 404 406 410 411 413 416 419 423 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 32 33 37 38 39 40 41 42 60 61 62 63 66 69 73 75 78 81 86 88 90 93 98 99 102 103 104 105 107 108 109 111 112 121 122 123 132 135 136 143 157 165 168 170 171 172 183 188 193 194 197 209 210 217 218 219 220 221 223 226 227 229 230 233 240 242 246 254 255 258 260 261 262 265 267 268 269 272 274 275 277 283 289 291 292 296 297 301 305 308 309 312 315 317 319 322 325 326 329 330 339 341 347 348 349 356 359 364 366 372 377 381 382 384 389 390 391 392 397 398 399 400 404 406 410 411 413 416 419 423 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 32 33 37 38 39 40 41 42 60 61 62 63 66 69 73 75 78 81 86 88 90 93 98 99 102 103 104 105 107 108 109 111 112 121 122 123 132 135 136 143 157 165 168 170 171 172 183 188 193 194 197 209 210 217 218 219 220 221 223 226 227 229 230 233 240 242 246 254 255 258 260 261 262 265 267 268 269 272 274 275 277 283 289 291 292 296 297 301 305 308 309 312 315 317 319 322 325 326 329 330 339 341 344 347 348 349 356 359 364 366 372 377 381 382 384 389 390 391 392 397 398 400 404 406 410 411 413 416 419 423 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 32 33 37 38 39 40 41 42 60 61 62 63 66 69 73 75 78 81 86 88 90 93 98 99 102 103 104 105 107 108 109 111 112 121 122 123 132 135 136 143 157 165 168 170 171 172 183 188 193 194 197 209 210 217 218 219 220 221 223 226 227 229 230 233 239 240 246 254 255 258 260 261 262 265 267 268 269 272 274 275 277 283 289 291 292 296 297 301 305 308 309 312 315 317 319 322 325 326 329 330 339 341 344 347 348 349 356 359 364 366 372 377 381 382 384 389 390 391 392 397 398 400 404 406 410 411 413 416 419 423 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 32 33 37 38 39 40 41 42 60 61 62 63 66 69 73 75 78 81 86 88 90 93 98 99 102 103 104 105 107 108 109 111 121 122 123 132 135 136 143 157 165 168 170 171 172 183 188 193 194 197 209 210 217 218 219 220 221 223 226 227 229 230 233 239 240 246 254 255 258 260 261 262 265 267 268 269 272 274 275 277 283 289 291 292 296 297 301 305 308 309 312 315 317 319 322 325 326 329 330 339 341 344 347 348 349 356 359 364 366 372 377 381 382 384 385 389 390 391 392 397 398 400 404 406 410 411 413 416 419 423 a 2 5 6 7 8 9 14 17 18 20 24 26 28 29 31 32 33 37 38 39 40 41 42 60 61 62 63 66 69 73 75 78 81 86 88 90 93 98 99 102 103 104 105 107 108 109 111 121 122 123 132 135 136 143 157 165 167 168 170 171 172 183 188 193 194 197 209 210 217 218 219 220 221 223 226 227 229 230 233 239 240 246 254 255 258 260 261 262 265 267 268 269 272 274 275 277 283 289 291 292 296 297 301 305 308 309 312 315 317 319 322 325 326 329 330 339 341 344 347 348 349 356 359 364 366 372 377 381 382 384 385 389 390 391 392 397 398 400 404 410 411 413 416 419 423 a 2 5 6 7 8 9 14 17 18 20 24 26 29 31 32 33 37 38 39 40 41 42 60 61 62 63 66 69 73 75 78 81 86 88 90 93 98 99 102 103 104 105 107 108 109 111 116 121 122 123 132 135 136 143 157 165 167 168 170 171 172 183 188 193 194 197 209 210 217 218 219 220 221 223 226 227 229 230 233 239 240 246 254 255 258 260 261 262 265 267 268 269 272 274 275 277 283 289 291 292 296 297 301 305 308 309 312 315 317 319 322 325 326 329 330 339 341 344 347 348 349 356 359 364 366 372 377 381 382 384 385 389 390 391 392 397 398 400 404 410 411 413 416 419 423 a 2 5 6 7 8 9 14 17 18 20 24 26 29 31 32 33 37 38 39 40 41 42 60 61 62 63 66 69 73 75 78 81 86 88 90 93 98 99 102 103 104 105 107 108 109 111 116 121 122 123 132 135 136 143 157 165 167 168 170 171 172 183 188 193 194 197 209 210 213 217 218 219 220 221 223 226 227 229 230 233 239 240 246 254 255 258 260 261 262 265 267 268 269 272 274 275 277 283 289 291 292 296 297 301 305 308 309 312 315 317 319 322 325 326 329 330 339 341 344 347 349 356 359 364 366 372 377 381 382 384 385 389 390 391 392 397 398 400 404 410 411 413 416 419 423 a 2 5 6 7 8 9 14 17 18 20 24 26 29 31 32 33 37 38 39 40 41 42 60 61 62 63 66 69 73 75 78 81 86 88 90 93 98 99 102 103 104 105 107 108 109 111 116 121 122 123 132 135 136 143 157 165 167 168 170 171 172 183 188 193 194 197 209 210 213 217 218 219 220 221 223 226 227 229 233 239 240 246 254 255 258 260 261 262 265 267 268 269 272 274 275 277 283 289 291 292 296 297 301 305 308 309 312 315 317 319 322 325 326 329 330 336 339 341 344 347 349 356 359 364 366 372 377 381 382 384 385 389 390 391 392 397 398 400 404 410 411 413 416 419 423 a 2 5 6 7 8 9 14 17 18 20 24 26 29 31 32 33 37 38 39 40 41 42 60 61 62 63 66 69 73 75 78 81 86 88 90 93 98 99 102 103 104 105 107 108 109 111 116 121 122 123 132 135 136 143 157 165 167 168 170 171 172 183 188 193 194 195 197 209 210 213 217 218 219 220 221 223 226 227 229 233 239 240 246 254 255 258 260 261 262 265 267 268 269 272 274 275 277 283 289 291 292 296 297 301 305 308 309 312 315 317 319 322 325 326 329 330 336 339 341 344 347 349 356 359 364 366 372 377 381 382 384 385 389 390 391 392 397 398 400 410 411 413 416 419 423 a 2 5 6 7 8 9 14 17 18 20 24 26 29 31 32 33 37 38 39 40 41 42 60 61 62 63 66 69 73 75 78 81 86 88 90 93 98 99 102 103 104 105 107 108 109 111 116 121 122 123 132 135 136 143 157 165 166 167 168 170 171 172 183 188 193 194 195 197 209 210 213 217 218 219 220 221 223 226 227 229 233 239 240 246 254 255 258 260 261 262 265 267 268 269 272 274 275 277 283 289 291 292 296 297 301 305 308 309 315 317 319 322 325 326 329 330 336 339 341 344 347 349 356 359 364 366 372 377 381 382 384 385 389 390 391 392 397 398 400 410 411 413 416 419 423 a 2 5 6 7 8 9 14 17 18 20 24 26 29 31 32 33 37 38 39 40 41 42 60 61 62 63 66 69 73 75 78 81 86 88 90 93 98 99 102 103 104 105 107 108 109 111 116 121 122 123 132 135 136 143 157 165 166 167 168 170 171 172 183 188 193 194 195 197 209 210 213 217 218 219 220 221 223 226 227 229 233 239 240 246 254 255 258 260 261 262 265 267 268 269 272 275 277 283 289 291 292 296 297 301 305 308 309 315 317 319 322 325 326 329 330 336 339 341 344 347 349 356 359 364 366 372 377 381 382 384 385 389 390 391 392 397 398 400 410 411 413 414 416 419 423 a 2 5 6 7 8 9 14 17 18 20 24 26 29 31 32 33 37 38 39 40 41 42 60 61 62 63 66 69 73 75 78 81 86 88 90 93 98 99 102 103 104 105 107 108 109 111 116 121 122 123 132 135 143 157 165 166 167 168 170 171 172 183 188 193 194 195 197 209 210 213 217 218 219 220 221 223 226 227 229 233 239 240 246 254 255 258 260 261 262 265 267 268 269 272 275 277 283 289 291 292 296 297 301 305 308 309 315 317 319 322 325 326 329 330 336 339 341 344 347 349 356 359 364 366 372 377 381 382 384 385 389 390 391 392 397 398 400 401 410 411 413 414 416 419 423 a 2 5 6 7 8 9 14 17 18 20 24 26 29 31 32 33 37 38 39 40 41 42 60 61 62 63 66 69 73 75 78 81 86 88 90 93 98 99 102 104 105 107 108 109 111 116 121 122 123 132 135 139 143 157 165 166 167 168 170 171 172 183 188 193 194 195 197 209 210 213 217 218 219 220 221 223 226 227 229 233 239 240 246 254 255 258 260 261 262 265 267 268 269 272 275 277 283 289 291 292 296 297 301 305 308 309 315 317 319 322 325 326 329 330 336 339 341 344 347 349 356 359 364 366 372 377 381 382 384 385 389 390 391 392 397 398 400 401 410 411 413 414 416 419 423 a 2 5 6 7 8 9 14 18 20 24 26 29 31 32 33 37 38 39 40 41 42 60 61 62 63 66 69 70 73 75 78 81 86 88 90 93 98 99 102 104 105 107 108 109 111 116 121 122 123 132 135 139 143 157 165 166 167 168 170 171 172 183 188 193 194 195 197 209 210 213 217 218 219 220 221 223 226 227 229 233 239 240 246 254 255 258 260 261 262 265 267 268 269 272 275 277 283 289 291 292 296 297 301 305 308 309 315 317 319 322 325 326 329 330 336 339 341 344 347 349 356 359 364 366 372 377 381 382 384 385 389 390 391 392 397 398 400 401 410 411 413 414 416 419 423 a 2 5 6 7 8 9 14 18 20 24 26 29 31 32 33 37 38 39 40 41 42 60 61 62 63 66 69 70 73 75 78 81 86 88 90 93 98 99 102 104 105 107 108 109 111 116 121 122 123 135 139 143 157 165 166 167 168 170 171 172 183 188 193 194 195 197 209 210 213 217 218 219 220 221 223 226 227 229 233 239 240 246 254 255 258 260 261 262 265 267 268 269 272 275 277 283 289 291 292 296 297 301 305 308 309 315 317 319 322 325 326 329 330 336 339 341 344 347 349 356 359 364 366 369 372 377 381 382 384 385 389 390 391 392 397 398 400 401 410 411 413 414 416 419 423 a 2 5 6 7 8 9 14 18 20 24 26 29 31 32 33 37 38 39 40 41 42 60 61 62 63 66 69 70 73 75 78 81 86 88 90 93 98 99 102 104 105 107 108 109 111 116 121 122 123 135 139 143 157 165 166 167 170 171 172 173 183 188 193 194 195 197 209 210 213 217 218 219 220 221 223 226 227 229 233 239 240 246 254 255 258 260 261 262 265 267 268 269 272 275 277 283 289 291 292 296 297 301 305 308 309 315 317 319 322 325 326 329 330 336 339 341 344 347 349 356 359 364 366 369 372 377 381 382 384 385 389 390 391 392 397 398 400 401 410 411 413 414 416 419 423 a 2 5 6 7 8 9 14 18 20 24 26 29 31 32 33 37 38 39 40 41 42 60 61 62 63 66 69 70 73 75 78 81 86 88 90 93 98 99 102 104 105 107 108 109 111 116 121 122 123 135 139 143 157 165 166 167 170 171 172 173 183 188 193 194 195 197 209 210 213 217 218 219 220 221 223 226 227 229 233 239 240 246 254 255 258 260 261 262 265 267 268 269 272 275 277 283 289 291 292 296 297 301 305 308 309 313 315 317 319 322 325 326 329 330 336 339 341 344 347 349 356 359 364 366 369 372 377 382 384 385 389 390 391 392 397 398 400 401 410 411 413 414 416 419 423 a 2 5 6 7 8 9 14 18 20 24 26 29 31 32 33 37 38 39 40 41 42 60 61 62 63 66 69 70 73 75 78 81 86 88 90 93 98 99 102 104 105 107 108 109 111 116 121 122 123 135 139 143 145 157 165 166 167 170 171 172 173 183 188 193 194 195 197 209 210 213 217 218 219 220 221 223 226 227 229 233 239 240 246 254 255 258 260 261 262 265 267 268 269 272 275 277 283 289 291 296 297 301 305 308 309 313 315 317 319 322 325 326 329 330 336 339 341 344 347 349 356 359 364 366 369 372 377 382 384 385 389 390 391 392 397 398 400 401 410 411 413 414 416 419 423 a 2 5 6 7 8 9 14 18 20 24 26 29 31 32 33 37 38 39 40 41 42 60 61 62 63 66 69 70 73 75 78 81 86 88 90 93 98 99 102 104 105 107 108 109 111 116 121 122 123 135 139 143 145 155 157 165 166 167 170 171 172 173 183 188 193 194 195 197 209 210 213 217 218 219 220 221 223 227 229 233 239 240 246 254 255 258 260 261 262 265 267 268 269 272 275 277 283 289 291 296 297 301 305 308 309 313 315 317 319 322 325 326 329 330 336 339 341 344 347 349 356 359 364 366 369 372 377 382 384 385 389 390 391 392 397 398 400 401 410 411 413 414 416 419 423 a 2 5 6 7 8 9 14 18 20 24 26 29 31 32 33 37 38 39 40 41 42 60 61 62 63 66 69 70 73 75 78 81 86 88 90 93 98 99 102 104 105 107 108 109 111 116 121 122 123 135 139 143 145 155 157 165 166 167 170 171 172 173 183 188 193 194 195 197 198 209 210 213 217 218 219 220 221 227 229 233 239 240 246 254 255 258 260 261 262 265 267 268 269 272 275 277 283 289 291 296 297 301 305 308 309 313 315 317 319 322 325 326 329 330 336 339 341 344 347 349 356 359 364 366 369 372 377 382 384 385 389 390 391 392 397 398 400 401 410 411 413 414 416 419 423 a 2 6 7 8 9 14 18 20 24 26 29 31 32 33 37 38 39 40 41 42 60 61 62 63 66 69 70 73 75 78 81 86 88 90 93 98 99 102 104 105 107 108 109 111 116 121 122 123 135 139 143 145 155 157 165 166 167 170 171 172 173 183 188 193 194 195 197 198 209 210 213 217 218 219 220 221 227 229 233 239 240 246 254 255 258 260 261 262 265 267 268 269 272 275 277 283 289 291 296 297 301 305 308 309 313 315 317 319 322 325 326 329 330 336 339 341 344 347 349 356 359 364 366 369 372 377 382 384 385 387 389 390 391 392 397 398 400 401 410 411 413 414 416 419 423 a 2 6 7 8 9 14 18 20 24 29 31 32 33 37 38 39 40 41 42 60 61 62 63 66 69 70 73 75 78 81 86 88 90 93 98 99 102 104 105 107 108 109 111 116 121 122 123 135 139 143 145 155 157 165 166 167 170 171 172 173 183 188 193 194 195 197 198 209 210 213 217 218 219 220 221 227 229 233 239 240 246 254 255 258 260 261 262 265 267 268 269 272 275 277 283 284 289 291 296 297 301 305 308 309 313 315 317 319 322 325 326 329 330 336 339 341 344 347 349 356 359 364 366 369 372 377 382 384 385 387 389 390 391 392 397 398 400 401 410 411 413 414 416 419 423 a 2 6 7 8 9 14 18 20 24 29 31 32 33 37 38 39 40 41 42 60 61 62 63 66 69 70 73 75 78 81 86 88 90 93 98 99 102 104 105 107 108 109 111 116 121 122 123 135 139 143 145 155 165 166 167 170 171 172 173 183 188 193 194 195 197 198 209 210 213 217 218 219 220 221 227 229 232 233 239 240 246 254 255 258 260 261 262 265 267 268 269 272 275 277 283 284 289 291 296 297 301 305 308 309 313 315 317 319 322 325 326 329 330 336 339 341 344 347 349 356 359 364 366 369 372 377 382 384 385 387 389 390 391 392 397 398 400 401 410 411 413 414 416 419 423 a 2 6 7 8 9 14 18 20 24 29 31 32 33 37 38 39 40 41 42 60 62 63 66 69 70 73 75 78 81 86 88 90 93 98 99 102 104 105 107 108 109 111 116 121 122 123 135 139 143 145 155 165 166 167 170 171 172 173 183 188 193 194 195 197 198 205 209 210 213 217 218 219 220 221 227 229 232 233 239 240 246 254 255 258 260 261 262 265 267 268 269 272 275 277 283 284 289 291 296 297 301 305 308 309 313 315 317 319 322 325 326 329 330 336 339 341 344 347 349 356 359 364 366 369 372 377 382 384 385 387 389 390 391 392 397 398 400 401 410 411 413 414 416 419 423 a 2 6 7 8 9 14 18 20 24 29 31 32 33 37 38 39 40 41 42 60 62 63 66 69 70 73 75 78 81 86 88 90 93 98 99 102 104 105 107 108 109 111 116 121 122 123 135 139 143 145 155 165 166 167 170 171 172 173 183 188 193 194 195 197 198 205 209 210 213 217 218 219 220 221 227 229 232 233 239 240 246 254 255 258 260 261 262 265 267 268 269 272 275 277 283 284 289 291 296 297 301 305 308 309 313 315 317 319 322 325 326 330 336 339 341 344 347 349 356 359 364 366 369 372 377 382 384 385 387 389 390 391 392 397 398 400 401 410 411 413 414 416 419 423 427 a 2 6 7 8 9 14 18 20 24 29 31 32 33 37 38 39 40 41 42 60 62 63 66 69 70 73 75 78 81 86 88 90 93 98 99 104 105 107 108 109 111 116 121 122 123 135 139 143 145 155 165 166 167 170 171 172 173 183 188 193 194 195 197 198 205 209 210 213 217 218 219 220 221 227 229 232 233 239 240 246 249 254 255 258 260 261 262 265 267 268 269 272 275 277 283 284 289 291 296 297 301 305 308 309 313 315 317 319 322 325 326 330 336 339 341 344 347 349 356 359 364 366 369 372 377 382 384 385 387 389 390 391 392 397 398 400 401 410 411 413 414 416 419 423 427 a 2 6 7 8 9 14 18 20 24 29 31 32 33 37 38 39 40 41 42 60 62 63 66 69 70 73 75 78 86 88 90 93 98 99 104 105 107 108 109 111 116 121 122 123 135 139 143 145 155 165 166 167 170 171 172 173 183 188 193 194 195 197 198 205 209 210 213 217 218 219 220 221 227 229 232 233 239 240 246 249 254 255 258 260 261 262 265 267 268 269 272 275 277 283 284 289 291 296 297 301 305 308 309 313 315 317 319 322 325 326 330 336 339 341 344 347 349 356 359 364 366 369 372 377 378 382 384 385 387 389 390 391 392 397 398 400 401 410 411 413 414 416 419 423 427 a 2 6 7 8 9 14 18 20 29 31 32 33 37 38 39 40 41 42 60 62 63 66 69 70 73 75 78 86 88 90 93 98 99 104 105 107 108 109 111 116 121 122 123 135 139 143 145 155 165 166 167 170 171 172 173 183 188 193 194 195 197 198 205 209 210 213 217 218 219 220 221 227 229 232 233 239 240 246 249 254 255 258 260 261 262 265 267 268 269 272 275 277 283 284 289 291 296 297 301 305 308 309 313 314 315 317 319 322 325 326 330 336 339 341 344 347 349 356 359 364 366 369 372 377 378 382 384 385 387 389 390 391 392 397 398 400 401 410 411 413 414 416 419 423 427 a 2 6 7 8 9 14 18 20 29 31 32 33 37 38 39 40 41 42 60 63 66 69 70 73 75 78 86 88 90 93 98 99 104 105 107 108 109 111 116 121 122 123 135 139 143 145 154 155 165 166 167 170 171 172 173 183 188 193 194 195 197 198 205 209 210 213 217 218 219 220 221 227 229 232 233 239 240 246 249 254 255 258 260 261 262 265 267 268 269 272 275 277 283 284 289 291 296 297 301 305 308 309 313 314 315 317 319 322 325 326 330 336 339 341 344 347 349 356 359 364 366 369 372 377 378 382 384 385 387 389 390 391 392 397 398 400 401 410 411 413 414 416 419 423 427 a 2 6 7 8 9 14 18 20 29 31 32 33 37 38 39 40 41 42 54 60 63 69 70 73 75 78 86 88 90 93 98 99 104 105 107 108 109 111 116 121 122 123 135 139 143 145 154 155 165 166 167 170 171 172 173 183 188 193 194 195 197 198 205 209 210 213 217 218 219 220 221 227 229 232 233 239 240 246 249 254 255 258 260 261 262 265 267 268 269 272 275 277 283 284 289 291 296 297 301 305 308 309 313 314 315 317 319 322 325 326 330 336 339 341 344 347 349 356 359 364 366 369 372 377 378 382 384 385 387 389 390 391 392 397 398 400 401 410 411 413 414 416 419 423 427 a 2 6 7 8 9 14 18 20 29 31 32 33 37 38 39 40 41 42 54 60 63 69 70 73 75 78 86 88 90 93 98 99 101 104 105 107 108 109 111 116 121 122 123 135 139 143 145 154 155 165 166 167 171 172 173 183 188 193 194 195 197 198 205 209 210 213 217 218 219 220 221 227 229 232 233 239 240 246 249 254 255 258 260 261 262 265 267 268 269 272 275 277 283 284 289 291 296 297 301 305 308 309 313 314 315 317 319 322 325 326 330 336 339 341 344 347 349 356 359 364 366 369 372 377 378 382 384 385 387 389 390 391 392 397 398 400 401 410 411 413 414 416 419 423 427 a 2 6 7 8 9 14 18 20 29 31 32 33 37 38 39 40 41 42 54 60 63 69 70 73 75 78 86 88 90 93 98 99 101 104 105 107 108 109 111 116 121 122 123 135 139 143 145 154 155 165 166 167 171 172 173 183 188 193 194 195 197 198 205 209 210 213 217 218 219 220 221 227 229 232 233 239 240 246 249 254 255 258 260 261 262 265 267 268 269 272 275 277 283 284 289 291 296 297 301 305 308 309 313 314 315 317 319 322 325 326 330 336 339 341 344 347 356 359 364 366 369 372 377 378 379 382 384 385 387 389 390 391 392 397 398 400 401 410 411 413 414 416 419 423 427 a 2 6 7 8 9 14 18 20 29 31 32 33 37 38 39 40 41 42 54 60 63 69 70 73 75 78 86 88 90 93 98 99 101 104 105 107 108 109 111 116 121 122 123 135 139 143 145 154 155 165 166 167 171 172 173 183 188 193 194 195 197 198 205 209 210 213 217 218 219 220 221 227 229 232 233 239 240 246 249 254 255 258 260 261 262 265 267 268 269 272 275 277 283 284 289 291 296 297 301 303 305 308 309 313 314 315 317 319 322 325 326 330 336 339 341 344 347 356 359 364 366 369 372 377 378 379 382 384 385 387 390 391 392 397 398 400 401 410 411 413 414 416 419 423 427 a 2 6 7 8 9 14 18 20 29 31 32 33 37 38 39 40 41 42 54 60 63 69 70 73 75 78 86 88 90 93 98 99 101 104 105 107 108 109 111 116 121 122 123 135 139 143 145 154 155 165 166 167 171 172 173 183 188 193 194 195 197 198 205 209 210 213 217 218 219 220 221 225 227 229 232 233 239 240 246 249 254 255 258 260 261 262 265 267 268 269 272 275 277 283 284 289 291 296 297 301 303 305 308 309 313 314 315 317 319 322 325 326 330 336 339 341 344 347 356 364 366 369 372 377 378 379 382 384 385 387 390 391 392 397 398 400 401 410 411 413 414 416 419 423 427 a 2 6 7 8 9 14 18 20 29 31 32 33 37 38 39 40 41 42 54 57 60 63 69 70 73 75 78 86 88 90 93 98 99 101 104 105 107 108 111 116 121 122 123 135 139 143 145 154 155 165 166 167 171 172 173 183 188 193 194 195 197 198 205 209 210 213 217 218 219 220 221 225 227 229 232 233 239 240 246 249 254 255 258 260 261 262 265 267 268 269 272 275 277 283 284 289 291 296 297 301 303 305 308 309 313 314 315 317 319 322 325 326 330 336 339 341 344 347 356 364 366 369 372 377 378 379 382 384 385 387 390 391 392 397 398 400 401 410 411 413 414 416 419 423 427 a 2 6 7 8 9 14 18 20 29 31 32 33 37 38 39 40 41 42 54 57 60 63 69 70 73 75 78 86 88 90 93 98 99 101 104 105 107 108 111 116 121 122 135 139 143 145 154 155 165 166 167 171 172 173 183 188 193 194 195 197 198 205 209 210 213 217 218 219 220 221 225 227 229 232 233 239 240 246 247 249 254 255 258 260 261 262 265 267 268 269 272 275 277 283 284 289 291 296 297 301 303 305 308 309 313 314 315 317 319 322 325 326 330 336 339 341 344 347 356 364 366 369 372 377 378 379 382 384 385 387 390 391 392 397 398 400 401 410 411 413 414 416 419 423 427 a 2 6 7 8 9 14 18 20 29 31 32 33 37 38 39 40 41 42 54 57 60 63 69 70 73 75 78 86 88 90 93 98 99 101 104 105 107 108 111 116 121 122 135 139 143 145 154 155 165 166 167 171 172 173 183 188 193 194 195 197 198 205 209 210 213 218 219 220 221 225 227 229 232 233 239 240 246 247 249 254 255 258 260 261 262 265 267 268 269 272 275 277 283 284 289 291 296 297 301 303 305 308 309 313 314 315 317 319 322 325 326 330 335 336 339 341 344 347 356 364 366 369 372 377 378 379 382 384 385 387 390 391 392 397 398 400 401 410 411 413 414 416 419 423 427 a 2 6 7 8 9 14 18 20 29 31 32 33 37 38 39 40 41 42 54 57 60 63 68 69 70 73 75 78 86 88 90 93 98 99 101 104 105 107 108 111 116 121 122 135 139 143 145 154 155 166 167 171 172 173 183 188 193 194 195 197 198 205 209 210 213 218 219 220 221 225 227 229 232 233 239 240 246 247 249 254 255 258 260 261 262 265 267 268 269 272 275 277 283 284 289 291 296 297 301 303 305 308 309 313 314 315 317 319 322 325 326 330 335 336 339 341 344 347 356 364 366 369 372 377 378 379 382 384 385 387 390 391 392 397 398 400 401 410 411 413 414 416 419 423 427 a 2 6 7 8 9 14 18 20 29 31 32 33 37 38 39 40 41 42 54 57 60 63 67 68 69 70 73 75 78 86 88 90 93 98 99 101 104 105 107 108 111 116 121 122 135 139 143 145 154 155 166 167 171 172 173 183 188 193 194 195 197 198 205 209 210 213 218 219 220 221 225 227 229 232 233 239 240 247 249 254 255 258 260 261 262 265 267 268 269 272 275 277 283 284 289 291 296 297 301 303 305 308 309 313 314 315 317 319 322 325 326 330 335 336 339 341 344 347 356 364 366 369 372 377 378 379 382 384 385 387 390 391 392 397 398 400 401 410 411 413 414 416 419 423 427 a 2 6 7 9 14 18 20 29 31 32 33 37 38 39 40 41 42 54 57 60 63 67 68 69 70 73 75 78 86 88 90 93 98 99 101 104 105 107 108 111 116 121 122 135 139 143 145 154 155 166 167 171 172 173 183 188 193 194 195 197 198 205 209 210 213 218 219 220 221 225 227 229 232 233 239 240 247 249 254 255 258 260 261 262 265 267 268 269 272 275 277 283 284 289 291 296 297 301 303 305 308 309 313 314 315 317 319 322 325 326 330 335 336 339 341 344 347 356 364 366 369 372 377 378 379 382 384 385 387 390 391 392 397 398 400 401 410 411 413 414 416 419 423 427 429 a 2 6 7 9 14 18 20 29 31 32 33 37 38 39 40 41 42 54 57 60 63 67 68 69 70 73 75 78 86 88 90 93 98 99 101 104 105 107 108 111 116 121 122 135 139 143 145 154 155 166 167 171 172 173 183 188 193 195 197 198 205 209 210 213 218 219 220 221 225 227 229 232 233 239 240 247 249 254 255 258 260 261 262 265 267 268 269 272 275 277 283 284 289 291 296 297 301 303 305 308 309 313 314 315 317 319 322 325 326 330 335 336 339 340 341 344 347 356 364 366 369 372 377 378 379 382 384 385 387 390 391 392 397 398 400 401 410 411 413 414 416 419 423 427 429 a 1 2 6 7 9 14 20 29 31 32 33 37 38 39 40 41 42 54 57 60 63 67 68 69 70 73 75 78 86 88 90 93 98 99 101 104 105 107 108 111 116 121 122 135 139 143 145 154 155 166 167 171 172 173 183 188 193 195 197 198 205 209 210 213 218 219 220 221 225 227 229 232 233 239 240 247 249 254 255 258 260 261 262 265 267 268 269 272 275 277 283 284 289 291 296 297 301 303 305 308 309 313 314 315 317 319 322 325 326 330 335 336 339 340 341 344 347 356 364 366 369 372 377 378 379 382 384 385 387 390 391 392 397 398 400 401 410 411 413 414 416 419 423 427 429 a 1 2 7 9 14 20 29 31 32 33 37 38 39 40 41 42 54 57 60 63 67 68 69 70 73 75 78 86 88 90 93 98 99 101 104 105 107 108 111 116 121 122 135 139 143 145 154 155 166 167 171 172 173 183 188 193 195 197 198 205 209 210 213 218 219 220 221 225 227 229 232 233 239 240 247 249 254 255 258 260 261 262 265 267 268 269 272 275 277 282 283 284 289 291 296 297 301 303 305 308 309 313 314 315 317 319 322 325 326 330 335 336 339 340 341 344 347 356 364 366 369 372 377 378 379 382 384 385 387 390 391 392 397 398 400 401 410 411 413 414 416 419 423 427 429 a 1 2 7 9 14 20 21 29 31 32 33 37 38 39 40 41 42 54 57 60 63 67 68 69 70 73 75 78 86 88 90 93 98 99 101 104 105 107 108 111 116 121 122 135 139 143 145 154 155 166 167 171 172 173 183 188 193 195 197 198 205 209 210 213 218 219 220 221 225 227 229 232 233 239 240 247 249 254 255 258 260 261 262 265 267 268 269 272 275 277 282 283 284 289 291 296 297 301 303 305 308 309 313 314 315 317 319 325 326 330 335 336 339 340 341 344 347 356 364 366 369 372 377 378 379 382 384 385 387 390 391 392 397 398 400 401 410 411 413 414 416 419 423 427 429 a 1 2 7 9 14 20 21 29 31 32 33 37 38 39 40 41 42 54 57 60 63 67 68 69 70 73 75 77 78 86 88 90 93 98 99 101 104 105 107 108 111 116 121 122 135 139 143 145 154 155 166 167 171 172 173 183 188 193 195 197 198 205 209 210 213 218 219 220 221 225 227 229 232 233 239 240 247 249 255 258 260 261 262 265 267 268 269 272 275 277 282 283 284 289 291 296 297 301 303 305 308 309 313 314 315 317 319 325 326 330 335 336 339 340 341 344 347 356 364 366 369 372 377 378 379 382 384 385 387 390 391 392 397 398 400 401 410 411 413 414 416 419 423 427 429 a 1 2 7 9 14 20 21 29 31 32 33 37 38 39 40 41 42 54 57 60 63 67 68 69 70 73 75 77 78 86 88 90 93 98 99 101 104 105 107 108 111 116 121 122 135 139 143 145 146 154 155 166 167 171 172 173 183 188 193 195 197 198 205 209 210 213 218 219 220 221 225 227 229 232 233 239 240 247 249 255 258 260 261 262 265 267 268 269 275 277 282 283 284 289 291 296 297 301 303 305 308 309 313 314 315 317 319 325 326 330 335 336 339 340 341 344 347 356 364 366 369 372 377 378 379 382 384 385 387 390 391 392 397 398 400 401 410 411 413 414 416 419 423 427 429 a 1 2 7 9 14 20 21 29 31 32 33 37 38 39 40 41 42 54 57 60 63 67 68 69 70 73 75 77 78 85 86 88 90 93 98 99 101 104 105 107 108 111 116 121 122 135 139 143 145 146 154 155 166 167 171 172 173 183 188 193 195 197 198 205 209 210 213 219 220 221 225 227 229 232 233 239 240 247 249 255 258 260 261 262 265 267 268 269 275 277 282 283 284 289 291 296 297 301 303 305 308 309 313 314 315 317 319 325 326 330 335 336 339 340 341 344 347 356 364 366 369 372 377 378 379 382 384 385 387 390 391 392 397 398 400 401 410 411 413 414 416 419 423 427 429 a 1 2 7 9 14 20 21 29 31 32 33 37 38 39 40 41 42 54 57 60 63 67 68 69 70 75 77 78 85 86 88 90 93 98 99 101 104 105 106 107 108 111 116 121 122 135 139 143 145 146 154 155 166 167 171 172 173 183 188 193 195 197 198 205 209 210 213 219 220 221 225 227 229 232 233 239 240 247 249 255 258 260 261 262 265 267 268 269 275 277 282 283 284 289 291 296 297 301 303 305 308 309 313 314 315 317 319 325 326 330 335 336 339 340 341 344 347 356 364 366 369 372 377 378 379 382 384 385 387 390 391 392 397 398 400 401 410 411 413 414 416 419 423 427 429 a 1 2 7 9 14 20 21 29 31 32 33 37 38 39 40 41 42 54 57 60 63 67 68 69 70 74 75 77 78 85 86 88 90 93 98 99 101 104 105 106 107 108 111 116 121 122 135 139 143 145 146 154 155 166 167 171 172 173 183 188 193 195 198 205 209 210 213 219 220 221 225 227 229 232 233 239 240 247 249 255 258 260 261 262 265 267 268 269 275 277 282 283 284 289 291 296 297 301 303 305 308 309 313 314 315 317 319 325 326 330 335 336 339 340 341 344 347 356 364 366 369 372 377 378 379 382 384 385 387 390 391 392 397 398 400 401 410 411 413 414 416 419 423 427 429 a 1 2 9 14 20 21 29 31 32 33 37 38 39 40 41 42 54 57 60 63 67 68 69 70 74 75 77 78 85 86 88 90 93 98 99 101 104 105 106 107 108 111 116 121 122 135 139 143 145 146 154 155 166 167 171 172 173 178 183 188 193 195 198 205 209 210 213 219 220 221 225 227 229 232 233 239 240 247 249 255 258 260 261 262 265 267 268 269 275 277 282 283 284 289 291 296 297 301 303 305 308 309 313 314 315 317 319 325 326 330 335 336 339 340 341 344 347 356 364 366 369 372 377 378 379 382 384 385 387 390 391 392 397 398 400 401 410 411 413 414 416 419 423 427 429 a 1 2 9 14 20 21 29 31 32 33 37 38 39 40 41 42 54 57 60 63 67 68 69 70 74 75 77 78 85 86 88 90 93 98 99 101 104 105 106 107 108 111 116 121 122 135 139 143 145 146 154 155 166 167 171 172 173 178 183 188 193 195 198 205 209 210 213 219 220 225 227 229 232 233 239 240 247 249 255 258 260 261 262 265 267 268 269 275 277 282 283 284 289 291 296 297 301 303 305 308 309 313 314 315 317 319 323 325 326 330 335 336 339 340 341 344 347 356 364 366 369 372 377 378 379 382 384 385 387 390 391 392 397 398 400 401 410 411 413 414 416 419 423 427 429 a 1 2 9 14 20 21 29 31 32 33 37 38 39 40 41 42 49 54 57 60 63 67 68 69 70 74 75 77 78 85 86 88 90 93 98 99 101 104 105 106 107 108 111 116 121 122 135 139 143 145 146 154 155 166 167 172 173 178 183 188 193 195 198 205 209 210 213 219 220 225 227 229 232 233 239 240 247 249 255 258 260 261 262 265 267 268 269 275 277 282 283 284 289 291 296 297 301 303 305 308 309 313 314 315 317 319 323 325 326 330 335 336 339 340 341 344 347 356 364 366 369 372 377 378 379 382 384 385 387 390 391 392 397 398 400 401 410 411 413 414 416 419 423 427 429 a 1 2 9 14 20 21 29 31 32 33 37 38 39 40 41 42 49 54 57 60 63 67 68 69 70 74 75 77 78 85 86 88 90 93 98 99 101 104 105 106 107 108 111 116 121 122 135 139 143 145 146 154 155 166 167 172 173 178 183 188 193 195 198 205 209 210 213 219 220 225 227 229 232 233 239 240 247 249 255 258 260 261 262 265 267 268 269 275 277 282 283 284 289 291 296 297 300 301 303 305 308 309 313 314 315 317 323 325 326 330 335 336 339 340 341 344 347 356 364 366 369 372 377 378 379 382 384 385 387 390 391 392 397 398 400 401 410 411 413 414 416 419 423 427 429 a 1 2 9 14 20 21 29 31 32 33 37 38 39 40 41 42 49 54 57 60 63 67 68 69 70 74 75 77 78 85 86 88 90 93 98 99 101 104 105 106 107 108 111 116 121 122 135 139 143 145 146 154 155 166 167 172 173 178 183 188 193 195 198 205 209 210 213 219 220 225 227 229 232 233 239 240 247 249 255 258 260 261 262 265 267 268 269 275 277 282 283 284 289 291 296 297 300 301 303 305 308 309 313 314 315 317 323 325 326 330 335 336 339 340 341 344 347 356 364 366 369 372 375 377 378 379 382 384 385 387 390 391 392 397 398 400 401 410 413 414 416 419 423 427 429 a 1 2 9 14 20 21 29 31 32 33 37 38 39 40 41 49 54 57 60 63 67 68 69 70 74 75 77 78 85 86 88 90 93 98 99 101 104 105 106 107 108 111 116 121 122 135 139 143 145 146 154 155 166 167 172 173 178 183 188 193 195 198 205 209 210 213 219 220 225 227 229 232 233 239 240 247 249 255 258 260 261 262 265 267 268 269 275 277 282 283 284 289 291 296 297 300 301 303 305 308 309 311 313 314 315 317 323 325 326 330 335 336 339 340 341 344 347 356 364 366 369 372 375 377 378 379 382 384 385 387 390 391 392 397 398 400 401 410 413 414 416 419 423 427 429 a 1 2 9 14 20 21 29 31 32 33 37 38 39 40 41 49 54 57 60 63 67 68 69 70 74 75 77 78 85 86 88 90 93 98 99 101 104 105 106 107 108 111 116 121 122 135 139 143 145 146 154 155 166 167 172 173 178 183 188 193 195 198 200 205 209 210 213 219 220 225 227 229 232 239 240 247 249 255 258 260 261 262 265 267 268 269 275 277 282 283 284 289 291 296 297 300 301 303 305 308 309 311 313 314 315 317 323 325 326 330 335 336 339 340 341 344 347 356 364 366 369 372 375 377 378 379 382 384 385 387 390 391 392 397 398 400 401 410 413 414 416 419 423 427 429 a 1 2 9 14 20 21 29 31 32 33 37 38 39 40 41 49 54 57 60 63 67 68 69 70 72 74 75 77 78 85 86 88 90 93 98 99 101 104 105 106 107 108 111 116 121 122 135 139 143 145 146 154 155 166 167 172 173 178 183 188 193 195 198 200 205 209 210 213 219 220 225 227 229 232 239 240 247 249 255 258 260 261 262 265 267 268 269 275 277 282 283 284 289 291 296 297 300 301 303 305 309 311 313 314 315 317 323 325 326 330 335 336 339 340 341 344 347 356 364 366 369 372 375 377 378 379 382 384 385 387 390 391 392 397 398 400 401 410 413 414 416 419 423 427 429 a 1 2 9 14 20 21 29 31 32 33 37 38 39 40 41 49 54 57 60 63 67 68 69 70 72 74 75 77 78 85 86 88 90 93 98 99 101 104 105 106 107 108 111 116 121 122 135 138 139 143 145 146 154 155 166 167 172 173 178 183 188 193 195 198 200 205 209 210 213 219 220 225 227 229 232 239 240 247 249 255 260 261 262 265 267 268 269 275 277 282 283 284 289 291 296 297 300 301 303 305 309 311 313 314 315 317 323 325 326 330 335 336 339 340 341 344 347 356 364 366 369 372 375 377 378 379 382 384 385 387 390 391 392 397 398 400 401 410 413 414 416 419 423 427 429 a 1 2 3 9 14 20 21 29 31 32 33 37 38 39 40 41 49 54 57 60 63 67 68 70 72 74 75 77 78 85 86 88 90 93 98 99 101 104 105 106 107 108 111 116 121 122 135 138 139 143 145 146 154 155 166 167 172 173 178 183 188 193 195 198 200 205 209 210 213 219 220 225 227 229 232 239 240 247 249 255 260 261 262 265 267 268 269 275 277 282 283 284 289 291 296 297 300 301 303 305 309 311 313 314 315 317 323 325 326 330 335 336 339 340 341 344 347 356 364 366 369 372 375 377 378 379 382 384 385 387 390 391 392 397 398 400 401 410 413 414 416 419 423 427 429 a 1 2 3 9 14 20 21 29 31 32 33 37 38 39 40 41 49 54 57 60 63 67 68 70 72 74 75 77 78 85 86 88 90 93 98 99 101 104 105 106 107 108 111 116 121 122 135 138 139 143 145 146 154 155 156 166 167 172 173 178 183 188 193 195 198 200 205 209 210 213 219 220 225 229 232 239 240 247 249 255 260 261 262 265 267 268 269 275 277 282 283 284 289 291 296 297 300 301 303 305 309 311 313 314 315 317 323 325 326 330 335 336 339 340 341 344 347 356 364 366 369 372 375 377 378 379 382 384 385 387 390 391 392 397 398 400 401 410 413 414 416 419 423 427 429 a 1 2 3 9 14 20 21 29 31 32 33 37 38 39 40 41 49 54 57 60 63 67 68 70 72 74 75 77 78 85 86 88 90 93 98 99 101 104 105 106 107 108 111 116 121 122 135 138 139 143 145 146 154 155 156 166 167 172 173 178 183 188 193 195 198 200 205 209 210 213 219 220 225 229 232 239 240 247 249 255 260 262 265 267 268 269 275 277 282 283 284 289 291 296 297 300 301 303 304 305 309 311 313 314 315 317 323 325 326 330 335 336 339 340 341 344 347 356 364 366 369 372 375 377 378 379 382 384 385 387 390 391 392 397 398 400 401 410 413 414 416 419 423 427 429 a 1 2 3 9 14 20 21 29 31 32 33 37 38 39 40 41 49 54 57 60 63 67 68 70 72 74 75 77 78 85 86 88 90 93 98 99 101 104 105 106 107 111 116 121 122 135 138 139 143 145 146 154 155 156 166 167 172 173 178 183 188 193 195 198 200 205 209 210 213 219 220 225 229 232 239 240 247 249 255 260 262 265 267 268 269 275 277 282 283 284 289 291 296 297 300 301 303 304 305 309 311 313 314 315 317 323 325 326 330 335 336 339 340 341 344 347 356 364 366 369 372 375 377 378 379 382 384 385 387 390 391 392 397 398 400 401 410 413 414 415 416 419 423 427 429 a 1 2 3 9 14 20 21 29 31 32 33 37 38 39 40 41 49 54 57 60 63 67 68 70 72 74 75 77 78 85 86 88 90 93 98 99 101 104 105 106 107 111 116 121 122 135 138 139 143 145 146 154 155 156 166 167 173 178 183 188 193 195 198 200 205 209 210 213 219 220 225 229 232 239 240 247 249 255 260 262 265 267 268 269 275 277 282 283 284 289 291 296 297 300 301 303 304 305 309 311 313 314 315 317 323 325 326 330 335 336 339 340 341 344 347 356 364 366 369 372 375 377 378 379 382 384 385 387 390 391 392 397 398 400 401 410 413 414 415 416 419 421 423 427 429 a 1 2 3 9 14 20 21 29 31 32 33 37 38 39 40 41 49 54 57 60 63 67 68 70 72 74 75 77 78 85 86 88 90 93 96 98 99 101 104 105 106 107 116 121 122 135 138 139 143 145 146 154 155 156 166 167 173 178 183 188 193 195 198 200 205 209 210 213 219 220 225 229 232 239 240 247 249 255 260 262 265 267 268 269 275 277 282 283 284 289 291 296 297 300 301 303 304 305 309 311 313 314 315 317 323 325 326 330 335 336 339 340 341 344 347 356 364 366 369 372 375 377 378 379 382 384 385 387 390 391 392 397 398 400 401 410 413 414 415 416 419 421 423 427 429 a 1 2 3 9 14 20 21 29 31 32 33 37 38 39 40 41 49 54 57 60 63 67 68 70 72 74 75 77 78 85 86 88 90 93 96 98 99 101 104 105 106 107 116 121 122 135 138 139 143 145 146 154 155 156 166 167 173 178 183 188 193 195 198 200 205 209 210 213 219 220 225 229 232 239 240 247 249 255 260 262 265 267 268 269 275 277 282 283 284 289 291 296 297 300 301 303 304 305 309 311 313 314 315 317 323 325 326 330 335 336 339 340 341 344 347 356 364 366 369 372 375 377 378 379 382 384 385 387 390 391 392 398 400 401 403 410 413 414 415 416 419 421 423 427 429 a 1 2 3 9 14 20 21 29 31 32 33 37 38 39 40 41 49 54 57 60 63 67 68 70 72 74 75 76 77 78 85 86 88 90 93 96 98 99 101 104 105 106 107 116 121 122 135 138 139 143 145 146 154 155 156 166 167 173 178 183 188 193 195 198 200 205 209 210 213 219 220 225 229 232 239 240 247 249 255 260 262 265 267 268 269 275 277 282 283 284 289 291 296 297 300 301 303 304 305 309 311 313 314 315 317 323 325 326 330 335 336 339 340 341 344 347 356 364 366 369 372 375 377 378 379 382 384 385 387 390 391 392 398 401 403 410 413 414 415 416 419 421 423 427 429 a 1 2 3 9 14 20 21 29 31 32 33 37 38 39 40 41 49 54 57 60 63 67 68 70 72 74 75 76 77 78 85 86 88 90 93 96 98 99 101 104 105 106 107 116 121 122 135 138 139 143 145 146 154 155 156 166 167 173 178 183 188 193 195 198 200 205 209 210 213 216 219 220 225 229 232 239 240 247 249 255 260 265 267 268 269 275 277 282 283 284 289 291 296 297 300 301 303 304 305 309 311 313 314 315 317 323 325 326 330 335 336 339 340 341 344 347 356 364 366 369 372 375 377 378 379 382 384 385 387 390 391 392 398 401 403 410 413 414 415 416 419 421 423 427 429 a 1 2 3 9 14 20 21 29 31 32 33 37 38 39 40 41 49 54 57 60 63 67 68 70 72 74 75 76 77 78 85 86 88 90 93 96 98 99 101 104 105 106 107 116 121 122 138 139 143 145 146 154 155 156 166 167 173 178 183 188 193 195 198 200 205 209 210 213 216 219 220 225 229 232 239 240 247 249 255 260 265 267 268 269 275 277 282 283 284 289 291 296 297 300 301 303 304 305 309 311 313 314 315 317 323 325 326 330 335 336 339 340 341 344 347 356 364 366 369 372 375 377 378 379 382 384 385 387 390 391 392 398 401 403 410 413 414 415 416 419 421 423 427 428 429 a 1 2 3 14 20 21 29 31 32 33 37 38 39 40 41 49 54 57 60 63 67 68 70 72 74 75 76 77 78 85 86 88 90 93 96 98 99 101 104 105 106 107 116 121 122 138 139 143 145 146 154 155 156 166 167 173 178 183 188 193 195 198 200 205 209 210 213 216 219 220 225 229 232 239 240 247 249 255 260 265 267 268 269 275 277 282 283 284 289 291 296 297 300 301 303 304 305 309 311 313 314 315 317 323 325 326 330 335 336 339 340 341 342 344 347 356 364 366 369 372 375 377 378 379 382 384 385 387 390 391 392 398 401 403 410 413 414 415 416 419 421 423 427 428 429 c Step: 128 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance033_graph004.col /benchmark/random_instance/random_instance033_graph004_01.dat" User time (seconds): 499.91 System time (seconds): 3.87 Percent of CPU this job got: 136% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:08.04 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): 13338732 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 4597786 Voluntary context switches: 7252 Involuntary context switches: 1036 Swaps: 0 File system inputs: 0 File system outputs: 936 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:30:35 2023]