CAT(32,1)
Sparse6:
:____fDEcEcDjIiighfjMkNjOkOlMlNced`VPvAQaWSuBX`XRtWB