locally petersen graph