有趣的数学题

南师大的数据结构课程有四位任课老师，每位老师都有若干个糖果，每次拥有糖果数量前三的老师都要拿出一个糖果分给学生，每个老师的糖果数量都不能小于0，问最多能分几次？

样例输入

2 3 4 5

样例输出

4

数据范围

\(1\le a,b,c,d \le 10^5\) 对于50%的数据

\(1 \le a,b,c,d \le 10^{12}\) 对于100%的数据

样例解释

第一次第2、3、4位老师分别分发一颗糖果，四位老师的糖果数变为2 2 3 4

第二次第2、3、4位老师分别分发一颗糖果，四位老师的糖果数变为2 1 2 3

第三次第1、3、4位老师分别分发一颗糖果，四位老师的糖果数变为1 1 1 2

第四次第2、3、4位老师分别分发一颗糖果，四位老师的糖果数变为1 0 0 1