#include<bits/stdc++.h>
const int maxn = 500000;
typedef long long ll;
using namespace std;
int dp[maxn],n[7],a[maxn];
int main()
{
int cnt=1;
while(scanf("%d %d %d %d %d %d",&n[1],&n[2],&n[3],&n[4],&n[5],&n[6])!=EOF&&(n[1]!=0||n[2]!=0||n[3]!=0||n[4]!=0||n[5]!=0||n[6]!=0))
{
memset(dp,0,sizeof(dp));
int tot,num=0;
tot=n[1]+2*n[2]+3*n[3]+4*n[4]+5*n[5]+6*n[6];
if(tot%2==1)
printf("Collection #%d:\nCan't be divided.\n\n",cnt++);
else{
tot/=2;
for(int i=1;i<=6;i++){
for(int j=1;n[i]>0;j*=2){
if(n[i]>j)
{
n[i]-=j;
a[num++]=j*i;
}
else
{
a[num++]=n[i]*i;
n[i]=0;
}
}
}
for(int i=0;i<num;i++){
for(int j=tot;j>=a[i];j--){
dp[j]=max(dp[j],dp[j-a[i]]+a[i]);
}
}
//printf("%d %d--\n",dp[tot],tot);
if(dp[tot]==tot)
printf("Collection #%d:\nCan be divided.\n\n",cnt++);
else
printf("Collection #%d:\nCan't be divided.\n\n",cnt++);
}
}
return 0;
}