CAT(1008,6)

Sparse6:

:~?No_@?A?CCoHON_b@A@kBgL_X?h@SBSEOHoU?r@[BSE?LO^_|@mCCFGMo``JAQC[HgPOp@\AyDsJWUol``A}ECJwWOna?A]DCIWTok`TDGG[OG_pAaHCUFsNw^o|`|BuE{Mw[Ox`xBiEOOG__raCBEGWLGZ@DaGBUM?@wCOI_X?e@[^?]o~`|B]FcMG[oz`tG[Ok`hAqDcLGYN{_HAQ@cDGMM[\GwptbdFAN?^w{a@bkGIOW]xA@vbsGAN_\g}@vboFyNO^g|`|bqFuIG\Gf`qa[FEH_[wg@taYFALCXwspcbJEYKWYwn@kbCEuLwVwv@_bSEEJ?Ywv@ZbYDeJOYgm`kb]DqGwTGd@TacCaHGTgj`EaeCmYg]G|pvbtFeMsCgFOL_^@AAKHwSOk`RAiD[PwcPHaTCYH[SWfpKa\DAHkVgop^b@EMKSUGlpYaxDuJL?P~s?g@N}_C~x~R{frNi^k}xxb`fKNY]gwhyBcfoMM]wxXiRQefLMYStHfrMeZLEYCrHcbyeONe^_phbb}eUNm^gqhbbreONQXG|XbBueUN]XO}HgbdfAKu[WrhgBaeWMQ[orxlbBewKMZgpHnBCeIMAWgvxIbYceLUYwdxIBUeoHaQouX]q~eBKIWCnhZbndoNA\gmX\BpfcJqVWzhrapfOJI\GlhXbidiMqU_yxjalekIyU?tXVbYdULeT_uHSB^euIUTGwHmAeeyIiSwvhPq`c~IASShHKqYcvHqRsfXuaLc[MyQGzxHBofcHA]GbxraFfQGa\OaXuAIfOGq\Wayz?F_P?q@SAWDoF_P?e@[BGDRDeHKMYStHhrKe\KuX{sXgOD_J?U?s@gBOR_l@]AcEGIoa`FAQCsGWQop`hBIE[LWZQTcfHQRCdhJqLc\G}QCcXHQIcRGaP[bHBuULfXOuldrYUvKpXSuteRXUVLZYorLjbIUnKjX_uLdbWUYKPWsr\fBCu\KTWor|arNUDLTWWtL`RSUeKNWWs|`rTuBLdWOutlr@UBLjWOu\_bYT{K~Xsnl_RNUYJ|W?r\fA~swKTR[pDMrCuLHtWkfdbA[tuIzT{m|]qmTyI|U?nD]QluNItTcq\TRFTUK`T_qLTrHUkI^YsiDjagunIdTOuLkAhtHJfSkm\QayTtI\Somd\QeubIHYOhDOrOUdILYCg|gaasmJvV[d\\aUTwHZVcd|]aWUMHJW{ctIbHuOHNQ_qTIRGubGlPKsDDRQU`GpPOslgaJsHLLO[s|AbSSJLROot\ABTS@JxW?_\?a}sDJ|WC_t@A~stJFRWktWQXSsJDUSeLKqqSbJdP{llGawS`JbUwcdGAvsYJNPklDFAstiGrPwldFQtt?GbOwflNaFs~G`PGgTOQEw{JfVUmc@GAOCbTEmLcZWvpm_Z?y@{CGHOPaLCaG{QWdPJaXCuHsSGgpNanDII[TGipUjJUYk\WiqT`ivTqkDVYnT^h|SAflOY`S~gfPQalDiKSVgzPebtEyLS[gNOm`TAIESHgDOE_\@IBSDsWf`Oe]TAxySLgdN]^TByGRxfHLe[suxsR\fTL}\swxuR`e@KuXsoxhRFelKeYcqxgRDeHHuXCfxQRBeLIESSqxRR@c`JUQSlx[QTdtH]Vsex]QXgHGM^c^x~P~gDGE_C_X@SFcHFMOs[xCPtbhGmMsbWzQN\pHtvSfv]Q`dCz}SroxQN@glDuacUYIPTglD]asVyIPZftCEFc{wbRx`|N]]CPW`Rtfx@eCT@y?OZ_|OUCC~y@O\bx@MNCBW{OTbx@]NSBw|OPdP?E@SkxTOBdX?UTs@wCQp^hJ]VB|x\N|^pJUVr~x]Nz^HLlzcwVnRX^@L|{svVpRbec|UYbuxjNX]`KuXrtxgNRgO{TwtAvcSL]XO}aRryGNJ\LGmPbiVOQD\DG]PrivQQHc_xUQRdxIMX[tH\rsevMQX[TE|qCZVHPn[PEtpc[VFPp[LJMTB^XTL~dWwEUB_vAQnfGvE[r[xsLtfSv]\r]xuLx``CeHSKwYPL`tDEEsSw[PNbHAuLSJwrOjb@AULCIWpOf\[~DuRyVxMt^SyturzVWNnbbE}Lk[wypvKYW{qXdrIePImTcjXVQnd`rXcjIMQkhxKqjdjH}RkkxKqndrFMVk\x_pzeJF}Xk`xcqBdrDmJknworBbZK]KkrwsrJYzJLkkjxOlRditlkKhuiqjcahmQIdxCiRcQh|SkbxEibRBLLKksssrRRZL]Yi\xihraA~mGj~wcoB_JC}@kTwCpR[rAlrkJwWmb`iy\tkNw[mj^Arl{jNvslB^Ys\}jRvwlJWQqL`jHuSkRXYp\ejFuWkZZQnLli|uwjzVyv\_j^u?lzUykL\IptkjJVAk|YiztgjfTy{\TJktUmvTazlUjov]izSIw|NJ_s}mFSAwlPjdtCmR]QclHjrsgnRQi|\ziVvkhZ_abMAiLwMhF_qblFkHwOhBjR`NAlZ{KtrozV^Cl^{Otznram~mJ{YwNoBb~@MM{Awrnbd]|MR{_vbnjdM|mP{cvfhrWMfl`zGtNiBWmhLbzItFhRY}rLGzMsflBQ}tLLzQsrjJP}iLAyEtVgbTmbLVyItbfbZM]llx{uzlzN}wl@z_sBmRLmxkvxovRfZ\]\LvxqvZvzonaMy}EznvboN]nD|{{FubdnZmY|ix^ureN[MX{uzftBgnSmb|SyRtZh^Rml|Kyrrjk~MMm{{y~rzkNXM`|ayByRpnbnR}O|RxJt^dnV}S|ZxbuNenX}[|jxzu~mnP}_|rzo?Vq^^?C}V{??vrO@^A}^|G?vp~g?C}J