IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy15YW5kZXgKIyBWZXJzaW9uOiAyLjAuMAojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrVmM1y4jAMgO95Cs/sXhO21x6XHrqd6TSznHrKCFsQD06csR3avH0TDIEsAfKzu8EXAo4sfZFkBQm4Wgn5EWRKbjlDpYMCUoafJCseE8lygeQHiSDjM7CSs1pyZiVnvPoMYpOIb3aH/534HlxQHMRSbnQP9Tv5QUb6P4q1NeK5Dj/ed5e5kDn7CRqfy3sVBhWgNXkYSDHKfEBlmkYpJBiBMaqiqa58mRucksgUGd4DDMMV5MJEtZvuAWqNFgip4TKNVlIl0Qdn5bI9QWhiySZky3m04ihYtMQYtlzmanKsSmCK+NGKImJgoBSjA2tOU8mYCtTUFDztvwwvRJfRrjLJDBUYqfpU/HpPXwfUG8fG5EjwN+JyHauOzVwhGJyLXBtUb/s93YPVnfmfwQb4ibQ6bd2LwBTUz3yLL3Lphov/gHXTxYHBJBPlun1d6H61eYoHeIXsN7KcupMobcSOZEsrunMpExY6A7VxJmHOeR1JlxZw55Jl4VSqLNxMlIXDafKEAp35N9gKe/dJ0k79H3Ok8+CLaMMeWdnC+A89p2Xkerfo9e2K+5KcddSkU/vqjWtMh1FeDBYZ0HJ7HYam3TE7sHi9muruptu6cXL76HnjD8oQxsGRvF4zPCqThBt9irRfsnpDoBtYI4EMaIz+3oxfm/H3QTpO8xqsTb2tItaOHXkFu5kXmdeS3hrTo88ELFFUqg6rdu+vHcGZa0+9c4M+kazFSlb4hxtWzaudslh7xwnQic2jt8+fqirPJKwGNm91Mp2YuGE7LMo3TdpE0AiKxs2Nds3uWdj7YRlA7wtQX5Ds