void rotate(int *a,int *b,int *c){
	int z;

	z=*c;
	*c=*b;
	*b=*a;
	*a=z;
}

int main(){
  int n,i,buf[100000],hash[100001];
  while ((scanf("%d", &n))&&(n)){
  	for(i=0;i<n;i++){
		scanf("%d",&buf[i]);
		hash[buf[i]-1]=i;
	}
/*	printf("%d %d %d ",hash[0],hash[1],hash[2]);*/
	for(i=0;i<n-2;i++) if(buf[i]!=buf[hash[i]]) rotate(&buf[i],&buf[i+1],&buf[hash[i]]);
/*	printf("%d %d %d",buf[0],buf[1],buf[2]);*/
	if(buf[n-2]<buf[n-1]) printf("Permutaci lze provest.\n");
	else printf("Matfyzacci maji smulu.\n");
  }
  return(0);
}