eNrNmF1v2jAUhu/5FVHuE1NW2moKVCtrV6RWY23Rpt0gk5wkzoyd+gPofv0cQjU6JWpnsNRLbPP62Of14xNH5+sF9ZYgJOFs4B+FXd8DFvOEsGzgTx+ugjP/fNiJCrzEu8POwu6s1+35XkyxlAO/6g/ngJkMf9zefAajAMIfdryIzwuI1YtxWhEaXmOZ3+KyGuNFS04SbwEq58nAL7XatHqRVMLEMVxx8UuWOIYIbVt2e4vZ8W57hCqxN6hqCeIGs6xRNBVWmrEWApgaYQUZF08t8Z5YaRN5B5JrEcMEq3wi+JIkkDRHj6kEq0nSVXIPYklBVZM0iqMiXkgrcVzg9R08jpuD/mR6R2qtgm5wdHrUPznr9T4cn/Tskit2tqo5C2YRKBWI4SXJsDK2RhSCLOcUaRaU1GQQ60BBnDPyqCEoQaRcLDBTiCxwBhIVmBIuEYk5k0iGGUkt0zrhQmHqKKFEjl560tE8Ah5fNU5CpNnYp7CQpe1WYYFNNwhDDncLqVbwIAzLKhf8o880peg/o55uSeMo4gpkI66ZagHO6Np2I0acKVi3Z9SOkWq99SIBeTjZ35w13w8TPacktqWh4ZUGqaZ343YYvhOOXGAJU+EOJN8JS/hKHh5Qu4ZwFH25YWyjaDnrd/un1ifvp/Fdy412qQUvAV2AoITtA6MxS/m+GDJebpZ6dvJ7MPGmJuMxptBSlc0sYWbc+1xEOjsf7s5e3dEo+uXywdZZ3zSIp/vNz33NFbu4KIxjDxhiTYBXKvO+nWtFM1lypUr5EaHVahVWhymM8/d0X+zc7u6+JpyUEHVJVZPXUejz+jJ9c15tD+Fr9cW+NfP2/9vavHEOJTTskYaa186oOr48PKj/FszOwp68wI27aTbF7YYjrionPd//C2jMroQBwdc0JS2vOK0mjFD9gjTsRKh6PRp2/gCcIzLZ
4vBwJnyvmqMWF6Ec