13 means at proof a plug gauge of 0.710" diameter (but not one of 0.719") would enter the bore to a depth of 9".
As previously said, the gun needs careful measurement of the barrel wall thickness from breech to muzzle, esp. at the end of the chamber.