#BEGIN: [Mon Sep 4 12:14:37 2023] #HOST: s16 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance028_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance028_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_instance028_graph004.col /benchmark/random_instance/random_instance028_graph004_01.dat c /benchmark/random_instance/random_instance028_graph004.col c /benchmark/random_instance/random_instance028_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.000 seconds s 161 319 43 5 117 234 12 175 31 100 164 296 142 238 340 349 2 294 310 324 178 239 351 34 18 222 254 112 213 285 304 193 85 15 60 38 11 169 84 52 40 45 176 16 50 201 195 329 292 99 251 57 107 293 230 203 330 160 158 184 7 248 89 308 233 20 39 354 350 51 147 199 263 321 202 122 59 41 97 232 311 277 279 257 259 361 28 252 295 121 33 348 153 131 211 358 241 146 282 124 172 101 187 177 333 205 339 118 86 24 288 156 109 137 276 73 140 353 t 327 297 191 254 175 114 227 3 301 315 258 255 178 201 65 228 128 322 212 352 340 23 2 230 139 267 74 193 40 214 337 323 353 169 143 262 194 341 317 11 4 126 362 158 67 259 25 132 76 9 294 148 309 20 152 149 101 112 239 22 242 361 147 220 266 305 44 7 216 90 347 86 55 351 98 293 211 355 95 5 92 141 270 335 283 346 97 295 265 324 137 24 288 156 249 57 229 308 1 184 313 363 50 318 180 21 359 78 248 330 299 171 47 174 269 279 59 213 a YES a 2 5 7 11 12 15 16 18 20 24 28 31 33 34 38 39 40 41 43 45 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 222 230 232 233 234 238 239 241 248 251 252 254 257 259 263 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 319 321 324 329 330 333 339 340 348 349 350 351 353 354 358 361 a 2 5 7 11 12 15 16 18 20 24 28 31 33 34 38 39 40 41 43 45 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 199 200 201 202 203 205 211 213 222 230 232 233 234 238 239 241 248 251 252 254 257 259 263 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 321 324 329 330 333 339 340 348 349 350 351 353 354 358 361 a 2 5 7 11 12 15 16 18 20 24 28 31 33 34 38 39 40 41 43 45 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 199 200 201 203 205 211 213 222 230 232 233 234 238 239 241 248 251 252 254 257 259 263 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 321 324 329 330 333 339 340 348 349 350 351 353 354 358 361 364 a 2 5 7 11 12 15 16 18 20 24 28 31 33 34 38 39 40 41 43 45 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 199 200 201 203 205 211 213 222 230 232 233 234 237 238 239 241 248 251 252 254 257 259 263 277 279 282 285 288 292 293 294 295 296 304 308 310 311 321 324 329 330 333 339 340 348 349 350 351 353 354 358 361 364 a 2 5 7 11 12 15 16 18 20 24 28 31 33 34 38 39 40 41 43 45 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 161 164 169 172 175 176 177 178 183 184 187 193 195 199 200 201 203 205 211 213 222 230 232 233 234 237 238 239 241 248 251 252 254 257 259 263 277 279 282 285 288 292 293 294 295 296 304 308 310 311 321 324 329 330 333 339 340 348 349 350 351 353 354 358 364 a 2 5 7 11 12 15 16 18 20 24 28 33 34 38 39 40 41 43 45 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 161 164 169 172 175 176 177 178 183 184 187 193 195 199 200 201 203 205 211 213 222 230 232 233 234 237 238 239 241 248 251 252 254 257 259 262 263 277 279 282 285 288 292 293 294 295 296 304 308 310 311 321 324 329 330 333 339 340 348 349 350 351 353 354 358 364 a 2 5 7 11 12 15 16 18 20 24 28 33 34 38 39 40 41 43 45 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 169 172 175 176 177 178 183 184 187 193 195 199 200 201 203 205 211 213 222 230 232 233 234 237 238 239 241 248 251 252 254 257 259 262 263 277 279 282 285 288 292 293 294 295 296 304 308 310 311 321 324 329 330 333 339 340 348 349 350 351 353 354 356 358 364 a 2 5 7 11 12 15 16 18 20 24 28 33 34 38 39 40 41 43 45 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 169 172 175 176 177 178 183 184 187 193 195 199 200 201 202 203 205 211 213 222 230 232 233 234 237 238 239 241 248 251 252 254 257 259 262 263 277 279 282 285 288 292 293 294 295 296 304 308 310 311 321 324 329 330 333 339 340 348 349 350 351 353 354 356 358 a 2 5 7 11 12 15 16 18 20 24 28 33 34 38 39 40 41 43 45 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 169 172 175 176 177 178 183 184 187 193 195 199 200 201 202 203 205 211 213 222 230 232 234 237 238 239 241 248 251 252 254 257 259 262 263 277 279 282 285 288 292 293 294 295 296 304 308 310 311 321 324 329 330 332 333 339 340 348 349 350 351 353 354 356 358 a 2 5 7 11 12 15 16 18 20 24 28 33 34 38 39 40 41 43 45 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 169 172 175 176 177 178 183 184 187 193 195 199 200 201 202 203 205 211 213 222 230 232 234 237 238 239 241 248 251 252 254 257 259 262 263 270 277 279 282 285 288 292 293 294 295 296 304 308 310 311 321 324 329 330 332 333 339 340 348 349 350 351 353 354 356 a 5 7 11 12 15 16 18 20 24 28 33 34 38 39 40 41 43 45 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 169 172 175 176 177 178 183 184 187 193 195 199 200 201 202 203 205 211 213 222 230 232 234 237 238 239 241 244 248 251 252 254 257 259 262 263 270 277 279 282 285 288 292 293 294 295 296 304 308 310 311 321 324 329 330 332 333 339 340 348 349 350 351 353 354 356 a 5 7 11 12 15 16 18 20 24 28 33 34 38 39 40 41 43 45 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 169 172 175 176 177 178 184 187 193 195 199 200 201 202 203 205 211 213 222 230 232 234 237 238 239 241 243 244 248 251 252 254 257 259 262 263 270 277 279 282 285 288 292 293 294 295 296 304 308 310 311 321 324 329 330 332 333 339 340 348 349 350 351 353 354 356 a 5 7 11 12 15 16 18 20 24 28 33 34 38 39 40 41 43 45 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 169 172 175 176 177 178 184 187 193 195 199 200 201 203 205 211 213 222 230 232 234 237 238 239 241 243 244 248 251 252 254 257 259 262 263 270 277 279 282 285 288 292 293 294 295 296 304 308 310 311 321 324 329 330 332 333 339 340 348 349 350 351 353 354 356 364 a 2 5 7 11 12 15 16 18 20 24 28 33 34 38 39 40 41 43 45 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 169 172 175 176 177 178 184 187 193 195 199 200 201 203 205 211 213 222 230 232 234 237 238 239 241 243 244 248 251 252 254 257 259 262 263 270 277 279 282 285 288 292 293 294 295 296 304 308 310 311 321 324 329 332 333 339 340 348 349 350 351 353 354 356 364 a 2 5 7 11 12 15 16 18 20 24 28 33 34 38 39 40 41 43 45 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 169 172 175 176 177 178 184 187 193 195 199 200 201 202 203 205 211 213 222 230 232 234 237 238 239 241 243 244 248 251 252 254 257 259 262 263 270 277 279 282 285 288 292 293 294 295 296 304 308 310 311 321 324 329 332 333 339 340 348 349 350 351 353 354 356 a 2 5 7 11 12 15 16 18 20 24 28 33 34 38 39 40 41 43 45 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 169 172 175 176 177 178 184 187 193 195 199 200 201 202 203 205 211 213 222 230 232 234 237 238 239 241 243 244 248 251 252 254 257 259 262 263 270 277 279 282 285 288 292 293 294 295 296 304 308 310 311 321 324 329 333 339 340 348 349 350 351 353 354 356 361 a 2 5 7 11 12 15 16 18 20 24 28 33 34 38 39 40 41 43 45 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 169 172 175 176 177 178 184 187 193 195 199 200 201 202 203 205 211 213 222 230 232 234 237 238 239 241 243 244 248 251 252 254 257 259 262 263 270 277 279 282 285 288 292 293 294 295 296 304 308 310 311 321 324 329 330 333 339 340 348 349 350 351 353 356 361 a 2 5 7 11 12 15 16 18 20 24 28 33 34 39 40 41 43 45 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 169 172 175 176 177 178 184 187 193 195 199 200 201 202 203 205 211 213 222 230 232 234 237 238 239 241 243 244 248 251 252 254 257 259 262 263 270 277 279 282 285 288 292 293 294 295 296 304 308 310 311 321 324 329 330 332 333 339 340 348 349 350 351 353 356 361 a 2 5 11 12 15 16 18 20 24 28 33 34 39 40 41 43 45 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 193 195 199 200 201 202 203 205 211 213 222 230 232 234 237 238 239 241 243 244 248 251 252 254 257 259 262 263 270 277 279 282 285 288 292 293 294 295 296 304 308 310 311 321 324 329 330 332 333 339 340 348 349 350 351 353 356 361 a 2 5 11 12 15 16 18 20 24 28 33 34 39 40 41 43 45 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 193 195 199 200 201 202 203 205 211 213 222 230 232 234 238 239 241 243 244 248 251 252 254 257 259 262 263 270 277 279 282 285 288 292 293 294 295 296 304 308 310 311 321 324 329 330 332 333 339 340 348 349 350 351 353 354 356 361 a 2 5 11 12 15 16 18 20 24 28 33 34 39 40 41 43 45 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 193 195 199 200 201 202 203 205 211 213 222 230 232 234 238 239 241 243 244 248 251 252 254 257 259 262 263 270 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 321 324 329 330 332 333 339 340 348 349 350 351 353 354 356 a 2 5 11 12 15 16 18 20 24 28 33 34 39 40 41 43 45 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 193 195 199 200 201 202 203 205 211 213 222 230 232 234 238 239 241 243 244 248 251 252 254 257 259 262 263 270 276 277 279 282 285 288 292 293 294 295 296 304 306 308 310 311 321 324 329 330 332 333 339 340 348 349 350 351 353 356 a 2 5 11 12 15 16 18 20 24 28 33 34 39 40 41 43 45 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 193 195 199 200 201 202 203 205 211 213 222 230 232 234 238 239 241 243 244 248 251 252 254 257 259 262 263 270 276 277 279 282 285 288 292 293 294 295 296 304 306 308 310 311 321 324 329 330 332 333 339 340 348 349 350 351 356 361 a 2 5 11 12 15 16 18 20 24 28 33 34 38 39 40 41 43 45 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 193 195 199 200 201 202 203 205 211 213 222 230 232 234 238 239 241 243 244 248 251 252 254 257 259 262 263 270 277 279 282 285 288 292 293 294 295 296 304 306 308 310 311 321 324 329 330 332 333 339 340 348 349 350 351 356 361 a 2 5 11 12 15 16 18 20 24 28 33 34 38 39 40 41 43 45 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 193 195 199 200 201 202 203 205 211 213 222 230 232 234 237 238 239 241 243 244 248 251 252 254 257 259 262 263 270 277 279 282 285 288 292 293 294 295 296 304 306 308 310 311 321 324 329 330 332 333 339 340 348 349 350 351 356 a 2 5 11 12 15 16 18 20 24 28 33 34 38 39 40 41 43 45 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 193 195 199 200 201 202 203 205 211 213 222 230 232 234 237 238 239 241 243 244 248 251 252 254 257 259 262 263 270 277 279 282 285 288 292 293 294 295 296 298 304 306 308 310 311 321 324 329 330 332 333 339 340 348 349 350 351 a 2 5 11 12 15 16 18 20 24 28 33 34 38 39 40 41 43 45 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 193 195 199 200 201 202 203 205 211 213 222 230 232 234 237 238 239 241 243 244 248 251 252 254 255 257 259 262 263 270 277 279 282 285 288 292 293 294 295 296 298 304 306 308 310 311 321 324 329 330 332 333 339 340 348 349 350 a 2 5 11 12 15 16 18 20 24 28 33 34 38 39 40 41 43 45 49 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 193 195 199 200 201 202 203 205 211 213 222 230 232 234 237 238 239 241 243 244 248 251 252 254 255 257 259 262 263 270 277 279 282 285 288 292 293 294 295 296 298 304 306 308 310 311 321 324 329 330 332 333 339 340 348 350 a 2 5 11 12 15 16 18 20 24 28 33 34 38 39 40 41 43 45 49 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 193 195 199 200 201 202 203 205 211 213 222 230 232 234 237 238 239 241 243 244 248 251 252 254 255 257 259 262 263 270 277 279 282 285 288 292 293 294 295 296 298 304 306 308 310 311 321 324 329 330 332 333 339 340 348 356 a 2 5 11 12 15 16 18 20 24 28 33 34 38 39 40 41 43 45 49 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 193 195 199 200 201 202 203 205 211 213 222 230 232 234 238 239 241 243 244 248 251 252 254 255 257 259 262 263 270 277 279 282 285 288 292 293 294 295 296 298 304 306 308 310 311 321 324 329 330 332 333 339 340 348 353 356 a 2 5 11 12 15 16 18 20 24 28 33 34 38 39 40 41 43 45 49 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 222 230 232 234 238 239 241 243 244 248 251 252 254 255 257 259 262 263 270 277 279 282 285 288 292 293 294 295 296 298 304 306 308 310 311 319 321 324 329 330 332 333 339 340 348 353 356 a 2 5 11 12 15 16 18 20 24 28 33 34 38 39 40 41 43 45 49 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 222 230 232 234 238 239 241 243 244 248 251 252 254 255 257 259 262 263 270 277 279 282 285 288 292 293 294 295 296 298 304 306 308 310 311 319 321 324 329 330 332 333 339 340 351 353 356 a 2 11 12 15 16 18 20 24 28 33 34 38 39 40 41 43 45 49 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 222 230 231 232 234 238 239 241 243 244 248 251 252 254 255 257 259 262 263 270 277 279 282 285 288 292 293 294 295 296 298 304 306 308 310 311 319 321 324 329 330 332 333 339 340 351 353 356 a 2 11 12 15 16 18 20 24 28 33 34 38 39 40 41 43 45 49 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 115 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 222 230 231 232 234 238 239 241 243 244 248 251 252 254 255 257 259 262 263 270 277 279 282 285 288 292 293 294 295 296 298 304 306 308 310 311 319 321 324 329 330 332 333 339 340 351 353 a 2 11 12 15 16 18 20 24 28 33 34 38 39 40 41 43 45 49 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 115 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 222 230 231 232 234 238 239 241 243 244 248 251 252 254 255 257 259 262 263 270 277 279 282 285 288 292 293 294 295 296 298 304 306 308 310 311 319 321 324 329 330 332 333 339 340 350 353 a 2 11 12 15 16 18 20 24 28 33 34 38 39 40 41 43 45 49 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 115 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 222 230 231 232 234 238 239 241 243 244 248 251 252 254 255 257 259 262 263 270 277 279 282 285 288 292 293 294 295 296 298 304 306 308 310 311 319 321 324 329 330 332 333 339 340 349 350 a 2 4 11 12 15 16 18 20 24 28 33 34 38 39 40 41 43 45 49 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 115 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 222 230 231 232 234 238 239 241 243 244 248 251 252 254 255 257 259 262 263 270 277 279 282 285 288 292 293 294 295 296 298 304 306 308 310 311 319 321 324 329 330 332 333 339 340 349 a 2 4 11 12 15 16 18 20 24 28 33 34 38 39 40 41 43 45 49 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 115 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 222 230 231 232 234 238 239 241 243 244 248 251 252 254 255 257 259 262 263 270 277 279 282 285 288 292 293 294 295 296 298 304 306 308 310 311 319 321 324 329 330 332 333 339 340 353 a 2 4 11 12 15 16 18 20 24 28 33 34 38 39 40 41 45 49 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 115 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 220 222 230 231 232 234 238 239 241 243 244 248 251 252 254 255 257 259 262 263 270 277 279 282 285 288 292 293 294 295 296 298 304 306 308 310 311 319 321 324 329 330 332 333 339 340 353 a 2 4 11 12 15 16 18 20 24 28 33 34 38 39 40 41 45 49 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 115 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 195 199 201 202 203 205 211 213 220 222 230 231 232 234 238 239 241 243 244 248 251 252 254 255 257 259 262 263 270 277 279 282 285 288 292 293 294 295 296 298 304 306 308 310 311 319 321 324 329 330 332 333 339 340 353 358 a 2 4 11 12 15 16 18 20 24 28 33 34 38 39 40 41 45 49 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 115 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 195 199 201 202 203 205 211 213 220 222 230 231 232 234 238 239 241 243 244 248 251 252 254 255 257 259 263 270 276 277 279 282 285 288 292 293 294 295 296 298 304 306 308 310 311 319 321 324 329 330 332 333 339 340 353 358 a 2 4 11 12 15 16 18 20 24 28 33 34 38 39 40 41 43 45 49 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 115 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 195 199 201 202 203 205 211 213 222 230 231 232 234 238 239 241 243 244 248 251 252 254 255 257 259 263 270 276 277 279 282 285 288 292 293 294 295 296 298 304 306 308 310 311 319 321 324 329 330 332 333 339 340 353 358 a 2 4 11 12 15 16 18 20 24 28 33 34 38 39 40 41 43 45 49 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 115 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 195 199 201 202 203 205 211 213 222 230 231 232 234 238 239 241 243 244 248 251 252 254 255 257 259 263 270 276 277 279 282 285 288 292 293 294 295 296 298 304 306 308 310 311 319 321 324 329 330 332 333 340 353 356 358 a 2 4 11 12 15 16 18 20 24 28 33 34 38 39 40 41 45 49 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 115 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 195 199 201 202 203 205 211 213 220 222 230 231 232 234 238 239 241 243 244 248 251 252 254 255 257 259 263 270 276 277 279 282 285 288 292 293 294 295 296 298 304 306 308 310 311 319 321 324 329 330 332 333 340 353 356 358 a 2 4 11 12 15 16 20 24 28 33 34 38 39 40 41 45 49 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 115 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 195 199 201 202 203 205 211 213 220 222 230 231 232 234 238 239 241 243 244 248 251 252 254 255 257 259 262 263 270 276 277 279 282 285 288 292 293 294 295 296 298 304 306 308 310 311 319 321 324 329 330 332 333 340 353 356 358 a 2 4 11 12 15 16 20 24 28 33 34 38 39 40 41 43 45 49 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 115 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 195 199 201 202 203 205 211 213 222 230 231 232 234 238 239 241 243 244 248 251 252 254 255 257 259 262 263 270 276 277 279 282 285 288 292 293 294 295 296 298 304 306 308 310 311 319 321 324 329 330 332 333 340 353 356 358 a 2 4 6 11 12 15 16 20 24 28 33 34 38 39 40 41 43 49 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 115 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 195 199 201 202 203 205 211 213 222 230 231 232 234 238 239 241 243 244 248 251 252 254 255 257 259 262 263 270 276 277 279 282 285 288 292 293 294 295 296 298 304 306 308 310 311 319 321 324 329 330 332 333 340 353 356 358 a 2 4 6 11 15 16 20 24 28 33 34 38 39 40 41 43 49 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 115 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 195 199 201 202 203 205 211 213 222 230 231 232 234 238 239 241 243 244 248 251 252 254 255 257 259 262 263 270 276 277 279 282 285 288 292 293 294 295 296 298 304 306 308 310 311 319 321 324 329 330 332 333 340 351 353 356 358 a 2 4 6 11 15 16 20 24 28 33 34 38 39 40 41 43 49 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 111 112 115 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 195 199 201 202 203 205 211 213 222 230 231 232 234 238 239 241 243 244 248 251 252 254 255 257 259 262 263 270 276 277 279 282 285 288 292 293 294 295 296 298 304 306 308 310 311 319 321 329 330 332 333 340 351 353 356 358 a 2 4 6 11 15 16 20 24 28 33 34 38 39 40 41 49 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 111 112 115 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 195 199 201 202 203 205 211 213 220 222 230 231 232 234 238 239 241 243 244 248 251 252 254 255 257 259 262 263 270 276 277 279 282 285 288 292 293 294 295 296 298 304 306 308 310 311 319 321 329 330 332 333 340 351 353 356 358 a 2 4 6 11 15 16 20 24 28 33 34 38 39 40 41 49 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 111 112 115 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 195 199 201 202 203 205 211 213 220 222 230 231 232 234 238 239 241 243 244 248 251 252 254 255 257 259 262 263 270 276 277 279 282 285 288 292 293 294 295 298 304 306 308 310 311 319 321 329 330 332 333 340 350 351 353 356 358 a 2 4 6 11 15 16 20 24 28 33 34 38 39 40 41 49 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 111 112 115 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 192 195 199 201 202 203 205 211 213 220 222 230 231 232 234 238 239 241 243 244 248 251 252 254 255 257 259 262 263 270 276 277 279 282 285 288 292 293 294 295 298 304 306 308 310 311 319 321 329 330 332 333 340 350 351 353 356 a 2 4 6 11 15 16 20 24 28 33 34 38 39 40 41 49 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 111 112 115 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 192 195 199 201 202 203 205 211 213 220 222 230 231 232 234 238 239 241 243 244 248 251 252 254 255 257 259 262 263 270 276 277 279 282 285 288 292 293 294 295 298 304 306 308 310 311 319 321 329 330 332 333 340 349 350 351 353 a 2 4 6 11 15 16 20 24 28 33 34 38 39 40 41 49 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 111 112 115 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 192 195 199 201 202 203 205 211 213 220 222 230 231 232 234 237 238 239 241 243 244 248 251 252 254 255 257 259 262 263 270 277 279 282 285 288 292 293 294 295 298 304 306 308 310 311 319 321 329 330 332 333 340 349 350 351 353 a 2 3 4 6 11 15 16 20 24 28 33 34 38 39 40 41 49 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 111 112 115 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 192 195 199 201 202 203 205 211 213 220 222 230 231 232 234 237 238 239 241 243 244 248 251 254 255 257 259 262 263 270 277 279 282 285 288 292 293 294 295 298 304 306 308 310 311 319 321 329 330 332 333 340 349 350 351 353 a 2 3 4 6 11 15 16 20 24 28 33 34 39 40 41 49 50 51 52 57 59 60 73 84 85 86 89 95 97 99 100 101 107 109 111 112 115 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 192 195 199 201 202 203 205 211 213 220 222 230 231 232 234 237 238 239 241 243 244 248 251 254 255 257 259 262 263 270 277 279 282 285 288 292 293 294 295 298 304 306 308 310 311 319 321 329 330 332 333 340 349 350 351 353 a 2 3 4 6 11 15 16 20 24 28 33 34 39 40 41 49 50 51 52 57 59 60 73 84 85 86 89 95 97 99 100 101 107 109 111 112 115 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 192 195 199 201 202 203 205 211 213 220 222 230 232 234 237 238 239 241 243 244 248 251 254 255 257 259 262 263 270 277 279 282 285 288 292 293 294 295 298 304 306 308 309 310 311 319 321 329 330 332 333 340 349 350 351 353 a 2 3 4 5 6 11 15 16 20 24 28 33 34 39 40 41 49 50 51 52 57 59 60 73 84 85 86 89 95 97 99 100 101 107 109 111 112 115 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 164 166 169 172 175 176 177 178 184 187 192 195 199 201 202 203 205 211 213 220 222 230 232 234 237 238 239 241 243 244 248 251 254 255 257 259 262 263 270 277 279 282 285 288 293 294 295 298 304 306 308 309 310 311 319 321 329 330 332 333 340 349 350 351 353 a 2 3 4 5 6 11 15 16 20 24 28 33 34 39 40 41 49 50 51 52 57 59 60 73 84 85 86 89 95 97 99 100 101 107 109 111 112 115 117 118 121 122 124 131 137 140 142 146 147 152 153 156 158 160 164 166 169 172 175 176 177 178 184 187 192 195 199 201 202 203 205 211 213 220 222 230 232 234 237 238 239 241 243 244 248 251 254 255 257 259 262 263 270 277 279 282 285 288 293 294 295 298 304 306 308 309 310 319 321 329 330 332 333 340 349 350 351 353 a 2 3 4 5 6 11 15 16 20 24 28 33 34 39 40 41 49 50 52 57 59 60 73 84 85 86 89 95 97 99 100 101 107 109 111 112 115 117 118 121 122 124 131 137 140 142 146 147 152 153 156 158 160 164 166 169 172 175 176 177 178 184 187 192 195 199 201 202 203 205 211 213 214 220 222 230 232 234 237 238 239 241 243 244 248 251 254 255 257 259 262 263 270 277 279 282 285 288 293 294 295 298 304 306 308 309 310 319 321 329 330 332 333 340 349 350 351 353 a 2 3 4 5 6 11 15 16 20 24 28 33 34 39 40 41 49 50 52 57 59 60 73 84 85 86 89 95 97 99 100 101 107 109 111 112 115 117 118 121 122 124 131 137 140 142 146 147 152 153 156 158 160 164 169 172 175 176 177 178 184 187 192 193 195 199 201 202 203 205 211 213 214 220 222 230 232 234 237 238 239 241 243 244 248 251 254 255 257 259 262 263 270 277 279 282 285 288 293 294 295 298 304 306 308 309 310 319 321 329 330 332 333 340 349 350 351 353 a 2 3 4 5 6 11 15 16 20 21 24 28 33 34 39 40 41 49 50 52 57 59 60 73 84 85 86 89 95 97 99 100 101 107 109 111 112 115 118 121 122 124 131 137 140 142 146 147 152 153 156 158 160 164 169 172 175 176 177 178 184 187 192 193 195 199 201 202 203 205 211 213 214 220 222 230 232 234 237 238 239 241 243 244 248 251 254 255 257 259 262 263 270 277 279 282 285 288 293 294 295 298 304 306 308 309 310 319 321 329 330 332 333 340 349 350 351 353 a 2 3 4 5 6 11 15 16 20 21 24 28 33 34 39 40 41 49 50 52 57 59 60 73 84 85 86 89 95 97 99 100 101 107 109 111 112 115 118 121 122 124 131 137 139 140 142 146 147 152 153 156 158 160 164 169 172 175 176 177 178 184 187 192 193 195 199 201 202 203 205 211 213 214 220 222 230 232 234 237 238 239 241 243 244 248 251 254 255 257 259 262 263 270 277 279 282 285 288 293 294 295 298 304 308 309 310 319 321 329 330 332 333 340 349 350 351 353 a 2 3 4 5 6 7 11 15 16 20 21 24 28 33 34 39 40 41 49 50 52 57 59 60 73 84 85 86 89 95 97 99 100 101 107 109 111 112 115 118 121 122 124 131 137 139 140 142 146 147 152 153 156 158 160 164 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 214 220 222 230 232 234 237 238 239 241 243 244 248 251 254 255 257 259 262 263 270 277 279 282 285 288 293 294 295 298 304 308 309 310 319 321 329 330 332 333 340 349 350 351 353 a 2 3 4 5 6 7 11 15 16 20 21 24 28 33 34 39 40 41 49 50 52 57 59 60 73 84 85 86 89 95 97 99 100 101 107 109 111 112 118 121 122 124 131 137 139 140 142 146 147 152 153 156 158 160 164 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 214 220 222 230 232 234 237 238 239 241 243 244 248 251 254 255 257 259 262 263 270 277 279 282 285 288 293 294 295 298 304 308 309 310 319 321 329 330 332 333 340 349 350 351 353 361 a 2 3 4 5 6 7 11 15 16 20 21 24 28 33 34 39 40 41 49 50 57 59 60 73 84 85 86 89 95 97 99 100 101 107 109 111 112 118 121 122 124 131 137 139 140 142 146 147 152 153 156 158 160 164 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 212 213 214 220 222 230 232 234 237 238 239 241 243 244 248 251 254 255 257 259 262 263 270 277 279 282 285 288 293 294 295 298 304 308 309 310 319 321 329 330 332 333 340 349 350 351 353 361 a 2 3 4 5 6 7 11 15 16 20 21 24 28 33 34 39 40 41 49 50 57 59 60 73 78 84 85 86 89 95 97 99 100 101 107 109 111 112 118 121 122 124 131 137 139 140 142 146 147 152 153 156 158 160 164 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 212 213 214 220 222 230 232 234 237 238 239 241 243 244 248 251 254 255 257 259 262 263 270 277 279 282 285 288 293 294 295 298 304 308 309 310 319 321 329 330 332 340 349 350 351 353 361 a 1 2 3 4 5 6 7 11 15 16 20 21 24 28 33 34 39 40 41 49 50 57 59 60 73 78 84 85 86 89 95 97 99 100 101 107 109 111 112 118 121 122 124 131 137 139 140 142 146 147 152 153 156 158 160 164 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 212 213 214 220 222 230 232 234 237 238 239 241 243 244 248 251 254 255 257 259 262 263 270 277 279 282 285 288 293 294 295 304 308 309 310 319 321 329 330 332 340 349 350 351 353 361 a 1 2 3 4 5 6 7 11 15 16 20 21 24 28 33 34 39 40 41 49 50 57 59 60 73 78 84 85 86 89 95 97 99 100 101 107 109 111 112 118 121 122 124 131 137 139 140 142 146 147 152 153 156 158 160 164 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 212 213 214 220 222 230 232 234 237 238 239 241 243 244 248 251 254 255 257 259 262 263 270 277 279 282 285 288 293 294 295 297 304 308 309 310 321 329 330 332 340 349 350 351 353 361 a 1 2 3 4 5 6 7 11 15 16 20 21 24 28 33 34 39 40 41 49 50 57 59 60 73 78 84 85 86 89 95 97 99 100 101 107 109 111 112 118 121 122 124 131 137 139 140 142 146 147 152 153 156 158 160 164 169 171 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 212 213 214 220 222 230 232 237 238 239 241 243 244 248 251 254 255 257 259 262 263 270 277 279 282 285 288 293 294 295 297 304 308 309 310 321 329 330 332 340 349 350 351 353 361 a 1 2 3 4 5 6 7 11 15 16 20 21 24 28 33 34 39 40 41 47 49 50 57 59 60 73 78 84 85 86 89 95 97 99 100 101 107 109 111 112 118 121 122 124 131 137 139 140 142 146 147 152 153 156 158 160 164 169 171 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 212 213 214 220 222 230 232 237 238 239 241 243 244 248 251 254 255 257 259 262 263 270 277 279 282 285 288 293 294 295 297 304 308 309 321 329 330 332 340 349 350 351 353 361 a 1 2 3 4 5 6 7 11 15 16 20 21 24 28 33 34 39 40 41 47 49 50 57 59 60 73 78 84 85 86 89 95 97 99 100 101 107 109 111 112 118 121 122 124 131 137 139 140 142 146 147 152 153 156 158 160 169 171 172 175 176 177 178 180 184 187 193 195 199 201 202 203 205 211 212 213 214 220 222 230 232 237 238 239 241 243 244 248 251 254 255 257 259 262 263 270 277 279 282 285 288 293 294 295 297 304 308 309 321 329 330 332 340 349 350 351 353 361 a 1 2 3 4 5 6 7 11 15 20 21 24 28 33 34 39 40 41 47 49 50 57 59 60 73 78 84 85 86 89 92 95 97 99 100 101 107 109 111 112 118 121 122 124 131 137 139 140 142 146 147 152 153 156 158 160 169 171 172 175 176 177 178 180 184 187 193 195 199 201 202 203 205 211 212 213 214 220 222 230 232 237 238 239 241 243 244 248 251 254 255 257 259 262 263 270 277 279 282 285 288 293 294 295 297 304 308 309 321 329 330 332 340 349 350 351 353 361 a 1 2 3 4 5 6 7 11 15 20 21 24 28 33 34 39 40 41 47 49 50 57 59 60 73 78 84 85 86 89 92 95 97 99 100 101 107 109 111 112 118 121 122 124 131 137 139 140 142 143 146 147 152 153 156 158 160 169 171 172 175 176 177 178 180 184 187 193 199 201 202 203 205 211 212 213 214 220 222 230 232 237 238 239 241 243 244 248 251 254 255 257 259 262 263 270 277 279 282 285 288 293 294 295 297 304 308 309 321 329 330 332 340 349 350 351 353 361 a 1 2 3 4 5 6 7 11 15 20 21 24 28 33 34 39 40 41 47 49 50 57 59 60 73 78 84 85 86 89 92 95 97 99 100 101 107 109 111 112 118 121 122 124 131 137 139 140 142 143 146 147 152 153 156 158 160 169 171 172 175 176 177 178 180 184 187 193 199 201 202 203 205 211 212 213 214 220 222 230 232 237 238 239 241 243 244 248 251 254 255 257 259 262 263 270 277 279 285 288 293 294 295 297 299 304 308 309 321 329 330 332 340 349 350 351 353 361 a 1 2 3 4 5 6 7 11 15 20 21 24 28 33 34 39 40 41 47 49 50 57 59 60 73 78 84 85 86 89 92 95 97 99 100 101 107 109 111 112 118 121 122 124 131 137 139 140 142 143 146 147 152 153 156 158 160 169 171 172 175 176 177 178 180 184 187 193 199 201 202 203 205 211 212 213 214 220 222 230 232 237 238 239 241 243 244 248 251 254 255 257 259 262 263 270 277 279 285 288 293 294 295 297 299 304 308 309 315 321 330 332 340 349 350 351 353 361 a 1 2 3 4 5 6 7 11 15 20 21 24 28 34 39 40 41 47 49 50 57 59 60 73 78 84 85 86 89 92 95 97 99 100 101 107 109 111 112 118 121 122 124 131 137 139 140 142 143 146 147 152 153 156 158 160 169 171 172 175 176 177 178 180 184 187 193 199 201 202 203 205 211 212 213 214 220 222 230 232 237 238 239 241 243 244 248 251 254 255 257 258 259 262 263 270 277 279 285 288 293 294 295 297 299 304 308 309 315 321 330 332 340 349 350 351 353 361 a 1 2 3 4 5 6 7 11 15 20 21 24 28 34 39 40 41 47 49 50 57 59 60 73 78 84 85 86 89 92 95 97 99 100 101 107 109 111 112 118 121 124 131 137 139 140 142 143 146 147 152 153 156 158 160 169 171 172 175 176 177 178 180 184 187 193 199 201 202 203 205 211 212 213 214 220 222 230 232 237 238 239 241 243 244 248 251 254 255 257 258 259 262 263 270 277 279 285 288 293 294 295 297 299 304 308 309 315 318 321 330 332 340 349 350 351 353 361 a 1 2 3 4 5 6 7 11 15 20 21 24 28 34 39 40 41 47 49 50 57 59 73 78 84 85 86 89 92 95 97 99 100 101 107 109 111 112 118 121 124 131 137 139 140 142 143 146 147 152 153 156 158 160 169 171 172 174 175 176 177 178 180 184 187 193 199 201 202 203 205 211 212 213 214 220 222 230 232 237 238 239 241 243 244 248 251 254 255 257 258 259 262 263 270 277 279 285 288 293 294 295 297 299 304 308 309 315 318 321 330 332 340 349 350 351 353 361 a 1 2 3 4 5 6 7 11 15 20 21 24 28 34 39 40 41 47 49 50 57 59 73 78 84 85 86 89 92 95 97 99 100 101 107 109 111 112 118 121 124 131 137 139 140 142 143 146 147 152 153 156 158 160 169 171 172 174 175 176 177 178 180 184 187 193 199 201 202 203 205 211 212 213 214 220 222 230 232 237 238 239 241 244 248 251 254 255 257 258 259 262 263 270 277 279 285 288 293 294 295 297 299 304 308 309 315 317 318 321 330 332 340 349 350 351 353 361 a 1 2 3 4 5 6 7 9 11 15 20 21 24 28 34 39 40 41 47 49 50 57 59 73 78 84 85 86 89 92 95 97 99 100 101 107 109 111 112 118 121 124 131 137 139 140 142 143 146 147 152 153 156 158 160 169 171 172 174 175 176 177 178 180 184 187 193 199 201 202 203 205 211 212 213 214 220 222 230 232 237 238 239 241 244 248 251 254 255 257 258 259 262 263 270 277 279 285 288 293 294 295 297 299 304 308 309 315 317 318 321 330 332 340 350 351 353 361 a 1 2 3 4 5 6 7 9 11 15 20 21 24 28 34 39 40 41 47 49 50 57 59 73 78 84 85 86 89 92 95 97 99 100 101 107 109 111 112 118 121 124 131 132 137 139 140 142 143 146 147 152 153 156 158 160 169 171 172 174 175 176 177 178 180 184 187 193 199 201 202 203 205 211 212 213 214 220 222 230 232 237 238 239 241 244 248 251 254 255 257 258 259 262 263 270 277 279 288 293 294 295 297 299 304 308 309 315 317 318 321 330 332 340 350 351 353 361 a 1 2 3 4 5 6 7 9 11 15 20 21 24 28 34 39 40 41 47 49 50 57 59 73 78 84 85 86 89 92 95 97 99 100 101 107 109 111 112 118 121 124 131 132 137 139 140 142 143 146 147 152 153 156 158 160 169 171 172 174 175 176 177 178 180 184 187 193 199 201 202 203 205 211 212 213 214 220 222 230 232 237 238 239 241 244 248 251 254 255 257 258 259 262 263 270 277 279 288 293 294 295 297 299 304 308 309 315 317 318 321 323 330 332 340 351 353 361 a 1 2 3 4 5 6 7 9 11 15 20 21 24 28 34 39 40 41 47 49 50 57 59 73 78 84 85 86 89 92 95 97 99 100 101 107 109 111 112 118 121 124 131 132 137 139 140 142 143 146 147 152 153 156 158 160 169 171 172 174 175 176 177 178 180 184 187 193 201 202 203 205 211 212 213 214 220 222 230 232 237 238 239 241 244 248 251 254 255 257 258 259 262 263 270 277 279 283 288 293 294 295 297 299 304 308 309 315 317 318 321 323 330 332 340 351 353 361 a 1 2 3 4 5 6 7 9 11 15 20 21 24 28 34 39 40 41 47 49 50 57 59 73 78 84 86 89 92 95 97 99 100 101 107 109 111 112 118 121 124 131 132 137 139 140 141 142 143 146 147 152 153 156 158 160 169 171 172 174 175 176 177 178 180 184 187 193 201 202 203 205 211 212 213 214 220 222 230 232 237 238 239 241 244 248 251 254 255 257 258 259 262 263 270 277 279 283 288 293 294 295 297 299 304 308 309 315 317 318 321 323 330 332 340 351 353 361 a 1 2 3 4 5 6 7 9 11 15 20 21 24 28 34 39 40 47 49 50 57 59 73 78 84 86 89 92 95 97 99 100 101 107 109 111 112 118 121 124 131 132 137 139 140 141 142 143 146 147 152 153 156 158 160 169 171 172 174 175 176 177 178 180 184 187 193 201 202 203 205 211 212 213 214 220 222 230 232 237 238 239 241 244 248 249 251 254 255 257 258 259 262 263 270 277 279 283 288 293 294 295 297 299 304 308 309 315 317 318 321 323 330 332 340 351 353 361 a 1 2 3 4 5 6 7 9 11 15 20 21 24 28 34 39 40 47 49 50 57 59 73 76 78 84 86 89 92 95 97 99 100 101 107 109 112 118 121 124 131 132 137 139 140 141 142 143 146 147 152 153 156 158 160 169 171 172 174 175 176 177 178 180 184 187 193 201 202 203 205 211 212 213 214 220 222 230 232 237 238 239 241 244 248 249 251 254 255 257 258 259 262 263 270 277 279 283 288 293 294 295 297 299 304 308 309 315 317 318 321 323 330 332 340 351 353 361 a 1 2 3 4 5 6 7 9 11 15 20 21 24 28 34 39 40 47 49 50 57 59 73 76 78 86 89 92 95 97 99 100 101 107 109 112 118 121 124 131 132 137 139 140 141 142 143 146 147 152 153 156 158 160 169 171 172 174 175 176 177 178 180 184 187 193 201 202 203 205 211 212 213 214 220 222 230 232 237 238 239 241 244 248 249 251 254 255 257 258 259 262 263 270 277 279 283 288 293 294 295 297 299 304 308 309 315 317 318 321 323 330 332 335 340 351 353 361 a 1 2 3 4 5 6 7 9 11 15 20 21 24 28 34 39 40 47 49 50 57 59 73 74 76 78 86 89 92 95 97 99 100 101 107 109 112 118 121 124 131 132 137 139 140 141 142 143 146 147 152 153 156 158 160 169 171 172 174 175 176 178 180 184 187 193 201 202 203 205 211 212 213 214 220 222 230 232 237 238 239 241 244 248 249 251 254 255 257 258 259 262 263 270 277 279 283 288 293 294 295 297 299 304 308 309 315 317 318 321 323 330 332 335 340 351 353 361 a 1 2 3 4 5 6 7 9 11 15 20 21 24 28 34 39 40 47 49 50 57 59 73 74 76 78 86 89 92 95 97 99 100 101 107 109 112 118 121 124 126 131 132 137 139 140 141 142 143 146 147 152 153 156 158 160 169 171 172 174 175 176 178 180 184 187 193 201 202 205 211 212 213 214 220 222 230 232 237 238 239 241 244 248 249 251 254 255 257 258 259 262 263 270 277 279 283 288 293 294 295 297 299 304 308 309 315 317 318 321 323 330 332 335 340 351 353 361 a 1 2 3 4 5 6 7 9 11 15 20 21 24 28 34 39 40 47 49 50 57 59 73 74 76 78 86 89 92 95 97 99 100 101 107 109 112 118 121 124 126 131 132 137 139 140 141 142 143 146 147 152 153 156 158 160 169 171 172 174 175 176 178 180 184 187 193 201 202 205 211 212 213 214 220 222 230 232 237 238 239 241 244 248 249 251 254 255 257 258 259 262 263 270 279 283 288 293 294 295 297 299 304 308 309 315 317 318 321 323 330 332 335 340 346 351 353 361 a 1 2 3 4 5 6 7 9 11 15 20 21 23 24 28 34 39 40 47 49 50 57 59 73 74 76 78 86 89 92 95 97 99 100 101 107 109 112 118 121 124 126 131 132 137 139 140 141 142 143 146 147 152 153 156 158 160 169 171 172 174 175 176 178 180 184 187 193 201 202 205 211 212 213 214 220 222 230 232 237 238 239 241 244 248 249 251 254 255 257 258 259 262 263 270 279 283 288 293 294 295 297 299 308 309 315 317 318 321 323 330 332 335 340 346 351 353 361 a 1 2 3 4 5 6 7 9 11 15 20 21 23 24 28 34 40 47 49 50 57 59 73 74 76 78 86 89 92 95 97 99 100 101 107 109 112 118 121 124 126 131 132 137 139 140 141 142 143 146 147 152 153 156 158 160 169 171 172 174 175 176 178 180 184 187 193 201 202 205 211 212 213 214 220 222 230 232 237 238 239 241 244 248 249 251 254 255 257 258 259 262 263 270 279 283 288 293 294 295 297 299 308 309 315 317 318 321 323 330 332 335 340 346 351 353 361 363 a 1 2 3 4 5 6 7 9 11 15 20 21 23 24 28 34 40 47 49 50 57 59 73 74 76 78 86 89 92 95 97 99 100 101 107 109 112 118 121 124 126 131 132 137 139 140 141 142 143 146 147 152 153 156 158 160 169 171 172 174 175 176 178 180 184 187 193 201 202 205 211 212 213 214 220 222 227 230 232 237 238 239 241 244 248 249 251 254 255 257 258 259 262 263 270 279 283 288 293 294 295 297 299 308 309 315 317 318 321 323 330 335 340 346 351 353 361 363 a 1 2 3 4 5 6 7 9 11 15 20 21 23 24 28 34 40 47 49 50 57 59 73 74 76 78 86 89 92 95 97 99 100 101 107 109 112 118 121 124 126 132 137 139 140 141 142 143 146 147 152 153 156 158 160 169 171 172 174 175 176 178 180 184 187 193 201 202 205 211 212 213 214 220 222 227 230 232 237 238 239 241 244 248 249 251 254 255 257 258 259 262 263 270 279 283 288 293 294 295 297 299 308 309 315 317 318 321 323 327 330 335 340 346 351 353 361 363 a 1 2 3 4 5 6 7 9 11 15 20 21 23 24 28 34 40 47 49 50 55 57 59 73 74 76 78 86 89 92 95 97 99 100 101 107 109 112 118 121 124 126 132 137 139 140 141 142 143 146 147 152 153 156 158 160 169 171 172 174 175 176 178 180 184 187 193 201 202 205 211 212 213 214 220 222 227 230 232 237 238 239 241 244 248 249 251 254 255 257 258 259 262 263 270 279 283 288 293 294 295 297 299 308 309 315 317 318 323 327 330 335 340 346 351 353 361 363 a 1 2 3 4 5 6 7 9 11 15 20 21 23 24 28 34 40 47 49 50 55 57 59 67 73 74 76 78 86 89 92 95 97 99 100 101 107 109 112 118 121 124 126 132 137 139 140 141 142 143 146 147 152 153 156 158 160 169 171 172 174 175 176 178 180 184 187 193 201 202 205 211 212 213 214 220 227 230 232 237 238 239 241 244 248 249 251 254 255 257 258 259 262 263 270 279 283 288 293 294 295 297 299 308 309 315 317 318 323 327 330 335 340 346 351 353 361 363 a 1 2 3 4 5 6 7 9 11 15 20 21 23 24 28 34 40 47 49 50 55 57 59 67 73 74 76 78 86 89 92 95 97 99 100 101 107 109 112 118 121 124 126 132 137 139 140 141 142 143 146 147 152 153 156 158 160 169 171 172 174 175 176 178 180 184 187 193 201 202 205 211 212 213 214 220 227 230 232 237 238 239 241 248 249 251 254 255 257 258 259 262 263 270 279 283 288 293 294 295 297 299 305 308 309 315 317 318 323 327 330 335 340 346 351 353 361 363 a 1 2 3 4 5 6 7 9 11 15 20 21 23 24 28 34 40 47 49 50 55 57 59 67 73 74 76 78 86 89 92 95 97 99 100 101 107 112 118 121 124 126 132 137 139 140 141 142 143 146 147 152 153 156 158 160 169 171 172 174 175 176 178 180 184 187 193 201 202 205 211 212 213 214 220 227 230 232 237 238 239 241 248 249 251 254 255 257 258 259 262 263 270 279 283 288 293 294 295 297 299 305 308 309 315 317 318 323 327 330 335 340 346 351 353 355 361 363 a 1 2 3 4 5 6 7 9 11 15 20 21 23 24 28 34 40 47 49 50 55 57 59 67 74 76 78 86 89 92 95 97 99 100 101 107 112 118 121 124 126 132 137 139 140 141 142 143 146 147 152 153 156 158 160 169 171 172 174 175 176 178 180 184 187 193 201 202 205 211 212 213 214 220 227 230 232 237 238 239 241 248 249 251 254 255 257 258 259 262 263 265 270 279 283 288 293 294 295 297 299 305 308 309 315 317 318 323 327 330 335 340 346 351 353 355 361 363 a 1 2 3 4 5 6 7 9 11 15 20 21 23 24 28 34 40 47 49 50 55 57 59 67 74 76 78 86 89 92 95 97 99 100 101 107 112 118 121 124 126 128 132 137 139 140 141 142 143 146 147 152 153 156 158 160 169 171 172 174 175 176 178 180 184 187 193 201 202 211 212 213 214 220 227 230 232 237 238 239 241 248 249 251 254 255 257 258 259 262 263 265 270 279 283 288 293 294 295 297 299 305 308 309 315 317 318 323 327 330 335 340 346 351 353 355 361 363 a 1 2 3 4 5 6 7 9 11 15 20 21 23 24 28 34 40 47 49 50 55 57 59 67 74 76 78 86 89 92 95 97 99 100 101 112 118 121 124 126 128 132 137 139 140 141 142 143 146 147 152 153 156 158 160 169 171 172 174 175 176 178 180 184 187 193 201 202 211 212 213 214 220 227 230 232 237 238 239 241 248 249 251 254 255 257 258 259 262 263 265 270 279 283 288 293 294 295 297 299 305 308 309 315 317 318 323 327 330 335 340 346 347 351 353 355 361 363 a 1 2 3 4 5 6 7 9 11 15 20 21 23 24 28 34 40 47 49 50 55 57 59 67 74 76 78 86 89 92 95 97 99 100 101 112 118 121 126 128 132 137 139 140 141 142 143 146 147 152 153 156 158 160 169 171 172 174 175 176 178 180 184 187 193 201 202 211 212 213 214 220 227 230 232 237 238 239 241 248 249 251 254 255 257 258 259 262 263 265 270 279 283 288 293 294 295 297 299 305 308 309 315 317 318 323 327 330 335 337 340 346 347 351 353 355 361 363 a 1 2 3 4 5 6 7 9 11 15 20 21 23 24 28 34 40 47 49 50 55 57 59 67 74 76 78 86 89 92 95 97 99 100 101 112 118 121 126 128 132 137 139 140 141 142 143 146 147 152 153 156 158 160 169 171 174 175 176 178 180 184 187 193 201 202 211 212 213 214 220 227 230 232 237 238 239 241 248 249 251 254 255 257 258 259 262 263 265 270 279 283 288 293 294 295 297 299 305 308 309 315 317 318 323 327 330 335 337 340 346 347 351 353 355 361 362 363 a 1 2 3 4 5 6 7 9 11 15 20 21 23 24 28 34 40 44 47 49 50 55 57 59 67 74 76 78 86 89 92 95 97 99 100 101 112 118 121 126 128 132 137 139 140 141 142 143 146 147 152 153 156 158 160 169 171 174 175 176 178 180 184 187 193 201 202 211 212 213 214 220 227 230 232 237 238 239 241 248 249 251 254 255 258 259 262 263 265 270 279 283 288 293 294 295 297 299 305 308 309 315 317 318 323 327 330 335 337 340 346 347 351 353 355 361 362 363 a 1 2 3 4 5 6 7 9 11 15 20 21 23 24 28 34 40 44 47 49 50 55 57 59 67 74 76 78 86 92 95 97 99 100 101 112 118 121 126 128 132 137 139 140 141 142 143 146 147 152 153 156 158 160 169 171 174 175 176 178 180 184 187 193 201 202 211 212 213 214 220 227 230 232 237 238 239 241 248 249 251 254 255 258 259 262 263 265 269 270 279 283 288 293 294 295 297 299 305 308 309 315 317 318 323 327 330 335 337 340 346 347 351 353 355 361 362 363 a 1 2 3 4 5 6 7 9 11 15 20 21 23 24 28 34 40 44 47 49 50 55 57 59 67 74 76 78 86 92 95 97 99 100 101 112 118 121 126 128 132 137 139 140 141 142 143 146 147 152 153 156 158 160 169 171 174 175 176 178 180 184 187 193 201 202 211 212 213 214 220 227 230 232 237 238 239 248 249 251 254 255 258 259 262 263 265 269 270 279 283 288 293 294 295 297 299 305 308 309 315 317 318 323 324 327 330 335 337 340 346 347 351 353 355 361 362 363 a 1 2 3 4 5 6 7 9 11 15 20 21 23 24 28 34 40 44 47 49 50 55 57 59 67 74 76 78 86 92 95 97 99 101 112 118 121 126 128 132 137 139 140 141 142 143 146 147 152 153 156 158 160 169 171 174 175 176 178 180 184 187 193 201 202 211 212 213 214 216 220 227 230 232 237 238 239 248 249 251 254 255 258 259 262 263 265 269 270 279 283 288 293 294 295 297 299 305 308 309 315 317 318 323 324 327 330 335 337 340 346 347 351 353 355 361 362 363 a 1 2 3 4 5 6 7 9 11 15 20 21 23 24 28 34 40 44 47 49 50 55 57 59 67 74 76 78 86 92 95 97 99 101 112 118 121 126 128 132 137 139 140 141 142 143 146 147 152 153 156 158 160 169 171 174 175 176 178 180 184 187 193 201 202 211 212 213 214 216 220 227 230 232 237 238 239 248 249 251 254 255 258 259 262 265 269 270 279 283 288 293 294 295 297 299 305 308 309 315 317 318 323 324 327 330 335 337 340 346 347 351 352 353 355 361 362 363 a 1 2 3 4 5 6 7 9 11 15 20 21 23 24 34 40 44 47 49 50 55 57 59 67 74 76 78 86 92 95 97 99 101 112 118 121 126 128 132 137 139 140 141 142 143 146 147 152 153 156 158 160 169 171 174 175 176 178 180 184 187 193 201 202 211 212 213 214 216 220 227 230 232 237 238 239 248 249 251 254 255 258 259 262 265 269 270 279 283 288 293 294 295 297 299 301 305 308 309 315 317 318 323 324 327 330 335 337 340 346 347 351 352 353 355 361 362 363 a 1 2 3 4 5 6 7 9 11 15 20 21 23 24 25 34 40 44 47 49 50 55 57 59 67 74 76 78 86 92 95 97 99 101 112 118 121 126 128 132 137 139 140 141 142 143 146 147 152 153 156 158 160 169 171 174 175 176 178 180 184 187 193 201 202 211 212 213 214 216 220 227 230 232 237 238 239 248 249 254 255 258 259 262 265 269 270 279 283 288 293 294 295 297 299 301 305 308 309 315 317 318 323 324 327 330 335 337 340 346 347 351 352 353 355 361 362 363 a 1 2 3 4 5 6 7 9 11 15 20 21 23 24 25 34 40 44 47 49 50 55 57 59 67 74 76 78 86 92 95 97 99 101 112 118 121 126 128 132 137 139 140 141 142 143 146 147 148 152 153 156 158 160 169 171 174 175 176 178 180 184 187 193 201 202 211 212 213 214 216 220 227 230 232 237 239 248 249 254 255 258 259 262 265 269 270 279 283 288 293 294 295 297 299 301 305 308 309 315 317 318 323 324 327 330 335 337 340 346 347 351 352 353 355 361 362 363 a 1 2 3 4 5 6 7 9 11 15 20 21 22 23 24 25 34 40 44 47 49 50 55 57 59 67 74 76 78 86 92 95 97 99 101 112 118 121 126 128 132 137 139 141 142 143 146 147 148 152 153 156 158 160 169 171 174 175 176 178 180 184 187 193 201 202 211 212 213 214 216 220 227 230 232 237 239 248 249 254 255 258 259 262 265 269 270 279 283 288 293 294 295 297 299 301 305 308 309 315 317 318 323 324 327 330 335 337 340 346 347 351 352 353 355 361 362 363 a 1 2 3 4 5 6 7 9 11 15 20 21 22 23 24 25 34 40 44 47 49 50 55 57 59 67 74 76 78 86 92 95 97 99 101 112 118 121 126 128 132 137 139 141 143 146 147 148 152 153 156 158 160 169 171 174 175 176 178 180 184 187 193 201 202 211 212 213 214 216 220 227 230 232 237 239 248 249 254 255 258 259 262 265 269 270 279 283 288 293 294 295 297 299 301 305 308 309 313 315 317 318 323 324 327 330 335 337 340 346 347 351 352 353 355 361 362 363 a 1 2 3 4 5 6 7 9 11 15 20 21 22 23 24 25 34 40 44 47 49 50 55 57 59 67 74 76 78 86 92 95 97 99 101 112 121 126 128 132 137 139 141 143 146 147 148 152 153 156 158 160 169 171 174 175 176 178 180 184 187 193 201 202 211 212 213 214 216 220 227 230 232 237 239 242 248 249 254 255 258 259 262 265 269 270 279 283 288 293 294 295 297 299 301 305 308 309 313 315 317 318 323 324 327 330 335 337 340 346 347 351 352 353 355 361 362 363 a 1 2 3 4 5 6 7 9 11 15 20 21 22 23 24 25 34 40 44 47 49 50 55 57 59 67 74 76 78 86 92 95 97 99 101 112 126 128 132 137 139 141 143 146 147 148 152 153 156 158 160 169 171 174 175 176 178 180 184 187 193 201 202 211 212 213 214 216 220 227 230 232 237 239 242 248 249 254 255 258 259 262 265 266 269 270 279 283 288 293 294 295 297 299 301 305 308 309 313 315 317 318 323 324 327 330 335 337 340 346 347 351 352 353 355 361 362 363 a 1 2 3 4 5 6 7 9 11 15 20 21 22 23 24 25 40 44 47 49 50 55 57 59 67 74 76 78 86 92 95 97 99 101 112 126 128 132 137 139 141 143 146 147 148 152 153 156 158 160 169 171 174 175 176 178 180 184 187 193 194 201 202 211 212 213 214 216 220 227 230 232 237 239 242 248 249 254 255 258 259 262 265 266 269 270 279 283 288 293 294 295 297 299 301 305 308 309 313 315 317 318 323 324 327 330 335 337 340 346 347 351 352 353 355 361 362 363 a 1 2 3 4 5 6 7 9 11 20 21 22 23 24 25 40 44 47 49 50 55 57 59 67 74 76 78 86 90 92 95 97 99 101 112 126 128 132 137 139 141 143 146 147 148 152 153 156 158 160 169 171 174 175 176 178 180 184 187 193 194 201 202 211 212 213 214 216 220 227 230 232 237 239 242 248 249 254 255 258 259 262 265 266 269 270 279 283 288 293 294 295 297 299 301 305 308 309 313 315 317 318 323 324 327 330 335 337 340 346 347 351 352 353 355 361 362 363 a 1 2 3 4 5 6 7 9 11 20 21 22 23 24 25 40 44 47 49 50 55 57 59 67 74 76 78 86 90 92 95 97 99 101 112 126 128 132 137 139 141 143 146 147 148 152 153 156 158 160 169 171 174 175 176 178 180 184 187 191 193 194 201 211 212 213 214 216 220 227 230 232 237 239 242 248 249 254 255 258 259 262 265 266 269 270 279 283 288 293 294 295 297 299 301 305 308 309 313 315 317 318 323 324 327 330 335 337 340 346 347 351 352 353 355 361 362 363 a 1 2 3 4 5 6 7 9 11 20 21 22 23 24 25 40 44 47 49 50 55 57 59 67 74 76 78 86 90 92 95 97 99 101 112 126 128 132 137 139 141 143 146 147 148 152 153 156 158 169 171 174 175 176 178 180 184 187 191 193 194 201 211 212 213 214 216 220 227 230 232 237 239 242 248 249 254 255 258 259 262 265 266 267 269 270 279 283 288 293 294 295 297 299 301 305 308 309 313 315 317 318 323 324 327 330 335 337 340 346 347 351 352 353 355 361 362 363 a 1 2 3 4 5 6 7 9 11 20 21 22 23 24 25 40 44 47 49 50 55 57 59 67 74 76 78 86 90 92 95 97 98 99 101 112 126 128 132 137 139 141 143 147 148 152 153 156 158 169 171 174 175 176 178 180 184 187 191 193 194 201 211 212 213 214 216 220 227 230 232 237 239 242 248 249 254 255 258 259 262 265 266 267 269 270 279 283 288 293 294 295 297 299 301 305 308 309 313 315 317 318 323 324 327 330 335 337 340 346 347 351 352 353 355 361 362 363 a 1 2 3 4 5 6 7 9 11 20 21 22 23 24 25 40 44 47 49 50 55 57 59 67 74 76 78 86 90 92 95 97 98 99 101 112 126 128 132 137 139 141 143 147 148 152 156 158 169 171 174 175 176 178 180 184 187 191 193 194 201 211 212 213 214 216 220 227 230 232 237 239 242 248 249 254 255 258 259 262 265 266 267 269 270 279 283 288 293 294 295 297 299 301 305 308 309 313 315 317 318 323 324 327 330 335 337 340 341 346 347 351 352 353 355 361 362 363 a 1 2 3 4 5 6 7 9 11 20 21 22 23 24 25 40 44 47 49 50 55 57 59 67 74 76 78 86 90 92 95 97 98 99 101 112 114 126 128 132 137 139 141 143 147 148 152 156 158 169 171 174 175 176 178 180 184 191 193 194 201 211 212 213 214 216 220 227 230 232 237 239 242 248 249 254 255 258 259 262 265 266 267 269 270 279 283 288 293 294 295 297 299 301 305 308 309 313 315 317 318 323 324 327 330 335 337 340 341 346 347 351 352 353 355 361 362 363 a 1 2 3 4 5 6 7 9 11 20 21 22 23 24 25 40 44 47 50 55 57 59 67 74 76 78 86 90 92 95 97 98 99 101 112 114 126 128 132 137 139 141 143 147 148 152 156 158 169 171 174 175 176 178 180 184 191 193 194 201 211 212 213 214 216 220 227 230 232 237 239 242 248 249 254 255 258 259 262 265 266 267 269 270 279 283 288 293 294 295 297 299 301 305 308 309 313 315 317 318 322 323 324 327 330 335 337 340 341 346 347 351 352 353 355 361 362 363 a 1 2 3 4 5 6 7 9 11 20 21 22 23 24 25 40 44 47 50 55 57 59 67 74 76 78 86 90 92 95 97 98 99 101 112 114 126 128 132 137 139 141 143 147 148 152 156 158 169 171 174 175 178 180 184 191 193 194 201 211 212 213 214 216 220 227 229 230 232 237 239 242 248 249 254 255 258 259 262 265 266 267 269 270 279 283 288 293 294 295 297 299 301 305 308 309 313 315 317 318 322 323 324 327 330 335 337 340 341 346 347 351 352 353 355 361 362 363 a 1 2 3 4 5 7 9 11 20 21 22 23 24 25 40 44 47 50 55 57 59 67 74 76 78 86 90 92 95 97 98 99 101 112 114 126 128 132 137 139 141 143 147 148 149 152 156 158 169 171 174 175 178 180 184 191 193 194 201 211 212 213 214 216 220 227 229 230 232 237 239 242 248 249 254 255 258 259 262 265 266 267 269 270 279 283 288 293 294 295 297 299 301 305 308 309 313 315 317 318 322 323 324 327 330 335 337 340 341 346 347 351 352 353 355 361 362 363 a 1 2 3 4 5 7 9 11 20 21 22 23 24 25 40 44 47 50 55 57 59 67 74 76 78 86 90 92 95 97 98 99 101 112 114 126 128 132 137 139 141 143 147 148 149 152 156 158 169 171 174 175 178 180 184 191 193 194 201 211 212 213 214 216 220 227 228 229 230 232 239 242 248 249 254 255 258 259 262 265 266 267 269 270 279 283 288 293 294 295 297 299 301 305 308 309 313 315 317 318 322 323 324 327 330 335 337 340 341 346 347 351 352 353 355 361 362 363 a 1 2 3 4 5 7 9 11 20 21 22 23 24 25 40 44 47 50 55 57 59 65 67 74 76 78 86 90 92 95 97 98 99 101 112 114 126 128 132 137 139 141 143 147 148 149 152 156 158 169 171 174 175 178 180 184 191 193 194 201 211 212 213 214 216 220 227 228 229 230 239 242 248 249 254 255 258 259 262 265 266 267 269 270 279 283 288 293 294 295 297 299 301 305 308 309 313 315 317 318 322 323 324 327 330 335 337 340 341 346 347 351 352 353 355 361 362 363 a 1 2 3 4 5 7 9 11 20 21 22 23 24 25 40 44 47 50 55 57 59 65 67 74 76 78 86 90 92 95 97 98 101 112 114 126 128 132 137 139 141 143 147 148 149 152 156 158 169 171 174 175 178 180 184 191 193 194 201 211 212 213 214 216 220 227 228 229 230 239 242 248 249 254 255 258 259 262 265 266 267 269 270 279 283 288 293 294 295 297 299 301 305 308 309 313 315 317 318 322 323 324 327 330 335 337 340 341 346 347 351 352 353 355 359 361 362 363 c Step: 128 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance028_graph004.col /benchmark/random_instance/random_instance028_graph004_01.dat" User time (seconds): 546.99 System time (seconds): 4.86 Percent of CPU this job got: 151% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:05.39 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): 10565540 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 3576681 Voluntary context switches: 258358 Involuntary context switches: 1301 Swaps: 0 File system inputs: 0 File system outputs: 768 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:20:42 2023]