CAT(2916,3)

Sparse6:

:~?lc_?O?G?CHWChAP`IocgQ[HAC}A[`MofgRkHqC|A^`OOgWSSIQDFBH@XOkwUcJUDbAu`l_YgKsE]BP@h_toZGLkEyB^@p_wO[gM[FQBn@u_yo]gNCFeBz@{_|o^gOKGMB~AA`?OaOX{GWEfAF@iOs_PCL?CJAC@got_PcG{EjBV@Eob_ZCGgEtAJ@kp@oXKKmEXBM`dOrWWOKMEIA|`^?pGWwJ}EOB?`b?oWVCPKDrAy`\`DWVcP[DnBTAA`CGYoOsGLCM@k@@g`wOSEtCQ@k`@gYwOSGbBraN_|G]kQCFlBw`z`GwUGIkF\Ar@U?{GUOIsF^Bq@Y_jg]GJ?DlAn@Y?zW[wJ[EFBD@s?mG\WJcEHAy@b?zGVWK_FRA{@b_ygaWMCE^BOAI?wgYGPSFFBQAJ?xG[oLOGpBRAJ_xWZWLyEwB^`m_wGSgP{BB@a@R@GGSwQCB@@c@S@GgKWIgHH@d@S`GwVgDwDVA}?m?jGJgK?D\Ao@__VwJWKGDZAn?l?nwIwOgGV@WAC@BG_wDcGR@K?hOROIcSgA[@R_g?TghGC{AjDK?g_QwewC[AR@EA[_QgGgR_AP?x?a@BG`WBo@~CI?^?OGGGO[@vCG?`_NWGOOc@tEnBVPjWtcYWLbEoBRpjOtCYoLREmBTpjotSWoKNELBBP`?pCWkKFEDBDP__pKXKKjEXBGPe?qKXWK\EVBHPboqcYCKtEaBLphOrcX{L@EcBMpgorsIQC~A_`POgWS[YCDzEc@_On_sCYGEDEd@^pgoWKJ]DtA{`\omGVKX_EREX@dpdoXcKwKjEU@eoq_qcMEFDBb`qOxg[kMsMVBpBePrO]S[wF\FN@vpq_]CNcJ~ByA~P^O^[NoJxE@@~P_?^kOEGDB~a@p?G_cB}A@@@_`OPGG[Vc@~@AA|p\oGCCCJl@CA{OOonSWoAJ@FBDPaoHSWsAL@HBCOQ?pKCqAZ@M_doSGH{DEAl@Q_hoTGIkDCJd@QAwP\OI[VCAjDr?jOT?mcD[Nh@VByoU?}s^cAr@XB{OU?}{EGNtFz?qp~oKCEONxF}?ooWo~kEWJz@fA~OY?n{WCBVE??sp^?LSFMBh@u_yo\wMSFaBx@|_{o]gN[F}B|A?`@o_gOKGQCJAE`BoaWPCHiCrAU`JoewRCUgC`Dk@GpYoQcUsCfDn@Ioc_lsB]@p?s_YoLgE[B?QD?qCaOJpGkBCQFHF?VQP_DkbW@NGv?SQMoDKAgPt?kC[OIpFKACND?cBrpwoCk]O@DFd?Ppx_CsUO?|Dd?NpX_BsA?JN?^AsoG?lCTk?f?UAkpU_ASTo?h?TAkODojk@_I|Db?MpVoB[U??xD`?LPW_BKUs@jDi?ZoL_lcUk@h?wAvpZ_E[A_Jd?fAyOIOm[VS@XDp?TOIomCWK?b?OBBOCOo{WG?`ED?GP`?AKBcEfBQ?\osOFcBgEhBO?^ONOX{EsDd@o@Xo[OUsJSBX@m@YOZoUKHCEjAQ@jOcoZCHOErAT@lOc?Y{FcAJ@y?bO]oG{FsAP@{?dO]?HKGWAzAF?nOV?PCGcA~AC?lo`OJS?wD\?I@VoB?T[?sDX?J@Uok?@{M[?rBg?LOy_B[Mo?x?W@soyoBk?s@r?I?\oB?Fc?w@|?y?FoAoFkA_B@@b?RoIOKKAoBH@d?TOIoKS?gBL?K?soAoK{?sBP?M?toBoLSBCCTAN?XOJ_PkA{CXAM?UoK?P[?O?f?E?IO@OAS@S?N?V?CoD_@C?O@L?`?AoG_?sAO?P?d?CoGo?{n{VfJwdzq|H]snUVrJ}d|q}h^cnuWaKLeDrBH`spAW^K\EMREHa{peWvKYciqThI{deQhHWc]QNXFsb}QBH?cYqKXESbMPhGocFqBH@s`AOZGPcHQDxA[`QOjGUbjPtwzC\eMvFYalPUwjKTuIxDWanPWGk[UEI~DaaqPXWksUeJNDga{p]gn[VaJlDvbHpcWqCWyK^EQbLPewrcXuK~E]bRPigs{YaLVEh`MOfgRkIeDLAg`QoigS{KMEHBD`bOqGW{CmAZ@M_foSGHcDiAv@[_moVwJsEuB\@o_uOZwMKFMBl@t_yO\wMS@y@@?^_IODWA[@]?d?U_KoEwBC@u?x?YfSbdxqcxI[fMTfJRapnCwWZhMFEyra@mswgZrMHEzrW@pkuG[\L^FFrc@k[uO[bMKEorThict]YfLWeirVpisu?YpLSEprTPkKuOYnLREpRSPhcs[YdLNEcrQ`hkswYPLOEdr^@f[vgY@LzE]R^`f{rsZ~L|E^RX`e{r_ZJLfEYrYPesrgZTKxEsRfPeKr?[~KnFNRepe[xoXhKqFORN`ecq{XvKpE]rK`gCr?XxKrE^rIpgKqsYFKiE`RJ`gksWXRLCEURHHdCqMXJKeeRrbPcKqG[^K^FFRFPpcxCW|MOEOR`Pa[pC[@KQF@R_PacpW[HKTF@rU`actcWbL\EJRV@aktwWdLZEHq{X]SnAVbJqdwR?p_{oSW@KAECr?P_so_V~KCEDRDp^[pgVxK[D~REp^kp_VrKXD|RBp\SmsWVJkEGQyp`sooV\KLDvrJPX{koXRJMETQrPd[lCXXKmDgQq`l[kWZZJFEvR[@XCkkZXLnDcqo@qckC[dJAFIrcpW[kS[nJCFJQl@TsjST^IuDWQlpUKjcTfIwDXQiprCio[tMWDSQiPrKis[tIiFKqx@RKhWVJIVDrqx`RShkVRIWDsQcXQChIShITdHqa`^[gkVtIKD}Q}PPkg{VzIMD~Qa@iCs{SHLPDAqaPhktGSLLMDBqSPe{dKXtHMEYqRpesr_Q`HQE[rDpGSc[WxKWC`rE`GkpcQHHEELri@F{bo\NMfC]ri@GKy_Q@MfC^QY`FKe[PlGyCrQY@E{bkRVHhC[QK@sKbC\DGtFQqK`s[yWPfGsFQQ[`DSfKPVHsCUQ\PDkfWP^HvCVQt`B{aKUhJTCOqF`Y[l[P@GaDhQEp[k`gVRJcCKQx`BK`sVNG[DsQuP@clgOZJZCFQBpZC`CUzGODmQAPsSyWOTGEFOq@ps[__\JGJFQQ@PSK_?SxGADMqf`?[i?OBGCDNp|G}k^YNnFxb{P{`nK]wZpFnEyP{@mk^KZlFpEzpy`gSsSNVLEBupy@gKsONRLBBuRB?{K\oWVKLBmrB_zsp?M~KNBoRX_y{\kZNLdBjPu@lC\gZTFXEspZ`hSUoYVDiEbpYphKU{YPDlEePm@osZc[NEyFCPmppKZs[VE{FDPo`mKvCMBLqB^popm[vKM@LqB^RV_xC[WYzLXBaRU_wktkMRL[BbpkpS{iGLdIbBYQh?ukZ[TJIeBZPkPA{YoOdElCIPj`A[Y{OlEoCIq{oqcnOKjEUDzPdp^CX_VjJvBKpfwr[XyKtE\bMQZ?sCYCRZEaCvPgpL{YSRbEcCwPU?ssTcLNDYBSPUotKTsLVD[BTS{o~{^mNtF{b}p~hsCxm[~M[fNRfXokwQ[FM@f@R_HnSvmZxL|e~r^hl[uqZ`LlevRZxcXOMXGSCeQd?hcpN}XOS@eRd?H][nQVjJvd{Q|h_Cn}WBKAeAR?x_hNQWKRuhyb@x`@NafeKIhzbAXb{pyXBK_ePRFX[KmIVDJbdoqwyc?lygyJ]iNAvx[@QEhCJ^doDFx\SmmVXJldvqzhV[jyTtI~d]qnI`GgMR}SGiBa_hOHOiS?SDiBA^hNCfeRtHzc}q^HKPRmR?S{i]aWyg?eUh{Hci^aWYdwdiQwSocmdKYeOdyhgH^iXaUxIhSEQgTBcjDPIgOd]QqTEckDPXHXOmQOSKcdDBXH`PAQYSMccdBydOaQPIShcRDJHD@QmPQSmcRdJW{xP]NESZbrDEG{hPigwFciK`wgyC\EMjFQbhptGx[[iMXFLbfpringTyJAU@and^inwUIk?DbaoD_gk`NeJIRyh~@Xy^WUYfwDgh}`YYnOVMjuDqiz`[In?VEjqDsayd^GmpSuJmTMa{DRwnPTIJuTPa{dSGncV}JzD}b?p_GohXyKCUZjO@`goXXqKMU^bADfWpDY[KREIbDdiWplYkKXEMbFpcGqKXMKdUlHutja\tN?l^UoHvs{auTNClbVAJ_TnywL[WmJVGJbtqaxL\CmVVLjeTriyD[}U|J_dnqwX[SmMVbJodxOvgZ{LmExB_`mo|g^CNMFjBs`zo^gOSGMB~A?`?oagP[GyCXAN`EoeGQ{HiCvAU`Ko@G?s?e?P?D_BoGWCcAI@F?e_QoJWDsA}@d?o_WoLGFCBY@f?t_Zszy\lNAfbRmhxSviZ\LqezR_hnsdyRDHMchQUhIsNyG\CAaBPCg`S?y?t?U_HOGgBryx|c}u^`NmfvrnXv[zy\~M{f_UQA~@cInsXBj|ePJGh^qqMV|j{ePjDx^MpcVtkXd|i}Payp_VvkWd|JEH]apeVhkXDxjE@]mnSWmkVdxzBh\uowV^kNDvizh`}m{W`kODvyyx\UmmVPjkDsizH\QmqVUjkDsyuXaIlgWbkQDlYupaUloWfjZeHi{@WenGUMjDDwY{PWmkWVdjpdbZA@WYkEWQjAECzAHWUoiUFkIDaImxaajoWhi|eJYnHaipUT{i|EJJBHSuouTOifeDihp`]iaWWkLDSj@pQuhQWIiTEAydX_qo]SkiVEBY|xQYhOVmiPdzI}@QQhMVpjudHYax]qnYSWjvDEY}@PmgwVpjvdEiZx^yeuV~hoE?iZh_AoER[hnE?Y}PLUneRUjyCtyZP^YeoVvjycuYvHH}lsQ_hPdmyS`Zql{Qaj]cgYRTHmc|Q\hMSeYwpHYmSQVhHdqYwxHUcoVGjacdJFPG]p}QKk\caJF`Gep{QIk]cayMh[mmWPugzdrYN@[ybsVOg{dryEp_Q`oWHkBCKyEx_U`iWFkCCLJE`@m_wWvkYcFZEp@y`?WxgNeMJGh@i_kXAgKEOyAhcQqKOVkbcEY@Haa_SWhgDeIi@`am_[WlgEeJIvg~m^qU}j[b~H}xZiluNyf{DnH|`cI^YXCfteOzGw}yqKNokabzzC_}UpINefseGzCo}]^SWffsEGi{W|YnGNTfkDwI{g|]nCNSfhdwZ@Ozm\wWJf^EBHvh_uo]N?kFBnyipTiigT\ijdUyj@Tei{TTihdVIthS]iOUmieDkYhHY}iUUqidDkI`XW}gWUOiEdcY`pXIg_USiFdcy^xY]g?Ugi?diY_PYilUSBjUD@IlPKajKRBhaDXyWhUaeMTdiscpiUxRmdsS}h[DNIVHRudwT?h\dNySpOegSQhiBCiiSxOUgOQgiBchYNhXubuUZg}DfiNpXqb}U^jOC_ILpJUbWQrhWcYYUPEibYQuhYCYyM`D}baP_gvcVYM@DybAPqgpC[yJHKqauRLgjcqYJPKyawRIgkCqyHXMEaWRagecwyHpMQfKPOhqcRyGhJ}aKRAgbcoIH@KEd{PIh]cQYaXB}a?SQiGcPIGPPQaESUg_dDY^hBq`sRyh}CMy^pBufuO}g[c}YCPAe`EOfgQCIIDPAE`WOegTcHY@xGEcCOOh@cCYO`@I_gQEhAcCy?`Vyj}ODj?C@inh?akCOBj?c@ydw~u^{Sof~dKYeP?AheO@iYC?iqg~EkkNqfxddx}`Xa^iUXfzDeijw{Ej?NAioboykO{QjGNEipbpXuxBA\oOpgUblYDozY`]Myf[cKjGDcAqBX@k_uOJF|bmptW}k]uNJEtbaphWtk[uLzBd`uo|W_kOuFzAt`]opWXkLuEjAD`EofWSkHUDZ?d_UoLWGkCu@y~t^}o@W@k@u?i~l^mnpVxj}T}i{|]YnTVhjttyIzT\imvVZjmTvIwDZ}l~V@j_toIwT[MmDVBjaTpIwhwqmK]Ljbfbjpx[a{aVInGDqYyD[mmXVLjfTryyL\ImfVTjiTtjooym{MMknCBjXtHwe\S]JnDBjisLYIlFUcjRThZwPVE}ETqizFpIm`{Y}MTriyfpZy`UyjU^UiuFtYlh|]j_^XivfuIgLSIiFTEiatPJuHRU|cSunXdLzuhRa|gSynWDMYcLPug|S^iPTGJt`Mu|YRnhwFii\py}fa]jhxFji]\N]fjRuh{S|I[x}A~ARjhtFxY\@}IfW^bhsfxIXx~Ie_^rnyCtIYH~]~iRRhhF|iU@xu{sQlhTfeIT`xed]]ZhVFfIPxyAc_]`nNCciPhx}c[]ahGfgyKXxIbG]RgqfdIKpxUbO]VgrfdiIdDYabPRgisSjnO|}zuN_fpF^zn_}Ez{Ncm}bwxzK|i]vN[fnRvXxpyQ|QNLfhFhZso{}|MNPnSBsHwxz]]O]wfcfmXxPzi|uNKfdflk??y}~{MofWg?XuQ?I\g_BfXf~{IYDJAi`SojgTkDqBj@]_zoWGNKEIBv@}_qoXgNjx}Dw}`^MooFszyL|HBD]{OhVnSIdzxAf`TN_WTrwMDW|~]?OFwAboM?w{D]DODwBRo\wP?XJhdsQxH[kmYVNJiduQzX\[m}V\YhlTuiJTdiutT`poxw\KMmFJB``yOFW\c@UF\?X`wODw]s@}Fd?Z^uO}V|sOD~HBz^rO~W_R}d~TB~ZIOxuqSMlklB``sLcW[RWuFGuN`vLOUgSNThtBr`uLMUfcN\h|BpYYP?UesN|hXBxYWO}w_RQ|hdB|_lOVwJCDuB@@P_hOXWIsE]Ah@b_aOhWGsIeATAf`TORWTsC}DX@H_[OnWFSJ}@xB@_^OowWcCMA@BF_OOcwDCH]@DAP`IOIwCsGuC\?dXeN~W?RL\e[~~XgO?UYc?Ted?F^GNfVsbxT|K}Z^PNcvqrx|{o}`]FNwv`b}Dw_~^]HNvVzBp\wg~Z\yMsV]rlLv{zT\}Muv^Rl\vozX\bMvvXrmTuwzD\cMwVXRm\uWzb\RNFVcRidt?{X]NMgvTRplx?yd\]MeVRRkLswz@\\MdvRrj|toyT\COkVPSJMDgyR\GOmvPsJ\sXAx\BN_VoRftzsx~]}M_VnrgLsG|x[qOAVKs?lr\?P[uOBwARedrT?L[pM]VJBfDqsxr[mM\VJrflr?xv[eMjVHri|t_xP\XMSvUrd\tgxT^YMOVGRz\|{xJ^[MPVGrzt|sxH_WMIVDsB\p`?t_UMIvDcA|pd?r^jMGvBb{t}[w^^hMGVyBa\}gwdZuO\U|sF\n`@xZxO]wNr^\nh@|ZcMyUxRmlmWzlZfMzv]R\Lm_zp`cLnUvsKlm@BLZaOsuwsK|mDBPZWNoVwrZllo~HZXNouur{llg~DZKNHUrRqdxKubZMNIurrq|l?{lZ?L}UoR^lkGv|ZBL~v?RWlo?uHYmLhUjrY\lOt`ZTLWukrY|lWtdYgN{UiR~Lig~t^|LUUjR~\ik~xYcLxugb]DiKvbZqLRu|RStiSvhYvLGUlBQLhGtjYRLZUdRVLhOtp]ZLEvebPdgg{pYJNKvfRPtxos^YCNQUaRtDySsJ]eLBU`rtLg_|NX}NNU^rr|g?|@Y@NOu_rs\gG|DXqL\U[rV\fOtxXtL]unrM|jwrl]oKuVkRLlzKr\]qKvu[RulzOr`[AKoV?rKLoOrD[DKqv@rKdoWrF`kKnuUcLTdlBVX[OuuVSL|dxB\XPNbvobHt{Wqf^BKfuSbwdd?}J_tKewMRH]BOqP_wKeWLrHMBWqT`OofwR[HeDFA\`@o`wOKGUCVAH^UnjvuJzL|Q}j]uRLxdru}Xc|peUN[vmsrUX_|t]mnTXgrt]YG|X]nrRFjZoAXA{AePn@HcjoYXM{IeTnAHdJbTpmwx[\mNvFj`iWvK[[GrEFA[pXoiwUeNmEHaj\QYyvUenluHkJ\iZEv]eqlvHkzNdfarrXyk}u]zIddUqlXVkkuUKwA[ZMAfFr`HqKwY[fMUfDraHqivtZilrUzj]TnXHKciQVHLceQQHtKyi\VMkfVRj[OuG^CDaBpAw`K{YIbNAairpGi[Sq\zDUf_pRhv{xa\JMmfPrehs{xq\RM_fTrjHr{qa\jMwePrIhu{zAXBMqeQrmhc{pQ\zKUf^rEHwK{YW~NCeLrohbklA\vJQfYrmHX{zAUZJUfZqtHu[YA\RMmbPpiHs{yqLVEcfQphht[Pq]RNIaRpHHyKQA]fCafepFhx{{aGnCQfhpEHxk{iGbCYffrsGakqqYzKmenrKHkKrQZNKueprKhkkoaXrKIe\rBHfkryW^KQe_rOhaKiY[JM?dNr`hRkiQ[VMGdOr_hS[mYSfJgdKqcH[kmiSvJkdJqdH\{eiYfLOcorUHLKeIYvLScrqXHi{dQSJHUdBqUHPKdiSVIMcmqVhPkgIQFHwc]q]hF{fqQBI?cbq^hGkaQTjIycTqnhDKaYTnI{cVqJHVK`aQRGYcdqRHBkcyO~GachqGHIK`YVvGKdwqBh^K`IVnGSdxqCH]kiaNRIibtqjG|kiyN^IqbxqkG}KbAMzF]cXpwHEkbiNNGwbqqLg{[sQMbLEbhrQGyksiMnLMblrRGzKuiMJLkbbpqHl{[iZfFMesprHmKZaZjEyezpnHnKZyZvFAe~poHnk_ALZEucCqAgukZIOJGEbWq?gt{XyRjHkbIqZgq{fAKrE[czq[gr[XAN~FsbCp|gp[^qKfFybFp}GpknqJzJ}a~r?GoKoIKFEEeBr@GokVA[ZDwfIp[hp{VQ[bMUa|p\hq[SAIrDYa`pPGjkSYI~DIappQGkKRQJJCuarpMGlKRiJVC}aupNGl{kAHRCqddqogd[kQHZCodbpJhXKOQUrCEdlpBH[[OaUzCMdopAhZ|RqhbS}iXtMig|SAhjTCiZtMIg\OqfRSMhttCI\lPIf^SUhxtDI]LIAgrQaiLshIblQIdVQgiNshicLGagBQIi@sbI_lGygNQQiDscI`LQicJSghBtJiOLQqb~Sch@tHiNlEqbbPygrs[iKlFQbRPugvs]IL\SaarTIglsVIhlSya~TQgptSIKLCqcjPMhJsfiI|DAcrPShLsSiRlLiaJROg_ssiG\CYejPIhjsQIZLJa`RQygTsnIDlJy`^Oqh`sKIWL@qdZO_hVsGiULAYdfQugNslIClMA_rOOhmsCiZ|MI_jOYhrsxIA|?QeJRMgDsBiW|?YeRRKgEsqi@K~Y_FNwfurzh~[~A^zNqg?r|H~{}AfjRufps}H{lNi^NR}fts~H|LBQ]jOufjruIFK|i`vN]g^rvIFl\anJVYjrtyIzl]im~VmjptzI{LZqmnVSj\tsivLZYmZU}jftlIyL_AlfUmkBtiI~l^ylVWAjWtjJ?lXAmBUQj`tdIwlXYmNUYjdteIxLWQoRUEkDtaJ@lWio^WOjFtbJA\^AjrTyjxt^I}lVynnUAj|t_I~LYYjjTkjMtZir|VAlBTujPt[islTQjVTgimtVikLTYjFTciltXijLfIozWSksuDjL\eqorXmkNu[JB\dqqbXakiuTjK|eQqfXYkouUJJ|aqprWsk^uOJE\bApzXAkZuJjF\cypRXCkOuPjC\capJWikduRJC|fQsZXulFu]JQLfisfX}lJu^JQlhasBYAlLu`JRlgYs~YIlPuaJSLj??DYdlX?@JS|jO?LYh?@UljT\iw?HYz?BUmJTn