#include <stdio.h>
#define l(v,e) for(v=0;v<e;v++)
#define P printf("Solution %d: %lu\n",s,c)
#define C(r) if(i==r){c=0;l(I,9)c+=F[I];P;s++;}
int main(void){size_t F[9]={0},f,c;int i,j,I,s=1;while(fscanf(stdin,"%i%*c",&i)==1)F[i]++;l(i,256){f=F[0];l(j,8)F[j]=F[j+1];F[8]=f;F[6]+=f;C(79)}C(i)}