CAT(2894,1)

Sparse6:

:~?lM_?O?G?CBO@]?p_V?KgE?BM@s?v_[oMGE{Be@p?s_ZOLWDkAm@X@N?`oPGGkCMAJ@C_]oNwFsBgA@@A?\oOOFcEC@b?q_XoY_KKEMBD@Z?nOV?KCDsA~@G_bOPwHoDyAY@__e?VwJ?EEBE@Y_p?UWIkD]Al@Z?hOV?I[DsAh@N?doSOHKD?ATAD?ZoMWFCCaAL@F_eORgHkDUAn@U`I_cgQcHMC[AQ`G?dGPwHMCVAL`EOa?PSGcCTAG@CoboOsH?CNAM@Ao[?P[FGCZ@p@EO]OQSFkCh@y@Ho`OMsF_CLAF?zo_oMkGOBh@r@@OZOOSGKB^@m@AOcOLKHCBPAP?ro^?N{FwCB@|@?OX?LSEWBX@d?tonoMCFIBb@g_roYWUWKIDiBC`Y?owS{IeDPA{@Pon_SSJsDBA]@^og?WKH{E@A\@_oeoV{HoE@A{@KOeOVsHgDzAU@`OdOW[H[EHAo@ZOk_VCJCDnAc@UojoSsISD\Ai@[omoTcJgDV@E_boQGHKCiAVAT`Jodg[sMaFNBE@tOpO\[K[FRB^@qOvO[kLwFFBg@lOuo[sLoFNBQ`hosWXwMUE_Bb`f?xGXGMiEOBh`d?ywY_LaEkBX`i_tw[?KmFCBL`o_rGOSGQCF@c_rOXWK{EeBPCJaEPAg`gM}FaCNaF?{G`OOQGWCEaD`@W_GOuGECNa@@Bg_CN}F|CF@ypAO]{O_FlBrACp@o]cNGGPBk`vOzW^ONmFyBw`}?}WVcJyDzCjAKpJOb[QoGtClAKPIoasQoGnCOaHPCWd?QIHSCbaS`HGbwQ]HACdaO@HgaWPyGiC[aM`DGgWRwH^C~AWPJ_fkRcHvCvA]PM?fSROHbCrAZPLOeSS{Ax@\_loVgKCD}@Z?k_ToJWD[AqAR@I_doRGHsCuA^@O_goSgIcDMCvA\`MO}G^SNeFXBm`upY_k{UoJRDjAsPXojsU?JRD^AsPZOj[U{IzDmAmPWOjkUKIvDaAmPU?kcTgJLDXAqpTOkKT[JDDUAppT?jsT{IdD_AhpX?iKS{JLDdAgPT?iCTCIdDNAhpT_hcT[I\DTAepR?jSSwIrDLAkPY_gsUoIPDjAbpO?lkSGJ^D@AvPQOg[SkIJDIAaPh_DCAi@R?n_WOJgDsA}@`?p_XoKgFSBq@v?}_^oNWGKCIA@@y_|o]WLSEqBV@c_rOXWXSKaERCdaRpHgbcPyGzCOaHPCWgCSEIDD?a`POWyC\IMbFObhPsWy[\QMjFLbfprgwo[mMIFKba@qgxo[EMEFNb`@rWvo[EMEF?b`@nwvW[YMIE|ba@nGvWZULmE|b]@lgvOZILqEsb[@kwuwZILgEtbX`lgtwZyLaE~bW@oGt_ZeLoEmbU`mgtwYeLaEjbW@igsWYmLIEhbQ@igt_YML[EcbU`hWm?YALCDqbO`[Wqw[iKqFKbK@qwwwXQKkFHbc@dWwwXEMQERbc@cgpsW}K`ELbDpbGsoWaLOEIbR`aWowX}KKE]bA`fWoOYYKEEfbA@iGrOV}KAE[b?@ewn_XuJ{E^a}`fgnOXqKuDza{`egmo\MJoFTaz`tGmWYAJiEabO`\HFGAQ@F?a_ROHWC{RQHlCtc_aAxFw_eQ?GIc@q@H?k_AODG@b}aLw~wbaN{Gub}AKw~ObUNuGscZ@}G~GbaPmFvc]`|HFo^YPwFtbwaKxE_^MNcGtbvANG}?byN]G|cX@yxE?]uPaFkbsAMg|ObePuFhbraMW{gbiPuFecX@whE?]QNEGpc^`vxGG]EQ?F_bk`vGzW\yMsF\cRaIhDGaqPOGjcNAJXC?a}O}GmcLaEHBO`uOwGXcIaGXAwaMOkGacRAChA_aQPIGRcE@tgyw_yMoGLcFa@hAG_aO_GFdE_IWDSAa@P?i_SpvGzs\uM~F`boQa`QsgoSpIJDJqd@O{gcSjIGDHqbPOcg{SLIMDAq`@QSh?SLIDDGq]xNkfqRpHyc{q\PQCf[SdHuDGq[`P{fOS\HrDEqcpL{hORbITCwQaPLsg_RXHlDBqYpPcecSTHiDDqd`K[h_RJIVCqQ^`OKg?SFH~D@QO`Kse_QHHfC`qV@J{dsQtH]ClqT@I{dSQpHUCkqS`KSdKR@HPCoqQ@HkcgQVHHCeQP`ICc[Q\HNCaqu?CcAI@F?a_QOGwCsAU@N?d_RoHgrcXmKtE]bNpfWsCYILBJVDnQtPZ{m?UlJTDoqtp[[lWVDJWDhQu`YclcUfJ\DiQupY[loUdIdDrqhp\KiWVPJPdfqsHXckyUZJJDmQq`ZklkURJ`DbQwpXCmGUNJ_Daqp@ZskKU~I|DtQnp\cmkT|JWD\Qu`VclcTvIudYqlH[_jEVKIrdqakhTomiVWIodtajxTWmaTYJhdUAxx[oiaTSJddSaxHSCh}TBIbdPQhHRshqSzIXdLqehWOjaU?Ixd_alxECbIPbGrcYqLHEsbaPnFUbkPtwzK\mMtKwE\rM`fkrcXxJxd|q}hdwqqX[KpeUbKHb{puW|K{EGrNPa[rkWdKwEDrBPfKooXtKnECRKP`Sr?WRKDEXR@pecoWXfKAEYr@@esoKXnKtD~r?Pe{rWW@J|EYRK`^snoXfJtdxq|H^Cn]VlJndvQzX]CnIVbKbELRH@bcqSWvKVEORG`bKp_XBKeEIRI@akq[WlKMESrC@d[o{XTLyDDQbHP[qeXVKifBB_HoKwI[@MAf?r^PoCv{[BL}F@R]`nkvoZ~LzE~RVXjstqYrLZelRQ`m{soZpLJE{r]`gcvoYLLzEarN`nCs?ZnK~E{rZ@gKukYDLBEur\@kCvWZBL^EyrT`kSuOYpLVEprYPicugYjLgEhrXPiCu[YdLeEgrRPlss{Z`LMEvr[Pg{vKYRLqEcRghs[yE\fMtfYReHrSxe[{MofXBfxuGyA[uMlfMbjxr_yy\MMTfSBdxtGxY[gMifHBjHqWym[WMcfRBbhpgyU[QMNfGBaxqGwi[KMCfAbaHowwMSLIDdAQ`xPKgaXPKfeRRGxckqQX@KaeOrCXa[pI]mNbfkbxXz?}Q]oNYfkbvHyw|m]iN`fjBwhy_}A]}NUfmbtHzo|U\}N_f_bwhw?}E]TNGfcrpXws{]\wNbf^BxXvg}Q\qN[flbmxzOzi]yMufnbmHzoz]]UNPfhbrXyO{q]CNMfaBrxwW|A_eLxezr]HYclIUfJUdiqtxlCuiZRLderrXhkSuQZFL_eorVxvczy\zO`GLSGAB\@{_rOXGNSEqBl@g_xOVGQsEAC|@W`LOWGQSDaC\@[`DOiGHsDQDL@O`POOGSSIaAT@C`ROTFxSD@}c~K_fO^GBsAQCLA?_POCGQs@aC|?S`LOAg?s?x~t?A^~OOF|sC`~l@C^xOaF{SH@~TAK^rNvGMR|QBk~W_|OMFvsBp}L?s^`NkGFsBP|s}s_\OIFtryQ@c}g_VOIFrRyA@d?k^NPlGGSCYASw][PMEfDRaxpKwQ[JMBf@r`XodGGbwP~g}c_YNpGAboP~gzC_YMxGAbqP~g|c_YNPGAbsPpg|c[iNHFAbaPrgxC\YM@FQbYP}gvc^ILpFub{PiguC^YN`EmbYPiguCZiLxEmahPQghsRyILDAaEPug{CPYMxCQaAPrg_C\YGPFQ`sPfg\cYIF`Ee`mPgg[cXyF@Ee`iPegZCXYK`BQbIOpgrCKyK`BIbCOngpcKIKHAy`UPbgocJYKPAqasO~gkCNiJHBuaWP]gfCWIHhD}ayPHgdcUyJ`CiaKPTgjcPyIpCaeSRAh`soYV|KAd|QMHbscAXLG{ePRFHDsbQXLK_cXREHAspAO|KScLRCHAS_qWlGGeLQ[HXSeaUdHkdfQhH[SmQTTJgdVQbHYshQU|IOdlQnHOSkASLJCdDQ\HUsjaR|HwdXQzHJseQVlH_dxQeHGsiAQ\I[cdQSHDSaAQtGccjOIgESAy@t?}_ZR[hnSvY]`MmfkRlhyczI\DMefTR^HzswQ^LM?fpRsHesrq]tNSe\RIH{s|qXdKkfpRmHks{AZ\Lgf^RfHjsxQZDMWelRpHhs{qYlNGehRQHqSsA[TLCfFP`gpsWiKdEUbLPfgsSYYLTEqbVSYH|S~AbDNkgrSUIKtDqbTPSgpSQIOtDAc\PKhDSNILtCQblPog`S]IETGA`tP{gZSJiCtAi_tOagNS^I@tFa_lQ?gHS@ILtFA_DPsgDR|IOs~qc\NwhDRChaspiW|KeePSeiQtHIfdRyhzTAIWTKagdSKhbTAIUtOqd|QwiHSiIatJAg|QkiLSfIatIQg|Q_iLS~IZTOQfDS?hnSrI\TLQfLROhvTGIjtQajLScipTSIlTTajdTSivTMImtVqiDTwi^TJIgtRQiTTKiXThIrTYqlDUgjNT_IptWaklUCjHDKafPRXAs`]OjGQcIQCxSki]TLIgdTQiXgKsMYDLHecRPxvKzm\tMvf[RliH\CeaTPFgcSPiXlK}e\RKhdSqyetRahnSriYtLIqpXukoU[jJdfirHXMkiUZjLDdIqpXIkoUPjJdcIphXMkiUNjFDdIpXXIkWUOjDDcYppW]k]UHjEdaIopW]kIUHjADaIpXWEkWUBjDD_io@WYj}UCjAd^ioHVmkET|j@D^In@VmjsT|i{d^ImxVyjiU?i~d\in@VIjsTriyD]YmhVIjgTvizD[yl`Xqj[U]iudfYrHU}kuTpjLD[IzW@Y?p?V_LOEwBK@q?|?\_OOGWB{YMLJEcccQQhHKcUQNHEd~r?X_CnqVzJ}fIrdxqsxM[hMQf{R}h~K~U^nNuhMSeyRTHuc~Q]h|s}i^dOAgBSAicTQihLSmiZTKkHEAzAX_uoaWKkFEAJA@_io]WHkAeAz?x_uoKWKkAEAj@H_IoEWGj~e?j?`_EoEW?kAd~J?x^yoKV|j{d~y~X_AnsW@j}D|i~p^]noV|j|D|I~X^UnqVrjwD|i}H^]noVqjud{y|x^Qn[VtjwDyi}P]qnaVjjudxy|x]en[Vgjrdyi|H]qnOVjjqTxi{l]UnHVejODuIzHX}lAVYjeEBixp`AmYWNkGdqZAX[mocVIjbDwY{P[anEVFj`dwY{X[UnCVCj_dtYyx[Im?VUjhDnYy`Z}meU}j\Dsiv`\QluVRjZdtYyxZalqVUjnDlIup]Am}UtjldkYzhZMmwUqjVDuyu@\ul]V[jTdvit`\}lYV_jgdiixxYam_UhjlDhyz@YYmqUdjPDrys`\ElEVOk|?Ag@c?m?Z?N_FU`_AC@I?bYK?IoCwAdgqs\YLlEubjPdggolYHKIUarAlfOq@W}KzU\RF|fOqBXtK`u\bGTbksLYGK]u`rFdb_sLWyLCU`rFLbSsFWuLAuLrOdbGsBWsL@UKrODa{sFWpLAuKBOdgCp\YAKUu_BDdfspRX~KTu^bDTfopLWgK|uHrNTfspFWdK~uHBNtfop@WaK|UGRN\`{rnW\K{UFbNL`gsRW[LDUErP\f[onWXK{u]BBDegr^XgKwUYRLtekrJXfKuuXbLddorDX]KqUVRK\d{qrXZKouWBJTd?qlXQKkUSRI|dSq^XRKeuTBHtfCqNXrKcu[bHDcgqHXEKeUPRH\mWrhXtkzODwBC@Y?p?U_JoEWBS@m?t?Z_KoFGBs@u?x?]_Mu|R[tn[vPZuLru}B[tngvPZxLruwr\|mSv`ZcLwuxR]TmKvhZcLxuwR\LmkvDZiLoUwB\dmCv\ZaLuueJRThesvY\lMUtB^TlWvrZTL{U|RYLn[ufZuLhUrb]Tl?vhZNLxuqr\lksv\ZkLeUqb\LmkuPZHLtUzrWlnCuNZoLbUcBZll{s^YPLnUcbZtl{shYRLmutrWTlcuHZWL`umrVljwtrYyL]UnrUtkCtpZ?LZulRTtjOt^YrLUuibUDiotdYjLWugRS|ictFYgLPUfbSdi?tJY^LRUdRZTh[uxYULloAg@c?m?T?K_DvRrZll}u|?L_FoBg@s?}?Z?O_HOCWAC@I?bVNjgtsIyT\QmfVTjjttizD\emt\YMgvUBh|tcy`\NMlvSBjdtCyz\MMiVSbhdssyf\MMivRBi|ssyl\BMcvPRh\sOyT\EMcvQBh\s[yT\fM_VOblLu_yB\ZM]vVRf|tox|\WM\VUbfdtcxv[vMjvMRilr_yl\EMYVQBets[xj[pMhVKridrGyf[nMavOreDqwyH\]MTvJRkDqoy~[dmRVHzdDqixR[aMrvHBlDqKzR\]MNvGRkDt{x@\cMMVXbbtuSwz[XMovWrb\pgzD[UMovWrbDp[zD\cMIvXba\uSwh[FmCvAJ`doiwV[@m@v?j_doYwJ[OL|vCb^lpCvx[LL~VBr^|o?w\Xvk{u]JOTgEs@YBlAu`JPTgesV^FM}VqRnt{_zz]PN^VcrwDxG|~]NN^VcBwDz{{\^GNDvqRpl{[{X]GN_vabw\wc}D]DNaVpbo|wW}J^@N@v`Bw\{G{D\~NaVpboDwC}J\um{V\znLvmzt\omxV[ZmlvMzh]zNSvnRt\zo|T]eN[ViBvTy[|r]tNPvhRu|zW|H]_NVvkRsTz?|B]\NUVfrttxw|Z]YNXVerudxo|f\iNJvZBrLuk{p]SMuvZrqtuw{j^|NdV~rxd~w}V^sNwv{r}t~G~j^vNvV}R}D~_~^^^O@vwS?l}@?H^[O?Vvc?T|t?B^lNkvzBz\}k}t^UNqvxrzD|[~L^gNivsr|T}c}h^aNgVsb{d|C~F^LN|Vrr~d{w~v_f?OOGWB{AE?~?_k^UNzGDcEqFXAmFVBz`lpAwd[PoZGKKFABJ@m_poYgJ{EaAv@[_roTGKKDaBJ@U_poVgIKDIAz@Y_foSgHKCqA^@I_goTgHKDaAZ@S_doYgBK@qBN@g_LoCgLk@YBb?S_voNGG[CAAN?}_aoLg@k@A@v?w_FoKGCkAa@j?e_XoIgB{Ay@F?k_OorEwj[LmAvJZblqODGA[@U?f?T_IUbzQLhAsdYSlHvlZu|zY|d]snXvjzuLzA|X]mnUvdJqtxU{n]XnKW`sMmF\CR`uPCW`cMUGPBhaDOxwZsMmF\Bb`uOwWZCMeExBd`lOxwYsNmFpBR`zOtW]CLMFdBT`jO|W_SK}GLBPaAOrWXcNuE`C@`fO~wZSKmELB\`kOqWXCMME|BJ`bOwWMSJ}BlAz_yOnW`CJUGXAxaDOlwTsO}DdCR`WPCW]sIeDXBz`TO}W_SIMGLAfaAOhW]CHuFhA``xOfwQsNuCpB~`LP?WQkHMCbAN`EoawWcGUE@AH``O`wNsJ}CDAz`?OnWWcFeED@|`_O]wuBhLsmyT\LmfVRJ|l}q~V^gntVyZ{l}]~L^anqVw{ZaMFEybaplgw{ZYMBEwb^pmgvk[yLbEsbhpkgyK[aLbEsbepkgx[[yJRFQaupsGl[UIMFDebbpXGwk[aIzFKaopqgj{ZqInDYb_pngjKSuI^DJaapPwhKYiIFC}bVpjGgKRaLVC{bVpMgtkRILJCubSpLGs{RALNCmbQpiGdkYAHNEaaTpfgdKQAKrE[aQpGgr[PqLBC]bPpEgr{PQKrCWbMpDgr[WYKBEIbApaGo[XAJzEMa~pbGn[VQKfDwbJp\gqkTAJ^Dqaip[Gi[eQQVHHcbqPXGKcMRDFjbrQVw|CeEN@H^cpPxW{SeEM|HZcmPuxJC\uMhHXbjQUwzCduQlG^chQFXCCdUOlFlcLP{XBC]}QXGRcgQCXHs`UO\GhcDQIx@cauP`GFcXQAXDs_UN|Gtc[Q?xEs_ENpGzb}QNw~SbuPDFrbzQHw}caUDvA~`]ooWWkKMSPIxd]QbXVSgmTBIddPqfxRkhmSlJBd^QeXQckEU@Hld`QZxVsemRLIxd]QYXVSeUSDIrdBQlxOcjUTLH|c~QixTCgES\Hvc|QcxNChETXHrdWQ\XTsfEKrE\bLpgWs[X}LNEdbSpiwt{YuUHKPdcRBxWsouW@Jzd~R@X^coMWdJteJQ}Xacn]V\KFdxRAx]CoeVPKLduRCX\So}VFJddrqvx[KluWdJVeJQuXaclmU`KJdiR@xYSoeW@JLeAQrx_SkmQrHZcmqVxK[eEY^LRegrRXhKsmYhKpekRLXisrMXTLVekRJxicquYtKdeSRVxjcq]YtK^enRGxjcqEYDK|e_RPxfssUWxKxeLRMxbCr]Z@L~f@RXXoCuM[HLxfCR^XosvmZXMJewRbxlswuZlLhetR[xmcu][xMbfORhxrsyU[lMPfLRdXrCxMAR@J_ep`WoKWMJvD~a}qZxLkemRJHhcrrNXgKr}XrKzeZruhxk|q]bNWffrphy[{i]nNGfirohyK{Q]^NKf_rphv[{i\~NGf]rlhwK{Q\rNAfYrlHv[za\~Muf]ruHtKyq]zNYfTrjhy[zI]nMofisEgX[KeEM?N?H_CX@[_}OZGDcCq@xYklEUfJLdfqqxkKuUZFLhetrXyFDB}`xPBg\SOYHDB]`hPDgbSKyFDAu``O|g\SJyEdAm`lOfgXSIYBTAu``O^gMSJyBTA]_|OjgMSIX{T@E^@ONfnSCy@DB}_XPBgDSOY?TCU_LPHgASPyCC~u`HO@gPR~yCC~m^lOdgPR}X}D@U^hOXfxSDy@s}m^\ORgGRzX{d@U^POXfrSDyTO?c?Y?JgsSiyLTIubXQngpSiyKtI}bHQlgmShYKDIea|QfhNSTySTDmd@PXhQSSyTDDUdLPPhNSQySTC}d@PLhHS`yPTH]cPQThES_YQDGUc\QBg|SZyNtFEbdP|gySeYNDHublQZhx?BoAW@C?]?R?Gs|i]LMqffRmhys}I\lNqfbRyhvs}IZ\Nqe~RyhmstI]\NYerRUhysri[|LIfVROhsswIXLKqfJRIhpslIV|KAdbQ{hXsliW\JieNQwhatLIAL@M_^OTgKsDo@G?s?U?H?E_AygTQ}iHSpi_TKygtRMh`TJiVTQYfTP]h|SZi]TEYdDS]hXTJiTTQYcTSUhLTBiQTOYbdRUhpS`iNTLyfDPEghStiHTLyfTOmg\S~iETNY^|OEgFSDiCt@yR|IMdBQdhSshyjDWeixULilTaylTW}kdTnjGTZYqTUejHUPirTbypDT}kXTbjDTWYh|TEiZTRijtTYoTV]jtUFjAT]YoDVMjxTti~T[YqdZelxUXjJTmystZMlTUvjSTlYuDYUlXUbjVTgYvtXmmDU^j_TfYyt\EmhVZjhTuYwd[mmPVNjbTrY\|MufbUBjAt`yoLV}jzVgjytzI~L]innVgjwtzI}\]in^V[jytvi~L]AnnVmjpt{I{|^InJWWiWtKyd|ZMlnUtjWtjytl`qpJWWkSuEjC|`apBW[kPuEjB|^iofV}kJuDI~l`yoZW_kFuGjAL_YpJWIkSuAJC|`YoJW?kHuDJ?\dQphXNkXUSzEDdEpTXRkVURzDddEqDWvkbUMzGdbeqPW|k_URZHTb}rLXTkkUYzIteeqxXbknUXZJTeEonWTkHuZJNLeyrzXok|u[jN\fYrzXsk{uRzI\dC?DYIk~_@jPtgEsC?ClEu`??dgk?DYGlFu`_?tgv