SOTA1:H4sIAAAAAAAC_62XzW6jMBDHX2Xlc6iw-WweoFIPq1bb42oPBpzEKtisbZJWVd99_UHVBAyFTS8xduQf_xnPjIc3cCRCUs7AFm4Aww0BW_BEm7YmPx47oQewAQWW5FEQSRTYhhvA9RZBKyLB9vcbUPyZ6N0gCCRXOFBU1SQoec2F3unG7RvQPyhJNmBvCUU_w3Z8f9-MMKTaE81iaghB0ELyxFHifI5SHgRvHCfApaJHMsTF6QpcK_heu0H6hOVOFzT6DClK50i7F6-L4G1uKVnqICiahfCy82qBSezE5It87TiCsv1STox8nL2grd-sKU6UzHOCg4m166yTRB88Z4Ho6uHpwzQ8i0g7m-Z49iOYuejpz9xMpwHWlqDA5fPY0wg6JXnWk6AlRakPVFOpvqA5XVm4RJckde-ieRqM4z4qnZ9i6KO5NJtCRd50S-C8LsFP32zpGdEbY-u49kAYOa2zGkZ-FnselpakLy3ZkiKlyIuaqLx2_DpjDCEoBN0fvgPkde-aq8BSKtoMGSG8qJUhnIMUnVL63GtckHokBvZG9WmcLCb5LxX4kTAIucISLQd2klSjeoccLrl1uAwtxnnrZ9Tzog95s7yyE1JX4rkbfWE4tJhpSf4ciZ2m3HLiWUG8UzpJyISW-PZCShr7EJTpXmZCyfmVMHshtLzt2uvN2VFSV9-khYtqMtcGjllyRgFv8d-O_K-oHZUHQyl4UZArY-esk7s2CHVjOa6xyz1t9k_U-XVKTLPd1liZblm0chTQyPWCMHNRlKJlMNeAH7hsqcJ1PU7_1N1GWbZO5JHuPf3qbV-aIgubr5yfLEY6JfCwEMPcWYziviGL10gLKlIrPHUkH6UYzTf4WCki2Oow-6Mfm4ISph6JoLz6Kc2rwvBGG9Jw03E87HZgu8O1JBtgvm2G8yf1qttL8w1mZyU2swAaQC_KTPWbefV6x7W6rTbIHrWbaf-fKKv46aHFJVWvGnW2954pwqRdDm_Q53Kjg1lbDy5Xng4YJel4_Y6LBquL9Quhh664r9zf-vEXOVL3YRm-_wPZKjAsZg4AAA