CAT(2280,6)
Sparse6:
:~?bg_?O?G?C?[?L?D_AOCO?c?Q?L?D_BO@WBw@A?\?M_GOBw@{@e?p?V_Z?IgDcAm@^?l_VOIWDKAeAg@D_`oPGG{CYAD?}_]ONWFsBq@z@B?^oP?GCCCAJ@@?boP_GCCG@~?o_WoKgEcBU@f?u?`OLoG[B_AH?x?aoMoG{BgAL?g_SOIGN?B}AB@?`B_]GNKFiBt@w_{o[wMSFIBh@s_xoRGHKCmAZ@G_dOSwHsDAAb@Q_fo\_LcEsBj@p?zOZ_M{E{Bj@o?zoU_KCDkBB@a?moWoJsESA~@c?mOXoIcEcAl@W?sOUOL[D[BL@i?ioFGBs@uDs?c_OoGGCSAM?~Bc?QoHgCsA]@J?f_UOJwD[Au@T?m_hOSWICDMA^@M_mOVWJ{DmAt@]a@?}g^CNeFlBz`zo{g]cNMFbBt`wOlGVKJYDnAw`YokWUKJIDdAr`XolGUkJ]DpAx`ZOmgVcJmD|A|`^onGVSJ}DzAz`^OtWY[LIEhBV`jOugZcLaEvBX`mo|_[cN[FJBe@|OyO^KM[FvBg@{Ovo]CLwFhBp@oO{_[KNKFFBt@pOz?ZKMsEpBi@lOuo\[LsF^B[@vOsoX{LCEhBT@fOs_XkKoEnBO@jOpo[KK_E~B]@coq_[CKWFFBJ@pOr?[cKsFJBe@fOxoX{LCFRBO@sO_WOSGMCHAE`Aoq?NsK[BvBI@?O^?XKKkB~BE?}ohOWSIWEBAf@aOi_W[KSDRAg@_Of_WCHgEDAX@aof?W[HsEHAZ@_o`o\SG_FVAH@uOa_\kGoF^AJ@vOcoT[HODXAT@UojoRCJ?CnAU@VOb_R{IGCZAN@OOc_SKIOCbAO@PpaOBC@e?n?V_KoEGtO@i?t?Z_LOEwB[ZWBv@{_~O^wOCFuCnAS`HodWRCHYCrAY`LofGRsHuM[EuB_pmOv{Z_LzEvB]Pm_wCZkL|EjbVPigtcY}LZEsbXPkGuKZMLjFBBYPk?ws[GLfFCBXPkOw{[SLjEWBFpdoqKXcKdERBIpe_qcXWK`EJBSPh?pKWoLRELBQpb_ssY[KTE\BNPeor{YKKzEaBMPf?sCYCKvEcBOPh_rsY[K~E`BSpgoskYGLPCXaKPDGakP]GlChBBpI_pCW_HLEEARpIoosQ_KNE?b?p_gokWMKHDsazP\WnCVeJnE{AsPnOlKUgL|DjB^pZ?wKUsM@DaaqPXgk{UUJFClBTpjoeKQoLTEkAVPj_d{YsH`EwAePm_h{SgLlEvAdpmohsZcIZEMAapP?pKScKXEJAbPbOg{S_KTEYA`pe?gKXWH~C}BIpdogSS?KrENA[Pc?fKXCHtEQA\pd?fkXKHxFEABPo__[O[MNFCAAPpO_k[KGDB|a?P?W^{NyFxC_ALPG_b[QCGxC\APpFockPwHHDmAFPZo`{V?G`DpAGpCom[PGJdDOAnPWOiKT{IdD[AhpTOjkTOJ@CtAjPL?i{RWIpDYAXPLoj[RKIrCKA}pA?nSOgJvCHA}PBOn{OkJ|Hl?GoCgAs@U?f?Sd@?FgBk@q?z?]_MOFwCSAM@H?__OqfOp{XEK`EQbHpdGq{XUKlEWbKpeguCZELdErbYplGDsAu@^?k_TOIwHkCqAR@I_cOQwHCCeAX@I_eoQwHsC}A`@R_hOSWLCEYBR@i_toXwacPUGlCVaKpEGcCQEHDCbaQpHGcsQ]HRCjaSPIgjkTyI~D_aopVGdkQ}H\CkaWpKG`cOaGRCIaEpAw_SOMGJCCaBp@g^sN}FzC@`}P?H^wnEVdJrdyQ|h]kmIVHJbdoQwXZ{mkU~J_DuQwP\kmGV\JcDwQwp\{kwUzJXDfqs@ZcksUtJZDhQsPZsjmTxI|d_QnhV{jSUtIxDnQl`ZKj[UvIyDmQm@ZkkCT^JEDXQo`UCkKTbJDDXql@WciKVbJqDSQ|`SciSVjIeDxqhp]chiStI[dMQexR[esVRHnDsQZ`\SmSR`HqDrqx`MKg{VTJdDGQb`[{hKVLIPDsqy@QShSUfISDiQtPRChWUpJUDKqtpQ{ksS^IRDfQb`YKh?UdJNDHQs@QKkoSXIIDbqa@XCgcURJJDDqq`PkkCSDJAD@qopOckWSNJCDBQpPOkj?RxH~DXQ_PU[fsT^I?DWql@NsgKTJIcDAqgpOsgGTPIfDBq`@SsfSRvHsC|q[pNKf_RtHvC|Q\`NKg_RfIHCyQb@NCgkRlHtDEqa`M{ncOFJvB~q}?~snoOBJyC@Q}p?CeGR\H]CuqWpMKd{R^HqCoQWPMCdiQpHXclqVXJcdGRxH|Chq^pIkfwQhI@Cjq_@IscqQ^HLcgQSXHscWTRHFDTQQ@T[ccTXHJDVQQ`Tkc?VzH@D~QOp^scGV|J|Caq~PGcbOTvGtD]QL`Vsb[TzJ?C[qnpFChWP\ISCXqK`Q{bCSjIXCVqK@RCmoPPJlCSqz`DSmkPVJoCUqzpDcaKSzGdDNQg@CSh{PHGfDPQH`SKegOlHiCJqYpBC`kRXGYCuQYpBK`?TDGPDMqC`SKi?OjI]CIQfpA[kgOTGJDbqqp@c_sUPGNDeQB`XK_[VvGCDzq@P^C_WVrGHD}QA@^S^INfFsbyp|g}{^oTnFyD[p}PVC^sTtFzDZQlO~CicNXIiBupz`T[]{TXFoDVP{PTk]?UfF`DiQtO{S]KUlFdDkPx@Y{`oMhG\BiqFoys\_O|FXCOqG?y{ecM~FYCqPv`Ks\kRJHfBmQY?zk\KPtGzBfqN?yCbsMbFMC^qN_yS]WMRFiBdPyox[]_MPFLBspxoxc~w?\?O_FqYxLceiRrHzc|Q[xMcfURlHwczq_XNcgARzH~c~QdHQkhYSnIWdKolWVKJYDhAv`[OoGWKKQEJBA``oswYkLYEnBQ`iOuGZcLuErBZ`lOvg[KMIE~B_`poKGEKBI@f?t_YOMGF[BY@n?y_[o]wNcFyC@@|_~o_WO[GYCDAD`AO`wPCGiCRAK`DqQXHSc]QPHJcbQFhBc`}OzG`cOQCXAC`IOhGTcHqAh@[_qO^GLcFPtgyc\aMnFXbipqWxC[qMZFIbds_QKHFMbEPugzcWiN@EYbIPsgqC\YNxDUakQ?glC_IJHGAamP~gkC^yKXCebAPKgpCQiHXEYa[PcgecXYG|CYaJPGgaSOyGXBQ`iPCgbCKyEpCU`aPGgbcKiDTAY`NOggQsIYF@Aa`mOfg[cIYFPAU`SOzgRCNIBxBua?O`gOCNiC`B}aCObg_cGiBhB}a?O]g_cEyGP@i_qO}gMCNY@hDAaaOPgFCSyAPDQ_]PQgfcCI@hCeaUOMgeCByA@Cia[OQgecCYEH?]`cOGgCcKyEh?q_SOugDcLI?@Ee_?Pgf~CYh~pE]bWN~f~cYxf@Eub[Kve\CZyM?rUXqPqgwbLh|`Ay^QOjgUbzYDw}y^SOogUByyIo}MamNcgkBxiJO}U^OPTgkbxxzhFe]}PyfnC]x{PFq^?P}foc^Y?G|]_CNWg?buY?W|q_ENYg@BuyD_{Q]AOngTbnyDg{A]COogVBoyJWzi\wP[f^CVYJozm\qP^f]cWHuhDuauMwfZCVhuxD}\gP[fXcWHnpE]Z}Pge}cYXo@EibWMAf?cYyIOvaZwPPe|cTIHwv]ZsPRggB]Xm`FIbYLpgvB[iMGvYb]Ltexc[H~_uyZ_Nzevb~XlW~qZWN|f|bZYNOtMbuLWg{bTyN_tQb{LUg}bTXhxAE_}LLegCHHhpAA`CLQegcGxgx?QYOOCecc@XhX?Y_KLKedC@XdxFiX_Pzg{bKXePFybwKseXc^XcX@M_gKcgIbHYAoqY_oKggJbHxbx@M_gK\gKBGYAgqAXCOUgJbFiMWpQWiPueGc\HaPFUboKUgzbCyBGomWWOYeEcEx`p@qW_O\eFcFiF_oi`mKDg[B@iFGo]`sKHg\bAH_P?mV}OFe@cBH_@?a_SKCe?cAX}g|E]cNufhb|xy_~a]kNyfib}XxWyE]WMafebgxxoyQ\KNOffbhXpGw}[_MIfGbaxqOwq[eMLfIBbhx?wM]IMCfAbphwwwY[ONIfBbqXrWuU[wLefMbXxroua\?LifNbYXjwy}Z?MmfUbWXkOzAZGMqfWbWxjor}YqK{elBMxjWruYwL?embNhg_xeYKMUe`BehqgsEYIMWe`bdxdG}}XYNreTB{HdW~EX[NseUB{hawymWoMhfRbEXt?piWwMkeLbig@k?u?Z?F_BoAG@C?e?RUZ?DoBG@S?i?X?J_GoCgA[@Q?l?Tf|r~X~cXyK~E_bOpgwsSYQLJEebRpiWtCW]KPEE_yo\wMsDYAn@S_kOUWIkPiGzCZaNpFgbcRIHfCsaYpLwesOEF~B{`}o~g_C{m]XNOferrhx{wm[XMLfFRaXpSrMX^KqeWrKHecoEWHJ~e?R?h_\\On@VcJitta{L\[nJVaJktuA{\\GnTVRJttra{t[{nPVOJstsQ{|ZomPU|JctnaxTZ{mVV@JetrAwDZ?mfVNJWtraud\?ldVPJYtsau\XsnTVgJNTfA|\]ck~U_JrTxqr\YsktUWJVteQtTYokpUjJLTjarLK{lVROJTTjAYLYsedUnHiTjaY\VSkbUNIwtbqmTX?jfTuJGt\AqD[CjPTdJ^TYavlUcl~TeJ_TnAk|[_iNTGJctQQxTSgmVVLIeTrAh\Z?hvUpI]TNQuTRwlhT?JYtNqu\Q{nBSqJoTxQeL]Gh`SsJqTKq{\Y?h\ShJNtJQr\QgkxSkJMtIqrtQ[lBUaIPtgqcdYOhJSgJRThQct[SgtVFIKTFAwt[KgvVAIKtpAa|ZcgJSEJ[t@qvTOglvSHJ\tAAvTXGfrURH|S}qqdXSfxUVH~Tda^l\gfZVZHvTvA\|N?mzRqJns{QztY_fFUgHqSxQtLMWlRR`JRthq[TYCeRUeHfTgaXTYSeXUbHethAX\ZWdzUvH_tlqVtZ_d~UuH`TmAWDXGdnURH[SmQqdXSdtUVH]TdaV\ISmhQgJittqS|\cdRVWHTShaytGwmDQNJ`scAwd[ScdQPJbsbQwt\gcNVZHDtvAPD\wcTV^HETvQPLWojnULI{taqn\VgkRUII{TbandRSkFSuJATLqolR_kLSyJCTMQo|PCi~SQIoTCqkLPOjDSUIqTDQk\TKgVTSIETTQ`lTWg\TWIGTTq`|PsfNS]HsTFq\LQ?fTS`HuSyqcTNKejRsHjS|QY|NWepRYH{S|qZLVseFRCI~T^qWlW?eLUAHcT_QW|O?dlQsIASkQ^|JGgBQtI@Skq_\SsdVTMHUTRqTlIwi`QoIhSjqiLUkc~TkHOTZQSLUwdDQcIwSgql|HcevQYHmSeqZlHoe|Q]HoSfQZ|SCcnTAHItOqQdH_iHQUIbScqglTccBQAIlS`Aj\GWixT]HAs_qjkgyS^IOdGqchQ[KeEVBE`dOqGW{LAEbBM`eorwXcBA@b?q_XoLGEkGyC^AL`HOcWQC^yN~G?c?q?x?S\}MtFZbmPvWztIAdBQahPshIR|nWuzZtLnUwB]|ncuxZ`LyUvr^DkgubZJLhUtBXlkou`ZNLhutRXtk?vDZALpuoR[tkKvHY}Lqunr[|l[tLZWLRuiBZLiculYiLluirZTiCv|Y_L|Ugb^\iKvxYdL~uhB^lmCsjYSLmUdbZtl{srZ_LJueBZlmos@X~Luu^B\\fsvRZiL?u^b\DfCvnXoLyU[b^DnWrfXtL{u|RMdegu`XjLguZBYTesufZTKvutBLteOvPZiKquXb\\morRXfLuuYB\LlWq|X^LkUWBZTeCuvZVKpUuRK\mwq@ZnK_u{BGTnCqFXDLxu{bGdbkvvW|L|UMb^dbwv~W~L~UNB^lmGp\WnLpuKB[dbCvNWrLrUKb[l_Ov\WDLvu@b]D_[vbWHLxuAB]TgGtdYrL@ulBOdjSsJYFLZulbOtd_stXXLLuUbRddkszX\LNuVBRtd[uNXSLauSbWddKuLZHKiuTbXDbOs\YQK[uLRP|bWs`YRKZuMBQLa_tXYnKUUjbD\actZYoKUuIbULaSofWcKIUCRC|`GpFWeKIuCBCTcWoxXFKMuQrCLc_o|XIKOUQRB|`cttWYL\uErVLjoopWVL]umBAt_gqXWJKeuBBHt_sq^WNKguBbIDg_n~YHK?UbB?TggoBWBLEuaq~t^_ndVxJxt}a}|^knhV|JzT~A}lfWnXVmKztzrND^?rrVlK|t{RNS?i?X?JaFPCGaSO}GbCRf?R^XoKvy[DL~eJrEHbKpqWtKZeAr@h_{oaWTKHnRfkztHzU|I]unRFlJuHya|c]inMFljrhzM|c]]nYfgZuHyA|g]^nGFjZq`ym|_]TnHfjzqHyy{c]knAFgjohyI{K]bnCfhJp@yQ{M]bmxFlzmXzazg]xmyfmjv`v]|u\unQfNJspru|Q\@nRfNjtPr}|O\?nTfLjexyqxo]lm[fjju@rmxs]nn\fEZb`ziws]vn]FFZbXzawo]xmrFdjlHxe{u\jnLFYjl@x]zM]WmcFajhHwmyS]KmdfbZhhw}yW]Mm`FUjgXtmyG\[mafVZgxt}yK\]mWF]JnHrEzs[qm|fKznhrUzw[smVF[ZdPuqxU\lmUFZjm@q}xY\nmfFHJhxqUy_[emgfHziPqaye[hmPf^znppy{?[^n?fGJcPwMxA]AmDfDzaXoewK[QmBfDJapoiwO[TmEFWJ`huEw[\ampfBzkhpEzG[Om?FTJ_HtUwC\Um@fTzj@oUyq[CjKTeirKGUCBAC`BO_wOS[aMRFIbePrWx\H]cfQShIseIQuC@@o_qo[gK{EaBj@i_zoZgN[EqBr@Q_\oNGI[ByAj@U_aoTgG[DQAB?u_}o^gE[AyBz@}_Yo^gFKBABy~}_ko?GJ[?IAz?C_no@gK[?aBB@Y^zoUF}Z~qA~@[^yn}gK[E@~r@k^dnogKkEx}J@i^boYFxj{aBM}i_xnjGMjyyBm}o_{nlGN[F@|e~Y_DnvG@j|y?^?O^onxGAk@H~E~M_bnsGHJ|IAU~S_enuGIJ|YA^?a^ZnmGCkAX|v?g^]oJFwKAh|}}[_OncgAzxQ?q}U_LoFFrZxa?}}E^NnaFsJyH{U}K^SncFszwx|I~e]|nyFnj}hz}~k^?n{Foj}x{EKvE\bMWZsQEGxBT`jPFWZCP}ExC``lPFw_cMEGLBbaCOxW`SM]G\BjaEOyWQsLEEPAN`fOcwXSGuEXAP`IOsw\cJuFlA~``O|W\sKUF`BF`_O{wUCPEDdCR`YPDWUsP]GtAzaKOmWSCI]CpAd`LOiWTSHuD\Ab`UOfwOCNeCDBz`AO~WOsN}GDAH`DP?QexRchjCmazpKgm{RAJvCua|pLGnKVaHrDEanpQGkKUQIbDIappRglKSqJNCyahpNGikRyInD?akpPGjkTiIFDoaTpHgl{QIJVDkaUp\GckVIHREGbOpags[WqLJEMbRpcgt[XALRD{bIp^gq{WAKrEAbLp`gr{XqKI?Ab[PjO?cZiL]?Ab]PkWuO?YL~Eu?APowu_?YMB