After years of study, scientists at Google Labs have discovered an alien language transmitted from a faraway planet. The alien language is very unique in that every word consists of exactly L lowercase letters. Also, there are exactly D words in this language.

Once the dictionary of all the words in the alien language was built, the next breakthrough was to discover that the aliens have been transmitting messages to Earth for the past decade. Unfortunately, these signals are weakened due to the distance between our two planets and some of the words may be misinterpreted. In order to help them decipher these messages, the scientists have asked you to devise an algorithm that will determine the number of possible interpretations for a given pattern.

A pattern consists of exactly L tokens. Each token is either a single lowercase letter (the scientists are very sure that this is the letter) or a group of unique lowercase letters surrounded by parenthesis ( and ). For example: (ab)d(dc) means the first letter is either a or b, the second letter is definitely d and the last letter is either d or c. Therefore, the pattern (ab)d(dc) can stand for either one of these 4 possibilities: add, adc, bdd, bdc.

The first line of input contains 3 integers, L, D and N separated by a space. D lines follow, each containing one word of length L. These are the words that are known to exist in the alien language. N test cases then follow, each on its own line and each consisting of a pattern as described above. You may assume that all known words provided are unique.

For each test case, output

Case #X: K where X is the test case number, starting from 1, and K indicates how many words in the alien language match the pattern.

Time limit: 20 seconds per test set. Memory limit: 1 GB.

Small dataset 1 ≤ L ≤ 10 1 ≤ D ≤ 25 1 ≤ N ≤ 10

Large dataset 1 ≤ L ≤ 15 1 ≤ D ≤ 5000 1 ≤ N ≤ 500

You can see examples of the files we take as input in A-small-practice.in abd A-large-practice.in