CAT(2522,2)
Sparse6:
:~?fY_?O?G?CA{@U?m_U_JgD_Ay@i?j_UoJGFWB[@r?w?YoL_FSB[@`?p?YoL_D{B_@d?x?YOM_E[C[@P?h_TORODCAi@R@C?cOP_HKCSAN@C?dOR?GsCSAV@F?doQ?HSCoAR@L?foR_H{CsA\?|_]OMwGWCAAA?~_`?NgD[Aq@Z@j?qoXgK{EUBL@f_goSgICDMAj@S_p?VwK_EEBE@__p?VWKWDyBG@[_k_TgJ?DmAm@Y_SOIgDKBM@h?q`C__wOkGQBcA?_x__gMGGEB}A@_}__gNoGABx@y_|o_oM{FcCJ@w@AO[?McE{Bl@m?yoY?L[EsBT@h?uOgOHSCqAVAM`EobGRcHuCvA`@KOe_S[HcDDAN@OocOSSH?DFA]@Cog?P[H{CTAF@No`_RsG_D@AR@Ioc_Q{HOCl@d_roXgU[JUDhAy@TOmoTcIkDrAh@[omoTCJgDNAo@ZOk_VCJCDnAc@Uoh_TsI{DJBC``OowWwJuEIA}`b?nGX?J}ESB@`c_oGZOH}C|A__\OMWFCBM@h?q_mOVgJkHICfAS`CoawPSGYCNAG`Bo`gPCJyDxA|`x?zG]_MyFeBl`r?ww[wMUFOBc`s_wG\WMIFSB``m_wwZwMUE{Bc`n_wgZgMAE{B``v_ug]GLqEuBo`l_yW\WLiEwBi`kOuWY{NOEnBr@kO{_ZKLOFXBU@uotO\sLWF^Bp@iot?]CMWE\BO@sOxoX{LCEVBR@eos_XcP{@J?f_RPI?GsCQAJ@p_xo[gMcFYBj@j_uoZGLsFAB^@g_tOYWLSEaBRAc`QohgS{IeDPBJ`eOrWg[SUIHD?A`pO_gkSCIHD?A\PO_fcSCHvCvAWpKofKR_HdCsAWpKoesRSHdCuAVpL?eCRSH\CjA]pNodkRwHXCiAWPIOdsQ_H^CgATpI_dkQcHXCxARpLocsR_HJCyAQpN?c{RkHLCXA]pN_b[R{GtCSaIpCwaSPEG`CFAPpAOccO_HDCaAAPGo_sQOGJC^A@PGO_[Q?GBB}AMPF__CPsF~C^@|o~OcKNoH@BwAMPFO^KPwFtCUAEpE?`{P[G\BtADo|_`cOgFnEM?QOGwCSXOJHDeaqpWWk[UIKaD]an`cgk?XMK]DZbG@VWpoTqIoEPal@cwjGXIIiEOaj@bwiwWyKUDQai@bWp_TMKWDObE`SWpWS}IWEGaf@aghgWeIQEGad`aghOWeKCD~b?``Go?WMJkDxa{@]wmwViJ_D{ax@^gmGVuJ]EDau``gloW]JWDrat@\WlWVQIKDfas@QGgwUe@J?f_ROHWC{AYM_BW`kotwgsSaINFObhPsWxk[}M\FLBhproyc[wMjFCBdPp_xc[SMVFFBdPqOxc[_MVF?b^PnwvkZqLvEwBbpm_xKZcMPFCBYplows[SLlFQBXPsOuc\?LfEnBhpkOykZ?MhEkBIPd_tsYsKjEdBRpgotCYOLLE_B_pg_w[YCMDE[BNpe_rsXkKzEVBSpeOt[X_LT?a_QOGwCcAI@FGNAMPFgbkQMHDCcaDPBG`[_WOXGGCFQ@p@k_gOXGHCEqAp@s]WOfFfCIPxPAS_MOJGCcCa?H@W_IOSG@b}AAG~W_YNsGFbzp}W~C`?NfGPBxQBo}K]wO^FoCGpzpAC`GNVGSBuQCo|k]_OjFiCJpyPAs]EN@F^bqPww{S`SMlFWCJqD_y{\oNzF\B~p~_zs\cNhFYBzPuo}kckKPEIbCpawpkWqKfEQbGpuWz[\iMlFWbjqTHIkdYQlHSciqQ`I{c_QrHHCkQFxCC`yQUHDcbaRXGocqQeHAchAPHIGcMP}HIccAOXHGcAPlGwcZqTpDkdcP^HWCVQI`H[aoQZGjCeQI@ICacQ^GfCfQSPCcaWQfGdChQGPICcwPFGaCfqEHBS`eOvG[cMqN@EkbKP|G|CYQK`FSb?PvGpC[prgx{[uR|I?c~q\XM{fYRUIMctAbXLGg}R@HacoqVpPkdwS^H\DFQXPO{g_RHIHCpq`PN[fsSLICC}Q_PNCgKRtIAC{q[`PSfOSXHrDDqZ@L{ewRbHlCwQU`KsdoRPHfClqfxSKiATXIldTqfhRkhqSqIgdTAexTGhiSkIadKAhHQwiMSeImdIakHQ_i}TKIQdGahxSghAUQHHcdQQGx[[qMTG{c]qNhFSbmPrIZdLQeXX_lQU[JRdeashX_k}U[JPdeasHXOl]UiJJdjAqXWskaUNJVDbQt`XClSUNIyDhQn@YcjkUfJBdaqpHWCkEUDItDdqq`UsjOURJNDWqsPU[l?TdI~D[qlpVkj_T|J{CEQBh@kgQSLIDd@q_XOSdqQvHYcmqVhJ{j]TpIxeDrBH`ko_WVKLEDRB@`KoSWPKFECr@``SoGVzKCD~R?p^cnoV~K@D~Q~P_CngUtJWD{quP^[oCVnJwD~q|`_CnMVjJsdwQ{h]KmwWLJlEBqzp_koGVTJkEAQyp_[ncUvJyDmq}pZcmOVNJeDsqxP\CmKU~J_DpQwPZssCXXKmeUrIxdSqeWuK{e\bFHbOruWmKzeKbNXb?rqXoKSe\BDXfGpYXoKPe\BCxfGpIXcK\eNBLHeWp}XKKteSBLxcwrYXEKneQbKXc_rAW[K_ePBCH`wqEULJGdbrBhaCo}Y~L_eorUxjKtiYlLVekRTPkKtKY~LSEoRS@kStGZFLcEgrN`kSs?ZFLcE^rQ`gKsKYXLJE`RV@g{twYRL\EcRP@hks{YLLMEaq}x^KniVBJadprNhgCr}[LMGfBrY`oCu_[DLhF?r^Xn{vyZnLxe{R``mKw_ZfMFExR[@oKu{[DM?EvR`Pl[us[HLkF@rXPo[wSZNLeFAR]`mcvoZjLzEzRMHfSreXvK|e]RXxkkuY\_MiFUrj@t{yk\\MMfERbXtGyE\MMafSBgxrwyu[{MmfOBjxr[xu[xMkFKRi`rSyk[rMTFQRh`q{xW\JMfFHRiPqcy_[fMcFFrh`qKx?\JMHFUraptswg\^K}e_RNxpKwm[TNJFfRrPyC{o]^NGfdRqXwk{]]LNAFgrspwc|G]FMuFfRm@yCz[]^MoFgrs`uSzC]fMrF^rlPwKzO]@M{F[rn`v[zs\tNhFiRypys}g]jNgFprxP{s}O^NN_FmRw`zS}C]vN\Fjrv`zC|{]rNkFxR|@|s~K^ZNtFvr|p}K~W^`BT`jOtGlkU}J\DiauPYw{{]YNJFhbtPyHK[eURHHncwq[HUcjYTjIpdXqkhcsq]XPKbeQrHHlKuiZPLjeurZHuczU\fM{f^RnYCPAa`SOcgPcIYC@AU_}OfgOcHiBx@q`AO]gOCFYCP@e`GOZgPcEiAp@q_oO]gJcFYAh@e_gOZgLCCyAh@I_aORgICCIAx?}_YOWgJCBi@P@I_WOOgDcCY@p?a_QONgEc@y?`?]_QOEgAcAI@P?E_WOBgDc?h~p?Q_?OEf~c@X~x?M_?OAf~C?YDO~i^oOgf{cIYCg~m`MN|gRB~IJo@Y?p?V_LoEgBLEg?|?\_MS[?B{AE@@CdaRpHgqcXYKjEVbKpeHDSaqPVG`cPqGhQ[hUShIQdGQcX\kmyV^JiduQyxgKsMYDLCearPhqSxQ[fMNfGRcXzS|q]vNVfkruIRhH]cqQ]hKCfyRPHQcwQUhLcdYQHH]cqQRhKCciPpHQc_QUhFcdYPpGmcYQOhFcbIQPGacaQIhHcaYPhGYcMQKhAcayOPGacGQIh@caYOxGEcKP~hAc_IOPFqcGP}h@c^YNHF}buQ@g|C_IN`FYboP}gzc^YNPFUbuPrg{c\IMXFYboPtgzc\IMLFIb`PogxS[YLhAq`YPngTcZiJ@HuasQ]gkcfyRPDUamQ[gjCeyIPEmbWPSghcYiL`C}aaPjggCYiH`E]a[PhgecYIKhCeaUPegqCQiKpCYbGPFgqcQIGXE]aIPhgaCYIG@EIaCPbgocOYFhDy`{P^g^cWIFPDy`wP^g\cWIExEMbCOxgocMILpBQ`kPngYcZYJXBEayOqgmCKyDpDq`_P\gVcUy_o?i?X?J_EoBw@tPG?d?O_GtE?A[@Q?jSWiLTEYbLPigpSTHOTDqSTPWdBS?Hdt?aXdKggBRNI?t?aXlO?e\SSHcTCaW|PKeRRCIISpaa\KSgdR@IGTCQW\KGg^Q}IEsnq`tOoe@QzIGTCQVlJog^SMH[Sma`dJcgZSIHYtAQU|OkdlSGHXt@aUdO[ddQnIDSkQ`LJ?gVSEHUSja`DO[dZQhI@siq_lIggHQeIIsiAa|I[glQbI@shQ_lIOgHRsH|S}q]tNofjRpHzs{q^LNGfpRgHvS{A\TMcf^RfHusxQ\dMWfVR[HpSva[dLsfFR`Hksuq[DLge~R|Hhs~qYlNwehROHjSsaZDLCenTk?JoEGAs@a?n?U_KoEwBS@m?r?Yi~?FWBs@q?z?]_MT?I_TOEkGT}j?D`YnxWYkAUCj@D`ioXWUjYTyi{DZil`Vej]Tyi{D[YnHVAjwTqiyD]ynhVMjiT|izd]ympVqhHSeiQtIYdDQ]jAUAipD_yk@WEk?T\ind^ijpV}jiTYizDUymxTqimTpikdZyj@VAiiTkijDZYi`UyicTrihd\IiHVIjQS\itdEyb`UijQS]itdGIlPP}i[TeigDYIhxU]iOTDidDPyhHSYiYTBieDOihXSQh}Sxi_dMyg@RihkS{i^DMIfhR]hgSniYdJYeXQyhWSpiXDIidXRAhATbiPdXYcPUQ?T?K_DoBG@[?i?Z?N_FOBW@{?ynA?P_HOCGAC@E?dTjistYiJdDuavPdgrSXIK|EebPPlgvsZi{x]EnEVhjpDyI{p]anGVhjqdxyxx\mmaV\jgDvIzX\QmwVQjmdsy{@\Ym}VTjjdviz@\}msV]jkdwIx`]im[Vkjedyy{`[enKVJjqdqiwx]EnEVGjpDpiw`\imoVDj`duYwP\QmeV?j_dsivh\UmmU~j^DtixxZimaU{jgDmyux^MlqVtj[D|Iu\ZIlbUtjZTlItp]ml_VkjVdyitX^MlYVtjUD|I}PYinaUhjwDiI|hYUn]UfjvDhi|xYQnYUajvDgys@^AlAVqjwdfyp|WykZUOjHTcYqlXMkhUVjJTeIr`W]k{UHjMdaIpPXekWUZjDdei_\OUgHSKiEtBi`|PEg`STiJtDjIX_aqgWHkieAjBhcio}XKkNEQzBPciowXKkLeQzBHdQqiWVkheEJA`cuokXMkIeRzI@`EqcWRkgeCj@pcuo_XNkFeRjIP_qq_WLkgeAy~d^ynzV~k?u?J?T_MoHWEkBu@ZGxbYqQWvkcELZGpbMpgXCkaeKjDxcIpaXBkWEOZFXaupyWmk]EJJDHbapsWjkTEMZD@cApMW~kRENi}paMnoWdkQD|y~HaInuW`j|EGJPHdYsUXWlDETzNhgAr{Y@k~e_jNPgUrwYCl@e]zLXg}rWYOkuecZL@gqrSYMksebZMxeUrMXxkrE]JMHeIreXbkxEXJMpeEriX_kyEVzJ`eyq{XokmeZzJHgYquYGlBeUjUWAE?~?__NoGGCLKieXRJhesryXtXekvUYjMTfirlkOtxY}L`UorVlj{tvZ@L[uoBVTjWtxY}LZumBVljKtrYtL\ulBVTjSt`YrLXUlBULj[t`YwLXUlbULj{spZ@LLUoBRLh[uFYTLaUdbWTigtZYkLVuirTthGtNYhLIUiBQ\hwtHY_LRUfrSlhstDYbLLugRRdnG?j?S_HoDGAk@MjrTyi{T]yndVugvS\iMTGIbtP}qBXAk`uOJF|bypzWzk]UMJFTbep@WakOuGzClaQwA[Rm@FDJ_XpUwcZ}m?FCJaHn}vu[Fl}fAZ^`oawGZzmBE~J_hnuwYZwmFe}j`pnevs[ImEE}J`XnewAZvlzF?z]hoIv{Zslxe~z_@nIv]Zqlwe|J]@nMvkZnlze{Z]hnAuMZhltepj\PkUwcZgmGexza@mYvE[RlqfDZ[`pQv?[FlpFAZ[HoawYZ\lnfBz`plywGZYmBEvJ_hlmwWZVlkfAj`XlaulZSliusZY\lIvWZNlvEsJ\hkyvSZJleeyZ\XkqvWZGldEzjXHmuzGVZjmtvIzt]Am~Xvk{U]ZMtfQrjXpkxU[zLtfAr^\fMuvZrlLuwzP\fMtVYRldu_zV\cMxvXbmluSzh\cMwVXbmTuSzb\rM_VObmlvOyB[|MuvZbf|u{x|\oM\VMrmTvCxx[vMtVMRldr_zV[pmXvKjeDqyx^\`MTvWrdlqozD[hMoVVrdTtwxP\\MRvHRjdtkxL[aMlvHBjlqKyx\YMNvGRjDtcx@\YMMVURbtt_wz[XMovWrbTpkzD[UMnVEBkDp[y~\NMeVRbiLssy`\QMcvTBhTtKyV\EMivQBi|s[yl\BMYVPRetsOxj]}NWvjzuDyq|\]ln\f^zvhwE|w]?n\f^Jvhvy|w\|m{fmjnXzezs]wmzFmjv@v]|q\wnYfgJuxyI|k]`nMf_jo`x}{{]BnMFkjrXzQ{s]rnHfdJqHxY{c]TnJfbjq@xe{]]WnRFazt@wu|M]KnCFiZpPym{Q]inAfgzshw]{K]clsuyj\\mqv\ZlnsFsJyH}i}c^hnmVvjzl|m}t^Xntftj|h|a~W^VntfoZ|h{M~W^AnsFnj|P{A~Q]~nefxZ{x{}}[^ennfqj{H{q~?^JnbfszxH|U}O^SnpFpJwp}Q~E^DmlVUZjDtmyz\[moVVjj|uEzF\aoEFzk@p~B?Y^noHgA[Aa?n?S_QoFg@k@A@F?__FoIg?{Ay?V?k_Co?GBK?Q?z?A_Ln}v~z~t~m~t^{nzgBz~I@E~o_OoIf|j}i@]~g_UnwgCkAX~M~c_Sn\VmJvLzm|z]{oXwL[EeBB@d_poZGHKFAAZ@m_doZGG[CQBb@m_boNGM[CABn?}_yo[gE{FY@v@s_[oTgJ[DQA~@W_moKGH{DI@j?q_goeGNKHYBzAY_|ofGQKHQDBA]`Ho`GS[GaDNAE`Qo^gP[GICZA?`FolGV[JaDzAu`^okgTKIqDbAi`VlWUkjULsqy\\LmdvQjhL{M}D^@n_Vnjv}Aj@X_joRwI[DEFdBd`yOyW]CM]E|Bj`vOww\cMEEtBd`kOxwZcMeE|BT`pOswYsMEEpBN`mOsWZSKuEXBR`jOsWXsLUE@Bp`aO|WWSNMELBj`vOqw\cKeHc?N?G_Cuzz]DnE{b]QnHvbjqDw}~h^unyv{Z}\~J@x_}o]wN{GMCBDOajpUgikTIIrD]afpQgkKTqIZDCagpQGikSYIfDKa`pRgf{SiIBDCa[pPgfkSaHvC{a`pMGgKRiH~BuaRo}Gd[NiHRC_ajpUgckQIIrCYampFGkKTyG~CWaZpKgakRQGnCqaHpLGaKRYG^CGaUpKG`kQyGVCAaRp@gd[OQHRB{aUpKG_KQyF~FA?C_BO@[[IKFECbbp_GwkViMFD}bbp^GwkVYLzDwb_p\Gv{ZYJ^Dob\p[gvKZqJRE}aupoGl[ZYJFEwarpmgkkXyLVEabVpgGtkYQKrEgbLpfGs{WYKnEIbHpaGqkWqLbEsbGpkgpw?{?e?P?H_BoAK`YO`GFcIQAXAS_UOTGPcFQDX@c`MOTFrbzQBw}c_uNXGDbwQAW|s_]NLF~btQ?w|C_EN@FxbqP~W{S^mMPFVbePuWxS\UM\FZbnPswyC\s?Q?J?E_AO@g?mQpCfaTpIWdkREH^HUcbqTHH[dIQRHKcjqSHI[cyQjGmcnqWhE[bARBHKc_qSHGkcyQFGycbqNHH[byQRHWcYqMHJkbYQvGiclqJHJkaaQrGacnqWhC{aQRBGXcJqExBkaEO~Evb\pmWwKZ}LzHodOq\HS[iQRfIedBqihO[iaSJIec}qihOKiaR~I_czqhHN[faTFHfcqqYXL[euR^IMdLqchR{hASzISdCqeHPkhYSVJOdUqtHUKlIT^I}ddqoHX{kIUZJEd[qnHWkjiURJUdXquhU{laTjJgdvqzH][miVbJ[dpqxh[KlyVJGPcHqDXR[h}SzITdKqdx_CpEWHKLe@RBx_Co]WHKHe@RAx]couVlKNd{RCX_snmV|KJd}RAXeCdUQnHRddqrxXkkeUNJDeYRNXgCrEX|KreWRMXecrmXdKveTRDxacquWdKneZRHXfCq]XPKze^RFxgCqMX@K|eKRJxdSpuXXKZeuRRHk{uiYVLGesrYhg[sYZNLCesrUhiKtyY^L[ehrTHkKtaZJLUeprZHn{wIZbM?evr\HnKvYZzLqe|rJxdkqm[HMPfBRdXpCxM[TMRfFRdXpcxEZNLjesrd_?SyM[o?EfRre_?cyS?HM[fP_?hsCy[?LM]fQ