name,is_strict,transformations_hr
Grpd,0,natural isomorphisms