britishmutt/mathdoku-solver archive