#AIME,23,22725,ESJsys5TKtq10s1ySEuSNtUESGXSF3stghGB2YTJg4wTPsBjXbHBcPn@GtSESF7SKD7GTETESF3ttTESHD10EtSH8tvwv@wSP2EXTEwSJVNVGXD@SEbVHSEXVKuWGq5x@uSKsYEsxXSGSEUG@ETI@wqTJSIVKxSg5xhHan2@TRTEssBiXYS@THsYEttUh2lXaPRSggqSmg16TEtxsjESEsSHTK@ISEuTIUGsSEsTPRGTQg5wUGTGq11SHm2KXbGusVGvXg3Bg2YGuqg2h2Esq2@YSEbTPGD7RESE@GhESmHSEsn2XSg3SGg2snXTHSEXhEXcQSPBC@gBmB@Qg@E@twSEXSHSQ2T@XShGbYGxSPEsTRPRPPQ@qBE@IsgsXgD@Gn7VGBSP@Qh2hGBGUg3SEXTETGTh4EYIg2XcBIYETg12g3SExqq11wuTLSHSg2sUGSGTLutSKUEtwUESGq2uSESHxSISEXSGutxXVEYESEWJYq6umIuuTJSIXg2YSP2YD@g3hn2SIhh2gTPUIgXD@gTh4Gm2BgS@sTg6qgTGSBsA@ETBYEYQhESBYET@RSEScPA4UED8PS@3B2ihpETHTPSh3B2SGBYbE@HSm2Hn4UPEbIuSh3PXbJxD@ESESn2TH@aTEUgTPSHgiYS@GX@XSHSPIB2Sh@EYHYGB2EXC@g2bISg2acXh3Gh3GSGh4Bs@2ULtbGtgYSEaSGYBD@h@nhna2EXSHSG@EqXUIgSPXB2ED@sXUESEXD7JTKuuSHWGUJytVM@Jq5THVETNVEUGsXTEVEuvSJSEsTHsTIXSBTg@HTHYJnD7HSIn@GSISEUGTGvD8GtvXWHUGD7g3uYJSESEUh2hGTgSJSEtSg8Sg3Sg3vSh5GBE@XTE@GTEYUg7BGdE@H@GTIUGXlPH@BEUE@S@PETG@qBHD@PY2Sh2EwYD@THSBSEXgD@ETgTQSGBED@qBuS@X@SBEX@2dP2TBE@A@agD@BD@jbGV@GtSh2IbYSID7BtY@PsBC@cP2agTQs@BSC@YYHYPUhRTQYE@XBG@EYTg4YBs@HcQ2Sc@SjHXSgg4BcESHScYEsm2GXgTZZ,