An improved format for the Petersen property data.