Does anyone know of a Javascript charting library that can handle huge datasets?

By 'huge', I mean drawing a line graph with around 1,000 lines and 25,000 data points in total. (With an uneven distribution of points per line. A lot of lines have very few points, but some have up to 4,000.) Here is an example data file.

Currently I'm using Highcharts, but it's far too slow at plotting huge datasets.

I don't want to use Flash or Silverlight.

I was hoping to use Javascript so that my users can zoom+pan around the graph, and turn lines on/off etc. But if this is just too much data for any Javascript charting library to handle, then I'll have to make the graphs server-side.