Yes, I’m sure they would be. Especially since the same font would have been used for normal width (10 characters per inch) and compressed (17 cpi).