CAT(2808,5)
Sparse6:
:~?jw_?O?G?C@W?X?I_DoBW@{?y@[?j?SoJODSAo@P?__OoFwCSAQ@F?e_RoHWFgBm@x?y_^oNgFkCEAD@?_aOPWG[CUAF@C_h?RGHsCuAR@J_dOROG{CwAP@K?bOZOIKC}A`@W_lOUWIsDUAn@Q_hoTGQGFeBt@z_~O^GNkGEC@@~_roYWLCEqBT@j_q?_GKoF}BIA@_}?\gN?FuB{@v_{_[wNOFUBu@s_uoZwLsDwBB@a?noWoKCDkBb@o?moV?MSKsBN@h_sOZGLSEmFgBU`jouGZ[LeEtBR`iotGZcLyEzB[`nOvWZWL]EkBX`k?ugZWLuE{BY`m?uWXkK}E\BL`forgYSLAEbBO`gosgVcJmDzA{`]omwV{KAD|B?`^OnwWKKMEDBB``OoWWcKYEJBD`bOpGXCK]ERBF`coqGXSKmEXBI`eOqwVCJeDtAy@hotOVCLODrAM`GObwUOGaDeAI`Y?aWUgGmDmAL`Z?bGUKJAD^BU@VOj?ZCL[DZAQ@YocoU{HCDlAr@JOk_QcJOCjBR@JoeOYkLOCpAE@So`OT[G[DTAC@PO_oSCICCDAe@MohoR{I_C|AY@PohOR[IOCxEI?WoKwESBQ@l?t_XOKwEKBQ@l?t_ZoMWFCBe@n?w_VOKGD{KEEDBB`\onWVcJyE@A~`aopgWcKaENBH`eOqgX[JIDhAr`YolwUsBu@|?~_goRwICGQCDAB`BO`wOkGyC`AN`ToiWTSHmCxAY`NOfwRk^oMbFObfprwyC\EN^FmbupzW|{]yN`Fqbwp{w}k^QNlFwbzprGxs[uNkFKbf@|wxg^aMRFJbdP{ox[^SMTFsBcp{?w{^CMLFqBcPoo|k]wMJFnBaPm_wk[OLxFBB\plo|SZ_NXExBtpyOuk]_LlFfBYPl?wC[GLlEtB_pxOuK]WLfFcBXPk_vkZCL~ErB^Pwot{Z?NBEmBpPx?t[YoNLElBqpi?|S]kLTEhBuPjo|SYwNXEoBtp_woKWIKLECbApaGpKW]JoF]a|@wGnG\}JuF]a}`wGn_\}MyD}b?@vGzWV}J{F`bp`^wo?]ILsEFb]@aGvWWeJiEwbZ`\gmwZeMuE[bm`fgz_XuKpEUbJpegrKXmKaFTbH@twq?\YMoETbk`dGzOXMNaEZbw@egrG^IKUEcbE@ggsWWiLCEIbD`gwp_YQK[EebE`hwpwYUKYEdbF@hwpwYYJWDsav@[wlgVIJaDqaw@\GlwVMKGDpaw@`glwWUJSE[at`fgrgUeJGEPaq`cgkWXAJMETas@dGkoXMFfBp`xPt?\s\GF^FR@wOyowC[GFXBlB_oy?v{McLzBiB^PYo[kUgFNBeAsp^O[cMGJxDz@ppu?kC\gJDFXAopVoy{TsMlFTAnPu?jS\gIxFXAlpToykTcMnDWBjPT?qsX[IlDTBKPS_lCUWIbDfAhpR_kcS{JJDbAgPQoycSsMfDKBhP\OhCScJnDIAzPO_}[SONjDBByPPO}sS[NpDEBzpx?gCSCNLC~BqprofcRwMbFOA]pF_zsQ?N@C^BnpyOcs][HHFgAQppobK[_GtFEAKPIot[YsHXEkATPL_r{R[L@E`A[PDonSPWJrCTA{PyOf[]_HtFfA[pv?`c\sG\FZAEpC_ySPOMhCRBhpgOaKP?K~CNBOP@_{S]KGPCFBop?otKOSLTEgAAP_O]{WKFrEA@{P?g_KOAFyDl`~`Zg^oUqH_CfaS`Kgd?REHeCbaY@GWegQIGQCnaD`Jg`OQuFgB_`z?wWZwNUFsCZ`}@FW^WPqWY?[_NOFWBc@u?|?[_NOFWBC@Y?n?W_JoDgB[@e?t?X_LoEgAS@A?b?R_IODWCKAA?~?`_OOFwCSAQ@F?b_POHGCkA]@L?f_ROHWDCAi@R?j_UoJGk[UUJHDfasPXgmcVMJdDwa|P]Wn[VqJzE@b@p_gocWUKL@x_|o]gNsFuBxA?_~o_WFSBq@v@?_`OOWJsEAA~@`_pOWwJ[DuAx@c_rOXWKcEYBJ@f_soYGLSEqBV@o_xO[WLsEuB^B^`oowG[KMAE~Ba`poxG[SMQFFBd`roxg[kM]FLBg`tOyW\KMiFPBl`uOyw\cMuFVBm`vo{G]KNIFfBp`xO{whKSiIPC~a_pOGasPUGnCWaLPEWb[PuGxC]aOPFwcSQMHBCcaRPHWc{QeHPCiaUPIwdkQ}H\CoaXPKWe[RUHhCua[PLwf[ReHtCJaCpAgaCPEG^By`}O}x}_~K]nNWFwrt`}S|K^VNTFuRt@|k|S^\NSFwRsp|{{s]pNUFfRtpx{{[^RNHFtRy@xC~K\zMzFxRn@}Kzc^NMwFrRxPvSyc]HMjFbRi`wk}G\FNcFQrwpscy_\BMeFPRhpsCxk^@M[ForvprSx[^HNbFKrw`rCyo[nMmFKrjPrCxs[tM[FNreprsxO]BMUF`rdPwSxC[~M\FHrc`rs}O[\MOFprw`p{zG[\MOFYRkpp{wc^LMGFqra`{{yW[DMgFARhpo[vo]bNQE~R^PyCv_\tLuF[rm@m{v{ZlM?Ezr_PnCvK[ZLsFDr\Ppc}_Z`NhExR[P|Suk]vLkFlRY`zKts\lLZFZrV@uks{]xN\Egrv`iCtC\~LOF^RRpwCsw^\NoEerzphcso\^LMFWrRPuCvGYTLpEcr[@h[sWY|LGEoRPpj{rsYVLHE^rN`hSrOXnKxEZRM@ekrC]HKrFbRK`wkqw\jKoFZrJpusr?ZjKnEyRJ`m[qk\vKlF]RnPdczCXPKiFWRIPt{w?XVKlF?r^pdcoiWXKJelb@xjgoeYwKGeCBLxf?oeXqKFeQbZXlwqYXMLmelBHHcOtaYqKbeQbTXcwt]XKLUfAbGXoop}[MK_eaBFHggpyYEK\eKbOHbOsIWuL@eHbvHzopU]yKSfdBCxx_pQ]UKTfBBCXowpI[IKOeFB_h`wwQWYMBesBCXa?ueZMKQeJb@Hb?oYWIKUe@BEh_GpmWEKXe@bFH_OpyWAK\eABFx_oqEWIK_b}p~g~cnk]ZJ|Ffq~@xsngZrLzD{R]`^KmsYhJmEhQz@i[xCVRJjFHrc`\SykVLMiDsRiP[{mSWTKKDqQwp`[m?ZBJaEpqwPkS|{UpJXFoqtp{CrgUPK{Dcqq`f[kOYnJBEiqo`isj{]BJ@F`qo@wSjoZBLaD^QnPk[jgZrLyD\r]pVK{gTfItFeQl@x[rsT`K}DXRNpUKu[TZLgDVqj`lKiCY|IaEoQgpj{hwZTI_EuQfpl[hkY@I[E`ROPRk}kSpNlDLRz@RKhWXfIVEXQdPeKh?^JINFrqcP{sgoXhIMEZQbPekyoSLIGFVRjPO{gc^VIJFuqa`|cfg]xN\C|rv`NcfK]bNQCwq[`yCfc^^HvFwQ]@|sfO[VHuFEq\Ppc|{RLHfForw@Kke_\dHiFYQYPu[vwRBL|CoR^@J{eG\FHcFQqWpscdo^PH\FsqV`|SdW]rHWFlqTpzSdK[jHTFJQT@qcp_QXHJEJRDpHSsKQZLDCfrP@HszwQ`HQF^qSPwCcCZ\LnC`qO`lkcQQLHDc^B{h}WcAP}Npc\bBXFgo}PwKMeqAMhkobaZIGxfbaKhxGbQ]OGreSAJHdOayXQGlcRBShD?tQPMLRebaGxCgsaYKGccAq@h?{a?YpLYCPRUPCKw_ORMICDQA@pKqKOzKcCNrG`Bs_mOZGKcLBXHBWuYZIG[cKQEXA{`AO\GNe\aDhf_`QXsGTcHqChAK^c\@FyFPP}psKlKVjJvDgq|`YSkwVdJODyQrp][kkV|JLE?Qr@^{igUhJUDUQtPT[^{THG@DRQ?@Skg?SFIADAq_POcewSdISCwQcpL{ekUJHlDbqZ@Wsm{QtJoCkq{PJ[c[TlHHD[QQ@U{fsPjH~CZq^`EslgP^GpDmQK@Z[acUzGjDnqI`Zsi[OFGADSQ@@TK?i?X?J_EoBw@soaWRKFeDRBH`[GiCPAH`DobWPc^qN|F|duQzh\k_UONGEcJqEXBC`IOfGPb{p}w~TYGkdUbJHtgQqdX?k|U_JGtbqr|WokpULJLTbarLYOkRUJJRTaaslW?kdUAJIT_Qq\USkbUOIrTbqk|TQifTTjMdSYrXTIkwTOidTRIh\S_knUUIbtdQhLRKkLSqJCTLAo|PslHS^JRTFaslWkghSUJCtaaalPCkxSRJMtCar\NKkpRtJLS|ArLWWeXUGHfT`qXlWKeRUDHdt`AXTYCcNUbHCtgaPDGOk|U_HBS`Qr|WocBQBJFS_aplFUblPvgwsZyMDDiaxPZjJCFYqh@mkmO[gFd`Yo`@EkEOOhRD^YnxI]dIT}ijdXIkPTaikTbi[D]ifPVqhqTziDdGy`hQUgWSciCDBi`PPAgQSNhqdNY[pRmfGS{ivCwYm@MMj]Rahlc}i^XLuewRxhhC|iY`NaeeRvhadZIW`UujURBi{coin@KAjmR@iYcnyVhR]hkQ}hsCmIVHMefMQviyClImpJYjiQthWdIidHJMdcSjhVDEib`JAd]SZiSCiyT`QYhMQlhSD[YTPVMdQTqiOCgiS`QIdES`hNdPIS@SUdATEhNDRyRhSucwTMhLCyiRHMqcuRjhJDVIR@TycmT\h\CcyVXHQdwQTh}C^I^pFufyPzguC^iLpGAbYP~hvCYyLPM}bQRli@CWIKPOQbASBgjcXiJHEaaoPfikcTIIpTmisPTiUCQIdpCihYPHhbCPYWxC]eOPEgmcNyGHD}a?P]gpcNIKhBybGO|g[dDyFPPe`uSWg[CvyEpMA`mR]hEcKyEhGyc]OsitCKYlHBI`_TggdcJYH`A}aYOmgTDJyD`RE`USoggcHyIXAeacOgggCHiHpAUa]OcgOc[iCXFQ`CPrhfcFiBxLE`?ROi^CEIfx@ii?OXgId@Y_x@]gKOUincCiA`UEj?ORg`CBI@hCQaEOMgCctY@XL]_SRUh~c@i_H?ag?OFg@cuIZP?U_GRXhwC?I]P?IfaO@hDb~X~xGq^{QIhGB|yQO~ecaNwi_b}igW~qiCNzfyC]YN?~Y^iPy_BoAW@C?Q?L?DlP_JGDkAmAZ@M_eOQWH[CiBB@b_pO~W^sN}GDC?a?tSyilTQiZTNifTQihdSmiHTEiatGYcTQAb^PpgwUrBXHkQuUZEldEpZWPkUuEZEl_epJVhkatuZGl]EqJVpjqu?Y|l^emzUhk]tmZFlZEpzUxjetiYylZEmJU`kmuQYqlXeqjXHi}uUYpldEkJU`i}teYplWEkjVpiAu?Yal^egZSHjatCYylOEmZTHh]tUYXlTEeJQ`iYtOYUlIehzJ`iyqyYkklejZSXdatIXYlQEUZDxiMp_YdlQEJjT`amt[WllUeJJWH]euEVil`DyzRh]AnCY^lNDwYzphim}YZjmefJRp\isyV[lNduyxhhqsuVJjeEeiupieloYjjZeiiuXiYtOUtjYEhyuDZIlbUljVTjytTYqlVUfjStiJOPeQrKYCl@eXZP@eEsSXblCeWjKxb]rQWxksEMJEHfYpeXwkXE\zH`aIpGXMkeeGzBxhEseW`lHEGJB`dUo{XVkMeTjPp`Ys_WWlFeDzM``UreWSkyeCzA@dyocX_kGeVzLP_uo]XkkFEYz@PeuoUXmkEEZzNx_]sAWHl?EAJ?`aaoKWikAeIZ?Xfur{WAk}E?ZFP_ApwV~k\d~i~Xc}qaV|kgD~JFx^]p{Vuk]d|Y|xcAnaXAjwEOZGX]qqIVmjuePI{pfArcVgkwdxy{XfenIXzjqE]iyxcYmqXGjkEPzE`\QpkVUkYdtZBH\EouVRkLDsjOx\Am]YDjfE`jCh[apMVIkRDqYwhgmmMYLjbEbIwPdImGXSj`eSy~@Z}mAVyj{doJHHZqqSU}kddnYvH^IluVsj\D{zopiAtDY`_ioTwIsDIAh@R`CoagPCGqCVAL`GocwQSHQClATcnqWXKCeQRDHbc_qOxGScaQRHFcCQAh@K^iNrFzjstyy|T]]nPVejptxY{dZ}m@V@j\TmYv\zm|t]xnZvmJutzM|j]snWvkjuDyk|Z]kNVvibtty[|h]rNSviBulyg|H]eNUVhRt\z?|B]qNPvkRsTy?|^]^NUvfbttxs|@][NNVerr|zW{p]YN[VlrrLxS|r]zNJvdbvTxC{X]ONFVbrplxO{V]RNCvcbpTw[{X]GNFV`bplwW{R]GNDV`rp\rS{F]DMZVLrodq{{F]CMWV`ReLoC{v]\L~v?Brdn_{DZuN?u|roDwGvhZtN?V_R]\mO|BZeNPuxRsTyWvDZbNQVhR[LxSuvZ[NJvdbZlxKutZXNIVcbZDlS{p]YLjutbrLw{udZSNGVcRY\y[u^]hLgviBYDuSzT\fMsvXblDv?zD\bMvVXBl|vgy`\{MhV]riLssx@[aMfvGRhts[y~\HMovQBkDsOyT\EMeVPRh\tKyB\BMivObidr_zh[yMzVMRmltwxR\\MTvVBdTqKx|[cM_VHRf|t_wd[RMjVCRi|owzb[OMxvBrmTosxh[KMXVAre\o_zV[HMuvZB`TtcwJ\ZMBvUb_toGxv[CM]v?rfdvsvx\~L~V^b^lnczn\xL|u}bnDqWv`[gLxVHr]LqovZ[mLvvJR\tmowzZiMNUyrb|pkvR[[LrvEb\Dp[u|Z^MKuwBbDkowh[ULfUrRak?Q?L?D_BoAW@DwI{@]@nAV`Zo[@E?d?O_IoCwAcAi@P?haspYwlSUqJ\Dlavp[WmCVyK@D~bCp`wpCDyB@@^_zO]GM{FUBh@r`vo{G\sOqG\CLaHPCwacNQFlBt`zo}G^LIUdLQfi\TMIfMGHChaCPJW_sQmHdB~a@PKWdsOEFlBj`yOxw]SMeF@Cb`qPHw[SQUGxBNaOOswbsLEE`CVaKOswbSK}EPCP`ePDWXSPMEtBH`nOrWZcKmGTAvaFOmw`cJeDlBx`[O~W^SJmFXAp`wOlW\sJMEpAt`jOkwUCLUDTCf`VPHWTcQMFPAh`QOyw[sI]C|Ch`PPJWSCQmH\AXaXOfWeCHmChBD``OcwQsK]EHAP`bObwWSGuE@@H_aOnwGsJu@dA|`_OLwEcJ}?hB~a@OEWAsOEGP?LaAOAW_s?l~xB`_?Owv~sMT~HBr^sO|v{sNT}LCVaLNqwbB{d}@CP^aPDVwSPL|tBT`kNnWYrz}Fo}t`}NlvvCNmEs}n`nNkwZbzD|DBl^RO{VscM}G{}\aONfwbbyEG[}Z^JPBW`RxeB|AD`@O]wOCFuBTAJ_uOaWLCG]Al@b_lOXwJCEUAd@r_iOZwMCDEAT?`_fOHWHcAM@|@\_`OVwGCEEBh?x_]O]WMsBm@L?l_TOKWDCA}?C~p_BN|W?b~M?_~l_HNzv|S?}?w~b_NNvwBR}D}o~v^|NvVzR~d{W}T^FNcVqRwl|O}D^UN`vtRwd{?~L^gN^vxrwLzs~R]}NtvnB|SJaDtAx_foSWICGMCHAA`Ao`gO{GyC`AN`KOeWQ{^}OBG?dEQbhPkcUQLHCc@Q@H?[_mOZGKcFQCH@}SlIJdFQexRCguRpIPc}QdXNShMSDHvc~Q\XOCfMSHHZdCQVxOsduRpHNc}QSxNSdES\HJceQbXHCgmQLH\c`QVxGcdmPxHrc_Q\xFsfURLFnctP{xLC^ENLH`cqPwxKS]URXFVcwPuxLs\eQlFTbgQUXIc\MR|E~d@PoxOC[ELxIDb[QaWvSg]LhIZbZQdwuSheS`EldIPkXQSY}ILHnadQ[WhCeuIHHTcjPOxJCSERDCzcqPNwfceERTCxaYQYXKsR]OdGFcDQDxAc_eO@GXcAQFX?S`mNtG^cPP~xCC^uNhGLb{QCW}s_}LLFhbTPzWtC]mL@F\boPhWzsYMMHEZbcPfwrc[]MTETbfPeWxcX]JpERbFP]wmsXEKLDtawP`WmSWMKXDjbDPZwpCUuJHD|asP_WksV}I|GpapQKwkCbUPTDXamQJwjSauPHDRcSPTxCsTUPtDPc[PRxEsSs@A?d?P_IoCwAcVUJnDu_\oNGFSC]AP@E_loVWJdpuw|[^mLVFJb\p]wr[WmIVDjam[|MPfPRbxsCwu[pMLfMRcXrSw}\XMBf?Rjxocym[@Mdf@RiXocy]ZxIxdYR^xnSj]\DJzfOQ}Xrsn][xJtfKQ{xrSnEVXMhdvRhX\Sy]VLMjfUQxX\Cy}UPL~ddR]xWsvuUHLvd`R]XWCvUTtLtd^R]XVcv][LInfCQkxpSjETPMRfJQjXTSxUTHMTfJQhxqSiM[TI\fBQgXpCh}YlLnelR[xjCvEY`LheiRZXlStMYxLJeoRRxjssuYHLbebRXXhCu]WdK\eNRCXbSo}WhKHeKRBXasomWDKfeTR@xdCoUVxK`e?RGx^sqUXdJ^eZQwxecmEXXJXeWQvXdslmX|JRe`QtxgClUU`KzdeRNXfCk}bG?T?K_DoBW@{?yWBKBe@R@X_soQ}J^Enbvojwd{M}B^?n^vnJvtzvPyh@s\iO|FacJPwh?s]iNlFYb~QMgws\IQLFIcfQGgws[iPlFQcVOagksVIC|AQavO[gnsGIK\@ybBOYgmsUIBL@YavP_gIsViALEI_fN_h@rxIO{}IcJNYg}rviN{|qcBQMfiruIQ\HA]nQIffsbHy\Ga]bNCgtrpiL{{IbZPcf]sYHv|EY]BPcfZsYHv\EY\rMsgtrkIL{zIbZNGgerrIIK{ia^OIg\sBiF|?q`zOCgYsAIFL?Y`nN}gVsKi?\BA_BNwgSr~IDk~i`VNqghr|II{~YajPEfur{IH[}yaRNeg_ryiGk}aaE?H?D_BO@w@K?bPZgmsUYJ|EMbBS]iYtGie\RAhBSWiWtEie\PqhjSwiJtMia\PQhnRsiZs}If\NYhrQeiTsiId|QqdVSchPsgIc|IQhRSchLsfidLQYczSihItJIRLQycnSOhxtBI]LOyf^RgiCsyi`\MqgNRah|sxi^|MQfzS?hmswI_lOIe~RUhUsuiULLad^RKh_sriW\Kid~QwhgsnIYlJiefRChXsliXLJQeNS}jKtNIq|SAkvTiivtXimLUajZTqiotXIm|VQjFT}imt_ij|WAivTyiitUInLVqinTQjBtSIpLSykJUOictcihlXQiVTAjDtPip|SQkZVEjYtqivL[alnUmjMtkisLZAk~Ugj\tnitlZqlVV?jPthiwl[IlI?CjnTrO?T]Ima?EjoTryyO?ImrVU?ATvYy_?Ymv