CAT(2496,5)

Sparse6:

:~?f?_?O?G?C?S?H?C_AODO@o?e?U?K_D?BW@w@Q?_?R_G_CgBo@m?x?\_LoFWBcAg@B?b_POFwBsAA@H?e_QoHWCsAQ@`?p_XOKwEkBQ?L?F_Ao@g?{?UAI@C_aOPGGkC]AL@D_boPgI_CiAR@G_doRWHcCaAT@H_doRWHcEK@l?w_ZoMwFSBeBu@A_`OOgG[CMAF?|_^ONGGCB}AB?{_^ONWF{CEA@AX@BoaWPCGmCXAI`COaWO{GiCXAJ`@O_wOKGQCLAD_p_WGKOEUBG@`_p?XgL?EEBM@__p_YWKgEmBG@i_s?ZGLoE]BY@e_v_YWMGEmB_@i_v?[gM_EqBY@r_w_\WLwF]B_@u_{?[gNOFQBq@r_~__gOWGAB{A@`A_^gOoGACG@~_lOVGJ[DuA~@]_|_TGNgDYBw@T_j_]wJGFuAo@{_f?\WHwFYA_@v_|?SgNGDEBo@R`r_IgDcAmFY?l_VoJg^_BA@d?p_YOLWE[POB@@a_ooYgL[EeBX@l_vO\WM{FYBr@y_{OTGIsDUAr@W_joVGJSDmA~@]_moRgICC}Ad@R_gpL?dsQsHdCrAUPIocsQ_HRCiARpJ?c[QwHJClAQPFWb{PyG~C\aNPGWcSQAHDC_aOpEGbKP]GvC[aLPCoeCQ{GbCQAWpKo`sROG^COAXPAobKOsGpCKAJpA_b[O_GxCHALPD?_[PWGDCTAAPD?_kO[GlCTABOvOZ{LkF@B[@nOvo[KM?FFB]@pOwo[kMWFBBa@qOxo[cMWFRBg@qoxo\SMcFXBg@toy_\{MoFZBj@vO{O\{NGFZBm@wO|O]CNGFhBp@xo|?]sNSFpBr@zo|_^[N_FrBv@|O~?_[NwGHB|A@O~o_sO[GBC?AAo~o`SOcGBCGA?O~?`[NwGZB|AEPC?^[OwFtBxAFovOaKLkGfCQ@mOjWT[IqD`Am`VpIOVcJgHVAzATOnwVsJuE?Cb``@HWWGQQEnBT`jPI?ZKQWEtBWARpK?RCQ{ClAVAWoq_X{LCERBO@dosoXsLOEXBQ@eogOW[KSC~A_@aOq?SSIOELBF@PoeOTCHkDTAY@SohORsHoDNAe@MokOQ[JKCjAq@IOc_UcH?DlAP@Yob_VCG{DrAv@EpqoCC@y?~?`_POGwzgA]@R?g_QOHgCk]W@P?h_RoIGDKA]E~B_`nOxW[sMQFTBk`to{W]SNAFlBw`zpBgaCO}GbCRaHOqWX[KiEZBM`eOeWR[HiCxA]`MofwSKIADDAc`PohwSsIUDTAh`SObWP{GyC^AL`FOcGQSHEC`AQ`GocwQcHUCfAT`IOeGQsH]ClAW`JqNPDobiP_G{c\aJxDObePOGvcSaMHBgbQO{GucMALXA?_]OcGHcGaAH@O_uO]GKcDaBh?_aIOIGccBAGw~s_AN~F{b}p}w~C^iNrFwb|P}W}k^]NlFobwpzw|k]yNXFmbuPzXEG]ePeFjcX@yg{obiPwFgc\`xw{gaqNEGjbqAJXCg]APMFacR@wXCG]AO}F`cO@wg{W`eOuFdcL@xGzg`QOeF^bnADWzw`]MyGWbnADgzO^UMwFubl`|w}O\YNgFSbx`tW}O\]MqFrbk@|G}G\MN]FPbw@sgxo\MM]FPbg@sgz?[mMYFXbe@twxw\QM_FTbf@tgzO[qMYF[bl`qxA?UMOcDccG`WgwObeMGGvb`aMGvw_EM?GBc@@oXE_ZqPkE}cY`nWxOZYLoFGbZ`qWvG[eLuFIb\@qGu?`YLcGWbWaDxAgZQOeEtcI@kxEGYaPeEhcX@hwsO`mOsEbbOaEWr_amKyGkbLaJX?_XaOKEYcA`eXCgXUKkGebJaHxCGXMO}EScO@cgpw_iKaGKbGAAwkg_uO]DfarABh?wUaJSGHcC@YWlW]eJWFiau`ywlobiPwDoc\`ZxEWVMPaDpcX@[hDoVQP_DuayaJwn?`uJqG]azaFGnOb]JuGwa}AMXE_VuPkD~cY`^gp_aaK[GhbEaIgpKWmKTEEbBpaGoKWIK@EDbAP_xCOTMIiGcaiAGw{wTANODQbr@SW~WS]IQF{b}`QGgO^yIAG?a``~wwgRmMKC|bb`NGwwReMICwbb@Mgeg_EHmGBaZA?gsgYiLWEebQ@iwtgXyL[E_bV`fwjOTqIqD]al`VWjwTYJ?DWao`TwhgSYIGDNaf@PWg?SmH}DKa^@QhbW@m?z?[bcPqgxKYILFE`bLpfWrcX]KjEUbHpdGqSq[W@K@ESr?`dCloXTJ]EUQvPd[qSUvJXERRH@ZSqKUdKaDgQsPcKksW|JNEOQr`b{jgXPIwESqmPc{i{W|IpEOQk@b{i?XLKcDPQgPckhgXVI[EUQepdShYSjISdHqcXQSgyS`INdEqaxPcegXBKbCuRG`L[e[WvHhEMqY@bccWWpHGELQPpbKccWtKWCdrEPHScOWjHDEJRDpG[c?WjHAEJRDpGKbsWvG~EMqN`bco{VzKPD~RC@^{ngVhJuD}Q}p]kmSVPJfDtQx`\KmkVDJlDqQz@[[m?U@I~Doqn`Z{n?TzJnD\qz`VcjSUlIvDkQl`Y{jGUfIsDiqkpYcicSnIjDKqi`RCioUHImDbQjPWkkkTJJKDPqq`ScnCTLJrDSQ{`S{hwWPI^EBR@pRkg_SJIIDBQaPO{f{SDI?DAQ_PO[fgUPHzDcq]PW{kCRxH}D`q^PWSfWWdHwEHq\pacfKWRHtEDq\@`SooR`HqEFRBPMKn[RZJxCvQ}@L{dwRJH_CrQVpKcdsQpH[ClQUPJ[dOQlHRCjqS`IkeKQ^HPCoqW`ICoKQXKDCfR@@Hk@i?p?XeyBmXmOzaZeMvevblxmGzeZ_MwesbbXlWw}ZSMMfBb`Hogwa[KMHfDb_hp_wM[SM@fYBZHuouy\iLlerBcxl?xUZMMSfVBWxkgzAZGMneoBjXtWuI\WL`fWbVXuWt}\cL]elBiXj_yiYuMgfGBTxjGxI[aLWeiBhXswtY\KLTefBSxi?tEY]LQedBQxhGsuYOLKebbghggyMYKMcfMBOhg_xyYEM\e^beXrWsEY?MYe]bgXs?ryXwM^e[bdhfWxaXsMVe[B^XnWrYZwKve~BKxnwrQ[?Kte|BKhe?veXaLweUb\Xdwv]X[Lu_JoDgAl?G^HOCFrS?p{k}G_FN`GAS?`{[zu\|M~f\rmhvc{?^`NAFxRoP}K}g^NNhFuRy@|[|w^ZN_Fvrvp|s~K]vN\Fyr|@zc|G^rNSF|rsp~S{{^xN}Fgrs@~k~W]XNwFer|pxs{c_BN~Fds?@xS|S]LNGFjrppys|c]JNBFlRu@wcBm@r?y_ZOMGE|B_GDCCa@p@w_kOYVZJkdtqyh\KmaaAO{g`CMyGXBu`oO~g_CMiFHBy`iPBg_cLyEpCI`iO}g_CLyEpB}`yOsg\cKyF`BI`qOng\CKYF@BA`]OPgWCCyEH@I_gOqgJCLIAhBM_^OMgGSAy@l?q_POIgCs@Y?t?]`?OegOcHyCPAa`EO\gNcHYC`@y`WOYgVCFIDh@m_mOhgTcEYDP@a@Z?n_VOIgDcAmby?P_FoCGA[@Q?dFFbappgyc\YMjFXbkPtw{[]UNH@n_wo[GM[FQBd@M_gORwIKDIAfDLafpRghSSqIVLOefrRhhksqYVQlHOSfiR|HmczQ[hFCdyQpGqcYQThFcbIPpHEcYQOhQCaYSpGmdIQIhPc`iP@IEcMQahKC_yO`HicqQDhACdIOhHMcEQQg}s^yNtGAcDQ@hQC]iSpFmdIP{g|CgYSXFqbuQagzcayNHGeboQIhCC\IOxFYcKPth@CQiH`GAaUQ@gwcdYMXHYbcQVgzcZiNHFAboPngtc\iLhFUbWPshKcYiRPEacoPhgrsXYKtEMbHPahFcUYQHDmc_PYgjCciJ@HQamQRhLcSyR`DUcyPSghCgIIHH}a_Q]gec^YHxF}a[P}gccVyKHC]aOP_gacVIGpDyaGP\_CoAg@[?u?\?KeJRDxakpaWtKX`lovWZcMEFFBa`xo|G]kNeFvByaCPAg`KOmGXCLdqqxh[{mQVFJacoQVxJsdmQzH[ciQShI[dAQbHNgosWIJ|Dqa|P\iWTJid|QmhZSkiTTIYdDQUhLSfiDdCIaPOqgaSIiDDBY``O}gUSMiBdDi`HPagOSViHdAY_xPUgOSSi@T?y_LOQgJSEiYCiYSxRYhiQgiXcjITPREhcQjiMD?IbhNyg{R~h}DEy^hPefuSYiNc}IcHNih?RxhydHIcPN]fkSbhxDFy]`QEfeS_hwdEybPM}f_SXiMCzIbpMygyRliKCxI[hPYgmRbiHcwIahMEggRaiGcvyaPLue{SOhmDByZPOyeuSLiPCtyc`LehERWiTCtid@LUhQRSiRcsiYXQUeaSehgD@I_pKye]SDhdd?y_HKugCRKhbDKYWhRMhcRFiYCqIehKehkRIiUCoYVxQuhUR?hYDJyUhRAdeSmh]CyI[pJufMQ}h\cyiVPMedqRjhaCkIUPKMdaRAhVclyTpJadkQljV`sWy[\IMvF[blPPGgsSUINDHacPNggCR}IBDAa`rSXi[tIYPLIecsiYTDI]dXQihTsyY\\MifNRghrSkIUTJEdZQmhVttAx\\KmTVKJituAw|[cmlVVJcTjAyTYsm`UmJgtrQtLYkm^VMJTTrAs|Y_mVUeJdTgqw|YSmRUcJcTiqslYOlTUbJStjastYolPUlJRtgAvtYGm@U`J^tmAr|ZgkzUxJNTjqrTZCkxUoJLteQudX[ldUWJXtdQv\XWlzU{JITcQulZ[kfUuJHTcIptW}kZUJjEToQpDWgmFVAJCtpaot[OkNVDJAtoqod[GkFV@J@T_QwtW?mJT~JaT^IntVujqU}i|doInPZ}jkUnizdkIn@ZEjiUrjYD[ym`ZIloToj\D[YvHVIjYU{ivdnYlpZmjSUtjZdZIupUmjBTaiptVqylU?mfT]JiTUqyt\[izVWImTraiD[{ibVLIftsAiTTOmdTRJgtTakdTSjLTVIqtYQjLTgjPTWIrtOag\S?iJT@IaTNqhdRwi\S|IetQqfdSghtTHI\tQAe|RciLSwIbtgysdYUlNUgjRQWXK[eIRHHdcrQTxIsdUQpHXclTOIgTSEhzS~i^TMifdRmhpSxiZuRjIDc}qXXJkeuXq}Te_nfXeJwuQRItdOqTXGKiuPRJTdkqLX[KbuObJDd[qHXBKkuSrGLdCq@XQK^uMJEtb]pfWtkYUURC\aCqpXVKPUFbJTdop@XZKNuFRIl`kqlW[KiUEbITdKopWXKguBJ@t_uoVWHkDU@rH|d?oPWEKfU@RHd_OqVWBKet~BKT^kr@VyKouVQ}|^cq~VwKnT|bKd^SrJVsKptzrKT^?rBVmKoUVQ|\]sq~X]JuUXa|De_nTXfJstxRK\][rJVeKqUIbDta{pXWjKUuNBC|bwpRW|KSUHBFLbkpLWyKQuKRAlbGolWoKJtwb@|]OobVbKGUCaz|`OnBWRJoT~Qzt\sn~V[J~TuR?D\koBVYK@UlrL|j_r`XpL[ulBSTjWtHYtLPuerVdhcttYYL\udbUTjKspYVLWudBSLhKs~YTLOUcBRdhwsbYQLMuorPlkOs^YMLaunrP\gotzY}LDU`rWDgcuDYGL_u`BWtgWuPYDLbuirN\fotZX|LUUjbNDj?rtYnK{u\RSlf[tNXuLRUiBMTigrhYhKxu_RLdgKr\YAKuu_BL\ecr~X}KtUzR[dm{vLZmLquyr[LmovFZiLpUwB\Ll{vNZgLnU{bZllkvbZoLmU|bZDn_utZvLkutR]\nSunZULyUqRX|kkubZILgUrBYTlOu\ZLLhvBb^Lngw`[NL|vBR_\okwH[KM@VAB^|oCwT[?MCv@R^do[v|[EL}vEbaLpowf[ZMHVDradp_wj[UMKoCgAc@M?^?P_GSLyEtBU_\OOgFsAy@l?qdNQhhSSiiTdImpTWjkUUDzAl`YyG[wMZVMbelr[xr[zMXVNBedrsxf[wMVvMbeLrcx`[kM\vJbflqsxx[nMTvKRdTr?xR[kMSvJRd\qwxT[cmQvGzclqQxF[fmRVIJdDq]xL[\MYvLrb|pwxl[aMXvLBcDqCxd\j?EOBg@k?e?V?IjStiytTYql\Ulg|S^IN\E]bLPdgqSWyKThMsjYSlGUcjQLeqr\XlktuYjLLwe{V]InBVaJo|vs{@\~N@V^boLvg{F]DM}V`Bn\v{zn\|M{V]Rntvczx\yMzv]rnDvO{F]DMzV`BmlvK{D\pN?v[boDumzZ\kmtvZJlluyz^\omvV[Jl|u_x~[}MtVYRgDsGzP\BMsvYbgLu[zd\eMxvXRmLvOzD\cMyvWrmtw_yR]FMbv`bhDsS{R\ENDvPBpTtKzB\^MivTBkDt?yv\YMhVURiLssyl\WMfvRbi|tsyX\]MdvVBhT|szT\gmsspyWtKUePRIhcu@z@D_YoFWDkAVNjf|sAyB\Bm`VTzjDtYyr\ZmlVVjjdtuy~\`moV|R~D~[~t^uN{v{b~\~O~x^|Nxv}R||~_~b^yNwV{b|l~O~\^rNuVvjz||u}|^^nmvzBzT|o~\^lNlvtr|||_~`^XNwvtByD|W}\^TNfvsbyt|K}j^PNiVsbzL|C}n^RNkVvByD{w}t^NNlvyBx\}[}Z^KNrVqB|L{g~V^HNtVpr{L}G}J^ENoVwrw\{G~H^CNqvnr{L{C~D^_N_VnB{\zw~J]|NqVmR{tzk~P^fN\VyRut}k|p^iNZvkr~\~s|j]sN}VkB}lzG~n]pNzVfbpdy?{\]^NEvfRtlxo|^]ZNVVhrrDxg|R]gNKvdRsdyW{n]dNJVcbtTxO|X]RNTvbrsLx?|D]PNPwTRyt|Q}j^VnkvuJzT|q}vTNigtSIidTMidYBl@U_ZODfyr~]MnEvbJsdyY|J]gnSvhztTyq|V]lnVvjjp|xE{``oOxw[cMmFDBh`uOvW]CL}F\BZ`\olwVKJMDjAp`VojWT[IuD^Aj_?OiV~cIT~|Af`POnwWCH}D@A|`MOrWRCKeCtBJ`IOsWXsHMClBR`GOnwWCGuC\A|`aO`wWsGmEDAH`?OowOcK]CDBD_vOqWMSKuB`BJ_sOrwLSLMBXBP`zORW]SC}Fh@J`kOQWYsCUALBT_^OxwGCMmADBh`lOMWFcL}Ex?z`uOJW]CBEF\?n_XOxW[CB]FD?t_ROtWZCAmEl?h`xOGW]sAUFh?b_LOmwUs@}?xAx`WOEWAsJU?hAr_@OhW?sIe?HAf_jO]wNsDmAp@|_yOSWIcFeAd@v_GOXwASEUBD?N_mOAwKC?uA|?HbXP?gt{NyLbEka?o~GtkNaLbBybVpaGbkWiHBC]bEpbgo[WYKfEObApVGr{TiKzDWbLpSgqkTYKrDSbJpRGs{TALVDMbSpPgsKSiLJDGbPpXGgKSQJRDea`p\GfkVAH~Dqa\pLGl[RaJZCuavpJgm{RIJvCoa{p_Gd[VyHZD{aSpVgc[UIHND_aQpEg`[OyGnCWaEp@gakOQGbCGaHp}g|{^yNfF{bwp}G|[^QNZFubsq?Gzk]AOJF]c@pwgy{]YMvFcbkpqgv{[yMFFKb_psGwk[aMjFQbbqCGv[_qLzGMb[pkh?{_iLnEscCqLhA[biOnGwcIqHhD{aaPVGccUqFhEkaIPbG_cXqNHBKbyOzH?cLqRhG[dIQNHOcaqUHH[cqQjHUccoiWS{ITsAx|[~m_vOjg]RLHrctQ\XLCf]RTHpcsQZXKse}RXHZcwQVxLsduRdH`cqQ\xKSfULbEnbUngVrzxt|E}f^QpBw`[OuGJCHaBqiXTkimTFIfdQqcHRkhQS~IQdOqchR[hQSrIOdJq]HS[iYRzIcc|qfHP[gyTBI]dEqdhOkhiSRIWdBqiHN{iqSFIid?oDWBK@]?z?^_LquHZ{lqVFJYdoqsh[kmaUnJediqwHXklAVFJ]dfqxhW{maUVJGdqqpHU[kATbJAdVqmhUkjyTrI{dZ_COAG@EGfCTaGpDwb[PeT^IrdWqlXVKj]W\KfeHRIxdCpEWdKbeORCX`sqUXTJleSQyx\sq]WhKHeKRBXasomWDKZeBRFx_cpuVxKde?RGx^sqEWtJveNQ}XbcnmWhJpeKQ{xasnUYlKxelRNXjCrmYTLPeiRRxhctMX|Kre`RLxgCrUXXLDeWRQXdss[?DLmem_@hmSuC?HLoen_@HkSueZW?AerrY_?suV