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

- types (type judgement): 2710
