"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();
}
