Yup, around 35". The formula works almost to the exact pound. At least on fish that have standard fish proportions. Don't know whether it would work on, say, conger eels.
Also, that record was weighed in about 6-8 hours after it was caught, so it may have shed a pound or two. Using 35" as the girth I get almost 82# which is probably what she went right after she was landed.
I just don't like carrying a calculator in my jacket pocket
