// editor2
#include<stdio.h>
int main(){
    char ch;
    printf("6"\n);
    printf("10 20 30 40 20");
return 0;
}