Typed solutions to all of C.2 are available.
Updates
Typed solutions to all of C.1 are now available.
Typed solutions to all of B.8 are now available.
The typed solutions to B.7 now contain solutions to all of the problems.