IBM Bob Hackathon team: astrocoder