IyBTcGhpbnggaW52ZW50b3J5IHZlcnNpb24gMgojIFByb2plY3Q6IGFwYWNoZS1haXJmbG93LXByb3ZpZGVycy1vcGVuZmFhcwojIFZlcnNpb246IGRldmVsCiMgVGhlIHJlbWFpbmRlciBvZiB0aGlzIGZpbGUgaXMgY29tcHJlc3NlZCB1c2luZyB6bGliLgp42s2WUW+CMBDH3/kUTbZXYL76ZpRtxg1IwCU+NWep0ggtocXJtx9YRc1cFM0ib+Wu9///riVwwPJFIr6tLBdrFtFcWiKjfAEgUVb2UxEVCUUvCEPGbNB77Wavvd9rMx7RjRWrNHnSNeYzMg34U9yKhVi1s9hW3Gh0W1Pa8c4eD4/eBAfhIJwGeOiNnJokAgWodwdHS4Bq8Vot3qtwbU8SkPJB/tbI8T+8GX6dusNw7Lk1DyiVs3mh6KOY3pywW0Bj98ubOHgQzNxhJ8k6xTT1R4OwY0wRzRJR4kXBiWKCb78/VMUiehiQoLLBwXTDpHo81JIqTATvwPEwvhYrikGWnHTo1nZY3QEqsurn9S9ALeYAJFXUjwRBZq/1+IAuNW7c0kZ7ojPHgK6+E+OquawN1FUUBhFpypQ8Ft6FdKkPZAVLiiADElNzp2Q2SmajtKT8wJjAnCa12D6q1cb10vjVyjHqRZ9qYjvjk5XmPqGFPvVsqB2PshfK/LJ69flptaSQk/i0UMd0TaDzfnVOxg8DUEg0