CAT(3038,3)

Sparse6:

:~?n]_?O?G?CAS@B?__NoH?A[@S@F?a?IODoCS@W@H?W?PoEoBs@c?z?Y?MOLoEKBI@f?k_UoIwDoBM@_?p_V_KgCgAe@K?i_R_IGGSCAAB?|?YOL_FsB{@j?v?\OMOFcB_@v?c_POGwGsCaAN@K?coR_H[CsAT@K?`oROGkCwAH?p_XOKwHwDiAo@P_k_SGIkDYAn@W?hOU_IcDcAf@[_moUwJoEEBE@__p?VwK_E]BK@h_q_YGM?EiBX@j_RoHWCsCMAH@D_nOWGJ{FcBl@w?|o]_M{F_Bj@r?zO\?M{EsBf@n?yoZ_McFcB`@z?xO]_MKGkCO@}_}?agNgGeCLAD`Bo_gOcGMCOA@`D?_GPGF}CaAT`H_dgQOHQC]AK`F?bWQ?GmDEAV`KoeGRSHqCvAI`COaWT?ImDKAh`R_igTGIMDIAj`Q?igRwIACyAa`N?gWTkIyDXAn@XOkOUcJ?DfAt@[Om_U{JWDrB@@\onGVkJwEFB?@_onoWSBQ@l?t_foSWICEQBL@d_wO[gMKG}C`AM`ROiGS{J]DjAu`p?toZKLWEtBZ@kOt?ZCLSEnBR@jOs?Y[LGEhBP@ios?XkLGE^BP@fOq_XsKkEZBK@fopwXKKaEMBI`c_rGX?KmEuBC`b?uWWgLiG??P_GOCg^oNQF}Bu`}_|W^wM}F{Bm`}_{G_?MmGCBla?_zG\?OAFSCA`s`?W[oNqFMBy`q_}w[_NmFwBa`p_}gZwN]F?Bx`o_}G]GLuFeB]`m?{gcGP_GFCYAApEO_cPGGjCSAJPCoa{OwGbCKAGPBO`{OcGLCGADp@o`SR??`?P_HOCWAC@IHYCoaV`KgdoREHgClaY`JweWQyHeCiaY`JGe_QmH_CfaS`Kgd?REG{C`aO@GgbwQMHGCZaM`HgcgPqFvB{`|O~w^sNuIgCua[PLwggSaISDFac`Pgh_SIIYDBad`PGfwSaISD@ac`OGf[ReHtDJA]PN_hkSoHzDkAm@YGjOUYIuDfaj`YWlWTeJSDWar@SwiGUaJMDQaf`YWlWTAJSDMao@WwkOUUJADcai@VWjwTYIiD]ayp\wmsVIJhDrau@]GloViJYDxav`]wmGVuJ_D{bB`^go?WeKOD~b?``goWWQKCEDaUpJwdsTQIlDTaopWgkCX{KkEObK@cgqwXEK_ERbH@dWqGXQKeEIbE@dWpWXQKkENbK@bgqwWuL[EaBTpjOscYoLFE^BTpgOtkYoL@E\BSPf_tSXoLREXBQpeos{XgLLF?BZ`jgvGZALoEnbW`lGuOZULeEuba`nGwWZmMGEyb]`oGwOZ}L{F@bTpjWtc[sMPFMBbPpoxc[cMXFMBdprOxS[}MbFObhPtGy[^WMoFUbl@twzG\UMnFUbipuGzS\eOC@l?NoG?L{ACB\?U?HoDOBC@[?h?R?NoDOCKA??hG\AN?vWZ_QAG}B]`n`EwbgMEF?C[b]@fGvOXyLuE\bL`nwrGZuKsE}_EoBw@s?i?V?KaN`YGboUYH?DfaM`YwbWUeJSC[`^?vw[?KAD}B`b@`fGoGXyKCE\b?@ewrGVyKsD~b|`mg~GZqNsEzb}@nW~oZ}NyE}_Z_FGFG@y@o?\`O?gwSgIIDGA`cD_FgB__u?yGK`OABhA?IIO]A`_L_LGEo@i?q?t`N?owRwKECyBA_LABWBW_m?qGK`NaBhA?HuO]A]_F?AG@w?e?Y?F_D?@G@_?Y?U?D_KODgA{EuB^@mcHQCXA[`QOlGTcJqEXBC`iOxGZcJQDXAcLqE|B\cJqEHBKNIFfBp`^OoGV{?u?^?McHqChAK?i?X?JcLQFHB[TEIfDQ_BoAW@C?e?P?F_AO@g?kS}I`DMagpSwiSTAI^DM_\ONGF[HECfAQ_AO@g?kjgTqHpcxAmXMWjeROHvctA]XLGfaRgHtcya\hM_fYS]GncWacXE?hASEIQdIA`XQWgQSOIVdJA`xQggYSQIWdDaehPOheRyHvc~a]XNofaS?Hyd@A^HOGfmPeIZcYAfXEOhqPiHycZa^HEofmS{GwdOAMhRwbePuI`c]agxF_iIQ@G}c^qOXGScMTGHCcbAhhSgcUQMIfdSaQXH?iaQXHJcdQRXH{cyR}HOc}aShIGfyQeI?cia_hI_gEQnHWcjQUxJSdeTSIKdUAbhTWguQwIFdCAVhJggYRUIBcua`XL_gQSQHmdDa[HPOe}Q}IKcoabhK?guTGHbdQaXHKOiYRIIfcraiXKoiaTSIodTakhT_jES{IrdYagHU_h}TCIldPajxSGiyTYIZdVafXTohqTkIVdIalxQojaSqIqdLAkXR?jAS]IrdYacXU_hATkIQdIAmHQWj]O~G]cMqYxLkeqRPHicsqZhMCe}P@GacOqGxCkaQPLGgcRq[XM[fIPRGjcTQIXD[aiPXGmcUqJHDkayYkLCEgRP`iSsSYbLOEbrS`hKtCYPLREdrTPhctOYTLMEirRpi[tOYZKSeIrDh`so}W`KPeHrCha{peWpK[eLRExbkp}W|K`ePRGHckqQXFKeeSRHxdSqeXVI~EURJ`VsqsTzJ?EWrJpWSkCX`JBEURJ`WkqsUHKnDbRKPXCr?UNKsDcqqpe[kgXdJKEYqr`e{ksXlJNEXQsPecl?XfJQEYrL`YclKXnJTE[QtpfSlWXrKwDkRM`ZKrcUtKzDlrNPZkroUxK}DnQw@gCr{U~JbE\qw`fkmCXxJcE_QxPfsmWX~J~E_r?Pg[o?YDKJEerBPh{ooY\LCE@r@@gsoGYJKDEbr@phKoWYPKGEdRQp`SocYXIzE_rOpVcjgYDJmDrqzp\KmsVPJoDtQz@]SmkVbJyDyQ}p]kncVfJuD}Q}@^sn[VzGPcHqChAc`YOjGVcKqEHBS`qOvMcfRRhXs{ya\RNGF?Rq`oS{c[BNLF@r`Px[{o[HMZFfRfPyCxo]^NQF[rmpyK|K\tNGFWRk`xSzC]RMrFdrlPxkzO]XMuFfRm@yCz[]^MlFgrspt{|G\\LUekRTxjKtmYtL]emrVHkKuAY~MQF`Rd@wcxK]FMTFarppq{xW]LLyFBR^@pCvk[NL}FCr^ppSvs[VLtFFR\`pcvO[ZLvFFrc@nKxCZpLpFKR[prSvG[rM]Etrg@lkx{ZXM`EvR[@s[u{\DM{Eqrn`k{zsZLM~EsRoPlS{?ZRMiEpRX@tcykZFOYgLsEYBd@y_zOCFlS@`zd?S]vOHFnRvq?{|s_PN}GDR~q@d??_VO@GEs?q@|?G_\NnF|r{@~k~C^xN_GGRwaAS}C_bNeFxRy@}c~K^NNhFyryp}{}g^lNkF{Rz`~S}s^rO`FqsFp{\A?^HNSGHsDPyt@O]jOVFksE@y|@W]pGKcDqBX@{_yO`Jldvqzh]CnIVbJxd|q}h^cnyVzPKGlSRQJDCwarPNGlsSQJlD?axPKGhSRaIdCsafPOGisTqH|DWabPEgcSPyHTCmaRPXGWSJaJTD_`^PZGWsVQE\Do`dOaGhSHAIdAKafOdGisTqC|DW`LOyGSSIaFdBk`ROjG]sJQF|Ao`|P?GZsOaFLCC`pOuGaSPQEdBSaFQMDUqjxTsjATdIpdXqlXUcjaTlIvepRXHk[umZZLkevr[HlsvEZfLqeyR\hmkveZnLwe|R^Hn[vuZ~L}hICjITpHYciQlhVcdyRHJAcoQphGciiQXImccQhhKchiT@H]coQfhPcbiShHAdGQNhFCgIQ@IIc]Q`hMcdIRxHYc{QThLCcYR`HIcuQRhMcYiL`H}c{PjgvcgYLpIIbYQ_hLC`YR`G]cuQEh@CgyO`IUcEQcg}CjITpFybyQlhVc^yUHGEd_Q?gzs]IMtFebvPygwciISpFIb_QfgxciiTXFUdQPshEcXiK`GqbIQJgrcaYLHGicOPggnCbIPhD}cUP_gocaIKXGebCQIi?BSHiStEYfLTeiR~H~k~m^pNyf{r{h}c~M^jNvfzTAa_\OkgHSHIAt@a_\O_gJSFIAT?A`|PCgDS@IGT?A`dOGg\S@IEsqiXdKmg]RXiGcuyZPPAgWRUiFCuI`hL]gQRRiDctY`PLQgKROiCCsi_xLEe^RLhfS~QW|N{eRR}HcSpA^TNoeLRzHas|qWLNceFRwH`Sna]|K?frQ~H{Smq]lJofhQ|HzS~QVDJgf|QxH~ska^TNodhRzHXs|AUlNSdlRuHZsxQ]LM[ffReHxSwa\tN?fHRbHvsvq\\M?fXR`HusvA\TLwfRR\HsTUaiLTMidTOifTRyixPmgyTXiMDUIixPaiqSYikDEYi`PUiiSVijDDia`TYgcTSiHdTYh@R}iST@icdOIfpSqiYS{i]dQyeXPyhiS_iYDFyepQuhoSniZdJidPRAhcSkiTdKYcxRehQSziSDMigPQQiGSei`dHYcHSUhETFiPDPiPDGecTQJhEsbIl`WQj[UEiud`YmlVYjnTqiyT[ymHWej_UGivd`yo`Tui}UEinD`YjPW]iwUHildaIlHVmjUT|itD^In@UYjsTgi{dXyoHUMkETdj@DXIk@Vyk?Tai~dWY]dNUflRvh{s}I^TNqfvR|h~s~ipPZEkUUrjEDkitpYUl_UfjVdhisPYalGUijPdiYuHX}lAUrjODkitXXqlYU]jUDfYrTXekvUUjJteIt@XMkiUijSddItpXAl_UQjVdcYtXWulYUMjUDbyidTUilTXijtUIyD\Em^VKjfTrYy`[AmAVQj`DsyyPZumgU~jhdnivP\YmmU{j\dtYux\YmmUxj[DtYwpZQlkVGjbdlYwX[emIVJjaDqi|h]Qn]VejvDxY|P]EnEVkjpDyyz@\}mqV_jlDvizX]]myVhjmDyI~H^AnuVqj|D{Y}X^YnoVtjyD|x?S_QOFGFcAq@h@K_iOPHacqQWxKke]RLLferRXXlCuiZROcgPsGiClA]`LR^hoswIZtLuexT\intVijTTqivVEjcTpywl[MmHWeKVUIBDda[pZWdKTUIRC\aOpVWgKOuHbCTa[p@WcKNuHRBl`wpFWYKMuFBB|`ko|WVKPUERCDaCopWYKIUFBAt`kojWRKJuERAL`GopWNKIuCBAt_wohWPKDuCr@l`GoXWIK@U@B@L_KoPWEKDU@r@D_SoRWFKDu@b@l_SoXWMK@U@BAD_Ko^V{KUt~bDt^spXWhJ~uIr?Lago@XaBupzg|{^IN`Fpbxp|G}lfONlFvb{P}W~[^iNxF|b~P~x?K_AVFJadoqxH[smU]hNUfirtxzK|abTPkgtsZYL|Eyg|S_iNtJYdtQ}k`UQjGtbYp|WympVXjlTuyzl\qt?YZlMefjRxhqtAYWlPeejSPhesiYZlMedzQphqscYWlIEejQXhesiYNlJecZQphAscYKlIEbjQXgusQYNlDecZPPhAsWYElCEbjOxgusQYBlDe`ZPPgQs?YElCE_jOxgEr~X|k~U^jN|fusEXyk}E`ZO`fmsCXxl?E\zOHfarkXwkyE]ZMhf]rgXyk}E\jMhfmraWokxEKZDxfMqwY]knEgJJhh}tAXXklegzSPdiqoXokjEZjIxe}qgXkkieZZIXemrOXLktERzLHcyq_XgkhEYZIHeiqSXjkeEZZHXeqqMXokceZjH@e}qKXfkaeXZKpcQqEXckpEOjGHeMrMX?krENjFxeUpwXak]eXJFXeMq}Wwk\EWZK@beraWtkxELzMXbYpeX`kXEWJJxbQwSFabppwW{c]YNJ[XBspxw|C]iNVFkmMvFJbtpqwz[]mAehZ_piYwGYcmKesZbXlMwsZQmLErjbXlAwqZNmJErJb@kuwmZJmIEqJXPpUuQ[Rl`fCjW`pEuC[OmHEpza@kYwaZDmJEnzb@kEwmZ?l]FDJVppUweY|mEemZ`xjmw[YylZFAj``jawUYvlXfBZUho}tg[MlWFAj``jIwUYplUfAJTxoet[[FlTF@JT`oYtU[DmCEhzTHoetO[Fl|E~Z^HnqvoZzm?E|j]xn}viZ}luE{j\pnMvYZslte{Z]@mevSZnloExj[PmavAZflpevjZxmUvGZ\m?etz_XlewCZWlieujYplqugZZmw@zw|k]yNZFmbvp{G}S^EN`FpbxV__}[^UNhFrbyp|JaDpIwb]CNCvaboTw_{F]DNDV`rpLwW{P\oM}V[bntvCzz\{Myv^bmdvszf\uN?v_BnDv{zn\zM~v]RoLvg{@\eN@v`BkluO{D]DMovWro|wWzD\xMnV]bkDvky~\\MyVUrmltozf\WMzVUbnDtczn\qMiv[Ri|v?yl[umYvLJfLraxn[`MuvZrcDuww~[aMvvHBlluwxF[dMrvHrlLqWzP\QMtVTBldtKzV\NMcvSRh\t?yT\EMeVRbhDssyN\BM]vPRf|sOx|[yM_VObfdrkyB[nMTvJReDqox\[pMSVKrdTrGxRFabppwW{S]MNBFcbqpxg{c]YNJ^dBrpyW|C]eNNFgmuvZjl|eEr@X^kuUZZL\eyr`Xnkxu[ZMT}[~Z^jNrVzB{l}c~X^iNuvyB|\|S~@^RNnvtB{L|{}l^_NkVwRy|}G}r^cNlvwrzT|o~D^\NqVvb{\xw~l^sNNvfR}l}_}`^QNtVsR|L{s~J^fNfvrb{t|o}T^]NeVvRx\{[}l^HNkVqBy||c}H^ENlVpRz\|K}B^TN`vtBwTzw~r^?Nzvnr~Dzk~\]|NwVnB||zY|n]tn[VmZvT}w|\]kNvvjR}Dyc~n]jN{vib~Dy[~j]gNzVhb}dyS~f^qNQVgr}Ly?~b^qNOv{rsTxE{f]QnJVdJqlx]{r]WnLVezrdzO{V]rNEvkbpdw{|b]ONVvkBptoUwL[CmCVAZ_|pQwj[RmJVEJa}Cx@H`OORWRsCmALAf_`OgwGcIU@xA`__OfWFsH}DD?v`ROMwScBe@`Ah`UOLWTSBM@TAn_VOkwDcJE@LAn`WOHWDCJM?|Ah`UOGwTSAE?B?D_@o@w@[?e?Z?P_FoCwA{@U?pAP_MOcwQc@mCp@v`LO[wQsFUBXAJ_wObWLsG}C@@f_tO_wLCF}CH@``COXWOsEMAt@x_mO^WJsFmAg~t_kN}WIr~\~t@P_hN~v~cC}GtAtaNOmWbcJ]GDCHaBPBW_cOmG`C@`}PCw`sN}E|Ch`pPIw[CQ]EpC``mPHWZSQMFlBR`|OtWYsNeEXBj`vOsW\cK}F`BF`xOqwXCNUEDBf`aOxWWCMeGpA|aIOnwVSP]J[O@G@b~q?W~{_AuDZCl`upZW|kY|^]pnWVkjudzNEKb?pcGokWyKFEEa|paGn{WiJzDsb?p]GokVYKFDqa~p]gl{VAJzDkavp[glKVAJVDuasp]GlkVQJVEMa\pcGfkWqHrEEaXpaGekWiHnD[aUpKGkKQyI~DaajpUgk{UQIrDCadpQGh{SYIZDOa^pTGg[TIIBFkFjbuPyg|[]qNT\{m~V^Zn|wA{B[_mOvFzcTqMxH`DobwPkG]CRAD`?o_wN{FeBz@z_hoSWH{DUAr@VcDQJx@cbEO\GrcUQ@XDS_ePPGFb~QDx?S`mO@GXcGP~xAc_MOdG@cPP}XCs^uPHFzb{QFXCC^uNtG^cEP{x@S^]NhGNbuQAX?c^EN\GFbrPzw|S^ENPFlbsP{w}s]mNhFfbHPuwzsX]KhF\cSPtXDc\ePTFVbfQJwySbMM`GpbcQDwxc`mMTGXcPPoxCs[]PHFDcGPnXAc[EOdE~cOPlwvS`}LpG\bWplWu[YmL^ElbqPiW{CY]NDEdbNPuwzsYML@F\boPeWrc]UNDEZdgNnvwJ{L}I~H^bo|w^[NeFfBp`yoyw\{MuFNBd`sqxhZKliVFJUdqqthZkliVBJWdnqsH][lQV^JQdwqsH\KlQVZJQdtqzhPKnISZJodDq_h[kmYSNICdpq^HZkfyU~I?doqyHM{fiVZHwdtqYxL{euRJHhcrqqhJ{eIU^JKcoqqHJkdaUNJCclqnhI[kIQnJ?ciqRHV{dAUFHMd_qPhVKjqQVIyccqOHVKjqQJIyc`qNhX{biUZG{ddqpHEkbaURGudbqiHSKiQTVIedPqkHR{iqSzImdLqeHMkhQRfIUcwqbhU[hITnIOdYr`Hk{umZRL`eqrWxoCom[DKFeCR^x_Sv}[@KDf@R?XnCnmVxL|d~R]xnCneVlL|dyR]xmSseZlLLeyRQxgSouYLKPeaRBxlcruY@Lne^R[XdsrUXXKpeTRKxdCrmXpKdeZRHxicp}YlKbekRGXbCtmWxL^eLRVXaSs}WlLReIRSWzk\}MvF`bqpwxzsye\XNbfoRixwK{U]FM|f^rmxzCzU]xMxflRlxzswm^DMNfoRbXzCwU]xMHflR`xsS|M\LNVfQRtXrc{u\@NPfNRrxqsy}[tMrfKRkXxSxU]LMRfcRcXVKjuTvI~d`qoXWkkeUNJJdfqrYCC}U`HNhgPRxyBTBM_|OvgMSLYCt@U`TOXgSSDy@tAu``ORgGSJy@DAE_XOdgDSGy?\?]_JN|g?r~x}tA]^tOjf{SIX}DBM^hOvfxSLX|TAu^\OpfuSJxnKvuZvL~f?r_yL|FMbbPhgusYyMdDEbpPTgzSSyMdCmbpPNgzSRYNTCUaPP~gbS^YNTB}b|PBg}SOYJdBeb@O|gnSMyKTD]bLPZgqSUYTTHed\Q\hUSeyQTGEclQDhIS_yPdIUc`QhhFShyRtG]cTQbhCSgYWTJEdhRFhaSkyUtJudtR@h[Snwl[UuJRI`dQqgxR{hmSzMJfFrbXokwe[NP\gosVyI|DmarRwhus~I]LNif^Rehxs|i\\MafjR_husxI\|MIfbRehlsyiZ|MaezRchiswiZLMAenRWhmstIZ|LYevRwhcsrI^lKifvRMhxs|iY\LAfjSyF]bnpwK]mNRFfeVrIxdkqUXRKffyr{x}K}m^^Nlh?s`YO\G]cVQHikTVyjdUMitT`irTSykdT]jPTTigTVYjTSui\TXihTPyitSmihTHigTPYhtSEiDTLi_TPygdSeiDTJh~TJy_TREg@SriSTVyddUMhTT`iPTXYctUehHTfi^TGYfTPuhxS^i^TEyfdP]htSXiGTLyadRUhpSRiVTAy`tRMgXSpiATLy`DRUhpSFjdBmpvGz]kPVJjETrypT[ukDVLjATqyot[}jxVHj?Tpynt[Ul|Tvi|ToywDVemHTriwTqYwtVUl|TlitToywDU}lLUrjTTlYtDZ]lXU`jWThYttYMktUNjHTfyqDXukhUxj]TeYqtZk]AM|F^bnPwGz}o|W[kGuEj@l`ao^WWkHuDjBl`QovV}kHuDi~l`QnvVskEt}JAL^Yo^VmkDt{j@L^AoNVgk?tzJ?l]ioFVQjottIz|\qmbVUjptui{|\anIMvF[bmpvGz[\vX_iVtKYe\RUhrSvklURzJtdMqxXPkmUTZJDd}qlXZkZUXzFTemppXhkcUTZJDcuqlXJk`URzGtdMqHXPkoUNZGDeUrDW~kWUWZEdeUpdXbkTUXzDtempXXhkOuGzB|aUpRWfj^toywL[UmRVFk{UiZNdiurtYjlVUazUTg}t`YLlVU`ZUTget`YFlSU^zOTiutTY@kuu[ZL|fMrnXtlPUdzRTi]spYdlMUcZSDhUs|YRlYUuZZdjeutYvlbUszXTl]uPZTleUoZWdlEu\ZBlnUmz[Tj}v@Y|lwU|z]dnmvdZxlqUyz\Dm}vLZlkKuFZB\iMtNYdlMugZR|oawr[KmIvAja|oaw^[KmHvAjaLnqwj[?mKu~ja|oywF[EmHvCJ_lraqvX^kmutZY|lMuZZPlfvMJglsaxz[ymbvMJf|rqyF[ym_vFJelpyxn[qmLvJJg\ryxb\?mVvHjglsaxV[gmbvKjcLrYxJ[smPv\JidvMy`\nmhV[ZhTu}y\\rmeV[ZkTt]zL\ZmqVUZlDtuz@\lmnVYzpTv]zp]FmyVaZnTwEz|]Dm}V_zelr]xf]KnLvbjrlxA{r]QnKvdjrlxQ{v\nmxv[O?dyi{~]_?BVjzsO?I|Y?AnQVio?dya|^]e?BVj^