IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1mdHAKIyBWZXJzaW9uOiAyLjAuMAojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrFl82O2yAQgO9+CqTt1U57zbVS1R4qRUrviIVJjIIBAdld9+nLT+wkbVpDlSUn2wwz38xghoFwsxPqtdNGvXAGxnY7p5Ee14NiRwHoI8JE8xVJ01bztJWftuKSwVvXu0E8pentB9Q25JbJrlfqYHMNx8nl5kt8T4j/iiK+ffmx+eo/Ao4KYi36VEwrwHQYg3RgMI7xgesVe3/iG3cVgVQoC5gqKeshPQxLMgAmzpmADU/+fHRQg+xGDVWhBogDzLgB6pQZq+WZwY4chcNzvmtGzUDAg6KO4B0XUJFpqc/qI8Ldg6u7ewPQV2zs+ABVoZb/rAcMI9X3jODWPeAXMjAFWgnnswkvlbeo9Smth9xW6lK2NWqABWmVyW4jT9OLOryTTkkrOWFKm8kLVMzgNn5nrtVfoPm0+rAOjFHG/x8MsPaVDIwsqGl38kGrQ/a+uxPSwaAFiZ0ACGbrx+wMkZb7CwSOK3AnD/K3NbKOrZmiqC0uBmih9DR5t8giD/LozdLFOJO5RGtKVieTeXtV0eI/1eQW20I/cn1oqBoG7uyl+dNQ0t4QeiB7QEQT2kN7MtbOxtoQRDigfGPDlYxeXBu7EiWjfiOhz7Og2YM8xyjIM4igOY0mlW/htenVq1Ors831RJu1bvGeolp7FgWnf3fijyxfpvBfwftT6Yb3emwnQbLxPZ17KY4L6YLaZvRVVV5rWyCG9teKaSzpbJN849et+QVXTd0v