#BEGIN: [Mon Sep 4 11:17:31 2023] #HOST: s12 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance030_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance030_graph001_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na /benchmark/random_instance/random_instance030_graph001.col /benchmark/random_instance/random_instance030_graph001_01.dat c /benchmark/random_instance/random_instance030_graph001.col c /benchmark/random_instance/random_instance030_graph001_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 220 84 142 358 270 364 271 37 167 124 277 375 79 85 31 368 122 5 377 373 298 308 379 350 243 367 203 326 234 97 336 177 363 149 102 64 323 349 128 337 344 291 183 283 164 258 3 46 57 90 225 24 123 74 334 232 380 34 268 193 36 248 75 104 266 45 306 35 49 141 87 320 261 299 23 54 293 99 62 133 275 175 180 51 78 274 100 151 342 176 222 341 2 108 178 59 269 333 286 295 140 383 237 160 152 340 211 157 227 292 163 70 182 287 68 382 335 19 91 76 204 129 188 252 357 66 t 154 359 302 30 108 99 45 240 380 179 307 170 221 349 198 230 146 31 85 57 173 242 89 243 2 368 160 128 260 381 171 382 220 22 316 80 369 292 87 358 193 245 168 103 218 138 327 65 256 101 91 86 379 389 362 51 314 192 88 234 361 337 185 353 227 73 43 344 351 254 319 352 340 83 211 188 282 141 176 1 96 163 41 206 326 115 59 76 291 295 111 23 209 44 355 34 77 386 342 40 140 280 270 35 311 98 102 46 38 190 313 11 9 10 323 149 384 104 20 151 37 348 147 315 318 71 a YES a 2 3 5 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 78 79 84 85 87 90 91 97 99 100 102 104 108 122 123 124 128 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 225 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 373 375 377 379 380 382 383 a 2 3 5 19 23 24 31 34 35 36 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 78 79 84 85 87 90 91 97 99 100 102 104 108 122 123 124 128 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 225 227 232 234 237 243 248 252 258 261 264 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 373 375 377 379 380 382 383 a 2 3 5 19 23 24 31 34 35 36 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 78 79 84 85 87 90 91 97 99 100 102 104 108 122 123 124 128 129 133 140 141 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 225 227 232 234 237 243 248 252 258 261 264 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 310 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 373 375 377 379 380 382 383 a 2 3 5 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 78 79 84 85 87 90 91 97 99 100 102 104 108 122 123 124 128 129 133 140 141 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 225 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 310 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 373 375 377 379 380 382 383 a 2 3 5 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 78 79 84 85 87 90 91 97 99 100 102 104 108 115 122 123 124 128 129 133 140 141 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 310 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 373 375 377 379 380 382 383 a 2 3 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 78 79 84 85 86 87 90 91 97 99 100 102 104 108 115 122 123 124 128 129 133 140 141 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 310 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 373 375 377 379 380 382 383 a 2 3 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 78 84 85 86 87 90 91 97 99 100 102 104 108 115 122 123 124 128 129 133 140 141 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 310 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 362 363 364 367 368 373 375 377 379 380 382 383 a 2 3 19 23 24 25 31 34 35 36 37 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 78 84 85 86 87 90 91 97 99 100 102 104 108 115 122 123 124 128 129 133 140 141 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 306 308 310 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 362 363 364 367 368 373 375 377 379 380 382 383 a 2 3 19 23 24 25 31 34 35 36 37 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 78 84 85 86 87 90 91 97 99 100 102 104 108 115 123 124 128 129 133 140 141 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 187 188 193 203 204 211 220 222 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 306 308 310 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 362 363 364 367 368 373 375 377 379 380 382 383 a 2 3 19 23 24 25 31 34 35 36 37 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 78 79 84 85 86 87 90 91 97 99 100 102 104 108 115 123 124 128 129 133 140 141 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 187 188 193 203 204 211 220 222 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 306 308 310 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 373 375 377 379 380 382 383 a 2 3 19 23 24 25 31 34 35 36 37 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 78 79 84 85 86 87 90 91 97 99 100 102 104 108 115 122 123 124 128 129 133 140 141 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 306 308 310 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 373 375 377 379 380 382 383 a 2 3 19 23 24 25 31 34 35 36 37 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 78 79 84 85 86 87 90 91 97 99 100 102 104 108 115 122 123 124 129 133 140 141 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 211 217 220 222 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 306 308 310 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 373 375 377 379 380 382 383 a 2 3 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 78 79 84 85 86 87 90 91 97 99 100 102 104 108 115 122 123 124 129 133 140 141 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 211 217 220 222 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 310 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 373 375 377 379 380 382 383 a 2 3 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 62 64 65 66 68 70 74 75 76 78 79 84 85 86 87 90 91 97 99 100 102 104 108 115 122 123 124 129 133 140 141 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 211 217 220 222 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 310 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 373 375 377 379 380 382 383 a 2 3 19 23 24 31 34 35 36 45 46 49 51 54 57 59 62 64 65 66 68 70 74 75 76 78 79 84 85 86 87 90 91 97 99 100 102 104 108 115 122 123 124 129 133 140 141 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 211 217 220 222 227 232 234 237 243 248 252 258 261 264 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 310 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 373 375 377 379 380 382 383 a 3 19 23 24 31 34 35 36 45 46 49 51 54 57 59 62 64 65 66 68 70 74 75 76 78 79 84 85 86 87 90 91 97 99 100 102 104 108 115 122 123 124 129 133 140 141 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 232 234 237 243 248 252 258 261 264 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 310 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 373 375 377 379 380 382 383 a 3 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 62 64 65 66 68 70 74 75 76 78 79 84 85 86 87 90 91 97 99 100 102 104 108 115 122 123 124 129 133 140 141 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 310 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 373 375 377 379 380 382 383 a 3 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 62 64 65 66 68 70 74 75 76 78 79 84 85 86 87 90 91 97 99 100 102 104 108 115 122 123 124 129 133 140 141 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 232 237 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 310 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 373 375 377 379 380 382 383 388 a 3 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 62 64 65 66 68 70 74 75 76 78 79 84 85 86 87 90 91 97 99 100 102 104 108 115 122 123 124 129 133 140 141 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 232 237 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 371 373 375 377 379 380 382 383 388 a 3 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 62 64 65 66 68 70 74 75 76 78 79 84 85 86 87 90 91 97 99 100 102 104 108 115 122 124 129 133 140 141 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 232 237 243 248 252 257 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 371 373 375 377 379 380 382 383 388 a 3 19 23 24 31 34 35 36 37 45 49 51 54 57 59 62 64 65 66 68 70 74 75 76 78 79 84 85 86 87 90 91 97 99 100 102 104 108 115 122 124 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 232 237 243 248 252 257 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 371 373 375 377 379 380 382 383 388 a 3 19 23 24 31 34 35 36 37 45 49 51 54 57 59 61 62 64 66 68 70 74 75 76 78 79 84 85 86 87 90 91 97 99 100 102 104 108 115 122 124 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 232 237 243 248 252 257 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 371 373 375 377 379 380 382 383 388 a 3 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 78 79 84 85 86 87 91 97 99 100 102 104 108 115 122 124 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 232 237 243 248 252 257 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 371 373 375 377 379 380 382 383 388 a 3 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 78 79 84 85 86 87 91 97 99 100 102 104 108 115 122 124 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 232 237 243 248 257 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 371 373 375 377 379 380 382 383 388 a 3 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 78 79 84 85 86 87 90 91 97 99 100 102 104 108 115 122 124 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 232 237 243 248 257 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 371 373 375 377 379 380 382 383 a 3 19 23 24 31 35 36 37 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 78 79 84 85 86 87 90 91 97 99 100 102 104 108 115 122 124 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 232 237 243 248 252 257 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 371 373 375 377 379 380 382 383 a 3 19 23 24 31 35 36 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 78 79 84 85 86 87 90 91 97 99 100 102 104 108 115 122 124 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 232 237 243 248 252 257 258 261 264 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 371 373 375 377 379 380 382 383 a 3 19 23 24 31 34 35 36 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 78 79 84 85 86 87 90 91 97 99 100 102 104 108 115 122 124 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 232 237 243 248 252 257 258 261 264 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 320 323 326 333 334 335 336 337 340 341 342 344 350 357 358 363 364 367 368 371 373 375 377 379 380 382 383 a 3 19 23 24 31 34 35 36 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 78 79 84 85 86 87 91 97 99 100 102 104 108 115 122 124 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 232 237 243 248 252 257 258 261 264 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 320 323 326 333 334 335 336 337 340 341 342 344 350 357 358 363 364 367 368 371 373 375 377 379 380 382 383 388 a 3 19 23 24 31 34 35 36 38 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 78 79 84 85 86 87 91 97 99 100 102 104 108 115 122 124 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 232 237 243 248 252 257 258 261 264 266 268 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 308 320 323 326 333 334 335 336 337 340 341 342 344 350 357 358 363 364 367 368 371 373 375 377 379 380 382 383 388 a 3 19 23 24 31 34 35 36 38 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 78 79 84 85 86 87 91 97 99 100 102 104 108 115 122 124 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 232 237 243 248 252 257 258 261 264 266 268 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 308 320 323 326 333 334 336 337 340 341 342 344 349 350 357 358 363 364 367 368 371 373 375 377 379 380 382 383 388 a 3 19 23 24 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 78 79 84 85 86 87 91 97 99 100 102 104 108 115 122 124 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 232 237 243 248 252 257 258 261 266 268 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 308 320 323 326 333 334 336 337 340 341 342 344 349 350 357 358 363 364 367 368 371 373 375 377 379 380 382 383 388 a 3 19 23 24 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 78 79 84 85 86 87 91 97 99 100 102 104 108 115 122 124 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 232 237 243 248 252 257 258 261 266 268 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 308 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 371 373 375 377 379 380 382 383 a 3 19 23 24 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 78 79 84 85 86 87 91 97 99 100 102 108 115 122 124 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 232 237 243 248 252 257 258 261 266 268 269 270 271 274 275 277 286 287 288 291 292 293 295 298 299 306 308 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 371 373 375 377 379 380 382 383 a 3 19 23 24 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 78 79 84 85 86 87 90 91 97 99 100 102 108 115 122 124 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 232 237 243 248 252 257 258 261 266 268 269 270 271 274 275 277 286 287 288 291 292 293 295 298 299 306 308 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 373 375 377 379 380 382 383 a 3 19 23 24 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 78 79 85 86 87 90 91 97 99 100 102 108 115 122 124 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 232 237 243 248 252 257 258 261 266 268 269 270 271 274 275 277 286 287 288 291 292 293 295 298 299 306 308 309 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 373 375 377 379 380 382 383 a 3 19 23 24 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 78 79 85 86 87 90 91 97 99 100 102 108 115 122 124 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 232 237 243 248 252 257 258 261 266 268 269 270 271 274 275 277 286 287 288 291 292 293 295 298 299 306 308 309 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 371 373 375 377 379 380 383 a 3 19 23 24 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 78 79 85 86 87 90 91 97 99 100 102 108 115 122 124 129 133 140 141 142 149 151 152 157 159 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 237 243 248 252 257 258 261 266 268 269 270 271 274 275 277 286 287 288 291 292 293 295 298 299 306 308 309 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 371 373 375 377 379 380 383 a 3 19 23 24 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 78 79 85 86 87 90 91 97 99 100 102 108 115 122 124 129 133 140 141 142 149 151 152 157 159 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 237 243 248 252 257 258 261 266 268 269 270 271 274 275 277 286 287 288 291 292 293 295 298 299 306 308 309 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 371 373 377 379 380 382 383 a 3 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 78 79 85 86 87 90 91 97 99 100 102 108 115 122 124 129 133 140 141 142 149 151 152 157 159 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 237 243 248 252 257 258 261 266 268 269 270 271 274 275 277 283 286 287 288 291 292 293 295 298 299 306 308 309 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 371 373 377 379 380 382 383 a 3 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 78 79 85 86 87 90 91 97 99 100 102 108 115 122 124 129 133 140 141 142 149 151 152 157 159 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 237 243 248 252 257 258 261 266 268 269 270 271 274 275 277 283 286 287 288 291 292 293 295 298 299 306 308 309 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 371 373 377 379 380 382 388 a 3 19 23 24 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 78 79 85 86 87 90 91 97 99 100 102 108 115 122 124 129 133 140 141 142 149 151 152 157 159 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 237 243 248 252 257 258 261 266 268 269 270 271 274 275 277 286 287 288 291 292 293 295 298 299 306 308 309 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 371 373 377 379 380 382 388 a 3 19 23 24 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 78 79 85 86 87 91 97 99 100 102 108 115 122 124 129 133 140 141 142 149 151 152 157 159 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 229 237 243 248 252 257 258 261 266 268 269 270 271 274 275 277 286 287 288 291 292 293 295 298 299 306 308 309 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 371 373 377 379 380 382 388 a 3 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 78 79 85 86 87 91 97 99 100 102 108 115 122 124 129 133 140 141 142 149 151 152 157 159 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 229 237 243 248 252 257 258 261 266 268 269 270 271 274 275 277 283 286 287 288 291 292 293 295 298 299 306 308 309 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 371 373 377 379 380 382 388 a 3 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 78 79 85 86 87 91 97 99 100 102 103 108 115 122 124 129 133 140 141 142 149 151 152 157 159 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 229 237 243 248 252 257 258 261 266 268 269 270 271 274 275 277 283 286 287 288 291 292 293 295 298 299 306 308 309 320 323 326 333 334 336 337 340 341 342 344 349 350 357 358 363 364 367 368 371 373 377 379 380 382 388 a 3 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 78 79 85 86 87 91 97 99 100 102 103 108 115 122 124 129 133 140 141 142 149 151 152 157 159 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 229 237 243 248 252 257 258 261 266 268 269 270 271 274 275 277 283 286 287 288 291 292 293 295 298 299 306 308 309 316 320 323 326 333 334 336 337 340 341 342 344 349 350 357 358 363 364 367 368 371 373 377 379 380 388 a 3 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 78 79 85 86 87 91 97 99 100 102 103 108 115 122 124 129 133 140 141 142 149 151 152 157 159 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 229 237 243 248 252 257 258 261 266 268 269 270 271 274 275 277 283 286 287 288 291 292 293 295 298 299 306 309 316 320 323 326 333 334 336 337 340 341 342 344 349 350 357 358 363 364 367 368 371 373 377 379 380 383 388 a 3 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 78 79 85 86 87 91 97 99 100 102 103 108 115 122 124 129 133 140 141 142 149 151 152 157 159 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 229 237 243 248 252 257 258 261 266 268 269 270 271 274 275 277 283 286 287 288 291 292 293 295 298 299 302 306 309 316 320 323 326 333 334 336 337 340 341 342 344 349 350 357 358 363 364 367 368 371 373 377 379 380 383 a 3 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 78 79 85 86 87 91 97 99 100 102 103 108 115 122 124 129 133 140 141 142 149 151 152 157 159 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 229 237 243 248 252 257 258 261 266 268 269 270 271 274 275 277 283 286 287 288 291 292 293 295 298 299 302 306 309 316 320 323 326 333 334 336 337 340 341 342 344 349 350 357 358 363 364 367 368 371 373 375 377 379 380 a 3 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 78 79 85 86 87 91 97 99 100 102 103 108 115 122 129 133 140 141 142 149 151 152 157 159 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 229 237 243 248 252 257 258 261 266 268 269 270 271 274 275 277 283 286 287 288 291 292 293 295 298 299 302 306 309 316 320 323 326 333 334 336 337 340 341 342 344 349 350 357 358 363 364 367 368 371 373 375 377 379 380 388 a 3 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 78 79 85 86 87 91 97 99 100 102 103 108 115 122 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 229 232 237 243 248 252 257 258 261 266 268 269 270 271 274 275 277 283 286 287 288 291 292 293 295 298 299 302 306 309 316 320 323 326 333 334 336 337 340 341 342 344 349 350 357 358 363 364 367 368 371 373 375 377 379 380 388 a 3 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 61 62 64 66 68 70 74 75 76 78 79 85 86 87 91 97 99 100 102 103 108 115 122 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 229 232 237 243 248 252 257 258 261 266 268 269 270 271 274 275 277 283 286 287 288 291 292 293 295 298 299 302 306 309 316 320 323 326 333 334 336 337 340 341 342 344 349 350 357 358 363 364 367 368 371 373 375 377 379 382 388 a 3 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 61 62 64 65 66 68 70 74 75 76 78 79 85 86 87 91 97 99 100 102 103 108 115 122 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 229 232 237 243 248 252 257 258 261 266 268 269 270 271 274 275 277 283 286 287 288 291 292 293 295 298 299 302 306 309 316 320 323 326 333 334 336 337 340 342 344 349 350 357 358 363 364 367 368 371 373 375 377 379 382 388 a 3 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 61 62 64 65 66 68 70 74 75 76 77 78 79 85 86 87 91 97 99 100 102 103 108 115 122 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 229 232 237 243 248 252 257 258 261 266 268 269 270 271 274 275 277 283 286 287 288 291 292 293 295 298 299 302 306 309 316 320 323 326 333 334 336 337 340 342 344 349 350 357 358 363 364 367 368 371 373 375 377 379 382 a 3 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 61 62 64 65 66 68 70 74 75 76 77 78 79 85 86 87 91 97 99 100 102 103 108 115 122 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 229 232 243 248 252 257 258 261 266 268 269 270 271 274 275 277 283 286 287 288 291 292 293 295 298 299 302 306 309 316 320 323 326 333 334 336 337 340 342 344 349 350 357 358 363 364 367 368 371 373 375 377 379 380 382 a 3 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 61 62 64 65 66 68 70 74 75 76 77 78 79 85 86 87 91 97 99 100 102 103 108 115 122 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 184 188 193 203 204 211 217 220 222 227 229 232 234 243 248 252 257 258 261 266 268 269 270 271 274 275 277 283 286 287 288 291 292 293 295 298 299 302 306 309 316 320 323 326 333 334 336 337 340 342 344 349 350 357 358 363 364 367 368 373 375 377 379 380 382 a 3 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 61 62 64 65 66 68 70 74 75 76 77 78 79 85 86 87 91 97 99 100 102 103 108 115 122 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 183 184 188 193 203 204 211 217 220 222 227 229 232 234 243 248 252 257 258 261 266 268 269 270 271 274 275 277 283 286 287 288 291 292 293 295 298 299 302 306 309 315 316 320 323 326 333 334 336 337 340 342 344 349 350 357 358 363 364 367 368 373 375 377 379 380 382 a 3 19 23 24 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 65 66 68 70 74 75 76 77 78 79 85 86 87 91 97 99 100 102 103 108 115 122 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 183 184 188 193 203 204 211 217 220 222 227 229 232 234 243 248 252 257 258 261 266 268 269 270 271 274 275 277 286 287 288 291 292 293 295 298 299 302 306 309 315 316 320 323 326 333 334 336 337 340 342 344 349 350 357 358 363 364 367 368 373 375 377 379 380 382 a 3 19 23 24 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 65 66 68 70 74 75 76 77 78 79 85 86 87 89 91 97 99 100 102 103 108 115 122 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 183 184 188 193 203 204 211 217 220 222 227 229 232 234 243 248 252 257 258 261 266 268 269 270 271 274 275 277 286 287 288 291 292 293 295 298 299 302 306 309 315 316 320 323 326 333 334 336 337 340 342 344 349 350 357 358 363 364 367 368 375 377 379 380 382 a 3 19 23 24 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 65 66 68 70 74 75 76 77 78 79 85 86 87 89 91 97 99 100 102 103 108 115 122 129 133 140 141 142 149 151 152 160 163 164 167 175 176 177 178 180 183 184 188 193 203 204 211 217 220 222 227 229 232 234 243 248 252 257 258 261 266 268 269 270 271 274 275 277 286 287 288 291 292 293 295 298 299 302 306 309 315 316 320 323 326 333 334 336 337 340 342 344 349 350 357 358 361 363 364 367 368 375 377 379 380 382 a 3 19 23 24 31 34 35 36 37 38 45 46 49 51 54 57 59 61 62 64 65 66 68 70 74 75 76 77 78 79 85 86 87 89 91 97 99 100 102 103 108 115 122 129 133 140 141 142 149 151 152 160 163 164 167 175 176 177 178 180 183 184 188 193 203 204 211 217 220 222 227 229 232 234 243 248 252 257 258 261 266 268 269 270 271 274 275 277 286 287 288 291 292 293 295 298 299 302 306 309 315 316 320 323 326 334 336 337 340 342 344 349 350 357 358 361 363 364 367 368 375 377 379 380 382 389 a 3 19 23 24 31 34 35 36 37 38 41 45 46 49 51 54 57 59 61 62 64 65 66 68 70 74 75 76 77 78 79 85 86 87 89 91 97 99 100 102 103 108 115 122 129 133 140 141 142 149 151 152 160 163 164 167 175 176 177 178 180 183 184 188 193 203 204 211 217 220 222 227 229 232 234 243 248 252 257 258 261 266 268 269 270 271 274 275 277 286 287 288 291 292 293 295 298 299 302 306 309 315 316 320 323 326 334 336 337 340 342 344 349 350 357 358 361 363 364 368 375 377 379 380 382 389 a 3 19 23 24 31 34 35 36 37 38 41 45 46 49 51 54 57 59 61 62 64 65 66 68 70 74 75 76 77 78 79 85 86 87 89 91 97 99 100 102 103 108 115 122 129 133 140 141 142 147 149 151 152 160 163 164 167 175 176 177 178 180 183 184 188 193 203 204 211 217 220 222 227 229 232 234 243 248 252 257 258 261 266 268 269 270 271 274 275 277 286 287 288 291 292 293 295 298 299 302 306 309 315 316 323 326 334 336 337 340 342 344 349 350 357 358 361 363 364 368 375 377 379 380 382 389 a 3 19 23 24 31 34 35 36 37 38 41 45 46 49 51 54 57 59 61 62 64 65 66 68 70 74 75 76 77 78 79 85 86 87 89 91 97 99 100 102 103 108 111 115 122 129 133 140 141 142 147 149 151 152 160 163 167 175 176 177 178 180 183 184 188 193 203 204 211 217 220 222 227 229 232 234 243 248 252 257 258 261 266 268 269 270 271 274 275 277 286 287 288 291 292 293 295 298 299 302 306 309 315 316 323 326 334 336 337 340 342 344 349 350 357 358 361 363 364 368 375 377 379 380 382 389 a 3 19 22 23 24 31 34 35 36 37 38 41 45 46 49 51 54 57 59 61 62 64 65 66 68 70 74 75 76 77 78 79 85 86 87 89 91 97 99 100 102 103 108 111 115 122 129 133 140 141 142 147 149 151 152 160 163 167 175 176 177 178 180 183 184 188 193 203 204 211 217 220 222 227 229 232 234 243 248 252 257 258 261 266 268 269 270 271 274 275 277 286 287 288 291 292 293 295 298 299 302 306 309 315 316 323 326 334 336 337 340 342 344 349 350 357 358 361 363 364 368 377 379 380 382 389 a 3 19 22 23 24 31 34 35 36 37 38 41 45 46 49 51 54 57 59 61 62 64 65 66 68 70 74 75 76 77 78 79 85 86 87 89 91 97 99 100 102 103 108 111 115 122 129 133 140 141 142 147 149 151 152 160 163 167 175 176 177 178 180 183 184 188 193 203 204 211 217 220 222 227 229 232 234 243 248 252 257 258 261 266 268 269 270 271 275 277 286 287 288 291 292 293 295 298 299 302 306 309 315 316 323 326 327 334 336 337 340 342 344 349 350 357 358 361 363 364 368 377 379 380 382 389 a 3 19 22 23 24 31 34 35 36 37 38 41 45 46 49 51 54 57 59 61 62 64 65 66 68 70 74 75 76 77 79 85 86 87 89 91 97 99 100 102 103 108 111 115 122 129 133 140 141 142 147 149 151 152 160 163 167 175 176 177 178 180 183 184 188 193 203 204 209 211 217 220 222 227 229 232 234 243 248 252 257 258 261 266 268 269 270 271 275 277 286 287 288 291 292 293 295 298 299 302 306 309 315 316 323 326 327 334 336 337 340 342 344 349 350 357 358 361 363 364 368 377 379 380 382 389 a 3 19 22 23 24 31 34 35 36 37 38 41 45 46 49 51 54 57 59 61 62 64 65 66 68 70 74 75 76 77 79 85 86 87 89 91 97 99 100 102 103 108 111 115 122 129 133 140 141 142 147 149 151 152 160 163 167 175 176 177 178 180 183 184 188 193 203 204 209 211 217 220 222 227 229 232 234 243 248 252 257 258 261 266 268 269 270 271 275 277 286 287 288 291 292 293 295 298 299 302 306 313 315 316 323 326 327 334 336 337 340 342 344 349 350 357 358 361 363 364 368 377 379 380 382 389 a 3 19 22 23 24 31 34 35 36 37 38 41 45 46 49 51 54 57 59 61 62 64 65 66 68 70 74 75 76 77 79 85 86 87 89 91 97 99 100 102 103 104 108 111 115 122 129 133 140 141 142 147 149 151 152 160 163 167 175 176 177 178 180 183 184 188 193 203 204 209 211 217 220 222 227 229 232 234 243 248 252 257 258 261 266 268 269 270 271 275 277 286 287 291 292 293 295 298 299 302 306 313 315 316 323 326 327 334 336 337 340 342 344 349 350 357 358 361 363 364 368 377 379 380 382 389 a 3 19 22 23 24 31 34 35 36 37 38 41 45 46 49 51 54 57 59 61 62 64 65 66 68 70 74 75 76 77 85 86 87 89 91 97 99 100 102 103 104 108 111 115 122 129 133 140 141 142 147 149 151 152 160 163 167 175 176 177 178 180 183 184 188 193 203 204 209 211 217 220 222 227 229 232 234 243 248 252 257 258 261 266 268 269 270 271 275 277 286 287 291 292 293 295 298 299 302 306 313 315 316 323 326 327 334 336 337 340 342 344 348 349 350 357 358 361 363 364 368 377 379 380 382 389 a 3 19 22 23 24 31 34 35 36 37 38 41 45 46 49 51 54 57 59 61 62 64 65 66 68 70 74 75 76 77 85 86 87 89 91 97 99 100 102 103 104 108 111 115 122 129 133 140 141 142 147 149 151 152 160 163 167 175 176 177 178 180 183 184 188 193 203 204 209 211 217 220 222 227 229 232 234 243 248 252 258 261 266 268 269 270 271 275 277 286 287 291 292 293 295 298 299 302 306 313 315 316 323 326 327 334 336 337 340 342 344 348 349 350 357 358 361 362 363 364 368 377 379 380 382 389 a 3 19 22 23 24 31 34 35 36 37 38 41 45 46 49 51 54 57 59 61 62 64 65 66 68 70 74 75 76 77 85 86 87 89 91 97 99 100 102 103 104 108 111 115 122 129 133 140 141 142 147 149 151 152 160 163 167 175 176 177 178 180 183 184 188 193 203 204 209 211 217 220 222 227 229 232 234 243 248 252 258 261 266 268 269 270 271 275 277 286 287 291 292 293 295 298 299 302 306 313 315 316 318 323 326 327 334 336 337 340 342 344 348 349 350 357 358 361 362 363 368 377 379 380 382 389 a 2 3 19 22 23 24 31 34 35 36 37 38 41 45 46 49 51 54 57 59 61 62 64 65 66 70 74 75 76 77 85 86 87 89 91 97 99 100 102 103 104 108 111 115 122 129 133 140 141 142 147 149 151 152 160 163 167 175 176 177 178 180 183 184 188 193 203 204 209 211 217 220 222 227 229 232 234 243 248 252 258 261 266 268 269 270 271 275 277 286 287 291 292 293 295 298 299 302 306 313 315 316 318 323 326 327 334 336 337 340 342 344 348 349 350 357 358 361 362 363 368 377 379 380 382 389 a 2 3 19 22 23 24 31 34 35 36 37 38 41 45 46 49 51 54 57 59 61 62 64 65 66 70 74 75 76 77 85 86 87 89 91 97 98 99 100 102 103 104 108 111 115 122 129 133 140 141 142 147 149 151 152 160 163 167 175 176 177 180 183 184 188 193 203 204 209 211 217 220 222 227 229 232 234 243 248 252 258 261 266 268 269 270 271 275 277 286 287 291 292 293 295 298 299 302 306 313 315 316 318 323 326 327 334 336 337 340 342 344 348 349 350 357 358 361 362 363 368 377 379 380 382 389 a 2 3 19 22 23 24 31 34 35 36 37 38 41 45 46 49 51 54 57 59 61 62 64 65 66 70 74 75 76 77 85 86 87 89 91 97 98 99 100 102 103 104 108 111 115 122 129 133 140 141 142 147 149 151 152 160 163 167 175 176 180 183 184 188 193 203 204 209 211 217 220 222 227 229 232 234 243 248 252 258 261 266 268 269 270 271 275 277 286 287 291 292 293 295 298 299 302 306 311 313 315 316 318 323 326 327 334 336 337 340 342 344 348 349 350 357 358 361 362 363 368 377 379 380 382 389 a 1 2 3 19 22 23 24 31 34 35 36 37 38 41 45 46 49 51 54 57 59 61 62 64 65 66 70 74 75 76 77 85 86 87 89 91 97 98 99 100 102 103 104 108 111 115 122 129 133 140 141 142 147 149 151 152 160 163 167 175 176 180 183 184 188 193 203 204 209 211 217 220 222 227 229 232 234 243 248 252 258 261 266 268 269 270 271 275 277 286 287 291 292 293 295 298 299 302 306 311 313 315 316 318 323 326 327 334 336 337 340 342 344 348 349 350 358 361 362 363 368 377 379 380 382 389 a 1 2 3 19 22 23 24 31 34 35 36 37 38 41 45 46 49 51 54 57 59 61 62 64 65 66 70 74 75 76 77 85 86 87 89 91 97 98 99 100 102 103 104 108 111 115 122 129 133 140 141 142 147 149 151 152 160 163 167 175 176 180 183 188 193 203 204 209 211 217 220 222 227 229 232 234 243 248 252 258 261 266 268 269 270 271 275 277 286 287 291 292 293 295 298 299 302 306 311 313 315 316 318 323 326 327 334 336 337 340 342 344 348 349 350 358 361 362 363 368 377 379 380 381 382 389 a 1 2 3 19 22 23 24 31 34 35 36 37 38 41 45 46 49 51 54 57 59 61 62 64 65 66 70 74 75 76 77 85 86 87 89 91 97 98 99 100 102 103 104 108 111 115 122 129 133 140 141 142 147 149 151 152 160 163 167 175 176 179 180 188 193 203 204 209 211 217 220 222 227 229 232 234 243 248 252 258 261 266 268 269 270 271 275 277 286 287 291 292 293 295 298 299 302 306 311 313 315 316 318 323 326 327 334 336 337 340 342 344 348 349 350 358 361 362 363 368 377 379 380 381 382 389 a 1 2 3 19 22 23 24 31 34 35 36 37 38 41 45 46 49 51 54 57 59 61 62 64 65 66 70 74 75 76 77 85 86 87 89 91 97 98 99 102 103 104 108 111 115 122 129 133 140 141 142 147 149 151 152 160 163 167 168 175 176 179 180 188 193 203 204 209 211 217 220 222 227 229 232 234 243 248 252 258 261 266 268 269 270 271 275 277 286 287 291 292 293 295 298 299 302 306 311 313 315 316 318 323 326 327 334 336 337 340 342 344 348 349 350 358 361 362 363 368 377 379 380 381 382 389 a 1 2 3 19 22 23 24 31 34 35 36 37 38 41 45 46 49 51 54 57 59 61 62 64 65 66 70 74 75 76 77 85 86 87 89 91 97 98 99 102 103 104 108 111 115 122 128 129 133 140 141 142 147 149 151 152 160 163 167 168 175 176 179 180 188 193 203 204 209 211 220 222 227 229 232 234 243 248 252 258 261 266 268 269 270 271 275 277 286 287 291 292 293 295 298 299 302 306 311 313 315 316 318 323 326 327 334 336 337 340 342 344 348 349 350 358 361 362 363 368 377 379 380 381 382 389 a 1 2 3 19 22 23 24 31 34 35 36 37 38 41 45 46 49 51 54 57 59 61 62 64 65 66 70 74 76 77 85 86 87 89 91 97 98 99 102 103 104 108 111 115 122 128 129 133 140 141 142 147 149 151 152 160 163 167 168 175 176 179 180 188 193 203 204 209 211 220 221 222 227 229 232 234 243 248 252 258 261 266 268 269 270 271 275 277 286 287 291 292 293 295 298 299 302 306 311 313 315 316 318 323 326 327 334 336 337 340 342 344 348 349 350 358 361 362 363 368 377 379 380 381 382 389 a 1 2 3 19 22 23 24 31 34 35 36 37 38 41 45 46 49 51 54 57 59 61 62 64 65 66 70 74 76 77 85 86 87 89 91 97 98 99 101 102 103 104 108 111 115 122 128 129 133 140 141 142 147 149 151 152 160 163 167 168 175 176 179 180 188 193 203 204 209 211 220 221 222 227 229 232 234 243 248 252 258 261 266 268 269 270 271 275 277 286 287 291 292 293 295 298 302 306 311 313 315 316 318 323 326 327 334 336 337 340 342 344 348 349 350 358 361 362 363 368 377 379 380 381 382 389 a 1 2 3 19 22 23 24 31 34 35 36 37 38 41 45 46 49 51 54 57 59 61 62 64 65 66 70 76 77 85 86 87 89 91 97 98 99 101 102 103 104 108 111 115 122 128 129 133 140 141 142 147 149 151 152 160 163 167 168 175 176 179 180 188 192 193 203 204 209 211 220 221 222 227 229 232 234 243 248 252 258 261 266 268 269 270 271 275 277 286 287 291 292 293 295 298 302 306 311 313 315 316 318 323 326 327 334 336 337 340 342 344 348 349 350 358 361 362 363 368 377 379 380 381 382 389 a 1 2 3 19 22 23 24 31 34 35 36 37 38 41 45 46 49 51 54 57 59 61 62 64 65 66 70 76 77 85 86 87 89 91 97 98 99 101 102 103 104 108 111 115 122 128 129 133 140 141 142 147 149 151 152 160 163 167 168 176 179 180 188 192 193 203 204 209 211 220 221 222 227 229 232 234 243 248 252 258 261 266 268 269 270 271 275 277 286 287 291 292 293 295 298 302 306 311 313 315 316 318 323 326 327 334 336 337 340 342 344 348 349 350 358 361 362 363 368 369 377 379 380 381 382 389 a 1 2 3 19 22 23 24 31 34 35 36 37 38 41 45 46 49 51 54 57 59 61 62 64 65 70 76 77 85 86 87 89 91 97 98 99 101 102 103 104 108 111 115 122 128 129 133 140 141 142 147 149 151 152 160 163 167 168 176 179 180 188 192 193 203 204 209 211 220 221 222 227 229 232 234 243 248 252 258 261 266 268 269 270 271 275 277 286 287 291 292 293 295 298 302 306 311 313 315 316 318 319 323 326 327 334 336 337 340 342 344 348 349 350 358 361 362 363 368 369 377 379 380 381 382 389 a 1 2 3 19 22 23 24 31 34 35 36 37 38 41 45 46 49 51 54 57 59 61 62 64 65 70 76 77 85 86 87 89 91 97 98 99 101 102 103 104 108 111 115 128 129 133 140 141 142 147 149 151 152 160 163 167 168 176 179 180 188 192 193 203 204 209 211 220 221 222 227 229 232 234 243 248 252 256 258 261 266 268 269 270 271 275 277 286 287 291 292 293 295 298 302 306 311 313 315 316 318 319 323 326 327 334 336 337 340 342 344 348 349 350 358 361 362 363 368 369 377 379 380 381 382 389 a 1 2 3 19 22 23 24 31 34 35 36 37 38 41 45 46 49 51 54 57 59 61 62 65 70 76 77 85 86 87 89 91 97 98 99 101 102 103 104 108 111 115 128 129 133 140 141 142 147 149 151 152 160 163 167 168 176 179 180 188 192 193 203 204 206 209 211 220 221 222 227 229 232 234 243 248 252 256 258 261 266 268 269 270 271 275 277 286 287 291 292 293 295 298 302 306 311 313 315 316 318 319 323 326 327 334 336 337 340 342 344 348 349 350 358 361 362 363 368 369 377 379 380 381 382 389 a 1 2 3 19 22 23 24 31 34 35 36 37 38 41 45 46 49 51 54 57 59 61 62 65 70 76 77 85 86 87 89 91 97 98 99 101 102 103 104 108 111 115 128 129 133 140 141 142 147 149 151 152 160 163 167 168 176 179 180 188 192 193 203 204 206 209 211 220 221 222 227 229 232 234 243 248 252 256 258 261 266 268 269 270 271 275 277 286 287 291 292 293 295 298 302 311 313 315 316 318 319 323 326 327 334 336 337 340 342 344 348 349 350 351 358 361 362 363 368 369 377 379 380 381 382 389 a 1 2 3 19 22 23 24 31 34 35 36 37 38 41 45 46 49 51 54 57 59 61 62 65 70 76 77 85 86 87 89 91 97 98 99 101 102 103 104 108 111 115 128 129 133 140 141 142 147 149 151 152 160 163 167 168 176 179 180 188 192 193 203 204 206 209 211 218 220 221 222 227 229 232 234 243 248 256 258 261 266 268 269 270 271 275 277 286 287 291 292 293 295 298 302 311 313 315 316 318 319 323 326 327 334 336 337 340 342 344 348 349 350 351 358 361 362 363 368 369 377 379 380 381 382 389 a 1 2 3 19 22 23 24 31 34 35 36 37 38 41 45 46 49 51 54 57 59 61 62 65 70 76 77 83 85 86 87 89 91 97 98 99 101 102 103 104 108 111 115 128 129 133 140 141 142 147 149 151 152 160 163 167 168 176 179 180 188 192 193 204 206 209 211 218 220 221 222 227 229 232 234 243 248 256 258 261 266 268 269 270 271 275 277 286 287 291 292 293 295 298 302 311 313 315 316 318 319 323 326 327 334 336 337 340 342 344 348 349 350 351 358 361 362 363 368 369 377 379 380 381 382 389 a 1 2 3 19 22 23 24 31 34 35 36 37 38 41 45 46 49 51 54 57 59 61 62 65 70 76 77 83 85 86 87 89 91 97 98 99 101 102 103 104 108 111 115 128 129 133 140 141 142 147 149 151 152 160 163 167 168 176 179 180 188 192 193 204 206 209 211 218 220 221 222 227 229 232 234 243 248 256 258 261 266 269 270 271 275 277 280 286 287 291 292 293 295 298 302 311 313 315 316 318 319 323 326 327 334 336 337 340 342 344 348 349 350 351 358 361 362 363 368 369 377 379 380 381 382 389 a 1 2 3 19 22 23 24 31 34 35 36 37 38 41 45 46 49 51 54 57 59 61 62 65 70 76 77 83 85 86 87 89 91 97 98 99 101 102 103 104 108 111 115 128 129 133 140 141 142 147 149 151 152 160 163 167 168 176 179 180 188 192 193 204 206 209 211 218 220 221 222 227 229 232 234 243 248 256 258 266 269 270 271 275 277 280 286 287 291 292 293 295 298 302 311 313 315 316 318 319 323 326 327 334 336 337 340 342 344 348 349 350 351 358 359 361 362 363 368 369 377 379 380 381 382 389 a 1 2 3 19 22 23 24 31 34 35 36 37 38 41 45 46 49 51 54 57 59 61 62 65 70 71 76 77 83 85 86 87 89 91 97 98 99 101 102 103 104 108 111 115 128 129 133 140 141 142 147 149 151 152 160 163 167 168 176 179 180 188 192 193 204 206 209 211 218 220 221 222 227 229 232 234 243 248 256 258 266 269 270 271 275 277 280 286 287 291 292 295 298 302 311 313 315 316 318 319 323 326 327 334 336 337 340 342 344 348 349 350 351 358 359 361 362 363 368 369 377 379 380 381 382 389 a 1 2 3 19 22 23 24 31 34 35 36 37 38 41 45 46 49 51 54 57 59 61 62 65 71 76 77 83 85 86 87 89 91 97 98 99 101 102 103 104 108 111 115 128 129 133 140 141 142 147 149 151 152 160 163 167 168 176 179 180 188 192 193 198 204 206 209 211 218 220 221 222 227 229 232 234 243 248 256 258 266 269 270 271 275 277 280 286 287 291 292 295 298 302 311 313 315 316 318 319 323 326 327 334 336 337 340 342 344 348 349 350 351 358 359 361 362 363 368 369 377 379 380 381 382 389 a 1 2 3 19 22 23 24 31 34 35 36 37 38 40 41 45 46 49 51 54 57 59 61 62 65 71 76 77 83 85 86 87 89 91 97 98 99 101 102 103 104 108 111 115 128 129 133 140 141 142 147 149 151 152 160 163 167 168 176 179 180 188 192 193 198 204 206 209 211 218 220 221 222 227 229 232 234 243 248 256 258 266 269 270 271 275 277 280 286 287 291 292 295 298 302 311 313 315 316 318 319 323 326 327 334 337 340 342 344 348 349 350 351 358 359 361 362 363 368 369 377 379 380 381 382 389 a 1 2 3 19 22 23 24 31 34 35 36 37 38 40 41 45 46 49 51 54 57 59 61 62 65 71 76 77 83 85 86 87 89 91 97 98 99 101 102 103 104 108 111 115 128 129 133 140 141 142 147 149 151 152 160 163 167 168 176 179 180 185 188 192 193 198 204 206 209 211 218 220 221 227 229 232 234 243 248 256 258 266 269 270 271 275 277 280 286 287 291 292 295 298 302 311 313 315 316 318 319 323 326 327 334 337 340 342 344 348 349 350 351 358 359 361 362 363 368 369 377 379 380 381 382 389 a 1 2 3 11 19 22 23 24 31 34 35 36 37 38 40 41 45 46 51 54 57 59 61 62 65 71 76 77 83 85 86 87 89 91 97 98 99 101 102 103 104 108 111 115 128 129 133 140 141 142 147 149 151 152 160 163 167 168 176 179 180 185 188 192 193 198 204 206 209 211 218 220 221 227 229 232 234 243 248 256 258 266 269 270 271 275 277 280 286 287 291 292 295 298 302 311 313 315 316 318 319 323 326 327 334 337 340 342 344 348 349 350 351 358 359 361 362 363 368 369 377 379 380 381 382 389 a 1 2 3 11 19 22 23 24 31 34 35 36 37 38 40 41 45 46 51 54 57 59 61 62 65 71 76 77 83 85 86 87 89 91 97 98 99 101 102 103 104 108 111 115 128 129 140 141 142 147 149 151 152 154 160 163 167 168 176 179 180 185 188 192 193 198 204 206 209 211 218 220 221 227 229 232 234 243 248 256 258 266 269 270 271 275 277 280 286 287 291 292 295 298 302 311 313 315 316 318 319 323 326 327 334 337 340 342 344 348 349 350 351 358 359 361 362 363 368 369 377 379 380 381 382 389 a 1 2 3 11 19 22 23 31 34 35 36 37 38 40 41 45 46 51 54 57 59 61 62 65 71 76 77 83 85 86 87 89 91 97 98 99 101 102 103 104 108 111 115 128 129 140 141 142 147 149 151 152 154 160 163 167 168 176 179 180 185 188 192 193 198 204 206 209 211 218 220 221 227 229 232 234 243 248 256 258 266 269 270 271 275 277 280 286 287 291 292 295 298 302 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 350 351 358 359 361 362 363 368 369 377 379 380 381 382 389 a 1 2 3 11 19 20 22 23 31 34 35 37 38 40 41 45 46 51 54 57 59 61 62 65 71 76 77 83 85 86 87 89 91 97 98 99 101 102 103 104 108 111 115 128 129 140 141 142 147 149 151 152 154 160 163 167 168 176 179 180 185 188 192 193 198 204 206 209 211 218 220 221 227 229 232 234 243 248 256 258 266 269 270 271 275 277 280 286 287 291 292 295 298 302 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 350 351 358 359 361 362 363 368 369 377 379 380 381 382 389 a 1 2 11 19 20 22 23 31 34 35 37 38 40 41 45 46 51 54 57 59 61 62 65 71 76 77 83 85 86 87 89 91 97 98 99 101 102 103 104 108 111 115 128 129 140 141 142 147 149 151 152 154 160 163 167 168 176 179 180 185 188 192 193 198 204 206 209 211 218 220 221 227 229 232 234 243 248 256 258 266 269 270 271 275 277 280 286 287 291 292 295 298 302 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 350 351 353 358 359 361 362 363 368 369 377 379 380 381 382 389 a 1 2 11 19 20 22 23 31 34 35 37 38 40 41 45 46 51 54 57 59 61 65 71 76 77 83 85 86 87 89 91 97 98 99 101 102 103 104 108 111 115 128 129 140 141 142 147 149 151 152 154 160 163 167 168 176 179 180 185 188 192 193 198 204 206 209 211 218 220 221 227 229 232 234 243 248 256 258 260 266 269 270 271 275 277 280 286 287 291 292 295 298 302 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 350 351 353 358 359 361 362 363 368 369 377 379 380 381 382 389 a 1 2 11 19 20 22 23 31 34 35 37 38 40 41 45 46 51 54 57 59 61 65 71 76 77 83 85 86 87 89 91 97 98 99 101 102 103 104 108 111 115 128 129 140 141 142 147 149 151 152 154 160 163 167 168 171 176 179 180 185 188 192 193 198 204 206 209 211 218 220 221 227 229 232 234 243 248 256 258 260 266 269 270 271 275 277 280 286 291 292 295 298 302 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 350 351 353 358 359 361 362 363 368 369 377 379 380 381 382 389 a 1 2 11 19 20 22 23 31 34 35 37 38 40 41 45 46 51 57 59 61 65 71 76 77 83 85 86 87 89 91 96 97 98 99 101 102 103 104 108 111 115 128 129 140 141 142 147 149 151 152 154 160 163 167 168 171 176 179 180 185 188 192 193 198 204 206 209 211 218 220 221 227 229 232 234 243 248 256 258 260 266 269 270 271 275 277 280 286 291 292 295 298 302 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 350 351 353 358 359 361 362 363 368 369 377 379 380 381 382 389 a 1 2 11 19 20 22 23 31 34 35 37 38 40 41 45 46 51 57 59 61 65 71 76 77 83 85 86 87 89 91 96 97 98 99 101 102 103 104 108 111 115 128 129 140 141 147 149 151 152 154 160 163 167 168 171 176 179 180 185 188 192 193 198 204 206 209 211 218 220 221 227 229 230 232 234 243 248 256 258 260 266 269 270 271 275 277 280 286 291 292 295 298 302 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 350 351 353 358 359 361 362 363 368 369 377 379 380 381 382 389 a 1 2 11 19 20 22 23 31 34 35 37 38 40 41 45 46 51 57 59 61 65 71 76 77 83 85 86 87 89 91 96 97 98 99 101 102 103 104 108 111 115 128 129 140 141 147 149 151 152 154 160 163 167 168 171 176 179 180 185 188 190 192 193 198 204 206 209 211 218 220 221 227 229 230 234 243 248 256 258 260 266 269 270 271 275 277 280 286 291 292 295 298 302 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 350 351 353 358 359 361 362 363 368 369 377 379 380 381 382 389 a 1 2 11 19 20 22 23 31 34 35 37 38 40 41 43 45 46 51 57 59 61 65 71 76 77 83 85 86 87 89 91 96 97 98 99 101 102 103 104 108 111 115 128 129 140 141 147 149 151 152 154 160 163 167 168 171 176 179 180 185 188 190 192 193 198 204 206 209 211 218 220 221 227 229 230 234 243 248 256 258 260 266 270 271 275 277 280 286 291 292 295 298 302 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 350 351 353 358 359 361 362 363 368 369 377 379 380 381 382 389 a 1 2 11 19 20 22 23 31 34 35 37 38 40 41 43 45 46 51 57 59 61 65 71 76 77 83 85 86 87 89 91 96 97 98 99 101 102 103 104 108 111 115 128 129 140 141 147 149 151 152 154 160 163 167 168 171 176 179 180 185 188 190 192 193 198 204 206 209 211 218 220 221 227 229 230 234 243 256 258 260 266 270 271 275 277 280 286 291 292 295 298 302 307 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 350 351 353 358 359 361 362 363 368 369 377 379 380 381 382 389 a 1 2 11 19 20 22 23 31 34 35 37 38 40 41 43 45 46 51 57 59 61 65 71 76 77 83 85 86 87 89 91 96 97 98 99 101 102 103 104 108 111 115 128 129 140 141 147 149 151 152 154 160 163 167 168 171 176 179 180 185 188 190 192 193 198 204 206 209 211 218 220 221 227 229 230 234 243 256 258 260 266 270 271 275 277 280 282 286 291 292 295 298 302 307 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 350 351 353 358 359 361 362 368 369 377 379 380 381 382 389 a 1 2 11 19 20 22 23 31 34 35 37 38 40 41 43 45 46 51 57 59 61 65 71 76 77 83 85 86 87 89 91 96 97 98 99 101 102 103 104 108 111 115 128 129 138 140 141 147 149 151 152 154 160 163 167 168 171 176 179 180 185 188 190 192 193 198 204 206 209 211 218 220 221 227 230 234 243 256 258 260 266 270 271 275 277 280 282 286 291 292 295 298 302 307 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 350 351 353 358 359 361 362 368 369 377 379 380 381 382 389 a 1 2 9 11 19 20 22 23 31 34 35 37 38 40 41 43 45 46 51 57 59 61 65 71 76 77 83 85 86 87 89 91 96 98 99 101 102 103 104 108 111 115 128 129 138 140 141 147 149 151 152 154 160 163 167 168 171 176 179 180 185 188 190 192 193 198 204 206 209 211 218 220 221 227 230 234 243 256 258 260 266 270 271 275 277 280 282 286 291 292 295 298 302 307 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 350 351 353 358 359 361 362 368 369 377 379 380 381 382 389 a 1 2 9 11 19 20 22 23 31 34 35 37 38 40 41 43 45 46 51 57 59 61 65 71 76 77 83 85 86 87 89 91 96 98 99 101 102 103 104 108 111 115 128 138 140 141 146 147 149 151 152 154 160 163 167 168 171 176 179 180 185 188 190 192 193 198 204 206 209 211 218 220 221 227 230 234 243 256 258 260 266 270 271 275 277 280 282 286 291 292 295 298 302 307 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 350 351 353 358 359 361 362 368 369 377 379 380 381 382 389 a 1 2 9 11 19 20 22 23 31 34 35 37 38 40 41 43 45 46 51 57 59 61 65 71 76 77 80 83 85 86 87 89 91 96 98 99 101 102 103 104 108 111 115 128 138 140 141 146 147 149 151 152 154 160 163 167 168 171 176 179 180 185 188 190 192 193 198 204 206 209 211 218 220 221 227 230 234 243 256 260 266 270 271 275 277 280 282 286 291 292 295 298 302 307 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 350 351 353 358 359 361 362 368 369 377 379 380 381 382 389 a 1 2 9 11 19 20 22 23 31 34 35 37 38 40 41 43 45 46 51 57 59 61 65 71 76 77 80 83 85 86 87 89 91 96 98 99 101 102 103 104 108 111 115 128 138 140 141 146 147 149 151 152 154 160 163 167 168 171 176 179 180 185 188 190 192 193 198 204 206 209 211 218 220 221 227 230 234 243 256 260 266 270 271 275 277 280 282 286 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 350 351 353 358 359 361 362 368 369 377 379 380 381 382 384 389 a 1 2 9 11 19 20 22 23 31 34 35 37 38 40 41 43 45 46 51 57 59 65 71 76 77 80 83 85 86 87 89 91 96 98 99 101 102 103 104 108 111 115 128 138 140 141 146 147 149 151 152 154 160 163 167 168 171 176 179 180 185 188 190 192 193 198 204 206 209 211 218 220 221 227 230 234 240 243 256 260 266 270 271 275 277 280 282 286 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 350 351 353 358 359 361 362 368 369 377 379 380 381 382 384 389 a 1 2 9 11 19 20 22 23 30 31 34 35 37 38 40 41 43 45 46 51 57 59 65 71 76 77 80 83 85 86 87 89 91 96 98 99 101 102 103 104 108 111 115 128 138 140 141 146 147 149 151 152 154 160 163 167 168 171 176 179 180 185 188 190 192 193 198 204 206 209 211 218 220 221 227 230 234 240 243 256 260 266 270 271 275 277 280 282 286 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 350 351 353 358 359 361 362 368 369 379 380 381 382 384 389 a 1 2 9 11 19 20 22 23 30 31 34 35 37 38 40 41 43 45 46 51 57 59 65 71 76 77 80 83 85 86 87 89 91 96 98 99 101 102 103 104 108 111 115 128 138 140 141 146 147 149 151 154 160 163 167 168 171 176 179 180 185 188 190 192 193 198 204 206 209 211 218 220 221 227 230 234 240 243 245 256 260 266 270 271 275 277 280 282 286 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 350 351 353 358 359 361 362 368 369 379 380 381 382 384 389 a 1 2 9 11 20 22 23 30 31 34 35 37 38 40 41 43 45 46 51 57 59 65 71 76 77 80 83 85 86 87 89 91 96 98 99 101 102 103 104 108 111 115 128 138 140 141 146 147 149 151 154 160 163 167 168 171 176 179 180 185 188 190 192 193 198 204 206 209 211 218 220 221 227 230 234 240 243 245 254 256 260 266 270 271 275 277 280 282 286 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 350 351 353 358 359 361 362 368 369 379 380 381 382 384 389 a 1 2 9 10 11 20 22 23 30 31 34 35 37 38 40 41 43 45 46 51 57 59 65 71 76 77 80 83 85 86 87 89 91 96 98 99 101 102 103 104 108 111 115 128 138 140 141 146 147 149 151 154 160 163 167 168 171 176 179 180 185 188 190 192 193 198 204 206 209 211 218 220 221 227 230 234 240 243 245 254 256 260 266 270 271 275 277 280 282 286 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 350 351 353 358 359 361 362 368 369 379 380 381 382 384 389 a 1 2 9 10 11 20 22 23 30 31 34 35 37 38 40 41 43 45 46 51 57 59 65 71 76 77 80 83 85 86 87 89 91 96 98 99 101 102 103 104 108 111 115 128 138 140 141 146 147 149 151 154 160 163 167 168 171 176 179 180 185 188 190 192 193 198 204 206 209 211 218 220 221 227 230 234 240 242 243 245 254 256 260 266 270 271 275 277 280 282 286 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 351 353 358 359 361 362 368 369 379 380 381 382 384 389 a 1 2 9 10 11 20 22 23 30 31 34 35 37 38 40 41 43 45 46 51 57 59 65 71 76 77 80 83 85 86 87 89 91 96 98 99 101 102 103 104 108 111 115 128 138 140 141 146 147 149 151 154 160 163 167 168 171 176 179 180 185 188 190 192 193 198 204 206 209 211 218 220 221 227 230 234 240 242 243 245 254 256 260 266 270 271 277 280 282 286 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 351 353 358 359 361 362 368 369 379 380 381 382 384 386 389 a 1 2 9 10 11 20 22 23 30 31 34 35 37 38 40 41 43 45 46 51 57 59 65 71 76 77 80 83 85 86 87 89 91 96 98 99 101 102 103 104 108 111 115 128 138 140 141 146 147 149 151 154 160 163 167 168 171 173 176 179 180 185 188 190 192 193 198 204 206 209 211 218 220 221 227 230 234 240 242 243 245 254 256 260 270 271 277 280 282 286 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 351 353 358 359 361 362 368 369 379 380 381 382 384 386 389 a 1 2 9 10 11 20 22 23 30 31 34 35 37 38 40 41 43 44 45 46 51 57 59 65 71 76 77 80 83 85 86 87 89 91 96 98 99 101 102 103 104 108 111 115 128 138 140 141 146 147 149 151 154 160 163 167 168 171 173 176 179 180 185 188 190 192 193 198 204 206 209 211 218 220 221 227 230 234 240 242 243 245 254 256 260 270 271 277 280 282 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 351 353 358 359 361 362 368 369 379 380 381 382 384 386 389 a 1 2 9 10 11 20 22 23 30 31 34 35 37 38 40 41 43 44 45 46 51 57 59 65 71 76 77 80 83 85 86 87 89 91 96 98 99 101 102 103 104 108 111 115 128 138 140 141 146 147 149 151 154 160 163 167 168 171 173 176 179 180 185 188 190 192 193 198 204 206 209 211 218 220 221 227 230 234 240 242 243 245 254 256 260 270 271 280 282 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 351 353 355 358 359 361 362 368 369 379 380 381 382 384 386 389 a 1 2 9 10 11 20 22 23 30 31 34 35 37 38 40 41 43 44 45 46 51 57 59 65 71 76 77 80 83 85 86 87 89 91 96 98 99 101 102 103 104 108 111 115 128 138 140 141 146 147 149 151 154 160 163 168 171 173 176 179 180 185 188 190 192 193 198 204 206 209 211 218 220 221 227 230 234 240 242 243 245 254 256 260 270 271 280 282 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 351 352 353 355 358 359 361 362 368 369 379 380 381 382 384 386 389 a 1 2 9 10 11 20 22 23 30 31 34 35 37 38 40 41 43 44 45 46 51 57 59 65 71 73 76 77 80 83 85 86 87 89 91 96 98 99 101 102 103 104 108 111 115 128 138 140 141 146 147 149 151 154 160 163 168 171 173 176 179 180 185 188 190 192 193 198 206 209 211 218 220 221 227 230 234 240 242 243 245 254 256 260 270 271 280 282 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 351 352 353 355 358 359 361 362 368 369 379 380 381 382 384 386 389 a 1 2 9 10 11 20 22 23 30 31 34 35 37 38 40 41 43 44 45 46 51 57 59 65 71 73 76 77 80 83 85 86 87 89 91 96 98 99 101 102 103 104 108 111 115 128 138 140 141 146 147 149 151 154 160 163 168 170 171 173 176 179 180 185 188 190 192 193 198 206 209 211 218 220 221 227 230 234 240 242 243 245 254 256 260 270 280 282 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 351 352 353 355 358 359 361 362 368 369 379 380 381 382 384 386 389 a 1 2 9 10 11 20 22 23 30 31 34 35 37 38 40 41 43 44 45 46 51 57 59 65 71 73 76 77 80 83 85 86 87 88 89 91 96 98 99 101 102 103 104 108 111 115 128 138 140 141 146 147 149 151 154 160 163 168 170 171 173 176 179 185 188 190 192 193 198 206 209 211 218 220 221 227 230 234 240 242 243 245 254 256 260 270 280 282 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 351 352 353 355 358 359 361 362 368 369 379 380 381 382 384 386 389 c Step: 127 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance030_graph001.col /benchmark/random_instance/random_instance030_graph001_01.dat" User time (seconds): 361.07 System time (seconds): 2.85 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:03.95 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): 11916320 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 3676585 Voluntary context switches: 27 Involuntary context switches: 2322 Swaps: 0 File system inputs: 0 File system outputs: 816 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 11:23:36 2023]