#include "testlib.h"
#include <vector>
#include <iostream>
#include <cassert>
#include <algorithm>

using i64 = long long;

int main(int argc, char** argv) {
    registerValidation(argc, argv);

    int n = inf.readInt(2, 500000, "n");
    inf.readSpace();
    int m = inf.readInt(2, 500000, "m");
    inf.readSpace();
    int kmax = std::max(n, m)+2;
    inf.readInt(3, kmax, "k");
    inf.readEoln();

    inf.readEof();
    std::cout << "validator" << std::endl;
    return 0;
}