CAT(2826,1)

Sparse6:

:~?kI_?O?G?CAk@P?i_SoIwDkAq@X?l_ToLoEkBY@h?x_ZoMGFCBe@n@B?VOJwECBE@d?r_e?PWGcCMAL@G_boPOGsCKAP@C?boN?GCCG@v@@?\ONOGCCG@~@@?^OX?KKEMBD@b_ooWgHoDmAY@\_e?VGHwDyAa@__g?VwJSDaAr@U_joTWIWD}Ag@__h?VgJ_CmAy@H_l_QgOgCeAV@I`D?aGPCGaCNAD`BOaOOSGKCRAC@Co`oOKGWB~AD@?O`?NcFsCDAB?~O]oOKFcB~@y@?OZgLkE}Bf@t_yO^?K{FwBR@|?sOY_MsF_BX@j?zoX_MSEOB`@d?wo`GOSGMA@@A__ol?UOGmDaAI`X_bGTwIaDSAm`W?iWTWIIDYAb`Q?jGS?IyD_A``V_fwRkHyCxAW`JOdwUGHMDeAT`X?dGQ?ImCcAl`G_jGUGGuC[Ar`F_kgRGIUCuAf`L?hgJsEAA~@b_pOWWPSGmCXAs@kOlOZSJWErBP@hOt?X{L?EfBM`eOrWWoLaEMBY`c?uWYOKAEeBA`i?oWV{JyDzAy@ion?Y{JkElBU@ZotoVKLSDpBD@coqoW[KgEH@~`?O_W\KM]FPBw@qOx_]sN[FJB]@zOw?]{L{FpBr@uo|O\{NOF\Bi@wO{_\cNCFVBZ@oovO[[LoFDCAABP@o_cOKGJC@@{p??^[N{FtB{ACO~_`SNsGRCV?~O^WNcBQ@l?t_YoLgEcBm@x?y_^ONwFkFABd@p_xo\WMcEeBN@g_qOXgKkKMEJBCa\`JOeKQwH^CkAWPIWd[QiH]CeaS@KWe?Q]HECeaS@HWc_Q]HQC_aT`GgdOQEGyC_aN`GgboQEHGC[aQ`EwcWPiGmCqaY@EWeWPaHYCXaK@Jgd_P]GgC[aJ@EgagPmGyCSaN`DgboPUHgCLaE@KgeWOmG[CPaH`CGaOO}@J?e_Rp\?JcDmAz?h_TOIGDSAa@R?o_VoJgESBM@b@K_fORWIKC}A`@J_dOQWR{IED@A[`NOfWP{GuC\Bi`tozG[KMMFDEXBIPe_q[X_KdEKBIpdopsXWKZEQBCpaoqcXKKTEOBCPcOo{W{KLE@BCP__o{W?KLECA~p`OnsWKJzE?A}P__nSWCJvDvA~P]On{V_JzEHAyP\OpSWkJlDuBAp_omcVSKHENAwpc?m[XCJdDvAwP]?lsVcJ^DnA|p[?ncUwJtCuaZpLWf?VIHsDra[`[WjwXaJAEYao@eWj_XUKmD]bJ@VWjKTmItDUakPTwi_UqIiDlat`SwlWTEJWDQau`SGhgUaJSDMaf`YWhOUYIWDfad`XWhGU]JIDGar@PwgoUaJSDDaa@YWgGUMICDcap@OwfoWqI?EMa^`bWk_RmJEC{ap@NW~?AQ@D?bb~?ogWKKAFtBz`{pLwekRYH|D?a^q@h?k_QOJGEcAQ?@?K^{OFF}C@Pop?{[GORFCCCP}o|K^sNVF{BtQAO{K_[NDGGBoPq@?[[gOBFHC@PnwwK[ALzE}b]PmO~sZkO@EyB~p}_us^cLpEvB{Pko~C^gLjFxBYPk?}kZCNlEqBzpjo}SYsNhEmBxp|_tSYoNnFtBTp{_s{^OLRFrBSPg_}KYKN`E`Bvp}ors^sL@F{BNp{Or[]{KzFoBMPxO{s]KNPFcBrpz_yk\WNXFSBupu_yK\oMfFZBhPr_zk\?M~FNBnPqoy{[sMrFWBePh?wsYWMNFDBQqU?C{AU@L?f_ROHXKG[IMHFBcnAUHK?deQ}HYcnAUxJgeAQwH^ceQRhHkceQTHJcbAVXJ_caQMHZc`aUhJ?cUQqHCcQaThCwdUPKHVcLaWhBOeMRAGXcGATxAOdYOaHTcEqBh@{eCOTHbCEQW`@[bsQ^HPC^qN`ICdGPnHSC[qSpFCbkPZG{CTqJ@FSagPjGgCZQIPEcawPHGoCPQGpD{bCO~GqCOqKpCC`wQDG\C_QF@GK`KOlGTCKQD@A{AI@H?b_PoHGCSicJLDfaqpYGlSUeJZDjauP[Wm[VIHjCvaZPMGfSReHpCya[ql@V[jGTzI{DXqmPSsjgTPIwDRqmpS{jsTPIeD]Qh@Rkh{TJI]DPqg@SkiGTHI`DPqiPLSikRXIiCtql`RSj[SxItDLqdhQchUSbIRdHQg@P{iGS`I`DFQf`Pch{SZIJDMqa`VSg_TrIHD[QjpO{jCSLIoDAq`HOSgMTiH~d?AlxUogETSHxdTa]xTGfiRkIqdYA]HMwjMRiIkcxajhM_iuT]HodWa[XMOjATWHldUaZxToeyRJHecqQXxLKeaR{IXdKA^HNgh]WKFnbwp{G}[^QNdFtbzP|w~[^uNxJLdfQrx_ooAWCKGe?b@x^Kn]VpKBDvr@@]CmwWJJgdtQyX[WpEW]JcdpBCH[?omVAKHeDAvx_olqWOJ]eBavX`_leW[JZeEauh`_lYW[JWeEatxY_omUiKIeCasx`wlAWaJQeGAsXW{keUPJIddqrHWckYUJJ@d`qoh_WjyU?KCd^b@X]onuVgJ~d~A|X^_nMVsJpd|a{h\gm]VWJedtaxX_[oUWHHTcjQTxiCsyY^LOefRRxeCrIXbKleVrJhiOpuWuLRegbFHiGpUWmLRehBDhaOsmWgLLeHbRHf_sIYGK}e`bNXfGqiXsKke\bIxcwr]XoKheSBLhc_r}XKL@eQbOHgwqEXCLDePbPheWp}XiK_eNBLHbOsaWoLIeKbQXksuaZNLze}r^HmwveZsLtezB]HlwuMZILpeqB[HjguqY{LlenbZhjOvIYwLrelb\HlGtaZULVekbYhk?tYYgLaeibWXJseAQ~GJcEQAh@k_}O\J|d~q~h^SnqVvJedrqxXrcxu[|MfFKrepskyW[tM[FKreprsxs[tMWFQRdpsSxW\FM^FJRgPrCy?[nMDFOr``r{y?[HMQfGrcHp{wu[\MKfDRaxoWyQ[AMbfPB_hsovy\MM?e~bhXpGxU[OMRfBbdHyOiQTJIbdRQiHS{f}SBI?e^rOXgCruX|K{e\RMXf[rYXpKveNRFxcC|_^NNhFlRy@zK|w]jN_Fjrvpys|S]vN\Fjrt`zc|G^HNSFrRsp{k|G^BNSFprsp{Sz[^NNhF[ry@vC{k^LNIFqRqP{k{]]PNEfaRpXw[}C]DN?FproP{S|s\zM~FmRn`z[|{\tM{FoRv`v[zS]^MuFgrl@yCzC]^MqFgrkpyC{o\\NMFWRrPt{yk]XMkFerjPxsy_]pMiFlRiPzLAcYhLUeirTxjKta\vMyf]RiHtKyi`{OtG\sLaFdB[`zOwG\sMaFlBc`xOwGXSMQE\Bg`hOtGVsLqELBW``OkGVsJaELAs``OkGSsIqDtAg`ZOwGRSMaDDBc`NOzGRSNQDDBo`NOYGMsFqBd@k_|OSGXSDaEd@S`fOtGEsLq@dBW_VOGgDSAY?t?]_JN{GSr~aD\Ag^zNuGPr}ACc~[`JNsGQr|QCc~K`FO`FwSG@}TAG^bO`FusG@||AG^\NiGMsFp|c}k_|OMF{sC@~\?{^tOCGGs?aA\?K_dN~GJs?QBL??_pQEG}s^yNtFmbxPyh@cRYOhC}cGPMh@cQiH`GUaUQCg_C_YOPByc?O~h@COYGPGEaEQ?gzc\INHFYboPtgqcYyLhE]bWPegqCYIKXEebCPigocZyM@D}b[P_gwcVIJhFMbcP]gkcSIJXDIasPPgbcSyHHDUaOPSgjCPIJ@CYamPDfeRrhxk{}]bNOhKCkyRPJUcqQshWChyUPIedaQghOsgySTIAc|Q^hCclYUXGmdgQIhWC`iUHGadcQFhIcjYTxH]d[QUhRCdIS`HMdIQQhFciiQHIqc_QjhFCfYRXGqcYQ[gMsFyBtAA`BOagQSGyClAY`POfhiclyYpJaegQuhlCsYZXLMewRQhmcriY@L}e]R]hdctyXhLeeWRWhcCtIXPLYeQRThaspiW|KIeHRBhlCoYZ`J}euR?h]CtyVpLedyRWh[cvYVXL}dsR]h?S_YOTGQcJQBh{S}i^LNUflRvh~Czi_@Mqf}Rlh~CyY_@Mmf}RihrD?y\@OEfMSAi?cwy[hOMgCRchxCwI]`MIfeR`h|czy]HNuf_R{iGdEiaPPmgqSOiEd@I_pO}g[SDiDDDi``PagUSViBdCy`HPUgOSSiMDHYcxPygySeiNdGicHQQh?SbaIPDgak\EMdFRbfPsGx{eiRXHjcuqZxLspIWhKReKrEhbCwE[FMAe~R_Hn|?I_HOBf~s?Y?DGecVQIhBSaIO|NIfhRrhvs{Y]DT_idTRIlTTAjLTSi^TVIgtTaiDSoidTSIfTSqhlSci^TJIgtQaiDSsiLTGIfTRAg|SciFTIIaTQqglSGiHT?IatOQg\RsiLTGI^tNag|S?htTAI]TOQf\RshnS}I[tNqfDROhnSuI[tLQfDRghbSrI]TKaf\ROh\SuIWTLQd|QwhbSqIWTKqd|QgitSgIktIQjDTShVTVIUtTaddWw?p?V_JOEWB[@iks?[_NOFYs?@}@B?_avP[Gl{aIPHGbcOQGXB{laUlJVdhqtXYctuY~L]elrVHjS{I]BN?f]rnxvtEIbHPbgnsWYKDKEe@Q~h]SniVlOQgLSDiBtAY`D[[mTVKJctqAx\[smHVNJbTrawl[GmNV@JcToqxL[Wl|VCJ_TpQv|[ClvVBJ]toavdZcm@UyJ^TmAv|Z[lzUuJ]TmqulZ_lhUyJXtmQuTY{ljUvJWtlauDYsldUkJXtjaudY{lRUjJWtkAtTYolLUmJSTjQs|YKlRUjJQthAtTYKlLUdJSThAs|YAlDU`jOTgYsTXsizTZJNTVAr|W_mTUIJeTaQx\[{kNVLJBTraolWGktUCJMT_qr\V{ktU@JMT_Ar\X_jxUXI~TdqnlVckhUUI|tdQnTVWkhUUI{TdQm|X_jfTtJKt\Aq|V?kbUQIxT[Qq\Uwk`UMIvtZQp|Ugk\TkJGTYqp|XCjNURIsTYQqTWkjHULIqtbAktUKk~TaJMtWQrtTwkVT_JETVqplbW?T?K_DoBW@{?yqC?O_HOCZH?@U?f?SkcUQjHLcaqTXHkadsJGx\EqKVQkWD}jEP^qpaVzkWd~zE@^upcV}k`D|y~HcQnoXBjyEOi}pcQniXBjweNy}XcEncX?jvENI}@byn]W|jueOJGH]mp}Vkk]DyJFp]ipyVhk\DxZFX]]nKWxjpEMI{`b]nEWuk\dvzFP]En?WxjnELizhbamwWvjleLYzPbMmqWskadtiz@c]mmXEkXdszEh\UpgVSkQEIjCpaqpIWjkReGZDHaMpOWakNEEJBPaAoqW^kLeDZBh`YowWVkHEBJ@p`QoeWLkFeAZAH_io_WJk@eJZDx_UoGWmkBe?J@@_IoKW@lM?DwBC@Y?n?W_JOEWB[@i?v?Y_Kuj_Bc@y?z?[_NOFZEDbEpdYsLVUlbUDjSt^YsLWukrUtjStdY\LTUiBRdhwtRYgLNuibSDictBYkLPujRSdiktDYlLRUirS|iotJXSkjUTZJDdeqnYrLGucbUTh?tbYLLVUbrUDgwt^YILRubBSlgktLYHLOU`rSLg_s~Y\LAUfbOtgSsxY@LPU_rSdgGtFXJLKuRRR\costYXKfUSBR\hgq^X}LJU_BRDf{snXtK|u^RM|forlXsK|U[bNLfKrpXpKtUYrL|ecr`XeKuUYBLte[rZX\KpuVrKldwrHX_KlUVBKTdkrBXPLHuSbQlhOqf?I_EOAw@S?q?V?L_FOBw@k?}?\[P?GoCgAC@E?d?OlKuezRTWmkZUKjITdiqlX]krUWjMtfir|p_wd[XMHvDraLp[wh[UMKvEBalo?wV[@MEvBB^|oowD[LMAVAr_\oSw`[MMBVBr_|p?wP[MMDVBr`Lpgvx[[L}vEr^tpWvrZzMIU}balnWwfZwMGu|raTo_vhZtMDU{r`LoGv`[CLwv?r]TmswJZnMBuzb_tmgv~[@LuV?B\\qKvN[dLsvHB\DmEvFZalrUxZ[dm?xH[dLnUvrc\pguv[[LmvErZdqGurZYMOVGRZDlSwzZUMNutrbtpsudZSMNvFbY\k{x@[aLgvGRYDj}t|Y|l_UojWLkMuJZClcUpzWtkotnZML[urRVDkcttZJL\uqbVdbQpjWrk^UNZFdb}qBX?kauPzGtr_{F]DM\V`BfLvgy^\LM}VRbn\wSyX\IN@v`Bh\vgyN\{Mcv]rhDsOzz\EM~vPRntw?yB\BN@VOboLv{x|\}M_V^Rf|ro{B[|N@VMroDqqx\[lmVvKZeDrMxh[qmZVLzeluWzn\xMrvXRnDvOzD\cMzVWrmlvGy~\rMov[RkDtszV\]MuvVBldtczT\ZMsVUblLuwyl\WMwVZri|qWyh[gMivHri\t?xR\QMTvSRdTw[|n]GN[V`butz?|Z]qNVvkRttyg|j]rNUVlBt\xk|~]\N_vfBwDxg|z]}NKVnBrLy[{n]hNIviBqtxG|B]SNPvcrsTw{|L]dNGvcBsdxw{X]_NFVfrplwc|r]zNDvabvT}K?~?`_OOFwCCAEntV{j|t~Y~|^yuRZJldUrJXtku~c^knyFzj}X}u~S^ontf{Z|H}}~W^ensFzj{x}u~Q^bntfxZ|P}Q~C^dnoFwz{H}Q~?^ensFwZ{x}I}O^nndF{ZxH~A~c^Dnbf|Jwp~M}C^YnmFpJwX|m}y^VnnfuZzp|a}g^MnifsJyp{}}a^JnhfrZyP{r@C?T_HoDGA[@U?hYhlTUiJTlimtXXJkeuRJH|dAq\\qmxv[ZltvAz^\jmuvZJlDuizR\OmhVSZiltQyf`DOWwOsE]CP@d`?OVWOcEECD@^_kO[wLsDmAl@p_sOUWLcDmBT@V_|OSWNsDUAd@|_iO\WNCDEAd@v_pORwHcE]AT@d_aOVWGsD}AP@`_^OPWGSCeA@@F_^ORWGSC}A@@J^tOLv|sBL~X?t`?OJWOcBECD?n_RO`wDSGm@PAH_vOGWMSAUB`?b_LO]wNs@}?x@|_sODWLc@eBT?V_HO\WNC?}?`@v_CoBW@[?U?N?B_?OMWFb~t~|?z_ZN|v~SBM@g~x^wOMWFb~T~d?zaSMDvBZ`doyw`[NnRviZtDyQ|L]dnPVgZs\xy|@]^pJgf[RIH~Coa]pJgekRIHrCoaZpPgdKSiHZDGaTpIGgKSQHVCka`pPg[KSiFJDG`povGf{LyHvBYa]otGg[SQErBUa_pLGX{RaEfCu`goowW{KUEBA|`^pHGV[JYHNCa`[pFGU[QADjAoaNpEgT{IqGnAiaKohGa{PiDRCW`RofgaKIIGjA_aHoeGaKHqGjAYaHpHgQ[HYHFASaQpGGQKPyCZC[`Fo}g^{OIFzBwa?p@g]kOaFnCC`xozG`[NAG^BmaEorG\[KaFNBI`spvGv{[MMBExb]pmwjs\]JDFXaoPuwysTeIxFZalPuWyCTMMhDVbhPTWhc\EI`FTafPswxsYUL@FLbdPgwkcXmK|DhbMPXwrC[UMPEVbIPpwosWeKXEBbDP`WpsVuKdE@bGP^wmsYuJtEpa{PjwucVUJ`EvbXP[wtCUuLTDnbRPYwE[B]@j?x_]oMx?CbEOHGtc@QKxBK`uOvGVcHqDXFC_}PtGPcZQBXEs]MPtFfc[PxXEC\uN@GtbnQKw~SamN|Gnb}QJW}c`}PDFxcOP|w|s_]OTFrbwQAXCc]ePPFlcRPywa[PUGbCVaLpEWbkP}HBCfaPpHXNCbuRxH@c|QNxOsfMSPHtdAQ\xNseuSDHpd?QZxKsgmS\HjcsQbXNSeERpHdcpQ^XJ[d}QzHVckqTXHsf}QdIBcgQ_XPscmQXILccQaxGSgUSLHFcaQaWyK\UMfFVblpuXW{kmURJDd`qoXTCkuU`IldTQrxXciMU`IfdQQrxYShuUlI`diQfxYSh]UlIZdiQeXVSj]T|Itd]QmXQCi}ShIrdHQkXZCneUxJvdlQ}x^cnEW@Jtd~Q{x_cmUVPKBdrR@x\Sl}V\JbduQwXacpmWpK^eJRFXaSoeWXKPeDRBvwJ{L}JBx`|o~W][N]FjFfbppxWzk]EM~Itd[qlxU[jET^LSearQHi[sYYbK}edrOhh{sAYZLGe[rPhf[sQXzK}eZrOhe[sAXjKke[rKHfkqyXvKkeXrJhekrAXnK_egrTHckqIYfLIeRrIhh{qaYZMQ?F_COA[B}AB@Bb@p`Wo{VuKBD~ccqQxHkcMQNHDdkqvXZ[l}VFJ`fWRlxuczm\dMxfVRoXvcym\XM~fWRhXucye\dMffURgxtsx}\@MjfKRhXrcy][tMhfMRgxrCyE[tM^ekR`xiswmYtMHf?Rlxoczm[DMxe|RnXncz}Z|N@fJR]XmcxMZlMTevRcxqsvEZdMTfERYXlcxEZTMNfBRWxpSu][PLdemRbXkCxEY|MNgP?AO@g?m`DNbfqSHx{DAU]tObfnSHxzdAU_xNVfkSGYBs|U]\OVgLRsXyT@e_xNHgORqyBs{u]DOVfbSEYBS{U_TN~gFS?y@d?E_HNxgCR}y?s~u^lNffxRyx}c}e_`NlfwSDX|t@K?]?P?H_Co@w@EblPggws\IK|FIbJPigws\IL|FIbZPQgtsTiL|DQbZPKgqsSILLCybNPEgnsQiK\CabBP?gksVIGlCIavOugSsMIDlBQ`VOygVsKiF|BA`y?H?D_BO@G?s?VQwfBraxpKwu[bMNhZShyUdImdPQrhZSjYUDJMdhQnhFSnyQTKMc`R@hOSjYSdJEdDQnhRSeyTTHuc|Qhh[SdYVdHedtQVhESnYPTJmcPQxh^S_yWTG]e@QDg{s\yN\FucBP~gJsEyBLAE_~O\hgT?YYdOMedSDhqT@y[TOmfLSHiBSvY[DOmgPR^i?Sty_dLmgDRXhbspYXLKmeZRNh|Szy^tNMfxRphsS|Y^DMuflRjiETKYaDRUg\SriTTFydtQEhDSliRTEYcdPuhPSZiHTLyfTP]hpSTifTQYiTSui`TJi]TOygDS]h|TDgws[yMlNmf~R|hys}Y]|VAjBTciutZik\UYjBTcistYik\TQjZTUivtUImLUYivTiintYIjlXAdjQvhXtIyd|QuhRSfiQtdIrlXAlBUQjNtcIrLXQkvUQjJtaim|VQkZTqjFtdiolXakNUYjCt^ir|WIlBU?jMt]Ip|VqkVTyjEtrItd[]lTVJjSTqYxTYMlLVFjcThYuDZml|Unj]TkywDZUmHUxj`Tlyzt[unDVPjoTryyd\emlV\jhTuyp|WukVVojqt|I{|]anfVijxtzi}l]qnbVFjdtqO?T_Inm?EkBT}O?d_QnvWA?AT~Z???IoNV}kA?@~