CAT(2560,7)

Sparse6:

:~?g?_?O?G?C?_?H?D_BOC_AK@E?b?W?DoBg@k@A?^?K_R?AG@C?i?R?I_CoDWAs@]@i?F_Bo@w@[?q?\?L_GOBw@[?q?`?N_FOBWCKAU@H?b_POGG?c?U?L?C_Ao@gIWDIAd@Q_k_SwI[DUAh@S_ioVGJ[DyAz@]_moVGJ[DiAt@X_koTgI{DaBg@m?vo[OM[F?BdAH?{?\wNGFiBw@}_|_^WO?GEB}AA`I__oPKGOCTAD@EO`_P[GwCPAF@Eo\GMsFUCvA\`MOfGRkHmC`AP`HOdGQ[G}ClAV`KOegRKHUDwAv`ZOlgU{JeDpAx`[OmwVSJmDtA{`]onwVsKAEBBB``OpWWcKYENBH`cOqwXSKuEXBM`fosWYCLMEdBe@i_wWY_MAEkBb`j_wg[WLeFCBW`q?ugZWMUEyB``m?wGZwMUE{Bc`roxg\sM}FPBh`toyg\kMqFbBo`xo{g^[NiFrBw`zo|g]kNQFxB|aJ?kGUKJMDdAs`YpAw`SOiGVCKaEpBW`cO}G\CMaFpCGaKPEG`CRaHPCwaSPQGjCTaIO~oa{NwGlCFALpE__sPcGJCWAAP?_bSOKGvC@AJp??asOcGrCGAKPR?ScIQDLAd`SOhwSsIUDNAg`SoiWTSIiDXAj`UOiwTsIuD^An`VOjWRsHyD@A^`OOfwSKIIDFAb`POgW^{NyGNCEaAp@G_SOMG@C@aCpAGo?VCJ~DoA~P]OnkV_JxDvA~p\_nsVsJhDtA}P^Om[VoJdDzA~p]_nsUYJNDhasPYwlSUUJHDlauPZwlsSsIvDKAlPRojkSwIxDTAkpT?jCT{InDUAnPWOi[U?IdDaAgPWoiKSCIZD?AePTOgkTOIHDCAhpPOiSSKI^DAAfPO?iKSCI`DVA`PT_g[TcIPDHAkPVOhCScIxDYAbpUogsS[I|D^AbPQokKSgJ@DIAppQokSQsJbCkAwPKonKV_HdDvAWp\_eCVSH^CmAyPIom[QgJdChA|pI?nSU[GxC\ArPGOlKQ?JPDjAPpY_cSP{JJC]AqPZOckUoHHDnARpZ_csRUHhC~a^PNWfcRmHtCxa[PLwes^wB@@^_tOYWLCE]BJ@e_qOWwKKEIB@@^_rOXWLKEiBP@f_pOWWK[EQBV@k_uoZWLcEmB^@m_voZgMKFABf@q_wo[GM[FIBt@x`?o_gOCF}B|@|_}O]wNCF]C^AO`HOcWQcHMIBD?a`pOggkSQINDEacpQGh[SiDbAo`WOkWU[JIDfAq`YolGUkJQEjBS`jOtwZKLaEvBY`movGZ{LyRSHQchqVXJcdmQtHXckQThI{dQQjHFcbQQHHKcyQ^HOcgqQxHScqQZGtcYqLHEcb]PlGvcZQMHFKbePpGgCnqV`DKe[PbGoCrQXPD{eOP\HbCUqW`DceCPVH_CTQYPE[e_PdHRCMqS`BcaWQzH[CRqHPJ[dgPHHXCPqU@CSd[PBHUCOQTPB{dOO|F`boPwW{C]MNDFbbpPxW{c]QNJH^BxQV_}[e[NhFtCrP}pKk^gRHH`B{P}PKCeKNlHaBzqYO~ke_NxFeC`pxpGSc?NZH@BuPy`G[cGNVH?Bspy@GK]{QJFmCaP{PGc^?QJGzByp|@FSb{NfG}BxP~@F{bwNzFyC]qN?~[^cPzG{B{QMo}{^WPtFeCMqF?{{^CO~FoCNQG?|kaCNXFjCPpy`CSaSNRFgCQPzpC{]wPLF~b~QAX@C_]OLGDcAQ?x?S_EO@GJcDQChA[`EO`GNcFQBX@c`UOhGhCDqI@@SbCObGoCGQCpD{`GP\GKCUqJ@@kakO\GNCTQKpAkbGOhHFBQqP_scccLNHGBRQSOtkYoQ`HNBTqR_tSY{QTEmCdqR?tKY_QZF~Bip~_yc__M~GHBnQ@ozk_WMxGDBlq@?zS\cOFFWC@Q??y{_CMlE|CKPn@A{`kMNGZBbQE_wk[OOrGYB`po`BK`[MBF?CKQD_v{ZwOlEpbWPlWucZMLdEvbZPmwvSZeLpEXCnpe@JsXkRFEYCpPgpKkYGRHE`CoqW?sCe[KzE[CrQYOr{e_K|ELbEPbwpsX]KlETbIPcgq[XEK`EEBcpq?o{WkM^FMBDPaOx[W_MTFLBAp`?xcWKMbEABgP_Oy[W?Md@P_gOSWICDEA`?x_[oMwFSBm@t?|_]ONWFcBa@p?}_^ONwF{CMAD@@__OOWGCCMAD@C_aOPgGkCYAJ@G_boQWHKCaAN@I_dOQwHcCmAX@N_fORWHkC}A\@U_jOUGI{D]ApF`boPww{S]UNHAB`@o`GOcGYCJAD`BOaGO{GaCNCJaDPBW`cO}G\CPaGPCwaSPUGhBH`cOqwXSKuEXBN`fOsWYCLMEdEKbEpbwpsX]KlETbIPcwqSXEK`NOFYbrhu_{}\}NNf^Brhvg{u\wNKfebmxx_zi\qNNf[Brhuw{u\kNKfBr`hpSwm[JMCfFrbhpkwq[PMHe|bjxnOyy\]LxfVB]HuWwE\cM?fXb_xuOwI\aL|e}BkHuGv}Z{MoewbiXm?yaZ]MhfSBZhtWv]\SLufTb\XtOvQZeMlexBjHtguu\WLkeobhXk?yQZUMbetBghswue\KLgerbfxkoxyZIM\eqBfHsGuM\?Lae~bZhlwvyZsLoe|b[Xm_veZiLwf?B\xmowEZeMBexB_hnguqZwLle`bhHgOyU[yLLfMBRHsGsm\?LIfRbQXsosaYKMbebbghg_x}YIM]fJbIxqoqiXiMYfLbLHeWxeXcMWfLbKXe?xiX]MXeVBeHdgx][kKkf`BCxaO{M]MK[eMbphxGpm]OKYeKboXb?{AWmNJfdBDha_{U]GKTerb@xkooYZUKHetBAHkgo}ZGKMeGbWXa?uAWULbeDBWh`gueWWLgd|Q}x_[oIVzJ{e?R?X^{nyWJKCfYAtHYgzU\}JRf^Ashv_k}\yJMddbmxXOziUWMwdebmXY?z]\kJPfCapXp?kQ[IJAd`b`HVwwi[UI}d_bbxW?wyUMMLdbBbHowke[KJGfHakxqOjITiMTdYBdHqGj][_IufGamxq?jiTqMTd[BdHqOju[eI{dJbVxQotyY}IOenAcXjgg}YwIMemAchQWtuSgLZelAdXjOhaYuIXf_a`hw?g]]QIKfcAbXP?{]SQNEdDBpXPW{Q]UICfdA`XOW{MSCNAefaixhoiiYqIldUBUHUGt]T_LUdVbTXTotQYeIgdSbShiGi]Y_IedjbMxYoriV?L?dobOXfgl}XwJ]dmBLxZgrYUuK}dlBNxf?laXqJXdzaex]ohiVaIddwAhH\wiMV[IadOA{hSGnMS}JxdNA}HRgnUSwJsczAyXMwmaRoJfdrA]XNwmUR{Jcd?Awx[OgEVYHzduA]h\WfqRyJictbGXLOqARiKhcyBIHMOq]ReKeeQa[Xc_fAXEHnePAZhLgp}RWK]_UOJGDsAu@\?l_RoHgD[Ai@R?g_SOIWD[Ai@L?f_XOKWEcBM@d?p_WOJwECA}@f?s_OOGWC[AI@H?d_YoLwEsB]@l?t_|O]WN[FqC@@~_~O^WOSGEBp@v`FocgQKHQCfAO`oowG[[MIFJBc`xo{g^[NiFrBw`zo|g]kNQFzB{aMpFGb{PyHBC_aPpGgckQQHNCeaSpIGd[QiHZCkaVPJweKRAHfCqdRqhhTKiaTVIidUQjXT{iyTbIoe`rOhhksqYVLIecRQXgss]YJLCeTrIhdkqqXdKreYrLHdsq}XbKodpqwh\kmqVVJidsqyH[{mYVJJcdvqzh]KnAVfJqdyq|H]{nYVrJwdBq`hPKgaSVIIdEqbHOkgQSFIActqYhMkfQRfHqcwq[HL{eyRZHkjHDWykTUujXTjitTYIlLU]jLTdiqTKqjlRGixT`I]TNQkDT[hvTUI\TUQfLT_hpSvIltLajTT{hjT]IYTHqo|WWhLUPIWTcAeLW{h^UMIVTbQdlWohXUJITtaadTQckRSgJCTQq`|Sgg\TSIKtTQbDTKgnSUIhTDAiLPSi`SQIfTCqh|PCiZTKIGT_Q_TW?gDTzIAT]a_\O[kHSFJAt_q_lOWkDT~IAT?qntOWjzT{IAs|qb\NWgtS@IQt?AcdN{hFR}IPS~QcLNoh@RzINtFa^TPsfrS[H{S{aitNCinT`HytWA]lTwffT^HyS{AjdN?izRsIlS{qj\NCirRqIkTQq\|Sgf\TLHttRA\\S{f^TMHvSzQiLMoi`RlIhTSq\dTSfTTSHtTNqZ|Rwe|THHstQA\DMWiNRfIbTPA[dMSiJTBHptOa[TSCfBT?HoSsqb\LGgtR[IQsvQcdLkhFRYIPTGQZLQ?epS]HjtFqYtPsejS[HiStq`|LWg\RZIKsuabDLsgnR[IJTDAZDPSerSRHhtCaYTPCejRSIGSqq]|KgflRxH`s}AWTNkeJRCH|S~QXLNoePR~H_s~aWDK[g@REI?tLATDRSdRS|HXskafdJChpQoI[sjqe\IwhdSuHUtLqTdIkhtQiI\sfQl|Hoj\QfIxshamTIKjjTsHPSfqmLHwj`QdI{shAnDV[dBTuHOScQZ|H?e|QZHoSea[LMScrQWHqSwqQ|MGclRgHIsyQQdMWcfRfHHTHqPLG_hLQFIWs`aeDG{h^QMIVTJQP\QocTQCITs`QdTGshRSgHES]Qo|F_kLQBJCs_apDWkcBUIH?TbQN|Wob|UNG}tbaNdFkkbPyJGSZQf|Eoh|THGytQAMdF[iNTEGzS[qglFGiHPpI`s[AgTE{iBPmI_SrqIlDOe\RPGnssAJtK{azP[HfSUqXlDgeZRPGkssAJDD[eXPUHeSQQm\C_jdTnGhtZaITCsjbPKIwSQqmlVOaTTxGgt]AIDV[a^TuGfTAQFTO_`vSHGXtAAETBCgZOoIESMQ`lB_gXOvIDsLa`TBSgVSIGYSDqo|@WkLOTJCsDApDWk_fUIGHTbQALWo_`UNGFtba@t?skbOKJGS?Qk\??jDOJIqSAakl?cjNTeGCTYQ?|?WjPTjGAtYa?dUs_FTkG@T]`~lVk^xUDF|t`@~TWC^rU?F{T^p}{~Wj|NtI}r|Anc~{kFN}J@SHAVtASd~QyGVSmqD|AsdjOkHYSIqU|AgdlQxGSsIAVDJs`NQ{GRSFp|K}__|NrGLsE`}TAK^bOaFwSGP|\A?^TNlGKrzABC}{_zNmGMRvQGDCC]xNfG^rxaFs}CaJN_GaRvqFk|w`xNcGbsP`{lCK^FPAFpSWPyK|?b@PfFlsX`zS|_bTNXGtrtqLK|WbPNTGqrtAKc|KbFNQGpODWAk@]?l?V_JOFgB{@}?|?^_NU|?BC@a?t?X_LOEWB[@q?x?Z_MoFW|C]eNNFebvpzg|[]iNZFkbwp{G}[^INjFsb}p~G}{^YNrFwb|p}gU{JYDrAw`\omgyk\QM~F]bmpvGz[\iMrFWbjptiHDCeafPQggsSIHtC}aXPLgdSQxzk|q^BN_fnrvh{S}M^JNcfrrxj`hrmwW[ymZfCZa@rYxq[Nm[FBjaxsEwk\?m^fDZfppQxy[Rm]FCj_HqUw?[cmOfAZ`@qAwU[^mNFAj_xqewK[gmAfHj_`q]xE[BmPF?j_Hn]w?Zum@e~z_PnywIZ|mAE~J^@o]vq[El|fAZ^Poavg[IlyfAzbPkYwuZFmKeqJXHpauI[\laFFJVppet}[Wl`FFZWXpquA[Yl_FEz\piyv]YnlUE{jThnMtSZrlTe{jTHnEtOZolvehz\piYvaYolwEkZfPgMxuYAlDfLjexgisQ[{lCFNZfHgUxoYClBfOJOpsEsY[~lEFNjK`p}w{XdkpfGJcHeIr?[gkofIZL@q]rQ[ekrfGzKpqIq}[dknFHJIXnuqcZ{kme}ZJ`naqmZ}kjE~zJXnmvsXYlzeTZ]pdQviXXkkE|JGxrEqK[okgfJZI@qqxiXNmYERjeXcuxcXKkdfIzHPqix]XHmVEQJEXmapcZhkWezZE@mqvUWxltEMJ\hb]vWWukYeyZE`map]ZjltEJj`ha]wWWemGeIza@aipQ[TkSFDJaPaqweWlmJeGzapaIpG[MkQfByyhrUmg[sjjfKzeP\Ym_[ojgfKZdh\MxWVQjffJyxpqymq[jjkFIj[`YilUZdlpdlZ[PZQlcZflrDkyu@m]laZejVewytpmIlYZcjUExZUhiUtgYclXegzSPjIs}YvlNEljS@jitAYzl[eezV@hisyY|l]EfJFxlEp{ZOlieOzY`cIqIZNlfEPJFhkupwZKk\eszFPlIuUX@ldEOI~xhEn{YOlHeAZQP_aoIYNkAEbjQx_EskW?k@edZQ`_IoMYXkBEeJZH^MuoVqlod~Z[@^qnuZZj|EujZx^enoZ]ljd|zYp^YniZ\jyEvI{XfenCXwjle_YzPgAmyXzjmE]jNh]ErwV_jqe\y{`fYr}V^k~Dviwh]mmGVijsdqY|@[amYVnjeDzi}H[mn_VIjrdpy{p[YmCVkjudoyuxemlkXij_e[zMP[AriU~kyDnivheulwXkkwdmyvPfAlqXnj[EZitH`]lOWUjPeGYsPaAlAW^jOEFjBhYUowUckLdhzBPYYoqU]jNeEIqX_ukcWKkFdfZ@pXqoaUZkGDeirH_mkoWIjJECyqx`IkiWTkIDdGCCAM@D?`_QoHGECA}@h?r_XOKWAS@I?h?R_HoDJ\|myv`Zplxu{gVkJqD~A}`_ooGW[KIEJBC`bOpxM{fYRrHwc~q^hOKgARtHzc}q^Iq\XIkjUSjJtdirDXekvUYjMtfKIqFnAk`yojg^[IyFrAq`~okG^kOIDfAoa?p@gU{OQDjCI`YpAGUzkyE}zK`mmsg[ZlAFAz]`vmvG\jmIFez_`wmtg[zlQFIzY`tmuG\KIQBJAe_roigN[FaDR@u`SoigMkFIDB@o`PoZgS[EqDB@i`RoYGSkLy@jB[_ZowgF[MA@rBm_aozGG{NIAVBo_coNg[kBqFN@A`toOG\KKI?NB?_AoEgV{@aDz?S`]oDgV{@IDv?O`[omg@{Ja?ZB?_Doog@JwyEM}K`anggZ[L`|BBU^NnfGYjxiEe}W`gndgXzxQEY}Q`dncGXKNPx^Bu]Uo}fe[N`xa{y`~nMG^jrYGA{sa@p@fg[OPyBCG]]pAff{KXv~BC\}ouFa[LhwbBU]FnBGYjoiEa{G`horf_{KpwJBI]@oqF_JhiCjAS\Km`gRzgQCzAW\FodfPkHXsUyG`KoefQ[HhsbA[\JoffQj|X|]~S^UnhfzZyP}q}g^nnifzjzh~E}w^onxfuz}P|i~i^XnyFuJ~Hy}~o]mnYF|z}pzU~y]rnXF~JuH~m|_^yn~flz~pzZ?A]xo?FmJsYCa|C`HnUgNkFxyrAA]jo_FijtICU|O`CnRgOzsqCI|I`EobfhJpY?}{S_MnEgCZpa@A{]_RnFGCjqI@U{__SnHgDzqQ@Y{i_XnIGEJzxvM}{\qnof\Z{@vQ~E\vnpF\jnH}U~G\wnrf]znP}Y~Q\|nsF^JjYAuys_koSfXZkaAazE_foRFWkDxuF@[\_oTfV{DPtyyy_pmmGKJvXs}y[]yn]FSJvhtE|}\Rn^FSjwHtU}?\Sn`fTzwPtYyq^DmkFpKQYQNCccapIhH[QaQRCucjpLHIkRiQvCwckpJhH{cqHZCqchpKHIK\IOFFOc?puh?{\aOJF}bjp~Gyk\yOVF[cCpwH@k]IO^FMcHprHAKXyRnE[cyq]gs[faLBIAbTq_GtKfyLNH{bQpkhP[gaLbIEbVq`GtkWYNNFcbAp}gr[^aKrFubJp|GqkXINfEObwpbg|{WqNZEIbtpaG|KaiJ^GgauqDgo[`QKBGca~qHgnkaAJrGaa|p\hB{VQOzDocKp[hB[ayInGkaipUhE[bAIrG}arqNGkkcIJVH?asqLgj{TqPjGyapqMGkKeIH~C{copShM[TARbHgaeqYgh{eYIVHcacpPhJ{SQQzHma`qZGgKZYGnEsaIpqgc[[aHBCYbbpEGwkPIMFCOb_pFgv{PqLzEyaFpmG`kgyXnKsdEqchg[hAYBLEdOrPHS[ryS~I[e]qeHh[saSvISe[qdhf[myXFJkeOr?he[oAXbJ}eNq~HbkqiVvKgd{rJh]{qqVjJqeRq{HckpYUnKSdirCh\KmiWbJeeFrBH[koiVFKGdor@hZ{oQUzKYdlrEHZKjyT^I{dUqohU{kATjIqddqkHXKiiUNIgdaqhhY[iQUbIydfqrHVKyaZ~L{fTrfhq[xq[bMMfQrbHs{xY[VMGfIr`HsKwY\FMAfLr_HrKsyZvLKe{rYhk[uAZRL]ezrVHmktaZ^LkelrThk{tQZJLqehr[HiKyy]nMkfirohx[{a]BNMf^rrHvk{Y\vNCf[ruhu{|a\jMqfhrkHyG?I^PNjfvRv_?{|o?HNlfx?@h{{~??HNd?@RwH{^