CAT(880,3)
Sparse6:
:~?Lo_@?A?CA_AOD_R?a?{@gI_S_h@QBoFGMo\_z@qBcFgNob`DAECCQ?ZOv`rBaGKOG]O|`~ByF[MgZou`pBeF[Mg^o}`zBqGKOGT`BaCAiGwLWb?saIBIG_Kw`_oaCBEG_JwV@D`YC]D_PgQod`NAYCcHGRoe`RAaDKIGyPtbnFYLkZGxpqbbFAL{ZgdpIaPCeISSwfpMabDAHkRGipSanDYJ{VglpYazDqJCUWo@ubAF]LOZGu`jbOFULG\Gw`fb_EYLoXGv`dbCFIKW[wLoY_r@aBKEGKoW_v@iBSEwIoV_l@]AsDWipSanDYJsVwlPZaxDuJCUXSqgdfJIUKkHVqmdZIqT[ih\audsJUV_lh]ateIJeVGpH_awe?J]Uwox`AwdgJ}VolHAbCeIGQOoohBbBc]KAPooX]aKdwGuVwax^AIduGeVOaHVa\cwIySwkxRAqdIJES_kHSabdOIISGjXOAkc}ImRoig{ATbqHQOWexLAAcqGEO?eG~aVb{HYNgcw}AQbuHENOcGGoO_b@AAKCIF?I_V?u@cBwFOI_V?q@kBgFoR_d@IA[CgHou`nBaFKMw\O|`xB}FsOW_PBaDCUGcPgboi`VBUEcKwXOp``A}DsJWUQFcLGUOcbxFQKcZGmPSaXCQOcbHMQSehLqXcpH]QsdXITaImTEipSIkdRioTIkHRyoDMiUTuhPVIndKiYTyihUyiDYimReipMInc|hwTyfXVY\D[hgUEk@LYZdWhkTejXKiXdYhATmc@UiPD\hETqjxIyTD]hQUEd@WIjcdikQQjHHykCei_PmbPSYNdRg{TIbhRyfC[iSP}bpQyMdLiWPqihEyiCYgESU_PPIBdHgKSa_`PiAdFiEOY_xOi_cCi?OUfx?y^CAiQPeb@QIacNiGOyaxPyJDEgiSEa`OIHdAgcSMfxCY^COgcQEaXGIIcjggQicXCYPCOhOPedHEIJCdgmQQ`xHiFCfheK]WpKhdc{eSRuXHMxcCyeaRUY@LI[BNhqKyewrYZBKgQNm`?}h}cKfwOu`W}YDBwgQN}`?~i?CJgSOE]xBXzCKfERE[PKHsClfQQqdwxYVBce{QuZxJHocnf?Qy[xKXrCoeiMuY_zHwbRecNAZgzxmBmeuMm\OuhybXfgLa]WtxxBUnW?Q?kAWCOF_L?a@K@GAoF_LOm`TAYCSLgX@yCKGGNoa`FCeHCQwdPLaXC}HsSWgPRadK]WsqXcRJeTKuXcrxfROeb_{~t~cFWDO@_O~}@r~wEO@_d?MAC?wJOF_h?UBS@wKOD^dAMCB{V{Of`G~l}cIvzOh`[~D}SJVzOr^hBEEr}wYNx_S|m@BuVmOL]|?|{CCVpOR^T@\|CDVrOZ^H@d|sFWNNl`CqUCBHwRKj`GqddsIuUOhXdA|eCJUZOrXhBEErMwYKx[K}TobxvDNj[O}dprzVENn[c|lqBuVnMT]wx\{ReVLN`Vk|\]btVeJ~][ntyQ}vgJxWK{|_brU?NRWC|D`RtUCNV\kt\ubTUlMxYozljrnumM|ZC{LkBoVbLdZK{TxRYvcLhZ[o|`bZUwKRZcpDar\uyKTW{vlbb]ULL~WovtcR_UOMB[{ltravvOJb\CmDsaxVRJfVSyltAyTvMnVWytuQ{vWJpYKk\gapTdK~UOrtgQrteL@Y[lLhasTiLJUksdZRStkLP]]{tyztVhnPAmDSJWUOn`\BEECKwXOt`hFeNC]w|P|bxFyN{_H?qAcFjXRYh|LIetQhvRaiLNijs{ijSIj\OIktEizSQj|QiptGjBPIk|CIqsYjNPaklDirsSjJUib|YIMtihBUac\HittghJNid\IH{r}hVNqdL?iVs?hZQy_|JIAsogVRI`LKiEsog^GIh{_IeqEibTIOlThDtScRGyj[bIkqQi~HAjkdipqSjBDIf[SI[s}ajRqI{UIYpYhnSAK{XI`tEazSQJ{WIdpaiRHiX[eHcrMc~HqXkghhrOdBIYY{hHiqievIaZKjhnqkezEi[[YHoreb^MQLkygxrgbbNIMk\hwpyf^Fa\k^hzp{fjByU{NHYpAdfCAUKmgbqwaJCiW[oGcpMd~CqVkMhboweJ`aomEjBuKojWzA}FjDw[kRaYq]HJGuSpFXZCLekTuWpR[y{|rJqvUn^]qylsjtvOnR]I~\wJ{v]nn\q}lujxvWnbXyu|fJYuilvZatLjj^uklz[Iu\oJWvElN[QslqjPvGlB_Il|ZK?wEjf_QmL\j}tsn~Vz@}BI}u?oRWJ@]Ci|wOjrdrPMVlDxqrrfBN]\kvxsrZfzL]^KsxasFeBOM`krxcsJdjE]KKkwuqjbRI}JkhxOpZcZF]PK[xIp~cbFmRk`xKqBgzT}bLUyatViBTMflRy[tJjJR]eLWyysnjbQmllHyssbkbXO?|f?Eufko?esO@ZCuM?ZVuooAY{uB