Solved pr72.
Solved pr73.
Solved pr74, pr75, pr76.
Solved pr77, pr78, pr80.
Solved pr81, pr82, pr83
Solved pr85; started pr84.