erdos.cpp -> sawny.cpp