g++ -DNDEBUG -O3 -g -o make_theorems auto.cpp Main.cpp 