CAT(2688,4)

Sparse6:

:~?i?_?O?G?C?w?G?F_B?@w?g?]?s?C_BO@WC?@Y?j?S_HOCWA[Ao?G?h_T_@g?gAi@w?z_\oMwGgBu@x?}_a?OGGGCIAE?~_g_PWGsC]AP@I_coX_H{CyA`@S_jOTWHgDEAe@J_e?SgICC}A\@z?wOZwMKFEB`@n_oOWgKKEUBH@b_kOTwJKDqAt@Z_moVwJsEuB\@k_soYgL[EYBP@f`M?MgFCBeDaAd`ROhwSsIUDNAc`PoggRgH}C{A``M?gGRoIACyA``M?fwPCGeCNAI`EOawP{GuC\AX@JOeoRCHgCnAX@IOeoQ[HgCjAe?~ohoOCISB|@|@Poh?N[FoDD@t@?o\oOSGKBl@w@Ao]_OsFcCHAO?yOc_MSHCBfBc?WoKGD{BU@n?u_XoKgEcNW@j?v_ZOLwEsBUGC?o_WoJwEcBI@f?k_VOJWaGIQDFAa_^oOWGCCIAF@C`FObWP{F]Bl@t_|O]GNKQ{HVCiaSpJGdsQuHQCbaT`HWdOQQHWCeaS@JWdoQ]GzC^aNPGWcSQAGtC[aLpEgbcPmHOCVaK`Hwb?QYGgCiaT`DgdGPUGdCPaHpG_aKPKH@CQAOovgZ{MAE|B_`nowW[[MIFDBb`ooxW[cMYFXBj`tO{W]SNAGHCBa@P@W_{OYGPCIaCpBwaCOyGWCcaE`HW`WQMHECMaQ@BwcgPAGyCGaN`AgboOeGgCDaJ@@g_wPUGmCAaK`@Gb?OMFgBw`y_|g]WN]FiBx`y?}w]WNiF{Bw`}?|g^gN]F{Bx`}_}w^_NiF}Bla?_zg_?M}G?Bo`x@?W]GN}FUCL`t@Aw`_MqH[Am`W@JGTwQuFOAh`s_ig[wIaFOAk`s_jW[wImEuBl`m?zwZgMyEdBS`hosO[kL?FLBc@forGXsKuETBJ`cpH_WcKSHPBBARopgXCK]DpAx`ZolWUcJYDyBT`^?twVwLYDsBW`]?ugVWLeDcB?`W_ogUWKEMU?j_TOIW|_Bi@p?x_\OMWFC^kFBBb`pO~G^sNuGBC?`~o{G]KNIG\COaFoPWGsC]An@X_kOUGJKD]Av@[_lOUwJcDiA~@\_nOVWJsD}BB@a_oOWwKcEUBR@j_tOXgLCE]DPAi`SoiwTkIqELBG`bomGVKJ]DbAr`XQU@GKcIQ@HCcaqOxG{caQLHHcdqQhH[ciQRHLcfQRHIKc}Q`HSchqShIkd]QlHKCfqSPHscsQ`HQCiqT@I{dKQlGvc[qMHHObeQUGvccaMHESbMPbGjC`qJPGkaoQHHECVQK@HCc[P^GgC_QI`GKacQDGdCiqHpIsaWQnHECPQQ@C[c[PHG^CaqGPG[a?QHGXcLqEhBs`qOzGRcIqDHA{`aOlGMcFqBXAK`IO`GICfqSP@c_kQ`G`C?qG@?[`{ODGJC?qB@?[_gODFqbxp|G}k^]NlFwb|P}XFW]qN[Gyc]@zW|wb}NaG}bwANXG?]mNQHAc_`yg{wcyNKHLbsARHE_]EPiFacZ@wG{gbUNGGubpaLGzgaiPQF^cS@vhCg\uPMF]cR@vw{g`uNGG]bpaFGzO_]MuGHbmAAH?_\iOKF[cA`uw~w\YO?FTb~@tGz?_AN{FVbk`~w~W\ENyFRb}@sg~W\]MqF|bk@~Gy?[qM]FJbe`rgyG[aMcFIbh`qWxG\YMOFSbd@tW~G]ENsF_bp@}Giob}P{DWc]`TxFWTuPwD]amAMgwgTMIiFFai@pgwgTiMMDZbb@UWy?ZMM[Etbf`lGt?aqLQGlbRaIxA?YQOcEecG`hWsGbELEGrbPAKgrSXaKrDcapPWxBOXUKmGZbJAEX?wWYOQEGcC@`x?oWQOGEDcA`_wqSXQKfENCEqBoqKX?O\E?CVQK?oSWCP^DkatpZXAoVuOoD~cJ`^gm?^UJ[Fvav`|gnO]eJwFja|`yhAgVQJkGSayaCwm{VeJpHRAgqT?iSdGI`FqAfPRO}c^KI^DKBrPQ_|CSkNNDEBuPz_gcSSNZFnA_p{Og[^?IDG{A]pN@FSbkHvD?C]pNpF{RwP|CtCPpLpCcRWPDCxa[PMgxWRIMYCsaX`rGuwYyLoEnbU`lgjwZqJAE}ao@nWwOXyMGE^b``gGu?XmLaE\bM@kgkwWiKUDdar@aWl?[AJSF@b^`YWpoVMKWDqbE`[WvGS]IQEyb\`QGeGYiH_EjbU@JwCsAa@N?n_WoKGESBM@h?X_JoEHnWAI@B?__PoHWCcwO@L?f_SOEgB[@q@B?__POHGCkAM?~?]_MoHgDCA]MNFDbbPswyK\IMhFUbipuGy{\eNNFgbrPyW|[]iNdFsbxp|W}{^YNtFxb{OQwHkCqAb@R_hO`wPCGeCTAK`DodgRCH]CfAT`IOcWQSHABj@v_zO]WNCFiBh@q_xpSwikTQIlDWajpUWj[TiIxD]ampmWv[ZiLfEsbYpXwksUUJdDpaxr{p|g~E^]NqfvB{H{O}Y^ENcfobxXzs}A]~NiFkRz@zK}k]tNVFxRtP}C|W^bNQFrryPyc}_]fNmFgrzpx{}s]`NJFuRq`|[{c^TNEFrrq@|K{[^PNTF\Rn@y{|W\vMvf[rmHvoye\yMgf^bihs{yY\JNYFQrhpzCyW]rMbFqrh@{syG^HM^FTrg@tkyC\XM[FSRf`tSxs\RMYFWRept{yw[rMWFQRd`sSx[\FMRfIRdXqG|m]yMQfGBvHw?wu]CMNf_bbhu_wi\kMKfYbaxowym[QMlfCBjHooxi[uMCfAbeXngwMZuMAe}B_XnowM[?M@e~b_hpOveZsMKfDb]HnOwy[YLxe{BbxvOuM\wLdeqBmxjgz]Y{MwenbmXjctiYvLXFxRTp}K~?YpLMEyrS@m{s{ZlN]E`RP@{CsK]~K~FbRppgC{_YBNJE^Rq`fc{cXzKxE~RMpoCrgZ~KlEzRJpmkqwZnMPELrc`bkx?WxKNFVRCPuCp?\^KEFAR```CwSWNLqD}Q}pmcngZfJvF`q}Pwkn_]HLnDyQ|`mKv?VjLnDwr[P][v?VdMpDpRkp[czGVFNKDnqwPxsm?]ZJOEuQs`lslCZZJCEuQp`lskSZZNKDbrr`XK{sUPJ@FYQopuskG\jMFD^Qo@pKj{[PIwF`qm`wkjc]HLqD]R\@VkvKTvIodWqjxuGiq\eImfXAjXnWiYZyIge}AhxSG}}TCNldOBzhSWxU[eIcfIAhXqohi[oI[fJaexJ?}]^QHYfsAUXsGgQSCM_fNa_xr_g][{IDfMa`hzWfq]yH}c}bvHLG{}RMNPcsBsHL_}IRSNbctbwXyOe}]gHmfhaZXMO}q^SHofta[XM_{ARiNAcxboXvgfY\{Hvf^a]Hh?r]XoLIecbLhkoqEXELgePBXxeWpyXiK_eYBFxJgpUWmHZcmBDhcooiXGKJeQbAXdOoAWCKke?bIx\onuV_J~dva~h\WueVYLjduBYhiGmaYcJiehayX`_mYW[JfeEaxXe?leXcJZeWauhb?lqWqJ]eLAvXXguAU]LadfBWXXOtQUWLUddbTXUOsuYUIrdYBRHTWq]TQKhdTBIHUghuS}IudNAlxQ_lMSiJSdiadhgwhaYIIXebAdxJwpIR?KScnBCxP_gySUIOdEabxP?hESeIIdCachYof}UoI@dja_H_WeQWIHeeAAXXKGfeREHzcpA]gAK@M?d?U_IODWKCEIBB@c_poXWTsJAD^Am`WOjxT{jET`IrdXQlHUkjYTnI_dPQgXQchUSlHWclQUXOCgER~H`cpqWhLceiRVHocxQ[Ye`SAhkTAiYdOYfhQyh}Soi^DJyb`REgySriXDFiexPehqSZi[DEi`TOqgVSHIJT@qa|O_gpSRIAT@aalPOgJRzh}s~I]pQMfmSchydGiZPQYewSdiRcuydXKeeOSliUCqiWhPMeMSThbDDIapKIeGSWiJcoyUXRidgS{hYdMyTTImdXQahPsgYf@IAhmQ^hNDMYbpHYgwQViMcdYQPPecgSZhHdEiPxQUc_SeiRccYbxGqc[S`hEdGINPRmbwS{g|dMiNHQibmShg{DIIcXFQhCPuiQC\YdXFEhYPriUC[ifpEyhyPoi^cZybxEihAPgiOCYYePEQbCSpiXcWyEpQy`mSngYdKIe`BIhkOsiYcKydHBEhSOoiSCJyA`SA_kTAgIdOY^pOug?SNh~dBi]PL]feRWhyCuYXpPAe]SPhgDCiVxMAeARah_CwYVHLuduR^h\CviSxLQdQRThSCtiOXIQdIQDhAChiKxNibIRxgrC}IPHD}bAQJhDCWIJ`MMfIP]gmcxIIpHaaoQYgjceY\HDMfUPThtCTI\@DEfMPQhrCSIVhCed{PFh]CQIG`JYaIQvgbCmIYHBya?RQhhcNyGHOEaESBg`D?iHhBma]O|gfCNIF@Di`sPZgkcMYDhGY`[QGgUC`yDPEm`UPlguCIYCpCiaWOggdcHyNh@y_}P~g~CFYCh@m`EO[gQCEiC@@e`AOWgJcGiTp@Ed]ORgHCjYU@?ydaONhXCCI@H?u_SOJgECAIRX?UcwOEhMc@y?PMq_ERmgACzX~xKm_ARLg?CrH~`M}^{RphwB~X~HGAcCNzf|C_X}g~Y^gNwfxb|w@C?i?R?L_DoBGAC?y?^FGbcpqgz[\qMtA^`OogGGCCE@~@A_aOOwFcBy@z@K_eoQwO[GECDAC`BO`WN[FuBx@}_~o_GM[FQBdElbVpjgtSYqLVDaaqPWwlcUuJVDAa`pOWgcSYIJPOghSSYBD@e_nOPgHsCh~K~i^vXQKeUSrHldCqVXIKfuQRHtd?qPWiK`UJBGdakqFXDKRuPrDLcWpPXDKKUEbG|`cqLXAKKUERGd`gqFWiKIuJBA|akolWhKIuHrA|a_olWQKfUSBA\`Oq^WRKeuCbH\`OqXUdK_tgrGDYOp~WEKcU@rHL__qTXRJyuSQ}tdGnhWZJwuFQ}\`ondVnKUuJq}D]wp\WPJttzR@|`?nXWoJsUKa|TbCnRWtJnuKq{DbOnBWeJluHQzTaOmrVLKOtrrC\[wpDVKKNuGAx\`wmTUwK]UNQvTZcp|WrJYtlrElZWphW{JXUNaudbslfWqJStirEDbClTWNJRUCQtD`?lNU_K[uMqsTbglBUYKEuBar\XooXUVKCteR@\X_oTWHJITdb@\XSoTX?JGuOQq\b{kdUMKZTcBFDW{pnU@KOT_BBtV{o~T{KUuJqntVsp\TrKEuBamlVOoXW`IrtYRC\aGjPW\IrUEqkd`ojJT]KZTWBFDT{pnWyIiuMqi|TWprWeIhTTBClTKpHTKietRihLSmiTTFibTQIglSQiFWBJmU@Qzt_OmzVdJgTxqyT]WmbV@JbtoqxL[GmPUnJhtkQylZ?mhVCJMtpar|[Sk|ULJ]TbAvlWklvU}JCTaawDZ{kRUDJzt}Qo|^_kLUAJ}t`A~tWKn~VyI{t~An\^kjtTuK?T]B?TV[oBTiIwTZAmTUkjbUkIotjak\YsjDTlIltZajlU{ixTWJjTuAjT\[irVaIftxAiL]Ki`[M?SoIwDSLyE~B_`xo|G]kM}FZBmaDpBW`cIaDTAh`UoiwTcJQDjAueWRKheKqEXFKaeKREhbKoqW\KLdMQexRSheSnIWiwT[imLU}jZTmikTUYjTS}ibTOm`VOzgLr}y@[}m\vNZfdraxt[xmZfKJdxrYxa[tmYFIzeXqexc[im[FGzfPqUxq[cmPFHjcHqaxM[_mVFFjd`p}xY[\m`fEzgPpqws\@mJfNjb@sAwq[~mJFJJdhpUx[[SmRFDJapqaxM[TmVfCZeHpMx_[QmGfIZaPqiwe[jmFFMza@ruw][{luFBZ\PoqwUZjmEexz`XmewWZglZfAZVHoito[GlNfAJSHoit?[HmZe]jNHrUro[ukzfLJMhrIrk[rksfFjLXpurS[^krFGJKxqIxAXgmJeVZbHd}woX]kmFEzb`diqu[YmQeUZc`daxEXVmFETJa@dYw]XTlpF@j[Ho]vE[Dm@Euz_`luwEZ[l{Eoj]xkEvkZ?l^e|J]Xjut{ZtlYEzZUpm}tiZmlcekZUXkmuSYqkxEizM`iureYkl`ehZWhi]uGYelPEpjSXkatGZFlwEfJRpnIsyZplSEdjTPhatQYVlIeeZQXhmsgYYl|ecZQPnevsYOlEe~z_Hg}w?YMlDEmjP`jqsUYzlBejjPHjAsOYnlqE`Z[pgYvIYCl?evj[@gMu}YAl?EuJNpler}ZYl}E]zNhnyrwZ|kwetjYxe}uiXokuEsjLhlMugXmleEXZXpeMuYXckpEsZKHlAr?ZN_LOEwBc?u?V?K_COAW@S@]?p?X_NOFwBloewP[ImDvBZ`c[yM`FNboPwg{K]QNJFbbZPmGu{UAJBD^bRPhWscUaJTDhavP[Gl{SuI^DMa\pNWfcRyI@C~aVpKWeCRIHhCrhKSeYRTAu`\OkoJGFKBq@b?m_\oGG@{@I@F?O_QoHg?[Aa?N?i_An~GG[By?A~}__nugE{BH}y~W_YntGBZ|I?}~U_MoDFzK@`}z?U^lnrg@j|A?R?I^enrf~Z|@~m~K^{nsf}J|P~i~U^xnyfwz}x}U~k^cnoFwz{H}U~C^coHfv[Ah|~?g^]oGFujza@J?a^ZoNft{CH|f@?^WniGFKBp|Y}i_\nef{ZxX~A}W^nndF{ZxH}}}O^onxfpZwx~Q}K^qnyFmjvX~I~e]xnCg?k?Xwn?A]InBG@{@Hwb?O]FoJF_zoa@]{I_Wn~F_J~xwJ??]@mwfwZmX}Izc^_n|fWj~huQzE^{nyfVz}xuE~k\_oDFVK@`tz?U\\mkgBZjY?}ys_MoAFTjjA?Z?I\VmhgEZii@myg_YmgF}JiP~iya^xn^fojw@{Q}A^BnWFsjyHzI|a^RnUfeJrPy}|[]Xn]Fijvhym|{]knRfrjtH|A|O^NnOfhJspyM|I]anXffjuhyA|g]^nLflzr`za{y]unHF^Zq`v}{e\}m|FdZn`x]zu]Um{fcZq@v]{]\wmzFbjmhwuzg]KmvFRzhhvAy[\nmtfRJhPuuyU\kmqfQZkxsazK\FmbFYJg`uiyI\h`_OoWWSKMEHBDclqVXJcsmYZLKeDrAh`KiMTJIcdNqfhRkdyQ~H_cqqXhKcfmRtHxcrqYXLCeuR^Hmpigq{YYKrEgbIphGn{YAKBEaa}pbgl[XIJ^EOaup[glKVQJJDoarpVgl[UIJZD_avpVGk{UaIrDYaqp^Gi[TQKBD}ajpRgq{TAKrDKbIo{gr[XyFnE[`ypaG[KWiFJEK`pougokWYE~B[b@p\gYkLYJvBWa{phgX{YiEfEg`gpggXkKaLJE_`doogp{KYKfBCbGp[GVkKAJjDq`^oTgokWYAv@Wb@pfGIKDQKv@QbNp]gHkVaAVDu_fpagHKWaANEK_apJgbkRIHBCoaNpEgdkQiGnCWaSpAgaKOyGjCKaHp@Gc[OaHNCEaQomG^kNiDvAu`{okG^{OIDjAqa?ojG\{IyFbAi`uoyGTKIYFVAc`roagS[GYDBAG`No_GQ[HYCJAS`@pMgN[FyHzC}_}o\GPkFaCb@u`FoeGL{HqBfAY_woYGg{EqIV@iacoWggKSQBN@ca`pLGJkRaBBCu_n_JoEWBC@u?~?]bmpvwzsHeCtAZ_fOSGH{DQAl@TliutzYtlMudZSlfusZYDkqu\ZLqdhT{hiTfIWdWqihQ{iqSvIgdKqmhQKjySjI{dHqdHU{hATrIQdYqaGwk[aSJIEbbqnH?{jyORGId\q?hU{_QTjG?d[p~HU[^yT^FydWp|HTk^aTVFudSpthP[gyMvFWdEptHPK\ASNFQdApqhP[gyM^FKdEpnhRk[IS~F?dOqhGv[ZaTFIeb]qhgu{iQLjEqdPqgGuKhqL^EkdNq]HK{fqRVHycsq[HKKeQRZHacvqUhM[dqRjH]czq^hIkgIQrI?cjqKHB{aIPjG_cXqLhBKbiOzGwcLqChD[`YPZGScVqBHCk`APRGMcRqRg|{dINfHObwpzHG{]iQJFgc`pwhFk]YQBFcc^qQGzkcqNBF]cd_IODgAk@E?f?Qr_B]HnSve[BMAf@vRZh|syyT\KmdvPzhLsayH\Emaxosx}[TMbfCRgXrCw][tMJfMRaXocxU[@MVf@RcxoCwu[DMPfARbxeSvUXlLxeYR\xeCvmXXL|eVR^xmsq]XPLxeTR\XcSv}XHL|eOR]x]CxM[lJtdxRdX\cxEV\MNdtRbXrCmUVPM\drRexrsl}\DJbfOQwXYSu}UlLrdiR[XYCuuZTJLdfRYXlsk]ZdJJewQqXWCueZXJDetQoxicluUtLPdkRSxgcpmYPK^ebRFXfspUYDKXe_RDxfCo}WdK|e\RCX`CsmWXLNeDRRX_SuMWLLfeARXX_CuEV|L\d}RVxisn]YtJzekQ}OAw@k?q?R?I_CXnKvUZnLze~r^YGtA}`dPJgWSQYHDAeaLOlgdSIyCTCU`LP@gQSOy?tCU_PP@gASOxutBu\pO~g\RmxuDBU\dOvfYSMYFSym\\O~fUSNYEcyU`pMhgZRhyCD?E_|N~gMS?x~D@]_tN|f|SEX}d@M^lOTfxSCY@S}u^`ONfvSBXzSzu]|N@fmRnxxs}]]dNjfgRyXxC|U]pNLfdRtxwS}E]LNdfaRwyHdIUd@PPhPSRyMtGMbtQFg{S`YNdFEbhQ@gxS^yPTE}cXPjhCSZYKdHMc`PfhFSYYJtI]bDQhgoSiyJDHmaxQ^glSfYITHUalQXgiSdyYDKUehRHhhSpyXTJ}e\RBheSoYVDIudxQph\SjyYtJMdlRZhYSuO?dMaezR_?BSzO?TMie~Ra?@Szo?dMYffRc?BS{^