CAT(2352,3)
Sparse6:
:~?co_?O?G?C@C?H?D_BOE?Aw@Q?k?V_I_DwBo@E?f?Q_FOCG@{Ag?b?R_HOKoDSAq@V?k_ToIgC[AE@D?e_QOHWC{Ae@P?W_LOEWBW@y@??[_M_FwDKA]@P@M?coQgHCCeAT@G_aOOgG[AsAJ?n?bOJ_G{Bo@~@@?]oN_GCB[@b?u?XOM?ECBg@f?z?YOMOEkEWAF@C_`O`OLcEqBX@h_toYgLSEmBR@b?toX?LKESBT@b?rOXOLCEOBN@`_oOWgL?DyBK@^_r_VWJSDqAv@S_jOTWI[DEAd@L_eOQwJ?DAAq@N_j_RgUOAQ@L?d_SoHwDC@m?z?[_NOGGB{KgEDBB`_oowWSKEEBBB``OmwVkJqDzAz`]OkwUSJQDdAs`XokGT{JED]A}`W_oGU?J}DSAt`T_lgTGJ]DmAm`Z?jGUgIuB^@m_uo[gMCFEBf@s_yo]GM{FYE?AA`@_ngO_J}DsA@_~_mGO?JeBwAl_~?jgNgIqDLAg`RohOTSIkDFAc@SoegR[HqE?AW`K_ngVwH]CgAw`\?dgQgJeCbAR`HOaGPSGeCXAL`Do`WO{GYBqA\_|?fwNWHyC]A_`G?gWPoII?V?L_EOAG@K?iHk?O_FOBw@C?e?TDM?FoBgACTs?X?L_DpWo@[?u?X?m_VoJWD{Ay@Z?q_WOKWFKBm@t?|_]ONgF{CEA@@l_voZgMKFIB`@r_yo\GNCFYBn@v_{O\gNKFmBt@|_}O^gNcFuB|AA`AO_wOSGQCFAb`QohGSCIIDBA\`NofgQkHQClAJ`EobGu_ZMLbEqbV@eWrOZAL]EZbIPdWq[X?LVElBHPj?qKWuK^EMa~p_GnsWKLJE@BRp__ssWOLPEDBSp`_tSVkJ|D|A~p_?ncVYJjDvavp[GmKYwJ\DlBWPZ?t{UoLfDmBWpZOuSVGJRDjAyPY_m[REHdCoaOpGwcSQEHFCaaZPMGe{SEH~D?afPSGh{UQJFDdao@hWkOY]JAEebS@VWtOTyI}Ehap`iGkgYiJGEhal`iwtgTiLWD[bP@UGs_TeLEDVai`gGi_X}LADUbM@SWroTMKyDQbK`RwhoXmKsDObJ@RGr?SuKmDJan`cwjgXUKgD]bD`Qwh_WiKWDLbE`TwpwTeK[DWad@`wpGSaIQEGa{`PwnOSUJoDEap@]Wk?ViJADwa`@]wg_VuIED{a^`_woGSEI?EAbA@NGfoWYKIC|a\`[wfGVIHsDsaw@MwfGVEJ]CyaZ@Xgf?UaHmDfa`@YGgWU]IGDeaX`YWlWRUJSCsaT@HwdGQmHOCkaU`KGdoRIH]CpaQ`PwggQYHGDEai@QGhOTUIQDUaT@Uwd_TiHUD[bQ?zgsWNALCBnbU_|Wt_NYFgEjaN@cWc?XIG}EOaMPEwbkPGHZCSAVpCodsO{HNChAGpI?aCRwGXCMA]pBOfcOcLJCJBRpA_ssO_IdCFAhpSO_sVSGFDuAAP\o_kO?LbC@BXp?_uSRKFzCt@~pL?^sZ?FvB{BVPjo^SMUFLBf`sOyW\SXWFDEW@qPdo[[L}FBB_`m`agpWLqKWB]`jOuGY{LGK~BPBOOs?sKWcE^EF@fOrOpCKkHLBKAQoq_ccKcKzBGBNOporcPWFZBjAJpDO\cLkFpBx@ko|oZSLOGpBTALOsobKKWFfBp@aOpO]S?]?N?FdT?@G?s?U?H?E_Aql_c{QeHPCkaTPIwdkQ}H\CoaWpKgekRQHfC}a]pNGf{SEI@DCa`POwhCSiIRDJaepRGi[TEIdDUaiPTWjCTeInD`apPWGK[EUBH?`_POGwCcAY@J?[_MoEwIsDUAh@J_eoRG\[MuFXBr`wo{g]kNYFhCRaIPCgakP]GlCNaGpCG_sOaGNB^`oowGZcLyEzBS`ioswYsLaEnBI`eOqwYCLIEbBD`aOpgWcKUELBG`copwXCK]ERLAE]rNhfcsEX~L?e\bNxfOsEXqL?ePRHHc[qOXlKaE[RGpe{p[XBKWENrG@aspCXhKQEYrC@e[r{WTKKE_rO@`[rGWNKqECrK``CooWFK@EDR?``[rCVzKpD}RKP^[neVtJweVA|X]orAVmKneUa|X]wqmVkKkeEa{H`onEW]JneVAyh\WrAX]JheMAxhbomaWyJfd{AyH^OmYVqJfdoBMhfGmIVAKze]AvHZOryXyJZduasx\olEVWJQddbLhf?kuUWKvdcQqhXKkSWNJFECqp``Cp_UHJBEJRDpWSj{XPJ@ETQo@dKosTvKND[rB`VSjkU~IyDmqmPZsj]TpIudWQkXUSjUThIreQajXcoi}T[KfdTBJHT_qmXYIjdUbIxdgi}T[Kkd~Ahx^wiaTQK?duAhH\oiYVYIddqakxUgmQTgJbdPAvxSWlyTAJ\djahHZGiYUoIddNArhS?lAS}JNddaexXghuUWI[dKBFHbghiSqK]dKayX\WhiSoJibopww{ShWURJIDJqdPXClgSdISDmQcpZ[goUbIMDhQbPY[gcX|IJE]Qa`fkgKVdIDDyQ`@][pkSDI?ELREPOKfiRvH{c{anHN?juRmI}cxBEXbOfEReKZeGa[HaOeyW_HncuafXL_hmRUI[csBHhLOq]RQKdcqQWhK[d{WfH`EIqW@ack?QtI~ClqoPJKd[XfHWEYqT`ecdKVFHTDqqT@[cdCX\HQEWRJpICcsXlKwCfqR`e{c[UrJVCcqQ@ZCrkQHHEE[rM`GkbwVvH?D}qNp^ckwPlJOCZqLPX{bGVdGsDyQKp][acXfGjEYqI`echwPLI^CSQHpSC]oWjFjEIPy`a[`sUJG^DbqF`WsjCOrGVDXQk@BC`CWHGREBQC`_kigO\GODUQBpT[]sUhFnDjPz`Yk_aOTGHdpA@x[G_YV?GDe?a?h_W_MOGKAb~bIX?GqiXOG?bzA~h^w^aNmK?bxatHYo^QUiFtbmahxTG\mMwIgbkalgz?jaMsIvbibGXc?\]W}FUbfb@Gy?oYMaKDeS@rGxgqiM[KhdO`phSW[aTCFFeQ`qXcw[mXKFIbaaogw_kQMEJBb]anGvojyL}I|b]PmwvSZ[V^EwDwpmP]Cg{PpGxDGqc@FSdoNRH]BsQVO{{\{P^GpBnQK?{Ce[PZGmCqqJ@KsfOP@HuCPQ\PCK`gPvG[C]qEpFc]SOVFcCEpx`@c^oPFGdB}p~`Cc^?OhFpCJP{`Ak^cRzFzC~p}`NscgMdHKBiQQoy[[?SLFADCPoPO{cCLhHBBZQO_ulG{?l?S_IoDgAk@Q?P?I_CqhHSsiUSzI[dLqhxTKiaT`IqdWqkxUkjQTBIbdPQgHRsh}DRAj`TOjWTsIqD^Ao`WoKGESBE@h?t_XoMGEsB]BZ@n_vO[GMSFEBh@r_yo]WN[FiC@A@_~o_WOCF}CtA[`LoagPKGaCJAE`BpxW{s]QNBFbbpQ^XN{fyRnHxc{Q[XM[fIR\HncwQSHISdEN@F^bnPxw|K]aNXFibtpzW|{]yN`Fqbwpsgyc\MM^FObgppGwk[MM@FAb_pmwvSZqLhEubYtEQa|PYgpReH{SyA^LM[ftR\HtsyQZ|LwfTRqHiS|AYtNKejRbHfSxQYDK{fHR^HfSrqZlL?e|RDH}s}qW|NoeLRCh`SoyVHKaduRIh\CqYUXPYdiSWhYDDyVHJIduQph\CkITxLId[RRhgcjYaHIegcQfhSDCIa`IigeQkiIciyS`O]dISGhRDAYSXNYfmQahycgYS`JudKQ}hQcnIR`IacyQhhLchyRpIqdSQ_hNciy`PHIceSKiDcdIPxLqeuQPhlCcIPhMAc[RahocbIPHLYegQJhicaiOpJYcOQwhBclyPhHUc[QVhJCbIapFugmP}iKC^yNPGUcEP{hAC]yNHO}bmSMg{DBYLpNUb_Rvgvc|iS@Eic{PhgsCfyKPL]bGRXgpcuI^@EAbARygnc}YaXDegiPZiICUiIpOQgKPVgkD@YWhDUeKPRhbcTIR`DIa_Q\hLcSYH`OAf}PIgdc~iOPCaaMQ?gcc_YG`J}aKR@gacoI\`Bya?RmhucNyR@BmcsO|hKcNIF@IIdEOyg[cgYEhJA`mQqgZCkY`PBMgWOsiDcKiDxOUgKOpgWD@IZPAqewOmhlcJYOPAe`UQ?gTC_YC\AQ`JO_Hvs{QCLN?`DQCGMsFqO\GS_|O[H_sEqWD@gd~OPHIsCqQ|@GclOCH`spA?\?GeDO@HqSxP~|??fFNzf{r}h}pME^oRafzcwI]O~AfgNqhxb{X{{}a^RQrFqSl@{tJS^JSFFotAP{\O_^DN_HHRvaQc|{cfNQIGTC`ydPC]fNKffRrY^W{Y]OR|fbc~Hvkzy\~RPF\RnAY\LG\vQGF[s``vDG[\nRhFTsyptlMg\XMgIItD@tTPK\RR}FQrhq_CyWf~RKFQRgqXkyGeVQWFMrfARTHc[|MUHDRdqP\Gc[pMPHFrcAQCxGcbSPFErbqaDPG[\MJHkrbAZCwgenMEI@t?`ocwSgBM@IEr_q`{wGg\L}HcR_AXSv{eRReE{R]a\DM[ZrLtHZR\qVCvWdnLpHdr[AXcu{eZLXH^SnPi|JoYpLTHurTa\stOfXLPHUsjpi\IwYdLNI?rSA_[swgDRoEbS{Pgks[f^OXGySEAMt@[bjOMF`sC@wl?{]HOSFyr|AAs~K_jNlGArza?s}{_NNiGwrzAM[}kbdP@FlrvQG\CG]xNHFirqpy{{g]lN?GCSA`wT?c]BMuGrrlAKszSbJMpGRRkqDCzG`NNNFVrk@yKyw]`MZGnSVPrTDo[rPNFIsRPqcxKa\MFGtsZPpLEo[PLzGDr^Q@kvo_XLqEuR\@lsvKZZLhF}R~`l[ug^zLeEmrY@j{u[Y|LYEqrV@k[uOYvM_EdrfphkyCYXLHFlRQ`zKs_]pLCEoROpkSuCYDQ?h@S_YO\GQcJQGhBs`ggsS]IJDYamPUwH{DAA\@P_hoSgH[CuAXBm`wOzwbCPiGrC?a@P?WZKLmEtBM`forXwk{Q]FOegSSHx|c}i^VNWflRuXrSxe[vMUfKRdxokwQ[LLJeerRJU`hWtbYrLKUdrUTf{tdY?LWukrNtf{s`YQL?U^bQLfosTYKK|u^RP\j?r`XpLVUjrL|fCsFY@KwU_bL|egjLXjIqUYQkldstVX^LUuVbTdfWqrXvKju\RJDi_qhYiKjUiRIldGtJXRLRuSRSti_qXYiKeuiRH\cStFXFLPUPbSde?qDXaK`uWRGdbksZWyLFubbFLbWs`YQK[ULrQLg[pjYHKXuaBEdbGtZWoLTuKRTdacsvWfLKuIBRT`{tHYaKOUFbS\`csxY\KLUfbBD_KsxY]KAufR?diCoDY_K?Ufr?LiknnVwLUt}RTd]wsJVoLBTzrOdigm|YgJmuiQzdhKmtYSJltuRQleWmNXgJcuXqxDfGl|XsJ_U[qv|e_lxXfJ]uXav\Z_tJUyLRtmRStY{rFUpKqtkBKdYkrfXsJSu[atTWwsrUOLLtbrRTWkrtULK{TbBNLfSkRUIKzu\apDWSrvX|JBu^AotWGslUCLKT_rQ|V{rXU@KvT_BLlVktdYrI{t]bULV[t`TwLVT\bT|UsrTXjIvuYQltUgt@TkLOtYrR|iSjNThLRuhalDhKijYTIjudAitTOsTYKIhTSrP\iCiLTGLOUfqg|Rsr@S~KpTNbKLSGrHT@KqtOBK\iwhtYoI]Ujqf\R[tDSxLQTMBS\ROrpSuK{tLRNTRGsNYHIWtKrPDQ{s^YLIWTJbPtQsr\SkKuTIrLlQ_sBSiL@tIROTQGsHSbLBTHBOl_{pZWnKGuCBDt^sq\V~KfuSA~t_cnhWJJzUAa}lbwnXVlK]UNQ|\]_qtX[JtUUq|LaWnBWcJoUHQz|]SmfVfJitxayd[{qRVMKdTrRHD^gmTVKJ}T}qx\\_mLVVJaTpQyt^CldVqJYT{qu\YoljUvJVTlatl\?lLVQJSTsQs|XsoXWMJNtfb@l]GktVcJMTwqr\X[ovUXKMteBBdXSlJUUJPthAqdXCjfTtJHt\AqTagj`WjIxT[RDd`GivWSImuCqjdT_ojTYKJtURAtSojxTMI}tRQntTCpFTOKOtRrCTScoLTIKBtQr@DY?iHUaIatgQg\UChJSfIptWactTwg~T_IOtVqcDPop~S]K_tFRGD[CgrVBILtoabT\emtVZjhttYyd[YmJVCj]tmyvdYYlPUfiVTKId|PegtSZnOfmjsPze|u]bnbFgJwxxy{}^DnbFczq`{U}M]QnAfnZvpwM{G]{mwfnzmP{Aze^@mvFljm@z]z]]wncFSJxPtI}Q\Pn`fQzwPsqyS^Cn]FNjvpr}|y\?n_fFzvxpu}?[]mIFmZapzmwi]ym?fmJ_@zY|mZ~liFqZx@lI}SZRleFojXp{QuY^BnXfYJuhui|g\hmhf\znHtUyg\wnLFNJfhxaxu]Xm[FbZfHwqxs]MmVf^je@vuxa\~mUFKjdprQxY[rnBFIjp@qm{M[hnSfHjsxqa|O[fmQFFJchpmxE[Ym`fEZgPp]wo\@m|FCZn`pIzu[RmFFTjj@pAw]\VmkfAJjXoiys[Hm@F\J_`vYwE\tmee~Jhxnyy[Z|mOe}zcPnevs[_lzFVJ^@tyvm\\mAe{z]ho]wKZsnCe{JpXnI{SZplufLZexm}v[[ultFhJspmq|IZjn?ExzoHmevO]AlqFPz[psevI\GlofPJ[XsYvC\DloFfJZxxm{yZ]mDeuz`hluwWZ[lkFjZZPy}uq]mljfijYpyqui]jlfepjY@kauaZFlcfWjk`kmzEZIl`fdZW`xYuI]VnWEoJuPkI|aZ@mqenZVxu]t{\el\fWJV`uEts\^lZfYzVHuuto\knFelJqHjY{_YthDsaiPLGqcZQMghsTYIcxq[|M\eqrXHk[sIYHLBearPxguEt@t`nO\wZcFeAxBT`kOWWYsD}AhBL_hOqwXCDEEl@F`kOQWGcLU@|BR_`OsWGCK}EL?t``OKwWcB]EX?b`cOHWXSAE?lBF``OEWAcKUFL?N_HOywACMe?PBN_EOsw@SLD~xB\_?Ovv~sLl~tBb`qN}W[B~\}dB`^jOxVycMMFK~L^gOyVxsMmDTA|`_OjwTcJ}CpAL`MOcWRSG}CL@z_~OawPCFuCh@l_sOdwLSHM@L@n_TO[wDCFEC@?B`AO@wOS?T~HAp^sOlV{sJL}|@b^pOXv{CET}pA^^mOgvzSIEAk~F_lNqwJB{d~S~@^vNpV|b{M@w}|^^OMVvSBm@W}t^[OKWDrz]?s}n_NNkwBbzD|W~t^TN{VtB~L|D@J^RORvscCt{xAd^OOiVrsI\{lAv^LOmvrCJeLLETbTPeWtCX]JPDVaqPTWksTMITERacPbwgsXEH|DXamPMwjSRuHhD@aaPMWesSMH\DpaXP\WeCVMJlCba|PHwnCQUKPC^bEPGWbcWmL@CVaKPgwbSYUJxCPb?PDWnsPMGTDjaEPZw`sUuGPDPaBPRW_cS}HPB~a@PJWdSOEFpEZbNO~WrcNmFdDbanO|wkCNUFXEB`vP`WosNEO@ElcAPjx?SZEN@FrbwPvWzs]}NPFVbtPuw|c\eOTFTbhQ@wyC_eNtFDb}PpwxC^}NLF@bqPow{SZ}MTExbfPmwxcZuLhFvbZP}WuS^UOXGjcGQJx@sauPlGdc\QIXFCa]P`G^cPQLXCCbMOdGXcJQFXAc`mQ[?Ac]qS_?scEQ_?Cc^_@hGSceQW?Ccb_?hGccn