CAT(3000,4)

Sparse6:

:~?mw_?O?G?C@W?d?S_GOCwAK@U@Y?__OOFwB{AA?~?W?MOEoBs@W?|?V?MoEOBk@g?x@M?EoBg@{EKAN@C_`OOwGsCUAP@H_dORGHkCm@r?y_]ONWF[ByA@?~_^oOWGKCAA\@N_gORwICCyAW@F_`_QGGoCmAG@H_`?RWGgCi@l?s_XoLwEkBa@Y?x_V?NGEGBy@s?o_\_KgDwBu@E?g_O_IWD_AU@G?i_R?HwDWAIC}?F_CoBG@S?m?P@?__oNwSsI]DJAd`RohgKcEYBP@d_roWwLOIIBQA_`O_YwS_EqB[Ab_u_fwPkHEC\AN`GOcgROGeCqAJ`C?fgRWG]CyAI`M?bGMCFIBh@n_wo[wNCFUBt@v_zO]WRGFmCs@{`M_^wRoGACu@|`M?^gI{DaAx@Y_loUWJkDyB@@`_noWgI_IMAiAa_g_gGS_DIAeA``N_TgOoHaCgA@`I__gOWHYCGAV`A_cw^_?u?Z?N_FOBw@s@]?l?W_KoEwBSEeBV@m_uoZGLSFaBr@t_|O\wMsDuA|@^_pOWGKKDEAd@R_iOTgIkPwGrCSALpDObcPWGtC^AJpFObCOqGPCHaEpAg`[OiGXCLaDpAG`KP{FvBuALo|obSN_GxC\@{pF_^SNKGJBsA@p?_]CNCGHBtABP@o]SOGFtBwAAP@o]sN[GJBzABP?o^KNoFHB|@qox_^sM[F~BgA?oyO_CPKErCN@lOuoaCLsGbB[AFPC_ZCLGG\BRAFotOaKPKElCQ@jot?aCKsF`BP@xO|OXcNOE\Bp@fos?][KWF|B|@cO~oX[NoENBIA?oqO_CKAEBBA``opWWcPODhCT@YpD_UsP[DnCW@[pEOVCIiDZAh`UOiGT[M?D\An@ook_[[J?E|Ar@nokO[SJgF\A{@vonO\SJwFVA~@uOmo\kXGFlBy`zo}G^[NeAD@E_`oPGG{CUAX@L_cOQWHSCm@^?p_WOJgESAuEZBM`eOrwYKLAELBF`coqGX[KiL{ElBRpj_tCYOLVEkBQpjossYcLTE]bOPfwsKYMLDE^BZPlosCZ[LFEvBNPgOusYGLlEnBLPj_rcYsKzEWBTPj?r[XcLVEQbHpdgq{XQKjEoBHpl?qkXWLbEVBXpc_ukZGKhENBCPbOpKWkKXEMBBPcOpSX?KNEAAcP_?gcWCIJDHB?P__gsWCINEKA}Pb_n{WsJzENA|PcOnsX?JvEBAyP\OocVWKJDxBAp\oocV_KFDaaqpXGksU]JFEGAmpaOjsToKTEJAoPWOo{T{KLDUajpUGjKTiIvDOagpSgi[TUIhDIBKPR?rSSsKvDNBMPQorkXcI\C}a^pOGgKSMIDEoA[Pl?fkZCHrEqA\PMoukZKHxCsaYpKge[R]HlCfaRPIgd[QaHRCmaWpJWeCQ}HXC_BQPH?tCQGLLCbBRpHOtKQCLJDoAspY_mKUoJ\DnAsPZOm[UkJdHPBGPbgpkXEKXENb?P_goKHmCrA[`NOegRkDmAt@V_kOVGJKD]Ap@X_lOVGJ[fGQaHkchAZXI_eyQeHociaZxIofEQaHYchAUxI_d}QwHRcnATXJgdYQUHncuARXLgdAR[HMcfa[XH_fAQSHeccaYhKwcaROHIccAYxLGceQUH`cpARxHoeQQWHdcpaSHK?cuQwHAcnaOxG_diQIHZcbaVXGodyP|H@c]QNXF{cAPqHCc\aPhGObaPkHBcbaMhEwcUPIHocuAHHDGfEPKHlcSAZhCwe}OXGLcFQBxAK`AMyHecr`wXL?\}RQF[ct`vhLO]AMGH_baaWhKG[aMKHdbcaWwwweQQmE}cj`nwwWdeQoF?b`AUXJ?[EO{GicNaIxCWa}P?GkcPAJhCGauOiFkcJ`zXAO]aOeFhbtADhA_]mNsFtb}`|G~w^]NqF{b~@}G~W^YN[GocW`{w|wbIN_GrbwaLG}ObUOKFabqa@w{__aNKGHbpaAw{w_iM_GWbgaEXBO\IOuFRcM`tXB_\QO?FIc?`qx?O[qOGFNbea@Wxo_MLoFXb[`tgvW\]MuE|bk@mgzOZqWC?F_CoAG@c?m?THDc`QOxG{cQQLHHccQQgDcAe@P?f_TOIwT{JADbAq`Xojg[SMAFBB^`povhD[auPXGncTQJhBC`eOtGZcMqFH?{_YOPGHcDqAg~S^mNxF|b~p~hhGr}YBK}e_RNXgSsMYHLGearPhg{rIXfKoeVrKXecpcXRKmELRE@dSpkXVKlEMRDpdcrKWTKqECRJp`KosXhKKEWRKP`[oKXRKCETR@Pd[oGXXKmEBrJP_sqKV|KfE?R?Pcsq_VzKcD~rHP^cn_WtJuEKq|pb[p[VrJzEMRE@^SowV`KMDyRBp]kp?VbKODxrBp]SnkV|JuD}R?P]{ncVzJwD~q}`_CkUU@J@d`QoxWcmkWbJmEHqz@aspGVTJnEIqzPaclgVhJXDyqu@]Kn?UvJqDmqv@][rgUdJVEYrL`YclSXnKwDjRMPY[qSUbKbDfqr@c{l?XPJLERRH@XsrkULK{DcQqpfckgXxKzDcrMpW{jOWPItECql``Sj[WVKLD[rB@VCiwWdIqEIqjpa[j?WhIrEJRCPUKicXDIiENQjPb{ikWzIgEOqj@cCiITFIcdQqhxSssWSpLBDKqdpg{hWYPLCDLrPPRSoOS`KADHQcp_shSWJISEBr?pQKsOSTLFDFqapgssSSXILEcROpPsgSXjIEEZQ`pe{r_SHIHE\Qa@fKf{X|H}E^q_@fkgCY@IBE`Q_`gKfsYDK|C{RN`NKr{RtHzE_rO@NcfSW|HqEOq[pbkfWW~KaCyQ\pcCmOTzJfD^Qnp\CmSTtIzDsqx`VchoU|I\Dnqf`[Ch{VBI`Dpqg@[T?cVrJydzQ}x]{naKLEFbCPaWp[WiKJECb@o[GMSFMBh@n_woVWJsEIA~@`_oOSgI[DYAb@S_ip[gl{VMJ\DoawqiXTCiuTTIjdUSRaEDBE`hOqgXsLYC`B}a?OhgRCNiChBq`MO|g_cIIExAI`kO]gNcMICHBm`EOygOCMYBx@i`COWgOCEYCH@q_yO]gPcEyA`Aa`GONgQcCICx@I`KOPgHcIY@\?u_XOMgDSAX~s~u^~O?g@S?Y?d?M_JOEgCS@yFP?]`qOEg\c@YEp?M`oOGgZc@H~xBy^{O{g]b~Y?@B}aAOAg_C?YAo~m_iNxgJB~IAg~i_mNvgJb}IDO|a]gOnficJXyXAm]kOmgUBtxww~a]UNvfcB}XxG~i]WN{fdB}yFgzm\wO{f]cNhvpB}aAN?g_Bnxr[xe[pMYfMRdxqHBA[cOpfICKhqXBM[iOsgYbdhnhBa`mLxe|CLhnXBeZ{Oze}CMhlkuyZ^LoexR[Y@Gu]ZOOLgDBYY@Wui_[LkgEBYxj`?}YuOOencCXjp@I_gL_emcCyBGsm_oLHeeCFYBOsiY[OZgMBRYDOs}`ULOgUBSiDgtMYaOmgVbTH|W~E^kNnfyBzh|_~I^iNofxbzXwG}U]CNefsBphwW}]^SNCfsbpXzwy}^?MofYBxHuG}E\cNbfXbwhrgye[{MifNbixsGyq\CMmfOBjXugwm\mMLfZBbhp_ze[_Myf[BbxoowI[MM@fCB^xpOwQ[QMBfAb_Hzov]ZgNXezBvHzgvU]sLwexbuxkGyM\MLafSBWxk_yQ\KLeeqbhXxgtUYmNPffBUHio{}]cLYekbsI`o?]?T?G_DoBG@L?Y_HOGg@s@y?kNAFbBq`xo|W]cBe@v?|_]ONgFS@I?f?S_GODWAKAM@B?a_QOHgCkAe@N?g_UOIgD[LmEpBX`lOvWZcJiDvA{`]onwVsbQPdGocWqLXE[`AOXGLcFQCX@{\YMnFWblpuWzS[QMJFHbcPpgw{ZuLpExb\pmgvczm\xM|f^RoHv{tYYnLWeirUhjKseYZLIeeRQxhtVgjSToivDYIlHU}jYTritd[il`VEjqT\iyDVImhUEi{Tuind\yk@VaikTAi^DUIfxT]iETXi_DUygHTih{Ski^dJYg@QyiESpi`DJygHRAhSTJiedHidXSqhQTMiRdRyd@Sih?S{iQDMyfHQUhESyi]dGYcPRag|SYiLtFIb|PugoTYiIDTiahTegmTZijdDij@Peg\SRiGTCY`|PIgQToiDdZi`@U}gWTpiEd[y`PVIiSSMiddByh`PAgaTLiHdRyaPSyaKTgiscPIlPC]aCTjiucPYGXUqhkPIgddKyePCeaWSsiZcQIHhRUgCSniUD?ydhOQgISpiBdKI_pQyfkSeiRc|yd@NafuSiiTc}idHNegiRchqdDI[pPYfMSVhsdEY\@PaiQR[iaCuIghLeeyTEhldPyZPSaeXRLhgsriX|LAjgRIiycpiXHVejkRFi{CqymxKadtQ|h\snIVtJ}dgT\inClYUpTqi}Qvh[dWIkHJad]TfipCkyU@UYdcTdhWdWyTpUQjgQahPd\YS`VYjmQfhQd]YSpVacwSxhNDNIfhH}hoQ_hOdMyRhRicoSsiXCdiRXR]heQVhKdLiRPRUcSTOigcbIPhTIieQNiicayPpTQg{QHhADEiOhPmgyQEiNcaIb`G]h?P}iOc^ycXGAhGQ@h@dGiOPQUbiTfipC[ikXFMjGPugyDXiMxUUbsSKg{DAi`@FubqSLg}DAy`HFmbWTPgudSILpTIiePoiic[Yi`E}a]TFicCRihHDIaaTEiaCSyI@SUfgR`hwcwi]PLyf_Rbhnc|Y]XMAc_R?haCdYQHKEccRAhaccyQ`KMecPehhcXyY`EaeiPhhjcYyYpEifwP_goc~YKPNybER~gqd?YK`OAasRiglcyyJ`MqayRlgnczyJpMyaqQjhSCTITHDUakQigjcjYJ@IqrMSIiCTBY`LOmgX?D_AO@g?c?U?H?E_Ao@gBc@y?z@c_poXgK{EUBPAF`EOaGPKGmCT@z_}O^WNsGAB~DbapPXGkkU]JLCpaUPJWd{QyH`IUdJqeHRKhmStPAgaSPYG\C]aLPIgeSQyHDCeaZPGgcsRYHTCqaVQxhYSmIUlJYdnQchPSgySlI]dLPtgxS\iM\F]bhPwg|s]iNlFqbrPkgvsZYLtFEb`PMgfsSIILDMadZ^LkuujZ\lqu|Z\l_erZWXkyuGZPl`ErzY@kYuIZQl^euZVpliuwY|llemzW@lytwZ\l^erZXpjmu]Y{lgEnZVplEu?ZQlSepzTPkauQYjldejJX`iyuSYllMegzRpiQs}YdlOEhjT@iItAYflREcZQPiMseYflIEhJQhiUtOYUk}eajNHgUrsYElBe]zP@fyrwYHlYE[zTxfAriYpkyEkjMHjMrcYokrepzL@kauQXhldEYjX`emuUXkktEbZL@gmrMYMkuEbzLHhArUYKl`EWjWHeEuKXdl`eXJWheMrKZCkoEfJJxher?YZknEejJxh]q{YWkyeXJKPfAraXbkxeWZKpfIrgXdliETjYpdQqeZWkhEtzIxlMuiXTk]E_JFPf}puY@k]e_jFxgQp{YBkYUMJElbYpnWxkWEaZEHgYpeYDlBeJjEPgip]YGkSEuZDHlmpSZ\kTevjZPaupWZ[lYeGjUpaMpGYvkQemJCxjipKYxj{EfY~HhynsY^j|egI~`iEnyYak{D|y}Pf]rkVrkzD|JN@^UrmVulFDzI|pgqn]YOjweay|hg}n_YLlJDyZQP]]seVglIDyi|XhEsiVejpeZY{@e}r]V`jqeZi{`eunCXmliDtJYp\UuiVXjkEuJYx\YmmZRjfEiixxiqtQVOjgejZTp\MtUVQjcEkZTx[et_VIjdekixhjQmWYrj`E^ywXgAmMYAjaE_YwpgQmIYBlJdfys@hilAYWjPeeYrphqlCYZjJemZVPXItiUSjIeliqpj]toURjEEszY`WuuiUMljDbzZ@XEumUOj@T_IoLWMkJUCi|E]inXfmryT{k{d^YnxfyrwT}kLEOzBXcQq?WUk_eDzGh`aoqXAkMEAjBh_mo{WKkNeBZ@xaEo[W_kADuj?h\moKV[kBdvz@H\yoOV\jZEUIuxdeloXYkldmZJhZmqwUykGdkzAPZIogUtkHdlIu@`Uo_UpjTdnIvhYilWU}jUdnywHY}l[V?jQD~ish^}lKW?jRe?Z?XYelOWAkbDeJGxXeqOUYkcdezHXXuqSU[jBERJHhWaq[UHjDeRzIHW]kSXOnqEWjKdeErFXekqr~Y?C~y_BOAf~qQxH{cqQZHOcfOHWCKAY@F?c_POiGTkIeDTAk`TqHxCcaUPLGhcSPmGvKZiLvE{b]r`Xosw][PMIfCrSXh{tAYdLSehtzI}L]un\VnjwTwI{L]InFVdjqTiit\Y}l\UljUTgyrtX}l@U`jPWNcFeBr@z_|o]wNKDeAz@Z_noWwKKC}AZ@P_ioTwI[Eq@j?}_vo[GFKFI@v@u_ZoNGMkDa@j@Y_ZoWGF[Dq@r?}_poNGJ{AYAj?[_eoTgCKDI@F?]_foHGIJ~y?^?C^{n~G?{?A?R?A_En}g@Z}p~A~m^pnxF}J}X~i~i^znyF}[Ax}z?q^nnuGEKA`}j?k^loIfyz|L}Q~J^ensVxz|P}Q~O^knufxZ{x}y~Q^nntfxj{I@J?[^boHfwz{I?}~C_OnpGCZfAAB@A[uoPFK{CXrV@I[smZgHKE`{~@i^OoYftJyIBV@g^QoYFs{Ep{N@m^Co[FpZxABi}M_znbGM[@@yn?Q]koDFj[@Xyz?Y]nnWGBJrQBM{{_rnMgKkEPxe{u_qnMGKzq|xM{h]TnKVdjpdw]{V]InCVaZka?IzE_Bmrg@zki?QzO_EmrG@[F@uF@k\\oZfVkFHt~@u\ao\FWKAhsn?k\KmegDJhq@]y__XmfgEK@@sV?Q\EoDFP{@`sb?Y\IoDfQZbX~]ww^xmNF}zbh~i~k[_n{FF{C@oN@E[FoOf@KCPoV@I[GmBGHJ]H~q~yZqn~E{z~xnQvk_@lyg?J\P~EvI^onxExz}Xma~iZhnyExjxHz]}S]wndfmZx`zi|w^Mn\frZuXwy|a]LnHFljq@zU{]]qnGflJnPv}zq]?m}F\ZnXvYzy\wm~F\zlxzuz_]}myFojmX{Aza]~mxFoZz`uizQ^ZnoFZJzhumz[^^nnFZZiPwIya]@mhf_zo`tQ{K\UnAfTZspru|I[xnRfMjt@rm|S[}nSfNJj`qmxM\VmkFIJjHqexW\YmlfIjcHyAxC]^mPfgZcpyMxG]cmQfgj`xr}w_\?mGfOZgPpIyG[Sm`fCzyhoewU^YnjFAj``|]w[^XmEfuJdhn]x[ZwmVe}Ze@nivu[qmWe~J\Xnuw?ZmluE~j\hn}wCZom?ezz[Hpiu}[TmJEwJaxmIwoZcmKew{fOnAVbJqdxq|H]knqVzJ}d~r?X_CQiHVCgaSpHgc|CIaFPDgbsPIGtr}yB\Am`vOJgdl}vDZ_louxJ[]UPIrdZqkXVKjUTvI?dKq_hR[gQS~IEdOqahS[hqSRHsdEqbhM{faSbH}dIq]hQ{fqSfHadDq_HJkgIQ~ICcoqXhPKeQSNIqcAqmh?[^yTbG?d[q@hU{^qTjHgbkqYgz[eyMzF]cwpwHM[]IRZFGdRqjGwKiQMJIgb`pqhT{iiMNIkbUqhGtKiaL^IebTpkhT{iiLbE[dapgHW{YQUFI{bPqngs{XyUBJEbJqnGqKjyKfJ?bLqogrKkQKjIMa}p]hPkhAJrIQa~qdgoKhQKFCWd^pFhW{QIUJCYd]qoGcKPqUFBgdPozHRKMySvBqdMo{HR{iAFVB[cyovhM{faFBHy`pq^g[{fqFJAicsqYgS{IIRbAccxogHL{eqDR@|_~o`wOKGUCFFccIpxhA{]aOrFicLpzhB{]qOzFKcUprhD{\APbFQcXqLgy{\QPjHOauqSgl{VAQjDqcjp\hJ[VQQrDaaGpWG`{UYGnDcaHpBGl[UaGjHCajpTHG{TqQRDYcfqRGj{TaQVG_a]qGgf{aQIBGea`pPhD[SQPRCsb^pKGukZiHvCqbZpLgvkZaHrCca?p?gc{OQHRCEaTpJg`[OaHZBObwotg}{LINfFs`ioug~[LaNrH?`eqMGWkKiQFGy`boqHF{bqE^EM`\omGokWYDzEG`^ooGp[KIKZAkcCqBGU[`ADjGQ`Zojh@{_iDbAS`yodg^kHqF~AW`zofg^KHiFvDG`CpQgP[SqCZDQ`FpRgQ[TACbHhctqZXL{fMRaq~X_knR}x~C~]^xNyf{oCGAc@E?j?R_HWj{TUInDXampUwhKS}IVDRagpRW\KMmFZBn`xo{WQ{HUCrAZ`NofWPKGuCfAN`DocWNkGEB~AF`Ao_yStHAczQIhKsciQ|HycjQ_hFsbIR\FqczQ_g{s[iQ|FQcrPuhLsfiN\CiarPMg`sSiGlCYajPKggsQII|Bqb~O}hAsOIO\BycNQGg_sNIOL?qavP[gFsViALEA_fPcgJsWiAk~IdJQafusgh|K}ydJNohQsgh|[|a`rOoflsKhy|BQ]bOyfhsLhyk{QbNNEgsrqIL[{ibZNMgwrrIL{wYcFQCe~r_iN|GAZzMChBr_IPLFIZbPseys\hm|FaZrP{e|r[iN[ticjQQeprVIQLGiYrQKensbhkLBAYZOqefrTIFLBQYbLUg\sLhi\DqYBP]e`sWHglEIYNPcedrQIJ\EYXjK}gtrLiL|EaXzPke\rMIMKmqa^JogjqziIKnYarPQdyq{iIklYaFJSgdsRHZ\CaUzPEdnquIGk{I_RMwg?rmi?\?Q\zOIf_s@hv{yq_rMmgMrkIB|@i\fOafZsGHuk|q[jMUfnreH{Kxi^FM]frrfH{kqy\JKgfOrIhs[qq\NKofTrKhtKpq`JOgePrFiDkqY`^OieQsHhcKuQWbKQerrDHlKuiWnLmeLrZHbKoQVrKEd|q~H`KnyWVKAeFr?H`k~QVBNudpr}H[kmY^vJif~qyH~kwaURMIddrbHX{lI[^JKfHqsHqJ{L}M~D]`nNvhJsDyI|Ff?r`Xnkv}[FMFdeqqxX{lMURJPjwTxY}T]]nPVtjtT|y|t^mnXVxjCT|yod^ekLVzi~T{YoT^Mk@VtjmT]YnT\}mtTrjoT\Ynd]MmpTvifTuYiD\midV\iiTvyjD]MilV`juS~y|TOUnPRzh}TxY|tOEgDVfjhShyyTIemhQjjjSkYytI}mhQljJTayrDWuktUNjGTfYqdYEkdU^hjTUyZDTuetT^hmTWY[DUUe|TbirTOylDSUjTTFiuTQYmDSuj\TJiNTgycDYUhDUfiQTiYdDYuhLUjiHT@yadOeglSJiETEYaDPug\SZjbSzy]t[umPRth{Tqy]D\EfdVNhpTjy[dZEfLUrhuTlY\TZefPUvhdTLyfDKuhtRNi]SsYgDLUh|RRj]SpyVtZml|R@j_SoywdKemDRDiTSkyUdQudlSnh]TKyVDRUdtSplKUPZRTc]sxXHlNUQzSTc}t@XLlQU_ZTtgUsDYflBUjZPDiesTYjkyUSZMtdMrpXTkjU]zJTf}qpX|kYUmzDdjEpdYxkVUkzUdb]p`YvkOUMZCTbmpHW|k`UHzDTcEpPW~kIUbZBdhUolYNkKUczBth]otYPkvUCz@DeerdWPkDUYzMD_}rXWLkmT~Y~td}o@X`k@UWz?te]oHXdlbUzZ]Dj}vhZBlxUnZWDm}uHZvloU}Z[TnmvHZ|lrU~z\ToMvP[@mHUtzZtpmwhZXmGUtZZdp]ut[XlcV@Z_tkmwPZLmDUrz`tlMwXZPmYVOZetsMxp\Dm\VPzhTr}yP[|mMVIZbtqmx@[lmPVJzeTq]xH[p?@VRJjG?Qy\\Z?AVSJjltw?D\Rmp?@ji|u??L\T