CAT(2462,1)

Sparse6:

:~?e]_?O?G?C@??U?M_D?Bw@_?u?b?Q_GORoFGBq@m?y_[?MwBS@m?r?U_KODwB[@e?t?w?^OMOFkB[@~@K_fORWG_@Q?i@D_`_Cw@oCUAE?N_E_PGFg?e?M?}_C?NwBK@i?v@K_eoRgAo?Q?m?E_K?@WGsCaAN@I_doQWH[CeAT?y_]OMwA[@Q?j?M_FoBWAs@]?p@E_cOPw?{?e?P?C_BO@W@S?q?VAV?AO@g?k?e?P?F_DOAw@cJ?D]Ak`V_jgTwIuBw@r_~?\WNgFQBq@y_{_]wNOFmAwAK_m_bWJWGmC[AD`F_`gQ?G]Ca@~`H__WQOGACg@]`J?WGQgD}COAV`K_agPGHaBx@}_}oi_OCIcB~Aj@?oWWK[EIDWAA`A?jgOWIuBH@e_qoXwLKEaCvA[`LO_oRkGOC~A]@@OZOLSE{BX@m?to[?PCFGCT@p@Co`OMsF_CNAE?zofOSCH{DBA]@POiOQcIkClAi@IodoS[HcDJAc@KOcOSCHKDDAQ@OohoPkI_CVAe@EOhOQCGwDFAc@Foe_SsHoDPAZ@RoSGIKC}Bn@u_{OiWT[IiBf@t_yOjGTsIuAj@V_jOTWI{DYAp@Y_koUgJKDaG}@Q_iOSwcgQIHHCbaPpHGcSQEH@C^aE`Eg`wPmG[CXaH@EwbOPAGqCPaI`FGaWPyGyCSaJ`FGboPaGyCUaO@DwcGPaG}CU`soyw\SMuFXBm`vo{W]CNIFhBr`zO|w]kNiFpBx`}o}w^cNwDfC?@Yo~oUcOCDlCB@[P?_U{O?DrAz@~om_^sJsGBA}A@on?_SJ{GHB@ABOo?_kKGGHBCABOoo_kKSGNBFACop_`CO[EPCH@dPA?XKLsGXCI@nov_`[OsFFCM@qpBo[cMWG`BgAGpC_[{PSF@CS@pPCo[KJCGTAqADok?`cKkE\BO@eor?X{LCEhBR@jOs_YkL_EtB[@jouoZKCYAP@F_dOQwHKCqA\@LbF?vGZ[LiKgEPbHpcgp_XAKYENbD`bgk{UeJPEAAhPT?ocWKIfDTBBpToosTWKJD`BCPWopSUGKRD~b?p_Gp?VMJiEHay@agoOUuKGDnb@`ZgogVAKMDqbB@[WpwTEK_DNbF@SGqGRiKeC{bH@MwdsQ}H`CqaWpKwecRYHjCva[pMGdSQaHREKAQpbOcsWkHNCkBGpIoqSQsKfDwA}P\_nsV[JzDIAkPQojSScIrDKAlpR_jkSsIxDEAnPW?hCT{INDBAqPPOksSOJJD@A|pO_nKS?JtDiA]pN_l[R{JXF[bnPvWxS[mMXFPBMps?r{\GK|EaBipgOyc\KL@FLBnpro{K[wN@EtB_plow[[GLlFFBXpqOucZGMPEkB[Pj_vSYsLrEnB\pkOvkZ?LxEbBjPu?skYOMnE}BSpi_wCZ{LVFXBLPuorc\gKvEVBRPeOtCX_LNFCBIpd_ws[SKh@B_aoPGcSQQHFBN`gOrgYcLYEjFCbbPpWqcXYKjG\CKQE`B[`oOrGNCKQE`AK`?OrGTCEqD`@c`[O\GSCFQC`@c`KOZGEcCQ@x?[_UOHGNByQC?}s`CNjFmCIp{@A{]{OlGZBqqFO{{`oNLGQBpPx@Ac]KOfF|C?P~p?S^wOBFgBzp}O|S]cNpFyBtp~?|k^kNXFpCDp{p@K^GOTHM@OOggSKIQDFAd`RohgTCWqKZEJa]pNgf{SMIHDDabPQGg{SmITDHaepRghcS}IbDOaRpHWcsQaHTChcua[HLofERWHnckAZhL_deQmHlcsaTHIgemRSHUcraShIGeaQeHeciaXHIoeUQgHbcoARhKOdARAHNchAVXIWd}QaH]cfAUhJ_dAQ]HZcTATxD_dePUHWcvaPXGwfEQKHoc^aWxGGeQQ?Hdc`AXhKwcQROHBc]AWHFoeIPyH`c\qMXFSbaPlGvcXaUhJ_bUPgHZcWAYXEGeiPcHjcmaJXJoa}Q}GmcSaQxD?cuPMHKcdaHHCgcuPKHKccAGXHOaMQQGaccAFhHOaAQQG^d_@EWb[PiGxC]aMpoWw[[IL|F?b^pmGvSZeLvE|b]QopXKkkUJJIDaQopWskSUPJCDbqo@YCkCUbJADfqo@XkkCU\JKD`QahP[gqTJIfdRQd`XKkkSpJIDJqcpX{hSUbISDgQr@QCkwSdJLDGqbpXCgsULIMDbqnPO{j{SRIGD^Q`PVcjgSLICD\q_PVkj{SFIAD^Q_@U{f{TpH}D[q^PVcjgRxIzC|qlpNCjcRrIwC|Ql@M{jWRlItCyq[`UcfOTlHrDYqg`TsiOT`IbDVqfpT[iCTZI_DUQf`UKhsTfI[DXQePTCigSvIhDLRE`aKpMWdKMeGRBxawluWqJ[eKAuxawliWqJXeKAuHYgpQUmKUdjBDXYOpQUgKUdhbDX_OlyV?KCe@avx`?n}WAKIeCb?H]?omWYJqeEA{X\ooYV]KFdub@X^GmiVWJzdta}h^_m]V{Jhd}ayH]omQVoJedzaxX[GnUVEJsdpA{xHCciQRHJceqRHdcqyXZLAe`rOXgwrIYQKsecBKxg_q}YKKpeabKHg_puYKK^eabFhbOs]WwLHeLbQHfoqeY?Kje^bIhcorUXOKveRbLhcWrmXIK{eQBNXf?qAXCKxe\BGXUsjQTjIvd[qmHVcjmTtI|d^qnhlOsqZQLIesBQxkgumZMLlerBZHkOuyZGLoevbWxl?t}ZQL_etBWXmGtqZeL]exBVXjKtmYtLUekRTxiWumYiLleiBZHi?vEYcLregb[hm?suZ]LNefBZhakpYWhKVeKrEHmkvYZhMNfGRcXq_wA[cMAfHb_XqWv}ZyMSfHB^hnOxUZwMVe|bdhqgv][mLxfJB]Hoowe[OMJfBbahp_wM[IMMfEb`Hswyi\QMkfSBixsGxi[oMbfPBeXs?y}[}MmfNBjXrgyQ[uMefMBhXvGzA\cMzfWbmhuWzY\iMwfYBlwLSEqBV@]_oOVwLkE}B\AS`JOdWI[DQAdDAa_POWd[QuHXFfbqpxg{[]QNDI]dMqfHRKhmStK\eNrFhbSpqWvMEfCR`xo[wU[HNkFrRy@|s}s^NNhFpry`{c}k^JN_FrRy@{S}C^NN\Fprvp{k|w^HN_FlRw`zc}C]vN^FkrvPy{|w]pNUFkRt@zK|S]nNQFlRspzc|k]bNUFfrtPyC|O]\NRFdrrPyK|G]XNGF`Rq`wc{c]FNGFarppxK{g]LNJFarppxk{o]LNAFfrp@yC{K]\M{FsrnP|Szw^VN@Furnp|s{?^XOa?VOKGD{BI@f?p_ZOLWEdBO@n?x_[OMgFcBm@~?|_^OOGGSCEETBH`cOuGY{LeLLEgbRpegr[XqPTGkcTqJXD{ayU|J_dnqwX[[mIYTLKedrRxhksy[pMYfKrfXrcxmbAP\gpcVIKPDmaoP]glCWIJHD}auPTgjCVIIxDuaoPQglCTIJHDMa]PTgjcSYIpDAaWPQgfCSyHhDQa]PHgdcSIIHCiaWPEgfCQIHhC]aEPEgacQIG`C]aCPHg_CQyGHCi`~O|g^SNYF|ByaIO{gaCMyGXBi`mPAg_cMYG@Ba`mOsgZCMYEhBa`sOsgZCNIEhBm`aNpfvcKx}@BI_wP]gNCWIBhD}bAOXgpcEyKP@i_kOmgKCKIAxA}`UORgIcJYA`Aq_]OhgEcIIDP?y__OggTCCiAHAe_SOjgECJY@XAq`[OFgCcKIDx?a_GOdgBCHy?hAY_AOag@cHI?PAM^}Ocg?CGh~pAM`INzgRb~YCo~q_}NwgOB}iCG~e^iOrfzcKX}pBI_}NqfyCGX}XAAeS?a_QOGwCkA]@LRX?SoIgDCAm@Z?khmSviZlLuexR]haCXIWpEYeIPdhGcuYZXHMesQQhFCuYZXHAesQNhjCayPhLaemQKhiCaiP@LUeeQHh@CsIO`LIcERPhhC`yYHGUe_QEhjC^yO@LaemQ@g}CtIYXFybyRTg{crYXxFmbsRMhdC\iN@KqbmRJgxcrYXxFUbgRMgwCqiMHKqbcRJgucpyLxKab[RHhbCYiL`KQeIPjhbcXyX@EeeQPgh^CmIVPKAdqQ~h\clYVhJ]dwQuhXCjIU`Iud[QrhWCiyUHIed]QihRCgIT@IIdMQ`hQcfySXHydGQ\hLCoYR`KMcuRAhICdyRHHYcoQTiW?JwDsBA@^?o_VOKgE[BE@b?q_XtO_EcBY@j?u_YoLIYLLIe`THI`tQagdS_iDTIIbTQAg|SciJSpI]TKaftRsh`StI]TNaedRshfT@I[TOAetR{hnT@I[tNqf\S?htTAIQTPAclSKhLS`IatGqg|QGiLS]I[tGAfTP{hvStILtFQe\PohhSWIWTEaeLRGgrSTIZTDae|P[hpRshzS|Y]|NefpSlHoswAd|L{h\SlHpTJa[\Q{fHRdIRsxqdLMWhPSQITTDAddPKhVSHIFtCQ`\Ogg`SEIETAA`lO[g\R|I?S~q_TNwgBSBH|S}q_lNogHRjHvS{A\lMof^RpHsS{q\LNGfT?d_RoHgCkA]@L?a_QOGwCSAQ@FUd?TOIWDCAa@T?hiUtJydt@}`BO_gUSJYD\Ay``OngXsKiELYklJUkJRTjQs|YklRUlJSTjAtTXSk~U`JITgAq\X_k~U`JJtgAqtYGkvUXJQTgqrTYGk|UcJMTgqrlT{lhUuImtVaulXGlRUOJTTcQtDWslLUNJRtbaslWgkxUKJNTaqrlX_kRUVJCTdao|WOkfUTJBT`QqdWCkrUBJLt_arTZcj|T~JZt_AvDYwjvUoI}tjqndVUjnTui{T]inLZ[jXUxIvTmAllUcl\TiJWTYqt|ZWjNTgJYtXaudUKlbTdJXtXAuTUGlbT_JXtWQuTTEifTQiitTiidTainTXiltVIjTSkjdTsIetRAm\Swj^TOIwtRqmDKYeHRDhbsqYXDLMejRShjSuIY|_{nHWOJrUBa{l]GodVbKHuCQ{L_wm|WOJoUBqz|`CmvWRJmuCazd\_ohVYKJTuRAl\SonVVKKUEQyt`cmhVRKKTsbA|\?olVPKITrrAl[AmDV@jatpIw\[]mPVEjdTqyxL[ooPVLKCtrb@T^coVVzKEt}b@d_[nlVwKBU@Q}|^Ko@VtK?t|A~|^Gn|VoJ}t{Q~d]soDWCJvu?q|tZgnTU{JuTmq|\][lzVhJ^tyAvt`oqXWYKduErHTcCqHXEK`uPRGTccq@XGK^UPrF|b?qjWpKhuJrIdd?pXXQKVUSRDlbspVWzKSuNBDTaWpnWgKZUHrElaSpdWrKPuHBEda?ppWyKPUGRFL`sqZW^KfuFbHtf[A@@A__oOGGSCEcDQCh@s`YO|GYj^TpiwT\Im\VIs?YElBe_jP@gEryYBk~e`ZNpgQs?Xyk}E_jOHfmr{Xwk~e\zNhferkXxkyE\zMhfargXyk}E\jMhfmq{YElCEVZOxdqsGXYl@eUZJXgUqkXmkkE[JIxe}raXjkxeZZMPeqrCXdkreXJKpeMrOX^kseWJLPeEtk?j_UoJGDkAm@XS{i^TNYf|SEi@R^hoswI[TMQfFWDkBu@j?d_IoFW@k?T~y~d^ynzVfjstyI|T]qnVZVLauuBW|lcuLZUL`UtRWdlOuFY~LduoRXdk?uZY~LcUqbWLkcu@ZPL]UnbY\lGtzZML]UsBVljwu^YzLbUmbW|jcuJYuL`UmBWdj[uFYsLZUlRU|jKtpYtL[ukrV\jOttYJLVuaRTtggtZZTLUUibYtlOtVZVLRuiBZDicurZKLQUrRStkktJY`LgugrY\iGudY]LcUqbSDkcs~ZNLLufRYDkwsxYWlLUeZQ|hUslYQLWUcrUThOtbYmLFujrQLiss`YMLWUbRUTgotb[gJNtgYsDYIlFUck]uNJF\baptWxkYuLzEtbIphWrmXFIzdhrExW[rmVFIzdhrAxW[nm[fIjexqaxo[hmSfLje`qixO[tmAFKZ_prMwI[qm[F?z_Prexm[@mVE~j_@rAx]Z~l}FLZ^hrYvu[slzu|Z]tnIvhZrlvfHjcxnExIZomPEzJcXmyvY[cmNeyZ\XqAvS[`lrFFzcHmavM[_lpfFJ[hpyvG[\loFFJ[PpyvA[\mREvZZxq]xIZ]mPEvJcXlixGZZmGFCzaHpUwc[SmJFBZb@o}wm[MmEE}J`Xnivq[ImKf@zbXoews[Gn@F\JmlvMzb\qmwVOrn|sS{B\CN?VObn|wCyB]?M_V^Bflvwx~\|M^VMrnlrgzx[{M~V]RkdvkzL\yMqvPbkLuKyP\FMpVVbmtt{zp\_MzvUBiltcyn\YMjVUridtGyz\[MhvRrlTtCzX\OMtvZbhdswz^\LMuvXrhLucyV\gMdUjzTtiut`YqlWvdBt|zC{l]oNIvgjsLyA{z]^nNVebtdxo|\]ZNUvkBotwS|b]FNVv_bttwO|Z]kN@vcRq|xK{r]QNKVhbptw{|N]ONSViRp\yk{Z]iNEVabsdyS{P]HNPvFJbtpuw~[`mOVGjcdqMxL[fmQvsbudzG}`^PNXvrRz\{w}t^XNfvqbyD|G}X^PNdvqRyt{[}p^GNjvsrwd{W}j^SNavoZw\{I||^?n^vmry\zs}j]{NiVmBzLzc}v^YN\Vtbu|zS}p]uNjv^Zndvyz~]@n?V|z~L~a~l^snyvyB~T}g~x^hN|vxr~d~g~J^zNrV~b{\~{~H^|NpV~b{L~{}~^|NoVvB|t|w~`^\NvvzB}L~K~V^qNuwBCAU@P?\_ROEwAc?E?l?D_HO?wDS?u?`?n_UOBw@SAE?L?b_COFwECC]AD?t_aOKwFcB]A@?z_^OMU\ZMtfQw`[QmGvBZ`|oy{J]FnBV`JoTwM~\^onvvzJ|\}v@o_{oZGNkEyBv@g_zoYgM[FQBN@k_oo[GKkEyBF@i_moVgK{EaAv@S_qoUGKKDYBF@W_moTgJ{DQAv@u_eo\GH[FIAR@w_foSgNkFiAbAy?`_NoGJUdjUtf\TmjvTjidtMyd]yn[VmZulz]|l_?o@W?[?]?V?H`kOwWZcMMEtB^`qOswYsM]FPBT`lOrWZcLEEpBN`bOtWYsKmEPBR`aOrWWCLEEDBN`_OpwWcKmEDBH_~OjwOSJMC@Ap`nOiWTcMMDTB``POxWSsMeDHBf`OOmwRsJ}CxA|`JOmwRSJ}CpA|`IOmWUcHMDlAP`VObWUSG}D`AJ`AOmWOsJ]CPAtad?MOFWBuGXDNaDPRW`CSmGDDLaBPRw_cSmIPB~abP?WgcNuFtD@`{POw]sR}ILBpacO{wgcNUF\C~a_Oyw\cSMHdCfaZPIwecQeH@ClaWPHWdsQMGtCxaNPNWbcRmG\CTaKPCwaCP[AE?~?__NoGWCEK|EKbKpfGqKWyKvEQbLpdGrKXqKnD}bJp^Gq[ViKjDsbEp]GqKVYK^EEavp[gp[VAKRDgb?pZGokUiKFD]agpWGikTqIfDYaqpXgi{UIIq?x?]_MoFGBs@vF_`VokwUKJUDrAvbfPuwzs\MM`F\biPuwzs\eMlF\boPlw{cZmNDExbcPtWxc\]MTFXbfPpWyS[]M`FBb^Pyw{s[ELxFhboPkWuc]ULdFbbtPjW|CY}NLEjbNpgwsKYULNEha^pOWg[SUIRDFb{QIW~cauNtGjcDQJx@cbEO\GrcVQ@XES_eP`GFb~QJXDC_MPTG@bup{W|{^UNnFrcPQDxCs`mPHGXcGQFXCC`UOdG^cnQLXKSbePlH`chQQXIccmQlHFceQOXHscMQ`HDc\QUXFsduPxHZcwQ\xNSfURpHrcqQYxLCe}RLHlbKpfWr[aMPNGdcMqGXB{hQSRIWdEqdhP[hASVIMdEqchPKgyRzIQd?qcHN{hQSFIWdBqdhOkjaMvF^bmqSxIkd]QZHPcfqpHVKjqURIydbqohVKjqUBIyd^qehU{hyTjI[dXqnhTkkITbJ?dVqihW{iaURIedaqlHSKiQTnIqdPq|HYcm}UdJpdgQ{x]SkmV\JNdwQrX\CmMVLJldtQxXYsluUtJ`dkQvx_snUWTJxeCQ|x^coEV|KDe@Q}xU{jUTfKWeErFHaKpiW^KQeLrDhbkpQWrJndxq{XdO?IW~Km?BRGXd_?QXFKi?ARHXd??IX^Kk?BRH~