CAT(256,1)
Sparse6:
:~?C?_C?_CP@SG`KJ`kK_kF_sD_{E`OL`_H`WG_kF_sRaSPc?UagacGSa{XbCYbcZbk^bs_@saAC`@{Pa[QfWTasSb[YbcXa{W`sNaCNaCM_cC_dZHhMhhOhhNixSiPTiXUixYj@TjHUj@IjHJh`YiHFiHHiHGg`SgpQghRixEg`UghTgHMgXOgPNiO}i`?iW~fXFfhHf`GgGwgOxgWyfOtewxeowc`OhodcXNj?qjOsjGrdw|fWpe?{dhIh_kdpJfohdX?fwicoteogewffCyfKH`SG`[L`ccckbd{peCkdsldKjdU^RE]Q}XRmOReMRUNR]HR}\PUGRucO}dOmES\~SE@SU?SM_MtwSMaM}YM]ZMe[MloQtqQlpQdlQ}XL|mRESLUULeTL]PK}RLMQLEdJ|]S]cKDcQLeQ\dQTZOUCJeBJlxP\zPlyPd{KLbNtaNnRTNTT^STVFWNHW^GWU}Xn?X}~XvDVmzWu{WesUmqU}rUunXUpXeoX]yTmwTukVNOSvQTFPS~U[nfZFeY~^\^`\n_\f[\F]\V\\NaZNZ[fbZSB]zm_Jx]CA^Bn}G@]fr?Zu}OA]n