#BEGIN: [Tue Sep 26 01:53:01 2023] #HOST: s03 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-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 --ulimit cpu=1800 -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 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 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 323 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 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 202 211 219 224 227 229 231 237 239 243 245 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 323 324 325 330 331 332 336 340 341 351 353 355 359 360 361 362 363 364 366 370 373 377 382 387 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 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 387 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 154 157 160 161 168 172 174 176 177 186 188 193 196 198 202 207 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 387 a 2 4 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 53 56 60 64 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 154 157 160 161 168 172 174 176 177 186 188 193 196 198 202 207 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 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 387 a 2 4 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 53 56 60 64 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 154 157 160 161 168 172 174 176 177 186 188 193 196 198 202 207 211 219 224 227 229 231 237 239 243 245 249 250 251 256 257 260 265 267 270 271 272 273 279 281 285 287 292 293 299 304 307 308 314 315 316 317 321 324 325 330 331 332 336 340 341 353 355 359 360 361 362 363 364 366 370 373 377 382 387 a 2 4 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 53 56 60 64 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 154 157 160 161 168 172 174 176 177 186 188 193 196 198 202 207 211 219 224 227 229 231 237 243 245 249 250 251 256 257 260 265 267 270 271 272 273 279 281 285 287 292 293 299 304 307 308 314 315 316 317 321 324 325 330 331 332 336 340 341 353 355 359 360 361 362 363 364 366 370 373 377 378 382 387 a 2 4 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 53 56 60 64 71 80 82 83 88 89 90 93 95 101 102 103 104 106 107 118 122 123 124 127 129 134 140 141 142 145 146 147 150 154 157 160 161 168 172 174 176 177 186 188 193 196 198 202 207 211 219 224 227 229 231 237 243 245 249 250 251 256 257 260 265 267 270 271 272 273 279 281 285 287 292 293 299 304 307 308 314 315 316 317 321 324 330 331 332 336 340 341 353 355 359 360 361 362 363 364 366 370 373 377 378 382 387 a 2 4 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 53 56 60 64 71 80 82 83 88 90 93 95 101 102 103 104 106 107 118 122 123 124 127 129 134 140 141 142 145 146 147 150 154 157 160 161 168 172 174 176 177 186 188 193 196 198 202 207 211 214 219 224 227 229 231 237 243 245 249 250 251 256 257 260 265 267 270 271 272 273 279 281 285 287 292 293 299 304 307 308 314 315 316 317 321 324 330 331 332 336 340 341 353 355 359 360 361 362 363 364 366 370 373 377 378 382 387 a 2 4 11 12 13 14 15 16 18 19 21 24 25 27 29 39 40 46 53 56 60 64 71 80 82 83 88 90 93 95 101 102 103 104 106 107 118 122 123 124 127 129 140 141 142 145 146 147 150 154 157 160 161 168 172 174 176 177 186 188 193 196 198 202 207 211 214 219 224 227 229 231 237 243 245 249 250 251 256 257 260 265 267 270 271 272 273 279 281 285 287 292 293 299 304 307 308 314 315 316 317 321 324 330 331 332 336 340 341 353 355 359 360 361 362 363 364 366 370 373 377 378 382 387 a 2 4 11 12 13 14 15 16 18 19 21 24 25 27 29 39 40 46 53 56 60 64 71 80 82 83 88 89 90 93 95 101 102 103 104 106 107 118 122 123 124 127 129 140 141 142 145 146 147 150 154 157 160 161 168 172 174 176 177 186 188 193 196 198 202 207 211 214 219 224 227 229 231 237 243 245 249 250 251 256 257 260 265 267 270 271 272 273 279 281 285 287 292 293 299 304 307 308 314 315 316 317 321 324 330 331 332 336 340 341 353 355 359 360 361 362 363 364 366 370 373 377 378 382 a 2 4 11 12 13 14 15 16 18 19 21 24 25 27 29 34 39 40 46 53 56 60 64 71 80 82 83 88 89 90 93 95 101 102 103 104 106 107 118 122 123 124 127 129 140 141 142 145 146 147 150 154 157 160 161 168 172 174 176 177 186 188 193 196 198 202 207 211 214 219 224 227 229 231 237 243 245 249 250 251 256 257 260 265 267 270 271 272 273 279 281 285 287 292 293 299 304 307 308 314 315 316 317 321 324 330 331 332 336 340 341 353 355 359 360 361 362 363 364 366 370 373 377 378 a 2 4 11 12 13 14 15 16 18 19 21 24 25 27 29 34 39 40 46 53 56 64 71 80 82 83 88 89 90 93 95 101 102 103 104 106 107 118 122 123 124 127 129 140 141 142 145 146 147 150 154 157 160 161 168 172 174 176 177 186 188 193 196 198 202 207 211 214 219 224 227 229 231 237 243 245 249 250 251 256 257 260 265 267 270 271 272 273 279 281 285 287 292 293 299 302 304 307 308 314 315 316 317 321 324 330 331 332 336 340 341 353 355 359 360 361 362 363 364 366 370 373 377 378 a 2 4 11 12 13 14 15 16 18 19 21 24 25 27 29 34 39 40 46 53 56 64 71 80 82 83 88 89 90 93 95 101 102 103 106 107 118 122 123 124 127 129 140 141 142 145 146 147 150 154 157 160 161 168 172 174 176 177 186 188 193 196 198 202 204 207 211 214 219 224 227 229 231 237 243 245 249 250 251 256 257 260 265 267 270 271 272 273 279 281 285 287 292 293 299 302 304 307 308 314 315 316 317 321 324 330 331 332 336 340 341 353 355 359 360 361 362 363 364 366 370 373 377 378 a 2 4 11 12 13 14 15 16 18 19 21 24 25 27 29 34 39 40 46 53 56 64 71 80 82 83 88 89 90 93 95 101 102 103 106 107 118 122 123 124 127 129 140 141 142 145 146 147 150 154 157 160 161 168 172 174 176 177 186 188 193 196 198 202 204 207 211 214 219 224 227 229 231 237 243 245 249 250 251 256 257 260 265 267 270 271 272 273 279 281 285 287 292 293 299 302 304 307 308 314 315 316 317 321 324 330 331 332 336 340 341 353 355 359 360 361 362 363 364 366 370 373 377 387 a 2 4 11 12 13 14 15 16 18 19 21 24 25 27 29 34 39 40 46 53 56 64 71 80 82 83 88 89 90 93 95 101 102 103 106 107 118 122 123 124 129 140 141 142 145 146 147 150 154 157 160 161 168 172 174 176 177 186 188 193 196 198 202 204 207 211 214 219 224 227 229 231 237 243 245 249 250 251 256 257 260 265 267 270 271 272 273 279 281 285 287 292 293 299 302 304 307 308 313 314 315 316 317 321 324 330 331 332 336 340 341 353 355 359 360 361 362 363 364 366 370 373 377 387 a 2 4 11 12 13 14 15 16 18 19 21 24 25 27 29 34 39 40 46 53 56 64 71 80 82 83 88 89 90 93 95 101 102 103 106 107 118 122 123 124 129 140 141 142 145 146 147 150 154 157 160 161 168 172 174 176 177 186 188 193 196 198 202 204 207 211 214 219 224 227 229 231 237 243 245 249 250 251 256 257 260 265 267 270 271 272 273 279 281 285 287 292 293 299 302 304 307 308 313 314 315 316 317 321 324 330 331 332 336 340 341 353 355 359 360 361 362 363 364 366 370 373 378 387 a 2 4 11 12 13 14 15 16 18 19 21 24 25 27 29 34 39 40 46 53 56 64 71 80 82 83 88 89 90 93 95 101 102 103 106 107 118 122 123 124 127 129 140 141 142 145 146 147 150 154 157 160 161 168 172 174 176 177 186 188 193 196 198 202 204 207 211 214 219 224 227 229 231 237 243 245 249 250 251 256 257 260 265 267 270 271 272 273 279 281 285 287 292 293 299 302 304 307 308 313 314 315 316 317 321 324 330 331 332 336 340 341 353 355 359 360 361 362 363 364 366 370 378 387 a 2 4 11 12 13 14 15 16 18 19 21 24 25 27 29 34 39 40 46 53 56 64 71 80 82 83 88 89 90 93 95 101 102 103 106 107 117 118 122 123 124 127 129 140 141 142 145 146 147 150 154 157 160 161 168 172 174 176 177 186 188 193 196 198 202 204 207 211 214 219 224 227 229 231 237 243 245 249 250 251 256 257 260 267 270 271 272 273 279 281 285 287 292 293 299 302 304 307 308 313 314 315 316 317 321 324 330 331 332 336 340 341 353 355 359 360 361 362 363 364 366 370 378 387 a 2 4 11 12 13 14 15 16 18 19 21 24 25 27 29 34 39 40 46 53 56 64 71 80 82 83 88 89 90 93 95 101 102 103 106 107 117 118 122 123 124 127 129 140 141 142 145 146 147 150 154 157 160 161 168 172 174 176 177 186 188 193 196 202 204 207 211 214 219 224 227 229 231 237 243 245 249 250 251 256 257 260 267 270 271 272 273 279 281 285 287 292 293 299 302 304 307 308 313 314 315 316 317 321 324 330 331 332 336 340 341 353 355 359 360 361 362 363 364 366 370 378 387 390 a 2 4 11 12 13 14 15 16 18 19 21 24 25 27 34 39 40 46 53 56 64 71 80 82 83 88 89 90 93 95 101 102 103 106 107 117 118 122 123 124 127 129 140 141 142 145 146 147 150 154 157 160 161 168 172 174 176 177 186 188 193 196 202 204 207 211 214 219 224 227 229 231 237 243 245 249 250 251 256 257 260 267 270 271 272 273 279 281 285 287 292 293 299 302 304 307 308 313 314 315 316 317 321 324 330 331 332 336 340 341 353 355 359 360 361 362 363 364 366 370 377 378 387 390 a 2 4 11 12 13 14 15 16 18 19 21 24 25 27 34 39 40 46 53 56 64 71 80 82 83 88 89 90 93 95 101 102 103 104 106 107 117 118 122 123 124 127 129 140 141 142 145 146 147 150 154 157 160 161 168 172 174 176 177 186 188 193 196 202 207 211 214 219 224 227 229 231 237 243 245 249 250 251 256 257 260 267 270 271 272 273 279 281 285 287 292 293 299 302 304 307 308 313 314 315 316 317 321 324 330 331 332 336 340 341 353 355 359 360 361 362 363 364 366 370 377 378 387 390 a 2 4 11 12 13 14 15 16 18 19 21 24 25 27 34 39 40 46 53 56 64 71 80 82 83 88 89 90 93 95 101 102 103 104 106 107 118 122 123 124 127 129 140 141 142 145 146 147 150 154 157 160 161 168 172 174 176 177 186 188 193 196 202 207 211 214 219 224 227 229 231 237 243 245 249 250 251 256 257 260 267 270 271 272 273 279 281 285 287 292 293 299 302 304 307 308 313 314 315 316 317 321 324 330 331 332 336 340 341 353 355 359 360 361 362 363 364 366 370 373 377 378 387 390 a 2 4 11 12 13 14 15 16 18 19 21 24 25 27 34 39 40 46 53 56 64 71 80 82 83 88 89 90 93 95 101 102 103 104 106 107 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 172 174 176 177 186 188 193 196 202 207 211 214 219 224 227 229 231 237 240 243 245 249 250 251 256 257 260 267 270 271 272 273 279 281 285 287 292 293 299 302 304 307 308 313 314 315 316 317 321 324 330 331 332 336 340 341 353 355 359 360 361 362 363 364 366 370 373 377 378 387 390 a 2 4 11 12 13 14 15 16 18 19 21 24 25 27 34 39 40 46 53 56 64 71 80 82 83 88 89 90 93 95 101 102 103 104 106 107 117 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 172 174 176 177 186 188 193 196 202 207 211 214 219 224 227 229 231 237 240 243 245 249 250 251 256 257 260 267 270 271 272 273 279 281 285 287 292 293 299 302 304 307 308 313 314 315 316 317 321 324 330 331 332 336 340 341 353 355 359 360 361 362 363 364 366 370 377 378 387 390 a 2 4 11 12 13 14 15 16 18 19 21 24 25 27 34 39 40 46 53 56 64 66 71 80 82 83 88 89 90 93 95 101 102 103 104 106 107 117 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 172 174 176 177 186 188 193 196 202 207 211 214 219 224 227 229 231 237 240 243 245 249 250 251 256 257 260 267 270 271 272 273 279 281 285 287 292 293 299 302 304 307 308 313 314 315 316 317 321 324 330 331 332 336 340 341 353 355 359 360 361 362 363 364 366 370 377 378 387 a 2 4 11 12 13 14 15 16 18 19 21 24 25 27 34 39 40 46 53 56 64 66 71 80 82 83 88 89 90 93 95 101 102 103 104 106 107 117 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 172 174 176 177 186 188 193 196 202 207 211 214 219 224 227 229 231 237 240 243 245 249 250 251 256 257 260 267 270 271 272 273 279 281 285 287 292 293 302 304 307 308 313 314 315 316 317 321 324 330 331 332 336 340 341 353 355 359 360 361 362 363 364 366 369 370 377 378 387 a 2 4 11 12 13 14 15 16 18 19 21 24 25 27 34 39 40 46 48 53 56 64 66 71 80 82 83 88 89 90 93 95 101 102 103 104 106 107 117 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 172 174 176 177 186 188 193 196 202 207 211 214 219 227 229 231 237 240 243 245 249 250 251 256 257 260 267 270 271 272 273 279 281 285 287 292 293 302 304 307 308 313 314 315 316 317 321 324 330 331 332 336 340 341 353 355 359 360 361 362 363 364 366 369 370 377 378 387 a 2 4 11 12 13 14 15 16 18 19 21 24 25 27 34 39 40 46 48 53 56 64 66 71 80 82 83 88 89 90 93 95 101 102 103 104 106 107 117 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 172 174 176 177 186 188 193 196 198 202 207 211 214 219 227 229 231 237 240 243 245 249 250 251 256 257 260 267 270 271 272 273 279 281 285 287 292 293 302 304 307 308 313 314 315 316 317 321 324 330 331 332 336 340 341 353 355 359 360 361 362 363 364 366 370 377 378 387 a 2 4 11 12 13 14 15 16 18 19 21 24 25 27 34 39 40 46 48 53 56 64 66 71 80 82 83 88 89 90 93 95 101 102 103 104 106 107 117 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 172 174 176 177 186 188 193 196 198 202 207 211 214 219 227 229 231 237 240 243 245 249 250 251 256 257 260 267 270 271 272 273 279 281 285 287 292 293 304 307 308 313 314 315 316 317 321 324 330 331 332 336 340 341 353 355 359 360 361 362 363 364 366 370 377 378 382 387 a 2 4 11 12 13 14 15 16 19 21 24 25 27 34 39 40 46 48 53 56 64 66 71 80 82 83 88 89 90 93 95 101 102 103 104 106 107 117 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 172 174 176 177 186 188 193 196 198 202 207 211 214 219 227 229 231 237 240 243 245 249 250 251 256 257 260 267 270 271 272 273 279 281 285 287 292 293 304 307 308 313 314 315 316 317 321 324 330 331 332 336 340 341 353 355 359 360 361 362 363 364 366 369 370 377 378 382 387 a 2 4 11 12 13 14 15 16 19 21 24 25 27 34 39 40 46 48 53 56 64 66 71 80 82 83 88 89 90 93 95 101 102 103 104 106 107 117 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 172 174 176 177 186 188 193 196 198 202 207 211 214 219 227 229 231 237 240 243 245 249 250 251 256 257 260 267 270 271 272 273 279 281 285 287 292 293 304 307 308 313 314 315 316 317 321 324 330 331 332 336 340 341 353 355 359 360 361 362 363 364 366 369 370 377 378 387 390 a 2 4 11 12 13 14 15 16 18 19 21 24 25 27 34 39 40 46 48 53 56 64 66 71 80 82 83 88 89 90 93 95 101 102 103 104 106 107 117 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 172 174 176 177 186 188 193 196 198 202 207 211 214 219 227 229 231 237 240 243 245 249 250 251 256 257 260 267 270 271 272 273 279 281 285 287 292 293 304 307 308 313 314 315 316 317 321 324 330 331 332 336 340 341 353 355 359 360 361 362 363 364 366 369 370 377 387 390 a 2 4 11 12 13 14 15 16 18 19 21 24 25 27 29 34 39 40 46 48 53 56 64 66 71 80 82 83 88 89 90 93 95 101 102 103 104 106 107 117 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 172 174 176 177 186 188 193 196 198 202 207 211 214 219 227 229 231 237 240 243 245 249 250 251 256 257 260 267 270 271 272 273 279 281 285 287 292 293 304 307 308 313 314 315 316 317 321 324 330 331 336 340 341 353 355 359 360 361 362 363 364 366 369 370 377 387 390 a 2 4 11 12 13 14 15 16 18 19 21 24 25 27 29 34 39 40 46 48 53 56 64 66 71 80 82 83 88 89 90 93 95 101 102 103 104 106 107 117 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 172 174 176 177 186 188 193 196 198 202 207 211 214 219 227 229 231 237 240 243 245 249 250 251 256 257 260 267 270 271 272 273 279 281 285 287 292 293 304 307 308 313 314 315 316 317 321 324 330 331 336 340 341 353 355 359 360 361 362 363 364 366 369 370 377 382 387 a 2 4 11 12 13 14 15 16 18 19 21 24 25 27 29 34 39 40 46 48 53 56 64 66 71 80 82 83 88 89 90 93 95 101 102 103 104 106 107 117 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 174 176 177 186 188 193 196 198 202 207 211 214 219 227 229 231 237 240 243 245 249 250 251 256 257 260 267 270 271 272 273 279 281 285 287 292 293 304 307 308 313 314 315 316 317 321 324 330 331 336 340 341 353 355 359 360 361 362 363 364 366 369 370 377 378 382 387 a 2 4 11 12 13 14 15 16 18 19 21 24 25 27 29 34 39 40 46 48 53 56 64 66 71 80 82 83 88 89 90 93 95 101 102 103 104 106 107 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 174 176 177 186 188 193 196 198 202 207 211 214 219 227 229 231 237 240 243 245 249 250 251 256 257 260 267 270 271 272 273 279 281 285 287 292 293 304 307 308 313 314 315 316 317 321 324 330 331 336 340 341 353 355 359 360 361 362 363 364 366 369 370 373 377 378 382 387 a 2 4 11 12 13 14 15 16 18 19 21 24 25 27 29 34 39 40 46 48 53 56 64 66 71 80 81 82 83 88 89 90 93 95 101 102 103 104 106 107 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 174 176 177 186 188 193 196 198 202 207 211 214 227 229 231 237 240 243 245 249 250 251 256 257 260 267 270 271 272 273 279 281 285 287 292 293 304 307 308 313 314 315 316 317 321 324 330 331 336 340 341 353 355 359 360 361 362 363 364 366 369 370 373 377 378 382 387 a 2 4 11 12 13 14 15 16 18 19 21 24 25 27 29 34 39 40 46 48 53 56 64 66 71 80 81 82 83 88 89 90 93 95 101 102 103 104 106 107 117 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 174 176 177 186 188 193 196 198 202 207 211 214 227 229 231 237 240 243 245 249 250 251 256 257 260 267 270 271 272 273 279 281 285 287 292 293 304 307 308 313 314 315 316 317 321 324 330 331 336 340 341 353 355 359 360 361 362 363 364 366 369 370 377 378 382 387 a 2 4 11 12 13 14 15 16 18 19 21 24 25 27 29 34 39 40 46 48 53 56 64 66 71 80 81 82 83 88 89 90 93 95 101 102 103 104 106 107 117 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 174 176 177 186 188 193 196 198 202 207 211 214 227 229 231 237 240 243 245 249 250 251 256 257 260 267 270 271 272 273 279 281 285 287 292 293 304 307 308 313 314 315 316 317 321 324 330 331 336 340 341 353 355 359 360 361 362 363 364 366 369 370 377 378 387 390 a 2 4 11 12 13 14 15 16 18 19 21 24 25 27 29 34 39 40 46 48 53 56 64 66 71 80 81 82 83 88 89 90 93 95 101 102 103 104 106 107 117 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 174 176 177 186 188 193 196 198 202 207 211 214 227 229 231 235 237 240 243 245 250 251 256 257 260 267 270 271 272 273 279 281 285 287 292 293 304 307 308 313 314 315 316 317 321 324 330 331 336 340 341 353 355 359 360 361 362 363 364 366 369 370 377 378 387 390 a 2 4 11 12 13 14 15 16 18 19 21 24 25 27 29 34 39 40 46 48 53 56 64 66 71 80 81 82 83 88 89 90 93 95 101 102 103 104 106 107 117 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 174 176 177 186 188 193 196 198 202 207 211 214 226 227 229 231 235 237 240 243 245 251 256 257 260 267 270 271 272 273 279 281 285 287 292 293 304 307 308 313 314 315 316 317 321 324 330 331 336 340 341 353 355 359 360 361 362 363 364 366 369 370 377 378 387 390 a 2 4 11 12 13 14 15 16 18 19 21 24 25 27 29 34 39 40 46 48 53 56 64 66 71 80 81 82 83 88 89 90 93 95 101 102 103 104 106 107 117 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 174 176 177 186 188 193 196 198 202 207 211 214 226 227 229 231 235 237 240 243 245 251 256 257 260 267 270 271 273 279 281 285 287 292 293 304 307 308 312 313 314 315 316 317 321 324 330 331 336 340 341 353 355 359 360 361 362 363 364 366 369 370 377 378 387 390 a 2 4 11 12 13 14 15 16 18 19 21 24 25 27 29 34 39 40 46 48 53 56 64 66 71 80 82 83 88 89 90 93 95 101 102 103 104 106 107 117 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 174 176 177 186 188 193 196 198 202 207 211 214 219 226 227 229 231 235 237 240 243 245 251 256 257 260 267 270 271 273 279 281 285 287 292 293 304 307 308 312 313 314 315 316 317 321 324 330 331 336 340 341 353 355 359 360 361 362 363 364 366 369 370 377 378 387 390 a 2 4 11 12 13 14 15 16 18 19 21 24 25 27 29 34 39 40 46 48 53 56 64 66 71 80 82 83 88 89 90 93 95 101 102 103 104 106 107 117 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 174 176 177 186 188 193 196 198 202 207 211 214 219 227 229 231 235 237 240 243 245 250 251 256 257 260 267 270 271 273 279 281 285 287 292 293 304 307 308 312 313 314 315 316 317 321 324 330 331 336 340 341 353 355 359 360 361 362 363 364 366 369 370 377 378 387 390 a 4 11 12 13 14 15 16 18 19 21 24 25 27 29 34 39 40 46 48 53 56 64 66 71 80 82 83 88 89 90 93 95 101 102 103 104 106 107 117 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 174 176 177 186 188 193 196 198 202 207 211 214 219 227 229 231 235 237 240 243 245 250 251 256 257 260 267 270 271 273 279 281 285 287 292 293 296 304 307 308 312 313 314 315 316 317 321 324 330 331 336 340 341 353 355 359 360 361 362 363 364 366 369 370 377 378 387 390 a 4 11 12 13 14 15 16 18 19 21 24 25 27 29 34 39 40 46 48 53 56 64 66 71 80 82 83 88 89 90 93 95 101 102 103 104 106 107 117 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 174 176 177 186 188 193 196 198 202 207 211 214 219 227 229 231 235 237 240 243 245 250 251 256 257 260 267 270 271 273 279 281 285 287 292 293 296 304 307 308 312 313 314 315 316 317 321 324 330 331 336 340 341 353 355 359 360 361 362 363 364 366 369 370 377 378 382 387 a 4 11 12 13 14 15 16 18 19 21 24 25 27 29 34 39 40 46 48 53 56 64 66 71 80 82 83 88 89 90 93 95 101 102 103 104 106 107 114 117 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 174 176 177 186 188 193 196 198 202 207 211 214 219 227 229 231 235 237 240 243 245 250 251 256 257 260 267 270 271 273 279 281 285 287 292 293 296 304 307 308 312 313 314 315 316 317 321 324 331 336 340 341 353 355 359 360 361 362 363 364 366 369 370 377 378 382 387 a 4 11 12 13 14 15 16 18 19 21 24 25 27 29 34 39 40 46 48 53 56 64 66 71 80 82 83 88 89 90 93 95 101 102 103 104 106 107 114 117 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 172 174 176 177 186 193 196 198 202 207 211 214 219 227 229 231 235 237 240 243 245 250 251 256 257 260 267 270 271 273 279 281 285 287 292 293 296 304 307 308 312 313 314 315 316 317 321 324 331 336 340 341 353 355 359 360 361 362 363 364 366 369 370 377 378 382 387 a 4 11 12 13 14 15 16 18 19 21 24 27 29 34 39 40 46 48 53 56 64 66 71 80 82 83 88 89 90 93 95 101 102 103 104 106 107 114 117 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 172 174 176 177 186 193 196 198 202 207 211 214 219 227 229 231 235 237 240 243 245 250 251 256 257 260 267 270 271 273 279 281 285 287 292 293 296 304 307 308 312 313 314 315 316 317 321 324 331 336 340 341 353 355 359 360 361 362 363 364 366 369 370 377 378 382 385 387 a 4 11 12 13 14 15 16 18 19 21 24 27 29 34 39 46 48 53 56 64 66 71 80 82 83 88 89 90 93 95 101 102 103 104 106 107 114 117 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 172 174 176 177 186 193 196 198 202 207 211 214 219 227 229 231 235 237 240 243 245 250 251 256 257 260 267 270 271 273 279 281 285 287 292 293 296 301 304 307 308 312 313 314 315 316 317 321 324 331 336 340 341 353 355 359 360 361 362 363 364 366 369 370 377 378 382 385 387 a 4 11 12 13 14 15 16 18 19 21 24 27 29 34 39 46 48 53 56 64 66 71 80 82 83 88 89 90 93 95 101 102 103 104 106 107 114 117 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 172 174 176 177 186 193 196 198 202 207 211 214 219 226 227 229 231 235 237 240 243 245 251 256 257 260 267 270 271 273 279 281 285 287 292 293 296 301 304 307 308 312 313 314 315 316 317 321 324 331 336 340 341 353 355 359 360 361 362 363 364 366 369 370 377 378 382 385 387 a 4 11 12 13 14 15 16 18 19 21 24 27 29 34 39 46 48 53 56 64 66 71 80 82 83 88 89 90 93 95 101 102 103 104 106 107 114 117 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 172 174 176 177 186 193 196 198 202 207 211 214 219 226 227 229 231 235 237 240 243 245 251 256 257 260 267 270 271 272 273 279 281 285 287 292 293 296 301 304 307 308 313 314 315 316 317 321 324 331 336 340 341 353 355 359 360 361 362 363 364 366 369 370 377 378 382 385 387 a 4 11 12 13 14 15 16 18 19 21 24 27 29 34 39 40 46 48 53 56 64 66 71 80 82 83 88 89 90 93 95 101 102 103 104 106 107 114 117 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 172 174 176 177 186 193 196 198 202 207 211 214 219 226 227 229 231 235 237 240 243 245 251 256 257 260 267 270 271 272 273 279 281 285 287 292 293 296 301 304 307 308 313 314 315 316 317 321 324 331 336 340 341 353 355 359 360 361 362 363 364 366 369 370 377 378 382 385 a 4 11 12 13 14 15 16 18 19 21 24 27 29 34 39 40 46 48 53 56 64 66 71 80 82 83 88 89 90 93 95 101 102 103 104 106 107 114 117 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 172 174 176 177 186 193 196 198 202 207 211 214 219 226 227 229 231 235 237 240 243 245 251 256 257 260 265 267 270 271 272 273 279 281 285 287 292 293 296 301 304 307 308 313 314 315 316 317 321 324 331 336 340 341 353 355 359 360 361 362 363 364 366 369 370 377 378 382 a 4 11 12 13 14 15 16 18 19 21 24 27 29 34 39 40 46 48 53 56 64 66 71 80 82 83 88 89 90 93 95 101 102 103 104 106 107 114 117 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 172 174 176 177 186 193 196 198 202 207 211 214 219 220 226 227 229 231 235 237 240 243 245 251 256 257 260 265 267 270 271 272 273 279 281 285 287 292 293 296 301 304 307 308 313 314 315 316 317 321 324 331 336 341 353 355 359 360 361 362 363 364 366 369 370 377 378 382 a 4 11 12 13 14 15 16 18 19 21 24 27 29 34 39 40 46 48 53 56 64 66 71 80 82 83 88 89 90 93 95 101 102 103 104 106 107 114 117 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 172 174 176 177 186 193 196 198 202 207 211 214 219 220 226 227 229 231 235 237 240 243 245 251 256 257 260 265 267 270 271 272 273 279 281 285 287 292 293 296 301 304 307 308 313 314 315 316 317 321 324 331 336 341 353 355 359 360 361 362 363 364 366 369 370 377 378 390 a 4 11 12 13 14 15 16 18 19 21 24 27 29 34 39 40 46 48 53 56 64 66 71 80 82 83 88 89 90 93 95 100 101 102 103 104 106 107 114 117 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 172 174 176 186 193 196 198 202 207 211 214 219 220 226 227 229 231 235 237 240 243 245 251 256 257 260 265 267 270 271 272 273 279 281 285 287 292 293 296 301 304 307 308 313 314 315 316 317 321 324 331 336 341 353 355 359 360 361 362 363 364 366 369 370 377 378 390 a 4 11 12 13 14 15 16 18 19 21 24 27 29 34 39 40 46 48 53 56 64 66 71 80 82 83 88 89 90 93 95 100 101 102 103 104 107 114 117 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 172 174 176 179 186 193 196 198 202 207 211 214 219 220 226 227 229 231 235 237 240 243 245 251 256 257 260 265 267 270 271 272 273 279 281 285 287 292 293 296 301 304 307 308 313 314 315 316 317 321 324 331 336 341 353 355 359 360 361 362 363 364 366 369 370 377 378 390 a 4 11 12 13 14 15 16 18 19 21 24 27 29 34 39 40 46 48 53 56 57 64 66 71 80 82 83 88 89 90 93 95 100 101 102 103 104 107 114 117 118 122 123 124 127 129 140 141 142 145 146 150 154 157 160 161 168 172 174 176 179 186 193 196 198 202 207 211 214 219 220 226 227 229 231 235 237 240 243 245 251 256 257 260 265 267 270 271 272 273 279 281 285 287 292 293 296 301 304 307 308 313 314 315 316 317 321 324 331 336 341 353 355 359 360 362 363 364 366 369 370 377 378 390 a 4 11 12 13 14 15 16 18 19 21 24 27 29 34 39 40 46 48 53 56 57 64 66 71 80 82 83 88 89 90 93 95 100 101 102 103 104 107 114 117 118 122 123 124 127 129 140 141 142 145 146 147 150 154 157 160 161 168 172 174 176 179 186 193 196 198 202 207 211 214 219 220 226 227 229 231 235 237 243 245 251 256 257 260 265 267 270 271 272 273 279 281 285 287 292 293 296 301 304 307 308 313 314 315 316 317 321 324 331 336 341 353 355 359 360 362 363 364 366 369 370 377 378 390 a 4 11 12 13 14 15 16 18 19 21 24 27 29 34 39 40 46 48 53 56 57 64 66 71 80 82 83 88 89 90 93 95 100 101 102 103 104 107 114 117 118 122 123 124 125 127 129 140 141 142 145 146 147 150 154 157 160 161 168 172 174 176 179 186 193 196 198 202 207 211 214 219 220 226 227 229 231 235 237 243 245 251 256 257 260 265 267 270 271 272 273 279 281 285 287 292 293 296 301 304 307 308 313 315 316 317 321 324 331 336 341 353 355 359 360 362 363 364 366 369 370 377 378 390 a 4 11 12 13 14 15 16 18 19 21 24 27 29 34 39 40 46 48 53 56 57 64 66 71 80 82 83 88 89 90 93 95 100 101 102 103 104 107 114 117 118 122 123 124 125 127 129 140 141 142 145 146 147 150 154 157 160 161 168 172 174 176 179 186 193 196 198 202 207 211 214 219 220 226 227 229 231 235 237 243 245 251 256 257 260 265 267 270 271 272 273 279 285 287 292 293 296 301 304 306 307 308 313 315 316 317 321 324 331 336 341 353 355 359 360 362 363 364 366 369 370 377 378 390 a 4 11 12 13 14 15 16 18 19 21 24 27 29 34 39 40 46 48 53 56 57 64 66 71 80 82 83 88 89 90 93 95 100 101 102 103 104 107 117 118 122 123 124 125 127 129 140 141 142 145 146 147 150 154 157 160 161 168 172 174 176 179 186 193 196 198 202 207 211 214 219 220 226 227 229 231 235 237 243 245 251 256 257 260 265 267 270 271 272 273 279 285 287 292 293 296 301 304 306 307 308 313 315 316 317 321 324 331 336 341 353 355 359 360 362 363 364 366 369 370 377 378 385 390 a 4 11 12 13 14 15 16 18 19 21 24 27 29 34 39 40 46 48 53 56 57 64 66 71 80 82 83 88 89 90 93 95 100 101 102 103 104 107 117 118 122 123 124 125 127 129 135 140 141 142 145 146 147 150 154 157 160 168 172 174 176 179 186 193 196 198 202 207 211 214 219 220 226 227 229 231 235 237 243 245 251 256 257 260 265 267 270 271 272 273 279 285 287 292 293 296 301 304 306 307 308 313 315 316 317 321 324 331 336 341 353 355 359 360 362 363 364 366 369 370 377 378 385 390 a 4 11 12 13 14 15 16 18 19 21 24 27 29 34 39 40 46 48 53 56 57 64 66 71 80 82 83 88 89 90 93 95 100 101 102 103 104 107 117 118 122 123 124 125 127 129 135 140 141 142 145 146 147 150 154 157 160 168 172 174 176 179 186 193 196 198 202 207 211 214 219 220 226 227 229 231 235 237 243 245 251 256 257 260 265 267 270 271 272 273 279 285 287 292 293 296 301 306 307 308 313 315 316 317 321 324 331 336 338 341 353 355 359 360 362 363 364 366 369 370 377 378 385 390 a 4 7 11 12 13 14 15 16 18 19 21 24 27 29 34 39 40 46 48 53 56 57 64 66 71 80 82 83 88 89 90 93 95 100 101 102 103 104 107 117 118 122 123 124 125 127 129 135 140 141 142 145 146 147 150 154 157 160 168 172 174 176 179 186 193 196 198 202 207 211 214 219 220 226 227 229 231 235 237 243 245 251 256 257 260 265 270 271 272 273 279 285 287 292 293 296 301 306 307 308 313 315 316 317 321 324 331 336 338 341 353 355 359 360 362 363 364 366 369 370 377 378 385 390 a 4 7 11 13 14 15 16 18 19 21 24 27 29 34 39 40 46 48 53 56 57 64 66 71 80 82 83 88 89 90 93 94 95 100 101 102 103 104 107 117 118 122 123 124 125 127 129 135 140 141 142 145 146 147 150 154 157 160 168 172 174 176 179 186 193 196 198 202 207 211 214 219 220 226 227 229 231 235 237 243 245 251 256 257 260 265 270 271 272 273 279 285 287 292 293 296 301 306 307 308 313 315 316 317 321 324 331 336 338 341 353 355 359 360 362 363 364 366 369 370 377 378 385 390 a 4 7 11 13 14 15 16 18 19 21 24 27 29 34 39 40 46 48 53 56 57 64 66 71 80 82 83 88 89 90 93 94 95 100 101 102 103 104 107 117 118 122 123 124 125 127 129 135 140 141 142 145 146 147 150 154 157 160 168 172 174 176 179 186 193 196 198 202 207 211 214 219 220 226 227 229 231 235 237 243 245 251 256 257 260 265 270 271 273 279 285 287 292 293 296 301 306 307 308 312 313 315 316 317 321 324 331 336 338 341 353 355 359 360 362 363 364 366 369 370 377 378 385 390 a 4 7 11 13 14 15 16 18 19 21 24 27 29 34 39 40 46 48 53 56 57 64 66 71 80 82 83 88 89 90 93 94 95 100 101 102 103 107 117 118 122 123 124 125 127 129 135 140 141 142 145 146 147 150 154 157 160 168 172 174 176 179 186 193 196 198 202 207 211 214 219 220 226 227 229 231 235 237 243 245 251 256 257 260 265 270 271 273 279 285 287 292 293 296 301 306 307 308 312 313 315 316 317 321 324 331 336 338 341 349 353 355 359 360 362 363 364 366 369 370 377 378 385 390 a 4 7 11 13 14 15 16 18 19 21 24 27 29 34 39 40 46 48 53 56 57 64 66 71 80 82 83 88 89 90 93 94 95 100 101 102 103 107 117 118 122 123 124 125 127 129 135 140 141 142 145 146 147 150 154 157 160 168 172 176 179 186 193 196 198 202 207 211 214 219 220 226 227 229 231 235 237 243 245 251 256 257 260 265 270 271 273 279 285 287 292 293 296 301 306 307 308 312 313 315 316 317 321 324 330 331 336 338 341 349 353 355 359 360 362 363 364 366 369 370 377 378 385 390 a 4 7 11 13 14 15 16 18 19 21 24 27 29 32 34 39 40 46 48 53 56 57 64 66 71 80 82 83 88 89 90 93 94 95 100 101 102 103 107 117 118 122 123 124 125 127 135 140 141 142 145 146 147 150 154 157 160 168 172 176 179 186 193 196 198 202 207 211 214 219 220 226 227 229 231 235 237 243 245 251 256 257 260 265 270 271 273 279 285 287 292 293 296 301 306 307 308 312 313 315 316 317 321 324 330 331 336 338 341 349 353 355 359 360 362 363 364 366 369 370 377 378 385 390 a 4 7 11 13 14 15 16 18 19 21 24 27 29 32 34 39 40 46 48 53 56 57 64 66 71 80 82 83 88 89 90 93 94 95 100 101 102 103 107 117 118 122 123 124 125 127 135 140 141 142 145 146 147 150 154 157 160 168 172 176 179 186 193 196 198 202 207 211 214 219 220 226 227 229 231 235 237 243 245 251 256 257 260 265 270 271 273 285 287 292 293 296 301 306 307 308 312 313 315 316 317 321 324 330 331 336 338 341 349 353 355 359 360 362 363 364 366 369 370 377 378 380 385 390 a 4 7 11 13 14 15 16 18 19 21 24 27 29 32 34 39 40 46 48 53 56 57 64 66 71 80 82 83 88 89 90 93 94 95 100 101 102 103 107 117 118 122 123 124 125 127 135 140 141 142 145 146 147 150 154 157 160 168 172 176 179 186 193 196 198 202 207 211 214 219 220 226 227 229 231 235 237 243 245 256 257 260 265 270 271 273 285 287 288 292 293 296 301 306 307 308 312 313 315 316 317 321 324 330 331 336 338 341 349 353 355 359 360 362 363 364 366 369 370 377 378 380 385 390 a 4 7 11 13 14 15 16 18 19 21 24 27 29 32 34 39 40 46 48 53 56 57 64 66 71 80 82 83 88 89 90 93 94 95 100 101 102 103 107 117 118 122 123 124 125 127 135 140 141 142 145 146 147 150 154 157 160 168 172 176 179 186 193 196 198 202 207 211 214 219 220 226 227 229 231 235 237 243 245 254 256 257 260 265 270 271 273 285 287 288 292 293 296 301 306 307 312 313 315 316 317 321 324 330 331 336 338 341 349 353 355 359 360 362 363 364 366 369 370 377 378 380 385 390 a 4 7 11 13 14 15 16 18 19 21 24 27 29 32 34 39 46 48 53 56 57 64 66 71 80 82 83 88 89 90 93 94 95 100 101 102 103 107 117 118 122 123 124 125 127 135 140 141 142 145 146 147 150 154 157 160 168 172 176 179 186 193 196 198 202 207 211 214 219 220 226 227 229 231 235 237 243 245 248 254 256 257 260 265 270 271 273 285 287 288 292 293 296 301 306 307 312 313 315 316 317 321 324 330 331 336 338 341 349 353 355 359 360 362 363 364 366 369 370 377 378 380 385 390 a 4 7 11 13 14 15 16 18 19 21 24 27 29 32 34 39 46 48 53 56 57 64 66 71 80 82 83 88 89 90 93 94 95 100 101 102 103 107 117 118 122 123 124 125 127 135 140 141 142 145 146 147 150 154 157 160 168 172 176 179 186 188 193 196 198 202 207 211 214 219 220 226 227 229 235 237 243 245 248 254 256 257 260 265 270 271 273 285 287 288 292 293 296 301 306 307 312 313 315 316 317 321 324 330 331 336 338 341 349 353 355 359 360 362 363 364 366 369 370 377 378 380 385 390 a 4 7 11 13 14 15 16 18 19 21 24 27 29 32 34 39 46 48 53 56 57 64 66 71 80 82 83 88 89 90 93 94 95 100 101 102 103 107 117 118 122 123 124 125 127 135 140 141 142 145 146 147 150 154 157 160 168 172 176 179 186 188 196 198 202 207 211 214 219 220 226 227 229 235 237 243 245 248 254 256 257 260 265 270 271 273 285 287 288 292 293 296 301 306 307 312 313 315 316 317 321 324 327 330 331 336 338 341 349 353 355 359 360 362 363 364 366 369 370 377 378 380 385 390 a 4 7 11 13 14 15 16 18 19 21 24 27 29 32 33 34 39 46 48 53 57 64 66 71 80 82 83 88 89 90 93 94 95 100 101 102 103 107 117 118 122 123 124 125 127 135 140 141 142 145 146 147 150 154 157 160 168 172 176 179 186 188 196 198 202 207 211 214 219 220 226 227 229 235 237 243 245 248 254 256 257 260 265 270 271 273 285 287 288 292 293 296 301 306 307 312 313 315 316 317 321 324 327 330 331 336 338 341 349 353 355 359 360 362 363 364 366 369 370 377 378 380 385 390 a 4 7 11 13 14 15 16 18 19 21 24 27 29 32 33 34 39 46 48 53 57 64 66 71 80 82 83 88 89 90 93 94 95 100 101 102 107 117 118 122 123 124 125 127 135 140 141 142 145 146 147 150 154 157 160 168 172 176 179 186 188 196 198 202 207 211 214 219 220 226 227 229 235 237 243 245 248 254 256 257 260 265 270 271 273 284 285 287 288 292 293 296 301 306 307 312 313 315 316 317 321 324 327 330 331 336 338 341 349 353 355 359 360 362 363 364 366 369 370 377 378 380 385 390 a 4 7 11 13 14 15 16 18 19 21 24 27 29 32 33 34 39 46 48 53 57 64 66 71 80 82 83 88 89 90 93 94 95 100 101 102 107 117 118 122 123 124 125 127 135 140 141 142 145 146 147 150 154 157 160 168 172 176 179 186 188 196 198 202 207 211 214 219 220 221 226 227 229 235 237 243 245 248 254 256 257 260 265 270 271 273 284 285 287 288 292 296 301 306 307 312 313 315 316 317 321 324 327 330 331 336 338 341 349 353 355 359 360 362 363 364 366 369 370 377 378 380 385 390 a 4 7 11 13 14 16 18 19 21 24 27 29 32 33 34 39 46 48 53 57 64 66 71 80 82 83 88 89 90 93 94 95 100 101 102 107 117 118 122 123 124 125 127 135 140 141 142 145 146 147 150 154 157 160 168 172 176 179 186 188 196 198 202 207 211 214 219 220 221 226 227 229 235 237 243 245 248 254 256 257 260 263 265 270 271 273 284 285 287 288 292 296 301 306 307 312 313 315 316 317 321 324 327 330 331 336 338 341 349 353 355 359 360 362 363 364 366 369 370 377 378 380 385 390 a 4 7 11 13 14 16 18 19 21 24 27 29 32 33 34 39 46 48 53 57 64 66 71 80 82 83 88 89 90 93 94 95 100 102 107 117 118 122 123 124 125 127 135 140 141 142 145 146 147 150 154 157 160 168 172 176 179 186 188 196 198 202 207 211 214 219 220 221 226 227 229 235 237 243 245 248 254 256 257 260 263 265 270 271 273 284 285 287 288 292 296 301 306 307 312 313 315 316 317 321 324 327 330 331 336 338 341 349 353 355 359 360 362 363 364 366 368 369 370 377 378 380 385 390 a 4 7 11 13 14 16 18 19 21 24 27 29 32 33 34 39 46 48 53 57 64 66 71 73 80 82 83 89 90 93 94 95 100 102 107 117 118 122 123 124 125 127 135 140 141 142 145 146 147 150 154 157 160 168 172 176 179 186 188 196 198 202 207 211 214 219 220 221 226 227 229 235 237 243 245 248 254 256 257 260 263 265 270 271 273 284 285 287 288 292 296 301 306 307 312 313 315 316 317 321 324 327 330 331 336 338 341 349 353 355 359 360 362 363 364 366 368 369 370 377 378 380 385 390 a 4 7 11 13 14 16 18 19 21 24 27 29 32 33 34 39 46 48 53 57 61 64 66 71 73 80 82 83 89 90 93 94 95 100 102 107 117 118 122 123 124 125 127 135 140 141 142 145 146 147 150 154 157 160 168 172 176 179 186 188 196 198 202 207 211 214 219 220 221 226 227 229 235 237 243 245 248 254 256 257 260 263 265 270 271 273 284 285 287 288 292 296 301 306 307 312 313 315 316 317 321 324 327 330 331 336 338 341 349 353 359 360 362 363 364 366 368 369 370 377 378 380 385 390 a 4 7 11 13 14 16 18 19 21 24 27 29 32 33 34 39 46 48 53 57 61 64 66 71 73 80 82 83 89 90 93 94 95 100 102 107 117 118 122 123 124 125 127 135 140 141 142 145 146 147 150 154 157 160 163 168 172 176 179 186 188 196 198 202 207 211 214 219 220 221 226 227 229 235 237 245 248 254 256 257 260 263 265 270 271 273 284 285 287 288 292 296 301 306 307 312 313 315 316 317 321 324 327 330 331 336 338 341 349 353 359 360 362 363 364 366 368 369 370 377 378 380 385 390 a 4 7 11 13 16 18 19 21 24 27 29 32 33 34 39 46 48 53 57 61 64 66 71 73 80 82 83 89 90 93 94 95 100 102 107 117 118 122 123 124 125 127 135 140 141 142 145 146 147 150 154 157 160 163 168 172 176 179 182 186 188 196 198 202 207 211 214 219 220 221 226 227 229 235 237 245 248 254 256 257 260 263 265 270 271 273 284 285 287 288 292 296 301 306 307 312 313 315 316 317 321 324 327 330 331 336 338 341 349 353 359 360 362 363 364 366 368 369 370 377 378 380 385 390 a 4 7 11 13 16 18 19 21 24 27 29 32 33 34 39 46 48 53 57 61 64 66 71 73 80 82 83 89 90 93 94 95 100 102 107 117 118 122 123 124 125 127 135 140 141 142 145 146 147 150 154 157 160 163 168 172 176 179 182 186 188 196 198 202 207 211 214 219 220 221 226 227 229 235 237 245 248 254 256 257 260 263 265 270 271 273 284 285 287 288 292 296 301 306 307 312 313 315 316 317 321 324 327 330 331 336 338 341 348 349 359 360 362 363 364 366 368 369 370 377 378 380 385 390 a 4 7 11 13 16 18 19 21 24 27 29 32 33 34 39 46 48 53 57 61 64 66 71 73 80 82 83 89 90 93 94 95 100 102 107 117 118 122 123 124 125 127 135 140 141 142 145 146 147 150 154 157 160 163 168 172 176 179 182 186 188 196 198 202 207 211 214 219 220 221 226 227 229 235 237 245 248 254 256 257 260 263 265 270 271 273 284 285 287 288 292 296 301 306 307 312 313 315 316 317 321 327 330 331 336 338 341 343 348 349 359 360 362 363 364 366 368 369 370 377 378 380 385 390 a 4 7 11 13 16 18 19 21 24 27 29 32 33 34 39 46 48 53 57 61 64 66 71 73 80 82 83 89 90 93 94 95 100 102 107 117 118 122 123 124 125 127 135 140 141 145 146 147 150 154 157 160 163 168 172 176 179 182 186 188 196 198 202 207 211 214 219 220 221 226 227 229 235 237 245 246 248 254 256 257 260 263 265 270 271 273 284 285 287 288 292 296 301 306 307 312 313 315 316 317 321 327 330 331 336 338 341 343 348 349 359 360 362 363 364 366 368 369 370 377 378 380 385 390 a 4 7 11 13 16 18 19 21 24 27 29 32 33 34 39 46 48 53 57 61 64 66 71 73 80 82 83 89 93 94 95 100 102 107 117 118 122 123 124 125 127 135 140 141 145 146 147 150 154 157 160 163 168 172 176 179 182 186 188 196 198 202 203 207 211 214 219 220 221 226 227 229 235 237 245 246 248 254 256 257 260 263 265 270 271 273 284 285 287 288 292 296 301 306 307 312 313 315 316 317 321 327 330 331 336 338 341 343 348 349 359 360 362 363 364 366 368 369 370 377 378 380 385 390 a 4 7 11 13 16 18 19 21 24 27 29 32 33 34 39 46 48 53 57 61 64 66 71 73 80 82 83 89 93 94 95 100 102 107 117 118 122 123 124 125 127 135 140 141 145 146 147 150 154 157 160 163 168 172 176 179 182 186 188 196 202 203 207 211 214 219 220 221 226 227 229 235 237 245 246 248 254 256 257 260 263 265 270 271 273 284 285 287 288 292 296 301 306 307 312 313 315 316 317 321 327 330 331 336 338 341 343 348 349 359 360 362 363 364 366 368 369 370 372 377 378 380 385 390 a 4 6 7 11 13 16 18 19 21 24 27 29 32 33 34 39 46 48 53 57 61 64 66 71 73 80 82 83 89 93 94 95 100 102 107 117 118 122 123 124 125 127 135 140 141 145 146 147 150 154 157 160 163 168 172 176 179 182 186 188 196 202 203 207 211 214 219 220 221 226 227 229 235 237 245 246 248 254 256 257 260 263 265 270 271 284 285 287 288 292 296 301 306 307 312 313 315 316 317 321 327 330 331 336 338 341 343 348 349 359 360 362 363 364 366 368 369 370 372 377 378 380 385 390 a 4 6 7 11 13 16 18 19 21 24 27 29 32 33 34 39 46 48 53 57 61 64 66 71 73 80 82 83 89 93 94 95 100 102 107 117 118 123 124 125 127 133 135 140 141 145 146 147 150 154 157 160 163 168 172 176 179 182 186 188 196 202 203 207 211 214 219 220 221 226 227 229 235 237 245 246 248 254 256 257 260 263 265 270 271 284 285 287 288 292 296 301 306 307 312 313 315 316 317 321 327 330 331 336 338 341 343 348 349 359 360 362 363 364 366 368 369 370 372 377 378 380 385 390 a 4 6 7 11 13 16 18 19 21 24 27 29 32 33 34 39 46 48 53 57 61 64 66 71 73 80 82 83 89 93 94 95 100 102 107 117 118 123 124 125 127 133 135 140 141 145 146 147 150 154 157 160 163 168 172 176 179 182 186 188 196 202 203 207 211 214 219 220 221 226 227 229 235 236 237 245 246 248 254 256 257 260 263 270 271 284 285 287 288 292 296 301 306 307 312 313 315 316 317 321 327 330 331 336 338 341 343 348 349 359 360 362 363 364 366 368 369 370 372 377 378 380 385 390 a 4 6 7 11 13 16 18 19 21 24 27 29 32 33 34 39 46 48 53 57 61 64 66 71 73 82 83 84 89 93 94 95 100 102 107 117 118 123 124 125 127 133 135 140 141 145 146 147 150 154 157 160 163 168 172 176 179 182 186 188 196 202 203 207 211 214 219 220 221 226 227 229 235 236 237 245 246 248 254 256 257 260 263 270 271 284 285 287 288 292 296 301 306 307 312 313 315 316 317 321 327 330 331 336 338 341 343 348 349 359 360 362 363 364 366 368 369 370 372 377 378 380 385 390 a 4 6 7 11 13 16 18 19 21 24 27 29 32 33 34 39 46 48 53 57 61 64 66 71 73 82 84 89 93 94 95 100 102 107 108 117 118 123 124 125 127 133 135 140 141 145 146 147 150 154 157 160 163 168 172 176 179 182 186 188 196 202 203 207 211 214 219 220 221 226 227 229 235 236 237 245 246 248 254 256 257 260 263 270 271 284 285 287 288 292 296 301 306 307 312 313 315 316 317 321 327 330 331 336 338 341 343 348 349 359 360 362 363 364 366 368 369 370 372 377 378 380 385 390 a 6 7 11 13 16 18 19 21 24 27 29 32 33 34 39 46 48 53 57 61 64 66 71 73 82 84 89 93 94 95 100 102 107 108 117 118 123 124 125 127 133 135 140 141 145 146 147 150 154 157 160 163 168 172 176 179 182 186 188 196 202 203 207 211 214 219 220 221 226 227 228 229 235 236 237 245 246 248 254 256 257 260 263 270 271 284 285 287 288 292 296 301 306 307 312 313 315 316 317 321 327 330 331 336 338 341 343 348 349 359 360 362 363 364 366 368 369 370 372 377 378 380 385 390 a 6 7 11 13 16 18 19 21 24 27 29 32 33 34 39 46 48 53 57 61 64 66 73 82 84 89 93 94 95 100 102 107 108 117 118 123 124 125 127 133 135 140 141 145 146 147 150 154 157 160 163 168 172 176 179 182 186 188 196 202 203 207 211 214 219 220 221 222 226 227 228 229 235 236 237 245 246 248 254 256 257 260 263 270 271 284 285 287 288 292 296 301 306 307 312 313 315 316 317 321 327 330 331 336 338 341 343 348 349 359 360 362 363 364 366 368 369 370 372 377 378 380 385 390 a 6 7 11 13 16 18 19 21 24 27 29 32 33 34 39 46 48 53 57 61 64 66 73 82 84 89 93 94 95 100 102 107 108 117 118 123 124 125 127 133 135 140 141 145 146 147 150 154 157 160 163 168 172 176 179 182 186 188 196 202 203 207 211 214 219 220 221 222 226 228 229 233 235 236 237 245 246 248 254 256 257 260 263 270 271 284 285 287 288 292 296 301 306 307 312 313 315 316 317 321 327 330 331 336 338 341 343 348 349 359 360 362 363 364 366 368 369 370 372 377 378 380 385 390 a 6 7 11 13 16 18 19 21 24 27 29 32 33 34 39 46 48 53 54 57 61 66 73 82 84 89 93 94 95 100 102 107 108 117 118 123 124 125 127 133 135 140 141 145 146 147 150 154 157 160 163 168 172 176 179 182 186 188 196 202 203 207 211 214 219 220 221 222 226 228 229 233 235 236 237 245 246 248 254 256 257 260 263 270 271 284 285 287 288 292 296 301 306 307 312 313 315 316 317 321 327 330 331 336 338 341 343 348 349 359 360 362 363 364 366 368 369 370 372 377 378 380 385 390 a 6 7 11 13 16 18 19 21 24 27 29 32 33 34 39 46 48 53 54 57 61 73 82 84 89 93 94 95 100 102 107 108 110 117 118 123 124 125 127 133 135 140 141 145 146 147 150 154 157 160 163 168 172 176 179 182 186 188 196 202 203 207 211 214 219 220 221 222 226 228 229 233 235 236 237 245 246 248 254 256 257 260 263 270 271 284 285 287 288 292 296 301 306 307 312 313 315 316 317 321 327 330 331 336 338 341 343 348 349 359 360 362 363 364 366 368 369 370 372 377 378 380 385 390 a 6 7 11 13 16 18 19 21 24 27 29 32 33 34 39 46 48 54 57 61 73 82 84 89 93 94 95 100 102 107 108 110 117 118 123 124 125 127 133 135 140 141 145 146 147 150 154 157 160 163 168 172 176 179 182 186 188 196 202 203 207 211 214 219 220 221 222 226 228 229 233 235 236 237 245 246 248 254 256 257 260 263 270 271 284 285 287 288 292 296 301 306 307 312 313 315 316 317 321 327 330 331 336 338 341 343 348 349 359 360 362 363 364 365 366 368 369 370 372 377 378 380 385 390 a 6 7 11 13 16 18 19 21 24 27 29 32 33 34 39 46 48 54 57 61 73 82 84 89 93 94 95 100 102 107 108 110 117 118 123 124 125 127 133 135 140 141 145 146 147 150 154 157 160 163 168 172 176 179 182 186 188 196 202 203 207 211 214 219 220 221 222 226 228 229 233 235 236 237 245 246 248 254 256 257 260 263 270 271 284 285 287 288 292 296 301 306 307 312 315 316 317 321 327 330 331 336 338 341 343 348 349 359 360 362 363 364 365 366 368 369 370 372 377 378 379 380 385 390 a 6 7 11 13 16 18 19 21 24 27 29 32 33 34 39 41 46 48 54 57 61 73 82 84 89 93 94 95 100 102 107 108 110 117 118 123 124 125 127 133 135 140 141 145 146 147 150 154 157 160 163 168 172 176 179 182 186 188 196 202 203 207 211 214 219 220 221 222 226 228 229 233 235 236 237 245 246 248 254 256 257 263 270 271 284 285 287 288 292 296 301 306 307 312 315 316 317 321 327 330 331 336 338 341 343 348 349 359 360 362 363 364 365 366 368 369 370 372 377 378 379 380 385 390 a 6 7 11 16 18 19 21 24 27 29 32 33 34 39 41 46 48 54 57 61 73 77 82 84 89 93 94 95 100 102 107 108 110 117 118 123 124 125 127 133 135 140 141 145 146 147 150 154 157 160 163 168 172 176 179 182 186 188 196 202 203 207 211 214 219 220 221 222 226 228 229 233 235 236 237 245 246 248 254 256 257 263 270 271 284 285 287 288 292 296 301 306 307 312 315 316 317 321 327 330 331 336 338 341 343 348 349 359 360 362 363 364 365 366 368 369 370 372 377 378 379 380 385 390 a 6 7 11 16 18 19 24 27 29 32 33 34 39 41 46 48 54 57 61 73 77 82 84 89 93 94 95 100 102 107 108 110 117 118 123 124 125 127 133 135 140 141 145 146 147 150 154 157 160 163 168 172 176 179 182 186 188 196 202 203 207 211 214 219 220 221 222 226 228 229 233 235 236 237 245 246 248 254 256 257 263 270 271 284 285 287 288 292 296 301 305 306 307 312 315 316 317 321 327 330 331 336 338 341 343 348 349 359 360 362 363 364 365 366 368 369 370 372 377 378 379 380 385 390 a 6 7 11 16 18 19 24 27 29 32 33 34 39 41 46 48 54 57 61 69 73 77 82 84 89 93 94 95 100 102 107 108 110 117 118 123 124 125 133 135 140 141 145 146 147 150 154 157 160 163 168 172 176 179 182 186 188 196 202 203 207 211 214 219 220 221 222 226 228 229 233 235 236 237 245 246 248 254 256 257 263 270 271 284 285 287 288 292 296 301 305 306 307 312 315 316 317 321 327 330 331 336 338 341 343 348 349 359 360 362 363 364 365 366 368 369 370 372 377 378 379 380 385 390 a 6 7 11 16 19 24 27 29 32 33 34 39 41 46 48 54 57 61 69 73 77 82 84 89 93 94 95 100 102 107 108 110 117 118 123 124 125 133 135 140 141 145 146 147 150 154 157 160 163 168 172 176 179 182 186 188 196 202 203 207 211 214 219 220 221 222 226 228 229 233 235 236 237 245 246 248 254 256 257 263 270 271 284 285 287 288 292 296 301 305 306 307 312 315 316 317 321 327 330 331 336 338 341 343 344 348 349 359 360 362 363 364 365 366 368 369 370 372 377 378 379 380 385 390 a 6 7 11 16 19 24 27 29 32 33 34 39 41 46 48 54 57 61 69 73 77 82 84 89 93 94 95 100 102 107 108 110 117 118 123 124 125 133 134 135 140 141 145 146 147 150 154 157 160 163 168 172 176 179 182 186 188 196 202 203 207 211 214 219 220 221 222 226 228 229 233 235 236 237 245 246 248 254 256 257 263 270 271 284 285 287 288 292 296 301 305 306 307 312 315 316 317 327 330 331 336 338 341 343 344 348 349 359 360 362 363 364 365 366 368 369 370 372 377 378 379 380 385 390 a 6 7 11 16 19 24 27 29 32 33 34 39 41 46 48 54 57 61 69 73 77 82 84 89 93 94 95 100 102 107 108 110 117 118 123 125 133 134 135 139 140 141 145 146 147 150 154 157 160 163 168 172 176 179 182 186 188 196 202 203 207 211 214 219 220 221 222 226 228 229 233 235 236 237 245 246 248 254 256 257 263 270 271 284 285 287 288 292 296 301 305 306 307 312 315 316 317 327 330 331 336 338 341 343 344 348 349 359 360 362 363 364 365 366 368 369 370 372 377 378 379 380 385 390 a 6 7 11 16 19 24 27 29 32 33 34 39 41 46 48 54 57 61 69 73 77 82 84 89 93 94 95 100 102 107 108 110 117 118 123 125 133 134 135 139 140 141 145 146 147 150 154 157 160 163 168 172 176 179 182 186 188 196 202 203 207 211 214 219 220 221 222 226 228 229 233 235 236 237 245 246 248 254 256 257 263 270 271 284 285 287 288 292 296 301 305 306 307 312 315 316 317 327 330 331 336 338 341 343 344 348 349 357 359 360 362 363 364 365 366 368 369 370 372 378 379 380 385 390 a 6 7 11 16 19 24 27 29 32 33 34 39 41 46 48 54 57 61 69 73 77 82 84 89 93 94 95 100 102 107 108 110 117 118 123 125 133 134 135 139 140 141 145 146 147 150 154 157 160 163 168 172 176 179 182 186 188 196 202 203 207 211 214 219 220 221 222 226 228 229 233 235 236 237 245 246 248 254 256 257 263 270 271 284 285 287 288 292 296 301 305 306 307 312 315 316 317 327 330 331 336 338 341 343 344 348 349 357 360 362 363 364 365 366 368 369 370 372 376 378 379 380 385 390 a 6 7 11 16 19 24 27 29 32 33 34 39 41 46 48 54 57 61 69 73 77 82 84 89 93 94 95 100 102 107 108 110 117 118 123 125 128 133 134 135 139 140 141 145 146 147 150 154 157 160 163 168 172 176 179 182 186 188 196 202 203 207 211 214 219 220 221 222 226 228 229 233 235 236 237 245 246 248 254 256 257 263 270 271 284 287 288 292 296 301 305 306 307 312 315 316 317 327 330 331 336 338 341 343 344 348 349 357 360 362 363 364 365 366 368 369 370 372 376 378 379 380 385 390 a 6 7 11 16 19 24 27 29 32 33 34 39 41 46 48 54 57 61 69 73 77 82 84 89 93 94 95 100 102 107 108 110 117 118 121 123 125 128 133 134 135 139 140 141 145 146 147 150 154 157 160 163 168 172 176 179 182 186 188 196 202 203 207 211 214 219 220 221 222 226 228 229 233 235 236 237 245 246 248 254 256 257 263 270 271 284 287 288 292 296 301 305 306 307 312 315 316 317 327 330 331 336 338 341 343 344 348 349 357 360 362 363 364 365 368 369 370 372 376 378 379 380 385 390 a 6 7 11 16 19 24 29 32 33 34 39 41 46 48 51 54 57 61 69 73 77 82 84 89 93 94 95 100 102 107 108 110 117 118 121 123 125 128 133 134 135 139 140 141 145 146 147 150 154 157 160 163 168 172 176 179 182 186 188 196 202 203 207 211 214 219 220 221 222 226 228 229 233 235 236 237 245 246 248 254 256 257 263 270 271 284 287 288 292 296 301 305 306 307 312 315 316 317 327 330 331 336 338 341 343 344 348 349 357 360 362 363 364 365 368 369 370 372 376 378 379 380 385 390 a 6 7 11 19 24 29 32 33 34 39 41 46 48 51 54 57 61 69 73 77 82 84 89 93 94 95 100 102 107 108 110 117 118 121 123 125 128 133 134 135 139 140 141 145 146 147 150 154 157 160 163 168 172 176 179 182 186 188 196 202 203 207 211 214 219 220 221 222 226 228 229 233 235 236 237 245 246 248 254 256 257 258 263 270 271 284 287 288 292 296 301 305 306 307 312 315 316 317 327 330 331 336 338 341 343 344 348 349 357 360 362 363 364 365 368 369 370 372 376 378 379 380 385 390 a 6 7 11 19 24 29 32 33 34 39 41 46 48 51 54 57 61 69 73 77 82 84 89 93 94 95 100 102 107 108 110 117 118 121 123 125 128 133 134 135 137 139 140 141 145 147 150 154 157 160 163 168 172 176 179 182 186 188 196 202 203 207 211 214 219 220 221 222 226 228 229 233 235 236 237 245 246 248 254 256 257 258 263 270 271 284 287 288 292 296 301 305 306 307 312 315 316 317 327 330 331 336 338 341 343 344 348 349 357 360 362 363 364 365 368 369 370 372 376 378 379 380 385 390 a 6 7 11 19 24 29 32 33 34 39 41 46 48 51 54 57 61 69 73 77 82 84 89 93 94 95 100 102 107 108 110 117 118 121 123 125 128 133 134 135 137 139 140 141 145 147 150 154 157 160 163 168 172 176 179 182 184 186 188 196 202 203 207 211 214 220 221 222 226 228 229 233 235 236 237 245 246 248 254 256 257 258 263 270 271 284 287 288 292 296 301 305 306 307 312 315 316 317 327 330 331 336 338 341 343 344 348 349 357 360 362 363 364 365 368 369 370 372 376 378 379 380 385 390 a 6 7 11 19 24 29 32 33 34 41 46 48 51 54 57 61 69 73 77 82 84 89 93 94 95 100 102 107 108 110 117 118 121 123 125 128 133 134 135 137 139 140 141 145 147 150 154 157 160 163 168 172 176 179 182 184 186 188 196 202 203 207 211 214 220 221 222 226 228 229 233 235 236 237 245 246 248 254 256 257 258 263 270 271 284 287 288 292 296 301 305 306 307 312 315 316 317 327 330 331 336 338 341 343 344 348 349 356 357 360 362 363 364 365 368 369 370 372 376 378 379 380 385 390 a 6 7 11 19 24 29 32 33 34 41 46 48 51 54 57 61 69 73 77 82 84 89 93 94 95 100 102 105 107 108 110 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 202 203 207 211 214 220 221 222 226 228 229 233 235 236 237 245 246 248 254 256 257 258 263 270 271 284 287 288 292 296 301 305 306 307 312 315 316 317 327 330 331 336 338 341 343 344 348 349 356 357 360 362 363 364 365 368 369 370 372 376 378 379 380 385 390 a 6 7 11 19 24 29 32 33 34 41 46 48 51 54 57 61 69 73 77 82 84 89 93 94 95 100 102 105 107 108 110 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 202 203 207 211 214 220 221 222 226 228 229 233 235 236 237 245 246 248 254 256 257 258 263 270 271 284 287 288 292 296 301 305 306 307 312 315 316 317 327 330 331 336 338 341 343 344 348 349 356 357 360 362 363 364 365 368 369 370 372 376 379 380 385 390 a 6 7 11 19 24 29 32 33 34 41 46 48 51 54 57 61 69 73 77 82 84 89 93 94 95 100 102 105 107 108 110 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 202 203 207 211 214 220 221 222 226 228 229 233 235 236 237 245 246 248 254 256 257 258 263 269 270 271 284 287 288 292 301 305 306 307 312 315 316 317 327 330 331 336 338 341 343 344 348 349 356 357 360 362 363 364 365 368 369 370 372 376 379 380 385 390 a 6 7 11 19 24 29 32 33 34 41 46 48 51 54 57 61 69 73 77 82 84 89 93 94 95 100 102 105 107 108 110 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 202 203 211 214 220 221 222 226 228 229 233 235 236 237 245 246 248 254 256 257 258 263 269 270 271 284 287 288 292 301 305 306 307 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 a 6 7 11 19 24 29 32 33 34 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 157 160 163 168 172 179 182 184 186 188 196 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 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 a 6 7 11 19 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 157 160 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 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 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 157 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 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 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): 541.22 System time (seconds): 8.05 Percent of CPU this job got: 150% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:04.68 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): 7895196 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 2682438 Voluntary context switches: 2395625 Involuntary context switches: 2305 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 01:59:06 2023]