【DFS】【打表】Lattice Animals

#include<iostream>
#include<cstring>
#include<vector>
#include<queue>
#include<algorithm>
using namespace std;

#define LL long long

inline int read(){
	int x=0,f=1;char c=getchar();
	for(;!isdigit(c);c=getchar()) if(c==‘-‘) f=-1;
	for(;isdigit(c);c=getchar()) x=x*10+c-‘0‘;
	return x*f;
}
const int INF=9999999;
const int MAXN=100000;
const int T=10;
int N,M,K;
int Maxd;
bool vis[21][21];
bool vist[21][21];
int W1,H1;
int dis[5][2]={{0,1},{1,0},{0,-1},{-1,0}};
bool txt[21][21];

struct data{
	int w,h;
	bool mp[21][21];
	int dit[21];long long dit2[21];
	long long Hash1,Hash2;
};
vector<data> vec[21];

void del0(){
	int move=INF;
	for(int i=0;i<T;i++){
		int cnt=-1;
		while(!txt[i][cnt]) cnt++;
		move=min(cnt-1,move);
	}
	if(move>=0){
		for(int i=0;i<T;i++){
			for(int j=move+1;j<T;j++){
				txt[i][j-move-1]=txt[i][j];
				txt[i][j]=0;
			}
		}
	}
	move=INF;
	for(int j=0;j<T;j++){
		int cnt=-1;
		while(!txt[cnt][j]) cnt++;
		move=min(cnt-1,move);
	}
	if(move>=0){
		for(int i=move+1;i<T;i++){
			for(int j=0;j<T;j++){
				txt[i-move-1][j]=txt[i][j];
				txt[i][j]=0;
			}
		}
	}
	return ;
}
bool vis2[21][21];
int ans[21][21][21];
int W,H;
int dig[21];long long dig2[21];
void rota(){
	memset(vis2,0,sizeof(vis));
	for(int i=0;i<H1;i++)
	    for(int j=0;j<W1;j++) vis2[i][j]=txt[i][j];
	memset(txt,0,sizeof(txt));
	for(int i=0;i<H1;i++){
		for(int j=0;j<W1;j++)
		    txt[j][i]=vis2[i][W1-j-1];
	}
	swap(W1,H1);
	return ;
}
long long Has;
bool judge(){
	int t=vec[Maxd].size();
	if(!t) return true;
	for(int i=0;i<5;i++){
		if(i) rota();
		Has=0;
		for(int a=0;a<H1;a++){
		    long long cnt=0;
			for(int b=0;b<W1;b++){
		        if(txt[a][b]) cnt+=((1<<b)*a);
			}
			Has+=cnt;
			dig[a]=cnt;
		}
		long long Has2=0;
		for(int a=0;a<H1;a++){
			long long cnt=0;
			for(int b=0;b<W1;b++){
		        if(txt[a][b]) cnt+=(1<<(a*b)+a*b)%999997;
			}
			dig2[a]=cnt;
			Has2+=cnt;
			Has2%=999999997;
		}
		for(int j=0;j<t;j++){
			if(Has!=vec[Maxd][j].Hash1) continue;
			if(Has2!=vec[Maxd][j].Hash2) continue;
			if(W1!=vec[Maxd][j].w||H1!=vec[Maxd][j].h) continue;
			bool flag=true;
			for(int a=0;a<H1;a++) 
				if(dig[a]!=vec[Maxd][j].dit[a]) {
					flag=false;break;
				}
			if(!flag) continue;
			for(int a=0;a<H1;a++) 
				if(dig2[a]!=vec[Maxd][j].dit2[a]) {
					flag=false;break;
				}
			if(!flag) continue;
			for(int a=0;a<H1;a++){
			    for(int b=0;b<W1;b++){
			    	if(vec[Maxd][j].mp[a][b]!=txt[a][b]){
			    		flag=false;
			    		break;
					}
				}
			    if(!flag) break;
			}
			if(flag) return false;
		}
	}
	return true;
}
void pushin(){
	data tk;
	long long Has2=0;
	for(int i=0;i<T;i++)
	    for(int j=0;j<T;j++)
	        tk.mp[i][j]=txt[i][j];
	for(int a=0;a<H1;a++){
		long long cnt=0;
		for(int b=0;b<W1;b++){
		    if(txt[a][b]) cnt+=((1<<b)*a);
		}
		tk.dit[a]=cnt;
		Has2+=cnt;
	}
	tk.Hash1=Has2;
	Has2=0;
	for(int a=0;a<H1;a++){
		long long cnt=0;
		for(int b=0;b<W1;b++){
		    if(txt[a][b]) cnt+=(1<<(a*b)+a*b)%999997;
		}
		tk.dit2[a]=cnt;
		Has2+=cnt;
		Has2%=999999997;
	}
	tk.Hash2=Has2;
	tk.w=W1;
	tk.h=H1;
	vec[Maxd].push_back(tk); 
	return ;
}
bool ti[21][21];

