IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1jbG91ZGFudAojIFZlcnNpb246IDMuMC4wCiMgVGhlIHJlbWFpbmRlciBvZiB0aGlzIGZpbGUgaXMgY29tcHJlc3NlZCB1c2luZyB6bGliLgp42s2VwW6EIBCG7zwFSXtF2+tee2kPTTbpA5gRRiWLYAC39e0ri7pu2mZXN83uSWTm/+cbEAFpC2U+k8aavRRoXcKVaQVoT5tuUxvRKqRPNINGphBz0yk3HXNTqQV+JZWv1UPUsEfKCPxpnlTG7NyiEgfFykLrmooVr+zx+PoyDF776cDBFThHn6/AWF8/4UbrTEONGXhvA054yrz1eFMk3zV4FzQCC2iVz6aFuguqEiPR4TtGXxlxS5JWZoVEJbIcK9hL09rbc4XYP+zXGjV1XmyE4ZRdUZ1evA5kwR90OdoCInLRbbEE4aLihJu6lt7NjYepKN0C30GJFBrgFbLBiU1ObHIqUR8ZFeSogtk4G93ewpD8aGWOeraO1M6DUlKXs2hhTc1cf5g4ulPnM8kj15hGQ5AOQdLfWb/01HRsDET5e7wdY3ez6BnZtusPvT5VOwTLq1NhnIuajxjf9ntCvgEeqDUD