CAT(2322,1)

Sparse6:

:~?cQ_?O?G?CAK?H?C_AOKoDCA]@R@A?UoJwDsAy@^?l_WoKgECBI@b?o_YOKwEkBM@h?t_ToIgDcCmAZ@K_doRWHcCSAh@E?ioPoIsCwAJ@O?boRoGsDCAP@R?dOS_HKCwAh@O?jORoIkCO@x@B?^OO_FkCO@~@@?`OOoGCBcAP?z?dOM_HKBcAb?z?hoM_ISBo@~@@?]oN_GCB]@p?u`?_HwDKAa@P?h_RobONsGAB~@z@?o_oNkFoCD@z@BO`?NkGSBx@`@@OW_O[E?CB@y_{O]WMkF]Bl@m_uoZGKWGQBIAE_q?`WJWF}As@}_m?_GMOEaBK@s_r_[wJgEeA}@j_n?YgJ?FAAm@p_k_ZwU_Au@^?m_WoKgECAi@X?j_ToJGDSJgDfA{@XOmoUKJGDzAr@^okOVsJOClAu@KOlOQ{IyD`An`]_iwVwIuD{Ak`\?iGV_IeDuAi`Q_mWSoJaDMAv`Z_ggS_JeDoAb`Z?gWU_IAC}At`GOcgQKHQCjAR`EobgP{HgCxAX@NOeoRkG_CTAH@EO`oP[N?@x?|_^OMwFSBe@l?w_ZobWP{GyCXAI`Dp@O^sNqFzB|A@o~__cNoGDCA@{p@?^[OKFtBu`{O|w^wNaFkC@a??|w^wMmFSC@a??zG^wMuGABna??zg\OM}FWBm`t_zW\CMeFNBc@wOx_]SNCFJB`A@Ow__cOKFFBW`lOuWY_NmEcBy`h_}WYGNMFiBN`g?|GX_NAFaBM`x?rW]WKeFiBI`y?qwWKKIE@BB`aopGZWK]EyBG`b?vGZoLUF?BV`n_tgCsAY@L@w_|O]WgSSMIBDAa`pOWecRIHfCdaPpHGc?SQHADEaP@PWbcPiGvCVaKpEGg_PEGeDEaH@PWf?Q}HsCpa[`KGewQuHiCmaZ@JGfoQeH}CjaT@OGfWQYHOC|a]@Hwa_O}GkCOaI`Bg`?P}GyCIaN@AW`_OUGMCLaD`@glkUmJXDiasPYWi{TaIlDdAwpXomSUWJfDXAmPUojsTgIzD^AhpTOkKTOJ@DmAgP[?iSU{IbDaAfpR_kcSsJFDHAdpR?g{SgIPBi`uOywN[FuBxB^`oOvgZ[LuExEWBHPe_qcXcKfESBIpdoq[XWKdEUA~pdonkVwKjELbFPbGp[WeKTEGbBP`wpwViKaD{bG@]wnGXiKoDwaz`eWpwVQJkEOay`cWo?WMKCEDb?``GvwAM@H?d_PoHWCcJIDfAp`COaWO{GeCPAF`DObGP[PuG~C]a[PMgfKRUHnCuaBp@g_kViJxDzbr@x?zs]KM~FdBmpr_zS\?MxFNBlpq?{K[cN@FIBpPw?x[[sNDF`BePsOx[[sMfFQBePr_xC\?MTFNBcppOy{\cMNFWBbPpOyc[[MlFEBipwov{]SMBFcB_Po_{[]OMHFBBqpn?zkZsM~F]B^Poov{[OMBFAB_PgozSYGMxE`Blpt?usZ_MlEvBipkwukZQL`EqbWpjOvcYwL|EnB]ps_t[YoMfFPBTPhoy{\_LPFXBSphO{CYWNDEcBopmOrsZkK~EyBOPmOrcZkKzEyBLqL?\kMyF^DXalpUgisTaInDFacpQGhcSmITEcbRPhXG?cMQCHDc_aPHFgcIP}H@c^AOHE_biPwGuc\aLXE_b]PiGxcZAMHGW]qNYHDbvAPHFw`}PyG`c^AGHBc`yOzGYcLqEXEw_uO]Gxc[ABh?wbMPcGHcWaAHEG_IPeGBcXA?W~WayNyGncW@~HDo^aNqGob|AJxDW^UPYFvcU@|g|waaNaGibwAIXDO^QPOFqcS`{w|GamNUGlbtAJG{obiPwFgc\`xxCg`MPMGTcRADHA?`YOcGWcGaDx@OaIOWGccDaGx?g^yOKG?cA@~xPof}SBI?c}Q^hNkgkQ^ILCgQSPPcgkQXILCfQb@Hkg_QVIICdQaPHKcWSPHGDDQPpPKfWSDHwDAQ\pO[dGRZHSCvqSpLsfcRHHzCrQ]`KkeCSJHaDBQWpO{e[Q|HhCoQY@J{dsRfH[CyQ\PJ[egQpHkClQYpJKdSR`HqCjqT`MKZeLvEyb]Pngvki?TpIaD\QgPVKjIThIrdWqjxUCikTvIhD]qi`Vcj_SbIRD\QmPQSgwTvIOD]qbpVciKSzI^DQqf`Scj[SxIuDLQlPR[h[TLIXDSQe@S{hOTXITDVQd`TkaaPTGhcTqJXDcayP`GncWqKxESjwU~J?Doqnp[CmGUrJcDlQwpZ[lWVJJWDrqtp[slwUhJTDmQvPY[l?U~J`DhQw@YKkuU^JMddQrHX[mSUNJfDcqx`XCkWUxJCDnQpPZkkCVDJBDqQo`[[gaSTIHdDqbXPcoMWJKCe?r?h_CoWVhJuECR@p]koWVbKGDxr@p]SmwWRJoEDqzp`SmkWRJlEDqz@`SngVPJ{DtQ}p\Kn[VzJxD~q}@^sooWvKMEMrBPbcp_XBKbELRG`bKpGW|KSEORCpb{o{WjKVEGrC@asqsXTKnEURJ`d[qOXNKeESrHPdCB}A@@@_ZOMGE{IEC~A_`NOfWRcHeCvAYaRPHwdCOyG`CNa{p]Gm{VQJlDtcHqDXAc`AOdGPdGqcxQSgyS`INd|Q~H^[n]VrJwelBWHj_uIYuL`enBUHjGt}YyLVelBTHj_tYYuLTegbTxjGtMYcLWefBTHi?tYY]LTegbQxiWsuYcLKefBQHi?siY]LHeabRHgwsmYKLLe^bOhg_sEYEL?eabNHgwryYKK|e[bQHfWsiXsLHe[bOhg_rmYEKyeZBOXf?r}Y?Kve]BLhf?ryXyKveWBVXeOt}XaL]eXbWHeguIXgL`fJ?DwBK@a?v?Y_MRfoB{@y?zMg?OoGGCSFyB~A?_joUWJCDiAx@Z`ooww[SKmETBHagPSgiKSuI\DNbUPiwtSYaLREfclqVXJcdaQtHXdaqphWckEUFJAeERBh`kpAWbKNfhBrxy_|E]eNOfjBrXyw{y]iNKfcbrxxW|E]SNOffBphww{q]ONLfdbpHxG{U]SNBf_Bphx?{I]MN@f^boxvg{U\{NCf_Bmxv_{I]AMyf]blxvoze\}Mwf]BlHuozm\iMyf[bkHuwyy\oMnfWbjhuWzA\cMnfYBixuoyu\iMkfWbixuOyu\eMkfSriHtSyi\RMgepbhXkgy]ZGMefGBshqO|Q[aNRfjbbXygw}]kMMfDBgxp_yQ[UMafBbgHpGyE[OM^fMB`Hooxy[IM\fMB_XrowM[yMAe~Bgxo?yQZ}Mae|bfxngyEZwM_fLb]HnOxi[qLxeybdhqwv]ZkMWexBeXrWvQZeMYevbdhmGx]Z_MWfIbZhqWuq[gLlesbhXswum\KLierBdXqWuaZMMSg^?Aw@k?q?\?O_FsQ_AK@I?fPO?IODgAlDIa`PPggSSYITCs]pPNFlSR`zLB__HOBG\S?aFLB__JOyGBsMQ?tCo_BN~GdSQq?DC_^xN}GbsQP~lCo^tPJF|r}QHS~WaJNwGbR|qGc~SaNNsGcr{qHDCS^bPEFxSP@}DCC^ZPAFvsOp|tC?^TNkG^ryqFs}caDP@FrryAG[}S`|P?FrRxAF{}K`zN`G]RwaF[|waZN_GfrvqHtBs]vN\G\sN@zdAo`dOmGYSJQE\B?`ROjGWsIaD|AK_zO^GQsHABt@g`LOZGRsFADDA?_nOaGKsGQBD@O_bOUGHsDQATB[_`OtGFsLa@t?k_POIGEsAQ@dIO?t?[_LoEwBc@i?p?X_JoDwBK@adk?]_NoFWB{@y?zOwg\SMYV`J]d{Qwh]cliVHJqduQ}h\CnYU@IYdGQqhQckYUHIadcQhhWChyUXIqdiQjhYCiiUXIud]QshVClYJdDyazP^gosWIVHHecsQzhKCmiQhJ]cmQwhZCdiQPIud]QShVCcyQHIec_QfhFciIPpIUdKQKhEchIPHIqdUQJhTCaiIXIEaiQahPcTIJ@IEakQbgjcgiRXGYcyQGhMC`yOXFucIP~hAC^iOPFibuQ@g}C_INHFMbmPqg{C[YLxFQb[PtgwC\iLhEibWPhgsCYyK`E]bEPdgpCXiJHHyauQ_glCfw@[?u?X?J_EOBW@s@A?^?M_GOBybG@E?d?R_HoCWATIMdBQafHrdXqcxq[zM]fPRhHs[yU\NMeiNdEYcHPmh?SYiMDGYbpQAgyS^iBdDY`HPQgOSRiDDDYaXOqggSJiJdBYb@O}gkSMiJdCIaPPagaSUiTd@I_pQuhWSDiND?YbhOIgwSBh~DEY_@Pmf}SYh|dCIaPNugaR{iDC}I``NigURxhzdBy]hOyfkSLiBc{i`HNQgORrhwdGyc`M}f_SahtSyy\LMuf\RkhrDIy\@QufMSkhqdHIcPMQhERbiTCwid@MEhQR_hmdHYcxL}e{SehlDHYZ`QYhMRZiSCtydPLehQRWhbspiWlKaeRRIhdsrYXdKye`RNhiCnyYpKEeiR?hgcoiW`LMecRBg\sNYFdCQaJPEgcSQYG|Cua^PMjDdOIphSIkWT@ijD_yixWQiiUAjDdSii`WuieUKjADSYoPTAkETNieD`YhpW]iYUEicdaYpPSmiSUGjAdPih@W]kKTFjDDPYgXWeiGUGiYTLielR]hrSwi\tNIfTR}hzS}i~dZYoHU}k?TmitD^IlXVujWT}i{dXylHVmjsTgiydXYm`UYjGTriod[YkPVIjEToinD\ik@Vai}TviVDUye@Tuh]T[ikDKYePTiheTXj_dbiwXXAmCUNj[DlYuxZilkUxj\dkivhZQlwUrjPdpysh[elGVGjODpIsP[YlAVDjVdfiuHX}l_U\jLDiYtXXqkuUijJdjit`XelYUWjRDdIqpYakiUfjGdniqX[AkcU~jt_GGCSAE@D?`_OS?y?d?I_JOFgBSsYY\LIehRThjT}a}d^knlV{Jyt}A}L^cnfVqJztza}d^?nlVnJyt{q|\]snbVqJuTzQ|T]_nVVhJuTzq|T^?nPVmJstsA}|^cmdVwJgtrQ~T[{nxVMJ|twaxT[onHVbJdtxa{L][m~VdJoTvAyt\_m|VVJmtuQy\\kmjVYJiUI_Ac@Y?j?S_IoDiULJId`QrhYslIIdDUafPUgkSTynLVmjtTui{T\ymlVMjhToixT[YjDTiirTZimtVJHXbepuXLk\ERJHPbYqQWwkcELzEXb}piX@kYEOJF`bMpyWtk^ELJGpbIpaXFkaeKJEHcQpcXAkWEOzDhbep]Wzk\EJjDPbYpWWwkTeLzCxaipQWkkSEIzCxaupQWmkVeII~haEn}Wbj~EGjH@`yqSW_kceFzBXcmoyXLkMERJGh`aosXFkKePjFx`UqAWVk_EDjF``Ip{WSk]eCz@xcIo_XCkGeOz@t_qoZWJkDUAZCh_apKWEkQE@z?XaEoIWbkAEGjCh_IpKW@kQE?JR`PUghSRiJtEIatY}lbUojUTjitlYelVUijRTiIs|iCtNY_LQufrSth{tHY`LPUgBS\iksxY]LUufRTdi_sxY\LTUfbTLikrpYlK|UjBNLf[tLXtLRu\bSli_rdYiKyUiRM\iGr^XpLQUgrMDeerTXjkrUYJK|hcrFYZKquebKde?spYUKpUdrKLhOq|YTKnucrJlhOqtX[LIuUrQ\d[s`YQKkuUBQLdOs`YQKjUTRQLdCsrXRLLuSbRTh_q\XOLJUdrH|g[sHYHLBUaBOlggsBYKL@uarOTfwsZY?LFu^rPteorvX|Kuu^BLtnWvNZhlsUxJ[tmUtmZrlyemJVHnQtgZrlyeljUhnQv_YqlXe{j]HjEt[ZolVe{j]HjAtsZZl]EvZVXlqvYZWlvEujZHm}vSZQliEzJ\XlMuQZKlderjXPkuu]ZElgeqJY@k]u}ZBlaevj[@kQu?Z`l`EwzWHmIt{ZUl^etzYhjupBWbkPUHZCtaQwh[UmIvCZa\pIxE[MmQfCJc`o}wU[_mPFBZcHoqxIZzmPe}Zc`nivk[_mPE}JcHn]wI[\mBfFz_ppywm[AmKf@Jb@oMwOZ~m?fAj_@oewsZ{mME~ZbXnys`YQlGudJQlhMslYWlJueZR\hixK\JmRfQjd@sqyU\@m`fRJgPsiyG[}mbFOJghr}y[[zmefNZhxrqxo\Gm\FQZfHs]xj[vmZVKzedrIyG[nmbFKZghrAxW\FmVFQZdhsayY[hmffIzhpqiv`Zqlwu{z]lnQy`\QmgvZZl\uqz_\]mvFVJlxtuz[\XmwFUzlxtiza\UmkF[zmPt]za\RmxfTJmPtUzO\amqFYjkXuezI\^mrfWZkpuAzg]BnAf\jo`vU{Q]?nDf_jpPwEzs]Em}FaJnXw]zq\}m~f]Jnhv]{c]TnIFdzqXxY{]]KnGfbjq@wunRVijsU`JOtgUsDY@l@u}Z^\nivlZwlzvWjkduMy~\`moVkBtTzG|X]pNTviRt|y[|Z]gNVVjBsdyS|T]eNTvhrsLyc|F]gNPVfrsdyW|@]dNNVfbsLy?|F]^NPVjRrDyw{r]YNVvkBr\zG{z]pNMVsO@C?i?RWfkSuIJXLkmuTZElbuqJctq]xP[imTvIZmdvYzj\vm{v]J{x}E~O^anoFxjzh}M}}^dnnFxJzh|i}w^^nnFuzyx}I~?^XnofuJy`|i}w^Unifuzy`|]}k^XnifuJu`{m|i^LnXfrJx@}M}S^dncfxJwx}a~M^DnbFxjyH{I}e^CnhFozyXz}}c^?ngfoZv`|A|{^Mn]frzxXze|u^LneFmjup{}|m^On[FrkBG?U?N?En{GEZ~Q@m~q_YnygEZ}y@m~k_YnyGEJ}Y@]~c_UoHfz{Ah~F?g^ooHfzKAh}z?g^lnsgEJ|Q@Y~U_VoEg@{@I?~?O_MoEG@k@Y?V?S_Co?gCK?Y@J?C_Pn}f~k?@~m~}^{_COAg@K?a?T?Ho`gOCFUCH@x`@O\wOCFmB|AD`@O^WNsEUBt@f_pO^WKCF]Ax@x_nO\WLSDmAl@l_sOUWLsDEAh@r_hO[WFcC]AP?x_aOMwFsCmAD@N__ORO@W?{?Y?J?F_BWXBxd{u}V^MngVr{KQDnBE`\oogVKKQDzB?`boogV{HyE^Aa`hogGYKJADzB?`YokgV{IyDvAi`[ojGU{KaDJBK`SoqgS{HqERAY`eoeGX[HQEbAU`horgQ[G]CVAH`GobWP{A]@V?h_UoKWD{PaFJCY`oowga{NIGbBuaIo|Ga[MyGvBoaJozGbKPAFNCS`tpCg\KL]ErBT`lovwZkOqF~CAaFpAg_KOQFrCE`}pAG^[PyIFDCaOpFGgKQyHvCqa^pKGfkRYHRCwaTpLGdkSYHFDIaRpQGckSqIrD[agpUgh{TyIfD_aipWgi{GECJABaEpBw`[OUGRCFawP^WmcWEJdD~awP\wmcVmJdDxazPXwnSUeJpDda}PYwoCU}J|DlbOOpwWkKMHvC|a^pLWfKR]L@ElbQPkWsSY}LHEhbOPiwsSY]KxEBbBPewrsWULLETbTPeWtCX]K\ElbHPkWqCY}KxEHbEPewrsWmMxE{bjpmGz[ZiMrEqbkplgy{ZQMvFIbgprgyk[qMfE}bapqGw[[AMNFmbmpwG}[\yNbFcbtpwg|K]YNZE\bNpew}c_ENlGDb{Q?w~S_MN|GDb}Q?Wy{\mMq?AcHQ@o?s`YORGI?AQDX@_?QOe?AcGQDx@o?YOj