#include <stdio.h>

int main()
{
	int i, N, A, num[21] = {};
	scanf("%d", &N);
	for (i = 0; i < N; i++) {
		scanf("%d", &A);
		num[A]++;
	}
	
	int j;
	long long ans = 1;
	for (i = 2; i <= N; i++) ans *= i;
	for (i = 1; i <= N; i++) for (j = num[i]; j > 1; j--) ans /= j;
	printf("%lld\n", ans);
	fflush(stdout);
	return 0;
}