CAT(2786,1)

Sparse6:

:~?ja_?O?G?C@W?`?Q_GoA_A[?o?h?T?DoB_A[@S?Z?N?IOEWBS@m?o?[_J_FgAo@u@C?^_O_HGC?AM@a?d_RoHgBC@]?l?u?SOIOEcAg@j?p?YOL_E[BG@j?k?VOJOECAk@^?F_CoAGGKCIA@@A?[oLoGCCC@p?~_]oNgFSBq@v@Q?f_QWIGCiA_@J_`_RwGgDEAG@O_e?QGHoC]AY@E_o_SgI[DQAo@T_j_UgJGDYAu@]_m?WGJgD}BG@`_p?XgKWEU?T?J_EOFwCKAA@b?r_XORGHsCuBw@r?zO]?MkFOBn@o?xo[_MkFCBh@l?wOZoMSEwBb@l?roZ_LKE{BP@i?zO]?LcEkBnAM?AO@W?sGwCJAO@BoboOsGwCDAC@Fo_oQCF{CVA@@Eo_?PcFoCV@}@Eo^OPcFcCP@z@DO]_PKIKCdAP`Hoe_RkHoC~AZ@NOd?Q{HcClAT@KOjo?c?Y?J?C_BO@WUGIyD_Ak`V_jWUOIuDgAm`X_jGUOIeDgAj`X_igU?IMDIAp`Q?jwSoIADOA``R_ggP[GuCXBO@ZOlwUkKCEHBE@`opOWSJyE@A~`[OmgVKJkEHBE@]opOVcMGEeB^`i_wGY_MEE}BM`o_rw[?KuEwBX`l_vgZgLiEcBW`g?tgYGL]EQBJ`b_rGX?KiF^Bo`vOzW\cMmFJBe`roy?[SMgFHBh@po|o^SNoFrBw@|o{o]kNGFlBp@yOjGTsIuE`BQ`gouWZ[LiGcCJA@pAO_kOgGHCBABPA?_kO[GHB|ACo~o`[NwGTC?ABPA?_SO[GBC`AN@DWc?P]G}CUaH`Fwa_QAGcC]aG@EwbgPEG]C[aE@EG`oPiGYCXaX`GOc{QcHFCgAPPI_ccQoHLCjAQpL_dkR_H^CvAVPL?eCRSHdCrAWpFwcCPyH}Cxa_`Mwg?RiH}C{a^@OWg?RuIDDCa`pPWg{SYJQDJAcPQ_hkScIXDJaepRGhCSiIRDt?E_CG@w@I?[?P_B_IG@?Ai@Q?H_G?IGAOAi?a?hbB_JoocB?KL?mBApBoeCP?HbCPAXPBOdsOwH^CKAUo]OSCFkDB@y@PO@w@K?a?Z?N_FOIoH{AoAb?l?gOA_Js?oB@?J?noJOoSAkKF?kB?oV_nsE?J~E??noV?S[IOAvAd?moUonsDoJ~E??mo{O`{NKG`BqAGpB_^KOoFnCL@{OvoSCMCDDB_@Op`?HKWWAVED?dO]OKKEKBt@a?|pZ?eCUsHbDmAXPJOl{QwJ`CnAwo|OX[KgFlBs@eP_ODsWK@^EA?WOqwXSKqMi@B_aoPGA[@Q?jBF`coqGXkK}E\BM`forWYsLaEnBF`coqG|W]iNTFibf`xwyG]eM_Fgbp`swy_]EMcFabf`uwyG\uM_F[bi@wGyW\yMcF^bH`tgqg\]MiESbk@eGqo\iKmFXbcpqwxS[qM\FLbK`tWrW\]KsFUbk@fGzOXyMqE\bOPgWr{YILHEbbq@hW{oYYNIEfbTPiGtK\kLVElBmpj?zcZ?M~EnBoPj_zsZCNBFbBXpk_{SZ[LhExBZPm?ukZiLxEzb^PnWv{]OM@FABrPxOwK[MMJFCbb`yW{w[aMKFgbGPcWqSWiKXEJbEpbwpsWeKPEFcd`pwxC[YMVFIbcprGxs[uR?H\CnQV`J{dsQ~HMcgQRxIKdMQdHSCdqT`HkdSQXG~ClQV@GCcCQvHAClqP@JSdoQFG}ClQV@FkboQvHWCaqPpJKcWQnHICkqQPI{c_QpHPCiQSpIsdGQjH]CgQVpH{dsQ\G~CaQO@G[cCQDHGCaqPpHScWQRFmbvp{G}S^MNbFsbzP|W}{^aNrF{b|P}w~k^}N|G@c?Q?h?k_MOHGoCiQK`IsbCQjG{CUqN`D{bsP\GiCeqQpDcakQXGuCKQE`FCb[OrG[C\QMpBk`kPrGrCNQLPCCbOO~GrCOqLPC[bOPDGuCQQH`FCaSPnGfC[qMpDKa_PtHWBupypJKd[NXGQCJqD@Ak`KOlGECEQ@p@s__OZGNCCqCP@[`?OTECbBP`XGScQQFHIccqQH?S_EO@GDc@q@G|[]qNZJLDhqr@YSkwUhJNDcqqpYKkgU`JKDMQf`XsksSzIZDcqqpRSkgSrJTD\QtpVclWTvIsdZQlXU{jeTpJEDWqq@U[k[TdICdBQ`XOSgMSBH}Dgq_@YCf{U^HzDhq^PYclGRxHkcvQZXMOkYRgJGcxapxMkf]RlJTC{QtpNSlWRrIRD_QdPWKhOUDIUD`qe@Wkh[UHILDSQi`P{icS\IjDGQjPQSioSbIIDVQb@UCgkT^IeD^QnpS{iSTzIGDNqgPO{gcT@IaCvqh@MKiKR`HhCrQY@L[e[RTH_CpqW`KkeCRHKGeDRAX`[ouWXKVEORG`bKp_XBKDDnQw@_{oWU~J{D~r?P^snsW@JxELQ}pbcngWvJuEPq}@ckn[XHJlEIQzpasmwWjKMDrrC@\Ko{VPJkEHqypaKpGVTKADqR@@[soKVJJ`EMqwpb{mGW|JZDyQvP]kloVfJXDxQu`]Cl_VbE?a~P^woKWIKFGLcFQBHAK_}O`GTcJqDhDka}P\LREnrT@kKtSZ@LQEmrSPjst?YxLXEhRS@j[tgYbLREjRTPjCtOYnL[EURJ`jsqsYzLGEoRPpj{scZBK}e_RNxgSsMYBKeEkRI@i{q[YlLYESrUpd[tcXTKwEeRM`h[rcYTLMEZrRpekrWYZKzEXRNPecroXfLCEVrP`eKsSX`MQBfpsWyC\IMhFRbdpqgxK[qM\FLdBqaHPKgiSXIJdEqbxPshESdIOdKqexRShySzI[cpqXXKce]RPHefMbkxrWzU[wMsfKBkHuOxi\aMXfLbjhrgy}[wMlfTBeHt_xi\UMXfHBhHsoxQ[eMdfSbdhswx]\OMTfJbghqoyE[iMbfHBfhq_yA[eM^ewBkxuguyZ]MsfCbjxpWyy[SMlfBBgXp?yM[MMafNB_xogyA[}MCf?BkHuOwI\aM@e~r^XnsvmZxLyeyBhHmgyU\KLufRb]Xt?va\QLvewbihmWyqZcMjetbbxqGuu[_LkesBbHlOwuZQMMeqbbHkwwyZKMLfGbWxk_xAZCMNgAANxGKcAQJHFcbR?h_coMVxJ}d}q|X]cnMV`Jqdws@qA\?c_jOSGCSAa?|?c_XOJGCS@AAD?W_dODGGsBQ?d?w_LONGAryH{s}]^FNdfqRuaAT@?]xOPFlrtqA\@S]rOSFkRtA@k|W_^NTGFSA`yK|K_XNQGDs?Px\?K]ZOAFeR~pxL??]TN}FcS?PwT?G]FOBFaR~pwk{[_@N}FbRnp~[{C^zN?F}RnP~Czw^tM{F{rmP~[zk^zMyF}Rl`~Cz_^tMvF{rr`}S~O]`NrFfryP}s}k^nNiFyrw`|s}?^ZN`FuRvP|{|{^bN]FwSVaItD]ajPRgiSSiBxDm`AP\gOCVIJX@qayO]gmCFYJ@@easOZgkcEiApDa_oPYgJcUYH`CeaUPMgecQiGHDAaCPPg_CRyC`By`EO~gPCNYGXBEaIOrgaCKiExAy`oOog[cJyDXBQ`kOlgYcJIGxAe`SPGgbCIIFPAU`wOfg\cHhpcwy[ZMNfGrcIM@GabcQIgwcaYOlG]cLPug{S\yMXGmcYPtgyCbIKPGmcYPbgocbIPHDycOP_hDCVyLhF}b]Q@gvC_INHEibWPzg|CYyOPE]cGPhh@cYIK`FqbIP}grC^X~C~i^rN|f|r~H~|?A^|O@g@s?iTpHAc]QlhFCjIUPIedgQihXciyTxIYdaQghWChySXIqd[QdhQCjYUhIAdmQahZCgYRlH}c|QYhMSeyTxH]cqQphKCkIUXHQdgQUhXCdYQHJUceQuhHClyJDDiarPZgmsVIYlLMehRQhgssIWpLaeGRUhactyYpKEemRAhkCoyVpLeeuR?hlCnyVXLeeuQ|hlCnIXPKue]RKhdcriWxJadsRHh[cqI\@Myf_Rihsczy[xNMfIRqhrC{YZpMIewRchmcwyZxMmf?RlhoczI^hNQf}Ruh~C|Y]xNifwRwh|c}WmkV]JlDwa|P]Wn[VuJxERbIpdGqsXaKnIRdIqdHQshaSnKeeSRHxdKqmXTN_fpRwXzk|y]~P`gpsWiJtEAa~RIhdsrIXLK]ePSqIUTIqeDQghbSfIVTIAd|QchZSkIQtIactQkhHSfIOtIQc\Q_hDS]IQtFqctQ?hHSaILtFAcLPshFS]IKTGAbTP{grSTILtFQa|PoglSQIKtDAbTPKgpSVIFtCQalPWg`SFIEtAA`tOWgXSIIEtAq`tOcgXSHIFtAqaDPCgTSEIHTAAadO[gfS?IUt?Qd|OGh\SDIWtKa_\OOh`TeAopWgkCUUJHDbarPYGk|V_JRDjatPZGlsUuJ^DpawP[wmcVIPHGecQqHxDKaaVNJhdsQzH\SmmZhLueyr\xnKva`DOcgPsHiC|AUcjQUhIScyQTHEexR]hmsvy[LMAlAUcjODgisXX}lMU\jRDfishXql?UXjOdeyrPX}kkU[jKDfYqxXykiUVjKDdIqpXMksUQjKdcYq@XmkiUMjFdcyphXQkWUQjDdcYpPXAk[UFjFdaYphWakSUCjED`ipXWUkBUBj@T_Yo\WIj{UHj?D`ynxWakKT{jAd^Yo`VmjoTzi|D^YnHVqjoT}i~d]Yo@VijiSsiYd\yeXVYj?UaipDhIkHYMlIT\indhyjpYYiwTqiyDUijXVMiqTpijdZyj@VAjWTPihdZilhTIigTkijDZiihUui]TpiwDSIhpU}iYTqiyDQyh`VMiOThidDYyhHUiiITeibdYIgpU]jUTBisdOilPSQi?Tgi^dXigHU]jES{i^DXIfhUUjmSyiydMympRehoTdiZDWyexUQo[DSajPTWi{TeIpW\AlPVGj[TuI~D]kPUGJCLaApDW`kDDiJ@HYioOUhkMdtYyx`}o{VUkMdsjBp\Qo}VRkLdrzB`\EosVOjeEEJBH[um[WVjbEDIx@`YmMWTkIDqZAp[moiVIkLdpIwX`qosVDkKdoIwP`]mAWWkGdnZAXZ}ocU}kFDmjA@Zmo]U{jZeCYvH`MloWQkFDlIup`Ao]UtjXeBIuH_ulcWJjWEAYtx_il[WGjUeBYtX_mlWWKj}E?j?X^yoGV|j{d~y~X_EnsW?jwD|i~@^InaVvjud{y|x^Un[VsjrDzI{h]mnGVijrdwY{X]enCVgkAdvj?x]AoKV^jkDvIzP\umqVZky@WGkSUEJDD`aoPXWk[UQJJDbaqU`_lCUYJNDfasPXjAl`YohYFLFUaBPdgssLYILEuarPtgcsXXtL?U\bOTfOsBYAK{U_RNLg?rnYCK|U^BOlgKrvX~LAu^ROdfwsFYFKsUaBLTecsLYIKquXrP\eWsRX|KpU^bKdf{rFX^K{UWRNLe?rnX[K|uVbNTfoqzXsKkuUrMtfSqtWyk[UMZF\bupxXpKPuHRMTaOrfXpKRu[bDDaWrfWhKvUIbL|akr`XjKjUZBJDd[rZXOKeuSbH|dCq\XRKdUTRHddOqVXFK_uQBG\ccqDW}KaUPbGDcSp~WpKYUJrE\b?pdWtKUULrDtbWpZDSajPTWikTQIlDVakpUGi{TeIpZhAmPUwjSTiIxDZkwu[zMTUUjHTbiwt[Il|VIjhTrizt\imlmkv^ZiLwu{B\LmwvbZkLvuzR]Dl[vHZbLkuuB[lmKutZdLmUxBZ\mWuzZ^LsUxrZtm?vLZaLsUwR[|n_tBZyLPu}RSTlOvXZULvUtR\llKvRZjLhUybYLm?u\ZaLgUwRX|kkuvZLLmUrBZTlsuPZ^LdUqRZtl[uJZXLbuuBWtkGvdZCLyUor]\kCvvY~L}uoB^djmttYxl^UnJVlnkt`Z|LXU~BULisvhYmLxujr]TigvpYkL|Uir^LnStNYhLzuiB]tn[tLZtLQu|bSdhYsnYTlKUejRLhmsxY\lNugJRtjWs^YwLGulrQDhGtjYrLIUcrUd_aoTWHkEuAz@d`aorWVkMUEzBTtKxR\SMTVSbdDqSyj[fMjvHbitqOyl[aMjvGriltOw~[`MhVSrcDtcwx\YMMvUBbtpcyx[ZMmvUrbTpWyx[WMmvDrj\t_wf\YMIvURadoQwL[DmBvAZ`DoiwV[KmEvBz`tp?yX\MMHVRRaLtCx|\NM^vSBflrgyR[{MdVMrh\r[yF[xMavMBgds[xl\GMYVPbelrCyB\AMXVKrgDo?x\[oL~vJr^tqswD[BMTvJB_LxKy~]PMoVcbjtwS{P]ENCv`rpTwk{D]CNEvbBo\vK{n\tNKv\BrDv?{h\qNJV[Rqlv{zZ\nN?vZboDvczX\zMtv]blTvozN\gM~V^RlLuWzp\dMzVXBm|uC{\]OMpVWrp|zkJdDsaxp[wmcVImNVGjbTqYx\[ithYtlXuljVDj]}S^CnbFrJxX{U}M^BncfoZx@{I|{^CnbFoJvx{U|u^@n]fozv`{I|u]wn]fmZv`zi|{]xn_FmJvxzi}S]_neFgjxXyE}M]\ncffzx@xy|c]tnYFlzuXzY{s]nnWffJu@xm|K]hnSFizsxyi|W]bnVFhJshyu~sD]anpVWj{TyIzYAl?U_ZO\gUsHWbkQuHJCtaapN\HmdvQjg|sayL\BmavPJgDsIyB[lmUVIzdtrAx^_HOLwAsBm?h?x_WOBWACBU@d?N_BOGW@SAM?P?^_BOFWBC?m?t?H_TO?WDs?U@X?B_?OHWCs?U@P?B_HN~v~c@\~t?T^zOBwAB~d~h?L^vN|v}R~d~_~t^|Nzv~r~L~w~p^LNwv{rx|~G}\_WNvWEb}E@c~^^jOLvzSBl}p?x^gOIvycA|}d?l_NNqvxsAM@?~L_KNpWBb{e?s~F^^OHWDB{M@K~@^[nmvvjzL|m}t^sNjV|bzD~S}n^RNwv{ryl~G}h^tNgVsb}t|C~h`kLpuxZ[dmYvPZfm~v_ZoDvqz|\|m{v]znTvazn\uovg\[MyFBBk`povg[kMIFRB_`rouG]{LqFvBY`{ouG]KLqFjBY`xo|gQKHQFrBy`Hoag\[MyC^Bk`Eo`G[kGaFRAE`ro^g]KGIFjA?`xo[wMkF]BZ@p_vosgK{LYBV@g`iorGKKLABJBM_popgJ[KaAzBI_noTGW{DaEV@U`copGH{DIEFB?_googHkKQARB?_dotgG[CYEf@C`ioNGXkCAEb?}`fojgTKIiDbAk`XolGS[JaDJAu`RofGNKIABzA]_|odgV[HaDzAY`^pbGl{VEJfDhaupYwosO}KTCRbCPCWosOeKTCLbCPAw_SWEGLEDaAP_w^cWEF|EDb@P?WacT]GpDZaJPUWiSV}JtDTagP^WgcVUIPDxabP\weSReHlC|aYPMwgCQuH`DBaVPNwjcQ]J@CjanPIWcCUMHHDfaPPXWbSSmG|DNaMPRV{Z}\~I~h^tnzWx[[eMZFBbappw{CZuNHF@bpPnwus]]LtFjb[PyW{sXMNTEVbsPdW{CWuNDEPbqPbwtS\mM|ElbVPvWsc\ULPFXbRPtwrsZELhE`bXPgwxsXeKxFRbgPewW[KUEBBF`doqWXkLEE^BV`hotW}CbUPpFlcZPzxCSbmPLG~cQQNXDC`uP@GlcTQFxAsbUPlGXc[QExACa}OhGrcHQKX@[_}OZGDcCq@xDC^}PXGBcTQ?W~Ca}NtGrb}QKW}cb}PxFrbzQMwo[WUKBEFbDpaXG[cUQBHzczq]XOCdeR|H\c}QUxISgER|HVc}QTXHcgMQ`IDcfQ`xOSc]SLHJdAQQXKcemRPHncrQZXMCd}RDHtcxQWXTciETHIpdVQgxRSguS|IJdMQaXQcjMSpIvdJQlXPsi]SdIhdGQixXSjeTxJNd\QrXVskUUDJHd_QpvmjvDzfAh`UoiwS[I]DJERbJpdWpkXEK^HdcsqXxJ{eMRBK?dyr@H^KoIVnJmd|q~h][nqVbJgdyqzH^KmiVnJmdpq{h[kmYVbJkdnqyH[KmiUzJ]dpqwH[kmYUzJOd|q~hYknqUfKAdkr?HY{oQUvLADPahpSj}|~e~paXpLwekREHZCnbup{W|{^MNjFvdCqbXP[g}SfIPevRWXlcuUZ`LbelRXxlSt}YxLheiRUxist}YpL\eoRRxkctMZDLPeiRRXjCsmYlLHecRRxhctMYTLPeBRLx`SreWPKzeWRXxlSrUXdLheTRZXdsvEXXLne`RHXdCs]YHKfe`RFxgsqMYHK`eKRNXgCpuX|KZeIRMxasreWdKveERNXgCpEX|KNfhAfpRgiE[`NRfIRtxqS|U[TNTfERtxps|M[HNPfCRrxos{u]LL~f@RqxoC{e]LLxfdR^XxCvmZhNLexRsXms{}\\MzfXRnxuCzu\hMhfURmXusym\DN@faRhxwSyU[pM\fJRgXrSx{TEIfDQagpSgi]`LO_gIsGiBLAQ_nOYgOsFiCl@q`FOYg@s@iBl?Q_~N{gIs?IBK~y_nOGfzsBH~\?i^rNogFr|IA[~I_bN[fsruh{{|a^JN]ftrzh{[}A^YI\DOafpRgh{TBPge\rLxfKruYBK~gpSTyKtDmbHPXgoSXYJdEMa|Pfg^SZyMTCMa@PpgmSSYKDDUa|PRgdSTyHtDmaXPXguSPYGtEeaPPjg[SYYFdEm`tPlgXSZyMTB]`hPpgRsIyDLAu`bOnfdrqXw{{u]bNNhZS_YVTGUdpQBhISkyUdHMclQphZSbYVTHEdpQNhDSkyUdG]cPQpgys\yNLFub~PzhNSiySTIud@QnhQSeYTDHudLQZhoSnY[dKEfDQ~hfSvYYTL}e`RZhiSqYXdL]eTRXhrSoy\TK]fPRDh{SzY^dNEftRnh~S{y]tOMg@RtgOsHYC\Imd^QlhSshySlPAhBSSiMtCib|PAgnSSiLtCibLPYgJSYiBtEI`LOihBSMiNtBIblSAbNPbgqsvyZlLmejRXhjtSIgLSyiJTAietPIg|SIiVT?ictMic|QIh~Sci]tQIelRaiVTEiZtJihlTAhfTMiWtIIf|RihZS{iTt^IjDVejtT\ilT\yitV]jtTRiiT]YlTVEj\TtiuT[ykdUEjPT^irTWyqTWEk`T|i~TbyoTWekLUJjATbYf|RuhvUSjPtdislXalBUYjOtfislXqlFTvi|t]Yso?QlfUg?BTlo?TYili?AjUTko?dZAlm?EjVTl^