CAT(2880,5)

Sparse6:

:~?l?_?O?G?C?c?H?C_AO@W?k?U?w?Z_LoEwDgAE@D?c_PoHWCsAm@N?k_SoIGDSB{@[?t_Z?KWF?A}@_?r_Z_JWEOBQ@s?~_\_OGGOBeAG?}_`_NGGGBuAa@H_aoPgHSCaAN?^_OOGGCC@}?~@t?joUgJ[DaAx@X_eoSGH[CqA^@M_j_SWJ?DIAu@R_k_TGJODYAw@T`M?FgBc@q?z?]_MoGWC[AY@D?c_QoHwDCAm@X?h_TOHwDCAm@X?i_SoMWFkBy@v?y_]OTGIkDIAf@U_goq?WcKAEBBD``OowWcKAEJBB`_oogWsK]ENBE`bopgV[JiDxA|`^ongUcJUDlAv`[omGTsJAD^Ap`XokgQsH]CtAX`LoeGVWH]DwAW`]_dgVOHiCqA~`L_ngQgJeDgAS`G?lgQWJaCaAt`H?lwPoJECYAm`F?jwPwJMDcAL`F_kGPWIICOAb`Q?aWSwGiDKAK`Q_`wQ?IICaAb`Q?cgSgHQDMAT`R?cwRsH}CzA_`OofGMKFABf@n_yO[gW?EeBSBC``_ZGWGEmEI@m_u_ogKwIqBGAg_q_iWKWIiBKAl_s?iwKOHyC}@_`M?VwJgIAA{A``M_WWPWGICMA@`A?aWOgGiCKAK`@_aGN[FqB|@~_}o_GNOIqBqAj_{?iGTOFUDY@v`S_\giOGuC^AM`GOcwQkHQCbAQ_moWGJsD}BB@a_nOVwKCDuBD@`_poXwKcEUBP@e_qoWwKcEYBP@f_tOZGLKEmB\@l_wO[WMcFIB^@r_wo[wMCFIBh@n_}O^wN[FuC@@}_yo\wMsFaBt@xbAP_GoKWIJ~EBbF`]wpWVeKWDybG@^gpoVqKYD|awpZWmSU}J\DoaopXgk[UIJHDdai`]WioVmImDyak@^GjOVyIqD|ae@`gi?WeIYEIbA`RwiGWaI[EFaz`PggwVQJoDGad@[whGVUJkDJae@ZWloS}J]DPaw@SGhgVII[Dpa\@PgfWS]HwDGac`NWfwSmH{DIa[@XgegUEHkDaaZ`Wwk_ReHgDdaS@XwdGUeJSCiat`Iwl_QqHYDgaP@[wcWVQJiCcaz@HWn?Q]JmCeaM@^wc?WQG{E@aN`_goWQEGyE?aH`Tgj?PAGiDVai`CWa_TeGcDYaD@`W`WWYGWEFaE`aG`wWiG[EHa_`@WgOOQGMDBaC`OG`?SQIICE`~@Xw^wUaG?Dhat@?Wl_OMJUCA`{@Sg^GTIFsDRai?~W^_TQFuDR`x@Uw]WTqFgD\an_|W]wTyJ?BubD_wWp_MUKYBabF?ww[?XAK]Bc`mOugZ[LuE~B]`forgYKLAEfBQa_?qggGKmICBL`c`OwX?SUIGBK`i`UwYoTuEmD[an_uWY_TyJ?BW`u@JgdwMyH_Bn`u`KW]GRMF_Cq`t@Dg[wPeFKCW`t`Eg\GPmFOCV_JODWA{@i?p?Xc`?NWFSBm@|?{_[pMWecRaHnCtaZPCGaSPMGhCTaGoyG\KMmFTBe`rowG[KMIFFBd`qOuwZkLyE~BY`mOtwYcLUErBU`kQ]`KseeRTHfctqYHLSeaRNHhctqXhI_eyQmHocia[XJGe}ReHUcxAUHK?daQgHdcoaUXIgeIQmHbcjAXHI[dIQ\HNcgqSHHKcqQPHIceqQxL_cIRYHCcbAZXLgcUQMHkcuAOxFkcEP|G~c]QOHLobePsHpcvaMXFWfAPuHrcxAMhEWeyPgHpcYa[HMWbaPkHncxALxK?auRIGncWAXHKGayPcHacWaWxCwcyPOHNcgaIXIWaiPWHOchAIxH?`UQQGUcdAEHHg`]OsHKcdaEXAOayOaGncWACx@wbEO_GlcXADH?[_YOJGCcCQ@w|_diNYHZbvAVG|wduQ}FjbwAVhF_]UPyFec^@xw|?cEQ?Fic^`yWzwdiN?HZcm@wXJg]INGH^bpaVgys\QMfFTbkPtwv[Z}LzE{b_PngtkYeLTEjbVPjGsgbaLEGvcY@hhEWY]PiEgbQALgqOcMQMERbIAPWqocQQKEPc`@dW~W^uN{Fvb~`}G~G_ANwGAb|A?WzW_mMqGHbnABWzO_iMyGMbmABGwwaEMOGabcaGwxOaQPKFKcQ`qxBWZiLmG[cN`lgv?`uP?Etb[aFgxgZAM]Erbf@kWy?ZIL]FQbg`lGrg[EMCE^bO`oww_YAMKE]bP@pWrW^UKmFpbK@{grG^MKwFubL@|He_bUPlGscZqMHE[GaCVAF`EOaWPSHmCnAX`JOeGRSBA@\?n_UoKgEKBM@n?u_[OLGEk_iOVGLcEQBh@KYULFEcbRPiGs{ugYpLXelRVHjktmYwL]embVxjWuAZALWelBWxjGuIYRLEebrQHh[siXsL]e^BWXf_t}XuL_e^bWxfguIXhKweZRMXe{rURtH|c|q^HN{fyZ?KjenBIHdOuEY}KheUbWxkOqqYcK[ehbFXi_pyX?LVejBGXigp}WuLFeKbPhbOsiYUKUeJbQXb?saWTKJeERBx`souXcJqeWa|H]wrMXaJreXa|X]orIYeJPehArxXotQYiJQdgBThYWt]XgJGe[arXeokeUSKvddbLXf?kqUEK~d`BMxfOkQXwJDe]apxfokYYGI|d_bPXV_sET{LAd^bOHgWkAYGIzd[bOXgWjiTkL?eaalxV?sIThIrdWQkhUkjEX[IcdSbJhdwiUX_IfeWAhhdwiaY]IWdLBRHRWsuY[I\egaeXi?hqY_INdFBRXiGgqY[IPefacHPgsqWaKHeCBCx_wpUWGKOeBBCh_gpQXCJwePa}Xc_niXIJzeRa~XconqUsJfdmAyHZomeUuJidtavx[oluSCJSdia_xYogEUqIDdja_HZ?gQTSJadoAix[Wi}VAIkdVAxXTgmQV[IbduAghS?m}S{JldNa{XSGnAV{IQdHa~xQ_oISiKBdJb?H_GhYRkIFdCA]XPGfQRiIEdDA\xPWfa_u?N_GOCWAS@Q?f?U_JoDWBC@i?rOlA_pOgg[SQIJD?abPQwg{SaIRDI_OoGgCkAM@L?c_doRWHsDAA^@K`wozg\cM}F`BlaLPDga{PaGvCXd?Q_XOkgISHIBdxQ{x]{nQVlJtduQzX\sm}VbJodrQyH\KmiVVJfdgqrhX{lAUfJQdQqhHS{ieTPIedHqdHQkhYSnIQhCc_iODFub|Q@g~sZyMdFMb`PpgxSZQJDD[bRPmGlsVALTDgbVPkGksVAJlD[a|PWGnsUQKDEGatP`Gls^qIdDCbzPQH?SSqOLGGajPUG~SQqNlCob|PLG~sRqODGGa`PMH?sYAHDEKaJPdGbsXAHTEWaRPEGrsJYETA}`\OogWsGYClAI`FOegQSIiC|Ae`POjgUS]QBl@wblPvGMSGAMlFg_vO^G{SEQKt@SbJOUGpsDqKd@_bNOYGsSRAATCs_fOSGfSDAH\D?_dPNGHsIqF|Aga@P@GUSOqDLCG`NPCGSSEABl@W_|OYGLsFqBL@S`@OVGMSJa@|?o`^OoGGSBQETBC_bOlGFSAQHL?gaPPEGBSAqHTCS_NPFGCS?ACL?C`DOAGPs?qCd?S`LOCGQsZ`~C~SbRNsGtR|aL\Eo^rPlFzsN@}C~K`rOyFvRzqFtBk^bO|FxSSPzc|sadN]GiRvqIlDW^BN_GhrtqMtFg]vPxFlRuAMlF_]lPvFkrqaJk{ka|NKGoRrqJ|EG]\P`FerpAF|CC]LP?FarpqG[{caDNGGaRlQE[zG`hOtFZsL`u\B_\lOvFYRiaEcyW`fOuFSsLPs|B_\VMgGZrehr[xq[~M]fMs]pptFo[^MRG}RcQNcxGbvMOG|sMPocw[`vO{F@R`aFswS`tO|F@r[aL{vSbhLrGwr[AMTF?ZhLpGxry@{S}o^NNhFpry`{c}s^JNjFrRn`yC|K]DNQF^rt@wK{?]bNTF`ra@sCwc\BMLFPra`sSwk\JMKFQR^@~Sv{^zL|F|r^`~c~{[BN}F?Rd@msxSZnMUE{RdpnKvk[rLyFKRY`tcuk\ZLkFVRZPt{u{\bLmFWRXPvCuW\rM{ErrnPlCuO\tLhF\t[pFkcAPxG}c^qOWLSEmBR@k_uoZgrsXuL@E^bOpggqKXYKdERbIPdXsKyQ\@MafQrgxmsveZpLve|R]xlsuiZVLkeurZxkkuQZNLgerRYYtxXmkxUWjLTeYq|XQkdUUjHtcYqlYkkZUkJFtbAtLYsk\UmJGTaqtTYsjxUmI}tiQntVclTUkI|Tiqn\V]jhTwiyt\im\VcjfTsI|T\qndVSjzTuI~T]An\Wkj^UKIwTbQmTUsk\TmJGTbqmLGMcJQChCS`yOtYKizUcIlthQjdTwlLT_JSTVqs|S{kbTPJHtSAqdTOkdUUIhTSqqlSgkPTHJBtRQotSkkJUIIeTRapLYShxUbIZthAf\RglPSxJRtMAstPwjPS\IrtZAb\UcgtS[ItTYqbLVGg`TnIEtCQmDUwg^SQIwtZQ`tV{gNU?ICT_Q`LOgkFUCIET_a`\NSlRRuJTTja^DYkfnUlH|TjA^LNGlNUbHvs{AsdNClJRsJSS{qstX_fRUVHvTeQ\TXgfZRjJMTeq\dKkkzU`HesrArtKwk~ROJPSrqsDJ{kJUIH`soAotKGkPRCJCsoQo|WOdjT~HXt_AVDWCdhUBHZT_aU|YCcvQ[JMsgAr|Y?czQ]JNTgaR|GcjNQIIsTYQPdUocVQMItSbQl\P{iFS_IaTGQglQGiLTGIQTGqg|PKhVSSIUTDQdlPWh^SWIWTDqdtMKhJRcIRSxQc|MWhRRgITTIA[|LsgBR`IAsva_TL{gFSEHpSwA_dNkenR{Hksuq_DN{epR[H}sua^tLCjBRQIpSsqkdLOjFRUIrStQklRWeTRDIWtKaWtRKeNSsHctLQXDJkinQ{IlTTQVlTWd|QxIkSmajLI[dZQoHTsjaTDJCdXQqHSsjqTTRscjS}HJTNqQ|HciDQYI_seAgDG{dBQOHPShQQdIKcbQeHHShAQ\gC?j?V_JOEGBK@ise?H_EoAw@S?y?XY^?HOCw@{@A?b?S_CoBG@S?y?Z?J_HoBwAS@A?h?PeWrKxeSSqIZDMafpSWiCCmAX@L_foSGHsKeETBG`dorWXcKyEbBN`hosGYSfiRzH}c~q]xNchaSvIXdLQfXRcfYRhHxcyq]HM{fQRjHvczQ]XNDGMcJQChBSaIO|GacLQDh@s`yOdQUhLSfiSTIidLJmdtQ{h]sniVLJ}e@R@h`SpIW\JUdlQshXsmIU|GqcTQLhFSaYP\pGvs[Pl|fCZ]xpAvk[Pl{FCJ^HpAvJZclruxj\LmavVZilvUzJ\|muv[Z{ltE~j\`n}w?Znm?ezZ\XnuwUZVmEEsj`@lMuk[IliFBZYhoeuLZHlcUpzX\kiu?Z]lpepZZxkEv?ZAloeoz[PkQtgZKl[erzV@lAtiZLlZesZUpkyuuYqlkekjZPjEteZ\lXeuJZ`jEtJYhlRUijS|iatZYolTujJT|iytC[DmBEhJ_XiMtA[FlNf?jS@oQsqZ{lLE~j_@hqvyYZlNE~zRhoEsgZelJeyZQhmUskZclKExzQXmasYZ]loecJZxgyvEYNlHEwJ[PhEsWYDlBe_zPHgQsUYElDE_ZP@gIsiYNlJEbjQXhAsoYPlHEdzQ`gusOYjlCejjPXi}sWYolBejJPPiutIXzk}EhjNhi]tQX}lTE_JT@f}mq[GmEdvizXoemw[ImDduj``\uvkXtlze\j^@f]vqXwl|e]j^PferMZpkrE{J]PeQrEZrlyeYJKhnQtgXVl[EUJUhdetkXYkmEmZJXj]qaY^khEgJIXiEqgYakjEhJIhiMwIWtm@EKz_xbawEWsmAELz_pbYv_WllweJjDxnIp_ZrlyeKjEHnQouZAl_EFJWH`uo{ZBkNepZW`aAuoWTlkeDjZP`]uuWWkLEvZBHlquSWRkFepjXH`Qo_ZFldeCjAHkat}Vyl\D|y~@junwY{l^D}y~HjmtsVjl^D{JVX]qnYY{jvEny|xjunIY@jrE_y{xgInOYCjtE`i|HgUu[V`jqEsJXh]AnCZNjpesZX`\}w[VRmFdtJ`p\Uw[VUjkFByyxo}uiVQjeesixplMugVNljdsJYp\EmWX~k}DpzNh[ar{VHl?DqixXfmmAYYj`EfIwXhmsyVClNDpiwhhereXjkseZzLPfAraXkkyEZjMPeupMW`kSEGjDHaMpGWikREJJChamo[X^kpEBJJh_erAWLkoEAjJp_mqIV|kbD~jGx^}qOW?kdE?jHH_EnaXJjxERI}`cuniXMkgD|i}Xc}luW~k`DoIv`cAlyX@j^ePIvpcMliWxjZEMjFXZalmW{j\ENivHbuoEUqkADkz?pZQoIUokCDkYtx_^@KYFlCuazPDgisXX{k}u^jODf}rvYLlFucZQDhIs\YXlLUezRdhyszOTgJSEIA|@i_rORgISCiC|Aa`ROigUSIxFKbmPtGNcHQCHAK`QOfMIfCRaxpKwu[XNIferrHx[{}]\MAf@r`Hosw][JLceqrXxlKuYZPV\jktvIzT\ymvVFjdTrIx\[amRUtjZTlyvDZilrUnjWTkyuLZQldaKOvg`[LqGBCA`ppAG[{OYFBCC`qomGYKJiEfBW`]ongYkKIEvB?`jojG]kJAFrAq`|ojg]{JYF~As`}oaG\[NACZAI`so{gPKMqCZBm`Do_gKKFyAv@W`AoVGNkGAA~AE_pojgHkDYDnAk_foTGUkDIDfAo_go{gFKBqF^Bk_^oMg\[NA@j?u`so`gEKAiCF?k`AoIGNkGA@^@}_Xn}G_K?AGU~ya@n~G_kOa?E~}aBogFxKIP}VAa^enrgS{Ih}e~O`SoofwjzqDq}}`^noGVj{YDvB?^`nhGPzyYCa}g`HodFt[H`|^AU^UnbG`jxYGa}MaHncGajxQG]}QaJoefoKHh{FA[^Aoffp[Hx{RA[^Bn^gN[F@zi|u_xn]GMjviBq|{_zoYFkjuYBN@i]mnWgLkExy}|__qnSGZztIFBB[]inTg[ZtiFM|W`qohFhKI@yJAa]boifhzsiDQ|K`Ro|FdjrQFzBu]WnLg^{N`xfBy]VnAGKkEpw]{K_voYfa[E`wa{I_roOf\KCXvV@C\umxGHJmYAV@?\vobfZKH@uuz[`HodFZ{H`vFAU\omrG`zkyGazUaHmsG`jlQGmzQaImqgN[F@uB@q\ao\FWZkYBqzG_zmmgYjjyEfBU\[mlGYKLhtnBW\]mkGGKCHtR@C\ToPfTjjIAV@G\VoTfQzhQAYyY_fmcGIKDHsf@S\KmfgJJiAAuya_nmfGJjiYBEyc_oopFLjeyEMxo`cm[gXZfYE]xs`eopFHKKXqVBG[emRgX{KhqfBK[gmJG`zaQGbCK[TmIGazayGeweaInzF{J~P~E~c^vnxf}J}h~m~g^xmKfuJbP|ewo^YnmfEzbh|m}w[[nGGBjqi@E{e_NnIGCKAXxE{c_QnFfzj|Pwi~U]JnuFbJ|xwu~Y]Mo@F]JnI?Mzs_Cm|g@Zni?]zw_Em`FfJgXxuyG]]maffzgxyEyK]_nYFNJuhrux{]vnZFOJfxze|o\@oEFLZeA?v?O[poCfKk@XrN?S[smVfrJxhqixW^MmUfrzyHqyxU^Om~FFjo@qAxE]Bm~fFzcHwExC]A_BoAG?{?Y?P?E_CO@g?}AB@B_aoPwH[CdUajNTkistYylTUuj\TniwT[imKqyX`KnhGScyP|HIchQPmKVFJbLpmwz[YmcVQZhTsmyX\LmfVSJiLtIy^\RmXVLZeLrAxh[rmNvGJcLpyxF[arbHjCvMYxLzelR[XjsvUZlLbeoR]XgsqUXPLHeaRGxdcsmXTL@e`RHxaSwUWdMFeIR^XoSpEWhL~f?RCX`cu]WHLdeCRYXlso}ZTKFeuRAx_csuWLLPeCRSx`cs}YlKNeiRAxYcq}UlKpdkRKxZSrUU|KxdmRLxmCkeZdJNdhR\xYCvmZpJJeyQrXasjEW|Ixd\RExbCj]X@IteMQkxjCgEYtIBemQ`Xjsg]ZDIJeoQaXLCs]RXLJe_QYxgSe}YPHreaQ[XIstMYhHXchRSXisdmQhLLcgRRxoscMPpL|c\R^xoCbu[DH@fAQNxasauPlK^eKQJxbSbEX@GreMQLXkc_eOTLfcERYXlS_}Z\GReuQCW~cqMN|KdeSQ?XdS_MXXGFcARHwrcweK|MJbORawsSwe[PEfbQRawhCq}ITKpafRKwiSreIXKvagRLWccrmHLKzaVRNxfsQeHTK|aURNXRCmMVTIbdLQwX\CiEVLI\dNQxXQCnMVXILdHQ|xQcnUSlJpdFQzxGc^EQLFrcfP}W}cceNtHJceP|w{cneW@FlbrQ}x^c]eWDFnd~Pywxc`UM\GVbgQEWyS`mMhG\bjQFwusUeLhD`b[PWwkcZ}LxDjb\PXwqCduKtH`bHQVxKsXeRDEVcqPdWpc\uKTFXbBPvwzSWUNDENbCPwXCCVePDDzcRP^XDCV}PTEBcQP_WlcfUJdH~avQ\wmCfeRtDvayQ^Wjc[UMTD^b_PTWwST]MPDXalPpwgckUTxC|d^PNxWCSEILJFd`POweCYeHdElaYPjwesYmLdCza[PkWbCiUGtIfaMQjWcSi}TPC`aNQiy_DLugDR^hoT@Y[TO]fLSJhqTAYUDNUflQlh{SjyUdN}dlRzh}SkyKdFubLP~gsS_YLTGMb\QFguS`YYDFEbdRRgyStYMtL]btRZg{SuYXTEMaxRHheSWYWdDma|RNgkSpyPDCucTPNhESSYPtDMcdPVhGSTYVDCEdtPBgbSoyVdCUaPR@gdSny?dHU_LQVgCSeY@THmc|ONgESfX~DAe^tOjf}SJX~tA}`dOBgWS?YSC}EdDNbhQRxYSs}]dTNjhSRyYBS|u_`NTgHRtxzD@U]|OVflSEYFc{E`hM|gZRnxwTBe]LO~faSMyCCze_xMpgNRkyCczm\hOfgPRlxtc}}\HNlfwRhx}Sye\\NvfyRixrC{e[tNJfMRrXrs{}\DNRfORsY\CwufTMNhuRcY\sxM[lRrhwRdYvdP]gXUtiFTlyaDZel|SRiITmyrT[mkdVHjKTpyqt[UkhV@jGToyodVejtUFi}TaYntWmkDUNj?TbYidXuilU^jRTVyjDYEitUdimTgytDSelTTJjUTRYhtY}idUrigTkYfdUEh|TbiqTOYktSMjTTFisTPYfTQ}hHSpiRTKydDRUhpSjiUTLymDPmjXSXiPT\ymTQEgxTtivTFyxd^un|VVjhU@Yyd_]oDVPk?Try}Taen`W`jyUGy}taUpTVzj{UHy|t`unXW^kITxY|T`mopVfjsUDyzD_emtWJjpUCyzd_un@WPjnUBzGddEqLXRkcUTZItcmqtXNkkURZDdbep\WzkWUNZETb}qDWvk_ULO?TdqrQ?AknUYzL_?QrBXm?BUWo?dfIrNXo?BUX^