#include "testlib.h"
#include <vector>

int main(){
    int N_MAX = 100000;
    int A_MAX = 1'000'000'000;

    registerValidation();

    int N = inf.readInt(1, N_MAX);
    inf.readChar('\n');

    std::vector<int> A(N);
    for(int i=0; i<N; i++){
        if(i) inf.readChar(' ');
        A[i] = inf.readInt(1, A_MAX);
    }
    inf.readChar('\n');

    for(int i=0; i<N-1; i++) ensure(A[i] < A[i+1]);

    inf.readEof();

    return 0;
}