CAT(2500,2)

Sparse6:

:~?fC_?O?G?C@??L?F_CoAG@[?i@G?C_Ao@G?k?Q?J@G?WoKGF[Bi@j?s_ZoLgFKBa@f?q_MoFGBs@}@B?__l_UgJSDiBk@n?noZ_JsEsBR@g?uOXoMkEWBh@d?xOX?M[EKBb@a?wOY_KKE?BV@Z_moVGJkDqAvAC?zO_oM{G[CBAF@?O`_N{GSB|AC?}o_oNcFkCL@y@Ao]OOSF_CDA_@KoeGRkHqChAT`JodgRSHmC|A^`M?bWRgGqC[AW`K_bwQOHYCeAV`G?dWQGHQC{AH`C?fwRWGmCsAI_iOTWI{DYAr@W_^oNgGkCQAB@?_boPgG[CI@z?{_iOTWI{DYAr@W_eORWIKDAA\@N_doQgI[DIAR@G_toYgLkEqB^@m_wO[WM[FIBj@sa??sWYCLMEdBT`iOtwYsLeEpBZ`lOvOV{LoD|B^@_ov_WCM?EFB`@`OqO[[K_FDBD@qox?WcM[ENBe@bOsOZkL?ExBR@nos_ZsLSFBBS@oOt_[[L[FDBX@qou?[cLkFNBe@lOq?XSKcETBD@doqoWcKCEZB?@eOrOW[KoEDBF@fop_XsJ{E^A}@fOg_VKIKDrAz@Som_TCISDvAc@\OnOT[JoDTAf@]oh_VcICDpA_@[OjWTcI}D\Ap`WOkwUSJUDhAv`ZPW?F[Bi@j?s_ZoLgEKBA@r?w_XOKwo_VaJrEAb@p_WoCV}J|D|a}P]wnSVqJzE?b?p_go[ViJvDxa{P^gn{TMIdDLaePQwhSS}I\DGacpSWiCSaIRDOagpQgh[TIIfDNafPRWhcUsJrDkA{P\on[VWJtDtA}p^?mcVKJ~DqA~P_?mKWCJ`EBAvp__lsTSJBDSAoPVol[UgI|D\AspV?lCTkJNDYArPUOkcT_JJDVAppT_kSUCGZD_AEPWoa{UGGlCTAqpD?kcPKJNCQArPC?lKU_GbDjAFpY_`sRuHxDFabPPWgcSMIDD@a_PNwfsQUHHCnaVPIwdSQ]HLChaSPJGdkPsJZDkAMPGOl{Q?J\DoAKpE?mKP{JdC]Axp\OcSQKJhDvALp\_bSNQFjBx`{O|w]sNyF~B|`}O}w^STSFRDS@sPVo][NGI|BpAmpV?]CTkF^DY@vPUO\kT_FXDV@tpT_\SOCHbC?AWP?of[OGHtCxAApM?_cO[HhCtABPAOe{O_HlCrADPAoeSaWAJ@C_`oOgF{ByAN@E__OOWFkBqQG?d_QOHwCsAU@H?f_ROIWDCAe@PH[?TOIwDsA}@X?lcy?IgD[Aq@Z?n_VOQGHKCmAT@K_eoRgH{DAAb@Q_hpZWlcU}J\DpawP[gm[VUJhDvazOdWQcH]ClAX`KOewRSHuCxA^`NOYGLKEUBH@`_oOWgK[DyA~@f_rOVwJsEEB@@b_pOXGKkE]BL@h_sO\WMcFMBd@p_wOZGLkEmBT@n_vPNWfcR}H|D@a_POwgSSUIHDFabP?W_COMGDCDaAP@w_sOeGPCJaDOyW\CMmFTBk`uozw\sNAFbBr`xOyG\KMmFTBl`uOzw\sNEF`Br`xO|W]cN}F|B|`}O}w^SNeFpBv`zO|W]cNYFnBw`{o}g^[NuFxB~`~Qlp\SmkTlJ?Duqz@WKj{V^JmD^QnP\KjoVPJpD\q{@VSjcVNIwDrQip^{igV|K@DUqj@_CjSWRIsECR@pU[oWTdKDDWr@@UCoKT^KADVQ]xNSgUSHIBd@Q_XOCf}R|H{c}q}pKse[VtHdDyqX@]cekVzHiD}QZP][eoVdJvCsq|`LCncRFJwCpR?PMcfOW@HuD~Q\p^{oGRpKBC{r@PM{oORlKFC{r@`NCfSWRHtECQZpZkewUxHqDpq[p[SlkRbJYCwQ[p[KfGV@JdCwQx@MKewU~HnDnQypOCgCVTIBDwq_`]CmsRvJkC|Q^p[{fwVLJnDAQz`OkfsVRJgC}QYPZKe_UpHjDfqY`XslWRFJVCpQZPY[eoUdJPCqqs@Kce[UjHeDiQVPXKdsUPJLCoqr@KCd{UHH]DaqVpW{dwULH[DdqV@XSkGR@JBCoqfpGkhwQHHEDOqPpSCccTFHGDPQiPH{cwTPHLDRqR@SsckTJHIDQQh`JSi[QvIbCkqg`JCi?QnI`CjQS`TCicQfHTDQQT@SkdCS|I^CgQipGKigQ@IlC[Qj@FKbwT\G~DVqNPUKboT`GzDXqk`FSjSQFIsC`QcpFKb_SdHBDMqO`RcbkSvIYC\QN`RKb{SpIVC_qd`GCboSjISC]qbPEsgoPnGuDBqLpOsgcPdIGCXqapEkggPhGtDGqL@QCbKS\GqDFqHpIsaWQnGpChqK@ISdCP^GmCgQJPJ[aoQtHTCTqT@DSacQrGgCkPjPZ[YoUtEnDnpj`ZsZ?UxEpDmqwOtKm?LPJaBXqwouSmSLTJcBTqdOs{hOLLIRBPPgpQSYCSrIWBOPfpRkXwSxIVBMqd_rcYSSvEcDLQAX@C`EO`GLcEQBh@{`IOfGIcDp}pH[^gQTFvCaP|`Gk^CQ^FoCfQQ?}[ccNdFxCeqR?~Cc[NjHEByQno{k]OT|J@Buqo?|cjcNRIwBsPypVk]gTxFeDZql_{{]{TvFmD\PwpP{gwNDFYDGPupQKgcM~IGBnQao{CggNBF[DEqb?zk\_SNFXDBQpOxc[sUHJKBiqrOyckGMlJBBjqqoy[kgMdFODcpsPXC[wULFNDbqHow{aWMLFDCSpp@DCasMBGkB_QI_xK[_PVFBCWpo`EC[gP\FJCVquOusZ[UpEzDgpm`YCZsUdE{DhqtOukZOUhEwDjqt_vKkwL~JNB^PeP^KX_VpETDypd@]cXWVfEVDxQ}oqKngK`EYD}pep^cn[KfJuBHPbpCSWwPFELCPpb@CSaSKNEECQP`PCKWOP@GdBDPapCcaCKRG_BCP~PA{^oOlGFCMq@`Bc_SOjGCCIQ?pBK_GOpGZB~qE_~s`{O@G]C?sT?As@i?v?V_KoEGAs@]?r?W_LoEgC[AI@F?a_POGwB{@y@B?__MOFGCKAA?|?^_MoFWAC@E?f?Q_IoDGEKBA@f?q_YoLGE{BY@r?w_\oMhCKaAPFGacQqHHE[bIPjGscZqLhFKbaPvGyc]qNHF{byQBH?c`qOhIKdAQfHQciqTHI{dYQrHWclqUhKSeMRJHccrqXhLKeaRTHjcuQZXLse}RbHocxq[gSKIADFAa`QohGS{IYDRAg`ToigrcXuK|E^bOpgGs[YILJEcbRphgtKYaLVEibUpjGt{YyLbEobXpkg~k^qN~F}c?q?H?[_IOJGCcBq@g{k]QNNFebspyG|[]iNZFkbvPzwzK\aMvFYbmpvGz{\yNBF_bppwgokWQKNEEbCpaGp[WiKZEKbFpbibPN]flRxh{S}y^TOEg@R}h~s~Y^dMkg^RiIFTCQ\lMog`SQHvtCq\tNSgpRsIKs{aa|NKglRoIIs{QadKWgFRFI@SsQ`dL?gZRNIDtAaXtOceZSGHeT@qX\OWeTRHIAsqA_dNCdvRoH\SpQ]\KOfdRtH`s|AWTK?f\R@Hvsnq\lJwfXQ|HtsnA\TLwczQ[HnshQ[|IOfLQbHqsga[dICfFQ_HpSfq[LHwf@RgHRsha\LHEc`QRhHSdYQdHmctQXhKSdyQtGOefQDHhS`qY|GWelR\HCsvAPDLkcRRYHCS`qZLGWepQDHis`AYdFce~PwHnSwqOLMGc@RfG~sxaNtMSbzP{HqS]q[LFgf@QBHss_a\DFsdRP{HSSkQN|J?b|QnG|sjaNTGCdZQ?HUS]AT\FcdTQBHXS_aU\I[bdQeGxSfQMlHobhPvHOSgQMtIKbjPsHPSfaM\FKc~PvHQShQMsq{dvKmH\RMQVkr_dxR@EZso@esrOeFKtH`SpPe\KOXdKpH^rKAVtCKbNPAGrSQQL\C_bTPFGsSPaLLE{aHPmGasQqLlEoaTPLGwsRAMDPC`VOiIGSLQadPS`hSRGXtCaETP[`bSUGWSJq`|Awg\OlIKsJAbD@{efRQGNSuqDLLg`PRTGRstACtASenOcHjSGqZLAGepO`HmsGAZdJS_fQsGHSmQBl@odpOZHZsEaUtJc_pOXH[SDaU|@[dlOSHYSDQUl?[cVOEHDSAQP\Gg_PQLGEsBAPdG{_bQMGGSbQ@|?wcXOJHFsAaPtEC^zN{GoSXP~\EO^tPdGAsXA?dEK_FPaG@SWQ?L??b@N~Gpr~aKTI_]vQhFlRuATS|cdVN^HUrvaTdI{]lQmFjrvQUDJC]xN`HXrwAUTEc]bPgFgRrqL[{wbTPeFerrAK{{gbbNJGwSZ@y[|GbZNTGvrtALszsatM{GlRkqJkzGaxMtGnrlAJtD{\vP]F\SVPvLDo\pPZFZrlaJ[y[g^MeIFRkQaKz?g`SRFVTC`t{yogpMlIKtDPt\PO\TMhIJriAatDWZnLuGisT`nKv_ajLzGkR]aJLD[ZxPVE}sUPoLD_[@L}GiR^qIdHC[FQOF@R`qQ[wWcdMDHIsd@ocwscnMKHJSePp\H_[TQZFCse`pDK{ZTLjHfR\QX[vOeTRFExsp`mSvCeRLoHcRZqYLL?Z\LlHerZAXct{fnL]HzRWQ^Ku?fpRzEprWa^TNoZRR|EsRXq^{uWf|LdI?rXA_DC{YfPMEhSSPilD?YhPPEjsS@istca^PMEkRUqI[tgadL\GhrVAISsOgDLDI@rOq_|OWYDK|IErNA`csCgJL?IATAPf|O_X|KzIDrMa`TBc^^OwFvSLp}S~K`lOzFwsM`}DCC^rP?F{R|qF{~W`|NtG]r|AFcz{^FM}FpRop{{{G^LN@Fqro@{c}c]JNgFaRpp|[}g]LNHFurq@|cxkYNLEFLRfPhKxoYPM^Edrf`hSy?YZM`EeRR`s[s{\DLPFQrS@scp_XFKaEKrDpckqOWlKZESrE`dCqsWzK[EURHpb{qWW|KjEOrI`cCxSWVMSEDRBPq[oo[dKNFFrB`pspC[nKOFJRCprKpG[pMPEIrc@ac?u?X?K_EoBG@kAm@Z?k_TOJwDsBu@x?~_^OOWGCCMAD@D_aOPwGs?}?\?N_FOBw@s?]?N?H_COAW@C?Y?L?J_DOAw@TC}a\POggsSyISTUIhDVajPUWjCTmItD\amPVwjsSeIPDJadPRWhcS}I\DPagPSwiS|]]lNWfkruxzS}E^@N\fmRvxzsqMXDKdeQRHxcsqeXPKjeTRJHdlkkunZILjUrRZLkoupZNLlurbZTlSvBZSLoUvrY\lGu|ZPLmusBZdmwtrYwLvu{BV\jgvbY{Lxu{bVln_uFZAL{u|rWLnWu@ZtL^unb]djKunZULXUlrZ\jWutYuLmulrZdl{tjYsLnUkr[Lm?tdYtLkUlBZLgGuHYBLaupBOlkSsHYILcUqRP\kcsZYKLcUaRW|g_uLYFLbupbOtnSrnXuLyU|rOLnWs@X~L{u^b^DfovfX|LxU{BN\nCrtZnK{uzbNDektLXiLRuiRLli_rXYjKvuibLtfSt`XsLWu[rT|fGt\XpLUujBMDc[uVXELdUSRXtd?u^ZPKfUsBH|csudXKLhutRHTlOqVZKKcuQBXlbktDWyLOuNrSlbwtHXDLQUhRGdiKqFYbK`UgbGLiCq@W|LOUNBSDa{tNYeKVUjRFLioppYnKZujbEtikpjYiKYUKrULbGt`YgKWuKBTL^KsvVqLLUfQ~L^_sxYZJzuea}thsnjVsLMUfa~\^gs~Y^J}ufa~dYkvFZaJTTjR[lYovHUnLrtjb[tmsljZkJYUyqu\mgldUpLstkB\DSkvRTILsTSr\\mgidZkIguzQiDS{vNTMLrTTR[dTOvJZbIeuwahdRGtvSrL\TNRVtj{hxZ@I\UoAf\jchrYwI[TLrW\RWuDSsL]TLRVlg{kfYMJHUdqr\hWktYTJKudArDhGknUULHtdRQDXOsbU[LKueArl][onVeKJTzRBl`onXWZJtuEa|T`cnRVgKKT{RCL^?p@VnKNtzbBt[KpFVAKPTrRD\[opTWhJduIAxT[cpZVGKUUHqw|aWmLWdJauHAwdZ[oVUuKDTmR@lZ_oXWNJ\uBavT[CojWSJ_UCqv|`Gl|WPJ]uCAvddKk~XQJNUVQs\dolDU`KktgBJDYSqnUcKjUTQs|dOlLXZJStiBJT\kkRVYJCTaqzlWgmxVdJBTxAo|]KkbVaJGTbq{LWwn@ULJntbAztU{o@TmK?t[R?T_Kj`TuJ~T\q~|VcoRTwKCT\R?|VOoLWCIxu@QmTT[r@TUKotURK\T_rDX^IluVajTUCrRT_KsTVrK|TwrLXcImtVBKlRwjHS~IqtOQk\S?jDTBIrtOaktScjZTGIuTYqg|UgiLThIatPAlDQ[m^VMIRTIQy\Q_mdSjJgtIayD\chbVWIWTtqd|QwmlSlJitJAydWSgvUCILT_qclWGhHU@IPt_AcTV{hBS_I~TFqnlPwjxS\I|tFAnS@]?l?Z_LOEGBK@A?b?R_HODWAcXEK`ERbHPdWqcX]KlEXbKPewrTT]ilTXikTUyjTTuixT^inTWYkDPmgtS\iMTFybtQEh@SbiPTHYceB|@f_qO^WLSGMBPA@_vO`wLcGUBdAH_wOawMsG}BhAL_{OcWNSHL~\@f^uOXWLB~MBS~p_vN|wLb~T~t@r_wN}V~sF\~x@t_@O]w?CFdzlAB`?N\VnSFuB{|x]~O`vncGT{@AJ`CN_vocG}CW}F^DOcvpCHDwl@N]IORVbsD]Ag{\_hNEvbCDDxD@Z]OOUVccD|xL@\]TOWvdCEEA?{R__NCWGRn}ACz|_bN@wGboUAK{B_aN?V`SCdwP@J]FOQv`cCe@wyv_^MlVVsBltx?x\\OLVVCBU@kzB\_OLvWsBm@ozD_^MqwFbkdqD@N_eMOWIrb}Agw|_hMPvGcDDqT@Z[cOUVHsD|qX@\[hOWvICED||?N^]OBVwS?l}@?H_BNpw?b{U?c~J_GNqVxs@]?g~L^hOEvyC@d{[~Z^ENuVzbxt}{}^^iNdvqb|\~G}R^rNcVrR}D{o~b^PNyV|RyDyS{~]]NQVfRs\xo|D]ZNRvebstyc{r]gNKVirqtyg{n]`NUvgBtdsKzZ\AMuVYRh\u_yT\nMcvZbhDs[zV\EMtVPRk|sOzL\LMwv[Bhdr[}f^QMZVMRy|r_}l[zNivMbydrs}r[{NkVNrz\rw}t^\M_vvBgE@KxV[iOHVJsALqx?`[lOFvJC@u@Sxb_SMWWDre]@Wxd_XMYWEBelpKyn[QMjVSRb\t?wt[XMivEBidtKwj\QMIVDrh|pWy\\XMMvUBbdzCwN]oMBVARt|o_|\[JNXvkb`Tos|j[KNYVBru|ow|l[PN[vCBvDngzlZzMzv\R^lvOvx\rL~v[b^to?zp\xM?v]r_\vgwD\|MAv^B_eKdDnbGPZWnsX]JxETbFP]wpcVeKLDvayP`WmSWmJ`EHb@PewoCXeM`DTbhPTwks\mJHFXbePWWxsUMI|FVamPtWjS\}IpF\bpPYw{CUeG\CfaEPHWdsP]GhClaHPIwaCQeGtCraKPKWbcR]G|CtaPPMwcCReLlBzbYO}W_SZeLtC@b^O~wvcNuGLFBaAPoW`S[]GPFDbdO|wxCNUE|GB`mQ?W~sM]NxBd`pQ@w[C_UOTBj`sQAW\s_}FXGL`xQCw]C`EELFn`aPzWXS]mEPFhbrOrw{cKuEdFr`gP{WYs^]NhBT`lP}wZC^eK|AnbMOjWsSJML@ApbROlwscJULTAzbSOmWtsJ}LXA|``PkWWCZMClDF`IPPWRCSMCtD@`NPNwRcRuITAbacOgWhsIUIXAf`TPSwiCIeS\HvcyQbXNshURxIVc|QcxNChESDIZd?QeXOsh}SHI\dCQgxPSiETXH\dVQVxSce]RHIfcpQixTCeERTIrcsQkXLsj]RXItd\Q[xMCjeOlHDcIQPxCScmP@HHcfQFxHc`uPLHRcQQSXIs`mQhGXcSQUXDSdmP|JBc]QoXFSk]PpJDcZQnxVcbUP\JJcUQqXESk}P`JLdhQOxYCcEUlKbdiRGXdcluX\J^dlRHxZCqUW|J`eMQwxeSmUVLKpeTQyxdCmeV\KNduRBX_sn]WHJtdxRAx]CoeWdJxd|RCX^sp]VxKTe@REx_CpeYtKvekRLXjssmYxLHe`RWxgCuEX|LRegRNXhsrmYXKxejRPxicsS?DLoex_@hmsu[?HLseqrZ_?svmZW?Ce{rY_?Suf