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