题目描述

小J 毕业了，他找到了驾驶卡车的工作。

一天晚上，他将 $3$ 辆卡车停在一个停车场，收费方式如下：

• 停放一辆卡车时，司机每分钟给每辆车支付 $a$ 元。
• 停放两辆卡车时，司机每分钟给每辆车支付 $b$ 元。
• 停放三辆卡车时，司机每分钟给每辆车支付 $c$ 元。

给定 $a, b, c$，以及 小J 的三辆卡车的停车时间，请确定 小J 要交多少钱。

输入格式

第一行，$a, b, c$，含义见题目描述。

接下来三行，每行 $2$ 个数，表示第 $i$ 辆车的停车开始时间 $begin_i$ 和结束时间 $end_i$，第 $end_i$ 分钟不收费。

输出格式

第一行，一个正整数，表示 小J 要交的钱。

样例 #1

样例输入 #1

5 3 1
1 6
3 5
2 8

样例输出 #1

33

样例 #2

样例输入 #2

10 8 6
15 30
25 50
70 80

样例输出 #2

480

提示

数据规模与约定

对于 $100\%$ 的数据，$1 \le c \le b \le a \le 100$，$1\le begin_i\le end_i\le 100$。