3 ms·

Interesting how little padding they used in those times. E.g. page 17 looks totally broken by current trends.