#BEGIN: [Tue Sep 26 01:50:40 2023] #HOST: s13 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance030_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance030_graph002_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance030_graph002.col /benchmark/random_instance/random_instance030_graph002_01.dat c /benchmark/random_instance/random_instance030_graph002.col c /benchmark/random_instance/random_instance030_graph002_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.013 seconds s 35 267 23 170 83 150 225 251 378 314 187 238 139 43 323 8 290 387 369 79 185 47 376 313 271 72 285 5 236 312 343 137 20 56 205 263 138 191 113 381 257 356 133 136 197 247 159 306 117 222 73 164 180 249 270 380 99 354 259 295 371 143 63 126 269 291 288 39 101 52 12 26 68 207 67 208 76 338 90 277 282 310 40 1 55 66 11 321 216 219 262 54 169 333 81 235 264 223 175 194 215 168 25 373 198 300 162 193 75 13 94 41 233 384 250 374 84 91 195 135 265 286 9 59 206 261 213 77 t 353 18 388 286 169 317 228 193 221 225 244 45 346 176 300 232 38 147 17 93 231 91 251 340 141 255 380 159 267 106 385 175 144 148 92 204 307 125 365 285 182 256 102 67 331 258 185 20 243 315 152 341 59 342 70 131 278 283 184 309 27 207 181 35 373 110 323 9 304 326 31 97 47 352 293 124 261 80 347 58 95 192 390 316 235 32 34 1 212 318 85 357 254 94 174 6 54 377 369 245 103 301 14 268 137 8 214 75 4 381 13 344 382 374 133 308 337 310 190 306 363 79 299 5 329 376 296 229 a YES a 1 5 8 9 11 12 13 20 23 25 26 35 39 40 41 43 47 52 54 55 56 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 99 101 113 117 126 133 135 136 137 138 139 143 150 159 162 164 168 169 170 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 235 236 238 247 249 250 251 257 259 261 262 263 264 265 267 269 270 271 277 282 285 286 288 290 291 295 300 306 310 312 313 314 321 323 333 338 343 354 356 369 371 373 374 376 378 380 381 384 387 a 1 5 8 9 11 12 13 20 23 25 26 35 39 40 41 43 47 52 54 55 56 59 63 66 67 68 72 73 75 76 77 81 83 84 90 91 94 99 101 113 117 126 133 135 136 137 138 139 143 150 159 162 164 168 169 170 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 235 236 238 247 249 250 251 257 259 261 262 263 264 265 267 269 270 271 277 282 285 286 288 290 291 295 300 306 310 312 313 314 321 323 333 338 343 354 356 364 369 371 373 374 376 378 380 381 384 387 a 1 5 8 9 11 12 13 20 23 25 26 35 39 40 41 43 47 52 54 55 56 59 63 66 67 68 72 73 75 76 77 81 83 84 90 91 94 99 101 107 113 117 126 133 135 136 137 138 139 143 150 159 162 164 168 169 170 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 235 236 238 247 249 250 251 257 259 261 262 263 264 265 267 269 270 271 277 282 285 288 290 291 295 300 306 310 312 313 314 321 323 333 338 343 354 356 364 369 371 373 374 376 378 380 381 384 387 a 1 5 8 9 11 12 13 20 23 25 26 35 39 40 41 43 47 52 54 55 56 59 63 66 67 68 72 73 75 76 77 81 83 84 90 91 94 99 101 107 113 117 126 133 135 136 137 138 139 143 150 159 162 164 168 169 170 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 238 247 249 250 251 257 259 261 262 263 264 265 267 269 270 271 277 282 285 288 290 291 295 298 300 306 310 312 313 314 321 323 333 338 343 354 356 364 369 371 373 374 376 378 380 381 384 387 a 1 5 8 9 11 12 13 20 23 25 26 33 35 39 40 41 43 47 52 54 55 56 59 63 66 67 68 72 73 75 76 77 81 83 84 90 91 94 99 101 107 113 117 126 133 135 136 138 139 143 150 159 162 164 168 169 170 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 238 247 249 250 251 257 259 261 262 263 264 265 267 269 270 271 277 282 285 288 290 291 295 298 300 306 310 312 313 314 321 323 333 338 343 354 356 364 369 371 373 374 376 378 380 381 384 387 a 1 5 8 9 11 12 13 20 23 25 26 33 35 39 40 41 43 47 52 54 55 56 59 63 66 67 68 72 73 75 76 77 81 83 84 90 91 94 99 101 107 113 117 126 133 135 136 138 139 143 150 159 162 164 168 169 170 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 238 247 249 250 251 257 259 261 262 264 265 267 269 270 271 277 278 282 285 288 290 291 295 298 300 306 310 312 313 314 321 323 333 338 343 354 356 364 369 371 373 374 376 378 380 381 384 387 a 1 5 8 9 11 12 13 20 23 25 26 33 35 39 40 41 43 47 52 54 55 56 59 63 66 67 68 72 73 75 76 77 81 83 84 90 91 94 99 101 107 113 117 126 133 135 136 138 139 143 150 159 162 164 168 169 170 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 238 247 249 250 251 257 259 261 262 264 265 267 269 270 271 277 278 282 285 290 291 295 298 300 306 309 310 312 313 314 321 323 333 338 343 354 356 364 369 371 373 374 376 378 380 381 384 387 a 1 5 8 9 12 13 20 23 25 26 33 35 39 40 41 43 47 52 54 55 56 59 63 66 67 68 72 73 75 76 77 81 83 84 90 91 94 99 101 107 113 117 126 133 135 136 138 139 143 149 150 159 162 164 168 169 170 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 238 247 249 250 251 257 259 261 262 264 265 267 269 270 271 277 278 282 285 290 291 295 298 300 306 309 310 312 313 314 321 323 333 338 343 354 356 364 369 371 373 374 376 378 380 381 384 387 a 1 5 8 9 12 13 20 23 25 26 33 35 39 40 41 43 47 52 54 55 59 63 66 67 68 72 73 75 76 77 81 83 84 90 91 94 99 101 107 113 117 126 133 135 136 138 139 143 149 150 159 162 164 168 169 170 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 238 247 249 250 251 257 259 261 262 264 265 267 269 270 271 277 278 282 285 290 291 295 298 300 306 309 310 312 313 314 321 323 333 338 343 351 354 356 364 369 371 373 374 376 378 380 381 384 387 a 1 5 8 9 11 12 13 20 23 25 26 33 35 39 40 41 43 47 52 54 55 59 63 66 67 68 72 73 75 76 77 81 83 84 90 91 94 99 101 107 113 117 126 133 135 136 138 139 149 150 159 162 164 168 169 170 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 238 247 249 250 251 257 259 261 262 264 265 267 269 270 271 277 278 282 285 290 291 295 298 300 306 309 310 312 313 314 321 323 333 338 343 351 354 356 364 369 371 373 374 376 378 380 381 384 387 a 1 5 8 9 11 12 13 20 23 25 26 33 35 39 40 41 43 47 52 54 55 59 63 66 67 68 72 73 75 76 77 81 83 84 90 91 94 95 99 101 107 113 117 126 133 135 136 138 139 149 150 159 162 164 168 169 170 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 238 247 249 250 251 257 259 261 262 264 265 267 269 270 271 277 278 282 285 290 291 295 298 300 306 309 310 312 314 321 323 333 338 343 351 354 356 364 369 371 373 374 376 378 380 381 384 387 a 1 5 8 9 11 12 13 20 23 25 33 35 39 40 41 43 47 52 54 55 59 63 66 67 68 72 73 75 76 77 81 83 84 90 91 94 95 99 101 107 113 117 126 133 135 136 138 139 143 149 150 159 162 164 168 169 170 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 238 247 249 250 251 257 259 261 262 264 265 267 269 270 271 277 278 282 285 290 291 295 298 300 306 309 310 312 314 321 323 333 338 343 351 354 356 364 369 371 373 374 376 378 380 381 384 387 a 1 5 8 9 11 12 13 20 23 25 33 35 39 40 41 43 47 52 54 55 59 63 66 67 68 72 73 75 76 77 81 83 84 90 91 94 95 99 101 107 113 117 126 133 135 136 138 139 143 149 150 159 162 164 168 169 170 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 238 247 249 250 251 257 259 261 262 264 265 267 269 270 271 277 278 282 285 290 291 295 298 300 306 309 310 312 313 314 321 323 333 338 343 351 354 356 364 369 371 373 374 376 378 380 381 384 a 1 5 8 9 11 12 13 20 23 25 33 35 39 40 41 43 47 52 54 55 59 63 66 67 68 72 73 75 76 77 81 83 84 90 91 94 95 99 101 107 113 117 126 133 135 136 138 139 143 149 150 159 162 164 168 169 170 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 247 249 250 251 257 259 261 262 264 265 267 269 270 271 277 278 282 285 290 291 295 298 300 306 309 310 312 313 314 318 321 323 333 338 343 351 354 356 364 369 371 373 374 376 378 380 381 384 a 1 5 8 9 12 13 20 23 25 33 35 39 40 41 43 47 52 54 55 59 63 66 67 68 72 73 75 76 77 81 83 84 90 91 94 95 99 101 107 113 117 126 133 135 136 138 139 143 149 150 159 162 164 168 169 170 171 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 247 249 250 251 257 259 261 262 264 265 267 269 270 271 277 278 282 285 290 291 295 298 300 306 309 310 312 313 314 318 321 323 333 338 343 351 354 356 364 369 371 373 374 376 378 380 381 384 a 1 5 8 9 12 13 20 23 25 33 35 39 40 41 43 47 52 54 55 59 63 66 67 68 72 73 75 76 77 81 83 84 90 91 94 95 99 101 107 113 117 126 133 135 136 138 139 143 149 150 159 162 164 168 169 170 171 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 238 247 249 250 251 257 259 261 262 264 265 267 269 270 271 277 278 282 285 290 291 295 298 300 306 309 310 312 313 314 318 321 323 333 338 343 351 354 356 364 369 371 373 374 378 380 381 384 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 66 67 68 72 73 75 76 77 81 83 84 90 91 94 95 99 101 107 113 117 126 133 135 136 138 139 143 149 150 159 162 164 168 169 170 171 175 180 185 187 191 193 194 195 197 198 205 206 207 213 215 216 219 222 223 225 233 236 238 247 249 250 251 257 259 261 262 264 265 267 269 270 271 277 278 282 285 290 291 295 298 300 306 309 310 312 313 314 318 321 323 333 338 343 351 354 356 364 369 371 373 374 378 380 381 384 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 66 67 68 72 73 75 76 77 81 83 84 90 91 94 95 99 101 107 113 117 126 133 135 136 138 139 143 149 150 159 162 164 168 169 170 171 175 180 185 187 191 193 194 195 197 198 205 206 207 213 215 216 219 222 223 225 233 236 238 247 249 250 251 257 259 261 262 264 265 267 269 270 271 277 278 282 285 290 291 295 298 300 306 309 310 312 313 314 318 321 323 333 338 343 351 354 356 364 369 371 373 374 378 380 381 387 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 66 67 68 72 73 75 76 77 81 83 84 90 91 94 95 99 101 107 113 117 126 133 135 136 138 139 143 149 150 159 162 164 168 169 170 171 175 180 185 187 191 193 194 195 197 198 205 206 207 213 215 216 219 222 223 225 233 236 238 247 249 250 251 257 259 261 262 264 265 267 269 270 271 277 278 282 285 290 291 295 298 300 306 309 310 312 313 314 318 321 323 333 338 343 351 354 356 364 369 371 373 374 376 380 381 387 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 66 67 68 72 73 75 76 77 81 83 84 90 94 95 99 101 107 113 117 126 133 135 136 138 139 143 149 150 159 162 164 168 169 170 171 175 180 185 187 191 193 194 195 197 198 205 206 207 213 215 216 219 222 223 225 233 236 238 247 249 250 251 257 259 261 262 264 265 267 269 270 271 277 278 282 285 290 291 295 298 300 306 309 310 312 313 314 318 321 323 333 338 343 351 354 356 364 369 371 373 374 376 380 381 384 387 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 66 67 68 72 73 75 76 77 81 83 84 90 94 95 99 101 107 113 117 126 133 135 136 138 139 143 149 150 159 162 164 168 169 171 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 238 247 249 250 251 257 259 261 262 264 265 267 269 270 271 277 278 282 285 290 291 295 298 300 306 309 310 312 313 314 318 321 323 333 338 343 351 354 356 364 369 371 373 374 376 380 381 384 387 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 66 67 68 72 73 75 76 77 81 83 84 90 91 94 95 99 101 107 113 117 126 133 135 136 138 139 143 149 150 159 162 164 168 169 171 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 238 247 249 250 251 257 259 261 262 264 265 267 269 270 271 277 278 282 285 290 291 295 298 300 306 309 310 312 313 314 318 321 323 333 338 343 351 354 356 364 369 371 373 374 376 380 381 384 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 66 68 72 73 75 76 77 81 83 84 90 91 94 95 99 101 107 113 117 126 133 135 136 138 139 143 149 150 159 162 164 168 169 171 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 238 247 249 250 251 257 259 261 262 264 265 267 269 270 271 277 278 282 285 290 291 295 298 300 306 309 310 312 313 314 318 321 323 333 338 343 351 354 356 364 369 371 373 374 376 378 380 381 384 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 66 68 72 73 75 76 77 81 83 84 90 91 94 95 99 101 107 113 117 126 127 133 135 136 138 139 143 149 150 159 162 164 168 169 171 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 238 247 249 250 251 257 259 261 262 264 265 267 269 270 271 277 278 282 285 290 291 295 298 300 306 309 310 312 313 314 318 321 323 333 338 343 351 354 356 364 369 373 374 376 378 380 381 384 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 66 68 72 73 75 76 77 81 83 84 90 91 94 95 99 101 107 113 117 126 127 133 135 136 138 139 143 149 150 159 162 164 168 169 170 171 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 238 247 249 250 251 257 259 261 262 264 265 267 269 270 271 277 278 282 285 290 291 295 298 300 306 309 310 312 313 314 318 321 323 333 338 343 351 354 356 364 373 374 376 378 380 381 384 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 66 68 72 73 75 76 77 81 83 84 90 91 94 95 99 101 107 113 117 126 127 133 135 136 138 139 143 149 150 159 162 164 168 169 170 171 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 238 247 249 250 251 257 259 261 262 263 264 265 267 269 270 271 277 282 285 290 291 295 298 300 306 309 310 312 313 314 318 321 323 333 338 343 351 354 356 364 373 374 376 378 380 381 384 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 66 68 72 73 75 76 77 81 83 84 90 91 94 95 99 101 107 113 117 126 127 133 135 136 138 139 143 149 159 162 164 168 169 170 171 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 238 247 249 250 251 256 257 259 261 262 263 264 265 267 269 270 271 277 282 285 290 291 295 298 300 306 309 310 312 313 314 318 321 323 333 338 343 351 354 356 364 373 374 376 378 380 381 384 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 66 68 72 73 75 76 77 81 83 84 90 91 94 95 99 101 107 113 117 126 127 133 135 136 138 139 143 149 159 162 164 168 169 170 171 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 238 247 249 250 251 256 257 259 261 262 263 264 265 267 269 270 271 277 282 285 290 291 295 298 300 306 309 310 312 313 314 318 321 323 333 338 343 351 354 356 364 369 373 374 376 378 380 381 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 66 68 72 73 75 76 77 81 83 84 90 91 94 95 99 101 107 113 117 126 127 133 135 136 138 139 143 149 159 162 164 168 169 170 171 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 238 247 249 250 251 256 257 259 261 262 263 264 265 267 269 270 271 277 282 285 290 295 298 300 306 309 310 312 313 314 318 321 323 333 338 343 350 351 354 356 364 369 373 374 376 378 380 381 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 66 67 68 72 73 75 76 77 81 83 84 90 91 94 95 99 101 107 113 117 126 127 133 135 136 138 139 143 149 159 162 164 168 169 170 171 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 238 247 249 250 251 256 257 259 261 262 263 264 265 267 269 270 271 277 282 285 290 295 298 300 306 309 310 312 313 314 318 321 323 333 338 343 350 351 354 356 364 369 373 374 376 378 380 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 66 67 68 72 73 75 76 77 81 83 84 90 91 94 95 99 101 107 113 117 126 127 133 135 136 138 139 143 149 159 162 164 168 169 170 171 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 238 247 249 250 251 256 257 259 261 262 263 264 265 267 269 270 271 277 282 285 290 291 295 298 300 306 309 310 312 313 314 318 321 323 333 338 343 350 351 354 356 364 369 373 374 376 378 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 66 67 68 72 73 75 76 77 81 83 84 90 91 94 95 99 101 107 113 117 126 127 133 135 136 138 139 143 149 159 162 164 168 169 170 171 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 238 247 249 250 251 256 257 259 261 262 263 264 265 267 269 270 271 277 282 285 290 291 295 298 300 306 309 310 312 313 314 318 321 323 333 338 343 350 351 354 356 364 369 373 374 376 387 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 66 67 68 72 73 75 76 77 81 83 84 90 91 94 95 99 101 107 113 117 126 127 133 135 136 138 139 143 149 159 162 164 168 169 170 171 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 238 247 249 250 251 256 257 259 261 263 264 265 267 269 270 271 277 282 285 290 291 295 298 300 306 309 310 312 313 314 318 321 323 333 338 343 350 351 354 356 364 369 373 374 376 384 387 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 66 67 68 72 73 75 76 77 81 83 84 90 91 94 95 99 101 107 113 117 126 127 133 135 136 138 139 143 149 159 162 164 168 169 170 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 238 247 249 250 251 256 257 259 261 263 264 265 267 269 270 271 277 282 285 290 291 295 298 300 306 309 310 312 313 314 318 321 323 333 338 343 350 351 354 356 364 369 373 374 376 378 384 387 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 66 67 68 72 73 75 76 77 81 83 84 90 91 94 95 99 101 107 113 117 126 127 133 135 136 138 139 143 149 159 162 164 168 169 170 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 238 247 249 250 251 256 257 259 261 262 263 264 265 267 269 270 271 277 282 285 290 291 295 298 300 306 309 310 312 313 314 318 321 323 333 338 343 350 351 354 356 364 369 373 374 376 378 384 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 66 67 68 72 73 75 76 77 81 83 84 90 91 94 95 99 101 107 113 117 126 127 133 135 136 138 139 143 149 159 162 164 168 169 170 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 238 247 249 250 251 256 257 259 261 262 263 264 265 267 269 270 271 277 282 285 290 291 295 296 298 300 306 309 310 312 313 314 318 321 323 333 338 343 350 351 354 356 364 369 373 374 376 378 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 66 67 68 72 73 76 77 81 83 84 90 91 94 95 99 101 107 113 117 126 127 133 135 136 138 139 143 149 159 162 164 168 169 170 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 238 247 249 250 251 256 257 259 261 262 263 264 265 267 269 270 271 277 282 285 287 290 291 295 296 298 300 306 309 310 312 313 314 318 321 323 333 338 343 350 351 354 356 364 369 373 374 376 378 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 66 67 68 72 73 76 77 81 83 84 90 91 94 95 99 107 113 117 126 127 133 135 136 138 139 143 149 159 162 164 168 169 170 175 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 229 233 236 238 247 249 250 251 256 257 259 261 262 263 264 265 267 269 270 271 277 282 285 287 290 291 295 296 298 300 306 309 310 312 313 314 318 321 323 333 338 343 350 351 354 356 364 369 373 374 376 378 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 66 67 68 72 73 76 77 81 83 84 90 91 94 95 99 107 113 117 126 127 133 135 136 138 139 143 149 159 162 164 168 169 170 175 180 185 187 191 192 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 229 233 236 238 249 250 251 256 257 259 261 262 263 264 265 267 269 270 271 277 282 285 287 290 291 295 296 298 300 306 309 310 312 313 314 318 321 323 333 338 343 350 351 354 356 364 369 373 374 376 378 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 66 67 68 72 73 76 77 81 83 84 90 91 94 95 99 101 107 113 117 126 127 133 135 136 138 139 143 149 159 162 164 168 169 170 175 180 185 187 191 192 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 238 249 250 251 256 257 259 261 262 263 264 265 267 269 270 271 277 282 285 287 290 291 295 296 298 300 306 309 310 312 313 314 318 321 323 333 338 343 350 351 354 356 364 369 373 374 376 378 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 67 68 72 73 75 76 77 81 83 84 90 91 94 95 99 101 107 113 117 126 127 133 135 136 138 139 143 149 159 162 164 168 169 170 175 180 185 187 191 192 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 238 249 250 251 256 257 259 261 262 263 264 265 267 269 270 271 277 282 285 287 290 291 295 296 298 300 306 309 310 312 313 314 318 321 323 333 338 343 350 351 354 356 364 369 373 374 376 378 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 67 68 72 73 75 76 77 81 83 84 90 91 94 95 99 101 107 113 117 126 127 133 135 136 138 139 143 149 159 162 164 168 169 170 175 180 185 187 191 192 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 238 249 250 251 256 257 259 261 262 263 264 265 267 269 270 271 277 282 285 287 290 291 295 296 298 300 306 309 310 312 313 314 318 321 323 333 338 343 350 354 356 364 369 373 374 376 378 380 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 67 68 72 73 75 76 77 81 83 84 90 91 94 95 99 101 107 117 126 127 133 135 136 138 139 143 149 159 162 164 168 169 170 175 180 185 187 191 192 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 238 249 250 251 255 256 257 259 261 262 263 264 265 267 269 270 271 277 282 285 287 290 291 295 296 298 300 306 309 310 312 313 314 318 321 323 333 338 343 350 354 356 364 369 373 374 376 378 380 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 67 68 72 73 75 76 77 81 83 84 90 91 94 95 99 101 107 117 126 127 133 135 136 138 139 143 149 159 162 164 168 169 170 175 180 185 187 191 192 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 238 249 250 251 255 256 257 259 261 262 263 264 265 267 269 270 271 277 282 285 287 290 291 295 296 298 300 301 306 309 310 312 313 314 318 321 323 333 338 343 350 354 356 364 369 373 374 376 380 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 67 68 72 73 75 76 77 81 83 84 90 91 94 95 99 101 107 117 126 127 133 135 136 138 139 143 149 159 162 164 168 169 170 175 180 185 187 191 192 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 233 236 238 249 250 251 255 256 257 259 261 262 263 264 265 267 269 271 277 282 285 287 290 291 295 296 298 300 301 306 309 310 312 313 314 318 321 323 333 338 343 350 354 356 364 369 373 374 376 380 381 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 67 68 72 73 75 76 77 81 83 84 90 91 94 95 99 107 117 126 127 133 135 136 138 139 143 149 159 162 164 168 169 170 175 180 185 187 191 192 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 229 233 236 238 249 250 251 255 256 257 259 261 262 263 264 265 267 269 271 277 282 285 287 290 291 295 296 298 300 301 306 309 310 312 313 314 318 321 323 333 338 343 350 354 356 364 369 373 374 376 380 381 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 67 68 72 73 75 76 77 81 83 84 90 91 94 95 99 107 126 127 133 135 136 138 139 143 149 159 162 164 168 169 170 175 180 185 187 191 192 193 194 195 197 198 205 206 207 208 213 214 215 216 219 222 223 225 229 233 236 238 249 250 251 255 256 257 259 261 262 263 264 265 267 269 271 277 282 285 287 290 291 295 296 298 300 301 306 309 310 312 313 314 318 321 323 333 338 343 350 354 356 364 369 373 374 376 380 381 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 67 68 72 73 75 76 77 81 83 84 90 91 94 95 99 107 126 127 133 135 136 138 139 143 149 159 162 164 168 169 170 175 180 185 187 191 192 193 194 195 197 198 205 206 207 208 213 214 215 216 219 222 223 225 229 233 236 238 249 250 251 255 256 257 259 261 262 263 264 265 267 268 269 277 282 285 287 290 291 295 296 298 300 301 306 309 310 312 313 314 318 321 323 333 338 343 350 354 356 364 369 373 374 376 380 381 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 67 68 72 73 75 76 77 81 83 84 90 91 94 95 99 107 126 127 133 135 138 139 143 149 159 162 164 168 169 170 175 180 185 187 191 192 193 194 195 197 198 205 206 207 208 213 214 215 216 219 222 223 225 229 233 235 236 238 249 250 251 255 256 257 259 261 262 263 264 265 267 268 269 277 282 285 287 290 291 295 296 298 300 301 306 309 310 312 313 314 318 321 323 333 338 343 350 354 356 364 369 373 374 376 380 381 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 67 68 72 73 75 76 77 81 83 84 90 91 94 95 99 107 126 127 133 135 138 139 143 149 159 162 164 168 169 170 175 180 185 187 191 192 193 194 195 197 198 205 206 207 208 213 214 215 216 219 222 223 225 229 233 235 236 238 244 249 250 251 255 256 257 259 261 262 263 264 265 267 268 269 277 282 285 287 290 291 295 296 298 300 301 306 309 310 312 313 314 318 321 323 333 338 343 350 354 356 369 373 374 376 380 381 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 126 127 133 135 138 139 143 149 159 162 164 168 169 170 175 180 185 187 191 192 193 194 195 197 198 205 206 207 208 213 214 215 216 219 222 223 225 229 233 235 236 238 244 249 250 251 255 256 257 259 261 262 263 264 265 267 268 269 277 282 285 287 290 291 295 296 298 300 301 306 309 310 312 313 314 318 321 323 333 338 343 350 354 356 369 373 374 376 380 381 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 55 59 63 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 126 127 133 135 138 139 143 149 159 162 164 168 169 170 175 180 185 187 191 192 193 194 195 197 198 205 206 207 208 213 214 215 216 219 222 223 225 229 233 235 236 238 244 249 250 251 255 256 257 259 261 262 263 264 265 267 268 269 277 282 285 286 287 290 291 295 296 300 301 306 309 310 312 313 314 318 321 323 333 338 343 350 354 356 369 373 374 376 380 381 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 59 63 67 68 70 72 73 75 76 77 79 81 83 84 90 91 94 95 99 126 127 133 135 138 139 143 149 159 162 164 168 169 170 175 180 185 187 191 192 193 194 195 197 198 205 206 207 208 213 214 215 216 219 222 223 225 229 233 235 236 238 244 249 250 251 255 256 257 259 261 262 263 264 265 267 268 269 277 282 285 286 287 290 291 295 296 300 301 306 309 310 312 313 314 318 321 323 333 338 343 350 354 356 369 373 374 376 380 381 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 59 63 67 68 70 72 73 75 76 77 79 81 83 84 90 91 94 95 99 126 127 133 135 138 139 143 148 149 159 162 168 169 170 175 180 185 187 191 192 193 194 195 197 198 205 206 207 208 213 214 215 216 219 222 223 225 229 233 235 236 238 244 249 250 251 255 256 257 259 261 262 263 264 265 267 268 269 277 282 285 286 287 290 291 295 296 300 301 306 309 310 312 313 314 318 321 323 333 338 343 350 354 356 369 373 374 376 380 381 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 59 63 67 68 70 72 73 75 76 77 79 81 83 84 90 91 94 95 99 126 127 133 135 138 139 143 148 149 159 162 168 169 170 175 180 185 187 191 192 193 194 195 197 198 205 206 207 208 213 214 215 216 219 222 223 225 229 233 235 236 238 244 249 250 251 255 256 257 259 261 262 263 264 265 267 268 269 277 282 285 286 287 290 291 295 296 300 301 306 309 310 313 314 318 321 323 333 338 343 350 354 356 369 373 374 376 380 381 390 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 59 63 67 68 70 72 73 75 76 77 79 81 83 84 90 91 94 95 99 126 127 133 135 138 139 143 148 149 159 162 168 169 170 175 180 185 187 191 192 193 194 195 197 198 205 206 207 208 213 214 215 216 219 222 223 225 229 233 235 236 238 243 244 249 250 251 255 256 257 259 261 262 263 264 265 267 268 269 277 282 285 286 287 290 295 296 300 301 306 309 310 313 314 318 321 323 333 338 343 350 354 356 369 373 374 376 380 381 390 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 59 63 67 68 70 72 73 75 76 77 79 81 83 84 90 91 94 95 99 126 127 133 135 138 139 143 148 149 159 162 168 169 170 175 180 185 187 191 192 193 194 195 197 198 205 206 207 208 213 214 215 216 219 222 223 225 229 233 235 236 238 243 244 249 250 251 255 256 257 259 261 262 263 264 265 267 268 269 277 285 286 287 290 295 296 300 301 306 309 310 313 314 318 321 323 329 333 338 343 350 354 356 369 373 374 376 380 381 390 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 59 63 67 68 70 72 73 75 76 77 79 81 83 84 90 91 94 95 99 126 127 133 135 138 139 143 148 149 159 162 168 169 170 175 180 185 187 191 192 193 194 195 197 198 205 206 207 208 213 214 215 216 219 222 223 225 229 233 235 236 238 243 244 249 250 251 255 256 257 259 261 262 264 265 267 268 269 277 278 285 286 287 290 295 296 300 301 306 309 310 313 314 318 321 323 329 333 338 343 350 354 356 369 373 374 376 380 381 390 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 59 63 67 68 70 72 73 75 76 77 79 81 83 84 90 91 94 95 99 126 127 133 135 138 139 143 148 159 162 168 169 170 175 180 185 187 191 192 193 194 195 197 198 205 206 207 208 213 214 215 216 219 222 223 225 229 233 235 236 238 243 244 249 250 251 255 256 257 259 261 262 264 265 267 268 269 277 278 285 286 287 290 295 296 300 301 306 309 310 313 314 317 318 321 323 329 333 338 343 350 354 356 369 373 374 376 380 381 390 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 59 63 67 68 70 72 73 75 76 77 79 81 83 84 90 91 94 95 99 126 127 133 135 138 139 143 148 159 162 168 169 170 175 180 185 187 190 191 192 193 194 195 197 198 205 206 207 208 213 214 215 216 219 222 223 225 229 233 235 236 238 243 244 249 250 251 255 256 257 259 261 262 264 265 267 268 269 277 278 285 286 287 290 295 296 300 301 306 309 310 313 314 317 318 321 323 329 333 338 343 350 356 369 373 374 376 380 381 390 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 59 63 67 68 70 72 73 75 76 77 79 81 83 84 90 91 94 95 99 126 127 133 135 138 139 143 148 159 162 168 169 170 175 180 185 187 190 191 192 193 194 195 197 198 205 206 207 208 213 214 215 216 219 222 223 225 229 233 235 236 238 243 244 249 250 251 255 256 257 259 261 262 264 265 267 268 269 277 278 285 286 287 295 296 300 301 306 309 310 313 314 315 317 318 321 323 329 333 338 343 350 356 369 373 374 376 380 381 390 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 59 63 67 68 70 72 73 75 76 77 79 81 83 84 90 91 94 95 99 126 127 133 135 138 139 143 148 159 162 168 169 170 175 180 185 187 190 191 192 193 194 195 197 198 205 206 207 208 213 214 215 216 219 222 223 225 229 231 233 235 236 238 243 244 249 251 255 256 257 259 261 262 264 265 267 268 269 277 278 285 286 287 295 296 300 301 306 309 310 313 314 315 317 318 321 323 329 333 338 343 350 356 369 373 374 376 380 381 390 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 59 63 67 68 70 72 73 75 76 77 79 81 83 84 90 91 94 95 99 126 127 133 135 138 139 143 144 148 159 162 168 169 170 175 180 185 187 190 191 192 193 194 195 197 198 205 206 207 213 214 215 216 219 222 223 225 229 231 233 235 236 238 243 244 249 251 255 256 257 259 261 262 264 265 267 268 269 277 278 285 286 287 295 296 300 301 306 309 310 313 314 315 317 318 321 323 329 333 338 343 350 356 369 373 374 376 380 381 390 a 1 5 8 9 12 13 20 21 23 25 33 35 39 40 41 43 47 52 54 59 63 67 68 70 72 73 75 76 77 79 81 83 84 90 91 94 95 99 126 127 133 135 138 139 143 144 148 159 162 168 169 175 180 185 187 190 191 192 193 194 195 197 198 204 205 206 207 213 214 215 216 219 222 223 225 229 231 233 235 236 238 243 244 249 251 255 256 257 259 261 262 264 265 267 268 269 277 278 285 286 287 295 296 300 301 306 309 310 313 314 315 317 318 321 323 329 333 338 343 350 356 369 373 374 376 380 381 390 a 1 5 8 9 12 13 14 20 21 25 33 35 39 40 41 43 47 52 54 59 63 67 68 70 72 73 75 76 77 79 81 83 84 90 91 94 95 99 126 127 133 135 138 139 143 144 148 159 162 168 169 175 180 185 187 190 191 192 193 194 195 197 198 204 205 206 207 213 214 215 216 219 222 223 225 229 231 233 235 236 238 243 244 249 251 255 256 257 259 261 262 264 265 267 268 269 277 278 285 286 287 295 296 300 301 306 309 310 313 314 315 317 318 321 323 329 333 338 343 350 356 369 373 374 376 380 381 390 a 1 5 8 9 12 13 14 20 25 33 35 39 40 41 43 47 52 54 59 63 67 68 70 72 73 75 76 77 79 81 83 84 90 91 94 95 99 126 127 133 135 138 139 143 144 148 159 162 168 169 175 180 185 187 190 191 192 193 194 195 197 198 204 205 206 207 213 214 215 216 219 222 223 225 229 231 233 235 236 238 243 244 249 251 255 256 257 259 261 262 264 265 267 268 269 277 278 285 286 287 295 296 300 301 304 306 309 310 313 314 315 317 318 321 323 329 333 338 343 350 356 369 373 374 376 380 381 390 a 1 5 8 9 12 13 14 20 25 33 35 39 40 41 43 47 52 54 59 63 67 68 70 72 73 75 76 77 79 81 83 84 90 91 94 95 99 126 127 133 135 138 139 143 144 148 159 162 168 169 175 180 185 187 190 191 192 193 194 195 197 198 204 205 206 207 213 214 215 216 219 222 223 225 229 231 235 236 238 243 244 249 251 255 256 257 259 261 262 264 265 267 268 269 277 278 285 286 287 295 296 300 301 304 306 309 310 313 314 315 317 318 321 323 329 333 338 343 350 356 369 373 374 376 380 381 388 390 a 1 5 8 9 12 13 14 20 25 33 35 39 40 41 43 47 52 54 59 63 67 68 70 72 73 75 76 77 79 81 83 84 90 91 94 95 99 126 127 133 135 138 139 143 144 148 159 162 168 169 175 180 181 185 187 190 191 192 193 194 195 197 204 205 206 207 213 214 215 216 219 222 223 225 229 231 235 236 238 243 244 249 251 255 256 257 259 261 262 264 265 267 268 269 277 278 285 286 287 295 296 300 301 304 306 309 310 313 314 315 317 318 321 323 329 333 338 343 350 356 369 373 374 376 380 381 388 390 a 1 5 8 9 12 13 14 20 25 33 35 39 40 41 43 47 52 54 59 63 67 68 70 72 73 75 76 77 79 81 83 84 90 91 94 95 99 126 127 133 135 138 139 143 144 148 159 162 168 169 175 180 181 184 185 187 190 191 192 193 194 195 197 204 206 207 213 214 215 216 219 222 223 225 229 231 235 236 238 243 244 249 251 255 256 257 259 261 262 264 265 267 268 269 277 278 285 286 287 295 296 300 301 304 306 309 310 313 314 315 317 318 321 323 329 333 338 343 350 356 369 373 374 376 380 381 388 390 a 1 5 8 9 12 13 14 20 25 33 35 39 40 41 43 47 52 54 59 63 67 68 70 72 73 75 76 77 79 81 83 84 90 91 94 95 99 126 127 133 135 138 139 143 144 148 159 162 168 169 175 180 181 184 185 187 190 191 192 193 194 197 204 206 207 213 214 215 216 219 222 223 225 229 231 235 236 238 243 244 249 251 255 256 257 259 261 262 264 265 267 268 269 277 278 285 286 287 295 296 300 301 304 306 308 309 310 313 314 315 317 318 321 323 329 333 338 343 350 356 369 373 374 376 380 381 388 390 a 1 5 6 8 9 12 13 14 20 25 33 35 39 40 41 43 47 52 54 59 63 67 68 70 72 73 75 76 77 79 81 83 84 90 91 94 95 99 126 127 133 135 138 139 143 144 148 159 162 168 169 175 180 181 184 185 187 190 191 192 193 194 197 204 206 207 213 214 215 219 222 223 225 229 231 235 236 238 243 244 249 251 255 256 257 259 261 262 264 265 267 268 269 277 278 285 286 287 295 296 300 301 304 306 308 309 310 313 314 315 317 318 321 323 329 333 338 343 350 356 369 373 374 376 380 381 388 390 a 1 5 6 8 9 12 13 14 20 25 33 35 39 40 41 43 47 52 54 59 63 67 68 70 72 73 75 76 77 79 81 83 84 90 91 94 95 99 126 127 133 135 138 139 143 144 148 159 162 168 169 175 180 181 184 185 187 190 191 192 193 194 197 204 206 207 213 214 215 219 222 223 225 229 231 235 236 238 243 244 245 249 251 255 256 257 259 261 262 264 265 267 268 269 277 278 285 286 287 295 296 300 301 304 306 308 309 310 313 314 315 317 318 321 323 329 333 338 343 350 369 373 374 376 380 381 388 390 a 1 5 6 8 9 12 13 14 20 25 33 35 39 40 41 43 47 52 54 59 63 67 68 70 72 73 75 76 77 79 81 84 90 91 94 95 99 126 127 133 135 138 139 143 144 148 159 162 168 169 175 180 181 184 185 187 190 191 192 193 194 197 204 206 207 213 214 215 219 221 222 223 225 229 231 235 236 238 243 244 245 249 251 255 256 257 259 261 262 264 265 267 268 269 277 278 285 286 287 295 296 300 301 304 306 308 309 310 313 314 315 317 318 321 323 329 333 338 343 350 369 373 374 376 380 381 388 390 a 1 5 6 8 9 12 13 14 20 25 33 35 39 40 41 43 47 52 54 59 63 67 68 70 72 73 75 76 77 79 81 84 90 91 94 95 99 126 127 133 135 138 139 143 144 148 159 162 168 169 175 181 184 185 187 190 191 192 193 194 197 204 206 207 213 214 215 219 221 222 223 225 229 231 235 236 238 243 244 245 249 251 255 256 257 259 261 262 264 265 267 268 269 277 278 285 286 287 295 296 300 301 304 306 308 309 310 313 314 315 317 318 321 323 329 333 338 343 350 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 20 25 33 35 39 40 41 43 47 52 54 59 63 67 68 70 72 73 75 76 77 79 81 84 90 91 94 95 99 126 127 131 133 135 138 139 143 144 148 159 162 168 169 175 181 184 185 187 190 191 192 193 194 197 204 206 207 213 214 215 219 221 222 223 225 229 231 235 236 238 243 244 245 249 251 255 256 257 259 261 262 264 265 267 268 269 277 278 285 286 287 295 296 300 301 304 306 308 309 310 313 314 315 317 318 321 323 329 333 343 350 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 20 25 33 35 39 40 41 43 47 52 54 59 63 67 68 70 72 73 75 76 77 79 81 84 90 91 94 95 99 127 131 133 135 138 139 143 144 148 159 162 168 169 175 181 184 185 187 190 191 192 193 194 197 204 206 207 213 214 215 219 221 222 223 225 229 231 235 236 238 243 244 245 249 251 255 256 257 259 261 262 264 265 267 268 269 277 278 285 286 287 295 296 299 300 301 304 306 308 309 310 313 314 315 317 318 321 323 329 333 343 350 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 20 25 33 35 39 40 41 43 47 52 54 59 63 67 68 70 72 73 75 77 79 81 84 90 91 94 95 99 127 131 133 135 138 139 143 144 148 159 162 168 169 175 181 184 185 187 190 191 192 193 194 197 204 206 207 213 214 215 219 221 222 223 225 229 231 235 236 238 243 244 245 249 251 255 256 257 259 261 262 264 265 267 268 269 277 278 285 286 287 295 296 299 300 301 304 306 308 309 310 313 314 315 317 318 321 323 329 333 342 343 350 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 20 25 33 35 39 40 41 43 47 52 54 59 67 68 70 72 73 75 77 79 81 84 90 91 94 95 99 127 131 133 135 138 139 143 144 148 159 162 168 169 175 181 184 185 187 190 191 192 193 194 197 204 206 207 213 214 215 219 221 222 223 225 229 231 235 236 238 243 244 245 249 251 255 256 257 259 261 262 264 265 267 268 269 277 278 285 286 287 295 296 299 300 301 304 306 308 309 310 313 314 315 317 318 321 323 329 333 341 342 343 350 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 20 25 33 35 39 40 41 43 47 52 54 59 67 68 70 72 73 75 77 79 81 84 90 91 94 95 99 124 127 131 133 135 138 139 143 144 148 159 162 168 169 175 181 184 185 187 190 191 192 193 194 197 204 206 207 213 214 215 219 221 222 223 225 229 231 235 236 238 243 244 245 249 251 255 256 257 259 261 262 264 265 267 268 269 277 278 285 286 287 295 296 299 300 301 304 306 308 309 310 313 314 315 317 318 321 323 329 341 342 343 350 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 20 25 33 35 39 40 41 43 47 54 59 67 68 70 72 73 75 77 79 81 84 90 91 94 95 99 124 127 131 133 135 138 139 143 144 148 159 162 168 169 175 181 184 185 187 190 191 192 193 194 197 204 206 207 213 214 215 219 221 222 223 225 229 231 235 236 238 243 244 245 249 251 255 256 257 259 261 262 264 265 267 268 269 277 278 285 286 287 295 296 299 300 301 304 306 308 309 310 313 314 315 317 318 321 323 329 340 341 342 343 350 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 20 25 33 35 39 40 41 43 47 54 59 67 68 70 72 73 75 77 79 81 84 90 91 94 95 99 124 127 131 133 135 138 139 143 144 148 159 162 168 169 175 181 184 185 187 190 191 192 193 194 197 204 206 207 213 214 215 219 221 222 223 225 229 231 235 236 238 243 244 245 249 251 255 256 257 259 261 262 264 265 267 268 277 278 285 286 287 295 296 299 300 301 304 306 308 309 310 313 314 315 317 318 321 323 329 340 341 342 343 350 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 20 25 33 35 39 40 41 43 47 54 59 67 68 70 72 73 75 77 79 81 84 90 91 94 95 99 124 127 131 133 135 138 139 143 144 148 159 162 169 175 181 184 185 187 190 191 192 193 194 197 204 206 207 213 214 215 219 221 222 223 225 229 231 235 236 238 243 244 245 249 251 255 256 257 259 261 262 264 265 267 268 277 278 285 286 287 295 296 299 300 301 304 306 308 309 310 313 314 315 317 318 321 323 329 340 341 342 343 344 350 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 20 25 33 35 39 40 41 43 47 54 59 67 68 70 72 73 75 77 79 81 84 90 91 94 95 99 124 127 131 133 135 138 139 143 144 148 159 162 169 175 181 184 185 190 191 192 193 194 197 204 206 207 213 214 215 219 221 222 223 225 229 231 235 236 238 243 244 245 249 251 254 255 256 257 259 261 262 264 265 267 268 277 278 285 286 287 295 296 299 300 301 304 306 308 309 310 313 314 315 317 318 321 323 329 340 341 342 343 344 350 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 20 25 33 35 39 40 41 43 47 54 59 67 68 70 72 73 75 77 79 81 84 90 91 94 95 99 124 127 131 133 135 138 139 143 144 148 159 162 169 175 181 184 185 190 191 192 193 194 197 204 206 207 213 214 215 219 221 222 223 225 229 231 235 236 238 243 244 245 249 251 254 255 256 257 259 261 262 264 265 267 268 277 278 285 286 287 295 296 299 300 301 304 306 308 309 310 313 314 315 317 318 321 323 329 340 341 342 343 344 352 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 20 25 33 35 39 40 41 43 47 54 59 67 68 70 72 73 75 77 79 81 84 90 91 94 95 99 124 127 131 133 138 139 141 143 144 148 159 162 169 175 181 184 185 190 191 192 193 194 197 204 206 207 213 214 215 219 221 222 223 225 229 231 235 236 238 243 244 245 249 251 254 255 256 257 259 261 262 264 265 267 268 277 278 285 286 287 295 296 299 300 301 304 306 308 309 310 313 314 315 317 318 321 323 329 340 341 342 343 344 352 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 20 25 31 33 35 39 40 41 43 47 54 59 67 68 70 72 73 75 77 79 81 84 90 91 94 95 99 124 127 131 133 138 139 141 143 144 148 159 162 169 175 181 184 185 190 191 192 193 194 197 204 206 207 213 214 215 219 221 222 225 229 231 235 236 238 243 244 245 249 251 254 255 256 257 259 261 262 264 265 267 268 277 278 285 286 287 295 296 299 300 301 304 306 308 309 310 313 314 315 317 318 321 323 329 340 341 342 343 344 352 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 20 25 31 33 35 39 40 41 43 47 54 59 67 68 70 72 73 75 77 79 81 84 90 91 94 95 99 124 131 133 138 139 141 143 144 148 159 162 169 175 181 184 185 190 191 192 193 194 197 204 206 207 213 214 215 219 221 222 225 229 231 235 236 238 243 244 245 249 251 254 255 256 257 258 259 261 262 264 265 267 268 277 278 285 286 287 295 296 299 300 301 304 306 308 309 310 313 314 315 317 318 321 323 329 340 341 342 343 344 352 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 20 25 31 33 35 39 40 41 43 47 54 59 67 68 70 72 73 75 77 79 81 84 90 91 94 95 99 124 131 133 138 139 141 143 144 148 159 162 169 175 181 184 185 190 191 192 193 194 197 204 206 207 213 214 215 219 221 222 225 229 231 235 236 243 244 245 249 251 254 255 256 257 258 259 261 262 264 265 267 268 277 278 285 286 287 295 296 299 300 301 304 306 308 309 310 313 314 315 317 318 321 323 329 340 341 342 343 344 352 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 20 25 31 33 35 39 40 41 43 47 54 59 67 68 70 72 73 75 77 79 81 84 90 91 94 95 99 110 124 131 133 138 139 141 143 144 148 159 162 169 175 181 184 185 190 191 192 193 194 197 204 206 207 213 214 215 219 221 222 225 229 231 235 236 243 244 245 249 251 254 255 256 257 258 259 261 262 264 265 267 268 277 278 285 286 287 295 296 299 300 301 304 306 308 309 310 314 315 317 318 321 323 329 340 341 342 343 344 352 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 20 25 31 33 35 39 40 41 43 47 54 58 59 67 68 70 72 73 75 77 79 81 84 90 91 94 95 99 110 124 131 133 138 139 141 143 144 148 159 162 169 175 181 184 185 190 191 192 193 194 197 204 206 207 213 214 215 219 221 222 225 229 231 235 236 243 244 245 249 251 254 255 256 257 258 259 261 262 264 265 267 268 277 278 285 286 287 295 296 299 300 301 304 306 308 309 310 314 315 317 318 323 329 340 341 342 343 344 352 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 20 25 31 33 35 39 40 41 43 47 54 58 59 67 68 70 72 73 75 77 79 81 84 90 91 94 95 99 110 124 131 133 138 139 141 143 144 148 159 162 169 175 181 184 185 190 191 192 193 194 197 204 206 207 213 214 215 219 221 222 225 229 231 235 236 243 244 245 249 251 254 255 256 257 258 259 261 262 264 265 267 268 277 278 285 286 287 296 299 300 301 304 306 308 309 310 314 315 317 318 323 329 337 340 341 342 343 344 352 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 20 25 31 33 35 39 40 41 43 47 54 58 59 67 68 70 72 73 75 77 79 81 84 90 91 94 95 99 103 110 124 131 133 138 139 141 143 144 148 159 162 169 175 181 184 185 190 191 192 193 194 197 204 206 207 213 214 215 219 221 222 225 229 231 235 236 243 244 245 249 251 254 255 256 257 258 259 261 264 265 267 268 277 278 285 286 287 296 299 300 301 304 306 308 309 310 314 315 317 318 323 329 337 340 341 342 343 344 352 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 20 25 31 33 35 39 40 41 43 47 54 58 59 67 68 70 72 73 75 77 79 81 84 90 91 94 95 99 103 110 124 131 133 138 139 141 143 144 148 159 162 169 175 181 182 184 185 190 191 192 193 194 197 204 206 207 213 214 215 219 221 222 225 229 231 235 236 243 244 245 249 251 254 255 256 257 258 261 264 265 267 268 277 278 285 286 287 296 299 300 301 304 306 308 309 310 314 315 317 318 323 329 337 340 341 342 343 344 352 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 31 33 35 39 40 41 43 47 54 58 59 67 68 70 72 73 75 77 79 81 84 90 91 94 95 99 103 110 124 131 133 138 139 141 143 144 148 159 162 169 175 181 182 184 185 190 191 192 193 194 197 204 206 207 213 214 215 219 221 222 225 229 231 235 236 243 244 245 249 251 254 255 256 257 258 261 264 265 267 268 277 278 285 286 287 296 299 300 301 304 306 308 309 310 314 315 317 318 323 329 337 340 341 342 344 352 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 31 33 35 39 40 41 43 47 54 58 59 67 68 70 73 75 77 79 81 84 90 91 94 95 97 99 103 110 124 131 133 138 139 141 143 144 148 159 162 169 175 181 182 184 185 190 191 192 193 194 197 204 206 207 213 214 215 219 221 222 225 229 231 235 236 243 244 245 249 251 254 255 256 257 258 261 264 265 267 268 277 278 285 286 287 296 299 300 301 304 306 308 309 310 314 315 317 318 323 329 337 340 341 342 344 352 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 31 33 35 39 40 41 43 47 54 58 59 67 68 70 73 75 77 79 81 84 90 91 94 95 97 99 103 110 124 131 133 138 141 143 144 148 159 162 169 175 181 182 184 185 190 191 192 193 194 197 204 206 207 213 214 215 219 221 222 225 229 231 235 236 243 244 245 249 251 254 255 256 257 258 261 264 265 267 268 277 278 285 286 287 296 299 300 301 304 306 308 309 310 314 315 317 318 323 326 329 337 340 341 342 344 352 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 31 33 35 39 40 41 43 47 54 58 59 67 68 70 73 75 79 81 84 90 91 94 95 97 99 103 110 124 131 133 138 141 143 144 148 159 162 169 174 175 181 182 184 185 190 191 192 193 194 197 204 206 207 213 214 215 219 221 222 225 229 231 235 236 243 244 245 249 251 254 255 256 257 258 261 264 265 267 268 277 278 285 286 287 296 299 300 301 304 306 308 309 310 314 315 317 318 323 326 329 337 340 341 342 344 352 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 31 33 35 40 41 43 47 54 58 59 67 68 70 73 75 79 80 81 84 90 91 94 95 97 99 103 110 124 131 133 138 141 143 144 148 159 162 169 174 175 181 182 184 185 190 191 192 193 194 197 204 206 207 213 214 215 219 221 222 225 229 231 235 236 243 244 245 249 251 254 255 256 257 258 261 264 265 267 268 277 278 285 286 287 296 299 300 301 304 306 308 309 310 314 315 317 318 323 326 329 337 340 341 342 344 352 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 31 33 35 40 41 43 47 54 58 59 67 68 70 73 75 79 80 81 84 90 91 94 95 97 99 103 110 124 131 133 138 141 143 144 148 159 162 169 174 175 181 182 184 185 190 191 192 193 194 197 204 206 207 212 213 214 215 219 221 222 225 229 231 235 236 243 244 245 249 251 254 255 256 257 258 261 264 265 267 268 277 278 285 286 296 299 300 301 304 306 308 309 310 314 315 317 318 323 326 329 337 340 341 342 344 352 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 31 33 35 40 41 47 54 58 59 67 68 70 73 75 79 80 81 84 90 91 94 95 97 99 103 110 124 131 133 138 141 143 144 148 159 162 169 174 175 181 182 184 185 190 191 192 193 194 197 204 206 207 212 213 214 215 219 221 222 225 229 231 235 236 243 244 245 249 251 254 255 256 257 258 261 264 265 267 268 277 278 285 286 296 299 300 301 304 306 307 308 309 310 314 315 317 318 323 326 329 337 340 341 342 344 352 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 31 33 35 40 41 47 54 58 59 67 68 70 73 75 79 80 81 84 90 91 94 95 97 99 103 110 124 131 133 138 141 143 144 148 159 162 169 174 175 176 181 182 184 185 190 192 193 194 197 204 206 207 212 213 214 215 219 221 222 225 229 231 235 236 243 244 245 249 251 254 255 256 257 258 261 264 265 267 268 277 278 285 286 296 299 300 301 304 306 307 308 309 310 314 315 317 318 323 326 329 337 340 341 342 344 352 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 31 33 35 40 41 47 54 58 59 67 68 70 73 75 79 80 81 84 90 91 94 95 97 99 102 103 110 124 131 133 138 141 143 144 148 159 162 169 174 175 176 181 182 184 185 190 192 193 197 204 206 207 212 213 214 215 219 221 222 225 229 231 235 236 243 244 245 249 251 254 255 256 257 258 261 264 265 267 268 277 278 285 286 296 299 300 301 304 306 307 308 309 310 314 315 317 318 323 326 329 337 340 341 342 344 352 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 31 33 35 40 41 47 54 58 59 67 68 70 73 75 79 80 81 84 85 90 91 94 95 97 99 102 103 110 124 131 133 141 143 144 148 159 162 169 174 175 176 181 182 184 185 190 192 193 197 204 206 207 212 213 214 215 219 221 222 225 229 231 235 236 243 244 245 249 251 254 255 256 257 258 261 264 265 267 268 277 278 285 286 296 299 300 301 304 306 307 308 309 310 314 315 317 318 323 326 329 337 340 341 342 344 352 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 31 33 35 40 41 47 54 58 59 67 68 70 73 75 79 80 81 84 85 90 91 94 95 97 99 102 103 110 124 125 131 133 141 143 144 148 159 162 169 174 175 176 181 182 184 185 190 192 193 197 204 206 207 212 213 214 215 219 221 222 225 229 231 235 236 243 244 245 249 251 254 255 256 257 258 261 264 265 267 268 277 278 285 286 296 299 300 301 304 306 307 308 309 310 314 315 317 318 323 326 329 337 340 341 342 344 352 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 31 33 35 40 41 47 54 58 59 67 68 70 73 75 79 80 81 84 85 90 91 94 95 97 99 102 103 110 124 125 131 133 141 143 144 148 159 162 169 174 175 176 181 182 184 185 190 192 193 197 204 206 207 212 213 214 215 219 221 222 225 229 231 232 235 236 243 244 245 249 251 254 255 256 258 261 264 265 267 268 277 278 285 286 296 299 300 301 304 306 307 308 309 310 314 315 317 318 323 326 329 337 340 341 342 344 352 357 363 369 373 374 376 377 380 381 388 390 a 1 4 5 6 8 9 12 13 14 17 20 31 33 35 40 41 47 54 58 59 67 68 70 73 75 79 80 81 84 85 90 91 94 95 97 99 102 103 110 124 125 131 133 141 143 144 148 159 162 169 174 175 176 181 182 184 185 190 192 193 197 204 207 212 213 214 215 219 221 222 225 229 231 232 235 236 243 244 245 249 251 254 255 256 258 261 264 265 267 268 277 278 285 286 296 299 300 301 304 306 307 308 309 310 314 315 317 318 323 326 329 337 340 341 342 344 352 357 363 369 373 374 376 377 380 381 388 390 a 1 4 5 6 8 9 13 14 17 20 31 33 35 40 41 47 54 58 59 67 68 70 73 75 79 80 81 84 85 90 91 94 95 97 99 102 103 110 124 125 131 133 141 143 144 148 159 162 169 174 175 176 181 182 184 185 190 192 193 197 204 207 212 213 214 215 219 221 222 225 229 231 232 235 236 243 244 245 249 251 254 255 256 258 261 264 265 267 268 277 278 285 286 296 299 300 301 304 306 307 308 309 310 314 315 317 318 323 326 329 337 340 341 342 344 352 353 357 363 369 373 374 376 377 380 381 388 390 a 1 4 5 6 8 9 13 14 17 20 31 33 35 38 40 41 47 54 58 59 67 68 70 75 79 80 81 84 85 90 91 94 95 97 99 102 103 110 124 125 131 133 141 143 144 148 159 162 169 174 175 176 181 182 184 185 190 192 193 197 204 207 212 213 214 215 219 221 222 225 229 231 232 235 236 243 244 245 249 251 254 255 256 258 261 264 265 267 268 277 278 285 286 296 299 300 301 304 306 307 308 309 310 314 315 317 318 323 326 329 337 340 341 342 344 352 353 357 363 369 373 374 376 377 380 381 388 390 a 1 4 5 6 8 9 13 14 17 20 31 33 35 38 40 41 47 54 58 59 67 68 70 75 79 80 81 84 85 91 94 95 97 99 102 103 110 124 125 131 133 141 143 144 148 159 162 169 174 175 176 181 182 184 185 190 192 193 197 204 207 212 213 214 215 219 221 222 225 229 231 232 235 236 243 244 245 249 251 254 255 256 258 261 264 265 267 268 277 278 285 286 296 299 300 301 304 306 307 308 309 310 314 315 317 318 323 326 329 337 340 341 342 344 352 353 357 363 365 369 373 374 376 377 380 381 388 390 a 1 4 5 6 8 9 13 14 17 20 31 33 35 38 40 41 47 54 58 59 67 68 70 75 79 80 81 84 85 91 94 95 97 99 102 103 110 124 125 131 133 141 143 144 148 152 159 162 169 174 175 176 181 182 184 185 190 192 193 197 204 207 212 213 214 215 219 221 222 225 229 231 232 235 236 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 296 299 300 301 304 306 307 308 309 310 314 315 317 318 323 326 329 337 340 341 342 344 352 353 357 363 365 369 373 374 376 377 380 381 388 390 a 1 4 5 6 8 9 13 14 17 20 31 33 35 38 40 41 47 54 58 59 67 68 70 75 79 80 81 84 85 91 94 95 97 99 102 103 110 124 125 131 133 141 143 144 148 152 159 162 169 174 175 176 181 182 184 185 190 192 193 197 204 207 212 213 214 215 219 221 222 225 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 296 299 300 301 304 306 307 308 309 310 314 315 317 318 323 326 329 337 340 341 342 344 346 352 353 357 363 365 369 373 374 376 377 380 381 388 390 a 1 4 5 6 8 9 13 14 17 20 31 33 35 38 40 41 47 54 58 59 67 68 70 75 79 80 81 84 85 91 94 95 97 102 103 106 110 124 125 131 133 141 143 144 148 152 159 162 169 174 175 176 181 182 184 185 190 192 193 197 204 207 212 213 214 215 219 221 222 225 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 296 299 300 301 304 306 307 308 309 310 314 315 317 318 323 326 329 337 340 341 342 344 346 352 353 357 363 365 369 373 374 376 377 380 381 388 390 a 1 4 5 6 8 9 13 14 17 20 31 33 34 35 38 40 41 47 54 58 59 67 68 70 75 79 80 84 85 91 94 95 97 102 103 106 110 124 125 131 133 141 143 144 148 152 159 162 169 174 175 176 181 182 184 185 190 192 193 197 204 207 212 213 214 215 219 221 222 225 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 296 299 300 301 304 306 307 308 309 310 314 315 317 318 323 326 329 337 340 341 342 344 346 352 353 357 363 365 369 373 374 376 377 380 381 388 390 a 1 4 5 6 8 9 13 14 17 20 31 33 34 35 38 40 41 47 54 58 59 67 68 70 75 79 80 84 85 91 94 95 97 102 103 106 110 124 125 131 133 141 143 144 148 152 159 162 169 174 175 176 181 182 184 185 190 192 193 197 204 207 212 213 214 215 219 221 222 225 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 267 268 278 285 286 296 299 300 301 304 306 307 308 309 310 314 315 317 318 323 326 329 337 340 341 342 344 346 347 352 353 357 363 365 369 373 374 376 377 380 381 388 390 a 1 4 5 6 8 9 13 14 17 20 27 31 33 34 35 38 40 41 47 54 58 59 67 68 70 75 79 80 84 85 91 94 95 97 102 103 106 110 124 125 131 133 141 143 144 148 152 159 162 169 174 175 176 181 182 184 185 190 192 193 197 204 207 212 214 215 219 221 222 225 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 267 268 278 285 286 296 299 300 301 304 306 307 308 309 310 314 315 317 318 323 326 329 337 340 341 342 344 346 347 352 353 357 363 365 369 373 374 376 377 380 381 388 390 a 1 4 5 6 8 9 13 14 17 20 27 31 34 35 38 40 41 47 54 58 59 67 68 70 75 79 80 84 85 91 94 95 97 102 103 106 110 124 125 131 133 141 143 144 148 152 159 162 169 174 175 176 181 182 184 185 190 192 193 197 204 207 212 214 215 219 221 222 225 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 267 268 278 285 286 296 299 300 301 304 306 307 308 309 310 314 315 317 318 323 326 329 337 340 341 342 344 346 347 352 353 357 363 365 369 373 374 376 377 380 381 382 388 390 a 1 4 5 6 8 9 13 14 17 20 27 31 32 34 35 38 40 41 47 54 58 59 67 68 70 75 79 80 85 91 94 95 97 102 103 106 110 124 125 131 133 141 143 144 148 152 159 162 169 174 175 176 181 182 184 185 190 192 193 197 204 207 212 214 215 219 221 222 225 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 267 268 278 285 286 296 299 300 301 304 306 307 308 309 310 314 315 317 318 323 326 329 337 340 341 342 344 346 347 352 353 357 363 365 369 373 374 376 377 380 381 382 388 390 a 1 4 5 6 8 9 13 14 17 20 27 31 32 34 35 38 40 41 47 54 58 59 67 68 70 75 79 80 85 91 94 95 97 102 103 106 110 124 125 131 133 137 141 143 144 148 152 159 169 174 175 176 181 182 184 185 190 192 193 197 204 207 212 214 215 219 221 222 225 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 267 268 278 285 286 296 299 300 301 304 306 307 308 309 310 314 315 317 318 323 326 329 337 340 341 342 344 346 347 352 353 357 363 365 369 373 374 376 377 380 381 382 388 390 a 1 4 5 6 8 9 13 14 17 20 27 31 32 34 35 38 40 41 47 54 58 59 67 68 70 75 79 80 85 91 92 94 95 97 102 103 106 110 124 125 131 133 137 141 143 144 148 152 159 169 174 175 176 181 182 184 185 190 192 193 197 204 207 212 214 215 219 221 225 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 267 268 278 285 286 296 299 300 301 304 306 307 308 309 310 314 315 317 318 323 326 329 337 340 341 342 344 346 347 352 353 357 363 365 369 373 374 376 377 380 381 382 388 390 a 1 4 5 6 8 9 13 14 17 20 27 31 32 34 35 38 40 47 54 58 59 67 68 70 75 79 80 85 91 92 94 95 97 102 103 106 110 124 125 131 133 137 141 143 144 148 152 159 169 174 175 176 181 182 184 185 190 192 193 197 204 207 212 214 215 219 221 225 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 267 268 278 285 286 296 299 300 301 304 306 307 308 309 310 314 315 316 317 318 323 326 329 337 340 341 342 344 346 347 352 353 357 363 365 369 373 374 376 377 380 381 382 388 390 a 1 4 5 6 8 9 13 14 17 20 27 31 32 34 35 38 40 47 54 58 59 67 68 70 75 79 80 85 91 92 94 95 97 102 103 106 110 124 125 131 133 137 141 143 144 148 152 159 169 174 175 176 181 182 184 185 190 192 193 197 204 207 212 214 215 219 221 225 229 231 232 235 243 244 245 249 251 254 255 256 258 261 267 268 278 285 286 293 296 299 300 301 304 306 307 308 309 310 314 315 316 317 318 323 326 329 337 340 341 342 344 346 347 352 353 357 363 365 369 373 374 376 377 380 381 382 388 390 a 1 4 5 6 8 9 13 14 17 20 27 31 32 34 35 38 40 47 54 58 59 67 68 70 75 79 80 85 91 92 94 95 97 102 103 106 110 124 125 131 133 137 141 143 144 148 152 159 169 174 175 176 181 182 184 185 190 192 193 197 204 207 212 214 215 219 221 225 229 231 232 235 243 244 245 251 254 255 256 258 261 267 268 278 285 286 293 296 299 300 301 304 306 307 308 309 310 314 315 316 317 318 323 326 329 337 340 341 342 344 346 347 352 353 357 363 365 369 373 374 376 377 380 381 382 385 388 390 a 1 4 5 6 8 9 13 14 17 20 27 31 32 34 35 38 40 47 54 58 59 67 68 70 75 79 80 85 91 92 94 95 97 102 103 106 110 124 125 131 133 137 141 143 144 147 148 152 159 169 174 175 176 181 182 184 185 190 192 193 197 204 207 212 214 215 221 225 229 231 232 235 243 244 245 251 254 255 256 258 261 267 268 278 285 286 293 296 299 300 301 304 306 307 308 309 310 314 315 316 317 318 323 326 329 337 340 341 342 344 346 347 352 353 357 363 365 369 373 374 376 377 380 381 382 385 388 390 a 1 4 5 6 8 9 13 14 17 20 27 31 32 34 35 38 40 47 54 58 59 67 68 70 75 79 80 85 91 92 94 95 97 102 103 106 110 124 125 131 133 137 141 143 144 147 148 152 159 169 174 175 176 181 182 184 185 190 192 193 197 204 207 212 214 215 221 225 228 229 231 232 235 243 244 245 251 254 255 256 258 261 267 268 278 285 286 293 296 299 300 301 304 306 307 308 309 310 315 316 317 318 323 326 329 337 340 341 342 344 346 347 352 353 357 363 365 369 373 374 376 377 380 381 382 385 388 390 a 1 4 5 6 8 9 13 14 17 20 27 31 32 34 35 38 40 47 54 58 59 67 68 70 75 79 80 85 91 92 94 95 97 102 103 106 110 124 125 131 133 137 141 143 144 147 148 152 159 169 174 175 176 181 182 184 185 190 192 193 197 204 207 212 214 221 225 228 229 231 232 235 243 244 245 251 254 255 256 258 261 267 268 278 283 285 286 293 296 299 300 301 304 306 307 308 309 310 315 316 317 318 323 326 329 337 340 341 342 344 346 347 352 353 357 363 365 369 373 374 376 377 380 381 382 385 388 390 a 1 4 5 6 8 9 13 14 17 18 20 27 31 32 34 35 38 40 47 54 58 59 67 70 75 79 80 85 91 92 94 95 97 102 103 106 110 124 125 131 133 137 141 143 144 147 148 152 159 169 174 175 176 181 182 184 185 190 192 193 197 204 207 212 214 221 225 228 229 231 232 235 243 244 245 251 254 255 256 258 261 267 268 278 283 285 286 293 296 299 300 301 304 306 307 308 309 310 315 316 317 318 323 326 329 337 340 341 342 344 346 347 352 353 357 363 365 369 373 374 376 377 380 381 382 385 388 390 a 1 4 5 6 8 9 13 14 17 18 20 27 31 32 34 35 38 40 47 54 58 59 67 70 75 79 80 85 91 92 93 94 95 97 102 103 106 110 124 125 131 133 137 141 144 147 148 152 159 169 174 175 176 181 182 184 185 190 192 193 197 204 207 212 214 221 225 228 229 231 232 235 243 244 245 251 254 255 256 258 261 267 268 278 283 285 286 293 296 299 300 301 304 306 307 308 309 310 315 316 317 318 323 326 329 337 340 341 342 344 346 347 352 353 357 363 365 369 373 374 376 377 380 381 382 385 388 390 a 1 4 5 6 8 9 13 14 17 18 20 27 31 32 34 35 38 45 47 54 58 59 67 70 75 79 80 85 91 92 93 94 95 97 102 103 106 110 124 125 131 133 137 141 144 147 148 152 159 169 174 175 176 181 182 184 185 190 192 193 197 204 207 212 214 221 225 228 229 231 232 235 243 244 245 251 254 255 256 258 261 267 268 278 283 285 286 293 296 299 300 301 304 306 307 308 309 310 315 316 317 318 323 326 329 337 340 341 342 344 346 347 352 353 357 363 365 369 373 374 376 377 380 381 382 385 388 390 a 1 4 5 6 8 9 13 14 17 18 20 27 31 32 34 35 38 45 47 54 58 59 67 70 75 79 80 85 91 92 93 94 95 97 102 103 106 110 124 125 131 133 137 141 144 147 148 152 159 169 174 175 176 181 182 184 185 190 192 193 204 207 212 214 221 225 228 229 231 232 235 243 244 245 251 254 255 256 258 261 267 268 278 283 285 286 293 296 299 300 301 304 306 307 308 309 310 315 316 317 318 323 326 329 331 337 340 341 342 344 346 347 352 353 357 363 365 369 373 374 376 377 380 381 382 385 388 390 c Step: 128 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance030_graph002.col /benchmark/random_instance/random_instance030_graph002_01.dat" User time (seconds): 543.53 System time (seconds): 4.42 Percent of CPU this job got: 150% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:03.99 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): 11857544 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 3735841 Voluntary context switches: 509622 Involuntary context switches: 2284 Swaps: 0 File system inputs: 0 File system outputs: 824 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 01:56:44 2023]