CAT(2600,8)
Sparse6:
:~?gg_?O?G?C@[?i?N_J?CGAo@I?k?P_I_DGAg@M?\?L_EOAw@[?m@K?G_Ao@g?{?i?R?q?Ao@W@K?i?L?F_COAG?s?]?T?H_PoHWCcC[?H?C_AOBG@c?y?Z?M_EoT_A?Bq?_?|_Z_BwEo?}?c?r_G_KgAOBU?a?s_[?DGFG@M@u?R_\?DGGKCMAD@j?aOPgGkGcB]@t_w?\gMOFYBa@u_y?\WMWFUB\@m_vOZWLcEuBX@j_topOS{IaDTAh`UOiwTkIyD^Ao`WokgYwHyC~A_`OoggS[IQDJAe`y_yO]CMgF^Bs@uo{o\sNCFXBq@towG[KMMFDBd`qOyG[{MYG_C@a?p?w_SOMGDBz`|o~G^cOAF~C?`~o~g^kNyFzBt`{O|w]sNiFrCVaJPGWcCP}G|C[aMpEgb[PeGpCQaHpCwaSPQGjCPaGpCGaCPQGjCaALpG_bSP[HHCUAPpGOc{Q?HLC^AQpF_ckPsHHCbAMPEOc{P_HLCDaAP@w_sOmGTCHaCPBw`sOuGXDo@jotwZKLaErBW`lOvGZ[LmExBY`movgZ{LuE~B]`hotGYsLUEdBP`gosgYcLMElBT`YOkwVsJuDxAz`\OmWVCJ]DlAt`^ooGW[KQEBBA`aopgXSKeEPBF`dorgXkKqE^BO`ooww[SMAFJBcbUPjGtsYuL\ElbVpjwuKZALbEobF`fwpoXyKqEYbK@egqwX}KkE]bM`dGr_XUKuEQbL`cwqGXuK_E[bF@aGpwWaK_EHbG`aWpgXaKWEXbJ@bWp_X]KSETbD`dGpWXIKeEIap`[WkOVAIwDsay`VWjWVMIsDqao`[Wk?VAIqDrak@[gjwVUI{Dsaz@ZWmoUqJsDda{`XGn?UeJmDgat`]GlOV]JsDfa{`XglwVmJ[Dzap@gGkWYALAD`bO`WGsWTeLCDWan`gwsOTyLIDZbQ@UgsgTuLGD[bR@YGsoUeJWEfau`iGt?U]LMDeaq@iWkgYeJSEiat`iwlwYmJ[EiaS@^WdGVyHeE@b?@KgeGV}H_D~aV@^gdwVuHYD{aU@^GoGQmK?Cib@`RWoOSqKGDMbA`Rwo_TIKIDRb@`SWoOTAImEFaj@`wi_WYIiEEaY@PwegSYHmDDaZ@PGhGReHoDGad`NWhORqIECza`@MgfwSEH{D?c`?cwQSHMCdAT`IOdWQcHYCnAV`JOeWRCHmCtA\`MOeWRCHuCxAZ`LObwQKHACbAO`Fo`GO[GUCLAG`Bo\wNCFmBx@y_{o^gNkF}C@AA`?oagPcGmC\AL`CofgRsH}D@A_`NogWSKIMDDAb`POhGScIYDJAe`QpIWdCQmHTClaUPJwdsREH`CqaXpLWecR]HlCwa[pNwfsRmHtC|a]Qm`NwhmR{IYc~aeXNohaSAIVd?AdhOGhuS?I[dNA_xRwgITAIBdOA_hSWcyTCHMdQaRxS_c}QaIfdRASHIGieQ_IgchaixIOiiQeIlchAjHQgdQSgHSdDaTXPOdUSYHVdEAThIwg}QkIMckacXJ?hASeHXckAchTgeYTWHecraiXKwiaRQIbcsAghLWiURSIcctAhhLWi]ROIjdTAYXL_jeToHkcuajxToeuR]IpcvAkHLojIR]IrdYa[HU_fETmHodZA[XPWb]SSGudEaMXP_baPuITdIAMhQWcEQ?IQc^acHFohEPyINc]AbhEwg]PkIEdCaMHP?bePuIFdBAMhGGgUQ?ICdCaNxP?byPyIDc]A`HDOcMPUHAcUaPHD_cUQMGncbAJhEGcaP_HHcXaQxEOciPiHLcYARHKGamR?GicoaJXK?aqRCGncpaJhEGeMP_HacXaXXEOeQPgHdcYaXHUG\]T_FUblakwzOjIMqInbkAjhUg\}TgF]dZ`vXUo\qTqF`d[@wG{_faNIHwbra]W{ofeNQHzbsA]hNg]mNSH{bpa^W{OfqRuFlc|@zH?wcMOKHAcGaRXA?cqO]HGccaBhHW_uQSGKcbaAhGo_mOQHDcCAPG}GiMN_Iab{ahxSo^aTQFvbzAiHTO^QTUFtdU`{xT_^IN]IdbvAhG~ghmNwIYb~afW~ohqS}G@dNA?G~WiENsI_dJa?xQo_IOIIXcAAeGxwdiM[HYcn`tXJw\QQ{FRcm`shJ_\EM_HZbeaVhJg[qQwFJbdAUxMOZ}RcE}cz`qXMw[aRkFFcy`pgwgfYMGHtb`a\GwOfMRgF@cx`oHTwZUT[EsbZakXU?ZYLeIrbXAkhUgZeTgEwb\AlxUoZmTqE|d[@nHCg`MOcGccOaEXC?`aPMGTcRADHAwaMOkGacMaFxB_`yOuGgcLAIWIKDAAf@Q_iOTWKSEQBF@c_poWgKsEUBT@h_sOXwKsEUBP@f_tOYWJ[DiAz@[_koUGJ{DyBB@__joTgKsEUBT@h_sOXxx?FAB`@q_wo[gMKE}B^@s_xo[wMcamPTGlcUQJxDsbEP`GrcXQLXEcLEEdBS`hotgYkJQDfA}`]onGV[JiDrAw`ZolgUkKAEDB@`^oowWcMAFBBb`pOxW[cM]FLBf`rOyG\CMeFRBi`tOzG\[MyFZBk`tozW\sM}F^Bs`xo{G]CNIFbBq`wo|G][OQGJCFaBPBw`sOuGXCIaDpAW`COUGHCFaBPBW`cO}G\CHaCPAg`[ZULhEvbZPkwuSZeLpEzb\PnWvd@E_`ORgHSEyBT@e_pOVgJSDYAd?S`ROCGSSIq?|Ag_LOHGUSJQ@D?k`^OIGVSBAEL?s``ONGXSBaE[~__dNwGHsC@~[~g_bOTF}sD@~d@W^vOVF|SE@~L@c^rOYF}SEp~k{g_zNJGMSH`x{{w`NO_FeSGPxk|K`FNQGPSFpyK|?_|NHGQrqACdBS\zM{GYRnaE|BW\~NFG[sM@ws{S`~NCG^RoqFk{G`xN@G\roAFSxK_zMQGMSFpqSxK_|OaFJsGpqtAC[nO_FJRdQC{xO`LMSGQrdQCczW`PMuGSsIpu|Ag\nOnF\sJ`vTAs\rOkF[SKPvLB?\pOrF\sK`vS~{\VN}FTS?Ptl??\XMtG@rlA?SzC^|N~FWRkq?KzG_@OBFVs?`ts|S\HNSFQRvptK|w\PN\FRrh`zcyc]vMgFlRhpzKyW]pNVFQrt`skxw]VM]FdRrPs[{o\DM_FfrgPxsx{]bM^FgRs`sC|K\BNHFPrq@sSyk]LNFFTRnptkzw\XM|FYRn@ukzG]DMrF`rkPwK{?\`MnFarj`wcxC^NMOFrRbP}Kwo^`MJFvra`|swW^XMFFuryppK}g[PNhFFry@pst{_LL]GBrUQ?d?SYpOHEorWA@D?kYnOIEjRUq@{tg_\L\GErVA@c~OYVNrEdR|pik~WYhNtEhr|PiS~OYbNrEgRRp}Ssw^dNvEer|`hcsK`jLAGYSL`gDB[YBOwEcSMPhKsS`zLCG]SMpf|BgX|LFG^rPaFsxoXNMZERRfPd[xsXTM[ESrepdCq{[tKmFKrJPrSxcXXKpFKRK@rCpc^@KWFoRDp{K}CWlKNFprB`{SpC^JKOFqRwpa[}GWdNdEIrx@acn[^^JuFvQ}P|[n_^TK@Fsry@_Cnw^`J~Fwq~P{{no^LJyFurz@^[lS]jNSDiQtpz{lW]|JXFlqu@zS|sUtJZFmRu@Zklo]rNVDhrt`YSqSZZKcEuRGpl[qGZTLdENrX@bsu[WvLeELRY@bcucWzK`EprG@kSoKZnKAEzRBPmKooZ`KJE{rA`nCu{WRKGEvR@pmkoWZhKDExr@@mSmK[FJaF@R`P\Km_[HL|DqR^@[kvkVNLyDrQwPn{m?Z|M@Dnr_@ZsmsXvJkE\Qzpe[mwXdKxDwrM@]CnKXnJqEZRLP]krOVhJjE]rN@\SjkULIyDbqnPXKjoUPJJDaqq`WckKU^JADfQnpXkkoT|J@Dgqo@YCBy@|@?_^oOGF{CEAB@B_`OOwGSAY@N?h_SOIwDSCQAH@E_aoPgGkAq@^?m_WoKGDkBY@n?r_XOLWEcBe@p?z_\ONWFcC]AR@G_coQGG{CuAX@L_eORwHsC}A\@I_dOQwH[zq\zNEfbrpXwc{M]DN@f_RnxvsHeCpA\`MOewRSF]Bt@x_}O]wNCFyBzA@`@O_GN{GQCFAG`Bo`gOkGMCHAF`CO`gOkI]DNAg`SOigTKIiDRAk`TojGT[IuDZAm`VOkGT{JAD^Aq`WokgUKTeIpDbapPWWkCT}I|D\amPUwjSSuIXDNafPSwiSTEI`DTaiPTgi|[CnRVgJ_TpQ{|[OnLVdJatxAwd]KmFVaJ`Toq{L[Gn@V@JntvawDYwnjUmJyTkA|\Y{nTVlJXTkQ|d]{ldVmJWt{QuD^?l^VrJXt{au\]Sk~VcJNTxaslYOnNUbJstga|DYCnBU_JoTward]KkzUfJnthazt\[kbUOJjTeqzlXgmxVXJKtuArDX[mvUUJlTdQy\\GkhURJitcaydWgmVUIJdTrQpt[okZUNJgtsAp|WomRUJJcTbaw|WsmLUKJftaqxtY_kRUgJCTjQolYokHUlJBtjAotYkkFUAJTTiqoLW?lTT~JStiQntYSjvUcI}TgqnlYGjzTwJRt]AstVgk|TxJNt]arlVckxU`I|tgAndVOk`TtJGtdqm|XWjlTrJITdQm\V[kvTuJLT\ArDVSkrUQIxT[aq\TcnVTWJtTTQ||TOn\VlIltUa|dT[nbTUJwT{qjl^GixT^JytVa}dQUhHSmiVtJYddQmhTShiSTHyctWCg^U?IFTCqolPGkHT~IETBQntPSkNSSJBTCQo\WGg`SVJCtDapDNKlhRqJYTmQ\lZ_fXRpJZs{AutZWf^UvHvSyQulM_ljUxHttmA\TJslzQ{J]SoQvtK?l~UzH^tmaVtZoeFU|H`TnaVDJcl~QyJ\smqvT[{djVMHYSjqxlIwmXVFHZtpaUtIsmVQkJdSkqyLJGm`QpJcskAxDFCjbPoIwS[qmLFGj`TkG|s]aldFcj^PwIvS\ql|UwblTlGytZQMdUkbVTiGtSXqk|EWjLTjGstYaLDE{jNPmIrTYQKlEOjPPkIssZQlD\[aZPKJjSRazTC{mvVWGhTuQI\\KajVQGiSTqylDWmhPPJmsSAzdCCjFP?IpSOqkLCGjBTcGdSQqklUGaPTbGctWAG|U?aLPDIqsPAkdRObzStG}S`aetG[hnSrHATKaOlGKhbQAIWS^afTF{hvSxH?tMAODP{iFS]I`TFQg|PoiLS|IPtGafdR{gvS}ILTGQglQ?iHT@IKtOAbDLoenR\HjSxQYLL?fHRZHrsua[tMKerRaHkSsq[LLGf@R^HisvaYdIKifQaIhTQQSlS_dHTLHStRATDSkdBTIHOSiqiLIgi`QfIfshahtHkeNQYHbSpQRlKOcxRNHJsdaXtHOeXQTHeseQX\H_eTRHHNsqARtGcgJQGIAT@qP\OWcTQLI@t?aPdHCgVQOIDTAQQ\O_cdQNI?sba_DDkfnPYHzS}qK\EGftP`H{s}AKDNSa~RsGnS~qJlNwaxR|Gks~AJCAA@D?`_OOGgCKDEA`@R_hOTGIkAM@F?d_QOHWCcb]PlGxc[QMxFSbuPxG~c^QOXGCJ}E@BC``ooWWSKYEPBF`dOqWWkKqE\BL`dosGX|CEa@PBg`SPYGdC]aLPHgcSQyHTugyK\RmbFSjh@tUyM\SmcFTzgxtYyq\ImkFQZjPseyu\ImmfQzj`smyc[smhfLZjHrqyo[|mlfNzjPryxu\Vm\FTjf@tqxq\\mZfTZi`rYx[[|mVfNJeXrUxc[smWfNze@ryxm[nmVFLjfHrMxo[qm\fKZfPrAqm[gkjFIZJhqmqw[iklfIJdHdiqq[jkkFIjd`dyxYX^mUeWZd`eAy}ZqmnE{zlHnqzOZ|mre}zkpnizIZxmqE}JkXn]vk\alyfWZk@nQse\^lHFVjRhuezOY[mreezkphizIYXmqEeJkXh]sk\alIfWZQ`uAr]\`kvFWJkXfero\amqe\zk`fYri\fkyFXjMXuerc\gkwfVzjpfAy[XameeWziHeqy_XlmfeYzhxeirM\MkrFRZKhsqrG\KksFSZLHtAxCWtmPELJFhq]pw[ek\fHZFPqUxGWrmPeKjcXbexGWwmReLjcpb]o]\DkFFPJBHsAy?WWmaeDzg``YyEWTm`EDJAXsEoc\@m`eCZgP`AuiZfliExj\hlEvWZOlverz\pkyvUZRltEsjYxmeukZglke{ZZ@nAuEYxl`EmJUxk]tkZEl^epZVpkQuUY|ldEnJXhjmuWYylceoZW@katYZ~lUE~j_Himw?YilYfAZU`oate[FmBEkj_hjEwGYom@ejz_PiytQ[KlSFBZ`XiMtC[ImHEhjaXi]s}[PlNFCJ`xiUw[YclOfDZS@pQsMZZllE`j[hhEvGYOlpebz[PgyvAYLloEbJZxgmsSZ]lCevZP@lqryXJk}EQjIhgUqgYCkhe_zIPgIqaXzkgE]jOHc}s?XMk~eRZNpcqwmW~mJENjbXcEwsX?kcfFZH@pqqM[XkbFEJbxcQqI[]mOeOzGPqAoIWZkAEEjCh_mpGWIkCeGz@@aIoMW`kBEGJBx_uo{WKk@eFZB`_InqWfj{EHjDx^}n{Wmj}eJY~`aqnuWjj|EIjDH^]pOVukWe?ZE@_A?|?\_NOFWB{@}@X?l_WoKGD{Ay@L?f_SOIWD[AiJJDcaupZGlSUmJRDgarpXgl{UyrFXakquXJK|eYrRXgktuYjLlerBU`YolGYkKQDnBE`ZooGVkKID~BQ`^osGVkKqDvAw`foqgV[KaDrBY_vouGLkLyBfB[_wowgNkFyFBAA`ro_G[kFYFV@s`sozgN[MqBr?_`SoGgTKJI?^Ao_EoCGT{@IDZAm_JojGAkJA?v?W`XoigBkIi?~A[^noffzkHx~FA[^onxgSZ}QDA~i`PnyGSJ}yDI~k`Rn{gSz~ADI|e`bnXGWjvYEVBG]yorfm[KpzbB?]voofljuiEe|g`gn]gYkLXzq{u`lnLGZJriE}{w`mnNG[ZryFA|A`rnOG[jsYFU|C`snQg\{MpyR@U^zoTF}kD`~q~y_ln~gJz~qAz??_oo?gK[?YBJ?C_roYG@KEi?V?}^VoNFtkCH|f@?^WoPfu{CP|i}y_dnmGHJzyA]}{_eoSfwZ{AAa|}`Dn^GPJwyCM}K`Aodfp[HP{Q}E`Hn`GQJwIC]}?`EncgRZxACq{]^JndFbjqH{u{_^KnHfrzqP{y}a]TnIFsJyhx]}g]UnhfeZyPxb?e]Bn@GCjoi@U{G_SnBgDzoq@Y{Y_\nEGFJpY@m{S_YnCgEZpA@a|Q\vnSF\jnHy]|K\wm|FijnXymzy]lm}FjJnxy}z{]mnWf_Zu@wA~E\jnpFYj|Xuu~S\kmvfyZlp}a~M\pmwFxjmX}Uzc^cnuf\Z|`vQ?n?W_KoEgBc@mDhAr`ZOlWVCJ]DtAx`]OmwVsJvFucSp|HDK]APVFacTpxHDk]YP^FicVpyHDk]yPfFkcWqKG}KbINfGubLpeHEkXyPrE[c\pgHFkYIP~Eec`phHGKYiQNEgcapjHH[YyQRCIcYqLg`KbiG^GwaEpFhHKPqQVCYcapEHG{cIGnH?aIqNga[bqGbFyb@p}GoKWYN~F{bAqBgq{_qKjGIbHpcH@KWyONEKcApah?[WaOBFIatpqGlK[yJ^FKaup]gy{VaMjFQa~psGnk\yJnDsbmp[gz[VAMrEyahpmGiKZIJFD_bWpVgu{TqLjDYb^pnGjK[IInF?aipXgw{UQMJCyaRpMGckRyHVC{aSpJgg[SAHZDEaXpPGeKSiHnDGaYpGgh{QAIZGa`|qGG^KOYOnCCcIp?hB[`aGBB}cNo~HBk`IFnGO`yo{hC{NAPIBp@y_{o\wNcFmB|@|`?O^wOSGFKWdUrEHT{jIXFIoeOqohc[kAXBI{eNqnhbkpiTrIyeLrFhU{pqTjHYeEqUH`kdIWbHOeFqThaKdQW^KQcnrChJkeIWnKScoqRha{cqWjKCdmr@hZ{miWFJge?qxh^[naVJJ}dvq~H\koaVFKIdoq{h]{nAVjH}dLq^HRKhYSFISd?q`hR{gQSzIIdPqaHSKgyTNIcdEqchT[hATRJQcrqsHKkeiUvHgdkqthL{lQRZHqddq[HXKkYRnJCcyq]hX{faUYAb@O_hoSgIkDRLUfRrTHskui\FM_esrhhk{yQZJL_fPrgHk[xyY~M[emrUhr{ta[zLAevrOHlksYZfLCewrNhoKwIXzLIe~rQHnksyZvLKe{r\hi[vQYbMQeRrcHckwYXvMCe[rLhp{rQ[ZKqfDrKHpKqi[vKgfKrdhd{qq[i@Z?m_VoKWECArNof_roh}K{Q^rNEfzr}hyk~i]nNsfgr{hy[~Q]^Nqferqh~K{a^nNmfTriH|k|i\~NWf]rvhu{|q\jMqfrrkH{kyy^VMkfsrwhv[}A\rO]f~sFH~l@I`VOOgSsEi@|?q_rOIgJsAIAlAI_FO_g?s@iC|?Q`I?AgYSLo?tBy`]?Cg]SJO?tBiaE?Cg[SOYEDBG?F