CAT(2978,1)

Sparse6:

:~?ma_?O?G?CAw@U?k_T_JWD_Au@g?p_XoKgEcBY@j?t_ZOLGGoCS@z@C?^OOoF{CGAF@D?_OOOGcC]AP@E_coQwHSCoA`@M?goROH{DMAd@S_l_MWFCB]@t?{_\oX?JkDmAx@]_oOVwJCDeAt@[?oOVOJ{DkA|@Y?ioToJCDcAl@x?_OOgGKC}Ab@O_{o]wNSFkB|@x?}o]_NcEWBj@d?yOX?M[E_Bl@w?roYOM{FGB|@p?}O[?NkEsBl@w?voZ_M{EqBV@i_p_\WMWEEBC@s`M_YwLSEqBB@a_pohoSsIYDLAb`QohGSKIADDAd@NofOS[IOC|AY@POf?SCHkDBAY@IOf?QkHkClAc@HohOQKHGDFAI`CoaGRgGmC}AL`N?bGOOHaCEAX`A?dwRGF}CAAV`??eGPoGUC_AF`F_`gYGKUENBE`]ongVcJiDvAx`Y_rgY?JMDgBN`W_qwUOKuD_BK`V?rwTwLADYBM`g?hwTGKyDOBN`T?qwT_KuDUBK`c?lgXOJaEQAv`^_ogWGKQE?BB_VOKGD{FYBp@v`SohwTCIiDVAk`v_}g]GNaFqBo`hosWYSNGFRBs@to{o\SMWFbBg@wOxo\{NWFJBv@qO|O[[MAFDB``y_ugZ_N]EuBu`k_}g^?LaEmBx`x?tW]_LYFeBS`n?zWZwMyEyBk_ToJWDcHiCxAZ`JoeWRCO?HBB}ANo~ocCP{GlC`AKPG?a{PMGjCSaGPCgaKO{GxC]AEpFO`sPcGHCZABPE__kOCGxC]A@pFO_SPcFvB|ALo~?bSO[GTCHAEPA?`[KmEZBKaPPHGc[RCHzCrA^pN_eSQWHzC~ARpN_ckQwHtCoA]PJof[QkHnClA[pJ?fCQ_HhCiAZPIOekTSIQDNad`SWhOTAI?DEa`@QGgGS]IWDBaf@PWhgSQJG@r_yo\GEKBI@f?p_XoKgFCBe@n?{_\OMwKcEYBJ@f_soYGKSEMBBA}`]OnWTsI}DZCIaEPAwoOV}KAECb?@_woGVeJuD~b?@]gmoVyJoD{az`^Wn?VIJkDpaz`[GlwVMJiDmau`\GlOVAJWDqat`[WloUeJ]Dfau`YGnGUYJGDza|@XWk_VMJiDeaq`\GkGVqJED}ap@^WjoUeI}Dfao@YGjwUiJ?Dkat`VgigWIImECaj@_wkGTIIgDbap@Swj?TmIsD\ak`VGv?Ai@R?gb__UgJKDaAF@D_aONWF{By@z?}_^oOGGSCEAX@L_fOTgI{DUCbAR`HO^wOKGAEbBR`hOtwZKLaEhBU`ipIwdkQqHRCiaSPy?{S]ONTFbBspxoz{]WNBFdBoPvGzk\yMqF[bl`vgzO\uM}FUbk@wW{?\]M_FRbh@tWyG\QMYFXbf`uwxo\iMcFIbg`rGy?[mM]FEbf@pGxg[UMIFFbb@qWw_[aMkF@b`@uGwW\]MEFSbi`oWwO\MMME~b^@qWx?[AL}FIb_@rGvo[mKIE|b\``wv_WYNIEnbr`kW{oZANSEhbs@iw|GYiLPEebRpgwskYQNEEabq@gGsG]ILsE^b[`fgv?XuLqEYb\@fGv?XmKmEtbZ`eWr?ZYLcETbJ@lGuWXQKcEtbZ`cwqGZYK[EqbG@kwpwZQLwEGb\`agvgWeLWEKbE`jgpWYuQC?a_QOGxHWA]@J?ecg_~g^{OAIDD@a_QSPIcdKQlHQCipzPIC]kQ\FkCfqH@ICaSQ^GeCfQT@BKdWOpGYCiqDHAS`MO^GPcGQRP@ccoO\HJCEqAPH[_kQZGICeQ@`HC__QTGFCcq@PHC_OQTHHC@q?PGkcWODHFC?P~PGS^{QHF}C`p~@GkcWNtHFB|qNo}{^cQBH?B{P|@GS^WQHFtC`qSO}SdGNbHRBxpz`F{^?QBFnC_QN@EsbwPpG|CZqI`FKbkPXGjC\QHpEcacPjGgCXqGPDkaKP^GaCVQK`B{b?P@GpCNQEpAk`sOnG[CJQfoDSAa@R?g_TOIXTWUEJFDaahPSwicTIIhDRbwp{g}[jQTjIudTakXTgjMTWIqdVAiHTOjATQIndWaiHTOjITQIrdNahhSGi]T?IddPahhS_i]TCIddJqeHQshMShITdPAcHS_hITEIPdOAbxRwgyTAILdDAjhPWjASWIndNA`HOohuSII[dYA_XUogMTiIAcnajHJgiuQ{IjdNATxJGhqQoI\dLaUxJ_heSsHYcxA]HM_fiReHxd?AZhNoeqR}Hlcsa]xLOfqRyHjcvaXhL?fERMHocyaXXMweQRkHbcoA`xPGeISOH`d}?GgCcAM@D?c_PoHWC{AY@J?f_RRB_uSZQLfEtbZplgv[ZuLxKYD~BAh^_oeVyKGeCa~x_GoiWOK?e@BAx`goQWWKBeAbAx`_oYWYKFeFAqXXWpAUSKNdyQ{x]knAVdJpdvb@h\go]V[KDe@Ayh\_oQVUKBdra~x_GmeVOK?dqBDH[opYVIKTd{avh[?niVuJ^dla~HZgnyUwJ|dibBhYwpAUkKNdhBDHY_pYUeKTdgbCxaGlAU]KQdebCxX_pEU[KQdaqpHW[kYUPJFd`QoHWKjuT~I}d{anH^WjmVsIydzAwX^?mMVmJadZauhZGjeUoIweqa}X^[niP~H@c_QPXG{cYQPHIccqRhICc}TnIxd[R]`moveZgLveyb]Hkku]ZLLfeqrXhkOveZGLve{BWxcsqaXNL^EzrWPnKu?ZpL]EtRV@lCtsZRLIeeRQxfwvYZiL?eyBNhmGrmXwLrexBNXf?vEXsLre[b[heguyZ_KvevbLhl?rQXcLiesbKxeGuuX_LjeVbZHd_uyX[LoeUbZxlWqiXULleSbZHbSpqWvK\eNrFhcCqIXBKbeQrHHawuIWqLbeqBEHjGtUYuLSelBSxi?s]YaLHehBQHg_suY]LEefBPXiosEYELWejbOhRchySzMgfSrhxscyY\JMKFarpppsws]LMHFarppp[wg]LMDf@r`Hoo{I[ONCfBboxu_yI\iMbfXbgXrwzA\cM_fWbfhrWyu[yMnfMBjhvwxa]AMYf_BeXqOyi[gMkfHbixv_w}[aM}fGBnXoOzm[?Myf?bmXngxUZ}MVe~BdhnOzYZuMwe}BlxzC|]]rNkfvRzX|K}i^VNeFxRy@}c~K^NNbFvrxP}K}O^`NUFgrs`yc|K]jN\FfRvpyC|w]^N_Fdrw`xk}C]XNIFlRq@zc{c]vIddRqhhTKiaTTLUekRTxi[tUYhLOehRSXhks}Y\KWeKrDyCTAQ`FOXGHsDAB\@S_tOSGJSEAA\@S_nO^GGSGQALA?_dO[GHSCABt@C_zN}GQS?ACS~{`FOLgFsBi@d?i_VO^G?sGQ?\A?_DNzGMR~QBs~o_zNwGKr}aB[~c_tOUFzR|QBD@[^nOCGBsAQ?l?W_PPWECRAh`KomWZKKfXrlXuczA\dMpfUrjht{yi\XMje}r^xnswI[BM?f{R}h~LFWbaPrgwC\YMPFQbYPogvC[iLxFEb[PiguCZyLhEmbAPZgpcVYKPDqauP]gmCWIJhD}aoPhgkcXyJPEabGPYgkCXYJHEYbePTgjc\IIpFUakPRghCTYIxDQbMOsgZCYYEhEabAPHgdcWyKPCiaNPGgbSOqMlCSbhPCGxsOIGTCE`yPiguCNyFpEm`sPegqCMyKhBq`qP]gZcWIF@D}a]OqggcKYI@BM`[PNgWCSYDxDAaWOlgUCRYDXCyaYOggTCRIHpAe`IPRgRcTICpDIeGPQgiSSyIlD]alLaeqRWxa{paWrNSfirtiCtA]`JRQHdssQXTL?eXRIHesrqXdKke\RCHhspaYlKSehRCHbspaXLKSePQQHiScqYlHCefQtHfSlqXlK{dlQehSShyS\IUdHRQHISsAQtLCcjQNH`scAWLGweDQLH`SaqW\KCcXQ}HDSaAWDJ{cRQDH^s`qWDGWd|QAH\s`AVdGKdzQzG~snQOLJoc@P{H[SmaNtJcbzQxG|smaNLFgdpRFGzS\qXLF_ePQ_HUSjaSTICdZQhHNsfQTTHwdVQYHXSfAUdHkdfQWHVseQULJ?cnS]IJTDyalPAg^SPiMCvy[HPmgyR_iMCvIZpPmgyR\hldEIbPLeesSXhjDEIYxPigqRWiBDAY`@OmgMSIiED?y`pOUgYSChpC}i^`MQfuRbiIC|iaXNUgcRsi?Czi]@OIgARnhtc|y\`NefYRwh}cyI^xMif{Rhhrc{i[hNMfKRpgeSRiHlC}abPOi`TOygdR}iBT?icDMYhPRmiQSyiXdQyehSuhgTKiddGihhQMiWS`idDFyh@QAiQS]iUdNIfpQ}hySmiUDPYdXS]hSTEiSdMIcxR]hOSuiQdKYePQYhGSoh[SmiVLJmdzQ{h^SoIV|KEeFRAifDZyi@VEi]ToisdZIlXUyjSTliyDYIkxVIjKTriydWympUQjmTdioDZykPVEjAToimtVyjtTiixTZiuDTylpTejYTWiid\ympTYigTtigd[iiXVQicTriKTEibLPmgxS\i{T]inLXQkfUTjJD`Ir@WYkmUDjJD_yoHXakmUAjKd^io@Xmj}UYjKd]yrXVuksT{jDDbYp`W}kUUMjGD`yqPWekaUGjTdjithZAlWUnjQdkYsxZMlKUqjPDfIs`XylEU\jSDfys@YilAUhj]dlIupZ}l{UtjZdmivHZqloUzanPWGj{aEPDGbcNqFhCCkmUTJHdeQrhXkwa[NMEfGrcHp{~u^xNzfyr|x}tHyc~Q\hJseIRLQIhFS`iNtGIbtWikXUJjBtaYpD^?nTVqJuT{Q|\]snNVnJstza|D]WnXVcJtTxQ|\]GnNVbJstyA{L]Om|VeJoTxQz|]GmvVbJmtvA{L\cmvVYJmtuAzd\wmjVVJoTvqyt\_mdVYJiTuQy\[{mjVVJgtsAyt[om^VMJgtrQyD\GmRVSJdtsqxT[smLVKJcTraw|[_mVVEJctpqxT]sm@VAJvtoQ|t[Kn`VDJxTpA}LaW?p?V_JOEwBK@ipc?\_NOFJF?@}@B?_b^PoGv{eYRPHfcpqXXKcqqX\KleTrIhdK{m]XNLfcRqhxLBi`xOzg[sLyFDMmfXRlhsSyi\LSyi^TOigtSyiTXqk|U\jOTfysLd{rJXfKouXbKDdorDX]KpuVRKddoqrXZKnUVRJTd{qlX`KkUWBI|dKqrXZKiuTBJTd?qlXQKkUSRI|dKqZXTKfuTBHtd?qVXQKdUSRHdc[qZXHKfuQBHtcgqHXDKeUPbH\c[qBXHK`uQBGTbwqHXEK_UPRF|bkqBW|K`uNBGTbkp~W{K_UNRFtbeppWyk\UMZFD^KpjVsKZuLa}la?rDWaKqUGRK\eWozXfKNuFbKl`kpfW[KYUEbETbGopWXKYUKrA|a{ohWpKJUKBAl`CpXWRKVUCbDl_wpXWOKVUBrDla{oVWpKEuKB@d_gpVWGKTUIR@L_SpNWEKSUHb?|_OpLWBKSUHr?Taco@WjK?uIa~|^opFWdJ~UHA~l^cpnVzKZT}bEl^WpFVwKQuHA}|kw?T?K_DoBw@k?yus?P_GOCj[?@M?j?SlpUwJ[LmAvDZ`ktEvZZxearQZ]lIEqJQPkeseZIlIeqJXPh]uQYUllecZPxlqusYOlEEvJZPgysYZZlCetzPXlasSZXliE`jP@lYsMZTlje_zZHgUuoYCliE_JYpgIuiY@k}esZNxlMr{ZQlfE]jN`lAu]XzkzesZNHlMroZQkyErjMplAriZNkwevzMXlurcZ]ldeZjXhfAuWXnldeYzXheuuWXkl`EnJWXjut{ZCl_emjVxjmu?YxlZekjV@jAtkYplYEjZUhi}teYmlTEhJTXiYtWYdlOehzTHiMtOYalNEpZS@k]s}ZElKEezRPhqsyYXmY?EGAs@]?l?W_JoEgB[@e?r?Z_LVP_Bs@u?x?\_NOFJXDkiuR\FMeVRbhDssyL\HMeVRbh\ssyT[tM_vObeds?xl[vM_vMRgDsGxp\BM]VPRf\sOxt\BM]vPBf|sSx|ZklvUzZ\|nEv`[iMdvQRdLq_yT[dMbvHrhDsWxL[aM]vHBf|qKx|[wMOVGRfLr[w~[\MZVFbedpoxj[ZM]VERf\rgwtZbMXUxRe\mOxb[rLsVKR[trGvN[UMVVEBeDp[x^[LMHvBralowwh[OMDVBBaTokwb[@MBv?r`LoGwP[?MAv@b^toOv~ZtL|u|r^lnWvxZyLyU}R]\n_vdZhMTuyrdlmgxX?I_EOAw@S?m?X?L_FOBw@s?}?Z]h?HOCGAK@I?b?OmWvKzeTaMpJWckUUJjDla}pbWokYuLzEtyc|^]pNTvkBtTyo|^]oNVVkRtlyS{n]XNQVeBs\xg|J][NPversdy_{~]fNMvhbrtyW|@]fNPViBsLzG{h]sNJVkrqlxC|Z]RNVVcbtdyc{\]ONTvbrtTwo|D]`NEvgBp\xg{P]ZNDVfBpLw[{|]DNNv`brlx[{D]CNKveBo\zkz~]|N?vnBoDvmzt\xm}v^jndzkzl]|M{VnBm|zGzf]sMyvkrmdv?|p\qN\V[RvLzSzZ\nNZvZbutzSzT]uMuVlrl\u_|t\hN[VXrvLtYyn\TmlVUJjLtmyz\[mnVWJj|uOy^\eMgvXRiDtGzB\SMpVWri\kmuZZKliUtjYll]urZWlmuvzZu@k}`^QOMvsSBd}T?d^fOIWCr{t}H?d_SNqWCr{\}@?x^`OMvvsB\|p?j^]OJvvSAu@_}r_YNlwERzU@S}l_VNkWDby||T?t^SOKVssBL{Q}L^DnbvqZxD{q}V^Infvrjxl~t?^^~OGv~cAE?o~t_LN|wBb~e?c~n_JN{wAb~D~T?H^uOAv|C?]?C~b^qO@V{s?D}x?L_GNwVzs?|zw~V^?Nuvnr|d}_}B^iN`vyRwU@xA\__OfwFsIECTAP`IObwPcHMClAD`LOaWRCG]D\@f_tOkWLCJMB@Ah`UOXWTSEMCD@\_~OVwOCDmAh@r_jO\wJCFUA\@|_hO]WNSDEBX@H_wORWLsCmADAb_bOhwGcIUFk@B?__NoGGCK@}sdYSlHudZQ|hYzB\bmpVXJkluZCGaIpBGa{PaGVCAaGp@ga[OQG^CG`}pBG^{OiGBCA`zp@g^[OQFrBs`zo{G^[NIFrBs`~o{G_KNIFzB?aFopGaKKIGfAyaIpEGV{JqGnBc`tozg\KMqFNBa`[ovgU{JQFBBW`eougYKLqE^BE`hotgX[KaEjDs?R_IoDGA[@U?h\Am_vOJg\sUyHZblquxJ[tmavN_HoDwAk?u?b?N_CoAw?{?E?J?B^hntVyJ|\}u~XbZPcwvSX]LpETbXPbWucXEK\EpbBPfwpSYMKPE`bBPeWrcWeKTEZbUP_wtsWULTE@bRP`WtCWELHEBa|PcwncXUJ|EVayPcWpcVeJlENayPZwmSVeJ`Dva|PZwmSV}J`D|aLPWwbcUUG|DfbXPWWjcZUI|EpbZPTwvCTeItEzagPiwicY}IdElbNPQwsSS}L@DLaaPeWrcSeILEZbQPNwtCSMLLD@a]pMwfKR]HfCtasPJWeCUuH\DjapPHwksQmJHChaQPZWcSUmH@DhckNQvhJs\ya|L]fo^wO[GEBr@|_|o[wM{FUBZ@p_vqWhL{eiRBHkcnqXHJ{eIRRHecoqUHM{fiQzHwclqUHMKdiRjH[cxqCHM{fiOjHwcHqBhLk_iR^GKctq[H?kfQORHqcBqXG~{eaOFHec?p{w}k^]NZFpbvqTg|[dINNHSbspwHIKcqNJHMbppvhHK\qQVHEblptHHK\aQVFUcbprhGK\IQFFOcapqHGK[qQJFIc`qTGw[dYMNHQbaqSGvkcqL~HMb_qIhD{aqPfGgcWqGhEkbaPNGucQqMhBkaAP~G{cNp}HA{^qOvFycKrBH\{nMVbJldtqyXPso]S`KJdHRAX_sgeWTILeCQax_CgUWHIFe@Q_xNcoER|KDe@Q_XQcl]SpJZdJQuXYCnmV|JTd}QsxWcnUULJxdcQ|xVSjMTxIvdYQmXVsiuUDIpd_QjxSsluTTJ`dSQvxSCmMTHJfdPQxXRckuS|JNdLQqwk[U]JJDlatpYXhKsuYVLFe`rPXksruZTL@e^RYXkCr]XpLdepRMxacueZTKVeHRXxkCouZHKPepRBxdStmX\L^eURVXdCs}XHLRegRHxeCp}XhKbeXRGXicpeYpKZejRFXGKcUQFHHcdqPxHkdEQ^HRciqTxlcz]Z\MtewRmXusyM\pMffYRhXrcye\XM`fNRixrCz}[tMzfJRnXuCxE\dMTfVRcxp[w}[ZMHfBr`XtCv}\XMBf?Rixtsve\dLzfWR^XmczmZdM~ezRnX_KoUWFKFeDrAXwK{U]FNxf|r|xzd?E]pN|flR~x~c|M_@NVf~RtXxd?M_LNPgARrxwt?M_LNHgARqx}C}U^hNhfxRxxzs}m^\NbfoRzY@DA]_XOjgDSIYETAE`lOdgYSGyAdAu``OXgJSJyBd@E_|ORgLSByHTCUaPPNgbSRYFDB}`xPBg\SOW][NUFbGhcTqJXC{aUPFKReIrDx`kpEW^Ndfsrxxz{}M^BPsh?s]IOlFYcFPqg~s]iL|FqbbPwgts\ILlFYbRPagvs[iKlEYbbP]gssWIL\DqbZP[gpsWIK|DybJPyggs^II\FyajQ?gjs`IJ\GIarRA?F_CoAKU}JfDpdXqlXU{iuT^IpeurZxmKvMZjLvgCsBY@\?}_fOPhqS{Y[DMufDRnhrSuy\TL}fPR\hiSuyZDL}elR\hpSry[dLMf@RPhiSqYXdLeeTRVhfSqYXdLEeTRRhCSlyPTJmdpQFhrSkYUdMmfPQrhvSjyTTNEfXQlhQSoyTDKUdLRFhOSpyRtKUdDRBh_SeYVdHud|QZhZScyVTH]dpQThESnyPtKEc`Q|ih?AO@g?mg`TRiITTyaTTUidSJiFTTy`dTUi`SFifTAY_dSuf|TFi@TQy_DSefpTFh}TQy^TSei`RrhzTRYhtNUhtSni^TKyfdREhpSjiUTLydDRUhDT@iRTPYcdSMgtS\iJTGYbDP{?]?R?G_BoAW@ElLUSjOteIslXYlFUYjOtfislXqlFUCjNteio|WIkzU?jJt^IrLVykjTyjDt\iplWajrTojFtcimlXAjfTeimtYIjLUQivTiintZik\UqjA?H?E_Ao@G?s?VVgh[smyU|JueBQ~jjTxYzT]]mpVbjmTxY{D]]m|Vbj^TzywT^Mm@VpjmTsYyd]EmdV^jlTryzD[mmlVLjsTpY|d[enTVFj]TyY|dZmnTUxjwTlY}TZ]n\UrjRtiytLZElZUnibtQyhLSuibTNkAUMZ?DbmoDWvkWUCzAtbUohWrkFUMzEt`EoXWxkWU@zEd_mpdWHjzt}Y}l^mn~V|kUUFzDtaMpTW`kKUHZBda]otWhkpUNzGDeUr@W|klURzJtdMqxXPkjUQZJDcmqXXTk`UXzGtemqHXhkuU]ZMDfur\XzkxU^zMdgEsDXvjOthYs\aup^WjkQuIZC|hqsbY_lIufjQ\hAsnYYlIueJQ\gYsnYYlCueJOlhqsVY_lFufjPlkAnNVdjpuUzJld}qjXXkjurJWLkQubZMl`upJXLkiuBZEl`ugjVljitNYcl^upjUlkitrZGlZujjXljIubYolfunJTLjitZY}lTu~JZdn]vtZXllU}Z^DlMvlZVl|UtZ]DmmvhZnlxUzZZtmUvDZhloUxz`tnuwd[@mGU~z`ToUwP[BmBVBZVlj}tv[_mIvHJa|qIwr[amLvFjclpqxBZvl|u}ZeO?IxN[u?BVIZe_?QxV[q?AVJO?TrYxb[s?BVJ~