Finite_subdivision_rule loading ...