CAT(2352,1)
Sparse6:
:~?co_?O?G?CAG?x?\_NOFwCKAA@H?a_PoJ_B{AE@@?y?XoKgEKBM@b?q_WOJgD{Ay@^?o_UoJGD[Ak@f?l?WoJ?ESAY@J?f_SOIgDKDS?r?Z_LOEWB[@i?r?Z_LOIgDCAeBG@]_oOVwJSDeAp@\_loVGJCDiAr@\_loVGIkDYAn@R_iOSgJoBQ@k@__n_LWEwDUAm?x_[?TgICDEA^@K_fORWHGDQAc@J_h_QgGsCaAN@A__oOGG[CUAH?z_\ONGFsBu@~Ae?OoFwCCBY@h?t_ZoMWFCJ[DXAm`UoiWT[IiDLAg`RoggSKIADHAb`QoiOR{HsDTA]@TocgQKHMDIAU`I_gwS_HQC\AO`Fog?PkGkDDA`@EOhoPCI_CRAe@DOk?OkJ?CNAo@BO^wOKGACs@|`M?^GRWFyCy@v`N_\gN?HyBb@q_wOZgL{EuD]@i`V_YwTwEqCq@g_s_eGKwH]BiAW`K_[wM_H]Cs@c_q_fGRWEYDW@`_p_jgKOIuCE@z_|?_gNGGQGI?P_GoCW`W@Y?p?V_KODgA{@I?d?Q_IODWA[Pg?j?R_IPG?A[@U?hCh?KODwAsRGCxAZ`LOdwRKHa?x?]_MocWQSHMCPAI`Co_gOcGMBN@h_sOWWK[EIKKD{a|p]gncVmJtD}a~p^WnkV}J|DuayP\WnCV]JrDqaxp[Wi_SuIiDNaf@SwhOTAIWDQad`SWjOTuIuD]ak`VGk?UIJADcan`WwmoUaJSDtas`\GlWV]JYDxau@]GloVMJ]Dqaw@[WmgV]JqDsaz@]Gg{SaIRDdAbPPOk{SOJLD@AppOokcUGIDD@A}pOon{SGJ|C}AnPO?jkR{IxC}A|PO?ncR{JvCtAjpT_esR[IpDCAXPL?gsRKIJCpaWPJwhgQMI]Cdaf@HGdgTIH[DOaU@SWcoTMHODTai@HwdGTUIgCiaT`SwcWTuHID]aQ@VGk?QEJAC_an`GgbgUIG}DcaN@Wwb?UUGqDfaJ`XgkgPiJKC[ar`Ewl_PEGeDjaH@ZWlgPYJUCTaI@ZG_wUyJ_CEav`@W`OVAGODmaC`ZwmOREH]DpaW@[w`?RmGSC|aC`NGa_ReGkCyaI`MGc?RaHCCyaO`MWeWPiHgC[aL`KgaOR]GeCuaY`CW^wOIGACCa?@?w^gPyFwC\`~@FwdGOIHUCCaT@?w`oQYHOCOaF`HwdgOuGUCmaU@BG_?KiGABJ`~_qWhgNeI]Bzaf?}giwNaIoBuaj?|w][NUFhBo`xO{WkGMiI}Bkao?yw[oTmIsBdak_xG[GRmFEC|`p@NG^_LyF{B_`}_vwZWSiEyDK`m@Qwi?LaIaBY`k`Sg`_LYGYBVaD_tWYOP]EgCX`h`EGYGO}G_BN`g@BgX_S]IQBM`e`QGWoUaEODhat?pwj?KAIkBAaj_oWlOKMEGDh`a`YGVgOUGMA~`^@@gVSJqDvAx`[Olwh_JYISAtad_lGUWTeDaDZ`X@Ug[wMuFQBn`s?zhKw?}?`?Mc}?~G^sNuGpCVaKpJWdcQy@D?c_PoRwICDEAX@M_eoPgHCC]AD@@__OOwGkCQ@t?{_\oNwFsBuERBJ`dOxW[sMQFRBf`sOuwZkLqE`BP`fokgU[JEDjAs`ZQjPSciwTJIkDPqepRkh{SxI]DLQiPRKikSpIiDJqdHQshUSgIedJAhxQgiaSTIHdCQaPSKggTDIGDOQ^HNkfyT]H{c~AkXNgjATGHzc{ahXSWfiRoIMczAbxMwhARiILcxabHM_gmRgIAcya`HMWgMSCHwczA`HMwgMRWHpcxAYhLWfARcHncvA[XLgfAKvE[bMqapJCgsQrIKClQTpP{dSS`HUDFQiPG[ikQJIiCaQI@T{agTbGhDWQH`Tka[T\GdDUQF@Ss`wTPG\DRqePBCh[OnIWCJQAx@c_iOGIDcBA`x?ggYROG@csa?xKw_INuHeb}aXW~_eQNiIYbzAfHRW^]S{FnbwAfXRw^ENQHzbta]g|OfeSAFlbvA^xO?]qTAFgbrAghS?]]M\FObfqXowkecMNHgBbQ^ovcgCL|I?B]phPK[YWRBEcCpPm@K[eCLlEvCpPk`QKhKLbEoDHQX?tSYkRLEkCqpapLke{KTHmBCqY_qKW{RXHjBGPc`OkXOSNERDBPe@QKhKKtEXDHP_`JsW?R@E@CnqV_o[e?KJH^BAQP`J[dsQPH[CbqQPDsb?QVHICVqCpD[`SPZGSCUQC@Ec`GPlGPCYqNP@k_{P~G}CFQLo~C^gPrFxC[P{`BK`kNhGYBxpwpCS]SPHFcCPp~o{C_?NBF}BpPvPB{\{PBF]COPu`FSboMxGzBlpfpH{dCL@E]CgQKOykbKMlGqBiQR?y{\cQ\FWCepsPGC\KQDFQC_pgPI[YKQhEaChQA?wK_[L~GHB_Pmoxc[sLtExBdpp?u[[GLjFBBYPb?tCWsLREMBRpjoosYsKPEmBBpq?qkXWMREVBdR`@KCd}Q|Hqcwq[GRkH}C|?j_UoJGBs@q?z?d_ROHwQcHYCjAJ`EobGPsHAC^A@`?O^wMsFaBn@o_xO[WL{EyBZ@k_toYgM[FUBh@d_rOXGKKEMBDErbYplGq[XQKdEXbLPeHugzi\kMzf]BlHt?yU\KMifRbiXu_yI\kMcfYbgxq?ym[cMlfGbjHvgwi\{MKf^baxo{we[PMFfCraHqWwQ[IMSfBBdXpgwQ[KMNfAbbhvowI\}MBf]b_Xo?zi\wL~e~BmxnWymZyMle}BjHmSvQZfLnFQrhpmKyWZ`M_EuRfplsyCZZLeFKreplCu[[tMIEprXPpcuO[VMOElRc`jcxCYvMhEiRi`isy_YjLPFZrS`vKtK\pM[Earf`g{xsYLMUE`RP@rCsK[nKzE~rMPoCrgZ|KwF?r_`e{rW[FMpEXrkpekzGXhKoFVRK`uCrC\^KZeMrFHropU[yKUeJbfH^OyE\?J{fNa}x\CmiVRJddrqxhZ_yyU{Modmbjx[GzM\aJ^doBkhY[lQUjJPdhQsHXOyQUWMbddbghWGxeUEMYfLaohqojm[oI|fJanHVOw}TqMLd[BbhUgxMTkMTdZbdHuwjITgMxf[AkxmguAZmLaezBWX[OsmVGLLdpbRHh?vaZsLHedB]XcgpyXKK_eQBFxjGpAWaLVeFbUH`_pIW[KSeEbCx`?umWKLiesb@x_WrqWIK}eABNX^gqEXCJ}ePa~x]wt}VqL]d{BVXcwnQVkKheSA|X]GoAWCJre?a{hb?myWsJoeKazxZGoeUuKJdlBAh\WlYVYJWduAtxXor}U]L@debOHhokaY_JFefaqXdgkQX]JEeVApXdOjyU?Kkd^bIyNO?}?`?M_FoCG@sN}GBC?a@P@G_[OeGPCIaMpFwbsQYHPCfaQpHGc[REH^Co_hOTGI[BQ@l?t_ZoMWFCKAEDB@``opWWcJuD~A}`WokwUSJQDjAueIrDxasniVxJzd`QoxWKjqTvI|h^cmYV\JidzQ}h]SiaTlI{dXQmHTskAS|JGdRQpHSSfAU\HkdjQ\HYSeQUtHgdpQWHZsmaNTJcbvQzG}SnANlJsb~Q}G~S\qUDF_dbPxHXSjqMdFWdZQmGyrwQRs}Kd@NaHNsXaQ\EScdPfHISWaODGGbHPbH?seAJ|ECcrQYGoSfQJlHoa|QZGmSbqJLHCavQOGlSTaSdD_dLPVHQsRaQ|C{cjPLHJSaQHTCocVPJHDSiQHDI[aRQgGbsOqQ|CCclPAHIshQF\IO`xQeG]sMAQTBgchOxHHs_ADLAkcBOiH@SHaVDA[dlOgHZsGqU\ASdjOcHYSEaRt@od@OZHNsEQSTIK_nOWHOsBAVd?kd|OLH]smQ@TJk_POHH\SbQ?C~{cXQMG?s``~c~wcPQFF}r}aTS~cdXNzHTr|aN{~_bzNvG~R|QNc~KbvNsG|S_p}LGS^dQCFwS_p|tGO^ZQDFvryaOs}kcPNkHBsgP{|IK^RNgHPRvaPS}?cRN^HDscPz[|sc^QOFmRsaMc|OblNRGys\px|F_]bPxFgRrhxk{q]KQKfcCbhwxGu]@NAf_s[qLTFGbRPpGsSZaITF?a`PnGgsLQFtC?`nOuG^sZAE\Es`hOqGtsBqIl?wafOOGiSJq?lBC_NOoGBSJA?TAw_HOlG@sP@{lCW^HPDFrRuAAK|g_fNXGHSD@yl@W]nOTFjRqQBl@{]VNIGNSG@w\AG]HO`FaoBW@k?ujeH`cpqWhKseURHHtcyQ[xMsfaRnHxc|q]gSCIIDBAb`QohHISdMQhHNcgQSXCSaQPFG^cOqGGx[[uMXEEbCP`wpcWyKZETbJpdispYAlBUajPthYsdWukVUKjDTaIpLYKjxUcI~ThQnlY?jrUaI|tgQnTUuj^TmiutZyltLwkdR^JGsvQq\YKjHUdIrThAklY?jBUaIptgQkTW_idTSJCtSqpTWsi^UJIgtbAiDSojfTtIfT\AhlScjfTtIdt\AhTV?iJTBIxTPAmLRehnSwiZTLYedRKk\UOIWtKap|QkktSlJMTJAr\Q_j`SiIxTIQmLQSkhSfJJTdQctQOkzSaJNtGqrtVWg~TwIOt\qcDX[grUXILteAbTP_kNSVJBTDaolPKkDSTJATDAo\PAgdSPiFtBY`tOWkjUUIAT@QqdOCkzSBJNT?ar|NwjxS?I~S~qnlNojrR|I|s}qnTV{fpU@H|T_A^LWwfjUOHztbq]tMokbRlJHtca\tMcjpTuHtt\q\TV{fLU@HsT_A[|WSfHUFHpsxQotWGf@UCHpT_q[LLkknRYJKsvArDXgenU[HkteqZDLIefRPhjStYYdKaeRRIhbSpyWlT{jPThIoTVak|UgijTkIjtYqitS_h`SmIbtJqgtPoiDS\I_TFagLNKizRsImS{aj\T_f^RpIlS{AjLRge\ROI]Srqf\RseVS~HetNaXdOgeDRCIETAqW\O[d~SHH_tAAWDdCDtA{`\olwVKJaVDJcdpqqXXCk]q_WJkCeRj@Pc}oKXVkCEUZ?xdaoEX[kAeUjJX_Qo?XYkmE?jJX_En}XWj~EUY~hd]nUXNjueSJHp]qqgVgkjDyjIh]eqaVdkhdxzIP]YqaVDjaESzIP[YmEXUj_eTYwPdQlpUyj[tmyvdZuqIU}kbdoJGpZ}puW|k^EMZFPbqp}Wvk_eMJG@bYoaWgkFeIZA@a]o[WckQeBJCp_unsWrj|eLY~`bQp_Vvj{eKi~@bEnCWWkLDxJBH]MmwXAjnEPIzhcMmsWSjleCizH`MmoWTkJdtiyx`YoyVSkLdtZB`\Mm_WlkVdsiyHaymYWijfeJIxpamm}VIjeDwY{@[mn[VFjwDqY|x[apAUtjZeGyupaIo{UqkODlJBxZMlaVsjVd|iu@^Ul[VpjUD{yth^IlKXJjSERYsxcqqOUhjTeQZHPYi?H?E_Ao@w@K?a?R?F_COAw@S?q?T?K_DoAg@c?m?R?F_CQYhL[eqR\HncupaWp[WiK^EObGp_GoSWEKDE?b?p_wokWQKJECb@sHiDDA]`HOdgPsFIBT@m_nOXgKSBiAD?}^HNefqrrxyK|A]dNSfhuHzDLaapJWekQT}i~d^mnnVxj{TuYz\\imnVWjjTmIvTZelvU|j]TjyuLZAlXUmjUvArbLp[wZ[KMKVABadpWwT[HMIuzRblmww~ZnMNUzR]Dm{vdZmLwvEb\DpovR[ZLruxr]\nSvPZhLyUwRadpWvFZaMIvDrZtm?wrZ^MKUur`DlswRZ[MDU}RZ\nkuzZyLmVArZDosut[KLku|bZDn[utZwLkutzYllYujZVljUsZX|lAudZSlhvGrXdqOu\ZLMQvGbXdkwx@[`LeuqRaLkgwfZJMHVBbWtp?uP[NLbv@RYTo[ufZSMBV@BX|oKu`[ALguybWtmouPZjLbuqb[tkkvHZHLquoBblkGw~Z@MNVEbVlj{wxY}MLuxRVdjgvLZcL\uybU|mktrZkL[UlRW\jWuJYsLaUpBULjKuJZBLXUkB]\i{vhZtLVUir]DisvdYkLwuwrSdmGtFZ`LPUdbZtl{spZ_LJubR^dg{v|YML}uab^|oCsX[?LDu`rcDqGsR[`LCVGrOdqSsL[cLAu^B_lfswN[EK|u^b_Tg?wHX~M@vBbNDp?rt[NK{u\RaLf[wfXuMHUYR^|oCrV[?KtUXb^de_v|XfL}u|bK\n[rHZwKqu}RKDngrDX`L|u_RSlgKtNYALRUiBRLigsvYhLLUcrRdhssjY]LIUcbSDh{s`Y`LGu\BLtfGrZXrKuUVrL|fCqzX]KwVpQmDVIjbL}f?R^xoKwM[DTEicTPygDSIiBR?h_snyWTKQeFX|k|u^JNtgAr~[eN`VIBwdq[}F^GN_VnrxT{c}B]{Ndvnbxlzs}X^VN[vmrzL|_|t^SNZVtbvD|S|n^FNVVjRwl{W|^]iNavprtd{W|V]hNfvhryDy_}\^PNQVhRy\yW}d][NivfRytxk}h^VNKVebzL|_{r]CNfVrro\wS}`^PN?VsroT|G{B^GM}vqbn|{cz|\yNdv^Bxlvk}X^^MuVvRll|wzV\gNlVvBlTuc}v^]MhVvRiLt?}~\RNlVTRz\|oyh^AMTVpBd\qc}F]RNCvdBp\xG{T]ENIvaBq|w[{l\wNFV]Rpdv[{Z]PMyvcBmtw{zh\dNNVXrsDuW{~]`MpVXBs\uK|D]sMnvlRkDzKzB]oMmVkbjtzCyz\XMbvUrhLtgyP\mMaV[Bgtu{yJ\UM_vUBg\sGyn\rM_V[RftvGx~[vM[VMbelrcxl\LMXVRredswxf[nM\vKRflr?xx[kMdVJbh\qsyX?C_Ao@g?c?Y?J^An`vpJHtdAq^PsgzS\YM|FebpWlkVuJjDTaqpVUgjRThytLYmlT\ImeVQzhls}y\\OmhVSZi\tUyh`nOiWZcIUEtAf`QOtWZCIeElAf`NOywSSMeD@Bf`LOwWRCMUCxBb`WNoVwSJUDc~D`KObwRSHECxAL`?OfwOSIMCHA``oO]wNsMUFD@|_wOyWLsM]BdBj`TOQwTcC}D\@L`VOPwTSCeDX@D_^OqwGSKeA@BL_]OswYCBmE\?x_XOlwEsJm@hAx`lOJWZsBEEx?n_ROtWZCAmEl?h`cOGWXcAUET?b_LOrwBsLM?xBP^wOnWWB~T~dA~``NywWr}}EG~l^qOlv|CJl~LAx`WNvwUb}MDc~```NuWWr|uEG~Z^hOnWWB|\}hA~_yOcwQsFeCh@v_sO`wLcGmBTAH_jOAWJS?uAp?J_@OSWIc?]Ad?D^}OBwAS?E?_~~_IN|v~S@e?k~x_mNrVyCED}\@^^bOWvxSE\}P@da|P^WmsWEJpD~bBP[wmcWUJ`EBbFPYwqSU}K`DlbDPXwpcUUKPDhaAPRW`CTEGLDNa\PSwfsT]HxDTalPLWjcReHlDXaVPVweSUMH`D`aMPgWcCYUG|EbbRPDwbSYmGpEhaGPIWacQuGdCjaDPGw`sQ]GXCdabO~w_SSmIPC@`{POWgcNuFtDB`xPdW]sXeFhEV`uPewrsNEKxBnbsPjW|cZENTEnbqPuW{s\mNDFVbgPvW{C\UM|FRbyPrWxS^]NpFNb}PpwxC^mN|FDb^Q@x@S[MM@GHb]Q?wvC_ULtG@bXPzwus^MLhFpcEQHXACaeO\GfcZQFxCSbmP@GxcKQKXBcbUOtGrcHQIxAsa}OhGlcf??hFkdG?LH@cg?@HFw?IQDHHce?@hGw?QQHHJ