CAT(2498,1)

Sparse6:

:~?fA_?O?G?CB[@Z?k_ToNODSAa@R?g_TOIWGoB}@|?|__oOgGCCG@h?u?_oLOGCA{@t?m?\oK?FcBo@f?z?WoM_ESB_@~?x?]oLoFsDw@J?f_ROKGDsA}@b?r_XOLWEcBY@r?v_[O\_MCFEBd@l?woZoMSEwB`@i_uOYwLCE]BR@a_poWWKcEYBJ@m?loZOJkE{Ax@o?lo[OJkDoBd@W?qoX?JSDcBL@b?nOVoKKEGB@@W?hOU_I[DcAh@O?oORoJsDCA~@E?uOQ?LSC[BV@f?doY?HSEcAR@l?aOOoL{EwAJ@K?ioToHsCsAlAk?ToJWDcAq@Z?j_aOOwGkCMAJ@C``?oWWKKED~A}`_OmoUkJsDnA{@ZOkoTKJGDVAs@TOiOUkIkDnAi@ZOh_TcI_D\Af@UojoTCIWDbAo@Ro[wMkFQD]Ab`Q_kWS_JADwAa`\_gWVgIAC~A\`NOegRcHmCaA}`H_oGQOJ}DsAO`F?mGPwJeCVAL`EOaGPSGeE?AA`A?nwOWJyCMAw`\?`gOgJeDw@~`\__WVgGABwAk_}_jgNoIuBqAq_|?kwNWJQBoAx`\?\gV?F]CkAW`K_dGQgH]Gq?a_QOGwC[AQ@D?d_ROHwCkA]@L?u_YOLWMcFUBfA@`?O^wNkFqB|@v_{O\gfgRgHxCzA]PM_f[R[H^CxAWPM?dsQaHTChaS@LwdOReHQCwaLPEWb[PyGzC[aH`LGagRYGgCtaY@DgegP]HkCWaM`NGboRmHsC[aO@CGaOQEG}CPaP@CWc_PAGcCbaB`BW`GO}GOCMaE@Bw`OOuGUCMaH`DgagPaGgCVaD@EW`_PmGUCY`kOtwZKQGGHCcABPGo_kNwHbCrA?O~oeSR[FvB|A[o~?fCN_HLByARo}OckNUFlBv`xO|G][RKFRBjAXOy_eKMWG~BgAOoxocCQwFFCo@qPJo[kQkF@Cl@pPJ?[KQWEtB[ARouockLEEfBQ`iOtgYkKqEZBJ`fOsGX{K_HVBIAUoqOdcRWEFCt@aPL?WSO_ENBEACopO_{MoGDCB@vP?O\kLsF^Bp@nov_]CPYGpCV_koUgJCL]ErBW``OpGW[KUENBEbV`iWuGYmL_Eiat`iWl_YiJSEjbX`fwroZQLcE\bCPagpKWUKNEEbA@lguwWIKEEtb?`jgt_V}K?ElbU@ZWtgUyL[DnaqPXgkkZSI|D_BZPVou{TaItDXamPVWj[S}IbDOai@lGuOTILeDRbW`QGtwS]L_DEbJ`egrGXqKoEZbD`cWpgXMKWEQa}@gGsOVyLAD|bQ@]WsgVmLEDyaz@hgn?YaJmEfbF@[wmgXAK]Dsaw@dGqoVIJaETaj`YGigUeIkDfad`WWhGUMISDaa_@OwgOSUIADCaf@NWfwSqH{DLbvP{G|{]mNZFkcA`~G~W_MOGFybw`yG}W]iNcFhbp`|g{_^QNiFab]`wWvW]ALwF^b~@tGyW^}NyFTbf`ugxg\mM[FXbd@|w~G[mMWFwbb`tgz?[eMOFVbaA?Wwo_IMIG?bq`oWwW]]MCFebm@ngzo[AMyE~b[@sGvO\ILqFPaBpAW`COiGXCJaEpBw`sDmAz@[`vo{W]CMqF\Blc^aMXFWcEQ?Gyc]AMXFWbyPyGycXaLhEgbaPgGvcWALhEObaPaGvcXaBHEg_uPgGMcRqIXDCaYPHGdcFaNHAGbyO_G|cWAAxEO_ePaGIcBaNx?ocAOOH@cLaFhBgaAOwG^cOaEHBOaMPCGXcTADXD_`]PUGUcHaJhA_a}OcGlcx?HGC[AIDRAj`TOiGSsI]Bj@s_xpYglcUmKhEUbIpdwrKXaK\EObFpcWq[XIIRDJadPRWhsSqIFDDaaQcpNchORvH|DIq^`N[fsS@H~C}Qa`NCgoRtIJC{qaPNSfcSNIGC{Q\POcf[SLHuDAq\POSfWSBHvD@q[`QCfOSdHrDGq[`PkfOS^HrDFQR`QCd?SdHNDGqYPO{gcRVIGCtQ^`Kse_S@HfC~qbPK[g{RJIMCqQW@OKeGSFH`D@QVXJ{dyQtH[clqa`I{goQrIJCkQcpIchSQlISCiqSPOcdKSLHQDAqQpL{csRbHKCwQQ@L{cgRbHHCwQZ@Gkc[R\HECuqZ@GSewQHHlC`qx?aCPIGbCRaIpDGzc\yMzFXblPuwys\aMnFObhPsX[wnMVQJtdsA|H[wmiVWJhdtayH[_nAVKJqdqa{X\gmQV]JedvAxXXKkmUTJEdcQpx\gjqV]IzdvAmhUwnATqJqd[A{XU_miVWIudtalX]WjITeJtdWa|H[GimVEIldpAjH[GiaTSJbdSawhSglyV?IfdRAvxSOlyV?IbdQAvxRwlqTAJ\dOAuxZghqS{JZdmAfXZ?heUsIZdkaehZ?h]SkJYdkaeHTok}T_JPdVasHWWlIUIJSdaAsxW?kqUCJMd_arXYgjuT}JUdjanhforUXnKueXRLHe[rkV~K@E]rN@_CrkVxK|D~RN@^kr_VrKyD|rMP^SnWXpJwE\Q|pfKqKX^KdEWrH@eCoGWzKCENR?pb{p[XXKmEKrJPbCpCX@KaEHrC`cKowXLKOESRBpc{pOWVKLEJRB@akpgWPK[EDREp`KoWXRKFETr@PdSeqR\Hlcvq[XMCt?ZPLPEsrS`lSu]ZJLeetbThlgtaZWLVehrTHikukYBLBEurZ@gSu_X|LhE_RY`f{tcYZLNElrR`jStoYTL]EeRVPh[s[Y~LHEorQ@kCsOZDLcEbRPPk[laUtJXdmQvXZ[lyV@J^doqwx[Sx?Z\LoFGrZpp{xG[RMSFDrcppSwW[jMGFJr`pqswo[FMDFFRbPocw?[^MPF@Rc@oKvuZ~L}e|R^Hn[xGZnMSE{rcpnCvO[jLuFJr\PqsvG[XLrFFR[PpkraXtKxe\rNXfczQ\jMrfUrjxtszW\HMeF[RlpskzW\BMwFPrlpsSxw\rM_F\rfpvSxk\rM\F\rf@vSyg\`MqFURkPt[y[[pMhFLRi@rK{_]\NIFgRqPx{zw]JM{FbrnPws|G]DNRFaRopyKz{]VN@Fero@xc|s]hN^FjRv`yk|[]tNXFmRu@z[Bi@x?z_VOKGD{BE@f?q`@O`GO[GUCNAEa}P^gnkVeJvDycCqAx@S_YOPGFd_QohWKjuT~I}e_rOxgSryY@K~fTRjHt[y]\RMggDCCI@`@I_UOPgEc@y@H?}_[OGgDC@I@`?Y_UODg?c@y@H?M_COGf~C@Y?@?Q^}OEg?b~I?W~u_CNzf~B}I??~i^}NxfzB~H}w~u^iNzfxb}H}_~i^qNqfybzx}w~E^kNofuB{h}_}y^eNlftb{X|O~A^QNnfubxx|o}Y^ONkftBxx|W}Y^ONhfoCBX{P?}^AOMfqcCh{X@E^GOOgb?DgBC@]?r?Z_LSS_Bc@y?zPW?NoGWCCAa@T?h_cOPgG{CeAV@I`poxW[cMAFDB`baPpgwk[EMFFAcjQTXIcdMQbHQe@R?x_coUWNKEezr]XnCvEZfLqf]Rnhvkz}]BN?h@c_YO`F}cCQ?hAc^IOxFycKP|g{c^yNXGEbsQ?g}C\iN@FybmP|gyC\iN@FMbmPtg|c[YNHFIbsPoguc\ILpFMb]PtgwcYiL`FIb_PjgucXyLxEeb[PggqCYiL`EUbKPjgocXyKXEabCPhgqCVyKpEAbIP]gpcVYKHDqbCPZgmcVyJXEAawP]gkSUiJLDaatPXgjcCyIp@U_gPTg_C_iGPGQaAQBhAcNYOxB}cKO}g\CSiF`DQ`uPRgZcSiFHDQ`oPRgYcRyEpDEa_OsgeCKyHpBEaYOqgfcKIDpDE`]POgTcRIDhCy`WPLgSCQYDPCm`QPIgQcPiCxCa`KPFgPCQYHXAQ`EPIgNcPiCHCa`?PFg`cFIGh@yaGO\gjCEyBPDUamOXgJCOyB@CU_mPChv?Ag@c?m?Z?N_FS}_AC@I?bS??IOCwAlOAgDS@i?t?I_TNscPR~HDS~aPLM_ddRiHYSyQU\M_djRiHZsyQUtI{ftRzHWs~AUDNkdZQmH}SjA^TIcfnQiH{siq^DIWfhQgHzShq]lIKfnQdH{shA^DNOd@RuHOs|QSTNCczRrHNs{aRtHgf\RoHMSeq\|NCcnQXHxseA]THOf\RoHJSdQ\|HCfZQRHtsca\dG{fzQOH~sba^tMscVQLHtszAPdLofDR]HqSvQ[\L{erRZHosua[DL?elRQHkSsQY|LKeZRNHistAXtKOeTREHeSpQX\K[eBRHH`sqAWTMSd|RfH_SxaV|JcdzQyH\snAVDTO?l?W_JoDgBC@]?t?X_LoEWB[@ijK?[_NOFWBc@y?zRghtSyYl`UYj[TgiudXylHUqjUTmitDZYi`UAikTaiidWYk@T]jCTXiodUIkXTijGT[iqdUyjxUMjIT\inDXI`dOygZSNiGtCIh@UeiSTjicdYighUYiMTgibDXygPTui}TCinDOyfxT]iATXi_DUIjXRqh{TYi]dVIi`ReikSziidMi_XTEieSDiADSi_pTMgOTQiBdSYhXRYiYSwieDLydhRAhcSniVDKYeXQihiSkiYDIycxQEhQSbiSDGibpQQh?SeiNdHYahPmgySViMDDiaPPageSYiIDEY`HSygUTOiDDRw@c?i?V?I_EOAw@k?}?\?L_FoBixG@I?`?P_GOCgALTEidTRg`sPYGdCqa\PLgfsSYIDDYajPVjgdqyy@[em]VIjfDsYx`[}mYVOj[dpIv@[UlmVBjaDnIvP[UmEUzjbDnYwxZ}mOU}jbDoIwH[amCVFjldlIup\qmyUtjeDkYxpZMmYUqjVDqYu@[ml]VIjTdoIwPYumAUkj\DiIv`YiluUhjQdnYsxZ}lKU}jPDmIvHYQlmUbjhDfysH\Ql?VRjKteyrTXqk|U\jJDuyr@\ukmV[jhDcyqh\QmeUSjGDtYyxXIkaVUjkDbYzPW}mqUMjDDtYyxWqkUVUjkD`yzPWemqUGiyt\ymtVajtTxi}t^In\V}k@T}jADZyopVEkIToj?d[im`WMkCTrhtszY\dNQflRthzs}Y^DNuf~R}k\d{JF`^EpyVqkAeKz?xbQoKWqkAELJ?XbIpeWAk\d~zFh_EpwW?j}ELY~pb]nyWuj{eMI~PbepsVzj{ELzEh^YpkVvjxeMJFP^UngWxjqTxi{l]anRVfjtTyy|d]un^VmkVeFZEH`}p_W]kLEJJB`ayouWlkSeDzBHampSWWkIEGzCh`YpGWTkRECZD@`MpMWQkFEGJA@aIo]W`jnEAy{@_qm}WLjpEAJ@P]EnEWHkweNjMXcArcW~kteXZKxeurKXkksEWjLPeQrQXbkhe\zI`feqiXwkge\jIPfQq_XtkneRZKHc}r?XMkdEUZJXcqqUXYkmEPzH@dyqyXHkbEUJGhdYqmXCk_eZjGXfAqCXnlL_FwCKAA?~?`_OSkiUdJMdjQvhZT_Yo\WIkHUEjAuibSdiotLYjLQugRS|ictFYgLPUfbSdi?tLY^LQugRR\hstFYaLMUeBR\hsstYXLMUfbRDi?stY^LKu_BS|icsDYgL?u^RTTf{tXX}LTucbQlhOsnYRLJUbrNTfosbYOK|ubBOtg_s\YFLEuaRO\gksJYILAUu_Ac@M?j?R_IODYkDUIjBTdiptXI_\OUgHSEiCT@zDLampTWekSUHzC\aUpHW_kPUGZ@D_ioRWJkEuBJ^XmevUZ|ltE~J^@mYvsZgl{exz[Xm}vGZolqe{Z\`mMv[ZdluexJ]hmAvmZalzEwZ[@nIvCZsloe{zZhmeu}ZiltevjZPmYuwZgllexzZ@liuqZ[ljeuzYxluu}ZXlkEvjThlEt]ZRlVEsj^@kyvsZOl{erzXXnquWZ|lee}z]hkauSZvlce|j\xkUvaZFlwEpjWPnIuGZsl`e{zVxmquAZml_EzZVdjytzYxl\umjY`jYukYwlielzUhlMteZPlYEsjY`jAukYqliekZh`[QmJVBjbTqIw|d}rBX_kmUVjJldiqvXXkjUUJI|s{yj\PMjvSBits{yd\PMiVSBi\tkyX\MMmvRRjdssyt\WMfVURhdtoxP\ZMSvVRdTqSyj[fMjvHbittcxH[aMlVUBc\tGw~[`MiVSrcDpewv[YmJVEJa|scwf\JMIvQbadsWw`\GMHVPraLsKwZ\DMFvPB`tsKwT[KMavArgdo[y@\AMCVARgLoOy@\AMBV@RgLoCyR[BMdv?bhTsWv|[?MbvQB^|r[xh[xMZVMBelrkxb[{MXvMbeTqwxz[oM^vJrftpoxV[lMNVJBblyW{n]XnKVdJqtxUzQ]bnQfYJkxyQzK]cnQfXZk`yM|?\`mpfgjsHuIy{]_moFgjjxyEzS]JmuFbZlXwq{s]GnMFaZrXwi{y]AnAFfzrpwMzq\{m|f^jnPvuz}\un?f]Jo@v]ze]MnGF\ZpxvQz_]PmxFczmHxI{I\lmvf`zlpwYubZRlhUtJYtlU}H^EnavoZw\{I|{^OnhFoJyHz}|u^Rn]FtJvh|U}e]hnifizy`yi|K^OnhFiJyHy]|i^LnZfrzup{y}M]qncflJx@zM|o]nnWfmju@ze}S]kneFjjxXyuy@\Am_vOzglsQyL\FmcVQZh\si}k^ynkF}zyx~q~s^pnxf~J}P~m~g^mnzF{J}h}}~y^jn~fzZ~p}q~O^vntF}Z|H~a~J^fnrVxJ{T}M~g^^nzFwZ}h}A}w^vnnF}Zzh~a~y^Xn~fuz~p|i|@]anOvgzslyR?@_Ao?wE{Bm@r?{_KoOGBkBy?v?{_HoOGA{By?j@E_EoCGG[CQ?^@A_BoPg@[CQ?R?e_ToJgCkAa@Z?o_NoLGC[BI@B@G_roYGHkEiAV@k_oo[GKkEyBF@S_xoUGM{DYBj@Y_foSgJ{DqAbAC`DoaGP{GYCZAA_{o_GNkFyBuspYYlKvLjedrUxb[rmXVijt\ye|L]gnRwCkAe@N?^_PoGWWCJUEHAx``OlwTsJmDdA~`WOnWUcIeDXAx`TOlwTsI]DdAd`WOgwRcIeDXA``TOfwRcIUC|Ab`OOhwWCHEChBD``OcwQsJmCtA~`KOnW_O?{?a?RZVlkUuZnLvmzt\um{V\zyt|a}n^XnlvukCeAZ@J_foSwIKQAHZCoaQpJgc[PiHNC]aTpFGdKPiGjCWaNpFGa{QAG^CcaHpGgaKOaGjCKaJpEG`[OiG^CGaHpBGaKKYFnBI`|oqG^KNAHNBsaTo{gdKMiHZBmaWozGd{OYFRCA`qp@G[{OIE~CC`pp@g[KLaFzB[a?oug^{NYEfBU`|o}GYkKqFzBOa?org^{XG?Q?L?Dpcgi[TQKnDObIpQgq[SqKnDMbIpPGpkSaKbDEbFp`gf{WiIFEGa_p`gfKWiHzEGa\pKgpkRYKbCsbFp]gl{VIJ~Doa}p\GlKVaJVDuaupWgi{TiJNDcakpVGoKUAKJD]b@_BoAW@C?e?N?Gpxg{C\]NHFXbpPtW{C\mM|FdbpPvWwS\mM|FFbaPvWvc\UM@FXb^PtwxCZ]MXEzbdPmWxsZELhFRbXPsWtCXeKxEdbRPewrsYmLDEnbOPjO@G?s?U?H?E_AxDCN]FvBx`}p?W^{aYOnGccLqGhBKaYOzG_cQqGhB{aaN~Gkc@qIh?K`AOzG_cIqChB{_iOnGMcLqBHBKayOJGqcCqKH?{^iPVF{cUp}HDKayNfFucXp|HEK]eNNFjbup{W|{W]KVEHbFpcWpkcQRnHyc_q]HG[dIRbHUcyqTHM[cqRnHycgq]HH{fAQNHscdq[hHKb]PjGxc\qNxFkeiQ~HacvqZHKKeQQrHgcmqXhJ[iYRzIid?qiHN{gySvIQdNqcHRkhYSRISdEqeHP[gITBIcdBq`HS[iqTrI{dWqmhT{jyTfJAdZqoHUk]ENFFdctqZxLkeURRHfdgQwXYcluUdJ^dgQtxYcleUdJZdaQvXWsl}UPJ`djQqxZSk}UpJLe?QHXC{aMSvI^dMqeXQ{hUWHKLe?RCX_So}W@KHeARAx_So]VLJzd}QxX^smMWLJteCQ|x`SneV\KNdxRCX]CouVPJ~duQ}x^cmmXxK[eZrEhf[paXrKQe\rDhe{pQXrKieOrJhb{qqXFKoeQrIHekrIXNLMe]rOHi[ryYbLCecrPhhksIYVJ~d}q}xicuEYlLdekRWxjSuMY|LdemRWXe{rmXq?AexRXo?svYZRLi?AR\Xl_?QZe?AewR\xlo?YZj