CAT(2688,15)

Sparse6:

:~?i?_?O?G?C@??Y?F_E_AG@_?}?[?H_D?Bw@W?y?Z?N_FOFoBC@Y?n?V_KODgAK@I?f?S_IoCGDoAI@H?^_PoGGCK@c@J?Z?TOE_DKAW?x?f?NOFODCCWAF@A__OOWGkCQAN@E_coQwHCCiAX@M_foRWIKDAA{@T_hOSwIsD]Ah@t?roYGLCEaBN@f`F__WOkGICFAE`AO`GOSGMCBAE`Ao_GNkF}B|@{_|o`oOCFsCP@z@Boa?NsFoCPAF?~o[WMSFQBf@n_wOYOOKEsCHAD?tO`_L[EwCDAB?uO\gMkFiBr@w_zou_KcEQBL@e_qoXWJ[DqAz@W_lOUWJ{EABB@]_poWgNKFUBt@u_{O\w`OJuD|A~`]OoGWKJiDrAx`\omgV[JuE@A}`^ooWVcK}E\BO`hOswYKMsEpBk@koto\sL[F^Bp@kou?]CMmFLBf`sOyg\KMWF\Bp@toxo\cMgF`Bg@voyO\kMAFBBc`poxW[SMAFBBb`pOxW[cLKEhBT@fOsOYsLSE^BO@jOs_YcLoERBI@lOq?Z{LkEVB\@eov_XcHMCbAN`HOdGQCHiClAV`KOeWQkKSDhBE@ZOpOVCK[DjBF@Zop_U[KGDZBA@VOk_WcJCEHAo@`ojoW[K_DBBH@POq_S[IOEVAe@eohOXcGwEzB]@EOvoPKLkCTAJ@lOv?PkHoDRA\@TohoRsI_D@AZ@TOfoTcZw@v?y_]ONWF{By@t?|_\oNGF{By@^?o_VOKWE[BI@h?u_ZoMWEkBa@V?l_UOQWGsCiAN@J_cOpgWkK]EhBT`jOuWZCL]C`AS`GocgP{HMCjAU`JoegRKHaDfAs`ZOmGUkJ]DTAg`ToiWS{IqCxAZ`NOfWSCH}CTAJ`CobGPsGuPKG_cQQGXCSaUPFGHC@QA@?[_WO@GFC?q@P@[_OOTFqbvP{w}C]}NbFlCQQG?|c]_PBFiCPQHO|[]cPFFfB}p}_{k^kNLFeB~PxO~{^oNNF^bopvw{K]AN@FYbkpvGzk\yMvFXbmPvgz[\uMtEwb[pmwvkZqLtGNAzp]@@sVWO`DuCGp\pA[V_OdEYCEPep@kXwOZE^CEpf@@cXsOXE`CKPg`BKYKOjEcCIPhPAs`[L@EoCNPj@B[ZCO~ElCMqE_t{YwOxG[BZPlpB{`kLfGYBYQFOuk`wLdEqCOQHOu[aCLhGaBYplpCcaKLlGGBTPhp@SYWOREgCDq@_tK_[LVE`BsPg_|KYKNTEcBtphO|k]oL@FsBjPu?~K^SMlFWBzP|oy{\[NpFOCHpsP@s`CMdGOBhqC_yk_{MhFEbaPpWxK[aMNGVB_pn`As`OL~F?CKPopBK[GOjG[BbQE_wc`kMNFDCMqFoxK`wMPFBBzP|?vsZ{NnFxB_po_~C^SM@ELBKpd?pSXWKREGBIpb?q{WkKpEMBIpdop{XWKdEXBHpe?qCXCKhEBBLP`_rsWOKvEDBMP__r{W[KzEMBdPbox[X?MXFLBGproq[[wKdEeBdPhox[Y_MXFLBSprot[[wLTCWC@PD`?[_SGvCXC?PDp?K_OGtFzAEP}_`[^oGZF|AFpA_~{^wG\FmAGPD?}[PGN^FoAGpDO}KPKNdDiCIPZpBCUoOnDjCIpZPBKUwOlEAAqP_okkWOJLEDArp`olKWWJPEKAopW?pCWsJFD^BCpV_pSWkJDDNaePRghkTEI`FOAMPF_yKP{MdC_BhpGOykPsMhEzAaPO?vKZ_IBDBB]pm_gkSGLxGOA\QBofc`CHvC}CHpNp@s`GHzCrBqPJ_{SQ{NDFcAXPwoeC]KHbD{ARpG_nkQOJ|E?AQpH_n{WCHFCHaAP@W_sO]GPDxA@o~_nKOCJtB~A|P??n[OGJvBwA}O}_n{NsJzB{A~P_O^[W?FrBqBWPj_]{YsFlEn@yo{ouKYoFhDtAlpU_mKT_J`DXAxPVOm[ToJhDTAbPQ_i{S[IfDQAcPQoisScIhCgAYPIOekQkHlCkAZpJOfKQgHp?F_CoAg@C?q?VLK?BoAG@K?q?T?Jek?EWBS@q?|?\_LoFGBK@y?v?Y_MoHwCkAi@L?h_SOFwCCAE@D?c_Pp]Gm{VYJxD|a~P^woCWEKFEDbBp_gosWQKhETbJPeGq{XeK^EQbFPcwqKXALREibRPhwt[YaL`EkbUpjwuKYyLjEsbZPlwuSZMLvEwb[pnGvkZiAB@A_`oPGGCCUAZ@K_goRgH{DAAp@X_lOVWJ[DqAv@W_koUgJkDqA|@^_oOWWK[EIBR@j_tOZGLsEuBb@q_xo\GMCE}GZCKaDpBw`SOyGhCPaIpCGa[PIGrCUaJpEgb[PaIZDOafPRwiKSqIdDUaiPSwi{TUGxC`aNPFwcCPuHhCxaYpLgfCR]HtCza]PNWf{RyHPChaUpIgdcQmFdBr`yO|W]{NYFrBy`{O~G^kNmF|C?`~p?W_[OIF~B}a?P?W_[OIGLCFaCp@G_kOa`qOtgXsLyEdBa`lOAGWs?QDlAw^zN}GVs?AES~{``NpGYSLP}S~W`pNrGZr|AEs~S`fN_GVRwQEC|{`bNaGXSJp{dAs^FN\GRruaDDAo]rNZGSsI`ztAk]xNUfkRtXyc|M]nOTF\rnABSz{_pM|GJRoABKzw_nMvGMRmaBl@{\lMtGLsG@vCzc_|MtF\rn@uszs\pN?F[rnpvSzw\nMhF_ri`wSyw]LMlF`rj@wcyk]JNxFJrf@~Sxk^pNvFKR~@rS~k[rMVFPre@scxc\JMeFLRf@tCxk\NNHFHrppqk{_[lMPFdrd@xcxG]TMDF_r``wSw[]FMGFaRa`wswc]JL}FFrc@nKvg[VL|FFR^@pcvk[ZOwExsLPmdB[ZjLuGYR]AE\BWZnLoGPR[aC[vC`BLqGQR[QCsv?`JLiFerYpxsuo]^LlFgRZ`yKu{]dLeGMRXACCuc_zLfGLrYABt@{ZJLcGCsA`k{uS_VOKEsrXa@su__ZOXEosD`jt@SY~OVEpsE@kT@gZ@OHEnSA`j|?kZ@OMEpsBPkL?oZDNpEkRUP}[tg^hLZFzRVP}S~SYxNjEmrUp|ktc^XL[FvR{@jCtg^^OiEjrSaC|AoYjLSGSsIpistK`PLKF}RSP~Ssw^vLNFzr}Phkt?^pNXEeRu`hksw]vN]EgRRpzc|sYbNREbRt@g{|SYPLHFkRt`h[|[YTNFE_rq@gCsO]TNHE`RPPxcsK]VMJE_ROppcwsYDL@FFrc@gksO[\H`FeqV@yK|GQzH]FgQVpx{e?]\K[FqrFP{s}_W|K^Frry`cK}cX@KZeJRDxbCpiWrKMG@s@@`So{_NODEDrBA@Cos_LKFeAR@X_soeWPKAGPSGp^tACV~OdE?R?qCsoC`HJxEbQ}@hCnkYTJyEdq~@hKs[VzJqE{r]`][vkVhL{Dyq|pnsnWZzJkFtqzP|kmw^\JnFuQ{P}Cn?^^JeGFqxqACm__bJiGHqyqAcmc_dMqDpqw@t{mC\`MpDpRl@[czKVJJYE~qvPo[w?UxJZF?qvpocwGU|JTdjqthZCleUhJMExr\@Y[lGZpJPEzqrpmkl?ZlOcDbsGPWTAGUFObDaQpaCskS`JNaDSRvpSc}?TJN`DRQiP{c}KTNI]G@qfq?ci?_JI`GBQgq@CiG_NIWE~r_@RShc[DIZFAR_pRkwCSxIUFYRkpQ{hK\^ISFWRk`QSzCSjM\DERfpQCxwSZM_DFRg`QKyCS^HlFURiPLcek\THgFTqY`tsec\ZOODBSC`O{g__fOSDCqaq@{gg_bI?dAq_XOSgQSFHrFOq[`sCxwR\M^Cvrg`MKxsR`HsGRq\QDCfW`ROiCzsIpNLAoRpH|FIRd`Ncf{[fH}FHRdPNSxCRvHUEtQTpl[d_ZXHXEurZpJ[dgZ\OlCgQSQDsdK``HSGXQSaD{dS`bHIEhRT@H{ckYjLRCeqR@i{cwYlMDCaqQ@o{wgQHHHFCQP`osc[[RNeC\QM@{kbs^TGzFrryPFK}_PxMgCXqK`s[bO\HGtFQrhpE{yWPlN}CRR~pDT?GPVGfG?QI@~l?CPRKmE\RJpf[r?XxKpE]rKpf{rGX|KsEURI`ekqkXlKhEZrMPdCqsXpKPD]qnpa[joWhJ@EGRDPVsk?WdIoDcQkPXKkgTdIsDdqlPXkkoTfKaDTQipccioXJIlERRHpT{qKT\IuC^QlpF{j_Q@HAD\qmPG[cCTtHaCUQWpDke[P\HcCVqKPKkb?RLLEedrQHg{siYRLVehRThictMYj?y_\oNWFcB}@|?D_BO@W?k?Y?L?n_WOKWESBM@\?j_UOJWDkAm@X@R_jOSgIcD]AjA|`]OoGVsKED~Ax`\OmwWSKQEFBR`fOsGYKLIE^AH`DObGP[GyCZKXeJrEHaspmWtJrdyQ|X]Sn]VlIWdLqfHRSheSzHIcdqRHHkc}Q\HOchQSxIkdEQhHCcaqPhHCceQNGrcYQLXE{bYPdXTKNeLzFXaMpsW`k]EGJC`bapCWxkKeOzGp`qosXCkaeEzH@`yqMW\kAECz?p`]ogWAk@eEJ?h`UokW@j|d|Y~`^YnyVvj{D~i~P_AnqV~jweCy}P`Qn]WTjxeDi}@`angWVj{dzy~P^AnoVpjyD|y}P^YneVtjsERzI@]YqaVdkhDxy{XdQnGXRkGDvjA@\uoaV_kHDwY{P`EocV^kcczy\pcyf_XJhweQi]PcqfYXLjaEOIwXcImCW~k]dnzGH[AmAW}kadmzH@ZqqMU|j[eOyvPcQqKU}jWDyytx]ql[VijvDkith]enYUpjLeIyr`aqkyWljNEJis@bAp]U^jpdby{`XAnIUPjrDci|@XQnMURi}eRynxdEq_T}j@ETIo@dMkAXQinDvi{PTmiqV\ilDvyj`]En?T\iheKYi`bIiiWrijELIj@bYimWtkDdPigH_aoMTCi`EAYgX_qoSTDkRDJzChRQheWikRdKIePaepOSpkBdGz@@QQoQSdkDDHid@_qhMWJjudFibh]eg}ViiODyycH]qn[SaiGd}yaP^qgeV|iID~iap_AgiV~kXd@I^xbYpcSBkYd?i_@bQpaS@hseOi[xbufOW}huEOY\XcAfSW~hle?Z?pMAoER[hme?j?`L}oIR]hieFyYxaIpGRXhjEGIZ@aMesW`haEBYWX_uo[RDkFcpj@pKao]RFhFeRIPhcec_XJhHEQiPpcucaXMkZc_YOpbecGWwk\C_yOPbqpuQDkhcXzIHEQbIXNgpeSjI@EaqgPegoEJiJhampWP^goeJYKPbAp]P]kRCTYIpaipMPQkSCSZDHDQpIPRkKcRIHh`maUWYggEFiHp`uowPNkecQjHHCUaQXMkdCPjH`CaqUPFjIdgYqpYIkmUbjLDhirHYQkoUdj@daYpPWQkUUDjED`ippWakYUFjhDYIkx\YjSVTjgdXYlH\MjKVSjRdMyt@RqhyUhjUDOIfxYilUS}i[DqYeh[UhkVEiZdpyfH[imOSyiJdkyb@ZUgsUsjZDEYb`ZalmSZiED[Y`hVIg[TriyDBympPAjiSJjjc{yz@NQmqRtjlC|iz`NamuRvh|cny^pJyfwRAh]c}i^hKAeARxieclyhpJadqTNh\DSIV`TIduTPiBCki_xJMgOQsiDCliUHOUgQQthQdIYSpQidMSjhSDJITPQydQSlhccfyXPIAeUQ`heCgiS`KydERLhKcwYRXMIcwRbhLCxI[pHufIQ]ieCdIQpS]iOQTiccdyR@SmiSQRitc]yl`FqjYP|ivC^im@GAj]P~gydqyx`FYbsVNgzdrYN@\AbqVMgvd\yM@VabaTxi|C\IMPVqbeTzgudXIjxEej?PiiocYyLpUIbWTbgjc`yJXGmaqQGglCbIJ`GeaoQIhTcNyG@IuaAQkhVCOiU@CQd]PBhgCMiYHBqecO|g[ctIYXBye]Oza{p]wnSWaKXEJbEpaWpSX}KtEZbMPfgrkEQBL@d__OOwGkCQAB@A_|o^GNkFyC@@~_soYgLcEmBZ@m_vo[GMKFIBh@r`xO|w]cNYFjBr`}O}g^KNaFzBzaAP@g_{OUGRCGiwt[im\VQjlTtiZtMIfLRihlStiAt@i_|OagTSHh{s}i^\Nqf|R|gkSTyJTDmaxPXo?f{z}d~Y~n^tn{Vyr||}g~`^qNuVxr|l}_~b^hNvVqRttzG}X]oNfVqbt|zC}Z]rNdviBw\yc}H^GNUVibwl{W|Z^FNTv~bpdw[~r]JN|vaB~T~s{R]IN}V^R{dvk~J\{NrVwRoDvw~F\~NpVhRktuK|J]fMsVhrk|uO|L]eMqvlBkTts|l]uMovlBjtzSy~]tMoVUB|tt[~b\XNvvUb|ltk~`^qMmVnRiLtO}D]}MhVoRilz{yl^?MhvRby\|CyV\NNiVRRx||Gy`\KNgV~rhE??yN^~MdW?BgtsT?@^~McvmBgLr{|t]vM_VObvLzoyH]zM`v{rfL~Ox|[yNyvMr}tro~p^vM]vpbfDrK}F[vNcVLBwd{[xj[uNavJRz\|ox\^\MVvvbeD}?xd^^MWvqR`|{gw`^JMGvrBaT{wwh^LMHv?rx||OwP[CNgVsR_l|KwL^QMBvkB]LzCvdZrNVvkr]dnW|\ZtNXUyrylmo}lZmNjuzRzDn?}tZnNkvvb[T|svFZ^NluwR{D|ovHZ_NnurRu|lG|t]{LfUrrvDzku`ZPN[uoR~LkG~tZBN|upB~d~wuL^|Laumbtdjc|VYtNSUlbtTj[|Z]hL[VtbUT|[t^^WLWUlBzLjK}t^TLWufR|D}ctD^fLNUfr|TiC~XY_NtvnRN|zws@]~L?voBOT{GsH^@L@vwRLl}Gr\XqNqvwrL|f?~LXpNqU`RrLxgsLYFNLuaBrdgg{zYHNNVHbptqC{Z]PMQvbrcTqK{d]OMQVfralpW|@[XNQVDrsLpg|D[WNPu|r^ln_v|[@L}U}R^|oGvt[?L|uybnLm[zpZdMyv]b\DvWvRZeMzvcrV\xOtxZ?NJvdRVljw{pY~NJUiRb\igwxYjMMujbcDisw|YkMNudrY\lOspZTLKutbRTl_sxZVLLugrQLhGtHYRLQudbSti_shYTLRubblTgkzR\mLGUbBl\g{zXYLMuv[rN\fszhX{Mvu^bmDvCrt\qK{u[rW|fOuPZKKzuqRMlkgrpZJKzUXrZLe_utXhLluYbZdeku|XkLmuWRoLwSrJXaN@UWro\eW{L]CKqUUr`LdowT[JKmvBBJtowr@[LKnuTRc|dWxPXVMSvJBJLdgxVXWMTOqWXSKaEVBL`eQTxIsdeQtHZckQHhC{aiPVGgcSx?cbMNtGjc@QJw~cauO@Gtb~QKWjs`MJPGXaqQFWks`mJ@GVapQDWhCbEILGtaeQKxDSTEI\GladQJxCcP}GlG^aKQGWbca]H@GhaLQGwZs`uOhBd`lQDw[S`mExGR`oQEWYsa]PHBR`fQFxCCLEEpGbcSOtWxS]MMXFdbfPxwyC]eMdFjbiPzWuS]}LhFpb{Pmwus^MNhE|bzPmWmC]EJdF\ayPuWysUmM|DlblPZw_sPEGTB~aEP?W_cPUGPCRa@PBw]SW}FhEP`zPcw^CXUFxEX`|PdwUcWEDXD~`WP^WTSV]DdDx`VP]wScBeDD?z`NOKwFcI]@hAh`OOLw[sHMChBh`JOyw\cHeF`A\`vOewOsY]CPEh`DPiwPcYuC`Ep`FPjwfSFmHx@|_~PNwOCSEIHAD`@POwLsZ}B`F@_xPowMc[UBlFFbcO]WKS_]BHGHcDOXwLC_uBXGP_tQBwIsJ]AxA|_kOmWKCJ}E@@^_lOmwfCDEHl@NaXORWIcRUAdCnaWOQwjcC]@|DR__PTWGST]APDXalOPWCsWM@PEDbBOIwpCAuKT?nbEOKWdSAU?tCb_MPHWBsQ]@@ClaSOGw@sXm?`E\_HPfwAcYE?pEd_JPgw?SKuED?D`aOAWWs?]ET?L`cOAo@G?c?QL@E`bPPgwskYQ`rOyg\sNIFlBz?B_BoAW@[?u?JM?err_hk[wQZJMGeqrahk{wYZFKYesrYhbkuqW~LmeOr[hckvAXFIie}qhHn{iqZnLsdPqhhn[iaZrISewrZHQ[hAZfLmdDrYhPkgyZRH{fDr_HM[wIRjMGczq]Ho{fi[JHMeyqSHm{dIZrHSe|qUHn{dYZzK}edrOHhksIY^LCegrTHhKsYYfLUe]rUHe[tiXjL[eZrWHfKtyXvJQeRrIHYkqiUnKkdkrKHZkqyUvH}dbq_HXKgIUVICdeqsHPKgYU^IydzqnH^KjyVvJ{d_r?HWknyUFIUdnqeH[KhiVFI[dqqyHSKmYS~HedtqYH\keiV^Hkdwq[H]keyVfImclqkHJkjIQ~IscoqXHVKeITnKKcdr?hG[oQQJKEcbqRH`KoiQRGueFqMHaKpIPvKSc]rEHGKpYP~NWgUsKhy{|i`VOgfisKHz{|q`^O{f}sLH~LBY^vOwf~sNi?\Bi_BN_fur{h|K~Y^NNofprzh|[~Q^JO[f]rpIC|@y\~O_f_rpiC[{I`JMwgKrkIAKzI_fMsgIsEhv[zY_nOCfQs@hs|?a\RMkgDrji@|?q\VMWg_reiG[xqaJPEfNsQhs\Ca\BNGfFrqhqK{q[ZNMfHrdhy[|A[jQehIsgiR\HydVQ_hKsiIRlIQcnQOgjsaIHlHIafQIgfsbIIlGyabPcg}sXiN|EacBPih@sZiO|EqcJPWgwsVIM|FIavPsgpsWIN\DybrQkhasjiW|JAeRRIhXsliX|JQeZQwhgsmiY\JqejQ}hjsoiZ\KAeq?AhsSvO?dMie~R_?ASzY[O?If^Re?BS{y[_?Yfb