Update student_from_lucas.py