Small-scale statistics of turbulence at high Reynolds numbers by massive computation