number of exprs 51334
number of theories 279
number of objects indexed by their hash 4444