#include<bits/stdc++.h>
using namespace std;

int main()
{
    int n,q,i,j,k,a,b,t=0,c;
    vector<int>v;
    while(1)
    {
        scanf("%d %d",&n,&q);
        if(n==0 && q==0)
            break;
            cout<<"CASE# "<<++t<<":"<<endl;
        for(i=0;i<n;i++)
        {
            cin>>a;
            v.push_back(a);
        }
        sort(v.begin(),v.end());
        for(i=0;i<q;i++)
        {
            cin>>b;
            c=lower_bound(v.begin(),v.end(),b)-v.begin();
            if(v[c]==b)
                cout<<b<<" found at "<<++c<<endl;
            else
                cout<<b<<" not found"<<endl;
        }
        v.clear();
    }
    return 0;
}