C. Счастливая подпоследовательность
ограничение по времени на тест
2 seconds
ограничение по памяти на тест
256 megabytes
ввод
stdin
вывод
stdout

Петя любит счастливые числа. Всем известно, что счастливыми являются положительные целые числа, в десятичной записи которых содержатся только счастливые цифры 4 и 7. Например, числа 47, 744, 4 являются счастливыми, а 5, 17, 467 — не являются.

У Пети есть последовательность a из n целых чисел.

Подпоследовательность последовательности a — это последовательность, которая получается из a путем удаления нуля или более ее элементов.

Две подпоследовательности считаются различными, если множества индексов входящих в них чисел различны, то есть значения элементов не учитываются при сравнении подпоследовательностей. В частности, любая последовательность длины n имеет ровно 2n различных подпоследовательностей (считая пустую).

Подпоследовательность называется счастливой, если она имеет длину ровно k, и не содержит двух одинаковых счастливых чисел (несчастливые числа могут повторяться сколько угодно раз).

Помогите Пете найти количество различных счастливых подпоследовательностей последовательности a. Так как родители не разрешают Пете играть с большими числами, результат нужно вывести по модулю простого числа 1000000007 (109 + 7).

Входные данные

В первой строке через пробел задано два целых числа n и k (1 ≤ k ≤ n ≤ 105). В следующей строке задано n целых чисел ai (1 ≤ ai ≤ 109) — последовательность a.

Выходные данные

В единственной строке выведите одно число — ответ на задачу по модулю простого числа 1000000007 (109 + 7).

Примеры
Входные данные
3 2
10 10 10
Выходные данные
3
Входные данные
4 2
4 4 7 7
Выходные данные
4
Примечание

В первом примере все 3 подпоследовательности нужной длины являются счастливыми.

Во втором примере есть 4 счастливые подпоследовательности, множества индексов для которых равны (индексация с 1): {1, 3}, {1, 4}, {2, 3} и {2, 4}.