Я всё равно немножко не понял. Для малых

, конечно, можно вручную посчитать. Но возмём

чуть побольше. Можно сформировать разные четвёрки из разных чисел. Их будет

. Это для иксов. Игреки получаем всеми тоже разными перестановками иксов. Их

штуки. То есть в асимптотике у нас должно получаться

А вот написали, но то ли же самое?

Раз
nnosipov обещает не кошмарное, то попробую до кубов.

. Добавим решения вида

c перестановками для иксов. Их

штук. На каждый иксовую строку двенадцать игрековых. То есть кубы сокращаются.
Не уверен в правильности.