IBM Bob Hackathon team: Invariant Hunters