use auto for ackermann result
Merge pull request #2 from tzik/auto

use auto for ackermann result