CAT(2886,2)
Sparse6:
:~?lE_?O?G?CB[@b?r_XONOE{Be@p?v_[oMGEcBU@l?|_^oNgGkCMAH?y?_OO_FcCC@v@H_doQgHgC]A[@G_e?PgH{DAAb@Q_iOSwF[Bq@t@`?loVWJcDUAn@U_l?UwJGDuAo@[_roYWLCEQBL@d_n?WWKWEABC@^_uoZwLsF?BT@q?uO[OL[FMBh@t_zO\wNCDyB@@^`A__WN{GABv@y_{o^?N{FsCB@}@?OawPkGqCTAG`Co`oOSGOCLAB@AocgQ[HEC]AS`G?dgPoHUCrAV`KOfGR[HiCHAA`@oi?S_I]DIAf`R_gwSoHuDKA^`R?fgS?IMDIA``Q?ggU_BQ@l?t_YOLgEkCiAV@H_ioTwIsEyB^@l_{o]wNSHECfAQ`MofwRsKWERBG@dopoXSKSENBG@aOp_W[KSEBBA@`oo?WcJwEBA|@`OnoWCJoDzAz@^om_VsJ]DpAx`\?lGV_JUDuAu`X_lgUOJQDaAt`W_mGUWJeDcAv`d?jWXWImEQAk`S?jgU?IeD]Ai_VOKGD{No@f?q_WoKWE[BI@z?~_^OOGGSCEAJ@C_`oNGFSBmA^@O_goVgKCD}BL@c_qoWWK[EIBj@r_yO_wOcGICPAI`Co`WOsG]CnAX`KPG?csQ_HDC`ARpFOc[P{HJC]AQPG?bSQGGxC`ALpDOb[PWGxCSALPC_ckPKHFCcAGpCobKP[GbCQAKPDO`sPWG`CSAFpB?bKP[GZCJAKPA?`sOgG`CHAFpAo_sOoGJCFAEo~o_kO[GBC?ABO~__SNsGHB{A@o}W^[NiGCByaA?}w_WNeFyBw`~?|w^_NYF}Bva?_}G_?NYFeBM`y_rG]_KuG}BiaM_ywboMqFOCfaS?yW[wQYFHBd`rOww[KMIFcB_`w_vgZwNAEuCI`m`AWZ_OaFaBY`x?uWZ?NAEiBl`j_zwYoMyEcBl`h_zgY_M}FeBN`g_|WY?NQK??g_TOIWD[Au@XEK?cOPgG{DaAt@X_toZGLSFqB|@|`FObwQCIADDA``mouwZcXyL@E^bK@ewrOXuKqE[bK@dWqwXiKkEXbJ`cwq_XUKkEQbG@dGpwXIKaERbE`cWpoW}KWEOaS`]gdWVqHSDzbD`ZWlWWeJWEIaq@fwkOYAJEE]bL`VGrgTyKwD\ajPUGi{TUIhDRbE`SGpoTIKWDPac``gp?S]KMDGaa@`gowSYIIEGbD`OWgWWiICEHa_@_wfwWUH{ECb?@MwoORuKAC{b@`MgogReKGCwaY`^WewV}HkD}b?@Kge_WIHeE@a}@KWnOQ}JuCoaU`^WdoV}HWD}az`\GmoVeJiDwav@[Wm?VMJ]Dqar`YWlOUUJKDgan`UwkGTeJ?DYae@RWhOS}IUDMb{?HwCsAUN{?m_VoKGDsBA@^GICAA?H?o^yOIF~cAa?x?o_EOGGAbuPzg|k]cOBFjC@py`?S]WN|FgC?Pxo~{[WNzFzBap~?w{ZeLvEyb}@kg~gZENuEob{`jW~OYyL]Fwb{`iwt_^iLSFwbR`|WtG^]LOFubQ@|Wso^]LIFubw`lW|wZQN_Erbm`wGzw]IM{F`bl@twzG\qMoFZbf@tGy?\YM]FTbg`qwxg\MMcFKba@|GwO^IMEFrbc@oGxO[EMQE~bp`nG{gZyNGE|bO`mGuwYMLCEu_TOIGDKAa@T?h_ToJWDcAm@Z?kcn?GgCcAM@D?c_Po{W]SNAFfBt`yO}W^[NiLFEabOq[pK[eERDHbcoqWhJoeyR?HncnaZXL_dmQwHicmaYxHWd]QSHTccaThIgcqQmHMcjARXJ?c}QaHYckaSHIOdaQgHYchaUXA?eQOcHecGaXXGoeAQOH]cbaVxGCcEQDG|c^qNhIObiPwHSc\aSxH_b]Q[GxceaMHE_c}QaGucYaSHEWcmPaHIcXAQXE?e]RQGncsAJhB_euO{HmcMaZxLO`eOuHjcLAZHKw`YRQGWcsADxAWeQOiHecIAXX@[_qOTGMcFqBX@GdmQyGFcmAAHDWcMPYHDcUAPHCgaaPMGicRAIXC?aMPAGccNaGgCsA]@J?d_RoHhXgduQvH[a|P^Gn[VuJ~D}bBP`wpCWiKVEHafPRwhk_]ORGGdnqwX[CksU~J`Dfqw@XskgULJJDaQr@WkkgUNJJDcqr@XCgmSZIKd_apxWWkeUCJGdaAnhW?kYT}JDd\asxYgjuTwJSd[QmhVKicU^IjDfQi`XkiYTPIfdPasHSglITGJPdOAsHSOlITAJPdhafXYgh}S{JSdlAehZWhqUqIZdjAdxZ?heUmIWdIavXQolySgJ[djAcXQWlaUmIQdkabhZWhAUsINc~q_XOCgISHIBdAq`xOsgaSTIHc~AvHNglyUyH{dYajxUwjETkIodUAkhU_iyTYIrczA]hN?fmRmHxcyA[HMOfUReHpe[_GgCcAMNnFtbzP~W~[^qRbHocxROxgSsQYDLCe`rMPe[rkXjKyEYRMPbSp_XvKXE\RDXa{pYWfKSeHQ~pgKnwY@J|E^q|pfkncX|JwE]RNP]cnWX|K{Dyq{Pf{nKY@JqE_qyX\SmaVVJlduQxPesr_VNJeEZqw`esr_VHJbEZqz`dSn?XXJnETrH@`{qWWbKdEGRB@bsowX@KLENrAPcKqKWVKaEDREp_spsWPK[EBrJP_[q{WJKmEARKP_CoGXdK@EWQ}`dKq[VxJzESRa`pCwe[NM@f@r_hl{vEZ`LkeurZhowsa[QLIfCBQXnWvyZyM?e}B^xl?uIZKL_erbWXjguMZIL^eqBVhjOvaZsL[elb]XlGt]YqLjetBUHootQYkMCfAbTXiGvIYeLsehB[xhovUY_Lvefb\hggsmYMLLebBRH?s_QOJIvdYqlhUSjQTfHrcyq\HMsfaRnHpcxQ[Hvo{Q\}NDf]boxvg{A\}NAf^BoXu_zi\wMufYbmxugze\kMvfYBmHrGzi[uM{fLBmxt[yu\XMgfTRiXqo{M[mNDfKBpHq?za[cMxfGblxwOw}]?MMf_bbXuGyy\eMofXBjxrwyI\AMcfOBgxr_yU\MM]fRBfXqWwi[iMJfIBbH}orYXpKvciqTxIsdaQtHXcCqAH?{qQXLKdeOrGxcSpyX@K^eLrFXbcniVvJ{dpQxH[[xM[jMSfDRaxpd@O_nOUGKsDQBC~{_dO@GGs?AA[~{_\O@GGS?A@|?S^xN}GBs@`~l?G^xN}GAS?p~l?k^tOLF|sB@~K~c_POIF|sAP~T@O^lOTF{SD`}{|G_VNSGErsq@c}s_bNmGHrzqAS}g^lNkF{Ryp}|?S^NNhGBryA?s}O_POIFrSAP{k}E^FNafnRwHz{|s_nOXFlsE@zd?w]tNWGFruQAC|S_DNVGARta?[~K]bNtFgR|@x{~K]XNtFer|@xs{k^`NIFwrqP}S~?]LNGFxRpp}LE_[NMHfCQqhXckmZLLfesRWxkkuQYJLFebRQHhSsebmPug{c\YN@FQbYPpguC[yMPEmb[Pjguc[IL`E}bmPgg{cYiN@EeaZPNgfSQiH\CqbgO}g_C\iMhB}baOzgxcNYMPBq`oPogvcMiLpBe`mPggYcYiEpEebIOngrcKYKpBAbCOmgUCWyDhEQbCOhgTcWyDPEQ`KP^gocIICxEA`EP^gocHYC`EA`?P[gPCViCHDuawO\gmcFiBxDybIOYgrCFIKx@m`cPRgiCLIEXDUaqPFglcQYJPCaaGPOgbCSiGhDEaAPVgkCOyIpCIeCQxh\smiUtJadnQBH^s`QWLGOe@Q{H?snaODGGdzQ{G}snaN|Jsb|PyH^s^AWLFke@QrHUsjqUlIwdhQEHOsgqPDG[dDQoHNSkaSDJCc~QiHIsjAQ|IkclQWHHSeaQdHccfQcHFshaQLISc`QLHLsbaRlHocXQfHCsiQP\I_cTNofxR{X}[~U^hRSHuSta\tLSfZRhhtsyiZPM}euRphwCvIY|LeepRDHvs{QW|N?eLRkH`spA\lKGf\ReHgsxqY\LGfPRbHfSxQYDK{fHR_HdswaXlMCeXR\HcSvqXTLweRP[gmsViJ|EEb@PagqSWyKlE]bLRqIKs{qb\NOgtSLIGTCa`|PCg\SIIKtBAb\OkgtSFIHtAQalO_ghSUIAT@abDP[gJS@i@t?i^tOAf~RzIHs~QalNoghSUH{TEA^TP[frRtIGTCQ]|PGflQ{h^SnYV|KEe@Svi[TMYeLRMhdS|ISTNqdTRwhRSyIQtHqfdRkhLSaI\THAfdQKhvS|INtNqcLRwh@SsIVTLaeDRSh^S[ITtFadlPshXT?IftOaiLSCi`TTIeTTqhtTWiZTEIhTQAidTKiNTHI`tQqglSgiHT]IkTWAjTT{irT`IltWqjlUGixAp`XokgkkU]JLDcappWhAC`IObG[cNQFX\snAV^K?e@R?XqCxI[bMLfFRbyGdCYaJP@g`sOiWlK]eLRBhaSoidtRAh^SjiUtJIppXQkkUOjIdbypXXEkYURjEDciq@WakSUMjFdaYpXWUkYUFjED`io`WakSUAj@daYnxWUkAUFj?D`ioPVqkET}jAD^YnxVekATzj?D]impVqjoT}izd^YnHVMjiTziyD]impVAjoTpizd[ilpVMjiTniyDZYl`VAjSTqitd[Yl`UyjUTnitDZYk`XEjKURiqdcikxXQjQUUjIdYIxO@a?l?V_LoEgBL\W?x?]_Mtv?CCAE?~Bu`{O|wwS[QMFF?b^poXQshQSjIPdHqchiktYYhLPehrShzS|a]rNTfjrtiOtGacNQHhDSay^\NufxRthzs|igDSIiBTBiatPJ?X_YoIWFkAEAJ@H_AoUWAkDE?Z?X^uoGV~kAd~i~P_AnwWAj|e?Y~P^]nqV{j{D}y~h^Qn}Vuj~D|Y}H^]nqVrj{D{i|p^Yn_Vtjvd|I}H]mnYVrjxDzI}@]an]VijvDyY{h]mnYVfjrDzI{P]anGVijpdyY{h\}nKV`jrdwI{P\}nGV`jpdwIzd\um|V]jmTvYqx\ekqVZjKDuiw`_emKWJjaeAiwH_YmEWGj`E@yvp\YmmV?jkDnyvX\YmmU{jkDnYv@\UlsVRj[dtIy@ZUlmVQjZDsYuP\UmeUsjXdtItx\AlaVQjWDsYt`[ul[VNjUdritX[qlQVIjTDqyxhYYm]UgjfDhyx`YMlIVJjQDqis@[]lCVHjOdqIzPXumuU^jkdfirP[]kwVHjLdqJMO?i?X?J_EoBw@tfw?`?Q_Gu`?A[@U?hYClBU`ZOdgYsJY@KEU_r@l_wsDWuKuuZbFDeopnWzKuUZbFLbgrZWrL?U^bElf{phWoL?UKRN|fwpdWlK|uJrNlfop\WiK{UJBNTakrrWfK|u^RDLfopPWcK{UHbNTaSrrXuKOu\RC\f[pDXqKNU\BCDfKo~WZKyuFRM|`orlXqKKUEbMd`crfWTKvu[RA|`Wr`WQL?uDBO\`KsDWNKvu[RAL`?r`XeKoUYBKTe[rBX\KpuVrKldwrHX[KjUUrIddSqtXPKjuSrJLdGqpXGKfUSBHTccq^XDKduPrHlcWqXXhK`UYrGdegqFW{K^uNbGLbsq@ZW?KODwAs@Y?p?V_LoEgBK@i?v?Xlt?FWBc@y?z?]_MUZJLleyvSZolte{j\`nEvYZolve{j\pnEuoZdlqEujZHmYvGZZlrEvZ[hlqu{ZhloExzZxmavCZhlpexz[HmasdYOlGuczQlhQuWZnlvErj\hkuuQZjldezJ\PkivCZElpeqJ[Hk]uEZZlaevZW`lqu?Z]loEojZxkEt{ZWl^eujZHjusMZTlCetzP@lYuiYIljebJYpgmtsZQliEnJVXlMtgYplXeljUhjItmYml[ekJV@i}tUYdlUehzT`iYtQYclSEgzTPiIs}YXlOeezS@hiskY[lNEeJRhh]sYZNlFesZPplA?T?K_DoAg@c?m?Z?N_FOBW@{?yyY?P_HOCGAK@I?`ZTljutiw|[emPVPjhTsIy\\UmhVXjltujhhtMy]\TmfFTJi@tMyc\TmgfTJfXs]xy\Hm]FQJgxryyQ\?mcFNzhPsEyE\Km`FQzg`siyK\KmafQzf@tYyo[ym[fTzi@rUxm\QmgfLjhhrIy[[smffKzg`q}yK[pmafKJd`ryx[\?mUfNzdHsEyE[jm`FIjfXqYxy[gm]FHzcXt}xI\`mQFWJblp}w|[_mPVGZbPt}ww\`mLfWJaxtYyo[XmKFTzjHpQwk\ZmlFDZjhpEy{[RmmFCjjHpAw[\ZmlFBz`htywW\[mDfVZ^LnmvtZ{l~U~Z^|oEw@[Am@v@J`@nMvi[HlyFAj]poUvm[Fl{F@jL|fEr`Xwk|U]ZNdfmrzY@l@u_jvxvQ}A\un_F\ZpHzY{U]wnDFlzopzY{O]wnBflzvxwM{I^@nAFoJo@ze|u]An?fmjv`vu|{\~n]f^jnPze|u\{m|fmjvhv]zq]{n^F]JlDuizR\jmuvZJltvAz^\pmxv[juXyE|i]anYFgzu@xy|a]_nXFfzr`y}{y]mnLfjZsxxa{s]hnSFeZtPxU|W]VnTfdjqPyQ|K]SnQfczpxuIzG]PmpfcJkhwqzM]MmrFbZ}P{I~g^Cnxfoz|H}}~U^pntF{J|`}Y~O^mnrfzZz@~q}m^zn}fuZy`~a}k^xnif}jyH}M}e^dnhFxJzh{y}}^OnnFrz{@{m~C^LnofrJx@|i}w^Incfuz}h{U}M^vnbF|kBw@}@@?`_NoGWCDbYppWvk[uMzFToUwN[EmDVAJ`MAx@P_iOWWISD}At@J_jORwJCCuAd@F_iOQWGcDEAD@N_^ORWGCCmAD?x_]OOWFsBmAL?x_]OQWGcBmAl?H_lOBWJC?m?D@^_BOWW?cDu@X?r_WOLwDsBU@K~|_TO?WDB~}?h?`_KOHWAsAM?t?N_HOFwAC@uDw?f?S_IoDGA[@UvHZelquxz\LmasNYGlCuajPdgm|^]lnVVijtdym|N]hnSVhJstyU{\]LnEVbzqDxFBY`~ovg_KOIEzB{`iouG^KLYFvBO`rosg\[KyFRBM`qowGY[MIEbBq`eoqg]{KaFjBk`co{GXkMyEVBC`lopgZkKIE~A{`iooGZKLYD~B?`ZomgVkJaD~BC`\opgU{KIDrAm_roigK[IqBJBw`Qo~GTKNiDNA]`~p?gS[IAGBAW`rofG\[HiFRBq`Hodg]{HQFjBm`Fo{GQKMqCZAE`ooag[[GaFJAD`?o_wNkF}BvAo_zokgNKJQBjAm_voigM[IqBb@i`YoZGUKEaDfE_\FmcvQJhTsqyV^bnqvxJ{D}I~B^^nnVvZzT|q}vbXPhwusYmLhEhbRPjWtSZELPEnbOPnwsc[MLDF@bQPmwsCZuLDExb^PUWjc[MItF@bXPSwusT]LhDTaePnWvSTELpDNabPjWhSZEIPEna\pNwfkR]HrCtaVPewrsRMKxCpbIPIWrCQuKlCjbFPHWcSXMK`CfaMPbwcCXMG|EPaLPaWpcP]GpEJbCPCWpcPUKTCRbMPBWrsO}GTEZaAPdW_sXeGPEVawP]WmcVmJdDvb?PZwncUuJ|DjaqP_wosUeJLEDaaPVwkSSEJ@DBciQMXF[b]PjGrcWqRgzKdIMvHObjqRgyKdIMjHObhpqhHKcqM^FKcdppHHK[aQZFEcdqNHBkcAOrG}cLqCgzk]AOnF]cIqBHG{`AQFGMcap}h?K^yOJF{c@p|H?{_iNrFucCqHG|{aaNfGebwpyHD[]qP^FicUpwhB{aINNG_bqoiwT{IuDbAt`Xq]hT{fqTfHwdWqcXQ[hUSVINdEqiHOkiiSRIkdBqjhJ[jIQ~IocmqiHI{iqQrIiciq[hS[iYRnIccyqdhLkhiRbIWcvqXhN{eiSFHgd?qfHKKeQTBHadNpaWpkWmK^ERbGpdWrKX]K~E\bLq{HUknQTrJqdZq~H\[oAV^J}duq|h[kmaVvJed{r@HZ{oYVFKAdoquH]KlqVjJYdxqsxY{lUUZJPdfqph]{kiVvJGd{r@HWkkAWNKAd`qmh^kjqWBJ}d^qQXHkcmQ^HRcgrNxg[sEXrK|e\rPHcKsaXJLEePrPHb[saW~LEeMrDHh[paY^KUeerQh`{pIY^LKeGrJH`KrAWZKmeDrKhc{qaXnKieYrZhiKtQZfLoehr]hlKuqZ~Lie}rVHmkuAZrL]ezrThk[tiZNLWeqrbHq[xY[bMMfIr_Ho{wI[RMCfDoNWF[BeJjDpaxpZwl[UuQvH^cmqTxJKdUXZKpeVrHxd[qe]PM|feRoXxSz}]DMvfbRmxwcze\dM|fYRoXuCz}\tMjfVRlxtcze\dMffYRiXuCyU\\MffSRixtcyU]DMXfbRfXwcxm]PM^feRgxxSyE_S?N?H_CWV[JeDnFzb~p~W}k^]NrJ@daqoxV[j}TzLPehrTXi{tmYrOggVsKiDlBA`VOsgQsMIC|BY`FO[gSsGIDl@y`VOagJsEiC|AQ_rO[gGsGIAl@y_fOOgJsDIBL@i_fNMf~rsi?[|A_BNwgVsKh~lBA^vNqgYr|iFK~Q`nOIfur{I@{}y_ZOIfrsBh|\?q^ROCfpsAH{l?Y^BNYf~rvi?[|q_BOCfiruI@L?Y]nQY?C_Ao@lDacvP[hNsUiRlDIcvQ]gjsTIRlDAcjPKhKsRiQ|CYc^PIhHsQIQLHQaBQWgasdiG\Gy`vQQg^scIFlFYcFPyhBs]IOlFqbbPsh?s[iN|GabVQKgvsaiLlDybJPagssWIKw?{?e?P?F_CoALMyfPR\hoSzY\TL}fDRhhrSzY[dMmeTRbhfSxyXdMUeHR\hoSqYWtL}d|RVh`SuyWDLedpRPh]StYVTLMdDQphQSjYSDI}dLQrhZSiyUdIc?Q?L?D_AO@W?uh`N~g@s?Y?l?e_NSmiNtGidlQihBSciVtIId\QYhZSoiBtLI`\RIgRSciKtIIblQYgvSaiItDib|PIhBSKiZtMiaLRag^S?iWt@IelOIhfSwh}tMi^|NihnRnhxs{Y^LN]fjQNhHscYQlHecnTGi{t^IhlViiVUAint^ij\WAizT}iit_ijLWAinTMi{t^Ii\ViibS~i_tNYg\S]iJTeiytYim|UajfTkiotXImLUyjFUmjAtkipLZAkNUUjPthir\XalJUQjNtdIsLXAkzUgjDtjIp|YikZV?jbtpIx\[ImRUsj\tnivLZqlnRhhusyym|VUjfTliwtZyzD]UnPV\jlTxyzD\}mxVbjlTwYzt[}nDVPjoTrYyT]UnPVVjiTxz@DQuh^SjjPthyslXulBU^kIUAZBD_uolWJkEUCZ@D`MoTWNjtU@Z?T]}nXWFkFT~Z?D`Mn|WPkIT|zBD^molVxkAT{Z?T^UoLVrkaUHJF|cIpBX?kPuOJB\`yp~XAkMuKjFLbYpzWsk\uJJC|aipbWmkSuTjGldiqRXWkbuRJI\ciqbXMkiu@Z?|_MqxXhkuUVzKDemrDXjkuUXzKdeep~XBk_uZ_?Tfmr_?Ek~_@JMTfs?HXsk|_?jNDf{?LXuk}