CAT(2808,3)
Sparse6:
:~?jw_?O?G?CA??|?^_MoIOC[AU@H?c_QoGwCsA]@P?`?ROG?DCAG@N?w?SOHgC{Cg@r?y_[OLWE{BY@\?l_UOM?DKAk@t?x?TOJwEKBA@c?t_Z_LGEoBMBy@a_poXGKcEIBF@__ooVwK_DqBE@]_p?VWJoD}Aw@`_m_WGGKCMAD@D_bOPGHCCeAN@R_ioTGH{CyAZ@Z?_OUOFsDg@~@V?\oU?FkBoAl@Q?dOR?IKD?AVAu?MOEgB[CaAN@H`f?oWV{KAEBA~`_OpGW[KIEFBC``OnGVsJuDZAn`VOkGUKJIDfAs`Yoj?WcIgEFAj@`Ol?VKJkDjAy@Xo]gNcFmBoA~`__\wNGKADw@d`^?XwVgEYDw@g`]_YgVoEeBgAk`T_\WTOFYDc@p`W_[wU?FIB]Aw_w?lwLoJYDMAb`S_gWT?IID?Au`N_mGRoJ]CtAX`KOhOQkIWCnAc@JOboVKJkCbAy@GOhOPcGwDLAc@Eoc_TkI{ChAR@VO`_S{G_DRAF@SO_wOkGQCBAA`?Of?PKHsCVAZ@DO^oL[EsB|@|?uPO?A{@e?p?X_JoEGBK@]?p?P_HOCwAs@U?hAf`SOiWTSImDXAl`VojgUcJMDj?^_NOFWD[Ai@R?l_VOJGD{BA@b@d_roXgLCEiBR@j_uOZWL{FAB\@m_wOZwM[FIBb@s_zO\WM{FaBrAU`JodWP{HEC`AR`IOcgNsFuB~A?`@O_Wv?YqL\ElbUpjgtcYQLJEbbRPiGs{YmLREibL`fwr_XyKsE\bI@gGsOXUKkE`bJ`gGsOXeLAEWbJ`gwrGYUKoEcbS`fwroYmKyEibF@hwq?YaK]EebR@cWqOYaLMERbDpbGpkWiKPEHbAp`wosWMKHEAb?P_Wn{WAKBD~a}p^gncVWJ|DwA}p\oncVMJjDsau`cwlwXEJ[EQau`[GloVIJ]DpauPYwlSUoKtDiBMPYor[VSJ@D^AyP[ojsTmIzD[aw@VGmOTuIuDpbK@UGrGTiKmDXak@XwjOUeIqDgai`dGqoT]IkETagPRwiKS{KzDPBNpS?rsR]HrCwa\pNGfSRyH~C|aY@fGeoXiHiEZbF@NWfwXAH{ENbS`KWeWYmLSCqbE`KGpWQ}KWCmaT`agdgWeHWEGaY@`WeoW]HiEEaU@]wnGQuHUDyaX`XWkoREJGCqap`HwkOQUJACeaS@WwdOUEHQDaae`cGh_W}K[DMbU`QwhGYyLWDIbP`RGsgSyLGDLa`pPGgkSaINDEab`dWgoXQKkDGa_@]WgOVmIADya``XwggUeIGDg`xO{w]cT[FjDU@zPTO]{V_HHDuAPP\oc[Q_G~CiAOpIOcCPsJLC]AqpX?bcScGvDJAKpQ_bSPaGnCUaI`Vgk?PQI}CRaEpBg`{O[H`CHAVPA?d{OOHLCdABP@Oc{OAF~B}`|`gG^gYIFwE``{@cgqWNiKaBx`u@Mg\gRqF[Cz`m`Sgi_LyE}DR`p`Sgi_MUFGDR`jouWZCS?EjBSA`POOYsLkHnB[A[PMOZSKqEZBJ`c@_wo_KiKCBHaD?zw]GOqGUBo`t`?w\OOEFQCA`o@CGaOMIFACP`r?swYOMaEaBf`g?pwWgK}EKBMdV?AW?{?aU??F_CoAHX_?i?X?J_EOAw@S?u?Z?L_FOCG@{?y?^?O_FOBwACQmHZCkaVpKGdsRYHhCtaZpMWfCRiHxCza]pNwfs@i?x?Z_MOEwBSD}BB@__PoHWCcAA@D?`_bOPGGkCQAJ@E_boQWHCBm@x?|_^OOGF{D]Ap@U_gOSgIKCuA^@M_eOQgH[PeGvCYaCP@w`KMqF\Bl`gosgY[LQEjBU`jouWZCLmExBY`aopwWsKaETBH`cOqWXSKuEXBJekbNxfssAYFL@e`RMxfcruYZLNefRShiKtAYiLWehbThi_t]X[LPeUbShi?qqXYK_ePBJhcGqqWyLIeNbRHbosmY[K\eNBRXhwp}WtK[eLrEPg{p_YRKVEcRDpd{pcXbKWEWRBh`{pAWCLIeABRH_WsmWaJ~e?bCxaOoAVzJ}d}Q~`d[nsXRJ{ETRP@^KsWVvLDD|Q{@fsnGY@JpE^q{pgSsCVjLBDyQzPi{m{YpJmEjQ|`\SmoVpJjDzqx`e{mSXjJcEZQwPaKmKWfJaEHQwHZ{lyUXJLdfQsHYKk}URJJddQp@fskKY@JDE^qp`gKsKUPJFE`RQpXCk[YXJEEdRM@X{rgUbKxDgQp@cCqGUFJDEOqo@bSkGWxJ@ELrBPVkj{WVKKD^Qm``CjoWRIzEDQlp_coKTrKAD[Q}@V[nWTxJvD\Qn`]kj{VfI|DyQl`\SjOVXJjDYqx@UKmWTfJdDXQuHZSleUvJ\dmRMpY[rsUhK{DhRH`Z[q_UzKfDmQu@]ClgVdJXDwql@U[jWTdItDWqrPTskoT`JMDVrR_yCs{MdFPEeqtPTCigUnIhDjQhPaciWWjIfEJQipSciGTZIkDPqgP`Si?WPI^ECqf`WKk?SzJADMQexRSheSeKqdIbKxQ_rQXqIKdDBMhf?gmSOIodCajhTwg]WIIDeBa`H_ogYTmHwd[a]hV?feReLWcyBThMOt]R]KJeEA[X`gfAXEHkeQaZhc_euUiHecsAtxKwlYREKtcqbLxK_rYRDH`coQVPg{d{YRH]EcQq`JSdkURH[DdqSPcsdKXPHQERqQp[{csVPHKDsqy@ICcwVRJfCfqQ@^{oCQTHHE?R@`Gkc[WNHEEArJpGSrCQFKoCaQN@gcbwYLG|Eaqw`GKmKP~J`C_RGpFKbkXJKcC\QKHEKbIXuGne]aJhf_auV?GhcRavhD?l}PKJyd{aHHCgnmO{LTcOBTHBwtMYeGbeiaGhi_aEOfGScHQBxAK`ATYGAdUA?HTW_EYGFdeb@xxgg]YNAJSboAsgzwlMMkKjeT@twz?qeMhFTbhrS_xct?MVLPBdRC?w{o{MRKMBcPnPecZoXfEzEXPm@\kZgV^ExDvRPoukZ[YRLGBZPk`akZKWlEsEIQL`I{b_QrGvCkQKpMkbSRnGsCzQe@D[h[PXIUCTQAPAs_gOnGTCDq@`OK__SFGFD@QT?~kdWN~HTB~P}`N[fsNxFzC}QYO}KekNfHiBxPzpBC`gN`FmCKqB?|k]oO\FjCEpwpPk]OS^IMBpPv@?[_SM|GCBmpuO}c\kNlFYByprPB[[{OxFMCMpo@QSZ{S`E}DGp|owK^cMFFAB{Pp?|C[WNTFDBsq^_t{g?LbH~BWSn_?c?U?L?C_Ao@hTkimTXIxdZqmHVSjqTvI|d^qnhWkkQUFJIddqqWAK@M?d?S_JODWAc@Y?jAc`QohgUCJIDb?v_ZOLWBk@}?|@f_rOXWLSEaBR@p_xo[gMcFYBj@y_}O]wPkGqC\AB`Ao`HQsh]SpINdEqbhMSfQRfHYcmQUxB[`uOxG_cNQFx?s_aONF}b~p~W|C]iNRFjbupzG{k]]NLFabqPwwwCZ}L|FCbbPpWvcZuLvEpbWPjwt{ZEL`EqbYPkwu{ZYLjEvbYpliipTKi`TTIhTTAiLSkhnTKI[TQaetS{htTLI\tRafLQYhHSdiLdPyb`SagyTHiLTEIbLPYgnSTiHtDIaTOciHSJIatAagtO[iZSGIft@ahtOQgJSBiXd?IehOIhgS@idC~i^hSqiUR~h}DBi``NifuSLi_c|ygXNeiCRwidC|yh`NeiURwhwdOY]PSMfeTAhwDKIePMyf]SpiSczy]@Q]hORmhuDCI\hO}gaRjhrDIy[xQqfISiiTCviZhQqewSjiCcuYZXOmesSIhaDOIWpSAeIT?haDFiWhP}eKS_icCoiWXS]iQR@iZCoIVpRahmQ~iiCnYiXJqduTTh]dGyV`QEduSahgCmIVPLIdqRPh\ClyVHJYdiQwekcyxjXMuYsRkhVDCya`IqgcQlhRdPiT@SQdKTDhPckiShJQdGQrhLDOYR`SMcuTAiIcdyRHP]coSUhycdY]`HQfkQUicccyh@HEccTFhwcayPhNMfcQKhbc_YXHF}eOQ?i]c]ifxFmh{PxgxcqyXPFUbgRKhjCYyL`LaemPigrdMyfHEebOSyglcvy[@DuawR`gfdBIIHOya_SLiBCRI`@CygMPLhXCQYHXJMdgPIg_DNIGPRqaAS{iMCNibhB}`ySZgZCtYEhLMegOshrcKy[hBEfKOqi]cHYfpA]h}OegPDHIC`QY`ESdhyCCI]h@EfkOQgEDKYeP?i_USohnc@I[H?Yf?ODg?dJY?XQ}_CSmiRb}Id?~ihQNxfyCvIZo~I^eR\hiBzh|`LUeeNlfsdKx|XRU^SSsfnClhzxJ]]yQtflC}i^_|qfuNZfjCxHyhMI]gRbhfbsxyPKu]aRMiGbphwxO}]ISOf`Cthw`La]ERVf^cyHwHMi]?Rhf]CpxvpKe\yRGhtBmy\?zifQMxemdJhjpQ}YwSlfXcqhuhKm\gRKfPcohsPKE\ARBi]bfifoyAh}M^fLd?XrhOA[wSAiaBeHrHSYiIMYifBWXjxS}iYL_hgBciYOxQeaMRiiBdYiWx]iiMUh^bbxqHKA[_Q}fECrXppKye]MLfCdSHpXTI[STPfBDGXp@QM[MSahlB_xohLeeuMCiNB_Ic?wIg}M@e|dEHnPPiZwSXewd@HmXOMZcSDeyDSXmpTAZiTQh}bXxkpN}ZIR}etcwhlhMQZWRbgqCfYKpH}bIQ]hAcViOxEAcKP^g`c[IGhFIaGPpg{CNIMxBm`sPugMCTYIx@yakO\gocDiKX@abCOVgkCBiJP?}aqOLgZc@y@HBe`oOGg?CPh~xCa^{PFhSb}yTW~udSN{fycah}xGa^kQHfrCIH|@Ai^MOhfpcgH{hII^GQ`gNbwICG}I`?N`fjcShzHDQ]oPRgVBriE?|A`]NNgTbqyDg{q`WNLfZC^Hv@Fy\mP|hFBkHuPG}\aQOfTCEXtX@m\WOYfcBjxxOyu]QMmfvbhHso~E^_Mdh@B^YO_v}cEL}hWB\yUGved]LwepCCxk`@U_gLbewCZyLouyZ]PlfSbYXt?ui\MLg_BoAW@DkCdpQyh[snYV\JqdjQvhZSkiUdJM?T?K_DoVGJsDuAB@B_`OOWG[CIE|B^`mowW[SMAFHBd`porwYCKyELBF`aoqwXkKqYrLZelSXyLLEaapPYgksTyIlDYaFPCgasGICL@}^|O?f~rvHz[|iYzL]emRhxtKya\VMifURjXt{yy\HMdfRRWHkKt}[@M@f@RWhkcuMZJLferVGRaXpywg[_mHFFzaHpqw][\mGFEzaxouwW[TmJFBj]hnavqZslzE|z_HnIw?Zpm@E{z\XnqvYZyluE}z\XmyvYZoluEzz[pqAvM[]lqfFzZHmavSZZllEyZY@pIuc[SlgfCzXXoQuS[DleF?zXPkauUZFlcerJW@pmt{[\l^fFJZxjmvAY|loEnJ_XjawIYymAEmZYpiquoYmljejZS@lqtAZ]lPEvZPxlMuiYMliEcJ[PfevGXzlpe]jMXluriZ]kyEvJK`k]rKZHkqeqJKXkYrAZDlaEWjJpmUr?ZfknexjJXpaqy[YkmFEZbHc}q_[YkgfEJYpcuuoXMljeRJHHlMuiXJliEQj]pcIviX@k_E|JFhlip}ZZk^EuZ[PbUvGWulpeLJ^hayp_Z~kVe~j_p`awOWVmBeDj^h_uo]Z~kFE~jXh^yu[W?lfd~y~@o}ns[Pj{fCI}Hk}n_ZLjverjbp]qn[[_jufFyzXkMuAV[jlEoixpkEm_ZBjfeoj_@[uwCVJjeF?YxHoawKVIjcF@ywPnimEZ{jaE}yvxoemA[Jj_FAj]xZevqUzl{DmiuplAloZPjZesitXjqlWY|l\diisxnElQZrjSE{j``YYwYUcmFDhYpHpUkU[VjDFDj[HWYu}UFloDaJW@WIk?Y~l^D_Z\PVMjcZhiweyIlhmyjUZoiuEzyk`kUjCZEipepIipoewUTWijfAjUhhEscYvlHeljP@h]sQYWlDEeZGpeuqOXnkbeZjGhfur{XBk}EPJEHampeWkkXEJZD@iYpSYflSEIZChjQteWfkREkjTxaIt_WbkQEkZQpaAsgW`lIeFzB`iMo{YdkMehJAXfYoiXwkIE\z@XhqssWKkDEezFP^UpwVuk\d|y}XeqrSVsjxEYy{pgInOYCjre_zIh]AnCXUkjdwYzx]mmyVijnDyYzH_EmmWAk@duIwh\QmMVUjbDtYvhZMl{Utj]DlJRhZAs}UqlNDkYtxgul[YKjUeaysH\IlEVRjPDsZ?pXuoGU[kAdeyqhXakmUYjJDeYqPgUsMUSjHe`jOHXAs?UPk~dbyp`Xyl?UMjEdfzBHWMosUCkLd`ZJ@Vyj}XYi}eUZMPVmjwXokwd]imx_]jqWHi{EAIm`^mjkV|iyd~JTHUytUTolTDZzIPUajSXSiseSzKxUUrQTfksDXijx]Mj?VdjqDWZA@TeocTZkGdUjExTqpoT\inEM[GHjyu@Y~_AO@g?kjETfIqdYqlhUck]UPJE_GoCgA[F]Br@w`KOegRKfqRzHzcvQZHLkcmQZHKcfQSHH{aEPFGacIqDxAs^QNlFtbvPzw}C\}NBF_bmPvgzk[EMDFBbXPlGu\VQjlTtittZYldUajRTiirtXYktUAjBT^pCwa{PUG^CPaEpAw_{OeFvB~`}otgWkLiERBW`boogV[JqD~B?`[ofgYkHqEfAY`godg\[HQFZAW`sodGX[HaEZAU`fo_gR[GYC~AC`MoXG\KEaFZ@e`tovGJ{MABFB]_ooUGYKDqEj@Y`hoRGP{DACf@M`Go_GHKFyAV@E_}oigGkCIDN@?`SoggFKBQDJA__ZoIG_{AqGV?iaCn~gaK?IG^??aEn~G]{N`~q~y`yn{ga{PH~m~saIo}f{KNp~E~c`~ojFw[J@}NAm^ankGNJzIBv@u^Yn]gPzvyCe|{`Gn\G_JvaGI|ua@ovfmKM@zfB[]vojFiKJ@yjAm]hnQg]jsyFq|K`zozfgkNHyRBo]bnOGSJryDE|A`QnNGVZraDy{y`[nKg_JrYGI{sa@nJGS{Ihxa{m`Sotf`{LhwfBW]Go{F^kNHwBBm\~o_fY[GXunAC\imrGUzlADizM`Xmqg[zkYFIzG`pmggMziQBuye_{mbg[jgiFMyK`poqfLjfAE]xm`eolfL[JPrRAq[ropFKKK`rJBE[pmVgPJdqCYxY`DoaFIjdaCZAI[jmQGV{KHqZB?[dmPGNkG@qMxA_~oTgLkDIB^@S_toJgMKBIBj?o_xoHfzj|y@I~Y_Pnrg?j|I?Q~O_BoDfxK@`}Z?Y^dnjgCJyi?}}k_MnhGF[Bx|R?{^Rngf|Z}X|A~g^Nncg@ZxY?]}S_EnbF|jwx~a}O^vnWFpZtp{Q}E]nnHfrJqh{y{g^LnGFyjqP}q{a^jn_F_ZwPwM}A]Am|f[jnhvQzw\rmefZzmHsqz_\JmvFkjuXuu|a\knmfWZkP|m}w\_mmf]JnPt}zq\]nYFTzjHzUyo]umyfTZi`v]zk\UmfFvji@|}y]^_nAFQJopsi{I\Hm`fUzg`tqyC\Ym^fbZpxsEy?]MoCFNK@Prz?Q[|m[fajfPwqxu]JmRfizdHyuxO]ko\wN[FeBzA@_~aQpHwcsQaHTChaWpKge[Bm@z?{_^oOGFsPqG|C\fkRtxzKwe[VMIe{R]Xm}XLKAdxq~h]koAVnJoeCqzH_{myWJKEairAGi{oQIrJSeQquHcklYXJJMd|qsH^klIVrI{ePqoHc[jyXFIqdpqlH[kjAVBJgdVqyhT[mYTZKUcyrEHM{faWvF{eDq?H`{^yWZFyeFp}H`k^YWVKUbqrEg|KpaNNFWdopuh[kmIMzFQd{q~Gy{\QVvE[drqyGsKXyVVDgeGrCgl[pQJNJ}aor?gkkoAJFDYeMpVhcKTqW~DMeMpSHb{TIXBKSaerCghKSiWbJqa`pPh]{SQVjJka]q{GgKmyH~IWcvqfHM[hiRbHadcqXhXkeQUVH[dNqWHS[dyTBIccjqhhJ[iaQrHOd`qTHW{dIUJHCdBqQHP[cYSRISc^qdhG[hIQBIyc\qNHU{baTrGSdlqEHZ{`YUzIMcEqAhQK_aSZFicLpzhB{]qOzF]bepwgyK]AM^F?bbpqgwk[aMFEsc@pmH?{ZYOJGubUpiHE[YiPjEUbwp|Gr[XaNfEabGphgqkYQKfEIbVpkgpkWyLbEGcHp`hAK_yKJDyb^pnGnkVaLvDscVp\hEKVIPZD}aup[Go[WAJ^GeaZqIgf[aaHrG_aWqHGekaIHfHyaTpJhN{fqHZCccdqRGdKcyHNC]d?pGhOkQASFCWcspFHLkPiRUBV@l_uO]gNcFmLpEyb[wd[QuH^ChaQpHwb{QMHBCZaMpEYLTFEbdPngySZYMtEUbtPhg{SXyJs}EbDNdgoRwxzTDeaxN^fmSUxydFE]pPtgxRtxwtFe]DPzfaS\yKcz]\pPhgrRmxuTEm\hPnfWSZYISxE[\PVfESTXpTDe[PPZgmR`xoDDM[HPVf@STYJsrMbDKvgoRLYGs~}aTOBgcS?X~DBm^xO~f|SNXtS}u\\NpfURzxxt@E]dOTfgSCx}S{e^hNLfdR|yBczu`@N@gNRnxrC}][xNjfLRyYCSxM[lOfgQRdY?cvm_PL~gBR^Xlt@]_tLrewSEXkSueZXLfetRXXjcvUZ@LxenR\xjSy]YlMhekRhYGStMYhPDg_RSYICs}aXLLgfRQxgdAeYPOlebSIxfsx}YDMbe_RgY@sru_XKxgDRMxddA}`dKpgWRJyEcq]XTOxeSSLycdKUhPRHiRSpybDREgxSriLTLYaTR]htSVi[TDY[DOMgHR\i?SvyYdOme`SFhhTAYXTOue\SPheTByVDJMdlQ|hYSmyVtIueDQph_SjyTDMmdTRlhRSyYSDN}ftQdhPS~Y]THuc|RnhwSeyQdNUfpQXhzSdyPtP}hDQRhGTGYPDQmcTSlhETJyYtGMetQFhkS`Y[tFufDQ@hqS^yqTSEk`S~i]TdYoDW]j|UHj@T`YmtW}jhUJixTbYrDT}ktTZjJTVYidUEjHTXijTWyhtU]idTjigTYYhDVejxTJi|TRYldSMj`TFivTPYwtXumTU`jcTfywDY}mHUrj`TkYtDZml|Ulj]TiyudYMlLUxjZThO?T\amY?EjmTsO?d\im^VQ?BTvyyo?QnFVS?@Tw^