CAT(2560,5)

Sparse6:

:~?g?_?O?G?C@??T?L_DoBG@s?}@A?U_KODwAC@E?f?Q_IoDGBc@u?|?__NoEwB[@q?|?\_NoGGF??Q?J?E_BoAW@C?{?P?M?Co@?@{?w?H?L?BOBO?{?o?L?J?BoB??k?k?J?I?CoA_@CDCA`@O_gOU_IkDQAr@W_joTgI{DYAr@W_ioTGIcDUAn@U_kOUWIKDMAd@R_hOSWOWFUBl@u_zO\WMkFIBh@r`K?cwQkHQCdAV`JOfGRkHaCpAY`KoegRKHmCvA[`Mof_R{IGDFAd@OOh?SKI[DRAe@SOigT[IuDXAn`VOo_WKKADvAy`^ongVKJaDxA|`ZolgX[KiELBF`aopGXKKaEZBK``oogUCJQDjAp`Xokg\_LiEtB[`lovGZ[LuEzB^`nOvwZsLEE`BN`fOswYSLUEhBV`jOuWZCGuCXAM`FocWQCPgGZCKaEpBG`[OiGTCJaDPAw`kOqGNCEaCpAG`COeGNCEaAp@G_kOQFBB_`toyg\KMaFLBf`qoxG[[MIFaBx`{?{G\wNmF[By`u`?w\_OIGABva??|g]_N}F{Bt`}_{w^_NICRAH`DoagPSGmBp@v`@O_WN{GAB|@|_}O]wNSFeCFAE`Ao`GO{GaCdAR`IodGQ{HYIxD[anPVWjsTuI~D^aopWGkCUEJECNap`Bgb?UUJGCXap@DgkOP]JICOaq@CWaOU]GeDeaI`Xwa_UYH|C~a_POWg[SIIHDDabpPghKSaHeDIad@KghwRuI[C{ae@MwhgRiIYCxae@MGhWR]IUCuaY`Rge_S}IaCfag@HgjOREIuCoak@JwjGQyImClaj@JGi_QmIiCiaS`Swd?TIGsDPag@Ewc_TmIsCdak`Gwj?QIIkC_aj`GWigP}IgC]aM`SwiOPqLw@k_uOZgLkEyBZ@o_voZwMCFEBb@Y_loXWKcEMBD@`_oOVwJsDuAx@f_rOYwLSEeBP@q_xO\GM[FMBhCNaFPEGbKP]GlCRaHPDWacPEG`FZBopu_{C\{NVF]BtPvO|K\oNPFfBnpx_zs]SMvFcBlPwozk\oNDFLBqpx?xc][MRFeBcPwoyK\?NDFiBdpq_|[\GN@FRBopro|K[wNPE~b^PoWwC[MMDFDbaPnWvc[YMNEpBipk?ycZkMnEyBjPmOy{Z_MlEvBkpu?us\cLhFWBYpkoykZGMhDzB^p]_vs[[J~FEA~PpOnK[OJpFBA}po_ncV[LzDuB]P\OwK[?JhEnBcPj_xKYsMfEkBhPsOt[\?LTFMBQProsk[sLNEeBePiOx[Y_MTEXbKPewrSXqKzE`bOPfwrsYMLDExBGpm?qCXKLjEQBYPbOuSWoLfEVB\Pd_v[Z[K^EMBZPkOqkZ?KhEAAupZ?o[W?JVDiB?pZookUwKHDpBCP[?pKW[JfEEAxPaolKU_KTH]?dOQwHsC}A^@M_eORWH[CiAZ@K_[OMgF[Be@z?{dC?NwFsCEA@@A_`oPWGcC]AL@H_cO\wNCFiBr@{_|o^gNkF}C@AA`?okWUSJMD`As`YowG[KMMFDBd`qOxg[{MeFPBi`to}W^CNiFvB{`}o~w^sOEG@CBa@Ozw\sNEF`Br`xO|W]cN]FlBl`uPYwlSUuJXDnavP[WmCVMJdDgasqnpS{iWT|IhD_QoPTCjCUPIoDcqjpW{iwULIlDaqj@WcikUFIiD`QqpSCkgT@JLDPQr@SKiCU^IaDfQgpYKiKU`IdDhqh@YSiOUhJTDQqd@U[hSTdItDJql@Qsh{TzI]D]QmpRcjgSzIxDLqm@RSj[SrIuDKQV`Vsj{Q~J@Coqo@KCecURHgDcQp`Kse[UNJCCqqpPKckGRDJBCpqaPUSg_TfIsDDQlPP[hKTzI{DHQm`QCjkSbIwDFqmPPsjWSZIvDEQ^PS{iWRxIhC~q^`TCigSNIjDBQjPOkioSHIBDVq_`TsgCTbI?DWQdPMKhOR`HrDJq[`Qsh_RvIXC|Q]PR[f_StHvDMq\`Rch{RjI]CyQY`K[egRDH^CuQV`L[ecRZHgCuqZpKse[R\HnCqqZ`KceCRXH_CtqRPMKcoR`HtCfQ\@H{dCRdHrCgQTPNCdORrHRC|qS`NSf[QnHuCjQaPGKg_Q@IICdQapH[ccSZHGDEQPpP{cWS\IPCaqc@GchKQFHADHQIPJKa_QpH\CXQV@E[bCQtGoClqVPD{doP\GlCkqJ@JCakQvGiClQqpBkkgOxGfDeqH`XcaSU^JMCQQsPC[l?PDG`DhqG@YSlSO~G]DiPz@NcfsNZFmC~PzpN{g?NnI@BzQ_o}kgGNhFqDAp{pOc^CSNFoDBQL?~C^cPjFzCZP}`E{^sPpF{C[qMo~{^wPtG|C?qN@?CbwOFG~C@QC@@k`COXGNCLqE`@s_SOrGCCKQAPA{__OlGFCIq@`Ac`KOTGQCDrd_E{BY@n?u_ZoLht?AU@J?c_QOHwCsA]@L?h_SOIWDCAi@T?j_UOJGD[Ay@Z?l_VOJwD{{o@b?p_WOKGE[BI@f?q_YoLGEkBQQrHWclqUhJkdqCZAK`EobGP{GyC^AM`GocGQKHADlAv`[omGVSJmDzA{`^OnwWKKADvAy`ZolgVKJaE@B@`]onGV{JyE^BM`kouGY{LYEjBS`hosgYCLEHfCqa]pNGf[RiHrCwaZPLwekRQHNCeaWPKWdsQ}HXClaTpIgdKQaGtCZaQpHGc[QIHBC_aNpFgbkPqOHGDcBq@h@C_eOVGIcFqBh@k_qaCOxg[SLYEdBq`zOrgXSMyFTB]`lOSG^sDQFtCC_rP?GKSOA@|CC_\OVG^SDaF|@G`~O}GHsOQALC?_`NjFzry`}s}s^rNkF{Rzp~[}w^tNpF}r{@~c~K^~N}FxR|Q?K~O_@OpFgSK@yK|[`^NUGVSIpylAg]hNRGSrsaDDAo]^OlFfRrQCs{o`NN?GLRoQB[{__|O^FcsG`x[{g`FNFGOSGPwtAS]JOcFaRoqBk{G_xOTF\sD@vSzc_bMwGGRlQ@{zO_\OXFZsE@uszs_fM{GHRnqA{zw_lMpGDsA`uD?s\\OKFVriQ?[y__DMiGBRiq?{ys_JMkGASAPu[zG_PMdFrrh@{s}_[~NhFNRwPsK}?\@M\Fqrf@{c}K\FNaFPRhpz{yW]|MJFJra`qsxW[ZMKFJrePp{x_[\MPFKrc@rCxG[tMZFHrdPrSxk[hM\Firf@ycyW]^MfFfRrPsc{o\JMbFgrg`yC|G\BNRFORfpy{xw]lNjD|ry`^S}sVxNkD}r|P_k~OWHKBFxR{p_SoC^bNoE?Rzp^{}wV|LrFzr[`}svS^rLsF{R^P~[vo^tLzF}r]`~c~{ZrN}E{S?Pm|??ZlLfFDrX`pSuc[^LgFFR[Pqkv?[hMOEvRZpqKwsZZMKEuRc`l[xKZTLYelrXXkcuIZFL_eorVhj{tuYxLBF\rm`gSz{YZM}EeRlphSzWYVLHF[rQ@vCzOYNLEFYrnPgkzoYHNdEZrx@essC^NL?FrRwPf{}?X|K|FprN@{S|{XvN]E\RMP|Kr_^PKlGYrJAEcrS`dKsGXsLpe\BWXdKpG[rKAFCq{`zKmG]SMpd\BgXTO^ENrFaBtACXBO_EOSGpdLAGXPKfGLrHaBSqS`JKcGQRGaBcqK_zKRGWrCaECpS`RKSGSRFQC{po`LOjELsI`bSpc`^KWGVRDqDlAoWlN\EBr@`zcoc]vKGFlRC@zc|sWbKNFkrB`zCos]vKKFlRuP`[|_WTOJDvsA`\snC_POHDwQ}Q?[n__DJvGAq|a?d?sVjOKDyQ{q?{nG_LJbFdqw`xS{cVJNGDqRpp[{mW]LNBDsro`\Cmk]HNDDtQzPwKmo]@JVFTqt`tSzKUrMqDkQwPtcm?\ZMnDnrj`ZsycUzMgDmRkPZ[lg\`MDEfrR`ocwcYfMGEhRUPo{wWYpLOF@rSPoSv{YnL}EjRTPoKtO[@@J_dORwHsCuAXTm?OoGwCSAM@D?`j??EwBs@u?~?__MRaxpSwu[XMNfFRcXqCxM[dMTfIRfXrcx}[|M`fORghs[yU\HMffRRoXwC{U]HNFfbRqXxC{M]DNJfdPkWuCZMLdEtbYPlwusZeLpEzb\O^gNkFaBnA?_~o]gNKFqBvAA`?ogwSSIUDHA``OOhgS{IeDPA^`NOowWSKUEHBF`bOqWXCKmETBL`eOwG[KMiFVBb`pOxW[cMeFPBf`rP_WoCWMKDEDbAP`wosWeKPEIbDtuq{|\gnLV\JstvA|D]SnbVcJwTwq||]Gn\VlJotwA|d\{nVV]JtTiqxt[{lTUlJgtjAyDY{mfUmJhTkQydZ?mjVVJXtkayt\cljVWJYTiqutZ[lTUlJ[tjAvDYwltUnJ\tkQvlZ?lxUrJ^tkavt[CljUsJ_Trqo|[wkLVWJGtuQqD\[k^UMJjTbQylWomhUJJhtaayT\CkRVOJCT_AtLW?lPUAJNt_QrtYCkDU_J?thAodWKlJUbJATgao\WSlNUDJRT\Qq\VOkdT~JIt^aqdX[jrUUI{TeQnTX_jvTvJLT\ar\XojzT{JMtTqq\TWkdUTIktUAqdX[ivUUIlTeQjlX_ixT^JLtVarTU?kxT`JMtQAz\ScmtV\IatvAgd\wiNV^IbTNq{LRwn@VbI`twagT]SiBVcI_TKaxDRKmRS|JetrAfd[ShvVCI\TpqfL[WhpVAIZtoqetRSmVSsJdTZqbTV?gvSdIxtHAm\QKjdSaIwtGQmTQ?jbS^IvTFaltPsj^S[IwSvqpDLwkRULHstbA\DM[kbReJGT`a[dMSkNUJHptaa[TW{fBUMHoSjqxLIwmPQwJdsmQxT[SdnVCHZTpqUl[WdhVBHXtoaUT[sdbVKHWSgq}D^CdDQdJtshA|T]sdNQeJuSiQ|LI_nPVnHTtzaTT][dZVeHUTlqQ|ZWclUxHOtmASDZkc~UyHNSfQvlHolxQZJ^seavt[CcrQWJ_TZQN|Uob|ThHCsaAlDUccBQ?IsS_qldGGjZTjHAtYaOdUkcNTiHBSXak\UGbNPpIrs[AktE{jJPmIqSZQklEojHTbGttWaLTEcjNPgIrT\QJTVOavP\I~T^qJdDwjzT{GnsWQn\Vgb@PbI{sWanDV[bJTuGqSOqs\CGlDPJJQthAHTY[aRUeGcTgQG|Y?aLPDJNsPArtCslRPKJSTHq_\OGhLSLIVtBAdtQcgVSgIDTAQdlO_hXSFITt@adTR?gJSCIWs~Q\|Nof\RzHws{A^TNKfrRqH{S|Q]|NOflRjI?sya_DN{fZR}HuSpqh|KWi\RGIhTSqXLLCiZROIeTQqXtK{iTTTHetTAXdKgibRJIgSsqP\LGcTR\HIsvAQdLkcfRYHHScQYlH?ehQNHksbaZDGsenRUHESmqM\JgbdQ|G}snANdKSbtRCG|s]QW\F_eDPvH_soAMtJ{bjQ}GySRqa|CwglSQGgTCqILPCafPQIGTDQIlPOahPVIKsTabDDcg^PWIFOEGA{@]?p?U_JVF_BS@e?t?X_LOEYlLUajTTjiutZImlVQjxT|i~t^in\VijnTui{T]XMKfARdHrcyq\HM{fYRrHwc|q]hNkfqR|H~d?q_HO[gISHIDdBQ`wJ[DiAz@[_noVgKKEABF@a_qoXG`{OyGbCOaHpCgacPUGnCUaKpEHE{bYPrGwc\QMxFkbqPjGsc^qNiZ|LyfRRghrsxi[lMQfDRbhoSwYG\CIaJPCgesRIGtC]aRPGgdsQjkxsmzK\ImwfQZm@sayY\nmvFRJgxuqyK\lmaFYjghumyE\hm`FYJjXr}ys[}mqfNZk`rqxm\bmZFWjf@uExq\_m\fVzfPtyyy\?mmFOZnxp}z{[]n?fFzo@pyx?]BmOf_jcHwU{G[_mPF`jcXw]xE]HmPFaJFXsMps\AkafPzgpcQyYXBk`FRJGHseq?\Gk^fQjFpsmpy\Dk]FPJhxo]y[[EmgfAZi@oawU\RmhFAj`htUwW\SmFfTj`pt]yq[PmkFCJhxnmy[Zym?fUZ_@tav}\Vl~FTj^htUvw\Sm@fSz_PtIya[DmgF@J[XqYvC[flufIZ\`qavU[fltFHjdHmexOZgmQexzc`mYxIZdmQExJYxqmuk[imUeuZd`lax[ZZmVeujeHlux_Z[lnfKjeXlyv?[tlofLJjXhiysYZmmEhZjhiQtE\^lPFVjSHuEt?\_mpefzRpuIzGY[lMfXZLXqmrS[ikyfLZM`rQre[rkxFKjMHrEx_XomVeZzdpeyxYXlmUEZJIXpmqc[YkmfFZJ`pqqu[\mMEUjbXdawsXXmKeTzb@dYwqXSmKETZGxvMqK\qkcf\JH@vUqa\{kgF^ZnHc}q[\wm|eRZnPcqqU\vkdF\jEXwMpc]AnCeLZp@bQp]]CnAeJjEHw]p_]En?eMZo@baz{Wum~eLzkxaezKWgmseJZl@aqpM\jkRFYjChuupG\kmveIzlpaizaWbmwEGjfX`]xsWUkOfOZC@sAo{[umZeFzBhr}ow[}kLfMZBPraoq[|m]EEJmh_mzgWIkFf[z@pvIzqWPkGF]JAXv]oc\um|eBJnP_uzyWTm}EDI}XpMnc[QmJd|Zap^Qny[Tj}FDJax^mwkVyj{fCy~@pInm[TjzFDJUXlEu_YqlienZY`jqu]YzlfEmjXXjeuSYwlZeszUplItiZLlYErJWXjEuCYolVepZTpkQtUZFlTEpjXHiqtYZGlSenzT@jyuAYel_EhzRHnEsoZolIezzQ`myviYPlGE|J]xg}vkYMlHe{zQPnIvqYVl{EdjJxfmq{Xykse^zL@fyrMX|krE^JNHeUroXcl?eWzO@eIrAXvkoE\j?XgMsCWAlBe@z?pgYsQWHlCEAJ?hgUoGYClEe?ZP`_AsUV~lDD~gAC@E?d?R_IoDJbLpawv[YmMvFGOcGYCJAB`CO`wQSHMChAT`JodkRqFNBca]ovggKLqH~B_a^owggKMaIFBia`ozgg{MqIJDC`xpPg]JyQIe}eagnmghJzaIRDK^YpRfu{Sh|fDI^WpRft{Sp|Y}iahniGiJvYHjCu]yn]geZvaHa|{a[n^gf[RH{BCo^@pMfo{R`{JCs^CpLfpZqiHI{gaQnDgdZpQHRCe]LpHfbJpyHVCg]MpJfcZqAHZCm]RnHGdkFyE^BK_}oqgP[KaCRAE`ho`GYKGIENA?`aotgP{GqEjBY`HouGQKNYBNBs_qpAgN[OaBr@u`~o\G^kOQBbCE_xoZg^[EqFrCA_toYG_KOy@jCK_ZpCgF[PA@r?}aJoNGakPiAFCW__pFgG{PqAJCa_dpGGHK?YD~?C`]oogB[KA?r?U`\oDGVK@IDf?O`Wolg@{JQ?ZAm_DojG@KDH}m~S_gnygJZ}aAq~e_pnxGKKDx~F@[^onvgHz|qAZ@U^loTFzJzy@Y}{_VoHfwZ{A@J?i^boIFwj{i@E~G_OnrgE[B@}Y~Q_NnsGBjwyCu}K`Kodfr[HP{q}U`NndGRjxIDE}O`OnfgSzxqDI}a`TngGTJ}xym~k]inSG?[?@ye|I^~n~FhJ~hy]|K^{nUf}zt`~i~q]bn{FgjuHx]|_]UnKfjzr@yy{s]qnLfkzrhzU{w]snNflzrpzY|A]xnOFmGKsE]BT@j_soYKgyM^FKdEpwhPkgyNBF]dJqdGzkhYMvISbkqcgykhAMnIQbhqcGyKcyLvHKb[plhHKZQQVFAcbpoHGkdIL~HOb]qTgw{dQMJFIclpqHJK`YR^GScuqYhD[eaPRGecnqHHJkaIRNG_cqqWhB{`qRBGYcxqEHMK]iRjFgczq]g{{faNJH}bvq^G|kgINbI?bxp|hO{^QSJFydDp}HPKWYPfGobAqNgr[bqKrGmbJqJGqkbYKfEOcYpbhG[WqQBEIc\paHFK_YJ^GCauqBGo[_yKBGQa~qCGnkViN~Dwb}p\h?[VQOBGIaxp[H@KTiLNEcakpVgs[TqLBEiajpiGikUIL^D_bUpkgk{UQLbE]atpfGlGFKBm@t?w_]oNKjiYBL?d[rPHU[sITbLCdZrOhUkjqYNI}ebqoHh[kIYRJEedqpHhKqiVFKgdoqxhd{qqVJKqdzrKH]knIXnJoeYqzhf[mqXrK}dtqyHfkkiXFJGeOrEhZ{paUzKUdlrDHZKpIUnJSeGqshc{lAXJK[derFhX{nySvJ{dKqjh_{iqWJIieDqiH`KiYWFIce?rBHS[iAW^I]d|qfH^KyAZzMae~rfhp{xq[ZMUfDraHqkwY\NMCfQr_ht[wA\RMYfHreHqKuYYfLcegrRhlKuiYZL_e{rWhn[tiZnLWeyr[hj{vAYzLUevrTHlkyy]NMkfarohz[|a]BMqfjrkHyk{i\~NGf]rlhy[zQ]bNMf\rrHvG?I^HNffvR{_?k~??LNlfn?@h|[|o?HNh?@RwH{^