trirectified 7-simplex