#BEGIN: [Tue Sep 26 02:09:29 2023] #HOST: s12 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance031_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance031_graph004_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_graph004.col /benchmark/random_instance/random_instance031_graph004_01.dat c /benchmark/random_instance/random_instance031_graph004.col c /benchmark/random_instance/random_instance031_graph004_01.dat *** Info : (clingo): INTERRUPTED by signal! s 312 119 270 272 147 94 65 383 122 90 347 376 298 137 388 257 236 97 63 27 161 391 266 149 160 226 87 169 24 321 81 200 13 56 77 402 155 135 349 92 96 110 360 191 190 364 78 33 342 218 50 88 208 314 71 150 248 317 103 53 217 61 233 44 382 167 267 131 201 62 250 198 394 357 171 387 319 181 127 320 354 183 395 367 141 67 239 398 213 199 221 35 18 173 379 333 396 366 403 177 318 344 214 164 72 301 356 240 111 86 359 365 241 401 158 89 129 105 377 287 384 202 222 148 206 34 288 369 102 209 205 279 83 16 t 139 255 354 111 197 83 202 313 317 208 167 55 321 237 222 361 24 397 137 227 205 45 224 394 238 158 250 366 398 174 68 153 201 119 105 183 143 182 389 149 278 77 102 34 131 26 199 123 141 140 151 287 159 381 294 27 206 253 384 71 46 233 13 161 215 279 61 28 187 37 353 38 81 248 5 49 349 339 270 231 15 214 324 191 382 152 235 243 53 323 291 220 190 138 395 9 327 10 401 18 251 165 346 367 120 303 241 74 295 244 320 298 332 104 200 369 184 134 379 301 87 16 192 280 136 180 7 305 113 290 173 240 319 72 a YES a 13 16 18 24 27 33 34 35 44 50 53 56 61 62 63 65 67 71 72 77 78 81 83 86 87 88 89 90 92 94 96 97 102 103 105 110 111 119 122 127 129 131 135 137 141 147 148 149 150 155 158 160 161 164 167 169 171 173 177 181 183 190 191 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 233 236 239 240 241 248 250 257 266 267 270 272 279 287 288 298 301 312 314 317 318 319 320 321 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 13 16 18 24 27 33 34 35 44 50 53 56 61 62 63 65 67 71 72 77 78 81 83 86 87 88 89 90 92 94 96 97 100 102 103 105 110 111 119 122 127 129 131 135 137 141 147 148 149 150 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 233 236 239 240 241 248 250 257 266 267 270 272 279 287 288 298 301 312 314 317 318 319 320 321 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 13 16 18 24 27 33 34 35 44 50 53 56 61 62 63 65 67 71 72 77 78 81 83 86 87 88 89 90 92 94 95 96 97 100 102 103 105 110 111 119 122 127 129 131 135 137 141 147 148 149 150 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 233 236 239 240 241 248 257 266 267 270 272 279 287 288 298 301 312 314 317 318 319 320 321 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 13 16 18 24 27 33 34 35 44 50 53 56 61 62 63 65 67 71 72 77 78 81 83 86 87 88 89 90 92 94 95 96 97 102 103 105 110 111 119 122 127 129 131 135 137 141 147 148 149 150 155 158 160 161 164 167 169 171 173 177 181 183 190 191 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 233 236 239 240 241 248 257 266 267 270 272 279 287 288 298 301 312 314 317 318 319 320 321 333 342 344 347 349 354 356 357 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 13 16 18 24 27 33 34 35 44 50 53 56 61 62 63 65 67 71 72 77 78 81 83 86 87 88 89 90 92 94 95 96 97 102 103 105 110 111 119 122 127 129 131 135 137 141 147 148 149 150 155 158 160 161 164 167 169 171 173 177 181 183 190 191 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 227 233 236 239 240 241 248 257 266 267 270 272 279 287 288 298 301 312 314 317 318 319 320 321 333 342 344 347 349 354 356 359 360 364 365 366 367 369 376 377 379 382 383 384 387 388 391 394 395 396 398 401 402 403 a 13 16 18 24 27 33 34 35 44 50 53 56 61 62 63 65 67 71 72 77 78 81 83 86 87 88 89 90 92 94 95 96 97 102 103 105 110 111 119 122 127 129 131 135 137 141 148 149 150 155 158 160 161 164 167 169 171 173 177 181 183 190 191 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 227 233 236 239 240 241 248 257 266 267 270 272 279 287 288 298 301 312 314 317 318 319 320 321 333 342 344 347 349 354 356 359 360 364 365 366 367 369 376 377 379 382 383 384 386 387 388 391 394 395 396 398 401 402 403 a 10 13 16 18 24 27 33 35 44 50 53 56 61 62 63 65 67 71 72 77 78 81 83 86 87 88 89 90 92 94 95 96 97 102 103 105 110 111 119 122 127 129 131 135 137 141 148 149 150 155 158 160 161 164 167 169 171 173 177 181 183 190 191 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 227 233 236 239 240 241 248 257 266 267 270 272 279 287 288 298 301 312 314 317 318 319 320 321 333 342 344 347 349 354 356 359 360 364 365 366 367 369 376 377 379 382 383 384 386 387 388 391 394 395 396 398 401 402 403 a 10 13 16 18 24 27 33 35 44 50 53 56 61 62 63 65 67 71 72 77 78 81 83 86 87 88 89 90 92 94 95 96 97 100 102 103 105 110 111 119 122 127 129 131 135 137 141 148 149 150 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 227 233 236 239 240 241 248 257 266 267 270 272 279 287 288 298 301 312 314 317 318 319 320 321 333 342 344 347 349 354 356 359 360 364 365 366 367 369 376 377 379 382 383 384 386 387 388 391 394 395 396 398 401 402 403 a 10 13 16 18 24 27 33 35 44 50 53 55 61 62 63 65 67 71 72 77 78 81 83 86 87 88 89 90 92 94 95 96 97 100 102 103 105 110 111 119 122 127 129 131 135 137 141 148 149 150 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 227 233 236 239 240 241 248 257 266 267 270 272 279 287 288 298 301 312 314 317 318 319 320 321 333 342 344 347 349 354 356 359 360 364 365 366 367 369 376 377 379 382 383 384 386 387 388 391 394 395 396 398 401 402 403 a 10 13 16 18 24 27 33 35 44 50 53 55 61 62 63 65 67 71 72 77 78 81 83 86 87 88 89 90 92 94 95 96 97 100 102 103 105 110 111 119 122 127 129 131 135 137 141 145 148 149 150 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 227 233 236 239 240 241 248 257 266 267 270 272 279 288 298 301 312 314 317 318 319 320 321 333 342 344 347 349 354 356 359 360 364 365 366 367 369 376 377 379 382 383 384 386 387 388 391 394 395 396 398 401 402 403 a 10 13 16 18 24 27 33 35 44 50 53 55 61 62 63 65 67 71 72 77 78 81 83 86 87 88 89 90 92 94 95 96 97 100 102 103 105 110 111 119 122 127 129 131 135 137 141 145 148 149 150 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 213 214 217 218 221 222 226 227 233 236 239 240 241 248 255 257 266 267 270 272 279 288 298 301 312 314 317 318 319 320 321 333 342 344 347 349 354 356 359 360 364 365 366 367 369 376 377 379 382 383 384 386 387 388 391 394 395 396 398 401 402 403 a 10 13 16 18 24 27 33 35 42 44 50 53 55 61 62 63 65 67 71 72 77 78 81 83 86 87 88 89 90 92 94 95 96 97 100 102 103 105 110 111 119 122 127 129 131 135 137 141 145 148 149 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 213 214 217 218 221 222 226 227 233 236 239 240 241 248 255 257 266 267 270 272 279 288 298 301 312 314 317 318 319 320 321 333 342 344 347 349 354 356 359 360 364 365 366 367 369 376 377 379 382 383 384 386 387 388 391 394 395 396 398 401 402 403 a 10 13 16 18 24 27 33 35 42 44 50 53 55 61 62 63 65 67 71 72 77 78 81 83 86 87 88 89 90 92 94 95 96 97 100 102 103 105 110 111 119 122 127 129 131 133 135 137 141 145 148 149 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 213 214 217 218 221 222 226 227 233 236 239 240 241 248 255 257 266 267 270 272 279 288 298 301 312 314 317 318 319 321 333 342 344 347 349 354 356 359 360 364 365 366 367 369 376 377 379 382 383 384 386 387 388 391 394 395 396 398 401 402 403 a 10 13 16 18 24 27 33 35 42 44 50 53 55 61 62 63 65 67 71 72 77 78 81 83 86 87 88 89 90 92 94 95 96 97 100 102 103 105 110 111 119 122 127 129 131 133 135 137 141 145 148 149 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 213 214 218 220 221 222 226 227 233 236 239 240 241 248 255 257 266 267 270 272 279 288 298 301 312 314 317 318 319 321 333 342 344 347 349 354 356 359 360 364 365 366 367 369 376 377 379 382 383 384 386 387 388 391 394 395 396 398 401 402 403 a 10 13 16 18 24 27 33 35 42 44 50 53 55 61 62 63 65 67 71 72 77 78 81 83 86 87 88 89 90 92 94 95 96 97 100 102 103 105 110 111 119 122 127 129 131 133 135 137 141 145 148 149 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 213 214 218 220 221 222 226 227 233 236 239 240 241 248 255 257 266 267 270 272 279 288 298 301 312 314 317 318 319 321 333 342 344 347 349 353 354 356 359 360 364 366 367 369 376 377 379 382 383 384 386 387 388 391 394 395 396 398 401 402 403 a 10 13 16 18 24 27 33 35 42 44 50 53 55 61 62 63 65 67 71 72 77 78 81 82 83 86 87 88 89 90 92 94 95 96 97 100 102 103 105 110 111 119 122 127 129 131 133 135 137 141 145 148 149 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 213 214 218 220 221 222 226 227 233 236 239 240 241 248 255 257 266 267 270 272 279 288 298 301 312 314 317 318 319 321 333 342 347 349 353 354 356 359 360 364 366 367 369 376 377 379 382 383 384 386 387 388 391 394 395 396 398 401 402 403 a 10 13 16 18 24 27 33 35 42 44 50 53 55 61 62 63 65 67 71 72 77 78 81 82 83 86 87 88 89 90 92 94 95 96 97 100 102 103 105 110 111 119 122 127 129 131 133 135 137 141 145 148 149 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 213 214 218 220 221 222 226 227 233 236 239 240 241 248 255 257 266 267 270 272 279 287 288 298 301 312 314 317 318 319 321 333 342 347 349 353 354 356 359 360 364 366 367 376 377 379 382 383 384 386 387 388 391 394 395 396 398 401 402 403 a 10 13 16 18 24 27 33 42 44 50 53 55 61 62 63 65 67 71 72 77 78 81 82 83 86 87 88 89 90 92 94 95 96 97 100 102 103 105 110 111 119 122 127 129 131 133 135 137 141 145 148 149 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 211 213 214 218 220 221 222 226 227 233 236 239 240 241 248 255 257 266 267 270 272 279 287 288 298 301 312 314 317 318 319 321 333 342 347 349 353 354 356 359 360 364 366 367 376 377 379 382 383 384 386 387 388 391 394 395 396 398 401 402 403 a 10 13 16 18 24 27 33 42 44 50 53 55 61 62 63 65 67 71 72 77 78 81 82 83 86 87 88 89 90 92 94 95 96 97 100 102 103 105 110 111 119 122 127 129 131 133 135 137 141 145 148 149 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 211 214 218 220 221 222 226 227 233 236 239 240 241 248 255 257 266 267 270 272 279 287 288 298 301 312 314 317 318 319 321 333 342 347 349 353 354 356 359 360 364 366 367 369 376 377 379 382 383 384 386 387 388 391 394 395 396 398 401 402 403 a 10 13 16 18 24 27 33 42 44 50 53 55 61 62 63 65 67 71 72 77 78 81 82 83 86 87 88 89 90 92 94 95 96 97 100 102 103 105 110 111 119 122 127 129 131 133 135 137 141 145 148 149 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 211 214 218 220 221 222 226 227 233 236 239 240 241 248 255 257 266 267 270 272 276 279 287 288 298 301 312 314 317 318 319 321 333 342 347 349 353 354 356 359 364 366 367 369 376 377 379 382 383 384 386 387 388 391 394 395 396 398 401 402 403 a 10 13 16 18 24 27 33 42 44 50 53 55 61 62 63 65 67 71 72 77 78 81 82 83 86 87 88 89 90 92 94 95 96 97 100 102 103 105 110 111 119 122 127 129 131 133 135 136 137 141 145 148 149 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 211 214 218 220 221 222 226 227 233 236 239 240 241 248 255 257 266 267 270 272 276 279 287 288 298 301 312 314 317 318 319 321 333 342 347 349 353 354 356 359 364 366 367 369 376 377 379 382 383 384 386 387 388 391 395 396 398 401 402 403 a 10 13 16 18 24 27 33 42 44 50 53 55 61 62 63 65 67 71 72 77 78 81 82 83 86 87 88 89 90 92 94 95 96 97 100 102 103 105 110 111 119 122 127 129 131 133 135 136 137 141 145 148 149 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 211 214 218 220 221 222 226 227 233 236 239 240 241 248 255 257 266 267 270 272 276 279 287 288 298 312 314 317 318 319 321 333 342 347 349 353 354 356 359 360 364 366 367 369 376 377 379 382 383 384 386 387 388 391 395 396 398 401 402 403 a 10 13 16 18 24 27 33 42 44 50 53 55 61 62 63 65 67 71 72 77 78 81 82 83 86 87 88 89 90 92 95 96 97 100 102 103 105 110 111 119 122 127 129 131 133 135 136 137 141 145 148 149 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 211 214 218 220 221 222 226 227 233 236 239 240 241 248 255 257 259 266 267 270 272 276 279 287 288 298 312 314 317 318 319 321 333 342 347 349 353 354 356 359 360 364 366 367 369 376 377 379 382 383 384 386 387 388 391 395 396 398 401 402 403 a 10 13 16 18 24 27 33 42 44 50 53 55 61 62 63 65 67 71 72 77 78 81 82 83 86 87 88 89 90 92 95 96 97 100 102 103 105 110 111 119 122 127 129 131 133 135 136 137 141 145 148 149 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 211 213 214 218 220 221 222 226 227 233 236 239 240 241 248 255 257 259 266 267 270 272 276 279 288 298 312 314 317 318 319 321 333 342 347 349 353 354 356 359 360 364 366 367 369 376 377 379 382 383 384 386 387 388 391 395 396 398 401 402 403 a 10 13 16 18 24 27 33 42 44 50 53 55 61 62 63 65 67 71 72 77 78 81 82 83 86 87 88 89 90 92 95 96 97 100 102 103 105 110 111 122 127 129 131 133 135 136 137 141 145 148 149 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 211 213 214 218 220 221 222 226 227 233 236 239 240 241 248 255 257 259 266 267 270 272 276 277 279 288 298 312 314 317 318 319 321 333 342 347 349 353 354 356 359 360 364 366 367 369 376 377 379 382 383 384 386 387 388 391 395 396 398 401 402 403 a 10 13 16 18 24 27 33 42 44 50 53 55 61 62 63 65 67 71 72 77 78 81 82 83 86 87 88 89 90 92 95 96 97 100 102 103 105 110 111 122 127 129 131 133 135 136 137 141 145 148 149 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 211 213 214 218 220 221 222 226 227 233 236 238 239 240 241 248 255 257 259 266 267 270 272 276 277 279 288 298 312 317 318 319 321 333 342 347 349 353 354 356 359 360 364 366 367 369 376 377 379 382 383 384 386 387 388 391 395 396 398 401 402 403 a 10 13 16 18 24 27 33 42 44 50 53 55 61 62 63 65 67 71 72 77 81 82 83 86 87 88 89 90 92 95 96 97 100 102 103 105 110 111 122 127 129 131 133 135 136 137 141 145 148 149 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 211 213 214 218 220 221 222 226 227 233 236 238 239 240 241 248 255 257 259 266 267 270 272 276 277 279 288 298 301 312 317 318 319 321 333 342 347 349 353 354 356 359 360 364 366 367 369 376 377 379 382 383 384 386 387 388 391 395 396 398 401 402 403 a 10 13 16 18 24 27 33 42 44 50 53 55 61 62 63 65 67 71 72 77 81 82 83 86 87 88 89 90 92 95 96 97 100 102 103 105 110 111 122 127 129 131 133 135 136 137 141 145 148 149 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 211 213 214 218 220 221 222 226 227 233 236 238 239 240 241 248 255 257 259 266 267 270 272 276 277 279 288 298 301 312 317 318 319 321 333 342 347 349 353 354 356 359 360 364 366 367 369 376 377 379 382 383 384 386 388 391 394 395 396 398 401 402 403 a 10 13 16 18 24 27 33 42 44 50 53 55 61 62 63 65 67 71 72 77 81 82 83 86 87 88 89 90 92 95 96 97 100 102 103 105 110 111 122 127 129 131 133 136 137 141 145 148 149 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 211 213 214 218 220 221 222 226 227 233 236 238 239 240 241 245 248 255 257 259 266 267 270 272 276 277 279 288 298 301 312 317 318 319 321 333 342 347 349 353 354 356 359 360 364 366 367 369 376 377 379 382 383 384 386 388 391 394 395 396 398 401 402 403 a 10 13 16 18 24 27 33 42 44 50 53 55 61 62 63 65 67 71 72 77 81 82 83 86 87 88 89 90 92 95 96 97 100 102 103 105 110 111 122 127 129 131 133 136 137 141 145 148 149 153 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 211 213 214 218 220 221 222 226 227 233 236 238 239 240 241 245 248 255 257 259 266 270 272 276 277 279 288 298 301 312 317 318 319 321 333 342 347 349 353 354 356 359 360 364 366 367 369 376 377 379 382 383 384 386 388 391 394 395 396 398 401 402 403 a 10 13 16 18 24 27 33 42 44 50 53 55 61 62 63 65 67 71 72 77 81 82 83 86 87 88 89 90 92 95 96 97 100 102 103 105 110 111 122 127 129 131 133 136 137 141 145 148 149 153 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 213 214 218 220 221 222 226 227 233 236 238 239 240 241 245 248 255 257 259 266 270 272 276 277 279 288 298 301 312 317 318 319 321 333 342 347 349 353 354 356 359 360 364 366 367 369 376 377 379 382 383 384 386 387 388 391 394 395 396 398 401 402 403 a 10 13 16 18 24 27 33 42 44 50 53 55 61 62 63 65 67 71 72 77 81 82 83 86 87 88 89 90 92 95 96 97 100 102 103 105 110 111 122 127 129 131 136 137 141 145 148 149 153 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 213 214 218 220 221 222 226 227 233 236 238 239 240 241 245 248 255 257 259 266 270 272 276 277 279 288 298 301 312 317 318 319 320 321 333 342 347 349 353 354 356 359 360 364 366 367 369 376 377 379 382 383 384 386 387 388 391 394 395 396 398 401 402 403 a 10 13 16 18 24 27 32 33 42 44 50 53 55 61 62 63 65 67 71 72 77 81 82 83 86 87 88 89 90 92 95 96 97 100 102 103 105 110 111 122 127 129 131 136 137 141 145 148 149 153 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 213 214 218 220 221 222 226 227 233 236 238 239 240 241 245 248 255 257 259 266 270 272 276 277 279 288 298 301 312 317 318 319 320 321 333 342 347 349 353 354 356 359 360 364 366 367 369 376 377 379 382 383 384 386 387 388 391 394 395 396 398 401 403 a 10 13 16 18 24 27 32 33 42 44 50 53 55 61 62 63 65 67 71 72 77 81 82 83 86 87 88 89 90 92 94 95 96 97 100 102 103 105 110 111 122 127 129 131 136 137 141 145 148 149 153 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 213 214 218 220 221 222 226 227 233 236 238 239 240 241 245 248 255 257 266 270 272 276 277 279 288 298 301 312 317 318 319 320 321 333 342 347 349 353 354 356 359 360 364 366 367 369 376 377 379 382 383 384 386 387 388 391 394 395 396 398 401 403 a 10 13 16 18 24 27 32 33 42 44 50 53 55 61 62 63 65 67 71 72 77 81 82 83 86 87 88 89 90 92 94 96 97 100 102 103 105 110 111 122 127 129 131 136 137 141 145 148 149 153 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 213 214 218 220 221 222 226 227 233 236 238 239 240 241 245 248 250 255 257 266 270 272 276 277 279 288 298 301 312 317 318 319 320 321 333 342 347 349 353 354 356 359 360 364 366 367 369 376 377 379 382 383 384 386 387 388 391 394 395 396 398 401 403 a 10 13 16 18 24 27 32 33 42 44 50 53 55 61 62 63 65 67 71 72 77 81 82 83 86 87 88 89 90 92 94 96 97 100 102 103 105 110 111 122 127 129 131 136 137 141 145 148 149 153 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 209 213 214 218 220 221 222 226 227 233 236 238 239 240 241 245 248 250 257 266 270 272 276 277 279 288 298 301 312 317 318 319 320 321 333 342 347 349 353 354 356 359 360 364 366 367 369 376 377 379 382 383 384 386 387 388 391 394 395 396 398 401 403 a 10 13 15 16 18 24 27 32 33 42 44 50 53 55 61 62 63 67 71 72 77 81 82 83 86 87 88 89 90 92 94 96 97 100 102 103 105 110 111 122 127 129 131 136 137 141 145 148 149 153 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 209 213 214 218 220 221 222 226 227 233 236 238 239 240 241 245 248 250 257 266 270 272 276 277 279 288 298 301 312 317 318 319 320 321 333 342 347 349 353 354 356 359 360 364 366 367 369 376 377 379 382 383 384 386 387 388 391 394 395 396 398 401 403 a 10 13 15 16 18 24 27 32 33 42 44 50 53 55 61 62 63 67 71 72 77 81 82 83 86 87 88 89 90 92 94 96 97 100 102 103 105 110 111 113 122 127 129 131 136 137 141 145 148 149 153 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 209 213 214 218 220 221 222 226 227 233 236 238 239 240 241 245 248 250 257 266 270 272 276 277 279 288 298 301 312 317 318 319 320 321 333 342 347 349 353 354 356 359 360 364 366 367 369 376 377 379 382 383 384 386 387 388 391 394 395 396 398 401 a 10 13 15 16 18 24 27 32 33 42 44 50 53 55 61 62 63 67 71 72 77 81 82 83 86 87 88 89 90 92 94 96 97 100 102 103 105 110 111 113 122 127 129 131 136 137 141 145 148 149 153 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 209 213 214 218 220 221 222 226 227 233 236 238 239 240 241 245 248 250 257 266 270 272 276 277 279 288 298 301 312 317 318 319 320 321 333 342 349 353 354 356 359 360 364 366 367 369 376 377 379 382 383 384 386 387 388 391 394 395 396 398 401 402 a 10 13 15 16 18 24 27 32 33 42 44 50 53 55 61 62 63 67 71 72 77 78 81 82 83 86 87 88 89 90 92 94 96 97 100 102 103 105 110 111 113 122 127 129 131 136 137 141 145 148 149 153 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 209 213 214 218 220 221 222 226 227 233 236 238 239 240 241 245 248 250 257 266 270 272 276 277 279 288 298 301 312 317 318 319 320 321 333 342 349 353 354 356 359 360 364 366 367 369 377 379 382 383 384 386 387 388 391 394 395 396 398 401 402 a 10 13 15 16 18 24 27 32 33 42 44 50 53 55 61 62 63 67 71 72 77 78 81 82 83 86 87 88 89 90 92 94 96 97 100 102 103 105 110 111 113 122 127 129 131 136 137 141 145 148 149 153 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 209 213 214 218 220 221 222 226 227 233 236 238 239 240 241 245 248 250 257 266 270 272 276 277 279 288 298 301 312 317 318 319 320 321 333 342 349 353 354 356 359 360 364 366 367 369 377 379 382 383 384 386 387 391 394 395 396 398 401 402 403 a 10 13 15 16 18 24 27 32 33 42 44 50 53 55 61 62 63 67 71 72 77 78 81 82 83 86 87 88 89 90 92 94 96 97 100 102 103 105 110 111 113 122 127 129 131 136 137 141 145 148 149 153 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 213 214 218 220 221 222 226 227 233 236 238 239 240 241 245 248 250 255 257 266 270 272 276 277 279 288 298 301 312 317 318 319 320 321 333 342 349 353 354 356 359 360 364 366 367 369 377 379 382 383 384 386 387 391 394 395 396 398 401 402 403 a 10 13 15 16 18 24 27 32 33 42 44 50 53 55 61 62 63 67 71 72 77 78 81 82 83 86 87 88 89 90 92 94 96 97 100 102 103 105 110 111 113 122 127 129 131 136 137 141 145 148 149 153 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 213 214 218 220 221 222 226 227 233 236 238 239 240 241 245 248 250 255 257 266 270 272 276 277 279 288 298 301 312 317 318 319 320 321 323 333 342 349 353 354 356 359 360 364 366 367 369 377 379 382 383 384 386 387 391 394 395 396 398 401 402 a 10 13 16 18 24 27 32 33 42 44 50 53 55 61 62 63 65 67 71 72 77 78 81 82 83 86 87 88 89 90 92 94 96 97 100 102 103 105 110 111 113 122 127 129 131 136 137 141 145 148 149 153 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 213 214 218 220 221 222 226 227 233 236 238 239 240 241 245 248 250 255 257 266 270 272 276 277 279 288 298 301 312 317 318 319 320 321 323 333 342 349 353 354 356 359 360 364 366 367 369 377 379 382 383 384 386 387 391 394 395 396 398 401 402 a 10 13 16 18 24 27 32 33 42 44 50 53 55 61 62 63 65 67 71 72 77 78 81 82 83 86 87 88 89 90 92 94 96 97 100 102 103 105 110 111 113 122 127 129 131 136 137 141 145 148 149 153 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 213 214 218 220 221 222 226 227 233 236 238 239 240 241 245 248 250 255 257 266 270 272 276 277 279 288 298 301 312 317 318 319 320 321 323 333 342 349 354 356 359 360 364 365 366 367 369 377 379 382 383 384 386 387 391 394 395 396 398 401 402 a 10 13 16 18 24 27 32 33 42 44 50 53 55 61 62 63 65 67 71 72 77 78 81 82 83 86 87 88 89 90 92 94 96 97 100 102 103 105 110 111 113 122 127 129 131 136 137 141 145 148 149 153 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 209 213 214 218 220 221 222 226 227 233 236 238 239 240 241 245 248 250 257 266 270 272 276 277 279 288 298 301 312 317 318 319 320 321 323 333 342 349 354 356 359 360 364 365 366 367 369 377 379 382 383 384 386 387 391 394 395 396 398 401 402 a 10 13 16 18 24 27 32 33 42 44 50 53 55 61 63 65 67 71 72 77 78 81 82 83 86 87 88 89 90 92 94 96 97 100 102 103 105 110 111 113 122 127 129 131 136 137 141 145 148 149 153 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 209 213 214 218 220 221 222 226 227 233 236 238 239 240 241 245 248 250 257 266 270 272 276 277 279 288 290 298 301 312 317 318 319 320 321 323 333 342 349 354 356 359 360 364 365 366 367 369 377 379 382 383 384 386 387 391 394 395 396 398 401 402 a 10 13 16 18 24 27 32 33 42 44 50 53 55 61 63 65 67 71 72 77 78 81 82 83 86 87 88 89 90 92 94 96 97 100 102 103 105 110 111 113 122 127 129 131 136 137 141 145 148 149 153 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 227 233 236 238 239 240 241 245 248 250 257 266 270 272 276 277 279 288 290 298 301 312 317 318 319 320 321 323 333 342 349 354 356 359 360 364 365 366 367 369 377 379 382 383 384 386 387 391 394 395 396 398 401 402 a 10 13 16 18 24 27 32 33 44 50 53 55 61 63 65 67 71 72 77 78 81 82 83 86 87 88 89 90 92 94 96 97 100 102 103 105 110 111 113 122 127 129 131 136 137 141 145 148 149 150 153 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 227 233 236 238 239 240 241 245 248 250 257 266 270 272 276 277 279 288 290 298 301 312 317 318 319 320 321 323 333 342 349 354 356 359 360 364 365 366 367 369 377 379 382 383 384 386 387 391 394 395 396 398 401 402 a 10 13 16 18 24 27 32 33 44 50 53 55 61 63 65 67 71 72 77 78 81 82 83 86 87 88 89 90 92 94 96 97 100 102 103 105 110 111 113 122 127 129 131 136 137 141 145 148 149 150 153 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 227 233 236 238 239 240 241 245 248 250 257 266 270 272 276 277 279 288 290 298 301 312 317 318 319 320 321 323 333 342 347 349 354 356 359 360 364 365 366 367 369 377 379 382 383 384 386 387 391 394 395 396 398 401 a 10 13 16 18 24 27 32 33 44 50 53 55 61 63 65 67 71 72 77 78 81 82 83 86 87 88 89 90 92 94 96 100 102 103 105 110 111 113 122 127 129 131 136 137 141 145 148 149 150 153 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 209 213 214 217 218 221 222 226 227 233 236 238 239 240 241 245 248 250 257 266 270 272 276 277 279 288 290 298 301 312 317 318 319 320 321 323 333 342 347 349 354 356 359 360 364 365 366 367 369 377 379 382 383 384 386 387 391 394 395 396 398 401 403 a 10 13 16 18 24 27 32 33 44 50 53 55 61 62 63 65 67 71 72 77 78 81 82 83 86 87 88 89 90 92 94 96 100 102 103 105 110 111 113 122 127 129 131 136 137 141 145 148 149 150 153 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 213 214 217 218 221 222 226 227 233 236 238 239 240 241 245 248 250 257 266 270 272 276 277 279 288 290 298 301 312 317 318 319 320 321 323 333 342 347 349 354 356 359 360 364 365 366 367 369 377 379 382 383 384 386 387 391 394 395 396 398 401 403 a 10 13 16 18 24 27 32 33 44 50 53 55 61 62 63 65 67 71 72 77 78 81 82 83 86 87 88 89 90 92 94 96 100 102 103 105 110 111 113 122 127 129 131 136 137 141 145 148 149 150 153 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 213 214 217 218 221 222 226 227 233 236 238 239 240 241 245 248 250 255 257 266 270 272 276 277 279 288 290 298 301 312 317 318 319 320 321 323 333 342 347 349 354 356 359 360 364 365 366 367 369 377 379 382 383 384 386 387 391 394 395 396 398 403 a 10 13 16 18 24 27 32 33 44 50 53 55 61 62 63 65 67 71 72 77 78 81 82 83 86 87 88 89 90 92 94 96 100 102 103 105 110 111 113 122 127 129 131 136 137 141 145 148 149 150 153 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 213 214 217 218 221 222 226 227 233 236 238 239 240 241 245 248 250 255 257 266 270 272 276 277 279 288 290 298 301 312 317 318 319 320 321 323 327 333 342 347 349 354 356 359 360 364 366 367 369 377 379 382 383 384 386 387 391 394 395 396 398 403 a 10 13 16 18 24 27 32 33 44 50 53 55 61 62 63 65 67 71 72 77 78 81 82 83 86 87 88 89 90 92 94 96 97 100 102 103 105 110 111 113 122 127 129 131 136 137 141 145 148 149 150 153 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 213 214 217 218 221 222 226 227 233 236 238 239 240 241 245 248 250 255 257 266 270 272 276 277 279 288 290 298 301 312 317 318 319 320 321 323 327 333 342 347 349 354 356 359 360 364 366 367 369 377 379 382 383 384 386 387 391 394 395 396 398 a 10 13 16 18 24 27 32 33 44 50 53 55 61 62 63 65 67 71 72 77 78 81 82 83 86 87 88 89 90 92 94 96 97 100 102 103 105 110 111 113 122 127 129 131 136 137 141 148 149 150 153 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 213 214 217 218 221 222 226 227 233 236 238 239 240 241 245 248 250 255 257 266 270 272 276 277 279 288 290 298 301 312 317 318 319 320 321 323 327 333 342 347 349 354 356 359 360 364 365 366 367 369 377 379 382 383 384 386 387 391 394 395 396 398 a 10 13 16 18 24 27 32 33 44 50 53 55 61 62 63 65 67 71 72 77 78 81 82 83 86 87 88 89 90 92 94 96 97 100 102 103 105 110 111 113 122 127 129 131 136 137 141 148 149 150 153 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 211 213 214 217 218 221 222 226 227 233 236 238 239 240 241 245 248 250 255 257 266 270 272 276 277 279 288 290 298 301 312 317 318 319 320 321 323 327 333 342 347 349 354 356 359 360 364 365 366 367 369 377 379 382 383 384 386 387 391 394 395 398 a 10 13 16 18 24 27 32 33 44 50 53 55 61 62 63 65 67 71 72 77 78 81 82 83 86 87 88 89 90 92 94 96 97 100 102 103 105 110 111 113 122 127 129 131 136 137 141 148 149 150 153 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 211 213 214 217 218 221 222 226 227 233 236 238 239 240 241 245 248 250 255 257 266 270 272 276 277 279 288 290 298 301 312 317 318 319 320 321 323 327 333 342 347 349 354 356 359 360 364 365 366 367 369 377 379 382 383 384 386 387 394 395 398 403 a 10 13 16 18 24 27 32 33 44 50 53 55 61 62 63 65 67 71 72 77 78 81 82 83 86 87 88 89 90 92 94 96 97 100 102 103 105 110 111 113 122 127 129 131 136 137 141 148 149 150 153 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 208 211 213 214 217 218 221 222 226 227 233 236 238 239 240 241 245 248 250 255 257 266 270 272 276 277 279 288 290 298 301 312 317 318 319 320 321 323 327 333 342 347 349 354 356 359 360 364 365 366 367 369 377 379 382 383 384 386 387 394 398 402 403 a 10 13 16 18 24 27 32 33 44 50 53 55 61 62 63 65 67 71 72 77 78 81 82 83 86 87 88 89 90 92 94 96 97 100 102 103 105 110 111 113 122 127 129 131 136 137 141 148 149 150 153 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 207 208 211 213 214 217 218 221 222 226 227 233 236 238 239 240 241 245 248 250 255 257 266 272 276 277 279 288 290 298 301 312 317 318 319 320 321 323 327 333 342 347 349 354 356 359 360 364 365 366 367 369 377 379 382 383 384 386 387 394 398 402 403 a 10 13 16 18 24 27 32 33 44 50 53 55 61 62 63 65 67 71 72 77 78 81 82 83 86 87 88 89 90 92 94 96 97 100 102 103 105 110 111 113 122 127 129 131 136 137 141 148 149 150 153 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 207 208 211 213 214 217 218 221 222 226 227 233 236 238 239 240 241 245 248 250 255 257 266 272 276 277 279 282 288 290 298 301 312 317 318 319 320 321 323 327 333 342 347 349 354 356 359 360 364 365 366 367 369 377 379 382 383 384 386 387 394 398 402 a 10 13 16 18 24 27 32 33 44 50 53 55 61 62 63 65 67 71 72 77 78 81 82 83 86 87 88 89 90 92 94 96 97 100 102 103 105 110 111 113 122 127 129 131 136 137 141 148 149 150 153 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 207 208 211 213 214 217 218 221 222 226 227 233 236 238 239 240 241 245 248 250 255 257 266 272 276 277 279 282 288 290 298 301 312 317 318 319 320 321 323 327 333 342 347 349 354 356 359 360 364 365 366 367 369 377 379 382 383 384 386 387 391 394 398 a 10 13 16 18 24 27 32 33 44 50 53 55 61 62 63 65 67 71 72 77 78 81 82 83 86 87 88 89 90 92 94 96 97 100 102 103 105 110 111 113 122 127 129 131 136 137 141 148 149 150 153 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 207 208 211 213 214 217 218 221 222 226 227 233 236 238 239 240 241 245 248 250 255 257 266 272 276 277 279 282 288 290 298 301 312 317 318 319 320 321 323 327 333 339 342 347 349 354 356 359 360 365 366 367 369 377 379 382 383 384 386 387 391 394 398 a 10 13 16 18 24 27 32 33 44 50 53 55 61 62 63 65 67 71 72 77 78 81 82 83 86 87 88 89 90 92 94 97 100 102 103 105 108 110 111 113 122 127 129 131 136 137 141 148 149 150 153 155 158 160 161 164 167 169 171 173 177 181 183 190 198 199 200 201 202 205 206 207 208 211 213 214 217 218 221 222 226 227 233 236 238 239 240 241 245 248 250 255 257 266 272 276 277 279 282 288 290 298 301 312 317 318 319 320 321 323 327 333 339 342 347 349 354 356 359 360 365 366 367 369 377 379 382 383 384 386 387 391 394 398 a 10 13 16 18 24 27 32 33 44 50 53 55 61 62 63 65 67 71 72 77 78 81 82 83 87 88 89 90 92 94 97 100 102 103 105 108 110 111 113 122 127 129 131 136 137 141 148 149 150 153 155 158 160 161 164 167 169 171 173 177 180 181 183 190 198 199 200 201 202 205 206 207 208 211 213 214 217 218 221 222 226 227 233 236 238 239 240 241 245 248 250 255 257 266 272 276 277 279 282 288 290 298 301 312 317 318 319 320 321 323 327 333 339 342 347 349 354 356 359 360 365 366 367 369 377 379 382 383 384 386 387 391 394 398 a 10 13 16 18 24 27 32 33 44 50 53 55 61 62 63 65 67 71 72 77 78 81 82 83 87 88 89 90 92 94 97 100 102 103 105 108 110 111 113 122 127 129 131 136 137 141 148 149 150 153 158 160 161 164 167 169 171 173 177 180 181 183 190 198 199 200 201 202 205 206 207 208 211 213 214 217 218 221 222 226 227 233 236 238 239 240 241 245 248 250 255 257 266 272 276 277 279 282 288 290 298 301 312 317 318 319 320 321 323 327 333 339 342 347 349 354 356 359 360 365 366 367 369 377 379 382 383 384 386 387 391 394 395 398 a 10 13 16 18 24 27 32 33 44 50 53 55 61 62 63 65 67 71 72 77 78 81 82 83 87 88 89 90 92 94 97 100 102 103 105 108 110 111 113 122 127 129 131 136 137 141 148 149 150 153 158 160 161 164 167 169 171 173 177 180 181 183 190 198 199 200 201 202 205 206 207 208 211 213 214 215 217 218 221 222 226 227 233 236 238 239 240 241 245 248 250 255 257 266 272 276 277 279 282 288 290 298 301 312 317 319 320 321 323 327 333 339 342 347 349 354 356 359 360 365 366 367 369 377 379 382 383 384 386 387 391 394 395 398 a 10 13 16 18 24 27 32 33 44 50 53 55 61 62 63 65 67 68 71 72 77 78 81 82 83 87 88 89 90 92 94 97 100 102 103 105 108 110 111 113 122 127 129 131 136 137 141 148 149 150 153 158 160 161 164 167 169 173 177 180 181 183 190 198 199 200 201 202 205 206 207 208 211 213 214 215 217 218 221 222 226 227 233 236 238 239 240 241 245 248 250 255 257 266 272 276 277 279 282 288 290 298 301 312 317 319 320 321 323 327 333 339 342 347 349 354 356 359 360 365 366 367 369 377 379 382 383 384 386 387 391 394 395 398 a 10 13 16 18 24 27 32 33 44 50 53 55 61 62 63 65 67 68 71 72 77 78 81 82 83 87 88 89 90 92 94 97 100 102 103 105 108 110 111 113 122 127 129 131 136 137 141 148 149 150 153 158 160 161 164 167 169 173 177 180 181 183 190 198 199 200 201 202 205 206 207 208 211 213 214 215 217 218 222 226 227 233 236 238 239 240 241 245 248 250 255 257 266 272 276 277 279 282 288 290 298 301 312 317 319 320 321 323 327 333 339 342 347 349 354 356 359 360 365 366 367 369 377 379 382 383 384 386 387 391 394 395 397 398 a 10 13 16 18 24 27 32 33 44 50 53 55 61 62 63 65 67 68 71 72 77 78 81 82 83 87 88 89 90 92 94 97 100 102 103 105 108 110 111 113 119 122 127 129 131 136 137 141 148 149 150 153 158 160 161 164 167 169 173 177 180 181 183 190 198 199 200 201 202 205 206 207 208 211 213 214 215 217 218 222 226 227 233 236 238 239 240 241 245 248 250 255 257 266 272 276 279 282 288 290 298 301 312 317 319 320 321 323 327 333 339 342 347 349 354 356 359 360 365 366 367 369 377 379 382 383 384 386 387 391 394 395 397 398 a 10 13 16 18 24 27 32 33 44 50 53 55 61 62 63 65 67 68 71 72 77 78 81 82 83 87 88 89 90 92 94 97 100 102 103 105 108 110 111 113 119 122 127 129 131 136 137 141 148 149 150 153 158 160 161 164 167 169 173 177 180 181 183 190 198 199 200 201 202 205 206 207 208 211 213 214 215 217 218 222 226 227 233 236 238 239 240 241 245 248 250 255 257 266 272 279 282 288 290 291 298 301 312 317 319 320 321 323 327 333 339 342 347 349 354 356 359 360 365 366 367 369 377 379 382 383 384 386 387 391 394 395 397 398 a 10 13 16 18 24 26 27 32 33 44 50 53 55 61 62 63 65 67 68 71 72 77 78 81 82 83 87 88 89 90 92 94 97 100 102 103 105 108 110 111 113 119 122 127 129 131 136 137 141 148 149 150 153 158 160 161 164 167 169 173 177 180 181 183 190 198 199 200 201 202 205 206 207 208 211 213 214 215 217 218 222 226 227 233 236 238 239 240 241 245 248 250 255 257 266 272 279 282 288 290 291 298 301 312 317 319 320 321 323 327 333 339 342 347 349 354 356 360 365 366 367 369 377 379 382 383 384 386 387 391 394 395 397 398 a 9 10 13 16 18 24 26 27 32 33 44 50 53 55 61 62 63 65 67 68 71 72 77 78 81 82 83 87 88 89 90 92 94 97 100 102 103 105 108 110 111 113 119 122 127 129 131 136 137 141 148 149 150 153 158 160 161 164 167 169 173 177 180 183 190 198 199 200 201 202 205 206 207 208 211 213 214 215 217 218 222 226 227 233 236 238 239 240 241 245 248 250 255 257 266 272 279 282 288 290 291 298 301 312 317 319 320 321 323 327 333 339 342 347 349 354 356 360 365 366 367 369 377 379 382 383 384 386 387 391 394 395 397 398 a 9 10 13 16 18 24 26 27 32 33 44 50 53 55 61 62 63 65 67 68 71 72 77 78 81 82 83 87 88 89 90 92 94 97 100 102 103 105 108 110 111 113 119 122 127 129 131 136 137 141 143 148 149 150 153 158 160 161 164 167 169 173 177 180 183 190 198 199 200 201 202 205 206 207 208 211 213 214 215 218 222 226 227 233 236 238 239 240 241 245 248 250 255 257 266 272 279 282 288 290 291 298 301 312 317 319 320 321 323 327 333 339 342 347 349 354 356 360 365 366 367 369 377 379 382 383 384 386 387 391 394 395 397 398 a 9 10 13 16 18 24 26 27 32 33 44 49 50 53 55 61 62 63 65 67 68 71 72 77 78 81 82 83 87 88 89 90 92 94 97 100 102 103 105 108 110 111 113 119 122 127 129 131 136 137 141 143 148 149 150 153 158 160 161 164 167 169 173 177 180 183 190 198 199 200 201 202 205 206 207 208 211 213 214 215 218 222 227 233 236 238 239 240 241 245 248 250 255 257 266 272 279 282 288 290 291 298 301 312 317 319 320 321 323 327 333 339 342 347 349 354 356 360 365 366 367 369 377 379 382 383 384 386 387 391 394 395 397 398 a 9 10 13 16 18 24 26 27 32 33 44 49 50 53 55 61 62 63 65 67 68 71 72 77 78 81 82 83 87 88 89 92 94 97 100 102 103 105 108 110 111 113 119 122 127 129 131 136 137 141 143 148 149 150 153 158 160 161 164 167 169 173 177 180 183 190 197 198 199 200 201 202 205 206 207 208 211 213 214 215 218 222 227 233 236 238 239 240 241 245 248 250 255 257 266 272 279 282 288 290 291 298 301 312 317 319 320 321 323 327 333 339 342 347 349 354 356 360 365 366 367 369 377 379 382 383 384 386 387 391 394 395 397 398 a 9 10 13 16 18 24 26 27 32 33 44 49 50 53 55 61 62 63 65 67 68 71 72 77 78 81 82 83 87 88 89 92 94 97 100 102 103 105 108 110 111 113 119 122 127 129 131 136 137 141 143 148 149 150 152 153 158 160 161 164 167 169 173 177 180 183 190 197 198 199 200 201 202 205 206 207 208 211 213 214 215 218 222 227 233 236 238 239 240 241 245 248 250 255 257 266 272 279 282 288 290 291 298 301 312 317 319 320 321 323 327 333 339 342 347 349 354 360 365 366 367 369 377 379 382 383 384 386 387 391 394 395 397 398 a 9 10 13 16 18 24 26 27 32 33 44 49 50 53 55 61 62 63 65 67 68 71 72 77 78 81 82 83 87 88 89 92 94 97 100 102 103 105 108 110 111 113 119 122 127 129 131 136 137 141 143 148 149 150 152 153 158 160 161 164 167 169 173 177 180 183 190 197 198 199 200 201 202 205 206 207 208 211 213 214 215 218 220 222 227 233 236 238 239 240 241 245 248 250 255 257 266 272 279 282 288 290 291 298 301 312 317 319 320 321 323 327 333 339 342 347 349 354 360 366 367 369 377 379 382 383 384 386 387 391 394 395 397 398 a 9 10 13 16 18 24 26 27 32 33 44 49 50 53 55 61 62 63 65 67 68 71 72 77 78 81 82 83 87 88 89 92 94 97 100 102 103 105 108 110 111 113 119 122 127 129 131 136 137 141 143 148 149 150 152 153 158 160 161 164 167 169 173 177 180 183 190 197 198 199 200 201 202 205 206 208 211 213 214 215 218 220 222 227 233 236 238 239 240 241 245 248 250 255 257 266 270 272 279 282 288 290 291 298 301 312 317 319 320 321 323 327 333 339 342 347 349 354 360 366 367 369 377 379 382 383 384 386 387 391 394 395 397 398 a 9 10 13 16 18 24 26 27 32 33 44 49 50 53 55 61 62 63 65 67 68 71 72 77 78 81 82 83 87 88 89 92 94 97 100 102 103 105 108 110 111 113 119 122 127 129 131 136 137 141 143 148 149 150 152 153 158 159 160 161 164 167 169 173 177 180 183 190 197 198 199 200 201 202 205 206 208 211 213 214 215 218 220 222 227 233 236 238 239 240 241 245 248 250 255 257 266 270 272 279 282 288 290 291 298 301 317 319 320 321 323 327 333 339 342 347 349 354 360 366 367 369 377 379 382 383 384 386 387 391 394 395 397 398 a 9 10 13 16 18 24 26 27 32 33 44 49 50 53 55 61 62 63 65 67 68 71 72 77 78 81 82 83 87 88 89 92 94 97 100 102 103 105 108 110 111 113 119 122 127 129 131 136 137 141 143 148 149 150 152 153 158 159 160 161 164 167 169 173 180 183 190 197 198 199 200 201 202 205 206 208 211 213 214 215 218 220 222 227 233 236 238 239 240 241 245 248 250 255 257 266 270 272 279 282 288 290 291 298 301 303 317 319 320 321 323 327 333 339 342 347 349 354 360 366 367 369 377 379 382 383 384 386 387 391 394 395 397 398 a 9 10 13 16 18 24 26 27 32 33 44 49 50 53 55 61 62 63 67 68 71 72 77 78 81 82 83 87 88 89 92 94 97 100 102 103 105 108 110 111 113 119 122 127 129 131 136 137 141 143 148 149 150 152 153 158 159 160 161 164 167 169 173 180 183 190 197 198 199 200 201 202 205 206 208 211 213 214 215 218 220 222 227 233 236 238 239 240 241 245 248 250 255 257 266 270 272 279 282 288 290 291 298 301 303 313 317 319 320 321 323 327 333 339 342 347 349 354 360 366 367 369 377 379 382 383 384 386 387 391 394 395 397 398 a 9 10 13 15 16 18 24 26 27 32 33 44 49 50 53 55 61 62 63 67 68 71 72 77 78 81 82 83 87 88 89 92 94 97 100 102 103 105 108 110 111 113 119 122 127 129 131 136 137 141 143 148 149 150 152 153 158 159 160 161 164 167 169 173 180 183 190 197 198 199 200 201 202 205 206 208 211 213 214 215 220 222 227 233 236 238 239 240 241 245 248 250 255 257 266 270 272 279 282 288 290 291 298 301 303 313 317 319 320 321 323 327 333 339 342 347 349 354 360 366 367 369 377 379 382 383 384 386 387 391 394 395 397 398 a 9 10 13 15 16 18 24 26 27 32 33 44 49 50 53 55 61 62 63 67 68 71 72 77 78 81 82 83 87 88 89 92 94 97 100 102 103 105 108 110 111 113 119 120 122 127 129 131 136 137 141 143 148 149 150 152 153 158 159 160 161 164 167 169 173 180 183 190 197 198 199 200 201 202 205 206 208 211 213 214 215 220 222 227 233 236 238 239 240 241 245 248 250 255 257 266 270 272 279 282 288 290 291 298 301 303 313 317 319 320 321 323 327 339 342 347 349 354 360 366 367 369 377 379 382 383 384 386 387 391 394 395 397 398 a 9 10 13 15 16 18 24 26 27 32 33 44 49 50 53 55 61 62 63 68 71 72 77 78 81 82 83 87 88 89 92 94 97 100 102 103 105 108 110 111 113 119 120 122 127 129 131 136 137 141 143 148 149 150 151 152 153 158 159 160 161 164 167 169 173 180 183 190 197 198 199 200 201 202 205 206 208 211 213 214 215 220 222 227 233 236 238 239 240 241 245 248 250 255 257 266 270 272 279 282 288 290 291 298 301 303 313 317 319 320 321 323 327 339 342 347 349 354 360 366 367 369 377 379 382 383 384 386 387 391 394 395 397 398 a 9 10 13 15 16 18 24 26 27 32 33 44 49 50 53 55 61 62 63 68 71 72 77 78 81 82 83 87 88 89 92 94 97 100 102 103 105 108 110 111 113 119 120 122 127 129 131 136 137 141 143 148 149 150 151 152 153 158 159 161 164 167 169 173 180 183 187 190 197 198 199 200 201 202 205 206 208 211 213 214 215 220 222 227 233 236 238 239 240 241 245 248 250 255 257 266 270 272 279 282 288 290 291 298 301 303 313 317 319 320 321 323 327 339 342 347 349 354 360 366 367 369 377 379 382 383 384 386 387 391 394 395 397 398 a 9 10 13 15 16 18 24 26 27 32 33 44 49 50 53 55 61 62 63 68 71 72 77 78 81 82 83 87 88 89 92 94 97 100 102 103 105 108 110 111 113 119 120 127 129 131 136 137 141 143 148 149 150 151 152 153 158 159 161 164 167 169 173 180 182 183 187 190 197 198 199 200 201 202 205 206 208 211 213 214 215 220 222 227 233 236 238 239 240 241 245 248 250 255 257 266 270 272 279 282 288 290 291 298 301 303 313 317 319 320 321 323 327 339 342 347 349 354 360 366 367 369 377 379 382 383 384 386 387 391 394 395 397 398 a 9 10 13 15 16 18 24 26 27 32 33 44 49 50 53 55 61 62 63 68 71 72 77 78 81 82 83 87 88 89 92 94 97 100 102 103 105 108 110 111 113 119 120 127 129 131 136 137 141 143 148 149 150 151 152 153 158 159 161 164 167 169 173 180 182 183 187 190 197 198 199 200 201 202 205 206 208 211 213 214 215 220 222 227 233 236 238 239 240 241 245 248 250 255 257 266 270 272 279 282 288 290 291 298 301 303 305 313 317 319 320 321 323 327 339 347 349 354 360 366 367 369 377 379 382 383 384 386 387 391 394 395 397 398 a 9 10 13 15 16 18 24 26 27 32 33 44 49 50 53 55 61 62 63 68 71 72 77 78 81 82 83 87 88 89 92 94 97 100 102 103 105 108 110 111 113 119 120 127 129 131 136 137 138 141 143 148 149 150 151 152 153 158 159 161 164 167 169 173 180 182 183 187 190 197 198 199 200 201 202 205 206 208 211 213 214 215 220 222 227 233 236 238 239 240 241 248 250 255 257 266 270 272 279 282 288 290 291 298 301 303 305 313 317 319 320 321 323 327 339 347 349 354 360 366 367 369 377 379 382 383 384 386 387 391 394 395 397 398 a 9 10 13 15 16 18 24 26 27 32 33 44 49 50 53 55 61 62 63 68 71 72 77 78 81 82 83 87 88 89 92 94 97 100 102 103 104 105 108 110 111 113 119 120 127 129 131 136 137 138 141 143 148 149 150 151 152 153 158 159 161 164 167 169 173 180 182 183 187 190 197 198 199 200 201 202 205 206 208 211 213 214 215 220 222 227 233 236 238 239 240 241 248 250 255 257 266 270 279 282 288 290 291 298 301 303 305 313 317 319 320 321 323 327 339 347 349 354 360 366 367 369 377 379 382 383 384 386 387 391 394 395 397 398 a 9 10 13 15 16 18 24 26 27 32 33 44 49 50 53 55 61 62 63 68 71 72 77 78 81 82 83 87 88 89 92 94 97 100 102 103 104 105 108 110 111 113 119 120 127 129 131 136 137 138 141 143 148 149 150 151 152 153 158 159 161 164 167 169 173 180 182 183 187 190 197 198 199 200 201 202 205 206 208 211 213 214 215 220 222 227 233 236 238 239 240 241 248 250 255 257 266 270 279 288 290 291 298 301 303 305 313 317 319 320 321 323 327 339 347 349 354 360 366 367 369 377 379 382 383 384 386 387 391 394 395 397 398 401 a 9 10 13 15 16 18 24 26 27 32 33 49 50 53 55 61 62 63 68 71 72 77 78 81 82 83 87 88 89 92 94 97 100 102 103 104 105 108 110 111 113 119 120 127 129 131 136 137 138 141 143 148 149 150 151 152 153 158 159 161 164 167 169 173 180 182 183 187 190 197 198 199 200 201 202 205 206 208 211 213 214 215 220 222 227 233 236 238 239 240 241 244 248 250 255 257 266 270 279 288 290 291 298 301 303 305 313 317 319 320 321 323 327 339 347 349 354 360 366 367 369 377 379 382 383 384 386 387 391 394 395 397 398 401 a 9 10 13 15 16 18 24 26 27 32 33 49 50 53 55 61 62 63 68 71 72 77 78 81 82 83 87 88 89 92 94 97 100 102 103 104 105 108 110 111 113 119 120 127 129 131 136 137 138 139 141 143 148 149 150 151 152 153 158 159 161 164 167 169 173 180 182 183 187 190 197 198 199 200 201 202 205 206 208 211 213 214 215 220 222 227 233 236 238 239 240 241 244 248 250 255 257 266 270 279 288 290 291 298 301 303 305 313 317 319 320 321 323 327 339 347 349 354 360 366 367 369 377 379 382 384 386 387 391 394 395 397 398 401 a 9 10 13 15 16 18 24 26 27 32 33 49 50 53 55 61 62 63 68 71 72 77 78 81 82 83 87 88 89 92 94 97 100 102 103 104 105 108 110 111 113 119 120 127 129 131 136 137 138 139 141 143 148 149 150 151 152 153 158 159 161 164 167 169 173 180 182 183 187 190 197 198 199 200 201 202 205 206 208 211 214 215 220 222 227 233 235 236 238 239 240 241 244 248 250 255 257 266 270 279 288 290 291 298 301 303 305 313 317 319 320 321 323 327 339 347 349 354 360 366 367 369 377 379 382 384 386 387 391 394 395 397 398 401 a 9 10 13 15 16 18 24 26 27 32 33 49 50 53 55 61 62 63 68 71 72 77 78 81 82 83 87 89 92 94 97 100 102 103 104 105 108 110 111 113 119 120 127 129 131 136 137 138 139 141 143 148 149 150 151 152 153 158 159 161 164 167 169 173 180 182 183 187 190 197 198 199 200 201 202 205 206 208 211 214 215 220 222 227 233 235 236 238 239 240 241 244 248 250 253 255 257 266 270 279 288 290 291 298 301 303 305 313 317 319 320 321 323 327 339 347 349 354 360 366 367 369 377 379 382 384 386 387 391 394 395 397 398 401 a 9 10 13 15 16 18 24 26 27 32 33 49 50 53 55 61 62 63 68 71 72 77 78 81 82 83 87 89 92 94 97 102 103 104 105 108 110 111 113 119 120 127 129 131 136 137 138 139 141 143 148 149 150 151 152 153 158 159 161 164 167 169 173 180 182 183 187 190 197 198 199 200 201 202 205 206 208 211 214 215 220 222 227 233 235 236 237 238 239 240 241 244 248 250 253 255 257 266 270 279 288 290 291 298 301 303 305 313 317 319 320 321 323 327 339 347 349 354 360 366 367 369 377 379 382 384 386 387 391 394 395 397 398 401 a 7 9 10 13 15 16 18 24 26 27 32 33 49 50 53 55 61 62 63 68 71 72 77 78 81 82 83 87 89 92 94 97 102 103 104 105 108 111 113 119 120 127 129 131 136 137 138 139 141 143 148 149 150 151 152 153 158 159 161 164 167 169 173 180 182 183 187 190 197 198 199 200 201 202 205 206 208 211 214 215 220 222 227 233 235 236 237 238 239 240 241 244 248 250 253 255 257 266 270 279 288 290 291 298 301 303 305 313 317 319 320 321 323 327 339 347 349 354 360 366 367 369 377 379 382 384 386 387 391 394 395 397 398 401 a 7 9 10 13 15 16 18 24 26 27 32 33 45 49 50 53 55 61 62 63 68 71 72 77 78 81 82 83 87 89 92 94 97 102 103 104 105 108 111 113 119 120 127 129 131 136 137 138 139 141 143 148 149 150 151 152 153 158 159 161 164 167 169 173 180 182 183 187 190 197 198 199 200 201 202 205 206 208 214 215 220 222 227 233 235 236 237 238 239 240 241 244 248 250 253 255 257 266 270 279 288 290 291 298 301 303 305 313 317 319 320 321 323 327 339 347 349 354 360 366 367 369 377 379 382 384 386 387 391 394 395 397 398 401 a 7 9 10 13 15 16 18 24 26 27 33 34 45 49 50 53 55 61 62 63 68 71 72 77 78 81 82 83 87 89 92 94 97 102 103 104 105 108 111 113 119 120 127 129 131 136 137 138 139 141 143 148 149 150 151 152 153 158 159 161 164 167 169 173 180 182 183 187 190 197 198 199 200 201 202 205 206 208 214 215 220 222 227 233 235 236 237 238 239 240 241 244 248 250 253 255 257 266 270 279 288 290 291 298 301 303 305 313 317 319 320 321 323 327 339 347 349 354 360 366 367 369 377 379 382 384 386 387 391 394 395 397 398 401 a 7 9 10 13 15 16 18 24 26 27 33 34 37 45 49 50 53 55 61 62 63 68 71 72 77 78 81 82 83 87 89 92 94 97 102 103 104 105 111 113 119 120 127 129 131 136 137 138 139 141 143 148 149 150 151 152 153 158 159 161 164 167 169 173 180 182 183 187 190 197 198 199 200 201 202 205 206 208 214 215 220 222 227 233 235 236 237 238 239 240 241 244 248 250 253 255 257 266 270 279 288 290 291 298 301 303 305 313 317 319 320 321 323 327 339 347 349 354 360 366 367 369 377 379 382 384 386 387 391 394 395 397 398 401 a 7 9 10 13 15 16 18 24 26 27 33 34 37 45 49 50 53 55 61 62 63 68 71 72 77 78 81 83 87 89 92 94 97 102 103 104 105 111 113 119 120 127 129 131 136 137 138 139 141 143 148 149 150 151 152 153 158 159 161 164 167 169 173 180 182 183 187 190 197 198 199 200 201 202 205 206 208 214 215 220 222 227 233 235 236 237 238 239 240 241 244 248 250 253 255 257 266 270 279 288 290 291 298 301 303 305 313 317 319 320 321 323 327 332 339 347 349 354 360 366 367 369 377 379 382 384 386 387 391 394 395 397 398 401 a 7 9 10 13 15 16 18 24 26 27 33 34 37 45 49 50 53 55 61 62 63 68 71 72 77 78 81 83 87 89 92 94 97 102 103 104 105 111 113 119 120 127 129 131 136 137 138 139 140 141 143 148 149 150 151 152 153 158 159 161 164 167 169 173 180 182 183 187 190 197 198 199 200 201 202 205 206 208 214 215 220 222 227 233 235 236 237 238 239 240 241 244 248 250 253 255 266 270 279 288 290 291 298 301 303 305 313 317 319 320 321 323 327 332 339 347 349 354 360 366 367 369 377 379 382 384 386 387 391 394 395 397 398 401 a 7 9 10 13 15 16 18 24 26 27 33 34 37 45 49 50 53 55 61 62 63 68 71 72 77 78 81 83 87 89 92 94 97 102 103 104 105 111 113 119 120 127 131 136 137 138 139 140 141 143 148 149 150 151 152 153 158 159 161 164 167 169 173 180 182 183 187 190 197 198 199 200 201 202 205 206 208 214 215 220 222 227 233 235 236 237 238 239 240 241 244 248 250 253 255 266 270 279 288 290 291 298 301 303 305 313 317 319 320 321 323 327 332 339 347 349 353 354 360 366 367 369 377 379 382 384 386 387 391 394 395 397 398 401 a 7 9 10 13 15 16 18 24 26 27 33 34 37 45 49 50 53 55 61 62 63 68 71 72 77 78 81 83 87 89 92 94 102 103 104 105 111 113 119 120 127 131 134 136 137 138 139 140 141 143 148 149 150 151 152 153 158 159 161 164 167 169 173 180 182 183 187 190 197 198 199 200 201 202 205 206 208 214 215 220 222 227 233 235 236 237 238 239 240 241 244 248 250 253 255 266 270 279 288 290 291 298 301 303 305 313 317 319 320 321 323 327 332 339 347 349 353 354 360 366 367 369 377 379 382 384 386 387 391 394 395 397 398 401 a 7 9 10 13 15 16 18 24 26 27 33 34 37 45 49 50 53 55 61 62 63 68 71 72 77 78 81 83 87 89 92 94 102 103 104 105 111 113 119 120 127 131 134 136 137 138 139 140 141 143 148 149 150 151 152 153 158 159 161 164 167 173 180 182 183 187 190 191 197 198 199 200 201 202 205 206 208 214 215 220 222 227 233 235 236 237 238 239 240 241 244 248 250 253 255 266 270 279 288 290 291 298 301 303 305 313 317 319 320 321 323 327 332 339 347 349 353 354 360 366 367 369 377 379 382 384 386 387 391 394 395 397 398 401 a 7 9 10 13 15 16 18 24 26 27 33 34 37 45 49 50 53 55 61 62 63 68 71 72 77 78 81 83 87 89 92 94 102 104 105 111 113 119 120 127 131 134 136 137 138 139 140 141 143 148 149 150 151 152 153 158 159 161 164 167 173 180 182 183 187 190 191 197 198 199 200 201 202 205 206 208 214 215 220 222 227 233 235 236 237 238 239 240 241 244 248 250 253 255 266 270 279 288 290 291 298 301 303 305 313 317 319 320 321 323 327 332 339 347 349 353 354 360 366 367 369 377 379 382 384 386 387 389 391 394 395 397 398 401 a 7 9 10 13 15 16 18 24 26 27 33 34 37 45 49 50 53 55 61 62 63 68 71 72 77 78 81 83 87 89 92 94 102 104 105 111 113 119 120 127 131 134 136 137 138 139 140 141 143 148 149 150 151 152 153 158 159 161 164 167 173 180 182 183 187 190 191 197 198 199 200 201 202 205 206 208 214 215 220 222 227 233 235 237 238 239 240 241 244 248 250 253 255 266 270 279 288 290 291 295 298 301 303 305 313 317 319 320 321 323 327 332 339 347 349 353 354 360 366 367 369 377 379 382 384 386 387 389 391 394 395 397 398 401 a 7 9 10 13 15 16 18 24 26 27 33 34 37 45 49 50 53 55 61 62 63 68 71 72 77 78 81 83 87 89 94 102 104 105 111 113 119 120 127 131 134 136 137 138 139 140 141 143 148 149 150 151 152 153 158 159 161 164 167 173 180 182 183 187 190 191 197 198 199 200 201 202 205 206 208 214 215 220 222 227 233 235 237 238 239 240 241 244 248 250 253 255 266 270 279 288 290 291 295 298 301 303 305 313 317 319 320 321 323 327 332 339 347 349 353 354 360 361 366 367 369 377 379 382 384 386 387 389 391 394 395 397 398 401 a 7 9 10 13 15 16 18 24 26 27 33 34 37 45 49 50 53 55 61 62 63 68 71 72 77 78 81 83 87 89 94 102 104 105 111 113 119 120 131 134 136 137 138 139 140 141 143 148 149 150 151 152 153 158 159 161 164 167 173 180 182 183 187 190 191 197 198 199 200 201 202 205 206 208 214 215 220 222 227 233 235 237 238 239 240 241 244 248 250 253 255 266 270 279 287 288 290 291 295 298 301 303 305 313 317 319 320 321 323 327 332 339 347 349 353 354 360 361 366 367 369 377 379 382 384 386 387 389 391 394 395 397 398 401 a 5 7 9 10 13 15 16 18 24 26 27 33 34 37 45 49 50 53 55 61 62 63 68 71 72 77 78 81 83 87 89 94 102 104 105 111 113 119 120 131 134 136 137 138 139 140 141 143 148 149 150 151 152 153 158 159 161 164 167 173 180 182 183 187 190 191 197 198 199 200 201 202 205 206 208 214 215 220 222 227 233 235 237 238 239 240 241 244 248 250 253 255 270 279 287 288 290 291 295 298 301 303 305 313 317 319 320 321 323 327 332 339 347 349 353 354 360 361 366 367 369 377 379 382 384 386 387 389 391 394 395 397 398 401 a 5 7 9 10 13 15 16 18 24 26 27 33 34 37 45 46 49 50 53 55 61 62 63 68 71 72 77 78 81 83 87 89 94 102 104 105 111 113 119 120 131 134 136 137 138 139 140 141 143 148 149 150 151 152 153 158 159 161 164 167 173 180 182 183 187 190 191 197 198 199 200 201 202 205 206 208 214 215 220 222 227 233 235 237 238 240 241 244 248 250 253 255 270 279 287 288 290 291 295 298 301 303 305 313 317 319 320 321 323 327 332 339 347 349 353 354 360 361 366 367 369 377 379 382 384 386 387 389 391 394 395 397 398 401 a 5 7 9 10 13 15 16 18 24 26 27 33 34 37 45 46 49 50 53 55 61 62 63 68 71 72 77 78 81 83 87 89 102 104 105 111 113 119 120 131 134 136 137 138 139 140 141 143 148 149 150 151 152 153 158 159 161 164 167 173 180 182 183 187 190 191 197 198 199 200 201 202 205 206 208 214 215 220 222 227 233 235 237 238 240 241 243 244 248 250 253 255 270 279 287 288 290 291 295 298 301 303 305 313 317 319 320 321 323 327 332 339 347 349 353 354 360 361 366 367 369 377 379 382 384 386 387 389 391 394 395 397 398 401 a 5 7 9 10 13 15 16 18 24 26 27 33 34 37 45 46 49 50 53 55 61 62 63 68 71 72 77 78 81 83 87 89 102 104 105 111 113 119 120 131 134 136 137 138 139 140 141 143 148 149 150 151 152 153 158 159 161 165 167 173 180 182 183 187 190 191 197 198 199 200 201 202 205 206 208 214 215 220 222 227 233 235 237 238 240 241 243 244 248 250 253 255 270 279 287 288 290 291 295 298 301 303 305 313 317 319 320 321 323 327 332 339 347 349 353 354 360 361 366 367 369 377 379 382 384 386 387 389 391 394 395 397 398 401 a 5 7 9 10 13 15 16 18 24 26 27 33 34 37 45 46 49 50 53 55 61 62 63 68 71 72 77 78 81 83 87 89 102 104 105 111 113 119 120 131 134 136 137 138 139 140 141 143 148 149 150 151 152 153 158 159 161 165 167 173 180 182 183 187 190 191 197 198 199 200 201 202 205 206 208 214 215 220 222 227 233 235 237 238 240 241 243 244 248 250 253 255 270 279 280 287 288 290 291 295 298 301 303 305 313 317 319 320 321 323 327 332 339 347 349 353 354 360 361 366 367 369 379 382 384 386 387 389 391 394 395 397 398 401 a 5 7 9 10 13 15 16 18 24 26 27 28 33 34 37 45 46 49 50 53 55 61 62 63 68 71 72 77 78 81 83 87 89 102 104 105 111 113 119 120 131 134 136 137 138 139 140 141 143 148 149 150 151 152 153 158 159 161 165 167 173 180 182 183 187 190 191 197 199 200 201 202 205 206 208 214 215 220 222 227 233 235 237 238 240 241 243 244 248 250 253 255 270 279 280 287 288 290 291 295 298 301 303 305 313 317 319 320 321 323 327 332 339 347 349 353 354 360 361 366 367 369 379 382 384 386 387 389 391 394 395 397 398 401 a 5 7 9 10 13 15 16 18 24 26 27 28 33 34 37 45 46 49 50 53 55 61 63 68 71 72 74 77 78 81 83 87 89 102 104 105 111 113 119 120 131 134 136 137 138 139 140 141 143 148 149 150 151 152 153 158 159 161 165 167 173 180 182 183 187 190 191 197 199 200 201 202 205 206 208 214 215 220 222 227 233 235 237 238 240 241 243 244 248 250 253 255 270 279 280 287 288 290 291 295 298 301 303 305 313 317 319 320 321 323 327 332 339 347 349 353 354 360 361 366 367 369 379 382 384 386 387 389 391 394 395 397 398 401 a 5 7 9 10 13 15 16 18 24 26 27 28 34 37 45 46 49 50 53 55 61 63 68 71 72 74 77 78 81 83 87 89 102 104 105 111 113 119 120 131 134 136 137 138 139 140 141 143 148 149 150 151 152 153 158 159 161 165 167 173 180 182 183 187 190 191 197 199 200 201 202 205 206 208 214 215 220 222 227 233 235 237 238 240 241 243 244 248 250 251 253 255 270 279 280 287 288 290 291 295 298 301 303 305 313 317 319 320 321 323 327 332 339 347 349 353 354 360 361 366 367 369 379 382 384 386 387 389 391 394 395 397 398 401 a 5 7 9 10 13 15 16 18 24 26 27 28 34 37 45 46 49 50 53 55 61 63 68 71 72 74 77 78 81 83 87 89 102 104 105 111 113 119 120 131 134 136 137 138 139 140 141 143 149 150 151 152 153 158 159 161 165 167 173 180 182 183 187 190 191 197 199 200 201 202 205 206 208 214 215 220 222 224 227 233 235 237 238 240 241 243 244 248 250 251 253 255 270 279 280 287 288 290 291 295 298 301 303 305 313 317 319 320 321 323 327 332 339 347 349 353 354 360 361 366 367 369 379 382 384 386 387 389 391 394 395 397 398 401 a 5 7 9 10 13 15 16 18 24 26 27 28 34 37 45 46 49 50 53 55 61 63 68 71 72 74 77 81 83 87 89 102 104 105 111 113 119 120 131 134 136 137 138 139 140 141 143 149 150 151 152 153 158 159 161 165 167 173 180 182 183 187 190 191 192 197 199 200 201 202 205 206 208 214 215 220 222 224 227 233 235 237 238 240 241 243 244 248 250 251 253 255 270 279 280 287 288 290 291 295 298 301 303 305 313 317 319 320 321 323 327 332 339 347 349 353 354 360 361 366 367 369 379 382 384 386 387 389 391 394 395 397 398 401 a 5 7 9 10 13 15 16 18 24 26 27 28 34 37 45 46 49 50 53 55 61 63 68 71 72 74 77 81 83 87 89 102 104 105 111 113 119 120 123 131 134 136 137 138 139 140 141 143 149 150 151 152 153 158 159 161 165 167 173 180 182 183 187 190 191 192 197 199 200 201 202 205 206 208 214 215 220 222 224 227 233 235 237 238 240 241 243 244 248 250 251 253 255 270 279 280 287 288 290 291 295 298 301 303 305 313 317 319 320 321 323 327 332 339 349 353 354 360 361 366 367 369 379 382 384 386 387 389 391 394 395 397 398 401 a 5 7 9 10 13 15 16 18 24 26 27 28 34 37 45 46 49 53 55 61 63 68 71 72 74 77 81 83 87 89 102 104 105 111 113 119 120 123 131 134 136 137 138 139 140 141 143 149 150 151 152 153 158 159 161 165 167 173 180 182 183 184 187 190 191 192 197 199 200 201 202 205 206 208 214 215 220 222 224 227 233 235 237 238 240 241 243 244 248 250 251 253 255 270 279 280 287 288 290 291 295 298 301 303 305 313 317 319 320 321 323 327 332 339 349 353 354 360 361 366 367 369 379 382 384 386 387 389 391 394 395 397 398 401 a 5 7 9 10 13 15 16 18 24 26 27 28 34 37 45 46 49 53 55 61 63 68 71 72 74 77 81 83 87 89 102 104 105 111 113 119 120 123 131 134 136 137 138 139 140 141 143 149 150 151 152 153 158 159 161 165 167 173 174 180 182 183 184 187 190 191 192 197 199 200 201 202 205 206 208 214 215 220 222 224 227 233 235 237 238 240 241 243 244 248 250 251 253 255 270 279 280 287 288 290 291 295 298 301 303 305 313 317 319 320 321 323 327 332 339 349 353 354 361 366 367 369 379 382 384 386 387 389 391 394 395 397 398 401 a 5 7 9 10 13 15 16 18 24 26 27 28 34 37 45 46 49 53 55 61 63 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 131 134 136 137 138 139 140 141 143 149 150 151 152 153 158 159 161 165 167 173 174 180 182 183 184 187 190 191 192 197 199 200 201 202 205 206 208 214 215 220 222 224 227 233 235 237 238 240 241 243 244 248 250 251 253 255 270 279 280 287 288 290 291 295 298 301 303 305 313 317 319 320 321 323 324 327 332 339 349 353 354 361 366 367 369 379 382 384 386 387 389 391 394 395 397 398 401 a 5 7 9 10 13 15 16 18 24 26 27 28 34 37 45 46 49 53 55 61 63 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 131 134 136 137 138 139 140 141 143 149 150 151 152 153 158 159 161 165 167 173 174 180 182 183 184 187 190 191 192 197 199 200 201 202 205 206 208 214 215 220 222 224 227 231 233 235 237 238 240 241 243 244 248 250 251 253 255 270 279 280 287 288 290 291 295 298 301 303 305 313 317 319 320 321 323 324 327 332 339 349 353 354 361 366 367 369 379 382 384 386 389 391 394 395 397 398 401 a 5 7 9 10 13 15 16 18 24 26 27 28 34 37 38 45 46 49 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 131 134 136 137 138 139 140 141 143 149 150 151 152 153 158 159 161 165 167 173 174 180 182 183 184 187 190 191 192 197 199 200 201 202 205 206 208 214 215 220 222 224 227 231 233 235 237 238 240 241 243 244 248 250 251 253 255 270 279 280 287 288 290 291 295 298 301 303 305 313 317 319 320 321 323 324 327 332 339 349 353 354 361 366 367 369 379 382 384 386 389 391 394 395 397 398 401 a 5 7 9 10 13 15 16 18 24 26 27 28 34 37 38 45 46 49 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 131 134 136 137 138 139 140 141 143 149 150 151 152 153 158 159 161 165 167 173 174 180 182 183 184 187 190 191 192 197 199 200 201 202 205 206 208 214 215 220 222 224 227 231 233 235 237 238 240 241 243 244 248 250 251 253 255 270 278 279 280 287 290 291 295 298 301 303 305 313 317 319 320 321 323 324 327 332 339 349 353 354 361 366 367 369 379 382 384 386 389 391 394 395 397 398 401 a 5 7 9 10 13 15 16 18 24 26 27 28 34 37 38 45 46 49 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 131 134 136 137 138 139 140 141 143 149 150 151 152 153 158 159 161 165 167 173 174 180 182 183 184 187 190 191 192 197 199 200 201 202 205 206 208 214 215 220 222 224 227 231 233 235 237 238 240 241 243 244 248 250 251 253 255 270 278 279 280 287 290 291 295 298 301 303 305 313 317 319 320 321 323 324 327 332 339 346 349 353 354 361 366 367 369 379 382 384 386 389 394 395 397 398 401 a 5 7 9 10 13 15 16 18 24 26 27 28 34 37 38 45 46 49 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 131 134 136 137 138 139 140 141 143 149 150 151 152 153 158 159 161 165 167 173 174 180 182 183 184 187 190 191 192 197 199 200 201 202 205 206 208 214 215 220 222 224 227 231 233 235 237 238 240 241 243 244 248 250 251 253 255 270 278 279 280 287 290 291 294 295 298 301 303 305 313 317 319 320 321 323 324 327 332 339 346 349 353 354 361 366 367 369 379 382 384 389 394 395 397 398 401 a 5 7 9 10 13 15 16 18 24 26 27 28 34 37 38 45 46 49 53 55 61 68 71 72 74 77 81 83 87 102 104 105 111 113 119 120 123 131 134 136 137 138 139 140 141 143 149 151 152 153 158 159 161 165 167 173 174 180 182 183 184 187 190 191 192 197 199 200 201 202 205 206 208 214 215 220 222 224 227 231 233 235 237 238 240 241 243 244 248 250 251 253 255 270 278 279 280 287 290 291 294 295 298 301 303 305 313 317 319 320 321 323 324 327 332 339 346 349 353 354 361 366 367 369 379 381 382 384 389 394 395 397 398 401 c Step: 128 Command being timed: "python3 run_3.py --existent /benchmark/random_instance/random_instance031_graph004.col /benchmark/random_instance/random_instance031_graph004_01.dat" User time (seconds): 63.40 System time (seconds): 0.11 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:03.52 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): 289784 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 107293 Voluntary context switches: 21 Involuntary context switches: 341 Swaps: 0 File system inputs: 0 File system outputs: 848 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]