CAT(2592,10)

Sparse6:

:~?g__?O?G?C@s?V?I_EoBG@{?y?`?Q_GoCwAc@M?f?S_IODWAs@Y?j?U_IoQ_GsC]AJ@H_cOPGH[CiAT@J_eORGHsCuA\@L_foRwKODCAz@O?mOS_J{DKA|@S?ooTOKCD[Az@[?jOUOJ{D_A|@Z?ooU_KCEUBH@b_pOYWLCEmBT@f_rOZWLcFEB`@n_vO\wMsFUBh@r_xO]WNCIgBx@|_|o]gOSGMCBA?_~O^wOkGQE[Av`ZOmWVCJmDtA{`]onwVsKEE@A^`NOhwSsIUDHAb`POgWSCIeDPAi@ZoioUsIsDrAk@[OkoVsJGD~An@\OmoTsJCDzAo@]OlOWKJOE@AF@Io`_QcG_CfAQ@CocORcH?CzAY@EOeoPkGwCrAN@KOaoQ{GgClCU?^oOGGKCIAF?}`NofgS{IYDJAc`PoggSKIADRAgaMpFGcSQMHHCdaNpFgcCQEHNCeaMpFGccQUHFCaaOpGGb{PyHNCeaDpAga[PIGbCOaFpBg`cOuGjCSaHPCw`kOqGVCIaFpBgaKPAGhCT`~_ow^oKIGMBJ`d@@gX?OQEQCD`b`?wWoOIEIC@a??pG`?KqGQBL`x`Eg]OPeFgCY`y`EW^gPmFwCZaK?}WawNaGoBzaJ_}gaoN]GkBu`~_rg^oK}E_CC`g`@WYWOMEcCAaB_tWY_OYGABUa??tw`GLeGOBW`l_yW\?LiFMB\`r?vG[GMuF?Bk`v_xW\oMQE{Bj`n_yg]GMIFEBobI?KwESBm@t?x_[OLwEsBQ@j?|_]OKwESBm@t?x_[OLgE{BU@h?|_]O~g^{OEG@CBa@P@W_cO]GLCHaCPAw`SOuGXCMaFpCGaKPMGdCTaIOuwZSMIFFB``oOvwZsLuExBc`qq??yK\AMrFWbjPtwyk\QMfFQblpugy{\YMpFXbhPswyC\EMjFSblpug}k^QN~F}b}p~G~[^iNrFwbzP|wx{[yMJFCbdpqgxk[qMNFEbcpqG~G[}M[Fwb}`pw~_[YMYFtby@rGwg^]MGFub~@qw~w[iNuFHb|@qG|G[ANOF@bw`nw}?ZyN]Eybv@mwv?]uLqFkb]`ywv_]iMEFrb`@{gzgZMMwEqbq`jw{_YyLWFbbU`wgug]ELgF_bW`vwu?\yNMEubZ`xgy?YeMaEgbk@ggzGYML?FVbO`tgsw\QLKFTbQ`sws_\IMuEjbl@igrG\qKoF\bp`fWr_]IM}ESbn@dWqw]EKkF_bq`ew{_XiNKE^br`fg}GY]N_EebP`ywsO]iN]Ehbv@iGsg]eLGFgbO`zW|_YANcEibx`iwqoYyKmEnbL`kWrOZALeETbX@dGr_ZUKyEsbZ`eWr?ZYLYE^bU@fgvGWeLoEGb]`agpWZqKaE~bG@ngvOW}K[EzbE@oWpg[AMCEQb``cwn_]qJyFlbv@_w|wWIK?Fob?`{Wog]mKGFibs``w|?WYNcD}bx`^wmwW}JkEMbG`\GmgXAJeEHax@aGpWVaJqEIbE`]wp_ViJaEQaw@cwjG^]IoFuao`|Wk?^QN}D\b~@VGjw^eI{Fwb}`Uw~_TiNuDbb|@Wghg\}IWF]ai`wWi_]ANIDPbq@SG{WTMIcFabr`Rw{oSyImF\aj@vGfWU]HsDeaq`NWk_RqJYCvau@LglWReJSCwaY`YWe_UaH}Dna^@ZgdGS]HODEa_@JggGQ}IQCjaT@QGdgSUHWDCaX`OwgORIIUCpad@KHZo@y?z?\_NOGGB{AA?~?a_OoGWCSAM@J?c_QoHGC[AY@N?j_TOIWDCA]@R?g_ToIgCsA}@\?l_UOJGDkA}@\?p_WOKWEC@]?p?[_LoEgBKWeKPEJbDPbWpcW}K\EPbGPcwqSBy@~@@__OOwGSJ]DlAw`[omwVSJuDxA~`^OoGWKCQAJ@F_bOQWHCDEA`@R_hOTWIcD]Al@X_kOUwJSGYCNAH`COagP[GyC^AL`EOcWQCHMCdAT`IOfWRcHaCrAY`LodwQsHyC~A``OOggS[IUDHAf`ROiWTCQeHPCjaTPJGdkQ}H\CoaWpKweSSEI@DBa`PPWgcS]ILDHacPQwhSSuIXDNafPSWiCTIIfDTaiPTgi{u{ZFLaEvRXPmKuOZ`LfExrX`mSucZjLgEyRYpnKugZpLuEuR\plkt[ZFLUEpRUPkkuOYpLZErrU`kstsZRL[EsRVpl[twZTL`EuRW@lkvgVxLzD}r^P^{voV|L}E?R?Pn{oK[BKAF?R@Po[oO[DMDEBr@`ocnWZ\JuEvq}@mKn[Z`JvExQ}@m[ngZhJxEyq}pm{nkZlJyE{Q}PnKtkV`LYDwQ{`isnKYnLXDyQ|PjCtoVdL\DxrV`]KnCY~L`DyrW@]cmKW^JaEFRCPZ{p?U|J`EHqw@aSmSWjJcEIRDp[{mWWlKXDsrE@\CmoW^JjEFQz@aKmkW`JmEHQzPa[mwWjJlEIRDp\{m{WlKXDtRE@\SqKWRKaECrApcKogX@KLETrB@dSqcWVKgEDRHp`CqWWPKLEQrB@ccmSUzJcDmQvPZ{loU|JaDlqwpZSmCUvJ_DlQuP[sl_VNJXDsQu@\K_EO@GGcCq@x?s_UOHGBc@QAx@SksXfJKEXQrpekkwXhK|DhrN@YSrcUbKwDgQtPf[rgUhJVEZqt`esjSYVIsEdQlphkjWYXLTD]rT@VctCTvLOD\Qnpi[tGT|LND[rR`VCicXfKqDSQi`ekikXhK|DWrN@UCr_TfKxDXRMpTsrgT^IlEZqj@esr{SxK}DMqfpgKhwY@IbEcqg`hCsSTLLCDRqgPg{i?YLLBDQqh@gShcXXIWEURJPQ{qsSlKnDLrJ`RSq{SbKmDGQcpeKr?SdITEWqd@eCrwSJICE^qbPhKgoYPIGEaqaPgcgkYNIIEbQ``gSsKSNINE_qb`gCgKVzIAD}Q]P^{f_V|K@D?q_@_CoGRtKBC|q^P_coSRxH~EBq^`_svkRBLyCoR^PK[voRDL~Cqr^`Kcw?RLHfF?qYPo[e_[DMDCtqY`ocdSXBHSEOQVPc[doXDKhClrI@JSqSQrKcCkRHpI{qWQlH^ETQV`d[pgQJKYCaQNPb[boWvG~EMqN`bccCWzH?EMQOpb{cGW|HFENqP`bs`uOxG`cOQFhB{aMPDGXcKQEhB[bCYVGoEdQKphkbGYXGzEirT@FStCPnLOCZRSpFKtGPpLNCYrR`EcaUPHGmcVqJXDcamPTGhcSQHxCs`KRZGQCuQBpL{ewO\GSCwqDPMCfKObHqCGQ\PA{fOOlHvCEq\`@ckCQRJ?CcQopH[kGQTHLDcqR@XCkSQ^JCCfQqpICdCUTHQDbQSpW{?m?T?L_EOBw@s@I?b?O_GOCgAKKMEDBE`bopWWcKmETBH`cOrWXc_eOPGFcBQ?X?C_MODGDcAQAx@SauPXGncVQIXDCaUPHGfcRQIxDTJwfBQ~HoSpqZ|KWe|RDHmspAZdLkeDRYH`soQZLK?epRHHjsqAYtHkeBQYH_SqQSLK_d@RDHNspARtISd~QcH^SfQW\HoeDQbHbspaSTHEc`QVhJSbyPtHecpQRhHSdYQdGOeVQDHdS_aXlGKeXRQHESbQY\LCcVROHDStAPDLScRRNHBS`qXt@[dnOUHZSEQU\@_ddOZHYsEaUd@{dnQuGNSkqBlJG_xO`HYsGAUd?geTOJHdsBAXd?seZOMHfSrq@|@OefOTHhSsAALLC_`RTGHStAA\Jc_NOEH[SnQ?lJo_HQzGCSAQVTJc^~N}H[S?QVd??dzQyG@smq?S{[enRUFbRqQZk{_exNJHkrqaZDLg]HRZFasvpwTLw]FNLHorrA[C~SdNNsHRSj`~DI{^rQpF}sk@~c~kdZNyHUR{qT\Ig^dNvHSr|aTDDKbRPQGsSXQJ\EOatPbGksWaJDECanPUGoSVQJ|Doa|PfGisXaIdCs`NPKGRSQqD\AgaTPNGQsRaCdAoaLOlGbsGqHLAGaPPPGSsSADDF[^NNeGzS]@|tFc^^PzFus]`|c}kcBNiH?S^@}LFs^`NhG~RyAN|Es]BPkF_S[Pv\F?\tPnFZsZ`usz{bjM}GyRmQL[z_bTM|GxrnAMTBS\VMiGYSMPtlB_\XOnFVsJ`tszC`fOqFWRlQEKzO``MrGZrkaEsyS`~McG^RgqFkyG`xMfG\rhaFSx{aJM]GaSOpsLCG\@P@FSsO@tCxc]bMWFgRepzK|_[tMRFfrc`xs|G[hNRFIrt`q{|[[lM[FirfPyc}C[ZN_FER`pz[wW]tN\FFrb`zc|{[RN]FCRcP{[x?^DMJFqra`{dZO?H?D_BO@w@K?a@|?~_`oOgGKCAB^@m_wo[GM{FYBf@q_yO\WNKFaCNAE`CoaGPSGmCXAL`FobgQKHAc^QMhGscIQ\HIcjQShJsdiRLHabnPug{s]IN\FibzP{g~s^iOLGAngVXJwtuA}D\knbVYJwT{Qzl^?mxVqJnt{qzt^KnBVqJoTwq}\]GndVXJqtuA{d\knNVYJrTvQ|L\onPV^Jttva|T]CnXVlJoTwq||]Gn\VdJVtxAtt]WlfVfJXTkQ|LZ?nPUrJttka|TY{nXVlJVTzquL]wl`V@JPtgawD[KlJVAJQTjAx\YsmTVFJStpatDYkmRVGJTTpQs|[OlLVLJJtrAqt[{krVMJKTtqsLY?mlVRJMtsard\Sk~VSJNTeayL\?kvVLIrtrAktUcm^VMIsTtqmLV?mlTlJhtZAyTU{mjTmJiTYqyLUgm`UyIktmajDS{lzTMJ]TTavtT[l~TTJ\tTAv\TKl~U}IhTnAiLZsi`T@JYTOAudZWhnUvIZTMqulRgljUvI[tlafDR{lrS}J[TNQvLZ_hxV@HvszawDNCmFRoJ`S}Qx\N_mTRtJbs|AwtN[mPRuJcs{qwlNGmHRbhpSzY\dMmfTRhhsSxy[tMUfHSjIltIajTQsizSkImTVqd|Twh\T`IWtWAeDRKjFSqIpTLQklROjHS^IxtFamTVShBTsIOT\qc\VWhDTxIQt]AcdQcjzSgI}THqn\VghLSQJDtaaa\WsgjUKIITbqa|WwglUPIKtcAbDXKgvUQILTdQblPokhSFJ@t@aoTWCgRU?ICT`Q`|WOg\SLJBtBAotV{gVSII~TCQpLW_g`R|I`s~AgTN{iJR}IaS}qg|SWftTHI@tQA_TSkgBTII?TRQ_lSogHYmJVtjiuDZElfUq_|o]gNkFqCBA?`@o_gN{FyCJAC``oogWkKQELBF`coqGX[KiEZBK`forgYKLAEfBQ`iotGY{LYErBWh|S}y^lNqf~R}i?T?Y_TOMgHSDlkUuZ[TmMvBZ_lnUvzZllquvZYlgevZY@lqv?ZRloesjYpleumZWliewzY`mIu]ZZlfEujZxkuuWZ]lYeoZU`kAtmZBlZEojXHj}t{ZGlbenZWpjquUYzldEmjVHkUtoZClVemzTpjiteY{lXEnZUxjEtkYol[ekZV@jAt}YqlXenjUhi}tgYmkQeiZC`iatSWfkREizDxiutWWmlTeJZTPaqtYWjlUEIjTHaetOWgkBerZ?pkqu]WJlfEAj?hl]oGZUlieAZY`_aoEZPlgE?j?HlMo?ZQl_d~zW@^ynuZBj|Eoi}`kUuGVtj}epy~`kYnoZGlcd}ZXX^]uSVukKeZZL``aouXnkLEZjMxaMrkWakxeFzMP`yriW`kyEGJMH`uowXokiE`ZIhgQsMXUkje`jJxg}q{YMkleazPPdiqyYKkmEbZP@desQXWkde]ZHPfaq]XzkfE]jNhcurwXKkge_ZI@gAqeYBkhE_jNxcer{XGk^ecZFphAseXFlHEPjGhhYsmXClKeOzR@cIsiX@lIEOJFhhmpwYYlMeKZE@hqpeYfkXEhjFXiUpsYclPeLzSPbYtAWxlOEMJRxbUs{WskIEWZK@`Uo]XgkFEYZKx`]rKWUkGeXJA@eUrEWLkpEBJAPemrSWRlSuiJTTimtXYl_JoEGBK@i?x?Z_AO@g?{?U?P?H`HocgQkHQCnAU`KoeGR[HiCxA\`ToigTkIqDfAq`VojgUKJADjAsaYpLGe{RYHrCwa\pMgfkRqH~C}fxr{h}k~Q^nNuf{r}H~[~i^zN{nNflzrpzY|A]xnOFmJshzu|w]cnRFnzsxzy|u]bnPFmjtH{E|O^?nMFbJrhwq{c]LnHfbjqhwu{g]MnFfdzpxxY{a]XnGFeJq@xm{s]PnBFlZopzQ{M]jnBfijpHyu{O]knCfjzp@yy|a]JnWFajuXwm|c]Im[f_Zf@wA{I[znAFMjgXwMyC]An?fOJo@sE{I[~nAFNjfhwMxw]An]f\Zv`vQzy]xm}FmJnXz]zs]um{fnzvpva|u\vmzFmjnp{Az}^@mUffzd`xy|M[tnRFLJePyAxe]`nQfKZe@yQx]]bmVFgjexye|O[unTe~ZtPnq|eZ~nXE~j_hyywG]nnWf?zu@oIwA]lm?FjJuho]|g[EnHe{ZqPnA{iZrnIE{j]hx]{kZsl|feZ^Pxa{uZwnLE}Z]xxuvk][mgF[ziHvIz_\SmwfTZlptMz]\QmlFYzjXuizO\VmsfTjjHuuyo\kmqfPZk`sQzE\FmbFWjhxtuy[\[mnfQzjpsiyY\fmrFRJhHuEyO\_mRfDZcppQw}[jmNFIjchpuxG[[mOfDzapqAwu[hmLFIJcXpexC[WlufAZ\`oawUZflrFAj\PouvU[KmFeyZ`pmavI[PlqFCJ\xpMv[[Q_XoKgEkBQ@l?v_[oMGF[Bi@x?|cEqBH@{_yObGOcHqChAk`QOlGVcKqEHB[`iOzG[cNqFhCCaEPFGaongYkLYDzBA`looGZKLIFVBO`sorg[{KqFJBI`poqG[KKYE~BC`mobgV{GqDzBE`PopGSKHyEbA[`hoogR[KACrAU`dodGXKKyCfBK`GoJGS{AyDJ?q`ZoKGUkBYDv?s`[oNgU[BqDbAm_`ojGGKIi@v?w`So@g\[?QFRBa_DowG@K?IFN??`qn~gYkLX~z?Q`noCGZkLi?^BW_EohFpKIX{U}S`YndgUzwYDu}C`[nbGTjwyD]}O`Soifq[JH{vAo^KoPgK[CQBB@]_doVGHKFIA^@o_eoSgL[EaAb@m_loZGJKDYBN@S_qntgCZ|Q@A~Q_NnsGBk@h}v?W^koDfz{@P}y~M_ToIFxkAX~E~__Qo`FwZ{ACNAA^do_FxJ{YBm~C_yo]FuzzQBu}y`DnmGPKFx|}}{_}ngf}z~P|A~y^VnjF~JyX~U}c^snxfrz}P{y}g^vnif|jz@~e~o^X_KOEgBK@]?x?Z_moVGJ{DyBB@__aOPWG{CYAR@GkouWJKTeMrJXckruXjLLearVXipsg|K\ANVFQbupsG|{\YNfFSbwp|gyk^QMnFyblp}GzK^yMvF{bkpqG_{OQMNCMbbpqG`kOiMJCGbapqga[[iGbFMaJprGakPaM^CYbepLg|[RQNRCybvpMG|kRqNbC}bxp|gg[^QIBDEb|pPG~KSaN~DIb}p?GzkOIMzBmbpozG{K\yFfF]`wpwg]{]AFjFe`|pxG^K]YFzFc`~pkgq{XQLbEmbLpjGrKXqLjE]bZpggv[YALrEeb^phGvkYiMFEgb_pRgk{SqJJDiajpYGikTIJ^DOaupUgm[VAIrD]azpVGmkUIJvD_a{pFgn{PqJzCib@pIGoKWiHNEGaQp`gc[QAKJCmbFpbGdkRIKfCobGql?Ag@[?u?X?N_FQuXZClmUtJ\dmUxZ[dm]vLZhlsUyz\TmuvXZnlvXWSk}U@JLdjQpXYck]U|JJdmQqXXSmMUPJ`dlQpxZCkUU`JBdhQoXKSimTPH`cqQiXKsimRTIncsQjXUSfMT`HpdXQ\xUCfUT\HndUQZXYSbMU`GpdlQPxZCcUQDJ^c_QvXFsmMPxJ`c\QrxFCkuPlJVdiQLX?sj]OHItd\QCxACjeTxGHcDQnxAsjeTtGTcEQlx@sjUT|GBd]Q?XRS`mSpGXcPQdxCChUSdG^dGQFXCsh}PHI\dRQJxScauPPI`cTQgxHsfmQXHxchQ_xICgER|HVc}QTXPscmQPILcnQaxJcgeQtIFckQ`XUKjMTVIhdVqjO@G?k?Y?N?H_CXgsv]YHLtedR\xhCvUY`L~e}RSxhsvmYXLxejR]xicveYtL~ekR^XoCnm[@Jxf@QxX[swMVTMFdsR`Xosm}[HJldwRaxpCnM[TJvfCQ|Xdct}X\L\eZRXxecuUXdLbeWRWXlSrmXpLhe^RZxlcruYDLre_R[X^cp}V|K\e@REx_CpeWlKFeIR@X`SqMWPK`eFRHx`cqUXPKPeHRIx{Sw}^@MLfKRvxrS|u[lNZfkRdXqS|][`NTfMRxXrs}]\DNjfORyXwSym\PN@fXRnxuCzu\\NFfURpXxSz]]PMtffRmxxcze\HNRfgRhx}t?}^hOLfvS@y?c}u^dOJfwSAX~T@M^pOPf~SDx~d@U_tOBg?SEYB_?I_}?EgPSHo?dAA`I?AgSSIyEO?Q`^Oo?BSJ^