Loading objects from ../../../hh2-data/palibs/hl-225/standard_library
- types: 26
- constants: 794
- theorems: 16191
- theories: 68

- types (type judgement): 30
- constants (not type judgement): 790

