eNrNWFFv2jAQfu+viPJOHOhK2RSoNtauSK3G2qLtDZnkIGbGTm0nwH79nAAlTMnamlrqI3fOd+fz3efPBBerBXUyEJJw1nWbnu86wEIeETbruqOHq0bHveidBHOc4fKyjuePW37LdUKKpey6ud+bAGbS+3V78xU0Agi3d+IEfDKHUB2sSxWh3jWW8S1O8jVOkHESOQtQMY+6bpKqwuoEUgmdR2/JxW+Z4BACtLWUvfPxh7I9QDnYC1BTCeIGs1kl6FQYYYapEMBUHyuYcbGuhKY4G581O6dGAYi8A8lTEcIQq3goeEYiiKq3gKkEoyDTZXQPIqOg8iCV4GgeLqQROJ7j1R08DqqT/qy9fbVSDb/RPG+2z0/P2r7f9DtGoUSpVNWtozeBdueBpgKlCeU4QhEPJSILPAMks1lDjwhq+c2PDb+N9p/47eKTsqGVG2IuMNGhDc93yIXC1NLJEtk/7FBLcQQ8PttBEZEJxWtvLhPTUmGBtRuE5hF7G8l38CA0s1Fds3/wWUopemXWoy3vWMo4p7U+T5mqoZ/+tWkh+pwpWNWfqBljqtW2F8nhyBwH+4ez6ttimE4oCU1pURNXClKN7gb1rPjeCOULljAS9hjlJ2ERX8q3Z6pyZ1jKPinItv6a9v1zM9wSMx2iv0QO1cKXynNYCe3AQuD1AS7VJOPdF4tchwKbqVhLtx3SNoY+PFh1Xf/J/F+dUvifilD8KOJus957ArTZqAnZDtiUH0uzelaroXaT+q6GtJCiPMQUasTo2JC19XTutLO1+bfHLRtHJei3ywfTa+xHCmK9GYtKaBJ1j5LooY1rUvdzbd6vn44N7dl7paSimlNjpRL5CaHlcuklMgEvjN/llVlSOvaeWFbk1GRz2b+4+qZD9JwQOlbcb7/fPiIqYyiRGlPWE99aY8XB5dsT7V7ZW0t7eMAM9sIUKhwrwpktZZdOjn+qDdiV0FP6fTolNX8+1TbhXgAFKFdjvZO/1iBVyg==
mpfr5UzvneltibYn