CAT(2198,2)

Sparse6:

:~?aU_?O?G?CAS@H?b_POJ_CsA]@J?|?ZoMWFCB]@r?w_WoKgE[BY@h?t_YOLgEkAs@r?k?ZoIoFCBC@T?g?XoK_DKAy@^?o_l_KwEKBI@R?i_SOJWD[AqBD@b_ooWGJ{DyAu@__m_VgJ_D}Ar@Y_kOUGJSDeAy@T_j_VGJWDYBE?|_^?WWKOB}Ah@Q_hoSWICC}AZ@M_eOPwHCCYAV@I_coPOIsD[AF@C?ioOOFSCG@x?z?_OcOGkCQAF?{_\OMwRoHmCxA\`LofWRcHcCtAY@Joe_RCHSClAS@JOd?QkHkCbA[@Hoc_RkF_C`AN?zOb_M{GaCTAH`@o`GOSGUCNAE_}?cgQWFyCa@|_{o]wNSFQBj@r_voZWLsFIBb@o_t?dwL_HaCq@j_r_dwRGEeBOAW`F?XgPwEUBGAO`D__WNwGuC?AK`j_GgCcAMEnBW`kotwZKLaD^Am`UosGXsK}EFBC``OpWW{KYDwBS`^?tgVgLUEgAu`j?mGYgJ]ESB@`c?oGXGJ}D_Ai`X?iwUGIqEaAf`h_iWYOIaDGBJ`Q_rWSoKqDuA``\?gwSOJeDeA^`N?lWU_IA@L?f_QoNgFkB}AD@@__OSgIcDM@t?{_\onGVkJyGgCNaI`BWaWOyGcCKaD`CG`OPEGQCIaC@BG_wOmG[CEaF`@W`gOQGQBaaB_wG`?MEG@B~`~O}_aKPGFpBxAGPCo\{NCGhCT@wOzG\kMyEyCD`n`@gZoOQFiCA`z`?w]oOEFcBz`}_|G^_NMFQBb`t?xG\WMUFOBY`r?vGZWM]IK?s_ZOLWCSAQ@F?g_SoIgD[Au@X?n_WOJgOkG]CLAA`AO_wN{GEC@@}_}O^WN[FiBr@f_soYGKcEYBJD`AhPT?kSUKIfDPAspS?lCS{JNDNAmpUoiKT?IxDMArPROkkSoJHDMAnPW?hcT{IZDHAhPT?h[SgIfDTAcPTog{TWILDWAbPU_hCTcINCaaQPGwhGRuH}DIa^@QwfOU]HwDha\`YGewUQHqDea[@XWe_TaHkDYaY`UWeKRMHdDbAVPWOeCUGH^DUAUPTodkTSHVChAmPI_jkQ_IvCeAnPW?c{T{HJC_AaPGOgkP{IFD?AMPF_gSPsIBD?ALpO_bSSCGrDBAKPDogkPWIHEw?joTWIsDaAt@X``OowWcKYENBD`_ooGV{JADdApb]@oWwWZuMCEzb\`ngv_[ALyE~b\@pwvG[eLoFGb\@pWvG[QLoFEbNpfWrsXYKhETbF@pwq?[eK]FGbE@pWpW[QKYFEbC`oWwWWaMCEIbA`ngoo[AKME~a~@lWn_ZYLmD|bY`^wuwWEK?Eua{`kgnWZQJsEraz@jwn?ZAJmEpbV`[wmgZEL_DsbU@[WtgVIL[DobU@ZWtoU}LYDmat`kwl_ZQJSEqb@@gws_WQKEEdbL@iGsoXqKuEfbJ`iwrGYeKoEibG`gGsOXMLAEQcHAAX@[_iO@G@c@QBoy[`CMjGOBiQBoyC`CMdGOBgpr`@c[{O\FLCEpq`@c_sMXFJCFP}@?[^cOJGCBzp{_ys\_NfFpBjq@_|C__NTGFBspz_{k^?NNFnBrP}_{S]ONxFbB|p|?z{^WNBFtBoPv?|[\wNZF\BuPuO~k\kN~FYB~POGgSSEIFDDaaQHPFkaWPxG}CQQMXFSbmQ?Gjc^aJHDOcEPPGhcRqN`A{boOjG|CJQC`GKb{OhGRC_QK@CKbGPFGpCPQG@Dk`wP^G^CVQEpEs`sPpG[CZqKpBC`gPjGsCKpjGtsYuL^EpbWPkgucZMLjEvbZQWPGSe?QFHaCaQVPK[d{RJH]CqQYPJSdoRVHiClqTpKse_QrHfCkQT@KCdWRDHTCoqSXISdMQ^HOcfQR@K[csRJHJCqQYPHSccRVHGCtQXpG{e_QJHECrQBH@s_uO^GPcGQaHPKg]SFIAd?qapNSgoRrIIC{Qa`M{fSSXIJCzQ[`PkfOS^HrDFQbPL{g{RbIMCwQ^pLcg?R\H}Cuq`@N[fsSLIDC}QhPRchwTNIeDMqePQSh?SvIYDGqd`SSh_THIVDPqfpQkhOTBIRDOQkPTCigTfIhDXQjPUCikT^IkDVObwQCGyBZ@n_vO[gMCFEFDB_`ooxg[{MaFRBi`toxW[[MQEtB[`lovWZ{LyKDECb@pcWq[XIOjGUcJqChAc`MR|I?c~q]xNcfuVGJ]doAxh[gl}VEJ[dpAvX[GlmUoJ]doAuhZGl}UiJZdjavXYolqUoJQdlAtHZGlMU]JQdgAtHYGlMUYJHddArhXWkqU]JGdgAphYGk]UmJDdjApHYgkMU?JHddaohXOkEUKI|dcAnhVwk]U?I|d^aohWGjyUWIydfAnHXgjmTsJDdaAnHWWjmTiJedYAxHUomUVEIxdoamH[Oj]Ws?U_KODxc?@e?v?YeR?FGBk@yXW?^_OoGGYcLUEl@G_boPgHSCmARAr`YolGUsJaDnA]`OOfwSKIMDDCmaWPJwcsQ]HJFWbjptgzK\mMtHJceQRXGkcYQNIOdHQcXQ[hUShLREjRTPi{tOYpLXEgRUpiStgYbLREerRpikswYhLOEdRS`hctCYVLFEdrQPhcs_YTLCEfrP`hkswYJLGE_rOphKs[YDK}E_rOpf{s?YDKwE_RM`f{rcX|K|EZrMpesroXjKwEXRM`ecrcXfKsEYrKpe{rGXlLCEVrP`eKsSX`KnE\rK@fkrCXxKleURJhdcquX\KhDsQyPd[m[XTKSEjRD`jCpSYnLXEGrUpa[tgWdKMERRC@dCo{XNKbEDrB@ccosXJKGEORG``SocXBKEEMr@pb{oSW|KAEOR?pcKqGWHKeD~r?PdCq[W@J{EMq~`b{nsW|JxEQrGp^[qOVtJuELQ}@bcn[WvKYDxrF@]kpkVhKVDxREP]Cp_VbJlETQzpd[mwXRKVDtQz@bKmkWpNA?DOBG@[{_?Z?N_FOCGAK@I]g?S_IoCxyc|Y]jNUfirtHj_|E]eL]fhBVXowzy\wMEf]baHvgwm\{MHf]BahoW|A[INNffB`HxWwA]WMAfeb_XxGvu]OL~fdB^hnO{aZwNIe|bqXxwveZoNOffB\xwwvQZkNDeybphmG{U]MLrexBphwWuyZ_NAevbpHx_uu]YLkfdbYxlO{MZQNCesBohkgz}ZMN@erBoHk_|MZCNPfhBWxvwt}]AL`f_BWHuozA\cMwfWblxswyu\QMnfSBjhugyQ\KMrfYBhXtOyE\WMbfTbghrWyA[yM^fMBfhqgxa[kMYfJbeXvGw}[_MzfGbmhqOwq[gMMfHbbYD?@Y?n?W_JOEGA{@q?z?]_NOFGBlBg?r?Z_LOEWB[@i\xM}f]sOaFdC?`tP@G\sOQFtCG`~P?G]sLaDLAg`hOtGSSLaDlAo`hOtGTsLqEDBc`^OwGVSLqELBc`fOwGXRwH{S}E^FNcfqsFAETBK_|OpGMsEQFl@k`~OYG^SDaFT@_`vOVG]SJaA\@S``OSGVsIqADAs_dOkGGsIa@t?{`ROLGSRtqCk|c`NNWGRSHPzdA[]vOeFlSAaCT?o`HOJGPs?Q?d?K_JOAGBR~a?|?c_@N~GCR}@~[~g^zNxF}R|P|{~[^bNuFwRz@}S~O^\NrFuryP{s}k^NNgFtRvQB{|{`BN]GOOBG@S?m?X?J_DOCWAC@I?`?Q_GsfO@{?u?\?N_EoBiClA]`LKVeKrEHbkp}W|KdeQRGxdKqmXTQbHMshQR|IOc|QbHOShQSTIOdBQJHJseQPdGscpQWHFseQQDGwcnQYHHsfAQTHkcbQZHJSfAQdHgcjQeHCSiAPTI[cRQDHIS`qQtGWcjQAHOS`ASLGKdDQ]G~sfqOLHsc@QMG}ScANtG{bzPxHGs]qQ\FgcdQJGzSbQNDF[cXQnGxskQMlJ?bhPlgvsZiMDFIbbQnGtSZAULJ?bVPgHTSYQT\E[dRPcHSShaKtESdNP`HUSjaKTEKdZQiGoSVaT\Ica~QmGlsVQTdDodZPIgdsQYHlCyaXPOggsRyIdDIafPCGlSUQGlD_aFPEGisTqHDDWaNM~f_roHwk{]]LNMfgRrxy[|E]dRDIFtCQWtKOg`SEHksuq`DLggNSEHjTAAY|O[epRRIFtCQYlLOg`ROICssQ`TLGgVSIHesrq`\Oce\RIIFTBAXdKkgZRFIEsqQ`tK_gXQwh\SmYVlJqdvR?h^sniW\KIeBRqH~S{q^|NCfzSBHvS{A_lOOf^S?Htt?a\lOCfXRzHsS~A\TMcftRdH{sxq^DMWfnRsHpS|a[dNSfFQqHnslA[LJKf@R[HYsvaU|LsdlSQI^tDAgLPKi@TAI[tPAf\SKhtSuI]TNafDRshnSgIXtIQelQ[hhTJIQTRQclSohLTIIPtQAcTSchBS]IUtGAd|P{h\SoILtKablPohbSiIKTJAbTQkgrSTIatDqg|PWiLTn?OoGGB{@}@B?_fBRaHo{we[TMJgjsTYItDiapPXj?D]InxVijqT}iyd]ymxVqjkT|i{D[im`VijqTriydZymxVEjkToiuD[YlpU}jYToiuD[im`Uuj[TriiD^inxTYk?TTi|dSin`TEieT|isdXilXUajSTfipdRikhTAjGTNioDVYjxUIi{T`ijdUijHTqioTZjV?DGAk@M?j?S_HsLIEtBU`pOxgZrtxzK|a]vN[flS~i^|NufvR{h|S|y^LNafhRuhysvIZtLuf@R`hntsQvt[{l~VOJ]trAvT[wlxVLJ\tmQwdZ_mJUvJ`tmQwDZ[mDV@J[TqQudZWmVVIJYtpaudZWmPVFJYtkavtZKl~UpJ]tjavTZ?lxUnJ\tjQuDYkl\UkJVtiquTYslfUkJWt_QslWKlNUAJRTrAsT[wlHVLJPtrqr|YCmbU_JgToqrd[Sk|VCJMteQxLXkmVUYJdTdawtX_mPUVJbtcqwDXSmDV@JITcIqLXIk\UNjEtaatDWolTUJJSthQo|Y[kRUeJCT`AtDWWlTUDJSuGAQ|HecpQYhLsfIe\RUhhSqiWTKYdlQ}h\SiiUTIzDHaMpIWjkQEIjCpaMpIWgkQEHzDxaApaWakWEGZC@aqpAWmkPEJZDx^qpaV}kWD~Y~XamnqWij|EIZD`^YnoWmkUd|zCp^MpOVtkRd|I|l]}n\VkjttyjBh]]o}VhkNDyJBP]QowVekLdxZBH]MomV`jpEEIzp`]oqV_jneEIzX`QmyWTjmEDiz@`QmsWUjkeDZBh\UmmW^kNDtjBP\IowVSkLdsz@@_moSWLkCeBJ@p_Uo_WEkFe@z?`^InaWAk@d{JAH^}oeW@kHE?JNPemrZXkksUYjLLbkrnW|K{UNBNLf[ppWyK{u]BFLfOpjXuKZu\REtbGrhWsKzUKrMldwr`X[KvuVRLtbwqrXZK_UNrJTfCqnXrKkU[bItd?q\XQKfuSRHldKqTXTKeUTBH\c[rDXHKqUQBK\e[qHXEKquPRKteCqFX_K`UVrGLYUlNUejSTiitLgotHYMLRUbRSlhastYXlIudzQthGtNYhLIUiBQ\fstNYhK~uiBNtiOrtX{LRUhRN\gctBYJLPuabSThksLY\LCU`rRdgKs^YDLGu`BQDhws@Y_L@UfrOL`YojWSkJuEZBD`iovW[kMuFzBtiguPZILUUqRT\k{uJZOLbUrbW|kkuDZLLaUrBW\j{ubZ@LhuoBYTkctxY}LcUqbVljetvYylZuljVDjKuVYtLeulBXdjGufYoLgukRYTisu\ZNLVujbYDfQrlXtkzu]ZNDm}vbZoluuzj\dm?vdZaLyUwR]\nGuzZ^LyU{rZtnSutZvLmU|bZ\nSunZvLku|bZDm[vRZjLrUyb\DlOvFZULqutR[dn_wPZyMBu}R`LoOwT[KMBVAr_lowv|[?MEvBr^|oCvv[BL}v?b^dpWwr[WMLvDrbTp?wj[QMIVCRa\Uqj\TlkDUAJ@L_UoNWEk~u^jNlfirxXzlrUyJ[|mUvHZbmVFLje@rUx][smWfIzdhrMxW[qmWFIZdxqix[[gmQfIzd`q]xY[emPFIJc`qixE[hmPFHZc`q]xE[emMFLJbprYwy[tmWfFzcHrMxc[_mi_@w@C?elVUkjUuRZHtc}qTXKkdukJUTjEtZYnlVU}J^TnevvZ|l}VXBk|uWzR\dMsVWrldugzB\jMpVXBjtuWz@\dMnvVRkTuKyv\[MovUBjttgy~\XMoVUbjlt_yx\XMlvMBh|r[yb[xMgVXrhdswzR\LMsVQRlTsgzV\JMuVPbi|s_yj\FMjVPRilsKyn\CMjVSbgDsGyf\SM_vRrfltCx~\OM^VMbiTroyh[zMhvfO?c?Y?J]\M}v^br|vo{|\xNMv]rr|vg{|]YMzvfBnDxkzl\rNJv\BrLvS{p]YMwVfBmLxkzd]VMuvZrrDuw{r]PNDvcrplxG{X]GNFVbrpLx?{T]FM~v`RoLwW{@]SN@V`BqtxS{F?F_COAW@K?]?P^FN_FpJwpz}|{^Dn_fpJwp{M}C^DnYfoZux{M|k^AnXFnju`{A|e]~n\fjzuHzu|_]{nUFmJtpzi|Y]xnRfgJt@yI|K]`nSfgzshym|S]c_AO@W?s?Q?L?DnsFRziLtAyd\Smhvxrz|}C~L^_Nqvxr{T}O~J^bNrVsr|\|S~Z^SNuVvB{T|w~H^\NpvvrzL}C}t^_NlvyByt}g}p^hNjvsb|T|C~R^gNgVyrxl}s}^^kNfVqJw|{e}T^KndvdzrLxa{x]ZnLV|C@d~X?Z^tOFV~c@|~t?b^~OGWBr~U@C~x_ON|wBB}}?w~r_LN{Vzz|t~A~b^qnxwAS?]?l?J_IOAW?C?u?`?D_@OBwHCAU@P@L_ROQwGSB]AL?x_aOMwFsBE@x?t__OKwDSC}Ad?n_UOSWKCE]BT@d_sOWwIcDmAp@^_jOVVpJwl{Z?R_JoDW@k@E?^AG_{o`GNkGYBv@}_{o_GNkGIBv@k`AoZgO{FACR@}_xo_gM{GABjAg^enrvx[CMAN@D__oNwFkIqDjAw`SoigU{JADRAk`XoigT{IIC^AK`QoagS{IyCzAo`NokgSKHYDnAY`[oeGUkHADNAS`PohGQ[MQEHB^``OwwWCMEFDAz`nOnw[CJuEPBR`jOpwXSLUEpBL`mOsWZSK}FlBd`|OyW^CM]FXBp`vO|W]SMmDNAd`PpAG^kOqF~CIa?p?g`[OYGZCCaCovw[[MEGs?AaFpF_?sPEGw?CaHpE_?cPUGo?AaNpF??sP^