SOTA1:H4sIAAAAAAAC_62X326bMBTGX2XyNVTY_Et4gE6VNrVaL6ddGDghVsFmtmlaVX33Gcy2JBiSNL0J2Mn5cc5n8x3nDT2DVExwlGEPcdoAytA3gJruaAnw5asE4MhDOVXwIEGBRlngIWGiJCtBoeznG9LiyfwoQ76vhKZ-SznUfk6LJ8YrE1uIWkiUvSHzEaceqlC2Dg0SZSTyEO0v-P3dm3JE27WfwGHcpD3DIcnAicjAwcESZ8OgLj-jrn19fNHS3x2chYvjBZmELEEeYXBsyzORAyhJlkCi0zXjcB4jiVwIzXQNvg0_qghbCrFKh6ulTKCswLC4vgZSbKVoLManhWbPcA2tlaIy-1-50opWFoSxBS2qvHlx6hONKgeBZSwu-UYUnTMTHKYHi4XJ6jRHTrfzLCciLk4lWeusapYTxsscf9tbzHXVKTCrLrgvu_q8pU8TF-bs8NgZPhQy5xpOTujk1EzpD8BI4pamHsW5hOW2M_tuXQSK8XJSUuzm_DoeeDgZDdu-JjhIzwY6d1YUWuxqbdMkFhuFsyvBYXdRyXgGxZ-ucSUNLxMLWAejG40SpcEpgp9LVm2PQWTsjaT3s74L4fQkyKXtRzgla47LwtZkcYjHVh0vUfJOa7PuNc2hvk6gfZK7j1yRmt8pKCcNN7K4dMxveQsc4JyuuR53VGhPE3iFF9tmJ5XxX6ebX6Zcf5psa6r7A4FsFUxe5fjAzYfrQgOm1ZzJkGg95hWMrhCeJE1fvMTK_ld1stfFf5nbJmfA9QNIJsrvqt_WQXBjnteI3mHuNxuUbWitwEP96WUYa9mNw0f9appIf3IeRgXtRz7u41uqNUjeD82DRfl6K0xbz0wWw2Hq32jHeCl29y0tmH41-e3F3nENXA3TwQ35P92YQk3Z6HDmcUtJnEznb4VsqD6YP0h02-V3pf3a3P6AZ2b_NwTvfwBmE8IrRQwAAA