CAT(2592,2)

Sparse6:

:~?g__?O?G?C@W?h?T_HoDgBC@]@C?\_NOFGDWAO?~?`?POG?C[BO@L?f_QoIWDCAi@V?l_UOOoBK@i?v@W?bOPwHCCYAP@F_]oNwFsCAAD@@_`OOWGCCQAF@D_a_NWGWB}AG?}_[OLwFKCW@h?u?cOPoEkBE@f?q_V?NGDwBi@_?z_~_KWE[BICO@~`?o_GNcFyBz@x?co]oH[FgAT@M?|oR?NKCsBt@{?io^OIsD[B|@t_xo\GMKFIB`@n?~oZ_OKEsC@@i_uOYwKcEYBJ@]_oOVwJkDmAx@Q?zoT?MsF_Af@b?roW_LCEcBB@W?foUOICDgAb?d_RoHgCsAU@N@b_ooWgJ{EAA|Az`]onGVSJeDpAM`FocGTwJuDuAp`W?nGTGJaDsAj`T?mWSoJyDMB?`S?nwSCIIDBA\@YofoU{HwDlA[`LOewUgH]DmAW`K_lgVoGmE?AL`^_bGOSGMCHAD`Bo`gQGIqCeAm`H?jWQ_IMDIAU`Q?dWUOGiCOAs`X_aWW{KeEPBm`wOzw\kMmFXBi`soyG[[MQFDBd`roxgZSLeEvBR`iotGZ_KuE{BN`m_rgY?KiEcBJ`g_rGWgL]EKBW`j?pGZwKMFABA`o?oWcwFeBv@y_HoDWAc@q?|?\_SOIWDSC}Ab@O_iOSgI[DUAn@U_xo\WMcEUBL@c`boqWXCLeEtBZ`hotWYcSgIBD?AcPQOf{SGHtDCA\pOofKRWIJCwAbpLogsSgH\DHAVpJOhCPwIJC_AbpFogsSGHHDBAQpP?csSCHBC~APpO?cSRwG|C^A]PG?fkRKGvCtAMPFOecPgH`CXAWpE?eSQgGjCkAJpIoasPSHNChAJpI?asPgHNChAKpI?bCQOGvC\ARPHObcNKHZBpAVo{_dsPIGfCSaGPCW`{QKG\CKAPPGO`kOgHxC}ACpAofkO_HrCzABP@ofSOOH`CBAXP@OeKN}F|B|a?P?W_SRKFtB{AYPLO^[QgFrCj@zpJ?^CNOHlCv@zO|OfCX{GlCTaJpEgbCPeGvC\aMPGGb{PyHBCbaPPHGckQY?n?W_JOOGGSCE@B?__NoGWB{AA@D?c_PoLGEsBU@p?x_ZoMgFcBm@\?o_VoJgECA}DRAj`TOhgTCI]CpAX`JoawPkGqF~B|`~P?g_COENMFZBopwozk\oNDFeBoPxOzs]OM~FKbfPrWxG\}M{FIbo@qwwK[IM@FABjptOwK[?MlEyb]Pmwv?\mLqF\bZ`vGucZYLjFQBYPt?us\KLjFWBXpu_uS\cLbEnB^pk?vsYwLzFWBTpj?zSYsMrFNBSPsOtS\?LRFBBTPpOtC[OLREdBbpp_ssY[MPEcBVpg_tsYKL`FEBNpgOxC[[L@EUBPPdos[X_LHE|BHpnoqkZwKhFBBGPpOqS[OKbEKBMPf_pSWkKzELBMPborsWwKzEdBBphopKYWKPE`BAP`_sCWSK~E@Bfp_oyKWGM`D}BTp_?tkYoJ~DtBWp\ou[VWLdEXAxPeomcXgJfEyAvpn?mCZkJbDkBKpZ_rSUsKvDiBopwol[UcNDDeBcpY?x[U[MTFdAqPx_kk]OJFD_BipWOy{UGMlFQAmpVoyc\KI|DYBePr_jc[sIvDSBopwoisTSNDFcAgpxOiS]WIfExAfplohsZ_I`DVA}pUOncT_JvDJA{PROnKSoJtHpBKpewrSFqBz@}_IOCwAk@e?v?Y_NOFWBcAa@T?h_dOQwHKCeAV@I_eoRgHcCyAZ@K_foSWICDIAh@R_ioTwIsEyB^@l_roYWLCDaAt@X_mOVWJ[KQELBD`_oogW[jWTSIldUAjxTWiyTcIrdYakHU_jETRIfdSQhHSkiYTAIXdPaehSOhaSZIMdEQaPU[jSSVIsDDQ`xOsgaTYIBdVa`XTogQS{I?dOA_hRwgESeI?dIA_hOGhIRyITc~adxNohYSiHydJA^HQwfmRgI\cyafHMohmTYHmdVa[HToe}TiHlctakxU_eqRQHkctAZXL?emROHmctA[HLGe}OyIocNakhBojERmHac{aXHN?eMQ}INcoacXK?hAQwHxcnA\xJgfaSqHZdLAUXR?diRgHUczAUHMgd]RsHOchA^HIGfmS{HLdOARxRwcyQMINccacXH?hAR{H@c~aOhNgcMPuIRc]achF_hQTUGwdUAMhTObePiIZcZAfXEwhqPcI`cYAgxEWiITSGncWaixE?iqSUGkdDAJhPGauT_GbcQakXUOaQSGGacOA`XOWaEOsHecraFHBWeUOmHdcKaXhKw`aOgIEdCADhAgg]TGGMcGAhh@wiUTQGLcDaiH@_i]OOILcDAbhP__eODGCc@p~`MKfKNzHqB}P|g~C^]ReFqbwA[XMO^ENNFhbsPyg|c]mQKHRciaPHI_cUQ?HJc^ARHFwciOMF~cAa?X?o_ANqGhb|aIw~OaiOaFtcH`{xAO^QPKFlbvAIG|wa]ZGHdcrqXgFkBy@~?q_XoKWScIUDFA_`POgWRSHqCvAG`DOaWOSGQCFAD`Bo`g][NEFdCEaCP@w_kOQGFBz`}O}g]{NeFpBs`zO|W~K^iNvFmbvpzXogwa[MMHfBBahnwwm[AMLf?BbHowvY[ILwfBB\xm?wmZcMKewbbXlOvUZeLkeyBYxkwuuZ]LhesBZhq_uE[kLbfIbWhqGty[cL_fHbVxiOwy[_LSehbbxoOsqY[MCf@bRXq_se[kLIfIbQxqGsY[eLGfHBPxjoryX}L_e]bVxfGuIXoL`eZbWxdwvEX_LqeVB[HdWvaZkKkeUb\xcoweXIMGeRbahc_wEXCL~ePb_HbwwIX?MCf@bGXmgpyWwLsexbFXbGwyWsMNfGBExlOpMZUKTeIBZHl?pIW_LherbCXlwo}WYLleFBZh__tqYuKEeAbVXjGnmYsJ|d}BUH^?tmVsL\d{bVH]wtaVkLXelA|Xn_nIZyJre~A|H\wveZuJpe|A{H[kmQVFJadoqwHYwveZuJXe|AuHn_lQUkL}dib^Xk_kyZKJOeqarxk_kaUSLeeqaqXUsj]TpIxd\Qmx\_qaV[KidubIXawrMWoKqeWbDhhwoiWWLPegBAx_wtUWQLVeCBThe_luXiJ^dnBLhZOsAUwLAdlbOXgglIYGJPe`asxXWmYUYJgdeAxxWgmeVUJFdbAyhWWrqXuJCe\AohVwoMWAJ@d_B?hV_nyTyK?d~aniFGVmJzD{a{P]gnKriXxKzeZRLHekkuUVJKdaqpxWsj}UBJ?d]QnhVlD[a`PMgfsQyHlCqaFPCg`SNyGLCA`kPGgZcQiF@CeaIOrgYcPyGpBQaaMoghbjxuHDI`qOZg\cFYFP@q_oO{gLCNiBHBu_YPFgFCPY@`CY_UPGgCcQi@PCe_?OrgYc?i?HBQ`kN|f~cLx~pBaakNufyCTH}hDUaaNqfxcSyIO~E]yOqfnCKIEG|q`wNZflCNhzHBu`sNWfjCMyFG|]]iOlfhcJhy`A}`YNOgVBsXyPA}`aNNfecKiE?{y]GO~g_bpiG?{UaGN@g`boyGO{I\|N?f^rmxvkzq\cPSgjBlHuXDU\XMmfUriht[ye\KPMfSCSHsxC}aUMbgebhYH_yQagMYfMCTXrXDYaaMVghbeYIOxa_iNmgJb{IAo}}^UOcfucHh|`AU^OOQgIByh|H@M^IOffrCIYD?}]`SNagUBxIDW}M]}ONfoCCX{H@A`ANIgPBqyCW{q]MO]gOBqYBw{a^mMyf{bmX~?za\mN{fYb}xuo~i\?ODg@bghsH?Q[yOGfNc@xrp?YfAAC`@o_gO{GUCLF~c?q?G}[^UNhRehqSxY[\MIfBRZhmSvYZtMAe~RiHkSua\dMkerRfHisyQY|M_elRbH`spQ[LKOfDRdH`SxaWDKCfHRiHDSzAP\MkcXRfHBsyQPLM_cPQBHoSvaOLGGe~RZG~SvQODLob~Pzg}s^INDFibrPegrsYIK\EUbHQmGsskAL\I{bTREHSSqATLK[dTQdH]shqV|IWd|QjHPShATdIKdZRQHOstAR|LKd@RNHMSsQRlL?c|RHHHsqqQlKgchQOHJSeAQTHCcnQNHeSbQXtGweZQDHLseQOtGOctQsGys\qUtJSblQrGxskQMdJGbdPaGvSWQLdEsb@PoGnS[QJ|E{azQ{GlsmaJdJkatPWHZsTqVDJcarLWelRUXjktqYvLCearOxgKsIY@PagoSWYJlD}a|P[glSUyJDDeanTvINDUYbxTmgyTYijDRIhPTaiUTViiDPyhHTUiOTRiedPIhpSUi]TEi`dSigPTAiATPifDJid`S}iYSliSdSIdXTIhSTPimDHijpQahMT\ijDGyixQUioScihdGIihQIigS`h}DWi^hUQf{Tbinc}Y^XUEj?RyhxdWy]hUQfgTaioC|ikHNai}RvinC{Y]PTuf_T[ilczijHM}isRliZDEiehPmgwSviJdJybHREgoSoiIDMyfhPYgiS{iGdNiaXSAgcS~i\DCIfHOyhoSNiXdAye`OuhcSKi@D@Y_xOQgKSBiCC~y`POEgQS?_EoBw@s@I?`?P_FoBW@s@I?`?PgVsJYDtBI`bOogBSAI?|?M_JOChxs|Y]dNYfnRwhws{i]DM}fZRmjldwI{P\qmsV`jkDvizH\}mmV\jatpywt[amTVHi{dsYn@\MjmVQjfdkIy@ZEm[UqjVdqyxhYymWUljiDiit`\YlUVTjhdiYyHY]mcUgjQdqisp[alGVHjPdpysP[UlAVEjKDqyx`XimYUXjIdriqp\AkmVNjHDwI{PXQkeV`jFdvYqH\}k_V]jFDtip`\UkYVSjDdpIwXWekSVAj_d`yp@Z}kKV?i~dpIwPVymET|j_d]yn`[AjsU~iyduim`\qjkVZjjd[YzHVImoTrjZDmYv@ZmlmUyj]DkyvpZUlyUsj@dfis@WUkGU^j?DeyoPXukAU[irdYIlHUUjSTeiud[Il`U}jUTmhlsvYZdL}f@R]eoRVhj{uMZBLabNPfWrcMIFHBb`roxg[kWiKXEJbEpbgp|IadTQhhRshiSlH}dBQ_hMSfiRlVEjfTqiyT\imldOqTXQKduSrHLcWqjXGKjuPrItdkqFXDKmuVBGdcOqtXDKkUOrJLc?qnXTK`UTbGLc?q^XPK`USBGLdKp~W|KiUSbFtbsqXW}KeuNrHt^CrDVoKotzrK\c_p\WoKbuJrGtccpVXIKUuQrDdcoolXMKKURRA|`Kq^XOKIuSRAd`Cr@X]KHUCBJ|_{qxX\KEuBbJ\_gqpWKKlUArJLbgnvW{J}UMq~l^_pnVyK[t}RFDeKnnX`JzUWa}ldwndX_JyUVq}\b[nVViK[tyRFDbgn\W{JuTzRF\]]nPVejptxY{dbSpDWcKZULBC\bKo~WpKOuKbCD`opPW]KTUFRDL`cpJWZKRuEbCt_[oBWBKCuAB?T_On|WEK?U@Q~|kO?T?K_DoBW@{?y?`?Q_GsKyElBQ`nOwgZQYHLSeeRVHlcuQZxMCey^hNufyr{X}[~IgtS[iLtEYbDP]ghSUiItCYa\PInTVjjstzi|d]uvsZqlxu{Z^@nMvmZpl{e{j\|nAv\ZoLyU|b\tnSv^Z`LpUvr[dm?vFZdLmUxrZlmWu|ZSLuUtR\lmkufZgLhuybYllOvRZOLrUxrYTmSubZULhUtrYDl_ubZaLeuxBX|mKu\ZXLfurRZ\kwutZ^L\uwRVlm?txYwLmUmbZtjcuzZKLWUqbULkkt^YkLbuqRTtisuPYdlPuhJSTiEt@Y\LlufrZThwurZULLUuBRdl[svZkLKuzRRDmksnZiLJUdR\DhOvRZwLGucb^LhKvnZtLFu|bQDgwvhZwLAU}ROTn[sFZuL?u_B]dnSr~ZEK|upRNLkOrtZ@KzuorNDkGrlXrLaU\RWtfOuJY}KxU[RWDj{r`Y}KuuoBL|j{r\Z@KtUobLdekuFXhLcUqRK|e_uNXeLdurBKlkgrHX{LYu^bU|fstlYJLXUlBPljKsXYGLSuabT\gctTYFLRuiBOtgStL\q?BoAG@LUUjNTeisTYYlTUmjZTkivt[IltVIjbTriyT\Ymtvy{@\~m|V]JnLvSx@[]MzVFrm|rgzn[zMyvMRmtvkxl[wM}vLrndqaxN[hmQVHjclqCzx[bM}vGbn\vGwx\sMMvErm\u{wp[XMwv[BbTvGwj[UMyVDrm\uwwf[SMuvCblduww^[PMuVCBlloszb\nMFVBBmDwCwR[JN@v_b`TwOwP]EMBv`R_toK{@[DM~V@Bn|oG{B[@N@v?BoTnszp\yL~v]R^twOvx]EL|v`R^Ttcyx\ZMjvUBjTtsyh\^MivVbittKzR\PMtVSbl\uWyX\LMsVXrh\uKyJ\dMbvXBgtsGz@\CMpVOrkLr{yT\GM_vQRgDswxx\OM^VRrflq{x`[mMXVJReLqoxf[tMTvLBdS?i?X?J_DOBG@\{_~H^ENrVpr{l}C}F^bNavwbwd{A}D^@n\Vmzvdwk~H]INrVbB{lw[~B]HNpVaB{\|G{\]NNiVsrplzs}X]~NfVnbxl{k|r^HN[Vqbu|zC|\]oNXVkrt|zS|Z]sNUViruty_}v^\NTVvBtL|w|D^_NPvvrsdxo}^^PNNVfRyD|_{r]YNlVerzL|S{n^VNJVtbrDxK|@]TNOvdBr|yS{`]fNHVhbqMAK?P?H_BoAW@C?]t~Z?l^UoZW\kIjJTfirTZIllUmtRYjlTUhzTDiZ@C_qoOGK{EaAF?}_noNGK[EA@v?}_eoNGIKCy@v@?_boPGH[CIAR@i^xoZf}kEp~n@U_UoSgDKDQ@V@[_QoHgJKDi@F?[_yo[GCKFI?~?Y_noDgK[@aBB?O_qoDGK{Ea?f?I_foBgIKCq?Z?C_boAGH[?YAQ~}_ko?gJk?AAv@Q^{n~GIz~iAi~n^un{V|Z}\~Q~S_wnuGMj|YBe~O_vnsgLj{yBV?o^ooJf{Z}Q@e~[_YnugFJ|y@nBs\kmvVZZl|vEz`[mmVvJZdTqqxV[?m@V?Z^TnqvvaBObw`SHMGPAP`|OyW\cNuF|Bj`zOxw[SNeFhBd`mPCw[CP]E|CT`jPBWZCO}EtCP`[P?W_cJuGDAzaBOkw`SJ]GPAt`UO}wUCN}D\B|`yOhw]sIeDTBx`OP?W_cIUGDAb`vOew]SH}F`A\`JO{wRCNEChBn`EoawPKG]CFAD_~PCwOCP]Gh@|aEO\waCFmG\@x`aOrWXCKmELBN`gOnwWCLUEDBRbDIsTYilLVAj^TmnKvezrTxY{p]VpdWqKXMKVENbEpEGq{PqKvCYbKpfGn{YAKFE]b?p]Gq{VqKvDybKp[wm{VUJZDpavpfGh{YAIfE]agpbGgKWyH~EIa]pLgqKRiKfCwbIpHGokWaHREEaRpFgokWaHFEEaOpQGkKSqJJDIappYgg[SYJNDCaspUgeKTyHjD[aXpTGd[QyIrDUaUnwV{j}L}u~^^mqBGuKZIORGIbVq?g}[^QONGCbwpyh@K_qN^GIbuprH?[\AONFMcApwGzk]IMrF]blpxGy[]aMnFebipqGv{ZqMNFIb\plGw[ZaMJEub_p~gt[^qLZEgc?p}gsk^YLNFwbPozw][NDwi{X]JnBvaZpEEbBT`hoqwX{KuMVFFbcpoWwk[MLRElbTphWs{YMRvH|c~q]XM{fURbHncxqYXL[euQXHVclQQxHsdeQ`HJceQTXHsdMPPHrcTQZxCsfEQHH\cbQWXHCd}RDG~crQOxKccERDGxcrQNXKcbmPlH`cnQLXJcbMRXGpctQJXLCa}P@HXcQQTxCSdmRhG^cMQ\xNC`mR|GVc|QDXNc`eO\HPcHQTXACdMVLEFbCp`WF[B}@z@@_aoOwk{UmJRD`aqpWx[snMVPJvdtQ|X[smuVTJpdsQzxScneVxIhdRQ}x\sl}UtJpduQvX^slUWDJXe?Qtx^Ck}VxJRdgQ}x]SkeVlJLdyQqx^skMWDJDe?QpxUCmEThJddXQwxTSmET\JddUQwxQsiMSdI`dIQfxQChuStILdFQeXVcgmU@IFd^QaXOCj]TtIDd@QmO@G?k?Y?H?E_Ao@G?k?ZJddpqwXQ[h]SjILdFqcXPKgmSNIDd?q_xpcuqZrLme|rYhm{uyZfLieyrZHmKwaZBMGepraHj{wiZJMIesrahk{wIZJMEerr`HlKuIZzL_e~r_Hj{tqWbKQekrDHj[tqXfLWeVrUheKvAXFLseRr[hckpqZnK_e|rFhnKoiZ~M?eFrBHnkwQWJMEeCr_h_{saYbLIeerPhh{tQYJLUe`rOHi[qaXvK}eUrIhfkpYXjKYe[rEHe{{I]VNCfcrphxk|A\~NQf_rrhvkzi^VMwfrrlh|KzI^JMoforlH{[|i\VMmfnrjHzkyQ]jNWfSrhhy{yA[fMUfPrfhqkxa[ZMYfGrfHp|@A^ZNogIrziA\?Q^~OGg@s@i?L?i^rOMf}sBH~[~I_nOYfzr|IBG?I`POngX?@iDlB??HOjgM??iC\A??LOfgN?@ICn