CAT(2688,18)

Sparse6:

:~?i?_?O?G?C@G?`?N_GoCgAc@Q?f?R_HODWAs@]?p?Y_KoFGBk@m?|?__NoI_C{A]@P?h_SoIGC[AQ@B?a_ROHWFGAq@Z?n_VOIwDSBA@j?q_WoLGE[DgAP@I_coQwHkCqBK@V_kOUWIkDYAh@P?noRoJSD?Az@M?mOUoI[DGA|@w?yO[wMkFYBn@q_yo\gMcFMBn@q_qOWGKkEIBB@b_woZwLcEuB\@o_sOXgLKEmBN@i_dOQwHCCqAZ@H`W?ewQsH]CrAY`KO`WO{GaCRAE`AOf?OCHoCBAB@MofOOSHsB|A[?~o]?QsFgCn@z@KOeONcFcCvAY?}oc?PSHCCVAM@IOc_PcHKCZAN@Iot?GkCYAL@F_boPWFKBi@v?}_]oNGGCCEAH?~_`OOwEsBa@n@U_ioUGIcDeAnBt@vOyW\SMmFXBl`novWZcLmE|BY`lovGZkLyEtB^`o_zG\OMAFQBc`u_ww\WMIF[Bd`kOtGYkLYErBV`iOtgYkLeEnBW`g_xWYOMIFEBM`h_wGY?MQFABN`TOiwTcI}DZAm`Q?xw[oIUFKAe`s?iW\?IaFMAf`cOrGX[KeEZBI`bOpwWSKMEHBD`]_rgYGJyE_A~`h?oWW?K}DwBR`WOkWUSJMDjAs`N?lgVWIEDsAa`O?lwV?IMC}Axai_BG@s?q?\?L_EofgR{IADBAb`POhwScIUDLAh`SOigTcIyD^Aj`UojGTSIuDVAn`VPXGkKUIJJDeappXGk[UYJDDdaopZOh{UwIdDoAgPT?l{VGIfDpAgpUWjCTiIjDVajPTgikTiInDWako~OlsNoJZB}Avo~omKO?JdDo@|pQO_sSkGJDKA@PR__[SgGHDLA?pPwg[SQIJDEacPLoj[R_IxD^A]PMOjkU?HtCzAnPY_eKUkHdCuAsPL?lKRKJNCtAuPIwdcQuH\CoaVpY?c{QcJVDfARPI_lKUoHJCgAtPG?j[QGIxC^AmpGojsT{HBD_AQPEWbSPqGvC]aMpCwasPQGnCWaIpB_iKOsI^DOAGPBoiSPGIhCPAhpB?hsO[IRCGAdPAOh[SoGVCIAeo|G][M}F`Bq`wo|OfkRwFlDA@|PNo^CS?FnD@@{q@_?{?a?N?G_CO@xAO?i?R?I_CoAw@[?e?V?IacpQghkSmIXDMafpSGiKTIIhDR_FoBwAC@E?b?O_IoDgA{@e?t?W_[oMwFSBy@z?{_^oOwGCCQAB@A_ZOLgE{Ba@n?w_hoRgICDEAd@N_hORgICDEA^@R_koTGIkDaAl@V_lOUwJ{DyAx@\`FObwPcGmCZAI`~o}w^cNuG@B}a]pOggCSEH|C~aWpKge[RQHjCuaNpGgcKQAHHCbaHpDGakPYGpCV`{O|g^SNUFnBx`vo{G]KNIFhBrdKa`HOSgESJIEd@qd`LchKRRHiDKQdPL[hOR\IVCuqYPOSegSBHjD@qZ@OcesSLHmDAqXpPKggRFHgDBqb@Ksg_RHIJCqqVxKCeERDH]cmqdpKKhWR@H\DKQcpJshSRDISCnqUHJcdeQnHYclqSpN[dGRxH|CiQ^`IkdCS@H~CjQRHHkcyQVHOcfqTpGkcWQpHFCkqQ@JScgQvH[CcqNxGCcEQDHCc`qZpFKfOP|HoC\QMpMKfGPzG{CxqKxEkbaPhGvcZQJPQKgsP\IMCVqK@P{bCS`GqDHQQpDkcsP^GpCeQJ`H{bGQ`GoCfQFPDKa_O|GZCTqF@C{a?PXG^CTQEHBC`eOtGXcLQBx@c_uO\GOcGqChA[`QOnGTcJQe@?ChKOBISC@QdP?[_SSnGCDJQaO~k^{SNIIB~Qa?~{^sSXIJB~P|pN[^gRxI?B{Q^O~cfwNvFxC~q\O}cf[NhFtC{p|PNSf_NlHuBzQ\O}{fWNpF{C|P}pM{^cRpFyC{q@`L{fKOPGHCwQ\@@S_kRbHqCBqC`FKbkOjG}CHqN@AsbsOnGSC\P{PE{]wPfFnCYP{pFC^GPjFoCZQG?|c`kNRG[BsQFO|S`wNZG^Btpd`Dca[KbGgBHQIoqkagKfGhBIPx@PkgwNDFbDFpvpQC]?SdF`DGpuwzS\uMxFXbnPu?{k]SMfFfBjpxoyc]WMjFeBjPrPPk[wS\FNDFps@QC\GSbFPDHPqww{[qMTFGbcqNowK[GQ@FBC_pp@GS[WQHFDC`qY?wCZkRFE{CqPnPKke[L|E~CrQ@OvS_?LjExC?q?_usZ_OFEvCAPjo|kZ?NPEpBspy_ucZGNVErBuPjPCKYcPDEiCPpipCcaWL\EkCQphgs[Y]LHEgbQq@_rsYGORGFBNqA?sCXsOVE`CDQPorKc_KvEVCdQP_rSccKxEWCapapCKWoPDELCPpb`CcaWK`GdBFpa@@cW[OZEHCFQBopS`CKJGOBBP`?}[]{J~FmB@P_?}CWCNbEBBxP^WncVmJ|Dxa|QSOmcVWQdDvChqT?m[VSQjDwCjRqo?s?U?J?E_Ao@g|K]aNTFkbupyw{k]]NLFnbxp{G|s^ENdFtbzP|G}{^aNtFxb}P}x?k_IO@G@c@q@H@{_uO\GKcGqCGB{@q?z?]_OOEwDcAu@^?m_ToIgY[K}E`BM`hOsWHCCeAZ@K_dOQwKKEABF@a_qOXWKCEIBJ@b_ooXGK{EmBL@g_soYgS[HyDBAa`NogGSsIQDJAg`SohwUsJ]DpAx`\omgUKJUDdAr`WOlGxC[iMNFHbePqwwS[EMLFCbapowt{ZALbEqbYPkwokWYKNEGbDPaWmcVMJpDtazP\wnKVqJtDza~P^YJhCUaHPBgbSQIG|B]`pOxg\sNIFTBS`VOuGVSJAEdA{`fOoGXSJQELAa`ROigRSHyCl@caROYGdSQqB\Co_xPMGNSRQBl@]_fOSgKSDiAlBC_NOqGCSAQEd?g`fOuGESLQ@[~SajPVFzsU@}tDW^tPYF{sUP~DCG^nNtG^r|aFtC?^rNyG]sOP~C~O_`ONFwr{AAL?s^dNnGHR{q@s}k_zNmGNRzABS}c_vNlGKryaBc}c^zO?Fur~`|[}g^vN~FuRz`~c|gaRN]GeruqHS|sa\PKFnsQpzc|w_`N^GFruqAS|s_ZNYGGsB`zc|K_fNSGJSD@yk|G_nOWFgsDPys{k^FNcFgRy@x{{o^JNMFrrrP{tAk]JNGGUSJPws{[`\NIGWRqQD{{o]DN@FfRnpx{{O]`N?FdrrPw[iK]HIaF_qfpv{i?]DIcF`qgPwC}?\ZN`FVRwPt{}G\`MqFpRkP{Cy[_DMgG@ria?cyc_BMjGArjA?s|_\FMeFkRg`zK|[\JNXFQRtpsKxs]LNHFNrepw{{_[|NIFORf@wl?C[ROAFDS?pp\?O[XOEFFS@Ppkvk\rLwF\R]Pv[vo\|M|Ezr]`vd?cZZLnGERYq?{uo_POIEvR[A@[~wZFL^F|rW@~c~{ZBLcG?RW`~ktc]bLYFjRs`j[|OYxNTEnRspjlDgYpLRGisT`idDcYnPVEjSU@ikzcYBLDF^RO`v[sK\xM|EbRP@vTCKXjPCEZSPPe{r_aLKyGbrMQHDDGXXPNESsS@dTDCXVKmGhrJQIcps`zK]G^RFqF|CCXBKaG`SO@cCpo`RKZGRrDqCkpc`POiELREACspC^^KQFwR|@akpK^bKUFxR{pacoo`tOvEGSMP`[os`pKMG\rBqFcoUWLKHeBrAh`CnyVrJ|d|Q~H^[nW\fJwFYRl`][n[\pMtDyrlp]cmsa^JmGgQ{QISm{abJqGiQ{AI[lSavJVGmQuAJclgavJUGmQuQJ\AKUhO^DfsG@YDACUbOcDhSG`Y[}KT|I~FqQo@{s}STzNgD`QoP{{zKTnMsD[Rl`VSjc\pMtD]RlpV\@{TJO_DSSGpS{ig`HO`DRQiQCSxS[^MOFJRcPq{xG[pMSFLRcprKvC[HLqF@r``mcw[ZjMGEzR`Pm[swZzLNE~RS@n{tC[@LQF@R_Phkq{V~KAEXr?pecoOX`K@EWrK`_Cq[UvKeDnRGpZcqOUzJ_ESRHPZ{uSURJIErQqpk{koZPJMEtQrPlKmOUPJbD`qwPW{kOVJJDDrQw`WsjCVPIqDsqkp\SjSVNJjDZQl@\cj?YTIlEeQiph[ioYRLFDVqj`hCrkSvK{DMRNPRkrwStIXE_Qf`f|Zo\rM|f^Rmhv[zq]BM~f`roHwS{Q]LNDfcRpxxS{eAJ@F_bOIWDCA]@B?e_POHWC[AQCHAD`BO`wPKGaC`AP`HOcwQkHQBr@w_|O]wNcFuB|@~`?O_WO[GIGBCDa@P@g_[OQHVCmaWPJGd{QuG\CNaGPCWaSOuF^Bo`wo{g]cNM\PMffSrihtcym[HMDf@r`xpCwYZBLcepRWHk[t}YZLMegRSXh{tIWHK?e?r?x^{oIVrJyd|q~H^snuVBJadpqxX[smQUjJVdkQuhZKlYURJLddqrHXSkyTzI}d_QoXWSj}TjIsdZQkhUKjMSrIYdLqfHRkhyqgW}KfUMbHdbkqZW{KfuSBF|dCpzWUKVUJrA|b?opWZKWuEbE\`cpdWYKSuERDDagonWZKTuDbDlaoopWdKGUHbAl`GpDWRKPuCRC|aOohWBKSUIQ~|^wpVWiK@U?RDl_?pXXEJxUPq}\c_nlXHJyUQq}|cgnjVeKDTxr@\]_oXViKEuBq|\_wnRV{JtT}Q|\^_nLVyJstxq~l^knPX?JiUOayl\cqHVVK_uPQzDcKmlVXKDuAayl_omlVVKEuBayd\_o^VNJxtsA}|[wnjVNJyTsA}t[wndVGKPtqRCTaSmTWfJduHAxl[opLVAJlTpqzt[OmvVBJntpQzl[WmxVcJ^tna{D]Sm@VaJ]twqvd[CnBUzjZtmIvLZYltWsJYuLQudbWljUrKZtkrFLZOppUpKVUJquLb?l`WpJWUKquTbGldUvKATlb?tZ_oPWDJ[tmr@LZgoNUlJuTzQtl]wl^VnJVTjq}LYwn`UZK_TfBGLXsqDU]K`tgBGlX{qHUNKYTcBElXCplUQKZuMAqdXKprW[I}t_bBl`wj|T~KNt_RCLW?p@VwIit}ajDT[nxTUJ|tTA~lTKnrWOIbtQBALScodTKKHtQbAlSkohXQIVuSqeLRGqfSrKhtLBITdGh`V@IVTJQv|QclxSkJ^TIawDQklzWyIPuMqcdbohJW|IRTIBF|Q[p|S[JvtDq|d]sgpVmIKt{QbT^?gvWBIEtAq~t^{g\W?IFtCB?TOooBSEJbtoa`T[KgJSFJaTAQwtO_mJR~Jgt?AyTOCmfSAJhtsQ_d\GgFRrJcS|AxL[sflRtJdS}Ax\[ofnRhJTSyatTYofXUjHrtjA\\YkfPVdH_snQ{D]Od|VaH^soA{L]KeDQpJSSkqs|JOlNQuJSslQtLJGlPXFHTuQQTlc_dXXEHWSjbH\I{qTW[HHuFQQd`wclW^HJseBCLa?cjQLJlSbaz\G{mxQOJmscaz|HCm|PwKBs\r?l_ObjWEGzS]b@LFcoPXPGsuRALTEsq\XLGtsZbH|Eoq`TjHctZAXTUseVTmHeT[AXtU{eZTvIqt]AktVcjNTyIsTYandUcjvT^J@tWqotU?kHTaJAtXApDUCkNU`IktgajTYKivUcImTVastYSizStIwtLamTR_jfTsI\T\afLVShnSQI_TCqfdPChvS~IITNQatRwgjR`HvSwa\|N?fFRpHqSxa]TMSfZUTHltdaZdX[ezUWHnTeQ[DL{ktRNIessAiLLCidRQIgStAhtLKi^QvH{smA^TJcfvQyH}SnA^tJkfzQdI_shag\I[iHQgIasiagtSGdRQ^JCtaaSDWkdBUKHPShAptIKkZQXIMseabtHkg~Q[IOSfQcTQCc|PzHis^AYtFsenP}HkSuaODF{erQFGxSZqPDFKcRPsHDS[APdFCcVPbH`spAKdKWbJRFGrSqALDKSbNP\H?sWQOTEGcFQCGnS`aJ|GSb@UfjStiItTYqlVUmjUtjyuDZIlbUrjYtlIutZ]lpUzj[tmg~k^yN~?K_FOBWESBM@`?p_YoLGMkFIBf@s_zO\wzK\yMvF[blPvWrkXyK~E_bPPgWqCW}KZEKbDpbielRYhnSwi\TMYNdFub~Q?g~S]yL|FMb`PpgyS[iKtEMbHPdgsSX{?H}e~V^knuvzj|U??}r^~NlVtr~\|k~x^[N~V~RzD|s|r^]N\Vmr{Lzw}~]{NpVnR{D~O|^]lNvvjR}Dyw~b^qNVV{rt|{GuLZHN`Uqbw\{KuPZFNaUqrwdxw}J^ENNvqbsT{[|@^GNPvqRsLz?{d]pNHvkRqdzG{n]qNJVkBqlvo~L\|NqVxrntv{~F\yNsV]r{l{ozD\bNevXrx\uO}^\dNgVXbxtt?~j\PNzVSb}|~_yj\SN|VSr~LsO|~\DN_VPbwLs[}@]~McvQBwLr_~^[xNwv{bfT~Oxv[|NwV{rfd|Cwt^QMLvsrbd|Owz^UMNvtRbtzswr[VN^VDBvLpS|t]zMKVDbvd|swb^`MHVwba\ow}~^]MFvwBaDzWwP]uMCvAru|os|p]wMDVBBu|~{v~^}L}v?R~]??v|[?N}V~R^d}cuX^iLevyrXt}sub^kLfusB|tjO~xYtN|v~bUt~{tn_?L[v~RVDi_}bYiNiuiRyT|KtXYjNjVtBTliC}^^JLMUfRxdhw}ZY_NgUfrxt{Wsr^HLLUdbwl{gsv^FLKVqBQ|ygs`]iLGucbt\hS|XYSNUUcrt\g{}vYINjuarzDgo}r^[LEubbzTeW|fXfNXuYBudec|j]sKtuYbul~WrB^vKpv|RKTe?~p^yKqv}RKddw~L^bKlUUr{ddo~J^gKnvxrJlxg{b]KNKVbRrLxk{\]NNMvcBrdtwyn\ZMovUBjdtcz@\YMnvVRitqWx|[fM^vIBgDqcyB\BMTVObd\vcx@[cMzvGRmtqSzh[bMyvGbnDnWxdZwMYvLr^Ln[xfZyMYU}retnSv\ZkLyUyb]DmkvbZnLxUzR]\oGu|Z^M@uwr_|m?wHZaMAuwR_tl_yTZXMduubhdssuv\NLmvRbZdlG|H]dLjutBstlS|NZUNSviBY\k?ttZ@L\uobVdkKtzY~LaunbWduwtD\nLPv[BSdvCtJ\rLRv[bStmOsHYDLsU`b\Lg[vJYHLruaB[tqor|[lK~vJrOLqwsDY?MWVKRO\f_zX\gK{vYRNTfozTX|MuvYrN\fGt\XrLVu\RULf[tdYrKzU\BUDwWrX]FKuvaBLtwcr^XpNDvabMDdW{F]CKiuTBoDd[{B]DKkuUBoSzM\hMtfZRmHu{o]WRKEeCRAh_lietPYilTujZTeHtGVcKPOxAcSEOdC|a^QEwgc`uPPB`cPOwwZSaUP@Bd`mQHwZs`}PTAx`\QKWWCbMP\A|cUOnwUsbUDTGj`UQJWTsa}D`Gp`YQKwUSbUOdAR`IQDWQs`]CpGX`MQFWRS`m@|G^cOOOXCsCUPD@BcSOQXCcC]NDFnbyPxw|c^ENpFhbzPxW|S^MMlGFbkQAX@S\mOXF\boQCWzs_}K\EfbTPeWqsYuKhEnbGPkWqSYeNtDjb}PZW~sU}J`G@ayQ@WmS_ML|DRb_PTWwST]MHDXbcPVWjS[]F|EZaCPgwrcOEGDE^aBPhW_cYEFd?r`yOLW]sB]Fp?x_]O~W^SBmGTBfaEOyW`sMmFXCT`wPCw\sPEH\BNaWOsWeSLMHhBT`kPMWYsR]EDD^`aPWWWsUMEPDd`ePYWXSU]C@C`aLO_wNSP]CHC^aMO^WNsPeBdCj_vPGwMCQUBhClaRO]WMsQeC|@b`OOXWSSE]BPAd_uOiWLSI]A|FTbdOTwxcDeM\@ZbhOWWyCDuAdDP_iPRWhsDEIT@NacOQwgsCu@PD|_RP\wDSVe@XDz_WP_WDsV}?tEB_MP`WosAEKP?bbDOFwpcAULd?N_GPlWvC@e?dEv_JPnWAcZm?DAF_AOaW?sGm?PAL`FOBW@SHC?Q?H?Ci\tNIgDRuh~S}gpSVyJlEEb@P]o@w@K?U?V?L_@r_Hk[wIZFMCeqr`hk{wiZJMGerr\Hh[vYYZLwefr]hiKtQZ~L{ehrZh`KvAWNLqeDrZH`koQZRLie@q~hm[nYZRLid{rZH^[oAZ^J{ewr\HM[vYRjLwczq]Hn{fqZzHye|qYhp[wIRZMEcwqXhokea[RM?cvq^he[gAXjIAeZq`HfKgaXzIEe\rNhc{qaYBKie`rJHgkrAYRKmebrTh`{taWbKQelrDHjkpaZBKUenqmh\[jqVZI}dvqoH]KkQVjJAdxqjhZ{jAVBIqdpqlH[kmaTrJedZqdhb[haWzIYeNqfHcKiAXJI]ePqUhP[dqSZIMcnqcHKKeQSjHadHqRhY[dAUjHQdjqTHZKdaUzHUdlqOhW{cQURHEddqQHXkcqUbHIdfqLhS[iQPrIec\qiHFkiqQBIic^sOHylCI]nNWgasPhz\Ci]~PGfmsAICL@y_ZOEgQs@IBl?i`FOMgRrzi?[~A^~O?fur{h~K~Y^zNsf|rqIDK{i`VNKgUrriD|BI]fOofgrkIEkzI`nMsg[rliF[zi`~Mwg]sCHsl@I\NOSfSsDht\@i\^MkgKreH{Kxi^FM[fqrfh{{yI^VM_fsrohqkwq\zMMf^rcHwKxY]NNCfHsSiRLHQanPOhLsfiHlDQczPMhJsgiOlIYcNQ_g}siIN|IQcBQih@saIKlGibNQQgusbILLGyb^QOgtsUIMLFIavP[gysViM|EIbvP_g{ssITlLId^RShWstiU\JYevQshksmIWlJieNQ{hcsqiV|KyeFRKh__?i\DLs?HRihnsw??tMufC?Ahvsx_?tNMfG?Chw