#include <cstdio>

 #include <cstring>

 int n,t;

 int b[],c[];

 bool flag;

 void dfs(int k,int sum,int l)

 {

     if(sum==t)

     {

         for(int i=;i<l-;i++)

             printf("%d+",c[i]);

         printf("%d\n",c[l-]);

         flag=;

         return;

     }

     int last=-;

     for(int i=k;i<n;i++)

     {

         if(sum+b[i]>t) continue;

         if(b[i]!=last) //注意这个就好了

         {

             last=c[l]=b[i];

             dfs(i+,sum+b[i],l+);

         }

     }

 }

 int main()

 {

    // freopen("a.txt","r",stdin);

     while(~scanf("%d%d",&t,&n))

     {

         if(n==) break;

         memset(c,,sizeof(c));

         flag=;

         for(int i=;i<n;i++)

             scanf("%d",&b[i]);

         printf("Sums of %d:\n",t);

         dfs(,,);

         if(!flag) printf("NONE\n");

     }

     return ;

 }

 #include <cstdio>

 #include <cstring>

 int n,b[];

 bool used[];

 bool is_prime(int x)

 {

     if(x==) return false;

     else if(x==||x==) return true;

     for(int i=;i*i<=x;i++)

         if(x%i==) return false;

     return true;

 }

 void dfs(int k,int num)

 {

     if(num==n)

     {

         //printf("%d\n",num);

         if(is_prime(b[n]+b[]))

         {

             //printf("%d\n",k);

             for(int i=;i<n;i++)

                 printf("%d ",b[i]);

             printf("%d\n",b[n]);

         }

         return;

     }

     for(int i=;i<=n;i++)

     {

         if(!used[i]&&is_prime(b[num]+i))

         {

             used[i]=true;

             b[num+]=i;

             //printf("%d %d\n",i,num);

             dfs(i,num+);

             used[i]=false;

         }

     }

 }

 int main()

 {

    // freopen("a.txt","r",stdin);

     int j=;

     while(~scanf("%d",&n))

     {

         memset(b,,sizeof(b));

         memset(used,,sizeof(used));

         printf("Case %d:\n",j++);

         b[]=;

         used[]=true;

         dfs(,);

         printf("\n");

     }

     return ;

 }