CAT(2306,1)

Sparse6:

:~?cA_?O?G?CAS?G?E_A?@W?g?Y?H?D_BOM?EsBU@n?y_[OMWFKBi@p@C?XoKgEcDcAn@W_jOTgJCD]AM@I_c_QwH_CaAW@M_f_QgHgCmAY@P_f_SGHoDIA_@S_g_TWIODMAo@R_i?TgIwDUAA@P_`?SGGWDIAA@T_`_SwGODQAG@I_e?PgGgCmAY@D_a?RwHoCY@u@G_]_QWF_C]@{@H_b_OGH?B}CK?n_WoKGOWEECI@_`A?VwN{FuB|@a@@oX?OkEKCH@f@CO`_KsESCNAE?sOa?LSG[BR@l@@OYoOKG?BX@[@?OV_OSDsCB@z?zO^?McFgBj@m?zo]OMCF_B^@Z?xoUOMKDgBdAi?XOLGE[BI@h?r`R_igTGIqDOAj`R_jWTwIeDOAm`QOhgSkICDZAa@VOjoS[I?DVA^@UOf_TSHuCvA[`L?dWQwHaCqAU`F_cgQGHMC_AS`F?awPGGqCSAL`g_JwECBE@^?o_WoOgG[CE@l?v_YoMwFcBuFKBY`lovGZWLuEwB^`n?ugXsLAE^BP@eosoX[LGEXBS@eoqoYsLSEXAu@jom?ZKJ[EpBI`coqGWwLYEIBT`b?tGYGKIEeBB`h?pGW?KyE_B@`^_rwV_LuD{B^`]_vgZGJeDuBV`\?uGUSJADbAt`YOkwaWAu@X?m`?O_gOKGQCJABaHpDWacPMGjCS`yo|w]sPWGBCWA@pDo_SNwGlC?AKO~oa{NsGrB{ALpE_^[PcFtBxALo}?bSNAFbBn`xo|G]SMqF\Bl`s`CGaOMmFSCP`r@Cg\?PEFMCOaB`Bw`GOuGOCMaD@@G`_OYGUCD`o_ww[OMQF?BdaGPCgaKMqF\Bl`poxW[cSoI^DMAgpROiCS]ILDGa^pNgfkR[I^CxAgpM?iCRAH\Cnae@HWhoQ]IYCeac`FGboSmGyDIac`FwhWQEISC_a_`GwgOQII?Cca``MgggRqIGCzaT`Lge_QuHiCkaS@KwdOREHQCqatPZGl[TmIxD\au`XGlwUYJ[Ddap@\GmgUMJADrao@[gjwVAJaD]ak@XwjOUeIqDgai`Swi_T]IkDQ`SOiWS{OuG^CMaDPBG`[MAFDB``poxW[cXUKlESbJ@dwrGXUKoESbD`cWpgXMKWEQbD`bgp_XAKYENbG`^GqWVyKcD|bAp`go{WQKFEAbJ`]WrGViKoDzaz@bgn?XAJmENbC@^woGWiK?EH_ToIwD[[[@X?l_VOJGDsAuEVBL`ePLGesRUHbCraXPFGbsPuHBC_aNprOy[[{MjFMBiPrOyC[{MdFMBgpuOxS\kMXFYBdpq?ys\_MRFFBjppOw{[OMPFEBcppOxS[OMXFEBdpo_vC[KLtExB_po_vKZ_MFEyB_ph_ys\_LPEfBjpsoukZ[MjFSBZPlGu[ZIL^EpbWPj?yCYwMdElBgpuotK\gLTFXBTpgovsYOM@EdB^pn_sCYGM@E`B^pmorsZsK~E{BMpe_v[XkLxE[B]qF_CsA]@J?g_SoIgDCAi@RF@b`pogwc[YMJB_`pOwWi{TUIlEZbMPehEWa}PiGmcYAJXE?auPaGmcXAJxCwbMPOGtcSaLHDOaEPUGbcUAGhDOaQPKGkcQaIxC?aEO}GbcNAGhBoaQPKG^cQaGHAGaeO]GgcGAHx?c_UOFG?c?q?hEG^]NqGqcW@}G}?`uN]GZbvAFG}G`uOuFrcM@{hBO]qOoFlbtaEW|G`UNOGVbtADg{g`UNMGVbrADg{O`eNEGYbqAEHAO\}OgF`cH`wHAO\qOgF]cH`vX@G^QOUFucD@|W~g_yN}GKb~ABW~W_]OKF{b|AAHNofYRnHtcxQ\HM[c[RvH|CaqP`Ncc_RvH|CdQQPNcbkRtHxC[q]@FSbWRtHxC[Q]@E{eKR^HdCwqX@MCckQtH[CeQRPJ[dORXHUCvQTPLkdGRVHPCsqSpLSe_Q\HfCgQRpKse?QDHaCaQWPG[dsP~H^C_qV`GCbwQrG{CjqNPJCZmLzE{b^PoGv{ikS`IlDHQj@QKhuS|I[dLqehRKigSjIRDSqd@TCgKTPIiD?qiPOSf{TZH}DTq_@Tcg{TNILDRQb`SkhWSXIIDKQapQ{iOSLIaDAqgpOch{SNIHDOqa@SC`IOhGRcIqDxAs`aOtGXcLqFXBci{U`IoDgqj`X{k{URJJDgqq`YCkWUdJFDhqq@YckoUFJLDaQr`WklSU@JVD`Qt`WKjuT~I}d\qnHVSlSTnJUD[QtpVKjSUXIuDfQl@XklGTfIqDiQkPY[faRtHxc}Q^XN[nUVhJrdwQ{X]SnWVHJwDqq|p[snWVBJwDpq|p[SncU|J_D|q}`Z{ncUzJzDlq}`ZcmsVTJkDvqyp\sl_VNJYDsquP\CpCWVKLEHrB@aSo_V|J{EDQ~P`KoGW\KCEGR?p`{oSV~K@EBr@`_CpgWzK[ENrEpbsp[WhKXEJRE@akKyE`BN_koUwJSDuA|@[`ZOmGU{KAEBA~aPPHGc[R]HrCwa|P]wnKVaJlDvb}p~g~{^qNvFyd?q_xOSfyS@H~dtQzH\[meVNJgegBQhiGsqYcLJebbRXhwseY[LGeaBQhgosqYILJebbOXgWsaYQLAeabNhg_r}YKL?e]bOXgWrmXwLAe[BNXfOrqXqKze^BLXfwr]Y?KueVbLXeGr]X_KueYBJHdgrMX[KqeVbIheGqmX_KheVBIhdWqqXYKhe[BHhfOqaXqKfeRBKhd?rQXMKreOBRXcOs}Y[K`eQbShcWtEXGLOfB?EWB[@i?x?]_MrboB{AA@BMW?POHGC[BY@j?v_^OOGF{GuC\AK`{O}g^KMYFPBfanPWGj{TaIrDYbUpjgtcYeLVEichqSXISdAQ^HMdYQlXUsjETfIqd}Q~h^koEV~K?f^bohwG{Q]?NBf]BpXwwzy\yNEf^bmXw?zm]AMyf]blxvoza\wMufXbmXugzm\gMyfXBlxuGza\kMofXbjXugy}\gMmfXBihuGym\WMofRbjxtGyu\OMmfTBhHsoym\WMdfObhHsoyM\CMdfNBgXs?yM[}MafLbhxrgye[wMgfMBfhrWx}[yM_fKRehrKxi[pMXeibdxiWxUYgMUf?BohoO{Q[ANBe}bphwwv}Z{NDe|Bchn_xQZuMRfHB\xq_ve[eLweyBbxq?vY[aLtewbbHmWwyZcMLewBbxqGuyZ]MOetbbHlgwyZWMLesBaXlOwmZQMIeqb`howu]ZKMGfBBWhk_wa[MLbfCbVxpWuE[SL_emB_xjowQ[IL\elbdxjOxYYqMTejB_xogtaYmMCgV?Bw@k?y?`?Q_GsM_A[@U?hP??JoEGAtCAaBPAg`SOIGK{_`zNHG^rqaFtAg^hOgFxR{qDK~W`POiFzr|QDLBo^`OyFvsMp}LB[^XOxFvSM@|k}c`tNjG]RyaF[}W`hNgGZSLP{{}K`hOuFqsLP{dBc^DOvFoSM@{K|s`bN^GXrvaETA{]tOoFmSJ`z[|[`bNXGXruAES|W``NSGVrtQDtAs]bNRGTrsaDc{w`zNOG^rrqFtAs]ZOjFdsJ@xdAG_xOcGNSGqBl@{_rO`GLsGABT@?_fOTGHSDAAL?g_NOHGESAq@D@W_HOWGBSDq?l?C_ZOAGFs?q@s~w`JO?GRr~qCs~_^vNyF}r}P~dHO?x?]_MoFGBs@u?t?Z_KoEWB[@idK?^_OoGGB{AE@@OggTSIYSpIqd[QghRcjYTHIqd[QjhTCjYQ`IAckQahIcgYS@H]cqQahKCgYShHmdEQ[hQCeiSXHudIQ]hQCfyHtCuaXPNggsSIP@IecQQjhTCaiOhHucMQ]hBCfyOPIYcGQgh@chyNxH]cqQ@hKC_IR`FqcuP|hLC^iNHHQbuQUg|CdYGXHEaGQRgacciQPCYcePGhGcPyPXFYcYPwgzcbILpFMb]Ptguc\IM@EibWPqgwcYyKPEebEPfgocYIK`DybKP_gqcVyJHDqasP\gkCUyIPDUamPSgjCSyPpCeaUQNhGCQg@k?}?\?N_EoBgAC@I?b?O_HOCY`G@Q?j?R_IODWA\HMcbQQf@r`Xocwq[\MLfHRdHq[x][lMTiGdAY`XO}gSSOiFDByaHOqgYSOhzd?y^HOUfoSCh|d?y_`NifwSDiBc~y^hOagKR}iBd?i`@OAgKS@hyDEybhNYgwRthwdBI]XOyfcSLiCczi]@OmgSRni?Cyy_PMugARkhsC}i^`MifuRhhqc~Y[xN}fKR}hzcwi^HMQfoRbiHCvya`MEgeR_hksuyZTLqezR]hjDEybhLagwRViHCsya`LUgeRShgDDYYPP]eaSUiIcrYXxP]gkRMhdDEIX`PieUSXhbdEIXHPieOSXhYslyUtJadtQxh]SnYV\Jye@Q~haCjyWpJEeIQohXCoiU`KMdeR@gTsJYDdBQ`lOtg[sLyFDBu`~O}i|dKIePVujwSpiad[ym`S]iKTqi`D]yg`VuiET{iyDOYg@VIh}Tri^D]inHRqhyTwiydMYmxRmjkSyizdMImpRYjiSviXd]YehVihgTwiQTHiclQ]hPShiTTJId\Qyh^SlivdVYjxVEi{ToisdUilXTqjSTZiuDTylpTejYTWiiDWyipUUiiTcirDSYiXUajMTQioDRikPTAjATNiNDQyc@Sug}TKicDGyhPQEiQSajWd^io@ZMj}UqjTdiIthYilWUhjPDhYs`Y]lEUejZddIqhZalqURjZDciqHZQk_UtjEdfysHW}l?UMjDDeYp`XmkUUYjNDaYr`WakMU\jJD`Ir@WYkmUDj?djioXZAkCUnjl_GgCcAM@F?c_PR{h}c~M^lNvfysoiW\KEeHREhatxA|T]WnXVdJttxq{L]KnRVaJsTxazt]On@VdJntuq{L]KmzVaJmTuAz\\gmxVXJmtuA{D\gm~VXJnTxqwD[GnRV@JsTnQ|TZ{nXU}JttmayTZomhUzJhtrqyl\[mbVOJjTpaxL[_mVVFJdTrAw\[wmJVLJaUE_A{@a?l?U_JoEISDIIdBQbhQshIG\CUaHPEgcSPylLUmjTTeisTXyk\UUjHT_ipTWYhDSeiTTJieTRZFXaepyWjk]EIjCpbapsWgkReMZDxaMpGWokQeKZD`aMpIWmkQEJZEhaApmWakZEGZEPaApgWakXeGZBhaeo}WikNEIzBPaYouWgkMEHzBH`mowWVkLEEJBh`]oqW^kNEEI|h`En]WRjvECj@pbapsWOkFeMZF`_mpyWKk\eBZDx_apaWIkWEAZ?hbUoMWvkBELjEP_IoGWsk@eKy~xaqoAWmk?EJY~l^ynxVxj|T}zA`^YnoWUkId|zAP^MoeVtkGd|I}@`QncWUjweDZP`OMgJSCiBtAI_tYAlBU^jMTfirlXekvUYjJTeIq|hSs^YVLGudbQDhOs`YQLGucrP|gosvY\LFUbRRdgospYMLLUbRRLe_svY\KtUYRRdhWrJXeLIuXrQ|hKrHYSKpUcbK\d{spX`LLUWBRLdeqvXYkkUTjI|gcqfYJKiuabIdd?sLYGKhU`rILgKqZYDKfu`BHtcgsFXKLAuQrOdc[s@XGL@UQROLg?qHXEL@UPROLgcqBYJK`uabGTbwsLYFK_UaBF|fOrnXuK{u\RNDforfXqK|U[RN\fsr\X~KwU^bL|dorVX]KuuVRLdmWunZXlkUtJYtlUvEYflSexZT@mQvEYclqehj[`iUv?YblpEgj[HiEvAY_lNewjRpmAusZGlcevJXPlmtSZDlUEpzTXkYuCZ\lnepJWXlytqY{l\enZVpjit}Yul_emJW@j]teZMlYesJU`k}t_ZPlXEszUHlIuUYlleejzX`iyobWRkHUDJAt`Uvo[Rl{fDJ^PpUwH[EmAv?Z_\oIw_Z}m?FCjaHn}weZhltfDZ\PpQw_ZemHEyJaHm]vi[LlzfBz]poyvc[ImEE|J`XnMv]Zzlwe~Z]@nqvW[FlvFAZ\hoas@YAl?u_zOlgQsLYFlCUaZP\giwk[smKFLjaxrUxa[|mXfNzePryxm[mm[fKJf@q}xs[jmUfNJd`rmxO[smTFLjdHrUxJ[fmRVHJcTqMxm[^mOfMZf@qAww[|mMfNzfppywq[ym\fEzbPrqv@Zalouwz[lmQyv\\mmVUJjTtez?\KmfFVjhht}y{\HmoFQzjxsiyK\`mpfQJgxuIyE\`mpfPZg`uIye\?m`FSji`sEy]\TmgfTzi@tYzq\om|f[jnPvEzG\lmvFXjlxuUzS\umuF]JlXv]zM\rmsf\Zl@vQ{I\{nBf^jopvu{G\~n?f_zo@wImpVXjlU\JMtfUrdXrkwuyj\\mevLZglrvSjidtMy^\PmgVebsDxo|D]ZNOvfRq|x{{r]]NKVebqlxo{l]ZNIVcrq|xC{r]QNKVdRptx?{l]NNIVcRptw{{d]ONHvaBsDwg|D]HNOvfRp\x{{Z]]NEVoO@S?m?XWVkKUEZVLjmttYul[Ulzbdpywz[XmLvEjkduYzJ\fmsvYJyX|A}c^TngftJyp{u}o^MnjfrzxP|A}c^Kngfqzwx{u}Q^NncFrjxP{Q}K^JneFpZwx{U}K^HncFpJvXyM|I]|n]FhJyXza}i]yniFmZuh|Y|m^WnZFtzu`{M|c^@nXfojwHy}|a^AnWFozvpyq}?]mn^fjZvXye|y]jn]Fijspzy|O^?nRfn{@G?]?R?GoCfyj|I?m~O_IoCfx[@X}Y~M_InpG@k@@}M~G_Fnng?z{I?U~?_CnmG@k@@|y}y_Fo@fu[?h|n?G^Yn}f|z~x~e~{^wnyF}j}h~q~k^zntf{Z}X}u~c^ko?Fzk?P~B?A^n_DOBG@[?q?T?JoXgIsEEAp@d_iOWwJSEEA|@d_mOWwGSDmAL@^_aOVWFcDUA@@X_^OTwEsC}Ad?z_[OSWECCe@h@L_XOQwDC@e?x?d_ROEwDS@}@\?b_UOGO@w@K?a?N?H_CWTBv\zu|x]}n_Vn{HYDNAY`QoeGS[HqDNA_`QofgS[FyD^AA`Xo_GUKHqCbAS`OofgQ[HYCVAY`FoeGPkGQDRAk`CoigO{IiBvAk_}o]GTKIyBfAq_zokGMkEeBN@j_uo[WL{?]?V?H_FoCW@kKAFbBC`yoog][LYFnBy`ho}GYkNYEZBy`go}GX{NAENBs`do{gXKJ]DjAx`\onwVkLyFVBm`pozG[KLaFJB[`soug[{QAFzCca?pGg^{PiG^C]aHpFGaKOaGnCKaIpEG`[OIHNCEaTp@GdKRaH~C{a`pMggKRIHZCoaZpJgekEEBF@d`tozw\kMUFRBfaoPSWjcTUI|DRagPTwicTeItDRaaPVWgsT}IPD`adPTwjSS}IXDXb?OhWS{IMGvC^aMpEWa{PUKXEDbGP_WpsWMKPE@bDP`WosWMJtDfaqP^WkSV}KLDtbCP\wpSVeK\DnaxPcWmCWuJPD~a|PZWncUmLxE[bZpmgr[ZaKrEybHplgq{ZaKjE_bTpfgt{YILZEcbWplGtKZILNFMb]psgwK\AL~FGbaprGw{[iMFD~a}p]w{C\UNHFVbpPuW{S\mM|FdboPvWu{ZmLq?AbrP{w}o?YNRFs?APyo?c]qNfFu?@P{W}_?YN^