CAT(3024,9)

Sparse6:

:~?nO_?O?G?C?g?H?H_Ao@w@C?Y?c?C_Bo@W@K?Y?P?c?H?DGAw@M?i?U_T?EoBs@o?~?_?MoBG@k?i?V?N_FOLOE[BM@f?s_YOLGGGBm@z?}_^oOGFcCsAR@G_doQgHcC]Ab@Q_eoRgICC}BI@T_hoTGIsDaAn@m?`OOWG[CQAL@D`B?[GM[EyB^@q_woZgM[E}Bb@q_wOZOKCEkBB@a?toX?LcEsBF@^?uOUOKsDkBN@Y?sOV?LKDwBT@d?mohoEkBY@l?v_ZoLWFCBi@p?x_\OMWWGJQDfAr`YOlGU[IeDNAk`SOiwTSIqDTAj`SOhwTKI}D`Al`XOjgUKIID@A]`OofwS[IQDLAc`QohgSkI?DZA`@VOjoSSJ?C|Aq@PokOR{HaCrA[`LofWRSGYCPAJ`BoagPKGuC`AK`GobgP{FkC@AB?}O`ON{FsCBAC?|O^_OSHGBhAT?yod?MsHKBn@x@JO]?Q{AM@B?a_QOHgCkAe@P?faT?JWD{Ay@`?q_WpL_D[Ai@X?l_VOKGEKBI@^@J_coQGHcCiAN@}_~o^WNSFqBvAB`AO_WOkGACDDbAipTgiKTIIhDRafPRwhkSmI`DKa`@QGfwSUI?DEa_`PwhOSQIQDBaDpAw`KOeGTCIaFPBG`kOuGXCMaGPCWaKPAG^CNaHPDGa[PUGnCUaIpDgaSPMGnCSaKPEWbSPaGtCXaLpFGbsQAG~C\aTPJgd[QqH^ClaYPLWeKRMHdCoaQpHgccQ]HRCga[pMgfcRmH|C|a[`PGfwRiI?C{a_`NWgORmH{DBaZ@HGeoQUHmCeaS`MGd?RaHmCfaT@KWeWQyHUCoaY`Jwe_QqHYCqaf_rwYOTAEaDK`g@RWhoKuIUBMag`@gioOMGGDRaB`Sgi_OaIiCD`|o|w^CNqFtBx`w`GW]_QEFeCa`x@Gw]oQMFiCaai?tGYgTMEeDP`j@SgioLaIiBV`lougZkLyExBX`o@QGhGMIFADEaa_ww[_S]ISB^`\`GGV_PmDyC[aM_ngboKAG}A~`}_qG_?KmEMB}`~_rGXGOIESC@`a_zWWoMmFWBA`__zg\wKQEEBo`t?lg\GJeDoBd`s?lwVOMYFMAt_LOEGBC@e?t?XcJ_CgA[@Q?j?U_JqGoB[@q?|?\_NoGHGG@m?x?\_NoGGBsPaGtCXaJPCga[PUGhCVaLpFGbkPyH@C^aOpGwcSREH`CraYPLWeSQeHPCeaQPHWc{Bm@x?|_^ONwGCEmBZ@k_lOUWJsDmAz@[_pOWwJ{EABH@``eOpwX[KaERBI`eosWXsK}EdBO`zo}G^KNiFxBz`uOyw\kMyF`Bn`hotWYcLYEpBV`lovGZKLiE|B\`qOvw[CMEFDBb`ZOmgU{JaDjAx`YomGU{JiDrAu`\onGVsJ}E@A|e?A}x^SnyVxJ~d}qs`YckwUrJTDfqt`YCl_UfJVDgqx@ZSm?U~J`Dmqw`Z[mSUxJbDnQxP[smOVNJ_Dsqyp[SmCVTJbDsQ}@^SncVxJxD~Q}P^{n_VvJwD}qk@]SjSVhIpDyql@]{nKTdJuDXq}`UCjSV|JzDWqk`^{nsTfIsD}Qj@]CigVXIlDvqz`T{iwVbIjDuqe@[shcVNIYDsqep\CmkSzI[DtQiPP{goTHILDSQb`SkhCTNIODRQ``YclSSNIGDjQaPY{gkUrIIDkQ]hN{fuR|Hzc}Q\@LsfSR^HuCwQ[`M{fKRrHwCwqYxLceqRZHlctqr`KkecUfHfDgQrpKse_UbHiDhQW`XCkgRFJJCoQWPXKksRHJKCnq^`KKeKRtH^C|qX@Ncf{RDH|CoQV@Q[dsSnHXDHQd@JshSQtIUClqT`ZSdWUxHVDnQU@Z{d_UzHVDlqSPWckGQjHSDbQopICdGUNHRDaqQpVkcoTxHMD^QnpHkkCQ^J?CdQQ`]SckVhHKDyq|pHknKQ^JuCfQPhGScEQJHBcaQNPVCjWP|G{DZqMpVKb{TtH?D\qMPXKbSUPJLCZQqpFSkgPpJKCZqK`YcbGUrJVCYQtPEclWPfGrDkQwPDsb?VFJ_CUqw`DcbCVHJdCVqz`DKacV^JlCTQIp]Kn?PVJkCTQHp\sa_V`JkCPq{PCcaSV^GeDuqFPTk`{T\IiCOqipBsa?T^IkCPQF@S[h{OnI]CKQg`BK`gTBGZDOQdpAs`OSdIRCIqd@AS`CSjIUCHqJPOkg?P\I@CUQK@OSbCSHIBCVq\@BkfSO~HuCPQ\pCCaCRrG]C{QPp@[c[OXHGCEqQP@s`?QPGNCcp_pW{WCUDEDDbP``WkWGUFECDaPbP[sW{VREMDrpc@\CmkKbEQDtQf_q[h{KhI_BIpd`SKX_TFEVDPQ_?pCWkSBIABCq_opSW[SJEKDAQD?nc`WJzE?CHqC_ns`CJ~DzCIp\PC[VWPHGdA{qH_m{a_JtGfA{Q@PXs_WU^GFDgQA@YK_cUdGIDhqu_~{lkOBJ\C@Qv`?[_?U~GCDmP}`W[^cUDFzDaP~@Wk^sUNF}DbPfPFSXcPlGtBMPepFCXwPrEYCZqbO|k]wS\FoDFp{PQC]{SbFqDEPxpJS]_QrH]BtQV?|cdsNRFjClpxPTCicNLFcDRpwpSsiSNDIcBoqMoz[boMxG|BmqN_zsb{N@H?BnqOOykcGMlHBBjpu@GkcWMtFXCaPrpUs\?TnFPD[Ps`VK\OTvFRD\PfpVkYGTxI~BQPgPVskCL@J?BPql_skj[LLIwBRqmOtKY_TvIyBTQSOtkYkQ`HQBWPj`I[YoQjEnCiPnPVkZwTxFAD^pnpVskCMBJ?B_Pop@k[OO\GNBaqC?ws[_OVFFCEPkPMCZGR\ErCvq[_ucfKLlEtCwplpKkZ_RLHfB[qY?vSegLxHhB\pZpXCV?URJKAyQq_mKksJdJJAxpY`A{UkOpDkCKqE_lK`kJ\G[AupXP]SUWVfDbDyPXp]kn[JPJuAqQe_jsT{SxD_DKqe?jkUGSzD`DLpTpOsT_SNIGAkqaOjSgkIxIIAlp|?xK^SMTFJB{Pr_}{^KMXFLBzS_oCSAE@F?b_POGYQO@A?`?P_GoCGALICPXGncUqJhEKbAPhGqcXqLhEkb]PpGyc[qNXFsb}PvH?c]OfwRsIADBAa`PoOgGKCMAH@E_aoTWIsD]Ap@R_iO^WNsFiBv@~_}O_GOKGICFAD`AO\GMkFaBr@u_zo\GMkFYBn@x_{OaGOsGeCVAF`DObGPkHEC\AO`Fp\wnCVYJrDyayp_WokWYKHEBb@P`wp[WeKTEKbCPcGp{WyKZEQbGpcwqsX]KpETbIPfWrsXeKtEZbMPxw|C]eNTFkbtptgzC\UMtFVbkpfwsCYELFEcbPPigtCYeLLEfbQpiwtkYyL^EobUPkWu[ZULhEqbZPZWlKUiJ\DkatpWwkcUUJLDgarpTwj[TqIrDWalPVGjSTmIpDVakpVWj{UAJBDaanPVwkSTuJ@D`anT\ahDSeiTTEidtPym@RihyTqiwdMym`Rqh}Tri^D\YlPRUhgTjiuDLylhRehkTnivDMIdpU]heTgiqDJykhREjQSoiXDXijpQmi}SliSDWIdHUEhSTbipDJIapQygmSniKDKIbHREhcSZiXdEihXN}gCTFidD?yh@NyiQS@i?DPi^PTIieRwh}DTii`NefyTTh|dTycPNihERwiRc~Ic`NefySdh|dHi]pUUfcTchxdXi]`U]jQRvhydYIaHN]fgSOiIC|Y]PPMfeSTiHC|i[pUyfMTjiuCyYlhMmjSRihsDZy]@MIfaR`hoCzi[hM}fWRchucwyZPOYeuSGhnD@I_xL}ewSHhmd@Ye`Kye]SthgDLiYXRaeaSvhhDMYa`KMeGSPiHCpiaXKIeISThbdCIW@TAdwTKh]dRYWHTEd}TMh^DRyjpJYi}QviocmIVHUIduTbh\DWIVXQqdqShh\DIyd@J]hYQuiTCmITxPYgmQiiKCiybHIqd[SZiLCjYR|IAc|Q]hOSfyRlHmcpQ[hKseib`HIgyQRiNCdIbxHUhAQViOCdiPpLYc]RXhiCbIPhLac_RVhGctYOXGicGQHhBCaYOhGicMQJhCCayNxTIimP}iiC]iihFmieP{ijC^YLpUmb]Tkivc[yM@UujSPqgwdZiL@S}i_PigudRih`EebWTPiecYyg@DqiCP\i_cVighD}bATCi`cWI_xDaakSCiCCUY_pD]asSDiCcUy`PDEgWPQggDAy`hDMg]PTiFCTIGxTqaITYgaDUIGpTeiuPHgcDVYGHHYaEQTg^cdyQPByaCQSg_CcyTxB]dSOqgZCiyEXIq`iQlhVCLIC@Oi`ASJgPDBICXOu`ISNgQDBiA`Ri_iSzgJDNIfh@]h}OXi^CEIZp@IesOMhlcByZ`@Ae}ORhmcCYjp?a_QT^gDdWY@`UM_YTagDDWIRH?UcwOChLC@iRh?]cuOBhKC?ijG~m^kTWfzdUh~@Tm^qT\f|DVH|PKa^URHfuCqh|hKm^]RLfvCrH{`VA^ITrfrD[im_}]^QTtfsD[XyPJA]eQpfiCkhyxJM]kQtficlHx`KI]YRBhaBriWg{}eMNPhbBsIm?{Y]MTqfcD[xxHVEjiNJiyBqiPw{U]?QKhEboYPo{IcaNChGBoxu`SA\iTDi`BmYgGzY\mTBf[DPIk_yU\MTgfRDXylGyQ\ETefPDXXr`Ki[yRJfNCqYX?yA\ARLfNcrHpHQAgwMFfBDFYbowahAMCfAdFxnxGAZ{Q?h@B_YOOwA[EQ@f@C_XmPMAZeR`eyCwhmpMQfILveycwySwuqZaQhewCiYT?uuZ]QfhSBZi\OuifQLjhrBXi[wu]ZORjhsBYXk`IUZ?Q`eocgiSWuIZIQchRBWxhpTaYaTXehDUhiXTmY_T\efdVIcOsIYESbeaDHHghQUYMSeiRbPhf`IEXyQahPbNiS_r}dKL@hQbOH`xJqdyKPeFCnxa@KEWWQ}eEcoI\_pQWeRlhwBDhaPMyWmRpeIczxe@NyXcS?eWc~xeXOEXiSBeYD?iOWqQcGKdhBBIIOgqeXKQGeRc`yUGpyXEQthWBGYUOqAXCQrhYBFxbhLYWwRXeLcuHb@LQWqRVeLCtX_@KyWARNe@CsH_XLEWIRReACsiKPCiaUPbgeCXIHhEUa]PfgfCXiBPAY_uOfgMCIIBhAe_}OjgTCFh_o~qWMN|f~BAH~woe_AKJg?BAht@FQ\QPtfTC\iMwymbqMlg{BjHq?~A[aNpfHB{h}WxM^iMSfyBdXzowq]}MJfoBbh{Gw}^EMLfDBwhn?zm\wLxe|bnXn_z}ZyMye|Bnhjgx]YsMUelbeHj_xe[uL^enBeiD_tU`YLSgVBTiDwt]`aLWekcKIF_sq`oLGg[bQYFOsi`yLLg\bQxuOriXkMofWbLxfWyyXqMre[Bjxz?qi]yKmfkbIxzOqqX]NZeUbvGBS@a?r\O?DoBG@k?y?T?NhDsaYPTGAcDQ@hEScYPlG}c\QOhNsgIRtHmcpQ[hKsfYRSCuA^@O_fOSWISDeAx@\_loVgJSEiBJ@e_roYGLKNEFdBr`yO|g]kKMEBBE`aOpWWSJmD|A|`_OnGV{wQ[JMEfBraXpCsyY`LRegrShh{sIYJLFeaRPhg[oAWHKDe?r?h_\zK{H]BnAv`jpDw]|Y\vnVF]JnHy}|_\ynXF^JuHvmzG]@m}fWjnpuIzE\~mpf_Jk`wIyo]InDfTjp`t]{Y\VmkFbjpHtY|M\RnSFSZi@yeyg]knTFTZiPym|aWOnUeBJuP`Eo]]mkFFjzu@_uxo]lm[fjjfPy}|_[znWfNZuPrqxm\XmlfKzjXrUys[smkfLjjPrIxK]TnLFHzd@xYxQ]XnJfIzdPxawu\kmLFYzb`uuz[[\mwFFzlxpyw?\\mnE~z^puEvw\^m?fWJj`nuvA]EloF`zZpwMvE]GnAEwjZxwUum]bnOesjYhyQ|CZRnREtjY`yUuK\wm{epznPkauQ\{ldf\zXPvmuA]\nMEpZWXx}{uZAnNEpJW@yAzaYymxEmzmXjqziY|l^f\jVpvQzeYpmwejjUXvYziYqmyEkJmPi}{{YbnMehjrxi]{uYanOEhZr`iQsxY_lMugZRth}y_YUmgedziPhayeYXmieezi`hisS\JlDfRJhhgqy[YLmfebjPxsi{iYCnJE`ZqxgYsM]WnLEaZP@xepG\[kQfVZCptypM\^kSfWZD@uA{YWbkNFaZBxwip?]JkPFbjCHwqoi\HkHFQZgx`]yOWUkHfQJgx`Q{]VsnGD|ZqH^]no]QnID|i~HxMzKVimsDyI|hu]zIVhmtDyzlH]qnC]fnSdxy{pyqnE]gjqfiy{`yiy[V\medwYz`sqm{\IjoFQzhx\}|QVJnRdqixpyim]]jjeFjIxhya{]U}nGDnywPxM{aV?j`fdIwHxIyKUzmbDnIvHsUyGUymadnYv@sQz_UdjQFYys@uuz]UbmvDgYsPuqzyUYm~DeznxXq{?U\n@DfzoHXykS]ejCFgzshWqkU]cjEfgjsHWezIT{mrD^ZkxVyj}\gj?fYYo@uix_ZrmWe|Jd`nAxYZplyfJzdpnIvSZulte|z\xnmvYZylvE}Z\`natOYOlSecZQhiuscYilIEjJQXimuWXYklerZJ`kyqyZNknesZJplAqiX`kkeXJIxeMqgX_kjEXZKPdaq_[IkhfAZ`XdEqc[LmEERz`@cypwZck]exZFpmep}Zgk_exzG@mYrcWukxeLzM`barmWxk\e\ZFPfYpcY@kWE^jO@bUpaX~kXe_zE`gIrQW\krEEJBHe]osXgkLeYzB`eioK[}kBfNz@@sAoQ\@m`eAzgP_iw[W?mFe?Za@_IoE[PkAfCz?`pInwXwj~E]jN`^}ryVzj}e]y~PfetgVolYd{Y|pjYn]YvjxemY}PjapSVUkVduyyxammoWkjlEJYzHaym_XAjgeOyyPcQqIVRkbdtJGp\UmO[TjaFDJap[UwmVEmKdqZb@[]wCUqm@dkz_`ZQlm[FjZF@j_hZUlKXkjReZYt@eylQXnjTe[YtPfAuoUSjIeuYqplikmZZjKevYr@lqxIUQjGFGJcPW}xAUPmPdbjc`XMlWUAjUd`ItpWUl]UFj@dkYu@WYjkXGizeQYn@cijqXJi|eRYnPcq?H?D_BO@w@K?a@N?f_SOIWDKAayN\HmcVRZhTsqyV\NmfQCXAS`MOhGUcIqGhBk`yO~G`cOQIXDSamDHAe`QoPwHCCeAT@K_dp]wncVuJ|E?a~tzi||^In`Vrjwt|y}l^anhVuj{t]Im|VmjlTxi|XWCfaTjI}d@q]hU{jiRzI{c~q_HVKeqSzHkdNqZhSKiYRbIccwqZhS[eIPvGucoqMHK{eaP~Hic_qXHFjyaPy}kc_nihFzyIPm}cc\qMFs{aiORGIcVqJH?{`APfGKcYqBhEKjqNFFcdYpxhU{]aTrIybuqng|[aiMnGkbkqJgz[bAMzF_cYpvhE[[iQRFKcdqRGx{cyMbHQbiqSGy[jAMFFGdUqkgwkiiMNImb^qiGwKgQIfIEaiqaGi{giIrIMampUhPkfaINIAagq]ghKfqIVDKd?q^gh{RiTrC{dYpNhU{jiIBI}a`pPHVkKQSnBGdKoohQKKiSvIQ`eophQkJqSVAudAooHO{JaSRIM`\onhPkGYQjAGcjobhJ{GiQrH[`GobHJ[FmCB@|`@o^wOkcIAVHC_eqOgH{DQQNHE_goShGkdA@^HK_UqRgD[dI@b?gcdoHhHKdQ?^?OcjoChJK@QQv?WcnoDhJk?iS~Ic_Co?hS[iY?Z?CdOo@hRkh@~n??dKqcf~J~qSi~}dLn}hQz|iTbIm^mqjFzJ|QTfIg^jnshT[eH{U}KcqnbhKzxARQ}SctnchKKfHzfHs]yn]hMzvYRe|wczn^HMkZIGnCWbYpEgu{PqLrC_b]pFgv[WyF~EOa?p?gq[OQKjCGbKp@gq{^iFNF{`sp~g\[MqOBBocAozh?[aYFFBYcNqGGZkaIE~Gg`qqHG[KIiKFAkbAp`gT{WaDbEK`YpagU[YYCfASbSodgt[HaLZA[bWoegt{TyB^D__wpWgM[UQBjDg_{pXgM{IABFAa_qoZGTKIQBN@g`RoYgR{VABB@UatoUGlkDiJ^Ds_mp[gJ{ByJn@?a{oOgn[CQJz@Ea~oQGoKOi@fCK_YpBgE{PA@r?{aIpCgF[Qy?vCo_MpKgB{RQ@BCw_QpLgCZ}iE]~k`gnzgYZ~AEjBW^yotf}Z|yKvE[^opff{Z}QLA~gbQnxgsZziFe}{`ynng]z{AFq~C`}nog^ZzaOq}ocLnkhBk`H|^GU^YqDFuz{x{u~I^OneFxJ|@{}}U^enpfrjvyHE}?aQn_gczwQHQ}GaUn`gdZvANbFs]rnYG|zuiNfFw]vp|flgF[By@~@?_]ONWK[EQBB@__pOVzvDzM|h]tnZVl|NQfXRFhvSqY\DKUeTRphfS{yXdMmbHRrgrSzYLdNEfTPngsSzy\DEme`PXhhSUyJdLUa|RZgpSuYKDL]eTO|g^SqYXdBU`tRFhfSLyFDKU`dRXgSSuyYDAmedOlhjSJyEDLUfHOBf{Svy[C~mfDN|hrS?X~tLu^@RhfqSzX{tM}^DRjfsS{X|TNMWPR\eFSvy[couWdRbhrRAy[CpEd@PLhPSRySdDEdLPRhTSTyTDDU_HO\gBSFy@DAE_TObgFSHy@dAU]|Q|h[RtXzdKE]tQ~h`RtxzDJm]PM|fbRsxxSz}]XN@faRsXwS{}bxMdg~RhyOCyecDMjfVS`xtdGU[pJddrRex\CxuVTM^dvRgx\cyEcPMLhDRbyPcxEc\MRfJScyQCxU[PPzf?S[YMSwMbhMDg{RayMsw]ZhOPgLR^XnD@MZlOTe~SEXnT@]\`L\fXRVxucuE\lLbf\RXxvCuUY`LhetRSxicuuYlLnelR[xjCvEYPQZeaSdXgtH]c|LNedSfXhdHeX@QlePSjxdTJ]XHQpeSSkyUcq]aTKXgcRExbdCMWhP@eNSPYGsp]VdNlfyQ}X}snm^\JtfwQ{X}Sn]UpKxdlRMxZcruY@Jbe`QwXfsl}UdKFdiR?X^sk}VxJLdjR?xYCoUXXJ@eVQoxeCkUULKveYQqxeSkeZjLve{r]xn{vupXWFkVT~Z?TbEn|WrkAULz?DbUhHWliRUJydDbEhTWriVULyddbUn`WHjxUAy}d_unlWNj|UCy~D`ElhWdj[UIYvtaEpDUvkTTmyvda]ihU\ijTfyjDYEitUbjRTVyjdYUk`WTjHUDyrT`}khWXjJUFZBTXejXTxi|TZyndVEj|Trj@T\yoDVUlPTHjTTQytdSui\UnihTkyiDZEhxVXi^TuygD\uiDV^ibTwygd]EhtTbirTLylDRMh`T`i[TXYlTRUgpVLiLTrybd\EmlS`iPTtYyTP}gXVdiFTxy|DPEnTSRjvTDy|dPUmTSJj_T?YwTOMmHSDjbTAYxDO]kHRthzT`y^DWeftUJh~Tby^dWu@~@B_coOWGkC]uLZdlrUnZ\Dj}v@Z@ltUozWdmMr`ZfltUYz\DeerXZdkxUwzLtmEt`YdlXUhzUdietlYjlVUmzVDiuspZTlLUtzRdleutY^lnUgzZdiEuPXtldU\zXdfeu`X~k|UszXtfuqxYLknUbzKDhErDYRkrUdzKdhUqHXPkbUSzHDdUqlXJklURzJDcusTWzk`UaZFtgEq@YBlAUNZOtbeyP[^mMVOZctsUyT[dmOVPzcTsMx|[XmYVDZfdp]xl[Zm[VCZfTpMvp[DmBU}z`DnuwTZ~mFV?z`doExPZllxVJzdTm}v`[llzVKZeTnUyX\pmfV[zmdtEzl\Rm|VTznDtUzH\XmrVUzlDtuy|\jmpVZzkDus?D\{nCva_?dv}{W?En?vb_?dwK?D]QnBvc??twV