finished dining philosophers