eNrNV11v2jAUfe+viPJOEroBZQpUG2s3pFZjtGh7Qya5ATNjp9cOhP36OYGWsAW1hFrroz907ofvPffYv0wXzFoCSip4x647nm0BD0RI+bRjj+6vaxf2ZffMn5MlKV5rOd641batgBEpO3Z27EyAcOn8vL35DBoA0O6eWb6YzCFQe/cSRZnzlcjZLYmzO5a/FDS0FqBmIuzYcaLyXcuXCrUb3VigIqxHFEwFrn13u128Mh83ivu+myG+AJrKHwJ/yZgEMECxpCGEpfgRYRIqWYhW4YCoWZ9HohTZjWVI5bh+0fba7jxYSDfMN5qt9+/+WYewBE6xJkkMCdZisYgpYG0pmOCKUKzm4uoxBaUOhmk6bnhes2J+RxLwhvCpufT2dOyQqizLpeAVHR/kVWfI7STLiggIK895hOPrYSVghIc7wCWDw/lwdTnFjKyduYyr2vieAK7v8mWpDRp2CnVdycqESBghK4WfKRXLD667Wq2czIzXdCJ0qwZjpIAQpEhQ08oh1Ly3/3/zawakPBQr+coVrhuIINHHgJrmDbVRkCACV4ZGw2Bv7hgKgco+v0b9gt+iiB6gYIVJNfC48AT7yC8Zywfhi32+B6sPCCJZ7+Eyzf7OhitsiwGfqplWEI9IWxu6BiHt2N7T9i6Gch7JrzzlIV/kpreO7058dxPrsXMLTXJ/TyRcHSjYisxPZU+l22KlIA05T+YkHcJDvxz3oz7VXqiaV6u36o1mq91qtxvnF6doh3xKGmu+YYGmjRn5tBllJrUEOTCII6xGHDn1letBqhn1vFFNDwbFEn3NYfuQPeA96g8I0/h/pZgnjLnHxZ9MSr07VdQkRwmaNyIRdHZ1yycg1WjYNyMptYw/KCmPfz2N9pzDbye15b/D44PWeiWZMBoQpb/opvSWCaW8OSjF+3J1X3UW7jw1Ruu9ffVpyM62tba/utfVh7pRnv0tZo1wwvzeKh1DyfkteLlk3vRCVUV+daSbO43pu5nm7Z79AWZqWFU=
oeis4vcfMd7BwnBu