void GA(int d){
	for(int a=1;a<=H+1;a++)
	    for(int b=1;b<=W+1;b++){
		    if(!vis[a][b]) continue;
			for(int k=0;k<4;k++){
				int xx=dis[k][0]+a;
				int yy=dis[k][1]+b;
				if(xx>=T||yy>=T) continue;
				if(ti[xx][yy]) continue;
				if(vis[xx][yy]) continue;
				ti[xx][yy]=true;
				vis[xx][yy]=1;
				for(int i=0;i<T;i++)
		 		   for(int j=0;j<T;j++) txt[i][j]=vis[i][j];
		 		del0();
				int h=0;
				for(int i=0;i<T;i++){
					int p=T-1;
					while(!txt[i][p]) p--;
					h=max(h,p+1);
				}
				W1=h;
				int w=0;
				for(int j=0;j<T;j++){
					int p=T-1;
					while(!txt[p][j]) p--;
					w=max(w,p+1);
				} 
				H1=w;
				vis[xx][yy]=0;
				if(!judge()) continue;
				rota();
				for(int i=0;i<H1/2;i++)
				    for(int j=0;j<W1;j++)
				        swap(txt[i][j],txt[H1-i-1][j]);
				if(!judge()) continue;
				pushin();
			}
		} 
	return ;
}
void pre(){
	txt[0][0]=1;
	Maxd=1;
	pushin();
	txt[0][0]=0;
	for(Maxd=2;Maxd<=T;Maxd++) {
		for(int i=0;i<vec[Maxd-1].size();i++){
			W=vec[Maxd-1][i].w;H=vec[Maxd-1][i].h; 
			memset(vis,0,sizeof(vis));
			for(int j=0;j<T;j++)
			    for(int k=0;k<T;k++)
			        vis[j][k]=vec[Maxd-1][i].mp[j][k];
			for(int k=T-1;k>0;k--)
				for(int j=0;j<T;j++)
					vis[k][j]=vis[k-1][j],vis[k-1][j]=0;
			for(int k=0;k<T;k++)
				for(int j=T-1;j>0;j--)
					vis[k][j]=vis[k][j-1],vis[k][j-1]=0;
			memset(ti,0,sizeof(ti));
			GA(1);
		}
		for(int i=0;i<vec[Maxd].size();i++){
			for(int j=1;j<=10;j++)
			    for(int k=1;k<=10;k++){
			    	if((vec[Maxd][i].w<=k&&vec[Maxd][i].h<=j)||(vec[Maxd][i].w<=j&&vec[Maxd][i].h<=k)) ans[Maxd][j][k]++;
				}
		}
	}
}

int main(){
	pre();
    while(scanf("%d%d%d",&N,&M,&K)!=EOF){
    	if(N==1) puts("1");
    	else printf("%d\n",ans[N][M][K]);
	}
	return 0;
}