CAT(2318,2)

Sparse6:

:~?cM_?O?G?CBC@I?e_Q_HwCoA]@Z?j_UONODCAi@R@F?`_PgG_CYAI@E_`?MgGGBq@u@?_]oNwFsDKAF@D_aOLgEcBUAw?u_YoLGE{Be@p?n_WOJgL?CAAD@@__OOgGKBa@r?v_XoKgEKBi@x?z_|?NWF{ByBt@{_|o]gNcFmAm@R_k?TWI_DYAo@Y_l_TgIwDeAu@[_k_VgJODuAy@`_n?WGJ_D}BC@^_q?WGKWEEBK@g_q_YgKwEeBY@d_r?YwKwEqBC@o_q?ZwKWEyBc@g_w_YgMWEeBg@k_t_\gLgFUB_@v_{_ZwN?EyBe@I_e?[gMGCmAY@s_f_\gHoFUA_@v_{_SWN?DIAO@R_c_TWGwDQ@J?f_ROIGDSAe@P?i_SoJGDkAm@V?l_UOpOHkC}A\Ar@_OlOWKJOD~B?@ZOoOVCJ{DnAx@aOmoWSJgEFA{@`On_WcJsEFAD@[o`?V[GKDtA{@EOb_VsJsCZAQ`IOcwQkH]ClBD@NOpoSCKWC~Ao@Lok_RkJCCxA``PoggS_JADKAq`Q_kWSwJYDQAw`S?lwWgGAEMAA`b?_WUWFuDi@~`Y?^gTwG]COAl`B?jgPwGeC_AI`G_awTOHaCsAk`K_iwFCBe@n?y_]OMwG[CUAH?m_WOJwD{BA@\COAC`Bw_wOyGOCLaD`BW`OO}GWCM`i@@WYoOQEiCEaD?}w^gOqFwCJaC?}g`GNaGMBx`z@@g]wOUFiCC`xO|G][M}FbBoa?_zG_WMyGCBl`s`?W\WOMFSCA`r@?G\?N}FMB}`~?tw^wLeG?BW`cOqgXKKmEZBK`fOsGX{LEEfBQ`n_wgZoMAEyB``p_ugZ_MUEuBcae?UWJSDmA`@Q_gpSGiKS}IRDJadPPwhCSYILDFacPQWhSSmH\CoaVpFohcQCI\C_AepFOhsPwIXDLAMPRobKPgIbDOALpCWaSPAGjCRaIPD_fSP_HxCVA\pKof{RCHzC}AXPIog[QsIJCkAaPI?e{QgHrChA[POOckSGHND?ARPL?cSRWHHCtAPp_gocWMKBD~b?PUGjSTeIzDZamPVgj{UAJqD{a|`^gnOVuJkD`a{@WwmwUIJWDpat@[glWVAJ]Dfav@YWlgUaJiDdar@[wk_VQIiDQai@TwioTMBJ@e_rovWZ{LyEtB[`lpj?s{YwLPElBRPh_tKY_LVEfBTPj?qcXWL\ElBIpdwrCXeK\EObFpcWq[XILQEIbC@igpGYmKyE_bO`fgsOX}LEEYbQ`fGs_XmKUEDbE``wp_WYMeDHadpQgWCKED~BA`aOowf{RyHzCya]PMwe{ReHpCsaZPLWqKXMKdFXBoPuo{K\gM~FXBnPuozk\gMxFdBjPu?{{]WMnFUBpPu?{c]KMnFgBhpy_yk]cMhFOBsPs_|S\CNREtBpPlo{c]KLlFdBdPxoxc]WMVFFBhpqOyk[_MhFEBoPp?{K[SM~F@b`pogy?ZyMcF?bg`nwv[ZuLxEwBmPm_zsZcMzFLBYPr_u[[{LdFLBVprouK[wL`Gf?QOGgC[AI@F?cbgPsWySOyG^CLaxP[GmKUuJ^DmalPUGjKTmIxD\b]PnWv[bwQBG{C_QNPF{bsPtGzC^QN@FKb?PlGqC[QKPE{b?PhGqCYqKPE[agQBG~CUQO@D[asPHGeCVqHPDsa[PZGhCVqI@Dsa[PHGeCSqHPDC`IOhGRcFaIhAGaqO_GjcEQBh@k_WPlGGC[Q@pE{bSOFGDCYQ@@E[_?PtGzC@Q?PFK^gPDF{CPp}pCKaGNnFxCPqGO~C`wNhG_BzQFo}k^CO|FrCOP{`B{]wOvFoCMpzpBc`kNVG\BuqF?|c^sOpGYB~p~`BK`SOVGHCJqA`AsggSBIBd@QVxJkdySQHKcea`xP?cmSOHGcdA`xPGceSGHDcba`hGogUQEIEdAAPHGOgURqHYcmA]HNOdmRcH}cyA_HMWf}RQHtcta\xLOfYR]HecsA[XKwfAREHzc}aXXK_fqQgHkciaZhIoeuQaH_chAWhIWeEQ[HXckASHIwc}@D?c_PprWxs[}SxI]dMqjhUCi}TkIkdYAjXUgimS}IvdOamHS?jeTiINdZAbXU_gySSIvdEAmXPWjaSsIrdLakXRGjISkIadKAhHQwiMSeIgdTAdXTGhQTKIPdRachSghAOvG\cMQFhCC`}PBGbcPQHHCkaYUoI{dlAmxZGjiUiJ]doAtxYol}UsJSdkasxZ?lIU]JZdgavXY?lqVAJKdparh[OkuURJJddQpxWskaUEJZdaavXW_lqU?J]doAohWGl}VAI|d^awx[OjySHIEdAq`xPKgaVJJedqQ~x_KoAWCJoeAA{h_WnEWCJleAAzx_WmyWIJiduB@x\WoYWIJfeBayX_omaVkJ{d{A~h]wnuVqJrd|a|H^OnUWmKYeKbFHb?pmWOKSeDBDX`GpYWaK\eHbFxaOpyW[KJeEbCH`_o}XKKheSBIxcwqiXEK_ePBHHcgqEIPDFabO^WN{FyC@AA`?pHWc{QYHDCcaPpawpkWqK\EObFpagpCWeKNEDbBQCHAK_}ORGJcDQbXP{gySXIJdDQ|h^Cn]VhJtdxrVPistwYpL[EjrUPi[tkYhLYEirSPjCtGYnLOEjRSphkswYhLNEirSPhCtGYRLOEbrP`hksOY^LMEarOphcskYBLIE`RN`h[s?YXK~EdRNPhCrkYRK{EbrM@f[rgXzKxE]RN`eks?XnK~EZRM@ekrgXnKxEZRPPe[sWXhLCEXRKpgKsKXhKqE`RV`dcqwYzKlEmRUPd{tkXbLYEWRc_As@]?p?X_LoEhrW@q?|?\fQ?FwCKAABn@x_{OSgICDEFLBg`rpWWk[UII|D_anpTWi{TYIdDSahpngwCZ}LpEyb[qUhJcdmR@HacoqmhVcjmTzI~d^RAX`SoaWVKLeERqpyK|K]ZNQFeRq@xs{g]`NHFfrqpwk{[]ZNKFbRq@wS{g]HNHF`rnpwS{C]HN?F`rn@wk{[\|M|FbRlpvSz_\vMuF[rn@u[zw\hM|FYrl@vCzS\nMrFZRnpuCzG]@MpF_rjPuCzG\^MpFVRi`vKyo\vMjF\RiPt{y_\\MfFUri@tcyc\TMfFTrhXscyY\JMcfRRgPkCyGZBL^FPrb@yC{{[\NMFEraPyK|K[VNQFDR`prsw_\@MEFNrepo[wS[zM[FAR_`rCwC[tM?FKr^Pqkv{[nL}FJR]prSvo[pLyFKrc`m{xOZrMRE{R\PqsvW[nLsFIr[PrsvK\@LqFNrZprkxkZ`M[EvRc`l[xOZZMREuRY@p{xCZTMOEsrXPsKu[\FLeFPRW`p{uO[bMOEpsM_@S?q?VP??EoBw@tCW?b?Q_GSR?A[@U?hPMgeSRYHlCqa\NSGcrtaHTCk]jN~GYR~aEtBS_@OAGYSLa?LBS_FPEF|sQ@~lC[^xPDF{sOp~TCO^pNvGcR|QG{~WaLPBFxR|AGk~KaHP?FvsO`}LCC^`NmG^rzQFs}o`zNhG\RyqFc}g`vNeG^RyAF|Bs^NOyFpsN@{lBk^HP?FoSOP{TCG^BN\GZrvqFK|w`pNYGcrvAHTCk]vOwFkSLpy|Bc]rOmGSSIaEDA{`ROlGRSIqC|Ao`JO^GPSGQCdA?`FOXGMSEaBl@k_|OSGKSDQAt@[_fOLGHSBaAL?{_`OpGBsAQE\BG_POIGASBA?t?k_JQ_?JODwBC@Y?p?V_MOFgBk@q?|?\hX?EwBK@i?r?Z_LSLIEtBUdeQwh\ClIVHJIdiQwh\ClyVHJYd[Q_hUCgiSHIudGQkhQcjYSXIyd]QehWciIU@I]d]QhhWciyU@IiatPWgksUyJlDqciQjhScdiQ`IiceQvhHClYQHJYdEQMhQccIS`G}dcQJhEclIUXGqdKQGhSCaiSxGecIQ_hBcgiOpIEcyPPgfcfyI@HycyPQhNcTIRpDMcCQVhKc`IR@GMbqP{g|c^iNPFub}Pug{C_YMxGAbYPogvc[iLpFEbMPiguCYYL@EmbKPtgqc\IK`FMbAP]gpcWIKPD}csPTgjCeyIxHq?T?J_EOAg@c?m?\?N_EoBW@{?ygi?Q_GoCGAS@E?`Q\hNsfhqCxE[^MYfKreHrsyA[~M`fPrgibhP]gwSUiIdEyb@PmgySYiMDEY`xOUgaSCi@dCI_pPAgaSGiBdByaPOigeSJiCdDIaXOqggSMiHDBYcxOAhQSAiSD?Y^hPef}SYh~DEIapNifwSVh|dDY``N]g[RxiEc}I_pNQgORuiBc|Y]HOMfcSDhxd@I`XMyf_SIiCczyc@Mmg{RliNczI[lMYfNRhhtSyIcxMIhQRciSCwybpL}h?R`iNcwIZpQYewSchmdHYcHLeeuSbhlDGiYpQMhCRViOcuIY`QYeiSchhdHYW\KIeBREhaSpYW|KeePRIheSqyY@JmecQ|hgcnIVpKye]R?h^crYE|Be`pO~g^SNYG\CUaHPHgdsQioxRqh{UHi]daIiPVyieT~j?DSYhpVyk?TOi~dRyh`WaiUUFiedaYh@WEiSUBicd_io`SUkITEjBDPyoXSIkCTBj?dPIgHWYh}UDi_D`IeDRIhbSriYtLIetR]hpSzi\TMYlHVUjUTvitD\in`UajKT|i|dXykXU}jITpiqD[Ik@VajCTyiod]YmPTujgT^inD[ylpTijYT[iuDUydPTahWTXiTdTyi`QuiiSnijDJip`Z}kUU}jDDnYuHZQleUtjZDkiuxYylqUoj[DjywXX}lAVDjODpIwHXymCU[jMdoItXXmlYUXjUDeiqpYUkoUfjJdhisPXMkiUcjPddIqHYikcUgjGDiYphZik]U{jFDmy{wAE?~?__OoGGB{~y_@N~g?s?y?TK}e\RLhhSsIYL^?nlVwJwt{a}|]{nhVmJytzQ}\^?nTVqJuT{Q|\]snNVmJstzq|D]WnNVcJsTxQ|L]WnTVcJuTxQ|\[onnVwJfTrQ}t^KmRVtJdt|AxT]Km~V_Jotwazt\kmLV\JcTvAw|\_mdVXJiTuay\[{mjVOJjTtqyLaW?j?R_IOCwAk@QdZQmhUSjyULJAa^PPggSTII\DIjjTvizT[imdVMj^TpiwTZIltUuihTUiitUYjDT]qQWtkbeLzH@bYqKWqkaeLJEXcQp]WzkWeNZE@bqp]Wwk\EKZE@beqAWkk`eJjGPauq?Wmk^eJJFpaupiWjkTELzDHbYpMWskXEIJCpbMpKWbkQeIJC`a]pSWbkQeIzC`aenqW\j|eFi~P`}osXCkbEFJGh`mqMWVkKeQZH@`aogX@kJEOzAhcIpyWRk\eCjF``Eo[W}kFeOJA@b}oUWwk\EBZ@`beoRWGkDU@j?l_]oGW_kPE?j?XaEoyV~kNe?ZBp_An{Waj}eGY~`aAsoSNiGtCIaTPQgfUjjUTjYtDYilRUejQthysTYQlFY`LLufRS\iGsxY]LLufRSDh{sxYWLRuiRRTi_srYWLQUeRSthgtJXtLPugRMtfOtDXpLRuiRM\i_rdXmLQuhbMDiOr^Y]KtugBLlh{rXXdkruXjKdeIrFYUKoUdrKLhSq~YQKmudBJtdosfXZLGubrJTdcs`XULFuUBQLd[s`XRLEUTRPtdOsZXOLEUSbPtdCsZYVKfudRHthWqZYSKeUcrHThGqVY?L@u_bOlgCsHX}LBU`rN|fssPX{KtUYBN\ecrtYHKzuarNLggrpZqLpuxZ[dmAvDZ`lXezzUhnAtgZplvekJ]HjIv_YpluEjZ\pi}vYYmlTEzJT`mytUZllZeuJV@letkZVljExzY`mauiZelfEyZ\XlAvSZNlbeqJXPkUuQZEldeojXhkQuWZBl^eujWHlqu?ZZl^EvjZxjquyY|l[esZVXlMtsZQkMuFjB|aApDW`mGVCjaLo}wZ[MmEFFz`PqAwU[`mMF@zbpoewy[GlyfFzcHn]vk[_mME{jbpnQwyZrm?f@J_XoYwC[DmHe~j_@pUwgZ~mKe}zbXnuwsZ{mJE}Jb@niwmZxlEubjPdg}sbYOlHUczQdh]sjYUmPFPjc`s]xE\GmbfNZh@ryyK[~m`fMjghrqyG[zmZfQZfHsmxo\ImYFOZg@rYyC[tmWvKzeTrAx\[nm_FIzgPquxW\@m`fIJghqiyG[hmRFQzcxsixI\HluUzj\lm}vbZomeVRjhluezP\fmkFYjjPuqyq\jmtFTZl`t]zU\UmhFZZlxtQz[\RmffZZlxtEz[\OmqFVzkptyzI\_mlfWZkXtuyw\amwF_JmPv}za]@m}F_jo`vyzy]BnBF\johva{M\vm{f[znXvUzs\snGfbjq@xM{]]QnCFbZpPwq{Q]JjqTxi{lgAsDY@k}u^jN|nYvnZtlxU|J]\tyz@\^mmvVJj\yW|\]gNUvhrtdyc|F]dNTvibsdy_|@]fNPVhbsLx{|F]dNMvfbsdxg|@][NPVersLxg{z][NNVerr|xO|X]UNVVdRtlyc{n]jNKvibrD{s?N?G_CuGzCdaUuJZElbuojWdkMxD[cmPvHZctq]z`\qmwv[zmlvQ}{^cnmFwjzh}M}}^Xnofuz{@|i}k^XnkFuzyx|i}y^Tnhfvjz`|Q}k^OnhFtzyH|a}c^TniFsJyH|M|_^FncfjzuH{a}}^CnbFwZ{@{U}A^an`FwzwX}Q}?^Nn^FrZvx{y|u^Ln]frzv`{y}S]wneFmjxXze}M]tncflzx@zY|c^InYFrJuX{n?i?C_BO@[Ah~U~k_VnyGDkAh~E~e_VnxGDj|y@J?g^ooHfzj|Y?}~W_PnugCJ|A?}~S_OnsgCZ{i@J?g^enrgC{@I?N?U_DoDG@K?A?Z?O_@o@G@z~x~]~y^xn~F}K@`~j?[^{oEf}w?{?a?R?H_BoAKFyB`@x_vO^WLcFmBd@x_zO^WMcFmAt@r_nO\wJcFUAh@l_kO[WIsE}B@@N_hOXWKSDEAP@f_tORWLCCm@|?p__OLWFcBMAD?v_bOMwGcBc?Q?J?E_AO@g?mE?}N^HncVqjxd{nAm`^okgVkJADvAs`^omGV[JYDzB?`JopGR[KICrAs`SojGVKIiDnAm`PokgSkJADNBE`MoqgSKKaC~AS`aoogQ[KACbBE`DoqgP{KaCZA@_~o_wOkGeCN?^_PoGWDKA]@JBYaFouGa[LqGbCG`tozg`[MqGZCM`qpCg\KPAFNCG`npBG[[OiFBBN`eosWY[LUEnCA`zp@g^[OQFrBo`}o|G_KNIF~C}aIpEGg[SAGnCqaRpLgdKRQHVCmaOpHGdkRAHFCYa[pFgfkPqHvDCagpQGikSYIfDIajpUgh{SqIr@x_|o^W_[O]GJB|a?o~wnCUeJhDlazPYwlCU}J`DlaxPYwjcVUI|DvaoP]WkSU}JdDfawPXWrCJuD~AzaXpLwekREH^ClbMPhWtCXeLLEZbOPeWrcYMK|EZbHP^wncXUJtEVbNPbWsCW}LDEPbBPhwpSYeKPEdb?PdwqSWUKhEBbiPlGx{ZIMfFObWpsgt[[yL^FObUpmGw[ZYMNEybapqGvk[qMBFIb^pxgyk]iMrFgbjpwGzk\yNJFablpdwqkXMNpFlb}Pzw~S^ENtFrbzP~W}c^eM^FRbgqA_?S^}O[?Ec?qB??c_MOS?CcA_?h@s_eOW?EcB