Loading objects from ../../../hh2-data/palibs/h4-kananaskis10/standard_library
- types: 56
- constants: 2191
- theorems: 16476
- theories: 126

- types (type judgement): 59
- constants (not type judgement): 2188

