CAT(2072,1)
Sparse6:
:~?_W_?O?G?CBS@]?o_V_KWE?BE@\?m_VON_DcAu@V?n_WoKGGGByAE@?_`?NwF?Bm@s?|_[_NGFGBu@s?z_[?NGGGBIAE?s_`?KwFoBU@m@?_Z?NwIoAa@R?i_\oNWFcBQ@d?r_mOVgJkDcAj@Z?iOU_I[D[At@W?koUoIsC[Aj@G?hoQOIcCoAl@W?doToHSCOAz@E?nOPOJcC{Ab@L?hOR_ICFg@J?f_ROIwDkAqCE?j_UoJGCkA]@L?c_POGwPKGiCV@u?zo]OMkF_Bh@y?zO^?MkFkBh@y?zo]ONcF_Bv@|@?O^oOSFwCBAB@?O`OOSGOCB@b@COX?OsEGCN@d@BOXoPCEWCNAB?wo`OM[GOBd@m?~o[?NkE{B|AH?noaoKKGgB@@g?toZOLSEcBX?i_SOIWDSAe@PAx?YOKwESD}BB@_``?k?UsJGDnAp@[OkoUsJSDpAs@ZocGQKG}CdAS`HojoU[JSDZAs@VOi_VKJgDXAz@Ton?TCJwDRAf@]oeGRSHeCvA\`MOh?VSJkDLAd@[ok_SKJ?DFAp@POn?PcJwCZAM@]ofoQkI?CnA]@JOz?C{AU@L?c_POGwI[DUAhBw@wO{W\{McETBG@toqO\SKsF\Bk@eOqo\kMWFdBg@yOxo][MMFJBc`o?zW[OMyFABk`g_zw]GLMEcBo`x?rgY?NQFeBN``oogWcKUENBE`s_nw\WKEFSB?`m?vwZgLiEuB]`i?twYoLeEiBW_zo]WNCP{FvB|AOo~?cCPYGpCV`~p?G^sP{GBC`A@pG?_SPKGZCTAFpD?`sOgGrCJALpB?bSO[G`CQACPAOaKOOGxC]ABPFO_kNSFrBv@|O|_^CR]HrCwaX`NGfWREHsCqaT`JgdgRAHWCnaS`LGdORUHOCuaP@HWc_Q]HECe`?O_gOKLiExBZ`jouWZCSoIdDSAfPROi[SoI^DMAgpROiCS?I^DAAgpOOiCSaILDFah@NWi_R}H{DRac`OwhWSUISDCat?lgVCJ]GfCTaIPCGaSPEFlBt`zp]OmkVQJfDiAxPYomKUoJ`DiAupZ?l{UkJ\DZAxp\OjkToJhDlAqPZoksUwJJD`appWgjwVAJcD]ao@[Wj?U]IsDhak`YGigU]ImDhaj@YGqwJ}EBB?aQpHwcsX]KrEWbJ`egrGXqKoEZbDpbWpcXgKJE[BBpeoosV{KjE@BIP_?qsVsKhEUA~P^?qkWGK\ECBGP_op{XCKPERBDPc_pKVWJrDwA|p\onSZkLdEsbXpmOsCYCLpEaB\Pm?rsZgK~ExBMplouCZCLjEnBZPj_skYoLHElBPph_tKY_LVEfBTPXwlCUeMYEzbf@nWxwZqMNFHbcProwk[sMLFMBaPoWw[[IL{FIb^`rGw?[mNIETbJPdGmsVaJnFmBtpzW|c]qNZFjbsPyW|S]KNVFkBpPx?|k\{NDFcBopwo{C\AMdFPbq`vG{o\yNMF\bk`wGzW]EMsF^bs@tgz?]iNQFVbq`sw{w\UNKFScF`mWvSZaN[GKbwABg|w_uOTGHcDqBp?k`COFGCCGQBp?C`CODGOC?p|w~C^eNiGKbzABg}__uOKF}b}aAH?w^}NsFpb}@{w~W^IPEGccRAGhCgaEOcG]cIAGHAW`}PMGWcLAIXD?`eOuGUcMaDxB_`UP_GrcXALXEGbQPWGlcTaJxDOay@D?b_QQBH@s_uCZAM`EP@G_sOUFrBy`{O|W]sN]HzC~a^PaGpSWeJvDya{p\gnCV]LvE|b]Pzg}C]}NbFrbxP~W~{^yNlFtbyQV`KCd{RDH\CoqWpJSdoRJHcClqUPKse_QnHfCkQTPJKdWQnHSCkQSPJSdoQfHQClqSPHsdKQ`HQCfqTPH[dWQZHSCeQQ@H[cgQXHHCeqR`Gkc[Q`HECfqP`GScOQJHFC`qXpF{e_QBH?CrQVPF{d{QBH]C_QN@HSbwQRG|CcQN@GSbwQHG|C`qWPE{eGPpH_CZQWpFKbkRJHcC\QfoAs@a?n?X_LoEgBs@q?zIm?NoGWCC]EM~F_bpPxG{[MeFVBi_yo\gMcKaETBH`eOrWX[J}EBB?aSPIgdKTyI~D_bPphGskXuK~E]blpuWzS\QMjFRcNQGHB{`UOnGUdjavXYolmUiJ[dgasxXwlQU_JQdjarhYgkqUkJLddarXXokeUSJKdbAqXXOkaUUJFd`arxWglEUGJOd_AphWOkaUAJFd`AmxW?jqUAIyd^anHVWjyTsI|d[apXUwkMToJCd^amXV?juTmI}dZAuHU_liTiJXdhakxUOlQTaJQdZAkxU_jITiIpdVQkHT{iyT`IndTaYxLGiuRSIkdJAuHR?liSmJXdHauxQgluSgJ[dGAiHTOhITQIPdFahXPoi]SYIedDAixP_iuSUIkdQA`xPGiISOIbdSa`XO_iaTSIEdNa_XSGgMT?IAc~AhXO?i]R}Iec|afHNghyRwI\dNa]HSGfiT?HxcyaeXMwhmRkIYcxAfHRofQReI\dPAZxS_fETEHocuAeXLohmRYIYe__Ag@c?mYS?L_FoBgAC@I?bLU?HoDWActYYpLVejRUHi{tKU~J_EirT@ZsrwWPL?EDRNp`KrwWVKLE_RB@f{t?WJLQEBrSP_soGYZLNEARR`_[t?V~K@EhRSP_CnoYTJ|EeQ~`h[ncYNJzEcq}`hCnWYTJwEeQ|ph[sOVhLEDyrPP][sOV`LEDxRPP]KmwYNJnEcqzPhCsCVTLBDuQypgSsKVNJhE`Qy@gKmSYjLRDrQx@icmCYZLNDprR`[Sr_XjKyEZrMPesq{XdKpEYRK@e[qsXVKhEURJ`dSqKXLKdESRH@c{psX@KaENrF`cKp[WxKXELrE@bSrkWbK|EHrN@aSo{WjKOEJRB`acyg?l?W_JoDgBC@]?v?X_LOEgB[@e\w?[_NOFWBs@q?zK}e_RNxvg{I\{NCf]Boxvw{I]ANCf_BoxtOzY\WMwfTblxuwyy\kMlf[BjxuGzi\cMzf[bkHu_ze\eMzfYbmhkSuQZFLderrXhro{A\}M_fNboXrWzM[yMtfMBlHtgxa\]MYfVBeXv_xU\{MVf]bdhqOyi[gMkfHbixuGw}[aMqfGBkHjGy]YuMhelBiHswtq\QL]fSBVXp?wm[KMIfBbaXo?wq[CMMf?bbXngwM[IL~e~B`HnOv]ZwLxe|b]HmGvQZeLuexB\XsGuyZ_Mbevbghl?umZSLlesbZHkGyQ\KL^eoBhW@S?m?X?I_EOAwAC@I?b?O_HOCYBw?u?^?M_EoBw@sy]\RMgdKqexRShqS|I\dSQihTKimTZIkgNcHYCHA]`?OegPCHYC`A]`EOegEcEY@x@m_[OYgKcCIBP@I_uOPgMCCyAh@y_gO\gJCFIB@@y_mO\gECKy@PBI_UOpgJC@y@H@a_mOGgACIIDP?Y_IOhg?cGi?XAQ_CObf~CFy?@AE^}O_gGB}yAO~u_aN{f{CCyAg~i_gNxfycBX}x?}^kOMfvr{X}C~I^hNrgTbzIDg}y`WNlfscIIDO}m^SOhfsCIyD_}Y`YNfgVbxYDo}Q^EOofoCKX{PBM^AOqfmcJhzxBA]{OnfdrrXxc{y]`NNfgrsxyS|U]hNUflBpXww|q]uNEfcBtxxO|e]QNWeaRPhgks]YRLGegRShiKtQYjLRhHcQIQHC]ccPEhGcUyQPDqceP\gkCayPhDiaqQKhCCTYIxGiakQHhCCSiPPDQcQPRgfcayPhDEa_QKgeCbiHpHAaYQNhFCQYHXHAc]PIg\sNIFTBu`~O}g_SOiGLCMaJPChAc\YOxFQcKPrgwC^yMPGEbaQ?guc]YLxFmb[Pyh@CYiL`GQcEPjgrc\iN@EebmPggqC^IKpFybIP|gocLIEpEM`iPagZcViFHEA`oP^hbcoYX@KMeQRAh\cdIVhHYdwQTh^CmIVPKAdqQ~hSclYTXJ]dSQuhaChiWpIaeIQfhPcrYXxIUdGRMhdCgIX`IIeUQ`hVcfYUHH}d_Q]hLCkiR`JQcuQrhKcjYTpH]coQkhw_FwCKAA?~?`_ORAH`SoeWVKLeERtxzK|a]tN[flt?A^TNogDRzI?s~Q]|N{frR}H{S|A^TNoflRzHys{Q]|NKfrRqH{S{a\tN?ffRpHvs|Q\tN?flRsHvssA_DLGgDRPI?s~QYtN{epR}HjsxQ[TM[fHReHpsyAZ|MgfBRhHoSvAZLLke|RYHmssq\\LSfXRSHutK?A[@Q?j?R_IoDHusz]\pMxf\rmhjKtmYtL[enRVYN|GEc@P{g~S^YNLFmbtPug{S\yJtEAa~P`gpsWifxTEieT@i_DSihpRqh{TOi]dRyghRmhqTFi\DPifHSQiESzi`DMihXRYhmTLieDMIhHRYiSSwicDLyeXR}hiT@iYDOIe@RqhcS|i^DKYdxREhcSmiUdKIeXQuhiSniYDJicxOMhQSDiSD@IgPQQiGSei`dHYhXQEiYSbieDGibpSyh?TOiNdRyiHPmieS\iMDSihHPeiSSYicDEIahSUgmTEiJDPyadPIgfSPiGTBydPOqhWSMiTdBYcxOehQSJiSDAi`@QqgMSjiBDIisP@e_tOZgMSFiBlJUdnQuhXSlIU\I}dbQohUsjITtYklJUlJRtjAstYSlPUfJTThatLYKlbUaJXthAuTYGl\UcJWTgqt|Ywj|U?JWT^qt|YkjvUlI}tjAndV_lPTyJTT]QtLVSlbTvJXt\auTU}jbToivTZYldY?jVThJOtYar|XojLU]IsTfQk|XcjFUYIqtXAr\U?krTaJLtWQrTTwklT^JKTdqjlXWitUWImTdqj\YCinTXJNtgAjDTOkxTUJNTTQrlWgkZUKJFTaqp|X?kNUQJCtcQpDWOjdTsJBT`Qm\WCkhUTJ@t_aq\^onZVnjvTzI|T]mnqU|j|dny~PZynuUyj|DnI~HZmlmVuj{DmYv@^]lgVujZD}Iuh^]nMV?j`DyYwH]an_V`jpD{i{X^EmoVrjlD|YzH^QmaVQjfdsyy@\QmWVTjjdrixh\YmQV^joDqyzp[imuVEjmdqIz`[]mEVcjadxiw`]UhNShiSTJId\QiotW[kLuDzBL`aogWikSeDZDX`YpKWPkSECzCx`IpSV~kSe?ZDX_ApKV{kSD~jCx^uoUWbkQeBZC`_qoOW_kDEGj@HaEoIW\kBeFz?p`yo[WAkAECJ?X_}klUVjKTeYr\XikxU]jMtgYr|YAq_WkkhEJjIHauq_XFkhEQZIHcaqIXIkeEPJGpcmqAXLk`eRzGPcyqeW}kieOJI`b}pvW|k]UMJFTbeqSWtkeELzHXbYpcXLkYERzEXcyp]XTkWeSzE@dQnlVwjzt}Y~\^iqlXWkju[jM\fErgXakzEXJMheMrgX^kzEWZMheAqwXvknE]ZJhfarmXXkle]ZN@dirOXmktE[JLHe}rUXdkreZZKpeqsQXyk}EazPPfms]YElCEcZOxhAsWYBlFE`ZPhgQryY?k~e_jNpgEsoYZlMeejRHhqscYTlIEdzQXhYf\RohvtaypdWikPUHjBt~z?L_AnxV}j}uYJLTeerJXfkrUlbUDj_tdYvLWukrTljSt^YsLVUibUTiot`YjLWujRS|i_t\YhLVuibSdiotLYjLQuiBSdictLYdLRukrRtjSt@YsLNulbSLj_tFYvLPUto?{?e?PSliVtJix|\Em`VKjfTrZDdaypZWpkVuKJNTfqrvX~k}u^j\`m]v[Zgluexj[XmevUZdltExJ[@mMvCZdloexJ[pluu}Zglrevj[@livCZ[loeuzZPluu}Z[llevjVPlEtuZRl[esjXpmevUZOltErzXXmuuYZmluErJYxkauSZXlceuJYxkUuqZFlkEpjYpkQuiZAliEozVxlEuAZRl_EsjYhjqukY|l^EtJbw?Q?L?Dl~FFz^xqAw?[`l|fFzcHnuvw[_l|FFj^@pqvq[\lyfEZ]xpmvk[YmKe{jbXnQwsZrlvfFjb`nEv_[\mEfCz`xpUw[[SmHFAj``pAwU[PmJF@zaxoewo[Gm@f@J_HoYwC[D_Co@w@C?]?R?GmcfPbgDsGyP\FM_vPBgtsKyN\DMcVLrg\rcyJ[wMaVObetrOyB[tM_VNBe\rkxb[yMXVJbflr?x~[nM^VGrdTqGxR[cMSVHRd\qsxN[kMRO@G?s?U?H?E_AvYbYTlMubZSljUtZl@uEzE\hmrfWjk`uazK\hmqfXzihuuz]\VmvFTjk`tyzK\_mqfVzkXtuyu\ammFWZj@uiys\kmkfYzi`uiye\kmhFYzlptEz]\OmffZZhLsiyV\MmeVRZbLpmwt[[mNVFZqPva{e\unGf\znxwy{_]@nFf_JnhxM{a\}m}FcjnHwy{_\znFf]jmLvIz`\rmyv\Johwq{M]LnBFazp@wI{G]HnDF_zsxxU|O]UnRFdJrhyM|I]^nNFhJrPyE{u]anMFgJtHx]|U]XnTFeJuPyq|g]mnXfjZuhy}|_]unWflzgts]yP]KnEvazpDwi{R]}NaVpbwDz{}J]}N_voBw\z{}D^@N[vorvT{G|p]zNaVpbvlzo}J^UMsvYJk|yM|H]dnOVgjsL|o}l^]NkVvRy||_}t^UNlvtrzL{[}h^RNcvqByl|c}`^QNlvsRzT|o}Z^]NfvvRxt|O}T^RNeVtRx\~O~G^pnxfwj}P}M~c^^nof{Z}X}A~U^mnuf{J|`}}~O^dnrfyj|H}Y~y^sn~f|j~p~U~o^znzf}j~H~q}h^Tnhw?C?u?`?B_AOBw?s?}?`?J_COBV{Z}\~J?Q?@OFwA_?Y@E?C_JOGO?c@a?}?A_MOGo?s@i@B