#BEGIN: [Tue Sep 26 02:09:28 2023] #HOST: s02 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance031_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance031_graph003_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent /benchmark/random_instance/random_instance031_graph003.col /benchmark/random_instance/random_instance031_graph003_01.dat c /benchmark/random_instance/random_instance031_graph003.col c /benchmark/random_instance/random_instance031_graph003_01.dat *** Info : (clingo): INTERRUPTED by signal! s 368 331 248 242 92 21 14 216 270 321 168 265 218 127 378 5 55 28 85 105 86 115 276 298 49 79 260 339 80 292 189 159 170 137 93 120 151 69 60 129 3 95 228 365 359 202 57 383 315 295 346 37 200 135 87 317 389 210 190 399 236 117 395 274 357 291 330 36 364 299 40 171 154 205 303 142 367 296 269 65 56 54 162 313 243 233 397 121 111 43 88 366 91 128 289 217 113 179 250 15 19 66 97 84 262 241 345 77 102 116 257 393 8 99 169 194 293 156 58 182 166 25 231 320 38 213 326 149 76 281 51 143 90 322 t 26 388 48 144 72 376 225 28 69 237 152 236 313 159 24 282 51 329 141 270 56 293 10 21 106 276 357 112 204 39 65 285 309 122 132 273 224 145 365 304 179 83 345 212 167 358 127 369 359 142 82 213 319 30 102 240 231 223 368 163 371 401 380 35 177 73 254 169 146 260 215 29 392 165 269 246 103 58 8 171 61 182 181 81 234 370 206 70 32 190 390 257 291 267 331 42 230 76 289 245 262 382 105 164 25 292 160 187 312 398 53 36 90 343 279 310 45 227 138 228 317 22 258 330 77 205 363 117 216 62 98 243 143 350 a YES a 3 5 8 14 15 19 21 25 28 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 76 77 79 80 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 166 168 169 170 171 179 182 189 190 194 200 202 205 210 213 216 217 218 228 231 233 236 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 313 315 317 320 321 322 326 330 331 339 345 346 357 359 364 365 366 367 368 378 383 389 393 395 397 399 a 3 5 8 14 15 19 21 25 28 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 76 77 79 80 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 166 168 169 170 171 179 182 189 190 194 200 202 205 210 213 216 217 228 231 233 236 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 313 315 317 320 321 322 326 330 331 339 345 346 357 359 364 365 366 367 368 376 378 383 389 393 395 397 399 a 3 5 8 14 15 19 21 25 28 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 76 77 78 79 80 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 166 168 170 171 179 182 189 190 194 200 202 205 210 213 216 217 228 231 233 236 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 313 315 317 320 321 322 326 330 331 339 345 346 357 359 364 365 366 367 368 376 378 383 389 393 395 397 399 a 3 5 8 14 15 19 21 25 28 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 76 77 78 79 80 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 166 168 170 171 179 182 189 190 194 200 202 205 210 213 216 217 218 228 231 233 236 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 313 315 317 320 321 322 326 330 331 339 345 346 357 359 364 365 366 367 368 378 383 389 393 395 397 399 a 3 5 8 14 15 19 21 25 28 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 77 78 79 80 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 166 168 170 171 179 182 189 190 194 200 202 205 210 213 216 217 218 228 231 233 236 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 313 315 317 320 321 322 326 330 331 334 339 345 346 357 359 364 365 366 367 368 378 383 389 393 395 397 399 a 3 5 8 14 15 21 25 28 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 77 78 79 80 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 166 168 170 171 172 179 182 189 190 194 200 202 205 210 213 216 217 218 228 231 233 236 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 313 315 317 320 321 322 326 330 331 334 339 345 346 357 359 364 365 366 367 368 378 383 389 393 395 397 399 a 3 5 8 14 15 21 25 28 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 77 78 79 80 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 166 168 170 171 172 179 182 189 190 194 200 202 205 210 213 216 217 228 231 233 236 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 313 315 317 320 321 322 326 330 331 334 339 345 346 357 359 364 365 366 367 368 376 378 383 389 393 395 397 399 a 3 5 8 14 15 19 21 25 28 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 77 78 79 80 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 166 168 170 171 179 182 189 190 194 200 202 205 210 213 216 217 228 231 233 236 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 313 315 317 320 321 322 326 330 331 334 339 345 346 357 359 364 365 366 367 368 376 378 383 389 393 395 397 399 a 3 5 8 14 15 19 21 25 28 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 77 78 79 80 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 166 168 170 171 179 182 189 190 194 200 202 205 210 213 216 217 228 231 233 236 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 313 315 317 320 321 322 326 330 331 334 339 345 346 353 357 359 364 365 366 367 368 376 378 383 389 393 397 399 a 3 5 8 14 15 19 21 25 28 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 77 78 79 80 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 166 168 170 171 179 182 189 190 194 200 202 205 210 213 216 217 228 231 233 236 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 313 315 317 320 321 322 326 330 331 334 345 346 353 357 359 364 365 366 367 368 376 378 383 389 393 397 399 a 3 5 8 14 15 19 21 25 28 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 76 77 78 79 80 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 166 168 170 171 179 182 189 190 194 200 202 205 210 213 216 217 228 231 233 236 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 313 315 317 320 321 322 326 330 331 345 346 353 357 359 364 365 366 367 368 376 378 383 389 393 397 399 a 3 5 8 14 15 19 21 25 28 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 76 77 78 79 80 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 166 168 170 171 179 182 189 190 194 200 202 205 210 213 216 217 220 231 233 236 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 313 315 317 320 321 322 326 330 331 345 346 353 357 359 364 365 366 367 368 376 378 383 389 393 397 399 a 3 5 8 14 15 19 21 25 28 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 76 77 78 79 80 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 166 168 170 171 179 182 189 190 194 200 202 205 210 213 216 217 220 231 233 236 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 313 315 317 320 321 322 326 330 331 345 346 357 359 364 365 366 367 368 376 378 383 389 393 395 397 399 a 3 5 8 14 15 21 25 28 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 76 77 78 79 80 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 166 168 170 171 172 179 182 189 190 194 200 202 205 210 213 216 217 220 231 233 236 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 313 315 317 320 321 322 326 330 331 345 346 357 359 364 365 366 367 368 376 378 383 389 393 395 397 399 a 3 5 8 14 15 21 25 28 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 76 77 78 79 80 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 166 168 170 171 172 179 182 189 190 194 200 202 205 210 213 216 217 220 231 233 236 241 242 243 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 313 315 317 320 321 322 326 330 331 345 346 357 359 363 364 365 366 367 368 376 378 383 389 393 395 397 399 a 3 8 14 15 21 25 28 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 76 77 78 79 80 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 166 168 170 171 172 179 182 189 190 194 200 202 205 210 213 216 217 220 231 233 236 241 242 243 248 250 252 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 313 315 317 320 321 322 326 330 331 345 346 357 359 363 364 365 366 367 368 376 378 383 389 393 395 397 399 a 3 8 14 15 21 25 28 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 76 77 78 79 80 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 166 168 170 171 172 179 182 189 190 194 200 202 205 210 213 216 217 220 231 233 236 241 242 243 248 250 252 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 313 315 317 320 321 322 326 330 331 345 346 357 359 364 365 366 367 368 376 378 383 389 393 395 397 399 a 3 8 14 15 21 25 28 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 76 77 78 79 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 166 168 170 171 172 179 182 189 190 194 200 202 205 210 213 216 217 220 226 231 233 236 241 242 243 248 250 252 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 313 315 317 320 321 322 326 330 331 345 346 357 359 364 365 366 367 368 376 378 383 389 393 395 397 399 a 3 8 14 15 21 25 28 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 77 78 79 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 166 168 170 171 172 179 182 189 190 194 200 202 205 210 213 216 217 220 226 231 233 236 241 242 243 248 250 252 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 313 315 317 320 321 322 326 330 331 334 345 346 357 359 364 365 366 367 368 376 378 383 389 393 395 397 399 a 3 8 14 15 21 25 28 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 77 78 79 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 121 127 128 129 135 137 142 143 149 151 154 156 159 162 166 168 170 171 172 179 182 183 189 190 194 200 202 205 210 213 216 217 220 226 231 233 236 241 242 243 248 250 252 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 303 313 315 317 320 321 322 326 330 331 334 345 346 357 359 364 365 366 367 368 376 378 383 389 393 395 397 399 a 3 8 14 15 21 25 28 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 77 78 79 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 121 127 128 129 135 137 142 143 149 151 154 156 159 162 166 168 170 171 172 179 182 183 189 190 194 200 202 205 210 213 216 217 220 226 231 233 236 241 242 248 250 252 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 297 298 299 303 313 315 317 320 321 322 326 330 331 334 345 346 357 359 364 365 366 367 368 376 378 383 389 393 395 397 399 a 3 8 14 15 21 25 28 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 77 78 79 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 166 168 170 171 172 179 182 183 189 190 194 200 202 205 210 213 216 217 220 226 231 233 236 241 242 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 297 298 299 303 313 315 317 320 321 322 326 330 331 334 345 346 357 359 364 365 366 367 368 376 378 383 389 393 395 397 399 a 3 5 8 14 15 21 25 28 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 77 78 79 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 166 168 170 171 172 179 182 183 189 190 194 200 202 205 210 213 216 217 220 226 231 233 236 241 242 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 297 298 299 303 313 315 317 320 321 322 326 330 331 334 345 346 357 364 365 366 367 368 376 378 383 389 393 395 397 399 a 3 5 8 14 15 21 25 28 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 77 78 79 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 166 168 170 171 172 179 182 183 189 190 194 200 202 205 210 213 216 217 220 226 231 233 236 241 242 248 250 257 262 265 269 270 274 276 278 281 289 291 292 293 295 296 297 298 299 303 313 315 317 320 321 322 326 330 331 334 345 346 357 364 365 366 367 368 376 378 383 389 393 395 397 399 a 3 8 14 15 21 25 28 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 77 78 79 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 166 168 170 171 172 179 182 183 189 190 194 200 202 205 210 213 216 217 220 226 231 233 236 241 242 248 250 257 262 265 269 270 274 276 278 281 289 291 292 293 295 296 297 298 299 303 313 315 317 320 321 322 326 330 331 334 345 346 357 359 364 365 366 367 368 376 378 383 389 393 395 397 399 a 3 8 14 15 21 25 28 30 36 37 38 40 43 51 54 55 56 57 58 60 65 66 69 77 78 79 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 163 166 168 170 171 172 179 182 183 189 190 194 200 202 205 210 213 216 217 220 226 231 233 236 241 242 248 250 257 262 265 269 270 274 276 278 281 289 291 292 293 295 296 297 298 299 303 313 315 317 320 321 322 326 330 331 334 345 346 357 359 364 365 366 367 368 376 378 383 389 393 395 397 399 a 3 8 14 15 21 25 28 30 36 37 38 40 43 51 54 55 56 57 58 60 65 66 69 77 78 79 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 163 166 168 170 171 172 179 182 183 189 190 194 200 202 205 210 213 216 217 220 226 231 233 236 241 242 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 297 298 299 303 313 315 317 320 321 322 326 330 331 334 345 346 357 359 364 365 366 367 368 376 378 383 389 393 395 397 399 a 3 8 14 15 21 25 28 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 77 78 79 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 163 166 168 170 171 172 179 182 183 189 190 194 200 202 205 210 213 216 217 220 226 231 233 236 241 242 248 250 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 297 298 299 303 313 315 317 320 321 322 326 330 331 334 345 346 357 359 364 365 366 367 368 376 378 389 393 395 397 399 a 3 8 14 15 21 25 28 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 77 78 79 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 163 166 168 170 171 172 179 182 183 189 190 194 200 202 205 210 213 216 217 220 226 231 233 236 241 242 248 250 257 262 265 269 270 274 276 278 281 289 291 292 293 295 296 297 298 299 303 313 315 317 320 321 322 326 330 331 334 345 346 357 359 364 365 366 367 368 376 378 389 393 395 397 399 a 3 8 14 15 21 25 28 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 77 78 79 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 163 166 168 170 171 172 179 182 183 189 190 194 200 202 205 210 213 216 217 220 226 231 233 236 241 242 243 248 250 257 262 265 269 270 274 276 278 281 289 291 292 293 295 296 298 299 303 313 315 317 320 321 322 326 330 331 334 345 346 357 359 364 365 366 367 368 376 378 389 393 395 397 399 a 3 8 14 15 21 25 28 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 77 78 79 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 163 166 168 170 171 172 179 182 183 189 190 194 200 202 205 210 213 216 217 220 226 231 233 236 241 242 243 248 250 257 262 265 269 270 274 276 278 281 289 291 292 293 295 296 298 299 313 315 317 320 321 322 326 330 331 334 345 346 357 359 363 364 365 366 367 368 376 378 389 393 395 397 399 a 3 8 14 15 21 25 28 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 77 78 79 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 163 166 168 170 171 172 179 182 183 189 190 194 200 202 205 210 213 216 217 220 226 231 233 236 241 242 243 248 250 252 257 262 265 269 270 274 276 278 281 289 291 292 293 295 296 298 299 313 315 317 320 321 322 326 330 331 334 345 346 357 359 363 364 365 366 367 368 376 378 389 393 395 397 a 3 8 14 15 21 25 28 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 77 78 79 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 163 166 168 170 171 172 179 182 183 189 190 194 200 202 205 210 213 216 217 220 226 231 233 236 241 242 248 250 252 257 262 265 269 270 274 276 278 281 289 291 292 293 295 296 297 298 299 313 315 317 320 321 322 326 330 331 334 345 346 357 359 363 364 365 366 367 368 376 378 389 393 395 397 a 3 8 14 15 21 25 28 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 77 78 79 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 163 166 168 170 171 172 179 182 183 189 190 194 200 202 205 210 213 216 217 220 226 231 233 236 241 242 248 250 252 257 262 265 269 270 274 276 278 281 289 291 292 293 295 296 297 298 299 313 315 317 320 321 322 326 330 331 334 345 346 357 359 363 364 365 366 367 368 376 378 389 393 395 399 a 3 8 14 15 21 25 28 30 36 37 38 40 43 49 51 54 55 56 57 58 60 66 69 77 78 79 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 163 166 168 170 171 172 179 182 183 189 190 194 200 202 205 210 213 216 217 220 226 231 233 236 241 242 248 250 252 257 262 265 269 270 274 276 278 281 289 291 292 293 295 296 297 298 299 313 315 317 320 321 322 326 330 331 334 345 346 357 359 363 364 365 366 367 368 376 378 383 389 393 395 399 a 3 4 8 14 15 21 25 30 36 37 38 40 43 49 51 54 55 56 57 58 60 66 69 77 78 79 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 163 166 168 170 171 172 179 182 183 189 190 194 200 202 205 210 213 216 217 220 226 231 233 236 241 242 248 250 252 257 262 265 269 270 274 276 278 281 289 291 292 293 295 296 297 298 299 313 315 317 320 321 322 326 330 331 334 345 346 357 359 363 364 365 366 367 368 376 378 383 389 393 395 399 a 3 4 8 14 15 21 25 30 37 38 40 43 49 51 54 55 56 57 58 60 66 69 77 78 79 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 163 166 168 170 171 172 179 182 183 189 190 194 200 202 205 210 213 216 217 220 226 231 233 236 241 242 248 250 252 257 262 265 269 270 274 276 278 281 289 291 292 293 295 296 297 298 299 313 315 317 320 321 322 326 330 331 334 345 346 357 359 363 364 365 366 367 368 376 378 383 389 393 395 397 399 a 3 8 14 15 21 25 30 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 77 78 79 84 85 86 87 88 90 91 92 93 95 97 99 102 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 163 166 168 170 171 172 179 182 183 189 190 194 200 202 205 210 213 216 217 220 226 231 233 236 241 242 248 250 252 257 262 265 269 270 274 276 278 281 289 291 292 293 295 296 297 298 299 313 315 317 320 321 322 326 330 331 334 345 346 357 359 363 364 365 366 367 368 376 378 383 389 393 395 397 399 a 3 8 14 15 21 25 30 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 77 78 79 84 85 86 87 88 90 91 92 93 95 97 99 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 163 166 168 170 171 172 179 182 183 189 190 194 200 202 205 210 213 216 217 220 226 231 233 236 241 242 248 250 252 257 262 265 269 270 274 276 278 281 289 291 292 293 295 296 297 298 299 313 315 317 320 321 322 326 330 331 334 345 346 349 357 359 363 364 365 366 367 368 376 378 383 389 393 395 397 399 a 3 8 14 15 21 25 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 77 78 79 84 85 86 87 88 90 91 92 93 95 97 99 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 163 166 168 170 171 172 179 182 183 189 190 194 200 202 205 210 213 216 217 220 226 231 233 236 241 242 248 250 252 257 262 265 269 270 274 276 278 281 289 291 292 293 296 297 298 299 313 315 317 320 321 322 326 330 331 334 345 346 349 357 359 363 364 365 366 367 368 376 378 383 389 393 395 397 399 a 3 8 14 15 21 25 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 77 78 79 84 85 86 87 88 90 91 92 93 95 97 99 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 163 166 168 170 171 172 173 179 182 183 189 190 194 200 202 205 210 213 216 217 220 226 231 233 241 242 248 250 252 257 262 265 269 270 274 276 278 281 289 291 292 293 296 297 298 299 313 315 317 320 321 322 326 330 331 334 345 346 349 357 359 363 364 365 366 367 368 376 378 383 389 393 395 397 399 a 3 8 14 15 21 25 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 77 79 84 85 86 87 88 90 91 92 93 95 97 99 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 163 166 168 170 171 172 173 179 182 183 189 190 194 200 202 205 210 213 216 217 220 226 231 233 241 242 248 250 252 257 262 265 269 270 274 276 278 281 289 291 292 293 295 296 297 298 299 313 315 317 320 321 322 326 330 331 334 345 346 349 357 359 363 364 365 366 367 368 376 378 383 389 393 395 397 399 a 3 8 14 21 25 28 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 77 79 84 85 86 87 88 90 91 92 93 95 97 99 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 149 151 154 156 159 162 163 166 168 170 171 172 173 179 182 183 189 190 194 200 202 205 210 213 216 217 220 226 231 233 241 242 248 250 252 257 262 265 269 270 274 276 278 281 289 291 292 293 295 296 297 298 299 313 315 317 320 321 322 326 330 331 334 345 346 349 357 359 363 364 365 366 367 368 376 378 383 389 393 395 397 399 a 3 8 14 21 25 28 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 77 79 84 85 86 87 88 90 91 92 93 95 97 99 105 111 113 115 116 117 120 121 127 128 129 135 137 142 143 144 149 151 154 156 159 162 163 166 168 170 171 173 179 182 183 189 190 194 200 202 205 210 213 216 217 220 226 231 233 241 242 248 250 252 257 262 265 269 270 274 276 278 281 289 291 292 293 295 296 297 298 299 313 315 317 320 321 322 326 330 331 334 345 346 349 357 359 363 364 365 366 367 368 376 378 383 389 393 395 397 399 a 3 8 14 21 25 28 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 77 79 84 85 86 87 88 90 91 92 93 95 97 99 105 111 113 115 116 117 120 121 127 128 129 135 137 138 142 143 144 149 151 154 156 159 162 163 166 168 170 171 173 179 182 183 189 190 194 200 202 205 210 213 216 217 220 226 231 233 241 242 248 250 252 257 262 265 269 270 274 276 278 281 289 291 292 293 295 296 298 299 313 315 317 320 321 322 326 330 331 334 345 346 349 357 359 363 364 365 366 367 368 376 378 383 389 393 395 397 399 a 3 8 14 21 25 28 29 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 77 79 84 85 86 87 88 90 91 92 93 95 97 99 105 111 113 115 116 117 120 121 127 128 129 135 137 138 142 143 144 149 151 154 156 159 162 163 166 168 170 171 173 179 182 183 189 190 194 200 202 205 210 213 216 217 220 226 231 233 241 242 248 250 252 257 262 265 269 270 274 276 278 281 289 291 292 293 295 296 298 299 313 315 317 320 321 322 326 330 331 334 345 346 349 357 359 363 364 365 366 367 368 376 378 389 393 395 397 399 a 3 8 14 21 25 28 29 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 77 79 84 85 86 87 88 90 91 92 93 95 97 99 105 111 113 115 116 117 120 121 127 128 129 135 137 138 142 143 144 149 151 154 156 159 160 162 163 166 168 170 171 173 179 182 183 189 190 194 200 202 205 210 213 216 217 220 226 231 233 241 242 248 250 252 257 262 265 269 270 274 276 278 281 289 291 292 293 295 296 298 299 313 315 317 320 321 322 326 330 331 334 345 346 349 357 359 363 364 365 366 368 376 378 389 393 395 397 399 a 3 8 14 21 25 28 29 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 76 77 79 84 85 86 87 88 90 91 92 93 95 97 99 105 111 113 115 116 117 120 121 127 128 129 135 137 138 142 143 144 149 151 154 156 159 160 162 163 166 168 170 171 173 179 182 183 189 190 194 200 202 205 210 213 216 217 220 226 231 233 241 242 248 250 252 257 262 265 269 270 274 276 278 281 289 291 292 293 295 296 298 299 313 315 317 320 321 322 326 330 331 345 346 349 357 359 363 364 365 366 368 376 378 389 393 395 397 399 a 3 8 14 21 25 28 29 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 76 77 79 84 85 86 87 88 90 91 92 93 95 97 99 105 111 113 115 116 117 120 121 127 128 135 137 138 142 143 144 149 151 154 156 159 160 162 163 166 168 170 171 173 179 182 183 189 190 194 200 202 205 210 213 216 217 220 226 231 233 234 241 242 248 250 252 257 262 265 269 270 274 276 278 281 289 291 292 293 295 296 298 299 313 315 317 320 321 322 326 330 331 345 346 349 357 359 363 364 365 366 368 376 378 389 393 395 397 399 a 3 8 14 21 25 28 29 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 76 77 79 84 85 86 87 88 90 91 92 93 95 97 99 105 111 113 115 116 117 120 121 127 128 135 137 138 142 143 144 149 151 154 159 160 162 163 166 168 170 171 173 179 182 183 189 190 194 200 202 205 206 210 213 216 217 220 226 231 233 234 241 242 248 250 252 257 262 265 269 270 274 276 278 281 289 291 292 293 295 296 298 299 313 315 317 320 321 322 326 330 331 345 346 349 357 359 363 364 365 366 368 376 378 389 393 395 397 399 a 3 8 14 21 25 28 29 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 76 77 79 84 85 86 87 88 90 91 92 93 95 97 99 105 111 113 115 116 117 120 121 127 128 135 137 138 142 143 144 149 151 154 159 160 162 163 166 168 170 171 173 179 181 182 189 190 194 200 202 205 206 210 213 216 217 220 226 231 233 234 241 242 248 250 252 257 262 265 269 270 274 276 278 281 289 291 292 293 295 296 298 299 313 315 317 320 321 322 326 330 331 345 346 349 357 359 363 364 365 366 368 376 378 389 393 395 397 399 a 3 8 14 21 25 28 29 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 76 77 79 84 85 86 87 88 90 91 92 93 95 97 99 103 105 111 113 115 116 117 120 121 127 128 135 137 138 142 143 144 149 151 154 159 160 162 163 166 168 170 171 173 179 181 182 189 190 194 200 202 205 206 210 213 216 220 226 231 233 234 241 242 248 250 252 257 262 265 269 270 274 276 278 281 289 291 292 293 295 296 298 299 313 315 317 320 321 322 326 330 331 345 346 349 357 359 363 364 365 366 368 376 378 389 393 395 397 399 a 3 8 14 21 25 28 29 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 76 77 79 84 85 86 87 88 90 91 92 93 95 97 99 103 105 111 113 115 116 117 120 121 127 128 135 137 138 142 143 144 149 151 154 159 160 162 163 166 168 171 173 179 181 182 189 190 194 200 202 205 206 210 213 216 220 226 231 233 234 241 242 248 250 252 257 262 265 269 270 274 276 278 281 289 291 292 293 295 296 298 299 310 313 315 317 320 321 322 326 330 331 345 346 349 357 359 363 364 365 366 368 376 378 389 393 395 397 399 a 3 8 14 21 25 28 29 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 76 77 79 84 85 86 87 88 90 91 92 93 95 97 99 103 105 111 113 115 116 117 120 121 127 128 135 137 138 142 143 144 149 151 154 159 160 162 163 166 168 171 173 179 181 182 189 190 194 200 202 205 206 213 216 220 223 226 231 233 234 241 242 248 250 252 257 262 265 269 270 274 276 278 281 289 291 292 293 295 296 298 299 310 313 315 317 320 321 322 326 330 331 345 346 349 357 359 363 364 365 366 368 376 378 389 393 395 397 399 a 3 8 14 21 25 28 29 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 76 77 79 84 85 86 87 88 90 91 92 93 95 97 99 103 105 111 113 115 116 117 120 121 127 128 135 137 138 142 143 144 149 154 159 160 162 163 166 168 171 173 179 181 182 189 190 194 200 202 204 205 206 213 216 220 223 226 231 233 234 241 242 248 250 252 257 262 265 269 270 274 276 278 281 289 291 292 293 295 296 298 299 310 313 315 317 320 321 322 326 330 331 345 346 349 357 359 363 364 365 366 368 376 378 389 393 395 397 399 a 3 8 14 21 25 28 29 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 76 77 79 84 85 86 87 88 90 91 92 93 95 97 103 105 111 113 115 116 117 120 121 127 128 135 137 138 141 142 143 144 149 154 159 160 162 163 166 168 171 173 179 181 182 189 190 194 200 202 204 205 206 213 216 220 223 226 231 233 234 241 242 248 250 252 257 262 265 269 270 274 276 278 281 289 291 292 293 295 296 298 299 310 313 315 317 320 321 322 326 330 331 345 346 349 357 359 363 364 365 366 368 376 378 389 393 395 397 399 a 3 8 14 21 25 28 29 30 36 37 38 40 43 49 51 54 55 56 57 58 60 65 66 69 76 77 79 84 85 86 87 88 90 91 92 93 95 97 103 105 111 113 115 116 117 120 121 127 128 137 138 141 142 143 144 149 154 159 160 162 163 166 168 171 173 179 181 182 189 190 194 200 202 204 205 206 213 216 220 223 224 226 231 233 234 241 242 248 250 252 257 262 265 269 270 274 276 278 281 289 291 292 293 295 296 298 299 310 313 315 317 320 321 322 326 330 331 345 346 349 357 359 363 364 365 366 368 376 378 389 393 395 397 399 a 3 8 14 21 25 28 29 30 36 37 38 40 42 43 49 51 54 55 56 57 58 60 65 66 69 76 77 79 84 85 86 87 88 90 91 92 93 95 97 103 105 111 113 115 116 117 120 121 127 128 137 138 141 142 143 144 149 154 159 160 162 163 166 168 171 173 179 181 182 189 190 194 200 202 204 205 206 213 216 220 223 224 226 231 233 234 241 242 248 250 252 257 262 265 269 270 274 276 278 281 289 291 292 293 295 296 298 299 310 313 315 317 320 321 322 326 330 331 345 349 357 359 363 364 365 366 368 376 378 389 393 395 397 399 a 3 8 10 14 21 25 28 29 30 36 37 38 40 42 43 49 51 54 55 56 57 58 60 65 69 76 77 79 84 85 86 87 88 90 91 92 93 95 97 103 105 111 113 115 116 117 120 121 127 128 137 138 141 142 143 144 149 154 159 160 162 163 166 168 171 173 179 181 182 189 190 194 200 202 204 205 206 213 216 220 223 224 226 231 233 234 241 242 248 250 252 257 262 265 269 270 274 276 278 281 289 291 292 293 295 296 298 299 310 313 315 317 320 321 322 326 330 331 345 349 357 359 363 364 365 366 368 376 378 389 393 395 397 399 a 3 8 10 14 21 25 28 29 30 36 37 38 40 42 43 49 51 54 55 56 57 58 60 65 69 76 77 79 84 86 87 88 90 91 92 93 95 97 103 105 111 113 115 116 117 120 121 127 128 137 138 141 142 143 144 149 154 159 160 162 163 166 168 171 173 179 181 182 189 190 194 200 202 204 205 206 213 216 220 223 224 226 231 233 234 241 242 248 250 252 257 262 265 269 270 274 276 278 281 289 291 292 293 295 296 298 299 310 313 315 317 320 321 322 326 330 331 345 349 357 359 363 364 365 366 368 376 378 389 393 395 397 399 401 a 3 8 10 14 21 25 28 29 30 36 37 38 40 42 43 49 51 54 55 56 57 58 60 65 69 76 77 79 84 86 87 88 90 91 92 93 95 97 103 105 111 113 115 116 117 120 121 127 128 137 138 141 142 143 144 149 154 159 160 162 163 166 168 171 173 179 181 182 189 190 194 200 202 204 205 206 213 216 220 223 224 226 231 233 234 241 242 248 250 252 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 310 313 315 317 320 321 322 326 330 331 345 349 357 359 363 364 365 366 368 376 378 389 393 395 397 399 401 a 3 8 10 14 21 25 28 29 30 36 37 38 39 40 42 43 49 51 54 55 56 57 58 60 65 69 76 77 79 84 86 87 88 90 91 92 93 95 97 103 105 111 113 115 116 117 120 121 127 128 137 138 141 142 143 144 149 154 159 160 162 163 166 168 171 173 179 181 182 189 190 194 200 202 204 205 206 213 216 220 223 224 226 231 233 234 241 242 248 250 252 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 310 313 315 317 320 321 322 326 330 331 345 349 357 359 363 364 365 366 368 376 378 389 395 397 399 401 a 3 8 10 14 21 25 28 29 30 36 37 38 39 40 42 43 49 51 54 55 56 57 58 60 65 69 76 77 79 84 86 87 88 90 91 92 93 95 97 103 105 111 113 115 116 117 120 121 127 137 138 141 142 143 144 149 154 159 160 162 163 166 168 171 173 179 181 182 189 190 194 200 202 204 205 206 213 216 220 223 224 226 231 233 234 241 242 243 248 250 252 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 310 313 315 317 320 321 322 326 330 331 345 349 357 359 363 364 365 366 368 376 378 389 395 397 399 401 a 3 8 10 14 21 25 28 29 30 36 37 38 39 40 42 43 49 51 54 55 56 57 58 60 65 69 76 77 79 84 86 87 88 90 91 92 93 95 97 103 105 113 115 116 117 120 121 122 127 137 138 141 142 143 144 149 154 159 160 162 163 166 168 171 173 179 181 182 189 190 194 200 202 204 205 206 213 216 220 223 224 226 231 233 234 241 242 243 248 250 252 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 310 313 315 317 320 321 322 326 330 331 345 349 357 359 363 364 365 366 368 376 378 389 395 397 399 401 a 3 8 10 14 21 25 28 29 30 36 37 38 39 40 42 43 49 51 54 55 56 58 60 65 69 76 77 79 84 86 87 88 90 91 92 93 95 97 103 105 113 115 116 117 120 121 122 127 137 138 141 142 143 144 149 154 159 160 162 163 166 168 169 171 173 179 181 182 189 190 194 200 202 204 205 206 213 216 220 223 224 226 231 233 234 241 242 243 248 250 252 257 260 262 265 269 270 274 276 281 289 291 292 293 295 296 298 299 310 313 315 317 320 321 322 326 330 331 345 349 357 359 363 364 365 366 368 376 378 389 395 397 399 401 a 3 8 10 14 21 25 28 29 30 36 37 38 39 40 42 43 49 51 54 55 56 58 60 65 69 76 77 79 84 86 87 88 90 91 92 93 95 97 103 105 113 115 116 117 120 121 122 127 137 138 141 142 143 144 149 154 159 160 162 163 166 168 169 171 173 179 181 182 189 190 194 200 202 204 205 206 213 216 220 223 224 226 231 233 234 241 242 243 248 250 252 257 260 262 265 269 270 274 276 281 282 289 291 292 293 295 296 298 299 310 313 315 317 320 321 322 326 330 331 345 349 357 359 363 364 365 366 368 376 378 389 397 399 401 a 3 8 10 14 21 25 28 29 30 36 37 38 39 40 42 43 49 51 54 55 56 58 60 65 69 76 77 79 84 86 87 88 90 91 92 93 95 97 103 105 113 115 116 117 120 121 122 127 137 138 141 142 143 144 149 154 159 160 162 163 166 168 169 171 173 179 181 182 189 190 194 200 202 204 205 206 213 216 220 223 224 226 231 233 234 241 242 243 248 250 252 257 260 262 265 269 270 274 276 281 282 289 291 292 293 295 296 298 299 309 310 313 315 317 320 321 322 330 331 345 349 357 359 363 364 365 366 368 376 378 389 397 399 401 a 3 8 10 14 21 25 28 29 30 36 37 38 39 40 42 43 49 51 54 55 56 58 60 65 69 76 77 79 84 86 87 88 90 91 92 93 95 97 103 105 113 115 116 117 120 121 122 127 137 138 141 142 143 144 149 154 159 160 162 163 166 168 169 171 173 179 181 182 189 190 194 200 202 204 205 206 213 216 220 223 224 226 231 233 234 241 242 243 245 248 252 257 260 262 265 269 270 274 276 281 282 289 291 292 293 295 296 298 299 309 310 313 315 317 320 321 322 330 331 345 349 357 359 363 364 365 366 368 376 378 389 397 399 401 a 3 8 10 14 21 25 28 29 30 36 37 38 39 40 42 43 49 51 54 55 56 58 60 65 69 73 76 77 79 84 86 87 88 90 91 92 93 95 97 103 105 113 116 117 120 121 122 127 137 138 141 142 143 144 149 154 159 160 162 163 166 168 169 171 173 179 181 182 189 190 194 200 202 204 205 206 213 216 220 223 224 226 231 233 234 241 242 243 245 248 252 257 260 262 265 269 270 274 276 281 282 289 291 292 293 295 296 298 299 309 310 313 315 317 320 321 322 330 331 345 349 357 359 363 364 365 366 368 376 378 389 397 399 401 a 3 8 10 14 21 25 28 29 30 36 37 38 39 40 42 43 49 51 54 55 56 58 60 65 69 73 76 77 79 84 86 87 88 90 91 92 93 95 97 103 105 113 116 117 120 121 122 127 137 138 141 142 143 144 149 154 159 160 162 163 166 168 169 171 173 179 181 182 189 190 194 200 202 204 205 206 213 216 223 224 226 228 231 233 234 241 242 243 245 248 252 257 260 262 265 269 270 274 276 281 282 289 291 292 293 295 296 298 299 309 310 313 315 317 320 321 322 330 331 345 349 357 359 363 364 365 366 368 376 378 389 397 399 401 a 3 8 10 14 21 25 28 29 30 36 37 38 39 40 42 43 49 51 53 54 55 56 58 60 65 69 73 76 77 79 84 86 87 88 90 91 92 93 95 97 103 105 113 116 117 120 121 122 127 137 138 141 142 143 144 149 154 159 160 162 163 166 168 169 171 173 179 181 182 189 190 194 200 202 204 205 206 213 216 223 224 226 228 231 233 234 241 242 243 245 248 252 257 260 262 265 269 270 274 276 281 282 289 291 292 293 296 298 299 309 310 313 315 317 320 321 322 330 331 345 349 357 359 363 364 365 366 368 376 378 389 397 399 401 a 3 8 10 14 21 25 28 29 30 36 37 38 39 40 42 43 48 49 51 53 54 55 56 58 60 65 69 73 76 77 79 84 86 87 88 90 91 92 93 95 97 103 105 113 117 120 121 122 127 137 138 141 142 143 144 149 154 159 160 162 163 166 168 169 171 173 179 181 182 189 190 194 200 202 204 205 206 213 216 223 224 226 228 231 233 234 241 242 243 245 248 252 257 260 262 265 269 270 274 276 281 282 289 291 292 293 296 298 299 309 310 313 315 317 320 321 322 330 331 345 349 357 359 363 364 365 366 368 376 378 389 397 399 401 a 3 8 10 14 21 25 28 29 30 36 37 38 39 40 42 43 48 49 51 53 54 55 56 58 60 65 69 73 76 77 79 84 86 87 88 90 91 92 93 95 97 102 103 105 113 117 120 121 122 127 137 138 141 142 143 144 149 154 159 160 162 163 166 168 169 171 173 179 181 182 189 190 194 200 202 204 205 206 213 216 223 224 226 228 231 233 234 241 242 243 245 248 252 257 260 262 265 269 270 274 276 281 282 289 291 292 293 296 298 299 309 310 313 315 317 320 321 322 330 331 345 357 359 363 364 365 366 368 376 378 389 397 399 401 a 3 8 10 14 21 25 28 29 30 36 37 38 39 40 42 43 48 49 51 53 54 55 56 58 60 65 69 73 76 77 79 84 86 87 88 90 91 92 93 95 97 102 103 105 113 117 120 121 122 127 137 138 141 142 143 144 149 154 159 160 162 163 166 168 169 171 179 181 182 189 190 194 200 202 204 205 206 213 216 223 224 226 228 231 233 234 236 241 242 243 245 248 252 257 260 262 265 269 270 274 276 281 282 289 291 292 293 296 298 299 309 310 313 315 317 320 321 322 330 331 345 357 359 363 364 365 366 368 376 378 389 397 399 401 a 3 8 10 14 21 25 28 29 30 36 37 38 39 40 42 43 48 49 51 53 54 55 56 58 60 65 69 73 76 77 79 84 86 87 88 90 91 92 93 95 97 102 103 105 106 113 117 120 121 122 127 137 138 141 142 143 144 149 154 159 160 162 163 166 168 169 171 179 181 182 189 190 194 200 202 204 205 206 213 216 223 224 226 228 231 233 234 236 241 242 243 245 248 252 257 260 262 265 269 270 274 276 281 282 289 291 292 293 296 298 299 309 310 313 315 317 320 321 322 330 331 345 357 359 363 364 365 366 368 376 378 389 399 401 a 3 8 10 14 21 25 28 29 30 36 37 38 39 40 42 43 48 49 51 53 54 55 56 58 60 65 69 73 76 77 79 84 86 87 90 91 92 93 95 97 102 103 105 106 113 117 120 121 122 127 137 138 141 142 143 144 149 154 159 160 162 163 166 167 168 169 171 179 181 182 189 190 194 200 202 204 205 206 213 216 223 224 226 228 231 233 234 236 241 242 243 245 248 252 257 260 262 265 269 270 274 276 281 282 289 291 292 293 296 298 299 309 310 313 315 317 320 321 322 330 331 345 357 359 363 364 365 366 368 376 378 389 399 401 a 3 8 10 14 21 25 28 29 30 36 37 38 39 40 42 43 48 49 51 53 54 55 56 58 60 65 69 73 76 77 79 84 86 87 90 91 92 93 95 97 102 103 105 106 113 117 120 121 122 127 137 138 141 142 143 144 149 154 159 160 162 163 166 167 168 169 171 179 181 182 189 190 194 200 202 204 205 206 213 216 223 224 226 228 231 233 234 236 241 242 243 245 248 252 257 260 262 265 269 270 274 276 281 282 285 289 291 292 293 296 298 299 309 310 313 315 317 321 322 330 331 345 357 359 363 364 365 366 368 376 378 389 399 401 a 3 8 10 14 21 25 28 29 30 36 37 38 39 40 42 43 48 49 51 53 54 55 56 58 60 65 69 73 76 77 79 84 86 87 90 91 92 93 95 97 102 103 105 106 113 117 120 121 122 127 137 138 141 142 143 144 149 154 159 160 162 163 166 167 168 169 171 179 181 182 189 190 194 200 202 204 205 206 213 216 223 224 226 228 231 233 234 236 241 242 243 245 248 252 257 260 262 269 270 274 276 281 282 285 289 291 292 293 296 298 299 309 310 313 315 317 321 322 330 331 345 357 359 363 364 365 366 368 371 376 378 389 399 401 a 3 8 10 14 21 25 28 29 30 36 37 38 39 40 42 43 48 49 51 53 54 55 56 58 60 65 69 73 76 77 79 83 84 86 87 90 91 92 93 95 102 103 105 106 113 117 120 121 122 127 137 138 141 142 143 144 149 154 159 160 162 163 166 167 168 169 171 179 181 182 189 190 194 200 202 204 205 206 213 216 223 224 226 228 231 233 234 236 241 242 243 245 248 252 257 260 262 269 270 274 276 281 282 285 289 291 292 293 296 298 299 309 310 313 315 317 321 322 330 331 345 357 359 363 364 365 366 368 371 376 378 389 399 401 a 3 8 10 14 21 25 26 28 29 30 36 37 38 39 40 42 43 48 49 51 53 54 55 56 58 60 65 69 73 76 77 79 83 84 86 87 90 91 92 93 95 102 103 105 106 113 117 120 121 122 127 137 138 141 142 143 144 149 159 160 162 163 166 167 168 169 171 179 181 182 189 190 194 200 202 204 205 206 213 216 223 224 226 228 231 233 234 236 241 242 243 245 248 252 257 260 262 269 270 274 276 281 282 285 289 291 292 293 296 298 299 309 310 313 315 317 321 322 330 331 345 357 359 363 364 365 366 368 371 376 378 389 399 401 a 3 8 10 14 21 25 26 28 29 30 36 37 38 39 40 42 43 48 49 51 53 54 55 56 58 60 61 65 69 73 76 77 79 83 84 86 87 90 91 92 93 95 102 103 105 106 113 117 120 121 122 127 137 138 141 142 143 144 149 159 160 162 163 166 167 168 169 171 179 181 182 189 190 194 200 202 204 205 206 213 216 223 224 226 228 231 233 234 236 241 242 243 245 248 252 257 260 262 269 270 274 276 281 282 285 289 291 292 293 296 298 299 309 310 313 315 317 321 322 330 331 345 357 359 363 364 365 366 368 371 376 378 389 401 a 3 8 10 14 21 25 26 28 29 30 36 37 38 39 40 42 43 48 49 51 53 55 56 58 60 61 65 69 73 76 77 79 83 84 86 87 90 91 92 93 95 102 103 105 106 113 117 120 121 122 127 137 138 141 142 143 144 149 159 160 162 163 166 167 168 169 171 179 181 182 189 190 194 200 202 204 205 206 213 216 223 224 226 228 231 233 234 236 241 242 243 245 248 252 257 260 262 269 270 274 276 281 282 285 289 291 292 293 296 298 299 309 310 313 315 317 321 322 330 331 345 357 358 359 363 364 365 366 368 371 376 378 389 401 a 3 8 10 14 21 25 26 28 29 30 36 37 38 39 40 42 43 48 49 51 53 56 58 60 61 65 69 73 76 77 79 83 84 86 87 90 91 92 93 95 102 103 105 106 113 117 120 121 122 127 137 138 141 142 143 144 149 159 160 162 163 165 166 167 168 169 171 179 181 182 189 190 194 200 202 204 205 206 213 216 223 224 226 228 231 233 234 236 241 242 243 245 248 252 257 260 262 269 270 274 276 281 282 285 289 291 292 293 296 298 299 309 310 313 315 317 321 322 330 331 345 357 358 359 363 364 365 366 368 371 376 378 389 401 a 3 8 10 14 21 25 26 28 29 30 36 37 38 39 40 42 43 48 49 51 53 56 58 60 61 65 69 73 76 77 79 83 84 86 87 90 91 92 93 95 102 103 105 106 113 117 120 121 122 127 137 138 141 142 143 144 149 159 160 162 163 165 166 167 168 169 171 179 181 182 189 190 194 200 202 204 205 206 213 216 223 224 226 228 231 233 234 236 241 242 243 245 248 257 260 262 267 269 270 274 276 281 282 285 289 291 292 293 296 298 299 309 310 313 315 317 321 322 330 331 345 357 358 359 363 364 365 366 368 371 376 378 389 401 a 3 8 10 14 21 25 26 28 29 30 36 37 38 39 40 42 43 48 49 51 53 56 58 60 61 65 69 73 76 77 79 83 84 86 87 90 91 92 93 95 102 103 105 106 113 117 120 121 122 127 137 138 141 142 143 144 149 159 160 162 163 165 166 167 168 169 171 179 181 182 189 190 194 200 202 204 205 206 213 216 223 224 226 228 231 233 234 236 241 242 243 245 248 257 260 262 267 269 270 274 276 279 281 282 285 289 291 292 293 296 298 299 309 310 313 315 317 321 322 330 331 345 357 358 359 363 364 365 368 371 376 378 389 401 a 3 8 10 14 21 22 25 26 28 29 30 36 37 38 39 40 42 43 48 49 51 53 56 58 60 61 65 69 73 76 77 79 83 84 86 87 90 91 92 93 95 102 103 105 106 113 117 120 121 122 127 137 138 141 142 143 144 149 159 160 162 163 165 166 167 168 169 171 179 181 182 189 190 194 200 202 204 205 206 213 216 223 224 228 231 233 234 236 241 242 243 245 248 257 260 262 267 269 270 274 276 279 281 282 285 289 291 292 293 296 298 299 309 310 313 315 317 321 322 330 331 345 357 358 359 363 364 365 368 371 376 378 389 401 a 3 8 10 14 21 22 25 26 28 29 30 36 37 38 39 42 43 48 49 51 53 56 58 60 61 65 69 73 76 77 79 83 84 86 87 90 91 92 93 95 102 103 105 106 113 117 120 121 122 127 137 138 141 142 143 144 149 159 160 162 163 165 166 167 168 169 171 179 181 182 189 190 194 200 202 204 205 206 213 216 223 224 225 228 231 233 234 236 241 242 243 245 248 257 260 262 267 269 270 274 276 279 281 282 285 289 291 292 293 296 298 299 309 310 313 315 317 321 322 330 331 345 357 358 359 363 364 365 368 371 376 378 389 401 a 3 8 10 14 21 22 25 26 28 29 30 36 37 38 39 42 43 48 49 51 53 56 58 61 65 69 73 76 77 79 83 84 86 87 90 91 92 93 95 102 103 105 106 113 117 120 121 122 127 137 138 141 142 143 144 149 159 160 162 163 165 166 167 168 169 171 179 181 182 189 190 194 200 202 204 205 206 213 216 223 224 225 228 231 233 234 236 241 242 243 245 248 257 260 262 267 269 270 274 276 279 281 282 285 289 291 292 293 296 298 299 309 310 313 315 317 319 321 322 330 331 345 357 358 359 363 364 365 368 371 376 378 389 401 a 3 8 10 14 21 22 25 26 28 29 30 35 36 37 38 39 42 43 48 49 51 53 56 58 61 65 69 73 76 77 79 83 84 86 87 90 91 92 93 95 102 103 105 106 113 117 120 121 122 127 137 138 141 142 143 144 149 159 160 162 163 165 166 167 168 169 171 179 181 182 190 194 200 202 204 205 206 213 216 223 224 225 228 231 233 234 236 241 242 243 245 248 257 260 262 267 269 270 274 276 279 281 282 285 289 291 292 293 296 298 299 309 310 313 315 317 319 321 322 330 331 345 357 358 359 363 364 365 368 371 376 378 389 401 a 8 10 14 21 22 25 26 28 29 30 35 36 37 38 39 42 43 48 49 51 53 56 58 61 65 69 73 76 77 79 83 84 86 87 90 91 92 93 95 102 103 105 106 113 117 120 121 122 127 132 137 138 141 142 143 144 149 159 160 162 163 165 166 167 168 169 171 179 181 182 190 194 200 202 204 205 206 213 216 223 224 225 228 231 233 234 236 241 242 243 245 248 257 260 262 267 269 270 274 276 279 281 282 285 289 291 292 293 296 298 299 309 310 313 315 317 319 321 322 330 331 345 357 358 359 363 364 365 368 371 376 378 389 401 a 8 10 14 21 22 25 26 28 29 30 35 36 37 38 39 42 43 48 49 51 53 56 58 61 65 69 73 76 77 79 83 84 86 87 90 91 92 93 95 102 103 105 106 113 117 120 121 122 127 132 138 141 142 143 144 149 159 160 162 163 165 166 167 168 169 171 179 181 182 190 194 200 202 204 205 206 213 216 223 224 225 228 231 233 234 236 241 242 243 245 248 257 260 262 267 269 270 274 276 279 281 282 285 289 291 292 293 296 298 299 309 310 312 313 315 317 319 321 322 330 331 345 357 358 359 363 364 365 368 371 376 378 389 401 a 8 10 14 21 22 25 26 28 29 30 35 36 37 38 39 42 43 48 49 51 53 56 58 61 65 69 73 76 77 79 83 84 86 87 90 91 92 93 95 102 103 105 106 113 117 120 121 122 127 132 138 141 142 143 144 149 159 160 162 163 165 166 167 168 169 171 177 179 181 182 190 194 200 202 204 205 206 213 216 223 224 225 228 231 233 234 236 241 242 243 245 248 257 260 262 267 269 270 274 276 279 281 282 285 289 291 292 293 296 298 299 309 310 312 313 315 317 319 321 322 330 331 345 357 358 359 363 364 365 368 371 376 389 401 a 8 10 14 21 22 25 26 28 29 30 35 36 37 38 39 42 43 48 49 51 53 56 58 61 65 69 73 76 77 79 83 84 86 87 90 91 92 93 95 102 103 105 106 113 117 120 121 122 127 132 138 141 142 143 144 149 159 160 162 163 165 167 168 169 171 177 179 181 182 190 194 200 202 204 205 206 213 216 223 224 225 228 231 233 234 236 241 242 243 245 248 257 260 262 267 269 270 274 276 279 281 282 285 289 291 292 293 296 298 299 309 310 312 313 315 317 319 321 322 330 331 345 357 358 359 363 364 365 368 371 376 380 389 401 a 8 10 14 21 22 25 26 28 29 30 35 36 37 38 39 42 43 48 49 51 53 56 58 61 65 69 73 76 77 79 83 84 86 87 90 91 92 93 95 102 103 105 106 117 120 121 122 127 132 138 141 142 143 144 149 159 160 162 163 165 167 168 169 171 177 179 181 182 190 194 200 202 204 205 206 213 216 223 224 225 228 231 233 234 236 241 242 243 245 248 257 260 262 267 269 270 274 276 279 281 282 285 289 291 292 293 296 298 299 309 310 312 313 315 317 319 321 322 330 331 343 345 357 358 359 363 364 365 368 371 376 380 389 401 a 8 10 14 21 22 25 26 28 29 30 35 36 37 38 39 42 43 48 49 51 53 56 58 61 65 69 73 76 77 79 83 84 86 87 90 91 92 93 95 102 103 105 106 112 117 120 121 122 127 132 138 141 142 143 144 149 159 160 162 163 165 167 168 169 171 177 179 181 182 190 194 200 202 204 205 206 213 216 223 224 225 228 231 233 234 236 241 242 243 245 248 257 260 262 267 269 270 276 279 281 282 285 289 291 292 293 296 298 299 309 310 312 313 315 317 319 321 322 330 331 343 345 357 358 359 363 364 365 368 371 376 380 389 401 a 8 10 14 21 22 25 26 28 29 30 35 36 37 38 39 42 43 48 49 51 53 56 58 61 65 69 70 73 76 77 79 83 84 86 87 90 91 92 93 95 102 103 105 106 112 117 120 121 122 127 132 138 141 142 143 144 149 159 160 162 163 165 167 168 169 171 177 179 181 182 190 194 200 202 204 205 206 213 216 223 224 225 228 231 233 234 236 241 242 243 245 248 257 260 262 267 269 270 276 279 281 282 285 289 291 292 293 296 298 309 310 312 313 315 317 319 321 322 330 331 343 345 357 358 359 363 364 365 368 371 376 380 389 401 a 8 10 14 21 22 25 26 28 29 30 35 36 37 38 39 42 43 48 49 51 53 56 58 61 65 69 70 73 76 77 79 83 84 86 87 90 91 92 93 95 102 103 105 106 112 117 120 121 122 127 132 138 141 142 143 144 149 159 160 162 163 165 167 168 169 171 177 179 181 182 190 194 200 204 205 206 213 216 223 224 225 228 231 233 234 236 241 242 243 245 248 257 260 262 267 269 270 276 279 281 282 285 289 291 292 293 296 298 309 310 312 313 315 317 319 321 322 330 331 343 345 357 358 359 363 364 365 368 369 371 376 380 389 401 a 8 10 14 21 22 25 26 28 29 30 35 36 37 38 39 42 43 45 48 49 51 53 56 58 61 65 69 70 73 76 77 79 83 84 86 87 90 91 93 95 102 103 105 106 112 117 120 121 122 127 132 138 141 142 143 144 149 159 160 162 163 165 167 168 169 171 177 179 181 182 190 194 200 204 205 206 213 216 223 224 225 228 231 233 234 236 241 242 243 245 248 257 260 262 267 269 270 276 279 281 282 285 289 291 292 293 296 298 309 310 312 313 315 317 319 321 322 330 331 343 345 357 358 359 363 364 365 368 369 371 376 380 389 401 a 8 10 14 21 22 25 26 28 29 30 35 36 37 38 39 42 43 45 48 49 51 53 56 58 61 65 69 70 73 76 77 79 83 84 86 87 90 93 95 102 103 105 106 112 117 120 121 122 127 132 138 141 142 143 144 149 159 160 162 163 165 167 168 169 171 177 179 181 182 190 194 200 204 205 206 213 215 216 223 224 225 228 231 233 234 236 241 242 243 245 248 257 260 262 267 269 270 276 279 281 282 285 289 291 292 293 296 298 309 310 312 313 315 317 319 321 322 330 331 343 345 357 358 359 363 364 365 368 369 371 376 380 389 401 a 8 10 14 21 22 25 26 28 29 30 35 36 37 38 39 42 43 45 48 49 51 53 56 58 61 65 69 70 73 76 77 79 83 84 86 87 90 93 95 102 103 105 106 112 117 120 121 122 127 132 138 141 142 143 144 149 159 160 162 163 165 167 168 169 171 177 179 181 182 190 194 204 205 206 213 215 216 223 224 225 228 231 233 234 236 241 242 243 245 248 257 258 260 262 267 269 270 276 279 281 282 285 289 291 292 293 296 298 309 310 312 313 315 317 319 321 322 330 331 343 345 357 358 359 363 364 365 368 369 371 376 380 389 401 a 8 10 14 21 22 25 26 28 29 30 35 36 37 38 39 42 45 48 49 51 53 56 58 61 65 69 70 73 76 77 79 83 84 86 87 90 93 95 102 103 105 106 112 117 120 121 122 127 132 138 141 142 143 144 149 159 160 162 163 165 167 168 169 171 177 179 181 182 190 194 204 205 206 213 215 216 223 224 225 228 231 233 234 236 240 241 242 243 245 248 257 258 260 262 267 269 270 276 279 281 282 285 289 291 292 293 296 298 309 310 312 313 315 317 319 321 322 330 331 343 345 357 358 359 363 364 365 368 369 371 376 380 389 401 a 8 10 14 21 22 25 26 28 29 30 35 36 37 38 39 42 45 48 49 51 53 56 58 61 65 69 70 73 76 77 79 83 84 86 87 90 93 95 98 102 103 105 106 112 117 120 122 127 132 138 141 142 143 144 149 159 160 162 163 165 167 168 169 171 177 179 181 182 190 194 204 205 206 213 215 216 223 224 225 228 231 233 234 236 240 241 242 243 245 248 257 258 260 262 267 269 270 276 279 281 282 285 289 291 292 293 296 298 309 310 312 313 315 317 319 321 322 330 331 343 345 357 358 359 363 364 365 368 369 371 376 380 389 401 a 8 10 14 21 22 25 26 28 29 30 35 36 37 38 39 42 45 48 49 51 53 56 58 61 65 69 70 73 76 77 79 83 84 87 90 93 95 98 102 103 105 106 112 117 120 122 127 132 138 141 142 143 144 149 159 160 162 163 165 167 168 169 171 177 179 181 182 190 194 204 205 206 213 215 216 223 224 225 228 230 231 233 234 236 240 241 242 243 245 248 257 258 260 262 267 269 270 276 279 281 282 285 289 291 292 293 296 298 309 310 312 313 315 317 319 321 322 330 331 343 345 357 358 359 363 364 365 368 369 371 376 380 389 401 a 8 10 14 21 22 25 26 28 29 30 35 36 37 38 39 42 45 48 49 51 53 56 58 61 65 69 70 73 76 77 79 83 84 87 90 93 95 98 102 103 105 106 112 117 120 122 127 132 138 141 142 143 144 149 159 160 163 165 167 168 169 171 177 179 181 182 190 194 204 205 206 213 215 216 223 224 225 228 230 231 233 234 236 240 241 242 243 245 248 257 258 260 262 267 269 270 276 279 281 282 285 289 291 292 293 296 298 309 310 312 313 315 317 319 321 322 330 331 343 345 357 358 359 363 364 365 368 369 371 376 380 382 389 401 a 8 10 14 21 22 25 26 28 29 30 35 36 37 38 39 42 45 48 49 51 53 56 58 61 65 69 70 73 76 77 79 83 84 87 90 93 98 102 103 105 106 112 117 120 122 127 132 138 141 142 143 144 149 159 160 163 165 167 168 169 171 177 179 181 182 190 194 204 205 206 213 215 216 223 224 225 228 230 231 233 234 236 240 241 242 243 245 248 257 258 260 262 267 269 270 276 279 281 282 285 289 291 292 293 296 298 309 310 312 313 315 317 319 321 322 330 331 343 345 357 358 359 363 364 365 368 369 371 376 380 382 389 398 401 a 8 10 14 21 22 25 26 28 29 30 35 36 37 38 39 42 45 48 49 51 53 56 58 61 65 69 70 73 76 77 79 83 84 87 90 98 102 103 105 106 112 117 120 122 127 132 138 141 142 143 144 145 149 159 160 163 165 167 168 169 171 177 179 181 182 190 194 204 205 206 213 215 216 223 224 225 228 230 231 233 234 236 240 241 242 243 245 248 257 258 260 262 267 269 270 276 279 281 282 285 289 291 292 293 296 298 309 310 312 313 315 317 319 321 322 330 331 343 345 357 358 359 363 364 365 368 369 371 376 380 382 389 398 401 a 8 10 14 21 22 25 26 28 29 30 35 36 37 38 39 42 45 48 49 51 53 56 58 61 65 69 70 73 76 77 79 82 83 84 87 90 98 102 103 105 106 112 117 120 122 127 132 138 141 142 143 144 145 149 159 160 163 165 167 168 169 171 177 179 181 182 190 194 204 205 206 213 215 216 223 224 225 228 230 231 233 234 236 240 241 242 243 245 248 257 258 260 262 267 269 270 276 279 281 282 285 289 291 292 293 296 309 310 312 313 315 317 319 321 322 330 331 343 345 357 358 359 363 364 365 368 369 371 376 380 382 389 398 401 a 8 10 21 22 25 26 28 29 30 35 36 37 38 39 42 45 48 49 51 53 56 58 61 65 69 70 73 76 77 79 82 83 84 87 90 98 102 103 105 106 112 117 120 122 127 132 138 141 142 143 144 145 149 159 160 163 165 167 168 169 171 177 179 181 182 190 194 204 205 206 213 215 216 223 224 225 228 230 231 233 234 236 240 241 242 243 245 248 254 257 258 260 262 267 269 270 276 279 281 282 285 289 291 292 293 296 309 310 312 313 315 317 319 321 322 330 331 343 345 357 358 359 363 364 365 368 369 371 376 380 382 389 398 401 a 8 10 21 22 25 26 28 29 30 35 36 37 38 39 42 45 48 49 51 53 56 58 61 65 69 70 73 76 77 79 82 83 84 87 90 98 102 103 105 106 112 117 120 122 127 132 138 141 142 143 144 145 149 159 160 163 165 167 168 169 171 177 179 181 182 190 194 204 205 206 213 215 216 223 224 225 228 230 231 233 234 236 240 242 243 245 246 248 254 257 258 260 262 267 269 270 276 279 281 282 285 289 291 292 293 296 309 310 312 313 315 317 319 321 322 330 331 343 345 357 358 359 363 364 365 368 369 371 376 380 382 389 398 401 a 8 10 21 22 25 26 28 29 30 32 35 36 37 38 39 42 45 48 49 51 53 56 58 61 65 69 70 73 76 77 79 82 83 84 90 98 102 103 105 106 112 117 120 122 127 132 138 141 142 143 144 145 149 159 160 163 165 167 168 169 171 177 179 181 182 190 194 204 205 206 213 215 216 223 224 225 228 230 231 233 234 236 240 242 243 245 246 248 254 257 258 260 262 267 269 270 276 279 281 282 285 289 291 292 293 296 309 310 312 313 315 317 319 321 322 330 331 343 345 357 358 359 363 364 365 368 369 371 376 380 382 389 398 401 a 8 10 21 22 25 26 28 29 30 32 35 36 37 38 39 42 45 48 49 51 53 56 58 61 65 69 70 73 76 77 79 82 83 84 90 98 102 103 105 106 112 117 120 122 127 132 138 141 142 143 144 145 149 159 160 163 165 167 168 169 171 177 179 181 182 190 194 204 205 206 213 215 216 223 224 225 228 230 231 233 234 236 240 242 243 245 246 248 254 257 258 260 262 267 269 270 276 279 281 282 285 289 291 292 293 296 309 310 312 313 315 317 319 321 330 331 343 345 350 357 358 359 363 364 365 368 369 371 376 380 382 389 398 401 a 8 10 21 22 25 26 28 29 30 32 35 36 37 38 39 42 45 48 49 51 53 56 58 61 65 69 70 73 76 77 79 82 83 84 90 98 102 103 105 106 112 117 120 122 127 132 138 141 142 143 144 145 149 159 160 163 165 167 168 169 171 177 179 181 182 187 190 204 205 206 213 215 216 223 224 225 228 230 231 233 234 236 240 242 243 245 246 248 254 257 258 260 262 267 269 270 276 279 281 282 285 289 291 292 293 296 309 310 312 313 315 317 319 321 330 331 343 345 350 357 358 359 363 364 365 368 369 371 376 380 382 389 398 401 a 8 10 21 22 25 26 28 29 30 32 35 36 37 38 39 42 45 48 49 51 53 56 58 61 65 69 70 73 76 77 79 82 83 84 90 98 102 103 105 106 112 117 122 127 132 138 141 142 143 144 145 149 159 160 163 165 167 168 169 171 177 179 181 182 187 190 204 205 206 213 215 216 223 224 225 228 230 231 233 234 236 237 240 242 243 245 246 248 254 257 258 260 262 267 269 270 276 279 281 282 285 289 291 292 293 296 309 310 312 313 315 317 319 321 330 331 343 345 350 357 358 359 363 364 365 368 369 371 376 380 382 389 398 401 a 8 10 21 22 25 26 28 29 30 32 35 36 37 38 39 42 45 48 51 53 56 58 61 65 69 70 73 76 77 79 82 83 84 90 98 102 103 105 106 112 117 122 127 132 138 141 142 143 144 145 149 159 160 163 165 167 168 169 171 177 179 181 182 187 190 204 205 206 213 215 216 223 224 225 228 230 231 233 234 236 237 240 242 243 245 246 248 254 257 258 260 262 267 269 270 276 279 281 282 285 289 291 292 293 296 309 310 312 313 315 317 319 321 329 330 331 343 345 350 357 358 359 363 364 365 368 369 371 376 380 382 389 398 401 a 8 10 21 22 25 26 28 29 30 32 35 36 38 39 42 45 48 51 53 56 58 61 65 69 70 73 76 77 79 81 82 83 84 90 98 102 103 105 106 112 117 122 127 132 138 141 142 143 144 145 149 159 160 163 165 167 168 169 171 177 179 181 182 187 190 204 205 206 213 215 216 223 224 225 228 230 231 233 234 236 237 240 242 243 245 246 248 254 257 258 260 262 267 269 270 276 279 281 282 285 289 291 292 293 296 309 310 312 313 315 317 319 321 329 330 331 343 345 350 357 358 359 363 364 365 368 369 371 376 380 382 389 398 401 a 8 10 21 22 25 26 28 29 30 32 35 36 38 39 42 45 48 51 53 56 58 61 62 65 69 70 73 76 77 81 82 83 84 90 98 102 103 105 106 112 117 122 127 132 138 141 142 143 144 145 149 159 160 163 165 167 168 169 171 177 179 181 182 187 190 204 205 206 213 215 216 223 224 225 228 230 231 233 234 236 237 240 242 243 245 246 248 254 257 258 260 262 267 269 270 276 279 281 282 285 289 291 292 293 296 309 310 312 313 315 317 319 321 329 330 331 343 345 350 357 358 359 363 364 365 368 369 371 376 380 382 389 398 401 a 8 10 21 22 25 26 28 29 30 32 35 36 39 42 45 48 51 53 56 58 61 62 65 69 70 73 76 77 81 82 83 84 90 98 102 103 105 106 112 117 122 127 132 138 141 142 143 144 145 149 159 160 163 165 167 168 169 171 177 179 181 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 233 234 236 237 240 242 243 245 246 248 254 257 258 260 262 267 269 270 276 279 281 282 285 289 291 292 293 296 309 310 312 313 315 317 319 321 329 330 331 343 345 350 357 358 359 363 364 365 368 369 371 376 380 382 389 398 401 a 8 10 21 22 24 25 26 28 29 30 32 35 36 39 42 45 48 51 53 56 58 61 62 65 69 70 73 76 77 81 82 83 84 90 98 102 103 105 106 112 117 122 127 132 138 141 142 143 144 145 159 160 163 165 167 168 169 171 177 179 181 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 233 234 236 237 240 242 243 245 246 248 254 257 258 260 262 267 269 270 276 279 281 282 285 289 291 292 293 296 309 310 312 313 315 317 319 321 329 330 331 343 345 350 357 358 359 363 364 365 368 369 371 376 380 382 389 398 401 a 8 10 21 22 24 25 26 28 29 30 32 35 36 39 42 45 48 51 53 56 58 61 62 65 69 70 73 76 77 81 82 83 84 90 98 102 103 105 106 112 117 122 127 132 138 141 142 143 144 145 146 159 160 163 165 167 168 169 171 177 179 181 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 233 234 236 237 240 242 243 245 246 248 254 257 258 260 262 267 269 270 276 279 282 285 289 291 292 293 296 309 310 312 313 315 317 319 321 329 330 331 343 345 350 357 358 359 363 364 365 368 369 371 376 380 382 389 398 401 a 8 10 21 22 24 25 26 28 29 30 32 35 36 39 42 45 48 51 53 56 58 61 62 65 69 70 72 73 76 77 81 82 83 84 90 98 102 103 105 106 112 117 122 127 132 138 141 142 143 144 145 146 159 160 163 165 167 168 169 171 177 179 181 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 234 236 237 240 242 243 245 246 248 254 257 258 260 262 267 269 270 276 279 282 285 289 291 292 293 296 309 310 312 313 315 317 319 321 329 330 331 343 345 350 357 358 359 363 364 365 368 369 371 376 380 382 389 398 401 a 8 10 21 22 24 25 26 28 29 30 32 35 36 39 42 45 48 51 53 56 58 61 62 65 69 70 72 73 76 77 81 82 83 90 98 102 103 105 106 112 117 122 127 132 138 141 142 143 144 145 146 159 160 163 165 167 168 169 171 177 179 181 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 234 236 237 240 242 243 245 246 248 254 257 258 260 262 267 269 270 276 279 282 285 289 291 292 293 296 304 309 310 312 313 315 317 319 321 329 330 331 343 345 350 357 358 359 363 364 365 368 369 371 376 380 382 389 398 401 a 8 10 21 22 24 25 26 28 29 30 32 35 36 39 42 45 48 51 53 56 58 61 62 65 69 70 72 73 76 77 81 82 83 90 98 102 103 105 106 112 117 122 127 132 138 141 142 143 144 145 146 159 160 163 165 167 169 171 177 179 181 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 234 236 237 240 242 243 245 246 248 254 257 258 260 262 267 269 270 276 279 282 285 289 291 292 293 296 304 309 310 312 313 315 317 319 321 329 330 331 343 345 350 357 358 359 363 364 365 368 369 371 376 380 382 388 389 398 401 a 8 10 21 22 24 25 26 28 29 30 32 35 36 39 42 45 48 51 53 56 58 61 62 65 69 70 72 73 76 77 81 82 83 90 98 102 103 105 106 112 117 122 127 132 138 141 142 143 144 145 146 159 160 163 165 167 169 171 177 179 181 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 234 236 237 240 242 243 245 246 248 254 257 258 260 262 267 269 270 276 279 282 285 289 291 292 293 296 304 309 310 312 313 315 317 319 321 329 330 331 343 345 350 357 358 359 363 365 368 369 370 371 376 380 382 388 389 398 401 a 8 10 21 22 24 25 26 28 29 30 32 35 36 39 42 45 48 51 53 56 58 61 62 65 69 70 72 73 76 77 81 82 83 90 98 102 103 105 106 112 117 122 127 132 138 141 142 143 144 145 146 152 159 160 163 165 167 169 171 177 179 181 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 234 236 237 240 242 243 245 246 248 254 257 258 260 262 267 269 270 276 279 282 285 289 291 292 293 296 304 309 310 312 313 317 319 321 329 330 331 343 345 350 357 358 359 363 365 368 369 370 371 376 380 382 388 389 398 401 a 8 10 21 22 24 25 26 28 29 30 32 35 36 39 42 45 48 51 53 56 58 61 62 65 69 70 72 73 76 77 81 82 83 90 98 102 103 105 106 112 117 122 127 132 138 141 142 143 144 145 146 152 159 160 163 165 167 169 171 177 179 181 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 234 236 237 240 243 245 246 248 254 257 258 260 262 267 269 270 276 279 282 285 289 291 292 293 296 304 309 310 312 313 317 319 321 329 330 331 343 345 350 357 358 359 363 365 368 369 370 371 376 380 382 388 389 390 398 401 a 8 10 21 22 24 25 26 28 29 30 32 35 36 39 42 45 48 51 53 56 58 61 62 65 69 70 72 73 76 77 81 82 83 90 98 102 103 105 106 112 117 122 127 132 138 141 142 143 144 145 146 152 159 160 163 165 167 169 171 177 179 181 182 187 190 204 205 206 213 215 216 223 224 225 227 228 230 231 234 236 237 240 243 245 246 248 254 257 258 260 262 267 269 270 276 279 282 285 289 291 292 293 296 304 309 310 312 313 317 319 321 329 330 331 343 345 350 357 358 359 363 365 368 369 370 371 376 380 382 388 390 392 398 401 a 8 10 21 22 24 25 26 28 29 30 32 35 36 39 42 45 48 51 53 56 58 61 62 65 69 70 72 73 76 77 81 82 83 90 98 102 103 105 106 112 117 122 127 132 138 141 142 143 144 145 146 152 159 160 163 165 167 169 171 177 179 181 182 187 190 204 205 206 212 213 215 216 223 224 225 227 228 230 231 234 236 237 240 243 245 246 254 257 258 260 262 267 269 270 276 279 282 285 289 291 292 293 296 304 309 310 312 313 317 319 321 329 330 331 343 345 350 357 358 359 363 365 368 369 370 371 376 380 382 388 390 392 398 401 a 8 10 21 22 24 25 26 28 29 30 32 35 36 39 42 45 48 51 53 56 58 61 62 65 69 70 72 73 76 77 81 82 83 90 98 102 103 105 106 112 117 122 127 132 138 141 142 143 144 145 146 152 159 160 163 164 165 167 169 171 177 179 181 182 187 190 204 205 206 212 213 215 216 223 224 225 227 228 230 231 234 236 237 240 243 245 246 254 257 258 260 262 267 269 270 276 279 282 285 289 291 292 293 304 309 310 312 313 317 319 321 329 330 331 343 345 350 357 358 359 363 365 368 369 370 371 376 380 382 388 390 392 398 401 a 8 10 21 22 24 25 26 28 29 30 32 35 36 39 42 45 48 51 53 56 58 61 62 65 69 70 72 73 76 77 81 82 83 90 98 102 103 105 106 112 117 122 127 132 138 141 142 143 144 145 146 152 159 160 163 164 165 167 169 171 177 179 181 182 187 190 204 205 206 212 213 215 216 223 224 225 227 228 230 231 234 236 237 240 243 245 246 254 257 258 260 262 267 269 270 273 276 279 282 285 289 291 292 293 304 309 310 312 313 317 319 329 330 331 343 345 350 357 358 359 363 365 368 369 370 371 376 380 382 388 390 392 398 401 c Step: 128 Command being timed: "python3 run_3.py --existent /benchmark/random_instance/random_instance031_graph003.col /benchmark/random_instance/random_instance031_graph003_01.dat" User time (seconds): 63.72 System time (seconds): 0.11 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:03.84 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): 289632 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 110104 Voluntary context switches: 25 Involuntary context switches: 332 Swaps: 0 File system inputs: 0 File system outputs: 840 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 02:10:33 2023]