#include<iostream> #include<set> #include<stdio.h> using namespace std; set<int> s; int a[20]; int kkk; void backtrack1(int k); void backtrack2(int k); void swap(int &x,int &y); bool ff(int i,int k,int j); void swap(int &x,int &y) { int temp; temp=x; x=y; y=temp; } bool ff(int i,int k,int j) { if(k==-1) kkk=i+j; else if(k==-2)kkk=i-j; else if(k==-3)kkk=i*j; else { if(j==0||i%j!=0) return false; else kkk=i/j; } return true; } void f() { int temp,temp1; if(ff(a[1],a[2],a[3])) { temp=kkk;temp1=kkk; if(ff(temp,a[4],a[5])) { temp=kkk; if(ff(temp,a[6],a[7])) { s.insert(kkk); } } if(ff(a[5],a[6],a[7])) { temp=kkk; if(ff(temp1,a[4],temp)) { s.insert(kkk); } } } if(ff(a[3],a[4],a[5])) { temp=kkk;temp1=kkk; if(ff(a[1],a[2],temp)) { temp=kkk; if(ff(temp,a[6],a[7])) { s.insert(kkk); } } if(ff(temp1,a[6],a[7])) { temp1=kkk; if(ff(a[1],a[2],temp1)) { s.insert(kkk); } } } if(ff(a[5],a[6],a[7])) { temp=kkk;temp1=kkk; if(ff(a[1],a[2],a[3])) { temp=kkk; if(ff(temp,a[4],temp1)) { s.insert(kkk); } } if(ff(a[3],a[4],temp1)) { temp1=kkk; if(ff(a[1],a[2],temp1)) { s.insert(kkk); } } } } void backtrack2(int k) { int i; if(k==8)/*printf("%d%d%d/n",a[2],a[4],a[6]);*/f(); else { for(i=-1;i>=-4;i--) { a[k]=i; backtrack2(k+2); } } } void backtrack1(int k) { int i; if(k>7)/*printf("%d%d%d%d/n",a[1],a[3],a[5],a[7]);*/backtrack2(2); else { for(i=k;i<=7;) { swap(a[k],a[i]); backtrack1(k+2); swap(a[k],a[i]); i+=2; } } } int main() { int count,maxcount,val,vall,curval; int kk=0; while(1) { scanf("%d%d%d%d",&a[1],&a[3],&a[5],&a[7]); if(a[1]==0&&a[3]==0&&a[5]==0&&a[7]==0) return 0; backtrack1(1); set<int>::iterator it=s.begin(); //for(it=s.begin();it!=s.end();it++) // cout<<*it<<endl; it=s.begin(); maxcount=1;val=*it;count=1;vall=*it;curval=*it; it++; for(it;it!=s.end();it++) { if(*it==vall+1)count++,vall=*it; else { if(count>=maxcount) { maxcount=count; val=curval; } curval=*it; count=1; vall=*it; } if(count>=maxcount)//最后一组有可能是最大组、通过0001测试出来的 { maxcount=count; val=curval; } } s.clear(); kk++; printf("Case %d: %d to %d/n",kk,val,val+maxcount-1); } }