thuir/memorybench/algebraic-problem-solverskill versions