eNq1WE1v2kAQvfMrLB96M+arBVpDlFBokRKVEmirXtBgj8PSxevuByH59V0wUUhrAl1YIR/YWc+MZ96+eXZwsVpQZ4lcEJa03HKx5DqYhCwiyV3LHY96XsO9aBeCOSxhZ5veV6xUXCekIETLXVuLU4REFH/cXH9EfT9yt11wAjadYyhf7FOS0OJnELMbSNd7nGDJSOQsUM5Y1HJTJTerTiAk11m07xn/JVIIMfC3K7vW+aS2ux74a2dHeFUC+TUkd7lOY27kM1ScYyI7IPGO8Yd81+Gk0qjXmpWqUQgihiiY4iEOQM4GnC1JhFF+JKACjYLE99Et8iVFuQ6S69yfhwth5BzmsBri735+0pfa2pEr6ZW8cr3SLFVr+teslYxC8Z1S5YNHP4SfdeRtuV72Y+7rexSVIL0IPY7hDLm+DFs1YFwCtdQkIjov4WYpDsffB8EQEZFSeCjORWpaKuCgzcg1Kdh7kPUTjLimKapr9pf/RFHq/2fW4y2JWMp4zVEdphK5h0t6Q9NCdFgicbW/o2b0J1dbLBIU53P7yJJ86h+oKSWhKcNpDlIo5HjY309wFrnhCgSOuT1y+E6SiN2L85PObpMtZZ9uePO18dl4VzU+UT81nvZMn67iLEVfkxERp3BMP4nZqeyiIZrv6gmgtrC5UUYsBIp7tJFnyDsalE9Szhrs7R2pzJDr9FN3ZIqWrwr5w+3mb65rErWe+2zGyjaoXoPzUOa9y053NLkdX00uO6P+t24LaMrhkVFYvIFF+uEfu5YyEEKqT2e+nQgWU6Wnd2Ynkeb/Vjqp1pqlcq15AtEcoder9YZZBMXzeWwmZSre+/4MhCdAd6ioz/CxI+fiUG2Pqe8xNT5XnfXYeEahvZcWK6omU3nZ0LCU+jTTAscDxZRtDmmeU3X89v7t+0JuDMkVntCHbDBZGx/97vkn0rOIt5b24AWP2QuzEdwgCUtsKT81fYWFjWegbmzS45odvsQx2fMhaS8wAz/7iNUuBP76A1a78AfNn05Z
3AAMBAbQky3Uy7J4