CAT(2666,2)
Sparse6:
:~?hi_?O?G?CAS@C?c_P?GwCWAQ@i?q_YOKwESBQ@f@L?aOPgGkCQAL@D___NwGWCAAC?}_]?OGFgBy@u?~_`?NWGWBqAA?z_YoLwEsBa@t?x_q_KWD{BA@|@?_^oOwGKCI@j?v_ZOMGFSBeCK@s_zO\WM{FeBp@m?yO[?MsE{Bj@x?wo[_M{F_Bf@m?wo[?M[E{Bd@c_pOWwKSEQBF@f?uOZOKsESBV@V_kOTgJKDmAt@f?hoX_IkESAh@[?yOV_MsDsBj@x?no]?KKE?Bn@L?sORoLSCwBR@Q?tOS?LCDCBR@I_eOQwHGEqBY@G_b_YwDsAy@\A~?ToJWDcK_AR@G_boqGXSKeEIAz`b_mWVOKYEIAx`\?pwVWKYBx@y_|olWUcJMDNAh`SOigTcImCuBG`M_qgR_KeCiBA`J_pGQoKMCqBA`L?pGWWHaCcA~`I?oWQWKAC]A|`G?ngV_HED}AK`F?oWW?GuD{AH`]?awVgGiCGA?`A__WOWGIDGAo`R?kgSgJEDAAv`[?gwUoIIC{Al`V_gGRwIyCK@|`C?^wOwFy@N?e_QpC?DCAi@RCX?SoIgDCAa@T?h_WOKWD{A}@b?o_aOPWGsFiBx@z_}o^wNsGACBAA`AO`WO[GUCFAC`XolWUcHUCnAU`KOegRKGYCPAF`DOaWP[ScIGC|a^`PWfoSMHiCoaZ@Jge_Q}I?Cja`@JWgGQqHRCiaSPIOd[QgHZCgAUPHOeKRKHNCeAXPA_gsOoINCJAcPB_gsO{IPCLAbpEOfSPkHxCYA\pN?bcPwHtC\A\pD_eKRKGpCVAXPLObCRWGlCsAJpCocKP{GjCSAOPCocSPSHHCSAPpAo`{OoGZCIAFPC__sOOG`CDAGp@oaCPGGRCGAGp@?b[PcGLCYAAp@obcPwGRC\ACOtgYcLUF|C?`~o~W^cNmHCBy`{@HGcWNeFiCd`z`Hw]oQYFcC|a^_{wfoNQFFBd`qOxg\CM]G}B_aO_wgc?MEI?BY`m@OgZWSEEyDB`n`PWZoSQH[BX`j`KGdwLaE_Cva[_rgf?K}EaCw`h`MWYOR]EWDE`d`PwXgSaGABn`w`?w_ONAFQBk`t_zg\OMu@D?c_PoIwDkAq@V?l_UPp?`{OyGZ@a_qOWwHkCyA^@O_hOSWG{CeAP@I_eOQwHSCqAVBS`jOtWY{LeEpBJ`eorGzG[QMuFEbl@pWwO\MMEFTbi@oWwO\YMoFBb_`twvOZ}LqF?b[@ngvWZyLyE~b]@oGjkTqIvF`AnPW?z{T{N@EzBXPnOucZoLfEwBVpm_uKZcL`EkBgPj_ySYsMbF[BSpvOt[\wLTEeBjPu?tCY[MnEbBhph?ykYSMhE_bPPgWrkX}K|EYBnpf?{KXkN@FFBGpqOq[[_KdFLBFProp{[wK`EJBepbOx{WoM\FPBCPs_pS\?KREDBdP`ox[WWMXEABap`?ws[OKFE@b?P^wngZYJ{EtbZ`^GnKVmJtDuBYplonCV[LlDsayp[wlsUuJ^DoaxP[WlcUmJTDfaspYGk_[]JKFHaq`qGj?[iIsFKak`qwig\eImFZaj@ugh_\qI[F]ae`vWkGXQKkDbap@dWhwTIIgDPag@SwhWXeIQEWad@dwVkJyDxBD`bopgNkF}B|A?`@O_XJOcUQwHFcbAUxBs`}P@GZcMqFHJg`UQ}GVcnADhAOdUOgHUciACxJg_YQ}GGcnA@xJG_MOIHVcAAUHIw_AQqGAckA?W~WdmNsHYcm@~HI_^]NqHUci`}G|[]uNXFmbwPzw{k]]NLFgbtPyXF_cIP{HCc]aOxFWcaQSGyccaMXDOa}PUGmcUAJXCwcmPQHLcSARHCob}PIH@c_AHHEo`aOsGwcZaEX@wbMOaGscGALX@_cyO[HOcEaRxIG_eQeGJchAAg}O^}NyFrbw`~g}gaINkGbbyAGXEO]INEGobqAKXSSiQTFI^dOQgXT_eITYH`dTaWHR_iaS{IidSafXQWhASiIQdIAcXOGfmSCH{c}a_xNofaS?Hyc~a]XMog}RmIMcyabXMOg]SQHsdCA[xO_e}SKHpdAa[HR?eySmHldJAZHLGheRUIZctAehSgeYROIfcrahhPOeMSWHddDaXGWSKQEF@z_}O]grKXaKnESbJPdWocWMKDDRaiPShZ_meUyJgdlaxx[_luUuJedqavH[GlaVEJYdpAuXZGlyV?JWdlAvxYkl]UlJQdiQsx[GjiVCIzdpanHUwmQToJed[axXUGmeVMIqdsAkxTolyV?IodVavxXwkeUUJPddAsHWWkYUIJGdaApxU_kATkJAdYaoXX_juT}JMdeanhbOO]GRCGaEPAw`SPMGhCTaJpEGas^MNbFqc]qNhFcbePvGycZQMHE{bMPjGscWQKhEKaiPXGjcQQHhCkqsXHKmEQrGpdcqKXRKdETrH@dSqGXdKsEORKpcKq{X@KpEOrG`eCpwXlK^EZrFPekqWW~K\ESRHpbspkXzKzEMRE`fcrgWxKwELRMPb[nWXVJwESq|pdSrkWbK|EHrN@aSowXjKOEZrBpesokXXKLEVRB@dkq{WPKpEDRK@`KoUWNKEe@R?x_crGV~K@EYRKp_Cr_VxKyD~RMP^kncXPJzERq}`cspcVjKVDxrE@]cp_V`KXDwrDp]Sm{WlJlEIqz`acmgWlJkEIQypakwoM@E}b^pogw[[ESNIHdCQ`HOsgUSBIBd@Q^hOCf}[aMVfIbbxq?xY[cMNfGbdHq?xM[yMLfLbbhr_wq[[MXfEBehpgxaYnLWejR[hm[vE[iLaeqBdxqouM[gL`fHBVxqWuA[yL]fLbVHr_tuYqMWelbeXjOxi[QLTeiBaxiWwiYaMIehBaxi?weY]MEefBaHowsu[KLIfCBRHowsmYMMBfAbQXh?wQ[ILCebB`HggwM[?L@e`b_hoGsIX{MAf?BOHfwwEZmLmewB]XlwvaZuLje}BZXnOuqZyLge~bYhnoueZMLueqb\XkovQ^KN\fnRvxzS|q]vMhFpri@{ky[^HNbFQRh`{k}O\JNaFPrw@sK}C\DN_FNrg@{Sxw^BMiFfRj@yCyk]^NJFjrr@zC{s]rM{Firn`yszs]hM~F[roPv[{?\tMuFarppvCz[]LMrFgrspuk|G\hNGFWRk`xSzC]RNBFVrj`wc{G\ZKSeJRDXa{peWpNwf|R}Y@|?y_ZN}GHsDQ?D@O^~OPF}r}qAT@?^xNjGHRyaAC}c_bNgGISDP{s}[_fOIFysB@}|?k^lNrGCr|A?{~G_POCFvs@`}L?S^`O@FuS?p|t?G^ZM?f@R_Xo[wU[HMEfBraHp[we[TOUGYSLaBDBS_nOrG^SKQF|BG`zOmG\SKAF\A{`xOjGYSLaDlBS`XOvGSSIaFLB_`ROdgRSHyCdAM`DO^GZsGQFLA?`pO]G^sFAFtBs_zOXG\SEqFd@g`vN_fpRwX{[}U^HP?g`SOYJ\DuaxPKGnSRaKDCsa~P]GcsQqKDD{aTP`GbSWqHDEGaNP`GaSWqGlEGaFPQGisTqIdDWafPWGfsUaIDDcabPxGxs]qMlFgbhPlGqSZqKtEwbJPiGzSZANDF[bVPoGrs[aLDFCbRQDG}S`aNlG[b|QAG~s`AOLGKc@?q_XoLGJcDyAz@^_oOWWZSLqEvB\`novh@c_uO\GHcDqAhUKjMTdImdWQjxlCuiZRLderrXh|K}m^TNgfrrxiITDQafPNggsSIUPJadsQsh[ckyTxJUdaQvhWCliUXIqd[QqhYCjYTxIedaQjhWCiiSpIqd[QghRcjYSXIedIQjhQCiiSpIAdOQahRcgYSXHudIQ^hQCfiRPIAcwQahLcgYRhH]cqQ]hKCfyRPHQcuQUhMCdYQHH]cqQRhKCciPpHQc_QUhFcdYPpHEc_QQhFccyP@JadsQIh[caYUhGmcYQvhZCbI\o@Y?p?V_KoEwBTNg?x?]_Mt??B{AA@B?{_]oMwSSIMDBA]`OOfwpCWiKREDbBp`hKseaRNHbcqqXH]snaVnJzd{q}htcym\TMlfVrjiAt@a_nOXgLsEiKdEYbJPfgssYIcxQuhQSniSDJidPQQhWSeiTdHYd@QIhQSbiRdGYc@QQg{SdiNdHicHPmgySbiMDGibpPah?SXiNdEiahPagmSYiJDEYbhPQgwSQiHdEyahO}gmSOiGdDiaPOqggSMiHdBY`HO}gaSJiDDCI_xOygOSLiBDBI`XOUgQSCiDD?y_xOMgOSCiBD@Y_LOAgDSAi?t?IVXNuf{Q|h]C~y\@QifSSkhsdIy[hQufMSnhrDJi[PNifwRch|cwyZxNifwR`h|cwIZ`N]eyRxhnC}I]`LeeuRuhlC|YYpN]emRxh{CuIYXNQfiRThiC|iY@NEecRrhgc{iXhMye]RohfCzy]HKifeRKhxCqyWxMyf_RHhcCzyW`MmeKRlhaczI^pKEf}RBh}coiVpMme?Rlh^czIqo?m?X?I_FoBW@tYG?`?Q_Gti?Ak@M?hUgjStiitLYalTSqJQthqeDYWhbUOIlTUqqTXCixT]JGTVqqTXCizUbIjthAjLYGipTSJQTTas\TSlDU`IgtSqsDTGk~TOJMtRartS{kxU`IeTRQr|Y?iVTGJNTQardSckzUXIateqg|XgiLUUI`TeAg\X[iHUVI_TeAgLXWh~S}JLTeqfdRskrUTI[tMqqdRgkfSuJQtMAs|R[lLUTIXtLQq\ROkhUIJATbAotWkkJU@JBt_qpLWGkPTwI~T_AnTV{jrTtI|t\qnlVWjxTkIxT\AltUsjfThIvtYqmLUgj`ULIptbqklWwjHT_IrTWalDUCjNV{?JOEGA{@a?l?V_KoEwBS@e?v?YkF?FGBs@u?x?]_MtcIqTXEo[WSkGEDj@x`UoaWSkHeDjAP`Un{WIj}EAI~h_eoQV~kDE?Z@@_AoGWKkDe?j?X_uoIWJkBeBJ?p_ulhUujYtlyvLZan_WPjxECy}H`InYWMjveCI|p_}oIVikBdzJ?p]mnMW?jse?Y|@^}nGWAkADxj?X]UnwV`jpd~i{P^ulUVxjUD}yth^insUojVD}y~HY}neV]jydwI}`\}muVTjjdvYz`\YmoVQjlDtIzH\Mm]VHjgdqiy@[mmWVEjfDqIxh[]mGU~jadnYwXZylsV?j`DnIwHZmlcVuj{DkyuH^]?V?K_DOAw@c?i?Z?N_FOBw@s?ura?O_GoCgAC@E?dVzj|T}Y\\MufXRshzS|Y]|NefpR}h~s~ZMHf]reXxkxE]JM`f]rkXxkye]JJxeurAXkkoEYzL`eQrUXbkpEZZKxe}rIXokrEZjL@eyrSXokseZzJ`gUq{YCkme_zM`dirkXXkle\ZMHdYreXWkxETzL@dMrQXTkiEYjI@eIqcXckgeWzK@curAXNkneRjHPeUrMXKkrEQzGxfirwXHkcE]zGLcIqFXDkbUPJFpgMq?YDk^e`JFXfirwW|k]E]zNhbar}Wxk\E^jO@bUsCWvl?eLjNhbIr}Wsk~EKzDxgApaYAkWE_ZBt`}ozWakOuGJCdaUpFWekSUHzD``]oqWmkUeEJBPaeowWjkLeIiq\XUkhU]jMtfIr|YEl@UdjRthj[hhivGYWlpeeZThlmt]Z[lVEujTPmMtWZdlTexJT@lqtQZYllehzS`luu}YelQevj[HiEvCYbloEgjRpluu}Y_lNevj[@hmsyZaloefJPdgus\YPlGUbzQThMshYTlJudjYxkUuqZFlkEpjY`kIukZClieozVxlEuAZRl_EsjXXjqt{ZLleEnZXpjeu_YzlfemjUpkauSYwlcelzUXgYsOYtlBelJPPjAsUYqlCekZbHmYwuZfmLEyJ`hpMw][TmFFDJa@oiwW[QmDfCZ^hp}xAZzl}FGJ^@pqvs[]l{fFZ]ho]vk[HlzfAJ_HnIwEZsm@E{z_@nEv_Z}lve~z\hoYv[[CluF@ZapmevU[WltFDzgWAA@B?^_OoFwCDTiixTZinTVyjlaepVWikUUJjDltGyX\MMiVRRi\s{yR\OMdvSRhTswyL\GMeVRRg|sKyR\DMdvPBhTsSy@\AMaVOrgLsGyL\GM_vPrgDs{xP\PMTVSBdLqSyd[fMiVHbi\qGxt[cM]VGrf\r[xz[xM^vMBftqwxh[oMZVJrelrCxV[lMXVJBe\wG?j?R_IOCwAk@QoPWIkCuAz@l_qlVUljUTjiuDY}ubZRlhUrjYDk}uVZLleUqJXTket`YqlWukzUljQ{a]bnQfczqPyQ|?]MnGFgjpxyE{U]VnEfeJp`xe{g]JnIfbZqpwq{y]GnNFaZrxwi{s]GnMFaZrXwi{I]PnBfcjopxM{C]MnAFbzq@wM{G\~n?f_zo@wI{I]@nBf^zopwAzq\Tm|fTznPtY|?\unOf\zsPvaze]bnQf\Zm`yQz_]VmxFeZmHxa{y\lmvffzlpxy{s\inMFZJrXumzM]SmsFdZlHxYzL\dmqVWzkTuEzw\]m~FWJnht}zs\Zm|fVZnHtqyo\{mlF^jjHvu~gXlktuZJLtfAr^[FmCvAJ_toUwH[@m@v?j^toAv~^|Nzv~r~L~w~p^vN|V}R~d~_~v^sO@v|c?l~T?H^uO?v|C?D~T?D^|NgVsR~||G~|^LOAW?rxu?S}^_?NdW?bxe?C}V^FN|VqR~d{_~v^@n`vojwDzy|~]zNwvnB}\~G|z^mN[V{BvT}{|r^jNYvzRu|}o|l]qNtvlB|lzK~X]pNtVyBt|z?~R^gNUVybtt}c|Z]hNwv{btT~K|V]eNvViB||y[~`^[Nnvvb{L|s~@^cNlVwbz\}K}r^UNqvxrzD|[~L^RNaVpbyl|O}J`MO^wO[GEBr@|_|odgCKHi?~AW_PoeGBkHi?vAU_KoCgQKHQ?n?S`HoBGQK@ACj?M`Ho`GK[GaBJAE_ooUgCkAaA~?e_moTGP[DaC^@U`EoOgHKCYAZ@C_doNGH{DIAB?}_goZGE{FA@v@m_[oKGM[BQBn?q_yoIgK{Ei@^@g_Um{v]znTvqz|\|ooG]{KQFvBA`{ouWZkLmEfBV`io{GXkNQEbBq`fo|gS[NiDNBw`Qo{GRkNQDBBq`NopgV[KiD~BG`]ovgUkMIDrB_`Zojg\[MyDfBk`WoxGTKIqFRAi`rnsVyj|L}m~Z^knvVzz}D~E~f^qpMG^kRqGBCy`~pPGe[SaHnDEaYpMGdkRAHzCma\pQgc{SqHVDMaSpGGf{QQIFCaa_pEwb{PuGnCTaKpBgf{PIIFCOa_pAGh[OiIZCKafp?ggkSYGNCCacocWQkHMCnAZ`Kp`wp[WeKBEDb@pbGlKXAJZEMatpbGk[XAJNEMaqpVGq{UAKfD]bIpcgi{TiKnESakp\giKVQIjDwahp]gl{VIJ~Doa}plgrKXqLrEybLpnGuKZQMBEqb^phGw[YaMNEebapfgt[YIL^E_bUptGz[\yMrFUbmpqGy[[qMbFIbfm_VOjgL|y}z^[nkvuzzUDNAd`PofWSKH}JjDxazpZwm[VEO`GDcIQAXAS_]OTF~cFQ?x@c_ENxGDb{QAW~S_]N|FrbzQ?w}c_ENpFlb}P{W~S]}NXFrbzP{W}c]}N@GPbqQDW{S`MOTFfcFPyx@c]eQc?N?H_CV_ZoDv~@B_boPWFkCE@~CHaEpAw_[O]GJEXbMpewr{YMLBHoczq]hMkfaRfH{ctq_HLkfyR^HccwqYHMkeYRfHicnqWhL{eqRBHcckqYHJ[eYQzHYcnqWhJkdaRBGUcbqEhH[`aQRH?czq]hGkfaQFGyc}qNhOKbqR~HScYqMHI{bYQfHQcWqThE[dQP^HKcSqSHDkcyPVGacbqHhH[aQQRHKcMqGHIKcyO~Ja?C_BO@[iQVFJedPqgH[khiVFJedNqfH[khQUzIUdoqeHZ{gyUnIQdlqcHZKlqSRJ_dEqvhP[lYSFJYdBquHOkjyUVJAdfqoHXkkQTrI{dcqmhW{iYTfIidZqiHUklATZJSdWqshTw?{?e?P?H_BoAKrYX`KfeSRLXeSqUXTKpeVRLXdcrMWdKjeJRJxacquWXKdeSRCX`sq]WLK^eDRGx`CqEW@KXeARFX_SpmVPJxduQ|X\Sn]V\Jzd~Q{x^cnC?Q?L?D_AO@g?mZpHFcdqQXHkdEQ^LuerrYhmkvIZRLkezr[HmkuyZfLMe~r_hi[wAYbLkeor[HkkuyZFLYerrYhj{tqZRLSe{rUHnktYZvLIe|rRHnksaZrLAe~r_hg{wAYJKxeZrMxfksEX~JVdlquXZ{mEUzMOf_rpHqk{I[fNEfRrqhs[{a\JNEfMrqhsK{a[~MUf_rpHr[{I[rMFfAraXp[w}[ZMmf\rkhv{zA\zMsfSrjHvKzY\VNofer|HyK~I]^N]ftrzh{[}A^ZNWfrrvH{k|i^RNufhr}hy{~a]jOGgFsBIA\?i_bN{g@s@i?L?Q^~KpeXrLXv[z}\zMtf[rlyEDAE`HOlgPSJyCDA]`HOhgPSIyAdAu_lOngWSEYBTA]_|OjgMSIYICvUZnLrftrzx|k}e^NNdgmSTYKDDEa|PRggSUYIdDmadPVgdSLyEdCu`dPNgjSPYGtDeaPPZgnSNyKDCMaxP@g[SRyHTBuaXOzhESZIO|GibVQGgssaiK\EYcNQGgqs]iMLFyb^Pqg}s\IOLFacJPuh@sfiPlIIcbQ_hFsdIRLHYczQQhLsRyHlCmdHQphYShyTDJMdTQrhYSjyTdJEcNQJhCsl_?TKMdo?Ehb_@IVTKS?HQ{h`_?iWDK[?LQ}ha