CAT(2534,1)

Sparse6:

:~?fe_?O?G?CBs@c?t_Z?KWEWBQ@m?p_[_KgF?BM@s?s_Z?NGFWBU@U?v_U_MGD_Be@[?y_W?NGDwBm@`?n_VOS_HsCuAX@M_eORWGCCIAB@B_aoPGFkB}@|@E_boQGHKCmAT@i?roYWLCE]BP@h_s_WWKWEaBC@f_ioTwIsD_BB@b?lOW_JKD_B@@Y?nOUOJ{EWAz@c?loXOJcDsB@@Z?noV?JsEOAd@e?iOXOI[C{Ad@O?iOSOI[C{Aj@V?goS?IsHC@P?h_TOKWE[BI@l?s_YoLwFKBa@t?{_\oJWD[Aq@X?l_ToJgECA}DMA]`S?fwSoHuCsAd`Q?fGRWIMCqA^`N?dwRgHaCsAS`M?dWRWHYCgAV`I_eGRGHYC[Aa`G?gGPwIEC]Ad`Q?cGPoIMCPAI`Co`WOsG]CGAL`@_bGPWGICa@~`H?_WQWGABwAK_~?bWNgGmBqAP_|_cwNOHIDK@r`S?\GSwFUBaAa_x?gGM?IEBZ@n_vOYoMsF_BT@k?zow_CsA]@J@t_xo\G[kM]FLBe@^OxoWCJ{FJBQ@oOs?[KLCE~Az`]onGVKJiDpAv@polO[cJWFDB[@XOv_UcLsDfAo@qOkO[SI{FFB[@UOv_TsLsDZAh@oOwOT[L{DTBT@josoZCLOElBL@kouoX{KwEtBF@dOqOXcK_EVBE@_oooWcKSEDCT?SoIGDSAa@T?haN@C_akPOGlCRAJpC_bSPOGpCRAKozG\kMmG`CPaFpB?bCOwGtCLAKpAoa{OcGlCIAIo~__cN{GJB|A@o}?^SNoFrBv@|pA?]cO[FlBtABO{O_CNKGDBqA?oy?\sMgF^Bh@wPPOCcAI@F?c_POGwCsA]@J?d_ROHwPcGuCV@i_toZGLkE}B\Bg`tOyWk?TOInDUAkpTOjCT[IDDXAaPU?g[R{IZDJA_pO?hcR{I\D@AfpO?iCSiIRDGacPQghKTgIJD[AbpUogsSoHbDLAXPQoeCSSHxDEA]pN_g{ReHvCyaZPMGe{RKI\CtAgPL?h{TOHZDUAVpTOdsQgIbCkAhpIoiSTGHNChAhpI?iKQOIxDZARPU_ckQAG|C^aPpGgcKSGGvC\A`pP?bcSIIHDB`mOvgZkMAFBB^`jOuGY{PmGzC[bRphWssXcLJEZBRPe_s{VSLBDvBOP\_r{XYKnEWbFpbgpkWqKVEIb?`fGoOXuKEE]bP@^go?YMLGD~a}`fgnWXqJwE\a{@fwsGViJqE_arPXwlCUeJVDibP@Wws_UULEDcao@eWkOXmJAEYbB`dGpGXUKOERbA@cGooXIKIEPav`[gmGVQJ_Dran`ZGloTuJYD]bq?HGC[AII~D]ampz_|S]qNVFkbtPyw|O]uNWFlbt`zW{{]eNPFgbspxw{W]INEF`bo`wg{g\mNKF\bq@vGwW]QMIFeba@xWwC[IMBE|b^PnwzoYmLYF_bU@vwzoYeLOF_bn`igxw\UMaFVbg@tgu?[YL[FGbV`pwv_[mLsFHb\`qguw\ILqFRb[@tGz?ZQMsEubk`lWuG[qM[Erbe`khDOaQPLGdcSQIXC{]wPHFnCRQHO}C`yO~G_cMqExBc_}ObGOb~P~w~k^kPPF{CSp}`C{`GOXGSCFQCp@k_cPBGJCPqA`CS_WOpGGCKqE`?{`SOFGCCJq@PAs_GNpFxC?q??}{^CNhFrByp{_}sPMGdCSbHpdWqcXAKdEPavPZGlkU}JbDoampVwjsdsRFH^CqqV`KcdsR@H]CpQVpKKdOQtH[CiqT`J[dWQrHSCjqTPJCciQPHHcaqPhG{cGQtH[CaQOpJ[b{RFH@CqqO@KcbWQnHWC[QLpJKbSRBGrCoQL@KSb?QbGqChqKPISckQ\HLCgQR@H{boPZG}CVQNPD{bkPTGkC\QIpFKhWNDFbbopvw{C\yH~D?a_pFWb[PqMRFJbdPpgxC[]LfEqbWpiGtSYeP|G|c]QMxFKbiPTGjcUQJXD{ayTgIpdZAkxUgjITmIodVAmXV?i}T?IldTagXRwiqTAIgdSafxTOiATII[dNAhxSohuTCI[dQAfXRoiMSqIrdLAkXRWjISmImdKAkHQoi}RgIacxAhHMWiMTUILdUabxT_gySWIWdDAdxPWhYTIIFdCahxP?iYTgICdZA`XUggYSBIBd@Q_HN{fyTmHzc}amXV?fqRoIZdKa]hNGhiTQHudTA\XMwiaSiHndIA[XQWfASeHkdIaZhQ_euRQIOctAchLWhES_HecsAchKwhEWOGccRQHXC{aaPRFmbvp{G}[^INbFxbzp}G~S^qNvKXEJRE@akp[WhKOEGrB`aSo{WfKVEDrB@bKosWpKMECRC@`So{WRJRdiQsh\km}V\KRDnQw@aKpGU~JZEJQvPakloWhJWEDrBPZSooUrJTECQtp`SlWWRKDDgR@pYKk{WLJKE@r@@XsoGUZJ~Dcqqp_CkgWBJED~r?PXCk[W@JDD}Qop^skOVzJ@D~Qo`^kk?VxKDD]qnp_{oWT|KAD\R@@VcoKTvJrDtQz@]kmkVhJxDrq}p\KngVPJcDwQxP]KmWVdJ`D{Q|`[[n[VDLaElRUxjKtaYlLVePbWXcgt}XGL_emBGXjoqAXCL\enbFxbouEWyL_eLBVHb_tyWuL\ehbQhigsqYgLJeRbNxcosAXOK}e\bShiGruY_K{ebbLXhGr]YOKue[BKhfOrQXqKreVbOXgWrEX_LAeUBRXdos}XYLMebBIXg_qmYIKidGQchQKhMSjISeyBbHmowyZiMLfDraXpSvk[bL{FFr]`qCvaZrLveqbbxqGu][_LefEbWxk_wy[WLaewb_xogvMZcMCfBBZhm?waZ]MFf?BZHoOuuZUM@e}bYHnwuiZ{Lhd~Q~H^kn}WBK?e@R@H_[oUWNKEfIBmxqOze[eMyfUbkHuOyy\aMnfTBmXt_zm\UMyfRblhtGza\OMvfXbhHsozU\gMdfOrgxsSx}\@M]fMBkxrgzU[uMsfZBeHv?xi\mMXfXBdhqgzA\aMVemRVhjkuEZ@L^fkrtxzC|M]dNPfcBuhxO|q]QNZfnbpXww|y]yNEf`buhw_|q]CNZfmbnxzw{E]{N?fiBrhyo|A]iNNf]Bqxvo{u\yNKfoB{H{O}}^ANpfybzH}w}y^kNlfsb{h}_}m^eNifqbxh|?}Q^ENff~B}I??~i^}Nxg?b}y?W~u_CN{_foSWICJyE@A~``oogWKQeHNCgaQPHgckZ]LrEwbYplgucbaPnGucXqLXEcmQVLJddpqwX[Su]ZJLeeprXHkS{y]`NNfdrrXxdAw`hOuGWSLQD|As`fOkGXSIqELB?`POiGVSJqDLAs`JOjGRsJACtAG`POiGQSGqDLA?`JO`GRSFqC|AG_|OcGMsGqBdA?_rO`GLsFqBT@[_xOWGNSDaBl@S_rOZGHsDABT@S_bOQGHsDAAD@__^OUGFSDq@l?g_dOKGGsAqAD?g_ZOKGFsAq@t?O`bOEGXs@QETBS_POFGYSAQEtEg?l?V_KOEWB[@ibk?[_NOFYN_@}@B?_`FOcGP{NQFlBt`wo{w]SVyK@D~a|p^Wnc_eOVGIcBqAH?sfIRhHrcyq\hM{qYXPKfeTRIxdKxm[xM\fIrdxqs}I^@N`fprxX{dIKdLQdHSShAS|Icd@QjHPSiaSLIKczQdHNshARtHgd@Q[HPSeqSLHwcnQXHMseAR|HgchQ[HJSeqQlHCchQRHJScaQlGwcnQXHGSeAP|HKcXQLHGscaP\G{cTQMHCScAPLGScVQLHBs`aPdGGcPQBHCs`APTGScBQFG~s`aODGOcBQAH?S_qN|FqbzP}g}S^iNlFc`rOwG|sLqNTEOdRPeHTsXQTTEGdLP`HRsWqTDD{blPwGoS\qJtDoblPwGms\qJ\D_bhPXGysUaM\F?ajPVGxSTaMLF?adPqGiS[QI\D?bhPPGysRqM\CobZPMGvsRQLtCcbTPIGtsQqLdEsaLPnGcSZaG|CKbTPkGasPAL\C?bNP@GssOaLDFk`zPxG^s]aFtBgbNO{GssMqLDPG?V?K_DOBw@s?ug{?O_HOCYc_@M?j?SiQTHiclQQhLSdiOcjIcPIud[SbiECti`pLagYRVhlDBi``LeeuSLiNCsyc@LQg}RThgDFiYPQAeaS^hfdEybhKugwRMhdDEIX`PeeUSYhbdEyb`KegyRGhadEiWpPaeGSXiJCoyaxKIgiR@iHCnia`KAgeQ~iHCmya`JugeQ{h[dDyahJadsSUhYdByaHJ]dkSOhXDGYU`QMdeSahVdByaHJEd_SOiBD?I`@OIgMS@h}d?y^xOUf{SChyC}i^`NYfuRthwc|y]XNefcRwhsCzi]@MifQRnhrCzI[xMufIRjiCcwi`XMQgSRbhmCvyZpMEeyR_i{?DwAs@a?l?W_JoEWB[@i?r?Z_LTa_Bc@y?z?]_MOFY`dOygZUIJGtbAqTWkk`ULJGTbqqTWwkbTxJAt]aotV_kHUEI}T`AnlWSjvUFI~T_ApLV{kPU@JBt_qpLWGkPSoiXTKYe\RUhhTkJFtbaltWsjZThJDTYqpdUgkVU@IrT_qlDWGjNTbI|tXQnlUOjxT_I~T_AkTV{jBT^I|T]QjlTwjpSfIytIQm|Q_jlTtITT\ad\V[hXTYIxT\AjdTkjfTVIgtSqjLT_idTSIfTTaiDTSi^TJIatRQg|SoiLTGI`TQagdSciFT?I\TOQf\R{hrSuI]TNafDRshnSlIvtJqmLQwj`?J_EOAg@[?q?T?L_FoBg@s?}?ZVl?HOCWAC@I?b?Oiyt\ymtE]bRPggwS[iMLFQbjPrg{s]yNT]snfVmJyTzq}l^?nfVqJyt{Q}d\knNV\JstvA|D]_m~VhJoTxqzt]gnBVbJuTwa|\]WnTVcJuTxQ|\\_nlVwJlTuQ}|^GmjVVJwt{Ayt]wmdVnJiTzQy\]Om^VeJgtxQyD[om|VMJoTrQz|\kmRV\JdtvAxT[WnBVaJcTwqw|[Kn~VDK?tpB?DZul~U}j_ToiwLZgn~U{K?tmr?DZ[nlVwJ[tmA}|^olhV|JYtla~t^clbVzJXt}auT^cl\VzJWT}at|YknzUlJ~TjA~dXikvUXjNTfYrdX}lBU_jPThIs\Y_kfUTJTTiQqdXWlJUWJRtdqstO}gbSOiKTEYbTPmgzS[iOtGycTd{ohX_KJUWRAlacqlWjKkUIbI|aWq~WgKouHrKDdWpFWdKkUHBI|aGqtXZKOUGRJLdwo|X\KNuVBBl`kqrXZKMUEbJTdoonWXKnUVRBD_aoTWHkDuBZ@d_yo`WNkGuCzATdOqFXRK`UTRGLd?p|XQK_USRF|bkqZW|KfuNBHtc[ppWyKcuQBFLcgpjXKKZuQrEtbGqHXEKYUPRE\a{oDWCKWu?rED_SpXWFKVU@bDlhGrDYSKqUcrK\gcsXYJLFUabPlg{sLYGLGu`rQDf_svY\Kzu]RRdfWstXtLKU\BRLfCsFXrLAu[bOdfsr\X}Kvu^rMDekrtX{KuuZBN\e_s@XhL@UYbOLhSrJXfLJuXbQtj{?~?`_OOGGB{AEelRVhkSuiZLLmlNUejQtiItTYeu[ZGldEsJXHk}uYZDldepzX`kYuCZGldEpJXHkMt}ZDl_epzW@kYt{Y~l_enZW@jquCY|laEnJVpkMuUYcleehjX`iUtAZMlPesJSPk}s{YulOEmJRxj]teYxlYemzU`jitSYolUEkjTXjEtYYflSejzT@iyv{?R_IoDGAk@Q?fUEjAt`Io|WekPSfiStIIdTQqhVXLkfuRjHTcqqVXFkcuQJGdcYqJWkkVUJZEDbEp^[`MEvBrcDoww~[[MDVBBbtokwz[FMHvARalo_wh[OMBvCb`LpCwP[XMAVEr_tpgwJ[UMAvEB_tp[wH[AMFvBR_\oCw\Z}MDV?B`dokv~Z|L~V?B^dnkv~[@L|v?r^loGvxZtLgu|rY\nWud[[LxVFb]dpsvfZnMNvGR]Ln?x@ZkMKuzbb\mswt[RLsuyralmgwh[OLrVCb\DpCvN[ULpvEB[lp[vHZalouwJZll}u|ZwLlU}bZdncuvZtLju|rZLnWupZTL{utb^TlOvp\oJrtyY|D]inXVjl@u`ZOdgAsDY@k~U^zNlfirxXzm{f[znXvUzs\smxf\jmhvazg\vmwF^zmPwEza]?mwF^JmPvyza\|m{fRJhpvmyY\ym~fQZoHsm{?\Im}FPzgpvyzy\Gm`f\jghvayG\vm]vNjf|rixx[zmZfZZlxrez[[wmuFLjlPrUxg\jmWfYZkxrMzO[qmVFXze@uex]\gmqFIzdhuYxW\dmqFIJkpqizI[hmQfZZlxq]z[[emPFYjc`uqxE\jmkFUzjPtuyq\[mnFTzk@tYy}\TmhFWZkXtQye\amffOJgPtEy_\@ndFmzvlzq|p]yn[vprp\{c{Z^GNEVprpD{c{T^GNCv`Rwd{W{N]ENav_bwdwO}L]BNavbbt|x?|b]NNWVoRtd{K|\^ANUvhbvty_}@]fN^vfRsDx{|D]]NOvebs\yS{x]ZNQVkbq|zO{r]rNKVdBulxW|n]TNZVcRtLxK|V]QNTU|Z]|nYvpZyl{vyJ|T}e~J^fnrV|r{d}G~r^wNpv|Bz|~W~B^tNoV|rxl~c}^^wNfV|BxT~W}X^tNdvvBzL|w}v^\NlVyryt}s}p^kNjvsr}L~K}j^qNiVzbyD|G~`^PNvvXJktuUzN\hmsVZJlTumzZ\nmvWFb~UA?~x_^N|wFsAmA@?n_]OJWEsAU@P?z_ROMWGS@}AL?b_aOGWBCBE?x?t_LOKwA[@]?j?N_EoCWEC?]@h?J_XOAW?CB]?H?z_@OMV~SCL~|@F^}OPVpJwt{U}N^HncWHKCuAV@~`@o_WOcEECP@d`BOWwOcDmCP@^`BOVWIcGmApAN_jObWPSC}AdAN`EOSWLsFeBX@|_wO]wMSE]BT@v_sO\WUCHED\AR`IOkwUcIeDXAx`TOlwRcJmD@A~`NOnWQsIMCtAf`KOhWXcLMElBP`fOtWWCKmEHBH``OpunjVljqyp\YmkvTZi|tY}^^Mnevqjxd{n@l_woZwK{EmBRCG`}pBG_KOiF~CA`zp@g^[OQFrBoa?o{g^kNQF~Bk`zo}g\[MyFrBo`qo|G\KNIFNBc`tozg\KMqFNBWaCovG`kLiGVCA`np@g[[OQFBDI?F_COAZ^\nuvx]\nNvfjrTxq{v^yn}V}z~l~}~|`GodWQ[H]CvAXazPYwnCUuJhDhapPZwmSU]J`DdamPWwkCU]I|DdasPTwjSUuJTDXamPSWkCTMI|DTahPTwjSTEIhDXaGPNwaSSMG\D@a[PZwmCRuJdCzaXP\WesVeHhDvaWPRwhSQuH\DLadPHwhcQeI\CjaaPGWhCQUILCbaLPNwbsSMGxD@aaPDWbCSeILCVbl?AO@g?mMtEZbMPvwrC\uKdFZbnPdwqc\uK`FTbEPuWps\]KLFNbDPswpC\EM\E@bgP_wySWUJtFTa~PuWnc\]LlFBb\PpwvC[ULxEpbXPoWucZ}K|EnbPPiwsCYuMPEdbePiWxSY[?]?R?G_Co@w@EP\GgcNqGHDkaiOzGacSqHhDkaQPVGIcPqBhC{_qPJGCcMqGH@K_YO~GOb~qDH?[`IOBFwcJp~HB[^iOrF_bwpwg|k]QN^Febxp|g|[^QNQ?H?D_BO@G?s?VHoa^pOwgKSUIRDFcvQVxKSeuRTH`cqQZxLCemRLHlcwQPxMccmRdHHcqQUXLCduRLHZchQVxKSd]QhH`ceQ\xNSdERpHNc`Q[xGcfUQ@Hpc\Q\xNSb}RpG|cWqJxE[bUPrGvbfpswyK\]MrFTd^QbXWSgeU@IJdLQmXVSh}TxI\d^QdXWSheU@IVdFQmXVchMTtIPc~q^XOKgMSJIFdRQkxTSj]TPItdUQgXScjET\IbdvQpX]SkeV`JFdjQwx[sleUtJddgQvxYcluUdJ`dsQqx\ck}VTJLe?Q|X_cneWDJveBQ}x^somVxKHcSqIxDkjMTnItdUqkXT{qaWrK[eQrEhc{paW~K[eOrEhc[oqXJKMeRrIHaKpIW~KUePrDHcKsaRZHnctqwx[{mUVBJ^dmrTHhktaYRLUedrQHiKsqYfLIefrOhd{qqYJKiebrRhfkryYbL?ehrThe{taXvLSe[rKHg{sIXjLCeXr`Hkcv}[DLbf?RWXoStmY|L~f?RVXmSueZlLfetR\XlcveZ`L|evR]xqswU[tMHfKR`xpcxE[\MTfDRcxg{sUYFM[fSrjHr{yA\VMafTrjHs{yQ\RL~f@r_Xto?I\vMo?BRno?czI\y?CfYRmo?Sza\}?EfZRn^