CAT(2318,1)

Sparse6:

:~?cM_?O?G?CAc@P?g_SOJoD[Ae@T?h_ToIgEGBM@_?s_V_KgD_BA@[?p_U_JwD_BI@[?s_U_KwDcAu@\@C?__OgGGCMAC@B_bOPWGcCeAN@G_cOQWG{CEAF@A_g?QgH_DEAc@J_e_SGHwDEA[@Q_m?SwIkDQAp@U_joUWJ[DiAw@__n?WWJgD}BU@c_pOWwKkE]BL@y?^OOGF{CA@|?~_[OMWFSBm@z?{_YoLwEsGoBoAI_{_awPGF]BuAH_}?awNOGiByAH_~_awNoGiBa@s_x_\WMOFYBg@v_{_\gN?FUCMAA`C?_GOoGECIAG`A?`gOWG]BsA?_}?_gNWGECG@~`A_^WOWFyBa@i_s?[wMOEeB[@j_u_[GLwEqD_?d_RoHgVGF]Br@w_dORGH[CyA^@L_mOVgJkEABB@^_lOUwJKDiAr@Z_toZWLcEyB`@n`g_rgY?LMEcBN`eoqwXcKcE^BO@dOq?XsKSEbBF@hop_YSJwEHA|@`on?WSK[D~BD@_op_WCJsEBA}@_On?V{K_DlBI@[OqOU{KkDlBK@[OloXkHSDrAz@JOm_Q{IgEDAk@aOioW[I]DRAg`W?gWUOIMDaAa`Q_kwSoJUDGAs`W?fGUOHuCuAp`X_fgU_H}DiA_`LOeGRKHGDrAz@IOm_Q[I{C^AP@VOc?TkGoD\AM@VojOPkPK@F?a_QPEOKSEQBFBqALO|?b[NKGrBk`vOzW\KMmFTBfAKOy?asMWGnCS@ppDO[kPKFHB_AKPD_[SP[FBCR@mpDOZ{POE|CQ@lOv?aCLkGbCX@kotob[L_GtBSAGPC_YsLSGbCMAApBo_sOsGHB}A?p??_[N{GDCJ@{PB?^SOgFrCF@|o~O`KNoGPBt@vo{O]sN[F`?d_RoHgCkAY@NDT@jouWZCTSIdDSAjpT_i[ScI`DIAgpQoh{SoI`DMAgpROh{ScI@DJA`PQ_gKSoHzC~AepN_hsRiHxCzaY@SwegTIIgCuaN`TwioQEIiC_a``PgggSaIGDFaZ`JgfGRAHoCnaM`JWboQmHWC[aS@HgdOQ]HQCdaP`KWeWQQHCCq_POHGC[AQ@F?abC?kwUkJQD\An`Up`_n{W?KNE@BAp__o{WOKLEBBApaokKWsJFEKApP^GnsVuJqECb@@]woWViJiE?b?`[wm_V}J_EGax@agmGWeJ^DlavPb?k{WsJREJAsPX?pCUWKRDdBDPUwjcTuI|D_anpUGjSTeJWDwat@\wlWVYG`CQaGpDgbCP]BT@h_sO|W]sN]M@E~b^Pn_wK[KM@FAB^pmoukZ[LzE{BZPiGs{YYL?F@bP@owsG[ILsE^b[@fgvGXuKsEzbL`nGr_ZuLoEWbK`mgqwZeK\EObFpcwqKXILWESbJ@jgtgXUL]EhbW`igu?YmLEEqbQ`kws_ZQNaDSahPSwuSZQLfFqByP{o}s^CNjFnbvP{G|o^QN_Fubv`|W}G[iNcFJbx`rG|K]iNPFXblPuwww]mMQFkbc@zWw_]uMKFjba`zGyo]EMoF^bo@twz_\MM{FTbm`tG{g\ANMFQbr@sWxg]IM[Fcbp`rxBo`aOrGYcEQBh@k_{O@GPC@QC@?K_cOjGJCJqA`As__OfGECIQ@pAS_ON~GDB}p~`?[^cNtF{B{P}o}{bWI`DPafpjwuKZAL\ElbUQN@FCbwPlG|CZqL`FKbkPpGvC\QJXDsa}PTGkcTqHpFKbkPRGgC\QL@C[bSPBGrCPQN`BsboP@G|CNqEpE[`sPhG[CYqK@CcaWPdGdCWqVO|[]qNZFmbvp{Go{WYKJF`boPvwzs\qMzHhCpqYpKkegRHHfCpqY@KkeORLHacoQWXGweIRAHDcbAWHIweYRMHXcsAUHIcdYQjHQchqSXJgcyQ{HOcnaRxJgcmQ}HLcnARHH?eeQSHjccaYhGOdmQGHYcmAOxJ_b}QAHYc_AUxQW^iNxFzcyq\xMsg]SRIGdHa]HQgfiSgHxdHa\HMWhURcIScvacHQGfER_IQcuAcHLohERYIQdDA`HP_gYSUIDc~AbXO?g}R}IMc}a_XOWfqSCHzdYA[hMcfMTgIpdZAkhUgjMTgIUdZAdxUghaTXIjdUqgPUKh{TfI_DXQi`T{icT`ImDSQgpRchwTDIcDMqePSkhkTNIYDRQUhJcdmTxIyd\qqXXSkmUWJBdfApXXgkQT}JKdfAnXXgjyTnIwd[qo`XCkCULJ?DbqcHQShEOvG\cMQ]xNkfqVHJedqqx@[{mWVRJdDsQw@[KmKU~JaDnQuhZCleUiJhdjaxxYomaVAJQdpatH[OlMU_JZdfavXYGlqTbIrdXQuxZklqWOKAEAr@@_{oKWLKAD~r?P_coKW@JoD~r?P]SnCW@J|d~Q~H^KnmVtJlEAqzp_{mwWLKDDtQz@_{mkWLJvDxq}@]knWVhKVEMrEPb{p_W|KMEIRC@aso{WjKYEDrBPbcooWvKGEHrCP`SpGWRKhEORG`d[qgXBKbERRHPdCqOXNGrcYQLWMKFIBf@s_zO\WLCEiBRCCaBP@WlKUaJNFLbfprgwc[UMLG`cPqGhBsaAO~GZcMqFHOCf}R|I|d^qnh]knQVfJiduQyxjGtYYuLWelBTxiWtYYiLWeiBTxi?tqYcL]egbVXiWsuY]LSefBTXgwsiYQLJecBRHg_suY]LEefBPXgosEYELDeaBOhfwsEYEL?e^BOhfWs]XwLHe]bQHf?sAXsK}e[bNxfWr]XyKue]BLXf?rUXsKve[bLhi?rIYcKsegbKxe_siXcLKeXbQxdotiYuKkeUbUXdwtqXaL]eWBVWA{@a?lMW?KoEwBSxw?x?\_NRh?B{AE@@Au`[OlwcSQQHFC^aOpGGskYQLFEWbKpdx?s_]OPGBcAq@HG{cYQJHIccqQHRChYSnIXdLQexX{lEU`JQdiQsxacpYWjKPeHrChxW{y]YNOfeBrxx?|E]eNHfhBqhxW{U]MNLfeBphx?{I]QNCfdBoxwG{U]MM~f_Bphvo{I\yNCf]Boxvozm\wMxf]bmhvwzY]AMwf_BlxuWzY\iMwfYBlxvGzA\cMyfWbmxuGyu\cMnfVBkHugyq\eMifYBixt?yy\MMlfSbjxt?ym\QMkfRbihscyY\JMefQRhXsGuEY}MbeoBghp_{y[[NOfEbrxpG|E]eMJfhBahooxy[OM_fBbfxrWwM[IM\fMB`Ho?xe[CMYf?beHngxUZ{MVe~bdhn_xiZuMWe|BeXqgv][mLxfJB]HqWvQ[gLufHB\XmWxQZaMRfHB[hlow}Z_MPevbcHroum[}LlfOBZHl?w}[aLifGBYXrWuU[yLffMBXhsWuIZGM`fPBWyFO?i?X?J_EoBw@tCW?b?Q_GSR?A[@U?hPKgfSRYHdCyaZNSGdRtaHLCk]jN}GYSLa?DBS^~OAGYSLa?\BS_BPGF}SPp~lCW^vNwGbR}aHC~caNNtGaR|aGlCK^nNrG`R|AGLC?^dP?FwsO`}DCC^^NkGasOp|tCO^ZNhG^ryqFk}g`|OyFrRyAFdBk^NOyFpsMp{k}O`xN_G^RwaFk}C`~N\GZrvqFK|w`pNYGdSQPzdCk]vOvFjsMPzLB_]pOjGWsJAE\As`dOaGQsHACtAK`NO[GSSIaBt@s`RO_GLSGQB\@{_rOWGHsDQAt@O_nOLGHSBaAL?{_`OmGBsAQEDA{_POIGASBA?t?k_JQ_?JOEGA{@a?n?U_MOFgBk@q?|?\hX?EWB[@i?r?Z_LSLIEtBUdcQwh\ClIVHJMdiQwh\ClyVHJYd[QahOCjYSHIqdEQkhVChIShIud]QehWciIU@I]d]QhhWciyU@IiapPYgksVYJ\DqdQQShTcdiTPHUccQthHclyQHJYc[QqhGClIPxJMdKQJhEciISxGqdGQGhPcaiShGecMQ`hAcgiOpIAa_Q\gfcfyIHHyacQ^hNCTIRhDMcCQYhACfIOXHmbqP~g|c_YNPGAbwPug{C^iMxFub[Ppgvc[iLhFAbePiguC\YM`EmbAPggpcYYKPE]bIP^grCWIK`DyaiQVgjceYIpHa?Z?N_FOBW@{?y?T?K_DoAg@c?mgi?P_GOCgAK@I?`Q\hNsfhqcxI[fMTfJrdhrcxm[zM`fPrgiahPmgySViMDDib@PmgySXiMDEi_XO}gaSDiADCI_pO}gaSGiBdCI`HPQgeSJiHDAiaXOyggSKiHDBY_PQQgASei?DHY^hPef}SYh~DEI^`PYgiRyh|dDy``N]g[RxiEc}I_pNQgORuiBc|Y]HOefeSIhxDAy]@OMf]SDhvD@IcxMmhQRliSCzI[lM]fLRihssyIcxMIhQRciSCwybpL}g}R`iOCwIZ`QEe{SbhmdGibpLeesS_hldFycHLYhERWiPCtyYXQQeiSehiDHYW\KIeBRChbSpYW|KeePRIheSqyY@JqecQ|h\csYVpKue]R?h^criE|Be`pP?g`SOYG\CUaHPHgdsQioxRqh{UHi]daIiHVyieU?i~dSihpW]i_UHifdaIhXVyk?TLi~dRIh@WQiSUEicd`YoHSUkCTEj@dPyoXSMkATCj@DOig@WYiAUCi^d`YeDRIhbSriYtLIe|RahlSxi\tMilHVUjUTvitD\inXUYjyTgi}DXynHUUjETyi{DXIk@VIjgTaiod[yjxU}jaT\inD[Il`Tij[T[iudUydPT]hWTXiTdUIi`QuikSniidJiv`ZQluUtjZDmiuxZElqUrj[DkipPYykWUojDdjys@[MlAVDjaDfyr`[AmCU\j_dfit`XmlYUXjTdeiqpYUkoUfjJdhiqXYikiUhjSDdIsPXAlGUQjPdcYphZuk]U~jFDni{w@}@B?__NoGWCC~y_@N~g@s?i?LKue^RMhgssiYD^?nnVwJxT{Q}t]snfVnJytza}d^?nVVqJuT{Q|T]snNVnJstza|D]OnNVeJstxQ|D]SnVVeJuTxA|T^_mPVEJztpq}t^KmRVtJdt|AxT\knBVbJmtwazd\GmjVVJiTsqyt\_m^VYJgtuQyD[om|VMJoTrQz|aW?f?T_IOCwAk@QdXQmhUsjyULJAa^PPggSSiIdDMjjTvizT[imdVMj^ToiwtZIltUuihTUiitTyjLTaqOWtkbeLzHHbYpgXCkbEKzGhbIp]WzkWeNZE@bqp]Wwk\EKZE@beqAWkk`eJjGPaup{Wkk_EJZFxaypQWtkTeLzDPbYpKWqkSELJCxbMpKWbkQeIJC`a]pQWbkQeIzC`ainqW\j|EFy~X`yosWwk\EFJBXbeomXCkKePjGh`aqMWSkceDjH@`UoaX@kHeOzAPcIo[WzkGENZ@xbqp{WJk_EBZFx_qoPWIkCu@Z?|_Yp?WAkAEGj?XaEoyV~kNE?ZBx_AnwW_j~EGi~haEsoSNiGtCIaTPQgfUkjUtiytLYilPUdjRthisTYQlFY`LLufRS\iGsxY]LLufRSDh{sxYWLRuiRRTi_srYWLQUebSthctJXsLPU\bS\fStBXpLNU[rSDfGs~YcKvUhbMDiSr^XjLRuiRLli_rXXdkruXjK\eQrDYTKoUdrKLd{slYQKmUdBJthKqzXXLGUUrP|dgsbXULGUUBQLd[s^XRLEUTRPtdOsZXOLEUSbPtdCsZYTKeudrHthWq^YRKducbHThOqXY?L@u_bOlgCsHX|LBUaBN|g[r|XhK|U^BLDegrvYHKzuarNLggrpZqLpuxZ[dmAvDZ`lXezzUhnEtgZolvekJ]HjIv_YpluEjZ\pi}vYYmlUEzjTPmqtUZlljeyZ\XlevSZWlZEsZV@lMtmZQlfExjY@mau]ZflaeqJXPk]uQZEldeojXhkQuWZBliEnzYpkEuiZ?llEnJVplmuwY|l[evZZxjmtsZ]kMuFzBtaApDW`mAFFzcHoYwI[_mHVCJaLouw^[MmEFFJ`Xpywy[IlyfFzcHn]vk[_mME{jbhnQw{Zrm@FAJ_XoewA[FmKe~j_@pmwsZ~l|fCz^hpUvw[SmJE}Jb@niwmZxlEUbjPlg}sbYOlHucjQdhUsnYUmPFOJgPqQxE\@m]fQZfxsix{\Jm\FOJgPrqxu\@mZfPjfHsaxo\Fm`fLJghrYyG[tmWvKje\qyx`[nm`fIzdhsUxW\CmSFQZdHsixS\JmbFHzchsaxK\FluUzj\lm}vbZomrvYZlDuQzL\dmkFYjjPuqyq\jmtFTZl`t]zU\UmhFZZlxtQz[\RmffZZlxtEz[\OmnFRJhpuAyY\^mlfWZkXtuyw\am}F_jo`vyzy]Bm{f[JnXvIzs\pnAf\joxva{K\vmxf^zmhwEzg]?nGfaJqXwi{c]HnDfbjq@wu{]]KjqTxi{lgAsDY@k}u^zNtnUvnZulyU{j]\tyz@\^mlvVZjdy_|Z]eNVVhrtdyc|F]dNTvibsdy[|@]gNPVhbsLxs|F]dNNvfbsdxo|@]YNPVersLxg{z][NNverrtyc{h]jNJVibqlyo{n]mNKvjRrD{s?N?H_CUGzClaQuJZFlbUojWdkMxP[imSvHjc|qUz`\qmwv[zmlvQ}w^`nnFwJzh|}~C^XnqFuj{X|m}w^UnnFuJzh|]}e^Xnifuzy`|i}k^OnhFuJyH|]}a^RnhFtZy`|A|_^HnWfpzx@y}}}^CnoFpZwp}E}A^an`fxJwP}M|{^Ln_Frzvx{y|u^Mn]frzv`{u}S]wneFmjxXze}M]tncflzx@zY|c^InYFrJuX{n?i?C_Ao@kAh~Y~g_VnygDkAh~E~e_VnxGDj|q@J?g^noHf{J|Y?}~Y_OnuGCZ|A@J?g^ioHfy[@x}U~M_OoGfxk@I?N?U_DoDG@K?A?Z?O_Ao?g@z~i?q~}_Mn~GBZ~H~q~o^ynzf}w?{?e?P?F_CoAKFyBX@x_wO^WLsFmBd@x_zO^WMcFmAt@r_nO\wJcFUAh@n_kO[WIsEuA\@f_hOYwLCDEAP@`_eOXWHSEM@|?t__OKWFcBMAD?v_bOMwGcBc?Q?L?D_AO@g?mE?}P^Hnbvqjxd{nAm`\okgV{JADzAs`\omGV{JYDzB?`JoogRKKQCvAs`SoigVKIqDnAo`RokgS[IyDJBE`MoqgSKKaC~AS`_opGQKKICfBI`FoqGPkKYCV@~`@o_WO{GeCJ?^_PoGWCkAe@NBWaCovG`kLiGVBkaGpBg\[MyGfCM`qpCg\KPAFNCG`npBG[[OiFBBP`forWY[L]EjCC`zp@g^[OIFrBo`}o|G_KNIF~C}aIpEGgKPYIFCqaRpLgd[RQHRCmaQpKGc[QAHZCYa[pFgfkPqHvDOajpUgikTIIrDCadpPghkSaI^@x_|o^W_{OUGFB|a?o~wmcUeJpDjazPZWlCU}JdDlawPYwjsU}JdD`awPVWmcUMJpDfazPXWrCJuD~AzaXpLWe{QuHbCnbQPeWrcY]LPEZbPPewrcX}L@EXa|PdWnsX]JxERbNPbWsSXEL@ENbBPhWpSYeKPEfbIP_WqSWUKlEBbiPkgx{ZQMbFQbWpsGt[[yLZFQbVpqGw[[qMNFIbaplgvkZiMBEwb^pxgyk]iMrFgbjpwgzk]AMvF]bqpdWq{XMNpFlb}P{W~S]}NtFrbzP~W}c^eM^FRbgqA_?S^}O[?Ec?qB??c_MOS?CcA_?h@s_eOW?EcB