IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1yZWRpcwojIFZlcnNpb246IG1hc3RlcgojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrFl+FuqyAUx7/zFCR3X7Xr1z3BbpblNusDGCqnlZQKAdzm20+Lc+utmxy0bdK0Chz+P+0fzoEJs5XqLdVGvQoOxqYGuLBU1w8HxSsJ9J5mTIsF8wMX/cDFceBClBze08Id5B8fkNzRhLDhadNCqT1i8uPwGAnsU3ih6Cfqrl/a78emoRXOJbOWLqN00YJprsoyK9kBMuacafXbX7GpHFyXwdUabiPPYcsq6bL+VdwGYwce4Wg+cIXiV5NuW6/y5EqDYU4ZxArrQ5Drq4/z95muNlLYIkb4ZIJ5MPzLX/mbf92Y4NUfgDYXUwrvkLdmCHblNeEcHLRkDrKtAMktyr4TOS2UFmXkLgDpny6qexl7qPGCfehUaf8fPEG9PvYE2/VXkCkEqVZ7hDMvxzHFh5ejqkSTUKQyt8BpVlNmq02sW7vwSY7t5uh3jnXzmWLcAaYZYCZ5+EJI89n5QoAzOPsHstBjBbWOP3CV02SJO4rQX0szgqu4kBT/12o0oEwk46e4YIpxZYKpBYN1h2pIOlqAkPjyIYLspyKEIgslEl6EBFOely50ZAWTmByD5hnKUTQ4XZLY3SKS83zHoah9kOyg/NKXbAOyJfhs9TP+bS/JGeZ3Tc3yApJOOumlE78AmzQ7IKLr5LPDz/Lsk7qX+9Y7EraqmyRXnkZbYCYvTgN9m49Z+/4V2wH5ANQH+P0=