nauty-penguin-122019