CAT(2616,1)

Sparse6:

:~?gw_?O?G?C?[?H?D_BOC?@k?y?^?M_FoBWB_@i?v?X_V?GGCK@}@B?^_OOF_B{AC?x?_?MoPOFsB}@z?}_]oNwGKCMAD@A_`oOWGOCQAE@C___PGFSBq@v?w?_OLoGCBcA@?z?^ON?F{Bg@z?j_UOJWDKAi@P?x?ROM?C{B[@J?a?XoH?EKAK@d?m?YOL_D{B?@j@t?JOEGA{Fw@x?z_\OEWB[@i@D?c_PoIwDkAq@F?a_QOKWE[BICkAD`BO`GOsGUCHAF`CoaGPCG]CRAI`EOawPWGuC[AI`F_bGOKGMCDAB@GOcOOKHGCD@t_zo\gNCFiBr@q_xo\GN[FuBx@|_|o^GLwGABa@}_w?^wN?FUBs@v_{_\gLoFAB]@k_u_[WH?EqB[@I_u_QWQ?EYCc@g`G_XwPwEQBIAL`F?WwKCEIBB@X@HOU?QCD[Cb@Y?~OV?N{DkC@@P?xO[oI[DGBh@]?toYOJ{DsBT@O?bOR_G{C{AJ@S?doROIsCoAjBl?xO\GM[EqB\@l_MOFgBkCUAN@E_coQgHCDuA|@^_pOWGKKOwGHCAa@p@g_{OUF~C@a?P?W_CN}FuCEaB_}W^OOUFkCDaB_}G]wOYFkBx`{?}w]wNiF`Bq`wozW\{MyFZBn`vOyg\cMmFTBk`to~?[{NwFRB|@sOy?]cMcFjBf@xogWSCH}FACA`p`@G[OOMFaB_`x?vgZwNAEuBc`r?vWZ_MUEcBr`i?|WYWNQFwBK`}_rg^oKuEQBc`d_xW[oKiE@BA`_om__cJoGFAzA@Oq?ZSKWErBF@kOkOX{LCDfBO@XOooTsKSD`An@aOl?YkJWEnAt@jOnOU{J{DrA}@[Oe_T[HkDZAX@UOf_SSIOCxA\@Poh_QsI[CpAd@Joi?Q[IgCjAh@IP^O[kMQFL?v_[oMGCkAY@N?d_RoHgECA}@\Au`YolGTCIiDRAc`POgwQcHMCjEcBMPewrkX_KjEVBKpd_rSX_KhEXBHPe_q[W}KbEObF``gqGWaK_EFbD``gp?WeKMEIb?@aWpWWIKAEIa~P^wnkVuJ~D}a}P]gn[V[KjEVA{pd_nCVWKZEMAyP\OpcWsJxEKA|Pb_n[WKJdEDAxp`?mKOoJ^CLAwPAolsOcJrDvADPA?nCWKJPECAspY_okW?JJE@Arp__ksUOJdDbAxpW_mKXkIxE\AnPf?jkXkIfDSBMPTOrkSOKdDEBIPPOq[X_IBEYA`peOgSRaHtCxaw@Kge_UyHeDnaM`\gmgP}G{DsaIPDgakPaGrCVad@PwhGSqIUDGa^@Vwg?UEH}D_ak`MwjORuIuC{at`JwlgREJWCoaY`JGewQyHkClaT@HWdGQQHUCbaO@Hgd?QEHCCfag@EgiOPqIaCZaj@Bwj?OyImCOaH`RWhwPEGcDMcP@[Wm[VIJvD{a|ORWHcCmA^@O_fOTGIsDUGTCGaCpBW`cOmIZDNafPMgfCReHFCdaQPDwbKPaGdCRaGqQPG{caQLHGC`qPpGkcWQHHEC^QQ@F{c[PzGtcZQLHEkbYPhGpcXqKhESbEPfGmCaQK@GkcKP^GjCVQK@DkaoP^G}CTQI@F{bsPRH?COQOPCK`{QDG`CPQFpCca?PFGvBNqMOsCXwPpEbCPpgPCcYGPDGhCEQI`@Sa_OVGFCZqAPFC__PrGfC?QH_~saSN~FyCMP}PBk`wNpGdBzqHo}saWNjFnCUP{PDk^?PVGYBrqEo|C]WOrFdCMpwpBs]OOxFQC_pspGS\CQ@FMC\QN?x{bkM`E~b_poHAoZQLeGWcJ`lWu?biPwEqc\`kXBWY}L[GXcL@jXAoYiLWGWcJ`iwscYYLJF_CEqBo{S]CO\GSBnqCozs\sOjFmBlPv?|k\kNXG@BjpuP?[\_ODGCBiQ@_ys_SMjFzBcP~OxS^oMRGOBaqC_ws`CMNFCBtPoo|[[GNRE{BdprOvsZsMXEwB[pmousZ[LtFqBRp{otK^OLPJR?JOEGA{@Y?p?VdnaEXB[`iO|G[cMqGXCC`}?v?X_LOIGDSAe@V?l_UOIGDSAeCpAU`JoeWR[HiCxA]`MofwSKIAE`BP`fojwTsJADbAr`XOlwVKJaDxAy`\pfwsCXyK|E_bNpgWs[YINdFsbxp|W}{^YNRFjbtPoGwKZ}L^ElbVPhgskYQXYKWETRE`dcpcXVKdEIrDpcsqOWlKQENRD@cCpKW~KSEIrDpaSpKWlKLeFRBH`KomWTKBeAr@H_CoIWBKWD~RE`^kpcV~JpdxQ{xc_myXKJoeQazx]GqEXEJrePA{h\WpyVWK^dubGH^?myVqJodzazx^OmaVwJid|ayX]_miVkJgdsa|X[gqiVMKkdrBIx[cmIVFJ`dnqwHZKlmUtJXdlQuxZclyUzJ[dmqvhYslaUnJUERqu@dKl[XPKZDhqtPbkpoUhKEDgRA@YSo[UbJlDeqz@XsmkU^JIDiqr@Y[kkUhHnEOrGpLkqGR\I~D{qo@]{n_T|IzD}qnP^{joV|IwEBQm``CjcWNItEFqlpaKjWW`IqDcQl@W{jKURJCDRQp`TCkSTNIcDcqhPXCiKUNISDyqd`]cnWSjIMDrqxPQCmWS^IJEGrC@Pko{SXKCD@R?pOcoSSFH~Dgq_PYCg?UdJCC{qp`N[kSRtKKC{RB`MsosRnHrECq\P`[fOWTJyCwQ[`^cnkRbKfCqRIPKsq_RJH[DnqwPJ[m?QzJICkQr@JSkkQrJaCjqTP[cmKQlHQDeqT@XsdKU^K[CgQSPbkpkQ^KACfR?PHccsW@HHETQQpdccgXVIhD`QipW[igUBIGDJqaPRCggSrInDAqkPO{j?SLIkC}Q^`TsfsTZHiDMqfpLchwRVHfDLQYPRce_SvI_Coqg`KSiCRFH]DGqcpJ{e?SdNrDaQpXWskiUXJJdfqrXXslIU`JPavP[Gl{VUJlDsazp]WnCFiBp@x_wO[WL{OeGTCGaDpBG`kQqH\ClaVpKGeKQ]HPCeaSpIgd[PQGlCTaFPBwaCceQVHIgVcGqCtAS`POcGRsHQBl@{`FOcGNSEYBD@]_hOUgIsGAALAG_fO`GHSAqBd?s_tOKGLsAa@t?c_`ONGCS@Y?|?Y_COLgEC@I@X?M^~O@g?R}X~[~i^qN{f~B}x~O~u^pNufzr{p}s~S^pNsFzrzH|[}i^ZNnfvR{h}K~A^`NqfwrJQ@D?gX^OHEVSE`{d@o^LOZFqrwqBl@{^DN`GNRvaDk}?`\N^GURy@zC|g^NNhFkry@yk|[^NNhFjSIpyc|G`TNRGSsI`x{|?`ROjFgs@@ws{__FNFG@Rop|{}s]JNmFaRnp|czs^VM}FtRla?{zO_LMtGAr|@sc~K\DNtFPrg@~cx{^zN}FOrf@~{xw_BM\G?SJ@plAs[^OmFFSDppT@c[XOWFDsD@o|@W[POTFCsJ`oLAs[FOkF@R^qDLAk[@OiE~R\Xm{vYZ]OPewcChm@@MZQONetCCI@oumY`LMefsG@hdACYZOaEdrKqCsrS`PKsGRrrPtkyo]\MjFeRi@tsyg\`MhFVrePskxk\NMeFLRkPqszK[pMqFJrqPq[xO]VNIFIrc@u{xG\rMPF[RXpmcvGZPLeExrVPocwWY~MDEnRU`kKtoZDLZEoRXPi{tcZFLcEkRo@ic{CYlNAEirSPz[|sYfLQFmRQ@lcscZ\LIEurPPvSzoYNLEF\rN@f{rwYBK|E_RMPgSsOXvLBE\RL`nCr_ZtKvE{r]peCvsXdL{EWs{`As`aOnBf`soyGQ[HQCjE`bPpggvKZmLtE{b^PnXlCuYZNLhetrYhlkuyZXLoevr[XmSvQZfLGedRQXgcsMYDK~e_rOHfsruXxKye\rMYd@Oug^SMiBtAY`DOCfpSBH|T?a^LNkfpR{H|S~Q^LO?flR~Hzs~a]lNGfnRsHys{q]tMufXRmhwSzy]LP{fRS`HttGA\TPofTS]HstFQ\\PKf^RpIIs{AadMog`SPHvTCa\lNkbNR|Gqs~AKtQ[erRWIQstqctO?e\ROH~Srq^|OKeZS@HeSqq_TKggnRGIKSqQatK[hHREIPSpQc\KOgrRBILsoabTKChJSfH^soActJohHQ}IPsnQcTJchDQzIQSmac\JWhJSfH[SlqctNGdZQnHySja]\I[grQhILsiAbTIOgpQeIJShQa|HwgZQ_IFsfq`tO[cvSHHMtAARdPKcXQMIIsbQadGcg`SQHDTCQP\GUcHQBh@S_IOLPobVPlINSZAblP{bPS`GtTGALLDkgHSEGksUa_lOka|P[IETAaJlEOgXPaIDSWq`\ECgJSEGoSVq_dLgfJR[Hpsuq[dLKehRPHjSsaYlHGdfQSHYscqUdMWbtRgG}SxqN\F[cpPxHLS]ARLGWbhQGGzS`qMlG{bbQPGxscAMTF?cjPnHJSZaQ|LsahR^GhsvaIlCsf@PNHpSRa[LDWaNPWGcsTqHDCCbzPBG~sOaNtC?dDO}HOsgqF|J?`vQqG]skQFdCo`tPJG[sMAHTBSaHOuGbSLqGlIk`fQkGYSiaETA{a`OpGhSKAIL\KfZRmhuSzy]LNAUNJGdco]wNkFqT@IadOqcXQ[hIQrHYckQUxJcduQfHSchQTXI{dYdVQkhTSgYS\IIaTPKgdsPIGtCU`rOwg\SLiElB]oQVmjwTzz?x]qnYWGkBDyy|D]inRWDJqu?q{t_OnNVaJmTxAzt]KmzV[Jntva{L\sn@VUjkTtyyl\QmfVOK?TsR?T\GoBVOJ}tsa~|\Cn|VLJptxAx|]Gm\VXJdTrAz\\gmVVXJ^Tuqv|\gm@UwJntmQ{LZgn@WBJVu@QuL_Ol`UmKCTjB?tYsoNWBJSu@AtTYkoJWEJRUAAtD_[lNU\Jzt}Qr|^_k|VyJLT}qrd^okvUPjHTcyqDWyk^VpJBt`Q}\^GkLUAJyT`A}tWKnjTrJjT\QzDVOmnToJht[aylVCmhTZimTVYih^uimV~ijD~j?@TIigWAihe?Yh|TEi`VyIdtQQ~dSgnvTEJztQA~L^_iNTBJyTPQ}tSOnjT?JxTOa}\SCnbVfI\TxQfd]WhvS|JutNq|dRwnVVmIYTzqetRSn`SnJtTyQeD]_h\UVJXTeQudX_lfUSJYtdau|XSllT~IeT_QhtW?iZTlI}TZqntUwjzV@IuTYaw\[GjVUJIsTbQk|UckXU|IrTmqklUOlxT`JCTaak\UGkRT^JPTgAkDTwlBUbIkThQjTYOirTuI[T]Ae|V[hrSqI|tKqnLVghbSjJbtJAxLQsmPSgJaTIawtQcmJYg?GOCgAK@Q?f?TftrzH|S}u^^NmfwR{h}K}]^RNg`tOzG\[uMZJLceoRWhkLkGtxZ@L\UoBV\jwtvY~L]UmbVljEtfYqlWUjjT|iktDYlLPujBSdi_t@YiLOuiRR|hst~Y]L]unbRdkCstZALKuoBR\hGthYuLGulRQDjOsTYuLEUlRP\j[rpYxK|UmBNLfStnXvL[u\bVDfGtXXsLUu[rT\igr`XpLSUiRL|eWtbYrKsUXrUTiwrFYoKqUjrKlcctJXILRUQBS|cStJXFLRuPbSt`IohWRkEUBj@ldCpNXQKSuSrDDgsq\XOLFubbH|g[qVYGKeUaRHlhOqHYTK`UcrG\h[qBW~LKUdbGDbssJW}LBUNBOddoprWzKlUMbJ\dsplX^K[UVbE|bKsBWtL@uLBOTb?qhWqKjUKRIla{rvX|KUu^BDtfwpTY?KUU^rD\eco|XjKOUYbB|`srZW[KuUErLtd[opWYKkuERJDe?ojXaKJUWRA|_{pDWPKPuCBCLaOoRWeKDUHR@[?}?Z?Mm^AuXZ[liUxJ\dnUBzAL`AoRWJkDVOrg|scyB\AMcVPbf|sOy@\DM^VMrgLsKxz\AM]VMBftrcx~[yM_VDrgdpcyL[WMavDbetr[wh[tMIvCrelr[wd[PMZVBbg|p?yR[NMcUyrfTr_vXZiM[vMr\DrovR[|LrvGbd\qgx@[`MSvJRb|qww|[kMMvBR_|oowJ[JMBV?b`DoOwT[BMCu|bctn_xPZvMRvGr]\qSvhZtMQVEbZtm?wxZ^MLv?RZllov~[?LluzRZDm{utZmLkutR]Dl[vdZULwutB[\mGudZ`LhuxBYLk{vLZdLgUrBd|kwxbZLMWUqRe\kgxhZJMXU}RWtnkuPZyLbuor^dkSv|ZCL}oAw@S?q?V?I_ET`yotWUkHUAj@vbrrDxg{b]ONKverpdxo{\]\NEv^RsDx{z~]]M~V]rsTvo|B\yNPvXRrDxgzN\eNKverkTuO{z\bNMVTBsLtS|D\RNPvSBrttG|@\PNNvRZh|syyV\KmdVcrp\xO{T]QNCv`rq|w_{l]ENIvYBm|vczT\hM{V\Bl\vWzZ\tMuVZbj|v?zB\nMoVVBo\wSy|]CMmvURoDtk{D\YN?v[Ritt_zf\qMjsyY\TMmajPSghsRyHtCur@XakouTzJDde~?^bnpFxZ{H}Q}{^ensFvz{x|u}s^enmFyJ{x|m~E^YnmFxZ{`|m}y^VnnfuZzp|a~?^MnpFsJ{H{}|r]zn\VmJutz]|f]tnYVkJuTzE|G^DnRFpzsh{Y}k^@nifoJy`z}}c]}n]FszyHzu}U]lnefjjx`y}}O]indFjJxHym|M^AnSfpJt@{N?wVOjhTsYfTRmhxS|i^tNiddQuhVShiTTIJ^dnuv|Zxl|u}jwLz}}@]|n^VnKEuBR@j_roWwKkDIAr@S_joUgIKDqAZ@__foVgH[CQBF@G_qoPgK{Ea@~@k_`oYgGKDq@r@__\oNGJ{DY@v@Y_[oNGJJ}iAU~m_fnzGHkAi@j?g_XoHgE{BQ@J?__ZoKgC[?e?V?L_Bo@W?Z~AAb@S^yoSf}[Bx}r@?^moOfzZ|IAI~S_cntgG{@Y@b?k_KoDGD{@i?^?Q_MoCGBz~h~Q~e^znxF~J~p}~??^pn~f{KMo?a?R?F_CO@w@LDeavPYgmSVYJtD}bBP_gpSWyKdcaqTXHkbuPjGl`yp@W^kMuFJB]G\CfaDPHW`cQMGHC\aCPGW_sP}FZBp`vo{w]{NUFdCVaKO|wbSNUFXCP`wPDW\sPMGTB`aFOxW`cMMGLB^`mPAW_cLmEpBf`iOywYsMeE\Bf`hOyWYCMmHHA|`_PHwcSJ}DpB|`ZO}W^SJmD`B~a@OkwUcOEGxA^aOOgwbsIECXCP`GPDWPsPMGtAJ`BPDwbCGeCDB|`AO}wOCNeGD@|_~P?WNSN}DTBB`VOpwTcKUETAf`eOiWXCIUB\AR`JO[wQcFECp@t`MO]WRSF[@A?d?P_HoDWAdrixr[wm\vNZfdkqu\ZLlcuqzXULlFNbXPrWuc[mLXFDbcPjwuC[]LPElbTPkWssY}LdE`bZPhWucYMKFEDbBp^wnkWEJlFDbcP]wnC[]MXDdbfPYWxSU]HhE|b\PMWvCR]H|FBb^PNWfS[EH\ExaXPnWeCZmL|Chb`PJWwCQmJ`EZbNP\WrcVMKhDjbKPZwqsUuI|ENapPcwkCXEItEJamPbWpCTeILDLacPSWhSS}IdD@aaPTwicSMQD?r_ZoLUhZS|iZ?H_EoAw?[?]?J?@^~n~V}z~l~rHaccqRHKKeQQVHKcmqUhHKdyQVG{ciqNhI{cAQrHQc_qRhFkdAP~HMbmpwHI[\yQbGQc`qDhG{`QQJGKcaqCHG[_yQNHab}p~hKKeQNvFwcmp|HJ[^YQ~FcckpwhI{]YQjGucNqGhF[aAPrG[cXqEHEk`iPbGccBqAhDKaYORGicAq?HD{aqOFFUbvpug}[\aNbFObsptG|k\INVJW?C_BO@W?c?Y?J?K_DoAkb}PzH@`royw\KE}Bf@p`ZomwVKJMDbAt_yo]WM{]}NfFpbspzW|[maWRKKdqqxh`[oIU~KEdpr@H[KnqUvK?dmq~hZKnYVJJgd|qxh^KmiUnJQdvqtH\klIVVJSdvqth\kliU^JOdkqvHXklyUZJOdoqwhX{kAVbJCdyqoh][jqVjI}dwqmh][iaUNIkddqihXKiQURJIdPqhhW{hYVnIYd|qeH^KhAWRISeEqch`[giW^IMeHqbHaKpYSJKWdBrDHPKfaWjH{eKq]ha{fIW^KQczq\HaKnqRZK?cwq~hL{eYWFHieBqYH_kfyTjIAd[q_HU{iySzIqdOqkHR{k]UVJHdeqsXX{lMUnJTa[pLWe{RmH~C|fKRhXrcye[tMffSRdXssxM[lMdf?RfxocyM[DM`fNR]xsSv}\@L|eaRixtss]\XLHe^RixtssM\XL@fZRMXvSru\pKzfWRKxucr]\dKteURkXdszMX`MteMRlxbszmWtMxfBR\XpSve[PLvevRbXmSxEZ`MNemRWxkCu]Y|LdejRYXlctmZTLXegRHxicqmXPLRedRGXhsqUYXKbgERoY@sz}_TM|fxSCX}t@U^hORfwSEYBS}u^\OVf{Rxx~c}m^tNhfpS?X{D?M^HN~fmRsxzs{}]tNPfcRtXxS|]]pNLf`S@Xwt?e]HOFgbSLYHTBeaPOvgMSJyETAE``O^gSSOYDdCU`TPBgPSMyCtB}`HO|gn??iHlEG?LPPgo?@IHw?IadPXgm?@iIw?QahPZ