#BEGIN: [Tue Sep 26 02:55:44 2023] #HOST: s07 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance030_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance030_graph004_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_instance030_graph004.col /benchmark/random_instance/random_instance030_graph004_01.dat c /benchmark/random_instance/random_instance030_graph004.col c /benchmark/random_instance/random_instance030_graph004_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.001 seconds s 292 239 25 80 219 11 103 177 13 325 271 101 151 330 146 299 287 14 267 186 104 21 161 193 231 2 4 272 154 256 324 15 307 12 140 202 71 102 16 157 24 83 304 317 251 377 308 316 366 29 373 332 90 361 237 321 188 355 145 89 95 129 293 141 315 265 336 201 229 341 382 257 362 314 60 227 147 196 243 176 270 53 134 172 249 124 363 279 359 340 313 106 168 364 142 281 351 198 273 250 150 285 46 160 19 123 370 27 118 40 88 224 211 360 174 56 82 245 93 127 353 331 122 39 t 154 287 184 69 150 376 100 237 222 343 118 269 113 246 57 220 341 179 77 145 163 201 254 7 41 6 338 29 61 331 356 311 188 336 46 307 357 236 258 110 147 226 133 123 305 363 95 288 196 390 380 348 105 186 94 33 349 108 19 137 364 93 48 107 89 134 102 54 362 372 365 202 116 256 233 51 344 360 121 284 11 168 263 214 327 229 125 172 248 203 245 73 211 270 221 22 182 345 385 271 139 292 312 135 316 330 379 32 368 84 306 128 228 315 82 301 117 369 317 370 141 140 257 24 a YES a 2 4 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 53 56 60 71 80 82 83 88 89 90 93 95 101 102 103 104 106 118 122 123 124 127 129 134 140 141 142 145 146 147 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 281 285 287 292 293 299 304 307 308 313 314 315 316 317 321 324 325 330 331 332 336 340 341 351 353 355 359 360 361 362 363 364 366 370 373 377 382 a 2 4 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 53 56 60 71 80 82 83 88 89 90 93 95 101 102 103 104 106 118 122 123 124 127 129 134 140 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 285 287 292 293 299 304 307 308 313 314 315 316 317 321 324 325 330 331 332 336 340 341 351 353 355 359 360 361 362 363 364 366 370 373 377 382 a 2 4 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 53 56 60 71 80 82 83 88 89 90 93 95 101 102 103 104 106 117 118 122 123 124 127 129 134 140 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 285 287 292 293 299 304 307 308 313 314 315 316 317 321 324 325 330 331 332 336 340 341 351 353 355 359 360 361 362 363 364 366 370 377 382 a 2 4 9 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 53 56 60 71 80 82 83 88 89 90 93 95 101 102 103 104 106 117 118 122 123 124 127 129 134 140 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 285 287 292 293 299 304 307 308 313 314 315 316 317 321 325 330 331 332 336 340 341 351 353 355 359 360 361 362 363 364 366 370 377 382 a 2 4 9 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 53 56 60 71 80 82 83 88 89 90 93 95 101 102 103 104 106 118 122 123 124 127 129 134 140 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 285 287 292 293 299 304 307 308 313 314 315 316 317 321 325 330 331 332 336 340 341 351 353 355 359 360 361 362 363 364 366 370 373 377 382 a 2 4 9 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 53 56 60 71 80 82 83 88 89 90 93 95 101 102 103 104 106 118 122 123 124 127 129 134 140 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 285 292 293 294 299 304 307 308 313 314 315 316 317 321 325 330 331 332 336 340 341 351 353 355 359 360 361 362 363 364 366 370 373 377 382 a 2 4 9 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 53 56 60 71 80 82 83 88 89 90 93 95 101 102 103 104 106 118 122 123 124 127 129 134 140 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 285 292 293 294 299 304 306 307 308 313 314 315 316 317 321 325 330 331 332 336 340 341 351 353 355 359 360 361 362 363 364 366 373 377 382 a 2 4 9 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 50 53 56 60 71 80 82 83 88 89 90 93 95 101 102 103 104 106 118 122 123 124 127 129 134 140 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 285 292 293 294 299 304 306 307 308 313 314 315 316 317 321 325 330 331 332 336 340 341 351 353 355 359 360 361 362 363 364 373 377 382 a 2 4 9 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 50 53 56 60 71 80 82 83 88 89 90 93 95 101 102 103 104 106 118 122 123 124 127 129 134 140 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 229 231 232 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 285 292 293 294 299 304 306 307 308 313 314 315 316 317 321 325 330 331 332 336 340 341 351 353 355 359 360 361 362 363 373 377 382 a 2 4 9 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 50 53 56 60 71 80 82 83 88 89 90 93 95 101 102 103 104 106 118 122 123 124 127 129 134 140 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 229 232 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 285 292 293 294 299 304 306 307 308 313 314 315 316 317 321 325 330 331 332 336 340 341 351 353 355 359 360 361 362 363 366 373 377 382 a 2 4 9 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 50 53 56 60 71 80 82 83 88 89 90 93 95 101 102 103 104 106 118 122 123 124 127 129 134 140 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 224 227 229 232 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 285 292 293 294 299 304 306 307 308 313 314 315 316 317 321 325 330 331 332 336 340 341 351 353 355 359 360 361 362 363 364 366 373 377 382 a 2 3 4 9 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 50 53 56 60 71 80 82 83 88 89 90 93 95 101 102 103 104 106 118 122 123 124 127 129 134 140 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 224 227 229 232 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 285 292 293 294 299 304 306 307 308 313 314 315 316 317 321 325 330 331 332 336 340 341 351 355 359 360 361 362 363 364 366 373 377 382 a 2 3 4 9 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 50 53 56 60 71 80 82 83 88 89 90 93 95 101 102 103 104 106 118 122 123 124 127 129 134 140 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 224 227 229 232 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 285 292 293 294 299 304 306 307 308 313 314 315 316 317 320 321 325 330 331 332 336 340 341 351 355 360 361 362 363 364 366 373 377 382 a 3 4 9 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 50 53 56 60 71 80 82 83 88 89 90 93 95 101 102 103 104 106 118 122 123 124 127 129 134 140 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 224 227 229 231 232 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 285 292 293 294 299 304 306 307 308 313 314 315 316 317 320 321 325 330 331 332 336 340 341 351 355 360 361 362 363 364 366 373 377 382 a 3 4 9 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 50 53 56 60 71 80 82 83 88 89 90 93 95 101 102 103 104 106 118 122 123 124 127 129 134 140 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 224 227 229 231 232 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 285 292 293 294 299 304 306 307 308 313 314 315 316 317 320 321 325 330 331 332 336 340 341 351 355 360 361 362 363 364 366 373 377 390 a 3 4 9 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 50 53 56 60 71 80 82 83 88 89 90 93 95 101 102 103 104 106 118 122 124 127 129 134 140 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 224 227 229 231 232 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 285 292 293 294 296 299 304 306 307 308 313 314 315 316 317 320 321 325 330 331 332 336 340 341 351 355 360 361 362 363 364 366 373 377 390 a 3 4 9 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 50 53 56 60 71 80 82 83 88 89 90 93 95 101 102 103 104 106 118 122 124 127 129 134 140 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 227 229 231 232 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 285 292 293 294 296 299 304 306 307 308 313 314 315 316 317 320 321 325 330 331 332 336 340 341 351 355 360 361 362 363 364 366 370 373 377 390 a 4 9 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 50 53 56 60 71 80 82 83 88 89 90 93 95 101 102 103 104 106 118 122 124 127 129 134 140 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 227 229 231 232 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 285 292 293 294 296 299 304 306 307 308 313 314 315 316 317 320 321 325 330 331 332 336 340 341 351 355 360 361 362 363 364 366 370 373 377 390 a 4 9 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 50 53 56 60 71 80 82 83 88 89 90 93 95 101 102 103 104 106 118 122 124 127 129 134 140 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 229 231 232 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 285 292 293 294 296 299 304 306 307 308 313 314 315 316 317 320 321 325 330 331 332 336 340 341 351 355 360 361 362 363 364 366 370 373 377 a 4 9 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 50 53 56 60 71 80 82 83 88 89 90 93 95 101 102 103 104 106 118 122 124 127 129 134 140 141 142 145 146 147 149 150 151 154 157 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 229 231 232 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 285 292 293 294 296 299 304 306 307 308 313 314 315 316 317 320 321 325 330 331 332 336 340 341 351 355 360 361 362 363 364 366 370 373 377 382 a 3 4 9 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 50 53 56 60 71 80 82 83 88 89 90 93 95 101 102 103 104 106 118 122 124 127 129 134 140 141 142 145 146 147 149 150 151 154 157 161 168 172 174 176 177 186 188 193 196 198 201 202 211 224 227 229 231 232 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 285 292 293 294 296 299 304 306 307 308 313 314 315 316 317 320 321 325 330 331 332 336 340 341 351 355 360 361 362 363 364 366 370 373 377 382 a 3 4 9 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 50 53 56 60 71 80 82 83 88 89 90 93 95 101 102 103 104 106 118 122 124 127 129 134 140 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 224 227 229 231 232 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 285 292 293 294 296 299 304 306 307 308 313 314 315 316 317 320 321 325 330 331 332 336 340 341 351 355 360 361 362 363 364 366 370 373 377 a 3 4 9 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 50 53 56 60 71 80 82 83 86 88 89 90 93 95 101 102 103 104 106 118 122 124 127 129 134 140 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 224 227 229 231 232 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 285 292 293 294 296 299 304 306 307 308 313 314 315 316 317 320 321 325 330 331 332 336 340 341 351 355 360 361 362 363 364 366 370 373 a 3 4 9 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 50 53 56 60 71 80 82 83 86 88 89 90 93 95 101 102 103 104 106 118 122 124 127 129 134 140 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 224 227 229 231 232 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 285 292 293 294 296 299 304 306 307 308 313 314 315 316 317 320 321 325 330 331 332 336 340 341 351 353 355 360 361 362 363 364 366 370 a 3 4 9 11 12 13 14 15 16 19 21 24 25 27 29 32 39 40 46 50 53 56 60 71 80 82 83 86 88 89 90 93 95 101 102 103 104 106 118 122 124 127 134 140 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 224 227 229 231 232 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 285 292 293 294 296 299 304 306 307 308 313 314 315 316 317 320 321 325 330 331 332 336 340 341 351 353 355 360 361 362 363 364 366 370 a 3 4 9 11 12 13 14 15 16 19 21 24 25 27 29 32 39 40 46 50 53 56 60 71 80 82 83 86 88 89 90 93 95 101 102 103 104 106 118 122 124 127 134 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 224 227 229 231 232 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 285 292 293 294 296 299 304 306 307 308 313 314 315 316 317 320 321 322 325 330 331 332 336 340 341 351 353 355 360 361 362 363 364 366 370 a 3 4 9 11 12 13 14 15 16 19 21 24 25 27 29 32 39 40 46 50 53 56 60 71 80 82 83 86 88 89 90 93 95 101 102 103 104 106 107 118 122 124 127 134 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 224 227 229 231 232 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 285 292 293 294 296 299 304 306 307 308 313 314 315 316 317 320 321 322 330 331 332 336 340 341 351 353 355 360 361 362 363 364 366 370 a 3 4 9 11 12 13 14 15 16 19 21 24 25 27 29 32 39 40 46 50 53 56 60 71 80 82 83 86 88 89 90 93 95 101 102 103 104 106 107 118 122 124 127 134 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 224 227 229 231 232 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 285 290 292 293 294 296 299 304 306 307 308 313 314 315 316 317 320 321 322 330 332 336 340 341 351 353 355 360 361 362 363 364 366 370 a 3 4 9 11 12 13 14 15 16 17 19 21 24 25 27 29 32 39 40 46 50 53 56 60 71 80 82 83 86 88 89 90 93 95 101 102 103 104 106 107 118 122 124 127 134 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 224 227 229 231 232 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 285 290 292 293 294 296 299 304 306 307 308 313 314 315 316 317 320 321 322 330 332 336 340 341 351 353 355 360 361 362 363 364 366 a 3 4 9 11 12 13 14 15 16 17 19 21 24 25 27 29 32 39 40 41 46 50 56 60 71 80 82 83 86 88 89 90 93 95 101 102 103 104 106 107 118 122 124 127 134 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 224 227 229 231 232 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 285 290 292 293 294 296 299 304 306 307 308 313 314 315 316 317 320 321 322 330 332 336 340 341 351 353 355 360 361 362 363 364 366 a 3 4 9 11 12 13 14 15 16 17 19 21 24 25 27 29 32 39 40 41 46 50 56 60 71 80 82 83 86 88 89 90 93 95 101 102 103 104 106 107 118 122 124 127 134 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 224 227 229 231 232 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 285 290 292 293 294 296 299 304 306 307 308 313 314 315 316 317 320 321 322 330 332 336 340 341 351 353 355 360 361 362 363 364 377 a 3 4 9 11 12 13 14 15 16 17 19 21 24 25 27 29 32 39 40 41 46 50 56 60 71 78 80 82 83 86 88 89 90 93 95 101 102 103 104 106 107 118 122 124 127 134 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 224 227 229 231 232 237 239 243 245 249 250 251 256 257 265 267 270 272 273 279 285 290 292 293 294 296 299 304 306 307 308 313 314 315 316 317 320 321 322 330 332 336 340 341 351 353 355 360 361 362 363 364 377 a 3 4 9 11 12 13 14 15 16 17 19 21 24 25 27 29 32 39 40 46 50 53 56 60 71 78 80 82 83 86 88 89 90 93 95 101 102 103 104 106 107 118 122 124 127 134 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 224 227 229 231 232 237 239 243 245 249 250 251 256 257 265 267 270 272 273 279 285 290 292 293 294 296 299 304 306 307 308 313 314 315 316 317 320 321 322 330 332 336 340 341 351 353 355 360 361 362 363 364 377 a 3 9 11 12 13 14 15 16 17 19 21 24 25 27 29 32 39 40 46 50 53 56 60 71 78 80 82 83 86 88 89 90 93 95 101 102 103 104 106 107 118 122 124 127 134 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 224 227 228 229 231 232 237 239 243 245 249 250 251 256 257 265 267 270 272 273 279 285 290 292 293 294 296 299 304 306 307 308 313 314 315 316 317 320 321 322 330 332 336 340 341 351 353 355 360 361 362 363 364 377 a 3 9 11 12 13 14 15 16 17 19 21 24 25 27 29 32 39 40 46 50 53 56 60 71 78 80 82 83 86 88 89 90 93 95 101 102 103 104 106 107 118 122 124 127 134 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 220 224 227 228 229 231 232 237 239 243 245 249 250 251 256 257 265 267 270 272 273 279 285 290 292 293 294 296 299 304 306 307 308 313 314 315 316 317 320 321 322 330 332 336 341 351 353 355 360 361 362 363 364 377 a 3 9 11 12 13 14 15 16 17 19 21 24 25 27 29 32 39 40 46 50 53 56 60 71 78 80 82 83 86 88 89 90 93 95 101 102 103 104 106 107 118 122 124 127 134 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 220 224 227 228 229 231 232 237 239 243 245 249 250 251 255 256 257 265 267 270 272 273 279 285 290 292 293 294 296 299 304 306 307 308 313 314 315 316 317 320 321 322 332 336 341 351 353 355 360 361 362 363 364 377 a 3 9 11 12 13 14 15 16 17 19 21 24 25 27 29 32 39 40 46 50 53 56 60 71 78 80 82 83 86 88 89 90 93 95 101 102 103 104 106 107 118 124 127 134 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 220 224 227 228 229 231 232 237 239 243 245 249 250 251 255 256 257 265 267 270 272 273 279 285 290 292 293 294 296 299 304 306 307 308 313 314 315 316 317 320 321 322 332 336 341 351 353 355 360 361 362 363 364 377 390 a 3 9 11 12 13 14 15 16 17 19 21 24 25 27 29 32 39 40 46 50 53 56 60 70 71 78 80 82 83 86 88 89 90 93 95 101 102 103 104 106 107 118 124 127 134 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 220 224 227 228 229 231 232 237 239 243 245 249 250 251 255 256 257 265 267 270 272 273 279 285 290 292 293 294 299 304 306 307 308 313 314 315 316 317 320 321 322 332 336 341 351 353 355 360 361 362 363 364 377 390 a 3 9 11 12 13 14 15 16 17 19 21 24 25 27 29 32 39 40 46 50 53 56 60 70 71 78 80 82 83 86 88 89 90 93 95 101 102 103 104 106 107 118 124 127 134 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 220 224 227 228 229 231 232 237 239 243 245 249 250 251 255 256 257 265 267 270 272 273 277 279 285 290 292 293 294 299 304 306 307 308 313 314 315 316 317 320 321 322 332 336 341 353 355 360 361 362 363 364 377 390 a 3 9 11 12 13 14 15 16 17 19 21 24 25 27 29 32 39 40 46 50 53 56 60 70 71 78 80 81 82 83 86 88 89 90 93 95 101 102 103 104 106 107 118 124 127 134 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 220 224 227 228 229 231 232 237 239 243 245 249 250 251 255 256 257 267 270 272 273 277 279 285 290 292 293 294 299 304 306 307 308 313 314 315 316 317 320 321 322 332 336 341 353 355 360 361 362 363 364 377 390 a 3 9 11 12 13 14 15 16 17 19 21 24 25 27 29 32 39 40 46 50 53 56 60 70 71 78 80 81 82 83 86 88 89 90 93 95 101 102 103 104 106 107 118 124 127 134 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 220 224 227 228 229 232 237 239 243 245 249 250 251 255 256 257 267 270 272 273 277 279 285 290 292 293 294 299 304 306 307 308 313 314 315 316 317 320 321 322 332 336 341 353 355 360 361 362 363 364 370 377 390 a 3 9 11 12 13 14 15 16 17 19 21 24 25 27 29 32 39 40 46 50 53 56 60 70 71 78 80 81 82 83 86 88 89 90 93 95 101 102 103 104 106 107 118 124 127 134 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 220 224 227 228 229 232 237 239 243 245 249 250 255 256 257 267 270 272 273 277 279 285 288 290 292 293 294 299 304 306 307 308 313 314 315 316 317 320 321 322 332 336 341 353 355 360 361 362 363 364 370 377 390 a 3 9 11 12 13 14 15 16 17 19 21 24 25 27 29 32 39 40 46 50 53 56 60 70 71 78 80 81 82 83 86 88 89 90 93 95 101 102 103 104 106 107 118 124 127 134 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 220 224 227 228 229 232 237 239 243 245 249 250 255 256 257 267 270 272 273 277 279 285 288 290 292 293 294 299 304 306 307 308 313 314 315 316 317 320 321 322 332 336 341 353 355 359 360 361 362 363 364 370 390 a 3 9 11 12 13 14 15 16 17 19 21 24 25 27 29 32 39 40 46 50 53 56 60 70 71 78 80 81 82 83 86 88 89 90 93 95 101 102 103 104 106 107 118 124 127 134 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 220 224 227 228 229 232 237 239 243 245 249 250 255 256 257 267 270 272 273 277 279 285 288 290 292 293 294 299 304 306 307 308 313 314 315 316 317 320 321 322 332 336 341 353 355 359 360 361 362 363 364 366 370 a 3 9 11 12 13 14 15 16 17 19 21 24 25 27 29 32 39 40 46 50 53 56 60 70 71 78 80 81 82 83 86 88 89 90 93 95 101 102 103 104 106 107 118 124 127 134 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 214 220 224 227 228 229 232 237 239 243 245 249 250 255 256 257 267 270 272 273 277 279 285 288 290 292 293 294 299 304 306 307 308 313 314 315 316 317 320 321 322 332 336 341 353 355 359 360 361 362 363 364 366 a 3 9 11 12 13 14 15 16 17 19 21 24 25 27 29 32 39 40 46 50 53 56 60 70 71 78 80 81 82 83 86 88 89 90 93 95 101 102 103 104 106 107 118 124 127 134 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 214 220 224 227 228 229 232 237 239 243 245 249 250 255 256 257 267 270 272 273 277 279 285 288 290 292 293 294 299 304 306 307 308 313 314 315 316 317 320 321 322 332 336 341 353 355 359 360 361 362 363 364 377 a 3 9 11 12 13 14 15 16 17 19 21 24 25 27 29 32 39 40 46 50 53 56 60 66 70 71 78 80 81 82 83 86 88 89 90 93 95 101 102 103 104 106 107 118 124 127 134 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 214 220 224 227 228 229 232 237 243 245 249 250 255 256 257 267 270 272 273 277 279 285 288 290 292 293 294 299 304 306 307 308 313 314 315 316 317 320 321 322 332 336 341 353 355 359 360 361 362 363 364 377 a 3 9 11 12 13 14 15 16 17 19 21 24 25 27 29 32 39 40 46 50 53 56 60 66 70 71 78 80 81 82 83 86 88 89 90 93 95 96 101 102 103 104 106 107 118 124 127 134 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 214 220 224 227 228 229 232 237 243 245 249 250 255 256 257 267 270 272 273 277 279 285 288 290 292 293 294 299 304 306 307 308 313 314 315 316 317 320 321 322 332 336 341 353 355 359 360 361 362 363 364 a 3 9 11 12 13 14 15 16 17 19 21 24 25 27 29 32 39 40 46 50 53 56 60 66 70 71 78 80 81 82 83 86 88 89 90 93 95 96 101 102 103 104 106 107 118 124 127 134 141 142 145 146 147 149 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 214 220 224 227 228 229 232 237 243 245 249 250 255 256 257 267 270 272 273 277 279 285 288 290 292 293 294 299 304 306 307 308 313 314 315 316 317 320 321 322 332 336 341 353 355 359 360 361 362 363 370 a 3 9 11 12 13 14 15 16 17 19 21 24 25 27 29 32 39 40 46 50 53 56 60 66 70 71 78 80 81 82 83 86 88 89 90 93 95 96 101 102 103 104 106 107 118 124 127 134 141 142 145 146 147 149 150 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 214 220 224 227 228 229 232 237 243 245 249 250 255 256 257 267 270 272 273 277 279 285 288 290 292 293 294 299 304 306 307 308 313 314 315 316 317 320 321 322 332 336 341 353 355 359 360 361 362 363 370 373 a 3 9 11 12 13 14 15 16 17 19 21 24 25 27 29 32 39 40 46 50 53 56 60 64 66 70 71 78 80 81 82 83 86 88 89 90 93 95 96 101 102 103 104 106 107 118 124 127 134 141 142 145 146 147 149 150 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 214 220 224 227 228 229 232 237 243 245 249 250 255 256 257 267 270 272 273 277 279 285 288 290 292 293 294 299 304 306 307 308 313 314 315 316 317 320 321 322 332 336 341 353 355 359 360 361 362 363 373 a 3 9 11 12 13 14 15 16 17 19 21 24 25 27 29 32 39 40 46 50 53 56 60 64 66 70 71 78 80 81 82 83 86 88 89 90 93 95 96 101 102 103 104 106 107 118 124 127 134 141 142 145 146 147 149 150 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 214 220 224 227 228 229 232 237 243 245 249 250 255 256 257 267 270 272 273 277 279 285 288 290 292 293 294 299 304 306 307 308 313 314 315 316 317 320 321 322 332 336 341 353 355 359 360 361 362 363 377 a 3 9 11 12 13 14 15 16 17 19 21 24 25 27 29 32 39 40 46 50 53 56 60 64 66 70 71 78 80 81 82 83 86 88 89 90 93 95 96 101 102 103 104 106 107 118 124 127 134 141 142 145 146 147 149 150 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 214 220 224 227 228 229 232 237 243 245 249 250 255 256 257 267 270 272 273 277 279 285 288 290 292 293 294 299 304 306 307 308 313 314 315 316 317 320 321 322 332 336 341 353 355 359 360 361 362 377 390 a 3 9 11 12 13 14 15 16 17 19 21 24 25 27 29 32 39 40 46 50 53 56 60 64 66 70 71 78 80 81 82 83 88 89 90 93 95 96 101 102 103 104 106 107 118 124 127 134 141 142 145 146 147 149 150 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 214 220 224 227 228 229 232 237 243 245 249 250 255 256 257 267 270 272 273 277 279 285 288 290 292 293 294 299 304 306 307 308 313 314 315 316 317 320 321 322 332 336 341 353 355 359 360 361 362 370 377 390 a 3 9 11 12 13 14 15 16 17 19 21 24 25 27 29 32 39 40 46 50 53 56 60 64 66 70 71 78 80 81 82 83 88 89 90 93 95 96 101 102 103 104 106 107 118 124 127 134 141 142 145 146 147 149 150 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 214 220 224 227 228 229 232 237 243 245 249 250 255 256 257 267 270 272 273 277 279 285 288 290 292 293 294 299 304 306 307 308 313 315 316 317 320 321 322 327 332 336 341 353 355 359 360 361 362 370 377 390 a 3 9 11 12 13 14 15 16 17 19 21 24 25 27 29 32 39 40 46 50 53 56 60 64 66 70 71 78 80 81 82 83 88 89 90 93 95 96 101 102 103 106 107 118 124 127 134 141 142 145 146 147 149 150 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 214 220 224 227 228 229 232 237 243 245 249 250 255 256 257 267 270 272 273 277 279 285 288 290 292 293 294 299 304 306 307 308 313 315 316 317 320 321 322 327 332 336 341 349 353 355 359 360 361 362 370 377 390 a 3 9 11 12 13 14 15 16 17 19 21 24 25 27 29 32 39 40 46 50 53 56 60 64 66 70 71 78 80 81 82 83 88 89 90 93 95 96 101 102 103 106 107 118 124 127 134 141 142 145 146 147 149 150 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 214 220 224 227 228 229 232 237 243 245 249 250 255 256 257 267 270 272 273 277 279 288 290 292 293 294 299 304 306 307 308 313 315 316 317 320 321 322 327 332 336 341 349 353 355 359 360 361 362 363 370 377 390 a 3 9 11 12 13 14 15 16 17 19 21 24 25 27 29 32 39 40 46 50 53 56 60 64 66 70 71 78 80 81 82 83 88 89 90 93 95 96 101 102 103 106 107 118 124 127 134 141 142 145 146 147 149 150 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 214 220 224 227 228 229 232 237 243 245 249 250 255 256 257 267 270 271 272 273 277 279 288 290 292 293 294 299 304 306 307 308 313 315 316 317 320 321 322 327 332 336 341 349 353 355 359 360 361 362 363 370 390 a 3 9 11 12 13 14 15 16 17 19 21 24 25 27 29 32 39 40 46 50 53 56 60 64 66 70 71 78 80 81 82 83 88 89 90 93 95 96 101 102 103 106 107 118 124 127 134 141 142 145 146 147 149 150 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 214 220 224 227 228 229 232 237 243 245 249 250 256 257 267 270 271 272 273 277 279 288 290 292 293 294 299 304 306 307 308 313 315 316 317 320 321 322 327 330 332 336 341 349 353 355 359 360 361 362 363 370 390 a 3 9 11 12 13 14 15 16 17 19 21 24 25 27 29 32 39 40 46 50 53 56 60 64 66 70 71 78 80 81 82 83 88 89 90 93 95 96 101 102 103 106 107 118 124 127 134 141 142 145 146 147 149 150 154 157 160 161 168 172 176 177 186 188 193 196 198 201 202 211 214 220 224 227 228 229 232 236 237 243 245 249 250 256 257 267 270 271 272 273 277 279 288 290 292 293 294 299 304 306 307 308 313 315 316 317 320 321 322 327 330 332 336 341 349 353 355 359 360 361 362 363 370 390 a 3 9 11 12 13 14 15 16 17 19 21 24 25 27 29 32 39 40 46 50 53 56 60 64 66 70 71 78 80 81 82 83 88 89 90 93 95 96 101 102 103 106 107 118 124 127 128 134 141 142 145 146 147 149 150 154 157 160 161 168 172 176 177 186 188 193 196 198 201 202 211 214 220 224 227 228 229 232 236 237 243 245 249 250 256 257 267 270 271 272 273 277 279 288 290 292 293 294 299 304 306 307 308 313 315 316 317 320 321 322 327 330 332 336 341 349 353 355 359 360 362 363 370 390 a 3 9 11 12 13 14 15 16 17 19 21 24 25 27 29 32 39 40 46 50 53 56 60 64 66 70 71 78 80 81 82 83 88 89 90 93 95 96 101 102 103 106 107 118 124 125 127 128 134 141 142 145 146 147 149 150 154 157 160 161 168 172 176 177 186 188 193 196 198 201 202 211 214 220 224 227 228 229 232 236 237 243 245 249 250 256 257 267 270 271 272 273 277 279 288 290 292 293 294 299 304 306 307 308 315 316 317 320 321 322 327 330 332 336 341 349 353 355 359 360 362 363 370 390 a 3 9 11 12 13 14 15 16 19 21 24 25 27 29 32 39 40 46 50 53 56 60 64 66 70 71 78 80 81 82 83 88 89 90 93 95 96 101 102 103 106 107 118 124 125 127 128 134 141 142 145 146 147 149 150 154 157 160 161 168 172 176 177 186 188 193 196 198 201 202 211 214 220 224 227 228 229 232 236 237 243 245 249 250 256 257 267 270 271 272 273 277 279 288 290 292 293 294 299 304 306 307 308 315 316 317 320 321 322 327 330 332 336 341 345 349 353 355 359 360 362 363 370 390 a 3 9 11 12 13 14 15 16 19 21 24 25 27 29 32 39 40 46 50 53 56 60 64 66 70 71 78 80 81 82 88 89 90 93 95 96 101 102 103 106 107 113 118 124 125 127 128 134 141 142 145 146 147 149 150 154 157 160 161 168 172 176 177 186 188 193 196 198 201 202 211 214 220 224 227 228 229 232 236 237 243 245 249 250 256 257 267 270 271 272 273 277 279 288 290 292 293 294 299 304 306 307 308 315 316 317 320 321 322 327 330 332 336 341 345 349 353 355 359 360 362 363 370 390 a 3 9 11 12 13 14 15 16 19 21 24 25 27 29 32 39 40 46 50 53 56 60 64 66 70 71 78 80 81 82 88 89 90 93 95 96 101 102 103 106 107 113 118 124 125 127 128 134 141 142 145 146 147 149 150 154 157 160 161 168 172 176 177 186 188 193 196 198 201 202 203 211 214 220 224 227 228 229 232 236 237 243 245 249 250 256 257 267 270 271 272 273 277 279 288 290 292 293 299 304 306 307 308 315 316 317 320 321 322 327 330 332 336 341 345 349 353 355 359 360 362 363 370 390 a 3 9 11 12 13 14 15 16 19 21 24 25 27 29 32 39 40 46 50 53 56 60 64 66 70 71 78 80 81 82 88 89 90 93 95 96 101 102 103 106 107 113 118 124 125 127 128 134 141 142 145 146 147 149 150 154 157 160 161 168 172 176 177 186 188 193 196 198 201 202 203 211 214 220 224 227 228 229 232 236 237 243 245 249 250 256 257 267 270 271 272 273 277 279 287 288 290 292 293 299 304 306 307 308 315 316 317 321 322 327 330 332 336 341 345 349 353 355 359 360 362 363 370 390 a 3 9 11 12 13 14 15 16 19 21 24 25 27 29 32 39 40 46 50 53 56 60 64 66 70 71 78 80 81 82 88 89 90 93 95 96 101 102 103 106 107 113 118 124 125 127 128 134 141 142 145 146 147 149 150 154 157 160 161 168 172 176 177 186 188 193 196 198 201 202 203 211 214 220 224 227 228 229 232 236 237 243 245 249 250 256 257 267 270 271 272 273 277 279 287 288 290 292 293 299 306 307 308 315 316 317 321 322 327 330 332 336 338 341 345 349 353 355 359 360 362 363 370 390 a 3 7 9 11 12 13 14 15 16 19 21 24 25 27 29 32 39 40 46 50 53 56 60 64 66 70 71 78 80 81 82 88 89 90 93 95 96 101 102 103 106 107 113 118 124 125 127 128 134 141 142 145 146 147 149 150 154 157 160 161 168 172 176 177 186 188 193 196 198 201 202 203 211 214 220 224 227 228 229 232 236 237 243 245 249 250 256 257 270 271 272 273 277 279 287 288 290 292 293 299 306 307 308 315 316 317 321 322 327 330 332 336 338 341 345 349 353 355 359 360 362 363 370 390 a 3 7 9 11 12 13 14 15 16 19 21 24 25 27 29 32 39 40 46 50 53 60 64 66 70 71 78 80 81 82 88 89 90 93 95 96 101 102 103 106 107 113 118 124 125 127 128 134 141 142 145 146 147 149 150 154 157 160 161 168 172 176 177 186 188 193 196 198 201 202 203 211 214 220 224 227 228 229 232 236 237 243 245 249 250 256 257 270 271 272 273 277 279 287 288 290 292 293 299 306 307 308 315 316 317 321 322 327 330 332 336 338 341 345 349 353 355 359 360 362 363 364 370 390 a 3 7 9 11 12 13 14 15 16 19 21 24 25 27 29 32 39 40 46 50 53 60 64 66 70 71 78 80 81 82 88 89 90 93 95 96 101 102 106 107 113 118 124 125 127 128 134 141 142 145 146 147 149 150 154 157 160 161 168 172 176 177 186 188 193 196 198 201 202 203 211 214 220 224 227 228 229 232 236 237 243 245 249 250 256 257 270 271 272 273 277 279 284 287 288 290 292 293 299 306 307 308 315 316 317 321 322 327 330 332 336 338 341 345 349 353 355 359 360 362 363 364 370 390 a 3 7 9 11 12 13 14 15 16 19 21 24 25 27 29 32 39 40 41 46 50 60 64 66 70 71 78 80 81 82 88 89 90 93 95 96 101 102 106 107 113 118 124 125 127 128 134 141 142 145 146 147 149 150 154 157 160 161 168 172 176 177 186 188 193 196 198 201 202 203 211 214 220 224 227 228 229 232 236 237 243 245 249 250 256 257 270 271 272 273 277 279 284 287 288 290 292 293 299 306 307 308 315 316 317 321 322 327 330 332 336 338 341 345 349 353 355 359 360 362 363 364 370 390 a 3 7 9 11 12 13 14 15 16 19 21 24 25 27 29 32 39 40 41 46 50 60 64 66 70 71 78 80 81 82 88 89 90 93 95 96 101 102 106 107 113 118 124 125 127 128 134 141 142 145 146 147 149 150 154 157 160 161 168 172 176 177 186 188 193 196 198 201 202 203 211 214 220 221 224 227 228 229 232 236 237 243 245 249 250 256 257 270 271 272 273 277 279 284 287 288 290 292 299 306 307 308 315 316 317 321 322 327 330 332 336 338 341 345 349 353 355 359 360 362 363 364 370 390 a 3 7 9 11 12 13 14 15 16 19 21 24 25 27 29 32 33 39 40 41 46 50 60 64 66 70 71 78 80 81 82 88 89 90 93 95 96 101 102 106 107 113 118 124 125 127 128 134 141 142 145 146 147 149 150 154 157 160 161 168 172 176 177 186 188 193 196 198 201 202 203 211 214 220 221 224 227 228 229 232 236 237 243 245 249 250 256 257 270 271 272 273 277 279 284 287 288 290 292 299 306 307 315 316 317 321 322 327 330 332 336 338 341 345 349 353 355 359 360 362 363 364 370 390 a 3 7 9 11 12 13 14 15 16 19 21 24 25 27 29 32 33 39 40 41 46 50 60 64 70 71 78 80 81 82 88 89 90 93 95 96 101 102 106 107 113 118 124 125 127 128 134 141 142 145 146 147 149 150 154 157 160 161 168 172 176 177 186 188 193 196 198 201 202 203 211 214 220 221 224 227 228 229 232 236 237 243 245 249 250 254 256 257 270 271 272 273 277 279 284 287 288 290 292 299 306 307 315 316 317 321 322 327 330 332 336 338 341 345 349 353 355 359 360 362 363 364 370 390 a 3 7 9 11 12 13 14 15 16 19 21 24 25 27 29 32 33 40 41 46 50 60 64 70 71 78 80 81 82 88 89 90 93 95 96 101 102 106 107 113 117 118 124 125 127 128 134 141 142 145 146 147 149 150 154 157 160 161 168 172 176 177 186 188 193 196 198 201 202 203 211 214 220 221 224 227 228 229 232 236 237 243 245 249 250 254 256 257 270 271 272 273 277 279 284 287 288 290 292 299 306 307 315 316 317 321 322 327 330 332 336 338 341 345 349 353 355 359 360 362 363 364 370 390 a 3 7 9 11 12 13 14 16 19 21 24 25 27 29 32 33 40 41 46 50 60 64 70 71 78 80 81 82 88 89 90 93 95 96 101 102 106 107 113 117 118 124 125 127 128 134 141 142 145 146 147 149 150 154 157 160 161 168 172 176 177 186 188 193 196 198 201 202 203 211 214 220 221 224 227 228 229 232 236 237 243 245 249 250 254 256 257 263 270 271 272 273 277 279 284 287 288 290 292 299 306 307 315 316 317 321 322 327 330 332 336 338 341 345 349 353 355 359 360 362 363 364 370 390 a 3 7 9 11 12 13 14 16 19 21 24 25 27 29 32 33 40 41 46 50 60 64 70 71 78 80 81 82 88 89 90 93 95 96 101 102 106 107 113 116 117 118 124 125 127 128 134 141 142 145 147 149 150 154 157 160 161 168 172 176 177 186 188 193 196 198 201 202 203 211 214 220 221 224 227 228 229 232 236 237 243 245 249 250 254 256 257 263 270 271 272 273 277 279 284 287 288 290 292 299 306 307 315 316 317 321 322 327 330 332 336 338 341 345 349 353 355 359 360 362 363 364 370 390 a 3 7 9 11 12 13 14 16 19 21 24 25 27 29 32 33 40 41 46 50 57 60 64 70 71 78 80 81 82 88 89 90 93 95 96 101 102 106 107 113 116 117 118 124 125 127 128 134 141 142 145 147 149 150 154 157 160 161 168 172 176 177 186 188 193 196 198 201 202 203 211 214 220 221 227 228 229 232 236 237 243 245 249 250 254 256 257 263 270 271 272 273 277 279 284 287 288 290 292 299 306 307 315 316 317 321 322 327 330 332 336 338 341 345 349 353 355 359 360 362 363 364 370 390 a 3 7 9 11 12 13 14 16 19 21 24 25 27 29 32 33 40 41 46 50 57 60 64 70 71 78 80 81 82 88 89 90 93 95 96 101 102 106 107 113 116 117 118 124 125 127 128 134 141 142 145 147 149 150 154 157 160 161 168 172 176 177 186 188 193 196 198 201 202 203 211 214 220 221 226 227 228 229 232 236 237 243 245 249 254 256 257 263 270 271 272 273 277 279 284 287 288 290 292 299 306 307 315 316 317 321 322 327 330 332 336 338 341 345 349 353 355 359 360 362 363 364 370 390 a 3 7 9 11 12 13 14 16 19 21 24 25 27 29 32 33 40 41 46 50 57 60 64 70 71 78 80 81 82 88 89 90 93 95 96 101 102 106 107 113 116 117 118 124 125 127 128 134 141 142 145 147 149 150 154 157 160 161 168 172 176 177 186 188 193 196 198 201 202 203 211 214 220 221 226 227 228 229 232 236 237 243 245 249 254 256 257 263 270 271 272 273 277 279 284 287 288 292 299 306 307 315 316 317 321 322 327 330 331 332 336 338 341 345 349 353 355 359 360 362 363 364 370 390 a 3 7 9 11 12 13 14 16 19 21 24 25 27 29 32 33 40 41 46 50 57 60 64 70 71 78 80 81 82 88 89 90 93 95 96 100 101 102 106 107 113 116 117 118 124 125 127 128 134 141 142 145 147 149 150 154 157 160 161 168 172 176 186 188 193 196 198 201 202 203 211 214 220 221 226 227 228 229 232 236 237 243 245 249 254 256 257 263 270 271 272 273 277 279 284 287 288 292 299 306 307 315 316 317 321 322 327 330 331 332 336 338 341 345 349 353 355 359 360 362 363 364 370 390 a 3 7 9 11 12 13 14 16 19 21 24 25 27 29 32 33 40 41 46 50 57 60 64 70 71 78 80 81 82 88 89 90 93 95 96 100 101 102 106 107 113 116 117 118 124 125 127 128 134 141 142 145 147 149 150 154 157 160 161 168 172 176 186 188 193 196 198 201 202 203 211 214 220 221 226 227 228 229 232 236 237 243 245 249 254 256 257 263 270 271 272 273 277 279 284 287 288 292 306 307 315 316 317 321 322 327 330 331 332 336 338 341 345 349 353 355 359 360 362 363 364 369 370 390 a 3 7 9 11 12 13 14 16 19 21 24 27 29 32 33 40 41 46 50 57 60 64 70 71 78 80 81 82 88 89 90 93 95 96 100 101 102 106 107 113 116 117 118 124 125 127 128 134 141 142 145 147 149 150 154 157 160 161 168 172 176 186 188 193 196 198 201 202 203 211 214 220 221 226 227 228 229 232 236 237 243 245 249 254 256 257 263 270 271 272 273 277 279 284 287 288 292 306 307 315 316 317 321 322 327 330 331 332 336 338 341 345 349 353 355 359 360 362 363 364 369 370 385 390 a 3 7 9 11 12 13 14 16 19 21 24 27 29 32 33 40 41 46 50 57 60 64 70 71 78 81 82 88 89 90 93 95 96 100 101 102 106 107 113 116 117 118 124 125 127 128 134 141 142 145 147 149 150 154 157 160 161 168 172 176 186 188 193 196 198 201 202 203 211 214 220 221 226 227 228 229 232 236 237 243 245 249 254 256 257 263 270 271 272 273 277 279 284 287 288 292 301 306 307 315 316 317 321 322 327 330 331 332 336 338 341 345 349 353 355 359 360 362 363 364 369 370 385 390 a 3 7 9 11 12 13 14 16 19 21 24 27 29 32 33 40 41 46 50 57 60 64 70 71 78 81 82 84 88 89 90 93 95 100 101 102 106 107 113 116 117 118 124 125 127 128 134 141 142 145 147 149 150 154 157 160 161 168 172 176 186 188 193 196 198 201 202 203 211 214 220 221 226 227 228 229 232 236 237 243 245 249 254 256 257 263 270 271 272 273 277 279 284 287 288 292 301 306 307 315 316 317 321 322 327 330 331 332 336 338 341 345 349 353 355 359 360 362 363 364 369 370 385 390 a 3 7 9 11 12 13 14 19 21 24 27 29 32 33 40 41 46 50 57 60 64 70 71 78 81 82 84 88 89 90 93 95 100 101 102 106 107 113 116 117 118 124 125 127 128 134 137 141 142 145 147 149 150 154 157 160 161 168 172 176 186 188 193 196 198 201 202 203 211 214 220 221 226 227 228 229 232 236 237 243 245 249 254 256 257 263 270 271 272 273 277 279 284 287 288 292 301 306 307 315 316 317 321 322 327 330 331 332 336 338 341 345 349 353 355 359 360 362 363 364 369 370 385 390 a 3 7 9 11 12 13 14 19 21 24 27 29 32 33 40 41 46 48 50 57 64 70 71 78 81 82 84 88 89 90 93 95 100 101 102 106 107 113 116 117 118 124 125 127 128 134 137 141 142 145 147 149 150 154 157 160 161 168 172 176 186 188 193 196 198 201 202 203 211 214 220 221 226 227 228 229 232 236 237 243 245 249 254 256 257 263 270 271 272 273 277 279 284 287 288 292 301 306 307 315 316 317 321 322 327 330 331 332 336 338 341 345 349 353 355 359 360 362 363 364 369 370 385 390 a 3 7 9 11 12 13 14 19 21 24 27 29 32 33 40 41 46 48 50 57 64 70 71 78 81 82 84 88 89 90 93 95 100 101 102 106 107 113 116 117 118 124 125 127 128 133 134 137 141 142 145 147 149 150 154 157 160 161 168 172 176 186 188 193 196 198 201 202 203 211 214 220 221 226 227 228 229 236 237 243 245 249 254 256 257 263 270 271 272 273 277 279 284 287 288 292 301 306 307 315 316 317 321 322 327 330 331 332 336 338 341 345 349 353 355 359 360 362 363 364 369 370 385 390 a 3 7 9 11 12 13 14 19 21 24 27 29 32 33 40 41 46 48 50 57 64 70 71 78 81 82 84 88 89 90 93 95 100 101 102 106 107 113 116 117 118 124 125 127 128 133 134 137 141 142 145 147 149 150 154 157 160 161 168 172 176 186 188 193 196 198 201 202 203 211 214 220 221 226 227 228 229 236 237 243 245 254 256 257 263 270 271 272 273 277 279 284 287 288 292 301 306 307 315 316 317 321 322 327 330 331 332 336 338 341 345 349 353 355 356 359 360 362 363 364 369 370 385 390 a 3 7 9 11 12 13 14 19 21 24 27 29 32 33 40 41 46 48 50 57 64 70 71 78 81 82 84 88 89 90 93 95 100 101 102 106 107 113 116 117 118 124 125 127 128 133 134 137 141 142 145 147 149 150 154 157 160 161 168 172 176 184 186 188 193 196 198 201 202 203 211 214 220 221 226 227 228 229 236 237 245 254 256 257 263 270 271 272 273 277 279 284 287 288 292 301 306 307 315 316 317 321 322 327 330 331 332 336 338 341 345 349 353 355 356 359 360 362 363 364 369 370 385 390 a 3 7 9 11 12 13 14 19 21 24 27 29 32 33 40 41 46 48 50 57 64 70 71 78 81 82 84 88 89 90 93 95 100 101 102 106 107 113 116 117 118 125 127 128 133 134 137 141 142 145 147 149 150 154 157 160 161 168 172 176 184 186 188 193 196 198 201 202 203 211 214 220 221 226 227 228 229 236 237 245 254 256 257 263 270 271 272 273 277 279 284 287 288 292 301 306 307 315 316 317 321 322 327 330 331 332 336 338 341 345 349 353 355 356 357 359 360 362 363 364 369 370 385 390 a 3 7 9 11 12 13 14 19 21 24 27 29 32 33 40 41 46 48 50 57 64 70 71 78 81 82 84 88 89 90 93 95 100 101 102 106 107 113 116 117 118 121 125 127 128 133 134 137 141 142 145 147 149 150 154 157 160 161 168 172 176 184 186 188 193 196 198 201 202 203 211 214 220 221 226 227 228 229 236 237 245 254 256 257 263 270 271 272 273 277 284 287 288 292 301 306 307 315 316 317 321 322 327 330 331 332 336 338 341 345 349 353 355 356 357 359 360 362 363 364 369 370 385 390 a 3 7 9 11 12 13 14 19 21 24 27 29 32 33 40 41 46 48 50 57 64 70 71 78 81 82 84 88 89 90 93 95 100 101 102 106 107 113 116 117 118 121 125 127 128 133 134 137 139 141 142 145 147 149 150 154 157 160 161 168 172 176 184 186 188 193 196 198 201 202 203 211 214 220 221 226 227 228 229 236 237 245 254 256 257 263 270 271 272 273 277 284 287 288 292 301 306 307 315 316 317 322 327 330 331 332 336 338 341 345 349 353 355 356 357 359 360 362 363 364 369 370 385 390 a 3 7 9 11 12 13 14 19 21 24 27 29 32 33 40 41 46 48 50 57 64 70 78 81 82 84 88 89 90 93 95 100 101 102 106 107 113 116 117 118 121 125 127 128 133 134 137 139 141 142 145 147 149 150 154 157 160 161 168 172 176 184 186 188 193 196 198 201 202 203 211 214 220 221 222 226 227 228 229 236 237 245 254 256 257 263 270 271 272 273 277 284 287 288 292 301 306 307 315 316 317 322 327 330 331 332 336 338 341 345 349 353 355 356 357 359 360 362 363 364 369 370 385 390 a 3 7 9 11 12 13 14 19 21 24 27 29 32 33 40 41 46 48 50 57 64 70 78 81 82 84 88 89 90 93 95 100 101 102 106 107 113 116 117 118 121 125 127 128 133 134 137 139 141 142 145 147 149 150 154 157 160 161 168 172 176 184 186 188 193 196 198 201 202 203 211 214 220 221 222 226 227 228 229 236 237 245 254 256 257 263 270 271 273 277 284 287 288 292 301 306 307 315 316 317 322 327 330 331 332 336 338 341 345 349 353 355 356 357 359 360 362 363 364 369 370 380 385 390 a 3 7 9 11 12 14 19 21 24 27 29 32 33 40 41 46 48 50 57 64 70 78 81 82 84 88 89 90 93 95 100 101 102 106 107 113 116 117 118 121 125 127 128 133 134 137 139 141 142 145 147 149 150 154 157 160 161 168 172 176 184 186 188 193 196 198 201 202 203 211 214 220 221 222 226 227 228 229 236 237 245 254 256 257 263 270 271 273 277 284 287 288 292 301 306 307 312 315 316 317 322 327 330 331 332 336 338 341 345 349 353 355 356 357 359 360 362 363 364 369 370 380 385 390 a 3 7 9 11 12 19 21 24 27 29 32 33 40 41 46 48 50 57 64 70 78 81 82 84 88 89 90 93 95 100 101 102 106 107 113 116 117 118 121 125 127 128 133 134 137 139 141 142 145 147 149 150 154 157 160 161 168 172 176 184 186 188 193 196 198 201 202 203 211 214 220 221 222 226 227 228 229 236 237 245 254 256 257 263 270 271 273 277 284 287 288 292 301 306 307 312 315 316 317 322 327 330 331 332 336 338 341 343 345 349 353 355 356 357 359 360 362 363 364 369 370 380 385 390 a 3 7 9 11 12 19 21 24 27 29 32 33 40 41 46 48 57 64 70 78 81 82 84 88 89 90 93 95 100 101 102 106 107 113 116 117 118 121 125 127 128 133 134 137 139 141 142 145 147 149 150 154 157 160 161 168 172 176 184 186 188 193 196 198 201 202 203 211 214 220 221 222 226 227 228 229 236 237 245 254 256 257 263 270 271 273 277 284 287 288 292 301 306 307 312 315 316 317 322 327 330 331 332 336 338 341 343 345 349 353 355 356 357 359 360 362 363 364 369 370 379 380 385 390 a 3 7 11 12 19 21 24 27 29 32 33 40 41 46 48 57 64 70 78 81 82 84 88 89 90 93 95 100 101 102 106 107 113 116 117 118 121 125 127 128 133 134 137 139 141 142 145 147 149 150 154 157 160 161 168 172 176 184 186 188 193 196 198 201 202 203 211 214 220 221 222 226 227 228 229 236 237 245 254 256 257 263 270 271 273 277 284 287 288 292 301 306 307 312 315 316 317 322 327 330 331 332 336 338 341 343 344 345 349 353 355 356 357 359 360 362 363 364 369 370 379 380 385 390 a 3 7 11 12 19 21 24 27 29 32 33 40 41 46 48 57 64 70 78 81 82 84 88 89 90 93 95 100 101 102 106 107 113 116 117 118 121 125 127 128 133 134 137 139 141 145 147 149 150 154 157 160 161 168 172 176 184 186 188 193 196 198 201 202 203 211 214 220 221 222 226 227 228 229 233 236 237 245 254 256 257 263 270 271 273 277 284 287 288 292 301 306 307 312 315 316 317 322 327 330 331 332 336 338 341 343 344 345 349 353 355 356 357 359 360 362 363 364 369 370 379 380 385 390 a 3 7 11 12 19 21 24 27 29 32 33 40 41 46 48 57 64 70 78 81 82 84 88 89 90 93 95 100 101 102 105 106 107 113 116 117 118 121 125 127 128 133 134 137 139 141 145 147 149 150 154 157 160 161 168 172 184 186 188 193 196 198 201 202 203 211 214 220 221 222 226 227 228 229 233 236 237 245 254 256 257 263 270 271 273 277 284 287 288 292 301 306 307 312 315 316 317 322 327 330 331 332 336 338 341 343 344 345 349 353 355 356 357 359 360 362 363 364 369 370 379 380 385 390 a 3 7 11 19 21 24 27 29 32 33 40 41 46 48 57 64 70 78 81 82 84 88 89 90 93 95 100 101 102 105 106 107 113 116 117 118 121 125 127 128 133 134 137 139 141 145 147 149 150 154 157 160 161 168 172 184 186 188 193 196 198 201 202 203 211 214 220 221 222 226 227 228 229 233 236 237 245 246 254 256 257 263 270 271 273 277 284 287 288 292 301 306 307 312 315 316 317 322 327 330 331 332 336 338 341 343 344 345 349 353 355 356 357 359 360 362 363 364 369 370 379 380 385 390 a 3 7 11 19 21 24 27 29 32 33 41 46 48 57 64 70 78 81 82 84 88 89 90 93 94 95 100 101 102 105 106 107 113 116 117 118 121 125 127 128 133 134 137 139 141 145 147 149 150 154 157 160 161 168 172 184 186 188 193 196 198 201 202 203 211 214 220 221 222 226 227 228 229 233 236 237 245 246 254 256 257 263 270 271 273 277 284 287 288 292 301 306 307 312 315 316 317 322 327 330 331 332 336 338 341 343 344 345 349 353 355 356 357 359 360 362 363 364 369 370 379 380 385 390 a 3 7 11 19 21 24 27 29 32 33 41 46 48 57 64 70 78 81 82 84 88 89 90 93 94 95 100 101 102 105 106 107 113 116 117 118 121 125 128 133 134 137 139 141 145 147 149 150 154 157 160 161 168 172 184 186 188 193 196 198 201 202 203 211 214 220 221 222 226 227 228 229 233 236 237 245 246 248 254 256 257 263 270 271 273 277 284 287 288 292 301 306 307 312 315 316 317 322 327 330 331 332 336 338 341 343 344 345 349 353 355 356 357 359 360 362 363 364 369 370 379 380 385 390 a 3 7 11 19 21 24 27 29 32 33 41 46 48 57 64 70 73 78 81 82 84 88 89 90 93 94 95 100 102 105 106 107 113 116 117 118 121 125 128 133 134 137 139 141 145 147 149 150 154 157 160 161 168 172 184 186 188 193 196 198 201 202 203 211 214 220 221 222 226 227 228 229 233 236 237 245 246 248 254 256 257 263 270 271 273 277 284 287 288 292 301 306 307 312 315 316 317 322 327 330 331 332 336 338 341 343 344 345 349 353 355 356 357 359 360 362 363 364 369 370 379 380 385 390 a 3 7 11 19 21 24 27 29 32 33 41 46 48 57 64 70 73 77 78 82 84 88 89 90 93 94 95 100 102 105 106 107 113 116 117 118 121 125 128 133 134 137 139 141 145 147 149 150 154 157 160 161 168 172 184 186 188 193 196 198 201 202 203 211 214 220 221 222 226 227 228 229 233 236 237 245 246 248 254 256 257 263 270 271 273 277 284 287 288 292 301 306 307 312 315 316 317 322 327 330 331 332 336 338 341 343 344 345 349 353 355 356 357 359 360 362 363 364 369 370 379 380 385 390 a 7 11 19 21 24 27 29 32 33 41 46 48 57 64 70 73 77 78 82 84 88 89 90 93 94 95 100 102 105 106 107 113 116 117 118 121 125 128 133 134 137 139 141 145 147 149 150 154 157 160 161 168 172 184 186 188 193 196 198 201 202 203 211 214 220 221 222 226 227 228 229 233 236 237 245 246 248 254 256 257 263 270 271 273 277 284 287 288 292 301 306 307 312 315 316 317 322 327 330 331 332 336 338 341 343 344 345 349 353 355 356 357 359 360 362 363 364 365 369 370 379 380 385 390 a 7 11 19 21 24 27 29 32 33 41 46 48 57 64 70 73 77 78 82 84 88 89 90 93 94 95 100 102 105 106 107 113 116 117 118 121 125 128 133 134 137 139 141 145 147 149 150 154 157 160 161 168 172 182 184 186 188 196 198 201 202 203 211 214 220 221 222 226 227 228 229 233 236 237 245 246 248 254 256 257 263 270 271 273 277 284 287 288 292 301 306 307 312 315 316 317 322 327 330 331 332 336 338 341 343 344 345 349 353 355 356 357 359 360 362 363 364 365 369 370 379 380 385 390 a 7 11 19 21 24 27 29 32 33 41 46 48 57 64 70 73 77 82 84 88 89 90 93 94 95 100 102 105 106 107 113 116 117 118 121 125 128 133 134 137 139 141 145 147 149 150 154 157 160 161 163 168 172 182 184 186 188 196 198 201 202 203 211 214 220 221 222 226 227 228 229 233 236 237 245 246 248 254 256 257 263 270 271 273 277 284 287 288 292 301 306 307 312 315 316 317 322 327 330 331 332 336 338 341 343 344 345 349 353 355 356 357 359 360 362 363 364 365 369 370 379 380 385 390 a 7 11 19 21 24 27 29 32 33 41 46 48 57 64 70 73 77 82 84 88 89 93 94 95 100 102 105 106 107 108 113 116 117 118 121 125 128 133 134 137 139 141 145 147 149 150 154 157 160 161 163 168 172 182 184 186 188 196 198 201 202 203 211 214 220 221 222 226 227 228 229 233 236 237 245 246 248 254 256 257 263 270 271 273 277 284 287 288 292 301 306 307 312 315 316 317 322 327 330 331 332 336 338 341 343 344 345 349 353 355 356 357 359 360 362 363 364 365 369 370 379 380 385 390 a 7 11 19 24 27 29 32 33 41 46 48 57 64 69 70 73 77 82 84 88 89 93 94 95 100 102 105 106 107 108 113 116 117 118 121 125 128 133 134 137 139 141 145 147 149 150 154 157 160 161 163 168 172 182 184 186 188 196 198 201 202 203 211 214 220 221 222 226 227 228 229 233 236 237 245 246 248 254 256 257 263 270 271 273 277 284 287 288 292 301 306 307 312 315 316 317 322 327 330 331 332 336 338 341 343 344 345 349 353 355 356 357 359 360 362 363 364 365 369 370 379 380 385 390 a 7 11 19 24 27 29 32 33 41 46 48 57 64 69 70 73 77 82 84 88 89 93 94 95 100 102 105 106 107 108 113 116 117 118 121 125 128 133 134 137 139 141 145 147 149 150 154 157 160 163 168 172 182 184 186 188 196 198 201 202 203 211 214 220 221 222 226 227 228 229 233 236 237 245 246 248 254 256 257 263 270 271 273 277 284 287 288 292 301 305 306 307 312 315 316 317 322 327 330 331 332 336 338 341 343 344 345 349 353 355 356 357 359 360 362 363 364 365 369 370 379 380 385 390 a 7 11 19 24 27 29 32 33 41 46 48 57 64 69 73 77 82 84 88 89 93 94 95 100 102 105 106 107 108 113 116 117 118 121 125 128 133 134 135 137 139 141 145 147 149 150 154 157 160 163 168 172 182 184 186 188 196 198 201 202 203 211 214 220 221 222 226 227 228 229 233 236 237 245 246 248 254 256 257 263 270 271 273 277 284 287 288 292 301 305 306 307 312 315 316 317 322 327 330 331 332 336 338 341 343 344 345 349 353 355 356 357 359 360 362 363 364 365 369 370 379 380 385 390 a 7 11 19 24 27 29 32 33 41 46 48 57 64 69 73 77 82 84 88 89 93 94 95 100 102 105 107 108 113 116 117 118 121 125 128 133 134 135 137 139 141 145 147 149 150 154 157 160 163 168 172 182 184 186 188 196 198 201 202 203 211 214 220 221 222 226 227 228 229 233 236 237 245 246 248 254 256 257 258 263 270 271 273 277 284 287 288 292 301 305 306 307 312 315 316 317 322 327 330 331 332 336 338 341 343 344 345 349 353 355 356 357 359 360 362 363 364 365 369 370 379 380 385 390 a 7 11 19 24 27 29 32 33 41 46 48 57 64 69 73 77 82 84 88 89 93 94 95 100 102 105 107 108 113 116 117 118 121 123 125 128 133 134 135 137 139 141 145 147 150 154 157 160 163 168 172 182 184 186 188 196 198 201 202 203 211 214 220 221 222 226 227 228 229 233 236 237 245 246 248 254 256 257 258 263 270 271 273 277 284 287 288 292 301 305 306 307 312 315 316 317 322 327 330 331 332 336 338 341 343 344 345 349 353 355 356 357 359 360 362 363 364 365 369 370 379 380 385 390 a 7 11 19 24 27 29 32 33 41 46 48 57 64 69 73 77 82 84 88 89 93 94 95 100 102 105 107 108 113 116 117 118 121 123 125 128 133 134 135 137 139 141 145 147 150 154 157 160 163 168 172 179 182 184 186 188 196 198 201 202 203 211 214 220 221 222 226 227 228 229 233 236 237 245 246 248 254 256 257 258 263 270 271 273 284 287 288 292 301 305 306 307 312 315 316 317 322 327 330 331 332 336 338 341 343 344 345 349 353 355 356 357 359 360 362 363 364 365 369 370 379 380 385 390 a 7 11 19 24 27 29 32 33 41 46 48 57 64 69 73 77 82 84 88 89 93 94 95 100 102 105 107 108 113 116 117 118 121 123 125 128 133 134 135 137 139 140 141 145 147 150 154 157 160 163 168 172 179 182 184 186 188 196 198 201 202 203 211 214 220 221 222 226 227 228 229 233 236 237 245 246 248 254 256 257 258 263 270 271 273 284 287 288 292 301 305 306 307 312 315 316 317 327 330 331 332 336 338 341 343 344 345 349 353 355 356 357 359 360 362 363 364 365 369 370 379 380 385 390 a 7 11 19 24 27 29 32 33 41 46 48 57 64 69 73 77 82 84 88 89 93 94 95 100 102 105 107 108 113 116 117 118 121 123 125 128 133 134 135 137 139 140 141 145 147 150 154 157 160 163 168 172 179 182 184 186 188 196 198 201 202 203 211 214 220 221 222 226 228 229 233 236 237 245 246 248 254 256 257 258 263 269 270 271 273 284 287 288 292 301 305 306 307 312 315 316 317 327 330 331 332 336 338 341 343 344 345 349 353 355 356 357 359 360 362 363 364 365 369 370 379 380 385 390 a 7 11 19 22 24 27 29 32 33 41 46 48 57 64 69 73 77 82 84 88 89 93 94 95 100 102 105 107 108 113 116 117 118 121 123 125 128 133 134 135 137 139 140 141 145 147 150 154 157 163 168 172 179 182 184 186 188 196 198 201 202 203 211 214 220 221 222 226 228 229 233 236 237 245 246 248 254 256 257 258 263 269 270 271 273 284 287 288 292 301 305 306 307 312 315 316 317 327 330 331 332 336 338 341 343 344 345 349 353 355 356 357 359 360 362 363 364 365 369 370 379 380 385 390 a 7 11 19 22 24 27 29 32 33 41 46 48 57 64 69 73 77 82 84 88 89 93 94 95 100 102 105 107 108 113 116 117 118 121 123 125 128 133 134 135 137 139 140 141 145 147 150 154 163 168 172 179 182 184 186 188 196 198 201 202 203 211 214 220 221 222 226 228 229 233 236 237 245 246 248 254 256 257 258 263 269 270 271 273 284 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 332 336 338 341 343 344 345 349 353 355 356 357 359 360 362 363 364 365 369 370 379 380 385 390 a 7 11 19 22 24 29 32 33 41 46 48 51 57 64 69 73 77 82 84 88 89 93 94 95 100 102 105 107 108 113 116 117 118 121 123 125 128 133 134 135 137 139 140 141 145 147 150 154 163 168 172 179 182 184 186 188 196 198 201 202 203 211 214 220 221 222 226 228 229 233 236 237 245 246 248 254 256 257 258 263 269 270 271 273 284 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 332 336 338 341 343 344 345 349 353 355 356 357 359 360 362 363 364 365 369 370 379 380 385 390 a 7 11 19 22 24 29 32 33 41 46 48 51 57 61 64 69 73 77 82 84 88 89 93 94 95 100 102 105 107 108 113 116 117 118 121 123 125 128 133 134 135 137 139 140 141 145 147 150 154 163 168 172 179 182 184 186 188 196 198 201 202 203 211 214 220 221 222 226 228 229 233 236 237 245 246 248 254 256 257 258 263 269 270 271 273 284 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 332 336 338 341 343 344 345 349 353 355 356 357 360 362 363 364 365 369 370 379 380 385 390 a 7 11 19 22 24 29 32 33 41 46 48 51 57 61 64 69 73 77 82 84 88 89 93 94 95 100 102 105 107 108 113 116 117 118 121 123 125 128 133 134 135 137 139 140 141 145 147 150 154 163 168 172 179 182 184 186 188 196 198 201 202 203 211 214 220 221 222 226 228 229 233 236 237 245 246 248 254 256 257 258 263 269 270 271 273 284 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 336 338 341 343 344 345 349 353 355 356 357 360 362 363 364 365 369 370 376 379 380 385 390 a 6 7 11 19 22 24 29 32 33 41 46 48 51 57 61 64 69 73 77 82 84 88 89 93 94 95 100 102 105 107 108 113 116 117 118 121 123 125 128 133 134 135 137 139 140 141 145 147 150 154 163 168 172 179 182 184 186 188 196 198 201 202 203 211 214 220 221 222 226 228 229 233 236 237 245 246 248 254 256 257 258 263 269 270 271 284 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 336 338 341 343 344 345 349 353 355 356 357 360 362 363 364 365 369 370 376 379 380 385 390 a 6 7 11 19 22 24 29 32 33 41 46 48 51 57 61 64 69 73 77 82 84 89 93 94 95 100 102 105 107 108 113 116 117 118 121 123 125 128 133 134 135 137 139 140 141 145 147 150 154 163 168 172 179 182 184 186 188 196 198 201 202 203 211 214 220 221 222 226 228 229 233 236 237 245 246 248 254 256 257 258 263 269 270 271 284 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 336 338 341 343 344 345 349 353 355 356 357 360 362 363 364 365 368 369 370 376 379 380 385 390 a 6 7 11 19 22 24 29 32 33 41 46 48 51 57 61 69 73 77 82 84 89 93 94 95 100 102 105 107 108 110 113 116 117 118 121 123 125 128 133 134 135 137 139 140 141 145 147 150 154 163 168 172 179 182 184 186 188 196 198 201 202 203 211 214 220 221 222 226 228 229 233 236 237 245 246 248 254 256 257 258 263 269 270 271 284 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 336 338 341 343 344 345 349 353 355 356 357 360 362 363 364 365 368 369 370 376 379 380 385 390 a 6 7 11 19 22 24 29 32 33 41 46 48 51 54 57 61 69 73 77 82 84 89 93 94 95 100 102 105 107 108 110 113 116 117 118 121 123 125 128 133 134 135 137 139 140 141 145 147 150 154 163 168 172 179 182 184 186 188 196 198 201 202 203 211 214 220 221 222 226 228 229 233 236 237 245 246 248 254 256 257 258 263 269 270 271 284 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 336 338 341 343 344 345 349 353 356 357 360 362 363 364 365 368 369 370 376 379 380 385 390 a 6 7 11 19 22 24 29 32 33 41 46 48 51 54 57 61 69 73 77 82 84 89 93 94 95 100 102 105 107 108 110 113 116 117 118 121 123 125 128 133 134 135 137 139 140 141 145 147 150 154 163 168 172 179 182 184 186 188 196 198 201 202 203 211 214 220 221 222 226 228 229 233 236 237 245 246 248 254 256 257 258 263 269 270 271 284 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 336 338 341 343 344 345 348 349 356 357 360 362 363 364 365 368 369 370 376 379 380 385 390 a 6 7 11 19 22 24 29 32 33 41 46 48 51 54 57 61 69 73 77 82 84 89 93 94 95 100 102 105 107 108 110 113 116 117 118 121 123 125 128 133 134 135 137 139 140 141 145 147 150 154 163 168 172 179 182 184 186 188 196 201 202 203 211 214 220 221 222 226 228 229 233 236 237 245 246 248 254 256 257 258 263 269 270 271 284 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 336 338 341 343 344 345 348 349 356 357 360 362 363 364 365 368 369 370 372 376 379 380 385 390 c Step: 128 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance030_graph004.col /benchmark/random_instance/random_instance030_graph004_01.dat" User time (seconds): 547.17 System time (seconds): 6.27 Percent of CPU this job got: 151% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:05.30 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): 8027596 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 2732461 Voluntary context switches: 2039305 Involuntary context switches: 2487 Swaps: 0 File system inputs: 0 File system outputs: 808 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 03:01:50 2023]