The Petersen graph