Loading objects from ../../../hh2-data/palibs/isa
- types: 32
- constants: 1044
- theorems: 14814
- theories: 1

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

