SOTA1:H4sIAAAAAAAC_62Xy3LbIBSGX6XD2soIrFv0AOlk0UmmWXa6QBK2mUigAnKSyeTdy60T20KyXGcTGWI-_5zzczh6B3siJOUMlHAFGO4IKMET7fqWfPsuCGFgBSosyaMgkihQxivA9QpBGyJB-esdKP6sv1SCKJJc4UhR1ZKo5i0XeqV7lu9A_0H5Cmz1I0010YKwHX18rEYU0myJRjF1wsgzx0BryyiKOUi9E7xzmAjXiu7JCa1ILQ0aZZqGkllcL_hWB0GGdBXQk6AjrbM50uY1GKCLNrfh9RCUAtPEaSlip8XE-xxHULZdyklQiLMVtA_uapKzTuc50c4Y7brdSaLzzlkkhpZcYcfAcpjeuvXGNJXzkgakWWi93UlU4fo5EOe4cCDovFPkFrQOgloq1SzNewgWDpbG89FpfXwmpCU-2JmLEUIOl8AQzR2xKZTP22m44LwuwV--dqMHwKC_LsLabDAyJXGivMB1mMWerypPiryelgLr7QOPnzkshhBVgm53XwEKRfeSM2chDe1OjbSG3ki-SiZzkGpQSme9xRVpR3vyoNTXbPNcRgrfJhDmPl_IAq3ShcBBkmZ0YpDDmUJjcDlajAvF_vZ2eezrQUhdgIO3-GVW6DHTesLnAzlS4iv57Pb4oPQJGYU8PxbjT0iWhBCU6QZmQkpsMfH5yPS8H_qp_biErV365zsAStrmi7Rw0YyvycxRkBeTJIuTFPEe_xnI_4raULkzlIpXFbnSPAcN3LUu1O3kuMAuj7RZP2Xii5SYBrtvsTItsujlqClBrhmAubsmM7QM5rruHZc9VbhtA35w91qeXyZyT7fjhs5XEpi6CjxfNz9ZjAxK4NMyDAvf_vgyAJNLpEUNaRWeSsm_QowOLs7f-mNXUcLUIxGUNz-k-UIc3-if77jpER42G1BucCvJCpj3kNPxk3rT3aB5W7KjGptRBA2gx0oRwcxQ_zJv3u64tm6pZdgEuZGO2gtlDX956HFN1ZtGHay9Z4owaafjG_Q53WkL6jCA45mnHUZpNp6_46LD6mj-SOhuqO4b92_98SfZU_cKGH_8BbZBGEEQDgAA