CAT(2600,5)

Sparse6:

:~?gg_?O?G?C?w?V?J_EOBW@k?q?\?N_HOCwAC@E@E?Z_LOEwBc@q?t?z?W_KgDgBI@[?r_V_KwD_BQ@_?s_\_LWEoB}@o?|_\?NgFGCA@m?{_e_OWGSCUAF@E_aO`_KkEYBD@c_poXwJSDmAn@X_kOTgJcEEB@@^_nOVWIcDMAj@R_ioTGJWEeAo@j_j_YGLgDeAs@k_t?TgJ_EeAy@i_n?YwL?D}BY@`_o?ZGKWEmBI@i_u_XgKOEeBM@g_q?ZGH[CaAX@H_boQgHkCyA`@N_hOSWYGAe@T?i_ToIWD[@u?|?^_OOGgCKAY@P?d_QOHwC[DMAj@S`{?xg[{MiFPBj`sozW]CNEFXBn`vOn?\CM[DzBe@^oy_WKJwFVBh@_Oqo\{KoF\Bk@eozOXsL?FbBN@wOv?\{MsErBm@lOz?Y{LkFbBW@wOtgYkLEEdBS`hoq?X[KcEXBI@eoqOXsK_E^BO@dOn?ZkLwE@A|@non_[CKCFDA~@oov_WcKSE~BE@oOpoZkMGEFB`@`OcWPkGyC^AK`GOdGQ[HUCnAQ`JOloWcJgEFBD@ZOpoVKJkELBA@[OewRCHeCzA[`LOhO\SIOFVBf@ROyOTCMWDRBg@Rof_ZKH{EtA_@kOtoS[LoDBBZ@PO_gOKGMC@AD`AO]_[[FkFF@~@qo^?[kFwFH@|@qOs_M{FcEbBT?yO]?YsLKBjBS?zOk?TSJGDZAp@TokoTcI{DjAs@VOZoO{GWBb@m@CO[_P[FKCT@o@Cpd?BK@U?l?S_JoEGAk@a?r?V_JODGXKKaETBJ`eosGXcKyE^?n_VOJGDkBA@bAo`WokgU[JUDhA[`KOeWRSHmCz@|_|o]gN{FqB|@{_~O]wNSF}BzA?`@O_wOKGUCHAA`@o_WOcGUC@F~BiPswys\UMnFWbhptGyk\YMpFVb|@|w~G^aNuFsb}`|W}W^yNwFube`xwy?]mMaFkbf@yWyO]aM]Fibg@{Wxg^AMaFlbv@rwxo]}NcFQba`{WwG]uN[FBbv`pGwo^IMCFobZ`yg{wZULsFjb[@yG|_ZYLqFhbXPjwuKZML`EsbV`pwu?[aLaFHbX@qgu_[qLeFJbc`iwtO[qMMEhbU@qgto[aLYFJbP`xWsg]ELKFabp`iGs_]YNGEfbQ`ngso[ALOE~b]@hwsWZuLGEzbGPbgqSXEKfENbFpcgqKWyKfEObAp`wo[WQKLEAbCPawpSWeKZEKbm@^goG\mM{D{bm`^W{?V}K?F^bC@wGzWWeMwEIbD`vWpg\}KWF]az@xWnW]ENEDyaz`wg{_VaNKDxb{`_w~OWQNuEEb}@`w~gWUKCF}ax`oGv_VAJaE~b^@[gmgZmLyDsbP@^GsGVuJ{E_a~`gGoGYIK?E`bV@egrWYiLWE[bU`fWtGX}K{Ejaz@egnOX}JuE]az`ewnGXqJoE\aC`pG_w[YMCCDaA@oW`?[MMICEat`uWzOUyMsDnat@ugzGUqMqDlaq@wW{WUUNGDear`wg{oUeNIDgan@zWjw]yJ?Fnao`{GkW^IJCFpak`vgzgTqIuF_bl`UGzwTuMwDYb|@Sg~WTMIgF{b{`TWiw^yIkF|aw@PgmGS]JcDGac`[wmgSmISDsaVPJweKRAHfCqaY`{wew^UHgFvaZ@|GfG^YHoFwaP@dGcwXUKkCcbJ`HWrGQMKoCeaS@lgdOZULmChb[@JWvGQmLsCkaF@yw`W]]GSFhaE`yg`_]aG]FkaG@dWaWXQKkCSbK@CWaOXeKmCT`{`}G^O^]FoFtbx_}w^g^QFwFubk@?g^w\UG?FRa?`tG_W\YF{FVae@MgfwSyIYCzaf`NGiGRuH{DOa_`Dwb?SQGkDAaa`EwgWPiI?CX`x@FGbgNQG{BtaN_|g]WQEH?Bv_Bo@w?{oO?R?G_DOAW@S?a?P?H_DREOmCVEJfDqayp\GmsVeJnDya|p]GoKWAJxD|a~P^wp{XAK\ERbGpcgpCWeKTEJbEpbGDSAm@R?^_MoGgBsAA@B@U_joUGJKDmAt@`_moVgJcD}B@@a_poXGKkE]BL?t_[OLwFKBi@l@G_doPwHKCiAX@L_fORwICDIAbDVahpSgicTYIjD?a_pOgg[SQIJCnaXpKGeSQyHbCxaYPLwekRaHlCUaKPEWb[P]GtBr`yo{g]cN]FlBs`xO|W]{NYFfMyFGbghqOyM[eMcfIbhXswxQ[_MefZbjxu_yy\oMofWblhuWzU\cMxe~Baxn_waZyMKfCb_HpOwEZ}MLf[b]Xu_vY\iLvfZB]HnWzaZsMvfWb[xmgzAZaMnewBjhuWvQ\cLqfSBYxlwye\SLifUBZHtguu\ULmeqrXhlCu]ZRLcfRbVhsot}Z?MaeobhXsWuMZCMcfMBUHjGxuYsM]elbfxjgyEYwM_ehRSxist]YhLTecbgxswsaYSMafRBPhhWyUYMMce}BPhhOwE[?LJe}bPxnoseYOL~e\behrWruXsMWe^Bdhf_xeX}MVe\BlHfwzaXuMte]BlhfgzeX{Mve[Bixt?r]\YKve[BiXfGyqXqMifGBKXqGrI[cKsfHbKxqgrU[gKueWbRHeWsuYaKsefBKhhwrYY_KterBHhkgqUZGKierbHxlGqaZOKhfBBFxoOqAXEMBfBbGXcOwQ[IKceNbOHgGqEXCLAe`bGHc_sUXELCeFbfhr_oy[yKPeGBgHrwpIWYM`fMBCxrgpQ[{KUfNbDXawyAWoM`fVBAh`Oy}\aKJeEBkHuWomWWMqevbCxlOpUWgLmetbDhb?uqWmLleABVh_gt}WML_eCBWX`GuIWKLbeAbJHdgoYWGKjeWBAHdwoeX[KFcDBIX?gq]OMKgcBBHX@?qiXKGHelAvx[OtmUyLWekavh[?tqVAL\dgb\xmolIUeLxe|AtHYovmUiLwdgB`Hogk}[KJLfBarhXWwMUWMAddBBh`gkaWcJHeGapx`wkUW_JEd^b[HW?vEUALqd`B[xW_vUUELsd[bdhVOx]TuMWd]BeXrWjyTyMYe`ajhUGsETYL?eaakhg_i}T_LAehAbxi_hAYeIPejAchQ_t]SeLTdCa~XPOnmSUJzdEA~HPonuSYJ{eKa_XNwpiS?K[eLa_hNgpyR{K\fGA]xqgfa[eH{fGa\xq_fe[cHycgQRXHsdIQbHNcjbjHIWya\QHTcjBixJ?yuQgMicmBbhJow}QqMNclBbhJgw}[[HZc_a~hGOn}QEK?e?aPHGooIWEHDeKaLXbObYWuGveMaMXb_biW{GwcXa~hEGoMWCGncWA~xE_oAWAGqfLaIXDOxaPUMUcUbeXqwayPWMYcPbRHC_suPILMcRBRxD?tEPMLOcMbaXBowiO}MJfCAGHCOwuPAMKcLbKHAwqmOoKkeUaEXBOq}X[G[dwayX\wmiVUJoduA{h\onQVYJrdjahxZ?iaTQJXdTAuhT_lqTUJZdIa?hRO_MOGIUdKA?G~wheSmG@dpa[XMOmQReJdcyAxhMomaRiJfdPaZXSGemTCHmdQAZxSofARWIddAAXXOgeYRMIEcsA`xP?eiRQIBdNaWhKWhmS{HccnafHS?eER?I\dZAQhUwcqTiHJcbakxH?jaTgHHcGa|X^G`QVmGUdzACh^O`UVoGRc_AAxA?byPwGKc]aBXFW_yO]G~iQ_@G?s?U?J?E_AO@g?k?QV|J~e?R?X_[oIWZKMeFrChaKpAWlKSeIrCxa{pa?Z?K_DoEwBS@qDxA}`]ooGWKJ}EDBB`aOpgW{KU@d?s_XoJgDcAu@b?o_VobGPsGuC^AO`GocgQcHUClAV`Ho`gO{GaCRAI`DomgV[J]DlAw`[oZgL{FABb@r_xOZwM[FABb@q_vO]GMsFQBr@v_yo\GMkFYBn@w_{p~x?[_IOBGCc?Q@X@K_iOLGFcCQnXVKjyTxIzd\QQHH[ciQNHKccqRXHsc}Q`HPchQSxIcdYQjHWcjqUXJcduQ|HYclqIXDcaiPVGmcUtrQwH[]mCVIj`dqywp[emWVCjadqIvXZUlmV?jZDnIv@ZulsU~j[dnixPX}kyVJjODrIsH[elCVFjcDfiqxYekoUijTdeit`Xml[UXjUdfIlhWUj[UEivd`ym@WakSTpixDaYwxU]mOTgisdqYlP[imWTkitdqypXUEjCUMjEDWypxUQk_TejEdXYlxUUjATpipDZilhUYjEToiqD[iqpTaiiUPijDciixXMisUSjIdUYhPWEiUUAicD_ynxSYkGTFicd_IlHSYiSTkirdPyh@UajUTJicdYiwHRimCSzj`dNIfh[Yh}VCi^DpYjXRqhsT\i]dVIfxUAi{Szi^DVyv`Qyh]V?j^DKIvhREheU~iXDmydhYahOUbiSdhIdPYUhWUfiTdhis@QalCSliTdfydPXylAShiUDfYnHQYhIT}i|DHYcxVqhMTzi}dHicTQMhHS`iNtGIv`PelySYiMDoIbpZmgyU}j^dEye_zihiMzf]DLhvhRa\}Sxf^DLya`PYgmSOiIdEIaPPageSViGdDim`OegGTriyd@Y_pVYgOTwiBd\ywHNymCR~j`d?Iw`OEmKSBjad?i^hWEfwUCh|d_yo@NekCRyi~c}IiXNYigRtiiC{yiXNQfmTQhxDSipXLQkWRTjEctippL]k_RWjFcuYjXKye]T[hgDVYjpLEj?RRincsiVlJyd~R@h]SoITPVMjgQjiycjImpIud]TwhVD\yR@WUcqUEhLD`yRXWakSQ\hMDaYtxGqcYUohFDkYQHZQc]UqhGDkyOPYuc?UhhAdjiOHYilUQCh@djIqHFYbgUQjJC]YMhXQbmUTg{DcyLpQyb]SngwDKIMHREhePriXC[iLhYalEPgjQCYYshEibWUejRcYyJ`PeaySYiMCViJxPmbAS]iMcWIIpZUlkPWjZcUYv@DmasUygjdmYh`DAiYPPifCSiIXTEi]PTigCTIbxByaESciOcNyG@QMaAS_g`DGiF@TeisO|ijCMYixBiiiOzikCNICXZE`GUogQdkyC@Y}`AUsgPDkir@@i_}U[jJcFYrP@ykuOZjKcFIA`SA_iT@gJDOIBHSI_mTAgKDOYh`?yiYONifCCIhx@EiaORigCCigW}YiENdfsdPH|@SU^GTDiaBxxyxRa]cSsfhdLXy`RY]iSxfjDLxx`Ve]YTyffD]xxxVq]aT}fgD^Y`PJYgUQviECmIVHOuduSNh\DBiX@HyeQQ^hdCgIX`IEdERJhecgi\PHMfKQQhtcdi\HHUfMQVhsCdIZPFieuPzhmC^IZhFue}P~hnC^iHhCaaMPIgfcQYHXCQa[PDgeCPiOpBIcSOrhDcLIEhG]`mQGgZCaYDXK]`SRBgRcoiW`AaeIOehbCIY\_~qfYN|f~Czh~xM}faO@hwC?H}pMA^mR`f{Cwh~HMMfINzf|CxISg~AdGNpfxchh}hI]dQNqfyCiH|P?Q^]OFftc@h|`?I_ENmfuc@YKO}EbENbfncXH{@EU]{PffpCXiD_|i`aN[fmcJYDo|a`]NXgWBuyU?{AdaNAhXBoYUW{Q]EQthYBpXwp?a]MOHfcCAhxH?m]UOLfdCBJg`PegtS\iLtFibc?y?`?Q_GoCw@{WIKFEDbBP`woc@u?|?^_OOGgCKAM@H?d_ROIGC{Be@j?u_ZoMgFCCqAN@G_coQwHSNeFtBw`|o~W^cNyF~C@a?P?w_TH}dBQbhNSgISS~A^fNpfyR|X}Tx_{e]LnHFbJq`wy{]]TnGfdzq@xY{g]BnAFdjqPwA{e]AnAfdZoHx]{_\zm}fbJpxvyzs]MnGf^zn`wuz_]LmvFbJpxu}{_\pmxfbjqHvIzO]?msf_ZlPwI{G\jnAfZZl`wM{K\FmaFajoxsa{O\Hmafazgpwe{e[qnHFKzdxxQxg]VmWfdZe@xYxK\SmPfSJc`tExM\TmhFIJchtMwU\smEF\Z`hvYw[\vmGF]JnHo}ywZ~m?FVZ_HtywC\^m@fWZ_`uAyCZzm`E}jgXnqvq\@l}fOZgXnyuk\YljfTzj@lUuo\UmkeujjXleuQ\mldFZzmPkyuY\rldf[Zm@kqywZBmmepJjpkUy}ZEmoeqJk@k]{KY|l^F`zVxwau?]Hl`FazWHwitm\sl\F\jVHv]to\tm{enJVXvasM]ElDfazP@w]sQ]GlEFajPPweygYDl@FSziHgYy_Y@l@fTZiPgQzEXzk}FXJNxuIry\dl?FXzNpuYzQXVmtEUJlXdeqs\lkmFYJJXuqqk\IkgfRJhhdIy[XRmfeTJIhsmqU\IkeFQzhhcuq_\MmfeRzHpsqow\}m|EGJBXvmzwW\kNF^znh`}ysWAj}fTi~pt]yoV~mle?JjH_EyIV_jqFPjg`\}yMV`jpFQY{XsazKVTjjfXzkX\Yme\ajkFXJkh\QxQZrlzfIj]`qmvi[kmVE}J]pquvYZZlvEvJ\xluv_Z]loE{jZxnEte[SmJElZaHjEtk[TlYFCjaXjItYZflTeyJT`mevSYmluEkJ\Xi}vAYXlpEej[XhmvGY[lNExjRhmUu_YOlEerzY`hEs[ZPlHEsjPxlMrQXnktE[JM`emraXkkxeZjMPeurK[akpfFjbheQw}XdksFGJcHe]seX\lIEVjQhd}skX_lKEWjQxeEqI[zkbFNJHHruqS[}kcFOJGxr}pcWtkZeJjE@bMp]WukWeLJDhbapM[tm[EIjD@rYxmWhm\EJJfHamp}W`k_EGjGHaMpGXAkREPJChcMoqYblNeDZS@`YosY`lQEDzSP`aoQYdkDEhj@Xi]tOWKkFEijTH_uoEWNkAECJ?h`EoKWRkCEDJ?x`IwIVvj{F@i~Ho]ns[Gj}FAi~XoepyVuk\d{jFP^MpwVsjweNi}hbewmVjmKDzI|hpen[[YjwFFI|xpmmqVdjlDxizX]]mwVgjnDyizh]emYXtjfE\ixxf]maXwjhE]iy@feyF\Am_u[zL|fQrdXpkwUKzEdbUplWvk[WmcUUJHDlaxPXwlCUmJLDnawPYWecV]HlDxa[P]wfSVuH|E@a]P^v|CVt~HDv^tP^v|sWD~XDx^rP]vzsUt}pDj^lPZwmB|uJg~baxNwW[SPUGpBj`oPCW[sP]GtBh`qPCwWcLuE@B^`lOnwZCK]ElBB`]OtWTsJ]DTAp`UOmwUSIUDpAf`YOiWQCN}C\B|`|OcwQcOMClC@`{ObWOCSuCDDN`APSWOsTMCPDT`DPTwJcTeIt@^amOWWjsEMJD@faoOXWRCBe@xAZ_`OgWGCH}@|Ab`MOMw_c?eGL?J_HPBW`C?uG\?N_GPAv~cAL~|?d_TO?wDC?U@L?F_?OGW]r{mFW~@`vNow]B{UFg~H`xNpwMbzUBk}v^[O]VvSFmB{}~^]O^WcrzMGw}haNNiwcByt|\CdaPNkV}Bxt~c}^^RN|V}ryD|C~z^QN}WLBxEBS}R_uNdWLrx]Bc}Z_wNeWXBwT{\BR`dN`wXbwd{XBN`gNavoC@|zp?T]|ODvnc@e?s}B]~OFWHRvEAW|t]zOPVlcC}AO|n_bN[vkcD]Ag|h]oOSWIRuMAo|j]rOUwgrteIO|\aaNTvjSSMIS|^]iPOWDbsdyT?n]eOKVhsBLyd?v]gOLVfb{t}[{~^gNOvyRsT}k|@^iNPwdBrEHS{r]ZPJWdrrlxpCr]YPKTDibDP]g~S_iPtGYcdQI]|NbfnrwH{K}JJ[d\QrXVSk}U`I|d]QsxVsl]T|JTc|QqXWCfMUDHtdaQ\xNckmRpJFchQuXIclmQ\JXcgQuXZSdeQlJZd_PnxWS[EULFBdcPpWxCkmUHFFdiPhXXcXmKxJNdgPfwsSl]UdE`bXQdwucheLlIZb\QgWvchuLpI^dDQgxScguS\IfdGQiXQciuSdIjcuQVxMCeERLHZcsQVXKce}RDHjc`QlXHcjEQPIvcdQmXGcjMT\HFc~QCxOC`USDGVdAQEXPC`uSLGZcZP}xFC^uPtF~c]Q?XGC_UP|GBbjPzwzC^EMtFrbyPvW{C^eM|FvbdPwwxc]UM\FfbgPyWyc]uMdFjbRQ@wtC_eOTEjcEPjXACZEO\EnbFQFxCCXePDEPcQPcxDCXUPLEVcTP_xDcWUKLGnbCQKWpcbUKTGrfKRaxpcxM[lMNfCRdXocxm[LMPeoRNXfsuMY@Lde`RXxgsueZTLDeKRKXbSrMWxKxePRMxecqEW|KveUR^xnCqUZtKfeSR^XoSq}[@KjecRBXhSo}YXKPeHRRxastMWhLPeCQ}x^comW@Jte@Q|x^soUWLJxeiQyXismmYpJlelQzxjsnMYxJpexQvXlcl}Z\J`ewQwx[sv]ZhJdf|Rxx}S}e^`NdfyRyx|s~]^pNlfaRtXxC|M]TNVfeRoXwS{}]LNPfkRlXzSz]]xMxfoRnx{Szu]|MzfMRiXrsym\dMdfURgXtsy]\`MbgOR~YCS~}`HO@gRS?y?tAm_HOhgCSDY@T@]_XOXgLSByBt@M_xOP?@SMIDg?Q`tOngW?@iFlBG?DO~?ASLiG\BO?LP@