CAT(1000,1)
Sparse6:
:~?Ng_@?A?CA?AOD_J?Y?s@GJ_T?f@W@sCOIOO?h@WASDOFoG_R?q@SBWDo]`B@}CCGgMo[?zACA{G_KOX?|A?BSEoNof`FAUCsIGQOh`VAiDcJgUon`bBAESLGXot`nBaFKLg\Oz`zByF{OG]P@aDCMGcPgapU?^@A@sCWHoQbCDYJSTwkPXavDYJ[TwkpYapDMI[TWiPSajCsH[PohPKA`C{HCSOcpMATDMIkTGBoF_NBYFCMg[ot`nCmG{QgePGaRCuIKRggPQa^HgQCbHFqPc\GuOochBaRceGiP?cxHAJccGeOc_HAqAcFGENgaw~aIcMFuOo^w~AHcOFyLCYWtPjbZEqKObHG@dc[EMPwXxG`ebGGuNO\G|@tbqFqNW\g{@{buF]Lw_GwA@baGIOW[xA`qb[GQJ{VWop_a|DqYWAGCoI_Z?q@[w_GOP_^?yA[CgSOb`HAUC{Hg\o|`|B}GCNGmP\b@D}KKVgmp]axD}KKWIBB}fzNq^S~x|rOFhL?]ssPyrQFpLC^Ks`zr\F~NwZ{~PnR_FtMC^[~@mRmEtLk]Su`wRZF^NKZK{Pkr^FZM_[CvPsr]FTLo\[wPuReEfLO[StPprUFHM[ZCtpqrvCpNOQk|PJQSFrHc^C|`JrRETLOXctPerVE\L_X{qpjRqERMwWcpPvrEF`K[][{PcRgDpJo\KnPuqyFTJk\[z@[qvddJMUclXZRfDNIk[Si@qReDLIg[kiPpq}DXJ{Tko@VQnEBJCW[k@`Q[D@HgSSfPPqcCvISR{f`OtbErLmZSvXoR]fBL}Zc@WAOE``BEESJwXoscrHYQcdxKQTe\KqXSrXdrNddJMU{lHZQtdLI]TKihTqgctH}RsexMQ\kqXYqldzHuWkhWCqldbBUWKJWOq\dr@uAKhVSoL\b@TvKFVcot`A|TwKJX?mLbQvuNJdWwmDcayUPJfU{nd[Q~TsJ~Vsm\_AxToJvWsktYbGUPJNUkptcasUNJRUgml\qstjJtVWk|]ArTxJPW?klWq|tbJ~UOndXQ~TcJzU?o|WBCTaKTWokLaqpT`KRTgaLBAlsLIzOwjdVqGSNI|XOhDQRHtIKjX_hddaeuVIVWkglPbCtCKPS[pTbA`tAKNPGldCquSSJZUwa|DavSTJZTg_tAalsGIzOkjdVqCsFI|SCjLTA]T?IpTSflNqjS}InRWeDLAZswHbRceTLQ\srHtQCcdIAPS]HJQcc\GARS^HNSwbDRqKtOGtPsi\SaMTPGvQg_\Iq@S@H\Q{_d?AUskGJ`OkLWioOS_l@UGkOW`pAaLCQKSWwqPfbJEYLkYGspibVEqL{ZgwPpbfFIg|OyaTDiLSI_tAyBsHgPOi_\?i?s?gHOVGqK{ZWtpdb^EeEsUWYPZ`tD}KSNW^P\b@BeFCTW]PR`hCuICNwZPN`tD]NSFWNPp`@FUMsGwQPrbpA]KcFWNPf`DEeCsYwQPn`@EtecOUZPBXpCTfcPwdKrXtCeNbxw~NhcG}uOrzx?NjcC~D{caxCNZ]xGlzsavpQH^@GdxsDvgOV]l@lzCEvhOX]h@dusJv[On\tBDwCKv^Or\xBENrivYP|c?ytuS`XBMn\`GLqSUVIPZ[lDtrCVvMPb[tEDnSOU}PBZ|CToCPvAPJ[DCdlsRUwPNZlDTmSSU{PVZhDLhS[UfPrbstTiC\WzLLbotMDBOWSK~YDAlhCJUbOlYHAl~cDVxOJ^h?t}sBv|OP^p@LrrbVOMN[KyLpBhVGMh[Sy\kRouqND]Ku\xbYVdLj]Out~rTukO@Yt?Ljc@WCL`Y|?]oPgrOedkLRUotMy^UDkDR]fd_zASxj|K]nsox]T|e@VuoCpZ?Q~idKuXDRXdTNe\TEYTTxgTTg`OUaT@yJSJghOebTByKSLfXUU\tXysRpjTNMls|yuRtgxME[dGyNRbfLQEcsyxsSdehTeYtUxkT\etT}ZtWxmT`hPJEdSkyUQth\J]VTKx[SpdHNe^Shx}QhdTOM_Cjx~QljdHmmCeYyQ\jlH}ST]y{Q`cXSEPtOxGTDcdSmQtQXITFcnGuQ[bxGqTo^`V@mD{GwRlh`UuuCzXWPlX`]tuBZWWNnh\E}tsz{VTml^mzT~zkV|m\YUxDiZaU`mLYMxThzTVLmxZeztmzoU|nDZ}wTxz_Vdkh]eqtyzuUXn\Xm}TfzwU\kP_F@Dc[DUNoDWn?tc{AULHaQ{dHJQXcjXmrLfJMu]ktsPfjLm^kvxorrfRO][l?xurzeBLm[KpxqrJfRK}YkvxurRbrOm`k_yEqFcRO}PlAw}sJ`rNMEK|wYr~aBNmGl@w]sBbBHMRK\wuqfbbH}LKgwqqVarJMHKiweqndjDMJknx[pUj|VimtYivTq_\@I?S@gJOJlZZmwLgzcuvmJY]xlkz]ujhzZMdLjzOsnhbZ]slLy[ujirZmvlVz_tbjJ[]llrysvJjbWmmlbzGtzkjV}rl`zKuBgbSMalSyKtViJP}hlHycsb@uB{GwOof`J@]B[E]Q[pxXrVcvK]S[rx\rVdVK|z[fv|qv^FI\|[nvxqn]fH]?[XwDpn_fF]B[^wTqNcFA]EZhw\mnaEz]HZnwlnNae{Z?t~jz`fB]F[Nw`pFvrlV[]r\lzPu~lF\}r\rzTvVnFR}{\PzptNnVT}|\XzttVlfO}v\Dz`s^mVQ]e\tyTv^evU}p[~y@tvfFV}q[zxxuFqfa^J]J{pwvpve~H]^{`xvnfg]~]b|HwFsv_~T]F|PwS?VjN[}y?Hy~v_@nW}}?HzK?VonZ~??LzV