CAT(2954,1)
Sparse6:
:~?mI_?O?G?CBC?M?G_C?AW?w?e@y?G_Co@wGWBA@\?n_AO@g?k?Q?L?D_AO@g?kDKA`@P_hOSGISDEA`@Q_goVoJKDmAt@X_loUgI[DUAh@U_kOTwLoEUBN@e_sOYgLKESA~@e?ooXoKCEGBP@c?tOWoLKDsBB@]?oOV?J{EKA|@c?moW_JcC}A^@N_eORWHsCqA\@L`E?PgHCC]AR@J_dOPgHCC]AR@J_dOhoQOHUCgAV`H_dgPoGQCIAL`@_bGPwGYCaAG`G?`wO_GmCIAI`@_aWOoGeCOAJ`B_agPoHiCqAL`E?eGQGHqC_A\`F_ewQOHaCqAR`L?dGRWHUCwAV`M_dgS_GEDKAA`Q__GS_GADKA@`Q__gRoFQD?@u`N_\WSGF]BqAb_{?ggNcFmBt@}_}o^wLoHyB]A__w?fwMWIMBcAa_w_gWL[EuBXBh?]oNwFsB}@z?}`x?OwGkCQA@@A__oKWE[BI@l?s_YoMGFKB]AD@?__oPGGkCMGY?{_\OMwaWHeCtAW`MoewRcIQDLAd_hoTWIcDYAp@V_vo[GLsFEBf@qaZ`KodkQkHbCkAXPL?dsRWH`CtAVpL?eKRKHlCtAXPI?csQgHJChARpH?bcPwHDC\APpFockQCHNC_ARPFobcPwH@C\AOpDodsPWH`CWAVpCGaSPEFQCj`t`JW\OQqHWBkaU_zgdWMuH[CMaE`KGdwO}GUCqaX`BG`OREHgCIaZ@BGegOmGMCgaC`Ig`?QeHECEaQ@@GcOOUF}CXa?@Ew^oPiGCCXa@`Ew_GPiFwCRaI_}w^gPQGkCLaJ`Bgb?O}FcBn`w_|G]WNAFaBu`z_{G]gM}FcBt`x_|w]_NYFQBw`t_}g\ONeFWBw`v?}W\gNiF{C@a?@?w^wOIGMCPaC`CGaOOaDdAo`WokwUkJQFKAi`s?iw[wIqD]Bd`p_jW[_IyDMB_`S_wgT?MEFOAv`r_mG[oJYDsBd`\_ww[_JeDwBz`}_ng^_JuD}B_`__wgW?MEGeBY`m@DWZWPQHOBVaT?uWdGLaEgCC`j@@gYgOUEyBC`n_owZoKIEIB\`b_vwWoLyEQBN`g?qgX?KyEeBJ`g_rWYOKqLu?g_TOIWDcAu@VFF?WOJwDsAy@`?nbh`@w`KOaEtB[`lptgzC\]M_FRbh@tWyG\QM]FHbe`pwxo[aM]FIbf@rGxg[mLuDQai@nWv_TMLjEvbZPkgucZMLQFIbT`rGtO[mLKFRbS@tWsw\QM_EDbh@`wyGWYJqFFa|`qWnO[aMKD{ba@^gwgVuMKD~b?`pWo?[QJYFUav@twz?U}ISF@b``QwhG[IL{DEb_@QGvwS]MEDDaa@oWwOSMIAE}a_@oGgOZ}LuCwa[`nWewZqLoCyb\@NGvGRmLoC|a^`mgfoZeKmEbbK`hWr?YQKyESbN`dWqoXyKUEQbE`cwp_XEK[EHbG@aGpwWiJkEAa{@`GmwWMKsDobM@[grWVEL[DfbU@YGtgUeJSEnau@kWlWZAJGDray`XgkgVQIiDZaj`VWioTqIoD]ao@UgjwTeJADPap`SGkOS}IWE_bP@RgsGSuA@@A__oLGEsBU@l?s_YoLwFKBa@n?x_[ONGF[Bi@t?{_\qW?RsIAC~A``PoggL[EuBX@j_uoZHJgeYROH^craVhJgeeQ{HicnaYxI_cMQkHCciaOhI_cUQMHUcbATXHOdeQOHWccaTxHgdeQWHVcdaUHJ_c}QsHOcfAUxIGdiQwHRchAUxIGbYQcGwchaLxHOaqQQGiccAIxFwauQAGnc_AJhDGdAPMHMcSARxCgcqQYGccRAQxCSaEPFG]cOQFxBWcUQMG\cbAFHLG`aOsHjctAEX??cIOCHCc?aOxFw^]NqH@c_@}G}s^QNjFpCqP{pK[^GRJFmCoP{@KS]{RBH_BuQW_|keCNVFgCppy`Kk]cRHF_bopvw{S]QNFF[bnPvWzGeYROFZcr`uhF_`IP{GSc]aCx@w`UOaGVcGADhFW_qO[GycEaMXE?_ePcGJcWaAh?g_YOGGGcBa?w~O]UNwFfb|`xhEW^uPiF~cY@~gDkAq@V?k_UoIwDCAe@T?g_TOIX[wLuE~B]`oOwW[SMMFJBc`rOyG[{M}FbBoaDPBG`[PAGdCPbkpugz[oGV{J~e?a~H^goAVqJ~d|b?H_GniUiJ`djawxYomIVAJXdpauh[OlaVGJZdrAvX[glqVKJ^doAxX[_lySOJhdCaxx\?g]VoJQdzAtH]wlMU]J]doAsXY?l}UWJWdfAuhXgleVeJHdda|XXOnQUkJEdjaqHYgk]UEJZdaavHW_luU?Jidtaoh\_kEWAI|d^b?H^wjyTbIrdXQjhUCi}VqIdd|Ahx^WiYS}J{dOa~hS?nuVaI[dxAfXRonASqJiduAex\WhiVYIUdvaeH\oh]SgJodHa{hQgnES_JrdHA|XQGnQV]INdvAbh\gguSSJfdEAyXPWmaVkICd{A`h]wgURdHscxq\XM{fYRpHyc{q^HNkfmS@H~c~Q_hOKgMR\HkcuqZxMKfATUIvdUamXT_jaTsIgdTAnHTGjmTgIadZAhHUgiMLpEyb[poWw[[IMHFEbapRwiKTAYHLEearOXg[sIZgKheybIhmoqmXKLseSB\hcwvUXEL|eQb^xc_vyX?LwePB]XmwqEW}LweMb]Xbov]ZwK[e|bEhnOpmWoL{e|BEXawvmWPKIeCrAx`koqW\KOeFrCxaKpIZyKDe~b@xnooYYuKTekbDhjOpQY_LbeqBShiGuIZaLLefb[xhovIYSL`eoBRHjwsmYwLFenBQXjgsaX{LUe_BUHfwt]XuLge]bYhf_ueXqLRe\BTXf?tQXcLjeYBZXeWuqZ]KpewBJxe?uyX[LferBJHdguUWCKteABLx_WrY]JNEfbrohwc{M\}NJf_brXw?{q\wM@f^B_hvgwA\SMofXBjHuGym\MNGfSbqht?{e\YMWfVBeXtwxi\KMVfJBhHqgyU[cM]fIBgHqWx}\kMNfGbmHq?z][wMKfMbbhrWwu[QM`fDBgxpWyI[KMxfCBmxowzi[IMrfYb`Hu_wMMZFNbfPsWyS\ATxIzd\QlxVKjaThIudYqhXS{iY_QN|f}CAH~X?]^}Nzg?B~X~o~q^qODf|C@h~@?Q_CNyf{C?y?G~e]gOFgCbthyh?a^lNtfzs@@zT?S]vOEFmRtxzK|a]cOAg?bsXyX?M^{NMg?BsH~w{}^]NqfyB{X}W~A^QNefsByx|O}]^CNcfoBxX{G}M]yNkfnbzhzo}u`sHScjQTXI{deQpH[clqUhJkdyQ~LgetRYXk{uYZJLaeprXHj{uEZ@L[enRVXj[tiYrLUekRTxi[tUYhPBGdSPQHLCkaHPCGbsPQHDCKaLP?GgSOaILCCa^P?GeSOQHtCGaZPVG^STaFlB{ajPQG]sSqFtDO`~OyGlsMqJdBoazPWG\SUaFdDc`vOUGlsEAJl@[axOpGcsQqE\BGaTPKGVSRaEDCs`^OjGhSJQIdAoafPWGSSIaJTDc`ROfgQsHiCTAM`HO^GbSGAG|ACaPO[GisTqBtDW_zPNGKsSQB\D?_tOvGHsDQFD@O`rOxGHSLqALB__`OuGFSLQ@|?s`hOIGZSBAEdBS_VQkDoqwx[SmQVLJdfQRhhskyE\FMafNRgHr{xq[zMZhVclYU@JYdaQvhVckiUHJMd_Qsh]cjITpJmdwQlhUCmITpJidqQlhHscYQTGucVQKh@ClYO`J]cEQug~cmIVHGAdsQ@hXC^IU`FydeP|g{cmyNXJubsQ{gxciiTHFUbgQjgwciYMPImb_QiguchiLxIab[QfguCiISxEidKPjhPcXyS`EedIPghPcXIShEYdGPdgocgIKXIEbCQagncgiS@EAa{Q`gzcfyN@Huc{PuhFCdyRHHAcoQNhCCdIPPHYcQQThAcfIRPG]cuQEiBC~Y^tN}ftR{h|spq_\K_gJRHIASpQ_lKWgHRCI@t?AWLOGeDS@H`sna_DK?gDQ~I?sqa\\KofZRJHuSxQ]|MWfrRfH{S|a[LL{fjRsHoS{QZLLkfdRYHxsyAYtMgepRhHjssq[TLSfHRSHpssAZdLCezRQHnSrq\tN?eZRMHvsLIEtBU`nOxg[TEibDPeh\SliVtFaeDRGh@S^IWtFQelROgvS[IXtLA`\RSgTSrICt@aeDRGgPSFIWtIaalQognSjIJTCacdPOhLSRIQtGQ`|PChFSaIGTHq`dQcg\SgIEsgiSDIEdFQdhQShiTDI]dTQjhStMAjLT[hnSuIkTUaiLTKixTZIhTTAhtTWi^TTIgTQqi|SsipTKIktQAjlT{iTT]IctPYg|SYiFTCi`TNqjTSCixT?IltNAjlRwi~S|InTTaf\TShtTSI[t?I_TOEgJSBiATWikDUEjzTzi}TZAntW?j\T~IutYQntW?jVT~ItT_QktWGjNUBIsT_ak\WKjJU@IqT\QmTVOjnTuIxt]Al|VgjbTxIwTdQrDX[khUUJHtbQotWOk^UMJAtaarLWokvUJJLTcAo|XGkRUPJCThQrdY[k|UeJMtgar|YClHU_JPoVWJsDqE^BO`fOsWY[LINVFkbupyG|S]eXdKseXrJxeKrA]bNRfhRrhyC{}cPQIhCs`YOtG]gRSJiDT@i`DO]jfTsixTZymLVAmoVQjlDtIzH\Mm_VUjjdsYxx\UmWVQjfDtIxh\Mm]VHjgdqyy@[im[VFjeDqIxh[YmGVIjadqYwX[mmOV?j`DpywH[YmGU}jadnywXZulsV?j`DnIwHZmlqU}jZdnyv@ZulkU{j\dlIvPZUlmUpj[DkyvHZIl[UsjWDlYupY}l]UpjWDkytpZIlOVTjjdiYtP\YlUVWjUDuYth\io[?[_NOFWB{AE@@WY?PoHGCTa?@J?f_ROaWPSGmKVELbEPaGpSWeSlIWdJqcxQchU[@MAf?r_xokwQ`@O`gNsEyBT@eeVRKhdSriX|KuhlSwiZtMYf\RikLUDjATaIpLW]qMXNkceRjH@cuqWXCkbEQjGhcmqQXAkbeOzH@cEp{XCkbEOJGhb}pwX?k]eNjFXb}psX@k`eMZGPbapuWtk]eLzF`bYpcWwk\ELJEXbepaWskVeKzE@bIpiWkkZeJjEpaup]WhkWEIzEHaipKWkkSEJjCxaupQWbkQeIzC`aipKWbkQEIJCha]pDW`kOUGjCLaAmuW\jmEFzBp\uoOXIkDERJ@HcmoMXMkAeRz?pcuoEW[kAEEjBX_IouW@kME?JBP^}oqV}j}eEI~``]nuWSj|EDi~H`UoqVuj{EEJAx^]neWSjyeDi}``Un_WPjxECy}H`InYWMjveCI|p_}oaVikHdzJAP]mo[VgkGDyZ@x]]nKWJjqeBI{`_uoyV`jpeFi{P`}m{WJjoEBYzx_qtk?P_HOCGA[@U?hZA?KODgA|k_?t?Z_KuqJXTkeuPZHldUSRWldGuNXOLbU]bULfktdX{LWU^rUDfwtdX|LWuobM|kOrpZBK{u\BWTfWuHXtL`u[RV|fKuBXqL_UnbLtjor`XnL]unrL\kCrZZ?KuUYBVdjwrRXiL]uXrV\jcrJXeL\UlbKTj_rHYvKpuWRVLe?tvX^L\UVbUtdotpX\LZulBJLdktjYrKlUTbWld[uLXWLbukrIdjSqjYsKhuibSdiotLYjLQugRS|ictFYgLPUfbRDi?stY^LKudRR\hssnYULMUdBPdhKs\YQLEuarQLggs^YHLGUjROtg_t^YFLVU_BO\gGsJY@LAVF?Bc@u?|?]_MOFWB{AE@@?`_OOFzdoAM@D?c_PoHGCTjAtdYpmVFLJe@rYx][tmWfLJePrYxe[tmMFIJbpqewy[imSFGJcHqixQ[^mPfIzcPquxW[cmQfIzdhq]xW[eljUtJYlleunZWmGFKjaPrMxa[PmVfBz`hrAx[[MmDfHZcxoiwW[emBfGJcHoewO[^mPF@Jc`oYxE[Dm?fFJ_PpywE[\ldfEZX`pmuY[YmKerjbXlAwsZNmJE~j_@pawmZ~lzE}j]xnaviZxl|e{j^hnQvwZrltezZ\pmevSZklvexj]Hmav_ZflpevZ[`lyu}ZdloEuj[HlqvCZZlgfCzYXpUuc[S_HoDWAc@M?h?T_GOCgAK@E?d?OnG_EGA{@Y?p?U_JvEZb\pioVWLkEUDJAt`UonWXkKUFZB|`y{a]VnHfeZqPxa{g]VnJFeJqhxez}]Jn?fbJo@wu{U]AnAFbZp`wM{I]MnFf`zq@wY{]]GnDFbjq@we{s\{nMF^jrXvuzq]Sm|fdjnPxU{a\unHf]JqPv]{O\rnDF\ZpHvQz_]AmxF_zo`vEz}\lmvf_ZlpwA{I\inBfZJopumzM]bnQfYZl@yQzB\ampvXJktuUy{]bnQfWJjxyQ{s\ZnLfVZr`tqyq]]mlFfzj@xu|?\TnPFTzsHtY{y\QnNfSzrptQya]`mgFgjhxyAxz[~m^VOZgTsAyH\Dm`vQJgts]y[[xm[FRJexsuxs\Hm]FQzfXsitfYtlYUnZVtjqt~Z?l_upZW|kZ?E]woAfmk?`ze}Y^ynff~Jxp~m}S^yneF~JxX~m}M_Bncg@JxA?U~y^CnbF~z~p{V??^@o?fo{?P{I~{]}n~foJ~hz}|u_?n]g?jva?E|X]mnUvkJuLy}|d]snXvlZu|zY~m^dnrf}Z~@}Y~k^cnyFwj}h}M~e^`nxFvz{@~E}w^jnnFzZzh}q~[^XnlF{J|x|m~O^UntFuJ|H|]|K^RnSFtZsx|Q|Q^OnhFizyHyj@k_EoCGMKEy?^@i_noYGJkDiBN@S_ooUGKkDYBF@}_Zo_gF[GA@r?o_{oLGNkBIBv?i_foJGIKDI@^?g_aoPgCkAYAF?{_NoNgCKCA@F?W_coFGHk@iAV?Q_xoDgM{@QBjBE?d_RoHgCsAU@NX{k|U]zNlf}r|\HmdvQjhdsyyZ`kOxWZcM]EtBh`pOtWYsMEE|BR`kOrWZcLEEtBN`bOswXSLUElBH`_OpwWcKmEDBH`_OrwWcKuEDBP`nOcWQcMMF@AR`DOxWPsMeCXBf`YOmwVCJ}DlA|`VO`WUSGeD`AF`MOiWTcIEDTA^`JOgwRSI]CpAdaa?KoEwBS@i?v?XmSVIZdTqqxZ[jleurJX\kyu`ZNnxv{j}L}y~`^nnuvzJ|\}a~T^hngVsjyL|M}j^Sp`gk[WiJNEGaqpVgokUAKBD[b@p[gi{TiJbDWavpTglkTiJVDgakp]giKVyIjD{ahp\GiKVaIjDuahpQgk[SyJJDKarpQGkKSQI~DEampPGgKSaH~DEa`pQgf{SyIBDKa`pKg\[MyHnBkaYp_GdkRAKJCmb@p`gc{WiHVEGaSpGGl{VIHJDoaPpEgn[PyJ~C[a}p\gakVaGnCWaypBglKPIJZCOatpAW`kOmGFCFaApMG_KRqFzCy`~pKg]{RYFvCs`{o|GfkNIHrBoa\qIFazpdwu{^]MnGWH{DMAb@H_eoQwGkC]AF?|__oNxFca}P|Grc\QKXDsbUPpGrcZQKXDCc]PXHJcTQQXDCcMPXHDcTQOW{CbmNHG~bpQNWzccmQLFZbnQQXGC\UQHFXc`PtwxsbUPlFRc[PsWw[[]MJE|b^poXCSZ]PLEzcQPmXBcZELdG`bYQFxAsYmOtEncKPjWsc`]LPGZbRQEWsS`EK|GTbOQCxAcXeKxGPcHPexCSXUPLEVcQPcwpc`uP@EPbFQFw~C_ENxGBb|P~w}c_eNlGDcBP{x@S]uO\FpcEPzwxc]mMPFfbdPyXZcj}UFJ@d[qmxVkeIUvJUcnquHKKliQzJUckquHJ[lIQfJScjqsHIkdAUjHKdhqsHH{kQTBJGdPqhHW{eQSvHgdNqXhRkhQUVIWdfqdhXkgYSVIAdEq`HPKhASBIQc~qbhNkiqRnHwdVq]hUKfATfHsdZq[hUkiYRVIicvqiHLkRUHnCra[pMwfkoQXrK?e\r?he{peWzKZeHrDxakrAWZKseGrKh`{mYXnJae\rMH[krAUzKsdorKhZ{oYVvJ}eDq~H`KpyVjKad{rGH]{qyVbKidxrJH\{maXJKgduqyhc{`EOfGTcJqExBK`uPBG^cPqHXC{sAZzK}e{r]hfkwQZfMGezr`hmkuyZzLoe|rZHnKwiZNLifFrbHlKuAZ~MAeqr_Hk[t}YzLZeirTxjKsyZ~MAehr_HiKsa[^MKeerahh[sY[RLAfBr`HgklMUjJPdlquXY{{m]RNFfaroXw[{y\RMkfgrrHt[{q\FNOfRrrhskxq]jM_fjrfhy[xY]fMYfireHy{zQ[bMwfIrlhq[zA\~Mqf\rjhvk|a^nN[f|ruh~K~Q^~Nqg?r{H~l?Y^ROCfqrxi?[|y^VNmforwh|l@i_jO]gKsFIA|?a_^OKgHsAiAKKEEJBBb}p}w~K^UNnFrdpqxX[{luVBJ^f[rlXu{y}\bMrgiSPYHDDEaLPRgfSNyHTCEaXPBg[SPYHDBuaLOzgYSOyEtB}`dP@gWSMYFdAu`tOngZSJYETA}``OtgOSSYCdDU`DPRgdSHyHtAmaXOhhH?FoBg@mH~D@a`q_xOkg]RzI@c~rRXh[seYJLFe`ruXzk|m]~N`fpslIV\JYdbQwhXsnITlJyd^Qih_shIULJQdNQghXsfiT\IId^Q_hUshIRLIYcvQghMsfiR\IAcrQahMsUIO|GiavQGgjsliOLJicJQwh@s]iVlFyeBP{h^s]IQ|FQcfPuhIsdiL|FIcjQQgwsbILLHAbZQMgtsaiK|GabFPchBsViQLEAcZP[hFtG_Ag@[?rSahpsxIc|MAhJSahltHiZ|QQezRSiNsuIblLYhBRQiLsria|LAgrS[hcsqicLKqg~SUhatEiW|PaeFSMi@tBI^|OAgVRwiAs}i`LNqgNRehxs|i\\MafjSOhutDI]LPIf]?^?L_FOBW@{?zTuiqT\YlDVMjLTpivT[yldVUjTTpihTYyitU}ihTliqTRYiDUei\TfibTVyhTUMiPT`i_TUYgdTuiDTZiSTLyddRUhpSji]TJyftRMhtSp?I_DoBG@[?i?Xj[S`yP\GecbQLhFthiu\YilnUgjYtjIulZAlnUmjXtnip|XImFUOj_tkIslYqlFUmjOthir\Yik~UgjMtdIvLZqkrUUj\taIvLZqkZUIj\toIo\[IkNU}jAt\yn\VejzU@i~tDyb\PegzS`iNu?IyL\IoFVSkAu@i{\_inNWGjqu@izl_inBWGjntuJ?l_AmvVUk@tpYxL[]mVVNjet~i}L^InvVmj}tyI}l]qnrVijzuLJALbIoZWokFuIjB|aqpBWmkPuEJCl`qpRWYkRuLjA\`YpvWSk[uQJH|cqqfXIkguOjFlcAqNXCk^t[YmlVMnzV~j|t|Y~L^]r`X`kvUXZLdeMr@XfkpUYZKdemrXXTkkU[ZIte}qtXfknUYzJdees`UrjZtlZDla}pVWdkSuHzRdhEt@YTlNUczQDh]stYTlKUczMtgurhYNkxUazOdhmsLYVlKUaZRdf}sDY`lNU_ZPTfes\X|lEU]zXdkitZZElSuqJT\kYtFZIlRuqJSliytvYql^ukJVljQuBZCl[uljW\mIu^Z]lguwJXllIurZ[ljuujYlgus^YJlxUxZ]dm]v`ZhlwUyz]dm}vdZllbuqzXG?Qvl[BmB?@j^G?Ivt[D?@U~J_\oW?H[@?BU~j_n