IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1wYWdlcmR1dHkKIyBWZXJzaW9uOiBkZXZlbAojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrFVM1ugzAMvucpIm3XwHrtE3SHSUh7AOQlLkQNJErSbrz9oC6Uap0oMGm3xPb34/wYtN8b+5k4b09aoQ+JgwK9OsaGu2ZbWXU0yF94Dk6nQMXpUJwOxamuFX4lZazME4HEMxcMfqdPSmsPYZ7IGbJUamlnJLq609E+61e7NtGZkQZC4JtVXlaZSKRHiJjjCet4Ph6MpVX/aqnAmAcMQdv6Tx3NeWU8RLVVVnKxmf86+WTvbFkvC1zdOw0+427YYwNglrPHnDBpq0rHMKa+hAibgTy0xRwcyBLFhUoMVOJKVWB9tWngA03H1keJ7rVbsh/djM1OC7WD4Y6Qa0SfIKY3GkIkOcpOwLKm/Qr1LTogeFneAilGmHfKd1+MfQN1wj51