Nottingham Algorithms Group.