"20-ortoplex"@cs .