CAT(2688,6)
Sparse6:
:~?i?_?O?G?C?[?H?C_AO@W?k?U?e?O_GOCGAw@Y?l?U_P_DwBK@a?n?X_KOJ?Ak@M?h?q?SoIwDSAe@V?i_UOJgDkAq@\?l_NOFWB{@i?x?Z_OOGgCKAU@H?b_RoHgDC@E?b?P_j?CgAS@IAw?a_OoGGKgD}BB@__noWGKKDuAx@]_m?VwJoEEAy@__joUGIsDiAv@X_k?SwIwDUAg@U_XOKwEcBq@v?|_h_LWEwDU@k@S_f?MgFGC}AY?w_g_QgH_DAAc@J_e_QWHoCaA]@F__oOgG[ByA@?~_a?SGGoDEAI@Q_l?JwJGBEAu?o_DOBG@[?u?^?M_DOAw@cIO?R?G_BoBW@{?y?N?H_COl_A[@U?h@Q_gOSWESBQ@f?z_]oNGG{CeAP@I_eOQwD{BE@`Ba@iotGY[LYEnBW`h?rwYGLIE_BQ`coqgXCK[E\BD@fOp_XsKcEDBG@aOq_W[J{EDB@@aOo?W[JwElA{@kOnOY{KkDrAz@eom_XcLODlBR@ZotOVCIuD^Am`YolGU[IiDXAj`WokGUSI}DZAm`WOkgUKJUDhAr`S?qwTGKuDMBK`P_rwY?IIEaA``Q_rwS_LAEaAe`N?tgS?LaC}BV`M_nwR_KECuB?`Q?nGSoJyDIA|`O_eGROIMCqAa`IodwQsHQCdAR`GobwQCJkCVAy@Coa_VKGWEhBR@CO`oYkHwC@A^@@Og?OKKSB~BF?~Op_NkF_DT@x@Toj?M{FCCpAX?xoe_MSKkBhBL?zOr?MkJWBV@l@[OloLcEeBT@g`L_XwKgHuCw@e_p?hwK_IaBEAh_|?bGPoFqBuAL_v?`GOgFACE@nav_kwUkJQ?v?Y_MOFWBs@}@D?__OoGwCkAQ@L?f_SObGPsGuC^AP`GO^WNsF}Bd@r_woZGL[EuBR@i_sOXWK{EYBH@b_pPkOsoYeLIEgbR`igqsX]KpEUBPPe?scX[LFESbIpcwrwXULAERbI@gGr_W]KyEHbC@fgocWYKJELA~P_?p{WwJ~DzBMP^OrsVoKzDxBMP]?rsVgKzDvBPp\OscVWLDDuB?p\oo[VSKDE`AuPZOsCUwK~EgAspYotKUgLTE@ArP_ok{WGJPEDAqpX?osUKKHD`AxPW?mcUGJfDfAmpY?jsT{JLDbAspYokkUgJHD_AuPW_lsUCJZEX@kouor[XgEtB^AxOwOmcM?JfE?AkPUOnsT[J~DPBSpi_i[Y_IdDNA}p]oiCSwJxDKBQpQossSsLNELAapb_gsW{INDAAlPP?j[SKIxD@AwPNomKS?J^EXA\Pe_fKXkHvCuBGPM?qKR[KdEfAXPhOeKYWH`CkBGPI_qSQkKbCcBDPb?csWkHJEXALpFOrSXkGxDnALPE?mKV?GrCQaIPCwrwPEG_E_bO`BwsOOqLGCMbP`BW`OVaGUDyaC`]Wj_OYGODZaB`UgowNiFwEHbC?}w^GTyI}Bw`z`VW]cNYFjBdBDOxopcMWKVB\ARpIOZsQ_ExC`AVpGodsQGHZDSA@pT__kTSGHCVA@P??asPSGBCt@~o~OecRKF|BpA]PN_][NGHzBmAcPQ_]CScF^C]@sPG?\SP{FRBk@pOzO[cMkFFHd?EoBw@sewItD[alpVwjsTuJLDgarpYWl[UiAj@S_hoLWE{BY@p?x_\OOwGKCI@^?p_WOugZ[LeEvBX`lOvgZkLqF@B``np?G_SOEGFCDaAP@g`CO]GZCMaEPCwacPIFDBc`poxg[kM]TqIwDXQlpUCjWTbIwDXqlPU{jOTlIlDRqiPT{iwTPIhD[Ql`TCj[TNI`dPqghQOjMSgItdHalHQWhUSgIUdJachRWhES]I\dGAfHPkgqS\IKDKQbPRSgwSrIkD@qipOkigSHI?DBqa@OSgCSLHsDGQ\`QKfSS^IWCwq[`RSfKSrHmDXQk@L{jCR`IkCtqi`LkikRXHhDUqY`T{e_T\HjDWQZPUSeoTbIeCqqXpSkiORLITCpQdpKchWRFIICoqapKCgcQ~H]DBQV@PCdsSNH|CsQYPN{fwRTHsCkq\`J[fSQtFmDAPzpOkgKNZHLDLqR`Rkc{SxHGCzqQPNKc[RpHvCaQP`NKf_QJHAc`qOXFWhyPyI_c]AfxPGbUSUGvdDALhLwa}PaHocWAZhDGiuPUIncTAjhCsa]PPG_cPQGXBgeER?G^cnaFhNo`qOuH~cLA^XAwfiOqH{cKA]xAs`UOhGPcHqCh@s`AO^I`CCQgp@SiGORF~c?q?G}WiYNiIdbyAhG}?dYNcHWbwaTw{ofqNGHzbqa]hMO]ENEHpcx`wgzoeUN?Hecr`vwzk\mMxFXDNpu@SChwMtFQDXqlOycjOMfFNbgpsHOG[iSCFHd?@qxJo[YQyFGcm@pwwWdUMIHSbaASwvGdMLmHTb[ATHTOZQTWEudT`lWuOdaQmErbWaTgtwdeL_HZbVAUhKOYmLYHcbUAWxE__uPcGJcXaBH?gbaOMGycBAMXFo_IOGH?c^a?w~GciNuHKb|AQw|W^aNkFkbt@|xCg\UPEFVbjAHG{w[qMYFhbf@yG~_[AMCF}b}`oXIGZyQcE~b]aSGvOauLwGmb\aJHqGdMQhHTcmQVhJkJADdAp`PoggSKI}DZAm_LOFGB[@u?~?]_|o]gNcFYBh@t_pOWwKc`uO~G]b`ppWwcZiLxEzbUPjWt[YyL`Enf]rmxvcze\tMwfXBlxu_zY\eMtfVRjHtkye\VMifSRhxssyU\HMbfXBfXrozQ\eM^fMbgHrwyI[{M`fIBjHqoyu[iMmfRBcXqOya\MMRfFRcHp{xA[\MNfCBdHpGxY[SMTenBbXpWuAY}MKehblxugtQYcMue`bgxg_yUYIMcfMBOHrWsIYAMYePBmXc_ziXEMweKbehr_pm[uKYeKBjxawzEWkMofSbCHtWpI\SKPeCBdx`GxaWMMXd~R?H^{nW\xJvF]q|Pv[nQVfJqdwBdx]GxeV]MWdmqvhZ{lW[ZMKDiQtPp[kmUZJKdcBjxXOzEUQMod[bgHsGjmTsMafHanHqGjy[cI|e}b_hnowQZwMBe?b[H_OvEWELqefb]XnWtEZsLOelbQhjgsmYwLHebBNXh?r}YMK}e\BRHhormXwLLeibLxfGt]XoLUfAbKXowrM[KKqeWB_HdowEX]L~eYBIxdgrYXiKkeqBFxkoqEZIK_eMBZXlwpyWyLmeDBUH`_tiYqKJexb@h__vUWILsera}xlGnuZOJ{d{BBh^Go}WYJyetAyH[ouqVMLjdpbHX[gq]VGKedoBWX[OuMVALadlB\hZ_vaUuLvdgayX\WlMUcJidgBCxXwpUU[KSduApX\ok]VYJEd`bIhW_qaUCKhd^atxW?leUAJWfEraxpcwy[`MN`nOvWZcMEF@B^eUrIxdclIUfJPdbqphWlF?bVPpGssZqLTEWbhPfGxSYAM\Fwb@PaH?SWQN|E{ahPUGws[AIlEoabPmGhsZQITCsbrPJG{SRANTF_aPPyGdS]QHLBm`tOxgZSMIE|Es`RPmGRsZADD@_bvOYG}sEQNdFS^zN}Gzr~qMs}wbdNoGyRzqM[}Gb|NcH?RwqN{|{bvN`G}rwANc|E]`NQfdRrHx[{OblPvFbRpQMlACaJObGbsGaGtCGa\PCGgSOqH|Dk`dOoGmSUaELAg`~OjG_sOADdAO_|O_GRSFqCl@S_dOSGJsDaA\@C`|ONG]sCAFd??`fOtG@S?QEc~[_LNxGCR}A?{~O_vNuGMr|QBd?o^ZNkGFRyq@k}c^xNiF|Ry@~\As^JOnFrsJ`{s|w_FODFmRvQ?d?c]rOIFlsApzS|KanNTGkrtAJC{w^bNrFfrrP}S{[]lNHFkRq@y{{KazN@GnroaJsz{bJPbF_RnaKdNcQlHWcjoIwDSAePfGscXPlGusZU]`NQfgrqhxc{mgSSBiCD@I`HOIf{SDh}D@y_pNuffRshys|i^DN]gORuiDC}I`HN]fiSDiBc{y_pNQfdRphwSzY\|MyfIRxh|cxi[`Nif}R`i?cwy_@MIfuR^hoC}YZpNiecSAhiD@IYXOMe]R{hgc~iY@Nud}S@h~cniVhOAdVQkhUsiYTTIadgQvhZCmIVHJUduQph\CkiV`JMd_RAhVcoITpKEfUQ`huCgI\PH}euQ[hmcfiZ`HucqRKhLCriRXKucoRThjcdiYpH]ceRBhacdYW`HQcaQfhQcciQ@IYcYQahPcbyPpIQeQQIhdcayXPGqfMQFhscaY\@GacKRXhlC`IOhLaeKQ@h@CpyOXKaJXDmauoPGGsCUYRLIedrBX`{oyikTmikD[IixU}iiTliiDYyiXUqiYTdifdXyhpUYjQTJieDYIlPSiiBTBi`TNigDR}hQTdiTdXidPU]hKTgiSDYicxUegeTkiGdZYaPUmggTmiJD[IahU}hySriYDMyePRqhoSni[dKYfPRAhiSkiZDJiexQui}SdiodGyk@QQhATZiPDUYc@TigyTaiNdXIbpUMgsT[iMDVYjpPmgmTCiKdPib@SUg[TOiGDSi`xTEgUTFicdBYh@OqlGU]jODhishX}lAUZjPdfYsPXqkoUfjLDiYrHYakiTqjJD[yqxVEk]UijUDcYtXXAkYUFjFD`ip`WakUUDjDD_yo`Wek?Tyj@D^IoHVmj}Txizd^in@VujgUQizDdImhXMmaD_aopWgkkUQJFDJaePRWdsQ}HZBj`uOzXictIYfKwe[rLy{h\}nGV\jpdvi{X\inIV[jqDuyyx\umqV^jkDviy`]AnCVUjidwYz@\YmqVTjjdtI{P\MmaV`jhDwItx[mmYUljeDjixx[am_VIjfDqYwt[]mJVAjaToyv|[Em@U{j^TnYvH\iluV[j\Duyup[mmYUwjeDlyyPZUmeUrjgdlIxpZAm_UqjfdkXJ{eER@HgctQYXLceuRVOTgJsDiAL@A_^OIgDsAY?l?Q_FNLffrrhxC{e]NWjKPUHBDlaopFWnKNuKBCLa?p\W[KNuFbCD`spBWZKPuERCd`gpDW[KJUFbBD`sonWXKJUErBD`gonVwj{t}jA\`UohWOKTuCbDd`CpZWdKEuBrC|_wpLWIKVUKB@\a{oXVzKST~RDT^opRWiJyuIQ}|a_nlWfJsuHa|\aSnTVqK?T|A~|^Kn|WCJvu@Q}D_WnbVmK@TzR?\_CnXVeKBtyB@L][oPXlHxs|Y]dNYfpRv_loUgJKB}A@?}aXPKWeCQmHXCiaCpAw`SO}GbCOeXRKxeKrAX^KmeNrGXcCpyWzK[hXSkyULJAd^QmhLseYRTHYcpQVkBuAZ@D_QoLWDlOugJSTh}s|Y\lIEgJQhiIskY`lMecZQXh}scY]lKebzQxgysoYOlEEfJPhhmsUYYlCE_jPHgMsSYClBe_ZNxgYs?YDk}E^zNpgEryY?l@E]ZO`fmsEXylDe]JMxgurkYKkyEcJMhg}reYMkweZJMPeirUXokreZZLHe}rOXmlCEXJKpgisQXdkoeejKXhqrCYZknE`ZOxeAq}YEkledzJhhaqwYXk}EUJNpdiryXXkie]jIxfeqkXzkseTJKxdIrOXRkxeRzIHfUq_XsktERJL`curUXMkce\jHXfaqSXvk\EZZF`e}puXmkZe[JMPberaWwlHeLJQPbYpiYPkWedJEXhYpcYTkbEOJH@cIqMX@k]ePJFxcMqIW}mCaUxJKdiRFHccpPiwtcYuL\EobVrwH{K|}^FNcfpRoXw[{I]@M}f^tMIfTRehjSviZTGYcTQAgzS^iNTCYaTPMglSTiIVKjeLrAx\[nmUvHBd\qoxL[dMTVGRdLqKxP[aMRvEBb\pgwz[XMMVDrcDpWw|[^MIvEBaTpgwh[XMHvBralp[wb[UMGVBRcdooxL[MMQvGR`LokxF[aMDU}bc|noxRZzMSU|rdTqovrZwMTvCb]dnWwhZtMHvBr]Lp?vd[PLxu{BbdmwwzZnMLuyrbtmox@ZlMNuyb`LokvPZhMDVBB[TosvH[MLpvJrZdqwu|[lLmuuReLrGuv[oLlUtb_tl_wPZVMBv@RY\lSwHZSM@v?bYTo?u`[@LgurR^lkwv~ZNL~UqzXdkiuPZHlbumB^ljgv~YxL~UlR_\j[wJYuMAVABUTjOwLYrMBv?RT|oGtb[?LWUjJTtiutVYhlTUpB[lmWuLZDLruwBWTmCuBZ^L`unbS\k?tJY~LQUmrS|iWtzYgL]ViqoLWIk@T|i~T^z?\_IoBV}k?T~ziXyAya]`mhFfzu`xY|k]WnYfdzuHxM|e]TnXFdJo`zE{K]qnAfkzu`wE|i]BnZF_jnHyuzs]jnUF]JmPyyzg]nnWF[zkpymzO]lmrfjJu@uUzG]mmpfjztHuI|S\_nSFWZshtu|M\]nRFVzi`yIyi]cmjFgzshsMyG]fm`FhjtPsE|O[~nSfOJfhyMxw]cm^FgjfXyExq]_m\FfzrXv]{s\umyfeZlxxqza]]mwFfZp`uqz[]JnDFZZpHum{M\inCFYZi@xIy[]OmffcZhXwuyY]NmeFbjh@v}{?\Im~FQZnXsUzy\Fm}FPjept]xo\XmZfUJjPrMyw[tmlfLK@XeerNXgktuZJLT[qmZVJjfTryyDcMqJXCkbUPzHDxA{d]PnFVbZp|r]xp[umYvKzeeA|@N_goRWG{CmAR@@_`oPWFkB}@v?^_OoFWA{@m?q~k_VoKF}J}y@e~e_YnygFJ}a@m~__\oNf{Z}Q@z@?^loPFz{CH}z?O^koDFy{@H}i~M_GnsgAj|A?e~?_XnngDzzq@a}w_YnmgFKBX|m}i_PoHftzyq@I}c_SniGDjyY@V?g^NnggD[Ap|A}W_PoHfrjxi@I}Q_JndgBZxQ?q}K_MncGCJwy?}}E_Dnag@zwa?Y}?_Dn`G@zwI?Y|y_en^gIJvqA^@G]yn]GGzvYAU|m^{n}fmZ~pzb?C^coAFxk?X}U~}^`o?fw{?@}I}o^xnlF}zzH~jCQZ|l~u~j_DoIwB[Cm@v@Z_|oYwPYdlPuhJS|iatLaQPJWdsQeHLCjaKPKWbcRUGtCraKPFwbcQMGtC`aSPDWccPMHLCVaAPBWaCOEGDCN`xPCW\sO}F`CLaOOyWbsMmFXCb`pPCw[cP]FLCTaWOpWecKeHdBFaTOnwWCQuH\BB`UP@wUCOmD\CHaBOhwTSOmGPAh_hoTWI{DuAr@Z`dOgWSSK}EXAd`MOswRsLUCtBP`KOvWQcMEClB^`jObwZSHMEpAP`|O^WOCN}B|B|`yO]w^CFeFl@v_wOmWMcJuBdAz_tOkwLsJ]BXAt`COXWLCGuCT@f`AOWWOsD}CD@b?E_BO@jr|yE|@]anQVgzsly]|L]inSviJoDv}z|\{m}v]{F}BzA@_zo]wNKFUBb@r_toZwLkE]BR@d_noWwKKDUAn@R_loUWJk`EOfGNcDqBX@K_MONGDb}q?W~{\YN^FQbtptG|k\QMrFUbmpsgz[[qNJFObsprg{{\yMZFabgpwGx{[]MVFHbbpqwxK[AMrFCbmpogz[]ALvFab^pvgvkXyOvE_cMpfHB{`aKrGSbLqDgq{`IKfGMbIqCGqKWiORGKbFqAgpk^YJ~Fyb@p}GoKWaNbFsbAp`g}[]iJZDobvpzGl{]QJNFgatpxglKUAONDccApWh?[TyOBDYb}pVG~{SaOjDKcKpQhA{`iIFDEcNpPHBk^YHzFya_p}Gf{^QHnCybwpMG}[ZYIbEwahplGh{VaLRD{bTp]gtkVYLFDqbRp\GskZIInDWbWpTGt{mA?V?N_EoCWAk@MUpJJdiQrXYskeULJ^d`QvXWclmV@Ivd\QwxVCmUTdJ`dYQwxUCmUVTIbdsQgX[sh}VLIZdtQfX\CheQbHRciqUxI{deQ\JXdiQQxHcl]QDJ\c^QvxGClmS@H\dAQWXOSd}THHzdSQ^xSsfuTTHtdVQ\xNCiuSdHndJQ[XQcfMRPILdGQZXPsemRDIFcrQaXKcgmPlGzc]QKxFCbUPXHDcWQQXDsc]PTJNdhQIXYCa]TxGdcPQoXCCj}UjJXdjqvXZ{lmGNCJaCpCW`kO}Af@T_joUWJkDmQbHTchqTxJ[dePfGvcYqKXDka}PNGjcSqGXCkaM[\MffGRiXqSym[PM`fERhXpSyM[DMJfBRbXocwe[@MNe}RcxqCv}ZTMZevRfxlcxuZHMTfKRYXqsu]YhLpejR\XmStMZ`LLeyRSXmSs}YLLvedR]xhCve[|KxfMRLXrSr]X`MTfJRKxrCq}XPLxeUR]xdSv]ZTKVevREXlcpmZHKPeIRYXaSu][LKLfARBxoSomWHL|eCR^xoCo]V|Mfe@Rix_Cye\@Jxd}RhXsSnmY@JleaQ{XgSm}YxKdekRHxjSqMWxL^eORWxbsuEVdKze^Q|x]cruKBD~b@p`WpKW]WjKPeHrEXb[p]aXPIg`sPiH\CiaJPGg]sQIGLCa`~OogQsLIC|BI`RO]gZsGIF\AI`rNIgasPhx{{qaFNEg]rpIGK{a`~Ouf^roiF\Ba]BOof[sLHvlBI\vOEgKsFI@\@i_ROig?s@ID|Aq_FNmf|r{h~{~A^zOKfssCH|l?y^VNagHrxiA{}Q_jN[fyrwH~K|y^nNWfZruhu[zQ]nMofirjHy[yy]bP}hMs^IR\HycBQGh@saiOlGqcNQMgtsciL|HAbZPehKsYIQ|EQcjP]hRsWiT\EAdRP[hPshIJLIAavPQgws\II|FIajPMg|s\iHlFaabRIhgsriYlKqefRUhasuiXLLaeNQwhUsnIULJid^Q}hXsliW\JQeA?AhvSvY[??Yfe?ChwSvy[O?QfQ?AhrSzY[_?YfV