To obtain the code, go into the web2py directory, that is, the directory where you have the file web2py.py . Proceed as follows.
cd applications
git clone web2py_start start
cd start
git checkout lecture_3_2019
You can also look at the code on the web: