Great scott! This is heavy – it's very nearly the end of the month, I almost ran out of time!

EDITED: a couple of times actually. FFS, I should send these things to a test solver before uploading them.