Hi there! I am a new user trying to beter understand this interesting software. Does anybody know the easiest method to translate graphs from well-known formats (i.e. Dimacs) into the nauty format? Regards, Daniel