CAT(3050,1)

Sparse6:

:~?ni_?O?G?CAS@C?c_P?GwCWAQAA?t_ZoLgEsBU@n@I?[OMgFKBe@p?y_aOPgGkCQAL@D_]?NwFgCA@u?}_`_NWGOBqAA?z___NgGWCAAC?~_q_VwKKEABB@^_oOVgJcDuAp@V_jOR_IkC{Ah@L?hoUOICDkAd@Y?goQOHSCoAN@G?doLWE{BYBn@x_{O\GMsFUBs@p_}?[wNWFIBY@{_|?ZGNWEmB_@g_v?YgLwEeBC@e_p_XwK_EU@x?|_\oMGFSBeCc@|`I?^wQWFyC\AK`EoboPKHCCTAO@Do`wPCGYCGAS`A_cwOWHIC_A?`G__gPwGEBB@__nodWQ{HYDHAd`ROeoS{HsDRA[@SOiORCHcDNAY@SOg?SKHwDFA^@POlWU[JQDUAw`Z?jGTOJ]D]Ao`X?jgUGIuDxA}`]om_WKJkD~B?@[oqoF{ByA@@e_qoXwLSEeBP@m_wOZwLcEuBV@a_qOWwKSEQBFA]`OOfwRSHeCpAy`\omW\_MeFVBi`r?yW\?MmFMBi`s?ww[oMUFMBc`n_wwZgMQE{Bd`o?tw[OLeFABW`h?tgYWLUEaBS`l_rwY?LqE[BY`h_rgY?LEEcBN`e?twXgLaEUBX`j?rWY_KqEiBJ`l_qGZ_KeESBY`c_vwZgKiEOB]`o_pG[OKIF?BB`a_yWWoMiEMBjaS?KWD{BA@d?s_XoQwHcCiAZ@N_fOSGISDEAf@T_iOQWG{CaAN@H_cO^wNkFyC@A@`@OiwTcIiDZAn`VOogWcKMIiDKAbPR_hCSsINDHA`pQogkSgIHDAAbPOOhCS?IND?A]pNogSRwIBCtAapL?g[RWIHCsAZpL_fKRSHpCvAWpMOeSRKHpCyAWPJof[QwHxCnAWpKoeCQwHdCdaRpHgckQ]HLDKAPPR_ccSsHFC`A]PFofSQ?HvC}ANpNocKQ?HzCj@uPJO\sQoFZDHAHpQoakSgGhCbAGPC_ccQGGbCLaFpBg`SOqGVCGATPIO`KO[HPC\AAPF__kOWGxCBALp?_bKOCGtB}ALp??bSN{GrCg@|o~OdSNoHRC]@|PFO^CNcGxBtAJo|_bCPWFnBsAKO{oasNGGnCj@vo{OdkQoF`Eq?SoIwDSAq@\?laPPHGc[MuF\Bkbe`oGv{ZyLuF?b]@nwvgZyIbDNagPSgi[TQKCE|bA@nGoWZmL{D~b?`oGo?Z}JzD}a}P]wnKViJkEtbZ`]GmwZYLoDob\@[gvGVELoDrb[`\GmgZiJYEnav`kWloZAJUEnau@kWlOZALcDfbY@YWuWUaJGEqar@lGkgZMLYD`bV@Wwt_UIJ?Eian@iwjwYeIuEham`iwj_YiLWDWbV@UgtgTeIiEtbZ`TwioZYLGEebQ`iGsWY]KsESbJ@fGrWXUK]ERbG@cgpoXEKUEVbE`eWp_XaKOE_bO`agsOWeKME^bB@fgogXu@P?g_SQI_EKA}@`?n_WoKGESBQ@f?q_YOKxE?a]PcGhcWaIHCwbMPQGtcSALHCoaqPIGicTaHHDgaQPKGncQaJhBgaEOuGbcMAGhBWaEOwGbcMaGgy[\QMjFVbkPthA{`UOlGScHQCx@wauOaGncGAJhDO_qPWGMcTaBXEW_ePiGJcYAAhE?\qPcF]cW`vWyO`}M_G_bgaFgxgaAM]G^bfAFh?o_AOOGAcBa?W~G^mNwFvb|@}G|w^YN_Ftbv@|G|W`aOsFlbuAEW{g]aNMFibr@yW}G]INGFrbp`{g~g]EN{F_b~`vwzG_MOIFZcA@ugwW[]MQF@b`@qGwo[iMGFKba`qxPgA]@L?ddH_IWD[Ai@R?j_TOJGDsAu@X?m_UpDgbCP]GrCZaLPFGbsPuHLCdaRptWyc\MMlFVbkPrWx{[yMFF@b`Ppgwc[UMNFHbcPqgxc[mMNFHbcPqgxc[mTgJ?dZAohUgkETmJBd[apXV?kQT[IpdWAkxTwjITyIgd^aihTGjySYI{dFamxPojiTwIQd\acXVOhASSI|d^abHPWjyU?IOd`AchWGhESSJBdEApXPWkQSqIFdCaexP?hiSwIFdNAaXP?huSeICdIa`hQ_gUSmIDdKA`hQogQQQIwcdAmXH?j]TgHJdZARXUgcqSAIgdTA_xTGgIR}INd?AbXNogyRtHwc{q\XM{fYRcI[dNA\HMWhuTIHndRa[XSofASoHldJAZhQweqSeHidIaYxQ_eeSqHecsAexKwhiT[HbdWAXXTweQQyIqcnakXJojMS}HYcmAgXS?dmTCHWdQAUXSWd]QgIdcjAhhIgi]QaIcchaghIOiMS}HMdOaRxS?dATUHCdUaOhT_cMTWHDcbajXGoimPxG}c]qNxGKcAPlGwcZqMXF[biR?Hzc}aWhKGfq@D?c_PrOOtKYmLTEkbVPjWt{ZALbDNagpSGiCTEI^DQaiPSwiSTQIfDoaxP[Wm[VUJhHGcdQQXH[cuQXLPE_RS`fst?X~K}EirSpf{tOY@KzEdRNPhcroYVLNE\rNPhkswXxJlEdQzph[mwYXLCEYrP`e{sSXlKeEnRVPdCtoXNKbEerRpckswXHK_ePRGXbsp}WzKMEhrBpicp?YjL@EDrOp`kooYDLCECRPP`SsWWRKFEcrPp_soSYPLXE@R?pj[tgWHLUD~r?PjCt[W@LFD}RQ@^sscVzJxE_q}pgSsKVtJwE\Q|pfKnWXpLUDyq|@jCnKYnLPDxRS`]Ct?VbJfdsqyH\SmqVVJ`dpqwh[cmYVJJ^dnQwHZ[luUxJXdlQuHfOlIXoJSe[asxYkl]UlLYDfrUpYCtcUbJMEnqrPkKkoZ@L^DbRWPXCu?UNL[DcqqpjskgYzKYEURJ`bcqsWvKVESrEPd[p_XTKqEIRL@asrKWjKnEGrKPa[r?WdG]cOQFxCKaMPDF@b`pogwc[YMJN\EvR[@z{u{]|M]FlRg@zcx{]vMZFmrv`rkxo]~MXFmRu`rSx_]vMTfJrdhqSxQ[fNUF@RtPoC|O[BNWE{RtpnK|cZnLsFjr\`zKvS]pLpFjRt@m[vG]jLgetRYXl[uuZXLaeqRWxkkuYZNM~FgrspwK|G]@MuF[rm@v[z[\tM}FYRn@ukzs\fNAFWRk`wczC]FMmFarpptky{]LMiFFrcPtcx?\VNGFERq`ps{c[ZMHFQRh`p[wg\JMEFOra@s[w[\DMfF@ri@ocwS\RL|Fdr^pxkvw]XLyFfR^@yCvk]^OkgUsIyDDAi`ROOGMSCaBt@C_zOIGHsDQ@d@O_VN}FoS?@{K~{^DOaF|sH@~dAK^zOVF|SD`~L@_^pNtG?r|q?[~W_DOFFxSAP}c~K_PO`FvsG@}L@{^`NkGQrzaC{}s`LNiGFryq@k}c_\OXFrRyAB\@g^NNbGARxQ?s}O_JGecQqHHC{aePPKqeYRKxd{rEX`KkeVRJXdKqmXTP`GlsWqJlEGaxPZGnSVQKDDoa~PWGrsUaLLDcbPPWGqsXAJTDcbLPcGYSLaKtBSbJPKgfSRYH\CiaRP`GZsWqFLEG`pPfGWsYQE\E_`dOoGnSJaKDA{a~PNGisTaIDD[abP?G`sOaGlCCaHPEG]sQAF|C[`|OyGhSNAIdBkafQYDAQ`XOsg]SRIGdEQaxPShISbIOf[rmxvSzQ\jMrfWRkhuKyu\^MmfTRjHt[y]\PMhfQRhhskyE\FMahQcjITpIQdEQlhPchiShIadGQfhVcgIUHIId_Q`hScgYS@ImdSQahMclYRxJYc{QvhXCfYU`H}deQ]hLCmyRXJudwQ[hLcmIVPHidqQ[hSc\iN@ImbmQihGckiQXJQccQrhFCmyQ@Juc]Q{hVcayPhJEd_QKhRcaiT@GadKQHhAs`yOtGIcHQBg~cjITpGEc?Qlg}CmIVPFydqP|g{clYNXJ]bsQugxcdyR@FQcqPtgwCdyRHFIcoPpgucdILxHYb[QThICYiL`HYciPjiEBMxfkrqX|K~e_S@y@L?a_LODgAS?Y?\?I^|O?f~tDQ`|PCgnSUIGTCa`|PCgfSSIGTBAb\Psg\S[IEtBAbDOwgtSLIKs{Y]\NIf\RnhwTDQ[dP[fFSUHpSvqbDMCgtR_IKtCaZdPOe|SRHmsuQb\LkgzRYIMSsq`TOkejSHHiSsA`LLGgVRPIDT@aXlK{gPSFHfT@aXTO_eXSFHdspq_lKcgHRGI@spA_\KWgJRDIAT?QWLOGeDS?H`sna_TOCe@S?H^s|QYtNWepRsHjs~Q\\N{fZR}HuSyA]|MgfrRhH{SxQ^TNofNRzHrTXajlT}i|TYimTUycxUMhQTdiSDXIkXQQjISeiqDHYk@QEjCSbiodGibpUAh?TaiNdWYixTEieTXikDSih@TQiSTUicdTYdPSUhWTEiTdPygPReiGSzi`dMifxRYiASwi_DLyeXSmhiTLiYDRIhpRAhcTOifdKYdhRqh{Smi]dJyQdHYcjQVhKseIn@XAjsUQi{dcYplWyk^T}i~t_In`XMkiTzi}ddIlHXMkiTjitDdIq@UYkcTgjGdXypPVUkWTvjDd\io`VIkKTriyD`YoHU}kETpj@D[Il`W]j[UHiudaI_LOIg@SBiAt@I_tOagNSHiDTAyqpZUlkUWjJdlIuxZElqUrj[DkitpZil_U{jVdmytXZulWU~jUdnit@ZQlkUijSdlYslY]lLUajQTgyuxX}lAUxjODmIvPXqlwU]j\dfYrPZukuU~jKdnikDUIjBTbiqtXIzd\umvVWjlTuYx`\ym[V_jedvyzp[en?VJjndqiwp]EnEVGjpDpywX]EnEVDjpDpIyP\UmmVSjhdtixx[AmCVPj_dsI}X^YnoVtjyD|y|h]YnGVnjvDxY~P]inuVkj{dyy}@]]ncVhjwdyJ?h^qoMV}kBD~Y~x_IoGW@k@e?GXKKiEPELbDpbGpCWiKRHPchqShH{dAQ\L~e}r^hnSvqZvOpgXsKiDtBA`^RghtSyY[lM]fLThittYiktUajNVQjiTsyx|\Em`WqK[UMbEdbKprWnKYuKRE|b?plWqKUULBDtbKpZWnKSuKRD\b?pTWeKUuHrDda_p\WhKPuHRD\aOpTWeKOuHrCDa_pDW]KPuHRB|aOozWYKOuFBCD`kpDW\KJuERB|`wopWYKIUFBAt`kojWXKHUCrA|`CopWMKIUCBAt_{ojWMKGuCBAT_{ofWGKYuAbE|_cplWyKEuArFL_oppXm?JOEGA{@e?v?Yk|?FGBs@us??^_OoGGb{QEH@FbbpPxGz{]EN@J{d~Q~X^KnmVtNnfwr{H|c}y^ZP|g~S^IN\FebtSiiTtJIdlQ}h\U[jNTfYrLXmktVcjrTxY{|]enPYhLTujBS|i_tTYlLQUjrStiwtJY`LRuiRS\i_tDY]LQUgBSth{tJY]LMUgBR\hss~YbLKugRRTiGspYTLMUdbR\hssnYQLKudBRThKspYTLFudrQLhWs`YQLEUdBPthKsZYHLFuarQDggsbYFLEUbbOtg_sZYJLAuaROdggsFYFLAuaBO\gOsLY?l@U_ZODgIsBWzK~u^bFlfspxXgLTUYbTdectVYlKquXrT|eWt\XaK|U^BKdeKrvX^K|U^BKLe?rvX]KzuVRNLdorpXsKkuUrMtfSqtXvKkUTbNLd[rpXRKyUTRMtdOrjXOKwuSbM\dCrdXLKvURrMDcwr^XpKdU[rHdfGqVXFKvUQRMDc_r^XjKaUPbLlcSrXX}K`u^RGTf{qBW}KtuOBLlb{rX[U?DOBG@[?u?^?MmP?CGAS@ExO?S_HoDZdDqixR[hmSVIjchjAxMYqmREkZa@liwcZ[mGeuza@luu}[QmGevjcPl]xEZXmQEuJYhqMuk[cliFGjYHp}xAZRlhFGJXppqu_[]lffFZXXp}xAZLleFGJb`kauQ[]ldFFZbHkUwuZFmLEpjapkIwoZCmJeozVxpeuA[Zl_FEjapjqt{[WmJenZVHpUtu[Rl\FDJUxqUto[flZFHjUXpUti[RlYFDJ_`oiwW[EmDf@Z_Ho]wE[Hm@FAJ^@nyw?Zyl{e~z]hnmvmZ|lzE~J\`nIv[Zslue{z\xmevUZpltE{J`hmYw]ZgmFExz[HmUvCZbloExJn_@Y?p?V_JOEGA{@i?r?Z_KoEwBTww?x?]_MoFGBs@uw`[QmGvdBptx?{l]NNIvcRqdxK{l]QNIv^BpDvw{T\|NCvaBn|wg{B]HN?VaroTwO{X]LN@v`rp\wS{Z]ENEVLJetrUxn[xm[V[BqLvG{f\pNHVZRptu{{`\mNFv`RlTw[zX]EMtvXrn|uc{B\gN?VXBo\uW{D]CMqv^BkLuKz|\|MpV]Rd\qszv[kM|VJbn\vgx`\xMVv[rjtvSz@\sMnvUBiltgyn\XMjVUriTtsyh\[MhvRrhLtCyV\OMdVPbhdswyP\LMbvOrflsSx~\CM^VMbgDsGxv[{M_vKRmtrKzp[qMzoBG@S?m?T?K_DoBW@{?y?Z?N_FV{OAS@A?b?O_HOCZnLvizvXjkuuZJMdfYrjXvk{u]JNtfur~^rN{v}B}L~G~n^uN{v|B}|~S~p^`NuVwB|l|{~V^kNqVwb|l}k~F^mNqvxr||~?~L^gNvVyR}D}g~^^[O@vvc?d|t?J^sNkv|bz\~S}t^UNwv{rzD~G}n^gNhvybyl}c}h^aNgVsb{d|C~F^LNqvxrx|{w~L^INoVwRxd|{}V^FN|VqR~d{_~v^@n`vojwd{Y}J]}O@voC?lz|?H]zN|VnR~dzo~v^|N[V~rvT~w|r_?NYw?bu}?C|l^|NXV~rud~w|f_?NVvkS?Tz@?B]\nNvfjsDyI|B]dnQVgzs|ya|L]kNJvjbrLys{p]YNSvfBt\xk|T[RmIvDJbdpywz[^mOvGJclq]xL`bOKWXCBMET?t_lOlwJsJeAxAt_kOmWIsJUAhAv`bORwISKmEP@P_cOmwHcJ}ATA|`_OOwWSCUEH@F__OnwFcJm@|A|`_OLwWcBmED?x_KoFWB[AE@F?^_QoHwDKAm@^?l`VOawUSG}D`AL`AOiWTcGeDTAF_~OgwOSI]C@Ad`JO]WRSFuCp@z`MO[wSCF]C|@t_uOcWQcFEB\AR_EOXwACEeBT?N_IOWWASEU?l@baXOrWesLEHhBNaLPHwbsQmGxChaOPDWbCQUHDCV`zPNw^CSMFtD@`xPNW]cReF`CzaFOyw\sPMFXCPa@OxW_sMeGHBfaCOvw[COuGTBb`mP?WZSNuEpB~`hPJWYsREH\BTbB?NoGWCC@}@B?_llUvJZ\luu~Z]nSviztTyq|\]lphGrKXqLREebLpfgq[YIKnE_bIpbGrKXqKbEMbLp`gq[WiKnEGbIp`goKWiKJEGb@pbGoKXAKJEMb@pfgiKYIIjE_ahpQgskSyLRDKbRp\Gn[VaJ~Dua}pPGl{VIIRDoabpVGlKUAJZD]atpWgi{TiJNDcakq@?DGA[@U?f?S_IvaJpTwe{Z]JnEVIzdlqqx\[omVwS[I]DJA\`OofwQ{HmCrAP`IocwKKEUBF@f_toYXCSc]PLHJcQQQXGC`uP@HDc`QFxAsa}OpGpcLQKxDC`]PXGZcTQEXFS`EP|GTc]QCxACbUPpGTcZQCx@SaMO\GdcEQHx?c`uP@GHcBQFx?C_UODGHb~Q@x@S^}O\GBcEQ?WtS^MNlEnbyPjXGC]uQHFpc`Pzw{sceNPHJbtQPw{CbmNHG~bpQNXDs\mM|GrcWPvWycbUPpFXcZPtwxsaeMdGlbgQIwxK[uMVFBbbppW~CZuNxF@b|Pnw}sZmLlFrbyPmW~CZELhF|bXP}x\B|d}u~V^mnwVz{O}GfCPaCpBW`[OUGNCB`}p?W^{myVvJ}dxq~H]KmyVjJqd{q{H]{maWNJkeDqyh`KmiWJK?duqyH_[oaTBKEdPqhH`[hiVvJ}dNq~HRkoISrISeAr?HQ{gyVjIQd{qcH]{gMSNIDc}q_XN{mIRnJec|q]H[klqRbJ_cyqvhM[lYRVJYcvquHLkeQUnHgdlqXhZKlAQ~JScoqWhY[lAQrJScmqshJ[dIVFJecjqTH[kcqUzHOdnqRh[KjyTrI{d`qmhWKkYTfJGdZqpHUkiqUVIodfqjhXkiYSRIidEqiHP[xqZ~MBf?r]Xnkvm[lKbfLRGXrCp}[pK\fLRExqspeWdMPeJRdXacxMWXMPeGRdX`sxMXHLfeSRYxcsue[HL`fCRWxosuUYhMJekRbxiswuYDLHebRRXgcsmY\K|e_RSxfstEZXKvewRMxlsreX`LreYR\xeSvUXTLZeVRVxdctuNfFvbyp}W~k^m]rN\flrsxy{|U^`NLfyRsX}S{}]LNvfcR}XxS~m^lMbf|Rhx~CyU^`M\fyRgX}Sx}\tNjfvRnxvc}u]|MtfpRmX{Cz]\\N@faRkxwSzE^HMhfURyX{symUbJTdhqtxZ[leUzJ^doqwx[{mU^xPDgbS?YHC~}`dPDgcSLyGtBU`pOlgWSNYFTA}aTOfgfSIyHdAe`@O~gQSOyCTCE_vO^gMsEYAl@]`pONg]SCyFT@E_PO~gESOy@TCEaTOBgBSRy?dCu[bMTfHrdxr[xeabPTghs`yP\GecXPhhGSZYPtEmcXPbhGSXyPtEUaxQVgoScyJtHUcdPVhJSUyQdDeblPzgyS^yNDFuc@PngxS`YOTFEdlQXh[SfYVTHmdxQphYSoYVtJMdHRBhSSpyStKUc|QjhPSjySDIuehRZhkSvyYtLuedRHheSsYXTK}KBEDb@qnXVKjmTfIvdYrhXs{yM[zM`fNs\YNLF]b^PrgwtCI_lPQgRSQiBs~i`\OygFSKi?s}I_lNqgRRyiBs|i^|OIfjS?hxs}I\lNqfbRyhvszI]lMyffRuhwswIaLMQgjRaiHsxi`\OyfVSKhstS_@w@C?fF~c?q?xg[s]YJK|e_rNx~l?E^~OBgBs@YRLHucvQ^hPsgYndVEk@Tti~T[ylTV]jtTniuT]YkdUmjPTnirTZYmDT}jhTbixTWYkdTejLT\isTUyjTT}ipTbimTWYatS]gtTJiKTQYgDV]jtTDi`T]YfTVuh|U@i]T^yfDT]idStiiTLyiTQ}ihSrijTKYdDSui`SlifTIycTS]hLTJiQTQYbdSui`S`ifTFy{O?c?Y?JjpTgysd]]l@VdjLTwyrd]]k|VdjITvYrD]EklV^jjTbyqT\mk`VXjjTaYzTWumpUJj@TvYot]EkHV^j^TqywT[}m@VLjaTmYxDZmlxVFjRTkytTZ]lPUtjUTsYydZEmdUn?F_CoAG@K?]?PkZUKJC|bQpRWqkQuIjELaypjWkkXuIjA\`Yp^WSkUuBJCl`ApRWMkRuEJ?|`qoVWYkCu?JB|_QpFWAkOtyI~L]qnjVijztzi~\^ynfVoj}_AO@g?k?Q?L?Du]Ig|SmiRTLigtRzMte]rhXjkxUYZLdf]r`XtkvU[zNDc}rxXRk|USZLdeEr`XdkvUWzJTe]q|XjkmUYZNtdUsDXXkjU_ZHTfmqXX|kcU]ZGTf}sDXFkaU_ZFLb]pvW|k_uNyy|\mmrV^jotvZWthUuTYPlcUczSTkEuHYflQUozWthuuTY`lcUfzWDh]uHYZlKUozO|gUsRYJlFubZTtjmtdY~lWUnZUdietpYllZUiz]tkuvtZPl{UrzZtmmvDZnloUzZ[tleuxZdllUyZ]DlMvhZVlxUtZ`DnuwX[@mDU~z`toMwL[RmGV@ZELbMpjYzl^unZUljetn[_mWvHJdlqIx^[_mRvHJdLqIxV[SmUvDjd|paxb[emLvFjd\pqxR\Okyu\zM\mmv^Zllsuxz[ltQyz\_mgvVji\tAyr\SmlvSji|sixn[smevKjh|tYyJ\WmbvQJj\tyx~\_m`vOJjlray^\Im]vRJf\wqzX]FnDVYzlDwe{T\bmrV`zkdwezt\pm~VZzndvMzh]@m{V`ZmtwM{X]^nPVcZsDw}{h]XnJVfZqTxmy^\LmdvhJuLyY|j]gnXviju\yy|j]knWv`zp\we|k?An`vm??t{]|s?Cna_@Jvd{K?D^?nb_@jvt{V