eNrNV11vmzAUfe+vQLwHk7b5mkiqLWu3SK3WpY22N+SAIWYOprZJyH79DCEN2aBt3Frro+2rc6+P78exc5EtibFCjGMaD822ZZsGij3q4zgcmrP7q1bfvBidOBFcwapZz7Ld3sA0PAI5H5r5sTVHMObWz5vrz0gCIGaOTgyHziPkiQO7VGBifYV8cQOT3MZwVhT7xhKJBfWHZpKKYtdwuGAyjFFCmYBkDAUKKds4oNyumkRup7rvgBzxBdCY/6DsF0+gh24ZXWEf+bX4ASQcKXkI1v4tFItJHNBaZJBwH3O3328PQOQtOfCLdbd3fgrShFDoA596HOAlDBGIEhSCU7vdb9ln0tJzB53emXvWt90ks6IkVApxvaOgNkA/y9yObXcV+Z1xxK5hHOqjd0xjgTKRs1wLrhj4bZF1msJOc1aoB0k95wFzr6ZKwAw93CG2IqiZDyDzKyFwY0U8UfXxPUVsc1csa31gf7jPayUnc8jRjJFa9IUQCf8AwHq9tnIvdtcKGFC9i5b8YYjTlMmu0oRa1Pr/r33ZAHHs0zV/4wSX9QMZlMeIyS6vqYq8lDEUiycnw47izvmr+sDOh6abYD6Jr5hMxG9BgBsasWCpGnhSeYlD5JcM50b4arUfwMoDyBjcHOASOQOsbccwDYLiUCykjtghlT5kKqJsaNqP2/8842E3KSweaSgWhecy7v2JA7ZXPXZ4MZ0DYEzTWDSkrWL7x3wssjJXMeKagocRzKboYVKP+1GeyihEy261e+1Otzfo23av23+NgChGpbbam1aatTYnn7YDTaeggA3TOGBqfaPofPWiEEvFfdpRE4VeNUXfcuQ+5A94z+QvhEj8vyiOU0LAcfdP50+OFEVlkx6lat6JTpDkyopPERez6USPrJRSvlFWHv94Eu25gN8PtfU/xOMvLdVKOifYg0J+03WJLh1yeXtQi/fl8l51FO4j1dbVx4cSVJOfsrTKn93bqkNZKM/+GPPKeMX4LoWOJnJ+07heMG9rQVWPXx4Z5l5iOiBXvKOTPwEOT+Q=
oeis4vcfMd7BwnBu