eNrtWW1z2jgQ/p5fwTDDfTOGUvLSg2QaklzptVOOJHM394WR5TWIyJarFyD367uyDYGePUlM3E/MMKDXZxdp9exq1btYhby2AKmYiPr1drNVr0FEhc+iab9+f3fjnNYvzo96c7IgW8NwXLPdrdcoJ0r167a36QGJVPOfr1+uAOeDrJ8f1XrCmwPVO+OMZrz5iajZVxLbMbXeQjC/FoKeCb9fj41OWms9pSVqcb4U8kHFhELPzVq2e+nkpN063u7quRbvBcBGgfxComkubiBLYVIjJUR6QDRMhXwsgNaTk85pt5zWTI1BCSMpjIiejaRYMB/8fEGEKyglJFj6tyAXHLQVkgvuzmmoSoGTOVmN4fswX+mP2DvQK+20nPZJ+/j98WnrrNV53y4lSm4tVa40+yfcB04mx93uWafjBtKlIgxNxPSjQyg1wLgzj4XUhJfcrlEyuaKNYmqwa3EVyZHw/VmD8JmKOXlszlVcdqmIJNgNEqmhuj9i/8GdRLLiuGY/4UeGc/eVWt9nPFKRxpamBsJEuoBObsZlF2IgIg2r4h0tx4B6ldkiA/V2sP+JKN8BjIzHGS3LcshDBpS+Hw+LSa5ifrgkCu5ldQTxN4t8sVRvTzzbG12R9v9f2E3XelNap6VP1b9oUwVe6NpIEYOLhMTUPjwzjAKxL8OgmeZDrY20SvtMgiRBCYeCWMYpyT9omOvArjLTr+5YpR25oH9c35W1mL8MyMfbpJoLzfz+016XY+cqKB8N9DnNJfhM4k2gP9M6Vo3Ox8a7G/xsbLU5J5wJ1cQGbI65mbJIYekz8u/t7bdR0oB1jC3wWylho4xGJ+1XYpzBNzpXqYB3XSuia4Xgly+o2pGAbXOMVXQgZNhupXVESgqBTH5C4RsOadPcEzotZPUEKilSIWF3PpFLG96fnW2jUaXWv2jxDyAT/VHLrKdzlY3YQd/CT4phjIwV6XUfF8Te03amOVmjQ5mkHJoZ7DEJE3GXVYlbkgWot5SmRewRuSssbXMismBTovEq6oQQmV8kVQGRdLavxIyLd2tOgE4hC58dapQWoRNbByQ122tVn5W2B7YFw/tAVlMP9nxuLxuEsX41vln9bF547l8Awpm3VgtkgEygqBScP+1lu7naHeBsRhTCb2gomXcpxENI0GWtyai7dbCx5K37X4g3QOnEExINeQG3iR/MB6bKmdog9YW4nzd3mwK8uV4PeCHin4JwcjeDsAhxYg/FhEUWGPSE8CV5VBOIiMfB308IUvDmbNrOjUhfYexB4jj/vPyGwn5Hiu0HEj1ew5KXNaSyV9P04FSY1TEyP8pNvNkH181zlK+6nFwcPPDBAx888MEDHzzwwQP/Mg/8tl6Yqa2MZXUvH5WkRdM0cZpxqkh1L00kvj6OKJuueC55uu+DQDY/e3jIlaGlgT32I81sVZZ/Gl6/fUrr6TWgMrVHO9FudWKSzH0SRVSVPjbe/s87w+jGste3IGAFb9CFRthz0/fv86Oea9++z49+AAuQOcc=
LTL4D5uUnqb7hS5W