CAT(2880,3)

Sparse6:

:~?l?_?O?G?C@K?Z?N_FOCWAC@I@C?`_NoFwCCAE@@?j?SOIWDCAi@T?h_POHGCkA]@F?e_UoJwDcAm@`?m_WoLWESBQ@l?r_b?FgBk@qA]@B_aOPGG[CUAJ?v?bOMoHCBgAL?{?boMOHCB_AN?|_`OOWFsB}A@@f?SoIgDCEaBN@f_soYWLCEEBF@e_pOXWKcCsBJ@b?fOX?H[EGAR@e?dOR?KKDaAj@Y_joUWIsDCAz@N?oOUoISDwAh@[?hoS?J{HC@B?__Nof?PKGmCTAL`CObGPsG}C^AM`GOcGLsEqBV@l_voYgOwHMCGAP`G__gOgHMCKAQ`@_cgNcGEBz@}`?O^wNGHUCg@u_|_dWNOHUCg@v_{?dGM?GaBaAH_x?agMWGmBiAL_y?bGYg@i?v?X_KoEwB[@e?t?Y_aOPWG[AU@F?c_RoGgCsB]@p?{_[oMgF[NKFNBk`soyG\SMmE|B_`oOvgZ{L}EMBh`c?zGWoM]FOBI`c_yw\OKmFEBN`g?xWYGMEEcBa`h_xG[oLQExBZ`kOuWZkLiFKBV`i_wgYgMMEmBd`j?xGYoMEEWBN`h_rGY?KuEgBM`g_rgYOKuEyAg`T?uGTWLeDYBY`m?iWZWIqEMAs`c?lWXOJ]EQAx`d_mGWoJYC|A``MofGSCH}ClAV`KOeWR[HiDsB?`\_oWVgKMD{BC`a_nwV_KIDCAm`V_gwS_JADIAp`R_kwSoJII_?R_JODWAc@a?n@b_qOWgKkEEBL?[_MOFWBs@y?z@N_gOSWISDQAfAU`KodwRCHiCvDsAuPYGlKUmJZDiatpZWlCUeJXDiaqpXgkSU]JFDcanPWGjkTqJBD^alPTgj[T]IpDXaepRWhsS}I\DNadPPwh[SaIRDKap@PGkWSUIGDdaq@PWgoU]JKDEa?p?w_SN}GHC?aYpLge{RaHtCxaj@KGiwRIHgDWak`JwjWREHeDYaT`VGdOTuH[D]ao`JWdGUAI}CkaP`Pwc_SaISCdaS@QWh_QYIUCfaM`OgboSMHCDBaN`OWc?SEHADAaKpDwbcPiGvCWaH@SGaoTMIaCPai`DWi_PMGgDQaD`SG`_TEGYDQai`Bga?TMIgCNaCP@g_{OUGRCI`yO|W]sNaFfBv`xO{G\kMyF^Bp`}@NW^GRmFsC{`}`OGfoNyH}BzcH_Bg@k@A?b?Q_FpOWg[SIIHDEaapRWh{SyCRAI`DoaGPkGqA@?|__oNgGSB}C@@{_}o_WN{FyFrBz`}O~g^kNiF`Bp`vO{g\{MuQKG}c\QNXF[b}PxGmcWqJxECbMPdGgcSqIhD[auPXGhC_QIpGKcGPZGkCaqI@GcagQFGacQqHHC[a]PLGRcJqEHAc`UOlGOcGqBhAS_uO^GOcGqBh@k_}OdGBcAQ?X?k_YODGKcDQAx@C_]ORF~CaP~PGK^wQFG?Cap}pGC^oQDFyCYQLO~C^gPlFxCZqMO~C^cPpFqCHqD_}{`ONjFsCIp{pA{^WOpEebSPhwtKYQLJFkbupzg|{^EN`FiCOpx`B{][O~FgCOQGO|[]cP@H@BoQOo{K]GQJFbCaPxPGC]OQDF\blPvGz[\}M|FSCDqAOyk\cOTGGBjPu@@c_[MnFMbfpswyC\IMbG\BcqF?xc`wMTG[BdprPBk`wMPFAB}poo~s[SO@F{Bbpp?~[[WN~FqB]P{ovk^OL|FtB^p|owK^WM@GYB\Pl`BKZ[OrGZB[qE_v[Z_OvEqbWPlGukZELfE]CPPgPCsYKPNE^CPqHOsSY?PHERC\QMoqcbsKdG{BIpdpF{XWP|EKbGPcWpsW}KZGrBDP``D{b?KNGpBCPapESWcP\E?b?p_gokWMKHD{a}p]wn{ViJ|GsAyP\`EkVSPlDwC[p\pFCVcPnDmC?q@Ol{V?ODDpC@q@?m[_WJdE\BTPe?t[YoKrElBLPjorcYwKvKZ?BoAG@K?i?X?J_BoBG@C?e?T?J_BoAG@K?i?X?JbzP{g}c^UNfFvb|p~G~k^yN~G?cEqCH@{_yObGQc@q?X?s_IOHGD`eOrgXkCiAV@K_coRWHsCeAT@M_eOQwHkDqAz@]_noWGJ[YQLREdbRPhwtC]ANDF`bppxG{k\uMtF[blpvgz{[aMRFIbdprGxkY}LTEkbUpjgt[XYKdESbIpdwq[WEKDEBbAp`GoCyo\@M`fPRgxskyQ\PMefTRixs{ye[{MWfJbehrwxY[uMSfMBeXrgxU[gM_fJBgxsGxe[iMafKBhHqwyU\KMYfLbiXt?xy[wMffMbixrwyiZdLreyR\xmkvYZXLpeurZhmCu}ZTLeerrYHl[ue[uLYfMbVHrwt}[{L\enBehr_tm[eLWfHbThqOtQ[eLTfHBTxjGxIYiM@ekb_xnwtaYgM?e~BThoOt]Y[Lrefb\Hi?vUYaLuehb\xmOtIZMLFeabXhgguiYMLhebBYxgouaYBLBe`ROHgcr}YFLCe^rOhgKsAXqMKfGbNXfOwuXuMMe]Bbxq?ryXuLKe\BQHf_seXqLLe^BQhfgsmX[MIeXBaxe?wmX]MJeUbaheGwiXYLkeVBZXdwuyZ]KoewbKhm?rE[MKfeUB`Hogqa[OKhfCbIxooqiXKMMePBbHcgwuXAMNePbcXq?qQW{MWfIBFHbwxeWyMUfJbGHbWxUWoLwe|BEHbGveZuKYeKb^Xn_piXCKrePbLxf?qYXgK`eQBLXcgrYXMKQeJbJHd?pQXQKUeIbIxaWqi\KIUfRadxtGhaSgMgfTaeXQgyiWPKIeCr@h_{om[IK?e?b`x_OwQWEMGeAbaXoooQZIJyd|bWXk?n}VwLad~BWxk_nuZ{Jge~ayXo?miVUM@dub_x\_wIUuLKdkBQHZOseUkLJdjbRXZGsiU_KrdhBLxf?lEXgJRdibLXeolQZGJFdcbWxkgkaUGL_dabWhWouETQL[dTBVxjoi]YuIeemaiHjOimT?MKdObbXSOwyTEMNfGahXq?iQSsMCfCAfHoohuS{MFdNbaXoghmS[Lwe|AcHPwveZuIPdHb^Xn_hISVIHdCQahPkgqSCK[d@bFXO_pySIK_eNa`hbWg]ReM_fPA[HM_yM\AHpcybhXMOyQY]HiefAYxiGeuYcHkehaZxi?eyQrH\cmQUHJSdmQdHScjqTXIsdMQXHOcgqRXH{cyWmHHcdbDXH?pIQSKRcbBDHGwpYV?KKdobBh`glqW]J\eGavxa?lyUSI}d^aqxW?kqUAJLd`arxWOkyTYIwdVAmXU?jmT]IydWanXT_jqRyJmc~AzxNwnASAJqdxa^HO?nERqIqdYa]xN?jMTgHvdZa\hUofiVCHecrawxLGmQROJddraXH[oeUVoH^coA|HKOnUVmHbd{aWX]odyWfKSeIrChasp]WpKXeLOBW@s@E?`?Q_FpQWg{SmITDKacOcGP{GyBX@i_voYwLkEyHfCsaWpJweCRIGVCOaEpBG`sO}FZBm`wozw]SNAVhJtdzq}H^KnYVPJjduqyh\cmeQ|H^coqWHKSeMQfHTchQTHI{dYQTHJcbQQHHKc]hoSeiRtIidDQehVS[IITDab\PSgtS\IJtFqbLPwgpSAILT@qbtP{gFSCILtFQ_lOWgxR{ICS~a`\NsgRR~IDT?Q`lO?gXR{HtS~a\\O?fXR~HtT?Q\dNsfVSRHsTBa[dMWg^RhIGSxQaLPGfNM~IETA`wKzwgVSGF`Roq`lOc]@SqHmsuqetLohnSsHkSuae\RSerRpHissa\lLKf\RSHvs{aY|N?elREIUSpqdlK_h\RHIVsqaeLKkh`QmIQsjqcDJ?hBQpIPSkqc\JGhHQdIYtKaSdRKdNQbIYShaetR[dDQ[hMsfiR|IEd@SsHHTKqQ\HChnSqHGTLaQlRSchQCHyS`Q]\GWfjQFHzSaQ^DG_fnRzG|S]A^LNkbrPzH|S^Q^LFoftSgGxS[qctQcbhSfGys\qd\QgblPnIUsZAdtEsh^PmIWs[QddF?h`SFGfsSq_dCwgFPOIAt@aITDCgDS_GWTGQELQG`dSbGXsLQclQO`hOiHqSxQD\MW`XOlHsSxqD|AwfRO^IITDqBtA?gjO`IJSGabDAKgrOQHvS{QA|@OfZORHvsDa]TN?_jOCgAs?I?L?I_FNgIFRyQ`{}kg`SQFutCp|dPC^TNIHxs|Pxs{sflRsFeRrq^C{kfnQyH_SmqWLJoeFQ|H`SpQV|KOd|PUHYslqIlJcahPVHYSUQVDD_dlPGHeSsAHLCse\RLGdSQqYLK{aXR]G]SvqFlM?`|R`G^sOQ[\C?fDOuGoSWQE|ES`vPaG[SXAFLEK`tOcG~SHaODA[cBQBGSS^qDLGG`JOKGrSBqLL?sbNOMGsSCAL\@CbTPYF|SVp~lDk^xN}GmSVP~[~{a|NmHDRzqP[~?cXQLFwsbp}S~Kc\NaHSSiP{k}WdXNfHUrxATS}KdVNsFaR|Pws{[^lNvFarqP~K{_^pQUFmRvQQ{|{cvQWFnSeP{LHg^@PDFgSO`yK|GaNNRGbRtQG[|OaHNVF[Ru@vK|c\tNZF\rnPzSzo]lMkGBRjQ?{yw_POHFVrkQ@T?k\`MqGKRlABKzS_tMuGLrlqBkzK_x?D_AO@g~K^iNpGFcCQAX@[_iOXBO`fosgY[LQEb?j_UOJWDsBA@^?t_ZOLGEKBI@fAg`SojWTcIiDVAs`YolgU{JeDpA\`MOfwSKHyD@FfbrPyW|C]mNTEGbCp`gp[WiKNDsazP\WnKV]JpDmavp[GmKVMJdQohVsjiU\JEddQahPshISlI]dLQIhEsbIP\Gyc^PJgesRIHTCaaRNOfhRsxyc|E]jNIfdrrHx{{y]ZMkfUrjhuKy}\`MqfZrlHuszM\jYmLUEhJSPiut?YklUEgzSHiutYYdlNEajRxgusWYYlCEezPXhqsyYHl@EhjOXi]tOYClBeijTXgUtQYElDE[JMHgmrcYHlCE[zMhgurgYKlSeYzT@eirWYekuehzTXe}tSXmlIEXZKxhYrOYTkrEdzLHhesoXckoEZJLPeErCXnknEYzKXeyq}Xll@ERJOXcusGXMkgE`zIHgYsIXNkbEgJGxiEqOYakcegzHXiUqSYckbESjGxdMqOXVkceTJIhcmqSXUlIEOJQhcEskXAlKePJGhh]soXBk`eRjI@cEqIXPkeEOjHhcQq?XNk\EbjFXg}pwYOk]ecZQXb}scW}k{ELzNPbepoXzk{eMJMxberkWvk\DVJFXTui{W{ineNYkHb}j?W}kLuDjA|`aotWXkGeLjAXbQogWtkGELJEh`UocWukAe\z?`fYoMXxkCe]J@@fioKXzjxEXJLH^]rOVujxeXZKx^QrKVtk}DxjO@]mr{Vhk~dxzOH]aryVik}dwJNp]EnCY@jpe^zN`]UnGY?kyDvyzPfAriV\kwduzMX\yrcV[jiEUIyhdemkXYkmDuYyxdmmoX\jTeWyt`eIlYX]kndiitxeEl[X_khDfjIXX}l?XSjOeTYsPd]lEXUi|EUYnXdijwXWkld^YnxduqwT}lHDYjQXUajQYOitebilhhEjWYNi^Eeifxhmi?Y[lNDOZRxSMsyTAkSDzI|haen[WijveIy}Haun_WkjcEAixH_qmWWJjdEBYxh_}o[VJj`eFYw`aEmIW_kNDpywp`}mCW[j]EJjDxZup_U}kWdnywHbMpcV?jZdryvX\IlkVMj[DsYvH\MlsVOj{Dci~HXMnsUSjId}yqx^ukkV{jBEGioxaMpGUGkQdaYpXa]kSWeizdbimhWqjkULi{DbynHXEjgUOirD[YkxVMjCTmipdZykhVIjGTok@dUIip^yimWAj~dUyjP_AiqW@j?DSIoHTEkCTQihd_yihWQigUDidDkIhXZEi[UtieDkihxZMiYUsjKDPIrHSUksTEjLdPyhHXuiOU[jQDMIshRehyUfjRDNIfXYehsUgnW?[GMSFQBj@r_wpIWdkQiHVCmaUO|w]sNUFpBs`xq~x^SnmVxJ|d~QthY{laUrJZdlQnHVkjeTtIwd\qYhLceyR^Hjcuq]hMsf]RpHxc|q^HOCfuSBH}c~qXhLKeQRJHfcsQRXHccyQ^HOcgt_IoLWIkFUDjAVwBzT}C}v^[NpVvR{\|{~J^]NqVtB|d|_~\^XNwvtR|l|[~^^UNwVpb|T{[~L^gNavyRwT}[}F^jNaVpbwLzo}F]|NaVnbwl{[|~^?N`VlBvLz?|n]pNZVkbvDzk|j]rN\Vibxl{_|X^HNUvqbt\{k|^^KNVVer}|~G{p]\NyvfB}d~K{r]YNzVbBz\ws}t^[NFVbrzlx?}~]PNnVtBoDwS}j^XN@VtboLwO}n^WN@v]b{t}[zv^gM}VyRnl}kz~^iM~V\ButvS|n\uN[V\rvLvc|v\wN\VibhTsk|\]jMeVRRtds{|Z\MNVvQB|ls[~`\DNvvQR}LsW~\\CNuVsrf|rw}`\BNfVsRgD{{yB\ANhV{bad~Kwj[UNyVDr}lpc~n[WNzU|bxDn[}RZwNdU}Rx\nk}ZZyNeUybxt|Gv^ZjNgVsR\tmo}fZlNfuwRvtzsvDZbN_VnrZtl{|xZ_N_vxBXDkc~F^`Lbuqr{Tkg~J^_LbVkBWDzGuBZANYvkrW\zOuJ]pLaVZbsdySz^]eMwVhrmLyczf]gMxVMBqTrc{f[yNIVMrqlrs{n[{NJV`beTw[xf]GMYVaRelr[{V]IMZVJBcDqCxZ[bMVVJrclqGxb[cMWVEbkTuKw~\cMLvXRbdu[wz\eMNVArsToo|B]]MDVARs\os{~]_MCV?bTtoKt^[CLWV@RULjKwN[ELXVHb^dq[vz[gL~VIR^|oCxV[?MTVSB]DtCvb\QLxVSr]\nSyj\SLyVUb\DtkvNZdMjuxBittcvR\WLrVYBYTucufZSMtUtRl\l[zZZUMuUrRjdtsu^\]LgurBkLkwy~ZOMoVBbVTo{tv[OL]VCRVlj{wfY}MHUlBZDjSurYuLlUlrZ\jcuzYwLmWpo?s?U?H?C_BO@WBC@M?h?T_JODwWsK]EPBI`doqWSSIYDFAc`RohWRSHeClAV`LoeGrcXuKrEWbLPewpsXAK^ELbGpbGnSVqJzDza~P^wm[VEJ`DmaxPZx~[~y^xN|f|R~y?l?A_BOAg@s@K^YObFmcCqBG}K_yNfGIb{p|H?{_qNVFacBpxh@K_iNRFccGqBg|k^iMnF}bkq?Gz[]AOFGCbmpvg~kZ}MRF@b`ppWw{[iLNFMbSpsgt{\QLVFKbWpsGtk^aK^FsbGpcg}K]yKrESbxp|gq{WiH~EGaYpaGfkWiHnEKa[pbGf[_AGbFyaHp~Gak^yGnCYcApEH?[[qFrFM`|psG^kOIMfFS`~pqg_K]AEjB]bjovGzKLiMvBUbnouGzkJAKvE[`XpfgUkYADnEc`\pggVKZyDJAebapqGTKIiMNAmb`ojGwKHaK^AYbGofGq[HyKjAabKogGq{EaLf@ob\pmGM[EiLj@kb]plgL{]IAzFc_npyGKK]iBFFe_qpzGK{ZI?jEu_JplGBKZa?vE{_NpmgBkXq?RE]_DpgG@k?yKv?QbQoCGsZ~QL^Ee^wpiF}[Yh~m~ybWpjF~KSaHNC[a_pFgg[SQHBDIaQpPgc[KaJzBIa~orGoKKyKFEE`hosGokQaDzCi`^ooGdkQyEFCq`bpKGWkHQJ^De`HpXGPkGyJZAUaspYgQKVACBDq`@p\GOkVYCNDy`Dp]GPKFQIrDY_zpVgN[TqBr@}appWGNkMAAb@Q`poTG[kDYFN@Y`soUG\[ByAN@C_[oQGF[BqAV@A_foOGHkAyIZ?oafoKgiKTI@n?sajoJGikOQ@BCE_PpAGCkAYGV?iaFoIG`kMp~zBm^~o{G?KNI?FBu_Bo|G?kvOhQSjIVdKqeHQsi}TXIldVQkXUChiSvI^dMQfhRkfARdHtcwq[xMd[ImNVCjatpiw]ZhMdezRhxnCym\XLzfVR^xncye[pKrfLRLXsSru[xKvfORMXrsrmVLLze{QxX[Sv}V@L|dsR\Xmsl}[XJLfJQqxqCk}ULMNdgRdXXCxMUHMfd\RjxVcyUT|MjfUQoXWSyeTLLrewQjXmCiMTHLndSR[xlsimRxMJf?Q[xoSfU[HHvc|R`xNCweRLMLcuRcxLCw}RTMPfJQ[XLsxU[PGrfAQLXoSam[@GlfDQJxosbE[pGRfMQEXrs`U[tGVfPQFXsC`mYlHZcqRUxkCeERDL^emQVXjCd}X`LheSRYxlcq]X\LbeURXXdSu]YTKNeeRCXaSs}WhLPeiREXastMUxIxdhQjxYcjEUlIrdlQlXZCj]WDIVeAQeX_shmWPI\eEQgX`Sh}VTIJduQbXPsm}S`JpdIQ|XQSnMR|Jvd?Q}XOSnmVxIDd~Q`x_CgeQ\KZcgRFXISp}QhK`cjRGxJCqUX|HBe_QPXgSc]YHHHceRQXgscmPlG^cOQMXDCb}PDGzcQQOXCsbtImdXQghUsiYTS|Y]nNWfkruxzToiwR[GmEvAz`ePzGvc\qOXFKb}dtRFhfSoyVdKUeXR@h[SqYXTJ}bXRFgqSpYXdE]e\PhhdSZyLTKedHPDhOSOYSTCMaLQfgcSiyHTIedtOfgQSnyCTKE_xQxgOSoyBtJu_tQrgISjyUd@]_`QlhZSEYATJE^@QlfqSkX{TI}^LQrhZRyyUc}ed@MpfXShYTCzm\hQjhRRlySSzeaXOhgWSTyHtAma`OlgXSTYITA}`hP|gZS^yFDGE`xQFg^S_yFTGU_HNxgCR~Y?s~m_TN~gFS?y@d?EcPNlfvSax}tHM^`QLfxScX}dG}]hPXfjSUxzTEM]pP\goRvyJs|u]PPpgxRqyMc{ubtNPgzRsyNC{}c|M|hIRnyQs{E]DQXfaSfXwtHlRahrSzi]tNIfUjtTniuT]YndVEj|Trj@T\yoDVUh@Txj@TFycTV}jtSXi}TEyoDPuidTFi]TQYftSmi@TLigTOyhtSUg@T`i@TWykdOUjLSFitTAylDOeh`RthzTKy^DRUftSvi\S~yfDNugXRhiFSyyadNMg`RliJSzyaTNEhHR\iRSvy[DQefDSjhrTJy[dQue`TThhTTyYdTeelTZhlTVyZDTtyu|\]inTvjztenPVJjbTxYxD]]nTV@j`Tzy|d[UlhVdjZTxy|DZenTUzj^Tzyvd]umpU^jRTwYzTXumxU`jpTgyztYUk`UhjHTiyqdYuklUnjLTkYrDZMkHVLjBTrypD\EmdUJjjTbyydWuKVELbCuJJCLbApFWikVuJJC|aypJWokSu?jAL_AofWGj}t~j@\_Yo^WCkEuEi}|`QnbWUjxuEI}l`ynvW[j{rZxm[vEqlW~k_UTzGTdeqHXZkkUQZJTc]pdXJkYURZEtc}ppXPk]UTZFTdK?DX[ks_@JJtemrW?EkouZ_?TeMrc?Ekru[??deV