CAT(2432,2)

Sparse6:

:~?e?_?O?G?CAK@D?a_POIOCgAa@E?f_Q?HgCgA]@G?g_P_HgDKAi@V?k_VOJWF?BW@j?u?ZoLoEkA{@d?p?YOK?E[B]@l?t_j?QwHSCqBa@j_uoZGLkEmBX@X?moUoJsDgAx@[?ooV_J{DsB@@a?noX?KKEKB@@c?roW_KkEKBL@e?sOXoLSESBR@l?tOY?LcEcBV@X?iOUoIkDgAf@[?hoV_IkDsAh@P?roS?KsESAd@P?tOS_LKD?BP@^?jOU?KKD[B@@W?qOW_IsD[BF@L?loRoJSCwArAc?coQGG{C}A\@L`SoiGS{F_DBAa?zo]OS[HmCzA[`S?aWSwGmDQAI_|?gwN_IIBuA``Q?^WSoF}DI@}`Q__GSoGIDGA@`@_gGOgHyCGA^`C?fgOwIACKA^`F_eGROHACqAP`F?dwQoGqCiAL`H?\GQ_FYCe@t_v?[WM?FMB]@q`j_OwGKCIAH@E_aoQgHcCmAT@K_do[GLsE}FFBd`qOtWYsLQEgBc`j?xWYgMMEaB\`h_vwYOLyEaB_`h_wgYOMEEtB[`lougZcLmEVBL`eOq?[CKgFDBH@oopOZsK[E~BE@molOZKJKEpAs@jotoTcIgErAj@kOo_XsL?EHBB@fon?WKJsD~A}@_Om?VKJkDlAy@Zok?TkI{DdAp@VPFoG{CeAP@H_boQGISDEA`@S_ioSwbkPyGxC[aNPFWcGPiG}CZaO@EWc_PiHCCXaP`EwakPMGhCaAGPC_c[QOGbC_AFpGO`kP{G\CFaCpAGd?OUHSCEaS`@G_GQYGECfa@@HWd?NyHSC?aS_~wcoNmFyCf`}@HW]gPYFmCW`z@DwaoNaGmBxaK?}g\{NEF`Bq`yO{w`OMqGWBmaD_zW[oMeFOBj`r_ygk_PYGpCVaNPFWbcCMAB@A__oOwGSHyD@A^`POgwSKMeFVBia{@YGmoUeJmDfat@XWl_UYJUDcau`XGlwUYJ[Ddap`YWkGU]JCDga[`\GmgRaHmDranPWGj{V?IvDqAmp[OjcS}IbDOahPTGi[SqI\DLau`OwlwSUJ[DCat@OGl_SIJUD@a^@[gfwVEJ_C|a]@\GmgRiHuDraXpKgeKRQHjCuaz@Jgn?RAJmCnap`JWdWUIJACkac`UGhWTiISDXai`PwiwSaIkDE`iOtgYkWUKNEEbUpjgtcXmKxEYbD`lWuwWuKWEubAP_woSZ[JtDzBYp]OusYWL@EaBSPgOs{YSKzEbBNph?rsX[L^EXBWpe?uCZOKhEUBXPkoqkW_LREHBTPa_t[XCJ|D|BHp^?qSWwJ~E@BGP_?p{\aMlFVbipswycZuLvE{bg@vGyO\yMaF\bb@pww_[eMIFGb`@rwxg[MM[F@bl`oGzGZ}MsE}b[@qgvG[mLsFK`goswYSTaItDXaipTwisQmHZCkaWPJwds_?OFGCC@Q@P?K^sNnFxB~p~_~C^gNnFxB}P}o~C^gNPF{BtP}o|K^QNlFtbxP{w}K]SOBFfC@Px`?C]ONzFbB~p~_{S_SN@F`C@q@?z{]wNVFoBupzo|cag@~?}__OOGFsB}@p?y_[oMwFkBqGtCZaKoPGGsCUAH@E_ao|W]{NYFpBy`{phgtCY]LFEdbQPbgqCW}KbERbHPxW{{]YQCHMcaARxGWdAP}HJc_aRXG?cqPwHAc^APHFgcMP}Gxc\aOXG?biQSGvccAMHHGbYPkHDcbaMHGob]PeGxc\aLXE_biPwGrc^ALXFgbQQaGichaJHIOamQeGlcgaJxIOayP_GicXAIxEGaqP_GlcXAJxEGayO]HJcGaRXA?cqQQGbcdAGXH?aIO|G_cNqExBk`qPMGWcLAIHDG`eOiHMcJaSHAoc}OcHDcbADHGw`MOWGccRABhCg_uOQGccRAAxCg_iPMGGcBAIH?waeTC?f_SOHgEKA}@`?q_YOKwkSUMJBFCbbPpWv[ZuLxIjDWqjPU[ioTdIjDVQjPUCioT^IcDQqg`S{iKTLIaDSQi`ScicTFIUCiqT`RCdOSnIIdDqbHO{geSPImC|q^PUCi{RxHqDNq\@SKfKT@I^CyqgPM{i?RlHnDWq[PU[f?TdHhDSQi`L[icRTIeCrQY@S{e[TJHbDMQf`KceSSzHaDMQf`KKe?SzH\DKqVpRSdwSvIUClqV@RCh[QtHVDKqe`JKd_SvI@DGQ_pQSgGSbISD?Q^pQkhKR|ILC{QbpNSgwRrHkDAQZ`OsesSJJ{DvQzx\kmiVXJjd{anH^OjiVuIzd|anXVwneVsI}dzAlx^?jeVmIwdYA|hUonaTiJvdwAxx]OmeVaJgdoauH[WliVCJXdiaxhYwmQUkJddeA{xXonQUYJtdfashYGlQU_JRdnAqX[?kmUSJ^d`AphWGkaU?JFd`auxWglqUGJ\cQQHhCka]PRGgeFBHh`wq]W_KgePrHXccqEX@KaeJbIXbGqmWoKieRA~x_GqaXMK?d}bIX^oqmVwKieLBAx`gpqWWKZeMbAHbwoiW{KHeAbDH_wpYWKKTe@BCX_WpIWGKRdJQeHQ{heSvIYdMQfhRkh}TBI_eUBRXdos}XYLMebbRXhwseY[LGebBQhg_sqYILJegBOXgWtIYaLAehbNhigsAYgK~e\rNHfkraXrKyehbLXigr]YgKueYBQheWsqXcLJeVbSHe?tIYaKpdzQ}H]{neVvJyewr[xmSuyZ`LneyBWhk_vYZiLbeyBVxmouEZiL_emB\xjoveYyLwekb\xjWveYsLwesBThlOtaZQLVeqbYxkouuZMLkfCbbHpWwy[SMLe|B_xogvqZuMCf?BbxqGwI[_M@fBB^Xp?v}[ML}fLbchrgxQ[wMRfIbeHqoxe[mMY_wo[gM[FQBl@t_wOZgL{NmFzB{`rOyG[{XQKlETbCPagpK]MNHFabopwGz{gESFIAd?Q^hN{n}W@K@d}Q~h^kuaZTLheqrXxks{g]\NHFgRq@x{{k]JNFFerr@ws{g]FNGFaRqPwSz{]JN@FbRppwCzs]FM{F`Rn`wcz{\tN@F\ro@vKzs\lM{F[Rn`u{zO\tMtF\rkpvKzW\`MqF[RkPu{zK\ZMtFVrl@tsyg\`MqFURkPt[y[\ZMhFVri@tsyW\TMjFQRj@skyW\PMhFQRhpskxw]VM_FerfpxcyC]\MbFgRg`x|?O?l?W_JoEWB[@i__?[_NOFYAo@}@B?__eoRwHsJADdAp`TOjGT[ReHpCva`POGgKZyM@E~b[PmgvK`YOnGTcHqDHASkYUPJFd`qpXWcrIXhKreVrKXeCviZvL{e~R^Xn|C?`zPAG^sOQFtCK`tPDG]SPAF\B[`zOxG^sMAFtBW`vO{GYSLQFTBc`dOvGXsMAELBW`\OtGVsKAEdAk`fOlGXSJAELAw`POnGSsIaEDAS`POiGRsHaDLAk`DOlGQSJAC\A?`LO`GRsFqClAK_xOcGNSGaBl@{_rO`GLsGABT@c_xOZGNSEaBl@Y_pOVgJSEIA{|C_fNRGIrsaAc~wa@O?G`R~qGLCO^vPBF}sPP~c~__`NyGHR}QAK~S_`NvGHR|aAK~O_ZONFxR{q@t?g^^OKFwsAp}D?s^\NkGFrzQ@s}c_TNjGERya@[}W_NNgGCrxq@C}K_HNdGBRxA?k}?_NOHFpRwQ@C|s_HN^GBRva?l?C]tOAFmS?pz[|[_fOTFkSD@zK|O_BNUG@rtQ?TIo?T?K_DoBW@{?ydo?Q_GoCIVo@Q?f?Th^SoIV|J}d|R?h\cPiVhCadwPFhRC[IMHIadMPqhRC[ySxFUdOPsh[cZYVPE}b[QwguCmiVHEibUQwgrclyUhEebOQugqCkiKpJQbIQrgoclYKXJ]bCQuhYCViUXD}dcP_hVcUyUHDud_P[gkCjITpDiaqQlhVcTYIxJEakQohVCTIIXIqacQlgfciyI@IeaaQigeCmyHpJuaYQ{gdciyTHCidSPHhLCgIR`IIcuQ`hMcdyRHH}coQ]hFCdIQ@HYc]QThGcayPhHMccQKh@CaIO`GecEQIhAc^yOxGEcKQ?hPc^IShFydGP|g{c\iN@FmbmPyiH?DgBC@]?l?W_JoEwBK@i?r?Z_LTH?Bc@y?z?[_NOFYStIadNSiIQTIqclQohLSfITTIQddQ_hVSQINTDAcDPKg~S]IItGAa|P{glS`IKTGabTQKgrS[IOtGqb\PshDRIhdsrIXlK}e\SEIRtAAdLO[hPSBIQT@QctOOhJS?ILtFQ_TPogBR|IIs~qa|NwglSXH|S}qbDNogtSQHztDA^LPKfpR@IFtCQW\KGg`RCIGspaaDKSg^SHHyTAq]tOgfjRpHuS{q\lNGfVRgHvS{A\TMcf^R^HpSwQ[dM?fFRdHmSxqZtMWezRRHksuqYlLgehRPHjssaZDL?elRFIESqQ`tK_gZ?N_EoBg@k?}?\?I_EOAw@S?q?VUF?GOCgAK@A?d?PiFtCYaD?E_FOAgDSBI@\?u_^OMgHsDYAdWwkPUNJCtbQo|WgkZUKJFtaqptV[kDTuJ@t\QoLWGjtTwJ@t_QnLWOjvUEI}t`QndWOj|U?JBT^qolXcjdTsJLteam\Wgj^UKIwtaqmDUokNTmJCtZQpDUcj|U?Itt^qlTV_jLTyIsT]Qk|VWjFTvIqt\QkdU?jvTaI}tWQndX?izT^JHTVaqLT]irTWilTVIj\TOkrTUJLtTQrTX?ibTRJHTcQiTSwkfUTIgTRqqdXWiVUWIetdqhdS_kfUTIctQaqdXWiJUWIbtdqgtRMhjSsiZTMIe|RmhtSxi]tNifdSGhZTCIVtOqdtR{h`SqI_TOQeLIedVQihYSkiU\JUdnQuh\snYVd^cl\VzJWT}at|[KnbVDJxTpA}D^cm@VAJ|toQ~T^Gl~VoJ^T{QvlZgnfU{JyTmq}lZ[nlVwJ[tmA}|^OlhUuJyt{qulZCnlVwJXtka}|YIlHUbjRThyslYalTUhjTtjYtd]smvVnJmtzazd\_nTVYJuTuQ|\][mjVVJsTyQyt\GnBVbJiTway\]Om^VeJgtxQyD[om|VMJoTrQz|XomRU]JdTfQx\[Wk~U`JcTgAw|a{nxWpJ~UKA~lacpFWdKTuHBDTaWp@WfKOuIBCT`CpjWRKZuCbEt`?phWNKXUBbE\`soVW^KEuFb@d__onWXKDUARBD_[olWEKIU@RAl`goDWCKMU?rB\^{pXW@KVU?BDldc?~?`_OOFwCKAAb`Pqgws[yMlFQh~T@i_TOigdSMrOXaktEXJLHeMq}XdkreWZKpeAqwXaknEXJJheMq}XXkleWZK@diqkXXkleUJIxdiqwXUknEUJJhd]p{XdkreOJKpb}puXgk]eYjF`eeq_Wwk\ESjIHbeqeXLkieRzI`cyqSXCkbERJGhcmqMX@kceOzH@cIso?S_HoDWA[@Q?jS]iOTFyc\QEhDR@h`soiWdKYeJVfjstyI{d]YnJV`jptwizt]Am~VEjcTpyxL[mmTYxLRuiRV\i_ttYuLQUmBStj[tJY`LUugbTtiKt^YiLOujBS\iktDYrLNUlRSDjOs~Y]LWUgBUTh{tbYZLRufRTDicsxYWLQUebSthctJYULKUdrRThSsrYTLLufRQ|hWsxXjLFuZRQLeos`YuLEUmBPtj[sZYHL\UabV\gktrYlLBUaBT|g[t\YrL@ulROljOsHY?LWU_bUTgCtbX|LTU^rTdfwtVXyk}U]zM|ferpYQKyUdBMthKrjXrLGu[RP|fGs`YQKvUdBMDhKr^[IJ@T_yoLWQkLUDkMuFzBt`ioxWZkKUEZA|`QolWTmEfCz`xpUw[[SmEfCJ`xpIw[[PmKfAj``pmwU[YmDfEJapoqwm[IlrFCz\@pUvM[SlpfEjbHmQwuZdmJewj[@pawkZ`mGEvZZxpIwaZ]ljuuZZDlQulZTmBesZ`HlMwOZQmAErj_plAwIZNm?eqz_XkuwCZKm?eqJXPoMuQ[Alae~j_@kYuMZ~l`E~j_@kQuEZ~l^f@zWHoeu?[GmAEnJVpoUwKY|lye{j]xnQvkZrl{ezz^PnEvoZoluE}z\pnuvYZ{llEyZ\XlqvSZZmqFTZi|tYyd\SmhvHrkLuKxL[dMpVHBkTuKxF[aMovVbb|qCz@\^MOVFBjtpwz@[\MnvUBgttgyN\XMcVOrdDsSxT\CMSvUrgDsGyz\[M_vLrfTrcxx[wM\vNRedr{xl[}MYvKRhdswxf\LMXVJbh|r?yb[nMgVQRd\qsyV[kMdUbzQLhAsdYSlHvcRmtxGzn]RM{V_jodwMz~]@n?V^Bptx?z|]NM}vcRk|xKzR]QMsVXBptx?zL]NMqv]Rm\vkzj\yMyV`RmDw[zd]EMwvarllu{{Z\mNEVaBlTwgzX]HMtu~j_Dn}wB[Bm@V@J_loYwN[HmCVkbqdzO{l]rNIvmBt|zC|t]oN[vkbtdzO|\]rNUvmrtLzs|V]{NTVhbuly_|n]fNZVgzslyQ|D]_nOvfRulx{|n]]NZVebv\xo|z]ZN]VdrvDzc{r]WN\VVjkDt}zB\bmpVuZz\|i}l^WnjvvBxT|w}X^\NdvvBw||w}R^\NcVwRwd{W}~^_NavvrwL}C}F^_N`VsRvt{?}`^QN^vsrxl|S}^^SNfVwb}L~G~H^rNpv|B|t~W~`^tNvvyB}|}g~r^hN{Vyr{l}[~Z^kNrW?C?]?H?J_@OAV~r~T~w~x^|N|uTjJDd]vhZqlxuzz]LnAzP\hmrvXJktuU}`^QngvrZx|{z?{_WoOGEkBy@f?i_ZoJgF[Aq@r?o_QoIGEkAY@f?i_PoJgCKAq?~?W_QoIGBkAY?v?W_OoEgB{@q@F?{_EoCGGKBy?^?Q_ZoDgF[@Q@r@}?F_COAZQlhYsn[vm[vMJedrYxj]YnMVezq|xe{p^anqVwz{l}]~L`MOgwSCI]C|Ad`JOiWTcHmDTAX`MOcWQcIEC|AR`JOawRSG}CpAL`AOcWPCHMChAF`BOawOcG}CPAL_`O[wGsF]AH@t_uOgwMCI]B\Ad_rOiWLSIuBPAj`@OXWNsEEC@@b_~OUwOCD}CD@\_iO]WJCFuAl@z_xORwISF]Bh@P_cO]WHcFuAT@zaF?AO@g?mG\BN`gPCwXcPEELCN`cPCwXSPEE@CH`aPBWWSOmGDAzaBOnw_cJuGPAtaEOmW`SJ]GDAnaBOkw_cJEFlBj`vO}w\cNeF`Bd`yOxw]SMeE|BR`jOww[CLUEpB|`mP?WZSN{?]?R?G_Co@w@EJDD[ahpWGikTyIbD[ajpUgkKTyIrC}ajpUgg[SAIrCwagpNGikRiIfCqadpLgh{RQIZDCaUpKGhKQyINCcaIpEGcKQIGnCYaRpFgd[PqHQ?H?E_Ao@G?s?VEc_xo\wMkFeBz@zbPPcwsCX]K|ETbPPeWrcYEK|EZa|PiwnsY}JxElbEPeWrcXEK\EZbBPcwpSX]KPETbQP_WtCWULLEBazPhwnCYeJhEdbTPZwmSY}J`ElaqpWwk{UeJZDja@p@w_kOmGZCHb]PzWwC^EL|FnbhP{w}s[}NhFPbcP{w}s[uNhFJbuPow}C[]N\FDbXpkWukZ]LvExbrPuwzs]mNPF\boPtW{c\eNDFVb{QFXCC^uNtG^cDQDx@s`mOXGXcHQ@XAC_eOhGFcPP~xCs_MPHG@c\QLXFCb}PlG|cSQJxDcbMPTGpampVwkK]]NVFhbopxW{[cqQzHOckqRhJ[cqQfHOciqRhI{cAQrHAclqPHJkdIQNHUcdqTHHKfqLBEbbNqDxB[`eOjGRcGq_HPKfqSZH}dDq^HOkgASNH}d@qWhM{faRBHycnq_hMKgQRfIEcyqYhP[eySZHkdCqXHN[eaRnHwcrqmHRCjMSlIvdIQlXPsj]SdIrdGQlXSshuTTIZdSQfxTciETHIpdVQgxXSjeTxJNd\QrXWCkUUDJHd^QpxN[feRnJOdmqsh[KlQU~JUdnquh[KlaUzIrdZqlO?SmyVE?EdxQxX[o?QVbJg?AQzo?SmqVfJi?BQ{^