CAT(2560,3)
Sparse6:
:~?g?_?O?G?C?{?J?C_BOAW@s?i?X?J_EoG_CKAE@B?j?SoHWDCAi@N?e_POHGCSAM@H?b_b?PGG[CUAi@F_cOPgG{CYAP@H_eoQwHSCyAX@O_iORwIKDIAf@X_jOTwJCDiAj@x?loWGJ{DqA|@\_ooXGKSEMBJ@e_soXwLCEiBV@k__OOWGSHWC\AN`FObwP{GyCZAJ`EOawPkGqCLAG`Bo`WPSGeB\@n_uo[WMCFIBj@w_xo\GMsF]CE@x`A?]gNWGABwA@_~?^wNgGIE??v_[oMgF[Bq@p?}_^oNWGkCMAF@C_aOPWWKKIEJBB`aOoGW{KYENBE`cOqGV[JuDtA{`^OnwV_KeD{BK`]_rgVWKmDsBL`^_qgQkHACbAR`IOcgUkJaDrAu`YOlwUCJID\An`WokwXOIiEUAk`e?jWXGImDOBM`S_rWScIIDFAf`QohgSGKID?BB`M_oGRoKEC}BC`a_fGQsHaCtAX`LodwE[BU@b?s_ZOKgEkBY@b?q_XoLGD[Ay@Z?n_WOJGKcEUBB@b_rOWgLcEiBR@g_toXwQCHEChAQ`HodWewQmHZChaVPJGdSQuHRCjaVPIgdcQUHFCcaRPIGc{PEGhCTaHpDgaSPYGbCRaIPCgakP]GpCZaMPEWbSQIGzC]aNpGWcCPsHHC]AQpFocsQ?HFCgAPPGOc{OUGPCEaBpAg`KNmFrBy`}o~g^cP[FpBsAKo|ObSN[GxBrAKO|_b[Q{F^Co@wOzOeKMwHdBqAYO{Oe[L}F@B]`mOuwZkLKHlCt@iPL_X{L?HjBPAZOs_ekLSHdBUAVotoeCL_HbCs@lPKoZKN{GVCKAAP?O`sO?G`CAAEp?o`{M[FBBi@pOyo[[MoFHBe@sOyO[k@m?t?W_KoFWBc@m?p?\_MOEWBSZk?~?__NOFgCC@}@n?z_\ONGFKBa@z?|_^ONwF{ByAZ@K_fOQWHSCmAf@O_iORwIKDIAb@N_gOSgIcDMAj@V_kOUWJSDYBx@x_|O]wNsFuB~A@`?O_gOcGMBZ@o_vOZwMSFEFNBk`sOyg\KMmG^CMaDpBGaCOuF~C@a@P?G_cOMFfBt`{O|w]cNYE`BP`fotGY[LIPAGUcKqEHAk`iOnG]cMqFxCC`qOvGNcGQCXAS`QOfGGc@q@H?k_YONF|b~q?H?K_IN|Fxb|p|w~C^iNxFmCBPzp@C]kOFGCBuP{@?{_SNZFgbspxw{k]YNTFeB{P}O{k^gNNFgBzp~?|K^kNTG\BoqF_z{`oNDFcCNpwpB[a?N@F]bmpvGzK\mMtGYBnPvPAk\gOlFZCKpv@BC\cOnGHBhqA_yc\_OZGJBipt`@s_oMnFLbfPrwyC\IMbFLCKps`Ak[wOnGYBfps@As\COpFIbePpwxC[mMRE~b_PnWv[ZyLxEwCGqBovK`?LrEwCHPm`AcZgOfEvC?Plo~s_CLlF|BZPlP?S^{LjEpByP{ouSY{NbEoBxPko}kZONlFnB^Pn?|c]kM@FoB^pz_vkZkNZF_BTpx?tSYcNDEkBnpj_{K]KLZEfBhpi?ykYKMlFWBQPhOycYWMnFABTpj?wK[WLRFBBTPj_wcYsMJEaBVpk?sCZCK|EqBNpfOucYCLfDOafpSgiKTQIfEbAfPQoscSoLJDHBRPQ_tCSsLNEVbKPeWrSXqKvERBdPpoqK[_KhEQBcpd_x[XSMXELbFPbGp[XAK^EHbAp`go{WaKTD{CEP]P@KVkO\DyCDQAonsVsOZDoavPZwmSVEJZGZArqF?lKUkP@DiCMpZ@Bs`{JPD`BMpW_rsUKK~DcBOPg_ksYCJJFtAnP|_jk^GIvFpAmPW?}[T{NhFBAbPo_g{[SIJDCB_pp_g[[OIPDAa]pNwfsSEI@DTA~p_OjKW?IlEAAjp`?jSWKIpCxAxpN?mcVSHpDuA\p]?e{V[HtKV?IoDwAc@I?l?ReP_CwA{@U?h?Q_JRK_ukZ]LlEwb\PmWDcAm@Z?m_VoKGVSJuDvA{`^ongGCCAAD@@_`OOWJkDmAx@]_oOVwQSHECfAT`GOdGTCIiDVAh`UojGTsI}DbAr`WOkgSSIQDNAb`ROhWRcHuC|A^`OogGQ{HaCrAY`LodghKSuITDJafPRGiKTAIdDRaiPRwjSTeIjDUakPTwlsU}J`DpaxPZWjcTuIvD_anPVwg[SQIJDEacPPwfkRyI@C~a`POXsOwI[FMCfAr_HoKvo[NLzFCR]`pSwcZ~MEE~R^Pp[wWZDLdFDRX`p[w[ZFLfFCRX@pKuOZ@LfEnRVpk[uSYxL`EpRX`jky?YlM`EjrgPjCtc\BLYFORUpsCtKY~LQEorVPict?YxLTEoRSPjswoXlMPEZrLPpsrS[ZKvFFrc@esrC[lMREWrJpqSr?[hKnFJrK@qkugXVLgETRJPlkqcZVKmEsrZ@dcq[YVKbEdRR`cks{XLKgEeRH@hksSXBLGEMrP@bsscX@LFENrG`gsp[XvKwEKREPfSpgXzKxEMREpfcvOPHG`EzQG`m{aSZrGeE{R\PC[oqW\KJeGRBX`{oCZ`KAEwq~plsu{W@KCExr?pmSq_V|KbD{rHP^SqWVvKfD}RH@^knWYZJrEdq|@hcsgVjLND{RR`]{nIVbJldvQ{H\{x?VXJfFEQy@pkmc[\MPDtQypp{m?WbJ[EHqupacpGUzJ]EJRDPZ{rwUbJNE_rNpYSs?UfLBDgQt@gSxkUXMWDcqqprkkg[rJMFLRf@XkxwUHM^DcRf`WkkK[~M]DbRfpW{kATzI~d_qohVsjaTvI{d\QlxVKsOTbLDDXRP`U[jWYPIsEcqlPg{tCTJLODRRS`S{tOTPIiEiqiPi[h{WbIaEJQg@a[iCWhIcEIqgpaShcX|LBDMqe`gChkYBI]E^qf@gSvgSNIHE~qa@n[ggZxIKE~Qapnkw?SHM@DBR`POkgC[DIBF@q_`ocfS[pHuFKrepNKxsRtM[Czq]@rSecXRHiETQYpd[esXXKmCvRJPLce_[jMQCprcpKce[[lMVCqrd@KsacYnGiEkRU`DctkPVGgEjRUPC{vOQnLtCkR\`JKv[QtH[E{r]@J[dCXpHSE\qS`fKdKXtHUE]qTPfcrOQ`HJEXRK`HccsXhKrCfRKpH{c[WrKVCaqP`bCccWvHGELQQ`bcvCP~H@EvR[pG[u{QHLoC_R[`GSpsPrG}ENRG@FSbkXBKaC]QNPb{bKZPGtEsqL@lSbWZXGvEurYpFClSSpIRDjQd@Y{hSUpIUDlQdpZKoSSZKEDFR@pP{o_S`KIDHRAPQKikRvIkC}Q^PTkg?T`H~DVq^`TsdsR^H]CwQVpMKfGR@HsCoq[pKSmKPZJaCVQxPD{b?VLGqDqQKP[K@y@@?^h`?BwAC@A?^?P_GoAW@k?q?T?J_FSsOBC@e?v?\_MOEhaKpQWdKReJRDXbspuW~K_ePRGXdKqmXXKleVRIheCrEX^?f_SOHWDKAi@L?d_SOHgDSAe@N?v_[ONGFSBe@v@H_doQgHcCyAZAE`Ao`wPCGiCR@l_vOZwMCFIBb@s_{O\WMsFMBnBl`vO{W]CM}FdB^`lovWZcLyF@BV`kOtWYsLiErKAe?R?X_coMV~J`dpQxh[cmUVFJWdiqthY{liUrJDdbQpxXCkMUHIvd[QmXVcjiTvH{c}q^hN{gARvHncwQ[XMSfQRfH]coQVXKSd}RBGhcRqIxDcaiPPHOcdqRXHsc}QXG~c_QOhGKcQQFGxc\qMhFsbuPxGwcXqLHEkbYPnGlcVQKHEKbIP^UEIxT[Im\VQjjTpirtXIklUYjRTgitDVIlXTej]TYiudVYl`Taj[TZicDRIhxS]iQTPidDRYhXSyi_TEizdNIfhVijkSyi^D]yn@Rmh}TxitDLIlXRUjWSuiZdZylhRej[SwiSD_IoHQqhSUBj@DIydhWUhQUCizDJIdPVmhOTviUd]idXVahQTxj?DGioHQMkCSciRd`IohQUkESeiJD[IaxVEgoTqiKd[ymhPmjgSYiEdHY`XQYhCSMiPdBycxOqgSSciADCI`HPUgcSGiHd@YaHO]gKSSiMC~i_@QEgyR~iND?ic@OMg}S@h|dFybhNahARyiNC}Yb`NufwS_ipc|ikHN]i{Rqinc{y]`UIj?RthwdDI\`PAgaRliIczi]@PIgeRniZCyye`MihiRhhsdLy\PRafUSxi@CtyZPOMf{RWh~cuYZ`OEeuS?hhd^inxLEj}RQi~ctIYpVyeiT}i^crifpKye_SzhgDNIXxRie]S|hcdJiX@REeSSniXcqyePKueWSohhdEyYHPYekSXhhDDyY`PaeiSYftCwiZg}}^UR]fuCvx|hME^[R_hbCgYRpKIc}RBhaCgISXK]eIQahHDSiiXHUigQRijcdiipH]iiQSh`CbIPhKMeGQMhacbyWxHEeKQOihc`ii`G]iiQGhCdSiixGmikQIgxCoILxKEbaR@gxcoIM@J}b[Q~j?CYIL`WUkAPhj@cYiLhWIkGPjgpDAiKXOqbKSLgrdBiK`O}bISJhocTI[@DMeyPOhpCTYZpDIe}PPhcCQiHXKmaYRIgeCqYHxKua[RKiccOiGXSm`{TEg^dPyG@SiiOP@gXsLIETBY`nOtgUCtyZ`BA`[RXhlCJyZXAu`aRWgOSGYCdAI`FOdikCEijH@misO[ilcFYBxTq_{T\gJD^IBHVq_mT{gID^YB@Vu_iT|hxCBi]`?}fkOOhzcCY]X@MfiOQh{CAI@HNe_SRyh}CAy^h?ufuOKg@DRI?XSu_GTMgAdRy?xTE_KTOiVB~H~xRAh]N|f~DKYeX?EhcO?h]B}iVg~m^kQ{fzcnX~@Jyd{NxiBbxH|@OQgONeiCbxx|HOUgKNdfnDXHzxUU^?TefodXylG}M^CTgfhDVyjo|M]gT_fidWXyxUM]kTai_BrIgG{uiENNi`Brigg|EiGNOfcDOYg?{Y]MTAfcdOxxPSU]UTCfXczHtpMu\]RmfWCzxuPNE\aRofSCwxtHMQfIMihrBiy\?yufMMkfPCwxs`MQfOMdfRCxY[oyM\MRfg|CVINXDubwP]g}cVyKHF}b{P_gjC_IIxGEcCPWh@cUYO`DicIPZh\cNYVPBq`oQug[clyVHBi`uQwgTCfYR@AYcqOfhLCIIRXAe`UQ[hWB{IUW~I^iQpfyCkh}XJQdiNpgaBuIGg|eaKNYgbbuxzhCeaON[f_C\HwHFU]CPugzboyNG{UboNChTBmhvpImdWMzf]cjYTwz}\wQmhQBlISgzUdKMuhRblyTGzedOMw_Bo@w?{?U?H?E_AO@W?tns?P?G_CSnyWLKAe\ROhfpiWtSYmLXEmbUpkwucZEL`EnbXP^woCWMKBECb@PYwlSU]JPDkaspLwfCReHtC{a\sKiE\BU`lOvgYSJYDdAy``OpgVsAY@T?m_XOLgCR{x}K~I^hNofyrgxskyI\LMcfRvEbalp_wd[XMHvDbblp[wv[[MIVBBbtosw~[NMOVGbaDqKwb[`MFU~bgDrovz[|L}u~rgLrwv~[~L~VNB@T_wx|WNM_vNR@lr{oXWJM_VMBWtrkuP[vLaVMbW|kcxl[xLau~BVlngtxYwL}UmR^\ngttZzL\uirelr?tL[pLRuiBeTicxhYiMXv?bODfwwD[@L?u^B_Do?r~X|M?u}BNDncrvZwK|U|rMtn[rrZxKzu\R]TnWrhZpKwU[R]dfGvfZtKxuYBede[xfXeMXUYRelrCrH[oKqvBrJTosqpX\MGVBBJLdkwbX[MFUSbetr[qf[wKiVMRIlrkqn[yKjUzbHdmwqZZnKfUSR]Dd?v`ZnKfvHBHLc_xPXEMQuPrdLcgxLXJMRvArF|bwwPWyMBUMr_|bowTW|MCuLBdTq{ppWtMTvJBEtqspr[mKZuIBbtakw~[bKTUJBcDqCpZ[aKSuHr_doKpF[BKPUHB_daSwJWeMAvHA{tqSnN[eJsVHq|LqcnV[gJtV@a{Do[nBVaMCTxR`ToknHVbMCtuBd|\cx\VTMTttBdT\[xX[lJjU|avlZovbU}LxTnr]\[?vhV@LytkBaTZCwf[SJYtkbalp[lh[UJXtbRblWwwt[WJGtbrb\WowrUOMMUgBYDiCubZSLQugbYTlStFYcLhufrW\jwstY\L^uoBR\hwuBZALMUaBPtgcs^YILGUarQLhKsZYQLEU_bUTg[thYrL@ulROdj[sLYuLAuqbJtkwrFZJKnurBKDeCu^ZLKpUOBLlewqHXBKvuPRL\eoqBXiK`UFRA|`oolW]KKUERB|`kpBWYKOUKrA\bCodWOKVUJrALb?ojWqKIUvq~l^kuzVyLnT~BZd^cvBVwLoTua~t\ko@V]K?tvB?T_Km~V\J~u@Axt_Sm^WEJgU@qyL_cmfWGJhTrQ}\^SmVVsJdTrA}|[_nlVqJctobYt[KunVCLkTpRZL[[uvVELlUzQvTZWvPUvLsuyavDmklvZkJ[tir[TYwvHUnLpuxQtTYovNUlLrUdArthSk~U_LJTgRQ|YKsrUaLKTeQsdXglJUZJRTfAs|X_lRU\JSUjAqTiskfYmJITdRT|X[tbUULWTzQo|]wkPVnJCtaa}DWknbUEJuOAW@S?m?X?M_Eu|z^LnavtZ{l|o\wMsFaBf@t_yQGXCSaMPHGecQqrxYClIUbJSdhq_XOSgMSJIEdAUUJJLdiqvX[kmuRjIDdEqZXKkftbIplXAk\UNjGt`io|WmkTUGjCw]cOEGDBvaBO}W`SN}GHBzaCO~WTcKUD\BF`XOqWXSJ]D`BL`YOrwZcFuB|Bd`@OwwOsM]CHB^`?OwWJcIED@@`_pOhWJCIMA|Ad_lOgw\sDEAlBj_iO{WHcMeAdBr`uORwAsM]?pB^_IOxWZc@m?dB`_GOwv|cLD~\BR^wOtWZR~UEk~v`kN{v{CI]DK~b^rOiWTR}eDS~j^qOiVycNT}lBv^lO~VzCNl}|B~`{NvWQbymCk}l^ROfvscHeCs}n^SOfWWbwEEK}B`dN`WXbw]E[}H`cNavcCI|xDAp]QOkvcsJTxTAv`UNIV`CHTwTAV]EOeVaCHtwdA^]FOev[cLDvLBR\sOtWYrmmEozn`lMzWWBmMDozX`\MuvZsJ}ECz`\mOnW]RlDuXBh`vMsvXsMmFWzT`wMtwVBkEDszB\bOoWVbkUECzJ\cOnw`Bj|thC@a@Mlw_bjeGSy|aBMmwGCBUAD?v_aOMWFsCm@x@H_bOMwDBidtd?r_TMiwDbitt`?p_VMjw?cGe?LAJ_CObW@SG}?\AR_EOcWCrz|}D?d^]OFVwC@|}L?b^aOGVpcEUBO}V^FOXwLRxD{d@n_uNdVmr~tzg~x^|N^VnC?L~{|~]|O?VvRu\zC}v^WNVVkBzdzG}r^YNVvlBsTzS|F]uNQVhRu|y[|r]eN[VrBqtxk}^^LNJvrbrD|C{r]YNgVyBo\vw~H\~Nqv_B{t}c{D^fN?v]sFeB_zp\xO[v]cFTvt@z\{O\vSrpdsw{T\NNDvSbplw{y`\PNFVfBhDxsyR]]MdVfrh\ss|B]_MeVObtDsW|Z\BNSvPBtTs[|X\DNTxLcgmRPI@ctQ_xOcfESLHrcvQaXCCcUPDHFcQQQXCscmQ\GhceQIxFs`eQDGZc]QFxFC`uOhH@c\QDwcc_]O@Clb}PHw~sQeH\GBcAPIwxcauM\GnbgQKWySbMPlFVbiQLWwCfUMDHvc{PpWxSfuR|FFbcQ]wucYeLlEjb[PjWvSY}LdE~b]PkWrcdEK|HRbQQUwsCdULLHVbPQUW{cVmNLD|bsP^w|SWMJpFnbuP_XKsUuRDDvcmPZwmCd}JdHdayQWWkC\eJDFZaqPvWzsU]NDDjboPYWiCXmIPEPadPcwhcXUIdEXafPdwfcTUH|DVa_PUWjSSMILD^aaPVWeCWUKLCrbCPLWpSR]K\CzbEPMWbC_eOTCZcEPFX@sQEOdCbaNQCW`c^EG`FrbyPCw}sPUNtCVb{PBxecneXlJze@RMX^crmX|K@d~RNXgCmEVTLFdsRQxhCmMVLLBeaQxXQcl]UhILdJQuXPslmS`J^dHQvXXSn]U`JpduQqX\skuUdJrdyQrxVcpEWdI~eIQoXaskMWtJFeKQpXdCjETtKneTQkxdcjUXdIxeWQlxTcq]THK\dRRFxTCqET\KbdTRHX_siMWHIXdLRAXRcomS|KNeEQgXnsym[HMbf@RiXsCvu[@MdfBRhxnCtMZ`LLeiR]xisv]ZhLNexRSXpCuUZTMNfDRXxpcueZ\MReuRcXjCxU[lLZfKRVXrcuE[|LbfLRVxtc|E\\NRfWRtXuS|]]tMvfkRlXwcze]LMzfcRnXxSz}]DNNfeRoO?S|q^Q?CfnRyo?s}A^ZNm?BRwx}O?Q^NNo?@Rx^