#include "testlib.h"

int main(int argc, char* argv[])
{
    registerValidation(argc, argv);
    inf.readInt(1, 1<<30);
    inf.readEof();
    return 0;
}