CAT(488,1)
Sparse6:
:~?Fg_A?G?`OBgN`ABgO_}AoM_sCGK?}AwL_qGo\`}FgV@uEO^`_FgY`qEwU@MDOP`GDGeaaHwjAqJOiawIW_AMG_daCHGsbIKwnBULopbWKGP`MChCB}OG}bgNgwCAMO~bmNG|aEGg_c}RhLc{QhKCyRPJcaQXFcKPX@CYO`C_iAgIcMOh@d{WH_EEVp`dwTX[DMVPSd?VHQDySP\dcThVDmU@YeWYhfEeXPgeGYxlEQWpk`UDgS`]EWW`MCWQbEKGncIOXBciRHJcQPhDgW_IGGI`q@gK^yDFu`@}fg`h{Ga]qFf_^X~F]]P}fg\X{FY]psfc\XuF]]@sgKZiDFA`@nfC_HqGI[q@i[@wH_aAwL_qGGaaEIwiaeGwdaQMGxbiThWd]SXQdAlaxjklyyJakQwjGlioJ]nali{nY{Iykqli{lYsIykqijSjIsImkaijCjIoImaQ`gkgyIIIfaxjkgIyH}eq{jsfY[JyhqWhciIYIehqTicdygHYhaSiScycHIbq`hCgyOIIbaeiObYdGqzoC_Y@ZMM}{RNl?{JJM}rRonCrJGMqqbmkczZDMqprmkWzZhKIyrCmgozhKEya~mkoJ\MMvrdlwxJ_LivBalkwZfLeyBVmWuJPLQsrUlGtWH_a@wG_e@{XPXC[QPbDsOpLDkTPbDCVo\D[HPRACRpH@KEPF@SOoHB[BO~?SMnK~jqOA|B~og}z|Oq~CJnS}JvNi|bx_Q@gD_Q@WErggYbiIhIeiVKsvrdK[wRJLCxrXMKtR^McdrpH{zQZLCmrXKKtQ~Is|r|J[}QrICrqhKkhRFGcyqPNKbRnGS|rxF{~QBEkZpfFK]puyZjmizJmmvWDEt|QLFTzWDPt|SLNTzWTKuLRlaSvQT`slW|IUJOl@sBO|DsRTTZtXV\VTrUDQtPUlXTN]TcvlXlyUVZTrvTZ|mVRYduup]LjV^[TfvHY\oUb`T{w\^mEVv_d~wD`M?WNDkWp^U|\trULYtfbeTxXcMNXRbePw|cmOXNaESxXamHXVauPwtc}KXJhcwrfL|rvV\LqvF[MkYbjeeyth}eYjiEjy\i]WYNeUcx\h]hYBgUiyHi}lXvje^ypfmYYVgu[yPe~CZPo^BZNoeq{Lj}p[Foeozllm|ZVlu{z`nmy[BmU~{tpNN[ZrfD{`qnH[rpvJyVhMb|@tnW\FsfV|Lt~W\VtFU{Fo~A|c?V^|g?v`_Huv__HvF^_Dvf`_LvV_