CAT(2966,1)

Sparse6:

:~?mU_?O?G?CBk@j?v_ZOLWEsB]AM?r_YOKgHgC]AR@G___PGGWCYAC@D_a?PwGgCeAK@G_]oMwFcB}A@?}_`_MgGGBeAC?w_nOVGJkDmAr@Y_hoTWIcCsA`@N?goR_ISCoAn@W?dOQoIsBI@h?r_y?ZgMCE}BZ@j_uOXOMCEwBN@n?rOWwKSEQBO@`_n_YgLGEA@b?p_WoaOD{Ay@`AN?VOKGD{Bm@x?|_^OOGF{EIBH@b`I_eGROH]CqAU`H?dWQ_H]CeAU`F_eGROHECqAO`D?bWPGGqC[AJ`B?`wOoGaCMAG`A?agOgGmCEAH`@_bGPoGUCGAL`I?\wNGHMBoAQ`@O_WOCG{B|AP?}oc?N{FiBv@{_w_\GMWFYBc@t`a_`gPCG]@d?s_XoRgH{CuBh@u_yo[WM[FIEaBM`g?swYOK}EOBM`g?qgXGK}EOBJ`d?rWXGKqEIBP`b_swWoLIEMBA`a_owWoKQDlAw`Zol?X[JSEZAr@eOkWUCJIDMBA`S_pGT?KME?A_`N?oWVwH}CuB@`M_oGR_J}DuA|`^?mWVOJqDWAm`V_iwTOIuDGA``R?gwSgIIGA?n_WOJg_WMMGABda@?xG_GNaGEBya@?}W]{NYFjBe`sOxw_?LiEwB}`l_~w_?L]F{BX`~_uG]ONmFwBr`}_|G\GM}FUBo`w_ygZgMqE}Bm`n?zWY_MEEkBa`i_wGPsGqCZ@r_wo[g_cOUGLCeAMPF_c{PsHJCZaKpEgb?QMGkCcaJ`Gg`WQ]GWCdaD@Hg`?QMGQCcaB`GgaWP}GiC`aI@GG`gPAGcCNaF@CWV{KEE@BA`aOowfkR}H|DCA]PM_gkSKHvCuaYpLGg?REHeDAa_`Kgg?QyIACoa`@Jwd_SQHYDDaT`Owd?R]HQCxaT@MG^sOAF~DZAbpVOhCSWIxDQaiPSwhGTmIUD\ad@VGj?S}IsDPak`SGigSyIWDVaj@RWjsUAI~DiAqPZ?ksUkJJD`ArpWolCUGJRDx?ZoLWEsDaAn@U_koUwJSCiAX@J_doRGHSF]Bp@x_}o^wNsMUFHBb`tOyw\KQaHTChaVPKGd{UEJFDabLPfGr[X[KtEXBMPe?r[X[KbEWBHPeOq[X?KhEUBFPboqkWkK\EKBFpbOqCXKKTEPBCPc_pKW[KTEEBCp`OpCWkJ~E?BEp_OpcWKJzECA~P__ncWCJrDzA~p_?nSVcJxDzA~P]_nkV_KHDuB@P\oo[V_KJDvBBP\_o{VKKhDtBJP\?qkU{JdDlAwPZ_mKAa@T?hbh_IwDkAqM}@A_`oOWGsCQAJ?x_\OMGFKBi@p@__ooVwKsE]BJAx`\omgU[JUDhCMaEpBw`SOqGVDEacPPwhcSyIZDnaupZh?_^}OIF|b~A?w~__ENuGAb|A?G~g^aN}Fvb{`~g}_^]NkFwb{`|W}G^qNsFrb|`{g|w^MN_Fpbv@{g}_]mNkFlby`zG|?]qNSFlbs`yw{_]}NEFobv@wg{g]ENMF^br@wG{_\}NEF`bo@wgzs\uMxF]C@q@Ozk_OMxFXBqpuo{{\gNLFXBsPuo|S\gNRFFC?PqP?S[_OBFBb_pogwCZ}L|E|BjPu?v[ZoMnExBhpm_ykZ_MhEtBjPlozCZWMnEqBhpkoyk\OLhEnBgPkOySZ?MbEkBgPjOySYwMbFNBTprOtK[wLTFNBRPr_tC[sLNEdBePgoxSYOMVFIBOPg_x[YCMXFCBMpp_r{[SK|?a_PoHHKoAY@N?dcu@fWr{XyR\HkcuqZ@I{ewQrHlCkQKHESbEPZGncVQHPLKaWRVHiCQQYPCKekPFHiCPQF`Kse_P@HfCNqEpK[`oRJG\CqQE`K[eSOrHcCKQDPKse[OlHgCJqC`KC`KRDGSCoqBpJs`CQ~GOCmqV`@kd{O\H\CEQW@@KeGOVH`CDQSPJSdoQfHQClqT@H[dWQZHTCeQRpGkc[Q`HECfQN`F{bsQBG{C_QO`FKbkQHHBC\QQ@EscgPpHHCZqLPDcbKPTGsCTq@`DKa[OPGFCSOIwDkAq@V?l_UOIWDSAa@P?h_TQopUGjuTeI}d^akhU_juT}ItdZAnhW?j]UCIwd_amXW?jmUCI{d_amhMOjiRgI{cxamxTCieTTIddRqhhU_iITiIbdZAhHRwjETAIrdOAkhUwhqS{Ixd[AfXTWhYTYIWdUAdxQWiySiIodIAjxP_g}SSIMdDabXPGhASaIFdCAchNggESEHzd@A^HNofaS?Hyc~a]XMggQRmIDczA`hROe}SqHodLa[WCSAQ@F?c_POGwCkAY@N?e_RoHX`W[uM^FMbgPsgyK\YMpFVbmpvgzcfARbHneOBEXbCp]WlKTeIQ}p_sncWNJyEAr@P^co[VzKED~RA@^{oCWTKHE?R?``KoKWTKCECQwpakmCWlJaEIQ|``[osVpKKDzq{x]cnUV`Jqdwr?`\koOV^KBDvQ~`\SmoVzJjD}Qxp^{oCVRJgE?Q}`[smOVvJxDqrB`Zsm?W`KNDnqup`[osUzKKDmQu`aKl_WfJXEHQtPaKl[WfJUEHRB`YSp?UfKNDiRDpX{pcUbKWDgQoxWkkQULJGdbqqXX[kiU\JKdeqWXKSeARFHdcqQYXL[eiPNGhcSR\peWuiZOKseXBYXist]YpLReiRTXmOsaZeLHewbPxg_uaYKLheabYhgWumYALleuBOhm?ryZ]K~e_BZhfWuyZ_K|evbNHf?umXsLle[bZHc{qaXLKjeSrIhdcqyXZKneWrKHcgvMXGLpePb[hjGuUYuLfelBXhiGt}YcL`egBWHj_suY]L]efBVXhOuIZGLJeeBWxegqAXCKveZBGXbWpyWwK^eLBFXuoqUXFKceOrGhcCp}W|K\f`BnXvczy\yN?f^BoXv_z}\}Mvf_bmHw?zY\eMzfYbmXu_zi\mLvf[B]Xuova\`MpfXRgpv[yC\tMaF[rfpwKz{\@M]F_RcXp{xA[\MKfErkpmkzOZhMtEzRhptkyc\^MgFVReppKxs[VM[FDR`pqkw_[nMEFJRe@o[wS[tMXFARd@oCxK[DMQF?rh`nkv{\JL}FQR]`tSvk\VL{FUR|x}k~Y^dNsfxrz@yC}w]^NlFfRvP|C|{^LN]FrryPzc}k]vNiFlRuP}K|_^^NVFwRt@{C|W^DNTForqp{[{s^JNKFqRpPyK{[]dNRFbRq`wS{c]HNGF`qnXV{jyU@JAd_rXhk{uUZDLceprVxkKuAYxL]emsFqBLA?_tO`GLsEqBt@c_xOYGMsEACt@[`NOUGQsDaCT@_`HOVGPsBQCl?{`NOMGRSAaBd?o_|OJGMs@I?t?U_DOBg?sH@~\AK^zOaF}SGP~DA?^tO^F{r~aA\@S_@OSF~sCA?|?c_dOPGCSTPuczU\fKEeBr@X`CoiWRMZfMrfHrCxi[rMTfJrdhqSxQ[fLteyR\hmcvUZlP`GlsWqJlEGaxP\GnSVAJ|Dkb@PXGrsUaLLD_bPPWGqSUaKtDcbJPlGisTqLtDWb^PkGiSSaL\DKbTPlGhSZqIdEwafOuGisTqEdBSalPfGcsYQHTCkbPP`GbSWqHDEGaNPBgasPIGDCIaBO}GnsNqKDBsa|PcG\SXaFdES`vOvGtSZAFLB_bVPNGXSSQELD?`fOmGfsKAILA{a`PKGUSRQDlAka\OiGfSRADDCs`RQtGhSTII[piWvK[eLRFHb[puW~K]fgrsxyS{I]HNBhdCpQVtKWd~RCH_SqQVDJgeNQxHcSnQXDJkeRQ{HbsnAW\JseBQzH`SnaVDJce@QyH^sqQUlK[dnRGHZSkaUlJOdlQrHZseIRLH]clQThISpAP\GseLRDHESaAWLGgeFQHH`S_aT|GKdbQCHWSkqOLJGc@QsG~sjqNdJCb|QoG}s]QTdFkdZQmG|S\aTlF_dXPvHVS[qTTIkbjQhGyS[AT\FGdRPpHTS`QSDG[dDQEHOsgqRTIScxQcHLscQRlHKc~QQHNSbaStG{dNQOHSTCa`LOmgTSEiCT@yaHLYeoSNhjdCIYXOqegSLhidBiYHOyecSKhgDBYaHKieUSNheDCI]`MEe}RuhycwI]HOAfeSAhxD?Y_XMyf_SDiACzy\@N]fSRxhsc}I[hNufMR~hrC~i[PNifwRch|cwy\XLeesRlhlczIZ`Kue{RMhfcvYHdCua\PNggsSIctQQhJSsiYtKydPRqh{Ski]dIycxR}hQT@iSDOIfxPUi?SUi_dDyaPRyggS{i]dCyePQIhESoiOdKYbpRYh?SwiNdLybhQyh]SZiMDJYb@RegsSziKdMiTLImdTQmhUSjYT|JEd`QrhXSlIkXSQiCTdi`dXIlHT}i{TjitDVYk`TmjIT[ipdUiixUYiqTgikDXyi`UAikTaiidWYiTTMibTMigTRyhXUYiWTfiedYIh@UeiSTjicdYik@SUjCTFiodPi`dOug\SNiGtCIltUqjZUFjCtaIphVak]TyjFD]YmhWqkSTujDd\ypPVIjgUKjDd[yphU}k[TpjFd[IoHVyk?UBi~d_io`VmkKT|jAd^IshX}lAUfjODhiqHXukcU]jGDfIsPXelGUZjPdeiqpXMkiUWjJddIuHYalcUijXdiYtXYylYUojUDjwm{VaJlGxc\qMhEsb]PpJTdjqthYSlQUfL|e~r^hncviZvNzf}r~H~C~i^rQPhHsciPtHAc^STiJTDyaTPQgfT}j?T^yn\VujxVdJnTxa{D]Om~VZJotwqzl]GmxVXJoTuaz|\_m|VZJittqzd\smlVWJhTuayd\cmfVNJittqyL\?mlVKJhTray\[smhVNJctsQx\\?mTVLJbTraxD[omNVBJctpAx\[SmTVEJ_ToaxD[CmNVBJ]tpQv|[Ol|V@J\toavTZom@UyJ]tnAv|Zkl|VcJYTla{t]SljUvJotwqvL]GlpWY?JOEGA{@e?v?YkR?FgBc@upW?^_OOGWzK\mMtHwc|Q]XMkfYRnKze]rNHfCriXrN^fnRvXz[|q]tO|g^sNiFdBi`vR^hoswI[TMQfFTBiaTOiglS]iLUOjHTcYq\XQkjXRKkuTRJTdkqhXPKkUSbI|d?qlXTKfuSrHtdOqZXPKdUSbHdd?qVXFKdUQRHdc_qVXLKaUPbHtcSq^XFK_uQRG\c_qDW}KaUPbF|cSq@WzK_uNRG\boqDW~K[UMbGDbwprWzKYuNRE|boplWqK[UMbEdbKprWnKYuKREtb?pnWnKXUKREdb?pfWkkUuJjDlaypXWiJsuIQ|D][pVWSKkUTbAt`SqnWPKkuUrA\`GqtWOKRUBrDD_wpNWeKDuIB@la[oXWGKPuHR@TaOoRWDKPU@rCL_Wp@WAKPuHB?d_KpJV~KPUGB?DaCoBV{KMt~bB|^so|WZJ|t}bBd^cotW\JzT}BB|`wnnW[JyuEa}\`knhVoKJuEQ}T^CopVlKStzrD\]wpTViKJtzBBD`cnVZA?DOBG@[?}?\?Llf?CGAK@Iug?R_IoDJYtlQujZSljUtZJ`lMqyZPknEsjV`gYt{YGlBenZPXjqsQY|l^EajXpgMu_YDlfe`JO@kysAZNl@EsJNhkmr}ZLk~ErJNPkarwZIlce]zXhfeuWXwlde\zM`kauSXulce\ZMHkUreZFkxEpjWPeyuGXol`eZzLhk]rUZDkuEpjL@kIrSZCkseozVxeUrMZ@krEoJKPlErGZQkpeszVxd}uAX`l_EWJUpjAtoYqlZekZUXiutiYnlYEjjTPiQtWYelTehZSHi]tQYblSEgjS@his}YWlNEeZQxhmsyYUlIefJVHg}tuYPl\EcJQPgqsgYLlHebjd?@a?l?V_JOEGA{@i?r?Z_KoEwBTrg?x?]_MoFGBs@ut|Y{l]vMbgDsGxx[zM_vNRgDsGx~[}M_vIBedqgxj[hMZVJBedqkxl[lMYvMBdtr[x`[xMVvMBe\rcxb[vMXUwJ[TmEvHZdlpvFBflrww|[\M^vERfTpkxx[YM\vDbeLp_xf[VMXVJRalqowf[SMTvJraDqwwd[oMGvBrdLosxT[MMSVHRZLl_xNZVMRVHRZdlgxN[eLlvFr`Toox@[JMOv?R_doKwL[AMAv@r^to_v~[?MCu|R^\n[vzZuL}U}B]TngvhZxLxuzr\LmkvbZiLwUzB[tmwvPZlLrvGbZll{xH[bLnOAg@c?m?T?K_DoBW@{?y?^?M_EvfOAC@I?b?O_GoCjclq]xLWVkKuEJCDaIpBWbkQuHJDTampR]\NPvhRr|xw|H]_NPvgbsdyS|B]JNJvbRrLwo{p]VNFVcBrLw{{p]ZNHVfBq\xg{b]ZNIVebqtxo{j]GNVvkRpTz?{R]DNOV`rsTwW|B]\N@V`Br|xw{F]SM~vdboLxS{@\{NFVcBntw{zz\xNGv]rq\vg{d]JMzVbRnDwozn]eMxviBmly[zh\mmvvZZmDvIzb\kNVvkRl\z?zT]eMrviBlLy[zP\eNTvXRtTuO|R]kMovWrtlywzD]hMnVirkDygy~\ZNUVVRttto|Z\HmdVQzhtsqyZ\PmgVRzi\tQyd\BMkvUbglt_yH\GMivPbi|s[ylY~l_uoJXDkiuRZJleurJY\lEud_NNaVpcAM@?}J^XOBWABz\|h?N^UOBWABzD|\?N^ROGVtSAL|P?^_HNgVsc@\|D?T_LNewBBx}?w}\_HNdWArxe?g}V^FOEVqS@t{`?Z]wn\VmZv\zu|x]}n_VnzwL{M}D_CNwv{c?l~L?F_?NvW?b}E?C~^^|Ntv~r|l~w~X^gN{vyb}|}c~p^yNqvxr~d~k~L^sNpV|b{d~S~F]qNnvlB{LzK~@^]NYvvRu||o|l`DOHWDCG}@LAL`@O\WNsF]C@@r_uO]WMCFuB\@z_hOewRCDECl@N_cOcWQcCuATAR_`OXwLSC]BP@D_]OUwGCD}@|@\_qOMwKCBe@l@b_iOKWJCBUAl?r_TO`WDsGe@XAF`n?NoGWCCAA?~?`lBUaJO|gesVYImjvTZittayt\Xo{G^kNQGBBq`~ozg^[MqFnBw`to{G[kNQFRBq`rovg\[MyFFBk`oouG[[LqFBBY`noug[{LaFJB[`so|gTKIqFvAi`{ohg_KIQF~Aa`}orGY[LYEbBM`iopgRkKaDBA]`dooGUkKQDrBA`ZojgV[JID~Ao`]pV?CwAk@Q?f?S_IvLJetrUxr[vm[UuJZLl]uxZZllV~Z~|~y~t^{n|v}J~L~]~h^unyvvJzt|u}~^`noWrsVmL@D~bPP^WmsXmKxDxayPeWosU}J`EJaxPaWmCWUJdEBb?PZwqSUeKlDlbIPYwpcUeK`DlbFPYwnSU]JDD~aqP^WjcVUJ@DxanP\wjSUEI|DXamPTwkST]JLDXalPXW_cSuGDDJaBPRwgcXeKxDHabPewrsR}LDDBbOPOWfCXMHxEVa\PdWosRMKTCvbCPLWqCQuH`ELaVPbwcsWEHTEDaSP_wcKQUHFCZaNpFWiCP]IhCTaKPSwhSO}I\CRaePCW`STMGXDTaCPSXGBq|xe{p]ZnLVfKE]BV@h_qoWwKKDmA~@\_ioUWI{dYQNHQcdqTHHKcqQNHOcdqRhHKcAQ~HacaqOhKKcAQrHCcmqOhJ[^aQ~Hab}p}hKKdINfFucjp|HIkdaNZH[bwqUg|{dANVHKbrqRg|K\mM~F\bipuWy{[yPzG}bhqMgyKbYMVGwbepqHEk[IPbGqbbqJgwkZqPbF?cXpnhD{ZaPZEycSplhD[aaLbEscUpkhD[byLVG{bVqMgtkYQPjGubRqMGtK`AOnGScLqChBK_yOzG_cEqAhB{aIOJGecCqHH?{]AN~Fcc@pwh?KnQUnJZdkqsXYklMV\Hvc|Q{xNCnEV\HpdxQ\X]CfMVXHndsQYx\SeuRLJjcsQzXKcmeRxI~d?QoxNskETtJ\d]QwXZsjeVLIldWQwxTsmUS|IbdQQexRciETLITdTQeXTCh]S\JDdHQqXQCk]SPJJdEQrxPSkuSDIrdBQlxOcjUIVDNaepSWikTMXbKteXrJxdkqmYPKdeSRQxhcq]W|LRePRRxcCtEY\Jzd~RSx^ctEYPJteeQ}XhSn]WdLBeJRPxacsUW\KzeZRCX`creWpKFeMRAxbSoeW@K|e_R@XfsoMPRGlcTqKXE[a}PnGtc[qNxFkbmYhM\ekRfxisyE[|MJfORbxrcwu[HMPfCRdXosxM[DMff?Rgxscv}[lLxfLR^XrCvmZfLveyrZXl{vE[`LfetRdXqSue[lL`fLRXXrCuMY|MbemRhxjSyUVVJldsqzx][nE\RMlfTrvx{K}M^HN@faRyXwS}]\tNffsRnx{czu\hNjfvRmXus}u\\NjfvRkxuC}u]\NRfeRtxyC|U]pNFfmRqXzS{m^`OPfySBx}T@M_POTgESEY@T@]_tN|gMR~yBt?E_LNvgAR}x~D?M`dOlgWSLyEdA}`@OjgQSIYCTA]ErB\`lqCXAk`MOZGNcDq}x^kn}VjJxdzrrXyK{}]NNJfcsVILLEAbZP]gtsWiI|EYavPcgksViILDqafP_gisQiI|CqavPMgksSiGlCaajPEggsQiGlCaa^PEgesMILLBqbZOygtsWiF|EYaFPcg_si_@w@C?fDValpUXR[huS~ITdKqdxikteYnLZenrVX}K~U^fNvf|r}YXdLeelRHhdStYXtKMedRFhgSpYVdKMe@RFh^SpYXTJmdlRLh[SqYVdJEdhQ~h_SkyUdJmdpQphZSkyMTH}dDPphOSZyXtHeedQ\hgSeyQTLUchRVhJSuYPdI}c`QjhFSjYPTImcPQlhVS`ySdGEdPQDhRS_yRtFmdDP~hOS^YMdIUbpQhgzShyfO?c?Y?Ji\S}y^dR}fpS|i\S{y]tR}hxRthvTLYfDNEfXSvhrTJy\DRMfTSphoTJy[dREfDSrhlTLYZtR]hpR\iPTDyctPmhHSXiGTFYaTQEghS^iFS~y_TOmgXS@iST@YddOehTSF?F_CoAG@K?]?PjFT^ipLWAkZT{jDt_ipLWYkZUCjDtYio\UykNTkjAtXInlUakBTei~t[Ij|VQjFTqiotUIm|ViizTYi{tRigLTAiJTAietSig|TYiVTSic_AO@W?s?Q?L?DtsIR|IMdBQdhSshyvt[}mDVLj_Tqywd[}mPVJjbTrYst\EmhUjjhTiYwdZelxVHjbTmyvtZMmDUtj_TlyytYumtUpjkTjyyTYMmhUdjOTsYytXmmtU^jkTfYqLW}kfUTjKtdyd|RMhbSxiZtLY|d`}nPWbjtUGZBD^mn|WZkMT~ZBt^UpDVxkOT|zBD]}oxVrkLT{Yz|\unBVbjqtxz?t`MolWJkIUAZ?D_uoHWPk@UBzHtaUqdWhkgUHzGTb]qLWxkaUMzEDb}phW|k_UKzDTcep\XLkUUQzKDdUqpXdkjUWzJTe]q|XjkmUYYpLWmkZWRkJuDZ@l`Eo^YGk{u`JNlgYrvXwk~u^JOLgIrvXklAuZjO|fAsRXqk~u_jM|fQsBYgjetryx\cMqNXDk_uNzFljQtZYwlSuljT\jAtRYqlUujjT\iIs^YKlQuajS|iyszYolNukjSLjYsnYYl[ueJUlhAtNYalIuhJQ\mQuHZ^lpUoz[DkEvDYzlnUnz[DjuuPZRlbUtzXTlUuXZXlmUsZZTk}vlZdl|UyZ^Dm]v`ZllyUzz]TmmtNYdlPvAJ^loqv~[Im?vAj_\oYwZ[GmAuvz[\mC?D[MmLvF_?tpEww?CmH_@Jadpmw{?AmKvF??tp^