Number of formulae
Size(MB)
10243
2.403
20335
5.009
50033
13.05
110027
29.02