CAT(3088,1)

Sparse6:

:~?oO_?O?G?C@W?X?I_DoBw@s?u?N?H_COCwAk@Q?`?Q_GoK_CoAe@U?g_R_IgDgBA@W?p_V?JwFoAQ@D?b_OOGWB{@u?x?]_KoEwBS@a?l?V_[OMgFKBa@t?x_j?CwAk@Q?`?P_HOBw@s?u?V?K_DOAW?{?aAb@Q_gORwHsCu@v?|_]OMwFkBq?x?]_MoDgBC@]@D?c_PoEWBS@m?~?`_OOZWL[EqB\@n_wOT?IsD_Af@V?iob?JGDqAu@]_l?VWQOEGBB@b?oOX?J{?Q?L?D_AO@g?kIO?G@R_B?TW?gDQDS@|@SohoNsI_B~@A?^oOOGCCK@|@y?zo]ONcF_Bv@C?boP_HKCSAP@p?yO[oMsFGBjA^?dOR?RsI?AV?I@LoAoRc?oCzAN?BocO@KH??PAN?EocO@{H??\?O@Coa_AS@CCVAH?IOaoA[@SCTBK@Q?hwSoIeDIAg`N?gWRwIMD?Aa`LofWRcIEDFAa`JOdwQkHiCpAX`n_v_Y{LwElB]@ios_X{L?EhBP@hougZCLeEvB\`mOuoZCLsEtB[@korGXsKuFHBa`povw[KMAFMBm`r?{G\wMUFSBj`s_zW\?MqFqBy`}?|w^?NmFeBs`x?|g]GNUEVBJ`dpAOT[IiDXCN@UojwTsPSD`Aq`WpEoU[JUDhC`@ZOlwVCQ[DrAy`\pJOVsJqDzB@`^ooGWSKQEFBD`bopgXSKaERBV`jOtWY[LQEdDGAVPJwdkQuH^CmaXPKWeCRIH`CpaYpLGe[RQHjCraZPMGe{RaHnCua[pMgf[RiHrCza_pOGf{SEH~D?aD`@g`?OeGMCIaC`BG`WOyGSCLaE@Bw`oPEGYCOaH@BwaWPEGgCOaH@DWaWP]GgCUaI`EGawPeGkCYaK@EwbgPiGqC[aN@EwbgQAG}C[aO@GwbwQEG{CaaO`HGcWQYHCCdaR@HwdGQQHOCdaT@HwdGQmHOCkaT@NWfoQqHUC{a^@?w_gRuGGC{`}`@g`?NyGMB~a?@?w_OOUGACC_xO[WM[FUBl@s_zo]WNCFiBv@{_}o^wNsIeDNAg`POgwSKHUClAVb]__GOSGECFAD`AProOsGaCNAH`DoagPcGyCZAO`FocWQSHQCfAZ`MofGRSHeCpCFaBPAG`cOuG\CQaIPCwbCPiGrC]aOPFwckQYHHCiaTpJG\KMiFPE]bMPfWrsXuKxE^bOpgGsCYEK~EabPphGsSYQLFEfbQphgskY]LLEhbTPiGtKYiLPElbTpjGtkYmLXEobVpjguKZILfFxBopwo~[^gNDF_BzPv_~C\{NnFZBxpvO}k\oNhFsBoPvo}k^KM|FXBxPu_}C\_NbFoBlp{_zk^CMxFTBupzoy{]wMlFXBvpu_|k\_N\FQBtPt?|c\KNVFiBipz?y{]kMlFNBsPs?|K\CNNFfBhPyOyc]_MfFcBfpx_yK]SM`FcBopwo{s]SNDEyB^pn?vsZkLzEyB_Po_vcZkMBFCB^ppOvk[KL|FFB_po_ws[_M@FDBcpoox[[OMTFGBePr_ws[sMNFHBYPqous[gLjFMB[ploxc[sLpDmBXpZOuKUoLdEXBzPeo~CXgNnEUB{pe?~[X[NtEoBIpjoq[YwKhDABYpP?ucSKLlExAbpm?gsZ[IJDjBDPb?lKUgKVEPArPc_lCX?JNDbAvpXOmKUOJ`D^AxPV_mcTsJfDtAop\okSU?JlDxAlp]_jcV_ItDWA|pTonkTcJxDPA~P_?i[TGJ~DSB?pT_o[TSKDECAgPR_osWSI^DJBBpROpKSoKPDHBEpbohCSgK\@T_iOSwIsDaAn@X_loUgJcDyAz@^_ooWGK[EIBHI{?rOXWK{kGBT@g_sqsOL[EqBZ@m_vo[H\GZiLvE{b`ppWwc[YMNFGbZPlWucZaLrEv`wo{w]SNYFhBtarPYGk{UeJVDiacpQghCSmIXDLafPSGh{TIIfDPaiPTWisT]IrDWalpVGjSTuI~D]aoPWgkKUQJJDba`PPGg[SYINDDeQbGHcop}XMK`eKbFxbOqEWuK_eMBDhb?pyWmK\eEbCx`wpUW[KSeGBAh`_pIWaKJe@b@x_GoeWCKGePA~hcWoAXGJ~eBA~h__oAWIJ~dxq|H]SnIVhJrdzQ|x]kn]VjJuduQzh\knEV^JoeQAxxcWmaXCJedpbHxcgmUVGKedoazh\_mIV?JldwavX]?l}V]J]djayX\WleUoJidlAyX\WlmUwJidWAkxU_jITiIpdYAlhV?jMTiIvdZAmXUwjmToIyd\anHVOjyTqI|d_AnhWGjqT}I|d_AohWGkMT}JCd`ApXW_k]UEJEddApxWgkaUKJHddArHXWkaUYJHdearhX_lAUUJNdkashZ?lMUmJPdlAtHYolqUiJZdjAvxZglQUiJ]doAsx[OlIVAJPdpasHXomQU]JddsAkhU?m]VKIpd|AfH^?huVqIZdUaeHTwhiT[IXdTAdXTWhYTWIVdIAjxTohISeIldFahxTGhES_IgdEAhHPgiYS[IddSaahPWi]SQIgdQA`hP?iUTKIFdPa`XSOgMTAICdOA_HRogIS}I@c~a~HNonuRyJzdTA]hT_fqTUHzczbFHNGpyRoK\e?a\H_WfYWCHtcxA}hMWneVoHpdNAZhS?fAS}Hncta}xLgnqRWJ|csAgXLOiMRQIachbCHIgpEQgKQeFaSHIOouQaKMeHaUXagdmWgHYeEAUHIwomQkKIeKAVxaweER?KUcmBAHJooeQyKFeKaXXKwpmWsHeeAAWh_oeQWIHbcNARXBwcyOyHNcdaEHHO`eQWGVcbaDXHG`YQOGScLAPXGo`qOuHCcGaOXAWcMOcHAc^aBXG?_qP{GJc\aBhA?buO]G{cCAMH@ObiOQGxcAaLX?wb]OKGucX`~xE__EPcG?c@AJx?_bEP_GBb}AJG~oauNyGmcSaGXDWaIPSG_cQaHxD?aMPKGcgF_NGFkBm_i?~_^OOGGKCIAF@C_bOPWG{CeAPA^`OOfgHcCmAT@L_foRgICDIAbOxDXqlHUkjeTvIyd^qoXWCk]UJJEdeqqxXcmMVHJddrqxh\CMYFNBd`vO{G\{^qNzF}c?Q?W~{_QOFGAcBQ@x?k_aOTGHcDqBX@c_}O`GMcGqCxAS`QOlGTcJqEXBC`iOvG[cMqFhB{aAPDG`cPqHXCdE{bjPvGws[AMtEobdPmGySZQM\EKbRPdGtSXAL\EWb@PaGsSWQK|D[azPXGnsUAJtDgahP[GisTaJ\CuaVPKgcsQiHDCUaNPEgbsPiGlCIaHPBg^SNIFlBm`rOyg[sMiF\B_aFOvG`SLaGdB?`~P@GWsOAETBO`~P@GXsLQGDAs`xOmG^SJqFlAg`\OkGUsIqD|A[`fOhGYSLQDDAg`bOkGWSIqETB_`NOvGSsLaDCuOa~LeGnRXQJl?cabOJGhSAaI\AW_LOcGCSHQ?|?K`HODGRS@ACl??`BO@GPsGa?S~w_~N~GOR~QBs~g_vN{GMr}qBc~[_|O_F{sFp~C~O_zNuGLr|QBd@_^bNrGKsE`}T@S^\OVFwSD`|{}k_pNlGLRzABK}__jNhGJRyaA|DC^JPRFrsS`{tCw^DPOFqSRp{\AK]LO`FaSG`wlCw]BPNF`sS@wSzObtPwFXrkaNLFs\`MpG}S]pt{xKaxMQGlRcQJ[u_ahPUErrYQIlD[ZTPXEuSU@l\E[ZZLnGsSX`lsv?bRLqGtr[QLSvKb@PaEysWPmdEKZlPdE{SX@m|EoZrLyGvR]qLkvob^L}GwR^QMKwCbhM?GxR^qM[x?bnMNGzRbaMkwm[XMLfCrahpCwM[HMAfBR`xolFkYjP|Ejs^@itF_YdPyEiS]Pi[scaPLIGdRQqHKsKaVPKEarPAHl@OX~K|GHRNaA\@OXnKxGHrMAASrO_bONEZSC@ekrC_^KrGGRKaAKqw_XKoGFRJq@kqs_\OKETsBPdc|{\jN_FZrwPusyo\pMmF\RjPvK|s\VN]FSri`zcyW]`NQFSRhpyK|W\FNWFQrtpsc{g\@NKFPRqpsKx{]^M]FerfPxs|c[tM[FlrepzS|K[nNTFKrt@rCxO\vM|FJRn@qktoZ@L\EnrUpjsuCYpLYEprUPkSt?YLLPEcRRpg{soYDLME_rO@hkrg\|K{F_RMpv{{[XPNHETRq@dLV[@r?w_\T^QVlJyd~Qzh]SmiU|JedpQthYSliPxVmcYT{hFD]in`GmjsQKi|cain@G]jmQHi{caIOpVecGTwhAd\ympGEjgQBh@D\YmpFyjgQ?iyc^yixTmioTXijDUiiXTAiiTQiiDSYh`SyiUTNidDRYjpSQiKT[iadVYfpUajST?isdNykPRmhyTcipdNIf@UUhsTfi[dXilXRUjWSuiudLyePQ}hgSpiXdKIgPQyhWTBi_dJYbxQAg{SaiMdGYcXPigwSdiQDEy]pS]iQRwicC|ykHNQj?Rtinc{y]PVIf_Trhwd[Ym@M}j[RmivczYd@MqhMRihtdHi[xPQfQSUhsDDY`XMQfKSLhqdBIaHMEgeRbiHCwi`@LygSR_iCcvyZXOyeySOhmDBy^xLaesS@i?CuY_pLYgMRVhid@Y^`LIf{RSh}csyXxOIeaSChgD?ydXKyhSRKiScrYXHKAeURAhdCoYWpNefuRGhbc}iaxKMeISXhaDEITpJEd_QrhVckiTHImdOQkhTCjYShH}dMQ`hRCgIRHHqcsQ]hLcfYQXHYciQVhKCdIS`HAccQahPccWE{BY@jWHJ^U@qvd__lzUxKBtmr@DZgoRVmJtTyq|d]snRVbJrtxQ|D]OnLV\JoTwaz|\wnBVXJlTuAz\\[mxVQJiTsqyt\CmjVMJdtrAx|[sm`VpJdTzqxL^?mPVEJyT{aw|[SnfUuJ^toQvDZ[m@VAJXtpAul[KlhUlJLtjarlY{kxUeJXThQuDYOlbU`JRtgqtLYGlPU_JUTfqtTYkk|WBJLTeR?LX_oDUTJ~Tdq~|XWo@VwJHT}aqd^ckfUPJytbq}|X?nlUKJ|tba~lWsnxWCJCtar?lWgoLUBJBt`QotWOkPU?I~T_anlV{kB?q_YOKzI@dIqaXSkheRzIPcqqgXMkheRZ@l_}o\WIkEUAzAHcmocXHkGEQjE`b]piWwkZEMZEHayp_WrkVeKjCpaepMWikQeIJDXaIpGWlkUEGzFP`}pwW`k\eGJB`bup{W]kMeNzBHcAouXAkLEOZApcMqIWWkJePJGx`QqOWTkbECwOkGMCHA@`?O_jP?laUnJXdlquhZdQQhJSbiPTGYcDgksbYRLEucbPdg_s`YILFUaRP|gSsbYFLHucbOtgwsJYFLGUbrOtgksHYKL@UbRO\g_r~YIL?uaRODe[sDXhLAUYBO\eWs@Y@KqU^rKleAq|X^kluVZJddaqtXXkjuTZItforrX}K|u^RNTfKrlXtK{U\BM|eCrZXbKvuWbLtegr`XqKuU[RL[EaBR@i_qoXwKtks@Z?m_UOJwEKBA_ZOMgESCiAd@M`bOqgWSLIE\BUMTFJbcprGxs[uIFDAaaPPgg{SUYbLNegRRHhssukFUCjAt_IoTWEvyZnlwUzj\lmqvVZ[LyU|bZtnSuzZXLwuur]\lgvdZULrUuB[|l[vJZ_LjuwRZDl{ulZiLhutR\LlOvPZaLhutR[\lOvHZNlfUrZYDlEudZILyU|bXdnSuVZJLwuqb]\kovdZ[LbuqRZtlsuPZDLluuRWtkOutZOLLusRRdhgudZ@LsUybW\kGvRY}LquoB[|j{vLZDL\upbVlkOtxYwLbuqRVTjcuPYtlZuljUTjQtfYhLpUir[digvFZ^LRUiB[Lm?tNZkLQuyrS\mstHY_LvUgR]DiGv^Y^LfufRXlhwu\YXLWUdrT|h_tbYULVUdBTlhStX?e_SOHwDKAm@TTsizT\YndVmjtIodXQkXUsjaTnJHddQqHX{lAU\J\dnqvh[KmIV@S\iNtFibTPqgvQ`hOSfyRdHyczQThHsdIQLHIc`YplVukJTdiytZ\}n?V^znlvqzv\ym{v]JmtvUzn\ZMoVVBkTtgzB\YMmvUrjttoy~\gMjvURktt_zN\bMjvURklt_zH\PmhvSjidtYyj]CLzv`b^LwSvpZyN@u~BoLnk{D\mMgVRrllswzX\LMtvYbhducyV\nMcV[BhTvCyR\qMbvPRmdsWzf\AMvvPBmLsKz`[~MuVORlluwy@[{MsvNbl\rszT[rMoVLBkTrSzB\bMXVXReLuOx`[lMmvJrj|qwy|\eMTVJBlDu[xV\qMRv\BdLvKxP\xMQv]bctqOzp[`MzVGbmlqKzn\SMNVTRcDp{yl[ZMhvSbbdtCwz[VN?vDboTpS{F]CMKV`bbTwSwr\|MGv]r`|vow`\~MCvArntw?wT[vMCVMB_to[xl[BM\vMb_drcwJ[@MHV?Ba\oGwh[KL~vBb^tosvz^~GUsJyDtBY`pOvebRQHg{siYVLHe`ROHgKsMYJLCjBTaIo|Vuj~T}lzu}Z^DnqvvZym\vMZfTrYxp[vm?V?j_Lnuv~Z}oPgEkCi@r@G_ZoJgHkBIAb?o_foOF~J~iAE~{_an{gF[Bp~n?}^ynzGEz~A@q~m_YnxgEZ}i@a~g_VnyF}Z}h~m~e^yn~F|z~@~q~y^uoFF{J}Q@B?]^poCFz{@P}v?Q^mn~fyk?H}r??^jnrg?j|I?Q~O_BoEfxk@`}R?U^dnpG@z{Y?U~A_EnnVwJz||m}z^[nkGC[AX|i}q_QoIFt[Ap|^?i^UnhGC[AX|Q}e_QoIFrzyI@Z?i^OneVrZxu?_}R_INdwARxT{X?\^GOGVps@}?G}F_CNaw?rwd~{}@_@N`W?BwLzt?N]~OBVnc?lzp?Z_KN\Vms@\zM|b]qoPfjjuAAV@G]nnTgHjtiAa|W_fnOGF[BxyF?{]^oPFhKC@yN@A]anQflJsxzY|K]tnSFlztPze|Q]wnGfdJqPxU{_]RnFffjr`wu{y]MnDfeZrXwq{s]InBfdjpHxa{O]VnyV|Z}\~Y~p^vhPSgySdIYdJQfhKSdyQtHmcrQYnGVcjqLwu{^]MnDVbJp\we{N]GpOWf{RuHnCxa\p[GOkGIJ^AEaupQGekRIIZCoadpTGd[QyIrDUaUpRgdKQYIfCcagpFgg[SYHFDCaOpBwaKOuGNCJaCpQG[[SqFNDI`qovGikLyInB_akouGg{LiIFBUaapRgYKTIEjDO`homWV[JuDfAv`YojGgKJAHzAma^pLgS{IiHrCy`SodGkKHaJJAUappUgP{TyCfD[`GoaGk{GiJRAKatpWGNkGAJJ@}appUgM{TyBvD[_{o[GlkVABj@qavoYgk{EyJV@kaso|g^kNaF~Bs`|ozga[NIGnBoaIpEG\KMqGzCY`toqg_KOQEZCA`foXGV{EaEFB?_roqGK[KYA~BC_ooUGR[DiCz@[`NoTgSkDIDF@S`Op^h@K_qKFGIb?qCG|K]QOfGMbrpshAk\YOrFScJpsH?[[qONFMcApvgw{[aNBFIbppuGwk[IMzF?blpmhDkZyPbE{cVplHC{ZaPVEucSqGGt{ZIPJGabWpiHB[YqO~EicMp|gq{^iKvFwbKp~GqK_AKjF}bHpbG|kWyN^EIbtp{Gok^QKREEbxpggnKYYJzEca|p[gsKXyJnE[ayqYHM[eiRbHkcvqXhM{eIRrHccyq_HJkgQRBIAcnq]hI{fyQvH{ckqSHPkhAQfIMciq`hH[cySVHKdCqNhE[bYQFH?cYqMhHKbqQJGwcbqchUKhYTjISdXqhHVkiYUBIgd^qfhU{jiTBIad[qjhRkiiSvIkdKqohX{lIUNJOdaqtHXKlaUZJUdd_WOKWD{Au@\?klAu`zOtd}r@X]kluVZJdn]vrZwl|u}j^eFrBv`yoqwX{KuXPKQeErAhaKpQW^KUeArEh_{paWRJ}eGrDH_[pIWBKWd{q~Hb[pYVvKAdxq~h]koAVnJ{dxq|h^KnQVvJjdsqxx\[meVNJndwqzX\{nEVZKCdlrAHZ{oYUzKIdorBh[koqVFLu?h_ToIgCsAa@N^xn|v}j~l~y~xZKldUqzUtj]tjYqlYUk{[]MVFHb_ppWw[VeJzDzayp\wm[zU\fMvfVrjXuKxy\BM[fQrehs[yY[jMWfTrdhtKxi[fM]fGrfHp{xI[jMWfGrdhp{wa\NMKfTrahtKwI\BMEfQr`Hs[v]ZvLxe{r]xm{v}[BL|e}r^xoKvAWzLseNr[hcKvQXNLoePr[hckui[RLmfErZHp[wIZJMCesr`hk{yqX^MoeWrjhe[qa\fKkfZrIhuksYZFL]edrQHkKsAYnLSearOhi[ryYZLOe]rRhf[taXjL[eZrUhfLDiZbLreymIvDzatpawt[XokWTkI}DNAj`SrFxbkqEXJKbeRrRXiKs}YfLVeirUXjktmY~LbeosaiQLGycjQKhHsdiOlHacNQGhLs^iQlHAcFQQh?s]IOlGabzPyhBsVYJ\D}avP^gms^IIlFiarPwgjsSIO\CycBPQg~sQIFlCq`~PIg_sRIGlCYaRPIg`sSiG\CYabPMgasNiIlBqarP?gjsLiLlBab^OygwsLIM|BIbjOogxsXID|EI`VP_gUsHILLEY`NOggtsFiKLAIbJO_gpsXiBL@qbVOYgss[iA\FY_nPsgIsBILl@Ab^OMgws@iQ|?icvOGhKsai?\?Qc^QKg?rvHvK}A\zN]f\r}hy{|i^zNWf~r{hyK}y]jNofhrqh|K{y^ZNKftrph}k{a^rNCfzrwhwK{I^NNcf^tQiHLCmaZPNghsSYIlDeam{~]`nOVgjsdyNEbbRphWr{YEKzMxf]rmx|[}e^ZNnfxr{X}k~e^nN~f|r~Xv{{M]BU?jBt`Ip\WIkRTyjEtcIn|Vqk^TViltUYiLTMijTJiftRYh|SuiVQ_iatQIRlHyiNTAintNikLSAizSwittNIlLRijZTqiZtZie\VAhjSkimtKIkLQyi~TciStXid\QYjFS_iptHIk|QIjJSMivtCim\PAjbTgiCtBIllUigVUQhttdi\|XQfZRciysyInLMYjnUEhnswip\MAkRTyhkt^iZlVqevUOhfssIplKqk^U?hht`IY|WIejTshbsqinLVYeRUQh_tdiWlXQeFQyiksnIj\TYd~QuigsmIilJQifQaicshig|IQiJRyiMs|ib|NagvSShwtDi]lPaffSAhVt@iU\OQdbR}hTs~ITLOAdZXQkgTgzHdX}q\U`jKURyrddEktXLj]UIZDd[EpTU~kWUHzETaMp\Wdj{UMy~db}ntW|jxULZEt^]nhWxkaT{ZGT]}q@VlkbTxy|TcmnPXHkCTwZ?t]UoHVbjlUCZAd\}mxWRjkUAyyd_}mlWLjhUEzAt\EopVNkMTqZCD[uo|VJj~Toz?T[]o@VDjTTlyttZmlXUxjXThYtDZElLUtlLUbzRthMsxYPlCUdZRDgusTYVl@U^ZOtgEsHX~lOU\zSdfmtDXxkpUYzLteErXX^kwUXZMdeerdXfkkUjZUDdut\XZlTUTZIti]tPXRlXUtzZTj]thZXlaUsZXDlUuLZRldUnzXtkMuXZ@loUnZZtjeuxYzlyUzz]Tnev`ZvlqUyz[TmevLZliatPyhKpuXBK^eRrHXc\oYwn[ImHvAJaloYwZ[ImGvAJ`|niwfZ}mJu~JaloqwB[OmAvBj_\dEqZXNg]sOYF|C]aFPDjTtjytlYelNUdmcvRZh\s]yJ\Bm]VKZedsExd[~mZVKZedrmxd[xm`VEZbds]yH[ZmZVIzfTq}xp[lmQVNZctsExP[~mcVFzhdqMyT[`h[slyUlJmd~Q|m{V_ZnTwMzx\~m~V[zmtwMzh]@muV`ZmDwez\]FmrV`ZlTwezP]FmoVRzkdtMzD\PmjVUzjttUyp\\?d_QoH\ZEljUrj\tmYu|s}yf\PmkvTzilyy}R^EnXvkJx\{A|f^CnWvojt|wi}N]KndvbjxLya|j]wnUvljt\yI|v]en^vhJvl{I{~^?nMvgJwlxY|j]wnLvljrLzi{b]}nIvnJq\|a~b^[nyvuj}\}i~n^ynvv}J|l|I}~^anjvtJ{L{q~J^Onsvrj{}?y~w?DoH?@k?M@??D^~?@W?k@G?R?L_L?BW@K@^