Лампи в пам`яті
Великий математик Арнольд годинами дивився на свій захоплюючий Абат-Джур. Лампи у ньому утворюють правильний многокутник. Лампи з червоним світлом цікавили його більш за все, лампи синього світла менше, а деякі лампи не цікавили Арнольда взагалі. Думки Арнольда були зайняті лиши лампами - він конструював з них трикутники, запам'ятовував і порівнював їх, а через деякий час викидав з голови.
Вас запросили для проведення дослідження, яке допоможе привідкрити завісу над генієм Арнольда. Відомо, що Арнольд відддає перевагу деяким кольорам. Тому було введено обмеження на кількість ламп кожного кольору, які можуть використовуватись у трикутниках. При цьому лише геометричні форми (трикутники з однією і тією ж множиною довжин сторін вважаються однаковими), але не положення чи колір лампи, запам'ятав Арнольд. У якості першої задачі Вам необхідно обчислити кількість трикутників в думках великого математика.
Вхідні дані
Перший рядок містить два цілих числа N і K (3 ≤ N ≤ 3000, 1 ≤ K ≤ N), відокремлених пропуском - кількість ламп, які утворюють правильний многокутник, і кількість їх кольорів відповідно. Другий рядок містить N цілих чисел c_i (1 ≤ c_i ≤ K), відокремлених пропуском - кольори ламп. Третій рядок містить K цілих чисел l_i (0 ≤ l_i ≤3). Вони означають, що трикутники, які містять більше l_i ламп i-го кольору, не розглядаються великим математиком.
Вихідні дані
Вивести одне ціле число - кількість різних трикутників, які можуть поміститисься в думках великого математика.