#BEGIN: [Mon Sep 4 11:13:29 2023] #HOST: s16 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent2 #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 /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): INTERRUPTED by signal! 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 55 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 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 21 24 28 31 33 34 38 39 40 41 43 45 50 51 52 55 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 118 121 122 124 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 20 21 24 28 31 33 34 38 39 40 41 43 45 50 51 52 55 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 118 121 122 124 136 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 20 21 24 28 31 33 34 38 39 40 41 43 45 50 51 52 55 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 118 121 122 124 136 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 309 310 311 319 321 324 329 330 333 339 340 348 349 350 351 353 358 361 a 5 7 11 12 15 16 20 21 24 28 31 33 34 38 39 40 41 43 45 49 50 51 52 55 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 118 121 122 124 136 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 309 310 311 319 321 324 329 330 333 339 340 348 349 350 351 353 358 361 a 5 7 11 12 15 16 20 21 24 28 31 33 34 38 39 40 43 45 49 50 51 52 55 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 118 121 122 124 136 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 249 251 252 254 257 259 263 276 277 279 282 285 288 292 293 294 295 296 304 308 309 310 311 319 321 324 329 330 333 339 340 348 349 350 351 353 358 361 a 5 7 11 12 15 16 20 21 24 28 31 33 34 38 39 40 43 45 49 50 51 52 55 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 118 121 122 124 136 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 237 238 239 241 248 249 251 252 254 257 259 263 277 279 282 285 288 292 293 294 295 296 304 308 309 310 311 319 321 324 329 330 333 339 340 348 349 350 351 353 358 361 a 5 7 11 12 15 16 20 21 24 28 31 33 34 38 39 40 43 45 49 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 118 121 122 124 131 136 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 237 238 239 241 248 249 251 252 254 257 259 263 277 279 282 285 288 292 293 294 295 296 304 308 309 310 311 319 321 324 329 330 333 339 340 348 349 350 351 353 358 361 a 5 7 11 12 15 16 20 21 24 28 31 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 118 121 122 124 131 136 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 237 238 239 241 248 251 252 254 257 259 263 277 279 282 285 288 292 293 294 295 296 304 308 309 310 311 319 321 324 329 330 333 339 340 348 349 350 351 353 358 361 a 5 7 11 12 15 16 20 21 24 28 31 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 118 121 122 124 131 136 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 220 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 309 310 311 319 321 324 329 330 333 339 340 348 349 350 351 353 358 361 a 5 7 11 12 15 16 20 21 24 28 31 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 118 121 122 124 131 136 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 220 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 309 311 319 321 324 329 330 333 335 339 340 348 349 350 351 353 358 361 a 5 7 11 12 15 16 20 21 24 28 31 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 118 121 122 124 131 136 137 140 142 146 147 153 156 158 160 161 169 172 175 176 177 178 180 184 187 193 195 199 201 202 203 205 211 213 220 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 309 311 319 321 324 329 330 333 335 339 340 348 349 350 351 353 358 361 a 5 7 11 12 15 16 20 21 24 28 31 33 34 38 39 40 41 45 49 50 51 52 57 59 60 67 73 84 85 86 89 97 99 100 101 107 109 112 118 121 122 124 131 136 137 140 142 146 147 153 156 158 160 161 169 172 175 176 177 178 180 184 187 193 195 199 201 202 203 205 211 213 220 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 309 311 319 321 324 329 330 333 335 339 340 348 349 350 351 353 358 361 a 5 7 11 12 15 16 18 20 21 24 28 31 33 34 38 39 40 41 45 49 50 51 52 57 59 60 67 73 84 85 86 89 97 99 100 101 107 109 112 118 121 122 124 131 137 140 142 146 147 153 156 158 160 161 169 172 175 176 177 178 180 184 187 193 195 199 201 202 203 205 211 213 220 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 309 311 319 321 324 329 330 333 335 339 340 348 349 350 351 353 358 361 a 5 7 11 12 15 16 18 20 21 24 28 31 33 34 38 39 40 41 45 49 50 51 52 57 59 60 67 73 84 86 89 97 99 100 101 107 109 112 118 121 122 124 131 137 140 141 142 146 147 153 156 158 160 161 169 172 175 176 177 178 180 184 187 193 195 199 201 202 203 205 211 213 220 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 309 311 319 321 324 329 330 333 335 339 340 348 349 350 351 353 358 361 a 5 7 11 12 15 16 20 21 24 28 31 33 34 38 39 40 41 45 49 50 51 52 57 59 60 67 73 84 86 89 97 99 100 101 107 109 112 118 121 122 124 131 136 137 140 141 142 146 147 153 156 158 160 161 169 172 175 176 177 178 180 184 187 193 195 199 201 202 203 205 211 213 220 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 309 311 319 321 324 329 330 333 335 339 340 348 349 350 351 353 358 361 a 5 7 11 12 15 16 20 21 24 28 31 33 34 38 39 40 41 45 49 50 51 52 57 59 60 67 73 84 86 89 99 100 101 107 109 112 118 121 122 124 131 136 137 140 141 142 146 147 153 156 158 160 161 169 172 175 176 177 178 180 184 187 193 195 198 199 201 202 203 205 211 213 220 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 309 311 319 321 324 329 330 333 335 339 340 348 349 350 351 353 358 361 a 5 7 11 12 15 16 20 21 24 28 31 33 34 38 39 40 41 45 49 50 51 52 57 59 60 67 73 84 86 89 99 100 101 107 109 112 118 121 122 124 131 136 137 140 141 142 146 147 153 156 158 160 161 169 172 175 176 177 178 180 184 187 193 195 198 199 201 202 203 205 211 213 220 230 232 233 234 237 238 239 241 248 251 252 253 254 257 259 263 277 279 282 285 288 292 293 294 295 296 304 308 309 311 319 321 324 329 330 333 335 339 340 348 349 351 353 358 361 a 5 7 11 12 15 16 20 21 24 28 31 33 34 38 39 40 41 45 49 50 51 52 57 59 60 67 73 84 86 89 99 100 101 107 109 112 118 121 122 124 131 136 137 140 141 142 146 147 153 156 158 160 161 169 172 175 176 177 178 180 184 187 193 195 198 199 200 201 202 203 205 211 213 220 230 232 233 234 237 238 239 241 248 251 252 253 254 257 259 263 277 279 282 285 288 292 293 294 295 296 304 308 309 311 321 324 329 330 333 335 339 340 348 349 351 353 358 361 a 5 7 11 12 15 16 20 21 24 28 31 33 34 38 39 40 41 45 49 50 51 52 57 59 60 73 84 86 89 99 100 101 107 109 112 118 121 122 124 131 136 137 140 141 142 146 147 153 156 158 160 161 169 172 175 176 177 178 180 184 187 193 195 198 199 200 201 202 203 205 211 213 220 222 230 232 233 234 237 238 239 241 248 251 252 253 254 257 259 263 277 279 282 285 288 292 293 294 295 296 304 308 309 311 321 324 329 330 333 335 339 340 348 349 351 353 358 361 a 2 5 7 11 12 15 16 20 21 24 28 31 33 34 38 39 40 41 45 49 50 52 57 59 60 73 84 86 89 99 100 101 107 109 112 118 121 122 124 131 136 137 140 141 142 146 147 153 156 158 160 161 169 172 175 176 177 178 180 184 187 193 195 198 199 200 201 202 203 205 211 213 220 222 230 232 233 234 237 238 239 241 248 251 252 253 254 257 259 263 277 279 282 285 288 292 293 294 295 296 304 308 309 311 321 324 329 330 333 335 339 340 348 349 351 353 358 361 a 2 5 7 11 12 15 16 20 21 24 28 31 33 34 38 39 40 41 45 49 50 52 57 59 60 73 84 86 89 99 100 101 107 109 112 118 121 122 124 131 136 137 140 141 142 146 147 153 156 158 160 161 169 172 175 176 177 178 180 184 187 193 195 198 199 201 202 203 205 211 213 220 222 230 232 233 234 237 238 239 241 248 251 252 253 254 257 259 263 277 279 282 285 288 292 293 294 295 296 304 308 309 311 319 321 324 329 330 333 335 339 340 348 349 351 353 358 361 a 2 5 7 11 12 15 16 20 21 24 28 31 33 34 38 39 40 41 45 49 50 52 57 59 60 73 84 86 89 99 100 101 107 109 112 118 121 122 124 131 136 137 140 141 142 146 147 153 156 158 160 161 169 172 175 176 177 178 180 184 187 193 195 198 199 201 202 203 205 211 213 220 222 230 232 234 237 238 239 241 248 251 252 253 254 257 259 263 277 279 282 285 288 292 293 294 295 296 304 308 309 311 319 321 324 329 330 332 333 335 339 340 348 349 351 353 358 361 a 2 5 7 11 12 15 16 20 21 24 28 31 33 34 38 39 40 41 45 49 50 52 57 59 60 61 73 84 86 89 99 100 101 107 109 112 118 121 122 124 131 136 137 140 142 146 147 153 156 158 160 161 169 172 175 176 177 178 180 184 187 193 195 198 199 201 202 203 205 211 213 220 222 230 232 234 237 238 239 241 248 251 252 253 254 257 259 263 277 279 282 285 288 292 293 294 295 296 304 308 309 311 319 321 324 329 330 332 333 335 339 340 348 349 351 353 358 361 a 2 5 7 11 12 15 16 20 21 24 28 31 33 34 38 39 40 41 45 49 50 52 57 59 60 61 73 84 86 99 100 101 107 109 112 118 121 122 124 131 136 137 140 142 146 147 153 156 158 160 161 169 172 175 176 177 178 180 184 187 193 195 198 199 201 202 203 205 211 213 220 222 230 232 234 237 238 239 241 243 248 251 252 253 254 257 259 263 277 279 282 285 288 292 293 294 295 296 304 308 309 311 319 321 324 329 330 332 333 335 339 340 348 349 351 353 358 361 a 2 5 6 7 11 12 15 16 20 21 24 28 31 33 34 38 39 40 41 49 50 52 57 59 60 61 73 84 86 99 100 101 107 109 112 118 121 122 124 131 136 137 140 142 146 147 153 156 158 160 161 169 172 175 176 177 178 180 184 187 193 195 198 199 201 202 203 205 211 213 220 222 230 232 234 237 238 239 241 243 248 251 252 253 254 257 259 263 277 279 282 285 288 292 293 294 295 296 304 308 309 311 319 321 324 329 330 332 333 335 339 340 348 349 351 353 358 361 a 2 5 6 7 11 12 15 16 20 21 24 28 31 33 34 38 39 40 41 49 50 52 57 59 60 61 73 84 86 99 100 101 107 109 112 118 121 122 124 131 136 137 140 142 146 147 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 198 199 201 202 203 205 211 213 220 222 230 232 234 237 238 239 241 243 248 251 252 253 254 257 259 263 277 279 282 285 288 292 293 294 295 296 304 308 309 311 319 321 324 329 330 332 333 335 339 340 348 349 351 353 358 361 a 2 5 6 7 11 12 15 16 20 21 24 28 31 33 34 38 39 40 41 49 50 52 57 59 60 61 73 84 85 86 99 100 101 107 109 112 118 121 122 124 131 136 137 140 142 146 147 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 198 199 201 202 203 205 211 213 220 230 232 234 237 238 239 241 243 248 251 252 253 254 257 259 263 277 279 282 285 288 292 293 294 295 296 304 308 309 311 319 321 324 329 330 332 333 335 339 340 348 349 351 353 358 361 a 2 5 6 7 11 12 15 16 20 21 24 28 33 34 38 39 40 41 49 50 52 57 59 60 61 73 84 85 86 89 99 100 101 107 109 112 118 121 122 124 131 136 137 140 142 146 147 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 198 199 201 202 203 205 211 213 220 230 232 234 237 238 239 241 243 248 251 252 253 254 257 259 263 277 279 282 285 288 292 293 294 295 296 304 308 309 311 319 321 324 329 330 332 333 335 339 340 348 349 351 353 358 361 a 2 5 6 7 12 15 16 20 21 24 28 33 34 38 39 40 41 49 50 52 57 59 60 61 73 84 85 86 89 99 100 101 107 109 112 118 121 122 124 131 136 137 140 142 146 147 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 198 199 201 202 203 205 211 213 220 230 232 234 237 238 239 241 243 248 251 252 253 254 257 259 263 270 277 279 282 285 288 292 293 294 295 296 304 308 309 311 319 321 324 329 330 332 333 335 339 340 348 349 351 353 358 361 a 2 5 7 12 15 16 20 21 24 28 33 34 38 39 40 41 45 49 50 52 57 59 60 61 73 84 85 86 89 99 100 101 107 109 112 118 121 122 124 131 136 137 140 142 146 147 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 198 199 201 202 203 205 211 213 220 230 232 234 237 238 239 241 243 248 251 252 253 254 257 259 263 270 277 279 282 285 288 292 293 294 295 296 304 308 309 311 319 321 324 329 330 332 333 335 339 340 348 349 351 353 358 361 a 2 5 7 12 15 16 20 21 24 28 33 34 38 39 40 41 43 45 49 50 52 57 59 60 61 73 84 85 86 89 99 100 101 107 109 112 118 121 122 124 131 136 137 140 142 146 147 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 198 199 201 202 203 205 211 213 230 232 234 237 238 239 241 243 248 251 252 253 254 257 259 263 270 277 279 282 285 288 292 293 294 295 296 304 308 309 311 319 321 324 329 330 332 333 335 339 340 348 349 351 353 358 361 a 2 5 6 7 12 15 16 20 21 24 28 33 34 38 39 40 41 43 49 50 52 57 59 60 61 73 84 85 86 89 99 100 101 107 109 112 118 121 122 124 131 136 137 140 142 146 147 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 198 199 201 202 203 205 211 213 230 232 234 237 238 239 241 243 248 251 252 253 254 257 259 263 270 277 279 282 285 288 292 293 294 295 296 304 308 309 311 319 321 324 329 330 332 333 335 339 340 348 349 351 353 358 361 a 2 5 6 7 12 15 16 20 21 24 28 33 34 38 39 40 41 43 49 50 52 57 59 60 61 73 84 85 86 99 100 101 107 109 112 118 121 122 124 131 136 137 140 142 146 147 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 198 199 201 202 203 205 211 213 222 230 232 234 237 238 239 241 243 248 251 252 253 254 257 259 263 270 277 279 282 285 288 292 293 294 295 296 304 308 309 311 319 321 324 329 330 332 333 335 339 340 348 349 351 353 358 361 a 5 6 7 11 12 15 16 20 21 24 28 33 34 38 39 40 41 43 49 50 52 57 59 60 61 73 84 85 86 99 100 101 107 109 112 118 121 122 124 131 136 137 140 142 146 147 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 198 199 201 202 203 205 211 213 222 230 232 234 237 238 239 241 243 248 251 252 253 254 257 259 263 270 277 279 282 285 288 292 293 294 295 296 304 308 309 311 319 321 324 329 330 332 333 335 339 340 348 349 351 353 358 361 a 5 6 7 11 12 15 16 20 21 24 28 33 34 38 39 40 41 43 49 50 52 57 59 60 61 73 84 85 86 99 100 101 107 109 112 118 121 122 124 131 136 137 140 142 146 147 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 198 199 201 203 205 211 213 222 230 232 234 237 238 239 241 243 248 251 252 253 254 257 259 263 270 277 279 282 285 288 292 293 294 295 296 304 308 309 311 319 321 324 329 330 332 333 335 339 340 348 349 351 353 358 361 364 a 5 6 7 11 12 15 16 20 21 24 28 33 34 38 39 40 41 43 49 50 52 57 59 60 61 73 84 85 86 99 100 101 107 109 112 118 121 122 124 131 136 137 140 142 146 147 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 198 199 200 201 203 205 211 213 222 230 232 234 237 238 239 241 243 248 251 252 253 254 257 259 263 270 277 279 282 285 288 292 293 294 295 296 304 308 309 311 321 324 329 330 332 333 335 339 340 348 349 351 353 358 361 364 a 2 5 6 7 11 12 15 16 20 21 24 28 33 34 38 39 40 41 43 49 50 52 57 59 60 61 73 84 85 86 99 100 101 107 109 112 118 121 122 124 131 136 137 140 142 146 147 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 198 199 200 201 203 205 211 213 222 230 232 234 237 238 239 241 243 248 251 252 253 254 257 259 263 270 277 279 282 285 288 292 293 294 295 296 304 308 309 311 321 324 329 330 332 333 335 339 340 349 351 353 358 361 364 a 2 5 6 7 11 12 15 16 20 21 24 28 33 34 38 39 40 41 43 49 50 52 57 59 60 61 73 84 85 86 99 100 101 107 109 112 118 121 122 124 131 136 137 140 142 146 147 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 198 199 200 201 203 205 211 213 222 230 232 234 237 238 239 241 243 248 251 252 254 257 259 263 270 277 279 282 285 288 292 293 294 295 296 304 308 309 311 321 324 329 330 332 333 335 339 340 349 350 351 353 358 361 364 a 2 5 6 11 12 15 16 20 21 24 28 33 34 38 39 40 41 43 49 50 52 57 59 60 61 73 84 85 86 99 100 101 107 109 112 118 121 122 124 131 136 137 140 142 146 147 153 156 158 160 161 164 166 169 172 175 176 177 178 184 187 193 195 198 199 200 201 203 205 211 213 222 230 232 234 237 238 239 241 243 248 251 252 254 257 259 263 270 277 279 282 285 288 292 293 294 295 296 304 308 309 311 321 324 329 330 332 333 335 339 340 349 350 351 353 358 361 364 a 2 5 6 11 12 15 16 20 21 24 28 33 34 38 39 40 41 43 49 50 52 57 59 60 61 73 84 85 86 97 99 100 101 107 109 112 118 121 122 124 131 136 137 140 142 146 147 153 156 158 160 161 164 166 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 248 251 252 254 257 259 263 270 277 279 282 285 288 292 293 294 295 296 304 308 309 311 321 324 329 330 332 333 335 339 340 349 350 351 353 358 361 364 a 2 5 6 11 12 15 16 20 21 24 28 33 34 38 39 40 41 43 49 50 52 57 59 60 61 73 84 85 86 89 97 99 100 101 107 109 112 118 121 122 124 131 136 137 140 142 146 147 153 156 158 160 161 164 166 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 248 251 252 254 257 259 263 270 277 279 282 285 288 292 293 294 295 296 304 308 309 311 321 324 329 330 332 333 335 339 340 349 350 351 353 358 361 a 2 5 6 11 12 15 16 20 21 24 28 33 34 38 39 40 41 43 49 50 52 57 59 60 61 73 84 85 86 89 97 99 100 101 107 109 112 118 121 122 124 131 136 137 140 142 146 147 153 156 158 160 161 164 166 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 248 251 252 254 257 259 263 270 277 279 282 285 288 292 293 294 295 296 304 308 309 310 311 321 324 329 330 332 333 339 340 349 350 351 353 358 361 a 2 5 6 11 12 15 16 20 21 24 28 33 34 38 39 40 41 43 49 52 57 59 60 61 73 84 85 86 89 97 99 100 101 107 109 112 118 121 122 124 131 136 137 140 142 146 147 153 156 158 160 161 164 166 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 248 251 252 254 257 259 263 270 277 279 282 285 288 292 293 294 295 296 304 306 308 309 310 311 321 324 329 330 332 333 339 340 349 350 351 353 358 361 a 2 5 6 11 12 15 16 20 21 24 28 33 34 38 39 40 41 43 49 52 57 59 60 61 73 84 85 86 89 97 99 100 101 107 109 112 118 121 122 124 131 136 137 140 142 146 147 153 156 158 160 161 164 166 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 248 251 252 254 257 259 263 270 277 279 282 285 288 292 293 294 295 296 304 306 308 309 310 311 321 324 329 330 332 333 339 340 348 349 350 351 353 358 a 2 5 6 12 15 16 20 21 24 28 33 34 38 39 40 41 43 49 52 57 59 60 61 73 84 85 86 89 97 99 100 101 107 109 112 118 121 122 124 131 136 137 140 142 146 147 153 156 158 160 161 164 166 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 263 270 277 279 282 285 288 292 293 294 295 296 304 306 308 309 310 311 321 324 329 330 332 333 339 340 348 349 350 351 353 358 a 2 5 6 12 15 16 20 21 24 28 33 34 38 39 40 41 43 49 50 52 57 59 60 61 73 84 85 86 89 97 99 100 101 107 109 112 118 121 122 124 131 136 137 140 142 146 147 153 156 158 160 161 164 166 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 263 270 277 279 282 285 288 292 293 294 295 296 304 306 308 309 310 311 321 324 329 330 332 333 339 340 348 349 350 351 358 a 2 5 11 12 15 16 20 21 24 28 33 34 38 39 40 41 43 49 50 52 57 59 60 61 73 84 85 86 89 97 99 100 101 107 109 112 118 121 122 124 131 136 137 140 142 146 147 153 156 158 160 161 164 166 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 263 270 277 279 282 285 288 292 293 294 295 296 304 306 308 309 310 311 321 324 329 330 332 333 339 340 348 349 350 351 358 a 2 4 5 11 12 15 16 20 21 24 28 33 34 38 39 40 41 43 49 50 52 57 59 60 61 73 84 85 86 89 97 99 100 101 107 109 112 118 121 122 124 131 136 137 140 142 146 147 153 156 158 161 164 166 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 263 270 277 279 282 285 288 292 293 294 295 296 304 306 308 309 310 311 321 324 329 330 332 333 339 340 348 349 350 351 358 a 2 4 5 11 12 15 16 20 21 24 28 33 34 38 40 41 43 49 50 52 57 59 60 61 73 84 85 86 89 97 99 100 101 107 109 112 118 121 122 124 131 136 137 140 142 146 147 153 156 158 161 164 166 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 263 270 277 279 282 285 288 292 293 294 295 296 304 306 308 309 310 311 321 324 329 330 332 333 339 340 348 349 350 351 358 364 a 2 4 5 11 12 15 16 20 21 24 28 33 34 38 40 41 43 49 50 52 57 59 60 61 73 84 85 86 89 97 99 100 101 107 109 112 118 121 122 124 131 136 137 140 142 146 147 153 156 158 161 164 166 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 263 270 277 279 282 285 288 292 293 294 295 296 304 306 308 309 310 311 321 324 329 330 332 333 339 340 348 349 350 351 353 364 a 2 4 5 11 12 15 16 20 21 24 28 33 34 38 39 40 41 43 49 50 52 57 59 60 61 73 84 85 86 89 97 99 100 101 107 109 112 118 121 122 124 131 136 137 140 142 146 147 153 156 158 161 164 166 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 263 270 277 279 282 285 288 292 293 294 295 296 304 306 308 309 310 311 321 329 330 332 333 339 340 348 349 350 351 353 364 a 2 4 5 11 12 15 16 20 21 24 28 33 34 38 39 40 41 43 49 50 52 57 59 60 61 73 84 85 86 89 97 99 100 101 107 109 112 118 121 122 124 131 136 137 140 142 146 147 153 156 158 160 161 164 166 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 263 270 277 279 282 285 288 292 293 294 295 296 304 306 308 309 310 311 321 329 330 332 333 339 340 348 349 350 351 353 a 2 4 5 11 12 15 16 20 21 24 28 33 34 38 39 40 41 43 49 50 52 57 59 60 61 73 84 85 86 89 97 99 100 101 107 109 112 115 118 121 122 124 131 136 137 140 142 146 147 153 156 158 160 161 164 166 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 259 263 270 277 279 282 285 288 292 293 294 295 296 304 306 308 309 310 311 321 329 330 332 333 339 340 348 349 350 351 353 a 2 4 5 11 12 15 16 20 21 24 28 33 34 38 39 40 43 49 50 52 57 59 60 61 73 84 85 86 89 97 99 100 101 107 109 112 115 118 121 122 124 131 136 137 140 142 146 147 153 156 158 160 161 164 166 169 172 174 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 259 263 270 277 279 282 285 288 292 293 294 295 296 304 306 308 309 310 311 321 329 330 332 333 339 340 348 349 350 351 353 a 2 4 5 11 12 15 16 20 21 24 28 33 34 38 39 40 43 49 50 52 55 57 59 60 61 73 84 85 86 89 97 99 100 101 107 109 112 115 118 121 122 124 136 137 140 142 146 147 153 156 158 160 161 164 166 169 172 174 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 259 263 270 277 279 282 285 288 292 293 294 295 296 304 306 308 309 310 311 321 329 330 332 333 339 340 348 349 350 351 353 a 2 4 5 11 12 15 16 20 21 24 28 33 34 38 39 40 43 49 50 52 55 57 59 60 61 73 84 85 86 89 97 99 101 107 109 112 115 118 121 122 124 136 137 140 142 146 147 153 156 158 160 161 164 166 169 172 174 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 259 263 270 277 279 282 285 288 292 293 294 295 296 304 306 308 309 310 311 321 324 329 330 332 333 339 340 348 349 350 351 353 a 2 4 5 11 12 15 16 20 21 24 28 33 34 38 39 40 43 49 50 52 55 57 59 60 61 73 84 85 86 89 97 99 101 107 109 112 115 118 121 122 124 136 137 140 142 146 147 153 156 158 160 161 164 166 169 172 174 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 259 263 270 277 279 282 285 288 292 293 294 295 296 304 306 308 309 311 321 324 329 330 332 333 335 339 340 348 349 350 351 353 a 2 4 5 11 12 15 16 20 21 24 28 33 34 38 39 40 43 49 50 52 55 57 59 60 61 73 84 85 86 89 97 99 101 107 109 112 115 118 122 124 136 137 140 142 146 147 153 156 158 160 161 164 166 169 172 174 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 259 262 263 270 277 279 282 285 288 292 293 294 295 296 304 306 308 309 311 321 324 329 330 332 333 335 339 340 348 349 350 351 353 a 2 4 5 11 12 15 16 20 21 24 28 33 34 38 39 40 43 49 50 52 55 57 59 60 61 73 84 85 86 89 97 99 101 107 109 112 115 118 122 124 136 137 140 142 146 147 153 156 158 160 161 164 166 169 172 174 175 176 177 178 184 187 193 195 200 201 203 205 211 213 222 230 232 234 237 238 239 241 243 244 248 251 252 254 259 262 263 270 277 279 282 283 285 288 292 293 294 295 296 304 306 308 309 311 321 324 329 330 332 333 335 339 340 348 349 350 351 353 a 2 4 5 11 12 15 16 20 21 24 28 33 34 38 39 40 43 49 50 52 55 57 59 60 61 73 84 85 86 89 97 99 101 107 109 112 115 118 122 124 136 137 140 142 146 147 153 156 158 160 161 164 166 169 172 174 175 176 177 178 184 187 193 195 200 201 203 205 211 213 222 230 232 234 237 238 239 241 243 244 248 251 252 254 259 262 263 270 277 279 282 283 285 288 292 293 294 295 296 304 306 308 309 311 315 321 324 330 332 333 335 339 340 348 349 350 351 353 a 2 4 5 11 12 15 16 20 21 24 28 33 34 38 39 40 43 49 50 52 55 57 59 60 61 73 84 85 86 89 97 99 101 107 109 112 115 118 122 124 136 137 140 142 146 147 153 156 158 160 161 164 166 169 171 172 174 175 176 177 178 184 187 193 195 200 201 203 205 211 213 222 230 232 237 238 239 241 243 244 248 251 252 254 259 262 263 270 277 279 282 283 285 288 292 293 294 295 296 304 306 308 309 311 315 321 324 330 332 333 335 339 340 348 349 350 351 353 a 2 4 5 11 12 15 16 20 21 24 28 33 34 38 39 40 43 49 50 52 55 57 59 60 61 73 84 85 86 89 97 99 101 107 109 112 115 118 122 124 136 137 140 142 146 147 153 156 158 160 161 164 166 169 171 172 174 175 176 177 178 184 187 193 195 200 201 203 205 211 213 222 230 232 237 238 239 241 243 244 248 251 252 254 259 262 263 270 279 282 283 285 288 292 293 294 295 296 304 306 308 309 311 315 321 324 330 332 333 335 339 340 346 348 349 350 351 353 a 2 4 5 11 12 15 16 20 21 24 28 33 34 38 39 40 43 49 50 52 55 57 59 60 61 73 84 85 86 89 97 99 101 107 109 112 118 122 124 136 137 140 142 146 147 153 156 158 160 161 164 166 169 171 172 174 175 176 177 178 184 187 193 195 200 201 203 205 211 213 222 230 232 237 238 239 241 243 244 248 251 252 254 259 262 263 270 279 282 283 285 288 292 293 294 295 296 304 306 308 309 311 315 321 324 330 332 333 335 339 340 346 348 349 350 351 353 361 a 2 4 5 11 12 15 16 20 21 24 28 33 34 38 39 40 43 49 50 55 57 59 60 61 73 84 85 86 89 97 99 101 107 109 112 118 122 124 136 137 140 142 146 147 153 156 158 160 161 164 166 169 171 172 174 175 176 177 178 184 187 193 195 200 201 203 205 211 213 216 222 230 232 237 238 239 241 243 244 248 251 252 254 259 262 263 270 279 282 283 285 288 292 293 294 295 296 304 306 308 309 311 315 321 324 330 332 333 335 339 340 346 348 349 350 351 353 361 a 2 4 5 11 12 15 16 20 21 24 28 33 34 38 39 40 43 49 50 55 57 59 60 61 73 76 84 85 86 89 97 99 101 107 109 112 118 122 124 136 137 140 142 146 147 153 156 158 160 161 164 166 169 171 172 174 175 176 177 178 184 187 193 195 200 201 203 205 211 213 216 222 230 232 237 238 239 241 243 244 248 251 252 254 259 262 263 270 279 282 283 285 288 292 293 294 295 296 304 306 308 309 311 315 321 324 330 333 335 339 340 346 348 349 350 351 353 361 a 2 4 5 11 12 15 16 20 21 24 28 33 34 38 39 40 43 49 50 55 57 59 60 61 73 76 84 85 86 89 97 99 101 107 109 112 118 122 124 136 137 140 142 146 147 153 156 158 160 161 164 166 169 171 172 174 175 176 177 178 184 187 193 195 200 201 203 205 211 213 216 222 227 230 232 237 238 239 241 243 244 248 251 252 254 259 262 263 270 279 282 283 285 288 292 293 294 295 296 306 308 309 311 315 321 324 330 333 335 339 340 346 348 349 350 351 353 361 a 2 4 5 11 12 15 16 20 21 24 28 33 34 38 39 40 43 49 50 55 57 59 60 61 73 76 84 85 86 89 97 101 107 109 112 118 122 124 136 137 140 142 146 147 153 156 158 160 161 164 166 169 171 172 174 175 176 177 178 184 187 193 195 200 201 203 205 211 213 216 222 227 230 232 237 238 239 241 243 244 248 251 252 254 259 262 263 270 279 282 283 285 288 292 293 294 295 296 306 308 309 311 315 321 324 330 333 335 339 340 346 348 349 350 351 353 359 361 a 2 4 5 11 12 15 16 20 21 24 28 33 34 38 39 40 43 49 50 55 57 59 60 61 73 76 84 85 86 89 97 101 107 109 112 118 122 124 136 137 140 142 146 147 153 156 158 160 164 166 169 171 172 174 175 176 177 178 184 187 193 195 200 201 203 205 211 213 216 222 227 230 232 237 238 239 241 243 244 248 251 252 254 255 259 262 263 270 279 282 283 285 288 292 293 294 295 296 306 308 309 311 315 321 324 330 333 335 339 340 346 348 349 350 351 353 359 361 a 2 4 5 11 12 15 16 20 21 24 28 33 34 39 40 43 49 50 55 57 59 60 61 73 76 84 85 86 89 97 101 107 109 112 118 122 124 136 137 140 142 146 147 153 156 158 160 164 166 169 171 172 174 175 176 177 178 184 187 193 195 200 201 203 205 211 212 213 216 222 227 230 232 237 238 239 241 243 244 248 251 252 254 255 259 262 263 270 279 282 283 285 288 292 293 294 295 296 306 308 309 311 315 321 324 330 333 335 339 340 346 348 349 350 351 353 359 361 a 2 4 5 11 12 15 16 20 21 24 28 33 34 39 40 43 49 50 55 57 59 60 61 73 76 84 85 86 89 95 97 101 107 109 112 118 122 124 136 137 140 142 146 147 153 156 158 160 164 166 169 171 172 174 175 176 177 178 184 187 193 195 200 201 203 211 212 213 216 222 227 230 232 237 238 239 241 243 244 248 251 252 254 255 259 262 263 270 279 282 283 285 288 292 293 294 295 296 306 308 309 311 315 321 324 330 333 335 339 340 346 348 349 350 351 353 359 361 a 2 4 5 11 12 15 16 20 21 24 28 33 34 39 40 49 50 55 57 59 60 61 73 76 84 85 86 89 95 97 101 107 109 112 118 122 124 136 137 140 142 146 147 153 156 158 160 164 166 169 171 172 174 175 176 177 178 184 187 193 195 200 201 203 211 212 213 216 220 222 227 230 232 237 238 239 241 243 244 248 251 252 254 255 259 262 263 270 279 282 283 285 288 292 293 294 295 296 306 308 309 311 315 321 324 330 333 335 339 340 346 348 349 350 351 353 359 361 a 2 4 5 11 12 15 16 20 21 24 28 33 34 39 40 49 50 55 57 59 60 61 67 73 76 84 85 86 89 95 97 101 107 109 112 118 122 124 136 137 140 142 146 147 153 156 158 160 164 166 169 171 172 174 175 176 177 178 184 187 193 195 200 201 203 211 212 213 216 220 227 230 232 237 238 239 241 243 244 248 251 252 254 255 259 262 263 270 279 282 283 285 288 292 293 294 295 296 306 308 309 311 315 321 324 330 333 335 339 340 346 348 349 350 351 353 359 361 a 2 4 5 11 12 15 16 20 21 24 28 33 34 39 40 49 50 55 57 59 60 61 67 73 76 84 85 86 89 95 97 101 107 109 112 118 122 124 136 137 140 142 146 147 153 156 158 160 166 169 171 172 174 175 176 177 178 180 184 187 193 195 200 201 203 211 212 213 216 220 227 230 232 237 238 239 241 243 244 248 251 252 254 255 259 262 263 270 279 282 283 285 288 292 293 294 295 296 306 308 309 311 315 321 324 330 333 335 339 340 346 348 349 350 351 353 359 361 a 2 4 5 11 12 15 16 20 21 24 28 33 34 39 40 49 50 55 57 59 60 61 67 73 76 84 85 86 89 95 97 101 107 109 112 118 122 124 136 137 140 142 146 147 153 156 158 160 166 169 171 172 174 175 176 177 178 180 184 187 193 195 200 201 203 211 212 213 216 220 227 230 232 237 238 239 241 243 244 248 251 252 254 255 259 262 263 270 279 282 283 285 288 292 293 294 295 299 306 308 309 311 315 321 324 330 333 335 339 340 346 348 349 350 351 353 359 361 a 2 4 5 11 12 15 16 20 21 24 28 33 34 39 40 49 50 55 57 59 60 61 67 73 76 84 85 86 89 95 97 101 107 112 118 122 124 136 137 140 142 146 147 153 156 158 160 166 169 171 172 174 175 176 177 178 180 184 187 193 195 200 201 203 211 212 213 216 220 227 230 232 237 238 239 241 243 244 248 251 252 254 255 259 262 263 270 279 282 283 285 288 292 293 294 295 299 306 308 309 311 315 321 324 330 333 335 339 340 346 348 349 350 351 353 355 359 361 a 2 4 5 11 12 15 16 20 21 24 28 33 34 39 40 49 50 55 57 59 60 61 67 73 76 78 84 85 86 89 95 97 101 107 112 118 122 124 136 137 140 142 146 147 153 156 158 160 166 169 171 172 174 175 176 177 178 180 184 187 193 195 200 201 203 211 212 213 216 220 227 230 232 237 238 239 241 243 244 248 251 252 254 255 259 262 263 270 279 282 283 285 288 292 293 294 295 299 306 308 309 311 315 321 324 330 335 339 340 346 348 349 350 351 353 355 359 361 a 2 4 5 11 12 15 16 20 21 24 28 33 34 39 40 47 49 50 55 57 59 60 61 67 73 76 78 84 85 86 89 95 97 101 107 112 118 122 124 136 137 140 142 147 153 156 158 160 166 169 171 172 174 175 176 177 178 180 184 187 193 195 200 201 203 211 212 213 216 220 227 230 232 237 238 239 241 243 244 248 251 252 254 255 259 262 263 270 279 282 283 285 288 292 293 294 295 299 306 308 309 311 315 321 324 330 335 339 340 346 348 349 350 351 353 355 359 361 a 2 4 5 11 12 15 16 20 21 24 28 33 34 39 40 47 49 50 55 57 59 60 61 67 73 76 78 84 85 86 89 95 97 101 107 112 118 122 124 136 137 140 142 147 153 156 158 160 166 169 171 172 174 175 176 177 178 180 184 187 193 195 200 201 203 211 212 213 216 220 227 230 232 237 238 239 241 243 244 248 251 254 255 259 262 263 270 279 282 283 285 288 292 293 294 295 299 306 308 309 311 315 321 324 330 335 339 340 346 348 349 350 351 352 353 355 359 361 a 2 4 5 11 12 15 16 20 21 24 28 33 34 39 40 47 49 50 55 57 59 60 61 67 73 76 78 84 85 86 89 95 97 101 107 112 118 122 124 126 136 137 140 142 147 153 156 158 160 166 169 171 172 174 175 176 177 178 180 184 187 193 195 200 201 211 212 213 216 220 227 230 232 237 238 239 241 243 244 248 251 254 255 259 262 263 270 279 282 283 285 288 292 293 294 295 299 306 308 309 311 315 321 324 330 335 339 340 346 348 349 350 351 352 353 355 359 361 a 2 4 5 11 12 15 16 20 21 24 28 33 34 39 40 47 49 50 55 57 59 60 61 67 73 76 78 84 85 86 89 95 97 101 107 112 118 122 126 136 137 140 142 147 153 156 158 160 166 169 171 172 174 175 176 177 178 180 184 187 193 195 200 201 211 212 213 216 220 227 230 232 237 238 239 241 243 244 248 251 254 255 259 262 263 270 279 282 283 285 288 292 293 294 295 299 306 308 309 311 315 321 324 330 335 339 340 346 348 349 350 351 352 353 355 359 361 362 a 2 4 5 11 12 15 16 20 21 24 28 33 34 39 40 47 50 55 57 59 60 61 67 73 76 78 84 85 86 89 95 97 101 107 112 118 122 126 136 137 140 142 147 153 156 158 160 166 169 171 172 174 175 176 177 178 180 184 187 193 195 200 201 211 212 213 216 220 227 229 230 232 237 238 239 241 243 244 248 251 254 255 259 262 263 270 279 282 283 285 288 292 293 294 295 299 306 308 309 311 315 321 324 330 335 339 340 346 348 349 350 351 352 353 355 359 361 362 a 2 4 5 11 12 15 20 21 24 28 33 34 39 40 47 50 55 57 59 60 61 67 73 76 78 84 85 86 89 92 95 97 101 107 112 118 122 126 136 137 140 142 147 153 156 158 160 166 169 171 172 174 175 176 177 178 180 184 187 193 195 200 201 211 212 213 216 220 227 229 230 232 237 238 239 241 243 244 248 251 254 255 259 262 263 270 279 282 283 285 288 292 293 294 295 299 306 308 309 311 315 321 324 330 335 339 340 346 348 349 350 351 352 353 355 359 361 362 a 2 4 5 11 12 15 20 21 24 28 33 34 39 40 47 50 55 57 59 60 61 67 73 76 78 84 85 86 89 92 95 97 101 107 112 118 122 126 136 137 140 142 147 153 156 158 160 166 169 171 172 174 175 176 177 178 180 184 187 193 195 200 201 211 212 213 214 216 220 227 229 230 232 237 238 239 241 243 244 248 251 254 255 259 262 263 270 279 282 283 285 288 292 293 294 295 299 306 308 309 315 321 324 330 335 339 340 346 348 349 350 351 352 353 355 359 361 362 a 2 4 5 11 12 15 20 21 24 28 33 34 39 40 47 50 55 57 59 60 61 67 73 76 78 84 85 86 89 92 95 97 101 107 112 118 122 126 137 140 142 147 152 153 156 158 160 166 169 171 172 174 175 176 177 178 180 184 187 193 195 200 201 211 212 213 214 216 220 227 229 230 232 237 238 239 241 243 244 248 251 254 255 259 262 263 270 279 282 283 285 288 292 293 294 295 299 306 308 309 315 321 324 330 335 339 340 346 348 349 350 351 352 353 355 359 361 362 a 2 3 4 5 11 15 20 21 24 28 33 34 39 40 47 50 55 57 59 60 61 67 73 76 78 84 85 86 89 92 95 97 101 107 112 118 122 126 137 140 142 147 152 153 156 158 160 166 169 171 172 174 175 176 177 178 180 184 187 193 195 200 201 211 212 213 214 216 220 227 229 230 232 237 238 239 241 243 244 248 251 254 255 259 262 263 270 279 282 283 285 288 292 293 294 295 299 306 308 309 315 321 324 330 335 339 340 346 348 349 350 351 352 353 355 359 361 362 a 2 3 4 5 11 15 20 21 24 28 33 34 40 47 50 55 57 59 60 61 67 73 76 78 84 85 86 89 92 95 97 101 107 112 118 122 126 137 140 142 147 152 153 156 158 160 166 169 171 172 174 175 176 177 178 180 184 187 193 195 200 201 211 212 213 214 216 220 227 229 230 232 237 238 239 241 243 244 248 251 254 255 259 262 263 270 279 282 283 285 288 292 293 294 295 299 306 308 309 315 321 324 327 330 335 339 340 346 348 349 350 351 352 353 355 359 361 362 a 2 3 4 5 11 15 20 21 24 28 33 34 40 47 50 55 57 59 60 61 67 73 76 78 84 85 86 89 92 95 97 101 107 112 118 122 126 137 140 142 147 152 153 156 158 160 166 169 171 172 174 175 176 177 178 180 184 187 193 195 200 201 211 212 213 214 216 220 227 229 230 232 237 238 239 241 244 248 251 254 255 259 262 263 270 279 282 283 285 288 292 293 294 295 299 306 308 309 315 317 321 324 327 330 335 339 340 346 348 349 350 351 352 353 355 359 361 362 a 2 3 4 5 11 15 20 21 24 28 33 34 40 47 50 55 57 59 60 61 67 73 74 76 78 84 85 86 89 92 95 97 101 107 112 118 122 126 137 140 142 147 152 153 156 158 160 166 169 171 172 174 175 176 178 180 184 187 193 195 200 201 211 212 213 214 216 220 227 229 230 232 237 238 239 241 244 248 251 254 255 259 262 263 270 279 282 283 285 288 292 293 294 295 299 306 308 309 315 317 321 324 327 330 335 339 340 346 348 349 350 351 352 353 355 359 361 362 a 2 3 4 5 11 15 20 21 24 28 33 34 40 47 50 55 57 59 60 61 67 74 76 78 84 85 86 89 92 95 97 101 107 112 118 122 126 137 140 142 147 152 153 156 158 160 166 169 171 172 174 175 176 178 180 184 187 193 195 200 201 211 212 213 214 216 220 227 229 230 232 237 238 239 241 244 248 251 254 255 259 262 263 270 279 282 283 285 288 292 293 294 295 299 306 308 309 315 317 321 324 327 330 335 339 340 346 347 348 349 350 351 352 353 355 359 361 362 a 2 3 4 5 11 15 20 21 24 28 33 34 40 47 50 55 57 59 60 61 67 74 76 78 84 85 86 89 92 95 97 101 107 112 118 122 126 128 137 140 142 147 152 153 156 158 160 166 169 171 172 174 175 176 178 180 184 187 193 195 200 201 211 212 213 214 216 220 227 229 230 232 237 238 239 241 244 248 251 254 255 259 262 263 270 279 282 283 285 288 292 293 294 295 299 306 308 309 315 317 321 324 327 330 335 339 340 346 347 349 350 351 352 353 355 359 361 362 a 2 3 4 5 11 15 20 21 24 28 33 34 40 47 50 55 57 59 60 61 67 74 76 78 84 85 86 89 92 95 97 101 107 112 118 122 126 128 137 139 140 142 147 152 153 156 158 160 166 169 171 172 174 175 176 178 180 184 187 193 195 200 201 211 212 213 214 216 220 227 229 230 232 237 238 239 241 244 248 251 254 255 259 262 263 270 279 282 283 285 288 292 293 294 295 299 308 309 315 317 321 324 327 330 335 339 340 346 347 349 350 351 352 353 355 359 361 362 a 2 3 4 5 7 11 15 20 21 24 28 33 34 40 47 50 55 57 59 60 61 67 74 76 78 84 85 86 89 92 95 97 101 107 112 118 122 126 128 137 139 140 142 147 152 153 156 158 160 169 171 172 174 175 176 178 180 184 187 193 195 200 201 211 212 213 214 216 220 227 229 230 232 237 238 239 241 244 248 251 254 255 259 262 263 270 279 282 283 285 288 292 293 294 295 299 308 309 315 317 321 324 327 330 335 339 340 346 347 349 350 351 352 353 355 359 361 362 a 2 3 4 5 7 11 15 20 21 24 28 33 34 40 47 50 55 57 59 60 61 67 74 76 78 84 85 86 92 95 97 101 107 112 118 122 126 128 137 139 140 142 147 152 153 156 158 160 169 171 172 174 175 176 178 180 184 187 193 195 200 201 211 212 213 214 216 220 227 229 230 232 237 238 239 241 244 248 249 251 254 255 259 262 263 270 279 282 283 285 288 292 293 294 295 299 308 309 315 317 321 324 327 330 335 339 340 346 347 349 350 351 352 353 355 359 361 362 a 2 3 4 5 7 11 15 20 21 24 28 33 34 40 47 50 55 57 59 60 61 67 74 76 78 84 85 86 92 95 97 101 107 112 118 122 126 128 137 139 140 142 147 152 153 156 158 160 169 171 172 174 175 176 178 180 184 187 193 195 200 201 211 212 213 214 216 220 227 229 230 232 237 239 241 244 248 249 251 254 255 259 262 263 269 270 279 282 283 285 288 292 293 294 295 299 308 309 315 317 321 324 327 330 335 339 340 346 347 349 350 351 352 353 355 359 361 362 a 2 3 4 5 7 11 15 20 21 24 28 33 34 40 47 50 55 57 59 60 61 67 74 76 78 84 85 86 92 95 97 101 107 112 118 122 126 128 137 139 140 142 147 152 153 156 158 160 169 171 172 174 175 176 178 180 184 187 193 200 201 211 212 213 214 216 220 227 229 230 232 237 239 241 244 248 249 251 254 255 259 262 263 269 270 279 282 283 285 288 292 293 294 295 299 308 309 315 317 321 324 327 330 335 339 340 346 347 349 350 351 352 353 355 359 361 362 363 a 2 3 4 5 7 11 15 20 21 24 28 34 40 47 50 55 57 59 60 61 67 74 76 78 84 85 86 92 95 97 101 107 112 118 122 126 128 137 139 140 142 147 152 153 156 158 160 169 171 172 174 175 176 178 180 184 187 193 200 201 211 212 213 214 216 220 227 229 230 232 237 239 241 244 248 249 251 254 255 258 259 262 263 269 270 279 282 283 285 288 292 293 294 295 299 308 309 315 317 321 324 327 330 335 339 340 346 347 349 350 351 352 353 355 359 361 362 363 a 2 3 4 5 7 11 15 20 21 24 28 34 40 47 50 55 57 59 60 61 67 74 76 78 84 85 86 92 95 97 101 107 112 118 122 126 128 137 139 140 142 143 147 152 153 156 158 169 171 172 174 175 176 178 180 184 187 193 200 201 211 212 213 214 216 220 227 229 230 232 237 239 241 244 248 249 251 254 255 258 259 262 263 269 270 279 282 283 285 288 292 293 294 295 299 308 309 315 317 321 324 327 330 335 339 340 346 347 349 350 351 352 353 355 359 361 362 363 a 2 3 4 5 7 9 11 15 20 21 24 28 34 40 47 50 55 57 59 60 61 67 74 76 78 84 85 86 92 95 97 101 107 112 118 122 126 128 137 139 140 142 143 147 152 153 156 158 169 171 172 174 175 176 178 180 184 187 193 200 201 211 212 213 214 216 220 227 229 230 232 239 241 244 248 249 251 254 255 258 259 262 263 269 270 279 282 283 285 288 292 293 294 295 299 308 309 315 317 321 324 327 330 335 339 340 346 347 349 350 351 352 353 355 359 361 362 363 a 2 3 4 5 7 9 11 15 20 21 24 28 34 40 47 50 55 57 59 60 61 65 67 74 76 78 84 85 86 92 95 97 101 107 112 118 122 126 128 137 139 140 142 143 147 152 153 156 158 169 171 172 174 175 176 178 180 184 187 193 200 201 211 212 213 214 216 220 227 229 230 239 241 244 248 249 251 254 255 258 259 262 263 269 270 279 282 283 285 288 292 293 294 295 299 308 309 315 317 321 324 327 330 335 339 340 346 347 349 350 351 352 353 355 359 361 362 363 a 2 3 4 5 7 9 11 15 20 21 24 28 34 40 47 50 55 57 59 60 61 65 67 74 76 78 84 85 86 92 95 97 101 107 112 118 122 126 128 137 139 140 142 143 147 152 153 156 158 169 171 172 174 175 178 180 184 187 193 200 201 211 212 213 214 216 220 227 228 229 230 239 241 244 248 249 251 254 255 258 259 262 263 269 270 279 282 283 285 288 292 293 294 295 299 308 309 315 317 321 324 327 330 335 339 340 346 347 349 350 351 352 353 355 359 361 362 363 a 2 3 4 5 7 9 11 15 20 21 24 28 34 40 47 50 55 57 59 61 65 67 74 76 78 84 85 86 92 95 97 101 107 112 118 122 126 128 132 137 139 140 142 143 147 152 153 156 158 169 171 172 174 175 178 180 184 187 193 200 201 211 212 213 214 216 220 227 228 229 230 239 241 244 248 249 251 254 255 258 259 262 263 269 270 279 282 283 285 288 292 293 294 295 299 308 309 315 317 321 324 327 330 335 339 340 346 347 349 350 351 352 353 355 359 361 362 363 a 2 3 4 5 7 9 11 15 20 21 24 28 34 40 47 50 55 57 59 61 65 67 74 76 78 84 85 86 92 95 97 101 107 112 118 122 126 128 132 137 139 140 142 143 147 149 152 153 156 158 169 171 172 174 175 178 180 184 187 193 200 201 211 212 213 214 216 220 227 228 229 230 239 241 244 248 249 251 254 255 258 259 262 263 269 270 279 283 285 288 292 293 294 295 299 308 309 315 317 321 324 327 330 335 339 340 346 347 349 350 351 352 353 355 359 361 362 363 a 2 3 4 5 7 9 11 15 20 21 24 28 34 40 47 50 55 57 59 61 65 67 74 76 78 84 85 86 92 95 97 101 107 112 118 122 126 128 132 137 139 140 142 143 147 149 152 156 158 169 171 172 174 175 178 180 184 187 193 200 201 211 212 213 214 216 220 227 228 229 230 239 241 244 248 249 251 254 255 258 259 262 263 269 270 279 283 285 288 292 293 294 295 299 308 309 315 317 321 324 327 330 335 339 340 341 346 347 349 350 351 352 353 355 359 361 362 363 a 2 3 4 5 7 9 11 20 21 24 28 34 40 47 50 55 57 59 61 65 67 74 76 78 84 85 86 92 95 97 101 107 112 118 122 126 128 132 137 139 140 142 143 147 149 152 156 158 169 171 172 174 175 178 180 184 187 193 200 201 211 212 213 214 216 220 227 228 229 230 239 241 244 248 249 251 254 255 258 259 262 263 267 269 270 279 283 285 288 292 293 294 295 299 308 309 315 317 321 324 327 330 335 339 340 341 346 347 349 350 351 352 353 355 359 361 362 363 a 2 3 4 5 7 9 11 20 21 24 28 34 40 47 50 55 57 59 61 65 67 74 76 78 84 85 86 92 95 97 101 112 118 122 126 128 132 137 139 140 142 143 147 148 149 152 156 158 169 171 172 174 175 178 180 184 187 193 200 201 211 212 213 214 216 220 227 228 229 230 239 241 244 248 249 251 254 255 258 259 262 263 267 269 270 279 283 285 288 292 293 294 295 299 308 309 315 317 321 324 327 330 335 339 340 341 346 347 349 350 351 352 353 355 359 361 362 363 a 2 3 4 5 7 9 11 20 21 24 28 34 40 47 50 55 57 59 61 65 67 74 76 78 84 85 86 92 95 97 101 112 118 122 126 128 132 137 139 140 142 143 147 148 149 152 156 158 169 171 172 174 175 178 180 184 187 193 200 201 211 212 213 214 216 220 227 228 229 230 239 241 244 248 249 251 254 255 258 259 262 263 267 269 270 279 283 285 288 292 293 294 295 299 308 309 315 317 324 327 330 335 337 339 340 341 346 347 349 350 351 352 353 355 359 361 362 363 a 2 3 4 5 7 9 11 20 21 24 28 34 40 47 50 55 57 59 61 65 67 74 76 78 84 85 86 92 95 97 101 112 118 122 126 128 132 137 139 140 143 147 148 149 152 156 158 169 171 172 174 175 178 180 184 187 193 200 201 211 212 213 214 216 220 227 228 229 230 239 241 244 248 249 251 254 255 258 259 262 263 267 269 270 279 283 285 288 292 293 294 295 299 308 309 313 315 317 324 327 330 335 337 339 340 341 346 347 349 350 351 352 353 355 359 361 362 363 a 2 3 4 5 7 9 11 20 21 24 28 34 40 47 50 55 57 59 65 67 74 76 78 84 85 86 92 95 97 101 112 118 122 126 128 132 137 139 140 143 147 148 149 152 156 158 169 171 172 174 175 178 180 184 187 193 200 201 211 212 213 214 216 220 227 228 229 230 239 241 244 248 249 251 254 255 258 259 262 263 267 269 270 279 283 285 288 292 293 294 295 297 299 308 309 313 315 317 324 327 330 335 337 339 340 341 346 347 349 350 351 352 353 355 359 361 362 363 a 2 3 4 5 7 9 11 20 21 24 28 34 40 44 47 50 55 57 59 65 67 74 76 78 84 86 92 95 97 101 112 118 122 126 128 132 137 139 140 143 147 148 149 152 156 158 169 171 172 174 175 178 180 184 187 193 200 201 211 212 213 214 216 220 227 228 229 230 239 241 244 248 249 251 254 255 258 259 262 263 267 269 270 279 283 285 288 292 293 294 295 297 299 308 309 313 315 317 324 327 330 335 337 339 340 341 346 347 349 350 351 352 353 355 359 361 362 363 a 2 3 4 5 7 9 11 20 21 24 28 40 44 47 50 55 57 59 65 67 74 76 78 84 86 92 95 97 101 112 118 122 126 128 132 137 139 140 143 147 148 149 152 156 158 169 171 172 174 175 178 180 184 187 193 194 200 201 211 212 213 214 216 220 227 228 229 230 239 241 244 248 249 251 254 255 258 259 262 263 267 269 270 279 283 285 288 292 293 294 295 297 299 308 309 313 315 317 324 327 330 335 337 339 340 341 346 347 349 350 351 352 353 355 359 361 362 363 a 2 3 4 5 7 9 11 20 21 22 24 40 44 47 50 55 57 59 65 67 74 76 78 84 86 92 95 97 101 112 118 122 126 128 132 137 139 140 143 147 148 149 152 156 158 169 171 172 174 175 178 180 184 187 193 194 200 201 211 212 213 214 216 220 227 228 229 230 239 241 244 248 249 251 254 255 258 259 262 263 267 269 270 279 283 285 288 292 293 294 295 297 299 308 309 313 315 317 324 327 330 335 337 339 340 341 346 347 349 350 351 352 353 355 359 361 362 363 a 2 3 4 5 7 9 11 20 21 22 24 40 44 47 50 55 57 59 65 67 74 76 78 84 86 92 95 97 101 112 118 122 126 128 132 137 139 140 141 143 147 148 149 152 156 158 169 171 172 174 175 178 180 184 187 193 194 200 201 211 212 213 214 216 220 227 228 229 230 239 241 244 248 249 251 254 255 258 259 262 263 267 269 270 279 283 285 288 292 293 294 295 297 299 308 309 313 315 317 324 327 330 335 337 340 341 346 347 349 350 351 352 353 355 359 361 362 363 a 2 3 4 5 7 9 11 20 21 22 24 40 44 47 50 55 57 59 65 67 74 76 78 84 86 92 95 97 101 112 118 122 126 128 132 137 139 140 141 143 147 148 149 152 156 158 169 171 172 174 175 178 180 184 187 193 194 200 201 211 212 213 214 216 220 227 228 229 230 239 241 248 249 251 254 255 258 259 262 263 267 269 270 279 283 285 288 292 293 294 295 297 299 305 308 309 313 315 317 324 327 330 335 337 340 341 346 347 349 350 351 352 353 355 359 361 362 363 a 2 3 4 5 7 9 11 20 21 22 24 40 44 47 50 55 57 59 65 67 74 76 78 84 86 92 95 97 101 112 118 122 126 128 132 137 139 140 141 143 147 148 149 152 156 158 169 171 172 174 175 178 180 184 187 193 194 200 201 211 212 213 214 216 220 227 228 229 230 239 241 248 249 251 254 255 258 259 262 263 267 269 270 279 283 285 288 292 293 294 295 297 299 301 305 308 309 313 315 317 324 327 330 335 337 340 341 346 347 349 351 352 353 355 359 361 362 363 a 2 3 4 5 7 9 11 20 21 22 24 40 44 47 50 55 57 59 65 67 74 76 78 86 92 95 97 101 112 118 122 126 128 132 137 139 140 141 143 147 148 149 152 156 158 169 171 172 174 175 178 180 184 187 193 194 200 201 211 212 213 214 216 220 227 228 229 230 239 241 248 249 251 254 255 258 259 262 263 265 267 269 270 279 283 285 288 292 293 294 295 297 299 301 305 308 309 313 315 317 324 327 330 335 337 340 341 346 347 349 351 352 353 355 359 361 362 363 a 2 3 4 5 7 9 11 20 21 22 23 24 40 44 47 50 55 57 59 65 67 74 76 78 86 92 95 97 101 112 118 126 128 132 137 139 140 141 143 147 148 149 152 156 158 169 171 172 174 175 178 180 184 187 193 194 200 201 211 212 213 214 216 220 227 228 229 230 239 241 248 249 251 254 255 258 259 262 263 265 267 269 270 279 283 285 288 292 293 294 295 297 299 301 305 308 309 313 315 317 324 327 330 335 337 340 341 346 347 349 351 352 353 355 359 361 362 363 a 2 3 4 5 7 9 11 20 21 22 23 24 40 44 47 50 55 57 59 65 67 74 76 78 86 92 95 97 101 112 118 126 128 132 137 139 140 141 143 147 148 149 152 156 158 169 171 172 174 175 178 180 184 187 193 194 200 201 211 212 213 214 216 220 227 228 229 230 239 248 249 251 254 255 258 259 262 263 265 267 269 270 279 283 285 288 292 293 294 295 297 299 301 305 308 309 313 315 317 323 324 327 330 335 337 340 341 346 347 349 351 352 353 355 359 361 362 363 a 2 3 4 5 7 9 11 20 21 22 23 24 40 44 47 50 55 57 59 65 67 74 76 78 86 92 95 97 101 112 118 126 128 132 137 139 140 141 143 147 148 149 152 156 158 169 171 172 174 175 178 180 184 187 193 194 200 201 211 212 213 214 216 220 227 228 229 230 239 248 249 251 254 255 258 259 262 263 265 266 267 269 270 279 283 285 288 292 293 294 295 297 299 301 305 308 309 313 315 317 323 324 327 330 335 337 340 341 346 347 351 352 353 355 359 361 362 363 a 2 3 4 5 7 9 11 20 21 22 23 24 40 44 47 50 55 57 59 65 67 74 76 78 86 92 95 97 101 112 118 126 128 132 137 139 140 141 143 147 148 149 152 156 158 169 171 172 174 175 178 180 184 187 193 194 200 201 211 212 213 214 216 220 227 228 229 230 239 248 249 251 254 255 258 259 262 263 265 266 267 269 270 279 283 285 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 359 361 362 363 a 1 2 3 4 5 7 9 11 20 21 22 23 24 40 44 47 50 55 57 59 65 67 74 76 78 86 92 95 97 101 112 118 126 128 132 137 139 140 141 143 147 148 149 152 156 158 169 171 172 174 175 178 180 184 187 193 194 201 211 212 213 214 216 220 227 228 229 230 239 248 249 251 254 255 258 259 262 263 265 266 267 269 270 279 283 285 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 359 361 362 363 a 1 2 3 4 5 7 9 11 20 21 22 23 24 40 44 47 50 55 57 59 65 67 74 76 78 86 92 95 97 101 112 114 118 126 128 132 137 139 140 141 143 147 148 149 152 156 158 169 171 172 174 175 178 180 184 193 194 201 211 212 213 214 216 220 227 228 229 230 239 248 249 251 254 255 258 259 262 263 265 266 267 269 270 279 283 285 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 359 361 362 363 a 1 2 3 4 5 7 9 11 20 21 22 23 24 40 44 47 50 55 57 59 65 67 74 76 78 86 92 95 97 101 112 114 118 126 128 132 137 139 140 141 143 147 148 149 152 156 158 169 171 174 175 178 180 184 193 194 201 211 212 213 214 216 220 227 228 229 230 239 248 249 251 254 255 258 259 262 263 265 266 267 269 270 279 283 285 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 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 92 95 97 101 112 114 118 126 128 132 137 139 140 141 143 147 148 149 152 156 158 169 171 174 175 178 180 184 193 194 201 211 212 213 214 216 220 227 228 229 230 239 248 249 254 255 258 259 262 263 265 266 267 269 270 279 283 285 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 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 101 112 114 126 128 132 137 139 140 141 143 147 148 149 152 156 158 169 171 174 175 178 180 184 193 194 201 211 212 213 214 216 220 227 228 229 230 239 248 249 254 255 258 259 262 263 265 266 267 269 270 279 283 285 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 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 193 194 201 211 212 213 214 216 220 227 228 229 230 239 248 249 254 255 258 259 262 263 265 266 267 269 270 279 283 285 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 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 248 249 254 255 258 259 262 265 266 267 269 270 279 283 285 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 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 /benchmark/random_instance/random_instance028_graph004.col /benchmark/random_instance/random_instance028_graph004_01.dat" User time (seconds): 361.12 System time (seconds): 3.74 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:04.90 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): 10585016 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 3507122 Voluntary context switches: 27 Involuntary context switches: 1429 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 11:19:35 2023]