I've been working locally in Lean and I tried to back test my algo and I got a "file too big, 200k maximum" error.

That seems kind of small to me.

Author