CAT(2594,1)
Sparse6:
:~?ga_?O?G?CBS@b?p_WoROECAy@^@j?soYGLSEaBT@h_j_TgJ?DYAm@W_l?VgJWDqAq@\_m?VwJoEAAy@`_p_VwKOEABG@`_p_XgKOE]BG@d_q_YWKwEaBK@i_i?TgJ?DUAm@R_k_SGJODEAu@Q_f?VWHwDyAY@[_e_VwHoEEA]@__p_QwK_CiAW@a_q_QgH_E]BK@J_k_LWEwDi@k@Z___NgGOCAAE?~_a_OGGoByAG?~_`_QWGGCaAC@F_[_PWF?CYAG?y_\_PwFgCe@w@G_]?TGFgDM@u@T_g?LWEoDI@m@P_[?KgFOBQ@q?r`X_IGDSAeDw?j_UOJWWOBy@~@?__oOwGSCYAH@D_cOQWG{Bu@x?z_hoTGIkLCE\BO@hos_X{KkE^BO@eor?XsKSEVBF@eop_XcK_EDBI@aOqOW[KSEDBF@aOp_W[LCBbBR?xos_MSK_DZAn@dOqOTsI[EBAg@^oiOWCJgCvAz@MOfOVKJwC~A{@OOnORsJkCpAY@[oeOVSIEDFAa`Q?nGSoJyDIA|`@_oWOgJ}CGB?`Z?\WMoJaBgAv`Z?\wNGJaBoAv_|?kwN_JUBuAs`X_^WUgF}Dg@}`W__gUOGAD_A@_v?kGM?JIB]Ap`T?dwQgIqDUAU`F_bGPoHEC_AL`B?aWP?GmCMAI`H?YwLgHQCe@kaN_HwCsAUHI?m_WOJwDsBA@^CmAT`HWdgQYHWCfaS@IwdGQuHSCkaKpEwbSQ_GlCiAKPIOa{PKHLCTAQpD?c{OyG^CL`r@Gg\?QQFMCbaO?wGcGMIG}B``m`GgZwQQE{CbaO?ugZ_QEEuC^aN?uGbgLeEmC[aM_tGboLUEkC[aB`Ag`GOqGOCJa?`@G_WOYGCCD`~@CGaOOAF}CP`y_zG]wMuFkBm`x?zw]_NAFaBr`t_}G\GNeFSBy`p_}w^gMUFwBc_SOIgDKAa@T?h_ToJGDkAm@Z?ka}?QgHcCmA`@Q_goKgEcBMKUEAbAP_wnSVmJrDgAyPXom[VSJRDiAxp\OlcUkJhDuAup\ol{V_J\DuAwP]?mSV[JbCsA}PL_nsRSJzDbAxPWOmCUGJbD_AvPZojsT{JZDZampVGj?V}KADYb?@UWlOTUJWDVat`TgkwTIIgDhas@Swg?WIICECa_`_wnORuH}Dza^@]WngRqHsD}a}@MwewV}KACwb?@MWdsRAH^CpaXpKgk_S}I_Deaq`SWhWSqIQDMad@RWgWSYIIDGaa@Pwy?AU@N?e_QoHwCs\c@D?c_PokWUSJADlAw`ZomWV[JiD~B@`_PuWz[\iMvFYbkps?y{\CMlFWBhPu?yk\OMlFRBjpfwrsXuMSFTbh`rGy_[mMcFGbg@qWyG[]MKFfbq`pWw_]YLmF[bn@lgzgZUMYEqbf`lGxoZML]F[bW`vgu?\uLWF^bV@wWtg]AM}Ehbo`iw{?YiNGEebR`wg{WYaNEEcbq@hWsW]ILAFfbP@xg{gYAKdERbGpdGqsXUKnEXbKPewrcXiK\EObFpaoxkWsM^EKBfPmowK[KLzFAB]Pm_vsZcM@EwB^p`opSWSKPEEBCprWx{[yGxC]aMpGgccQMK\EObFpaGpSWePwG~c^AOXFgcAPbGqcWQHxDKaaP}GccRAOXCgcAO`GPcFqMP?[bkOJGCC\QN`?KboODG|C?P~PEs^wPnF~C[P}`Es^oPnFzC[P|pFK^cPvFwC\Pzw}C]yNdFrbwqKo|CbSNTGsBsqKo|kbSNXGsBtp|@D{^WPZFtCVQDPC[aCOnGUCPQC`CC`OO~GRCNQI`@caoO\GjCEqEp@K`sOVG[CDQ@`BC`gONGGCKqZHLseuQVHLceQ\PNCf[RtHuC{qVPKkd{RHH]CpqWPJSdoRDH_ClqTpL{dcRbHWCwQ^PIkdWRvHSC}QSPLKdKRVHQCtQ[`H{fOQ`HrCfQQ@Kse_QTHfCcqO`Gkc[QHHEC`pIwdkQqMBFBb`PngwCZ}KJEEbBpagpKWaTPIhdTQjPTCigTVIhDUQfpSkiCTNI_DRQfpSSiCTHI_DPqg`OciOSLIbDAqeXR[hiSnIUdKQ_PTkikSDIkD@q_@SkfwTNH~DRQc@RchwSdIPDMqa`PkgoS^IJDFQcpO{g_ShIHDIquoCSAQ@F?a_QOGwm[VUJhDwazP\xCKaMPDG]cOQFxB[`uOxGWcKqEg|C]iNRFjbupzH\_mQVUJedqayh[gmaVKJhdqAxx[GnAVEJqdpA{X[GmuVEJndpAzh^?l}V?JudzavhZWnMUyJtdmA|HZ?lmUsJ\dkavHZ?lyV?JYdkavx\gjiV]I{dvAmx^?lEVmJNdzAsHXomeUYJfdeAyH]GkeUSJqdda{HWskaUNJBdaQpX\_kIU?JidtaoX]WjuT}JtdyAnhYgj]UmIxdjAmHU_lUTkJVdYathUGlIUeIrdXAtHTolIT_JSdVasxgGliUrJWbjPuGy{WUKNEEcbQPxGkeMRJHccoQWhKKiyT`InebbSxhGtUYOLSebbRHh?smYQLIeabShgotEYGLOeaBRXhwsYY[LDe`bTHigsEYeLAe`bKxe_sEXcLAeRRIHc{qUXHKbeMBQxbOsqWuLIeKbShb?tAWmLPefBDXhwpYWgLLeFBNx`wsAW_K}e]BAx`_rmWYK|e]BAHfgoiXuKHeBBOH_wr}WIK}e[B?hfOoQXqKBe[A~x_GriXqK?d}BLX^or]VyKud|bLX^OrYVqKveGbIXaWqmWcKieVbGHeGqEXCKoeMbJHdop}XYK]fNBdXq{xY[dMRfIRfPkKxkY~M[EoRfPjcxkY|M[EmrU`rKtk[pLXFLRePjCtW[tMWEjr_pp{wS[bMOFARXPm{u[ZrLeE{R\@oKvW[DLtF?R[PpKvK[VLqFDR``lsv?[PLnFBrYppkus[\MKEuR^PlCv{ZTL}Esr]`kSuOZxLzEpqshYclMUjJVdjRqpuCzG]ZMpFeRohwc{M]BN?f^rq@uc{g\jMrFcrq`s[{_\BNHFPRf`x[y?]ZM^FeRppt{yw]LMlFarn@tSzw\XM|FTrhpvKy_\vMhF\RlpskyW\pMuFQRLXe{rYXpKye[rMxfkrqX|L?e^rr`|{|?^bNNFwRyP}k}k^nNiFzRzP{{}o^LNgFvRwp|{}S^bNcFwRw@}S~O^DNrForvXz{|y]vN[flR|Py{~[]rNuFkRt@|c|W^\NTFur|@yK|K^dNQFxreHrSxe[vM\fMSCyAl@Q_dOPgGSEA?l@[_LOUGAS?QBD@[_FOUG@R~aBL??_vN~GLSEP~\@k^zOYF}SAa@l?o_^OJGFR}A?|?c^tNxGCSIqDtAs``OkGVsHQELA[`fOeGXSGaBdAO_|ObGMsFqDDAg`BO_GSsNQEdBW`~OtG^SLqFTBc`xOwG\p]gn[VeBV@l_uO[GLsE}HhCuaYpNWf{RyNlFsbyqHHCsaUSBIBd@Q^hOCf}X@KaeOrFXb{py\BMbfPRfhsCx}_TOKgDs@y@L?ab_PiguC[iMHEmbYPfgvcYYLpEabGPiguCXiKhEmbAPfgpcYYKPEabGP^grCWIKhDybAPZgpcVYKPDqaoPZglCVYJHDqa}PTgjcWIIpDya]PTgjcSIIpDEaWPQgfCTIHhDMa]PHgdcSYI@CiaWPHgfCQiHXCuaoPEglCQIJHC]aKPQgcCTIGxDMa?Plg`CZyGHEyaEPogac[iG`FEdK?U_KODwBK@m?tQn?MOFgBlJ_?~?__OoMGFSBe@d?s_Xo|w]sNULLEgbRpawpkWqQ^HOcfQQHHSceU@J@d`QnXV{jyZXLletrYHlSue]hNTfjRsXy[|I_xO]gMsGYB|AAe}RahocxI[@MMfIR[hrcvi[pLue}RXhlcwYZPMAeyRVhnCuIZ`LYeeRXhlctYZPLQecRVhgcuIY@LYeeRLhfctYY`KyecRKhgCqyYHKieMRLhfcqYX@KyeGRJhbCrIWhKieGRBhbCoiWhKEeMQ}hccoIX@J}duR@h]coyV`KIduQ}h]coIV`J}dpQyh[smIVTJebeQtgyclyM`JYd?RahPCxISHMMfKQ\hrcfy[hHycsQqhMClIRXJMdcQVhKclIR@JMd]QShWcdiU@HUcaQkhVCciQXIuc[QnhGCkYPxJAcUQkhEcjiP`IucOQhhDCiyPHIicIQehBciIOpI]cCQehACiIOXI]dQP~hTc_YTPGAdEP{hQc^iS`FubqQtg|clyNPJYdEPug{ChYMxIQi[?I_EOAw@k?y?^TY?GoCgADU??h?T_HtWIkLUIjDT_iosyAjlT{fTT]HstQAaTScghSRIdTQAalSgglTHIJtUa`|PCixTZIGTBAjTOwixSLIltAQi|OkirSIIkTAAilO[ilSEIiTTa_dTSgJTSI@tTq_DTcgDTWI?s~QiLTKf~R}IhTRa^TNoi`RzIfs|qiLNcidTRH{S|AhtNWi`RtIfs{QhlNKiVRqIeSzajlN?i~T]HvtRQ\lSkfVTKHuTOafdRwiHS|I`tNqfLSChvT?I\TKqeDRGhjSsIWtHqdTQchXSgITtLacdR_hLSvIQtGQdlQKh^SaIVTFaglQ?iNS^IbTEAb\PsgtS[IKtl?BK@m?t?X_LoEgA{@a?l?U_JoEIwo@q?|?\_MOFgBlSaiTTHjeDpixp[amYVFjeDqYxp[mmYVIjYDoIup[ImAUtjZdoIwPZemAUwj`dmiwhZqmGUzj`dniwhZumGU~iuTZYltU}jbTojSDqYtP[mlQVIjQdnYsxZylKU~jPDpis`[alEVFjZdfysHZel?Uwj]DfIvPXyluU\jKdlIupXmksUtipdkYkhZMjGUqirDkyuPUalaTfjTddithXalWUVjEdcyqhW}k[USjDDcIp`XIkUUPj?d`yoXWekCUGjAD^io@WYj}UDiyd]ymxVujkT{i{D[im`VijqTrisdjilXZAjSUn_DOBG@[?i?X?J_EoBw@s?u?\?NkS_CWAS@A?b?Q_GTkYu\ZIdFQdhQSjITtIuddQshXslYU|JYp_WikVeIZEHamp]WkkWeJjE@auomWbkKeHZC``aosWbkQeFJC``mpOW^kReFZCp`ypOW`kREGjCxaApuWSk]eDjF``UoaWkkHeJjAPauo[WhkGEIz@xaip?WJkPEBZCH_qosWGkMEAjBX_eoIW\kBeFz?p`yomWAkKe@J?X`apcV~kYE?ZEX_AnrVzj|T~I~t^upuVuj{ENZF`^]pcVrkYD|ZEX^Qn_WtjxELy}HbYnYWtjveLy|pbYnSWwk\DzI|XbenMWwk\DyY|@bemjVVjjTuIzT\emxV\jltvy{D\ynGVNjrDsY{h\AmcV`jpdtI{P\MiVTLieTTiidTUinTXikTVYj|Tyq_YZlMeSjIHhqseXdkredJKphIrCYZlMeXJKXhqsgX`lHEWJQXd}qwYWknEejJhhesiXXlJeUjJXhYsmXUlJEUJQhd]qeYWkieejI`heqHXEkauPzHLcaqTXKkduRzHtcuryYNk~ecZNphAsQXyk}EazPPfmsWXvlFE]ZPhfargYBkzE`ZMhgQraYElCE[zOxfIs?Xml@E[JOHe}p{Xjk^eZJG@eurOX@ktEOzLHcIs{ZPlOEszRxlIuUZGldErZXHkquCZDlaEpzWXkYteZVlYeuZU`laukYqliEkZYhjAt}Yll_ejzW@iytSYxlUEmzTXjit{YhlSEnJSxjutkYcl[EhjUxiUtAZMlPesJSPk}vu?`_OOFwB{AE@@SRiITCialPYgnV`jptwi{d]YnJ[CMDVBB_tokwJ[BMBv?R`DoGwR[CL~V?B_toSv~[@L|v?r^loGvxZwL}u}R^\ngvxZwL~V?B^Tncv~Z_MBuwb`LmCwPZ\MDUvr`doku|ZYLxUvB]dlkvfZtLvu|r]LnWv`ZeLsuyr\DmgvNZkLpuzb[lmsvH[y?IOCwAk@M?j?Sj_ToiwL[UmFVCiptXYkdUYjPTflCuazPTgYsPYFl@u`ZOdgAsDY@ksUYjLLemrZXkmlfQZjhsmyw\ImkFPjjPsayq\Fm`fRzg`tAyI\Pm`fRJhpsUyY\CmifOJgPt]yk\@mhFOJgPtQye\@m]fQZfxsmx{\Im\FPjf`saxu\Fm[fMjf@rqxm[zmZfNZfHr}xo[}mEfKZ`xrMw[[qmkFJjjPrAyq[nmmFIzd`tuxY\ZmffIJiHqiy_[hmQfTZcxt]xK\UmPFSjc`tQxE\RmNfRJcHsyyY[_mMVFjblpewv[YmJfLJb@rYwk[tmXfDZeHpMxc[SmGFLJaHrUwc[unUEGzClaQpPWfkRUoJWLj}txY}l]umZV\jitlYwlZvlRt|zC|n]oNZVkBudzC|d]rNVvmrtdzs|\]{NUvjBvDyw|t]lN[vmrpDzs{T]{NCv`RutwW|j]FNZv`Bu\zO{D]qN@v^rvDwC|t]?N[v]Zn\vizl\wmzviRm\ykzj]iMyVhbmDy_zd]fMwvgrllySz^\mNQVYbs\ySzX\jNQVXrsDu_|D\hNOvXBsDuW|D\dNOviRkLuK|V]iMpVhbjty_z@]fMnvdBq|xW{r]TNKVerqLxo{f]YNHVfRptx?{~]NNNV^Bp\vw{Z\|NEW@b}|~e~p^snzV|Zwy?M}Q_DncG@K?X{Q}K_DoAFp[?@{N?C^Ao?fo[?H{A|}_An^G?J|@~i~Q^{ntF}zxP}U~M^Kndfxj~h}I~}^cn~Fwzz`|e}{^Znmfujzx|Y~A^WnoFtzyX}y}i^oniFzzy@~E}c^rngf{j|X{u~Y^NnuFrjeLrMxd[smZVL[BABN@i_XoYGEkCeAV@L_`oPwGkBqBB@?_qoNgK[@IBN@i_JoYGAkEA?Z?O_qoWg@{AiAv?m_noJGJkDQ@J?g_koHgI{@y@n?a_\oGGFK@aA^@Q_MoEgIJsDyI|B]bnQvhJstya|N]hnTvikEqDRAk_woigL{IIDvAe`^ohGVkIyCzAq`OokGR{HYDjAY`[oeGU{HADRAS`UoigQ[GmC^AL`Bo`WPKFyD^AA`Xo_GUKFaDv@{`^o]gVkFIDjAu_zo\GVK?E?J?B_BoAw@KN]FvBx`wo|W][LaGBB[`}oug^{NqEfBUa?o~gYkOIEZCE`gp@GX{OIENCE`dp@GXKKAFNBC`qoog\KLyFVBm`pozG[KRIHBCuaQpLGc[PiGRC[aEpFg`[PQHZCWaWpJga{OyHNCQaTpCGdKSiHrDMa]pRGf[SaH~DEa`pPGgJ^Dnevt]SnJVdZqLxM{d_JoDWA[?u?b?N`qoyW[{L}FFB`ayP_WnCWUJlEBa|PZwmSV}J`D|ayPYWnCUuJlDjaqPZwmSUMJ`DfamPYWjsUuJ@DjamPWwkCU]I|DdagP_WicWUIdEBa|PTwjSV}JxDXb`?BoAG@Lr]xr[wnkvuzzT|Y}n^Wo]WNkFmBf@v_ypAW`kOmG^CRaGpwG{{]QNVFabspzGz[\yNbFmbmpwGyk]QMrFabjprgz[\yMfFObmpqGyk[iMrFKbjpqgx{[aMfFKbgp`gu{WiLvEGb[pxguKZQNVEqbspig|kYyNbEkbvpiGw{YQMFEebapfgw[YIMJE_bbpnGrKXqMBE}bLplgq[ZiKnEwbIpbGvkXAMBEMb^qS_@G?s?VHQcHqDHI{`AQjGIchqBhI{_qQjHKcAqSH@KcyONF}cbq?hH[_AQRHKb{qSG~kcyNvHEbxp|hH[^QQRGycVqNhE[bqPbGgcYqMHD[bYPZGacJqHhB[aQOrH?cMqGHGkcIO}?N?H_COAW?{?bIedJQgXScheShIbdLQgXSch}SxIbd@QexOsh}SHI\c}QdXOCheR|IVdFQ\xNShMRpIPcwQaXMcguRdIJcsQUXKcduRLHZctQVxKSe}RXH`?C_BO@W?c?Y?JdsPlwv[ZeLzF@b^qxhY{liVJJWdpqxhZkmAVJJ]dpqnh\{kIVfJ?dwqsHZklQVBJQdnqthX[liU^JWdeqyHWkmqURJidbqmh\[jqVZJgd[qzhU[nITnJodYqiXS{imTZIpdVqPxH[ceQ^HPcer?HeKoQXjKAeXrDhe{pIXvKSe[rLh`kriWbKweFrKH_{rQWVKqeCq|x]kneVvJ~d}rIhb{qyXFKkeOrEHckqaWzKYeRrWHfksAZJK}eprUhh{tyYfL[egrThhKtQYZLWedrOhk{uiYNLCesr]Hn{wIZzM?e|rZHm[vAZnLmeyqgXS[iUXVKneUrHXdKq]\@MPfMRdXrsxM[lMPfKRdXrSxM[HM\fBRfxpCyE[lMJfLRbxrCwu]@Jddrqwxj[t}YzLXejrTXwc{u]`N@f`RrxxC{E]HNJf`RpxvSy]\HM|fPRnxwszU]PMvfdRmXts{}\dNPfWRrXtCz}\XMzf]Rix~c|q^nNYf|ruH~K~i]fNufjr}Hyk}A^VNmfnrwh|k~A^JNsfsr{h{|?y^zOQg?sCH~|?Q_ROEgEsAi?[z}\zMzgOSDYCd@]`DOXgLSGyBtAU_xO`fzr}x~LBG?DOfgZ?@iDLBO?HOjgX?@IDlB??DOvgY?@iD~