#include<bits/stdc++.h> using namespace std; int main() {cout<<"8"<<endl; cout<<"15 20 32 40 67 89 300 400"; return 0; }