#include <bits/stdc++.h>
using namespace std;
void Find(long long n,long long arr[],long long qs){
long long s=0,e=n-1,mid=0,ind=0;
bool f=0;
while(s<=e){
mid=(s+e)/2;
if(arr[mid]==qs){ind=mid; e=mid-1; f=1;}
else if(arr[mid]<qs)s=mid+1;
else e=mid-1;
}
if(f==1){cout<<qs<<" found at "<<ind+1<<endl;}
else {cout<<qs<<" not found"<<endl;}
}
long long arr[10001],qs,t=0;
int main()
{
long long n,q;
while(true){
cin>>n>>q;
if(n==0&&q==0){break;}
for(int i=0;i<n;i++){
cin>>arr[i];
}
sort(arr,arr+n);
t++;
cout<<"CASE#"<<" "<<t<<":"<<endl;
for(int i=0;i<q;i++){
cin>>qs;
Find(n,arr,qs);
}
//long long arr[10001];
}
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+Cgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKdm9pZCBGaW5kKGxvbmcgbG9uZyBuLGxvbmcgbG9uZyBhcnJbXSxsb25nIGxvbmcgcXMpewogICAgIGxvbmcgbG9uZyBzPTAsZT1uLTEsbWlkPTAsaW5kPTA7CiAgICAgYm9vbCBmPTA7CiAgICAgd2hpbGUoczw9ZSl7CiAgICAgICAgbWlkPShzK2UpLzI7CiAgICAgICAgaWYoYXJyW21pZF09PXFzKXtpbmQ9bWlkOyBlPW1pZC0xOyBmPTE7fQogICAgICAgIGVsc2UgaWYoYXJyW21pZF08cXMpcz1taWQrMTsKICAgICAgICBlbHNlIGU9bWlkLTE7CiAgICAgfQogICAgIGlmKGY9PTEpe2NvdXQ8PHFzPDwiIGZvdW5kIGF0ICI8PGluZCsxPDxlbmRsO30KICAgICBlbHNlIHtjb3V0PDxxczw8IiBub3QgZm91bmQiPDxlbmRsO30KCn0KbG9uZyBsb25nIGFyclsxMDAwMV0scXMsdD0wOwppbnQgbWFpbigpCnsKICAgIGxvbmcgbG9uZyBuLHE7CiAgICB3aGlsZSh0cnVlKXsKICAgICAgICBjaW4+Pm4+PnE7CiAgICAgICAgaWYobj09MCYmcT09MCl7YnJlYWs7fQogICAgICAgIGZvcihpbnQgaT0wO2k8bjtpKyspewogICAgICAgICAgICBjaW4+PmFycltpXTsKICAgICAgICB9CiAgICAgICAgc29ydChhcnIsYXJyK24pOwogICAgICAgIHQrKzsKICAgICAgICBjb3V0PDwiQ0FTRSMiPDwiICI8PHQ8PCI6Ijw8ZW5kbDsKICAgICAgICBmb3IoaW50IGk9MDtpPHE7aSsrKXsKICAgICAgICAgICAgY2luPj5xczsKICAgICAgICAgICAgRmluZChuLGFycixxcyk7CiAgICAgICAgfQogICAgICAgIC8vbG9uZyBsb25nIGFyclsxMDAwMV07CiAgICB9CiAgICByZXR1cm4gMDsKfQo=