题目背景

原电池是一种将化学能转化为电能的装置，通过自发的氧化还原反应在两个电极上分别进行电子转移产生电流。其核心原理是还原剂在负极失去电子发生氧化反应，电子通过外电路流向正极，氧化剂在正极获得电子发生还原反应，从而形成闭合回路，实现持续电流输出。

题目描述

在赫陶世界中，可以做原电池正负极的金属材料有 $n$ 种，第 $i$ 种材料的金属活动性相对值为 $a_i$。

同时，你有 $m$ 种导电非金属。

可以组成一对正负极的材料应满足：

• 负极的金属活动性应大于正极，或者正极是一种导电非金属。

对于给定的 $n + m$ 种材料，试输出可以组成的原电池正负极对数。

特别地，本题你不需要考虑真实世界的化学知识，只需要按照题意模拟即可。

输入格式

输入共 2 行。

第一行两个整数 $n$ 和 $m$，分别表示金属材料种类数、非金属导电材料种类数。

第二行 $n$ 个整数 $a_1 \sim a_n$，表示每种金属材料的金属活动性相对值。

输出格式

一行一个整数，表示可以组成的正负极对数。

输入输出样例 #1

3 1
3 2 1

6

说明/提示

样例解释

可以组成原电池正负极的分别是：

• $a_1 = 3, a_2 = 2$ 的两种金属材料。
• $a_1 = 3, a_3 = 1$ 的两种金属材料。
• $a_2 = 2, a_3 = 1$ 的两种金属材料。
• $a_1 = 3$ 的金属材料和 1 种非金属导电材料。
• $a_2 = 2$ 的金属材料和 1 种非金属导电材料。
• $a_3 = 1$ 的金属材料和 1 种非金属导电材料。

共 6 对。

数据规模与约定

• 对于 10% 的数据，所有 $a_i$ 都相等。
• 对于 40% 的数据，$1 \leq n \leq 10^3$。
• 对于 100% 的数据，$1 \leq n \leq 3 \times 10^6$，$0 \leq m \leq 10^9$，$1 \leq a_i \leq 10^9$。