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