CAT(2774,1)

Sparse6:

:~?jU_?O?G?C?s?S?F_D_AW@_?a?e?L_FoBgBw@W?x?W?NODoBk@k?x?Y?NOEOBk@}@@?`_QOGgC[Co@K?i_Q_IWCwAaAu?O?HoDOAS@C?h?C?HoDO?s?S?h?I?AOB??k?k?L?I?bOB?HC?kAN?O?BoCO@C@G?R@E?BoQ?@CC[?R@o?f_EWIG@mA_?Y_SoIgDC@[Ad?W?iOD_I[AU@L?f`@?RwIKDAAd@S_hoaoIsDUAn?C_Ao@gQ_@A?d?P`L?FWBs@q?r?Z_LODgBC@]DMAe@Coh_PCIWCTAM@Hoc?QKG{CdAU@JoeOQcHSCpA[@OOe_SSHkDBAY@Mof?RsHkC~A{@I?_WNwHUC?AU_l_awJ_GqAyAL`F?^GPwFuC_@}_n?awK?GuA}AK`H_WWKWHEBCAQ_qOXgKkE_CnAX?roYORCEqBT@j`j_h?S[IODJAd@PoZgL{EuCyAA`A?fwOWHyCMA_`A_ggOoIEB_@t_w_[wMOFQBo@x_|_\gNOF]FW@W_lOUWNcFyBz@~`?o_GPKGaCTC@@QohGS[GQCFAA`Ao`wOsPoGlCWaJpEWb[PiGmCPaH@EGaoPAGeCXaI`Ewa_PiGICPaH@@Ga?OYGMCRaC`DW`?PQGSCOaD`CWaOOqGiCNaH`BWa_OyGSCUaE@EG`WP]GYCXaF`Ew`oPiF{CBa?@?W^wOIFoCEaA?}g^GOUGOBz`}`AW^_O]FFBd`qOxw\CMYFVBi`soio]CNCDXAi@vojo]SNKD\Bs@Uok?\kJGF\Ap@uOko\cJSF\As@uol_]CNCDpAv@vomo]cJgFdBr@[o|OYkNWElBS@zovO^CLwFtB^@{ow?^[NsFDB{@oo~_Y{O?ErB~@kOuo_KOKEtB[A@Oi?]{NSDRAf@zOn?V{JwEBA|@_OpOWSK[EHBE@`oq?X[KgEZBH@eOsoXsL?EbBQ@foRwIKDAAd@S_hoTgI{DUAl@T_jpd?UsJaDnAw`ZOlwVKJmDtAz`[omgYcLUElBU`iOtWZSLmExBj`soyguOYKL^EcBWphOuCYwKzElBNpj?rsX_LREXBTPdot[XCL@E`BHpg_qSYKKdEdBHph?qKXWK`EMBIpboqcX[K\EXBGPe?p{WsKxEKBLPaor[WkKzELBNpb?rsWKKTECBCP__pKW[KTEDBCp`_pCYwIvEkAmpjOjcT_LRDXBTpU_tSSoKhEUAfPROqkXkIbDNBMPe_iCV]JlDwa{p]wnSWGJ`ECAxP_omKWSJfDtBBp`_mcT{L^D_BWpk?jsUsL@EaAvpgOlsScLLDJBSPQ_s{SOJ|DBA}PPOnkSWJ~E@AcP_?g{YWHtEgA]Phof[RQHlCta[pLwfCQcJ|CiA}PI?nkWCHZCjA~p_?dcQyH`CnaXPKweKYsH@EmAOpj?b{Y{GxC]BWpFOuCUoJNDiAspYolCTSJBDVAppT_kSUOIdDSArPXOi[R{HDCcA]pN_c[SGHJD?ARpOOcsHICfAP`JoeGRKGEC@@~_}O^gNkGaCTAH_vOZWL{EuB^@m_kOUWJSDiAp@Xca`QWh[SiGxC]aMpFwcKQAPgG~cXaOXEgcAP}Guc_aMHG?b]PqHCc\aOhGWbiP{HBc]aPHF_cIPSFScU@tWyWamQWGaceaGxHWaEQOG^cdAGHHG`yOuG{cMaNhB_buOoGxcLAMhFW`eOiGucJaMHAob]NsHDcb`~HGo^mNjFubyP}G~K^]NaGrbxaLW}ObQN[GobvaKhEG^AP_FjcX@zXEG]qNIGibrAJG{wamNOGlbtAJg|Ga}M}GccR@wXCg]ANGGgcR`wg{WaePMF[cS`vhD?\uMqGeblaHHCg\iMkGmbjaJwz?auM^FMbepsWyS\AMTFKbdpqWxC[]MLFCbapowwS[EL|F?b^pnWv[ZqLoHDcb`mhGoZeLmHJce`lhH_ZUQOEqcd@lHHGZMOGGHcAaAx@O_MOKGLcCABh?w_qOcF|cI@~xAW^yO]GAcGa?XA?_AFpBy`{o}w^kNqF|C?`~oyw\SMeUUIQdGAqXXOhESHIEdAq`xPKgaRiJHddA\hXWf]RWJEcvAqHLgk]RQJEctaqHLOk]U?HecsAohKwkEUGHcd`aWxWgeUU?H_d`AWhWGeEQyJBcnapXJokQQ`HMcfqSXI[dIQhHTcjQTxJKdaQsI}cmAnxVgdmTIIpdRAkxSwjIS}IjdOajXS?iqSqIodVAehTwhmTCILdQAbxSWgyS{IKdDAfHPWhuSeH}dIa_HQ_f}SkI@dKA_xQwgITsHzc}anHVWfqTQHwdTA]hNGiaRcIvcyAmXMWjaTgHndZA[XUgfAWnKXeKRDXaspQW[KPeGBCx`wpIWGJNe@AsX_WlAVkKGd{BAh]woeVOK?e?ayX[wn}VqJcd|axh^OmUVAJrdpa|X[OnQV_J]doA{h]Gl}VYJZdvavX\olqUoJ{dlA~hZGnuVUJVdiazHYomiWIJQeBAtH_wlMUWKJeEarX`_kyGTCKaDpBW`{OyORGJcDQBH@s_uNzF~b~Q?X?S_AYMLRecbTXh?tQYMLLefbQXhosaYGLOebBShggtEYGLIeabRHgosmY_K_ePBShiGqEY@K}e^rH`i[q_YjKfEiRGxckqQWyLLefbFxhopyWsLIeMBRHbWsmXuL@e`bNXf_sIXoKte\BLxfGrYXcKkeUbKxdorQXaKjeVbIhe?qe[KEGbDPaWp[WuKXENbGPbgqSXMKbIhdTQiHSki]TLIbdQQghR{iET@I[dNQfXRKhmStIUdKQdxQ[hUShMTFFrcPq{x?[lMSFFrcPqSx?[fMZFERfPpsxo[ZMKFLRe@psws[rMHFOraps[wg\DM]FCrg@p[x{[TMEFSrhppCw[\PMeFBRa@scw[\JMQEpRX@qcxKZFL|FOr^ps[vw\DLyFIr^@q{vk[lMZEzrfPnKxoZpLsFQRh`msvS\JLpexr[hlsvAZ^LjFKRZPrSuo[rMfEsRiPlSy_ZRLfFNRXPsCuW[~L^F@r`PkCuC[HL[F@r`Pjsts[HLXF?RUpoStg[BM?EjR_`jCwCYnNwC^qOXGCcIQHHBdyQ|X][nAVdJpduqzx\smmVXJig?b~I?W~m_CN|g?B~X~o~m^}N{f{C@y@G~i^qOGf{C@H~P?Y^qODfnRvXz{|]]rNWffC@y@G|A]]OGfdc@Hxh?Y]WODfcC?XxP?I]QOBf~BpXwx?A^}NEfyboH}w{E\}Nuf]b|Xvo~]\wNuf[b{h}_zm^eMyfyBmHuo~I^eMvfXbzxug~E\gNofvbkHuO~E\aNofuBjX|gyy^[MnfTBzHt_}y\UNlf`Bwxw_}U]ENcfsbuh|W|q^SNZfiBxh|?|Y]iNffoBsXyW}E]cNaghCQYH\CiaLPGgbsRqA\@SabOSGgSRqADDC_dPOGGsRA@|Cw_\PLGEsAaHdCs_XOJGfSOAF\CG`tP@G]SDqDt@W``OWGVsIqG\AsaJOkGaSHQETA[`fOeGWsGaFlAK`|OcG^sFqE|AC`rO_G[SFADDAg_|O\GSsLaBL@k`hOtGLR_HoSwE[FMDfASXAN|EWcBPdH?S]iN\FebwPiguC^iNhEmbPPfgss^AIlD[b|PUG}sTAODDGb~PRH?sWQMDEKbdPaGwsZQJ|E{b@PmGnSUqMtF_azPvGmSUAM\DgbjPXGyRzH|s}u^^NpfwR|H}[~I^jNvfzS`ASDGGdDQBHOsgqRlISc~QcHNSeaTLHodVQZHTSeQS|H_dLQgHJsdASDHWdBQTHPScYQTHMc\QOhFsbQStI_cXQfHDsaATLGgdVQHHTSgqOlIScNQcHBSRIHtCua^PPggSpyXLKaeFR@h`SqaVDJceXQyHdsqaUlJWeXRJHZskaXlK{dhQrHfSjqXlK{dbQoHfSpAVtKWe@RDH^smqTdIwdzQ{HUssAZ|LGfBRPHoSvA[TLwfHR\HpsxQYtM[epReHjssqZLLkejRYHiS{Q\tN?ffRqHvsyA\\MgfZRhHuORgHcCuBf@t_yO]WN[FiIHDDa`pQGgsS]RdHscxqZxMKfAW~K\eNRFHbSpm]hNUfirshy[|EajPVgjSTIITDMd|R?h^smyVlJqg{SciODHYbxQYhASZiMdGyb`QIh?SWiNdEibpPegiSZiMdDyb`PYgeSYiIDEIaPPegaSViJDByahPAgcSLiIDBiaXOqgQSNiGdAy`PPAgKSHiCDAy_xOig[SCiED@Y`hOMgKS?iCD?i_xOEf}SBh~D@Y^hOQfuR~h}C~Y^pNifuSAh}D?I_HNifgSchzDHi]hQUhARviPc}YcPNais?|_^ONwGCCIABTe?`oPWGdUoAN@E_cOQwHKCiEVBL`eOsWY[LIM~F`boPwg{[]QU^JPdgQtHY[lIZVLleuRXhk{uU_lOWgJsEyBL@icVQLhES`YO|GYe`RQhgssyYlLQkkURjIdeIqxXQkqUOjLDcirXXEkYURjIdbyppXQkSUOjEDcipXXEkWUGjDDaYpXW]k[UCjFd`iphWUkEUFj@DaYoHWakGT}j?D`inxWUkET|j?d]yoPVqjoT}j?D]inxVejmT{iyd^YmpVmjsTqiyD]Yn@VMj`Tpivt[Il|VEjiTkizdZYmpUyjYTqiyDZIlpVMhMThiSDYylPQeigUUijDeIihX]kqTPihdeyrPTIi]TeigDYIhpU]iYTgieDXihXU]iSTbicdXYh@UQj?TDipDPykHSYiCTbi`dXYk`SQh}T_i_dWig@UEhwT\i^DVyfhTyhsT[ildMyfHTii}SwiZdVYjpRYhgT[iYdUieXTmimSoiXDUYj@REjUSlisdJylPQyhSTViUDUYdXTaoC?p_XoKgEsBQ@jWP?[oMGE{Bm@x?ykIuDjAd`QolWTj}DfI~hXyn{U\kHDqZAX[moaVIkHDpzAX[aoaVEkFDoIwH`AmCWNkFDozA@[Uo]VCj^eBYvp_mlyWKj\eAIv`_ilsWHjZeBYvH_mloWKkCDlJ@PZUlkWHkAdkZ?xZIoKUrjVE?j?XZAoGUnjUe@it`_]lUWDkADiYtP_IoEUgjQd~ysx_ElKW?jPD~IsX^ylGV|j~dfys@_AlAW@jwD|i~@^InaVvjud{y|x^Un[VsjqDxy{p]enIVgjtDwY{X]qnCVjjkduyzP\umoV[jnDtYyx]Am}VUj{dry~X\EnsVOjeDsixp\QmYVRks?OWGSCAA@@A__oNwFsBu@~?|_^U]_G[CUAH@B_aoPJ@t`Ao^Y?K|U^BOTgCrvX|L?U^rOTfwsBXgKyUYbMtecrjXsKuuYrMtfSrXXvKvU]RMDf_r^XpKzu[rNDfGrrX[K|U^BJtdsrvX|KkuUrN|fwqtXpKjU[rJDfGqnXRKtuTRLldOrXXOKsUSbLTdCrRXNKwURRLtcwr^WekSUHzDLampTWXKquXrA|eWopWYKquXrBdeWovW\KnuFrKL`wr@XIKpURBKdckrFX@KaUPbG\cSqDXFK^UQRGDc_p~WzKYuNRE|boplWqK[ULBFLbgpfWpKPuJrClaOp`WaKUuGBDtaCpX?q_XoKWESBE@f?s_ZOLWEkBY@hZ\?[OMWE{Ba@r?vkquXzKtT]irTWioTWikLUMjJTcistYylTmKuzZ^LquxBZtm?vFZaLquwR[dkkunZKLkurRZDl[u\ZXLgUuBX|lgubZ[LhUurY\lWutZTLmUtBZ\hSvRZjLJuybQtmCuPZILpUqR[DkSuzZ^LbupbZtlWuHZTL`UtBW\j{u^Z@LgUoBXtlCtxY}LhusbVlkktrZLL\urBVTjWv^YwLwulr]DjKvLYtLsUlB[|iyt^YllWUkjULm{tHZpLRU{BSliCvLYbLsUgb[|hwvRZjLOUybR|mosvY\LvUzRRdmospZmLLUzRRLgesVYIlEubjPdhAsbYNlHUdJQ\igsFYkLAuirOdgWtNYGLSu`rTD^qn|V|j~u?J?L_aoTWHkDuBZ@dsWwx\FMNVQBblpcyR[ZMdvEbhTpWyR[WMdVDrh\sWwf\FMIVQBalp?yX\MMHVRRaLosy^[NMgvBbiDswwT[KMeVArhls{wN\PMCvSB`DnavtZxl}u}z^dnyw@Z~m?v?z_ToOy@\AMBV@RgLsKxb\DMXvPBeTqwxz[oM^vJrftr[xV[lM[vJBfDq_xh[iMZVIRelrgxJ[{MRvMrctqGvd[cLyVGr]\nSxBZvMNu|bcDtG{D]CMiVSro\vczx\zM~V]bnlv{zl]@M{V_Bm|u[{X\hNEvYBp\uO{P\eNDVXRpLvKzB\bMyv\BkTuwy~\nMoVVbllv?yv\qMmv[Rjdt_zT\XMuVUbl\wSyj]FMjv`bity{AR@J_dOQWHSCmm@VAj_toywl[QtNYhlSUijTdim|{]wn_Fmjvxze|w]vn]fljvXzU|c]wnYFmjuXze|i]nnWflzu@zY|W]nnWfjju@yu|c]knXfjju`yu|}]Tn_FdjvpxQ|u]Pn]fczv`xI|K]hnSFizsxyi|E]MnQfcJpxyQ{s]_nMFgjrXyE{y]VnNfeZrpxa~[?{_\oMgFSBq@vXskzU\ZNLf]rpWVkKuEJBT`qov[|m^vNjfTrqxv[xm[VLzedrYxj[^mOvGJcTqQxF^|OFv~sAL~x?`_LN|wBb~e?o~t^vO@v}S?l~`?H^vO@W?R~M??~p_HNyWAr}u?g~j^sOBWAB}l~X?N^|Nxv{b~t~{~b^mN|V{B~d}{~v^lNvVzB}D}k~^^rNtvzB}L~G~Z^@Nqvxrw\{G~L_KNpWBb{e?s~F^^OFvwSAL}@?`^[OCvvc@\|t?T_BNkw@Rz]?O}t_ANkW?Byu?C}n^ROBwAByl|P?L^OnhVsZx|{y}Z^iNdVyBx\}c}X^FNqvxrxL{_~L^gNaVpb|T}c}J`_LjuuZZDliuxZZmxv\ZmdvAzd\pmvVZzlluizX\jotgX[KYEfBG`iopgXkKiEbBG`fooGZ{KQFFBA`oooGZKKQEzBA`lovgNKMIBzB__|o[gY[LYBn@s`iouGLkLqBbBY_voYgYKKqBN@g`foUwJkD}Aj@X_joSgV{JiA^A{_golGHKJaAZAu_dojgG[CQDfAo_boNGT{CADf?}`WoLgTKIq@vAi_[oKGTKIq@jAi_XoIgV{AyDv?k`]olGCkAaDn?e`[odGQ{HiCbAW`HogGPkHqCVA]`FoaGKkGYBBAC_po^gS[GIDNA?`Qp\Gi{TmIrDPaipSw]sU}JdBzawO}W]CU}JdBtawO{w\sUuJPBj`uPYwlCM]FPDl`qPYw^cR}G@DB`~POWkSReHtDfaqPNWjcQuH`D`aVPVwbSQMG|CdaMPGWcsPUGpCjaSPDwgcO}IPCRabPCW`CSmGXDNaDPRW_SRMGLCvaAPLVxj{|}U~T^gnswuKZULfEjbUpjwxCYUMXEhbdPhwrs\ELDFRbOPrwxsVmMdD~bgP^WxCVUMXDxbdP\wqS[MKlFFbIPpWpsZmLlEPbEPmWosXeKxEJbCPewvcWEL|EBb_P`WTKIuDVAn`XokWUkJeDnAz`^onWyc`uP@FXbjQFx@S`uP@GNcEQFxAC_UOhGHcHQ@xCS^}PLGBcQQ?W~C`]NxGZb|QEW}[^]NjFpbupzxAC]]OdFjbsQDW{C`]NHGZbpQEXCS\mPLF\bnQHWlKUuJVDnaxp[XDKauPVH^cpqWXKccERPHDcrQOxKcbmRPG~crQNXLSbUPpHncZQZXLSa}RXGrcvQKXHcdMQ`HVcfQTXJCc]QxHJclQQXPsfESdHtdGQ[xQcgeSlILdKQaxNchmS@I^c~QfXOSf]RtIFc{Q`XTcjMT`IvdVQlXSsiETHIhdTQgvjZttyrAP`IocwPkG}CVD|a~p]wmkVeJnHLcgqRxG{cmQRJgdmqzH[KmiU~JUdpqxhZ[laVJJOdmqtHZ{lIVBJWddqthX{liUZJSdcqsHWklIUNJGdeqphX{kQUVJgd[qnH\kjiVVI}dpqxhW[kAVJKi?m_WOJz|\}u~XaMpFwb[PUGrCVbipuWy{\uMvF^cwq\XM[f]RvHxejRQXjCsuYhLJe`RRxgstMYHLPe`RNXgCs]X|LDecRMXessuYTKzeWRNXgCrUX|KreWRLxecreXdKzdvRFx]CqMVdK`eKRRxbctMWtLPeHRTXasteWhLVeTRBXdspEXXKNeVRAXdcomXTKFeSR@X_Cq]WDKdeNQ}x^sqMVxK`dyRHX^Cq]XPJvf\?UOJWD]ZpMze|RnXncz}ZdMzezRnxmczuZXMvewRlXlsze\\LfetRkxuCue\\L`fXRXXuCuM\hL^elRlxjcze[lMbfLRhxrCyU[xMPfNRcxsCxU[TL~f?RbxoSwu[HMhfURaXosykA}@`?m_VoKGDu_\OGf}sBI?L?i^~OGg@s@i@l?Q_VNmgAs@h|[}q_FNcf}ryH~{}Y_BNofnr|H{[~I^BNWfzrvH~[|i^rNCffrsHwK{I]ZNEfhrqhy{{a]i@V?l_UOJGDkAnPOeNrGxcKqUXRKfgdSNyHdCMa\P@geSPYHDCmaLPNggSHyDDDUadOjg[SPYHDBuaLOzgXSNyEdCM`lP@gjSJYEDDe`\PZgOSSYCdDU`DPRgLSTyBtDm_xPXgFsCyAL@e_jOVfVrkxuKzU\rMvhNSYYSTEud@Pjg|SeYNtHubxQZhNS\YSTFed@PvhKSZyMTHuctPpgmsWYJ|EMbNPdhHS`yPTH]cPQThES_YPtGUc`QBhfShYYTIee`QfhZSoyVTK]dpRDh]SkYUdKEd|QrhTSqYXTI}eXQlhoStY[TL]fHRXhrSuy\TL}fPR\gCsBY@\HUcnQRhEscYP|NagJR{iCs}i_|Naf~R{i@s}i_LMqgJRoiCszi_|OIffRui?s~i]lQaaZPJgfsoyW|KUdzR@h^tIIe|RahZSiiYtIId|QqhfSiiWtHI`\OyhNSKiPtKicLRAg~SmiMtDielPihnSwiKtHIaLQYgjSaiHtXIgDUEiHT^i`TWyftT}htT`i]TWyiTS]ilTJiiTQYjDSui`T\ifTUynTU]jPTviqT]YlTVEjXTtivT[yclQ]hFT{jDt_IplVykRUAjCt`iplWQkVT^iptWO?dXik^UO?BTfyqO?Iky?AjITeo?dXak~UU?BTf^