CAT(2560,4)

Sparse6:

:~?g?_?O?G?C@w?m?Y_K?EWBW@q?a?R_J?CgAg@Q@[?c_ROHWBsAA?~?\_MoFWFW?m?\?K_EoCG@{?k?P?I?EOBO@C?w?R?O?CoA_@{@C@R?Q?TOIoA[@W@P?T?UoJ?Ac?]?N?F_DOAW@C@]?r?[_KOEgB[Do?t?Z_MOEGA{@e?l?P_IOCgAk@MBU?D_BO@g?k?Q?H?J_EOBW@s?}?`@}?{_[WNWFIBw@r_y?\wN?FUBs@u`H_ZOLCE_BV@n?tOY_LcF?BR@m?soVgKKDqB@@^_moZOK[EGB\@d?toZoKsEOB`@f?uOUWJ[DiDWAM@DOaOPkG{CPAO@BocOPcHGCVAC@HO`?QKGWCZAM@Aoc?OsG{CJAG?~o`oOKGgC@@}@Co_oPcGkCD@|_}o^WTKIiDP@f?jOToKsESAf@a?iOU?K[EOAjBS@gOsWY[LIE\BN`p_uoY{LSEtBZ@kOv?YsLoErBS@lOvWZsMIFBB_`noxw[[MQFLBg`qoqwXkKqFiBm`y_zW\GN]FUBv`z?zG\ONYF`Bp`xo{g\{NQGABza??}g^_NyFyB~a@_}W_ONaGJCFaBP@G`COeGeCMAGPBoaCOgGbCQAEPC_`[OsGbCWaJPDWa{PQGfCaAK`EgboPmGyC[aT`FwcKQAHDCcaPpLod[QmHZCkaUPJWdsQyH`CnaWPJwc{QaHJCeaTPIWfsRuIDD@a_PNweSRQHfCpaYpLgfOSYIECxaa@NGggRmHoDFaZ`QGXSKiETDIAlpQOjcSwIzDLAmpR?jcSkIvDUaipUGi{TiIrDOafpSWiSTQIfD^anPWgk[UEJ@DjAqpY_kcUsJNDkArPZolKUwJPD~A}P^GnsVuJzD}axp[gmKVAJjDsazp\gnCVeJvDya}P^gnkLyEzB_`nowg[KXUKhEVbJPeWrCXUKhEVbJPeWrCXCKTEPBCp`_q[WSKdEFBHPa?q[WoKDEJB?p_?pkWwJ~ECBGP_op{RuH|D?a^pOggKZMLdEtbYPlgu{ZMLdEtbYPlwusYCLZEkBOPgot{YGL\EdBWph?uCXkLREYBSPfot[XwLTEfBMph_rcKUEHBF`bOqWXCPEGdCObgpsGy[\IMjFSbgPsWyS\MMjFSb^`tgvo\]MAFVb_@tgz?[MMCFWbdpqgx{[yMZFKb[`pWv?[QMME|bb@nGvW[eLsFG`UOjWTsI}DbAo`_OnwVsJyE@A~`YolGU{JYDfAqcF_mWVCJmDtA|`]OoWWKKMEDBB``OtWYcLYEnBX`kOyg\KMqFVBm`upFwb{QEH@C`aOPMgfKRqHvCwaZpXGkkU]JLDhasQMpE_biPeGxc[AMXEwbiPkGxcYaMhB_aIOuG`cMaHHBoaMPKG_cQaFxEW`YPgGTcLAMHEw`ePiGWcZADxD?^]PMFwb|AIg~GaeNwGkb|aIxD?_iPMGHcTABhDG_uPWGKcTaAx@waEO_GacHAHHAGaMPIGScRACxA?`yO]G\cHAGHAG`}OwGScLaCx?__eOSGBcBABh?g_uOMGKcCAAx?_`aOmGBcLA@h?g`eOOGUcBaDW{?ayM}GlcW@wg{Ga}NGGqbpaKWzG^uMsF}bmA?GzW^}M{GAbma?W}OayNaGlcX@|hEG^UP_FsbxaJw}?^aN]Fvbv@}W~O]uNwFkb|`yw{o^yNIF|bsA?G{w^}NSGAbsa?WT[ImDVIi@ROhwSkI]DJAe`SOiGTKIiDRAi`QOfwSCIEDFAa`HodGQkHYCpAV`KoegR[HyCxA\cDQAX@c_mO\GL`eorGX[KmEZBK`gOsgYKLME^BM`movw[CMEFDB]a@o~g_KOAF~CAaTPHWdCQ]HLChadPQWhsSuIXDJafpSGiSTEIhDRawp[GmkVQJfDqbOpgGsSYMLHEdeDA}H^KnuVxJzd|QzP^smoV~K@Dwq{@_CoGV^KBDvQyH\SmYVNJjdsr@@ZclgWNKHDnQup`CoSU~KEDmquHZKlQUjJVdjQuXZClUUhJVdjQsp^{kwV|KBDfr?`YSoCUbJOE?QqXXCkuUXJIddqdHQShISfISdHqdxQkhUSlIVdJQg@[ciCVFIbDqqf`[Km?TDI^DpQiP[CmCTLJdDQqwpScmOTPJaDRqiPX{iOU`JMDRqhPYSiWUfJPDSR@@VcoWTzKDD^Qnp_{kCWPJ?ECqo`_kkKWLJCECQpP_{oOUNJEECqm@ZsjgUvIuDlQlpZcjcUzIzDnqmPXKj_UPJKD\ql`XkkkTnJID\Qj@]SisVhIiDyqj`][n[T^JuDTqo`RCkOSrJBDLqp`RkkSSxIYDbqlPWKj?TxIpD]qk`Vsk?TfIsD^qypHsmWQZJfCgQy@H{dGVTHPDsqahPKgySZIKdDq^XNsgESDI?c~q]@T{ikRnImC|Qj@NKisRxIiC|q[`QCg{RbHsDFq[pQCfWSbHtDGqYp^keoVxJxCvq}@MCnkR\JyCuqT@SSdKTFI^Cjqf`JCi?QlI`Ciq{PKsn?RJJlCtQz@LKe_V^HfDvQl@KCd{TdHcDWqWpU[jSRBHaDWQePJShgQrH[DMQe@J[dsSvH]DMqQHG{cqQVHIccqN@]kbkVhJvC_Q|`F{bwVdG|DxqO`OscCSJICC`q_pGcg_QJHEDBoRWHsC}A^@M_erv?FkCA@x?z_^ONx|?F]Bt@w_|o^GNKDmAr@Y_loUWJSDaAf@S_jOTwIkCMAH@E_`OOWGl?KBn@w_|O]WNcFm_o@P_gOSGIKDIAdO`?noVWKCDyBB@[_boQGH[CqAR@I_wo[gM[FQBl@tgZAchQchMSjIVdJOvGZ[LiF^Bq`wo|G][NAIFDCabPPWhCS]HbCraYPKgekRYHbCqaYPKwesRUJVDiaupZGl{UyKLEDbCpagpCW]bIOxG^sOAFLCO`vP@G\SOaF\CK`tOrgYSLYElBM`hPbGUsWqDtEO`^PcGWSXAETEK`bO`GmSGaJLDg`HPWGPsUqCtD[`JOkGksIaJdDk`NPYGSSIqJDD[`RPLGNSRqBt@{a`O_GeSQqCD@{a\OQGisTaA\@OabOTGiSDqIT@WafOWGgsEQIT@oajOYGiSTaBl@kafO@G@s?A?d??_JO@GBS?a@D?G_NOHGBSBQ?\?o_POMGASAa?l?k_NNvGGR}AAK~c_^NuGGR|QAK~O_^N~GDSB`~d?o^zOJF|R~a@L?s^vNgFvryP}C}g^bNjFxR{p|c}s^\OXFpsE`{l@_^HNaGLsFP{|@o^LOaGRsGqDDAg`HOkGQsIqCLAW`RNiFdRyPx[}o]\NlFfrypxk}_]XN@FmRv`wC|s]FN`F`Rn`z{z{^@OvF\sLpvSzs`pOwF[SL`vKzo`lMuFmRvPuk|w\nMrFoRk`z{zO^BMkfWRjXuKy}\\MgG]riQFcyk`zMfG^RhaFsyg`xPHFQsPPsSyOaTM`GcSPps[y?aLNwFFrc@}k~[[\MPFzRcp~K~O[dMHFqrwppcwk^NMGFqRw`pkwg^LMFGnR`QKDD{[HPaF@sWPoSwWazNVEyr[@ysvO]rLpFlr[`zCvK]tP`EkRUaJ{tsa|LXGmrUqKDEGYxL]G^sO@j|CCZ@PAEosP@k\CKZDLQFvRSp|{tO^`NrEirTp}StW^bLEFgrs`hS|KYRLJFgRtPhC|OYNLNF~rSP~[~gYXLMF~RS@~css^zNSEZrM@yCrW]bNQEYRtPekrc]fKmGHRJqA\@SXfOUEWrKAA|@OXdPJETrJQHdC{XRPOESSR`dTCsXXKcGcrHQGkqKaLKfGdRGaHCqWaNNUEMRFPzCpw]rK^FlRtpcKq?]vOlEJREaECp_`\KXGVrEqESp[`bKQeHrDHakpEW`K|FaRppfS{cXvK{Farq@f{rw]LLCFMRepgKxsY@M]E`RPPr{sK[tMWEvRZprKxOZXMTEurYpq{ug[lLcEzRX`m{vkZRLdE{RXpnKvgZPL{EDR^P`[ooZ|KNE~rB`oKos[@?w_\OMWE{B]@nTo?VOJwECBA@\?n_ToIgDCAq@Z?h_WoKWESBM@f?q_[OMgFCBe@t?x_YOLGEkBY@l?tfkrthy{|a]vNYfrRxX{S}]^FNcg?s?i?D?}_bOOgCsAi@\?q_\OLgNSGIB|@I_fOSgIsDyAtBM`jOs`LofGRSHeC|A\`BoaGPSGeCXAJ`fOrwY[LAEdBPaDPAw`cOyG^CLaSPHWcsQeHTCfbLpegrkXqK|E^blPuWzc\mM|F\bnpwG{S]ENHFbbtpzG|{^AN\Fle^rMxfsriXxK|e_ROXgSsMYJLCf^roxwK{A]DM}fFRchqCw}[fMPfCrahp[wq[ZMGeYRMHe{rYXrKtePRGxcsqQXNKdeSRIXdSqmXZKkeJrEHbKpmWtKUeDRAx`so}WXKLkSE?BBD`coBWBKLU@BBl_SovW[K@U@a}d^_oPWFJzuAa}t^coVWHJyt}a}l^knlV{JyT}A~l^cn~V}JzuFa|D`{nRW_JtUGQ|\]spFWaJuTxBCt]SpNWeJrtwrC|a[nLVaKRTvQyl\omhVPJntsAzt\Gn@VRJotnaxTZ{mVVKJ_ToQxl[Gm^VBJfTjAudZWl\UqJStlqtTYklfUlJYuBqs|`?lNWPJSThb@dY_oZWMJRTjAr\XglRUZJTTjQrdYwkxUjJLTbb?LW{o@UOK@U?qqL_SkfWCJHUFapD`{kRUIKOTarCTWspFUKKOtzaoT^KkNVnJ@t{Aod^CkLVqJAtxqndV{nHVdI}twant]KkBU?JrTvqntV{mxV\I}t^A{LW?n@U@JnT\qwdV_mJTxJbT]aw|VkmRTuJcT\AvLZ_j`UzIxt\QvTZsjdU{IwtbAotWgkFUDJCTaqoTWOkRULJBsnr@dK?oZWNH_spBAL_weFWOH`TRrBD`cihW[IgUFQiTTKotWZIgtRb@TScoLTIKBtRR@DSooVTJKCuCag\`KiHWSIauDQg|SWonTGKJTNQllS?j^TAIvtOQllR{j\S}IvTtqetRGmlVWIWtLAzLRKmtStJluHAdTQ[pJSgKQuHQclaOhRWcIRTGQrtQGkzSbJMtFqr|QOk|S_JNtYqb\UggrTiILTFAl\PwjXS\IuTDqmLPKj`SSIxTDQm\VOgpTtIJT}a`l^kg\V{IFt~QaDPGn~SPJ~T?QqdXSgDUUI@teQ_lOWknUWIAS~AyTO?mfR|Jis~qyLNwm`RzJiTzq^L^GfnVmHyt{q^T^?flVpH{SyQvt[CfTRjJ^toq\dMwm@VAHutgA[\YCfHRdJPSxas\M_lJRfJQSvRATLwofR^KISwBAlMGonR`KJSsQmtLGjvRRI|T]AYdVcelTvHislAyt\[djVWHZTuqVD\gdnVXHXtzQQlHWnVViHJseA|DHgnRQXJuTbqTlIwk`QnJFSkAq\JGkbQpJHSequTHolfQ\JYSfaulZ[d@UuHNtjqSLY{dDQbJWShauLISlbQcJWTqAT\[OdNVDHSTpaTL[cdXVFHTTeAPDGKklQCJJs`QqdXccNUTHBS_axlFsmVVKG~TrqN|G?mTVMH?tmAM\ZcbbUzGzTmaMlFGlxU|GySZAsDEslBPmJPSZqs\YSbVPoJQSXQk|E_jNThGtSXalDUcbRPfIsTTQd\TWhXTVIUtUAdtTgh`TXIVt@q\|N?gPRpICs{a`TNOgXRrIDstqj\L_ixRYImtVaZ\U?erT^HmTWQX\UGeXTbHetXAXtL?jLRNIqsmQP\GwdtQzHESbQVdJwcTQ|HCscQXLK_chQNHbScAW|HKeTRDHHS\qe|F_hpPyI[s^Af\FchxPzI\OHwC{A]zc?{_]oMwFsCA@~?c_QoHgCcAU@L?a_PoGYl|UyjZIWdKqfHRkhiSvI^dNQgHSKiMTDIcdQqhhS{ieTPEJbEPbgpkXAK^Exb[PmwvSZuLxE~b^PoWwC[MMDTDibTOygdS]iPRWhksuiZ\LqenPogtsZiLlE}bX]LNQVgbptyW{T]fNDvhRpdw{|F]^MyVfbmlvG|@\rNOvfRm|xozl\tNEv[bp\vK{T\sNEVbrm|vW{\]UM{V]RrDvg{r\zNJvebndxkzz]tMuVlrldzOzZ\mN[vZbutz_zZ\oMsv[BlTvCzN\nMrVZrl\vCzP\dNVVkBkTuO|f\_NVvWruTzCzB\]NJvVrqtxkyx\ZNKVVRrLxgyt[lN@vJbo\q{{D]@MTvJBoLqg{D]dMGvCBsdoo|F]eMFVBrsTos|N[BM~V@BntoGz~[?N?V@RoDoCz~]OLpVcR[\xGvH]RLqvdR[|xOvLZUNYUtrull_|lZYNZuurvLlc|p]gLXUkrtLjO|TYtNTulrtljW|X]CLOV`RSLwWtD]FLPvaRSlw_tHYKNCuaRotwOsP]DLDv`rPlgg{PX{M{V]RNlvgr|\zL?u^rnlvos@]rKoUVbttd{|^]oKpvkRKTzGrB]OKhVcRI\xOqn]QKiUTbqlxKqjXENSUPrtLc_|TXHNTuQrtlcg|X]\KXvgRDtbG|@WnNMUKBr|bC{|\MM]VRrflt?x|\PM^vSrgLtGy@[WMiVERilpgyl[\MjvURbdt_wvZkL~u}b\DnkvRZiL}UzR^lmkv|ZSMBvABYTl?wR[JLiv@bYLlKwTZIMcUrrhLkkyTZKMdvRRXlkwyXZ?M\vLrV|jwxl[wL_vMRW\rguDYwLyU|RVLnWttZvL\u}RVln_tx[cLUVHRTlqWt\[fLVvIRULq_t`YYMNUerb|hox@Y\MOufrc\hwxDYMLRUbrS|i_s`YhLGucrT\hGtTXyMIvDbN\p[rrXuMHU]Ba\f[wh\AKwU[Rg\fOyJXqMaU\Rg|fKyL[sKqUXbelecxbXfMWUYBe\rGrJXiKkUYrJLeoqtXZKuuVRL|dor\YAKeU_rHlgOq\YDKfu`rILd?sLYSK_UdRGLhWqDXDLJueRGdh_qFWyLmUMrZlbou|Z`K]uwBF|l{p|WsLaULrW|bSuJWuLbUqRFLb_uPWlLxuIR\|n?pXWgLvUIb]Takvb?C_BO@WDCAe@V?i_UoJJl|vEz`AL`FOcGP{HECdCZaLPEWbcPyGzalP\WkCV]JdDbamPZWkcU}J`D^a_PUWgcTeIlDBa]PTWgsTUH|DVaBPYW`SU]GPDfasP?W_SUmGHDjawOhWTSVMJlAfayOgWlcIeDDDna|OcwncGuC\E@a~OcWPSWMJpAH^[P]wnBzD|dE@^YP_wnbz\|tD~^GPVvpsUL{XDZamNdvqSUD{hDdaWPQWeSSmHhDLaZPRwfSTMHpDP`IOvWQsL}CpB``LOwwRsM]CxBdaLO^WNsPeCHC^`?PGwbcG]CDC`_tO}wLCNuF|@f_vO|WLcN]Fp@d_^OuwEcLE@lBR_[OtWFcL]Ep?z_SORWDSC}@X@P_hOJwIsBMAh?p_GOjWASI}?hAp_JOkwBSJ]?pAt_AOyW]C?]?PBj`uOAw]S?}F\?L^uPHV|sQ\~`Ch^xPIwdr~\~hClaENwW`r}L~HCP^rPCv|SP\~PCT^iO[VzsFd}l@r^mO]vzSFT}p@v`[NqWVR{mDw~L^fOnwWR|ME?~P^]OUVvsDl}@@\^`OVvwsEL}H@`^TOQVscCD|X@J^ROOwGby||P@F_RNewBrxt{p?\_ONfvsSAL|@?d`aN_WXbwUEK}B`cNaWXrw]ES}J]yN}Vmr~l~w|z]{N~vns?Lzx?@E?a~p_goKWQKFdQQBx@ci]TPGRdUQAXACi}OTIjdTPhWrci}TLE`dSPgxTcY]THE^cyQbXPsf]RpIPc|QcxNsh]RxITdKQJXRSa}SxGpcZQfxESiMT@GtcQQaxCsgeP@I@cPQ_xDCgUPTIFb}QDW~s`]O@GXc@QEx?s`}OHG\caP{XGs^MNhHHbzQQxHs^mQXFxbeQVWxsd}M`H`cpPsxKs\]RHFTbdQUxIC[EQdFBciPpXJC[]MPHVbYPxWus]]LpFhb\Pywvs]}LxFlbSPuWtS\mLXF\bnPjwuS]MN@EpcwPewqsfMRPEPctPcxLsXeRXETc[P`WosbmKPG|bDQNwpscMKXH@AE`Ao`KoyYbKCeerAHiKoYY^KIeerBHh{qaXjKieZrJHfKqyXvK}eXrKHfkkaWbKUdfrChX[pQUZJQeLqsHbKpqVBJieQrFh[[qAVJJeeRqyHc[sYUzJSedrOHZ{sIUnJWecrPHZ[kYVnI{duqoh]kjyV^JCdwqoH][jAVrIqd|q~HUknyTnKAd[qmh_GLCEeBTerRixjsy]ZPMjeoRiXkSyeZHMff@RexpSyM[HM\fORbXpCyU[LM^etRbxlsxU[pLpfJR[xmcxEZXMRf?RUXmstMYhLxejR]xjcv}YtL|faRsXws|M]PNTfdRtxzS{}]pNLfURmXtszm\`M|fXRnxwSz]\hN@?@RvH|G?Q]|Nj?BRwH|k}w?HNb?@R{h{{~??LNd