CAT(992,1)

Sparse6:

:~?N__@?A?CBOD?K_S?m@WBGL?S_l@UAcDgIoh@@AICKG?Moa?~ACBsDoLOX?v@_BcCgHoP`^BEECJ?XOl@hAwE[IoXos@TBGDKH?ROd@PAKC{PoIOU_jAYDCHwg@IaVCqHgQgf`JaWCyGGRW``NaCCyHgPGf`Ea[CUGGPG``EaCCUGwLWZ@H`mCaFsOG^o|`xBmF?Pw[`H`sCaACCGGON_\?uGcPgaoQ_f@EA[CWHPpBVEsM[[_uPpBXFKL[ZOxPoBlEwMcZoypnBnF_MCZ_{pgBhEgMkYOzPfBnFcKk]?rP^bBEAJcVgmpUapD]JGSGl`QasDEKOSwp`TbGDQ@SBGDqIcVGeRg_XLaAcwGAO_ex@a\cIHqQOeHLAScqHMOobHFAGcMGuNgdW~aVb{HYPw]hG`{c_FmS{iHSqpDZI{UCk`VQiDBIkS[j@PQdD@IWRsh@NrA@FAUCcHWPoc`NAaCsSGhPPbDEQK[q@eRHEZKgX[r`aROEDKKX{pPcrFETKWXCnp`R@EHK?W[p`^rDE@K[WKqpZRLDpKoU{kpfRODjJOX{n@[qzD|JgVk}o_pBaDAACKGgLO[_v@uB{FgJoX_p@]BKEGYov`lHIQccxFqPc`GuPsbHXqsdjPcaDCaLsYGbP[`|BQKSUG\Og`lBAFsJG\O[_LAA@sHGDOC_d?qBSAGJNw_d?AAr~GLPK^[~AIR|GjP?^\C`}r{GbN_bK}aLrxGtO[]lAPzsGFlOo]|A`ysJFlNG^s|A?RrF~NK]C{PyRqF^NC^S}@vrxF`LO\ct`vRTFZM_a{xaKRfGlMo[[z`qrlFHPK[TD@oSTFBLuZ{vhlr[etMcZKypkRiEnLC\KsptrQFTUg\{{XwRqfhNM^C}h{oh`VAiKkXwrQ]d@H}mp]Y{DzjmVimp[yydwjmVQlP[IuDqjUVElPZYuDnjUUym@FINDqgyVEhH]YddziSVig`Xy`dhiIUagPXy_dhi?UamXNY^Dth}VQfTNI\svhpRek`KYrCqheUUk`JirCojIQ}dXZYUdnhWUyd@WYTDbhQUIkHHYpcfjCQYcXVioCci}QIbxVioC`i}QAj@SiiDYiqTMhxUygd\i_TqihPijdGikS]e`RIYdMhkSuw`mj[UxldZQu\`R_vAKN[Kot_b_vAKH[Ko\na~u@M@W?v|^B^T}M@Vsv|grRUdLNYOtDlROUvLDYCutfRCU]KTWcr|ebSu[LVXktTjBJumKrYsrDcRIUUKfXGqlbb\uOLzW{vdarVuLLbWouCyXtrifXMy\l{RsVrNT^G|Lwjpvcm~]E{DzbkvoMv]{zTzbbvoMR]{xDpbxvCNd[S}LsrtvTNZ\O|dxRgVfMd]WyLrRmVNM|[wzlqbjVWMX[ky|VioT^jBUMkTXIrTdjNUelEEryW\Nl`o}mBsIwOOn`DAuBCKWYOZ_xBMEsCw\OV`p@U@cHWGOh_\A]@[AWBo@_J?L~SKWYN~^xBL}cIv{On^lAuCbzvxOf`O~Dnj_U~mB[MwUM[\wyplbbE}NCTW}PXbtD]NCRw}PRbtDENsQWeQBaTGENsOx@PFc@CUKCXwqPjbDEeFcUw_P^`|DuTCfXUQ`dTH}QsjxLQrcpJEQC`XIQFcdGeSSaxFQfcXIUWslX[RJePJ]VSoX^RDdxKKnx_R@inTUitSiiTRmN[exDpZbVCp`bJEMJ[Vwmr{fbOA]k~hxrifnNi\{zH{rcfVMa\{xhurofBNQ[[{hnrcerMaZkxhlrWe~Li[[vHorueZNiYKrh{r{efNyYl?Hjs}?]@KAHzrtflXirdezJuWkr^i~d}zzvxnpcJGeO{axFqLixUMkDXynTdjPT]ldUytTXixTEidWYhT^ilSmjTRykTLiHTEiTQYiTFiLSmgdRycTLgDRefd@YBSzhXUMeDXyVTdhLUedTZYSTji@QUftGY`Sbh|PmgTFy_S\ghRebDMy]SVhdO}aTLyGSthdOeetBYYSJm[?c@gAzfUNk`\MpdsZBVNkP\MpTsZ?VHkH[uoTqz`Tzj|[]wd^ZcTtmXVexT\z`TnmLVMwd[ZTUvl\ZmtdmZWUdldY]udiZNU|m@YMsDnzKURklXuqdeoF_R?a@K@wC[PW[ofaBAmFkGw[on`jCMEKNv}on_JB]EK?vwob^rAl}kHvqoV^Z@||KEvkoJ^B@LzkBvcmj\a{LtjpvYnN\y|\vJs_H?Y?k@GBODxchfR]elMY]szrDdNKET{nXTrDdfJeW[lX^ptenFuZ{]XlqXdfJeS[lXNqLdNHUT{cXTrHcFGeY[rXBple^FEY[YXdp\enEUZ{WXlpJaNC}I[UwjmF[]wlqzevHrxivOEk[~YntdhNUub|YYPtdgfUub\YYJtXgNOuk\VYDrffFMm\{|xxtLhnRui|MYht@hVSee\PYVtplv[En\nYzuTl^Xuu|eZXudkVXEs\iZFvDj~[uo|qZ@vhnn^E~|zZ|vPm~\e{|tZpoz`~CMh|TyhtBiVS^BMM{Owrozb^BMH{Owjoza~?MK{AwvoRbnCmB{IwnpR`NNKoxbq~l^Z]u\izRubsBhNRM]{}yVrrgnOMb{}yFrZc^GM[{yw~sJeNPMX|Exjqjh^RMV{kyRqRf^LmS{wxNvbjF[}j\vyhvVhv\}h\ry`vVkvV]t\ZzPt~lfW]q\pzDu~nFa~F\|ztwvoF`^@]Hz|w^f^M]Z}O{zxJsNdNN}U{~xjsNeNM|rznvS?VjnP}c?LzNso@NW}g?Hy{?VjNX}i?LzF