CAT(2496,3)

Sparse6:

:~?f?_?O?G?C?[?G?D?BOAo?s?Q?J?C_BO@WBg?a?T?H_R?HGCkAM@B?a_OOKODCA]@L?v?ZOLGEkC?@p?x_ZoPOGWBqAE?y_`_MwG_BuAG?~_a?NgGSCEA@@S?coQGHSCWAV@K?boROGkEcAf@Q_goTWIsDQAo@M_k_SGIwC}CM@w_|O]WNCFeBt@u_zo\WM_FYBc@v_x_\WJkD}A|@`_oOWgKkEMBH@g_roXgJOFIAw@s_l_[wL{FABb@m_uOZWLSEeBVB??XOKwEKEYBP@f`c_pgXCK]EPBE`boowWkKQD^Ao`VOkWU[JIDXAl`TojGTkImDrAv`[OmwVcJiEBBA`_Oo?W[KSEDB@@aOnoVCJwDrA|@ZomoVkJoD~Ay@^O`GOkGYDgA@`@_lgUgGIDRAi`SOh?UsJSDDAs@PogGSKH}CuBF`K_pgROKaCxA]`MocoTsJ?CjAn@IOkoQ{JCCpAq@JOcGQSHECNAG`CoagPcGmDM@~`Q__GSoFyC]@{_}_bWPoFmH??e_SOHwd_Aq@\?laY_JGDsAu@X?l_VOJwD{A}@`?o_WPP?DKAm@TDI@YOlgUkJuD~A}`ZomWVCJqDvAy_YoLgEcBi@x?z_^oNWFsCyA`@N_goSwISDQAj@U_}o]wNcFqBz@z`?O^wNsGECFAA`Ao`gOcIeDTAg`NOfGRkXGKFECbApaGo{WYKTEJbCpaonSVoKRDzBDP\GmkVYJZDjauPXGk[UIJEDpaq@[wkOVII~D`aoP`ojcW_I|EEAmpT?oCTSKDE@AhpRgh{SuIYDsaz@RwmgSyISDnae@ZghWVAISDXad`Uwh_TiGtC[aLpFgbkP}GtC[aLpFWb{PyHJCbaQPJweCREIFD@a`PQWg{SaIKD~aa`^Wg_VyJyDGab`^whGVyH}E@a_@_gfoWAK?DBb@@OWoGSIJwC{a|@NWnWRmHoDpa\@[wfGVIHmDoaZ@ZgegU}HoDgat@MWfOUeJICqaY@XweWUYHiDdaZ`XweoUYH]DZal@KGjGREHWD]aV@VWdgTqImCmaU@UGioQuIGDOab@SgggTEHUCzaS`NGdORuH}CfaS@OGfoQYEiEG`j``wYoWYEcCc`i@HWYWQMGnCXaKPD?o[PWKJCTBAPC_m{PKJrDwAGpB_i[TSG`DSAFpKo`[OoHdCsAEougZKLaEvB\`mPA?o[OgKJCHBAPYo_kO[JZDkABPG?_CN{HDC`A?o~?nkNwJ~B|A~PT_^KT[FvDW@|PVo]sUCFpD_@zo|?lKUgFfBtAsP\o]CNCJpBqA{paoZsL{KTB_BCpIO[KQkFFCi@pPG_\sQ?F^C`@uoxg[kMQFMDO`s`Sg\?TEHKBN`g@IGYGQ]GCBKaA?rg_WKuEQBi`d_zGXOMmQo?Y_LoFGC[AU@H?__OoGhK_@u?~?]cw?FgB{@u@D?__OoHGCkAM@d?r_WpGwckQQHNCeaSPIWdSQmH`CpaVpLGeSRMIBDBa`O[gM[FQBn@t_zOLwFKBaAV@L_eOVwJsDuAz@]_noWGKSEEB@@a_ooWwKkEQBF@d_qOXwKsEaAt@Z_mOVGJSDmBZ@m_uOYWL[EiEdBS`hotgY{LUF`Bq`wowGZsL}FHBe`qorGXkKyUeJIDeqr@X{kkU\JFDXQl@XKk_TfIkdVQjXTGi}TUIpdTAkHTGiMTUIddTAhHUghuS}IvdNAlhVwh]U?IXdKAnhQojESiIndIAkHQWlAUcIPdgachS?hESeIadOachPshAS^ILD[qapVSgoTpIHDfQa`X{g_UZI_DAqgPO{iGSLIADaQ`@WsgKUJI@DRq^pTCg?TLHvDaQ]@WsfWUJHrD_q\PWSfOUFHsD]q\PVcfKTvIlCwqj@MCfGT\HnDRQZPTCewTNHiDPqYpSkeoTHHgDMqXpR{hwRRIMCqQc@Ksg{RJH`DBQWpO{eGSJH]D@QW@Ocd{SFH~ClqVPOCdoSBHlC}Q^PLsfwR^H]CoqW@KSd{RFHgClQXpJCecQrHkClQY`JCekQrFECipppI{[SQlHUBcQToxSdSMRJICcqr@H[kkQTHEDcqQ@W{c[UPJOCaqOpYSlCQHGyClqN@JkbkQxGtDKqdpEsbOSpGdDIQHpQsaWSjJ?COqFpVsj{P@G]D\qFPVc`oTzGOD_qCPW[`GUDIwCDQmP@cjgOVGCC{q@`N[_SRtIZBzp|PRchgNlFeDZql_|CjSNNFPCqPspKs\GRJHuBoQ\o{Kf_NDHxBjpuPN[\_RtExDLPm`RcZkSvIJBXqbOukgoLhElC}Q^_t{fsL\E]CwQ[_sCX{RbE\DhPf@YCXkUbJLBHQroqckwKfIGBJqaOqkXWSTIsBKpe`USX_TfHRBFPb@ISWsQhHQBGqT?p{dKK`HKCZqR`FKcsPpGpCVQK@E[bGP^FCCJPopBC[GOnGTB_qCowC`OL~G@CfqSP?S_KQ`FzCBp~P@K^oOPFnBdp{Oxc[sN`FOBuPz_x{[wNZFhCKqEo|[`gNTFbB~PxP?C]ON~GiBnQIOz{a_MzFYC]pv@F{\kP|E}CFQBovcZsOZH?BZPlpGSZ_QBEqCTpkPDkZ?PXFTBTPj?ys\OLVEfCPPi@CcYcPFEcB{P}_ss^cLJEaBxPgo}cYCNfNH?SoIwDS|GQdHSchqTxIsdURBHacpqZhLke}@h?u_YoMgFcBm@~?}_]oOGGSCEA\@O_foSWI[DIB|A?_~o_gO[GECHAE`AohwSsIUDDAc`PoeWR[HiCPAF`CoagPcGmCZAN`FQOxGkcQO^GLcFPrGx[[uM^FObfPsgy[\EMhFUbiplGukZMLTEkbTphWssYQL@E]bNpdWq{XYKpEYbKsJIDtAu_lOSgIrz`}S}{^bNlFwR{p{K~S^FNsFpRwP}C}G^dNbFwrva@D?g^@OHFnrv`{c}?^LN^FqrvP|s}{]vNlFmRuA@D?g]rOHFlR|`zK~_]pNvFlRtXy{|Y]lNVfirtAC{|G`PNRGRRsqBK|G_nNSGKSHpYdAWUfJTGSRmP~k~w\nMwF}RlP~k~w\lMsF}RkaCczK`JMpGPrjhuCy}\YNPfTbrxt_|A`WMagVBhIDgyM\ANMfOBrHrw{u[uNcfKbxh{gxi[_O\gNbchqH@y[YNffsBbx|Gwy]QMIfdbbHxOwm[LMCfAr^`w[v{]JM?FaRq@oS{[[FM@FbR^@zc|sZzLzFlr[q?kvO_NLqGBR|@lc~KZ\NtEurYQBSuk_xLiGLrXQBD@cZFLcGJr|`kC~_ZDNvEorU`|Stk^VL[FuRUQCDAGYpO`EjsApil?sYlOKEiRRaAct?_lLNGIrQpws{_YZNFEeRQPw[sg]JLGFaRPQBSs[_xLEGLr~pf|?CYBO?E_RMPxsrk]XKyFerKADLAkXdOiEWrLQASrO_fKrGGsIpd|AgX\KlGSrIqA\@CXXKiGHRHq?kqc_NKgGBRH@{{}cXLNgEQrGq?d?KXBKaG@RF`x{q?]bK^FgRFP~Kpo^vKZF|REhbKpaWjKVeJRCxacpIWXKMeEsBP`T?kWVOKECr?pxKoS]VKCFdRo@_CoG]BK@F`Ry`^S}oVvNjD}Q}QACn__\JvGFro@]knW]BNADyQ{P~KnK^vJqF|Qypvkms\~JkF^RnP\Cz{VTM}DssB`[{mW_`JdGFqwaC[mO`JJbGQQwABt@{VBO\DnsG@ZdAGU|O`Dmr~pZL?CUvO?DlQtq?cl__DJUG@rn@tKyg\vMgF\R`pq[wc[jMGFIRf@ksxwZPM\Errh`i[y[YbLQFQrd`gSsK[nLCFKRN`m{rsZjK{EzRBpjkpCY~KOEnR@`nCvgWPKFE{rZp^kvCV~LoD~Qz`esr_V`JnEZtKPvkz}\|NKffRrWbSPqGvC\aNpFgg{SeIPCLaDpBGZCLeEtBZ`movG]sNaFnBb`oowgX{LEE`BH`doqicPRqhGSyiPdMybhQyg{SoiMDJyahQmgeSliIDJI`hRehoSNiZdBi_pR}hySDi^D@I^pRqg?Syh~dMy^hRUfwSuh|dLI^PREheRwiXC}Y]|NUflRbIbSxQg|S_fHR[hlsuidHL]hORXiTCuIh`LYegTLhidRihHLEiSRQidcsycxKye]SehgDHYfhKmh}RLi^CrITpTIieQlhVdTIg@IedOTAhRdOYS`S}dKTPhQdSIRXSMcyTDhMDPIRPRacoSxhKdLyiXGeigQJhDDSiOpSucOTMieC`yhXFIiQPridC[YIpRQaoSugjdLYIXREhePTiXCTIcxDAacSeggdHYHhQehSPNiSCRiH`TEi]PIgddSIGhSQaKTDgaDOyh@CMaATFg`DPidpBya?SoiVcNygHBi`oTAi_CMYEhQm`mSkgZDJY\@PifMSZhrDEYX@M}faRIhwCqYJPKMeGPZgkcoiU@MAdcRahWcwYTPJYdWQwhTcly\PIEdERjhscgic@HyhAQ_iNcfyZpHQe}QRhmcciQHOMc]S@hGD?i]PGqc[RshEc{yNhGAcCP}g~c_YNPPYbwSWg|dDyMxO]bqSHg{DAIWhFQeMPuhbC\YLpHUb_QVgvcdiL@EmbYPiguCYYOhE]cEPehACXYKPJ}bGR@gpcoIUXD}bAQthYCWIJ`MqayRlgnCziVHC]duPHh\CQIVpBudyOzh]CNI`XBIgWOsiDCKyaHA}gcOpgWDCJ?o@Y?j?S_JoEWBCJAD\An`XOkwUKYELDEbbHPdGq\F}b|P|grSXYK|BI`hOrgVsKYEDagpBWbkPUFjCD`}o`WPkFuBj@l_qoyWJkLeAjB`_eoOWWkLE@jBH_]mYW`jfeGyxpaImGWWkLDpZBH[YowU}kMdoJBXZ}luW]j]eGIv``}lOWLkFDhisx_qo]UbkGdhZA@YQl?WEjPEAIsH_]oSU\kDdfz@HXyocUYkIDfJAXXmkqWTjKEDyqx`YoIUSjIe@J?XXYk[WQkHdcIpx`Qj_WTixEDymH`YoIT`k@dWz?`UInsVsj}D|i~X^UimVeijDxyih]UnCVjjudxI{X]qn[VXjwDuy|x\imeVvj{dtY~@\QlkVrjZd{Y}PZUl_V`jWdvytx]AlWV[jVDvith\umMUhjTdqIxHYilcURjHDlIqHZMkUUDjEd`yp`WYkCUGjDD_yo`WemAT{j`d^iwPVum_TxjhD]yyHVinQTriydyim`]aj[VJjeDZYlx[ijSU?i~dZIlXWEjkTfisd]ImxUaloTcj\DXivHUUi{VUjkDWIyxT}nyT\j~dVI~pTmiqWAikE?YjP_Ata?P_HoChwC{I]BNPfgRrw`{OyG`CRaHPCW_cOMGDB}`}o~H]KnMVdJXdlquim\VUjhTlivtZjXxjut}ZPl^EsJX`jiu[Y{leemzUxkQtqZDl[EozU`kEtkZAlYeoJT`jIteYllTekZUXjAt[YqlVekZXHiUuSYfldehjS`katCZFlPepjOxjYtgYHlCElZUxgQtqYEl[E`ZO@kyr{ZLk~erJMhk}rkZOkzesZTPeAtQXalSEWZJhiitQX^lSEVjIHkmuSXQlceSzHpkaq_ZElbeRzGhkQqKZBkbepZFpkIpwZ@l_ENZV`bepuYyk\EmzVxbat{WvkZEnZC`iupKYjkQejJCxjApOYmkSejzRxe}raY`lOE[JLPeyrUXkkseZZQXeMsiXdlIEXJQPdqqsYPklecJIxhessXXkkEezI`hYqkYWkiedzHXfaqYXxkeE]jH@fmryXIk}EQZP`cMsSXClDeOjFxguqAYNk_EbjOHbUpgYBkXe_jE@hqs{WqlMeKZKpayrOWlkVeXzMPaqrgWjkxeIg@C?e?T?M_GOBzgw?a?T?H_EoAw@dt??V?L_EOBgAC?}?h?U_IoDwBK@ahVSliUTJieDQ}RNHgcsqYhLcemCfAT`IOdgRCH]MBF?b^pogwc[MMNFDbbPqGxS[eOxG]cMqFxCKaAKXEMbEpbWpcWyK^EPbGPcWp{XAenRXhkStIYtLUebRRhhSriYDK}a\PNgesSiILDApfWtkYUKjELbApZWmkVuIjDdampJWckRUHzDDae|S]TnUFdztXxY|[]MnUfbZp`y}zy]]nNf^znpyAzs]`m|fgzn`yIzq]_nNF]Jrxv]{]\vm{fcZq@vazg]bmyfgZmpyI{g\tnHf\JqPvYzI\pmrf[zkpvIz[\amqF[JkXu}zS\`msfVzl@uAyw\lmnFYzjhuqyq]hnRfUzjPyayk]cnRFTzj@yU{u\SnMFTZrhtM{s\QmgFeZiHxay]]EmfFaJhhw]yM]InCfQZh@wm{Q\KnDfQjpPsmyI]?mbF_jg`wEx{]BnAfOJo`r}yE]Bm`F`Zo`sEyY\dmffXzhpuYyG\amqFPZkXsYyk\@mkFOzgPt]yq\ImlfRJjPsmxu\jm]fZZf`uqxo\gm\FYjfHue|M[nnSfKZt@rAxW]cnRFJjshquxE\[mQfVjc`tuxC\_mofGJcHt}za[\mxfFzmPpyz[[YmwFFJlxpm{u[PnMfCzr`pIw[]XmFfeJrPpAwU]lmEfjz``yy|S[GnUFAjtXoe{][DnGF@jqHo]wG]Rm@FdJ_XxIzyZ~m?f^z_@vyzsZ{m}E~jnXnuvY[~lvFOJ\xryvS\FltfQZ\`say_Z]lnfSZ[@tIvC\RlofTZ[XtQ{iZZnJevZqplquo]KllFbjZHwuui]EljfaJYpw]{?ZQliF_joHlMwo[jmKfIZaxqixO[TmJFHjcxpQvmZel{ExJ]pmUxcZrlyfLJeXnQv_[tmZe{Z]PrYvqZfl|EyJ^Xme?t?Z_MOEgBc@m?b?R_HOCwAK@IyH\EmavRZh|syoFWDkARoxwk{Q]LNGfbo]GNSFfBC`hopgYKKIE^BK`]ooGXKKiD~Ai`lojgZ{IqEzA[`ooeg[kHaFFBW_foRGYkLYAVBU_couGGkCYEj?}`ooOg[[CAFJBY_[oNGZ{Lq@v?[`ZoFgV[@iDr?W`YoDGUK@YDf?Q`soBg\[@AFN?K`soAG\[?iFM~]`]ooF{Z}AD~BE^ensGWj{yEE}y`WnngUjzqDfAu^YnmGV[J`|m|u`dorFm[K`zi|o`hnZgYJuqE^@a`HodgK{HQBJ@[`EoWGQKDyC^@U_XoUgE{Da@j?k_goTGEKDI@^?e_~oIgNkAaBv@s_Oo]GC[FY@J?A`Co@GP[GY?NAA_?n~gOj~qCB@g^hoZFy{Eh}j@m^_o[fwkF@}FA]^Vogfu[I@|a}k`SnigSjyaDM}a^tnhf|zyP~Y~c^MnyFsJ}X{}}Y^bndfxZx`}Q}S^lncFzjxH}q|_^DnbfkjwpzE~q^Cn`F}j~@{M|w^zn}fnjvh~q|e]~nYfoZu`{BFU?T_JODGA{@e?pYjlUujJTtjAt^YglTUiYclQ]hLSgiTTIWT[IqDZWckRUHZC|aepPcEPyXAC]uO\FjbpQ@w{s_eOTFdbpPpWxC]]NHFFbsPnw|S[ENXFBbXQBWus`ELhGNbUQ@x@SZEL\GHc?Pewrs_UKxGBc?PdX?SXeKlGDbnPbwqS\uN@EPbDPuWpC\mKXFVbvP_wos^MN`EDa}PzwoC^MJ|FpazPuwnS\eJpFVbnP[w{CVUJ`F\byPSw~CT]NlDTb|PRW~sTENxDNb|PAw~sO}NxCLbyP@W~COeNlCF`yPsW]S\UFlFR`uPsW]C\UF\FRb[PMwvcR}LtC|bdPLWxsReMXCvaVPXWeSUeH`DfatPJWdSU}HPDlaPPUWjcQ]ItCdaMPVwcCUMG|D`a_PDwgcPmGpDBabPCWhSPUIPCRbOO~w_SYULDC@bRO}WtSNuLPBzbgptWy[kaOvJEcKqqhBk`QURGUdbqChX[kQO~Gad`qGHWKgYTjIGd[q`HU{fyT^IAdXq_HUKfaSnH{dLq]hRKhqRfI_czqfhMkeATFHcdRqWhSkiaQvIkcnqihJkeqQRHKcwqZhH[eYQFHicbqYHGkbqSVIMc_qNhPkbYSbGydIqMHQ[dQPbHWcYqThE[cyPVHQcVqSHDkjqPRGcd^qmhC{paWvKUeMrDHb{qAWbKQePrBhckqaWBJ{eTq~hc{laVnJ[d{quh^[nAVJJgdyqxh][miVBJmdpqzHZ{lIWRJUeEqtH`[oIUZJOeBr@HX{tYXZLYeWrUHd{ryYVLAefrOHhksQXrLGe]rPhf[rIYbLSeZrLHi[uw?HLheu?@hm[ug?DLp?@RVHkW?QZ@Lf?BRVhkn