CAT(2616,2)
Sparse6:
:~?gw_?O?G?CBG@\?k_UoM?EcBI@f?q_YOKwD{BE@`?y_[OMWF{CA@|?v?]oL_FcBk@j@C_bOPWGGC]AE@H_`?QGD[Am@V@Q_gOSWICDEAd@I_eOQwHsC}AZ?u_YoLwKoEIBH@b_qOWgK[EKBJ@c?qoW_KkD}BB@__m_VwJoEEAw@__lOUwJKDKAl@W?ioToIcFwBu@e_}_YGN_E]Bp@y_{o\gMkF]Bh@q_xo[?NkFCBx@n?|oZ_L[EsBT@h?uO^_PkG{B~AM@?Oa?PcGcCTAF@Do`?OKGKCLAD@@Of?EKA}@`?n_WoKGGcCYAJ@S_hoTWIsDaAn@X_loUgOcGYCJA@`@o_gUGIyD_Ar`V_kgT_IyD_Al`V_iwUGIaDeAi`X?iWSgIaDMAi`R?iWTWIIDGAl`U?gwR{IED@A[@POh?RsHsDFAY@MoeoRcHcC|AY@NoeoSCHcDBAd@KOhoQ{IWClAO@Hoc_QkHCChBZ?SOIgDKMCBv@|_}OJGDsAu@\?k_UoMWFSBa@v?|_]OOGFsB}@j?v_ZORGHSCmBL@g_roYwLSEeBj@v_zO[WMCE}GUCDaBp@g_kO]GLB|@{o~_^[NoFtB~@zP?O^CO?FnBrA@O|O_cNOGFBq@zo|_]CNCFpBr@uo|O\{NOF\BiAAoz?_sO[FVBf@uoyO\{M_F\Bj@qOx_\cMgFJBaA@owO_cOGFFB`@{owo^[MGFtB]@qOw?[kMWE~Bf@oOyOZ{M_E|BZ@YOvOUsLoDjB{@hO~_YcNsEfB~@fosO_KL?G@BK`fOrWXKKmETBE@lOq?ZCK[ErBp@`opO]SKOF`BA@kOo?ZSKCErA|@ionoY{JwElAy@ion?Y{JkElBZ@ZovOVKLoDpD[?ROHwCkUGAF@@_`OVGJsDuCNAH`COowWcKUJaDmawPZwlWU}JYDmau@[GkgUaJSDfar@YWkOUUJGDfap`XgloSaIQDoav`PwfoUmI?Dla^`ZGfOUaJSCwa[`YWeSRQHfCnaWpKGjwQqJACmao@JWdGTyHUD[aT@VWjGQMIsCdaQ@Uwc?UIHADcap`GgbgTeG}DYaN@UwioPmIoCYaj`FGawTqGqD]aK@VWa_TYGkDWaI`TwjwPEGeD`aH@WGhOTMIiDKai@QwgWSQICDEa_`PWhgRmI]C|af@NGegTAHmDQaZ@SW`wQYG_CfaS@Bg`?OmGSCLaC`BGvwAa@T?h_SOIgDK[_MIE~bb`oWwo[AMCFDba@pwwW[YL_E~bX@oWuG[ALXEjbTPo_s{[OLRFBBSP_GoKWIJsE{a}@ngnWZuJmE{a{`ngn?ZuJiExaz@mwvOVQLqDpb\@[wvWVILAElbP`jwsOYyKwD|bM`^wrWVyKoE]bK`fwrOYAKiEubJ`mGqoZ]KWEPbF@cGpgW}LeEHbD`lWu_WiKKEQbC@dGowXMKEEcbA`hgo_YU@J?f_ROHwCsAUOSBT`jotgZCLiErDpaxp[hAO_eO_GFcGaAH?g_AOKF}cA@~x?__EOKGBcAa?gxo_iM_GKbfaAw~C^eNtFtbzp|g}O_ENgGBbxa?g|o^}O?Fkb~@zXA?]eOcFjcG`yg{o_iNOGKbraAw{W_]NIGHbqAAGy__uO]FUbiaBgyW_yMaGLcF`sgxC[iMRFJbeprG~W\uNyF^b}@vg|w\iNaF[bw@uwyw]IMoF_bk`wXH_TYIpDVakpUwjST}JBD_aEPAw`kOyG`CNaCPAg`KOaGRCIcnAThK?d]Q}HTcjAUHIgdiQmHXccaUxJgciQwHJcnAQXK?cmQ}HIcbqQHGscKQvH\CaqV@GcdGQ@HSC`QSpGKbaPnGxcXQKxEKcoP\GoCfQRPD{coPXGlCfQIpHkacQ^HPCTQI@ICaSQdGfCiQH`I[aGQtHWCQQUPC[dCPBG^CfqG@IC`YOnGWcKqExBS`MOjGScMAMhF_`yPuG\c]aLHFwbYP{GtdO@mWv[ZiLxE}b]qg@LkiGR^I`CvQbHPkgmSRIIdCQg@N[iGRtI`C{q[pS[fSTJHsDQQgpMCfGTJIcCwqZHLSemRNHhcsQf`KceWSzI^CqqW`Rkh{RFI]Coq`PQKhKSNIEDHQ_pP{gOS`IADFQd@N{hWSBITD?QdpNcfwSrH|DKQ\`RSf_SxHvDLqiHSsi]U`JQdgqjxUKjAUSJLdeArxXWkyUAIyd`amXWOjaTiIzdZanXUojqUGIqdYAphWgjMTWI}d_AjhVwiuTUJFdSaqXTOkaMJFFbbQNXF{byPtG{c\qz`]cnWV`JnDyqz`]Kn?VfJnDxQv@]cnWU|J\Dyqyx\kmqVPJidsqwH[Kl}UkJpdkA{xYwnIVCJddqAxx[WmYUiJZdkatHZOlMWoI]dNqfX?c_YOJGHcBqAHQchYSjIPdHqchQCgyS^Hxc|q]hZKlmUtKnETRJ`dcqsXVK_EURF`dSp{XVK]EOrGpcCqGW~K\ESRF@dKpkXNKcELrH`bkqSWxKTeJRDxdopYX]KTeJbJX^gqEXEJ~ePA~h`{pAWbKKEQRB`csosXJKHeDrAhb?oYWsKGeKb@xb?oMWGKYeKb@XdGoAWCKge?bHx^OpIVwKSd|bCx]wpIVqKSd{BCxlGciQRHJd\qnXVcjaTtIxeBrAH_su{ZdLpEyR[@m[v?ZVLpEtRZplKucZZLjEvRY`lcuWZhLqEsRXpm[taYrLVeiRThikuWYbLgEhrXpiSskZXLLEvRR@lkroZFLdE^RX@fkuSXtKzEprX@fKu?XlKwEpRWPe{rOZ@KtEpRKpkKsSYzLFEnrP`jsswYtLOEmRRpj[s_YDLCEcrOphSr?X~KqE_rKPgCy_@D?c_Prj_CSAQ@FK~e_rOHuGym\eMlfXBjHuGyy\eMofXBjxtWyy\YMofUBjxsCyE[~M[fNRfXt?wA\SL~fSb^hn_yUZuMffRB^Xn?yUZsMffRB]Xt?v]\SLtfSb\hqoyI[oMcfJbgxqWxe[uMTfIBehq?wM[aMAfHB_XpOwu[WMNfDbbhowwQ[IMGfBBaXaSpQWfKUeJrDXvo}M\}N`f]bwhzc|m]zNVfirthyO|y]gN_fhbvxzo{A^?NAfnboX{Oze\mNbfobmHxG{q]UNMfdBrXx?|a]sNEfbbuXwWzi\wNDfaBmxu_{}\kNPfYbsGCSAQ@FL_epRWXk[uUZHLferRYH{c}U^LN~GAs?Q?|??_LOJF}R~a@l?o^zOHF|SA`~[~c_PNuG@R}A?c~[_FNsG@R|Q?c~K_FNofxR{X|h?U^]OFfvC@h|`?a_SNigCbyy@g}]^QOJfsCBHsky]\LMjfUrjIDTAm`ROggRSHyD`@i`[O[gUcEyD`@]`[OXgUcEIA`A}_kOpgIcKIDx@E`aORgWCCiC@AM`COdgOcHI@p@u_}OOgFcFiGHCQaEPEg`CPYEPBya?OsgXcNyF@C]`sPHg[cQIEhBm`mO|gZCNII@DMacPTggcTIHhCiaWPNgdcRgRKHiCvDBa_pOgf{SAH|FVbkpuGyK\MMdHmcvqZXMsfaRnJUdkQtxYklMUhLMegRRxhCsiYRM}f]rnxwC{I]BOMgGSByCDAI`BQEH?S_aPDG[cBQBG}s`QN|GOb|PyG~s^ANtFkbzPvH?S_aNLF_cBPyGyS^AMtFkbjPvGws]AMTFcbfPmGws[AM\E{bdPtGtsZQMtEobhPnGtS[ALLEwbPPkGqsZQK|EWbVPbGrsXAKlEGbLP`GtSYAKDEca~PaGmSXAJlEKa|P`GmSVaJ|Dsb@PUH@sUAOlD[cHPXHBSUqPDDgcNQ{?KODgA{@m?r?Yhc?FgBc@ue[?__OoFw[CLyE~EHbDpagosWaKNGacQQGxCKaAO~IkdVQjXTKimTTKBeAr@H_SoAWBMAf@r_XocwU[LNjfuRyh{{}e^POqgYSKyElBY`nRuH{S|q^TNSfrRzHxS~Q]dNoffRpHzS|q\|N?fjRrHuS|A\tNGfZRhHvSyq\dMgfZReHvs{Q\DN?fNRiHqSxQ\\McfFRfHosyA[TMWf@RdHnSvq[\LsfHRYHosvA[TLkf@R^HjsvQZLLwepRYHiSvAYtLkejRPHjssaZLLKepRQHiSsqYtLCejRMhgSryYDKye^QHHdsaqXlGgeXQuH{SmA^TJ[frRzHXs~AUlNsdhQoHdSkaXDJCeRQnHcsqaTlIwePREHTSpqTdKSdVQfH`SpATLI_eFQdH`SpAStIOeFRFHPSgqWlKWdBQ]H_snqSDH{e@QZH]SfAVtJsczQWH]SeaVtHcdzQ~HIsoQQ|K?clQQHdscqXdHOeZQyHFsmQQLJkc`QxHESbaV\GsdtTc?EOAg@[?y?^?Liw?CWAC@Ijk?R_IODYnDVYjnTui{T\y^pVMjiS?iyC~yd@T}j?SiinDIYk@Qui{SjindJImHQUhMToixDHicPVAhGTqiPd[YbxUuhATniODZib`Uqg{TjiMdYilhPej]SZivDEilPPajWSVitdDiaXU]giTgisdDIkpPAgcTciGdXYlHOyg]TfiEdYI`PUQgWTeiDdXY`HUEgOTbiBdWi_`VMgKTtiyD@YkHOEjESAipD?yj@TIieTXiiDUiihS}imTPijDSIh`S]iOTMiedPihPSUiUTBicdPIg@RiiCS{i_dMyfhR]h{Sxi^dMIe`TmhkT\iYdVIdpREheSoiXDJyxO@a?n?U_JOEGA{@m?t?X_KoEwBT\o?x?]_MoFGBk@yi|T_intwqzt]OmzVaJmTwaz|]OnBVbJoTqayt[ompVVJdtrayt[smpVVJftuqyL\gmdVXJgTuQyd\kmjVYJht`IoTWMkLUFjAtoA{L\{l~U}JoTmqzdZsm|U{JmtmaylZ_mhUxJhtraulZ[m^UuJetkaxTZOmVVKJXtkAyLZCmdUnJgT]axDVkmRTxJbtqAnd[cj|VFI}toQtd[Kl\VAJUthQtDYKlNUcJRTgAtLYklDU`JTTdqrlXck~UWJNTeaqdXWkxUTJLtbQq\WkkbUKJHTbapDWgk`UNJCt^qwdWCmLU?JaoAg@[?q?V?I_EOBW@{?y?Z?M_FuNoAC@I?b?Q_GOCYxD[emNQxh\smiWTKQeFRDhbspiX\KueXXDK^uPrGLcWq@XDK`uPrGdcWqDWyKVUJrF\asprWyKWUMrETbCprW{KXuNbElbsphW{KZUNRFDbwpnXPKTUSrDddGpVWfK`uIRGda_qDWcK^uHbGDaSqBW`KZuMBC\bWpDWoKNUKbCDbCo~WZKXuFREl`ophWlKKUERD|`gp\XGKIuQbA|ccolWNkGuCJAT`QofXGKEUBbHTccoZXPKCuSr@TdGoVWEKfUSB@D_[q^WCKeu@RH\_KqXXJK?URR?TcooBV}KfuSA~|^sq\VjjutzI||^An\Vpjxt{i}l^YnhVdJ}T}a{|^knLVgJzt}Q|T^_nRT`iptWilTUqjVTlivtZim\VUjhXeLWukrLDe[tdYgK|u^RTTfotRYgK|UibNDicrrXtLWukrM|fWtdXqLTu\BTlfKtXYmKvu[RUDi{r`YjKuUjRLlior\XhLVUYrUDegt^XYkmUUzJld}q|X_kpUWZKleMrHYRLQudRS|hOtLYcLGucbSTiKs`Y`LEufrP|i?s\YKLLUabR\gksrYFLJUaRRDg_snYCLMUfbOthssJXSL?uTbO\dSsDX}Kju_BJLf{qpYsLqUlb[tjSvJZZLnUwBZll{uxZ`LkUwrZTmGurZHLuuqr\|kgv\ZiLbUzBXDmkuNZTL`utrWllWuHZ?LfuobYLkCu`ZQL]utBV|jwufZKL\UrbVdkstvYvLrumR\Lj_vP[P?NoGWCCAA@B?^iTTIYdDQuhXSjjzt}Y~D^inxVzmPFEzb`qAxA[YmJfFjbHp}wo[\mLfDJappqws[TmJfCjbHpMwo[PmFfCja@pMw[[PmGFDJapoyw][TlzFFZ^@p}vm[]lyfGZcPnMvg[_mDfAJ`hoiwW[HmAe{J_xnIwKZpm@E~J_`nywEZ|l{e~z_Hnmw?Zymg?DWAc@M?h?T_HttizD\]mtVXjlt]in\Vej|T|i}UfzSLiAsxY]lMuezRLhislYWlJu^jODf}sBYBl@V[rkDvCzB\qMnvZbjdv?y|\nMmvXRj\tgzN\XMrVURkdtkzD\bMlVYritt_zZ\kMjvYBitt_zT\hMjvTRkLtKy~\SMoVSBjttoyd\PMmvRRiTs{y`\MMgvRridssyj\MMhvGrg|qOyP[dMcvZbgdv?yL\nMav[RgLsKzf\AMxVNbl\s?zZ[~MuVXRf\u[xz\eM]VWrfLuOxt[wMpVYbelr[zR\gMZVKjedrMx^[pmWVJBhTqwyX[lMdvPrdLscxV\GMTVHbhTq_yX[fMdvobFTbmprW}k]UNZYll]ulZQliUszX|lEu`ZKlfUrZwx{u}W^DnbFqzx@{U}M^HnbFqjyH{I}e^CnhFozwP{y}G^On`frzyHxy}e]_nhFfzrX{m{y^LnMFrJrP|A}[]WnffeZx@xU}S]VncfdjqDxE{^]MnEVbZpH{E|}]Jn_Fajvhwa{M]}n]F`jvHwM|u]DnAFmjo@ze|u]An?fmjnpzYz}]vm}fmJnPzYzw]wm|flzw@v]zq]~n_f]Jv`vU|{\un]f\JtPyu|W]nnTfjju@y]|c]hnWfiJspzU|I]rnYFhJqPyE{g]bnHfgkBa?v?^_MoDWBK@\|x?t^^OLvvSBM@c}t^[OLwEbz]@_}n_UNkwDrzE@W}l^TOKVtCA|}@?B^aO@vwS?U@K~~_TO?V~cAd~`?`^yOHV}SAL~O~`^qNwv{r||~S~\^kNzv|b|l}d?H^jOBVyc?m?_~L^gOCvxs?|}K~v^|NqvxB~ds]yR\GmdvRJhUBr@t_zo[wMKE}BPAR`JOZWQcEmC\@f_qOcWPcEM@|AV_`OcwQcCECX?x_]OcWPsBmAlAF_lOawJCGeAd@~_iO^WNSDEAx@J_oORwJsCuC@@D`AOQWOSC\zY|p]vn[vmzvTzq||]|n^voZwECxB``LOxWRCMMF@BP`qOsw[SK}EPBT`kOrWYsKmEDBf`bOywWcMeEtA|`_OvwZcJ}DvAv`[okWUkJMDTBT`kOjwYsIuEtAd`nOiWZcI]C|Bf`POywSCMe@Z?p_VoKwE{BUFZBp`vpGwckQ]GHChaCPJW_sQmHPB~a@PJWdSOEH\BxaXO~WeCNmH\BraXO|weCNUGxCTaOPCWbsPMGTCVaLPBwbCOuHhDRa[PTwesTUI|DLapPSWkCS}I@DXaaPVWjSSMILCzadPNWhCR}J`DvayP]wmSVeJHDjasPZwksUto}w`[MnTVjJt\y]|R]goNwG[CE@v?|_[pDWa[PEGVCNaEpgGtkYQLbEabVpfgtKYiKvE[bRphGqkYAKrEabJpbgr[XyKfE[bGpagqkWaKrEKbJpaGp{WqKfEIbGphgnkVyLVEgb?pjGo[WYLbEmbApz_@w@K?ayZ\NmfVzz}L~A~X^mnuwRkHmCrA^`PogWekReHnC~a\pNXAC`eO\G\cEQExAS_]OTGVcIQAX?C_]OTGDc@QAX@c^mO\F~cGP~W}c_ENpGDbzQ?w}c^}NpFzbzP~Wuc]MLlFfbXPxXAS\uN@GVbnQDWzS`uMlGZcKPuWyC]}MhFrbhP{WxS^MM\FpbePzw|c[UMPFhbtPpw{SZ}NLFBbqPoWvC]mLtFlb]PyXNo?c?Y?Jc]Q^xGCgMP|I@cZQ^xFSgMPpI@c}QLXNSbERpGrcTQ[xDsf]PXHtcQQ[xDCf]PLHtc}QFxCCfePDHzcrQUxLSd}RPH\cqQUXKSd]QhH`cfQZXISe}Q`HpcbQQXHccMQHHJ?F_CoAG?{?e?PdhQoHXklAUJJAdfqphXklAUVJGdfqkHX[kYTfImdcqjHW[iaUJIid_qhhVKjYTFIcdYqmhRkjyTBI{dNqdHOkhISRIOdBqdhP[gySvIWdE_AO@g?k?Q?L?DrDG{k]]NFFhbupyx_SpEWdKFeARBx`CpEWdKLeDRBx\SpmV\K^duRFX^coeW@KLd~RAx_snmWDJveAQ}XacnEWpJteJQ{x\CpUVLKXeJQxXbcmEW|JbeLQvxY[l]UjJ\dkquxM[f]RjHxc}q]xeCuUXXLfeVRWxfstuYDL`e_RVxksruZDKze[RXXjcrMZ@KvenRLXc[qUXBKfeTrIXjCsmYtLNejRRXgctEYPLReiRPxlSw}ZXMPfERYXosvm[TL~fCR^XoSvU[HLvf?R]XlsxM[lLrewRdXrCyU[xMhfLRhxrsym\XM`fVRgxXklEU^LXelrTxiKtUYfNGf]rrHwK{i\~NAf]rphwK{Q\~NAfXrphuk{Q\bNGfZrrHv[{i\rNkeHrCX`{w][RMJf?r`Xo[~a^ZNof}rzh~[~A^jNufurzh}[{y^RNefhrsH|[~I^BNufqr|H{[|i^rN]f}rvH~[}a]jNWfrryhy|Aa_PObgASHy?tAU`HN~gPS?yCt?E_xOVgLSGYBt@e_TOPgFSDY@d@M`tOhg^SJYFdAm``OvgYSJyETBe^RNjfrsRIGLDAaFPMgasPiH|CiabPGgesGyC|AUa{?AghsW_?tDUb??CgjsV_?dDeaw?AgpsW??tDn