For those that are following:
Sheldon Brown (bless his soul) created a
database with seat tube sizes for various bike models in various years of manufacture. My seat tube is 26.4mm, after cold-setting the lug with well-greased seat posts of increasing diameter, handy at the co-op.