IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1taWNyb3NvZnQtbXNzcWwKIyBWZXJzaW9uOiAyLjAuMQojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrNl81yozAMx+9+Cs+0V8P2mutedme20+zkARjXiOCpsaht2uTtF2K+m9k0ph+cQiTk/w/JWIJLkyl8jUqDLzIFY6NCCoMWMxcV1j4rWh43BaaVAvqDJryUMfchcR8S9yHxKSSWOoVDlLtC3fhQdksZ4ZekohzxyYYIngKXyYY/rRf/gCdvr+/t7ln9qg0NjFDcWnq3kGUBRCRQ60TzAhLunGmYml/5WDn4fi53LGE9SClkvFIu6VO2HrQ9uIRXDgUWhXSnbQ4ux/TboZpcrQSnsa6sbHaNZbNVWaJxdkb21RnDEgx3aII6Rh8cfGT3K4R3jgFiWfeYofhSPbTGgC7yH64PAIrgAKLZJgG7+ZPJmgMpbzvvytAcFKXiDhI4hL5tX0WYSVCpXSdkJeuOo9B8Dt314yq1Lt2kKCi7Cx126TvPcRJ6KAczznNEr+o45JqvjQDGa7hIWFsJoDrXmOgVu54s2cmLeAOqPXtXiR8m7BijNfkVt1w88T1QXnKRA2sFWC/AegHWLag1CCdRt3zTpWdOL3K/2/39Q3/2TrIHPWRH8UdQTXRn9UG/m0uS46vDeFh3M2j2cedVb06hbHD6B3gL4yW6xHmB7t9UaEjuSKAzsmng5JAkb/bCuKjvTb3U1nGlpN6PbsoMFsxiZQTYqcCFm7ssd7fRxklbJ6mnpTMVKo+sc7SV9fOZr9UwPo44pjmbpWW03gWh7bGeHfRUzwI3Ip8GepuP2Xn/tt7f5B9vD7C3