Week 13 (2022-05-16 to 2022-05-22) Dedicated most of the time writing the report; it is currently 17 pages long Iterative proof shrinking optimizations Latex and kernel printers