IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1lbGFzdGljc2VhcmNoCiMgVmVyc2lvbjogZGV2ZWwKIyBUaGUgcmVtYWluZGVyIG9mIHRoaXMgZmlsZSBpcyBjb21wcmVzc2VkIHVzaW5nIHpsaWIuCnja1ZjBctsgEIbvegpm2qvk9pqbD2qSjpx6as+0N4aItcQYgQZQYr99wdiOlKaOJauOdLIM7L8fC1pYEaZWXD5HpZJPjILSEXCiDUs1EJXmqNzeFJJWHNAXhEnJJsQbTI4Gk4bBhAkKmyg3Bf/kDcPPKAzIaTdRLuVat3e2M7vE5aWz9QC9ReBVW1z/d2cHOMDUNmr0tRe+3sCiVAqBBSkAE2OU43S/7LEyMExWsy1h2JgUVqTiBh9DO2zcDDzq7iUCk0s6SMRKsQETulEfutZcZu2zoDXqmPWsZQQaG6LXOCeCclDd3L8S6Q+nuUhL23P3wtkqF7+D2TdflPy4xQ/TWdxpK10bdjb9jZP7hxjP4594Pr0dB/VoQHHKgQgMG0grw6TAlBhonwevjr2SqiAGFzobAWymZFVia6Px4xbnUpsRQCsgdCSYPsBAdyEeBbNVV44WsxHEOOVSjyAn2IHj2LPutgkbA0oQvtsEleLDp3agnS+g14bVvuYwNszDiaxOZDbT2XJfYNqTlnwwEo4X37UUlutbYf7HvfWy6gRpQ2+oTFHYS52DOpRiQdvPTR2Z21IG539za010Pktw2T5pTXZ6x6EOr0DQro7tRNyOMEhlUTCj6672TV5jTtI1yQCRkqQ5hHvJ8CgZNpcoA/GCzskjcKd4aPWS9+4x+GuGdfDznFn+kDOxbjY3XdsxGRPZIUk0cjiK9+ciSqxKsB9aZ6pbo1+KGdefuHufkU2twNb3b8y83IaHDi8y898UfAxqve+Yzbf2TBFN67eme3hrnc3C98/t8gXPlh1Cd2NtEazTE/6XZGi47i6L5BMotEwWwR/s9RrG