#include <stdio.h>

int main(void) {
	int n,i,k;
	scanf("%d",&n);
	k=n;
	printf("%d!=%d",n,n);
	for(i=n-1;i>0;i--){
		k*=i;
		printf("x%d",i);
		
	}
	printf("\n  =%d",k);
	return 0;
}