Extra credit
You can earn extra credit by doing multiple options of the last homework to compensate point losses in the second part of the exam. You can get up to 8 extra points for a good solution, but even a bit more for a spectacular solution, but keep in mind that this is only compensating points lost in the second part of the exam.
Additionally, the time-consuming parts of the TLA exercise can be submitted from home:
Submission
This one should be submitted individually. The deadline for this is 2 days after your exam date (extension is possible, please notify me if you plan to submit). It will become part of your exam grade, so you can think of this as an optional home exam.
Solutions for this task can not be submitted at the moment.