Truncated 7-demicube