#3708. 小猫向日葵

小猫向日葵

题目描述

考虑到 T3T4 有点难,33DAI 决定出一道比较简单的 T2。

最近 33DAI 在玩“植物大战僵尸”杂交版。这个游戏里面种植植物需要消耗一定数量的阳光,并且每个植物都会占用一块地皮。

现在 33DAI 一共有 nn 单位的阳光和 77 个地皮(地皮编号为 171\sim 7)。

它可以种植 33 种植物:

  • 小猫向日葵:花费 150150 阳光,能提供 300300 的战斗力。
  • 财神金盏花:花费 888888 阳光,能提供 16001600 的战斗力。
  • 樱桃辣椒:花费 275275 阳光,能提供 600600 的战斗力。

现在 33DAI33DAI 想要得到大于等于 mm 的战斗力。请问他有多少种种植的方案?

注意,不一定要种满七个地皮,同一种植物种在不同的地皮属于不同的方案。

输入格式

第一行两个整数 n,mn,m,含义如上所述。

输出格式

输出一个整数,表示 33DAI 有多少种种植方案。

300 600
28

样例解释

  • 可以选择种植 22 个小猫向日葵,在 77 个地皮中挑选 22 个位置有 2121 种不同的种植方法。
  • 可以选择种植 11 个樱桃辣椒,在 77 个地皮中挑选 11 个位置有 77 种不同的种植方法。
  • 一共有 2828 种种植方案。

数据规模与约定

对于 100%100\% 的数据,保证 0n,m1090\le n,m\le 10^{9}

  • 子任务 1(30 分):保证 n=275n=275
  • 子任务 2(30 分):保证 m=0m=0
  • 子任务 3(40 分):没有特殊限制。