CAT(504,3)
Sparse6:
:~?Fw_A?G?__@WF_Y@GC_QDOR@QCOS`GDGV`YDWY`eEGc?yCGN`eEgWaaIWf`yGG^aEGgbaQHgdaSIWeAaH?faCFgb@}G?a`uEw[_mBGLcSAwL_qAgH_aR_G_iAX\DiVHZd[VHXDiU@ZcUPxEcaQhHcmRXKdARhNcwTHODYRpTcGSXBDIP@RcGTHCDYOpTd[QxLDaR@Xd[Nx@DaUP?c_Nx@CeQ`?dkKX[BIU_oa{PWlC]J`EdCNG|DMS_}dCKxRBUS_sb[TGwDYL`TbcIgkBmIoy`ICWR`ICwP`ABgNbAKWqbMLGti_hQbi[gicIYhQUi[eIeH]eadhkhyXIYeq^hggYXIAdA`h{dYRIAbYNgy^aag?gycF}^X{fmf@ehwYI\E]cphhSYySEiZQUeweIVEqWa[hwWY\EAVqbdsgicDy[qIfObHqGmcAFhGaYPGa`A@gK`iDGI]@nfg[HxFEX@teK\xdFYwO]aAFw`aMGgZ`uFHbeUXHhemYh\dyVziNA{RjnGzJkMuybnmkzjfLyyR^m_wJ]MEwBbl{wjKNA{bMnCrZJMQqRdmWqj`KMpRbmGpIrMykRnjGzYjMQxalioxZfIykBhi{yJVLitRXlWuJEK}sRGl?pzZKAvRAlooY{LQmbRjksisJ]lQwjWmYgJ}nQijwi[k?U@gF_U@gF_yCGNlywJ^cmRHLcMPHAauJwmbqNg|aiJGjjemIvjuny}r`PKySZMTDsPKksSZKtDsDJ|BRFOcorxJ\?QrNsmrTI{iR^ISuqdL[jR^IcuqxHkgQvJCfq|HkgRFKCfn|MK?Rf?Syq@N[`RrGczptM{^RvFc{qLE{dPrHCYqLC[RQVCccotQLHOnBDFo`KksOjKsHsh?lKORQsBntRLINy~DJndP|HNm}dGsC|lBNbObvrw{|?NVNrsp\BkXPBECNpT@[FPZDCEqNHKdqZIKfqfI{ieYYHfeqZhlwtdMMXJbERxLa]QWjauSwHb}?XB_UPxD^mNV~cD|uHd]VURddbt|d}UUFWETxlVM\TzfD\x`U]XTnedYxlSM\TFfDQx`R]YS~eTMwL]mDVr`DzwX\LuWb\UFuT[\fVNXdqv\[LmVf]DntXYLiTbTthulS|TUvTDk{XfnFX~pU_zhrMz[nrUx{`lmw[jlvHzLn}t[FlF?zHn]pZrkE}y\imkYfiEjyth]cY~jeeyDomb[RgfB}Lund\rxFZ{xt~X\BuFN|PwNU]JtV`|Dv^R\~sf]_Dxfk}w?vg_Hxvl}{?Vh~C?vj~??fi