CAT(256,3)
Sparse6:
:~?C?_C?_CG?cD_kC_sE`_G`gH`OJaCM`{PaSRaKQa[WacVasXakbB[\bsYbc^d_bccec{ddC_cKad_sdoqdgsdwqe?reGrdghe?hd_idwidWmdWpgwuGL@E|AFDBFTBElAFLEFlCFtEGDDF\CFdDF|LG|MHDNHLOHTKITPH\Si|Wi\TitBgT@a{TbKWacUcC`cK_cSakPgkXhkhjk`ilhfkpkkp^kX^kP_kx`kh`k`_jPglh[jHjjpkjhijXh`CJ`KK`kI_{F_{Yb[[bk^bu?P]BPuCPmIOUDPeHOLmOtnO|pPDqPEEM\oO|yPLzPT{P\|PeMN|}PlsODtOLuOUBM|xOlwOdCgtD_sC_kgc[cckec}oTUqT]kTuiTmnTepT]`TmnSuaTuoS]dUUcUMNS}OS}PTEhQeRTMQTE^REZQu[QmXRmYSE]Q{hdSjjtXjdZjlYyrJX~PXfQXfOXnLXvRX^MVNOVuyX}{Y^QVmzYNGYnDYfHYnIYnFYfEYerV}sWEtWMuWewW]vWV[[V\[^][feZ~f[N_[ngYvhY~iZFjZNZ\nkZS@]bm_Rt\{B]ro}G@]~r?Rx}OB^F