🔍
🏠
Wikipedia
🎲
Bistericated 7-simplex