#include <stdio.h>
#include <stdlib.h>
#include <math.h>
#define N 35
 
int T, top, st;
int fl[N], stop[N];
 
int check(int mid)
{
    int i, j, temp;
    st = 0;
    for (i=mid/20+2;i<=top;i++)
    {
        while (!fl[i] && i<top)
        {
            i++;
        }
        temp = (i-1)*4 + st*10;
        if (temp>mid)
        {
            return 0;
        }
        j = (mid - 10*st + 20*i + 4)/24;
        i = (mid - 10*st + 16*j + 4)/20;
        stop[st++] = j;
    }
    return 1;
}
 
int elevator(int l, int r)
{
    int mid;
    while (l<r)
    {
        mid = (l+r)/2;
        if (check(mid))
        {
            r = mid;
        }
        else
        {
            l = mid + 1;
        }
    }
    return r;
}
 
int main()
{
    int i, max, t, temp;
    while (scanf("%d",&T) && T)
    {
        for (i=0;i<N;i++)
        {
            fl[i] = 0;
        }
        for (i=0;i<T;i++)
        {
            scanf("%d",&t);
            fl[t] = 1;
            top = t;
        }
        max = (top-1)*20;
        temp = elevator(0,max);
        printf("%d\n",temp);
        check(temp);
        printf("%d ",st);
        for (i=0;i<st;i++)
        {
            printf("%d%c",stop[i],i==st-1 ? '\n':' ');
        }
    }
    return 0;
}