IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1taWNyb3NvZnQtcHNycAojIFZlcnNpb246IDEuMC4wCiMgVGhlIHJlbWFpbmRlciBvZiB0aGlzIGZpbGUgaXMgY29tcHJlc3NlZCB1c2luZyB6bGliLgp42s2WS27DIBCG95wCqd1iN9ucoF1UtZoDIAKTGAUbBOR1+9omceI2VQLuIzsb9P/zDZ4ZzKRdKL3NjNUbKcC6rJLcaqcXPjPOGmz200qLtQL8hCkzMmdBkfeKvFfkrSKXtYBdVvpKPQQlecQEsSuBslLrlUsI1+lGBU1NNEQenXN4LGbvxXPz2nJwxZzDk1EYqfEzSqH2YCntTgR8qcU/ouykvwcSWW/0CqjR20ZQglJ/i6QNWOa1TemPXptapL1Bap+cCMb0yhCj+zRvh6X4nvkeaSxLBjvgaw8JBfKLUB4qo5gHupCgRFdGzHsr5y3p/fFRC425BXt/pGtJuVah5n4aLPrCw86LqdAck0nibYlvG4cobcSl8n06HBwxs1HET0o8XgQTShrP8UiX5ju+vcRReuGOYY3+wsOeRFxXlfTuHOGwFPwKxldsCZgZxksgB3vS25PennR+S6hPOSk2B9VaHleD50v7iL6kfp7FjdGae+9CNLMnx41g9xru2RD3bPeKrNg31049VDtglpdDYVgLmlnYL5ozQx+ht5Mc