CAT(40,1)
Sparse6:
:g_OGCcKFCPg{aLGbpWcUHDaQaCkbKGrQSkdMHrQ[{hIItP{whKGT_H]CWKorPmA[MwOX~?AN^