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