nauty-penguin-092019