CAT(2058,2)

Sparse6:

:~?_I_?O?G?CBc@d?q_XOKGDsA}@Y?p_T_KWD_BE@U?g_U_IgD_Ae@[?d_W?HwDwAYAU?j_UoJGDCAi@R@V?goSgI[DCAh@R?ioS_IsDAA\@N_f?QwHgDAAW@N_c?SwIGCiAc@H_i?QgH?DUAQ@U_`OPGG[CUAN@E_e_OGGGCq@}@J_]ONgFkBkAl?x?iOM_IkB_@h?u?YoLoE[B]@p?u_]oNgFcBe@t?z`D?`oOCGcB~AG?~O]wNkFqCG@z`B?^WOgFqAmAF_k_aGJ?GeBt@x_{O\OOKGKBn@u@@O`oMSFKCRAG?yO^_LcEwC@@l?~oXGKkEMBP@f_rO`?KKGWB@@a@Ao`?JkGSA~AE?nOU_OKGKAx@Z@@OZoLKFCBV@o?tOUGI{DeDiAm`W?lgTwJQC~A``OOfGRsHuDgAJ`Z?bGUgGiDaAg`X_igUOIeCeAa`I_gwS_HQCqAd`L_hwROIYC_AU`H?eGQGH]DUAL`F?jWPwIqE^BP`gOr?W[KSE\BL@aOp_VkK[D~BG@^Om_WKJoEDAz@_OqOU{KkDrBI@[OIWDSAaBR@j_tOVWJ{DyFMB``s_ww\?MIFEBc`r?wW[OMUEiBc`r?twYoMUEpBY`koxoYSMcEhBg@hovOZ{LkF@B[@nO~oHSCaAR?r_YoLGSkIYDNAa`QOgwQsHaCnCAa@p@G`WOIGYCBaE@@G`?N}GSC@aC`?G_GOUGMB~a?@@g`WNAFcCL`w`BG_wNiGIBz`{`@g]{NYFpCG@xpA_]kOcFhB{@uo~O\{NwF\B}@tO~O\cNoFVCn?POGwCcRw@D?c_PoHWC{AYBX@m_uomgVcJmIGDFac`PgggSaIBDBa`POOgcSKILDAAapJGdsQuH^CpaWPJGdsQuH^CpaWPNofcRwHzD?A\pM?fkRcHvCyA]PNofSRwHpD?A[pGwckQQGyDFac`FwboSaHiCWaZ`EWeoP]GgCtaJ@LwagRYGaCqaH`LGaORMG[CqaY@CGeWO}GsCeaS@FGbWQ]H?CjaT@GgdGQEKKECbAp_wo[WUKHD|a~p^gm{VaJrDcapPWwksUUJNE?AgP__iSWCIbE?AdP__hcWCIVDXAmPUojkTgI|DyAyP\On[VWJxDjAvPZOmCUoJ^DpAsPY_m[VGJRD`AkPW?isT{InDLAhpTOh{TOI\?a_QOGw^cNyFzEKBXpb_ukWsLhEibUPiws{YeLPE`BXpgoukYGLhEoBNPk_sCZCK~EoBIpdouSXWLbEcBLph_rkYSKxElBKPjorSYwKrEJBIPcopKXGKTENBBPcOpCX?KNCkaVPJWeSRMHhCtaZpLgf[RuHxEub[PlwyG\]MqFRbk@sgxo\uM_F^bf`vgy_[mMYFUbi`rGzO[aMwFIbl`qWwk[]MLFABiPp?ys[KMjE~BjpuOwK\_M@FYB]Pv?vs\kLzExBmpmozsZgM~E?b@P_WocWUKFFzb}P~W~C^iNrF}BuPz`?C^{NZF}Bsq??|[^{NTFeC?py@?[][ODFbC?pxP?[]OODFtBoP|o{S^WNBFnBxP{O}c^?NfGRCJQDPBC`OOnGCCGQ@`AS_SObGLCKqBpB[`gO\GFCDQAP@c__OVGdCPQHpCcaWPFG[CNqF`CK`sP@Cxa\PMGEkBQ@f?v_[OLgPkG}C\BS`hOswcCQIHBCMaGPBwpcWyKZESbHPcwqkX]KlENbGPcWpCWYKNEHbDpag{S]ANBFnbwp{HIOc}QaHSchaSHH_dAQ[HNcgaRXHGdaQUHYcdAUXGodMQMHSchAQHIocMQmHDciaPHG?cqQCHMc_aRXFgcMP}HDc^APHFgbiPuG~c]ANhF_baPuGvc[aMhE_b]PkGxcYaMHEGcIPeH?cXAOXEGbYPeGscXALXHOayP_HHcdaJxGoayP_HGcbaJxD?daPSHYcSaUXIoamQmGlciaJHPo@a?n?U_LOEwBKhg?|?[_Mqg?B{AE@@?m_WOJwCkA]@L@q_yO[wVsJ}DzBr`yo|Gi[TUIhDUakPTwjKTmItD[anPVWlCUiJRDLafpRgvcZyLzExb\pmh?c_YOJGFcCqAHXOk]UUJHdeAqHXgkQU]JEdfApXW_jyU?JEd^apXV?jmTqI|d\AnHUok]TmJHdYaqHUgjmTmI|dZAnHWGjITgJBd`AkxV?jITgIyd[akxTwjyU?Ipd^akHToi}TWIpdUakHTGiyTUIldTAjHWGiYUEIgd`AhxTWiUTQIcdTAgxSWiYTIIgdQAhxSSiET@I`dPQgHRodmQwI\cmafxP?kiSSJKdCaqxXggUU]IFdfA`hO_hmSEI[d@AehO?h]SAIXc~aeHQ_fqR{IUc}adXNGhISeHzc|AcXQofaSiHudIA\xMWhARiIMcyAbxPofARcIOdFa[XPWeuSWHndEaZhLOhESeHkctachKwgmRQIKcsAbXROeQSwHedLaXXQweESoHbcpAeXRwdyR?I\dNAVxeo?i?X?Je]?BW@{?yYC?O_HOCXh?@M?j?SecRQXhSsaYTLHeaasHgwlIYKJPeWA}xeOnqVsKpeXA~xe?nuXaJ}dzbOhg_neYEJwdzBOHgGnUX}JsdwbOhg_nMYEJqdvBOX\wr}V_L?dtbNH\gryVWK|e]AyHfomiXyJhe\AxXfGm]XuJedpBMhfGmQVEKzdobLhf?l}V?KveaavHgwlyYKJ\dlBLxf?leUuKudjBKxZ?rUUmKseXasxYgrUXgJSeUbGXcWq}XCKmeLbFhbgqAWwK^eKBDXbOpYWmKXeFbChaGpQW_KReEbAX`oomWWKIeBBIh`?qqWMKje@bHH_gqYWGKde?bIX_Oq]XOK?fM?EGAs@]?n?W_JOFGBs@u?x?\_NRj_BS@m?r?Z_LOEXeCrIXbMsFVrl`uCzS\\MpFYRkpuszG\jM[FSrfPtSy_[|MhFORi`sKy_[~MkFQRjPs[yk\DMjFQrhptkyW\XLSejRTXjKt]YpMeFKRhpq{xW\JMaFErh@p{yK[\MpFDRkppczG[VMHFOR`psKw_[~M[FAR`PrswW[zM@FVR_puCwG\^MZEeRePhksk[tLNFKrepiCsw[tMOE~Rc`oCxCZ~LqEyr\@m{vKZlLyEvRZ@nKusZpLzEsr^Pl[voZTLeEprXPlCuOZNLoEor[PkSu{Z@LYEmrV@j{tkY|LPFHrd@i[tG[j?I_EOAw@S?q?V?L_FoBg@k?}?\OP?HOCWAC@I?`?PfKrexrSgmSZIKdIQdhQkh]SpIXdNqfhRl@__fOXGHSDqAL@O_nOUGKsDQBD??_VO@GEr~q@d?o_DOLGASAq?\?S_`OMGBsBq?t@?_POIGFSAQ@|@g^xN}GMSEp~l@S^rOUF|sD@~S~W_dNwGHr|qAK~K_POIFysAP}d?S^`OFFxS@`}L?G^ZNmGAS?p|{~{^TO@FuS?@|\A?^NNhGPRyACK}I^FN`frRxX{c|w`FN_GQRvqCl@g]vN\GMSEpzc|__zO^FlRuQBs|S_zO^FjrtaBs|O`BNQGPRsqCDAO]^OdFgsGpyCz}\|M|f_RohwK{U]HNBfcRphw{{s\rMvFfRr@vC{c\tM{Fdrq`v[rMXjKse\rMhfKsEX~L?earPxgtGK`pQDG\S`AFLC{bxPLG|SRaN\CocJQBGdSQqOdFsaNP~Gcs^aHDFgaHP{GbS]qGlCCc@QAG`sOaOLF{`|P}G^sOANlBscBQAG\sNAODAq`\OlgVsKYEDBM`hOqgZSLyElE[bfPeGxSXQMLEGb^PcGwSWqLtF[a~P`G{s]AKDDobVPlGnSZAJlDcbTPZGsSUaLLDWbhPWGzSTqMlAWahOgGisHqI\D?`ROjGhSIaILG[dnQGH[S`aUtJ?dfQqHYskQUdJcdTQzHUSmaT\Hkd~Q\H_sfAWDHgdzQWH^SeQVdI[cnQhHIsiAQtIScfQcHIShaQTG{dBQbHGscASTHwcXQMHOSbQR|GcdZQnHDsjaPTMK?~?__OoFwCKAAVtJ{d|q~X^{ny]RNJfdRrXxs{qfeRkhyCzi]PMufaRhhtczy]@MifKRlhsCzi[xMqfSRbhqcyy\HMQfIR`hoCwy[PMQfKR_hsCwi[xMEfcRGhyCqi]XKeeIRnhwcpy]@KYesRAhaCvIZXKMeyRShnctiZpLUemRMhgCuIXxLeeaRJhhcrYYPKqhC?S_HoDWA[@U?hMgfSriht[yq\ZLJeerRHhstAY^PrgxS[YMDE}b\PjgusZILDEibRPOghSSYIlDQafTDIWtKqg\RGiHTAIVTOQeDS?h^SlI[TIqfLQohnSsIUtLaddRShVS|ISTNqdTRwhRSiI\tIAfdQchtSdIWtHqe\RGhLScIWTGqdtQGh^S^IPTGQc\Q?hHSfINtGQclQ?hLRtIKs|qb\NWgtT?IJTOabDSCgnSRI`tDQglPOiHSPIZtCafLR_g`S|IEtNq`|Rwg\SJI\tBAfdOghtSFIYTAQetO_hjSCiBT@Y_TOMgBS[I?TFa^tPsf~RzILs~QbLNogtS[H{TFa^TPsfrUSGDsBY@d?y_`ONhRsiYTDIQdLQdhPSgYS\Hyd@Q^jJdfYrHX}koU]jJdeirHXqkoUZjPddIqpYUkiUcjODdIqhYIkkU`jPd[IshVIlGTpivdfylpXujYU]itDgYsPUql?TjjLDXylHXqkuTgiotWykTUAi|T^jHDVIqXTukaTZjFDUYq@TiioUNjEdTypXTYiiUKjDdSii`WuieUKifdaIiHWekSTOieDaIpPSyiYUHiddcyhPXEiQUQicDcIpxSYk[TFi~d^YoHVyk?T{j@d]io`VmkCTxi{DXimpUUjmTcjAd[ymhW]jgUEjvDvy{L]AmxV]jmtjq|\ZCnXVlJWTjA|\]sl\UlJuTyAtLYknTVhJTTha|DY_nTUfJstxAyT]Km`VaJgtrQuT[{lhVMJXtrA{l][mVVeJdToqwd[CmLVAJatpqvt[cm@VGJ^tmqyt\_lzVVJ]TuavTZ_mvVXJ[tlaylZ[mhVRJYtEYb\PigxS]iMu?BBD`goDWXK?uBJ@t_uoVWHkDUFB?|`soPWZKBUEq}L`snfW[JxTzbBD`gn`WXJvt~RAl^{onV}KJUBq~T`CnxWOJ|u?q}|^coJVwKAUCa}d`OnlWRJytaipLWakVULjETbip|XAkfUPjHUNBBtbwp@W|KNuOrFLbgqHWzK`UNrEtcCppX?KZuPRE\c[pjXEKYUKBFlbopdWpK^UJZD|aypVWkkTUHrF|acqBWgK_UHRG|cWpLWcKauGRGTcKpFWaKaTyI|T]enVVljuUWzKleQrDX`koUXbIde_qlXfKiuXbILe_qfXfKhUYRHtd?rVXiKfuYRH\ekqZXiKeUUrJld{qtX[KnUQBI|cgqrXHKkU^BLdewrvX|Kuu^bNDg?rtX~K{u[bOTfOsBXrL@u\RL|fCrnXuKwUabPlgos^YJLFUaROdg_sLYFLAswI[TMEjxT|i~T]Yn\VinfVpjxTzi}D]}qtX[kluUZJDd]tSYalSehJT@iMs}YdlOehzS@iYtGY[lMegzRpiIs}YZlOeeZS@hiskY[lNEeJRhh]skYXlJeejR@hmtOYOlHEijTHhEseYdlIehzQ`iYuQ?F_COAYb|QAhBV@j`Toyvt[Al~WckQuHjCLaMpDXkkvUZZL|fEr`ZWLluubZllcuxZ_LjutRZtl{ulZWLhUtBZTlcufZULgutrX|lSu`ZKLhUrbY\lOuZZMLgurBYDksu^YkL`uirWlisuHZ?LluobZlkCuxY|LnUnbZ|j{v@ZJL]UqRVTkgtvZHLZuqrVDkgtrYsLbUlbXDjSuNZBLWukrWlkOtdYmLbUkBXDi{uN[P?AO@g?lpCvbZqMHu{BaTmswbZnMHuzbaTmkw\ZkMGUyb`|okvN[LLsVBB\LowvH[OLqvBr[tokvB[KLpvBR[ToSv~[@MBv?B_toGvx[CL}v?r^tnkvfZtL{u}b]dnWwPZwMDU|r`K?]?P?H_Co@w@Drkxo[sm\FKzfHrIxo[tmZfMjfHrYxQ[tmZfIzdPrYxK[qmSFLJcxrMxE[nmQfKZc`rAxW[_mPFJjcHquwu[SmJFFJbPpUwm[\mKfFzb@py?H?D_BO@G?s?UywZBlaupJWtkauN\ZMhvUbiltcyh\ZMjVUBjLtgyn\FMnvQRkLs_z@\OMjVUBiTtCyn\LMhvRbils{yh\[MdVVbhdtsyV\EMnVPRjlsOyx\^M_vOrkLsGz@[{m\vNZftsAx~[JmEvBJaDo}w\\gN?VYboLuc{D\qN@v`RmLwOzf\mN@v`RmDwOz^]?Mtv_bllwCzX\bmpVXJkluYzN\|Mzv]Rn|vwzp\yMyV^Bmtvkzj]ENKVebpDw[{r]NNIvcBq|xC{l]RNEVcbptxO{Z]ZNCvfRp\xo{T]fNQVhbtLyS|P]]NOvgBs\x{|D[wm[vMjnlv}z|\ym}V]zu@za|c]unWflzu@zM|c]snWflZtPzY|U]vnUFmJuXyu|i]nnYFjjx@tiyv\XnIvdzqtxQ{f]QndFrjx@|A}Q^NncFrJxP{u}Q^Jn\fpZwpzi}M]xndfojx`{M}Y^Cn^frzwH|A}?^Mn]Fpzvp{U}K]|nrFtb{\|S~J^SNqVsR{l|K~F^QNqVvRzD|{}n^]NkvwBzT|o~D^`Nlvzr{t}_~b^fNwVyb|d}k~\^hNuvpzwt{U~c^wnxf}j}`~e~i^xnzf}j}p~a~F^dnqO?S?H~m?E_BN}V~O?Q?I~{?AO?o?S?A?M~}?BO@^