CAT(1008,5)

Sparse6:

:~?No_@?A?CDoJOU_l@]A{EGKoX_pAcCCGgOO``DAECCGgOod@`AWEKJoSOb@^AOEKK?Rol`XAmDKIgVOt`hB]ESKwZO|`tBmFKMG]O}`~CAG[Og_pDaHC]GsQWcPg?x@uB[FgNoY_t@mBsFWMO^bJEMK{XgqPabdFMLsZwwPpa{D}JWVwm``asEEJ_WGk`_aqEaJWYWm@iayEqLgVgl@jbEEaK_YWp@ibYEUKwYwr@kamCiJ?Rwk@JaWDYHgTgj`Mb_DALoSgv`RbaDUIG[wx@SdS@QAkDWIoS_hD}KKWHYajd^IiTcjXVQdD`J?S{kPSqcDbIWUSk`SQdDBIORsh`OQfDDIcS[i@NqEDTI{P[`pUQGDVGgTsaPUq[crHiRCfXLqAc@GQO[`X?pzD@FwSS^@Np|DBFgRs^pPqrBhJOM{]PYPwDhJKMkkozQNCfGwQkcPIQOClH[Pkc`EOM_^@AAKCgHoN_`@E@sCgHs?DHIUSshxSqg`FAaCcHWROf`RAiD[JGVOlaDCMFsNw_P@btFmNc^W~p}bpFeM{\GypuhcQYc|IISsjhTPwddGQUs^H\Q?d|GqWsaH`PMaTDIIsVglQoa|DQWsQHZPOdtCqVsUH`Ocd|JABSFHZO_dtAqWsIH`OE_l?IASAgFOSaL?AES@GZOG`t?qGSCG^Nscs~qTshF~Nwc|I@}r}HTO{^\B@zsLFtN_`s~AGrxG`NC^C{pzrtFtNG^[|@{r{FlQKXcpqNrHHBK_cCqaPS]EVMk[kx`uRfFZM_\sy`wRhF^L{_tA@psHFHOk[D@ppSIFBMkZKz@lRZFZLo\svPvr]F`NOZCt@yrTFlNCY{{phrqElQOXlHPfROHJLCcksaQScE^KCctIP`sgEDQkWcpaRrDHTJkbCnAKq|GtPsV{oAMQ}GvPgVClQKQuGrJ[b[maMS\Dr?u@kBGEOL_X?Y?{AWCOJ_T?Y?{AWCOI_VNu^{~gkp\axDiJsUwjPWanEIK[XGqpebNBaFKMw]O|`tDMISTGipOabLMYctXjRWenKyXksHhRNebJ]UkmH\Qxdl]A{TwZpvcnJ\g{DurovbMx]OzlxRnv]ND[GydorivCMl[Sy|uRbvWMLZcv|mb^u|MBZkwLnb_U{M@[wuTkRhUoMf\CudrrXvOLj[gtTjRdvLL\YoxDjreVHLV[Ks|pBQvALH[SstprSvELPYSvdmRSUzLLYOvlnbSuyLNWWxD`rcuGMTWcx\areuIMXW?xt_RfuAM`WKyL`RhuCMd\snlvA|VYJv\kn|va~T{M~VGulZbWtnLdV?u\lAxuoJbZ_hDQR[TCLlSSutlqbUvINRwydNrit?MlSCy|uQ`vWIDYwfdjA[UlHzRgtTjq\sxLVXGrtcrNuSL@X[s\dbOuaKjX_lDeQstiKtUkr\ZRMtkKxUKeTKqpSvJLROkdLQrsuJJTWjdVqkT_IrUCjTTqnTZIzT?md\QgtuIdV[i\TQ{tSJpWwhtQbEUNI^SkqDRRGuLIXe[ASBwHoO_\@E?c@GAoC_J?VMogXOQ]c~IMSSHwQoe`PAMCcPGbpDaPCeGtKiXsshjRYe|SYiTRijTIiDNi^t@i@SMgUfDDIZsOhjPYelEIZsYhjPIe{~iXsigBQa^K}iUsAhbNqd{xiTrehRMadkyiXrihbMad{xICsIfBLi`{viEsCezOY[[rhurOf^La]KshxrUfnLQ]koherCeVJqXKnhcrEeZKAX[_HlqAezGQZ{`horccVGa[[{GypufZFa][]hvp}fnFq]ktglrMabLAI[THkrSanLIJLFGas]aNQAHKQiPsea^Cqck}gTr}`NAQ_[GH{s?`RNqC\@GIo]gZOiBkDiCoYg^OYBKAIMoIg~?qcKBiPse_f@AclDfrsW^RPH{lCFtsY^ZPP|zrHWnMde|AUjshZqy]nJ`ykhG[qe`vIaFkig^qmaFIqGKJGmoma~EAEKWgXoubNBQKkbF}qM^~HA?[dgAqQ_BHQ?{efwnqcy~iR{gfynudA~aRKZfknabRFHzZvGwn]bY}ALWBOF_P?e@[AkqXerJfRMm[xzryfpNm^c}WePJaZCyH{QjsVenN]e|\ymZKnXjr@enLEU[lXjqxefKUY[SXTqXanHuJ[VXPpdd^EES{MWho|anCEJ[VWbpda^EEH[qWPote^BEX{qWVrL`NKeDZuWtn\bU}ELzxWxpl^]}eM[^VRm\buxEMzdW|m`b}xeMzWXXqtZNJdl[nUvr@ZnKTmZKX@qHXnGtf[cU^qTYMsEOysXLjXd]lURyvXTjddMmESY[X@htcMfePY^XJqPSNGtOZoVTml]MzDxZlVfm|]mzdyZ{U|ntZ}wD~Z`V~oD[]we?Z?TtkDV]ot]zATxj|WmpD^YmUdi|Y]kDiZTTbl\U]tdXZETPidW}idcYjURklTmqdU[ATDoXS~?tP{CTHo\Sn@TR\p[Rupof`Uu}EZ\u|pF[FB|{ZPvtl^YU{\zZLuhnN]er|^[^thpVUvD|[[XttpvVfE|}Yhv|in_Uk]?Ylt\o^UV@\MYDsLh~PEg\DYbs\i^Peh\qYPvLhN\Ed\tYVv\hn\ee]OXzxDfvce^}RYBrpqndE_\dXvrhkNWEZ\cXrr`kVLup}U\\x\t~efW]r[pxluVkVK}l]Jy`wFiV_}i]DylwfjF`}b\tyXvvnvQ]a\vzps~nVQ}[\hxtunffZ]_\pyDvNfvZ~Q]p|LzNtFl^T]v|ty~tfm^K]L{\xnqFf^H]^{lyNqfg^]?A}Rzw?fqo@^?}Y?ZwVr~h?E}N|??fp^