Bistericantellated 7-simplex