IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy10ZWxlZ3JhbQojIFZlcnNpb246IGRldmVsCiMgVGhlIHJlbWFpbmRlciBvZiB0aGlzIGZpbGUgaXMgY29tcHJlc3NlZCB1c2luZyB6bGliLgp42s2WzXLCIBDH7zwFM+2VpF59gvbQqTPtPYOwJowkZACrvn2TkM/GVsF+eIsL+9/fArsrFXoj1T4qtXoXHLSJLEhINc1xeVzmiu8k4Aec0FLE1O2N+71xtzcWBYdDlNlc3jkfco8Jol+KR5lSW+MVovEIDBSWlIt4ZY7Dz7f247Ey1xxMUmPw4gqM8PhRkqRgE5ZRmwjenArYTPH/xbFqC8X/wzQno4obIDFQ8CQHY2gKf0OjStDUKu1Xm72Xf5H0rmE1OkQOr9M5Qn8LL+2ST71+j3Q9SwQHYDvr9yB+HcpCXkpqIdkIkLx5PtRaLdY16Q3w7URV09Ld5M+CeQwubCxfcsUwWXjPO3yuh6CQpuBPdOIY8MXtDV30R8IH6iIK5NnAfABO9T58yWNFoU8vjM7z3uY1hZjKc2HNOHxrcmoryrb1oKIlZRmQVpz04qRXSqEYMpF0DbIW66xO7an+RJnaW9VnsewUOsNUYGBuirPxJZ2RzHw/9wg0O93xUZ1Nqho2J5Iqj6RbcELPbrS59IZxO4o6TWOOOZI8E2t1rMZDMQ1pgGqWTR2dzfm8uvVVdZPoAyjckZQ=