= nauty22 =