Debugging SolveLast6