g++ -o cons1.exe cons1.cpp -O3
g++ -o cons2.exe cons2.cpp -O3
g++ -o cons3.exe cons3.cpp -O3
g++ -o truth.exe truth.cpp -O3
