У Васи есть 30 стержней одинаковой длины. Каждый стержень окрашен в некоторый цвет. Он собирается сделать из этих стержней додекаэдр, используя их в качестве рёбер. Его интересует, сколько различных додекаэдров он может получить (Вася считает одинаковыми додекаэдры, различающиеся только поворотами).

30 целых чисел — цвета стержней. Цвета лежат в пределах от 1 до 30. Числа разделены пробелами и/или переводами строк.

Выведите количество различных додекаэдров, которые может изготовить Вася.

Додекаэдром называется правильный многогранник с 20 вершинами и 12 пятиугольными гранями.