CAT(2942,1)
Sparse6:
:~?l}_?O?G?CBO@b?r_XOLgEcBU@h?u_YoO?FkB}@|@E?_oOGGSCAAB@A_ZoMWFCBi@v?{_eORgHkC}A`@P_e_SWHoC}AW@O_doQWHSCKAL@D?cOP?G{EOAf@Q_iOWoIkD[BB@a?jOU?KKEGAt@b?koVOJsDoB@@Z?no[oLkE}B\@f_soYGKoEiBG@k_q_YwNwCQAJ@B`A_^wOKGAB}@t_x__WM_GABt@z_{o^?MsF_B|@|?zo[ONcFGB|@o?}oWwKKEICPAI`CocWQSHMC[AS`G?dgPwHUCiAL`J?bGQ_GmCIAA`A?`wOWGYDDA``OOdoS[HcDJAc@KOe_RkHoC|AZ@NoiWT[IiDKAk`S?jgSwIuCDAC`@omoUkJ]DlAn@YokOU{J?DlAq`YOkwMSFEB`AY`MOewWcKYEJBD@boqOWcKWEPBF@_oqOW[K_EDA}`_OnwVOJuDwAx`\_mGVCJeDtB_@m_vwZoL}EwB^`k_ugZWLiEuBX`m?qgZoKmEyBK`gOsgYKLsEZB]@fov?XsLOElBR@kOtOY{McFXBj@vOy_\kNCFHBn@qowo]CMWF@Bf@pOy?[KNw@|?~_]oNwFkByAL@G_boQWHSCmAJ@B_aO`WO{GYCDAC`@omGVSJeDvA|`]PF?bKPmGtCZaKpEgaWPYGiCWaI@DwaoPAGcCWaJ`CW`gPAGcCNaF@CW`_OuGUCNaD@Bg`GPmGOCYaB`EW`WOQGWCEaD@@W_wOIGQCBaC@?W_?OYF}CC`~@@W^gOAF{Bz`}?~w_WNmFyCA`}@?WagN]GeBuaI?|W]ONaFgBy`x_}WhGAy@`?nah?^GNsFu@b?r_XOKWE[BI@r?v_[OMgFcBmAf@S_hOTWI{DYAv@\_mO[wMkFQBl@w_zo[gMCFECnAX`KOjwUKJAETBK`doswYkLQJkD{a{@^gmwVuJkDray`]GmwVQJqDoa|@[gnWVEJSDsay`ZGlWVMJUDhau@XwlOUaJ[Ddav`XglgUQJDD`appX?jsU?JLD^AqpWOjkUGIvDbAmPU?jsU?ItD^AkpTojcTSIzDUAlpT?mKV?IfDqAhPZ_i[TOJ^DlAhPT_h{T[IbDTAgPU_iKTcI^DWAgPFwcCQEJqDBa|`PWnOSQIAD}a`@^Wg?VqH|C~a]pMgf[RqIWCvaf@MWhgRaIWCqaX`RghgREH[DfaW@YWdwUaIQCjad`JWhOQqHODHaT@QwdGSiHIDEaR`QGcoS]HCDEaQ@QGcWS]HgC[aN@LgbgRUMk?i_SoIG{OAm@Z?k_qOXgKkGmCZAK`RoiGSsKEEFBA`soyw\S]wNbFoBxpzo}S^?NVFmBupzo|c]_NZFiBtpyO|c]SNPFfBtPx_|KW?MhFRA~p_OykY{NbEpBxpk?}SYmLTEhbRpiGss]KLHFcBQpgo{S]?L@EaBopgOz{\oKzF\BNpv_rs\cKvFZBMPu_rSXcMxEVBnPe?zkXWMvFYBIPuOqk][KfFdBHPx_qKWwNDFcBGPwop{WkMlEKBjpu?pk\WKTFWBCPaOy{WSM~EEBop`o{CWGMfECBip_oyc[[MTFHBePq?x[[OL|FEB_PpOv{Z_LvEyB]pmOvc\?LjEvBhPsOus[sLdFNBYPr_u[YoMBFBBVPo_tkcS@N?e_QoJgECA}@\?n_WQT?qKXMKdHYCgaTXIWdYQcHScdARhH?dAQQHNceARhHWdAQYHNc[qMhF[bYPpGvcXaQxEgcqPgHLcWAQHEOciPaHHcgaFhIW`}QcG_cLATHIo`eQiGWcb@~XGw^}N{HDcb@}hGw^qNuHDc`@}G~GcQQEFvbyAOg}ocQNiHBc]A?HFo_IPyG@cRaJXDGa}POGmcRAOHGGaQPIG~cLaGXBgaMOwGacFaBHAG_yO_GLcHAAXAW_mOgGIcCADX?w`YOKGVcTA?x?gaqOGGj_TOIGDKAa@T?h_ToJWDcAu@V?kdV?GgCcAMILDGabpRGhkSyGzC]aMPFwcKQAU?IvD\QmPVcj_TvImdWQjxTWjuT}IldUAnhTojiT_I{dVamxROiYSuIfdKahXSohqS{IfdQafXS?iaTSI`dSafxTGiMTSIcdPAiHVGeMTmHcd[AXXQkhMShIOdHQcXSWgyTGINdPAbXRwgiTAIKdOAaxRogeSOI\dMA`xRGgQSIIZdLA`hOGjESEIrd@AkhM_juReI}cxAnxLgjIR[IrcuAkXU_eeTkHidYaYxU_eYROItcralhJkd}Q|H_cpQWXJOjuQwI~clanhTWdeTYHVdUAUHNohYS?IWc~adxN?fmRyHyc{a^HMofERmHncya[GCkA]@L?d_RoHhbO\QMjFRblPuwzK\qM|F\bnpwW{CYqLZEmeJbCXbGpIWoKReJbDHbGpUWoKUdlQuXZCowWhKOEJRBpakpKWVKLEGrB@aSqKWPKdEDRH@`KnmVtJxdwBGHcOnIVaK`dvbEx\gpiV[K[duBExb_miVUKYeRAxxd?meXMJgdrBFx[_pyVIK\dobGx[WqUVCKcdnBGH[?qIU}K`eNAvXZ_p}UuK\deQrhXklAUbJNdhQtHY[lUUnJUeRAqXXWqaUSKfdbqqHWsoGWJKCEBr?p_sn_W@JuE?q|p^{noVfJ}Dyq~P]ck?UFJADaqoPWcAI@H?be|AOhGccMQdHRcgr\hmkvQZnLxe{R\xnKvaZyLiesB^xnoueZgLaeqB\hmguMYhLTehrSHiStEXoLye\B^HfGvmZsKte}BLxnWrYZyKqe~BKxnwrQXRKjeTRJHdsquZaKoeWb[xdwvIY}LLefbWXhouAYwLIenBRHjgsmYqLFelBQXjWsaYGLUeabTxgotaYALme`b[HlwsIZMK}erBOHkgr}XuLle]bZHf_um\}HVckqUHv{{A]BM~FCro@pS{C[VMxf\rmhscyY\JMEfCR`xvgwM\{MCfAbnHv_wI\{M@f]b_HuWzA\cMtfWblHrWyE[yMbfMBghroxi\?MXfNbeHswxU\QMVfSBdhqOzY[gMwfHblxtOw}[aMkfGBixp_yu[[MnfEbjgCSAQ@FHOcfQRx^{oEW@J{d~Q~XW[kUUHM?f@R_X}w~E^iNofzBzx}?~I^gNpfxbzx|g~u^[NzfuB~H|o~i^WNwfub}X}g|]^mNXfzBuH{s}a^NNbfqrxH~W|E]cN|fhb~HxW~a]YNyfeB}Xx?~I^eNIfyBqXzw}A]{NafmbwX|G|Q^SNTftbthzO{U]MN[flbphwO{y]ENOfaBryDov]ZrLwdRQhxSkiaTTIhdUqixTcd]QrHWeqrXxkst}ZBL_emRVhjkteYvLYejRUHi{{y]`NNf`RpHw\Coa^PLGgsRaIDB_`|OxG^sLqFlB[`tOxG]SMAF\CK`hOuGasLQGdCG`hOtG_sOAEtCk`fOqGdSKQHLCW`dPGGXsKQG|Co`\PMGWSRQD|?gaROKGdSQq@\Bg`JO{GRsMqCtAGa^OcGgsGqID@{aLO`GcSGAG|C?_xPAGNSOQBl@e_vOYgJSEIA|Aw_fOTGWSDAD|@C`~O|GHSCAFtCK_ZPDGFsPA@tAs_POHGTsJA?|Ao_JOlGBSIq?d?C`POAGSsIa?[~{`POiG?R~aDLI?\xM|f^RDxbKpa\BMbfPRfhsCx}[FMDfAR`hpCw]d]QkhVCkYU@IudEQhhQciyS`IidEQehQciIS`I]dAQkhVCgiS@IucJQEhBs`IO\GIbmQhhTc\iN@IibeQ_gycgiM`IEdKPohSC[iSxFEbYQngvckYLpJAbMQ^hNCYYRhEabGQZhLCXYR`EYbAQYgpcfIKPHma{QVhKcWIR@D}auQVhKcVIR@DuaoQUglCdYJHHQciPTgjcdiIpHQacQ^hMcTIRpDMbWQRhGcYiQPEmb}QJhEc_YO@GqbwQGg~CaiNhGec[PxhGC]yPxFifsRphxs{i\tNAf^Q|H{Smq^LJofnRsH[Sma]tJcfjRsHYs|aU|NSdlQqH{slA^DJKfnR[H^SvaWDLsd~RgHjSyaZDMcenROHtssQ\dLGfZR^Hesrq[LM?e\RdHdSxqXdMWeVRFHhsqQYdK_ejRCHksuqWtLgeJRAHpsoq[dKCfDOggTSIYD\Au`XSKiFTBYcTQMhBSgIITCadLQ[gfSPIQTBqctQSg`ShH~tHq^tQ_fzScH|S~AclNkhLSHIItAqa|OgglSEINTAAcDO[g~SWI@tEa_lPcgHS?ILtFQ_TPogBQUhIsdIQ|HecpQZhMSeiRlH}c|SiIdtJAhlQkiXTMIatSAg|S{iLTRIaTOqiLSGidS~IdtOQhlS?iXTGI]TNahTRsiRSxi\tMietR]hpSsIgTLQhtRKi^SpIhTKai\R?ibTIIUtQAd|Sch\RshzS|Y^DNefnTSijTTYmLU}j`T_IzT\qkTVSjBTqImt\Aj|TwjfT[IxT\Aj\TgjfTtIjt\qjLVWipTkIrTZalDUsjNTiIqtYqk\UcjHULJBtbqpLWwkPUIJATbAotWkkJU@I{T_qnTWGjrU?I}T^QntV{jvUXJGTeqqTXgkbUUJHtdQrDX[khBz`}o~GvCZiLrEtbZplhKkeMRHHecsQXxd{rEX`Kze]rNHx[{q]ZNGfdRqYNdFub|Pxg|s]i^|Nuf|Ryh}S}yktUajNTdiptXIxh[Ym[VGjeDpywX[emIVJjaDqiwp[AmCVGj_dpyw`ZumEU~jadnivP[AmCU{j_dmyuxZulqU~j[DnivPZQlkU{j\dlYv@ZElmUrj[dkiupY}l_UsjVDlYtXZElYUrjUDkitXYilYUhjUDiItpYUl_UfjVdhisXYalGUijPDiYsXYUlGUejPDhyx`Xqm[U]jedfYxHX}lAVJjODqj?O@Y?p?V_KoEwBT_w?x?]_MuD?CK@}@@DNagPSX@S_mORGFcCQ@hZsmAU~J[dmquxqSxQ[fMNfGRcYAL@I_`OLgFsBiVtKAd~R@h`soidTQqhVSmiVtJYnDVijrT{i}t]zFXcMpyX@k]EOjFpbapsX?k^eMZF`b]pyWuk\eLZEPbapsWskXeMZDxbIp_WskWeKzExaupiWmkZEJJDxaep_WjkWeIjCxaupKWmkSEJJDHaMpIWikQEIzCpaApOWakReGZC``upIW^kNEGzB`aAosWakLeGZBH`yo}WWkMeDzBH`qouWVkLEEJAd`YojWSkJUDYyH`Mm]WPjgECi~`byn{X?j}eNy~HcEnuXBj|EOj@p^YnoWOkFd|z@p^Mo_VtkFd|I}@_mncWKjweBY|x_en[WIjueAJ@@]ioSVjkCdzI|@_unQWJjreBI{`_YoIVejqe@y{H_InEWCjpE?z?x\yoKV_kAdvyzX_IoGV\k@dvIz@_EmsW?jkd~zAH\UmmWRkHDtiyP^}mgW@jhe?JTO?i?X?J_FOBw@ljW?`?Q_Gun?A[@U?hY|l^UnJVdjytzXEL\umRGdcSttYcKvUhbMDiSr^XpLQU[rStfGtJYuKtumBLlj[rXXgLZUYRVDegtnYsKquXbUljKrNYoKqUWrUTeGtbYrKoulRKDjOq~X[LWUVRUTdwtbYlKkujrJTdkt\YiKjUjBJDikqnXTLVUTBT|dKtZXOLTUSbTddCtVXLLRuiRH|i_q\XIL\uQrVTjcqXXFLRuiRHLi_qPY]LKUgBRTh{srYULMUfRQ|hSsvYQLEUdBPthKsZYJLGUaRP|ggsbY?LBUaBOTg[sBX|L@u^rOdfwsJY`KzugrNLiGrpXsK|U^BMtfSrv[O?JOEGA{@Y?p?V_KoEwBS@e?v?YmP?FGBs@u?x?]_MuhJStiUxC[gmQFIjcXqexI[gmRfIjcpqeww[QmGfFja@puw{[SmMFDZbhpMwk[^mOfEJaxqAwq[^mOfEzbPqAuPZIlcuqzXlkqwG[dmBFHz_hqYwA[am@fHJ_PqMwqZ}m?FEzbPn}vu[Rl}fDZ^`pQwkZxmKE}jaxnavi[OlzfCj]ppEu?[NmEeoZVxoyw]ZBmEeoj`pkQwMZqmCe|J`@nMvWZhltezj\PmuvaZflveyJ]@mYvEZ\lnexZ[`lyv?ZYloevJ[PlmumZPlkeszZ@lIugZMljEsJYhk}wWZElbfAj`XkU?T?K_DoAg@c?m?Z?M_FoBg@k?}{I?O_GoCgAC@I?b[LmFvBi~|_Eo@WHkDUAJ@\_uoXWPkHuCjohwm{M]LnBFbJp@wm{Q]LnDFbJmXv}zi]@myF_JnxvY{A\wn?F\zo`vmzq]Bm|F_jn`wI{G\}m}f_zm@x]zc]XmwfeJp@uuz]]ImvFaZohui{K\knBfYzn`u]z{\hm}fYJk`vYzK\wmqf\znHuEzE\zm|FWjmXtyzi\_myFVzjXwy{_\\nFfVJitt]yj\XmlVUJiPx]yg]XmhfeJhxwy{_\PnFfSJhpxY{i\KmefdJqHse{e\JnHFQjqHsY{e\GnHFPzgXxQyI]UmaFdZeTrMxb[smZVLZe|rexp[ym]VMzg@qmyC[lmUFOZdprux_[~mVfNjS|ietPYolXUkZU\jUthYxl\umj}xyq~q]mn{FjZwH}y}E^on`Fzzvp}y}?^on^fzzv`~e|y^wn\f|zv@~E~e]ynxFmZ}`zU~k]vnyfljuP~E~e]snxFkz}py}|_^tnWf|JsDyI|B]bnQvhJs|ya|L]hnTViz|X|e~Y^ZnuFuj|@|Y~S^WnsftzyX}U~M^TniFxjyP}E}a^_nnfsJ{P{u~G^Nnpfrjzh{i}{^KnmFqzrP{]{w^HnLfqJrh{Q}K]^nNFp[Dh~j@]^{oVF}{CIAR@E_eoPGH[BqA^@Q__oNgIK@yBN@i_PoYGCK@aBB?[_poEgKk@Q@v?Q_ZoDgFKAi?Z?O_VoJG@{?Y@j?o_DoKg@K?A@J?g_AoHg?Z~iAi~}_kn~GI{Iw@}@B?__OoFwCDfAr\Xnkwu[zMTrux~[}m_VOjgME@BL`aOsWWSK}EPAz`dOnwWsJuE@At`aOmWWSJ]DdA~`WOnWTsJmD\Ah`UOkwTSJEDXAx`ZOiWTSJUEL@x`dO^WXCFmBdBL_zOsWMcK}CxAb`OOhwRsIUB\AZ`JO[WLcHeCHAP`IOaWOsHMB|AJ`@ObwOCGuHW?f?T_IOCwAk@Qw|[\mMVFzcLqAuBY~l_UojWdkM~J^fnrVwj{d}M~B^^noVvJzt|u}H^EnavpzxD{fDIavp[gh{VAIZDCaspPglkSaJVC}ajpUgg[SAIrDOa^pTGg[TIIBDca]pMgk{UIHrD_a\pVGfkTyHrCqadpLgh{RQIZDCaUpKGhKQyINCeaUpKGd[QyHRCqaRpLgd[RQHRCY`hotgb{PqEjDgaIpEGlkUiGnCMavp[ga[VAGbCGappBGk{OiJJCAajpUg_{OQIrDO`}pTG_KTIF~D[`zpWG^KTyFvBt`xo{W\{MuFVCc`qpGG\KQIFNCY`npFg[[PqFBB[aPougckLaHBGO\~n?v_JodwI{F_\oLwFKBE@j?r_ToJwDkAU@R?fcRQEXCS`mPHGVcLQFXCC`]OpG^cGQJxAcbMOdGpcGQIXAcauOdGjbcQJwxcbMMTGpcQPpxCs[MPDFDcSPnXDc[EPTE~bZQFXCCZmLpG^bTpjwtkYULREfcDPfx@cYML@GNbKQAWrc_UOLEZc?PdX?SX]N|ERbEQ?WqC_MK\F~bBP}WpS^uKPFzb{P_W~cWUNtEBcDP]x@sV}OXD|ayQAWnC_UJlGFboPyw{S]]NHFhbuPuwzs^EN\F\biP{w}s\eNhFVbfPkWuc\MLdFPdaQhxT[ieTBIbdQqnhG{kIQVJ?ccqnhGKkIQJJ?c`qNhVKjqPvIyc]qLHVKbYTzIyc[qRHP{dASfHMdGqkhPKjYSZIsdDq^HTkgATbH}dVqYhMKeqRfHmcyqXHM{fiRRHwcrqdHJ{eISrIUcoqUHR[dqS~HYdMqTHOkdYSNHQd@pEwb{PuHFCdaOr?X_koMVzJzd~rFh]kqIVrK_dzrEH\{pqVfKYdwrGhX{pyUVK_derEHWkpqURKYdbrCh[[mYWnKSdqr@hZ{oiVBJ[eCqyHY{mqUvJidkqsH`klQWbJQeFp}W~k^mOBGBb~q@X@K_]O^GJcErZhckqaZbLkeRrZhj[vAY~LkemrTHkKtaZJLUepr\hi[vQY^LqegrQHlKuiYZLIerrOxg{sUX~L@e]rWHe{uQXvLae[rKHk{uiXjKqesrIhm{qyZfKkeyqmXVkjmT~JBd_r]Xnkvm\^MrfWrmHqkzQ[bMufHrlHp[za[^MufEr`Hv[wa\~MEf]rmhn{wI\~M?f]rfHtKyq\BM]fTrdhs[xi\NMWfQrvhwK{Q^FNAforuH|[}y]zNYfurrH{k|A^RNMfrrqhyk{a]nNEfhr~I?\?Y_BOCf~r{H}{~Q^vNqf{oiwTKIuNBFdbppvWz{\mUVJNdeqpXXKk][zM`fNrdxr[xe`pOlgWSNYFTA}`lOjgXSHyEdAe``O`gQSJYCTA}_tOfgNSIyBdAe`@OVgQSDYCT@e_tOTgNSEYBd@]`dOHgYSAyEt?u`pONg]SCyFT@Ebs?N?H_CWc{QmHRHjcvqZXKkeeRNKdeSrHxd[q}XZN@faroxw{{m]RQehLshIRLIaczQ]hHsgiQ|IAcjQKhHscIQ|GycjQEhMsaiRLGacvQKh?scIOlGycFQ?hBsaiOlGacFP?gvs[iG\BybbQ]gssgiLlIAbVPehSsWiS|IQbJP[g|sWIN|DybzP}gjs^IJ\FiarPwggs\IIlFYafPIgvs[iH|CqbbPugasPiNLCabjSI?C_BO@\KagVRIiEsrI`|KIgVSMhbtBIWlKAgRQ{iAsni_|JYf~Qyi@smI_LNydbQsi@t?IU\IigRSChVsjI_|MYffRuhtsyI]lMQfbRahvswI\lNaevR{hns}iZlLIejRMhkssIYw?{?e?P?F_CoALTyipTLigTVYhtTmidTXijTVYidTmhxTVihTNyfTTUhpTNigTLYetSuiDSriVTPYgDREhPTFiUTQydTSegdS`iGTFyadPuhDSViRTEycdPc?Q?L?D_AO@g?ml@PpgxsZyMlFebnU[jFtcir|XAkvUSjMteIr|XYkvUeizt]it\YajrUSjCteIplXYkVUQjBtcIo\WQk^T{jOt_IslVylFTsjOt[islVAlFUgiutiil|YYjVT^iptWYlLUUjNR~i@t?Y_lOegNU{jwt{ivL]ylvVgjdtzIx|]imZVEjxtzixL[QnbVgj^tzIw\]imBUnjWtjYu\Z]ljVUjqtui{|\anFV[jgttIz|\InBWYjzuFI~L`anjWEkHuDj@\`QoRW?kFu?jAL_QoZW]j|t~jC\aAnzWokQuLJDLbIpNWikZuJJFLaypvTXimtUy{l]]nFV\jotvzHDdUqpXLkjUQzHDc}qXXRkdUSZHtb}q@XRkgUNZGTdUqpXFkjUPZNDX}kzUZkHuDZA|_uobWNlAU]ZPDfusLXzk}U_ZOTfertX~klU\ZMTd}qxXvkuU^zOTfEr\Y@lAUXzPDemsLXhkyUWZMTeUrlXblYUjjQljIsbYolHukJP\iys^YqlEugjTLiYtZYclTufJQ|hitBYWlNupjUlkitrZGlZunJW\jiuBZCl^u\ZM|fMuXZXlmUrzZTlEutZRlmUtzYdlet^YrlW_?jZtmmv??Elv_@J[Tms?HZclt_?j\Dm{?LZelu