GAP's databases of finite groups and table of marks.