Page "Dining philosophers problem#Resource hierarchy solution" not found :(