CAT(504,1)
Sparse6:
:~?Fw_A?G?`SCwS`IHocaUHg`aMGg\`qEw_`}FgW`iEXJCEOG~cMPHAcUPhFdgUPSd_TXVDYVo{BsNgxDEMpRbgShVEAW`Xd_WWvEKQGwESQguEOQXLC{VhODwQxKCwVh\C_TH\CgTh\CcTX}F_]xxFu]`{`MDGQa]IWgaiJGjauJgnbAKgpfGLHrBM\?tbK\XuBUL@vbW]wwFuLp{boag}GqNQJgwNW}Gubo{dC\xRFYS`tg[QiHCea@G`ACGO_uBgNgOBYE?}`OM`ECWP_gjio?qjoJfO@xr?e[_Ge{@Hp?Y[?Dfc@xy?a]?HbcEWy@iE?za?EWY@yE?^b[GwuAEG_waGKgbBEGOo`WPHA@]DPBcCEw\B}F@?cKIHCAeO_fcSNx@CYPp?`GTGSDYCpTc{PxDDAR`E`WBGI@UAoV_OMwx?YM_Da?@wH@}A?]_wIgk?uIoNaO@Gd?Y@Oe_gHWKAYAocgM_i@iUhyeiaiihe}[XoauJwmnC_iBNI_Ron_zzvMu|bmnOzJrMmybtmQxjdmC}JuMM|ram?zZ]M}vrmm[uJhLiyBXlkrJ\KyvBLkEoj?js}Y~NmnbynCnIyNImrolSmJVJetaviSlIfJYhatj?|YnNM|AmjC}YrNmkbyiOqjJIMqQaikbYNIubakhgpiXKaerFh?siQLQcRRhObIRGidQJfGdhsHa[qVg[^x}GeaA?fcihyIe]AggO]yEFu`P{k}sZOkMpZCh|P|HIEgDGhpPI]SYfTDfU\xue|SHpTI[DP`qFWZpRDkToZ@{DtXR\WS~TtMsPV\ETrPT]rxU\?TjNtZt\Gk_TbTc`oxVKOTzBt\olU[LTjBDZrTHkgR^LcfqLM{cRvHS{npFZ}P}~S]p\SKXTJEDPpTP|HPZDDGphC[QPnCs[o`QkISrATJr`@[FRjMSEoHS|TONTCCn|JK@Qz?ClsFOlBw|KksXBKuPq~K[oqdd]VQndcicmRXKdmVHYd]UXWvDflrYB[e^x`e}YXveU[xxd]VYBde^yD`}bWZgeGxl^][V~fT}yH]}`Vjgt{uxa]JVBZuIulb|lXFZEOxHYLiXRcthwLX]DU^`DewpWmMURbTbt|\|`VfWDwwB_m@vXqNIVR\VHyXrNLYVhFJzdk}zZVmesz@qMq[jkVHytnMnZzje|{Ti~EYjjFFydn}f[BiF@{JpNBz\wMw]Flfa|hwN[]Juv`{xt~X\BuFN|ttN^\ZvfT}Ls^d\NxFQ_Hxfk}w?Vg_Lxvl}{?Vh~C?vj~??fi