Error-free nauty output for the test case of the Petersen graph