CAT(3024,1)

Sparse6:

:~?nO_?O?G?C?o?I?H_B?AG@O?]?o?R_IOCg?c?Q?H?j?POHGC[Bg@P?i_SoIoCkAs@N?k?ROUoGcCUAF@E_cOPwGoCeAO@J_b_QgEoCe@g@I_Y_QwEwCe@q@I_[?QwGOBA@]@?___JgGOBIAA?r_W_OGGWBuAG?}_a_NwFSBq@v@~?[OMWE{Bi@x?z`S?aGPKG]CMAA`A?aWOWGaB~A?`?o]wNKFiBr@z_|O^GNkFyBz@{_~OaOMsG[Bn@w@CO^oMsGCBn@w@?OTGISDMAn@U_ioUGJSDeA`@N_goR?OSGOA\AB?eo[?OsGWBdAE?woZOOkE{CJ@m@AoXGKsEUAv@\_mOVwKCDyBQ@j_r_ZGL?EiBE@s_p?\WMWEE@B?`_OoEGBS@e?n?U_Io{oBsAA?~B{?LoFWBc@m?x?\_NOGGB{OwBx@}_}oUGJSDeAn@T_jOTGI[DIAv@\_mPNOd[QuHXCjaUpJGc{QUHLCgaTPIWcWQQHCCcaO`HGbcPmGtCVaKpEG`sPAG^CJaEpBG`[OuGXCIaCPAWc?OUGMC_aO@@gdgOIHWCCaT`?wd?OYGMCiaS`@W^gP]F{CX`}@EG^wPEGcC@aH`?G`GPYGOCSaD@DW^wOyGACOa?@Bw[{MeFPC\@rpFo\KPwFPB{@xo~O]kNwFhBu@uo}?\{N[F\CC@|p?o^KOGFtBp@|O{_^[NcF`Ad`RohgScIMDDA^`OogGboHmCqC^aM_egbwHyG{A\aM_fGQoQYCoCfaQ_dwQ?NMCcBt`G_|G]oHQCeBw`z_dWd?MQFKCiaS_xW[?QME}C``n@GgZWNIEyBo`w_vGZKLiEpBTAQotoc{LWHLCS@fosOasL?GjBH`dOqwX?MqEKBj`b_ygWgMyFYBC``_zwW?PiECC[`_`EwVoPEGeA~aH?nWUsJQDjAr`WokgV_MiDsBk`\_ywTsI}D`Aj`UojGT?QEDSCb`S`GgYOMEEgBb`h_wgX_GuC[BM`F_rWUwGqCUAx`D?mG|W@A?^?Pb|?BW@c?y?f?Q_IQ?o]sNaFnCGaDPAW]CNEFd@?__oOgD{BA@\?s_ZOLWE{Be@pAQ`GocGSsI]DJAU`KOdwS{IYDJA\`NOfGPcGmCTAa`QOgwQkHQCfAM`EobwR{IADBB^`oOvgZ[LqEzBM`eOrWUKJMDdAs`ZOlXLWdMQbHQclqVHJSeARBHaceQQxHkc}Q`HMcmaWHJweIQ{H`chAXhIGeYQeHecraTHKwdYRMHTckAWxIweUQqHccpaUhK_dmQwHdc^qOXGCcMQHHAcfAPHGWdAQCHNcmaNXFod}PwH]c[qMhF[bkQBH?C[qNpFSbaPnGucTqJHDSbMPhGtcWqKhECa}PZGmcRaTHDGdYPOHTclAHHJ_aYPIHZcXaQxEgcuPgHKcNAGXBwaMP?GacXAGxE?aIPaG`cJqDXAs_}ObGOcEAJX@oa}OYGmcIaBHAo_uOmGMcCqAx@SdKOPHQCBQSP?{boONG}CCQ@`Fk_IO@G@b}p~w~s^iNvF{b{p}G}{d[O@G@CkqU@?Sd{NjH\BzQV_}c^GRDFpCoP{pKK^sQJHEB~QPo~{^?QTFmCcpzpHC]kQ\FlCgPz@H{^CO|FrCOP{`B{]{PLFmCQp{@Cc`sNPGZBtQF?|K`?NRGPBtQBo|C_SNJGCBrpx`?[]OMxFbBmpv_{S^gM~F{Bop}o{C]SHnFfA[px_fC]OHtCzBpPwofcagMnFWCUQIoys\KNVFSBuptO|c^cMTFvBePqo~C[[NBFHBoPq?z{[OOrGYBbPpPBCdOMBFACipopIsZmLzE{bk`lWuw\mMsEucR`jwu?aePOEpbUAQGtociLYHHcb@iWtWcUQMEibPaCgsg`QLGGRbOPgWsS\oKzF]BNpvOrsXoRJEYCqPepK[XYKjESbHPcwqK`GK`ENCIPb`A[WsOpEKCKpapBS^OKTFuBCp|OpCWGQnECCkp_pJC_cJ~E@CDp_@@S\cJxFZA~Pu_nkVWQJHFAzqP_nCVQJjDravpZWlsUKPpD`CZPW`E{cgI|D_CcpVpHC`kIvG\AmqF?jcSsQZDMCdpR@HcSKOFGDAaq@?gcROL|CuB_PLOv{X[HdCrBKpe?eKVcLdDyBYP]ou[UgMZDkBfpYoxsUOJNDeAspXOlCT_H\DXAWPU_d{TSM`DVBhPT_yKTOLpExAhPm_i[ScKJDJBBpQ_osSGLPD@BRpO?ssV?HzC~AxPN_mKT?ILDPAbpRohC?m?V?J_Ao@w?s?a?T?HfR?DwAk@Y?t?W_Kpvgzc\uOBG?c@P}W}{^aNjFubyPzg}C]}NPFibspuwzK\iBl@w_zoHwCsAU@R?i_SOIgDCAeAt@X_kORwIKDAAZ@K_fO[wMkFQA~@__nPJgd{RAHrCva[PMgf[RqHbCraXPKWeSRMMTFKbdppwxK[aL|E~b_PoWw[[IL`EnbWphgs{YaKVELbEPTwikTYIvD\amPUGjSTeIfDSahPSWiCS}I@DAa_pPGgkSM`eOdgQSHiC|Ae`POigUSIyDtAu`^O`FzsGp~LAG^pNsGUr|aD{~S`\OjFwSI`|tAo^^O^FoSG@{K|{_|ODFmRva?[|s_HNRGLrtQBk|O_xNQFxrs@}S~C]bNKfdrqhxH@i]MOWfcCEXw`@E_]NEgGBpXw@@m\{O\f^cFICwzm\wOhf]cIIDOza`UMygUBmYAwzY_iMvgJBlY??zY\iOAg?blxuO|q]yMsfnBkyDgy}\aOngVBkHt_{}][MmfebjYBwyU\EO]gOBhHsP@I_gM_fOcCxrg~i[}N{fNB}xr_~A^]MYfLbzhrg}m[}NlfNBzH{Gxe]}MVfoBeHqW|][aNUfHBuHq_|Y[kNWfIbtxso}a\ONifRbyXpG}I[SNcfCBwxq?we[OMMfDBbxygem]eHlfiAZHog}U[MNffBBxhswwQ\KMBfSB_hn_{iZ{NKe}bqyAgveZuOVe|CDhmsvaZnLrFQR\Ps[vO\JLoFSr[`t[vC\TLcGRRXaCcuS`JOEEpRWq@CuC_NLYekRUY@WtY_QLVgDBTXi?wy[_LNegbbyCWsu`CLKefCGXgh?IYGO?e`c?Xg@@IYAORgIBOiC?ruX}O]gNbNheO|eXeNZeWbuhdHA]XSOheSCIHcwyyXKMkeQbjXc`AUXCOeePcHI?Wp}_GK_gAbGYAopq_iK]gJbFXbH?y_WKZeLCBX{OpYWoNceJbwxaX@mWiO\eICFH`_|IWSNPfgBAx}_oU^kKEfyb@H}wny^qK?f{A~x^gxeVuMWd}Bdx^GxQVsMTd{Bdhr_nU[uJvdzBeh\_|eV[NZdubui@WnM_SJsgCa{hqGm}[eJpfHA{I@wmiVUOPgGAyX\CmYVNJbFOQxPsSmO\BJaGLQwQBCm?_rJ\F}r~`Zs~{U~JVF[QuPvSl_\rJKFEqrPp[kk[XOYDcqqaBL@_UPJDFWRkPW{kW\^MiD]RiPVsykTzNFDWRqPUS{_TbIlF}Qjp~Siw^vIiF_qj@w[ik]DIcGBQha@CiS_NN@DMRopRk{GSvOaDKsGpRTACSpNgDIry`Q{}cSlIRFbQd@wk{OSdNrDGQcP}Kg{^dIJFDqaPpkgg[XNjDEQbP|k}oS\HmFqq[@{{e{^LM}Cwq[`wCfK\~HsFfQ\`x{fS]ZOMC{SB@NL?sRnH|F}r~pN{~wR|MrD?rl@OSzGS@IGF\rnPOszoSNHyc}Q]xnwuuZ]M@f?BZhjouiZ?LkenbYxa?tIYeKQeGbTH`gtmW]L\eFBVH_wsmYQKHeCBQhfOliXuJZe]AvHYGr]XqJRe[AshVwlUUAJSd_AthVGqmXYIzd\BJHUokIToJCdZaox_OjMTiKBdYB?XS?uaS}LhdNBXxgoiITELGdObPxdoi]TQKoeVaiHY?gQU]IBdfA`XL?rURSKscsbLiqg@E?`?N_GOCW@{@I?h?RfHRcxqKxe[nMWfLRfHr[yI\@M`aBp@g_kNeFvBy_aOOwGkCaAN@E_PoGgCcAI@H?b_YOLWEsGiCXAJ`NogWSCIIDHAb`MOfgRkHmCtAX`IOdWQ[HACbAQ`EobwPsKQEFBD`bOpwXCJ]DrAwcuqZHL[tMYhLQe[RMXe{rQXjKueTrJXdcpeWvKYdfQsHX{laUrJVdiQtXYslEUfJQdNqgHRsiaTRIfdQQhhSkiITBIbdLqfXRcgeSVIIdEQbhPkfAR^Hmc{q\xNCeaRTHhkTeHbDDa[pTWdKSuERB|`gpBWZKOUERC\aOovWYKPU@bBd_So|WCKMu?rA|_CopWUK@T~A}|^snlVzJyt{i}d^Mo]VgjreBZ@p]Yn@VajotvQ}|\{nlV]JyttRBD`WmlVSKJtwqyT]SmfVcJgtyQx\[snTVKJttqBCT[gpFWcJctnRC\aOlxU}KPT{Qvl]{l|VoJ]TpAv\[KltVAJ[tja|DY{nLUlJrthytLYalMVUjiDiYt@\UlqUcj\DhYvXYYkrUWjLTeRAT`?ktUWKGttqq|XWmrUTJkU@qqT_ckhWGJHtvAqD\gkbVZJFtjQqLY{k`UmJFt}AQtH_ntVxHJt_rDDWSpTUCKSt_aulW?lfU@JYTbanTWojxULI|t\Ar\VWkzTtJMTYQ|\UgnRViIsTXQrtY?jNTeJNu@AjdTwoLWDImtTa~\T_nzTVJ}TTAuDTSldTRJWtjAiDTGlTUjIgtwahlS{nBTMJoTQauDSoldTJJWtvQg|Scm~TGJnTPA~|SSo@V}IbTragL\?iFVNI`UAQfL_[htWGI[ToaedRKmHSqJ`tJB?L_Kh\SlK@TIapLWkhVUIIStkqctQ[lhSgJYt}AcD^ghDVxIOtFQotP{kPS]JBtDr@TPcoXSWKDtDApLWkglUIIItvA`l\kgVVYIETla`DZ_gTUvICtzq_lO[nbSEJwTsQ_\\GgDVRIAS~r@l_{gBWMI?S~BADNwodR|KGs}a|dNkn\VlH{tgQ]tYKfpUaHzt`q[dMSkPReJBSwQtTYofFUjHpSva~tM?o@R^J~uIAZDLgpTWhHkuFQY|`wejW[HjSsRB|L?pBRNKOTrqXL\?eVVMHdTdQW\KSknRCJJSoA|d]weDVlH_snRB|J{pBQ}KOTwqT\]SdZVcHUSiArtY?dTQhJNuFQSTIOo|QbKMSfAr\HwkzQ\JMScAwlHGmNQPJbS_aq\GKkhUQH?tgQN\YGbxUbG}trQNT[obpPxJdtpQMlF[mNVEGzTuAMd\cbdVVGxtbQMLE{k\UKGwThALLYWbVUdGtSXiK|EangP]jxCVY}XD}lkPPj[CSyuxDIaWWJgeeBIHX_ioiPHkHcQjA`CaaIU~j_cPyGp[AaCVGgaDqiGX[epIO~g_eHyG@aY`eU~gYdoYE`[A`kWeg[EHzChB]`aWTgWEDJAXBIj}TbiqD^YkPVyf_TmhxD[I]HU}fYSnhvdKY\pRAfWSzhtdNIfhMieuRfhmcyYZ`MaegRthxcsyYPNQjURKiucril`Kui}REiocqIk@K]daSYiMCkyUPPmdqQdhRcmISpJ]h{QRi_CdYfxHQcYSbhFdHIPpQUjmQIi{cbIn@GmdsQFh]CaIVXGecIQ`hBCgIO`H}diQ?g~CliU`F}bWQmhVcZiLhJAbEStgqdLyK`RYauTZgmDUYJPTiamTpgkD[yJHVIakSPiHcTYaPDQcqPMhLcSIRPC}bAOxgpCMiFXEA`wSMg^DByFhPA?J?E_Bt`ypDWYkRUJjDTbIptWuk^UPjGTdIqTXM?~?__NODWA{@YNbFqbxpxw{k]YBr@y_|oHgC{AUAf@S_hOTWI{DYAb@O_foRGHsCuH\CoaVpLwfKRaHvC{a\PLGesRUKNEDbBPaGpSWeJhDtaxpRGhsSuHzC~a^TSyidTUdjQuhYSKyElBQ`nOug[SMYFTBm`xO}g]sKIETBE``OqgWv|b{H}U~E^enpFxJzp}i~?^knnfyzyh|m}y^VnmFtj|`{y~S^LntfrJ}X{I~i^?nyFoZvx~A~c]}n]f{ZtX{M|Y^DnUFpJtHyq|S]lnSFizspyQ|I]bnRfgjqXxY{i]WnIFdzq@}u{c^mnGfzzwpxE}O]QnGFpzpxzM|a]MnXFbZu@wu{]]nnVFbju`wi|k]KnYfazN`xe{uX}nLE^Zo`|I{K^SnAfszyHwM{A^On@Frznp{A{?^Am~foZ}XvU~g\vnyf\jxXvQzc^Incf[zyPsmyY^SnhfRJrxrYxm]`m[FgJeXz]xi]xmYFmJcx~A~c[hmSF{Zc`zi|w[en\fHZcHxqxE]]mPFfZxXpq}Q[\ndFEzbPyMwo]cmKfgju`pUwm]umJFlZaXxa{k[SmHFdz_@{uwC^Mm?frJ\X}uvY^nluFzjvhmU|}Zen^Exz{xmI~OZbnsexJZx~Uv?^rlof|Jwplq}OZ]nbevZXHzi|wZGn\epzt@jm|SY|nSenJV@yy|_Yyl[fjz}Piut[^plUF{JS@{}}aY`lPFsJRxz]sy]xlNFmJQX|}}{YPlHFwJ|@hA~QYMnrebzOP|isE^WlAFuZqXfe{iXznIE]jMpxe{uXwnLE\zzhfA}wXqkwfuzLh{Mr[^DkvfpJuHeQrK]rnXEXZJx}Mr?^`knFwjrpdi{wXXnMeUJIP|aqg^YkhfuZI@}Yqa^cnqeRzHHwiqU]KkdFazE`}upk^mkYfzzE@yY|MWmkVfhZEH|Upe^VkXFtjrxam|AWlnOEJJp@tMyc]HnBfSZgPuAyG\am`fWZj`sEys\?mlfNzhxrmxq\OmfFMjdhuex]\jmVFYjgho}yM[PmbFCJ_hrqwG[}m@fNZ]xvazsZxm{e}JnXnAzyZnm}Ezje@mavS[qmWeyZ^hlMuiZ~liE~j``lAw[ZQmEesZYpkuuoZMljerzW`t]yoZEmkepZVpuqz[Z?l^fZZUhtQtk\UlZfTZXPjItgZKlXeqzWHiYuEYflSEojSXoetI[ImDehJQplmsgZXlIeujPXpysY[_lEFFzP@i}sQYplDEkJhHgYsM\ImcE`ZTHf}tUY?lTE_ZMXuYri\gkyFXzLPnirWZ{kte}zLHherMYWksEdzJXtyqy\^kmFVZlxdUzaXVmwETjH`hiq[Y[keeezkhcazEXFkbFXJGXqiqI[jmUEPJGPeMrAX@k_EWjFxnMpyZqk^E{ZFPnQvkW{lyeMz_pb]wOWxmBeMKb_xQ[lMTfNrfhrkyM\JMcaDpBW`cA}@`?m_WoKgE[BE@f?q`KoewRSHYCpAV`lOuWZCKeEVBI`\OmwVcIyD`An`SoiGTSs}Y`LPdaqpxWsjqT|I|dIqdxQsfERfHqmOvGjc\emrXXikouWjK\cMqJXCk^uNjFmUNJDd`qnxVkkETvIvd[qkXUkjMRpINdGQ\XMsguR\ILdFQ[XQCfMRPIZcuQfXLSheSpH`dMQVXRSd}Q\HPchQQxHcdUP|HDc`QQXGCc]API^_bQgwHSiESdGZdJQFXQc`}OhH\cKQWXAsd}THGRcFQiXSs`ERtFpbyQ^xNc^MNTHpbvQ[xLs]uM|IbbpQgW{Ch}RDFXcrPvXKc\mMdIpbjQlWycjMTTE~b\QjWvci}LdJBdbPjxWcZET|EfbPQoXVcYUJdHVazQUwmcdePlDhatQKwksbURDDBabQXwgceUSPD@a]QaxOsR}RtC^c~PGxNcQEGxHRaLQSWbCdUP|CVc`PCxGCPUGXIFaGQaW`sgmTTBzdVO~xTcNuSHBj`uQ_XOSMeElId`lQiWZCi]SdBPdJOtXQcLMRPBJcuOrxLSKuQlA`clOhXJCIMCtGrcZOfwRcbUPpAF`AQNWOSbmPX@|`?QKWNsa}BlHtc{O]wNCf]A|Ivd\OWWKSjePX@LcVOSXECC}Pp?z_^QNWFcbm@hHD_[QQWEsc]?lI@_LQ`WBCgM?`HJcfODXHc@MPPGFcTQ?xCs_ULlENbDPmWucWuKdEDbCPcWosXUKxD~bOP_wrsWEJXFFbdPZwmC[eJ@F@aqPpWkS[MGLEVaDPew`CXeItBtamO}WjsN]F\Cv`wPMw]SReFDCd`rPIW[cQ]EHB\`cOwWWsL}DpDT`]PUWVST]DdGHcEOlx@SJUP@Af`TQHXCSIeCpDR`JPSWQcS}EDAP`_OcwPsJ}CPC@aAObW_SGmDX@p`WO\WTsFMNt@f_sP}W}sEUAd@X_jOVWIcDmBX?r_vOKWLSA}@P@D_UOOwDSCENP?b_RPxw{cAU?xEh_OPjWBsYmH`?NaYOAweS?uIP?DaeOAWhS?\~|FL_?PsWxs?MJo~x^}P^V~SVl~dCjaVN|v}cQuNw~n^wQ?V|c^{?i?R?GqKXDka}PfGvcYbpPxG{[]ANBF^_ToJWDcRQHjCuabPQGg|OIgHSBhQshiS|DQalPTstiTDI}dXQrhTSkYStHUdHQPhPScyPdLUcTRThFStYPDJmd|QDh]S`ySDFEbXQ\hNSZyYTEmedPfhhSYYEDHm`hQVgXSeY?dJedhOBhZS?YWSymeHMhh_RhxoTKE[LRDfASoyUcvEdpLthZR[xlTJmZ\Q~euSnXdtH]XdQXeWSeyUCq]XHQrePSjySCqEc|K\eNSfYXspmWpRPheRDySSpEWhQfeHShX`tK]eTKJeESqX]TImdXJvhSQ|X\dK]eTJpdvSqX[tHEVTQTdsScyYCmMeXJdhfQwYGtA}`XPDgTSOyHDAUaXOhgdSHy@dDma|OPgmSBx}dDU^pPXfzSTx|tB]^dOzfwSMYAS}e_lNlgIRyyHs}MadNfggRxXzd@e_tN^gMRwYMc|MblNTgxRsXwtCE]HO~fcSNXrSoU[|KHfMR@xqSz}]DMPfFRoXpcyU[PMbfDRgXnSvu[@Lve{R^xxSt}]\LbfeRWXvCtMYlM|eiRmxzSsu]pLPefRtxgsxU[lLHfKRQxgSz]YHMte_RkxjCrmX|L\elRNXtsrU\XKxfWRLxdcu]XTLheSRXX^tEEWDPde?SWyNsneVxQBh?Q}yNClmbxJ^g|QvXYs~mUpN~diR~XYD@}`DJNdhSGY?ske_TJLgCQqqmXVSjmRhHucyqYHLSefJ^dmquxY{leUjJNdgqsxX[keUZW[kRuIjB|`ipRWSkOuEJCl`YpFUOkFtdJA\XIobWGjDuBIp|_ikZT}kRuIio\WApRWUiwuEIll`Qj^TekLtYjBlUao~W_iouGik\UQpJS}kBu?igLRqoJWOiZtMj@|RaofWAiWu@iel_QhfSckCtIJ@lQYoVTYjetViyLTqm^Uaj}thj?L^ylJU[jztgI~\XynrVWjAtvIpL\ikNUUi{t^Ir\VikrUgixtjIm|YijjTUjWtUIu\TQl^TGj\tnih\ZqiZV?iTtpId|[IhZVEiNtGix\[ahBSKiKtCIblOygvSQiBtDi`\PQgRS?i`t@Ig|OIiJVih|tzi^|]qfzRujjtsi^L\QfjVshxt{i]L^Af^TMhstSi\lTAfVRajYsxivLMQlnV]hmswI{\]Ae~RUjqtyIZ\LanNZ_lfuxJY\mIubZEltuxjW\kQvRYylJumJQ\jYsjYqlGulJPljAs^Y{l?u`JWLgIt~Xyliu^jZLfqunXaksuZJK|eQrVXmkmu[jKLfAq~XUlVuUjT\datZYWkgufJIlhiqfYakeufjH|iAqVXClQuQJTLcYtNZGk^uOJX\cIuZZYk[uvjFllqpvWqkyuLjNLbQrnWklBuKJP\aysR[}mVvNJeLrIxv[gluu{Jdlqiv^[_m[vFjelpqxn[KmavAjgLoyyF[EmcvAJh\oQyN[Ol~vDJ_\pIwBZwmJu}jb\nqwrZqmPu|jc|nQxJ\KmtvSJl|syzZ\]mzvWjn\uAzr\Wmwv\Jjltizf\cmhvYJi|uYyj]M?AV^O?txI{A?AnGV^o?TwI{R]K?BV`zpO?Q{J