SOTA1:H4sIAAAAAAAC_62YzY7bIBDHX6XyOa6Mv5MH2KqHqlV7rHrANrHREkgx3jRa7bsXw2S7ibGDtc0hBEf8NMwM_xn8HDwR2VPBgx3aBBwfSLALPklC-IcvuKV1sAkq3JNvkvREBbtoEwi9QNKG9MHu53OgxCPRa4Mw7IXCoaKKkbAWTEi90o6750B_xVm2CVoYKxixGV9eNhMQaVqiaVzdYLaloaDSQMZhnlF3UhwsJcS1ok_k1qYEgU1g0hLtKEWrvdC7rIqsUQgZThItcfZ_nP5BsWWkhbVlmSHqwWlIDhRwclnep0jKWz9KGrsoraRH946K3Ho3tTtKLSXJlilhN2bYe_bVEx1swUM5sNuIJ6nh5FuDSRODKXIXxbEaZcixo8y53OwirHD9OPXvJV1sqJPYYBInhtFerWfFudsvDDyzApUiF8oepzWcDC2bJMVpEVfCGbUhQ1HhjXMmlIVubR7EhYWmyWwIODmt2S2aIfFH9-qtVY4sXlQgzAmbsQLyOrKyCEYUpRMjjsPx_RjKdUWYwdjTmliRLpYoe0pY8x_29NY1oTji3wPxoM052npIyIZMRe2qio2CMM8Rg9IhJ16IPHURFPmjJsvL60IaLe5lJISVpG03D7JyZvT6Dsh1lFZWdsNp6GFiTQYSb8-kGecp1aCUPuYMV4TdktKLSlt7EMp8Se42AWUFmFaAaYU30OUwlENhHCN33_H1IHtdFt1NVXoVQjN6NUS3JkWQlBazBDlR3ZopF2RlIhyxUkTyhS7P6sdirTcNZ4VleGRYTQJXFo7-TufDvW6xoT2uGGkmOYogEXJIhMXA9UqbFIr93unxLUh_kfskgWWdsOSTHtaKbZxs36jtXYrTpALyPIk8xM2yKjxxEuQkAqWN7kNaIW4pMUBiKKtLkPHWYsKvU0qqs7PCvqpt5kli-PxepftH20tKeMPOE6WC28ylD0k9ee1AWePuJApIg60fqRO9ovrKhiZRBF5uA5DHfjx7ARwLH-bT6hnHIPJ5vM6BHWbCuV-bZNGK9AgZwc1MP4hKa1darIiDG_iaK9AYFp5ITgYlMZsV-kvmeZ6IjmCmuonawwm9an89WWFDmMKTkgZxtWKWemaLuYHe9mnWuByKt69xT7SdlMeLxCLoA_zF2l23obFAW5Ds9I1k_9I_D5U-5uobkVQ0X_qxwOvPR23EQYyXkq_7fbDbY9aTTTC-37id_1BnfeUcq6-Z1XichWgEQK00QliJ5vwgtHqPE3PeXmcnyhtx-nrENdU6uHu79DNXhPfTxwfcjq98gusnPzocZ_n0-YOQB6yunl_Z2Q3V58b-rX9-J0_UvluKXv4CPOW2yGkSAAA