dining philosophers view 3