SOTA1:H4sIAAAAAAAC_62Wy27bMBBFf6Xg2jJE6mFFuzRAihRoY8QIuiiyoKSxTVgmXWqUBwL_e0ei3MQvxU2yMUUKc3znDofUM7sHWymjWcoHTMslsJSdV6iskvrLzfgbG7BMVjC2UAGy1B8wQxFWFVCx9PczQ7MACmaeVxmUHsIjUkhuSmNZ-szoh8fBgM1YKnxBLBoDGiWNUbReDw4SvMyq2XwXJHjoQAF3oDB6EzRv1H4Cp1DL3bR83lK4iFoKD8M-SlYjGu2VMoPyYwa9JnkyR3UPnyfNqysodnGNngYXhw6XJCfjDvovxLb_opeX17Yy1nOEDzm3kpokZTJfKD3bRXG_RY1iRzrrBZlVvToG8jvvnVdxy-EiOcRRmprqCCduMYmj-H2UqYKy-AQ1XVbGFnslG7mKJSOH6ThH3DE1lkrvbcrozEk566oeua6Lw0MMAix2AJFzRHDeedJb6-njwR0zchCedIaMejOxdbmbhgg2MjpCJHrSmKpqTkUhU7Nsvw8aBxqUCFqUKzKdRm_uXc-s5J8aTqn1sR1szYyO9MpDpfcObD_oKuV6IejthQolgvcgrT7ESsRW0QN3EPE3SHtGhVtVS_w-Qe5IPNIPkdMTu8zCziOfindHj8tMgcYxWGWKH3S_eXxIf7U0SBfk9XTKUrQ1DBgUM2inU1lW3XyCT7RX0rCb5bKZ-UPq35VEBMopbcSb4unSkEvNbYsKS3AzMvxB6cI8XK9krvCpCY1H_2KvNIKuunXxsryUs-a-Ztsrk7kUUby_fmnsUuLWeqfT5Tmvs6vCvabHG7hX7sOAXjV3oFPq8Y1Ud_8vgESxi7nEX-3q0EKOQ5-5mI7f4qtXz2aTJh-KpoSO8t3UVsvyXbE_xxcvInYJ_BTCxORKlv8LoGPoNQLPbxUuSImlbQh2MgfA0_Pxz-IDMCun1FmzCbVHU48-adHx5BzsBnK1gq_GLN7l8gYzWaiyrN6HQGPh9ur0WC7i9d36L21J3iCpCgAA