eNrVWF1v2jAUfedXRHlPAlVp0RSoVtauSK3G2qJNe0EmuYCZsdNrm4/9+jmEanRK1M7B0voYX+fc69zj4xPHF5sl81aAkgre9Vth0/eAJyKlfNb1R4/XQce/6DXiBVmRw2mdsDk+aZ74XsKIlF0/j4cTIFyG3+9uP4FBAPR7DS8WkwUk6sU8rSgLb4ic35Esn+PFK0FTbwlqLtKun2m1G/ViqdDU0VsL/CkzkkAc7UcOo4vx6eF4HOVgb0DVEvCW8Fkp6BStMBONCFz1iYKZwG1FvWdW2FTegxQaExgSNR+iWNEU0vLqCZNglWS6Th8AVwxUnqQUPFokS2kFThZkcw9Pg/KiP5poX21U0Axa562zTqfdOm2ft5pWqfDgU5V3wSwimmLEIJjNBYsI55pQhOg5wMmKzogyfC8bmouMKsKCFAK+Nc9kOdGMKGEQgkRwqZkqJlKewiZcyMyy50OBJo+jblPZf0lYR3kQnl5lVUplxsi2zqciSEwY0MiKu4XkK3hEI3Sm3X/jc81Y9I9Vj/Yy5KjiXOX6QnNVoUb9G9sP0Rdcwaa6o3YCqjZ7LlKQx4P9JXj54THUE0YTW6k0YqZBqtH9oFop34PIXBIJI3SnMt9MgWItj69eh2xxVH22E+BS0GzcbrbPrbflD0PKirPwSqPIILoEZJTXUaoBn4q6GmWIXg71TPP/nuE7qycSwqDC7I0tZdBQ+9mbOts87jZmESgF/Xz1aEu7rxpw+7B7rMu8xMURY+h8xBILeXjF8LftWIvlsjNXKpMfomi9Xof5pguT+bs5aQ5Mg7s/GCfOpHBqhWY7Kn1SHMNvbrrtDn3NttS14vv395a/NIdCDTXaUIi5M8kdXB1fxf/4cGdlD19okbs0O8+80wNXnktP6v9YDfg1GiH4Mp3SipujShLGUXFr1WvEUX5j1Wv8Bs8/YCw=
LTLNyY1G81dqvjUV