#BEGIN: [Mon Sep 4 12:58:30 2023] #HOST: s09 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance034_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance034_graph003_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent /benchmark/random_instance/random_instance034_graph003.col /benchmark/random_instance/random_instance034_graph003_01.dat c /benchmark/random_instance/random_instance034_graph003.col c /benchmark/random_instance/random_instance034_graph003_01.dat *** Info : (clingo): INTERRUPTED by signal! s 311 379 182 21 112 186 80 339 358 226 243 395 335 142 412 397 100 366 346 195 31 375 71 426 54 259 25 148 146 47 288 361 419 403 1 204 231 114 421 51 185 250 41 348 238 122 343 282 189 15 109 153 132 217 28 12 197 326 93 251 437 215 117 409 60 318 281 247 391 36 125 78 143 310 74 411 59 107 438 420 110 273 181 38 169 353 201 342 133 422 214 207 176 359 313 155 284 380 211 296 219 127 55 233 425 90 42 362 49 108 26 293 373 232 2 222 388 415 306 157 141 92 432 244 365 137 410 433 208 39 227 255 4 30 91 345 67 180 164 50 321 234 t 115 90 150 189 94 30 67 135 33 301 60 355 96 362 41 342 136 159 167 66 218 176 416 419 199 280 177 216 309 352 104 117 84 100 157 432 326 143 75 77 179 255 329 16 373 333 210 2 207 34 1 266 404 52 79 194 337 410 403 130 289 121 201 181 198 80 296 155 192 148 427 335 217 240 278 227 9 36 308 387 93 56 305 209 7 389 72 270 420 108 38 132 149 186 73 49 51 109 441 203 204 346 138 277 298 200 421 422 113 81 315 440 273 311 61 82 103 306 22 433 361 356 107 231 5 166 313 69 168 385 110 15 350 230 46 39 134 250 213 140 436 64 a YES a 1 2 4 12 15 21 25 26 28 30 31 36 38 39 41 42 47 49 50 51 54 55 59 60 67 71 74 78 80 90 91 92 93 100 107 108 109 110 112 114 117 122 125 127 132 133 137 141 142 143 146 148 153 155 157 164 169 176 180 181 182 185 186 189 195 197 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 250 251 255 259 273 281 282 284 288 293 296 306 310 311 313 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 437 438 a 1 2 4 12 15 21 25 26 28 30 31 36 38 39 41 42 47 49 50 51 54 55 59 60 65 67 71 74 78 80 90 91 92 93 100 107 108 109 110 112 114 117 122 125 127 133 137 141 142 143 146 148 153 155 157 164 169 176 180 181 182 185 186 189 195 197 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 250 251 255 259 273 281 282 284 288 293 296 306 310 311 313 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 437 438 a 1 2 4 12 15 21 25 26 28 30 31 36 38 39 41 42 46 47 49 50 51 54 55 59 60 65 67 71 74 78 80 90 91 92 93 100 107 108 109 110 112 114 117 122 125 127 133 137 141 142 143 146 148 153 155 157 164 169 176 180 181 182 185 186 189 195 197 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 250 251 255 259 273 281 282 284 288 293 296 306 311 313 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 437 438 a 1 2 4 12 15 21 25 26 28 30 31 36 38 39 41 42 46 47 49 50 51 54 55 59 60 67 71 74 78 80 90 91 92 93 100 107 108 109 110 112 114 117 122 125 127 132 133 137 141 142 143 146 148 153 155 157 164 169 176 180 181 182 185 186 189 195 197 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 250 251 255 259 273 281 282 284 288 293 296 306 311 313 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 437 438 a 1 2 4 12 15 21 25 26 28 30 31 36 38 39 41 42 47 49 50 51 54 55 59 60 67 71 74 78 80 90 91 92 93 100 107 108 109 110 112 114 117 122 125 127 132 133 137 141 142 143 146 148 153 155 157 164 169 176 180 181 182 185 186 189 195 197 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 250 251 255 259 273 281 282 284 288 293 296 306 310 311 313 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 437 438 a 1 2 4 12 15 21 25 26 28 30 31 36 38 39 41 42 47 49 50 51 54 55 59 60 67 71 74 78 80 90 91 92 93 100 107 108 109 110 112 114 117 122 125 127 132 133 137 141 142 143 144 146 148 153 155 157 164 169 176 180 181 182 185 189 195 197 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 250 251 255 259 273 281 282 284 288 293 296 306 310 311 313 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 437 438 a 1 2 4 12 15 21 25 26 28 30 31 36 38 39 41 42 47 49 50 51 54 55 59 60 65 67 71 74 78 80 90 91 92 93 100 107 108 109 110 112 114 117 122 125 127 133 137 141 142 143 144 146 148 153 155 157 164 169 176 180 181 182 185 189 195 197 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 250 251 255 259 273 281 282 284 288 293 296 306 310 311 313 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 437 438 a 1 2 4 12 15 21 25 26 28 30 31 36 38 39 41 42 46 47 49 50 51 54 55 59 60 65 67 71 74 78 80 90 91 92 93 100 107 108 109 110 112 114 117 122 125 127 133 137 141 142 143 144 146 148 153 155 157 164 169 176 180 181 182 185 189 195 197 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 250 251 255 259 273 281 282 284 288 293 296 306 311 313 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 437 438 a 1 2 4 12 15 21 25 26 28 30 31 36 38 39 41 42 46 47 49 50 51 54 55 59 60 67 71 74 78 80 90 91 92 93 100 107 108 109 110 112 114 117 122 125 127 132 133 137 141 142 143 144 146 148 153 155 157 164 169 176 180 181 182 185 189 195 197 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 250 251 255 259 273 281 282 284 288 293 296 306 311 313 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 437 438 a 1 2 4 12 15 25 26 28 30 31 36 38 39 41 42 46 47 49 50 51 54 55 59 60 67 71 74 78 80 90 91 92 93 100 107 108 109 110 112 114 117 122 125 127 132 133 137 141 142 143 144 146 148 153 155 157 164 169 176 180 181 182 185 189 195 197 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 248 250 251 255 259 273 281 282 284 288 293 296 306 311 313 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 437 438 a 1 2 4 12 15 25 26 28 30 31 36 38 39 41 42 46 47 49 50 51 54 55 59 60 65 67 71 74 78 80 90 91 92 93 100 107 108 109 110 112 114 117 122 125 127 133 137 141 142 143 144 146 148 153 155 157 164 169 176 180 181 182 185 189 195 197 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 248 250 251 255 259 273 281 282 284 288 293 296 306 311 313 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 437 438 a 1 2 4 12 15 25 26 28 30 31 36 38 39 41 42 46 47 49 50 51 54 55 59 60 65 67 71 74 78 80 91 92 93 100 107 108 109 110 112 114 117 122 125 127 133 137 141 142 143 144 146 148 153 155 157 164 169 176 180 181 182 185 189 195 197 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 248 250 251 255 259 273 281 282 284 288 293 296 306 311 313 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 434 437 438 a 1 2 4 12 15 25 26 28 30 31 36 38 39 41 42 46 47 49 50 51 54 55 59 60 65 67 71 74 78 80 91 92 93 100 107 108 109 110 112 114 117 122 125 127 133 137 141 142 143 144 146 148 153 155 157 164 169 176 180 181 182 185 189 195 197 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 248 250 251 255 259 273 281 282 284 288 293 296 306 311 313 316 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 426 432 433 434 437 438 a 1 2 4 12 15 25 26 28 30 31 36 38 39 41 42 46 47 49 50 51 54 55 59 60 65 67 71 74 78 80 91 92 93 100 107 108 109 110 112 114 117 122 125 127 133 137 138 141 142 143 144 146 148 153 155 157 164 176 180 181 182 185 189 195 197 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 248 250 251 255 259 273 281 282 284 288 293 296 306 311 313 316 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 426 432 433 434 437 438 a 1 2 4 12 15 25 26 28 30 31 36 38 39 41 42 46 47 49 50 51 54 55 59 60 65 67 71 74 78 80 91 92 93 100 107 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 164 176 180 181 182 185 189 195 197 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 248 250 251 255 259 273 281 282 284 288 293 296 306 311 313 316 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 411 412 415 419 420 421 422 426 432 433 434 437 438 a 1 2 4 12 15 25 26 28 30 31 32 36 38 39 41 42 46 47 49 50 51 54 55 59 60 65 67 71 74 78 80 91 92 93 100 107 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 164 176 180 181 182 185 189 195 197 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 248 250 251 255 259 273 281 282 284 288 293 296 306 313 316 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 411 412 415 419 420 421 422 426 432 433 434 437 438 a 1 2 4 12 15 25 26 28 30 31 32 36 38 39 41 42 46 47 49 50 51 54 55 59 60 65 67 71 74 78 80 91 92 93 100 107 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 164 176 180 181 182 185 189 195 197 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 248 250 251 255 259 273 281 282 284 288 293 296 306 313 316 318 321 326 335 339 342 343 345 346 348 353 358 359 362 365 366 373 375 379 380 388 391 395 397 403 409 411 412 415 419 420 421 422 425 426 432 433 434 437 438 a 1 2 4 12 15 25 26 28 30 31 32 36 38 39 41 42 46 47 49 50 51 54 55 59 60 65 67 71 74 78 91 92 93 100 107 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 164 176 180 181 182 185 189 195 197 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 248 250 251 255 259 273 281 282 284 288 293 296 306 313 316 318 321 326 335 339 342 343 345 346 348 353 358 359 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 434 437 438 a 1 2 4 15 25 26 28 30 31 32 36 38 39 41 42 46 47 49 50 51 54 55 59 60 65 67 71 74 78 91 92 93 100 107 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 164 176 180 181 182 185 189 194 195 197 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 248 250 251 255 259 273 281 282 284 288 293 296 306 313 316 318 321 326 335 339 342 343 345 346 348 353 358 359 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 434 437 438 a 1 2 4 15 25 26 28 30 31 32 36 38 39 41 42 46 47 49 50 51 54 55 59 60 65 67 71 74 78 91 92 93 100 107 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 164 176 180 181 182 185 189 194 195 197 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 248 250 251 255 259 273 281 282 284 288 293 296 306 313 316 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 434 438 a 1 2 4 15 25 26 28 30 31 32 36 38 39 41 42 46 47 49 50 51 54 55 59 60 65 67 71 74 78 91 92 93 100 107 108 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 176 180 181 182 185 189 194 195 197 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 248 250 251 255 259 273 281 282 284 288 293 296 306 313 316 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 434 438 a 1 2 4 15 25 26 28 30 31 32 36 38 39 41 42 46 47 49 50 51 54 55 59 60 65 67 71 74 78 91 92 93 100 107 108 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 176 180 181 182 185 189 194 195 197 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 248 250 251 255 259 273 281 282 284 288 293 296 306 313 316 318 321 326 335 339 340 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 422 425 426 432 433 434 438 a 1 2 4 15 25 26 28 30 31 36 38 39 41 42 46 47 49 50 51 54 55 59 60 65 67 71 74 78 91 92 93 100 107 108 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 176 180 181 182 185 189 194 195 197 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 248 250 251 255 259 273 281 282 284 288 293 296 306 311 313 316 318 321 326 335 339 340 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 422 425 426 432 433 434 438 a 1 2 4 15 25 26 28 30 31 36 38 39 41 42 46 47 49 50 51 54 55 59 60 65 67 71 74 78 91 92 93 100 107 108 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 176 180 181 182 185 189 194 195 197 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 248 250 251 255 259 273 281 282 284 288 293 296 306 311 313 316 318 321 326 335 339 340 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 422 425 426 432 434 437 438 a 1 2 4 15 25 26 28 30 31 36 38 39 41 42 46 47 49 50 51 54 55 59 60 65 67 71 74 78 91 92 93 100 107 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 176 180 181 182 185 189 194 195 197 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 248 250 251 255 259 273 281 282 284 288 293 296 306 311 313 316 318 321 326 335 339 340 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 422 425 426 432 434 437 a 1 2 4 15 25 26 28 30 31 36 38 39 41 42 46 47 49 50 51 54 55 59 60 65 67 71 74 78 91 92 93 100 107 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 176 180 181 182 185 189 194 195 197 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 248 250 251 255 259 273 281 282 284 288 293 296 306 311 313 316 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 434 437 a 1 2 4 15 25 26 28 30 31 36 38 39 41 42 46 47 49 50 51 54 55 59 60 65 67 71 74 78 91 92 93 100 107 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 176 180 181 182 185 189 194 195 197 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 243 244 247 248 250 251 255 259 273 281 282 284 288 293 296 306 311 313 316 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 426 432 434 437 438 a 1 2 4 15 25 26 28 30 31 36 38 39 41 42 46 47 49 50 51 54 55 59 60 65 67 71 74 78 80 91 92 93 100 107 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 176 180 181 182 185 189 194 195 197 201 204 207 208 211 214 217 219 222 226 227 231 232 233 234 238 243 244 247 248 250 251 255 259 273 281 282 284 288 293 296 306 311 313 316 318 321 326 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 426 432 434 437 438 a 1 2 4 15 25 26 28 30 31 36 38 39 41 42 46 47 49 50 51 54 55 59 60 65 67 71 74 78 80 91 92 93 100 107 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 176 180 181 182 185 189 194 195 197 201 204 207 208 211 214 217 219 222 226 227 231 232 233 234 238 243 244 247 248 250 251 255 259 273 281 282 284 288 293 296 306 311 313 316 318 321 326 335 339 342 343 345 346 348 352 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 426 432 434 437 a 1 2 4 15 25 26 28 30 31 36 38 39 41 42 46 47 49 50 51 54 55 59 60 65 67 71 74 78 80 91 92 93 100 107 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 176 180 181 182 185 189 194 195 197 201 204 207 208 211 214 217 219 222 226 227 231 232 233 234 238 243 244 247 248 250 251 255 259 273 281 282 284 288 293 296 306 311 313 316 318 321 326 335 339 342 343 345 346 348 352 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 434 437 a 1 2 4 15 25 26 28 30 31 36 38 39 42 46 47 49 50 51 54 55 59 60 65 67 71 74 78 80 91 92 93 100 107 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 176 180 181 182 185 189 194 195 197 201 204 207 208 211 214 217 219 222 226 227 231 232 233 234 238 243 244 247 248 250 251 255 259 273 281 282 284 288 293 296 306 311 313 316 318 321 326 335 339 342 343 345 346 348 352 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 434 437 a 1 2 4 15 25 26 28 30 31 36 38 39 42 46 47 49 50 51 54 55 59 60 65 67 71 74 78 80 91 92 93 100 107 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 176 180 181 182 185 189 194 195 197 201 204 207 208 211 214 217 219 222 226 227 231 232 233 234 238 243 244 247 248 250 251 255 259 273 281 282 284 288 293 296 306 311 313 316 318 321 326 335 339 342 343 345 346 348 352 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 434 438 a 1 2 4 15 25 26 28 30 31 36 38 39 41 42 46 47 49 50 51 54 55 59 60 65 67 71 74 78 80 91 92 93 100 107 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 176 180 181 182 185 189 194 195 197 201 204 207 208 211 214 217 219 222 226 227 231 232 233 234 238 243 244 247 248 250 251 255 259 273 281 282 284 288 293 296 306 311 313 316 318 321 326 335 339 342 343 345 346 348 352 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 438 a 1 2 4 15 25 26 28 30 31 32 36 38 39 41 42 46 47 49 50 51 54 55 59 60 65 67 71 74 78 80 91 92 93 100 107 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 176 180 181 182 185 189 194 195 197 201 204 207 208 211 214 217 219 222 226 227 231 232 233 234 238 243 244 247 248 250 251 255 259 273 281 282 284 288 293 296 306 313 316 318 321 326 335 339 342 343 345 346 348 352 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 438 a 1 2 4 15 25 26 28 30 31 32 36 38 39 41 42 46 47 49 50 51 54 55 59 60 65 67 71 74 78 80 91 92 93 100 107 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 176 180 181 182 185 189 194 195 197 201 204 207 208 211 214 217 219 222 226 227 231 232 233 234 238 243 244 247 248 250 251 255 259 273 281 282 284 288 293 296 306 313 316 318 321 326 335 339 342 343 345 346 348 352 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 434 a 1 2 4 15 25 26 28 30 31 32 36 38 39 41 42 46 47 49 50 51 54 55 59 60 65 67 71 74 78 80 91 92 93 100 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 176 180 181 182 185 189 194 195 197 201 204 207 208 211 214 217 219 222 226 227 231 232 233 234 238 243 244 247 248 250 251 255 259 273 281 282 284 288 293 296 306 313 316 318 321 326 335 339 342 343 345 346 348 352 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 421 422 425 426 432 433 434 a 1 2 4 15 25 26 28 30 31 32 36 38 39 41 42 46 47 49 50 51 54 55 59 60 65 67 71 74 78 80 91 92 93 100 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 176 180 181 182 185 189 194 195 197 201 204 207 208 211 214 217 219 222 226 227 231 232 233 234 238 243 244 247 248 250 251 255 259 273 281 282 284 288 293 296 306 313 316 318 321 326 335 339 340 342 343 345 346 348 352 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 422 425 426 432 433 434 a 1 2 4 15 25 26 28 30 31 32 36 38 39 41 42 46 47 50 51 54 55 59 60 65 67 71 74 78 80 91 92 93 100 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 176 180 181 182 185 189 194 195 197 201 204 207 208 211 214 217 219 222 226 227 231 232 233 234 238 243 244 246 247 248 250 251 255 259 273 281 282 284 288 293 296 306 313 316 318 321 326 335 339 340 342 343 345 346 348 352 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 422 425 426 432 433 434 a 1 2 4 15 25 26 28 30 31 32 36 38 39 41 42 46 47 50 51 54 55 59 60 65 67 71 74 78 80 91 92 93 100 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 176 180 181 182 185 189 194 195 197 201 204 207 208 211 214 217 219 222 226 227 231 232 233 234 238 243 244 246 247 248 250 251 255 259 273 281 282 284 288 293 296 306 313 316 318 321 326 335 339 340 342 343 345 346 348 352 353 358 359 361 362 365 366 373 375 379 380 388 391 397 403 409 410 411 412 415 419 420 422 425 426 432 433 434 437 a 1 2 4 15 25 26 28 30 31 32 36 38 39 41 42 46 47 50 51 54 55 59 60 65 67 71 74 76 78 80 91 92 93 100 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 176 180 181 182 185 189 194 195 197 201 204 207 208 211 214 217 219 222 226 227 231 232 233 234 238 243 244 246 247 248 250 251 255 259 273 281 282 284 288 293 296 306 313 316 318 321 326 335 339 340 342 343 345 346 348 352 353 358 359 361 362 365 366 373 375 379 380 388 391 397 403 409 410 411 412 415 419 420 425 426 432 433 434 437 a 1 2 4 15 25 28 30 31 32 36 38 39 41 42 46 47 50 51 54 55 59 60 65 67 71 74 76 78 80 91 92 93 100 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 176 180 181 182 185 189 194 195 197 201 204 207 208 211 214 217 219 222 226 227 231 232 233 234 238 243 244 246 247 248 250 251 255 259 273 281 282 284 288 293 296 306 313 316 318 321 326 335 339 340 342 343 345 346 348 352 353 358 359 361 362 365 366 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 425 426 432 433 434 437 a 1 2 4 15 25 28 30 31 32 36 38 39 41 42 46 47 50 51 54 55 59 60 65 67 71 74 76 78 80 91 92 93 100 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 176 180 181 182 185 189 194 195 197 201 204 207 208 211 214 217 219 222 226 227 231 232 233 234 238 243 244 246 247 248 250 251 255 259 273 281 282 284 288 293 296 306 313 318 321 326 335 339 340 342 343 345 346 348 352 353 358 359 361 362 365 366 372 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 425 426 432 433 434 437 a 1 2 4 15 25 28 30 31 32 36 38 39 41 42 46 47 50 51 54 55 59 60 65 67 71 74 76 78 80 82 91 92 93 100 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 176 180 181 182 185 189 194 195 197 201 204 207 208 211 214 217 219 222 226 227 231 232 233 234 238 243 244 246 247 248 250 251 255 259 273 281 284 288 293 296 306 313 318 321 326 335 339 340 342 343 345 346 348 352 353 358 359 361 362 365 366 372 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 425 426 432 433 434 437 a 1 2 4 15 25 28 30 31 32 36 38 39 41 42 46 47 50 51 54 55 59 60 65 67 71 74 76 78 80 82 91 92 93 100 107 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 176 180 181 182 185 189 194 195 197 201 204 207 208 211 214 217 219 222 226 227 231 232 233 234 238 243 244 246 247 248 250 251 255 259 273 281 284 288 293 296 306 313 318 321 326 335 339 340 342 343 345 346 348 352 353 358 359 361 362 365 366 372 373 375 379 380 388 391 395 397 403 409 410 411 412 415 419 420 426 432 433 434 437 a 1 2 4 15 25 28 30 31 32 36 38 39 41 42 46 47 50 51 54 55 59 60 65 67 71 74 76 78 80 82 91 92 93 100 107 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 176 180 181 182 185 189 194 195 197 201 204 207 208 211 214 217 219 222 226 227 231 232 233 234 238 243 244 246 247 248 250 251 255 259 273 281 284 288 293 296 306 313 318 321 326 335 339 340 342 343 345 346 348 352 353 358 359 361 362 365 366 372 373 375 379 380 387 388 391 395 397 403 409 410 411 412 415 419 420 426 432 433 434 a 1 2 4 15 25 28 30 31 32 36 38 39 41 42 46 47 50 51 54 55 56 59 60 65 67 71 74 76 78 80 82 91 92 93 100 107 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 176 180 181 182 189 194 195 197 201 204 207 208 211 214 217 219 222 226 227 231 232 233 234 238 243 244 246 247 248 250 251 255 259 273 281 284 288 293 296 306 313 318 321 326 335 339 340 342 343 345 346 348 352 353 358 359 361 362 365 366 372 373 375 379 380 387 388 391 395 397 403 409 410 411 412 415 419 420 426 432 433 434 a 1 2 4 15 25 28 30 31 32 36 38 39 41 42 46 47 50 51 54 55 56 59 60 65 67 71 74 76 78 80 82 91 92 93 100 107 108 109 110 112 114 117 122 125 127 130 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 176 180 181 182 189 194 195 197 201 204 207 208 211 214 217 219 222 226 227 231 232 233 234 238 243 244 246 247 248 250 251 255 259 273 281 284 288 293 296 306 313 318 321 326 335 339 340 342 343 345 346 348 352 353 358 359 361 362 365 366 372 373 375 379 380 387 388 391 395 397 403 410 411 412 415 419 420 426 432 433 434 a 1 2 4 15 25 28 30 31 32 36 38 39 41 42 46 47 50 51 54 55 56 59 60 65 67 71 74 76 78 80 82 91 92 93 100 107 108 109 110 112 114 117 122 125 127 130 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 168 176 180 181 182 189 194 195 197 201 204 207 208 211 214 217 219 222 226 227 231 232 233 234 238 243 244 246 247 248 250 251 255 259 273 281 284 293 296 306 313 318 321 326 335 339 340 342 343 345 346 348 352 353 358 359 361 362 365 366 372 373 375 379 380 387 388 391 395 397 403 410 411 412 415 419 420 426 432 433 434 a 1 2 4 15 25 28 30 31 32 36 38 39 41 42 46 47 50 51 54 55 56 59 60 67 71 74 76 78 80 82 91 92 93 100 107 108 109 110 112 114 117 122 125 127 130 132 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 168 176 180 181 182 189 194 195 197 201 204 207 208 211 214 217 219 222 226 227 231 232 233 234 238 243 244 246 247 248 250 251 255 259 273 281 284 293 296 306 313 318 321 326 335 339 340 342 343 345 346 348 352 353 358 359 361 362 365 366 372 373 375 379 380 387 388 391 395 397 403 410 411 412 415 419 420 426 432 433 434 a 1 2 4 15 25 28 30 31 32 36 38 39 41 42 46 47 50 51 54 55 56 59 60 67 71 74 76 78 80 82 91 92 93 94 100 107 108 109 110 112 114 117 122 125 127 130 132 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 168 176 180 181 182 189 194 195 197 201 204 207 208 211 214 217 219 222 226 227 231 232 233 234 238 243 244 246 247 248 250 251 255 273 281 284 293 296 306 313 318 321 326 335 339 340 342 343 345 346 348 352 353 358 359 361 362 365 366 372 373 375 379 380 387 388 391 395 397 403 410 411 412 415 419 420 426 432 433 434 a 1 2 4 15 25 28 30 31 32 36 38 39 41 42 46 47 50 51 54 55 56 59 60 67 71 74 76 78 80 82 91 92 93 94 100 107 108 109 110 112 114 117 122 125 127 130 132 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 168 176 180 181 182 189 194 195 197 201 204 207 208 211 214 217 219 222 226 227 231 232 233 234 238 243 244 246 247 248 250 251 255 273 281 284 293 296 306 313 318 321 326 335 339 340 342 343 345 346 348 352 353 355 358 359 361 362 365 366 372 373 375 380 387 388 391 395 397 403 410 411 412 415 419 420 426 432 433 434 a 1 2 4 15 25 28 30 31 32 36 38 39 41 42 46 47 50 51 54 55 56 59 60 67 71 74 76 78 80 82 91 92 93 94 100 107 108 109 110 112 114 117 122 125 127 130 132 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 168 176 180 181 182 189 194 195 197 201 204 207 208 211 214 217 219 222 226 227 231 232 233 234 238 243 244 246 247 248 250 251 255 273 281 284 293 296 306 313 318 321 326 335 337 339 340 342 343 345 346 348 352 353 355 358 361 362 365 366 372 373 375 380 387 388 391 395 397 403 410 411 412 415 419 420 426 432 433 434 a 1 2 4 15 25 30 31 32 36 38 39 41 42 46 47 50 51 54 55 56 59 60 67 71 74 76 78 80 82 91 92 93 94 100 107 108 109 110 112 114 117 122 125 127 130 132 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 168 176 180 181 182 189 194 195 197 199 201 204 207 208 211 214 217 219 222 226 227 231 232 233 234 238 243 244 246 247 248 250 251 255 273 281 284 293 296 306 313 318 321 326 335 337 339 340 342 343 345 346 348 352 353 355 358 361 362 365 366 372 373 375 380 387 388 391 395 397 403 410 411 412 415 419 420 426 432 433 434 a 1 2 4 15 25 30 31 32 36 38 39 41 42 46 47 50 51 54 55 56 59 60 67 71 74 76 78 80 82 91 92 93 94 100 107 108 109 110 112 114 117 122 125 127 130 132 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 168 176 177 180 181 182 189 194 195 197 199 201 204 207 208 214 217 219 222 226 227 231 232 233 234 238 243 244 246 247 248 250 251 255 273 281 284 293 296 306 313 318 321 326 335 337 339 340 342 343 345 346 348 352 353 355 358 361 362 365 366 372 373 375 380 387 388 391 395 397 403 410 411 412 415 419 420 426 432 433 434 a 1 2 4 15 25 30 32 36 38 39 41 42 46 47 50 51 54 55 56 59 60 67 71 74 76 78 80 82 91 92 93 94 100 107 108 109 110 112 114 117 122 125 127 130 132 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 168 176 177 180 181 182 189 194 195 197 199 201 204 207 208 214 217 219 222 226 227 231 232 233 234 238 243 244 246 247 248 250 251 255 273 281 284 293 296 301 306 313 318 321 326 335 337 339 340 342 343 345 346 348 352 353 355 358 361 362 365 366 372 373 375 380 387 388 391 395 397 403 410 411 412 415 419 420 426 432 433 434 a 1 2 4 15 25 30 32 36 38 39 41 42 46 47 50 51 54 55 56 59 60 67 71 74 76 78 80 82 91 92 93 94 100 107 108 109 110 112 114 117 121 122 125 127 130 132 133 135 138 141 142 143 144 146 148 153 155 157 163 164 168 176 177 180 181 182 189 194 195 197 199 201 204 207 208 214 217 219 222 226 227 231 232 233 234 238 243 244 246 247 248 250 251 255 273 281 284 293 296 301 306 313 318 321 326 335 337 339 340 342 343 345 346 348 352 353 355 358 361 362 365 366 372 373 375 380 387 388 391 395 397 403 410 411 412 415 419 420 426 432 433 434 a 1 2 4 15 25 30 32 36 38 39 41 42 46 47 50 51 54 55 56 59 60 67 71 74 76 78 80 82 91 92 93 94 100 107 108 109 110 112 114 117 121 122 125 127 130 132 133 135 138 141 142 143 144 146 148 150 153 155 157 163 164 168 176 177 180 181 182 189 194 195 197 199 201 204 207 208 214 217 219 222 226 227 231 232 233 234 238 243 244 246 247 248 250 251 255 273 281 284 293 296 301 306 313 318 321 326 335 337 339 340 342 343 345 346 348 352 353 355 358 361 362 365 372 373 375 380 387 388 391 395 397 403 410 411 412 415 419 420 426 432 433 434 a 1 2 4 15 25 30 32 36 38 39 41 42 46 47 50 51 54 55 56 59 60 67 71 74 76 78 80 82 91 92 93 94 100 107 108 109 110 112 114 117 121 122 125 127 130 132 133 135 138 141 142 143 144 146 148 150 153 155 157 163 164 168 176 177 179 180 181 182 189 194 195 197 199 201 204 207 208 214 217 219 222 226 227 231 232 233 234 238 243 244 246 247 248 250 251 255 273 281 284 293 296 301 306 313 318 321 326 335 337 339 340 342 343 345 346 348 352 353 355 358 361 362 365 372 373 375 380 387 388 391 395 397 403 410 411 412 419 420 426 432 433 434 a 1 2 4 15 25 30 32 36 38 39 41 42 46 47 50 51 54 55 56 59 60 67 71 74 76 78 80 82 91 92 93 94 100 107 108 109 110 112 114 117 121 122 125 127 130 132 133 135 138 141 142 143 144 146 148 150 153 155 157 163 164 168 176 177 179 180 181 182 189 194 195 197 199 201 204 207 208 214 217 219 222 226 227 231 232 233 234 238 243 244 246 248 250 251 255 273 281 284 293 296 301 306 313 318 321 326 335 337 339 340 342 343 345 346 348 352 353 355 358 361 362 365 372 373 375 380 387 388 391 395 397 403 410 411 412 416 419 420 426 432 433 434 a 1 2 4 15 25 30 32 36 38 39 41 42 46 47 50 51 54 56 59 60 67 69 71 74 76 78 80 82 91 92 93 94 100 107 108 109 110 112 114 117 121 122 125 127 130 132 133 135 138 141 142 143 144 146 148 150 153 155 157 163 164 168 176 177 179 180 181 182 189 194 195 197 199 201 204 207 208 214 217 219 222 226 227 231 232 233 234 238 243 244 246 248 250 251 255 273 281 284 293 296 301 306 313 318 321 326 335 337 339 340 342 343 345 346 348 352 353 355 358 361 362 365 372 373 375 380 387 388 391 395 397 403 410 411 412 416 419 420 426 432 433 434 a 1 2 4 15 25 30 32 36 38 39 41 42 46 47 50 51 54 56 59 60 67 69 71 74 76 78 80 82 91 92 93 94 100 107 108 109 110 112 114 117 121 122 125 127 130 132 133 135 138 141 142 143 144 146 148 150 153 155 157 163 164 168 176 177 179 180 181 182 189 194 195 197 199 201 204 207 208 213 214 217 219 222 226 227 231 232 233 234 238 244 246 248 250 251 255 273 281 284 293 296 301 306 313 318 321 326 335 337 339 340 342 343 345 346 348 352 353 355 358 361 362 365 372 373 375 380 387 388 391 395 397 403 410 411 412 416 419 420 426 432 433 434 a 1 2 4 15 25 30 32 33 36 38 39 41 42 46 47 50 51 54 56 59 60 67 69 71 74 76 78 80 82 91 92 93 94 100 107 108 109 110 114 117 121 122 125 127 130 132 133 135 138 141 142 143 144 146 148 150 153 155 157 163 164 168 176 177 179 180 181 182 189 194 195 197 199 201 204 207 208 213 214 217 219 222 226 227 231 232 233 234 238 244 246 248 250 251 255 273 281 284 293 296 301 306 313 318 321 326 335 337 339 340 342 343 345 346 348 352 353 355 358 361 362 365 372 373 375 380 387 388 391 395 397 403 410 411 412 416 419 420 426 432 433 434 a 1 2 4 5 15 25 30 32 33 36 38 39 41 42 46 47 50 51 54 56 59 60 67 69 71 74 76 78 80 82 91 92 93 94 100 107 108 109 110 114 117 121 122 125 127 130 132 133 135 138 141 142 143 144 146 148 150 153 155 157 163 164 168 176 177 179 180 181 182 189 194 195 197 199 201 204 207 208 213 214 217 219 222 226 227 231 232 233 234 238 244 246 248 250 251 255 273 281 284 293 296 301 306 313 318 321 326 335 337 339 340 342 343 345 346 348 352 353 355 358 361 362 365 372 373 375 380 387 388 391 397 403 410 411 412 416 419 420 426 432 433 434 a 1 2 4 5 15 25 30 32 33 36 38 39 41 42 46 47 50 51 54 56 59 60 67 69 71 74 76 78 80 82 91 92 93 94 100 107 108 109 110 114 117 121 122 125 127 130 132 133 135 138 141 142 143 144 146 148 150 153 155 157 163 164 168 176 177 179 180 181 182 189 194 195 197 199 201 204 207 208 213 217 219 222 226 227 231 232 233 234 238 244 246 248 250 251 255 273 281 284 293 296 301 306 313 318 321 326 333 335 337 339 340 342 343 345 346 348 352 353 355 358 361 362 365 372 373 375 380 387 388 391 397 403 410 411 412 416 419 420 426 432 433 434 a 1 2 4 5 15 25 30 32 33 36 38 39 41 42 46 47 50 51 54 56 59 60 67 69 71 74 76 78 80 82 91 92 93 94 100 107 108 109 110 114 117 121 122 125 127 130 132 133 135 138 141 142 143 144 146 148 150 153 155 157 163 164 168 176 177 179 180 181 182 189 194 195 197 199 201 204 207 208 213 217 219 222 226 227 231 232 233 234 238 244 246 248 250 251 255 273 278 281 284 293 296 301 306 313 318 321 326 333 335 337 339 340 342 343 345 346 348 352 353 355 358 361 362 365 372 373 375 380 387 388 391 397 403 410 412 416 419 420 426 432 433 434 a 1 2 4 5 15 25 30 32 33 36 38 39 41 42 46 47 49 50 51 54 56 59 60 67 69 71 74 76 78 80 82 91 92 93 94 100 107 108 109 110 114 117 121 122 125 127 130 132 133 135 138 141 142 143 144 146 148 150 153 155 157 163 164 168 176 177 179 180 181 182 189 194 195 197 199 201 204 207 208 213 217 219 222 226 227 231 232 233 234 238 244 248 250 251 255 273 278 281 284 293 296 301 306 313 318 321 326 333 335 337 339 340 342 343 345 346 348 352 353 355 358 361 362 365 372 373 375 380 387 388 391 397 403 410 412 416 419 420 426 432 433 434 a 1 2 4 5 15 25 30 32 33 36 38 39 41 42 46 47 49 50 51 54 56 59 60 67 69 71 74 76 77 78 80 82 91 92 93 94 100 107 108 109 110 114 117 121 122 125 127 130 132 133 135 138 141 142 143 144 146 148 150 153 155 157 163 164 168 176 177 179 180 181 182 189 194 195 197 199 201 204 207 208 213 217 219 222 226 227 231 232 233 234 238 244 248 250 251 255 273 278 281 284 293 296 301 306 313 318 321 326 333 335 337 339 340 342 343 345 346 348 352 353 355 358 361 362 365 373 375 380 387 388 391 397 403 410 412 416 419 420 426 432 433 434 a 1 2 4 5 15 25 30 32 33 36 38 39 41 42 46 47 49 50 51 54 56 59 60 67 69 71 74 76 77 78 80 82 91 92 93 94 100 107 108 109 110 114 117 121 122 125 127 130 132 133 135 138 141 142 143 144 146 148 150 153 155 157 163 164 168 176 177 179 180 181 182 189 194 195 197 199 201 204 207 208 213 217 219 222 226 227 231 232 233 234 238 244 248 250 251 255 273 278 281 284 293 296 301 306 313 318 321 326 333 335 337 339 342 343 345 346 348 352 353 355 358 361 362 365 373 375 380 387 388 391 397 403 410 412 416 419 420 421 426 432 433 434 a 1 2 4 5 15 25 30 32 33 36 38 39 41 42 46 47 49 50 51 54 56 59 60 67 69 71 74 76 77 78 80 82 91 92 93 94 100 107 108 109 110 114 117 121 122 125 127 130 132 133 135 138 141 142 143 144 146 148 150 153 155 157 163 164 168 176 177 179 180 181 182 189 194 195 197 199 201 204 207 208 213 217 219 222 226 227 231 232 233 234 238 244 248 250 251 255 273 278 281 284 293 296 301 306 313 318 321 326 333 335 337 339 342 343 345 346 348 352 353 355 358 361 362 365 373 375 380 385 387 388 391 397 403 410 412 416 419 420 421 426 432 433 a 1 2 4 5 15 25 30 32 33 36 38 39 41 42 46 47 49 50 51 54 56 59 60 67 69 71 74 76 77 78 80 82 91 92 93 94 100 107 108 109 110 114 117 121 122 125 127 130 132 133 135 138 141 142 143 146 148 150 153 155 157 163 164 168 176 177 179 180 181 182 186 189 194 195 197 199 201 204 207 208 213 217 219 222 226 227 231 232 233 234 238 244 248 250 251 255 273 278 281 284 293 296 301 306 313 318 321 326 333 335 337 339 342 343 345 346 348 352 353 355 358 361 362 365 373 375 380 385 387 388 391 397 403 410 412 416 419 420 421 426 432 433 a 1 2 4 5 15 25 30 32 33 36 38 39 41 42 46 47 49 50 51 54 56 59 60 67 69 71 74 76 77 78 80 82 91 92 93 94 100 107 108 109 110 114 117 121 122 125 127 130 132 133 135 138 141 142 143 146 148 150 153 155 157 163 164 168 176 177 179 180 181 182 186 189 194 195 197 199 201 204 207 208 213 216 217 219 222 226 227 231 232 233 234 238 244 248 250 251 255 273 278 281 284 293 296 301 306 313 318 321 326 333 335 337 339 342 343 345 346 348 352 355 358 361 362 365 373 375 380 385 387 388 391 397 403 410 412 416 419 420 421 426 432 433 a 1 2 4 5 15 25 30 32 33 36 38 39 41 42 46 47 49 50 51 54 56 59 60 67 69 71 74 77 78 80 82 91 92 93 94 100 107 108 109 110 114 117 121 122 125 127 130 132 133 135 138 141 142 143 146 148 150 153 155 157 163 164 168 176 177 179 180 181 182 186 189 194 195 197 199 201 204 207 208 213 216 217 219 222 226 227 231 232 233 234 238 244 248 250 251 255 273 278 281 284 293 296 301 306 313 318 321 326 333 335 337 339 342 343 345 346 348 352 355 358 361 362 365 373 375 380 385 387 388 391 397 403 410 412 416 419 420 421 422 426 432 433 a 1 2 4 5 15 25 30 32 33 36 38 39 41 42 46 47 49 50 51 54 56 59 60 67 69 71 74 77 78 80 82 91 92 93 94 100 107 108 109 110 117 121 122 125 127 130 132 133 135 138 140 141 142 143 146 148 150 153 155 157 163 164 168 176 177 179 180 181 182 186 189 194 195 197 199 201 204 207 208 213 216 217 219 222 226 227 231 232 233 234 238 244 248 250 251 255 273 278 281 284 293 296 301 306 313 318 321 326 333 335 337 339 342 343 345 346 348 352 355 358 361 362 365 373 375 380 385 387 388 391 397 403 410 412 416 419 420 421 422 426 432 433 a 1 2 4 5 15 16 25 30 32 33 36 38 39 41 42 46 47 49 50 51 54 56 59 60 67 69 71 74 77 78 80 82 91 92 93 94 100 107 108 109 110 117 121 122 125 127 130 132 133 135 138 140 141 142 143 146 148 150 153 155 157 163 164 168 176 177 179 180 181 182 186 189 194 195 197 199 201 204 207 208 213 216 217 219 222 226 227 231 232 233 234 238 244 248 250 251 255 273 278 281 284 293 296 301 306 313 318 321 326 333 335 337 339 342 343 345 346 352 355 358 361 362 365 373 375 380 385 387 388 391 397 403 410 412 416 419 420 421 422 426 432 433 a 1 2 4 5 15 16 25 30 32 33 36 38 39 41 42 46 47 49 50 51 54 56 59 60 67 69 71 74 77 78 80 82 91 92 93 94 100 107 108 109 110 117 121 122 125 127 130 132 133 135 138 140 141 142 143 146 148 150 153 155 157 163 164 168 176 177 179 180 181 182 186 189 194 195 197 199 201 204 207 208 213 216 217 219 222 226 227 231 232 233 234 238 244 248 250 251 255 273 278 281 284 293 296 301 306 313 318 321 326 333 335 337 339 342 343 345 346 350 352 355 358 361 362 365 373 375 380 385 387 391 397 403 410 412 416 419 420 421 422 426 432 433 a 1 2 4 5 15 16 25 30 32 33 36 38 39 41 42 46 47 49 50 51 54 56 59 60 67 69 71 74 77 78 80 82 91 92 93 94 100 107 108 109 110 117 121 122 125 127 130 132 133 135 138 140 141 142 143 146 148 150 153 155 157 163 164 168 176 177 179 180 181 182 186 189 194 195 197 199 201 204 207 208 213 216 217 219 222 226 227 231 232 234 238 244 248 250 251 255 273 278 281 284 293 296 301 306 313 318 321 326 333 335 337 339 342 343 345 346 350 352 355 356 358 361 362 365 373 375 380 385 387 391 397 403 410 412 416 419 420 421 422 426 432 433 a 1 2 4 5 15 16 25 30 33 36 38 39 41 42 46 47 49 50 51 54 56 59 60 67 69 71 74 77 78 80 82 91 92 93 94 100 107 108 109 110 117 121 122 125 127 130 132 133 135 138 140 141 142 143 146 148 150 153 155 157 163 164 168 176 177 179 180 181 182 186 189 194 195 197 199 201 204 207 208 213 216 217 219 222 226 227 231 232 234 238 244 248 250 251 255 273 278 281 284 293 296 301 306 311 313 318 321 326 333 335 337 339 342 343 345 346 350 352 355 356 358 361 362 365 373 375 380 385 387 391 397 403 410 412 416 419 420 421 422 426 432 433 a 1 2 4 5 15 16 25 30 33 36 38 39 41 42 46 47 49 50 51 54 56 59 60 67 69 71 74 77 78 80 82 91 92 93 94 100 107 108 109 110 117 121 122 125 127 130 132 133 135 138 140 141 142 143 146 148 150 153 155 157 163 164 168 176 177 179 180 181 182 186 189 194 195 197 199 201 204 207 208 213 216 217 219 222 226 227 231 232 234 238 248 250 251 255 273 278 281 284 293 296 301 306 311 313 318 321 326 333 335 337 339 342 343 345 346 350 352 355 356 358 361 362 365 373 375 380 385 387 389 391 397 403 410 412 416 419 420 421 422 426 432 433 a 1 2 4 5 15 16 25 30 33 36 38 39 41 42 46 47 49 50 51 54 56 59 60 67 69 71 74 77 78 80 82 91 92 93 94 100 103 107 108 109 110 117 121 122 127 130 132 133 135 138 140 141 142 143 146 148 150 153 155 157 163 164 168 176 177 179 180 181 182 186 189 194 195 197 199 201 204 207 208 213 216 217 219 222 226 227 231 232 234 238 248 250 251 255 273 278 281 284 293 296 301 306 311 313 318 321 326 333 335 337 339 342 343 345 346 350 352 355 356 358 361 362 365 373 375 380 385 387 389 391 397 403 410 412 416 419 420 421 422 426 432 433 a 1 2 4 5 15 16 25 30 33 36 38 39 41 42 46 47 49 50 51 54 56 59 60 67 69 71 74 77 78 80 82 91 92 93 94 100 103 107 108 109 110 117 121 122 127 130 132 133 135 138 140 141 142 143 146 148 150 153 155 157 163 164 168 176 177 179 180 181 182 186 189 194 195 197 199 201 204 207 208 213 216 217 222 226 227 231 232 234 238 248 250 251 255 273 278 281 284 293 296 301 306 308 311 313 318 321 326 333 335 337 339 342 343 345 346 350 352 355 356 358 361 362 365 373 375 380 385 387 389 391 397 403 410 412 416 419 420 421 422 426 432 433 a 1 2 4 5 15 16 25 30 33 36 38 39 41 42 46 47 49 50 51 54 56 59 60 67 69 71 74 77 78 80 82 91 92 93 94 100 103 107 108 109 110 117 121 122 127 130 132 133 135 138 140 141 142 143 146 148 150 153 155 157 164 168 176 177 179 180 181 182 186 189 194 195 197 199 200 201 204 207 208 213 216 217 222 226 227 231 232 234 238 248 250 251 255 273 278 281 284 293 296 301 306 308 311 313 318 321 326 333 335 337 339 342 343 345 346 350 352 355 356 358 361 362 365 373 375 380 385 387 389 391 397 403 410 412 416 419 420 421 422 426 432 433 a 1 2 4 5 15 16 25 30 33 36 38 39 41 42 46 47 49 50 51 54 56 59 60 67 69 71 74 77 78 80 82 90 91 92 93 94 100 103 107 108 109 110 117 121 122 127 130 132 133 135 138 140 141 143 146 148 150 153 155 157 164 168 176 177 179 180 181 182 186 189 194 195 197 199 200 201 204 207 208 213 216 217 222 226 227 231 232 234 238 248 250 251 255 273 278 281 284 293 296 301 306 308 311 313 318 321 326 333 335 337 339 342 343 345 346 350 352 355 356 358 361 362 365 373 375 380 385 387 389 391 397 403 410 412 416 419 420 421 422 426 432 433 a 1 2 4 5 15 16 25 30 33 36 38 39 41 42 46 47 49 50 51 54 56 59 60 67 69 71 74 77 80 82 90 91 92 93 94 100 103 107 108 109 110 117 121 122 127 130 132 133 134 135 138 140 141 143 146 148 150 153 155 157 164 168 176 177 179 180 181 182 186 189 194 195 197 199 200 201 204 207 208 213 216 217 222 226 227 231 232 234 238 248 250 251 255 273 278 281 284 293 296 301 306 308 311 313 318 321 326 333 335 337 339 342 343 345 346 350 352 355 356 358 361 362 365 373 375 380 385 387 389 391 397 403 410 412 416 419 420 421 422 426 432 433 a 1 2 4 5 15 16 25 30 33 36 38 39 41 46 47 49 50 51 54 56 59 60 67 69 71 74 77 80 82 90 91 92 93 94 100 103 107 108 109 110 117 121 122 127 130 132 133 134 135 138 140 141 143 146 148 150 153 155 157 164 168 176 177 179 180 181 182 186 189 194 195 197 199 200 201 204 207 208 213 216 217 222 226 227 231 232 234 238 248 250 251 255 266 273 278 281 284 293 296 301 306 308 311 313 318 321 326 333 335 337 339 342 343 345 346 350 352 355 356 358 361 362 365 373 375 380 385 387 389 391 397 403 410 412 416 419 420 421 422 426 432 433 a 1 2 4 5 15 16 25 30 33 36 38 39 41 46 47 49 50 51 54 56 59 60 64 67 69 71 74 77 80 82 90 91 92 93 94 100 103 107 108 109 110 117 121 122 130 132 133 134 135 138 140 141 143 146 148 150 153 155 157 164 168 176 177 179 180 181 182 186 189 194 195 197 199 200 201 204 207 208 213 216 217 222 226 227 231 232 234 238 248 250 251 255 266 273 278 281 284 293 296 301 306 308 311 313 318 321 326 333 335 337 339 342 343 345 346 350 352 355 356 358 361 362 365 373 375 380 385 387 389 391 397 403 410 412 416 419 420 421 422 426 432 433 a 1 2 4 5 15 16 25 30 33 36 38 39 41 46 49 50 51 54 56 59 60 64 67 69 71 73 74 77 80 82 90 91 92 93 94 100 103 107 108 109 110 117 121 122 130 132 133 134 135 138 140 141 143 146 148 150 153 155 157 164 168 176 177 179 180 181 182 186 189 194 195 197 199 200 201 204 207 208 213 216 217 222 226 227 231 232 234 238 248 250 251 255 266 273 278 281 284 293 296 301 306 308 311 313 318 321 326 333 335 337 339 342 343 345 346 350 352 355 356 358 361 362 365 373 375 380 385 387 389 391 397 403 410 412 416 419 420 421 422 426 432 433 a 1 2 4 5 15 16 25 30 33 36 38 39 41 46 49 50 51 54 56 59 60 64 67 69 71 73 74 77 80 82 90 91 92 93 94 100 103 107 108 109 110 117 121 122 130 132 133 134 135 138 140 141 143 146 148 150 153 155 157 164 168 176 177 179 180 181 182 186 189 194 195 199 200 201 204 207 208 210 213 216 217 222 226 227 231 232 234 238 248 250 251 255 266 273 278 281 284 293 296 301 306 308 311 313 318 321 326 333 335 337 339 342 343 345 346 350 352 355 356 358 361 362 365 373 375 380 385 387 389 391 397 403 410 412 416 419 420 421 422 426 432 433 a 1 2 4 5 15 16 25 30 33 36 38 39 41 46 49 50 51 54 56 59 60 64 67 69 71 73 74 77 80 82 90 91 92 93 94 100 103 107 108 109 110 117 121 122 130 132 133 134 135 138 140 141 143 146 148 150 153 155 157 164 168 176 177 179 180 181 182 186 189 194 195 199 200 201 204 207 208 210 213 216 217 222 226 227 231 232 234 238 248 250 251 255 266 273 278 281 284 293 296 301 306 308 311 313 318 321 326 329 333 335 337 339 342 343 345 346 350 352 355 356 361 362 365 373 375 380 385 387 389 391 397 403 410 412 416 419 420 421 422 426 432 433 a 1 2 4 5 15 16 25 30 33 36 38 39 41 46 49 50 51 54 56 59 60 64 67 69 71 73 77 80 82 90 91 92 93 94 100 103 104 107 108 109 110 117 121 122 130 132 133 134 135 138 140 141 143 146 148 150 153 155 157 164 168 176 177 179 180 181 182 186 189 194 195 199 200 201 204 207 208 210 213 216 217 222 226 227 231 232 234 238 248 250 251 255 266 273 278 281 284 293 296 301 306 308 311 313 318 321 326 329 333 335 337 339 342 343 345 346 350 352 355 356 361 362 365 373 375 380 385 387 389 391 397 403 410 412 416 419 420 421 422 426 432 433 a 1 2 5 15 16 25 30 33 36 38 39 41 46 49 50 51 52 54 56 59 60 64 67 69 71 73 77 80 82 90 91 92 93 94 100 103 104 107 108 109 110 117 121 122 130 132 133 134 135 138 140 141 143 146 148 150 153 155 157 164 168 176 177 179 180 181 182 186 189 194 195 199 200 201 204 207 208 210 213 216 217 222 226 227 231 232 234 238 248 250 251 255 266 273 278 281 284 293 296 301 306 308 311 313 318 321 326 329 333 335 337 339 342 343 345 346 350 352 355 356 361 362 365 373 375 380 385 387 389 391 397 403 410 412 416 419 420 421 422 426 432 433 a 1 2 5 15 16 25 30 33 36 38 39 41 46 49 50 51 52 54 56 59 60 64 67 69 71 73 77 80 82 90 91 92 93 94 100 103 104 107 108 109 110 117 121 122 130 132 133 134 135 138 140 141 143 146 148 150 153 155 157 164 168 176 177 179 180 181 182 186 189 194 195 199 200 201 203 204 207 208 210 213 216 217 222 226 227 231 232 234 238 248 250 251 255 266 273 278 281 284 293 296 301 306 308 311 313 318 321 326 329 333 335 337 339 342 343 345 346 350 352 355 356 361 362 365 373 375 380 385 387 389 391 397 403 410 412 416 419 420 421 422 432 433 a 1 2 5 15 16 25 30 33 34 36 38 39 41 46 49 50 51 52 54 56 59 60 64 67 69 71 73 77 80 82 90 91 92 93 94 100 103 104 107 108 109 110 117 121 122 130 132 133 134 135 138 140 141 143 146 148 150 153 155 157 164 168 176 177 179 180 181 182 186 189 194 195 199 200 201 203 204 207 208 210 213 216 217 222 226 227 231 232 234 238 248 250 251 255 266 273 278 281 284 293 296 301 306 308 311 313 318 321 326 329 333 335 337 339 342 343 345 346 350 352 355 356 361 362 365 373 375 380 385 387 389 391 403 410 412 416 419 420 421 422 432 433 a 1 2 5 15 16 25 30 33 34 36 38 39 41 46 49 50 51 52 54 56 59 60 64 67 69 71 73 77 80 82 90 91 92 93 94 100 103 104 107 108 109 110 117 121 122 130 132 133 134 135 138 140 141 143 146 148 150 153 155 157 164 168 176 177 179 180 181 182 186 189 194 195 199 200 201 203 204 207 208 210 213 216 217 222 226 227 230 231 232 234 238 248 250 251 255 266 273 278 281 284 293 296 301 306 308 311 313 318 321 326 329 333 335 337 339 342 343 345 346 350 352 355 356 361 362 365 373 375 380 385 387 389 403 410 412 416 419 420 421 422 432 433 a 1 2 5 15 16 25 30 33 34 36 38 39 41 46 49 50 51 52 54 56 59 60 64 67 69 71 73 77 80 82 90 91 93 94 100 103 104 107 108 109 110 117 121 122 130 132 133 134 135 138 140 141 143 146 148 150 153 155 157 159 164 168 176 177 179 180 181 182 186 189 194 195 199 200 201 203 204 207 208 210 213 216 217 222 226 227 230 231 232 234 238 248 250 251 255 266 273 278 281 284 293 296 301 306 308 311 313 318 321 326 329 333 335 337 339 342 343 345 346 350 352 355 356 361 362 365 373 375 380 385 387 389 403 410 412 416 419 420 421 422 432 433 a 1 2 5 15 16 25 30 33 34 36 38 39 41 46 49 50 51 52 54 56 59 60 64 67 69 71 73 77 80 82 90 91 93 94 100 103 104 107 108 109 110 117 121 122 130 132 133 134 135 138 140 141 143 146 148 150 153 155 157 159 164 168 176 177 179 180 181 182 186 189 194 195 199 200 201 203 204 207 208 210 213 216 217 222 226 227 230 231 232 234 238 248 250 255 266 273 278 281 284 293 296 301 306 308 311 313 315 318 321 326 329 333 335 337 339 342 343 345 346 350 352 355 356 361 362 365 373 375 380 385 387 389 403 410 412 416 419 420 421 422 432 433 a 1 2 5 15 16 25 30 33 34 36 38 39 41 46 49 50 51 52 54 56 59 60 64 67 69 71 73 77 80 82 90 91 93 94 100 103 104 107 108 109 110 117 121 122 130 132 133 134 135 138 140 141 143 146 148 150 153 155 157 159 164 168 176 177 179 180 181 182 186 189 192 194 195 199 200 201 203 204 207 208 210 213 216 217 222 227 230 231 232 234 238 248 250 255 266 273 278 281 284 293 296 301 306 308 311 313 315 318 321 326 329 333 335 337 339 342 343 345 346 350 352 355 356 361 362 365 373 375 380 385 387 389 403 410 412 416 419 420 421 422 432 433 a 1 2 5 15 16 25 30 33 34 36 38 39 41 46 49 50 51 52 54 56 59 60 64 67 69 71 73 77 80 82 90 91 93 94 100 103 104 107 108 109 110 117 121 122 130 132 133 134 135 138 140 143 146 148 150 153 155 157 159 164 168 176 177 179 180 181 182 186 189 192 194 195 199 200 201 203 204 207 208 210 213 216 217 222 227 230 231 232 234 238 240 248 250 255 266 273 278 281 284 293 296 301 306 308 311 313 315 318 321 326 329 333 335 337 339 342 343 345 346 350 352 355 356 361 362 365 373 375 380 385 387 389 403 410 412 416 419 420 421 422 432 433 a 1 2 5 15 16 25 30 33 34 36 38 39 41 46 49 50 51 52 54 56 59 60 64 67 69 71 73 77 80 82 90 91 93 94 96 100 103 104 107 108 109 110 117 121 122 130 132 133 134 135 138 140 143 146 148 150 153 155 157 159 164 168 176 177 179 180 181 182 186 189 192 194 195 199 200 201 203 204 207 208 210 213 216 217 222 227 230 231 232 234 238 240 248 250 255 266 273 278 281 284 293 296 301 306 308 311 313 315 318 321 326 329 333 335 337 339 342 343 345 346 350 352 355 356 361 362 365 373 375 380 385 387 389 403 410 416 419 420 421 422 432 433 a 1 2 5 15 16 25 30 33 34 36 38 39 41 46 49 50 51 52 54 56 59 60 64 67 69 71 73 77 80 82 90 91 93 94 96 100 103 104 107 108 109 110 117 121 122 130 132 133 134 135 138 140 143 146 148 150 153 155 157 159 164 168 176 177 179 180 181 182 186 189 192 194 195 199 200 201 203 204 207 210 213 216 217 218 222 227 230 231 232 234 238 240 248 250 255 266 273 278 281 284 293 296 301 306 308 311 313 315 318 321 326 329 333 335 337 339 342 343 345 346 350 352 355 356 361 362 365 373 375 380 385 387 389 403 410 416 419 420 421 422 432 433 a 1 2 5 15 16 25 30 33 34 36 38 39 41 46 49 50 51 52 54 56 59 60 64 67 69 71 73 77 80 82 90 91 93 94 96 100 103 104 107 108 109 110 117 121 122 130 132 133 134 135 138 140 143 146 148 150 153 155 157 159 164 168 176 177 179 180 181 182 186 189 192 194 195 199 200 201 203 204 207 210 213 216 217 218 222 227 230 231 232 234 238 240 248 250 255 266 273 278 281 284 293 296 301 306 308 311 313 315 318 321 326 329 333 335 337 342 343 345 346 350 352 355 356 361 362 365 373 375 380 385 387 389 403 404 410 416 419 420 421 422 432 433 a 1 2 5 15 16 25 30 33 34 36 38 39 41 46 49 50 51 52 54 56 59 60 64 67 69 71 73 77 80 82 90 91 93 94 96 100 103 104 107 108 109 110 117 121 122 130 132 133 134 135 138 140 143 146 148 150 153 155 157 159 164 168 176 177 179 180 181 182 186 189 192 194 195 199 200 201 203 204 207 210 213 216 217 218 222 227 230 231 232 234 238 240 248 250 255 266 273 278 281 284 293 296 301 306 308 309 311 313 315 318 326 329 333 335 337 342 343 345 346 350 352 355 356 361 362 365 373 375 380 385 387 389 403 404 410 416 419 420 421 422 432 433 a 1 2 5 15 16 22 25 30 33 34 36 38 39 41 46 49 50 51 52 54 56 59 60 64 67 69 71 73 77 80 82 90 91 93 94 96 100 103 104 107 108 109 110 117 121 122 130 132 133 134 135 138 140 143 146 148 150 153 155 157 159 164 168 176 177 179 180 181 182 186 189 192 194 195 199 200 201 203 204 207 210 213 216 217 218 222 227 230 231 232 234 238 240 248 250 255 266 273 278 281 284 296 301 306 308 309 311 313 315 318 326 329 333 335 337 342 343 345 346 350 352 355 356 361 362 365 373 375 380 385 387 389 403 404 410 416 419 420 421 422 432 433 a 1 2 5 15 16 22 25 30 33 34 36 38 39 41 46 49 50 51 52 54 56 59 60 64 67 69 71 73 77 80 82 90 91 93 94 96 100 103 104 107 108 109 110 117 121 122 130 132 133 134 135 138 140 143 146 148 150 153 155 157 159 164 168 176 177 179 180 181 182 186 189 192 194 199 200 201 203 204 207 210 213 216 217 218 222 227 230 231 232 234 238 240 248 250 255 266 273 278 281 284 296 301 305 306 308 309 311 313 315 318 326 329 333 335 337 342 343 345 346 350 352 355 356 361 362 365 373 375 380 385 387 389 403 404 410 416 419 420 421 422 432 433 a 1 2 5 15 16 22 25 30 33 34 36 38 39 41 46 49 50 51 52 54 56 59 60 64 67 69 71 73 77 80 82 90 91 93 94 96 100 103 104 107 108 109 110 113 117 121 130 132 133 134 135 138 140 143 146 148 150 153 155 157 159 164 168 176 177 179 180 181 182 186 189 192 194 199 200 201 203 204 207 210 213 216 217 218 222 227 230 231 232 234 238 240 248 250 255 266 273 278 281 284 296 301 305 306 308 309 311 313 315 318 326 329 333 335 337 342 343 345 346 350 352 355 356 361 362 365 373 375 380 385 387 389 403 404 410 416 419 420 421 422 432 433 a 1 2 5 15 16 22 25 30 33 34 36 38 39 41 46 49 50 51 52 54 56 59 60 64 67 69 71 73 75 77 80 82 90 91 93 94 96 100 103 104 107 108 109 110 113 117 121 130 132 133 134 135 138 140 143 146 148 150 153 155 157 159 164 168 176 177 179 180 181 182 186 189 192 194 199 200 201 203 204 207 210 213 216 217 218 222 227 230 231 232 234 240 248 250 255 266 273 278 281 284 296 301 305 306 308 309 311 313 315 318 326 329 333 335 337 342 343 345 346 350 352 355 356 361 362 365 373 375 380 385 387 389 403 404 410 416 419 420 421 422 432 433 a 1 2 5 15 16 22 25 30 33 34 36 38 39 41 46 49 50 51 52 54 56 59 60 64 67 69 71 73 75 77 80 82 90 91 93 94 96 100 103 104 107 108 109 110 113 117 121 130 132 133 134 135 138 140 143 146 148 150 153 155 157 159 164 168 176 177 179 180 181 182 186 189 192 194 199 200 201 203 204 207 210 213 216 217 218 222 227 230 231 232 234 240 248 250 255 266 273 278 284 296 301 305 306 308 309 311 313 315 318 326 329 333 335 337 342 343 345 346 350 352 355 356 361 362 365 373 375 380 385 387 389 403 404 410 416 419 420 421 422 432 433 441 a 1 2 5 15 16 22 25 30 33 34 36 38 39 41 46 49 50 51 52 54 56 59 60 64 67 69 71 73 75 77 80 81 82 90 91 93 94 96 100 103 104 107 108 109 110 113 117 121 130 132 133 134 135 138 140 143 146 148 150 153 155 157 159 164 168 176 177 179 180 181 182 186 189 192 194 199 200 201 203 204 207 210 213 216 217 218 222 227 230 231 232 234 240 248 250 255 266 273 278 284 296 301 305 306 308 309 311 313 315 318 326 329 333 335 337 342 343 345 346 350 352 355 356 361 362 373 375 380 385 387 389 403 404 410 416 419 420 421 422 432 433 441 a 1 2 5 15 16 22 25 30 33 34 36 38 39 41 46 49 50 51 52 54 56 59 60 64 67 69 71 73 75 77 80 81 82 90 91 93 94 96 100 103 104 107 108 109 110 113 117 121 130 132 133 134 135 138 140 143 146 148 150 153 155 157 159 164 168 176 177 179 180 181 182 186 189 192 194 199 200 201 203 204 207 210 213 216 217 218 222 227 230 231 232 234 240 248 250 255 266 270 273 278 284 296 301 305 306 308 309 311 313 315 318 326 329 333 335 337 342 345 346 350 352 355 356 361 362 373 375 380 385 387 389 403 404 410 416 419 420 421 422 432 433 441 a 1 2 5 15 16 22 25 30 33 34 36 38 39 41 46 49 50 51 52 54 56 59 60 64 67 69 71 73 75 77 80 81 82 90 91 93 94 96 100 103 104 107 108 109 110 113 117 121 130 132 133 134 135 138 140 143 146 148 150 153 155 157 159 164 168 176 177 179 180 181 182 186 189 192 194 199 200 201 203 204 207 209 210 213 216 217 218 222 227 230 231 232 234 240 248 250 255 266 270 273 278 284 296 301 305 306 308 309 311 313 315 326 329 333 335 337 342 345 346 350 352 355 356 361 362 373 375 380 385 387 389 403 404 410 416 419 420 421 422 432 433 441 a 1 2 5 15 16 22 25 30 33 34 36 38 39 41 46 49 50 51 52 54 56 59 60 61 64 67 69 71 73 75 77 80 81 82 90 91 93 94 96 100 103 104 107 108 109 110 113 117 121 130 132 133 134 135 138 140 143 146 148 150 153 155 157 159 164 168 176 177 179 180 181 186 189 192 194 199 200 201 203 204 207 209 210 213 216 217 218 222 227 230 231 232 234 240 248 250 255 266 270 273 278 284 296 301 305 306 308 309 311 313 315 326 329 333 335 337 342 345 346 350 352 355 356 361 362 373 375 380 385 387 389 403 404 410 416 419 420 421 422 432 433 441 a 1 2 5 15 16 22 25 30 33 34 36 38 39 41 46 49 50 51 52 54 56 59 60 61 64 67 69 71 73 75 77 80 81 82 84 90 91 93 94 96 100 103 104 107 108 109 110 113 117 121 130 132 133 134 135 138 140 143 146 148 150 153 155 157 159 164 168 176 177 179 180 181 186 189 192 194 199 200 201 203 204 207 209 210 213 216 217 218 222 227 230 231 234 240 248 250 255 266 270 273 278 284 296 301 305 306 308 309 311 313 315 326 329 333 335 337 342 345 346 350 352 355 356 361 362 373 375 380 385 387 389 403 404 410 416 419 420 421 422 432 433 441 a 1 2 5 15 16 22 25 30 33 34 36 38 39 41 46 49 50 51 52 54 56 59 60 61 64 67 69 71 73 75 77 80 81 82 84 90 91 93 94 96 100 103 104 107 108 109 110 113 117 121 130 132 133 134 135 138 140 143 146 148 149 150 153 155 157 159 164 168 176 177 179 180 181 186 189 192 194 199 200 201 203 204 207 209 210 213 216 217 218 227 230 231 234 240 248 250 255 266 270 273 278 284 296 301 305 306 308 309 311 313 315 326 329 333 335 337 342 345 346 350 352 355 356 361 362 373 375 380 385 387 389 403 404 410 416 419 420 421 422 432 433 441 a 1 2 5 15 16 22 25 30 33 34 36 38 39 41 46 49 50 51 52 54 56 59 60 61 64 67 69 71 73 75 77 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 117 121 130 132 133 134 135 138 140 143 146 148 149 150 153 155 157 159 164 168 176 177 179 180 181 186 189 192 194 199 200 201 203 204 207 209 210 213 216 217 218 227 230 231 234 240 248 250 255 266 270 273 278 284 296 301 305 306 308 309 311 313 315 326 329 333 335 337 342 345 346 350 352 355 356 361 362 373 375 380 385 387 389 403 404 410 416 419 420 421 422 427 432 433 441 a 1 2 5 15 16 22 25 30 33 34 36 38 39 41 46 49 50 51 52 54 56 59 60 61 64 67 69 71 72 73 75 77 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 117 121 130 132 133 134 135 138 140 143 146 148 149 150 153 155 157 159 164 168 176 177 179 180 181 186 189 192 194 199 200 201 203 204 207 209 210 213 216 217 218 227 230 231 234 240 248 250 255 266 270 273 278 284 296 301 305 306 308 309 311 313 315 326 329 333 335 337 342 345 346 350 352 355 356 361 362 373 375 385 387 389 403 404 410 416 419 420 421 422 427 432 433 441 a 1 2 5 15 16 22 25 30 33 34 36 38 39 41 46 49 50 51 52 54 56 59 60 61 64 67 69 72 73 75 77 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 117 121 130 132 133 134 135 138 140 143 146 148 149 150 153 155 157 159 164 168 176 177 179 180 181 186 189 192 194 199 200 201 203 204 207 209 210 213 216 217 218 227 230 231 234 240 248 250 255 266 270 273 278 284 296 301 305 306 308 309 311 313 315 326 329 333 335 337 342 345 346 350 352 355 356 361 362 373 375 385 387 389 403 404 410 416 419 420 421 422 427 432 433 440 441 a 1 2 5 15 16 22 25 30 33 34 36 38 39 41 46 49 50 51 52 54 56 59 60 61 64 67 69 72 73 75 77 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 117 121 130 132 133 134 135 138 140 143 146 148 149 150 153 155 157 159 164 168 176 177 179 181 186 189 192 194 199 200 201 203 204 207 209 210 213 216 217 218 227 230 231 234 240 248 250 255 266 270 273 278 284 296 298 301 305 306 308 309 311 313 315 326 329 333 335 337 342 345 346 350 352 355 356 361 362 373 375 385 387 389 403 404 410 416 419 420 421 422 427 432 433 440 441 a 1 2 5 15 16 22 25 30 33 34 36 38 39 41 46 49 50 51 52 54 56 59 60 61 64 67 69 72 73 75 77 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 117 121 130 132 133 134 135 138 140 143 146 148 149 150 155 157 159 164 168 176 177 179 181 186 189 192 194 199 200 201 203 204 207 209 210 213 216 217 218 227 230 231 234 240 248 250 255 266 270 273 278 280 284 296 298 301 305 306 308 309 311 313 315 326 329 333 335 337 342 345 346 350 352 355 356 361 362 373 375 385 387 389 403 404 410 416 419 420 421 422 427 432 433 440 441 a 1 2 5 15 16 22 25 30 33 34 36 38 39 41 46 49 50 51 52 54 56 59 60 61 64 67 69 72 73 75 77 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 117 121 130 132 133 134 135 138 140 143 146 148 149 150 155 157 159 167 168 176 177 179 181 186 189 192 194 199 200 201 203 204 207 209 210 213 216 217 218 227 230 231 234 240 248 250 255 266 270 273 278 280 284 296 298 301 305 306 308 309 311 313 315 326 329 333 335 337 342 345 346 350 352 355 356 361 362 373 375 385 387 389 403 404 410 416 419 420 421 422 427 432 433 440 441 a 1 2 5 15 16 22 25 30 33 34 36 38 39 41 46 49 50 51 52 54 56 59 60 61 64 67 69 72 73 75 77 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 117 121 130 132 133 134 135 138 140 143 146 148 149 150 155 157 159 166 167 168 176 177 179 181 186 189 192 194 199 200 201 203 204 207 209 210 213 216 217 218 227 230 231 234 240 248 250 255 266 270 273 278 280 296 298 301 305 306 308 309 311 313 315 326 329 333 335 337 342 345 346 350 352 355 356 361 362 373 375 385 387 389 403 404 410 416 419 420 421 422 427 432 433 440 441 a 1 2 5 15 16 22 25 30 33 34 36 38 39 41 46 49 50 51 52 54 56 59 60 61 64 67 69 72 73 75 77 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 115 117 121 130 132 133 134 135 138 140 143 148 149 150 155 157 159 166 167 168 176 177 179 181 186 189 192 194 199 200 201 203 204 207 209 210 213 216 217 218 227 230 231 234 240 248 250 255 266 270 273 278 280 296 298 301 305 306 308 309 311 313 315 326 329 333 335 337 342 345 346 350 352 355 356 361 362 373 375 385 387 389 403 404 410 416 419 420 421 422 427 432 433 440 441 a 1 2 5 7 15 16 22 25 30 33 34 36 38 39 41 46 49 50 51 52 54 56 59 60 61 64 67 69 72 73 75 77 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 115 117 121 130 132 133 134 135 138 140 143 148 149 150 155 157 159 166 167 168 176 177 179 181 186 189 192 194 199 200 201 203 204 207 209 210 213 216 217 218 227 230 231 240 248 250 255 266 270 273 278 280 296 298 301 305 306 308 309 311 313 315 326 329 333 335 337 342 345 346 350 352 355 356 361 362 373 375 385 387 389 403 404 410 416 419 420 421 422 427 432 433 440 441 a 1 2 5 7 15 16 22 30 33 34 36 38 39 41 46 49 50 51 52 54 56 59 60 61 64 67 69 72 73 75 77 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 115 117 121 130 132 133 134 135 138 140 143 148 149 150 155 157 159 166 167 168 176 177 179 181 186 189 192 194 199 200 201 203 204 207 209 210 213 216 217 218 227 230 231 240 248 250 255 266 270 273 278 280 289 296 298 301 305 306 308 309 311 313 315 326 329 333 335 337 342 345 346 350 352 355 356 361 362 373 375 385 387 389 403 404 410 416 419 420 421 422 427 432 433 440 441 a 1 2 5 7 15 16 22 30 33 34 36 38 39 41 46 49 51 52 54 56 59 60 61 64 67 69 72 73 75 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 115 117 121 130 132 133 134 135 138 140 143 148 149 150 155 157 159 166 167 168 176 177 179 181 186 189 192 194 199 200 201 203 204 207 209 210 213 216 217 218 227 230 231 240 248 250 255 266 270 273 278 280 289 296 298 301 305 306 308 309 311 313 315 326 329 333 335 337 342 345 346 350 352 355 356 361 362 373 375 385 387 389 403 404 410 416 419 420 421 422 427 432 433 440 441 a 1 2 5 7 15 16 22 30 33 34 36 38 39 41 46 49 51 52 54 56 60 61 64 67 69 72 73 75 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 115 117 121 130 132 133 134 135 136 138 140 143 148 149 150 155 157 159 166 167 168 176 177 179 181 186 189 192 194 199 200 201 203 204 207 209 210 213 216 217 218 227 230 231 240 248 250 255 266 270 273 278 280 289 296 298 301 305 306 308 309 311 313 315 326 329 333 335 337 342 345 346 350 352 355 356 361 362 373 375 385 387 389 403 404 410 416 419 420 421 422 427 432 433 440 441 a 1 2 5 7 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 67 69 72 73 75 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 115 117 121 130 132 133 134 135 136 138 140 143 148 149 150 155 157 159 166 167 168 176 177 179 181 186 189 192 194 199 200 201 203 204 207 209 210 213 216 217 218 227 230 231 240 248 250 255 266 270 273 277 278 280 289 296 298 301 305 306 308 309 311 313 315 326 329 333 335 337 342 345 346 350 352 355 356 361 362 373 375 385 387 389 403 404 410 416 419 420 421 422 427 432 433 440 441 a 1 2 5 7 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 67 69 72 73 75 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 115 117 121 130 132 133 134 135 136 138 140 143 148 149 150 155 157 159 166 167 168 176 177 179 181 186 189 192 194 199 200 201 203 204 207 209 210 213 216 217 218 227 230 231 240 248 250 255 266 270 273 277 278 280 289 296 298 301 305 306 308 309 311 313 315 326 329 333 335 337 342 345 346 350 352 355 356 361 362 373 385 387 389 403 404 410 416 419 420 421 422 427 432 433 440 441 a 1 2 5 7 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 67 69 72 73 75 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 115 117 121 130 132 133 134 135 136 138 140 143 148 149 150 155 157 159 166 167 168 176 177 179 181 186 189 192 194 198 199 200 201 203 204 207 209 210 213 216 217 218 227 230 231 240 250 255 266 270 273 277 278 280 289 296 298 301 305 306 308 309 311 313 315 326 329 333 335 337 342 345 346 350 352 355 356 361 362 373 385 387 389 403 404 410 416 419 420 421 422 427 432 433 440 441 a 1 2 5 7 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 67 69 72 73 75 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 115 117 121 130 132 134 135 136 138 140 143 148 149 150 155 157 159 166 167 168 176 177 179 181 186 189 192 194 198 199 200 201 203 204 207 209 210 213 216 217 218 227 230 231 240 250 255 266 270 273 277 278 280 289 296 298 301 305 306 308 309 311 313 315 326 329 333 335 337 342 345 346 350 352 355 356 361 362 373 385 387 389 403 404 410 416 419 420 421 422 427 432 433 436 440 441 a 1 2 5 7 9 15 16 22 30 33 34 36 38 39 41 46 49 51 52 56 60 61 64 66 67 69 72 73 75 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 115 117 121 130 132 134 135 136 138 140 143 148 149 150 155 157 159 166 167 168 176 177 179 181 186 189 192 194 198 199 200 201 203 204 207 209 210 213 216 217 218 227 230 231 240 250 255 266 270 273 277 278 280 289 296 298 301 305 306 308 309 311 313 315 326 329 333 335 337 342 346 350 352 355 356 361 362 373 385 387 389 403 404 410 416 419 420 421 422 427 432 433 436 440 441 c Step: 128 Command being timed: "python3 run_3.py --existent /benchmark/random_instance/random_instance034_graph003.col /benchmark/random_instance/random_instance034_graph003_01.dat" User time (seconds): 63.48 System time (seconds): 0.12 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:03.62 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): 310148 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 114475 Voluntary context switches: 24 Involuntary context switches: 360 Swaps: 0 File system inputs: 0 File system outputs: 896 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:59:34 2023]