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