#include<ios>
int SemanticCheck(std::istream &fin);