Variant

Today I programmed solidly, implementing a variant of the new version of our solver that may be better. I didn't do much else, except walk Django in the evening, when there was an impressive sky over Penicuik and the Pentlands.