#include <bits/stdc++.h>
using longlong=long long;

int main(){
    std::cin.tie(nullptr);std::cin.sync_with_stdio(false);
    int a,b;std::cin>>a>>b;
    int n;std::cin>>n;
    std::vector<int>ckd(1000,false);
    int ans=0;
    for(int i=0;i<n;i++){
        int x;std::cin>>x;
        if(std::exchange(ckd.at(x),true))ans+=a+b;
    }
    std::cout<<ans<<std::endl;
}