CAT(2916,1)

Sparse6:

:~?lc_?O?G?CBC@`?n_VOIwDCAu@R?k_TOROHcC{A\@P?gOU?I{DIAf@S_ioTg?c?a?J?E_BoAW@c?i?\?J_FoBW@s?}?X?L_DoAgAs@m?p?X_JoEgCsAI@N?b_QoHGB_CiAO?]_O_PgGw@}@?@H_M_QwC_CY@E@F_R_QWCOCa@K@J_Q_QgDsBM@`?q_WoJwEkBWC\?v_[?cGFKHG@h@@?VoK?GCCG@f@B?XOJ_GcCS@b?K?AOBO?k?{?L?J?BoB_@K?g?P?U?GoDOA{@_?d?X?IOC?B[@g?fAk?xo\GMKFABj@q`Y_kgUcJMB@@]_noWWKSEME_Af`SoiGSsImDTAt?yo[oUsFCDj@o@Zo[_U{FODlAf@UOiOTkIWD\An@TokOTCJ?DTA_?tOZOSSICBV@k@Poh?L{EwDJAV`IoeWQcHaClAK`EoawPSGaCRAo?aoO?TsCCDZAn?`OkOGcCKDXAO?]ob_F[G{@xAP?\Oc_F{HK@|@z?dOP_M{F_AN@H?zO]OH[FgAP@W_moUgJKDmAx@N@YOR?USCwDd@O@XoSOUcCsDfCW?qoXgKcEaBR@f`MOegRkH}CvA]`?o^wNkFqB|A?aN?_gOWP}H?AF`A@GWOgQMCKCaaI_TGaWDIGg@RaJ?TWIwP]Gc@UaQpHGc{QaHRCeaZ@EGf?PmHmCYa[`EWbgRmHsC[ap`VgjkT}JDD_aooYGKsEQBJ@f_soZWL{EiB\@k_toMwFkBi@|?~_]OOwGcCUAB@?_`ODWAc@M?b?O_HOFGBs@}?z?`_OOLGEkB]@r?u_[OIwDSAq@Z?g_SoIWD[Ai@Z?g_UOpgW{KaEHBD`coqwXcK}E\BI`eoyG\KMiFZBk`tpmOrKXqKtEZbNPfWqkXMKlESbKPdwrCXMKhETbJpdgr[XiKzE]bKpfGoOZIKAEpbB@kgogZIKEEpbA@kWpGV}JuEIbB`^gngWaKWD{b?@awmkV]JpDua|P]WsgVIJaEgbR`\GlwYYJ_EibS`[wi{TiIvDXamPUGi_YUIiEeaj@iGigY]IgEhaj@igmwTAJqDQaz@RgmgS}JoDRa|@SWlOSmJUDJau@RGlgSuIYDmae@YWk[U]JPDcaqpXghOUQJKDGac`WwhGUUISDgar`QGVSJaDrAz`]onGpoK}KaBKbF_qgXWXIK_BMbE_rWWoTqEIDV`b`UwXGTeEODWal?pGfcR}H|C|a_POWk?RiHoD\aZ@VgjwRmJACvap@MWo_QuKICmaT@`goOQqHUEBb?`JwgOQQIECfaa@HWggQYHQDFaS@PgcWYAG{E^bO`FwsOQALGC`bP`Gga[PIGjCVaJPDGsOOuGWE^bQ@Bg`wYALECPbO`CG_COQGBCDa@P?w^SNqFzBz`~o~g]SNAF\Bn`xo{W\OSQICBj`s@Ow\GSUFYDF`u@Pg[OTuFED]an_xGk?MUFMDa`r@WWZSLaEvBU`kotwb?RAGqCpaY`EwbORIGyCsaX`FGZ_JyEyB@`n?ogW?MEE}BB`^_wHO?f}SCI@dAA_wtcYmL^ElbWPjgtcZALVElbVPjwp{XEKdEObEpbgowfeKOH{c|@agpGfmKWH}bDa^Wn[VqJzD~a~P_GlwhuS{DodN`[XS?VMTCDsdO`[glKUiJVDkavPZWhsS}I`DQagpSw_sO]GVCGaCpAg]_i}FqIp`{AkG]gjITgBv`zAkwYgjiTiBR`gAlhUwLQEaIw`hAmXTKiiTVImdUqjHQshMSbITdHQdHPWkySWJNdeabXPolAS_JQdFasXWwgYUOIFddA`XXWgiSOJKdCaqX\WD}A|@__ooWgK[n_VnJyD{q~@^[oKVzK@d~r?H^soIW]KIeDrBh`coeWZKZEKrDXbCp]WlKYeRbGXcSqMXHKeeQpQGhSSeIZDKadpRwiSTMI\DOagpTWicTYCPAK`DOawPkGeBl@v_{o]wNCFi@t?z_]oNwFsBqAX@L_gOSWHsC}Af@Q_iOTgI{DUAt@X_mOUwJkDa?H?G_Ao@g@K?]?`?T_HOCwAK@Q?r?V_LoDgBS@a@@?`_MOFWB{@y@N?b_QoHgCcAIDpA{`[omgVkJmETBL`fOrwXcKmGjCSaHPCwa{PYOdGMcFqCXAC_uSBIAdAQ_xOCf}RNHjctQZHLCeeQnHWclQThIkdeQ^HOcgqShIcdMQRHJceQRhHkciO~G_cQQGhC[aEOBGCc@q@h?S_UM~F]boPvW{K]IL~F?baPoWwS[MMNFGbbPpWxS[eMVFKbeprgyC[}LfEsbYplgvCZ]LfEtbZPlGvCZ]^kN]FwRvp}K}?^dNsFpR|P{[~K^BNKfgRsXxk{}]\NOFWRr`tszC]ZMqFgrrpt{zK]XMOFMRcPrsxG[zMSFORdPsKxK[~MgFFri`pkyc[TMjFFRaptkyo[XNQE~Rspn{|O[@NTF?rtpo[|W[DMPF?Rc`oKxKZ~MOF@r^`qkxO[DNQEuRsplk|OZ\LnFjr[Pykv?]lLqEoR\pk[uOZhLtEor\`kSuSZfL\emRVhj[t}YtL\FaRVpw[tg]@LZF_rV`wkto]DNbEjrw@is|{YpN]EiRUP{S}CYjKyEjrUPf[rcYhKxEirM`isrkYpKrF\Rn`e{rS\vM|EZRM@v{zoXhKfFvRzpdS}{XXNmESrI@|{}wXVMqENrkPbcpk\\K\FVrkpcCpw\`M_ENrEpsKxoWxM\EMrfpcCxwW|LzEHr^@acvsWbKQE{r]``{p?ZpKBErR@PlCoWZRLfECR@@l[o[ZTKgE`RP@dSsKXVLDESrPpc{sWXXJuE}Q|@nCnSZrLyDxr^P]KvkVdJlEdqyphCmoYRJmEdQ{@hkm{YXJgE`RPP\KsKVPLFDtRP`\SsOVRKBEOrGp_cqOWPKDERRHP_sqGWNKLEQrAPcKqGWTKbEDrB@csowXHJvDyq|`^KngVdJzDwq}@][noVhJnDrqyp[kmoVLJoDrQz`[kmsVNN\Dkru@Zslg]rJZFlQvPz[lo]xJVdhqthYklaUhJMdfqshXklAUbM|DeRnpXKkk\vJGF\Rn`W{kg\xJDEtqoPksu[UFLgDaRY`WskGZRIbFDQh@p[iS[XIeFFrbPTCi[[\NsDKqdp}Khg^`NtDMQep}S~KSpNjDEryPPc}gS`NkDFRzPP{}_SVK{C{q^`gCrsRtH|E^Q]pgKr{RxI@F[RlpOcf{\hI?FYq_`vKzWSFJzCwq}`MCn[RZHqD}Q}PLsn_R^KlCsRJPLKe[X\KmCtRJpLcq{RVHbFkqWPzSeG]pHcFlqX`zc|sRJHTFrQTp{{dc^NHWFrqU`{sdW^LHFcbQOxGccaQJG|FAR`PFswcQBMEC`R`pF{w_Q@GzFKrepFKb_[tG{FJre@FSxWPnKVCWrE@E[pgPhGuEJQK`akpcPjGdFbRppCs{_PNNHCSRqpDS{gPRG`EDQG@`[aGWRKKCPrB`B{osPHGRFbRq@A{{[OhNHCIrqpBC{gOlF{E?P}p^k^sV|G?D~r?_~{oCN|FdFtRz?|C}cNLFfFupwp|[}_NHF\bnpvg{C]INBMsBgrlOySzWMhFRF[rm?ysz[MjFOFqRxOx[[s^JFMFqrx?xc[{^HJ|B_Po`^sn{MBE~E?R?_wcoCMFKpBYplpeSrCLfKoBYPm@eSr?LlIhDYqi`UsikTnIkD[Qj`VKisTtHrCcq\@HSckRpHtCeQ\pHsfWQZGjDVqJ@UCasTbGmDXQK@Uca{TfHNCKqE`IcdKO|GZCgQS`BkdCOxGFDMqf`@Ch{ORI_CDQg`@ciCOVG@CEq?`@s_{OFGCCGQ@`AK_SOdExDApm`OsZkSNIGB]Qa_vsgcLzNifsryH|c}m^ZNrfwr{H}k~I^hNDf_RoXwS{Q]FMgfUriXtSyq\VMafPrhHsky]\LMaIwRgqmLVS\JMcIxRhqm[yWjhMUI}ReAntWC[rT~FJreqoDVs[tTuFAR`anKw[jnMGI{RaQnSwSjvLrexR\Hmkv]ZlLlevrZhmKvAZXL_eqRWxkSuUZBLPefrSxhstAYdLMehrSHiSs}YbLJeeRQhhksaYRK{e^RNxgKsAXzKreYrLhfCr]XhKPJMrDAr{pKk|KOJMTe`aSo{kvKTeJRDxbCpiWrJ`doqvxZ{mAV@JadpQwx[[mQVHUBD\t`@VdW[T|UDD]qoAosj{kDU_DGtgPQShKlDITJQQdaskhOlFTiCnTYpJ[dsjXH[IvqWAlsd{jZV_B{Tv?}l\wNlFxJnp}a{L\sNnFnJjTto}D\_NbVYBxTuo}d\cNfFiJctq?|k]wmNVCBttpO|L[WNXFZblPtwzC\qMrFHbbPpwxC[iMJU}j_Toiw\[El~UzKEuBqvlZ_oXUxKGuBavd`?ltWEJYUAAuT_clfWFJYtlr@\ZWoTUkJgTjQyLYwmdUpJiTkAylY{mfWQJRUDAs|`SlPUhKJtirA\`WlTJ_dnqwX[SmMVHJedqqxx\CmiVRJudwq{h][nUVhDAa`pPWgcS]ILDZalPTwjCTqIrAe`RoiGTKImDTB?`_oogVsKMD~BA`^ongWKKAEFBC`aopgW{KeEPCEaCpAw_{OaGTBq`wO{W][M}F\BO`iOsWY[LUEdHzc|Q^hNkfeRxFkbspyg|[]yNZQfhQSiYTDIYdJQ^hPsgiRtIAdBOlgVSJyEDAq`bN|f~S?X~c~}_@YaLEefJRhgis{YNlNebJSHgyt?YJkceOzGhcmqOXCkdEOjGxcqqKXLkZE]ZN`b]poXyk}eMJN@b]pkXzkYeRzIHbMpeXMkgELJIPbUqeWskWEOjEHcMp_XCkaeKjGxbIqKWpkBEWJ?xeEoUXckCEWj@PeUoQXbkxDtjMX\mmmXsjkE\YzPf]mqXuj`eSivpcyl}XNkgDoIwPdMmAXPjUe^it`f}l[Y?jVe_YuHgIl_YBjXeUjJXZIqwUskmdlYuxd}lkX]k]DhjG@YaqAUik]diZFpY]lUW~lKDcjRHXMkaYZjFEejQpXAk]YVkcDaJHHWekSXIjDeQyphcukWXKjBEejQpWQkCYVjAeeIoxhmkEYXi}EUjJXVuqwT}i~eVYoHd}k?X]itE[ilXfMrgTlkydZil`f]rkTni@EOY^pbupwR~k^D?JFxOMgAX?hxEfJRpNMs}RslMc|zSHNYt?RthcEcIXHhEscRKlHcqjQhKusgRJhWEZYUHeydgXnkwclYUPfAdeXkk~CfySXgMr}Q]l?CgJOHIIsCQ`krc_IOPeacEXhkrC_YOhemcGXigxebiLpgib]YJgwEbIMPg}baYLkscEzKx@irKO]gNeYjL@@qrUO\lBcCY@xgYsGOQgGE`ZPH@MsOOMgDETzI`?a_UXTgCeUY@hda_WXUf}EfH~phys}N|lMb~y?HiE_?Y_jLDvIrh\}kuV\jMDvirx]Ek{V_jvDdIqh]}kmVojKD{Yqp^MkqVqhKDXIRPUUcuTehMdXylHHqcqTgi_EJigHaiiCWji`eJJDxSUiGWljsDMi|HRmnSS{i]dyy|hR}h{VkiSd}ydX^uhOVyiTD~Idh^}hWV}kRdEJD@P]pQSZkQDDjChPipKSXikC}IjHNeisRyh|dUy^hTufwT[iVCzYePMyfWSniXczy]HREf_SohpDtYy@MAmaR`jhCwy[h\QmeRchndpiZp[eesVChldpYZh[]ewVGjpCtI{xLanERTjqCti{pLenIRVhZE?IUx_EdoWAh[e?yVX_UdsWChrCii\PImfUQkhrcjYTxMed[RgijcaYOpTIieQFiiCaIihGmikQIjOc\YN@YIl?Psg{dhYMxYMlGPugpDMYKxRabESsgqDLYepEYbISvggDGiIHQQaeSdghDGycxDUagSeiDCNi`XB}aESMg_DBIGHO}aCSLgXD@IEXOUgKOsgYd@yExOe`kSGgUDRIDxSu`[TMgWDRyEHTE`YTOgOc@ICh?]_EOcgOC?iCP?Y`EODgjB|iIw~]aoNwglb}yJG~iasNxlIUcJQLhIsjYRlAU`ZOtg]sRYGk|U^JNDfervX|kwuZJLleyr^XokqUWJKLeIrJXbkiUTZItd]qrXWk\UMZFLbmptWzkNUGzB|aApBWaniEEJBh|Uoq^UkLFtzBX|eow^WkHUDjA|`UohWRkEUBZ@t_}obWOjyG@K@H^Unk_EoAd|y~I?]no_Gjftqix\[qm\VLj[TmYvTZqlzUzizfuin@|m}wTxnmd]imp|}}{TzixT[ymdVAjjTpinTWyj|UAjBTaibTPyhLSaiVTIiMGFIbi@v?{S]iNgG[BxQF@?S_iGTCYaTPMgjSSnocriYH}Ie]^bhgFxYYX}Aec^cnrcoj|@KMeG^hhafyiWx}meK^eh]GIKDHJv@SQ}oTcn{DhKF@WR?hQShYStIedPQfhHFryQX|A}aQSnhCdZyXH]}[QUhESbYPtG}cbQOg|FzJ|hFybu^mg}FzyNx~Eby^ogugJiLABAbQ_pgtGKyLaA~@cPjgmSWIKLDua~P]o_CR{GHCiaU`AgeGOyHqCUaY`CgaGDyGi@aaK_XgbgE{ApCf?sPGg[GUIFIDe`s`Yg\gUyFiDu`w`[oYCHkEhA^@qOgoZCIYDYBa`S_vgIF{iAh~M_k^sgJf|YBH~]_o^uozGXKMyEVBo`eo{gX{NYEfBs`goDF}K@X~f?W^yoEf}z~i?~?[^{c_qNXGCbyQDG~b^PnGvKZmLtE|pFGhkPyIbC_ahpGgikQYInDMaQnxghj}QIa~kajnyGhz}iIe~maim\GjKU@rnDY[{pVfNZfIJExoamltGjKThmnD[ZmpWezz\iJAvWanp@G[[OYFJCG`rpAg\KOyFVB_aEoYgWkFID~B?_woYGVkEyENBA_uo@gKZ~qBJ?C_ro?GKK?IAy~}_nnrgQZ|AC^AK^eodfy[HP}m~S`GnuFujzh~E}}^onmFzZ|p|m}{^nnhGCjxy@E}[_OoHfsJyY@U}a_Smbfmjg`zYyI]vmcfmJvXsYyO]xnXgHjuiA]|__anWgGzuaAQ|c_dnSfjZtPyQ|M]mnSFjzspym|I]knNGIKDHx~@S]_oTfg[DhyJ@W]bncFeJxHxe{s^InLfqzr`{q{y^LpLF_joiH~Cu]?pMF_[RpwM{Ga\ozF]jnYFezw`zm}g]kN@v~Bm\}mwgdjmQHUz[aSpJfZ{RHvNCo\omsGFJlI@v?{\ioNfY{CHuv@?\kojFX[IPuIzG`RojfXzkqDQzE`TmmFbJjhwuy{]MnFfVzqHuE{_\_o_FTjjQCJAA\VmkgPZjYCQyo`BmUFcjdhxMx[]SmVfdZeHx]x_]UmRF}JdH~m~y[fmSF}jdX~q~q[imQGBjci?~?S[_mOgAzcY?qxC_LmLG^ZbYFyww`{mMg^{OHp}w{a?nifDZbH|ewo^WniFDJap|Ywm^VotfAJ`IEiwW`louFAj`iE}wU`mmAfNzgPoMyE[Em@FNj_xsEwG\?lzGDj^Y@mvm_Vl{GEJ^Q@evq_YlyfoZw@nI|wZon]e{ZvxnM|{ZsoqExKKhmVBKZeorex{LHmfBOZgnoEvjZx}EvC^bloFwj[H}UvE^cmhevZZHtIy_ZWllfTJZ`tUyaZYleGMjXiBmu[_{lfgN[FxlEu__}lceszWplIugZFlieqJXXl]uSZUpQEljVIIAtga`pPEl[Shj^DEYwoeEjkHhi}te`PofEkKI@jJA]YplSGaJTIGetSaIlTga{PhivCWYklPf\JS`vUzkYfm{ehjSPv]tI\wokXgcJeDfLG`\olWUssu?R?J_EoBwA[@D{I}F^CnavpzwtwY{P]FnDvaZpTstLhetMdXlbh]Z[yX\NR[VRcvMYwxdenMXvLsuMZGxl[sRXxkBeloyw^[PmHVCzaE[WvxfFL}xqB^u[cv~fJM?v?CxTkPLPelLauoCtMYguBejL`xjBWTjjMoYzl]XubVlj}t{f[iPTGycdQUhNSehvSzY\dM}fbRorsHqkxY]VNGfGrrHpk{y[^NQfHrqHlKuq]VLmfer[hx{vA]bLifhrohX[{QURJEf]rphWkkA]BJAf^pyHvk{QNbNEbvrog|kzyNfFif_rkhfksI\vMoe\rNhukzYXrL?f[rDHm{pYZrKWe|rEhmkpyZ~K[e}q~gr[oIKrJ{bIpfH_KXyWNKCbJq{HcKnIXFJseQq|hc{qiVvKgd{rPHUksaTnLMd[qmhh[jyYNI{eeqkhkkiaYzIienqjhk{jAZBIkeprfHIkxiQnMWcmrgHJ[xyQrMacnqQHiKtaQfHIehqRHikdAYvHMejqcHEKbYSjIWcYqMhQ{baSvIQcXqHhskyyP^GgfTqHHs{yqPVGkfSr_HBKwIOvMCcMr`hB{aI[VG_fCqBH`K`YWVGMeFrChAK`IWbGSeEq@HG{bqOBG}c@qOH?{_iQFHCcCp|Hdk^YX^FweWp}he[^yXnF{eYpsHLk\IR^FScwpthM[\iRnFWcypmH[kmYLvJgb]qzgwKmiMFJkb^paHOkWiSNEKdCpbhP[gyKfEOdEp]h[[VAUrDqdlp\HZkVYVBDwdnqrXX{lEUnJTdhqgxRkiUS~IfdOq^xOKgMRrH|c|qWXK[eURNHjcssygzk\yfRF_hupwi\{]YffFchwswGx[[QezFEhnpqI[k[yfNRabepjYccY}LbEqiSplwudQuLTSDi?PiWsDOMLDSFbRTAwsdOeJzS{a~p_YgCWMKNTCbApXI]lNiJVR}aus}Gk|NqJ^Ruass@I`l?Yg^OGiGsAia\?ygnOKiIsdihlHQiRTIhMtSIRLHyifTMhLsciZ\GaebQIhhsbIYlHAerQMhjsvIMLFIe~R_gyswiM|MYbvRcg{sXIbLEYgvPgiMsYib|QIb^PkiOsVI]LMaarRiglsVi\|EIffP_husRIWlCyeNPOhcsqiI\KyanRKgisgIGLCadFPIhTshIG\IaaJPEhRsLIeLBYhjO}iXsMIe|Ri`zSwg\tHIDLQY`VSggUtIiD|BIh^OoiUsFINl@yb~O_h?sGiO\AYcNOchAtNIALRy_fT?gItOiA|@iiNTCgKs?i`[~agBNyi@r~I_lOY_BN}iCsjH|k~YdbNmhVr{IU\JY^jQsfxs|h{LNa^FRyfqs~H{|Ny^VNghysmHylJi]nNWh]ruiV{|yeFN[h_u?IyL[qnzV}jftsj?\\YoNVSkAtoIz\[anFVEjntoi{L\amJV[jdtni{|ZQnJU{jutziu|]alvVij[tTIrlTYk~TWjOtUis\YYi~T[jQtcItLYykvUQjTtdItlXYlfUWjWt`InLVikNT{jCt^ip\WIk^U?jEtZJ@LUyoVTokEt[j@|VYofTskGt{IkL^IjFTcjytXi}|UinvTgj{uDJJl`yrFW[kruDjJ|`arJWYkouMjI\baqjXOk^uOJI|cIqrXYk]uLjH|aqqJWmkbuKJHLbQqVWqkeuGJLLaIrVXkkQuZjC|airfXokSu\JPlfYs^XwlGu]jQ\fysnX{lIueJOLgIsvYClMu`jR|gitFYGlOuk??TiUtc?ClRul??tic?LYulTuj_?Tjk?HYwlU