Runcitruncated 6-simplex