#BEGIN: [Mon Sep 4 14:40:59 2023] #HOST: s02 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance029_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance029_graph004_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance029_graph004.col /benchmark/random_instance/random_instance029_graph004_01.dat c /benchmark/random_instance/random_instance029_graph004.col c /benchmark/random_instance/random_instance029_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 65 32 250 199 207 285 91 360 280 141 94 10 340 43 119 18 156 44 59 209 12 1 179 203 231 246 258 173 221 248 274 131 75 298 86 132 186 189 352 279 324 300 108 204 128 297 163 222 15 367 26 342 267 311 322 366 210 139 47 341 247 358 58 356 135 70 272 296 127 83 242 229 276 100 289 304 369 347 87 310 271 213 344 238 102 235 82 353 346 191 122 118 89 72 78 359 85 190 370 301 55 334 64 211 192 144 168 76 264 74 115 314 200 374 249 278 3 330 335 24 134 197 95 281 216 t 286 348 353 45 208 27 10 115 112 119 254 280 142 124 21 340 87 125 1 212 317 223 260 23 270 56 89 307 176 295 370 298 150 84 351 263 252 240 220 71 155 116 144 243 100 9 329 313 141 294 365 146 157 322 253 326 47 36 328 131 94 255 41 219 297 154 3 218 269 292 290 327 357 267 15 374 230 359 275 195 206 145 78 296 98 20 306 188 302 58 346 184 101 214 6 179 197 60 72 249 222 216 85 54 318 278 28 213 113 170 8 82 282 311 341 305 66 127 192 312 61 33 30 31 24 a YES a 1 3 10 12 15 18 24 26 32 43 44 47 55 58 59 64 65 70 72 74 75 76 78 82 83 85 86 87 89 91 94 95 100 102 108 115 118 119 122 127 128 131 132 134 135 139 141 144 156 163 168 173 179 186 189 190 191 192 197 199 200 203 204 207 209 210 211 213 216 221 222 229 231 235 238 242 246 247 248 249 250 258 264 267 271 272 274 276 278 279 280 281 285 289 296 297 298 300 301 304 310 311 314 322 324 330 334 335 340 341 342 344 346 347 352 353 356 358 359 360 366 367 369 370 374 a 1 3 10 12 15 18 24 26 32 43 44 47 55 58 59 64 65 70 72 74 75 76 78 82 83 85 86 87 89 91 94 95 100 102 108 115 118 119 122 127 128 131 132 134 135 139 141 144 156 163 168 173 179 186 189 190 191 192 197 199 200 203 204 207 209 210 211 213 216 221 222 229 231 235 238 242 246 247 248 249 250 258 260 264 267 271 272 274 276 278 279 280 281 285 289 296 297 298 300 301 304 310 311 314 322 324 330 334 335 340 341 342 344 346 347 352 353 358 359 360 366 367 369 370 374 a 1 3 10 12 15 18 24 26 32 43 44 47 55 58 59 64 65 70 72 74 75 76 78 82 83 85 86 87 89 91 94 95 100 102 108 115 118 119 122 127 128 131 132 134 135 139 141 144 156 163 168 173 179 186 189 190 191 192 194 197 199 200 203 204 207 209 210 211 213 216 221 222 229 231 235 238 242 246 247 248 249 250 258 260 264 267 271 272 274 276 278 279 280 281 285 289 296 297 298 300 301 304 310 311 314 322 324 330 334 335 341 342 344 346 347 352 353 358 359 360 366 367 369 370 374 a 1 3 10 12 15 18 24 26 32 43 44 47 55 58 59 64 65 70 72 74 75 76 78 82 83 85 86 87 89 91 94 95 100 102 108 115 118 119 122 127 128 131 132 134 135 139 141 144 156 163 168 173 179 186 189 190 191 192 194 197 199 200 203 204 207 209 210 211 213 216 221 222 229 231 235 238 242 246 247 248 249 250 258 264 267 271 272 274 276 278 279 280 281 285 289 296 297 298 300 301 304 310 311 314 322 324 330 334 335 341 342 344 346 347 352 353 356 358 359 360 366 367 369 370 374 a 1 3 10 12 15 18 24 26 32 43 44 47 55 58 59 64 65 70 72 74 75 76 78 82 83 85 86 87 89 91 94 95 100 102 108 115 118 119 122 127 128 131 132 134 135 139 141 144 156 163 168 173 179 186 189 190 191 192 194 197 199 200 203 204 207 209 210 211 213 216 221 222 229 231 233 235 238 242 246 247 248 249 250 264 267 271 272 274 276 278 279 280 281 285 289 296 297 298 300 301 304 310 311 314 322 324 330 334 335 341 342 344 346 347 352 353 356 358 359 360 366 367 369 370 374 a 1 3 10 12 15 18 24 26 32 43 44 47 55 58 59 64 65 70 72 74 75 76 78 82 83 85 86 87 89 91 94 95 100 102 108 115 118 119 122 127 128 131 132 134 135 139 141 144 156 163 168 173 179 186 189 190 191 192 194 197 199 200 203 204 207 209 210 211 213 216 221 222 229 231 233 235 238 242 246 247 248 249 250 260 264 267 271 272 274 276 278 279 280 281 285 289 296 297 298 300 301 304 310 311 314 322 324 330 334 335 341 342 344 346 347 352 353 358 359 360 366 367 369 370 374 a 1 3 10 12 15 18 24 26 32 43 44 47 55 58 59 64 65 70 72 74 75 76 78 82 83 85 86 87 89 91 94 95 100 102 108 115 118 119 122 127 128 131 132 134 135 138 139 141 144 156 163 168 173 179 186 189 190 191 192 194 197 199 200 203 204 207 209 210 211 213 216 221 222 229 231 233 235 238 242 246 247 248 249 250 260 264 267 271 272 274 276 278 279 280 281 289 296 297 298 300 301 304 310 311 314 322 324 330 334 335 341 342 344 346 347 352 353 358 359 360 366 367 369 370 374 a 1 3 8 10 12 15 18 24 26 32 43 47 55 58 59 64 65 70 72 74 75 76 78 82 83 85 86 87 89 91 94 95 100 102 108 115 118 119 122 127 128 131 132 134 135 138 139 141 144 156 163 168 173 179 186 189 190 191 192 194 197 199 200 203 204 207 209 210 211 213 216 221 222 229 231 233 235 238 242 246 247 248 249 250 260 264 267 271 272 274 276 278 279 280 281 289 296 297 298 300 301 304 310 311 314 322 324 330 334 335 341 342 344 346 347 352 353 358 359 360 366 367 369 370 374 a 1 3 8 10 12 15 18 24 26 32 43 47 55 56 58 59 64 65 70 72 74 75 76 78 82 83 85 86 87 89 91 94 95 100 102 108 115 118 119 122 127 128 131 132 134 135 138 139 141 144 156 163 168 173 179 186 189 190 191 192 194 197 199 200 203 204 207 209 210 211 213 216 221 222 229 231 233 235 238 242 246 247 248 249 250 260 264 267 271 272 274 276 278 279 280 281 289 296 297 298 300 301 304 310 311 314 322 324 330 335 341 342 344 346 347 352 353 358 359 360 366 367 369 370 374 a 1 3 8 10 12 15 18 24 26 32 43 47 55 56 58 59 64 65 70 72 74 75 76 78 82 83 85 86 87 89 91 94 95 100 102 108 115 118 119 122 127 128 131 132 134 135 138 139 141 144 156 163 168 173 179 186 189 190 191 192 194 197 199 200 203 204 207 209 210 211 216 221 222 229 231 233 235 238 241 242 246 247 248 249 250 260 264 267 271 272 274 276 278 279 280 281 289 296 297 298 300 301 304 310 311 314 322 324 330 335 341 342 344 346 347 352 353 358 359 360 366 367 369 370 374 a 1 3 8 10 12 15 18 24 26 32 43 47 55 56 58 59 64 65 70 72 74 75 76 78 82 83 85 86 87 89 91 94 95 100 102 108 115 118 119 122 127 128 131 132 134 135 138 139 141 144 156 163 168 173 179 186 189 190 191 192 194 197 199 200 203 204 207 209 210 211 216 221 222 229 231 233 235 238 241 242 246 247 249 250 260 264 267 271 272 274 276 278 279 280 281 286 289 296 297 298 300 301 304 310 311 314 322 324 330 335 341 342 344 346 347 352 353 358 359 360 366 367 369 370 374 a 1 3 8 10 12 15 18 24 26 32 38 43 47 55 56 58 59 64 65 70 72 74 75 76 78 82 83 85 86 87 89 91 94 95 100 102 108 115 118 119 122 127 128 131 132 134 135 138 139 141 144 156 163 168 173 179 186 189 190 191 192 194 197 199 200 203 204 207 209 210 211 216 221 222 229 231 233 235 241 242 246 247 249 250 260 264 267 271 272 274 276 278 279 280 281 286 289 296 297 298 300 301 304 310 311 314 322 324 330 335 341 342 344 346 347 352 353 358 359 360 366 367 369 370 374 a 1 3 8 10 12 15 18 24 26 32 38 43 47 55 56 58 59 64 65 70 72 74 75 76 78 82 83 85 86 87 89 91 95 100 102 108 115 118 119 122 127 128 131 132 134 135 138 139 141 144 156 163 168 173 179 186 189 190 191 192 194 197 199 200 203 204 207 209 210 211 216 221 222 229 231 233 235 241 242 246 247 249 250 260 264 267 271 272 274 276 278 279 280 281 286 289 296 297 298 300 301 304 310 311 314 322 324 330 332 335 341 342 344 346 347 352 353 358 359 360 366 367 369 370 374 a 1 3 10 12 15 18 24 26 32 38 43 44 47 55 56 58 59 64 65 70 72 74 75 76 78 82 83 85 86 87 89 91 95 100 102 108 115 118 119 122 127 128 131 132 134 135 138 139 141 144 156 163 168 173 179 186 189 190 191 192 194 197 199 200 203 204 207 209 210 211 216 221 222 229 231 233 235 241 242 246 247 249 250 260 264 267 271 272 274 276 278 279 280 281 286 289 296 297 298 300 301 304 310 311 314 322 324 330 332 335 341 342 344 346 347 352 353 358 359 360 366 367 369 370 374 a 1 3 10 12 15 18 24 26 32 38 43 44 47 55 56 58 59 64 65 70 72 74 75 76 78 82 83 85 86 87 89 91 95 100 102 108 115 118 119 122 127 128 131 132 134 135 138 139 141 144 151 156 163 168 173 179 186 189 190 191 192 194 197 199 200 204 207 209 210 211 216 221 222 229 231 233 235 241 242 246 247 249 250 260 264 267 271 272 274 276 278 279 280 281 286 289 296 297 298 300 301 304 310 311 314 322 324 330 332 335 341 342 344 346 347 352 353 358 359 360 366 367 369 370 374 a 1 3 10 12 15 18 24 26 32 43 44 47 55 56 58 59 64 65 70 72 74 75 76 78 82 83 85 86 87 89 91 95 100 102 108 115 118 119 122 127 128 131 132 134 135 138 139 141 144 151 156 163 168 173 179 186 189 190 191 192 194 197 199 200 204 207 209 210 211 216 221 222 229 231 233 235 238 241 242 246 247 249 250 260 264 267 271 272 274 276 278 279 280 281 286 289 296 297 298 300 301 304 310 311 314 322 324 330 332 335 341 342 344 346 347 352 353 358 359 360 366 367 369 370 374 a 1 3 10 12 15 18 24 26 32 39 43 44 47 55 56 58 59 64 65 70 72 74 75 76 78 82 83 85 86 87 89 91 95 100 102 108 115 118 119 122 127 128 131 132 134 135 138 139 141 144 151 156 163 168 173 179 186 189 190 191 192 194 197 199 200 204 207 209 210 211 216 221 222 229 231 233 238 241 242 246 247 249 250 260 264 267 271 272 274 276 278 279 280 281 286 289 296 297 298 300 301 304 310 311 314 322 324 330 332 335 341 342 344 346 347 352 353 358 359 360 366 367 369 370 374 a 1 3 10 12 15 18 24 26 32 39 43 44 47 55 56 58 59 64 65 70 72 74 75 76 78 82 83 85 86 87 89 91 95 100 102 108 115 118 119 122 127 128 131 132 134 135 138 139 141 144 151 156 163 168 173 179 186 189 190 191 192 194 197 199 200 204 207 209 210 211 216 221 222 229 231 233 238 241 242 246 247 248 249 250 260 264 267 271 272 274 276 278 279 280 281 289 296 297 298 300 301 304 310 311 314 322 324 330 332 335 341 342 344 346 347 352 353 358 359 360 366 367 369 370 374 a 1 3 10 12 15 18 24 26 32 39 43 44 47 55 56 58 59 64 65 70 72 74 75 76 78 82 83 85 86 87 89 91 95 100 102 108 115 118 119 122 127 128 131 132 134 135 139 141 144 151 156 163 168 173 179 186 189 190 191 192 194 197 199 200 204 207 209 210 211 216 221 222 229 231 233 238 241 242 246 247 248 249 250 260 264 267 271 272 274 276 278 279 280 281 289 296 297 298 300 301 304 310 311 314 322 324 329 330 332 335 341 342 344 346 347 352 353 358 359 360 366 367 369 370 374 a 1 3 10 12 15 18 26 32 39 43 44 47 55 56 58 59 64 65 70 72 74 75 76 78 82 83 85 86 87 89 91 95 100 102 108 115 118 119 122 127 128 129 131 132 134 135 139 141 144 151 156 163 168 173 179 186 189 190 191 192 194 197 199 200 204 207 209 210 211 216 221 222 229 231 233 238 241 242 246 247 248 249 250 260 264 267 271 272 274 276 278 279 280 281 289 296 297 298 300 301 304 310 311 314 322 324 329 330 332 335 341 342 344 346 347 352 353 358 359 360 366 367 369 370 374 a 1 3 10 12 15 18 26 32 39 43 44 45 47 55 56 58 59 64 65 70 72 74 75 76 78 82 83 85 86 87 89 91 95 100 102 108 115 118 119 122 127 128 129 131 132 134 135 139 141 144 151 156 163 168 173 179 186 189 190 191 192 194 197 199 200 204 207 209 210 211 216 221 222 229 231 233 238 241 242 246 247 248 249 260 264 267 271 272 274 276 278 279 280 281 289 296 297 298 300 301 304 310 311 314 322 324 329 330 332 335 341 342 344 346 347 352 353 358 359 360 366 367 369 370 374 a 1 3 10 12 15 18 26 32 39 43 44 45 47 55 56 59 64 65 70 72 74 75 76 78 82 83 85 86 87 89 91 95 100 102 108 115 118 119 122 127 128 129 131 132 134 135 139 141 144 151 156 163 168 173 177 179 186 189 190 191 192 194 197 199 200 204 207 209 210 211 216 221 222 229 231 233 238 241 242 246 247 248 249 260 264 267 271 272 274 276 278 279 280 281 289 296 297 298 300 301 304 310 311 314 322 324 329 330 332 335 341 342 344 346 347 352 353 358 359 360 366 367 369 370 374 a 1 3 10 12 15 18 24 26 32 39 43 44 45 47 55 56 59 64 65 70 72 74 75 76 78 82 83 85 86 87 89 91 95 100 102 108 115 118 119 122 127 128 129 131 132 134 135 139 141 144 151 156 163 168 173 177 179 186 189 190 191 192 194 197 199 200 204 207 209 210 211 216 221 222 229 231 238 241 242 246 247 248 249 260 264 267 271 272 274 276 278 279 280 281 289 296 297 298 300 301 304 310 311 314 322 324 329 330 332 335 341 342 344 346 347 352 353 358 359 360 366 367 369 370 374 a 1 3 10 12 15 18 24 26 32 39 43 44 47 55 56 59 64 65 70 72 74 75 76 78 82 83 85 86 87 89 91 95 100 102 108 115 118 119 122 127 128 129 131 132 134 135 139 141 144 151 156 163 168 173 177 179 186 189 190 191 192 194 197 199 200 204 207 209 210 211 216 221 222 229 231 238 241 242 246 247 248 249 250 260 264 267 271 272 274 276 278 279 280 281 289 296 297 298 300 301 304 310 311 314 322 324 329 330 332 335 341 342 344 346 347 352 353 358 359 360 366 367 369 370 374 a 1 3 10 12 15 18 24 26 32 39 43 44 47 55 56 59 64 65 70 72 74 75 76 78 82 83 85 86 87 89 91 95 100 102 108 115 118 119 122 127 128 129 131 132 134 135 139 141 144 151 156 163 168 173 179 186 189 190 191 192 194 197 199 200 204 207 209 210 211 216 221 222 229 231 238 241 242 246 247 248 249 250 255 260 264 267 271 272 274 276 278 279 280 281 289 296 297 298 300 301 304 310 311 314 322 324 329 330 332 335 341 342 344 346 347 352 353 358 359 360 366 367 369 370 374 a 1 3 10 12 15 18 24 26 27 32 39 43 44 47 55 56 59 64 65 70 72 74 75 76 78 82 83 85 86 87 89 91 95 100 102 108 115 118 119 122 127 128 129 131 132 134 135 139 141 144 151 156 163 168 173 179 186 189 190 191 192 194 197 199 200 204 207 209 210 211 216 221 222 229 231 238 241 242 246 247 248 249 250 255 260 264 267 271 272 274 278 279 280 281 289 296 297 298 300 301 304 310 311 314 322 324 329 330 332 335 341 342 344 346 347 352 353 358 359 360 366 367 369 370 374 a 1 3 10 12 15 18 24 26 27 32 39 43 44 47 55 56 58 59 64 65 70 72 74 75 76 78 82 83 85 86 87 89 91 95 100 102 108 115 118 119 122 127 128 129 131 132 134 135 139 141 144 151 156 163 168 173 179 186 189 190 191 192 194 197 199 200 204 207 209 210 211 216 221 222 229 231 238 241 242 246 247 248 249 250 255 260 264 267 271 272 274 278 279 280 281 289 296 297 298 300 301 304 310 311 314 322 324 329 330 332 335 341 342 344 346 347 352 353 358 359 360 366 367 369 370 a 1 3 10 15 18 24 26 27 32 39 43 44 47 55 56 58 59 64 65 70 72 74 75 76 78 82 83 85 86 87 89 91 95 100 102 108 115 118 119 122 127 128 129 131 132 134 135 139 141 144 151 156 163 168 173 179 186 189 190 191 192 194 197 199 200 204 207 209 210 211 216 221 222 229 231 233 238 241 242 246 247 248 249 250 255 260 264 267 271 272 274 278 279 280 281 289 296 297 298 300 301 304 310 311 314 322 324 329 330 332 335 341 342 344 346 347 352 353 358 359 360 366 367 369 370 a 1 3 10 15 18 24 26 27 32 39 43 44 47 55 56 58 59 64 65 70 72 74 75 76 78 82 83 85 86 87 89 91 95 100 102 108 115 118 119 122 127 128 129 131 132 134 135 139 144 151 156 163 164 168 173 179 186 189 190 191 192 194 197 199 200 204 207 209 210 211 216 221 222 229 231 233 238 241 242 246 247 248 249 250 255 260 264 267 271 272 274 278 279 280 281 289 296 297 298 300 301 304 310 311 314 322 324 329 330 332 335 341 342 344 346 347 352 353 358 359 360 366 367 369 370 a 1 3 10 15 18 24 26 27 32 39 43 44 47 55 56 58 59 64 65 70 72 74 75 76 78 82 83 85 86 87 89 91 93 95 100 102 108 115 118 119 122 127 128 129 131 132 134 135 139 144 151 156 163 164 168 173 179 186 189 190 191 192 194 197 199 200 204 207 209 210 211 216 221 222 231 233 238 241 242 246 247 248 249 250 255 260 264 267 271 272 274 278 279 280 281 289 296 297 298 300 301 304 310 311 314 322 324 329 330 332 335 341 342 344 346 347 352 353 358 359 360 366 367 369 370 a 1 3 10 15 18 24 26 27 32 39 43 44 47 55 56 58 59 64 65 70 74 75 76 78 82 83 85 86 87 89 91 93 95 100 102 108 115 118 119 122 127 128 129 131 132 134 135 139 144 151 156 163 164 168 173 179 186 189 190 191 192 194 197 199 200 204 207 209 210 211 216 221 222 231 233 238 241 242 246 247 248 249 250 255 260 264 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 310 311 314 322 324 329 330 332 335 341 342 344 346 347 352 353 358 359 360 366 367 369 370 a 1 3 10 15 18 24 26 27 32 43 44 47 55 56 58 59 64 65 70 74 75 76 78 82 83 85 86 87 89 91 93 95 100 102 108 115 118 119 122 127 128 129 131 132 134 135 139 144 151 156 163 164 168 173 179 186 189 190 191 192 194 197 199 200 204 207 209 210 211 216 221 222 231 233 235 238 241 242 246 247 248 249 250 255 260 264 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 310 311 314 322 324 329 330 332 335 341 342 344 346 347 352 353 358 359 360 366 367 369 370 a 1 3 10 15 18 24 26 27 32 43 44 47 55 56 58 59 64 65 70 74 75 76 78 82 83 85 86 87 89 91 93 95 100 102 108 115 118 119 122 127 128 129 131 132 134 135 139 144 151 156 163 164 168 173 179 186 189 190 191 192 194 197 199 200 204 207 209 210 211 216 221 222 231 233 235 238 241 242 246 247 248 249 250 255 260 264 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 310 311 314 322 324 329 330 332 335 341 342 344 346 347 352 353 358 359 366 367 369 370 374 a 1 3 10 15 18 24 26 27 32 39 43 44 47 55 56 58 59 64 65 70 74 75 76 78 82 83 85 86 87 89 91 93 95 100 102 108 115 118 119 122 127 128 129 131 132 134 135 139 144 151 156 163 164 168 173 179 186 189 190 191 192 194 197 199 200 204 207 209 210 211 216 221 222 231 233 238 241 242 246 247 248 249 250 255 260 264 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 310 311 314 322 324 329 330 332 335 341 342 344 346 347 352 353 358 359 366 367 369 370 374 a 1 3 10 15 18 24 26 27 32 37 39 43 44 47 55 56 58 59 64 65 70 74 75 76 78 82 83 85 86 87 89 91 93 95 100 102 108 115 118 119 122 127 128 129 131 132 134 135 139 144 151 156 163 164 168 173 179 186 189 190 191 192 194 199 200 204 207 209 210 211 216 221 222 231 233 238 241 242 246 247 248 249 250 255 260 264 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 310 311 314 322 324 329 330 332 335 341 342 344 346 347 352 353 358 359 366 367 369 370 374 a 1 3 10 12 15 18 24 26 27 32 37 39 43 44 47 55 56 58 59 64 65 70 74 75 76 78 82 83 85 86 87 89 91 93 95 100 102 108 115 118 119 122 127 128 129 131 132 134 135 139 144 151 156 163 164 168 173 179 186 189 190 191 192 194 199 200 204 207 209 210 211 216 221 222 231 233 238 241 242 246 247 248 249 250 255 260 264 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 310 311 314 322 324 329 330 332 335 341 342 344 346 347 352 353 358 359 366 367 369 374 a 1 3 10 12 15 18 24 26 27 32 37 39 43 44 46 47 55 56 58 59 64 65 70 74 75 76 78 82 83 85 86 87 89 91 93 95 100 102 108 115 118 119 122 127 128 129 131 132 134 135 139 144 151 156 163 164 168 173 179 186 189 190 191 194 199 200 204 207 209 210 211 216 221 222 231 233 238 241 242 246 247 248 249 250 255 260 264 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 310 311 314 322 324 329 330 332 335 341 342 344 346 347 352 353 358 359 366 367 369 374 a 1 3 10 12 15 18 24 26 27 32 37 39 43 44 46 47 55 56 58 59 64 65 70 74 75 76 78 82 83 85 86 87 89 91 93 95 100 102 108 115 118 119 122 127 128 129 131 132 134 135 139 144 151 156 163 164 168 173 179 186 189 190 191 194 199 200 204 207 209 210 211 216 221 222 231 233 238 241 242 246 247 248 249 250 255 260 264 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 310 311 314 322 324 329 330 332 335 341 342 344 346 347 352 353 358 359 360 366 367 369 a 1 3 10 12 15 18 24 26 27 32 37 39 43 44 46 47 50 55 56 58 59 64 65 70 74 75 76 78 82 83 85 86 87 89 91 93 95 100 102 108 115 118 119 122 127 128 129 131 132 134 135 139 144 151 156 163 164 168 173 179 186 189 190 191 194 199 200 204 207 209 210 211 216 221 222 231 233 238 241 242 246 247 248 249 250 255 260 264 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 310 311 314 322 324 329 330 332 335 341 342 344 346 352 353 358 359 360 366 367 369 a 1 3 10 12 15 18 24 26 27 32 37 39 44 46 47 50 55 56 58 59 64 65 70 74 75 76 78 82 83 85 86 87 89 91 93 95 100 102 108 115 118 119 122 127 128 129 131 132 134 135 139 144 151 156 163 164 168 172 173 179 186 189 190 191 194 199 200 204 207 209 210 211 216 221 222 231 233 238 241 242 246 247 248 249 250 255 260 264 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 310 311 314 322 324 329 330 332 335 341 342 344 346 352 353 358 359 360 366 367 369 a 1 3 10 12 15 18 24 26 27 32 37 39 44 47 50 55 56 58 59 64 65 70 74 75 76 78 82 83 85 86 87 89 91 93 95 100 102 108 115 118 119 122 127 128 129 131 132 134 135 139 144 151 156 163 164 168 172 173 179 186 189 190 191 194 199 200 204 207 209 210 211 216 221 222 231 233 238 241 242 246 247 248 249 250 255 260 264 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 310 311 314 322 324 329 330 332 335 341 342 344 346 352 353 358 359 360 366 367 369 370 a 1 3 8 10 12 15 18 24 26 27 32 37 39 47 50 55 56 58 59 64 65 70 74 75 76 78 82 83 85 86 87 89 91 93 95 100 102 108 115 118 119 122 127 128 129 131 132 134 135 139 144 151 156 163 164 168 172 173 179 186 189 190 191 194 199 200 204 207 209 210 211 216 221 222 231 233 238 241 242 246 247 248 249 250 255 260 264 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 310 311 314 322 324 329 330 332 335 341 342 344 346 352 353 358 359 360 366 367 369 370 a 1 3 8 10 12 15 18 24 26 27 32 37 39 47 50 55 56 58 59 64 65 70 74 75 78 82 83 85 86 87 89 91 93 95 100 102 108 115 118 119 122 127 128 129 131 132 134 135 139 144 151 156 163 164 168 172 173 179 184 186 189 190 191 194 199 200 204 207 209 210 211 216 221 222 231 233 238 241 242 246 247 248 249 250 255 260 264 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 310 311 314 322 324 329 330 332 335 341 342 344 346 352 353 358 359 360 366 367 369 370 a 1 3 8 10 12 15 18 24 26 27 32 37 39 47 50 55 56 58 59 64 65 70 74 75 78 82 83 85 86 87 89 91 93 95 100 102 108 115 118 119 122 127 128 129 131 132 134 135 139 144 151 156 163 164 168 172 173 179 184 186 189 190 191 194 197 199 200 204 207 209 210 211 216 221 222 231 233 238 241 242 246 247 248 249 250 255 260 264 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 310 311 314 322 324 329 330 332 335 341 342 344 346 352 353 358 359 360 366 367 370 a 1 3 8 10 12 15 18 24 26 27 32 37 39 47 50 55 56 58 59 64 65 70 74 75 76 78 82 83 85 86 87 89 91 93 95 100 102 108 115 118 119 122 127 128 129 131 132 134 135 139 144 151 156 163 164 168 172 173 179 186 189 190 191 194 197 199 200 204 207 209 210 211 216 221 222 231 233 238 241 242 246 247 248 249 250 255 260 264 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 310 311 314 322 324 329 330 332 335 341 342 344 346 352 353 358 359 360 366 367 370 a 1 3 8 10 12 15 18 24 26 27 32 37 39 47 50 55 56 58 59 64 65 70 74 75 76 78 82 83 85 86 87 89 91 93 95 100 102 108 115 118 119 122 127 128 129 131 132 134 135 139 144 151 156 163 164 168 172 173 179 186 189 190 191 194 197 199 200 204 207 209 210 211 216 221 222 231 233 238 241 242 246 247 248 249 250 255 260 264 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 310 311 314 322 324 329 330 332 335 341 342 344 346 352 353 358 359 360 366 370 374 a 1 3 8 10 12 15 18 24 26 27 32 37 39 47 50 55 56 58 59 64 65 70 74 75 76 78 82 83 85 86 87 89 91 93 95 100 102 108 115 118 119 122 127 128 129 131 132 134 135 139 144 151 156 163 164 168 172 173 179 189 190 191 192 194 197 199 200 204 207 209 210 211 216 221 222 231 233 238 241 242 246 247 248 249 250 255 260 264 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 310 311 314 322 324 329 330 332 335 341 342 344 346 352 353 358 359 360 366 370 374 a 1 3 8 10 12 15 18 24 26 27 32 37 39 47 50 55 56 58 59 64 65 70 75 76 78 82 83 85 86 87 89 91 93 95 100 102 108 115 118 119 122 127 128 129 131 132 134 135 139 144 146 151 156 163 164 168 172 173 179 189 190 191 192 194 197 199 200 204 207 209 210 211 216 221 222 231 233 238 241 242 246 247 248 249 250 255 260 264 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 310 311 314 322 324 329 330 332 335 341 342 344 346 352 353 358 359 360 366 370 374 a 1 3 8 10 12 15 18 24 26 27 32 37 39 47 50 55 56 58 59 64 65 70 75 78 82 83 85 86 87 89 91 93 95 100 102 108 115 118 119 122 127 128 129 131 132 134 135 139 144 146 151 156 163 164 168 172 173 179 184 189 190 191 192 194 197 199 200 204 207 209 210 211 216 221 222 231 233 238 241 242 246 247 248 249 250 255 260 264 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 310 311 314 322 324 329 330 332 335 341 342 344 346 352 353 358 359 360 366 370 374 a 1 3 8 10 12 15 18 24 26 27 32 37 39 47 50 55 56 58 59 64 65 70 75 78 82 83 85 86 87 89 91 93 95 100 102 108 115 118 119 122 127 128 129 131 132 134 135 139 144 146 151 156 163 164 168 172 173 179 184 189 190 191 192 194 197 199 200 204 207 209 210 211 216 221 222 231 233 238 241 242 246 247 248 249 250 255 260 264 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 305 310 311 314 322 324 329 330 332 335 341 342 344 346 352 353 358 359 366 370 374 a 1 3 8 10 12 15 18 24 26 27 32 37 39 47 50 55 56 58 59 64 65 70 75 78 82 83 85 86 87 89 91 93 95 100 102 108 115 118 119 122 127 128 129 131 132 134 135 139 144 146 151 156 163 164 168 172 173 179 184 189 190 191 192 194 197 199 200 204 207 209 210 214 216 221 222 231 233 238 241 242 246 247 248 249 250 255 260 264 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 305 310 311 314 322 324 329 330 332 335 341 342 344 346 352 353 358 359 366 370 374 a 1 3 8 10 12 15 18 24 26 27 28 32 37 39 47 50 55 56 58 59 64 65 70 75 78 82 83 85 86 87 89 91 93 95 100 108 115 118 119 122 127 128 129 131 132 134 135 139 144 146 151 156 163 164 168 172 173 179 184 189 190 191 192 194 197 199 200 204 207 209 210 214 216 221 222 231 233 238 241 242 246 247 248 249 250 255 260 264 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 305 310 311 314 322 324 329 330 332 335 341 342 344 346 352 353 358 359 366 370 374 a 1 3 8 10 12 15 18 24 26 27 28 32 37 39 47 50 55 56 58 59 64 65 70 75 78 82 83 85 86 87 89 91 93 95 100 108 112 115 118 119 122 127 128 129 131 132 134 135 139 144 146 151 156 163 164 168 172 173 179 184 189 190 191 192 194 197 199 200 204 207 209 210 214 216 221 222 231 233 238 242 246 247 248 249 250 255 260 264 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 305 310 311 314 322 324 329 330 332 335 341 342 344 346 352 353 358 359 366 370 374 a 1 3 8 10 12 15 18 24 26 27 28 32 37 39 47 50 55 56 58 59 64 65 70 75 78 82 83 85 86 87 89 91 93 95 100 108 112 115 118 119 122 127 128 129 131 132 134 135 139 142 144 146 156 163 164 168 172 173 179 184 189 190 191 192 194 197 199 200 204 207 209 210 214 216 221 222 231 233 238 242 246 247 248 249 250 255 260 264 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 305 310 311 314 322 324 329 330 332 335 341 342 344 346 352 353 358 359 366 370 374 a 1 3 8 10 12 15 18 24 26 27 28 32 37 39 47 50 55 56 58 59 64 65 70 75 78 82 83 85 86 87 89 91 93 95 100 108 112 115 118 119 122 127 128 129 131 132 134 135 139 142 144 146 156 163 164 168 172 173 179 184 189 190 191 192 194 197 199 200 204 207 209 210 214 216 221 222 231 233 238 242 246 247 248 249 250 255 260 263 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 305 310 311 314 322 324 329 330 332 335 341 342 344 346 352 353 358 359 366 370 374 a 1 3 6 8 10 12 15 18 24 26 27 28 32 37 39 47 50 55 56 58 59 64 65 70 75 78 82 83 85 86 87 89 91 93 95 100 108 112 115 118 119 122 127 128 129 131 132 134 135 139 142 144 146 156 163 164 168 172 179 184 189 190 191 192 194 197 199 200 204 207 209 210 214 216 221 222 231 233 238 242 246 247 248 249 250 255 260 263 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 305 310 311 314 322 324 329 330 332 335 341 342 344 346 352 353 358 359 366 370 374 a 1 3 6 8 10 12 15 18 24 26 27 28 32 37 39 47 50 55 56 58 59 64 65 70 75 78 82 83 85 86 87 89 91 93 95 100 108 112 115 118 119 122 127 128 129 131 132 134 135 139 142 144 146 156 164 168 172 179 184 189 190 191 192 194 197 199 200 204 207 209 210 213 214 216 221 222 231 233 238 242 246 247 248 249 250 255 260 263 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 305 310 311 314 322 324 329 330 332 335 341 342 344 346 352 353 358 359 366 370 374 a 1 3 6 8 10 12 15 18 24 26 27 28 32 37 39 47 50 55 56 58 59 64 65 70 75 78 82 83 85 86 87 89 91 93 95 100 108 112 115 118 119 122 127 128 129 131 132 134 135 139 142 144 146 156 164 168 172 179 184 189 190 191 192 194 197 199 200 204 207 209 210 213 214 216 221 222 231 233 238 242 246 247 248 249 250 255 260 263 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 305 310 311 314 322 324 329 330 332 335 341 344 346 348 352 353 358 359 366 370 374 a 1 3 6 8 10 12 15 18 24 26 27 28 32 39 47 50 55 56 58 59 64 65 70 72 75 78 82 83 85 86 87 89 91 93 95 100 108 112 115 118 119 122 127 128 129 131 132 134 135 139 142 144 146 156 164 168 172 179 184 189 190 191 192 194 197 199 200 204 207 209 210 213 214 216 221 222 231 233 238 242 246 247 248 249 250 255 260 263 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 305 310 311 314 322 324 329 330 332 335 341 344 346 348 352 353 358 359 366 370 374 a 1 3 6 8 10 12 15 18 24 26 27 28 32 39 45 47 50 55 56 58 59 64 65 70 72 75 78 82 83 85 86 87 89 91 93 95 100 108 112 115 118 119 122 127 128 129 131 132 134 135 139 142 144 146 156 164 168 172 179 184 189 190 191 192 194 197 199 200 204 207 209 210 213 214 216 221 222 231 233 238 242 246 247 248 249 255 260 263 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 305 310 311 314 322 324 329 330 332 335 341 344 346 348 352 353 358 359 366 370 374 a 1 3 6 8 10 12 15 18 24 26 27 28 32 39 45 47 50 55 56 58 59 64 65 70 72 75 78 82 83 85 86 87 89 91 93 95 100 108 112 115 118 119 127 128 129 131 132 134 135 139 142 144 146 150 156 164 168 172 179 184 189 190 191 192 194 197 199 200 204 207 209 210 213 214 216 221 222 231 233 238 242 246 247 248 249 255 260 263 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 305 310 311 314 322 324 329 330 332 335 341 344 346 348 352 353 358 359 366 370 374 a 1 3 6 8 10 12 15 18 24 26 27 28 31 32 39 45 47 50 55 56 58 59 64 65 70 72 75 78 82 83 85 86 87 89 91 93 100 108 112 115 118 119 127 128 129 131 132 134 135 139 142 144 146 150 156 164 168 172 179 184 189 190 191 192 194 197 199 200 204 207 209 210 213 214 216 221 222 231 233 238 242 246 247 248 249 255 260 263 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 305 310 311 314 322 324 329 330 332 335 341 344 346 348 352 353 358 359 366 370 374 a 1 3 6 8 10 12 15 18 24 26 27 28 31 32 39 45 47 50 55 56 58 59 64 65 70 72 78 82 83 85 86 87 89 91 93 100 108 112 115 118 119 124 127 128 129 131 132 134 135 139 142 144 146 150 156 164 168 172 179 184 189 190 191 192 194 197 199 200 204 207 209 210 213 214 216 221 222 231 233 238 242 246 247 248 249 255 260 263 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 305 310 311 314 322 324 329 330 332 335 341 344 346 348 352 353 358 359 366 370 374 a 1 3 6 8 10 12 15 18 24 26 27 28 31 32 39 45 47 50 55 56 58 59 64 65 70 72 78 82 83 85 86 87 89 91 93 100 108 112 115 118 119 124 127 128 129 131 132 134 135 139 142 144 146 150 156 164 168 172 179 184 189 190 191 192 194 197 199 200 204 207 209 210 213 214 216 221 222 233 238 242 246 247 248 249 255 260 263 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 305 310 311 314 322 324 329 330 332 335 341 344 346 348 351 352 353 358 359 366 370 374 a 1 3 6 8 10 12 15 18 24 26 27 28 31 32 39 45 47 50 55 56 58 59 64 65 70 72 78 82 83 85 86 87 89 91 93 100 108 112 115 118 119 124 127 128 129 131 132 134 135 142 144 146 150 156 164 168 172 179 184 189 190 191 192 194 197 199 200 204 207 209 210 213 214 216 221 222 233 238 242 246 247 248 249 255 260 263 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 305 307 310 311 314 322 324 329 330 332 335 341 344 346 348 351 352 353 358 359 366 370 374 a 1 3 6 8 10 12 15 18 24 26 27 28 31 32 39 45 47 50 56 58 59 64 65 70 72 78 82 83 85 86 87 89 91 93 100 108 112 115 118 119 124 127 128 129 131 132 134 135 142 144 146 150 156 164 168 172 179 184 189 190 191 192 194 197 199 200 204 207 209 210 213 214 216 219 221 222 233 238 242 246 247 248 249 255 260 263 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 305 307 310 311 314 322 324 329 330 332 335 341 344 346 348 351 352 353 358 359 366 370 374 a 1 3 6 8 9 10 12 15 18 24 26 27 28 31 32 39 45 47 50 56 58 59 64 65 70 72 78 82 83 85 86 87 89 91 93 100 108 112 115 118 119 124 127 128 129 131 132 134 135 142 144 146 150 156 164 168 172 179 184 189 190 191 192 194 197 200 204 207 209 210 213 214 216 219 221 222 233 238 242 246 247 248 249 255 260 263 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 305 307 310 311 314 322 324 329 330 332 335 341 344 346 348 351 352 353 358 359 366 370 374 a 1 3 6 8 9 10 12 15 18 24 26 27 28 31 32 39 45 47 50 56 58 64 65 70 72 78 82 83 84 85 86 87 89 91 93 100 108 112 115 118 119 124 127 128 129 131 132 134 135 142 144 146 150 156 164 168 172 179 184 189 190 191 192 194 197 200 204 207 209 210 213 214 216 219 221 222 233 238 242 246 247 248 249 255 260 263 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 305 307 310 311 314 322 324 329 330 332 335 341 344 346 348 351 352 353 358 359 366 370 374 a 1 3 6 8 9 10 15 18 24 26 27 28 31 32 39 45 47 50 56 58 64 65 70 72 78 82 83 84 85 86 87 89 91 93 100 108 112 115 118 119 124 127 128 129 131 132 134 135 142 144 146 150 156 164 168 172 179 184 189 190 191 192 194 197 200 204 207 209 210 213 214 216 219 221 222 233 238 242 246 247 248 249 255 260 263 267 271 272 274 278 279 280 281 285 289 296 297 298 300 301 304 305 307 310 311 314 322 324 329 330 332 335 341 344 346 348 351 352 353 358 359 365 366 370 374 a 1 3 6 8 9 10 15 18 24 27 28 31 32 39 45 47 50 56 58 64 65 70 72 78 82 83 84 85 86 87 89 91 93 100 108 112 115 118 119 124 127 128 129 131 132 134 135 142 144 146 150 156 164 168 172 179 184 189 190 191 192 194 197 200 204 207 209 210 213 214 216 219 221 222 233 238 242 246 247 248 249 255 260 263 267 271 272 274 278 279 280 281 285 289 294 296 297 298 300 301 304 305 307 310 311 314 322 324 329 330 332 335 341 344 346 348 351 352 353 358 359 365 366 370 374 a 1 3 6 8 9 10 15 18 24 27 28 31 32 39 45 47 50 56 58 64 65 70 72 78 82 83 84 85 86 87 89 91 93 100 108 112 115 118 119 124 127 128 129 131 132 134 142 144 146 150 156 164 168 170 172 179 184 189 190 191 192 194 197 200 204 207 209 210 213 214 216 219 221 222 233 238 242 246 247 248 249 255 260 263 267 271 272 274 278 279 280 281 285 289 294 296 297 298 300 301 304 305 307 310 311 314 322 324 329 330 332 335 341 344 346 348 351 352 353 358 359 365 366 370 374 a 1 3 6 8 9 10 15 18 24 27 28 31 32 39 45 47 50 56 58 64 65 70 72 78 82 83 84 85 86 87 89 91 93 100 108 112 115 118 119 124 127 128 129 131 132 134 142 144 146 150 156 164 168 170 172 179 184 189 190 191 192 194 197 200 204 207 209 210 213 214 216 218 219 221 222 233 238 242 246 247 248 249 255 260 263 267 271 272 274 278 279 280 281 285 289 294 296 297 298 300 304 305 307 310 311 314 322 324 329 330 332 335 341 344 346 348 351 352 353 358 359 365 366 370 374 a 1 3 6 8 9 10 15 18 24 27 28 31 32 39 45 47 50 56 58 64 65 70 71 72 78 82 83 84 85 86 87 89 91 93 100 108 112 115 118 119 124 127 128 129 131 132 134 142 144 146 150 156 164 168 170 172 179 184 189 190 191 192 194 197 200 204 207 209 210 213 214 216 218 219 221 222 233 238 246 247 248 249 255 260 263 267 271 272 274 278 279 280 281 285 289 294 296 297 298 300 304 305 307 310 311 314 322 324 329 330 332 335 341 344 346 348 351 352 353 358 359 365 366 370 374 a 1 3 6 8 9 10 15 18 24 27 28 31 32 39 45 47 50 56 58 64 65 70 71 72 78 82 83 84 85 86 87 89 91 93 100 108 112 115 118 119 124 127 128 129 131 132 134 142 144 146 150 154 156 164 168 170 172 179 184 189 190 191 192 194 197 200 204 207 209 210 213 214 216 218 219 221 222 233 238 246 247 248 249 255 260 263 267 271 272 274 278 279 280 281 285 289 294 296 297 298 300 304 305 307 310 311 314 322 324 329 330 332 335 341 344 346 348 351 352 353 359 365 366 370 374 a 1 3 6 8 9 10 15 18 24 27 28 31 32 39 45 47 50 56 58 64 65 66 70 71 72 78 82 83 84 85 86 87 89 91 93 100 108 112 115 118 119 124 127 128 129 131 132 134 142 144 146 150 154 156 164 168 170 172 179 184 189 190 191 192 194 197 200 204 207 209 210 213 214 216 218 219 222 233 238 246 247 248 249 255 260 263 267 271 272 274 278 279 280 281 285 289 294 296 297 298 300 304 305 307 310 311 314 322 324 329 330 332 335 341 344 346 348 351 352 353 359 365 366 370 374 a 1 3 6 8 9 10 15 18 24 27 28 31 32 39 45 47 50 56 58 64 65 66 70 71 72 78 82 83 84 85 86 87 89 91 93 100 108 112 115 118 119 124 127 128 129 131 132 134 142 144 146 150 154 156 164 168 170 172 179 184 189 190 191 192 194 197 200 204 207 209 210 213 214 216 218 219 222 233 238 246 247 248 249 255 260 263 267 271 272 274 278 279 280 281 289 294 296 297 298 300 304 305 307 310 311 314 317 322 324 329 330 332 335 341 344 346 348 351 352 353 359 365 366 370 374 a 1 3 6 8 9 10 15 18 24 27 28 31 32 39 41 45 47 50 56 58 64 65 66 70 71 72 78 82 84 85 86 87 89 91 93 100 108 112 115 118 119 124 127 128 129 131 132 134 142 144 146 150 154 156 164 168 170 172 179 184 189 190 191 192 194 197 200 204 207 209 210 213 214 216 218 219 222 233 238 246 247 248 249 255 260 263 267 271 272 274 278 279 280 281 289 294 296 297 298 300 304 305 307 310 311 314 317 322 324 329 330 332 335 341 344 346 348 351 352 353 359 365 366 370 374 a 1 3 6 8 9 10 15 18 24 27 28 31 32 39 41 45 47 50 56 58 64 65 66 70 71 72 78 82 84 85 86 87 89 91 93 100 112 113 115 118 119 124 127 128 129 131 132 134 142 144 146 150 154 156 164 168 170 172 179 184 189 190 191 192 194 197 200 204 207 209 210 213 214 216 218 219 222 233 238 246 247 248 249 255 260 263 267 271 272 274 278 279 280 281 289 294 296 297 298 300 304 305 307 310 311 314 317 322 324 329 330 332 335 341 344 346 348 351 352 353 359 365 366 370 374 a 1 3 6 8 9 10 15 18 24 27 28 31 32 33 39 41 45 47 50 56 58 64 65 66 70 71 72 78 82 84 85 86 87 89 91 93 100 112 113 115 118 119 124 127 128 129 131 132 134 142 144 146 150 154 156 164 168 170 172 179 184 189 190 191 192 194 197 200 207 209 210 213 214 216 218 219 222 233 238 246 247 248 249 255 260 263 267 271 272 274 278 279 280 281 289 294 296 297 298 300 304 305 307 310 311 314 317 322 324 329 330 332 335 341 344 346 348 351 352 353 359 365 366 370 374 a 1 3 6 8 9 10 15 18 24 27 28 31 32 33 39 41 45 47 50 56 58 64 65 66 70 71 72 78 82 84 85 86 87 89 91 93 100 112 113 115 118 119 124 127 128 129 131 132 134 142 144 146 150 154 156 164 168 170 172 179 184 189 190 191 192 194 197 200 207 209 210 213 214 216 218 219 222 233 238 246 247 248 249 253 255 260 263 267 271 272 274 278 279 280 281 289 294 296 297 298 300 304 305 307 310 311 314 317 322 324 329 330 332 341 344 346 348 351 352 353 359 365 366 370 374 a 1 3 6 8 9 10 15 18 24 27 28 31 32 33 39 41 45 47 50 56 58 64 65 66 70 71 72 78 82 84 85 86 87 89 91 100 112 113 115 118 119 124 125 127 128 129 131 132 134 142 144 146 150 154 156 164 168 170 172 179 184 189 190 191 192 194 197 200 207 209 210 213 214 216 218 219 222 233 238 246 247 248 249 253 255 260 263 267 271 272 274 278 279 280 281 289 294 296 297 298 300 304 305 307 310 311 314 317 322 324 329 330 332 341 344 346 348 351 352 353 359 365 366 370 374 a 1 3 6 8 9 10 15 18 24 27 28 31 32 33 39 41 45 47 50 56 58 64 65 66 70 71 72 78 82 84 85 86 87 89 91 100 112 113 115 118 119 124 125 127 128 129 131 132 134 142 144 146 150 154 156 164 168 170 172 179 184 189 190 191 192 194 197 200 209 210 213 214 216 218 219 222 233 238 246 247 248 249 253 255 260 263 267 271 272 274 278 279 280 281 289 290 294 296 297 298 300 304 305 307 310 311 314 317 322 324 329 330 332 341 344 346 348 351 352 353 359 365 366 370 374 a 1 3 6 8 9 10 15 18 24 27 28 31 32 33 39 41 45 47 50 56 58 64 65 66 70 71 72 78 82 84 85 86 87 89 91 100 112 113 115 118 119 124 125 127 128 129 131 132 134 142 144 146 150 154 164 168 170 172 179 184 189 190 191 192 194 197 200 209 210 213 214 216 218 219 222 233 238 240 246 247 248 249 253 255 260 263 267 271 272 274 278 279 280 281 289 290 294 296 297 298 300 304 305 307 310 311 314 317 322 324 329 330 332 341 344 346 348 351 352 353 359 365 366 370 374 a 1 3 6 8 9 10 15 18 24 27 28 31 32 33 39 41 45 47 50 56 58 64 65 66 70 71 72 78 82 84 85 86 87 89 91 100 101 112 113 115 118 119 124 125 127 128 129 131 132 134 142 144 146 150 154 164 168 170 172 179 184 189 190 191 192 194 197 200 209 210 213 214 216 218 219 222 233 238 240 246 247 248 249 253 255 260 263 267 271 272 274 278 279 280 281 289 290 294 296 297 298 300 304 305 307 310 311 314 317 322 324 329 330 332 341 346 348 351 352 353 359 365 366 370 374 a 1 3 6 8 9 10 15 18 24 27 28 31 32 33 39 41 45 47 50 56 58 64 65 66 70 71 72 78 82 84 85 86 87 89 91 100 101 112 113 115 118 119 124 125 127 128 129 131 132 134 142 144 146 150 154 164 168 170 172 179 184 189 190 191 192 197 200 209 210 213 214 216 218 219 222 233 238 240 246 247 248 249 253 255 260 263 267 271 272 274 278 279 280 281 289 290 294 296 297 298 300 304 305 307 310 311 312 314 317 322 324 329 330 332 341 346 348 351 352 353 359 365 366 370 374 a 1 3 6 8 9 10 15 18 24 27 28 31 32 33 39 41 45 47 50 56 58 64 65 66 70 71 72 78 82 84 85 86 87 89 91 100 101 112 113 115 118 119 124 125 127 128 129 131 132 134 142 144 146 150 154 164 168 170 172 179 184 189 190 191 192 197 200 209 210 213 214 216 218 219 222 233 238 240 246 247 248 249 253 255 260 263 267 272 274 278 279 280 281 289 290 294 296 297 298 300 304 305 307 310 311 312 314 317 322 324 329 330 332 340 341 346 348 351 352 353 359 365 366 370 374 a 1 3 6 8 9 10 15 18 24 27 28 31 32 33 39 41 45 47 50 56 58 64 65 66 70 71 72 78 82 84 85 86 87 89 91 100 101 112 113 115 118 119 124 125 127 128 129 131 132 134 142 144 146 150 154 164 168 170 172 179 184 189 190 191 192 197 200 209 210 213 214 216 218 219 222 223 233 238 240 246 247 248 249 253 255 260 263 267 274 278 279 280 281 289 290 294 296 297 298 300 304 305 307 310 311 312 314 317 322 324 329 330 332 340 341 346 348 351 352 353 359 365 366 370 374 a 1 3 6 8 9 10 15 18 24 27 28 31 32 33 39 41 45 47 50 56 58 64 66 70 71 72 78 82 84 85 86 87 89 91 100 101 112 113 115 118 119 124 125 127 128 129 131 132 134 142 144 146 150 154 164 168 170 172 179 184 189 190 191 192 197 200 209 210 213 214 216 218 219 222 223 233 238 240 246 247 248 249 253 255 260 263 267 274 278 279 280 281 289 290 294 296 297 298 300 304 305 306 307 310 311 312 314 317 322 324 329 330 332 340 341 346 348 351 352 353 359 365 366 370 374 a 1 3 6 8 9 10 15 18 24 27 28 31 32 33 39 41 45 47 50 56 58 64 66 70 71 72 78 82 84 85 86 87 89 91 100 101 112 113 115 118 119 124 125 127 128 129 131 132 134 142 144 146 150 154 164 168 170 172 179 184 189 190 191 192 197 200 206 209 210 213 214 216 218 219 222 223 233 238 240 247 248 249 253 255 260 263 267 274 278 279 280 281 289 290 294 296 297 298 300 304 305 306 307 310 311 312 314 317 322 324 329 330 332 340 341 346 348 351 352 353 359 365 366 370 374 a 1 3 6 8 9 10 15 18 24 27 28 31 32 33 39 41 45 47 50 56 58 64 66 70 71 72 78 82 84 85 86 87 89 91 100 101 112 113 115 119 124 125 127 128 129 131 132 134 142 144 146 150 154 164 168 170 172 179 184 189 190 191 192 195 197 200 206 209 210 213 214 216 218 219 222 223 233 238 240 247 248 249 253 255 260 263 267 274 278 279 280 281 289 290 294 296 297 298 300 304 305 306 307 310 311 312 314 317 322 324 329 330 332 340 341 346 348 351 352 353 359 365 366 370 374 a 1 3 6 8 9 10 15 18 24 27 28 31 32 33 39 41 45 47 50 56 58 64 66 70 71 72 78 82 84 85 86 87 89 91 100 101 112 113 115 119 124 125 127 128 129 131 132 134 142 144 146 150 154 164 168 170 172 179 184 188 189 190 191 192 195 197 200 206 209 210 213 214 216 218 219 222 223 233 238 240 247 249 253 255 260 263 267 274 278 279 280 281 289 290 294 296 297 298 300 304 305 306 307 310 311 312 314 317 322 324 329 330 332 340 341 346 348 351 352 353 359 365 366 370 374 a 1 3 6 8 9 10 15 18 24 27 28 30 31 32 33 39 41 45 47 50 56 58 64 66 70 71 72 78 82 84 85 86 87 89 91 100 101 112 113 115 119 124 125 127 128 129 131 132 134 142 144 146 150 154 164 168 170 172 179 184 188 189 190 191 192 195 197 200 206 209 210 213 214 216 218 219 222 223 233 240 247 249 253 255 260 263 267 274 278 279 280 281 289 290 294 296 297 298 300 304 305 306 307 310 311 312 314 317 322 324 329 330 332 340 341 346 348 351 352 353 359 365 366 370 374 a 1 3 6 8 9 10 15 18 24 27 28 30 31 32 33 39 41 45 47 50 56 58 66 70 71 72 78 82 84 85 86 87 89 91 100 101 112 113 115 119 124 125 127 128 129 131 132 134 142 144 146 150 154 164 168 170 172 179 184 188 189 190 191 192 195 197 200 206 209 210 213 214 216 218 219 222 223 233 240 247 249 253 255 260 263 267 274 278 279 280 281 289 290 294 296 297 298 300 304 305 306 307 310 311 312 314 317 322 324 329 330 332 340 341 346 348 351 352 353 357 359 365 366 370 374 a 1 3 6 8 9 10 15 18 24 27 28 30 31 32 33 39 41 45 47 50 56 58 66 70 71 72 78 82 84 85 86 87 89 91 100 101 112 113 115 119 124 125 127 128 129 131 132 134 142 144 146 150 154 164 168 170 172 179 184 188 189 190 191 192 195 197 200 206 209 210 213 214 216 218 219 222 223 233 240 247 249 252 253 255 260 263 267 274 278 279 280 281 289 290 294 296 297 298 300 304 305 306 307 310 311 312 317 322 324 329 330 332 340 341 346 348 351 352 353 357 359 365 366 370 374 a 1 3 6 8 9 10 15 18 24 27 28 30 31 32 33 39 41 45 47 50 56 58 66 70 71 72 78 82 84 85 86 87 89 91 100 101 112 113 115 119 124 125 127 128 129 131 132 134 142 144 146 150 154 164 168 170 179 184 188 189 190 191 192 195 197 200 206 209 210 213 214 216 218 219 222 223 233 240 247 249 252 253 255 260 263 267 269 274 278 279 280 281 289 290 294 296 297 298 300 304 305 306 307 310 311 312 317 322 324 329 330 332 340 341 346 348 351 352 353 357 359 365 366 370 374 a 1 3 6 8 9 10 15 18 24 27 28 30 31 32 33 39 41 45 47 50 56 58 66 70 71 72 78 82 84 85 86 87 89 91 100 101 112 113 115 119 124 125 127 128 131 132 134 142 144 146 150 154 164 168 170 179 184 188 189 190 191 192 195 197 200 206 209 210 213 214 216 218 219 222 223 233 240 247 249 252 253 255 260 263 267 269 274 278 279 280 281 286 289 290 294 296 297 298 300 304 305 306 307 310 311 312 317 322 324 329 330 332 340 341 346 348 351 352 353 357 359 365 366 370 374 a 1 3 6 8 9 10 15 18 24 27 28 30 31 32 33 39 41 45 47 50 56 58 66 70 71 72 78 82 84 85 86 87 89 91 100 101 112 113 115 119 124 125 127 128 131 132 134 142 144 146 150 154 164 168 170 179 184 188 189 190 191 192 195 197 200 206 209 210 213 214 216 218 219 222 223 233 240 247 249 252 253 255 260 263 267 269 270 274 278 279 280 281 286 289 290 294 296 297 298 300 304 305 306 307 310 311 312 317 322 329 330 332 340 341 346 348 351 352 353 357 359 365 366 370 374 a 1 3 6 8 9 10 15 18 24 27 28 30 31 32 33 39 41 45 47 50 56 58 66 70 71 72 78 82 84 85 86 87 89 91 94 100 101 112 113 115 119 124 125 127 128 131 132 134 142 144 146 150 154 164 168 170 179 184 188 189 190 191 192 195 197 200 206 209 210 213 214 216 218 219 222 223 233 240 247 249 252 253 255 260 263 267 269 270 274 278 279 280 281 286 289 290 294 296 297 298 300 304 305 306 307 310 311 312 317 322 329 330 340 341 346 348 351 352 353 357 359 365 366 370 374 a 1 3 6 8 9 10 15 18 24 27 28 30 31 32 33 39 41 45 47 50 56 58 60 66 70 71 72 78 82 84 85 86 87 89 91 94 100 101 112 113 115 119 124 125 127 128 131 132 134 142 144 146 150 154 164 168 170 179 184 188 189 190 191 192 195 197 200 206 209 210 213 214 216 218 219 222 223 233 240 247 249 252 253 255 260 263 267 269 270 274 278 279 280 281 286 289 290 294 296 297 298 300 304 305 306 307 310 311 312 317 322 329 340 341 346 348 351 352 353 357 359 365 366 370 374 a 1 3 6 8 9 10 15 18 24 27 28 30 31 32 33 39 41 45 47 50 56 58 60 66 70 71 72 78 82 84 85 86 87 89 91 94 100 101 112 113 115 119 124 125 127 128 131 134 142 144 146 150 154 164 168 170 179 184 188 189 190 191 192 195 197 200 206 209 210 213 214 216 218 219 222 223 233 240 247 249 252 253 255 260 263 267 269 270 274 278 279 280 281 286 289 290 294 295 296 297 298 300 304 305 306 307 310 311 312 317 322 329 340 341 346 348 351 352 353 357 359 365 366 370 374 a 1 3 6 8 9 10 15 18 24 27 28 30 31 32 33 39 41 45 47 50 56 58 60 66 70 71 72 78 82 84 85 86 87 89 91 94 100 101 112 113 115 119 124 125 127 128 131 134 142 144 146 150 154 157 164 168 170 179 184 188 189 190 191 192 195 197 200 206 209 210 213 214 216 218 219 222 223 233 240 247 249 252 253 255 260 263 267 269 270 274 278 279 280 281 286 289 290 294 295 296 297 298 300 304 305 306 307 310 311 312 317 322 329 340 341 346 348 351 352 353 357 359 365 370 374 a 1 3 6 8 9 10 15 18 24 27 28 30 31 32 33 39 41 45 47 50 56 58 60 66 70 71 72 78 82 84 85 86 87 89 91 94 100 101 112 113 115 119 124 125 127 128 131 134 142 144 146 150 154 157 164 170 179 184 188 189 190 191 192 195 197 200 206 209 210 212 213 214 216 218 219 222 223 233 240 247 249 252 253 255 260 263 267 269 270 274 278 279 280 281 286 289 290 294 295 296 297 298 300 304 305 306 307 310 311 312 317 322 329 340 341 346 348 351 352 353 357 359 365 370 374 a 1 3 6 8 9 10 15 18 24 27 28 30 31 32 33 39 41 45 47 50 56 58 60 66 70 71 72 78 82 84 85 86 87 89 91 94 100 101 112 113 115 119 124 125 127 128 131 134 141 142 144 146 150 154 157 170 179 184 188 189 190 191 192 195 197 200 206 209 210 212 213 214 216 218 219 222 223 233 240 247 249 252 253 255 260 263 267 269 270 274 278 279 280 281 286 289 290 294 295 296 297 298 300 304 305 306 307 310 311 312 317 322 329 340 341 346 348 351 352 353 357 359 365 370 374 a 1 3 6 8 9 10 15 18 24 27 28 30 31 32 33 39 41 45 47 50 56 58 60 66 70 71 72 78 82 84 85 86 87 89 91 94 98 100 101 112 113 115 119 124 125 127 128 131 134 141 142 144 146 150 154 157 170 179 184 188 189 190 191 192 195 197 200 206 209 210 212 213 214 216 218 219 222 223 233 240 249 252 253 255 260 263 267 269 270 274 278 279 280 281 286 289 290 294 295 296 297 298 300 304 305 306 307 310 311 312 317 322 329 340 341 346 348 351 352 353 357 359 365 370 374 a 1 3 6 8 9 10 15 18 24 27 28 30 31 33 39 41 45 47 50 56 58 60 61 66 70 71 72 78 82 84 85 86 87 89 91 94 98 100 101 112 113 115 119 124 125 127 128 131 134 141 142 144 146 150 154 157 170 179 184 188 189 190 191 192 195 197 200 206 209 210 212 213 214 216 218 219 222 223 233 240 249 252 253 255 260 263 267 269 270 274 278 279 280 281 286 289 290 294 295 296 297 298 300 304 305 306 307 310 311 312 317 322 329 340 341 346 348 351 352 353 357 359 365 370 374 a 1 3 6 8 9 10 15 18 24 27 28 30 31 33 39 41 45 47 50 56 58 60 61 66 70 71 72 78 82 84 85 86 87 89 91 94 98 100 101 112 113 115 119 124 125 127 131 134 141 142 144 146 150 154 157 170 179 184 188 189 190 191 192 195 197 200 206 209 210 212 213 214 216 218 219 222 223 233 240 249 252 253 254 255 260 263 267 269 270 274 278 279 280 281 286 289 290 294 295 296 297 298 300 304 305 306 307 310 311 312 317 322 329 340 341 346 348 351 352 353 357 359 365 370 374 a 1 3 6 8 9 10 15 24 27 28 30 31 33 39 41 45 47 50 56 58 60 61 66 70 71 72 78 82 84 85 86 87 89 91 94 98 100 101 112 113 115 119 124 125 127 131 134 141 142 144 146 150 154 157 170 179 184 188 189 190 191 192 195 197 200 206 209 210 212 213 214 216 218 219 222 223 233 240 249 252 253 254 255 260 263 267 269 270 274 278 279 280 281 286 289 290 294 295 296 297 298 300 304 305 306 307 310 311 312 317 322 326 329 340 341 346 348 351 352 353 357 359 365 370 374 a 1 3 6 8 9 10 15 24 27 28 30 31 33 39 41 45 47 50 56 58 60 61 66 70 71 72 78 82 84 85 86 87 89 91 94 98 100 101 112 113 115 119 124 125 127 131 134 141 142 144 145 146 150 154 157 170 179 184 188 189 190 191 192 195 197 200 206 209 210 212 213 214 216 218 219 222 223 233 240 249 252 253 254 255 260 263 267 269 270 274 278 279 280 281 286 290 294 295 296 297 298 300 304 305 306 307 310 311 312 317 322 326 329 340 341 346 348 351 352 353 357 359 365 370 374 a 1 3 6 8 9 10 15 24 27 28 30 31 33 39 41 45 47 50 56 58 60 61 66 70 71 72 78 82 84 85 86 87 89 91 94 98 100 101 112 113 115 116 119 124 125 127 131 134 141 142 144 145 146 150 154 157 170 179 184 188 189 190 191 192 195 197 200 206 209 210 212 213 214 216 218 219 222 223 233 240 249 252 253 254 255 260 263 267 269 270 274 278 279 280 281 286 290 294 295 296 297 298 304 305 306 307 310 311 312 317 322 326 329 340 341 346 348 351 352 353 357 359 365 370 374 a 1 3 6 8 9 10 15 24 27 28 30 31 33 36 39 41 45 47 50 56 58 60 61 66 70 71 72 78 82 84 85 86 87 89 91 94 98 100 101 112 113 115 116 119 124 125 127 131 134 141 142 144 145 146 150 154 157 170 179 184 188 189 190 191 192 195 197 200 206 209 210 212 213 214 216 218 219 222 223 240 249 252 253 254 255 260 263 267 269 270 274 278 279 280 281 286 290 294 295 296 297 298 304 305 306 307 310 311 312 317 322 326 329 340 341 346 348 351 352 353 357 359 365 370 374 a 1 3 6 8 9 10 15 24 27 28 30 31 33 36 39 41 45 47 50 56 58 60 61 66 70 71 72 78 82 84 85 87 89 91 94 98 100 101 112 113 115 116 119 124 125 127 131 134 141 142 144 145 146 150 154 157 170 179 184 188 189 190 191 192 195 197 200 206 209 210 212 213 214 216 218 219 222 223 240 249 252 253 254 255 260 263 267 269 270 274 278 279 280 281 286 290 294 295 296 297 298 302 304 305 306 307 310 311 312 317 322 326 329 340 341 346 348 351 352 353 357 359 365 370 374 a 1 3 6 8 9 10 15 21 24 27 28 30 31 33 36 39 41 45 47 50 56 58 60 61 66 70 71 72 78 82 84 85 87 89 91 94 98 100 101 112 113 115 116 119 124 125 127 131 134 141 142 144 145 146 150 154 157 170 179 184 188 189 190 191 192 195 197 200 206 209 210 212 213 214 216 218 219 222 223 240 249 252 253 254 255 260 263 267 269 270 274 278 279 280 281 286 290 294 295 296 297 298 302 304 305 306 307 310 311 312 317 322 326 329 340 341 346 348 351 353 357 359 365 370 374 a 1 3 6 8 9 10 15 21 24 27 28 30 31 33 36 39 41 45 47 50 56 58 60 61 66 70 71 72 78 82 84 85 87 89 94 98 100 101 112 113 115 116 119 124 125 127 131 134 141 142 144 145 146 150 154 157 170 179 184 188 189 190 191 192 195 197 200 206 209 210 212 213 214 216 218 219 220 222 223 240 249 252 253 254 255 260 263 267 269 270 274 278 279 280 281 286 290 294 295 296 297 298 302 304 305 306 307 310 311 312 317 322 326 329 340 341 346 348 351 353 357 359 365 370 374 a 1 3 6 8 9 10 15 21 24 27 28 30 31 33 36 39 41 45 47 50 56 58 60 61 66 70 71 72 78 82 84 85 87 89 94 98 100 101 112 113 115 116 119 124 125 127 131 134 141 142 144 145 146 150 154 155 157 170 179 184 188 189 190 191 192 195 197 200 206 209 210 212 213 214 216 218 219 220 222 223 240 249 252 253 254 255 260 263 267 269 270 274 278 279 280 286 290 294 295 296 297 298 302 304 305 306 307 310 311 312 317 322 326 329 340 341 346 348 351 353 357 359 365 370 374 a 1 3 6 8 9 10 15 21 24 27 28 30 31 33 36 41 45 47 50 56 58 60 61 66 70 71 72 78 82 84 85 87 89 94 98 100 101 112 113 115 116 119 124 125 127 131 134 141 142 144 145 146 150 154 155 157 170 179 184 188 189 190 191 192 195 197 200 206 209 210 212 213 214 216 218 219 220 222 223 230 240 249 252 253 254 255 260 263 267 269 270 274 278 279 280 286 290 294 295 296 297 298 302 304 305 306 307 310 311 312 317 322 326 329 340 341 346 348 351 353 357 359 365 370 374 a 1 3 6 8 9 10 15 20 21 24 27 28 30 31 33 36 41 45 47 50 56 58 60 61 66 70 71 72 78 82 84 85 87 89 94 98 100 101 112 113 115 116 119 124 125 127 131 134 141 142 144 145 146 150 154 155 157 170 179 184 188 189 190 191 192 195 197 200 206 209 210 212 213 214 216 218 219 220 222 223 230 240 249 252 253 254 255 260 263 267 269 270 274 278 279 280 286 290 294 295 296 297 298 302 304 305 306 307 311 312 317 322 326 329 340 341 346 348 351 353 357 359 365 370 374 a 1 3 6 8 9 10 15 20 21 24 27 28 30 31 33 36 41 45 47 50 56 58 60 61 66 70 71 72 78 82 84 85 87 89 94 98 100 101 112 113 115 116 119 124 125 127 131 134 141 142 144 145 146 150 154 155 157 170 179 184 188 189 190 191 192 195 197 200 206 210 212 213 214 216 218 219 220 222 223 230 240 249 252 253 254 255 260 263 267 269 270 274 275 278 279 280 286 290 294 295 296 297 298 302 304 305 306 307 311 312 317 322 326 329 340 341 346 348 351 353 357 359 365 370 374 a 1 3 6 8 9 10 15 20 21 24 27 28 30 31 33 36 41 45 47 50 56 58 60 61 66 70 71 72 78 82 84 85 87 89 94 98 100 101 112 113 115 116 119 124 125 127 131 134 141 142 144 145 146 150 154 155 157 170 179 184 188 189 190 191 192 195 197 200 206 208 210 212 213 214 216 218 219 220 222 223 230 240 249 252 253 254 255 260 263 267 269 270 274 275 278 280 286 290 294 295 296 297 298 302 304 305 306 307 311 312 317 322 326 329 340 341 346 348 351 353 357 359 365 370 374 a 1 3 6 8 9 10 15 20 21 24 27 28 30 31 33 36 41 45 47 54 56 58 60 61 66 70 71 72 78 82 84 85 87 89 94 98 100 101 112 113 115 116 119 124 125 127 131 134 141 142 144 145 146 150 154 155 157 170 179 184 188 189 190 191 192 195 197 200 206 208 210 212 213 214 216 218 219 220 222 223 230 240 249 252 253 254 255 260 263 267 269 270 274 275 278 280 286 290 294 295 296 297 298 302 304 305 306 307 311 312 317 322 326 329 340 341 346 348 351 353 357 359 365 370 374 a 1 3 6 8 9 10 15 20 21 24 27 28 30 31 33 36 41 45 47 54 56 58 60 61 66 70 71 72 78 82 84 85 87 89 94 98 100 101 112 113 115 116 119 124 125 127 131 134 141 142 144 145 146 150 154 155 157 170 179 184 188 189 190 191 192 195 197 200 206 208 210 212 213 214 216 218 219 220 222 223 230 240 249 252 253 254 255 260 263 267 269 270 274 275 278 280 282 286 290 294 295 296 297 298 302 305 306 307 311 312 317 322 326 329 340 341 346 348 351 353 357 359 365 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 31 33 36 41 45 47 54 56 58 60 61 66 70 71 72 78 82 84 85 87 89 94 98 100 101 112 113 115 116 119 124 125 127 131 134 141 142 144 145 146 150 154 155 157 170 179 184 188 190 191 192 195 197 200 206 208 210 212 213 214 216 218 219 220 222 223 230 240 249 252 253 254 255 260 263 267 269 270 274 275 278 280 282 286 290 294 295 296 297 298 302 305 306 307 311 312 317 322 326 329 340 341 346 348 351 353 357 359 365 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 31 33 36 41 45 47 54 56 58 60 61 66 70 71 72 78 82 84 85 87 89 94 98 100 101 112 113 115 116 119 124 125 127 131 141 142 144 145 146 150 154 155 157 170 179 184 188 190 191 192 195 197 200 206 208 210 212 213 214 216 218 219 220 222 223 230 240 249 252 253 254 255 260 263 267 269 270 274 275 278 280 282 286 290 294 295 296 297 298 302 305 306 307 311 312 313 317 322 326 329 340 341 346 348 351 353 357 359 365 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 31 33 36 41 45 47 54 56 58 60 61 66 70 71 72 78 82 84 85 87 89 94 98 100 101 112 113 115 116 119 124 125 127 131 141 142 144 145 146 150 154 155 157 170 179 184 188 190 191 192 195 197 200 206 208 210 212 213 214 216 218 219 220 222 223 230 240 249 252 253 254 255 260 263 267 269 270 275 278 280 282 286 290 294 295 296 297 298 302 305 306 307 311 312 313 317 318 322 326 329 340 341 346 348 351 353 357 359 365 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 31 33 36 41 45 47 54 56 58 60 61 66 70 71 72 78 82 84 85 87 89 94 98 100 101 112 113 115 116 119 124 125 127 131 141 142 144 145 146 150 154 155 157 170 176 179 184 188 191 192 195 197 200 206 208 210 212 213 214 216 218 219 220 222 223 230 240 249 252 253 254 255 260 263 267 269 270 275 278 280 282 286 290 294 295 296 297 298 302 305 306 307 311 312 313 317 318 322 326 329 340 341 346 348 351 353 357 359 365 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 31 33 36 41 45 47 54 56 58 60 61 66 70 71 72 78 82 84 85 87 89 94 98 100 101 112 113 115 116 119 124 125 127 131 141 142 144 145 146 150 154 155 157 170 176 179 184 188 192 195 197 200 206 208 210 212 213 214 216 218 219 220 222 223 230 240 243 249 252 253 254 255 260 263 267 269 270 275 278 280 282 286 290 294 295 296 297 298 302 305 306 307 311 312 313 317 318 322 326 329 340 341 346 348 351 353 357 359 365 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 31 33 36 41 45 47 54 56 58 60 61 66 71 72 78 82 84 85 87 89 94 98 100 101 112 113 115 116 119 124 125 127 131 141 142 144 145 146 150 154 155 157 170 176 179 184 188 192 195 197 200 206 208 210 212 213 214 216 218 219 220 222 223 230 240 243 249 252 253 254 255 260 263 267 269 270 275 278 280 282 286 290 294 295 296 297 298 302 305 306 307 311 312 313 317 318 322 326 328 329 340 341 346 348 351 353 357 359 365 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 31 33 36 41 45 47 54 56 58 60 61 66 71 72 78 82 84 85 87 89 94 98 100 101 112 113 115 116 119 124 125 127 131 141 142 144 145 146 150 154 155 157 170 176 179 184 188 192 195 197 206 208 210 212 213 214 216 218 219 220 222 223 230 240 243 249 252 253 254 255 260 263 267 269 270 275 278 280 282 286 290 294 295 296 297 298 302 305 306 307 311 312 313 317 318 322 326 327 328 329 340 341 346 348 351 353 357 359 365 370 374 a 1 3 6 8 9 10 15 20 21 23 24 27 28 30 31 33 36 41 45 47 54 56 58 60 61 66 71 72 78 82 84 85 87 89 94 98 100 101 112 113 115 116 119 124 125 127 131 141 142 144 145 146 150 154 155 157 170 176 179 184 188 192 195 197 206 208 212 213 214 216 218 219 220 222 223 230 240 243 249 252 253 254 255 260 263 267 269 270 275 278 280 282 286 290 292 294 295 296 297 298 302 305 306 307 311 312 313 317 318 322 326 327 328 329 340 341 346 348 351 353 357 359 365 370 374 c Step: 127 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance029_graph004.col /benchmark/random_instance/random_instance029_graph004_01.dat" User time (seconds): 552.98 System time (seconds): 2.35 Percent of CPU this job got: 151% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:05.69 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): 7588004 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 2609365 Voluntary context switches: 8634 Involuntary context switches: 862 Swaps: 0 File system inputs: 0 File system outputs: 808 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 14:47:05 2023]