Hartmanis–Stearns_conjecture loading ...