function main() {
    var m_temp = readLine().split(' ');
    var m = parseInt(m_temp[0]);
    var n = parseInt(m_temp[1]);
    magazine = readLine().split(' ');
    ransom = readLine().split(' ');
    var arr = []
    var dict = {}
    for(var i = 0; i < magazine.length; i++) {
        if(dict[magazine[i]]) {
            dict[magazine[i]] +=1;
        } else {
        dict[magazine[i]] = 1;
        }
    }
    for(var i = 0; i < ransom.length; i++) {
      if(dict[ransom[i]] && dict[ransom[i]] > 0) {
         dict[ransom[i]]--;
         arr.push(true);
      }
    }
    //console.log(arr, ransom, Object.keys(arr).length === ransom.length ? 'Yes':'No')
    console.log(arr.length === ransom.length ? 'Yes':'No')
}