SOTA1:H4sIAAAAAAAC_6WVTW_bMAyG_4vOceHP1PVxhwI9DC3W47CDbDOOUFsKZDppEOS_j5LSdXFsNUEvkUmHj0nqFXVgW9C9UJIV0YJJ3gEr2A-uh4ZcC1byHl409ID2vaI_a1FDz4rfB4bqDSiOBUGvkAer96BSrdIU5tbiwOgnzrIFayg8ConHipQWzorweFxcIKBuIEAhcY6ROsYytQxyT1E2HBG09IHiOLegaJlYUhTnU6RGi42_qPul48Seqj4pwdp0cC6n0BUXZV-xNi1HGFFCy3AETzwKbKHk-tsMb1vG7Z3ZqB4qJOkFemjhSlIymdG3Aa3o0W1OUPLqTcjmWgVO0aq1Vp1XyHYtT6tPyXQeZhJK4lN9savv4d7baqTtDhqlapvWpBBtbQaZZKeWhV8jd1zLiyJT16vcpZZ7MZw0sIXb2p5FUyQ1YCvkWAjRQ346Xk4ItmHcoKYl2X6IUu1uSyoN_cDbYNHV2XmHygibT-Zoxr6dB2Yq7OcH1HWiRXif1lf8oa80cZzUK9lyQKRKW15C6x-cU3n9oceuFCDxBbRQ9c_eTunwjnLolOnh82rFCtQDLJi5d0bmK-5pppgxaK2KGyuITPjpfnGTUtX7R0Xn3Bh2MP6zdkLWave84ZXAPX38v9AniSB76w7v4k93R-edGsDOPa9rHmfLS_-j0h3HM_9ZnuuhfKrda3r8BVvhLvrw-BfEcJS39gcAAA