compact_of_free_association