CAT(2280,7)

Sparse6:

:~?bg_?O?G?C@O?d?Q_HoCwA[@I@O?a_PoHGCsA]@J?p?W?IGE?Ai@]?h_T_JgDgA}@W?m_]_LwFKBe@n?w_[OMgF[Bm@x?{_\OKWESBY@f?s_YoTOGsCMAJ@C_cOPwHGB}AS@?___RGGOCmA[?|_e_NgLGEIBD@a_ooWWKKDIAb@S_gOSwH{D}A|@Z_mOVWKCDUAl@V_kOUgJKG[?~?`_OOHGCsA]@D?d_PobgP[GiCZAN`EObgPSGmCXAL`Fo_gO[GQCJAE`?o`?PCG[CDAB@COaOOKGWCNAD@Co[gM[FEBh@n_wO]wNkFyBxA?_~o\wMsFiBp@t_{oYWLSEyBX@j_uoXgKcEUBF@g_roqOBs@q?x?]_MoFWDsBA@^A?_|o^wNkFyBx@b_qOXWKsEaBNBW`kougZ[LuExBQ`hotWY{LYEhBM`eoqgXcKeEVBH@kOr?ZKKsEtBZ@fOvOXSLoEVBE@iOp_YkK_EfBQ@cOpoY{K[ElAg`SoigTcImDZAa`PohGSkI]DLBP@NOf?X{H{E^BO@MosOSCL?DBAz@_on_WcJoE@Ay@`OpOV{JsEFAs@JolORCHcDlAY@Zod_VKHkDpAS@VOkoQkH?DdAn@Gok?Q[JCCdCq?LoEgB[@m?t?Y_IOEWBC@U?l?V_\OMwFcAI@H?d_RoGwCsDMAd@P_gOTGH{JiD~A}`\onWVcTcIZDOafpRgiSTEINDIacPQwhKSqIBDDabPOgg[SQH|C}a^pOGgCR}H`CpaVpKGeKQ}HTCkaTpIWdsQuHQDDaV@PgdOSEHUDAaU@PGdgSMHtCza]pMGfcReHeCcaY@HWewQYHkCbaS@LWcwRIFZBj`vozg\SMqGsCzaL`NGb_RuGyCwaN@MgbwReGhCTaJPDwbKPaGQC_aD@GWcOOuH?CJaC@GW`_QIIYCAa@`SGhoOQI]CDaB`SgiGOYFrBu`zo}G^[NiF_DG`w`QW]OSqFeDFad_|WhONQFKCdaS?xW\?QMHGBc`s`Hg[wQ]E{CqaX_vwe_MEHiBaaZ_wweoMAFwCM`}`Bw^oPAF}CPaH@?WaWOANc?O_GoCWAK@A?`?g_ToIWDSAu@X@B_aOPWGsC]AP@M_coQgH[CuAX@p_vo[GMSFQBf@c_qoXgK[EaBNBc`rOyG\KM]FJGgCKqEhAs`]OvGWcGqDHAC`IOfGTcAaFH?oaEOQG^cAAFX?w`yOOG_cAAFH?g`yOKG^cBaFX@?aEOQG_b|P}w~c^uNpFxbeprGxk[mMVFKbrpxg|S]aNVFhcG@zG}?`IOaFlbvACw}G`UN]GSbtABW|G_iNMGKbrAAx@w]mNOGMbqA?g{g_MNEF}bp`~w{g_ENGG?byP|g}S^]NjFrcL@|W}w`aOuFrbxADg}o`eNgGVbl@wGzW]EMwF`bn@wgzg]AM}Faba`tGwo\YMMFTbk`qGxO\]MoFHb[`ugvO\mLuF[b]@vWzoZyLyF^bg@lWuw\IM[Erbf`lGyWZYLoFPbXPjwuKZAL\Elb|@hwt_^uNwEjbS`}G~WYiNqEgbLpfGrkYAK|E^bHPbwq[XQK`EPb~@aW~wWiKWG?bDa?Wpo_MKYGAb@aAgoo_mO]ECbBaBGog_yKOGLcM@[hCGVQOyDrazAGGmg`}O{Dpazp^GnKVaJvDyat`zG|oUqJYFlbw@[G|wU}NaDmar@tgkg\UJQFVbk`XwlO\aMgDgbg@UWxwTiMcDZbh`VWxoTyMaD[ai@egioXUKkDVai`dwr?TaKqDRb@@hGo?YUKAEebO`^WsOV}LED}an`nwkO[AJ?F@b`@WWwWUQMGDbdp?BW@k?}?^?M_FPsgyC\EM\FRbfprWxc[mMjFUbiPtwzK\aN@Fabopww{k]QNLFgbtPyW|[]]NXFpbvPzW|{^A?h?T_KoDgBC@]@n?w_[oSWH{DIA`@S_hoTwJKDYAt@T_kOiWT[IiDPAl`UOoWWCKQEFBD``OmGVKJQDnAu`YofgRcIAC~A\`OocGQ[HICjAP`IPSwicTUIlDWajpTGjCT]IlDTahpkguKY}L\EobUpewrcXuK|E_bNp]Wn[V]JtD{a{PYwlkUqJ`DnavPXWksU]JTDgaspVwkCUEJDDcappUWjsTuItD[alr`@nwvaZyMAf?B]XnOvyZuMBe}B_XhGvUZcLJecB\HhOvYZeLKezbRXkosqZQLHerbQHlOsuZULJesBQhoGsIYML~e`b^hggwMYKM?eaB_hfGvAXoLne\BZHeouuZaKzeZbZhe?v]ZcKpeyBLHmWrIZiKteXb\hd[q}XZKieVRJHc_uqXILlevbHhm?q]ZaKheSBZhboqiXEKneNbIxdgqAXAKkePBJhkgpiWoL_eLbWXbguIZGKXeMBWxbOrQWqKoeMBKhbgrUWuKpeKBKxakpYWnKReIRChkopIZMKResBDhlGpQWmLjetBDX_so]WPKDe@r@HnWoaWKLxe}B@H_WvuWMLwe|B@X^snuV~K?e@R?X^OnEVuJqd|a|H^OnMVwJtdzA~H]?qaV[KddvBIXc_m}XKJodvbHxmOmaZiJhexayh\WvQVYLvduB\h[GvqZsJ[dmb]XnWlyV?L|e{Avx[GtyY}J^emavX[?tqYuJ]elAvH[_wIVIMBe~AxxnwmYVEM@dpB_HHWruQKK{cbbNhHGsEQSK~ccBOHYonIUmJpdzAuxZ?nMUqJtdlA|HY?meUaJiduash\_lMUiJjdsAtHW_rYUKKve[AqXfGkUXuJFe\AqH`wkMT}KPd_bCXW?o}W_I}d`BCHhojmY]I|ehAnHiGjaTqLRegAmhT_mQTYJddWAxxTomYVCIpdpajxboiYW}IfeOAiHTGqEXCIjdTBGxS?sIYKIcdObPxgWiIYGIdeaagxRotYYgIYeiafHjGh}YmI\dLbUHQotQYqISdJbTXRGtYSiLWdKBTxQWoeS[KIdHBAx`_g}WYIPeFAcH]wguSQJvd{AbHPOneSUJxdCA}H_GfeRmJ~c{A~hMonuRuK?e@A]hLOrqRUK|cuBNhLgr}R]L@cvBOHhodyY]H^ehAWxi?eARALRegaWhjObiPwL[c]bVhFWtmP}L^c^BVX`GayWSGncWBAxEOoyWWGrcWbBXk?aQPCL`cRBWhCWuMPILdeqAHxOOjITiIBdZa`xU_gQSIIrdZA`hXWdaUWHXdeaUhXOdmQyJNcmArhKwdIROHRcsaTXI_eUQmHecjAXHG?fqRyH@c~AOhO?cUSAHCc~aOxMWbePkHocyaLHEgfERcGvcyAMHH_aqPSHMcSaRxD?dAQYGlcgaIw@K?m?T?I_CoAw@K?i?V?K_EOBG@C?a?L?E_Bo@xZcluV@J^doqvgckQYHFCcaRpIGcCQIHBCpaWPJwdcQuHRCiaVPIwBc@y?zA@`@O_wOcGYCJ@?_]oOWGSB}@|@t_{O\gNSF]Br@k_uoYWLSEyBVBi`tozG\kM}F\B{a?O~W^sOEF~HEccqPxHScmQPI]dLqfXRSh}SxHccqqXhLKeaRNHLceQRhIKdAQ^HCc_QPXGKcIQFGqcVQKXECa}PfGgcUQIxDKaiPZGacPqHHCsaUPNGfcPqHXCcaIPLSGiBtAY`TOqgVS^HzTGA]|QCfpSaH|TGq^LNShHRtHvs{Q]tNGfnRrH{S{A^LNOftR\HjsvaZLLge~R[HpSwAZDLkfBRAIAspA_TKSgBSBH`t@aW|KWgHRJH`SrAW\KOeZRDHfSsAW|K{eLRPHZsmqYlLGdlRRH[SmQYtJgehQoIKskQbTJGgvS[HYTFaUlPsdfQqHtskQ\LMgdhQrHvSlQ\lJ?fXQnIGSjA`|IwgZSMHUtCaT\PCdTQWHpseQ[dMSctReHLsyARlM[cxQTHTsdaTlHOdTQmHHSjqQ|HKdXRGH?SqAOLGGeRQDHdS`AXTGKeRSFG|TAQN|Okb|SIG}s]q`dO_bxQgGzS\qTLF_dPQfGyShqMlFcdRPmHOsZqSTIKb`QcGwshaM\ISbdQ}GsSnALLJobTPlH^SnQL\EodzPdgrsWiKtEMbHQ~GisSAV|DCe@R@GiSoAI\DGeBQcG^SgQF|IKaDP?HPShQG\CCdLRPG[StAFdLK`zRQG[sMqYtBgejOuHeSrqETL?`nOtHesKqXtKk`hOkH\smQELJg``OlHZsJqUtAwdpRzGRS~ADDNs`RR}GRsIq_DAgf~OXHNSEARt@Od@OTHOSDaR|@[c~RzGFS~aALNo_^R|GGS~qATO?_fSRGCSAQad?ggjOJIJSBQa|?ogpOAHjs@AZD?SerRZGBsua?\Lo_LS@FqT?`{k}cgJSBFrT@`{{}_gHN]IKrvqbS}?gvS\FptF`{LPo^DNWHpruQ[dMS]tReFlrvQ\DM[]xNKHvs{@xlNG]^RpFfS|@yLNK]`N?HsroQ\S{GfVNBHuRpQ\s{OfZMlIEria`sycg^MgIGTC`t\PC\XMeIPTG@s\QC\DSbFQrhqcdP{\HM[IHrfQasx{gnSSFORgQbCxwgjR^FKRda[DMG[rR\FLReqZsx[fBPUHESbQI|GwapQNGkscQJ\H?atOaHCsGqPDA?cLO`HBsHQP\AOcTPJF}SRP~k~wa\N~GfsRA?L??aTNuGLR|qB[~__xNxGMsFp~[~g_|NpFFra`}Cwo^dNrFEr|Pps~O[VP`FdsV@ws{[azNGGnRqQJ{{gb@PCF\RnqHLCW\vM{GarnQG{zwaPMwFvry`uc}k\jNmF[rl`|k}o\nMPFVRc`t{xK\`MqFIRkpqkx?\bNRFCRt@ocwS]nMEFiraPys|G[NXD?Ao@W?k?y?^?L`bOqGW{AE?~?__OoFwCCJADbAm`VokwUSHYCnAW`LoegRKXEK^EQbGPdGq[WMKJEEbAP`wpCVIJbDsaxp\gmk|y^@Nbfnrwh{K|I]lNRfiRtxyk{a]RNIfbrphx[ym\PMhfTRjXtdf{r\Y@KwU^bLlgGr^XpL@u_BLddkqlXSKlUVBIldwqpX^KkuVRI|cCrpX{K`UOBNTb{rvX|KaU]RG\bKqjWuKjuTBEdbSqlWwKkuLrJDb?rvXwKUu]RDta{rtX|KXU^BELcSpVXEKTUPrDLc[pXXEKRuPRDDfGozWZKxu\BCD`orjW]Kzu\bB|_wqXXJKEuARH\_gqXWJKeuRR@d^sq\XQK@USR?L^wq^XRJ~uSB?Db{nfVtK`uOA}t^CqDVqKaT|BGL]wrHVnKot{BKleKnVXaJuTzRKDgcm~V_LAtwROt]GsNVcLATwrPD\KrHXbJiuWAydeCmlVWKqttrKTZkrXXpJ]tnBLlZwr\V?KwTnrL|Z_rTUxKtuXavTecljUvKsTlbK|XssHU]LAtfrOtY?sNUaLCtgRPDfKk\XqJETbRMlfWk`UJKzu\Ap|V{qPU?Kct_RHTWGqTXHJAUQAo\VcqtXZI|UVAn\dsjxX^I~UVanlechvXeIZuXqfDeghxXjI[uYAfTdKh`XPIUtIrHtdGhXXOIVTJrH|QgsFYAIQu^qctQ[r|SgL?TIROLUCnnVwIpT}Qk\^gjHV{IrT}qkl\clRVYJTTiqz\YomxUmJnTjQzl[ClFVAJQToqsl[SlNVEJSTpAstXkmRUWJdtdqw|XcmPVKJLTfAxT[skbVMJHTrqq\\?khUUJhTdQyL]SkJVeJBTxqo|]_kPUIJtTyQpLaCjfTsKPT\RC\aOjlWeI{UHQm|`gj\TlKKTZrA|`SjdWXIwt[BAtY{jNUoIsTYQuLUgldTkJYTYqu\_{ivWOImTWBAd`CizT^KHTVbA\_KijWCIjU@Qi|_WipWGIlU@qjLSci^TIIgTQqiLSoidTSIfTSqhlSGiNTGI^TOAgtSCiJS~I`tNQgdRCprSqK^UMae\bkhhW{IZTLRFlb}q@XAk`uOZGc?Y?P?F_AO@G?cOQGJCAa@p@w_sLyE~B``oOww[ShYSjISdKqdxRCgaSRIKdDQbXP\WmkZUMjGTbIp|QUhLSfiSTIidLvGzj\pMzVZrmduwzn\xMwV[rnDxCzX\jNEVYrplx?zZ\lNFVbrldvgtBY_M~Ufrnlhwz~\{LMUfRn\vky~\|MoV^rkLvoy|\[M~V]bjlw?yl]@MjvUBo\tc{J\YN@V`Bj\r_{L]FM\vMRpDrg{R[|NDvNBpTqGzH[_MpVGRk\qSzN[bMrVXRcdo{zl\xMHVBbm|vSwf[OM{VCRmduwv`\rLwv[b]Tu{vfZtMwv[B]dmgzD\bLtvXB\duSv\\fLvuzRktu_tt\gL\vYbVlj{zTY}MsvYRVdwWtD]JLQv`rS\w_tH]HLRvabSthk{\]PLLUdbpdw{sp]OLKudrplwSs\YIN?UaroLgo{DYNN@v`BPlo_wh[HMIvBRbLpWwT[KMKVAra|oWyP[AMaV?rgloOyL[FMcv@Rg|qovx[lL}v?BeLoCx\[oL~VJr^|rGu|Z^MXuwBedmCxj[vLpuwbetnWudZvLhutB^DlSvrZVL|utb^Tkox|\ALfurRgLkwx~\BLgusBgDmOuLZJLsUqb\LmSuNZHLruxbXDk?wtZ@MLuobbdkKwzZDMNupBbttGtrYsMgUlRiLjWyfYwMiulridjKxTYqMTvHbT|iwxN[gLWukBdLi_yTYhMduibhdsstV\NLUVRbTll_s`ZXLGucbZThKuvYTLmudBZc\iMvF[bmpvwzuAD@\_]OVwFsEEBD?x__OXwKcBlzp@\]|OVvncEDz|@b^@OXvoCET~H@P_hNxwIb}d~X@Z_jNzv|SDd}o~L^fNuvyB|t}c~b^jNvvyb}D|p?D^\O@vvc?D~w}t^^O?v~rz\|\?t^UOKvtCAt|T?n^XOLwEBzD~_}\^xNfv}byD|C~v^|Nhvsb~d}?}D^`N`vwbwd}K}J^FNqVpb{lzl?P]yOBvlc?dz\?J_HN[VmS?tz@?T]qODvks@dzT?^]pOEvlC@txw|T]^NTvgBtdyC|Z]bNVvgbtuAG|H]dOPvhcCdy\@J]hORviCCtxo}R^JNKvfRxl{_{p]YNeVerxTxH?`]ROGvdCAU@K{j_TNJwDBqsjITfIsdYqlxUuExCP`nPDwbSLUElCRaKOuWZSPUGtANaKOdwPcPEGdAP`IPDWQSP]CTCN`?PAW_cGMGLADaDOaWOsOuFpA|`|OnwWCNuELC@a@OowWcN}F@Ad`pOhw[cIeDTBf`VOywTcMeFXAX`vOew]CHuFdA^`zOgw]cIEEP@t`dO\wXcFeE\@z_~OswYCFuBPAr_tOmWLcJEB\At_xOmwMCJ]HxDlaYPXWfsUmHlDfa[PYWfSU}J`D@adP]WmSSMIPDvaaP]wgsVUHdDVaePIWdsTEI\CjaiPJWeCTMGxDXapPHWjSP}J@CfanPGwjcQEL@D|bPP^wscWELLEBbBPiwtCWUKPETbDPdwpcXeK\EZbNPcwrcXC?DEwbU_?gvSY{?HE{bWpk_?cZ}Lk?Eb`pl??s[F