Got the Python version of my solution to #46 to run in just under 30 seconds
using <https://github.com/jwodder/bitvector.py>
Solved #69.  I don't know what I was thinking with my earlier attempt.
Solved #99