SOTA1:H4sIAAAAAAAC_6WWXW_aMBSG_0rla8LifAG52yZ1qrSp1XrRi6maTHIAi2BntlNaVf3vO45TtQUHQrkhsY0fved1zvF5Jg-gNJeC5HREBNsAyckPBSAu7r58qxq4uFK4OCJzpuFGgQbT_lPiNsVL0CT_80yMXAMSSBBoaVhguKkgKGQlFe50z_yZ4E8UxiOyJHkWIZHk8WxEGM6m6cvLaA8D5RKQJcw5kGKl5MZhAlYY_gDn0Goll2iC9smiMwdKZw40OQRaPHr9odOOkTlGepAhi8arJEpoS6H2iRgaJcc5iovlUE4S-ThLxWv_qfdx4vQwJ1jZ7-y86DTgqUsRqKYadvSTzIcZvD31bm8DCeasWHts9nJiL6fi2nwCFmV-a6rOnFNYCfWxXG6dBErpYVFKbnt4NJm2PJsf9gvIWh4NJ4OB3i-LTrrsi53M2GGTuPckBGxPCpn2oMT6nKpk4HG3BMTOIPoaSnpsfzBXfLnaq2nppOVEoStqNM2OgrzOfoJT8s1e5reQmTv1KDqEmDfG4JFXbA7VOd685_RcIJ9UFTQayl1pXWmzTAubDoZ5Xc8yh5uGzvXui-67Khulseb6KvhJltVMoCB_WsRhC3oVlLkA6dRbn2pZN3UfqFMUugSJaHKItOBQlT2kpDMpctcJBjVAk1Tlnt09oB6XZGMw72EYI0uOGh3Imv1rYJDfPZK4wPaut-S6iusak0l2yCPM3B6KU-PEhA6RIeIeXzdzDsLcgOKy_IVtZRqG4Rj_s5G2dl8vFiRfsErDiNi-cHd8a57wfs6jblQwOwrHGG7NjAGF6mx-yvLpUmK_lAfob9umvg23XJRye12zgpundrNN6W77lTAgdLcQvU1v2NJ2zOTjzO2KRWm2P38p1YaZD_Od1IDaWFfN_Kp0y_j6Gx64a81xyZbEXa2u-V4DiiLfV8zctbNjhdfdOCRuT8dv8frdu3yNE0fTiT1Ex_nZsK9lKcW4HsviMTBSVtq-_S1rPRyJafly__Iful5yGF0MAAA