CAT(2954,2)
Sparse6:
:~?mI_?O?G?C@o?_?R_I_CgAG@Q?o?Z_J?EgAw@e?Z?N_FOIoCO@q@G?]_P_FWC?AQ@A?a_P_FwDWAU@Y?f_U?HgDwAa@_?i_V?IWFOBC@h?u?XoK_EkB[@t?x?]OM?F[CK@z?}_^oO_G[CCAJ@C?_OR?HCCYAN@L?dOR?H[CwAR@T?foSWICD[Ah@Q?ioSoIsDwAr@Y_kOUoJsDsB@@[?noXoKKEMBD@r?u_YgLwEqB[@j_v_[gLgFAB[@p_q?[WKoFIBI@o_r_YgL?EqBQ@j`@?[oN{FSCB@s@?O^gNcFuBoA@`??\gNwF]Bt@z_{oa?PkGcCVAI@EO`_OSGOCNAB@AocGPsG}CbAR`HO^wOKGACwAU`L?dGRWHUCsAV`K_fGRWHaC|A\`NoggSCIEESAf@Poh?TCISDLBg?EOAw@S?e?P?F_Z_IGFGAi@o?h_[_OGEwCIAA?w___QWG?CmAC@I_h_QWI_CmAc@I_l_YgJ_EqAy@j_l_SgJgDQAw@R_A?Cw?g@Q?i?E_A?CG?o@I?I?P_E_CG@w@I?[?P_Q_CwCo@Q?i?f_`_HWGgAYAG?f_e?sgYGCyE_@L_E_EW@w@m?[?Y`b?EgBWKQEI?X_J?IWB?Ai?m?g_J?pgB?KQEI?V_q?AGKo?]BI?H`i?awYgGqEeAL`g?TWIwLIEa@U_D_WG@_Dy?S@^_D_YW@_E]?S@g`A_rgOoK}CMBL`i_dGY_HYEeAT`PohGSkKwCpAV@foeOXkIYDPAf_CO@w@KLeEvBY`nowW[CLaElBVai?@G?s?UExB]`moZWL{EyBH@e_qo[GMSFEJMDAArPOoksSOJLC{AmpN_j{RsI|C_APPF_c[P{HBBpAbO{og{NGIJDM@wPRo\sT?F^DH@zo}OhCSgFpBsAbo|_gkNSILB|AcPQ_^sScF~DY@|O~?jcTkFvDSA^pT_gKTSI@DJA?PRO_SSoGBDPABPA?i[O[IdDVA@pUO_kT_GHCKAGpB_`{OsG`CHAdpAohkOgIXCQAgpD?i[PKIdCVaIpDghoPaI]CYaK`SGb[PuGxDSAjpT_jKTSIpD_AlPW_jcUCIvD^AoPW_jkUCI|DcAqpWokkUKJHEnAQ`HwdGQYHOCcaT@JWd_Q}HUCmaX`KGegRIHgCpa[@MgewRmHkCxb^?wg[cMMFZBj`uOyg\KMaFRBi`sOxg[kM]JFDdaqPsofsRuHxFX@tozW\cSQIDDBa^pOWgC\qM|F\bnpwW{C[sMTFNBdpr_xc\SM@FRB^Pt?v{[GMlFWB`poOy{[WMdFCBgPpOyK\CMNFQBcps?xC\cMfFZBipu_yc\cMlFWBlpu_y{Z]LjEub[PmgvKUkL|DkB^pY_wC[KJ\DnB_po_lk[WLbFCBWPjowk[_LfFHBYPpouSYgMXFIBTpiOx[YoMZElBfpr_tsYKLvEdB]ph?vcZkLLE|BSPn?s{\{L@EaBopgO{C\oJNF]AspvOlCVSJ`DqAyP[Om[VWJrDwA|p\onSVoJ~E@A~P_?nkWGKJECBBP_oo{WkKPELBDPb?pKWwKbEOBHpboqSX[KhEUBKpe?qkXgKzE[BNpeorsKuE^BM`gOsWYSLMEhBT`jOuGY{LYEpBV`kouwZSLeEvBY`mOvgZkLqE|B\`oOwWZ{L}FBB_cr@jWtsYqRWHhctqYhLCeYRNHCClQV@G[cGQvHECmQPpJScSQvH\CcQVpHSdwQRH\CdqV`Hcd{QZH`CfQW`H{e?Q`HQCpQSpKCdCRBHSCpqT`KkdSRHHbCkqTpKkd_RHGGC_q@pGC_WP~GrcYqLHE{bYPpG`C`QGpGcaGQFHECRQHPGkc[PHHGCTQQ`DcccPVGlCfQJpICawQ^GoC]QK`FsbCPzG_CkQFpJK`wQnHPCLqSpBkdGOxGKC[qBPFSbkO\G{CCqN`@[bsOTG?C[q?`FSbkOBF}C_qNo~{^sQ@FmbwPzxLO]mRUFlcs`zG}K^MNdFtbzP|G~S^qNvHhBzp}PL[egNpHfBtQY?|C]cRLHSBpPx@Is]KQjFdCdpxpHk]WQXGWC@qE`?k_OOrGfCIqIPA{a_OlGNCHQCPAc`?OfDOafPRwiKTMIdDJaePRWhCSiIRBc`pOww[SMMFHBd`roxg[{MUFLJuBpPxG{[]UNNFee@B?P^[ncW@JyD~q|`^cn_V|JvD}qx`]KmSVdJcDwQ{@\Km[VdJpDsQ{p\SmoVjJjDyQz`][m{VjJlDyQcpZChSUtISDkqwPQsmKSpJaDJqtP\klWV\JVDvqwPYSmKUhJaDhqrp[{lCVRJODsQePZsm?SvIYDnr?PXskoW@JLD~q~@XKkkV|JID}qz@W{k_VTJjDbQlp[sjcVJIwDqQkXU[jIT\IodVqupRchwUzJ[DMq}PSknkTNJyDRQ}@S[nWTHJvDPQfpZsiCU~J_DOQu@QClgSdJXDGqbPZ[g{UzIMDmQ\HM[fIRjHuczq]HNSfeRxHzc}q^hN{gASFI@d@Q`HOsgUSNIGdCq[P_CoCR^HoD~qZ@^cewV|HlD}qo@W[kGUJJ@DaQipVSisTxIkD\qi@Vsj{TTIhD]ql@PSjWSXItDDpmwvkZqLXEmbUqZxMKfAR\Hkcur\pk[uOZrLaE{RPxhKsaYHLEearJpnkrCZ~KoE~R]`dcqsZxKmE|r\@cCqGZlLtEOr\@bkvWW~LtENRE`m{poZrKZE{RAH`SoeWXKLeDrBhaCo}WdKReGr^P_sv{WNKDE~R]p_[voWHLyE@RXPlCu[ZTLeEsrQ`acsoWlLJEIrYpgKuoYDLBEurN`j{s?ZBK~EoRUPf[tkXzLYE]RM@isrgYpKxEjrLPlsv?XnLnEZR[PeSvKXfLqEYRV@dKtwXVL\ETRH`i[q_YjKfEiRGpiCqSYdKcEgrDphks{WrLMEKRnxwK{A\|M|f]R_@wk{[[DM@FbRq@uCzG]TMpFcri`wSyo]HMjF`rhpusyc\pMgFZrkpscyW\jMsFQrdPsSx[\FMUFOrc`x[xO]ZMRFeRepp{xC[zMOFMRfppsy?[XM]FEraPrCwk[tMIFKr``tkw_\^MFFVRmPo[wS\vMyFAPtgzC\]M`FPbhQoHWSkET|I~d]qmhV[jqThIudYr}q?t?O^zODF}S?P~\?K^zOAF}R}A?|?c^tNxGCR~`~D??^tN~F{r|X}{~Y^dNsfxr~`zT??]xN~Flrtq?c|c_LNWGArsa?[|K_BOAFgrra?|?c]`NNGCRyP{s}_^VNiFrrt@{[|W^JNTFqRw@|{}G^bN`FwRvP|c|{^\N]FusM`J[dqQtH\cnqVhKSeER@HbcqqXHj{uEZ@L[enRVXjKtmYtLVekRThictUYfLOehRSXhks}Y\LIeeRQyGXCeaUPDgaCQiGXCYaIPFgaCQIG@C}aCPOg_cSYGPCua?PMg_cRIFhDUamO~gjCNiIPBuagO~ghcNiFPDmawO{g\cVYJHBiasO{gkCMyApDE_oPNgJcSIH`BEa[OrgecKiDpCY`_PGgVcPyDXDQ`YPQgUCSyJ@Aa`SPYgkcIYClA]`LOagQSGyBxDUamO`gjCGIB`CeaUO]gMcQiBXDu_qPZgLCVIEx@M_iOxgICMIEx@A`qOQg[CCY@hBQ`kONgYcBiEh?m`kOKgDCLIT_nAVdJpdyq{x]cyE\DMbfNrgHrsxm[zM[fKRehrLJCdjQnHZSkAU|I{ddQpHXskAUdIwdvQ{HUsnQTdIwdtQxHUSjQVDFablPvhGscyQTJgcHQAH[SmQO\JOc@QqH?skqN|JkbxQ|G~SnANlFcdjPzHZs]aUtIcbfQjGysiaMdF?dRPqHTs[QTTEsdLPnHSSZaS|IWbTPkHSShqL\IObRQdGsSgqK|ISbHQcGrSgqKlECd@PbHPSWaSLDwd@P_HPSVqSLGwchQOHJSbqQlHscVQLHNsfaPdHkcRQYHDSfAPDGScnQXHBseAOtOWfzR~h~S}y^dNieMSBhcD@YXHOQeGSBhbD@YWhOQgCRBi?Coi_HKEd{S?h_D?iVxOEfaRshxc|i]PNUfURKhdCzYXXMqfIRvhrc}Y[pNafORXhlcyYZPMiekRmhwCtyZ@M}eeRahicxIY`MMe_R[hhCviYHLuf?RLhocriXxL}`jOugYSLyFLBaheSWiYdEie`Peh^SliVTFaeDRGh@S^IWtFIblPmhcSHiDdKY`PRAgKSriCDLY_xRQgiS`iJdGiapQMhMSQiSdDId@PMhGSNiGdHichPAhSSKiUDBidXOud@QahOshISlIMdLQghRsiYT\IiigSuijDMIihR]iaT\ihdVyjpTIigTMijDSIihS}iUTYiedVIh`TmiOTVidDUYhHTaiJTFibTPIgTSMh}TXi_dUIg@T]isS{i^DVIfhTmhqT\indMyjpRig@SAi?t?y_lOQjvT|i}T\ymlVYjWT}j?DZinxUuk?Tjisd^ylPVykATej@dYIoPU]kATbj@dXYoPUQjoTqi|D[ym`Vej?TnipD[YkHVAkGURjId`iohXQkqUOjLdcirPXEkoUNjJDbiqxWukSUFjEDaIpXWelCUdjQDhysXYYkwU^jOdfis@XuEXBI`dpLGekRMHrCza\P~w~k^yO@GAc?rLXe{rYXdKreYRsXy[|I]\NOffsaYPTGacJQFhBTAy`LOigLSGiBt\Im\VIj^TpiwTuAyT\gmhVXJhtrqyl\[mbVOJjTrAyT[wmhVLJhtrqxL\CmVVOJdTrAwt[wmPVLJbtpAxT[SmVVBJctoaxD[Wm@V@JbtpQvt[Kl~VCJ]tmavlZol~UzJ^TmQwDZ[mDV@J[TmqulZWltU{JYTlquTZclfUwJWtjqu\Z?lbUmJXTjaudZWl`UnJYtiAyl\[lTUhJjTiqzDYsmtUkJkuB_V[JuDxA}`_OnzBOKEEFBAkO?pGWsKUENBH`cPdwrKXaK~E]bMqbXP{gyS`IQdGr`hpCw][FMDfASDiBD@]_rOYgLsqiXdKme^RMhetNygLSAhrSzi\T`IotWUkNUGjCuPrHTccqXXGKduRbGdcWqZXDKfuPrGLccqFXGK`UNbGdcWq@XDK^uMrGLbsqFW{K`UOBFDbgp|W~K[uLRFDbgpnWuK[uMrETbspfW{KYUJrETbCphWoKXuLRDdb[p\WuKUuJrDLbCpVWoKTUHbDda_p\WfKUuGzClaQpFWdkQUIRCDakpBWiKPUHrCDaWpDWgKOturBl\so~V[KNUABHT_gqXWHKdu@RHl_[q^WEKfU@BBT`ooDWBKLuEa~|`ko@W[K?t~RA|`cn|V{KKT}RAd^kolVyKIt|bA|^_orVvKKUDA}l^KojVsKJT{BAL`GndVpKHuBa|t]{o`VlKFuCq|d`CnVWQJtUBa{|`?nRWNJsTxB@\]SoXVeKEuFQ{L]Ko~VaKNTvb@\]?oZV^KEUl_T{JED`Aq`YOkzWgJUDnAu`[OmgVLkeuTZGlcUqjXLd?t`XQLXUSRULfsuJX}Lbu^rWtkSrtX{LbupbN\fSuDXuLaU\BW\kKrnZCK{uobNDfCu@XrL_u[bV|ewtxXoL]unbL|k?rVZ@KuunrLde_txXiL]unbLLjcrJXfL\uXbVTjWrDYwKqUlrK\j[r@YwKoulbJ|dotrX]L\uVRVTjSqrXZLYUkrJTdWt`XWLXUTrULjKqhYtKhulBIligtHYkLRUirSliCtNYhLPuiBSTh_svY\LLUeRRdhwsjY_LJufrQtgos^YMLGubRQDhGsRYSLDucrPTissLYGLVu`rTtg?sFYALAu_ROdpoD~B?`^OngV{KADvA|`]OmwVkJqx[B@``oogWKKMEDZAlaUozdprQx_[umVfLZeHrQxe[umXFLZb`qawy[imNFIZd@qAxA[imSfFzcPqmxY[cmUFGzchqmxY[fmUFHjdppAx_[QmVfCZ`hrEw][qmFFKzchoiwW[fmDfHj_xp}xA[HmCFGJ_`pqwK[]mAfFZ_HqIwE[cm@FGzZTlquvZ^lmuvjbHkuuU[ZleFEjbHkywuZOmLErzaplEwoZRmJesjaXnyw?[TmIE~z]hnmvmZ|lzE~J^PnQvqZrl{E{j\`mevSZmltezZ\xmYvaZglwExzYxmMuqZdlkExJY`mEukZaliewGUSJQDfAq`YOkwT{JADbAn`WOkZqGJUDlAv`YolwUtpewt[ZkDuBZ@d`QojWUkJuEZBD`uo~W]nGfdzqXxa{c]XnIFdzqpxe{i]Wm~fazoHwu{?]KnDf_jo`wu{W]BnAfbjq@w]{]]EnGFajp@wy{]]HnMfQZrpsm{}\Im}FdJnpxYzy]Tm{fcZnPxMzu]QnCF\jpHva{S\vmxf_jo`vUzg]BnAf[JoxvI{K\pm~fZZlxwEz[]?nLFYjr`uq{u\jmrfgzshuezO]cmovWzkTuQzL\dmkFgzshtiyq]cnLFTZrXt]{w\UnMfSjrxtQ{{\RmffgJiHyIy_]`nOFRJhhyEy[]am]vNzftsIy@\@m`vPZgdsYyP\FmZfVjfHuAxo\^m\FUzf`tuxu\[lWUkjULjMtjYsl]UnjVlkAuBY~n|FsJyP~q}a^zn}frZ~x{}~{^MndF}jx`~q}U^zn}fpz~x{e~{^Go?FpJwq?J?A^Dn_g?zwQ?Q}E_Dn^G?JwA?I|}_@n\g@Jvi?U|w_BnUVjjtly}|b]onXVlJu\zY|n]tnyFmJ}pzi~i]xnzfxZ{x~e~o^enpF{Z}P}M~e^cnnfyz{H}u~?^knmFyJzh}i}{^hnvFuZ}@|m~]^YnRFtjt@|a|M^VnhfiZy`ym}i]io[g@k@ABn@s_FoUgKKDyBJ@[_poTGK{EaAr@i_jo_gF[GA@r@}_ZoKGNKBQBz?q_|oIgH{DI@^?k_goOgCkAaAN?e_aoQGB{Cq@F@I_OoNGBKCA?z?}_LoCgLk@YBb?S_vop_pwXKKaENBH`cU\JMtfUrnXxk{VUzjltqy|\_mnwZCMeExBd`lOxwYsL}FDBR`oOtWZCKuExBP`lOrwWsLMElBJ`cOtWWCKmEHBH``OpwWSKuE@BP`aOrw[cHEChBh`rOcwZsGmFDAN`oObWOcJUCPAx`BOlwTsJmDdA~`WOnWRcIeDXA``TOfwQsIMCtAf`KOhWg_VSJaDrAw`\OmZdDqixR[jmUvJJX\kuuXZMlgUrz}L~I~f^mnwVzz|d}m~Z^gntVyZyl|M}h^UnkVt{WYJFEIarpaGkkTqKBD_bApVgo[TYJ^DYaxp[GjKUaInDkakpUgl[ViIbD}aip^Gi[VQIbDuaip]Gi[SiJFDMarpRGkkSQIzDGaopPgj{SQIBDGa`pPgf{SiH~DMa`pRGgKMyHfCu`tozGekWAHZCobApJgo[WYHNEIaTpaGdKQAJvCca~pGgnkPiJ^DqaNp[GbkUaGjCWaupYga{VYG^DwaHp\GaKOeGZCJaAp@w_[RaF~C{`}pMg_KRYFnCs`{pKg^[NAHrBsa\o{gfka`wm{Z]KnFvcJpuA^@R_goQWHkCmAF@F_aoNWGKB}PtGrc^QJxFcbEPpGncXQLXEsbEPPHFcUQQxDScePPH@cUQPXDScMN@HFbqQQw{ScePtFZbnQNxFc\uQ@FTcaPuXGS\]M\Gtc[PsxEs\EMFFFbapnWwKZ}PDEvcRPmxCcZeOxEpcOPlWuS`}OlEjcLPjxBCYuLHGVbSQEwss`eK|GPbPQCwsC`UO`EXbMQDXASXmPDERcRPdxCcXUKXG\cOPcWps`}NxF~b{Q?w~S_EOHFrbyQAW}s_]MTFpbePzWxC]}OTFfcFPyx@c]eUxI~d`qoXVKjuTvJUcnqWhZ[laRBJUckquhJklaQvJScjqshI[lAQjHKdgqSHYkcyUfHcdRqYHT[eYTRJIdOqhHX{kqTFISdaqeHW{hYURIAdCq`hPkgQSVIMc}qchOKhAR~Ikczq]hUKfaT^HodXq\HU{fITjHidLqZhR{eqSzCvaYpKwfKRuHvKXeMrExa[p]WjKoeErLHaKrIW^KEeZrAHf[oiXrKudpqxhf[raVJKodmrLH[KrIU~Kid|q~hd{nqXZK]d{q|hc[nQXBK?dvr@H][oIVbJgeQrIH\kmiXNGPcIqCxA{`mOrG\cOqFxC[a]PJMCe]rOHpKry[NMCexraHm{wYZjLke{r[HnkuyZvMIerrYhp{wqZRL_e~r_hkkwAZFLZenrVXikteYnLwefr^Hi[viYbLGe~r_hhkwAYVLAfDrPhp{sQ[ZJPdiqsxY{lmUrMPfIrcxw{{m]RNKfSrjHyK{y\VNKfPrsHs{{y\JM[fhrgHy{xy]jMUfhrehy{xa]jMsf\rmHv{zY\zMmf_rpHu[{I\bNWfzrvH~[|i^rNof}r|I?K~I^~Ncg@s@h|L?Q^NN]ftrzh{[}A^ZOYgIsFiBL@q_nOGgFsBIA\?i_bB@`aoow~K^uNvFrbyp|x[[m]VJJ\doqvxukze\nMnfXrkYIDCUaPPTgbSSyHdCEa\PBgdSNyFDCUaPO|gbSMyEtCM`dP@gYSNyFdAu``Oxg\SJyEDB]`hOlgXSJyCDDE`HPTgPSSyHTA]a\OjgeSIYQOTcIyDZa^pOwgKgUSNIBc}q_XN{ruYBK~e`rPxgk|e]zNZfnrwx{LJqdbQsh_sniU\JYdVQyhVsmITlIQdVQghVshiTlIIdbQ]hYsgIU\IQcrQghMshiR\HycrQahMsgIR\DYcNQIglsaIJLJicJQuh?smIO\FidzP}h_s^IV|FQcjPwhJs\iQ\HQbbPqhJsciL|HAbVQKgusbiLLEIcNQIgrsaIKlDqcbP_hEsViP|QGIiDRAjswIc\MQhNRaiQtGiZ\QYe~SchmstIblLahBRUiNsria|LIgvROiKtDiXLKqgvRIiKsoiblKYhBRCiNs~i`\OygFSKi?s}I`LNqgNRyiAsxi]\NYfVRghytCI\lPQfbSQhv`VOjGTkIqD\Alt\ilDVUjHTrirT[YlTVEj\TtiuT[yidUmilTnihTZYkdSui`ThifTXyjDS]ixTJilTQYgDUMiHT^i`TWYddRUhpShiTTLyfTQ}h|Sri]TKOiWTSImDTAh`TyvDG]cVQHhEscYP|YYlfUijZtiIulYqljUojZtjiu\Zak^U{jHtcIv\YqlBUojQtjis\YYkvUijNtiIrlZykjVAjKtoIq|WalrU{jEtaiv\ZykFVAjBtoIolVejvTvi}t_Yn|P]gvSXiMtGYb|_YmbVSkDtsj@L_AnFWCjru?i{l_YmzWIjouAIz|_AmnWCjlu?izL[UmRVFjdtryxl]ynvV}jxt{I~l]anjVkj{tyi}|bYoZWykGuMJ@|aio~WmkPuJJCL`apJW[kSuEjC|bAofWUkYuDJE\capzX?keuQjF|cIq^XEkhuPJILVEjjTrj|t~y~l^UnrVvkwUWZLdeUr\XbkoUXzKdemrDXhkuUTZJDfEqlXnklUXzJtemqxXhlGTkyu|ZUpZWnkTuHZDLa]sxYPlOUdZRthMs`YVlLUdZRDhMrhYLkzUbzMTgmsHYZlCUdzRDg]sxX~l@UgZRtgEsTXxlFU^ZPdfmuXZIlUupjTLkatVZElPuqjS|katJYml\ukjV|jAtzYsl_upJVLjYuFZalfuvjYLmAuZZQlkuvJY|liujYLlFuaz]TmUvhZflwUyZ]DmmvhZnlxUzZW|kmuQ?ClzV?z_o?Yvq?Al|V@O?TnqwF[E?AV?O?tnywJ