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