CAT(438,1)
Sparse6:
:~?Eu_A?G?_sAwK_iAgK_mBgN_uCGQ`ECwS`UDgW`]Fg\`qEWZ`iFw`aAGgbaQK?mayJgkA}IonasJwgaeIgjAUJ?fasHguBILoob_KWxBMMosbgLWJ_iBGS`UCwV`YEG^aEGGaaQGwobIKWwbYLxPDYSpSdGTXODYR`Tc{THGCmRPIcoQXMC]RpDd?PhCC]O`EcKPXACaP@IcKQW{DMSO}dGNW~CmOPLcoOHq?]AWGf_IwlaqBWN_yCGQ`EEgZ`eFG]`uIGiaeHweaUaQAgK`yGGE`aIgSbICGm^A@gK^XzGI`P~gW_ICFy^Q?fk^x{Fy]AKfgahxGmTppd_[HXE}]`kf_ZhlFe`phgcYyGEiXpve_\XeFYXPqeO\HbFMW`sfGWXrEAVPud{\X]F]U`pf?VHnDmnOC_Y@Y]J]fQwhomYYJueq~hcnizHMnATjgdI|HYnqWjwdy{Gubayg{myPJecavh?mIsIyjqtj?ligIuiakiciydIAhq^iWgYpIIhArjGgwF_aAWF_aAZfLwxJeMAvrdmCxJeMMwbdmCtzTMMtbalOwJQL}sr]lsoj[KAur@kwuZKLirRWkcrzPKmsBIk[ozDKapbC_Q@gD_Q@gDo_ZxpfA\XvfY~sEo\?[?OV?cEo\@KBOU{sJnTBZsOq~CAnx@J|OM~rxo?}k@NnAbwo_|{HNY{SHnHAkGNBArlosz{KMyxzhmayjkmmmYwj]nIzjjDCkpXJkTQvFSpp|KK]Q~JCYqxFKlPnDsnpdK[WRBBkNpBC[RpJISbqlH[iQRGCfq`Gk`QZPCqrPPkrSVOSzsLN\ARrNcws@Mk~RfLtGsdL[uS^QdOspSlJTFRTRtTRlSS}xJemVI[jqjIKfqZXD[uLVlaTvVt[uDVl_TvVtUuDUL_T^WdXuPU|bTj\CFoZ@\@sJO{}sBN|{VR\dzvT]luVb]TsvT\|fVNXdpuT[lvUz]Tov`Z|jVjZT{up]|qUbYdrvDY]QWHb}?XF_UOx@^]NV~cT}wpa]JWzbUIwL`mDWb`EFxlcm\XRfERxXeMYXVduXvN[lpyPfmeX~hU_yDh]bYZgecw~c]Oys?Ufy{?ugyw?ehys?eiyo?Unyw?uj