IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy15YW5kZXgKIyBWZXJzaW9uOiAyLjEuMAojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrVmEtz2jAQgO/+FZpprzbNNceSQ5qZTJhyysmzSAvWIFseSSbxv4+NjMHFgB9tjS4YpH180q5kdoGrtZAfQarkjjNUOsghYfhJ0vwxliwTSH6QEFI+Ays5qyVnVnLGy88gMrH4ZjX878T34ILhIJJyq3uY38sPctJ/KdbXiHUdfrzvH3MhM/YTND4XcyUGFaA1eRhIMcp9QGWShAnEGIIxqqQpn3yVGZySyOQp3gMMwzVkwoT1Nt0D1AYtEFLDZRKupYrDD86KYXuC0ESSTciW8XDNUbBwhRHsuMzU5FilwBTxoyVFyMBAIUYH3jlNI2NuoKal4Kn6Mvwiuox2lUmmqMBI1efGr3X6bkCtODYmR4K/EZfrWHVs5grB4Fxk2qB6q3S6B6s78z+DDfATaXnaul8CU1A/8x2+yJUbW/wHrJtbHBiMU1GM29eF7nc3T7GAV0h/I8uoO4nSRuxItrSiO5cyi1ynoLbOJMw5ryPp0gLuXLIsnUqVpZuJsnQ4TZ5QoDP/Blth7z5J2qn/Y450bnwRbdgjK0oY/6Fnt4xcrxa9vlVxX5Kzipp0Kl+9cYXpMMqLwSIDSm6vQ9O0O2YHFq9XUd3ddVs1Tm4fPW/8QRnCODiS1+8Mj8o45kafIlVD1u4C6BY2SCAFGqFfufFrN34VpGM3r8HatNsqYv3Yllew73mReS3pbTA57pmAFYrS1GHU6v7aE5xt7enu3KDniTYgBE82J3NrJWNfy0xR1E27N4QPVAcxUk6SatKLJWtZUZr7hwmr/mo7OnZtx27TCccxsuc7WL4KyKJsDr3ViXvi4obvRV681ZImgkZQNGoq2jGrs7TziyJZvC+v/roj