IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1zYW1iYQojIFZlcnNpb246IDQuMC4wCiMgVGhlIHJlbWFpbmRlciBvZiB0aGlzIGZpbGUgaXMgY29tcHJlc3NlZCB1c2luZyB6bGliLgp42sVYS27bMBDd6xQE2q3kZJsTtIsCBnIAYkyOLUL8gR/Hun1F03LtNogto/BsJGF+7z0OSREEFbbafXQ+uL2SGGIXwWyA+fHNOJk1shfGwasV1MDVOXB1DFwpK/HQ9cnobzWh/c7aBj4v2/XODfH+4sfwRyCWqqhADys6fb+X54/JUICFhhjZ60O4iwE7ztEmDJwfNWPqnXwm9kElEmjhrOUWDHJIKRQC5a02OeFzOaTRIw28xC1knfh5KGho7DAd5h48eRIUK6FyrexAoFqrmKQKRMhUvdYxQSLANTDgNNqRAnqgabPzaPlWaSTA9jn2fBuc4doJ0AQMAoIkWtkBjdsjGTDRNK/gVPtKwPkH8nRgr0GQIBuafSUKsETIdGcUot9WgeV7pzPJ3I6jIdpCU8hWQKIQnS2R5pwUSZc/QP8fufdeBbDp4PsmnWDt67LrA/alsGYZ74Us/lbM7hjk5vbNy90sbiM3whmjUrwseTLVvDWIAXbIwIPosT2Vac9l2lpmh/YPNQ0b1KXSbK2lfpbP5h8FlyS/BlF22tr0tNJ2F65yYGyjy0FgvC57I3gmNYex4mQnZ2Oc/ESQH9vZUdN/1ZumKu3CeyNtPU7Lxl5nR4Qg+uvEaqs579W/nrrR/AabD0uk