CAT(2642,1)

Sparse6:

:~?hQ_?O?G?CB[@L?d_RoS_ECAy@^?m_VoKGEKBM@d?p_XoKgEcBU@l?t_YOLgE{Be@p?w_[oLwDSAa@R?k_UoIwOoFSBn@x?yO]?MsFgBn@x?|o]?NcFgBz@{?~o]oNsFsC@@~@?o^_OSGKCBAD@@O`?OCGKCHAB@Ao`?OkFKBl@q?yO[OMkDiAp@X_mOVWJ[F?BB@b?wOW_MCDkBf@p?moV?MSEsBn@w?voZ_NKEsBt@n?}OZ_N[C{Bj@P?zOS?McCoBz@M?~oRONsCoC@@M@?oROOSC{Bb@P?xoS?MSE[Aj@V?soY?IsEOA~@e?oOXOJsEWBV@c?uOXOLSE[BV@h?uOY?LSCWAh@G?hoPoISCcAh@Q?doSoHSCgAj@V?doQOIsCKA~@D?oOP?JsCKBB@a?aOWoGkCWA@@A?boOOHCD_@z@Y?^oUOFsCC@t@A?]OMoGCMc@H?b_POHWC{AY@J?e_RoNGFSBm@z?~_^O}o]sN]FjBq`yO{w[oNQFcBg`r_{w[WMyFWBc`u_xW]GMUFEBo`q?zwRgN]CuBu`M?|W[oLqFMBY`l_yGWsK]EJBp@^OnO\{JoF`Bk@[om_\sJkFZAF@ooa?[CGWFDAX@ooe_[SM?CpBj@DOy_P[McCRBh@EOb_\[MgCZAN@mocOZ{H?E|B]@HOvOQcL{CfBG@iOq_YsKcEjBJ@`OrOWcKoEFA~@fos?WKK?E\Ao@TOk_TcJCDVAn@SohoTkI_D\A^@ZOf_VCI?DnAc@joh_ZKISEpBP@PosoSKLGDDAr@IolOQ{JOClDQ?VOKGD{BQ@j?u_TOIGDKAa@T?h_ToJWDcAu@X?jat@ROk{SwJRDKAsPRok{TCJRDOAsPVoh[SgJ@DHAnPQokKScJFDIApPU?g{TgIPDXAbPVOhCToINDZAbPROh{SwIbDKAgPTOgCT[IDDUA_pNGfSRmJACvap`MWkORaHgD_aZ@VgjwRUIuCpaX`VWj_RIIoCnal@KGjGQyGkDQai@EGawTMGeDTaj@DWa_T]G_DQaH@TGaGTMGTCJaEP@W_sOQGNCHaCP?OkkOKJLDcA@O~_kcO?JLB~Aqo~OlKU[FvB{AsPX_^KUOFtDd@{PI?g[QgIJChAaPG_ckQOHNCbARPFobKQCGvC_ALPF_fkPsH~C}AMPIo`kQsG^CkAFPpoh{TEI`?a_QOGwCcAI@F@B_aOPWHKCmAT@K_fORWICDEA^?|_^oNg^[NuFxBw`{o}g^CNiFrFFbcpqGxK[aMNFCBpPx?ws]KMJFCBqppO{{]WMLFBBqpxowK[GNLE~Bdpq_wCZwMXFNB^Pr_wC[sL~FOA~p_OySW?MbEzBhpnOykZoMhEwBmPm_zsZcMzEvBfpr_uk[sLlEqBdpl?xSZKMXFWBWpk?y{Y{MlEkB_poots[GLZF[BSpv_t[\sLTEebSPhwsW]INGEdbp`hGr_]AKsF`bL`vwq{XaKrEMBhpc?ykW{MhEKBgPaoySWsMbFWBDPaOy{W_MlFXBApuoo{\gKLFXBAP_oz[WGMtD}a}p^GmsVaJnDxa|p]gmKVIJ`DrayP\Wl[UqJTDlBnpZo{KUwN@ESBOPg_qkXWLBEPBMpcor{XGK|B\`novg[CMEFDBe`royHDka}P\GZcMQFXIG`aOsHQchaEXHW_qQYGMceABX@GcmOUHLcDARH?ocyOOHOcBaRxHo_MOIHOcAARxIG_AQeGAchA?W}{^eNpFyb}P}w|s^AN^Fubyp|G}K^MNdF|CaqPo~{cWN|G{CTQNPDcbwPVGzCRqIPFKa_PtGuCQQH`FCaSPnGrCOqLPC[bOPDHGCNQQ`B{ccP@GQC^qD@GK`KQ@GPCIqBpA{`?OlFkCaQO_|k]kQFGqBsQKO|Sb?NRIUdJqeHQShASbIIdEQaxNodQS?HUc~aTXO_fmRyIEdAa^HMgfeRmHwczA]hLGg]SQHjdCAYhPgeYROINcrabhKWe}RIHpcqA[HK?eqRCHmcoaZXJggEQ}IBcnA_hMOdiReHZcmA\HQWd]SiHWdIAUWwS[MMBBb`qOxWsCYILBE\bNpfhMkf]RlJQDeArxXolEUYJOddAoxXWkUUGJHdaaphW_kaUEJFd_ArHWOkyUAJLdQQghS[juT~I}dfaiHTOlETQJOdQaphSwkaTKJFddAgHXWiES}JHd_AfXWGhqS{JAdfaexRGlEU_IYdZAmXU_j]TiIwdVAkXU?jMT]IqdTamhTgjqTWIze@@PwhCSYITDJacpRGhkSyQ@H@c^qNHFsbuPrGzc\QLhFCb]PfGtcYQKHESbENRFibsPyw|k]qSvIXdLRGpbkqSW|KcENrFPcCqGW|K^EOrE``CpoWTKZECrA@`[osWTKKECr@`aSo[WfKDEGrB`_sp?WNKNEArDp_SpcWHKWE@r?pacoOWlKAEIrB`Z{p?U|J_EFrDp^KpcVvKWD|Q|``kn_WVKKDzrCP][pKVjKQDyRE`]CpoVdKZDwqzX\{myVTJkdtqxpacmcWlJgEIrGp[cqSVLKcDqrG`[KmKX@JaEOqup^{oCUzJ[E?Qu`^clcV|JWD}qtP^cl[V|JUD}qs`^{oCUhJRE?R\?vs[AL~FCbbPpXNCfeRtHqcxq\HL{fER`HmcuQZXngv]Z{Lxe~b]HnOv]ZwLxe|b]HmowQ[ILseyb_xm_wAZkMAeyb_XfssAX~LYelrUXnWtYZwLWe|BTxhGwQ[ILFecB_xggwEYKMAeaB_HngsEYEL~e~BOhfWvIZaK|e]B[xf?vEXsLqe[b[xeguyZ_KvevbLheOuyZ_KsevbKxdwumXaLleWBZHlWqqX[LleUbZHl?qeZSKjesbIhd?uiXMLheRBYHiWuEYiL_eiBVxi?uIZGLQegbWxj_suY]L\efBVhkgsiZMLKerBQxxo{I]HNBf^roXwCx?]VMPFerr@p{{k[XNLFFRr@pk{_[RNIFDrqPpSwW]PMGFdR`pxKzK]JNFFYrl@wsxG\TMSFURcpt[zo\HMeF^RnPsky[\BMhFPri@sSxw\`MqFORkPr{xk\ZM\FVrf@tszg[tMWF\rmPrKxS\lMVF[Rd`u{nqV|J|d~r?X_C}?^vNaF}rwP~c~]^lNtfsB}X~?}]^sNefprxX{c~_]bNRF|Rs`~K{{^zNOF}Rr`~[|s^RN^FtRv`|[|g^dNsFmR{pz[|[^^NXFwru@}C|S^XNSFvRt`|kueZTLgetrZXlcuyZ`Lnewr[xmS~{`@N}GNs?ACL@{_rO`GLsGABT@W`DOWGQSDqC\@o_fOTGNSDABlAS_`OfGHSHaAL?u_^OMgESAy@TAG_NOHGQSGq@D?O`JOEGRs@QCt?K_|O@GMs?aBc{a]TNHfdrrXxdCQaJPBg]sNyFtCW`hOuGcSLQG|CW`bPGGXsPqETAwaRPJGWSJqHTAsaRPJGUSIqHTC?`tPAG]SOQF\B[`POiG[sMADLECavPbGmsWaJdCsajPVGfSTaHdDGa|PSGoSSqJ|D_a^PYGgsUQIDEsbHPnGrSZaKlE[bTPkGssYAL[CEA@@A_bOQGG{Bi@v?{aGPCWaSOAF~B}cNQGHB{`UOnGUdOQgXR{hqS|I\egRShiKsuY^LMfhRsxyK{}]`NMg\SNIF\B]`rOwhLCgIR`IIcuQ`hMcdyR@H}cqQ]hMCdIRXHUcsQUhKccYQXH]coQQhGCdIPpHUc]QUhGcayPhHMccQKhGCaIPpGic]QHhEc`YOxGqcKQJhACaIOPGecEQIhBc_YOhF}cKQ?h@C^IO`FycEP|g{c_YNXGAbsP~g}C\iN@FybmP|gzc]YN@FmbsPugwCgIMPIIbaQ`hMc[yRxFUc{Pshn_DwBC@Y?v?X_LOFgBc@u?~?`_OOKgE[BECzA[`LofgR{IAKxEZbLP`Go[WIQlHSciqTxJKdaU~J_dnQwX[[mI[dMSfHrdXqsx]_NOHgCS?Y?\?Ia\PKgesRyILDAgeSNiGdDIaPPAgiSKiJdBiapOugaSJiCdCI`PO}gKSKiCDBi_xOugSSDiDd?y`HOQgKS?iBd?i`@OEf{SDh}d?y^xOQfwSAh|d?I_HNifoRyh}C}Y^XN]fyRsh~c|i^pNUfaRvhxc}Y]PNafkRmhwC|Y]`M}faRkhxczY]PMmf_RjhuCzi\hM}fPRihssyI\TMedER[hQcviS`Lue_SSiHcsiaPLEgiRLhfdDyapKyfIRKhrcqi[pKmfIRFhrcqY[pKaeIRZhlCpiW`LeekR@hkCoyYxKIesQ~hlcoIVpLedyRWh]CtiVXL]fEQwh[cxIVPMIe}QthoCli[HJ]dcRahYCxIUXMMd]R^hWcwYU@MAeiQkhVCtIYXIueyQhhmCiyZpIidKRRhSCtYSxLQj{?I_EOAw@k?}?\UI?GOCWATX??f?T_ITcIqTXEk`UQjGtbabLWsgtUNIKT]AgTVgiHTxI`t]AglVgiNTxIbTaqgLR{kXUII_TaafdRwkXS|JDtMQpDW[hvSyJCtLaodR_kJSvJBTLQpLROkPSrJBt`QeDRGkHUEIWt_qdlWGh^U@IVTIantW?hXT~ITtHqoLQ_kFShJ@THAntW?hLT~IQtGQn\QKjzSaI}TGAp|P{kZS]JFT]qb\PsjzS[I}TZAmTVOj\TlIxtYQl|Ugj`TjIwtWQlDUGjLT_IrtWqjlT{jHT]IqtTajdTOitTTIltSqi|TcidTWIgt\Qh\V[iZTuIeTQAhtSgi`THIftyanDVijr?V_JOEGAs@]?p?Y_KoEwBK@i?v?[_NOFWBs@q?zVyJtT}q|d^cnVV{JtT~a|d^snVVfJyTyQ}l]_nfVfJzT}A|L]_nnVmJqTzq{t]snJVcJwTxa}T]SnbU[jNTfYr|YEl@VWJ}tuQ~t\gnxVxJittq~\^gmlVQJzT}Ayd\KnnVNJwTsQ}T\?nbVMJyTrA}l[snfVmJdtzqxT]smRURJotdQ{\]GkhUUJotwqrD]GknVEJnTqA{D[[m~VBJ]tpQv|[Ol|UyJ_Toavd[ClvUuJXTkqudZCljUvJVTmQuDZ_l^UjJQtjQs|YolLUbJTThAtDYGlRUXJlteqzlXgmx?I_EOAw@S?m?XXRJotwy{S?u?^?M_EoBw@s@A?d?P_GOCgALLMejRShjSuIY|LeevRYhmSviZldoqfX]KiuVRIddKq~XTKouTBKDdCqlXQKkUSBI|dCqrXZKhUSBJTc_qZXHKfuPrHtcgq\XKKeuQrH|eGqHXEKqUPRK\eCqFX^K`UWBGLdop|X]K^uVRGDbkqTW{KeUNRH\b_qrXZK[uMbJTbSqlWvKkULbI|c[pdXHKYUQBE\a{rVWpKuuKBLdaepTWjkUUJjDlaWrVWgKuuHrLdeGpFWdKqUHBK\a?rJXfKPUXbCL`srTXgKNuYRBt`orJWYKruXbB\`crTXhKJuYBBD_moZWKkFUCJ@|_UoNWEkCUAj@L`On~WUK?uDR?D`CoDWCKHu?rATVmjzT{jAT`iolW]kRUGjEtbyptg?uZZKL@UqrOLhSuDYVLaUdbW\hOuZYQLeUcrX\kGs^ZCLGuorQDgouJYMLbubRWtkcsRZILDuabXDkSsLYGLbu`rWtgKuPZILAUqROlfirxXzk}u^zNtfQrlXtkzu]ZNDj{tZZ@LVuoBTtigtxY}LUUirVljctNYgL\UiRV\jKtHYtLRUlBSljWtBYwLPulrSThwt`Y_LXUfrULewsvY\KwUZrRdfCspXrLKu[bRTkwv|[?LgUrr^|nSvvZvL}u|b^dn_vdZyLyU}R]\mSwPZbMCuxB_|m?wHZaMBUwR_llsvRZ^LtuybZtm{utZpLmU{BZ\mounZmLkuzRZDlOvLZULsUtR[|oCub[BLhv?bYTqk?~?`_OOFwCKAAiDTCi`tPYg|SYobWRkHUDJAt`Uxs[sm]FLjfXrUxm[pm[fKzf@rIx[[smWFLjdxrUxa[jmUfKzd`rIxO[jmUfIjd`qex[[gmWFIjdxqexm[Om[fCjf@pEwY[ymFfNJ`prmxC[ImEFHJ`XqMxI[^mOfHzcpqAwk[[mKFFjaxpuwu[TmLFDJbHpMzSVcjrTxY{|]enP?R_IoDGA[@U?hURjITdYqtXaknYxl\UmzUtjatnYrlYulJUDjItbYWlLUeZR\husx\xNDv]bpdvk{Z]GMzVabnDwczn\xMxv]rmlvgzh\qMzv[BmtvCzp\~MuvZroLuw{@\{MuvZbntu{zz]DMtV`rldwWzV\iN@V`Blduk{F\oMrv[blLvCzP\fMxvYRmlu_zh[|MovWrf|rwzD]GMnVabkDwcy~\ZNDvVRplto{X\WNAvUbo|tc{L\~Miv_Ri|w?yl\QN@V`BidtK{F\NM}VSRntt?zz\KmfVRZhLsmyT\cMbVXbhDuSyN\BMovWrglsOzD\cM_VObktuSyB^[KeuRzHtdEqdXOlvu{Z]Dmqv\Zlltuyj\LmYvPZfnnfxZ{x}E~?^ennfwj{H}Q~?^bnmFyzzp}u}y^knmFyJzp}i}y^hntfmJ|hzi~W]xnYfxZ{xz]|k^enXFwju`}Q|e^bnsfjzuH}a|_^inSviztTyY|P]fnkfgzsh|m}s]cnOFuZsP|m|A^YnMftjrx|]{{^WnLFtjr`|a{u^VnhfeJyhxe}g]VnhFdJqh|A}a]UnGfszy`xM{c^TnhFbjq@|A{]^PnbfpJwp{e}O^DndFoZx`{M}U^An^FrZw@{}|}^Mn\fjJvhyy|w]loZGH{DMAb@J_eoQV|sE]BS~r_sN{V|CE]BS~l_sNywKB}L~L@d^qOWvzcED~@@d^nOWwDR~U@[~x_UN|wIcAU@P@X_ROTwBCDm?x@^_LOVWASBE?l?t_IOKwEs?u?`?x_FOMwFs?e@x?F__OAw?CCMAH?D_@OPv~S@|~|?b^}OGVWZk\uIzH\emqwTKIuDVAd`PohwWCHuEHA```OfwQsK]CpBH`LOqwWsF]BdBJ`cO\WWCEuEH@p``OZwPSJmC\A~`EOnWOcJUCPAx`BOlwNsHEChAB`?OcwTsFeDd@|`WO]vsZyT|A}h^TnhvtjzD|]}r^ZnlW`SKuGXBPaCOrw_SO}GLCRaAPCW^cPUGpC@`~PDw`SN]GXBzaCO}WbSNEG|BtaMO{w\[M}FZBd`soxwZsPUGpBb`oPDwZCPmExC^`lPFWaSLUG\BR`jPCWKKEUBF@f_toYWcKQUHFDValpUWjcReJ@C|anPMwjcRMJ@CvanPLWkSQuH`DfaVPXWkSQ]JLCjaqPIWgcSmILDNacPRWiCR}IhDBahPOWpcWEK`EDbFP_wnSUeJ|Dla}PYwmcXMJpEVazPdWosVMKTDnawPaWtSXeKxEnbUPewrsYULDEhbOPhvIJdTqe}H^EnavozwL{J@r_zo\WLkFEB^DDacpPwf{SMIBF_bipxGzK]IMnFMbmpvgy[\AMvFIbiprGzK[aMnFQbbpsGw[[yMJFKb_pqGv{[iLzE}bapoGw{ZqMFFYbWpkgz{ZQMzF_bZpxGv[]ILrGa\fmsVYW@C?e?N_JoDWA[?u?b?N`eosWX{LMEnBTaspZWl[VMJbDnceQOXICcUQ\HBc\QPxFscmPxHHc\QLXFCb}PlG|c`QKXGcbMQ@GncPQLXEsa]PpGdcPQKxCsa}PHGpbrQDw|S`mNPGXcGQPxAccmOdHHcDQRX@sdEOXHNcSQ@XDc_ePTGFcUQ?xDC_EN|Gjb{QFXCC^uNtG^cJP{w}s`mNhGXbwQFxCC]uN\G\dX?AO@g?mR`IrcyQlxMSjURTIrcuQlXLsj]RHIlcsQkXKsi}TLH^cpQixTCeETLHXdTQVXTCdmQdIpdUQTxIci}S\IZdHQfxQChuSpIJdIQbXQsgeSDI`dQQ`xOciMRxHvc|Q_XNCf}Vs?N?H_CO@w@K?bJsd|q~h^KnqVnKCd{r?h]{oAVjK?dpqxh_koIVJJ[d|q~h[KnqU~JgdjqzHZ[miUrJOdvqtH][lIVbIydaqqHVKjqUNI}ddqohX{kAUZK{cJqExBK`}PBG\?C_BO@W?c?U?LedRLxhcreYPKzefRMxestMXpLPe`RFxgsqMYHK`eWRRxectMXdLPeTRRXdssmXXLHeQRNXdCsEX|KfeKRNXgCpuX|KZeIRPXass]WdLBeBrAx`Ko}WZKPdRqixTKjETZInfJRWXrCuM[tLdexRcXmsxUZhMReuReXrSvE[lLnfGRXxlSxU[dLhekrTxiktmY~L\f@RbxoCwm[XL~fAR]XpCvu[LLzfMRoXwcyE]DM^fVRmxuSz}\`M|fURmXucym\lMhfbRgxxSy]]PMdfkRrXzc|E]tNNfnRsx{S|]^@NTdzq}X]kw}[ZMJfAraXo{~A_BNsf}r{h~{~Q^nNof|r{h~K~Y^JNyfrr}H|K~q^VNmg?r~h|lAAXvKxeZrmxv{zu\rMvfYsKICLAQ`ZOagVsHIDLAI`VO_gRs@IBl?Y_~OYg@sHiAlAi_rOggJsBiDlBA_fOOgVsFI@L@y_ZOYgDsVIFdD]`pPXg\SUyETD]`lPZgYSUYHTDEa\PTgeSSyFtCUaPPBgbSOYJdE}bdP`gnS[YKTEubLPhgqSYyBl@}_vPsh?s]IOlFYcFPyh@s^iOlFqcBPVglsUO?THIcNQG?BSdyPO?QcjQK?ASco?THAcnQM?BSd^