题目描述

下北泽${}^©$会员制餐厅开张力（喜

然而，这么重要的一天，田所浩二却忘了准备零钱。

经过一番调查，田所浩二发现所有homo都会在小店里消费十元，然而每个homo携带的货币却不同，有 $x$ 人带了十元纸币，$y$ 人带了二十元纸币，$z$ 人带五十元纸币。

田所浩二想知道有多少种排队方式使得：在每个人消费时，田所浩二都有零钱可以找。

两种排队方式定义为不同的，当且仅当两种方式中，存在第 $i$ 个消费的人携带的货币价值不同。

输入格式

输入三个整数 $x,y,z$。

输出格式

共一行包含一个整数，表示合法的排队方式的数量。

2 2 1

2

数据范围

$1 \le x,y,z \le 10$