philosophers -5386 {philosophers},

~~~~~~