#BEGIN: [Tue Sep 26 01:00:18 2023] #HOST: s06 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent1 #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 /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! 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 79 81 83 84 90 91 94 99 101 113 117 126 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 302 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 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 135 136 137 138 139 143 150 159 162 164 168 169 170 175 180 181 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 302 306 310 312 313 314 321 323 333 338 343 354 356 369 371 373 374 376 378 380 381 384 387 a 1 3 5 8 9 11 12 13 20 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 135 136 137 138 139 143 150 159 162 164 168 169 170 175 180 181 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 270 271 277 282 285 286 288 290 291 295 300 302 306 310 312 313 314 321 323 333 338 343 354 356 369 371 373 374 376 378 380 381 384 387 a 1 3 5 8 9 11 12 13 20 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 135 136 137 138 139 143 150 159 162 164 168 169 170 175 180 181 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 235 236 238 247 249 250 251 257 259 261 262 263 264 265 267 270 271 277 282 285 286 288 290 291 295 300 302 306 310 312 313 314 321 323 333 338 343 354 356 369 371 373 374 376 378 380 381 384 387 388 a 1 5 8 9 11 12 13 20 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 135 136 137 138 139 143 150 159 162 164 168 169 170 175 180 181 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 225 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 302 306 310 312 313 314 321 323 333 338 343 354 356 369 371 373 374 376 378 380 381 384 387 388 a 1 5 8 9 11 12 13 20 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 135 136 137 138 139 143 150 159 162 164 168 169 170 175 180 181 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 302 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 79 81 83 84 90 91 94 99 101 113 117 126 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 302 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 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 302 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 59 63 66 67 68 72 73 75 76 77 81 83 84 90 91 94 95 99 101 113 117 126 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 302 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 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 113 117 126 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 302 306 310 312 313 314 318 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 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 113 117 126 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 217 219 222 223 225 233 235 236 238 247 249 250 251 257 259 261 262 263 264 265 269 270 271 277 282 285 286 288 290 291 295 300 302 306 310 312 313 314 318 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 35 39 40 41 43 47 52 54 55 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 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 217 219 222 223 225 233 235 236 238 247 249 250 251 257 259 261 262 263 264 265 269 270 271 277 282 285 286 288 290 291 295 300 302 306 310 312 313 314 318 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 35 39 40 41 43 47 52 54 55 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 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 302 306 310 312 313 314 318 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 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 113 117 126 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 302 306 310 312 313 314 318 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 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 113 117 126 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 247 249 250 251 257 259 261 262 263 264 265 267 269 270 271 277 282 285 286 288 290 291 295 300 302 306 310 312 313 314 318 321 323 333 338 343 354 356 357 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 59 63 66 67 68 72 73 75 76 77 81 83 84 90 91 94 95 99 101 113 117 126 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 247 249 250 251 257 259 261 262 263 264 265 267 269 270 271 277 282 285 286 288 290 291 295 300 302 306 310 312 313 314 321 323 333 338 343 354 356 357 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 59 63 66 67 68 72 73 75 76 77 81 83 84 90 91 94 95 99 101 113 117 126 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 302 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 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 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 302 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 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 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 301 302 306 310 312 313 314 321 323 333 338 343 354 356 369 371 373 374 376 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 59 63 66 67 68 71 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 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 301 302 306 310 312 313 314 321 333 338 343 354 356 369 371 373 374 376 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 59 63 66 67 68 71 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 135 136 137 138 139 143 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 256 257 259 261 262 263 264 265 267 269 270 271 277 282 285 286 288 290 291 295 300 301 302 306 310 312 313 314 321 333 338 343 354 356 369 371 373 374 376 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 59 63 66 67 68 71 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 128 135 136 137 138 139 143 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 256 257 259 261 262 263 264 265 267 269 270 271 282 285 286 288 290 291 295 300 301 302 306 310 312 313 314 321 333 338 343 354 356 369 371 373 374 376 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 59 63 66 67 68 71 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 128 135 136 137 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 235 236 238 247 249 250 251 256 257 259 261 262 263 264 265 267 269 270 271 282 285 286 290 291 295 300 301 302 306 310 312 313 314 321 333 338 343 354 356 369 371 373 374 376 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 59 63 66 67 68 71 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 128 135 136 137 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 282 285 286 290 291 295 300 301 302 306 310 312 313 314 321 333 338 343 354 355 356 369 371 373 374 376 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 59 63 66 67 68 71 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 135 136 137 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 286 290 291 295 300 301 302 306 310 312 313 314 321 333 338 343 354 355 356 369 371 373 374 376 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 59 63 66 67 68 71 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 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 286 290 291 295 300 301 302 306 310 312 313 314 321 333 338 343 351 354 355 356 369 371 373 374 376 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 59 63 66 67 68 71 72 73 75 76 77 79 81 83 84 90 91 94 95 98 99 101 113 117 126 135 136 138 139 143 149 159 162 164 168 169 170 175 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 286 290 291 295 300 301 302 306 310 312 313 314 321 333 338 343 351 354 355 356 369 371 373 374 376 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 59 63 66 67 68 71 72 73 75 76 77 79 81 83 84 90 91 94 95 98 99 101 113 117 126 135 136 138 139 143 149 159 162 164 168 169 170 175 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 279 282 285 286 290 291 295 300 301 302 306 310 312 314 321 333 338 343 351 354 355 356 369 371 373 374 376 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 71 72 73 75 76 77 79 81 83 84 90 91 94 95 98 99 101 113 117 126 135 136 138 139 143 149 159 162 164 168 169 170 175 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 279 282 285 286 290 291 295 300 301 302 306 310 312 314 321 333 338 343 351 354 355 356 369 371 373 374 380 381 384 387 a 1 5 9 11 12 13 20 23 25 26 33 35 39 40 41 43 47 52 54 55 59 63 66 67 68 71 72 73 75 76 77 79 81 83 84 90 91 94 95 98 99 101 113 117 126 135 136 138 139 143 149 159 160 162 164 168 169 170 175 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 279 282 285 286 290 291 295 300 301 302 306 310 312 314 321 333 338 343 351 354 355 356 369 371 373 374 380 381 384 387 a 1 5 9 11 12 13 20 23 25 26 33 35 39 40 41 43 47 52 54 55 59 63 66 67 68 71 72 73 75 76 77 79 81 83 84 90 91 94 95 98 99 101 113 117 126 135 136 138 139 143 149 159 160 162 164 168 169 170 175 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 279 282 285 286 290 291 295 300 301 302 306 310 312 314 321 333 338 343 351 354 355 356 369 371 373 376 380 381 384 387 a 1 5 9 11 12 13 20 23 25 26 33 35 39 40 41 43 47 52 54 55 59 63 66 67 68 71 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 135 136 138 139 143 149 159 160 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 279 282 285 286 290 291 295 300 301 302 306 310 312 314 321 333 338 343 351 354 355 356 369 371 373 376 380 381 384 387 a 1 5 9 11 12 13 20 23 25 26 33 35 39 40 41 43 47 52 54 55 59 63 66 67 68 71 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 135 136 138 139 143 149 159 160 162 164 168 169 170 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 279 282 285 286 290 291 295 300 301 302 306 310 312 314 321 333 338 343 351 354 355 356 369 371 373 376 380 381 383 384 387 a 1 5 9 11 12 13 20 23 25 26 33 35 39 40 41 43 47 52 54 55 59 63 66 67 68 71 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 135 136 138 139 143 149 159 160 162 164 168 169 170 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 233 236 238 247 249 250 251 256 257 259 261 262 263 264 265 267 269 270 271 277 279 282 285 286 290 291 295 300 301 302 306 310 312 314 321 333 338 343 351 354 355 356 369 371 373 374 376 380 381 383 384 387 a 1 5 9 12 13 20 21 23 25 26 33 35 39 40 41 43 47 52 54 55 59 63 66 67 68 71 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 135 136 138 139 143 149 159 160 162 164 168 169 170 180 185 187 191 193 194 195 197 198 205 206 207 208 213 215 216 219 222 223 233 236 238 247 249 250 251 256 257 259 261 262 263 264 265 267 269 270 271 277 279 282 285 286 290 291 295 300 301 302 306 310 312 314 321 333 338 343 351 354 355 356 369 371 373 374 376 380 381 383 384 387 a 1 5 9 12 13 20 21 23 25 26 33 35 39 40 41 43 47 52 54 55 59 63 66 67 68 71 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 135 136 138 139 143 149 159 160 162 164 168 169 180 185 187 191 193 194 195 197 198 204 205 206 207 208 213 215 216 219 222 223 233 236 238 247 249 250 251 256 257 259 261 262 263 264 265 267 269 270 271 277 279 282 285 286 290 291 295 300 301 302 306 310 312 314 321 333 338 343 351 354 355 356 369 371 373 374 376 380 381 383 384 387 a 1 5 8 9 12 13 20 21 23 25 26 33 35 39 40 41 43 47 52 54 55 59 63 66 67 68 71 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 135 136 138 139 143 149 159 162 164 168 169 180 185 187 191 193 194 195 197 198 204 205 206 207 208 213 215 216 219 222 223 233 236 238 247 249 250 251 256 257 259 261 262 263 264 265 267 269 270 271 277 279 282 285 286 290 291 295 300 301 302 306 310 312 314 321 333 338 343 351 354 355 356 369 371 373 374 376 380 381 383 384 387 a 1 5 8 9 12 13 20 21 23 25 26 33 35 39 40 41 43 52 54 55 59 63 66 67 68 71 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 135 136 138 139 143 149 159 162 164 168 169 180 185 187 191 193 194 195 197 198 204 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 279 282 285 286 290 291 295 300 301 302 306 310 312 314 321 333 338 343 351 354 355 356 369 371 373 374 376 380 381 383 384 387 a 1 5 8 9 12 13 20 21 23 25 26 33 35 39 40 41 43 52 54 55 59 63 66 67 68 71 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 133 135 136 138 139 143 149 159 162 164 168 169 180 185 187 191 193 194 195 197 198 204 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 279 282 285 286 290 291 295 300 301 306 310 312 314 321 333 338 343 351 354 355 356 369 371 373 374 376 380 381 383 384 387 a 1 5 8 9 12 13 20 21 23 25 26 33 35 39 40 41 43 52 54 55 59 63 66 67 68 71 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 133 135 136 138 139 143 149 159 162 164 168 169 180 185 187 191 192 193 194 195 197 198 204 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 279 282 285 286 290 291 295 300 301 306 310 312 314 321 333 338 343 351 354 355 356 369 371 373 374 376 380 381 383 384 387 a 1 5 8 9 12 13 20 23 25 26 33 35 39 40 41 43 52 54 55 59 63 66 67 68 71 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 133 135 136 138 139 143 149 159 162 164 168 169 180 185 187 191 192 193 194 195 197 198 204 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 279 282 285 286 290 291 295 300 301 306 309 310 312 314 321 333 338 343 351 354 355 356 369 371 373 374 376 380 381 383 384 387 a 1 5 8 9 12 13 20 23 25 26 33 35 39 40 41 43 52 54 55 59 63 66 67 68 71 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 133 135 136 138 139 143 149 159 162 164 168 169 180 185 187 191 192 193 194 195 197 198 204 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 279 282 285 286 290 291 295 300 301 306 309 310 314 321 333 338 343 351 354 355 356 369 371 373 374 376 380 381 383 384 387 390 a 1 5 8 9 12 13 20 23 25 26 33 35 39 40 41 43 52 54 55 59 63 66 67 68 71 72 73 75 76 77 79 81 83 84 90 91 94 95 99 101 113 117 126 133 135 136 138 139 143 149 159 162 164 168 169 180 185 187 191 192 193 194 195 197 198 204 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 279 282 285 286 290 291 295 300 301 306 309 310 314 321 333 338 351 354 355 356 369 371 373 374 376 380 381 383 384 387 390 a 1 5 8 9 12 13 20 23 25 26 33 35 39 40 41 43 52 54 55 59 63 66 67 68 71 72 73 75 76 77 79 81 83 84 90 91 94 95 99 113 117 126 133 135 136 138 139 143 149 159 162 164 168 169 180 185 187 191 192 193 194 195 197 198 204 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 270 271 277 279 282 285 286 290 291 295 300 301 306 309 310 314 321 333 338 351 354 355 356 369 371 373 374 376 380 381 383 384 387 390 a 1 5 8 9 12 13 20 23 25 26 33 35 39 40 41 43 52 54 55 59 63 66 67 68 71 72 73 75 76 77 79 81 83 84 90 91 94 95 99 113 117 126 133 135 136 138 139 143 149 159 162 164 168 169 175 180 185 187 191 192 193 194 195 197 198 204 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 270 271 277 279 282 285 286 290 291 295 300 301 306 309 310 314 321 333 338 351 354 355 356 369 371 373 374 376 380 381 384 387 390 a 1 5 8 9 12 13 20 23 25 26 33 35 39 40 41 43 52 54 55 59 63 66 67 68 71 72 73 75 76 77 79 81 83 84 90 91 94 95 99 113 117 126 133 135 136 138 139 143 149 159 162 164 168 169 175 180 185 187 191 192 193 194 195 197 198 204 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 270 271 277 279 282 285 286 290 291 295 300 301 306 309 310 314 321 333 338 351 354 356 363 369 371 373 374 376 380 381 384 387 390 a 1 5 8 9 12 13 20 23 25 26 33 35 40 41 43 52 54 55 59 63 66 67 68 71 72 73 75 76 77 79 81 83 84 90 91 94 95 99 113 117 126 133 135 136 138 139 143 149 159 162 164 168 169 175 180 185 187 191 192 193 194 195 197 198 204 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 270 271 277 279 282 285 286 290 291 295 296 300 301 306 309 310 314 321 333 338 351 354 356 363 369 371 373 374 376 380 381 384 387 390 a 1 5 8 9 12 13 20 23 25 26 33 35 40 41 43 47 52 54 55 59 63 66 67 68 71 72 73 75 76 77 79 81 83 84 90 91 94 95 99 113 117 126 133 135 136 138 139 143 149 159 162 164 168 169 175 180 185 187 191 192 193 194 195 197 198 204 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 270 271 277 279 282 285 286 290 291 295 296 300 301 306 309 310 314 321 333 338 351 354 356 363 369 373 374 376 380 381 384 387 390 a 1 5 8 9 12 13 20 23 25 26 33 35 40 41 43 47 52 54 55 59 63 66 67 68 71 72 73 75 76 77 79 81 83 84 90 91 94 95 99 113 117 126 133 135 136 138 139 143 149 159 162 164 168 169 175 180 185 187 191 192 193 194 195 197 198 204 205 206 207 208 213 215 216 219 222 223 225 229 233 235 238 249 250 251 255 256 257 259 261 262 263 264 265 267 269 270 271 277 279 282 285 286 290 291 295 296 300 301 306 309 310 314 321 333 338 351 354 356 363 369 373 374 376 380 381 384 387 390 a 1 5 8 9 12 13 20 23 25 26 33 35 40 41 43 47 52 54 55 59 63 66 67 68 71 72 73 75 76 77 79 81 83 84 90 91 94 95 99 113 117 126 133 135 136 138 139 143 149 159 162 164 168 169 175 180 185 187 190 191 192 193 194 195 197 198 204 205 206 207 208 213 215 216 219 222 223 225 229 233 235 238 249 250 251 255 256 257 259 261 262 263 264 265 267 269 270 271 277 279 282 285 286 290 295 296 300 301 306 309 310 314 321 333 338 351 354 356 363 369 373 374 376 380 381 384 387 390 a 1 5 8 9 12 13 20 23 25 26 33 35 40 41 43 47 52 54 55 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 113 117 126 133 135 136 138 139 143 149 159 162 164 168 169 175 180 185 187 190 191 192 193 194 195 197 198 204 205 206 207 208 213 215 216 219 222 223 225 229 233 235 238 249 250 251 255 256 257 259 261 262 263 264 265 267 269 270 271 277 279 282 285 286 290 295 296 300 301 306 309 310 314 321 323 333 338 351 354 356 363 369 373 374 376 380 381 384 387 390 a 1 5 8 9 12 13 20 23 25 26 33 35 40 41 43 47 52 54 55 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 113 117 126 133 135 136 138 139 143 149 159 162 164 168 169 175 180 185 187 190 191 192 193 194 195 197 198 204 205 206 207 208 213 215 216 219 222 223 225 229 233 235 238 244 249 250 251 255 256 257 259 261 262 263 264 265 267 269 270 271 277 279 282 285 286 290 295 296 300 301 306 309 310 314 321 323 333 338 351 354 356 363 369 373 374 376 380 381 384 390 a 1 5 8 9 12 13 14 20 25 26 33 35 40 41 43 47 52 54 55 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 113 117 126 133 135 136 138 139 143 149 159 162 164 168 169 175 180 185 187 190 191 192 193 194 195 197 198 204 205 206 207 208 213 215 216 219 222 223 225 229 233 235 238 244 249 250 251 255 256 257 259 261 262 263 264 265 267 269 270 271 277 279 282 285 286 290 295 296 300 301 306 309 310 314 321 323 333 338 351 354 356 363 369 373 374 376 380 381 384 390 a 1 5 8 9 12 13 14 20 25 26 33 35 40 41 43 47 52 54 55 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 113 126 133 135 136 138 139 143 149 159 162 164 168 169 175 180 185 187 190 191 192 193 194 195 197 198 204 205 206 207 208 213 214 215 216 219 222 223 225 229 233 235 238 244 249 250 251 255 256 257 259 261 262 263 264 265 267 269 270 271 277 279 282 285 286 290 295 296 300 301 306 309 310 314 321 323 333 338 351 354 356 363 369 373 374 376 380 381 384 390 a 1 5 8 9 12 13 14 20 25 26 33 35 40 41 43 47 52 54 55 59 63 66 67 68 72 73 75 76 77 79 81 83 84 90 91 94 95 99 113 126 133 135 136 138 139 143 149 159 162 164 168 169 175 180 185 187 190 191 192 193 194 195 197 198 204 205 206 207 208 214 215 216 219 222 223 225 229 233 235 238 243 244 249 250 251 255 256 257 259 261 262 263 264 265 267 269 270 271 277 279 282 285 286 290 295 296 300 301 306 309 310 314 321 323 333 338 351 354 356 363 369 373 374 376 380 381 384 390 a 1 5 8 9 12 13 14 20 25 26 33 35 40 41 43 47 52 54 55 59 63 66 67 68 72 73 75 76 77 79 83 84 90 91 94 95 99 113 126 133 135 136 138 139 143 149 159 162 164 168 169 175 180 181 185 187 190 191 192 193 194 195 197 198 204 205 206 207 208 214 215 216 219 222 223 225 229 233 235 238 243 244 249 250 251 255 256 257 259 261 262 263 264 265 267 269 270 271 277 279 282 285 286 290 295 296 300 301 306 309 310 314 321 323 333 338 351 354 356 363 369 373 374 376 380 381 384 390 a 1 5 8 9 12 13 14 20 25 26 33 35 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 83 84 90 91 94 95 99 113 126 133 135 136 138 139 143 149 159 162 164 168 169 175 180 181 185 187 190 191 192 193 194 195 197 198 204 205 206 207 208 214 215 216 219 222 223 225 229 233 235 238 243 244 249 250 251 255 256 257 259 261 262 263 264 265 267 269 270 271 277 279 282 285 286 290 295 296 300 301 306 309 310 314 323 333 338 351 354 356 363 369 373 374 376 380 381 384 390 a 1 5 8 9 12 13 14 20 25 26 33 35 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 83 84 90 91 94 95 99 113 126 133 135 136 138 139 143 149 159 162 164 168 169 175 180 181 185 187 190 191 192 193 194 195 197 198 204 205 206 207 208 214 215 216 219 222 223 225 229 233 235 238 243 244 249 250 251 255 256 257 259 261 262 263 264 265 267 269 270 271 277 279 282 285 286 290 296 300 301 306 309 310 314 323 333 337 338 351 354 356 363 369 373 374 376 380 381 384 390 a 1 5 8 9 12 13 14 20 25 26 33 35 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 83 84 90 91 94 95 99 113 126 133 135 136 138 139 143 149 159 162 164 168 169 175 180 181 185 187 190 191 192 193 194 195 197 198 204 205 206 207 208 214 215 216 219 222 223 225 229 233 235 238 243 244 249 250 251 255 256 257 259 261 262 264 265 267 269 270 271 277 278 279 282 285 286 290 296 300 301 306 309 310 314 323 333 337 338 351 354 356 363 369 373 374 376 380 381 384 390 a 1 5 8 9 12 13 14 20 25 26 33 35 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 83 84 90 91 94 95 99 113 126 133 135 136 138 139 143 149 159 162 164 168 169 175 180 181 185 187 190 191 192 193 194 195 197 198 204 205 206 207 208 214 215 219 222 223 225 229 233 235 238 243 244 245 249 250 251 255 256 257 259 261 262 264 265 267 269 270 271 277 278 279 282 285 286 290 296 300 301 306 309 310 314 323 333 337 338 351 354 356 363 369 373 374 376 380 381 384 390 a 1 5 8 9 12 13 14 20 25 26 33 35 40 41 43 47 52 54 55 58 59 63 66 67 68 72 73 75 76 77 79 83 84 90 91 94 95 99 113 126 133 135 136 138 139 143 149 159 162 164 168 169 175 180 181 185 187 190 191 192 193 194 195 197 198 204 205 206 207 208 214 215 219 222 223 225 229 233 235 243 244 245 249 250 251 255 256 257 259 261 262 264 265 267 269 270 271 277 278 279 282 285 286 290 296 300 301 306 309 310 314 323 333 337 338 351 354 356 357 363 369 373 374 376 380 381 384 390 a 1 5 6 8 9 12 13 14 20 25 26 33 35 40 41 43 47 52 54 55 58 59 63 66 67 72 73 75 76 77 79 83 84 90 91 94 95 99 113 126 133 135 136 138 139 143 149 159 162 164 168 169 175 180 181 185 187 190 191 192 193 194 195 197 198 204 205 206 207 208 214 215 219 222 223 225 229 233 235 243 244 245 249 250 251 255 256 257 259 261 262 264 265 267 269 270 271 277 278 279 282 285 286 290 296 300 301 306 309 310 314 323 333 337 338 351 354 356 357 363 369 373 374 376 380 381 384 390 a 1 5 6 8 9 12 13 14 20 25 26 33 35 40 41 43 47 52 54 55 58 59 63 66 67 72 73 75 76 77 79 83 84 90 91 94 95 99 113 126 133 135 136 138 139 143 149 159 162 164 168 169 175 180 181 185 187 190 191 192 193 194 195 197 198 204 205 206 207 208 214 215 219 222 223 225 229 232 233 235 243 244 245 249 250 251 255 256 259 261 262 264 265 267 269 270 271 277 278 279 282 285 286 290 296 300 301 306 309 310 314 323 333 337 338 351 354 356 357 363 369 373 374 376 380 381 384 390 a 1 5 6 8 9 12 13 14 20 25 26 33 35 40 41 43 47 52 54 55 58 59 63 66 67 72 73 75 76 77 79 83 84 90 91 94 95 99 113 126 133 135 136 138 139 143 148 149 159 162 168 169 175 180 181 185 187 190 191 192 193 194 195 197 198 204 205 206 207 208 214 215 219 222 223 225 229 232 233 235 243 244 245 249 250 251 255 256 259 261 262 264 265 267 269 270 271 277 278 279 282 285 286 290 296 300 301 306 309 310 314 323 333 337 338 351 354 356 357 363 369 373 374 376 380 381 384 390 a 1 5 6 8 9 12 13 14 20 25 26 33 35 40 41 47 52 54 55 58 59 63 66 67 72 73 75 76 77 79 83 84 90 91 94 95 99 113 126 133 135 136 138 139 143 148 149 159 162 168 169 175 180 181 185 187 190 191 192 193 194 195 197 198 204 205 206 207 208 214 215 219 222 223 225 229 232 233 235 243 244 245 249 250 251 255 256 259 261 262 264 265 267 269 270 271 277 278 279 282 285 286 290 296 300 301 306 307 309 310 314 323 333 337 338 351 354 356 357 363 369 373 374 376 380 381 384 390 a 1 5 6 8 9 12 13 14 20 25 26 33 35 40 41 47 52 54 55 58 59 66 67 72 73 75 76 77 79 83 84 90 91 94 95 99 110 113 126 133 135 136 138 139 143 148 149 159 162 168 169 175 180 181 185 187 190 191 192 193 194 195 197 198 204 205 206 207 208 214 215 219 222 223 225 229 232 233 235 243 244 245 249 250 251 255 256 259 261 262 264 265 267 269 270 271 277 278 279 282 285 286 290 296 300 301 306 307 309 310 314 323 333 337 338 351 354 356 357 363 369 373 374 376 380 381 384 390 a 1 5 6 8 9 12 13 14 20 25 26 33 35 40 41 47 52 54 55 58 59 66 67 72 73 75 76 77 79 83 84 90 91 94 95 99 110 113 126 133 135 136 138 139 143 148 149 159 162 168 169 175 180 181 182 185 187 190 191 192 193 194 195 197 198 204 205 206 207 208 214 215 219 222 223 225 229 232 233 235 243 244 245 249 250 251 255 256 261 262 264 265 267 269 270 271 277 278 279 282 285 286 290 296 300 301 306 307 309 310 314 323 333 337 338 351 354 356 357 363 369 373 374 376 380 381 384 390 a 1 5 6 8 9 12 13 14 17 20 25 26 33 35 40 41 47 52 54 55 58 59 66 67 72 73 75 76 77 79 83 84 90 91 94 95 99 110 113 126 133 135 136 138 139 143 148 149 159 162 168 169 175 180 181 182 185 187 190 191 192 193 194 195 198 204 205 206 207 208 214 215 219 222 223 225 229 232 233 235 243 244 245 249 250 251 255 256 261 262 264 265 267 269 270 271 277 278 279 282 285 286 290 296 300 301 306 307 309 310 314 323 333 337 338 351 354 356 357 363 369 373 374 376 380 381 384 390 a 1 5 6 8 9 12 13 14 17 20 25 26 33 35 40 41 47 52 54 55 58 59 66 67 72 73 75 76 77 79 83 84 90 91 94 95 99 110 113 126 133 135 136 138 139 143 148 149 159 162 168 169 175 180 181 182 185 187 190 191 192 193 194 195 198 204 205 206 207 208 214 215 219 222 223 225 229 232 233 235 243 244 245 249 250 251 255 256 261 262 264 265 267 269 270 271 277 278 279 285 286 290 296 300 301 306 307 309 310 314 323 329 333 337 338 351 354 356 357 363 369 373 374 376 380 381 384 390 a 1 5 6 8 9 12 13 14 17 20 25 26 33 35 40 41 47 52 54 55 58 59 66 67 72 73 75 76 77 79 83 84 90 91 94 95 99 110 113 126 133 135 136 139 143 148 149 159 162 168 169 175 180 181 182 185 187 190 191 192 193 194 195 198 204 205 206 207 208 214 215 219 222 223 225 229 232 233 235 243 244 245 249 250 251 255 256 261 262 264 265 267 269 270 271 277 278 279 285 286 290 296 300 301 304 306 307 309 310 314 323 329 333 337 338 351 354 356 357 363 369 373 374 376 380 381 384 390 a 1 5 6 8 9 12 13 14 17 20 25 26 33 35 40 41 47 52 54 55 58 59 66 67 72 73 75 76 77 79 83 84 90 91 94 95 99 110 113 126 133 135 136 139 143 148 149 159 162 168 169 175 180 181 182 185 187 190 191 192 193 194 195 198 204 205 206 207 208 214 215 219 222 223 225 229 232 233 235 243 244 245 249 250 251 255 256 261 262 264 265 267 268 269 270 277 278 279 285 286 290 296 300 301 304 306 307 309 310 314 323 329 333 337 338 351 354 356 357 363 369 373 374 376 380 381 384 390 a 1 5 6 8 9 12 13 14 17 20 25 26 33 35 38 40 41 47 52 54 55 58 59 66 67 72 75 76 77 79 83 84 90 91 94 95 99 110 113 126 133 135 136 139 143 148 149 159 162 168 169 175 180 181 182 185 187 190 191 192 193 194 195 198 204 205 206 207 208 214 215 219 222 223 225 229 232 233 235 243 244 245 249 250 251 255 256 261 262 264 265 267 268 269 270 277 278 279 285 286 290 296 300 301 304 306 307 309 310 314 323 329 333 337 338 351 354 356 357 363 369 373 374 376 380 381 384 390 a 1 5 6 8 9 12 13 14 17 20 25 33 35 38 40 41 47 52 54 55 58 59 66 67 72 75 76 77 79 83 84 90 91 94 95 99 110 113 126 133 135 136 139 143 148 149 159 162 168 169 175 180 181 182 185 187 190 191 192 193 194 195 198 204 205 206 207 208 214 215 219 222 223 225 229 232 233 235 243 244 245 249 250 251 255 256 261 262 264 265 267 268 269 270 277 278 279 285 286 290 296 300 301 304 306 307 309 310 314 318 323 329 333 337 338 351 354 356 357 363 369 373 374 376 380 381 384 390 a 1 5 6 8 9 12 13 14 17 20 25 33 35 38 40 41 47 52 54 55 58 59 66 67 72 75 76 77 79 83 84 90 91 94 95 99 110 113 126 133 135 136 139 143 148 149 159 162 168 169 175 180 181 182 185 190 191 192 193 194 195 198 204 205 206 207 208 214 215 219 222 223 225 229 232 233 235 243 244 245 249 250 251 255 256 261 262 264 265 267 268 269 270 277 278 279 285 286 290 296 300 301 304 306 307 309 310 314 317 318 323 329 333 337 338 351 354 356 357 363 369 373 374 376 380 381 384 390 a 1 5 6 8 9 12 13 14 17 20 25 33 35 38 40 41 47 52 54 55 58 59 66 67 72 75 76 77 79 80 83 84 90 91 94 95 99 110 113 126 133 135 136 139 143 148 149 159 162 168 169 175 180 181 182 185 190 191 192 193 194 195 198 204 205 206 207 208 214 215 219 222 223 225 229 232 233 235 243 244 245 249 250 251 255 256 261 262 264 265 267 268 269 270 277 278 279 285 286 290 296 300 301 304 306 307 309 310 314 317 318 323 329 333 337 338 351 354 356 357 363 369 373 374 376 380 381 390 a 1 5 6 8 9 12 13 14 17 20 25 33 35 38 40 41 47 52 54 55 58 59 66 67 72 75 76 77 79 80 83 84 90 91 94 95 99 110 113 126 133 135 136 139 143 148 149 159 162 168 169 175 180 181 182 185 190 191 192 193 194 195 198 204 205 206 207 208 214 215 219 222 223 225 229 232 235 243 244 245 249 250 251 255 256 261 262 264 265 267 268 269 270 277 278 279 285 286 290 296 300 301 304 306 307 309 310 314 317 318 323 329 333 337 338 351 354 356 357 363 369 373 374 376 380 381 388 390 a 1 5 6 8 9 12 13 14 17 20 25 33 35 38 40 41 47 52 54 55 58 59 66 67 72 75 76 77 79 80 83 84 90 91 94 95 99 103 110 113 126 133 135 136 139 143 148 149 159 162 168 169 175 180 181 182 185 190 191 192 193 194 195 198 204 205 206 207 208 214 215 219 222 223 225 229 232 235 243 244 245 249 250 251 255 256 261 264 265 267 268 269 270 277 278 279 285 286 290 296 300 301 304 306 307 309 310 314 317 318 323 329 333 337 338 351 354 356 357 363 369 373 374 376 380 381 388 390 a 1 5 6 8 9 13 14 17 20 25 33 35 38 40 41 47 52 54 55 58 59 66 67 72 75 76 77 79 80 83 84 90 91 94 95 99 103 110 113 126 133 135 136 139 143 148 149 159 162 168 169 175 180 181 182 185 190 191 192 193 194 195 198 204 205 206 207 208 214 215 219 222 223 225 229 232 235 243 244 245 249 250 251 255 256 261 264 265 267 268 269 270 277 278 279 285 286 290 296 300 301 304 306 307 309 310 314 317 318 323 329 333 337 338 351 353 354 356 357 363 369 373 374 376 380 381 388 390 a 1 5 6 8 9 13 14 17 20 25 33 35 38 40 41 47 52 54 55 58 59 66 67 72 75 76 77 79 80 83 84 90 91 94 95 99 103 110 113 126 133 135 136 139 143 148 149 159 162 168 169 175 181 182 185 190 191 192 193 194 195 198 204 205 206 207 208 214 215 219 222 223 225 229 232 235 243 244 245 249 250 251 255 256 258 261 264 265 267 268 269 270 277 278 279 285 286 290 296 300 301 304 306 307 309 310 314 317 318 323 329 333 337 338 351 353 354 356 357 363 369 373 374 376 380 381 388 390 a 1 5 6 8 9 13 14 17 20 25 33 35 38 40 41 47 52 54 55 58 59 66 67 72 75 76 77 79 80 83 84 90 91 94 95 99 103 110 113 126 133 135 136 139 143 148 149 159 162 169 175 181 182 185 190 191 192 193 194 195 198 204 205 206 207 208 214 215 219 222 223 225 229 232 235 243 244 245 249 250 251 255 256 258 261 264 265 267 268 269 270 277 278 279 285 286 290 296 300 301 304 306 307 309 310 314 317 318 323 329 333 337 338 346 351 353 354 356 357 363 369 373 374 376 380 381 388 390 a 1 5 6 8 9 13 14 17 20 25 33 35 38 40 41 47 52 54 55 58 59 67 72 75 76 77 79 80 83 84 90 91 94 95 99 103 110 113 126 131 133 135 136 139 143 148 149 159 162 169 175 181 182 185 190 191 192 193 194 195 198 204 205 206 207 208 214 215 219 222 223 225 229 232 235 243 244 245 249 250 251 255 256 258 261 264 265 267 268 269 270 277 278 279 285 286 290 296 300 301 304 306 307 309 310 314 317 318 323 329 333 337 338 346 351 353 354 356 357 363 369 373 374 376 380 381 388 390 a 1 5 6 8 9 13 14 17 20 25 31 33 35 38 40 41 47 52 54 55 58 59 67 72 75 76 77 79 80 83 84 90 91 94 95 99 103 110 113 126 131 133 135 136 139 143 148 149 159 162 169 175 181 182 185 190 191 192 193 194 195 198 204 205 206 207 208 214 215 219 222 225 229 232 235 243 244 245 249 250 251 255 256 258 261 264 265 267 268 269 270 277 278 279 285 286 290 296 300 301 304 306 307 309 310 314 317 318 323 329 333 337 338 346 351 353 354 356 357 363 369 373 374 376 380 381 388 390 a 1 5 6 8 9 13 14 17 20 25 31 33 35 38 40 41 47 52 54 55 58 59 67 72 75 76 77 79 80 83 84 90 91 94 95 99 103 110 113 126 131 133 135 136 139 143 148 149 159 162 169 175 181 182 185 190 191 192 193 194 195 198 204 205 206 207 214 215 219 222 225 229 232 235 243 244 245 249 250 251 254 255 256 258 261 264 265 267 268 269 270 277 278 279 285 286 290 296 300 301 304 306 307 309 310 314 317 318 323 329 333 337 338 346 351 353 354 356 357 363 369 373 374 376 380 381 388 390 a 1 5 6 8 9 13 14 17 20 25 31 33 35 38 40 41 47 52 54 55 58 59 67 72 75 76 77 79 80 83 84 90 91 94 95 99 103 110 113 126 131 133 135 136 139 143 148 149 159 162 169 175 181 182 185 190 191 192 193 194 195 198 204 205 206 207 214 215 219 222 225 229 232 235 243 244 245 249 250 251 254 255 256 258 261 264 265 267 268 269 270 277 278 279 285 286 290 296 300 301 304 306 307 309 310 314 317 318 323 329 333 337 338 344 346 351 353 354 357 363 369 373 374 376 380 381 388 390 a 1 5 6 8 9 13 14 17 20 25 31 33 35 38 40 41 47 52 54 55 58 59 67 72 75 76 77 79 80 83 84 90 91 94 95 99 103 110 113 131 133 135 136 139 143 148 149 159 162 169 175 181 182 185 190 191 192 193 194 195 198 204 205 206 207 214 215 219 222 225 229 232 235 243 244 245 249 250 251 254 255 256 258 261 264 265 267 268 269 270 277 278 279 285 286 290 296 299 300 301 304 306 307 309 310 314 317 318 323 329 333 337 338 344 346 351 353 354 357 363 369 373 374 376 380 381 388 390 a 1 5 6 8 9 13 14 17 20 25 31 33 35 38 40 41 47 52 54 55 58 59 67 72 75 76 77 79 80 83 84 90 91 94 95 99 103 110 113 131 133 135 136 139 143 148 149 159 162 169 175 181 182 185 190 191 192 193 194 195 198 204 205 206 207 214 215 219 222 225 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 269 270 277 278 279 285 286 290 296 299 300 301 304 306 307 309 310 314 317 318 323 329 333 337 338 344 346 351 353 354 357 363 369 373 374 376 380 381 388 390 a 1 5 6 8 9 13 14 17 20 25 31 33 34 35 38 40 41 47 52 54 55 58 59 67 72 75 76 77 79 80 83 84 90 91 94 95 99 103 110 113 131 133 135 136 139 143 148 149 159 162 169 175 181 182 185 190 191 192 193 194 195 198 204 205 206 207 214 215 219 222 225 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 269 270 278 279 285 286 290 296 299 300 301 304 306 307 309 310 314 317 318 323 329 333 337 338 344 346 351 353 354 357 363 369 373 374 376 380 381 388 390 a 1 5 6 8 9 13 14 17 20 31 33 34 35 38 40 41 47 52 54 55 58 59 67 72 75 76 77 79 80 83 84 90 91 94 95 99 103 110 113 131 133 135 136 139 143 148 149 159 162 169 175 181 182 185 190 191 192 193 194 195 198 204 205 206 207 214 215 219 222 225 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 269 270 278 279 285 286 290 296 299 300 301 304 306 307 309 310 314 317 318 323 329 333 337 338 344 346 347 351 353 354 357 363 369 373 374 376 380 381 388 390 a 1 5 6 8 9 13 14 17 20 31 33 34 35 38 40 41 47 52 54 55 58 59 67 72 75 76 77 79 80 83 84 90 91 94 95 99 103 110 113 131 133 135 136 139 143 148 149 159 162 169 175 181 182 185 190 191 192 193 194 195 198 204 205 206 207 214 215 219 222 225 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 270 278 279 285 286 290 296 299 300 301 304 306 307 309 310 314 317 318 323 329 333 337 338 344 346 347 351 352 353 354 357 363 369 373 374 376 380 381 388 390 a 1 5 6 8 9 13 14 17 20 31 33 34 35 38 40 41 47 52 54 55 58 59 67 72 75 76 77 79 80 83 84 90 91 94 95 99 103 110 113 131 133 135 136 139 143 144 148 149 159 162 169 175 181 182 185 190 191 192 193 194 195 198 204 205 206 207 214 215 219 222 225 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 279 285 286 290 296 299 300 301 304 306 307 309 310 314 317 318 323 329 333 337 338 344 346 347 351 352 353 354 357 363 369 373 374 376 380 381 388 390 a 1 5 6 8 9 13 14 17 20 31 33 34 35 38 40 41 47 52 54 55 58 59 67 72 75 76 77 79 80 84 90 91 94 95 99 103 110 113 131 133 135 136 139 143 144 148 149 159 162 169 175 181 182 185 190 191 192 193 194 195 198 204 205 206 207 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 279 285 286 290 296 299 300 301 304 306 307 309 310 314 317 318 323 329 333 337 338 344 346 347 351 352 353 354 357 363 369 373 374 376 380 381 388 390 a 1 5 6 8 9 13 14 17 20 31 33 34 35 38 40 41 47 52 54 55 58 59 67 72 75 77 79 80 84 90 91 94 95 99 103 110 113 131 133 135 136 139 143 144 148 149 159 162 169 175 181 182 185 190 191 192 193 194 195 198 204 205 206 207 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 279 285 286 290 296 299 300 301 304 306 307 309 310 314 317 318 323 329 333 337 338 341 344 346 347 351 352 353 354 357 363 369 373 374 376 380 381 388 390 a 1 5 6 8 9 13 14 17 20 31 33 34 35 38 40 41 47 52 54 55 58 59 67 72 75 77 79 80 84 90 91 94 95 99 103 110 113 131 133 135 136 139 143 144 148 149 159 162 169 175 181 182 185 190 191 192 193 194 195 198 204 205 206 207 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 279 285 286 290 296 299 300 301 304 306 307 309 310 317 318 323 329 333 337 338 341 342 344 346 347 351 352 353 354 357 363 369 373 374 376 380 381 388 390 a 1 5 6 8 9 13 14 17 20 31 33 34 35 38 40 41 47 52 54 55 58 59 67 72 75 77 79 80 84 90 91 94 95 99 103 110 113 131 133 136 139 143 144 148 149 159 162 169 175 181 182 185 190 191 192 193 194 195 198 204 205 206 207 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 279 285 286 290 296 299 300 301 304 306 307 308 309 310 317 318 323 329 333 337 338 341 342 344 346 347 351 352 353 354 357 363 369 373 374 376 380 381 388 390 a 1 5 6 8 9 13 14 17 20 31 33 34 35 38 40 41 47 52 54 55 58 59 67 72 75 77 79 80 84 90 91 94 95 99 103 110 113 131 133 136 139 143 144 148 149 152 159 162 169 175 181 182 185 190 191 192 193 194 195 204 205 206 207 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 279 285 286 290 296 299 300 301 304 306 307 308 309 310 317 318 323 329 333 337 338 341 342 344 346 347 351 352 353 354 357 363 369 373 374 376 380 381 388 390 a 1 5 6 8 9 13 14 17 20 31 33 34 35 38 40 41 47 52 54 55 58 59 67 72 75 77 79 80 84 90 91 94 95 99 103 110 113 125 131 133 136 139 143 144 148 152 159 162 169 175 181 182 185 190 191 192 193 194 195 204 205 206 207 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 279 285 286 290 296 299 300 301 304 306 307 308 309 310 317 318 323 329 333 337 338 341 342 344 346 347 351 352 353 354 357 363 369 373 374 376 380 381 388 390 a 1 5 6 8 9 13 14 17 20 31 33 34 35 38 40 41 47 52 54 55 58 59 67 72 75 77 79 80 84 90 91 94 95 99 103 110 113 125 131 133 136 139 143 144 148 152 159 162 169 175 181 182 185 190 191 192 193 194 195 204 205 206 207 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 279 285 286 290 296 299 300 301 304 306 307 308 309 310 317 318 323 329 333 337 341 342 344 346 347 351 352 353 354 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 13 14 17 20 31 33 34 35 38 40 41 47 52 54 55 58 59 67 72 75 77 79 80 84 90 91 94 95 99 103 110 113 125 131 133 136 139 143 144 148 152 159 162 169 175 181 182 184 185 190 191 192 193 194 195 204 206 207 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 279 285 286 290 296 299 300 301 304 306 307 308 309 310 317 318 323 329 333 337 341 342 344 346 347 351 352 353 354 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 13 14 17 20 31 33 34 35 38 40 41 47 52 54 55 58 59 67 72 75 77 79 80 84 90 91 94 95 99 103 110 113 124 125 131 133 136 139 143 144 148 152 159 162 169 175 181 182 184 185 190 191 192 193 194 195 204 206 207 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 279 285 286 290 296 299 300 301 304 306 307 308 309 310 317 318 323 329 337 341 342 344 346 347 351 352 353 354 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 13 14 17 20 31 33 34 35 38 40 41 47 54 55 58 59 67 72 75 77 79 80 84 90 91 94 95 99 103 110 113 124 125 131 133 136 139 143 144 148 152 159 162 169 175 181 182 184 185 190 191 192 193 194 195 204 206 207 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 279 285 286 290 296 299 300 301 304 306 307 308 309 310 317 318 323 329 337 340 341 342 344 346 347 351 352 353 354 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 13 14 17 20 31 33 34 35 38 40 41 47 54 55 58 59 67 72 75 79 80 84 90 91 94 95 99 103 110 113 124 125 131 133 136 139 143 144 148 152 159 162 169 174 175 181 182 184 185 190 191 192 193 194 195 204 206 207 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 279 285 286 290 296 299 300 301 304 306 307 308 309 310 317 318 323 329 337 340 341 342 344 346 347 351 352 353 354 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 13 14 17 20 31 33 34 35 38 40 41 47 54 58 59 67 70 72 75 79 80 84 90 91 94 95 99 103 110 113 124 125 131 133 136 139 143 144 148 152 159 162 169 174 175 181 182 184 185 190 191 192 193 194 195 204 206 207 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 279 285 286 290 296 299 300 301 304 306 307 308 309 310 317 318 323 329 337 340 341 342 344 346 347 351 352 353 354 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 13 14 17 20 31 33 34 35 38 40 41 47 54 58 59 67 70 72 75 79 80 84 90 91 94 95 99 103 110 113 124 125 131 133 136 139 141 143 144 148 152 159 162 169 174 175 181 182 184 185 190 191 192 193 194 195 204 206 207 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 290 296 299 300 301 304 306 307 308 309 310 317 318 323 329 337 340 341 342 344 346 347 351 352 353 354 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 13 14 17 20 31 33 34 35 38 40 41 47 54 58 59 67 70 72 75 79 80 84 90 91 94 95 99 103 110 113 124 125 131 133 136 139 141 143 144 148 152 159 162 169 174 175 181 182 184 185 190 191 192 193 194 195 204 206 207 214 215 221 222 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 290 296 299 300 301 304 306 307 308 309 310 317 318 323 329 337 340 341 342 344 346 347 351 352 353 354 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 13 14 17 20 31 32 33 34 35 38 40 41 47 54 58 59 67 70 72 75 79 80 84 90 91 94 95 103 110 113 124 125 131 133 136 139 141 143 144 148 152 159 162 169 174 175 181 182 184 185 190 191 192 193 194 195 204 206 207 214 215 221 222 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 290 296 299 300 301 304 306 307 308 309 310 317 318 323 329 337 340 341 342 344 346 347 351 352 353 354 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 13 14 17 20 31 32 33 34 35 38 40 41 47 54 58 59 67 70 72 75 79 80 84 91 94 95 103 106 110 113 124 125 131 133 136 139 141 143 144 148 152 159 162 169 174 175 181 182 184 185 190 191 192 193 194 195 204 206 207 214 215 221 222 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 290 296 299 300 301 304 306 307 308 309 310 317 318 323 329 337 340 341 342 344 346 347 351 352 353 354 357 363 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 13 14 17 20 31 32 33 34 35 38 40 41 47 54 58 59 67 70 72 75 79 80 84 91 94 95 103 106 110 113 124 125 131 133 136 139 141 143 144 148 152 159 162 169 174 175 181 182 184 185 190 192 193 194 195 204 206 207 214 215 221 222 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 290 296 299 300 301 304 306 307 308 309 310 317 318 323 329 337 340 341 342 344 346 347 351 352 353 354 357 363 365 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 13 14 17 20 31 32 33 34 35 38 40 41 47 54 58 59 67 70 72 75 79 80 84 91 94 95 103 106 110 113 124 125 131 133 136 139 141 143 144 148 152 159 162 169 174 175 181 182 184 185 190 192 193 194 195 204 206 207 212 214 215 221 222 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 290 296 299 300 301 304 306 307 308 309 310 317 318 323 329 337 340 341 342 344 346 347 352 353 354 357 363 365 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 13 14 17 20 31 32 33 34 35 38 41 47 54 58 59 67 70 72 75 79 80 84 91 94 95 103 106 110 113 124 125 131 133 136 139 141 143 144 148 152 159 162 169 174 175 181 182 184 185 190 192 193 194 195 204 206 207 212 214 215 221 222 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 290 296 299 300 301 304 306 307 308 309 310 317 318 323 329 331 337 340 341 342 344 346 347 352 353 354 357 363 365 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 13 14 17 20 31 32 34 35 38 41 47 54 58 59 67 70 72 75 79 80 84 91 94 95 103 106 110 113 124 125 131 133 136 139 141 143 144 147 148 152 159 162 169 174 175 181 182 184 185 190 192 193 194 195 204 206 207 212 214 215 221 222 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 290 296 299 300 301 304 306 307 308 309 310 317 318 323 329 331 337 340 341 342 344 346 347 352 353 354 357 363 365 369 373 374 376 377 380 381 388 390 a 1 5 6 8 9 13 14 17 20 31 32 34 35 38 41 47 54 58 59 67 70 72 75 79 80 84 91 94 95 103 106 110 113 124 125 131 133 136 139 141 143 144 147 148 152 159 162 169 174 175 181 182 184 185 190 192 193 194 195 204 207 212 214 215 221 222 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 290 296 299 300 301 304 306 307 308 309 310 317 318 323 329 331 337 340 341 342 344 346 347 352 353 354 357 363 365 369 373 374 376 377 380 381 382 388 390 a 1 5 6 8 9 13 14 17 20 27 31 32 34 35 38 41 47 54 58 59 67 70 72 75 79 80 84 91 94 95 103 106 110 113 124 125 131 133 136 139 141 143 144 147 148 152 159 162 169 174 175 181 182 184 185 190 192 193 194 204 207 212 214 215 221 222 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 264 265 267 268 278 285 286 290 296 299 300 301 304 306 307 308 309 310 317 318 323 329 331 337 340 341 342 344 346 347 352 353 354 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 41 47 54 58 59 67 70 72 75 79 80 84 91 94 95 103 106 110 113 124 125 131 133 136 139 141 143 144 147 148 152 159 162 169 174 175 181 182 184 185 190 192 193 194 204 207 212 214 215 221 222 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 265 267 268 278 285 286 290 296 299 300 301 304 306 307 308 309 310 317 318 323 329 331 337 340 341 342 344 346 347 352 353 354 357 363 365 369 373 374 376 377 380 381 382 388 390 a 1 4 5 6 8 9 13 14 17 18 20 27 31 32 34 35 38 41 47 54 58 59 67 70 72 75 79 80 84 91 94 95 103 106 110 113 124 125 131 133 136 139 141 143 144 147 148 152 159 162 169 174 175 181 182 184 185 190 192 193 194 204 207 212 214 221 222 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 265 267 268 278 285 286 290 296 299 300 301 304 306 307 308 309 310 317 318 323 329 331 337 340 341 342 344 346 347 352 353 354 357 363 365 369 373 374 376 377 380 381 382 388 390 a 1 4 5 6 8 9 13 14 17 18 20 27 31 32 34 35 38 41 47 54 58 59 67 70 72 75 79 80 84 91 94 95 103 106 110 113 124 125 131 133 136 139 141 143 144 147 148 152 159 162 169 174 175 181 182 184 185 190 192 193 194 204 207 212 214 221 222 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 267 268 278 283 285 286 290 296 299 300 301 304 306 307 308 309 310 317 318 323 329 331 337 340 341 342 344 346 347 352 353 354 357 363 365 369 373 374 376 377 380 381 382 388 390 a 1 4 5 6 8 9 13 14 17 18 20 27 31 32 34 35 38 41 47 54 58 59 67 70 72 75 79 80 84 91 94 95 103 106 110 113 124 125 131 133 136 137 139 141 144 147 148 152 159 162 169 174 175 181 182 184 185 190 192 193 194 204 207 212 214 221 222 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 267 268 278 283 285 286 290 296 299 300 301 304 306 307 308 309 310 317 318 323 329 331 337 340 341 342 344 346 347 352 353 354 357 363 365 369 373 374 376 377 380 381 382 388 390 a 1 4 5 6 8 9 13 14 17 18 20 27 31 32 34 35 38 41 47 54 58 59 67 70 72 75 79 80 84 91 93 94 95 103 106 110 113 124 125 131 133 136 137 141 144 147 148 152 159 162 169 174 175 181 182 184 185 190 192 193 194 204 207 212 214 221 222 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 267 268 278 283 285 286 290 296 299 300 301 304 306 307 308 309 310 317 318 323 329 331 337 340 341 342 344 346 347 352 353 354 357 363 365 369 373 374 376 377 380 381 382 388 390 a 1 4 5 6 8 9 13 14 17 18 20 27 31 32 34 35 38 41 47 54 58 59 67 70 72 75 79 80 84 85 91 93 94 95 103 106 110 113 124 125 131 133 137 141 144 147 148 152 159 162 169 174 175 181 182 184 185 190 192 193 194 204 207 212 214 221 222 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 267 268 278 283 285 286 290 296 299 300 301 304 306 307 308 309 310 317 318 323 329 331 337 340 341 342 344 346 347 352 353 354 357 363 365 369 373 374 376 377 380 381 382 388 390 a 1 4 5 6 8 9 13 14 17 18 20 27 31 32 34 35 38 41 45 47 54 58 59 67 70 72 75 79 80 84 85 91 93 94 95 103 106 110 113 124 125 131 133 137 141 144 147 148 152 159 162 169 174 175 181 182 184 185 190 192 193 194 204 207 212 214 221 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 267 268 278 283 285 286 290 296 299 300 301 304 306 307 308 309 310 317 318 323 329 331 337 340 341 342 344 346 347 352 353 354 357 363 365 369 373 374 376 377 380 381 382 388 390 a 1 4 5 6 8 9 13 14 17 18 20 27 31 32 34 35 38 41 45 47 54 58 59 67 70 72 75 79 80 85 91 92 93 94 95 103 106 110 113 124 125 131 133 137 141 144 147 148 152 159 162 169 174 175 181 182 184 185 190 192 193 194 204 207 212 214 221 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 267 268 278 283 285 286 290 296 299 300 301 304 306 307 308 309 310 317 318 323 329 331 337 340 341 342 344 346 347 352 353 354 357 363 365 369 373 374 376 377 380 381 382 388 390 a 1 4 5 6 8 9 13 14 17 18 20 27 31 32 34 35 38 41 45 47 54 58 59 67 70 75 79 80 85 91 92 93 94 95 103 106 110 113 124 125 131 133 137 141 144 147 148 152 159 162 169 174 175 181 182 184 185 190 192 193 194 204 207 212 214 221 225 228 229 231 232 235 243 244 245 249 251 254 255 256 258 261 267 268 278 283 285 286 290 296 299 300 301 304 306 307 308 309 310 317 318 323 326 329 331 337 340 341 342 344 346 347 352 353 354 357 363 365 369 373 374 376 377 380 381 382 388 390 a 1 4 5 6 8 9 13 14 17 18 20 27 31 32 34 35 38 41 45 47 54 58 59 67 70 75 79 80 85 91 92 93 94 95 103 106 110 113 124 125 131 133 137 141 144 147 148 152 159 162 169 174 175 181 182 184 185 190 192 193 194 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 290 296 299 300 301 304 306 307 308 309 310 317 318 323 326 329 331 337 340 341 342 344 346 347 352 353 354 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 41 45 47 54 58 59 67 70 75 79 80 85 91 92 93 94 95 103 106 110 113 124 125 131 133 137 141 144 147 148 152 159 162 169 174 175 176 181 182 184 185 190 192 193 194 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 296 299 300 301 304 306 307 308 309 310 317 318 323 326 329 331 337 340 341 342 344 346 347 352 353 354 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 41 45 47 54 58 59 67 70 75 79 80 85 91 92 93 94 95 97 103 106 110 113 124 125 131 133 137 141 144 147 148 152 159 169 174 175 176 181 182 184 185 190 192 193 194 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 296 299 300 301 304 306 307 308 309 310 317 318 323 326 329 331 337 340 341 342 344 346 347 352 353 354 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 103 106 110 113 124 125 131 133 137 141 144 147 148 152 159 169 174 175 176 181 182 184 185 190 192 193 194 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 296 299 300 301 304 306 307 308 309 310 316 317 318 323 326 329 331 337 340 341 342 344 346 347 352 353 354 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 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 194 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 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 354 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 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 354 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 /benchmark/random_instance/random_instance030_graph002.col /benchmark/random_instance/random_instance030_graph002_01.dat" User time (seconds): 64.06 System time (seconds): 0.10 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:04.17 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): 291156 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 2 Minor (reclaiming a frame) page faults: 106750 Voluntary context switches: 24 Involuntary context switches: 406 Swaps: 0 File system inputs: 0 File system outputs: 808 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 01:01:23 2023]