#include<bits/stdc++.h>
using namespace std; 
#define int long long
signed main(){
	ios::sync_with_stdio(0);
	cin.tie(NULL);
	int n;
	while(1){
		cin>>n;
		if(n==0) return 0;
		int a[n+5];
		int idx=1;
		for(int i=1; i<=n; i++){
			cin>>a[i];
		}
		sort(a+1,a+n+1);
		int q=4*(a[n]-1);
		vector<int> v;
		int ans=0;
		for(int i=1; i<=n; i++){
			if(q+10<(a[i]-idx)*20){
				q+=10;
				ans=max(ans,q);
				v.push_back(a[i]);
				idx=a[i];
			}
			else{
				ans=max(ans,(a[i]-idx)*20);
			}
		}
		cout<<ans-10<<endl;
		cout<<v.size()<<" ";
		for(int i=0; i<v.size(); i++){
			cout<<v[i];
			if(i!=v.size()-1){
				cout<<" ";
			}
		}
		cout<<endl;
	}	
 
	
	
}