#include<bits/stdc++.h>
using namespace std;
#define FR0(i,N) for(i=0;i<(N);i++)
#define FR1(i,N) for(i=1;i<=(N);i++)
#define FRN(i,k,N) for(i=k;i<(N);i++)
#define pf printf
#define db double
#define max3(a,b,c) max(max(a,b),c)
#define min3(a,b,c) min(min(a,b),c)
#define sci(n) scanf("%d",&n)
#define scl(n) scanf("%lld",&n)
#define scf(n) scanf("%f",&n)
#define scd(n) scanf("%lf",&n)
#define scs(s) scanf("%s",&s)
#define scll(n) scanf("%%I64d",&n)
#define PI acos(-1.0)
#define LL long long
#define MX 1000005
#define MOD 1000000007
typedef long long int ll;
bool status[1100002];
int dp[1010][1010];
int main()
{
string s1,s2;
int t=1;
while(getline(cin,s1))
{
if(s1[0]=='#') break;
//cin>>s2;
getline(cin,s2);
memset(dp,0,sizeof(dp));
int len_s1=s1.length();
int len_s2=s2.length();
for(int i=1;i<=len_s1;i++)
{
for(int j=1;j<=len_s2;j++)
{
if(s1[i-1]==s2[j-1])
{
dp[i][j]=dp[i-1][j-1]+1;
}
else
{
dp[i][j]=max(dp[i-1][j],dp[i][j-1]);
}
}
}
cout<<"Case #"<<t++<<": you can visit at most "<<dp[len_s1][len_s2]<<" cities."<<endl;
}
}
I2luY2x1ZGU8Yml0cy9zdGRjKysuaD4KdXNpbmcgbmFtZXNwYWNlIHN0ZDsKI2RlZmluZSBGUjAoaSxOKSBmb3IoaT0wO2k8KE4pO2krKykKI2RlZmluZSBGUjEoaSxOKSBmb3IoaT0xO2k8PShOKTtpKyspCiNkZWZpbmUgRlJOKGksayxOKSBmb3IoaT1rO2k8KE4pO2krKykKI2RlZmluZSBwZiBwcmludGYKI2RlZmluZSBkYiBkb3VibGUKI2RlZmluZSBtYXgzKGEsYixjKSBtYXgobWF4KGEsYiksYykKI2RlZmluZSBtaW4zKGEsYixjKSBtaW4obWluKGEsYiksYykKI2RlZmluZSBzY2kobikgc2NhbmYoIiVkIiwmbikKI2RlZmluZSBzY2wobikgc2NhbmYoIiVsbGQiLCZuKQojZGVmaW5lIHNjZihuKSBzY2FuZigiJWYiLCZuKQojZGVmaW5lIHNjZChuKSBzY2FuZigiJWxmIiwmbikKI2RlZmluZSBzY3Mocykgc2NhbmYoIiVzIiwmcykKI2RlZmluZSBzY2xsKG4pIHNjYW5mKCIlJUk2NGQiLCZuKQojZGVmaW5lIFBJIGFjb3MoLTEuMCkKI2RlZmluZSBMTCBsb25nIGxvbmcKI2RlZmluZSBNWCAxMDAwMDA1CiNkZWZpbmUgTU9EIDEwMDAwMDAwMDcKdHlwZWRlZiBsb25nIGxvbmcgaW50IGxsOwpib29sIHN0YXR1c1sxMTAwMDAyXTsKaW50IGRwWzEwMTBdWzEwMTBdOwppbnQgbWFpbigpCnsKICBzdHJpbmcgczEsczI7CiAgaW50IHQ9MTsKICB3aGlsZShnZXRsaW5lKGNpbixzMSkpCiAgewogICAgICBpZihzMVswXT09JyMnKSBicmVhazsKICAgICAgLy9jaW4+PnMyOwogICAgICBnZXRsaW5lKGNpbixzMik7CiAgICAgIG1lbXNldChkcCwwLHNpemVvZihkcCkpOwogICAgICBpbnQgbGVuX3MxPXMxLmxlbmd0aCgpOwogICAgICBpbnQgbGVuX3MyPXMyLmxlbmd0aCgpOwogICAgICBmb3IoaW50IGk9MTtpPD1sZW5fczE7aSsrKQogICAgICB7CiAgICAgICAgICBmb3IoaW50IGo9MTtqPD1sZW5fczI7aisrKQogICAgICAgICAgewogICAgICAgICAgICAgIGlmKHMxW2ktMV09PXMyW2otMV0pCiAgICAgICAgICAgICAgewogICAgICAgICAgICAgICAgICBkcFtpXVtqXT1kcFtpLTFdW2otMV0rMTsKICAgICAgICAgICAgICB9CiAgICAgICAgICAgICAgZWxzZQogICAgICAgICAgICAgIHsKICAgICAgICAgICAgICAgICAgZHBbaV1bal09bWF4KGRwW2ktMV1bal0sZHBbaV1bai0xXSk7CiAgICAgICAgICAgICAgfQogICAgICAgICAgfQogICAgICB9CiAgICAgIGNvdXQ8PCJDYXNlICMiPDx0Kys8PCI6IHlvdSBjYW4gdmlzaXQgYXQgbW9zdCAiPDxkcFtsZW5fczFdW2xlbl9zMl08PCIgY2l0aWVzLiI8PGVuZGw7CiAgfQp9Cg==