Fuchsian_group loading ...