Adding some margin formatting to preamble
Correcting runtime for p3 final
Almost done with p5 final, missing claim 5.1
Corrected p4 final
Adding numbering to claims
Done with p2a), still need p2b) p2c)
the pdf