#include <stdio.h>
#include <stdlib.h>

long *readseq(long *length);

int main() {
    long *seq, length, *sub, sublen = 0, *t, i, j;
    long val, last, a, b, m;
    seq = readseq(&length);
    sub = (long *)malloc(length*sizeof(long));
    t = (long *)malloc(length*sizeof(long));
    sub[0] = 1;
    t[0] = seq[0];
    last = 0;
    for (i = 1 ; i < length ; i++) {
        val = seq[i];
        if (val <= t[0]) {
            t[0] = val;
            sub[i] = 1;
        } else if (val >= t[last]) {
            if (val > t[last]) {
                last++;
                sub[i] = last + 1;
                t[last] = val;
            } else sub[i] = last + 1;
        } else {
            a = 0;
            b = last;
            while (1) {
                if (b - a <= 1) {
                    sub[i] = b + 1;
                    t[b] = val;
                    break;
                } else {
                    m = (a + b)/2;
                    if (val == t[m]) {
                        sub[i] = m + 1;
                        break;
                    } else if (val < t[m]) b = m;
                    else a = m;
                }
            }
        }
        if (sub[i] > sublen) sublen = sub[i];
    }
    i = sublen - 1;
    j = length - 1;
    while (i >= 0) {
        while (sub[j] <= i || (i < sublen - 1 && seq[j] >= t[i + 1])) j--;
        t[i--] = seq[j--];
    }
    printf("%ld\n-\n", sublen);
    for (i = 0 ; i < sublen ; i++) printf("%ld\n", t[i]);
}

#define SEQBASESIZE        1000
#define SEQFACTOR          1.5

long *readseq(long *length) {
    long size = SEQBASESIZE, len = 0;
    long *seq = (long *)malloc(size*sizeof(long)), e;
    while (scanf("%ld", &e) == 1) {
        if (len >= size) {
            size = SEQFACTOR*(float)size;
            seq = realloc(seq, size*sizeof(long));
        }
        seq[len++] = e;
    }
    *length = len;
    return seq;
}

SUBJECT: GPA
    CORPO della email
        NOME:
        COGNOME:
        MATRICOLA:
        DATA DI NASCITA: