IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1odHRwCiMgVmVyc2lvbjogbWFzdGVyCiMgVGhlIHJlbWFpbmRlciBvZiB0aGlzIGZpbGUgaXMgY29tcHJlc3NlZCB1c2luZyB6bGliLgp42s2Xz3LaMBDG73oKzTRXm/bKE9BDJ8yQu0exFuxBSBpJDvjtI1nYmAaKlhQnF/7I2v19WrPfGlabtVD7XBv1VnMwNq+c01S3853ijQD6kxZM1zMW982GfbOwb1ZLDgcfshM/4v7siWaEXUyaV0ptbXLqbvcdANwBIuXOs8SPC/+y8F8DsxTMWvrrDiSOlZcVlNvCgNVKWuiOC65SfBK2krKQbAcFc84EdnivXxsHk+Fdq2FyMoc1a4QrhgJMrmADkT7tDQ9rX3Ne00x8VA8smORF11/To/e1qwrG35gsgfv2dqZ9nAilwTCnTLonDxE4sxzCcN58ouH9+RyZr+qdFhBK/Xy8kOrW10V8hp7DAcrQQ6k390EyHPgl5qCAg8M096PlrGsQ3H4/Rb4lfWID5jtoa2o/C4QyD5diQVqMTRz34zr2GISziJ6EN4gxrvPgVbeQagvXwHhirtU23Qf+I/cTzfYvFZgRRa3jc65Kmt0x2ujN2UoS/1/gZCQqIDf/N6VibwIJtuNTyVfdgiaZFkE8S+AlIdQQ3I85VcuVNqAJjUiS/RMrJlkH2YA8EQR7BREY/WpM8Tt8JJXaOzWUfh6yxCTnoeO7792gi8r6xWwUdXKhv1PbbsyFrf0SBnEh+uPcJB/KOi6ZZv7RPztWLhsq16knfqxcqJhus/5CTPInjq5Yu9NT9oh4fgy6eHlZ0ufh1zpKeIO0bP3MkOdAC8yU1XlgXIsxq3h9yTZA3gHW4sk1