CAT(2702,2)

Sparse6:

:~?iM_?O?G?CBC@J?f_RONOEkBQ@l?s_ZOLWJWCyAZ@K_b?QwGwCeAO@I_a_PwG_CYAE@G_a_QWGWCiAG@J_\oMgFcCw@r?v?eoR?FCBu@|?~__OOWGSFcAL@G_boQgH[Ce@~?|_^OOWGSCACWAE`CO`wPSGmCRAE@?Oa?N{G[CBAI@@O_oP[GOCR@~@@O`?OKGKC@@{?zO^_M{F_Bz@r?yO[oMkFOBjAD?gO`OIKGSA^@W?}OU_NsDcBz@l@BOZoPCEwCN@o@Co[_P[FCCT@x?tO]oLcFgBV@g_roYWKSEEBF@e_qOXWN?DyB?@u_n_\wNGDmBu@\_|?VGIODUAg@U_j_SwXoAy@`?n_VoJgECBE@f?q_WoKgE[Ae@P?i_ToJWDcFUBh@r_hOTGI[DUAl@V_ioTwIsC}Ab@O_kOUWJSE]BR@g`{?{_\KNKFVBs@tOx_[[M_FJBf@qOx_XcM_EZBf@doy_XkMkEVBh@eOq?[KKgF@BH@pOto\{NCErBW@wOsO[CLKFBBQ@pOpOYcK[ElBE@iopOY{KWErBF@kOvOXsL?E~B]@fos_ZkLCE~BR@nOt?XsLSE^BO@jOz?SKMsDFBm@PO{_V{NOEBBr@_Ok?\cJGFZAp@vOhwTKIaDTAk`Toq?RsKgD@BH@Noeo\{NCCxA\@wOo_RCHcEFAY@aOdOWSHWEHAV@`oc_ZSLoChBZ@Hobo[[H?FJAP@qOb?ZSGwExBZ@Eon?U[JwDjA|@YOjOVKJkD\An@\Oh?VCIWDlAd@ZpTOCSAQ@F?a_QOGwCkA]@L?e_RoHWHcCyAZ?w_[oLwFKBa@n?z_\ONGFSBq@vAp`XOkGPcGyCZAN`GocGn_UCJPDbAspW_k{UgIfDkAhPT?l[U{IfDSAupZ_iSS{JJDeAgpX?iCTCJRDNArpS?lCUCIXDbAfPW_hkScIvDIAmpQojcScJ@DIAnPVoh[TaItDXakpUGjSTSJfDtAjpT_mcNyF~C?abPQGg{SSJLDBAqpX?gcSEIDD?ai`NWfwT]H{DUaQ`[wmgQ]HKDsaS@\wdOVaHQDuau`GglwQQJ[Cbat@Fwl_QEJUC_ax@FGboVAGyDpao@EWjwPmGsD]aB`Uw`?TuGQD[a@p?W_SVWFvB{A{O~Om{V?FpDq@|P[O^KSsFnDK@yo|_hsROHtCuA]PLOf[RcHbCrAZpM?eSQwG`CQAWPJoaKPKGZCTAFpD?`sQkGXCIAUpAodcPWGLCWAAPDo_k]SIXDLafOJgD{BA@R?g_TOIGDSAe@V?l_UOIwDkAqBl@w_zoSgIcDMA`@P_foUGJSDeAv@\_mO|W]{NYOLGFcCPxP?s][OPFeCBpwo}S]ONfFpBpP|?{S]ONlFbBypyo{K\{NXF_Bupz_z{^?NBFnBoP{Ozc^KM|FqBmpuO|C\kNTFYBsp|?ys\_NlFtBjpso}{^cMjFSB{Pz_yC^?MbFnBhPrO~S[{NxFMB|pqgxc[mL{G?b_A?gvw_ELuFgb]`ygv_]eLqF}b\@~wv?^uNsEtbZ`~G~WZYLcF~b~@lG~gZMLbEnbWPjGtsYuLQFjbT`zWtO]qLOGBcA`hh?_Y]LEFvb{`hWs_^aO?E_bPA?gsG_EK\EObFpcWq[XIKUGCbEa?wp__UKPEHbDP`go{WUJ~E@b?P_wocWINMD|br@^g{gVqMGE\bb@fwwgXyMMF@b``qWwO[aKoEYbJ`fGrGXmJuESbJ@]gnGXU@D?c_PoogWcKMEJBF`bOqGXSKeJvDxa|Q^`Bk`kS@G[C~q\@M{fKRlHqCyqRhICc}QTHGccq\PGkc[RnHECzQI`NCaoRtGjC{qHpNCacRtGgC{q]pCcaWRxGdC}qGPN[fsPFGaC}Q^`Bsg?P@H~CNqDXA{`YOpGYcKqBxAK`AOdGScHq_`@kgKOXI@CFQAPO[gGOVI@CDQU`KsdoRPHfClqVPH[d{QZH]CeQO`L{cORbHBCwQYPF{ekQBHiC_QNPKcbwRJG{CpqW@FKbkRDH`C\QZ@EsewPpHlCZqKpIcdSPjGsCjQK@IKbGQfGpChQUPDsd[P^HWCUqnXV{jyTtI{d\qo@WskGUPJ@Dbql@TsjWT`ItDVq`@TCigSLIhDAqfpXKkkTBJIDOQipRchwTZIkDMqlpRKj_StIxDLqd`Skh_TNIVDRQcpW[hSUJISDaQg`QCiOSbIbDHQrpP{gsU`IMDgqa`XcgoU\IJDeqk`O{gcTfIGDWorWXcKmK~E\bNPoWwS[MKhEUbIpdwrCXeJrDza|RBP_so[WVKKEAr@p`SoWWPKDECr?p^coOV|KAD}q~`^{oCVxJ|E?R?`ZCoKUtKCDkq|h^Cn]VjJrdyQup`[osUzKKDmQtp`SlSWRJUECQs`_CoCUhJRD~q}p]SngV`JxDwqzP\SmoV^JjDvQx@[{mWVRJdDsQwPZsm?VFJaDnrN_h[SeITDPagPRwi[TQIdBu`yo|xKceURFH_cpQWXJkdyQ~HZcmQUhIcdUQlHQchqSXD{ayPZGHcDqAhgwuAYOL^ecbWXgwtuY{LHemBQHg_suY]LDefBPhggsqYGLJebBQhgWtMYiL@eiBOhi?sEYELQegbOhjGryYsL?elbNxfwtYY?LWe^BTxbOsiWwLKeLbQxegtYXmLWeZBTxi?rIYcKsegbKxdwsuY]KpefBKHjwqqXYL`eVBWHd[qeXTKeeSRHxcgtMXELTeQBTHcOtqY{K_embGXjWpuYqK^elBFhawrmWqK|eKBNHfgpYXuKTe]BDHf?pEXsKRe[bChf?o}XsKOe[bBhu?\}NBF_bppxG{SimTZIkdSQihTKiUTNIedPQhHS[zK\rMtF\rl@vSzS\lMrF[Rl@u{{?\`MqF_rkPv{zo\`MqF^RkPvkxY[nMTfIRchq[w_]@MEF_r`pv{zo[FMDF^RnPoczW[@MwF@RlpoKvs\rL~F\r^`vSysZrLwFVr\ptsvO\ZLtFVr\`tsvC\TLrFUR[`t[ykZ\LoFURZptSycZZMgEtrhplcy[ZPMhEtRi@lKuS\HMeErRXpskuG\HLbFQrX@ssvg[vL{FMr]prcyG[^MPFPrc@sKxw[XM_FErfppswc[pMJFLRa`rL?g_DOBg?r~i?C~}]UOFgCbrXx`?a]OOFgCbqhxH?a_GNDfbc@i?g{Y]CODfaC@i?_{M^WNwfub}h|o~e^QNzftb~X|O~q^ENMfqbsH{_{}]yNafnbwXzo}A]sNefsBvHzW}]]mNnfkb{Xz?~A]gNtfjB|xyg~Y^eNRfhB|HyG~IXpKye[rMxfkrq`qO]g[CFIEx@u`fOpgXSGiCdAM`?OsgZCGYBxBU_YOsgZCByEh?y_SOxgZcBI@XBa_qOdgLcHyBPAY_kOggTCEIAxAe`[ORgIcKIA`A}`UOOgUcCiD`@E\HMefQrhxtKya\TMkfTrjXt{yy`sPZg\cVIF`DuauPTgjcVYIpDqaoPQgkcTIJPDMa]P]ggcWII@D}bAPLgpCRiH`EMaRPJgdSPiHDC]aEP]gacWIG`D}a?P`g`CWyGHEIaoO|glCNyJHBy_HOEgAs@y@L?ab~Q@h?S^INlFycCPohAC[iOXFEcCPlhACZyOXEycIPiguC`yOpEmcIPfhBCYIOxEebqPug{C]yMxFibGPrgrC\YKhFQcyQVhKcfyR@HycOQShDCdYPHHYcsQPhMCcyRXHIc[QJhEccIPxGqdKQhhSCiySxIidEQ_hQcgiS`IE@h?u_YoZgL{EuB`@p_xPHWcsQ]HPChaTQOhGccMQBG~c_QtXY{lYUdJSdhrbHpswu[VMHfDSBY@|?y_TOKgDs\iNDF]bfPtgySvAYtLwepR\HjssqZLLkejRYHiSsQY|LGepROHjSsqXlK{ehRTHfSsQXdLGeTROHdsqAXlK{eRRFHfSpaXdKSeTRCHdsqAWTKceFRFH_spAWDKWd|RDH^smqWLJoeFQ|H`SnaVDJge@QxH^snQUtJkdnQ{HYskaVDJgdhQxHXskaUlJOdnQrHZSjAZLIwevRYHUsjqZdJCe|QoHmtEoA{@Y?p?X_LOEwBc@y?z?^_OOGWG[CUAHAw`ZolgUkJMDhEebSPhwsCYILBIMdFqbXPSgqSVK`ePRGHbkpyW~NMffrsHy[|I]bP?g_sOiFlBy`~QGhDSaYP\GucXTJIfTRAiDSsi^TGIgtSqhTScidTLIbTQqg|SoiJTGI`TQagdSciFS~IaTOQgTS?iFS{IbtNaglRsiLS~I[tOAf\SChtS}IZTNQfDR[hxSrI[tLQf\ROhtSuIWtKafDR[h`SlIWTKad|QwhbSrITTLAddRShVSgIVtIQdtQ[hZShIUTHqdTQ_hVSciRTHYcdQYhJR^ILSwQbLM?gpSKIfTBaiDOsi^SHIgtSq`\OgidSGIOt@qc\OWhDS`IAtGq_dQGgFSTI?TDq_TPWgBSQH~TDA^|NsgfR{IItDa^TNkgnSQHztCq^DPOfrS]HyTGA]tP{fjRpILtFQ]\PofdS]HvS{AcDP{f^RjILtFQ\lPofXRgIFsyaaDPCfRRdIKsxqbTMWgpRaIFtCQ[dMKg`Uy?EOAw@S?u?^?Mjb?CGAK@ImW?R_IoDIxd[ymZVKjfTrYip[eigVJiidqiu`VylkU?i~dlYoHZQlkUBj@DlYx@VqmKT|jbd]yn@[YjsVGi{dpymh[MjmVCizDpYm`[ImATqixdoIwPU}mATpiwDoIwXUqmITmjaDZYlXZ}jQU}itDnYvPUYlwTgj\dXykhZujEU~iqDnikPZmjAU{ioDmiuxTui}UxinDmIjP[eiwVIildqyuxT]lqTXj[DUItpYal]UhjWDiitXYUlWUejUdhys`XylEU[jPDfYrHX}lAUZjODeiqxXAkoUQjJDcYphXMk]USjIdbipPZEkWUrjDdkio`W]kKUHjAdaJCpZQllUt_KODgA{@Y?p?V_KoEwBS@e?v?Y_MOFgBk@q?|?\kRELZD@bYpMWvkREMJFPa]pOWxkVeGzChbEpGWokXEGzChbQpGWrkTEGJDXaIpQW`kOEJJCPaypAWljkTuizL\mmzV[kIEMJFP`YoiWxkGeLZAXb]ocWukFEKjA@bMo]WskDeJJ@hayoWWlkVeAJEH_ip_WHkBeIj?hamoKWhjfeFYyH`}m_W]kMdsjBx\Qo{VRkJe?jBH_QoEWWj|D~I~X^ynqV|j~d|i~@_AoAVvjud{y|x^Un[VsjxDzI}H]in_VjjsdwY{P]anEVfjqDvi{h\}nKV_kLdtYyx`qosVU_DOBG@[?q?V?IlFeFZB|`y?Z?N_FOBW@{?y?`?Q_GoCgAC@Eg^SPiGTDIa\PIgjSUiJtEIbLPisoYNlLEcZRHhAsyYPlGEezPxhqscYKlIEbjQXgusiYKlJEbZQxgysQYBlDe`ZPPgQsOYHlBeazPPgYs?YflSe_jT@gEryYZlMe^zNphqsoXyk}EejRHfmsiXvlJe]ZQpfargYElCE\jOxfUraYQkxedJMPhMsEXmlAe[JO`e}s{XjlOEZZRxeqrJXfkrUYJLTeerCYflSeXJT@eMs{X^lOEWZRxeAqwY`knEgzJhiItGXXklehjShditAXUlPeTzSPdaqeYckiehjI`iUqNXHkcUQjHdcmqBXBk`UPJGtcUq_WzkhENZIHbqp{XLk_ERjFxc}lnUxj[ToIwT[EmFVDjaTqYx\[iwMY{l^FAZ`@juuaZ}m?EszYPn}u[Z}m?EsJXxn}uU[FlefAZX`oawGZGldF@jXHoUwAZDm@epj_Pk]wAZAm@epJ_PkMt}[Cl_f@jW@oUtlYwlZumzVLjit`YqlWukzUljQvuZhlte~Z\PnqvoZel|EyJ^Hm]viZblzExZ]xmQv?ZnlpE{Z[HnAvcZ\lne|J]XlyvWZYlvEvJ\hlmtSZVlUEuZTXlaugYnljEjjYhiuxy[ImEFNz`Xryxm[pm[fKzf@rIx[[smWFLjdxrUxA\Dm`fGJg`p}ww\?m`FFjbhsEwq[jmUfEzd`piwk[dmKFHjaxq]xO[RmTFDZdHpQxC[OmQFCjcXpEwY[ymFfNJ`prmzM?^_OoGGB{AE@@T}i~t_IoLWMkDXLkfURzIDdIqb\oMzV[bnDvCzn\rMuvZrmluwzh\oMtV[RldvGzV\fMuvZrlLuwzP\cMrvXblLuSzP\cMtVXblduSzV\rMeVRbmlsszh\HMzVQrnDsgzn\]MovWrkDt{zD\ZMbVVRhDtoyN\QMivTBi|tKyl\YMgVUBiLtcy^]eKOUGjCLaMpJWc_HoDWAc@M?j?SjftsYyD\ImhVRlyu|j]|nIvhZrlvu{Z]Dmqv\ZlliUtjYll]urZWncflzwxzU}O]unXFpJwpzQ|e^DnYfjzuHz]|_]unXFjJu`yy|e]ln\fiZvhym|w]inTFmjtHza|U]xnRFoZt@{M|M^AnRFnjt@{A|M]~nUFgzshyy|Y]cnPfjzshzE|_]cm{ffZnXxyzs]^nLFpJwpxq{u^DnbfdzxHxe}O]WnIFoZqp{M{i^An\fcZvhxM|w]Qn^Fbjq@{A{]]~nDfmJphzi{W]xnCVajpLwU{N]EnOF_jo`yI|A]BnMf^zrxwE{{]?m}FgJnpyIzy]`oKEaZP\gisXYLlFVIzdlqqxP[imSvHzctqUxD[cmPwGSB]AL?x_aOMwFcB]A@?z_^OMWECC}Ad?t_XOSWECCm@h@L_XOQV|CC}Ac~l^tOSWGR}L~L@F^qOPWFb|uA?~`_^NvvysCd}t@L^kOQvxZ{|}Y~D^bnqWDRz}@[~B_UNoVvCAl|x?n^\OJVucAU@K}v_SNkvtcAU@O}p_RNjvssAD|T?b^SOFwBbyD|H?X^POEvrSAD{|?b_NNfVqs@u?o}X^IOEw?C?]?H?J_@OAV~S?u?_~~^}OBwAR~U?k~x_IN|vyB}|}g~r^hN{W[cK]EVBH``opWWKEiE~Ba_roYG[KMIBBB]_qowGK[LaAvB[_nougJkDQErBY_koTgZkEqDF@o`RoZgSkHqEZA_`gofgX{HAEfAQ`iodGY{GiDRAk`EoigP{IyCJAq`CokGO{FyDjAA`[o_GU{FaDv@{`^o]gVkHYBfAY_zoeGMjrlx}{|]_nPVg[QEHJCbaMpEwb{RaGjCWa]pMga{OyH~COa_pCgg[MyH~Bia`ozGgKRaFJC{`spMg[{OIHfCEaZp@GekNqHZCoa?pJg^{OaFnCK`|pAg^KNAHNBsaTo{gdK@e?z?Z_OoGwB{AU@R?f_ToJWD{SQKFDGbApPgoKWYJvEIa~paGnkVQKZDwbGp\gp{WIJ^DqbAp[GoKXIJRDibJpdGlkUMJNDdampWWj{WqInDYbGpbgjKTAKfDSbJpSgqkWiIVEEaepaGh{LeEzBZ`noww[KXeKzEZbgpswx{\QLbEsbkpkgy{\QLVFWbVptgtkYQMzF]bSphgz[XyMvF]bPpgGzkZqMFE}bbpoGwk[aLnFKb\pqgvK^aOJF{cCp}h?{]ANfFubqp|G{[_iNZGMbwqBG|{]iOFFeb~pyH?KaIObGecIqHHA[`YOzG_cLqEHBzkduUzL_?o@W?Z~|~u~|`tozw\kMUFRBfb]poWv{Z]LvExceQUXICduQ\HZciQPxIscmQdHHceQOxICcUQ\H@c^QQxFScePxHFcZQPXFCcEQDGtc[QNXEsb}PtGtchQIXDSd]QhGlckQJxJcbMQtGpdLNPvhJsk?a?R?FobWP{GmCJAH`BpPWhKS]IVDNaepwW{k]MNVFhbrqpHVKjqURIydbqnhU[kITnJ?dYqjHU[jATnImdYqmhTKjqTVIed[qjHR[iyS~IodMqihR[iYS~IgdMqbhJ{eISfIOcoqnhPKkISZJ?dDq_hWkgYURICdbq^HSKiQSBH}dPqhHN[faTBHudPqdHMKhaRjIUcxqbhL[hIR^IOcuqYHQ{eQSrHedIrI_@G?s?VJgeTqzHd{miXZKidprJH[kmYX^J[eQrIH[KlyXNJUeNquhc[laXBJOeNqtHc[lIXBKgddrHHX{kqXNKQeBrDh`[pQWRKAeGr@H`koAW^KWd|q~hbknqWvJmdyq{h^KnAVnLq?F_CoAG?{?e?PeuR[xmCv]Z\LtewR^XlsvmZXLxelR]XjsvuYxLzeiR[xjCv]YlLteoRRxkctMZDLPecRXxlSsuYTLheXRNXgCrEX|Kte`RLxgsrmYHKxfYQbxQ[hESnIXdI_AO@g?k?Q?J?Eroht{{Q\bMqf_rphu[yy]VMofcrdhv[xi\~MWf]rphtKyq]VNGfTrpHs[{I\NMcf_rfHukyA\rM]fZrlHqKza[jMufHrbHvkwy\~MIf\r^xo[wE[NMDfCrFxc[qEXRKdeRruI@{|i_bN[gHsAH|[}y_ZOIfurxIAL@I^ROMfrsAHz|?q^FOIforsXx{{u]fNVfis@h~[~a_FOCfzr{H~k~Q_BNqf~sMIAlBq_rOygJsKiC|BY`VOsgSsKIClAI`ZO_gVsEiF|@yaFO[g_sSIGlCaajPEghsQiI|CyavPKgkrZxmKuu_NODg@r~Y?K~}bpPhgySZYMtEmbXPngxSYYLTFEaxPngxSVyKDFEbhPbg{SXyMtEUcpMrfWrjyE\B]`jOpgVsJYTDHedHQ\hRSeySDHudDQZhNSeYNdHUb|QVg|ScyRtGudDQPhOSbySdG]cTQhhCShyQdGEclQDhHS_yYdJQe^ROhWssiU\KydVRQhVssITlKIeRRKhbsqiWlJYdzQyh_smIV|MYejRihksyIY|MQevR_hnswiZlHUcnQRh{SzY^dNEftRnh|S{y]tNufpRthfssyYG?If|SJiF?@i_LOo?HSB?AT@I`\Ow?DSHiE?@i_~