Solver for a puzzle due to Eric Harshbarger