Loading objects from ../../../hh2-data/palibs/mizar/xml2_out_big
- types: 0
- constants: 0
- theorems: 43532
- theories: 1230

- types (type judgement): 2371
