"val.cpp"

#include "testlib.h"
#include<bits/stdc++.h>
using namespace std;
int read(int begin,int end,string Name){
    char ch[1025];
    for(int i=0;i<Name.size();i++)ch[i]=Name[i];
    return inf.readInt(begin,end,ch);
}
void space(){
    inf.readSpace();
}
void line(){
    inf.readEoln();
}
void end(){
    inf.readEof();
}
void begin(){
    registerValidation();
}
int main(){
    begin();
    int a=read(0,1000000000,"a");
    space();
    int b=read(0,1000000000,"b");
    end();
}