"24-simplex"@cs .