IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1hcGFjaGUtc3Fvb3AKIyBWZXJzaW9uOiAyLjAuMAojIFRoZSByZW1haW5kZXIgb2YgdGhpcyBmaWxlIGlzIGNvbXByZXNzZWQgdXNpbmcgemxpYi4KeNrNl81u2zAMgO9+CgHb1fZ67RO0h2EB+gACYzOxEP1Vktf47SdFSppmRWfLyOxLYlAi+YmmSQqY2XH1VmmjfrMWja1AQ9NhZV+V0kQPj0K1PUfyg1DQrIa4v77sr+P++rS/ZrLFY9U5wb9FvfI7KQv40knVKXWwk12dtGY4zDxhdDv3tOn5Jfw+eUHAaDhYSx7mUOS6rygetTKONqI9RQRdp9qlWPbozjw7ZQQ4CmbfC5RueTYm1hMnbVCDQdooIUAuD+SDQgXYA9U+kd+UWQGRkpJKEEjBORNwwj/b9g6XJHKDxjXAtLiDnvtsPodpDVDpy3ew5bh4AoVSFKKzOEiQruYVpSL42qMZFo9MgllHvmil8X8mi3dnwCkzfXy6aOZNMRf1zDHq3f2MUeoGIr6HX0k4daT6gmguShxpujTnTUqNe1LhEZtQRNbEpCQ9MM5XxeRQaA4O6Y4hb21OBb4nXs98i+LK3IFr4j2MWNc+tqoh5UPWFY6MqblFVkXNQ7sNChnfFIrR1+WpaKNxiow+MBXmszZCxqZzkZ2i+ZhTX+nNt1eEyxZz9hogiaK5DTQH2COJRspkvbxYL9NCtLZH+X4eDlvkweBZGi0+h8fir2NfH2GUL99XP/Glh/K8EI39jG08er1a/YfaZvDVWn7Utgim6T4qRlnUeYnrGx+v4g9+uPsO