g++ -DNDEBUG -O3 -g -o tptp_parse tptp.cpp Main.cpp 