CAT(2600,4)

Sparse6:

:~?gg_?O?G?C@c?p?Z?LOFOBcAO@F?]_OoGgB{AA@_?l_VOIgD[A}@X@P?foRWHsDAAX@J_k?TwJODeAw@Z_kOUWI{DiAx@Z_h?WWKODQAy@R_g_VgK?DYA}@T_`?PoHCCKAK@H_a?POHSB[@v?u?\OM?FKEs@}@?___Z_FcBs@{@k`B?`WOcGcCPAO@FOawPSGqCZAN`M?eWQ{HmCtAW`JOEGBK@i?v?\_MOHWCsAQ@N?h_SO]oDSAoBr?l?|OJoNkAkBp?m?}O^_E[BGB~?p@?OLOOSGK@h?o@?oOwGkCYAN@C_`OQWHCCaAT@I_coVgKCDuA~@a_oom_K[EODx@d@]omoKsJ{BPA}?roSWISDUAf@U_iODgAs@]?n?V_JOCWAC@Q?f?T_HOHoFkAWA@?c?^oN?DKA_@|@@?QoLoECBk@d?x?WoM_E[BW@j?w?YO~o^SNeFxBz`~O~WQ{HYCrAW`LOewRcHuD@A``NofgMSFUBn@s_xo\gBC@e?x?Y_LoFWDcAm@T?l_VoJgH[C}AX@M_gORW@c?q?X?M_FoBW@k?y?\?L_FoBwAc@A?b?T_HOCwekRYHpCva\PMWbKPqGnCWaLPEw`_IIGUAb`Q@BWSgOyDMCO`R@Bwe?OUGKCqaC@Jw_wREHgCIaX`AW^{OIGFC?aAP?W^oQIG{Bx`}`FwbgNiFwC_aO_}w]{NaFlBu`{O|w^gImDQBx`T?}g^oIqFwAl`S?}wZoQqE}CmaU_wWd_MIH[Bb`o@JWX?PUESCPaH?pga_KeGkBJaH_pw`WIyD]CK`W`CGUOOuDeCM`W@BwYoJYEcAt`h_lGYgJ]EmAx`i?mGQwQYCuCdaP_dgd?HaCqCc`L@Hw]_HyCyBt`x_gW]WIACwBt`y?fwQ?KqCiBN`G_rWQOKyE_AR`g_dGMWLeEy@q`k?\wZWFYEw@t_y?ugNWG]CI@{`B?^WO_FiBqAH_{?aGswYELHEebPPhWs[[SHnCua[PMWfSRUHRCiaSpIgd[QmH^CpaXPKwecRAHFCcBjpHWzGQYHNCgBlpFWbo\uG~C_BnpGgcG]EGnCWaKpEgb[PqMCCPaH@oww_PYGgF?aI`nwaW[EGJCEaBpAG`SOeGHC?`~p?W_[OINmBo`w`}G]G^UFcFybz?{G~GNILyBlb[_ygv_M}L{Bmb\?zGvWMmFHBd`rOyG\KM]DtA|`^onGVsJmEJB?``OoWW[KQCTAJ`EObWP{GyMa@}bh?^wyWGAMgA@bj?_gOW\UOQGLcGA@x@?_yOcGIcFaBHAG_mN]Esbw@lWv?^ILmFpby@lg}WZMOwFebpaFW{_`eOsFdcL`yG{w`yL[FNbW`qwy?ZIMYElbV`rGxoZAMIGSbbADgxO`aOeFFbcADWxG`]Q]Ac`ROggS{IUDFH]CmQUxJke[RDH`cpqXHKseUReHmcuqZxMKfIR`Bq`wO{W]cNUFfBu`zo}GZsMIF@Bb`nowWYkLIEfBS`jotgXCKYENBH`doqgO{GeCPAC`Ao`gPcGiCZAJ`FobgQkHICbAS`HocGNsGEB~AA`?O_wCCAE?~?b_NOGgEsB]@t?z_[oMGHcC}AZ@M_gOQwI{DaAt@X_mOUw?s?a?N?H_DoAg?s?a?N?J_CoAgAC@U?b?R_IOCgs{YaLREjbTPjGucZaLjEvbXplgvKZmLtE{b^PnWwK[AMHFBb`Pnwj{UMJDDcaoPWWgKSQILDDa`pOh_?kkU`JKDgqrpYckgUjJLDhQr`Y[jgVzJyD[qn@^sj_VvJ{D]qmp^{jGVhJuDYq|pU[jWVjIsD{q}@U{kCT\JADVqo@UCioT|I~DUqopUKhySxI\dLqfxRSg_V\ILDxqaP\{ggVbIJDwQb@]ShWRlHtDKq\@Q{hORnHrDIqe@NCekSLHfD@QYPOkegSFHkDBqY@OcmoQjHWDsqypI{dWVPHYDtQzPJKdCTbIkCfqT@T{dKTZIoCgQS`TsicQRHIDSQQpSsikQZIiCfQR@S{c[R^HECxQP`Lkc_R\HGCwqPpMCYCV~JyBRPhP^[YKVxEaD~Ph@^kb{VJH?DrQNP[[bwVHJaC`QOP[{b[T|I~C[QN@W[k?PrGzD_qo`FSbKSbGtDFQKPP{hKPlGsDHQK`QCk[PHG_DbQFpWkkOPBGaDcqGpXCf{OzH~CKqF@OK`kS@G]D?qE`OC`WQ\HHCHqQ`AcckOjHLCKQR@A{ZkVtE{D|pm`^cZsVzE}D~pmP^smwOBJnC@Q@@]K_WVdGDDwQ{p?[^wTxFzD[p~pVk^oTpIyC?P~PV[dSL~HVB_Pp@JC[GQlFBClQUOwK]wR@H_BtQVo|cdwNRH]BtqVo|kl[M|JUBmqu?z{lcNDJZBoqu_{Ce[MxHkBjpu@LC\cRRFYCtpupLS\KRtFPC{ps`NS\ORrFUC|ptPN[[sSzFMDNqf_yChgMVFNDLqf?xcgcMTIGBbQa_wkgsMRIKBbqaoxCjSKbENDXPc@U[jOKdIvBIQl_q[doK\EJCmpaPJ[WgQvH\BEqV?pcl?JzEADiQs_nslSJ~E?Dgp_PY[V[T@DyDQp]@SKiKJvIaA}P]PScU?SDDbDBpX@O[UCSHDaDBPVpOkTkRLH`AmQWojkTgRJHcAnPUPKScKIfDSC`pT`GkT_QJDTCaPTpGcm_INJlAeQyOhCScVVDIDuPQp\SYsONEmCCPk@@KZCOXEqCDPjp@[X[PNEUCTQHOrKaWKjGgBLPe@DKakJbDqCVqK?mcVWPXDrCVP\PDk]{JJFpArp{?ks^GJPDiByP{olKSwL@DLBLpfOiSS{KxDPBNPS?r{YoIHDDBTPOOs{SGLPDEBSpOot\@OVkONgFA|H]x@A_aJtd{cCx^@@IVDJbdqQxx[kmYU|J[doQvXZ{mEV?OGgCawY@Olq_UJ\gEavi@_l}`?JVgOauHYpAQUqOdgPauyCOliUGOYdacEyB_ka_}JHdbcFXWp@yUXJLddQrhX[k}TNIedSQiXT[iiT@IbdPQgXSkiQShITdJQdxRKhaS[PIgeacYHWg}aWIOdHcRiHwhIRzH{c~Q^HNkfyRJHecoqXHKSeMRbHlcwQZhMSe}RePCcycPhMpCURmPFcyCQXN@CaQ^HOcgqTHI[dIb[Ergv`lYM?ZYLmPrb[C[YMOZQOZGPcFQChAC_}`qFtg\@|iF?^]`uFwb|CNW~HBqbAFgbpcVg{`DuNIP^brcWG{pDqKFEFbAP`WpCWY_EDoatc@Gl`?UJYOEg@@Zwlp?]HuO}a]CNyG?RuH{P@a_COwfxCIbCQKhEcWyPxE]c[PcgqccYQ@EYakPygjc]yJ@FqaqP|glc^yJPFydkAg`SoigT[IuDX@w_{o]gN[FqBz@q_xo\WMsF]Bh@A_aOPgG[C]AJ?C_Ao@W?k?Q?HElbVPjwuKZALdC|a\pNGgCR}H|OBg@S@i?l?]_HK[eKRExbkpeWtRqH]Czy]HKAdyRmh^CzY\`KEf_Q~hXcliUXJadqQth\clYU`J]dsQshbbQiW_seeILLhbBQxh`KIYORBhNCziSPM}f_Q^hwcgISXMufWQ`h@cjYTpGUd]Q?h@CkIO`JIdaQ@gyS\yMlFabrPugvCqIM@Kib]RHgwcqyMXKubcRKgmCjYTpDud]P_gockYUPDyd_P^hnCTIZhDUesPOhmCSyZxDIeuPPgLCiiBXIm_}QkhUCFiB`ImdSO\huCAI@HMu_SRmgDczy]@?qfaOLfSCxxt`Mm\QRghrBii\Gyu\URih]BaiVww}dyMJh^BbHphKEe?MMhcB]IXGveZsRIe|cqxnhKuZwRKhqb[xmpMIZiR_exCwXmxMMZgRchfbTxj@KyeaLThhbTHjHLIe_LUhaBFHbHKIWsRBhabFXb@K]eKKZgpb~IKg~u^{Pcf~cXiKP?E_?PfgIB{IAg~E^iOUfyCEYB?~I^eOVhKBrIRG{ucsNMhLbryRg|EcwNOfccCi@w{Y]MOOfcCBhxX@M]SOPfnBoHzw{E^?NAfobox{W{U^CNCg[BmhvxBq\wOyg[bmxvhBu\{OzgUBlIDgzU`[MugVblyEGze`_MwgfbhXsPCiaUMbfRcRhspCqaYMcfMCGXrhAI[{ObgOBfyC_yE\?OdfLcLhqpBI[mOrfKCLIEgxe`mMYfIC@HqH?M[cODfHc@y?OxU[_OEfCBjxtowQ\aMHfAbkHoozM\cMFftBZH|wuy^ULlevbzHmG}uZ_Nmg_BYxkxB}aELherCNiGGuiaCLgelCbIPotmc]L[emccYQ?tycYL^efBshhw|MY_NUegbtxygtM]gLQe_CdyQ_sEceK~e]CdYQOryXyQUgsBLhf@EmXuPhgtBLxfHEubWKygjbKIJGrEaoKrgjBKiJOrUauKsgTbJxdPAaXUOhgRBJHdhA]`SKmeECiX`hIQW[QdeFchiSwpEW_Qghtsyi[tM]fPRhhpsxI[lMAfBRahmsuyZ|Lqe|RYhkStIYlLYerRVjpCuY{pLUnMRUjpcuI{`L]nIRShfSsYYTK}efROh\SmYUtJ]dpQzj}C`yOp^ucOV~j~CaY~PGmnuQIg|S^INlF}bvP}gcSPiG|CQaRPDf|R}x}s~]^rNwfqD|H|@^U^IVufrD|x|H^enoNffmRuhzC|u]vNXf@R_xoKvyZ~M?eqrXHkCuEZDLbe`RPxg[sQYLLDeQRHXcsq]XRKgeNELhbxb]X?WwePeMZFWqEXCWyeHDyXaX]iWiVjjubDHax]qnOKUkBbAh_p_eoKKFeCEAj@WomoOKHe?R?X_SoMWJKCkieTJIxdYqqXWkQEJJCpaupIWjkVeHzDHaipOWmkiEFjBxdYp?XVkieGjJHaMpAXWkWECjE``YpcWRkXeDzEh`UpaWSkFdvJA@\uoaV]kFDvz@`]En?WLkfDtiyxc}q_VWkgduZIX\mqcVYcbQPxHCceQZHIcdqRhHcCA@~?{_]oOWFs?Y?T?F_COAw@KTQIpDRaipTwitfQrdXrkzu\ZMtaOsFWdLAUHbOta[sJWhL?uIBOT\[rvX{JkTuRNtfsmvVYL?U^qytZyl~V@j`toiwDg[klUVLDtdRPdgckhYGJKteBPTVGrvX|IwU^amLf{jfTtL?T\BNdUgs^TjLGUcaldUssZTnLGtZbPtgsh\YMIVubqeDhGhbSrLGTKbQLdCqTXGKfuQrHtd?qRXQKeUSrHl^Kq@W{JxT{RF|^?p|VnK_tzbFl[wpjWoJdUKQx\[opdVNKXtrREdZkprUyK[TmBEtZcpnWzJ]uMavdYWqDUfK`uPQtDcWlRUjKaUPqtTY?r@U`KotgbKTYKrFUdKqthBKdXgnhUZJyt}Arl^ck~U]JzTfA}|_SkZUGK?taR?TWgoFUJK?U@ApdaGj|U@KOuGAndVspFT~KNT_BB|`GjHThKJUDAkl`SjLWVIsUCqk|UKnTT]JsTVq|LU?nVVlIpTWQ|dSklbTHJVTjAgtYsiNTIJVtQAuDeohtXlI\uZafdRsr^XpI^tNbMDROidTRIYtTAetTShnTVI[tTafDa{hBS[KTTFRD\PwpXS_KVTFrDlPWqtX\IKUVqbLdwgvXZILUVAa|PSmPVHIGTCawdPCmJSSJbTCqw|OoiJT?IDTOQ`|SGg\SJI`tBQgddOgHSEKkUTa_lOcqjSFKktABI|T_fpTXH|S~AjTTkfrR|Ims}qjdQcffSgHxS|Ad\NShZSkHztIa]tg]sPYHlDUbJP\gEsDYBlAU`jOlferpXwk{u]jNTeYrQ\RktUXzLXtYrO\TkKUEZBl`iovW[kEUBZAD`Eo^WMmkeAzjP_YoM\[kCFVjjX_iyyWHj|T}rl\^qn}\lj}vZq~t]]nDVbjqTxi{l]Am~V\jotvIzt\AmbVQjiTtYy\ZWyB\CJYvOauTsKlf\EJYTlrglWwzzUNM~TcBn|XC{@URN@TcboLswkD\LJ@vRqott?kH\QJBvSQolVWznTvM{V]QnDvgjr\{I|v]qnTSoyNTLMcVQQiDSwyTTNMdtSRhdQGy~SbMoTHBkLuKhJSfMqTHbkTvCgDR}MxS~rm\O?zhSBMzT?RmlImdTQkciqThI{daQtHX`kOvWZ[LeEtB[`aopGWKKIE@BB_NOFwCCAE@D?bgHsBi@|@A_bOQlSuhZSti]tTYgncfojx@{M}S^CndfpZwx{u}K^KnLfqJr`{e{{^InNfqzs@{u{y^KmrFrjyXuizM^OnhFXZl@{}}a\hnWFMzuPrq|i[}nXfNzu`sA|a[|mYfsJyHrYxm^Qm[FszfP{}xq^MmPfljvXqQxI]xmRFmJd@zixM]vmEFnj`X{Ew[]~n]FCJ`x{AwY]|mAfoj_p{MwM^CmCFpZwxoi}K[HnWEhJuXiI|iYbnWefzS@zQ|cY`nRFVjshtuyq]`mlFgjj`yMyu]cmvfTziXumyi\kmiFZZj@vAz[\UlbfQzWXs]uG\GlafQZhPkauK\KmSfOZdhsMxW\EmaFIjdpsUyC[jmHf]Japvezw[Tm|FDJnXpEwc\vnFe~z_HxIw?]Om@Fcz_`xQ{a[BmVe}z^`rQxeZ|l{fKJeHnyvs[qnCe{z]pwivo]Jlyfbj]xwq{YZsm~e{Zo@nIv[]Alvf_ZnpnAvY\|loFeJqhlm{kZ[nJevZrPlyu}]XmwenZWPvYt{\ql^f[zWHvQu?\tlZEmjU`jateYxlZekZUhjqtuYqloehz[PiUvEYelSexJTPmYtOZdmJedJb@hUwqYUlHfEjR@pqsm[Zn]VnZvt{A}B]~nZVlzvDze|v]ynVVjZtty}|^]lnRviJtLyi|X]jnAV`zolwY{F]GmpgXKKht~BK\_orfWZkaEfBO\amgvRZhqGMy^aDMhW_biDpuw|[^mOVGjcMG_vNaHLsWab\LmhCVZjPEwbB\eEkuj`kLjUtsLUEwup`nLlWZRZMF?u^`sLhutCMLl@BdZPOyw[rYTkeuSa_ldwgbXdkzDGZLlUGVjTiD~B?YjooejkKXjBBCYnozEe[MxhjBuYZo{EfJRqFesy`yhUsjiT|JAddQpc`qPXGcYELDEbbQphgsdPIghSRiItCIaMJlEBbEP_WnCWUKTD~bCP]wosVu?|Dl_IPXWBcU}?lDf_KPYWBSUmKPDLbEPRwiCWUIlEBbBPSwpSTUJ`ApaxOkwmcJUJhAvawOmwmSJeJl@\a{OVwnSEEJ|@ba}OXwoCET|PDl^TPXVtcU\|\DnasNkvuCUmFXD@`vPOwgcNEILBradO|whCNUHhBT`mPNWZsRmElCv`kPNwZSReD\Bf`oOhW\CIeDXBj`pOhwTSMUCpCP`LPCwRcPUC|CVaLOgwbCIEGHAL`IPAWQsOmGXAPaFOcw_sG}CPCfaMOawbsG]CDCd`APGWOCQMHd@L_aPIWGsQmAPClaVORweCCm@L@V_OOSWJCAMAd?d_TOUwDCDU?`Bz_CO~W@SN}?dBxa@OBw@cOEEO~p`dN{wXb~UE[~v^|OswYB~e??~l^qN~V{r~|~P?B^vO@v|S?UIs~`^lPUWjr|}J?~XapNwwjb|uDw~L^fOnwWB|D}dBF`aNtwWR|UBj@ucxo]WNSf]B~Hy_}oYWMKEmBZ@r_voMWF[Bu@~@B__oLhP[AqSZIM_VqcGEKhQ@fIQ_Yq^fxZ{ASA~Ad@npHOj{aSQ~EdBnlXTrz\|q}ydXnnvvcj\JQdjQrgCSBI@\?e_ZOIlHudJQlhaslYVqvHWSkuUhJHddQrxWCl]U`JFdhQpXVSi}TxIrd^QkXVsjeTxIvd\QlXEslePpJZc_QuxFslmPtJXc]QuXWCamUHGldbQJxWSbEUTGtdcQKw|skuN`JNdgP{w}clUNpJVbzQsxSce]RPIbdRQYxTCeuTXHpdTQZxJSfMQxHtcnQ\xNCeERHH|cpQ]xIChmQdI\cfQeXIciESlHVckQfxASgmOhILdIQExPs`]SdG\dGQEX?s`}P@GHcDQGx@caUO`GhcFQHw~Sf}S@G@b}Q_w~sgUOHIHc@Q`w{ScMNHHDbrQPw|CceQXFlbtQQwxS\]MXFXbfPuwyC\uN@FTbnPswuSZ}LhF@bZPowvC[UMPE|b\PpwpsXmKxEPbNPcwsCXULHEXbPPdwtKY]L\MRbTrdguKYq[bK[e~rGHnkpiZrMAeKrFhn[wAXFLSeorVHlKuiYrLYerrVhk[tYZJKoe]rNhe[sAXjLAeZrPhf[sQXrMCeQr`hc{qa[RKifDrJhp{qq[ZKKfGrdh`{xIWbKQfLrDhqkpQ[rLGdyq}hi[siVnJ}eeq~HiKsyVrJge?qyh_[mqWJJmeBq{h`[nAWRLkdmrZhZ{vAVBLqdpqxhm{vQVJNWfjrwhyK|q]fN]firwHxk|i]^NGfsrph{k{i^NN?furzhwk{I^VM[fYrfhu{yA\rMaf\rhhv{yQ\zNofSr{ht[yq^jMmfzrkH~KzI^vO_f}sGh~|AQ_BOeg@s@iD\?Q`ROGgIsAiA|?q_rOYgFsFiA\@q_a?Ag[SJO?TBi`^Oo?ASNYEO?Q`~Ou?BSOyE_?YaB