/*************************************************************************

    > File Name: L.cpp

    > Author: LyuCheng

    > Created Time: 2017-12-03 17:31

    > Description:

        题意：首先有一个乘法表，然后给你一个n*m的矩阵，里面有不确定的数，然

            后问你，这个表可不可能是乘法表的一部分

        思路：暴力判断每个点

 ************************************************************************/

#include <bits/stdc++.h>

#define MAXN 1234

#define MAXM 12

#define LL long long

using namespace std;

struct Point{

    int x,y;

    LL val;

    Point(){}

    Point(int _x,int _y,LL _val){

        x=_x;

        y=_y;

        val=_val;

    }

};

int t;

int n,m;

LL mapn[MAXN][MAXN];

char str[MAXM];

bool flag;

vector<Point>P;

inline LL cal(char str[]){

    int len=strlen(str);

    LL s=;

    for(int i=;i<len;i++){

        s*=;

        s+=str[i]-'';

    }

    return s;

}

inline bool judge(LL x,LL y,LL fx,LL fy){

    for(int i=;i<(int)P.size();i++){

        if((fx+P[i].x-x)*(fy+P[i].y-y)!=P[i].val)

            return false;

    }

    return true;

}

inline void init(){

    P.clear();

    flag=false;

}

int main(){

//    freopen("in.txt","r",stdin);

    scanf("%d",&t);

    for(int ca=;ca<=t;ca++){

        printf("Case #%d: ",ca);

        init();

        scanf("%d%d",&n,&m);

        for(LL i=;i<=n;i++){

            for(LL j=;j<=m;j++){

                scanf("%s",str);

                if(str[]!='?'){

                    mapn[i][j]=cal(str);

                    P.push_back(Point(i,j,mapn[i][j]));

                }else{

                    mapn[i][j]=;

                }

            }

        }

        if((int)P.size()==){

            puts("Yes");

        }else {

            for(LL i=;i*i<=P[].val;i++){

                if(P[].val%i==){

                    LL fx=i;

                    LL fy=P[].val/i;

                    if(fx>=P[].x&&fy>=P[].y)

                    if(judge(P[].x,P[].y,fx,fy)==true){

                        flag=true;

                        break;

                    }

                    swap(fx,fy);

                    if(fx>=P[].x&&fy>=P[].y)

                    if(judge(P[].x,P[].y,fx,fy)==true){

                        flag=true;

                        break;

                    }

                }

            }

            puts(flag==true?"Yes":"No");

        }

    }

    return ;

}