1. Yujie Ma, Cohomology of special 128-groups, Mathematics-Mechanization Research Preprints (1999), 5 pages.[link]