#BEGIN: [Mon Sep 4 14:51:10 2023] #HOST: s12 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #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 --na -t4 /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! *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.001 seconds 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 67 71 74 78 80 90 91 92 93 100 107 108 109 110 112 114 117 122 125 127 132 133 135 137 141 142 143 146 148 153 155 157 164 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 91 92 93 100 107 108 109 110 112 114 117 122 125 127 132 133 135 137 141 142 143 146 148 153 155 157 164 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 387 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 91 92 93 100 107 108 109 110 112 114 117 122 125 127 132 133 135 137 141 142 143 146 148 153 155 157 163 164 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 387 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 89 91 92 93 100 107 108 109 110 112 114 117 122 125 127 132 133 135 137 141 142 143 146 148 153 155 157 163 164 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 387 388 391 395 397 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 89 91 92 93 100 107 108 109 110 112 114 117 122 125 127 133 135 137 141 142 143 146 148 153 155 157 163 164 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 264 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 387 388 391 395 397 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 89 91 92 93 100 105 107 108 109 110 112 114 117 122 125 127 133 135 137 141 142 143 146 148 153 155 157 163 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 250 251 255 259 264 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 387 388 391 395 397 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 89 91 92 93 100 105 107 108 109 110 112 114 117 122 125 127 133 135 137 141 142 143 146 148 153 155 157 163 164 176 180 181 182 185 189 195 197 201 204 207 208 211 214 215 217 219 226 227 231 232 233 234 238 243 244 247 250 251 252 255 259 264 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 387 388 391 395 397 409 410 411 412 415 419 420 421 422 425 426 432 433 437 438 a 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 89 91 92 93 100 105 107 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 146 148 153 155 157 163 164 176 180 181 182 185 189 195 197 201 204 207 208 211 214 215 217 219 226 227 231 232 233 234 238 243 244 247 250 251 252 255 259 264 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 387 388 391 395 397 409 410 411 412 415 419 420 421 422 425 426 432 433 437 438 a 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 89 91 92 93 100 105 107 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 146 148 153 155 157 163 164 176 180 181 182 185 189 195 197 201 204 207 208 211 214 215 219 226 227 231 232 233 234 238 243 244 247 250 251 252 255 259 264 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 387 388 391 395 397 409 410 411 412 415 419 420 421 422 425 426 432 433 434 437 438 a 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 89 91 92 93 100 105 107 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 146 148 153 155 157 163 164 176 180 181 182 185 189 195 197 201 204 207 208 211 214 215 219 222 226 227 231 232 233 234 238 243 244 247 250 251 255 259 264 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 387 388 391 395 397 409 410 411 412 415 419 420 421 422 425 426 432 433 434 437 438 a 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 89 91 92 93 100 105 107 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 146 148 153 155 157 163 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 244 247 250 251 255 259 264 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 387 388 391 395 397 409 410 411 412 415 419 420 421 422 425 426 432 433 434 437 438 a 2 4 12 15 21 25 26 28 30 31 36 38 39 41 42 47 49 50 51 54 55 56 59 60 67 71 74 78 80 89 91 92 93 100 105 107 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 146 148 153 155 157 163 164 176 180 181 182 189 195 197 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 244 247 250 251 255 259 264 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 387 388 391 395 397 409 410 411 412 415 419 420 421 422 425 426 432 433 434 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 56 59 60 67 71 74 78 80 89 91 92 93 100 105 107 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 146 148 153 155 157 163 164 176 180 181 182 189 195 197 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 244 247 250 251 255 259 264 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 387 388 391 395 397 409 410 411 412 415 419 420 421 422 425 426 432 433 434 437 a 1 2 4 12 15 21 25 26 28 30 31 33 36 38 39 41 42 47 49 50 51 54 55 56 59 60 67 71 74 78 80 89 91 92 93 100 105 107 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 146 148 153 155 157 163 164 176 180 181 182 189 195 197 201 204 207 208 211 214 215 217 219 222 226 227 231 232 233 234 238 244 247 250 251 255 259 264 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 387 388 391 395 397 409 410 411 412 415 419 420 421 422 425 426 432 433 434 a 1 4 12 15 21 25 26 28 30 31 33 36 38 39 41 42 47 49 50 51 54 55 56 59 60 67 71 74 78 80 89 91 92 93 100 105 107 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 146 148 153 155 157 163 164 176 180 181 182 189 195 197 201 204 207 208 211 213 214 215 217 219 222 226 227 231 232 233 234 238 244 247 250 251 255 259 264 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 387 388 391 395 397 409 410 411 412 415 419 420 421 422 425 426 432 433 434 a 1 4 12 15 21 25 26 28 30 31 33 36 38 39 41 42 46 47 49 50 51 54 55 56 59 60 67 71 74 78 80 89 91 92 93 100 105 107 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 146 148 153 155 157 163 164 176 180 181 182 189 195 197 201 204 207 208 211 213 214 215 217 219 222 226 227 231 232 233 234 238 244 247 250 251 255 259 264 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 387 388 391 395 397 409 410 411 412 415 419 420 421 422 425 426 432 433 434 a 1 4 12 15 21 25 26 28 30 31 33 36 38 39 41 42 46 47 49 50 51 54 55 56 59 60 67 71 74 78 80 89 91 92 93 100 105 107 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 146 148 153 155 157 163 164 176 180 181 182 189 195 197 201 204 207 208 211 213 214 215 217 219 222 226 227 231 232 233 234 238 244 247 250 251 255 259 264 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 387 388 391 395 397 409 410 411 412 415 419 420 421 422 425 426 432 433 437 a 1 4 12 15 21 25 26 28 30 31 33 36 38 39 41 42 46 47 49 50 51 54 55 59 60 67 71 74 78 80 89 91 92 93 100 105 107 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 146 148 153 155 157 163 164 176 180 181 182 185 189 195 197 201 204 207 208 211 213 214 215 217 219 222 226 227 231 232 233 234 238 244 247 250 251 255 259 264 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 387 388 391 395 397 409 410 411 412 415 419 420 421 422 425 426 432 433 437 a 1 4 12 15 21 25 26 28 30 31 33 36 38 39 41 42 46 47 49 50 51 54 55 59 60 67 71 74 78 80 89 91 92 93 100 105 107 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 146 148 153 155 157 163 164 176 180 181 182 185 189 195 197 201 204 207 208 211 213 214 215 217 219 222 226 227 231 232 233 234 238 244 247 250 251 255 259 264 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 387 388 391 395 397 409 410 411 412 415 419 420 421 422 425 426 432 437 438 a 1 4 12 15 21 25 26 28 30 31 33 36 38 39 41 42 46 47 49 50 51 54 55 59 60 67 71 74 78 80 89 91 92 93 100 105 107 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 146 148 153 155 157 163 164 176 180 181 182 185 189 195 197 201 204 207 208 211 213 214 215 217 219 222 226 227 231 232 233 234 238 244 247 250 251 255 259 264 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 387 388 391 395 397 409 410 411 412 415 419 420 421 422 425 426 432 434 438 a 1 2 4 12 15 21 25 26 28 30 31 33 36 38 39 41 42 46 47 49 50 51 54 55 59 60 67 71 74 78 80 89 91 92 93 100 105 107 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 146 148 153 155 157 163 164 176 180 181 182 185 189 195 197 201 204 207 208 211 213 214 215 217 219 222 226 227 231 232 233 234 238 244 247 250 251 255 259 264 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 387 388 391 395 397 409 410 411 412 415 419 420 421 422 425 426 432 434 a 1 2 4 12 15 21 25 26 28 30 31 33 36 38 39 41 42 46 47 49 50 51 54 55 56 59 60 67 71 74 78 80 89 91 92 93 100 105 107 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 146 148 153 155 157 163 164 176 180 181 182 189 195 197 201 204 207 208 211 213 214 215 217 219 222 226 227 231 232 233 234 238 244 247 250 251 255 259 264 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 387 388 391 395 397 409 410 411 412 415 419 420 421 422 425 426 432 434 a 1 2 4 12 15 21 25 26 28 30 31 33 36 38 39 41 42 46 47 49 50 51 54 55 56 59 60 67 71 74 78 80 89 91 92 93 100 105 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 195 197 201 204 207 208 211 213 214 215 217 219 222 226 227 231 232 233 234 238 244 247 250 251 255 259 264 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 387 388 391 395 397 409 410 411 412 415 419 420 421 422 425 426 432 a 1 2 4 12 15 21 25 26 28 30 31 33 36 38 39 41 42 46 47 49 50 51 54 55 56 59 60 67 71 74 78 80 89 91 92 93 100 105 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 195 197 201 204 207 208 211 213 214 215 217 219 222 226 227 231 232 233 234 238 244 247 250 251 255 259 264 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 387 388 391 395 397 409 410 411 412 415 419 420 421 422 426 432 437 a 1 2 4 12 15 21 25 26 28 30 31 33 36 38 39 41 42 46 47 49 50 51 54 55 56 59 60 67 71 74 78 80 89 91 92 93 100 105 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 195 197 201 204 207 208 211 213 214 215 217 219 222 226 227 231 232 233 234 238 244 247 250 251 255 259 264 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 387 388 391 395 397 409 410 411 412 415 420 421 422 426 432 437 438 a 1 2 4 12 15 21 25 26 28 30 31 33 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 71 74 78 80 89 91 92 93 100 105 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 195 197 201 204 207 208 211 213 214 215 217 219 222 226 227 231 232 233 234 238 244 247 250 251 255 259 264 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 387 388 391 395 397 409 410 411 412 415 420 421 422 426 432 433 437 438 a 1 2 4 12 15 21 25 26 28 30 31 33 36 38 39 41 42 46 49 50 51 54 56 59 60 67 71 74 78 80 89 91 92 93 100 105 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 195 197 201 204 207 208 211 213 214 215 217 219 222 226 227 231 232 233 234 238 244 247 250 251 255 259 264 273 281 282 284 288 293 296 306 311 313 318 321 326 333 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 387 388 391 395 397 409 410 411 412 415 420 421 422 426 432 433 437 438 a 1 2 4 12 15 21 25 26 28 30 31 33 36 38 39 41 42 46 49 50 51 54 56 59 60 67 71 74 78 80 89 91 92 93 100 105 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 195 197 201 204 207 208 211 213 214 215 217 219 222 226 227 231 232 233 234 238 244 247 250 251 255 259 264 273 281 282 284 288 293 296 306 311 313 316 318 321 326 333 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 387 388 391 395 397 409 410 411 412 415 420 421 422 426 432 433 438 a 1 2 4 12 15 21 25 26 28 30 31 33 36 38 39 41 42 46 49 50 51 54 56 59 60 67 71 74 78 80 89 91 92 93 100 105 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 189 195 197 201 204 207 208 211 213 214 215 217 219 222 226 227 231 232 233 234 238 244 247 250 251 255 259 264 273 281 282 284 288 293 296 306 311 313 316 318 321 326 333 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 387 388 391 395 397 409 410 411 412 415 420 421 422 426 432 433 434 438 a 1 2 4 12 15 21 25 26 28 30 31 33 36 38 39 41 42 46 49 50 51 54 56 59 60 67 71 74 78 80 89 91 92 93 100 105 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 189 195 197 201 204 207 208 211 213 214 215 217 219 222 226 227 231 232 233 234 238 244 247 250 251 255 259 264 273 281 282 284 288 293 296 306 311 313 316 318 321 326 333 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 387 388 391 395 397 409 410 411 412 415 419 420 421 422 432 433 434 438 a 1 2 4 12 15 21 25 26 28 30 31 33 36 38 39 41 42 46 49 50 51 54 59 60 67 71 74 78 80 89 91 92 93 100 105 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 189 195 197 201 204 207 208 211 213 214 215 217 219 222 226 227 231 232 233 234 238 244 247 250 251 255 259 264 273 281 282 284 288 293 296 306 311 313 316 318 321 326 333 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 387 388 391 395 397 409 410 411 412 415 419 420 421 422 432 433 434 437 438 a 1 2 4 12 15 21 25 26 28 30 31 33 36 38 39 41 42 46 49 50 51 54 59 60 67 71 73 74 78 80 89 91 92 93 100 105 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 189 195 197 201 204 207 208 211 213 214 215 217 219 222 226 227 231 232 233 234 238 244 247 250 251 255 259 264 273 281 282 284 288 293 296 306 311 313 318 321 326 333 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 387 388 391 395 397 409 410 411 412 415 419 420 421 422 432 433 434 437 438 a 1 2 4 12 15 21 25 26 28 30 31 33 36 38 39 41 42 46 49 50 51 54 59 60 67 71 73 74 78 80 89 91 92 93 100 105 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 189 195 201 204 207 208 210 211 213 214 215 217 219 222 226 227 231 232 233 234 238 244 247 250 251 255 259 264 273 281 282 284 288 293 296 306 311 313 318 321 326 333 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 387 388 391 395 397 409 410 411 412 415 419 420 421 422 432 433 434 437 438 a 1 2 4 12 15 21 25 26 28 30 31 33 36 38 39 41 42 46 49 50 51 54 59 60 67 71 73 74 78 80 89 91 92 93 100 105 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 189 195 201 204 207 208 210 211 213 214 215 217 219 222 226 227 231 232 233 234 244 247 250 251 255 259 264 273 281 282 284 288 293 296 306 311 313 318 321 326 333 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 387 388 391 395 397 409 410 411 412 415 419 420 421 422 426 432 433 434 437 438 a 1 2 4 12 15 21 25 26 28 30 31 33 36 38 39 41 42 46 49 50 51 59 60 67 71 73 74 78 80 89 91 92 93 100 105 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 195 201 204 207 208 210 211 213 214 215 217 219 222 226 227 231 232 233 234 244 247 250 251 255 259 264 273 281 282 284 288 293 296 306 311 313 318 321 326 333 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 387 388 391 395 397 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 33 36 38 39 41 42 46 49 50 51 59 60 67 71 73 74 78 80 89 91 92 93 100 105 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 195 201 204 207 208 210 211 213 214 215 217 219 222 226 227 231 232 233 234 244 247 248 250 251 255 259 264 273 281 282 284 288 293 296 306 311 313 318 321 326 333 335 339 342 343 345 346 348 353 358 359 361 362 365 366 373 375 379 387 388 391 395 397 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 33 36 38 39 41 42 46 49 50 51 59 60 67 71 73 74 78 80 89 91 92 93 100 105 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 195 201 204 207 208 210 211 213 214 215 217 219 222 226 227 231 232 233 234 244 247 248 250 251 255 259 264 273 281 282 284 288 293 296 306 313 318 321 326 333 335 339 342 343 345 346 348 353 358 359 361 362 365 366 372 373 375 379 387 388 391 395 397 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 33 36 38 39 41 42 46 49 50 51 59 60 65 67 71 73 74 78 80 89 91 92 93 100 105 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 195 201 204 207 208 210 211 213 214 215 217 219 222 226 227 231 232 233 234 244 247 248 250 251 255 259 264 273 281 282 284 288 293 296 306 313 318 321 326 333 335 339 342 343 345 346 348 353 358 359 361 362 365 366 372 373 375 379 387 388 391 395 397 409 410 411 412 415 419 420 421 422 426 432 434 437 438 a 1 2 4 12 15 25 26 28 30 31 33 36 38 39 41 42 46 49 50 51 54 59 60 65 67 71 73 74 78 80 89 91 92 93 100 105 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 195 201 204 207 208 210 211 213 214 215 217 219 222 226 227 231 232 233 234 244 247 248 250 251 255 259 264 273 281 282 284 288 293 296 306 313 318 321 326 333 335 339 342 343 345 346 348 353 358 359 361 362 365 366 372 373 375 379 387 388 391 395 397 409 410 411 412 415 419 420 421 422 426 432 434 437 a 1 2 4 12 15 25 26 28 30 31 33 36 38 39 41 42 46 49 50 51 54 59 60 65 67 71 73 74 78 80 89 91 92 93 100 105 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 195 201 204 207 208 210 211 213 214 215 217 219 222 226 227 231 232 233 234 244 247 248 250 251 255 259 264 273 281 282 284 288 293 296 306 313 318 321 326 333 335 337 339 342 343 345 346 348 353 358 361 362 365 366 372 373 375 379 387 388 391 395 397 409 410 411 412 415 419 420 421 422 426 432 434 437 a 1 2 4 12 15 25 26 28 30 31 33 36 38 39 41 42 46 49 50 51 54 59 60 65 67 71 73 74 78 80 89 91 92 93 100 105 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 195 201 204 207 208 210 211 213 214 215 217 219 222 226 227 231 232 233 234 244 247 248 250 251 255 259 264 273 281 282 284 288 293 296 306 313 318 321 323 326 333 335 337 339 342 343 345 346 348 353 358 361 362 365 366 372 373 375 379 387 388 391 397 409 410 411 412 415 419 420 421 422 426 432 434 437 a 1 2 4 12 15 25 26 28 30 31 33 36 38 39 41 42 46 49 50 51 54 56 59 60 65 67 71 73 74 78 80 89 91 92 93 100 105 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 189 195 201 204 207 208 210 211 213 214 215 217 219 222 226 227 231 232 233 234 244 247 248 250 251 255 259 264 273 281 282 284 288 293 296 306 313 318 321 323 326 333 335 337 339 342 343 345 346 348 353 358 361 362 365 366 372 373 375 379 387 388 391 397 409 410 411 412 415 419 420 421 422 426 432 434 437 a 1 2 4 12 15 25 26 28 30 31 33 36 38 39 41 42 46 49 50 51 54 56 59 60 65 67 71 73 74 78 80 89 91 92 93 100 105 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 189 201 204 207 208 210 211 213 214 215 217 219 222 226 227 231 232 233 234 244 247 248 250 251 255 259 264 273 281 282 284 288 293 296 306 313 318 321 323 326 333 335 337 339 342 343 345 346 348 353 358 361 362 365 366 372 373 375 379 387 388 391 397 409 410 411 412 415 419 420 421 422 426 432 434 437 438 a 1 2 4 12 15 25 26 28 30 31 33 36 38 39 41 42 46 49 50 51 54 56 59 60 65 67 71 73 74 77 78 80 89 91 92 93 100 105 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 189 201 204 207 208 210 211 213 214 215 217 219 222 226 227 231 232 233 234 244 247 248 250 251 255 259 264 273 281 282 284 288 293 296 306 313 318 321 323 326 333 335 337 339 342 343 345 346 348 353 358 361 362 365 366 373 375 379 387 388 391 397 409 410 411 412 415 419 420 421 422 426 432 434 437 438 a 1 2 4 12 15 25 26 28 30 31 33 36 38 39 41 42 46 49 50 51 54 56 59 60 65 67 71 73 74 77 78 80 89 91 92 93 100 105 107 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 180 181 182 189 201 204 207 208 210 211 213 214 215 217 219 222 226 227 231 232 233 234 244 247 248 250 251 255 259 264 273 281 282 284 288 293 296 306 311 313 318 321 323 326 333 335 337 339 342 343 345 346 348 353 358 361 362 365 366 373 375 379 387 388 391 397 409 410 411 412 415 419 420 421 422 426 432 434 437 438 a 1 2 4 12 15 25 26 28 30 31 33 36 38 39 41 42 46 49 50 51 54 55 56 59 60 65 67 71 73 74 77 78 80 89 91 92 93 100 105 107 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 163 164 180 181 182 189 201 204 207 208 210 211 213 214 215 217 219 222 226 227 231 232 233 234 244 247 248 250 251 255 259 264 273 281 282 284 288 293 296 306 311 313 318 321 323 326 335 337 339 342 343 345 346 348 353 358 361 362 365 366 373 375 379 387 388 391 397 409 410 411 412 415 419 420 421 422 426 432 434 437 438 a 1 2 4 12 15 25 26 28 30 31 33 36 38 39 41 42 46 49 50 51 54 55 56 59 60 65 67 71 73 74 77 78 80 89 91 92 93 100 105 107 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 164 180 181 182 189 201 204 207 208 210 211 213 214 215 217 219 222 226 227 231 232 233 234 244 247 248 250 251 255 259 264 273 281 282 284 288 293 296 306 311 313 318 321 323 326 335 337 339 342 343 345 346 348 353 358 361 362 365 366 373 375 379 387 388 391 397 409 410 411 412 415 419 420 421 422 425 426 432 434 437 438 a 1 2 4 12 15 25 26 28 30 31 33 36 38 39 41 42 46 49 50 51 54 55 56 59 60 65 67 71 73 74 77 78 80 89 91 92 93 100 105 107 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 164 180 181 182 189 201 204 207 208 210 211 213 214 215 217 219 222 226 227 231 232 233 234 238 244 247 248 250 251 255 259 264 273 281 282 284 288 293 296 306 311 313 318 321 323 326 335 337 339 342 343 345 346 348 353 358 361 362 365 366 373 375 379 387 388 391 397 409 410 411 412 415 419 420 421 422 425 426 432 434 437 a 1 2 4 5 12 15 25 26 28 30 31 33 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 71 73 74 77 78 80 89 91 92 93 100 105 107 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 164 180 181 182 189 201 204 207 208 210 211 213 214 215 217 219 222 226 227 231 232 233 234 238 244 247 248 250 251 255 259 264 273 281 282 284 288 293 296 306 311 313 318 321 323 326 335 337 339 342 343 345 346 348 353 358 361 362 365 366 373 375 379 387 388 391 397 409 410 411 412 415 419 420 421 422 425 426 432 434 437 a 1 2 4 5 12 15 25 26 28 30 31 33 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 71 73 74 77 78 80 89 91 92 93 100 105 107 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 164 180 181 182 189 201 204 207 208 210 211 213 214 215 217 219 222 226 227 231 233 234 238 244 247 248 250 251 255 259 264 273 281 282 284 288 293 296 306 311 313 318 321 323 326 335 337 339 342 343 345 346 348 353 358 361 362 365 366 373 375 379 387 388 391 397 409 410 411 412 415 419 420 421 422 425 426 432 434 437 a 1 2 4 5 12 15 25 26 28 30 31 33 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 71 73 74 77 78 80 89 91 92 93 94 100 105 107 108 109 110 112 114 117 122 125 127 133 135 137 138 141 142 143 144 146 148 153 155 157 164 180 181 182 189 201 204 207 208 210 211 213 214 215 217 219 222 226 227 231 233 234 238 244 247 248 250 251 255 264 273 281 282 284 288 293 296 306 311 313 318 321 323 326 335 337 339 342 343 345 346 348 353 358 361 362 365 366 373 375 379 387 388 391 397 409 410 411 412 415 419 420 421 422 425 426 432 434 437 a 1 2 4 5 12 15 25 26 28 30 33 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 71 73 74 77 78 80 89 91 92 93 94 100 105 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 189 201 204 207 208 210 211 213 214 215 217 219 222 226 227 231 233 234 238 244 247 248 250 251 255 264 273 281 282 284 288 293 296 306 311 313 318 321 323 326 335 337 339 342 343 345 346 348 353 358 361 362 365 366 373 375 379 387 388 391 397 409 410 411 412 415 419 420 421 422 425 426 432 434 437 a 1 2 4 5 12 15 25 26 28 30 33 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 71 73 74 77 78 80 84 89 91 92 93 94 100 105 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 189 201 204 207 208 210 211 213 214 215 217 219 222 226 227 231 233 234 238 244 247 248 250 251 255 264 273 281 282 284 288 293 296 306 311 313 318 321 323 326 335 337 339 342 343 345 346 348 353 358 361 362 366 373 375 379 387 388 391 397 409 410 411 412 415 419 420 421 422 425 426 432 434 437 a 1 2 4 5 12 15 25 26 28 30 33 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 71 73 74 77 78 80 84 89 91 92 93 94 100 105 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 189 201 204 207 208 210 211 213 214 217 219 222 226 227 231 233 234 238 244 247 248 250 251 255 264 273 281 282 284 288 293 296 306 311 313 318 321 323 326 335 337 339 342 343 345 346 348 352 353 358 361 362 366 373 375 379 387 388 391 397 409 410 411 412 415 419 420 421 422 425 426 432 434 437 a 1 2 4 5 12 15 25 26 28 30 33 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 71 73 74 77 78 80 84 89 91 92 93 94 100 105 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 189 201 204 207 208 210 211 213 214 217 219 222 226 227 231 233 234 238 244 247 248 250 251 255 264 273 281 282 284 288 293 296 306 311 313 318 321 323 326 335 337 339 342 343 345 346 348 352 353 358 361 362 366 373 375 379 387 388 391 397 409 410 411 412 415 419 420 421 422 425 426 432 433 434 a 1 2 4 5 12 15 25 26 28 30 33 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 73 74 77 78 80 84 91 92 93 94 100 105 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 189 201 204 207 208 210 211 213 214 217 219 222 226 227 231 233 234 238 244 247 248 250 251 255 264 273 281 282 284 288 293 296 306 311 313 318 321 323 326 335 337 339 342 343 345 346 348 352 353 358 361 362 366 373 375 379 387 388 391 397 409 410 411 412 415 419 420 421 422 425 426 432 433 434 a 1 2 4 5 12 15 25 26 28 30 33 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 73 74 77 78 80 84 91 92 93 94 100 105 107 108 109 110 112 117 122 125 127 133 135 137 138 140 141 142 143 144 146 148 153 155 157 164 176 180 181 182 189 201 204 207 208 210 211 213 214 217 219 222 226 227 231 233 234 238 244 247 248 250 251 255 264 273 281 282 284 288 293 296 306 311 313 318 321 323 326 335 337 339 342 343 345 346 348 352 353 358 361 362 366 373 375 379 387 388 391 397 409 410 411 412 415 419 420 421 422 425 426 432 433 434 a 1 2 4 5 12 15 25 26 28 30 33 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 73 74 77 78 80 84 91 92 93 94 100 105 107 108 109 110 112 117 122 125 127 133 135 137 138 140 141 142 143 144 146 148 153 155 157 164 168 176 180 181 182 189 201 204 207 208 210 211 213 214 217 219 222 226 227 231 233 234 238 244 247 248 250 251 255 264 273 281 282 284 293 296 306 311 313 318 321 323 326 335 337 339 342 343 345 346 348 352 353 358 361 362 366 373 375 379 387 388 391 397 409 410 411 412 415 419 420 421 422 425 426 432 433 434 a 1 2 4 5 12 15 25 26 28 30 33 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 73 74 77 78 80 84 91 92 93 94 100 105 107 108 109 110 112 117 122 125 127 132 133 135 137 138 140 141 142 143 144 146 148 153 155 157 164 168 176 180 181 182 189 201 204 207 208 210 211 213 214 217 219 222 226 227 231 233 234 238 244 247 248 250 251 255 273 281 282 284 293 296 306 311 313 318 321 323 326 335 337 339 342 343 345 346 348 352 353 358 361 362 366 373 375 379 387 388 391 397 409 410 411 412 415 419 420 421 422 425 426 432 433 434 a 1 2 4 5 12 15 25 26 28 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 73 74 77 78 80 84 91 92 93 94 100 105 107 108 109 110 112 117 122 125 127 132 133 135 137 138 140 141 142 143 144 146 148 153 155 157 164 168 176 180 181 182 189 201 204 207 208 210 211 213 214 217 219 222 226 227 231 233 234 238 244 248 250 251 255 273 281 282 284 293 296 306 311 313 318 321 323 326 335 337 339 342 343 345 346 348 352 353 358 361 362 366 373 375 379 387 388 391 397 409 410 411 412 415 419 420 421 422 425 426 432 433 434 a 1 2 4 5 12 15 25 26 28 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 73 74 77 78 80 84 91 92 93 94 100 105 107 108 109 110 112 117 122 125 127 130 132 133 135 137 138 140 141 142 143 144 146 148 153 155 157 164 168 176 180 181 182 189 201 204 207 208 210 211 213 214 217 219 222 226 227 231 233 234 238 244 248 250 251 255 273 281 282 284 293 296 306 311 313 318 321 323 326 335 337 339 342 343 345 346 348 352 353 358 361 362 366 373 375 379 387 388 391 397 410 411 412 415 419 420 421 422 425 426 432 433 434 a 1 2 4 5 12 15 25 26 28 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 73 74 77 78 80 84 91 92 93 94 100 107 108 109 110 112 117 122 125 127 130 132 133 135 137 138 140 141 142 143 144 146 148 153 155 157 164 168 176 180 181 182 189 201 204 207 208 210 211 213 214 217 219 222 226 227 231 233 234 238 244 248 250 251 255 273 281 282 284 293 296 306 311 313 318 321 323 326 335 337 339 342 343 345 346 348 352 353 358 361 362 366 373 375 379 387 388 391 397 403 410 411 412 415 419 420 421 422 425 426 432 433 434 a 1 2 4 5 12 15 25 26 28 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 73 74 77 78 80 84 91 92 93 94 100 107 108 109 110 112 117 122 125 127 130 132 133 135 137 138 140 141 142 143 144 146 148 153 155 157 164 168 176 180 181 182 189 201 204 207 208 210 211 213 214 217 219 222 226 227 231 233 234 238 244 248 250 251 255 273 278 281 282 284 293 296 306 311 313 318 321 323 326 335 337 339 342 343 345 346 348 352 353 358 361 362 366 373 375 379 387 388 391 397 403 410 412 415 419 420 421 422 425 426 432 433 434 a 1 2 4 5 12 15 25 26 28 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 73 74 77 78 80 84 91 92 93 94 100 107 108 109 110 112 117 122 125 127 130 132 133 135 137 138 140 141 142 143 144 146 148 153 155 157 164 168 176 180 181 182 189 200 201 204 207 208 210 211 213 214 217 219 222 226 227 231 233 234 238 244 248 250 251 255 273 278 281 282 284 293 296 306 311 313 318 321 323 326 335 337 339 342 343 345 346 348 352 353 358 361 362 366 373 375 379 387 388 391 397 403 410 412 415 419 420 421 422 425 426 432 433 a 1 2 4 5 12 15 25 26 28 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 73 74 77 78 80 84 91 92 93 94 100 107 108 109 110 112 117 122 125 127 130 132 133 135 137 138 140 141 142 143 144 146 148 153 155 157 164 168 176 180 181 182 189 200 201 204 207 208 210 211 213 214 217 222 226 227 231 233 234 238 244 248 250 251 255 273 278 281 282 284 293 296 306 311 313 318 321 323 326 335 337 339 342 343 345 346 348 352 353 358 361 362 366 373 375 379 387 388 391 397 403 410 412 415 416 419 420 421 422 425 426 432 433 a 1 2 4 5 12 15 25 26 28 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 73 74 77 78 80 84 91 92 93 94 100 107 108 109 110 112 117 122 125 127 130 132 133 135 137 138 140 141 142 143 144 146 148 153 155 157 164 168 176 180 181 182 189 200 201 204 207 210 211 213 214 217 222 226 227 231 233 234 238 244 248 250 251 255 266 273 278 281 282 284 293 296 306 311 313 318 321 323 326 335 337 339 342 343 345 346 348 352 353 358 361 362 366 373 375 379 387 388 391 397 403 410 412 415 416 419 420 421 422 425 426 432 433 a 1 2 4 5 12 15 25 26 28 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 73 74 77 78 80 84 91 92 93 94 100 107 108 109 110 112 117 122 125 127 130 132 133 135 137 138 140 141 142 143 144 146 148 153 155 157 164 168 176 180 181 182 189 200 201 204 207 210 211 213 217 222 226 227 231 233 234 238 244 248 250 251 255 266 273 278 281 282 284 293 296 306 308 311 313 318 321 323 326 335 337 339 342 343 345 346 348 352 353 358 361 362 366 373 375 379 387 388 391 397 403 410 412 415 416 419 420 421 422 425 426 432 433 a 1 2 4 5 12 15 25 26 28 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 73 74 77 78 80 84 90 91 92 93 94 100 107 108 109 110 112 117 122 125 127 130 132 133 135 137 138 140 141 142 143 144 146 148 155 157 164 168 176 180 181 182 189 200 201 204 207 210 211 213 217 222 226 227 231 233 234 238 244 248 250 251 255 266 273 278 281 282 284 293 296 306 308 311 313 318 321 323 326 335 337 339 342 343 345 346 348 352 353 358 361 362 366 373 375 379 387 388 391 397 403 410 412 415 416 419 420 421 422 425 426 432 433 a 1 2 4 5 12 15 25 26 28 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 73 74 77 78 80 84 90 91 92 93 94 100 107 108 109 110 112 117 122 125 127 130 132 133 135 137 138 140 141 142 143 144 146 148 155 157 164 168 176 180 181 182 189 200 201 204 207 210 211 213 217 222 226 227 231 233 234 238 244 248 250 251 255 266 273 278 280 281 284 293 296 306 308 311 313 318 321 323 326 335 337 339 342 343 345 346 348 352 353 358 361 362 366 373 375 379 387 388 391 397 403 410 412 415 416 419 420 421 422 425 426 432 433 a 1 2 4 5 12 15 25 26 28 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 73 74 77 78 80 84 90 91 92 93 94 100 107 108 109 110 112 117 122 125 127 130 132 133 135 137 138 140 141 142 143 144 146 148 155 157 167 168 176 180 181 182 189 200 201 204 207 210 211 213 217 222 226 227 231 233 234 238 244 248 250 251 255 266 273 278 280 281 284 293 296 306 308 311 313 318 321 323 326 335 337 339 342 343 345 346 348 352 353 358 361 362 366 373 375 379 387 388 391 397 403 410 412 415 416 419 420 421 422 425 426 432 433 a 1 2 4 5 12 15 25 26 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 73 74 77 78 80 84 90 91 92 93 94 100 107 108 109 110 112 117 122 125 127 130 132 133 135 137 138 140 141 142 143 144 146 148 155 157 167 168 176 180 181 182 189 199 200 201 204 207 210 211 213 217 222 226 227 231 233 234 238 244 248 250 251 255 266 273 278 280 281 284 293 296 306 308 311 313 318 321 323 326 335 337 339 342 343 345 346 348 352 353 358 361 362 366 373 375 379 387 388 391 397 403 410 412 415 416 419 420 421 422 425 426 432 433 a 1 2 4 5 12 15 25 26 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 73 74 77 78 80 84 90 91 92 93 94 100 107 108 109 110 112 117 122 125 127 130 132 133 135 137 138 140 141 142 143 144 146 148 155 157 167 168 176 180 181 182 189 199 200 201 204 207 210 213 217 222 226 227 231 233 234 238 244 248 250 251 255 266 273 278 280 281 284 293 296 301 306 308 311 313 318 321 323 326 335 337 339 342 343 345 346 348 352 353 358 361 362 366 373 375 379 387 388 391 397 403 410 412 415 416 419 420 421 422 425 426 432 433 a 1 2 4 5 12 15 25 26 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 73 74 77 78 80 84 90 91 92 93 94 100 107 108 109 110 112 117 121 122 125 127 130 132 133 135 137 138 140 141 142 143 144 146 148 155 157 167 168 176 180 181 182 189 199 200 201 204 207 210 213 217 222 226 227 231 233 234 238 244 248 250 251 255 266 273 278 280 281 284 293 296 301 306 308 311 313 318 321 323 326 335 337 342 343 345 346 348 352 353 358 361 362 366 373 375 379 387 388 391 397 403 410 412 415 416 419 420 421 422 425 426 432 433 a 1 2 4 5 12 15 25 26 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 73 74 77 78 80 84 90 91 92 93 94 100 107 108 109 110 112 117 121 122 125 127 130 132 133 135 137 138 140 142 143 144 146 148 155 157 167 168 176 177 180 181 182 189 199 200 201 204 207 210 213 217 222 226 227 231 233 234 238 244 248 250 251 255 266 273 278 280 281 284 293 296 301 306 308 311 313 318 321 323 326 335 337 342 343 345 346 348 352 353 358 361 362 366 373 375 379 387 388 391 397 403 410 412 415 416 419 420 421 422 425 426 432 433 a 1 2 4 5 12 15 25 26 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 73 74 77 78 80 84 90 91 92 93 94 100 107 108 109 110 112 117 121 122 125 127 130 132 133 135 137 138 140 142 143 144 146 148 155 157 167 168 176 177 180 181 182 189 199 200 201 204 207 210 213 217 222 226 227 231 233 234 238 244 248 250 251 255 266 273 278 280 281 284 293 296 301 306 308 311 313 318 321 323 326 335 337 342 343 345 346 348 352 353 355 358 361 362 366 373 375 387 388 391 397 403 410 412 415 416 419 420 421 422 425 426 432 433 a 1 2 4 5 12 15 25 26 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 73 74 77 78 80 84 90 91 92 93 94 100 107 108 109 110 112 117 121 122 125 127 130 132 133 135 137 138 140 142 143 144 146 148 155 157 167 168 176 177 179 180 181 182 189 199 200 201 204 207 210 213 217 222 226 227 231 233 234 238 244 248 250 251 255 266 273 278 280 281 284 293 296 301 306 308 311 313 318 321 323 326 335 337 342 343 345 346 348 352 353 355 358 361 362 366 373 375 387 388 391 397 403 410 412 416 419 420 421 422 425 426 432 433 a 1 2 4 5 15 25 26 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 73 74 77 78 80 84 90 91 92 93 94 100 107 108 109 110 112 117 121 122 125 127 130 132 133 135 137 138 140 142 143 144 146 148 155 157 167 168 176 177 179 180 181 182 189 194 199 200 201 204 207 210 213 217 222 226 227 231 233 234 238 244 248 250 251 255 266 273 278 280 281 284 293 296 301 306 308 311 313 318 321 323 326 335 337 342 343 345 346 348 352 353 355 358 361 362 366 373 375 387 388 391 397 403 410 412 416 419 420 421 422 425 426 432 433 a 1 2 4 5 15 25 26 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 73 74 77 78 80 84 90 91 92 93 94 100 107 108 109 110 112 117 121 122 125 127 130 132 133 135 137 138 140 142 143 144 146 148 155 157 167 168 176 177 179 180 181 182 189 194 199 200 201 204 207 210 213 217 222 226 227 231 233 234 238 240 244 248 250 251 255 266 273 278 280 281 284 293 296 301 306 308 311 313 318 321 323 326 335 337 342 343 345 346 348 352 353 355 361 362 366 373 375 387 388 391 397 403 410 412 416 419 420 421 422 425 426 432 433 a 1 2 4 5 15 25 26 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 73 74 77 78 80 82 84 90 91 92 93 94 100 107 108 109 110 112 117 121 122 125 127 130 132 133 135 137 138 140 142 143 144 146 148 155 157 167 168 176 177 179 180 181 182 189 194 199 200 201 204 207 210 213 217 222 226 227 231 233 234 238 240 244 248 250 251 255 266 273 278 280 281 284 293 296 301 306 308 311 313 318 321 326 335 337 342 343 345 346 348 352 353 355 361 362 366 373 375 387 388 391 397 403 410 412 416 419 420 421 422 425 426 432 433 a 1 2 4 5 15 16 25 26 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 73 74 77 78 80 82 84 90 91 92 93 94 100 107 108 109 110 112 117 121 122 125 127 130 132 133 135 137 138 140 142 143 144 146 148 155 157 167 168 176 177 179 180 181 182 189 194 199 200 201 204 207 210 213 217 222 226 227 231 233 234 238 240 244 248 250 251 255 266 273 278 280 281 284 293 296 301 306 308 311 313 318 321 326 335 337 342 343 345 346 352 353 355 361 362 366 373 375 387 388 391 397 403 410 412 416 419 420 421 422 425 426 432 433 a 1 2 4 5 15 16 25 26 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 73 74 77 78 80 82 84 90 91 92 93 94 100 107 108 109 110 112 117 121 122 125 127 130 132 133 135 137 138 140 142 143 144 146 148 155 157 167 168 176 177 179 180 181 182 189 194 199 200 201 204 207 210 213 217 222 226 227 231 234 238 240 244 248 250 251 255 266 273 278 280 281 284 293 296 301 306 308 311 313 318 321 326 335 337 342 343 345 346 352 353 355 356 361 362 366 373 375 387 388 391 397 403 410 412 416 419 420 421 422 425 426 432 433 a 1 2 4 5 15 16 25 26 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 73 74 77 78 80 82 84 90 91 92 93 94 100 107 108 109 110 112 117 121 122 125 127 130 132 133 135 137 138 140 142 143 144 146 148 155 157 167 168 176 177 179 180 181 182 189 194 199 200 201 204 207 210 213 217 222 226 227 231 234 238 240 244 248 250 251 255 266 273 278 280 281 284 293 296 301 306 308 311 313 318 321 326 335 337 342 343 345 346 352 353 355 356 361 362 366 373 375 387 388 397 403 404 410 412 416 419 420 421 422 425 426 432 433 a 1 2 4 5 15 16 25 26 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 73 74 77 78 80 82 84 90 91 92 93 94 100 107 108 109 110 112 117 121 122 125 127 130 132 133 135 137 138 140 142 143 144 146 148 155 157 167 168 176 177 179 180 181 182 189 194 199 200 201 204 207 210 213 217 222 226 227 231 234 238 240 244 248 250 251 255 266 273 278 280 281 284 293 296 301 306 308 309 311 313 318 326 335 337 342 343 345 346 352 353 355 356 361 362 366 373 375 387 388 397 403 404 410 412 416 419 420 421 422 425 426 432 433 a 1 2 4 5 15 16 25 26 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 73 74 77 78 80 82 84 90 91 92 93 94 100 107 108 109 110 117 121 122 125 127 130 132 133 135 137 138 140 142 143 144 146 148 155 157 167 168 176 177 179 180 181 182 189 194 199 200 201 204 207 210 213 217 222 226 227 231 234 238 240 244 248 250 251 255 266 273 278 280 281 284 293 296 301 306 308 309 311 313 318 326 335 337 342 343 345 346 352 353 355 356 361 362 366 373 375 385 387 388 397 403 404 410 412 416 419 420 421 422 425 426 432 433 a 1 2 4 5 15 16 25 26 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 73 74 77 78 80 82 84 90 92 93 94 100 107 108 109 110 117 121 122 125 127 130 132 133 135 137 138 140 142 143 144 146 148 155 157 167 168 176 177 179 180 181 182 189 194 199 200 201 204 207 210 213 217 222 226 227 231 234 238 240 244 248 250 251 255 266 273 278 280 281 284 293 296 301 306 308 309 311 313 318 326 329 335 337 342 343 345 346 352 353 355 356 361 362 366 373 375 385 387 388 397 403 404 410 412 416 419 420 421 422 425 426 432 433 a 1 2 4 5 15 16 25 26 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 73 74 77 78 80 82 84 90 92 93 94 100 103 107 108 109 110 117 121 122 127 130 132 133 135 137 138 140 142 143 144 146 148 155 157 167 168 176 177 179 180 181 182 189 194 199 200 201 204 207 210 213 217 222 226 227 231 234 238 240 244 248 250 251 255 266 273 278 280 281 284 293 296 301 306 308 309 311 313 318 326 329 335 337 342 343 345 346 352 353 355 356 361 362 366 373 375 385 387 388 397 403 404 410 412 416 419 420 421 422 425 426 432 433 a 1 2 4 5 15 16 25 26 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 72 73 74 77 78 80 82 84 90 92 93 94 100 103 107 108 109 110 117 121 122 130 132 133 135 137 138 140 142 143 144 146 148 155 157 167 168 176 177 179 180 181 182 189 194 199 200 201 204 207 210 213 217 222 226 227 231 234 238 240 244 248 250 251 255 266 273 278 280 281 284 293 296 301 306 308 309 311 313 318 326 329 335 337 342 343 345 346 352 353 355 356 361 362 366 373 375 385 387 388 397 403 404 410 412 416 419 420 421 422 425 426 432 433 a 1 2 4 5 15 16 25 26 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 72 73 74 77 80 82 84 90 92 93 94 100 103 107 108 109 110 117 121 122 130 132 133 135 137 138 140 142 143 144 146 148 155 157 167 168 176 177 179 180 181 182 189 194 199 200 201 204 207 210 213 217 222 226 227 230 231 234 238 240 244 248 250 251 255 266 273 278 280 281 284 293 296 301 306 308 309 311 313 318 326 329 335 337 342 343 345 346 352 353 355 356 361 362 366 373 375 385 387 388 397 403 404 410 412 416 419 420 421 422 425 426 432 433 a 1 2 4 5 15 16 25 26 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 72 73 74 77 80 82 84 90 93 94 100 103 107 108 109 110 117 121 122 130 132 133 135 137 138 140 142 143 144 146 148 155 157 159 167 168 176 177 179 180 181 182 189 194 199 200 201 204 207 210 213 217 222 226 227 230 231 234 238 240 244 248 250 251 255 266 273 278 280 281 284 293 296 301 306 308 309 311 313 318 326 329 335 337 342 343 345 346 352 353 355 356 361 362 366 373 375 385 387 388 397 403 404 410 412 416 419 420 421 422 425 426 432 433 a 1 2 4 5 15 16 25 26 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 72 73 74 77 80 82 84 90 93 94 100 103 107 108 109 110 117 121 122 130 132 133 135 137 138 140 142 143 144 146 148 155 157 159 167 168 176 177 179 180 181 182 189 194 199 200 201 204 207 210 213 217 222 226 227 230 231 234 238 240 244 248 250 251 255 266 273 278 280 284 293 296 301 306 308 309 311 313 318 326 329 335 337 342 343 345 346 352 353 355 356 361 362 366 373 375 385 387 388 397 403 404 410 412 416 419 420 421 422 425 426 427 432 433 a 1 2 4 5 15 16 25 26 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 72 73 74 77 80 81 82 84 90 93 94 100 103 107 108 109 110 117 121 122 130 132 133 135 137 138 140 142 143 144 146 148 155 157 159 167 168 176 177 179 180 181 182 189 194 199 200 201 204 207 210 213 217 222 226 227 230 231 234 238 240 244 248 250 251 255 266 273 278 280 284 293 296 301 306 308 309 311 313 326 329 335 337 342 343 345 346 352 353 355 356 361 362 366 373 375 385 387 388 397 403 404 410 412 416 419 420 421 422 425 426 427 432 433 a 1 2 5 15 16 25 26 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 72 73 74 77 80 81 82 84 90 93 94 100 103 107 108 109 110 117 121 122 130 132 133 135 137 138 140 142 143 144 146 148 155 157 159 167 168 176 177 179 180 181 182 189 194 199 200 201 204 207 209 210 213 217 222 226 227 230 231 234 238 240 244 248 250 251 255 266 273 278 280 284 293 296 301 306 308 309 311 313 326 329 335 337 342 343 345 346 352 353 355 356 361 362 366 373 375 385 387 388 397 403 404 410 412 416 419 420 421 422 425 426 427 432 433 a 1 2 5 15 16 25 26 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 72 73 74 77 80 81 82 84 90 93 94 100 103 107 108 109 110 117 121 122 130 132 133 135 137 138 140 143 144 146 148 155 157 159 167 168 176 177 179 180 181 182 189 194 199 200 201 204 207 209 210 213 217 222 226 227 230 231 234 238 240 244 248 250 251 255 266 273 278 280 284 293 296 301 306 308 309 311 313 315 326 329 335 337 342 343 345 346 352 353 355 356 361 362 366 373 375 385 387 388 397 403 404 410 412 416 419 420 421 422 425 426 427 432 433 a 1 2 5 15 16 25 26 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 72 73 74 77 80 81 82 84 90 93 94 100 103 107 108 109 110 117 121 122 130 132 133 134 135 137 138 140 143 144 146 148 155 157 159 167 168 176 177 179 180 181 182 189 194 199 200 201 204 207 209 210 213 217 222 226 227 230 231 234 238 240 244 248 250 255 266 273 278 280 284 293 296 301 306 308 309 311 313 315 326 329 335 337 342 343 345 346 352 353 355 356 361 362 366 373 375 385 387 388 397 403 404 410 412 416 419 420 421 422 425 426 427 432 433 a 1 2 5 15 16 25 26 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 72 73 74 77 80 81 82 84 90 93 94 100 103 107 108 109 110 117 121 122 130 132 133 134 135 137 138 140 143 146 148 155 157 159 167 168 176 177 179 180 181 182 189 192 194 199 200 201 204 207 209 210 213 217 222 226 227 230 231 234 238 240 244 248 250 255 266 273 278 280 284 293 296 301 306 308 309 311 313 315 326 329 335 337 342 343 345 346 352 353 355 356 361 362 366 373 375 385 387 388 397 403 404 410 412 416 419 420 421 422 425 426 427 432 433 a 1 2 5 15 16 25 26 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 72 73 74 77 80 81 82 84 90 93 94 100 103 107 108 109 110 117 121 122 130 132 133 134 135 137 138 140 143 146 148 155 157 159 167 168 176 177 179 180 181 186 189 192 194 199 200 201 204 207 209 210 213 217 222 226 227 230 231 234 238 240 244 248 250 255 266 273 278 280 284 293 296 301 306 308 309 311 313 315 326 329 335 337 342 343 345 346 352 353 355 356 361 362 366 373 375 385 387 388 397 403 404 410 412 416 419 420 421 422 425 426 427 432 433 a 1 2 5 15 16 25 26 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 67 69 71 72 73 74 77 80 81 82 84 90 93 94 100 103 107 108 109 110 117 121 122 130 132 133 134 135 137 138 140 143 146 148 155 157 159 167 168 176 177 179 180 181 186 189 192 194 199 200 201 204 207 209 210 213 217 222 226 227 230 231 234 238 240 244 248 250 255 266 273 278 280 284 296 301 305 306 308 309 311 313 315 326 329 335 337 342 343 345 346 352 353 355 356 361 362 366 373 375 385 387 388 397 403 404 410 412 416 419 420 421 422 425 426 427 432 433 a 1 2 5 15 16 25 26 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 61 67 69 71 72 73 74 77 80 81 82 84 90 93 94 100 103 107 108 109 110 117 121 122 130 132 133 134 135 138 140 143 146 148 155 157 159 167 168 176 177 179 180 181 186 189 192 194 199 200 201 204 207 209 210 213 217 222 226 227 230 231 234 238 240 244 248 250 255 266 273 278 280 284 296 301 305 306 308 309 311 313 315 326 329 335 337 342 343 345 346 352 353 355 356 361 362 366 373 375 385 387 388 397 403 404 410 412 416 419 420 421 422 425 426 427 432 433 a 1 2 5 15 16 25 26 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 61 64 67 69 71 72 73 74 77 80 81 82 84 90 93 94 100 103 107 108 109 110 117 121 122 130 132 133 134 135 138 140 143 146 148 155 157 159 167 168 176 177 179 180 181 186 189 192 194 199 200 201 204 207 209 210 213 217 222 226 227 230 231 238 240 244 248 250 255 266 273 278 280 284 296 301 305 306 308 309 311 313 315 326 329 335 337 342 343 345 346 352 353 355 356 361 362 366 373 375 385 387 388 397 403 404 410 412 416 419 420 421 422 425 426 427 432 433 a 1 2 5 15 16 25 26 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 61 64 67 69 71 72 73 74 77 80 81 82 84 90 93 94 100 103 107 108 109 110 117 121 122 130 132 133 134 135 138 140 143 146 148 155 157 159 167 168 176 177 179 181 186 189 192 194 199 200 201 204 207 209 210 213 217 222 226 227 230 231 238 240 244 248 250 255 266 273 278 280 284 296 298 301 305 306 308 309 311 313 315 326 329 335 337 342 343 345 346 352 353 355 356 361 362 366 373 375 385 387 388 397 403 404 410 412 416 419 420 421 422 425 426 427 432 433 a 1 2 5 15 16 25 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 61 64 67 69 71 72 73 74 77 80 81 82 84 90 93 94 100 103 104 107 108 109 110 117 121 122 130 132 133 134 135 138 140 143 146 148 155 157 159 167 168 176 177 179 181 186 189 192 194 199 200 201 204 207 209 210 213 217 222 226 227 230 231 238 240 244 248 250 255 266 273 278 280 284 296 298 301 305 306 308 309 311 313 315 326 329 335 337 342 343 345 346 352 353 355 356 361 362 366 373 375 385 387 388 397 403 404 410 412 416 419 420 421 422 425 426 427 432 433 a 1 2 5 15 16 25 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 61 64 67 69 71 72 73 74 77 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 117 121 122 130 132 133 134 135 138 140 143 146 148 155 157 159 167 168 176 177 179 181 186 189 192 194 199 200 201 204 207 209 210 213 217 222 226 227 230 231 238 240 244 248 250 255 266 273 278 280 284 296 298 301 305 306 308 309 311 313 315 326 329 335 337 342 343 345 346 352 353 355 356 361 362 366 373 375 385 387 388 397 403 404 410 416 419 420 421 422 425 426 427 432 433 a 1 2 5 15 16 25 30 33 34 36 38 39 41 42 46 49 50 51 54 55 56 59 60 61 64 67 69 72 73 74 77 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 117 121 122 130 132 133 134 135 138 140 143 146 148 155 157 159 167 168 176 177 179 181 186 189 192 194 199 200 201 204 207 209 210 213 217 222 226 227 230 231 238 240 244 248 250 255 266 273 278 280 284 296 298 301 305 306 308 309 311 313 315 326 329 335 337 342 343 345 346 352 353 355 356 361 362 366 373 375 385 387 388 397 403 404 410 416 419 420 421 422 425 426 427 432 433 440 a 1 2 5 15 16 25 30 33 34 36 38 39 41 42 46 49 51 54 55 56 59 60 61 64 67 69 72 73 74 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 117 121 122 130 132 133 134 135 138 140 143 146 148 155 157 159 167 168 176 177 179 181 186 189 192 194 199 200 201 204 207 209 210 213 217 222 226 227 230 231 238 240 244 248 250 255 266 273 278 280 284 296 298 301 305 306 308 309 311 313 315 326 329 335 337 342 343 345 346 352 353 355 356 361 362 366 373 375 385 387 388 397 403 404 410 416 419 420 421 422 425 426 427 432 433 440 a 1 2 5 15 16 25 30 33 34 36 38 39 41 42 46 49 51 54 55 56 59 60 61 64 67 69 72 73 74 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 117 121 122 130 132 133 134 135 138 140 143 146 148 155 157 159 167 168 176 177 179 181 186 189 192 194 199 200 201 204 207 209 210 213 217 222 226 227 230 231 238 240 244 248 250 255 266 273 278 280 284 296 298 301 305 306 308 309 311 313 315 326 329 335 337 342 343 345 346 352 353 355 356 361 362 366 373 375 385 387 388 403 404 410 416 419 420 421 422 425 426 427 432 433 440 a 1 2 5 15 16 25 30 33 34 36 38 39 41 42 46 49 51 54 55 56 60 61 64 67 69 72 73 74 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 117 121 122 130 132 133 134 135 136 138 140 143 146 148 155 157 159 167 168 176 177 179 181 186 189 192 194 199 200 201 204 207 209 210 213 217 222 226 227 230 231 238 240 244 248 250 255 266 273 278 280 284 296 298 301 305 306 308 309 311 313 315 326 329 335 337 342 343 345 346 352 353 355 356 361 362 366 373 375 385 387 388 403 404 410 416 419 420 421 422 425 426 427 432 433 440 a 1 2 5 15 16 25 30 33 34 36 38 39 41 42 46 49 51 54 55 56 60 61 64 67 69 72 73 74 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 117 121 122 130 132 133 134 135 136 138 140 143 146 148 155 157 159 167 168 176 177 179 181 186 189 192 194 199 200 201 204 207 209 210 213 217 222 226 227 230 231 238 240 248 250 255 266 273 278 280 284 296 298 301 305 306 308 309 311 313 315 326 329 335 337 342 343 345 346 352 353 355 356 361 362 366 373 375 385 387 388 389 403 404 410 416 419 420 421 422 425 426 427 432 433 440 a 1 2 5 15 16 25 30 33 34 36 38 39 41 42 46 49 51 54 55 56 60 61 64 67 69 72 73 74 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 117 121 122 130 132 133 134 135 136 138 140 143 146 148 155 157 159 167 168 176 177 179 181 186 189 192 194 199 200 201 204 207 209 210 213 217 226 227 230 231 238 240 248 250 255 266 273 277 278 280 284 296 298 301 305 306 308 309 311 313 315 326 329 335 337 342 343 345 346 352 353 355 356 361 362 366 373 375 385 387 388 389 403 404 410 416 419 420 421 422 425 426 427 432 433 440 a 1 2 5 15 16 25 30 33 34 36 38 39 41 42 46 49 51 54 55 56 60 61 64 67 69 72 73 74 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 117 121 122 130 132 133 134 135 136 138 140 143 146 148 150 155 157 159 167 168 176 177 179 181 186 189 192 194 199 200 201 204 207 209 210 213 217 226 227 230 231 238 240 248 250 255 266 273 277 278 280 284 296 298 301 305 306 308 309 311 313 315 326 329 335 337 342 343 345 346 352 353 355 356 361 362 373 375 385 387 388 389 403 404 410 416 419 420 421 422 425 426 427 432 433 440 a 1 2 5 15 16 25 30 33 34 36 38 39 41 42 46 49 51 54 55 56 60 61 64 67 69 72 73 74 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 117 121 122 130 132 133 134 135 136 138 140 143 146 148 150 155 157 159 167 168 176 177 179 181 186 189 192 194 199 200 201 204 207 209 210 213 217 226 227 230 231 238 240 248 250 255 266 273 277 278 280 284 296 298 301 305 306 308 309 311 313 315 326 329 335 337 342 343 345 346 350 352 353 355 356 361 362 373 375 385 387 389 403 404 410 416 419 420 421 422 425 426 427 432 433 440 a 1 2 5 15 16 25 30 33 34 36 38 39 41 42 46 49 51 54 55 56 60 61 64 67 69 72 73 74 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 117 121 122 130 132 133 134 135 136 138 140 143 146 148 150 155 157 159 167 168 176 177 179 181 186 189 192 194 199 200 201 204 207 209 210 213 216 217 226 227 230 231 238 240 248 250 255 266 273 277 278 280 284 296 298 301 305 306 308 309 311 313 315 326 329 335 337 342 343 345 346 350 352 355 356 361 362 373 375 385 387 389 403 404 410 416 419 420 421 422 425 426 427 432 433 440 a 1 2 5 15 16 25 30 33 34 36 38 39 41 42 46 49 51 54 55 56 60 61 64 67 69 72 73 74 75 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 117 121 122 130 132 133 134 135 136 138 140 143 146 148 150 155 157 159 167 168 176 177 179 181 186 189 192 194 199 200 201 204 207 209 210 213 216 217 226 227 230 231 240 248 250 255 266 273 277 278 280 284 296 298 301 305 306 308 309 311 313 315 326 329 335 337 342 343 345 346 350 352 355 356 361 362 373 375 385 387 389 403 404 410 416 419 420 421 422 425 426 427 432 433 440 a 1 2 5 15 16 25 30 33 34 36 38 39 41 42 46 49 51 54 55 56 60 61 64 67 69 72 73 74 75 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 117 121 122 130 132 133 134 135 136 138 140 143 146 148 149 150 155 157 159 167 168 176 177 179 181 186 189 192 194 199 200 201 204 207 209 210 213 216 217 226 227 230 231 240 248 250 255 266 273 277 278 280 284 296 298 301 305 306 308 309 311 313 315 326 329 335 337 342 343 345 346 350 352 355 356 361 362 373 385 387 389 403 404 410 416 419 420 421 422 425 426 427 432 433 440 a 1 2 5 15 16 25 30 33 34 36 38 39 41 42 46 49 51 54 55 56 60 61 64 67 69 72 73 74 75 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 117 121 122 130 132 133 134 135 136 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 226 227 230 231 240 248 250 255 266 273 277 278 280 284 296 298 301 305 306 308 309 311 313 315 326 329 335 337 342 343 345 346 350 352 355 356 361 362 373 385 387 389 403 404 410 416 419 420 421 422 425 427 432 433 440 a 1 2 5 15 16 25 30 33 34 36 38 39 41 42 46 49 51 52 54 55 56 60 61 64 67 69 72 73 74 75 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 117 121 122 130 132 134 135 136 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 226 227 230 231 240 248 250 255 266 273 277 278 280 284 296 298 301 305 306 308 309 311 313 315 326 329 335 337 342 343 345 346 350 352 355 356 361 362 373 385 387 389 403 404 410 416 419 420 421 422 425 427 432 433 440 a 1 2 5 15 16 25 30 33 34 36 38 39 41 42 46 49 51 52 54 55 56 60 61 64 67 69 72 73 74 75 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 117 121 122 130 132 134 135 136 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 226 227 230 231 240 248 250 255 266 270 273 277 278 280 284 296 298 301 305 306 308 309 311 313 315 326 329 335 337 342 345 346 350 352 355 356 361 362 373 385 387 389 403 404 410 416 419 420 421 422 425 427 432 433 440 a 1 2 5 15 16 25 30 33 34 36 38 39 41 42 46 49 51 52 54 55 56 60 61 64 67 69 72 73 74 75 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 117 121 122 130 132 134 135 136 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 226 227 230 231 240 250 255 266 270 273 277 278 280 284 296 298 301 305 306 308 309 311 313 315 326 329 335 337 342 345 346 350 352 355 356 361 362 373 385 387 389 403 404 410 416 419 420 421 422 425 427 432 433 436 440 a 1 2 5 15 16 25 30 33 34 36 38 39 41 42 46 49 51 52 54 55 56 60 61 64 67 69 72 73 74 75 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 117 121 122 130 132 134 135 136 138 140 143 146 148 149 150 155 157 159 167 168 176 177 179 181 186 189 192 194 198 199 200 201 203 204 207 209 210 213 216 217 226 227 230 231 240 250 255 266 270 273 277 278 280 284 296 298 301 305 306 308 309 311 313 315 326 329 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 a 1 2 5 15 16 25 30 33 34 36 38 39 41 42 46 49 51 52 54 55 56 60 61 64 66 67 69 72 73 74 75 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 117 121 122 130 132 134 135 136 138 140 143 146 148 149 150 155 157 159 167 168 176 177 179 181 186 189 192 194 198 199 200 201 203 204 207 209 210 213 216 217 226 227 230 231 240 250 255 266 270 273 277 278 280 284 296 298 301 305 306 308 309 311 313 315 326 329 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 a 1 2 5 15 16 25 30 33 34 36 38 39 41 42 46 49 51 52 54 55 56 60 61 64 66 67 69 72 73 74 75 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 117 121 122 130 132 134 135 136 138 140 143 148 149 150 155 157 159 167 168 176 177 179 181 186 189 192 194 198 199 200 201 203 204 207 209 210 213 216 217 226 227 230 231 240 250 255 266 270 273 277 278 280 284 296 298 301 305 306 308 309 311 313 315 326 329 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 a 1 2 5 15 16 30 33 34 36 38 39 41 42 46 49 51 52 54 55 56 60 61 64 66 67 69 72 73 74 75 77 79 80 81 82 84 90 93 94 96 100 103 104 107 108 109 110 113 117 121 122 130 132 134 135 136 138 140 143 148 149 150 155 157 159 167 168 176 177 179 181 186 189 192 194 198 199 200 201 203 204 207 209 210 213 216 217 226 227 230 231 240 250 255 266 270 273 277 278 280 284 289 296 298 301 305 306 308 309 311 313 315 326 329 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 a 1 2 5 15 16 30 33 34 36 38 39 41 42 46 49 51 52 54 55 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 122 130 132 134 135 136 138 140 143 148 149 150 155 157 159 167 168 176 177 179 181 186 189 192 194 198 199 200 201 203 204 207 209 210 213 216 217 226 227 230 231 240 250 255 266 270 273 277 278 280 284 289 296 298 301 305 306 308 309 311 313 315 326 329 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 a 1 2 5 15 16 22 30 33 34 36 38 39 41 46 49 51 52 54 55 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 122 130 132 134 135 136 138 140 143 148 149 150 155 157 159 167 168 176 177 179 181 186 189 192 194 198 199 200 201 203 204 207 209 210 213 216 217 226 227 230 231 240 250 255 266 270 273 277 278 280 284 289 296 298 301 305 306 308 309 311 313 315 326 329 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 a 1 2 5 15 16 22 30 33 34 36 38 39 41 46 49 51 52 54 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 122 130 132 134 135 136 138 140 143 148 149 150 155 157 159 167 168 176 177 179 181 186 189 192 194 198 199 200 201 203 204 207 209 210 213 216 217 226 227 230 231 240 250 255 266 270 273 277 278 280 284 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 a 1 2 5 15 16 22 30 33 34 36 38 39 41 46 49 51 52 54 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 122 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 226 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 a 1 2 5 7 15 16 22 30 33 34 36 38 39 41 46 49 51 52 54 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 226 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 a 1 2 5 7 15 16 22 30 33 34 36 38 39 41 46 49 51 52 54 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 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 --na -t4 /benchmark/random_instance/random_instance034_graph003.col /benchmark/random_instance/random_instance034_graph003_01.dat" User time (seconds): 544.83 System time (seconds): 6.17 Percent of CPU this job got: 151% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:04.81 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): 13561356 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 4648494 Voluntary context switches: 1165850 Involuntary context switches: 2212 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 14:57:15 2023]