#include <bits/stdc++.h>
#define INF 0x3f3f3f3f
using namespace std;
const int maxn=100020;
int x,y;
queue<int>f;
int h[8][maxn],visi[100005],dis[100005],cont[100005];
void cal(int s,int tt,int cost){
	if(dis[tt]==dis[s]+cost&&cont[tt]>cont[s]+1){
		cont[tt]=cont[s]+1;
		if(!visi[tt]){
			f.push(tt);
				visi[tt]=1;
			//TODO
		}
		//TODO
	}else if(dis[tt]>dis[s]+cost){
		dis[tt]=dis[s]+cost;
		cont[tt]=cont[s]+1;
		if(!visi[tt]){
			f.push(tt);
			visi[tt]=1;
			//TODO
		}
		
	}
}
void bfs(int x,int y){
	for(int i=0;i<maxn;i++){
		visi[i]=0;
		dis[i]=INF;
		cont[i]=INF;
		//TODO
	}
	f.push(x);
	visi[x]=1;
	dis[x]=0;
	cont[x]=0;
	while(!f.empty()){
		int t=f.front();
		f.pop();
		for(int i=0;i<10;i++){
			if(t*10+i<maxn){
				cal(t,t*10+i,h[0][i]);
				//TODO
			}if(t+i<maxn){
				cal(t,t+i,h[1][i]);
				//TODO
			}if(t*i<maxn){
				cal(t,t*i,h[2][i]);
				//TODO
			}
			//TODO
		}
		//TODO
	}
}
int main(){
	int cas;
	while(~scanf("%d %d",&x,&y)){
		while(!f.empty()){
			f.pop();
			//TODO
		}
		for(int i=0;i<3;i++){
			for(int j=0;j<10;j++){
				scanf("%d",&h[i][j]);
				//TODO
			}
			//TODO
		}
		bfs(x,y);
		 printf("Case %d: %d %d\n",++cas,dis[y],cont[y]);  
	}
	
	
	return 0;
}