Update and rename Lucas.cpp to Lucas.tex