post office

<?php

list($firstPart, $secondPart, $thirdPart) = explode("|", readline());
$lettersReg = '/([$#%*&])(?<firstMatch>[A-Z]+)\1/';
$asciiReg = '/(?<asciiLetter>\d\d):(?<length>\d\d)/';
$lettersAndLength = [];

if (preg_match($lettersReg, $firstPart, $lettersMatches)) {
    $firstLetters = str_split($lettersMatches['firstMatch']);
}
if (preg_match_all($asciiReg, $secondPart, $asciiMatches)) {
    for ($i = 0; $i < count($asciiMatches['asciiLetter']);$i++){
        if (!key_exists($asciiMatches['asciiLetter'][$i], $lettersAndLength)) {
            $lettersAndLength[$asciiMatches['asciiLetter'][$i]] = intval($asciiMatches['length'][$i]);
        }
    }
}

$thirdPart = explode(" ", $thirdPart);
for ($i = 0; $i < count($thirdPart);$i++){
    if ((key_exists(ord($thirdPart[$i][0]), $lettersAndLength)) &&
        (strlen($thirdPart[$i]) === $lettersAndLength[ord($thirdPart[$i][0])] + 1) &&
        (in_array($thirdPart[$i][0], $firstLetters))) {
        echo $thirdPart[$i] . PHP_EOL;
    }
}