CAT(2078,1)

Sparse6:

:~?_]_?O?G?CAk@D?c_PoL?DKAi@P?g_TOIWD[Au@X?l_ToJGCkA]@L?}_^oNWF{By@z?v?_OO_FKCC@p?u?]OM_EcBk@j?u?WOJ_EkA{@h?v?WoMOE[B_@d?p?_OO_E[CC@d?n?\OK?FcAw@v@]?POGwCcAI@F?c_l_VgJgEAAw@^_l_WWKWDuBC@[_ioTwIsDIAh@R_e?WwKOCyAY@`_c?VwGoEAAM@]_f_QWI?CmAa@I_k_PGJOCUAo@B_~_IGDKAi@L?d_RoHWC{AYByAA`A?^gOWFqCK@}`B_^WOgFqBWAA`A?YwOWEiBr@z_|O`OMsF_CNAE?zo\GMkFMB_@~_w__WMOGABY@~_v__GLoGEBJ@e_qOXwLKEa@`?n_VOcGPsG}CzA^`NOi?QsIWChAf@Ioh_QKI_CfAf@HOaWPSGaCVAK`Eof?S[HgDJAc@LoeOSKIGCpA_@JongWCJ}DhAq`XolOT[IgDnAh@ZOjoVCJCDrAy@WOnOTkJkD\A{@UOt_YKLAEdBQ`gOsWYkLQEfBG`copwXkK}E\BR@_ot?WSLSEFBE@dOpOXcKkEH@Z_moVGS[IQDJA_`POgW]WMuFaBk`x?yw\WMyFYBn`u?{GY{LaElBi`soyGZsLqEzBf@xO{o[kMWFbBb@wOz_[cMGF^BZ@nowOZKM?EtCQ?}O^WNsJaDtAx`ZOlwUkLqE|B\aQ@C_bCPOGtCRAKpD?akPKGnCQAJPBob[PsGbCOAMO}w^cNiGUCWaD@Eg`GPeGLCGaBp@?bcPsGJCBALp?O`{OGGbC?AGO~Oa{N{GjB}AJPB_^KOoFpBvAEo|?`cNSG\BuAEpR_`{PEG`BO`hOsW^SNmFxDZAkPUgjKTWIrDSAlPTOjCTOIbDUAhpTOiSSoI\DLAfpQoiCSgIPDHAcPQOhST_HZDYAVpUOdsRqH|C|a[pMgf[R?IbCqAhpKOiSSkHXCiAePIohkQcILDDARpI?g{QOILCeAbpPOckT[HDDVAPpTocKPwI\C^AgPG?h{RWIDCwAaPLog[RKH~CtA_pL?gCXCIPDIacpFgcCP}HBCbaPPcOqcXWKfEQBIpb_qSX?KbENBHpYwlcUiKTEGbCpdon{W?KrE@BKPb_k{X?JPENAspX?qcXWJLDdBIpb?kSWkJBELAppW?pkT{KVEKAnPdoj[X_IxEXAmp\_okV_KNDvBBP^?m[VsJhDtA~P__mCWOJbEBAxPZonSUsJvDmA{pBG`sOuIzDZamPqOsCYGMPE`BbpoWw[[IL|F?b^pmOwkZgMLEwBaPi?xKYWMPFFBRph?wkYSMLEbBaPk_ukZ[LhErBZPkOvkZ?LvEnB]Pj?rsYwKzElBNpe_tKXoLVEZBTPPWgsS]IXDLadpFgcCP}HBCaaPpqgxc[mN[Fdbw@xw|w]YNUFabq@zW{W]qNOF^bt@wW|G]ANaF[bx`vg}O\uMrFZblP{Oys\_NfFqBjpso|c\SNZFSBtpz_yC]{MdFoBgprO|C[{NTFMBspbWpcWmK\ENbGQBxAK`AOXGMcEqC`?C`KODGSC?qC_~k`ON~GRB~P~@Ak^gOnFzCJQDO}{^cOlGVB{Q@_}c__NlGFByqAP?[_SOVGCCDQJPCcaWP^GdCVQGPBCaGOrGYCPqF`DSa?PXG^CTqEpC{`sPPG[CSqK@FKbkPdGpC\QKpEsbSPpGsCZoKWE[BIBT@k_toZWL{EyDTAj`SojGTsIuEpBV`jOuWZ[LiFFBc`pOvw[KMAH^ClaVPLWecRML@EabOphGskYMNhFubyq?x?k_QRWHecsAZhKweuRQHbctaXXLOeQROH`cpAXhKweAQyHbcnaXXJoeQQmHacoaUXK?daQwHUciaUhI_dmQcH\chaVxIGdyQcHUchaTXIGdQQmHMckaSHJ?c}QUHYcmARXH_dmQOHMcdASHHGc}QYHDcbAQxGwcqQOHAcdAPHHGcMQCHDcbaPHGocMPwHkc^AZhFgeuRQG~ctaOXLOcATU?U_KODwBK@m?t?[_NOFWCK@}@@BR`iotGG[CUAH@F_cOPgRCHeCnAQ`HocWWcKYEJB@``oog_COIGBB|`~o~gmSVAJbDlavpZgyC\IMbFLbfprhBC`eOtGZcMqFHZWlyUyJ^doAvH[GlaVEJYdpAuXYolmUiJ[djavXZOlIUqJSdkAsxYgk}UmJPdjAsHXglQU[JRdeAshXwkYUaJGdgApxWWkYUIJGdaApxWGkeUUJAddAoHW?juT}JAd_anhWgjqUEIydaAmxVWjyT}I{d\AnXX_j]ToJMdeamXUwkeUUIxddAmHUkjYThItdZQlHLwiaTSHpdSa[HR_lyS{J_dMavx[GheVEIZdpAehQojESoIqdJakxQWiUSiIfdIAhhQ?jEScIrdGakhPgiUS]IfdFAhhPWiISWIcdDAgxTog]SQIndCAkHTWgQTYIEdUA`XTWgETYIBdUA_hNoiIS?Icc~agxTofmT_H{c}ajxRwfaTAHydOA]XTGfUTSHvczAiHMOh}RgI`cxagHhO?i?X?Jeg?BW@{?y?d?P_GRV?A[@U?hL[enRVXjctyYzLXDqRUp[ktgVLKMEarP`aCsOW^LDEGrP`a[sOWdKJEkRBPi{ooYlKGEirT@`StKWRKDEhRS@_stCWNLME@RRp_[oOYZK@EhRS@_CtCV~J{EkQ~`i{nsYlLND{q}phkswVtJuEdq}@hSn[YXLSDxrTP]ktKVhJqEdQ{Phcn?YVJnEbqzPhKmwYPLXDtQz@j[mkYtLFDrrQ@\KscVPKyE^rM@gCrcX|KzEXRNPecroXfKnEYrKPe{r?XlKeEURJ`dCqsXNKcETRGpdKqSXVK\EORG`b{pwXBKVE_rOpbKp_YDKYEIRF@aspkWjMuEarPhgc@]?l?W_KODgA{@i?v?X_KoEgB[@u?x?]_MOFWBszW]LNFF[Rlpwk{_\lNIF[RqPu{zK]BMtF_Rl@v{zK]DMtFaRl@w[zC\rMqF\rm`uCzo\dMpF^RnPuCuaZTLhetrZXlc{_\HMeFdRqPskyC]JNFFPrg`wsxw]DM_FaRfpw[xk\zM\F^Rn@rcx_\tMxFLRePv[{C[lM~FJro@qkt{\ZL`FVrW@tsysZDLcFVrj`k[xG\TMSFURcpt[wc[^MPFDrc@pSwW[\MGFER`ppkw?[FMDF@R_PocvgZzL{E~R]pn{vWZpLsE{r\Pm{v?ZdLnExr[PlsuS\NLfFSrX`tC?i?X?J_DOBG@\@{\ZMnfVOBg@{?u?Z?N_FOCWAS@A?b?Q_GQfxSKiATDIcdPqhXS{iYTPIidSsFqCTAC`HO_GPsFqC|AC`JO_GRSFQDLAg_|O[GSSIqBdAs_|OkGMsEQA\@S_vOSGLSDaBL@__vOVGLSJaADB?_dOnGGsIq@lAs_^OkGFSAqC|?o`JOIGRSAQCdAG_NObGCSDa?t@__JOVGAS?QDDAg_FOAGSr~aA\@S_@OSF~sLp~\Bc^zOwF}R|h}{~U^pNyf{sLp}S~K`rNsG[SJ`||B?^bOnFwRzAEK}w`fNlGXRyQEdBW^VOtFtRyAELBG^LOrFrrwqEdBW^JOtFqRuHzK|]]xNYflrsXy[|I]hNUfirw@x[}G]ZN`FeRvPxs|{]`N]FfrPxhCseYZLMefrThjCt]YrLZelSRAQ|Hca\QWGesWQPtEKc`PaHFsVaQ|Hcb@QWGnsbaJlG{avQOGmSUAQLDgcfPXHHSTaQlD[clQSGiscQITHKahQQGhsRqQdDCclPOHIsPiHDC]aRPJgdSOIGTCEaJPCg`s]QP\GsbvPyHESaAMtF[cRPwHDS`QM\G[bjQEGyS[AN|FGcBPpH?SZQNlE{b|PmG}S_aLTEocHQBGtsMaK|BobROzGsSXaFlEO`~PdG^SeaXTHoeXQZHdspqWLKceFRGH`SpAVtKWe@RDH^skQVdI{dzQoH\ssqTdIwejRSHUssATLLGdVRPHTShaUlI_dnQfHZSgqVDJcdHQyHQskaSDJOdDQrHOsfQXlK{c~Q]HfS|oB{AE@@?^_OoGH`spAW^KPeHrChzk|}]|N_forwi_pOAgOS@iBd?i^hOMf}SDh~D@I_@NifwSAh|d?Y^hN]f}Rxh~C}I]`N]fkRxhyc}I]`NifwRuh|c|YZ`OMe{SDhmd@I_pLeeuSGhlD@yYpMyf_RWhjczy]HMmfeRlhxCzI\PMQfORahscwy[hL}fMR`hrCwIeozA\bMqfXrlXuc@M?j?S_IOCwAkuEY~L_epRWxkdGUcNQEh@S`IO\F}cBQ?g}s^iNdEQbLPdgrsYYLDTciLTVIatUAg|TSiFTUIaTTAgTSCiNT?IatNqgtSKhxS}IaTNQgTSkhrTLI\tRAfTS_hrTII\tQQfTRWibTRI[TLqiTRWi\SwIgTLqh|RShxS}IYTNQe\RSi@SrI_tLAf|OchZSJIVtAadtQginSkIktIqjDQ[ihShIjTIAilSkhHTLIRTRAclQCibTRIPtGaiTPwi\S_IgTFqh|S_gvS\IdTFAhLPagtSXiItDyatPGh`SqIITCqeLQsg^SnIGTCQdtOoh`SqIFTBQeLY__rOZgLSFYBd@ydxQ|h\smIVLJidjQvhZSkiUdJMlUUpjUdkyt`ZIlWUnjTdkIthYylmUgj[diiv@YelOUsjZDiitHZUlmUCj[d`iv@WUkAUpj@dkyoPZIk?UsjZD^inxZUl[TzjWD^YtxVqjlTviyt\Im\VIlITnjRd[YspVAjWUdivDhylhYYjQUaitdhIlPYMlCTejQDYIsXU]jEU^jOdXYs@UQj?U[ipDfYkHXyiyU^indgYjpYAkwT[ildfijPXuk_URjIdciqHXQkkULjKDbiqxW}kSUXjEDeypXXijoUFi|DaYnHWaoCVrjyt|I}D^InbVBJ~tpR?L[Oo@V~J_Tob?L[Co@V}J]t~Qv|^ol|UyJ}TnA~tZknzV]JzT}A{D\{nnVZJbTvQxD\omNVWJ{tua~\\cntVVJqTxQyl]WmlVfJhTyQyd]_mfVmJftzqyL]sm`VKJtTra|d[snVVHJotwqx\]GmTSliVtJieDRIhbWnKIUKRAtb?ojW_kOuGjBl`}o|WYKUUFBDt`kpZWnKAuKR?|b?oLWkK@U@BDt_KpZWPKSuCrD\`GpTWNKPuHRAD_wpHWJKJuER@l_oopWeKCUIB@Ta[oRU[jNTfYr|YEl@UajQTgyslY]lLWqKjULBJDbKqnXRKeuTRH|dOq\XIKkuUrHdckqtXOKcUSbHLdCqNXUKaUPbJDcSqnX@k`uOjFtcAp~WzKkuUrFlboqtXRK[UTRFLbgqhXOKYuSbE|dCplV{j~T~Y~|_Eo@Xvk{u]JMlfQrlXgK|U^BLTecrvXyKqu^BK|eWrvX|KpU^rKdfwrFX|Knu^rKLfwr@X[KvUVbMDdsr^XpKtu[rLlfGrXYTLEUdrPthWsZYHL?UarOTggsBYQLBUaBQdg[sfYCLFu_rQLgSs`Y`LKUgrRTiGsrY]LLufRSDh{sxRshzS|YqDXIkbULjFtbj?l_]oLWAkAU?zLtfAr^XjkuuZJUpjqt{YwlZenZUXjetiYzlYEmjUpjAtmYql[EkZUXiutiYnlYEjjTPjAtWYqlTekZTPiutWYnlTejjVpiYtIY|lQEnJVHi]tQYzlSEmjZhRMhjSs_BoAW@D\UmnVUjhTtIy\bippWxkYuLzEtgAsDY@l@u`ZOdmov^ZmLwuzR]DmgvhZjLxU{r\LmovLZlLsUzb[|mKvRZjLquyb[dmWuzZ^LsUxrZtmKuzZ^LquxBZtj{unZ?LkuoRZDlOv^ZULwutR]DlCvdZRLyUsb]\m?u\ZaLgUwRX|m?uVZaLeuwRXdlguPZILmUqRZ\l[uJZXLbuuBWtkGutZCLmUorZ\qS?H?E_Av@BcloWxN[DMRV?RcloKxN[AMRVGb^to?xH[bL~u}rb|qCvzZ{MOU}BcdqGvt[bL{u|Rb|n[x@[`LzVERa\pkwj[YMIVDbaDp_wd[VMGvBb_|o{wR[LMCVFB`Toow|[JMMvQO?{?e?P?F_CoAJgxsiyO\JmbFQZgpsqy[\GmefPzfhsqy[[~mefNjfPsexw\Jm\fQjexsMxq\Dm[FPJe`sAyC[umYfOZdpqax_[imVfIZeHqmxY[rmUFKjlPl]urZWllUvJZ[?Q?L?D_AO@W?tvCzR\fMxV[BlDu_zf\hMyvXrmdtkzZ\nMmvZbjduOzf\eMyVXRmlv?zB\bMxV[RkTtwzT\_MuVVrl\tgzX\WMtVURl\tSzZ\nMjvZbits}yb\OmhVTJi\p}x@[`mPVHJc\vo{h\}NJV^RqlwW{n]FNKv`RrDx[{D]CNKveBo\xOz~]TN?v_BqtvYzp\vm{v]znTxC{V]RNEvcbpdw_{\]ONDVbrpLxg|X][NVVertlyc|F]jNQVhRtTy[|@]gNPVhbsLxs|^]pNNvkBrtzk|p]|N\VnBvLzG|j]sNZvkrutsayN\EnGvczqTwy{`]NnbFrJxP{U}U^CncFpJwp{]}Q^Dn^Fqjw@{q|}^JnbfoZxH{M}O^AnmFXzlLua|R]jnTViJs|yY}w^anmfxJzp}M}w^`nnFvzzh}A}[^Znkfrzxh|i}}^UnofuJ{@|]}e^bnifxJy`}I}a^YnkfsJyP|m~s^hNzvyb~L}_~p^wNqvxr}|~c~L^jNwv{r|l~G~X^sNvV|b}D~S~^_BN|W@R~e?O~v^}O?V~S?L~|?D^Ynlvu[@a?Z?[_FoCGB[@I?v?U_MoDGBJ}|~e~p?@OIgBw?Y@\?`?AOJGC[Ag?H?d_S??gD{AY@W?F