CAT(2640,3)
Sparse6:
:~?hO_?O?G?C?[?G?D?BO@G?k?Y?L?C_AoE?AS@Q?j?R_JoDgB?@q?q?\_L?EwFGBI@b?o_`?MoE[BW@r?v?[oM_EcB_@v?y?YoO_GCCS@x@F?^OOOG[CW@z@C?^oRGHKCaAZ@I_doX_ICDMAd@N_fOSWJODYAm@\_k_VwJWDUAw@S_k?VgKWEYBM@`_p?YGKgEeBG@j_t?WGNoE{Bh@o?yoZOM{FWBX@p?xoZ_MSFkCD@{?~O_oNkFgB~@w@?o]OOCA}@\?n_VoJgDsGyCXAJ`DObWP{G}CVAI`EObWPsGUCPAF`AOaWOsIS@V?k_UogwS[IIDDAc`QOhWSsIYDNAf`QocgQCHECfAT`IOdwRKHmCpAY`JOfWSCH}CxA]`OouoDCAa@T?i_SoIWDSAa@R?e_RoHwCsA]@LAc`POgwKcEUBB@a_poWGNcFaBr@y_}o]w`WNeFtB{`}o~g^[NuFvB{`{o~g^SMiFVBi`tozG\cKyERBI`dorGXkK}E`BP`iOsgY[KYENBE`cOpwXCLcFtB|@io~?YsL_FvBx@lO~_Y{LSFZBU@vO{_ZSL[F`Bp@kou?\{MQFJBg`rOxw\KMUFPBc`rOyW[{MEFDB``powg[[LyF@BZ`novWZcNCEzBZ@vow?]CLoFZBq@nOvo\sKcDjBK@[Oq_UsJOEVAv@eor_VKJgE^BO@\osOVkLGD~A{@iOsoVsKIEFBC`_opWWCJGFnBr@VOkO^CI{FhAr@yok?]sI_FpBr@Uo|?TKNSDTBu@UO|oT[Y[@H?d_PoGgCKAI@D?`_OoGwC[AQ@J?c_QoFgCC@}@`?p_WoKGESBIMAF?b^poGwCZ}L~Exb\pmgvkZyLxDva{P]gnKVqJvDwa{p]gn[V]JxE?b?p_wokWQKDEIbDp`go{WaKREWbLpfWrKXiKxE]bNpgGsKYMLDEubZPlwu{ZaLpEibTpjgtcYuL^EtbYPkguCZMLbEpbXPkGu[ZULhEZBRPeOscYOKtEeBMphOrcX_LJERBNPfoqkXWL@EaBIPdos[YCKdEKAQpbOccWwHFCgBFpcOc{X?HLC]BIpG_q[X[G~C_BHPFOqcXWHBExAwpm_mcZoJdDtB^P\_vkZkJfDoBDPaolsU{KRDjBBPZ?o{UsKPCmaTpIgdcQuHRE?AkP_Oi[TOKDDTB@pTookTWKHELAepboh{X?IdEKAgPcOiKWwI\CvA}pLOnkRWJ|CwA~pM_n{RcJ|CnaXPKwecRAHbCQaIpDga[PQGbCJBRpB?tCOsLRCMBSpi?aCY[G^CFBTpj?`KYsGLEmADPjo_kO_LTD@AqpX_gsSGJNDiA`pP?lCSSJRDZAbpUOhCSkI|DHAlPR?jcSgIzD^AJpW?bCUCGrDaALPWobcUOGvC}A?P?Of[OGHxB~A]pO?_cR{GFI[?KOEgBc@m?r?\a}P]gnKVaJvDva~P^wnkWqK\ELbGPcWp{YQLLEd_XoMGEcBU@l?v_jOTwJKDUAp@S_iOTWIsD]Ar@W_lOUwJkDyA~@[_mOVWJsDiA~@Z_ooWwKCEQBJ@a_rOXwLKEmBP@i_}O]wNCFuBr@y`HOcwQKHAChAT`KOdwRKHmClAY`MofGRsH}DBA_aOpFWbsP}HDC_aRPGwccQaHNCdaqpXgk{UaJTDha]PMwgCRuH|C~a_pOggcSYIFDDagPRWh{SyIdDPaKpEGa{PmGxCYa?O~w_SOMGHC@aCp@g_kOaGNCIe[BE`eSpkXfK[EZrFPekp{XlK]EYRAH`KomWXKIeEr@x_soIWFKCeAq}@dcn[X\JyEWrJP^Kq{VvJuEWQw@_CmGV~J`D}r?PZ{mKV|J{DnQt`cClGXBJVEQrG`YcqKUfJTEQQr@`sksW^JMEGQrpaKlCWfJOEHQ|`WCn[UBJAD{q}@W[nkUJJyDaQl@acjSWpIxEIqlpasjWWrKVD[QlPVkjOT|IwD]QlpV[jWTtI~D[qgxSciUTDIfdRREpS[iOW~K]DRRFPS{poTJKYDPQf`WCh{UDJ@DMQg@W[iCUHJDDMqdhRCheSnIYdLrK`QCrKSbKtDHQcpeshSXnISEYQapckgsX@IIEOrG`PsqOS^KbDERB`O{g_W`IGEGrCpO{gcWdIHEFq_P`CosSFICEDq_``KooSLIDEDR?`N[g?WHH|EBq^`_[f{WJKEC}Q]@\SmwRrHtDvqz@NSmsRlJjCzqwPN{g?U|H}Dpq^P[SfoU~J_C|qb@ZkgkUtJWDFQbPZclcS^IIDlqiPNKigRpHtDSQ\`TCicRtIiCzprWyC\IM\FNbgpspac\OWjFUEJPu@a{pcMjKWBjq\@[sfGVNJdCwQx@L{mcRbHrDsQYPdcqwRTKlCtrJpLcrCR\KoCuqipK[ioRHIlCqqj`Kse_T`HfDVqVXKSd}R@H]coqc@J[doShHVDHQdPJChKQrHYDGqSP[cdGVPHRDrqT@[kdWVLHTDsqQp_CcsV~J{CfQ~PH{oCQ`HKD~RJPGkcWXXHFEWQQ@eKq{QTKmCcqO`e{rGQBG~EXqO@eccOXlHBEYrH`FKq[PtGzESQN@dKbwXVG|ETQM@U[bOTbGtDWqL`USbKTfGvDXQp`Dkk[P\JGCVqK@XKkkPdJICWqjO{KikNDIoBoPx@T{ioM~FbDVQHpOKa_SFGhDAQI`OSaoSLGjDAqe@CSh[PBIYCPqepCcaWSlGdDKqEpY[`oUhG\DhQtpCClSO|JUCNqE`X[`SULGUDbqDpXC`cURJICKPxPXc]WUZFfDgqr_|Ck{NTFhDgQAP]C_gVbGJDxQB@][nOO\GLDyqBpRc`?SzI^CHQgPA[hwOhGPDOQ@@]K__VjJoC@q@P]S_[VfGEDyQn@?S_?TvF}D^P~pVSj{NzG@D]qu?~C^kUrJYBzp}`Zk^oUvFxDmP{P\{msNlJmBxQyo}[^SVTJkByRIoxc[[XNFGESRH_xKqcMVFIETPogwk[YMFF@baPuO|[\gNZFmBlpzozc^?M|F\BuS\_@{?y?\?N_FoBgAC@E?b?P_GOCHNSfYRnHwcyq]XN[fqRzH}d?Q^xPCg]SRIIdDqbHPkg}S\ITdHQcHQ[hQSbIUdJqeHRShmSr?Q_IODWA[@]?l?R_HODGAk@]?lBI`fOqwXcKuERBN`gosGYSLQEfBE`cOpwY{LaEjBU`lOuWDkAm@V?l_UOJGFcCE@~?|__ONgGKBy@x?|_^oOGHsC}A`@P_hoSgUcJUDlAv`[omGVcJiDvA|`^ongWCKEEDBB`aopGTsI}D`Ap`XokgTCIiDVAk`SojWxk[}M\FObhPsWyk\MMlFSbkPtxH[cqQZHMcgQRwzK\mM|F[blPvXD{auPdGmcWQKWz{]ANBFbbqPwg{k]YNNFgbspyg|k]yNVFkbwPzw~k^yN~G?c@Q?X?c_UOFGEcCQ@w~S^mNnFwb}P}W}[^QNlFtbxP{Ww{[eMPFIbePqww[[EMDFCbbPpYipTSh\TSITTTAd\TShXTTIVtTAdlNoiHRyIbs}qgTN{iFR}Ias~QgtP{fnRtIOtGa^DPwfhSbH{tGA]tNCi\RqIgtRq\tM{idRoIgTSq]\OoelRVIFTCQZDOserRZIGSua`|L?i\RPIfssaiDLKibTRHistAiTS_eTTHHdtQaXdSkeZRNIetRAXtKSgXREIGSqQ`lK[g^RCIGsqA`tJwftR|H_s~AV|Nke@R~H`s~aWTJgfBR]HYsmQZ|M?dpR[HZsvQUtJOfHRdHXSjq[TJ?fFRfHWsxaU\K{dVQiHesjAXtKodZQmHdsiQXTP_cnQWIKsfAbTHcgzS[HLSeqb\HcdbQnHLSkAR\HoddQWHYSkqQ|OKcVS?HCT?QPLOGcTQKIAsbQ_dGWgHQBI@s_a_lG[gBQCI@S`Q_DFoh`P}IWtLQN|RGcBSrH?TLANlM_blPvHss]A\TFgfVPzHus]Q\dLKblPvHiS]qYlF_ebROG|S]QYTJccBP}HZS^AUlFsdnQyG~s_AVDPKbbSSGxtCaMDPSbhPqIJtDaMlOW]LSHF`T@pw\O_]HNFIDtA`wlD_cPPXHCsUaPTDkcVQLGmsVAPdD[f^PQHvS{AI\DWffRqGiS{QIlOWaXSJGgt@qHlO_a\SHGftAaIDHsaLQ]GbsfqHLC_dDPJHOSgQHTB_d~Q}GYSLaWLB[e@OtH`sMQWTAwcbOnHHSKAQ\BCchQTGXsKaQtRs`VS}GUsJAf|Agi@T@GSSIQfdSs`NTIGQTQQCTS_`FTJGQtRACtI__tQcGKSgqB\IS_nQeGKsDaS|R[_`SwGGtMQAT@OhvOTIZTMaA\?sbhOIGws[A@|?kbdOKGysBaM[~wfPOBHur~q\L??fTO@HuS?a\\GW^zQFF|S_`~DGK^rQDF|s`@~c~OglNvIJtC`}S~SghNuIIr{qa\KO^XRDFusp`|tK[^^RHFwsq@}C}ChxS|FpTOP{lR{^@S}FqTO@{\Jk]\QzFfsn@yDJs]bNRH]rsaVc{ohLSfFctI@x[{_hHShFerqackzoczM|HNRnaR{z{d@N@HPRoASLQg\lSjFZtJ@vDQs\tSnF\tJ`vLIg\`MpHSrkaT[zKdXQmFYrlATlGw\TQMFTsbptlH?\^QOFUSbpttMG\HRbFQrha[dMS\NRfFSsx`tDLW[pRVFKsu@rSxkerRYFMrfAZ\Ls[lMSHoRdq[KxKe~R]FIrcaZdP{[ZSaFFtGPptPw[XMPIPrcAcCvgcbLzHHR^AQ[vschL~HJR^aQkvOgpLtIKr\abSv[gvS\E{tF@nCu_i\LhIfrYaiCukibTREurZAiSu?hbL[IWTK`jtRSY~SrEmtL@kKtciNLZIbTO`itSKYnLYIaTPPjCt?hJLPIRTHpiTQcYfLTIQTI@icswfrRsEds|Phks{flRvEeRQa^DRWX|SwE_tM`gSr{hvSvE_ROqfLIKXxKwHQRMQSkrgdLK|HSRMqS|C?a|P@GnsWqG\ECaJPaGaSOaKDES_HPeGAsXq?t?cbPPhGCSXA?|Bo^LOyFrryQF[}_`zNjG^ryaFs|ObTNTGtsZ@ytEs]nPmFksZpzCw_]tMHFlrvpp[wW]xN\FBrv`pSwS[|M_F?RgPoKx{[DMbFARg`o\@oZ\LnGMr[ABt@{ZbO`ExsG@mSsOZDLEEprX@hKuSYJLfEcRX`g|mG?P?H_DOBG@k?m?P?I_DoAW@k?qbbPogyS[yMlFIKJE?b?p_go[WQKPEEbBpaWp[WiKzEXbLPfGrCXmK|E^bOPgWsSYMKdERbIPdWq{XY@h?t_XoLgFCB]HRCjaUPJWdsQiINDGadpQWhcSiGVCKaEpBwaCOyGbCQaHpDGasPUF~C?a?p?g_[OQGJCEaBpAG`KOi]LNAfaroxw{{QbNPcgqsXiLLEa^@N`fpRwx{k}Q[LMFfCRahp[weZnLsezR]HnKvUYNLEecRPHhKsUX|K~e_ROhgKsMzW\YMNVGbjttow~\\MOVGrj|qCyv[mMIvCbdTpOxV[UMVvJBa|qswf[@MBV?b`Lo?wN[DMDVAr_doKwP[KL|VBR^\owvx[NL}vCR^|p?v|ZwMdvQB]dnSyX\LLzU}RhLn[yT\cLsUzBkDuCvRZiMpVXR\luKvVZcMjUxri|t_vFZaMiVUR[lmWyj\FLrvOr[\sOvH\DLqvOb[TsWvL[{LsUybgDmcyBZkM]uzRftmkx~[oLmUwReTrKuz[sLnUvrelm?xb[VLjvDbYtl_whZXMIuuraTlgwfY~MSUobclkCxNZ?MQUorctjwxRYwMcVQrVljkyX\IL]VRRVLjgyR\YLUVUrTltst\\]LVvVrULtot`YfM_uibgDi_x|[|LRUirf|icxxY]LwufR]\nGsvY^LvUzrRdn?stYRMLvEBPtpcs^[YLGUcbbdpssbYGMEUaR`lggw\YJMFubRaLgow`XiMZVLrL\r_rX[xKuvMrL|rgr\ZzKkUVR^ldcv~Z}KlUUr^TdovxXGMtuPblTckzVXFMtuQRlTcgzT[cK_VHRGLqWqD[fK`uPRdLq_qHWsMTULRd\qopl[lKZvJrFLqwpp\MKSVSRD\s{pR\OKTVSrDltGpX[WKPVERC\aOwtWdMLuHrbdaWwz\MJ~VRq~|t?o@WBMhvSR?TtGoBVwM?T}R_LoKnzVyMAV?a~\^owJVmL{U|Q|d]{vnVlLzT{R^L^?vh[oJoTwre\rCnBVaMXTxRel]OxhVALvTor\|[[vfVCLwtpR]T[Wv`\WJ[TlbidZ[yl\XJ\tmRi|ZgyjUoMZVLquLrklj[wJXVMQudrglf\hJSthBlDYSzRUeMsvYAs|u_lP\AJNVOqr|YCyHU_Matgrg|YGyL\dJMTeBkDXczBUYMpVWqrluOkvU?MrVXao\WCzNUAMrvXaolu[kHThMNTYrb|qCjZ[bIuTYBcDUgxDTaLmuvqktm?jJTbLmUwQk|UOu|[JIov@ajdo[izT]MCTVr`LU?wTZCJiupQyt\[uLVWLbuqQyd\cuPYAKwU[RO\fGsHXrLAu`rMlfOsLX]LXUkrJ|jOr@YtKoulrK\jWrDWyLIUMrQlboslW|LJuNrRLbwspXQKJUTBBD`kqnXRKJuERIt`gqjWIKVUJr@\b?oXWpKEuBrE\_wpdVqLgT{rYL^OudVtLhutQ}|lOnlVeKqTxrKleWnPXfJsuYQ|\e_nTVMKzTrrM|\?rpVPK{tsrN\\GrtV@Lfuravlksm@ZIJ]UrAvtkkl~UkKOUFAtTYkozUnKNtjRCLYwo|Y_JHUgQq\iGkhUTLPtdrSlXWtHX{JEU^Qplfwk\Y@JGu^qqDg?k^WOJBTabAL`GkNWSJCtarAl`KkPTyKeT]rHlVoq\T|Kft^rILd?j|TsJcT\QxLVWmTVLIztrAnLV_mVWCIvU@Ql|_Wj`WFIwuAQm\__jdTUJlTUQz|T[mvTWJmTvQj\Tgm|Z]lnuwZZlmAuxI@d@Q_xOcgUSLHGccqQhGkcYQNbUP`gqkWiKnEKbGpcgokWyKvEGbKpfGkkYQJRE]aopgGk[YYJVEaarpfGeKYQHrE]aXpggf[YAHjCubRovGqKLyKfES`rowgr[MQKnB_bKnAGtJoiLU{QbTnBGtZpALQ{MbSmwgp{W`urEI\lmvGpjlyKJEE\opQGo[TIJ~DOb?pQgnKSqJzDMa|pEGfkPiH~C[a_pFgg[SYHBDCaPpTGYkLYI~BQakougi{LaIzDY`gpHGNkFyHNA?aSo_gd[GQHZCm`BnUGKztABJ@k]ioYfi{Exyv@g]hoVG_KOQBBCI_np?gJKOYBFCG_loOGVKCIDv@C`]oPgV{KIAVB?_copGEkBqE^?}`boqGE{Ki@vBK_[oHgm{VQ@F?[aup[gB{AQJ^Do_OoCGMK@IBf?S_yoDgM{@iBv?W_{odG?kHY?NAW_Cofg@{Hi?ZA[_Do?gQJ~qC^AG^{n}gPZ~yCf??`EnsgD{A`}Q~O_WnrgDkBH}V?i^eojfw{Ip}A~A`ZnnGUKJP}I}}`XnbFuJwx|e}O^Yncfuzzh{m}w^Io|FoKNX{FBw^Ao}fo{Nx{VB{^Cn^gaKOpzi|uaFn]GaZvqGm|yaInYFrJyHza|i^LnZFrjvH{}|m^OnhFjjyXy}|_^SnWftZuX|]|c^UnPG\JsYFVBk]cnQg\zsyFe|K`wnMGSJsIDM{y`PnNGSkIhx}|?`SnJF{Jqx~E~c]WnxfeZrX~U{s^snGFyjqH}m{i^lnHFzJq`}}{e^mnDgHjpaA]{Y_goSfajpyAn@S]Mm~F]JnHv}zs]?m|f_ZnhwMzw]AmzF}jmP~Yze^vmyF}Jmx~mzi^xqmh][naTrI}d|q|hU{jqVjJodYq`H[kmYSNJgdCqyhP[gyV^JkdEq_hUKfaTRH{dXq^hT{iiSBHydUqcHLkhIR^IScwqehM{hYRjIWcxr@hJknqQjJ}cjr?HJKoQQ~KAclqSHZKliQRJ[cdqRHZ{dIVFHMdoqNHEKbyPfH?cYqLhG[biQNGwcaqHHWKaYUFGgdaqIhW{ayUVGkdcrChC[oiOzKGcKqEh`k`yWbG_eFqBHak_yWnGOeKqChb[`YW~GSeMp|H?K^YOFFwcAp}h?{_iN~F{cCqfGzkiQNFF]dNpxHSKiYNNF_dPpsHcK\IXFFSeQpthc{qiMvKgbkpyGwk]iMNFGbupqg|{[yNfFKbwpmHKKeILvHcb]qXgv{eiMFHgb_pjHXkYyU^JObWpkhY[ZYUnEsdiruHvK|y\vNYfYrkHzkzY]jMqfjreHdkxiX^M[eWrfhe[yIXnM_eYrphqkwq\zMUf^rpHq[xA]BNAfFraHt[wA\JMAfRr`HtKyy[VMkfBrrHn[{aZjNIezrrhnK|IZ~NOe}rVHiKtiZNL]ehrTHkKtaZFLUeqrPH{KsY^FLKfrrQH{ksy^VLIfsrMHlKuiXvLke]rNhl{sIZfL?ewsKiC\AA`^OogRsFiDlAQ`RO[gTsCIGLCY_jOUg`sCiGlCi_rOYgcsLi@l?Q`jOEg[sAIF\?y`~OIg]r}H|k}y^vNof}r{h~{~Y_BNsg@sRIMLFIa^Psggs\iI\FianPwgisXIJLEYavP[gssViL\EIb^P_gusa??TFucS?Cg~_?iPdGEc[?Eh@_@iQTG[?HQOhA