小 T 同学非常热衷于跑步。为了让跑步更加有趣，他决定制作一款叫做《天天爱打卡》的软件，使得用户每天都可以进行跑步打卡。
开发完成后，小 T 同学计划进行试运行，他找了大 Y 同学来帮忙。试运行共 天，编号为从 到 。
对大 Y 同学来说，如果某天他选择跑步打卡，那么他的能量值会减少 。初始时，他的能量值是 ，并且试运行期间他的能量值可以是负数。
而且大 Y 不会连续跑步打卡超过 天；即不能存在 ，使得他在第 到第 天均进行了跑步打卡。
小 T 同学在软件中设计了 个挑战，第 （）个挑战可以用三个正整数 描述，表示如果在第 天时，用户已经连续跑步打卡至少 天（即第 到第 天均完成了跑步打卡），那么小 T 同学就会请用户吃饭，从而使用户的能量值提高 。
现在大 Y 想知道，在软件试运行的 天结束后，他的能量值最高可以达到多少？
