#include using namespace std; using ll=long long; #define int ll #define rng(i,a,b) for(int i=int(a);i=int(a);i--) #define per(i,b) gnr(i,0,b) #define pb push_back #define eb emplace_back #define a first #define b second #define bg begin() #define ed end() #define all(x) x.bg,x.ed #define si(x) int(x.size()) #ifdef LOCAL #define dmp(x) cerr<<__LINE__<<" "<<#x<<" "< bool chmax(t&a,u b){if(a bool chmin(t&a,u b){if(b using vc=vector; template using vvc=vc>; using pi=pair; using vi=vc; template ostream& operator<<(ostream& os,const pair& p){ return os<<"{"< ostream& operator<<(ostream& os,const vc& v){ os<<"{"; for(auto e:v)os< void dmpr(ostream&os,const T&t,const Args&... args){ os< ostream& operator<<(ostream&os,const array&a){ return os<(all(a)); } template void print_tuple(ostream&,const T&){ } template void print_tuple(ostream&os,const T&t){ if(i)os<<","; os<(t); print_tuple(os,t); } template ostream& operator<<(ostream&os,const tuple&t){ os<<"{"; print_tuple<0,tuple,Args...>(os,t); return os<<"}"; } template void print(t x,int suc=1){ cout<>i; return i; } vi readvi(int n,int off=0){ vi v(n); rep(i,n)v[i]=read()+off; return v; } pi readpi(int off=0){ int a,b;cin>>a>>b; return pi(a+off,b+off); } template void print(const pair&p,int suc=1){ print(p.a,2); print(p.b,suc); } template void print(const vector&v,int suc=1){ rep(i,v.size()) print(v[i],i==int(v.size())-1?suc:2); } string readString(){ string s; cin>>s; return s; } template T sq(const T& t){ return t*t; } //#define CAPITAL void yes(bool ex=true){ #ifdef CAPITAL cout<<"YES"<<"\n"; #else cout<<"Yes"<<"\n"; #endif if(ex)exit(0); #ifdef LOCAL cout.flush(); #endif } void no(bool ex=true){ #ifdef CAPITAL cout<<"NO"<<"\n"; #else cout<<"No"<<"\n"; #endif if(ex)exit(0); #ifdef LOCAL cout.flush(); #endif } void possible(bool ex=true){ #ifdef CAPITAL cout<<"POSSIBLE"<<"\n"; #else cout<<"Possible"<<"\n"; #endif if(ex)exit(0); #ifdef LOCAL cout.flush(); #endif } void impossible(bool ex=true){ #ifdef CAPITAL cout<<"IMPOSSIBLE"<<"\n"; #else cout<<"Impossible"<<"\n"; #endif if(ex)exit(0); #ifdef LOCAL cout.flush(); #endif } constexpr ll ten(int n){ return n==0?1:ten(n-1)*10; } const ll infLL=LLONG_MAX/3; #ifdef int const int inf=infLL; #else const int inf=INT_MAX/2-100; #endif int topbit(signed t){ return t==0?-1:31-__builtin_clz(t); } int topbit(ll t){ return t==0?-1:63-__builtin_clzll(t); } int botbit(signed a){ return a==0?32:__builtin_ctz(a); } int botbit(ll a){ return a==0?64:__builtin_ctzll(a); } int popcount(signed t){ return __builtin_popcount(t); } int popcount(ll t){ return __builtin_popcountll(t); } bool ispow2(int i){ return i&&(i&-i)==i; } ll mask(int i){ return (ll(1)< void mkuni(vc&v){ sort(all(v)); v.erase(unique(all(v)),v.ed); } ll rand_int(ll l, ll r) { //[l, r] #ifdef LOCAL static mt19937_64 gen; #else static mt19937_64 gen(chrono::steady_clock::now().time_since_epoch().count()); #endif return uniform_int_distribution(l, r)(gen); } template void myshuffle(vc&a){ rep(i,si(a))swap(a[i],a[rand_int(0,i)]); } template int lwb(const vc&v,const t&a){ return lower_bound(all(v),a)-v.bg; } vvc readGraph(int n,int m){ vvc g(n); rep(i,m){ int a,b; cin>>a>>b; //sc.read(a,b); a--;b--; g[a].pb(b); g[b].pb(a); } return g; } vvc readTree(int n){ return readGraph(n,n-1); } //sz: the size of the max matching //VERIFY: yosupo template struct bipartitematching{ int n,m; vvc g; vi dist,vis; vi to,ot; int sz; bipartitematching(int nn,int mm):n(nn),m(mm),g(n), dist(n),vis(n),to(n,-1),ot(m,-1),sz(0){} void ae(int a,E e){ g[a].pb(e); } void bfs(){ fill(all(dist),-1); vi q; int h=0; auto rc=[&](int v,int d){ if(v==-1||dist[v]!=-1)return; dist[v]=d; q.pb(v); }; rep(i,n)if(to[i]==-1)rc(i,0); while(h<(int)q.size()){ int v=q[h++]; for(auto e:g[v]) rc(ot[e],dist[v]+1); } } bool dfs(int v){ if(vis[v])return 0; vis[v]=1; for(auto e:g[v]){ if(ot[e]==-1||(dist[v]+1==dist[ot[e]]&&dfs(ot[e]))){ to[v]=e; ot[e]=v; return 1; } } return 0; } void calc(){ while(1){ bfs(); fill(all(vis),0); int f=0; rep(i,n)if(to[i]==-1) if(dfs(i))f++; if(f==0)break; sz+=f; } } }; void sub(vc ss){ dmp(ss); int h=si(ss),w=si(ss[0]); vvc idx(h,vi(w,-1)); vc pos[2]; int n=0,m=0; rep(i,h)rep(j,w)if(ss[i][j]=='#'){ if((i+j)%2==0){ idx[i][j]=n++; pos[0].eb(i,j); }else{ idx[i][j]=m++; pos[1].eb(i,j); } } if(n!=m)return; bipartitematching bm(n,m); const int dyx[]{-1,0,1,0,-1}; rep(i,h)rep(j,w)if((i+j)%2==0&&idx[i][j]!=-1){ int x=idx[i][j]; rep(dir,4){ int r=i+dyx[dir],c=j+dyx[dir+1]; if(inc(0,r,h-1)&&inc(0,c,w-1)){ int y=idx[r][c]; if(y!=-1){ bm.ae(x,y); } } } } bm.calc(); if(bm.sz!=n)return; rep(i,n){ int j=bm.to[i]; char c=i<26?'a'+i:'A'+i-26; ss[pos[0][i].a][pos[0][i].b]=c; ss[pos[1][j].a][pos[1][j].b]=c; } yes(0); rep(i,h)print(ss[i]); exit(0); } void slv(){ int h,w;cin>>h>>w; vc ss(h); rep(i,h){ ss[i]=readString(); if(ss[i]==string(w,'#')){ no(); } } int f=h; rep(i,h)if(ss[i]!=string(w,'.')){ chmin(f,i); }else{ if(f!=h){ no(); } } int len=h-f; rng(z,len,h+1){ rep(bit,1< tmp(h,string(w,'.')); int head=0; rep(i,z)if(bit&1<>t;rep(_,t) slv(); }