Number of formulae

Size(MB)

10243

2.403

20335

5.009

50033

13.05

110027

29.02