CAT(2994,1)

Sparse6:

:~?mq_?O?G?CBS?J?F_BO@W?{?Y?J?F_BO@G?c?QAO@A?bOOoGkCOAN@@__oOWHcCuAV@J_eoRGHCCiAR@U_iOTWHoDEA]@R_g?SgK?CQAD@B_bOPwGkCUAN@E_v_WgKCEEBO@`_p?XgKwEABE@]_q?VwKgDuBK@\_r_VwL?DyAq@c_j_XWJ?EMAt@[_loa_EkBY@n?w_\OMWRGBU@l?v_[OMgFKIS@v?|_]OMwFkBqD[?}__ONwF{CA@|?s_XOKwVODaAr@V`f_p_XKK_EVBF@dOp_XcK_E\BF@eoqOWSKgE@BJ@_or?W[KSE\BL@aOm_W[JoEHBD@\oqOU{KkDrBI@[Ol?XcJWE\At@eop_U{K_DrBF@[OjoWSKCD\Ao@_OkOWCJKEBAq@`OlOWcKSDlAs@`ohoVkISD~Ae@^Oi?V{JsDTA}@SonOT[J{DZA}@UOmoSSIODxAy@PoboP[GgCZAM@EOa?QsG[CpAH@JocOP[HGCTAO@EOcoPkGwChAN@IoeOQSH?CvAY@Gof_QkHoCfA\@IOd_SKH{CpA_@JoeOSkHkDLAY@Rof?TCHwDTA\@SofoTkI?DXAj@OokOTsI{DfAo@XO`?L[GWBRAD?tO`?LcEwCJ@l@BO`oNsG_C@AH?~o]oSSFsDFAc?}O]gNKFaBl@t_zo[_OKGKBh@r@@O[OOKGKB`@n@@PM?DcAy@Z?n_WoKGi?G]CRAG`IocwQcHYCnAW`NogWSCImDZAk_`OOwGcCyA`@N_goSwISDQAl@T_~O_GN{FEB^@oay@Z_mKU{JfDoAxPYokkUoJLDlArpWokkUOJNDaArPVolsUCJ`D_AvpVolCUgJBD_AspUojsTgIxDXAmpT_jST[IvDWAkpYoiCUsIbDkAhPU?iCTWIdDVAgpRghkS}IYDpaf@[whwVIGDCCa@p@ohSSoGJDJABP[OeSROJfCrAxPW_c[UKHJDcAQPF_ikTOG~C\AhpG?i[TSHDDSAOpEohCScGxCYAbp??gkOCILB~AaO~?hSNwIVB|AePAG`SOeGUDAa``BWgGOqIKCOaa`Bwg_OyH{CPaH`OGaOR}GgD@aJ@OwagSIGqCzaJ`NWb?RqFeD\`y`Vg]_TqFcC~`w`Ngg?NAFkCz`z`NW^?RqFSDFac_zG\WSaEuDg`m@YWlOLuHoBN`g`MgY?ReEcCt`i@LwYWRYHqBV`j@MgYgRaHiBWaZ_ugeoLeHQCnaT`KWdORAHWCeaS@JgdgQ]FYBy`v_}w\oNeFABc`r?ww[OMUFMB]`s_wG\?L}Ni?e_RoIGDKAm@T?r_YOKgESBQ@fGFAepRgh{_OONGECCq@P@C^sOFF{C?p}p?S^{OBG?C@P~`?[]WNxFzBsPxo~k]KN|FdC?Px?~{]ANDF`bnPvwzk_[KvGHBMqA?rcXGNpFyBIP}Oq[_SK^GEBGq@?qCWoNjEMBzpbO}s^SKRFvBDPao}s^OKPFrBBp{_osWSNhECBxP_o}[W?N^E@Bwp__}C]{JzFpA~P{?n{VgNXD{Bupz_n[V[NXFmA{p]?|kVONpDuB|P\O~K\CMhFRBjPs_yk[wMtFOBmProz[\cMXFLBjpu?x[[[MPFDBdPp_xK[GLxFCB^PoovkZWMBEwB^plowCZcL`EzBXPm_uKYsKjEVBVpd_tsY[NREhBtpi?|SYOLfEeBYphOucXwLTEkBOPfot[YCKtEWBPpg_rKAq@\?l_UOJgDkA}@b?o_VoKWECf{CBAB`@O`GOkGYDDAb`QOlwVKJaBR@j_tOYWL[EiBX@m_uoZGLsEuKbEObFqdxRKhaSgIAdJA`HQggMSEIOdFA`HOOg}SaH{dHa^hNghISgH{c~AdhNghUSYHzdDa]XP_fiS[HxdGA]xPwfiRMHrcsa\XL?fQReHicyaZHM_emRkHlczaZxN?eyRoHpcxA\xMofASSGTdCACxPG`QSUHcdEaXhP_eUQ{IPdHaWHJwhISOHZcmAaXJggiQpHYckqTXIsd]RcHSchA[XIWfAQYHmcfAZxH_euQQHicdaZHHOemRMHBcsaPXL?cQPNGdcRQePCch_PDIVCPq^pB{gCPBI?COQ^pBs`oSBG\D?QE`Os`kSNIDCKqE@Os`WSNGVDAqBX@{_yO`GQcGqAh@c_mPuH`cpaMhF_eIQ?Gvc`AMXGGbaQKGsccALhGwbUPaHNcgaKxEOdAPyGjc^aJXFoaqPOGmcWAIhDGa}WQ?h_ToIgDKAm@T?f_ROIGCsAa@NKZAYpLwesR}I@C}a_pOgg[SUILDCacpPwhCSiIXDJeCbDXawomWSKUeEBDXawoyWYKUeKBBxbGpEWsKOeKBDHbOpIWqKRe@bCH_gpEWGKNeHB?H_OpMWAKSd}bGXcOn}XEJ}d|BEx^_puVuK[eEA|x`oneWYJweQA|H]oqYXIJtdqqxx[smIVHJbdnBAxZgoeUwKIdjBExZ?puUmK[eRasxYgqeXOJSdgbGHYOp}U_K]eQarhcok}XGJLddBGHXWpyUWK^dcBJHdWkeUMKieRaphW_qeUIKgePAoXcWkIUEK`d_BIhVoqqT}KjdVqkXUCjIThIrdZqlXUsjaTtIxdUqjhTcimTTIhdRQhxTCiQTJIbdOB@hSGoaTCKFdNb@hRooaWMI\dtamx\gjqVWI|dvAyH]?miV]Jhdwavx[GnMV?JqdkafHZOhmUuIYeBRAH_{]qN\Flbvp{W}C^QNfFqdLQfHR[yW[rMZFQrhprSrc\DKzFQRM`s[xW[rMZFKRdprSuQZJLbeorWhkCtC\JMfEhrh`iSxoYTM]EcRfPhKsS[~LFFOrP`sCx{YDLCFOrOpsCr{\DL?FQRgpgKxoXxM\E]rf`fsq}XZKmeWRKheKrMXjKseZrMHeswg[FM@FERapoSvk[NL|FCR^@pKv{ZZM?EvR^`lcwSZVMEEsrY`ocuW[ZLgFFrXppstsZpLyEnrV`nKtgZnL[EyrUpmsvGYnLXEyR[pjCu{YhLpEjR[@iksw[fLOFIrRpqcx?YVMQEercPhc~M^jNsfxR{H}K}g^BNkFpryp{Syk]`MlFgrj@x{|G]LNGFiRppy[|w]FN_Farvpwc{?^ZNAFvroP|szs]XM~FfRn`xk}O\tNdF\rn@{s{g\rNJFZrqPvC}c\jMuFrry@uczK]vN\FXRkPzc|S\\NUFVrtpuCy_]pMhFlRi`zK_EODGBcAQ@h?knEVdJrdvQ{H\{mmVZJkdkquxZTAK`^OdGWsHAEDAK`LOdGRsHADDAo`DO`GVSGADlA?`ROjGPSIaCLAo^xN}GVSJP~lA{_tOpGMSKAB\@]_pOXgIsDiAc~k`NNxGSR}aCs~W`ROjF{SI`}|@C_zO^GHsCaBt?k_POIGEsAQ@d?G_\OCGGS?q@{~{_JO@GBs?A?tEGRfHtcyQ]HMsf]RvHyc{q^HNsfu[JMEfAR_xoSwEZ|M?e~r]xnkvqZpLxe|R\Xm{vYZdLsexrZxmKvAbePjguc[YL`FIb]PjgucZiL`FAbmPgg{cYYN@EibQPsgtC\iL@FUbKP~grc^iKhFubsPdg}CXyNXEYbCQBgqC`YKXGQbCQ?h@CXIKXGE`{Q?g_C_iFxGEb[PXgwCUyLxDiakPygkC^IIxFmcEPRhAcTYO`DQbmPOg{cSiN@DEa^PMgesRIHTCmbyPGg~cQYGxFyaKPtgaC\iGhFQaAPpg`c[yGPFI`wP^g]cWIKHBm`oP^gocMiFHEA`iP[gZcViEpDuawOqgnCLIJhBMegKTeJrDhbCpeWtNSfhrshyC|E]^NKffRrXx[{i]RR^HjsvQZLLwepRYHjsvAZLLkepRSHqSxQYtLSfFRSHoSta[TLSfBQuh[SlyUlJMdhQiHqSxQTdIkfFQfHoSiQ[TI_fBQcHmSuqStLgdJR\HOsgqZ|LwdDRPHLssqRlLGcxQWHgseaY\HcedQTHfSsAQ|K{clROHHSdAXtK{cfQPHdsbqXlH?eXRJHESbaXdGseZRIHDSqAP\KccRQFHdSqAPDGWeRQ]H^sgAWLH{e@QxHasmqW|JgeLQoH`SkaW\KOdbQ|HUsjqVtIwdxSmIRtHiclQIhHSbiTczy]HQuf_SkiTczIdhMyhWRliSCyydHMehSRihrdIid@MafKShiNdEYcHPmh?SYhxDCIaPNQgaRriMD@I_pPygySDiJD?YaxOMgCSWh~DAi_@Oqf}SJh|d@y^hOefwSGiHc}IahNiggRxhydBy]xOufkSMgmSViJlD}bBP_i_DUIgPTiiATXijTTyilTkiLTGImtVAg|SMiJTCikDKYePTiheTXiVDUye@Tuh]T[i]dQYfxSmh{TIieDNIhpRiiYSziZdSii`ReieSwiYDRyepTEhiTOhdSqYXDKmeXRLhfssIXtLEefRQinD^Ik@Vui}T}i{d`YnXW]jsUEi~d\ioHVak?TvjAD[ymhWIjgUBiwD^ImPVyjaT|iutZyltUmjXTii~dXylHWAkATgiqD`YkpW]jIUEj@DWykPWQjAUBiTTIYdDQmhZSkjQtgysdXuk|U^jRDdIqhYakkUfjRDcYt@XMlMUQjFDiYtXXAk]UijDdiYtXWukWUijMDaIpPXikuUHjODdysPXelAUWj_dmywXZumCU{jVDlYuxYulkUkjXDniu`[AleU~j[DjyvPZElqUojedpIxx[Ym[VDjbdqix`[emOVJ_moVwJsQqH\ClaSpIwdS`qO|G\cLQExBKs}Y`LMedrRXhc~e^vNyf{R|x}tJIdbQohVSjYT|REhfSqiVTKId|XqkvUYjJteYrD^go@V{K@T}r?L^snnVxJ~t}A~t^gnhV{JzT}q}l^cndVrJzt}A}L]wnhVoJzTzq}l]snfVpJtt{a|d]wnRVoJsTzq|T]snNVeJuTxQ|\]GnPVcJtTwq|L][n@VdJotxaz|\wnBV\JntvA{D\cnHVaJltwqzT\[m|VWJmTvQyt\[mrVWJltuayt\?o@VQK@TsR?L^smfV}Jit~qydbW?t?Z_MOFWB{@yqC?__POGZH?AM@J?c`GocgQCXUKnEUbWPkWuSkiUXJJdcqpxXCzY\jMsfWrkxuTC]aRPGgbSPIGlNIfhRrhzs|i]lU]jRTgiotWykTYylZUkjVtkYuDfOr^XpKxU[rMDfSrXXvKuu\bLtecr^XjKwU[RLTeWrXXgKvUXrLleWrFXgKquXrKde?rVXiKpUYRKLd{rJX\KpuVbKde?qtX[KpUUrKLd{qpX]KkuVRI|dOqtX[KjUUrIldCqhXRKjUSbIld_q\XOKkuTrH|dKqZXQKduSRHdckq\XOKeuRBH|caqTXHkcUQjHL_KqJWDKbu@BGtb?rdWqKyUKRM\fSpZWnKzu\bDtaoqHWjK`UIbG\acqHWgK`UHrG\aOp~WeK_uHRGDbopFW}KPUNRCLboo|W}KOUNRB|`sqBWZK_UFBF|`_prWYK\uERFT`SplWVK[UDbE|`GprWzKHuMbAd_{plWPK[UCBE|bSoZWMKYUKr@dcSoRXFKDuPb@T_WpjWFKXuABEdlw?\?N_GOCWA[@IvS?S_JODZ]?@a?n?XlwU{Z]TnIvbZolve]Z\pfivYXwlkEgzZPiQtCZXlkEhjZPi]uqYdltEfz\`iEvUY_lNEzJ\XhqsyZilLeyZRHmassZflJExJR@mYsmZdlHexJQhmYsgZdlGEyJQPmevMYPloebZ[Xg}vCYMlneaj[@gqsUZ]lCewzP@mIsMZ`lAEvj[@gYu}YDl?euzOXlqsCZ\k~EzZO@m}r}Zmlle]zNhlurwZ[leEsjY`kyuYZRlcerzXXlEuSZOl_EpjWPk]uAZGl`enZVxkQt{ZDlYemjUpjqtgYzl[ekjUXj]toYplieizYxiuukYklSEjjTPjAtQYnma?EwBS@q?t?[_LoFWB{@y?z?]_NvT_CCAI@B?__POGZZDliur\[MjVUBjttsyn\XMmVUrjttgyz\DMhVPbiLsOy`\OMcvPriTtCyP\TMdvTBhdtKyT\LMhvRrilswyhZ}l}U~Z^|oEw@[wMkvMbj\rcyt[tMjVLrjDrWyn\LMXVRredswxf[nMbvKRhLr?yP[kMdVJbhdqsyV\DMSvPbd\sOxTZrM_vOb]dnSyFZuM`u}BgLsGvn[eM^VIBgDq[x~[\MOVGRbtqGw~[bMLVHRbdqOwv[XMHVEBa\p[wb[MMIVDbaDo{wj[JMAvBR_toowN[CMDV?b`LoKwPZxM\u}rflngxx?M_GOBw@s@A?^?P_HOCwAK@M?d]x?IoDgAc@U?l?Sm_vOzgTbUpfWsk]UNjFlcAqBW~kauPzGtz{|r]zN_voBvTzo|~]|N_VnbwLy[|f]hNYviBudzK|T]tNUVlBt\z[|Z]wNVvlbttzC|p]qNZVkBu|{G|H]eNaVhRw\zw|D]{NPvnRsLxw|r]zNOVfrvTz?{v]qNMvkRrdyg{p]YNUVirrLxS|\]VNVvdbtly[{d]hNIViBq\w{}V]PNevcBxdwe{V]InFVbJplwW}V]GNev`rxd{G{F]DN`v`Bwd{c{@^IN@VqBoLvs}J^FM~vpbntvg}J^FM}Vpbn\{_zn\xNdVqRnDuUzN\emsVYjlLumzZ\kmvV[Jl|vOy~\uMov\RkDvGzD\cMxvWrmLlmuzZ[lqUxj[lmevPZflvuzZ\uAk~@_lNowJB{T~T@D^vOQV|cC\~H@D^sOQV{sC]As~b_kNvwIr}D}p@P_iNvWIR|l}l@N^hOQvycCuAS~L^gORvxsCuAc~F_iNqvxCDD|Q}l^TnjvuZzD|i}v^[nmvvjz}@|?Z_`OFwGC@u?h?x_]OEWAsBm@d?N_HOLwACBU@L?L_TOAWDC?m?D?n_WO@wDc?T~x?`_?OHV~sAL~s}\^ON}Vrr~\|C~p^RN|Vsb~MAxA|`_OWWJsJ}DTAp`VOlWTcJMDlAd`\OiWVCI]CTBN`COswOsLEC@BH`AOrWOSKmDD@|_~OgWRsFmBhAR`JO]WQcF]Ct@r_wOfWRCE}BPAL_uOcWLSG}ED@b`bOXwWcEUGk@F?d_QOGwCkAQtDYclPuhjS|iUzd\rmwv\JmtvVCsaSpMGdkRYHVCqaPpJgc{RAHJC[aUpGGdKPyHVCaaJpEgc{PaHJCOaJpEgakPaGfC[aGpGGakPyGfCm`opKg[kRAFFBYaYovgfKLqHnCCaDpAG`{OYGZB}`ip?gZKLYGBBk`xo{G]{MyFjBw`ro}g\[NqFRES?V_KOEWA{@e?p\QmgVSZi\tUyhZrlyu|J]tnavn_XoLwEkA}@Z?p_RoIwDKAE@J?b^wn|V}Z~l~q~vbXPuWus\mLhFVbgPjWycY}MdEpbRPnwtS[MLPF@b[PhwvcYmLtEhbePhWsS[}MTE`bOPpwxCYULDFDbMPkwusXmK|EtbKPjwqcZEKlElbHPdWpsX]K`EXbHPewrsW}KxEPa\P_wosR}HxEDbgP^WycWEMdD~azPtwnS\mJpFXawPnwmc[EJdFBbdPYwxsU}MXDlb[PXWvcUeLtDfanPpWxCUMJ@FFakpVWj[TMIjDVbCPRWpcTEKTDNabP`WosSmIPEBbDPOwgcWuKPD@c{NXvlZudzY|p]vogwR{IECvA\`KodWQ{HMCZAP`Fq^hPkgySFI?dDq^hPKgISJI?dBq]HQ{fqSvHydKqcHNkfaSjHydHqdhEKhiPjIWcXqIhP[gyP^GkdEqHHOkaYSRGgdBqdHB{aISfG_dGqCxAk`]O^GPcEqAhM[_aRnGEcyqZH?KfAOJHmc@qYG~{eYNzFyctp|HK{^aRVFucsqWg|{eQNfFocoqWg|KeQNZFicopwhM[]YRnFccypwHMK\yR^HkbmqRhHKdIQVHKcgqTHG[daQNHUcaqNHJ[cAQ~G}cmqLhBKbiOzGwcLrJHaKpMW^KHeDrBXdSjET\KfeSQkxdSieXPIldTRHxScqETLKdePQgxSCqUSxKbeOQfxbSnEW|JteMQ{x\sjeVTIvduQlXacmUVPKVdrREXYcluUlJZdhQuXXcmMU`J^doQrx^ck]W@JJd~QqXWCoMUHKFd`R@XVSn]T|Jxd]Q}wo[W]KJEHbEpaxoCtEYhMDf@RSxlKuuZVLfeprXXpCuEYxMJfBRVxosrM[TKtfCRLxoCqu[HKpf@RJxhSvmY\L~eeR^XgcvUYPLxebR\xgSteX|LZe_RTxmSruZ\KxewRMxK[eERJHfcsqYxMKe}RZHrczq\XxCwu]TMPfeRbxws|}]HNZf`RvXxszu]`N@fhRnxus|U]pMzf[RtxuC{e\hNLfXRqxt[y}\ZMhfQrhxrs{}\DNRfORsXzcxu[tN^fKRuxqS|][lNXfiRdXckqEXFKfeTrIYA|@m_rORgIsCYBc~e_|N|gOR}x}T@}`@NvgMR|YCS}u^\OffwSHYCS}]`LNjgQRyY?d?m_PONgBSBX{C~}^HOBfpS?YHdCEa`PDgfSOyFtAu`tOjg]SIYEdDM`lPVg[STYGtA}``PJgXSQYLTDeaxPnguSUyJtEUbDPhgoSXwaKPMGjHHceqQxG[c]QJKveXrLXdkrEX^ODgCs@x~|?M_BQ_hIshIRLIIcnQQhMsfiQLGycvQIhIsbIRLGacnQOh@sciO|GycJQGg}sbIN|GicBP{h@s_IO|FycJQYgwsfiMlFIczQ_gzshIN\IIbrRa?K_EoA{W}KfEPdiqtxY[kuU^JPfMrexrKxU[nMRgUsIyDLBE`fOni@T@y_dOmg@SHiES~yaDNug\Rzh{T?y_dNUflS@h}Szy^tNMftRphtS|Y]tMefpRlhsS{y\dM}fTRphRStyTTLmdPRXhgT@yYdOmedSHhdTCY`tK}gXRLhrSpY[dKefDRFhpSoy[tJ}fHR@hoSmyVdLudpR^hjSkyUtLmdhRXhoSjYUDLud\R^ix?DOAG@MjhStiWT\ymTRMh\TriUT\ydTVUhLTpiSTZYcdU}jLS^iPTYylDQEgpTpiuTFYltPmjLSRitTDylDPUi\TZihTVyiDTuipTHijTQyidSujHTFiaTWYgTUMhxSvi\TOYfDR{?u?X?J_EOBW@]mLV?jZtpIvL[IljV?j\tnIw\ZymJUej\tnis\ZqlJU[jZtgIvLXyljUUjVteiu\XalbUOjStdItlXIlVUEi{t^IpLVikJT}jDt_ip|WAkY?P?I_CoAg@C?fWGhjsuyZLLufBR^k@T|z?t^moHVxk?U@y~t_MoHV|kCTvz@d]MoTV`jwT~Z?D^Un|VrjtT|y|t^mnXVxjsUCY{d`Mo\VfjkUAYzd_umtWJjiUCyyt_}mdWPjbtqyxL[umbVNirtYylLUujbTnkOUSZCddUpDXRkkULZJTb]qlWrkjUJZJTbEqpWnkgUHzDTdUqdWhkKuDZA|`mo~W\k`UQzGDc}qXW~kaUMZHDbuqLWzlBUVZPTeEsPX^kvU^ZMTfmr`X~kzUYZLdferhXjlAUWzKtgEsDXdlMUgzRTh}spY`lEUczQDh]s\YTj_tpYw\cmq^XLkauQZG|jAtzYsl_ukjV|jQtrYql\ukJU|jitNYulSumJSljqtVYml_unjTlmAoFWFkAu^ZN\f}rnXxkyuwJ\lnAvJZalvuwJ\\mQvNZalsuvjW\liuNZClmuxjYlmiurZglju{JY\lAvZZMlvuvJXLlyuZZYldvFJ^Tp]vx[Zl{VEZ]Tpevh[VlzVEz`TpEw\[TmEVCz^toUwP[BmBV?Zbdq}xd[`mNVKZcdqexD[lmRVIzZ|luuv[sm_vLjglrayF[ym`vNjglrqyB[VmLvEO?TtIyN\G?BVTzhO?Qyj\K?AVSo?TtAyn\M?BVT^