CAT(2592,1)
Sparse6:
:~?g__?O?G?C@k?b?N_GODGAS@M@q?o_XOKWEKBA@d?t_YOKwEkBM@h?n_UoJgEcBM@j@b?cOQWHSCaAT@H_\oMWFSBq@z?}_^oOWGCCIAF@C_bOPwGkB]@l?w`G?JGD[Ai@V?k_TOIgD[Aq@N?h_SOPWG{CYD[A[`MofgRkHqC|AC`BO`WPKG]CPAI`EOawNcFmBz@z_}o^GNsF}C@@~`?O^gPkG}C\AT`IOcwQ[HUChAW`JOdwQ{HaClAO`HOcWRGG}CsAL`F?ewROHIC_AZ`K_cWJSDmAx@\_nOVwKCEIBBAC?fO`OICC{CLAF?hOSOPCGcAfAI?jOT?PcGkAj@X@@OToOKGKAp@x_{O]gOGF]BiAA`@_\gKsEaBN@n?so[?L[FCBT@q?uOZ_M[EsBh@d?doROK[CoBHCt?QoHGCsAY@J?c_QOHgCkAE@F?a_OoGwCSGQCLAD`BoaWPCGiCXAJ`@o_WOSFmBx@|_~O^wOCBE@d?o_UoJwDsDAA\@N_goSgI[DQAl@T_iOTgIkD]Ar@W_kOUWI{CmAZ@K_doRWHcDqAv@Y_nOVwJkEABD@`_oOWgKKFaBr@y_qOXWK[EaBL@fbE@\opCVcKNDwBBP`?mcVWKJDtB@p^Wn{VyJVDkaupXwksUUJCEHbD`XGkWWiIkDsaz@UGmgT]IkDvak@]WiwVaIfDTaiPPWgcSYINDHacPQoj[SoItDIAkpBW`cOmG^COaFPAG`SOeGPCHaDPJgdkQqHgEDaX`_wo_RIK?Cnb@@KGoGREHWD~aV@^WdgVyJ[CeaS@Zwm?Q]HQDpaT`[wdOVIHEDhat@HWc_UaHQDgaT`YWlOQiJUCaaO@ZWl_QEI}CsaX`WWk?RIGyDaaN`XGboUMJICnar`KWkoRAH?DOaP@SgcGTEG}DFaM`QWboSaISCYad`FGh_PmH|D?a^pOWg[SIHtCxa[PNWf[RqK?Ctb@@LwoGRYHuD\a]@Vgj_RuGgCVaI`EWaoPaHGCPaH`GwaOQUHOCVaK`Hwb?QYI?CJa^`BWfoOqIACMa``CGgOO}EKDy`b`^GX?VmE?Dp``@[wWGVIGGEHbD`?g_WWiF}DLa?@Rg_GS}FwCS`~@Dg^gPUKKBxbC?}wowNiFlBw`zolgUcJUI}Az`\@WWk?JqF`Bp`xOy_iCMkIdBkAgo{obSNSGxBsALpao[kMWKTBcBCpR_[SMCI^DL@pov_jkM?I|B^AmPC_ZkLkGfB[AGotoj[TcElBTAlOs?icLCIjBNAhorOgsSSE\DC@eOt?fSLGHpBRA[okoe{JCHjAqAZP^?TkVkDVDy@UPZ_TKIgJ`AgAvonOU{J{DrA}@[OzOWcKKF^BD@vOxoTsI{FRAo@sP@oSkI[GLAeAAoh?XSKcDDBJ@PofoZCICEtA_@kq[o`[OuGXCMaGPBwaSPMGbCUaIPDWbCPeGnChaTpIgdcQyHZCnaWpKGeSRQHf?f_SoIGDKA]@P@@_^oOGGcCMAD?u_[OLwV{JuD|BG`bOpw^kNyFxBu`{O|wUcJUDlBf`soyGXKKmETBL`fOrGYCK}EbBQ`iOswYkL]ElBW`kougR{IED@A``NogGSSIQDFAa`PohGSkI]DLAd`RohgTKIaDTAi`SOiWT[IqDZJvDwq{x]SnQVjJudkquxZSmwUfJTDwQzpYcl[V\JWDwQt`\{moUZJlDfQypX{mSU`JfDhQx`YKlCVPJODtQs`\KkoVHJIDpqqp[Sm?UHJDDnqwPWsjsURI{DbqmpXClcT^JYDWQupUKiqT\IldTaoXTGkMTSJAdRayXSomaTOJidjAgxYwiUUoIcdUAgxToiUTYIcdOAnhVwiIU?I`dMqfxRshwVJI^Drqx`RkhOTLIUDRqdPTCloSbJ]DHQcpZkhKUxIPDnQvPQSmGS\JbDGQx@P{gSUfIFDiQtPOsgQSFIAdJa`HOOheSoIBd?arhNwk}S?JLd?AfHOGhiR}IZdua^H\WfyRyJkc~AaxP_fqRyILc{apxNWkaRsJHdZa\hUgfaTkHvdvA[HMOnAV]HpcvAphW_e}RYJDctAmHL_jiRUIxcsAkxKwjITgHhcragHLGiIROI`dCAYhPGeqSSHjcyaXHM_eYReHdczAXHN?eYRmHdcnAWxK?eEQ}HacmaWxKOdmQwH`ckAyHJOmiQqJhdIATXQod]SiHUdqaRH[wcyVKHLcca|X]ociQUJscbAnhW?caT}HFddANXX_b}UUG}c\a\XF_fMRgGydCALhPObUSQGsdLAJhE?hqSuGncQa{XCwnMPKJqdpAGH[_`}VEG`cLazX\_`eOsJjcJA`XB?g]OmIEcHqDXAc`IObGOcDQBH@[_[TpGGD[qAPVS_WTdIsCAq@@U[_CR`GACwq[`?[jWN~IvC?QlO~s^oSZIJB}p}pPcgwNpFxDGP}`P{^KUxFsDnP{`Zk]mNTFhbvPzG|k][RrFgC|px`NS]KU~J`Bqqw?{c\sR^F]CupvpLs\aMnFXbjAnXVW\UMgI{bga|H]o\IMeJtbfA{Wy?nMM]JqbdprGxk[WSrFFDKPpPQ{[MMHFAdo@jX[GY}L[J^dS`igt_iiTUEjbQAohWWYYUAEdbPPgwsKX}K|E_dW`dWqwjAKkIncT`lGuWauPWEtcNAIXBgaiOwGgcWaBX@wbMPcGMb[aPWvWcMLsHCb[AOHGOZYLmH@bw`wg|w]AN_F`bl@kGzWZIMwEpb]@qGvo[eLyFIch@iHI_YeQeEfbL`nwr_[EKyF?bLALwr?beKqGwby`cwqO^]NkESbGaRxIGW}K_HObEAGgpoaQKYGbgR?EwBk@q?z?Z_MOFwCC@y@@?]_NoDWA{@Y?r?W_LQ[HMSfE@Z?n_VOSWISDMAv@[_lOVWJ{DyBj@v_zOZwMKFABf@s_xQHhC{aUL|E{b]sVAJXDIasPOgkcSYFhBya?Ozg]CNyJ@BeamOwgjCMiHxA}aYOpgfCKIDHCi`UPKgTCQyEhCu`mPNgZCRiEPCiaUOsgeCKyCXA]`IOggQCHiC@Ae`UOagTCGYD`AU`[OcgUcGyC@A}`COpgOcKIEp@q`mOYgYcEyBHBQ_oOqgJcKy@pDM__PTgFcTIIx?maoOLgjCBI?XCa_GPHg@CPx{@DM]{PTfncTHu`CQ\iPDfZCPhuHDm\ePXfXCUhtkyq\VMgfTRiYF?yU\MOyfRCMYGGvyaEM?g`B^xn`AyZyOle|cJIJOueauLjgkbYhkpBmZMO|esCNHiXCUYaPEehCPIGGtAY[PBefcOiIOsuaaLKggBQyBwseYSO\ecCFhghAYYMOgebCHyIorIaoKogjbKYG?qaXQO}eRcNyBwqYXGO\eQcFiGwqEXEPHePCQH|h?U^]OFfvC@h}W}i^iNkfyByxmO}IZgNbexbwX~w{E_ANAg?BoHvg~q^{M~f^B~YA_yQ_iMbgJBgh}ox}^oM`fzbgHqWxe[uMTfIBehqGxq[_M]fHBfXv_w}[[MyfEbmxygwi]mMKfjBax~GvaZsNzf|B]Xmg}QZkNeezbxXlw~AZaNqewB{YAGuuZWORgHBZhkW{YZINGeqBpxk?{MZANCepBpXjozaY}MxemblxyOti]gL[fhbUxoWtaYqMAf?bTxfo|EXwNOe]brxxGrmXqNIe\BqxeowQ[KKve[B`XfwrUXeL@eYBOHr?qq[kKjfJbIh|?qA^QK^eNBxxi_pUWmLUeibDhowpI[QKSfCBCxb?o}WsKPeKbCHx_oe]YKJffBAhdgouW[KneEBJh_o|aWMNXeCBuhzWoA]yKAe?bvH_WpmWIK\eABFH^osIYGJ~e`a~X^?yyVmMod{bjx^P?a_SJ{gCa}w@{@E?`?Q_IOCw`COiGRCaaOpGGc[QUHHBB`aopGT{JAD\Ap`XOkwTkIqDVN]foRvxzC|i]rMefRrhXgSsQYFK\eMREx^sn}VzTLIgtRah|Soi`TGIatOqg|SOiLTTI_TTqgTTWiBS}IlTNqjLRsipT?IKtOab\SCgtSMI\TBqfdOshvSFIfTAQhlO_iXSEIoTVa_dT{gJTHI?tQq_\SggDR}IZt?AfLN{hpS}HttNq\LRsfTSsHpsxQetRSfHRaI]SwQf\M?htTHHjtQqZLSgepT]HiTWAYtT{ejTBHdtPAXlKoiJTUHZTTqVDTSdnTNHOsgqiLT?dDQ\hLsfIR@RQcsSuhKdLYexHYhoQTi[cdyPlGqc\QHIhTTAP\TKcTQEImsaAj\G[ixTWH?S_ajTTccBP}IbTQAN|FsiNPyg}S]yMdFYbjPmIhTTAMDTKb^PlImSYqjlEoivPggtSYYKlEYbNSfISTIQclQghLSIIPTBAcdOkhFRtH{S|q^TNWfrRqIGTCa]dPCffSUHvs{QbDN?gnSRHuTDQ\tPOfZRgIOsxacDM[g~S[HmtFaZ|Pse|RCH_SoQWTJ{eFQxHYSmqUlJgdfRzHUsja^lI{fxRYHTSuqTdLodVRRHSssaS|LCdPQcHfSsAStK{dJQ{HNSnaSDJsc~QNHWScQUTH?dbQBITs`AdlGShXPvIWtKqNLRGbpPpIVS[qeDFGh^PaHHSXAQdEKcfRDGnsWQW|KWb@RGGmSqaJtKcaz?J_CoAg@k?q?\H`cpqWhL{euR\AL`FobgH{DAA\@h_toYgLkEyBXG[cNQFWt[YqLTEcbRPhWqSXQKfWQKOuCrC\`OpDWPKPuCBCL_{pDWMKNuGB@l`woXWPKEuBb@|`?oXVyKHT~BAd^kofVpKNT{rCD^Go~W[JsUEq|L`snTWcJquHa{|aSnLW[JmUFQzt`kmzWcJkuHaz\aSmtWEJ^UAAwD_[l~WBJ\u@Qvl_OlxWYJXTkrBD`clhUnKItkRAtZ?onUkKItjbA|YsolUhKKTirBT`clTWBJJTdR?l_OkhWGJGu@qq\_WkdTxKCt]r@\VgoTTuKCt]B@TV[oVTfistYIk\UIjBVcJ~Twa~|]KnzV`K@Tvr?L_?n@TlJgTsQl|UwmdVCJzt}Qwt^_mJV@JyToq}t[GnjUwJjTuAvT\[lrVRJYtlqylZWmhU_JvTga}DYCn^UVJttzQrLX_nXUMJdTrAqDW{mVUDJCTaao|WWkRUAJQT`AslYKkFT~Jbt_QxLW?mPUeI}TiAntY[jzTsJet\Qx|[wjfUJIwTbQmTWojbTiJLTZArdUkkvTcJMtXar|USk|Yj?BOAG?{?Q?H?C_Ao@W?k?Y?N?G_BOAG?|@u_~O]aLPFGb[PuG~C]aRpHgdCBY@p?v`_oogWCJ]DrAw`\OnGV[{q]\NLf`RoXwCzu\~M}eVrJhdlZyl~V?j\tnYvdZQldUrjWtkIt|YAlDU`jKtdyrDm}v\ZlluUyj\\mavNZhlrUxZ[dmgu^ZkLguyrYDkov\ZMLvuzRXlkgudZHLiUqrY\kWuxZ\LcUurW|kKuzZDLmUpBZ\kKudZSLaupBY\jYtjYslZumJVLm[tbYrLsuyBUTmWtbYrLqUxRUTmCtnZbL[uwbVDjSu|Z_LZUvrUdi_vFYiLouiR[Ti[u|Z_LRUvrSll_tDZYLQUuRS\l[tFZULQUtRSTiSt`YmLRUjrS|i_t^YiLWUiRTtbOuLWtLcUKrW|hGulZVLGUtRQLh{sZY`LFugBPtgoutYJLkUabZLiCsHY^LBUgBOleottXlL]UZbV\ecttXjL\uYbVdk?rDZAKoUoRKLjwqzX^L]unrJtk?qhZAKjUoRIldGtzY~KhunbILd?tZYjKfUjBH|isqVYjKeujBHdkcplZIK[UqrE|k{pZWnLgusBDta[uXWhLfUIBXlhKsxY]LIufRQdfSsBXvL@u\bOTfGs@X}KyU[rN|hcr^XpLLuebMDhWqtX[LJuUrRDg[qnYHKkuaBJDfgqHXAK{u]BG\b{rvX|K_u^BGDcSpxXFK^UPbFlc_prWzKdUMbHLb?rPXfKWuXbETakrFWkKquIbKc?m?R?InEEfzSLiAtFYalQOBg@k?q?j?V_JOEGBS@eRNHhcsQYhL[eqO~G`cOPmGu{ZYLvExb\Pzw}K^ANfFsbxPyW|[]iNZFkbvPhwtKYaKpEYbKpdWqsX]crQYhKSdYQ|HY|u]mnVfmjthze|w]`n^FgzvhyI}C]WnLFpJwXxe|k]WnLFmJuxxe|}]Vn_fdjw@xU|S]TnUFdztXxY|K]QnIFhJshxM{u]SnMfczr`xI|e]InYfazu`we|_]JnXFaZuHwi{K]hnSFaJsxw]{K]]nCFgJoxx}|A]BnAfgzo`yI{C]mn?FjzoHyuzq]OnGf\zpxva{]\snGF\jqHvUyq]{mlfnjjPzuya]MmhFbJi@wuy]]Lmefbjhpwqxc]xn\fLJeXzix_]smWflZdxzMxW]omVFkjdhzE|O[]nSfFzsxpuws]cnRFFJshpm|U[FmBFjJ_hyiwC]umAFmJ_Xz]{uZ~m?ffJ_@xu{}Z{nOE~jrpnuvq]~l|foZ^P{Avk^AlzfpJ^@{Mzy\gm~fYjnpuezs\em}FXzkhvmz_\VmkFZjlxtYze\TmwfTJmPtMyS\jmeFZZhXuqyM\amqFQJkXseyw[}mnFOJjhr}yG[zmbFNZghrqxo\^m\FWZfHuAxi\@mZfOzgPrYxG[jmQfIZcXqixK[_mPFIJcHq]wm[RmKFCjbHpEw_[SmJFBj`xpUvc[GlwfAj]@oewUZslyfBZ``nM{R]JnDOMWFSBm@x?}_]owW[[MIFLBd`qRzX|s}}^TNjfuRghscyM[~M`fOQ}H]{neVvJyd}U}z^LnivlZwlzwVCLUEpAz`jOlwZcJUD`B^`lOkwTSM]D\Bj`UOyW[CIeFHAd`pOhwRsM]DDBj`OOyWRsMEDDBd`OOwwRCJmCxAx`LOlwUCHMChAt`JOkwTsG}DTAP`UObWOsIUCTAh`COhwWSAuEL?p`aOJwDSJ}@LB@_SOnWAcK}?lBP_KOswASKu?`BH`dOBv~cLUEp?@`jN~wZR}mE{~n`mNzVwSJ}E?~@^aOnVvsK\|tBB^]OpVqCK|{hBR^HOsVpcKl{\BL`cNawJcDEAh@`_hOVwIsCmAt@N_kORWGcFUAP@x_bO\wLCB}BX@B_tOOV}sBd~t?|^{OMv}cB\~d?t^wOKv{c@l~P?^^rOFV{CAU@C~b^nOGVzB{t}_~\^fNuw?b{e?K~J_@NpvyRzT|o~T^jNlvuS?l|\?L^WOAWLryt|P@r^TO[VsSGD|LAD^QO_vrcEL{|@d^OOXvqsFmB{}Z^KO^UhzSliYtTYglSoDwAk@Y?p?Y_KqXHKseU@B?b_PPkguCZELfEsbYuXjLDe]rFXdkqW~S\uM|F~boP~W}c\uN@FxbnP|w{S[}MTFfbePxW{S[UMPFfbqPpw}cS]NlDJacP}W~cSEN|DBaaP}wySQUHDFTbgPHwbc\]H@FZaNPuWbS\MMhCVaKPsWaC\]GhFZaHPuWxsOmMXCNbdPBW_s[]GPFDbcP@W^s^MGDFnbwP?W|CNeNTBzbuO~W]s^MFhFp`xPzw\c]eF`Fl`vPywssZ}LTF@bSPowvCYUL@E|bPPmwuSXmK|EvbMPlWqcYuKpEpbJPjwjsUUJDDhaoPXwlSTeIxDnalPZWmsTMJtDVa{PTWmCSuJhDPaxPRwpcR}KPC|bDPMwecW}HpERaZPcWdsVuHdE@aWP^wdCWMKLClaTP`XU_@{@E?`?R_IOCiCTAA`BObgQsHJ]DnIvb[MmFvCJaLpMwdZrlyu|KkYU~JIdpqqH[KkYUZJIdfqsHXKkAUrJCdmqohZ[lIUBJUd`qtHWk`aU~G[dpqEh[KiyRnIqcxqkHMkiiRbIkcvqiHLkeYT^HidWqYHU[iaRBHcdUqWhT[laQFJ[cbquhGklIPzJUc_qtHF{kqO~JOcPqGHX{jiOfI}cJqnHAk_yTrGOdZqBHUkjiONGId^qnH@K_ATjGCd[q?hU{gQQvIGcnq`hJkdQSVIMckqThPkfiQfHMc}q]HIKfyQRHKd@q_HH[bYSbGwdHqMhQkhYPbIYcYqeHE[aiTFIecVqhHDkaQSzGgdOqHhRw@K?m?TdTqjXTKi}TfIp?K_FOB[wAZ^MCexr_hmKwAZRLkfArYho[uIZvLce}rXhn{uAZvL[e~rVhnkvaVnLsd|r\h^KwYVbMIdyraH][mi[VMEdvqzHpKvYVJJge{qxhmkryYnLAelrOHjKraYbLSe\rNHi[sQXfLGeZrPhekqqYVKmeerKHh{pQXBKWeQrDhc[nqWfK?eGq~h`{piWRK]eErFH`[oIXNKieBrIH_kwq]jNWfFrcHy{{a\nNIf[rrHv[zA]^MsfhrkhyKzq\VMkf_rjhv{{Y\NNAfSrpHskxy^NMaftrgH|Kxa]vM[fnrehzkxY^JNafIrwHq\?Q_VOGgFs@i@l@A^~OSg@sCi?K~a^ZNof}rzh~[~I_nOYfzr|IBL@o?HOngX??iCLBA_{?F?@SGiDG?Q`LOl?BSHID^